polynomial
11538 papers tagged with this keyword
Vector Trifference
Published
• View Publication
• BIB
We investigate a geometric generalization of trifference, a concept introduced by Elias in 1988 in the study of zero-error channel capacity. In the discrete setting, a code C \subseteq {0,1,2}^n is trifferent if for any three distinct codewords x, y, z in C, there exists a coordinate i in [n] where x_i, y_i, z_i are all distinct. Determining the maximum size of such codes remains a central open problem; the classical upper bound |C| \leq 2 * (3/2)^n, proved via a simple pruning argument, has resisted significant improvement.
Motivated by the search for new techniques, and in line with vectorial extensions of other classical combinatorial notions, we introduce the concept of vector trifferent codes. Consider C \subseteq (S^2)^n, where the alphabet is the unit sphere S^2 = { v in R^3 : ||v|| = 1 }. We say C is vector trifferent if for any three distinct x, y, z in C, there is an index i where the vectors x_i, y_i, z_i are mutually orthogonal. A direct reduction of the vectorial problem to the discrete setting appears infeasible, making it difficult to replicate Elias's pruning argument. Nevertheless, we develop a new method to establish the upper bound |C| \leq (sqrt(2) + o(1)) * (3/2)^n.
Interestingly, our approach, when adapted back to the discrete setting, yields a polynomial improvement to Elias's bound: |C| \lesssim n^(-1/4) * (3/2)^n. This improvement arises from a technique that parallels, but is not identical to, a recent method of the authors, though it still falls short of the sharper n^(-2/5) factor obtained there. We also generalize the concept of vector trifferent codes to richer alphabets and prove a vectorial version of the Fredman-Komlos theorem (1984) for general k-separating codes.
A lower bound on the minimum weight of some geometric codes
The $p$-ary code associated with the incidence structure of points and $t$-spaces in a projective space $\mathrm{PG}(m,q)$, where $q=p^h$, is the $\mathbb{F}_p$-subspace generated by the incidence vectors of the blocks of this design. The dual of this code consists of all vectors orthogonal to every codeword of the original code. In contrast to the codes derived from point-subspace incidences, the minimum weight of the corresponding dual codes is generally unknown, which makes the problem more challenging.
In 2008 Lavrauw, Storme and Van de Voorde proved the following reduction: the minimum weight of the dual of the code derived from point and $t$-space incidences in $\mathrm{PG}(m,q)$ is the same as the minimum weight of the dual of the code derived from point and line incidences in $\mathrm{PG}(m-t+1,q)$. After a series of works by Delsarte (1970), Assmus and Key (1992), Calkin, Key and De Resmini (1999), the best known lower bound for the case of point-line incidences was established in [B. Bagchi and P. Inamdar: Projective geometric codes, J. Combin. Theory Ser. A, 99(1) (2002), 128-142].
The problem of determining the minimum weight of these codes admits a natural geometric interpretation in terms of multisets of points in a projective space which meet each line in $0$ modulo $p$ points. In this paper, by adopting this geometrical perspective and exploiting certain polynomial techniques from [S. Ball, A. Blokhuis, A. Gács, P. Sziklai, Zs. Weiner: On linear codes whose weights and length have a common divisor, Adv. Math., 211 (2007), 94-104], we prove a substantial improvement of the Bagchi-Inamdar bound in the case where $h>1$ and $m, p >2$.
Combinatorial Aspects of Elliptic Schubert Calculus
The main goal of this paper is to extend two fundamental combinatorial results in Schubert calculus on flag manifolds from equivariant cohomology and $K$-theory to equivariant elliptic cohomology. The foundations of elliptic Schubert calculus were laid in a few relatively recent papers by Rimányi, Weber, and Kumar. They include the recursive construction of elliptic Schubert classes via generalizations of the cohomology and $K$-theory push-pull operators and the study of the corresponding Demazure algebra. We derive a Billey-type formula for the localization of elliptic Schubert classes (for partial flag manifolds of arbitrary type) and a pipe dream model for their polynomial representatives in the case of type $A$ flag manifolds. The latter extends the pipe dream model for double Schubert and Grothendieck polynomials. We also study the degeneration of elliptic Schubert classes to $K$-theory, which recovers the corresponding classical formulas.
Orbit lengths for promotion on 2-row and near-hook tableaux
Promotion has been well-studied for rectangular standard Young tableaux, in which case the orbit lengths divide the total number of boxes and are described by a cyclic sieving phenomenon (CSP), but little is known about the orbit lengths for tableaux of general shape. We approach this problem by building a stable sequence of tableaux where we fix the bottom portion and add extra boxes to the first row to get $n$ total boxes, with $n$ varying. We show that for 2-row tableaux with a fixed bottom row, the orbit lengths are divisors of certain monic polynomials in $n$, with degree generally equal to the number of distinct lengths of runs of consecutive numbers in the bottom row. For the subsets of 2-row tableaux where all runs have the same length, we show that the orbit lengths are characterized by a CSP polynomial that is a slightly modified version of the major index generating function, like in the rectangle case. We also show that for any stable sequence of tableaux, the orbit lengths are linear in $n$ as long as all non-first-row entries differ from each other by at least 2, which asymptotically happens for almost all tableaux in the limit as $n\to\infty.$ We also calculate the orbit lengths for near-hook tableaux, which are divisors of certain linear or quadratic polynomials in $n$.
HNN extensions of free groups with equal associated subgroups of finite index: polynomial time word problem
Let $G=F\ast_\varphi t$ be an HNN extension of a free group $F$ with two equal associated normal subgroups $H_1 = H_2$ of finite index. We prove that the word problem in $G$ is decidable in polynomial time. This result extends to the case where the subgroups $H_1=H_2$ are not normal, provided that the isomorphism $\varphi:H_1\to H_2$ satisfies an additional condition described in Section 5.
The paired construction for Boolean functions on the slice
Let $V$ be a finite set of size $n$. We consider real functions on the "slice" $\binom{V}{k}$, which are also known as functions in the Johnson scheme. For $I \subseteq J \subseteq V$, the characteristic function of the set of all $K\in\binom{V}{k}$ with $I \subseteq K \subseteq J$ is called "basic". In this article, we investigate a construction arising as the sum of two "opposite" basic functions. In essentially all cases, these "paired" functions are Boolean.
Our main result is the determination of the exact degree -- regarding a representation by an $n$-variable polynomial -- of all paired functions. The proof is elementary and does not involve any spectral methods. First, we settle the middle layer case $n=2k$ by identifying and combining various relations among the degrees involved. Then the general case is reduced to the middle layer situation by means of derived, reduced, and dual functions.
Remarkably, in certain situations, the degree is strictly smaller than what is guaranteed by the elementary upper bound for the sum of functions. This makes paired functions good candidates for fixed-degree Boolean functions of small support size. As it turns out, for $n = 2k$ and even degree $t \notin \{0,k\}$, paired functions provide the smallest known non-zero Boolean functions, surpassing the $t$-pencils, which is the smallest known construction in all other cases.
A polynomial bound on the pathwidth of graphs edge-coverable by $k$ shortest paths
Dumas, Foucaud, Perez and Todinca (2024) recently proved that every graph whose edges can be covered by $k$ shortest paths has pathwidth at most $O(3^k)$. In this paper, we improve this upper bound on the pathwidth to a polynomial one; namely, we show that every graph whose edge set can be covered by $k$ shortest paths has pathwidth $O(k^4)$, answering a question from the same paper. Moreover, we prove that when $k\leq 3$, every such graph has pathwidth at most $k$ (and this bound is tight). Finally, we show that even though there exist graphs with arbitrarily large treewidth whose vertex set can be covered by $2$ isometric trees, every graph whose set of edges can be covered by $2$ isometric trees has treewidth at most $2$.
Labeled Plane Trees and Increasing Plane Trees
Published
• View Publication
• BIB
This note is dedicated to presenting a polynomial analogue of $(n+1)!C_n=2^n(2n-1)!!$ (with $C_n$ as the $n$-th Catalan number) in the context of labeled plane trees and increasing plane trees, based on the definition of improper edges in labeled plane trees. A new involution on labeled plane trees is constructed to establish this identity, implying that the number of improper edges and the number of proper edges are equidsitributed over the set of labeled plane trees.
Chip-Firing Games on Banana Trees
We study chip-firing games on multigraphs whose underlying simple graphs are trees, paths, and stars, denoted as banana trees, paths, and stars respectively. We present a polynomial time algorithm to compute the divisorial gonality of banana paths, and give combinatorial formulas for the related invariants of scramble number and screewidth for any banana tree. Furthermore, we leverage banana paths to show that gonality can increase or decrease by an arbitrary amount upon deletion of a single edge, even when the resulting graph is connected. Lastly, we study banana trees and Brill-Noether theory to prove that the gonality conjecture holds for all banana trees.
Scattered Behavior Using Modified Cyclotomic Mapping Over Finite Fields Of Odd Characteristic
Introduced by Sheekey in 2016, the study of scattered polynomials over a finite field $\mathbb{F}_{q^n}$ has been increasing regarding the classification of those that are exceptional, i.e., polynomials which are scattered over infinite field extensions, are limited to the cases where their index $t$ is small, or a prime number larger than the q-degree k of the polynomial, or an integer smaller than k in the case where k is a prime. In this paper, we focus on the scattered behavior of $S(x)=\sum_{i=1}^k a_ix^{q^{r_i}} \in \mathbb{F}_{q^n}[x]$, where $q$ is a power of an odd prime, $0<r_1<r_2< \cdots<r_k<n$ and $a_1, \cdots,a_k \in \mathbb{F}_{q^n}^*$ such that the order of $a_i$'s divide $(q^{r_1}-1)$, $\forall i=2,3,\cdots,k $. We explore a connection between $S(x)$ and the cyclotomic mapping polynomial. As an application, in three parts, we discuss the scattered behavior of $S(x)$ of index $t$ where $t=r_1$, or $0<t<r_1$, or $r_1<t<n$. Starting with the pseudoregulus type of index $t \geq 0$, we present conditions to verify scattered behavior of $S(x)$ of index $r_1$. With some additional conditions, we do the same in case $0<t<r_1$ or $r_1<t<n$. In particular, for $S(x)=a_1x^{q^{r_1}}+a_2x^{q^{r_2}} \in \mathbb{F}_{q^n}[x]$ with $a_1,a_2 \in \mathbb{F}_{q^n}^*$ such that $|a_2| \mid q^{r_1}-1$, we present a necessary and sufficient condition to verify its scattered behavior of index $t \in \{r_1,r_2\}$. We also connect such scattered binomials with the well known Lunardon-Polverino polynomial. With conditions on $δ, q,n$, and $r$; we present a new family of exceptional scattered polynomial $S(x)=x^q+δx^{q^{(2r+1)}} \in \mathbb{F}_{q^n}[x]$ of index $\{r+1\}$.
A Note on Conjectures of Gullerud, Johnson, and Mbirika
In 2023, Gullerud, Johnson, and Mbirika presented results on their study of certain tridiagonal real symmetric matrices. As part of their work, they studied the roots to nonhomogeneous equations related to characteristic polynomials of adjacency matrices for path graphs. They showed that a subset of these polynomials give a Fibonacci number when evaluated at the imaginary unit, leading them to make several intriguing conjectures. In this work, we further explore their conjectures regarding the distribution of roots. We make partial progress towards establishing two conjectures, identify an infinite class of polynomials for which a third is false, and give evidence against a fourth.
A polynomial algorithm to compute the boxicity and threshold dimension of complements of block graphs
The boxicity of a graph $G$ is the minimum dimension $d$ that admits a representation of $G$ as the intersection graph of a family of axis-parallel boxes in $\mathbb{R}^d$. Computing boxicity is an NP-hard problem, and there are few known graph classes for which it can be computed in polynomial time. One such class is the class of block graphs. A block graph is a graph in which every maximal $2$-connected component is a clique. Since block graphs are known to have boxicity at most two, computing their boxicity amounts to the linear-time interval graph recognition problem. On the other hand, complements of block graphs have unbounded boxicity, yet we show that there is also a polynomial algorithm that computes the boxicity of complements of block graphs. An adaptation of our approach yields a polynomial algorithm for computing the threshold dimension of the complements of block graphs, which for general graphs is an NP-hard problem. Our method suggests a general technique that may show the tractability of similar problems on block-restricted graph classes.
Two Proofs of the Hamiltonian Cycle Identity
The Hamiltonian cycle polynomial can be evaluated to count the number of Hamiltonian cycles in a graph. It can also be viewed as a list of all spanning cycles of length $n$. We adopt the latter perspective and present a pair of original proofs for the Hamiltonian cycle identity which relates the Hamiltonian cycle polynomial to the important determinant and permanent polynomials. The first proof is a more accessible combinatorial argument. The second proof relies on viewing polynomials as both linear algebraic and combinatorial objects whose monomials form lists of graphs. Finally, a similar identity is derived for the Hamiltonian path polynomial.
A combinatorial formula for Interpolation Macdonald polynomials
In 1996, Knop and Sahi introduced a remarkable family of inhomogeneous symmetric polynomials, defined via vanishing conditions, whose top homogeneous parts are exactly the Macdonald polynomials. Like the Macdonald polynomials, these interpolation Macdonald polynomials are closely connected to the Hecke algebra, and admit nonsymmetric versions, which generalize the nonsymmetric Macdonald polynomials. In this paper we give a combinatorial formula for interpolation Macdonald polynomials in terms of signed multiline queues; this formula generalizes the combinatorial formula for Macdonald polynomials in terms of multiline queues given by Corteel-Mandelshtam-Williams.
Extending the ab-index
We prove for finite, graded, bounded posets, that the Poincaré-extended ab-index is obtained from the ab-index via the omega-transformation. This proves a conjecture by Dorpalen-Barry, Maglione, and the second author, and provides a more conceptual approach to ab-indices and Chow polynomials beyond R-labeled posets.
On partitions associated with elementary symmetric polynomials
Published
• View Publication
• BIB
The elementary symmetric partition function is a map on the set of partitions. It sends a partition lambda to the partition whose parts are the summands in the evaluation of the elementary symmetric function on the parts of lambda. These elementary symmetric partition functions have been studied before, and are related to plethysm. In this note, we study properties of the elementary symmetric partition functions, particularly related to injectivity and the number of parts appearing in their image partitions.
Zero-free regions for the independence polynomial on restricted graph classes
Published
• View Publication
• BIB
Generalising the Heilman-Lieb Theorem from statistical physics, Chudnovsky and Seymour [J. Combin. Theory Ser. B, 97(3):350--357] showed that the univariate independence polynomial of any claw-free graph has all of its zeros on the negative real line. In this paper, we show that for any fixed subdivded claw $H$ and any $Δ$, there is an open set $F \subseteq \mathbb{C}$ containing $[0, \infty)$ such that the independence polynomial of any $H$-free graph of maximum degree $Δ$ has all of its zeros outside of $F$. We also show that no such result can hold when $H$ is any graph other than a subdivided claw or if we drop the maximum degree condition.
We also establish zero-free regions for the multivariate independence polynomial of $H$-free graphs of bounded degree when $H$ is a subdivided claw. The statements of these results are more subtle, but are again best possible in various senses.
Zeros and Orthogonality of generalized Fibonacci polynomials
This paper analyzes the concept of orthogonality in second-order polynomial sequences that have Binet formula similar to that of the Fibonacci and Lucas numbers, referred to as Generalized Fibonacci Polynomials (GFP). We give a technique to find roots of the GFP. As a corollary of this result, we give an alternative proof of a special case of Favard's Theorem. The general case of Favard's Theorem guarantees that there is a measure to determine whether a sequence of second-order polynomials is orthogonal or not. However, the theorem does not provide an explicit such measure. Our special case gives both the explicit measure and the relationship between the second-order recurrence and orthogonality, demonstrating whether the GFP polynomials are orthogonal or not. This allows us to classify which of familiar GFPs are orthogonal and which are not. Some familiar orthogonal polynomials include the Fermat, Fermat-Lucas, both types of Chebyshev polynomials, both types of Morgan-Voyce polynomials, and Vieta and Vieta-Lucas polynomials. However, we prove that the Fibonacci, Lucas, Pell, and Pell-Lucas sequences are not orthogonal.
In Section \ref{sectionrw}, we give a brief description of discrete--time and continuous--time Morkov chains with special emphasis on birth-and-death stochastic processes.
We find sufficient conditions on the polynomial's coefficients under which a given family of orthogonal polynomial induces a Markov chain. These families of orthogonal polynomials include Chebyshev polynomials of first kind and Fermat-Lucas.
In the final section, we highlight some connections between orthogonal polynomials and Markov processes. These relations are not new but seem to have been somewhat forgotten. We do so to draw the attention of researchers in the orthogonal polynomial and probability communities for further collaboration.
Flow polytopes for extensions of bipartite graphs
The space of unit flows on a finite acyclic directed graph is a lattice polytope called the flow polytope of the graph. Given a bipartite graph $G$ with minimum degree at least two, we construct two associated acyclic directed graphs: the extension of $G$ and the almost-degree-whiskered graph of $G$. We prove that the normalized volume of the flow polytope for the extension of $G$ is equal to the number of matchings in the almost-degree-whiskered graph of $G$. Further, we refine this result by proving that the Ehrhart $h^*$-polynomial of the flow polytope for the extension of $G$ is equal to the unsigned matching polynomial of the almost-degree-whiskered graph of $G$.
Further Applications of Cubic $q$-Binomial Transformations
Published
• View Publication
• BIB
Consider \begin{align*} G(N,M;α,β,K,q) = \sum\limits_{j\in\mathbb{Z}}(-1)^jq^{\frac{1}{2}Kj((α+β)j+α-β)}\left[\begin{matrix}M+N\\N-Kj\end{matrix}\right]_{q}. \end{align*} In this paper, we prove the non-negativity of coefficients of some cases of $G(N,M;α,β,K,q)$. For instance, for non-negative integers $n$ and $t$, we prove that\\ \begin{align*} G\left(n,n;\frac{4}{3}+\frac{3(3^t-1)}{2},\frac{5}{3}+\frac{3(3^t-1)}{2},3^{t+1},q\right) \end{align*} and \begin{align*} G\left(n-\frac{3^t-1}{2},n+\frac{3^t+1}{2};\frac{8}{3}+2(3^t-1),\frac{4}{3}-(3^t-1),3^{t+1},q\right)\\ \end{align*} are polynomials in $q$ with non-negative coefficients. Using cubic positivity preserving transformations of Berkovich and Warnaar and some known formulae arising from Rogers-Szegö polynomials, we establish new identities such as\\ \begin{align*} \sum\limits_{0\le 3j\le n}\dfrac{(q^3;q^3)_{n-j-1}(1-q^{2n})q^{3j^2}}{(q;q)_{n-3j}(q^6;q^6)_{j}} = \sum\limits_{j=-\infty}^{\infty}(-1)^jq^{6j^2}{2n\brack n-3j}_q. \end{align*}