polynomial
11432 papers tagged with this keyword
Sequences: Polynomial, C-finite, Holonomic, ...
Polynomial, C-finite, Holonomic are the most common ansatz to describe the pattern of the sequences. We propose a new ansatz called X-recursive that generalize those we mentioned. We also discuss its closure properties and compare this ansatz to another new similar ansatz from another paper.
Skew characters and cyclic sieving
Published in Forum of Mathematics, Sigma , Volume 9 , 2021 , e41
• View Publication
• BIB
In 2010, B. Rhoades proved that promotion together with the fake-degree polynomial associated with rectangular standard Young tableaux give an instance of the cyclic sieving phenomenon.
We extend this result to all skew standard Young tableaux where the fake-degree polynomial evaluates to nonnegative integers at roots of unity, albeit without being able to specify an explicit group action. Put differently, we determine in which cases a skew character of the symmetric group carries a permutation representation of the cyclic group.
We use a method proposed by N. Amini and the first author, which amounts to establishing a bound on the number of border-strip tableaux of skew shape.
Finally, we apply our results to the invariant theory of tensor powers of the adjoint representation of the general linear group. In particular, we prove the existence of a bijection between permutations and J. Stembridge's alternating tableaux, which intertwines rotation and promotion.
Stopping explosion by penalising transmission to hubs in scale-free spatial random graphs
We study the spread of information in finite and infinite inhomogeneous spatial random graphs. We assume that each edge has a transmission cost that is a product of an i.i.d. random variable L and a penalty factor: edges between vertices of expected degrees w_1 and w_2 are penalised by a factor of (w_1w_2)^μfor all μ>0. We study this process for scale-free percolation, for (finite and infinite) Geometric Inhomogeneous Random Graphs, and for Hyperbolic Random Graphs, all with power law degree distributions with exponent τ> 1. For τ< 3, we find a threshold behaviour, depending on how fast the cumulative distribution function of L decays at zero. If it decays at most polynomially with exponent smaller than (3-τ)/(2μ) then explosion happens, i.e., with positive probability we can reach infinitely many vertices with finite cost (for the infinite models), or reach a linear fraction of all vertices with bounded costs (for the finite models). On the other hand, if the cdf of L decays at zero at least polynomially with exponent larger than (3-τ)/(2μ), then no explosion happens. This behaviour is arguably a better representation of information spreading processes in social networks than the case without penalising factor, in which explosion always happens unless the cdf of L is doubly exponentially flat around zero. Finally, we extend the results to other penalty functions, including arbitrary polynomials in w_1 and w_2. In some cases the interesting phenomenon occurs that the model changes behaviour (from explosive to conservative and vice versa) when we reverse the role of w_1 and w_2. Intuitively, this could corresponds to reversing the flow of information: gathering information might take much longer than sending it out.
On the Kernel curves associated with walks in the quarter plane
Published in Springer Proceedings in Mathematics and Statistics. Vol. 373, (2021), p.61-89
• View Publication
• BIB
The kernel method is an essential tool for the study of generating series of walks in the quarter plane. This method involves equating to zero a certain polynomial, the kernel polynomial, and using properties of the curve, the kernel curve, this defines. In the present paper, we investigate the basic properties of the kernel curve (irreducibility, singularities, genus, uniformization, etc).
Universal Tutte polynomial
Published
• View Publication
• BIB
The Tutte polynomial is a well-studied invariant of graphs and matroids. We first extend the Tutte polynomial from graphs to hypergraphs, and more generally from matroids to polymatroids, as a two-variable polynomial. Our definition is related to previous works of Cameron and Fink and of Kálmán and Postnikov. We then define the universal Tutte polynomial $\T_n$, which is a polynomial of degree $n$ in $2+(2^n-1)$ variables that specializes to the Tutte polynomials of all polymatroids (hence all matroids) on a ground set with $n$ elements. The universal polynomial $\T_n$ admits three kinds of symmetries: translation invariance, $S_n$-invariance, and duality.
Spin q-Whittaker polynomials and deformed quantum Toda
Published
• View Publication
• BIB
Spin $q$-Whittaker symmetric polynomials labeled by partitions $λ$ were recently introduced by Borodin and Wheeler (arXiv:1701.06292) in the context of integrable $\mathfrak{sl}_2$ vertex models. They are a one-parameter deformation of the $t=0$ Macdonald polynomials. We present a new, more convenient modification of spin $q$-Whittaker polynomials and find two Macdonald type $q$-difference operators acting diagonally in these polynomials with eigenvalues, respectively, $q^{-λ_1}$ and $q^{λ_N}$ (where $λ$ is the polynomial's label). We study probability measures on interlacing arrays based on spin $q$-Whittaker polynomials, and match their observables with known stochastic particle systems such as the $q$-Hahn TASEP.
In a scaling limit as $q\nearrow 1$, spin $q$-Whittaker polynomials turn into a new one-parameter deformation of the $\mathfrak{gl}_n$ Whittaker functions. The rescaled Pieri type rule gives rise to a one-parameter deformation of the quantum Toda Hamiltonian. The deformed Hamiltonian acts diagonally on our new spin Whittaker functions. On the stochastic side, as $q\nearrow 1$ we discover a multilevel extension of the beta polymer model of Barraquand and Corwin (arXiv:1503.04117), and relate it to spin Whittaker functions.
Kazhdan-Lusztig polynomials and subexpressions
Published
• View Publication
• BIB
We refine an idea of Deodhar, whose goal is a counting formula for Kazhdan-Lusztig polynomials. This is a consequence of a simple observation that one can use the solution of Soergel's conjecture to make ambiguities involved in defining certain morphisms between Soergel bimodules in characteristic zero (double leaves) disappear.
K-theoretic Tutte polynomials of morphisms of matroids
Published
• View Publication
• BIB
We generalize the Tutte polynomial of a matroid to a morphism of matroids via the K-theory of flag varieties. We introduce two different generalizations, and demonstrate that each has its own merits, where the trade-off is between the ease of combinatorics and geometry. One generalization recovers the Las Vergnas Tutte polynomial of a morphism of matroids, which admits a corank-nullity formula and a deletion-contraction recursion. The other generalization does not, but better reflects the geometry of flag varieties.
On the Enumeration of a Certain Type of Hyperplane Arrangements
Published in Proceedings Mathematical Sciences, Indian Academy of Sciences, Vol. 131, Art. ID. 35, 2021, Pages 29
• View Publication
• BIB
In this article we prove in the main theorem that, there is a bijection between the isomorphism classes of a certain type of real hyperplane arrangements on the one hand, and the antipodal pairs of convex cones of an associated discriminantal arrangement on the other hand. The type of hyperplane arrangements considered and the isomorphism classes have been defined precisely. As a consequence we enumerate such isomorphism classes by computing the characteristic polynomial of the discriminantal arrangement. With a certain restriction, the enumerated value is shown to be independent of the discriminantal arrangement. Later we observe that the restriction we impose on the type of hyperplane arrangements is a mild one and that this conditional restriction is quite generic. Moreover the restriction is defined in terms of a normal system being concurrency free which is a generic condition. We also discuss two examples of normal systems which are not concurrency free in the last section and enumerate the number of isomorphism classes.
Face numbers of uniform triangulations of simplicial complexes
Published
• View Publication
• BIB
A triangulation of a simplicial complex $Δ$ is called uniform if the $f$-vector of its restriction to a face of $Δ$ depends only on the dimension of that face. This paper proves that the entries of the $h$-vector of a uniform triangulation of $Δ$ can be expressed as nonnegative integer linear combinations of those of the $h$-vector of $Δ$, where the coefficients depend only on the dimension of $Δ$ and the $f$-vectors of the restrictions of the triangulation to simplices of various dimensions. Moreover, it provides information about these coefficients, including formulas, recurrence relations and various interpretations, and gives a criterion for the $h$-polynomial of a uniform triangulation to be real-rooted. These results unify and generalize several results in the literature about special types of triangulations, such as barycentric, edgewise and interval subdivisions.
Gröbner geometry of Schubert polynomials through ice
Published in Advances in Mathematics 398, Paper No. 108228, 2022, 25 pages
• View Publication
• BIB
The geometric naturality of Schubert polynomials and their combinatorial pipe dream representations was established by Knutson and Miller (2005) via antidiagonal Gröbner degeneration of matrix Schubert varieties. We consider instead diagonal Gröbner degenerations. In this dual setting, Knutson, Miller, and Yong (2009) obtained alternative combinatorics for the class of "vexillary'' matrix Schubert varieties. We initiate a study of general diagonal degenerations, relating them to a neglected formula of Lascoux (2002) in terms of the $6$-vertex ice model (recently rediscovered by Lam, Lee, and Shimozono (2018) in the guise of "bumpless pipe dreams'').
On the Uniqueness of Clifford Torus with Prescribed Isoperimetric Ratio
Published
• View Publication
• BIB
The Marques-Neves theorem asserts that among all the torodial (i.e. genus 1) closed surfaces, the Clifford torus has the minimal Willmore energy $\int H^2 \, dA$. % It is a natural conjecture that if one prescribes the isoperimetric Since the Willmore energy is invariant M{ö}bius transformations, it can be shown that there is a one-parameter family, up to homotheties, of genus 1 Willmore minimizers. It is then a natural conjecture that such a minimizer is unique if one prescribes its isoperimetric ratio. In this article, we show that this conjecture can be reduced to the positivity question of a polynomial recurrence.
Asymptotic bounds on graphical partitions and partition comparability
Published
• View Publication
• BIB
An integer partition is called graphical if it is the degree sequence of a simple graph. We prove that the probability that a uniformly chosen partition of size $n$ is graphical decreases to zero faster than $n^{-.003}$, answering a question of Pittel. A lower bound of $n^{-1/2}$ was proven by Erdős and Richmond, and so this demonstrates that the probability decreases polynomially. Key to our argument is an asymptotic result of Pittel characterizing the joint distribution of the first rows and columns of a uniformly random partition, combined with a characterization of graphical partitions due to Erdős and Gallai. Our proof also implies a polynomial upper bound for the probability that two randomly chosen partitions are comparable in the dominance order.
Two enriched poset polytopes
Published in Annals of Combinatorics, 28 (2024), 257--282
• View Publication
• BIB
Stanley introduced and studied two lattice polytopes, the order polytope and chain polytope, associated to a finite poset. Recently Ohsugi and Tsuchiya introduce an enriched version of them, called the enriched order polytope and enriched chain polytope. In this paper, we give a piecewise-linear bijection between these enriched poset polytopes, which is an enriched analogue of Stanley's transfer map and bijectively proves that they have the same Ehrhart polynomials. Also we construct explicitly unimodular triangulations of two enriched poset polytopes.
Symmetrized poly-Bernoulli numbers and combinatorics
Poly-Bernoulli numbers are one of generalizations of the classical Bernoulli numbers. Since a negative index poly-Bernoulli number is an integer, it is an interesting problem to study this number from combinatorial viewpoint. In this short article, we give a new combinatorial relation between symmetrized poly-Bernoulli numbers and the Dumont-Foata polynomials.
On Structural Parameterizations of Node Kayles
Published
• View Publication
• BIB
Node Kayles is a well-known two-player impartial game on graphs: Given an undirected graph, each player alternately chooses a vertex not adjacent to previously chosen vertices, and a player who cannot choose a new vertex loses the game. The problem of deciding if the first player has a winning strategy in this game is known to be PSPACE-complete. There are a few studies on algorithmic aspects of this problem. In this paper, we consider the problem from the viewpoint of fixed-parameter tractability. We show that the problem is fixed-parameter tractable parameterized by the size of a minimum vertex cover or the modular-width of a given graph. Moreover, we give a polynomial kernelization with respect to neighborhood diversity.
A Blind Permutation Similarity Algorithm
This paper introduces a polynomial blind algorithm that determines when two square matrices, $A$ and $B$, are permutation similar. The shifted and translated matrices $(A+βI+γJ)$ and $(B+βI+γJ)$ are used to color the vertices of two square, edge weighted, rook's graphs. Then the orbits are found by repeated symbolic squaring of the vertex colored and edge weighted adjacency matrices. Multisets of the diagonal symbols from non-permutation similar matrices are distinct within a few iterations, typically four or less.
Linearly Self-Equivalent APN Permutations in Small Dimension
Published in IEEE Trans. Inf. Theory 67(7): 4863-4875 (2021)
• View Publication
• BIB
All almost perfect nonlinear (APN) permutations that we know to date admit a special kind of linear self-equivalence, i.e., there exists a permutation $G$ in their CCZ-equivalence class and two linear permutations $A$ and $B$, such that $G \circ A = B \circ G$. After providing a survey on the known APN functions with a focus on the existence of self-equivalences, we search for APN permutations in dimension 6, 7, and 8 that admit such a linear self-equivalence. In dimension six, we were able to conduct an exhaustive search and obtain that there is only one such APN permutation up to CCZ-equivalence. In dimensions 7 and 8, we performed an exhaustive search for all but a few classes of linear self-equivalences and we did not find any new APN permutation. As one interesting result in dimension 7, we obtain that all APN permutation polynomials with coefficients in $\mathbb{F}_2$ must be (up to CCZ-equivalence) monomial functions.
Polynomial Kernels for Paw-free Edge Modification Problems
Published
• View Publication
• BIB
Let $H$ be a fixed graph. Given a graph $G$ and an integer $k$, the $H$-free edge modification problem asks whether it is possible to modify at most $k$ edges in $G$ to make it $H$-free. Sandeep and Sivadasan (IPEC 2015) asks whether the paw-free completion problem and the paw-free edge deletion problem admit polynomial kernels. We answer both questions affirmatively by presenting, respectively, $O(k)$-vertex and $O(k^4)$-vertex kernels for them. This is part of an ongoing program that aims at understanding compressibility of $H$-free edge modification problems.
Some $q$-congruences arising from certain identities
Published
• View Publication
• BIB
In this paper, by constructing some identities, we prove some $q$-analogues of some congruences. For example, for any odd integer $n>1$, we show that \begin{gather*} \sum_{k=0}^{n-1} \frac{(q^{-1};q^2)_k}{(q;q)_k} q^k \equiv (-1)^{(n+1)/2} q^{(n^2-1)/4} - (1+q)[n] \pmod{Φ_n(q)^2},\\ \sum_{k=0}^{n-1}\frac{(q^3;q^2)_k}{(q;q)_k} q^k \equiv (-1)^{(n+1)/2} q^{(n^2-9)/4} + \frac{1+q}{q^2}[n]\pmod{Φ_n(q)^2}, \end{gather*} where the $q$-Pochhanmmer symbol is defined by $(x;q)_0=1$ and $(x;q)_k = (1-x)(1-xq)\cdots(1-xq^{k-1})$ for $k\geq1$, the $q$-integer is defined by $[n]=1+q+\cdots+q^{n-1}$ and $Φ_n(q)$ is the $n$-th cyclotomic polynomial. The $q$-congruences above confirm some recent conjectures of Gu and Guo.