https://arxiv.org/api/iqVVYJUVKevMHz/9E9fmYr8Cq7A 2026-06-21T23:07:12Z 79105 225 15 http://arxiv.org/abs/2605.29936v2 2026-06-14T14:35:13Z

We extend the notion of mex, which is central in combinatorial number theory, to an arbitrary combinatorial structure, and we prove a general theorem to determine the generating function of the objects having fixed mex. We then study this new mex statistic for several classical combinatorial structures, by providing the mex generating function and/or a closed formula for its coefficients in each of the cases.

2026-05-28T13:47:02Z 19 pages Antonio Bernini Stefano Bilotta Giulio Cerbai Luca Ferrari http://arxiv.org/abs/2606.20185v1 2026-06-14T14:22:55Z

A symmetric function is called Schur-positive if it admits an expansion in the Schur basis with nonnegative coefficients. In this paper, we study the Schur positivity of symmetric functions naturally associated with set partitions, with respect to two different notions of descent. In the first case, the Schur expansion involves hook-shaped Young diagrams, and the corresponding coefficients are given by Touchard-Riordan polynomials, which enumerate matchings by their number of crossings. In the second case, the Schur functions correspond to two-rows Young diagrams, and the coefficients are partial sums of associated Bell numbers. A key ingredient of our approach in the second case is the notion of a removable singleton, defined algebraically and shown to admit an equivalent combinatorial interpretation via jeu-de-taquin rectification of skew tableaux. As an application, we establish Schur positivity for various classes of symmetric functions indexed by non-crossing partitions and partitions with a given number of parts. We provide an explicit combinatorial description of the tableaux that contribute to the Schur expansion, and we connects the obtained coefficients to some known integer sequences.

2026-06-14T14:22:55Z 44 pages, 6 figures and 9 tables. Submitted Eli Bagno David Garber http://arxiv.org/abs/2606.15829v1 2026-06-14T14:07:14Z

Let $S = (D, σ)$ be a signed digraph, where $D=(\mathcal{V},\mathcal{A})$ is the underlying digraph of $S$ and $σ:\mathcal{A}\rightarrow\{-1,+1\}$ is a sign function. In this paper, we study the singular values of adjacency matrix of $S$ and show that unlike eigenvalues, the singular values of unicyclic and bicyclic digraphs remain invariant under signing, thereby providing two families of switching non-isomorphic signed digraphs having same singular values. We also provide examples where singular values of digraphs change with signing. We study rank of signed digraphs and determine signed digraphs with rank one by using interlacing property of singular values. As an application of this result, we obtain a lower bound for the trace norm of signed digraphs and characterize the extremal signed digraphs.

2026-06-14T14:07:14Z Mushtaq A. Bhat Peer Abdul Manan http://arxiv.org/abs/2507.23517v3 2026-06-14T13:05:11Z

Let $f(d)$ be the smallest value for which every bridgeless graph $G$ with diameter $d$ admits a strong orientation $\overrightarrow{G}$ such that the diameter of $\overrightarrow{G}$ is at most $f(d)$. Chvátal and Thomassen (JCT-B, 1978) obtained general bounds for $f(d)$ and proved that $f(2)=6$. Kwok et al. (JCT-B, 2010) proved that $9\leq f(3)\leq 11$. Wang and Chen (JCT-B, 2022) determined $f(3)=9$. Babu et al. (DAM, 2021) showed $f(4)\leq 21$. In this paper, we introduce a new approach to studying $f(d)$ via the edge girth of a bridgeless graph $G$, denoted by $g^*(G)=\max\{l_G(e)\mid e\in E(G)\}$, where $l_G(e)$ is the length of the shortest cycle containing $e$ in $G$. Then we define $F(d,g^*)=\max\{\overrightarrow{diam}(G)\mid G\text{ is bridgeless},d(G)=d,g^*(G)=g^*\}$, and show $f(d)=\max\{F(d,g^*)\mid 2\leq g^*\leq 2d+1\}$. As the main result of this paper, we establish $F(4,2)=4$, $F(4,9)=12$, $F(4,3)\le 12$, and $F(4,g^*)\le 13$ for $g^*\in\{6,7,8\}$, and we propose two open problems for further research.

2025-07-31T13:00:38Z 36 pages, 6 figures Jifu Lin Lihua You http://arxiv.org/abs/2306.11015v6 2026-06-14T12:40:30Z

