math.CO ↗ arXiv
7121 papers in this category
An edge-spectral supersaturation of Mubayi's theorem for color-critical graphs
We study the supersaturation problem in its edge-spectral form. Let $λ(G)$ be the adjacency spectral radius of $G$. Nikiforov proved that every $K_{r+1}$-free graph $G$ with $m$ edges satisfies $λ(G)\le \sqrt{(1\!-\!1/r )2m}$. Recently, Li, Liu and Zhang proved the same bound for every $F$-free graph $G$, where $F$ is any color-critical graph with $χ(F)=r+1\ge4$, with equality only for regular complete $r$-partite graphs. It is then natural to ask how many copies of $F$ are forced once $λ(G)$ exceeds this threshold. Fang, Lin and Zhai answered this at the threshold itself, and conjectured that for any fixed $C>0$, the condition $λ(G)\ge \sqrt{(1\!-\!{1}/{r})2m} +C$ forces $Ω\!\left(m^{(f-1)/2}\right)$ copies.
In this paper, we answer this question with the best possible constant, proving that for every color-critical graph $F$ with $χ(F)=r+1\ge4$, there exists $δ_F>0$ such that if $m$ is sufficiently large, $0<q\leδ_F\sqrt m$, and $G$ is an $m$-edge graph with $λ^2(G)\ge 2\left(1-\tfrac1r\right)m+q$, then \[
N_F(G)\ge\bigl(B_F-o(1)\bigr)\,q\,
m^{{(f-2)}/{2}},
\quad \text{where}~~
B_F:=\tfrac{α_F}{4}
(\tfrac{2r}{r-1} )^{{f}/{2}}, \] and the constant $B_F$ is best possible. Our result can be viewed as an edge-spectral counterpart of Mubayi's theorem, since it converts the spectral surplus $q$ into a linear number of copies with a sharp constant, and it solves the conjecture of Fang, Lin and Zhai in a stronger form.
A complete solution to the generalized honeymoon Oberwolfach problem with one round table
The generalized honeymoon Oberwolfach problem (HOP) asks whether it is possible to seat $2n$ participants consisting of $n$ newlywed couples at a conference with $s$ tables of size $2$ and $t$ "round'' tables of sizes $2m_1, 2m_2, \ldots, 2m_t$, where $n = s + \sum_{i=1}^{t} m_i $ with all $m_i \geq 2$, over several nights so that each participant sits next to their spouse every time and next to each other participant exactly once. We denote this problem by $HOP(2^{\langle s \rangle}, 2m_1, \ldots, 2m_t)$. In this paper, we provide a complete solution to the generalized HOP with one round table, showing that the obvious necessary conditions for $HOP(2^{\langle s \rangle}, 2m)$ to have a solution are also sufficient.
Normal ordering in the $(p,q)$-deformed generalized Weyl algebra. II: Interpretation in terms of rook placements
In this paper, we investigate the combinatorial structure arising from the $(p, q)$-deformed generalized Weyl algebra generated by variables $X, Y$, and $Z_p$, satisfying the $(p, q)$-commutation relations $XY-qYX=h Y^sZ_{p}, XZ_p=pZ_pX$, and $Z_pY=pYZ_p$, where $s\in \mathbb{N}_0$. Our primary objective is to use the normal ordering process defined by these relations to develop a novel model of $(p, q)$-deformed rook theory. Specifically, we introduce a new framework of $(p, q)$-deformed $s$-rook numbers derived from this normal ordering process. Utilizing these combinatorial models, we provide explicit combinatorial interpretations for the associated $(p, q)$-generalized Stirling numbers via rook placements on staircase boards. Our results extend several classical and recent formulations in the literature to the general $p\neq 1$ setting.
Spanning \(k\)-trees and the colorful Carathéodory theorem
Very recently, using Meshulam's lemma, Blagojević proved a constrained version of the colorful Carathéodory theorem for joins of bipartite spanning trees and wedge of spheres. Our main contribution extends his result from joins of bipartite spanning trees with wedges of spheres to joins of spanning \(k\)-trees with wedges of spheres. Our proof is elementary and avoids the topological machinery. We also discuss a homological variation of spanning \(k\)-trees and some Carathéodory-type results for them.
Vector-valued smoothing for finite Sidon sets
Let $F(N)$ denote the largest cardinality of a Sidon subset of $\{0, 1, \dots, N - 1\}$. We prove \[
F(N) \le N^{1/2} + 0.94601 N^{1/4} + O(1). \] This improves the recently announced coefficient $0.97633$ obtained by Carter, Georgiev, Gómez-Serrano, Hunter, O'Bryant, Tao and Wagner. It is also very close to, and numerically below, the tentatively reported value of approximately $0.947$. The argument is based on a vector-valued convolution inequality: several smoothing kernels share the task of producing a boundary majorant, while their $L^2$ energies are averaged. The analytic reduction is elementary. The final constant is supplied by a finite rational certificate, verified by a short program using exact arithmetic only.
Decomposition of Greedy Tamari Intervals and Bipartite Planar Maps
The greedy Tamari poset, inspired by the well-studied Tamari lattice, was recently defined by Dermenjian in the more general setting of greedy $ν$-Tamari posets. Bousquet-Mélou and Chapoton counted intervals of the greedy $m$-Tamari poset in 2024 by solving a functional equation, and found that they are equi-enumerous to planar $(m+1)$-constellations. In this work, we give a combinatorial proof of this fact for the case $m = 1$, which also gives the refined enumeration conjectured by Bousquet-Mélou and Chapoton. This is done by establishing a recursive decomposition of greedy Tamari intervals isomorphic to that of bipartite planar maps. We also propose a more general and refined conjecture for the case of general $m$.
Maximum Linear Arrangement: exact algorithms for specific classes of graphs and approximation algorithms for wide classes of graphs
Published in Alemany-Puig, L., Esteban, J.L. & Ferrer-i-Cancho, R. (2026). Maximum linear arrangement: exact algorithms for specific classes of graphs and approximation algorithms for wide classes of graphs. Journal of Combinatorial Optimization 52, 16
• View Publication
• BIB
Linear arrangements of graphs are a well-known type of graph labeling and are found in many important computational problems. A linear arrangement is usually defined as a permutation of the $n$ vertices of a graph. An intuitive geometric setting is that of vertices lying on consecutive integer positions in the real line, starting at 1; edges are often drawn as semicircles above the real line. A well-known computational problem is the Minimum Linear Arrangement Problem (${\tt minLA}$) where the goal is to find an arrangement that minimizes the sum of edge lengths. In this paper we study the Maximum Linear Arrangement problem (${\tt MaxLA}$), the counterpart of ${\tt minLA}$. We devise a new characterization of maximum arrangements of general graphs, and prove that ${\tt MaxLA}$ can be solved for $k$-regular graphs ($k\le2$) in time $O(n)$, and for $k$-linear trees ($k\le2$) in time $O(n)$. We present two constrained variants of ${\tt MaxLA}$ we call ${\tt bipartite MaxLA}$ and ${\tt 1-thistle MaxLA}$. We prove that the former can be solved in time $O(n)$ for any connected bipartite graph; the latter can be solved by an algorithm that typically runs in time $O(n^3\log n)$ on unlabeled trees. We show that ${\tt bipartite MaxLA}$ is a $3/2$-approximation algorithm for ${\tt MaxLA}$ for trees.
A Counterexample to Ziegler's Cross-Polytope Conjecture for Simplicial 0/1-Polytopes
Ziegler proved that every simplicial $d$-dimensional $0/1$-polytope has at most $2d$ vertices, and asked whether equality forces the polytope to be centrally symmetric and hence, equivalently, a $0/1$-realization of the $d$-dimensional cross polytope. In this note, we give a negative answer, exhibiting an explicit set of $14$ vertices in $\{0,1\}^7$ whose convex hull is a simplicial $7$-polytope and is not centrally symmetric. Moreover, via exhaustive enumeration we show that up to the symmetries of the cube, there are precisely five such polytopes in dimension $7$ (of two combinatorial types) that are not centrally symmetric.
A generalization of partition identities of Göllnitz-Gordon, Rogers-Ramanujan and Nandi
We propose Andrews-Gordon type series for certain level 2 standard modules of type $A^{(2)}_{\textrm{odd}}$, and prove the corresponding sum-product identities except for $A^{(2)}_{6n+3}$. These identities generalize the identities of Göllnitz-Gordon (mod 8), Rogers-Ramanujan (mod 5) and (partially) Nandi (mod 14).
On Deranged Unit-Interval Parking Functions and the Deranged Bell Numbers
Unit-interval parking functions of length $n$ are enumerated by the Fubini numbers $F_n$ and are in explicit bijection with the ordered set partitions of $[n]$. We use this bijection to single out the unit-interval parking functions whose associated ordered set partition is \emph{deranged} in the sense of Belbachir, Djemmada, and Németh -- no block occupies the position indexed by its minimum element -- and call them the \emph{deranged unit-interval parking functions} $\DUPF_n$. Since the bijection restricts to the deranged objects, $|\DUPF_n| = \tilde F_n$, the $n$-th deranged Bell number. We give an intrinsic, coordinate-wise characterization of the deranged condition through the lucky cars (equivalently, the block leaders) of a parking function, and we refine the enumeration by total displacement, obtaining $d_m\Stir{n}{m}$ deranged unit-interval parking functions with $m$ blocks. We derive the exponential generating function $e^{1-e^x}/(2-e^x)$ by the symbolic method, prove a fixed-block convolution relating $F_n$, the Bell numbers, and $\tilde F_n$, refine the count by singleton blocks via $2$-associated Stirling numbers, and describe an $r$-start extension together with a deranged Cayley-permutation model. Worked examples and a table of values are included.
On the Spectrum of the Line Graph of a Family of Bipartite Graphs Arising from the Boolean Lattice
The Boolean lattice $BL_n$, $n\geq 3$, is the graph whose vertex set is the collection of all subsets of $[n]=\{1,2,\ldots,n\}$, where two subsets $U$ and $W$ are adjacent if and only if their symmetric difference has precisely one element. In the graph $BL_n$, the \emph{layer} $L_k$ is the family of all $k$-element subsets of $[n]$. The subgraph $BL_n(k-1,k)$ is the induced subgraph of $BL_n$ on layers $L_{k-1}$ and $L_{k}$. This graph is bipartite and, when $n=2k-1$, is $k$-regular and isomorphic to the bipartite double cover $2{\cdot}O_k$ of the odd graph $O_k$. In this paper, we determine the full adjacency spectrum -- eigenvalues together with their multiplicities -- of the line graph $L(BL_n(k-1,k))$ for all admissible values of $n$ and $k$. As a consequence, we show that $L(BL_n(k-1,k))$ is an integral graph whenever $n = 2k-1$, and we recover as a special case the spectrum of the line graph $L(n)$ of $BL_n(1,2)$ established by Mirafzal~\cite{pap-sm-1}.
Guesswork Under Linear Constraints: Exact Exponent for Coset Decoding
We establish the exact exponential growth rate of the $ρ$-th moment of the constrained guesswork $G_{\mathrm{coset}}$ -- the rank of the true noise vector within its syndrome coset of a random binary linear code under i.i.d.\ Bernoulli$(p)$ noise: \( \lim_{n\to\infty} \frac{1}{n}\log_2\Eb\!\left[G_{\mathrm{coset}}^ρ\right] = ρ\,h_{\frac{1}{1+ρ}}(p)\;+\;ρ(R-1), \, ρ>0, \) where $h_α(p)$ is the binary Rényi entropy and $R=k/n$ is the code rate. The exponent shifts down by exactly $ρ(1-R)$ relative to the unconstrained Arıkan--Merhav exponent, with each of the $n(1-R)$ parity checks contributing equally. Finite-length simulations confirm convergence from below. We further establish: (i)~a transfer theorem expressing the partition-function exponent in terms of an arbitrary weight-enumerator growth rate $g(δ)$; (ii)~the exact exponent for $L_n$-list (``$k$-th'') constrained guesswork; and (iii)~a sharp second-order refinement of order $ρ\log_2 n$. Beyond the binary i.i.d.\ setting, we prove a universality theorem: for any code ensemble $\mathcal{E}$ whose weight enumerator concentrates at rate $g_{\mathcal{E}}(δ)$, the guesswork exponent equals $(1+ρ)ψ_{1/(1+ρ)}(g_{\mathcal{E}})-ρ\,ψ_1(g_{\mathcal{E}})$, where $ψ_α(g)=\sup_δ[g(δ)+α\ell(δ)]$. As concrete applications, we instantiate this theorem for the $q$-ary extension, $Λ_q(ρ)=ρ\,h^{(q)}_{1/(1+ρ)}(P)+ρ(R-1)\log_2 q$, and for Gallager's regular LDPC ensemble, obtaining a closed-form guesswork exponent via an exact finite-length identity for the ensemble-average weight enumerator.
Strong Majority Edge-Coloring
A strong majority edge-coloring of a graph is an edge-coloring in which, for every edge $e$ and every color $i$, at most half of the edges adjacent to $e$ have color $i$. Such a coloring exists only for graphs with no pendant path of length two, which, following Kalinowski, Kamyczura, Pilśniak, and Woźniak, we call admissible. They proved that every admissible graph admits such a coloring with at most eight colors and conjectured that four colors always suffice. We improve the upper bound from eight to five.
Duality and a Canonical Sheaf in Periodic Riemann Functions
Let $f\colon{\mathbb Z}^2\to{\mathbb Z}$ be a Riemann function whose weight $W$ is a perfect matching. Then there is a family of sheaves of $k$-vector spaces $\{{M}_{W,{\bf d}}\}_{{\bf d}\in{\mathbb Z}^2}$ on a five-point topological that models $f$ in that $f({\bf d})=b^0({M}_{W,{\bf d}})$ and that $$ b^1({M}_{W,{\bf d}})= f^\wedge_{\bf K}({\bf d}-{\bf K}) $$ for any ${\bf K}\in{\mathbb Z}^2$. Hence a Riemann-Roch formula for $f$ is equivalent to an Euler characteristic computation of ${M}_{W,{\bf d}}$.
If $f$ and $W$ are $r$-periodic, then the sheaves ${M}_{W,{\bf d}}$ become ${O}_r$-modules of finite type for a natural sheaf of rings ${O}={O}_r$. We show that in this case there is a ``canonical ${O}$-module'' $ω=ω_W$ and a pairing for $i=0,1$, $$ H^i(M_{W,{\bf 0}}\otimes F) \times {\rm Ext}^{1-i}(F,M_{W^\wedge_{\bf L},{\bf K}})\to H^1(ω)\cong k $$ that is perfect when ${\bf L}={\bf K}+{\bf 1}$ and ${F}$ is a certain type of line bundle or a certain type of skyscraper sheaf. In particular when ${F}$ is a line bundle, we realize the above formula for $b^1({M}_{W,{\bf d}})$ as a duality theorem akin to Serre duality.
We show that canonical ${O}$-module $ω_W$ is a rather exceptional element in a family of tensor products of two modules ${M}\otimes_{O}{M}'$, where ${M}$ and ${M}'$ vary over ${O}_r$-modules of the form ${M}_{W',{\bf d}}$.
This article doesn't assume any background in sheaf theory; rather we describe all our sheaves as a ``diagrams of vector spaces,'' where each diagram is essentially a sheaf of vector spaces on a fixed topological space of five points.
Determining the Complexity of Chromatic Sum in Classes Defined by a Set of Forbidden Graphs
The Chromatic Sum problem asks, given a graph $G$ and an integer $k$, whether $G$ admits a colouring $c$ with sum $\sum_{v\in V}c(v) \leq k$. We study the complexity of Chromatic Sum on graph classes defined by some set of forbidden graphs. First, we show that three known frameworks fully classify the complexity of Chromatic Sum on $HH$-minor-free graphs and $HH$-topological-minor-free graphs for any set of graphs $HH$, and on $HH$-subgraph-free graphs for any finite set of graphs $HH$. To show this, we prove a new NP-completeness result for Chromatic Sum on certain subdivisions of planar subcubic graphs. Next, we consider other containment relations. We formalise a novel framework of problems that are NP-complete for planar graphs as well as for graphs of bounded independence number. For every problem in this framework, we obtain an almost complete complexity classification on $H$-induced-minor-free graphs, $H$-induced-topological-minor-free graphs, and $H$-free graphs for every graph $H$. We show that Chromatic Sum belongs to this framework, as do several other problems. We also define a more fine-grained framework for the induced subgraph relation. We apply this to obtain a complete complexity classification for Chromatic Sum on $H$-free graphs, as well as for several other problems. We justify the choice of this framework by proving that Chromatic Sum is NP-complete for graphs of clique-width at most $3$. This result complements a known polynomial-time result for graphs of clique-width at most $2$.
Path-Minimality for Positive $p$-Energies, Laplacian-Type Spectra, and Line Graphs
We derive several applications of the path-minimality theorem for adjacency $p$-energy proved in the companion paper. First, we prove the sharp inequality $$
\mathcal E_p^+(G)\ge \mathcal E_p^+(P_n), $$ where $P_n$ is the path on $n$ vertices, in three settings: connected bipartite graphs for every real $p\ge2$, all connected graphs for every odd integer $p\ge3$, and all connected graphs for $p=4$. Second, using subdivision graphs, we prove path-minimality for Laplacian and signless Laplacian-type spectral sums, including power sums, Estrada-type quantities, resolvent energies, and thresholded tails. Third, we prove an edge-count second-order stop-loss comparison for the signless Laplacian above the threshold $2$. This yields the sharp line-graph inequality $$
\mathcal E_p^+(\mathcal L(G))\ge \mathcal E_p^+(P_m) $$ for every connected graph $G$ with $m$ edges and every real $p\ge2$.
Effective Resistance and Generalized Bejaia-Pisa Sequences on Complete Graphs with Circulant Distance Deletions
In this paper, we investigate the effective resistance on the graph $G_N^{(r)}$, which is obtained by deleting all edges corresponding to circular distances $\{\pm1, \pm2, \dots, \pm r\}$ from the complete graph $K_N$. We utilize the cyclic symmetry of the graph to diagonalize the Laplacian matrix via the discrete Fourier basis and derive a finite trigonometric sum representation for the effective resistance between two vertices at distance $\ell$.
Specifically, we treat the cases $r=1$ and $r=2$ in detail and provide explicit formulas. For the case of $r=1$, we use Fourier analysis to rederive the closed form in terms of Bejaia and Pisa numbers given by Chair. For the case of $r=2$, we show that the denominator reduces to a quadratic polynomial with complex roots and introduce a generalized Bejaia-Pisa-type complex sequence. Using this sequence, we provide some closed forms for the effective resistance and various related formulas.
Spectral extremal problems for fractional $ID$-$[a,b]$-factor-critical graphs
A factor of a graph is essentially a specific type spanning subgraph. In recent years, the spectral extremal problem of characterizing the existence of graph factors via eigenvalues has been widely studied. This paper focuses on fractional $ID$-$[a, b]$-factor-critical graphs, which are a natural generalization of fractional $[a,b]$-factors. Let $r \ge 1$ be an integer. A graph $G$ is fractional $ID$-$[a, b]$-factor-critical if for every independent set $I$ of $G$ with $|I| = r$, $G - I$ has a fractional $[a, b]$-factor. In 2026, Jia, Fan and Liu posed the spectral version conjecture for a graph to be fractional $ID$-$[a, b]$-factor-critical [Linear Algebra Appl. 732 (2026) 1-17]. In this paper,
we first prove the conjecture holds for connected graphs when $b\ge 2r+2$. Furthermore, for minimum degree $δ(G)\ge a+r$, we present spectral radius and size conditions that ensure a graph is fractional $ID$-$[a, b]$-factor-critical, which improve the results of Jia, Fan and Liu.
Random partition for Tokushige's $r$-wise intersecting conjecture
Let $r\ge 3$ and let $1>p_1\ge p_2\ge\cdots\ge p_n>0$. Let $μ_{\mathbf p}$ denote the product measure on $2^{[n]}$ where each coordinate $i$ is included independently with probability $p_i$. A family $\mathcal A\subseteq 2^{[n]}$ is $r$-wise intersecting if $A_1\cap\cdots\cap A_r\neq\emptyset$ for all $A_1,\ldots,A_r\in\mathcal A$. In 2022, Tokushige proved that if $p_2<\frac{r-1}{r}$, then every $r$-wise intersecting family $\mathcal{A}\subseteq 2^{[n]}$ satisfies $μ_{\mathbf p}(\mathcal{A})\le p_1$, with equality only for stars centred at coordinates of maximum probability. He conjectured that the hypothesis $p_2<\frac{r-1}{r}$ can be replaced by $p_{r+1}<\frac{r-1}{r}$. In this paper, we prove this conjecture in full. The key novelty is the introduction of a new random partition method, which reduces the problem to at most $r$ coordinates and solves it exactly, thereby fully covering all cases with multiple supercritical coordinates.
On the completion of $ε$-dense partial Latin squares
A partial Latin square of order $n$ is called $ε$-dense if each row and each column contains at most $εn$ filled cells, and each symbol occurs at most $εn$ times. A partial Latin square is said to be completable if its empty cells can be filled to obtain a Latin square. Daykin and Häggkvist conjectured that every $\frac{1}{4}$-dense partial Latin square is completable. In this paper, we show that for all sufficiently large integers $n$, every $\frac{2}{25}$-dense partial Latin square of order $n$ is completable. The proof is obtained by establishing that there exists an $η> 0$ such that every triangle-divisible balanced tripartite graph on $3n$ vertices with partite minimum degree at least $(\frac{23}{25}-η)n$ admits a fractional triangle decomposition.