All Questions
Tagged with ac.commutative-algebra co.combinatorics
143 questions
2
votes
1
answer
262
views
Randomly fixing elements and transcendence degree
Given $f_1,\ldots,f_n \in \mathbb{F}_q[x_1,\ldots,x_m]$ such that $\deg(f_i) \leq d < q$. Suppose we have for some $1 \leq j \leq m$
$$ \operatorname{trdeg}_{\mathbb{F}(x_1,\ldots,x_j)}\{f_1,\ldots,...
- 341
0
votes
0
answers
53
views
A question on bounding the size of the polynomial
Suppose we are given the following n polynomials in $\bar{\mathbb{F}}_2[x_1,...,x_n]$:
$f_1 = x_1 + x_n^2$
$f_2 = x_2 + x_1^2$
$\cdot$
$\cdot$
$f_{n-3} = x_{n-3} + x_{n-4}^2$
$f_{n-2} = x_{n-2} + x_{n-...
- 341
2
votes
0
answers
148
views
Nilpotent polynomial matrices over $F_q$ - polynomial count variety ? ( Nilpotent cone for Hitchin-Gaudin like integrable system)
Context: Number of nilpotent $n\times n $ matrices over $F_q$ is $q^{n(n-1)}$ classical result due to Ph.Hall, M.Gerstenhaber (see very nice exposition by T.Leinster at n-cat-cafe/arxiv) which have ...
- 24.9k
0
votes
0
answers
57
views
Reference for packing property and König property
Can someone please suggest reference material to study about the packing property and König property of ideals and some examples?
- 21
0
votes
0
answers
100
views
Shedding faces and decomposability in simplicial complexes
Definition:
A pure d-dimensional complex
$\Delta$ is $k$-decomposable if either $\Delta$ is a $d-$simplex or $\Delta$ contains a face $F$ such that
$\dim(F) \leq k$
both $\Delta \setminus F$ and $\...
- 381
1
vote
0
answers
42
views
If $G$ is a connected bipartite graph, then the edge ideal $I(G)$ is normally torsion free
I am studying the paper "On the Ideal Theory of Graphs" by Simis, Vasconcelos and Villarreal, Journal of Algebra 167, No. 2, 389-416 (1994), MR1283294, Zbl 0816.13003. I got stuck at theorem ...
- 21
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$ ...
- 10.5k
1
vote
1
answer
229
views
Zero divisors in the boolean polynomial ring $\mathbb{F}_2[x_1,x_2,...,x_n]/(x_1^2-x_1,x_2^2-x_2,...x_n^2-x_n)$
Related to this question.
Let $n$ be positive integer and let $K$ be the boolean polynomial ring
$\mathbb{F}_2[x_1,x_2,...,x_n]/(x_1^2-x_1,x_2^2-x_2,...x_n^2-x_n)$.
For all $a$ in $K$ we have $a= -a$ ...
- 25.4k
1
vote
0
answers
63
views
Factorization of the symmetric function identity $E(t)=1/H(t)$ with the refined Euler characteristic polynomials of associahedra / Lagrange inversion
I've come across two matrix identities, flagged with daggers below, relating the two sets of elementary and complete homogeneous symmetric polynomials/functions via the two sets of refined Lah and ...
- 10.5k
3
votes
0
answers
94
views
Commutant of irrep of $S_n$ (over local field)
Let $k$ be a field of characteristic zero and let $(V, \rho)$ be a finite-dimensional representation over $k$ of the symmetric group $S_n$. I would like to understand the commutant $\operatorname{End}...
- 363
17
votes
1
answer
687
views
Multiply an integer polynomial with another integer polynomial to get a "big" coefficient
I have copied this question from StackExchange, in the hope that some experts here can provide some relevant insight. Thanks to Greg Martin for improving the question.
Given $f(x) = a_0 + a_1 x + a_2 ...
- 823
2
votes
0
answers
73
views
An iterative formula for the Kreweras-Voiculescu polynomials (reference request)
Let
$$N(x) = 1 + \sum_{k \ge 1} N_k(h_1,h_2,...,h_k) \;x^k$$
$$ = 1 + h_1 x + (h_1^2 + h_2) x^2 + (h_1^3 + 3h_1h_2 + h_3)x^3 + (h_1^4 + 6 h_2 h_1^2 + 4 h_3 h_1 + 2 h_2^2 + h_4) x^4 + \cdots$$
be the ...
- 10.5k
2
votes
0
answers
68
views
Sampling theorems for partition polynomials (associahedra, noncrossing partitions / parking functions)
Define the associahedra partition polynomial
$$
\begin{split}
A(x) &= 1 + A_1(u_1) z + A_2(u_1,u_2) z^2 + A_3(u_1,u_2,u_3) z^3 + \cdots\\
& \qquad\qquad = 1 + \sum_{n \geq 1} A_n(u_1,...,u_n) ...
- 10.5k
2
votes
0
answers
114
views
How many minimal relations are needed to obtain a Frobenius algebra?
Let $A_n:=K \langle x_1,x_2,...,x_n \rangle$ be the non-commutative polynomial ring in $n$-variables over the field $K$ and let $J=\langle x_1,...,x_n \rangle$ be the ideal spanned by the $x_i$.
An ...
- 26.5k
10
votes
0
answers
195
views
Local cohomology and residues of rational functions at 0 and $\infty$
Let $a_1,\dots,a_s$ and $b_1,\dots,b_t$ be positive integers, where
$s,t>0$. Choose $c\in\mathbb{Z}$. Let $M_c$ be the real vector
space spanned by all monomials $x^\alpha y^\beta=x_1^{\alpha_1}\...
- 50.8k
3
votes
0
answers
116
views
Intersection numbers of moduli spaces and noncrossing partitions
The coefficients of the monomials $u_1^{e_1}u_2^{e_2} \ldots u_n^{e_n}$ of the partition polynomials (ParPs) $[M=M1]$ on pg. 831 of The Handbook of Mathematical Functions by Abramowitz and Stegun are ...
- 10.5k
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 / ...
- 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 ...
- 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. ...
- 214
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 ...
- 10.5k
1
vote
0
answers
162
views
Difficulty understanding a step in the proof of multiset version of Cauchy-Davenport Theorem
In a paper "G. Kós, L. Rónyai, Alon’s Nullstellensatz for multisets, Combinatorica, 32(5) (2012) 589-605", the authors prove a multiset version of the Cauchy-Davenport Theorem (please see ...
- 167
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 ...
- 10.5k
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 ...
- 43.2k
0
votes
0
answers
349
views
Relation between $3$-term Plücker relations and more than $3$-term Plücker relations
$\DeclareMathOperator\Gr{Gr}$Let $\Gr(k,n)$ be the Grassmannian variety of $k$-planes in an $n$-dimensional vector space. The coordinate algebra $\mathbb{C}[\Gr(k,n)]$ is generated by Plücker ...
- 6,201
0
votes
0
answers
132
views
Which consequences can be deduced from this peculiar property of tetration?
Recently (assuming radix-$10$), I showed that, for any $a \in \mathbb{N}_{0}$ that is not a multiple of $10$, there exists a unique value $V(a) \in \mathbb{N}_{0}$ which corresponds to the number of ...
- 1,451
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 ...
- 10.5k
6
votes
0
answers
194
views
"Cluster algebra" structure for finite distributive lattices
Let $P$ be an $n$-element poset and $J(P)$ the distributive lattice of its order ideals (i.e., the downwards-closed sets).
For each $I\in J(P)$ let $x_I \in \mathbb{R}^{n}$ be the indicator function ...
- 24.2k
1
vote
0
answers
173
views
The geometry of a commutative ring and the topology of its ideal complex
Suppose $R$ is a commutative Noetherian ring. Let $\mathcal{P}(R)$ be the poset of ideals of $R$ ordered by inclusion, and let $\Delta(R)$ be the order complex of $\mathcal{P}(R)$. $\Delta(R)$ is a ...
- 19
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 ...
- 10.5k
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 ...
- 24.2k
1
vote
0
answers
72
views
Factorizable partition polynomials
Let $p(n)$ denote the number of (unrestricted) integer partition of $n$ which has the product generating function
$$\sum_{n\geq0}p(n)\,x^n=\prod_{j\geq1}\frac1{1-x^j}.$$
On the other hand, for the ...
- 43.2k
6
votes
1
answer
260
views
Vanishing linear combinations of minors
Let $V$ be the set of $k$ by $n$ matrices ($k<n$) with entries in $\mathbb{C}$, and let $\mathbb{C}[V]$ denote the set of polynomial functions on $V$. For any subset $I \subseteq [n] = \{1,2,\dotsc,...
- 185
6
votes
1
answer
422
views
Constant term extraction using combinatorial Nullstellensatz
$\DeclareMathOperator\CT{CT}$Given a Laurent polynomial $g$, let $\CT(g)$ denote its constant term.
Consider the specific Laurent polynomial
$$f_n(x_1,\dots,x_r)=\left(1+\prod_{j=1}^r(1+x_j)+\prod_{j=...
- 43.2k
6
votes
1
answer
242
views
$(q,t)$-Fibonacci polynomials: area & bounce statistics
This is related to my earlier (unanswered) MO post. Preserve notations from there.
We take advantage of the one-to-one correspondence between the $(s,s+1)$-core partitions and $(s,s+1)$-Dyck paths. ...
- 43.2k
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 ...
- 43.2k
2
votes
1
answer
169
views
Maximizing and minimizing the number of positive product $k$-subsets of an $n$-set
The question is simple but require some definitions. I came across resolving a certain inequality. If there is no closed answer is there a related sequence describing the situation?
Let
$$S\ :=\ \{X=...
- 785
4
votes
0
answers
115
views
Integral face ring of the triangulation of a sphere
The integral face ring of a (finite) simplicial complex $K$ on $m$ vertices is the quotient ring
$$\mathbb{Z}[K]=\mathbb{Z}[v_1,...,v_m]/\mathcal{I}_K$$
where $\mathcal{I}_K$ is the ideal generated by ...
- 208
2
votes
1
answer
162
views
Maximally independent polynomial families with row symmetry
Introduction:
In the 1-dimensional case, given $m$-variables
$$\mathbf{x} = (x_1,x_2,\dots,x_m)^T,$$
the elementary symmetric polynomials $(e_k(\mathbf{x}))_{k=1}^m$ give a "symmetric basis",...
- 473
5
votes
0
answers
132
views
Asymptotics of Hilbert series for locally finite free graded-commutative algebras?
Let $A^\bullet$ be an $\mathbb N$-graded algebra over a field $k$, and let $d_A(n) = \dim A^n$ be the dimension of the $n$-th graded piece, so that $P^A(t) = \sum_n d_A(n) t^n$ is the Hilbert-Poincare ...
- 63.9k
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 ...
- 85.6k
3
votes
0
answers
107
views
Do Frobenius algebras have a lattice basis and what lattices do appear?
Let $K$ be for simplicity be the field with two or three elements (or alternatively we could restrict to ideals containing only the field elements $-1$ or $1$ as coefficients).
A (commutative) ...
- 26.5k
26
votes
1
answer
2k
views
Is the derivative of $x^n + x^{n-1} + \dots + x + 1$ irreducible?
I am working on some combinatorics problems. One of my problems leads to the following question:
Is it true that the derivative of $x^n + x^{n-1} + \dots + x + 1,$ namely $nx^{n-1} + (n-1)x^{n-2} + \...
- 431
2
votes
0
answers
130
views
Sources for describing the characteristic polynomial of a nonintegral hyperplane arrangement in terms of point counting?
I have a family of hyperplane arrangements, and I'd like to describe their characteristic polynomials. When the hyperplanes are defined over the integers, the easiest way for me to do this is to use ...
- 453
8
votes
0
answers
313
views
Cohomology of the complement of the resonance hyperplane arrangement
Here was a question about resonance arrangement. It is defined as follows.
Let $x_i$ be the standard coordinates on $\mathbb{C}^n$. For each nonempty $I\subseteq\{1,\dots,n\}$, define the hyperplane $...
- 743
7
votes
0
answers
344
views
Irreducibility of a palindromic polynomial
I have strong reasons to believe that the palindromic polynomial $p_n(x)$ defined by
$$p_n(x) = x^{2n}+2x^{2n-1}+3x^{2n-2}+ \cdots+ nx^{n+1}+(n+3)x^{n}+nx^{n-1}+\cdots+2x+1$$
is irreducible in $\...
1
vote
1
answer
243
views
Combinatorics and geometry underlying a refined Pascal matrix/Newton identities
The partition polynomials of OEIS A263633 give the coefficients of the power series/o.g.f of the multiplicative inverse (reciprocal) of a power series/o.g.f. and so give the Newton identities for ...
- 10.5k
5
votes
1
answer
278
views
Set-theoretic generation by circuit polynomials
Let $P$ be a prime ideal in $S=\mathbb{C}[x_1,\ldots , x_n],$ and write $[n] = \{ 1, \ldots , n \}.$ The algebraic matroid of $P$ can be defined according to circuit axioms as follows: $C\subset [n]$ ...
- 396
3
votes
0
answers
157
views
F-vectors of simplicial complex and f-vectors of non-faces of simplicial complex
Is there any result which gives us a relation between f-vector of simplicial complex and f-vector of nonfaces of a simplicial complex?
Thank you
- 51
5
votes
1
answer
177
views
A $q$-analogue of a characterization of polynomials by binomial coefficients
Considering the binomial coefficient $\binom{x}{m}$ as a polynomial in $x$, the span of $\binom{x}{0}, \binom{x}{1}, \ldots, \binom{x}{d}$ is exactly the polynomials of degree $\le d$. A closely ...
- 11.2k
5
votes
1
answer
448
views
A question about the Buchsbaum-Eisenbud-Horrocks Conjecture
It's known that Mark E. Walker proved the "weaker" version of Buchsbaum-Eisenbud-Horrocks' Conjecture (BEH). Although the claim was stated to hold in arbitrary field $k$, Walker's proof does not seem ...
- 43.2k