{ "archive": { "archive": "math_research_07_of_08.zip", "sha256": "15ad416aeec85684366a8fd8eba213dc8ff5277ea51b88bd02a4882fd9ace2ee", "bytes": 58782697, "crc_ok": true, "files": 1483, "physical_work_folders": 84, "preprint_pdfs": 90, "groups": [ "078", "079", "080", "081", "082", "083", "084", "085", "086", "102", "103", "104", "105", "106", "107", "108", "109", "110", "111", "112", "113", "114", "115", "116", "117", "118", "119", "120", "121", "122", "124", "125", "126", "127", "128", "129", "130", "131", "132", "133", "134", "135", "136", "137", "138", "139", "140" ], "current_manuscripts": 84 }, "reading_policy": "Archive catalog parsed; PDFs opened structurally; only explicit read_detail entries represent actual reading.", "works": [ { "id": "078-01", "group": "078", "title": "Bochner–Riesz multipliers in three dimensions", "pdf": "preprints/Bochner-Riesz-Multipliers-in-Three-Dimensions-September-24-2026/Bochner-Riesz-Multipliers-in-Three-Dimensions-September-24-2026.pdf", "folder": "preprints/Bochner-Riesz-Multipliers-in-Three-Dimensions-September-24-2026", "abstract_original": "We prove the three-dimensional Bochner–Riesz conjecture in its strict-order formulation. The main result is boundedness of the Bochner–Riesz multipliers on $`L^3(\\mathbb R^3)`$ for every positive order. Interpolation and duality then give the full conjectured strict range.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 1954, "coverage": "catalog_only", "read_detail": null, "pages": 114, "sha256": "ea18d159eefcdc7fff031ab14035ecba7205de156a7fcd747a6a9c6bd0d6762a", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Bochner-Riesz-Multipliers-in-Three-Dimensions-September-24-2026/Bochner-Riesz-Multipliers-in-Three-Dimensions-September-24-2026.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Bochner-Riesz-Multipliers-in-Three-Dimensions-September-24-2026/Bochner-Riesz-Multipliers-in-Three-Dimensions-September-24-2026.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "079-01", "group": "079", "title": "Critical local smoothing for the three-dimensional wave equation", "pdf": "preprints/Critical-local-smoothing-for-the-three-dimensional-wave-equation-September-24-2026/paper.pdf", "folder": "preprints/Critical-local-smoothing-for-the-three-dimensional-wave-equation-September-24-2026", "abstract_original": "We prove the critical L 3 local smoothing estimate for the wave equation in three spatial dimensions, with every positive Sobolev loss. This resolves Sogge's Euclidean local smoothing conjecture in dimension three.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 1970, "coverage": "catalog_only", "read_detail": null, "pages": 165, "sha256": "79299093c07ea305c5d094e58ab10d76cc299624b7af6c7e4a1d459435f3b614", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Critical-local-smoothing-for-the-three-dimensional-wave-equation-September-24-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Critical-local-smoothing-for-the-three-dimensional-wave-equation-September-24-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "080-01", "group": "080", "title": "Endpoint convergence for the planar Schrodinger equation", "pdf": "preprints/Endpoint-convergence-for-the-planar-Schrodinger-equation-September-24-2026/paper.pdf", "folder": "preprints/Endpoint-convergence-for-the-planar-Schrodinger-equation-September-24-2026", "abstract_original": "We resolve the planar Sobolev endpoint of Carleson's convergence problem: for initial data in $`H^{1/3}(\\mathbb R^2)`$, the Schrödinger evolution converges almost everywhere to the initial data as $`t\\downarrow0`$. The evolution is defined by taking the Gaussian regularization limit first; on one full-measure spatial set, this limit exists for every $`0\\lt t\\lt 1`$, and the resulting evolution is continuous at t = 0.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 1986, "coverage": "catalog_only", "read_detail": null, "pages": 83, "sha256": "68d6affc8c3cc3bcfe6878f64c12d8127274ce0f3b1971255d6ca8fd19673ab3", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Endpoint-convergence-for-the-planar-Schrodinger-equation-September-24-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Endpoint-convergence-for-the-planar-Schrodinger-equation-September-24-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "080-02", "group": "080", "title": "Endpoint pointwise convergence for the Schrodinger equation in higher dimensions", "pdf": "preprints/Endpoint-pointwise-convergence-for-the-Schrodinger-equation-in-higher-dimensions-September-24-2026/paper.pdf", "folder": "preprints/Endpoint-pointwise-convergence-for-the-Schrodinger-equation-in-higher-dimensions-September-24-2026", "abstract_original": "We resolve the Sobolev endpoint of Carleson's pointwise convergence problem in every dimension n ≥ 3. For initial data in $`H^{n/(2(n+1))}(\\mathbb R^n)`$, the free Schrödinger evolution converges almost everywhere to the initial data as $`t\\downarrow0`$. The evolution is defined by removing Gaussian regularization on one full-measure spatial set, uniformly over the interval $`0\\lt t\\lt 1`$.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 1995, "coverage": "catalog_only", "read_detail": null, "pages": 96, "sha256": "4f859efa28f227ff69181aaf307e445839b3455fc2df49da5062e01ed5e3ff34", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Endpoint-pointwise-convergence-for-the-Schrodinger-equation-in-higher-dimensions-September-24-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Endpoint-pointwise-convergence-for-the-Schrodinger-equation-in-higher-dimensions-September-24-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "081-01", "group": "081", "title": "Riesz transforms and uniform rectifiability in higher codimension", "pdf": "preprints/Riesz-transforms-and-uniform-rectifiability-in-higher-codimension-September-24-2026/paper.pdf", "folder": "preprints/Riesz-transforms-and-uniform-rectifiability-in-higher-codimension-September-24-2026", "abstract_original": "We prove that an n -Ahlfors–David regular Radon measure on ℝ d is uniformly n -rectifiable if its n -dimensional Riesz transform is uniformly bounded from scalar $`L^2(\\mu)`$ to vector-valued $`L^2(\\mu)`$ over all positive hard truncations, for integers d ≥ 4 and $`2\\le n\\le d-2`$. This gives a positive answer to the David–Semmes Riesz-transform question in its remaining higher-codimension range. The conclusion gives uniform big pieces of Lipschitz images of Euclidean balls.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2011, "coverage": "catalog_only", "read_detail": null, "pages": 56, "sha256": "8445a9b1c8e5a4c3bc3f2b5a95fbcfab782f3b81db567bf2ea74f5b5325d5688", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Riesz-transforms-and-uniform-rectifiability-in-higher-codimension-September-24-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Riesz-transforms-and-uniform-rectifiability-in-higher-codimension-September-24-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "082-01", "group": "082", "title": "Annular variation of the triangular Hilbert transform at the symmetric point", "pdf": "preprints/Annular-variation-of-the-triangular-Hilbert-transform-at-the-symmetric-point-October-5-2026/annular-variation.pdf", "folder": "preprints/Annular-variation-of-the-triangular-Hilbert-transform-at-the-symmetric-point-October-5-2026", "abstract_original": "We prove the annular r -variation estimate for the triangular Hilbert transform from complex $`L^3\\times L^3`$ to L 3/2 for every r > 2. The partitions may depend on the output point and range over all positive scales. The estimate yields the two-endpoint maximal bound and joint almost-everywhere and norm principal values, and resolves the symmetric scalar triangular Hilbert transform problem.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2027, "coverage": "catalog_only", "read_detail": null, "pages": 37, "sha256": "f5857c58037fa5289f2f9fe1fe4421af11df8d9fa9b2914ba041469f1195ea31", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Annular-variation-of-the-triangular-Hilbert-transform-at-the-symmetric-point-October-5-2026/annular-variation.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Annular-variation-of-the-triangular-Hilbert-transform-at-the-symmetric-point-October-5-2026/annular-variation.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "082-02", "group": "082", "title": "An L³ bound for the dyadic triangular Hilbert form", "pdf": "preprints/An-L3-bound-for-the-dyadic-triangular-Hilbert-form-October-5-2026/dyadic-triangular-hilbert.pdf", "folder": "preprints/An-L3-bound-for-the-dyadic-triangular-Hilbert-form-October-5-2026", "abstract_original": "We prove a uniform $`L^3\\times L^3\\times L^3`$ estimate for the dyadic triangular Hilbert form with unrestricted real inputs. The sum of the absolute local contributions over any finite set of scales is bounded by forty times the product of the input norms. In particular, the bound allows coefficients of modulus at most one to vary independently among admissible interval triples.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2036, "coverage": "catalog_only", "read_detail": null, "pages": 11, "sha256": "8e92ed5c9a2964956f01ed38b0dc88a849d6baaaf9cc593618e4f1103f2240a6", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/An-L3-bound-for-the-dyadic-triangular-Hilbert-form-October-5-2026/dyadic-triangular-hilbert.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/An-L3-bound-for-the-dyadic-triangular-Hilbert-form-October-5-2026/dyadic-triangular-hilbert.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "082-03", "group": "082", "title": "The maximal triangular Hilbert transform at the symmetric point", "pdf": "preprints/The-maximal-triangular-Hilbert-transform-at-the-symmetric-point-September-24-2026/paper.pdf", "folder": "preprints/The-maximal-triangular-Hilbert-transform-at-the-symmetric-point-September-24-2026", "abstract_original": "For arbitrary complex inputs in $`L^3(\\mathbb R^2)`$, we prove the pointwise maximal $`L^3\\times L^3\\to L^{3/2}`$ estimate for the triangular Hilbert transform, with the supremum over both hard truncation endpoints. The estimate yields joint almost-everywhere and L 3/2 convergence as the lower endpoint tends to zero and the upper endpoint tends to infinity. This also proves the conjectured scalar estimate at the symmetric point.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2045, "coverage": "catalog_only", "read_detail": null, "pages": 27, "sha256": "9dbcf9cb984bcf7b0809cc4221d119794ebca0e40027833ce9fe95b1e72c4247", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/The-maximal-triangular-Hilbert-transform-at-the-symmetric-point-September-24-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/The-maximal-triangular-Hilbert-transform-at-the-symmetric-point-September-24-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "083-01", "group": "083", "title": "A uniform Hilbert transform estimate for Lipschitz directions", "pdf": "preprints/A-uniform-Hilbert-transform-estimate-for-Lipschitz-directions-September-25-2026/main.pdf", "folder": "preprints/A-uniform-Hilbert-transform-estimate-for-Lipschitz-directions-September-25-2026", "abstract_original": "We prove a uniform L 2 bound for the Hilbert transform along a Lipschitz unit vector field in the plane, with integration restricted to a fixed absolute multiple of the reciprocal Lipschitz seminorm. The bound is uniform in the inner truncation and holds for fields depending on both coordinates. This gives an affirmative answer to Stein's weak-$`(2,2)`$ conjecture.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2061, "coverage": "catalog_only", "read_detail": null, "pages": 87, "sha256": "38d5c48b4d83500390195f5c177d2b3d2b7eb80aa9a732ad30a49db51f46e8a4", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/A-uniform-Hilbert-transform-estimate-for-Lipschitz-directions-September-25-2026/main.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/A-uniform-Hilbert-transform-estimate-for-Lipschitz-directions-September-25-2026/main.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "084-01", "group": "084", "title": "The geometric case of the Erdős similarity conjecture", "pdf": "preprints/The-geometric-case-of-the-Erdos-similarity-conjecture-October-5-2026/geometric-erdos-similarity.pdf", "folder": "preprints/The-geometric-case-of-the-Erdos-similarity-conjecture-October-5-2026", "abstract_original": "We prove the geometric-progression case of the Erdős similarity conjecture. For every fixed $`q\\in(0,1)`$ and every $`\\eta\\in(0,1)`$, we construct a compact set $`E_{q,\\eta}\\subseteq[0,1]`$ of measure greater than $`1-\\eta`$ containing no nontrivial affine copy of $`\\{q^n:n\\ge1\\}`$, for any translation and either sign of nonzero dilation. The set may depend on q ; the result makes no simultaneous assertion for different ratios.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2077, "coverage": "catalog_only", "read_detail": null, "pages": 13, "sha256": "a689fb6bbb9d545ae2aee377b0d19555d4c7ad14fb7e5ee0c2d69e6d7d17301e", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/The-geometric-case-of-the-Erdos-similarity-conjecture-October-5-2026/geometric-erdos-similarity.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/The-geometric-case-of-the-Erdos-similarity-conjecture-October-5-2026/geometric-erdos-similarity.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "084-02", "group": "084", "title": "The dyadic case of the Erdős similarity conjecture", "pdf": "preprints/The-dyadic-case-of-the-Erdos-similarity-conjecture-September-25-2026/paper.pdf", "folder": "preprints/The-dyadic-case-of-the-Erdos-similarity-conjecture-September-25-2026", "abstract_original": "We construct a compact subset of the unit interval, of measure arbitrarily close to one, that contains no affine copy of the dyadic sequence $`\\{2^{-n}:n\\ge1\\}`$. The conclusion holds for every translation and every nonzero real dilation, of either sign, proving the dyadic case of the Erdős similarity conjecture.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2086, "coverage": "catalog_only", "read_detail": null, "pages": 16, "sha256": "7e7f6e576f6378978887e6f1043b550d7ea927fb31f29a3a65a7abf2ef29bbed", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/The-dyadic-case-of-the-Erdos-similarity-conjecture-September-25-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/The-dyadic-case-of-the-Erdos-similarity-conjecture-September-25-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "085-01", "group": "085", "title": "An Endpoint Gradient Bound for the Centered Disk Maximal Operator", "pdf": "preprints/An-Endpoint-Gradient-Bound-for-the-Centered-Disk-Maximal-Operator-September-26-2026/article.pdf", "folder": "preprints/An-Endpoint-Gradient-Bound-for-the-Centered-Disk-Maximal-Operator-September-26-2026", "abstract_original": "We prove the endpoint gradient bound $`\\|\\nabla Mf\\|_1\\le C\\|\\nabla f\\|_1`$ for every real-valued $`f\\in W^{1,1}(\\mathbb R^2)`$, where $`Mf(x)`$ is the supremum of the averages of $`|f|`$ over disks centered at x , and C is an absolute constant. The maximal function belongs to $`W^{1,1}_{\\mathrm{loc}}(\\mathbb R^2)`$ and has a globally integrable weak gradient. This gives a positive resolution of the planar centered-disk case of the endpoint question of Hajłasz and Onninen.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2102, "coverage": "catalog_only", "read_detail": null, "pages": 45, "sha256": "d7a9062663c2c8f1bf15dc46457bda39fafbfd15811605c05746d5ca69254244", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/An-Endpoint-Gradient-Bound-for-the-Centered-Disk-Maximal-Operator-September-26-2026/article.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/An-Endpoint-Gradient-Bound-for-the-Centered-Disk-Maximal-Operator-September-26-2026/article.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "086-01", "group": "086", "title": "An L 3 bound for the trilinear Hilbert transform", "pdf": "preprints/An-L3-bound-for-the-trilinear-Hilbert-transform-October-5-2026/paper.pdf", "folder": "preprints/An-L3-bound-for-the-trilinear-Hilbert-transform-October-5-2026", "abstract_original": "We prove that the trilinear Hilbert transform with fixed slopes 1, 2, 3 maps $`L^3(\\mathbb R)\\times L^3(\\mathbb R)\\times L^3(\\mathbb R)`$ to $`L^1(\\mathbb R)`$, resolving this case of the trilinear Hilbert transform conjecture.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2118, "coverage": "catalog_only", "read_detail": null, "pages": 93, "sha256": "24b584066ae76b2f28dc03d32a2b0a2cdc3b4f92e0e82f4a3d133f28ccc5a936", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/An-L3-bound-for-the-trilinear-Hilbert-transform-October-5-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/An-L3-bound-for-the-trilinear-Hilbert-transform-October-5-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "102-01", "group": "102", "title": "The Unique Games Theorem", "pdf": "preprints/The-Unique-Games-Theorem-September-23-2026/paper.pdf", "folder": "preprints/The-Unique-Games-Theorem-September-23-2026", "abstract_original": "We prove the Unique Games Conjecture. For every fixed $`\\varepsilon,\\delta\\in(0,1/2)`$, we give a deterministic polynomial-time reduction from 3SAT to Unique Games over a fixed finite alphabet, with completeness at least $`1-\\varepsilon`$ and soundness at most δ .", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2509, "coverage": "catalog_only", "read_detail": null, "pages": 58, "sha256": "04d0290a9cb7ee815060f82cf556cee893d32b5255613160ca8b8d02a5fe1289", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/The-Unique-Games-Theorem-September-23-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/The-Unique-Games-Theorem-September-23-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "102-02", "group": "102", "title": "A Direct Proof of Optimal Max-Cut Hardness", "pdf": "preprints/A-Direct-Proof-of-Optimal-Max-Cut-Hardness-September-23-2026/paper.pdf", "folder": "preprints/A-Direct-Proof-of-Optimal-Max-Cut-Hardness-September-23-2026", "abstract_original": "We prove that approximating Max-Cut on simple unweighted graphs within any fixed factor greater than the Goemans–Williamson constant is NP-hard.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2518, "coverage": "catalog_only", "read_detail": null, "pages": 38, "sha256": "32a11e793f6e379c8d750f8f3560a6b0648bee56441efd25bceea9c2b7ffb849", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/A-Direct-Proof-of-Optimal-Max-Cut-Hardness-September-23-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/A-Direct-Proof-of-Optimal-Max-Cut-Hardness-September-23-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "102-03", "group": "102", "title": "The Factor-Two Hardness Threshold for Vertex Cover", "pdf": "preprints/The-Factor-Two-Hardness-Threshold-for-Vertex-Cover-September-23-2026/paper.pdf", "folder": "preprints/The-Factor-Two-Hardness-Threshold-for-Vertex-Cover-September-23-2026", "abstract_original": "We prove that minimum Vertex Cover is NP-hard to approximate within every fixed factor below two, even on simple unweighted graphs.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2527, "coverage": "catalog_only", "read_detail": null, "pages": 25, "sha256": "4c8faec31a1af3d0c640485e464ecedd99fb984f4a2c3b457f032685013804ab", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/The-Factor-Two-Hardness-Threshold-for-Vertex-Cover-September-23-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/The-Factor-Two-Hardness-Threshold-for-Vertex-Cover-September-23-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "102-04", "group": "102", "title": "Constant-factor hardness of Min-UnCut", "pdf": "preprints/Constant-factor-hardness-of-Min-UnCut-September-23-2026/paper.pdf", "folder": "preprints/Constant-factor-hardness-of-Min-UnCut-September-23-2026", "abstract_original": "For every fixed C > 1, approximating Min-UnCut within factor C is NP-hard, even on simple undirected unweighted graphs.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2536, "coverage": "catalog_only", "read_detail": null, "pages": 38, "sha256": "3300408a7ae8900efc7ae23fc7ae3a4678750e57de9b5d89d063ff596c710100", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Constant-factor-hardness-of-Min-UnCut-September-23-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Constant-factor-hardness-of-Min-UnCut-September-23-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "102-05", "group": "102", "title": "Constant-factor hardness of directed feedback vertex set", "pdf": "preprints/Constant-factor-hardness-of-directed-feedback-vertex-set-September-23-2026/paper.pdf", "folder": "preprints/Constant-factor-hardness-of-directed-feedback-vertex-set-September-23-2026", "abstract_original": "Approximating minimum directed feedback vertex set within any fixed constant factor is NP-hard, even on unweighted digraphs.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2545, "coverage": "catalog_only", "read_detail": null, "pages": 29, "sha256": "606657a956af61c2d133e59134ec98234d6e5386413ab601c1e7d493d1f0e4f2", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Constant-factor-hardness-of-directed-feedback-vertex-set-September-23-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Constant-factor-hardness-of-directed-feedback-vertex-set-September-23-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "103-01", "group": "103", "title": "Exact derandomization of logarithmic space: L = RL = BPL", "pdf": "preprints/Exact-Derandomization-of-Logarithmic-Space-L-equals-RL-equals-BPL-September-23-2026/paper.pdf", "folder": "preprints/Exact-Derandomization-of-Logarithmic-Space-L-equals-RL-equals-BPL-September-23-2026", "abstract_original": "We prove $`\\mathsf L=\\mathsf{RL}=\\mathsf{BPL}`$, resolving the derandomization problem for polynomial-time randomized logarithmic space.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2561, "coverage": "catalog_only", "read_detail": null, "pages": 108, "sha256": "15030fab23d31a4d91bd944100a547c3e9eff6da8330a4fb94ea999f071fadfc", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Exact-Derandomization-of-Logarithmic-Space-L-equals-RL-equals-BPL-September-23-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Exact-Derandomization-of-Logarithmic-Space-L-equals-RL-equals-BPL-September-23-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "104-01", "group": "104", "title": "Turn-Based Stochastic Mean-Payoff Games in Deterministic Quasipolynomial Time", "pdf": "preprints/Turn-Based-Stochastic-Mean-Payoff-Games-in-Deterministic-Quasipolynomial-Time-October-5-2026/stochastic-mean-payoff-games.pdf", "folder": "preprints/Turn-Based-Stochastic-Mean-Payoff-Games-in-Deterministic-Quasipolynomial-Time-October-5-2026", "abstract_original": "We give a uniform deterministic quasipolynomial-time algorithm for finite turn-based stochastic mean-payoff games with signed integer rewards and rational chance-transition probabilities encoded in binary. It computes exactly the vertices of nonnegative value, including value zero, for the expectation of the pathwise liminf mean payoff. The algorithm uses exact rational arithmetic and $`2^{O((\\log(L+2))^2)}`$ bit operations, where L is the complete binary input length.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2577, "coverage": "catalog_only", "read_detail": null, "pages": 20, "sha256": "77e967a1db5965db666692bdd37226ed8eeb5223b8d355e614f23f0ebc0b007d", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Turn-Based-Stochastic-Mean-Payoff-Games-in-Deterministic-Quasipolynomial-Time-October-5-2026/stochastic-mean-payoff-games.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Turn-Based-Stochastic-Mean-Payoff-Games-in-Deterministic-Quasipolynomial-Time-October-5-2026/stochastic-mean-payoff-games.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "104-02", "group": "104", "title": "Mean-payoff parity games in quasipolynomial time", "pdf": "preprints/Mean-payoff-parity-games-in-quasipolynomial-time-October-5-2026/mean-payoff-parity.pdf", "folder": "preprints/Mean-payoff-parity-games-in-quasipolynomial-time-October-5-2026", "abstract_original": "We give a uniform deterministic quasipolynomial-time algorithm for mean-payoff parity games. It computes all vertices from which a player can enforce both nonnegative liminf mean payoff and the parity condition, with arbitrary signed binary rewards and unrestricted binary priorities. The running time is $`2^{O((\\log(L+2))^2)}`$ bit operations, where L is the complete input length.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2586, "coverage": "catalog_only", "read_detail": null, "pages": 14, "sha256": "78583f3170d29154e93c491ac9142abeb65bb45b6a0a5e8436fd30c5200fe3c4", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Mean-payoff-parity-games-in-quasipolynomial-time-October-5-2026/mean-payoff-parity.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Mean-payoff-parity-games-in-quasipolynomial-time-October-5-2026/mean-payoff-parity.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "104-03", "group": "104", "title": "Deterministic quasipolynomial-time mean-payoff games", "pdf": "preprints/Deterministic-quasipolynomial-time-mean-payoff-games-September-25-2026/paper.pdf", "folder": "preprints/Deterministic-quasipolynomial-time-mean-payoff-games-September-25-2026", "abstract_original": "We give a deterministic algorithm that computes the complete zero-threshold winning set of a finite mean-payoff game with arbitrary signed integer edge weights encoded in binary. For total explicit input length L , it uses $`2^{O((\\log(L+2))^2)}`$ bit operations. A reduction also computes the exact rational value at every vertex and globally optimal positional strategies for both players within the same quasipolynomial bound.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2595, "coverage": "catalog_only", "read_detail": null, "pages": 27, "sha256": "5d8d8876fd2982fd3a1a1f751893b40d38f6d400b7d669cf3f49d920ae4193d0", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Deterministic-quasipolynomial-time-mean-payoff-games-September-25-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Deterministic-quasipolynomial-time-mean-payoff-games-September-25-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "104-04", "group": "104", "title": "Randomized quasipolynomial-time mean-payoff games", "pdf": "preprints/Randomized-quasipolynomial-time-mean-payoff-games-September-25-2026/paper.pdf", "folder": "preprints/Randomized-quasipolynomial-time-mean-payoff-games-September-25-2026", "abstract_original": "We give a randomized algorithm that computes the complete zero-threshold winning set of a finite mean-payoff game with arbitrary signed integer edge weights encoded in binary. For total explicit input length L , it uses $`2^{O((\\log(L+2))^2)}`$ bit operations on every random tape and is correct with probability at least 7/8. A polynomial-time check certifies the winning regions and positional strategies for both players or reports failure. Independent repetition therefore gives an always-correct algorithm with the same expected quasipolynomial bit bound.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2604, "coverage": "catalog_only", "read_detail": null, "pages": 41, "sha256": "4ab7552f58266134879a520c0d9a21a002438521e782418017ffe9bc1ecf23f3", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Randomized-quasipolynomial-time-mean-payoff-games-September-25-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Randomized-quasipolynomial-time-mean-payoff-games-September-25-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "105-01", "group": "105", "title": "Perfect completeness for 2-to-1 games", "pdf": "preprints/Perfect-completeness-for-2-to-1-games-September-23-2026/paper.pdf", "folder": "preprints/Perfect-completeness-for-2-to-1-games-September-23-2026", "abstract_original": "We prove the 2-to-1 Games Conjecture with perfect completeness. For every fixed rational $`\\delta\\in(0,1)`$, it is NP-hard to distinguish satisfiable 2-to-1 games from games of value at most δ , with a fixed alphabet and an explicitly listed unweighted multiset of constraints.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2620, "coverage": "catalog_only", "read_detail": null, "pages": 53, "sha256": "2691ba6bd2ac7159a2b0900faa180a222fa078e3df8520607b23adf8a3a38aa9", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Perfect-completeness-for-2-to-1-games-September-23-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Perfect-completeness-for-2-to-1-games-September-23-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "106-01", "group": "106", "title": "Hardness of finding large independent sets in three-colorable graphs", "pdf": "preprints/Hardness-of-finding-large-independent-sets-in-three-colorable-graphs-September-24-2026/Hardness-of-finding-large-independent-sets-in-three-colorable-graphs-September-24-2026.pdf", "folder": "preprints/Hardness-of-finding-large-independent-sets-in-three-colorable-graphs-September-24-2026", "abstract_original": "We prove that, for every fixed $`0\\lt \\delta\\lt 1/3`$, it is NP-hard to distinguish three-colorable graphs from graphs in which every independent set has fewer than δ times the number of vertices. Consequently, for every fixed integer c ≥ 3, finding a proper c -coloring of a three-colorable graph is NP-hard.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2636, "coverage": "catalog_only", "read_detail": null, "pages": 21, "sha256": "3ae304fee935151798fc6d30d9f5e706615a7b1a30f85bdb1f3422466af62e44", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Hardness-of-finding-large-independent-sets-in-three-colorable-graphs-September-24-2026/Hardness-of-finding-large-independent-sets-in-three-colorable-graphs-September-24-2026.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Hardness-of-finding-large-independent-sets-in-three-colorable-graphs-September-24-2026/Hardness-of-finding-large-independent-sets-in-three-colorable-graphs-September-24-2026.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "107-01", "group": "107", "title": "An Upper Bound of 9/4 for the Matrix Multiplication Exponent", "pdf": "preprints/Matrix-Multiplication-Nine-Fourths-October-2-2026/paper.pdf", "folder": "preprints/Matrix-Multiplication-Nine-Fourths-October-2-2026", "abstract_original": "We prove that the exponent of matrix multiplication over the complex numbers is at most 9/4.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2652, "coverage": "catalog_only", "read_detail": null, "pages": 13, "sha256": "9c430672ddf2a1d0d2335c55c03b0b1fdea72f5a000c586bf130c2e984f19ae6", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Matrix-Multiplication-Nine-Fourths-October-2-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Matrix-Multiplication-Nine-Fourths-October-2-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "107-02", "group": "107", "title": "Complex Matrix Multiplication Below 2.258 and Rectangular Bounds", "pdf": "preprints/Complex-Matrix-Multiplication-Below-2.258-and-Rectangular-Bounds-September-24-2026/Complex-Matrix-Multiplication-Below-2.258-and-Rectangular-Bounds-September-24-2026.pdf", "folder": "preprints/Complex-Matrix-Multiplication-Below-2.258-and-Rectangular-Bounds-September-24-2026", "abstract_original": "— secondary writeup Over every field of characteristic zero, we prove that the square matrix-multiplication exponent satisfies ω < 2.258, the dual exponent satisfies α > 0.465, and $`\\omega(1,0.709,1)\\lt 2.092`$. The strict square and k = 0.709 rectangular bounds also hold over every field except possibly in one finite set of positive characteristics, in the arithmetic-operation model.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2661, "coverage": "catalog_only", "read_detail": null, "pages": 83, "sha256": "97ffc7fc55cae485ec1f001a66c4ece8a293215b1ecfc8f9ec50ef4913c8e9f0", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Complex-Matrix-Multiplication-Below-2.258-and-Rectangular-Bounds-September-24-2026/Complex-Matrix-Multiplication-Below-2.258-and-Rectangular-Bounds-September-24-2026.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Complex-Matrix-Multiplication-Below-2.258-and-Rectangular-Bounds-September-24-2026/Complex-Matrix-Multiplication-Below-2.258-and-Rectangular-Bounds-September-24-2026.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "107-03", "group": "107", "title": "Staggered extraction for exact matrix multiplication over every field", "pdf": "preprints/Staggered-extraction-for-exact-matrix-multiplication-over-every-field-September-24-2026/Staggered-extraction-for-exact-matrix-multiplication-over-every-field-September-24-2026.pdf", "folder": "preprints/Staggered-extraction-for-exact-matrix-multiplication-over-every-field-September-24-2026", "abstract_original": "We prove that the arithmetic exponent of square matrix multiplication over every fixed field satisfies ω < 2.371054886006746. This includes every positive characteristic.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2670, "coverage": "catalog_only", "read_detail": null, "pages": 35, "sha256": "85aa655473a156ad16db5bc59190d487a55db864d1014af0610c9c1f5b08490b", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Staggered-extraction-for-exact-matrix-multiplication-over-every-field-September-24-2026/Staggered-extraction-for-exact-matrix-multiplication-over-every-field-September-24-2026.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Staggered-extraction-for-exact-matrix-multiplication-over-every-field-September-24-2026/Staggered-extraction-for-exact-matrix-multiplication-over-every-field-September-24-2026.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "108-01", "group": "108", "title": "A cubic lower bound for border determinantal complexity of the permanent", "pdf": "preprints/A-cubic-lower-bound-for-border-determinantal-complexity-of-the-permanent-September-24-2026/A-cubic-lower-bound-for-border-determinantal-complexity-of-the-permanent-September-24-2026.pdf", "folder": "preprints/A-cubic-lower-bound-for-border-determinantal-complexity-of-the-permanent-September-24-2026", "abstract_original": "We prove that the complex border determinantal complexity of the $`m\\times m`$ permanent is $`\\Omega(m^3)`$, allowing arbitrary affine-linear determinant representations and coefficientwise limits. It also gives cubic lower bounds for exact determinantal complexity and for the numbers of vertices and edges in affine-linear algebraic branching programs, including coefficientwise limits with a fixed vertex or edge budget.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2686, "coverage": "catalog_only", "read_detail": null, "pages": 35, "sha256": "9eb71358fe8d9e08b450286ec6f40cb9f1452f3a49ed7801429485c2676526a6", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/A-cubic-lower-bound-for-border-determinantal-complexity-of-the-permanent-September-24-2026/A-cubic-lower-bound-for-border-determinantal-complexity-of-the-permanent-September-24-2026.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/A-cubic-lower-bound-for-border-determinantal-complexity-of-the-permanent-September-24-2026/A-cubic-lower-bound-for-border-determinantal-complexity-of-the-permanent-September-24-2026.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "109-01", "group": "109", "title": "Integer multiplication below n log n", "pdf": "preprints/Integer-multiplication-below-n-log-n-September-23-2026/paper.pdf", "folder": "preprints/Integer-multiplication-below-n-log-n-September-23-2026", "abstract_original": "We give a deterministic algorithm that multiplies two n -bit integers in $`O(n(\\lg n)^{1-\\kappa})`$ worst-case time, with $`\\kappa=2^{-182}`$, on one fixed finite-alphabet Turing machine with a fixed finite number of one-dimensional tapes. The algorithm is exact for every input length and disproves the $`n\\log n`$ optimality conjecture of Schönhage and Strassen in this model.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2702, "coverage": "intro_theorems", "read_detail": { "work": "109-01", "pages": "1–4", "scope": "Модель, теорема и архитектура; 73-страничное доказательство не прочитано полностью" }, "pages": 73, "sha256": "834f644c3ce67932b9f7357d3615fb8fea4a7ff198d90e4f6883a15ba9df7129", "bundled_pdf": "sources/papers/109-01/paper.pdf", "local_href": "../math_sources/math_research_07_of_08/preprints/Integer-multiplication-below-n-log-n-September-23-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Integer-multiplication-below-n-log-n-September-23-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "110-01", "group": "110", "title": "Squared-logarithmic randomized k-server on arbitrary metrics", "pdf": "preprints/Squared-logarithmic-randomized-k-server-on-arbitrary-metrics-September-24-2026/Squared-logarithmic-randomized-k-server-on-arbitrary-metrics-September-24-2026.pdf", "folder": "preprints/Squared-logarithmic-randomized-k-server-on-arbitrary-metrics-September-24-2026", "abstract_original": "We prove that randomized k -server has competitive ratio $`O((\\log(k+1))^2)`$ on every metric space against oblivious request sequences, matching the known worst-case lower bound. For each metric and initial configuration, one policy works for all finite request sequences, including on infinite and unbounded spaces. When the initial server positions are distinct, no additive term is needed.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2718, "coverage": "intro_theorems", "read_detail": { "work": "110-01", "pages": "1–3", "scope": "Введение, теорема 1.1 и архитектура; доказательство целиком не прочитано" }, "pages": 71, "sha256": "db9f0de04f757cf331b18404e7816d1fdbcf4842d79266cfd40f51d69926969e", "bundled_pdf": "sources/papers/110-01/Squared-logarithmic-randomized-k-server-on-arbitrary-metrics-September-24-2026.pdf", "local_href": "../math_sources/math_research_07_of_08/preprints/Squared-logarithmic-randomized-k-server-on-arbitrary-metrics-September-24-2026/Squared-logarithmic-randomized-k-server-on-arbitrary-metrics-September-24-2026.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Squared-logarithmic-randomized-k-server-on-arbitrary-metrics-September-24-2026/Squared-logarithmic-randomized-k-server-on-arbitrary-metrics-September-24-2026.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "110-02", "group": "110", "title": "Uniform computation of the squared-logarithmic k-server bound", "pdf": "preprints/Uniform-computation-of-the-squared-logarithmic-k-server-bound-September-24-2026/Uniform-computation-of-the-squared-logarithmic-k-server-bound-September-24-2026.pdf", "folder": "preprints/Uniform-computation-of-the-squared-logarithmic-k-server-bound-September-24-2026", "abstract_original": "We construct a uniform randomized k -server algorithm on finite rational metrics with competitive ratio $`O(\\log^2(k+1))`$ against oblivious request sequences. Preprocessing is polynomial in the input length, and per-request bit complexity is polynomial in that length and the binary request-counter length. The additive movement constant is finite and instance-dependent, but may be enormous. The construction uses the companion squared-logarithmic existence theorem.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2727, "coverage": "intro_theorems", "read_detail": { "work": "110-02", "pages": "1–2", "scope": "Теорема и оговорка о начальном периоде" }, "pages": 16, "sha256": "2e665c0419f62ed427a64157dc31b6e3abf76b40810f0596d12ae5ef4ede8554", "bundled_pdf": "sources/papers/110-02/Uniform-computation-of-the-squared-logarithmic-k-server-bound-September-24-2026.pdf", "local_href": "../math_sources/math_research_07_of_08/preprints/Uniform-computation-of-the-squared-logarithmic-k-server-bound-September-24-2026/Uniform-computation-of-the-squared-logarithmic-k-server-bound-September-24-2026.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Uniform-computation-of-the-squared-logarithmic-k-server-bound-September-24-2026/Uniform-computation-of-the-squared-logarithmic-k-server-bound-September-24-2026.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "111-01", "group": "111", "title": "One Sample Suffices for Matroid Prophet Inequalities against an Almighty Adversary", "pdf": "preprints/One-Sample-Suffices-for-Matroid-Prophet-Inequalities-against-an-Almighty-Adversary-September-23-2026/final.pdf", "folder": "preprints/One-Sample-Suffices-for-Matroid-Prophet-Inequalities-against-an-Almighty-Adversary-September-23-2026", "abstract_original": "We prove that one independent sample per element suffices for a constant-competitive prophet inequality on every finite matroid. The guarantee holds even when the arrival-order adversary observes all samples, all online values, and the algorithm's entire random seed. The rule needs no description of the value distributions and achieves the absolute competitive ratio $`2^{-310}`$.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2743, "coverage": "catalog_only", "read_detail": null, "pages": 27, "sha256": "4bcbebba491320129402440fc3892ec876a04b3afb933305b214e9341d953c7e", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/One-Sample-Suffices-for-Matroid-Prophet-Inequalities-against-an-Almighty-Adversary-September-23-2026/final.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/One-Sample-Suffices-for-Matroid-Prophet-Inequalities-against-an-Almighty-Adversary-September-23-2026/final.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "112-01", "group": "112", "title": "Beyond the Square-Root Exponent for Depth-Three Boolean Circuits", "pdf": "preprints/Beyond-the-Square-Root-Exponent-for-Depth-Three-Boolean-Circuits-September-23-2026/main.pdf", "folder": "preprints/Beyond-the-Square-Root-Exponent-for-Depth-Three-Boolean-Circuits-September-23-2026", "abstract_original": "We construct a language in deterministic polynomial time whose n -bit membership function requires $`2^{\\omega(\\sqrt n)}`$ gates in an unbounded-fan-in OR–AND–OR circuit. The bound holds at every sufficiently large input length and counts all gates, including the bottom layer.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2759, "coverage": "catalog_only", "read_detail": null, "pages": 20, "sha256": "cdf62ece9339404658e0e1f68077e09d86a5ee1b1f3dfaf3d67e324bc5d0586b", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Beyond-the-Square-Root-Exponent-for-Depth-Three-Boolean-Circuits-September-23-2026/main.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Beyond-the-Square-Root-Exponent-for-Depth-Three-Boolean-Circuits-September-23-2026/main.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "113-01", "group": "113", "title": "A Fully Polynomial Randomized Approximation Scheme for Perfect Matchings in General Graphs", "pdf": "preprints/A-Fully-Polynomial-Randomized-Approximation-Scheme-for-Perfect-Matchings-in-General-Graphs-September-23-2026/main.pdf", "folder": "preprints/A-Fully-Polynomial-Randomized-Approximation-Scheme-for-Perfect-Matchings-in-General-Graphs-September-23-2026", "abstract_original": "We give a fully polynomial randomized approximation scheme (FPRAS) for counting perfect matchings in arbitrary finite simple undirected graphs, resolving the general-graph perfect-matching approximation problem. The algorithm returns zero with certainty when no perfect matching exists. Otherwise, it achieves relative error ε with failure probability at most δ in worst-case bit time polynomial in the input length, $`\\varepsilon ^{-1}`$, and $`\\log\\delta^{-1}`$.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2775, "coverage": "intro_theorems", "read_detail": { "work": "113-01", "pages": "1–3", "scope": "Постановка, теорема, историческое сопоставление и оглавление доказательства" }, "pages": 45, "sha256": "1510b15725ee7e92a6c543484c6c02ce7f26347a32c1a11cd66c5890b94c6de1", "bundled_pdf": "sources/papers/113-01/main.pdf", "local_href": "../math_sources/math_research_07_of_08/preprints/A-Fully-Polynomial-Randomized-Approximation-Scheme-for-Perfect-Matchings-in-General-Graphs-September-23-2026/main.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/A-Fully-Polynomial-Randomized-Approximation-Scheme-for-Perfect-Matchings-in-General-Graphs-September-23-2026/main.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "113-02", "group": "113", "title": "Entropy and Face Dimension of the Perfect-Matching Polytope", "pdf": "preprints/Entropy-and-Face-Dimension-of-the-Perfect-Matching-Polytope-September-23-2026/main.pdf", "folder": "preprints/Entropy-and-Face-Dimension-of-the-Perfect-Matching-Polytope-September-23-2026", "abstract_original": "We prove the perfect-matching entropy conjecture of Anari, Oveis Gharan, and Vinzant. For every feasible vector x of perfect-matching edge marginals in a loopless labelled multigraph on $`2m\\ge2`$ vertices, the maximum entropy $`H(x)`$ of a matching law with marginals x satisfies $`\\displaystyle F(x)-(2-2/m)B(x)\\le H(x)\\le F(x),`$ where $`F(x)=-\\sum_e x_e\\log x_e`$ and $`B(x)=-\\sum_e(1-x_e)\\log(1-x_e)`$. This bound holds throughout the polytope, including its boundary. We also prove the sharp bound $`|\\mathop{\\mathrm{supp}}\\nolimits x|-\\dim F_x\\le3m-2`$, where F x is the minimal face of the perfect-matching polytope containing x .", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2784, "coverage": "catalog_only", "read_detail": null, "pages": 45, "sha256": "c0b726a089502900b6b0c6b26b3d024cc55c440ce5d4abc71584b2c9ffe2fae4", "bundled_pdf": "sources/papers/113-02/main.pdf", "local_href": "../math_sources/math_research_07_of_08/preprints/Entropy-and-Face-Dimension-of-the-Perfect-Matching-Polytope-September-23-2026/main.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Entropy-and-Face-Dimension-of-the-Perfect-Matching-Polytope-September-23-2026/main.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "114-01", "group": "114", "title": "An FPRAS for Common Integer Polymatroid Bases with Binary Capacities", "pdf": "preprints/An-FPRAS-for-Common-Integer-Polymatroid-Bases-with-Binary-Capacities-October-5-2026/polymatroid-fpras.pdf", "folder": "preprints/An-FPRAS-for-Common-Integer-Polymatroid-Bases-with-Binary-Capacities-October-5-2026", "abstract_original": "We give a fully polynomial randomized approximation scheme for counting common integer bases of two polymatroids with the same total rank, supplied by exact rank-value oracles. The total rank and capacities are encoded in binary, and each integer vector is counted once. On every execution, the number of oracle calls and the bit work outside the oracles are bounded by a fixed polynomial in the ground-set size, the binary input length, the inverse relative-error tolerance, and the logarithm of the inverse failure probability. The algorithm handles binary capacities directly, without expanding them into labelled copies.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2804, "coverage": "catalog_only", "read_detail": null, "pages": 42, "sha256": "c14d087890444879a1ff0d492e8cfc3fdb976af562c966ee5c5bd3c3e2ade2e8", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/An-FPRAS-for-Common-Integer-Polymatroid-Bases-with-Binary-Capacities-October-5-2026/polymatroid-fpras.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/An-FPRAS-for-Common-Integer-Polymatroid-Bases-with-Binary-Capacities-October-5-2026/polymatroid-fpras.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "114-02", "group": "114", "title": "Approximate counting of common bases of two matroids", "pdf": "preprints/Approximate-counting-of-common-bases-of-two-matroids-September-23-2026/main.pdf", "folder": "preprints/Approximate-counting-of-common-bases-of-two-matroids-September-23-2026", "abstract_original": "We give a fully polynomial randomized approximation scheme for counting the common bases of two arbitrary matroids of the same rank, supplied by independence oracles. The algorithm requires no explicit representation of either matroid and has polynomial bounds on both oracle calls and bit operations on every execution.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2813, "coverage": "catalog_only", "read_detail": null, "pages": 26, "sha256": "7ed3dfdefcfa677a2b06e7fcde5efefc1a26d3ff774a4b604166e21082ac2607", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Approximate-counting-of-common-bases-of-two-matroids-September-23-2026/main.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Approximate-counting-of-common-bases-of-two-matroids-September-23-2026/main.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "115-01", "group": "115", "title": "Exact Uniform Sampling of Contingency Tables with Arbitrary Margins", "pdf": "preprints/Exact-Uniform-Sampling-of-Contingency-Tables-with-Arbitrary-Margins-September-24-2026/main.pdf", "folder": "preprints/Exact-Uniform-Sampling-of-Contingency-Tables-with-Arbitrary-Margins-September-24-2026", "abstract_original": "We give an exact uniform sampler for nonnegative integer contingency tables with arbitrary prescribed margins. It terminates almost surely and has expected bit complexity polynomial in both dimensions and the binary length of the margins. No positivity, balance, sparsity, or fixed-dimension assumption is required.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2829, "coverage": "intro_theorems", "read_detail": { "work": "115-01", "pages": "1–3", "scope": "Теорема и начальная архитектура" }, "pages": 31, "sha256": "be1d677ab515ceb23e7ee9fd369d705345ec0c9254585ac96ded3aa97732cd89", "bundled_pdf": "sources/papers/115-01/main.pdf", "local_href": "../math_sources/math_research_07_of_08/preprints/Exact-Uniform-Sampling-of-Contingency-Tables-with-Arbitrary-Margins-September-24-2026/main.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Exact-Uniform-Sampling-of-Contingency-Tables-with-Arbitrary-Margins-September-24-2026/main.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "115-02", "group": "115", "title": "An FPRAS for Cell-Bounded Contingency Tables", "pdf": "preprints/An-FPRAS-for-Cell-Bounded-Contingency-Tables-September-24-2026/main.pdf", "folder": "preprints/An-FPRAS-for-Cell-Bounded-Contingency-Tables-September-24-2026", "abstract_original": "We give a fully polynomial randomized approximation scheme for counting nonnegative integer matrices with prescribed row sums, column sums, and individual entry bounds. Both dimensions vary, all numerical data are encoded in binary, and zero bounds are allowed. The algorithm uses only unbiased random bits and has a polynomial bound on its bit operations on every execution.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2838, "coverage": "intro_theorems", "read_detail": { "work": "115-02", "pages": "1–3", "scope": "Точная модель, история, отдельные последствия и конструкция больших ячеек" }, "pages": 47, "sha256": "10bad4277d11b9d1c69842fd8e9028c67edb9ebce6092ad6332703975c8fd7e7", "bundled_pdf": "sources/papers/115-02/main.pdf", "local_href": "../math_sources/math_research_07_of_08/preprints/An-FPRAS-for-Cell-Bounded-Contingency-Tables-September-24-2026/main.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/An-FPRAS-for-Cell-Bounded-Contingency-Tables-September-24-2026/main.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "116-01", "group": "116", "title": "Uniform Matrix Hitting Points in Every Positive Characteristic", "pdf": "preprints/Uniform-Matrix-Hitting-Points-in-Every-Positive-Characteristic-October-4-2026/uniform-matrix-hitting-points-positive-characteristic.pdf", "folder": "preprints/Uniform-Matrix-Hitting-Points-in-Every-Positive-Characteristic-October-4-2026", "abstract_original": "We construct a single matrix substitution that detects every nonzero size- s division-free noncommutative formula in n variables over every field of a given positive characteristic. One deterministic machine, given a promised prime p in binary and n , s in unary, outputs matrices over 𝔽 p of dimension $`O(n^3s^6)`$ in polynomial bit time. The same tuple works with arbitrary extension-field coefficients, including in characteristic two. The construction also applies to the stated acyclic algebraic path programs.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2854, "coverage": "catalog_only", "read_detail": null, "pages": 14, "sha256": "06284554d3db1df4569dff00d12df083815bf1bafc401f9c97f4ba9cc09119fc", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Uniform-Matrix-Hitting-Points-in-Every-Positive-Characteristic-October-4-2026/uniform-matrix-hitting-points-positive-characteristic.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Uniform-Matrix-Hitting-Points-in-Every-Positive-Characteristic-October-4-2026/uniform-matrix-hitting-points-positive-characteristic.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "116-02", "group": "116", "title": "One Rational Matrix Hitting Point for Noncommutative Formulas", "pdf": "preprints/One-Rational-Matrix-Hitting-Point-for-Noncommutative-Formulas-September-24-2026/One-Rational-Matrix-Hitting-Point-for-Noncommutative-Formulas-September-24-2026.pdf", "folder": "preprints/One-Rational-Matrix-Hitting-Point-for-Noncommutative-Formulas-September-24-2026", "abstract_original": "We construct, in deterministic polynomial bit time, one tuple of rational matrices that detects every nonzero polynomial computed by a noncommutative division-free formula of a prescribed size. The matrices have dimension $`O(ns^2)`$ for n variables and formula size s , and the same tuple works over every field of characteristic zero.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2863, "coverage": "catalog_only", "read_detail": null, "pages": 13, "sha256": "984d0d4287bc29fc4772a2254aabafb9ee8886c56eeafeef0a746c7fc06869ed", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/One-Rational-Matrix-Hitting-Point-for-Noncommutative-Formulas-September-24-2026/One-Rational-Matrix-Hitting-Point-for-Noncommutative-Formulas-September-24-2026.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/One-Rational-Matrix-Hitting-Point-for-Noncommutative-Formulas-September-24-2026/One-Rational-Matrix-Hitting-Point-for-Noncommutative-Formulas-September-24-2026.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "116-03", "group": "116", "title": "Polynomial Hitting Lists for Noncommutative Rational Formulas", "pdf": "preprints/Polynomial-Hitting-Lists-for-Noncommutative-Rational-Formulas-September-24-2026/Polynomial-Hitting-Lists-for-Noncommutative-Rational-Formulas-September-24-2026.pdf", "folder": "preprints/Polynomial-Hitting-Lists-for-Noncommutative-Rational-Formulas-September-24-2026", "abstract_original": "We construct, in deterministic polynomial bit time, a polynomial-size list of rational matrix tuples for noncommutative rational formulas over ℚ of bounded tree size. Every nonzero admissible formula has a defined, invertible value at one tuple, with no separate bounds on inverse nesting or rational constant heights. Matrix dimensions, entry bit lengths, and total output length are polynomially bounded.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2872, "coverage": "catalog_only", "read_detail": null, "pages": 25, "sha256": "8f6fe5057bd59278bfb88ccf38342c09602e547f35a757b8eadc30ece76cec0e", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Polynomial-Hitting-Lists-for-Noncommutative-Rational-Formulas-September-24-2026/Polynomial-Hitting-Lists-for-Noncommutative-Rational-Formulas-September-24-2026.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Polynomial-Hitting-Lists-for-Noncommutative-Rational-Formulas-September-24-2026/Polynomial-Hitting-Lists-for-Noncommutative-Rational-Formulas-September-24-2026.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "117-01", "group": "117", "title": "Constant-factor hardness of uniform sparsest cut", "pdf": "preprints/Constant-factor-hardness-of-uniform-sparsest-cut-September-24-2026/Constant-factor-hardness-of-uniform-sparsest-cut-September-24-2026.pdf", "folder": "preprints/Constant-factor-hardness-of-uniform-sparsest-cut-September-24-2026", "abstract_original": "We prove that, for every fixed C > 1, approximating Uniform Sparsest Cut within factor C is NP-hard. The output graphs have nonnegative rational capacities and unit demand between every pair of distinct vertices.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2888, "coverage": "catalog_only", "read_detail": null, "pages": 48, "sha256": "75f6af00a38589bf57470aee3c1ad3e0b2ad8c9f676e656cb5fdec311f90baf8", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Constant-factor-hardness-of-uniform-sparsest-cut-September-24-2026/Constant-factor-hardness-of-uniform-sparsest-cut-September-24-2026.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Constant-factor-hardness-of-uniform-sparsest-cut-September-24-2026/Constant-factor-hardness-of-uniform-sparsest-cut-September-24-2026.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "117-02", "group": "117", "title": "Near-square-root logarithmic integrality gaps for uniform sparsest cut", "pdf": "preprints/Near-square-root-logarithmic-integrality-gaps-for-uniform-sparsest-cut-September-24-2026/Near-square-root-logarithmic-integrality-gaps-for-uniform-sparsest-cut-September-24-2026.pdf", "folder": "preprints/Near-square-root-logarithmic-integrality-gaps-for-uniform-sparsest-cut-September-24-2026", "abstract_original": "We construct uniform sparsest-cut instances whose Goemans–Linial semidefinite integrality gap is at least $`c\\sqrt{\\log n}/(\\log\\log n)^3`$ along a sequence $`n\\to\\infty`$. The demand is one between every pair of distinct vertices, and the capacities are nonnegative real numbers. This matches the Arora–Rao–Vazirani upper bound up to a power of $`\\log\\log n`$.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2897, "coverage": "catalog_only", "read_detail": null, "pages": 22, "sha256": "d47a50531670a4f9c16025fcaeadd90ba1b5ecc8942999156cfcc1eb88fc902a", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Near-square-root-logarithmic-integrality-gaps-for-uniform-sparsest-cut-September-24-2026/Near-square-root-logarithmic-integrality-gaps-for-uniform-sparsest-cut-September-24-2026.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Near-square-root-logarithmic-integrality-gaps-for-uniform-sparsest-cut-September-24-2026/Near-square-root-logarithmic-integrality-gaps-for-uniform-sparsest-cut-September-24-2026.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "118-01", "group": "118", "title": "Additive hardness and unbounded configuration gaps in bin packing", "pdf": "preprints/Additive-hardness-and-unbounded-configuration-gaps-in-bin-packing-September-24-2026/Additive-hardness-and-unbounded-configuration-gaps-in-bin-packing-September-24-2026.pdf", "folder": "preprints/Additive-hardness-and-unbounded-configuration-gaps-in-bin-packing-September-24-2026", "abstract_original": "We disprove the Modified Integer Round-Up Conjecture for bin packing by constructing instances with arbitrarily large additive gaps between the configuration-LP value and the integral optimum. We also prove that, for every fixed nonnegative integer c , distinguishing instances that fit in B bins from those requiring more than $`B+c`$ bins is NP-hard. Both results hold with rational item sizes greater than 1/6, so each bin contains at most five items.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2913, "coverage": "intro_theorems", "read_detail": { "work": "118-01", "pages": "1–4", "scope": "Модели LP, две главные теоремы, начальный план редукции" }, "pages": 26, "sha256": "cf1e9b383ad38a1c6b8d0117e1e6f485a482480d05471d11de02c81020cbb9e6", "bundled_pdf": "sources/papers/118-01/Additive-hardness-and-unbounded-configuration-gaps-in-bin-packing-September-24-2026.pdf", "local_href": "../math_sources/math_research_07_of_08/preprints/Additive-hardness-and-unbounded-configuration-gaps-in-bin-packing-September-24-2026/Additive-hardness-and-unbounded-configuration-gaps-in-bin-packing-September-24-2026.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Additive-hardness-and-unbounded-configuration-gaps-in-bin-packing-September-24-2026/Additive-hardness-and-unbounded-configuration-gaps-in-bin-packing-September-24-2026.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "119-01", "group": "119", "title": "Sharp binary-information contraction on the discrete cube", "pdf": "preprints/Sharp-binary-information-contraction-on-the-discrete-cube-September-24-2026/main.pdf", "folder": "preprints/Sharp-binary-information-contraction-on-the-discrete-cube-September-24-2026", "abstract_original": "We prove sharp contraction of the information carried by a binary channel under independent symmetric noise on a uniform discrete cube. At fixed initial information, a noisy coordinate retains the most information. The Boolean specialization resolves the Courtade–Kumar conjecture and gives an output-entropy refinement. We also establish a stronger mean-dependent entropy-production bound. The proof combines an explicit three-point optimizer for the local joining problem, two entropy capacities, and a common-output thinning inequality, followed by dimension induction and integration along the noise semigroup.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2929, "coverage": "catalog_only", "read_detail": null, "pages": 29, "sha256": "01a59d40aaecfb1d6f461f2d3f6f5b3b6054062ba6fe7a8e6d4ddef760488ecd", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Sharp-binary-information-contraction-on-the-discrete-cube-September-24-2026/main.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Sharp-binary-information-contraction-on-the-discrete-cube-September-24-2026/main.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "119-02", "group": "119", "title": "Hellinger contraction with arbitrary Boolean output bias", "pdf": "preprints/Hellinger-contraction-with-arbitrary-Boolean-output-bias-September-24-2026/main.pdf", "folder": "preprints/Hellinger-contraction-with-arbitrary-Boolean-output-bias-September-24-2026", "abstract_original": "We prove the Hellinger conjecture for Boolean functions on the uniform discrete cube, with arbitrary output bias. For a Boolean function of mean m and every $`\\rho\\in[-1,1]`$, the loss $`\\sqrt{1-m^2}-\\mathbb E\\sqrt{1-(T_\\rho f)^2}`$ is at most $`1-\\sqrt{1-\\rho^2}`$, with equality for signed coordinates. The proof combines asymmetric dimension induction, a calibrated noise-semigroup energy estimate, and finite exact arithmetic certificates. The Hellinger inequality also yields the Courtade–Kumar information bound.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2938, "coverage": "catalog_only", "read_detail": null, "pages": 50, "sha256": "cc0bdb9cca4c6ab467288c435beeab2e3ff69a851d45a125998c38f96785029b", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Hellinger-contraction-with-arbitrary-Boolean-output-bias-September-24-2026/main.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Hellinger-contraction-with-arbitrary-Boolean-output-bias-September-24-2026/main.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "120-01", "group": "120", "title": "Almost-Linear-Time Maximum-Cardinality Matching in General Graphs", "pdf": "preprints/Almost-Linear-Time-Maximum-Cardinality-Matching-in-Sparse-General-Graphs-September-24-2026/main.pdf", "folder": "preprints/Almost-Linear-Time-Maximum-Cardinality-Matching-in-Sparse-General-Graphs-September-24-2026", "abstract_original": "We prove that maximum-cardinality matching in a simple undirected graph with n vertices and m edges can be found by one uniform randomized algorithm in $`(n+m)^{1+o(1)}`$ time. The bound holds on every computation path in a logarithmic-word model, and the algorithm returns an explicit maximum matching with probability at least 2/3. An explicit reduction gives the same time and probability guarantees for deciding whether a simple host graph has a spanning subgraph with prescribed valid vertex degrees, and for finding one when it exists.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2954, "coverage": "catalog_only", "read_detail": null, "pages": 86, "sha256": "3cce6ec72ecade6973049c2b7bfd6bbac378f10e0dfdc303af666271bbb60959", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Almost-Linear-Time-Maximum-Cardinality-Matching-in-Sparse-General-Graphs-September-24-2026/main.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Almost-Linear-Time-Maximum-Cardinality-Matching-in-Sparse-General-Graphs-September-24-2026/main.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "121-01", "group": "121", "title": "An Almost-Linear Approximation Scheme for Edit Distance", "pdf": "preprints/An-Almost-Linear-Approximation-Scheme-for-Edit-Distance-September-24-2026/paper.pdf", "folder": "preprints/An-Almost-Linear-Approximation-Scheme-for-Edit-Distance-September-24-2026", "abstract_original": "We give a uniform randomized approximation scheme for unit-cost edit distance. For every fixed rational $`\\varepsilon\\in(0,1)`$, it estimates the distance between arbitrary explicitly stored strings of total length N within a factor $`1+\\varepsilon`$ with probability at least 2/3, in worst-case expected time $`N^{1+o(1)}`$ on a logarithmic-word RAM. The algorithm supports polynomially bounded integer alphabets and returns zero deterministically on equal strings.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2970, "coverage": "intro_theorems", "read_detail": { "work": "121-01", "pages": "1–4", "scope": "Аннотация, теорема, история и начало архитектуры" }, "pages": 46, "sha256": "7ecda63faaa7d6a3ff36852775a6a015a8d832ace341a534af86a375d1d89807", "bundled_pdf": "sources/papers/121-01/paper.pdf", "local_href": "../math_sources/math_research_07_of_08/preprints/An-Almost-Linear-Approximation-Scheme-for-Edit-Distance-September-24-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/An-Almost-Linear-Approximation-Scheme-for-Edit-Distance-September-24-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "122-01", "group": "122", "title": "Uniform quasipolynomial-time trace reconstruction", "pdf": "preprints/Uniform-quasipolynomial-time-trace-reconstruction-October-5-2026/uniform-trace-reconstruction.pdf", "folder": "preprints/Uniform-quasipolynomial-time-trace-reconstruction-October-5-2026", "abstract_original": "We give a uniform algorithm that reconstructs every binary string from independent deletion traces when its length and rational retention probability are known. For each fixed retention probability, both the number of traces and the bit complexity are quasipolynomial in the string length. More generally, we give an explicit sample bound uniform over all rational retention probabilities, with running time polynomial in the sample budget and the binary input length. If the deletion probability is at most $`n^{-\\varepsilon}`$ for fixed ε > 0, the sample and running-time bounds are polynomial. Reconstruction succeeds with probability at least 2/3 for each input string.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2986, "coverage": "catalog_only", "read_detail": null, "pages": 29, "sha256": "cca17cd8900b5eda0252af1126a8423f96a771065d0ccf35b5da500a238915d3", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Uniform-quasipolynomial-time-trace-reconstruction-October-5-2026/uniform-trace-reconstruction.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Uniform-quasipolynomial-time-trace-reconstruction-October-5-2026/uniform-trace-reconstruction.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "122-02", "group": "122", "title": "A latest-anchor induction with spectrally compact masks for worst-case trace reconstruction", "pdf": "preprints/A-latest-anchor-induction-with-spectrally-compact-masks-for-worst-case-trace-reconstruction-October-5-2026/paper.pdf", "folder": "preprints/A-latest-anchor-induction-with-spectrally-compact-masks-for-worst-case-trace-reconstruction-October-5-2026", "abstract_original": "We give an improved worst-case sample bound for reconstructing a string from independent deletion traces, with its length and retention probability known. For each fixed retention probability, the number of traces is quasipolynomial: the logarithm of the sample budget is $`O((\\log n)^3(1+\\log\\log(2n))^6)`$. If the deletion probability is at most $`n^{-\\varepsilon}`$ for fixed ε > 0, polynomially many traces suffice. These bounds apply to binary strings and to strings of general symbols observed exactly. They concern sample complexity and do not assert an efficient reconstruction algorithm or matching optimality.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 2995, "coverage": "catalog_only", "read_detail": null, "pages": 15, "sha256": "56113d1f2019792bc3fe96cccde891a44de1c2e5bea1447ddea254051219bece", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/A-latest-anchor-induction-with-spectrally-compact-masks-for-worst-case-trace-reconstruction-October-5-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/A-latest-anchor-induction-with-spectrally-compact-masks-for-worst-case-trace-reconstruction-October-5-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "122-03", "group": "122", "title": "Quantitative lower bounds for trace reconstruction", "pdf": "preprints/quantitative-lower-bounds-for-trace-reconstruction-September-24-2026/paper.pdf", "folder": "preprints/quantitative-lower-bounds-for-trace-reconstruction-September-24-2026", "abstract_original": "Exact worst-case reconstruction of a binary word from independent deletion traces requires $`n^{\\Omega(\\log\\log n)}`$ samples for every fixed deletion probability $`q\\in(0,1)`$, even with unrestricted computation and any fixed positive success probability. This gives a negative answer to the polynomial-sample question for binary trace reconstruction. More generally, when $`q^3\\log n\\to\\infty`$, we prove a lower bound of $`n^{c\\log(q^3\\log n)}`$ samples for every fixed $`0\\lt c\\lt 1/(4\\log2)`$. Here q is the known deletion probability, and all logarithms are natural.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3004, "coverage": "catalog_only", "read_detail": null, "pages": 42, "sha256": "6b28f84fe939dfe5b740403156413f1d807d1ddad70c38b0f50f12e486dc7596", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/quantitative-lower-bounds-for-trace-reconstruction-September-24-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/quantitative-lower-bounds-for-trace-reconstruction-September-24-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "124-01", "group": "124", "title": "A Polynomial-Time Algorithm for Three-Machine Unit-Job Scheduling", "pdf": "preprints/A-polynomial-time-algorithm-for-three-machine-unit-job-scheduling-September-24-2026/paper.pdf", "folder": "preprints/A-polynomial-time-algorithm-for-three-machine-unit-job-scheduling-September-24-2026", "abstract_original": "We give a uniform deterministic polynomial-time algorithm for scheduling unit-length jobs with arbitrary precedence constraints on three identical parallel machines. The algorithm constructs a schedule of minimum makespan and decides exactly whether all jobs can finish by a specified deadline. The proof reorganizes feasible schedules into intervals whose job sets have descriptions of bounded size. A dynamic program searches a family containing polynomially many such descriptions. Global boundary conditions and simplification of inherited information keep the descriptions bounded throughout the decomposition.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3020, "coverage": "intro_theorems", "read_detail": { "work": "124-01", "pages": "1–4", "scope": "Постановка, теорема и описание ограниченных формул" }, "pages": 22, "sha256": "2080c4ad5953f225c1db7fe803c6d8602ae499510719cfe0cb4f22f99bccff1e", "bundled_pdf": "sources/papers/124-01/paper.pdf", "local_href": "../math_sources/math_research_07_of_08/preprints/A-polynomial-time-algorithm-for-three-machine-unit-job-scheduling-September-24-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/A-polynomial-time-algorithm-for-three-machine-unit-job-scheduling-September-24-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "125-01", "group": "125", "title": "Single-exponential recovery and bounded-price strictness for metric k-median", "pdf": "preprints/Single-Exponential-Recovery-and-Bounded-Price-Strictness-for-Metric-k-Median-September-24-2026/paper.pdf", "folder": "preprints/Single-Exponential-Recovery-and-Bounded-Price-Strictness-for-Metric-k-Median-September-24-2026", "abstract_original": "We give an exact-budget recovery algorithm for metric k -median with single-exponential dependence on the number of comparison clusters without accurate, distinct proxies in a supplied anchor solution. On positive integral metrics of polynomially bounded diameter, a sufficiently small total proxy error and logarithmically many such clusters yield a $`(1+2/e+\\varepsilon)`$ approximation in polynomial time with arbitrarily high success probability. We also prove bounded-price strictness for one compatible execution of the logarithmic-surplus construction. Together the recovery and payment arguments give a randomized $`(2-\\sigma)`$ approximation, for an absolute σ > 0, on arbitrary finite rational metrics, both with high probability and in expectation, while opening at most k facilities on every output.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3036, "coverage": "catalog_only", "read_detail": null, "pages": 53, "sha256": "823fdb284a7d3c0e3089869ba2da3d394db4f19b1c2ab56477ce6ae1b232614b", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Single-Exponential-Recovery-and-Bounded-Price-Strictness-for-Metric-k-Median-September-24-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Single-Exponential-Recovery-and-Bounded-Price-Strictness-for-Metric-k-Median-September-24-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "125-02", "group": "125", "title": "The approximation threshold for metric k-median", "pdf": "preprints/The-Approximation-Threshold-for-Metric-k-Median-September-24-2026/main.pdf", "folder": "preprints/The-Approximation-Threshold-for-Metric-k-Median-September-24-2026", "abstract_original": "For every fixed ε > 0, we give a deterministic polynomial-time $`(1+2/e+\\varepsilon)`$-approximation for finite rational metric k -median with specified candidate facilities, opening at most k facilities. Under $`P\\ne NP`$, the infimum approximation factor in this model is therefore $`1+2/e`$.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3045, "coverage": "catalog_only", "read_detail": null, "pages": 46, "sha256": "c8176d1671beb83d3a459ff65e5c632d94364ec7e542930bf19fad0b75524d50", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/The-Approximation-Threshold-for-Metric-k-Median-September-24-2026/main.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/The-Approximation-Threshold-for-Metric-k-Median-September-24-2026/main.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "126-01", "group": "126", "title": "Exponential PSD rank of positively shifted matching matrices", "pdf": "preprints/Exponential-PSD-rank-of-positively-shifted-matching-matrices-October-5-2026/shifted-matching-psd.pdf", "folder": "preprints/Exponential-PSD-rank-of-positively-shifted-matching-matrices-October-5-2026", "abstract_original": "For every fixed $`0\\lt \\rho\\lt 1`$, the matrix indexed by odd vertex sets U and perfect matchings M of K n , with entries $`|M\\cap\\delta(U)|-1+\\rho`$, has real positive semidefinite rank $`2^{\\Omega(n)}`$ as even n tends to infinity. Here $`\\delta(U)`$ is the edge cut of U . Consequently, every exact semidefinite lift of the perfect matching polytope has exponential size.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3061, "coverage": "catalog_only", "read_detail": null, "pages": 24, "sha256": "7e90c5f1e508114d849a1a299e889a520997f1a0b3eec4f09ee1da36a61e31d4", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Exponential-PSD-rank-of-positively-shifted-matching-matrices-October-5-2026/shifted-matching-psd.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Exponential-PSD-rank-of-positively-shifted-matching-matrices-October-5-2026/shifted-matching-psd.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "127-01", "group": "127", "title": "Average sensitivity of polynomial threshold functions", "pdf": "preprints/Average-Sensitivity-of-Polynomial-Threshold-Functions-September-25-2026/main.pdf", "folder": "preprints/Average-Sensitivity-of-Polynomial-Threshold-Functions-September-25-2026", "abstract_original": "For every n ≥ 1 and $`1\\le d\\le n`$, we prove that a polynomial threshold function of degree at most d on the uniform Boolean cube has average sensitivity at most $`8d\\sqrt n`$. This proves the asymptotic form of the Gotsman–Linial conjecture. The bound is uniform in both parameters and uses the convention $`\\mathop{\\mathrm{sgn}}\\nolimits (0)=1`$.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3077, "coverage": "catalog_only", "read_detail": null, "pages": 13, "sha256": "441f9f8a40930603ba88967f00514a974f13a8f8ab901f71206b2b7dc82e4884", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Average-Sensitivity-of-Polynomial-Threshold-Functions-September-25-2026/main.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Average-Sensitivity-of-Polynomial-Threshold-Functions-September-25-2026/main.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "128-01", "group": "128", "title": "A Polynomial-Time 2-Approximation for Shortest Common Superstring", "pdf": "preprints/A-Polynomial-Time-2-Approximation-for-Shortest-Common-Superstring-September-24-2026/paper.pdf", "folder": "preprints/A-Polynomial-Time-2-Approximation-for-Shortest-Common-Superstring-September-24-2026", "abstract_original": "We give a deterministic algorithm that, for every finite family of explicitly represented ordinary strings, outputs a common superstring of length at most twice the optimum in time polynomial in the total encoded input size, including symbol labels. The guarantee applies to the algorithm constructed here, not the classical maximum-overlap Greedy procedure.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3093, "coverage": "intro_theorems", "read_detail": { "work": "128-01", "pages": "1–4", "scope": "Теорема, предшественники, графовая конструкция и начало леммы о вхождениях" }, "pages": 19, "sha256": "45ef658ae322212b4c83626fd2bfa0ad8e459f6564b4bd0395e0c9ee8eb30dfe", "bundled_pdf": "sources/papers/128-01/paper.pdf", "local_href": "../math_sources/math_research_07_of_08/preprints/A-Polynomial-Time-2-Approximation-for-Shortest-Common-Superstring-September-24-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/A-Polynomial-Time-2-Approximation-for-Shortest-Common-Superstring-September-24-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "129-01", "group": "129", "title": "An exponential state lower bound for two-way nondeterministic complementation", "pdf": "preprints/An-exponential-state-lower-bound-for-two-way-nondeterministic-complementation-September-25-2026/paper.pdf", "folder": "preprints/An-exponential-state-lower-bound-for-two-way-nondeterministic-complementation-September-25-2026", "abstract_original": "We prove that two-way nondeterministic finite automata cannot be complemented with a polynomial number of states independent of the alphabet. For each n ≥ 4 we construct an n -state automaton over a finite alphabet whose complement requires at least $`\\tfrac12 2^{\\lfloor(n-4)/127\\rfloor}-1`$ states.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3109, "coverage": "catalog_only", "read_detail": null, "pages": 18, "sha256": "302292b182622e126913eaa4ee8d73ecdd98b148e3364028a7cb9dfa6ac897b4", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/An-exponential-state-lower-bound-for-two-way-nondeterministic-complementation-September-25-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/An-exponential-state-lower-bound-for-two-way-nondeterministic-complementation-September-25-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "129-02", "group": "129", "title": "An exponential two-way deterministic state lower bound for one-way liveness", "pdf": "preprints/An-exponential-two-way-deterministic-state-lower-bound-for-one-way-liveness-September-25-2026/main.pdf", "folder": "preprints/An-exponential-two-way-deterministic-state-lower-bound-for-one-way-liveness-September-25-2026", "abstract_original": "One-way liveness on h points accepts a word of binary relations when their ordered product is nonempty. For every h ≥ 2, it has a nondeterministic automaton with $`h+3`$ states and no left moves, whereas every equivalent s -state two-way deterministic automaton satisfies $`4(s+2)^2\\ge2^{\\lfloor(h-2)/31\\rfloor}`$. Partial transition rules, stay moves, and nonaccepting infinite computations are allowed. The alphabets are finite and grow with h , so the result rules out an alphabet-independent polynomial state bound for deterministic two-way simulation, already for one-way nondeterministic sources.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3118, "coverage": "catalog_only", "read_detail": null, "pages": 20, "sha256": "612819217a2929102a0e55c00cc4fb606b733d1f90dda513d42bf47783e0a92e", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/An-exponential-two-way-deterministic-state-lower-bound-for-one-way-liveness-September-25-2026/main.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/An-exponential-two-way-deterministic-state-lower-bound-for-one-way-liveness-September-25-2026/main.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "130-01", "group": "130", "title": "An explicit power saving for the exact discrete Fourier transform", "pdf": "preprints/An-explicit-power-saving-for-the-exact-discrete-Fourier-transform-September-25-2026/main.pdf", "folder": "preprints/An-explicit-power-saving-for-the-exact-discrete-Fourier-transform-September-25-2026", "abstract_original": "We give a deterministic algorithm that computes the discrete Fourier transform at every length n in $`O(n(\\log n)^{1-10^{-13}})`$ operations. The model uses exact complex arithmetic, unrestricted coefficients, specified Fourier roots, and unit-cost logarithmic-size indexing; scalar preparation and array organization are included.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3134, "coverage": "catalog_only", "read_detail": null, "pages": 31, "sha256": "670d0115ea2553e65f22167c176d2f31218d4d41726fe4e5702e2b149cad0896", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/An-explicit-power-saving-for-the-exact-discrete-Fourier-transform-September-25-2026/main.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/An-explicit-power-saving-for-the-exact-discrete-Fourier-transform-September-25-2026/main.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "130-02", "group": "130", "title": "Finite tensor savings and exact Fourier circuits", "pdf": "preprints/Finite-tensor-savings-and-exact-Fourier-circuits-September-25-2026/main.pdf", "folder": "preprints/Finite-tensor-savings-and-exact-Fourier-circuits-September-25-2026", "abstract_original": "We construct exact nonuniform Fourier circuits of size $`o(n\\log n)`$ along an unbounded sequence of lengths, counting every addition, subtraction, and scalar multiplication. This refutes the $`\\Omega(n\\log n)`$ lower bound in the unrestricted complex linear-circuit model. The construction uses a finite tensor saving: a tensor power of some invertible nonmonomial complex matrix can be computed with fewer matrix calls than the standard tensor-axis algorithm on the same coordinates, when invertible monomial maps are allowed freely between calls.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3143, "coverage": "catalog_only", "read_detail": null, "pages": 49, "sha256": "e2165b9f6796f0189292220c7edc0c6e19789bd8329a127a24d404da1e81e06b", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Finite-tensor-savings-and-exact-Fourier-circuits-September-25-2026/main.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Finite-tensor-savings-and-exact-Fourier-circuits-September-25-2026/main.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "131-01", "group": "131", "title": "Polynomial mixing of the switch chain for every graphical degree sequence", "pdf": "preprints/Polynomial-Mixing-of-the-Switch-Chain-for-Every-Graphical-Degree-Sequence-September-25-2026/main.pdf", "folder": "preprints/Polynomial-Mixing-of-the-Switch-Chain-for-Every-Graphical-Degree-Sequence-September-25-2026", "abstract_original": "We prove the simple-undirected form of the Kannan–Tetali–Vempala conjecture: the switch chain on simple undirected graphs mixes in polynomial time for every graphical degree sequence. For a lazy chain that proposes switches uniformly on four vertices, the total-variation mixing time at distance 1/4 is at most $`2n^8`$. We also give an exactly uniform sampler for every graphical labeled degree vector. It uses unbiased random bits, terminates almost surely, and has expected polynomial bit running time.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3159, "coverage": "intro_theorems", "read_detail": { "work": "131-01", "pages": "1–4", "scope": "Точное ядро, главная теорема, начало операторного сравнения; scope notes прочитаны" }, "pages": 22, "sha256": "e70eab92c1315e6706eea3613e9826871e009d1ef8de31f82d5750d026240af3", "bundled_pdf": "sources/papers/131-01/main.pdf", "local_href": "../math_sources/math_research_07_of_08/preprints/Polynomial-Mixing-of-the-Switch-Chain-for-Every-Graphical-Degree-Sequence-September-25-2026/main.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Polynomial-Mixing-of-the-Switch-Chain-for-Every-Graphical-Degree-Sequence-September-25-2026/main.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "132-01", "group": "132", "title": "A superquadratic separation between sensitivity and block sensitivity", "pdf": "preprints/A-superquadratic-separation-between-sensitivity-and-block-sensitivity-September-25-2026/paper.pdf", "folder": "preprints/A-superquadratic-separation-between-sensitivity-and-block-sensitivity-September-25-2026", "abstract_original": "We disprove the quadratic strengthening of the Sensitivity Conjecture by constructing nonconstant total Boolean functions whose block sensitivity grows faster than any constant multiple of sensitivity squared. In fact, for some fixed α > 2, our examples have unbounded block sensitivity and satisfy $`\\mathop{\\mathrm{bs}}\\nolimits (f)\\ge s(f)^\\alpha`$.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3175, "coverage": "catalog_only", "read_detail": null, "pages": 11, "sha256": "a589970798bc590e5a27cb35cfa3092a355a4048cfa383bc369177289a00a1f8", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/A-superquadratic-separation-between-sensitivity-and-block-sensitivity-September-25-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/A-superquadratic-separation-between-sensitivity-and-block-sensitivity-September-25-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "133-01", "group": "133", "title": "Parity lifts and bounded-treewidth witnesses for Weisfeiler–Leman equivalence", "pdf": "preprints/Parity-lifts-and-bounded-treewidth-witnesses-for-Weisfeiler-Leman-equivalence-September-25-2026/paper.pdf", "folder": "preprints/Parity-lifts-and-bounded-treewidth-witnesses-for-Weisfeiler-Leman-equivalence-September-25-2026", "abstract_original": "For k ≥ 4, we construct two uncolored graphs that are k -dimensional Weisfeiler–Leman equivalent exactly when a prescribed finite-domain choice system has no compatible choice. The system has $`k+1`$ domains for joint refinement and k for separate-coordinate refinement. A successful choice is detected after two joint rounds or one separate round. Applied to sparse satisfiability, the reduction gives fixed-dimension $`n^{\\Omega(k)}`$ time exclusions under positive-rate ETH, even for deciding equality of these early histograms.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3191, "coverage": "catalog_only", "read_detail": null, "pages": 16, "sha256": "742b4b63acfcfeec728427c388b0704c5e152f79cd9a8b5e9d16573fcb8177e7", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Parity-lifts-and-bounded-treewidth-witnesses-for-Weisfeiler-Leman-equivalence-September-25-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Parity-lifts-and-bounded-treewidth-witnesses-for-Weisfeiler-Leman-equivalence-September-25-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "133-02", "group": "133", "title": "The complexity of identifying a graph by Weisfeiler–Leman refinement", "pdf": "preprints/The-complexity-of-identifying-a-graph-by-Weisfeiler-Leman-refinement-September-25-2026/paper.pdf", "folder": "preprints/The-complexity-of-identifying-a-graph-by-Weisfeiler-Leman-refinement-September-25-2026", "abstract_original": "We prove that deciding whether Weisfeiler–Leman refinement of an input dimension identifies a given graph is EXPTIME-complete. The input is a nonempty finite simple uncolored graph in adjacency-matrix form and a positive binary-encoded dimension. Identification quantifies over every comparison graph.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3200, "coverage": "catalog_only", "read_detail": null, "pages": 25, "sha256": "24d7566f85bda8e9102c44c82a29a47781c6204964ea8076aac0b109b450c3d5", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/The-complexity-of-identifying-a-graph-by-Weisfeiler-Leman-refinement-September-25-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/The-complexity-of-identifying-a-graph-by-Weisfeiler-Leman-refinement-September-25-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "133-03", "group": "133", "title": "Unconditional time lower bounds for Weisfeiler–Leman equivalence", "pdf": "preprints/Unconditional-time-lower-bounds-for-Weisfeiler-Leman-equivalence-September-25-2026/paper.pdf", "folder": "preprints/Unconditional-time-lower-bounds-for-Weisfeiler-Leman-equivalence-September-25-2026", "abstract_original": "For every sufficiently large fixed k , deciding whether two n -vertex graphs are k -Weisfeiler–Leman equivalent requires $`n^{\\Omega(k)}`$ deterministic sequential time in the worst case. The bound holds at every sufficiently large graph order, even for simple connected uncolored graphs of diameter at most two, without a complexity assumption. Inputs are explicit adjacency matrices; the models are multitape Turing machines and sequential logarithmic-word RAMs with fixed polynomial-bit-time instructions. Both joint and separate replacement conventions are covered.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3209, "coverage": "catalog_only", "read_detail": null, "pages": 27, "sha256": "5d58d0f7cee1b9ed468a083efaf94357885e251b203171139132d1643960c904", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Unconditional-time-lower-bounds-for-Weisfeiler-Leman-equivalence-September-25-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Unconditional-time-lower-bounds-for-Weisfeiler-Leman-equivalence-September-25-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "133-04", "group": "133", "title": "Variable-dimension Weisfeiler–Leman equivalence on general and subcubic graphs", "pdf": "preprints/Variable-dimension-Weisfeiler-Leman-equivalence-on-general-and-subcubic-graphs-September-25-2026/paper.pdf", "folder": "preprints/Variable-dimension-Weisfeiler-Leman-equivalence-on-general-and-subcubic-graphs-September-25-2026", "abstract_original": "Deciding joint-update k -dimensional Weisfeiler–Leman equivalence is $`\\mathsf{EXPTIME}`$-complete when the two graphs are given by explicit adjacency matrices and k ≥ 2 is encoded in binary. The result holds even for connected simple uncolored graphs of equal positive order and maximum degree at most three.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3218, "coverage": "catalog_only", "read_detail": null, "pages": 39, "sha256": "5b3048ce062b1b8eb520ebf476284b7ebe1b2a65ffc3d7977e5f18cb62d82dc8", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Variable-dimension-Weisfeiler-Leman-equivalence-on-general-and-subcubic-graphs-September-25-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Variable-dimension-Weisfeiler-Leman-equivalence-on-general-and-subcubic-graphs-September-25-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "134-01", "group": "134", "title": "Finite Monoid Computations and a Uniform Generalized Star-Height Bound", "pdf": "preprints/Finite-Monoid-Computations-and-a-Uniform-Generalized-Star-Height-Bound-September-25-2026/Finite-Monoid-Computations-and-a-Uniform-Generalized-Star-Height-Bound-September-25-2026.pdf", "folder": "preprints/Finite-Monoid-Computations-and-a-Uniform-Generalized-Star-Height-Bound-September-25-2026", "abstract_original": "Every regular language over a finite alphabet has a generalized regular expression of star height at most thirteen over that same alphabet. We prove this uniform bound by representing finite monoid computations as affine updates and recovering them through twelve successive split constructions.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3234, "coverage": "catalog_only", "read_detail": null, "pages": 44, "sha256": "3bf9877aaa27427d668f5ae5b3e31396ed49079677956c6f2a9e83b872b4b405", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Finite-Monoid-Computations-and-a-Uniform-Generalized-Star-Height-Bound-September-25-2026/Finite-Monoid-Computations-and-a-Uniform-Generalized-Star-Height-Bound-September-25-2026.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Finite-Monoid-Computations-and-a-Uniform-Generalized-Star-Height-Bound-September-25-2026/Finite-Monoid-Computations-and-a-Uniform-Generalized-Star-Height-Bound-September-25-2026.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "134-02", "group": "134", "title": "Generalized Star Height at Most Four", "pdf": "preprints/Generalized-Star-Height-at-Most-Four-September-25-2026/Generalized-Star-Height-at-Most-Four-September-25-2026.pdf", "folder": "preprints/Generalized-Star-Height-at-Most-Four-September-25-2026", "abstract_original": "Every regular language over a finite alphabet has generalized star height at most four over that same alphabet. We give a complete construction using an affine correction that hides one interval product, a finite clock, and several scales for moving boundaries through periodic words.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3243, "coverage": "catalog_only", "read_detail": null, "pages": 34, "sha256": "01348808b4c54659991a80b928f143bac74c452ce3f4d9f8ed35581fdd0809f6", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Generalized-Star-Height-at-Most-Four-September-25-2026/Generalized-Star-Height-at-Most-Four-September-25-2026.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Generalized-Star-Height-at-Most-Four-September-25-2026/Generalized-Star-Height-at-Most-Four-September-25-2026.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "134-03", "group": "134", "title": "Generalized Star Height at Most Three", "pdf": "preprints/Generalized-Star-Height-at-Most-Three-September-25-2026/article.pdf", "folder": "preprints/Generalized-Star-Height-at-Most-Three-September-25-2026", "abstract_original": "Every regular language over a finite alphabet has generalized star height at most three, with complement taken in the same free monoid. We express finite-monoid computations using a prefix code of word pieces.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3252, "coverage": "catalog_only", "read_detail": null, "pages": 38, "sha256": "eeae440333d912abcc3b7b440c82ea5c7538f9bde75856e1f194d579c7d93fd9", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Generalized-Star-Height-at-Most-Three-September-25-2026/article.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Generalized-Star-Height-at-Most-Three-September-25-2026/article.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "135-01", "group": "135", "title": "Homogeneous depth-five lower bounds for iterated matrix multiplication", "pdf": "preprints/Homogeneous-depth-five-lower-bounds-for-iterated-matrix-multiplication-September-25-2026/Homogeneous-depth-five-lower-bounds-for-iterated-matrix-multiplication-September-25-2026.pdf", "folder": "preprints/Homogeneous-depth-five-lower-bounds-for-iterated-matrix-multiplication-September-25-2026", "abstract_original": "Let $`\\mathop{\\mathrm{IMM}}\\nolimits _{n,n}`$ be the $`(1,1)`$ entry of a product of n independent $`n\\times n`$ matrices of variables. Over every field of characteristic zero, every syntactically homogeneous $`\\Sigma\\Pi\\Sigma\\Pi\\Sigma`$ circuit computing $`\\mathop{\\mathrm{IMM}}\\nolimits _{n,n}`$ has at least $`n^{\\sqrt n/400}`$ gates for all sufficiently large n , with an absolute threshold independent of the field. Bottom linear forms may have arbitrary support, and arbitrary finite fan-in, fan-out, and gate sharing are allowed. Over every field, a block expansion gives such circuits with at most $`n^{\\sqrt n+4}`$ gates for n ≥ 2. Thus the gate complexity over characteristic-zero fields is $`n^{\\Theta(\\sqrt n)}`$.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3268, "coverage": "catalog_only", "read_detail": null, "pages": 22, "sha256": "c8b7c21cad425efeb1d244695e92c3e790448ff1a2c624fda0d988a043abacf9", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Homogeneous-depth-five-lower-bounds-for-iterated-matrix-multiplication-September-25-2026/Homogeneous-depth-five-lower-bounds-for-iterated-matrix-multiplication-September-25-2026.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Homogeneous-depth-five-lower-bounds-for-iterated-matrix-multiplication-September-25-2026/Homogeneous-depth-five-lower-bounds-for-iterated-matrix-multiplication-September-25-2026.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "136-01", "group": "136", "title": "The PCP-for-PPAD conjecture: a quasilinear reduction", "pdf": "preprints/The-PCP-for-PPAD-conjecture-a-quasilinear-reduction-September-25-2026/paper.pdf", "folder": "preprints/The-PCP-for-PPAD-conjecture-a-quasilinear-reduction-September-25-2026", "abstract_original": "We prove the quasilinear-size PCP-for-PPAD conjecture of Babichenko, Papadimitriou, and Rubinstein. There are fixed positive rational constants ε and δ and a deterministic polynomial-time reduction that transforms an End-of-Line instance of binary length N into a generalized circuit of total binary length $`N(\\log N)^{O(1)}`$. From any rational assignment of polynomial encoding length that ε -satisfies all but a δ fraction of the gates, a solution to the original End-of-Line instance can be recovered in polynomial time, regardless of which gates fail. Such assignments always exist, with one fixed polynomial bound on their encoding length.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3284, "coverage": "catalog_only", "read_detail": null, "pages": 147, "sha256": "a7ab4d86183890be9bfaa845f2c0eddf4ba89956911fc8318c47ac35f504e84b", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/The-PCP-for-PPAD-conjecture-a-quasilinear-reduction-September-25-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/The-PCP-for-PPAD-conjecture-a-quasilinear-reduction-September-25-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "137-01", "group": "137", "title": "Simulating One-Tape Time in Two-Fifths-Power Space", "pdf": "preprints/Simulating-One-Tape-Time-in-Two-Fifths-Power-Space-September-25-2026/article.pdf", "folder": "preprints/Simulating-One-Tape-Time-in-Two-Fifths-Power-Space-September-25-2026", "abstract_original": "We show that a fixed deterministic Turing machine with one writable tape and head can be simulated in $`O(T^{2/5}\\mathop{\\mathrm{polylog}}\\nolimits (T+2))`$ work-space bits when a binary time cap T ≥ 2 is supplied. The simulator computes the finite-control and halting outcome by time T ; its running time is unrestricted. The result allows a fixed number of read-only input heads and requires a fixed accessor that supplies every initial writable and read-only symbol within distance T of the relevant head origin in polylogarithmic space. This improves the square-root space exponent for one-tape machines, answering Williams's question for this model.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3300, "coverage": "catalog_only", "read_detail": null, "pages": 17, "sha256": "873c9e2790a66c536fc6d38ab9005c177e2c64d0303b25f214a19a552398daff", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Simulating-One-Tape-Time-in-Two-Fifths-Power-Space-September-25-2026/article.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Simulating-One-Tape-Time-in-Two-Fifths-Power-Space-September-25-2026/article.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "138-01", "group": "138", "title": "Subset Sum in Time $`O(2^{0.49n})`$", "pdf": "preprints/Subset-Sum-in-Time-2-power-0-49n-October-4-2026/subset-sum.pdf", "folder": "preprints/Subset-Sum-in-Time-2-power-0-49n-October-4-2026", "abstract_original": "We give a uniform randomized classical algorithm for Subset Sum with bounded error and worst-case running time $`O(2^{0.49n})`$ on polynomial-bit inputs in a word-RAM model, where n is the number of input integers. The time bound holds on every random execution.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3316, "coverage": "catalog_only", "read_detail": null, "pages": 33, "sha256": "69f9398e325a2628d32edc73109e2d008466170e35d8f7015636dc4f3f457566", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Subset-Sum-in-Time-2-power-0-49n-October-4-2026/subset-sum.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Subset-Sum-in-Time-2-power-0-49n-October-4-2026/subset-sum.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "138-02", "group": "138", "title": "A Low-Space Algorithm for Worst-Case Subset Sum", "pdf": "preprints/A-Low-Space-Algorithm-for-Worst-Case-Subset-Sum-September-26-2026/paper.pdf", "folder": "preprints/A-Low-Space-Algorithm-for-Worst-Case-Subset-Sum-September-26-2026", "abstract_original": "We give a uniform classical randomized decision algorithm for worst-case Subset Sum. Under every fixed polynomial bound on input-integer bit length, it uses $`\\mathop{\\mathrm{poly}}\\nolimits (n)2^{n/2}`$ time and ordinary $`O(2^{n/5})`$ writable words of $`O(n+b)`$ bits, where b is the largest input bit length. Both resource bounds hold on every execution. The error is one-sided: the algorithm always rejects unsolvable instances and accepts each solvable instance with probability at least 2/3.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3325, "coverage": "catalog_only", "read_detail": null, "pages": 36, "sha256": "88f951cb233cf765b963cc3881f761846175bf5932649404d6ef3f69756d78ce", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/A-Low-Space-Algorithm-for-Worst-Case-Subset-Sum-September-26-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/A-Low-Space-Algorithm-for-Worst-Case-Subset-Sum-September-26-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "139-01", "group": "139", "title": "Subpolynomial query complexity for well-conditioned log-concave sampling", "pdf": "preprints/Subpolynomial-query-complexity-for-well-conditioned-log-concave-sampling-September-26-2026/article.pdf", "folder": "preprints/Subpolynomial-query-complexity-for-well-conditioned-log-concave-sampling-September-26-2026", "abstract_original": "For every fixed ε > 0, we give a sampling algorithm using at most $`C_\\varepsilon d^\\varepsilon`$ exact first-order queries on every execution for C 2 potentials on ℝ d with a known minimizer and Hessian between I d and $`2I_d`$. The output has total-variation distance at most 1/10 from the target Gibbs law. Computation between queries is unrestricted. We also prove an $`\\Omega(\\log d)`$ query lower bound for arbitrary randomized adaptive algorithms, determining the optimal dimension exponent to be zero.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3341, "coverage": "intro_theorems", "read_detail": { "work": "139-01", "pages": "1–4", "scope": "Оракульная модель, главные границы и архитектура" }, "pages": 55, "sha256": "9e9a41553023f95e18b673f130c2086def56ba2b7a4cd851337a39eb114bf679", "bundled_pdf": "sources/papers/139-01/article.pdf", "local_href": "../math_sources/math_research_07_of_08/preprints/Subpolynomial-query-complexity-for-well-conditioned-log-concave-sampling-September-26-2026/article.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Subpolynomial-query-complexity-for-well-conditioned-log-concave-sampling-September-26-2026/article.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "140-01", "group": "140", "title": "Memory and precision in noiseless Gaussian regression", "pdf": "preprints/Memory-and-precision-in-noiseless-Gaussian-regression-September-27-2026/paper.pdf", "folder": "preprints/Memory-and-precision-in-noiseless-Gaussian-regression-September-27-2026", "abstract_original": "For every fixed A > 0, a learner that retains at most $`Ad^2`$ bits between fresh exact Gaussian linear measurements needs $`\\Omega_A(d\\log(1/\\epsilon))`$ measurements to estimate a uniformly random unit vector to angular error at most ϵ , for any $`0\\lt \\epsilon\\le 1/10`$, with probability at least 2/3. The constant is absolute for $`o(d^2)`$ memory.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3357, "coverage": "catalog_only", "read_detail": null, "pages": 42, "sha256": "a46ccc95821da00954309e8fe793099ff82f03eaa4b6c060d5eac5406571decc", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Memory-and-precision-in-noiseless-Gaussian-regression-September-27-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Memory-and-precision-in-noiseless-Gaussian-regression-September-27-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "140-02", "group": "140", "title": "Posterior replicas and conditional information in Gaussian regression", "pdf": "preprints/Posterior-replicas-and-conditional-information-in-Gaussian-regression-September-27-2026/paper.pdf", "folder": "preprints/Posterior-replicas-and-conditional-information-in-Gaussian-regression-September-27-2026", "abstract_original": "For a signal with density bounded by L relative to uniform probability on $`S^{d-1}`$, we bound the information in a finite message W formed from exact Gaussian measurements, conditional on an independent projection revealed only to the analyst. For explicit row counts proportional to d , the bound is $`O(H(W)/d+d+\\log(2+\\log L))`$. Consequently, a finite-state learner with $`o(d^2)`$ persistent bits and a deterministic sample horizon needs $`\\Omega(d\\log(1/\\epsilon))`$ fresh noiseless Gaussian measurements for constant-probability angular accuracy $`0\\lt \\epsilon\\le1/10`$ under the uniform spherical prior.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3366, "coverage": "catalog_only", "read_detail": null, "pages": 60, "sha256": "135be898557ce66eca6ac31cf62bc40967ab32fc0a30b41ffb9c1c20b063e6ea", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Posterior-replicas-and-conditional-information-in-Gaussian-regression-September-27-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Posterior-replicas-and-conditional-information-in-Gaussian-regression-September-27-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "140-03", "group": "140", "title": "Localization costs and information growth for exact Gaussian observations", "pdf": "preprints/Localization-costs-and-information-growth-for-exact-Gaussian-observations-September-27-2026/paper.pdf", "folder": "preprints/Localization-costs-and-information-growth-for-exact-Gaussian-observations-September-27-2026", "abstract_original": "For the image of a uniform cube under a spherical coordinate map, we prove that finite messages from t blocks of $`\\Theta(d)`$ exact Gaussian measurements reveal only $`O_A(dt)`$ information when each message has at most $`\\exp(Ad^2)`$ values, for fixed A . The same bound holds when each message is supplemented with a nested cell that restores the required geometric spread.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3375, "coverage": "catalog_only", "read_detail": null, "pages": 93, "sha256": "4f43e1443f9fd51374f9b748a522508521266692c5965c19cf6b4c33b6d527a5", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Localization-costs-and-information-growth-for-exact-Gaussian-observations-September-27-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Localization-costs-and-information-growth-for-exact-Gaussian-observations-September-27-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "140-04", "group": "140", "title": "Projection moments, positive cap domination, and Riesz estimates on the sphere", "pdf": "preprints/Projection-moments-positive-cap-domination-and-Riesz-estimates-on-the-sphere-September-27-2026/paper.pdf", "folder": "preprints/Projection-moments-positive-cap-domination-and-Riesz-estimates-on-the-sphere-September-27-2026", "abstract_original": "We prove moment estimates for exact random projections of finite measures whose mass is controlled on Euclidean balls, and derive positive domination by countable sums of spherical cap measures. For learners with $`M=o(d^2)`$ bits of memory, these estimates give three proofs that uniform-sphere average success at least 2/3 at angular accuracy $`0\\lt \\epsilon\\le1/10`$ requires $`\\Omega(d\\log(1/\\epsilon))`$ noiseless Gaussian observations. The three proofs keep their different stopping and accuracy costs explicit.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3384, "coverage": "catalog_only", "read_detail": null, "pages": 29, "sha256": "2a212c32e3e62170f5327a686743ecf6752fe68e4993eadc5b6badfc76b8cf76", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Projection-moments-positive-cap-domination-and-Riesz-estimates-on-the-sphere-September-27-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Projection-moments-positive-cap-domination-and-Riesz-estimates-on-the-sphere-September-27-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "140-05", "group": "140", "title": "Replacing Gaussian observations in memory-constrained inference", "pdf": "preprints/Replacing-Gaussian-observations-in-memory-constrained-inference-September-27-2026/paper.pdf", "folder": "preprints/Replacing-Gaussian-observations-in-memory-constrained-inference-September-27-2026", "abstract_original": "Replacing the Gaussian rows used to select a finite message by independent rows increases the remaining conditional information by at most $`Cd`$, for a uniform spherical signal, message entropy at most d 2 , and the specified row dimensions proportional to d . As an application, we prove that learners with $`M=o(d^2)`$ persistent bits need $`T=\\Omega(d\\log(1/\\epsilon))`$ exact observations to attain uniform-sphere angular success at least 3/5, for $`0\\lt \\epsilon\\le1/10`$ and a deterministic finite horizon.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3393, "coverage": "catalog_only", "read_detail": null, "pages": 52, "sha256": "623197ae012dfb0c18f729ac81683eeee6e149eb0be9b729030f1e0f1141c9e9", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Replacing-Gaussian-observations-in-memory-constrained-inference-September-27-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Replacing-Gaussian-observations-in-memory-constrained-inference-September-27-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" }, { "id": "140-06", "group": "140", "title": "Subsphere methods for memory-sample lower bounds in noiseless Gaussian regression", "pdf": "preprints/Subsphere-methods-for-memory-sample-lower-bounds-in-noiseless-Gaussian-regression-September-27-2026/paper.pdf", "folder": "preprints/Subsphere-methods-for-memory-sample-lower-bounds-in-noiseless-Gaussian-regression-September-27-2026", "abstract_original": "Let a finite-state streaming learner estimate a uniformly random unit vector from independent exact Gaussian linear measurements. We prove that $`o(d^2)`$ bits of persistent memory and angular success probability at least 2/3 require at least $`2^{-16}d\\log_2(1/\\epsilon)`$ samples for all sufficiently large d , uniformly for $`0\\lt \\epsilon\\le1/10`$. The proof conditions each batch on its observed projection and controls the resulting random residual subsphere.", "archive": "math_research_07_of_08.zip", "exists": true, "source_line": 3402, "coverage": "catalog_only", "read_detail": null, "pages": 25, "sha256": "a645c0aa5ef455784c6c57c7ee0b4271bb09446bad196c21a454fe61760f5bd8", "bundled_pdf": null, "local_href": "../math_sources/math_research_07_of_08/preprints/Subsphere-methods-for-memory-sample-lower-bounds-in-noiseless-Gaussian-regression-September-27-2026/paper.pdf", "online_url": "https://github.com/openai/math/blob/main/preprints/Subsphere-methods-for-memory-sample-lower-bounds-in-noiseless-Gaussian-regression-September-27-2026/paper.pdf", "source_catalog": "sources/context/CONTENTS.md", "independent_verification": "not_identified_in_limited_search" } ], "extra_folders": [] }