@misc{NeutralV6S74,
  author = {{OpenAI}},
  title = {{The spacetime Penrose inequality and enclosing area}},
  howpublished = {OpenAI Math Release preprint \href{https://github.com/openai/math/blob/main/preprints/The-spacetime-Penrose-inequality-and-enclosing-area-September-27-2026/paper.pdf}{OAI:The-spacetime-Penrose-inequality-and-enclosing-area-September-27-2026}},
  year = {2026},
  note = {Numerical input: Definitions 1.1--1.2 and Theorem 1.3}
}

@misc{ChargedV6S818,
  author = {{OpenAI}},
  title = {{The spacetime Penrose inequality with charge and original-data rigidity}},
  howpublished = {OpenAI Math Release preprint \href{https://github.com/openai/math/blob/main/preprints/The-spacetime-Penrose-inequality-with-charge-and-original-data-rigidity-October-5-2026/paper.pdf}{OAI:The-spacetime-Penrose-inequality-with-charge-and-original-data-rigidity-October-5-2026}},
  year = {2026},
  note = {Three-dimensional methodological companion; its theorem is not used as a premise here}
}

@article{Penrose1973,
  author = {Penrose, Roger},
  title = {Naked singularities},
  journal = {Annals of the New York Academy of Sciences},
  year = {1973},
  volume = {224},
  number = {1},
  pages = {125--134},
  doi = {10.1111/j.1749-6632.1973.tb41447.x}
}

@incollection{ADM1962,
  author = {Arnowitt, Richard and Deser, Stanley and Misner, Charles W.},
  title = {The dynamics of general relativity},
  booktitle = {Gravitation: An Introduction to Current Research},
  editor = {Witten, Louis},
  publisher = {John Wiley \& Sons},
  address = {New York},
  year = {1962},
  chapter = {7},
  pages = {227--264},
  url = {https://arxiv.org/abs/gr-qc/0405109}
}

@article{Jang1978,
  author = {Jang, Pong Soo},
  title = {On the positivity of energy in general relativity},
  journal = {Journal of Mathematical Physics},
  year = {1978},
  volume = {19},
  number = {5},
  pages = {1152--1155},
  doi = {10.1063/1.523776}
}

@article{HuiskenIlmanen2001,
  author = {Huisken, Gerhard and Ilmanen, Tom},
  title = {The inverse mean curvature flow and the {Riemannian Penrose} inequality},
  journal = {Journal of Differential Geometry},
  year = {2001},
  volume = {59},
  number = {3},
  pages = {353--437},
  doi = {10.4310/jdg/1090349447}
}

@article{Bray2001,
  author = {Bray, Hubert L.},
  title = {Proof of the {Riemannian Penrose} inequality using the positive mass theorem},
  journal = {Journal of Differential Geometry},
  year = {2001},
  volume = {59},
  number = {2},
  pages = {177--267},
  doi = {10.4310/jdg/1090349428}
}

@article{BrayLee2009,
  author = {Bray, Hubert L. and Lee, Dan A.},
  title = {On the {Riemannian Penrose} inequality in dimensions less than eight},
  journal = {Duke Mathematical Journal},
  year = {2009},
  volume = {148},
  number = {1},
  pages = {81--106},
  doi = {10.1215/00127094-2009-020}
}

@article{KhuriWeinsteinYamada2017,
  author = {Khuri, Marcus and Weinstein, Gilbert and Yamada, Sumio},
  title = {Proof of the {Riemannian Penrose} inequality with charge for multiple black holes},
  journal = {Journal of Differential Geometry},
  year = {2017},
  volume = {106},
  number = {3},
  pages = {451--498},
  doi = {10.4310/jdg/1500084023},
  eprint = {1409.3271},
  archivePrefix = {arXiv},
  primaryClass = {gr-qc},
  url = {https://arxiv.org/abs/1409.3271}
}

@article{BuntingMasoodulAlam1987,
  author = {Bunting, Gary L. and {Masood-ul-Alam}, A. K. M.},
  title = {Nonexistence of multiple black holes in asymptotically {Euclidean} static vacuum space-time},
  journal = {General Relativity and Gravitation},
  year = {1987},
  volume = {19},
  number = {2},
  pages = {147--154},
  doi = {10.1007/BF00770326}
}

@book{AmbrosioFuscoPallara2000,
  author = {Ambrosio, Luigi and Fusco, Nicola and Pallara, Diego},
  title = {Functions of Bounded Variation and Free Discontinuity Problems},
  series = {Oxford Mathematical Monographs},
  publisher = {Oxford University Press},
  address = {Oxford},
  year = {2000},
  doi = {10.1093/oso/9780198502456.001.0001},
  isbn = {9780198502456}
}

@incollection{AmbrosioDeLellisMaly2007,
  author = {Ambrosio, Luigi and De Lellis, Camillo and Mal{\'y}, Jan},
  title = {On the chain rule for the divergence of {BV}-like vector fields: applications, partial results, open problems},
  booktitle = {Perspectives in Nonlinear Partial Differential Equations},
  series = {Contemporary Mathematics},
  volume = {446},
  publisher = {American Mathematical Society},
  address = {Providence, RI},
  year = {2007},
  pages = {31--67},
  doi = {10.1090/conm/446/08625},
  url = {https://www.math.ias.edu/delellis/sites/math.ias.edu.delellis/files/chain100.pdf}
}

@article{CheegerGromoll1971,
  author = {Cheeger, Jeff and Gromoll, Detlef},
  title = {The splitting theorem for manifolds of nonnegative {Ricci} curvature},
  journal = {Journal of Differential Geometry},
  year = {1971},
  volume = {6},
  number = {1},
  pages = {119--128},
  doi = {10.4310/jdg/1214430220}
}

@article{DeTurckKazdan1981,
  author = {DeTurck, Dennis M. and Kazdan, Jerry L.},
  title = {Some regularity theorems in {Riemannian} geometry},
  journal = {Annales scientifiques de l'{\'E}cole Normale Sup{\'e}rieure (4)},
  year = {1981},
  volume = {14},
  number = {3},
  pages = {249--260},
  doi = {10.24033/asens.1405},
  url = {https://www.numdam.org/item/ASENS_1981_4_14_3_249_0/}
}

@article{CostabelMcIntosh2010,
  author = {Costabel, Martin and McIntosh, Alan},
  title = {On {Bogovski\u{\i}} and regularized {Poincar\'e} integral operators for {de Rham} complexes on {Lipschitz} domains},
  journal = {Mathematische Zeitschrift},
  volume = {265},
  pages = {297--320},
  year = {2010},
  doi = {10.1007/s00209-009-0517-8},
  eprint = {0808.2614},
  archivePrefix = {arXiv},
  primaryClass = {math.AP}
}

@article{CalderonZygmund1952,
  author = {Calder{\'o}n, A. P. and Zygmund, A.},
  title = {On the existence of certain singular integrals},
  journal = {Acta Mathematica},
  volume = {88},
  pages = {85--139},
  year = {1952},
  doi = {10.1007/BF02392130}
}

@book{GilbargTrudinger2001,
  author = {Gilbarg, David and Trudinger, Neil S.},
  title = {Elliptic Partial Differential Equations of Second Order},
  edition = {Second},
  series = {Classics in Mathematics},
  publisher = {Springer-Verlag},
  address = {Berlin},
  year = {2001},
  note = {Reprint of the 1998 edition},
  doi = {10.1007/978-3-642-61798-0},
  isbn = {978-3-540-41160-4}
}

@article{Mooney2019,
  author = {Mooney, Connor},
  title = {A proof of the {Krylov--Safonov} theorem without localization},
  journal = {Communications in Partial Differential Equations},
  volume = {44},
  number = {8},
  pages = {681--690},
  year = {2019},
  doi = {10.1080/03605302.2019.1581807},
  eprint = {1811.04914},
  archivePrefix = {arXiv},
  primaryClass = {math.AP}
}

@book{BottTu1982,
  author = {Bott, Raoul and Tu, Loring W.},
  title = {Differential Forms in Algebraic Topology},
  series = {Graduate Texts in Mathematics},
  volume = {82},
  publisher = {Springer-Verlag},
  address = {New York},
  year = {1982},
  doi = {10.1007/978-1-4757-3951-0},
  isbn = {978-0-387-90613-3}
}

@article{Nash1956,
  author = {Nash, John},
  title = {The imbedding problem for {Riemannian} manifolds},
  journal = {Annals of Mathematics. Second Series},
  volume = {63},
  number = {1},
  pages = {20--63},
  year = {1956},
  doi = {10.2307/1969989}
}

@article{MichaelSimon1973,
  author  = {Michael, J. H. and Simon, L. M.},
  title   = {Sobolev and mean-value inequalities on generalized submanifolds of {$R^n$}},
  journal = {Communications on Pure and Applied Mathematics},
  year    = {1973},
  volume  = {26},
  number  = {3},
  pages   = {361--379},
  month   = may,
  doi     = {10.1002/cpa.3160260305},
  url     = {https://doi.org/10.1002/cpa.3160260305}
}

@misc{SimonGMT2014,
  author       = {Simon, Leon},
  title        = {Introduction to Geometric Measure Theory},
  year         = {2014},
  howpublished = {Author lecture notes, Stanford University},
  url          = {https://web.stanford.edu/class/math285/ts-gmt.pdf}
}

@article{Simmons2022,
  author  = {Simmons, David A.},
  title   = {Regularity of almost-minimizers of {H{\"o}lder}-coefficient surface energies},
  journal = {Discrete and Continuous Dynamical Systems},
  year    = {2022},
  volume  = {42},
  number  = {7},
  pages   = {3233--3299},
  doi     = {10.3934/dcds.2022015},
  url     = {https://doi.org/10.3934/dcds.2022015}
}

@article{MondinoSpadaro2017,
  author  = {Mondino, Andrea and Spadaro, Emanuele},
  title   = {On an isoperimetric-isodiametric inequality},
  journal = {Analysis \& PDE},
  year    = {2017},
  volume  = {10},
  number  = {1},
  pages   = {95--126},
  doi     = {10.2140/apde.2017.10.95},
  url     = {https://doi.org/10.2140/apde.2017.10.95}
}

@article{LeraySchauder1934,
  author  = {Leray, Jean and Schauder, Jules},
  title   = {Topologie et {\'e}quations fonctionnelles},
  journal = {Annales scientifiques de l'{\'E}cole Normale Sup{\'e}rieure (3)},
  series  = {3},
  year    = {1934},
  volume  = {51},
  pages   = {45--78},
  doi     = {10.24033/asens.836},
  url     = {https://numdam.org/item/ASENS_1934_3_51__45_0/}
}

@article{EschenburgHeintze1984,
  author  = {Eschenburg, Jost-Hinrich and Heintze, Ernst},
  title   = {An elementary proof of the {Cheeger--Gromoll} splitting theorem},
  journal = {Annals of Global Analysis and Geometry},
  year    = {1984},
  volume  = {2},
  number  = {2},
  pages   = {141--151},
  doi     = {10.1007/BF01876506},
  url     = {https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/57847}
}

@article{Wei2007,
  author  = {Wei, Guofang},
  title   = {Manifolds with a lower {Ricci} curvature bound},
  journal = {Surveys in Differential Geometry},
  year    = {2007},
  volume  = {11},
  pages   = {203--228},
  doi     = {10.4310/SDG.2006.v11.n1.a7},
  url     = {https://web.math.ucsb.edu/~wei/paper/06survey.pdf}
}

@article{KangKim2010,
  author        = {Kang, Kyungkeun and Kim, Seick},
  title         = {Global pointwise estimates for {Green}'s matrix of second order elliptic systems},
  journal       = {Journal of Differential Equations},
  year          = {2010},
  volume        = {249},
  number        = {11},
  pages         = {2643--2662},
  doi           = {10.1016/j.jde.2010.05.017},
  eprint        = {1001.2618},
  archivePrefix = {arXiv},
  primaryClass  = {math.AP},
  url           = {https://arxiv.org/abs/1001.2618}
}

@article{LittmanStampacchiaWeinberger1963,
  author  = {Littman, W. and Stampacchia, G. and Weinberger, H. F.},
  title   = {Regular points for elliptic equations with discontinuous coefficients},
  journal = {Annali della Scuola Normale Superiore di Pisa, Classe di Scienze (3)},
  series  = {3},
  year    = {1963},
  volume  = {17},
  number  = {1-2},
  pages   = {43--77},
  url     = {https://numdam.org/item/ASNSP_1963_3_17_1-2_43_0/}
}

@article{KunduriLucietti2018,
  author        = {Kunduri, Hari K. and Lucietti, James},
  title         = {No static bubbling spacetimes in higher dimensional {Einstein--Maxwell} theory},
  journal       = {Classical and Quantum Gravity},
  year          = {2018},
  volume        = {35},
  number        = {5},
  pages         = {054003},
  doi           = {10.1088/1361-6382/aaa744},
  eprint        = {1712.02668},
  archivePrefix = {arXiv},
  primaryClass  = {gr-qc},
  url           = {https://arxiv.org/abs/1712.02668}
}

@article{GibbonsIdaShiromizu2002,
  author        = {Gibbons, Gary W. and Ida, Daisuke and Shiromizu, Tetsuya},
  title         = {Uniqueness and Non-Uniqueness of Static Vacuum Black Holes in Higher Dimensions},
  journal       = {Progress of Theoretical Physics Supplement},
  year          = {2002},
  volume        = {148},
  pages         = {284--290},
  doi           = {10.1143/PTPS.148.284},
  eprint        = {gr-qc/0203004},
  archivePrefix = {arXiv},
  url           = {https://arxiv.org/abs/gr-qc/0203004}
}

@article{GibbonsIdaShiromizu2002ChargedPRD,
  author        = {Gibbons, Gary W. and Ida, Daisuke and Shiromizu, Tetsuya},
  title         = {Uniqueness of (dilatonic) charged black holes and black {$p$}-branes in higher dimensions},
  journal       = {Physical Review D},
  year          = {2002},
  volume        = {66},
  number        = {4},
  pages         = {044010},
  doi           = {10.1103/PhysRevD.66.044010},
  eprint        = {hep-th/0206136},
  archivePrefix = {arXiv},
  url           = {https://arxiv.org/abs/hep-th/0206136}
}

@article{GibbonsIdaShiromizu2002StaticPRL,
  author        = {Gibbons, Gary W. and Ida, Daisuke and Shiromizu, Tetsuya},
  title         = {Uniqueness and Nonuniqueness of Static Black Holes in Higher Dimensions},
  journal       = {Physical Review Letters},
  year          = {2002},
  volume        = {89},
  number        = {4},
  pages         = {041101},
  doi           = {10.1103/PhysRevLett.89.041101},
  eprint        = {hep-th/0206049},
  archivePrefix = {arXiv},
  url           = {https://arxiv.org/abs/hep-th/0206049}
}

@article{JiangShengZhang2022,
  author        = {Jiang, Wenshuai and Sheng, Weimin and Zhang, Huaiyu},
  title         = {Removable singularity of positive mass theorem with continuous metrics},
  journal       = {Mathematische Zeitschrift},
  year          = {2022},
  volume        = {302},
  number        = {2},
  pages         = {839--874},
  doi           = {10.1007/s00209-022-03081-w},
  eprint        = {2012.14041},
  archivePrefix = {arXiv},
  primaryClass  = {math.DG},
  url           = {https://arxiv.org/abs/2012.14041}
}