Showing 1–17 of 17 results for author: Parshall, H

The Erdős unit distance problem for small point sets

Authors: Boris Alexeev, Dustin G. Mixon, Hans Parshall

Abstract: We improve the best known upper bound on the number of edges in a unit-distance graph on $n$ vertices for each $n\in\{16,\ldots,30\}$. When $n\leq 21$, our bounds match the best known lower bounds, and we fully enumerate the densest unit-distance graphs in these cases. On the combinatorial side, our principle technique is to more efficiently generate $\mathcal{F}$-free graphs for a set of forbid… ▽ More We improve the best known upper bound on the number of edges in a unit-distance graph on $n$ vertices for each $n\in\{16,\ldots,30\}$. When $n\leq 21$, our bounds match the best known lower bounds, and we fully enumerate the densest unit-distance graphs in these cases. On the combinatorial side, our principle technique is to more efficiently generate $\mathcal{F}$-free graphs for a set of forbidden subgraphs $\mathcal{F}$. On the algebraic side, we are able to determine programmatically whether many graphs are unit-distance, using a custom embedder that is more efficient in practice than tools such as cylindrical algebraic decomposition. △ Less

Submitted 12 February, 2025; v1 submitted 16 December, 2024; originally announced December 2024.

Comments: 18 pages, 3 tables, 63 figures; v2 has only minor changes; see also ancillary file graph6.txt

Generalized point configurations in ${\mathbb F}_q^d$

Authors: Paige Bright, Xinyu Fang, Barrett Heritage, Alex Iosevich, Tingsong Jiang, Hans Parshall, Maxwell Sun

Abstract: In this paper, we generalize \cite{IosevichParshall}, \cite{LongPaths} and \cite{cycles} by allowing the \emph{distance} between two points in a finite field vector space to be defined by a general non-degenerate bilinear form or quadratic form. We prove the same bounds on the sizes of large subsets of $\F_q^d$ for them to contain distance graphs with a given maximal vertex degree, under the more… ▽ More In this paper, we generalize \cite{IosevichParshall}, \cite{LongPaths} and \cite{cycles} by allowing the \emph{distance} between two points in a finite field vector space to be defined by a general non-degenerate bilinear form or quadratic form. We prove the same bounds on the sizes of large subsets of $\F_q^d$ for them to contain distance graphs with a given maximal vertex degree, under the more general notion of distance. We also prove the same results for embedding paths, trees and cycles in the general setting. △ Less

Submitted 21 August, 2023; originally announced August 2023.

Comments: arXiv admin note: text overlap with arXiv:1802.06460

MSC Class: 52C10

Spherical Configurations over Finite Fields

Authors: Neil Lyall, Akos Magyar, Hans Parshall

Abstract: We establish that if $d \geq 2k + 6$ and $q$ is odd and sufficiently large with respect to $α\in (0,1)$, then every set $A\subseteq \mathbf{F}_q^d$ of size $|A| \geq αq^d$ will contain an isometric copy of every spherical $(k+2)$-point configuration that spans $k$ dimensions. We establish that if $d \geq 2k + 6$ and $q$ is odd and sufficiently large with respect to $α\in (0,1)$, then every set $A\subseteq \mathbf{F}_q^d$ of size $|A| \geq αq^d$ will contain an isometric copy of every spherical $(k+2)$-point configuration that spans $k$ dimensions. △ Less

Submitted 26 January, 2023; originally announced January 2023.

Journal ref: Amer. J. Math. Volume 142, Number 2, April 2020, 373-404

Neural collapse with unconstrained features

Authors: Dustin G. Mixon, Hans Parshall, Jianzong Pi

Abstract: Neural collapse is an emergent phenomenon in deep learning that was recently discovered by Papyan, Han and Donoho. We propose a simple "unconstrained features model" in which neural collapse also emerges empirically. By studying this model, we provide some explanation for the emergence of neural collapse in terms of the landscape of empirical risk. Neural collapse is an emergent phenomenon in deep learning that was recently discovered by Papyan, Han and Donoho. We propose a simple "unconstrained features model" in which neural collapse also emerges empirically. By studying this model, we provide some explanation for the emergence of neural collapse in terms of the landscape of empirical risk. △ Less

Submitted 23 November, 2020; originally announced November 2020.

Uniquely optimal codes of low complexity are symmetric

Authors: Christopher Cox, Emily J. King, Dustin G. Mixon, Hans Parshall

