-
p-adic congruences in iterated derivatives of the Weierstrass elliptic function
Authors:
Kiran Luecke,
Eric Peterson
Abstract:
We use homotopy theoretic methods to prove congruence relations of number theoretic interest. Specifically, we use the theory of $\mathbb E_\infty$ complex orientations to establish $p$-adic Kümmer congruences among iterated derivatives of the Weierstrass elliptic function.
The machinery of Ando, Hopkins, and Rezk was developed with the intended application of taking congruence relations as inpu…
▽ More
We use homotopy theoretic methods to prove congruence relations of number theoretic interest. Specifically, we use the theory of $\mathbb E_\infty$ complex orientations to establish $p$-adic Kümmer congruences among iterated derivatives of the Weierstrass elliptic function.
The machinery of Ando, Hopkins, and Rezk was developed with the intended application of taking congruence relations as input and producing $\mathbb E_\infty$-orientations as output. We run their machine in reverse, using as input the recent results of Carmeli and the first author on the existence of $\mathbb E_\infty$-orientations of Tate fixed-point objects.
△ Less
Submitted 9 June, 2025;
originally announced June 2025.
-
Tate-valued Characteristic Classes
Authors:
Shachar Carmeli,
Kiran Luecke
Abstract:
We define a projective variant of classical complex orientation theory. Using this, we construct a map of spectra which lifts the total Chern class, providing an alternative answer to an old question of Segal \cite{segal}, previously answered by Lawson et al \cite{lawsonetal}. We also lift and generalize the ``sharp'' construction of Ando-French-Ganter \cite{afg} to an operation on arbitrary…
▽ More
We define a projective variant of classical complex orientation theory. Using this, we construct a map of spectra which lifts the total Chern class, providing an alternative answer to an old question of Segal \cite{segal}, previously answered by Lawson et al \cite{lawsonetal}. We also lift and generalize the ``sharp'' construction of Ando-French-Ganter \cite{afg} to an operation on arbitrary $\EE_\infty$-complex orientations, thereby providing a rich source of new $\EE_\infty$-orientations for commutative ring spectra. In particular we give an $\EE_\infty$-lift of the Jacobi orientation, a generalization of the much-studied two variable elliptic genus. Finally, we construct some new complex orientations of periodic ring spectra as requested in \cite{hahnyuan}.
△ Less
Submitted 15 March, 2025;
originally announced March 2025.
-
The spectrum of units of algebraic $K$-theory
Authors:
Shachar Carmeli,
Kiran Luecke
Abstract:
It is well known that the $[0,1]$ and $[0,2]$ Postnikov truncations of the units of the topological $K$-theories $\glone \KO$ and $\glone \KU$, respectively, are split, and that the splitting is provided by the ($\Z/2$-graded) line bundles. In this paper we give a similar splitting for the $[0,1]$-truncation of the units of algebraic $K$-theory, considered as a sheaf on affine schemes. A crucial s…
▽ More
It is well known that the $[0,1]$ and $[0,2]$ Postnikov truncations of the units of the topological $K$-theories $\glone \KO$ and $\glone \KU$, respectively, are split, and that the splitting is provided by the ($\Z/2$-graded) line bundles. In this paper we give a similar splitting for the $[0,1]$-truncation of the units of algebraic $K$-theory, considered as a sheaf on affine schemes. A crucial step is to produce the splitting for $\glone K(\Z)$. Along the way we also give a complete calculation of the connective spectrum of strict units of $K(\Z)$ and $K(\F_\ell)$ for a prime $\ell$. Finally, we show that the units of algebraic $K$-theory do not split as a presheaf. In fact we show they do not even split pointwise.
△ Less
Submitted 25 October, 2024; v1 submitted 13 October, 2024;
originally announced October 2024.
-
A2DMN: Anatomy-Aware Dilated Multiscale Network for Breast Ultrasound Semantic Segmentation
Authors:
Kyle Lucke,
Aleksandar Vakanski,
Min Xian
Abstract:
In recent years, convolutional neural networks for semantic segmentation of breast ultrasound (BUS) images have shown great success; however, two major challenges still exist. 1) Most current approaches inherently lack the ability to utilize tissue anatomy, resulting in misclassified image regions. 2) They struggle to produce accurate boundaries due to the repeated down-sampling operations. To add…
▽ More
In recent years, convolutional neural networks for semantic segmentation of breast ultrasound (BUS) images have shown great success; however, two major challenges still exist. 1) Most current approaches inherently lack the ability to utilize tissue anatomy, resulting in misclassified image regions. 2) They struggle to produce accurate boundaries due to the repeated down-sampling operations. To address these issues, we propose a novel breast anatomy-aware network for capturing fine image details and a new smoothness term that encodes breast anatomy. It incorporates context information across multiple spatial scales to generate more accurate semantic boundaries. Extensive experiments are conducted to compare the proposed method and eight state-of-the-art approaches using a BUS dataset with 325 images. The results demonstrate the proposed method significantly improves the segmentation of the muscle, mammary, and tumor classes and produces more accurate fine details of tissue boundaries.
△ Less
Submitted 22 March, 2024;
originally announced March 2024.
-
Brauer-Wall Groups and Truncated Picard Spectra of $K$-theory
Authors:
Jonathan Beardsley,
Kiran Luecke,
Jack Morava
Abstract:
We compute the first two k-invariants of the Picard spectra of $KU$ and $KO$ by analyzing their Picard groupoids and constructing their unit spectra as global sections of sheaves on the category of manifolds. This allows us to determine the E_\infty-structures of their truncations Pic(KU)[0,3] and Pic(KO)[0,2]. It follows that these truncated Picard spaces represent: the Brauer groups of Z/2-grade…
▽ More
We compute the first two k-invariants of the Picard spectra of $KU$ and $KO$ by analyzing their Picard groupoids and constructing their unit spectra as global sections of sheaves on the category of manifolds. This allows us to determine the E_\infty-structures of their truncations Pic(KU)[0,3] and Pic(KO)[0,2]. It follows that these truncated Picard spaces represent: the Brauer groups of Z/2-graded algebra bundles of Donovan-Karoubi, Moutuou and Maycock; the Brauer groups of super 2-lines; and the K-theory twists of Freed, Hopkins and Teleman. Our results also imply that that these spaces represent twists of String and Spin structures on manifolds and can be used to twist tmf-cohomology. Finally, we are able to identify pic(KU)[0,3] with a cotruncation of the Anderson dual of the sphere spectrum.
△ Less
Submitted 8 August, 2023; v1 submitted 16 June, 2023;
originally announced June 2023.
-
A geometric model for mod $p$ bordism
Authors:
Kiran Luecke
Abstract:
In this note I give a positive solution to Bullett's conjecture (posed in [1]) regarding a geometric presentation of the universal mod $p$ oriented ring spectrum.
In this note I give a positive solution to Bullett's conjecture (posed in [1]) regarding a geometric presentation of the universal mod $p$ oriented ring spectrum.
△ Less
Submitted 29 April, 2024; v1 submitted 14 September, 2022;
originally announced September 2022.
-
There aren't that many Morava E-theories
Authors:
Kiran Luecke,
Eric Peterson
Abstract:
Let $k$ be a perfect field of characteristic $p$. Associated to any (1-dimensional, commutative) formal group law of finite height $n$ over $k$ there is a complex oriented cohomology theory represented by a spectrum denoted $E(n)$ and commonly referred to as Morava $E$-theory. These spectra are known to admit $E_\infty$-structures, and the dependence of the $E_\infty$-structure on the choice of fo…
▽ More
Let $k$ be a perfect field of characteristic $p$. Associated to any (1-dimensional, commutative) formal group law of finite height $n$ over $k$ there is a complex oriented cohomology theory represented by a spectrum denoted $E(n)$ and commonly referred to as Morava $E$-theory. These spectra are known to admit $E_\infty$-structures, and the dependence of the $E_\infty$-structure on the choice of formal group law has been well studied (cf.\ [GH], [R], [L], Section 5, [PV]). In this note we show that the underlying homotopy type of $E(n)$ is independent of the choice of formal group law.
△ Less
Submitted 7 February, 2022;
originally announced February 2022.
-
A short geometric derivation of the dual Steenrod algebra
Authors:
Kiran Luecke
Abstract:
This two-page note gives a non-computational derivation of the dual Steenrod algebra as the automorphisms of the formal additive group. Instead of relying on computational tools like spectral sequences and Steenrod operations, the argument uses a few simple universal properties of certain cohomology theories.
This two-page note gives a non-computational derivation of the dual Steenrod algebra as the automorphisms of the formal additive group. Instead of relying on computational tools like spectral sequences and Steenrod operations, the argument uses a few simple universal properties of certain cohomology theories.
△ Less
Submitted 7 September, 2021; v1 submitted 31 August, 2021;
originally announced September 2021.
-
Selection on $X_1 + X_1 + \cdots X_m$ via Cartesian product tree
Authors:
Patrick Kreitzberg,
Kyle Lucke,
Jake Pennington,
Oliver Serang
Abstract:
Selection on the Cartesian product is a classic problem in computer science. Recently, an optimal algorithm for selection on $X+Y$, based on soft heaps, was introduced. By combining this approach with layer-ordered heaps (LOHs), an algorithm using a balanced binary tree of $X+Y$ selections was proposed to perform $k$-selection on $X_1+X_2+\cdots+X_m$ in $o(n\cdot m + k\cdot m)$, where $X_i$ have l…
▽ More
Selection on the Cartesian product is a classic problem in computer science. Recently, an optimal algorithm for selection on $X+Y$, based on soft heaps, was introduced. By combining this approach with layer-ordered heaps (LOHs), an algorithm using a balanced binary tree of $X+Y$ selections was proposed to perform $k$-selection on $X_1+X_2+\cdots+X_m$ in $o(n\cdot m + k\cdot m)$, where $X_i$ have length $n$. Here, that $o(n\cdot m + k\cdot m)$ algorithm is combined with a novel, optimal LOH-based algorithm for selection on $X+Y$ (without a soft heap). Performance of algorithms for selection on $X_1+X_2+\cdots+X_m$ are compared empirically, demonstrating the benefit of the algorithm proposed here.
△ Less
Submitted 16 August, 2020;
originally announced August 2020.
-
Optimal construction of a layer-ordered heap
Authors:
Jake Pennington,
Patrick Kreitzberg,
Kyle Lucke,
Oliver Serang
Abstract:
The layer-ordered heap (LOH) is a simple, recently proposed data structure used in optimal selection on $X+Y$, thealgorithm with the best known runtime for selection on $X_1+X_2+\cdots+X_m$, and the fastest method in practice for computing the most abundant isotope peaks in a chemical compound. Here, we introduce a few algorithms for constructing LOHs, analyze their complexity, and demonstrate tha…
▽ More
The layer-ordered heap (LOH) is a simple, recently proposed data structure used in optimal selection on $X+Y$, thealgorithm with the best known runtime for selection on $X_1+X_2+\cdots+X_m$, and the fastest method in practice for computing the most abundant isotope peaks in a chemical compound. Here, we introduce a few algorithms for constructing LOHs, analyze their complexity, and demonstrate that one algorithm is optimal for building a LOH of any rank $α$. These results are shown to correspond with empirical experiments of runtimes when applying the LOH construction algorithms to a common task in machine learning.
△ Less
Submitted 15 August, 2020; v1 submitted 27 July, 2020;
originally announced July 2020.
-
Fast exact computation of the $k$ most abundant isotope peaks with layer-ordered heaps
Authors:
Patrick Kreitzberg,
Jake Pennington,
Kyle Lucke,
Oliver Serang
Abstract:
The theoretical computation of isotopic distribution of compounds is crucial in many important applications of mass spectrometry, especially as machine precision grows. A considerable amount of good tools have been created in the last decade for doing so. In this paper we present a novel algorithm for calculating the top $k$ peaks of a given compound. The algorithm takes advantage of layer-ordered…
▽ More
The theoretical computation of isotopic distribution of compounds is crucial in many important applications of mass spectrometry, especially as machine precision grows. A considerable amount of good tools have been created in the last decade for doing so. In this paper we present a novel algorithm for calculating the top $k$ peaks of a given compound. The algorithm takes advantage of layer-ordered heaps used in an optimal method of selection on $X+Y$ and is able to efficiently calculate the top $k$ peaks on very large molecules. Among its peers, this algorithm shows a significant speedup on molecules whose elements have many isotopes. The algorithm obtains a speedup of more than 31x when compared to $\textsc{IsoSpec}$ on \ch{Au2Ca10Ga10Pd76} when computing 47409787 peaks, which covers 0.999 of the total abundance.
△ Less
Submitted 15 April, 2020;
originally announced April 2020.
-
Selection on $X_1+X_2+\cdots + X_m$ with layer-ordered heaps
Authors:
Patrick Kreitzberg,
Kyle Lucke,
Oliver Serang
Abstract:
Selection on $X_1+X_2+\cdots + X_m$ is an important problem with many applications in areas such as max-convolution, max-product Bayesian inference, calculating most probable isotopes, and computing non-parametric test statistics, among others. Faster-than-naïve approaches exist for $m=2$: Frederickson (1993) published the optimal algorithm with runtime $O(k)$ and Kaplan \emph{et al.} (2018) has s…
▽ More
Selection on $X_1+X_2+\cdots + X_m$ is an important problem with many applications in areas such as max-convolution, max-product Bayesian inference, calculating most probable isotopes, and computing non-parametric test statistics, among others. Faster-than-naïve approaches exist for $m=2$: Frederickson (1993) published the optimal algorithm with runtime $O(k)$ and Kaplan \emph{et al.} (2018) has since published a much simpler algorithm which makes use of Chazelle's soft heaps (2003). No fast methods exist for $m>2$. Johnson \& Mizoguchi (1978) introduced a method to compute the single $k^{th}$ value when $m>2$, but that method runs in $O(m\cdot n^{\lceil\frac{m}{2}\rceil} \log(n))$ time and is inefficient when $m \gg 1$ and $k \ll n^{\lceil\frac{m}{2}\rceil}$.
In this paper, we introduce the first efficient methods, both in theory and practice, for problems with $m>2$. We introduce the ``layer-ordered heap,'' a simple special class of heap with which we produce a new, fast selection algorithm on the Cartesian product. Using this new algorithm to perform $k$-selection on the Cartesian product of $m$ arrays of length $n$ has runtime $\in o(k\cdot m)$. We also provide implementations of the algorithms proposed and evaluate their performance in practice.
△ Less
Submitted 15 August, 2020; v1 submitted 26 October, 2019;
originally announced October 2019.
-
Most abundant isotope peaks and efficient selection on $Y=X_1+X_2+\cdots + X_m$
Authors:
Patrick Kreitzberg,
Kyle Lucke,
Oliver Serang
Abstract:
The isotope masses and relative abundances for each element are fundamental chemical knowledge. Computing the isotope masses of a compound and their relative abundances is an important and difficult analytical chemistry problem. We demonstrate that this problem is equivalent to sorting $Y=X_1+X_2+\cdots+X_m$. We introduce a novel, practically efficient method for computing the top values in $Y$. t…
▽ More
The isotope masses and relative abundances for each element are fundamental chemical knowledge. Computing the isotope masses of a compound and their relative abundances is an important and difficult analytical chemistry problem. We demonstrate that this problem is equivalent to sorting $Y=X_1+X_2+\cdots+X_m$. We introduce a novel, practically efficient method for computing the top values in $Y$. then demonstrate the applicability of this method by computing the most abundant isotope masses (and their abundances) from compounds of nontrivial size.
△ Less
Submitted 29 June, 2019;
originally announced July 2019.
-
Completed K-theory and Equivariant Elliptic Cohomology
Authors:
Kiran Luecke
Abstract:
Kitchloo and Morava give a strikingly simple picture of elliptic cohomology at the Tate curve by studying a completed version of $S^1$-equivariant $K$-theory for spaces. Several authors (cf [ABG],[KM],[L]) have suggested that an equivariant version ought to be related to the work of Freed-Hopkins-Teleman ([FHT1],[FHT2],[FHT3]). However, a first attempt at this runs into apparent contradictions con…
▽ More
Kitchloo and Morava give a strikingly simple picture of elliptic cohomology at the Tate curve by studying a completed version of $S^1$-equivariant $K$-theory for spaces. Several authors (cf [ABG],[KM],[L]) have suggested that an equivariant version ought to be related to the work of Freed-Hopkins-Teleman ([FHT1],[FHT2],[FHT3]). However, a first attempt at this runs into apparent contradictions concerning twist, degree, and cup product. Several authors (cf. [BET],[G],[K]) have solved the problem over the complex numbers by interpreting the $S^1$-equivariant parameter as a complex variable and using holomorphicity as the technique for completion. This paper gives a solution that works integrally, by constructing a carefully completed model of $K$-theory for $S^1$-equivariant stacks which allows for certain ``convergent" infinite-dimensional cocycles.
△ Less
Submitted 20 July, 2022; v1 submitted 29 March, 2019;
originally announced April 2019.
-
In-Datacenter Performance Analysis of a Tensor Processing Unit
Authors:
Norman P. Jouppi,
Cliff Young,
Nishant Patil,
David Patterson,
Gaurav Agrawal,
Raminder Bajwa,
Sarah Bates,
Suresh Bhatia,
Nan Boden,
Al Borchers,
Rick Boyle,
Pierre-luc Cantin,
Clifford Chao,
Chris Clark,
Jeremy Coriell,
Mike Daley,
Matt Dau,
Jeffrey Dean,
Ben Gelb,
Tara Vazir Ghaemmaghami,
Rajendra Gottipati,
William Gulland,
Robert Hagmann,
C. Richard Ho,
Doug Hogberg
, et al. (50 additional authors not shown)
Abstract:
Many architects believe that major improvements in cost-energy-performance must now come from domain-specific hardware. This paper evaluates a custom ASIC---called a Tensor Processing Unit (TPU)---deployed in datacenters since 2015 that accelerates the inference phase of neural networks (NN). The heart of the TPU is a 65,536 8-bit MAC matrix multiply unit that offers a peak throughput of 92 TeraOp…
▽ More
Many architects believe that major improvements in cost-energy-performance must now come from domain-specific hardware. This paper evaluates a custom ASIC---called a Tensor Processing Unit (TPU)---deployed in datacenters since 2015 that accelerates the inference phase of neural networks (NN). The heart of the TPU is a 65,536 8-bit MAC matrix multiply unit that offers a peak throughput of 92 TeraOps/second (TOPS) and a large (28 MiB) software-managed on-chip memory. The TPU's deterministic execution model is a better match to the 99th-percentile response-time requirement of our NN applications than are the time-varying optimizations of CPUs and GPUs (caches, out-of-order execution, multithreading, multiprocessing, prefetching, ...) that help average throughput more than guaranteed latency. The lack of such features helps explain why, despite having myriad MACs and a big memory, the TPU is relatively small and low power. We compare the TPU to a server-class Intel Haswell CPU and an Nvidia K80 GPU, which are contemporaries deployed in the same datacenters. Our workload, written in the high-level TensorFlow framework, uses production NN applications (MLPs, CNNs, and LSTMs) that represent 95% of our datacenters' NN inference demand. Despite low utilization for some applications, the TPU is on average about 15X - 30X faster than its contemporary GPU or CPU, with TOPS/Watt about 30X - 80X higher. Moreover, using the GPU's GDDR5 memory in the TPU would triple achieved TOPS and raise TOPS/Watt to nearly 70X the GPU and 200X the CPU.
△ Less
Submitted 16 April, 2017;
originally announced April 2017.
-
Character Formulas from Matrix Factorizations
Authors:
Kiran Luecke
Abstract:
In this paper I present a new and unified method of proving character formulas for discrete series representations of connected Lie groups by applying a Chern character-type construction to the matrix factorizations of [FT] and [FHT3]. In the case of a compact group I recover the Kirillov formula, thereby exhibiting the work of [FT] as a categorification of the Kirillov correspondence. In the case…
▽ More
In this paper I present a new and unified method of proving character formulas for discrete series representations of connected Lie groups by applying a Chern character-type construction to the matrix factorizations of [FT] and [FHT3]. In the case of a compact group I recover the Kirillov formula, thereby exhibiting the work of [FT] as a categorification of the Kirillov correspondence. In the case of a real semisimple group I recover the Rossman character formula with only a minimal amount of analysis. The appeal of this method is that it relies almost entirely on highest-weight theory, which is a far more ubiquitous phenomenon than the varied techniques that were previously used to prove such formulas.
△ Less
Submitted 21 September, 2022; v1 submitted 31 March, 2017;
originally announced April 2017.
-
On Zhu's Associative Algebra as a Tool in the Representation Theory of Vertex Operator Algebras
Authors:
Klaus Lucke
Abstract:
We describe an approach to classify (meromorphic) representations of a given vertex operator algebra by calculating Zhu's algebra explicitly. We demonstrate this for FKS lattice theories and subtheories corresponding to the Z_2 reflection twist and the Z_3 twist. Our work is mainly offering a novel uniqueness tool, but, as shown in the Z_3 case, it can also be used to extract enough information…
▽ More
We describe an approach to classify (meromorphic) representations of a given vertex operator algebra by calculating Zhu's algebra explicitly. We demonstrate this for FKS lattice theories and subtheories corresponding to the Z_2 reflection twist and the Z_3 twist. Our work is mainly offering a novel uniqueness tool, but, as shown in the Z_3 case, it can also be used to extract enough information to construct new representations. We prove the existence and some properties of a new non-unitary representation of the Z_3-invariant subtheory of the (two dimensional) Heisenberg algebra.
△ Less
Submitted 3 May, 1996;
originally announced May 1996.
-
Regularization Dependence of the Zero Mode Dynamics in the Schwinger Model
Authors:
Klaus Lucke
Abstract:
I compare heatkernel regularization with sharp gauge invariant cutoffs in the Hamiltonian formulation of the Coulomb gauged Schwinger model on a circle. The effective potential for the zero mode of the gauge field in a given fermionic configuration is different in these two regularizations, the difference being independent of the chosen fermionic configuration. In the continuum limit the gauge f…
▽ More
I compare heatkernel regularization with sharp gauge invariant cutoffs in the Hamiltonian formulation of the Coulomb gauged Schwinger model on a circle. The effective potential for the zero mode of the gauge field in a given fermionic configuration is different in these two regularizations, the difference being independent of the chosen fermionic configuration. In the continuum limit the gauge field can be localized or delocalized depending on the regulator.
△ Less
Submitted 8 December, 1993; v1 submitted 7 December, 1993;
originally announced December 1993.
