polynomial
11173 papers tagged with this keyword
Tomography of quantum states with bounded extent
We give a general framework for tomography of states that have bounded-extent with respect to a structured class of states. Let $\textsf{C}$ be a family of $n$-qubit states such that: $(i)$ $\textsf{C}$ is succinctly representable and $(ii)$ there is a weak agnostic learner of $\textsf{C}$. We give a tomography protocol for an unknown state $|ψ\rangle$ that is promised to admit a decomposition of the form $|ψ\rangle = \sum_i c_i |φ_i\rangle$, where $|φ_i\rangle \in \textsf{C}$ with bounded $\ell_1$-norm of the coefficients (which we call extent). Our main contribution is to show that a weak agnostic learner for $\textsf{C}$ can be boosted into a tomography algorithm for states with bounded extent with respect to $\textsf{C}$.
Our reduction is black-box and applies broadly across model classes. As an application, when $\textsf{C}$ is the class of stabilizer states, we obtain tomography algorithms for states with stabilizer extent $ξ$ up to trace distance $\varepsilon$, in time $\textsf{poly}(n,(ξ/\varepsilon)^{\log(ξ/\varepsilon)})$, which is improvable to $ \textsf{poly}(n,ξ,1/\varepsilon)$ assuming the algorithmic polynomial Freiman-Ruzsa conjecture in the high-doubling regime. When the unknown state $|ψ\rangle$ is arbitrary, we give an algorithmic decomposition result in the spirit of a weak regularity lemma for quantum states with respect to $\textsf{C}$ and show that the structure in $|ψ\rangle$ that is explainable by $\textsf{C}$ can be efficiently learned. Our main conceptual message is that agnostic learning of a structured base class automatically yields learnability of its low-complexity linear span.
The singular cohomology ring of a uniform matroid: combinatorics and Lefschetz properties
The singular cohomology ring of a matroid is an algebraic invariant which generalizes the Chow ring of a matroid. We study combinatorial and Lefschetz properties of the singular cohomology ring of a uniform matroid. Combinatorially, we construct an explicit basis for the singular cohomology ring in terms of Koszul homology. From this basis we derive multiple formulas for the Hodge numbers of the cohomology ring that recover and extend known formulas for the Chow polynomial of a uniform matroid. We also use this basis to show that the singular cohomology ring of a uniform matroid satisfies the "quasi-projective strong Lefschetz property" -- a slight weakening of the Hard Lefschetz property found in the Chow ring of a matroid.
Ideals defining components of two-row Springer fibers
Springer fibers are subvarieties of the flag variety parameterized by nilpotent matrices. They are central objects of study in geometry representation theory. This paper focuses on two-row Springer fibers, those corresponding to nilpotent matrices with two Jordan blocks. Irreducible components of two-row Springer fibers are in bijection with two-row standard Young tableaux and also with noncrossing matchings.
Inspired by the combinatorial commutative algebra of matrix Schubert varieties, we define a polynomial ideal for each noncrossing matching and prove that these ideals define the corresponding components of the Springer fiber. Our proofs leverage geometric descriptions of Springer fibers established by Fung, Stroppel--Webster, Fresse, and Goldwasser--Nadeem--Sun--Tymoczko. Using these ideals to compute examples, we give two conjectural formulas for the cohomology class of each component of a two-row Springer fiber. We apply commutative algebra techniques to prove these conjectures for a specific family of two-row tableaux.
Periodic discrete graphs with prescribed spectrum
We construct a periodic weighted graph whose discrete Laplacian has a spectrum with precisely $n$ gaps. Moreover, we show that by an appropriate choice of the weights, the endpoints of these gaps, as well as the upper edge of the spectrum, attain the prescribed values. The underlying graph has a brush-like geometry: it consists of an infinite chain of vertices, each of which is connected to $n$ additional pendant vertices by extra edges. Semi-explicit formulae for the weight coefficients are provided: some of the coefficients are determined explicitly, while others are given as roots of an explicitly determined polynomial.
Gauss Circle Lattices with Geometric Convolutions for Synthesizing High Dimensional Image-Source Room Impulse Responses
The image-source model (ISM) is a widely adopted method for efficiently simulating acoustic room impulse responses (RIRs) under specular reflection assumptions. Acoustic paths between source and receiver are traced to lattice points computed from successive reflections over bounding planes of the room. Rectangular rooms bound the total number of image-sources to be polynomial in the RIR's duration or distance $k$ equivalent, with degree equal the number of room dimensions $N$. Direct ISM simulations are therefore compute upper-bound by $O \left ( k^N \right )$, and consider only cases of $N \leq 3$ for tractability and real-world applications. This work proposes an alternative computational method that lowers the asymptotic compute bound to $O \left ( N k^2 \log k \right )$ for integer coordinates and room dimensions via reducing ISM lattice point counting to the classic Gauss circle problem (GCP). We extend the lattice counting model to frequency-dependent and reflection weighted image-sources in higher dimensions, relating solutions between successive dimensions via the convolution operator. Two constructions for realizing RIRs are presented, along with time-frequency controls, error and run-time analysis, and RIR statistics.
Combinatorial and analytic aspects of independence polynomials of zero divisor graphs
The independence polynomial of a graph encapsulates all independent sets of differing sizes, a task classified as NP-hard in theoretical computer science. This article examines the independence polynomial of zero divisor graphs in commutative rings. We demonstrate that the independent sets, represented as a sequence of coefficients of the independence polynomial, exhibit unimodality and log-concavity. Therefore, for the independence polynomial of some zero divisor graphs, the unimodal conjecture is true. Additionally, the characteristics of the zeros of the independence polynomial are delineated, along with their corresponding annular regions on the plane.
Sharp Low-Degree Thresholds for Planted-vs-Planted Testing
We establish the first sharp thresholds for low-degree polynomial tests in planted-vs-planted settings, where the goal is to determine with vanishing error which of two structured planted mechanisms generated the observed data. We prove matching low-degree upper and lower bounds for counting communities in the planted submatrix and planted dense subgraph models. The resulting testing threshold coincides, down to the sharp constant, with the known low-degree recovery threshold. In contrast, the task of weak testing, where the goal is to outperform random guessing, does not have a sharp threshold but rather a smooth transition, which we identify. To prove our results, we develop a framework for planted-vs-planted testing that builds on a latent-variable expansion originating in low-degree recovery and employs new methods to identify and prune non-signal contributions.
Temporal Cliques Admit Linear Spanners
A temporal graph is a graph in which every edge carries a non-empty set of time labels, and it is temporally connected if for every two vertices $u$ and $v$, there exists a $u$-$v$-path with non-decreasing time labels. A spanner is a subset of its edges preserving temporal connectivity. Unlike static graphs, temporally connected graphs need not admit sparse spanners; nonetheless, minimizing spanner size is a central and widely studied problem. A particularly intriguing question is whether temporal cliques admit spanners of linear size. Despite considerable effort over the past years, the best known upper bound remained $O(n \log n)$. We finally resolve this question, proving that every temporal clique on $n$ vertices admits a spanner of size $7n$. Moreover, such a spanner can be computed in polynomial time.
Majorization and Gaussian-Mass Maximality for Construction-A Lattices from Binary Self-Dual Codes
Regev and Stephens-Davidowitz conjectured that the integer lattice maximizes Gaussian mass among integral lattices of a given rank. We prove this, including the equality case, for all unimodular Construction-A lattices arising from binary self-dual codes. The proof reduces the theta-series inequality to a sharp majorization statement for codes: if $C$ is a binary self-dual $[2k,k]$ code, then the half-weight distribution of $C$ is dominated in convex order by $\operatorname{Bin}(k,1/2)$, which is the corresponding distribution for the repetition-code model of $\mathbb{Z}^{2k}$. Indeed, after putting $C$ in systematic form $[I\mid A]$, self-duality gives $AA^T=I$ over $\mathbb{F}_2$, so for a uniformly random message $a$ the two weights $\operatorname{wt}(a)$ and $\operatorname{wt}(aA)$ have the same binomial law. The half-weight of the resulting codeword is their average, and Jensen's inequality then gives convex-order domination. Applied to the convex test functions that build the theta series, this yields a sum-of-squares formula for the Gaussian-mass gap; applied to hinge functions, it gives coefficientwise nonnegativity of the reduced gap polynomial.
Uncrowding the 5-Vertex Model: RSK and Crystal Structures
While the uncrowding algorithm on set-valued tableaux has long been instrumental in proving the Schur positivity of stable symmetric Grothendieck polynomials, lattice models have emerged as a modern framework for investigating symmetric functions, in particular symmetric Grothendieck polynomials. In this work, we synthesize these combinatorial and lattice-theoretic approaches by defining both the Robinson--Schensted--Knuth (RSK) correspondence and the uncrowding operation directly on a 5-vertex model of Motegi and Sakai and its subsequent reinterpretation by Buciumas, Scrimshaw, and Weber. Our lattice-based RSK formulation yields a powerful new result: the direct construction of the associated crystal structure on the states of the 5-vertex model.
Recurrence and coefficient inequality for the partial Petrial polynomial of graphs
The partial Petrial polynomial of a ribbon graph, introduced by Gross, Mansour and Tucker, enumerates partial Petrials by Euler genus. Recently, Deng, Jin and Yan defined an analogue for grafts and showed that it can be expressed as a rank-generating function of an adjacency matrix. In this paper we first prove a recurrence relation that reduces the partial Petrial polynomial of a graph with respect to an arbitrary edge, expressing it as a sum of three terms involving graphs obtained by local complementation and edge pivoting. This recurrence extends the known leaf-reduction formula to vertices of any positive degree. Second, using this recurrence we compare the lowest and highest degree coefficients of the polynomial. We prove that the lowest coefficient is always at most the highest coefficient, and that equality holds if and only if the graph has no edges.
Lean 4 Machine-Verified Proof of P = NP via the Pedigree Polytope Membership Problem
The Membership Problem for Pedigree Polytope (M3P) asks, given $X\in\mathbb{Q}^{\binom{n}{3}}$, whether $X\in\mathrm{conv}(P_n)$, where $P_n$ is the set of all pedigrees. A pedigree is a structured encoding of a Hamiltonian cycle construction in $K_n$. We establish that M3P is solvable in strongly polynomial time via a recursively constructed layered network $(N_k, R_k, μ)$ and a multicommodity flow problem MCF$(k)$. The necessary and sufficient condition for membership established is that the optimal total flow in MCF$(n-1)$ equals the maximum possible flow $z_{\max}$. The complexity analysis, grounded in Tardos's strongly polynomial algorithm for combinatorial linear programs (1986), shows that this condition can be checked in strongly polynomial time in the dimension of the matrix involved. By sufficiency, this implies M3P~$\in$~P. Since the Symmetric Travelling Salesman Problem (STSP) reduces to M3P via the Multistage Insertion (MI) formulation (Arthanari 1983), STSP is solvable in polynomial time, and the P vs.NP question is resolved. The proofs leading to this result are fully machine-verified in Lean~4/Mathlib4, with zero unresolved \texttt{sorry}s in the main proof chain. The main contribution is the Lean~4 machine verification of all proofs in the main chain, resulting in \texttt{theorem p\_equals\_np}: P = NP. The Lean~4 formal verification covers the sufficiency of MCF(n-1) for membership in $\mathrm{conv}(P_n)$, and the P = NP chain via Maurras (2002), Grötschel--Lovász--Schrijver (1988), Cook (1971), and Karp (1972). The complete lean project (36 Lean~4 files, 2968/2968 build targets clean) is available at https://github.com/TiruArt/Pedigree-Polytopes-Lean4.
An Iwasawa-type asymptotic formula for multiple $\mathbb{Z}_p$-coverings of graphs
For a possibly ramified $\mathbb{Z}_p^d$-covering of connected graphs, we establish an Iwasawa-type asymptotic formula for the growth of the $p$-adic valuations of the complexities. The formula is expressed as a polynomial in $n$ and $p^n$ with explicit leading coefficients $λ$ and $μ$; in particular, we eliminate the error term of the form $O(p^{(d-1)n})$ appearing in earlier work. We then establish a Kida-type formula describing the behavior of $λ$ under a $p$-covering between $\mathbb{Z}_p^d$-coverings, assuming $μ= 0$. Finally, for any fixed $p$ and integer $d \geq 2$, we construct an unramified $\mathbb{Z}_p^d$-covering of a bouquet with prescribed $λ$- and $μ$-invariants.
Modular inequalities and Alexander polynomials of pencil type conic-line arrangements
We use recent results, among which modular inequalities for curves, to determine the Alexander polynomials for some classes of pencil-type conic-line arrangements. For these classes of curves we prove that the Alexander polynomial is (at least partially) combinatorial. To this end, we exemplify new techniques that are suitable for broader use, lending themselves to more general classes of curves.
A note on partitions in the image of pre$_2$
Devnani and Eyyunni recently studied the maps pre$_k$ on integer partitions, which arise from applying elementary symmetric polynomials to the parts of a partition. They asked whether there exists $n \ge 1$ such that exactly one partition of $n$ lies in the image of pre$_2$. We show that this occurs only for $n$ in {1, 2, 4}, and that for all $n \ge 5$, at least two partitions of n are in the image of pre$_2$.
Counterexamples to Robichaux's conjecture for Grothendieck polynomials
Ross and Yong conjectured a $K$-theoretic Kohnert rule for Grothendieck polynomials. Robichaux exhibited a counterexample to the Ross--Yong rule and proposed a revised ghost $K$-Kohnert rule, proving both rules hold for 321-avoiding permutations. We provide counterexamples to Robichaux's rule and give an explicit bijection showing that both the Ross--Yong and Robichaux rules hold for 1432-avoiding permutations. As an application, we provide a Kohnert-theoretic characterization of 1432-avoidance.
Shape changing identities for permuted-basement nonsymmetric Macdonald polynomials
Permuted-basement Macdonald polynomials $E_α^σ(\mathbf{x};q,t)$ are nonsymmetric generalizations of symmetric Macdonald polynomials that form a basis for the polynomial ring $\mathbb{Q}(q,t)[\mathbf{x}]$ for each fixed $σ$. There are combinatorial formulas for them as generating functions over composition-shaped non-attacking fillings. In this extended abstract, we bijectively prove identities for the relationship between $E_α^σ$, $E_α^{σs_i}$, $E_{s_iα}^σ$, and $E_{s_iα}^{σs_i}$. These identities correspond to two combinatorial operations on non-attacking fillings: (1) swapping adjacent entries in the basement, generalizing a result of Alexandersson (2019), and (2) swapping adjacent parts in the shape, which yields a straightening rule for expanding $E_α^σ$ in the polynomials $\{E_{s_iα}^τ\}_τ$.
A natural eñe product construction of the Big Witt ring
We give a straightforward, self-contained, and natural construction of the Big Witt ring using the eñe product that is defined through the action on zeros of polynomials. This is in contrast with classical constructions of the Big Witt ring that use formulas out of nowhere.
Convolution-type Identity for Characteristic Polynomials of Geometric Semilattices
We establish a convolution formula for the characteristic polynomial of a finite geometric semilattice $M$: \[ χ(M,st)=\sum_{X\in \underline{M}} s^{r-{\rm rk}_{\underline{M}}(X)}χ(\underline{M}^X,t)\,χ(M_{(X)},s), \] where $\underline{M}$ denotes the centralization of $M$, and $M_{(X)}$ denotes the localization at $X$. This generalizes a nice formula of Southerland, Southern, and Zhou, which is recovered at $s=1$. When specialized to hyperplane arrangements, the identity yields a new expansion closely related to Wang's convolution formula. We further provide a combinatorial interpretation of the convolution formula using the finite field method over $\mathbb{F}_{p^2}$ and $\mathbb{F}_p$.
Combinatorial interpretations of Tutte polynomials at the point $(2,-1)$
Let $G$ be a simple connected graph, and let $T_{G}(x,y)$ be the Tutte polynomial of $G$. Motivated by the works in \cite{Ma}, we, in this paper, introduce the even-left spanning forests of $G$ and odd $G$-partitionable permutations, and show that $T_{G}(2,-1)$ is equal to both the number of even-left spanning forests of $G$ and the number of odd $G$-partitionable permutations. In particular, for a complete graph $K_n$, we prove that $T_{K_{n}}(2,-1)$ is the number of alternating permutations on $\{1,2,\dots,n+1\}$, using two distinct techniques: a recurrence relation and an explicit bijection construction.