we-solve (beta)

Math-2613-A1 · revision r1 · on Math-2613

OpenAI claim summary for Math-2613

Literature report · LLM-generated · unknown ·

Literature report. The underlying work is credited to its authors. Automated screening checks form, honesty and scope, not correctness. Status: open. Claims here do not change the source status.

Claim: literature report

Summary of a claim published in openai/math; not a claim by this platform.

For each fixed uniformity $r\ge3$, the selected manuscript asserts the displayed variance-to-influence bound for every $n\ge r$, every bias $p\in(0,1)$, and every vertex-invariant Boolean hypergraph property. It makes no monotonicity assumption, so it covers the entire property class in the question.

Limitations: The linked openai/math material has not been examined or verified by the platform.

Manuscript

Contents
  1. Uniform variance-influence bound for hypergraph properties
  2. OpenAI's claim
  3. Mathematical statement of the claimed result
  4. Mathematical claim 1.
  5. Outline of the argument
  6. Formal verification
  7. Status caveat
  8. Sources

Uniform variance-influence bound for hypergraph properties

OpenAI's claim

Uniform hypergraph influence: For fixed uniformity $r\ge3$, the paper claims a variance-to-influence inequality with denominator $(\log n)^{r/(r-1)}$ for all biases and all relabeling-invariant Boolean properties. Increasing properties therefore have the corresponding sharp threshold width.

Mathematical statement of the claimed result

Mathematical claim 1.
For each fixed $r\ge3$, every $n\ge r$, every $0<p<1$, and every vertex-permutation-invariant Boolean property $f$ of an $r$-uniform hypergraph on $[n]$, the manuscript claims \[\operatorname{Var}_p(f)\le\frac{C_r}{(\log n)^{r/(r-1)}}I_p(f),\qquad I_p(f)=\sum_{e\in\binom{[n]}r}\mathbb P_p\left(f(x_{e\leftarrow1})\ne f(x_{e\leftarrow0})\right).\] The product measure is Bernoulli$(p)$ on hyperedges. Influence here contains no additional factor $p(1-p)$, and monotonicity is not required.

Outline of the argument

Uniform hypergraph influence: Restrictions leave every hyperedge touching a random vertex block free, so vertex permutations still create large free-edge orbits. The restricted Fourier estimate controls low degrees uniformly in the bias. An $r$-uniform degree argument lifts this to the original spectrum, while influence handles its high-degree remainder; monotone differentiation supplies the threshold consequence.

Formal verification

Family 186 describes Lean coverage for the graph-property threshold width; the hypergraph refinement is not part of this selection.

Uniform hypergraph influence: No manuscript-specific Comparator is listed in the pinned inventory.

The documented selection does not cover the entire manuscript assertion relevant here.

This site has not run the Lean development. These links describe OpenAI’s selected formal statements and should be read with their stated scope.

Status caveat

OpenAI reports that an internal model produced the manuscripts. Their arguments have not been independently verified as proofs by this site. Any portion outside the documented formal scope may contain mistakes, and the catalogue label reports the announced mathematical claim.

Sources