-
The Visual Pattern in the Collatz Conjecture and Proof of No Non-Trivial Cycles
Authors:
Fabian S. Reid
Abstract:
We present the long sought visual pattern in the Collatz problem with the aid of a logarithmic spiral. Using this newly discovered pattern, we show that the Collatz problem is linked to primes via Jacobsthal numbers. We then prove that no non-trivial cycles exist on the spiral and by extension in the Collatz problem.
We present the long sought visual pattern in the Collatz problem with the aid of a logarithmic spiral. Using this newly discovered pattern, we show that the Collatz problem is linked to primes via Jacobsthal numbers. We then prove that no non-trivial cycles exist on the spiral and by extension in the Collatz problem.
△ Less
Submitted 13 May, 2021;
originally announced May 2021.
-
Rectifications of Convex Polyhedra
Authors:
Samuel Reid
Abstract:
A convex polyhedron, that is, a compact convex subset of $\mathbb{R}^3$ which is the intersection of finitely many closed half-spaces, can be rectified by taking the convex hull of the midpoints of the edges of the polyhedron. We derive expressions for the side lengths and areas of rectifications of regular polygons in plane, and use these results to compute surface areas and volumes of various co…
▽ More
A convex polyhedron, that is, a compact convex subset of $\mathbb{R}^3$ which is the intersection of finitely many closed half-spaces, can be rectified by taking the convex hull of the midpoints of the edges of the polyhedron. We derive expressions for the side lengths and areas of rectifications of regular polygons in plane, and use these results to compute surface areas and volumes of various convex polyhedra. We introduce rectification sequences and show that there are exactly two disjoint pure rectification sequences generated by the platonic solids.
△ Less
Submitted 2 April, 2016;
originally announced April 2016.
-
On Arrangements of Six, Seven, and Eight Spheres: Maximal Bonding of Monatomic Ionic Compounds
Authors:
Samuel Reid
Abstract:
Let $C(n)$ be the solution to the contact number problem, i.e., the maximum number of touching pairs among any packing of $n$ congruent spheres in $\mathbb{R}^3$. We prove the long conjectured values of $C(6)=12, C(7)=15$, and $C(8)=18$. The proof strategy generalizes under an extensive case analysis to $C(9)=21, C(10) = 25, C(11) = 29, C(12) = 33$, and $C(13) = 36$. These results have great impor…
▽ More
Let $C(n)$ be the solution to the contact number problem, i.e., the maximum number of touching pairs among any packing of $n$ congruent spheres in $\mathbb{R}^3$. We prove the long conjectured values of $C(6)=12, C(7)=15$, and $C(8)=18$. The proof strategy generalizes under an extensive case analysis to $C(9)=21, C(10) = 25, C(11) = 29, C(12) = 33$, and $C(13) = 36$. These results have great importance for condensed matter physics, materials science, crystallography, organic and physical chemistry of interfaces.
△ Less
Submitted 27 March, 2016;
originally announced March 2016.
-
On Contact Numbers of Finite Lattice Sphere Packings and the Maximal Coordination of Monatomic Crystals
Authors:
Samuel Reid
Abstract:
We algorithmically characterize the maximal contact number problem for finite congruent lattice sphere packings in $\mathbb{R}^d$ and show that in $\mathbb{R}^3$ this problem is equivalent to determining the maximal coordination of a monatomic crystal.
We algorithmically characterize the maximal contact number problem for finite congruent lattice sphere packings in $\mathbb{R}^d$ and show that in $\mathbb{R}^3$ this problem is equivalent to determining the maximal coordination of a monatomic crystal.
△ Less
Submitted 5 February, 2016;
originally announced February 2016.
-
Upper Bounds for Non-Congruent Sphere Packings
Authors:
Samuel Reid
Abstract:
We prove upper bounds on the average kissing number $k(\mathcal{P})$ and contact number $C(\mathcal{P})$ of an arbitrary finite non-congruent sphere packing $\mathcal{P}$, and prove an upper bound on the packing density $δ(\mathcal{P})$ of an arbitrary infinite non-congruent sphere packing $\mathcal{P}$.
We prove upper bounds on the average kissing number $k(\mathcal{P})$ and contact number $C(\mathcal{P})$ of an arbitrary finite non-congruent sphere packing $\mathcal{P}$, and prove an upper bound on the packing density $δ(\mathcal{P})$ of an arbitrary infinite non-congruent sphere packing $\mathcal{P}$.
△ Less
Submitted 28 September, 2015;
originally announced October 2015.
-
Regular Totally Separable Sphere Packings
Authors:
Samuel Reid
Abstract:
The topic of totally separable sphere packings is surveyed with a focus on regular constructions, uniform tilings, and contact number problems. An enumeration of all regular totally separable sphere packings in $\mathbb{R}^2$, $\mathbb{R}^3$, and $\mathbb{R}^4$ which are based on convex uniform tessellations, honeycombs, and tetracombs, respectively, is presented, as well as a construction of a fa…
▽ More
The topic of totally separable sphere packings is surveyed with a focus on regular constructions, uniform tilings, and contact number problems. An enumeration of all regular totally separable sphere packings in $\mathbb{R}^2$, $\mathbb{R}^3$, and $\mathbb{R}^4$ which are based on convex uniform tessellations, honeycombs, and tetracombs, respectively, is presented, as well as a construction of a family of regular totally separable sphere packings in $\mathbb{R}^d$ that is not based on a convex uniform $d$-honeycomb for $d \geq 3$.
△ Less
Submitted 6 June, 2015;
originally announced June 2015.
-
A Sequent Calculus for Dynamic Topological Logic
Authors:
Samuel Reid
Abstract:
We introduce a sequent calculus for the temporal-over-topological fragment $\textbf{DTL}_{0}^{\circ * \slash \Box}$ of dynamic topological logic $\textbf{DTL}$, prove soundness semantically, and prove completeness syntactically using the axiomatization of $\textbf{DTL}_{0}^{\circ * \slash \Box}$ given in \cite{paper3}. A cut-free sequent calculus for $\textbf{DTL}_{0}^{\circ * \slash \Box}$ is obt…
▽ More
We introduce a sequent calculus for the temporal-over-topological fragment $\textbf{DTL}_{0}^{\circ * \slash \Box}$ of dynamic topological logic $\textbf{DTL}$, prove soundness semantically, and prove completeness syntactically using the axiomatization of $\textbf{DTL}_{0}^{\circ * \slash \Box}$ given in \cite{paper3}. A cut-free sequent calculus for $\textbf{DTL}_{0}^{\circ * \slash \Box}$ is obtained as the union of the propositional fragment of Gentzen's classical sequent calculus, two $\Box$ structural rules for the modal extension, and nine $\circ$ (next) and $*$ (henceforth) structural rules for the temporal extension. Future research will focus on the construction of a hypersequent calculus for dynamic topological $\textbf{S5}$ logic in order to prove Kremer's Next Removal Conjecture for the logic of homeomorphisms on almost discrete spaces $\textbf{S5H}$.
△ Less
Submitted 3 August, 2014; v1 submitted 25 July, 2014;
originally announced July 2014.
-
General Linear and Symplectic Nilpotent Orbit Varieties
Authors:
Samuel Reid
Abstract:
The condition of nilpotency is studied in the general linear Lie algebra $\mathfrak{gl}_{n}(\mathbb{K})$ and the symplectic Lie algebra $\mathfrak{sp}_{2m}(\mathbb{K})$ over an algebraically closed field of characteristic 0. In particular, the conjugacy class of nilpotent matrices is described through nilpotent orbit varieties $\mathcal{O}_λ$ and an algorithm is provided for computing the closure…
▽ More
The condition of nilpotency is studied in the general linear Lie algebra $\mathfrak{gl}_{n}(\mathbb{K})$ and the symplectic Lie algebra $\mathfrak{sp}_{2m}(\mathbb{K})$ over an algebraically closed field of characteristic 0. In particular, the conjugacy class of nilpotent matrices is described through nilpotent orbit varieties $\mathcal{O}_λ$ and an algorithm is provided for computing the closure $\overline{\mathcal{O}_λ} \cong \text{Spec}\left(\mathbb{K}[X]\big/J_λ\right).$ We provide new generators for the ideal $J_λ$ defining the affine variety $\overline{\mathcal{O}_λ}$ which show that the generators provided in [J.Weyman - "The equations of conjugacy classes of nilpotent matrices", 1989] are not minimal. Furthermore, we conjecture the existence of local weak Néron models for nilpotent orbit varieties based on bounding $p$ in the polynomial ring with p-adic integer coefficients for which the equations defining $\mathcal{O}_λ$ can embed.
△ Less
Submitted 12 March, 2014;
originally announced March 2014.
-
On Non-Standard Models of Peano Arithmetic and Tennenbaum's Theorem
Authors:
Samuel Reid
Abstract:
Throughout the course of mathematical history, generalizations of previously understood concepts and structures have led to the fruitful development of the hierarchy of number systems, non-euclidean geometry, and many other epochal phases in mathematical progress. In the study of formalized theories of arithmetic, it is only natural to consider the extension from the standard model of Peano arithm…
▽ More
Throughout the course of mathematical history, generalizations of previously understood concepts and structures have led to the fruitful development of the hierarchy of number systems, non-euclidean geometry, and many other epochal phases in mathematical progress. In the study of formalized theories of arithmetic, it is only natural to consider the extension from the standard model of Peano arithmetic, $\langle \mathbb{N},+,\times,\leq,0,1 \rangle$, to non-standard models of arithmetic. The existence of non-standard models of Peano arithmetic provided motivation in the early $20^{th}$ century for a variety of questions in model theory regarding the classification of models up to isomorphism and the properties that non-standard models of Peano arithmetic have. This paper presents these questions and the necessary results to prove Tennenbaum's Theorem, which draws an explicit line between the properties of standard and non-standard models; namely, that no countable non-standard model of Peano arithmetic is recursive. These model-theoretic results have contributed to the foundational framework within which research programs developed by Skolem, Rosser, Tarski, Mostowski and others have flourished. While such foundational topics were crucial to active fields of research during the middle of the $20^{th}$ century, numerous open questions about models of arithmetic, and model theory in general, still remain pertinent to the realm of $21^{st}$ century mathematical discourse.
△ Less
Submitted 25 November, 2013;
originally announced November 2013.
-
On the Probability of Relative Primality in the Gaussian Integers
Authors:
Bianca De Sanctis,
Samuel Reid
Abstract:
This paper studies the interplay between probability, number theory, and geometry in the context of relatively prime integers in the ring of integers of a number field. In particular, probabilistic ideas are coupled together with integer lattices and the theory of zeta functions over number fields in order to show that $$P(\gcd(z_{1},z_{2})=1) = \frac{1}{ζ_{\Q(i)}(2)}$$ where…
▽ More
This paper studies the interplay between probability, number theory, and geometry in the context of relatively prime integers in the ring of integers of a number field. In particular, probabilistic ideas are coupled together with integer lattices and the theory of zeta functions over number fields in order to show that $$P(\gcd(z_{1},z_{2})=1) = \frac{1}{ζ_{\Q(i)}(2)}$$ where $z_{1},z_{2} \in \mathbb{Z}[i]$ are randomly chosen and $ζ_{\Q(i)}(s)$ is the Dedekind zeta function over the Gaussian integers. Our proof outlines a lattice-theoretic approach to proving the generalization of this theorem to arbitrary number fields that are principal ideal domains.
△ Less
Submitted 23 May, 2013;
originally announced May 2013.
-
On Generalizing a Temporal Formalism for Game Theory to the Asymptotic Combinatorics of S5 Modal Frames
Authors:
Samuel Reid
Abstract:
A temporal-theoretic formalism for understanding game theory is described where a strict ordering relation on a set of time points $T$ defines a game on $T$. Using this formalism, a proof of Zermelo's Theorem, which states that every finite 2-player zero-sum game is determined, is given and an exhaustive analysis of the game of Nim is presented. Furthermore, a combinatorial analysis of games on a…
▽ More
A temporal-theoretic formalism for understanding game theory is described where a strict ordering relation on a set of time points $T$ defines a game on $T$. Using this formalism, a proof of Zermelo's Theorem, which states that every finite 2-player zero-sum game is determined, is given and an exhaustive analysis of the game of Nim is presented. Furthermore, a combinatorial analysis of games on a set of arbitrary time points is given; in particular, it is proved that the number of distinct games on a set $T$ with cardinality $n$ is the number of partial orders on a set of $n$ elements. By generalizing this theorem from temporal modal frames to S5 modal frames, it is proved that the number of isomorphism classes of S5 modal frames $\mathcal{F} = \ < W, R \ >$ with $|W|=n$ is equal to the partition function $p(n)$. As a corollary of the fact that the partition function is asymptotic to the Hardy-Ramanujan number $$\frac{1}{4\sqrt{3}n}e^{π\sqrt{2n/3}}$$ the number of isomorphism classes of S5 modal frames $\mathcal{F} = \ < W, R \ >$ with $|W|=n$ is asymptotically the Hardy-Ramanujan number. Lastly, we use these results to prove that an arbitrary modal frame is an S5 modal frame with probability zero.
△ Less
Submitted 30 April, 2013;
originally announced May 2013.
-
A Combinatorial Approach to Quantum Error Correcting Codes
Authors:
German Luna,
Samuel Reid,
Bianca De Sanctis,
Vlad Gheorghiu
Abstract:
Motivated from the theory of quantum error correcting codes, we investigate a combinatorial problem that involves a symmetric $n$-vertices colourable graph and a group of operations (colouring rules) on the graph: find the minimum sequence of operations that maps between two given graph colourings. We provide an explicit algorithm for computing the solution of our problem, which in turn is directl…
▽ More
Motivated from the theory of quantum error correcting codes, we investigate a combinatorial problem that involves a symmetric $n$-vertices colourable graph and a group of operations (colouring rules) on the graph: find the minimum sequence of operations that maps between two given graph colourings. We provide an explicit algorithm for computing the solution of our problem, which in turn is directly related to computing the distance (performance) of an underlying quantum error correcting code. Computing the distance of a quantum code is a highly non-trivial problem and our method may be of use in the construction of better codes.
△ Less
Submitted 24 April, 2013;
originally announced April 2013.
-
Contact graphs of unit sphere packings revisited
Authors:
Karoly Bezdek,
Samuel Reid
Abstract:
The contact graph of an arbitrary finite packing of unit balls in Euclidean 3-space is the (simple) graph whose vertices correspond to the packing elements and whose two vertices are connected by an edge if the corresponding two packing elements touch each other. One of the most basic questions on contact graphs is to find the maximum number of edges that a contact graph of a packing of n unit bal…
▽ More
The contact graph of an arbitrary finite packing of unit balls in Euclidean 3-space is the (simple) graph whose vertices correspond to the packing elements and whose two vertices are connected by an edge if the corresponding two packing elements touch each other. One of the most basic questions on contact graphs is to find the maximum number of edges that a contact graph of a packing of n unit balls can have. In this paper, improving earlier estimates, we prove that the number of touching pairs in an arbitrary packing of n unit balls in Euclidean 3-space is always less than $6n-0.926n^{2/3}$. Moreover, as a natural extension of the above problem, we propose to study the maximum number of touching triplets (resp., quadruples) in an arbitrary packing of n unit balls in Euclidean 3-space. In particular, we prove that the number of touching triplets (resp., quadruples) in an arbitrary packing of n unit balls in Euclidean 3-space is at most $25/3n$ (resp., $11/4n$).
△ Less
Submitted 21 October, 2012;
originally announced October 2012.
