The tag has no wiki summary.

learn more… | top users | synonyms

5
votes
1answer
75 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
0answers
64 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
0answers
55 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
2answers
919 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 ...
0
votes
0answers
139 views

Problem regarding orthogonal vectors

Suppose $C_{1},C_{2},...,C_{n}$ are $0-1$ vectors of length $m$. Given $C_{i} \in \{0,1\}^{m}$ with $C_{i}=x_{i1}x_{i2}...x_{im}$ we say $C_{i}'=x_{i1}'x_{i2}'...x_{im}'$ is a subvector of $C_{i}'$ if ...
2
votes
0answers
114 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
0answers
65 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
0answers
231 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
2answers
358 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
1answer
278 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
1answer
215 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
0answers
41 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
1answer
672 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
0answers
87 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 ...
3
votes
0answers
105 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
6answers
648 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
0answers
172 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?
11
votes
1answer
307 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
0answers
76 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) = ...
7
votes
0answers
334 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
1answer
211 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
3answers
207 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 ...
2
votes
0answers
64 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
1answer
240 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 ...
2
votes
2answers
270 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
2answers
275 views

Sandpile group corresponding to Abelian group

How we can prove each finite Abelian group is the sandpile group for some graph ?
0
votes
1answer
269 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 ...
13
votes
2answers
831 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
3answers
524 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 ...
16
votes
1answer
591 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
2answers
346 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
1answer
256 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
1answer
291 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
2answers
292 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
2answers
677 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
1answer
193 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
3answers
589 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
1answer
466 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
1answer
211 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
1answer
204 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 ...
2
votes
2answers
276 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
1answer
463 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
1answer
753 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
0answers
336 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 ...
8
votes
2answers
635 views

Ubiquitous Zimin words

Let $w$ be a word in letters $x_1,...,x_n$. A value of $w$ is any word of the form $w(u_1,...,u_n)$ where $u_1,...,u_n$ are words. For example, $abaaba$ is a value of $x^2$. A word $u$ is called ...
8
votes
1answer
682 views

Connected graded involutive bialgebras (Hopf algebras) sought (for Dynkin idempotent checking)

Again, there is a general and a concrete question: Concrete question. Let $H$ be a connected graded bialgebra over a commutative ring $k$ with unity (where graded means $\mathbb N$-graded). Then, it ...
3
votes
6answers
249 views

Do stunted exponential series give projections of a cocommutative bialgebra on its coradical filtration?

Let $k$ be a field of characteristic $0$. Let $H$ be a cocommutative connected filtered bialgebra over $k$. ("Connected" means that the counit, restricted to the $0$-th part of the filtration, is an ...
2
votes
1answer
294 views

Rational Binomial Identity

Can anyone give a reference, a proof, or a reference that explains why Maple can evaluate this identity mathematically correctly: ...
6
votes
1answer
238 views

Simplices in convex polytopes

This question is a direct generalization of: Counting the (additive) decompositions of a quadratic, symmetric, empty-diagonal and constant-line matrix into permutation matrices Given a convex ...
20
votes
2answers
2k views

Regular, Gorenstein and Cohen-Macaulay

All the statements below are considered over local rings, so by regular, I mean a regular local ring and so on; It is well-known that every regular ring is Gorenstein and every Gorenstein ring is ...