Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Hamilton cycles in generalized dihedral Cayley graphs and digraphs
We prove that every connected Cayley digraph on a generalized dihedral group of order at least $4$ has a directed Hamilton cycle. In particular, this confirms a conjecture of Holsztyński and Strube from 1978 for dihedral groups. The key new ingredient is a three-fold sumset covering theorem for the terminal coordinates of Hamilton paths in cubic Haar graphs over abelian groups of odd order, with connection sets minimal subject to connectivity.
The scaling limit of fair Peano paths
We study random Peano paths on planar square grids that arise from fair random spanning trees. These are trees that are sampled in such a way as to have the same (if possible) edge probabilities. In particular, we are interested in identifying the scaling limit as the mesh-size of the grid tends to zero. It is known \cite{lawler-schramm-werner2002} that if the trees are sampled uniformly, then the scaling limit exists and equals ${\rm SLE}_8$. We show that if we simply follow the same steps as in \cite{lawler-schramm-werner2002}, then fair Peano paths have a deterministic scaling limit.
Twice-Marked Banana Graphs & Brill-Noether Generality
Published
• View Publication
• BIB
We analyze a family of graphs known as banana graphs, with two marked vertices, through the lens of Hurwitz-Brill-Noether theory. As an application, we construct explicit new examples of finite graphs which are Brill-Noether general. These are the first such examples since the analysis of chains of loops by Cools, Draisma, Payne and Robeva. The graphs constructed are chains of loops and "theta graphs," which are banana graphs of genus 2. We also demonstrate that almost all banana graphs of genus at least 3 cannot be used for this purpose, due either to failure of a submodularity condition or to the presence of far too many inversions, in certain permutations associated to divisors called transmission permutations.
Some multidimensional Rogers--Ramanujan type identities
With the help of the contour integral method, we derive a parametric reduction formula that transforms a double series into a single series. This formula recovers two results of Uncu and Zudilin as well as two results of Cao and Wang, and it is also connected with an identity due to Berkovich and Warnaar. In addition, we obtain several triple-sum generalizations of Cao and Wang's formulas. As applications, we present a number of multidimensional Rogers--Ramanujan type identities, both with and without parameters.
Martin boundary of the jump graph on subgraphs of the Young--Fibonacci graph
For the jump graph on the subgraph of the Young--Fibonacci graph formed by words with at most $K$ twos, formulas for the number of paths between vertices are obtained and the Martin boundary of the path space is described.
Non-adaptive Bellman-Ford: Yen's improvement is optimal
The Bellman-Ford algorithm for single-source shortest paths repeatedly updates tentative distances in an operation called {relaxing an edge}. In several important applications a {non-adaptive} (oblivious) implementation is preferred, which means fixing the entire sequence of relaxations upfront, independently of the edge-weights. The original implementation of the algorithm performs, in a dense graph on $n$ vertices, $(1+o(1))n^3 $ relaxations. An improvement by Yen from 1970 reduces the number of relaxations by a factor of two. We show that no further constant-factor improvements are possible, and every {non-adaptive deterministic} algorithm based on relaxations must perform $(\frac{1}{2} - o(1))n^3$ steps. This improves an earlier lower bound of Eppstein of $(\frac{1}{6} - o(1))n^3$. Given that a {non-adaptive randomized} variant of Bellman-Ford with at most $(\frac{1}{3} + o(1))n^3$ relaxations (with high probability) is known, our result implies a strict separation between deterministic and randomized strategies, answering an open question of Eppstein.
We also address the complexity of finding {short} relaxation sequences for a given input graph on $n$ vertices, answering a question of Eppstein. We show that the problem is co-NP-hard, and moreover essentially inapproximable: While an $n$-approximation is easily obtained, for every $ε> 0$, no polynomial-time $n^{1-ε}$-approximation exists, unless P = NP. We further show that {deciding} whether a given relaxation sequence is valid is co-NP-complete, even when the input is the complete graph.
The Martin boundary of the $r$-differential version of the Young--Fibonacci graph
For the $r$-differential version of the Young--Fibonacci graph, formulas for the number of paths between vertices are obtained; the Martin boundary of the path space is described; and the ergodicity of the corresponding measures is proved.
Type II success runs of Bernoulli trials separated by a gap
We treat success runs of independent identically distributed Bernoulli trials (with success parameter $p$) distributed according to the Type II binomial distribution of order $k$. However, the success runs are separated by a gap $g\ge1$ (a failure followed by $g-1$ arbitrary outcomes). Most of the literature treats the case $g=1$ only. Our main results are expressions for the probability mass function (we present two derivations) and the distribution of the longest success run. We also present more concise expressions for previously published results for the factorial moments. We present results for the mean, variance, probability mass function and factorial moments for $\textrm{NB}_{\rm II}(k,g,r)$, the Type II negative binomial distribution of order $k$, where the number of success runs $r$ is fixed and the number of trials $n$ is variable. Let $L$ denote the length of the longest success run. We present a recurrence and generating function for the distribution of $L$ and derive expressions for the mean, variance and factorial moments of $L$.
Interaction between skew-representability, tensor products, extension properties, and rank inequalities
Skew-representable matroids form a fundamental class in matroid theory, bridging combinatorics and linear algebra. They play an important role in areas such as coding theory, optimization, and combinatorial geometry, where linear structure is crucial for both theoretical insights and algorithmic applications. Since skew-representability is undecidable even for rank-3 matroids, structural characterizations and explicit certificates of non-skew-representability are particularly interesting.
In this paper, we introduce an approach to studying skew-representability and structural properties of matroids and polymatroid functions via tensor products. We characterize skew-representable matroids, as well as matroids representable over skew fields of a prescribed characteristic, in terms of iterated tensor products. In particular, a connected matroid is non-skew-representable if and only if, for some positive integer $k$, no $k$-fold iterated tensor product with $U_{2,3}$ exists. Thus, non-skew-representability admits a finite, computably verifiable matroid-theoretic obstruction; an analogous statement holds when the characteristic is prescribed. We also prove that every rank-3 matroid admits a tensor product with every uniform matroid and give a construction yielding the unique freest tensor product in this setting. Finally, as an application of the tensor product framework, we give a new proof of Ingleton's inequality and, more importantly, derive the first known linear rank inequality for folded skew-representable matroids that does not follow from the common information property.
Asymptotic normality of embedding distributions of some families of graphs
Computing the embedding distribution of a given graph is a fundamental question in topological graph theory. In this article, we extend our viewpoint to a sequence of graphs and consider their asymptotic embedding distributions, which are often the normal distribution. We establish the asymptotic normality of several families of graphs by using tools from analytic combinatorics and probability theory. We expect that these tools can be used on other families of graphs to establish the asymptotic normality of their embedding distributions. Several open questions and conjectures are also raised in our investigation.
On the $l_\infty$-analog of Algebraic Connectivity
The algebraic connectivity of a graph, defined as the second smallest eigenvalue of its Laplacian matrix, admits a well-known variational characterization involving the $\ell_2$-norm. Motivated by the recent introduction of its $\ell_\infty$-analog by Andrade and Dahl, we investigate the graph parameter $γ(G)$, obtained by replacing the $\ell_2$-norm with the $\ell_\infty$-norm in the corresponding optimization problem. We establish a simple and explicit combinatorial formula expressing $γ(G)$ as the ratio of the order of the graph to its maximum transmission, thereby providing a direct graph-theoretic interpretation of the parameter. We prove that $γ(G)$ characterizes graph connectivity and completely characterize all $\ell_\infty$-Fiedler vectors as the vectors \[ \left\{\pm\left(1-γ(G)d(u,\cdot)\right):u\in \mathcal{M}(G) \right\}, \] where $\mathcal{M}(G)$ denotes the set of vertices of maximum transmission. We also establish a product formula for $γ(G)$ under Cartesian products, yielding explicit expressions for hypercubes, Hamming graphs, and torus grid graphs. Furthermore, we establish comparisons involving $γ(G)$, the distance spectral radius, the $\ell_1$-smoothing parameter, and the algebraic connectivity, and investigate equality in these bounds. For connected non-complete strongly regular graphs, equality in our algebraic-connectivity bound holds precisely when the least adjacency eigenvalue is $-2$. Finally, we extend the transmission formula and the characterization of optimal vectors to weighted graphs.
First-order transducibility among classes of sparse graphs
We prove several negative results about first-order transducibility for classes of sparse graphs:
- for every $t \in \mathbb{N}$, the class of graphs of treewidth at most $t+1$ is not transducible from the class of graphs of treewidth at most $t$;
- for every $t \in \mathbb{N}$, the class of graphs with Hadwiger number at most $t+2$ is not transducible from the class of graphs with Hadwiger number at most $t$; and
- the class of graphs of treewidth at most $4$ is not transducible from the class of planar graphs.
These results are obtained by combining the known upper and lower bounds on the weak coloring numbers of the considered graph classes with the following two new observations:
- If a weakly sparse graph class $\mathscr D$ is transducible from a class $\mathscr C$ of bounded expansion, then for some $k \in \mathbb{N}$, every graph $G \in \mathscr D$ is a $k$-congested depth-$k$ minor of a graph $H^\circ$ obtained from some $H\in \mathscr C$ by adding a universal vertex.
- The operations of adding a universal vertex and of taking $k$-congested depth-$k$ minors, for a fixed $k$, preserve the degree of the distance-$d$ weak coloring number of a graph class, understood as a polynomial in $d$.
Well-quasi-orders on finite trees and transfinite sequences
Published
• View Publication
• BIB
We study the well-quasi-order (wqo) consisting of the set of finite trees with leaf labels coming from an arbitrary wqo $Q$, ordered by tree homomorphisms which respect the order on the labels. This is a variant of the usual Kruskal tree ordering without infima preservation. We calculate the precise maximal order types of this class of wqos as a function of the maximal order type of the labels $Q$. In the process, we sharpen some recent results of Friedman and Weiermann. Furthermore, we show a correspondence with indecomposable transfinite sequences with finite range, over elements of the wqo $Q$, of length less than $ω^ω$. Nash-Williams proved that arbitrary transfinite sequences with finite range are also well-quasi-ordered, but there are no known methods to extract bounds on the maximal order type from the proof. More concrete proofs for sequences of length less than $α$ for some $α< ω^ω$ were given by Erdős and Rado. Using the correspondence, we obtain precise bounds for the entire collection of transfinite sequences with finite range of length less than $ω^ω$.
Quantum codes in the Lee metric
We introduce a quantum coding framework for discrete small-shift noise, in which errors on qudits are modeled as low-weight $X$- and $Z$-type Pauli shifts, analogous to small phase-space displacements in continuous-variable systems. This structure is approximately respected by nuclear-spin noise and captured by the Lee metric, motivating a quantum extension of classical Lee-metric coding theory. We develop such a formalism for stabilizer codes over $\mathbb{Z}_q$ for arbitrary $q$, using joint and separate Lee metrics for the $X$- and $Z$-components of errors. For qubits, the joint metric counts $Y$ errors twice and can yield codes that detect and correct $X$ and $Z$ errors with fewer physical qubits than codes designed for the conventional Hamming metric. We discuss Lee-weight spreading under Clifford gates and qubitize codes over $\mathbb{Z}_4$ via the Gray map, finding codes with two-fold transversal non-qubit-Clifford gates. For quantum CSS Lee-LDPC codes on $n$ qudits, we prove that the Lee distance cannot exceed $O(n)$, uniformly in $q$, demonstrating an unexpected obstruction to using the large internal Hilbert space of a large-$q$ qudit to make high-Lee-distance codes. Under local Metropolis dynamics, certain classical $q$-ary ``helical repetition codes'' have exponentially long memory times at fixed temperature for sufficiently large $q$ (that grows with system length), which can be understood as spontaneous symmetry breaking at finite temperature, even in local one-dimensional models. Hypergraph products of these helical repetition codes provide local two-dimensional quantum codes that inherit self-correction for $Z$ errors, but self-correction for $X$ errors remains an open question.
The edge spectral extremal problem for $kK_3$ in nonzero residue classes
For a fixed integer $k\ge 2$, let $kK_3$ denote the vertex-disjoint union of $k$ triangles. A recent fixed-size spectral theorem of Das and Yamini asserts that, for all sufficiently large $m$, every $kK_3$-free graph $G$ of size $m$ satisfies $λ(G)\le (k-1)+\sqrt{m-k(k-1)},$ and equality holds if and only if $(2k-1)\mid m$ and $ G\cong \bigl(K_{2k-1}\vee qK_1\bigr)\cup tK_1,\, q=\frac{m}{2k-1}-(k-1) $ for some $t\ge 0$. They explicitly posed the open problem: Let $k\ge 2$ be fixed and $\ell$ be a residue in $\{1,\dots,2k-2\}$. For all sufficiently large integers $m\equiv \ell\pmod{2k-1}$, determine the exact value of $\max\bigl\{λ(G): e(G)=m,\ G\text{ is }kK_3\text{-free}\bigr\}, $ and characterize all graphs attaining this maximum. In this paper, using the positive-defect version of the bounded-core method for divisible sizes together with several new ideas developed in this paper, we give a complete solution to the aforementioned open problem.
Sparse Moore-local realisations of binary irreducible polynomials on near-square lattice regions
For every $N\ge36$, we realise any prescribed monic irreducible binary polynomial of degree $N$ as the characteristic polynomial of a linear hybrid cellular automaton on a near-square region of exactly $N$ cells. The transition matrix is Moore-local with a null boundary and has at most $3N-1$ directed nonself dependencies. The dependency graph retains a bidirectional Hamilton path; its indegree, outdegree and underlying undirected degree are at most six. The underlying graph contains an explicit square grid minor of side proportional to $\sqrt N$. The deterministic synthesis takes $O(N^3)$ bit operations. The construction combines a local similarity transformation with a transport potential and joint routing across consecutive row gaps. Exact verification of finite certificates, followed by induction, proves the required routing inequalities for every admissible width. We also give an entirely analytic construction with fewer than $7N/2$ dependencies and prove a lower bound of $5N/2-O(\sqrt N)$ for the retained path and full rectangular grid minor. This lower bound is sharp when the characteristic polynomial is unrestricted.
Prime factorisation of stable-matching instances: uniqueness, simultaneous products, and an exact census
Every balanced instance of the stable marriage problem with strict complete preferences has a unique finest partition into prime blocks, and that single partition simultaneously factors three different structures: the reachable execution digraph as a Cartesian product, the proposal-prefix antimatroid as a direct sum, and the stable-matching lattice as a direct product. The converse fails, and fails at every size from two on: two explicit families share the identical Boolean-cube execution while one is maximally decomposable with a single stable matching and the other is prime with n. Uniqueness yields an exact census, a recursion counting the prime instances at every size, under which exactly 88,478,208 of the 110,075,314,176 profiles with four agents on each side are decomposable and the decomposable fraction is asymptotically n! / n^(2n). The blocks are characterised as the square components of the mutual-rank filtration, so the partition is computable in polynomial time and the factorisation is a tool rather than only a fact.
Positively Lin-Lu-Yau curved graphs with no $K_{2,t}$ minor
Let $G$ be a connected graph with minimum degree at least two, positive Lin-Lu-Yau Ricci curvature, and no $K_{2,t}$ minor, where $t\ge 3$ is an integer. We first establish tight upper bounds on the maximum degree of $G$ by showing that $Δ(G)\le 2t+3$ for $t=4$, $Δ(G)\le 2t+4$ for $t\in\{5,6\}$, and $Δ(G)\le 2t+2$ for all $t\ge7$. We then prove that $G$ has at most $10$ vertices for $t=3$, and at most $(t+1)\left(Δ(G)^2(Δ(G)-1)/2+1\right)$ vertices for all $t\ge 4$.
Nests and nest accessories
The theory of finite translation planes is intimately tied to the theory of spreads of PG(3,q), where a spread is a partition of PG(3,q) into $q^2+1$ pairwise disjoint lines. A traditional method of generating spreads begins with the regular spread and identifies sets of lines therein that can be replaced with other lines to create a new spread, such as reguli, Bruen chains, and nests. This work provides computational algorithms to enumerate all possible replaceable sets consisting of reguli, chains and nests in the regular spreads of PG(3,q) for $q \le 11$. Additional results include a refinement to Baker and Ebert's (q-1)-nests which expands that infinite family, and counterexamples to the long-standing conjecture that a t-nest of reguli in PG(3,q) must be replaceable if $t \le q$.
The Infectious Vaccination Problem: a variant of Firefighting with Spreading Defence
The Firefighter Problem models a spreading process (originally a fire, alternatively an infection or rumour, for example) on a graph. A defender saves a single vertex per turn; after each defence, the fire spreads to the unburned and undefended neighbours of all burning vertices. Deciding whether a strategy exists for the defender to protect some targeted number of vertices is computationally hard in graphs in general, but tractable in some restricted cases.
Inspired by research into spreadable rabies vaccines for bats, we study a variant of the Firefighter problem in which defence also spreads. Some approximation results are already known for this problem; we provide algorithmic and hardness results, as well as containment results for the infinite $n$-dimensional Cartesian and strong grid graphs.