Showing 1–11 of 11 results for author: He, A

Crushing Surfaces of Positive Genus

Authors: Benjamin A. Burton, Thiago de Paiva, Alexander He, Connie On Yu Hui

Abstract: The operation of crushing a normal surface has proven to be a powerful tool in computational $3$-manifold topology, with applications both to triangulation complexity and to algorithms. The main difficulty with crushing is that it can drastically change the topology of a triangulation, so applications to date have been limited to relatively simple surfaces: $2$-spheres, discs, annuli, and closed b… ▽ More The operation of crushing a normal surface has proven to be a powerful tool in computational $3$-manifold topology, with applications both to triangulation complexity and to algorithms. The main difficulty with crushing is that it can drastically change the topology of a triangulation, so applications to date have been limited to relatively simple surfaces: $2$-spheres, discs, annuli, and closed boundary-parallel surfaces. We give the first detailed analysis of the topological effects of crushing closed essential surfaces of positive genus. To showcase the utility of this new analysis, we use it to prove some results about how triangulation complexity interacts with JSJ decompositions and satellite knots; although similar applications can also be obtained using techniques of Matveev, our approach has the advantage that it avoids the machinery of almost simple spines and handle decompositions. △ Less

Submitted 18 March, 2024; originally announced March 2024.

Comments: 42 pages, 50 figures

MSC Class: 57K30; 57Q15

An algorithm to construct one-vertex triangulations of Heegaard splittings

Authors: Alexander He, James Morgan, Em K. Thompson

Abstract: Following work of Jaco and Rubinstein (2006), which (non-constructively) proved that any 3-manifold admits a one-vertex layered triangulation, we present an algorithm, with implementation using Regina, that uses a combinatorial presentation of a Heegaard diagram to construct a generalised notion of a layered triangulation. We show that work of Huszár and Spreer (2019) extends to our construction:… ▽ More Following work of Jaco and Rubinstein (2006), which (non-constructively) proved that any 3-manifold admits a one-vertex layered triangulation, we present an algorithm, with implementation using Regina, that uses a combinatorial presentation of a Heegaard diagram to construct a generalised notion of a layered triangulation. We show that work of Huszár and Spreer (2019) extends to our construction: given a genus-$g$ Heegaard splitting, our algorithm generates a triangulation with cutwidth bounded above by $4g-2$. Beyond Heegaard splittings, our construction actually extends to a natural generalisation of Dehn fillings: given a one-vertex triangulation with a genus-$g$ boundary component $B$, we can construct a one-vertex triangulation of any 3-manifold obtained by filling $B$ with a handlebody. To demonstrate the usefulness of our algorithm, we present findings from preliminary computer searches using this algorithm. △ Less

Submitted 19 May, 2024; v1 submitted 29 December, 2023; originally announced December 2023.

Comments: 38 pages, 36 figures. v2: Substantial updates to the exposition

MSC Class: 57Q15; 57N10

DeepMartNet -- A Martingale Based Deep Neural Network Learning Method for Dirichlet BVPs and Eigenvalue Problems of Elliptic PDEs in R^d

Authors: Wei Cai, Andrew He, Daniel Margolis

Abstract: In this paper, we propose DeepMartNet - a Martingale based deep neural network learning method for solving Dirichlet boundary value problems (BVPs) and eigenvalue problems for elliptic partial differential equations (PDEs) in high dimensions or domains with complex geometries. The method is based on Varadhan's Martingale problem formulation for the BVPs/eigenvalue problems where a loss function en… ▽ More In this paper, we propose DeepMartNet - a Martingale based deep neural network learning method for solving Dirichlet boundary value problems (BVPs) and eigenvalue problems for elliptic partial differential equations (PDEs) in high dimensions or domains with complex geometries. The method is based on Varadhan's Martingale problem formulation for the BVPs/eigenvalue problems where a loss function enforcing the Martingale property for the PDE solution is used for an efficient optimization by sampling the stochastic processes associated with corresponding elliptic operators. High dimensional numerical results for BVPs of the linear and nonlinear Poisson-Boltzmann equation and eigenvalue problems of the Laplace equation and a Fokker-Planck equation demonstrate the capability of the proposed DeepMartNet learning method in solving high dimensional PDE problems. △ Less

