Showing 1–50 of 169 results for author: Larsen, M

Parallelize Over Data Particle Advection: Participation, Ping Pong Particles, and Overhead

Authors: Zhe Wang, Kenneth Moreland, Matthew Larsen, James Kress, Hank Childs, David Pugmire

Abstract: Particle advection is one of the foundational algorithms for visualization and analysis and is central to understanding vector fields common to scientific simulations. Achieving efficient performance with large data in a distributed memory setting is notoriously difficult. Because of its simplicity and minimized movement of large vector field data, the Parallelize over Data (POD) algorithm has bec… ▽ More Particle advection is one of the foundational algorithms for visualization and analysis and is central to understanding vector fields common to scientific simulations. Achieving efficient performance with large data in a distributed memory setting is notoriously difficult. Because of its simplicity and minimized movement of large vector field data, the Parallelize over Data (POD) algorithm has become a de facto standard. Despite its simplicity and ubiquitous usage, the scaling issues with the POD algorithm are known and have been described throughout the literature. In this paper, we describe a set of in-depth analyses of the POD algorithm that shed new light on the underlying causes for the poor performance of this algorithm. We designed a series of representative workloads to study the performance of the POD algorithm and executed them on a supercomputer while collecting timing and statistical data for analysis. We then performed two different types of analysis. In the first analysis, we introduce two novel metrics for measuring algorithmic efficiency over the course of a workload run. The second analysis was from the perspective of the particles being advected. Using particle centric analysis, we identify that the overheads associated with particle movement between processes (not the communication itself) have a dramatic impact on the overall execution time. In the first analysis, we introduce two novel metrics for measuring algorithmic efficiency over the course of a workload run. The second analysis was from the perspective of the particles being advected. Using particle-centric analysis, we identify that the overheads associated with particle movement between processes have a dramatic impact on the overall execution time. These overheads become particularly costly when flow features span multiple blocks, resulting in repeated particle circulation between blocks. △ Less

Submitted 12 October, 2024; originally announced October 2024.

Tensor product Markov chains and Weil representations

Authors: Jason Fulman, Michael Larsen, Pham Huu Tiep

Abstract: We obtain sharp bounds on the convergence rate of Markov chains on irreducible representations of finite general linear, unitary, and symplectic groups (in both odd and even characteristic) given by tensoring with Weil representations. We obtain sharp bounds on the convergence rate of Markov chains on irreducible representations of finite general linear, unitary, and symplectic groups (in both odd and even characteristic) given by tensoring with Weil representations. △ Less

Submitted 17 July, 2024; originally announced July 2024.

Comments: 28 pages

Representation growth of Fuchsian groups and modular forms

Authors: Michael Larsen, Jay Taylor, Pham Huu Tiep

Abstract: Let $Γ$ be a cocompact, oriented Fuchsian group which is not on an explicit finite list of possible exceptions and $q$ a sufficiently large prime power not divisible by the order of any non-trivial torsion element of $Γ$. Then $|\mathrm{Hom}(Γ,\mathrm{GL}_n(q))|\sim c_{q,n} q^{(1-χ(Γ))n^2}$, where $c_{q,n}$ is periodic in $n$. As a function of $q$, $c_{q,n}$ can be expressed as a Puiseux series in… ▽ More Let $Γ$ be a cocompact, oriented Fuchsian group which is not on an explicit finite list of possible exceptions and $q$ a sufficiently large prime power not divisible by the order of any non-trivial torsion element of $Γ$. Then $|\mathrm{Hom}(Γ,\mathrm{GL}_n(q))|\sim c_{q,n} q^{(1-χ(Γ))n^2}$, where $c_{q,n}$ is periodic in $n$. As a function of $q$, $c_{q,n}$ can be expressed as a Puiseux series in $1/q$ whose coefficients are periodic in $n$ and $q$. Moreover, this series is essentially the $q$-expansion of a meromorphic modular form of half-integral weight. △ Less

Submitted 11 July, 2024; v1 submitted 9 July, 2024; originally announced July 2024.

Comments: 25 pages

MSC Class: 20H10 (Primary) 11F20; 11F27; 20C15; 20C33; 20G40 (Secondary)

A Perspective on Quantum Sensors from Basic Research to Commercial Applications

Authors: Eun Oh, Maxwell D. Gregoire, Adam T. Black, K. Jeramy Hughes, Paul D. Kunz, Michael Larsen, Jean Lautier-Gaud, Jongmin Lee, Peter D. D. Schwindt, Sara L. Mouradian, Frank A. Narducci, Charles A. Sackett

Abstract: Quantum sensors represent a new generation of sensors with improved precision, accuracy, stability, and robustness to environmental effects compared to their classical predecessors. After decades of laboratory development, several types of quantum sensors are now commercially available or are part-way through the commercialization process. This article provides a brief description of the operation… ▽ More Quantum sensors represent a new generation of sensors with improved precision, accuracy, stability, and robustness to environmental effects compared to their classical predecessors. After decades of laboratory development, several types of quantum sensors are now commercially available or are part-way through the commercialization process. This article provides a brief description of the operation of a selection of quantum sensors that employ the principles of atom-light interactions and discusses progress toward packaging those sensors into products. This article covers quantum inertial and gravitational sensors, including gyroscopes, accelerometers, gravimeters, and gravity gradiometers that employ atom interferometry, nuclear magnetic resonance gyroscopes, atomic and spin-defect magnetometers, and Rydberg electric field sensors. △ Less

Submitted 30 June, 2024; originally announced July 2024.

Comments: 96 pages

Bounds for $\mathrm{SL}_2$-indecomposables in tensor powers of the natural representation in characteristic $2$

Authors: Michael J. Larsen

Abstract: Let $K$ be an algebraically closed field of characteristic $2$, $G$ be the algebraic group $\mathrm{SL}_2$ over $K$, and $V$ be the natural representation of $G$. Let $b_k^{G,V}$ denote the number of $G$-indecomposable factors of $V^{\otimes k}$, counted with multiplicity, and let $δ= \frac 32 - \frac{\log 3}{2\log 2}$. Then there exists a smooth multiplicatively periodic function $ω(x)$ such that… ▽ More Let $K$ be an algebraically closed field of characteristic $2$, $G$ be the algebraic group $\mathrm{SL}_2$ over $K$, and $V$ be the natural representation of $G$. Let $b_k^{G,V}$ denote the number of $G$-indecomposable factors of $V^{\otimes k}$, counted with multiplicity, and let $δ= \frac 32 - \frac{\log 3}{2\log 2}$. Then there exists a smooth multiplicatively periodic function $ω(x)$ such that $b_{2k}^{G,V} = b_{2k+1}^{G,V}$ is asymptotic to $ω(k) k^{-δ}4^k$. We also prove a lower bound of the form $c_W k^{-δ}(\dim W)^k$ for $b_k^{G,W} $ for any tilting representation $W$ of $G$. △ Less

Submitted 24 May, 2024; originally announced May 2024.

Comments: 27 pages

MSC Class: 20G05 (Primary) 20C20 (Secondary)

Thompson's Conjecture for Large Unitary Groups

Authors: Michael Larsen, Pham Huu Tiep

Abstract: We prove that every simple unitary group $S$ of sufficiently large order satisfies Thompson's conjecture, that is, $S$ contains a conjugacy class $C$ such that $C^2 = S$. The proof relies on exponential character bounds recently obtained in arXiv:1708.03844 and [LT3], and a refinement that gives a sharp asymptotic for character ratios in Lie-type groups of type $A$. We prove that every simple unitary group $S$ of sufficiently large order satisfies Thompson's conjecture, that is, $S$ contains a conjugacy class $C$ such that $C^2 = S$. The proof relies on exponential character bounds recently obtained in arXiv:1708.03844 and [LT3], and a refinement that gives a sharp asymptotic for character ratios in Lie-type groups of type $A$. △ Less

Submitted 13 March, 2024; originally announced March 2024.

Comments: 27 pages

MSC Class: 20C33 (Primary) 20C15; 20C30; 20P05 (Secondary)

Uniform Character Bounds for Finite Classical Groups

Authors: Michael Larsen, Pham Huu Tiep

Abstract: For every finite quasisimple group of Lie type $G$, every irreducible character $χ$ of $G$, and every element $g$ of $G$, we give an exponential upper bound for the character ratio $|χ(g)|/χ(1)$ with exponent linear in $\log_{|G|} |g^G|$, or, equivalently, in the ratio of the support of $g$ to the rank of $G$. We give several applications, including a proof of Thompson's conjecture for all suffici… ▽ More For every finite quasisimple group of Lie type $G$, every irreducible character $χ$ of $G$, and every element $g$ of $G$, we give an exponential upper bound for the character ratio $|χ(g)|/χ(1)$ with exponent linear in $\log_{|G|} |g^G|$, or, equivalently, in the ratio of the support of $g$ to the rank of $G$. We give several applications, including a proof of Thompson's conjecture for all sufficiently large simple symplectic groups, orthogonal groups in characteristic $2$, and some other infinite families of orthogonal and unitary groups △ Less

