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 39120

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

3 votes
0 answers
118 views

Multivariable Gaussian polynomials

Let the (homogeneous) Gaussian numbers be defined as $[n]_{x,y} = \frac{x^n-y^n}{x-y}$, and define Gaussian factorials as $[n]_{x,y}! = [n]_{x,y}[n-1]_{x,y}\dots [1]_{x,y}$, and the Gaussian binomials …
Nate's user avatar
  • 2,242
3 votes
Accepted

Inducing irreducible $B_n \times S_k$ characters to $B_{n+k}$

Expanding on my comment, here's what the two steps look like combinatorially. Induction from $S_k$ to $B_k$ sends $S^\lambda$ to $\bigoplus_{\mu, \gamma} W(\mu,\gamma)^{\oplus c^\lambda_{\mu,\gamma}}$ …
Nate's user avatar
  • 2,242
8 votes

Indecomposable contracting maps on the integers

Too long for a comment, but not completely thought out: Call a point $x$ a "bend" if $f(x-1) = f(x+1)$. I think if we restrict to the subclass of $C_2$ with finitely many bends then the only irreduci …
Nate's user avatar
  • 2,242
7 votes
0 answers
193 views

Partitions of a multiset into equal parts

I am interested in a possible generalization of the following fact from combinatorics: If $n<m$ then there are at least as many ways to partition a set of size $nm$ into $m$ sets each of size $n$ as t …
Nate's user avatar
  • 2,242
1 vote

Are top Brauer characters bounded?

The branching rule for hook partitions is multiplicity free and pretty easy to describe: $$s_{(k,1^j)} = \sum_{i < k/2}o_{(k-2i,1^j)} + \sum_{i < k/2}o_{(k-2i-1,1^{j-1})}$$ That is: You either remove …
Nate's user avatar
  • 2,242
25 votes
1 answer
586 views

Doubly periodic 4 color theorem?

Let $G$ be a graph embedded (without crossings) on a torus $T$. It's fairly well known that this implies the chromatic number of $G$ is at most 7. If I lift $G$ to the universal cover of $T$, we get a …
Nate's user avatar
  • 2,242
4 votes
Accepted

Sum of $q$-binomial coefficients

Let's look at the ratio of two adjacent $q$-binomials as we move away from the center, for simplicity I'll do the even case. $\binom{2n}{n-a}_q / \binom{2n}{n-a-1}_q = \frac{[n+a+1]_q}{[n-a]_q} > q^{2 …
Nate's user avatar
  • 2,242
8 votes
3 answers
2k views

Bijective proof for a partition identity

I came across the following cute fact about partitions: \begin{align} & |\{\lambda \vdash n \text{ with an even number of even parts}\}| \\[8pt] & {} - |\{ \lambda \vdash n \text{ with an odd number o …
Nate's user avatar
  • 2,242
25 votes
Accepted

Can a convex polytope with $f$ facets have more than $f$ facets when projected into $\mathbb...

Consider the polytope in $\mathbb{R}^3$ with $8$ vertices at coordinates $(\pm 1, \pm 2, 1), (\pm 2, \pm 1, -1)$. Geometrically this looks like a cube where the top face is stretched in the direction …
Nate's user avatar
  • 2,242