Showing 20 papers (Total: 84285 papers, 48548 authors in database)
Colored discrete spaces: higher dimensional combinatorial maps and quantum gravity
Published
• View Publication
• BIB
In any dimension $D$, the Euclidean Einstein-Hilbert action, which describes gravity in the absence of matter, can be discretized over random discrete spaces obtained by gluing families of polytopes together in all possible ways. In the physical limit of small Newton constant, only the spaces which maximize the mean curvature survive. In two dimensions, this results in a theory of random discrete spheres, which converge in the continuum limit towards the Brownian sphere, a random fractal space interpreted as a quantum random space-time. In this limit, the continuous Liouville theory of $D=2$ quantum gravity is recovered.
Previous results in higher dimension regarded triangulations - gluings of tetrahedra or $D$-dimensional generalizations, leading to the continuum random tree, or gluings of simple colored building blocks of small sizes, for which multi-trace matrix model results are recovered. This work aims at providing combinatorial tools which would allow a systematic study of richer building blocks and of the spaces they generate in the continuum. We develop a bijection with stacked two-dimensional discrete surfaces, and detail how it can be used to classify discrete spaces according to their mean curvature and topology.
A number of blocks are analyzed, including the new infinite family of bi-pyramids, as well as toroidal and $D$-dimensional generalizations. The relation to random tensor models is detailed. A central concern is the lowest bound on the number of ($D-2$)-cells for any given blocks, or equivalently the right scaling for the associated tensor model to have a well-behaved $1/N$ expansion. We also apply our bijection to the identification of the graphs contributing at any order to the $2n$-point functions of the colored SYK model, and to the enumeration of generalized unicellular maps - spaces obtained from a single building block - according to their mean curvature.
Saturation of Berge Hypergraphs
Published
• View Publication
• BIB
Given a graph $F$, a hypergraph is a Berge-$F$ if it can be obtained by expanding each edge in $F$ to a hyperedge containing it. A hypergraph $H$ is Berge-$F$-saturated if $H$ does not contain a subgraph that is a Berge-$F$, but for any edge $e\in E(\overline{H})$, $H+e$ does. The $k$-uniform saturation number of Berge-$F$ is the minimum number of edges in a $k$-uniform Berge-$F$-saturated hypergraph on $n$ vertices. For $k=2$ this definition coincides with the classical definition of saturation for graphs. In this paper we study the saturation numbers for Berge triangles, paths, cycles, stars and matchings in $k$-uniform hypergraphs.
Erdos-Hajnal conjecture for graphs with bounded VC-dimension
Published
• View Publication
• BIB
The Vapnik-Chervonenkis dimension (in short, VC-dimension) of a graph is defined as the VC-dimension of the set system induced by the neighborhoods of its vertices. We show that every $n$-vertex graph with bounded VC-dimension contains a clique or an independent set of size at least $e^{(\log n)^{1 - o(1)}}$. The dependence on the VC-dimension is hidden in the $o(1)$ term. This improves the general lower bound, $e^{c\sqrt{\log n}}$, due to Erdos and Hajnal, which is valid in the class of graphs satisfying any fixed nontrivial hereditary property. Our result is almost optimal and nearly matches the celebrated Erdos-Hajnal conjecture, according to which one can always find a clique or an independent set of size at least $e^{Ω(\log n)}$. Our results partially explain why most geometric intersection graphs arising in discrete and computational geometry have exceptionally favorable Ramsey-type properties.
Our main tool is a partitioning result found by Lovász-Szegedy and Alon-Fischer-Newman, which is called the "ultra-strong regularity lemma" for graphs with bounded VC-dimension. We extend this lemma to $k$-uniform hypergraphs, and prove that the number of parts in the partition can be taken to be $(1/\varepsilon)^{O(d)}$, improving the original bound of $(1/\varepsilon)^{O(d^2)}$ in the graph setting. We show that this bound is tight up to an absolute constant factor in the exponent. Moreover, we give an $O(n^k)$-time algorithm for finding a partition meeting the requirements. Finally, we establish tight bounds on Ramsey-Turán numbers for graphs with bounded VC-dimension.
Stability and exact Turan numbers for matroids
Published
• View Publication
• BIB
We consider the Turán-type problem of bounding the size of a set $M \subseteq \mathbb{F}_2^n$ that does not contain a linear copy of a given fixed set $N \subseteq \mathbb{F}_2^k$, where $n$ is large compared to $k$. An Erdős-Stone type theorem [5] in this setting gives a bound that is tight up to a $o(2^n)$ error term; our first main result gives a stability version of this theorem, showing that such an $M$ that is close in size to the upper bound in [5] is close in edit distance to the obvious extremal example. Our second result shows that the error term in [5] is exactly controlled by the solution to one of a class of `sparse' extremal problems, and in many cases eliminates the error term completely to give a sharp upper bound on $|M|$.
Multiply Balanced Edge Colorings of Multigraphs
Published in J. Graph Theory 70 (2012), no. 3, 297-317
• View Publication
• BIB
In this paper, a theorem is proved that generalizes several existing amalgamation results in various ways. The main aim is to disentangle a given edge-colored amalgamated graph so that the result is a graph in which the edges are shared out among the vertices in ways that are fair with respect to several notions of balance (such as between pairs of vertices, degrees of vertices in the both graph and in each color class, etc). The connectivity of color classes is also addressed. Most results in the literature on amalgamations focus on the disentangling of amalgamated complete graphs and complete multipartite graphs. Many such results follow as immediate corollaries to the main result in this paper, which addresses amalgamations of graphs in general, allowing for example the final graph to have multiple edges. A new corollary of the main theorem is the settling of the existence of Hamilton decompositions of the family of graphs $K(a_1,\dots, a_p;λ_1, λ_2)$; such graphs arose naturally in statistical settings.
What are graph amalgamations?
Published in Recent results in designs and graphs: a tribute to Lucia Gionfriddo, 63-82, Quad. Mat., 28, Aracne, Rome, 2012
• Search Publication
In this paper, a survey about recent progress on problems solved using graph amalgamations is presented, along with some new results with complete proofs, and some related open problems.
On Mixing Behavior of a Family of Random Walks Determined by a Linear Recurrence
Published
• View Publication
• BIB
We study random walks on the integers mod $G_n$ that are determined by an integer sequence $\{ G_n \}_{n \geq 1}$ generated by a linear recurrence relation. Fourier analysis provides explicit formulas to compute the eigenvalues of the transition matrices and we use this to bound the mixing time of the random walks.
Detachments of Amalgamated 3-uniform Hypergraphs : Factorization Consequences
Published in J. Combin. Des. 20 (2012), no. 12, 527-549
• View Publication
• BIB
A detachment of a hypergraph $\scr F$ is a hypergraph obtained from $\scr F$ by splitting some or all of its vertices into more than one vertex. Amalgamating a hypergraph $\scr G$ can be thought of as taking $\scr G$, partitioning its vertices, then for each element of the partition squashing the vertices to form a single vertex in the amalgamated hypergraph $\scr F$. In this paper we use Nash-Williams lemma on laminar families to prove a detachment theorem for amalgamated 3-uniform hypergraphs, which yields a substantial generalization of previous amalgamation theorems by Hilton, Rodger and Nash-Williams.
To demonstrate the power of our detachment theorem, we show that the complete 3-uniform $n$-partite multi-hypergraph $λK_{m_1,\ldots,m_n}^{3}$ can be expressed as the union $\scr G_1\cup \ldots \cup\scr G_k$ of $k$ edge-disjoint factors, where for $i=1,\ldots, k$, $\scr G_i$ is $r_i$-regular, if and only if (i) $m_i=m_j:=m$ for all $1\leq i,j\leq k$, (ii) $3$ divides $r_imn$ for each $i$, $1\leq i\leq k$, and (iii) $\sum_{i=1}^{k} r_i=λ\binom{n-1}{2}m^2$.
New Classes of Set-Sequential Trees
Published
• View Publication
• BIB
A graph is called set-sequential if its vertices can be labeled with distinct nonzero vectors in $\mathbb{F}_2^n$ such that when each edge is labeled with the sum$\pmod{2}$ of its vertices, every nonzero vector in $\mathbb{F}_2^n$ is the label for either a single vertex or a single edge. We resolve certain cases of a conjecture of Balister, Gyori, and Schelp in order to show many new classes of trees to be set-sequential. We show that all caterpillars $T$ of diameter $k$ such that $k \leq 18$ or $|V(T)| \geq 2^{k-1}$ are set-sequential, where $T$ has only odd-degree vertices and $|T| = 2^{n-1}$ for some positive integer $n$. We also present a new method of recursively constructing set-sequential trees.
Refinements of the Bell and Stirling numbers
We introduce new refinements of the Bell, factorial, and unsigned Stirling numbers of the first and second kind that unite the derangement, involution, associated factorial, associated Bell, incomplete Stirling, restricted factorial, restricted Bell, and $r$-derangement numbers (and probably more!). By combining methods from analytic combinatorics, umbral calculus, and probability theory, we derive several recurrence relations and closed form expressions for these numbers. By specializing our results to the classical case, we recover explicit formulae for the Bell and Stirling numbers as sums over compositions.
Computing metric hulls in graphs
Published
• View Publication
• BIB
We prove that, given a closure function the smallest preimage of a closed set can be calculated in polynomial time in the number of closed sets. This confirms a conjecture of Albenque and Knauer and implies that there is a polynomial time algorithm to compute the convex hull-number of a graph, when all its convex subgraphs are given as input. We then show that computing if the smallest preimage of a closed set is logarithmic in the size of the ground set is LOGSNP-complete if only the ground set is given. A special instance of this problem is computing the dimension of a poset given its linear extension graph, that was conjectured to be in P.
The intent to show that the latter problem is LOGSNP-complete leads to several interesting questions and to the definition of the isometric hull, i.e., a smallest isometric subgraph containing a given set of vertices $S$. While for $|S|=2$ an isometric hull is just a shortest path, we show that computing the isometric hull of a set of vertices is NP-complete even if $|S|=3$. Finally, we consider the problem of computing the isometric hull-number of a graph and show that computing it is $Σ^P_2$ complete.
Partitions of unity in $\mathrm{SL}(2,\mathbb Z)$, negative continued fractions, and dissections of polygons
Published in Res. Math. Sci. 5 (2018), no. 2, 5:21
• View Publication
• BIB
We characterize sequences of positive integers $(a_1,a_2,\ldots,a_n)$ for which the $2\times2$ matrix $\left( \begin{array}{cc} a_n&-1 1&0 \end{array} \right) \left( \begin{array}{cc} a_{n-1}&-1 1&0 \end{array} \right) \cdots \left( \begin{array}{cc} a_1&-1 1&0 \end{array} \right) $ is either the identity matrix $\mathrm Id$, its negative $-\mathrm Id$, or square root of $-\mathrm Id$. This extends a theorem of Conway and Coxeter that classifies such solutions subject to a total positivity restriction.
Construction of symmetric Hadamard matrices of order $4v$ for $v=47,73,113$
Published in Spec. Matrices 2018; 6:11-22
• View Publication
• BIB
We continue our systematic search for symmetric Hadamard matrices based on the so called propus construction. In a previous paper this search covered the orders $4v$ with odd $v\le41$. In this paper we cover the cases $v=43,45,47,49,51$. The odd integers $v<120$ for which no symmetric Hadamard matrices of order $4v$ are known are the following: $$47,59,65,67,73,81,89,93,101,103,107,109,113,119.$$ By using the propus construction, we found several symmetric Hadamard matrices of order $4v$ for $v=47,73,113$.
Rainbow matchings in properly-coloured multigraphs
Published
• View Publication
• BIB
Aharoni and Berger conjectured that in any bipartite multigraph that is properly edge-coloured by $n$ colours with at least $n + 1$ edges of each colour there must be a matching that uses each colour exactly once. In this paper we consider the same question without the bipartiteness assumption. We show that in any multigraph with edge multiplicities $o(n)$ that is properly edge-coloured by $n$ colours with at least $n + o(n)$ edges of each colour there must be a matching of size $n-O(1)$ that uses each colour at most once.
The linear Turán number of the k-fan
A hypergraph is linear if any two edges intersect in at most one vertex. For a fixed $k$-uniform family ${\cal{F}}$ of hypergraphs, the linear Turán number ${\rm ex}_{\rm lin}(n,{\cal{F}})$ is the maximum number of edges in a $k$-uniform linear hypergraph $\mathcal H$ on $n$ vertices that does not contain any member of ${\cal{F}}$ as a subhypergraph.
For $k\ge 2$ the $k$-fan $F^k$ is the $k$-uniform linear hypergraph having $k$ edges $f_1,\dots,f_k$ pairwise intersecting in the same vertex $v$ and an additional edge $g$ intersecting all $f_i$ in a vertex different from $v$. We prove the following extension of Mantel's theorem $${\rm ex}_{\rm lin}(n,F^k)\le {n^2 / k^2}.$$ Moreover, $|{\mathcal H}|=n^2/k^2$ holds if and only if $n\equiv 0\pmod k$ and $\mathcal H$ is a transversal design on $n$ points with $k$ groups.
We also study ${\rm ex}_{\rm lin}(n,{\cal{F}})$ where $\cal{F}$ is any subset of the three linear triple systems with four triples on at most seven points.
Walls in Milnor fiber complexes
Published
• View Publication
• BIB
For a real reflection group the reflecting hyperplanes cut out on the unit sphere a simplicial complex called the Coxeter complex. Abramenko showed that each reflecting hyperplane meets the Coxeter complex in another Coxeter complex if and only if the Coxeter diagram contains no subdiagram of type $D_4$, $F_4$, or $H_4$. The present paper extends Abramenko's result to a wider class of complex reflection groups. These groups have a Coxeter-like presentation and a Coxeter-like complex called the Milnor fiber complex. Our first main theorem classifies the groups whose reflecting hyperplanes meet the Milnor fiber complex in another Milnor fiber complex. To understand better the walls that fail to be Milnor fiber complexes we introduce Milnor walls. Our second main theorem generalizes Abramenko's result in a second way. It says that each wall of a Milnor fiber complex is a Milnor wall if and only if the diagram contains no subdiagram of type $D_4$, $F_4$, or $H_4$.
Rigidity of warped cones and coarse geometry of expanders
Published
• View Publication
• BIB
We study the geometry of warped cones over free, minimal isometric group actions and related constructions of expander graphs. We prove a rigidity theorem for the coarse geometry of such warped cones: Namely, if a group has no abelian factors, then two such warped cones are quasi-isometric if and only if the actions are finite covers of conjugate actions. As a consequence, we produce continuous families of non-quasi-isometric expanders and superexpanders. The proof relies on the use of coarse topology for warped cones, such as a computation of their coarse fundamental groups.
On classes of graphs with strongly sublinear separators
For real numbers c,epsilon>0, let G_{c,epsilon} denote the class of graphs G such that each subgraph H of G has a balanced separator of order at most c|V(H)|^{1-epsilon}. A class of graphs has strongly sublinear separators if it is a subclass of G_{c,epsilon} for some c,epsilon>0. We investigate properties of such graph classes, leading in particular to an approximate algorithm to determine membership in G_{c,epsilon}: there exist c'>0 such that for each input graph G, this algorithm in polynomial time determines either that G belongs to G_{c',epsilon^2/160}, or that G does not belong to G_{c,epsilon}.
The Möbius function of permutations with an indecomposable lower bound
Published
• View Publication
• BIB
We show that the Möbius function of an interval in a permutation poset where the lower bound is sum (resp. skew) indecomposable depends solely on the sum (resp. skew) indecomposable permutations contained in the upper bound, and that this can simplify the calculation of the Möbius sum. For increasing oscillations, we give a recursion for the Möbius sum which only involves evaluating simple inequalities.
Optimal Vertex Fault Tolerant Spanners (for fixed stretch)
Published
• View Publication
• BIB
A $k$-spanner of a graph $G$ is a sparse subgraph $H$ whose shortest path distances match those of $G$ up to a multiplicative error $k$. In this paper we study spanners that are resistant to faults. A subgraph $H \subseteq G$ is an $f$ vertex fault tolerant (VFT) $k$-spanner if $H \setminus F$ is a $k$-spanner of $G \setminus F$ for any small set $F$ of $f$ vertices that might "fail." One of the main questions in the area is: what is the minimum size of an $f$ fault tolerant $k$-spanner that holds for all $n$ node graphs (as a function of $f$, $k$ and $n$)? This question was first studied in the context of geometric graphs [Levcopoulos et al. STOC '98, Czumaj and Zhao SoCG '03] and has more recently been considered in general undirected graphs [Chechik et al. STOC '09, Dinitz and Krauthgamer PODC '11].
In this paper, we settle the question of the optimal size of a VFT spanner, in the setting where the stretch factor $k$ is fixed. Specifically, we prove that every (undirected, possibly weighted) $n$-node graph $G$ has a $(2k-1)$-spanner resilient to $f$ vertex faults with $O_k(f^{1 - 1/k} n^{1 + 1/k})$ edges, and this is fully optimal (unless the famous Erdos Girth Conjecture is false). Our lower bound even generalizes to imply that no data structure capable of approximating $dist_{G \setminus F}(s, t)$ similarly can beat the space usage of our spanner in the worst case. We also consider the edge fault tolerant (EFT) model, defined analogously with edge failures rather than vertex failures. We show that the same spanner upper bound applies in this setting. Our data structure lower bound extends to the case $k=2$ (and hence we close the EFT problem for $3$-approximations), but it falls to $Ω(f^{1/2 - 1/(2k)} \cdot n^{1 + 1/k})$ for $k \ge 3$. We leave it as an open problem to close this gap.