An infinite network resists a fair-looking split
- What it is
- The paper claims a counterexample: one locally finite Borel graph has no Borel unfriendly partition.
- Who did it
- José de Jesús Pelayo-Gómez
- What it could mean
- A seemingly reasonable rule for dividing an infinite network can fail when the division itself must be described in a regular, measurable way.
See the check plan
Evidence & validation
From announcement to evidence
Discovery recorded. State of Proof has not yet examined this claim.
Read the original work
Unfriendly partitions of locally finite Borel graphs ↗See the proposed checks
Source-lock the manuscript; reconstruct the stated closed zero-dimensional graph, then verify local finiteness, the no-Borel-unfriendly-partition argument, and the precise bounded-degree positive cases against the cited question and definitions.
No proof docket yet
A docket is the public record of checks and open questions. This paper does not have one yet; the check plan above describes work still to do.
Explore existing proof dockets →
- What it claims
- The abstract says the author constructs a closed, unbounded-degree locally finite Borel graph with no Borel unfriendly partition, answering Thomas's question negatively. It also states positive bounded-degree cases. A named-question counterexample released within the current intake window merits a clearly bounded public examination route.
- Why this could matter
- An infinite network resists a fair-looking split An unfriendly partition puts each vertex with at least as many opposite-side neighbors as same-side neighbors. This paper claims a carefully structured infinite graph where no Borel, or systematically describable, partition can do that.
- If it holds up
- It would settle Thomas's Borel-graph question negatively and sharpen the boundary between finite-style graph intuition and measurable infinite structures.
- If it does not
- The proposed graph, its local finiteness, or the measurability obstruction would need repair; the question would remain open.
- Impact horizon
- Foundational · Graph theory · Descriptive set theory · Combinatorics
- Version
- submitted 2026-09-10 17:57:55 UTC
- Why we tracked it
- a fresh, source-backed counterexample to a named Borel-graph question, with a stated structural construction and no linked machine-checkable artifact; intake is not validation.
- Highest-risk dependency
- The construction's descriptive-set-theoretic regularity and the quantifiers in "Borel unfriendly partition" are central; an informal graph construction or a different measurability class would not establish the stated negative answer.
- Available artifacts
- arXiv provides PDF, experimental HTML and TeX source for a 13-page manuscript. The abstract page does not identify a Lean, Coq, Isabelle, code, data or certificate artifact. No manuscript artifact was downloaded, executed or replayed.
- Current boundary
- Intake record only; examination not started.