math.CO ↗ arXiv
7121 papers in this category
Roman Domination on Circular-Convex, Triad-Convex Bipartite Graphs and $P_4$-Tidy Graphs
The Roman Domination Problem (RDP) on a graph \(G=(V,E)\) asks for a labeling function \(f:V\rightarrow\{0,1,2\}\) such that every vertex assigned value \(0\) is adjacent to a vertex assigned value \(2\). The objective is to minimize the total weight \(\sum_{v\in V} f(v)\); this minimum value is the Roman domination number of \(G\), denoted by \(γ_R(G)\). In this paper, we study RDP on graph classes motivated by convexity and induced-\(P_4\) structure. First, we consider circular-convex bipartite graphs, a natural superclass of convex bipartite graphs, where RDP is already known to be polynomial-time solvable. Assuming that a circular-convex representation is given, we compute \(γ_R(G)\) in \(O(n^6)\) time by cutting the circular order, separating interval and wrap-around vertices, and branching over at most two wrap-around vertices assigned value \(2\). Second, we study triad-convex bipartite graphs, a restricted subclass of tree-convex bipartite graphs whose convexity tree is a subdivision of \(K_{1,3}\). Although RDP is hard on broader tree-convex subclasses such as star-convex and comb-convex bipartite graphs, we show that \(γ_R(G)\) can be computed in \(O(n^7)\) time on triad-convex bipartite graphs. Finally, we study \(P_4\)-tidy graphs, which properly extend cographs. Using the Giakoumakis et al. structural decomposition of \(P_4\)-tidy graphs, we give a direct, exact algorithm that computes \(γ_R(G)\) in \(O(n+m)\) time. These results extend the algorithmic boundary of Roman domination on convexity-based bipartite graphs and \(P_4\)-structured graph classes.
Maximum cut and maximum bisection in random regular graphs
We prove that, for every fixed degree $d$ and a uniformly random simple $d$-regular graph $G_{n,d}$ on an even number $n>d$ of vertices, $$\mathbb{E}\operatorname{MaxCut}(G_{n,d})-\mathbb{E}\operatorname{MaxBis}(G_{n,d})=o(n).$$ In other words, requiring the two sides of a cut to have exactly the same size changes the expected optimal cut by only a sublinear number of edges. We prove this first for the configuration model by comparing cuts of each possible cardinality on an $n$-vertex graph with bisections of a related graph on $2n$ vertices. An important technical tool is Huang's interpolation theorem (Huang, 2018); to apply it, we establish a structural property of the change in the optimal cut when a single edge is added. This comparison, together with concentration estimates and Huang's convergence theorem for maximum bisection, shows that maximum cut and maximum bisection have the same limiting density. Conditioning the configuration model on being simple then gives the result for uniformly random simple regular graphs.
Dittert's conjecture in dimension 16 via a joint-deficit scaling lemma
Dittert's conjecture asserts that, among nonnegative $n\times n$ matrices whose entries sum to $n$, the functional $φ(A)=\prod_{i=1}^n r_i+\prod_{j=1}^n c_j-\operatorname{per}(A)$ is uniquely maximized by the uniform matrix $J_n/n$. This paper proves the conjecture for $n=16$. The key observation is that, for a near-maximizer, the deficits of the row-sum and column-sum products satisfy a single joint constraint rather than two independent bounds. Combining this joint-deficit estimate with a Pinsker-type subset-sum bound yields a sharper scalar dilation to a doubly superstochastic matrix. The Knopp-Sinkhorn boundary lower bound for permanents then excludes maximizers with a zero entry, and Hwang's positive-support theorem identifies the unique maximizer. Together with Pang's result for $n\ge 17$ (arXiv:2606.01531), this establishes Dittert's conjecture for every $n\ge 16$.
2-Connected Subgraphs of All Orders in Large Graphs with Minimum Degree at Least n/q
We confirm a conjecture of Liu and Ning\cite{LiuNing}: for every fixed integer $q\ge 3$, there exists an integer $n_0(q)$ such that every $2$-connected graph $G$ of order $n\ge n_0(q)$ with minimum degree $δ(G)\ge n/q$ contains a $2$-connected subgraph of order $\ell$ for each $\ell\in\{4,5,\ldots,n\}$. The proof has two main components. First, we construct a small $2$-connected subgraph $D$ such that every vertex outside $D$ has at least two neighbors in $D$. By successively adding the vertices outside $D$, we obtain $2$-connected subgraphs of every order from $|V(D)|$ to $n$. Second, an averaging argument on common neighborhoods yields a large complete bipartite subgraph $K_{2,t}$, which provides $2$-connected subgraphs of all the remaining orders.Finally, we propose the following conjecture: for every pair of fixed integers $r\ge 2$ and $q\ge 3$, every $r$-connected graph $G$ of sufficiently large order $n$ with $δ(G)\ge n/q$ contains an $r$-connected subgraph of every order from $2r$ to $n$.
Counting spanning quasi-trees of ribbon graphs: determinants and #P-completeness
A quasi-tree of a connected ribbon graph is a spanning ribbon subgraph with exactly one boundary component; quasi-trees play the role of spanning trees in the topological graph theory of embedded graphs. We prove that counting them is #P-complete under polynomial-time Turing reductions, already for bouquets. The proof identifies every nonempty framed chord diagram, up to natural identifications, with a 4-regular map equipped with a distinguished A-trail, in such a way that quasi-trees correspond to A-trails, whose counting is #P-complete by a theorem of Ge and Štefankovič. Through the framed Cohn-Lempel equality the count is also an interlace-polynomial evaluation - $q(H;2,1)$, the number of full-rank induced subgraphs of the looped circle graph $H$ of the diagram - placing it on the line $y=1$ left open in the complexity classification of Bläser and Hoffmann; a cloning argument then makes every fixed rational point of that line, other than the trivial $(1,1)$, #P-hard on looped circle graphs, even when a framed chord representation is supplied. On the tractable side, the same GF(2) model yields short proofs of the known determinantal cases: for orientable ribbon graphs the count is a determinant, essentially the Matrix-Quasi-tree Theorem of Merino, Moffatt and Noble, proved here via Bouchet's principal unimodularity, and for bouquets with exactly one non-orientable loop it is a sum of two orientable determinants, equivalent by a rank-one determinant identity to the determinant formula of Deng, Jin and Yan.
New lower bounds for binary constant-weight codes: $A(23,6,10)\geq 2979$ and $A(24,6,10)\geq 4214$
Let $A(n,d,w)$ denote the maximum size of a binary constant-weight code of length $n$, minimum distance $d$, and weight $w$. We construct explicit codes proving $A(23,6,10)\ge 2979$ and $A(24,6,10)\ge 4214$. These improve the best surviving explicit codes of sizes 2969 and 4174 and surpass the corresponding 1990 bounds 2970 and 4200 of Brouwer, Shearer, Sloane and Smith, whose code listings were lost. We also obtain $A(23,6,11)\ge 3539$ and $A(24,6,8)\ge 1855$. All four bounds are now listed in Brouwer's online table. The constructions use a coordinate decomposition in which one half is fixed to a known code and the complementary half is selected from its full cross-compatible pool using CHILS for maximum-weight independent set. For the 2969-word $A(23,6,10)$ incumbent, exact computations with two solver families prove insertion maximality and exclude every improving exchange deleting at most three codewords. We also analyze codes invariant under prime-order permutations: several cycle types are excluded exactly, the $5+1^{18}$ type has upper bound 499, and reproducible heuristic saturation evidence is reported for the remaining types, with $13+1^{10}$ left open. Code files, an independent validator, model descriptions, and computational logs are released.
On the Ramsey number of a graph obtained by attaching a pendant to a path with length 1 modulo 4
In this paper, for odd $n$, we consider the graph $T_n$ with vertex set $\{x_1,....,x_n,x_{n+1}\}$ and edge set $\{x_{1}x_{2},x_{2}x_{3},...,x_{n-1}x_{n}\} \cup \{x_{\frac{n+1}{2}}x_{n+1}\}$ and prove that the Ramsey number $R(T_n,T_n)$ is equal to $\frac{3n+1}{2}$ for $n \in [1]_{4}$.
Bounds and Limitations on Codes Achieving List Recovery Capacity
In coding theory, list recoverability is a fundamental concept which robustly captures how ``spread-out'' codewords are in a code. More formally, given a code $C \subseteq Σ^n$ and input lists $S_1, \dots, S_n \subseteq Σ$ of size at most $\ell$, list recoverability requires that there are at most $L$ codewords $c \in C$ such that $c_i \in S_i$ for at least $(1-ρ)n$ choices of $i \in [n]$. List recovery is an important question which has found applications in many areas, including complexity theory, property testing, compressed sensing, streaming algorithms, and cryptography.
As our first main result, we establish a tight ``generalized singleton bound''. Formally, we show that for constant $\ell, L,ρ$ and sufficiently large alphabets $Σ$, if we define $R^*=\frac{L+1-\ell}{L}-\frac{L+1}{L}ρ$, it is possible for a $(ρ,\ell,L)$ list-recoverable code to have rate $R^*-ε$ but impossible to have rate $R^*+ε$. One direction of our result already directly generalizes and improves a weaker impossibility result due to Goldberg, Shangguan, and Tamo.
For our second main result, we prove that there is a fundamental shortcoming in existing methods that aim to construct explicit, optimal list-recoverable codes. Indeed, recent work has constructed explicit codes achieving list-decoding capacity (along with other related properties) using a framework introduced in the work of Alon--Edmonds--Luby (AEL). We give a meta-analysis of such constructions by presenting an ``AEL framework'' which captures all such recent constructions in the literature. Within this framework, we show that no AEL-based code can break a recently-identified list-recovery barrier for additive and linear codes.
Maximum Likelihood Estimation on the Grassmannian of Lines
We study the positive Grassmannian through the lens of algebraic statistics. A closed formula is presented for the maximum likelihood degree of the Grassmannian of lines. We conjecture that the probability simplex contains a unique local maximum, and we present computational evidence for this.
Rational exponents near 3/2
Given a graph $H$, the extremal number $ex(n,H)$ is the maximum number of edges in an $n$-vertex graph not containing $H$ as a subgraph. The well-known rational exponents conjecture of Erdős and Simonovits states that for any rational $γ\in (1,2)$ there exists a single bipartite graph $H$ satisfying $ex(n,H)=Θ(n^γ)$. Among other results, the conjecture has been verified for all $γ=1+a/b$, where $b>a^2$, by Jiang and Qiu and for all $γ=2-a/b$, where $b>\max\{a, (a-1)^2\}$, by Conlon and Janzer.
In this paper, we establish the rational exponents conjecture for many $γ$ near the center of the interval, namely, for all $γ=1+\frac{rt-1}{2rt+2r}$, where $r,t$ are natural numbers satisfying $t\geq 2$, $r\geq 2t+3$.
Negative-index $u$-deformed homogeneous functions and Ramanujan partial theta functions
We introduce and study a class of \(u\)-deformed homogeneous functions of complex order \(\rr_α(x,y;u\,|\,q)\), obtained by extending \(u\)-deformed homogeneous polynomials beyond the nonnegative integer regime. We establish their basic analytic and algebraic properties, including convergence criteria, recurrence relations, \(q\)-derivative formulas, and an operator-theoretic realization through a deformed \(q\)-exponential operator. A central feature of the theory appears in the negative-index sector: for every nonnegative integer \(n\), the functions \(\rr_{\minus n\minus1}(x,y;u\,|\,q)\) admit finite triangular decompositions in terms of shifted Ramanujan partial theta functions. We also prove the inverse triangular transformation, showing that the corresponding partial theta functions can be recovered from the negative-index \(u\)-deformed homogeneous functions. We also derive pantograph-type \(q\)-difference equations for these functions. Finally, we derive specialized forms of the negative-index theory in Cauchy and Stieltjes--Wigert-type regimes, including a boundary geometric case and genuine partial-theta regimes.
Remainders of generalised Taylor expansions and a priori bounds for rough differential equations
In this article we establish global a priori estimates on the solution of a generic rough differential equation driven by an $α$-Hölder path covering the full range of regularity $α\in(0,1)$, under the hypothesis of Lipschitz continuity (but neither boundedness nor coercivity) of specific combinations of the coefficients and their derivatives, called elementary differentials. Our main tool is a closed formula for the remainder of a generalised Taylor expansion in terms of products of gradients of the elementary differentials, which allows to take advantage of cancellations in an optimal way.
Some New Sufficient Conditions for a Graph to be $l$-Deficient
For a (molecular) graph $G$ and any real number $α\ne 0$ , the zero-order general Randić index , denote by $^0R_α$, is defined by the following equation: \begin{align*}
{^0R_α} (G) =\sum_{v\in G}d_G (v) ^α (α\in \mathbb{R}-\left\{0\right\}) . \end{align*} The deficiency of $G$, denoted by $def(G)$, is equal to the cardinality of vertices which are not covered by a maximum matching in $G$. A graph G is called $l$-deficient if $def(G)\le l$.
In this paper, we use this index to give sufficient conditions for a connected graph, bipartite graph and a balanced bipartite graph $G$ to satisfy the $l$-deficient property, and show that none of these conditions can be dropped. We will also use these results to enhance and generalise the results that already obtained by M. An and K. C. Das in 2018 and G. Su et al. in 2022.
Proof of Barry's Four Hankel Determinant Conjectures
Barry introduced a central transform of integer sequences and proposed four conjectures concerning the Hankel transforms of central transform of four rational families. We prove these four conjectures. The proofs are unified within a common algebraic framework: we interpret the Hankel determinants as Gram determinants and use a basis of shifted monic Chebyshev polynomials to reveal the finite-band structure of the associated Gram matrices.
Acyclic Poset Multiplihedra and their Quotients
Two families of polytopes underlie the combinatorics of associative operations. Associahedra and multiplihedra respectively capture the information in the operation itself and in the morphisms that respect that operation. The first applications of these polytopes, from Stasheff, were for modeling homotopy associative spaces and their homotopy homomorphisms. Later, lax and weak higher categories used both as the shapes of commuting diagrams. More recently, the associahedra have been generalized to versions based on graphs, and then to posets: the acyclonestohedra. Here we use the graph multiplihedra to define and realize new multiplihedra for the acyclonestohedra. Quotients of these are also studied, concluding with the interval polytopes of the order polytopes of posets.
Strong Colouring of the Qualitative Independence Hypergraph $3\text{-}QI(11,2)$
We determine the strong independence number of the qualitative independence hypergraph, $3\text{-}QI(11, 2)$, using a technique that involves considering its vertices as subsets of $\{1,2, \ldots, 11\}$ and assessing them as intersecting set systems. This gives the maximum size of colour classes in any strong colouring and thus, a lower bound on the strong chromatic number of $3\text{-}QI(11,2)$. We leverage this bound along with an upper bound of the strong chromatic number of $3\text{-}QI(10,2)$, to consequently, establish that the covering array number of $3\text{-}QI(11, 2)$, $CAN(3\text{-}QI(11,2),2) = 11$ and give a sufficient condition for a hypergraph $H$ to have $CAN(H, 2)=11$.
On the Cores of Uniform and Almost-Uniform $3$-Qualitative Independence Hypergraphs
Qualitative independence hypergraphs provide a useful combinatorial framework for analyzing the existence and structure of covering arrays. In this work, we study the \emph{uniform} and \emph{almost-uniform $3$-qualitative independence hypergraphs} $3\text{-}UQI(n,2)$ and $3\text{-}AUQI(n,2)$, and establish a structural correspondence between these families and merged Johnson graphs, with emphasis on their cores. Focusing on the smallest unresolved instance, $3\text{-}QI(8,2)$, we classify all of its strongly independent sets and determine its strong independence number. Using this, along with its strong chromatic number and the size of the largest $3$-clique, we show that $3\text{-}QI(8,2)$ is a core. For $n>8$, we further identify sufficient conditions under which $3\text{-}UQI(n,2)$ and $3\text{-}AUQI(n,2)$ are cores.
A duality of misère games and play with a pass
In combinatorial game theory, the choice of play convention is a fundamental aspect of the theory. The two most widely studied conventions are normal play, in which the player who makes the last move wins, and misère play, in which the player who makes the last move loses. Another well-known variant is play with a single shared pass. In such games, at most one pass may be used in total during the game: once the pass has been used, neither player may pass thereafter. Moreover, once a terminal position has been reached, passing is no longer allowed. Recall that, for misère play, one sometimes defines SG values (or Sprague-Grundy values) in the same recursive manner as in normal play but assigns the terminal position the value 1. Also, SG values can be considered for normal-play games with a pass. In this work, we propose transformations that allow both misère play and play with a pass to be treated as normal-play games. As a consequence, we show that there is a certain duality between a generalization of misère play and a generalization of play with a pass.
A Local Classification of Four-Element Multiple Sumsets
For a finite set $A\subset\mathbb{Z}$, write $hA$ for its $h$-fold sumset, and let \[ R(h,k)=\{|hA|:A\subset\mathbb{Z},\ |A|=k\}. \] We determine the part of $R(h,4)$ lying between $4h+2$ and $6h-4$: for $h=4$ the only value is $5h-1$, while for $h\geq 5$ the only values are $5h-1$ and $5h+1$. This proves Rajagopal's conjectured gap $5h\notin R(h,4)$ for every $h\geq 4$. For $h\geq 6$, it also yields the new missing interval $[5h+2,6h-4]$, which lies outside Rajagopal's general excluded set. Lev's lower bound for the successive growth of multiple sumsets reduces the problem to normalized sets of affine diameter five, of which there are only six. Reflection and four elementary exact sumset computations finish the classification.
On the toric lifting properties for simplicial $3$-spheres
We study the lifting problem for mod $2$ characteristic maps over simplicial $3$-spheres. Using a bad-block partition of the universal complex $X(\mathbb{Z}_2^4)$, we prove an avoidance criterion for liftability. We show that every simplicial $3$-sphere with at most $20$ vertices has the toric lifting property. We also obtain image-size and join-type results, and prove sharpness of the image-size bound in the universal-complex sense.