polynomial
11422 papers tagged with this keyword
Jacobi-Stirling polynomials and $P$-partitions
Published
• View Publication
• BIB
We investigate the diagonal generating function of the Jacobi-Stirling numbers of the second kind $ \JS(n+k,n;z)$ by generalizing the analogous results for the Stirling and Legendre-Stirling numbers. More precisely, letting $\JS(n+k,n;z)=p_{k,0}(n)+p_{k,1}(n)z+...+p_{k,k}(n)z^k$, we show that $(1-t)^{3k-i+1}\sum_{n\geq0}p_{k,i}(n)t^n$ is a polynomial in $t$ with nonnegative integral coefficients and provide combinatorial interpretations of the coefficients by using Stanley's theory of $P$-partitions.
On Block-Goettsche multiplicities for planar tropical curves
Published
• View Publication
• BIB
We prove invariance for the number of planar tropical curves enhanced with polynomial multiplicities recently proposed by Florian Block and Lothar Goettsche. This invariance has a number of implications in tropical enumerative geometry.
Testing Low Complexity Affine-Invariant Properties
Published
• View Publication
• BIB
Invariance with respect to linear or affine transformations of the domain is arguably the most common symmetry exhibited by natural algebraic properties. In this work, we show that any low complexity affine-invariant property of multivariate functions over finite fields is testable with a constant number of queries. This immediately reproves, for instance, that the Reed-Muller code over F_p of degree d < p is testable, with an argument that uses no detailed algebraic information about polynomials except that low degree is preserved by composition with affine maps.
The complexity of an affine-invariant property P refers to the maximum complexity, as defined by Green and Tao (Ann. Math. 2008), of the sets of linear forms used to characterize P. A more precise statement of our main result is that for any fixed prime p >=2 and fixed integer R >= 2, any affine-invariant property P of functions f: F_p^n -> [R] is testable, assuming the complexity of the property is less than p. Our proof involves developing analogs of graph-theoretic techniques in an algebraic setting, using tools from higher-order Fourier analysis.
A new family of polynomial identities for computing determinants
Published
• View Publication
• BIB
We give new definitions for the determinant over commutative ring $K$, noncommutative ring $\mathbf{K}$, noncommutative ring $\mathcal{K}$ with associative powers, over noncommutative nonassociative ring $\mathfrak{K}$, and study their properties.
Inversion polynomials for 321-avoiding permutations
Published
• View Publication
• BIB
We prove a generalization of a conjecture of Dokos, Dwyer, Johnson, Sagan, and Selsor giving a recursion for the inversion polynomial of 321-avoiding permutations. We also answer a question they posed about finding a recursive formulas for the major index polynomial of 321-avoiding permutations. Other properties of these polynomials are investigated as well. Our tools include Dyck and 2-Motzkin paths, polyominoes, and continued fractions.
Mellin Transforms of the Generalized Fractional Integrals and Derivatives
Published in Applied Mathematics and Computation 257 (2015) 566-580
• View Publication
• BIB
We obtain the Mellin transforms of the generalized fractional integrals and derivatives that generalize the Riemann-Liouville and the Hadamard fractional integrals and derivatives. We also obtain interesting results, which combine generalized $δ_{r,m}$ operators with generalized Stirling numbers and Lah numbers. For example, we show that $δ_{1,1}$ corresponds to the Stirling numbers of the $2^{nd}$ kind and $δ_{2,1}$ corresponds to the unsigned Lah numbers. Further, we show that the two operators $δ_{r,m}$ and $δ_{m,r}$, $r,m\in\mathbb{N}$, generate the same sequence given by the recurrence relation \[ S(n,k)=\sum_{i=0}^r \big(m+(m-r)(n-2)+k-i-1\big)_{r-i}\binom{r}{i} S(n-1,k-i), \;\; 0< k\leq n, \] with $S(0,0)=1$ and $S(n,0)=S(n,k)=0$ for $n>0$ and $1+min\{r,m\}(n-1) < k $ or $k\leq 0$. Finally, we define a new class of sequences for $r \in \{\frac{1}{3}, \frac{1}{4}, \frac{1}{5}, \frac{1}{6}, ...\}$ and in turn show that $δ_{\frac{1}{2},1}$ corresponds to the generalized Laguerre polynomials.
A note on the modified q-Genocchi numbers and polynomials with weight (α,β) and their interpolation function at negative integers
Published in Journal of Fasciculi mathematici, Politechnika Poznanska. Instytut Matematyki, No. 51 (2013), 21-32
• Search Publication
The purpose of this paper concerns to establish modified q-Genocchi numbers and polynomials with weight (α,β). In this paper we investigate special generalized q-Genocchi polynomials and we apply the method of generating function, which are exploited to derive further classes of q-Genocchi polynomials and develop q-Genocchi numbers and polynomials. By using the Laplace-Mellin transformation integral, we define q-Zeta function with weight (α,β) and by presenting a link between q-Zeta function with weight (α,β) and q-Genocchi numbers with weight (α,β) we obtain an interpolation formula for the q-Genocchi numbers and polynomials with weight (α,β). Also we derive distribution formula (Multiplication Theorem) and Witt's type formula for modified q-Genocchi numbers and polynomials with weight (α,β) which yield a deeper insight into the effectiveness of this type of generalizations for q=Genocchi numbers and polynomials. Our new generating function possess a number of interesting properties which we state in this paper.
Roots of Ehrhart polynomials and symmetric $δ$-vectors
The conjecture on roots of Ehrhart polynomials, stated by Matsui et al. \cite[Conjecture 4.10]{MHNOH}, says that all roots $α$ of the Ehrhart polynomial of a Gorenstein Fano polytope of dimension $d$ satisfy $-\frac{d}{2} \leq \Re(α) \leq \frac{d}{2} -1$. In this paper, we observe the behaviors of roots of SSNN polynomials which are a wider class of the polynomials containing all the Ehrhart polynomials of Gorenstein Fano polytopes. As a result, we verify that this conjecture is true when the roots are real numbers or when $d \leq 5$.
On the Dimension and Euler characteristic of random graphs
The inductive dimension dim(G) of a finite undirected graph G=(V,E) is a rational number defined inductively as 1 plus the arithmetic mean of the dimensions of the unit spheres dim(S(x)) at vertices x primed by the requirement that the empty graph has dimension -1. We look at the distribution of the random variable "dim" on the Erdos-Renyi probability space G(n,p), where each of the n(n-1)/2 edges appears independently with probability p. We show here that the average dimension E[dim] is a computable polynomial of degree n(n-1)/2 in p. The explicit formulas allow experimentally to explore limiting laws for the dimension of large graphs. We also study the expectation E[X] of the Euler characteristic X, considered as a random variable on G(n,p). We look experimentally at the statistics of curvature K(v) and local dimension dim(v) = 1+dim(S(v)) which satisfy the Gauss-Bonnet formula X(G) = sum K(v) and by definition dim(G) = sum dim(v)/|V|. We also look at the signature functions f(p)=E[dim], g(p)=E[X] and matrix values functions A(p) = Cov[{dim(v),dim(w)], B(p) = Cov[K(v),K(w)] on the probability space G(p) of all subgraphs of a host graph G=(V,E) with the same vertex set V, where each edge is turned on with probability p. If G is the complete graph or a union of cyclic graphs with have explicit formulas for the signature polynomials f and g.
Generating random braids
Published in Journal of Combinatorial Theory, Series A 120 (2013), pp. 111-128
• View Publication
• BIB
We present an algorithm to generate positive braids of a given length as words in Artin generators with a uniform probability. The complexity of this algorithm is polynomial in the number of strands and in the length of the generated braids.
As a byproduct, we describe a finite state automaton accepting the language of lexicographically minimal representatives of positive braids that has the minimal possible number of states, and we prove that its number of states is exponential in the number of strands.
Lefschetz properties and the Veronese construction
Published
• View Publication
• BIB
In this paper, we investigate Lefschetz properties of Veronese subalgebras. We show that, for a sufficiently large $r$, the $r$\textsuperscript{th} Veronese subalgebra of a Cohen-Macaulay standard graded $K$-algebra has properties similar to the weak and strong Lefschetz properties, which we call the `almost weak' and `almost strong' Lefschetz properties. By using this result, we obtain new results on $h$- and $g$-polynomials of Veronese subalgebras.
Filter-regular sequences, almost complete intersections and Stanley's conjecture
Let $K$ be a field and $I$ a monomial ideal of the polynomial ring $S=K[x_1,..., x_n]$ generated by monomials $u_1,u_2,..., u_t$. We show that $S/I$ is pretty clean if either: 1) $u_1,u_2,..., u_t$ is a filter-regular sequence, 2) $u_1,u_2,..., u_t$ is a $d$-sequence; or 3) $I$ is almost complete intersection. In particular, in each of these cases, $S/I$ is sequentially Cohen-Macaulay and both Stanley's and $h$-regularity conjectures, on Stanley decompositions, hold for $S/I$. Also, we prove that if $I$ is the Stanley-Reisner ideal of a locally complete intersection simplicial complex on $[n]$, then Stanley's conjecture holds for $S/I$.
Macdonald polynomials in superspace: conjectural definition and positivity conjectures
Published in Letters in Mathematical Physics 101 (2012) 27-47
• View Publication
• BIB
We introduce a conjectural construction for an extension to superspace of the Macdonald polynomials. The construction, which depends on certain orthogonality and triangularity relations, is tested for high degrees. We conjecture a simple form for the norm of the Macdonald polynomials in superspace, and a rather non-trivial expression for their evaluation. We study the limiting cases q=0 and q=\infty, which lead to two families of Hall-Littlewood polynomials in superspace. We also find that the Macdonald polynomials in superspace evaluated at q=t=0 or q=t=\infty seem to generalize naturally the Schur functions. In particular, their expansion coefficients in the corresponding Hall-Littlewood bases appear to be polynomials in t with nonnegative integer coefficients. More strikingly, we formulate a generalization of the Macdonald positivity conjecture to superspace: the expansion coefficients of the Macdonald superpolynomials expanded into a modified version of the Schur superpolynomial basis (the q=t=0 family) are polynomials in q and t with nonnegative integer coefficients.
Combinatorics of $γ$-structures
In this paper we study canonical $γ$-structures, a class of RNA pseudoknot structures that plays a key role in the context of polynomial time folding of RNA pseudoknot structures. A $γ$-structure is composed by specific building blocks, that have topological genus less than or equal to $γ$, where composition means concatenation and nesting of such blocks. Our main result is the derivation of the generating function of $γ$-structures via symbolic enumeration using so called irreducible shadows. We furthermore recursively compute the generating polynomials of irreducible shadows of genus $\le γ$. $γ$-structures are constructed via $γ$-matchings. For $1\le γ\le 10$, we compute Puiseux-expansions at the unique, dominant singularities, allowing us to derive simple asymptotic formulas for the number of $γ$-structures.
Feynman Graph Integrals and Almost Modular Forms
Published
• View Publication
• BIB
We introduce a type of graph integrals on elliptic curves from the heat kernel. We show that such graph integrals have modular properties under the modular group $SL(2, \Z)$, and prove the polynomial nature of the anti-holomorphic dependence.
Sequentially Cohen--Macaulayness of bigraded modules
Published
• View Publication
• BIB
Let $K$ be a field, $S=K[x_1,\ldots,x_m, y_1,\ldots,y_n]$ be a standard bigraded polynomial ring and $M$ a finitely generated bigraded $S$-module. In this paper we study sequentially Cohen--Macaulayness of $M$ with respect to $Q=(y_1,\ldots,y_n)$. We characterize the sequentially Cohen--Macaulayness of $L\tensor_KN$ with respect to $Q$ as an $S$-module when $L$ and $N$ are non-zero finitely generated graded modules over $K[x_1, \dots, x_m]$ and $K[y_1, \dots, y_n]$, respectively. All hypersurface rings that are sequentially Cohen--Macaulay with respect to $Q$ are classified.
A new proof to complexity of dual basis of a type I optimal normal basis
The complexity of dual basis of a type I optimal normal basis of $\mathbb{F}_{q^n}$ over $\mathbb{F}_{q}$ was determined to be $3n-3$ or $3n-2$ according as $q$ is even or odd, respectively, by Z.-X. Wan and K. Zhou in 2007. We give a new proof to this result by clearly deriving the dual of a type I optimal normal basis with the aid of a lemma on the dual of a polynomial basis.
Recognizing [h,2,1] graphs
An (h,s,t)-representation of a graph G consists of a collection of subtrees of a tree T, where each subtree corresponds to a vertex of G such that (i) the maximum degree of T is at most h, (ii) every subtree has maximum degree at mots s, (iii) there is an edge between two vertices in the graph G if and only if the corresponding subtrees have at least t vertices in common in T. The class of graphs that have an (h,s,t)-representation is denoted [h,s,t].
An undirected graph G is called a VPT graph if it is the vertex intersection graph of a family of paths in a tree. In this paper we characterize [h,2,1] graphs using chromatic number. We show that the problem of deciding whether a given VPT graph belongs to [h,2,1] is NP-complete, while the problem of deciding whether the graph belongs to [h,2,1]-[h-1,2,1] is NP-hard. Both problems remain hard even when restricted to $Split \cap VPT$. Additionally, we present a non-trivial subclass of $Split \cap VPT$ in which these problems are polynomial time solvable.
The fundamental invariants of 3 x 3 x 3 arrays
Published
• View Publication
• BIB
We determine the three fundamental invariants in the entries of a $3 \times 3 \times 3$ array over $\mathbb{C}$ as explicit polynomials in the 27 variables $x_{ijk}$ for $1 \le i, j, k \le 3$. By the work of Vinberg on $θ$-groups, it is known that these homogeneous polynomials have degrees 6, 9 and 12; they freely generate the algebra of invariants for the Lie group $SL_3(\mathbb{C}) \times SL_3(\mathbb{C}) \times SL_3(\mathbb{C})$ acting irreducibly on its natural representation $\mathbb{C}^3 \otimes \mathbb{C}^3 \otimes \mathbb{C}^3$. These generators have respectively 1152, 9216 and 209061 terms; we find compact expressions in terms of the orbits of the finite group $(S_3 \times S_3 \times S_3) \rtimes S_3$ acting on monomials of weight zero for the action of the Lie algebra $\mathfrak{sl}_3(\mathbb{C}) \oplus \mathfrak{sl}_3(\mathbb{C}) \oplus \mathfrak{sl}_3(\mathbb{C})$.
Sutured Floer homology and hypergraphs
Published in Math. Res. Lett. 19 (2012), no. 6, 1309-1328
• View Publication
• BIB
By applying Seifert's algorithm to a special alternating diagram of a link L, one obtains a Seifert surface F of L. We show that the support of the sutured Floer homology of the sutured manifold complementary to F is affine isomorphic to the set of lattice points given as hypertrees in a certain hypergraph that is naturally associated to the diagram. This implies that the Floer groups in question are supported in a set of Spin^c structures that are the integer lattice points of a convex polytope. This property has an immediate extension to Seifert surfaces arising from homogeneous link diagrams (including all alternating and positive diagrams).
In another direction, together with work in progress of the second author and others, our correspondence suggests a method for computing the "top" coefficients of the HOMFLY polynomial of a special alternating link from the sutured Floer homology of a Seifert surface complement for a certain dual link.