contain ↗ reference
7720 papers tagged with this keyword
Coloring hypergraphs defined by stabbed pseudo-disks and ABAB-free hypergraphs
What is the minimum number of colors that always suffice to color every planar set of points such that any disk that contains enough points contains two points of different colors? It is known that the answer to this question is either three or four. We show that three colors always suffice if the condition must be satisfied only by disks that contain a fixed point. Our result also holds, and is even tight, when instead of disks we consider their topological generalization, namely pseudo-disks, with a non-empty intersection. Our solution uses the equivalence that a hypergraph can be realized by stabbed pseudo-disks if and only if it is ABAB-free. These hypergraphs are defined in a purely abstract, combinatorial way and our proof that they are 3-chromatic is also combinatorial.
On specific factors in graphs
It is well known that if $G = (V, E)$} is a multigraph and $X\subset V$ is a subset of even order, then $G$ contains a spanning forest $H$ such that each vertex from $X$ has an odd degree in $H$ and all the other vertices have an even degree in $H$. This spanning forest may have isolated vertices. If this is not allowed in $H$, then the situation is much more complicated. In this paper, we study this problem and generalize the concepts of even-factors and odd-factors in a unified form.
On the existence of dense substructures in finite groups
Fix $k \geq 6$. We prove that any large enough finite group $G$ contains $k$ elements which span quadratically many triples of the form $(a,b,ab) \in S \times G$, given any dense set $S \subseteq G \times G$. The quadratic bound is asymptotically optimal. In particular, this provides an elementary proof of a special case of a conjecture of Brown, Erdős and Sós. We remark that the result was recently discovered independently by Nenadov, Sudakov and Tyomkyn.
An example for a nontrivial irreducible geodesic net in the plane
We construct a geodesic net in the plane with four unbalanced (boundary) vertices that has 16 balanced vertices and does not contain proper geodesic subnets. This is the first example of an irreducible geodesic net in the Euclidean plane with 4 boundary vertices that is not a tree.
Reconfiguration Graph for Vertex Colourings of Weakly Chordal Graphs
The reconfiguration graph $R_k(G)$ of the $k$-colourings of a graph $G$ contains as its vertex set the $k$-colourings of $G$ and two colourings are joined by an edge if they differ in colour on just one vertex of $G$.
We show that for each $k \geq 3$ there is a $k$-colourable weakly chordal graph $G$ such that $R_{k+1}(G)$ is disconnected. We also introduce a subclass of $k$-colourable weakly chordal graphs which we call $k$-colourable compact graphs and show that for each $k$-colourable compact graph $G$ on $n$ vertices, $R_{k+1}(G)$ has diameter $O(n^2)$. We show that this class contains all $k$-colourable co-chordal graphs and when $k = 3$ all $3$-colourable $(P_5, \overline{P_5}, C_5)$-free graphs. We also mention some open problems.
Proof of the Brown-Erdős-Sós conjecture in groups
The conjecture of Brown, Erdős and Sós from 1973 states that, for any $k \ge 3$, if a $3$-uniform hypergraph $H$ with $n$ vertices does not contain a set of $k+3$ vertices spanning at least $k$ edges then it has $o(n^2)$ edges. The case $k=3$ of this conjecture is the celebrated $(6,3)$-theorem of Ruzsa and Szemerédi which implies Roth's theorem on $3$-term arithmetic progressions in dense sets of integers. Solymosi observed that, in order to prove the conjecture, one can assume that $H$ consists of triples $(a, b, ab)$ of some finite quasigroup $Γ$. Since this problem remains open for all $k \geq 4$, he further proposed to study triple systems coming from finite groups. In this case he proved that the conjecture holds also for $k = 4$. Here we completely resolve the Brown-Erdős-Sós conjecture for all finite groups and values of $k$. Moreover, we prove that the hypergraphs coming from groups contain sets of size $Θ(\sqrt{k})$ which span $k$ edges. This is best possible and goes far beyond the conjecture.
A note on the Brown--Erdős--Sós conjecture in groups
We show that a dense subset of a sufficiently large group multiplication table contains either a large part of the addition table of the integers modulo some $k$, or the entire multiplication table of a certain large abelian group, as a subgrid. As a consequence, we show that triples systems coming from a finite group contain configurations with $t$ triples spanning $\mathcal{O}(\sqrt{t})$ vertices, which is the best possible up to the implied constant. We confirm that for all $t$ we can find a collection of $t$ triples spanning at most $t+3$ vertices, resolving the Brown--Erd\H os--Sós conjecture in this context. The proof applies well-known arithmetic results including the multidimensional versions of Szemerédi's theorem and the density Hales--Jewett theorem.
On a conjecture of Bondy and Vince
Twenty years ago Bondy and Vince conjectured that for any nonnegative integer $k$, except finitely many counterexamples, every graph with $k$ vertices of degree less than three contains two cycles whose lengths differ by one or two. The case $k\leq 2$ was proved by Bondy and Vince, which resolved an earlier conjecture of Erdős et. al.. In this paper we confirm this conjecture for all $k$.
Sparse Hypergraphs with Applications to Coding Theory
For fixed integers $r\ge 3,e\ge 3,v\ge r+1$, an $r$-uniform hypergraph is called $\mathscr{G}_r(v,e)$-free if the union of any $e$ distinct edges contains at least $v+1$ vertices.
Brown, Erdős and Sós showed that the maximum number of edges of such a hypergraph on $n$ vertices, denoted as $f_r(n,v,e)$, satisfies
$$Ω(n^{\frac{er-v}{e-1}})=f_r(n,v,e)=\mathcal{O}(n^{\lceil\frac{er-v}{e-1}\rceil}).$$
For $e-1\mid er-v$, the lower bound matches the upper bound up to a constant factor; whereas for $e-1\nmid er-v$, in general it is a notoriously hard problem to determine the correct exponent of $n$.
Among other results, we improve the above lower bound by showing that
$$f_r(n,v,e)=Ω(n^{\frac{er-v}{e-1}}(\log n)^{\frac{1}{e-1}})$$
for any $r,e,v$ satisfying $\gcd(e-1,er-v)=1$.
The hypergraph we constructed is in fact $\mathscr{G}_r(ir-\lceil\frac{(i-1)(er-v)}{e-1}\rceil,i)$-free for every $2\le i\le e$, and it has several interesting applications in Coding Theory.
The proof of the new lower bound is based on a novel application of the lower bound on the hypergraph independence number due to Duke, Lefmann, and R{ö}dl.
A note on rainbow saturation number of paths
For a fixed graph $F$ and an integer $t$, the \dfn{rainbow saturation number} of $F$, denoted by $sat_t(n,\mathfrak{R}(F))$, is defined as the minimum number of edges in a $t$-edge-colored graph on $n$ vertices which does not contain a \dfn{rainbow copy} of $F$, i.e., a copy of $F$ all of whose edges receive a different color, but the addition of any missing edge in any color from $[t]$ creates such a rainbow copy. Barrus, Ferrara, Vardenbussche and Wenger prove that $sat_t(n,\mathfrak{R}(P_\ell))\ge n-1$ for $\ell\ge 4$ and $sat_t(n,\mathfrak{R}(P_\ell))\le \lceil \frac{n}{\ell-1} \rceil \cdot \binom{\ell-1}{2}$ for $t\ge \binom{\ell-1}{2}$, where $P_\ell$ is a path with $\ell$ edges. In this short note, we improve the upper bounds and show that $sat_t(n,\mathfrak{R}(P_\ell))\le \lceil \frac{n}{\ell} \rceil \cdot \left({{\ell-2}\choose {2}}+4\right)$ for $\ell\ge 5$ and $t\ge 2\ell-5$.
The least H-eigenvalue of signless Laplacian of non-odd-bipartite hypergraphs
Published in Discrete Mathematics, Volume 343, Issue 9, 2020, 111987
• View Publication
• BIB
Let $G$ be a connected non-odd-bipartite hypergraph with even uniformity. The least H-eigenvalue of the signless Laplacian tensor of $G$ is simply called the least eigenvalue of $G$ and the corresponding H-eigenvectors are called the first eigenvectors of $G$. In this paper we give some numerical and structural properties about the first eigenvectors of $G$ which contains an odd-bipartite branch, and investigate how the least eigenvalue of $G$ changes when an odd-bipartite branch attached at one vertex is relocated to another vertex. We characterize the hypergraph(s) whose least eigenvalue attains the minimum among a certain class of hypergraphs which contain a fixed non-odd-bipartite connected hypergraph. Finally we present some upper bounds of the least eigenvalue and prove that zero is the least limit point of the least eigenvalues of connected non-odd-bipartite hypergraphs.
Lorentzian polynomials
Published
• View Publication
• BIB
We study the class of Lorentzian polynomials. The class contains homogeneous stable polynomials as well as volume polynomials of convex bodies and projective varieties. We prove that the Hessian of a nonzero Lorentzian polynomial has exactly one positive eigenvalue at any point on the positive orthant. This property can be seen as an analog of Hodge--Riemann relations for Lorentzian polynomials. Lorentzian polynomials are intimately connected to matroid theory and negative dependence properties. We show that matroids, and more generally M-convex sets, are characterized by the Lorentzian property, and develop a theory around Lorentzian polynomials. In particular, we provide a large class of linear operators that preserve the Lorentzian property and prove that Lorentzian measures enjoy several negative dependence properties. We also prove that the class of tropicalized Lorentzian polynomials coincides with the class of M-convex functions in the sense of discrete convex analysis. The tropical connection is used to produce Lorentzian polynomials from M-convex functions. We give two applications of the general theory. First, we prove that the homogenized multivariate Tutte polynomial of a matroid is Lorentzian whenever the parameter q satisfies $0 < q \le 1$. Consequences are proofs of the strongest Mason's conjecture from 1972 and negative dependence properties of the random cluster model model in statistical physics. Second, we prove that the multivariate characteristic polynomial of an M-matrix is Lorentzian. This refines a result of Holtz who proved that the coefficients of the characteristic polynomial of an M-matrix form an ultra log-concave sequence.
Abundance of Progression in commutative semigroup by elementary means
Published in Semigroup forum, 2019
• View Publication
• BIB
Furstenberg and Glasner proved that for an arbitrary k in N, any piecewise syndetic set contains k term arithmetic progression and such collection is also piecewise syndetic in Z. They used algebraic structure of beta N. The above result was extended for arbitrary semigroups by Bergelson and Hindman, again using the structure of Stone-Cech compactification of general semigroup. Beiglbock provided an elementary proof of the above result and asked whether the combinatorial argument in his proof can be enhanced in a way which makes it applicable to a more abstract setting. In this work we provide a positive answer to Beiglbock question for commutative semigroup.
On the weight of Berge-$F$-free hypergraphs
For a graph $F$, we say a hypergraph is a Berge-$F$ if it can be obtained from $F$ by replacing each edge of $F$ with a hyperedge containing it. A hypergraph is Berge-$F$-free if it does not contain a subhypergraph that is a Berge-$F$. The weight of a non-uniform hypergraph $\mathcal{H}$ is the quantity $\sum_{h \in E(\mathcal{H})} |h|$.
Suppose $\mathcal{H}$ is a Berge-$F$-free hypergraph on $n$ vertices. In this short note, we prove that as long as every edge of $\mathcal{H}$ has size at least the Ramsey number of $F$ and at most $o(n)$, the weight of $\mathcal{H}$ is $o(n^2)$. This result is best possible in some sense. Along the way, we study other weight functions, and strengthen results of Gerbner and Palmer; and Grósz, Methuku and Tompkins.
The independence number of HH-homogeneous graphs and a classification of MB-homogeneous graphs
Published
• View Publication
• BIB
We show that the independence number of a countably infinite HH-homogeneous graph that does not contain the Rado graph as a spanning subgraph is finite and present a classification of MB-homogeneous graphs up to bimorphism-equivalence as a consequence.
Minor-Obstructions for Apex Sub-unicyclic Graphs
A graph is sub-unicyclic if it contains at most one cycle. We also say that a graph $G$ is $k$-apex sub-unicyclic if it can become sub-unicyclic by removing $k$ of its vertices.
We identify 29 graphs that are the minor-obstructions of the class of $1$-apex sub-unicyclic graphs, i.e., the set of all minor minimal graphs that do not belong in this class.
For bigger values of $k$, we give an exact structural characterization of all the cactus graphs that are minor-obstructions of $k$-apex sub-unicyclic graphs and we enumerate them. This implies that, for every $k$, the class of $k$-apex sub-unicyclic graphs has at least $0.34\cdot k^{-2.5}(6.278)^{k}$ minor-obstructions.
2-universality in randomly perturbed graphs
A graph $G$ is called universal for a family of graphs $\mathcal{F}$ if it contains every element $F \in \mathcal{F}$ as a subgraph. Let $\mathcal{F}(n,2)$ be the family of all graphs with maximum degree $2$. Ferber, Kronenberg, and Luh [Optimal Threshold for a Random Graph to be 2-Universal, to appear in Transactions of the American Mathematical Society] proved that there exists a $C$ such that for $p \ge C (n^{-2/3} \log^{1/3} n )$ the random graph $G(n,p)$ a.a.s is $\mathcal{F}(n,2)$-universal, which is asymptotically optimal. For any $n$-vertex graph $G_α$ with minimum degree $δ(G_α) \ge αn$ Aigner and Brandt [Embedding arbitrary graphs of maximum degree two, Journal of the London Mathematical Society 48 (1993), 39-51] proved that $G_α$ is $\mathcal{F}(n,2)$-universal for an optimal $α\ge 2/3$.
In this note, we consider the model of randomly perturbed graphs, which is the union $G_α\cup G(n,p)$. We prove that $G_α\cup G(n,p)$ is a.a.s. $\mathcal{F}(n,2)$-universal provided that $α>0$ and $p=ω(n^{-2/3})$. This is asymptotically optimal and improves on both results from above in the respective parameter. Furthermore, this extends a result of Böttcher, Montgomery, Parczyk, and Person [Embedding spanning bounded degree subgraphs in randomly perturbed graphs, arXiv:1802.04603 (2018)], who embed a given $F \in \mathcal{F}(n,2)$ at these values. We also prove variants with universality for the family $\mathcal{F}^\ell(n,2)$, all graphs from $\mathcal{F}(n,2)$ with girth at least $\ell$. For example, there exists an $\ell_0$ depending only on $α$ such that for all $\ell \ge \ell_0$ already $p=ω(1/n)$ is sufficient for $\mathcal{F}^\ell(n,2)$-universality.
On Anti-Powers in Aperiodic Recurrent Words
Fici, Restivo, Silva, and Zamboni define a $\textit{$k$-anti-power}$ to be a concatenation of $k$ consecutive words that are pairwise distinct and have the same length. They ask for the maximum $k$ such that every aperiodic recurrent word must contain a $k$-anti-power, and they prove that this maximum must be 3, 4, or 5. We resolve this question by demonstrating that the maximum is 5. We also conjecture that if $W$ is a reasonably nice aperiodic morphic word, then there is some constant $C = C(W)$ such that for all $i,k\geq 1$, $W$ contains a $k$-anti-power with blocks of length at most $Ck$ beginning at its $i^\text{th}$ position. We settle this conjecture for binary words that are generated by a uniform morphism, characterizing the small exceptional set of words for which such a constant cannot be found. This generalizes recent results of the second author, Gaetz, and Narayanan that have been proven for the Thue-Morse word, which also show that such a linear bound is the best one can hope for in general.
Cyclewidth and the Grid Theorem for Perfect Matching Width of Bipartite Graphs
A connected graph G is called matching covered if every edge of G is contained in a perfect matching. Perfect matching width is a width parameter for matching covered graphs based on a branch decomposition. It was introduced by Norine and intended as a tool for the structural study of matching covered graphs, especially in the context of Pfaffian orientations. Norine conjectured that graphs of high perfect matching width would contain a large grid as a matching minor, similar to the result on treewidth by Robertson and Seymour. In this paper we obtain the first results on perfect matching width since its introduction. For the restricted case of bipartite graphs, we show that perfect matching width is equivalent to directed treewidth and thus the Directed Grid Theorem by Kawarabayashi and Kreutzer for directed \treewidth implies Norine's conjecture.
Gallai-Ramsey numbers for rainbow paths
Given graphs $G$ and $H$ and a positive integer $k$, the \emph{Gallai-Ramsey number}, denoted by $gr_{k}(G : H)$ is defined to be the minimum integer $n$ such that every coloring of $K_{n}$ using at most $k$ colors will contain either a rainbow copy of $G$ or a monochromatic copy of $H$. We consider this question in the cases where $G \in \{P_{4}, P_{5}\}$. In the case where $G = P_{4}$, we completely solve the Gallai-Ramsey question by reducing to the $2$-color Ramsey numbers. In the case where $G = P_{5}$, we conjecture that the problem reduces to the $3$-color Ramsey numbers and provide several results in support of this conjecture.