Submitted 20 December, 2023; v1 submitted 15 November, 2023; originally announced November 2023.

Finding large counterexamples by selectively exploring the Pachner graph

Authors: Benjamin A. Burton, Alexander He

Abstract: We often rely on censuses of triangulations to guide our intuition in $3$-manifold topology. However, this can lead to misplaced faith in conjectures if the smallest counterexamples are too large to appear in our census. Since the number of triangulations increases super-exponentially with size, there is no way to expand a census beyond relatively small triangulations; the current census only goes… ▽ More We often rely on censuses of triangulations to guide our intuition in $3$-manifold topology. However, this can lead to misplaced faith in conjectures if the smallest counterexamples are too large to appear in our census. Since the number of triangulations increases super-exponentially with size, there is no way to expand a census beyond relatively small triangulations; the current census only goes up to $10$ tetrahedra. Here, we show that it is feasible to search for large and hard-to-find counterexamples by using heuristics to selectively (rather than exhaustively) enumerate triangulations. We use this idea to find counterexamples to three conjectures which ask, for certain $3$-manifolds, whether one-vertex triangulations always have a "distinctive" edge that would allow us to recognise the $3$-manifold. △ Less

Submitted 6 March, 2024; v1 submitted 11 March, 2023; originally announced March 2023.

Comments: 37 pages, 28 figures. A short version appeared in the proceedings for SoCG 2023; this full version contains some new results that do not appear in the SoCG version. v2: Minor corrections in sections 3.1 and 3.2, and updates to exposition

