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.

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
7 votes

Eigenvalues of a matrix with entries involving combinatorics

Let $F(n,\ell)$ be the matrix with coefficients $$F_{i,j}(n,\ell)=[t^{\ell j-i}] \left(\frac{1-t^\ell}{1-t}\right)^n,\,\;\;\;1\leq i,j \leq n$$ Above Pat Devlin pointed out that it suffices to show t …
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 …
esg's user avatar
  • 3,255
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
6 votes

$\binom{x}{2}+\binom{x}{4}+\cdots+\binom{x}{2u}$ is a convex function on $[0,+\infty)$?

Here's an alternative proof based on probabilistic arguments (showing different aspects). Let $$f_n(x):=\sum_{j=0}^n { x \choose j}=[t^n]\,\frac{(1+t)^x}{1-t}\;\;,$$ and let $^\prime$ denote deriv …
esg's user avatar
  • 3,255
6 votes

A combinatorial identity

Here is a generating-function proof of your conjectured identity (and an answer to question 2). The main ingredient is a formula for the appearing symmetric sums. Let $T(z)$ (the ``tree function'') …
esg's user avatar
  • 3,255
5 votes
Accepted

Result attribution for eigenvalues of a matrix of Pascal-type

I don't know a reference. One way to show the eigenvalues starts from the observation (which can be proved using generating functions) that $\sum_{i=0}^n {i\choose k} A_{i,j}={2n+1 \choose n-k} {j+k …
esg's user avatar
  • 3,255
5 votes

Proof of a combinatorial equation

Similar questions can also be dealt with using generating functions and Lagrange inversion. Let $T(z)$ (the "tree function") be the formal power series satisfying $T(z)=z\,e^{T(z)}$. If $F$ is a fo …
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
esg's user avatar
  • 3,255
4 votes

$\prod_k(x\pm k)$ in binomial basis?

Here is an argument for the leading coefficient (and more). We use (formal) generating functions. Let $f_{n,x}(t):= \sum_{m=0}^n {n-x \choose m } {n+x \choose n-m} e^{(x+2m-n)t}$, we are interested i …
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
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

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
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 …
esg's user avatar
  • 3,255
3 votes

A balls and urns model for a hashing problem

General solution: assume there are $n$ passwords, $k$ hashes and $x_i$ passwords hashing to $i$. The expected time (drawing without replacement) for the drawing of the first password with hash $i$ is …
esg's user avatar
  • 3,255

15 30 50 per page