{ "version": "https://jsonfeed.org/version/1.1", "title": "Evidence Press", "home_page_url": "https://evidencepress.org/", "feed_url": "https://evidencepress.org/feed.json", "description": "Press releases for new research, published with the evidence attached", "items": [ { "id": "https://evidencepress.org/releases/random-reshuffling-baseline-policy/", "url": "https://evidencepress.org/releases/random-reshuffling-baseline-policy/", "title": "Random Reshuffling as a Baseline Policy: Exact Value Certificates and Common-Hessian Ordering Hardness", "content_text": "This anonymous, unrefereed candidate studies one-epoch data order in common-Hessian convex quadratics. It derives exact order-resolved terminal loss with a dense positive-semidefinite time kernel of rank at most the model dimension. A four-item rational family shows that global minimizers of either an ideal maximum-prefix criterion or a dynamics-weighted diagonal proxy can have an unbounded multiplicative terminal-loss ratio; the encoded theorem core is formalized in pinned Lean 4/mathlib. Decomposing a uniform random permutation into an unoriented skeleton and independent fair pair-orientation bits yields a restricted policy: exact conditional value resolves exposed bits with a pathwise decrement certificate and expected loss no greater than the same random-reshuffling law. For an instance-encoded stable step approaching 2, the candidate proves the scalar threshold problem NP-complete via PARTITION and, unless P=NP, excludes deterministic polynomial-time approximation within any fixed finite factor. It does not prove strong, fixed-step, randomized, or average-case hardness. A fixed stability margin instead admits normalized additive guarantees. A preregistered 32-instance matrix-free pilot was negative/mixed: every safety control passed and no false certified sign occurred on the frozen grid, but no eligible degree passed every feasibility stratum. No neural-network, model-scale, wall-clock, or generalization improvement is established.", "date_published": "2026-08-02T12:00:00.000Z", "external_url": "https://doi.org/10.5281/zenodo.21757895", "tags": [ "random reshuffling", "stochastic gradient descent", "data ordering", "conditional expectation", "common-Hessian quadratics", "permutation optimization", "value-aware ordering", "computational complexity", "NP-completeness", "Lean 4", "formal verification", "reproducible research", "machine learning theory", "unrefereed candidate" ], "image": "https://evidencepress.org/assets/og/random-reshuffling-baseline-policy.png", "attachments": [ { "url": "https://evidencepress.org/assets/audio/random-reshuffling-baseline-policy.mp3", "mime_type": "audio/mpeg", "size_in_bytes": 2348160 } ] }, { "id": "https://evidencepress.org/releases/stocks-are-not-flows/", "url": "https://evidencepress.org/releases/stocks-are-not-flows/", "title": "Stocks Are Not Flows: An Identification Audit of Investor Pressure and Tenure Change in England", "content_text": "Among English households whose household reference person was aged 25 to 44, owner occupation fell by 11.95 percentage points and private renting rose by 12.33 points between 2008-09 and 2018-19. This reproducible audit shows why those near-mirror movements, together with public price, rent, mortgage-rate, supply, and dwelling-stock series, cannot uniquely attribute any share of the shift to wealthy investors. The registered design admits observationally equivalent credit, supply, demographic, tax, and resource mechanisms, so the planned structural estimation was stopped. The result is neither a positive nor a zero causal estimate: it is a documented identification boundary and a concrete agenda for better measurement.", "date_published": "2026-08-01T12:00:00.000Z", "external_url": "https://doi.org/10.5281/zenodo.21740339", "tags": [ "housing tenure", "private renting", "homeownership", "wealth inequality", "housing investors", "structural identification", "partial identification", "English Housing Survey", "reproducible research", "public discussion preprint" ], "image": "https://evidencepress.org/assets/og/stocks-are-not-flows.png", "attachments": [ { "url": "https://evidencepress.org/assets/audio/stocks-are-not-flows.mp3", "mime_type": "audio/mpeg", "size_in_bytes": 1089792 } ] }, { "id": "https://evidencepress.org/releases/irreducible-pushforwards-quartic-transitions/", "url": "https://evidencepress.org/releases/irreducible-pushforwards-quartic-transitions/", "title": "Irreducible Pushforwards and Constrained Quartic Transitions: Two Reusable Methods from a Study of Furter's R(3) Conjecture", "content_text": "This anonymous methods preprint extracts two proved pieces of mathematics from an unfinished study of Furter's R(3) conjecture. The first shows that, under an exact divisor-pushforward hypothesis, irreducibility of one polynomial forces adjacent rational functions on a curve to have disjoint zero sets; on an elliptic double cover, a nontorsion condition also prevents collision with the deck-transformed divisor. The second reduces a constrained quartic phase in twisted polynomial de Rham cohomology and obtains the exact determinant (9b/64)(-3K^3+K+3b^2), together with its rank strata and a first-order cancellation. For Furter's family the geometric conclusion is conditional at each fixed index on irreducibility of an explicit deck norm. Exact checks for 3 <= n <= 40 are finite evidence only. Uniform irreducibility, the global contour and period estimates, and R(3) itself remain open.", "date_published": "2026-08-01T12:00:00.000Z", "external_url": "https://doi.org/10.5281/zenodo.21745937", "tags": [ "algebraic geometry", "elliptic curves", "irreducible pushforward", "deck involution", "divisor disjointness", "quartic transition", "twisted de Rham cohomology", "polynomial automorphisms", "computer-assisted mathematics", "Furter R(3)", "unrefereed preprint", "reproducible research" ], "image": "https://evidencepress.org/assets/og/irreducible-pushforwards-quartic-transitions.png", "attachments": [ { "url": "https://evidencepress.org/assets/audio/irreducible-pushforwards-quartic-transitions.mp3", "mime_type": "audio/mpeg", "size_in_bytes": 1186560 } ] }, { "id": "https://evidencepress.org/releases/exact-low-length-recht-re-inequalities/", "url": "https://evidencepress.org/releases/exact-low-length-recht-re-inequalities/", "title": "Exact low-length Recht–Ré inequalities: complete status through five factors and six-factor balanced families", "content_text": "This paper asks a basic question behind many machine-learning algorithms: is it better to shuffle a dataset and use each example once, or keep sampling examples at random? It gives the first exact account of where a leading mathematical justification for reshuffling works, where it fails, and where it recovers. It also finds something more surprising: the usual theoretical measure can say reshuffling is worse even when it actually reduces error. The proof is computer-assisted, exact, and fully replayable.", "date_published": "2026-07-30T12:00:00.000Z", "external_url": "https://doi.org/10.5281/zenodo.21709239", "tags": [ "Recht–Ré conjecture", "matrix inequalities", "random reshuffling", "stochastic gradient descent", "noncommutative sums of squares", "positive semidefinite matrices", "computer-assisted proof", "exact arithmetic", "sum-of-squares certificates", "semidefinite programming", "randomised numerical linear algebra", "reproducible research" ], "image": "https://evidencepress.org/assets/og/exact-low-length-recht-re-inequalities.png", "attachments": [ { "url": "https://evidencepress.org/assets/audio/exact-low-length-recht-re-inequalities.mp3", "mime_type": "audio/mpeg", "size_in_bytes": 824832 } ] }, { "id": "https://evidencepress.org/releases/z20-equals-6/", "url": "https://evidencepress.org/releases/z20-equals-6/", "title": "z(20) = 6: resolving the first open case of Erdős problem 758", "content_text": "How few colours do you need to partition any 20-vertex graph so that every colour class is either a clique (all pairs connected) or an independent set (no pairs connected)? The answer for up to 19 vertices was known; at 20 it was either 6 or 7. This computer-assisted proof establishes that the answer is 6. The lower bound is a short, hand-checkable argument about the Paley graph on 17 vertices; the upper bound reduces all possible counterexamples to two SAT problems whose impossibility is certified with proof objects checked by four independent checkers, including a formally verified one.", "date_published": "2026-07-28T12:00:00.000Z", "external_url": "https://doi.org/10.5281/zenodo.21647645", "tags": [ "cochromatic number", "Erdős problem 758", "Erdős–Gimbel", "Ramsey theory", "R(4,4)", "Paley graph", "SAT certificates", "DRUP", "LRAT", "cake_lpr", "computer-assisted proof", "AI-generated mathematics" ], "image": "https://evidencepress.org/assets/og/z20-equals-6.png", "attachments": [ { "url": "https://evidencepress.org/assets/audio/z20-equals-6.mp3", "mime_type": "audio/mpeg", "size_in_bytes": 1031424 } ] }, { "id": "https://evidencepress.org/releases/vr2-k4-equals-20/", "url": "https://evidencepress.org/releases/vr2-k4-equals-20/", "title": "VR2(K4) = 20: twenty vertices force two vertex-disjoint monochromatic K4s", "content_text": "The classical Ramsey number R(4,4) = 18 says that among 18 points with red/blue connections there is always a single-colour foursome. This release asks for more: how many points guarantee two such foursomes sharing no points at all? The claimed answer is exactly 20. A hand-checkable 19-vertex colouring (a 'Paley twin') has no two disjoint monochromatic K4s, while the impossibility of avoiding them at 20 vertices reuses the SAT certificates from the companion z(20) = 6 release.", "date_published": "2026-07-28T12:00:00.000Z", "external_url": "https://doi.org/10.5281/zenodo.21647654", "tags": [ "Ramsey theory", "vertex-disjoint monochromatic subgraphs", "VR2(K4)", "K4", "R(4,4)", "Paley graph", "SAT certificates", "LRAT", "cake_lpr", "computer-assisted proof", "AI-generated mathematics" ], "image": "https://evidencepress.org/assets/og/vr2-k4-equals-20.png", "attachments": [ { "url": "https://evidencepress.org/assets/audio/vr2-k4-equals-20.mp3", "mime_type": "audio/mpeg", "size_in_bytes": 933888 } ] }, { "id": "https://evidencepress.org/releases/reducible-incidence-divisors/", "url": "https://evidencepress.org/releases/reducible-incidence-divisors/", "title": "Reducible incidence divisors and the isolation of affine slices in binary-form factorisation spaces", "content_text": "This paper classifies the reducible members of a marked-common-root incidence linear system for binary forms: for adjacent degrees, a divisor becomes reducible precisely when its defining functional lies on the tangent developable of the rational normal curve of evaluation functionals. It proves that the corresponding affine slices are never isomorphic to affine space, computes their precise motivic and Hodge-theoretic defects, obstructs non-adjacent-degree slices via finite cyclic actions, and — conditionally on an upstream classification — isolates a unique slice that could in principle carry a nonzero-constant-Jacobian polynomial map.", "date_published": "2026-07-28T12:00:00.000Z", "external_url": "https://doi.org/10.5281/zenodo.21647616", "tags": [ "algebraic geometry", "binary forms", "incidence divisor", "rational normal curve", "tangent developable", "catalecticant", "Hodge–Deligne polynomial", "Jacobian conjecture", "affine slices", "computer-assisted mathematics" ], "image": "https://evidencepress.org/assets/og/reducible-incidence-divisors.png", "attachments": [ { "url": "https://evidencepress.org/assets/audio/reducible-incidence-divisors.mp3", "mime_type": "audio/mpeg", "size_in_bytes": 948096 } ] }, { "id": "https://evidencepress.org/releases/exotic-affine-three-spheres/", "url": "https://evidencepress.org/releases/exotic-affine-three-spheres/", "title": "Exotic affine three-spheres and the quadratic–cubic obstruction", "content_text": "Some algebraic shapes impersonate familiar ones: they are indistinguishable by the tools of smooth topology yet are provably different as algebraic varieties. This paper argues that a natural slice of the space of polynomial factorisations is exactly such an impostor — a known exotic affine three-sphere (the Dubouloz–Finston torsor) rather than the standard SL2 quadric it resembles. It further claims that every normalised quadratic–cubic slice fails to be affine five-space, by an exact Grothendieck-class formula and a rank-by-rank Hodge–Deligne obstruction, and that in characteristic 3 the tangent slice remains affine three-space with an Artin–Schreier collision in the induced Keller map.", "date_published": "2026-07-28T12:00:00.000Z", "external_url": "https://doi.org/10.5281/zenodo.21647607", "tags": [ "algebraic geometry", "exotic affine sphere", "Dubouloz–Finston torsor", "binary forms", "Grothendieck ring of varieties", "Hodge–Deligne polynomial", "Keller map", "Artin–Schreier", "Jacobian conjecture", "finite-field verification", "computer-assisted mathematics" ], "image": "https://evidencepress.org/assets/og/exotic-affine-three-spheres.png", "attachments": [ { "url": "https://evidencepress.org/assets/audio/exotic-affine-three-spheres.mp3", "mime_type": "audio/mpeg", "size_in_bytes": 1027968 } ] }, { "id": "https://evidencepress.org/releases/erdos-848-all-n/", "url": "https://evidencepress.org/releases/erdos-848-all-n/", "title": "Erdős problem 848: an exact answer for every N", "content_text": "Erdős and Sárközy asked: how large can a set A of integers from 1 to N be if the product of any two members (including a member with itself), plus one, is never squarefree? Recent work resolved the question for all sufficiently large N. This release establishes the exact answer f(N) = ⌊(N+18)/25⌋ for every positive integer N, stitching together exact colouring certificates for small N, structural decompositions and exact-rational envelope arguments for intermediate ranges, and a pinned explicit-threshold analytic theorem for N beyond 2.64 × 10^17.", "date_published": "2026-07-28T12:00:00.000Z", "external_url": "https://doi.org/10.5281/zenodo.21647629", "tags": [ "Erdős problem 848", "squarefree numbers", "extremal number theory", "combinatorial number theory", "computer-assisted proof", "certificate replay", "exact-rational certificates", "AI-generated mathematics", "reproducible research" ], "image": "https://evidencepress.org/assets/og/erdos-848-all-n.png", "attachments": [ { "url": "https://evidencepress.org/assets/audio/erdos-848-all-n.mp3", "mime_type": "audio/mpeg", "size_in_bytes": 914688 } ] }, { "id": "https://evidencepress.org/releases/degree-difference-affine-slices/", "url": "https://evidencepress.org/releases/degree-difference-affine-slices/", "title": "The degree-difference principle and affine slices of binary-form factorisation spaces", "content_text": "Multiply two polynomials together and, alongside the product, record their resultant — a single number measuring whether they share a root. This paper proves an exact formula for the Jacobian determinant of that combined operation: up to sign, it is the degree difference of the two polynomials times the square of their resultant. From this 'degree-difference principle' the paper develops the geometry of natural affine slices of binary-form factorisation spaces — the setting in which the project's related Jacobian-conjecture investigations take place — including classifications of low-degree slices, explicit coordinates for Keller maps, and Euler-characteristic obstructions in higher degrees.", "date_published": "2026-07-28T12:00:00.000Z", "external_url": "https://doi.org/10.5281/zenodo.21647593", "tags": [ "algebraic geometry", "binary forms", "resultant", "Sylvester matrix", "Jacobian conjecture", "Keller maps", "affine slices", "factorisation spaces", "computer-assisted mathematics", "symbolic verification", "SymPy" ], "image": "https://evidencepress.org/assets/og/degree-difference-affine-slices.png", "attachments": [ { "url": "https://evidencepress.org/assets/audio/degree-difference-affine-slices.mp3", "mime_type": "audio/mpeg", "size_in_bytes": 982656 } ] } ] }