Submitted 13 March, 2024; originally announced March 2024.

Comments: To appear in Annals of Mathematics

MSC Class: 20C33; 20D06; 20G40; 20P05

Fourier and small ball estimates for word maps on unitary groups

Authors: Nir Avni, Itay Glazer, Michael Larsen

Abstract: To a non-trivial word $w(x_{1},...,x_{r})$ in a free group $F_{r}$ on $r$ elements and a group $G$, one can associate the word map $w_{G}:G^{r}\rightarrow G$ that takes an $r$-tuple $(g_{1},...,g_{r})$ in $G^{r}$ to $w(g_{1},...,g_{r})$. If $G$ is compact, we further associate the word measure $τ_{w,G}$, defined as the distribution of $w_{G}(\mathsf{X}_{1},...,\mathsf{X}_{r})$, where… ▽ More To a non-trivial word $w(x_{1},...,x_{r})$ in a free group $F_{r}$ on $r$ elements and a group $G$, one can associate the word map $w_{G}:G^{r}\rightarrow G$ that takes an $r$-tuple $(g_{1},...,g_{r})$ in $G^{r}$ to $w(g_{1},...,g_{r})$. If $G$ is compact, we further associate the word measure $τ_{w,G}$, defined as the distribution of $w_{G}(\mathsf{X}_{1},...,\mathsf{X}_{r})$, where $\mathsf{X}_{1},...,\mathsf{X}_{r}$ are independent and Haar-random elements in $G$. In this paper we study word maps and word measures on the family of special unitary groups $\left\{ \mathrm{SU}_{n}\right\} _{n\geq2}$. Our first result is a small ball estimate for $w_{\mathrm{SU}_{n}}$. We show that for every $w\in F_{r}\smallsetminus\left\{ 1\right\} $ there are $ε(w),δ(w)>0$ such that if $B\subseteq\mathrm{SU}_{n}$ is a ball of radius at most $δ(w)\mathrm{diam}(\mathrm{SU}_{n})$ in the Hilbert-Schmidt metric, then $τ_{w,\mathrm{SU}_{n}}(B)\leq(μ_{\mathrm{SU}_{n}}(B))^{ε(w)}$, where $μ_{\mathrm{SU}_{n}}$ is the Haar probability measure. Our second main result is about the random walks generated by $τ_{w,\mathrm{SU}_{n}}$. We provide exponential upper bounds on the large Fourier coefficients of $τ_{w,\mathrm{SU}_{n}}$, and as a consequence we show there exists $t(w)\in\mathbb{N}$, such that $τ_{w,\mathrm{SU}_{n}}^{*t}$ has bounded density for every $t\geq t(w)$ and every $n\geq2$, answering a conjecture by the first two authors. As a key step in the proof, we establish, for every large irreducible character $ρ$ of $\mathrm{SU}_{n}$, an exponential upper bound of the form $\left|ρ(g)\right|<ρ(1)^{1-ε}$, for elements $g$ in $\mathrm{SU}_{n}$ whose eigenvalues are sufficiently spread out on the unit circle in $\mathbb{C^{\times}}$. △ Less

Submitted 16 February, 2024; originally announced February 2024.

Comments: 36 pages

MSC Class: 20P05 (Primary) 60B15; 60B20; 22E46; 43A25; 14B05 (Secondary)

On tamely ramified infinite Galois extensions

Authors: Farshid Hajir, Michael Larsen, Christian Maire, Ravi Ramakrishna

Abstract: For a number field $K$, we consider $K^{\rm ta}$ the maximal tamely ramified algebraic extension of~$K$, and its Galois group $G^{\rm ta}_K= Gal(K^{ta}/K)$. Choose a prime $p$ such that $μ_p \not \subset K$. Our guiding aim is to characterize the finitely generated pro-$p$ quotients of~$G^{\rm ta}$. We give a {unified point of view} by introducing the notion of {\it stably inertially generated} pr… ▽ More For a number field $K$, we consider $K^{\rm ta}$ the maximal tamely ramified algebraic extension of~$K$, and its Galois group $G^{\rm ta}_K= Gal(K^{ta}/K)$. Choose a prime $p$ such that $μ_p \not \subset K$. Our guiding aim is to characterize the finitely generated pro-$p$ quotients of~$G^{\rm ta}$. We give a {unified point of view} by introducing the notion of {\it stably inertially generated} pro-$p$ groups~$G$, for which linear groups are archetypes. This key notion {is compatible} with local {\it tame liftings} as used in the Scholz-Reichardt Theorem. We realize every finitely generated pro-$p$ group~$G$ which is stably inertially generated as a quotient of $G^{\rm ta}$. Further examples of groups that we realize as quotients of $G^{\rm ta}$ include congruence subgroups of special linear groups over ${\mathbb Z}_p[[ T_1,\cdots, T_n ]]$. Finally, we give classes of groups which cannot be realized as quotients of $G^{\rm ta}_{\mathbb Q}$. △ Less

Submitted 12 January, 2024; v1 submitted 11 January, 2024; originally announced January 2024.

MSC Class: 11F80; 11R37; 11R32

Energy and Time Complexity for Sorting Algorithms in Java

Authors: Kristina Carter, Su Mei Gwen Ho, Mathias Marquar Arhipenko Larsen, Martin Sundman, Maja H. Kirkeby

Abstract: The article investigates the relationship between time complexity and energy consumption in sorting algorithms, focusing on commonly-used algorithms implemented in Java: Bubble Sort, Counting Sort, Merge Sort, and Quick Sort. The significance of understanding this relationship is driven by the increasing energy demands of Information and Communication Technology systems and the potential for softw… ▽ More The article investigates the relationship between time complexity and energy consumption in sorting algorithms, focusing on commonly-used algorithms implemented in Java: Bubble Sort, Counting Sort, Merge Sort, and Quick Sort. The significance of understanding this relationship is driven by the increasing energy demands of Information and Communication Technology systems and the potential for software optimization to contribute to energy efficiency. If we find a strong correlation between time complexity and energy usage, it would enhance the ability of software developers to create energy-efficient applications. This quantitative study researches the execution of four selected sorting algorithms with input varying over input sizes (25000 to 1 million) and input order types (best, worst, and random cases) on a single kernel in a Java-enabled system. The input size is adjusted according to the type's maximum execution time, resulting in 136 combinations, totalling 12960 measurements. Wall time and the CPU energy consumption is measured using Intel's RAPL. Statistical analysis are used to examine the correlations between time complexity, wall time, and energy consumption. The study finds a strong correlation between time complexity and energy consumption for the sorting algorithms tested. More than 99% of the variance in energy consumption for Counting Sort, Merge Sort, and Quick Sort depend on their time complexities. More than 94% of the variance in energy consumption for Bubble Sort depends on its time complexity. The results affirm that time complexity can serve as a reliable predictor of energy consumption in sequential sorting algorithms. This discovery could guide software developers in choosing energy-efficient algorithms by considering time complexities. △ Less

Submitted 8 May, 2024; v1 submitted 13 November, 2023; originally announced November 2023.

On Generalization Bounds for Projective Clustering

Authors: Maria Sofia Bucarelli, Matilde Fjeldsø Larsen, Chris Schwiegelshohn, Mads Bech Toftrup

Abstract: Given a set of points, clustering consists of finding a partition of a point set into $k$ clusters such that the center to which a point is assigned is as close as possible. Most commonly, centers are points themselves, which leads to the famous $k$-median and $k$-means objectives. One may also choose centers to be $j$ dimensional subspaces, which gives rise to subspace clustering. In this paper,… ▽ More Given a set of points, clustering consists of finding a partition of a point set into $k$ clusters such that the center to which a point is assigned is as close as possible. Most commonly, centers are points themselves, which leads to the famous $k$-median and $k$-means objectives. One may also choose centers to be $j$ dimensional subspaces, which gives rise to subspace clustering. In this paper, we consider learning bounds for these problems. That is, given a set of $n$ samples $P$ drawn independently from some unknown, but fixed distribution $\mathcal{D}$, how quickly does a solution computed on $P$ converge to the optimal clustering of $\mathcal{D}$? We give several near optimal results. In particular, For center-based objectives, we show a convergence rate of $\tilde{O}\left(\sqrt{{k}/{n}}\right)$. This matches the known optimal bounds of [Fefferman, Mitter, and Narayanan, Journal of the Mathematical Society 2016] and [Bartlett, Linder, and Lugosi, IEEE Trans. Inf. Theory 1998] for $k$-means and extends it to other important objectives such as $k$-median. For subspace clustering with $j$-dimensional subspaces, we show a convergence rate of $\tilde{O}\left(\sqrt{\frac{kj^2}{n}}\right)$. These are the first provable bounds for most of these problems. For the specific case of projective clustering, which generalizes $k$-means, we show a convergence rate of $Ω\left(\sqrt{\frac{kj}{n}}\right)$ is necessary, thereby proving that the bounds from [Fefferman, Mitter, and Narayanan, Journal of the Mathematical Society 2016] are essentially optimal. △ Less

