Questions tagged [algebraic-combinatorics]

The tag has no usage guidance.

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

Identities involving Littlewood–Richardson coefficients?

I am not aware of that many identities that involve several Littlewood–Richardson coefficients. One recent identity, is a generating function as sum of squares of LR-coefficients, due to Harris and ...
14 votes
1 answer
432 views

What is the centralizer of a Young subgroup of $S_n$?

In their celebrated paper "A new approach to the representation theory of the symmetric group. II", Okounkov and Vershik prove that $Z(n-1,1)$, the centralizer of $\mathbb{C}[S_{n-1}]$ in $\...
7 votes
0 answers
86 views

Conceptual explanation for the gap in the spectrum of biregular trees

Ramanujan graphs are defined as $(q+1)$-regular graphs for which all nontrivial eigenvalues of the adjacency operator are contained in the interval $$[-2\sqrt{q}, 2\sqrt{q}].$$ The reason for this ...
5 votes
0 answers
104 views

Action of $\widehat{\mathfrak{sl}_2}$ on symmetric functions with $\mathbb{Z}_{(2)}$ coefficients

It is known that there is a representation of the affine Lie algebra $\widehat{\mathfrak{sl}_q}$ (over $\mathbb{Z}$) on the algebra of symmetric functions, where the action of the Chevalley generators ...
8 votes
0 answers
277 views

Why are these Littlewood-Richardson coefficients congruent to 1 mod 8?

