Showing 20 papers (Total: 81324 papers, 47147 authors in database)
Cluster Geometry of Universal Schubert Polynomials I: Geometric Bases and Schubert Transitions
We study Fulton's universal Schubert polynomials $\mathfrak S_w(c)$ as regular functions on the upper unitriangular group $U_N$. The standard triangular cluster structure associates a Schubert $\sf g$-vector to every permutation. Their convex hull is unimodularly equivalent to $Δ_1\times\cdots\timesΔ_{N-1}$, and their root-degree fibers are parabolic Bruhat intervals realized by the strata of staircase quiver Grassmannians. The geometric (i.e., generic, canonical, and Mirković--Vilonen) elements indexed by these vectors form integral bases of Fulton's standard-elementary module. We prove that $\mathfrak S_w(c)$ is homogeneous under diagonal conjugation if and only if it is the corresponding canonical element, and that homogeneity of $\mathfrak S_w(c)$ implies $Λ_Q$-rigidity of $Z_{\sf g_w}$. We also classify simultaneously the unit columns of the geometric-to-Schubert transitions, determine support components of the PBW-to-geometric and code-to-Schubert transitions, and exhibit a permutation $w\in S_{10}$ for which the three geometric basis elements are distinct.
On $(1,2^4)$ and $(1,2^5)$-packing edge-coloring of sparse subcubic graphs
A $(1^j,2^k)$-packing edge-coloring of a graph $G$ is a partition of the edge set $E(G)$ into $j$ matchings and $k$ induced matchings. Hocquard, Lajou, and Lu\v zar found a subcubic planar graph of girth $3$ that has no $(1,2^5)$-packing edge-coloring and also conjectured that every subcubic planar graph has a $(1,2^6)$-packing edge-coloring. We also notice that for every fixed positive integer $k$ there exists a subcubic planar graph with girth $k$ that is not $(1,2^3)$-packing edge-colorable.
It is natural to consider what is the minimum positive integer $k_1$ such that every subcubic planar graph with girth at least $k_1$ is $(1,2^5)$-packing edge-colorable. Furthermore, we also consider what is the minimum positive integer $k_2$ such that every subcubic planar graph with girth at least $k_2$ is $(1,2^4)$-packing edge-colorable. In this paper, we show both $k_1$ and $k_2$ are finite, and in fact $5 \le k_1 \le 12$ and $6 \le k_2 \le 16$.
Resolvable quantum Latin squares with maximal cardinality
A resolvable quantum Latin square of order $n$, denoted by $\text{RQLS}(n)$, is a quantum Latin square admitting $n$ pairwise disjoint transversals. By employing complete mappings and extending the classical singular direct product construction to the quantum setting, we determine the existence of maximal-cardinality $\text{RQLS}(n)$s with $17$ possible exceptions.
Cyclically Compatible Deformations of the Braid Arrangement
We prove a characteristic-polynomial shift formula for two-sided extensions of cyclically compatible deformations of the braid arrangement. For a nonnegative integer matrix $M=(m_{ij})$ with zero diagonal, let $\mathcal{A}_M$ be the arrangement \[
x_i-x_j=s,\qquad 1\le i<j\le n,\quad
s\in[-m_{ij},m_{ji}]_{\mathbb{Z}}. \] Given $α,β\in\mathbb{N}^n$, define its two-sided extension $\mathcal{A}_M(α,β)$ by replacing this interval with \[
[-m_{ij}-α_i-β_j,\,
m_{ji}+α_j+β_i]_{\mathbb{Z}}. \] Call $M$ cyclically compatible if all pairwise distinct $a,b,c$ with $1\le a,b,c\le n$ satisfy \[
m_{ac}\le m_{ab}+m_{bc}+1. \] Under this condition, for the reduced characteristic polynomial $\widetildeχ(\mathcal{A},t) =\dfrac{χ(\mathcal{A},t)}{t}$, we have \[
\widetildeχ(\mathcal{A}_M(α,β),t)
=
\widetildeχ(\mathcal{A}_M,t-|α|-|β|). \] The proof uses the finite-field method and a cyclic-gap enumeration formula. We also establish redistribution invariance, study weak-sum perturbations, and give applications to Shi, uniform interval, graphical, and Ferrers-type deformations.
On Some More Problems from the Kourovka Notebook
We give solutions to several problems in combinatorial group theory recorded as open in the literature. Our main source is the Kourovka Notebook, although we also consider questions from elsewhere. All solutions were found with the assistance of large language models and checked by the authors.
Eulerian triangle is totally positive of order 3
Brenti conjectured that the Eulerian triangle is totally positive. In this paper, we prove that the Eulerian triangle is totally positive of order 3, thereby providing a partial affirmative answer to Brenti's conjecture. In addition, we establish total positivity of order 3 for several families of generalized Eulerian triangles.
Polyomino Density
A de Bruijn polyomino has colored cells and includes exactly one instance of each possible coloring of another polyomino with those colors. This generalizes the notion of a de Bruijn sequence. We are interested in the de Bruijn polyominoes of minimum size. As a step toward finding these, we introduce the problem of finding the smallest polyominoes containing at least $N$ translated copies of the polyomino $p$, allowing overlaps. We say these are $(p,N)$-dense and have size $a_{p,N}$. For certain pairs of polyominoes $p$ and $q$ of equal size, we show there are polyomino transformations relating $a_{p,N}$ and $a_{q,N}$. Using these transformations, we identify classes of polyominoes which share the sequence $(a_{p,N})_{N=1}^\infty$. We give closed forms for $(a_{p,N})_{N=1}^\infty$ for most polyominoes with up to five cells. Leveraging these results we introduce novel de Bruijn polyominoes, as well as other colored polyforms with de Bruijn-like properties.
Generalized Spectral Closedness and the Nonexistence of Walk-Realizable Supporters for Split Graphs
Let $\mathcal F=\{2K_2,C_4,C_5\}$, so that $\operatorname{Forb}(\mathcal F)$ is the class of split graphs. Resolving a conjecture of Wang and Tang, we prove that the class of split graphs is generalized spectrally closed and that it admits no walk-realizable $\mathcal F$-supporter of any finite order.
Harmonic Catalan Number Series via Half-Integer Binomial Coefficients
We develop a method for evaluating finite and infinite series involving Catalan numbers by specializing alternating binomial identities at half-integer parameters. The key ingredient is an explicit representation of the generalized binomial coefficients $\binom{m+\frac12}{k+1}$ in terms of Catalan numbers and products of odd linear factors. Combining this representation with Pascal-type identities and two identities of Batır and Sofo, we derive several families of closed-form summation formulas involving Catalan numbers, harmonic numbers, and odd harmonic numbers. As special cases, we obtain evaluations of finite sums together with their corresponding infinite-series analogues. The approach provides a systematic mechanism for transforming identities for generalized binomial coefficients into identities for Catalan-number series.
Proper Conflict-Free Choosability for Graphs with Bounded Average Degree
For a graph $G$, a proper coloring of $G$ is called proper conflict-free if for every non-isolated vertex $u$, there is at least one color appearing exactly once in $N_G(u)$. A graph $G$ is proper conflict-free $f$-choosable if for every list assignment $L$ with $|L(v)|\ge f(v)$ for each vertex $v$, $G$ admits a proper conflict-free $L$-coloring.
Recently, Kashima, Škrekovski, and Xu proposed a conjecture on proper conflict-free list coloring. For a graph $G$, let $κ_G:V(G)\to \mathbb{N}$ be defined by \[ κ_G(v)= \begin{cases} 4, & \text{if } d_G(v)=2,\\[4pt] d_G(v)+1, & \text{if } d_G(v)\neq 2. \end{cases} \] They conjectured that every connected graph other than $C_5$ is proper conflict-free $κ_G$-choosable.
In this paper, we confirm this conjecture in two classes of graphs with bounded average degree, thereby generalizing results of Kashima, Škrekovski, and Xu and of Wang and Zhang. We prove that every connected graph $G\neq C_5$ with either $\operatorname{mad}(G)<\frac{12}{5}$ or $Δ(G)\le3$ is proper conflict-free $κ_G$-choosable. To prove these results, we introduce a method based on systems of proper conflict-free representatives and develop a construction of auxiliary graphs that preserves the maximum average degree bound.
It's Hard to PArcK
We show that Partizan Arc Kayles (PArcK), a generalization of Domineering to graphs, is PSPACE-complete via a reduction from Positive CNF and with recently-discovered techniques for creating PArcK positions with high temperature. The reduction uses only red and blue edges.
Grundy Total Domination and Skew Zero Forcing in Cartesian Products of Paths and Cycles
We determine the Grundy total domination number and the skew zero forcing number for every Cartesian product of two paths or cycles, thereby closing the nonmatching bounds previously known for these rectangular, cylindrical, and toroidal families. For $2\le a\le b$, \[
Z_-(P_a\square P_b)
=a-\mathbf1_{\{a\ {\rm odd},\,b\ {\rm even}\}}. \] For $p\ge2$ and $c\ge3$, \[
Z_-(P_p\square C_c)=
\begin{cases}
\min\{p,c\},&c\text{ is odd},
\min\{2p,c\},&c\text{ is even}.
\end{cases} \] Finally, for $3\le a\le b$, \[
Z_-(C_a\square C_b)=
\begin{cases}
2a-1,&a=b\text{ odd},
2a,&a=b\text{ even},
\min\{b,2a\},&a<b,\ a\text{ odd},
a,&a<b,\ a\text{ even},\ b\text{ odd},
2a,&a<b,\ a,b\text{ even}.
\end{cases} \] In every case, $γ_{\mathrm{gr}}^t(G)=|V(G)|-Z_-(G)$. The path-containing lower bounds use Kronecker differences of skew-symmetric or hollow symmetric factor matrices, and they also determine maximum skew nullity and minimum skew rank. They further produce an infinite family for which maximum skew nullity is strictly smaller than skew zero forcing. The new cycle--cycle lower bounds use a cyclic column-defect estimate, applied to complete columns when the shorter cycle is odd and, after a one-sided bipartite reduction, to half-columns when both cycles are even. Explicit forcing constructions give matching upper bounds throughout.
On cluster deep loci in double Bruhat cells
We study deep loci for the reduced-word Berenstein-Fomin-Zelevinsky cluster atlas on type-A double Bruhat cells. As defined in CGSS24, for a seed collection on a cluster variety X, the deep locus is the complement of the union of all corresponding cluster tori. We focus on double Bruhat cells G(u,v) for G = SL(n). Our main results are several theorems describing the structure of these deep loci, including their interaction with the Poisson structure, the relationships between the deep loci of different cells, and a tracking formula that allows us to compute the reduced-word deep locus of a cell from a lower-dimensional one. The paper also includes explicit low-rank calculations for double Bruhat cells in SL(3) and Borel double Bruhat cells in SL(4). Finally, we discuss the relationship between these results and some general properties of deep loci.
Note on adjacency spectra for twice punctured hypercubes
Eigenspaces of hypercube graph adjacency matrices are well understood. We extend this to subgraphs obtained by removing a vertex or antipodal pair of vertices, motivated by a question on zonotopes.
A Two-regime Khintchine Inequality and an Improved Bound on the Degree-1 Fourier Weight for Linear Threshold Functions
The Khintchine inequality provides a lower bound on the expected absolute value of a weighted sum of independent Rademacher random variables. In the classical setting, when the weight vector has unit norm, this lower bound is a constant, with equality attained only for a simple family of extremal configurations. A refined version due to De, Diakonikolas, and Servedio (2013) -- referred to as the \emph{linear Khintchine inequality} -- strengthens this by establishing a lower bound that depends linearly on the distance of the weight vector from the extremal set.
In this paper, we present a refined analysis of this dependence on the weight vector. Our results reveal a phase transition in the rate of improvement: when the dimension exceeds six, the lower bound undergoes an abrupt change as the weight vector deviates from the minimizer. Additionally, we improve the slope constant in linear Khintchine inequality. As a consequence, we establish an improved lower bound on the degree-1 Fourier weight for linear threshold functions $\mathbf{W}^{\leq 1}[\mathrm{LTF}] \geq 0.53317$, marking progress towards a conjecture of O'Donnell.
Special Kirillov-Reshetikhin crystals
We give a uniform realization of Kirillov-Reshetikhin crystals $B^{r,s}$, in terms of PBW crystals, for all affine types, $s \geq 1$, and nodes $r$ in the orbit of the $0$ node in the Dynkin diagram. Our proof is almost uniform except we prove some technical lemmas by first proving the case when the $r$-th fundamental weight $Λ_r$ is minuscule by using properties of minuscule crystal and then extend this to the case when $Λ_r$ is cominuscule using virtual crystals.
Intersections of Tournaments
Given two tournaments of order $n$, Bollobás and Scott defined their discrepancy in terms of the extremal deviation of their overlap from the random average, after relabelling them on a common vertex set, and they asked whether the resulting discrepancy is always $Ω(n^{3/2})$. We answer this question by proving that there is an absolute constant $c>0$ such that every pair of tournaments $T,U$ of order $n$ has discrepancy at least $cn^{3/2}$.
The forbidden structure for zero forcing number
The {\it zero forcing number} of a graph $G$, $Z(G)$, is a well-studied parameter which arises from a color changing process and has strong connections to {\it minimum rank}, {\it critical ideals} and related invariants. In this work, we consider the complementary parameter $\mz(G) = |V(G)| - Z(G)$. This parameter is monotone under taking induced subgraphs. This leads us to the study of graphs for which $\mz(G)$ is bounded, via forbidden induced subgraphs. We prove that the number of minimal forbidden graphs for graphs with $\mz(G)\leq k$ is finite for any $k\geq 1$. We determine the complete set of minimal forbidden graphs for the case $k = 3$, and we provide partial characterizations of graphs with $\mz(G) \leq 3$, based on girth. Our results suggest new directions for the structural understanding of zero forcing-type parameters.
On the number of $2$-dice games with prime power dice-size
We have two dices which have $n$ labels. We want to assign a pair of labelings with positive integers to them such that the sums of the labels on them are the same and have the same distribution as at the standard labeling. We call such a pair of labelings a (dice) game of size $2$ (with dice size $m$).
Here we give a lower and an upper bound for the dice games of size $2$ with Sicherman dice of dice size $p^{k}$ where $p$ is a prime. We use the standard technique of generating polynomials to prove a non-closed combinatorial formula.
A product theorem for $r$-cross intersecting families of subspaces
Let $V$ be an $n$-dimensional vector space over a finite field of order $q$. Let $r\geq 3$, $(r-1)n\geq rk$ and let $\mathcal F_1,\ldots,\mathcal F_r\subset \genfrac{[}{]}{0pt}{}{V}{k}$, where $\genfrac{[}{]}{0pt}{}{V}{k}$ denotes the set of $k$-dimensional subspaces of $V$. Suppose that $F_1\cap\cdots\cap F_r\neq\{0\}$ holds for all $F_i\in\mathcal F_i$, $1\leq i\leq r$. Then we show that $\prod_{i=1}^r|\mathcal F_i|\leq\genfrac{[}{]}{0pt}{}{n-1}{k-1}$, provided $n-k$ is sufficiently large for fixed $q$ and $r$. Moreover, equality holds if and only if there is a common line $L$ such that every family $\mathcal F_i$ consists of all $k$-dimensional subspaces containing the line $L$. One of the main tools of the proof is a junta theorem concerning intersecting linear maps obtained by Ellis, Kindler, and Lifshitz.