The algebraic-combinatorics tag has no wiki summary.

**2**

votes

**0**answers

177 views

### An (open?) problem about a sequence of nested principal sub-matrices and their determinants

Problem: Let $A$ be a $n \times n$ integer matrix, $\det(A) = \pm 1$. Under which conditions there exist a nested sequence of principal submatrices of size $n$ such that they all have determinant $\pm ...

**1**

vote

**1**answer

113 views

### Generating function for $t$-residues of partitions using Heisenberg + $\hat{sl_t}$ representation theory

Recall that for $t\geq2$, a partition is a $t$-core if none of its hooklengths is divisible by $t$. It is known that the $t$-cores are parametrized by ${\mathbb Z}^{t-1}$. More precisely, let ...

**3**

votes

**1**answer

92 views

### A vector version of the Segre embedding: what is the kernel of the ring map?

TL;DR version.
Given a commutative ring $\mathbf{k}$ and $n+m$ "generic" vectors $\mathbf{x}_1, \mathbf{x}_2, \ldots, \mathbf{x}_n, \mathbf{y}_1, \mathbf{y}_2, \ldots, \mathbf{y}_m$ in $\mathbf{k}^k$ ...

**18**

votes

**0**answers

312 views

### Nekrasov-Okounkov hook length formula

I am now reading the paper An explicit expansion formula for the powers of the Euler Product in terms of partition hook lengths by Guo-Niu Han. The author rediscovered what he calls Nekrasov-Okounkov ...

**16**

votes

**0**answers

234 views

### Deforming a basis of a polynomial ring

The ring $Symm$ of symmetric functions in infinitely many variables is well-known to be a polynomial ring in the elementary symmetric functions, and has a $\mathbb Z$-basis of Schur functions ...

**3**

votes

**0**answers

84 views

### Chern character of Schubert structure sheaf

Let $X_\lambda \subset Gr = Gr(k,n)$ be a Schubert variety in the Grassmannian and $\mathrm{ch} : K_0(Gr) \otimes \mathbb{Q} \to A^\bullet(Gr) \otimes \mathbb{Q}$ the Chern character isomorphism.
Is ...

**4**

votes

**1**answer

160 views

### Structure of the stabilizer of a vertex-neighborhood of a vertex-transitive graph

Given a simple, undirected graph and a vertex $v$ of the graph, let $L_v$ denote the set of automorphisms of the graph that fixes the vertex $v$ and each of its neighbors. When the graph is ...

**5**

votes

**1**answer

111 views

### Transitivity for Schutzenberger involutions on standard Young tableaux

Let $\lambda$ be a partition of $ n$. Let $ SYT(\lambda) $ denote the set of standard Young tableaux of shape $ \lambda $.
For $ i = 1, \dots, n $, let me define permutations $ S_i $ of the set $ ...

**0**

votes

**0**answers

67 views

### Number of distinct integers in average sense

Fix random $A,B,C,D$ positive integers of size $\theta(N)$.
As $w,x,y,z$ vary over numbers of size $\theta(M)$ (where $N\sim M^t$ for fixed $t$, say $100$), it is clear $Aw+Bx$ and $Ay+Bz$ each ...

**1**

vote

**0**answers

74 views

### combinatorial ergodicity and promotion

According to J. Propp, T. Roby, and (I believe) others, a cyclic action on a finite set $S$ given by a bijection $\zeta: S \longrightarrow S$ is said to be ${\it ergodic}$ with respect to a statistic ...

**27**

votes

**2**answers

999 views

### “Nyldon words”: understanding a class of words factorizing the free monoid increasingly

BACKGROUND.
Let me first introduce some classical definitions, which appear, e.g., in §5 of Lothaire's Combinatorics on Words, in §5.1 of Reutenauer's Free Lie algebras, and in §6.1 of Victor ...

**3**

votes

**0**answers

128 views

### Anti-arithmetic product of symmetric functions: (why) is it integral?

