arXiv subjects

Boris Shapiro

Publications and source records attributed to Boris Shapiro.

At least 19 recordsLinked to original sources

arXiv2026

Matching algebras and their Dunkl subalgebras

For a finite simple graph $G = (V, E)$, we consider the quotient algebra $\mathcal M(G)$ of the polynomial ring in the variables $u_e$ (for $e \in E$) by the ideal generated by all products $u_e u_f$ for non-disjoint edges $e$ and $f$ (including all squares $u_e^2$). This quotient is called the matching algebra of $G$, since it has a basis indexed by the matchings of $G$. In this quotient, we define a subalgebra $\mathcal D(G)$ generated by the signed incidence sums $θ_v=\sum_{e=(v,w)}u_e-\sum_{e=(w,v)}u_e$ for all $v \in V$ (where all edges of $G$ are oriented arbitrarily); we call this the Dunkl matching algebra. We show that, as a graded vector space, $\mathcal D(G)$ is dual to the span of all polynomials $p_M = \prod_{(i,j) \in M} (x_i - x_j)$, where $M$ ranges over all matchings of $G$. For the complete graph $K_n$, the latter span is a direct sum of two-row Specht modules (one in each degree); thus its Hilbert series is that of the Catalan triangle, and, in characteristic zero, the Dunkl matching algebra can be presented by linear and quadratic relations. For arbitrary graphs, we formulate the saturation problem of deciding when the selected matching Specht generators $p_M$ in a given degree $k$ span the full two-row Specht module $S^{(n-k,k)}$. We show that saturation in degree $k$ forces $k$-connectivity, that saturation in degree $2$ is equivalent to $2$-connectivity, and that $k$-linked graphs are saturated in degree $k$. We also prove saturation in every possible degree whenever the complement of $G$ is a matching. We show that the Dunkl matching algebra equals the full matching algebra exactly for forests, and give an explicit Hilbert series formula for unicyclic graphs.

math.CO↗

arXiv2026

The full shadow of a polynomial II. Vanishing root masses and holes

For a complex polynomial $P$, its full shadow is the closure of the set of zeros of all derivatives of all powers $P^n$, and its limiting core is the Hausdorff limit, as $n\to\infty$, of the set of zeros of all derivatives of $P^n$. These sets retain geometric information that weak limits of root-counting measures discard. We determine complete zero-set limits for arrays of polynomials whose roots approach finitely many locations. A cluster containing $o(D)$ roots of a degree-$D$ polynomial can survive outside the limiting support of the derivative zeros, which depends only on the positive limiting masses: under repeated differentiation, the zeros it produces follow a straight path, selected by an explicit min--max condition, and preserve the cluster's exact multiplicity. When such a location instead carries a small positive mass $\varepsilon$, the support of the limiting zero distribution at a fixed ratio of derivative order to degree develops an arc on the $\sqrt{\varepsilon}$ scale with a universal local semicircle profile. We use these mechanisms to prove that polynomial shadows can have robust and arbitrarily complicated topology. For every $k\ge2$, there are polynomials with $k+2$ distinct root locations whose limiting cores and full shadows have at least $\binom{k}{2}$ holes; this persists under coefficient perturbations and among square-free polynomials without a reflection axis. In a four-location family, the core and full-shadow areas tend to zero while one hole has area tending to $8/1221$.

math.CV↗

arXiv2026

Hilbert functions of filtered graphical zonotopal algebras

The external zonotopal algebra of a graph is generated by nilpotent vertex elements $X_v$ and determines the graphical matroid after deleting loops. Replacing these generators by $f(X_v)$, for a power series $f(u)$, and filtering by word length gives a family of filtered algebras. We extend filtered graph reconstruction from simple graphs to loopless multigraphs without isolated vertices when the linear and quadratic coefficients of $f$ are nonzero. Nevertheless, even the family of Hilbert functions indexed by all polynomials does not determine the graph: two nonisomorphic ten-vertex trees have the same Hilbert function for every $f$, answering a question of Nenashev and the first author. For forests and series whose first nonconstant term has degree $k\ge 2$, we give a monomial presentation indexed by partial score vectors whose entries are divisible by $k$. For normalized nondegenerate functions, a boundary-state calculus gives a common finite parameter partition for all trees of a fixed maximum degree. In maximum degrees three and four, exact symbolic calculations identify these partitions by the vanishing of specified coefficients of $f^{-1}$. For functions with nonzero quadratic coefficient, the same calculus gives explicit recurrences for attached or connecting paths. Symmetry reductions, including commuting actions of $sl_2$ and the symmetric group on the leaves of a star, determine the generic Hilbert series of stars and two-vertex multigraphs and also apply to parallel edges and leaves in larger graphs. For cycles, we determine the highest-degree term and the first three nonconstant coefficients in the stable range. A weighted independent-set formula describes the trace sequence in the remaining conjecture.

