Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
1 answer
358 views

q-polynomials in terms of a basis

Consider the polynomials $$f_n(q)=\prod_{j=1}^n(1+q^j) \qquad \text{and} \qquad g_m(q)=1+q+q^2+\cdots+q^m.$$ I'll list a few examples to motivate my question. Direct calculations show that $$f_1=g_1, \...
T. Amdeberhan's user avatar
4 votes
0 answers
134 views

Irreducibility of polynomials associated to binomial coefficients

Let $n \geq 2$. Let $M_n$ be the $(n+1) \times (n+1)$ matrix with entries $\binom{l}{k}$ for $0 \leq l,k \leq n$ and $U_n=M_n + M_n^T$ and let $f_n(x)$ denote the characteristic polynomial of $U_n$. ...
Mare's user avatar
  • 26.5k
4 votes
0 answers
145 views

Validating a result on evaluating Jack polynomials

I am currently working through the following paper: Lapointe L., Lascoux A., Morse J. Determinantal Expression and Recursion for Jack Polynomials Electron. J. Combin. 7 (2000), Notes 1. DOI: 10.37236/...
J. M. isn't a mathematician's user avatar
5 votes
1 answer
289 views

Cataland: Facets and partition polynomials of cluster complexes

Figure 25 on pg. 101 of "Cataland: Why the Fuss?" by Christian Stump, Hugh Thomas, and Nathan Williams depicts cluster complexes (CCs) associated with generalized $(m)$-Narayana / ...
Tom Copeland's user avatar
  • 10.5k
0 votes
1 answer
349 views

Log associahedra and log noncrossing partitions--raising ops and symmetric function theory for $A_n$ (references)

Where do the following three sets $[LA]$, $[ILA]$, and $[LN]$ of partition polynomials appear in the literature? There are two sets of partition polynomials, not in the OEIS, that serve as the ...
Tom Copeland's user avatar
  • 10.5k
4 votes
1 answer
370 views

Determining when quotient of a polynomial ring is a Gorenstein ring

I would like to be able to look at the ring $R=\mathbb{Z}[x_1,x_2,\ldots,x_n]/\mathcal{I},$ where $\mathcal{I}$ is generated by a finite number of monomials and say whether $R$ is a Gorenstein ring. ...
Haldot's user avatar
  • 214
3 votes
2 answers
459 views

Short sequence beats long sequence

I have encountered some comparison between two binomial sums. It was amusing how the one with "fewer" summands exceeds (in value) than the other which consists of many more terms. In fact, ...
T. Amdeberhan's user avatar
3 votes
0 answers
151 views

Extension of work by Novelli and Thibon on noncommutative symmetric functions and Lagrange inversion