This is an analogue of MathOverflow question #138148. Indeed it is so analogous that I wrote the following by copypasting said question and making the necessary changes.
For every commutative ring ...

**3**

votes

**0**answers

72 views

### Dimension of the sum of images of transpose

$\newcommand{\rank}{\operatorname{rank}}\newcommand{\im}{\operatorname{im}}$
Given $A,B\in M_{n\times n}(k)$, define $\rank(A,B):=\dim(\im A+\im B)$. I'm looking for results regarding relationships ...

**8**

votes

**0**answers

251 views

### An angle-doubling trick of Kirillov and Berenstein [closed]

Kirillov and Berenstein, in their article "Groups generated by involutions, Gelfand-Tsetlin patterns and combinatorics of Young tableaux" (available at math.uoregon.edu/~arkadiy/bk1.pdf), present a ...

**9**

votes

**2**answers

368 views

### Is there a hyperplane avoiding two independent sets?

Let $V$ be a vector space over a field with $5$ elements, $A,B \subseteq V$ independent subsets. Must there be a subspace of $V$ of codimension 1 disjoint from $A \cup B$?

**3**

votes

**1**answer

301 views

### An identity for elementary symmetric functions

Trying to understand a result in a representation theoretical paper, I realized that it implies the following elementary identity for symmetric functions. My question is whether this identity is true, ...

**7**

votes

**1**answer

231 views

### Über theorem on unavoidable patterns?

Let $A$ be an alphabet of $k$ symbols,
and $p$ a pattern.
An example of a pattern is $p=XX$, where $X$ is any finite
string of symbols from $A^+$.
Avoiding $p$ is avoiding any subword repeated twice ...

**1**

vote

**0**answers

45 views

### $B_k[1]$ sets with smallest possible $m = max B_k[1]$ for given $k$ and $n = |B_k[1]|$ elements

Sidon sets are sets $A \subset \mathbb{N}$ such that for all $a_j,b_j \in A$ holds
$$a_1+a_2=b_1+b_2 \iff \{a_1,a_2\}=\{b_1,b_2\}$$
Thus if you know the sum of two elements, you know which elements ...

**10**

votes

**1**answer

704 views

### Two to the power of a triangular number: bijections

The numbers $2^{n(n+1)/2}$ come up in various enumerative contexts. In addition to the trivial example (bit-strings of length $n(n+1)/2$) and the old example of domino tilings of Aztec diamonds ...

**3**

votes

**0**answers

100 views

### Counting perfect matchings with integrals

