contain ↗ reference
7694 papers tagged with this keyword
Monotonicity in Quadratically Regularized Linear Programs
Published
• View Publication
• BIB
In optimal transport, quadratic regularization is a sparse alternative to entropic regularization: the solution measure tends to have small support. Computational experience suggests that the support decreases monotonically to the unregularized counterpart as the regularization parameter is relaxed. We find it useful to investigate this monotonicity more abstractly for linear programs over polytopes, regularized with the squared norm. Here, monotonicity can be stated as an invariance property of the curve mapping the regularization parameter to the solution: once the curve enters a face of the polytope, does it remain in that face forever? We show that this invariance is equivalent to a geometric property of the polytope, namely that each face contains the minimum norm point of its affine hull. Returning to the optimal transport problem and its associated Birkhoff polytope, we verify this property for low dimensions, but show that it fails for marginals with five or more point masses. As a consequence, the conjectured monotonicity of the support fails in general, even if experiments suggest that monotonicity holds for many cost matrices. Separately, we apply our geometric point of view to a problem of Erdős, namely to characterize the doubly stochastic matrices whose maximal trace equals their squared norm.
Congruence Classes of Simplex Structures in Finite Field Vector Spaces
We study a generalization of the Erdős-Falconer distance problem over finite fields. For a graph $G$, two embeddings $p, p': V(G) \to \mathbb{F}_q^d$ of a graph $G$ are congruent if for all edges $(v_i, v_j)$ of $G$ we have that $||p(v_i) - p(v_j)|| = ||p'(v_i) - p'(v_j)||$. What is the infimum of $s$ such that for any subset $E\subset \mathbb{F}_q^d$ with $|E| \gtrsim q^s$, $E$ contains a positive proportion of congruence classes of $G$ in $\mathbb{F}_q^d$? Bennett et al. and McDonald used group action methods to prove results in the case of $k$-simplices. The work of Iosevich, Jardine, and McDonald as well as that of Bright et al. have proved results in the case of trees and trees of simplices, utilizing the inductive nature of these graphs.
Recently, Aksoy, Iosevich, and McDonald combined these two approaches to obtain nontrivial bounds on the "bowtie" graph, two triangles joined at a vertex. Their proof relies on an application of the Hadamard three-lines theorem to pass to a different graph. We develop novel geometric techniques called branch shifting and simplex unbalancing to reduce our analysis of trees of simplices to a much smaller class of simplex structures. This allows us to establish a framework that handles a wide class of graphs exhibiting a combination of rigid and loose behavior. In $\mathbb{F}_q^2$, this approach gives new nontrivial bounds on chains and trees of simplices. In $\mathbb{F}_q^d$, we improve on the results of Bright et al. in many cases and generalize their work to a wider class of simplex trees. We discuss partial progress on how this framework can be extended to more general simplex structures, such as cycles of simplices and structures of simplices glued together along an edge or a face.
A note on the 2-Factor Hamiltonicity Conjecture
Published
• View Publication
• BIB
The 2-factor Hamiltonicity Conjecture by Funk, Jackson, Labbate, and Sheehan [JCTB, 2003] asserts that all cubic, bipartite graphs in which all 2-factors are Hamiltonian cycles can be built using a simple operation starting from $K_{3,3}$ and the Heawood graph.
We discuss the link between this conjecture and matching theory, in particular by showing that this conjecture is equivalent to the statement that the two exceptional graphs in the conjecture are the only cubic braces in which all 2-factors are Hamiltonian cycles, where braces are connected, bipartite graphs in which every matching of size at most two is contained in a perfect matching. In the context of matching theory this conjecture is especially noteworthy as $K_{3,3}$ and the Heawood graph are both strongly tied to the important class of Pfaffian graphs, with $K_{3,3}$ being the canonical non-Pfaffian graph and the Heawood graph being one of the most noteworthy Pfaffian graphs.
Our main contribution is a proof that the Heawood graph is the only Pfaffian, cubic brace in which all 2-factors are Hamiltonian cycles. This is shown by establishing that, aside from the Heawood graph, all Pfaffian braces contain a cycle of length four, which may be of independent interest.
Palette Sparsification for Graphs with Sparse Neighborhoods
A seminal palette sparsification result of Assadi, Chen, and Khanna states that in every $n$-vertex graph of maximum degree $Δ$, sampling $Θ(\log n)$ colors per vertex from $\{1, \ldots, Δ+1\}$ almost certainly allows for a proper coloring from the sampled colors. Alon and Assadi extended this work proving a similar result for $O\left(Δ/\log Δ\right)$-coloring triangle-free graphs. Apart from being interesting results from a combinatorial standpoint, their results have various applications to the design of graph coloring algorithms in different models of computation. In this work, we focus on locally sparse graphs, i.e., graphs with sparse neighborhoods. We say a graph $G = (V, E)$ is $k$-locally-sparse if for each vertex $v \in V$, the subgraph $G[N(v)]$ contains at most $k$ edges. A celebrated result of Alon, Krivelevich, and Sudakov shows that such graphs are $O(Δ/\log (Δ/\sqrt{k}))$-colorable. For any $α\in (0, 1)$ and $k \ll Δ^{2α}$, let $G$ be a $k$-locally-sparse graph. For $q = Θ\left(Δ/\log \left(Δ^α/\sqrt{k}\right)\right)$, we show that sampling $O\left(Δ^α+ \sqrt{\log n}\right)$ colors per vertex is sufficient to obtain a proper $q$-coloring of $G$ from the sampled colors. Setting $k = 1$ recovers the aforementioned result of Alon and Assadi for triangle-free graphs. A key element in our proof is a proposition regarding correspondence coloring in the so-called color-degree setting, which improves upon recent work of Anderson, Kuchukova, and the author and is of independent interest.
Rational points of fixed denominator in real toric arrangements
Published
• View Publication
• BIB
We give a sufficient condition on a positive integer $m$ for every stratum of a given real toric hyperplane arrangement to contain a rational point of denominator $m$. As a consequence, we give a sufficient condition on $m$ for the degree $m$ Frobenius pushforward of the structure sheaf on a smooth toric variety to contain all possible summands in the Picard group.
On the spectral radius of unbalanced signed bipartite graphs
Published
• View Publication
• BIB
A signed graph is one that features two types of edges: positive and negative. Balanced signed graphs are those in which all cycles contain an even number of positive edges. In the adjacency matrix of a signed graph, entries can be $0$, $-1$, or $1$, depending on whether $ij$ represents no edge, a negative edge, or a positive edge, respectively. The index of the adjacency matrix of a signed graph $\dot{G}$ is less or equal to the index of the adjacency matrix of its underlying graph $G$, i.e., $λ_1(\dot{G}) \le λ_1(G)$. Indeed, if $\dot{G}$ is balanced, then $λ_1(\dot{G})=λ_1(G)$. This inequality becomes strict when $\dot{G}$ is an unbalanced signed graph. Recently, Brunetti and Stanić found the whole list of unbalanced signed graphs on $n$ vertices with maximum (resp. minimum) spectral radius. To our knowledge, there has been little research on this problem when unbalanced signed graphs are confined to specific graph classes. In this article, we demonstrate that there is only one unbalanced signed bipartite graph on $n$ vertices with maximum spectral radius, up to an operation on the signed edges known as switching. Additionally, we investigate unbalanced signed complete bipartite graphs on $n$ vertices with a bounded number of edges and maximum spectral radius, where the negative edges induce a tree.
Strong zero-divisor graph of p.q.-Baer $*$-rings
Published
• View Publication
• BIB
In this paper, we study the strong zero-divisor graph of a p.q.-Baer $*$-ring. We determine the condition on a p.q.-Baer $*$-ring (in terms of the smallest central projection in a lattice of central projections of a $*$-ring), so that its strong zero-divisor graph contains a cut vertex. It is proved that the set of cut vertices of a strong zero-divisor graph of a p.q.-Baer $*$-ring forms a complete subgraph. We prove that the complement of the strong zero-divisor graph of a p.q.-Baer $*$-ring is connected if and only if the $*$-ring contains at least six central projections. We characterize the diameter and girth of the complement of a strong zero-divisor graph of a p.q.-Baer $*$-ring. Also, we characterize p.q.-Baer $*$-rings whose strong zero-divisor graph is complemented.
Subgraphs with a positive minimum semidegree in digraphs with large outdegree
Published in Innovations in Graph Theory, Volume 2 (2025), pp. 301-312
• View Publication
• BIB
We prove that every $n$-vertex directed graph $G$ with the minimum outdegree $δ^+(G) = d$ contains a subgraph $H$ satisfying \[ \min\left\{δ^+(H), δ^-(H) \right\} \ge \frac{d(d+1)}{2n} \,.\] We also show that if $d = o(n)$ then this bound is asymptotically best possible.
Branching with a pre-specified finite list of $k$-sparse split sets for binary MILPs
Published
• View Publication
• BIB
When branching for binary mixed integer linear programs with disjunctions of sparsity level $2$, we observe that there exists a finite list of $2$-sparse disjunctions, such that any other $2$-sparse disjunction is dominated by one disjunction in this finite list. For sparsity level greater than $2$, we show that a finite list of disjunctions with this property cannot exist. This leads to the definition of covering number for a list of splits disjunctions. Given a finite list of split sets $\mathcal{F}$ of $k$-sparsity, and a given $k$-sparse split set $S$, let $\mathcal{F}(S)$ be the minimum number of split sets from the list $\mathcal{F}$, whose union contains $S \cap [0, \ 1]^n$. Let the covering number of $\mathcal{F}$ be the maximum value of $\mathcal{F}(S)$ over all $k$-sparse split sets $S$. We show that the covering number for any finite list of $k$-sparse split sets is at least $\lfloor k/2\rfloor $ for $k \geq 4$. We also show that the covering number of the family of $k$-sparse split sets with coefficients in $\{-1, 0, 1\}$ is upper bounded by $k-1$ for $k \leq 4$.
Infinite Cliques in Simple and Stable Graphs
Published in Model Th. 4 (2025) 231-249
• View Publication
• BIB
Suppose that $G$ is a graph of cardinality $μ^+$ with chromatic number $χ(G)\geq μ^+$. One possible reason that this could happen is if $G$ contains a clique of size $μ^+$. We prove that this is indeed the case when the edge relation is stable. When $G$ is a random graph (which is simple but not stable), this is not true. But still if in general the complete theory of $G$ is simple, $G$ must contain finite cliques of unbounded sizes.
Discrete Laplacians -- spherical and hyperbolic
Published in J. London Math. Soc. (2025)
• View Publication
• BIB
The discrete Laplacian on Euclidean triangulated surfaces is a well-established notion. We introduce discrete Laplacians on spherical and hyperbolic triangulated surfaces. On the one hand, our definitions are close to the Euclidean one in that the edge weights contain the cotangents of certain combinations of angles and are non-negative if and only if the triangulation is Delaunay. On the other hand, these discretizations are structure-preserving in several respects. We prove that the area of a convex polyhedron can be written in terms of the discrete spherical Laplacian of the support function, whose expression is the same as the area of a smooth convex body in terms of the usual spherical Laplacian. We show that the conformal factors of discrete conformal vector fields on a triangulated surface of curvature $k \in \{-1,1\}$ are $-2k$-eigenfunctions of our discrete Laplacians, exactly as in the smooth setting. The discrete conformality can be understood here both in the sense of the vertex scaling and in the sense of circle patterns. Finally, we connect the $-2k$-eigenfunctions to infinitesimal isometric deformations of a polyhedron inscribed into corresponding quadrics.
Vertex-critical graphs in co-gem-free graphs
Published
• View Publication
• BIB
A graph $G$ is $k$-vertex-critical if $χ(G)=k$ but $χ(G-v)<k$ for all $v\in V(G)$ and $(G,H)$-free if it contains no induced subgraph isomorphic to $G$ or $H$. We show that there are only finitely many $k$-vertex-critical (co-gem, $H$)-free graphs for all $k$ when $H$ is any graph of order $4$ by showing finiteness in the three remaining open cases, those are the cases when $H$ is $2P_2$, $K_3+P_1$, and $K_4$. For the first two cases we actually prove the stronger results:
$\bullet$ There are only finitely many $k$-vertex-critical (co-gem, paw$+P_1$)-free graphs for all $k$ and that only finitely many $k$-vertex-critical (co-gem, paw$+P_1$)-free graphs for all $k\ge 1$.
$\bullet$ There are only finitely many $k$-vertex-critical (co-gem, $P_5$, $P_3+cP_2$)-free graphs for all $k\ge 1$ and $c\ge 0$.
To prove the latter result, we employ a novel application of Sperner's Theorem on the number of antichains in a partially ordered set. Our result for $K_4$ uses exhaustive computer search and is proved by showing the stronger result that every $(\text{co-gem, }K_4)$-free graph is $4$-colourable. Our results imply the existence of simple polynomial-time certifying algorithms to decide the $k$-colourability of (co-gem, $H$)-free graphs for all $k$ and all $H$ of order $4$ by searching the vertex-critical graphs as induced subgraphs.
A note on semi-transitivity of Mycielski graphs
An orientation of a graph is semi-transitive if it contains no directed cycles and has no shortcuts. An undirected graph is semi-transitive if it can be oriented in a semi-transitive manner. The class of semi-transitive graphs includes several important graph classes. The Mycielski graph of an undirected graph is a larger graph constructed in a specific manner, which maintains the property of being triangle-free but increases the chromatic number.
In this note, we prove Hameed's conjecture, which states that the Mycielski graph of a graph $G$ is semi-transitive if and only if $G$ is a bipartite graph. Notably, our solution to the conjecture provides an alternative and shorter proof of the Hameed's result on a complete characterization of semi-transitive extended Mycielski graphs.
Some integer values in the spectra of burnt pancake graphs
Published
• View Publication
• BIB
The burnt pancake graph, denoted by $\mathbb{BP}_n$, is formed by connecting signed permutations via prefix reversals. Here, we discuss some spectral properties of $\mathbb{BP}_n$. More precisely, we prove that the adjacency spectrum of $\mathbb{BP}_n$ contains all integer values in the set $\{0, 1, \ldots, n\}\setminus\{\left\lfloor n/2 \right\rfloor\}$.
Cayley's formula from middle school math
Published
• View Publication
• BIB
The note contains a short elementary proof of Cayley's formula for labeled trees.
Sunflowers in set systems with small VC-dimension
Published
• View Publication
• BIB
A family of $r$ distinct sets $\{A_1,\ldots, A_r\}$ is an $r$-sunflower if for all $1 \leqslant i < j \leqslant r$ and $1 \leqslant i' < j' \leqslant r$, we have $A_i \cap A_j = A_{i'} \cap A_{j'}$. Erdős and Rado conjectured in 1960 that every family $\mathcal{H}$ of $\ell$-element sets of size at least $K(r)^\ell$ contains an $r$-sunflower, where $K(r)$ is some function that depends only on $r$. We prove that if $\mathcal{H}$ is a family of $\ell$-element sets of VC-dimension at most $d$ and $|\mathcal{H}| > (C r (\log d+\log^\ast \ell))^\ell$ for some absolute constant $C > 0$, then $\mathcal{H}$ contains an $r$-sunflower. This improves a recent result of Fox, Pach, and Suk. When $d=1$, we obtain a sharp bound, namely that $|\mathcal{H}| > (r-1)^\ell$ is sufficient. Along the way, we establish a strengthening of the Kahn-Kalai conjecture for set families of bounded VC-dimension, which is of independent interest.
Components, large and small, are as they should be I: supercritical percolation on regular graphs of growing degree
Published
• View Publication
• BIB
We provide sufficient conditions for a regular graph $G$ of growing degree $d$, guaranteeing a phase transition in its random subgraph $G_p$ similar to that of $G(n,p)$ when $p\cdot d\approx 1$. These conditions capture several well-studied graphs, such as (percolation on) the complete graph $K_n$, the binary hypercube $Q^d$, $d$-regular expanders, and random $d$-regular graphs. In particular, this serves as a unified proof for these (and other) cases.
Suppose that $G$ is a $d$-regular graph on $n$ vertices, with $d=ω(1)$. Let $ε>0$ be a small constant, and let $p=\frac{1+ε}{d}$. Let $y(ε)$ be the survival probability of a Galton-Watson tree with offspring distribution Po$(1+ε)$. We show that if $G$ satisfies a (very) mild edge expansion requirement, and if one has fairly good control on the expansion of small sets in $G$, then typically the percolated random subgraph $G_p$ contains a unique giant component of asymptotic order $y(ε)n$, and all the other components in $G_p$ are of order $O(\log n/ε^2)$.
We also show that this result is tight, in the sense that if one asks for a slightly weaker control on the expansion of small sets in $G$, then there are $d$-regular graphs $G$ on $n$ vertices, where typically the second largest component is of order $Ω(d\log (n/d))=ω(\log n)$.
This is the first of a two-part sequence of papers. In the subsequent work, we consider supercritical percolation on regular graphs of constant degree, and establish similar sufficient (and essentially tight) conditions in that setting.
Longest cycles in vertex-transitive and highly connected graphs
Published in Bulletin of the London Mathematical Society, 57(10):2975-2990, October 2025
• View Publication
• BIB
We present progress on three old conjectures about longest paths and cycles in graphs. The first pair of conjectures, due to Lovász from 1969 and Thomassen from 1978, respectively, states that all connected vertex-transitive graphs contain a Hamiltonian path, and that all sufficiently large such graphs even contain a Hamiltonian cycle. The third conjecture, due to Smith from 1984, states that for $r\ge 2$ in every $r$-connected graph any two longest cycles intersect in at least $r$ vertices. In this paper, we prove a new lemma about the intersection of longest cycles in a graph which can be used to improve the best known bounds towards all the aforementioned conjectures: First, we show that every connected vertex-transitive graph on $n\geq 3$ vertices contains a cycle (and hence path) of length at least $Ω(n^{13/21})$, improving on $Ω(n^{3/5})$ from [DeVos, \emph{arXiv:2302:04255}, 2023]. Second, we show that in every $r$-connected graph with $r\geq 2$, any two longest cycles meet in at least $Ω(r^{5/8})$ vertices, improving on $Ω(r^{3/5})$ from [Chen, Faudree and Gould, \emph{J. Combin. Theory, Ser.~ B}, 1998]. Our proof combines combinatorial arguments, computer-search and linear programming.
Deterministic approximate counting of colorings with fewer than $2Δ$ colors via absence of zeros
Published in TheoretiCS, Volume 5 (2026), Article 1, 1-41
• View Publication
• BIB
Let $Δ,q\geq 3$ be integers. We prove that there exists $η\geq 0.002$ such that if $q\geq (2-η)Δ$, then there exists an open set $\mathcal{U}\subset \mathbb{C}$ that contains the interval $[0,1]$ such that for each $w\in \mathcal{U}$ and any graph $G=(V,E)$ of maximum degree at most $Δ$, the partition function of the anti-ferromagnetic $q$-state Potts model evaluated at $w$ does not vanish. This provides a (modest) improvement on a result of Liu, Sinclair, and Srivastava, and breaks the $q=2Δ$-barrier for this problem.
As a direct consequence we obtain via Barvinok's interpolation method a deterministic polynomial time algorithm to approximate the number of proper $q$-colorings of graphs of maximum degree at most $Δ$, provided $q\geq (2-η)Δ$.
The Latin Tableau Conjecture
Published
• View Publication
• BIB
A Latin tableau of shape $λ$ and type $μ$ is a Young diagram of shape $λ$ in which each box contains a single positive integer, with no repeated integers in any row or column, and the $i$th most common integer appearing $μ_i$ times. Over twenty years ago, Chow et al., in their study of a generalization of Rota's basis conjecture that they called the wide partition conjecture, conjectured a necessary and sufficient condition for the existence of a Latin tableau of shape $λ$ and type $μ$. We report some computational evidence for this conjecture, and prove that the conjecture correctly characterizes, for any given $λ$, at least the first four parts of $μ$.