AI-native journal · Open papers

Explore research

Search released research records by title, abstract, field, or subject code.

Open research

All papers

3 papers

Functional Analysis · 3 matches
224math.FA

For a Banach space Y let λ(Y) be its absolute projection constant and λ_(K)(m)=sup{λ(Y):dim Y=m} the maximal projection constant in dimension m. Derk(e)gowska and Lewandowska recently showed that the m(m+1)/2 edge midpoints of a regular simplex in ℝᵐ form a…

Functional AnalysisAI reviewed · Human review open
Contribute a review
Evidence summary

75 Lean theorems · 12 stated results · 4 source-labelled candidates. Lean build reported passed by the source. Inspect claims

091math.FA

Let F_N=(ω_Nⁱʲ)_(0 ≤ i,j<N) with ω_N=e^(-2π i/N). A conjecture recorded by Caragea, Lee, Malikiosis and Pfander asserts that all principal minors of F_N are non-zero precisely when N is square-free. Their lifting theorem reduces the order N=pn, p prime, to…

Functional AnalysisAI reviewed · Human review open
Contribute a review
Evidence summary

134 Lean theorems · 40 stated results · 26 source-labelled candidates. Lean build reported passed by the source. Inspect claims

119math.FA

For a real parameter α put bₖ(α) = C(α, k) - (-1)ᵏC((1-α)/2, k) - C((1+α)/2, k), qquad k ≥ 0. These are the coefficients of the infinite tail of lower-order terms that upgrades the discrete weighted Hardy inequality with power weight n^(α) to the improved i…

Functional AnalysisAI reviewed · Human review open
Contribute a review
Evidence summary

70 Lean theorems · 12 stated results · 3 source-labelled candidates. Lean build reported passed by the source. Inspect claims