Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Rainbow Turán problems for a matching and any other graph
For a family of graphs $\cF$, a graph is called $\cF$-free if it does not contain any member of $\cF$ as a subgraph. Given a collection of graphs $(G_1,\ldots,G_t)$ on the same vertex set $V$ of size $n$, a rainbow graph on $V$ is obtained by taking at most one edge from each $G_i$. We say that a collection is rainbow $\cF$-free if it contains no rainbow copy of any member of $\cF$. In this paper, we study the maximum values of $min_{i\in [t]}|E(G_i)|$, $\sum_{i=1}^{t}|E(G_i)|$ and $\prod_{i=1}^{t}|E(G_i)|$ among rainbow $\{F,M_{s+1}\}$-free collections $(G_1,\ldots,G_t)$ on $n$ vertices.
Lower bounds for cube-ideal set-systems
A set-system $S\subseteq \{0,1\}^n$ is cube-ideal if its convex hull can be described by capacity and generalized set covering inequalities. In this paper, we use combinatorics, convex geometry, and polyhedral theory to give exponential lower bounds on the size of cube-ideal set-systems, and linear lower bounds on their VC dimension. We then provide applications to graph theory and combinatorial optimization, specifically to strong orientations, perfect matchings, dijoins, and ideal clutters.
Non-isomorphic subgraphs in random graphs
We establish the asymptotic behaviour of $μ(G(n,p))$, the number of unlabelled induced subgraphs in the binomial random graph $G(n,p)$, for almost the entire range of the probability parameter $p=p(n)\in[0,1]$. In particular, we show that typically the number of subgraphs becomes exponential when $p$ passes $1/n$, reaches maximum possible base of exponent (asymptotically) when $p\gg 1/n$, and reaches the asymptotic value $2^n$ when $p$ passes $2\ln n/n$. For $p\gg \ln n/n$, we get the first order term and asymptotics of the second order term of $μ(G(n,p))$. We also prove that random regular graphs $G_{n,d}$ typically have $μ(G_{n,d})\geq 2^{c_d n}$ for all $d\geq 3$ and some positive constant $c_d$ such that $c_d\to 1$ as $d\to\infty$.
Equivariant Chern character operators and Okounkov's conjecture
In this paper, we study the Chern character operators on the equivariant cohomology of the Hilbert schemes of points in the complex affine plane $C^2$ with the action of the torus $(C^*)^2$, and partially verify Okounkov's Conjecture [Oko, Conjecture 2] in this setting. Our main idea is to apply the connection between the equivariant cohomology of these Hilbert schemes and the ring of symmetric functions, via the deformed vertex operators of Cheng and Wang [CW], (the integral form of) the Jack symmetric functions and the transformed Macdonald symmetric functions of Garsia and Haiman [GH, Hai].
VC-dimension of subsets of Hamming graphs
Following recent work on the VC-dimension of subsets of various pseudorandom graphs, we study the VC-dimension of Hamming graphs, which have proved somewhat resistant to the standard techniques in the literature. Our methods are elementary, and agree with or improve upon previously known results. In particular, for $H(2,q)$ we show tight bounds on the size of a subset of vertices to guarantee VC-dimension 2 or 3. We also prove an assortment of results for other parameters, with many of these being tight as well.
Exploring the Varchenko Determinant of Partial Cubes
The Varchenko matrix is known to have a well-structured determinant for complexes of oriented matroids (COMs). COMs can be characterized as partial cubes that do not have certain forbidden pc-minors. In this work, we generalize the Varchenko matrix and its determinant to partial cubes. We identify examples of partial cubes whose Varchenko determinants lack a clean factorization, as well as those that exhibit such a structure. These findings open the door for further research into the properties and potential characterizations of partial cubes with well-behaved Varchenko determinants.
Connections Between Frames with Rational Eigensteps and Semistandard Young Tableaux
In this paper, we explore a correspondence between frames with rational eigensteps and semistandard Young tableaux (SSYT), via the relation assigning a Gelfand-Tsetlin pattern to a frame via the frame's eigensteps. We will identify how certain key structures in SSYTs correlate with particular frame properties. For example, the weight of an SSYT yields the sequence of norms of any compatible frame. Additionally, this correspondence leads to a novel way to construct the eigensteps of a frame coming solely from tableaux. This is an alternative to the Top Kill algorithm which may be viewed as a combinatorial reinterpretation of the algorithm. We further employ other combinatorial techniques such as the boxcomp method to generate a ``complement" SSYT. On the frame side, this corresponds to a tight frame's Naimark complement as well as to a generalization of the Naimark complement for non-tight frames. Further research points to an analysis of equiangular tight frames and their corresponding tableaux, as well as using more combinatorial operations to further analyze frames.
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
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$.
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
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
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
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
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).