Logarithmically concave sequence

In mathematics, a sequence a = (a₀, a₁, ..., a_n) of nonnegative real numbers is called a logarithmically concave sequence, or a log-concave sequence for short, if a_i² ≥ a_i−1a_i+1 holds for 0 < i < n .

Remark: some authors (explicitely or not) add two further hypotheses in the definition of log-concave sequences:

• a is non-negative
• a has no internal zeros; in other words, the support of a is an interval of Z.

These hypotheses mirror the ones required for log-concave functions.

Sequences that fulfill the three conditions are also called Pòlya Frequency sequences of order 2 (PF₂ sequences). Refer to chapter 2 of for a discussion on the two notions. For instance, the sequence (1,1,0,0,1) checks the concavity inequalities but not the internal zeros condition.

Examples of log-concave sequences are given by the binomial coefficients along any row of Pascal's triangle.

See also

• Unimodality
• Logarithmically concave function
• Logarithmically concave measure