math.CO ↗ arXiv
7121 papers in this category
Neighbourhood complexity and identification problems for graphs of bounded treewidth and pathwidth
The neighbourhood complexity $nc(G,k)$ of a graph $G$ is a quantity measuring, for a graph $G$ and an integer $k$, the maximum possible number (over all vertex subsets $S$ of size $k$) $|\{N[v]\cap S, v\in V(G)\}|$ of $S$-neighbourhoods in $G$. This notion is important in structural graph theory and algorithm design (especially in parameterized complexity, in particular model checking and kernelization).
While generally $nc(G,k)\leq 2^k$ and this bound can be achieved, it is known that sparse graphs and structured dense graphs have linear neighbourhood complexity, that is, $nc(G,k)\in O(k)$ for any such graph $G$. However, for many graph classes, the best possible constants are not known. We focus on graphs of bounded treewidth and pathwidth, showing that (when $k\geq w+1$) (i) if $G$ has treewidth $w\geq 2$, then $nc(G,k)\leq (k-w+1)2^{w}+w$, and (ii) if $G$ has pathwidth $w\geq 2$, then $nc(G,k)\leq (k-w+2)2^{w-1}+2k-w-2$. Moreover, we provide constructions that reach these bounds, whenever $w\geq 2$ and $k\geq 2w+1$ ($k\geq 2w-1$ for pathwidth).
Interestingly, in contrast, we also have the tight bound $nc(G,k)\leq \frac{7}{3}k$, for graphs $G$ with pathwidth 1 or treewidth 1.
Decoding Desarguesian spread codes beyond half minimum distance
Spread codes are a well-known family of constant-dimension subspace-metric codes. For constant dimension $k$ and ambient space dimension $n$ being a multiple of $k$, these codes have minimum distance $2k$ and a rich geometric structure. In this paper, we study the decoding capabilities of the Nearest Neighbor Decoder for Desarguesian spread codes, establishing that unique decoding is still achievable beyond half the minimum distance. Motivated by this, we develop a new decoding algorithm to uniquely decode Desarguesian spread codes in the presence of both insertions and deletions, which increase and decrease, respectively, the dimension of the transmitted codeword. Even when the sum of the dimensions of insertions and deletions exceeds half the minimum distance, provided that deletions are of dimension at most $k-2$, the algorithm succeeds with a small decoding failure. We also propose two refinements to this algorithm that, empirically, can handle nearly as many insertions as the Nearest Neighbor Decoder.
Uniform Sobolev inequalities on geometric graphs
There is significant interest in the study of calculus on graphs, especially regarding the use of gradient-based methods for applications in data driven problems such as classification, clustering and regularisation for inverse problems. Geometric graphs, whose vertices are take from from a Euclidean domain and whose edge structure is determined by the distance between the nodes in the domain, have been central in theoretical studies. Typical approaches for analysis, such as studying consistency and the existence of continuum limits, rely on $Γ$-convergence. This technique has some limitations, as it requires the typical length scale which determines the connectivity structure of the graph to be much larger than the scales frequently used for applications. Moreover, it may fail to provide quantitative results. This paper provides necessary and sufficient conditions on the asymptotic behaviour of this length scale for the existence of a uniform collection of Sobolev inequalities on a sequence of geometric graphs. Furthermore, these inequalities hold when the length scales are much smaller than what is typically assumed for $Γ$-convergence results and within the range of what is used for data-driven problems. The Sobolev inequalities provide a quantitative estimate on the $L^q$-regularisation effect of discrete gradients.
Variations on a circular Hessenberg pair
A square matrix is called Hessenberg whenever each entry below the subdiagonal is zero and each entry on the subdiagonal is nonzero. A Hessenberg pair is an ordered pair of diagonalizable linear maps on a nonzero finite-dimensional vector space, that each act on an eigenbasis of the other one in a Hessenberg fashion. A Hessenberg system $Φ$ an `oriented' version of a Hessenberg pair. It is known that $Φ$ is determined up to isomorphism by its parameter array; this consists of the eigenvalue sequence of $Φ$, the dual eigenvalue sequence of $Φ$, and a sequence of nonzero scalars $\{φ_i\}_{i=1}^d$ called the split sequence of $Φ$. We are interested in some types of Hessenberg matrices, said to be circular, quasi-circular, tridiagonal, and irreducible tridiagonal. We are interested in the families of Hessenberg systems for which the associated Hessenberg matrices have one of the above types. A Hessenberg system of irreducible tridiagonal type is often called a Leonard system. In this case the associated Hessenberg pair
satisfies two relations, called the tridiagonal relations. We are interested in the family of Hessenberg systems for which the associated Hessenberg pair satisfies the tridiagonal relations. We are also interested in the family of Hessenberg systems for which the eigenvalue sequence and dual eigenvalue sequence
satisfy a linear three-term recurrence. In the present paper we have two main goals. First, we show how the above families of Hessenberg systems are related to each other. Second, we describe each family in terms of the parameter array.
Bounded VC-dimension implies the Erdős--Rado sunflower conjecture
The Erdős--Rado sunflower conjecture asserts that, for every fixed integer $r\ge 3$, there is a constant $K(r)$ such that every $\ell$-uniform family with more than $K(r)^{\ell}$ members contains an $r$-sunflower. We prove this conjecture for families of bounded VC-dimension.
Nonnegative Bakry--Émery Curvature on Bounded-Degree Graphs Implies Volume Doubling and Poincaré Inequalities
We prove that every connected simple graph of bounded degree satisfying the classical dimension-free Bakry--Émery condition $\mathrm{CD}(0,\infty)$ for the unnormalised Laplacian is volume doubling and supports, at all integer graph scales, a scale-invariant $L^2$-Poincaré inequality with dilation two, with constants depending only on the maximum degree. This settles the polynomial-growth conjecture of Cushing, Liu, and Peyerimhoff in a stronger form. The main novelty is a dimension-free adaptation of the graph-theoretic modified nonlinear heat-flow method introduced by Münch and extended to infinite weighted graphs by Pajot and Russ: point-mass consequences of $Γ_2\geq0$ and positive-resolvent smoothing replace any global $\mathrm{CD}(0,n)$ reduction, while diffusive exit-time control and finite-volume localisation yield the Poincaré inequality.
Alternative Entropy Bounds for Perfect Matchings in Bipartite Graphs
We refine Radhakrishnan's entropy proof of the Brégman-Minc bound by introducing a terminal-set framework in which selected vertices are revealed last. This gives new degree-sensitive upper bounds for the number of perfect matchings in bipartite graphs and an explicit formula for single-vertex terminal sets. The bounds recover the standard Brégman equality family and improve the estimate for certain nonuniform degree sequences. We also obtain a $C_4$-free refinement complementary to the edge-count bound of Araujo, Balogh and Wang.
On the CGGRT Criterion for Detecting Bipartite Perfect Matchings in NC
The recent breakthrough work of Chatterjee, Ghosh, Gurjar, Raj and Thierauf [CGGRT26] gives the first deterministic NC algorithm for the bipartite matching problem. They show how to detect as well as find perfect matchings in bipartite graphs in NC. In this note we present an arguably simpler-to-state variation of the NC detection criterion of [CGGRT26], with improved parameters.
On Generalized von Neumann Inverse Graphs of Finite Commutative Regular Rings
Let $R$ be a ring with identity. The generalized von Neumann inverse graph of $R$, denoted by $Γ_{Reg}(R)$, is defined as the graph whose vertex set is $Reg(R)$, where two distinct vertices $a,b \in R$ are adjacent if and only if $aba=a$ or $bab=b$. In this work, we consider the reduced graph $Γ'_{Reg}(R)$ obtained by restricting the vertex set to $Reg(R)\setminus{0_R}$, so that $Γ_{Reg}(R) \cong K_1 + Γ'_{Reg}(R)$, allowing the analysis to focus on its nontrivial structure. We investigate the structure of $Γ'_{Reg}(R)$ for finite commutative von Neumann regular rings and establish several results describing its graph-theoretic properties in relation to the algebraic structure of $R$. In particular, we derive conditions that characterize connectivity, acyclicity, and planarity, and examine structural features such as vertex degrees, girth, and the existence of pendant vertices, along with their algebraic implications. We also identify circumstances under which $Γ'_{Reg}(R)$ exhibits specific graph classes, including paths, cycles, and wheels, as well as the presence of certain induced subgraphs. Furthermore, an explicit algorithm is provided to construct $Γ'_{Reg}(R)$, and connections with the inclusion ideal graph of $R$ are discussed, offering additional insight into the interplay between ring-theoretic properties and graph structures.
Edge complexity of graphs
Gupta and Iosevich introduced the edge complexity of a graph as the minimum Fourier ratio of its adjacency matrix over all vertex labelings and bounded it below by graph energy divided by the square root of twice the number of edges. We characterize equality for a fixed labeling: the Fourier transform of the adjacency matrix must have at most one nonzero entry in each row and column. This implies regularity, circulancy of every positive even power of an extremizing adjacency matrix, and a parity restriction on connected components, and it gives equality results for certain Laplacian spectral projectors. We construct equality cases from affine involutions on cyclic groups. Singer difference sets yield, for every prime power $q$, an equality-attaining $(q+1)$-regular graph that is not an abelian Cayley graph. We also establish Fourier-ratio estimates for weak, Cartesian, and strong graph products, including preservation of equality under weak products of coprime orders. We use Fourier-ratio recovery as a coding theorem to obtain entropy upper bounds for low-complexity adjacency matrices and complement them with a lower bound obtained by perturbing complete graphs. Finally, a concentration argument shows that if $Np_N/\log N\to\infty$ and $\limsup_{N\to\infty}p_N<1$, then $\operatorname{FR}_{\min}(G(N,p_N))$ is of order $N$ with probability tending to one.
A 3-semi-perfect 1-factorization of the six-dimensional hypercube
For a 1-factorization $F=\{M_1,\ldots,M_d\}$ of the hypercube $Q_d$, let $G[F]$ have vertex set $F$, with $M_iM_j$ an edge exactly when $M_i\cup M_j$ is a Hamilton cycle. Behague proved that $Q_{k+\ell}$ has a 1-factorization $F$ with $G[F]\cong K_{k,\ell}$ for all positive $k,\ell$ except possibly $k=\ell=3$. We give an explicit 1-factorization of $Q_6$ for which $G[F]\cong K_{3,3}$, resolving the exceptional case. The construction is supplied as a finite certificate. Its correctness can be checked directly from the tables in the paper or by either of two independent, short, standard-library verifiers supplied with the certificate.
Classes of phylogenetic networks that are robust to root placement
Standard phylogenetic reconstruction techniques often yield unrooted phylogenetic networks; these are subsequently rooted to infer evolutionary history. A common problem in this process is to determine the structural classes to which the resulting network will belong. In this paper, we investigate unrooted networks in which the choice of any root results in a valid rooted phylogenetic network, a property we define as {\em robustly orientable}. We then establish a strict structural condition for this class, specifically, that an unrooted network is robustly orientable if and only if it contains no sink components. We also show that if an unrooted network is level-$2$ or less, or if it is tree-based, then it is robustly orientable. Furthermore, we define an unrooted network to be {\em robustly class $\mathcal C$} if the choice of any root results in a network belonging to class $\mathcal C$. We demonstrate that an unrooted network is robustly tree-child or robustly stack-free if and only if it is level-$1$ or less. Finally, we show that a phylogenetic network is robustly normal if and only if it is a phylogenetic tree.
Both directions of Fuglede's conjecture fail in dimension two
Fuglede's conjecture asserts that a measurable set of positive and finite measure is spectral if and only if it tiles Euclidean space by translations. Counterexamples are known in every dimension $d\ge3$, whereas the one- and two-dimensional cases have remained unresolved. We construct two explicit $60$-point subsets of the rank-two finite Abelian group $\Z_{60}\times\Z_{12}$: one is a translational tile with no spectrum, and the other is spectral but does not tile. A finite-to-infinite transference principle lifts them to bounded subsets of $\R^2$ that are finite unions of unit squares. Consequently, both implications in Fuglede's conjecture fail in dimension two.
Perfect matching in 4-partite 4-uniform hypergraphs
A balanced $k$-partite $k$-graph is a $k$-uniform hypergraph such that every edge intersects each partition class in exactly one vertex, where each partition class has size $n$. Lo and Markström (2014) determined the minimum vertex-degree threshold for perfect matchings in balanced \(3\)-partite \(3\)-graphs. In this paper, we determine the minimum vertex-degree threshold for balanced \(4\)-partite \(4\)-graphs. The proof relies on a reduction framework for \(k\)-partite \(k\)-graphs, through which the existence of a perfect fractional matching is converted into a finite-dimensional optimization problem.
The Combinatorics of Affine Deodhar Diagrams
Deodhar diagrams give a combinatorial way to compute point counts of open positroid varieties over finite fields. We introduce affine Deodhar diagrams, which extend this construction to affine patches of open positroid varieties. These diagrams are indexed by a bounded affine permutation together with a lattice path, and this extra flexibility makes them especially useful for recursive bijections.
Motivated by connections with Dyck paths, open positroid varieties, and their cluster structure, we construct bijections between several classes of affine Deograms. These bijections give combinatorial proofs of point-count identities that were previously known from geometric isomorphisms.
Cremona invariance of filtered Varchenko--Gelfand algebras
We prove that the filtered Varchenko--Gelfand algebra is invariant under a natural Cremona operation on a class of real hyperplane arrangements. Namely, suppose that an arrangement contains all coordinate hyperplanes and that every remaining defining form is supported on two coordinates. Swapping the two coefficients in each such form produces its Cremona transform. Coordinatewise inversion gives a chamber bijection and an isomorphism of the corresponding filtered Varchenko--Gelfand algebras over every commutative coefficient ring. As an application, we exhibit two arrangements of eight central planes in $\mathbb{R}^3$ with isomorphic filtered Varchenko--Gelfand algebras but non-isomorphic tope graphs. This disproves a conjecture of Yagi--Yoshinaga on reconstructing tope graphs from filtered Varchenko--Gelfand algebras.
Asymptotic normality of the giant component size in a random bipartite graph
This paper studies the giant component of the sparse random bipartite graph $G(n, n, p)$, where $p = c/n$ for a fixed constant $c > 1$. We prove that its size is asymptotically normal.
On the distances between the core center and other central parts of a tree
Let $T$ be a tree. For a vertex $v\in V(T)$, the eccentric subtree number $ε_T(v)$ is defined as $ε_T(v)=\min\{f_T(v,u): u\in V(T)\}$ where $f_T(v,u)$ denotes the number of subtrees of $T$ containing both $v$ and $u$. A core vertex of $T$ is a vertex with the maximum eccentric subtree number, and the set of all the core vertices of $T$ is called the core center of $T$. The core center of $T$ consists of either a single vertex or two adjacent vertices. There are other central concepts in a tree, such as the center, centroid, subtree core, and characteristic center, and these may all be different.
By $d_T(C, \mathfrak{C})$, $d_T(C_d, \mathfrak{C})$ and $d_T(S_c, \mathfrak{C})$ we mean the distance between center and core center, distance between centroid and core center and distance between subtree core and core center in $T$, respectively. We show that for any tree $T$ on $n\geq 6$ vertices,
(i)]$d_T(C,\mathfrak{C})\leq \lfloor \frac{n-g_0-4}{2} \rfloor$;
(ii)]$d_T(C_d,\mathfrak{C})\leq \lfloor \frac{n-5}{2} \rfloor$;
(iii)] $d_T(S_c,\mathfrak{C})\leq\left\{ \begin{array}{ll}
1, &\text{if $n=7$,}
n-g_0-3, &\text{if $n\neq 7$;}\\ \end{array} \right.$
where $g_0\geq 2$ be the smallest positive integer such that $2^{g_0-1}+g_0\geq n-3$. Moreover, we show that these bounds are best possible by obtaining a tree which attains these bounds. We also obtain a tree which maximizes the distance between characteristic center and core center over all trees on $n\geq 6$ vertices. The asymptotic behaviour of all these distances are also studied.
Counting in logarithmic space
We study the class $\#\mathsf{L}$ of functions counting accepting paths of non-deterministic log-space Turing machines and construct methods to prove containment in $\#\mathsf{L}$. We prove that a large number of classical combinatorial and number theoretic functions belong to this class: classical functions from enumerative combinatorics (multinomial coefficients, Catalan numbers, linear extensions of trees, Stirling numbers, etc), algebraic combinatorics (number of standard Young tableaux, etc), discrete geometry, number theoretic functions, representation theoretic multiplicities in a large class of cases. We show that $\mathrm{GL}_2$-plethysm coefficients of bounded length outer partition can be counted by log$^2$-space polytime verifiers. We pose numerous questions and conjectures on $\#\mathsf{L}$ containment and its generalizations, that suggest venues for conditionally disproving $\#\mathsf{P}$-completeness. While studying which combinatorial functions are in $\#\mathsf{P}$ provides a formal way of (dis)proving the existence of combinatorial interpretations, the lower class $\#\mathsf{L}$ serves as an analogue for functions computable in polynomial time.
Ehrhart $h^*$-distributions
Every polynomial with real non-negative coefficients yields a finite probability distribution after normalization. The Ehrhart $h^*$-polynomial of a lattice polytope $P$ is a non-negative integer polynomial that encodes the integer-point counts for positive integer dilations of $P$. We study the corresponding finite distributions, which we call $h^*$-distributions. We determine the mean and variance of these distributions, establish a connection between higher moments and Ehrhart polynomial coefficients, and study their cluster points in the $d$-dimensional probability simplex. We consider the special case of real-rooted $h^*$-distributions, applying existing tail bounds to obtain new linear inequalities for the coefficients of real-rooted $h^*$-polynomials arising from reflexive polytopes. We conclude by establishing sufficient conditions under which a sequence of real-rooted $h^*$-distributions is asymptotically normal, and we apply our results to various families of polytopes, including zonotopes and Pitman-Stanley polytopes.