Submitted 13 October, 2023; originally announced October 2023.

Beam induced heating in electron microscopy modeled with machine learning interatomic potentials

Authors: Cuauhtemoc Nuñez Valencia, William Bang Lomholdt, Matthew Helmi Leth Larsen, Thomas W. Hansen, Jakob Schiøtz

Abstract: We develop a combined theoretical and experimental method for estimating the amount of heating that occurs in metallic nanoparticles that are being imaged in an electron microscope. We model the thermal transport between the nanoparticle and the supporting material using molecular dynamics and eqivariant neural network potentials. The potentials are trained to Density Functional Theory (DFT) calcu… ▽ More We develop a combined theoretical and experimental method for estimating the amount of heating that occurs in metallic nanoparticles that are being imaged in an electron microscope. We model the thermal transport between the nanoparticle and the supporting material using molecular dynamics and eqivariant neural network potentials. The potentials are trained to Density Functional Theory (DFT) calculations, and we show that an ensemble of potentials can be used as an estimate of the errors the neural network make in predicting energies and forces. This can be used both to improve the networks during the training phase, and to validate the performance when simulating systems too big to be described by DFT. The energy deposited into the nanoparticle by the electron beam is estimated by measuring the mean free path of the electrons and the average energy loss, both are done with Electron Energy Loss Spectroscopy (EELS) within the microscope. In combination, this allows us to predict the heating incurred by a nanoparticle as a function of its size, its shape, the support material, and the electron beam energy and intensity. △ Less

Submitted 28 September, 2023; originally announced September 2023.

Comments: 20 pages including supplementary online information (included in the PDF)

Journal ref: Nanoscale 16, 5750 (2024)

BASE: Probably a Better Approach to Multi-Object Tracking

Authors: Martin Vonheim Larsen, Sigmund Rolfsjord, Daniel Gusland, Jörgen Ahlberg, Kim Mathiassen

Abstract: The field of visual object tracking is dominated by methods that combine simple tracking algorithms and ad hoc schemes. Probabilistic tracking algorithms, which are leading in other fields, are surprisingly absent from the leaderboards. We found that accounting for distance in target kinematics, exploiting detector confidence and modelling non-uniform clutter characteristics is critical for a prob… ▽ More The field of visual object tracking is dominated by methods that combine simple tracking algorithms and ad hoc schemes. Probabilistic tracking algorithms, which are leading in other fields, are surprisingly absent from the leaderboards. We found that accounting for distance in target kinematics, exploiting detector confidence and modelling non-uniform clutter characteristics is critical for a probabilistic tracker to work in visual tracking. Previous probabilistic methods fail to address most or all these aspects, which we believe is why they fall so far behind current state-of-the-art (SOTA) methods (there are no probabilistic trackers in the MOT17 top 100). To rekindle progress among probabilistic approaches, we propose a set of pragmatic models addressing these challenges, and demonstrate how they can be incorporated into a probabilistic framework. We present BASE (Bayesian Approximation Single-hypothesis Estimator), a simple, performant and easily extendible visual tracker, achieving state-of-the-art (SOTA) on MOT17 and MOT20, without using Re-Id. Code will be made available at https://github.com/ffi-no △ Less

Submitted 21 September, 2023; originally announced September 2023.

Squares of Conjugacy Classes in Alternating Groups

Authors: Michael J. Larsen, Pham Huu Tiep

Abstract: We extend to alternating groups $A_n$ several results about symmetric groups asserting that under various conditions on a conjugacy class, or more generally, a normal subset, $C$ of $S_n$, we have $C^2 \supseteq A_n\setminus\{1\}$ We extend to alternating groups $A_n$ several results about symmetric groups asserting that under various conditions on a conjugacy class, or more generally, a normal subset, $C$ of $S_n$, we have $C^2 \supseteq A_n\setminus\{1\}$ △ Less

Submitted 8 May, 2023; originally announced May 2023.

Comments: 13 pages

MSC Class: 20E45 (Primary) 20C30; 20P05 (Secondary)

Quantifying Noise Limitations of Neural Network Segmentations in High-Resolution Transmission Electron Microscopy

Authors: Matthew Helmi Leth Larsen, William Bang Lomholdt, Cuauhtemoc Nuñez Valencia, Thomas W. Hansen, Jakob Schiøtz

Abstract: Motivated by the need for low electron dose transmission electron microscopy imaging, we report the optimal frame dose (i.e. $e^-/A^{2}$) range for object detection and segmentation tasks with neural networks. The MSD-net architecture shows promising abilities over the industry standard U-net architecture in generalising to frame doses below the range included in the training set, for both simulat… ▽ More Motivated by the need for low electron dose transmission electron microscopy imaging, we report the optimal frame dose (i.e. $e^-/A^{2}$) range for object detection and segmentation tasks with neural networks. The MSD-net architecture shows promising abilities over the industry standard U-net architecture in generalising to frame doses below the range included in the training set, for both simulated and experimental images. It also presents a heightened ability to learn from lower dose images. The MSD-net displays mild visibility of a Au nanoparticle at 20-30 $e^-/A^{2}$, and converges at 200 $e^-/A^{2}$ where a full segmentation of the nanoparticle is achieved. Between 30 and 200 $e^-/A^{2}$ object detection applications are still possible. This work also highlights the importance of modelling the modulation transfer function when training with simulated images for applications on images acquired with scintillator based detectors such as the Gatan Oneview camera. A parametric form of the modulation transfer function is applied with varying ranges of parameters, and the effects on low electron dose segmentation is presented. △ Less

Submitted 8 June, 2023; v1 submitted 24 February, 2023; originally announced February 2023.

Comments: Revised version: Numerous clarifications and improvements

Journal ref: Ultramicroscopy 253, (2023) 113803

Unsupervised Instance and Subnetwork Selection for Network Data

Authors: Lin Zhang, Nicholas Moskwa, Melinda Larsen, Petko Bogdanov

Abstract: Unlike tabular data, features in network data are interconnected within a domain-specific graph. Examples of this setting include gene expression overlaid on a protein interaction network (PPI) and user opinions in a social network. Network data is typically high-dimensional (large number of nodes) and often contains outlier snapshot instances and noise. In addition, it is often non-trivial and ti… ▽ More Unlike tabular data, features in network data are interconnected within a domain-specific graph. Examples of this setting include gene expression overlaid on a protein interaction network (PPI) and user opinions in a social network. Network data is typically high-dimensional (large number of nodes) and often contains outlier snapshot instances and noise. In addition, it is often non-trivial and time-consuming to annotate instances with global labels (e.g., disease or normal). How can we jointly select discriminative subnetworks and representative instances for network data without supervision? We address these challenges within an unsupervised framework for joint subnetwork and instance selection in network data, called UISS, via a convex self-representation objective. Given an unlabeled network dataset, UISS identifies representative instances while ignoring outliers. It outperforms state-of-the-art baselines on both discriminative subnetwork selection and representative instance selection, achieving up to 10% accuracy improvement on all real-world data sets we use for evaluation. When employed for exploratory analysis in RNA-seq network samples from multiple studies it produces interpretable and informative summaries. △ Less

Submitted 24 December, 2022; originally announced December 2022.

Strongly dense free subgroups of semisimple algebraic groups II

Authors: Emmanuel Breuillard, Robert Guralnick, Michael Larsen

Abstract: It was shown in Part I that there exist strongly dense free subgroups in any semisimple algebraic group over a large enough field. These are nonabelian free subgroups all of whose subgroups are either cyclic or Zariski-dense. Here we show that the same is true for as long as the transcendence degree of the field is at least $1$ in characteristic zero and at least $2$ in positive characteristic. We… ▽ More It was shown in Part I that there exist strongly dense free subgroups in any semisimple algebraic group over a large enough field. These are nonabelian free subgroups all of whose subgroups are either cyclic or Zariski-dense. Here we show that the same is true for as long as the transcendence degree of the field is at least $1$ in characteristic zero and at least $2$ in positive characteristic. We also consider related questions for surface groups. △ Less