Abstract: We formulate explicit predictions concerning the symmetry of optimal codes in compact metric spaces. This motivates the study of optimal codes in various spaces where these predictions can be tested. We formulate explicit predictions concerning the symmetry of optimal codes in compact metric spaces. This motivates the study of optimal codes in various spaces where these predictions can be tested. △ Less

Submitted 15 September, 2020; v1 submitted 28 August, 2020; originally announced August 2020.

Lie PCA: Density estimation for symmetric manifolds

Authors: Jameson Cahill, Dustin G. Mixon, Hans Parshall

Abstract: We introduce an extension to local principal component analysis for learning symmetric manifolds. In particular, we use a spectral method to approximate the Lie algebra corresponding to the symmetry group of the underlying manifold. We derive the sample complexity of our method for a variety of manifolds before applying it to various data sets for improved density estimation. We introduce an extension to local principal component analysis for learning symmetric manifolds. In particular, we use a spectral method to approximate the Lie algebra corresponding to the symmetry group of the underlying manifold. We derive the sample complexity of our method for a variety of manifolds before applying it to various data sets for improved density estimation. △ Less

Submitted 13 September, 2020; v1 submitted 10 August, 2020; originally announced August 2020.

Globally optimizing small codes in real projective spaces

Authors: Dustin G. Mixon, Hans Parshall

Abstract: For $d\in\{5,6\}$, we classify arrangements of $d + 2$ points in $\mathbf{RP}^{d-1}$ for which the minimum distance is as large as possible. To do so, we leverage ideas from matrix and convex analysis to determine the best possible codes that contain equiangular lines, and we introduce a notion of approximate Positivstellensatz certificates that promotes numerical approximations of Stengle's Posit… ▽ More For $d\in\{5,6\}$, we classify arrangements of $d + 2$ points in $\mathbf{RP}^{d-1}$ for which the minimum distance is as large as possible. To do so, we leverage ideas from matrix and convex analysis to determine the best possible codes that contain equiangular lines, and we introduce a notion of approximate Positivstellensatz certificates that promotes numerical approximations of Stengle's Positivstellensatz certificates to honest certificates. △ Less

Submitted 6 December, 2019; originally announced December 2019.

Comments: code included in ancillary files

Linear programming bounds for cliques in Paley graphs

Authors: Mark Magsino, Dustin G. Mixon, Hans Parshall

Abstract: The Lovász theta number is a semidefinite programming bound on the clique number of (the complement of) a given graph. Given a vertex-transitive graph, every vertex belongs to a maximal clique, and so one can instead apply this semidefinite programming bound to the local graph. In the case of the Paley graph, the local graph is circulant, and so this bound reduces to a linear programming bound, al… ▽ More The Lovász theta number is a semidefinite programming bound on the clique number of (the complement of) a given graph. Given a vertex-transitive graph, every vertex belongs to a maximal clique, and so one can instead apply this semidefinite programming bound to the local graph. In the case of the Paley graph, the local graph is circulant, and so this bound reduces to a linear programming bound, allowing for fast computations. Impressively, the value of this program with Schrijver's nonnegativity constraint rivals the state-of-the-art closed-form bound recently proved by Hanson and Petridis. We conjecture that this linear programming bound improves on the Hanson-Petridis bound infinitely often, and we derive the dual program to facilitate proving this conjecture. △ Less

Submitted 12 July, 2019; originally announced July 2019.

Comments: Wavelets and Sparsity XVIII

Small unit-distance graphs in the plane

Authors: Aidan Globus, Hans Parshall

Abstract: We prove that a graph on up to 9 vertices is a unit-distance graph if and only if it does not contain one of 74 so-called minimal forbidden graphs. This extends the work of Chilakamarri and Mahoney (1995), who provide a similar classification for unit-distance graphs on up to 7 vertices. We prove that a graph on up to 9 vertices is a unit-distance graph if and only if it does not contain one of 74 so-called minimal forbidden graphs. This extends the work of Chilakamarri and Mahoney (1995), who provide a similar classification for unit-distance graphs on up to 7 vertices. △ Less

Submitted 24 May, 2019; v1 submitted 19 May, 2019; originally announced May 2019.

Comments: (v3) fixed F(9,15,21) and Lemma 19

Kesten-McKay law for random subensembles of Paley equiangular tight frames

Authors: Mark Magsino, Dustin G. Mixon, Hans Parshall