Journal ref: 39th International Symposium on Computational Geometry (SoCG 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 258, pp. 21:1-21:16, 2023

Arc diagrams on 3-manifold spines

Authors: Jack Brand, Benjamin A. Burton, Zsuzsanna Dancso, Alexander He, Adele Jackson, Joan Licata

Abstract: We develop a theory of link projections to trivalent spines of 3-manifolds. We prove a Reidemeister Theorem providing a set of combinatorial moves sufficient to relate the projections of isotopic links. We also show that any link admits a crossingless projection to any special spine and we refine our theorem to provide a set of combinatorial moves sufficient to relate crossingless diagrams. Finall… ▽ More We develop a theory of link projections to trivalent spines of 3-manifolds. We prove a Reidemeister Theorem providing a set of combinatorial moves sufficient to relate the projections of isotopic links. We also show that any link admits a crossingless projection to any special spine and we refine our theorem to provide a set of combinatorial moves sufficient to relate crossingless diagrams. Finally, we discuss the connection to Turaev's shadow world, interpreting our result as a statement about shadow equivalence of a class of 4-manifolds. △ Less

Submitted 13 June, 2023; v1 submitted 4 February, 2022; originally announced February 2022.

Comments: 17 pages, 18 figures. v2: Extended references, added some questions and remarks, acknowledgements, and minor clarifications. v3: Minor correction in Lemma 2.3

MSC Class: 57K10; 57M15

Journal ref: Discrete Comput. Geom. 71, 1190-1209 (2024)

The h-vector of a Positroid is a pure O-sequence

Authors: Amy He, Pierce Lai, SuHo Oh

Abstract: A well-known conjecture of Stanley is that the h-vector of any matroid is a pure O-sequence. There have been numerous papers with partial progress on this conjecture, but it is still wide open. Positroids are special class of linear matroids that play a crucial role in the field of total positivity. In this short note, we prove that Stanley's conjecture holds for positroids. A well-known conjecture of Stanley is that the h-vector of any matroid is a pure O-sequence. There have been numerous papers with partial progress on this conjecture, but it is still wide open. Positroids are special class of linear matroids that play a crucial role in the field of total positivity. In this short note, we prove that Stanley's conjecture holds for positroids. △ Less

Submitted 9 December, 2021; originally announced December 2021.

Comments: 9 pages, 3 figures

Connecting 3-manifold triangulations with monotonic sequences of elementary moves

Authors: Benjamin A. Burton, Alexander He

Abstract: A key result in computational 3-manifold topology is that any two triangulations of the same 3-manifold are connected by a finite sequence of bistellar flips, also known as Pachner moves. One limitation of this result is that little is known about the structure of this sequence; knowing more about the structure could help both proofs and algorithms. Motivated by this, we consider sequences of move… ▽ More A key result in computational 3-manifold topology is that any two triangulations of the same 3-manifold are connected by a finite sequence of bistellar flips, also known as Pachner moves. One limitation of this result is that little is known about the structure of this sequence; knowing more about the structure could help both proofs and algorithms. Motivated by this, we consider sequences of moves that are "monotonic" in the sense that they break up into two parts: first, a sequence that monotonically increases the size of the triangulation; and second, a sequence that monotonically decreases the size. We prove that any two one-vertex triangulations of the same 3-manifold, each with at least two tetrahedra, are connected by a monotonic sequence of 2-3 and 2-0 moves. We also study the practical utility of monotonic sequences; specifically, we implement an algorithm to find such sequences, and use this algorithm to perform some detailed computational experiments. △ Less

Submitted 13 June, 2024; v1 submitted 3 December, 2020; originally announced December 2020.

Comments: 20 pages, 19 figures. v2: Substantial improvements to the exposition

A double-inductive proof of Moessner's theorem

Authors: Archy Will He

Abstract: We present a proof of Moessner's theorem by double induction, using only basic rules of arithmetic. No prerequisite knowledge is assumed. Familiarity with summation is advised. We present a proof of Moessner's theorem by double induction, using only basic rules of arithmetic. No prerequisite knowledge is assumed. Familiarity with summation is advised. △ Less

Submitted 29 August, 2019; v1 submitted 4 February, 2016; originally announced February 2016.

A weak reduction of the Erdös-Szekeres conjecture into a constraint unsatisfiability problem regarding certain multisets

Authors: Archy Will He

Abstract: We introduce the theory of div point sets, which aims to provide a framework to study the combinatoric nature of any set of points in general position on an Euclidean plane. We then show that proving the unsatisfiability of some first-order logic formulae concerning some sets of multisets of uniform cardinality over boolean variables would prove the Erdös-Szekeres conjecture, which states that for… ▽ More We introduce the theory of div point sets, which aims to provide a framework to study the combinatoric nature of any set of points in general position on an Euclidean plane. We then show that proving the unsatisfiability of some first-order logic formulae concerning some sets of multisets of uniform cardinality over boolean variables would prove the Erdös-Szekeres conjecture, which states that for any set of 2^(n-2)+1 points in general position, there exists n points forming a convex polygon, where n is greater than or equal to 3. △ Less

Submitted 29 August, 2019; v1 submitted 7 November, 2015; originally announced November 2015.

An Elementary Proof of the Cayley Formula Using Random Maps

Authors: Steven Hao, Andrew He, Ray Li, Scott Wu

Abstract: Cayley's formula states that the number of labelled trees on $n$ vertices is $n^{n-2}$, and many of the current proofs involve complex structures or rigorous computation. We present a bijective proof of the formula by providing an elementary calculation of the probability that a cycle occurs in a random map from an $n$-element set to an $n+1$-element set. Cayley's formula states that the number of labelled trees on $n$ vertices is $n^{n-2}$, and many of the current proofs involve complex structures or rigorous computation. We present a bijective proof of the formula by providing an elementary calculation of the probability that a cycle occurs in a random map from an $n$-element set to an $n+1$-element set. △ Less

Submitted 4 September, 2014; originally announced September 2014.

A Simple Proof of the Cayley Formula using Random Graphs

Authors: Scott Wu, Ray Li, Andrew He, Steven Hao

Abstract: We present a nice result on the probability of a cycle occurring in a randomly generated graph. We then provide some extensions and applications, including the proof of the famous Cayley formula, which states that the number of labeled trees on $n$ vertices is $n^{n-2}.$ We present a nice result on the probability of a cycle occurring in a randomly generated graph. We then provide some extensions and applications, including the proof of the famous Cayley formula, which states that the number of labeled trees on $n$ vertices is $n^{n-2}.$ △ Less

Submitted 14 December, 2013; originally announced December 2013.

MSC Class: 05 05C80; 05C05; 05C38