Submitted 15 December, 2022; originally announced December 2022.

MSC Class: 20G40; 20N99

Level, rank, and tensor growth of representations of symmetric groups

Authors: Alexander Kleshchev, Michael Larsen, Pham Huu Tiep

Abstract: We develop a theory of levels for irreducible representations of symmetric groups of degree $n$ analogous to the theory of levels for finite classical groups. A key property of level is that the level of a character, provided it is not too big compared to $n$, gives a good lower bound on its degree, and, moreover, every character of low degree is either itself of low level or becomes so after tens… ▽ More We develop a theory of levels for irreducible representations of symmetric groups of degree $n$ analogous to the theory of levels for finite classical groups. A key property of level is that the level of a character, provided it is not too big compared to $n$, gives a good lower bound on its degree, and, moreover, every character of low degree is either itself of low level or becomes so after tensoring with the sign character. Furthermore, if $l_1$ and $l_2$ satisfy a linear upper bound in $n$, then the maximal level of composition factors of the tensor product of representations of levels $l_1$ and $l_2$ is $l_1+l_2$. To prove all of this in positive characteristic, we develop the notion of rank, which is an analogue of the notion of rank of cross-characteristic representations of finite classical groups. We show, using modular branching rules and degenerate affine Hecke algebras, that the level and the rank agree, as long as the level is not too large. We exploit Schur-Weyl duality, modular Littlewood-Richardson coefficients and tilting modules to prove a modular analogue of the Murnaghan-Littlewood theorem on Kronecker products for symmetric groups. As an application, we obtain representation growth results for both ordinary and modular representations of symmetric and alternating groups analogous to those for finite groups of Lie type. △ Less

Submitted 12 December, 2022; originally announced December 2022.

MSC Class: 20C30; 20C15; 20C20

Limiting absorption principle and radiation conditions for Schrödinger operators with long-range potentials

Authors: Martin Dam Larsen

Abstract: We show Rellich's theorem, the limiting absorption principle, and a Sommerfeld uniqueness result for a wide class of one-body Schrödinger operators with long-range potentials, extending and refining previously known results. Our general method is based on elementary commutator estimates, largely following the scheme developed recently by Ito and Skibsted. We show Rellich's theorem, the limiting absorption principle, and a Sommerfeld uniqueness result for a wide class of one-body Schrödinger operators with long-range potentials, extending and refining previously known results. Our general method is based on elementary commutator estimates, largely following the scheme developed recently by Ito and Skibsted. △ Less

Submitted 1 July, 2024; v1 submitted 7 September, 2022; originally announced September 2022.

Comments: Revised and extended, significant strengthening of Theorem 1.3; published version

Journal ref: Mathematica Scandinavica, Vol. 130 No. 2 (2024), pp. 331-358

Identities with coefficients in simple compact Lie groups

Authors: Michael Larsen, Aner Shalev

Abstract: We conjecture that if $G$ is a simple compact Lie group with trivial center, then every $d$-variable non-constant word map with coefficients in $G$ defines a non-constant function on $G^d$. We prove the conjecture for $A_r$, $B_r$, $E_6$, and $G_2$ using a ping-pong argument. We conjecture that if $G$ is a simple compact Lie group with trivial center, then every $d$-variable non-constant word map with coefficients in $G$ defines a non-constant function on $G^d$. We prove the conjecture for $A_r$, $B_r$, $E_6$, and $G_2$ using a ping-pong argument. △ Less

Submitted 15 August, 2022; originally announced August 2022.

Comments: 9 pages

MSC Class: 22E46

Disjointness of a simple matrix Lie group and its Lie algebra

Authors: Michael J. Larsen

Abstract: Let $G$ be a connected closed subgroup of $\mathrm{GL}_n(\mathbb{C})$ which is simple as a Lie group and which acts irreducibly on $\mathbb{C}^n$. Regarding both $G$ and its Lie algebra $\mathfrak{g}$ as subsets of $M_n(\mathbb{C})$, we have $G\cap \mathfrak{g}\neq\emptyset$ if and only if $G$ is a classical group and $\mathbb{C}^n$ is a minuscule representation. Let $G$ be a connected closed subgroup of $\mathrm{GL}_n(\mathbb{C})$ which is simple as a Lie group and which acts irreducibly on $\mathbb{C}^n$. Regarding both $G$ and its Lie algebra $\mathfrak{g}$ as subsets of $M_n(\mathbb{C})$, we have $G\cap \mathfrak{g}\neq\emptyset$ if and only if $G$ is a classical group and $\mathbb{C}^n$ is a minuscule representation. △ Less

Submitted 3 November, 2022; v1 submitted 26 July, 2022; originally announced July 2022.

Comments: 7 pages

MSC Class: 22E60

Adversarial Multi-Task Deep Learning for Noise-Robust Voice Activity Detection with Low Algorithmic Delay

Authors: Claus Meyer Larsen, Peter Koch, Zheng-Hua Tan

Abstract: Voice Activity Detection (VAD) is an important pre-processing step in a wide variety of speech processing systems. VAD should in a practical application be able to detect speech in both noisy and noise-free environments, while not introducing significant latency. In this work we propose using an adversarial multi-task learning method when training a supervised VAD. The method has been applied to t… ▽ More Voice Activity Detection (VAD) is an important pre-processing step in a wide variety of speech processing systems. VAD should in a practical application be able to detect speech in both noisy and noise-free environments, while not introducing significant latency. In this work we propose using an adversarial multi-task learning method when training a supervised VAD. The method has been applied to the state-of-the-art VAD Waveform-based Voice Activity Detection. Additionally the performance of the VADis investigated under different algorithmic delays, which is an important factor in latency. Introducing adversarial multi-task learning to the model is observed to increase performance in terms of Area Under Curve (AUC), particularly in noisy environments, while the performance is not degraded at higher SNR levels. The adversarial multi-task learning is only applied in the training phase and thus introduces no additional cost in testing. Furthermore the correlation between performance and algorithmic delays is investigated, and it is observed that the VAD performance degradation is only moderate when lowering the algorithmic delay from 398 ms to 23 ms. △ Less

Submitted 4 July, 2022; originally announced July 2022.

Character bounds for regular semisimple elements and asymptotic results on Thompson's conjecture

Authors: Michael Larsen, Jay Taylor, Pham Tiep

Abstract: For every integer $k$ there exists a bound $B=B(k)$ such that if the characteristic polynomial of $g\in \operatorname{SL}_n(q)$ is the product of $\le k$ pairwise distinct monic irreducible polynomials over $\mathbb{F}_q$, then every element $x$ of $\operatorname{SL}_n(q)$ of support at least $B$ is the product of two conjugates of $g$. We prove this and analogous results for the other classical g… ▽ More For every integer $k$ there exists a bound $B=B(k)$ such that if the characteristic polynomial of $g\in \operatorname{SL}_n(q)$ is the product of $\le k$ pairwise distinct monic irreducible polynomials over $\mathbb{F}_q$, then every element $x$ of $\operatorname{SL}_n(q)$ of support at least $B$ is the product of two conjugates of $g$. We prove this and analogous results for the other classical groups over finite fields; in the orthogonal and symplectic cases, the result is slightly weaker. With finitely many exceptions $(p,q)$, in the special case that $n=p$ is prime, if $g$ has order $\frac{q^p-1}{q-1}$, then every non-scalar element $x \in \operatorname{SL}_p(q)$ is the product of two conjugates of $g$. The proofs use the Frobenius formula together with upper bounds for values of unipotent and quadratic unipotent characters in finite classical groups. △ Less

Submitted 20 April, 2022; originally announced April 2022.

Comments: 40 pages, additional details for Theorem 3.1 available in the source

Journal ref: Math. Z. 303 (2023), no.2, Paper No. 47, 45 pp

Energy Consumption and Performance of Heapsort in Hardware and Software

Authors: Maja H. Kirkeby, Thomas Krabben, Mathias Larsen, Maria B. Mikkelsen, Tjark Petersen, Mads Rosendahl, Martin Schoeberl, Martin Sundman

Abstract: In this poster abstract we will report on a case study on implementing the Heapsort algorithm in hardware and software and comparing their time and energy consumption. Our experiment shows that the Hardware implementation is more energy efficient, but slower than the Software implementation due to a low clock frequency. It also indicate that the optimal degree of parallelization differs when optim… ▽ More In this poster abstract we will report on a case study on implementing the Heapsort algorithm in hardware and software and comparing their time and energy consumption. Our experiment shows that the Hardware implementation is more energy efficient, but slower than the Software implementation due to a low clock frequency. It also indicate that the optimal degree of parallelization differs when optimizing for time compared to optimizing for time. △ Less

