arXiv subjects
Publications and source records attributed to Ben Williams.
We prove that, over a field of characteristic $0$, the degrees of factors of a binomial $t^n-\alpha$ are divisible by the least such degree. As a consequence, we deduce that for relatively prime natural numbers $m,n$, a polynomial has the $mn$-Hartley condition if and only if it has the $m$-Hartley and $n$-Hartley conditions.
The realization problem asks which algebras can be realized as the cohomology of spaces. We study this problem in the context of the orders in a graded rational exterior algebra on three generators. An order is a subring whose underlying additive group is a lattice. We give conditions for when such an order is realizable, and in particular show that in the simply-connected case any order is realizable if the generators of the exterior algebra are of odd degree.
Understanding the interactions between microstructure, strain, phase, and material behavior is crucial in many scientific fields. However, quantifying these correlations is challenging, as it requires the use of multiple instruments and techniques, often separated by space and time. The Dual Imaging And Diffraction (DIAD) beamline at Diamond is designed to address this challenge. DIAD allows its users to visualize internal structures, identify compositional/phase changes, and measure strain. DIAD provides two independent beams combined at one sample position, allowing quasi-simultaneous X-ray Computed Tomography and X-ray Powder Diffraction. A unique functionality of the DIAD configuration is the ability to perform image-guided diffraction, where the micron-sized diffraction beam is scanned over the complete area of the imaging field of view without moving the specimen. This moving beam diffraction geometry enables the study of fast-evolving and motion-susceptible processes and samples. Here, we discuss the novel moving beam diffraction geometry presenting the latest findings on the reliability of both geometry calibration and data reduction routines used. Our measures confirm diffraction is most sensitive to the moving geometry for the detector position downstream normal to the incident beam. The observed data confirm that the motion of the KB mirror coupled with a fixed aperture slit results in a rigid translation of the beam probe, without affecting the angle of the incident beam path to the sample. Our measures demonstrate a nearest-neighbour calibration can achieve the same accuracy as a self-calibrated geometry when the distance between calibrated and probed sample region is smaller or equal to the beam spot size. We show the absolute error of the moving beam diffraction geometry remains below 0.0001, which is the accuracy we observe for the beamline with stable beam operation.
We give criteria to determine when a degree-2 Azumaya algebra with $C_2$-action over a dense open subvariety of a curve extends to the entire curve as an algebra with $C_2$-action. These consist of conditions for the extension of the algebra, combined with a new condition for the extension of the algebra with the action. The new condition is testable by computer algebra systems, and we explain how the result applies to the canonical components of the character varieties of certain hyperbolic knots with order-2 symmetries. We conclude by carrying out the calculations for different symmetries of the Figure-8 knot.
Working over an algebraically closed field $k$ of characteristic $0$, we show that the motivic stable homotopy groups of the sphere spectrum can be determined entirely from the motivic homotopy groups of the $p$-completed sphere spectra and the motivic cohomology of the ground field, except possibly for the $0$ and $-1$-stems. Using this, we show that the complex realization maps from the motivic homotopy groups to the classical stable homotopy groups are isomorphisms in a range of bidegrees. We apply this to deduce that complex realization also induces isomorphisms on unstable homotopy groups for Stiefel varieties $V_r(\mathbb{A}^n_k)$ in a range of bidegrees. We use this to determine when the projection map $V_r(\mathbb{A}^n_k) \to V_1(\mathbb{A}^n_k)$ admits a right inverse, settling the question of when the universal stably-free module of type $(n,n-1)$ admits a free summand of given rank.
Passive acoustic monitoring (PAM) has shown great promise in helping ecologists understand the health of animal populations and ecosystems. However, extracting insights from millions of hours of audio recordings requires the development of specialized recognizers. This is typically a challenging task, necessitating large amounts of training data and machine learning expertise. In this work, we introduce a general, scalable and data-efficient system for developing recognizers for novel bioacoustic problems in under an hour. Our system consists of several key components that tackle problems in previous bioacoustic workflows: 1) highly generalizable acoustic embeddings pre-trained for birdsong classification minimize data hunger; 2) indexed audio search allows the efficient creation of classifier training datasets, and 3) precomputation of embeddings enables an efficient active learning loop, improving classifier quality iteratively with minimal wait time. Ecologists employed our system in three novel case studies: analyzing coral reef health through unidentified sounds; identifying juvenile Hawaiian bird calls to quantify breeding success and improve endangered species monitoring; and Christmas Island bird occupancy modeling. We augment the case studies with simulated experiments which explore the range of design decisions in a structured way and help establish best practices. Altogether these experiments showcase our system's scalability, efficiency, and generalizability, enabling scientists to quickly address new bioacoustic challenges.
Let $R$ be a commutative ring. One may ask when a general $R$-module $P$ that satisfies $P \oplus R \cong R^n$ has a free summand of a given rank. M. Raynaud translated this question into one about sections of certain maps between Stiefel varieties: if $V_r(\mathbb{A}^n)$ denotes the Stiefel variety $\textrm{GL}(n) / \textrm{GL}(n-r)$ over a field $k$, then the projection $V_r(\mathbb{A}^n) \to V_1(\mathbb{A}^n)$ has a section if and only if the following holds: any module $P$ over any $k$-algebra $R$ with the property that $P \oplus R \cong R^n$ has a free summand of rank $r-1$. Using techniques from $\mathbb{A}^1$-homotopy theory, we characterize those $n$ for which the map $V_r(\mathbb{A}^n) \to V_1(\mathbb{A}^n)$ has a section in the cases $r=3,4$ under some assumptions on the base field. We conclude that if $P \oplus R \cong R^{24m}$ and $R$ contains a field of characteristic $0$, then $P$ contains a free summand of rank $2$. If $R$ contains a quadratically closed field of characteristic $0$, or the field of real numbers, then $P$ contains a free summand of rank $3$. The analogous results hold for schemes and vector bundles over them.
Suppose $A$ is an Azumaya algebra over a ring $R$ and $\sigma$ is an involution of $A$ extending an order-$2$ automorphism $\lambda:R\to R$. We say $\sigma$ is extraordinary if there does not exist a Brauer-trivial Azumaya algebra $\mathrm{End}_R(P)$ over $R$ carrying an involution $\tau$ so that $(A, \sigma)$ and $(\mathrm{End}_R(P), \tau)$ become isomorphic over some faithfully flat extension of the fixed ring of $\lambda:R\to R$. We give, for the first time, an example of such an algebra and involution. We do this by finding suitable cohomological obstructions and showing they do not always vanish. We also give an example of a commutative ring $R$ with involution $\lambda$ so that the scheme-theoretic fixed locus $Z$ of $\lambda:\mathrm{Spec} R\to \mathrm{Spec} R$ is disconnected, but such that every Azumaya algebra over $R$ with involution extending $\lambda$ is either orthogonal at every point of $Z$, or symplectic at every point of $Z$. No examples of this kind were previously known.
Machine learning has the potential to revolutionize passive acoustic monitoring (PAM) for ecological assessments. However, high annotation and compute costs limit the field's efficacy. Generalizable pretrained networks can overcome these costs, but high-quality pretraining requires vast annotated libraries, limiting its current applicability primarily to bird taxa. Here, we identify the optimum pretraining strategy for a data-deficient domain using coral reef bioacoustics. We assemble ReefSet, a large annotated library of reef sounds, though modest compared to bird libraries at 2% of the sample count. Through testing few-shot transfer learning performance, we observe that pretraining on bird audio provides notably superior generalizability compared to pretraining on ReefSet or unrelated audio alone. However, our key findings show that cross-domain mixing which leverages bird, reef and unrelated audio during pretraining maximizes reef generalizability. SurfPerch, our pretrained network, provides a strong foundation for automated analysis of marine PAM data with minimal annotation and compute costs.
Let $n\le 5$ be an integer, and let $\Gamma$ be a finite group. We prove that if $\rho , \rho': \Gamma \to O(n)$ are two representations that are conjugate by an orientation-preserving diffeomorphism, then they are conjugate by an element of $SO(n)$. In the process, we prove that if $G \subset O(4)$ is a finite group, then exactly one of the following is true: the elements of $G$ have a common invariant $1$-dimensional subspace in $\mathbb{R}^4$; some element of $G$ has no invariant $1$-dimensional subspace; or $G$ is conjugate to a specific group $K \subset O(4)$ of order $16$.
We investigate a polynomial factorization problem that naturally arises from Hartley's factorization condition on the Alexander polynomial of freely periodic knots. We give a number-theoretic interpretation of this factorization condition, which allows for efficient computation. As an application, we prove that any polynomial which is not a product of cyclotomic polynomials can be the Alexander polynomial of a freely p-periodic knot for only finitely many p. As a demonstration of the computational efficiency of these methods, we also show that the Alexander polynomial of any freely-periodic L-space knot with genus at most 16 must be a product of cyclotomic polynomials. We conjecture that any periodic or freely periodic L-space knot must be an iterated torus knot.
We classify all finite group actions on knots in the 3-sphere. By geometrization, all such actions are conjugate to actions by isometries, and so we may use orthogonal representation theory to describe three cyclic and seven dihedral families of symmetries. By constructing examples, we prove that all of the cyclic and four of the dihedral families arise as symmetries of prime knots. The remaining three dihedral families apply only to composite knots. We also explain how to distinguish different types of symmetries of knots using diagrammatic or topological data. Our classification immediately implies a previous result of Sakuma: a hyperbolic knot cannot be both freely periodic and amphichiral. In passing, we establish two technical results: one concerning finite cyclic or dihedral subgroups of isometries of the 3-sphere and another concerning linking numbers of symmetric knots.
This paper studies $B(r)$, the space of $r$-tuples of $2 \times 2$ complex matrices that generate $\operatorname{Mat}_{2 \times 2}(\mathbf C)$ as an algebra, considered up to change-of-basis. We show that $B(2)$ is homotopy equivalent to $S^1 \times^{\mathbf Z/2\mathbf Z} S^2$. For $r>2$, we determine the rational cohomology of $B(r)$ for degrees less than $4r-6$. As an application, we use the machinery of arXiv:2012.07900 to prove that for all natural numbers $d$, there exists a ring $R$ of Krull dimension $d$ and a degree-$2$ Azumaya algebra $A$ over $R$ that cannot be generated by fewer than $2\lfloor d/4 \rfloor + 2$ elements.
The study of plasma physics under conditions of extreme temperatures, densities and electromagnetic field strengths is significant for our understanding of astrophysics, nuclear fusion and fundamental physics. These extreme physical systems are strongly non-linear and very difficult to understand theoretically or optimize experimentally. Here, we argue that machine learning models and data-driven methods are in the process of reshaping our exploration of these extreme systems that have hitherto proven far too non-linear for human researchers. From a fundamental perspective, our understanding can be helped by the way in which machine learning models can rapidly discover complex interactions in large data sets. From a practical point of view, the newest generation of extreme physics facilities can perform experiments multiple times a second (as opposed to ~daily), moving away from human-based control towards automatic control based on real-time interpretation of diagnostic data and updates of the physics model. To make the most of these emerging opportunities, we advance proposals for the community in terms of research design, training, best practices, and support for synthetic diagnostics and data analysis.
We prove the topological analogue of the period-index conjecture in each dimension away from a small set of primes.
Let $k$ be an algebraically closed field of characteristic different from 2. Up to isomorphism, the algebra $\operatorname{Mat}_{n \times n}(k)$ can be endowed with a $k$-linear involution in one way if $n$ is odd and in two ways if $n$ is even. In this paper, we consider $r$-tuples $A_\bullet \in \operatorname{Mat}_{n\times n}(k)^r$ such that the entries of $A_\bullet$ fail to generate $\operatorname{Mat}_{n\times n}(k)$ as an algebra with involution. We show that the locus of such $r$-tuples forms a closed subvariety $Z(r;V)$ of $\operatorname{Mat}_{n\times n}(k)^r$ that is not irreducible. We describe the irreducible components and we calculate the dimension of the largest component of $Z(r;V)$ in all cases. This gives a numerical answer to the question of how generic it is for an $r$-tuple $(a_1, \dots, a_r)$ of elements in $\operatorname{Mat}_{n\times n}(k)$ to generate it as an algebra with involution.
We give an introduction to unstable motivic homotopy theory of Morel and Voevodsky, and survey some results.
We construct varieties B(r;An) such that a map X -> B(r;An) corresponds to a degree-n \'etale algebra on X equipped with r generating global sections. We then show that when n = 2, i.e., in the quadratic \'etale case, that the singular cohomology of B(r; An)(R) can be used to reconstruct a famous example of S. Chase and to extend its application to showing that there is a smooth affine r-1-dimensional R-variety on which there are \'etale algebras An of arbitrary degrees n that cannot be generated by fewer than r elements. This shows that in the \'etale algebra case, a bound established by U. First and Z. Reichstein is sharp.