(Edit May 12, 2023: I just put up a brief summary of some of my notes on the partition polynomials described below in my WordPress mini-arXiv at "As Above, So Below". It contains multinomial ...
Tom Copeland's user avatar
  • 10.5k
2 votes
0 answers
77 views

Flexagons and noncrossing partitions

Turns out a couple of series related to the faces of flexagons popped up in my explorations of combinatorial reciprocities in a group algebra for sets of partition polynomial (ParPs) related to the ...
Tom Copeland's user avatar
  • 10.5k
3 votes
0 answers
116 views

A theory of refined h- and f-polynomials for the permutahedra, associahedra, noncrossing partitions, and tropical Grassmannians (references)

Looking for references (insights) on a theory encompassing a notion of refined face polynomials and their associated refined h-polynomials that are generalizations of the relation between ordinary f-...
Tom Copeland's user avatar
  • 10.5k
11 votes
6 answers
872 views

A question on the real root of a polynomial

For $n\geq 1$, given a polynomial \begin{equation*} \begin{aligned} f(x)=&\frac{2+(x+3)\sqrt{-x}}{2(x+4)}(\sqrt{-x})^n+\frac{2-(x+3)\sqrt{-x}}{2(x+4)}(-\sqrt{-x})^n \\ &+\frac{x+2+\...
Connor's user avatar
  • 145
0 votes
1 answer
142 views

Vandermonde matrix with polynomials

Let us consider the simple Vandermonde matrix $V_n$ with $V_{ij} = \omega^{(i - 1)(j - 1)}$ where $\omega = e^{2i\pi/n}$. Its well known that for a column vector $A$, $VA$ is equivalent to evaluating ...
Aditya Jain's user avatar
0 votes
0 answers
84 views

Arithmetic triangles and unimodality of its rows

Let's consider the sequence of coefficients of $\prod_{i}\frac {1-x^{d_i}} {1-x}$, where $d_i$ is a monotonically increasing nonnegative integer sequence. How to prove that the coefficients form an ...
Mikhail Gaichenkov's user avatar
1 vote
1 answer
196 views

Largest part and length of a partition in play

If $\lambda=(\lambda_1\geq\lambda_2\geq\dots\geq\lambda_k)\vdash n$ is an integer partition of $n$ then $\lambda_1$ is its largest part and $k$ is its length, $\ell(\lambda)$. Define the statistic $...
T. Amdeberhan's user avatar
5 votes
1 answer
502 views

A polynomial identity related to Catalan numbers

Let $F_n^{(k)}(x)= \sum_j {\binom{n+(k-1)j}{kj} x^j}$ and $G_n^{(k)}(x)= \sum_j {\binom{n+j}{kj} x^j}.$ I am interested in the coefficients ${a_{n,k,j}}$ such that $$G_n^{(k)}(x)=\sum_{j\geq0 }{a_{n,...
Johann Cigler's user avatar
11 votes
1 answer
884 views

And, yet, another evaluation to Catalan numbers

Construct the $n$-tuple Cartesian product of the ternary set $X_n=\{0,1,2\}\times\cdots\times\{0,1,2\}=\{0,1,2\}^n$. Define its subset $W_n$ according to the rule (here $y=(y_1,\dots,y_n)$ is made use ...
T. Amdeberhan's user avatar
3 votes
1 answer
210 views

Powers of $2$ up to $2^{m-1}$ from a polynomial of degree $m-1$

Let $T(n,k)$ be a triangle of coefficients such that $T(n,k)\geqslant0$ for $n>0$, $0<k\leqslant n$, $0$ otherwise. Also $$T(2n+1,1)=\frac{1}{2n+1}, T(2n,1)=0$$ $$T(n,k)=\frac{1}{n}(T(n-1,k-1)+(...
Notamathematician's user avatar
2 votes
1 answer
173 views

Matching polynomial, but $K_2$ is replaced by $K_3$. Have these been studied?

Given a simple graph $G=(V,E)$, we can consider matchings, $M\subseteq E$, where $M$ is a matching iff no vertex is shared between different edges. The number of edges in $M$ is denoted $|M|$. The ...
Per Alexandersson's user avatar
3 votes
0 answers
107 views

Non-tree models of Lagrange inversion polynomials

The specific Lagrange inversion / series reversion polynomials (LIPs) I'm addressing are illustrated in OEIS A134685 with a general linear term and in Lang's pdf for A176740 with the coefficient of ...
Tom Copeland's user avatar
  • 10.5k
3 votes
2 answers
255 views

Inequality for Gaussian polynomials III

Recall the constructions $[n]_q=\frac{1-q^n}{1-q}, [n]!_q=[1]_q[2]_q\cdots[n]_q$ with $[0]!_q:=1$ and the $q$-binomials (Gaussian polynomials) $$\binom{n}k_q=\frac{[n]!_q}{[k]!_q[n-k]!_q}.$$ Given two ...
T. Amdeberhan's user avatar
4 votes
0 answers
128 views

Inequality for $q$-binomials

Recall the constructions $[n]_q=\frac{1-q^n}{1-q}, [n]!_q=[1]_q[2]_q\cdots[n]_q$ with $[0]!_q:=1$ and the $q$-binomials (Gaussian polynomials) $$\binom{n}k_q=\frac{[n]!_q}{[k]!_q[n-k]!_q}.$$ Given two ...
T. Amdeberhan's user avatar
6 votes
0 answers
184 views

3-term recurrence relation including integral or differential operator for polynomials

Sequences of polynomials with a 3-term recurrence relations are well known for orthogonal polynomials. Do recurrence relations using differential or integral operators also appear in some theories? I ...
Christian Sattlecker's user avatar
2 votes
0 answers
80 views

Inequality on polynomials

Recall $[n]_q=\frac{1-q^n}{1-q}, [n]!_q=[1]_q[2]_q\cdots[n]_q$ and the Gaussian polynomial $\binom{a}{b}_q=\frac{[a]!_q}{[b]!_q[a-b]!_q}$ with $[0]!_q:=1$. Given two polynomials $U(q)=\sum_k\alpha_kq^...
T. Amdeberhan's user avatar
5 votes
1 answer
358 views

The number of polynomials on a finite group, II

This question is follow up of this MO-post. First let us recall the necessary definitions. A function $f:X\to X$ on a group $X$ is called a polynomial if there exists $n\in\mathbb N$ and elements $a_0,...
Taras Banakh's user avatar
  • 41.8k
6 votes
0 answers
190 views

The highest degree of a polynomial on a finite group

This question is motivated by the comments and the answer to this MO-question. First let us recall some definitions. A function $f:X\to X$ on a group $X$ is called a polynomial if there exists $n\in\...
Taras Banakh's user avatar
  • 41.8k
1 vote
0 answers
147 views

Counting Hamiltonian cycles in graph and finding a coefficient of polynomial

Exact result is #P-Hard, so we are looking for bounds. Let $G$ be simple graph or simple digraph and $A$ its adjacency matrix. $A$ is $n \times n$ with entries only zeros or ones. Let $K=\mathbb{Z}[...
joro's user avatar
  • 25.4k
3 votes
0 answers
203 views

Combinatorial characterizations of complex weight supports

This question is related to my last question and is originally motivated by recent advances in quantum physics. I am looking for combinatorial characterizations of some algebraically defined families ...
Alex Ravsky's user avatar
  • 5,409
1 vote
0 answers
329 views

Outlier absences of monomials in a group of inversion partition polynomials

Revamped and updated on Sep 12, 2022: Given the complex coefficients $a_n$ of some generic formal power, Taylor, Laurent or other series, say the ordinary generating functions (o.g.f.) $f(z) = z +a_1 ...
Tom Copeland's user avatar
  • 10.5k
3 votes
0 answers
188 views

Reshuffling power series (aka Melvin–Morton expansion in knot theory)

I am struggling to understand a statement which follows from some change of variables in a power series. I think that the context does not really matter here, so I will put it at the end of the ...
Minkowski's user avatar
  • 601
1 vote
0 answers
89 views

Combinatorial models of the refined inverse Eulerian numbers

If I evaluate substitution of an infinite set of indeterminates $(c_1,c_2,c_3,\cdots)$ into the infinite set of refined Eulerian polynomials $[E]$ of OEIS A145271, I obtain the Taylor series ...
Tom Copeland's user avatar
  • 10.5k
2 votes
0 answers
117 views

A multi-variable "Fibonacci polynomial"?

There is a tremendous literature on the Fibonacci sequence, including its polynomial analogue $F_{-1}=0, F_0=1$ and $$F_n(x)=xF_{n-1}(x)+F_{n-2} \qquad \text{for $n\geq1$}.$$ What I have found is the ...
T. Amdeberhan's user avatar
2 votes
1 answer
141 views

Counting monomials and $q$-Catalan polynomials

Define $N(F)$ to be the number of monomials of a multi-variable polynomial $F$. For example $N(x^2y+3xy-y^5)=3$. If $\mathbf{x}=(x_1,\dots,x_n)$ and $F_n(\mathbf{x})=\prod_{k=1}^n(x_1+\cdots+x_k)$ ...
T. Amdeberhan's user avatar
8 votes
1 answer
269 views

MacMahon Master Theorem for non-matching coefficients

Let $ A$ be a complex $ n$ by $ n$ matrix and $ x_1, \dots, x_n$ be a set of commuting variables. Let $ X_i = \sum_i a_{ij}x_j$. MacMahon's Master Theorem (MMT) states that \begin{align} [x_1^{...
Pluviophile's user avatar
  • 1,608
2 votes
0 answers
345 views

Combinatorics of iterated composition of noncrossing partition polynomials

A combinatorial problem arises in relating connected and disconnected Green functions associated to a "zero-dimensional" quantum field theory presented by Brezin, Itzykson, Parisi, and Zuber ...
Tom Copeland's user avatar
  • 10.5k
3 votes
1 answer
194 views

Checking presence of a specific term in product polynomial

I have a multivariate polynomial $P$ which is a product of $M$ low degree polynomials $p_i$ $$P(x_1, x_2, \dotsc, x_n) = \prod_{i=1}^M p_i(x_1, x_2, \dotsc, x_n)$$ where the maximum degree of each $...
Math-fort's user avatar
  • 103
9 votes
1 answer
687 views

Number of Laurent monomials of n variables with degree at most d

Introduction: We have a question of how to calculate the number of $n$-variables Laurent monomials of degree at most $d$. For example: If $n=2$, $d=2$ then we have 19 monomials, which are: $x^{-2}$, $...
Thien's user avatar
  • 93
9 votes
2 answers
259 views

Alon-Füredi for homogeneous polynomials

A theorem of Alon and Füredi says that if $A$ and $B$ are finite, nonempty subsets of the field $\mathbb F$, and if a polynomial $P(x,y)\in\mathbb F[x,y]$ vanishes on all, but exactly one point of the ...
Seva's user avatar
  • 23k
6 votes
1 answer
300 views

Explicit expression for recursive sums - II

A twist on just unfolded recursive summation formula. Let polynomials in nonnegative integer variables $t_1,t_2,\dots$ be defined by the recurrence: \begin{split} g_0 &= 1, \\ g_k(t_1,t_2,\dots,...
Max Alekseyev's user avatar
10 votes
2 answers
498 views

Explicit expression for recursive sums

Let $t_1,t_2,\dots,t_k$ be non-negative integers. Can the following sum $$f_k(t_1,t_2,\dots,t_k):=\sum_{j_1=0}^{t_1} \sum_{j_2=0}^{t_2+j_1} \sum_{j_3=0}^{t_2+j_2} \dots \sum_{j_k=0}^{t_k+j_{k-1}} 1$$ ...
Max Alekseyev's user avatar
5 votes
1 answer
347 views

Counting monomials and the Catalan numbers

Given a multi-variable polynomial $F$, denote the number of monomials by $N(F)$. Take for instance, \begin{align*}N(x(x+y)+(x+y)^2-(x-y)^2)=N(x^2+5xy)&=2 \qquad \text{and} \\ N((x+z)(x+y)^2)=N(x^3 ...
T. Amdeberhan's user avatar
3 votes
1 answer
281 views

Analytic expression for the coefficient of a multivariate polynomial

Does there exist some method for finding an analytic expression for the coefficient of $z_1^kz_2^kz_3^k$ in: $$[(1+z_1)(1+z_2)(1+z_3)(1+z_1z_2)(1+z_1z_3)(1+z_2z_3)(1+z_1z_2z_3)]^{k}$$ or is it ...
Fabius Wiesner's user avatar
0 votes
1 answer
167 views

Restrictions on exponents in multinomial formula

From the multinomial formula we have $$(x_1 + x_2 + \dotsb + x_m)^n = \sum_{k_1+k_2+\dotsb+k_m=n, \ k_1, k_2, \dotsc, k_m \geq 0} {n \choose k_1, k_2, \dotsc, k_m} \prod_{t=1}^m x_t^{k_t}\,.$$ I ...
eyejay's user avatar
  • 1
4 votes
1 answer
259 views

Why do these polynomials split almost in the middle?

Start with a palindromic sequence of integers $(a_0, a_1, \ldots, a_{n+1})$, i.e. $a_j=a_{n+1-j}$, and put $a_j:=0$ for $j<0$ and $j>n+1$. You may readily guess that the choice of the binomial ...
Wolfgang's user avatar
  • 13.4k
3 votes
0 answers
144 views

Flat polynomials with factors of big height

Let $p(x)$ be a polynomial of degree $n$ with all coefficients in $\{-1,0,1\}$ (such polynomials are sometimes called flat). I am wondering how big the coefficients of a factor of $p$ can be. Call ...
Wolfgang's user avatar
  • 13.4k
3 votes
1 answer
165 views

The inverse of a symbolic matrix (with reciprocal binomials) has Laurent entries

Recalling the $q$-binomials (Gaussian polynomials). Let $[n]_q!=\prod_{j=1}^n\frac{1-q^j}{1-q}$ and $\binom{n}k_q=\frac{[n]_q!}{[k]_q!\cdot[n-k]_q!}$. Now, consider the $n\times n$ matrix $\mathbf{M}...
T. Amdeberhan's user avatar
3 votes
0 answers
207 views

On a variation of the Vandermonde matrix

The ubiquitous Vandermonde matrix, of entries $(x_i^{j-1})_{i,j}^{1,n}$, and its determinant $$\prod_{i<j}^{1,n}(x_j-x_i)$$ have found many utilities in Combinatorics and Physics, among other ...
T. Amdeberhan's user avatar
4 votes
0 answers
186 views

A problem in the spirit of P. Borwein's polynomials

A well-known conjecture (now a theorem) of P. Borwein (see Wang and Krattenthaler - An asymptotic approach to Borwein-type sign pattern theorems) states: For all positive integers $n$, the sign ...
T. Amdeberhan's user avatar
4 votes
4 answers
305 views

Subgraph avoiding colorings

Let $P_{H}(G, t)$ be the number of vertex colorings of a graph $G$ in $t$ colors that avoid having a monochromatic subgraph $H$. In particular, for $H$ given by a single edge we recover the usual ...
Rybin Dmitry's user avatar
1 vote
1 answer
204 views

Interpret this matrix and its determinant

Let $n\geq1$ be an integer. Take the matrix $M(n)$, with entries, $M_{i,j}(n)=\sin\left(\frac{(i+j)\pi}2\right)$ if $i\neq j$ and $M_{i,i}(n)=x_i$. I wish to ask (this question has been modified from ...
T. Amdeberhan's user avatar
1 vote
0 answers
159 views

A follow up on Bergeron's conjecture and a question

We say two polynomials satisfy $P(x)\geq Q(x)$ iff $P(x)-Q(x)$ has non-negative coefficients. Recall $(n)_q!=\prod_{j=1}^n(1-q^j)$ and the Gaussian polynomials $\binom{n}k_q=\frac{(n)_q!}{(k)_q!(n-k)...
T. Amdeberhan's user avatar

1
2
3 4 5
7