Submitted 7 April, 2022; originally announced April 2022.

Computational exfoliation of atomically thin 1D materials with application to Majorana bound states

Authors: Hadeel Moustafa, Peter Mahler Larsen, Morten N. Gjerding, Jens Jørgen Mortensen, Kristian S. Thygesen, Karsten W. Jacobsen

Abstract: We introduce a computational database with calculated structural, thermodynamic, electronic, magnetic, and optical properties of 820 one-dimensional materials. The materials are systematically selected and exfoliated from experimental databases of crystal structures based on a dimensionality scoring parameter. The database is furthermore expanded by chemical element substitution in the materials.… ▽ More We introduce a computational database with calculated structural, thermodynamic, electronic, magnetic, and optical properties of 820 one-dimensional materials. The materials are systematically selected and exfoliated from experimental databases of crystal structures based on a dimensionality scoring parameter. The database is furthermore expanded by chemical element substitution in the materials. The materials are investigated in both their bulk form and as isolated one-dimensional components. We discuss the methodology behind the database, give an overview of some of the calculated properties, and look at patterns and correlations in the data. The database is furthermore applied in computational screening to identify materials, which could exhibit Majorana bound states. △ Less

Submitted 1 April, 2022; originally announced April 2022.

Comments: 17 pages, 20 figures

Reconstructing the exit wave in high-resolution transmission electron microscopy using machine learning

Authors: Matthew Helmi Leth Larsen, Frederik Dahl, Lars P. Hansen, Bastian Barton, Christian Kisielowski, Stig Helveg, Ole Winther, Thomas W. Hansen, Jakob Schiøtz

Abstract: Reconstruction of the exit wave function is an important route to interpreting high-resolution transmission electron microscopy (HRTEM) images. Here we demonstrate that convolutional neural networks can be used to reconstruct the exit wave from a short focal series of HRTEM images, with a fidelity comparable to conventional exit wave reconstruction. We use a fully convolutional neural network base… ▽ More Reconstruction of the exit wave function is an important route to interpreting high-resolution transmission electron microscopy (HRTEM) images. Here we demonstrate that convolutional neural networks can be used to reconstruct the exit wave from a short focal series of HRTEM images, with a fidelity comparable to conventional exit wave reconstruction. We use a fully convolutional neural network based on the U-Net architecture, and demonstrate that we can train it on simulated exit waves and simulated HRTEM images of graphene-supported molybdenum disulphide (an industrial desulfurization catalyst). We then apply the trained network to analyse experimentally obtained images from similar samples, and obtain exit waves that clearly show the atomically resolved structure of both the MoS$_2$ nanoparticles and the graphene support. We also show that it is possible to successfully train the neural networks to reconstruct exit waves for 3400 different two-dimensional materials taken from the Computational 2D Materials Database of known and proposed two-dimensional materials. △ Less

Submitted 13 June, 2022; v1 submitted 28 December, 2021; originally announced December 2021.

Comments: 16 pages, 24 figures

Journal ref: Ultramicroscopy 243, 113641 (2023)

Steering-based randomness certification with squeezed states and homodyne measurements

Authors: Marie Ioannou, Bradley Longstaff, Mikkel V. Larsen, Jonas S. Neergaard-Nielsen, Ulrik L. Andersen, Daniel Cavalcanti, Nicolas Brunner, Jonatan Bohr Brask

Abstract: We present a scheme for quantum randomness certification based on quantum steering. The protocol is one-sided device independent, providing high security, but requires only states and measurements that are simple to realise on quantum optics platforms - entangled squeezed vacuum states and homodyne detection. This ease of implementation is demonstrated by certifying randomness in existing experime… ▽ More We present a scheme for quantum randomness certification based on quantum steering. The protocol is one-sided device independent, providing high security, but requires only states and measurements that are simple to realise on quantum optics platforms - entangled squeezed vacuum states and homodyne detection. This ease of implementation is demonstrated by certifying randomness in existing experimental data and implies that giga-hertz random bit rates should be attainable with current technology. Furthermore, the steering-based setting represents the closest to full device independence that can be achieved using purely Gaussian states and measurements. △ Less

Submitted 24 November, 2022; v1 submitted 11 November, 2021; originally announced November 2021.

Comments: 8 pages, 6 figures

Journal ref: Phys. Rev. A 106, 042414 (2022)

Representations and tensor product growth

Authors: Michael Larsen, Aner Shalev, Pham Huu Tiep

Abstract: The deep theory of approximate subgroups establishes 3-step product growth for subsets of finite simple groups $G$ of Lie type of bounded rank. In this paper we obtain 2-step growth results for representations of such groups $G$ (including those of unbounded rank), where products of subsets are replaced by tensor products of representations. Let $G$ be a finite simple group of Lie type and $χ$ a… ▽ More The deep theory of approximate subgroups establishes 3-step product growth for subsets of finite simple groups $G$ of Lie type of bounded rank. In this paper we obtain 2-step growth results for representations of such groups $G$ (including those of unbounded rank), where products of subsets are replaced by tensor products of representations. Let $G$ be a finite simple group of Lie type and $χ$ a character of $G$. Let $|χ|$ denote the sum of the squares of the degrees of all (distinct) irreducible characters of $G$ which are constituents of $χ$. We show that for all $δ>0$ there exists $ε>0$, independent of $G$, such that if $χ$ is an irreducible character of $G$ satisfying $|χ| \le |G|^{1-δ}$, then $|χ^2| \ge |χ|^{1+ε}$. We also obtain results for reducible characters, and establish faster growth in the case where $|χ| \le |G|^δ$. In another direction, we explore covering phenomena, namely situations where every irreducible character of $G$ occurs as a constituent of certain products of characters. For example, we prove that if $|χ_1| \cdots |χ_m|$ is a high enough power of $|G|$, then every irreducible character of $G$ appears in $χ_1\cdotsχ_m$. Finally, we obtain growth results for compact semisimple Lie groups. △ Less

Submitted 23 April, 2021; originally announced April 2021.

Comments: 18 pages

MSC Class: 20D06; 20C33

A fault-tolerant continuous-variable measurement-based quantum computation architecture

Authors: Mikkel V. Larsen, Christopher Chamberland, Kyungjoo Noh, Jonas S. Neergaard-Nielsen, Ulrik L. Andersen

Abstract: Continuous variable measurement-based quantum computation on cluster states has in recent years shown great potential for scalable, universal, and fault-tolerant quantum computation when combined with the Gottesman-Kitaev-Preskill (GKP) code and quantum error correction. However, no complete fault-tolerant architecture exists that includes everything from cluster state generation with finite squee… ▽ More Continuous variable measurement-based quantum computation on cluster states has in recent years shown great potential for scalable, universal, and fault-tolerant quantum computation when combined with the Gottesman-Kitaev-Preskill (GKP) code and quantum error correction. However, no complete fault-tolerant architecture exists that includes everything from cluster state generation with finite squeezing to gate implementations with realistic noise and error correction. In this work, we propose a simple architecture for the preparation of a cluster state in three dimensions in which gates by gate teleportation can be efficiently implemented. To accommodate scalability, we propose architectures that allow for both spatial and temporal multiplexing, with the temporal encoded version requiring as little as two squeezed light sources. Due to its three-dimensional structure, the architecture supports topological qubit error correction, while GKP error correction is efficiently realized within the architecture by teleportation. To validate fault-tolerance, the architecture is simulated using surface-GKP codes, including noise from GKP-states as well as gate noise caused by finite squeezing in the cluster state. We find a fault-tolerant squeezing threshold of 12.7 dB with room for further improvement. △ Less

Submitted 28 August, 2021; v1 submitted 8 January, 2021; originally announced January 2021.

Journal ref: PRX Quantum 2, 030325 (2021)

Characteristic Covering Numbers of Finite Simple Groups

Authors: Michael Larsen, Aner Shalev, Pham Huu Tiep

Abstract: We show that, if $w_1, \ldots , w_6$ are words which are not an identity of any (non-abelian) finite simple group, then $w_1(G)w_2(G) \cdots w_6(G) = G$ for all (non-abelian) finite simple groups $G$. In particular, for every word $w$, either $w(G)^6 = G$ for all finite simple groups, or $w(G)=1$ for some finite simple groups. These theorems follow from more general results we obtain on characteri… ▽ More We show that, if $w_1, \ldots , w_6$ are words which are not an identity of any (non-abelian) finite simple group, then $w_1(G)w_2(G) \cdots w_6(G) = G$ for all (non-abelian) finite simple groups $G$. In particular, for every word $w$, either $w(G)^6 = G$ for all finite simple groups, or $w(G)=1$ for some finite simple groups. These theorems follow from more general results we obtain on characteristic collections of finite groups and their covering numbers, which are of independent interest and have additional applications. △ Less

