Skip to main content

All Questions

Filter by
Sorted by
Tagged with
19 votes
3 answers
2k views

Guises of the Stasheff polytopes, associahedra for the Coxeter $A_n$ root system?

Richard Stanley keeps a famous running compilation of different guises of the celebrated Catalan numbers. The number of vertices of the associahedron is one instantiation among the multitude, and the ...
Tom Copeland's user avatar
  • 10.5k
18 votes
1 answer
1k views

Smith Normal Form of powers of a matrix

What invariants of a matrix determine the Smith Normal Form (SNF) of all the powers of a matrix? The question makes sense over any PID $R$. If we let $M = M_n(R)$ and $G=Gl_n(R)$, then SNF is a ...
Robert Bruner's user avatar
11 votes
0 answers
629 views

Inversion, Koszul duality, combinatorics and geometry

According to this MO answer Koszul duality is related to operations on generating series; 1) multiplicative inversion for quadratic algebras, 2) compositional inversion for quadratic operads, 3) ...
11 votes
1 answer
339 views

Analogue of conic sections for the permutohedra, associahedra, and noncrossing partitions

Slicing cones in various ways with a plane generates conic sections identified geometrically as hyperbolas, parabolas, or ellipses and algebraically, when suitably rotated, as certain rescaled ...
Tom Copeland's user avatar
  • 10.5k
4 votes
1 answer
704 views

Connections to physics, geometry, geometric probability theory of Euler's beta integral (function)

Euler"s integral for the beta function $B(s,\alpha) = $ (with $x = 1$) $$ \frac{(s-1)!(\alpha-1)!}{(s+\alpha-1)!} x^{s+\alpha-1} = \int_0^\infty t^{s-1}\; H(x-t) \; (x-t)^{\alpha-1} dt = \int_0^x ...
Tom Copeland's user avatar
  • 10.5k
18 votes
5 answers
2k views

Is a complete homogeneous symmetric polynomial irreducible?

Let $S=\mathbb{C}[x_1,x_2,\dots,x_n]$ be a polynomial ring. Let $n \geq 3$. Let $h_a$ denotes the complete homogeneous symmetric polynomial of degree $a$. $$ h_a=\text{ sum of all monomials of degree }...
Neeraj 's user avatar
  • 446
13 votes
1 answer
228 views

Recognizing algebraic independence among Schur polynomials

Given a set of integer partitions $\{\lambda_1, \lambda_2,\dots \lambda_n\}$. Are there combinatorial criteria for deciding whether the associated Schur polynomials $s_{\lambda_1}, s_{\lambda_2},\dots ...
Gjergji Zaimi's user avatar
11 votes
1 answer
722 views

A closed formula for $A_n(X)=\sum\limits_{i=0}^n X^{i^2}$

I want to know if there exists a closed formula for sum $A_n(X)=\sum \limits_{i=0}^n X^{i^2}$. I have found if $n$ is odd then $(X^n+1)\text{ | } A_n(X)$, but I don't have found a closed formula.
Dattier's user avatar
  • 4,074
9 votes
1 answer
295 views

Definition of packing property

Definition 1: A clutter $C$ is said to have the packing property if $C$ and all of its minors satisfy the König property. where, vertex cover of $C$ is a set of vertices that have non-empty ...
user177523's user avatar
9 votes
2 answers
790 views

Algebraic power series of finite order

Apologies if the question is too elementary/something well-known. I believe it is a well-known fact that the rational formal power series $F(z)=\frac{P(z)}{Q(z)}$ which have finite order under ...
Sam Hopkins's user avatar
  • 24.2k
8 votes
1 answer
497 views

q-Integer-valued polynomials

For $n \in \mathbb{Z}_{\geq 0}$, let $[n]_q := (1-q^n)/(1-q) = (1+q+...+q^{n-1})$ as is customary, with $[0]_q=0$. Let $R$ be the subring of $\mathbb{Q}(q)[x]$ consisting of all $f$ such that $f([n]...
Sam Hopkins's user avatar
  • 24.2k
7 votes
1 answer
578 views

To compute minors of Jacobian of symmetric polynomials

For any $n$ tuple $f_1,f_2,\dots,f_n$ in the polynomial ring $\mathbb{C}[x_1,x_2,\dots,x_n]$ one has Jacobian, expressed by the $(n \times n)$-determinants: $$ J(f_1,\dots,f_n):=|\frac{\partial}{\...
Neeraj 's user avatar
  • 446
7 votes
1 answer
474 views

Fibonacci embedded in Catalan?

Given a partition $\lambda$ and its Young diagram $\pmb{Y}_{\lambda}$, we say $\lambda$ is a $(t,s)$-core partition provided that neither $t$ nor $s$ is a hook length in $\pmb{Y}_{\lambda}$. We now ...
T. Amdeberhan's user avatar
6 votes
1 answer
216 views

Coloring summands of given n-partition with given weights of colors

Let $\lambda$ and $\sigma$ be partitions of $n$: $\lambda_1+\lambda_2+\cdots+\lambda_l=n$ and $\sigma_1+\sigma_2+\cdots+\sigma_s=n$ Let $M_{\lambda \sigma}$ be the number of ways to colour the parts ...
Radmir's user avatar
  • 443
5 votes
0 answers
107 views

Generalized Puiseux series for diagonal reflections of the curves $y = \frac{x}{(1-ax)(1-bx)^m}$

Reflection of the curve $y = f_m(x) = \frac{x}{(1-ax)(1-bx)^m}$ through the diagonal line $y=x$ in the $xy$-plane can be regarded as local compositional inversion of the curve $y=f_m(x)$. ($x,y,a,b$ ...
Tom Copeland's user avatar
  • 10.5k
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
3 votes
0 answers
181 views

Refined f- and h-partition polynomials of the associahedra

The f-polynomials, $F_n(x)$ (cf. OEIS A126216, A033282, and A086810), and the h-polynomials, $H_n(x)$ (cf. A001263, the Narayana polynomials), of the family of simple convex polytopes the associahedra ...
Tom Copeland's user avatar
  • 10.5k
3 votes
0 answers
144 views

Noncrossing partitions in Hopf algebras/monoids via compositional inversion

Partition polynomials constructed from the face structures of the associahedra (OEIS A133437) and permutahedra (A133314) comprise the antipodes/compositional inverses in a Faa-di-Bruno-type Hopf ...
Tom Copeland's user avatar
  • 10.5k
1 vote
0 answers
157 views

Indecomposability of image transformations (pure algebra). Open questions

W-transformations -- definitions We will consider a class called finite window transformations $\ T:C^\mathbb Z\rightarrow C^\mathbb Z\ $ defined a paragraph below; $\ \mathbb Z\ $ is the ring of ...
Włodzimierz Holsztyński's user avatar
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
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