Let $n\in{\mathbb N}$ and write $n=q_1+q_2+\dots+q_t$, where $q_1>q_2>\dots>q_t$ are powers of $2$. Let $\lambda_n$ be the partition with Frobenius symbol $(q_1-1,q_2-1,\dots,q_t-1;q_t,q_{t-1}...
  • 1,000
9 votes
0 answers
222 views

Hives for other root systems? [duplicate]

Littlewood-Richardson coefficients $c^\lambda_{\mu\nu}$ have numerous combinatorial interpretations, including the hive model by Knutson and Tao, see here. For other root systems, there are also ...
  • 15.8k
8 votes
0 answers
189 views

Scalar products on symmetric functions behaving like the Macdonald scalar product

The Macdonald symmetric functions (or Macdonald polynomials) $P_\lambda(x)$ are orthogonal with respect to the Macdonald scalar product $$ \langle p_\lambda,p_\mu\rangle = \delta_{\lambda\mu}z_\...
0 votes
0 answers
77 views

Addition theorem for Schur function in multivariable

Working with the following problem Expansion in Schur function of negative binomial exponent I need to find the expansion of $$ s_{\lambda}(x_1 + y , x_2 +y, \ldots, x_n +y)$$ in terms of schur ...
  • 643
3 votes
0 answers
124 views

Expansion in Schur function of negative binomial exponent

I want to know if there exist a known expansion or can be derived of the polynomial $$ \prod_{i=1}^{m}\prod_{j= 1}^{n}(1-z(x_i + y_i))^{-w} \tag{*}$$ in terms of Schur function. That is asking for (*) ...
  • 643
5 votes
1 answer
114 views

PBW basis for the quantized enveloping Lie algebra of $\mathfrak{g}_2$

I would like to know if you have any reference where I can find the canonical PBW basis for $U_q(\mathfrak{g}_2),$ computed using the action of the braid group as defined by Luzstig. Alternatively I ...
3 votes
0 answers
64 views

Subrings of the ring of symmetric functions

While experimenting with symmetric functions, I noticed the following equality of subrings of the ring of symmetric functions: $$\mathbb{Z}[(n-1)!\cdot p_n \ |\ n \ge 1] = \mathbb{Z}[n!\cdot h_n \ |\ ...
2 votes
3 answers
361 views

Question for averaging the overall quantities by averaging a part

There is a question: If integers $a$ and $b$ satisfy the following properties: for any $a$ real numbers, we can do an operation to average $b$ of them to the same quantities, and we can do a finite ...
  • 511
15 votes
2 answers
527 views

Do power sums determine the variables?

In my analysis research, I came across the following problem. Given $n$ positive real numbers $x_1,\dots,x_n$, consider the $n$-many power sums $$ p_3 = x_1^3 + x_2^3 + \dots + x_n^3 , $$ $$ p_5 = ...
5 votes
1 answer
626 views

Expressing symmetric function in power-sum basis

I am trying to prove the following identity \begin{equation} \prod_{i=1}^{m}(1-x_{i}z)^{-u}\prod_{j=1}^{n}(1-y_{i}z)^{-v} \prod_{i=1}^{m}\prod_{j=1}^{n}(1-(x_i +y_j)z)^{-w}\\ = \sum_{\lambda, \mu}c_{\...
  • 643
0 votes
0 answers
57 views

Partition functions of symmetric rational with bounded poles

Lets define $B_{g,n}(d_1 , d_2 ,\ldots, d_n)$ family of numbers where $g, n , d_i$ are integers such $g\geq 0$, $n \geq 1 $, and $d_i \geq 1$. Let's consider the partition function of the numbers $$ ...
  • 643
0 votes
0 answers
66 views

Algebraic ode of exponential generating series

Let $G(z)$ be a rational function. So if we have a series $$S(x):=\sum_{n}a_n x^n $$ where $$ a_n = \prod_{i=1}^{n}G((i-1)h) $$ We can conclude that the series satisfies a Linear differential ...
  • 643
4 votes
2 answers
218 views

A special class of weighted Motzkin paths

Consider Motzkin paths with the following weight: All up-steps and the horizontal steps on height $0$ have weight $1$, all down-steps have weight $t$ and the horizontal steps on even heights have ...
2 votes
0 answers
93 views

Geometric or combinatorial interpretations of the (weak) Bruhat order?

$\DeclareMathOperator\Inv{Inv}$The weak Bruhat order on the symmetric group has a straightforward combinatorial interpretation: Consider a set of labelled balls $1,2,\dotsc,n$. Then for two ...
10 votes
1 answer
203 views

$2$-adic valuation of Schur $P$-functions in the power-sum basis

For a partition $\lambda$, let $P_\lambda$ be the Schur $P$-functions (case $t=-1$ of Hall-Littlewood symmetric functions) and let $p_\lambda=p_{\lambda_1}p_{\lambda_1}\cdots p_{\lambda_k}$ be the ...
15 votes
2 answers
617 views

The finite groups with a zero entry in each column of its character table (except the first one)

$\DeclareMathOperator\PSL{PSL}\DeclareMathOperator\Aut{Aut}$Consider the class of finite groups $G$ having a zero entry in each column of its character table (except the first one), i.e. for all $g \...
0 votes
1 answer
203 views

What is a toric lattice? [closed]

What is a toric lattice? and how can I construct one in Macaulay2 and compute its basis? is there any alternative method to make one? Since I went through the whole ...
  • 13
6 votes
0 answers
98 views

Littelmann Path model and RSK e and f operators

The Littelmann path model defines $e_i$ and $f_i$ operators which correspond in type A to the $e_i$ and $f_i$ operators on semistandard Young tableaux (i.e. since they both are different ways of ...
  • 161
8 votes
1 answer
229 views

Branching rule for Specht modules over Kazhdan-Lusztig basis

Suppose $\lambda\vdash n$ is a partition and $S^\lambda$ is the associated irreducible representation of $S_n$. As we know from the branching rule, we have an isomorphism of $S_{n-1}$ modules $$S^\...
  • 221
5 votes
1 answer
255 views

Can Matsumoto's theorem for the symmetric group be proved using a monovariant?

This is a question that can be asked for any Coxeter group, but for the sake of simplicity I will restrict myself to symmetric groups. Recall the main definitions: Let $n$ be a nonnegative integer. ...
0 votes
0 answers
104 views

How to classify rings by combinatorial structures?

There are many ways to encode information about algebraic structures such as groups, rings, etc... in combinatorial form. For example the Cayley graph of a group with a subset of generators, or the ...
6 votes
2 answers
423 views

Chip-firing clocks

Let $G$ be some outdegree-regular directed graph with $n$ vertices and let $H$ be the Laplacian of $G$, so that the rows of $H$ correspond to chip-firing moves. I’m interested in linear functions $f$ ...
  • 17.6k
1 vote
0 answers
51 views

Making the entries of a matrix positive

I am considering two slightly more relaxed version of the question asked here: https://math.stackexchange.com/questions/119034/making-the-entries-of-a-matrix-positive The two questions are: Question 1:...
15 votes
1 answer
623 views

a Vandermonde-type of determinants summed over permutations

Let $S_n$ be the symmetric group. Consider $$D:=\sum_{\sigma\in S_n} \text{sgn}(\sigma)\cdot \det\begin{pmatrix}1 & a_{\sigma(1)}-0 & (a_{\sigma(1)}-0)^2 & \cdots & (a_{\sigma(1)}-0)^{...
  • 151
9 votes
0 answers
449 views

Two majs for standard Young tableaux?

Let $\lambda$ be a partition of $n$, and consider its set of standard Young tableaux (SYTs): bijective fillings of the Young diagram of $\lambda$, written in English notation, with the numbers $1$ ...
  • 19.6k
4 votes
1 answer
217 views

proof of result from Ian Macdonald's paper "A New Class of Symmetric Functions"

I'm currently working my way through Ian MacDonald's somewhat seminal 1988 paper entitled "A New Class of Symmetric Functions" in Seminaire Lotharingien B20a, pp. 131–171 (EuDML). I'm fine ...
3 votes
0 answers
163 views

Does every finite lattice embed into a finite Eulerian lattice?

A finite Boolean lattice is a lattice isomorphic to the subset lattice of a finite set. Every Boolean lattice is Eulerian, namely, a graded lattice $L$ such that $\mu(a,b) = (-1)^{|b|-|a|}$ for all $a,...
5 votes
0 answers
74 views

Form on symmetric functions and their q,t- analogues

[Notations are as in Macdonald's Symmetric Functions and Hall Polynomials] The space of symmetric functions $\Lambda_{\mathbb{Q}}$ has a bilinear form defined by $ (p_\lambda, p_\mu)= z_\lambda \...
  • 528
2 votes
0 answers
67 views

Double Schur function expansion

In literature, I have seen the weighted Hurwitz number $N_{g,n}(d_1 , d_2 \ldots , d_n)$ which are symmetric number and they can be written as double Schur function expansion. \begin{align} \label{eq:...
  • 643
9 votes
2 answers
463 views

Characterization of the family of simple groups PSL(2,q) by tensor multiplicity

Let $G$ be a finite group and $(\chi_i)$ its irreducible characters. Then $\forall i,j,k, \exists!n_{i,j}^k \in \mathbb{N}_{\ge 0}$ such that $$\chi_i \chi_j = \sum_k n_{i,j}^k \chi_k.$$ Let the ...
2 votes
1 answer
177 views

Generalised operad structures

We can naively consider an operad as a collection $\{P(n)\}_{n\geq 0}$ of vector spaces $P(n)$ consisting of "functions" with $n$ inputs and one output, equipped with a number of ...
  • 348
6 votes
0 answers
176 views

Word/Loop in $L(\Lambda)$

Let $\mathfrak{g}$ be a symmetrizable Kac-Moody algebra, with Chevalley generators $e_i,f_i$ ($i=1,...,n$). Let $L(\Lambda)$ denote the irreducible module with highest weight $\Lambda$. Let $v$ denote ...
  • 528
3 votes
3 answers
368 views

Given a positive integer $n$, some straight lines and lattice points such... Prove that the number of the lines is at least $n(n+3)$

I was trying to get an answer on MathSE long ago and now I got it. Given a positive integer $n$ and some straight lines in the plane such that none of the lines passes through $(0,0)$, and such that ...
  • 237
6 votes
1 answer
258 views

Is this Laurent phenomenon explained by invariance/periodicity?

In Chapter 4 (page 23, subsection "Somos sequence update") of his Tracking the Automatic Ant, David Gale discusses three families of recursively defined sequences of numbers, all due to Dana ...
3 votes
0 answers
104 views

Polynomiality of the inverse of equally weighted Varchenko matrices attached to hyperplane arrangements

Let $d\in \mathbb{Z}_{\ge 1}$, let $\sigma = (H_i)_{i\in \mathcal{I}}$ be a finite hyperplane arrangement in $\mathbb{R}^d$, where $H_i\subset \mathbb{R}^d$ is a hyperplane for $i\in \mathcal{I}$ (the ...
9 votes
1 answer
222 views

Is there a good algebraic model of random n-hypergraphs?

Suppose $F$ is a finite field and $-1$ is a square in $F$. Let $E$ be the binary relation on $F$ where $(a,b) \in E$ iff $a - b$ is a square. Then $(F,E)$ is called a Paley graph. Paley graphs are ...
3 votes
0 answers
106 views

Can equality of chromatic symmetric functions of two trees be checked in polynomial time?

Stanley defined chromatic symmetric functions (CSF) in 1995 (Advances in Math) where he conjectured that trees can be distinguished by their CSF. However, tree isomorphism is decidable in P (...
14 votes
2 answers
797 views

Do you know an elegant proof for this expression for a Schur function?

I know that the identity $$ s_\mu = \sum_{\mu-\lambda \text{ is a horizontal strip}} \;\sum_{\alpha\vdash|\lambda|} \frac{\chi^\lambda_\alpha}{z_\alpha} \prod_i(p_i-1)^{a_i} $$ holds. Here $\alpha=1^{...
7 votes
1 answer
684 views

Number of conjugacy classes of finite reductive groups

Let $G$ be a connected reductive group over $\mathbb{Z}$. Let $c_{G(\mathbb{F}_q)}$ be the number of conjugacy classes of $G(\mathbb{F}_q)$. Question: Is it true that $c_{G(\mathbb{F}_q)}$ is a quasi-...
  • 2,171
14 votes
1 answer
294 views

Another characterization of matroids

Has anyone seen the following characterization of matroids? Let $\Delta$ be a simplicial complex on finite ground set $E$. Then $\Delta$ is a matroid complex if and only if, for every $X\subseteq E$ ...
4 votes
2 answers
252 views

Combinatorial representation of function

Let $f(x, y, z)$ is the number of distinct ways of representing $x$ as a sum of at most $y$ positive integers that are all smaller or equal to $z$. Moreover, If $yz < x$, then the function gives 0....
  • 73
4 votes
0 answers
109 views

A combinatorial proof of an identity of partitions (Macdonald I.5)

This is a statement from Symmetric Functions and Hall Polynomials by Macdonald: $\sum_{x\in \lambda} (h(x)^2-c(x)^2)=|\lambda|^2$ where $\lambda$ denotes a partition or a Young diagram, and for each ...
  • 528
10 votes
1 answer
369 views

Generalization of symmetric functions

A $n$-variable function $f$ is a symmetric function if $$f(x_1,x_2, \ldots, x_n) = f(x_{\sigma(1)}, x_{\sigma(2)}, \ldots, x_{\sigma(n)})$$ for every permutation $\sigma \in S_n$. In particular, if $f$...
  • 245
13 votes
0 answers
169 views

Relationship between crystal root operators and usual $e_i, f_i$?

Suppose I am working in a symmetrizable Kac–Moody Lie algebra $\mathfrak{g}$. Let $e_1,\dotsc,e_n,f_1,\dotsc,f_n$ denote the usual Chevalley generators of $\mathfrak{g}$. Let $V$ be a highest weight ...
  • 528
2 votes
0 answers
69 views

Bijections between binary sequences and primitive elements in a finite field [duplicate]

Let $n>1$ be a natural number. We call a binary sequence $(b_1,\ldots, b_n)\in \{0,1\}^n$ $rigid$ if it is not a proper power of a sequence of shorter length. So for example $(0,1,0,1) = (0,1)^2$ ...
  • 4,819
4 votes
1 answer
139 views

Digraphs with unique walk of length $k$ between any two vertices

Let $G$ be a digraph such that there is an unique directed walk of length $k$ between any two vertices. Equivalently, if $A$ is the adjacency matrix of $G$, then $A^k$ is the matrix with all entries $...

1
2 3 4 5 6