Submitted 7 January, 2021; originally announced January 2021.

Comments: 20 pages

MSC Class: 20D06

Creating it from SCRATCh: A Practical Approach for Enhancing the Security of IoT-Systems in a DevOps-enabled Software Development Environment

Authors: Simon D Duque Anton, Daniel Fraunholz, Daniel Krohmer, Daniel Reti, Hans D Schotten, Franklin Selgert, Marcell Marosvölgyi, Morten Larsen, Krishna Sudhakar, Tobias Koch, Till Witt, Cédric Bassem

Abstract: DevOps describes a method to reorganize the way different disciplines in software engineering work together to speed up software delivery. However, the introduction of DevOps-methods to organisations is a complex task. A successful introduction results in a set of structured process descriptions. Despite the structure, this process leaves margin for error: Especially security issues are addressed… ▽ More DevOps describes a method to reorganize the way different disciplines in software engineering work together to speed up software delivery. However, the introduction of DevOps-methods to organisations is a complex task. A successful introduction results in a set of structured process descriptions. Despite the structure, this process leaves margin for error: Especially security issues are addressed in individual stages, without consideration of the interdependence. Furthermore, applying DevOps-methods to distributed entities, such as the Internet of Things (IoT) is difficult as the architecture is tailormade for desktop and cloud resources. In this work, an overview of tooling employed in the stages of DevOps processes is introduced. Gaps in terms of security or applicability to the IoT are derived. Based on these gaps, solutions that are being developed in the course of the research project SCRATCh are presented and discussed in terms of benefit to DevOps-environments. △ Less

Submitted 28 October, 2020; originally announced October 2020.

Comments: Post print of a paper presented at the 1st USDAI workshop and published in the SAFECOMP 2020 Workshop proceedings

Deterministic multi-mode gates on a scalable photonic quantum computing platform

Authors: Mikkel V. Larsen, Xueshi Guo, Casper R. Breum, Jonas S. Neergaard-Nielsen, Ulrik L. Andersen

Abstract: Quantum computing can be realized with numerous different hardware platforms and computational protocols. A highly promising approach to foster scalability is to apply a photonic platform combined with a measurement-induced quantum information processing protocol where gate operations are realized through optical measurements on a multipartite entangled quantum state -- a so-called cluster state.… ▽ More Quantum computing can be realized with numerous different hardware platforms and computational protocols. A highly promising approach to foster scalability is to apply a photonic platform combined with a measurement-induced quantum information processing protocol where gate operations are realized through optical measurements on a multipartite entangled quantum state -- a so-called cluster state. Heretofore, a few quantum gates on non-universal or non-scalable cluster states have been, but a full set of gates for universal scalable quantum computing has not been realized. We propose and demonstrate the deterministic implementation of a multi-mode set of measurement-induced quantum gates in a large two-dimensional (2D) optical cluster state using phase-controlled continuous variable quadrature measurements. Each gate is simply programmed into the phases of the high-efficiency quadrature measurements which execute the transformations by teleportation through the cluster state. Using these programmable gates, we demonstrate a small quantum circuit consisting of 10 single-mode gates and 2 two-mode gates on a three-mode input state. On this platform, fault-tolerant universal quantum computing is possible if the cluster state entanglement is improved and a supply of Gottesman-Kitaev-Preskill qubits is available. Moreover, it operates at the telecom wavelength and is therefore network connectable without quantum transducers. △ Less

Submitted 28 August, 2021; v1 submitted 27 October, 2020; originally announced October 2020.

Journal ref: Nature Physics 17, 1018 (2021)

Cinema Darkroom: A Deferred Rendering Framework for Large-Scale Datasets

Authors: Jonas Lukasczyk, Christoph Garth, Matthew Larsen, Wito Engelke, Ingrid Hotz, David Rogers, James Ahrens, Ross Maciejewski

Abstract: This paper presents a framework that fully leverages the advantages of a deferred rendering approach for the interactive visualization of large-scale datasets. Geometry buffers (G-Buffers) are generated and stored in situ, and shading is performed post hoc in an interactive image-based rendering front end. This decoupled framework has two major advantages. First, the G-Buffers only need to be comp… ▽ More This paper presents a framework that fully leverages the advantages of a deferred rendering approach for the interactive visualization of large-scale datasets. Geometry buffers (G-Buffers) are generated and stored in situ, and shading is performed post hoc in an interactive image-based rendering front end. This decoupled framework has two major advantages. First, the G-Buffers only need to be computed and stored once---which corresponds to the most expensive part of the rendering pipeline. Second, the stored G-Buffers can later be consumed in an image-based rendering front end that enables users to interactively adjust various visualization parameters---such as the applied color map or the strength of ambient occlusion---where suitable choices are often not known a priori. This paper demonstrates the use of Cinema Darkroom on several real-world datasets, highlighting CD's ability to effectively decouple the complexity and size of the dataset from its visualization. △ Less

Submitted 8 October, 2020; originally announced October 2020.

Cubic phase gates are not suitable for non-Clifford operations on GKP states

Authors: Jacob Hastrup, Mikkel V. Larsen, Jonas S. Neergaard-Nielsen, Nicolas C. Menicucci, Ulrik L. Andersen

Abstract: With the Gottesman-Kitaev-Preskill (GKP) encoding, Clifford gates and error correction can be carried out using simple Gaussian operations. Still, non-Clifford gates, required for universality, require non-Gaussian elements. In their original proposal, GKP suggested a particularly simple method of using a single application of the cubic phase gate to perform the logical non-Clifford T-gate. Here w… ▽ More With the Gottesman-Kitaev-Preskill (GKP) encoding, Clifford gates and error correction can be carried out using simple Gaussian operations. Still, non-Clifford gates, required for universality, require non-Gaussian elements. In their original proposal, GKP suggested a particularly simple method of using a single application of the cubic phase gate to perform the logical non-Clifford T-gate. Here we show that this cubic phase gate approach performs extraordinarily poorly, even for arbitrarily large amounts of squeezing in the GKP state. Thus, contrary to common belief, the cubic phase gate is not suitable for achieving universal fault-tolerant quantum computation with GKP states. △ Less

Submitted 15 September, 2020; v1 submitted 11 September, 2020; originally announced September 2020.

Comments: 7 pages, 3 figures, corrected typos

Journal ref: Phys. Rev. A 103, 032409 (2021)

Abelian varieties with isogenous reductions

Authors: Chandrashekhar B. Khare, Michael Larsen

Abstract: If A and B are abelian varieties over a number field K such that there are non-trivial geometric homomorphisms of abelian varieties between reductions of A and B at most primes of K, then there exists a non-trivial (geometric) homomorphism from A to B defined over an algebraic closure of K. If A and B are abelian varieties over a number field K such that there are non-trivial geometric homomorphisms of abelian varieties between reductions of A and B at most primes of K, then there exists a non-trivial (geometric) homomorphism from A to B defined over an algebraic closure of K. △ Less

Submitted 6 October, 2020; v1 submitted 2 September, 2020; originally announced September 2020.

Comments: Final version, with French abstract; to appear in Comptes Rendus - Série Mathématique

Liftable groups, negligible cohomology and Heisenberg representations

Authors: Chandrashekhar B. Khare, Michael Larsen

Abstract: We consider lifting of mod p representations to mod p^2 representations in the setting of representations of (i) finite groups; (ii) absolute Galois groups of abstract fields; and (iii) absolute Galois groups of local and global fields. We consider lifting of mod p representations to mod p^2 representations in the setting of representations of (i) finite groups; (ii) absolute Galois groups of abstract fields; and (iii) absolute Galois groups of local and global fields. △ Less

Submitted 13 December, 2020; v1 submitted 2 September, 2020; originally announced September 2020.

Comments: submitted for proceedings of the International Colloquium on Arithmetic Geometry held at TIFR, Mumbai in January 2020. In this version the results on liftable finite groups are improved due to a remark of Ali Cheraghi

MSC Class: 11F

Shimura Varieties, Kummer Varieties, and Rational Curves

Authors: Bo-Hae Im, Michael Larsen, Sailun Zhan

Abstract: For a very general product $A$ of seven or more elliptic curves, every rational curve on the Kummer variety of $A$ projects trivially onto the Kummer variety of at least one of its factors. As a consequence, a very general member of certain families of abelian varieties parametrized by connected Shimura varieties of unitary type has the property that its Kummer variety has no rational curves. For a very general product $A$ of seven or more elliptic curves, every rational curve on the Kummer variety of $A$ projects trivially onto the Kummer variety of at least one of its factors. As a consequence, a very general member of certain families of abelian varieties parametrized by connected Shimura varieties of unitary type has the property that its Kummer variety has no rational curves. △ Less

