Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 290

Enumerative combinatorics, graph theory, order theory, posets, matroids, designs and other discrete structures. It also includes algebraic, analytic and probabilistic combinatorics.

31 votes
2 answers
3k views

Is there a "finitary" solution to the Basel problem?

Gabor Toth's Glimpses of Algebra and Geometry contains the following beautiful proof (perhaps I should say "interpretation") of the formula $\displaystyle \frac{\pi}{4} = 1 - \frac{1}{3} + \frac{1}{5} …
12 votes

Reference for group-algebra/exp-log like identites in combinatorics

The reason this is called the "exp-log" correspondence is that it can be written in terms of formal power series as follows: write $G(z) = \sum g_n z^n, F(z) = \sum f_n z^n$. We need the additional hy …
LSpice's user avatar
  • 13k
5 votes

Proofs of the Frobenius characteristic map

$\newcommand\Schur{\mathrm{Schur}}\newcommand\op{^\text{op}}\newcommand\FinVect{\mathrm{FinVect}}\DeclareMathOperator\Rep{Rep}\newcommand\Vect{\mathrm{Vect}}\DeclareMathOperator\GL{GL}\DeclareMathOper …
LSpice's user avatar
  • 13k
50 votes
12 answers
7k views

Combinatorial results without known combinatorial proofs

Stanley likes to keep a list of combinatorial results for which there is no known combinatorial proof. For example, until recently I believe the explicit enumeration of the de Brujin sequences fell i …
10 votes

Combinatorial results without known combinatorial proofs

For example, according to Stanley the identity $n \cdot \text{pp}(n) = \sum_{i=1}^{n} \sigma_2(i) \text{pp}(n-i)$ has no known bijective proof, where $\text{pp}(n)$ denotes the number of plane partiti …
Martin Sleziak's user avatar
10 votes
Accepted

Determinant with factorials is not 0?

This is the Hankel determinant associated to the sequence $m_n = \mathbb{E}(X^n) = n!$ of moments of an exponential distribution with mean $1$. Some general results can be used to show that the sequen …
Qiaochu Yuan's user avatar
13 votes
1 answer
859 views

What does the incidence algebra of the lattices in C tell us about modular forms?

I have two different and probably unrelated questions that can both be superficially described by the title, so I hope you'll forgive me if I ask them together. They both fall under the category of t …
23 votes
4 answers
3k views

Exhibit an explicit bijection between irreducible polynomials over finite fields and Lyndon ...

Let $q$ be a power of a prime. It's well-known that the function $B(n, q) = \frac{1}{n} \sum_{d | n} \mu \left( \frac{n}{d} \right) q^d$ counts both the number of irreducible polynomials of degree $n …
35 votes
4 answers
3k views

How does this relationship between the Catalan numbers and SU(2) generalize?

This is a question, or really more like a cloud of questions, I wanted to ask awhile ago based on this SBS post and this post I wrote inspired by it, except that Math Overflow didn't exist then. As …
15 votes
Accepted

A remarkable sum over partitions

Here is a more informative version of this identity. Let $Z_n$ denote the cycle index polynomial of the symmetric group $S_n$, namely $$Z_n = \frac{1}{n!} \sum_{\sigma \in S_n} z_1^{c_1(\sigma)} z_2^{ …
Qiaochu Yuan's user avatar
9 votes

Does the ordinary generating function of Bell numbers converge?

The Bell numbers satisfy $\frac{\ln B_n}{n} \sim \ln n$ which is faster than exponential, so the ordinary generating function $\sum B_n x^n$ has zero radius of convergence. As a more elementary argume …
Qiaochu Yuan's user avatar
5 votes
Accepted

Combinatorial representation of function

I'll rename all three of your variables; you are asking for the number of partitions of $k$ that fit into an $m \times n$ box. This is famously known to be the coefficient of $q^k$ in the $q$-binomial …
Qiaochu Yuan's user avatar
20 votes
5 answers
1k views

Is there a natural family of languages whose generating functions are holonomic (i.e. D-fini...

Let $L$ be a language on a finite alphabet and let $L_n$ be the number of words of length $n$. Let $f_L(x) = \sum_{n \ge 0} L_n x^n$. The following are well-known: If $L$ is regular, then $f_L$ is …
16 votes

How many Lie and associative algebras over a finite field are there?

Bjorn Poonen addresses this question for commutative (associative, unital) algebras in The moduli space of commutative algebras of finite rank; asymptotically we have $$q^{\frac{2}{27} n^3 + O(n^{8/3} …
Qiaochu Yuan's user avatar
27 votes
Accepted

Factorization of the characteristic polynomial of the adjacency matrix of a graph

Expanding on Richard's comment: let me rename your graph to $S$ and consider the adjacency matrix $A$ abstractly as a linear operator acting on the free vector space $\mathbb{C}[S]$ on (the vertices o …
Qiaochu Yuan's user avatar

1
2 3 4 5 6
15 30 50 per page