math.CO ↗ arXiv
5220 papers in this category
The triplication method for constructing strong starters
The triplication method for constructing strong starters in $Z_{3m}$ from starters in $Z_{m}$ (say, a starter of order 21 from a starter of order 7) was proposed by the authors in 2025. The method reduced construction of the particular combinatorial design (a strong starter in a cyclic group) to solving a Sudoku-type problem -- an independent task with its own tools and techniques available. The Sudoku-type problem was formulated in terms of the so-called triplication table constructed from a starter of order $m$. The method was applicable for odd orders $m\ge 7$ not divisible by 3. In the present paper, our previous approach is developed in two directions: (1) the definition of the triplication table is generalized, which expands possibilities for its construction to include three base starters or even ``pseudostarters''; (2) the formulation of the Sudoku-type problem is broadened to embrace various scenarios of ``modular encoding'' and reconstruction of strong starters from its solution. A theoretical gain of these developments consists in the improved understanding of the general structure of the triplication approach. A practical outcome is elimination of the requirement that $m$ be not divisible by 3. This leads to a broader scope of strong starters obtainable by triplication: any latent strong starter of odd order $3m$ can emerge this way.
Finiteness of specializations of the $q$-deformed modular group at roots of unity
Recently, Morier-Genoud and Ovsienko introduced the $q$-deformed modular group.
For construction, they first gave a group $G_q \subset \operatorname{GL}(2, {\mathbb Z}[q^{\pm}])$ and then set $\operatorname{PSL}_q(2,{\mathbb Z}):=G_q/Z(G_q)$. We show that for $ζ\in {\mathbb C}^*$, $\operatorname{PSL}_q(2,{\mathbb Z})|_{q=ζ}$ is finite, if and only if so is $G_q(ζ):=G_q|_{q=ζ} \subset \operatorname{GL}(2,{\mathbb C})$, if and only if $ζ=ζ_n$ for $n=2,3,4,5$, where $ζ_n$ is a primitive $n$-th root of unity. Moreover, $G_q(ζ_n) \cap \operatorname{SL}(2,\mathbb{C})$ is isomorphic to the binary tetrahedral group (resp. the binary icosahedral group), if $n=3,4$ (resp. $n=5$). When $n=6$, the groups are infinite, but still "mild". We also give several applications (e.g., the special values of the normalized Jones polynomials of rational links).
On order-compatible paths in infinite graphs
Two $a{-}b$ paths in a graph $G$ are order-compatible if their common vertices occur in the same order when travelling from $a$ to $b$. Suppose a graph contains an infinite number $δ$ of edge-disjoint $a{-}b$ paths. G.A. Dirac asked whether there always exists a family of $δ$ edge-disjoint $a{-}b$ paths that are pairwise order-compatible. Confirming a conjecture by B. Zelinka, we show that this holds provided that the given $δ$ edge-disjoint $a{-}b$ paths have bounded length. Combining this with an earlier work of Zelinka, it follows that Dirac's question for an infinite cardinal $δ$ has an affirmative answer if and only if $δ$ has uncountable cofinality. As our second main result, we show that even when Dirac's question fails, it still holds that 'being connected by $δ$ edge-disjoint, pairwise order-compatible paths' is an equivalence relation for all values of $δ$. The most interesting case here is when $δ$ is countable.
WELLDOC property for words generated by morphisms
In this paper, we study an abelian-type property of infinite words called well distributed occurrences, or WELLDOC for short. An infinite word $w$ on a $d$-ary alphabet has the WELLDOC property if, for each factor $u$ of $w$, positive integer $m$, and vector $v\in \mathbb{N}^d$, there is an occurrence of $u$ such that the Parikh vector of the prefix of $w$ preceding such occurrence is congruent to $v$ modulo $m$. The Parikh vector of a finite word $v$ on an alphabet has its $i$-th component equal to the number of occurrences of the $i$-th letter in $v$. We provide a criterion of the WELLDOC property for words generated by morphisms.
Pseudo-Gorenstein$^{*}$ Graphs
Motivated by pseudo-Gorenstein rings in commutative algebra, introduced by Herzog et al., we define pseudo-Gorenstein$^{*}$ graphs and classify them in several natural graph families using independence polynomials.
Subdivisions of root polytopes and generalized tropical oriented matroids (Extended abstract)
We study a generalization of tropical oriented matroids by Ardila and Develin, and show that they are in bijection with subdivisions of root polytopes, which are sub-polytopes of a product of two simplices.
A characterization of interval nest digraphs
A digraph consisting of a set of vertices $V$ and a set of arcs $E$ is called an interval digraph if there exists a family of closed intervals $\{I_u,J_u\}_{u \in V}$ such that $uv$ is an arc if and only if the intersection of $I_u$ and $J_v$ is non-empty. Interval digraphs naturally generalize interval graphs, by extending the classical interval intersection model to directed graphs. Several subclasses of interval digraphs have been studied in the literature-such as balanced, chronological and catch interval digraphs-each characterized by admitting interval representations that satisfy specific restrictions. Among these, interval nest digraphs are the ones that admit an interval representation in which $J_u$ is contained in $I_u$ for all vertices $u$ of $V$.
In this work, we provide a complete characterization of interval nest digraphs in terms of vertex linear orderings with forbidden patterns, which we call nest orderings. This result completes the picture of vertex-ordering characterizations among the main subclasses of interval digraphs.
Low order maximally single-trace graphs as the first counterexamples to large N factorization in random tensors
We give the first and lowest order examples of 3-regular 3-edge-colored graphs that demonstrate the non-factorization of tensor model invariants in the large N limit of Gaussian random tensors, as proven on general grounds in [Gurau R., Joos F. and Sudakov B., Lett. Math. Phys., 115 (2025), arXiv:2506.15362 [math-ph]]. This non-factorization is in stark contrast to the well-known large N factorization for random matrices.
Monge-Ampère measures on balanced polyhedral spaces
We study classes of convex functions on balanced polyhedral spaces and establish various structural properties, including a compactness theorem for polyhedrally plurisubharmonic functions. Using tropical intersection theory, we construct Monge--Ampère measures, first associated with piecewise affine functions, and then we extend it to polyhedrally plurisubharmonic functions.
We investigate polyhedral Monge--Ampère equations on balanced polyhedral spaces via a variational approach, providing sufficient conditions for the existence of solutions as well as explicit counterexamples. Finally, we relate our framework to non-archimedean pluripotential theory and explore its connection with the non-archimedean Monge--Ampère equation.
Faster Parametric Submodular Function Minimization by Exploiting Duality
Let $f:2^{E} \rightarrow \mathbb{Z}_+$ be a submodular function on a ground set $E = [n]$, and let $P(f)$ denote its extended polymatroid. Given a direction $d \in \mathbb{Z}^n$ with at least one positive entry, the line search problem is to find the largest scalar $λ$ such that $λd \in P(f)$. The best known strongly polynomial-time algorithm for this problem is based on the discrete Newton's method and requires $\tilde{O}(n^2 \log n)\cdot$ SFM time, where SFM is the time for exact submodular function minimization under the value oracle model.
In this work, we study the first weakly polynomial-time algorithms for this problem. We reduce the number of calls to the exact submodular minimization oracle by exploiting a dual formulation of the parametric line search problem and recent advances in cutting plane methods. We obtain a running time of
\[
O\bigl(n^2 \log(nM\|d\|_1)\cdot \text{EO} + n^3 \log(nM\|d\|_1)\bigr) + O(1)\cdot \text{SFM},
\]
where $M = \|f\|_\infty$ and EO is the cost of evaluating $f$ at a set. Note that when $\log \|d\|_1 = O(\log (nM))$, this matches the current best weakly polynomial running time for submodular function minimization [Lee, Sidford, Wong '15], and therefore, one cannot hope to improve this running time. Our approach proceeds by deriving a dual formulation that minimizes the Lovász extension $F$ over a hyperplane intersecting the unit hypercube, and then solving this dual problem approximately via cutting-plane methods, after which we round to the exact intersection using the integrality of $f$ and $d$.
The Lovász conjecture holds for moderately dense Cayley graphs
We show that there is an absolute constant $c>0$ such that every large connected $n$-vertex Cayley graph with degree $d\geq n^{1-c}$ has a Hamilton cycle. This makes progress towards the Lovász conjecture and improves upon the previous best result of this form due to Christofides, Hladký, and Máthé from 2014 concerning graphs with $d\geq \varepsilon n$. Our proof avoids the use of Szemerédi's regularity lemma and relies instead on an efficient arithmetic regularity lemma specialised to Cayley graphs.
Crystal Melting, Triality and Partition Functions for Toric Calabi-Yau Fourfolds
We extend the study of the recently introduced crystal melting models associated to toric Calabi-Yau 4-folds in several directions. In particular, we investigate in greater detail the structure of these models for general toric CY 4-folds and flavor configurations, using the explicit example of $Q^{1,1,1}$ to illustrate our ideas. To this end, we develop an efficient algorithm for constructing crystals based on periodic quivers. A central goal of this work is to understand the behavior of crystals and their partition functions under triality. We analyze the evolution of crystals along periodic triality cascades and generate detailed data for these systems, including Hasse diagrams, partition functions, and the multiplicities of melting configurations. We introduce the notion of stable variables and show that they lead to the stabilization of the partition functions along cascades. Finally, we define the profile of the crystal partition function and observe that, when expressed in terms of stable variables, it displays interesting behavior. A further motivation for this work is to generate empirical data that may guide the search for a physically motivated generalization of cluster algebras associated with $2d$ (0,2) quiver theories and their triality transformations.
The structure of group-labeled graphs forbidding an immersion
A $Γ$-labeled graph is an oriented graph with edges invertibly labeled by a group $Γ$. We prove a structure theorem for $Γ$-labeled graphs which forbid a fixed $Γ$-labeled graph as an immersion, for any finite $Γ$. Roughly, we show that such graphs admit a tree-cut decomposition in which every bag either contains few high degree vertices or is nearly signed over a proper subgroup of $Γ$.
Circular chromatic index of small graphs
We systematically determine circular chromatic index of small graphs and multigraphs with maximum degree $4$, $5$, $6$ (and also their number for a given small order). We construct several infinite families of such graphs with circular chromatic index in the set $\{Δ+ 1/2, Δ+ 2/3, Δ+ 3/4$, $Δ+ 1\}$. Our results refute edge-connectivity variants of the ``Upper Gap Conjecture'' (about the non-existence of graphs with circular chromatic index just below $Δ+ 1$).
Asymptotic $\mathrm{v}$-number of graded families of ideals and the Newton-Okounkov region
In this paper, we prove that for Noetherian graded families $\mathcal{I} = \{I_k\}_{k \ge 0}$ of homogeneous ideals, $\lim\limits_{k \to \infty} \frac{\mathrm{v}(I_k)}{k}$ exists, %equals $\lim\limits_{k \to \infty} \frac{α(I_k)}{k}$,
and is given by $\frac{α(I_r)}{r}$ for some $r \ge 1$, where $α(I)$ denotes the initial degree. Extending these results to integral closures, we show that \( \lim\limits_{k\to\infty}\frac{\mathrm{v}(\overline{I_k})}{k} = \lim\limits_{k\to\infty}\frac{α(\overline{I_k})}{k}=\lim\limits_{k\to\infty}\frac{\mathrm{v}(I_k)}{k}=\lim\limits_{k\to\infty}\frac{α(I_k)}{k} \). For monomial ideals, we provide a combinatorial interpretation of these limits via Newton--Okounkov regions $Δ(\mathcal{I})$. %demonstrating that they equal $λ(Δ(\mathcal{I}))$, the minimum coordinate sum among vertices of $Δ(\mathcal{I})$. This connection is further generalized to arbitrary homogeneous ideals using good valuations. We also establish that both $\operatorname{reg}(I_k)$ and $\mathrm{v}(I_k)$ are eventually quasi-linear functions of $k$ for any Noetherian graded family. %Under suitable conditions, we prove the strict inequality $\mathrm{v}(I_k) < \operatorname{reg}(I_k)$. For stable monomial ideal $I$ we show that $\mathrm{v}(I) < \operatorname{reg}(I)$. Finally, for zero-dimensional homogeneous ideal $I$ in a polynomial ring $S$, we prove that $\mathrm{v}(I) < e(S/I)$, where $e(S/I)$ denote the multiplicity.
Domination polynomial of co-maximal graphs of integer modulo ring
We investigate the domination polynomial of the co-maximal graph $Γ(\mathbb{Z}_n)$ related to the ring of integers modulo $n$. Explicit formulas are derived for \( n = p^{n_1} \) and \( n = p^{n_1}q^{n_2} \), demonstrating that the resulting polynomials exhibit unimodality and log-concavity. For general $n$, we present structural expressions that connect $D(Γ(\mathbb{Z}_n),x)$ to appropriate induced subgraphs. Finally, we examine domination roots and establish bounds for their moduli using the Eneström--Kakeya theorem.
Hierarchical threshold structure in Max-Cut with geometric edge weights
We study a family of weighted Max-Cut instances on the complete graph $K_n$ in which edge weights decrease geometrically in lexicographic order: the $i$-th edge has weight $r^{N-i}$ where $N=\binom{n}{2}$. For $r\ge 2$, the lexicographically first cut is optimal; for $r=1$, all edges have equal weight and the balanced partition wins. In this paper we study the intermediate regime $1< r <2$.
The geometric weighting makes early edges dominant and singles out the $k$-isolated cuts $C_k=\{1,\dots,k\}\mid\{k+1,\dots,n\}$ as natural candidates for optimality. For each $n$ and $k\le\lfloor n/2\rfloor-1$, we define threshold polynomials $P^{n,k}(r)$ whose unique roots $r_k(n)\in(1,2)$ determine when $C_k$ and $C_{k+1}$ exchange dominance. We prove that, for fixed $n$, these thresholds are strictly decreasing in $k$ and that $r_k(n)\to 1$ as $n\to\infty$. As our main result, we show that for $r\in(r_k(n),r_{k-1}(n))$ the cut $C_k$ achieves maximum weight among all isolated cuts, yielding a sharp phase diagram for the isolated-cut family.
We conjecture that isolated cuts are globally optimal among all $2^{n-1}$ cuts when $n\ge 7$; all counterexamples for small $n$ are characterized completely, and extensive computations for $n\le 100$ support the conjecture.
Degree-Based Weighted Adjacency Matrices: Spectra, Integrality, and Edge Deletion Effects
The article presents weighted adjacency spectrum of complete multipartite graphs, characterize its families with three distinct eigenvalues and identifies integral matrices. Also, we observe that for almost all weighted matrices, the energy and the spectral radius of a complete graph decreases upon edge deletion, thereby correcting and refining earlier published results in [Bilal and Munir, Int. J. Quantum Chem. (2024)]. Furthermore, we give counter examples related to $ISI$ energy decrease of regular tripartite graph by edge deletion and give its correct $ISI$ spectrum and $ISI$ energy and settle an open problem related to $ISI$ energy change of the multipartite graph. Also, we calculate the weighted adjacency spectrum of crown multipartite graph and discuss its integral spectral weighted spectrum.
On the statistics of random-to-top shuffles
We prove limit theorems for the number of fixed points, descents, and inversions of iterated random-to-top shuffles in two limiting cases. Our proofs are analytical and rely on novel combinatorial decompositions of each statistic into randomly indexed statistics of uniformly random permutations. New combinatorial proofs of the expected number of fixed points and inversions are given. Our results answer questions of Diaconis, Fulman, and Pehlivan.
2-switch: transition and satability on forests and pseudofests
Given any two forests (pseudoforests) with the same degree sequence, we show that one can be transformed into the other by a sequence of 2-switches in such a way that all the intermediate graphs of the transformation are forests (pseudoforests). We also prove that the 2-switch operation perturbs minimally some well-known integer parameters in families of graphs with the same degree sequence. Then, we apply these results to conclude that the studied parameters have the interval property on those families.