contain ↗ reference
7720 papers tagged with this keyword
Saturation Numbers for Linear Forests $P_6$ + $tP_2$
Published
• View Publication
• BIB
A graph $G$ is $H$-saturated if it contains no $H$ as a subgraph, but does contain $H$ after the addition of any edge in the complement of $G$. The saturation number, $sat (n, H)$, is the minimum number of edges of a graph in the set of all $H$-saturated graphs with order $n$. In this paper, we determine the saturation number $sat (n, P_6 + tP_2)$ for $n \geq 10t/3 + 10$ and characterize the extremal graphs for $n >10t/3 + 20$.
Update: Some new results on lower bounds on $(n,r)$-arcs in $PG(2,q)$ for $q\le 31$
An $(n,r)$-arc in $PG(2,q)$ is a set $B$ of points in $PG(2,q)$ such that each line in $PG(2,q)$ contains at most $r$ elements of $B$ and such that there is at least one line containing exactly $r$ elements of $B$. The value $m_r(2,q)$ denotes the maximal number $n$ of points in the projective geometry $PG(2,q)$ for which an $(n,r)$-arc exists. By explicitly constructing $(n,r)$-arcs using prescribed automorphisms and integer linear programming we obtain some improved lower bounds for $m_r(2,q)$: $m_{10}(2,16)\ge 144$, $m_3(2,25)\ge 39$, $m_{18}(2,25)\ge 418$, $m_9(2,27)\ge 201$, $m_{14}(2,29)\ge 364$, $m_{25}(2,29)\ge 697$, $m_{25}(2,31)\ge 734$. Furthermore, we show by systematically excluding possible automorphisms that putative $(44,5)$-arcs, $(90,9)$-arcs in $PG(2,11)$, and $(39,4)$-arcs in $PG(2,13)$ -- in case of their existence -- are rigid, i.e. they all would only admit the trivial automorphism group of order $1$. In addition, putative $(50,5)$-arcs, $(65,6)$-arcs, $(119,10)$-arcs, $(133,11)$-arcs, and $(146,12)$-arcs in $PG(2,13)$ would be rigid or would admit a unique automorphism group (up to conjugation) of order $2$.
Integer programs with bounded subdeterminants and two nonzeros per row
Published in Journal of the ACM, 72/1:Article 3, 2025
• View Publication
• BIB
We give a strongly polynomial-time algorithm for integer linear programs defined by integer coefficient matrices whose subdeterminants are bounded by a constant and that contain at most two nonzero entries in each row. The core of our approach is the first polynomial-time algorithm for the weighted stable set problem on graphs that do not contain more than $k$ vertex-disjoint odd cycles, where $k$ is any constant. Previously, polynomial-time algorithms were only known for $k=0$ (bipartite graphs) and for $k=1$.
We observe that integer linear programs defined by coefficient matrices with bounded subdeterminants and two nonzeros per column can be also solved in strongly polynomial-time, using a reduction to $b$-matching.
Geometric and o-minimal Littlewood-Offord problems
Published
• View Publication
• BIB
The classical Erdős-Littlewood-Offord theorem says that for nonzero vectors $a_1,\dots,a_n\in \mathbb{R}^d$, any $x\in \mathbb{R}^d$, and uniformly random $(ξ_1,\dots,ξ_n)\in\{-1,1\}^n$, we have $\Pr(a_1ξ_1+\dots+a_nξ_n=x)=O(n^{-1/2})$. In this paper we show that $\Pr(a_1ξ_1+\dots+a_nξ_n\in S)\le n^{-1/2+o(1)}$ whenever $S$ is definable with respect to an o-minimal structure (for example, this holds when $S$ is any algebraic hypersurface), under the necessary condition that it does not contain a line segment. We also obtain an inverse theorem in this setting.
The zero-rate threshold for adversarial bit-deletions is less than 1/2
Published
• View Publication
• BIB
We prove that there exists an absolute constant $δ>0$ such any binary code $C\subset\{0,1\}^N$ tolerating $(1/2-δ)N$ adversarial deletions must satisfy $|C|\le 2^{\text{poly}\log N}$ and thus have rate asymptotically approaching 0. This is the first constant fraction improvement over the trivial bound that codes tolerating $N/2$ adversarial deletions must have rate going to 0 asymptotically. Equivalently, we show that there exists absolute constants $A$ and $δ>0$ such that any set $C\subset\{0,1\}^N$ of $2^{\log^A N}$ binary strings must contain two strings $c$ and $c'$ whose longest common subsequence has length at least $(1/2+δ)N$. As an immediate corollary, we show that $q$-ary codes tolerating a fraction $1-(1+2δ)/q$ of adversarial deletions must also have rate approaching 0.
Our techniques include string regularity arguments and a structural lemma that classifies binary strings by their oscillation patterns. Leveraging these tools, we find in any large code two strings with similar oscillation patterns, which is exploited to find a long common subsequence.
Expansion, long cycles, and complete minors in supercritical random subgraphs of the hypercube
Analogous to the case of the binomial random graph $G(d+1,p)$, it is known that the behaviour of a random subgraph of a $d$-dimensional hypercube, where we include each edge independently with probability $p$, which we denote by $Q^d_p$, undergoes a phase transition around the critical value of $p=\frac{1}{d}$. More precisely, standard arguments show that significantly below this value of $p$, with probability tending to one as $d \to \infty$ (whp for short) all components of this graph have order $O(d)$, whereas Ajtai, Komlós and Szemerédi showed that significantly above this value, in the \emph{supercritical regime}, whp there is a unique `giant' component of order $Θ\left(2^d\right)$. In $G(d+1,p)$ much more is known about the complex structure of the random graph which emerges in this supercritical regime. For example, it is known that in this regime whp $G(d+1,p)$ contains paths and cycles of length $Ω(d)$, as well as complete minors of order $Ω\left(\sqrt{d}\right)$. In this paper we obtain analogous results in $Q^d_p$. In particular, we show that for supercritical $p$, i.e., when $p=\frac{1+ε}{d}$ for a positive constant $ε$, whp $Q^d_p$ contains a cycle of length $Ω\left(\frac{2^d}{d^3(\log d)^3} \right)$ and a complete minor of order $Ω\left(\frac{2^{\frac{d}{2}}}{d^3(\log d)^3 }\right)$. In order to prove these results, we show that whp the largest component of $Q^d_p$ has good edge-expansion properties, a result of independent interest. We also consider the genus of $Q^d_p$ and show that, in this regime of $p$, whp the genus is $Ω\left(2^d\right)$.
Decomposing graphs into interval colorable subgraphs and no-wait multi-stage schedules
Published
• View Publication
• BIB
A graph $G$ is called interval colorable if it has a proper edge coloring with colors $1,2,3,\dots$ such that the colors of the edges incident to every vertex of $G$ form an interval of integers. Not all graphs are interval colorable; in fact, quite few families have been proved to admit interval colorings. In this paper we introduce and investigate a new notion, the interval coloring thickness of a graph $G$, denoted ${θ_{\mathrm{int}}}(G)$, which is the minimum number of interval colorable edge-disjoint subgraphs of $G$ whose union is $G$.
Our investigation is motivated by scheduling problems with compactness requirements, in particular, problems whose solution may consist of several schedules, but where each schedule must not contain any waiting periods or idle times for all involved parties. We first prove that every connected properly $3$-edge colorable graph with maximum degree $3$ is interval colorable, and using this result, we deduce an upper bound on ${θ_{\mathrm{int}}}(G)$ for general graphs $G$. We demonstrate that this upper bound can be improved in the case when $G$ is bipartite, planar or complete multipartite and consider some applications in timetabling.
Constructing 5-chromatic unit distance graphs embedded in the Euclidean plane and two-dimensional spheres
Published in Discrete Mathematics, 345(12), 113106 (2022)
• View Publication
• BIB
This paper is devoted to the development of algorithms for finding unit distance graphs with chromatic number greater than 4, embedded in a two-dimensional sphere or plane. Such graphs provide a lower bound for the Nelson-Hadwiger problem on the chromatic number of the plane and its generalizations to the case of the sphere. A series of 5-chromatic unit distance graphs on 64513 vertices embedded into the plane is constructed. Unlike previously known examples, these graphs do not contain the Moser spindle as a subgraph. The construction of 5-chromatic graphs embedded in a sphere at two values of the radius is given. Namely, the 5-chromatic unit distance graph on 372 vertices embedded into the circumsphere of an icosahedron with a unit edge length, and the 5-chromatic graph on 972 vertices embedded into the circumsphere of a great icosahedron are constructed.
Cyclic Pattern Containment and Avoidance
Published
• View Publication
• BIB
The study of pattern containment and avoidance for linear permutations is a well-established area of enumerative combinatorics. A cyclic permutation is the set of all rotations of a linear permutation. Callan initiated the study of permutation avoidance in cyclic permutations and characterized the avoidance classes for all single permutations of length 4. We continue this work. In particular, we establish a cyclic variant of the Erdos-Szekeres Theorem that any linear permutation of length mn+1 must contain either the increasing pattern of length m+1 or the decreasing pattern of length n+1. We then derive results about avoidance of multiple patterns of length 4. We also determine generating functions for the cyclic descent statistic on these classes. Finally, we end with various open questions and avenues for future research.
The measurable Hall theorem fails for treeings
We construct, for every $d \geq 3$, a $d$-regular acyclic measurably bipartite graphing that admits no measurable perfect matching, resolving a problem of Kechris and Marks.
A dense variant of our construction yields a coupling of two standard Borel probability measure spaces whose support contains no deterministic coupling, though the conditional probabilities of the coupling measure are atomless. This refutes a conjecture of Gurel-Gurevich and Peled.
Introduction to Cluster Algebras. Chapter 7
This is a preliminary draft of Chapter 7 of our forthcoming textbook "Introduction to Cluster Algebras." Chapters 1-3 have been posted as arXiv:1608.05735. Chapters 4-5 have been posted as arXiv:1707.07190. Chapter 6 has been posted as arXiv:2008.09189.
This installment contains:
Chapter 7. Plabic graphs
Symbol Alphabets from Tensor Diagrams
Published
• View Publication
• BIB
We propose to use tensor diagrams and the Fomin-Pylyavskyy conjectures to explore the connection between symbol alphabets of $n$-particle amplitudes in planar $\mathcal{N}=4$ Yang-Mills theory and certain polytopes associated to the Grassmannian G(4, $n$). We show how to assign a web (a planar tensor diagram) to each facet of these polytopes. Webs with no inner loops are associated to cluster variables (rational symbol letters). For webs with a single inner loop we propose and explicitly evaluate an associated web series that contains information about algebraic symbol letters. In this manner we reproduce the results of previous analyses of $n \le 8$, and find that the polytope $\mathcal{C}^\dagger(4,9)$ encodes all rational letters, and all square roots of the algebraic letters, of known nine-particle amplitudes.
On the hat guessing number of a planar graph class
Published
• View Publication
• BIB
The hat guessing number is a graph invariant based on a hat guessing game introduced by Winkler. Using a new vertex decomposition argument involving an edge density theorem of Erdős for hypergraphs, we show that the hat guessing number of all outerplanar graphs is less than $2^{125000}$. We also define the class of layered planar graphs, which contains outerplanar graphs, and we show that every layered planar graph has bounded hat guessing number.
Suffix-connected languages
Published in Theoretical Computer Science 923 (2022), 126-143
• View Publication
• BIB
Inspired by a series of papers initiated in 2015 by Berthé et al., we introduce a new condition called suffix-connectedness. We show that the groups generated by the return sets of a uniformly recurrent suffix-connected language lie in a single conjugacy class of subgroups of the free group. Moreover, the rank of the subgroups in this conjugacy class only depends on the number of connected components in the extension graph of the empty word. We also show how to explicitly compute a representative of this conjugacy class using the first order Rauzy graph. Finally, we provide an example of suffix-connected, uniformly recurrent language that contains infinitely many disconnected words.
Perfect matchings, Hamiltonian cycles and edge-colourings in a class of cubic graphs
Published in Ars Math. Contemp. 23, No. 3, #P3.01 (2023)
• View Publication
• BIB
A graph $G$ has the Perfect-Matching-Hamiltonian property (PMH-property) if for each one of its perfect matchings, there is another perfect matching of $G$ such that the union of the two perfect matchings yields a Hamiltonian cycle of $G$. The study of graphs that have the PMH-property, initiated in the 1970s by Las Vergnas and Häggkvist, combines three well-studied properties of graphs, namely matchings, Hamiltonicity and edge-colourings. In this work, we study these concepts for cubic graphs in an attempt to characterise those cubic graphs for which every perfect matching corresponds to one of the colours of a proper 3-edge-colouring of the graph. We discuss that this is equivalent to saying that such graphs are even-2-factorable (E2F), that is, all 2-factors of the graph contain only even cycles. The case for bipartite cubic graphs is trivial, since if $G$ is bipartite then it is E2F. Thus, we restrict our attention to non-bipartite cubic graphs. A sufficient, but not necessary, condition for a cubic graph to be E2F is that it has the PMH-property. The aim of this work is to introduce an infinite family of E2F non-bipartite cubic graphs on two parameters, which we coin papillon graphs, and determine the values of the respective parameters for which these graphs have the PMH-property or are just E2F. We also show that no two papillon graphs with different parameters are isomorphic.
A note on long cycles in sparse random graphs
Published
• View Publication
• BIB
Let $L_{c,n}$ denote the size of the longest cycle in $G(n,{c}/{n})$, $c>1$ constant. We show that there exists a continuous function $f(c)$ such that $ L_{c,n}/n \to f(c)$ a.s. for $c\geq 20$, thus extending a result of the author and Frieze to smaller values of $c$. Thereafter, for $c\geq 20$, we determine the limit of the probability that $G(n,c/n)$ contains cycles of every length between the length of its shortest and its longest cycles as $n\to \infty$.
Powers of paths and cycles in tournaments
We show that for every positive integer $k$, any tournament can be partitioned into at most $2^{ck}$ $k$-th powers of paths. This result is tight up to the exponential constant. Moreover, we prove that for every $\varepsilon>0$ and every integer $k$, any tournament on $n\ge \varepsilon^{-Ck}$ vertices which is $\varepsilon$-far from being transitive contains the $k$-th power of a cycle of length $Ω(\varepsilon n)$; both bounds are tight up to the implied constants.
On the Erdős-Pósa property for long holes in $C_4$-free graphs
Published
• View Publication
• BIB
We prove that there exists a function $f(k)=\mathcal{O}(k^2 \log k)$ such that for every $C_4$-free graph $G$ and every $k \in \mathbb{N}$, $G$ either contains $k$ vertex-disjoint holes of length at least $6$, or a set $X$ of at most $f(k)$ vertices such that $G-X$ has no hole of length at least $6$. This answers a question of Kim and Kwon [Erdős-Pósa property of chordless cycles and its applications. JCTB 2020].
The blowup-polynomial of a metric space: connections to stable polynomials, graphs and their distance spectra
Published in Can. J. Math.-J. Can. Math. 76 (2024) 2073-2114
• View Publication
• BIB
To every finite metric space $X$, including all connected unweighted graphs with the minimum edge-distance metric, we attach an invariant that we call its blowup-polynomial $p_X(\{ n_x : x \in X \})$. This is obtained from the blowup $X[{\bf n}]$ - which contains $n_x$ copies of each point $x$ - by computing the determinant of the distance matrix of $X[{\bf n}]$ and removing an exponential factor. We prove that as a function of the sizes $n_x$, $p_X({\bf n})$ is a polynomial, is multi-affine, and is real-stable. This naturally associates a hitherto unstudied delta-matroid to each metric space $X$; we produce another novel delta-matroid for each tree, which interestingly does not generalize to all graphs.
We next specialize to the case of $X = G$ a connected unweighted graph - so $p_G$ is "partially symmetric" in $\{ n_v : v \in V(G) \}$ - and show three further results: (a) We show that the polynomial $p_G$ is indeed a graph invariant, in that $p_G$ and its symmetries recover the graph $G$ and its isometries, respectively. (b) We show that the univariate specialization $u_G(x) := p_G(x,\dots,x)$ is a transform of the characteristic polynomial of the distance matrix $D_G$; this connects the blowup-polynomial of $G$ to the well-studied "distance spectrum" of $G$. (c) We obtain a novel characterization of complete multipartite graphs, as precisely those for which the "homogenization at $-1$" of $p_G({\bf n})$ is real-stable (equivalently, Lorentzian, or strongly/completely log-concave), if and only if the normalization of $p_G(-{\bf n})$ is strongly Rayleigh.
DP color functions versus chromatic polynomials
Published
• View Publication
• BIB
For any graph $G$, the chromatic polynomial of $G$ is the function $P(G,m)$ which counts the number of proper $m$-colorings of $G$ for each positive integer $m$. The DP color function $P_{DP}(G,m)$ of $G$, introduced by Kaul and Mudrock in 2019, is a generalization of $P(G,m)$ with $P_{DP}(G,m)\le P(G,m)$ for each positive integer $m$. Let $P_{DP}(G)\approx P(G)$ (resp. $P_{DP}(G)< P(G)$) denote the property that $P_{DP}(G,m)=P(G,m)$ (resp. $P_{DP}(G,m)<P(G,m)$) holds for sufficiently large integers $m$.It is an interesting problem of finding graphs $G$ for which $P_{DP}(G)\approx P(G)$ (resp. $P_{DP}(G,m)<P(G,m)$) holds. Kaul and Mudrock showed that if $G$ has an even girth, then $P_{DP}(G)<P(G)$ and Mudrock and Thomason recently proved that $P_{DP}(G)\approx P(G)$ holds for each graph $G$ which has a dominating vertex. We shall generalize their results in this article. For each edge $e$ in $G$, let $\ell(e)=\infty$ if $e$ is a bridge of $G$, and let $\ell(e)$ be the length of a shortest cycle in $G$ containing $e$ otherwise. We first show that if $\ell(e)$ is even for some edge $e$ in $G$, then $P_{DP}(G)<P(G)$ holds. However, the converse statement of this conclusion fails with infinitely many counterexamples. We then prove that $P_{DP}(G)\approx P(G)$ holds for every graph $G$ that contains a spanning tree $T$ such that for each $e\in E(G)\setminus E(T)$, $\ell(e)$ is odd and $e$ contained in a cycle $C$ of length $\ell (e)$ with the property that $\ell(e')<\ell(e)$ for each $e'\in E(C)\setminus (E(T)\cup \{e\})$. Some open problems are proposed in this article.