Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Reinforced Generation of Combinatorial Structures: Hardness of Approximation
Can AI based methods help us make advances in complexity theory? We provide evidence towards answering this in the affirmative, using AlphaEvolve (an LLM code mutation agent) to obtain new results in three settings:
a) We improve a recent result of Kunisky and Yu to obtain near-optimal upper and (conditional) lower bounds on certification algorithms for MAX-CUT and MAX-Independent Set on random 3- and 4-regular graphs. Our improved lower bounds are obtained by constructing nearly extremal Ramanujan graphs on as many as $163$ vertices, and our upper bounds are obtained via analytical arguments.
b) We obtain new inapproximability results for MAX-4-CUT and MAX-3-CUT, proving that it is NP-hard to approximate them within factors of $0.987$ and $0.9649$ respectively, using AlphaEvolve to discover new gadget reductions. Our MAX-4-CUT result improves upon the SOTA of $0.9883$, and our MAX-3-CUT result improves on the current best gadget-based inapproximability result of $0.9853$, but falls short of the SOTA of $16/17$ that relies on a custom PCP (rather than a reduction from ``standard'' Håstad-style PCPs).
c) Inapproximability for the metric Traveling Salesman Problem (TSP): We show that it is NP-hard to approximate the minimum cost tour within a factor of $111/110$ using AlphaEvolve to discover a new gadget, thus improving the SOTA of $117/116$. Along the way, we provide new modular soundness and completeness arguments that can be of independent interest.
A key technical challenge we faced: verifying a candidate construction produced by AlphaEvolve is costly (sometimes requiring time exponential in the size of the construction). We used AlphaEvolve itself to evolve the verification procedure to be faster (sometimes by $10,000\times$ for our gadgets). Our results suggest that gadget based proofs would benefit from a pass through AI-based tools to obtain stronger results.
Graph enumeration for moduli spaces of curves and maps
We develop a calculus based on graph enumeration for $S_n$-equivariant motivic invariants of graphically stratified moduli spaces. We apply our theory to the Deligne--Mumford moduli space $\overline{\mathcal{M}}_{g, n}$ and to the space of torus-fixed stable maps $\overline{\mathcal{M}}_{g, n}(X, β)^{\mathbb{C}^\star}$ when the target $X$ admits an appropriate $\mathbb{C}^\star$-action, deriving new formulas in each case. A key role is played by the Pólya--Petersen character of a graph, which enriches Pólya's classical cycle index polynomial. This character is valued in an algebra $Λ^{[2]}$ of wreath product symmetric functions, which we study from combinatorial and representation-theoretic perspectives. We prove that this algebra may be viewed as the Grothendieck ring of the category of polynomial functors which take symmetric sequences of vector spaces to vector spaces, building on foundational work of Macdonald. This leads to a plethystic action of $Λ^{[2]}$ on the ring $Λ$ of ordinary symmetric functions. Using this action, we derive our formulas, which ultimately involve only ordinary symmetric functions and the Grothendieck ring of mixed Hodge structures.
Graph entropy, degree assortativity, and hierarchical structures in networks
Published in Physical Review E 112(6): 064315, 2025
• View Publication
• BIB
We connect several notions relating the structural and dynamical properties of a graph. Among them are the topological entropy coming from the vertex shift, which is related to the spectral radius of the graph's adjacency matrix, the Randić index, and the degree assortativity. We show that, among all connected graphs with the same degree sequence, the graph having maximum entropy is characterized by a hierarchical structure; namely, it satisfies a breadth-first search ordering with decreasing degrees (BFD-ordering for short). Consequently, the maximum-entropy graph necessarily has high degree assortativity; furthermore, for such a graph the degree centrality and eigenvector centrality coincide. Moreover, the notion of assortativity is related to the general Randić index. We prove that the graph that maximizes the Randić index satisfies a BFD-ordering. For trees, the converse holds as well. We also define a normalized Randić function and show that its maximum value equals the difference of Shannon entropies of two probability distributions defined on the edges and vertices of the graph based on degree correlations.
Clique-factors in graphs with low $K_{\ell}$-independence number
Given $r\in \mathbb{N}$ with $r\geq 4$, we show that there exists $n_0\in \mathbb{N}$ such that for every $n\geq n_0$, every $n$-vertex graph $G$ with $δ(G)\geq (\frac{1}{2}+o(1))n$ and $α_{r-2}(G)=o(n)$ contains a $K_{r}$-factor. This resolves the first open case of a question proposed by Nenadov and Pehova, and reiterated by Knierm and Su. We further introduce two lower bound constructions that, along with some known results, fully resolve a question presented by Balogh, Molla, and Sharifzadeh.
On some log-concavity properties of the Alexander-Conway and Links-Gould invariants
The Links--Gould invariant $\mathrm{LG}(L ; t_0, t_1)$ of a link $L$ is a two-variable quantum generalization of the Alexander--Conway polynomial $Δ_L(t)$ and has been shown to share some of its most geometric features in several recent works. Here we suggest that $\mathrm{LG}$ likely shares another of the Alexander polynomial's most distinctive - and mysterious - properties: for alternating links, the coefficients of the Links-Gould polynomial alternate and appear to form a log-concave two-indexed sequence with no internal zeros. The former was observed by Ishii for knots with up to 10 crossings. We further conjecture that they satisfy a bidimensional property of unimodality, thereby replicating a long-standing conjecture of Fox (1962) regarding the Alexander polynomial, and a subsequent refinement by Stoimenow. We also point out that the Stoimenow conjecture reflects a more structural phenomenon: after a suitable normalization, the Alexander polynomial of an alternating link appears to be a Lorentzian polynomial. We give compelling experimental and computational evidence for these different properties.
Combinatorial proofs of Petrie Pieri rule and Plethystic Pieri rule
Petrie symmetric functions $G(k,n)$, also known as truncated homogeneous symmetric functions or modular complete symmetric functions, form a class of symmetric functions interpolating between the elementary symmetric functions $e_n$ and the homogeneous symmetric functions $h_n$. Analogous to the Pieri rule for $s_μh_n$ and the dual Pieri rule for $s_μe_n$, Grinberg showed that the Schur coefficients for the ``Pieri rule'' of $s_μG(k,n)$ can be determined by the determinant $\pet_k(λ,μ)$ of Petrie matrices. Cheng, Chou, Eu, Fu, and Yao provided a ribbon tiling interpretation for the coefficient $\pet_k(λ,\varnothing)$, which was later generalized by Jin, Jing, and Liu to $\pet_k(λ,μ)$ in the case where $λ/μ$ is connected.
The goal of this paper is to offer a more transparent combinatorial perspective on the structure and behavior of Petrie symmetric functions. First, we provide a refined combinatorial formula for the determinant of a Petrie matrix in terms of certain orientations of the associated graph derived from the matrix. We then generalize the result of JJL to arbitrary skew shapes using purely combinatorial proofs. In addition, we investigate the generating function of these orientations with respect to certain statistics. As an application of our method, we present a combinatorial proof of the plethystic Pieri rule.
On the partition regularity of arithmetic progressions and linear equations in k-IP-sets
In this paper, we provide versions of Van der Waerden's theorem and Rado's theorem for finite colorings of IP-sets and k-IP-sets. Here, by an IP-set we mean a set of integers that contains all finite sums of an infinite subset of N, and we define k-IP-sets similarly to IP-sets but allowing each summand to appear with multiplicity bounded by k - 1.
Eccentric Connectivity Index of Strongly Connected Digraphs
Let $G = (V, E)$ be a graph with non-empty set of vertices $V$ and set of edges $E$. The \emph{eccentric connectivity index} of the graph $G$ is defined as $$\displaystyle{ξ^C(G) = \sum_{u \in V} d_u \;ecc(u)}$$ where $d_u$ is the degree and $ecc(u)$ is the eccentricity of the vertex $u \in V$. This article is an attempt to find the \emph{eccentric connectivity index} of strongly connected digraph $D$ with respect to the metric, \textit{maximum distance} defined by $md(u,v)=\max\{\vec{d}(u,v),\vec{d}(v,u)\}$. An attempt is also made to find the extremal values for strongly connected digraphs.
Closed Walks Of Low Dimension And Twisted Moments On Self-Loop Graphs
Let $G_S$ be a graph with loops attached at each vertex in $S \subseteq V(G).$ In this article, we develop exact formulae for the number of closed $3$- and $4$-walks on $G_S$ in terms of vertex degrees and certain elementary subgraphs of $G_S.$ We then derive the specific closed walks formulae for several graph families such as complete bipartite self-loop graphs, complete graphs, cycle graphs, etc. We demonstrate that such invariants are non-trivial in $G_S,$ which otherwise may be trivial in the loopless case. Moreover, we study a moment-like quantity $\mathcal{M}_q(G_S)=\sum^n_{i=1} |λ_i(G_S) - \fracσ{n}|^q,$ twisted by the spectral moment $\mathsf{M}_1(G_S)$ for $G_S,$ and show a positivity result. We also establish that the following ratio inequality holds: \[ \frac{\mathcal{M}_{1}}{\mathcal{M}_{0}} \leq \frac{\mathcal{M}_{2}}{\mathcal{M}_{1}} \leq \frac{\mathcal{M}_{3}}{\mathcal{M}_{2}} \leq \frac{\mathcal{M}_{4}}{\mathcal{M}_{3}} \leq \cdots \leq \frac{\mathcal{M}_{n}}{\mathcal{M}_{n-1}} \leq \cdots. \] As a consequence, we obtain lower bounds for the self-loop graph energy $\mathcal{E}(G_S)$ in terms of $\mathcal{M}_i,$ extending some classical bounds.
On saturation problems for matchings with regularity constraints
A graph $G$ is $F$-saturated if $G$ is $F$-free but for any edge $e$ in the complement of $G$ the graph $G + e$ contains $F$. Gerbner et al. (Discrete Math., 345 (2022), 112921) initiated the study of $rsat(n,F)$, the minimum number of edges in a regular $n$-vertex $F$-saturated graph, and they posed the problem of for which graphs $rsat(n, F )$ exists. Regarding this problem, we obtain the precise value of $rsat(n,(m+1)K_2)$ for all possible cases, where $(m+1)K_2$ denotes a matching of size $m+1$. As a natural counterpart, we also determine the maximum number of edges in a regular $n$-vertex $(m+1)K_2$-free graph for all $m\ge 1$ and $n\ge 2m+2$.
Localized and weighted versions of extremal problems
Malec and Tompkins (EUJC, 2023) considered the localized versions of Turán-type problems, and proved a localized theorem on Erdős-Gallai Theorem on paths. Zhao and Zhang (JGT, 2025) gave a long proof of a localized version of Erdős-Gallai Theorem on cycles.
In this paper, we consider several types of generalization of Turán-type problems, that is, localized versions, weighted versions, and generalized Turán-type problems, and their connectedness. We first present very short proofs for recent results of Malec-Tompkins and Zhao-Zhang, respectively. We use Small Path Double Cover Conjecture, which was proposed by Bondy (JGT, 1990) and confirmed by Hao Li (JGT, 1990), to prove a weighted localized Turán-type theorem on paths. We prove localized versions of Balister-Bollobás-Riordan-Schelp Theorem (JCTB, 2003) on paths and Erdős-Gallai Theorem on matchings, respectively. We show that our first localized result implies Balister-Bollobás- Riordan-Schelp Theorem, Erdős-Gallai Theorem, and Malec-Tompkins Theorem on paths. Finally, we present generalized Turán-style generalizations of the Malec-Tompkin's Theorem, and discuss the relationship between some previous theorems in different motivations.
A bijection between symmetric plane partitions and quasi transpose complementary plane partitions
We resolve the explicit bijection problem between symmetric plane partitions (SPPs) and quasi transpose complementary plane partitions (QTCPPs), introduced by Schreier-Aigner, who proved their equinumerosity. First, we relate this problem to Proctor's parallel equinumerosities for SPPs, even SPPs, staircase plane partitions, and parity staircase plane partitions, by constructing several bijections. As a result, we reduce the task to constructing a compatible bijection between even SPPs and staircase plane partitions. We then provide non-intersecting lattice path configurations for these objects, apply the LGV lemma, and transform the resulting path configurations. This process leads us to new combinatorial objects, $I_m$ and $J_m$, and the task is further reduced to constructing a compatible sijection (signed bijection) between $I_m$ and $J_m$, which is carried out in the final part of this paper. Our construction also answers the 35-year-old open problem posed by Proctor: constructing an explicit bijection between even SPPs and staircase plane partitions.
Computational results on semistrong edge coloring of graphs
The semistrong edge coloring, as a relaxation of the well-known strong edge coloring, can be used to model efficient communication scheduling in wireless networks. An edge coloring of a graph $G$ is called \emph{semistrong} if every color class $M$ is a matching such that every edge of $M$ is incident with a vertex of degree 1 in the subgraph of $G$ induced by the endvertices of edges in $M$. The \emph{semistrong chromatic index} $χ_{ss}'(G)$ of $G$ is the minimum number of colors required for a semistrong edge coloring. In this paper, we prove that the problem of determining whether a graph $G$ has a semistrong edge coloring with $k$ colors is polynomial-time solvable for $k\le2$ and is NP-complete for $k\ge3$. For trees, we develop a polynomial-time algorithm to determine the semistrong chromatic index exactly.
Two combinatorial puzzles arising from the theory of Kohnert polynomials
Motivated by recent work of Hanser and Mayers, we study two combinatorial puzzles arising from the theory of Kohnert polynomials. Such polynomials are defined as generating polynomials for certain collections of diagrams consisting of unit cells arranged in the first quadrant generated from an initial "seed diagram" by applying what are called "Kohnert moves". Each Kohnert move affects the position of at most cell of a diagram, attempting to move the rightmost cell of a given row to the first available position below and in the same column. In this paper, we study the combinatorial puzzles defined as follows: given a diagram $D$, form a diagram that is fixed by all Kohnert moves by applying either the fewest or most possible number of Kohnert moves. For both puzzles, we find complete solutions as well as methods for combinatorially computing the associated number of Kohnert moves in terms of the initial diagram $D$.
Cross-intersection theorems for uniform partitions of finite sets
A set partition is $c$-uniform if every block has size $c$. Two families of $c$-uniform partitions of a finite set are said to be cross $t$-intersecting if two partitions from different families share at least $t$ blocks. In this paper, we establish some product-type extremal results for such cross $t$-intersecting families. Our results yield an Erdős-Ko-Rado theorem and a Hilton-Milner theorem for uniform set partitions. Additionally, cross $t$-intersecting families with the maximum sum of their sizes are also characterized.
On asymptotic formula of the partition function $p_A(n)$
Published in INTEGERS, Vol. 14 (2014) #A2
• Search Publication
The partition function, $p_A(n)$, is defined to be the number of partitions of $n$ with parts in the set A, where $n$ is a positive integer and $A$ is a set of positive integers. It is well documented that: if A is a finite set with $\gcd(A)=1$ and $|A|=k$, then \[p_A(n)\sim \frac{n^{k-1}}{(\prod_{a\in A}a)(k-1)!}. \] Number of proofs have been obtained for this estimate. In this article, we give a new proof for the above estimate by making use of the fact that: $p_A(n)$ is a $quasi\ polynomial$ when A is a finite set. Present method of proof is purely combinatorial.
On a Conjecture of Schilling Regarding the Coupon Collector's Problem
This article addresses a conjecture by Schilling concerning the optimality of the uniform distribution in the generalized Coupon Collector's Problem (CCP) where, in each round, a subset (package) of $s$ coupons is drawn from a total of $n$ distinct coupons. While the classical CCP (with single-coupon draws) is well understood, the group-draw variant - where packages of size $s$ are drawn - presents new challenges and has applications in areas such as biological network models.
Schilling conjectured that, for $2 \leq s \leq n-1$, the uniform distribution over all possible packages minimizes the expected number of rounds needed to collect all coupons if and only if $s = n-1$. We prove Schilling's conjecture in full by presenting, for all other values of $s$, "natural" non-uniform distributions yielding strictly lower expected collection times. Explicit formulas and asymptotic analyses are provided for the expected number of rounds under these and related distributions.
The article further explores the behavior of the expected collection time as $s$ varies under the uniform distribution, including the cases where $s$ is constant, proportional to $n$, or nearly $n$.
Keywords: Coupon Collector's Problem (CCP), Group Drawings, Uniform Distribution, Expected Collection Time, Schilling's Conjecture, Optimal Distribution.
The Cyclic Sieving Phenomenon and frieze patterns
We exhibit two instances of the cyclic sieving phenomenon - one on dissections of a polygon of a fixed type and one on triangulations of a once-punctured polygon. We use these results to give refined enumerations of certain families of frieze patterns. We also give an interpretation of finite, positive integral frieze patterns fixed under nontrivial rotations as frieze patterns from a family of orbifolds and show that these are always unitary. Finally, we give a bijection between Holm-Jorgensen frieze patterns and p-Dyck paths, extending a recent construction of Canadas, Espinosa, Gaviria, and Rios, and discuss an induced rotation map on Dyck paths. Several conjectures and questions for future study are highlighted throughout the article.
Stable Invariants of Words from Random Matrices II: Formulas and Extensions
Let $w$ be a word in a free group. As was revealed by Magee and Puder in [arXiv:1802.04862], the stable commutator length (scl) of $w$, a well-known topological invariant, can also be defined in terms of certain stable Fourier coefficients of $w$-random unitary matrices. In the first part of the current work [arXiv:2311.17733], we demonstrated how this phenomenon is much broader: we proved more instances of such results and conjectured others. These new results and conjectures involved other topological invariants (relatives of scl) and different families of groups.
In the current paper we further extend and support this theory. We provide another instance of the theory and prove that the stable primitivity rank, too, can be expressed in terms of stable Fourier coefficients of $w$-random elements of groups. We introduce concrete formulas for stable Fourier coefficients of $w$-random elements in the symmetric group $S_N$ and its generalizations in the form of the wreath products $G\wr S_N$ where $G$ is an arbitrary compact group. We also define new stable invariants related to these groups, and prove they give bounds to many of the stable Fourier coefficients.
As an aside, we generalize to tuples of words a result of Puder and Parzanchevski [arXiv:1202.3269] about the expected number of fixed points of $w$-random permutations.
Existence, uniqueness and construction of locally most reliable two-terminal graphs
A two-terminal graph is a graph G equipped with two vertices in V(G) called terminals. Let T(n,m) be the set of two-terminal graphs on n vertices and m edges. Let G be in T(n,m) and let p be in [0,1]. The two-terminal reliability of G at p, denoted R_G(p), is the probability that G has a path joining its terminals after each of its edges is independently removed with probability 1 - p. We say G is a locally most reliable two-terminal graph (LMRTTG) if for each H in T(n,m) there exists a positive real number delta such that for every p in (0, delta) it holds that R_G(p) >= R_H(p).
It is simple to prove that there exists a unique LMRTTG in T(n,m) when n >= 4 and 5 <= m <= 2n - 3. Gong and Lin [Discrete Appl. Math. 356 (2024), 393-402] further proved that there exists a unique LMRTTG in T(n,m) when n >= 6 and 2n - 3 <= m <= n(n - 1)/2, except for some pairs of integers n and m which satisfy that n >= 6 and (1/2)(n - 2)(n - 3) - (n - 2)/2 <= m - (2n - 3) <= (1/2)(n - 2)(n - 3) + (n - 2)/2. All cases unresolved in earlier works are covered here. In this article it is proved that in each set T(n,m) such that n >= 4 and 5 <= m <= n(n - 1)/2 there exists a unique LMRTTG, called G(n,m). A construction of G(n,m) is also given.