geometry-topology / Convex geometry; log-concave measures

The (B)-conjecture for even log-concave measures: log-concavity of t -> mu(e^t K)

Corollary 8.1: for every n≥1n\ge1, every even log-concave Radon measure μ\mu on Rn\mathbb R^n (finite or infinite total mass, possibly supported on a subspace) and origin-symmetric convex bodies K,LK,L, the log-Brunn-Minkowski inequality holds for μ\mu; taking LL a dilate of KK gives log-concavity of t↦μ(etK)t\mapsto\mu(e^tK). This is the scalar-dilation form; the stronger diagonal (B)-property for general linear dilations is not claimed except where Saroglou's equivalence for cubes applies.

30Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologySep 23, 2026Significance 30/100Registry: unreviewed

The (B)-conjecture for even log-concave measures: log-concavity of t -> mu(e^t K)

Prior state unknown→proved

Corollary 8.1: for every n≥1n\ge1, every even log-concave Radon measure μ\mu on Rn\mathbb R^n (finite or infinite total mass, possibly supported on a subspace) and origin-symmetric convex bodies K,LK,L, the log-Brunn-Minkowski inequality holds for μ\mu; taking LL a dilate of KK gives log-concavity of t↦μ(etK)t\mapsto\mu(e^tK). This is the scalar-dilation form; the stronger diagonal (B)-property for general linear dilati…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Corollary 8.1: for every n≥1n\ge1, every even log-concave Radon measure μ\mu on Rn\mathbb R^n (finite or infinite total mass, possibly supported on a subspace) and origin-symmetric convex bodies K,LK,L, the log-Brunn-Minkowski inequality holds for μ\mu; taking LL a dilate of KK gives log-concavity of t↦μ(etK)t\mapsto\mu(e^tK). This is the scalar-dilation form; the stronger diagonal (B)-property for general linear dilations is not claimed except where Saroglou's equivalence for cubes applies.

Corollary 8.1: for every n≥1n\ge1, every even log-concave Radon measure μ\mu on Rn\mathbb R^n (finite or infinite total mass, possibly supported on a subspace) and origin-symmetric convex bodies K,LK,L, the log-Brunn-Minkowski inequality holds for μ\mu; taking LL a dilate of KK gives log-concavity of t↦μ(etK)t\mapsto\mu(e^tK). This is the scalar-dilation form; the stronger diagonal (B)-property for general linear dilations is not claimed except where Saroglou's equivalence for cubes applies.

Recorded attempts

Evidence graph

Connected research record

The (B)-conjecture for even log-concave measures: log-concavity of t -> mu(e^t K) — Mathematical Frontier Network