We study the Stanley depth and the Hilbert depth for $I$ and $S/I$, where $I\subset S=K[x_1,\ldots,x_N]$ is the intersection of monomial prime ideals with disjoint sets of variables. As an application, we obtain bounds for the Stanley depth of $I_{n,m}^t$ and $J_{n,m}^t$, where $I_{n,m}$ is the $m$-path ideal of the path graph of length $n$ and $J_{n,m}$ is the the $m$-path ideal of the cycle graph of length $n$.

2023-06-19T15:27:38Z 16 pages. arXiv admin note: text overlap with arXiv:2306.09450; minor corrections w.r.t. previous version Silviu Balanescu Mircea Cimpoeas http://arxiv.org/abs/2606.15771v1 2026-06-14T12:11:01Z

Let $H$ be a 3-partite 3-uniform hypergraph whose three vertex classes all have size $n$. For a vertex $v \in V(H)$, the link graph $N_H(v)$ is defined on $V(H)\setminus\{v\}$ with edge set $\{e\setminus\{v\}: v\in e\in E(H)\}$, and we denote by $ρ(N_H(v))$ its spectral radius. We prove that for every $α>0$ there exists $n_0$ such that for all $n\ge n_0$ the following holds: if \[ ρ\bigl(N_H(v)\bigr) > \left(\frac{\sqrt{2}}{2}+α\right)n \] for every vertex $v\in V(H)$, then $H$ contains a perfect matching. This spectral condition is asymptotically best possible.

2026-06-14T12:11:01Z 17pages Hongliang Lu Feihong Yuan http://arxiv.org/abs/2606.06513v2 2026-06-14T09:58:26Z

Several elegant inductive proofs of Dilworth's theorem can be found in the literature. In this note, I present another inductive proof with an algorithmic flavor based on a merging lemma.

2026-05-31T15:14:11Z v2: Added acknowledgements Tao Zhang http://arxiv.org/abs/2309.08326v3 2026-06-14T08:38:18Z

We describe the upper seminormal crystal structure for the $μ$-supported $δ$-vectors for any quiver with potential with reachable frozen vertices, or equivalently for the tropical points of the corresponding cluster $\mc{X}$-variety. We show that the crystal structure can be algebraically lifted to the generic basis of the upper cluster algebra. This can be viewed as an additive categorification of the crystal structure arising from cluster algebras. We introduce the biperfect bases in the cluster algebra setting and give a description of all biperfect bases, which are parametrized by lattice points in a product of polyhedral sets. We illustrate this theory from classical examples and new examples.

2023-09-15T11:29:24Z 65 pages, comments are welcome; v2. minor corrections, 10.3 deleted; v3. minor corrections, more details are given Jiarui Fei http://arxiv.org/abs/2407.05264v3 2026-06-14T08:24:16Z

The Ear Decomposition Theorem of Lovász & Plummer (1986) implies that every matching covered graph (MCG), except $K_2$ and cycles, contains (at least) one of $θ$ and $K_4$ as a conformal minor. Lovász [Combinatorica 1983] proved the refinement that every nonbipartite MCG contains one of $K_4$ and $\overline{C_6}$. These immediately lead to three problems: characterize (i) $θ$-free graphs, (ii) $K_4$-free graphs and (iii) $\overline{C_6}$-free graphs. Kothari and Murty [JGT 2016] used the tight cut decomposition theory to solve the planar case of (ii) and (iii); the nonplanar cases are open. In contrast, we exploit a seminal result of Edmonds, Lovász and Pulleyblank [Combinatorica 1982] to obtain a structural characterization of $θ$-free graphs that immediately places the corresponding decision problem in P. The Petersen graph plays a key role. We deduce that every $θ$-free graph has at most $2n-2$ edges, and we characterize the tight examples. Despite being sparse, these graphs are not necessarily planar. In the style of Little [JCT-B 1975], we characterize Pfaffian $θ$-free graphs in terms of their forbidden conformal minors. Using the works of Robertson, Seymour and Thomas [Ann. of Math. 1999], and of McCuaig [E-JC 2004], we deduce that the Pfaffian recognition problem is in P for $θ$-free graphs. Deciding whether a cubic graph is 3-edge-colorable is NP-complete; for $θ$-free ones, we provide a characterization of those that are 3-edge-colorable, and deduce that the corresponding decision problem lies in P. McCuaig [JGT 2000] characterized 3-connected bipartite cubic graphs each of whose conformal cycles is of length 2 $\pmod{4}$; the 2-connected case is open. We stumbled upon the serendipitous corollary of our main result that each conformal cycle of a 2-connected cubic graph is of length 0 $\pmod{4}$ if and only if it is $θ$-free.

