natural ↗ reference
4894 papers tagged with this keyword
Compact Brownian surfaces I. Brownian disks
Published
• View Publication
• BIB
We show that, under certain natural assumptions, large random plane bipartite maps with a boundary converge after rescaling to a one-parameter family ($\mathrm{BD}_L$, $0 < L < \infty$) of random metric spaces homeomorphic to the closed unit disk of $\mathbb{R}^2$, the space $\mathrm{BD}_L$ being called the Brownian disk of perimeter $L$ and unit area. These results can be seen as an extension of the convergence of uniform plane quadrangulations to the Brownian map, which intuitively corresponds to the limit case where $L = 0$. Similar results are obtained for maps following a Boltzmann distribution, in which the perimeter is fixed but the area is random.
Generalised and Quotient Models for Random And/Or Trees and Application to Satisfiability
Published
• View Publication
• BIB
This article is motivated by the following satisfiability question: pick uniformly at random an and/or Boolean expression of length n, built on a set of k_n Boolean variables. What is the probability that this expression is satisfiable? asymptotically when n tends to infinity?
The model of random Boolean expressions developed in the present paper is the model of Boolean Catalan trees, already extensively studied in the literature for a constant sequence (k_n)_{n\geq 1}. The fundamental breakthrough of this paper is to generalise the previous results to any (reasonable) sequence of integers (k_n)_{n\geq 1}, which enables us, in particular, to solve the above satisfiability question.
We also analyse the effect of introducing a natural equivalence relation on the set of Boolean expressions. This new "quotient" model happens to exhibit a very interesting threshold (or saturation) phenomenon at k_n = n/ln n.
On local search and LP and SDP relaxations for k-Set Packing
Set packing is a fundamental problem that generalises some well-known combinatorial optimization problems and knows a lot of applications. It is equivalent to hypergraph matching and it is strongly related to the maximum independent set problem. In this thesis we study the k-set packing problem where given a universe U and a collection C of subsets over U, each of cardinality k, one needs to find the maximum collection of mutually disjoint subsets. Local search techniques have proved to be successful in the search for approximation algorithms, both for the unweighted and the weighted version of the problem where every subset in C is associated with a weight and the objective is to maximise the sum of the weights. We make a survey of these approaches and give some background and intuition behind them. In particular, we simplify the algebraic proof of the main lemma for the currently best weighted approximation algorithm of Berman ([Ber00]) into a proof that reveals more intuition on what is really happening behind the math. The main result is a new bound of k/3 + 1 + epsilon on the integrality gap for a polynomially sized LP relaxation for k-set packing by Chan and Lau ([CL10]) and the natural SDP relaxation [NOTE: see page iii]. We provide detailed proofs of lemmas needed to prove this new bound and treat some background on related topics like semidefinite programming and the Lovasz Theta function. Finally we have an extended discussion in which we suggest some possibilities for future research. We discuss how the current results from the weighted approximation algorithms and the LP and SDP relaxations might be improved, the strong relation between set packing and the independent set problem and the difference between the weighted and the unweighted version of the problem.
Adjacency Spectra of Random and Uniform Hypergraphs
Published
• View Publication
• BIB
We present progress on the problem of asymptotically describing the adjacency eigenvalues of random and complete uniform hypergraphs. There is a natural conjecture arising from analogy with random matrix theory that connects these spectra to that of the all-ones hypermatrix. Several of the ingredients along a possible path to this conjecture are established, and may be of independent interest in spectral hypergraph/hypermatrix theory. In particular, we provide a bound on the spectral radius of the symmetric Bernoulli hyperensemble, and show that the spectrum of the complete \(k\)-uniform hypergraph for \(k=2,3\) is close to that of an appropriately scaled all-ones hypermatrix.
Group actions on semimatroids
Published
• View Publication
• BIB
We initiate the study of group actions on (possibly infinite) semimatroids and geometric semilattices. To every such action is naturally associated an orbit-counting function, a two-variable "Tutte" polynomial and a poset which, in the realizable case, coincides with the poset of connected components of intersections of the associated toric arrangement. In this structural framework we recover and strongly generalize many enumerative results about arithmetic matroids, arithmetic Tutte polynomials and toric arrangements by finding new combinatorial interpretations beyond the realizable case. In particular, we thus find a class of natural examples of nonrealizable arithmetic matroids. Moreover, under additional conditions these actions give rise to a matroid over the ring of integers. As a stepping stone toward our results we also prove an extension of the cryptomorphism between semimatroids and geometric semilattices to the infinite case.
Chromatic functors of graphs
Finite graphs that have a common chromatic polynomial have the same number of regular $n$-colorings. A natural question is whether there exists a natural bijection between regular $n$-colorings. We address this question using a functorial formulation. Let $G$ be a simple graph. Then for each set $X$ we can associate a set of $X$-colorings. This defines a functor, "chromatic functor" from the category of sets with injections to itself. The first main result verifies that two finite graphs determine isomorphic chromatic functors if and only if they have the same chromatic polynomial.
Chromatic functors can be defined for arbitrary, possibly infinite, graphs. This fact enables us to investigate functorial chromatic theory for infinite graphs. We prove that chromatic functors satisfy the Cantor-Bernstein-Schröder property. We also prove that countable connected trees determine isomorphic chromatic functors. Finally, we present a pair of infinite graphs that determine non-isomorphic chromatic functors.
COMs: Complexes of Oriented Matroids
Published
• View Publication
• BIB
In his seminal 1983 paper, Jim Lawrence introduced lopsided sets and featured them as asymmetric counterparts of oriented matroids, both sharing the key property of strong elimination. Moreover, symmetry of faces holds in both structures as well as in the so-called affine oriented matroids. These two fundamental properties (formulated for covectors) together lead to the natural notion of "conditional oriented matroid" (abbreviated COM). These novel structures can be characterized in terms of three cocircuits axioms, generalizing the familiar characterization for oriented matroids. We describe a binary composition scheme by which every COM can successively be erected as a certain complex of oriented matroids, in essentially the same way as a lopsided set can be glued together from its maximal hypercube faces. A realizable COM is represented by a hyperplane arrangement restricted to an open convex set. Among these are the examples formed by linear extensions of ordered sets, generalizing the oriented matroids corresponding to the permutohedra. Relaxing realizability to local realizability, we capture a wider class of combinatorial objects: we show that non-positively curved Coxeter zonotopal complexes give rise to locally realizable COMs.
Decompositions of edge-coloured infinite complete graphs into monochromatic paths II
Published
• View Publication
• BIB
P. Erdős proved that every 2-edge coloured complete graph on the natural numbers can be vertex decomposed into two monochromatic paths of different colour. This result was extended by R. Rado to an arbitrary finite number of colours. We prove that the vertices of every finite-edge coloured infinite complete graph can be partitioned into disjoint monochromatic paths of different colours. This answers a question of R. Rado from 1978.
On a generalization of the Hadwiger-Nelson problem
Published
• View Publication
• BIB
For a field $F$ and a quadratic form $Q$ defined on an $n$-dimensional vector space $V$ over $F$, let $\mathrm{QG}_Q$, called the quadratic graph associated to $Q$, be the graph with the vertex set $V$ where vertices $u,w \in V$ form an edge if and only if $Q(v-w)=1$. Quadratic graphs can be viewed as natural generalizations of the unit-distance graph featuring in the famous Hadwiger-Nelson problem. In the present paper, we will prove that for a local field $F$ of characteristic zero, the Borel chromatic number of $\mathrm{QG}_Q$ is infinite if and only if $Q$ represents zero non-trivially over $F$. The proof employs a recent spectral bound for the Borel chromatic number of Cayley graphs, combined with an analysis of certain oscillatory integrals over local fields. As an application, we will also answer a variant of question 525 proposed in the 22nd British Combinatorics Conference 2009.
Equivariant Chow classes of matrix orbit closures
Published in Transformation groups, 2016
• View Publication
• BIB
Let $G$ be the product $GL_r(C) \times (C^\times)^n$. We show that the $G$-equivariant Chow class of a $G$ orbit closure in the space of $r$-by-$n$ matrices is determined by a matroid. To do this, we split the natural surjective map from the $G$ equvariant Chow ring of the space of matrices to the torus equivariant Chow ring of the Grassmannian. The splitting takes the class of a Schubert variety to the corresponding factorial Schur polynomial, and also has the property that the class of a subvariety of the Grassmannian is mapped to the class of the closure of those matrices whose row span is in the variety.
Tanglegrams: a reduction tool for mathematical phylogenetics
Published
• View Publication
• BIB
Many discrete mathematics problems in phylogenetics are defined in terms of the relative labeling of pairs of leaf-labeled trees. These relative labelings are naturally formalized as tanglegrams, which have previously been an object of study in coevolutionary analysis. Although there has been considerable work on planar drawings of tanglegrams, they have not been fully explored as combinatorial objects until recently. In this paper, we describe how many discrete mathematical questions on trees "factor" through a problem on tanglegrams, and how understanding that factoring can simplify analysis. Depending on the problem, it may be useful to consider a unordered version of tanglegrams, and/or their unrooted counterparts. For all of these definitions, we show how the isomorphism types of tanglegrams can be understood in terms of double cosets of the symmetric group, and we investigate their automorphisms. Understanding tanglegrams better will isolate the distinct problems on leaf-labeled pairs of trees and reveal natural symmetries of spaces associated with such problems.
A sub-exponential transition of the chromatic generalized Ramsey numbers
Published
• View Publication
• BIB
A simple graph-product type construction shows that for all natural numbers $r \ge q$, there exists an edge-coloring of the complete graph on $2^r$ vertices using $r$ colors where the graph consisting of the union of arbitrary $q$ color classes has chromatic number $2^q$. We show that for each fixed natural number $q$, if there exists an edge-coloring of the complete graph on $n$ vertices using $r$ colors where the graph consisting of the union of arbitrary $q$ color classes has chromatic number at most $2^q -1 $, then $n$ must be sub-exponential in $r$. This answers a question of Conlon, Fox, Lee, and Sudakov.
Upper tails and independence polynomials in random graphs
Published in Adv. Math. 319 (2017), 313-347
• View Publication
• BIB
The upper tail problem in the Erdős--Rényi random graph $G\sim\mathcal{G}_{n,p}$ asks to estimate the probability that the number of copies of a graph $H$ in $G$ exceeds its expectation by a factor $1+δ$. Chatterjee and Dembo showed that in the sparse regime of $p\to 0$ as $n\to\infty$ with $p \geq n^{-α}$ for an explicit $α=α_H>0$, this problem reduces to a natural variational problem on weighted graphs, which was thereafter asymptotically solved by two of the authors in the case where $H$ is a clique.
Here we extend the latter work to any fixed graph $H$ and determine a function $c_H(δ)$ such that, for $p$ as above and any fixed $δ>0$, the upper tail probability is $\exp[-(c_H(δ)+o(1))n^2 p^Δ\log(1/p)]$, where $Δ$ is the maximum degree of $H$. As it turns out, the leading order constant in the large deviation rate function, $c_H(δ)$, is governed by the independence polynomial of $H$, defined as $P_H(x)=\sum i_H(k) x^k $ where $i_H(k)$ is the number of independent sets of size $k$ in $H$. For instance, if $H$ is a regular graph on $m$ vertices, then $c_H(δ)$ is the minimum between $\frac12 δ^{2/m}$ and the unique positive solution of $P_H(x) = 1+δ$.
Lattice Properties of Oriented Exchange Graphs and Torsion Classes
Published
• View Publication
• BIB
The exchange graph of a 2-acyclic quiver is the graph of mutation-equivalent quivers whose edges correspond to mutations. When the quiver admits a nondegenerate Jacobi-finite potential, the exchange graph admits a natural acyclic orientation called the oriented exchange graph, as shown by Brüstle and Yang. The oriented exchange graph is isomorphic to the Hasse diagram of the poset of functorially finite torsion classes of a certain finite dimensional algebra. We prove that lattices of torsion classes are semidistributive lattices, and we use this result to conclude that oriented exchange graphs with finitely many elements are semidistributive lattices. Furthermore, if the quiver is mutation-equivalent to a type A Dynkin quiver or is an oriented cycle, then the oriented exchange graph is a lattice quotient of a lattice of biclosed subcategories of modules over the cluster-tilted algebra, generalizing Reading's Cambrian lattices in type A. We also apply our results to address a conjecture of Brüstle, Dupont, and Pérotin on the lengths of maximal green sequences.
Edge reconstruction of the Ihara zeta function
Published
• View Publication
• BIB
We show that if a graph $G$ has average degree $\bar d \geq 4$, then the Ihara zeta function of $G$ is edge-reconstructible. We prove some general spectral properties of the edge adjacency operator $T$: it is symmetric for an indefinite form and has a "large" semi-simple part (but it can fail to be semi-simple in general). We prove that this implies that if $\bar d>4$, one can reconstruct the number of non-backtracking (closed or not) walks through a given edge, the Perron-Frobenius eigenvector of $T$ (modulo a natural symmetry), as well as the closed walks that pass through a given edge in both directions at least once.
The appendix by Daniel MacDonald established the analogue for multigraphs of some basic results in reconstruction theory of simple graphs that are used in the main text.
Matchings vs hitting sets among half-spaces in low dimensional euclidean spaces
Let $\mathcal{F}$ be any collection of linearly separable sets of a set $P$ of $n$ points either in $\mathbb{R}^2$, or in $\mathbb{R}^3$. We show that for every natural number $k$ either one can find $k$ pairwise disjoint sets in $\mathcal{F}$, or there are $O(k)$ points in $P$ that together hit all sets in $\mathcal{F}$. The proof is based on showing a similar result for families $\mathcal{F}$ of sets separable by pseudo-discs in $\mathbb{R}^2$. We complement these statements by showing that analogous result fails to hold for collections of linearly separable sets in $\mathbb{R}^4$ and higher dimensional euclidean spaces.
On Minimum Terminal Distance Spectral Radius of Trees with Given Degree Sequence
For a tree with the given sequence of vertex degrees the spectral radius of its terminal distance matrix is shown to be bounded from below by the the average row sum of the terminal distance matrix of the, so called, BFS-tree (also known as a greedy tree). This lower bound is typically not tight; nevertheless, since spectral radius of the terminal distance matrix of BFS-tree is a natural upper bound, the numeric simulation shows that relative gap between the upper and the lower bound does not exceed 3% (we also make a step towards justifying this fact analytically.) Therefore, the conjecture that BFS-tree has the minimum terminal distance spectral radius among all trees with the given degree sequence is valid with accuracy at least 97%. The same technique can be applied to the distance spectral radius of trees, which is a more popular topological index.
On the greatest and least elements in the set of semistandard tableaux of given shape and weight
We give three algorithms to construct a semistandard tableau of given shape and weight, where the weight is a composition which is not necessarily a partition. With respect to a natural partial order on the set of semistandard tableaux, we show that the set of semistandard tableaux of given shape and weight has a unique greatest element and a unique least element. Two of our algorithms give each of these elements.
Explicit Expanding Expanders
Published
• View Publication
• BIB
Deterministic constructions of expander graphs have been an important topic of research in computer science and mathematics, with many well-studied constructions of infinite families of expanders. In some applications, though, an infinite family is not enough: we need expanders which are "close" to each other. We study the following question: Construct an an infinite sequence of expanders $G_0,G_1,\dots$, such that for every two consecutive graphs $G_i$ and $G_{i+1}$, $G_{i+1}$ can be obtained from $G_i$ by adding a single vertex and inserting/removing a small number of edges, which we call the expansion cost of transitioning from $G_i$ to $G_{i+1}$. This question is very natural, e.g., in the context of datacenter networks, where the vertices represent racks of servers, and the expansion cost captures the amount of rewiring needed when adding another rack to the network. We present an explicit construction of $d$-regular expanders with expansion cost at most $5d/2$, for any $d\geq 6$. Our construction leverages the notion of a "2-lift" of a graph. This operation was first analyzed by Bilu and Linial, who repeatedly applied 2-lifts to construct an infinite family of expanders which double in size from one expander to the next. Our construction can be viewed as a way to "interpolate" between Bilu-Linial expanders with low expansion cost while preserving good edge expansion throughout.
While our main motivation is centralized (datacenter networks), we also get the best-known distributed expander construction in the "self-healing" model.
Recovery and Rigidity in a Regular Stochastic Block Model
Published in Proceedings of the twenty-seventh annual ACM-SIAM symposium on Discrete algorithms, pp. 1589-1601. Society for Industrial and Applied Mathematics, 2016
• View Publication
• BIB
The stochastic block model is a natural model for studying community detection in random networks. Its clustering properties have been extensively studied in the statistics, physics and computer science literature. Recently this area has experienced major mathematical breakthroughs, particularly for the binary (two-community) version, see Mossel, Neeman, Sly (2012, 2013) and Massoulie (2013). In this paper, we introduce a variant of the binary model which we call the regular stochastic block model (RSBM). We prove rigidity by showing that with high probability an exact recovery of the community structure is possible. Spectral methods exhibit a regime where this can be done efficiently. Moreover we also prove that, in this setting, any suitably good partial recovery can be bootstrapped to obtain a full recovery of the communities.