graph
35150 papers tagged with this keyword
On how many Fibonacci words is the Plancherel measure concentrated
On the set $\mathbb{YF}_n$ of words in $1$ and $2$ with digit sum $n$, we consider the probability distribution $μ_P$, corresponding to the Plancherel measure on paths in the Young--Fibonacci graph. We study the asymptotics as $n$ grows of the entropy of the distribution $μ_P$ and of the minimum number of words on which $μ_P$ is almost entirely concentrated.
Deciding lettericity is NP-complete, even for four-colorable comparability graphs
We prove that deciding whether a graph has lettericity at most k is NP-complete, even for four-colorable comparability graphs. Our reduction maps a bipartite graph G to the graph obtained from its incidence graph by inflating each vertex by a clique or an independent set of three vertices. The lettericity of this graph is determined by the numbers of vertices and edges of G and the greatest number of edge-disjoint paths on four vertices in G. Teypaz and Rapine showed that deciding whether the edges of a bipartite graph can be partitioned into paths on four vertices is NP-complete.
Explicit Nonlinear Functions beyond the Fourier bound
We study the problem of constructing highly nonlinear vectorial maps $F: \mathbb F_2^n \to \mathbb F_2^m$. Concretely, we want an $F$ and an $A = A(m,n)> 0$ as small as possible, so that for every affine map $L: \mathbb F_2^n \to \mathbb F_2^m$ (of the form $L(x) = M x + b $) we have:
$$\mathrm{agree}(F, L) := |\{ x \in \mathbb F_2^n \mid F(x) = L(x) \}| \leq A.$$
Such questions have been studied by Nyberg (1991,1993), Carlet and Ding (2004,2007), Liu, Mesnager and Chen (2017), Nagy (2025), and Biryukov, Turecek, and Udovenko (2026).
There is a classical method of constructing such functions from bent-functions and Fourier analytic ideas; the best bound achievable by this method is: $$ A(m,n) = Θ(2^{n-m} + 2^{n/2}),$$
and in particular, is never smaller than $2^{n/2}$.
In this work, we show how to construct highly nonlinear functions beyond this Fourier bound. Concretely, we show how to construct for every $γ>0$, a function $F: \mathbb F_2^n \to \mathbb F_2^m$ with $m = O_γ(n)$, achieving $$ A(m,n) \leq (1 + γ)^n.$$
Surprisingly, we even achieve the same quantitative behavior for the much harder question of having low agreement with $m$-tuples of degree $d$ polynomials $Q: \mathbb F_2^n \to \mathbb F_2^m$, with $m = O_{γ, d}(n)$. Here the previously best bounds were of the form $A(m,n) = O( 2^{-\frac{n}{2^{d+1}}} \cdot 2^n )$ of Ben-Sasson and Kopparty (2010), based on Gowers-norm-type arguments.
All our results generalize to all finite fields $\mathbb F_q$ in place of $\mathbb F_2$.
Our methods are based on a new connection to classical results on counting solutions to systems of polynomial equations via algebraic methods. This connection brings us to basic questions in combinatorics, about graphs and hypergraphs with simultaneously a small number of edges and independent sets.
Geometric Realizations with Strong Self-Duality Part II: Diameter Graphs, Reuleaux Polyhedra, and Thrackles
In this paper we construct new examples of diameter graphs and Reuleaux polyhedra in $\mathbb{R}^3$, obtaining a full characterization of their combinatorial structure. For a finite set of points $X\subset\mathbb{R}^d$, its diameter graph is the graph on vertex set $X$ where pairs forming a diameter pair are connected by an edge. Grünbaum, Heppes and Straszewicz independently proved that the diameter graph of $X\subset \mathbb{R}^3$ has at most $2|X|-2$ edges, answering a question of Vázsonyi. Their proof relied on ball polytopes. The ball polytope $\mathcal{B}(X)$ is the intersection of the unit balls centered at the points of $X$.
We call a ball polytope a Reuleaux polyhedron if the centers form a family with $2|X|-2$ diameter pairs. Kupitz, Martini and Perles showed that the skeleton of a Reuleaux polyhedron must be a 2-connected strongly involutive self-dual graph. They conjectured that in the simple 3-connected case this is also sufficient. We not only confirm this conjecture, but we show that any 2-connected (not necessarily simple) strongly involutive self-dual graph arises as the skeleton of a Reuleaux polyhedron.
To construct the new Reuleaux polyhedra we construct new diameter graphs. It was known that any 3-dimensional diameter graph is a subgraph of a non-bipartite quadrangulation of the projective plane. We show that the reverse holds. That is, for any such graph we construct a diameter realization. This also confirms and strengthens a conjecture of Montejano, Pauli, Raggi, Roldán-Pensado on metric embeddings of strongly involutive self-dual graphs. The construction relies on ideas from rigidity theory.
We also discuss a number of applications of these results, such as the construction of bodies of constant width and connections to Steinitz's theorem and Borsuk's conjecture.
Geometric Realizations with Strong Self-Duality Part I: Non-Bipartite Quadrangulations of the Projective Plane and Strongly Involutive Self-Dual Graphs
In this series of articles, we study two graph classes and their various geometric representations. The first class consists of strongly involutive self-dual graphs (SISD graphs); the second consists of non-bipartite quadrangulations of the projective plane (NBQP graphs). These classes naturally arise in many geometric problems. For example, NBQP graphs are connected to diameter graphs in $\mathbb{R}^3$, tangency graphs of families of pairwise intersecting circles and pseudocircles, generalized thrackles, and graphs formed by the main diagonals of negatively self-polar polytopes. On the other hand, SISD graphs correspond to the skeletons of negatively self-polar polytopes, self-dual cones, and extremal ball-polytopes.
In Part I we show a natural one-to-one correspondence between non-bipartite quadrangulations of the projective plane and 2-connected strongly involutive self-dual maps. In particular, we show that the reduced vertex-face incidence structure of a 2-connected strongly involutive self-dual map is a non-bipartite quadrangulation of the projective plane, and every non-bipartite quadrangulation of the projective plane arises that way. This allows us to translate natural properties from one class to the other. These results lay the foundation for later parts of the series.
Combinatorial twisted bialgebras and combinatorial twisted double bialgebras
We provide in this text a new framework for a family of combinatorial Hopf algebras. We adopt for this the language of species and twisted bialgebras (also known as Hopf monoids). We define the category of combinatorial twisted bialgebras (briefly, CTBs), a class of twisted bialgebras satisfying strong combinatorial conditions of compatibilities of the product and the coproduct with the underlying combinatorial structure. The considered morphisms also have to respect the combinatorial structure, in some sense. Many classical examples fit into this framework, including Hopf algebras of graphs, rooted trees, posets, hypergraphs, symmetric functions, boolean maps, etc. Most of known combinatorial Hopf algebras can be obtained from a CTB by application of a Fock functor, or by duality. A central result is the introduction of a universal CTB denoted by $\mathbf{Exch}$, built from collections of compositions satisfying a certain exchange condition. It has a special character $ε$, such that the pair $(\mathbf{Exch},ε)$ plays a role analogous to that of quasi-symmetric functions for graded and connected Hopf algebras: it is the terminal object in the category of CTBs equipped with combinatorial characters. This leads to universal morphisms that encode important information about the combinatorial structure of coproducts. The natural order on the set of compositions on a fixed set is used to define three important sub-objects $\mathbf{Exch}\_-$, $\mathbf{Exch}\_+$ and $\mathbf{Exch}\_{+\hspace{-2mm}+}$ of $\mathbf{Exch}$. We also studies polynomial invariants associated with CTBs. It establishes a correspondence between characters and polynomial invariants. Well-known invariants such as the chromatic polynomial of graphs and the Ehrhart polynomials of posets arise naturally within this framework. We show that, for a given degree, only finitely many polynomial invariants can occur. We show that these universal polynomial invariants can be used to give cancellation-free formulas for the antipode or the Eulerian idempotent, under conditions on the CTB, and use this for an example based on rooted trees, coming from a Hopf algebra used in linguistics. Results are also obtained for families of polynomial invariants with the alternating sign condition, or satisfying a reciprocity principle. We also extend the theory to combinatorial twisted double bialgebras (briefly, CTDBs), which involve two interacting coproduct structures. These generalize previously known examples arising from graphs, posets, hypergraphs, and rooted trees. The twisted approach preserves the combinatorial richness of these structures while providing a unified algebraic framework. We show that not any CTB can be made a CTDB, leading to the introduction of the notion of quasi-cocommutativity. In particular, we show that $\mathbf{Exch}\_+$ is not a CTDB, and construct a sub-object which is, in a unique way, and maximal for the inclusion. In the cocommutative case, simplifications naturally occur, and we show that in this case, a CTB of hypergraphs plays a central role, especially two sub-objects based on connectedness systems and antichain covers. We also show that, in the cocommutative case, the universal polynomial invariants are always chromatic polynomials of hypergraphs, no matter which CTB is considered. Finally, forgetting the combinatorial underlying structure, we study the algebraic structure of $\mathrm{Exch}$, with the help of a twisted version of Loday and Ronco's rigidity theorem for infinitesimal bialgebras.
On rigidity properties of unit-distance graphs
A unit-distance graph is a graph which admits a realisation in Euclidean space in which every edge has unit length. Imposing further geometric conditions on the non-edges gives a family of natural subclasses. Requiring that no two vertices lie at distance less than one gives penny and marble graphs: the contact graphs of collections of equal radii $d$-dimensional spheres with non-overlapping interiors for $d=2,3$. Requiring instead that the straight-line drawing in the plane be non-crossing gives matchstick graphs. Since any motion of a realisation must preserve these extra conditions, the rigidity and flexibility properties of the resulting frameworks differ from those of classical bar-joint rigidity theory. In this note we analyse various rigidity problems for penny and marble graphs, matchstick graphs and unit-distance graphs. In particular we answer a recent open problem on penny and marble graph rigidity and establish a link between penny graphs and the concept of NAC-colourings.
The separator-based derivations for arrangements of monomial groups
We investigate derivation modules of hyperplane arrangements associated with the monomial groups $G(r,p,\ell)$. Motivated by Mühlherr's separator-based construction for graphic arrangements, we extend this approach by combining separators with integral expressions. For a subarrangement $\mathcal{A}_G$ defined by a graph $G$, we show that, when $p<r$, the derivation module $\mathcal{D}(\mathcal{A}_G)$ is generated by the standard derivations $η_0,\dots,η_{κ(G)}$ together with a finite set of separator-based derivations. This result generalizes the complete graph case and provides new evidence toward the broader applicability of separator methods in the study of hyperplane arrangements.
Polynomial families of incident flags and explicit off-diagonal Ramsey graphs
We construct explicit off-diagonal Ramsey graphs from polynomial families of incident point--hyperplane flags. Universal interpolation translates the exact dimension of ordered clique configurations into a bound on their coefficient--label incidence. At the critical dimension, a polynomial separates the forbidden-pair image from its diagonal; deleting the corresponding edges preserves a triangular rank certificate. Restriction of scalars realizes the rational endpoint without rounding loss. The resulting fixed-$s$ exponent has leading scale $s/(2\log_2s)$, and short Frobenius relations give the explicit example $R(16,t)\geΩ(t^{2.0539221767\ldots})$. A finite-fiber construction gives the range $s^2(\log s)^2=o(\log t)$. For fixed parameters, algebraic preprocessing terminates and field initialization, vertex decoding and adjacency take deterministic time polynomial in the extension degree. We also retain an elimination-free variant and formulate the filtering argument for general forbidden configurations with a distinguished edge.
Optimal spectral supersaturation for cliques and odd cycles
Let $Y_{n,r,q}$ be the graph obtained from the Turán graph $T_{n,r}$ by adding $q$ pairwise disjoint edges inside a largest part, and let $c(n,F)$ be the minimum number of copies of $F$ created by adding a single edge to $T_{n,r}$. Fang, Li, Lin and Ma proved that for every color-critical graph $F$ with $χ(F)=r+1$, there exists a constant $δ_F>0$ such that for all sufficiently large $n$ and all $1\le q\le δ_F \sqrt{n}$, the condition $λ(G)\geλ(Y_{n,r,q})$ forces at least $q\, c(n,F)$ copies of $F$. The bound $q=O(\sqrt{n}\,)$ is tight up to a constant factor, in contrast to the linear order $n$ of the edge setting of Mubayi, Pikhurko and Yilma, but the exact constant $δ_F$ remained unknown for any $F$. In this paper, building on a structural result of Fang, Li, Lin and Ma, we determine the threshold $δ_F$ when $F$ is a clique and an odd cycle. For every $r\ge2$, we denote $δ_r :=(1-\tfrac1r)\sqrt2$ and prove that for every $\varepsilon>0$, if $n$ is sufficiently large and $1\le q\le(δ_r-\varepsilon)\sqrt n$, then every $n$-vertex graph $G$ with $λ(G)\geλ(Y_{n,r,q})$ contains at least $q\,c(n,K_{r+1})$ copies of $K_{r+1}$, and $δ_r$ is best possible. For odd cycles, the threshold is $1/\sqrt2$. For every $k\ge1$ and $\varepsilon>0$, if $n$ is sufficiently large and $1\le q\le(1/\sqrt2-\varepsilon)\sqrt n$, then every $n$-vertex graph $G$ with $λ(G)\geλ(Y_{n,2,q})$ contains at least $q\,c(n,C_{2k+1})$ copies of $C_{2k+1}$, and $1/\sqrt2$ is best possible. Our results determine both the exact count of copies and the optimal range of $q$. The behavior in the spectral setting differs from the classical edge setting, in which the range of $q$ is of order $n$ and the threshold is $1/r$ for cliques by Lovász and Simonovits, and $1/2$ for odd cycles by Pikhurko and Yilma.
Rank and Invertibility of Dense Signed Random Regular Matrices
Let $A$ be the (non-symmetric) adjacency matrix of a uniformly random $d$-regular directed graph on $n$ vertices, and let $Ξ$ be independent of $A$ with i.i.d. Rademacher entries. Suppose that $\min(d,n-d)\geλn$ for some fixed $λ\in(0,1/2]$. We show that there exists $c > 0$, depending only on $λ$, such that \[ \mathbf P_{A,Ξ}\{\operatorname{rank}(A\circΞ)\le n-k\}\le e^{-c nk},\qquad 1\le k\le n. \] As an ingredient in the proof of the rank bound, we use the case $κ=0$ of the following quantitative smallest singular value estimate: \[
\mathbf P_{A,Ξ}\{s_n(A\circΞ)\leκ\}
\le Cκ\sqrt n+e^{-c' n},
\qquad κ\ge0, \] where $C,c'>0$ depend only on $λ$.
Resolving Two Open Problems of Planar $B_k$-CPG Recognition: $k=0,1$
A $k$-bend path is a non-self-intersecting polyline that lies on a grid and consists of at most $k+1$ axis-parallel line segments. A $B_k$-CPG graph is a graph whose vertices can be represented by pairwise interiorly disjoint $k$-bend paths on a grid such that two vertices are adjacent if and only if the corresponding grid paths touch at a grid point. We prove that recognizing planar $B_0$-CPG graphs of maximum degree 8 is NP-complete, and that recognizing planar $B_1$-CPG graphs of maximum degree 11 is NP-complete. These results settle two of the three planar recognition problems left open by Champseix, Galby, Munaro, and Ries.
A sharp upper bound on the number of spanning forests of regular graphs
Let $G$ be a simple graph on $n$ vertices, and let $F(G)$ denote the number of its spanning forests. Bencs and Csikvári [Upper bound for the number of spanning forests of regular graphs, European J. Combin. 110 (2023) 103677] proved that every $r$-regular graph $G$ with $r\geq 2$ satisfies $F(G) \leq r^{n}$. They further conjectured that for $r \geq 3$, \[ F(G)^{1/n} \leq \frac{(r - 1)^{r-1}}{(r^2 - 2r - 1)^{r/2-1}}. \] In this paper, we resolve this conjecture in the affirmative.
Sharp planar Turán bounds for quasi-double stars
We study $W$-free planar graphs for $W\in\{W_{2,4},W_{2,5},W_{3,4}\}$, where the quasi-double star $W_{h,k}$ is obtained from a three-vertex path by attaching $h$ leaves to one endpoint and $k$ leaves to the other. We prove that every $W_{2,4}$-free planar graph on $n$ vertices has at most $9n/4$ edges, and the bound is attained whenever $8\mid n$. This determines the planar Turán density of $W_{2,4}$ as $9/4$. We also establish the sharp upper bound $5n/2$ for $W_{2,5}$. Combined with known constructions of planar graphs of maximum degree five, it yields $\ex_{\PP}(n,W_{2,5})=\lfloor5n/2\rfloor$ for every $n\ge15$. These results close the two corresponding coefficient gaps in the bounds of Liu et~al. Our proofs use structural restrictions on high-degree vertices, local deletions, and degree deficits in neighborhoods of radius two. For $W_{3,4}$, we characterize the planar graphs with a dominating vertex that avoid this tree and determine their exact extremal number, $\lfloor(5n-7)/2\rfloor$, for every $n\ge10$. Finally, $W$-free planar triangulations have at most eight, twelve, and eleven vertices for $W=W_{2,4},W_{2,5},W_{3,4}$, respectively; the first two bounds are sharp.
A Decomposition of the Hitting Time Index Using the Kirchhoff Index and an Asymmetry Term
We study the hitting time index, a graph invariant defined in terms of expected hitting times of simple random walks on finite connected graphs, through its relation with the Kirchhoff index. Using the commute time identity and Tetali's formula, we decompose the hitting time index into a Kirchhoff-index term and a nonnegative asymmetry term expressed by degree-weighted effective resistance sums. We derive lower and upper bounds for the asymmetry term, together with their equality conditions, and obtain a lower bound for the hitting time index in terms of the range of the degree-weighted resistance sums. For trees, we obtain lower and upper bounds for the asymmetry term, with the upper bound expressed in terms of the Wiener index, and characterize the equality case in the lower bound. In particular, we show that among all trees of fixed order, the hitting time index is minimized uniquely by the star graph.
Finally, we apply the decomposition to complete bipartite graphs, paths, and graphs obtained by conjoining complete graphs, and recover several known hitting-time formulas.
Prime Labelings of Trees
A prime labeling of a graph labels its vertices bijectively with the integers from one to the number of vertices, so that adjacent vertices receive coprime labels. I prove the Entringer-Tout conjecture that every tree admits a prime labeling, extending the result of Haxell, Pikhurko, and Taraz from sufficiently large trees to all orders. My proof combines structural decompositions of trees, arithmetic organization of the labels, and matching arguments. I reduce the labeling problem to a structured bipartite matching problem by separating a small part of the tree, distributing labels according to their divisibility properties, and applying Hall's theorem to complete the labeling. I handle the finite and intermediate ranges using exact computer-assisted certificates whose validity is justified mathematically, while the remaining range is covered by analytic estimates. Together, these ingredients yield a proof for trees of every order.
A sharp higher-order Cheeger inequality
Let $λ_k(G)$ be the $k$th eigenvalue of the normalized Laplacian of a finite undirected weighted graph $G$ with positive degrees, where $k$ is an integer satisfying $1\le k\le |V(G)|$. Let $φ_k(G)$ be the minimum possible maximum conductance of $k$ disjoint nonempty vertex sets. We prove $φ_k(G)\le C\sqrt{λ_k(G)\log(k+1)}$ for an absolute constant $C$. The number of sets and the spectral index are both $k$, and conductance is measured in the original graph. The logarithmic dependence is optimal up to an absolute constant. The proof combines geometric partitioning of the spectral embedding with minimum-cut improvement and adaptive projections in coefficient space. A single conductance threshold is used throughout the construction. The resulting maps have disjoint supports, and the sum of their Gram matrices is bounded below by an absolute positive multiple of the identity. A dyadic maximal estimate bounds the sum of their internal energies uniformly over unit coefficient vectors. A dimension argument using local eigenvalues then yields exactly $k$ disjoint sparse cuts.
The Tight Upper Bound on the Number of Distinct Squares in Circular Words
A square is a word $xx$, where $x$ is nonempty. We show that a circular word of length $n$ contains at most $\lfloor 3n/2 \rfloor$ distinct squares of length at most $n$. The proof combines known results relating squares to circuits in Rauzy graphs. The coefficient $3/2$ agrees with the known lower bound.
Hull Games of Induced Path Convexities in Graphs
In 1984, Frank Harary introduced the first convexity games in graphs, all of them based on the geodesic convexity, which is the graph convexity related to shortest paths. In 2024, Araújo et al. obtained the first PSPACE-hardness proofs on some of these geodesic games and generalized them to any graph convexity. In this paper, we investigate convexity games on several known induced path convexities: the monophonic $\mathrm{m}$-convexity and the $\ell_k$-convexities, based on induced paths and on induced paths of size at most $k$. We prove that the hull games $\mathrm{CHG}_{\mathrm{m}}$, $\mathrm{CHG}_{\ell_k}$ and their misère variants are PSPACE-complete for every $k\ge2$ even in graphs with diameter at most 3. We also use the Sprague-Grundy Theory to obtain a polynomial time algorithm to decide the winner of the games $\mathrm{CHG}_{\mathrm{m}}$ and $\mathrm{CHG}_{\ell_k}$ for any $k\ge2$ in disjoint unions of paths and cycles. For $k\ge3$ odd, we prove that Alice (1st player) wins $\mathrm{CHG}_{\ell_k}$ in the path $P_n$ if and only if $n$ is odd and she wins in the cycle $C_n$ if and only if $n=3$ or $n=α\cdot (k+1)-1$ with $α\ge2$. For $k\ge2$ even, the only periodic nimber sequences of $\mathrm{CHG}_{\ell_k}$ obtained through extensive computational testing occurred for $k=2^h-4$ with $h\ge3$, e.g, $k\in\{4,12,28,60,\ldots\}$. In this case ($k=2^h-4$ with $h\ge3$), we prove that the nimber sequences of $\mathrm{CHG}_{\ell_k}$ in $P_n$ and in $C_n$ are periodic and Alice loses (resp. wins) in $P_n$ (resp. $C_n$) with $n>k$ only when $n=3k+4$ (resp. $n\in\{2k+1,5k+3\}$). Finally, we show that, for $k=2$, the game $\mathrm{CHG}_{\ell_2}$ in paths $P_n$ is closely related to the classical game \emph{Couples-are-Forever} of J. H. Conway: it is still an open problem if the nimber sequence is periodic or not and Alice loses only for 12 values of $n$ up to $50$ million.
Resolutions of two conjectures on the spectral diameter
Let $λ_1(G) \geq \dots \geq λ_n(G)$ be the adjacency spectrum of a graph $G$ on $n$ vertices. The spectral distance $σ(G,H)$ between $n$-vertex graphs $G$ and $H$ is the Manhattan distance between their spectra, i.e. $σ(G,H) = \sum_{i=1}^n |λ_i(G) - λ_i(H)|$. Given a set $\mathcal{G}$ of pairwise non-isomorphic graphs of order $n$, the spectral diameter of $\mathcal{G}$ is defined as $\mathrm{sdiam}(\mathcal{G}) = \max\{\mathrm{secc}_{\mathcal{G}}(G) : G \in \mathcal{G}\}$, where $\mathrm{secc}_{\mathcal{G}}(G) = \max\{σ(G,H) : H \in \mathcal{G}\}$ is the spectral eccentricity of $G \in \mathcal{G}$. Among six conjectures on spectral distances posed by Z. Stanić in 2012, two conjectures related to the spectral diameter of certain graph classes remained open. One of them concerns the spectral diameter of the set $\mathcal{B}_n$ of all connected bipartite graphs of order $n$, while the other, of the set $\mathcal{T}_n$ of all trees of order $n$. More precisely, Stanić conjectured that $\mathrm{sdiam}(\mathcal{T}_n) = σ(P_n, K_{1,n-1})$, where $P_n$ is the path graph, while $K_{1,n-1}$ is the star, and that $\mathrm{sdiam}(\mathcal{B}_n) = \mathrm{secc}_{\mathcal{B}_n}(K_{\lceil n/2 \rceil, \lfloor n/2 \rfloor})$, where $K_{\lceil n/2 \rceil, \lfloor n/2 \rfloor}$ is the complete bipartite graph. In this paper, both of these conjectures are disproved.