Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Uniformly Random Colourings of Sparse Graphs
Published
• View Publication
• BIB
We analyse uniformly random proper $k$-colourings of sparse graphs with maximum degree $Δ$ in the regime $Δ< k\ln k $. This regime corresponds to the lower side of the shattering threshold for random graph colouring, a paradigmatic example of the shattering threshold for random Constraint Satisfaction Problems. We prove a variety of results about the solution space geometry of colourings of fixed graphs, generalising work of Achlioptas, Coja-Oghlan, and Molloy on random graphs, and justifying the performance of stochastic local search algorithms in this regime. Our central proof relies only on elementary techniques, namely the first-moment method and a quantitative induction, yet it strengthens list-colouring results due to Vu, and more recently Davies, Kang, P., and Sereni, and generalises state-of-the-art bounds from Ramsey theory in the context of sparse graphs. It further yields an approximately tight lower bound on the number of colourings, also known as the partition function of the Potts model, with implications for efficient approximate counting.
Triangle Percolation on the Grid
Published
• View Publication
• BIB
We consider a geometric percolation process partially motivated by recent work of Hejda and Kala. Specifically, we start with an initial set $X \subseteq \mathbb{Z}^2$, and then iteratively check whether there exists a triangle $T \subseteq \mathbb{R}^2$ with its vertices in $\mathbb{Z}^2$ such that $T$ contains exactly four points of $\mathbb{Z}^2$ and exactly three points of $X$. In this case, we add the missing lattice point of $T$ to $X$, and we repeat until no such triangle exists. We study the limit sets $S$, the sets stable under this process, including determining their possible densities and some of their structure.
On graphs embeddable in a layer of a hypercube and their extremal numbers
Published
• View Publication
• BIB
A graph is cubical if it is a subgraph of a hypercube. For a cubical graph $H$ and a hypercube $Q_n$, $ex(Q_n, H)$ is the largest number of edges in an $H$-free subgraph of $Q_n$. If $ex(Q_n, H)$ is equal to a positive proportion of the number of edges in $Q_n$, $H$ is said to have positive Turán density in a hypercube; otherwise it has zero Turán density. Determining $ex(Q_n, H)$ and even identifying whether $H$ has positive or zero Turán density remains a widely open question for general $H$.
In this paper we focus on layered graphs, i.e., graphs that are contained in an edge-layer of some hypercube. Graphs $H$ that are not layered have positive Turán density because one can form an $H$-free subgraph of $Q_n$ consisting of edges of every other layer. For example, a $4$-cycle is not layered and has positive Turán density.
However, in general it is not obvious what properties layered graphs have. We give a characterisation of layered graphs in terms of edge-colorings. We show that most non-trivial subdivisions have zero Turán density, extending known results on zero Turán density of even cycles of length at least $12$ and of length $8$. However, we prove that there are cubical graphs of girth $8$ that are not layered and thus having positive Turán density. The cycle of length $10$ remains the only cycle for which it is not known whether its Turán density is positive or not. We prove that $ex(Q_n, C_{10})= Ω(n2^n/ \log^a n)$, for a constant $a$, showing that the extremal number for a $10$-cycle behaves differently from any other cycle of zero Turán density.
Atoms and charge in type $C_2$
Published
• View Publication
• BIB
We construct atomic decompositions for crystals of type $C_{2}$ and define a charge statistic on them, thus providing positive combinatorial formulas for Kostka-Foulkes polynomials associated to them together with a natural geometric interpretation.
Combinatorial invariance for Kazhdan-Lusztig $R$-polynomials of elementary intervals
Published in Mathematische Annalen Volume 392 (2025)
• View Publication
• BIB
We adapt the hypercube decompositions introduced by Blundell-Buesing-Davies-Veličković-Williamson to prove the Combinatorial Invariance Conjecture for Kazhdan-Lusztig $R$-polynomials in the case of elementary intervals in $S_n$. This significantly generalizes the main previously-known case of the conjecture, that of lower intervals.
Limits of polyhedral multinomial distributions
We consider limits of certain measures supported on lattice points in lattice polyhedra defined as the intersection of half-spaces $\{m\in\mathbb{R}^n|\langle v_i,x\rangle+a_i \geq 0\}$, where $\sum_i v_i = 0$. The measures are densities associated to lattice random variables obtained by restriction of multinomial random variables. We find the limiting Gaussian distributions explicitly.
Towards Crossing-Free Hamiltonian Cycles in Simple Drawings of Complete Graphs
Published
• View Publication
• BIB
It is a longstanding conjecture that every simple drawing of a complete graph on $n \geq 3$ vertices contains a crossing-free Hamiltonian cycle. We strengthen this conjecture to "there exists a crossing-free Hamiltonian path between each pair of vertices" and show that this stronger conjecture holds for several classes of simple drawings, including strongly c-monotone drawings and cylindrical drawings. As a second main contribution, we give an overview on different classes of simple drawings and investigate inclusion relations between them up to weak isomorphism.
Measure growth in compact semisimple Lie groups and the Kemperman Inverse Problem
Suppose $G$ is a compact semisimple Lie group, $μ$ is the normalized Haar measure on $G$, and $A, A^2 \subseteq G$ are measurable. We show that $$μ(A^2)\geq \min\{1, 2μ(A)+ημ(A)(1-2μ(A))\}$$ with the absolute constant $η>0$ (independent from the choice of $G$) quantitatively determined. We also show a more general result for connected compact groups without a toric quotient and resolve the Kemperman Inverse Problem from 1964.
Grand Schnyder Woods
Published
• View Publication
• BIB
We define a far-reaching generalization of Schnyder woods which encompasses many classical combinatorial structures on planar graphs.
Schnyder woods are defined for planar triangulations as certain triples of spanning trees covering the triangulation and crossing each other in an orderly fashion. They are of theoretical and practical importance, as they are central to the proof that the order dimension of any planar graph is at most 3, and they are also underlying an elegant drawing algorithm. In this article we extend the concept of Schnyder wood well beyond its original setting: for any integer d>2 we define a ``grand-Schnyder'' structure for (embedded) planar graphs which have faces of degree at most d and non-facial cycles of length at least d. We prove the existence of grand-Schnyder structures, provide a linear construction algorithm, describe 4 different incarnations (in terms of tuples of trees, corner labelings, weighted orientations, and marked orientations), and define a lattice for the set of grand Schnyder structures of a given planar graph. We show that the grand-Schnyder framework unifies and extends several classical constructions: Schnyder woods and Schnyder decompositions, regular edge-labelings (a.k.a. transversal structures), and Felsner woods.
Spectral Turán problems for intersecting even cycles
Published
• View Publication
• BIB
Let $C_{2k_1, 2k_2, \ldots, 2k_t}$ denote the graph obtained by intersecting $t$ distinct even cycles $C_{2k_1}, C_{2k_2}, \ldots, C_{2k_t}$ at a unique vertex. In this paper, we determine the unique graphs with maximum adjacency spectral radius among all graphs on $n$ vertices that do not contain any $C_{2k_1, 2k_2, \ldots, 2k_t}$ as a subgraph, for $n$ sufficiently large. When one of the constituent even cycles is a $C_4$, our results improve upper bounds on the Turán numbers for intersecting even cycles that follow from more general results of Füredi [20] and Alon, Krivelevich and Sudakov [1]. Our results may be seen as extensions of previous results for spectral Turán problems on forbidden even cycles $C_{2k}, k\ge 2$ (see [8, 34, 44, 45]).
The Subspace Flatness Conjecture and Faster Integer Programming
Published
• View Publication
• BIB
In a seminal paper, Kannan and Lovász (1988) considered a quantity $μ_{KL}(Λ,K)$ which denotes the best volume-based lower bound on the covering radius $μ(Λ,K)$ of a convex body $K$ with respect to a lattice $Λ$. Kannan and Lovász proved that $μ(Λ,K) \leq n \cdot μ_{KL}(Λ,K)$ and the Subspace Flatness Conjecture by Dadush (2012) claims a $O(\log(2n))$ factor suffices, which would match the lower bound from the work of Kannan and Lovász.
We settle this conjecture up to a constant in the exponent by proving that $μ(Λ,K) \leq O(\log^{3}(2n)) \cdot μ_{KL} (Λ,K)$. Our proof is based on the Reverse Minkowski Theorem due to Regev and Stephens-Davidowitz (2017). Following the work of Dadush (2012, 2019), we obtain a $(\log(2n))^{O(n)}$-time randomized algorithm to solve integer programs in $n$ variables. Another implication of our main result is a near-optimal flatness constant of $O(n \log^{3}(2n))$.
Almost Congruent Triangles
Published
• View Publication
• BIB
Almost $50$ years ago Erdős and Purdy asked the following question: Given $n$ points in the plane, how many triangles can be approximate congruent to equilateral triangles? They pointed out that by dividing the points evenly into three small clusters built around the three vertices of a fixed equilateral triangle, one gets at least $\left\lfloor \frac{n}{3} \right\rfloor \cdot \left\lfloor \frac{n+1}{3} \right\rfloor \cdot \left\lfloor \frac{n+2}{3} \right\rfloor$ such approximate copies. In this paper we provide a matching upper bound and thereby answer their question.
More generally, for every triangle $T$ we determine the maximum number of approximate congruent triangles to $T$ in a point set of size $n$. Parts of our proof are based on hypergraph Turán theory: for each point set in the plane and a triangle $T$, we construct a $3$-uniform hypergraph $\mathcal{H}=\mathcal{H}(T)$, which contains no hypergraph as a subgraph from a family of forbidden hypergraphs $\mathcal{F}=\mathcal{F}(T)$. Our upper bound on the number of edges of $\mathcal{H}$ will determine the maximum number of triangles that are approximate congruent to $T$.
A note on balanced edge-colorings avoiding rainbow cliques of size four
Published
• View Publication
• BIB
A balanced edge-coloring of the complete graph is an edge-coloring such that every vertex is incident to each color the same number of times. In this short note, we present a construction of a balanced edge-coloring with six colors of the complete graph on $n=13^k$ vertices, for every positive integer $k$, with no rainbow $K_4$. This solves a problem by Erdős and Tuza.
A relation between the cube polynomials of partial cubes and the clique polynomials of their crossing graphs
Published in J. Graph Theory, 106 (2024) 907-922
• View Publication
• BIB
Partial cubes are the graphs which can be embedded into hypercubes. The {\em cube polynomial} of a graph $G$ is a counting polynomial of induced hypercubes of $G$, which is defined as $C(G,x):=\sum_{i\geqslant 0}α_i(G)x^i$, where $α_i(G)$ is the number of induced $i$-cubes (hypercubes of dimension $i$) of $G$. The {\em clique polynomial} of $G$ is defined as $Cl(G,x):=\sum_{i\geqslant 0}a_i(G)x^i$, where $a_i(G)$ ($i\geqslant 1$) is the number of $i$-cliques in $G$ and $a_0(G)=1$. Equivalently, $Cl(G, x)$ is exactly the independence polynomial of the complement $\overline{G}$ of $G$. The {\em crossing graph} $G^{\#}$ of a partial cube $G$ is the graph whose vertices are corresponding to the $Θ$-classes of $G$, and two $Θ$-classes are adjacent in $G^{\#}$ if and only if they cross in $G$. In the present paper, we prove that for a partial cube $G$, $C(G,x)\leqslant Cl(G^{\#}, x+1)$ and the equality holds if and only if $G$ is a median graph. Since every graph can be represented as the crossing graph of a median graph [SIAM J. Discrete Math., 15 (2002) 235--251], the above necessary-and-sufficient result shows that the study on the cube polynomials of median graphs can be transformed to the one on the clique polynomials of general graphs (equivalently, on the independence polynomials of their complements). In addition, we disprove the conjecture that the cube polynomials of median graphs are unimodal.
A stability theorem for bigraded persistence barcodes
Published
• View Publication
• BIB
We define bigraded persistent homology modules and bigraded barcodes of a finite pseudo-metric space X using the ordinary and double homology of the moment-angle complex associated with the Vietoris-Rips filtration of X. We prove a stability theorem for the bigraded persistent double homology modules and barcodes.
Asymptotic analysis and efficient random sampling of directed ordered acyclic graphs
Directed acyclic graphs (DAGs) are directed graphs in which there is no path from a vertex to itself. DAGs are an omnipresent data structure in computer science and the problem of counting the DAGs of given number of vertices and to sample them uniformly at random has been solved respectively in the 70's and the 00's. In this paper, we propose to explore a new variation of this model where DAGs are endowed with an independent ordering of the out-edges of each vertex, thus allowing to model a wide range of existing data structures. We provide efficient algorithms for sampling objects of this new class, both with or without control on the number of edges, and obtain an asymptotic equivalent of their number. We also show the applicability of our method by providing an effective algorithm for the random generation of classical labelled DAGs with a prescribed number of vertices and edges, based on a similar approach. This is the first known algorithm for sampling labelled DAGs with full control on the number of edges, and it meets a need in terms of applications, that had already been acknowledged in the literature.
On lower bounds of the order of $k$-chromatic unit distance graphs
Published in Geombinatorics 32/2 (2022) 72-74
• Search Publication
Here we give refined numerical values for the minimum number of vertices of $k$-chromatic unit distance graphs in the Euclidean plane.
More certainty in coloring the plane with a forbidden distance interval
Published in Geombinatorics 32/4 (2023) 159-185
• Search Publication
In the mysterious and colorful world of chromatic numbers, where there are a lot of unknown, there is an amazing thing. It turns out that for some intervals of forbidden distances on the plane, one can specify the exact value of the chromatic number $χ$. Two sets of such intervals have been found, for $χ=7$ and 9. We call them islands of certainty. Here we increase the size of these islands, and add three new ones with $χ=8$, 12, 13. We also %formulate conjectures which predict conjecture islands for $χ=14$, 15, 16. Are there islands of certainty for $χ$=10 or 11? This is still a mystery. Roll up for the Mystery Tour.
Series and sums involving the floor function
Let $(a_n)_{n\geq 0}$ be an arbitrary sequence and $(a_{\lfloor n/k \rfloor})_{n\geq 0}$ its dual floor sequence. We study infinite series and finite generalized binomial sums involving $(a_{\lfloor n/k \rfloor})_{n\geq 0}$. As applications we prove a range of new closed form expressions for Fibonacci (Lucas) series and binomial sum identities as particular cases.
Comparing invariants of toric ideals of bipartite graphs
Published in Proc. Amer. Math. Soc. Ser. B 10 (2023), 219-232
• View Publication
• BIB
Let $G$ be a finite simple graph and let $I_G$ denote its associated toric ideal in the polynomial ring $R$. For each integer $n\geq 2$, we completely determine all the possible values for the tuple $({\rm reg}(R/I_G), {\rm deg}(h_{R/I_G}(t)),{\rm pdim}(R/I_G), {\rm depth}(R/I_G),\dim(R/I_G))$ when $G$ is a connected bipartite graph on $n$ vertices.