Submitted 2 September, 2020; originally announced September 2020.

Comments: 13 pages

MSC Class: 14K10 (Primary) 14H10; 14J28 (Secondary)

An all-optical intrinsic atomic gradiometer with sub-20 fT/cm/$\sqrt{\rm Hz}$ sensitivity in a 22 $μ$T earth-scale magnetic field

Authors: A. R. Perry, M. D. Bulatowicz, M. Larsen, T. G. Walker, R. Wyllie

Abstract: In this work we demonstrate a high sensitivity atomic gradiometer capable of operation in earth-field level environments. We apply a light-pulse sequence at four times the Larmor frequency to achieve gradiometer sensitivity <20 fT/cm/$\sqrt{\rm Hz}$ at the finite field strength of 22 $μ$T. The experimental timing sequence can be tuned to the field magnitude of interest. Our one dimensional all-opt… ▽ More In this work we demonstrate a high sensitivity atomic gradiometer capable of operation in earth-field level environments. We apply a light-pulse sequence at four times the Larmor frequency to achieve gradiometer sensitivity <20 fT/cm/$\sqrt{\rm Hz}$ at the finite field strength of 22 $μ$T. The experimental timing sequence can be tuned to the field magnitude of interest. Our one dimensional all-optical gradiometer performs a differential measurement between two regions of a single vapor cell on a 4 cm baseline. Our results pave the way for extensions to operation in higher dimensions, vector sensitivity, and more advanced gradiometers. △ Less

Submitted 15 November, 2020; v1 submitted 30 August, 2020; originally announced August 2020.