2024-07-07T05:27:49Z This work was presented at two editions of Meru Combinatorics Conference: only characterization in 2024 (by Rohinee Joshi), and the entire work in 2026 (by Santhosh Raghul) with a focus on the consequences. It was also presented at ADMA ICDM (in 2026 by Santhosh Raghul), and it received an award. It has also been accepted for presentation at AsiaComb (2026). None of these involve any publications Rohinee Joshi Santhosh Raghul Ajit A. Diwan Nishad Kothari http://arxiv.org/abs/2606.15627v1 2026-06-14T06:41:30Z

We prove the existence of clopen strong marker sets in $F(2^{\mathbb{Z}^n})$ for arbitrary finite generating sets. Specifically, for any positive integers $n, d_0\geq 1$ and any finite generating set $S\subseteq \mathbb{Z}^n$, we construct a clopen set $M\subseteq F(2^{\mathbb{Z}^n})$ and a positive integer $Δ$ such that (1) for any distinct $x,y\in M$ in the same orbit, $ρ(x,y)\geq d_0$; (2) for any $v\in S$ and any $x\in F(2^{\mathbb{Z}^n})$, there are non-negative integers $a,b\leq Δ$ such that $av\cdot x\in M$ and $-bv\cdot x\in M$. Here $ρ$ denotes the Euclidean metric. The same result then holds for the standard supremum-norm metric $ρ_\infty$ (with an adjusted constant), by the equivalence of norms on $\mathbb{Z}^n$. The proof introduces polyhedral packages in $\mathbb{R}^n$ as a generalization of the rectangular packages used in earlier work, enabling the construction to handle generating vectors with arbitrary coordinate patterns. As an application, we obtain a continuous proper edge $(2|S|+1)$-coloring of the Schreier graph on $F(2^{\mathbb{Z}^n})$ with generating set $S$, recovering a result of Gao--Wang--Wang.

2026-06-14T06:41:30Z Su Gao Tianhao Wang http://arxiv.org/abs/2606.15618v1 2026-06-14T05:56:38Z

We prove a sharp product theorem for $r$-cross-intersecting families in the $p$-biased measure. If $r\ge2$, $0\le p\le \frac{r-1}{r}$, and $\mathcal{F}_1,\dots,\mathcal{F}_r\subseteq 2^{[n]}$ are $r$-cross-intersecting, then $$\prod_{i=1}^r μ_p(\mathcal{F}_i)\le p^r.$$ The bound is attained by a common $1$-star, and the range of $p$ is best possible. In particular, this proves the equal-bias case of a conjecture of Frankl and Tokushige and, for $r=3$, confirms a conjecture of Tokushige. We also prove a stability theorem: for $r\ge3$, every near-extremal $r$-tuple is close, in $p$-biased measure, to a common $1$-star, with an optimal linear dependence on the product deficit. The extremal proof uses a coordinatewise coupling at the critical bias together with an isoperimetric inequality for increasing families. The stability proof uses dual families and random ordered partitions to obtain Fourier concentration, then applies biased Friedgut--Kalai--Naor theorem to force the star structure.

2026-06-14T05:56:38Z 21 pages, comments welcome! Fan Chang Hong Liu Miao Liu http://arxiv.org/abs/2606.15584v1 2026-06-14T04:08:00Z

An even factor of a graph $G$ is a spanning subgraph in which every vertex has positive even degree. It is known that the minimum degree $δ(G)\ge 2$ is a trivial necessary condition for $G$ to have an even factor. Recent spectral results for the existence of even factors used the certain complete-join graphs as exceptional extremal graphs. However, these graphs already contain $2$-factors and therefore are not genuine obstructions. This observation leads to the natural problem of determining the true sharp spectral threshold when the minimum degree is given. In this paper, we provide tight adjacency spectral radius conditions for a connected graph to contain an even factor, and characterize all extremal graphs, respectively. We also study the stronger requirement of a connected even factor, equivalently a spanning connected Eulerian subgraph. For this property, we also establish the corresponding sharp adjacency spectral radius condition and determine the unique extremal graph.