Has anyone used the Joni-Rota-Godsil integral formula (see details below) to count perfect matchings of square-grid graphs, Aztec diamond graphs, hexagon-honeycomb graphs, etc.? (Or even just to ...

**5**

votes

**2**answers

214 views

### Triangulations of special polyhedra

Let $A_1,A_2,A_3 \in \mathbb{N}^3$ be three points in space all lying in some plane $x+y+z=d$ where $d$ is a positive integer. If $\{e_1,e_2,e_3\}$ is the standard basis in $\mathbb{R}^3$, we can ...

**18**

votes

**6**answers

693 views

### Why is the right permutohedron order (aka weak order) on $S_n$ a lattice?

This is one of those things I never expected to be hard until I tried to prove it. Why is the right permutohedron order (a.k.a. weak Bruhat order, a.k.a. weak order -- not to be confused with the ...

**4**

votes

**0**answers

199 views

### Littlewood-Richardson rule for Schubert polynomials

What is the current state of the problem of finding a combinatorial rule for multiplying two Schubert polynomials? Is the problem still open?

**13**

votes

**1**answer

407 views

### Why are the power symmetric functions sums of hook Schur functions only?

One interesting fact in symmetric function theory is that the power symmetric function $p_n$ can be written as an alternating sum of hook Schur functions $s_{\lambda}$:
$$
p_n = \sum_{k+\ell = n} ...

**2**

votes

**0**answers

80 views

### Lagrangean equations for the generating function of quadrangulations

Let $M(z)$ be the generating function of edge-rooted connected quadrangulations, with $z$ marking the number of edges. I derived the following Lagrangean equations for $M(z)$:
$$M(z) = ...

**8**

votes

**0**answers

390 views

### On the number of polynomials that divide $x^{q-1}-1$ in some subspaces of $\mathbb F_q[x]$

Let $\mathbb F_q$ be a finite field (where $q$ is in general a power of a prime), and let $e, k$ be positive integers with $k \leq e < q-1$. Let $f_0(x), \ldots,
f_k(x) \in \mathbb F_q[x]$ be ...

**2**

votes

**1**answer

236 views

### Question about a proof in Graham and Lehrer's “Cellular algebras”

I'm sorry if this question is too basic for MO. I'm reading a paper by Graham and Lehrer "Cellular algebras" and have trouble understanding one step in a proof of a crucial theorem. I suppose that the ...

**1**

vote

**3**answers

221 views

### Constructions of $2-(v,3,3)$-designs

I am looking for ways to construct an infinite family of designs with parameters $2-(v,3,3)$ and apart from some doubling-type recursive constructions (such as in this paper) I haven't found anything ...

**1**

vote

**0**answers

74 views

### Rank generating functions on a graded poset and a linear extension of it

Let $A$ be a possibly infinite ensemble and let $\leq$ be a partial order between elements of $A$. We denote $P_{\leq}=(A,\leq)$ the corresponding poset. Furthermore, we suppose that $P$ is graded, ...

**11**

votes

**1**answer

246 views

### A Product Related to Unrestricted Partitions

Start with the product for unrestricted partitions:
(1+x+x$^2$+...)(1+x$^2$+x$^4$+...)(1+x$^3$+x$^6$+...)...
Now replace some of the plus signs with minus signs and expand the product into a ...

**6**

votes

**3**answers

396 views

### Computing the lexicographic indices of integer partition

If we order all the partitions of a integer in a lexicographic order, how can we compute the position of each partition in this order without having to explicitly list all other partitions that ...

**4**

votes

**2**answers

292 views

### Sandpile group corresponding to Abelian group

How we can prove each finite Abelian group is the sandpile group for some graph ?

**0**

votes

**1**answer

270 views

### Missing formula! [closed]

I am doing a project on group association schemes, in particular looking at the structure constant
$$p_{KL}^M = \#\{(x, y, xy) : x \in K, y\in L, xy \in M\}$$
where $K, L$ and $M$ are conjugacy ...

**16**

votes

**2**answers

973 views

### Has Reifegerste's Theorem on RSK and Knuth relations received a slick proof by now?

For the notations I am using, I refer to the Appendix at the end of this post.
Here is what, for the sake of this post, I consider to be Reifegerste's theorem:
Theorem 1. Let $n\in\mathbb N$ and ...

**8**

votes

**3**answers

550 views

### Arithmetic product of symmetric functions: why is it integral?

For every commutative ring $A$, let $\mathbf{Symm}_A$ be the ring of symmetric functions over $A$. Let $\mathbf{Symm}$ without a subscript denote $\mathbf{Symm}_{\mathbb{Z}}$.
We can define a ...

**17**

votes

**1**answer

720 views

### Conjectural identities for Young symmetrizers and Young-Jucys-Murphy elements

The following questions I have found in my own notes from about 3 years ago. Unfortunately, I lost much of the context; I believe I made these conjectures reading Okounkov-Vershik, arXiv:0503040v3, ...

**0**

votes

**2**answers

367 views

### Morse matching with 0-cells and (n-1)-cells

Suppose one has a Morse matching (acyclic matching) of a poset $P$ of rank $n$ in which the only unmatched cells are 0-cells and $(n-1)$-cells, the same number $k$ of each one.
If $P$ is connected ...

**10**

votes

**1**answer

269 views

### Reference request: Grothendieck groups of Hecke algebras at root of unity and symmetric functions

Let $\zeta$ be an $\ell^{\text{th}}$ root of unity, and consider $H_n(\zeta)$, the (finite) Hecke algebra of type A. One can consider a dual pair of Hopf algebras arising from this data, denoted ...

**8**

votes

**1**answer

323 views

### Plethysm of $\mathrm{QSym}$ into $\mathrm{QSym}$: can it be defined?

I will denote by $\Lambda$ the ring of symmetric functions, and by $\mathrm{QSym}$ the ring of quasisymmetric functions (both in infinitely many variables $x_1$, $x_2$, $x_3$, ..., both over $\mathbb ...

**9**

votes

**2**answers

399 views

### How exactly does Schützenberger promotion relate to Striker-Williams promotion?

Schützenberger promotion, studied (for example) in Richard Stanley, Promotion and Evacuation, 2009, is a permutation of the set of all linear extensions of a finite poset. Since one can identify the ...

**6**

votes

**2**answers

774 views

### What are the most important open problems in algebraic combinatorics? [closed]

I have seen the paper of Stanley http://math.mit.edu/~rstan/pubs/pubfiles/116.pdf
but it is quite old and many of the problems are solved. I would like to know the two or three biggest open problems ...

**3**

votes

**1**answer

205 views

### Semi-planar partition monoid/algebra

Here are some beginner questions on partition algebras...
I am trying to understand the monoid called $P_k$ in Tom Halverson, Arun Ram, Partition Algebras. For the sake of simplicity, let $k$ be a ...

**8**

votes

**3**answers

610 views

### bijection between number of partitions of 2n satisfying certain conditions with number of partitions of n

Suppose $\lambda = (\lambda_1,\lambda_2,.....,\lambda_k)$ is a partition of $2n$ where $n \in \mathbb N$ satisfying the following conditions:
(1) $\lambda_{k} = 1$.
(2) $\lambda_{i} - \lambda_{i+1} ...

**2**

votes

**1**answer

476 views

### Combinatorial Inequality

Consider a set of $2^n-1$ non negative integers $S= ${$ a_{i,j}|1\le i\le n; 1\le j\le 2^{i-1} $} such that:
\begin{align}{}
1.\ \ &a_{i,j}\le 2^{n+1-i} \\\\
2.\ \ &a_{i,j}\le a_{i-1,j} \\\\
...

**1**

vote

**1**answer

255 views

### principal specialization of projective Schur functions

Is there a nice/known formula for the (some) principal specialization of a projective (P or Q) Schur polynomial? That is, I am talking about a projective analogue of Stanley's hook content formula ...

**4**

votes

**1**answer

219 views

### Is the “renormalized third comultiplication” on $\mathbf{Symm}$ integral?

Background:
For any commutative ring $R$, let $\mathbf{Symm}_R$ be the ring of symmetric functions in countably many variables $x_1$, $x_2$, $x_3$, ... over $R$. ("Symmetric functions" really means ...

**3**

votes

**2**answers

289 views

### Alternating sum of binomial coefficients times logarithm

Trying to find a closed form expression for the following sum, or an asymptotic expression in terms of well known functions (like the Gamma function, for instance).
Let $m,n$ be positive integers ...

**10**

votes

**1**answer

492 views

### Analogues of the Knuth and Forgotten equivalences on permutations: have they been studied?

Consider a totally ordered alphabet $A$ of $n$ letters. Let $W$ be the set of all words over $A$ which have no two letters equal. Then, for example, we can define the Knuth equivalence on $W$ as the ...

**20**

votes

**1**answer

779 views

### A strange sum over bipartite graphs

While mucking around with some generating functions related to enumeration of regular bipartite graphs, I stumbled across the following cutie. I wonder if anyone has seen it before, and/or if anyone ...

**3**

votes

**0**answers

343 views

### Software for Combinatorial Algebra sought

I am looking for software which helps me do straightforward tasks in combinatorial algebra. Let me give an example of what I mean by a straightforward task:
I have two graded (generally ...