math.CO↗

arXiv2026

Discriminants of derivatives: square graphs and sums of squares

The discriminants of the derivatives of a real-rooted polynomial are nonnegative polynomials in its roots, and we ask whether this nonnegativity can be certified algebraically in the root differences. We compare three such certificates: sums of squares, positive combinations of symmetrized monomials in squared root differences (the square-graph cone of Alexandersson and Shapiro), and sum-of-squares factorizations of the Hermite matrix of the derivative. We work in the terminal range, where the degree $r=n-k$ of the $k$-th derivative is fixed and the degree $n$ of the polynomial grows. For $r=3$ the discriminant lies in the square-graph cone for every $n$, and we prove the three-graph formula conjectured by Alexandersson and Shapiro. For $r=4$ the two cones separate: the discriminant belongs to the square-graph cone exactly for $4\le n\le22$, but it is a sum of squares for every $n\ge4$. The negative part is certified by an explicit linear functional, the positive part by a rational Gram certificate built from nine orbits of squares under the symmetric group. Thus the square-graph conjecture fails, already at $(n,k)=(23,19)$, while the sum-of-squares question has a positive answer for all $k\ge n-4$. Finally, we give explicit sum-of-squares factorizations of the Hermite matrices of the terminal cubic and quartic. The quartic factorization yields a uniform proof of the sum-of-squares property for all $n\ge4$, and we conjecture that such a factorization exists for every derivative; this is verified in the centered outlier limit through terminal degree six.

math.CA↗

arXiv2026

The Loopy Polynomial: from Tutte's Universal $V$-Function to Bizonotopal Geometry

We study the loopy polynomial L_G, a multivariate graph invariant arising from bizonotopal graphical algebras and defined by deletion and loopy contraction, in which the contracted edge is retained as a loop. It determines the Tutte polynomial and admits a spanning-forest expansion recording external activity componentwise. It also determines Stanley's chromatic symmetric function for every graph; the degree sequence, induced edge count profile, and independence polynomial for loopless graphs; and the clique and matching polynomials for simple graphs. Separating component size from external activity gives a refinement that is equivalent to the extended U-polynomial and the extended polychromate. The ordinary U-polynomial, Tutte's universal $V$-function, and Stanley's Tutte symmetric function are specializations of this refinement. We conjecture that L_G and U_G have the same distinguishing power on simple graphs, and verify this through eleven vertices. We exhibit five-vertex loopless multigraphs with equal U-polynomials but distinct loopy and extended U-polynomials, solving a problem of Merino and Noble. We also disprove Loebl's conjecture for chordal graphs and its restriction to split graphs, with counterexamples on eleven and fourteen vertices, respectively. For the score polytope P_G of the external bizonotopal algebra, we give a geometric realization of loopy deletion-contraction. The resulting forest-indexed geometric parking complexes partition the lattice points of P_G and are piecewise integral-affinely parametrized by boxes whose interval lengths are the component indices in the forest expansion.

math.CO↗

arXiv2026

Transposition Cayley Spectra and Subgraph Counts

Let $G$ be a finite simple graph on the vertex set $[n]$, and let $Γ(G)$ be the Cayley graph of the symmetric group $S_n$ generated by the transpositions corresponding to the edges of $G$. We study the inverse spectral problem for the assignment $G\mapsto Γ(G)$ through the group-algebra operator $A_G=\sum_{\{i,j\}\in E(G)}(ij)$ and its regular spectral moments $M_k(G)=\operatorname{tr}(A_G^k)$. The moments admit two all-order forms: a universal support expansion in non-induced subgraph counts of $G$, and a representation-theoretic expansion over the irreducible representations of $S_n$. We compute the first nontrivial moments through order six. In particular, the fourth moment already contains the Coxeter triangle relation and determines the signed local invariant $6N_{K_3}(G)-N_{P_3}(G)$, rather than $N_{P_3}(G)$ alone. Consequently, for triangle-free graphs the spectrum determines the second moment of the degree sequence. We also give a simplified sixth-moment formula for triangle-free graphs, showing that in this class the spectrum determines $5N_{K_{1,3}}(G)+2N_{P_4}(G)+12N_{C_4}(G)$. Further structural consequences include bipartiteness and spectral symmetry of $Γ(G)$, a precise connectedness test, and the identification of the standard irreducible component with the shifted graph Laplacian $mI-L_G$.

math.CO↗

