contain ↗ reference
7694 papers tagged with this keyword
CLM's dependence relation, solitary patterns and $r$-graphs
A connected r-regular graph, where $r \geq 3$, is an r-graph if each odd cut has at least r edges. Every r-graph is matching covered - a connected graph whose each edge participates in some perfect matching. We set out to: (i) characterize solitary edges - those edges that participate in only one perfect matching, and (ii) upper bound the number of such edges.
Two edges are mutually dependent if every perfect matching containing either of them also contains the other. Clearly, this is an equivalence relation and induces a partition of E(G). It is worth noting that if any member of an equivalence class is solitary then so is every member; we refer to such an equivalence class as a solitary class. This immediately brings us to the notion of solitary pattern of a matching covered graph - the sequence of cardinalities of its solitary classes in nonincreasing order.
Clearly, n/2 is an upper bound on the cardinality of any equivalence class, and if equality holds then each largest equivalence class is a solitary class. We provide a characterization of all matching covered graphs that attain this upper bound. However, all such graphs, of order six or more, contain 2-cuts.
On the other hand, using a result of Lucchesi and Murty, we deduce that in a 3-edge-connected r-graph, every solitary class has cardinality one or two. We prove that the distance between any two solitary classes in any 3-edge-connected r-graph is at most three; furthermore, if the order is four or more, we establish that the number of solitary classes is at most three and equality holds if and only if r = 3. Ergo, every 3-edge-connected r-graph, of order four or more, has one of the following ten solitary patterns: (2, 2, 2), (2, 2, 1), (2, 1, 1), (1, 1, 1), (2, 2), (2, 1), (2), (1, 1), (1) or (). We provide complete characterizations of 3-edge-connected r-graphs that have one of the first six solitary patterns.
Bubbles in Linear Chord Diagrams: Bridges and Crystallized Diagrams
In a linear chord diagram a short chord joins adjacent vertices while a bubble is a region devoid of short chords. We define a bridge to be a chord joining a vertex interior to a bubble to one exterior to it. Building on earlier work, we investigate the distribution of bridges in the limit of large bubbles and diagrams, and show that the number of bridges is asymptotically normal, obtaining expressions for the associated mean and variance as a function of bubble size. We introduce the notion of a crystallized diagram, defined by the criteria that all its chords are either short or are bridges. We count the number of crystallized diagrams by the number of short chords they contain, and provide the asymptotic distribution in the limit of large crystallized diagrams. We show that for very large diagrams, the number of short chords is normal, and sharply peaked at $\sqrt{2n/\log
n}$, where $n$ is the total number of chords in the diagram.
Harmonious sequences in groups with a unique involution
Published
• View Publication
• BIB
We study several combinatorial properties of finite groups that are related to the notions of sequenceability, R-sequenceability, and harmonious sequences. In particular, we show that in every abelian group $G$ with a unique involution $\imath_G$ there exists a permutation $g_0,\ldots, g_{m}$ of elements of $G \backslash \{\imath_G\}$ such that the consecutive sums $g_0+g_1, g_1+g_2,\ldots, g_{m}+g_0$ also form a permutation of elements of $G\backslash \{\imath_G\}$. We also show that in every abelian group of order at least 4 there exists a sequence containing each non-identity element of $G$ exactly twice such that the consecutive sums also contain each non-identity element of $G$ twice. We apply several results to the existence of transversals in Latin squares.
A Connection Between Unbordered Partial Words and Sparse Rulers
Published
• View Publication
• BIB
$\textit{Partial words}$ are words that contain, in addition to letters, special symbols $\diamondsuit$ called $\textit{holes}$. Two partial words of $a=a_0 \dots a_n$ and $b=b_0 \dots b_n$ are $\textit{compatible}$ if for all $i$, $a_i = b_i$ or at least one of $a_i, b_i$ is a hole. A partial word is $\textit{unbordered}$ if it does not have a nonempty proper prefix and a suffix that are compatible. Otherwise the partial word is $\textit{bordered}$.
A set $R \subseteq \{0, \dots, n\}$ is called a $\textit{complete sparse ruler of length $n$}$ if for all $k \in \{0, \dots, n\}$ there exists $r, s \in R$ such that $k = r - s$. These are also known as $\textit{restricted difference bases}$.
From the definitions it follows that the more holes a partial word has, the more likely it is to be bordered. By introducing a connection between unbordered partial words and sparse rulers, we improve bounds on the maximum number of holes an unbordered partial word can have over alphabets of sizes $4$ or greater. We also provide a counterexample for a previously reported theorem.
We then study a two-dimensional generalization of these results. We adapt methods from one-dimensional case to solve the correct asymptotic for the number of holes an unbordered two-dimensional binary partial word can have. This generalization might invoke further research questions.
Erdős-Pósa property of tripods in directed graphs
Let $D$ be a directed graphs with distinguished sets of sources $S\subseteq V(D)$ and sinks $T\subseteq V(D)$. A tripod in $D$ is a subgraph consisting of the union of two $S$-$T$-paths that have distinct start-vertices and the same end-vertex, and are disjoint apart from sharing a suffix.
We prove that tripods in directed graphs exhibit the Erdős-Pósa property. More precisely, there is a function $f\colon \mathbb{N}\to \mathbb{N}$ such that for every digraph $D$ with sources $S$ and sinks $T$, if $D$ does not contain $k$ vertex-disjoint tripods, then there is a set of at most $f(k)$ vertices that meets all the tripods in $D$.
Degree-balanced decompositions of cubic graphs
Published
• View Publication
• BIB
We show that every cubic graph on $n$ vertices contains a spanning subgraph in which the number of vertices of each degree deviates from $\frac{n}{4}$ by at most $\frac{1}{2}$, up to three exceptions. This resolves the conjecture of Alon and Wei (Irregular subgraphs, Combin. Probab. Comput. 32(2) (2023), 269--283) for cubic graphs.
Excluding the fork and antifork
Published in Discrete Mathematics, Volume 343, Issue 5, 2020
• View Publication
• BIB
The fork is the tree obtained from the claw $K_{1,3}$ by subdividing one of its edges once, and the antifork is its complement graph. We give a complete description of all graphs that do not contain the fork or antifork as induced subgraphs.
Turán number of complete bipartite graphs with bounded matching number
Published
• View Publication
• BIB
Let $\mathscr{F}$ be a family of graphs. A graph $G$ is $\mathscr{F}$-free if $G$ does not contain any $F\in \mathcal{F}$ as a subgraph. The Turán number $ex(n, \mathscr{F})$ is the maximum number of edges in an $n$-vertex $\mathscr{F}$-free graph. Let $M_{s}$ be the matching consisting of $ s $ independent edges. Recently, Alon and Frank determined the exact value of $ex(n,\{K_{m},M_{s+1}\})$. Gerbner obtained several results about $ex(n,\{F,M_{s+1}\})$ when $F$ satisfies certain proportions. In this paper, we determine the exact value of $ex(n,\{K_{l,t},M_{s+1}\})$ when $s, n$ are large enough for every $3\leq l\leq t$. When $n$ is large enough, we also show that $ex(n,\{K_{2,2}, M_{s+1}\})=n+{s\choose 2}-\left\lceil\frac{s}{2}\right\rceil$ for $s\ge 12$ and $ex(n,\{K_{2,t},M_{s+1}\})=n+(t-1){s\choose 2}-\left\lceil\frac{s}{2}\right\rceil$ when $t\ge 3$ and $s$ is large enough.
Topology of independence complexes and cycle structure of hypergraphs
Published
• View Publication
• BIB
Recently, Zhang and Wu proved a conjecture of Kalai and Meshulam, showing that for every graph $G$ without induced cycles of length divisible by $3$, the sum of all reduced Betti numbers of its independence complex $I(G)$ is at most $1$. We extend this result to the hypergraph setting. Namely, we show that the same conclusion holds for any hypergraph $H$ that does not contain a Berge cycle of length divisible by $3$. This establishes a broader connection between forbidden cycle structures and the topological simplicity of independence complexes. As a key tool, we introduce a hypergraph analogue of Barmak's star cluster theorem for graphs. This new theorem implies, in particular, that if a hypergraph $H$ has a vertex $v$ that is not isolated and is not contained in an induced Berge cycle of length $3$, then there exists a hypergraph $H'$ with fewer vertices than $H$ such that the independence complex of $H$ is homotopy equivalent to the suspension of the independence complex of $H'$.
On $q$-deformed cubic equations: the quantum heptagon and nonagon
Published
• View Publication
• BIB
The recent notion of $q$-deformed irrational numbers is characterized by the invariance with respect to the action of the modular group $\PSL(2,\Z)$, or equivalently under the Burau representation of the braid group~$B_3$. The theory of $q$-deformed quadratic irrationals and quadratic equations with integer coefficients is known and entirely based on this invariance. In this paper, we consider the case of cubic irrationals. We show that irreducible cubic equations with three distinct real roots and cyclic Galois group~$C_3$ (or $\Z/3\Z$) acting by a third order element of $\PSL(2,\Z)$, have a canonical $q$-deformation, that we describe. This class of cubic equations contains well-known examples including the equations that describe regular $7$- and $9$-gons.
Dynamically syndetic sets and the combinatorics of syndetic, idempotent filters
A subset of the positive integers is dynamically central syndetic if it contains the times that a point returns to a neighborhood of itself in a minimal topological dynamical system. These sets are part of the highly-influential link between dynamics and combinatorics forged by Furstenberg and Weiss in the 1970's. Our main result is a characterization of dynamically central syndetic sets as precisely those sets that belong to syndetic, idempotent filters. This gives a "global" analogue to the well-known "local" characterization of Furstenberg's central sets as members of minimal, idempotent ultrafilters. Applying the main result, we answer two open questions posed by Host, Kra, and Maass concerning sets of pointwise topological recurrence.
Blowups of triangle-free graphs
Published in Advances in Combinatorics 2025:10, 23pp
• View Publication
• BIB
A highly influential result of Nikiforov states that if an $n$-vertex graph $G$ contains at least $γn^h$ copies of a fixed $h$-vertex graph $H$, then $G$ contains a blowup of $H$ of order $Ω_{γ,H}(\log n)$. While the dependence on $n$ is optimal, the correct dependence on $γ$ is unknown; all known proofs yield bounds that are polynomial in $γ$, but the best known upper bound, coming from random graphs, is only logarithmic in $γ$. It is a major open problem to narrow this gap. We prove that if $H$ is triangle-free, then the logarithmic behavior of the upper bound is the truth. That is, under the assumptions above, $G$ contains a blowup of $H$ of order $Ω_H (\log n/{\log(1/γ)})$. This is the first non-trivial instance where the optimal dependence in Nikiforov's theorem is known. As a consequence, we also prove an upper bound on multicolor Ramsey numbers of blowups of triangle-free graphs, proving that the dependence on the number of colors is polynomial once the blowup is sufficiently large. This shows that, from the perspective of multicolor Ramsey numbers, blowups of fixed triangle-free graphs behave like bipartite graphs.
On graphs with chromatic number and maximum degree both equal to nine
An equivalent version of the Borodin-Kostochka Conjecture, due to Cranston and Rabern, says that any graph with $χ= Δ= 9$ contains $K_3 \lor E_6$ as a subgraph. Here we prove several results in support of this conjecture, where vertex-criticality and forbidden substructure conditions get us either close or all the way to containing $K_3 \lor E_6$.
Eulerian Directed Multigraphs
For $Δ$ a finite connected nontrivial directed multigraph, we prove:
1. $Δ$ has a directed circuit using each directed edge exactly once if and only if both each pair of distinct vertices of $Δ$ occur in a common directed circuit and in-degree$({\bf x}) =$ out-degree$({\bf x})$ for every vertex ${\bf x}$.
2. $Δ$ contains a non-circuit directed path which uses every directed edge exactly once if and only if both every pair of distinct vertices of $Δ$ occur in a common directed circuit and there are vertices ${\bf b \not= e}$ such that in-degree$({\bf e}) -$ out-degree$({\bf e}) = 1 =$ out-degree$({\bf b}) -$ in-degree$({\bf b})$ but, for every vertex ${\bf x \notin \{b,e\}}$, it happens that in-degree$({\bf x}) =$ out-degree$({\bf x})$.
Exponential bounds for monochromatic sums equal to products
Published
• View Publication
• BIB
We show that any $r$-coloring of $\{1,...,r^{r^{r^{3r}}}\}$ contains monochromatic sets $\{a,b,a+b,x,y,xy\}$ with $a+b=xy.$
Towards an edge-coloured Corrádi--Hajnal theorem
A classical result of Corrádi and Hajnal states that every graph $G$ on $n$ vertices with $n\in 3\mathbb{N}$ and $δ(G) \ge 2n/3$ contains a perfect triangle-tiling, i.e.,\ a spanning set of vertex-disjoint triangles. We explore a generalisation of this result to edge-coloured graphs. Let $G$ be an edge-coloured graph on $n$ vertices. The minimum colour degree $δ^c(G)$ of $G$ is the largest integer $k$ such that, for every vertex $v \in V(G)$, there are at least $k$ distinct colours on edges incident to $v$. We show that if $δ^c(G) \ge (5/6 + \varepsilon) n$, then $G$ has a spanning set of vertex-disjoint rainbow triangles. On the other hand, we find an example showing the bound should be at least $5n/7$. We also discuss a related tiling problems on digraphs, which may be of independent interest.
Diameter two orientability of mixed graphs
Published
• View Publication
• BIB
In 1967, Katona and Szemerédi showed that no undirected graph with $n$ vertices and fewer than $\frac{n}{2}\log_2\frac{n}{2}$ edges admits an orientation of diameter two. In 1978, Chvátal and Thomassen revealed the complexity of determining whether an undirected graph can be oriented to achieve a diameter of two, proving it to be NP-complete. This breakthrough has sparked ongoing interest in identifying sufficient conditions for graphs to be oriented with the smallest possible diameter of two -- critical for optimizing communication and network flow in larger structures. In 2019, Czabarka, Dankelmann, and Székely significantly advanced this field by establishing that the minimum degree threshold for achieving such an orientation in undirected graphs of order $n$ is $\frac{n}{2} + Θ(\ln n)$. In this paper, we extend this foundational result by determining the minimum degree threshold necessary for realizing an orientation with diameter two in mixed graphs, which contain both undirected and directed edges. Mixed graphs offer a versatile framework, representing an intermediate stage in the orientation process, making our findings a substantial generalization of previous results.
Colour-bias perfect matchings in hypergraphs
We study conditions under which an edge-coloured hypergraph has a particular substructure that contains more than the trivially guaranteed number of monochromatic edges. Our main result solves this problem for perfect matchings under minimum degree conditions. This answers recent questions of Gishboliner, Glock and Sgueglia, and of Balogh, Treglown and Zárate-Guerén.
Forbidden paths and cycles in the undirected underlying graph of a 2-quasi best match graph
Published
• View Publication
• BIB
The undirected underlying graph of a 2-quasi best match graph (2-qBMG) is proven not to contain any induced graph isomorphic to $P_6$ or $C_6$. This new feature allows for the investigation of 2-BMGs further by exploiting the numerous known results on $P_6$ and $C_6$ free graphs together with the available polynomial algorithms developed for their studies. In this direction, there are also some new contributions about dominating bicliques and certain vertex decompositions of the undirected underlying graph of a 2-qBMG.
Ultra log-concavity and real-rootedness of dependence polynomials
For some positive integer $m$, a real polynomial $P(x)=\sum\limits_{k=0}^ma_kx^k$ with $a_k\geqslant 0$ is called log-concave (resp. ultra log-concave) if $a_k^2\geqslant a_{k-1}a_{k+1}$ (resp. $a_k^2\geqslant \left(1+\frac{1}{k}\right)\left(1+\frac{1}{m-k}\right)\cdot$ $a_{k-1}a_{k+1}$) for all $1\leqslant k\leqslant m-1$. If $P(x)$ has only real roots, then it is called real-rooted. It is well-known that the conditions of log-concavity, ultra log-concavity and real-rootedness are ever-stronger.
For a graph $G$, a dependent set is a set of vertices which is not independent, i.e., the set of vertices whose induced subgraph contains at least one edge. The dependence polynomial of $G$ is defined as $D(G, x):=\sum\limits_{k\geqslant 0}d_k(G)x^k$, where $d_k(G)$ is the number of dependent sets of size $k$ in $G$. Horrocks proved that $D(G, x)$ is log-concave for every graph $G$ [J. Combin. Theory, Ser. B, 84 (2002) 180--185]. In the present paper, we prove that, for a graph $G$, $D(G, x)$ is ultra log-concave if $G$ is $(K_2\cup 2K_1)$-free or contains an independent set of size $|V(G)|-2$, and give the characterization of graphs whose dependence polynomials are real-rooted. Finally, we focus more attention to the problems of log-concavity about independence systems and pose several conjectures closely related the famous Mason's Conjecture.