contain ↗ reference
7689 papers tagged with this keyword
Arbitrary orientations of Hamilton cycles in directed graphs of large minimum degree
In 1960, Ghouila-Houri proved that every strongly connected directed graph $G$ on $n$ vertices with minimum degree at least $n$ contains a directed Hamilton cycle. We asymptotically generalize this result by proving the following: every directed graph $G$ on $n$ vertices and with minimum degree at least $(1+o(1))n$ contains every orientation of a Hamilton cycle, except for the directed Hamilton cycle in the case when $G$ is not strongly connected. In fact, this minimum degree condition forces every orientation of a cycle in $G$ of every possible length, other than perhaps the directed cycles.
Contractible Non-Edges in 3-Connected Graphs
Published
• View Publication
• BIB
We call a pair of non-adjacent vertices in G a non-edge. Contraction of a non-edge {u, v} in G is the replacement of u and v with a single vertex z and then making all the vertices that are adjacent to u or v adjacent to z. A non-edge {u, v} is said to be contractible in a k-connected graph G, if the resulting graph after its contraction remains k-connected. Tsz Lung Chan characterized all 3-connected graphs (finite or infinite) that does not contain any contractible non-edges in 2019, and posed the problem of characterizing all 3-connected graphs that contain exactly one contractible non-edge. In this paper, we solve this problem.
Small hitting sets for longest paths and cycles
Published
• View Publication
• BIB
Motivated by an old question of Gallai (1966) on the intersection of longest paths in a graph and the well-known conjectures of Lovász (1969) and Thomassen (1978) on the maximum length of paths and cycles in vertex-transitive graphs, we present improved bounds for the parameters $\mathrm{lpt}(G)$ and $\mathrm{lct}(G)$, defined as the minimum size of a set of vertices in a graph $G$ hitting all longest paths (cycles, respectively). First, we show that every connected graph $G$ on $n$ vertices satisfies $\mathrm{lpt}(G)\le \sqrt{8n}$, and $\mathrm{lct}(G)\le \sqrt{8n}$ if $G$ is additionally $2$-connected. This improves a sequence of earlier bounds for these problems, with the previous state of the art being $O(n^{2/3})$. Second, we show that every connected graph $G$ satisfies $\mathrm{lpt}(G)\le O(\ell^{5/9})$, where $\ell$ denotes the maximum length of a path in $G$. As an immediate application of this latter bound, we present further progress towards Lovász' and Thomassen's conjectures: We show that every connected vertex-transitive graph of order $n$ contains a cycle (and path) of length $Ω(n^{9/14})$. This improves the previous best bound of the form $Ω(n^{13/21})$. Interestingly, our proofs make use of several concepts and results from structural graph theory, such as a result of Robertson and Seymour (1990) on transactions in societies and Tutte's $2$-separator theorem.
Inertia, Independence and Expanders
Published
• View Publication
• BIB
Let $G$ be a graph on $n$ vertices, independence number $α(G)$, Lovász theta function $\vartheta(G)$, and Shannon capacity $Θ(G)$. We define $n_{\ge0}(G)$ to be the minimum number of non-negative eigenvalues taken over all Hermitian weighted adjacency matrices of $G$. It is well known that $α(G) \le Θ(G) \le \vartheta(G)$ and $α(G) \le n_{\ge0}(G)$.
Continuing a long line of work, we investigate the relationships between $ α(G) $, $ \vartheta(G) $, $Θ(G)$, and $ n_{\ge 0}(G) $. We prove a conjecture of Kwan and Wigderson, showing that for every integer $k$, there exists a graph $G$ with $α(G) \leq 2$ and $n_{\ge 0}(G) \ge k$. In addition, we prove that for every integer $k$, there exists a graph $G$ with $Θ(G) \leq 3$ and $n_{\ge 0}(G) \ge k$. Both results rely on a new observation: if the complement of $G$ contains a good spectral expander, then $n_{\geq 0}(G)$ must be large. We also show that $\vartheta(G)$ can be exponentially larger than $n_{\ge 0}(G)$, improving a recent result of Ihringer.
Odd clique minors in graphs with independence number two
A $K_t$-expansion consists of $t$ vertex-disjoint trees, every two of which are joined by an edge. We call such an expansion odd if its vertices can be two-colored so that the edges of the trees are bichromatic but the edges between trees are monochromatic. A graph contains an odd $K_t$ minor or an odd clique minor of order $t$ if it contains an odd $K_t$-expansion. Gerards and Seymour from 1995 conjectured that every graph $G$ contains an odd $K_{χ(G)}$ minor, where $χ(G)$ denotes the chromatic number of $G$. This conjecture is referred to as ``Odd Hadwiger's Conjecture". Let $α(G)$ denote the independence number of a graph $G$. In this paper we investigate the Odd Hadwiger's Conjecture for graphs $G$ with $α(G)\le2$. We first observe that a graph $G$ on $n$ vertices with $α(G)\le2$ contains an odd $K_{χ(G)}$ minor if and only if $G$ contains an odd clique minor of order $\lceil n/2\rceil$. We then prove that every graph $G$ on $n$ vertices with $α(G)\le 2$ contains an odd clique minor of order $\lceil n/2\rceil$ if $G$ contains a clique of order $n/4$ when $n$ is even and $(n+3)/4$ when $n$ is odd, or $G$ does not contain $H$ as an induced subgraph, where $α(H)\le 2$ and $H$ is an induced subgraph of $K_1 + P_4$, $K_2+(K_1\cup K_3)$, $K_1+(K_1\cup K_4)$, $K_7^-$, $K_7$, or the kite graph.
Isomorphisms of unit distance graphs of layers
Published
• View Publication
• BIB
For any $\varepsilon \in (0,+\infty)$, consider the metric spaces $\mathbb{R} \times [0,\varepsilon]$ in the Euclidean plane named layers or strips. B. Baslaugh in 1998 found the minimal width $\varepsilon \in (0,1)$ of a layer such that its unit distance graph contains a cycle of a given odd length $k$. The first of the main results of this paper is the fact that the unit distance graphs of two layers $\mathbb{R} \times [0,\varepsilon_1], \mathbb{R} \times [0,\varepsilon_2]$ are non-isomorphic for any different values $\varepsilon_1,\varepsilon_2 \in (0,+\infty)$.
We also get a multidimensional analogue of this theorem. For given $n,m \in \mathbb{N}, p \in (1,+\infty), \varepsilon \in (0,+\infty)$, we say that the metric space on $\mathbb{R}^n \times [0,\varepsilon]^m$ with the metric space distance generated by $l_p$-norm in $\mathbb{R}^{n+m}$ is a layer $L(n,m,p,\varepsilon)$. We show that the unit distance graphs of layers $L(n,m,p,\varepsilon_1), L(n,m,p,\varepsilon_2)$ are non-isomorphic for $\varepsilon_1 \neq \varepsilon_2$.
The third main result of this paper is the theorem that, for $n \geq 2, \varepsilon > 0$, any automorphism $φ$ of the unit distance graph of layer $L = L(n,1,2,\varepsilon) = \mathbb{R}^n \times [0,\varepsilon]$ is an isometry. This is related to the Beckman-Quarles theorem of 1953, which states that any unit-preserving mapping of $\mathbb{R}^n$ is an isometry, and to the rational analogue of this theorem obtained by A. Sokolov in 2023.
The polytope of all $q$-rank functions
A $q$-rank function is a real-valued function defined on the subspace lattice that is non-negative, upper bounded by the dimension function, non-drecreasing, and satisfies the submodularity law. Each such function corresponds to the rank function of a $q$-polymatroid. In this paper, we identify these functions with points in a polytope. We show that this polytope contains no interior lattice points, implying that the points corresponding to $q$-matroids are among its vertices. We investigate several properties of convex combinations of two lattice points in this polytope, particularly in terms of independence, flats, and cyclic flats. Special attention is given to the convex combinations of paving and uniform $q$-matroids.
Three-edge-coloring (Tait coloring) cubic graphs on the torus: A proof of Grünbaum's conjecture
Published
• View Publication
• BIB
We prove that every cyclically 4-edge-connected cubic graph that can be embedded in the torus, with the exceptional graph class called "Petersen-like", is 3-edge-colorable. This means every (non-trivial) toroidal snark can be obtained from several copies of the Petersen graph using the dot product operation. The first two snarks in this family are the Petersen graph and one of Blanuša snarks; the rest are exposed by Vodopivec in 2008. This proves a strengthening of the well-known, long-standing conjecture of Grünbaum from 1968.
This implies that a 2-connected cubic (multi)graph that can be embedded in the torus is not 3-edge-colorable if and only if it can be obtained from a dot product of copies of the Petersen graph by replacing its vertices with 2-edge-connected planar cubic (multi)graphs. Here, replacing a vertex $v$ in a cubic graph $G$ is the operation that takes a 2-connected planar cubic multigraph $H$ and one of its vertices $u$ of degree 3, unifying $G-v$ and $H-u$ and connecting the neighbors of $v$ in $G-v$ with the neighbors of $u$ in $H-u$ with a matching.
This result is a highly nontrivial generalization of the Four Color Theorem, and its proof requires a combination of extensive computer verification and computer-free extension of existing proofs on colorability.
An important consequence of this result is a very strong version of the Tutte 4-Flow Conjecture for toroidal graphs. We show that a 2-edge connected graph embedded in the torus admits a nowhere-zero 4-flow unless it is Petersen-like (in which case it does not admit nowhere-zero 4-flows). Observe that this is a vast strengthening over the Tutte 4-Flow Conjecture on the torus, which assumes that the graph does not contain the Petersen graph as a minor because almost all toroidal graphs contain the Petersen graph minor, but almost none are Petersen-like.
Local rainbow colorings of hypergraphs
In this paper, we generalize the concepts related to rainbow coloring to hypergraphs. Specifically, an $(n,r,H)$-local coloring is defined as a collection of $n$ edge-colorings, $f_v: E(K^{(r)}_n) \rightarrow [k]$ for each vertex $v$ in the complete $r$-uniform hypergraph $K^{(r)}_n$, with the property that for any copy $T$ of $H$ in $K^{(r)}_n$, there exists at least one vertex $u$ in $T$ such that $f_u$ provides a rainbow edge-coloring of $T$ (i.e., no two edges in $T$ share the same color under $f_u$). The minimum number of colors required for this coloring is denoted as the local rainbow coloring number $C_r(n, H)$.
We first establish an upper bound of the local rainbow coloring number for $r$-uniform hypergraphs $H$ consisting of $h$ vertices, that is, $C_r(n, H)= O\left( n^{\frac{h-r}{h}} \cdot h^{2r + \frac{r}{h}} \right)$. Furthermore, we identify a set of $r$-uniform hypergraphs whose local rainbow coloring numbers are bounded by a constant. A notable special case indicates that $C_3(n,H) \leq C(H)$ for some constant $C(H)$ depending only on $H$ if and only if $H$ contains at most 3 edges and does not belong to a specific set of three well-structured hypergraphs, possibly augmented with isolated vertices. We further establish two 3-uniform hypergraphs $H$ of particular interest for which $C_3(n,H) = n^{o(1)}$.
Regarding lower bounds, we demonstrate that for every $r$-uniform hypergraph $H$ with sufficiently many edges, there exists a constant $b = b(H) > 0$ such that $C_r(n,H) = Ω(n^b)$. Additionally, we obtain lower bounds for several hypergraphs of specific interest.
Lie-operads and operadic modules from poset cohomology
As observed by Joyal, the cohomology groups of the partition posets are naturally identified with the components of the operad encoding Lie algebras. This connection was explained in terms of operadic Koszul duality by Fresse, and later generalized by Vallette to the setting of decorated partitions. In this article, we set up and study a general formalism which produces a priori operadic structures (operads and operadic modules) on the cohomology of families of posets equipped with some natural recursive structure, that we call "operadic poset species". This framework goes beyond decorated partitions and operadic Koszul duality, and contains the metabelian Lie operad and Kontsevich's operad of trees as two simple instances. In forthcoming work, we will apply our results to the hypertree posets and their connections to post-Lie and pre-Lie algebras.
The Degree Polynomial
The degree polynomial of a multigraph $G$ is given by $\sum _{v \in V(G)} x^{\mbox{deg}(v)}$. We investigate here properties of the roots of such polynomials. In addition to examining the roots for some families of graphs with few and many degrees, we provide some bounds on the moduli of the roots. We also propose a region that contains all roots for multigraphs of order $n$.
p-complete square-free Word-representation of Word-representable Graphs
A graph G(V, E) is word-representable if there exists a word w over V such that distinct letters x and y alternate in w iff $xy \in E$. We introduce p-complete squares and p-complete square-free word-representable graphs. A word is p-complete square-free if no induced subword over any subset of letters contains a square XX with $|X| \ge p$. A graph is p-complete square-free if it admits such a representation. We define p-complete square-free uniform word-representations and study their properties. We show that any graph admitting such a representation forbids Kp as an induced subgraph and that the recognition problem is NP-hard for arbitrary p. For p=1 and 2, we give complete characterisations. We prove that every $K_p$-free circle graph admits a p-complete square-free uniform representation and that any 3-complete square-free uniform word-representable graph has representation number at most three. We present a constructive method for generating new examples for p=3.
The Turan number of the balanced double star S_{n-1,n-1} in the hypercube Q_n
The n-dimensional hypercube Q_n is a graph with vertex set {0,1}^n such that there is an edge between two vertices if and only if they differ in exactly one coordinate. Let H be a graph, and a graph is called H-free if it does not contain H as a subgraph. Given a graph H, the Turan number of H in Q_n, denoted by ex(Q_n, H), is the maximum number of edges of a subgraph of Q_n that is H-free. A double star S_{k,l} is the graph obtained by taking an edge uv and joining u with k vertices, v with l vertices which are different from the k vertices. We say a double star is a balanced double star if k = l. Currently, the Turan number of the balanced star S_{n,n} is has been studied in the planar graphs. In the hypercubes, the researchers look for the maximum number of edges of the graphs that are C_k-free. However, the Turan number of the double star in the hypercube remains unexplored. Building upon prior research, we initiate the first study on the Turan number of the balanced double star in the hypercube. In this paper, we give the exact value of the Turan number of the balanced double star S_{n-1,n-1} in the hypercube Q_n, which is 2^{n-3}*(4n- 3) for all n >= 3.
A Counterexample to a Conjecture of Lovász
Published
• View Publication
• BIB
In 1975 Lovász conjectured that every $r$-partite, $r$-uniform hypergraph contains $r-1$ vertices whose deletion reduces the matching number. If true, this statement would imply a well-known conjecture of Ryser from 1971, which states that every $r$-partite, $r$-uniform hypergraph has a vertex cover of size at most $r-1$ times its matching number. When $r=2$, Ryser's conjecture is simply Kőnig's theorem, and the conjecture of Lovász is an immediate corollary. Ryser's conjecture for $r=3$ was proven by Aharoni in 2001, and remains open for all $r\geq 4$.
Here we show that the conjecture of Lovász is false in the case $r=3$. Our counterexample is the line hypergraph of the Biggs-Smith graph, a highly symmetric cubic graph on 102 vertices.
$R$-weighted graphs and commutators
In this article, we introduce balance equations over commutative rings $R$ and associate $R$-weighted graphs to them so that solving balance equations corresponds to a consistent labeling of vertices of the associated graph. Our primary focus is the case when $R$ is a commutative local ring whose residue field contains at least three elements. In this case, we provide explicit solutions of balance equations. As an application, letting $R$ to be the ring of $p$-adic integers, we examine some necessary and sufficient conditions for a $p$-group of nilpotency class $2$ to have its set of commutators coincide with its commutator subgroup. We also apply our results to study the surjectivity of the Lie bracket in Lie algebras, without any restriction on their dimension and the underlined field.
Flip-graphs of non-orientable filling surfaces
Consider a surface $Σ$ with punctures that serve as marked points and at least one marked point on each boundary component. We build a filling surface $Σ_n$ by singling out one of the boundary components and denoting by $n$ the number of marked points it contains. We consider the triangulations of $Σ_n$ whose vertices are the marked points and the associated flip-graph $\mathcal{F}(Σ_n)$. Quotienting $\mathcal{F}(Σ_n)$ by the homeomorphisms of $Σ$ that fix the privileged boundary component results in a finite graph $\mathcal{MF}(Σ_n)$. Bounds on the diameter of $\mathcal{MF}(Σ_n)$ are available when $Σ$ is orientable and we provide corresponding bounds when $Σ$ is non-orientable. We show that the diameter of this graph grows at least like $5n/2$ and at most like $4n$ as $n$ goes to infinity. If $Σ$ is an unpunctured Möbius strip, $\mathcal{MF}(Σ_n)$ coincides with $\mathcal{F}(Σ_n)$ and we prove that the diameter of this graph grows exactly like $5n/2$ as $n$ goes to infinity.
A note on the number of distinct elements and zero-sum subsequence lengths in cyclic groups
In this short note we investigate zero-sum sequences in finite abelian groups, examining the relationship between the sequence's support size, that is the number of distinct elements, and its properties concerning zero-sums. In particular, for sequences $S$ in a cyclic group, we establish a direct connection between $MZ(S)$, the length of the shortest nonempty subsequence summing to zero and the number of distinct values in $S$. Our results reveal that sequences with larger support must contain shorter non-empty zero-sum subsequences, in line with classical zero-sum results. Additionally, we present one application of our main result to a factorization of ideals problem in rings of integers of a number field.
Nearly spanning cycle in the percolated hypercube
Let $Q^d$ be the $d$-dimensional binary hypercube. We form a random subgraph $Q^d_p\subseteq Q^d$ by retaining each edge of $Q^d$ independently with probability $p$. We show that, for every constant $\varepsilon>0$, there exists a constant $C=C(\varepsilon)>0$ such that, if $p\ge C/d$, then with high probability $Q^d_p$ contains a cycle of length at least $(1-\varepsilon)2^d$. This confirms a long-standing folklore conjecture, stated in particular by Condon, Espuny Díaz, Girão, Kühn, and Osthus [Hamiltonicity of random subgraphs of the hypercube, Mem. Amer. Math. Soc. 305 (2024), No. 1534].
Odd complete bipartite minors in graphs with independence number two
Published
• View Publication
• BIB
Recently, Chen and Deng have proved that every graph $G$ with independence number two contains $K_{\ell,χ(G)- \ell}$ as a minor for each integer $\ell$ with $1\leq\ell < χ(G)$. In this paper, we extend this result to odd minor version. That is, we prove that each graph $G$ with independence number two contains $K_{\ell,χ(G)- \ell}$ as an odd minor for each integer $\ell$ with $1\leq\ell < χ(G)$.
Net Occurrences in Fibonacci and Thue-Morse Words
A net occurrence of a repeated string in a text is an occurrence with unique left and right extensions, and the net frequency of the string is the number of its net occurrences in the text. Originally introduced for applications in Natural Language Processing, net frequency has recently gained attention for its algorithmic aspects. Guo et al. [CPM 2024] and Ohlebusch et al. [SPIRE 2024] focus on its computation in the offline setting, while Guo et al. [SPIRE 2024], Inenaga [arXiv 2024], and Mieno and Inenaga [CPM 2025] tackle the online counterpart. Mieno and Inenaga also characterize net occurrences in terms of the minimal unique substrings of the text. Additionally, Guo et al. [CPM 2024] initiate the study of net occurrences in Fibonacci words to establish a lower bound on the asymptotic running time of algorithms. Although there has been notable progress in algorithmic developments and some initial combinatorial insights, the combinatorial aspects of net occurrences have yet to be thoroughly examined. In this work, we make two key contributions. First, we confirm the conjecture that each Fibonacci word contains exactly three net occurrences. Second, we show that each Thue-Morse word contains exactly nine net occurrences. To achieve these results, we introduce the notion of overlapping net occurrence cover, which narrows down the candidate net occurrences in any text. Furthermore, we provide a precise characterization of occurrences of Fibonacci and Thue-Morse words of smaller order, offering structural insights that may have independent interest and potential applications in algorithm analysis and combinatorial properties of these words.