math.CO ↗ arXiv
5274 papers in this category
Minimum degree conditions for removable matchings in $k$-connected graphs
In 1969, Halin proved that every $k$-connected graph $G$ with minimum degree at least $k+1$ contains an edge $e$ such that $G-e$ is $k$-connected. As an edge is a matching of size one, it is natural to ask whether Halin's result extends to matchings of larger size, a question recently investigated by Li, Zhou, Fujita, and Mao. A matching $M$ of a $k$-connected graph $G$ is called \emph{$k$-removable} if $G-M$ is $k$-connected. In this paper, we study minimum degree conditions that guarantee the existence of a $k$-removable matching of prescribed size. Specifically, we prove that for all positive integers $k$ and $m$, every $k$-connected graph $G$ with at least $2m$ vertices contains a $k$-removable matching of size $m$ if \[δ(G)\ \ge\ \begin{cases} \max\bigl\{k+\bigl\lceil\tfrac m2\bigr\rceil,\ 2m\bigr\} & \text{if } k\ge m,\\[2pt] k+m & \text{if } k<m. \end{cases}\] As a consequence, every $k$-connected graph $G$ with $δ(G)\ge2k+1$ contains a $k$-removable matching of size $\bigl\lceil(δ(G)+1)/2\bigr\rceil$, unless $δ(G)$ is even and $G\cong K_{δ(G)+1}$. This verifies a conjecture of Li, Zhou, Fujita, and Mao in the range $δ(G)\ge2k+1$. Our main tool, of independent interest, is a strengthening of Halin's result producing a $k$-removable edge that avoids a prescribed set of vertices.
Latin Squares whose transversals intersect in unusual ways
A latin square of order $n$ is an $n\times n$ array in which each of $n$ symbols occurs exactly once in each row and column. A transversal in such a square is a selection of $n$ entries that includes one representative of each row and column, and one of each symbol. For all even orders $n\ge 28$ except $n=30$, we construct a latin square of order $n$ in which every pair of transversals share at least one entry. We conjecture that in our squares there is no single entry that is common to all transversals. We prove this conjecture for $n\le10\,000$ by finding transversals using an algorithm that is likely to be of independent interest.
We say that a transversal is dominant if it intersects every other transversal of the same latin square. We show that there exist latin squares of order $n$ that have a dominant transversal for $n\in\{5,7\}$ and also for all $n\ge8$ such that $n\not\equiv3\bmod4$.
Faster and simpler traversal of 0/1-polytopes
Recently, Merino and Mütze (FOCS'23+SICOMP'24) presented an algorithm for computing a Hamilton path on the skeleton of any 0/1-polytope ${\rm conv}(X)$, where $X\subseteq\{0,1\}^n$. The algorithm uses as a black box an algorithm for solving the classical linear optimization problem $\min\{w\cdot x\mid x\in X\}$ for some weight vector $w\in\mathbb{R}^n$. The resulting delay per visited vertex on the Hamilton path is only by a $\log n$ factor larger than the time to solve one instance of the optimization algorithm. In this paper, we make the Hamilton path algorithm simpler and faster. Namely, we obtain an amortized delay that is only by a constant factor larger than the running time of the optimization algorithm, thus removing the $\log n$ factor. As concrete results, this yields improved algorithms for generating bases and independent sets in a matroid, spanning trees, forests, matchings and maximum matchings in a graph, vertex covers, minimum vertex covers, independent sets and maximum independent sets in a bipartite graph, and antichains, maximum antichains and ideals in a poset. All of these listings correspond to Hamilton paths on the corresponding polytopes. Furthermore, we obtain an $\mathcal{O}(t_{\rm LP})$ amortized delay algorithm for the vertex enumeration problem on 0/1-polytopes $\{x\in\mathbb{R}^n\mid Ax\leq b\}$, where $A\in \mathbb{R}^{m\times n}$ and $b\in\mathbb{R}^m$, and $t_{\rm LP}$ is the time needed to solve the linear program $\min\{w\cdot x\mid Ax\leq b\}$. This improves upon the $\mathcal{O}(t_{\rm LP} \log n)$ delay algorithm of Merino and Mütze, and the previous $\mathcal{O}(t_{\rm LP}\,n)$ delay algorithm of Bussieck and Lübbecke from 1998.
Hindman's theorem does not code $\emptyset^{(ω)}$ in one application
We prove that for every non-arithmetic set~$C$ and every arithmetic finite coloring of~$\mathbb{N}$, there is an infinite set $H \subseteq \mathbb{N}$ whose non-empty finite sums of distinct elements is monochromatic, and $C$ is not $H$-computable. We also study restrictions of Hindman's theorem to simple colorings.
The Weak Zero-Divisor Difference Graph of a Finite Commutative Ring
For a finite commutative ring $R$, let $\GR$ denote its zero-divisor graph and $\WGR$ its weakly zero-divisor graph, the latter containing the former as a spanning subgraph. We introduce the \emph{weak zero-divisor difference graph} $\DR:=\WGR-\GR$ and develop a complete structural theory for finite reduced rings $R\cong\mathbb F_{q_1}\times\cdots\times\mathbb F_{q_t}$. We show $\DR$ sits strictly between $\GR$ and $\WGR$ in a three-stage refinement that also contains Badawi's annihilator graph, and prove that distinct support classes $X_A,X_B$ are completely joined in $\DR$ if and only if $A\cap B\ne\emptyset$ -- an exact criterion underlying every result that follows. Consequently $\DR$ is edgeless for $t\le2$ but connected with diameter $2$ and girth $3$ for every $t\ge3$, independently of the field orders. We establish a complete perfectness dichotomy -- $\DR$ is perfect exactly when $t\in\{3,4\}$, with an elementary combinatorial proof at $t=4$, and never perfect for $t\ge5$ -- and determine its clique number exactly at $t=3$ and $t=4$; for general $t$ we give two incomparable lower bounds and two upper bounds, sharp at $t=3$ but not beyond, together with a compression argument showing an extremal family may always be taken shifted without this alone resolving the problem. A reconstruction theorem shows $\DR$ recovers the multiset of field orders intrinsically, so $\DR\cong\mathcal D(S)$ forces $R\cong S$. We further give closed forms, valid for every $t\ge3$, for the degree sequence and minimum degree, the domination number, and the independence and vertex cover numbers. Finally, we briefly indicate, via the valuation structure of finite chain rings, why the reduced-ring hypothesis cannot simply be dropped.
Counting subsets of integers free of arithmetic configurations
Cameron and Erdős asked if the number of sets free of arithmetic progressions of length $k$ is $2^{r_k(n)(1+o(1))}$, where $r_k(n)$ is the maximum cardinality of a $k$-AP-free subset of $\{1, \dots, n\}$. Balogh, Liu and Sharifzadeh made significant progress on this question showing that it is $2^{O(r_k(n))}$ for an infinite sequence of $n$. We improve their result in two ways. On the one hand, we prove that, for $k\geq 5$, the number of $k$-AP-free sets in $[n]$ is $2^{r_k(n)(1+o(1))}$ for an infinite sequence of $n$, solving the question of Cameron and Erdős for infinitely many values. On the other hand, we also prove that for $k \geq 3$ and all $n$ the number of $k$-AP-free sets in $[n]$ is $2^{O(r_k(n))}$.
These results are in fact special cases of a general framework that we develop to count families of sets excluding certain arithmetic patterns, which applies as long as the corresponding extremal threshold satisfies certain Behrend-type lower bounds. As further examples, we get analogous results for solution sets to almost all systems of linear equations as well as counting versions of the multidimensional Szemerédi theorem.
On unirational varieties with poset parameterizations
We use partially ordered sets (posets) to provide a canonical parameterization for the Zariski closure of the image of a semialgebraic set under a rational map whose coordinate functions are polynomials with nonnegative integral coefficients. The resulting poset parametrization of such a unirational variety allows us to translate several well-studied problems into combinatorics; e.g. reducing the problems to describing the poset associated to the variety. These problems include, the implicitization problem from algebraic geometry, the toric reparameterization problem, the computation of the linear span of the variety, and the problem of distinguishing two semialgebraic subsets of the same ambient space. The technique applies to instances of these problems in several fields, including algebraic geometry, algebraic combinatorics, statistics and applied algebra. We demonstrate the technique on examples from each field, including degenerate subvarieties of secant varieties, matroid flat varieties -- which generalize toric varieties of edge polytopes, as well as varieties arising in multivariate data analysis and evolutionary biology.
Simplicial arrangements with special vertex
Shi-Catalan and affine Weyl arrangements are obtained in a similar way: they consist of a Weyl arrangement embedded into a higher dimensional space together with shifted copies. We consider the more general case when the Weyl arrangement is replaced by an arbitrary finite arrangement of hyperplanes. Such an arrangement is called an arrangement with special vertex. As our main result we prove that the number of parallel classes of lines in certain simplicial arrangements with special vertex is at most 12.
Graphs with zero as a main eigenvalue of the signless Laplacian
An eigenvalue of the signless Laplacian $Q(G)$ is $Q$-main if its eigenspace is not orthogonal to the all-ones vector. We characterize graphs with exactly $\ell\ge3$ $Q$-main eigenvalues, one of which is zero. The case $\ell=3$ reduces to non-semiregular bipartite graphs satisfying a vertexwise signed degree-sum identity. For each integer $k\ge0$, we construct infinitely many pairwise nonisomorphic graphs of cyclomatic number $k$ and unbounded diameter, all with exactly three $Q$-main eigenvalues including zero. These families provide counterexamples to the stated classifications of trees, unicyclic graphs, and bicyclic graphs of Javarsineh and Fath-Tabar.
Breaking the Bollobás-Eldridge-Catlin Barrier for Bipartite Graphs
The celebrated Bollobás-Eldridge-Catlin packing conjecture states that every $n$-vertex graph $G$ with minimum degree at least $\big(1-\frac{1}{Δ+1}\big) n$ contains every $n$-vertex graph $H$ of maximum degree at most $Δ$. Despite considerable attention, the conjecture remains widely open.
We show that for bipartite $H$ this threshold can be greatly improved: there is an absolute constant $c>0$ such that every $n$-vertex graph $G$ with minimum degree at least $ \big(1-c\frac{\logΔ}Δ\big)n $ contains every $n$-vertex bipartite graph $H$ of maximum degree at most $Δ$, provided $Δ$ is not too large compared to $n$. Moreover, we prove that this logarithmic improvement is best possible up to the value of the constant.
Contributions in Algebraic Graph Theory
This thesis investigates two central directions in algebraic graph theory, with an emphasis on spectral methods: spectral determination of graphs and transitivity properties of generalized-Hamming graphs and their complements. The first part focuses on graphs that are determined by the spectra of associated matrices. We study spectral determination with respect to the adjacency, Laplacian, signless Laplacian, and normalized Laplacian matrices, with particular emphasis on the adjacency spectrum. We survey existing results on graphs determined by their spectrum and develop new proof techniques for establishing spectral uniqueness. In particular, we present new proofs for the spectral characterization of complete bipartite graphs and Turán graphs, as well as some new results related to the spectral characterization of the important family of strongly regular graphs. In addition, we introduce a new family of graphs, called \emph{the graphs of pyramids}, and prove that they are determined by their adjacency spectrum using tools from matrix analysis, such as Cauchy's interlacing theorem and Schur complements. The second part of the thesis studies generalized-Hamming graphs, a family of Cayley graphs that generalize the sub-family of Hamming graphs, and their complements. We classify the parameters for which these graphs are edge-transitive or even distance-transitive. Our analysis combines spectral methods, group-theoretic arguments, and techniques from the theory of association schemes. As an application, we derive closed-form expressions for the Lovász $\vartheta$-function of generalized-Hamming graphs and their complements whenever either the graph or its complement is edge-transitive. Overall, the results demonstrate how spectral methods provide powerful tools for understanding the structure and symmetry of graphs, and they suggest several directions for further research.
A note on tree-cycle Ramsey numbers
Let $R(T_n,C_m)$ denote the Ramsey number of a tree $T_n$ on $n$ vertices versus a cycle $C_m$ of length $m$. Burr, Erdős, Faudree, Rousseau, and Schelp (1982) asked for the least function $f(m)$ such that $R(T_n,C_m)=2n-1$ for every odd $m\ge 3$ whenever $n\ge f(m)$. They proved that $f(m)\le 756m^{10}$. This bound was later improved to $25m$ by Brennan (2016) and to $4m-8$ by Fan and Lin (2025). In this note, we show that $f(m)\le 2m-4$ by using a different method and conjecture that $f(m)=\lceil (2m-1)/3\rceil$.
A New Lower Bound on the Spectral Radius of Graphs with Prescribed Average Degree
This work establishes an improved lower bound for the spectral radius of a graph given its average degree. The new bound follows from an exact solution of the fractional relaxation of the problem. Our findings lead to an affirmative answer to a conjecture by Hong (1993) for graphs with specific average degrees -- as the extremal graphs that meet our bound are proven to have a minimal and maximal degree that differ by at most one. Furthermore, we provide an exact characterization of the conditions that permit such discrete realizations. We prove that for a fixed number of vertices $n$, the number of valid edge configurations grows at least linearly with $n$, achieving an average asymptotic order of $Θ(n\log n)$.
Finding Fair Draws for Incomplete Round Robin Tournaments
In an incomplete round robin tournament, teams play against different sets of opponents. Given varying strengths of the teams, this raises a fairness issue. We establish the complexity of determining whether a fair draw exists under various scenarios involving the presence of pots (i.e., strength based groups of teams), teams coming from the same association, connectivity requirements, and others. We also show experimentally how fair incomplete round robin tournaments can be generated.
Frustration index of a signed planar graph and the feedback vertex set
A feedback vertex set of a graph is a set of vertices whose deletion leaves a forest. In 2016, Dross, Montassier, and Pinlou conjectured that every planar graph $G$ of girth at least $g$ admits a feedback vertex set of size at most $e(G)/g$. In this note, we confirm this conjecture by connecting this problem with signed graphs. The frustration index of a signed graph $(G,Σ)$ is defined as the minimum number of negative edges among all signatures on $G$ that are switching-equivalent to $Σ$. Equivalently, it is the minimum number of edges whose deletion results in a balanced subgraph of $(G,Σ)$. We show that the minimum size of a feedback vertex set of a planar graph is bounded above by the maximum frustration index over all signatures of the graph, and thereby provide a tight upper bound on the size of the minimum feedback vertex set, which resolves the conjecture of Dross, Montassier, and Pinlou (2016).
The positive and negative square-energy conjecture
Let $s^+(G)$ and $s^-(G)$ denote the sums of the squares of the positive and negative adjacency eigenvalues of a graph $G$, respectively. We prove the conjecture of Elphick, Farber, Goldberg, and Wocjan that every connected graph $G$ on $n$ vertices satisfies $$
\min\{s^+(G),s^-(G)\}\ge n-1. $$ The proof introduces a new framework for square-energy estimates, in which the Hadamard squares of positive semidefinite matrices that encode these spectral quantities are relaxed to the full doubly nonnegative cone.
A positive square-energy strengthening of Turán's theorem
Let $G$ be an $n$-vertex graph with clique number $ω(G)$, and let $s^+(G)$ denote the sum of the squared positive adjacency eigenvalues. We prove that $$ \sqrt{s^+(G)}\le\left(1-\frac{1}{ω(G)}\right)n. $$ This strengthens Wilf's classical spectral Turán theorem and resolves a conjecture of Elphick and Wocjan. Adopting the relaxation of our companion paper on the square-energy conjecture, we reduce the theorem to a Motzkin--Straus inequality for doubly nonnegative matrices, which we prove via a local inverse-probability estimate for the Caro--Wei greedy algorithm on the complement.
Towards a strengthening of the second neighborhood conjecture
A longstanding conjecture of Seymour, called Seymour's second neighborhood conjecture, states that every oriented graph $D$ contains a vertex $x$ with $|N^{++}_D(x)|\geq |N^{+}_D(x)|$. The conjecture was verified in a few special classes of oriented graphs, and it remains open for general oriented graphs. We propose a stronger version of the conjecture that every oriented graph $D$ contains a vertex $x$ such that there exists a complete matching from $N^+_D(x)$ to $N^{++}_D(x)$. We prove that this stronger version holds for every oriented graph with minimum out-degree at most $5$, and also for every $5$-anti-transitive oriented graph. This implies that every oriented planar graph satisfies the stronger version.
On modular balanced partition designs
Let $X$ be a finite set of integers with cardinality $ν= κλ$. A \emph{modular balanced partition design} is a triplet $(X, \mathcal{A}, \mathcal{B})$ satisfying the following conditions: \begin{itemize}
\item $\mathcal{A}$ is a partition of $X$ into $κ$ blocks of size $λ$, such that every element of $X$ appears in exactly one block. If $\mathcal{A} = \{A_1, A_2, \ldots, A_κ\}$, then
$\sum_{a\in A_i} a \equiv i λ\pmodν$, for each $i=1,2,\ldots,κ$
\item $\mathcal{B}$ is a partition of $X$ into $λ$ blocks of size $κ$, such that every element of $X$ appears in exactly one block. If $\mathcal{B} = \{B_1, B_2, \ldots, B_λ\}$, then
$\sum_{b\in B_j} b \equiv j κ\pmodν$, for each $j=1,2,\ldots,λ$
\item $A_i \cap B_j$ has exactly one element, for any $A_i \in \mathcal{A}$, and $B_j \in \mathcal{B}$. \itemize}
We prove the necessary conditions for the existence of a modular balanced partition design. Moreover, we investigate and identify a relationship between a modular balanced partition design and a subgroup magic rectangle. Then by using affine automorphisms of an Abelian group, we prove the existence of non-isomorphic modular balanced partition designs. Finally, we provide a method to construct a transversal design via a modular balanced partition design.
On Hales-Jewett and Related Numbers
We investigate the Hales-Jewett numbers and some variants of them, both computationally and via enumerative and probabilistic arguments. In particular, we give the improved lower bound formula on the combinatorial-geometric variant of the Hales-Jewett numbers. {As a consequence of one of the variants investigated, we show that the Milton Bradley game Connect Four played with 2 players on a 5-dimensional hypercube of any side length can end in a draw.