2026-06-14T04:08:00Z 20 pages Zeyuan Wu Hongzhang Chen Xinting Shi Jianxi Li http://arxiv.org/abs/2602.12672v3 2026-06-14T01:03:58Z

In this paper, we derive new combinatorial formulas for symmetric Macdonald polynomials $P_λ(X;q,t)$ and non-symmetric Macdonald polynomials $E_γ(X;q,t)$, in terms of several new statistics and the major index, for a partition $λ$ and a weak composition $γ$. Compared to previous formulas, these new formulas contain the fewest terms and lead to explicit $(q,t)$-formulas for the coefficients in the monomial expansion of $P_λ(X;q,t)$. In particular, the combinatorial formula for $E_γ(X;q,t)$ extends the one for $E_λ(X;q,t)$ indexed by a partition $λ$, due to Corteel, Mandelshtam and Williams (2022). Three existing formulas for $P_λ(X;q,t)$ established by Corteel, Mandelshtam and Williams (2022), by Corteel, Haglund, Mandelshtam, Mason and Williams (2022), and by Mandelshtam (2025) are recovered. Our proof relies on two new statistics on super fillings, employing the superization formulas of Haglund--Haiman--Loehr (2005) and Ayyer--Mandelshtam--Martin (2023), together with our recent approach to modified Macdonald polynomials.

2026-02-13T07:11:19Z 47 pages, 16 figures; The (q,t)-formula for symmetric Macdonald Polynomials and the combinatorial formula for non-symmetric Macdonald Polynomials are added Emma Yu Jin Xiaowei Lin http://arxiv.org/abs/2606.15498v1 2026-06-13T23:01:31Z

Let $R$ be a commutative ring with identity, and let $Z(R)$ be the set of zero-divisors of $R$. The inclusion graph of annihilators in $R$, denoted by $Γ^{\prime}(R)$, is a graph with the vertex set $Z(R)^*=Z(R)\setminus\{0\}$ and two distinct vertices $x$ and $y$ are adjacent if and only if $\operatorname{ann}_R(x)\subseteq \operatorname{ann}_R(y)$ or $\operatorname{ann}_R(y)\subseteq \operatorname{ann}_R(x)$. It is proved that $Γ^{\prime}(R)$ is not connected if and only if $R$ is reduced with $|\operatorname{Min}(R)|=2$. Also, we show that if $Γ^{\prime}(R)$ is a connected graph, then the diameter of $Γ^{\prime}(R)$ is at most $4$ and the girth of $Γ^{\prime}(R)$ is at most $6$, if it contains a cycle. Moreover, we study the affinity between inclusion graph of annihilators and complement of the annihilator graph (a well-known graph with the same vertices and two distinct vertices $x$ and $y$ are adjacent if and only if $\operatorname{ann}_R(xy)\neq \operatorname{ann}_R(x)\cup \operatorname{ann}_R(y)$) associated with a commutative ring. Finally, we characterize all rings whose inclusion graphs of annihilators are complete.

2026-06-13T23:01:31Z Hana Safari Farzad Shaveisi Reza Nikandish http://arxiv.org/abs/2604.25211v2 2026-06-13T21:43:15Z

Scaffolds are the one-dimensional skeleta of high-dimensional flag simplicial complexes of nonpositive curvature. They generalize the phylogenetic trees of Trop G(2,n) to arbitrary $k$, drawing together SL(k)-web bases, affine buildings, the combinatorics of the positive tropical Grassmannian and low-dimensional topology. We prove that scaffolds model points in all tropical Grassmannians via a $k$-point distance function. In this paper, we study in detail CAT(0) planar graphs, which are positive scaffolds for the tropical Grassmannian of three-planes. CAT(0) planar graphs are directed versions of the diskoids of Fontaine-Kamnitzer-Kuperberg, planar dual to SL(3)-webs. Our main result is the construction of a unique representation of any given integer positive tropical Plucker vector by a normal CAT(0) planar graph. We show that any normal CAT(0) planar graph embeds into the tropical linear space as a Lam-Postnikov membrane, and embeds into the Keel-Tevelev membrane within the affine building. We show that Early's planar basis expansion can be computed directly from the strand combinatorics of the dual web, and connect this expansion to Petersen-Pylyavskyy-Speyer's noncrossing tableaux, explored further in our companion paper.

2026-04-28T04:30:41Z 66 pages, 29 figures Nick Early Thomas Lam