Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Symmetric Quantum Latin Squares with Maximal Cardinality
In this paper, we prove that there exist a symmetric quantum Latin square with maximal cardinality of order $n$ for all $n\geq 6$, and a symmetric idempotent quantum Latin square with maximal cardinality of order $4k+2$ for all $k\geq 1$.
Polyhedral Methods for Cooperative Games: Small Lifts and Hard Faces
We study the computational complexity of fundamental algorithmic problems -- membership testing, separation, valid-inequality testing, and linear optimization -- over polytopes and cones arising from cooperative games (also known as pseudo-Boolean functions). A central obstacle in the study of such problems is that a general cooperative game on $n$ players requires $2^n$ values, so the input size is $2^n$ for a game with $n$ players, making these computational tasks theoretically trivial. Restricting to $k$-additive games reduces the input size to $O(n^k)$, making such games a natural target for meaningful questions about the existence of efficient algorithms.
On the positive side, we give an explicit extended formulation of size $O(n^k)$ for the core of $k$-additive $k$-monotone games, allowing all four problems to be solved by a single polynomial-size linear program -- in particular, circumventing the ellipsoid method that is needed when building from earlier tractability results of Deng and Papadimitriou, or of Edmonds. For the cone of $k$-additive $(k{-}1)$-monotone games, we give a complete characterization of its extreme rays and derive the same $O(n^k)$ bound on extension complexity, yielding a geometry-based proof and generalization of a result of Billionnet and Minoux.
On the negative side, we show that for $l \leq k-2$ the cone of $k$-additive $l$-monotone games is computationally intractable: membership testing is not in NP (unless NP\,=\,coNP), valid-inequality testing is NP-complete, and extension complexity is at least $1.5^n$. Our hardness results yield, as a special case, a result of Crama and of Gallo and Simone. Furthermore, our hardness results also explain the lack of any good characterization of the extreme rays of the cone of $k$-additive $(k{-}2)$-monotone games.
On splitting properties of the stability problem with integer choice functions
We consider the integer version of Alkan--Gale's model on stability in a two-sided market, called the stable generalized allocation one. It is given by a triple $(G,b,C)$, where $G=(V,E)$ is a finite bipartite graph with nonnegative integer capacities $b(e)\in{\mathbb Z}_+$ of edges $e\in E$, and for each vertex (``agent'') $v\in V$, the preferences on the set $E_v$ of its incident edges depend on a choice function $C_v$. The latter acts on the set of vectors in ${\mathbb Z}_+^{E_v}$ bounded by the capacities and obeys the standard axioms of substitutability and size monotonicity. Alkan--Gale's prominent theorem implies that the stability problem in this case always has a stable solution $x\in{\mathbb Z}_+^E$ and, moreover, the set ${\cal S}_{G,b,C}$ of these solutions (``stable generalized allocations'') forms a distributive lattice.
However, this lattice is rather intricate to construct and work with, and we wonder whether it can be represented via a ``simpler'' stability model. Answering this issue, we arrange a sort of splitting techniques to embed ${\cal S}_{G,b,C}$, as a sublattice, in the lattice of stable matchings and, more compactly, in the lattice of stable allocations (as in Baiou--Balinski's stability model). This generalizes Fleiner's result on a detachment in the special case with all-unit capacities.
Keywords: stable marriage, stable allocation, choice function, rotation, distributive lattice, poset representation
Positive formulas for q-Zeta numerators of Ferrers-cell posets
We give explicit positive formulas for Chapoton's $q$-Zeta numerators of the Ferrers-cell posets $F_{\mathbf b}=\{(i,c):1\leq i\leq r, i\leq c\leq b_i\}$, where $b_1\geq\cdots\geq b_r\geq r$, and for every interval of their minimum-augmented lattices. A constructive signed EL-labelling expresses the numerator as a descent enumerator over boundary-admissible path words. A finite transfer-matrix recursion recovers the full multivariate descent-set polynomial.
For trapezoidal boundaries, Gaussian-binomial formulas describe every interval and every $t$-slice. At $q=1$, a Jacobi-polynomial transform gives simple negative zeros, strict fixed-offset interlacing, and an explicit arcsine push-forward limit. We also obtain algebraic fixed-offset generating functions and the growth rate $(1+\sqrt t)^2$ for $t\geq0$.
The standard positive-root posets of types $A_r$, $B_r$, and $C_r$ are specializations, graded by root height minus one with Chapoton's fixed denominator. For types $B_r$ and $C_r$, this yields all-rank coefficientwise positivity, the reversed-ballot formula, the specialization $[t^k]\mathbb{H}_{P_r,\operatorname{rk}}(1,t)=\binom{r-1}{k}^2$, and sharp slice degrees with unique leading monomials.
The main results of this paper were obtained through a generative-AI workflow using OpenAI GPT-5.6 Sol, Anthropic Claude Fable 5, and Grok 4.6. OpenAI GPT-6 Astra was used for subsequent proof and citation review and manuscript revision. Further details appear in the disclosure at the end of the paper.
Commutators of signed $n$-cycles
We show that for $n \geq 6$ each element of the commutator subgroup in the symmetric group $\mathfrak{S}_n$ resp. in the signed symmetric group $(\mathbb{Z}/2\mathbb{Z})^n\rtimes\mathfrak{S}_n$ is the commutator of two $n$-cycles resp. the commutator of two $n$-cycles with a negative sign product; with one exception. If $n \equiv 2$ $\mathrm{mod}~4$, the element $-\mathrm{id}$ of $(\mathbb{Z}/2\mathbb{Z})^n\rtimes\mathfrak{S}_n$ is not such a commutator. In the language of Coxeter groups, this yields a description of commutators of Coxeter elements in types $A$ and $B$.
Sharp connectivity thresholds for mixed rigidity packings and improved bounds for highly connected orientations of graphs
Garamvölgyi, Jordán, Király and Villányi [{{\bf Forum Math. Pi} \textbf{13} (2025), Paper No.~e11}] posed two sharp connectivity conjectures for packing rigid spanning subgraphs: one for the equal-dimensional case and the other for the packing of a $d$-rigid spanning subgraph with a spanning tree. We prove a unified theorem: for arbitrary positive integers $d_1,\ldots,d_s$, every $\sum_{i=1}^{s}d_i(d_i+1)$-connected graph contains pairwise edge-disjoint spanning subgraphs $H_1,\ldots,H_s$ such that $H_i$ is $d_i$-rigid for every $i$. The connectivity bound is sharp whenever $\sum_{i=1}^{s}d_i(d_i+1)\ge4$.
As special cases, the theorem settles both conjectures, confirms the conjecture of Garamvölgyi, Jordán and Király [{\bf J. Combin. Theory Ser. B} \textbf{166} (2024), 1--29] that every $tk(k+1)$-connected graph contains $t$ pairwise edge-disjoint $k$-connected spanning subgraphs, and gives the sharp threshold $d(d+1)+2r$ for packing one $d$-rigid spanning subgraph together with $r$ pairwise edge-disjoint spanning trees.
We also obtain two upper bounds related to Thomassen's conjecture on highly connected orientations of graphs. If $f(q)$ is the least integer such that every $f(q)$-connected graph has a $q$-connected orientation, then $f(q)\le(25q^2+41q-16)/2$ for every $q\ge3$ and $f(q)\le8q^2+212q+1404=(8+o(1))q^2$ for all sufficiently large $q$; these two results reduce the leading coefficient in the previous quadratic bound from $320$ to $25/2$ for every $q\ge3$ and $8$ for all sufficiently large $q$. Compared to the bound for $f(q)$ obtained by Garamvölgyi et al. we obtain the better bounds, not only through our tight rigidity result but also by exploiting the leftover edges when we remove two edge-disjoint spanning (sufficiently) rigid graphs.
Completing the Existence Problem for Integer Relative Heffter Arrays $\mathrm{H}_k(n;k)$
Heffter arrays, introduced by Archdeacon in 2015, are combinatorial structures with applications to cyclic cycle systems and biembeddings of graphs on surfaces. Costa, Morini, Pasotti and Pellegrini proposed in 2020 the notion of relative Heffter arrays as a generalization of classical Heffter arrays, inspired by the concept of relative difference families. In their work, the existence problem of integer relative Heffter arrays $\mathrm{H}_k(n;k)$ was solved for all $k\neq 5$, while the case $k=5$ and $n \equiv 0 \pmod{4}$ remained open, apart from two sporadic examples with $n=8,16$. In this article, we consider this open problem and we construct an $\mathrm{H}_5(n;5)$ for every $n\equiv 0 \pmod{4}$, $n\geq 12$. As a consequence, the existence problem of integer relative $\mathrm{H}_k(n;k)$ is completely settled.
How to Construct High Barrycades
Given two positive integers height $h$ and order $n$, the barrycade construction problem asks for a set of $h$ permutations of the integers from $1$ to $n$ such that all the proper partial sums given by these permutations are pairwise distinct. The name barrycade was coined by Richard K. Guy and refers to Barry Cipra, who introduced this kind of arrangement problem. A simple calculation shows that a solution can only exist for $n \ge 2h-2$ and it is conjectured that there always exists a solution for every height $h \ge 2$ and order $n \ge 2h-2$.
In this work, for every height $h \ge 1$, we present a construction of a barrycade of height $h$ and order $n = 2h+3$. We also present a randomized heuristic that allows us to find a barrycade of height $h$ and conjectured optimal order $n=2h-2$, for every height $2 \leq h \leq 50$. Thus, we confirm the conjectured optimal order for all heights up to $50$.
We also consider a related corral construction problem, where the permutations define a cyclic arrangement. In this setting, for every height $h \ge 1$, we present a construction of a corral of height $h$ and order $n=2h$. A heuristic approach, similar to the one used for barrycades, allows us to find a corral of height $h$ and conjectured optimal order $n=2h-1$, for every height $1 \leq h \leq 50$. We confirm Tomoki Nakamigawa's conjecture on well-dispersed partitions of cyclic groups for the number of parts up to $20$.
Turán problems with bounded matching number in $k$-uniform hypergraphs
For a family $\mathcal{F}$ of $k$-graphs,
$\ex_k(n,\mathcal{F})$ denotes the maximum number of edges in an $n$-vertex
$\mathcal{F}$-free $k$-graph. Let $M_{s+1}^k$ denote a matching of size $s+1$ in $k$-uniform hypergraphs. Recently, Alon and Frankl (JCTB, 2024) determined $\ex_2(n,\{M_{s+1}^2,K_{\ell+1}\})$
for all $n\geq 2s+1$ and $\ell\geq 2$. For every non-bipartite graph $F$, Gerbner (JGT, 2024) determined $\ex_2(n,\{M_{s+1}^2,F\})$ for sufficiently large $n$. In this paper, we investigate this problem for different ranges of the matching parameter. First we prove that for every graph $F$ with $χ(F)>3$, there exist constants $β>0$ and $s_0$ such that $\ex_k(n,\{M^2_{s+1}, F\})=\ex_2(2s+1,F)$ for $\max\{s_0,n/2-βn\}<s<n/2$.
For integers $\ell\ge k\ge3$, let $\mathcal{K}_{\ell+1}^k$ be the family of
all $k$-graphs $F$ with at most $\binom{\ell+1}{2}$ edges for which there is
an $(\ell+1)$-set $L$ such that every pair of vertices of $L$ is covered by
an edge of $F$, and let $H_{\ell+1}^k$ be the $k$-uniform hypergraph obtained from the complete graph $K_{\ell+1}$ by enlarging each edge with a set of $k-2$ new vertices, which is a member of $\mathcal{K}_{\ell+1}^k$.
We determine $\ex_k\bigl(n,\mathcal{K}_{\ell+1}^k\cup\{M_{s+1}^k\}\bigr)$
for $s\leq \frac{n}{8(k-1)^{k-2}(\ell-1)^3}$. For sufficiently large $s$, we also determine $\ex_k\bigl(n,\{M_{s+1}^k,H_{\ell+1}^k\}\bigr)$
for $\frac{n}{k}-βn<s<\frac{n}{k}$ and $s\leq \frac{n}{8(k-1)^{k-2}(\ell-1)^3}$, respectively.
Dictators are most informative
We prove the Courtade-Kumar conjecture: among all Boolean functions $f\colon \{-1,1\}^n\to\{-1,1\}$, a dictator retains the most information about a uniformly random input observed through independent binary noise.
Bounded chromatic number of graphs with small clique number and large minimum degree
We prove that every triangle-free graph with minimum degree at least $\frac{n}{3}$ is $4$-colorable and thereby settle a problem of Brandt and Thomassé (2005) at the threshold $\frac{n}{3}$. The number four is best possible. For a positive integer-valued function $f(n)=o(n)$, we relate the chromatic number of $f(n)$-vertex subgraphs of the Kneser graph $KG(n,f(n))$ to that of triangle-free graphs with minimum degree at least $\frac{n}{3}-f(n)$. Consequently, for every $0<δ<1$ and $\varepsilon>0$, and for all sufficiently large $n$, every $n$-vertex triangle-free graph with minimum degree at least $\frac{n}{3}-n^{1-δ}$ has chromatic number at most $10^{391}+1+\left\lceil{(1+\varepsilon)(1-δ)}/δ\right\rceil$.
We also show that every sufficiently large $n$-vertex maximal triangle-free graph with minimum degree at least $\frac{n}{3}-f(n)$ and chromatic number at least $10^{391}$ contains a bipartite subgraph with parts of orders $\frac{n}{3}-O(f(n))$ and $\frac{2n}{3}-O(f(n))$; the remaining induced subgraph admits a homomorphism to $KG(\frac{n}{3}-O(f(n)),O(f(n)))$. Finally, we connect maximal $K_r$-free graphs with minimum degree at least $\frac{2r-5}{2r-3}n-f(n)$ to $K_{r-1}$-free graphs and extend these results to $K_r$-free graphs. Our proofs employ the recent strong Brandt--Thomassé theorem of Łuczak, Polcyn, and Reiher.
Askey--Wilson polynomials with ASEP parameters
Koornwinder moments generalize the Askey--Wilson moments arising in the asymmetric simple exclusion process. Rains conjectured that, under the specialization $t=q$, the minimal numerators of Koornwinder moments have nonnegative integer coefficients. While the one-row case of this conjecture was previously proved by Corteel, Mandelshtam, and Williams using rhombic staircase tableaux, its dual counterpart, the one-column case, has remained open. In this paper, we derive a closed, manifestly positive combinatorial formula for the normalized numerators of the coefficients of the rescaled Askey--Wilson polynomials. This proves Rains' conjecture for one-column partitions, thereby providing the exact dual counterpart to the previous result.
Intersections of Directed Graphs
Given two weighted directed graphs of order \(n\), we study how much their overlap can deviate from its random average under relabelling, and how concentrated the distribution of their intersection is when they are placed at random. Bollobás and Scott studied these problems on weighted $k$-uniform hypergraphs and raised the corresponding questions for directed graphs. In this paper, we study these problems for weighted directed graphs and obtain results analogous to those in the weighted hypergraph setting.
Extremal spectral result of outerplanar graphs without $P_{3\cdot l}$
A graph $G$ is $F$-free if it does not contain $F$ as a subgraph. Let $\mathrm{spex}(n,F)$ be the maximum spectral radius over all $n$-vertex $F$-free outerplanar graphs. For integers $t\geq1$ and $l\geq2$, let $P_{t\cdot l}$ be the starlike tree with $t$ branches of length $l-1$. For sufficiently large $n$, Yin, Li, and Meng [arXiv:2504.04364v1] characterized the unique extremal graph for $\mathrm{spex}(n,P_{t\cdot l})$ when $t=1$, $t=2$, or $t\geq4$. They left the case $t=3$ open and proposed a natural candidate for the extremal graph. We show that this candidate is not extremal and determine the unique extremal graph for $\mathrm{spex}(n,P_{3\cdot l})$. For every $l\geq3$ and all sufficiently large $n$, this unique extremal graph is $K_1\vee\bigl(2P_{2l-3}\cup qP_{l-2}\cup P_r\bigr),$ where $q$ and $r$ are integers satisfying $n=2(2l-3)+q(l-2)+r+1,$ $q\geq0,$ $0\leq r<l-2.$
Uniform Hypergraphs with $α$-Spectral Radius at Most That of a Loose Cycle
Let $k\geq 3$ and $α\in[0,1)$, and let $λ_k(α)$ denote the $α$-spectral radius of a $k$-uniform loose cycle. Lu and Man classified all connected $k$-uniform hypergraphs with adjacency spectral radius at most $λ_k(0)$. In this paper, we extend their classification to the $α$-spectral setting. In particular, for every $k\geq 3$ and $0<α<1$, we prove that $λ_k(α)$ is the smallest limit point of the $α$-spectral radii of connected $k$-uniform hypergraphs. Moreover, we give a complete comparison between the $α$-spectral radius of an arbitrary finite connected $k$-uniform hypergraph $H$ and that of a loose cycle by determining the sign of $ρ_α(H)-λ_k(α)$. As a consequence, for each fixed $0<α<1$, we classify all finite connected $k$-uniform hypergraphs with $α$-spectral radius at most $λ_k(α)$.
Quasi-overlap and quasi-grouping functions on bounded pseudo-ordered sets
In this article, we first introduce quasi-overlap and quasi-grouping functions on bounded pseudo-ordered sets, respectively, and give their respective preliminary constructions and the induced quasi-overlap functions on quotient posets.. We then explore the invariant properties under weighting and automorphisms. We also introduce the migrativity, the homogeneity, the idempotency, the cancellation law, the Archimedean and limiting properties of quasi-overlap functions and discuss their relations. We finally present two constructing methods of quasi-overlap functions, which are based on boundary-faithful mappings and adjunctions on bounded psosets and the transitive-endpoints of a bounded trellis, respectively. The corresponding statements are valid for quasi-grouping functions as well.
Sudoku Analogues of Baranyai's Theorem
Motivated by higher-dimensional generalizations of Sudoku, we study exact block-structured decompositions, algebraic characterizations, and orthogonality for Sudoku hypercubes. Let $n=\prod_{i=1}^d a_i$, let $b_i=n/a_i$, and consider the $λ$-fold complete $d$-uniform $d$-partite hypergraph with $d$ vertex classes of size $n$, where the $i$th class is partitioned into $a_i$ groups of size $b_i$. Given positive integers $m_1,\dots,m_k$ with $\sum_{j=1}^k m_j=λn^d$, we partition the edges into color classes of sizes $m_1,\dots,m_k$ so that, in color $j$, vertex degrees and block counts are each either $\lfloor m_j/n\rfloor$ or $\lceil m_j/n\rceil$, while the multiplicity of an underlying edge is either $\lfloor m_j/n^d\rfloor$ or $\lceil m_j/n^d\rceil$. When $m_j=nr_j$, the vertex and block balances are exact, yielding block factorizations and higher-dimensional Sudoku analogues of Baranyai's theorem.
Within the same block framework, we give a Delsarte characterization of the Sudoku condition using association schemes and study mutually orthogonal Sudoku hypercubes of order $q^3$ for prime powers $q$. For block sizes $(q^3,q^2,q)$ and $(q^3,q^3,1)$, the resulting families attain a general upper bound and are best possible. For block size $(q^2,q^2,q^2)$, we construct $q^2(q^2-1)(q^2-q)$ mutually orthogonal hypercubes; this construction is asymptotically best possible as $q\to\infty$.
Surface subgroups of Baumslag doubles along short words
If $U$ is a minimal, diskbusting, finite list of words in a free group $F_n$ of rank $n$ such that the sum of the lengths of words in $U$ is at most $2n+4$, we prove that the natural presentation complex of the Baumslag double of $F_n$ along $U$ virtually contains a $π_1$-injective embedded closed hyperbolic surface. This verifies the Tiling Conjecture of Kim and Wilton for this type of lists of words, and in particular, implies that the corresponding Baumslag double contains a hyperbolic surface subgroup.
Graph Decompositions at the Expectation Threshold
For \(n\ge3\) and a graph \(H\) on at most \(n\) vertices, let \(q(H)\) be the expectation threshold for its containment in \(G(n,p)\). We prove that there are absolute constants \(a,L>0\) such that, for every \(C>0\), every graph of degeneracy at most \(C\log n/\log\log n\) has a deterministic edge decomposition into at most \(\lceil a(C+1)\rceil\) pieces, each with ordinary containment threshold at most \(Lq(H)\). This removes the maximum-degree hypothesis from a theorem of Ascoli, He, Park, and Talagrand in their approach to Talagrand's discrete convexity problem. With constants depending on the fixed parameters, a structural extension allows the addition of \(O(\log n)\) vertices with arbitrary incident edges. The uniform main bound also gives an \(O(1+\log\log n)\)-piece decomposition for every target graph, with an absolute threshold multiplier. The main ingredient converts Li's two-set coupling for spread measures into a partition of a prescribed neighborhood list, fixed before the random host is sampled. It allows arbitrary overlaps and repetitions and controls all Hall matching conditions simultaneously by bounding target demand and host supply through common two-sided approximations under the biased host measure.
The Komlós conjecture for complex discrepancy
The Komlós conjecture is a classic problem in discrepancy theory; it asks whether an absolute constant $K$ exists such that given any $n$ vectors $a_1,\ldots,a_n$ inside the $m$-dimensional Euclidean ball, regardless of how large $m,n$ are, there is always a selection of signs $\varepsilon_1,\ldots,\varepsilon_n$ guaranteeing $$\|\varepsilon_1a_1+\ldots+\varepsilon_na_n\|_\infty \leq K.$$ We show that if the $\varepsilon_i$'s are allowed to take not just the values of $\pm 1$ but any unit modulus complex number, which we refer to as complex discrepancy, then the above inequality holds for a finite, explicit constant $K_{\mathbb{C}}$. Here, the $\ell^\infty$ norm of the resulting vector in $\mathbb{C}^m$ is the largest modulus of its entries, and thus the complex discrepancy of real vectors is equivalent to their rank-$2$ vector discrepancy. This quantity provides an upper bound (modulo uniform constant prefactor) on Gaussian discrepancy -- a discrepancy measure introduced by Chewi, Gerber, Rigollet and Turner. Thus, we also resolve the Komlós conjecture for Gaussian discrepancy. Our paper builds upon the recent work of Bansal and Jiang on the Beck-Fiala and Komlós conjectures, which we approach from the formalism of Burkholder and the Bellman function method from probability and harmonic analysis. Our work was in part motivated by the realization that the complex discrepancy of the columns of any unitary matrix is equal to 1, a fact that follows from a straightforward calculation based on Idel and Wolf's generalization of the Sinkhorn normal form for unitary matrices.