Abstract: We apply the method of moments to prove a recent conjecture of Haikin, Zamir and Gavish (2017) concerning the distribution of the singular values of random subensembles of Paley equiangular tight frames. Our analysis applies more generally to real equiangular tight frames of redundancy 2, and we suspect similar ideas will eventually produce more general results for arbitrary choices of redundancy. We apply the method of moments to prove a recent conjecture of Haikin, Zamir and Gavish (2017) concerning the distribution of the singular values of random subensembles of Paley equiangular tight frames. Our analysis applies more generally to real equiangular tight frames of redundancy 2, and we suspect similar ideas will eventually produce more general results for arbitrary choices of redundancy. △ Less

Submitted 10 May, 2019; originally announced May 2019.

The optimal packing of eight points in the real projective plane

Authors: Dustin G. Mixon, Hans Parshall

Abstract: How can we arrange $n$ lines through the origin in three-dimensional Euclidean space in a way that maximizes the minimum interior angle between pairs of lines? Conway, Hardin and Sloane (1996) produced line packings for $n \leq 55$ that they conjectured to be within numerical precision of optimal in this sense, but until now only the cases $n \leq 7$ have been solved. In this paper, we resolve the… ▽ More How can we arrange $n$ lines through the origin in three-dimensional Euclidean space in a way that maximizes the minimum interior angle between pairs of lines? Conway, Hardin and Sloane (1996) produced line packings for $n \leq 55$ that they conjectured to be within numerical precision of optimal in this sense, but until now only the cases $n \leq 7$ have been solved. In this paper, we resolve the case $n = 8$. Drawing inspiration from recent work on the Tammes problem, we enumerate contact graph candidates for an optimal configuration and eliminate those that violate various combinatorial and geometric necessary conditions. The contact graph of the putatively optimal numerical packing of Conway, Hardin and Sloane is the only graph that survives, and we recover from this graph an exact expression for the minimum distance of eight optimally packed points in the real projective plane. △ Less

Submitted 26 February, 2019; originally announced February 2019.

A Delsarte-Style Proof of the Bukh-Cox Bound

Authors: Mark Magsino, Dustin G. Mixon, Hans Parshall

Abstract: The line packing problem is concerned with the optimal packing of points in real or complex projective space so that the minimum distance between points is maximized. Until recently, all bounds on optimal line packings were known to be derivable from Delsarte's linear program. Last year, Bukh and Cox introduced a new bound for the line packing problem using completely different techniques. In this… ▽ More The line packing problem is concerned with the optimal packing of points in real or complex projective space so that the minimum distance between points is maximized. Until recently, all bounds on optimal line packings were known to be derivable from Delsarte's linear program. Last year, Bukh and Cox introduced a new bound for the line packing problem using completely different techniques. In this paper, we use ideas from the Bukh--Cox proof to find a new proof of the Welch bound, and then we use ideas from Delsarte's linear program to find a new proof of the Bukh--Cox bound. Hopefully, these unifying principles will lead to further refinements. △ Less

Submitted 1 May, 2019; v1 submitted 3 February, 2019; originally announced February 2019.

Comments: 4 pages, conference: SampTA 2019

Exact Line Packings from Numerical Solutions

Authors: Dustin G. Mixon, Hans Parshall

Abstract: Recent progress in Zauner's conjecture has leveraged deep conjectures in algebraic number theory to promote numerical line packings to exact and verifiable solutions to the line packing problem. We introduce a numerical-to-exact technique in the real setting that does not require such conjectures. Our approach is completely reproducible, matching Sloane's database of putatively optimal numerical l… ▽ More Recent progress in Zauner's conjecture has leveraged deep conjectures in algebraic number theory to promote numerical line packings to exact and verifiable solutions to the line packing problem. We introduce a numerical-to-exact technique in the real setting that does not require such conjectures. Our approach is completely reproducible, matching Sloane's database of putatively optimal numerical line packings with Mathematica's built-in implementation of cylindrical algebraic decomposition. As a proof of concept, we promote a putatively optimal numerical packing of eight points in the real projective plane to an exact packing, whose optimality we establish in a forthcoming paper. △ Less

Submitted 1 May, 2019; v1 submitted 29 January, 2019; originally announced February 2019.

Comments: Mathematica notebook attached as ancillary file

On the quotient set of the distance set

Authors: A. Iosevich, D. Koh, H. Parshall

