-
Slice disks modulo local knotting
Authors:
Jeffrey Meier,
Allison N. Miller
Abstract:
The second author and Powell asked whether there exist knots bounding infinitely many slice disks that remain pairwise nonisotopic, even after local knotting. We answer this question in the affirmative, giving many classes of examples distinguished by the kernels of the inclusion-induced maps on the fundamental group. Along the way, we give a classification of fibered, homotopy-ribbon disks bounde…
▽ More
The second author and Powell asked whether there exist knots bounding infinitely many slice disks that remain pairwise nonisotopic, even after local knotting. We answer this question in the affirmative, giving many classes of examples distinguished by the kernels of the inclusion-induced maps on the fundamental group. Along the way, we give a classification of fibered, homotopy-ribbon disks bounded by generalized square knots up to isotopy modulo local knotting, extending work of the first author and Zupan. We conclude with a discussion of how invertible concordances and satellite operations can produce new examples of knots bounding many inequivalent slice disks. In particular, we give examples of fibered, hyperbolic knots bounding infinitely many fibered, ribbon disks that are pairwise nonisotopic modulo local knotting. The closed monodromies of these knots are pseudo-Anosov mapping classes that have infinitely many distinct handlebody extensions, a curiosity that may be of independent interest.
△ Less
Submitted 12 March, 2025;
originally announced March 2025.
-
Short character values on large conjugacy classes
Authors:
Alexander R. Miller
Abstract:
We provide an example of a finite group with a conjugacy class of average size on which fewer than half of the irreducible characters are either zero or a root of unity.
We provide an example of a finite group with a conjugacy class of average size on which fewer than half of the irreducible characters are either zero or a root of unity.
△ Less
Submitted 28 November, 2024;
originally announced November 2024.
-
Fast Symbolic Integer-Linear Spectra
Authors:
Jonny Luntzel,
Abraham Miller
Abstract:
Here we contribute a fast symbolic eigenvalue solver for matrices whose eigenvalues are $\mathbb{Z}$-linear combinations of their entries, alongside efficient general and stochastic $M^{X}$ generators. Users can interact with a few degrees of freedom to create linear operators, making high-dimensional symbolic analysis feasible for when numerical analyses are insufficient.
Here we contribute a fast symbolic eigenvalue solver for matrices whose eigenvalues are $\mathbb{Z}$-linear combinations of their entries, alongside efficient general and stochastic $M^{X}$ generators. Users can interact with a few degrees of freedom to create linear operators, making high-dimensional symbolic analysis feasible for when numerical analyses are insufficient.
△ Less
Submitted 12 December, 2024; v1 submitted 18 September, 2024;
originally announced October 2024.
-
Immersed surfaces with knot group $\mathbb{Z}$
Authors:
Anthony Conway,
Allison N. Miller
Abstract:
This article is concerned with locally flatly immersed surfaces in simply-connected $4$-manifolds where the complement of the surface has fundamental group $\mathbb{Z}$. Once the genus and number of double points are fixed, we classify such immersed surfaces in terms of the equivariant intersection form of their exterior and a secondary invariant. Applications include criteria for deciding when an…
▽ More
This article is concerned with locally flatly immersed surfaces in simply-connected $4$-manifolds where the complement of the surface has fundamental group $\mathbb{Z}$. Once the genus and number of double points are fixed, we classify such immersed surfaces in terms of the equivariant intersection form of their exterior and a secondary invariant. Applications include criteria for deciding when an immersed $\mathbb{Z}$-surface in $S^4$ is isotopic to the standard immersed surface that is obtained from an unknotted surface by adding local double points. As another application, we enumerate $\mathbb{Z}$-disks in $D^4$ with a single double point and boundary a given knot; we prove that the number of such disks may be infinite. We also prove that a knot bounds a $\mathbb{Z}$-disk in $D^4$ with $c_+$ positive double points and $c_-$ negative double points if and only if it can be converted into an Alexander polynomial one knot via changing $c_+$ positive crossings and $c_-$ negative crossings. In $4$-manifolds other than $D^4$ and $S^4$, applications include measuring the extent to which immersed $\mathbb{Z}$-surfaces are determined by the equivariant intersection form of their exterior. Along the way, we prove that any two $\mathbb{Z}^2$-concordances between the Hopf link and an Alexander polynomial one link $L$ are homeomorphic rel. boundary.
△ Less
Submitted 6 October, 2024;
originally announced October 2024.
-
Self-adjoint traces on the Pedersen ideal of $\mathrm{C}^\ast$-algebras
Authors:
James Gabe,
Alistair Miller
Abstract:
In order to circumvent a fundamental issue when studying densely defined traces on $\mathrm{C}^\ast$-algebras -- which we refer to as the Trace Question -- we initiate a systematic study of the set $T_{\mathbb R}(A)$ of self-adjoint traces on the Pedersen ideal of $A$.
The set $T_{\mathbb R}(A)$ is a topological vector space with a vector lattice structure, which in the unital setting reflects t…
▽ More
In order to circumvent a fundamental issue when studying densely defined traces on $\mathrm{C}^\ast$-algebras -- which we refer to as the Trace Question -- we initiate a systematic study of the set $T_{\mathbb R}(A)$ of self-adjoint traces on the Pedersen ideal of $A$.
The set $T_{\mathbb R}(A)$ is a topological vector space with a vector lattice structure, which in the unital setting reflects the Choquet simplex structure of the tracial states. We establish a form of Kadison duality for $T_{\mathbb R}(A)$ and compute $T_{\mathbb R}(A)$ for principal twisted étale groupoid $\mathrm{C}^\ast$-algebras. We also answer the Trace Question positively for a large class of $\mathrm{C}^\ast$-algebras.
△ Less
Submitted 11 March, 2025; v1 submitted 5 September, 2024;
originally announced September 2024.
-
Homology and K-theory for self-similar actions of groups and groupoids
Authors:
Alistair Miller,
Benjamin Steinberg
Abstract:
Nekrashevych associated to each self-similar group action an ample groupoid and a C*-algebra. We provide exact sequences to compute the homology of the groupoid and the K-theory of the C*-algebra in terms of the homology of the group and K-theory of the group C*-algebra via the transfer map and the virtual endomorphism. Complete computations are then performed for the Grigorchuk group, the Grigorc…
▽ More
Nekrashevych associated to each self-similar group action an ample groupoid and a C*-algebra. We provide exact sequences to compute the homology of the groupoid and the K-theory of the C*-algebra in terms of the homology of the group and K-theory of the group C*-algebra via the transfer map and the virtual endomorphism. Complete computations are then performed for the Grigorchuk group, the Grigorchuk--Erschler group, Gupta--Sidki groups and many others. Results are proved more generally for self-similar groupoids. As a consequence of our results and recent results of Xin Li, we are able to show that Röver's simple group containing the Grigorchuk group is rationally acyclic but has nontrivial Schur multiplier. We prove many more Röver--Nekrashevych groups of self-similar groups are rationally acyclic.
△ Less
Submitted 3 September, 2024;
originally announced September 2024.
-
Perfect cheating is impossible for single-qubit position verification
Authors:
Carl A. Miller,
Yusuf Alnawakhtha
Abstract:
In quantum position verification, a prover certifies her location by performing a quantum computation and returning the results (at the speed of light) to a set of trusted verifiers. One of the very first protocols for quantum position verification was proposed in (Kent, Munro, Spiller 2011): the prover receives a qubit $Q$ from one direction, receives an orthogonal basis $\{ v, v^\perp \}$ from t…
▽ More
In quantum position verification, a prover certifies her location by performing a quantum computation and returning the results (at the speed of light) to a set of trusted verifiers. One of the very first protocols for quantum position verification was proposed in (Kent, Munro, Spiller 2011): the prover receives a qubit $Q$ from one direction, receives an orthogonal basis $\{ v, v^\perp \}$ from the opposite direction, then measures $Q$ in $\{ v, v^\perp \}$ and broadcasts the result. A number of variants of this protocol have been proposed and analyzed, but the question of whether the original protocol itself is secure has never been fully resolved. In this work we show that there is no perfect finite-dimensional cheating strategy for the original KMS measurement protocol. Our approach makes use of tools from real algebraic geometry.
△ Less
Submitted 28 June, 2024;
originally announced June 2024.
-
Max- and min-stability under first-order stochastic dominance
Authors:
Christopher Chambers,
Alan Miller,
Ruodu Wang,
Qinyu Wu
Abstract:
Max-stability is the property that taking a maximum between two inputs results in a maximum between two outputs. We study max-stability with respect to first-order stochastic dominance, the most fundamental notion of stochastic dominance in decision theory. Under two additional standard axioms of nondegeneracy and lower semicontinuity, we establish a representation theorem for functionals satisfyi…
▽ More
Max-stability is the property that taking a maximum between two inputs results in a maximum between two outputs. We study max-stability with respect to first-order stochastic dominance, the most fundamental notion of stochastic dominance in decision theory. Under two additional standard axioms of nondegeneracy and lower semicontinuity, we establish a representation theorem for functionals satisfying max-stability, which turns out to be represented by the supremum of a bivariate function. A parallel characterization result for min-stability, that is, with the maximum replaced by the minimum in max-stability, is also established. By combining both max-stability and min-stability, we obtain a new characterization for a class of functionals, called the Lambda-quantiles, that appear in finance and political science.
△ Less
Submitted 3 February, 2025; v1 submitted 19 March, 2024;
originally announced March 2024.
-
Versatile mixed methods for compressible flows
Authors:
Edward A. Miller,
David M. Williams
Abstract:
Versatile mixed finite element methods were originally developed by Chen and Williams for isothermal incompressible flows in "Versatile mixed methods for the incompressible Navier-Stokes equations," Computers & Mathematics with Applications, Volume 80, 2020. Thereafter, these methods were extended by Miller, Chen, and Williams to non-isothermal incompressible flows in "Versatile mixed methods for…
▽ More
Versatile mixed finite element methods were originally developed by Chen and Williams for isothermal incompressible flows in "Versatile mixed methods for the incompressible Navier-Stokes equations," Computers & Mathematics with Applications, Volume 80, 2020. Thereafter, these methods were extended by Miller, Chen, and Williams to non-isothermal incompressible flows in "Versatile mixed methods for non-isothermal incompressible flows," Computers & Mathematics with Applications, Volume 125, 2022. The main advantage of these methods lies in their flexibility. Unlike traditional mixed methods, they retain the divergence terms in the momentum and temperature equations. As a result, the favorable properties of the schemes are maintained even in the presence of non-zero divergence. This makes them an ideal candidate for an extension to compressible flows, in which the divergence does not generally vanish. In the present article, we finally construct the fully-compressible extension of the methods. In addition, we demonstrate the excellent performance of the resulting methods for weakly-compressible flows that arise near the incompressible limit, as well as more strongly-compressible flows that arise near Mach 0.5.
△ Less
Submitted 28 February, 2024;
originally announced February 2024.
-
Spaceport Facility Location Planning within the US National Airspace System
Authors:
Haochen Wu,
Kevin R. Sun,
Jackson A. Miller,
Oliver Jia-Richards,
Max Z. Li
Abstract:
The burgeoning commercial space transportation industry necessitates an expansion of launch infrastructure to meet rising demands. However, future operations from these large-scale infrastructures can result in new impacts, particularly to air traffic operations. To rigorously reason about where such future spaceports might be located and what their impacts might be, we introduce a facility locati…
▽ More
The burgeoning commercial space transportation industry necessitates an expansion of launch infrastructure to meet rising demands. However, future operations from these large-scale infrastructures can result in new impacts, particularly to air traffic operations. To rigorously reason about where such future spaceports might be located and what their impacts might be, we introduce a facility location planning model for future US spaceports (SPFLP). Central considerations for the SPFLP include population density, space launch trajectories, and potential impacts to air traffic within the US National Airspace System (NAS). The SPFLP outputs a cost-optimal set of candidate locations for future spaceports while satisfying a range of operational constraints. By conducting sensitivity analyses on the SPFLP, we are able to examine differences in flight rerouting costs and optimal launch mission allocations. Our model and numerical experiments offer valuable insights for future spaceport site selection, contributing to the strategic development of commercial space transportation while keeping in mind the need to integrate these operations within the NAS.
△ Less
Submitted 17 February, 2024;
originally announced February 2024.
-
Isomorphisms in K-theory from isomorphisms in groupoid homology theories
Authors:
Alistair Miller
Abstract:
We prove that for torsion-free amenable ample groupoids, an isomorphism in groupoid homology induced by an étale correspondence yields an isomorphism in the K-theory of the associated $\mathrm{C}^\ast$-algebras. We apply this to extend X. Li's K-theory formula for left regular inverse semigroup $\mathrm{C}^\ast$-algebras. These results are obtained by developing the functoriality of the ABC spectr…
▽ More
We prove that for torsion-free amenable ample groupoids, an isomorphism in groupoid homology induced by an étale correspondence yields an isomorphism in the K-theory of the associated $\mathrm{C}^\ast$-algebras. We apply this to extend X. Li's K-theory formula for left regular inverse semigroup $\mathrm{C}^\ast$-algebras. These results are obtained by developing the functoriality of the ABC spectral sequence.
△ Less
Submitted 10 October, 2024; v1 submitted 30 January, 2024;
originally announced January 2024.
-
Character and class parameters from entries of character tables of symmetric groups
Authors:
Alexander R. Miller
Abstract:
If all of the entries of a large $S_n$ character table are covered up and you are allowed to uncover one entry at a time, then how can you quickly identify all of the indexing characters and conjugacy classes? We present a fast algorithmic solution that works even when n is so large that almost none of the entries of the character table can be computed. The fraction of the character table that nee…
▽ More
If all of the entries of a large $S_n$ character table are covered up and you are allowed to uncover one entry at a time, then how can you quickly identify all of the indexing characters and conjugacy classes? We present a fast algorithmic solution that works even when n is so large that almost none of the entries of the character table can be computed. The fraction of the character table that needs to be uncovered has exponential decay, and for many of these entries we are only interested in whether the entry is zero.
△ Less
Submitted 12 December, 2023;
originally announced December 2023.
-
Seifert surfaces in the four-ball and composition of binary quadratic forms
Authors:
Menny Aka,
Peter Feller,
Alison Beth Miller,
Andreas Wieser
Abstract:
We use composition of binary quadratic forms to systematically create pairs of Seifert surfaces that are non-isotopic in the four-ball. Our main topological result employs Gauss composition to classify the pairs of binary quadratic forms that arise as the Seifert forms of pairs of disjoint Seifert surfaces of genus one. The main ingredient of the proof is number-theoretic and of independent intere…
▽ More
We use composition of binary quadratic forms to systematically create pairs of Seifert surfaces that are non-isotopic in the four-ball. Our main topological result employs Gauss composition to classify the pairs of binary quadratic forms that arise as the Seifert forms of pairs of disjoint Seifert surfaces of genus one. The main ingredient of the proof is number-theoretic and of independent interest. It establishes a new connection between the Bhargava cube and the geometric approach to Gauss composition via planes in the space of two-by-two matrices. In particular, we obtain a geometric recipe that given any two binary quadratic forms finds a Bhargava cube that gives rise to their composition.
△ Less
Submitted 10 March, 2024; v1 submitted 29 November, 2023;
originally announced November 2023.
-
Large-scale Monte Carlo simulations for zeros in character tables of symmetric groups
Authors:
Alexander R. Miller,
Danny Scheinerman
Abstract:
This is a brief report on some recent large-scale Monte Carlo simulations for approximating the density of zeros in character tables of large symmetric groups. Previous computations suggested that a large fraction of zeros cannot be explained by classical vanishing results. Our computations eclipse previous ones and suggest that the opposite is true. We find empirically that almost all of the zero…
▽ More
This is a brief report on some recent large-scale Monte Carlo simulations for approximating the density of zeros in character tables of large symmetric groups. Previous computations suggested that a large fraction of zeros cannot be explained by classical vanishing results. Our computations eclipse previous ones and suggest that the opposite is true. We find empirically that almost all of the zeros are of a single classical type.
△ Less
Submitted 29 August, 2024; v1 submitted 11 October, 2023;
originally announced October 2023.
-
Cops and Robbers on 1-Planar Graphs
Authors:
Stephane Durocher,
Shahin Kamali,
Myroslav Kryven,
Fengyi Liu,
Amirhossein Mashghdoust,
Avery Miller,
Pouria Zamani Nezhad,
Ikaro Penha Costa,
Timothy Zapp
Abstract:
Cops and Robbers is a well-studied pursuit-evasion game in which a set of cops seeks to catch a robber in a graph G, where cops and robber move along edges of G. The cop number of G is the minimum number of cops that is sufficient to catch the robber. Every planar graph has cop number at most three, and there are planar graphs for which three cops are necessary [Aigner and Fromme, DAM 1984]. We st…
▽ More
Cops and Robbers is a well-studied pursuit-evasion game in which a set of cops seeks to catch a robber in a graph G, where cops and robber move along edges of G. The cop number of G is the minimum number of cops that is sufficient to catch the robber. Every planar graph has cop number at most three, and there are planar graphs for which three cops are necessary [Aigner and Fromme, DAM 1984]. We study the problem for beyond-planar graphs, that is, graphs that can be drawn in the plane with few crossings. In particular, we focus on 1-planar graphs, that is, graphs that can be drawn in the plane with at most one crossing per edge. In contrast to planar graphs, we show that some 1-planar graphs have unbounded cop number. Meanwhile, for maximal 1-planar graphs, we prove that three cops are always sufficient and sometimes necessary. In addition, we characterize outer 1-planar graphs with respect to their cop number.
△ Less
Submitted 6 September, 2023; v1 submitted 2 September, 2023;
originally announced September 2023.
-
A partial resolution of Hedden's conjecture on satellite homomorphisms
Authors:
Randall Johanningsmeier,
Hillary Kim,
Allison N. Miller
Abstract:
A pattern knot in a solid torus defines a self-map of the smooth knot concordance group. We prove that if the winding number of a pattern is even but not divisible by 8, then the corresponding map is not a homomorphism, thus partially establishing a conjecture of Hedden.
A pattern knot in a solid torus defines a self-map of the smooth knot concordance group. We prove that if the winding number of a pattern is even but not divisible by 8, then the corresponding map is not a homomorphism, thus partially establishing a conjecture of Hedden.
△ Less
Submitted 13 August, 2023;
originally announced August 2023.
-
Ample groupoid homology and étale correspondences
Authors:
Alistair Miller
Abstract:
We show that étale correspondences between ample groupoids induce homomorphisms of homology groups. To complement this we explore the module categories of ample groupoids. We construct an induction-restriction adjunction for subgroupoids, which generates a procedure for building resolutions of arbitrary groupoid modules. These resolutions can be used to work with the Tor picture of groupoid homolo…
▽ More
We show that étale correspondences between ample groupoids induce homomorphisms of homology groups. To complement this we explore the module categories of ample groupoids. We construct an induction-restriction adjunction for subgroupoids, which generates a procedure for building resolutions of arbitrary groupoid modules. These resolutions can be used to work with the Tor picture of groupoid homology, enabling explicit descriptions of the maps in homology induced by étale correspondences.
△ Less
Submitted 6 September, 2024; v1 submitted 26 April, 2023;
originally announced April 2023.
-
On the Positivity of the Discrete Green's Function for Unstructured Finite Element Discretizations in Three Dimensions
Authors:
Andrew Miller
Abstract:
The aim of this paper is twofold. First, we prove $L^p$ estimates for a regularized Green's function in three dimensions. We then establish new estimates for the discrete Green's function and obtain some positivity results. In particular, we prove that the discrete Green's functions with singularity in the interior of the domain cannot be bounded uniformly with respect of the mesh parameter $h$. A…
▽ More
The aim of this paper is twofold. First, we prove $L^p$ estimates for a regularized Green's function in three dimensions. We then establish new estimates for the discrete Green's function and obtain some positivity results. In particular, we prove that the discrete Green's functions with singularity in the interior of the domain cannot be bounded uniformly with respect of the mesh parameter $h$. Actually, we show that at the singularity the discrete Green's function is of order $h^{-1}$, which is consistent with the behavior of the continuous Green's function. In addition, we also show that the discrete Green's function is positive and decays exponentially away from the singularity. We also provide numerically persistent negative values of the discrete Green's function on Delaunay meshes which then implies a discrete Harnack inequality cannot be established for unstructured finite element discretizations.
△ Less
Submitted 27 March, 2023;
originally announced March 2023.
-
Functors between Kasparov categories from étale groupoid correspondences
Authors:
Alistair Miller
Abstract:
For an étale correspondence $Ω\colon G \to H$ of étale groupoids, we construct an induction functor $\mathrm{Ind}_Ω\colon \mathrm{KK}^H \to \mathrm{KK}^G$ between equivariant Kasparov categories. We introduce the crossed product of an $H$-equivariant correspondence by $Ω$, and use this to build a natural transformation $α_Ω\colon K_*( G \ltimes \mathrm{Ind}_Ω-) \Rightarrow K_*(H \ltimes -)$. When…
▽ More
For an étale correspondence $Ω\colon G \to H$ of étale groupoids, we construct an induction functor $\mathrm{Ind}_Ω\colon \mathrm{KK}^H \to \mathrm{KK}^G$ between equivariant Kasparov categories. We introduce the crossed product of an $H$-equivariant correspondence by $Ω$, and use this to build a natural transformation $α_Ω\colon K_*( G \ltimes \mathrm{Ind}_Ω-) \Rightarrow K_*(H \ltimes -)$. When $Ω$ is proper these constructions naturally sit above an induced map in K-theory $K_*(C^*(G)) \to K_*(C^*(H))$.
△ Less
Submitted 6 September, 2024; v1 submitted 3 March, 2023;
originally announced March 2023.
-
Covering numbers for characters of symmetric groups
Authors:
Alexander R. Miller
Abstract:
If $n>4$ and $c(θ)$ denotes the set of irreducible constituents of a character $θ$, then $c(χ^k)={\rm Irr}(S_n)$ for all nonlinear $χ\in {\rm Irr}(S_n)$ if and only if $k\geq n-1$.
If $n>4$ and $c(θ)$ denotes the set of irreducible constituents of a character $θ$, then $c(χ^k)={\rm Irr}(S_n)$ for all nonlinear $χ\in {\rm Irr}(S_n)$ if and only if $k\geq n-1$.
△ Less
Submitted 11 March, 2025; v1 submitted 13 January, 2023;
originally announced January 2023.
-
Behavior of Gordian graphs at infinity
Authors:
Alexey Yu. Miller
Abstract:
The present paper refers to the knot theory and is devoted to the study of global properties of Gordian graphs of various local moves. In 2005, Gambaudo and Ghys raised the question of the behavior at infinity of the crossing change Gordian graph. They proposed studying its "ends", that is, unbounded connected components of complements of bounded subsets. We provide a complete description of the b…
▽ More
The present paper refers to the knot theory and is devoted to the study of global properties of Gordian graphs of various local moves. In 2005, Gambaudo and Ghys raised the question of the behavior at infinity of the crossing change Gordian graph. They proposed studying its "ends", that is, unbounded connected components of complements of bounded subsets. We provide a complete description of the behavior at infinity for local moves from three well-known infinite families, namely, rational moves, $C(n)$-moves, and $H(n)$-moves (note that each of the first two families contains the crossing change). Also, in 2005, Marché gave a different perspective on the behavior of Gordian graphs at infinity, proposing to consider complements of finite subsets. We describe the behavior at infinity in this sense for all local moves with the infinite neighborhood of the unknot in the corresponding Gordian graph.
△ Less
Submitted 30 November, 2022;
originally announced November 2022.
-
A note on surfaces in $\mathbb{CP}^2$ and $\mathbb{CP}^2\# \mathbb{CP}^2$
Authors:
Marco Marengon,
Allison N. Miller,
Arunima Ray,
András I. Stipsicz
Abstract:
In this brief note, we investigate the $\mathbb{CP}^2$-genus of knots, i.e. the least genus of a smooth, compact, orientable surface in $\mathbb{CP}^2\setminus \mathring{B^4}$ bounded by a knot in $S^3$. We show that this quantity is unbounded, unlike its topological counterpart. We also investigate the $\mathbb{CP}^2$-genus of torus knots. We apply these results to improve the minimal genus bound…
▽ More
In this brief note, we investigate the $\mathbb{CP}^2$-genus of knots, i.e. the least genus of a smooth, compact, orientable surface in $\mathbb{CP}^2\setminus \mathring{B^4}$ bounded by a knot in $S^3$. We show that this quantity is unbounded, unlike its topological counterpart. We also investigate the $\mathbb{CP}^2$-genus of torus knots. We apply these results to improve the minimal genus bound for some homology classes in $\mathbb{CP}^2\# \mathbb{CP}^2$.
△ Less
Submitted 19 March, 2024; v1 submitted 22 October, 2022;
originally announced October 2022.
-
Strongly invertible knots, equivariant slice genera, and an equivariant algebraic concordance group
Authors:
Allison N. Miller,
Mark Powell
Abstract:
We use the Blanchfield form to obtain a lower bound on the equivariant slice genus of a strongly invertible knot. For our main application, let $K$ be a genus one strongly invertible slice knot with nontrivial Alexander polynomial. We show that the equivariant slice genus of an equivariant connected sum $\#^n K$ is at least $n/4$. We also formulate an equivariant algebraic concordance group, and s…
▽ More
We use the Blanchfield form to obtain a lower bound on the equivariant slice genus of a strongly invertible knot. For our main application, let $K$ be a genus one strongly invertible slice knot with nontrivial Alexander polynomial. We show that the equivariant slice genus of an equivariant connected sum $\#^n K$ is at least $n/4$. We also formulate an equivariant algebraic concordance group, and show that the kernel of the forgetful map to the classical algebraic concordance group is infinite rank.
△ Less
Submitted 24 August, 2022;
originally announced August 2022.
-
Linking number obstructions to satellite homomorphisms
Authors:
Tye Lidman,
Allison N. Miller,
Juanita Pinzón-Caicedo
Abstract:
We prove that satellite operations that satisfy a certain positivity condition and have winding number other than one are not homomorphisms. The argument uses the $d$-invariants of branched covers. In the process, we prove a technical result relating $d$-invariants and the Torelli group which may be of independent interest.
We prove that satellite operations that satisfy a certain positivity condition and have winding number other than one are not homomorphisms. The argument uses the $d$-invariants of branched covers. In the process, we prove a technical result relating $d$-invariants and the Torelli group which may be of independent interest.
△ Less
Submitted 28 July, 2022;
originally announced July 2022.
-
The homological arrow polynomial for virtual links
Authors:
Kyle A. Miller
Abstract:
The arrow polynomial is an invariant of framed oriented virtual links that generalizes the virtual Kauffman bracket. In this paper we define the homological arrow polynomial, which generalizes the arrow polynomial to framed oriented virtual links with labeled components. The key observation is that, given a link in a thickened surface, the homology class of the link defines a functional on the sur…
▽ More
The arrow polynomial is an invariant of framed oriented virtual links that generalizes the virtual Kauffman bracket. In this paper we define the homological arrow polynomial, which generalizes the arrow polynomial to framed oriented virtual links with labeled components. The key observation is that, given a link in a thickened surface, the homology class of the link defines a functional on the surface's skein module, and by applying it to the image of the link in the skein module this gives a virtual link invariant.
We give a graphical calculus for the homological arrow polynomial by taking the usual diagrams for the Kauffman bracket and including labeled "whiskers" that record intersection numbers with each labeled component of the link.
We use the homological arrow polynomial to study $(\mathbb{Z}/n\mathbb{Z})$-nullhomologous virtual links and checkerboard colorability, giving a new way to complete Imabeppu's characterization of checkerboard colorability of virtual links with up to four crossings. We also prove a version of the Kauffman-Murasugi-Thistlethwaite theorem that the breadth of an evaluation of the homological arrow polynomial for an "h-reduced" diagram $D$ is $4(c(D)-g(D)+1)$.
△ Less
Submitted 17 February, 2023; v1 submitted 6 July, 2022;
originally announced July 2022.
-
Dynamical Mahler Measure: A survey and some recent results
Authors:
Annie Carter,
Matilde Lalín,
Michelle Manes,
Alison Beth Miller
Abstract:
We study the dynamical Mahler measure of multivariate polynomials and present dynamical analogues of various results from the classical Mahler measure as well as examples of formulas allowing the computation of the dynamical Mahler measure in certain cases. We discuss multivariate analogues of dynamical Kronecker's Lemma and present some improvements on the result for two variables due to Carter,…
▽ More
We study the dynamical Mahler measure of multivariate polynomials and present dynamical analogues of various results from the classical Mahler measure as well as examples of formulas allowing the computation of the dynamical Mahler measure in certain cases. We discuss multivariate analogues of dynamical Kronecker's Lemma and present some improvements on the result for two variables due to Carter, Lalín, Manes, Miller, and Mocz.
△ Less
Submitted 8 April, 2022;
originally announced April 2022.
-
Slicing knots in definite 4-manifolds
Authors:
Alexandra Kjuchukova,
Allison N. Miller,
Arunima Ray,
Sümeyra Sakallı
Abstract:
We study the $\mathbb{CP}^2$-slicing number of knots, i.e. the smallest $m\geq 0$ such that a knot $K\subseteq S^3$ bounds a properly embedded, null-homologous disk in a punctured connected sum $(\#^m\mathbb{CP}^2)^{\times}$. We give a lower bound on the smooth $\mathbb{CP}^2$-slicing number of a knot in terms of its double branched cover, and we find knots with arbitrarily large but finite smooth…
▽ More
We study the $\mathbb{CP}^2$-slicing number of knots, i.e. the smallest $m\geq 0$ such that a knot $K\subseteq S^3$ bounds a properly embedded, null-homologous disk in a punctured connected sum $(\#^m\mathbb{CP}^2)^{\times}$. We give a lower bound on the smooth $\mathbb{CP}^2$-slicing number of a knot in terms of its double branched cover, and we find knots with arbitrarily large but finite smooth $\mathbb{CP}^2$-slicing number. We also give an upper bound on the topological $\mathbb{CP}^2$-slicing number in terms of the Seifert form and find knots for which the smooth and topological $\mathbb{CP}^2$-slicing numbers are both finite, nonzero, and distinct.
△ Less
Submitted 29 December, 2021;
originally announced December 2021.
-
Two-variable polynomials with dynamical Mahler measure zero
Authors:
Annie Carter,
Matilde Lalín,
Michelle Manes,
Alison Beth Miller,
Lucia Mocz
Abstract:
We discuss several aspects of the dynamical Mahler measure for multivariate polynomials. We prove a weak dynamical version of Boyd--Lawton formula and we characterize the polynomials with integer coefficients having dynamical Mahler measure zero both for the case of one variable (Kronecker's lemma) and for the case of two variables, under the assumption that the dynamical version of Lehmer's quest…
▽ More
We discuss several aspects of the dynamical Mahler measure for multivariate polynomials. We prove a weak dynamical version of Boyd--Lawton formula and we characterize the polynomials with integer coefficients having dynamical Mahler measure zero both for the case of one variable (Kronecker's lemma) and for the case of two variables, under the assumption that the dynamical version of Lehmer's question is true.
△ Less
Submitted 17 April, 2022; v1 submitted 13 October, 2021;
originally announced October 2021.
-
The characters of symmetric groups that depend only on length
Authors:
Alexander R. Miller
Abstract:
The characters $χ(π)$ of $S_n$ that depend only on the number of cycles of $π$ are completely determined.
The characters $χ(π)$ of $S_n$ that depend only on the number of cycles of $π$ are completely determined.
△ Less
Submitted 19 August, 2022; v1 submitted 7 October, 2021;
originally announced October 2021.
-
End-to-End Ascent-Entry Mission Performance Optimization Using Gaussian Quadrature Collocation
Authors:
Alexander T. Miller,
Anil V. Rao
Abstract:
The performance optimization for a combined ascent-entry mission subject to constraints on heating rate and heating load is studied. The ascent vehicle is modeled as a three-stage rocket that places the vehicle onto a suborbital exo-atmopheric trajectory after which the vehicle undergoes an unpowered entry and descent to a vertically downward terminal condition. The entry vehicle is modeled as a h…
▽ More
The performance optimization for a combined ascent-entry mission subject to constraints on heating rate and heating load is studied. The ascent vehicle is modeled as a three-stage rocket that places the vehicle onto a suborbital exo-atmopheric trajectory after which the vehicle undergoes an unpowered entry and descent to a vertically downward terminal condition. The entry vehicle is modeled as a high lift-to-drag ratio vehicle that is capable of withstanding high levels of thermal and structural loads. A performance index is designed to improve control margin while attenuating phugoid oscillations during atmospheric entry. Furthermore, a mission corresponding to a prototype launch and target point is used in this study. The trajectory optimization problem is formulated as a multiple-phase optimal control problem, and the optimal control problem is solved using an adaptive Gaussian quadrature collocation method. A key aspect of the optimized trajectories is that, for particular ranges of maximum allowable heating rate and heating load during entry, relatively small adjustments made during ascent can potentially decrease the control effort required during atmospheric entry. Outside of these ranges for maximum allowable heating rate and heating load, however, it is found that the required control effort increases and eventually saturates the commanded angle of attack upon initial descent. The key features of the optimized trajectories and controls are identified, and the approach developed in this paper provides a systematic method for end-to-end ascent-entry trajectory optimization.
△ Less
Submitted 25 April, 2021;
originally announced April 2021.
-
Nonsingular Euler Parameterizations for Motion of a Point Mass in Atmospheric Flight
Authors:
Alexander T. Miller,
Anil V. Rao
Abstract:
Three parameterizations are developed for modeling translational motion of a point mass in atmosphere flight over a central rotating body. Unlike well-known parameterizations such as spherical coordinate parameterizations, where position and velocity are parameterized using a magnitude an an Euler angle rotation sequence, the method presented in this research employs Euler parameters. Consequently…
▽ More
Three parameterizations are developed for modeling translational motion of a point mass in atmosphere flight over a central rotating body. Unlike well-known parameterizations such as spherical coordinate parameterizations, where position and velocity are parameterized using a magnitude an an Euler angle rotation sequence, the method presented in this research employs Euler parameters. Consequently, singularities and trigonometric functions are eliminated from the differential equations of motion. As a result, the new parameterizations presented in this paper offer computational advantages over standard parameterizations that employ Euler angle sequences. Finally, an example is studied where an atmospheric vehicle moves while in vertical flight, demonstrating the nonsingular nature of the formulations developed in this paper.
△ Less
Submitted 18 April, 2021;
originally announced April 2021.
-
A note on the concordance $\mathbb{Z}$-genus
Authors:
Allison N. Miller,
JungHwan Park
Abstract:
We show that the difference between the topological 4-genus of a knot and the minimal genus of a surface bounded by that knot that can be decomposed into a smooth concordance followed by an algebraically simple locally flat surface can be arbitrarily large. This extends work of Hedden-Livingston-Ruberman showing that there are topologically slice knots which are not smoothly concordant to any knot…
▽ More
We show that the difference between the topological 4-genus of a knot and the minimal genus of a surface bounded by that knot that can be decomposed into a smooth concordance followed by an algebraically simple locally flat surface can be arbitrarily large. This extends work of Hedden-Livingston-Ruberman showing that there are topologically slice knots which are not smoothly concordant to any knot with trivial Alexander polynomial.
△ Less
Submitted 2 March, 2021;
originally announced March 2021.
-
On Foulkes characters
Authors:
Alexander R. Miller
Abstract:
Orthogonality relations for Foulkes characters of full monomial groups are presented, along with three solutions to the problem of decomposing products of these characters, and new applications, including a product reformulation of a Markov chain for adding random numbers studied by Diaconis and Fulman, and a new proof of a theorem of Zagier which generalizes one of Harer and Zagier on the enumera…
▽ More
Orthogonality relations for Foulkes characters of full monomial groups are presented, along with three solutions to the problem of decomposing products of these characters, and new applications, including a product reformulation of a Markov chain for adding random numbers studied by Diaconis and Fulman, and a new proof of a theorem of Zagier which generalizes one of Harer and Zagier on the enumeration of Riemann surfaces of a given genus.
△ Less
Submitted 9 August, 2021; v1 submitted 12 January, 2021;
originally announced January 2021.
-
Formalizing Hall's Marriage Theorem in Lean
Authors:
Alena Gusakov,
Bhavik Mehta,
Kyle A. Miller
Abstract:
We formalize Hall's Marriage Theorem in the Lean theorem prover for inclusion in mathlib, which is a community-driven effort to build a unified mathematics library for Lean. One goal of the mathlib project is to contain all of the topics of a complete undergraduate mathematics education.
We provide three presentations of the main theorem statement: in terms of indexed families of finite sets, of…
▽ More
We formalize Hall's Marriage Theorem in the Lean theorem prover for inclusion in mathlib, which is a community-driven effort to build a unified mathematics library for Lean. One goal of the mathlib project is to contain all of the topics of a complete undergraduate mathematics education.
We provide three presentations of the main theorem statement: in terms of indexed families of finite sets, of relations on types, and of matchings in bipartite graphs. We also formalize a version of Kőnig's lemma (in terms of inverse limits) to boost the theorem to the case of countably infinite index sets. We give a description of the design of the recent mathlib library for simple graphs, and we also give a necessary and sufficient condition for a simple graph to carry a function.
△ Less
Submitted 31 December, 2020;
originally announced January 2021.
-
Nonsingular Parameterization for Modeling Translational Motion Using Euler Parameters
Authors:
Alexander T. Miller,
Anil V. Rao
Abstract:
A parameterization is described for quantifying translational motion of a point in three-dimensional Euclidean space. The parameterization is similar to well-known parameterizations such as spherical coordinates in that both position and velocity are decoupled into magnitude and orientation components. Unlike these standard parameterizations, where principal rotation sequences are employed, the me…
▽ More
A parameterization is described for quantifying translational motion of a point in three-dimensional Euclidean space. The parameterization is similar to well-known parameterizations such as spherical coordinates in that both position and velocity are decoupled into magnitude and orientation components. Unlike these standard parameterizations, where principal rotation sequences are employed, the method presented in this research employs Euler parameters. By using Euler parameters instead of Euler angles, singularities and trigonometric functions are removed from the equations of motion. The parameterization is demonstrated on two examples, where it is found that the new parameterization offers both mathematical and computational advantages over other commonly used parameterizations.
△ Less
Submitted 22 November, 2020;
originally announced November 2020.
-
Amphichiral knots with large 4-genus
Authors:
Allison N. Miller
Abstract:
For each $g>0$ we give infinitely many knots that are strongly negative amphichiral, hence rationally slice and representing 2-torsion in the smooth concordance group, yet which do not bound any locally flatly embedded surface in the 4-ball with genus less than or equal to $g$. Our examples also allow us to answer a question about the 4-dimensional clasp number of knots.
For each $g>0$ we give infinitely many knots that are strongly negative amphichiral, hence rationally slice and representing 2-torsion in the smooth concordance group, yet which do not bound any locally flatly embedded surface in the 4-ball with genus less than or equal to $g$. Our examples also allow us to answer a question about the 4-dimensional clasp number of knots.
△ Less
Submitted 18 November, 2020;
originally announced November 2020.
-
On the number of binary quadratic forms having discriminant $1-4p$, $p$ prime
Authors:
Alison Beth Miller,
Stanley Yao Xiao
Abstract:
In this paper we obtain an asymptotic formula for the number of $\operatorname{SL}_2(\mathbb{Z})$-equivalence classes of positive definite binary quadratic forms over $\mathbb{Z}$ having bounded discriminant $Δ= 1-4p$, with $p$ a prime. This extends work of the first named author and has an application in counting simple $(4a+1)$-knots of genus one.
In this paper we obtain an asymptotic formula for the number of $\operatorname{SL}_2(\mathbb{Z})$-equivalence classes of positive definite binary quadratic forms over $\mathbb{Z}$ having bounded discriminant $Δ= 1-4p$, with $p$ a prime. This extends work of the first named author and has an application in counting simple $(4a+1)$-knots of genus one.
△ Less
Submitted 27 March, 2025; v1 submitted 12 November, 2020;
originally announced November 2020.
-
Training neural networks under physical constraints using a stochastic augmented Lagrangian approach
Authors:
Alp Dener,
Marco Andres Miller,
Randy Michael Churchill,
Todd Munson,
Choong-Seock Chang
Abstract:
We investigate the physics-constrained training of an encoder-decoder neural network for approximating the Fokker-Planck-Landau collision operator in the 5-dimensional kinetic fusion simulation in XGC. To train this network, we propose a stochastic augmented Lagrangian approach that utilizes pyTorch's native stochastic gradient descent method to solve the inner unconstrained minimization subproble…
▽ More
We investigate the physics-constrained training of an encoder-decoder neural network for approximating the Fokker-Planck-Landau collision operator in the 5-dimensional kinetic fusion simulation in XGC. To train this network, we propose a stochastic augmented Lagrangian approach that utilizes pyTorch's native stochastic gradient descent method to solve the inner unconstrained minimization subproblem, paired with a heuristic update for the penalty factor and Lagrange multipliers in the outer augmented Lagrangian loop. Our training results for a single ion species case, with self-collisions and collision against electrons, show that the proposed stochastic augmented Lagrangian approach can achieve higher model prediction accuracy than training with a fixed penalty method for our application problem, with the accuracy high enough for practical applications in kinetic simulations.
△ Less
Submitted 15 September, 2020;
originally announced September 2020.
-
The sparsity of character tables of high rank groups of Lie type
Authors:
Michael J. Larsen,
Alexander R. Miller
Abstract:
In the high rank limit, the fraction of non-zero character table entries of finite simple groups of Lie type goes to zero.
In the high rank limit, the fraction of non-zero character table entries of finite simple groups of Lie type goes to zero.
△ Less
Submitted 9 June, 2020; v1 submitted 1 June, 2020;
originally announced June 2020.
-
Embedding spheres in knot traces
Authors:
Peter Feller,
Allison N. Miller,
Matthias Nagel,
Patrick Orson,
Mark Powell,
Arunima Ray
Abstract:
The trace of $n$-framed surgery on a knot in $S^3$ is a 4-manifold homotopy equivalent to the 2-sphere. We characterise when a generator of the second homotopy group of such a manifold can be realised by a locally flat embedded 2-sphere whose complement has abelian fundamental group. Our characterisation is in terms of classical and computable 3-dimensional knot invariants. For each $n$, this prov…
▽ More
The trace of $n$-framed surgery on a knot in $S^3$ is a 4-manifold homotopy equivalent to the 2-sphere. We characterise when a generator of the second homotopy group of such a manifold can be realised by a locally flat embedded 2-sphere whose complement has abelian fundamental group. Our characterisation is in terms of classical and computable 3-dimensional knot invariants. For each $n$, this provides conditions that imply a knot is topologically $n$-shake slice, directly analogous to the result of Freedman and Quinn that a knot with trivial Alexander polynomial is topologically slice.
△ Less
Submitted 20 April, 2020; v1 submitted 8 April, 2020;
originally announced April 2020.
-
Zeros and roots of unity in character tables
Authors:
Alexander R. Miller
Abstract:
For any finite group $G$, Thompson proved that, for each $χ\in {\rm Irr}(G)$, $χ(g)$ is a root of unity or zero for more than a third of the elements $g\in G$, and Gallagher proved that, for each larger than average class $g^G$, $χ(g)$ is a root of unity or zero for more than a third of the irreducible characters $χ\in {\rm Irr}(G)$. We show that in many cases "more than a third" can be replaced b…
▽ More
For any finite group $G$, Thompson proved that, for each $χ\in {\rm Irr}(G)$, $χ(g)$ is a root of unity or zero for more than a third of the elements $g\in G$, and Gallagher proved that, for each larger than average class $g^G$, $χ(g)$ is a root of unity or zero for more than a third of the irreducible characters $χ\in {\rm Irr}(G)$. We show that in many cases "more than a third" can be replaced by "more than half".
△ Less
Submitted 19 August, 2022; v1 submitted 30 March, 2020;
originally announced March 2020.
-
Mesh Refinement Method for Solving Optimal Control Problems with Nonsmooth Solutions Using Jump Function Approximations
Authors:
Alexander T. Miller,
WIlliam W. Hager,
Anil V. Rao
Abstract:
A mesh refinement method is described for solving optimal control problems using Legendre-Gauss-Radau collocation. The method detects discontinuities in the control solution by employing an edge detection scheme based on jump function approximations. When discontinuities are identified, the mesh is refined with a targeted $h$-refinement approach whereby the discontinuity locations are bracketed wi…
▽ More
A mesh refinement method is described for solving optimal control problems using Legendre-Gauss-Radau collocation. The method detects discontinuities in the control solution by employing an edge detection scheme based on jump function approximations. When discontinuities are identified, the mesh is refined with a targeted $h$-refinement approach whereby the discontinuity locations are bracketed with mesh points. The remaining smooth portions of the mesh are refined using previously developed techniques. The method is demonstrated on two examples, and results indicate that the method solves optimal control problems with discontinuous control solutions using fewer mesh refinement iterations and less computation time when compared with previously developed methods.
△ Less
Submitted 25 March, 2020;
originally announced March 2020.
-
Method for Chance Constrained Optimal Control Using Biased Kernel Density Estimators
Authors:
Rachel E. Keil,
Alexander T. Miller,
Mrinal Kumar,
Anil V. Rao
Abstract:
A method is developed to numerically solve chance constrained optimal control problems. The chance constraints are reformulated as nonlinear constraints that retain the probability properties of the original constraint. The reformulation transforms the chance constrained optimal control problem into a deterministic optimal control problem that can be solved numerically. The new method developed in…
▽ More
A method is developed to numerically solve chance constrained optimal control problems. The chance constraints are reformulated as nonlinear constraints that retain the probability properties of the original constraint. The reformulation transforms the chance constrained optimal control problem into a deterministic optimal control problem that can be solved numerically. The new method developed in this paper approximates the chance constraints using Markov Chain Monte Carlo (MCMC) sampling and kernel density estimators whose kernels have integral functions that bound the indicator function. The nonlinear constraints resulting from the application of kernel density estimators are designed with bounds that do not violate the bounds of the original chance constraint. The method is tested on a non-trivial chance constrained modification of a soft lunar landing optimal control problem and the results are compared with results obtained using a conservative deterministic formulation of the optimal control problem. The results show that this new method efficiently solves chance constrained optimal control problems.
△ Less
Submitted 27 May, 2020; v1 submitted 17 March, 2020;
originally announced March 2020.
-
Branched covers bounding rational homology balls
Authors:
Paolo Aceto,
Jeffrey Meier,
Allison N. Miller,
Maggie Miller,
JungHwan Park,
András I. Stipsicz
Abstract:
Prime power fold cyclic branched covers along smoothly slice knots all bound rational homology balls. This phenomenon, however, does not characterize slice knots. In this paper, we give a new construction of non-slice knots that have the above property. The sliceness obstruction comes from computing twisted Alexander polynomials, and we introduce new techniques to simplify their calculation.
Prime power fold cyclic branched covers along smoothly slice knots all bound rational homology balls. This phenomenon, however, does not characterize slice knots. In this paper, we give a new construction of non-slice knots that have the above property. The sliceness obstruction comes from computing twisted Alexander polynomials, and we introduce new techniques to simplify their calculation.
△ Less
Submitted 17 April, 2020; v1 submitted 24 February, 2020;
originally announced February 2020.
-
Devaney's chaos and eventual sensitivity
Authors:
Alica Miller
Abstract:
We give an equivalent definition of Devaney chaotic semiflow in terms of eventual sensitivity, the notion recently introduced by C.~Good, R.~Leek, and J.~Mitchell. As a consequence, we prove a version of Auslander-Yorke dichotomy for the case of not necessarily compact phase spaces. Finally, we raise some questions about the relation between Devaney chaoticity and the notion of topological sensiti…
▽ More
We give an equivalent definition of Devaney chaotic semiflow in terms of eventual sensitivity, the notion recently introduced by C.~Good, R.~Leek, and J.~Mitchell. As a consequence, we prove a version of Auslander-Yorke dichotomy for the case of not necessarily compact phase spaces. Finally, we raise some questions about the relation between Devaney chaoticity and the notion of topological sensitivity, which was recently introduced by C.~Good and C.~Macías.
△ Less
Submitted 20 December, 2019;
originally announced December 2019.
-
Explicit Pieri Inclusions
Authors:
Markus Hunziker,
John Miller,
Mark Sepanski
Abstract:
By the Pieri rule, the tensor product of an exterior power and a finite-dimensional irreducible representation of a general linear group has a multiplicity-free decomposition. The embeddings of the constituents are called Pieri inclusions and were first studied by Weyman in his thesis and described explicitly by Olver. More recently, these maps have appeared in the work of Eisenbud, Fløstad, and W…
▽ More
By the Pieri rule, the tensor product of an exterior power and a finite-dimensional irreducible representation of a general linear group has a multiplicity-free decomposition. The embeddings of the constituents are called Pieri inclusions and were first studied by Weyman in his thesis and described explicitly by Olver. More recently, these maps have appeared in the work of Eisenbud, Fløstad, and Weyman and of Sam and Weyman to compute pure free resolutions for classical groups.
In this paper, we give a new closed form, non-recursive description of Pieri inclusions. For partitions with a bounded number of distinct parts, the resulting algorithm has polynomial time complexity whereas the previously known algorithm has exponential time complexity.
△ Less
Submitted 25 November, 2019;
originally announced November 2019.
-
Homomorphism obstructions for satellite maps
Authors:
Allison N. Miller
Abstract:
A knot in a solid torus defines a map on the set of (smooth or topological) concordance classes of knots in $S^3$. This set admits a group structure, but a conjecture of Hedden suggests that satellite maps never induce interesting homomorphisms: we give new evidence for this conjecture in both categories. First, we use Casson-Gordon signatures to give the first obstruction to a slice pattern induc…
▽ More
A knot in a solid torus defines a map on the set of (smooth or topological) concordance classes of knots in $S^3$. This set admits a group structure, but a conjecture of Hedden suggests that satellite maps never induce interesting homomorphisms: we give new evidence for this conjecture in both categories. First, we use Casson-Gordon signatures to give the first obstruction to a slice pattern inducing a homomorphism on the topological concordance group, constructing examples with every winding number besides $\pm 1$. We then provide subtle examples of satellite maps which map arbitrarily deep into the $n$-solvable filtration of [COT03], act like homomorphisms on arbitrary finite sets of knots, and yet which still do not induce homomorphisms. Finally, we verify Hedden's conjecture in the smooth category for all but one small crossing number satellite operator.
△ Less
Submitted 8 October, 2019;
originally announced October 2019.
-
Many zeros of many characters of GL(n,q)
Authors:
Patrick X. Gallagher,
Michael J. Larsen,
Alexander R. Miller
Abstract:
For $G={\rm GL}(n,q)$, the proportion $P_{n,q}$ of pairs $(χ,g)$ in ${\rm Irr}(G)\times G$ with $χ(g)\neq 0$ satisfies $P_{n,q}\to 0$ as $n\to\infty$.
For $G={\rm GL}(n,q)$, the proportion $P_{n,q}$ of pairs $(χ,g)$ in ${\rm Irr}(G)\times G$ with $χ(g)\neq 0$ satisfies $P_{n,q}\to 0$ as $n\to\infty$.
△ Less
Submitted 3 September, 2019;
originally announced September 2019.
-
Burning Two Worlds: Algorithms for Burning Dense and Tree-like Graphs
Authors:
Shahin Kamali,
Avery Miller,
Kenny Zhang
Abstract:
Graph burning is a simple model for the spread of social influence in networks. The objective is to measure how quickly a fire (e.g., a piece of fake news) can be spread in a network. The burning process takes place in discrete rounds. In each round, a new fire breaks out at a selected vertex and burns it. Meanwhile, the old fires extend to their neighbours and burn them. A burning schedule select…
▽ More
Graph burning is a simple model for the spread of social influence in networks. The objective is to measure how quickly a fire (e.g., a piece of fake news) can be spread in a network. The burning process takes place in discrete rounds. In each round, a new fire breaks out at a selected vertex and burns it. Meanwhile, the old fires extend to their neighbours and burn them. A burning schedule selects where the new fire breaks out in each round, and the burning problem asks for a schedule that burns all vertices in a minimum number of rounds, termed the burning number of the graph. The burning problem is known to be NP-hard even when the graph is a tree or a disjoint set of paths. For connected graphs, it has been conjectured that burning takes at most $\lceil \sqrt{n} \rceil$ rounds.
We approach the algorithmic study of graph burning from two directions. First, we consider graphs with minimum degree $δ$. We present an algorithm that burns any graph of size $n$ in at most $\sqrt{\frac{24n}{δ+1}}$ rounds. In particular, for dense graphs with $δ\in Θ(n)$, all vertices are burned in a constant number of rounds. More interestingly, even when $δ$ is a constant that is independent of the graph size, our algorithm answers the graph-burning conjecture in the affirmative by burning the graph in at most $\lceil \sqrt{n} \rceil$ rounds. Next, we consider burning graphs with bounded path-length or tree-length. These include many graph families including connected interval graphs and connected chordal graphs. We show that any graph with path-length $pl$ and diameter $d$ can be burned in $\lceil \sqrt{d-1} \rceil + pl$ rounds. Our algorithm ensures an approximation ratio of $1+o(1)$ for graphs of bounded path-length. We introduce another algorithm that achieves an approximation ratio of $2+o(1)$ for burning graphs of bounded tree-length.
△ Less
Submitted 3 September, 2019; v1 submitted 1 September, 2019;
originally announced September 2019.
-
Stabilization distance between surfaces
Authors:
Allison N. Miller,
Mark Powell
Abstract:
Define the 1-handle stabilization distance between two surfaces properly embedded in a fixed 4-dimensional manifold to be the minimal number of 1-handle stabilizations necessary for the surfaces to become ambiently isotopic. For every nonnegative integer $m$ we find a pair of 2-knots in the 4-sphere whose stabilization distance equals $m$. Next, using a generalized stabilization distance that coun…
▽ More
Define the 1-handle stabilization distance between two surfaces properly embedded in a fixed 4-dimensional manifold to be the minimal number of 1-handle stabilizations necessary for the surfaces to become ambiently isotopic. For every nonnegative integer $m$ we find a pair of 2-knots in the 4-sphere whose stabilization distance equals $m$. Next, using a generalized stabilization distance that counts connected sum with arbitrary 2-knots as distance zero, for every nonnegative integer $m$ we exhibit a knot $J_m$ in the 3-sphere with two slice discs in the 4-ball whose generalized stabilization distance equals $m$. We show this using homology of cyclic covers. Finally, we use metabelian twisted homology to show that for each $m$ there exists a knot and pair of slice discs with generalized stabilization distance at least $m$, with the additional property that abelian invariants associated to cyclic covering spaces coincide. This detects different choices of slicing discs corresponding to a fixed metabolising link on a Seifert surface.
△ Less
Submitted 27 July, 2020; v1 submitted 19 August, 2019;
originally announced August 2019.
