polynomial
11184 papers tagged with this keyword
Back stable K-theory Schubert calculus
Published
• View Publication
• BIB
We study the back stable $K$-theory Schubert calculus of the infinite flag variety. We define back stable (double) Grothendieck polynomials and double $K$-Stanley functions and establish coproduct expansion formulae. Applying work of Weigandt, we extend our previous results on bumpless pipedreams from cohomology to $K$-theory. We study finiteness and positivity properties of the ring of back stable Grothendieck polynomials, and divided difference operators in $K$-homology.
On the Foundation of Sparse Sensing (Part II): Diophantine Sampling and Array Configuration
Published
• View Publication
• BIB
In the second part of the series papers, we set out to study the algorithmic efficiency of sparse sensing. Stemmed from co-prime sensing, we propose a generalized framework, termed Diophantine sensing, which utilizes generic Diophantine equation theory and higher-order sparse ruler to strengthen the sampling time, the degree of freedom (DoF), and the sampling sparsity, simultaneously. Resorting to higher-moment statistics, the proposed Diophantine framework presents two fundamental improvements. First, on frequency estimation, we prove that given arbitrarily large down-sampling rates, there exist sampling schemes where the number of samples needed is only proportional to the sum of DoF and the number of snapshots required, which implies a linear sampling time. Second, on Direction-of-arrival (DoA) estimation, we propose two generic array constructions such that given N sensors, the minimal distance between sensors can be as large as a polynomial of N, O(N^q), which indicates that an arbitrarily sparse array (with arbitrarily small mutual coupling) exists given sufficiently many sensors. In addition, asymptotically, the proposed array configurations produce the best known DoF bound compared to existing sparse array designs.
Finite Free Cumulants: Multiplicative Convolutions, Genus Expansion and Infinitesimal Distributions
Published
• View Publication
• BIB
Given two polynomials $p(x), q(x)$ of degree $d$, we give a combinatorial formula for the finite free cumulants of $p(x)\boxtimes_d q(x)$. We show that this formula admits a topological expansion in terms of non-crossing multi-annular permutations on surfaces of different genera.
This topological expansion, on the one hand, deepens the connection between the theories of finite free probability and free probability, and in particular proves that $\boxtimes_d$ converges to $\boxtimes$ as $d$ goes to infinity. On the other hand, borrowing tools from the theory of second order freeness, we use our expansion to study the infinitesimal distribution of certain families of polynomials which include Hermite and Laguerre, and draw some connections with the theory of infinitesimal distributions for real random matrices.
Finally, building off our results we give a new short and conceptual proof of a recent result [Steinerberger (2020), Hoskins and Kabluchko (2020)] that connects root distributions of polynomial derivatives with free fractional convolution powers.
On the Sombor characteristic polynomial and Sombor energy of a graph
Published
• View Publication
• BIB
Let $G$ be a simple graph with vertex set $V(G) = \{v_1, v_2,\ldots, v_n\}$. The Sombor matrix of $G$, denoted by $A_{SO}(G)$, is defined as the $n\times n$ matrix whose $(i,j)$-entry is $\sqrt{d_i^2+d_j^2}$ if $v_i$ and $v_j$ are adjacent and $0$ for another cases. Let the eigenvalues of the Sombor matrix $A_{SO}(G)$ be $ρ_1\geq ρ_2\geq \ldots\geq ρ_n$ which are the roots of the Sombor characteristic polynomial $\prod_{i=1}^n (ρ-ρ_i)$. The Sombor energy $En_{SO}$ of $G$ is the sum of absolute values of the eigenvalues of $A_{SO}(G)$. In this paper we compute the Sombor characteristic polynomial and the Sombor energy for some graph classes, define Sombor energy unique and propose a conjecture on Sombor Energy.
Bumpless pipe dreams encode Gröbner geometry of Schubert polynomials
In their study of infinite flag varieties, Lam, Lee, and Shimozono (2021) introduced bumpless pipe dreams in a new combinatorial formula for double Schubert polynomials. These polynomials are the TxT-equivariant cohomology classes of matrix Schubert varieties and of their flat degenerations. We give diagonal term orders with respect to which bumpless pipe dreams index the irreducible components of diagonal Gröbner degenerations of matrix Schubert varieties, counted with scheme-theoretic multiplicity.
This indexing was conjectured by Hamaker, Pechenik, and Weigandt (2022). This result establishes that bumpless pipe dreams are dual to and as geometrically natural as classical pipe dreams, for which an analogous anti-diagonal theory was developed by Knutson and Miller (2005).
Polynomial convolutions and (finite) free probability
We introduce a finite version of free probability and show the link between recent results using polynomial convolutions and the traditional theory of free probability. One tool for accomplishing this is a seemingly new transformation that allows one to reduce computations in our new theory to computations using classically independent random variables. We then explore the idea of finite freeness and its implications. Lastly, we show applications of the new theory by deriving the finite versions of some well-known free distributions and then proving their associated limit laws directly. In the process, we gain a number of insights into the behavior of convolutions in traditional free probability that seem to get lost when the operators being convolved are no longer finite. This version contains the original preprint from 2016 as well as an extra section (Section 5.2) where we use finite freeness to prove majorization relations on certain convolution.
Polynomial bounds for chromatic number. III. Excluding a double star
Published
• View Publication
• BIB
A double star is a tree with two internal vertices. It is known that the Gyárfás-Sumner conjecture holds for double stars, that is, for every double star $H$, there is a function $f$ such that if $G$ does not contain $H$ as an induced subgraph then $χ(G)\le f(ω(G))$ (where $χ, ω$ are the chromatic number and the clique number of $G$). Here we prove that $f$ can be chosen to be a polynomial.
Forbidden induced pairs for perfectness and $ω$-colourability of graphs
Published
• View Publication
• BIB
We characterise the pairs of graphs $\{ X, Y \}$ such that all $\{ X, Y \}$-free graphs (distinct from $C_5$) are perfect. Similarly, we characterise pairs $\{ X, Y \}$ such that all $\{ X, Y \}$-free graphs (distinct from $C_5$) are $ω$-colourable (that is, their chromatic number is equal to their clique number). More generally, we show characterizations of pairs $\{ X, Y \}$ for perfectness and $ω$-colourability of all connected $\{ X, Y \}$-free graphs which are of independence at least $3$, distinct from an odd cycle, and of order at least $n_0$, and similar characterisations subject to each subset of these additional constraints. (The classes are non-hereditary and the characterisations for perfectness and $ω$-colourability are different.) We build on recent results of Brause et al. on $\{ K_{1,3}, Y \}$-free graphs, and we use Ramsey's Theorem and the Strong Perfect Graph Theorem as main tools. We relate the present characterisations to known results on forbidden pairs for $χ$-boundedness and deciding $k$-colourability in polynomial time.
On the dimension of exceptional parameters for nonlinear projections, and the discretized Elekes-Rónyai theorem
Published in Geom. Funct. Anal. 34, 209--262, 2024
• View Publication
• BIB
We consider four related problems. (1) Obtaining dimension estimates for the set of exceptional vantage points for the pinned Falconer distance problem. (2) Nonlinear projection theorems, in the spirit of Kaufman, Bourgain, and Shmerkin. (3) The parallelizability of planar $d$-webs. (4) The Elekes-Rónyai theorem on expanding polynomials.
Given a Borel set $A$ in the plane, we study the set of exceptional vantage points, for which the pinned distance $Δ_p(A)$ has small dimension, that is, close to $(\dim A)/2$. We show that if this set has positive dimension, then it must have very special structure. This result follows from a more general single-scale nonlinear projection theorem, which says that if $φ_1,φ_2,φ_3$ are three smooth functions whose associated 3-web has non-vanishing Blaschke curvature, and if $A$ is a $(δ,α)_2$-set in the sense of Katz and Tao, then at least one of the images $φ_i(A)$ must have measure much larger than $|A|^{1/2}$, where $|A|$ stands for the measure of $A$. We prove analogous results for $d$ smooth functions $φ_1,\ldots,φ_d$, whose associated $d$-web is not parallelizable.
We use similar tools to characterize when bivariate real analytic functions are "dimension expanding" when applied to a Cartesian product: if $P$ is a bivariate real analytic function, then $P$ is either locally of the form $h(a(x) + b(y))$, or $P(A,B)$ has dimension at least $α+c$ whenever $A$ and $B$ are Borel sets with Hausdorff dimension $α$. Again, this follows from a single-scale estimate, which is an analogue of the Elekes-Rónyai theorem in the setting of the Katz-Tao discretized ring conjecture.
Limits of Jensen polynomials for partitions and other sequences
It was discovered recently by Griffin, Ono, Rolen and Zagier that the Jensen polynomials associated to many sequences have Hermite polynomial limits. We develop this theory in detail, based on the log-polynomial property which is a refinement of log-concavity and log-convexity. Applications to various partition sequences are given. An application to the sequence of factorials leads naturally to evaluating limits of generalized Laguerre polynomials.
A Faster Algorithm for Quickest Transshipments via an Extended Discrete Newton Method
The Quickest Transshipment Problem is to route flow as quickly as possible from sources with supplies to sinks with demands in a network with capacities and transit times on the arcs. It is of fundamental importance for numerous applications in areas such as logistics, production, traffic, evacuation, and finance. More than 25 years ago, Hoppe and Tardos presented the first (strongly) polynomial-time algorithm for this problem. Their approach, as well as subsequently derived algorithms with strongly polynomial running time, are hardly practical as they rely on parametric submodular function minimization via Megiddo's method of parametric search. The main contribution of this paper is a considerably faster algorithm for the Quickest Transshipment Problem that instead employs a subtle extension of the Discrete Newton Method. This improves the previously best known running time of $\tilde{O}(m^4k^{14})$ to $\tilde O(m^2k^5+m^3k^3+m^3n)$, where $n$ is the number of nodes, $m$ the number of arcs, and $k$ the number of sources and sinks.
Modular Proofs of Gosper's Identities
Published
• View Publication
• BIB
We give unified modular proofs to all of Gosper's identities on the $q$-constant $Π_q$. We also confirm Gosper's observation that for any distinct positive integers $n_1,\cdots,n_m$ with $m\geq 3$, $Π_{q^{n_1}}$, $\cdots$, $Π_{q^{n_m}}$ satisfy a nonzero homogeneous polynomial. Our proofs provide a method to rediscover Gosper's identities. Meanwhile, several results on $Π_q$ found by El Bachraoui have been corrected. Furthermore, we illustrate a strategy to construct some of Gosper's identities using hauptmoduls for genus zero congruence subgroups.
Matroids with different configurations and the same $\mathcal{G}$-invariant
Published in Journal of Combinatorial Theory, Series A, 2022
• View Publication
• BIB
From the configuration of a matroid (which records the size and rank of the cyclic flats and the containments among them, but not the sets), one can compute several much-studied matroid invariants, including the Tutte polynomial and a newer, stronger invariant, the $\mathcal{G}$-invariant. To gauge how much additional information the configuration contains compared to these invariants, it is of interest to have methods for constructing matroids with different configurations but the same $\mathcal{G}$-invariant. We offer several such constructions along with tools for developing more.
Grounded L-graphs are polynomially $χ$-bounded
Published
• View Publication
• BIB
A grounded L-graph is the intersection graph of a collection of "L" shapes whose topmost points belong to a common horizontal line. We prove that every grounded L-graph with clique number $ω$ has chromatic number at most $17ω^4$. This improves the doubly-exponential bound of McGuinness and generalizes the recent result that the class of circle graphs is polynomially $χ$-bounded. We also survey $χ$-boundedness problems for grounded geometric intersection graphs and give a high-level overview of recent techniques to obtain polynomial bounds.
Dimers, networks, and cluster integrable systems
Published
• View Publication
• BIB
We prove that the class of cluster integrable systems constructed by Goncharov and Kenyon out of the dimer model on a torus coincides with the one defined by Gekhtman, Shapiro, Tabachnikov, and Vainshtein using Postnikov's perfect networks. To that end we express the characteristic polynomial of a perfect network's boundary measurement matrix in terms of the dimer partition function of the associated bipartite graph. Our main tool is flat geometry. Namely, we show that if a perfect network is drawn on a flat torus in such a way that the edges of the network are Euclidian geodesics, then the angles between the edges endow the associated bipartite graph with a canonical fractional Kasteleyn orientation. That orientation is then used to relate the partition function to boundary measurements.
Polynomial algorithms computing two lexicographically safe Nash equilibria in finite two-person games with tight game forms given by oracles
Published
• View Publication
• BIB
In 1975 the first author proved that every finite tight two-person game form $g$ is Nash-solvable, that is, for every payoffs $u$ and $w$ of two players the obtained game $(g;u,w)$, in normal form, has a Nash equilibrium (NE) in pure strategies. This result was extended in several directions; here we strengthen it further. We construct two special NE realized by a lexicographically safe (lexsafe) strategy of one player and a best response of the other. We obtain a polynomial algorithm computing these lexsafe NE. This is trivial when game form $g$ is given explicitly. Yet, in applications $g$ is frequently realized by an oracle $\cO$ such that size of $g$ is exponential in size $|\cO|$ of $\cO$. We assume that game form $g = g(\cO)$ generated by $\cO$ is tight and that an arbitrary {\em win-lose game} $(g;u,w)$ (in which payoffs $u$ and $w$ are zero-sum and take only values $\pm 1$) can be solved, in time polynomial in $|\cO|$. These assumptions allow us to construct an algorithm computing two (one for each player) lexsafe NE in time polynomial in $|\cO|$. We consider four types of oracles known in the literature and show that all four satisfy the above assumptions.
The non-commutative Korteweg--de Vries hierarchy and combinatorial Poppe algebra
Published
• View Publication
• BIB
We give a constructive proof, to all orders, that each member of the non-commutative potential Korteweg-de Vries hierarchy is a Fredholm Grassmannian flow and is therefore linearisable. Indeed we prove this for any linear combination of fields from this hierarchy. That each member of the hierarchy is linearisable, and integrable in this sense, means that the time evolving solution can be generated from the solution to the corresponding linear dispersion equation in the hierarchy, combined with solving an associated linear Fredholm equation representing the Marchenko equation. Further, we show that within the class of polynomial partial differential fields, at every order, each member of the non-commutative potential Korteweg--de Vries hierarchy is unique. Indeed, we prove to all orders, that each such member matches the non-commutative Lax hierarchy field, which is therefore a polynomial partial differential field. We achieve this by constructing the abstract combinatorial algebra that underlies the non-commutative potential Korteweg-de Vries hierarchy. This algebra is the non-commutative polynomial algebra over the real line generated by the set of all compositions endowed with the Poppe product. This product is the abstract representation of the product rule for Hankel operators pioneered by Ch. Poppe for integrable equations such as the Sine-Gordon and Korteweg-de Vries equations. Integrability of the hierarchy members translates, in the combinatorial algebra, to proving the existence of a `Poppe polynomial' expansion for basic compositions in terms of `linear signature expansions'. Proving the existence of such Poppe polynomial expansions boils down to solving a linear algebraic problem for the expansion coefficients, which we solve constructively to all orders.
New families of flag-transitive linear spaces
Published
• View Publication
• BIB
In this paper, we construct new families of flag-transitive linear spaces with $q^{2n}$ points and $q^{2}$ points on each line that admit a one-dimensional affine automorphism group. We achieve this by building a natural connection with permutation polynomials of $\mathbb{F}_{q^{2}}$ of a particular form and following the scheme of Pauley and Bamberg in [A construction of one-dimensional affine flag-transitive linear spaces, Finite Fields Appl. 14 (2008) 537-548].
The covering radius of permutation designs
A notion of $t$-designs in the symmetric group on $n$ letters was introduced by Godsil in 1988. In particular $t$-transitive sets of permutations form a $t$-design. We derive upper bounds on the covering radius of these designs, as a function of $n$ and $t$ and in terms of the largest zeros of Charlier polynomials.
On the positive zeros of generalized Narayana polynomials related to the Boros-Moll polynomials
The generalized Narayana polynomials $N_{n,m}(x)$ arose from the study of infinite log-concavity of the Boros-Moll polynomials. The real-rootedness of $N_{n,m}(x)$ had been proved by Chen, Yang and Zhang. They also showed that when $n\geq m+2$, each of the generalized Narayana polynomials has one and only one positive zero and $m$ negative zeros, where the negative zeros of $N_{n,m}(x)$ and $N_{n+1,m+1}(x)$ have interlacing relations. In this paper, we study the properties of the positive zeros of $N_{n,m}(x)$ for $n\geq m+2$. We first obtain a new recurrence relation for the generalized Narayana polynomials. Based on this recurrence relation, we prove upper and lower bounds for the positive zeros of $N_{n,m}(x)$. Moreover, the monotonicity of the positive zeros of $N_{n,m}(x)$ are also proved by using the new recurrence relation.