arXiv2026

The full shadow of a polynomial I. The limiting core and the transient set

The full shadow of a complex polynomial $P$ of degree $d\ge2$ is the closure of all zeros of $(P^n)^{(m)}$, $n\ge1$, $0\le m<dn$. We prove that it consists of a compact connected limiting core containing all roots and critical points of $P$, together with isolated transient zeros, each occurring at only finitely many powers. The core is the Hausdorff limit of the zero sets pooled over all derivative orders as $n\to\infty$ and the support of their limiting normalized root-counting measure. For $m/n\toα\in(0,d)$, we establish weak convergence of normalized root-counting measures and Hausdorff convergence of zero sets to the limiting supports, both stable under coefficient perturbations. We exhibit quartics with infinitely many transients. A bounded operator constructed from polynomial differentiators realizes the full shadow, core, and transients as its spectrum, Fredholm essential spectrum, and discrete spectrum, respectively.

math.CV↗

arXiv2026

The translation geometry of Pólya's shires

In his shire theorem, G. Pólya proves that the zeros of iterated derivatives of a meromorphic function in the complex plane accumulate on the union of edges of the Voronoi diagram of the poles of this function. By recasting the local arguments of Pólya into the language of translation surfaces, we prove its generalisation describing the asymptotic distribution of the zeros of a meromorphic function on a compact Riemann surface under the iterations of a linear differential operator $T_ω: f \mapsto \frac{df}ω$ where $ω$ is a given meromorphic $1$-form. The accumulation set of these zeros is the union of edges of a generalised Voronoi diagram defined by the initial function $f$ together with the singular flat metric on the Riemann surface induced by $ω$. This result provides the ground for a novel approach to the problem of finding a flat geometric presentation of a translation surface initially defined in terms of algebraic or complex-analytic data.

math.GT↗

arXiv2026

Generic $μ$-power ideals, fat points, and symbolic powers

Problem F of \cite{FLOS18} asks whether an ideal generated by $r$ generic $μ$-power forms, where $μ\vdash d$ is a non-pure partition, has the same Hilbert series $G_{n,d,r}=\big[(1-t^d)^r(1-t)^{-n}\big]_+$ as an ideal generated by $r$ generic forms of degree $d$. We show that the answer is negative, and we determine exactly when the natural obstruction is available. Our main tool is an apolarity inclusion that converts a distinguished large part of $μ$ into a fat-point linear system in the dual projective space. This yields a single \emph{master obstruction} (Theorem \ref{thm:master}): a counterexample exists whenever, for $r$ general points of $\PP^{n-1}$, the homogeneous system $\LL(q;m^r)$ is non-empty while $\LL(q;(m-a)^r)$ has non-positive virtual dimension. We complement this with a positive result (Theorem \ref{thm:small-r}): by Stanley's theorem, Problem F has a positive answer for \emph{every} $μ$ as soon as $r\le n+1$. For ternary forms, the obstruction produces counterexamples precisely for $5\le r\le 8$, with extremal curves given by the conic through five points and products of $(-1)$-curves on del Pezzo surfaces. It is vacuous unconditionally for $r\le 4$ and $r=9$, and, assuming Nagata's conjecture, for every non-pure $μ$ when $r\ge 10$. We also obtain counterexamples in four variables for $r=9$. An exact finite-field certificate shows that $d=14$, $μ=(13,1)$ is the \emph{first} failure for five ternary generators.

math.AC↗

arXiv2026

Symbolic powers of the ideal of$n$ general points in $P^{n-1}$

Problem L of Fröberg--Lundqvist--Oneto--Shapiro asks for the difference between the Hilbert series of ordinary and symbolic powers of the ideal of general points in projective space. We solve this completely for $n$ general points of $\PP^{n-1}$. Besides a closed formula for \[ \HS(S/I^m)-\HS(S/I^{(m)}), \] we determine all minimal monomial generators of $I^{(m)}$, and describe the symbolic Rees algebra. We also show that containment $I^{(m)}\subseteq I^r$ is detected solely by initial degrees. This gives the exact containment threshold, the Waldschmidt constant $\walpha$, the resurgence $\Res$, and the asymptotic resurgence $\aRes$: \[ \walpha(I)=\frac{n}{n-1}, \qquad \Res(I)=\aRes(I)=\frac{2(n-1)}{n}. \] We also take the first step beyond $n$ points: for $n+1$ general points of $\PP^{n-1}$ --- again a rigid, non-monomial configuration --- we identify the defining quadrics, resolve the case $n=3$ completely (a complete intersection, with $J^{(m)}=J^m$ for all $m$ and resurgence $1$), and propose an exact Waldschmidt-constant formula $\walpha=\frac{n+1}{n-1}$ for all $n$, verified computationally in every case we could check.

