Border Observations and the Number of Rank-Two Matrix Completions
Manuscript 24 October 2026 · Online 24 October 2026
Abstract
Let H be a connected bipartite graph specifying interior observations of a generic rank-two matrix. Suppose every entry in a border row and a border column is also observed, except their intersection. We determine the number of completions from the cycle structure of H. A tree gives a one-dimensional generic fiber; a unicyclic graph whose cycle has length 2k gives exactly k-1 complex completions; and a graph with at least two independent cycles gives a unique completion. For a cycle with the border intersection restored, we give an irreducible circuit polynomial of degree 2k-1, of degree k-1 in that intersection and degree one in each other variable. The proof uses a Schur complement and a greatest common divisor calculation for two cycle polynomials. The rank-one ingredients and small circuit examples are known and credited. This restricted theorem does not classify all rank-two circuits or settle random-regular matrix completion. This is an unrefereed preprint prepared with AI assistance; no independent review, formal verification, or absolute priority certification is claimed.
Record
- Affiliation
- Mercury Software GmbH
- Contact
- [email protected] · GitHub
- Result
- Complete scoped theorem
- Categories
- math.CO · math.AG
- Manuscript
- 24 October 2026
- Online release
- 24 October 2026
- Version
- 1.0
- License
- Creative Commons Attribution 4.0 International
Files and verification
The PDF is the canonical reading copy. The source archive contains the LaTeX manuscript, bibliography, reproducibility material, and audit documents without build artefacts.
Citation
Alper Ferudun, “Border Observations and the Number of Rank-Two Matrix Completions,” EulerSolve Research Papers, OWR-13346-003, 2026. https://doi.org/10.5281/zenodo.23623353.
BibTeX
@misc{ferudun2026bordercompletions,
author = {Ferudun, Alper},
title = {Border Observations and the Number of Rank-Two Matrix Completions},
year = {2026},
howpublished = {EulerSolve Research Papers},
url = {https://eulersolve.org/papers/owr-13346-003/},
doi = {10.5281/zenodo.23623353},
note = {OWR-13346-003; unrefereed preprint}
}