Published paper
Abstract
The paper gives distribution-free absorption probabilities for random walks and bridges and relates them to intersections of Weyl chambers with generic subspaces. Its Theorem 3.3 and Lemma 3.5 supply the chamber-section identity used in Kabluchko's later projection theorem.
Role in dependence graphs
Proof-critical source
Interpreting the (signed) chromatic polynomial coefficients via hyperplane arrangements
This paper is included only for the following marked statement:
- Theorem 3.3 and Lemma 3.5 · journal pp. 894–896; proof of Lemma 3.5 pp. 913–914Counts generic chamber sections and compares arbitrary sections, giving Kabluchko's polar-cone count.
AI-generated audit
Audit summary
Not a correctness certificate. These reports do not replace expert scrutiny or formal verification.
Exact reviewed source
Open version of record · Geometric and Functional Analysis 27 (2017), 880–918
Zakhar Kabluchko, Vladislav Vysotsky, and Dmitry Zaporozhets. Convex hulls of random walks, hyperplane arrangements, and Weyl chambers. Geometric and Functional Analysis 27 (2017), 880–918.
Open audited source ↗01Statements3 reported findingsContains wrong statements
The distribution-free absorption theorems and the hyperplane-section theorems are correct. One ancillary sentence in Remark 3.2 is false without an essentiality assumption: a linear arrangement can have a zero constant characteristic coefficient. The false sentence is not used in the marked Theorem 3.3–Lemma 3.5 chain.
Remark 3.2Incorrect · verified scope repair
Strict positivity fails for nonessential linear arrangements
Journal page 894 · Remark 3.2
The remark says that the entire coefficient sequence of every linear arrangement is strictly positive. For the type- arrangement in , the characteristic polynomial has a factor , so ; the paper's own equation (34) exhibits that factor. Replace strict positivity by nonnegativity, or assume the arrangement is essential. The parity identity in equation (32), Theorem 3.3, and Lemma 3.5 do not need the stronger claim.
Exact open version of record ↗Theorems 1.1–1.3 and 2.3, 2.7, 2.10Correct
The absorption-probability formulas have the correct symmetry and general-position hypotheses
Journal pages 881–892 · main random-walk and bridge theorems
The type , , and formulas use the appropriate exchangeability or signed-exchangeability action, and their polynomial coefficients are indexed with the correct parity. The assumptions ensure that boundary absorption has probability zero, so the Weyl-chamber counts transfer to convex-hull nonabsorption without an omitted boundary term.
Theorem 3.3 and Lemma 3.5Correct
The marked hyperplane-section claims are correct
Journal pages 894–896 and 913–914 · Theorem 3.3, Lemma 3.5, and proof
For a codimension- subspace in general position, the number of arrangement regions it meets is twice the alternating-parity sum of characteristic coefficients stated in Theorem 3.3. Lemma 3.5 gives the needed upper comparison for an arbitrary subspace and equality in general position. These are the exact claims imported into Kabluchko's projection paper.
02Proofs3 reported findingsCorrect
The proofs of the random-walk, bridge, and Weyl-chamber formulas were checked across the complete article. The group-orbit counting, characteristic-polynomial restrictions, and approximation from arbitrary to general-position subspaces are coherent. No gap affecting a theorem was found.
Lemma 3.1 and Theorem 3.3Correct
Restriction of the characteristic polynomial gives the advertised region count
Journal pages 893–896 · Lemma 3.1 and proof of Theorem 3.3
The rank of every restricted subarrangement is truncated at the section dimension. Substitution into Whitney's formula gives equation (31), and Zaslavsky's region evaluation gives the parity sum. The separate one-dimensional convention is treated explicitly and agrees with equation (32).
Lemma 3.5Correct
The perturbation argument preserves every chamber already met
Journal pages 913–914 · proof of Lemma 3.5
A point in each chamber met by the original subspace is chosen away from all hyperplanes. Nearby general-position subspaces still meet small neighborhoods of those finitely many points, so they meet at least the same chambers. Density of general-position subspaces supplies the perturbation. Equality follows when the original subspace itself is in general position.
Sections 4–6Correct
The geometric and probabilistic translations are mutually consistent
Journal pages 896–916 · Weyl chambers, proofs of the main theorems, and general-position verification
The linear maps from increment coordinates to partial sums identify nonabsorption with a union of Weyl chambers intersecting a kernel. Exchangeability makes orbit probabilities equal, and the kernel hypotheses are exactly the arrangement general-position conditions proved in Section 6. The type- extra endpoint is carried through consistently.
03Novelty0 reported findingsNo non-novelty findings
No non-novelty findings.