Showing 20 papers (Total: 83342 papers, 48132 authors in database)
Diagonal Supersymmetry for Coinvariant Rings
For finite groups $G$, we show that bosonic-fermionic coinvariant rings have a natural $U(\mathfrak{gl}(k|j)) \otimes \mathbb{C}[G]$-module structure. In particular, we show that their character series are a sum of super Schur functions $s_λ(\mathbf{q}/\mathbf{u})$ times irreducible characters of $G$ with universal coefficients, which do not depend on $k,j$. In the case where $G$ is the symmetric group with diagonal action, this proves the "Diagonal Supersymmetry" conjecture of Bergeron (2020).
Cluster automorphism group of braid varieties
The cluster automorphism group of a cluster variety was defined by Gekhtman--Shapiro--Vainshtein, and later studied by Lam--Speyer. Braid varieties are interesting affine algebraic varieties indexed by positive braid words. It was proved recently that braid varieties are cluster varieties. In this paper, we propose a description of the cluster automorphism group and its action on braid varieties, and compute several examples.
A Spectral Turán Problem for a Fixed Tree
Published
• View Publication
• BIB
We study the spectral Turán problem for trees. To avoid limiting our perspective to specific families of trees, we parametrize trees in terms of their unique bipartition. We say $T \in \mathcal{T}_{m,l+1}^δ$ if $T$ is a tree of order $m$, where the order of the smaller partite set $A$ of $T$ is $l+1$, and $δ$ is the minimum degree of the vertices in $A$. The motivation for this parametrization comes from the recent proof of the spectral Erdős-Sós conjecture. For a given fixed tree $T$, we describe $\mathrm{SPEX}(n,T)$ and consequently, bound $\mathrm{spex}(n,T)$ in terms of $m,l,δ$ for that tree. Our approach combines spectral arguments with new results and constructions on embedding a tree $T \in \mathcal{T}_{m,l+1}^δ$ into graphs of the form $\overline{K}_l \vee m S_δ$. We give bounds on $\mathrm{spex}(n,T)$ within an error of $Θ(n^{-1/2})$ and $Θ(n^{-1})$ that are based on our embedding results for the given $T$.
Faces in girth-saturated graphs on surfaces
Published in Discrete & Computational Geometry, 2026, Vol. 76, No. 3, pp. 1503--1523
• View Publication
• BIB
What is the maximum length ${\rm f}_{\rm max}(\ell, Σ)$ of a facial cycle of an inclusion-maximal graph with girth at least $\ell$ embedded on a given surface $Σ$? If $Σ=\mathcal{P}$ is a plane, we show that $3\ell-11\leq {\rm f}_{\rm max}(\ell, \mathcal{P})\leq 8\ell-13$. We also prove that ${\rm f}_{\rm max}(\ell, Σ)$ is bounded for any integer $\ell$ and any closed surface $Σ$. For a fixed $Σ$, we show that $Ω(\ell) ={\rm f}_{\rm max}(\ell, Σ) = O(\ell^2)$, while for a fixed $\ell\ge 6$, ${\rm f}_{\rm max}(\ell, Σ)=Θ(g)$, where $g$ is the genus of $Σ$.
Efficient computation of complementary set partitions, with applications to an extension and estimation of generalized cumulants
This paper develops new combinatorial approaches to analyze and compute special set partitions, called complementary set partitions, which are fundamental in the study of generalized cumulants. Moving away from traditional graph-based and algebraic methods, a simple and fast algorithm is proposed to list complementary set partitions based on two-block partitions, making the computation more accessible and implementable also in non-symbolic programming languages like R. Computational comparisons in Maple demonstrate the efficiency of the proposal. Additionally the notion of generalized cumulant is extended using multiset subdivisions and multi-index partitions to include scenarios with repeated variables and to address more sophisticated dependence structures. A formula is provided that expresses generalized multivariate cumulants as linear combinations of multivariate cumulants, weighted by coefficients that admit a natural combinatorial interpretation. Finally, the introduction of dummy variables and specialized multi-index partitions enables an efficient procedure for estimating generalized multivariate cumulants with a substantial reduction in data power sums involved.
On the existence of stable contract systems
In 1962, Gale and Shapley \cite{GS} introduced the concept of stable marriages and proved their existence. Since then, the statement of the stability problem has been highly generalized. And a lot of proofs has emerged for the existence in these more general statements. It's time to review them and identify the similarities and differences. First, we will briefly discuss the classical case, because the existence proofs in the general case grew out of it. Or rather, from the idea of "deferred acceptance". When the best of the proposed contracts is temporarily retained until a better offer is received.
Independent Set Enumeration in King Graphs by Tensor Network Contractions
This paper discusses the enumeration of independent sets in king graphs of size $m \times n$, based on the tensor network contractions algorithm given in reference~\cite{tilEnum}. We transform the problem into Wang tiling enumeration within an $(m+1) \times (n+1)$ rectangle and compute the results for all cases where $m + n \leq 79$ using tensor network contraction algorithm, and provided an approximation for larger $m, n$.
Using the same algorithm, we also enumerated independent sets with vertex number restrictions. Based on the results, we analyzed the vertex number that maximize the enumeration for each pair $(m, n)$. Additionally, we compute the corresponding weighted enumeration, where each independent set is weighted by the number of its vertices (i.e., the total sum of vertices over all independent sets). The approximations for larger $m, n$ are given as well.
Our results have added thousands of new items to the OEIS sequences A089980 and A193580. In addition, the combinatorial problems above are closely related to the hard-core model in physics. We estimate some important constants based on the existing results, and the relative error between our estimation of the entropy constant and the existing results is less than $10^{-9}$.
Arithmetic properties of MacMahon-type sums of divisors: the odd case
Published in Journal of Combinatorial Theory, Series A Volume 218, February 2026, 106105
• View Publication
• BIB
A century ago, P. A. MacMahon introduced two families of generating functions, $$ \sum_{1\leq n_1<n_2<\cdots<n_t}\prod_{k=1}^t\frac{q^{n_k}}{(1-q^{n_k})^2} \quad\text{ and } \sum_{\substack{1\leq n_1<n_2<\cdots<n_t\\ \text{$n_1,n_2,\dots,n_t$ odd}}}\prod_{k=1}^t\frac{q^{n_k}}{(1-q^{n_k})^2}, $$ which connect sum-of-divisors functions and integer partitions. These have recently drawn renewed attention. In particular, Amdeberhan, Andrews, and Tauraso extended the first family above by defining $$ U_t(a,q):=\sum_{1\leq n_1<n_2<\cdots<n_t}\prod_{k=1}^t\frac{q^{n_k}}{1+aq^{n_k}+q^{2n_k}} $$ for $a=0, \pm1, \pm2$ and investigated various properties, including some congruences satisfied by the coefficients of the power series representations for $U_t(a,q)$. These arithmetic aspects were subsequently expanded upon by the authors of the present work. Our goal here is to generalize the second family of generating functions, where the sums run over odd integers, and then apply similar techniques to show new infinite families of Ramanujan--like congruences for the associated power series coefficients.
$λ$-matchability in cubic graphs
Published
• View Publication
• BIB
A vertex $v$ of a 2-connected cubic graph $G$ is $λ$-matchable if $G$ has a spanning subgraph in which $v$ has degree three whereas every other vertex has degree one, and we let $λ(G)$ denote the number of such vertices. Clearly, $λ=0$ for bipartite graphs; ergo, we define $λ$-matchable pairs analogously, and we let $ρ(G)$ denote the number of such pairs.
We improve the constant lower bounds on both $λ$ and $ρ$ established recently by Chen, Lu and Zhang [Discrete Math., 2025] using matching-theoretic parameters arising from the seminal work of Lovász [J. Combin. Theory Ser. B, 1987], and we characterize all of the tight examples. We also solve the problem posed by Chen, Lu and Zhang: characterize 2-connected cubic graphs that satisfy $λ=n$.
Algebro-combinatorial generalizations of the Victoir method for constructing weighted designs
A weighted $t$-design in $\mathbb{R}^d$ is a finite weighted set that exactly integrates all polynomials of degree at most $t$ with respect to a given probability measure. A fundamental problem is to construct weighted $t$-designs with as few points as possible. Victoir (2004) proposed a method to reduce the size of weighted $t$-designs while preserving the $t$-design property by using combinatorial objects such as combinatorial designs or orthogonal arrays with two levels. In this paper, we give an algebro-combinatorial generalization of both Victoir's method and its variant by the present authors (2014) in the framework of Euclidean polynomial spaces, enabling us to reduce the size of weighted designs obtained from the classical product rule. Our generalization allows the use of orthogonal arrays with arbitrary levels, whereas Victoir only treated the case of two levels. As an application, we present a construction of equi-weighted $5$-designs with $O(d^4)$ points for product measures such as Gaussian measure $π^{-d/2} e^{-\sum_{i=1}^d x_i^2} dx_1 \cdots dx_d$ on $\mathbb{R}^d$ or equilibrium measure $π^{-d} \prod_{i=1}^d (1-x_i^2)^{-1/2} dx_1 \cdots dx_d$ on $(-1,1)^d$, where $d$ is any integer at least 5. The construction is explicit and does not rely on numerical approximations. Moreover, we establish an existence theorem of Gaussian $t$-designs with $N$ points for any $t \geq 2$, where $N< q^{t}d^{t-1}=O(d^{t-1})$ for fixed sufficiently large prime power $q$. As a corollary of this result, we give an improvement of a famous theorem by Milman (1988) on isometric embeddings of the classical finite-dimensional Banach spaces.
Treewidth versus clique number. V. Further connections with tree-independence number
Published
• View Publication
• BIB
We continue the study of $(tw,ω)$-bounded graph classes, that is, hereditary graph classes in which large treewidth is witnessed by the presence of a large clique, and the relation of this property to boundedness of the tree-independence number, a graph parameter introduced independently by Yolov in 2018 and by Dallard, Milanič, and Štorgel in 2024. Dallard et al. showed that bounded tree-independence number is sufficient for $(tw,ω)$-boundedness, and conjectured that the converse holds. While this conjecture has been recently disproved, it is still interesting to determine classes where the conjecture holds; for example, the conjecture is still open for graph classes excluding an induced star, as well as for finitely many forbidden induced subgraphs. In this paper, we identify further families of graph classes where $(tw,ω)$-boundedness is equivalent to bounded tree-independence number. We settle a number of cases of finitely many forbidden induced subgraphs, obtain several equivalent characterizations of $(tw, ω)$-boundedness in subclasses of the class of complements of line graphs, and give a short proof of a recent result of Ahn, Gollin, Huynh, and Kwon [SODA 2025] establishing bounded tree-independence number for graphs excluding a fixed induced star and a fixed number of independent cycles.
A generalization of the Chvátal-Erdős theorem
Published
• View Publication
• BIB
A well-known result of Chvátal and Erdős from 1972 states that a graph with connectivity not less than its independence number plus one is hamiltonian-connected. A graph $G$ is called an $[s,t]$-graph if any induced subgraph of $G$ of order $s$ has size at least $t.$ We prove that every $k$-connected $[k+1,2]$-graph is hamiltonian-connected except $kK_1\vee G_{k},$ where $k\ge 2$ and $G_{k}$ is an arbitrary graph of order $k.$ This generalizes the Chvátal-Erdős theorem.
A Necessary Condition for Connectedness of Solutions to Integer Linear Systems
Published
• View Publication
• BIB
An integer linear system is a set of inequalities with integer constraints. The solution graph of an integer linear system is an undirected graph defined on the set of feasible solutions to the integer linear system. In this graph, a pair of feasible solutions is connected by an edge if the Hamming distance between them is one. In this paper, we consider a condition under which the solution graph is connected for any right-hand side vector. First, we prove that if the solution graph is connected for any right-hand side vector, then the coefficient matrix of the system does not contain some forbidden pattern as a submatrix. Next, we prove that if at least one of (i) the number of rows is at most 3, (ii) the number of columns is at most 2, (iii) the number of rows is 4 and the number of columns is 3 holds, then the condition that the coefficient matrix of the system does not contain the forbidden pattern is a sufficient condition under which the solution graph is connected for any right-hand side vector. This result is stronger than a known necessary and sufficient condition since the set of coefficient matrix dimensions is strictly larger.
On The Optimal General Solution To The Multi-Peg Tower of Hanoi
We derive a unified closed-form expression for the Frame-Stewart algorithm in the multi-peg Tower of Hanoi: M(p,n) = 2^(i(p,n)+1)*n - sum_{k=0}^{i(p,n)} 2^k * C(p+k-2, k), where i(p,n) = min{ j >= 0 : n <= C(p-1+j, j+1) }.
and prove it satisfies the Frame-Stewart recurrence for all (p,n) via double induction using discrete slope analysis with simplex boundaries. It shows that M(p,n) grows linearly within each regime, with slopes doubling at successive boundaries. We also prove Frame-Stewart optimality for the first two regimes indexed by i: for p-1 < n <= C(p,2), M(p,n) = 4n - 2p + 1; for C(p,2) < n <= C(p+1,3), M(p,n) = 8n - 2p^2 + 1. These results give optimality proofs for infinitely many (p,n) pairs beyond trivial cases, settling the conjecture up to n <= C(p+1,3).
The minimum number of distinct eigenvalues of a threshold graph is at most $4$
Published
• View Publication
• BIB
In this note we show that the minimum number of distinct eigenvalues of a threshold graph is at most $4$. Moreover, given any threshold graph $G$ and any nonzero real number $λ$, we explicitly construct a matrix $M$ associated with $G$ such that DSpec$(M)\subseteq\{-λ,0,λ,2λ\}$.
A near-optimal Quadratic Goldreich-Levin algorithm
In this paper, we give a quadratic Goldreich-Levin algorithm that is close to optimal in the following ways. Given a bounded function $f$ on the Boolean hypercube $\mathbb{F}_2^n$ and any $\varepsilon>0$, the algorithm returns a quadratic polynomial $q: \mathbb{F}_2^n \to \mathbb{F}_2$ so that the correlation of $f$ with the function $(-1)^q$ is within an additive $\varepsilon$ of the maximum possible correlation with a quadratic phase function. The algorithm runs in $O_\varepsilon(n^3)$ time and makes $O_\varepsilon(n^2\log n)$ queries to $f$, which matches the information-theoretic lower bound of $Ω(n^2)$ queries up to a logarithmic factor.
As a result, we obtain a number of corollaries:
- A near-optimal self-corrector of quadratic Reed-Muller codes, which makes $O_\varepsilon(n^2\log n)$ queries to a Boolean function $f$ and returns a quadratic polynomial $q$ whose relative Hamming distance to $f$ is within $\varepsilon$ of the minimum distance.
- An algorithmic polynomial inverse theorem for the order-3 Gowers uniformity norm.
- An algorithm that makes a polynomial number of queries to a bounded function $f$ and decomposes $f$ as a sum of poly$(1/\varepsilon)$ quadratic phase functions and error terms of order $\varepsilon$.
Our algorithm is obtained using ideas from recent work on quantum learning theory. Its construction deviates from previous approaches based on algorithmic proofs of the inverse theorem for the order-3 uniformity norm (and in particular does not rely on the recent resolution of the polynomial Freĭman-Ruzsa conjecture).
On some classes of bivalent and trivalent planar graphs
A graph is called bivalent or trivalent if there exists an eigenvector of the graph Laplacian composed from {-1,1} or {-1,0,1}, respectively. These bivalent and trivalent eigenvectors are important for engineering applications, in particular for vibrating systems. In this article, we determine the structure of bivalent and trivalent graphs in the following planar graph families: trees, unicyclic, bicyclic, and cactus.
A new lower bound for the Ramsey numbers $R(3,k)$
We prove a new lower bound for the off-diagonal Ramsey numbers, \[ R(3,k) \geq \bigg( \frac{1}{3}+ o(1) \bigg) \frac{k^2}{\log k }\, , \] thereby narrowing the gap between the upper and lower bounds to a factor of $3+o(1)$. This improves the best known lower bound of $(1/4+o(1))k^2/\log k$ due, independently, to Bohman and Keevash, and Fiz Pontiveros, Griffiths and Morris, resulting from their celebrated analysis of the triangle-free process. As a consequence, we disprove a conjecture of Fiz Pontiveros, Griffiths and Morris that the constant $1/4$ is sharp.
On expectations and variances in the hard-core model on bounded degree graphs
We extend the study of the occupancy fraction of the hard-core model in two novel directions. One direction gives a tight lower bound in terms of individual vertex degrees, extending work of Sah, Sawhney, Stoner and Zhao which bounds the partition function. The other bounds the variance of the size of an independent set drawn from the model, which is strictly stronger than bounding the occupancy fraction.
In the setting of triangle-free graphs, we make progress on a recent conjecture of Buys, van den Heuvel and Kang on extensions of Shearer's classic bounds on the independence number to the occupancy fraction of the hard-core model. Sufficiently strong lower bounds on both the expectation and the variance in triangle-free graphs have the potential to improve the known bounds on the off-diagonal Ramsey number $R(3,t)$, and to shed light on the algorithmic barrier one observes for independent sets in sparse random graphs.
Maximal 2-dimensional binary words of bounded degree
Let d be an integer between 0 and 4, and W be a 2-dimensional word of dimensions h x w on the binary alphabet {0, 1}, where h, w in Z > 0. Assume that each occurrence of the letter 1 in W is adjacent to at most d letters 1. We provide an exact formula for the maximum number of letters 1 that can occur in W for fixed (h, w). As a byproduct, we deduce an upper bound on the length of maximum snake polyominoes contained in a h x w rectangle.