arXiv ScienceSearch

arXiv · 2608.18302

Schur polynomials twisted by roots of unity and reciprocal pairs: torsion filters, fusion quotients, and total unimodularity at odd order

Abstract

Write $μ_t$ for the $t$-th roots of unity and $z^{\pm1}$ for $r$ free reciprocal pairs. We study $Φ_{t,r}(β)=s_λ(μ_t,z^{\pm1})$, $β=λ+δ$, and the question the companion paper left open after $r=1$: when does it vanish? We factor the evaluation into classical branching followed by a torsion filter, and the shape depends on the parity of $t$: the point lies in the orthogonal group with determinant $(-1)^{t+1}$. For odd $t$ it sits in the identity component: an ordinary restriction $SO_{2R'+1}\downarrow SO_{2m'+1}\times SO_{2r}$, the filter an odd orthogonal character at a principal element of order $h+1$. For even $t$ in the other: a twining, a virtual expansion, and a torsion element regular but not principal; there we prove the filter, with its sign. One description covers both: the filter is nonzero exactly when the shifted point is regular semisimple. Both are minimal-level fusion projections: the even of type $C$, the odd's tensor sector of type $B$. Affine folding accounts for $0,\pm1$; what it does not survives as conjectures. The highest surviving weight is the dominant vertex of the numerator's Newton polytope minus the denominator's --- the latter proved, the former conditional on a single-orbit property --- and the class there is conjecturally primitive, $\pm$ the generator of the rank-one quotient. For odd $t$ and one $Λ$ that numerator is a signed transversal count in $\{0,\pm1\}$ by the equal-rank character formula, leaving one division. We invert it in closed form, along an arithmetic progression; the quotient is $\pmε_t\det M$ for an explicit $0/{\pm}1$ matrix --- an interval matrix up to signs, hence totally unimodular, which settles (L1). The fibre count is a permanent, odd only when $1$, so at a dominant index a multi-hit fibre sums to zero. Two extremal statements remain. What is unproved is measured, in both parities.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Carles Marín. 2026-08-20. Schur polynomials twisted by roots of unity and reciprocal pairs: torsion filters, fusion quotients, and total unimodularity at odd order. https://arxiv.org/abs/2608.18302

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Adjunctions, Box Products, and Forcing Families

Sidorenko's conjecture states that the number of copies of any given bipartite graph in another graph of given density is asymptotically minimized by a random graph. For bipartite graphs containing a cycle, the forcing conjecture further asserts that asymptotic equality characterizes quasi-random graphs. We establish an adjoint identity for a general class of graph-substitution operators and use it to obtain Sidorenko and forcing results for balanced blow-ups, subdivisions, Cartesian products, and strong products.

math.CO

On the Cost Number of Graphs with Determining Number Two

A distinguishing vertex coloring of a graph $G$ is a vertex coloring such that only the identity automorphism of $G$ preserves the coloring. A graph is $2$-distinguishable if it admits a distinguishing vertex coloring with two colors, and its cost $ρ(G)$ is the minimum size of a color class in such a coloring. The determining number of a graph $G$, denoted by $Det(G)$, is the minimum size of a subset $S\subseteq V(G)$ such that only the trivial automorphism fixes every element of $S$ pointwise. Boutin (J. Combin. Math. Combin. Comput. 85: 161-171, 2013) asked if $ρ(G)$ and $Det(G)$ can be arbitrarily far apart. While the case for $Det(G) = 1$ is trivial, the answer remained unknown for $Det(G) \ge 2$. In this manuscript, we show that if $Det(G)=2$ then not only is $ρ(G)$ bounded, but in fact $ρ(G) \leq 4$. This is the first resolution of Boutin's question for any nontrivial fixed determining number. Moreover, for every fixed $Det(G)= n$, we construct examples giving a lower bound on any possible upper bound for $ρ(G)$ in terms of $n$.

math.CO