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 48831

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

2 votes
Accepted

Monotonicity of the sum of coefficients of a family of generating functions

Your conjecture is true. First, observe that \begin{align*} K_{w+1}(z)&=(1+z)\,K_w(z) & \mbox{ if } w \mbox{ is odd, }\\ K_{w+1}(z)&=(1+z)\,K_w(z) +\frac{1}{2}{w\choose \frac{w}{2}}z^{w/2}(1-z) & …
esg's user avatar
  • 3,255
3 votes

Grouping lists together in a proportional election: image of a Dirichlet distribution by the...

Here is a way. Start from the exact form of your integral expression (i.e. supply the "Dirichlet factor" $\frac{\Gamma(\alpha_1+\ldots+\alpha_n)}{\Gamma(\alpha_1)\cdots\Gamma(\alpha_n)})$. (1) Writing …
esg's user avatar
  • 3,255
3 votes
Accepted

A polynomial identity related to Catalan numbers

These assertions can be proved using (formal) generating functions. Using that for $j\geq 0, k\geq 1$ \begin{align*} \sum_{n\geq 0} {n-j+kj \choose kj} t^n &=\frac{t^j}{(1-t)^{kj+1} }\;\;\mbox{ …
esg's user avatar
  • 3,255
2 votes

Asking for a proof for a sum of products of binomials: an "interesting" identity?

A generating function proof. As $\arcsin(z)=\sum_{k\geq 0} \frac{1}{2k+1} {2k \choose k} \frac{z^{2k+1}}{4^k}$ and $\frac{1}{\sqrt{1-z^2}}=\sum_{k\geq 0}{2k \choose k}\frac{z^{2k}}{4^k}$ we have that …
esg's user avatar
  • 3,255
5 votes
Accepted

Expected number of compositions needed to get constant function

This question was completely settled by J.A. Fill here: https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.641
Emil Jeřábek's user avatar
7 votes

Comparing two power-series

As in Timothy Budd's answer let $w=w(q)$ denote the (formal) solution of $q=\frac{w}{f(w)}$. Let $p$ be another variable and consider the sum \begin{align*} S(p,q):=\sum_{n,m>0} \sum_{j>0} j[z^{n+j}]\ …
esg's user avatar
  • 3,255
3 votes
Accepted

Bounding the max-loaded bin using${m \choose k} \|A\|_k^k$

The following inequality holds: $$\mathbb{P}(C_k(m)\geq 1)\geq \mathbb{P}(\mathrm{Bin}(m, \lVert A\rVert_k)\geq k)$$ where here and in the sequel $\mathrm{Bin}(n,p)$ denotes a binomially distributed r …
esg's user avatar
  • 3,255
7 votes

Alternative proofs sought after for a certain identity

One can also use the binomial transform. (If $A(z)=\sum_{i\geq 0} a_i z^i$ is a (formal) power series, the (formal) power series $B(z):=\frac{1}{1-z} A(\frac{z}{1-z})$ has coefficients $[z^n] B(z)=\su …
Fedor Petrov's user avatar
0 votes

Coupon collector targeting a collection among many

There a well known generating function methods (the ''symbolic method'' and ''Poissonization'') which can be used to deal with this kind of question. However, I am unable to point to a reference for …
esg's user avatar
  • 3,255
8 votes
Accepted

The number of ways to merge a permutation with itself

By @Max Alexeyev's solution above $N_{2k-1}^{\sigma}=tr(M_{k}(P_{\sigma}M_{k}P_{\sigma}^{-1}))$. The eigenvalues and eigenvectors of $M_k$ are given here: Result attribution for eigenvalues of a matri …
esg's user avatar
  • 3,255
4 votes

Quantifying the noninvertibility of a function

$\lambda(f):=\kappa_f-1$ is called "the coefficient of coalescence of $f$" here: https://msp.org/pjm/1982/103-2/pjm-v103-n2-p03-p.pdf (note the typo on p.269, the correct definition appears on p.27 …
esg's user avatar
  • 3,255
4 votes
Accepted

Moments of a combinatorial ensemble of random variables

(You are considering the uniform distribution on a discrete simplex. I'm not aware of specific results in the literature, and a brief internet search didn't reveal anything.) A simple way is to use …
esg's user avatar
  • 3,255
4 votes

Showing this formula counts these things

Here is a proof using (formal) generating functions. The Lah number $L(n,m+1)$ $$L(n,m+1)=\frac{n!}{(m+1)!}[x^n] \bigg(\frac{x}{1-x}\bigg)^{m+1}$$ counts the number of unordered partitions of the se …
esg's user avatar
  • 3,255
2 votes

Classification of algebras of finite global dimension via determinants of certain 0-1-matrices

(Not a solution, just a reformulation and a conjecture for $w=3$) (1) Remark: the question above may equivalently be stated as follows: Let $Z$ be the matrix of the cyclic shift (the companion matri …
esg's user avatar
  • 3,255
3 votes
1 answer
378 views

Determinant of an "almost cyclic" matrix

Let $n\geq 3$, let $Z$ be the matrix of the cyclic shift (the companion matrix of $X^n-1$), and for $\mathbf{d}\in \mathbb{C}^n$ let $\operatorname{diag}(\mathbf{d})$ be the diagonal matrix with $\ma …

15 30 50 per page