polynomial
11250 papers tagged with this keyword
Sarnak's Conjecture for nilsequences on arbitrary number fields and applications
We formulate the generalized Sarnak's Möbius disjointness conjecture for an arbitrary number field $K$, and prove a quantitative disjointness result between polynomial nilsequences $(Φ(g(n)Γ))_{n\in\mathbb{Z}^{D}}$ and aperiodic multiplicative functions on $\mathcal{O}_{K}$, the ring of integers of $K$. Here $D=[K\colon\mathbb{Q}]$, $X=G/Γ$ is a nilmanifold, $g\colon\mathbb{Z}^{D}\to G$ is a polynomial sequence, and $Φ\colon X\to \mathbb{C}$ is a Lipschitz function. The proof uses tools from multi-dimensional higher order Fourier analysis, multi-linear analysis, orbit properties on nilmanifold, and an orthogonality criterion of Kátai in $\mathcal{O}_{K}$.
We also use variations of this result to derive applications in number theory and combinatorics: (1) we prove a structure theorem for multiplicative functions on $K$, saying that every bounded multiplicative function can be decomposed into the sum of an almost periodic function (the structural part) and a function with small Gowers uniformity norm of any degree (the uniform part); (2) we give a necessary and sufficient condition for the Gowers norms of a bounded multiplicative function in $\mathcal{O}_{K}$ to be zero; (3) we provide partition regularity results over $K$ for a large class of homogeneous equations in three variables. For example, for $a,b\in\mathbb{Z}\backslash\{0\}$, we show that for every partition of $\mathcal{O}_{K}$ into finitely many cells, where $K=\mathbb{Q}(\sqrt{a},\sqrt{b},\sqrt{a+b})$, there exist distinct and non-zero $x,y$ belonging to the same cell and $z\in\mathcal{O}_{K}$ such that $ax^{2}+by^{2}=z^{2}$.
Polynomial bound for partition rank in terms of analytic rank
Let $G_1, \dots, G_k$ be vector spaces over a finite field $\mathbb{F} = \mathbb{F}_q$ with a non-trivial additive character $χ$. The analytic rank of a multilinear form $α\colon G_1 \times \dots \times G_k \to \mathbb{F}$ is defined as $\operatorname{arank}(α) = -\log_q \mathbb{E}_{x_1 \in G_1, \dots, x_k\in G_k} χ\big(α(x_1,\dots, x_k)\big)$. The partition rank $\operatorname{prank}(α)$ of $α$ is the smallest number of maps of partition rank 1 that add up to $α$, where a map is of partition rank 1 if it can be written as a product of two multilinear forms, depending on different coordinates. It is easy to see that $\operatorname{arank}(α) \leq O\Big(\operatorname{prank}(α)\Big)$ and it has been known that $\operatorname{prank}(α)$ can be bounded from above in terms of $\operatorname{arank}(α)$. In this paper, we improve the latter bound to polynomial, i.e. we show that there are quantities $C, D$ depending on $k$ only such that $\operatorname{prank}(α) \leq C (\operatorname{arank}(α)^D + 1)$. As a consequence, we prove a conjecture of Kazhdan and Ziegler. The same result was obtained independently and simultaneously by Janzer.
Polynomial bound for the partition rank vs the analytic rank of tensors
Published in Discrete Analysis, 2020:7, 18pp
• View Publication
• BIB
A tensor defined over a finite field $\mathbb{F}$ has low analytic rank if the distribution of its values differs significantly from the uniform distribution. An order $d$ tensor has partition rank 1 if it can be written as a product of two tensors of order less than $d$, and it has partition rank at most $k$ if it can be written as a sum of $k$ tensors of partition rank 1. In this paper, we prove that if the analytic rank of an order $d$ tensor is at most $r$, then its partition rank is at most $f(r,d,|\mathbb{F}|)$, where, for fixed $d$ and $\mathbb{F}$, $f$ is a polynomial in $r$. This is an improvement of a recent result of the author, where he obtained a tower-type bound. Prior to our work, the best known bound was an Ackermann-type function in $r$ and $d$, though it did not depend on $\mathbb{F}$. It follows from our results that a biased polynomial has low rank; there too we obtain a polynomial dependence improving the previously known Ackermann-type bound. A similar polynomial bound for the partition rank was obtained independently and simultaneously by Milićević.
Boson-fermion correspondence for Hall-Littlewood polynomials revisited
Published in Journal of Mathematical Sciences, New York, Vol. 247, No. 6, 2020; p.926
• Search Publication
We connect twisted vertex operator presentation of Hall-Littlewood polynomials with the action of charged free fermions, describe a boson-fermion correspondence that relates twisted vertex operators with classical Heisenberg algebra. We also show that the elements of the orthogonal to Schur functions basis of the one-parameter deformation of the ring of symmetric functions $Λ[t]$ are $τ$-functions of KP hierarchy.
Universal graph Schubert varieties
We consider the loci of invertible linear maps $f : \mathbb{C}^n \to {(\mathbb{C}^n)}^*$ together with pairs of flags $(E_\bullet, F_\bullet)$ in $\mathbb{C}^n$ such that the various restrictions $f : F_j \to E_i^*$ have specified ranks. Identifying an invertible linear map with its graph viewed as a point in a Grassmannian, we show that the closures of these loci have cohomology classes represented by the back-stable Schubert polynomials of Lam, Lee, and Shimozono. As a special case, we recover the result of Knutson, Lam, and Speyer that Stanley symmetric functions represent the classes of graph Schubert varieties.
We consider similar loci where $f$ is restricted to be symmetric or skew-symmetric. Their classes are now given by back-stable versions of the polynomials introduced by Wyser and Yong to represent classes of orbit closures for the orthogonal and symplectic groups acting on the type A flag variety. Using degeneracy locus formulas of Kazarian and of Anderson and Fulton, we obtain new Pfaffian formulas for these polynomials in the vexillary case. We also give a geometric interpretation of the involution Stanley symmetric functions of Hamaker, Marberg, and the author: they represent classes of involution graph Schubert varieties in isotropic Grassmannians.
Robinson-Schensted-Knuth correspondence in the representation theory of the general linear group over a non-archimedean local field
Published in Represent. Theory 25 (2021), 644-678
• View Publication
• BIB
We construct new "standard modules" for the representations of general linear groups over a local non-archimedean field. The construction uses a modified Robinson-Schensted-Knuth correspondence for Zelevinsky's multisegments.
Typically, the new class categorifies the basis of Doubilet, Rota, and Stein for matrix polynomial rings, indexed by bitableaux. Hence, our main result provides a link between the dual canonical basis (coming from quantum groups) and the DRS basis.
Application of Hales-Jewett theorem near 0
The famous van der Waerden theorem states that if partition N into finitely many cells then one of them will contain arbitrary length arithmetic progressions. It has a polynomial version also. In this article we will prove the near 0 version of the polynomial van der Waerden theorem which was unsolved, using combinatorics.
Classification of spin models for Yang-Baxter planar algebras
In this paper, we classify all spin models for singly-generated Yang-Baxter planar algebras in terms of certain highly regular graphs. Using Liu's classification of singly generated Yang-Baxter planar algebras, this classifies all spin models for the Jones polynomial, the Bisch-Jones planar algebras, and the Kauffman polynomial. This simplifies and clarifies Jaeger's classification of spin models for the Kauffman polynomial. In particular, we completely avoid the opaque and computationally-taxing concept of "formal self-duality"; we also explain the numerous exceptional cases in Jaeger's classification by demonstrating a new, discrete two-parameter family of spin models for the Bisch-Jones planar algebras.
A generating polynomial for the two-bridge knot with Conway's notation C(n,r)
We construct an integer polynomial whose coefficients enumerate the Kauffman states of the two-bridge knot with Conway's notation C(n,r).
Faster and simpler algorithms for finding large patterns in permutations
Permutation patterns and pattern avoidance have been intensively studied in combinatorics and computer science, going back at least to the seminal work of Knuth on stack-sorting (1968). Perhaps the most natural algorithmic question in this area is deciding whether a given permutation of length $n$ contains a given pattern of length $k$.
In this work we give two new algorithms for this well-studied problem, one whose running time is $n^{0.44k+o(k)}$, and one whose running time is the better of $O(1.6181^n)$ and $n^{k/2+o(k)}$. These results improve the earlier best bounds of Ahal and Rabinovich (2000), and Bruner and Lackner (2012), and are the fastest algorithms for the problem when $k = Ω(\log n)$. When $k = o(\log n)$, the parameterized algorithm of Guillemot and Marx (2013) dominates.
Our second algorithm uses polynomial space and is significantly simpler than all previous approaches with comparable running times, including an $n^{k/2+o(k)}$ algorithm proposed by Guillemot and Marx. Our approach can be summarized as follows: "for every matching of the even-valued entries of the pattern, try to match all odd-valued entries left-to-right". For the special case of patterns that are Jordan-permutations, we show an improved, subexponential running time.
Discrete Fourier transform associated with generalized Schur polynomials
Published in Proc. Amer. Math. Soc. 146 (2018), no. 8, 3459-3472
• View Publication
• BIB
We prove the Plancherel formula for a four-parameter family of discrete Fourier transforms and their multivariate generalizations stemming from corresponding generalized Schur polynomials. For special choices of the parameters, this recovers the sixteen classic discrete sine- and cosine transforms DST-1,...,DST-8 and DCT-1,...,DCT-8, as well as recently studied (anti-)symmetric multivariate generalizations thereof.
Integer Linear Programming Formulations for Double Roman Domination Problem
For a graph $G= (V,E)$, a double Roman dominating function (DRDF) is a function $f : V \to \{0,1,2,3\}$ having the property that if $f (v) = 0$, then vertex $v$ must have at least two neighbors assigned $2$ under $f$ or {at least} one neighbor $u$ with $f (u) = 3$, and if $f (v) = 1$, then vertex $v$ must have at least one neighbor $u$ with $f (u) \ge 2$. In this paper, we consider the double Roman domination problem, which is an optimization problem of finding the DRDF $f$ such that $\sum_{v\in V} f (v)$ is minimum. We propose {five integer linear programming (ILP) formulations and one mixed integer linear programming formulation with polynomial number of constraints for this problem. Some additional valid inequalities and bounds are also proposed for some of these formulations.} Further, we prove that {the first four models indeed solve the double Roman domination problem, and the last two models} are equivalent to the others regardless of the variable relaxation or usage of a smaller number of constraints and variables. Additionally, we use one ILP formulation to give an $H(2(Δ+1))$-approximation algorithm. All proposed formulations and approximation algorithm are evaluated on randomly generated graphs to compare the performance.
Characteristic elements for real hyperplane arrangements
Characteristic elements of the Tits algebra of a real hyperplane arrangement carry information about the characteristic polynomial. We present this notion and its basic properties, and apply it to derive various results about the characteristic polynomial of an arrangement, from Zaslavsky's formulas to more recent results of Kung and of Klivans and Swartz. We construct several examples of characteristic elements, including one in terms of intrinsic volumes of faces of the arrangement.
Matroid connectivity and singularities of configuration hypersurfaces
Published in Lett. Math. Phys. 111,1 (2021)
• View Publication
• BIB
Consider a linear realization of a matroid over a field. One associates with it a configuration polynomial and a symmetric bilinear form with linear homogeneous coefficients. The corresponding configuration hypersurface and its non-smooth locus support the respective first and second degeneracy scheme of the bilinear form. We show that these schemes are reduced and describe the effect of matroid connectivity: for (2-)connected matroids, the configuration hypersurface is integral, and the second degeneracy scheme is reduced Cohen-Macaulay of codimension 3. If the matroid is 3-connected, then also the second degeneracy scheme is integral. In the process, we describe the behavior of configuration polynomials, forms and schemes with respect to various matroid constructions.
Enumerative combinatorics on determinants and signed bigrassmannian polynomials
Published in Math. J. Okayama Univ. 57 (2015), 159--172
• Search Publication
As an application of linear algebra for enumerative combinatorics, we introduce two new ideas, signed bigrassmannian polynomials and bigrassmannian determinant. First, a signed bigrassmannian polynomial is a variant of the statistic given by the number of bigrassmannian permutations below a permutation in Bruhat order as Reading suggested (2002) and afterward the author developed (2011). Second, bigrassmannian determinant is a $q$-analog of the determinant with respect to our statistic. It plays a key role for a determinantal expression of those polynomials. We further show that bigrassmannian determinant satisfies weighted condensation as a generalization of Dodgson, Jacobi-Desnanot and Robbins-Rumsey (1986).
Braces of Perfect Matching Width 2
Perfect matching width is a treewidth-like parameter designed for graphs with perfect matchings. The concept was originally introduced by Norine for the study of non-bipartite Pfaffian graphs. Additionally, perfect matching width appears to be a useful structural tool for investigating matching minors, a specialised version of minors related to perfect matchings. In this paper we lay the groundwork for understanding the interaction of perfect matching width and matching minors by establishing tight connections between the perfect matching width of any matching covered graph $G$ and the perfect matching width of its bricks and braces (a matching theoretic version of blocks) and proving that perfect matching width is almost monotone under the matching minor relation. As an application, we give several characterisations for braces of perfect matching width two, including one that allows for a polynomial time recognition algorithm.
Flip distances between graph orientations
Flip graphs are a ubiquitous class of graphs, which encode relations induced on a set of combinatorial objects by elementary, local changes. Skeletons of associahedra, for instance, are the graphs induced by quadrilateral flips in triangulations of a convex polygon. For some definition of a flip graph, a natural computational problem to consider is the flip distance: Given two objects, what is the minimum number of flips needed to transform one into the other?
We consider flip graphs on orientations of simple graphs, where flips consist of reversing the direction of some edges. More precisely, we consider so-called $α$-orientations of a graph $G$, in which every vertex $v$ has a specified outdegree $α(v)$, and a flip consists of reversing all edges of a directed cycle. We prove that deciding whether the flip distance between two $α$-orientations of a planar graph $G$ is at most two is \NP-complete. This also holds in the special case of perfect matchings, where flips involve alternating cycles. This problem amounts to finding geodesics on the common base polytope of two partition matroids, or, alternatively, on an alcoved polytope. It therefore provides an interesting example of a flip distance question that is computationally intractable despite having a natural interpretation as a geodesic on a nicely structured combinatorial polytope.
We also consider the dual question of the flip distance betwe en graph orientations in which every cycle has a specified number of forward edges, and a flip is the reversal of all edges in a minimal directed cut. In general, the problem remains hard. However, if we restrict to flips that only change sinks into sources, or vice-versa, then the problem can be solved in polynomial time. Here we exploit the fact that the flip graph is the cover graph of a distributive lattice. This generalizes a recent result from Zhang, Qian, and Zhang.
A simple proof of a congruence for a series involving the little $q$-Jacobi polynomials
We give a simple and a more explicit proof of a mod $4$ congruence for a series involving the little $q$-Jacobi polynomials which arose in a recent study of a certain restricted overpartition function.
Finding any given 2-factor in sparse pseudorandom graphs efficiently
Given an $n$-vertex pseudorandom graph $G$ and an $n$-vertex graph $H$ with maximum degree at most two, we wish to find a copy of $H$ in $G$, i.e.\ an embedding $\varphi\colon V(H)\to V(G)$ so that $\varphi(u)\varphi(v)\in E(G)$ for all $uv\in E(H)$. Particular instances of this problem include finding a triangle-factor and finding a Hamilton cycle in $G$. Here, we provide a deterministic polynomial time algorithm that finds a given $H$ in any suitably pseudorandom graph $G$. The pseudorandom graphs we consider are $(p,λ)$-bijumbled graphs of minimum degree which is a constant proportion of the average degree, i.e.\ $Ω(pn)$. A $(p,λ)$-bijumbled graph is characterised through the discrepancy property: $\left|e(A,B)-p|A||B|\right |<λ\sqrt{|A||B|}$ for any two sets of vertices $A$ and $B$. Our condition $λ=O(p^2n/\log n)$ on bijumbledness is within a log factor from being tight and provides a positive answer to a recent question of Nenadov.
We combine novel variants of the absorption-reservoir method, a powerful tool from extremal graph theory and random graphs. Our approach is based on that of Nenadov (\emph{Bulletin of the London Mathematical Society}, to appear) and on ours (arXiv:1806.01676), together with additional ideas and simplifications.
Complexity of the circulant foliation over a graph
In the present paper, we investigate the complexity of infinite family of graphs $H_n=H_n(G_1,\,G_2,\ldots,G_m)$ obtained as a circulant foliation over a graph $H$ on $m$ vertices with fibers $G_{1},\,G_{2},\ldots,G_{m}.$ Each fiber $G_{i}=C_{n}(s_{i,1},\,s_{i,2},\ldots,s_{i,k_{i}})$ of this foliation is the circulant graph on $n$ vertices with jumps $s_{i,1},\,s_{i,2},\ldots,s_{i,k_{i}}.$ This family includes the family of generalized Petersen graphs, $I$-graphs, sandwiches of circulant graphs, discrete torus graphs and others.
We obtain a closed formula for the number $τ(n)$ of spanning trees in $H_{n}$ in terms of Chebyshev polynomials, investigate some arithmetical properties of this function and find its asymptotics as $n\to\infty.$