Questions tagged [algebraic-combinatorics]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
5 votes
0 answers
998 views

Internal tensor product of strict polynomial functors: is there a more explicit definition?

In the paper Henning Krause, Koszul, Ringel, and Serre duality for strict polynomial functors, arXiv:1203.0311v4, Krause defines something that he calls an "internal tensor product" on the category of ...
darij grinberg's user avatar
4 votes
0 answers
838 views

Categorifying the Cauchy kernel as a filtration of $\operatorname*{Sym}\left( F\otimes G\right) $ over any commutative ring

Question 1 (short version). Let $R$ be a commutative ring with unity. Let $F$ and $G$ be two $R$-modules. Let $n\in\mathbb{N}$. Is it true that the $n$-th symmetric power $\operatorname*{Sym}\...
darij grinberg's user avatar
1 vote
0 answers
109 views

Hook-content polynomial 2

Recently I have proven the following identity \begin{align} \sum_{\lambda\in \text{different hook of size d}} \frac{1}{d!} (-1)^{ht(\lambda)-1} \, \dim \lambda \, \prod_{\Box \in \lambda} \frac{1}{1-...
GGT's user avatar
  • 685
3 votes
0 answers
206 views

Hook-content polynomial

Let $\lambda$ denote the hook of size $d$ for a fixed integer $d>0$. For $d=2$ there are two kinds of hooks for $d=3$ there are 3 different kind and so on. $c(\Box)$ denote the content of the $\...
GGT's user avatar
  • 685
2 votes
1 answer
358 views

Counting cosets in the Quotient of Weyl groups

Let $\Sigma=G/P$ be a flag variety of type $A$,i.e. $G=SL_{n+1}$ and is a stabilizer of the partial flag $0 \subset V_{d_1}\subset \cdots\subset V_{d_r}\subset V_{n+1}$ of length $r$. Let $W$ be its ...
MIQ's user avatar
  • 83
5 votes
1 answer
253 views

Divisibility labeling on a boolean lattice and nonzero Euler totient

Let $B_n$ be the subset lattice of $\{1,2, \dots , n \}$, also called the boolean lattice of rank $n$. A labeling $f: B_n \to \mathbb{N}_{\ge 1}$ is called acceptable if $\forall a,b \in B_n$: ...
Sebastien Palcoux's user avatar
14 votes
1 answer
385 views

Reference request: Heyting algebra structure on Catalan numbers

I've noticed that for every natural number $n\in\mathbb{N}$, there is a finite Heyting algebra with cardinality $C(n)$, where $C(n)$ is the $n$th Catalan number, $$1,1,2,5,14,42,132,\ldots$$ I'm ...
David Spivak's user avatar
  • 8,549
3 votes
1 answer
347 views

Is Leray's theorem on commutative Hopf algebras proven in Milnor-Moore?

Question 1. Is a correct proof of Leray's theorem (the one that says that a connected graded Hopf algebra $H$ over a field of characteristic $0$ is isomorphic as an algebra to the symmetric ...
darij grinberg's user avatar
12 votes
1 answer
618 views

Determinants: periodic entries $0,1,2,3$

Consider an $n\times n$ matrix $M_n$ where the sequence $$\{1,2,3,\dots,n^2\} \mod 4=\{1,2,3,0,1,2,3,\dots\}$$ forms a clock-wise spiral, in that given order. For example, $$M_4=\begin{bmatrix} 1&...
T. Amdeberhan's user avatar
3 votes
1 answer
257 views

What is the relationship between Partition function and Betti numbers for nilpotent Lie algebras?

Let $p(n)$ denote the number of partitions of a positive integer $n$. It is known that $\{p(n)\}_{n>25}$ is log-concave. Dietrich Burde said in this MathOF post that property $PF_3$ for partition ...
Dennis Jia's user avatar
27 votes
0 answers
876 views

A question on simultaneous conjugation of permutations

Given $a,b\in S_n$ such that their commutator has at least $n-4$ fixed points, is there an element $z\in S_n$ such that $a^z=a^{-1}$, and $b^z=b^{-1}$? Here $a^z:=z^{-1}az$. Magma says that the ...
Danny Neftin's user avatar
1 vote
1 answer
130 views

About left cell of a permutation

I am reading a paper Cellular algebras by J.J. Graham, G.I. Lehrer. I do not understand the follwing words labelled by yellow. First, I know Robinson-Schensted correspondence of a permutation in the ...
bing's user avatar
  • 331
13 votes
1 answer
629 views

The Möbius number of the nonabelian finite simple groups

Let $L$ be a finite lattice with minimum $\hat{0}$ and maximum $\hat{1}$. The Möbius function $\mu$ for $L$ is defined recursively by: for $\forall a,b \in L$ with $a<b$, $\mu(b,b) = 1$ and $\mu(...
Sebastien Palcoux's user avatar
5 votes
0 answers
139 views

Is the Euler characteristic of a subfactor planar algebra, nonzero?

Let $\mathcal{P}$ be an irreducible subfactor planar algebra and $\mu$ the Möbius function of its biprojection lattice $[e_1,id]$. Then the Euler characteristic of $\mathcal{P}$ is defined as follows: ...
Sebastien Palcoux's user avatar
15 votes
1 answer
404 views

What is the smallest cardinality of a self-linked set in a finite cyclic group?

A subset $A$ of a group $G$ is defined to be self-linked if $A\cap gA\ne\emptyset$ for all $g\in G$. This happens if and only if $AA^{-1}=G$. For a finite group $G$ denote by $sl(G)$ the smallest ...
Taras Banakh's user avatar
  • 40.8k
5 votes
1 answer
525 views

Which cyclic groups admit a difference set?

Problem 1. For which $n$ does the cyclic group $C_n$ admit a difference set $D\subset C_n$, i.e., a set such that each non-unit element $x\in C_n$ can be uniquely written as the difference $x=ab^{-1}$...
Taras Banakh's user avatar
  • 40.8k
7 votes
2 answers
530 views

Combinatorial Identity with Connection Coefficients and Falling Factorial $\langle i x\rangle_n$

Let $j, k ,n$ be nonnegative integers such that $0 \leq j, k \leq n \leq k +j $. Pick integer $m$ such that $0 \leq m \leq k + j - n$. Let $\langle x \rangle_m$ denote the falling factorial $x(x-1)\...
Nick R's user avatar
  • 1,047
48 votes
4 answers
5k views

How to constructively/combinatorially prove Schur-Weyl duality?

How is Schur-Weyl duality (specifically, the fact that the actions of the group ring $\mathbb{K}\left[ S_{n}\right] $ and the monoid ring $\mathbb{K}\left[ \left( \operatorname*{End}V,\cdot\...
darij grinberg's user avatar
3 votes
1 answer
128 views

A property on meet of coatoms in a finite modular lattice

Let $L$ be a finite lattice with $\hat{1}$ its maximum and $c_1, \dots, c_n$ its coatoms. Let $E_n=\{1, \dots, n \}$. For any subset $I \subset E_n$ we define $$C(I) := \bigwedge_{i \in I} c_i$$ then ...
Sebastien Palcoux's user avatar
0 votes
1 answer
220 views

Number of Boolean algebra subintervals in weak order of $S_n$

I'm wondering if anybody has an easy way to compute the number of subintervals in weak order of $S_n$ (considered as a Coxeter group of type $A_{n-1}$) that are isomorphic to Boolean algebras. I know $...
Matt Samuel's user avatar
  • 2,008
5 votes
1 answer
189 views

A uniqueness of the Stirling numbers?

The binomial Sheffer sequence of Bell / Touchard / exponential polynomials $\phi_n (x) $, whose coefficients are the Stirling numbers of the second kind, have the representation $(RL)^n=\phi_n (:RL:)...
Tom Copeland's user avatar
  • 9,937
14 votes
3 answers
858 views

How few $k$-dimensional subspaces of $V$ are enough to have a complement to each $n-k$-dimensional subspace?

Let $n$ and $k$ be nonnegative integers such that $k\leq n$. Let $F$ be a field, and let $V$ be an $n$-dimensional $F$-vector space. A set $\mathcal{S}$ of $k$-dimensional subspaces of $V$ is said to ...
darij grinberg's user avatar
7 votes
1 answer
787 views

Identity involving a sum over all partitions of $n$

In some work I've been doing on the cohomology of the moduli space of curves, the following identity has come up: $$\prod_{i=1}^n \frac{x^{i-1}}{x^i-1} = \sum_{(a_1^{r_1},\ldots,a_{\ell}^{r_{\ell}}) \...
Andy Putman's user avatar
  • 43.4k
3 votes
1 answer
171 views

Is there an atom K of [H,G]≃B2 with |K:H|≡|G:H|(mod 2)?

Let $[H,G]$ be a rank $2$ boolean interval of finite groups. Statement 1: There is an atom $K$ of $[H,G]$ such that $|K:H|≡|G:H|($mod $ 2)$. The following picture illustrates the statement. ...
Sebastien Palcoux's user avatar
5 votes
0 answers
536 views

Identities satisfied by the image of the Young symmetrizer

Consider a partition $\lambda=(r_1,\ldots,r_k)$ of an integer $n$ and the corresponding Young diagram with rows of length $r_1,\ldots,r_k$ (hence ordered in non-increasing order). Counting the column ...
Igor Khavkine's user avatar
8 votes
1 answer
218 views

Algebraic Shifting Computer Code

Is anyone aware of computer code that will algebraically shift a simplicial complex (as in this Kalai paper)? Ideally, I am looking for an implementation that can run in something like Sage or ...
Bennet Goeckner's user avatar
8 votes
0 answers
434 views

A relation between intersection and product on Boolean interval of finite groups

Let $[H,G]$ be a Boolean interval of finite groups (i.e. the lattice of intermediate subgroups $H \subseteq K \subseteq G$, is Boolean). For any element $K \in [H,G]$, let $K^{\complement}$ be its ...
Sebastien Palcoux's user avatar
28 votes
3 answers
1k views

Inequality for hook numbers in Young diagrams

Consider a Young diagram $\lambda = (\lambda_1,\ldots,\lambda_\ell)$. For a square $(i,j) \in \lambda$, define hook numbers $h_{ij} = \lambda_i + \lambda_j' -i - j +1$ and complementary hook numbers $...
Igor Pak's user avatar
  • 16.3k
1 vote
1 answer
278 views

Evaluation of sum of factorials

Is there an evaluation of this sum (possibly involving gamma functions)? $k$ and $n$ are natural numbers and $x$ is real with $0<x<1$. $$ \sum_{\substack{k=0\\n-k\text{ even}}}^n \frac{(-1)^{(n-...
Matt Majic's user avatar
6 votes
0 answers
305 views

Coefficients in expansion of a classical symmetric polynomial

If we expand \begin{equation} P_3(x_1,\ldots, x_n):=\Pi_{1\leq i<j<k\leq n} (x_i+x_j+x_k), \end{equation} then \begin{equation} P_3 = \sum_\alpha \sum_{\mathcal{O}(\alpha)} c_\alpha x_1^{\...
Marc's user avatar
  • 61
2 votes
2 answers
484 views

Number of Skew Symmetric Matrices of fixed rank

The number of symmetric matrices of order $n$ and rank $r$ over finite fields has been counted e.g. http://www.math.clemson.edu/~kevja/REU/2004/SymmetricRankRMatrices.pdf Is the number of skew-...
Singh's user avatar
  • 21
11 votes
1 answer
195 views

Cross between the nil-Hecke ring and the group ring of a Coxeter group

A Coxeter system $(W,S)$ has a set of generators $S=\{s_1,s_2,\ldots\}$ and the Coxeter group $W$ is determined by relations of the form $(s_is_j)^{m_{ij}}=1$ for some integers $m_{ij}$, where $m_{ii}=...
Matt Samuel's user avatar
  • 2,008
8 votes
3 answers
587 views

Combinatorial aspects of continued fractions

Recently, I got interested in the study of the combinatorial aspects of continued fractions. Precisely, I read of the following lemma of Flajolet (see here): Lemma. It holds $$\sum_{\omega} \nu(\...
user avatar
4 votes
1 answer
917 views

On factorization theorem of toric birational morphisms

Let $X_{Σ′}\to X_{Σ}$ be a toric birational morphism between smooth and complete toric varieties induced by a regular subdivision $Σ′\leq Σ$, i.e. every cone in $Σ′$ is contained in a cone in $Σ$ and ...
cata's user avatar
  • 337
2 votes
0 answers
88 views

Rank-unimodality and Sperner property of higher dimensional partitions

I did a google-search but have not been able to find much reference on this problem. So I am asking it here hoping to get some information. Consider the set of all 4-dimensional Ferrer's diagram ...
Pritam Majumder's user avatar
1 vote
0 answers
34 views

How to find a subset of a matrix that has minimum condition number? [duplicate]

Suppose matrix $A$ is consist of M column vectors, how can we find a subset $B$, consisting of N column of $A$ (N<M), that has minimum condition number (the ratio of maximum singular value by minimum ...
jqx1991's user avatar
  • 11
21 votes
14 answers
3k views

Applications of Representation Theory in Combinatorics

What are the examples of interesting combinatorial identities (e.g. bijection between two sets of combinatorial objects) that can be proved using representation theory, or has some representation ...
2 votes
3 answers
858 views

The number of submodules of $\mathbb{Z}_q^n$

Observe $\mathbb{Z}_q^n = \mathbb{Z}_q \times \cdots \times\mathbb{Z}_q$ as a module over $\mathbb{Z}_q\equiv\mathbb{Z}/q\mathbb{Z}$, for general $q$. I am interested in the following questions: How ...
aleph's user avatar
  • 503
8 votes
1 answer
1k views

A remarkable sum over partitions

While studying some seemingly unrelated topological questions, I have experimentally discovered what appears (to me) to be a remarkable sum over partitions. I was wondering if anyone knows how to ...
Julia's user avatar
  • 83
9 votes
1 answer
244 views

When is the diagonal of a rational bivariate power series again rational

Given a rational bivariate power series $F(x,y)=\sum{a_{n,m}x^ny^m}$, the diagonal function $G(t):=\sum{a_{n,n}t^n}$ is known to be algebraic, although not rational in general. I was wondering if ...
batconjurer's user avatar
4 votes
1 answer
240 views

Is there a nice form for the Frobenius characteristic of a border shape character?

Let $\chi^V$ be the character of a border strip Specht module, i.e. a Specht module for a skew tableau that contains no $2 \times 2$ square. I know that the Frobenius characteristic of $\chi^V$ is ...
user162496's user avatar
6 votes
2 answers
933 views

Sums of reciprocals of products of factorials

Let $d,m, r$ be positive integers, and define $$ S = \left\{ (i_1, i_2, \dots, i_m) \in {\bf Z}_{+}^{m} \left | \sum_j i_j = d; \& \forall j, i_j \leq r \right. \right\}; $$ Here ${\bf Z}_+$ ...
David Handelman's user avatar
0 votes
0 answers
146 views

Abelian centralizer groups (CA-groups)

I am searching for all information about CA-groups [abelian centralizer groups] and i just found a German book [Huppert] and Nilpotent Centralizer group of Suzuki in 44 pages and Group theory book of ...
Reza Sheikhi 's user avatar
5 votes
0 answers
149 views

Counting square zero forms over finite fields

Let $p$ be an odd prime and let $R=\Lambda_{\mathbb{F}_p}[x_1,\dots,x_n]$ be the exterior algebra on $n$ generators over the finite field with $p$ elements. This is a graded-commutative ring. Is ...
KotelKanim's user avatar
  • 2,270
8 votes
1 answer
427 views

Littlewood-Richardson-Type Rule for Restriction from $S_{2n}$ to $S_{2(n-t)} \times (S_2 \wr S_t)$

It is well-known that the Littlewood-Richardson coefficient $c^{\nu}_{\lambda \mu}$ is the number of times the irreducible representation $V_\lambda \bigotimes V_\mu$ of the product of symmetric ...
Nathan Lindzey's user avatar
7 votes
2 answers
469 views

Free $k[x_1, \dots, x_n]^{S_n}$-module?

Let $\text{char}\,k = 0$ and $n \ge 2$. What is the easiest way to see that $k[x_1, \dots, x_n]$ is a free $k[x_1, \dots, x_n]^{S_n}$-module with basis$$x_2^{m_2}x_3^{m_3} \dots x_{n-1}^{m_{n-1}} x_n^{...
User's user avatar
  • 149
1 vote
0 answers
110 views

Properties of Coefficients of Order Polynomials [closed]

I am working on a problem involving determining the order polynomial $\Omega_P(k)$ of a partial order $P$, which counts the number of order-preserving transformations/maps from $P$ to the $k$-chain (...
youngtableaux's user avatar
5 votes
2 answers
304 views

Dickson/determinant type polynomial (updated)

For $2\leq \ell \leq k$, consider the polynomial \begin{equation} P_{k,\ell} = \prod_{1\leq a_1+\ldots+a_k\leq \ell} (a_1x_1+\ldots + a_kx_k)\in \mathbb{F}_2[x_1,\ldots, x_k] \end{equation} ...
Fred's user avatar
  • 157
4 votes
1 answer
189 views

bijection between S-modules and Schur functors

Given a $\mathbb{S}$-module, we can construct a Schur functor, which is an endo functor in the category of vectorspaces. But given a Schur functor, how can we get back the $\mathbb{S}$-module? In ...
ani's user avatar
  • 101
12 votes
0 answers
702 views

Product of a Schubert polynomial and a double Schubert polynomial

Let $S_u(x)$ be a Schubert polynomial and let $S_v(x;y)$ be a double Schubert polynomial. Then their product can be expressed in terms of the double Schubert polynomials as $$S_u(x)S_v(x;y)=\sum_w{c_{...
Matt Samuel's user avatar
  • 2,008