Journal ref: Opt. Express 28, 36696-36705 (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.

MSC Class: 20C33

Architecture and noise analysis of continuous-variable quantum gates using two-dimensional cluster states

Authors: Mikkel V. Larsen, Jonas S. Neergaard-Nielsen, Ulrik L. Andersen

Abstract: Due to its unique scalability potential, continuous variable quantum optics is a promising platform for large scale quantum computing. In particular, very large cluster states with a two-dimensional topology that are suitable for universal quantum computing and quantum simulation can be readily generated in a deterministic manner, and routes towards fault-tolerance via bosonic quantum error-correc… ▽ More Due to its unique scalability potential, continuous variable quantum optics is a promising platform for large scale quantum computing. In particular, very large cluster states with a two-dimensional topology that are suitable for universal quantum computing and quantum simulation can be readily generated in a deterministic manner, and routes towards fault-tolerance via bosonic quantum error-correction are known. In this article we propose a complete measurement-based quantum computing architecture for the implementation of a universal set of gates on the recently generated two-dimensional cluster states [1,2]. We analyze the performance of the various quantum gates that are executed in these cluster states as well as in other two-dimensional cluster states (the bilayer-square lattice and quad-rail lattice cluster states [3,4]) by estimating and minimizing the associated stochastic noise addition as well as the resulting gate error probability. We compare the four different states and find that, although they all allow for universal computation, the quad-rail lattice cluster state performs better than the other three states which all exhibit similar performance. △ Less

Submitted 20 October, 2020; v1 submitted 27 May, 2020; originally announced May 2020.

Journal ref: Phys. Rev. A 102, 042608 (2020)

Residually finite dimensional algebras and polynomial almost identities

Authors: Michael Larsen, Aner Shalev

Abstract: Let $A$ be a residually finite dimensional algebra (not necessarily associative) over a field $k$. Suppose first that $k$ is algebraically closed. We show that if $A$ satisfies a homogeneous almost identity $Q$, then $A$ has an ideal of finite codimension satisfying the identity $Q$. Using well known results of Zelmanov, we conclude that, if a residually finite dimensional Lie algebra $L$ over… ▽ More Let $A$ be a residually finite dimensional algebra (not necessarily associative) over a field $k$. Suppose first that $k$ is algebraically closed. We show that if $A$ satisfies a homogeneous almost identity $Q$, then $A$ has an ideal of finite codimension satisfying the identity $Q$. Using well known results of Zelmanov, we conclude that, if a residually finite dimensional Lie algebra $L$ over $k$ is almost $d$-Engel, then $L$ has a nilpotent (resp. locally nilpotent) ideal of finite codimension if char $k=0$ (resp. char $k > 0$). Next, suppose that $k$ is finite (so $A$ is residually finite). We prove that, if $A$ satisfies a homogeneous probabilistic identity $Q$, then $Q$ is a coset identity of $A$. Moreover, if $Q$ is multilinear, then $Q$ is an identity of some finite index ideal of $A$. Along the way we show that, if $Q\in k\langle x_1,\ldots,x_n\rangle$ has degree $d$, and $A$ is a finite $k$-algebra such that the probability that $Q(a_1, \ldots , a_n)=0$ (where $a_i \in A$ are randomly chosen) is at least $1-2^{-d}$, then $Q$ is an identity of $A$. This solves a ring-theoretic analogue of a (still open) group-theoretic problem posed by Dixon. △ Less

Submitted 23 May, 2020; originally announced May 2020.

MSC Class: 17A01; 16R99

Scalable In Situ Lagrangian Flow Map Extraction: Demonstrating the Viability of a Communication-Free Model

Authors: Sudhanshu Sane, Abhishek Yenpure, Roxana Bujack, Matthew Larsen, Kenneth Moreland, Christoph Garth, Hank Childs

Abstract: We introduce and evaluate a new algorithm for the in situ extraction of Lagrangian flow maps, which we call Boundary Termination Optimization (BTO). Our approach is a communication-free model, requiring no message passing or synchronization between processes, improving scalability, thereby reducing overall execution time and alleviating the encumbrance placed on simulation codes from in situ proce… ▽ More We introduce and evaluate a new algorithm for the in situ extraction of Lagrangian flow maps, which we call Boundary Termination Optimization (BTO). Our approach is a communication-free model, requiring no message passing or synchronization between processes, improving scalability, thereby reducing overall execution time and alleviating the encumbrance placed on simulation codes from in situ processing. We terminate particle integration at node boundaries and store only a subset of the flow map that would have been extracted by communicating particles across nodes, thus introducing an accuracy-performance tradeoff. We run experiments with as many as 2048 GPUs and with multiple simulation data sets. For the experiment configurations we consider, our findings demonstrate that our communication-free technique saves as much as 2x to 4x in execution time in situ, while staying nearly as accurate quantitatively and qualitatively as previous work. Most significantly, this study establishes the viability of approaching in situ Lagrangian flow map extraction using communication-free models in the future. △ Less

Submitted 4 April, 2020; originally announced April 2020.

Products of normal subsets and derangements

Authors: Michael Larsen, Aner Shalev, Pham Huu Tiep

Abstract: In recent years there has been significant progress in the study of products of subsets of finite groups and of finite simple groups in particular. In this paper we consider which families of finite simple groups $G$ have the property that for each $ε> 0$ there exists $N > 0$ such that, if $|G| \ge N$ and $S, T$ are normal subsets of $G$ with at least $ε|G|$ elements each, then every non-trivial e… ▽ More In recent years there has been significant progress in the study of products of subsets of finite groups and of finite simple groups in particular. In this paper we consider which families of finite simple groups $G$ have the property that for each $ε> 0$ there exists $N > 0$ such that, if $|G| \ge N$ and $S, T$ are normal subsets of $G$ with at least $ε|G|$ elements each, then every non-trivial element of $G$ is the product of an element of $S$ and an element of $T$. We show that this holds in a strong sense for finite simple groups of Lie type of bounded rank, while it does not hold for alternating groups or groups of the form ${\mathrm{PSL}}_n(q)$ where $q$ is fixed and $n$ tends to infinity. Our second main result is that any element in a transitive permutation representation of a sufficiently large finite simple group is a product of two derangements. △ Less

Submitted 15 July, 2020; v1 submitted 28 March, 2020; originally announced March 2020.

Comments: 50 pages

MSC Class: Primary 20D06; Secondary 20F69; 20G40; 20P05; 20B15

Revisiting the Common Neighbour Analysis and the Centrosymmetry Parameter

Authors: Peter M Larsen

Abstract: We review two standard methods for structural classification in simulations of crystalline phases, the Common Neighbour Analysis and the Centrosymmetry Parameter. We explore the definitions and implementations of each of their common variants, and investigate their respective failure modes and classification biases. Simple modifications to both methods are proposed, which improve their robustness,… ▽ More We review two standard methods for structural classification in simulations of crystalline phases, the Common Neighbour Analysis and the Centrosymmetry Parameter. We explore the definitions and implementations of each of their common variants, and investigate their respective failure modes and classification biases. Simple modifications to both methods are proposed, which improve their robustness, interpretability, and applicability. We denote these variants the Interval Common Neighbour Analysis, and the Minimum-Weight Matching Centrosymmetry Parameter. △ Less

Submitted 19 March, 2020; originally announced March 2020.

Comments: 11 pages, 8 figures

Resolving pseudosymmetry in tetragonal ZrO2 using EBSD with a modified dictionary indexing approach

Authors: Edward L. Pang, Peter M. Larsen, Christopher A. Schuh

Abstract: Resolving pseudosymmetry has long presented a challenge for electron backscatter diffraction (EBSD) and has been notoriously challenging in the case of tetragonal ZrO2 in particular. In this work, a method is proposed to resolve pseudosymmetry by building upon the dictionary indexing method and augmenting it with the application of global optimization to fit accurate pattern centers, clustering of… ▽ More Resolving pseudosymmetry has long presented a challenge for electron backscatter diffraction (EBSD) and has been notoriously challenging in the case of tetragonal ZrO2 in particular. In this work, a method is proposed to resolve pseudosymmetry by building upon the dictionary indexing method and augmenting it with the application of global optimization to fit accurate pattern centers, clustering of the Hough-indexed orientations to focus the dictionary in orientation space, and interpolation to improve the accuracy of the indexed solution. The proposed method is demonstrated to resolve pseudosymmetry with 100% accuracy in simulated patterns of tetragonal ZrO2, even with high degrees of binning and noise. The method is then used to index an experimental dataset, which confirms its ability to efficiently and accurately resolve pseudosymmetry in these materials. The present method can be applied to resolve pseudosymmetry in a wide range of materials, possibly even some more challenging than tetragonal ZrO2. Source code for this implementation is available online. △ Less

Submitted 9 March, 2020; originally announced March 2020.

A note on Lie algebra cohomology

Authors: Michael J. Larsen, Valery A. Lunts

Abstract: Given a finite dimensional Lie algebra $L$ let $I$ be the augmentation ideal in the universal enveloping algebra $U(L)$. We study the conditions on $L$ under which the $Ext$-groups $Ext (k,k)$ for the trivial $L$-module $k$ are the same when computed in the category of all $U(L)$-modules or in the category of $I$-torsion $U(L)$-modules. We also prove that the Rees algebra $\oplus _{n\geq 0}I^n$ is… ▽ More Given a finite dimensional Lie algebra $L$ let $I$ be the augmentation ideal in the universal enveloping algebra $U(L)$. We study the conditions on $L$ under which the $Ext$-groups $Ext (k,k)$ for the trivial $L$-module $k$ are the same when computed in the category of all $U(L)$-modules or in the category of $I$-torsion $U(L)$-modules. We also prove that the Rees algebra $\oplus _{n\geq 0}I^n$ is Noetherian if and only if $L$ is nilpotent. An application to cohomology of equivariant sheaves is given. △ Less

Submitted 5 February, 2020; originally announced February 2020.

Comments: Comments are welcome

Journal ref: Alg. Number Th. 15 (2021) 773-783

Explainable artificial intelligence model to predict acute critical illness from electronic health records

Authors: Simon Meyer Lauritsen, Mads Kristensen, Mathias Vassard Olsen, Morten Skaarup Larsen, Katrine Meyer Lauritsen, Marianne Johansson Jørgensen, Jeppe Lange, Bo Thiesson

Abstract: We developed an explainable artificial intelligence (AI) early warning score (xAI-EWS) system for early detection of acute critical illness. While maintaining a high predictive performance, our system explains to the clinician on which relevant electronic health records (EHRs) data the prediction is grounded. Acute critical illness is often preceded by deterioration of routinely measured clinical… ▽ More We developed an explainable artificial intelligence (AI) early warning score (xAI-EWS) system for early detection of acute critical illness. While maintaining a high predictive performance, our system explains to the clinician on which relevant electronic health records (EHRs) data the prediction is grounded. Acute critical illness is often preceded by deterioration of routinely measured clinical parameters, e.g., blood pressure and heart rate. Early clinical prediction is typically based on manually calculated screening metrics that simply weigh these parameters, such as Early Warning Scores (EWS). The predictive performance of EWSs yields a tradeoff between sensitivity and specificity that can lead to negative outcomes for the patient. Previous work on EHR-trained AI systems offers promising results with high levels of predictive performance in relation to the early, real-time prediction of acute critical illness. However, without insight into the complex decisions by such system, clinical translation is hindered. In this letter, we present our xAI-EWS system, which potentiates clinical translation by accompanying a prediction with information on the EHR data explaining it. △ Less

Submitted 3 December, 2019; originally announced December 2019.

Almost PI algebras are PI

Authors: Michael Larsen, Aner Shalev

Abstract: We define the notion of an almost polynomial identity of an associative algebra $R$, and show that its existence implies the existence of an actual polynomial identity of $R$. A similar result is also obtained for Lie algebras and Jordan algebras. We also prove related quantitative results for simple and semisimple algebras. We define the notion of an almost polynomial identity of an associative algebra $R$, and show that its existence implies the existence of an actual polynomial identity of $R$. A similar result is also obtained for Lie algebras and Jordan algebras. We also prove related quantitative results for simple and semisimple algebras. △ Less

Submitted 13 October, 2019; originally announced October 2019.

Comments: 13 pages

MSC Class: 16R99; 17B01

Minimum-Strain Symmetrization of Bravais Lattices

Authors: Peter M. Larsen, Edward L. Pang, Pablo A. Parrilo, Karsten W. Jacobsen

Abstract: Bravais lattices are the most fundamental building blocks of crystallography. They are classified into groups according to their translational, rotational, and inversion symmetries. In computational analysis of Bravais lattices, fulfilment of symmetry conditions is usually determined by analysis of the metric tensor, using either a numerical tolerance to produce a binary (i.e. yes or no) classific… ▽ More Bravais lattices are the most fundamental building blocks of crystallography. They are classified into groups according to their translational, rotational, and inversion symmetries. In computational analysis of Bravais lattices, fulfilment of symmetry conditions is usually determined by analysis of the metric tensor, using either a numerical tolerance to produce a binary (i.e. yes or no) classification, or a distance function which quantifies the deviation from an ideal lattice type. The metric tensor, though, is not scale-invariant, which complicates the choice of threshold and the interpretation of the distance function. Here, we quantify the distance of a lattice from a target Bravais class using strain. For an arbitrary lattice, we find the minimum-strain transformation needed to fulfil the symmetry conditions of a desired Bravais lattice type; the norm of the strain tensor is used to quantify the degree of symmetry breaking. The resulting distance is invariant to scale and rotation, and is a physically intuitive quantity. By symmetrizing to all Bravais classes, each lattice can be placed in a 14 dimensional space, which we use to create a map of the space of Bravais lattices and the transformation paths between them. A software implementation is available online under a permissive license. △ Less

Submitted 8 October, 2019; originally announced October 2019.

Comments: 12 pages, 9 figures

Journal ref: Phys. Rev. Research 2, 013077 (2020)

Continuous Comagnetometry using Transversely Polarized Xe Isotopes

Authors: D. Thrasher, S. Sorensen, J. Weber, M. Bulatowicz, A. Korver, M. Larsen, T. G. Walker

Abstract: We demonstrate a transversely polarized spin-exchange pumped noble gas comagnetometer which suppresses systematic errors from longitudinal polarization. Rb atoms as well as $^{131}$Xe and $^{129}$Xe nuclei are simultaneously polarized perpendicular to a pulsed bias field. Both Xe isotopes' nuclear magnetic resonance conditions are simultaneously satisfied by frequency modulation of the pulse repet… ▽ More We demonstrate a transversely polarized spin-exchange pumped noble gas comagnetometer which suppresses systematic errors from longitudinal polarization. Rb atoms as well as $^{131}$Xe and $^{129}$Xe nuclei are simultaneously polarized perpendicular to a pulsed bias field. Both Xe isotopes' nuclear magnetic resonance conditions are simultaneously satisfied by frequency modulation of the pulse repetition rate. The Rb atoms detect the Xe precession. We highlight the importance of magnetometer phase shifts when performing comagnetometry. For detection of non-magnetic spin-dependent interactions the sensing bandwidth is 1 Hz, the white-noise level is 7 $μ$Hz /$\sqrt{\text{Hz}}$, and the bias stability is $\approx1$ $μ$Hz. △ Less

Submitted 21 November, 2019; v1 submitted 4 October, 2019; originally announced October 2019.

Journal ref: Phys. Rev. A 100, 061403 (2019)