Abstract: Let ${\Bbb F}_q$ be a finite field of order $q.$ We prove that if $d\ge 2$ is even and $E \subset {\Bbb F}_q^d$ with $|E| \ge 9q^{\frac{d}{2}}$ then $$ {\Bbb F}_q=\frac{Δ(E)}{Δ(E)}=\left\{ \frac{a}{b}: a \in Δ(E), b \in Δ(E) \backslash \{0\} \right\},$$ where $$ Δ(E)=\{||x-y||: x,y \in E\}, \ ||x||=x_1^2+x_2^2+\cdots+x_d^2.$$ If the dimension $d$ is odd and $E\subset \mathbb F_q^d$ with… ▽ More Let ${\Bbb F}_q$ be a finite field of order $q.$ We prove that if $d\ge 2$ is even and $E \subset {\Bbb F}_q^d$ with $|E| \ge 9q^{\frac{d}{2}}$ then $$ {\Bbb F}_q=\frac{Δ(E)}{Δ(E)}=\left\{ \frac{a}{b}: a \in Δ(E), b \in Δ(E) \backslash \{0\} \right\},$$ where $$ Δ(E)=\{||x-y||: x,y \in E\}, \ ||x||=x_1^2+x_2^2+\cdots+x_d^2.$$ If the dimension $d$ is odd and $E\subset \mathbb F_q^d$ with $|E|\ge 6q^{\frac{d}{2}},$ then $$ \{0\}\cup\mathbb F_q^+ \subset \frac{Δ(E)}{Δ(E)},$$ where $\mathbb F_q^+$ denotes the set of nonzero quadratic residues in $\mathbb F_q.$ Both results are, in general, best possible, including the conclusion about the nonzero quadratic residues in odd dimensions. △ Less

Submitted 22 February, 2018; originally announced February 2018.

MSC Class: 11T24; 52C17

Journal ref: Moscow J. Comb. Number Th. 8 (2019) 103-115

Embedding distance graphs in finite field vector spaces

Authors: Alex Iosevich, Hans Parshall

Abstract: We show that large subsets of vector spaces over finite fields determine certain point configurations with prescribed distance structure. More specifically, we consider the complete graph with vertices as the points of $A \subseteq \mathbf{F}_q^d$ and edges assigned the algebraic distance between pairs of vertices. We prove nontrivial results on locating specified subgraphs of maximum vertex degre… ▽ More We show that large subsets of vector spaces over finite fields determine certain point configurations with prescribed distance structure. More specifically, we consider the complete graph with vertices as the points of $A \subseteq \mathbf{F}_q^d$ and edges assigned the algebraic distance between pairs of vertices. We prove nontrivial results on locating specified subgraphs of maximum vertex degree at most $t$ in dimensions $d \geq 2t$. △ Less

Submitted 18 February, 2018; originally announced February 2018.

MSC Class: 52C10

Simplices over finite fields

Authors: Hans Parshall

Abstract: We prove that, provided $d > k$, every sufficiently large subset of $\mathbf{F}_q^d$ contains an isometric copy of every $k$-simplex that avoids spanning a nontrivial self-orthogonal subspace. We obtain comparable results for simplices exhibiting self-orthogonal behavior. We prove that, provided $d > k$, every sufficiently large subset of $\mathbf{F}_q^d$ contains an isometric copy of every $k$-simplex that avoids spanning a nontrivial self-orthogonal subspace. We obtain comparable results for simplices exhibiting self-orthogonal behavior. △ Less

Submitted 8 December, 2016; v1 submitted 13 June, 2016; originally announced June 2016.

Comments: 11 pages; improved and revised

MSC Class: 11T24; 05D10

Small gaps between configurations of prime polynomials

Authors: Hans Parshall

Abstract: We find arbitrarily large configurations of irreducible polynomials over finite fields that are separated by low degree polynomials. Our proof adapts an argument of Pintz from the integers, in which he combines the methods of Goldston-Pintz-Yıldırım and Green-Tao to find arbitrarily long arithmetic progressions of generalized twin primes. We find arbitrarily large configurations of irreducible polynomials over finite fields that are separated by low degree polynomials. Our proof adapts an argument of Pintz from the integers, in which he combines the methods of Goldston-Pintz-Yıldırım and Green-Tao to find arbitrarily long arithmetic progressions of generalized twin primes. △ Less

Submitted 5 March, 2015; originally announced March 2015.