Published paper
Abstract
The paper constructs Euclidean discrete-Morse matchings for locally finite real hyperplane arrangements. Corollary 5.14 identifies Betti numbers, and hence characteristic-polynomial coefficients, with chambers according to the codimension of the face containing a generic point's metric projection.
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:
- Corollary 5.14 · arXiv:1809.02476v2 pp. 20–21; accepted manuscript article pp. 20–21Counts chambers by the codimension of the metric-projection face, yielding the Poincaré coefficients.
AI-generated audit
Audit summary
Not a correctness certificate. These reports do not replace expert scrutiny or formal verification.
Exact reviewed source
Exact arXiv version 2 · explicit fallback from the 2021 journal article
Davide Lofano and Giovanni Paolini. Euclidean matchings and minimality of hyperplane arrangements. arXiv:1809.02476v2; published in Discrete Mathematics 344 (2021), 112232.
The publisher PDF was not freely retrievable. Exact arXiv version 2 and the institutional accepted manuscript were checked; this report does not claim to audit the inaccessible version of record.
Open audited source ↗01Statements3 reported findingsCorrect
The Euclidean matching, acyclicity, properness, minimality, and Betti-number consequences are correct in the checked arXiv and accepted-manuscript forms. Two bibliographic or cross-reference slips have uniquely determined repairs and do not change a mathematical claim.
Theorems 3.2 and 4.10Correct
The Euclidean matching has the claimed discrete-Morse properties
arXiv:1809.02476v2 PDF pages 8–9 and 14–18 · Theorems 3.2 and 4.10
The chamber-to-projection-face construction defines a matching on the Salvetti complex, and the order argument rules out directed cycles. For locally finite arrangements, the compactness and distance estimates give properness. The finite case therefore yields a finite Morse complex with the announced critical-cell description.
Exact arXiv version 2 ↗Theorem 5.13 and Corollary 5.14Correct
Projection-face codimension counts equal Betti numbers
arXiv:1809.02476v2 PDF pages 19–21 · Theorem 5.13 and Corollary 5.14
For a finite real arrangement and a generic point, exactly one critical cell is associated with each chamber, in degree equal to the projection-face codimension. The number of critical cells equals the sum of Betti numbers, so equality of total counts forces degreewise minimality. This is the exact input used by the focal projection theorem after the standard Poincaré and characteristic-polynomial change of variables.
Remark 5.4 and bibliographyHarmless typos
Two local references need typographical repairs
arXiv:1809.02476v2 PDF pages 17 and 28 · Remark 5.4 and reference [Zas97]
Remark 5.4 says that the displayed alternating path violates condition (ii), but the preceding definition shows it violates condition (i). The region-count source is printed as a 1997 item although the cited Memoirs volume is Zaslavsky's 1975 monograph. Neither slip changes the proof or the identity used in Corollary 5.14.
02Proofs3 reported findingsCorrect
The whole proof was checked in exact arXiv version 2 and compared with the institutional accepted manuscript. The matching involution, no-cycle order, local-finiteness argument, and minimality count close with the stated hypotheses. No unresolved logical gap was found.
Euclidean matching constructionCorrect
Matched cells have the required unique coface relation
arXiv:1809.02476v2 PDF pages 7–14 · Sections 3–4
The preferred chamber determined by the Euclidean projection selects one facet whenever a cell is noncritical. Adding or removing that facet is involutive, and the localization identities show that both cells retain the same preferred data. Thus the pairing is a genuine matching on the face poset.
Acyclicity and propernessCorrect
The monotone distance data prevent cycles and infinite bounded trajectories
arXiv:1809.02476v2 PDF pages 14–18 · proof of Theorem 4.10 and Section 5.1
Along any reversed matched edge, the ordered projection data change monotonically; a directed cycle would force all changes to be equal and then contradict the selected facet. Local finiteness leaves only finitely many arrangement faces in each compact metric range, giving the required properness.
Finite minimality argumentCorrect
The topological count is degreewise, not merely total
arXiv:1809.02476v2 PDF pages 18–21 · Theorems 5.12–5.13 and Corollary 5.14
Morse inequalities give at least the Betti number in each degree, while Orlik–Solomon and Zaslavsky identify the total Betti number with the number of chambers, which is already the total number of critical cells. Since every degreewise excess is nonnegative and their sum is zero, each excess vanishes. This justifies the coefficient-by-coefficient conclusion.
03Novelty0 reported findingsNo non-novelty findings
No non-novelty findings.