math.AC↗

arXiv2026

Real polynomials with given multiplicities of real roots: Complete conjectural description of homology

Following \cite {KSW} we continue the study the cellular complexes formed by polynomials of a given degree having a given sequence of multiplicities of real roots. A computer-assisted calculation disproves the earlier conjecture that homology of one point compactification of the closure of such cell is concentrated in at most one degree. Namely, for $ω=(3,1,1,3)$ in degree $d=18$, the reduced homology is $\ZZ^2$ in degree $7$. The obstruction is already visible in a signed cell count, whose value is $-2$. We relate that count to the rational signed weight enumerator $F_ω(t)=\sum_{η\preceqω}(-1)^{\elln(η)}t^{|η|}$. For the counterexample, $F_ω(t)=-t^{14}/(1+t^2)^2$, which gives an exact linear formula for the Euler characteristic and forces the total rational Betti number to be unbounded. We prove a number of results and formulate a complete conjecture describing the above homology.

math.AT↗

arXiv2026

The (n-2,2)-Spectrum of a Graph

We study a representation-theoretic refinement of the ordinary Laplacian spectrum of a graph. Given a graph $G$ on $n$ vertices, one may associate to it the element \[ X_G=\sum_{ij\in E(G)} (ij)\in \C[S_n]. \] The action of $X_G$ in irreducible representations of $S_n$ produces spectral invariants of graphs. The standard representation $(n-1,1)$ recovers the ordinary graph Laplacian spectrum, up to the elementary affine change $X_G=mI-L_G$, where $m=|E(G)|$. The next component, $(n-2,2)$, gives the first representation-theoretic correction. We give an explicit edge-space model for this component, derive a concrete coordinate formula for the induced operator, give a conceptual formula for all trace moments, specialize it to trees as universal linear combinations of support-forest counts, and then compute the first three moments explicitly. The third moment is expressed in terms of three-edge subgraph counts. We also introduce a weighted trace polynomial and prove that this weighted refinement already reconstructs every tree from the second moment, except for a single exceptional value of $n$ where the fourth moment suffices. Finally we discuss the relation with the invariant-theoretic approach of Thiéry \cite{Thiery} and formulate a more explicit support-forest-profile conjecture for the unweighted graph isomorphism problem for trees.

math.CO↗

arXiv2026

Algebraic defect and positive mother body measures

Continuing the study of mother-body measures with algebraic Cauchy transform, we associate with a positive algebraic germ $f$, its irreducible equation $P(z,w)=0$, and a compact convex set $K$ the functional \[ \mathfrak D_{P,K}(μ)= \int_K\left|P\bigl(z,\mathcal C_μ(z)\bigr)\right|^{1/d}\,dA(z), \qquad d=\text{deg}_wP, \] on the set of positive measures supported in $K$ and whose Cauchy transform has germ $f$ at infinity. We prove continuity of $\mathfrak D_{P,K}(μ)$ and attainment of its minimum, characterize zero defect, and obtain the estimate \[ μ(D(a,r))\le C_1r+C_2\mathfrak D_{P,K}(μ)/r \] away from the zero set of the leading coefficient of $P$, where $D(a,r)$ is the disk of radius $r$ centered at $a$. We establish a dual formula for the defect in the rational case and construct positive algebraic Cauchy transforms by Herglotz theory, Fuss--Catalan and Raney laws, positive sums, polynomial pushforwards, and branch graphs. The passage from zero defect to a mother body is made under the planar-null hypothesis of the support.

math.CA↗

arXiv2026

Semiclassical expansion for exactly solvable differential operators

Below we study a linear differential equation $\MM (v(z,η))=η^M{v(z,η)}$, where $η>0$ is a large spectral parameter and $\MM=\sum_{k=1}^{M}ρ_{k}(z)\frac{d^k}{dz^k},\; M\ge 2$ is a differential operator with polynomial coefficients such that the leading coefficient $ρ_M(z)$ is a monic complex-valued polynomial with $\dgr{ρ_M }=M$ and other $ρ_k(z)$'s are complex-valued polynomials with $\dgr{ρ_k }\leq k$. We prove the Borel summability of its WKB-solutions in the Stokes regions. For $M=3$ under the assumption that $ρ_M$ has simple zeros, we give the full description of the Stokes complex (i.e. the union of all Stokes curves) of this equation. Finally, we show that for the Euler-Cauchy equations, their WKB-solutions converge in the usual sense.

math.CA↗

arXiv2026

Confocal families of plane algebraic curves

