arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.02020

Quadrangles entangled in conic nets

Bruce Olberding·Elaine A. Walker
View original source ↗Read source document ↗Export metadata ↓

Abstract

A net of conics can remain unchanged as the four-point configuration generating it varies. We study this phenomenon over a field ${\mathbb{k}}$ of characteristic different from $2$. We allow degenerate quadrangles, consisting of four not necessarily distinct points and six joining lines, provided that three sides form a nondegenerate triangle. The net of a quadrangle is obtained by adjoining constants to the defining polynomials in the pencil generated by its pairs of opposite sides, viewed as conics. We call two quadrangles entangled when they generate the same net. We prove that entanglement is equivalent to the apparently asymmetric condition that every side of one quadrangle bisects the other quadrangle at that side's midpoint. The line-pair members of the net form a bisector field that determines the entire net, so entanglement is also equivalent to equality of bisector fields. Finally, we prove that the locus of centers of the central conics in the net, together with one nonparallel line-pair member, determines the net.

Explore related subjects

math.MGmath.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Bruce Olberding, Elaine A. Walker. 2026-10-01. Quadrangles entangled in conic nets. https://arxiv.org/abs/2610.02020

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The Converse Problem for the Morley Tetrahedron: Counterexamples, Conjectures, and Partial Results

An earlier paper in Acta Mathematica Hungarica showed that the Morley construction preserves equality of opposite edge pairs and proposed two converse conjectures. We disprove both. A nonisosceles tetrahedron $T_1$ and an isosceles but nonregular tetrahedron $T_2$ have regular Morley tetrahedra, and an analytic curve of nonisosceles tetrahedra has isosceles Morley tetrahedra. The tetrahedron $T_2$ has edges $AB=CD=1$ and $AC=AD=BC=BD=\sqrt{(21+4\sqrt6)/45}$. Both examples have four equal cross edges. We conjecture that every tetrahedron with a regular Morley tetrahedron has this property, and prove it whenever the original tetrahedron has a nontrivial symmetry. Within the class with four equal cross edges, only the regular tetrahedron, $T_1$ and $T_2$ have regular Morley tetrahedra. The sextic defining $T_1$ has Galois group $S_6$, so $T_1$ cannot be expressed by radicals. The proof-critical computer-assisted checks use exact rational arithmetic.

math.MG↗
arXiv2026

Towards Strongly Aperiodic Monotiles in Higher Dimensions

The discovery of Chair44 (Tsiokos, 2026) settled the three-dimensional einstein problem with a strongly aperiodic polyhedral monotile in $\mathbb{R}^3$. This note extends the underlying mechanism---the rep-$2^N$ chair $C_N = [0,2]^N \setminus (1,2]^N$ with corner/socket markings---to $\mathbb{R}^N$. Besides expository material (the rep-$2^N$ dissection and a conditional strong-aperiodicity theorem under lattice registration and hierarchical enforcement), the note makes a new computational contribution. We introduce a frame-marking formalism in which the marking of a tile is its full orientation frame and the matching rule is the contact language generated by the substitution itself; this makes the search for matching rules finite in every dimension. We give a finite certificate (coarsening closure, tightness, and a two-shell enclosure analysis) whose validity implies that every lattice-registered tiling by the marked tile is uniquely hierarchical, hence strongly aperiodic. For $N=3$ the certificate passes: it yields explicit facet matching rules on the 24 panels of $C_3$ (135 admissible facet-contact triples) and reproduces, from first principles and independently of published constructions, the Chair44 statistics 2388 $\to$ 44 admissible contacts (30 occurring), 33 one-shell clusters, 15 extendable, each forcing a unique supertile. Among the 2187 homochiral frame assignments of the 3D substitution with a translated central child, the certified one is unique up to conjugation. For $N=4$ the same pipeline is run on several structured families of frame assignments (canonical, $D_4$-, $Z_2\times Z_2$- and $Z_4$-symmetric, and a lift of the 3D solution); none is coarsening-closed, and we report the failure data. A self-similar marking of $C_4$ thus remains an explicitly finite, open computational problem, which we state precisely. Code: https://github.com/dimkadimon/Monotile-RN

math.MG↗
arXiv2026

Pullback metrics and homological obstructions to BLD remetrization of branched covers

We characterize admissible BLD remetrizations of branched self-covers of spheres by linear local contractibility of their canonical pullback length metrics. A relative homology obstruction involving the total degree of an inverse image component yields uniform porosity of branch values. Explicit degree-two cusp covers of $\mathbb S^n$, $n\ge3$, have uniformly porous branch values of Hausdorff dimension $n-2$ but admit no compatible Ahlfors $n$-regular, linearly locally contractible BLD source metric. Short homologically essential loops provide the obstruction, showing that porosity is necessary but insufficient for admissibility. We also prove quasisymmetric invariance and sharp degree dependence of porosity for sphere-to-sphere covers in dimension two.

math.MG↗