Documentation

Marginis.ChristDemmelKnightScanlonYelick2024

On Multilinear Inequalities of Hölder-Brascamp-Lieb Type for Torsion-Free Discrete Abelian Groups #

by MICHAEL CHRIST JAMES DEMMEL NICHOLAS KNIGHT THOMAS SCANLON KATHERINE YELICK

In Section 2.1 it is remarked that "there is no loss of generality in restricting attention to exponent tuples s ∈ [0,1]^m rather than s ∈ (0,∞)^m" Here we merely establish that this really is a restriction by constructing an embedding ι of the former into the latter.

def ι {m : } (s : Fin m(Set.Icc 0 1)) :
Fin m(Set.Ici 0)

A finite sequence of numbers in [0,1] can be considered to be a finite sequence of numbers in (0,∞).

Equations
  • ι s i = (s i),
Instances For