We study families of plane algebraic curves sharing the same set of foci. We reformulate confocality via a focal map on equiclassical families and analyze its fibers using deformation theory.

math.AG↗

arXiv2026

Van Vleck spectra of high-order Heun operators:\ finite-band universality and exterior asymptotics

We study high-order analogues of the classical Heun operator of Fuchs index one, \[ \dq=\sum_{i=1}^k Q_i(z)\frac{d^i}{dz^i}, \qquad °Q_i\le i+1, \qquad °Q_k=k+1. \] For a fixed degree $n$ we consider the linear Van Vleck polynomials $V$ for which $\dq+V$ has a polynomial solution of degree $n$, and we form the spectral polynomial $Sp_n$ whose zeros are the zeros of these Van Vleck polynomials. The main result is a finite-band determinant representation and the resulting universality theorem: after normalization, all fixed power sums of the zeros of $Sp_n$ have limits given by explicit constant-term formulae depending only on the leading coefficient $Q_k$. The lower coefficients of $\dq$ enter only lower order correction terms. Combining this with the localization theorem for Van Vleck roots, we strengthen the usual germ-at-infinity conclusion to locally uniform convergence of the normalized Cauchy transforms and logarithmic potentials on the whole exterior of the convex hull of the zeros of $Q_k$. We also prove a determinacy criterion: if the spectral roots are asymptotically confined to a compact set with empty interior and connected complement, then the finite-band moments determine the actual weak limit. In particular, when the zeros of $Q_k$ are collinear the root-counting measures of $Sp_n$ converge weakly to a probability measure supported on the corresponding segment; this limit is independent of all lower coefficients of $\dq$. Finally, we prove holonomicity of the exterior Cauchy transform and derive Picard--Fuchs equations for the WKB periods, with an explicit third-order equation in the first non-classical case $k=3$. The paper ends with a precise mother-body conjecture for the genuinely complex case, clearly separated from the unconditional results.

math-ph↗

arXiv2026

Frenet turns

We discuss a problem posed by A.~Agrachev asking how many times a usual circle in $\mathbb R^n$ should be traversed to admit a deformation by curves with nowhere degenerating Frenet frame. It turns out that the answer depends on a specific topology which we consider. For the literal $C^n$ curve topology, the least number of turns of a plane circle admitting arbitrarily small nondegenerate perturbations is \[ k(2)=1,\qquad k(3)=2,\qquad k(n)=1\quad(n\ge4). \] This jet-level problem is different from the original Frenet-control problem by Agrachev. We show that in the literal interpretation of Agrachev's problem one has a simple spherical Fenchel obstruction in all dimensions $n\ge4$. To retain a nontrivial turn-counting problem, we introduce decorated turn data. In $\R^4$ the datum is a pair $(p,q)$ recording tangent-plane and normal-plane turns; we prove that every nonresonant pair $(p,q)$ with $p,q>0$, $p\ne q$, is accessible by small positive constant Frenet controls. In even dimension $2r$ the analogous datum is a vector $(p_1,\ldots,p_r)$, and every vector with pairwise distinct positive entries is accessible by constant controls. Odd dimensions require genuinely time-dependent openings since constant controls cannot close the base curve.

math.DG↗

arXiv2026

Complex spectrum of the partial theta function

We study the complex spectrum of the partial theta function \[ Θ(q,x)=\sum_{j=0}^{\infty}q^{j(j+1)/2}x^j, \qquad |q|<1, \] where a spectral value is a parameter for which $Θ(q,\cdot)$ has a multiple zero. Since the function is defined here only for $|q|<1$, all spectral values are strictly inside the unit disk; boundary points on $|q|=1$ occur only as accumulation points of the spectrum. The paper combines two complementary points of view. Near the unit circle we prove that every point of $|q|=1$ is an accumulation point of the spectrum; the proof uses explicit spectral factors of truncations, the Jacobi triple product, and a boundary-window lifting argument near roots of unity. Inside a fixed subdisk, illustrated for $|q|\leq 0.8$, the true spectrum is locally finite and must be separated carefully from the much larger branch loci of truncations and Jensen polynomials. We give a truncation-seeded Newton procedure which produces a discrete list of candidate spectral values, explain the caustic/escaping-root mechanism in finite approximants, and record numerical monodromy experiments using a radial convention: for a spectral point $q_*$, roots are labelled at the point $0.1q_*/|q_*|$ on the small circle and then continued along the straight radial segment to $q_*$. This convention gives a coherent set of collision labels in the disk, treats negative real spectral values from the base point $-0.1$, and leads to a preliminary rational-direction heuristic for radial monodromy.

math.CA↗