Concept

Log-concavity

The property of a sequence whose every term squared is at least the product of its two neighbours, so that the logarithms form a concave sequence. It forces the sequence to rise to a peak and fall without dips, and it follows whenever the generating polynomial has only real roots.

Named by 3 essays across one field — each of them below, with the objects they name alongside it.

Also named here as real rooted polynomial — the same set of essays touches all of them, so they are one junction rather than several.

Descents of 10 as a sum of 9 hidden coins. Bars of 9 coin probabilities beside a bar chart of the descents distribution for n = 10, with dots giving the coin-sum distribution landing on every bar.

Coins hidden in the roots

The polynomial that counts permutations by their descents has no product formula, and nothing in the definition of a descent is a coin toss. But every root of the polynomial is real and negative, and a polynomial like that is a product of coins in disguise: each root r is a coin landing heads with chance 1/(1 − r). The descent count of a random permutation is exactly a sum of independent coins nobody can point to — which is why it is bell-shaped, and why its coefficients obey inequalities the inversion count breaks.

discrete · Generating functions
A spider's matchings have real roots and its independent sets do not. Spider with legs 3, 3, 3: matching polynomial 1, 9, 27, 32, 12, roots -0.5000, -0.2324, -0.5000, -1.4343; independence polynomial 1, 10, 36, 57, 38, 9, 1, 4 non-real roots.

The roots every matching polynomial keeps real

Count a graph's matchings by size and make the counts the coefficients of a polynomial. On every one of 35,664 graphs tested, that polynomial has only real roots — a theorem of Heilmann and Lieb from 1972. Count independent sets instead and the roots wander off the axis on a growing share of graphs, but never on a graph without a claw, and matchings are the independent sets of a graph that never has one.

discrete · Generating functions
A chromatic polynomial with complex roots and log-concave coefficients. Wheel W5: P(x) = x⁶ − 10x⁵ + 40x⁴ − 80x³ + 79x² − 30x; |coefficients| 30, 79, 80, 40, 10, 1; min ratio 2.0000; roots 3.000, 0.000, 2.000−1.000i, 2.000, 1.000, 2.000+1.000i.

Log-concave with nothing to make it so

The chromatic polynomial of a graph counts its colourings, and its coefficients rise to one peak and fall, each squared at least the product of its neighbours. For a real-rooted polynomial that would be automatic. But by nine vertices fewer than one graph in twenty has only real chromatic roots, and the coefficients stay log-concave anyway — on every graph tested, and, by June Huh's theorem of 2012, on every graph there is.

discrete · Generating functions

Named alongside it

The objects these essays reach for when they reach for this one.

Generating functionReal rooted polynomialCentral limit theoremChromatic numberCounterexampleDescentEulerian numberGraph colouringIndependent setInterlacingPerfect matchingPermutation

All concepts