-
A remarkable functor on $G$-modules
Authors:
Joe Baine,
Tasman Fell,
Anna Romanov,
Alexander Sherman,
Geordie Williamson
Abstract:
We introduce a new functor on categories of modular representations of reductive algebraic groups. Our functor has remarkable properties. For example it is a tensor functor and sends every standard and costandard object in the principal block to a one-dimensional object. We connect our functor to recent work of Gruber and conjecture that our functor is equivalent to hypercohomology under the equiv…
▽ More
We introduce a new functor on categories of modular representations of reductive algebraic groups. Our functor has remarkable properties. For example it is a tensor functor and sends every standard and costandard object in the principal block to a one-dimensional object. We connect our functor to recent work of Gruber and conjecture that our functor is equivalent to hypercohomology under the equivalence of the Finkelberg-Mirkovic conjecture.
△ Less
Submitted 11 May, 2025;
originally announced May 2025.
-
Homogeneous spaces in tensor categories
Authors:
Kevin Coulembier,
Alexander Sherman
Abstract:
Let $\mathscr{C}$ be a symmetric tensor category of moderate growth, and let $\mathcal{H}\subseteq\mathcal{G}$ be algebraic groups in $\mathscr{C}$. We prove that the homogeneous space $\mathcal{G}/\mathcal{H}$ exists and is of finite type when $\mathscr{C}$ satisfies (GR) and (MN1-2), which are conjecturally equivalent to incompressibility. A key tool is the introduction of a Frobenius kernel of…
▽ More
Let $\mathscr{C}$ be a symmetric tensor category of moderate growth, and let $\mathcal{H}\subseteq\mathcal{G}$ be algebraic groups in $\mathscr{C}$. We prove that the homogeneous space $\mathcal{G}/\mathcal{H}$ exists and is of finite type when $\mathscr{C}$ satisfies (GR) and (MN1-2), which are conjecturally equivalent to incompressibility. A key tool is the introduction of a Frobenius kernel of an group scheme. We further show that while $\mathcal{G}_0/\mathcal{H}_0$ and $(\mathcal{G}/\mathcal{H})_0$ need not be the same, they are close enough, so that $\mathcal{G}/\mathcal{H}$ is quasi-affine/affine/proper if and only if $\mathcal{G}_0/\mathcal{H}_0$ is.
△ Less
Submitted 27 May, 2025; v1 submitted 7 May, 2025;
originally announced May 2025.
-
Static Magnetic Properties of Cryogel$^{\tiny{\circledR}}$ and Pyrogel$^{\tiny{\circledR}}$ at Low Temperatures and in High Magnetic Fields
Authors:
Caeli L. Benyacko,
Garrett T. Hauser,
Raven J. Rawson,
Alan J. Sherman,
Quinton L. Wiebe,
Krittin Poottafai,
Daniel R. Talham,
Mark W. Meisel
Abstract:
The static magnetic properties of the silica-based aergoels of Cryogel$^{\tiny{\circledR}}$ and Pyrogel$^{\tiny{\circledR}}$, manufactured by Aspen Aerogels$^{\tiny{\circledR}}$, were measured over a range of temperatures (2 K $\leq$ T $\leq$ 400 K) and in magnetic fields up to 70 kG. These data and a model of the responses are reported so these properties are familiar to others who may benefit fr…
▽ More
The static magnetic properties of the silica-based aergoels of Cryogel$^{\tiny{\circledR}}$ and Pyrogel$^{\tiny{\circledR}}$, manufactured by Aspen Aerogels$^{\tiny{\circledR}}$, were measured over a range of temperatures (2 K $\leq$ T $\leq$ 400 K) and in magnetic fields up to 70 kG. These data and a model of the responses are reported so these properties are familiar to others who may benefit from knowing them before the materials are employed in potential applications.
△ Less
Submitted 14 April, 2025;
originally announced April 2025.
-
Density of states of the Hubbard model supplemented with the quantizing magnetic field
Authors:
Alexei Sherman
Abstract:
Using the strong coupling diagram technique, we calculate the zero-temperature density of states $ρ$ of electrons on a square lattice immersed in a perpendicular uniform magnetic field. The electrons are described by Hubbard Hamiltonian. For moderate doping, Landau subbands are observed for small Hubbard repulsions $U$ only. For larger $U$, the subbands are blurred. Instead, small peaks varying wi…
▽ More
Using the strong coupling diagram technique, we calculate the zero-temperature density of states $ρ$ of electrons on a square lattice immersed in a perpendicular uniform magnetic field. The electrons are described by Hubbard Hamiltonian. For moderate doping, Landau subbands are observed for small Hubbard repulsions $U$ only. For larger $U$, the subbands are blurred. Instead, small peaks varying with the field induction $B$ arise by opening the Mott gap in its vicinity. The related variation of $ρ$ with $1/B$ may be connected with the low-frequency quantum oscillations in lightly doped cuprates. For all considered repulsions, $ρ$ has gaps near transfer frequencies of the Hubbard atom, $-μ$ and $U-μ$, with $μ$ the chemical potential. In the heavily underdoped case $μ<0$, Landau subbands are grouped into the lower and upper Hubbard subbands for moderate and large repulsions. The intensity of the upper Hubbard subband decreases with approaching the Fermi level to the lower edge of the spectrum and finally vanishes.
△ Less
Submitted 24 October, 2024;
originally announced October 2024.
-
Hubbard model on a triangular lattice at finite temperatures
Authors:
A. Sherman
Abstract:
Using the strong coupling diagram technique, we find three phases of the half-filled isotropic Hubbard model on a triangular lattice at finite temperatures. The weak-interaction ($U\lesssim5t$) and strong-interaction ($U\gtrsim9t$) phases are similar to those obtained by zero-temperature methods -- the former is a metal without perceptible spin excitations; the latter is a Mott insulator with the…
▽ More
Using the strong coupling diagram technique, we find three phases of the half-filled isotropic Hubbard model on a triangular lattice at finite temperatures. The weak-interaction ($U\lesssim5t$) and strong-interaction ($U\gtrsim9t$) phases are similar to those obtained by zero-temperature methods -- the former is a metal without perceptible spin excitations; the latter is a Mott insulator with the 120$^\circ$ short-range spin ordering. Zero-temperature approaches predict a nonmagnetic insulating spin-liquid phase sandwiched between these two regions. In our finite-temperature calculations, the Mott gap in the intermediate phase is filled by the Fermi-level peak, which is a manifestation of the bound states of electrons with pronounced spin excitations. We relate the appearance of these excitations at finite temperatures to the Pomeranchuk effect.
△ Less
Submitted 19 June, 2024;
originally announced June 2024.
-
Sylow theorems for supergroups
Authors:
Vera Serganova,
Alexander Sherman,
Dmitry Vaintrob
Abstract:
We introduce Sylow subgroups and $0$-groups to the theory of complex algebraic supergroups, which mimic Sylow subgroups and $p$-groups in the theory of finite groups. We prove that Sylow subgroups are always $0$-groups, and show that they are unique up to conjugacy. Further, we give an explicit classification of $0$-groups which will be very useful for future applications. Finally, we prove an ana…
▽ More
We introduce Sylow subgroups and $0$-groups to the theory of complex algebraic supergroups, which mimic Sylow subgroups and $p$-groups in the theory of finite groups. We prove that Sylow subgroups are always $0$-groups, and show that they are unique up to conjugacy. Further, we give an explicit classification of $0$-groups which will be very useful for future applications. Finally, we prove an analogue of Sylow's third theorem on the number of Sylow subgroups of a supergroup.
△ Less
Submitted 17 April, 2024;
originally announced April 2024.
-
On the Cartan-Helgason theorem for supersymmetric pairs
Authors:
Alexander Sherman
Abstract:
Let $(\mathfrak{g},\mathfrak{k})$ be a supersymmetric pair arising from a finite-dimensional, symmetrizable Kac-Moody superalgebra $\mathfrak{g}$. An important branching problem is to determine the finite-dimensional highest-weight $\mathfrak{g}$-modules which admit a $\mathfrak{k}$-coinvariant, and thus appear as functions in a corresponding supersymmetric space $\mathcal{G}/\mathcal{K}$. This is…
▽ More
Let $(\mathfrak{g},\mathfrak{k})$ be a supersymmetric pair arising from a finite-dimensional, symmetrizable Kac-Moody superalgebra $\mathfrak{g}$. An important branching problem is to determine the finite-dimensional highest-weight $\mathfrak{g}$-modules which admit a $\mathfrak{k}$-coinvariant, and thus appear as functions in a corresponding supersymmetric space $\mathcal{G}/\mathcal{K}$. This is the super-analogue of the Cartan-Helgason theorem. We solve this problem via a rank one reduction and an understanding of reflections in singular roots, which generalize odd reflections in the theory of Kac-Moody superalgebras. An explicit presentation of spherical weights is provided for every pair when $\mathfrak{g}$ is indecomposable.
△ Less
Submitted 25 April, 2025; v1 submitted 28 March, 2024;
originally announced March 2024.
-
A queer Kac-Moody construction
Authors:
Alexander Sherman,
Lior Silberberg
Abstract:
We introduce a new, Kac-Moody-flavoured construction for Lie superalgebras, which seeks to incorporate phenomena of the queer Lie superalgebra. The idea of the generalization is to replace the maximal torus by a maximal quasitoral subalgebra, which has the representation theory of a family of (degenerate) Clifford superalgebras. Remarkably, we find that the theory is quite rigid, and a natural cla…
▽ More
We introduce a new, Kac-Moody-flavoured construction for Lie superalgebras, which seeks to incorporate phenomena of the queer Lie superalgebra. The idea of the generalization is to replace the maximal torus by a maximal quasitoral subalgebra, which has the representation theory of a family of (degenerate) Clifford superalgebras. Remarkably, we find that the theory is quite rigid, and a natural class of Lie superalgebras becomes apparent, which we call queer Kac-Moody algebras. We classify finite growth queer Kac-Moody algebras, which includes an $\mathfrak{so}(3)$-superconformal algebra, and give a new perspective on the distinctiveness of the queer Lie superalgebra.
△ Less
Submitted 18 September, 2023;
originally announced September 2023.
-
An anti-maser for quantum-limited cooling of a microwave cavity
Authors:
Aharon Blank,
Alexander Sherman,
Boaz Koren,
Oleg Zgadzai
Abstract:
The maser, a microwave (MW) analog of the laser, is a well-established method for generating and amplifying coherent MW irradiation with ultra-low noise. This is accomplished by creating a state of population inversion between two energy levels separated by MW frequency. Thermodynamically, such a state corresponds to a small but negative temperature. The reverse condition, where only the lower ene…
▽ More
The maser, a microwave (MW) analog of the laser, is a well-established method for generating and amplifying coherent MW irradiation with ultra-low noise. This is accomplished by creating a state of population inversion between two energy levels separated by MW frequency. Thermodynamically, such a state corresponds to a small but negative temperature. The reverse condition, where only the lower energy level is highly populated, corresponds to a very low positive temperature. In this work, we experimentally demonstrate how to generate such a state in condensed matter at moderate cryogenic temperatures. This state is then used to efficiently remove microwave photons from a cavity, continuously cooling it to the quantum limit, well below its ambient temperature. Such an "anti-maser" device could be extremely beneficial for applications that would normally require cooling to millikelvin temperatures to eliminate any MW photons. For instance, superconducting MW quantum circuits (such as qubits and amplifiers) could, with the use of this device, operate efficiently at liquid helium temperatures.
△ Less
Submitted 24 July, 2023;
originally announced July 2023.
-
It takes two spectral sequences
Authors:
Inna Entova-Aizenbud,
Vera Serganova,
Alexander Sherman
Abstract:
We study the representation theory of the Lie superalgebra $\mathfrak{gl}(1|1)$, constructing two spectral sequences which eventually annihilate precisely the superdimension zero indecomposable modules in the finite-dimensional category. The pages of these spectral sequences, along with their limits, define symmetric monoidal functors on $\mathrm{Rep} (\mathfrak{gl}(1|1))$. These two spectral sequ…
▽ More
We study the representation theory of the Lie superalgebra $\mathfrak{gl}(1|1)$, constructing two spectral sequences which eventually annihilate precisely the superdimension zero indecomposable modules in the finite-dimensional category. The pages of these spectral sequences, along with their limits, define symmetric monoidal functors on $\mathrm{Rep} (\mathfrak{gl}(1|1))$. These two spectral sequences are related by contragredient duality, and from their limits we construct explicit semisimplification functors, which we explicitly prove are isomorphic up to a twist. We use these tools to prove branching results for the restriction of simple modules over Kac-Moody and queer Lie superalgebras to $\mathfrak{gl}(1|1)$-subalgebras.
△ Less
Submitted 12 July, 2023;
originally announced July 2023.
-
Two-dimensional extended Hubbard model: doping, next-nearest neighbor hopping and phase diagrams
Authors:
A Sherman
Abstract:
Using the strong coupling diagram technique, we investigate the extended Hubbard model on a two-dimensional square lattice. This approach allows for charge and spin fluctuations and a short-range antiferromagnetic order at nonzero temperatures. The model features the first-order phase transition to states with alternating site occupations (SAO) at the intersite repulsion $v=v_c$. In this work, we…
▽ More
Using the strong coupling diagram technique, we investigate the extended Hubbard model on a two-dimensional square lattice. This approach allows for charge and spin fluctuations and a short-range antiferromagnetic order at nonzero temperatures. The model features the first-order phase transition to states with alternating site occupations (SAO) at the intersite repulsion $v=v_c$. In this work, we show that doping decreases $v_c$. For a nonzero next-nearest neighbor hopping $t'$, less mobile carriers produce a stronger fall in $v_c$. For half-filling and $t'=0$, we consider phase diagrams for a fixed temperature $T$, on-site $U$, and intersite repulsions. The diagrams contain regions of SAO, Mott insulator, and several metallic states distinguished by their densities of states. Two of them are characterized by a dip and a peak at the Fermi level. The dip originates from the Slater mechanism for itinerant electrons, while the peak to bound states of electrons with localized magnetic moments. The existence of these two metallic regions in the phase diagram is a manifestation of the Pomeranchuk effect. The boundary between these regions reveals itself as a kink in the curve $v_c(T)$ and as a maximum in the $T$ dependence of the double occupancy $D$. Our calculated $D$ for different values of $v$, $U$, and $T$ are in semiquantitative agreement with Monte Carlo results.
△ Less
Submitted 28 April, 2023;
originally announced April 2023.
-
Two-dimensional extended Hubbard model at half-filling
Authors:
A. Sherman
Abstract:
We consider the extended Hubbard model on a two-dimensional square lattice at half-filling. The model is investigated using the strong coupling diagram technique. We sum infinite series of ladder diagrams allowing for full-scale charge and spin fluctuations and the actual short-range antiferromagnetic order for nonzero temperatures. In agreement with earlier results, we find the first-order phase…
▽ More
We consider the extended Hubbard model on a two-dimensional square lattice at half-filling. The model is investigated using the strong coupling diagram technique. We sum infinite series of ladder diagrams allowing for full-scale charge and spin fluctuations and the actual short-range antiferromagnetic order for nonzero temperatures. In agreement with earlier results, we find the first-order phase transition in the charge subsystem occurring at $v=v_c\gtrsim U/4$ with $v$ and $U$ the intersite and on-site Coulomb repulsion constants. The transition reveals itself in an abrupt sign change of a sharp maximum in the zero-frequency charge susceptibility at the corner of the Brillouin. States arising at the transition have alternating deviations of electron occupations from the mean value on neighboring sites. Due to fluctuations, these alternating occupation deviations have short-range order. For the considered parameters, such behavior is found for $U\lesssim5t$ with $t$ the hopping constant. For the insulating case $U\gtrsim 6t$, in which the transition is not observed, we find a continuous growth of the Mott gap with $v$. The evolution of the electron density of states with increasing $v$ is also considered.
△ Less
Submitted 19 April, 2023; v1 submitted 2 February, 2023;
originally announced February 2023.
-
Localization theorem for homological vector fields
Authors:
Vera Serganova,
Alexander Sherman
Abstract:
We present a general theorem which computes the cohomology of a homological vector field on global sections of vector bundles over smooth affine supervarieties. The hypotheses and results have the clear flavor of a localization theorem.
We present a general theorem which computes the cohomology of a homological vector field on global sections of vector bundles over smooth affine supervarieties. The hypotheses and results have the clear flavor of a localization theorem.
△ Less
Submitted 25 April, 2025; v1 submitted 24 October, 2022;
originally announced October 2022.
-
Quantifiably Tuneable Luminescence by Ultra-Thin Metal-Organic Nanosheets via Dual-Guest Energy Transfer
Authors:
Dylan A. Sherman,
Mario Gutiérrez,
Ian Griffiths,
Samraj Mollick,
Nader Amin,
Abderrazzak Douhal,
Jin-Chong Tan
Abstract:
Luminescent metal-organic frameworks (LMOFs) are promising materials for organic light-emitting diode (OLED) alternatives to silicate-based LEDs due to their tuneable structure and programmability. Yet, the 3D nature of LMOFs creates challenges for stability, optical transparency, and device integration. Metal-organic nanosheets (MONs) potentially overcome these limitations by combining the benefi…
▽ More
Luminescent metal-organic frameworks (LMOFs) are promising materials for organic light-emitting diode (OLED) alternatives to silicate-based LEDs due to their tuneable structure and programmability. Yet, the 3D nature of LMOFs creates challenges for stability, optical transparency, and device integration. Metal-organic nanosheets (MONs) potentially overcome these limitations by combining the benefits of MOFs with an atomically thin morphology of large planar dimensions. Here, we report the bottom-up synthesis of atomically thin ZIF-7-III MONs via facile low-energy salt-templating. Employing guest@MOF design, the fluorophores Rhodamine B and Fluorescein were intercalated into ZIF-7 nanosheets (Z7-NS) to form light emissive systems exhibiting intense and highly photostable fluorescence. Aggregation and Förster resonance energy transfer, enabled by the MON framework, were revealed as the mechanisms behind fluorescence. By varying guest concentration, these mechanisms provided predictable quantified control over emission chromaticity of a dual-guest Z7-NS material and the definition of an 'emission chromaticity fingerprint' - a unique subset of the visible spectrum which a material can emit by fluorescence.
△ Less
Submitted 22 October, 2022;
originally announced October 2022.
-
Ghost distributions on supersymmetric spaces II: basic classical superalgebras
Authors:
Alexander Sherman
Abstract:
We study ghost distributions on supersymmetric spaces for the case of basic classical Lie superalgebras. We introduce the notion of interlaced pairs, which are those for which both $(\mathfrak{g},\mathfrak{k})$ and $(\mathfrak{g},\mathfrak{k}')$ admit Iwasawa decompositions. For such pairs we define a ghost algebra, generalizing the subalgebra of $\mathcal{U}\mathfrak{g}$ defined by Gorelik. We re…
▽ More
We study ghost distributions on supersymmetric spaces for the case of basic classical Lie superalgebras. We introduce the notion of interlaced pairs, which are those for which both $(\mathfrak{g},\mathfrak{k})$ and $(\mathfrak{g},\mathfrak{k}')$ admit Iwasawa decompositions. For such pairs we define a ghost algebra, generalizing the subalgebra of $\mathcal{U}\mathfrak{g}$ defined by Gorelik. We realize this algebra as an algebra of $G$-equivariant operators on the supersymmetric space itself, and for certain pairs, the `special' ones, we realize our operators as twisted-equivariant differential operators on $G/K$. We additionally show that the Harish-Chandra morphism is injective, compute its image for all rank one pairs, and provide a conjecture for the image when $(\mathfrak{g},\mathfrak{k})$ is interlaced.
△ Less
Submitted 13 July, 2023; v1 submitted 21 August, 2022;
originally announced August 2022.
-
The Science Performance of JWST as Characterized in Commissioning
Authors:
Jane Rigby,
Marshall Perrin,
Michael McElwain,
Randy Kimble,
Scott Friedman,
Matt Lallo,
René Doyon,
Lee Feinberg,
Pierre Ferruit,
Alistair Glasse,
Marcia Rieke,
George Rieke,
Gillian Wright,
Chris Willott,
Knicole Colon,
Stefanie Milam,
Susan Neff,
Christopher Stark,
Jeff Valenti,
Jim Abell,
Faith Abney,
Yasin Abul-Huda,
D. Scott Acton,
Evan Adams,
David Adler
, et al. (601 additional authors not shown)
Abstract:
This paper characterizes the actual science performance of the James Webb Space Telescope (JWST), as determined from the six month commissioning period. We summarize the performance of the spacecraft, telescope, science instruments, and ground system, with an emphasis on differences from pre-launch expectations. Commissioning has made clear that JWST is fully capable of achieving the discoveries f…
▽ More
This paper characterizes the actual science performance of the James Webb Space Telescope (JWST), as determined from the six month commissioning period. We summarize the performance of the spacecraft, telescope, science instruments, and ground system, with an emphasis on differences from pre-launch expectations. Commissioning has made clear that JWST is fully capable of achieving the discoveries for which it was built. Moreover, almost across the board, the science performance of JWST is better than expected; in most cases, JWST will go deeper faster than expected. The telescope and instrument suite have demonstrated the sensitivity, stability, image quality, and spectral range that are necessary to transform our understanding of the cosmos through observations spanning from near-earth asteroids to the most distant galaxies.
△ Less
Submitted 10 April, 2023; v1 submitted 12 July, 2022;
originally announced July 2022.
-
On the Grothendieck ring of a quasireductive Lie superalgebra
Authors:
Maria Gorelik,
Vera Serganova,
Alexander Sherman
Abstract:
Given a Lie superalgebra $\mathfrak{g}$ and a maximal quasitoral subalgebra $\mathfrak{h}$, we consider properties of restrictions of $\mathfrak{g}$-modules to $\mathfrak{h}$. This is a natural generalization of the study of characters in the case when $\mathfrak{h}$ is an even maximal torus. We study the case of $\mathfrak{g}=\mathfrak{q}_n$ with $\mathfrak{h}$ a Cartan subalgebra, and prove seve…
▽ More
Given a Lie superalgebra $\mathfrak{g}$ and a maximal quasitoral subalgebra $\mathfrak{h}$, we consider properties of restrictions of $\mathfrak{g}$-modules to $\mathfrak{h}$. This is a natural generalization of the study of characters in the case when $\mathfrak{h}$ is an even maximal torus. We study the case of $\mathfrak{g}=\mathfrak{q}_n$ with $\mathfrak{h}$ a Cartan subalgebra, and prove several special properties of the restriction in this case, including an explicit realization of the $\mathfrak{h}$-supercharacter ring.
△ Less
Submitted 12 March, 2025; v1 submitted 15 June, 2022;
originally announced June 2022.
-
Splitting quasireductive supergroups and volumes of supergrassmannians
Authors:
Vera Serganova,
Alexander Sherman
Abstract:
We introduce the notion of splitting subgroups of quasireducitve supergroups, and explain their significance. For $GL(m|n)$, $Q(n)$, and defect one basic classical supergroups, we give explicit splitting subgroups. We further prove they are minimal up to conjugacy, except in the $GL(m|n)$ case where it remains a conjecture. A key tool in the proof is the computation of the volumes of complex super…
▽ More
We introduce the notion of splitting subgroups of quasireducitve supergroups, and explain their significance. For $GL(m|n)$, $Q(n)$, and defect one basic classical supergroups, we give explicit splitting subgroups. We further prove they are minimal up to conjugacy, except in the $GL(m|n)$ case where it remains a conjecture. A key tool in the proof is the computation of the volumes of complex supergrassmannians, which is of interest in its own right.
△ Less
Submitted 13 July, 2023; v1 submitted 15 June, 2022;
originally announced June 2022.
-
Low-frequency magnetic oscillations induced by strongly electron correlations
Authors:
Alexei Sherman
Abstract:
To explain the low frequencies of quantum oscillations observed in lightly doped cuprates, we consider the two-dimension Hubbard model supplemented with the perpendicular magnetic field. For large Hubbard repulsions, the electron spectrum is investigated using the cluster perturbation theory. Obtained frequencies of magnetic oscillations at small deviations from half-filling are close to those obs…
▽ More
To explain the low frequencies of quantum oscillations observed in lightly doped cuprates, we consider the two-dimension Hubbard model supplemented with the perpendicular magnetic field. For large Hubbard repulsions, the electron spectrum is investigated using the cluster perturbation theory. Obtained frequencies of magnetic oscillations at small deviations from half-filling are close to those observed experimentally, $F\approx500$~T. They stem from small Fermi surface pockets located in the nodal regions of the Brillouin zone. The pockets are formed by Fermi arcs and less intensive segments, which make the pockets nearly circular.
△ Less
Submitted 6 May, 2022;
originally announced May 2022.
-
On the Duflo-Serganova functor for the queer Lie superalgebra
Authors:
Maria Gorelik,
Alexander Sherman
Abstract:
We study the Duflo-Serganova functor $\operatorname{DS}_x$ for the queer Lie superalgebra $\mathfrak{q}_n$ and for all odd $x$ with $[x,x]$ semisimple. For the case when the rank of $x$ is $1$ we give a formula for multiplicities in terms of the arc diagram attached to $λ$. Further, we prove that $\operatorname{DS}_x(L)$ is semisimple if $L$ is a simple finite-dimensional module and $x$ is of rank…
▽ More
We study the Duflo-Serganova functor $\operatorname{DS}_x$ for the queer Lie superalgebra $\mathfrak{q}_n$ and for all odd $x$ with $[x,x]$ semisimple. For the case when the rank of $x$ is $1$ we give a formula for multiplicities in terms of the arc diagram attached to $λ$. Further, we prove that $\operatorname{DS}_x(L)$ is semisimple if $L$ is a simple finite-dimensional module and $x$ is of rank $1$ satisfying $x^2=0$.
△ Less
Submitted 2 May, 2022; v1 submitted 11 April, 2022;
originally announced April 2022.
-
The Duflo-Serganova functor, vingt ans après
Authors:
Maria Gorelik,
Crystal Hoyt,
Vera Serganova,
Alexander Sherman
Abstract:
We review old and new results concerning the $DS$ functor and associated varieties for Lie superalgebras. These notions were introduced in the unpublished manuscript arXiv:math/0507198 by Michel Duflo and the third author. This paper includes the results and proofs of the original manuscript, as well as a survey of more recent results.
We review old and new results concerning the $DS$ functor and associated varieties for Lie superalgebras. These notions were introduced in the unpublished manuscript arXiv:math/0507198 by Michel Duflo and the third author. This paper includes the results and proofs of the original manuscript, as well as a survey of more recent results.
△ Less
Submitted 13 July, 2023; v1 submitted 1 March, 2022;
originally announced March 2022.
-
On symmetries of the Duflo-Serganova functor
Authors:
Alexander Sherman
Abstract:
We discuss several points regarding symmetries of the Duflo-Serganova functor. In particular we give new constructions of Lie superalgebras, Lie supergroups, and associative superalgebras which act on the Duflo-Serganova functor. We connect our work to a computation of Heidersdorf and Weissauer which computed $DS_x$ for a maximal rank $x$ on Kac-modules for $GL(n|n)$, and extend the ideas and resu…
▽ More
We discuss several points regarding symmetries of the Duflo-Serganova functor. In particular we give new constructions of Lie superalgebras, Lie supergroups, and associative superalgebras which act on the Duflo-Serganova functor. We connect our work to a computation of Heidersdorf and Weissauer which computed $DS_x$ for a maximal rank $x$ on Kac-modules for $GL(n|n)$, and extend the ideas and results to $P(n)$.
△ Less
Submitted 13 July, 2023; v1 submitted 30 January, 2022;
originally announced January 2022.
-
Electromagnetically induced transparency based Rydberg-atom sensor for quantum voltage measurements
Authors:
Christopher L. Holloway,
Nikunjkumar Prajapati,
John Kitching,
Jeffery A. Sherman,
Carson Teale,
Alain Rufenacht,
Alexandra B. Artusio-Glimpse,
Matthew T. Simons,
Amy K. Robinson,
Eric B. Norrgard
Abstract:
We investigate the Stark shift in Rydberg rubidium atoms through electromagnetically induced transparency for the measurement of direct current (dc) and 60~Hz alternating current (ac) voltages. This technique has direct applications to atom-based measurements of dc and ac voltage and the calibration of voltage instrumentation. We present experimental results for different atomic states that allow…
▽ More
We investigate the Stark shift in Rydberg rubidium atoms through electromagnetically induced transparency for the measurement of direct current (dc) and 60~Hz alternating current (ac) voltages. This technique has direct applications to atom-based measurements of dc and ac voltage and the calibration of voltage instrumentation. We present experimental results for different atomic states that allow for dc and ac voltage measurements ranging from 0~V to 12~V. A Rydberg atom-based voltage standard could become an alternative calibration method with more favorable size, weight, power consumption, and cost compared to the more precise Josephson voltage standard. In this study, we also demonstrate how the voltage measurements can be utilized to determine the atomic polarizability for the Rydberg states. The Rydberg atom-based voltage measurement technology would become a complimentary method for dissemination of the voltage scale directly to the end user.
△ Less
Submitted 22 October, 2021; v1 submitted 5 October, 2021;
originally announced October 2021.
-
Optical Adversarial Attack
Authors:
Abhiram Gnanasambandam,
Alex M. Sherman,
Stanley H. Chan
Abstract:
We introduce OPtical ADversarial attack (OPAD). OPAD is an adversarial attack in the physical space aiming to fool image classifiers without physically touching the objects (e.g., moving or painting the objects). The principle of OPAD is to use structured illumination to alter the appearance of the target objects. The system consists of a low-cost projector, a camera, and a computer. The challenge…
▽ More
We introduce OPtical ADversarial attack (OPAD). OPAD is an adversarial attack in the physical space aiming to fool image classifiers without physically touching the objects (e.g., moving or painting the objects). The principle of OPAD is to use structured illumination to alter the appearance of the target objects. The system consists of a low-cost projector, a camera, and a computer. The challenge of the problem is the non-linearity of the radiometric response of the projector and the spatially varying spectral response of the scene. Attacks generated in a conventional approach do not work in this setting unless they are calibrated to compensate for such a projector-camera model. The proposed solution incorporates the projector-camera model into the adversarial attack optimization, where a new attack formulation is derived. Experimental results prove the validity of the solution. It is demonstrated that OPAD can optically attack a real 3D object in the presence of background lighting for white-box, black-box, targeted, and untargeted attacks. Theoretical analysis is presented to quantify the fundamental performance limit of the system.
△ Less
Submitted 15 August, 2021; v1 submitted 13 August, 2021;
originally announced August 2021.
-
Magnetic properties and superconductivity in the two-dimensional repulsive Hubbard model
Authors:
Alexei Sherman
Abstract:
A new method for estimating the parameter ensuring the fulfillment of the Mermin-Wagner theorem in the strong coupling diagram technique (SCDT) for the two-dimensional Hubbard model is suggested. With the precise parameter value, calculated magnetic quantities are in good agreement with the results of numeric and optical-lattice experiments. Obtained spin and charge vertices are used for investiga…
▽ More
A new method for estimating the parameter ensuring the fulfillment of the Mermin-Wagner theorem in the strong coupling diagram technique (SCDT) for the two-dimensional Hubbard model is suggested. With the precise parameter value, calculated magnetic quantities are in good agreement with the results of numeric and optical-lattice experiments. Obtained spin and charge vertices are used for investigating superconductivity in the $t$-$U$ and $t$-$t'$-$t"$-$U$ Hubbard models in the regime of strong correlations. We found no superconducting transition in the $t$-$U$ model. In the $t$-$t'$-$t"$-$U$ model, the transition occurs for the singlet $d_{x^2-y^2}$ pairing at $T_c\approx0.016t$. The difference between the two models is in the renormalized hopping describing electron motion in SCDT. In the $t$-$U$ model, it vanishes for momenta $(π,0)$, $(0,π)$ of extrema of the $d$-wave order parameter, while the hopping is finite in the $t$-$t'$-$t"$-$U$ model. In the one-band model, there are optimal values of $t'$ and $t"$ ensuring the highest $T_c$.
△ Less
Submitted 14 July, 2021;
originally announced July 2021.
-
AOT: Anonymization by Oblivious Transfer
Authors:
Farid Javani,
Alan T. Sherman
Abstract:
We introduce AOT, an anonymous communication system based on mix network architecture that uses oblivious transfer (OT) to deliver messages. Using OT to deliver messages helps AOT resist blending ($n-1$) attacks and helps AOT preserve receiver anonymity, even if a covert adversary controls all nodes in AOT. AOT comprises three levels of nodes, where nodes at each level perform a different function…
▽ More
We introduce AOT, an anonymous communication system based on mix network architecture that uses oblivious transfer (OT) to deliver messages. Using OT to deliver messages helps AOT resist blending ($n-1$) attacks and helps AOT preserve receiver anonymity, even if a covert adversary controls all nodes in AOT. AOT comprises three levels of nodes, where nodes at each level perform a different function and can scale horizontally. The sender encrypts their payload and a tag, derived from a secret shared between the sender and receiver, with the public key of a Level-2 node and sends them to a Level-1 node. On a public bulletin board, Level-3 nodes publish tags associated with messages ready to be retrieved. Each receiver checks the bulletin board, identifies tags, and receives the associated messages using OT. A receiver can receive their messages even if the receiver is offline when messages are ready. Through what we call a "handshake" process, communicants can use the AOT protocol to establish shared secrets anonymously. Users play an active role in contributing to the unlinkability of messages: periodically, users initiate requests to AOT to receive dummy messages, such that an adversary cannot distinguish real and dummy requests.
△ Less
Submitted 22 May, 2021;
originally announced May 2021.
-
Investigating the Utility of Multimodal Conversational Technology and Audiovisual Analytic Measures for the Assessment and Monitoring of Amyotrophic Lateral Sclerosis at Scale
Authors:
Michael Neumann,
Oliver Roesler,
Jackson Liscombe,
Hardik Kothare,
David Suendermann-Oeft,
David Pautler,
Indu Navar,
Aria Anvar,
Jochen Kumm,
Raquel Norel,
Ernest Fraenkel,
Alexander V. Sherman,
James D. Berry,
Gary L. Pattee,
Jun Wang,
Jordan R. Green,
Vikram Ramanarayanan
Abstract:
We propose a cloud-based multimodal dialog platform for the remote assessment and monitoring of Amyotrophic Lateral Sclerosis (ALS) at scale. This paper presents our vision, technology setup, and an initial investigation of the efficacy of the various acoustic and visual speech metrics automatically extracted by the platform. 82 healthy controls and 54 people with ALS (pALS) were instructed to int…
▽ More
We propose a cloud-based multimodal dialog platform for the remote assessment and monitoring of Amyotrophic Lateral Sclerosis (ALS) at scale. This paper presents our vision, technology setup, and an initial investigation of the efficacy of the various acoustic and visual speech metrics automatically extracted by the platform. 82 healthy controls and 54 people with ALS (pALS) were instructed to interact with the platform and completed a battery of speaking tasks designed to probe the acoustic, articulatory, phonatory, and respiratory aspects of their speech. We find that multiple acoustic (rate, duration, voicing) and visual (higher order statistics of the jaw and lip) speech metrics show statistically significant differences between controls, bulbar symptomatic and bulbar pre-symptomatic patients. We report on the sensitivity and specificity of these metrics using five-fold cross-validation. We further conducted a LASSO-LARS regression analysis to uncover the relative contributions of various acoustic and visual features in predicting the severity of patients' ALS (as measured by their self-reported ALSFRS-R scores). Our results provide encouraging evidence of the utility of automatically extracted audiovisual analytics for scalable remote patient assessment and monitoring in ALS.
△ Less
Submitted 15 April, 2021;
originally announced April 2021.
-
Absence of superconductivity in the two-dimensional Hubbard model
Authors:
A. Sherman
Abstract:
The possibility of the superconducting transition in the two-dimensional repulsive Hubbard model is studied using the ladder approximation of the strong coupling diagram technique. The $t$-$U$ and $t$-$t'$-$t''$-$U$ models are considered in the regime of strong correlations, for the on-site Coulomb repulsion $U=8t$, in the range of temperatures $0.02t\lesssim T\lesssim 0.3t$. To avoid the influenc…
▽ More
The possibility of the superconducting transition in the two-dimensional repulsive Hubbard model is studied using the ladder approximation of the strong coupling diagram technique. The $t$-$U$ and $t$-$t'$-$t''$-$U$ models are considered in the regime of strong correlations, for the on-site Coulomb repulsion $U=8t$, in the range of temperatures $0.02t\lesssim T\lesssim 0.3t$. To avoid the influence of the phase separation and size effects the calculations are performed in an infinite crystal, in the part of the phase diagram without inhomogeneities, for the electron concentration $\bar{n} =0.92$. Solutions of the Eliashberg equation for singlet and triplet pairing, which are transformed according to one-dimensional representations of the lattice point group $D_4$, are considered. For both models and all considered symmetries, eigenvalues of the Eliashberg equation are less than unity and demonstrate no upward trend with decreasing temperature. This result points to the absence of superconductivity in the Hubbard model in the strong-coupling regime. We discuss the reason for the small eigenvalue of the Eliashberg equation in the case of the singlet $d_{x^2-y^2}$ pairing.
△ Less
Submitted 25 March, 2021;
originally announced March 2021.
-
Phrase-Verified Voting: Verifiable Low-Tech Remote Boardroom Voting
Authors:
Enka Blanchard,
Ryan Robucci,
Ted Selker,
Alan Sherman
Abstract:
We present Phrase-Verified Voting, a voter-verifiable remote voting system assembled from commercial off-the-shelf software for small private elections. The system is transparent and enables each voter to verify that the tally includes their ballot selection without requiring any understanding of cryptography. This paper describes the system and its use in fall 2020, to vote remotely in promotion…
▽ More
We present Phrase-Verified Voting, a voter-verifiable remote voting system assembled from commercial off-the-shelf software for small private elections. The system is transparent and enables each voter to verify that the tally includes their ballot selection without requiring any understanding of cryptography. This paper describes the system and its use in fall 2020, to vote remotely in promotion committees in a university. Each voter fills out a form in the cloud with their vote V (YES, NO, ABSTAIN) and a passphrase P-two words entered by the voter. The system generates a verification prompt of the (P,V) pairs and a tally of the votes, organized to help visualize how the votes add up. After the polls close, each voter verifies that this table lists their (P,V) pair and that the tally is computed correctly. The system is especially appropriate for any small group making sensitive decisions. Because the system would not prevent a coercer from demanding that their victim use a specified passphrase, it is not designed for applications where such malfeasance would be likely or go undetected. Results from 43 voters show that the system was well-accepted, performed effectively for its intended purpose, and introduced users to the concept of voter-verified elections. Compared to the commonly-used alternatives of paper ballots or voting by email, voters found the system easier to use, and that it provided greater privacy and outcome integrity.
△ Less
Submitted 12 March, 2021;
originally announced March 2021.
-
Ghost distributions on supersymmetric spaces I: Koszul induced superspaces, branching, and the full ghost centre
Authors:
Alexander Sherman
Abstract:
Given a Lie superalgebra $\mathfrak{g}$, Gorelik defined the anticentre $\mathcal{A}$ of its enveloping algebra, which consists of certain elements that square to the center. We seek to generalize and enrich the anticentre to the context of supersymmetric pairs $(\mathfrak{g},\mathfrak{k})$, or more generally supersymmetric spaces $G/K$. We define certain invariant distributions on $G/K$, which we…
▽ More
Given a Lie superalgebra $\mathfrak{g}$, Gorelik defined the anticentre $\mathcal{A}$ of its enveloping algebra, which consists of certain elements that square to the center. We seek to generalize and enrich the anticentre to the context of supersymmetric pairs $(\mathfrak{g},\mathfrak{k})$, or more generally supersymmetric spaces $G/K$. We define certain invariant distributions on $G/K$, which we call ghost distributions, and which in some sense are induced from invariant distributions on $G_0/K_0$. Ghost distributions, and in particular their Harish-Chandra polynomials, give information about branching from $G$ to a symmetric subgroup $K'$ which is related (and sometimes conjugate) to $K$. We discuss the case of $G\times G/G$ for an arbitrary quasireductive supergroup $G$, where our results prove the existence of a polynomial which determines projectivity of irreducible $G$-modules. Finally, a generalization of Gorelik's ghost centre is defined called the full ghost centre, $\mathcal{Z}_{full}$. For type I basic Lie superalgebras $\mathfrak{g}$ we fully describe $\mathcal{Z}_{full}$, and prove that if $\mathfrak{g}$ contains an internal grading operator, $\mathcal{Z}_{full}$ consists exactly of those elements in $\mathcal{U}\mathfrak{g}$ acting by $\mathbb{Z}$-graded constants on every finite-dimensional irreducible representation.
△ Less
Submitted 9 March, 2022; v1 submitted 27 January, 2021;
originally announced January 2021.
-
Two geometric proofs of the classification of algebraic supergroups with semisimple representation theory
Authors:
Alexander Sherman
Abstract:
We present two novel proofs of the known classification of connected affine algebraic supergroups $G$ such that $\operatorname{Rep}G$ is semisimple. The proofs are geometrically motivated, although both rely on an algebraic lemma that characterizes $\mathfrak{osp}(1|2n)$ amongst simple Lie superalgebras.
We present two novel proofs of the known classification of connected affine algebraic supergroups $G$ such that $\operatorname{Rep}G$ is semisimple. The proofs are geometrically motivated, although both rely on an algebraic lemma that characterizes $\mathfrak{osp}(1|2n)$ amongst simple Lie superalgebras.
△ Less
Submitted 16 November, 2021; v1 submitted 21 December, 2020;
originally announced December 2020.
-
Phase separation and pairing fluctuations in oxide materials
Authors:
A. Bill,
V. Hizhnyakov,
R. K. Kremer,
G. Seibold,
A. Shelkan,
A. Sherman
Abstract:
We investigate the microscopic mechanism of charge instabilities and the formation of inhomogeneous states in systems with strong electron correlations. It is demonstrated that within a strong coupling expansion the single-band Hubbard model shows an instability towards phase separation and extend the approach also for an analysis of phase separation in the Hubbard-Kanamori hamiltonian as a protot…
▽ More
We investigate the microscopic mechanism of charge instabilities and the formation of inhomogeneous states in systems with strong electron correlations. It is demonstrated that within a strong coupling expansion the single-band Hubbard model shows an instability towards phase separation and extend the approach also for an analysis of phase separation in the Hubbard-Kanamori hamiltonian as a prototypical multiband model. We study the pairing fluctuations on top of an inhomogeneous stripe state where superconducting correlations in the extended s-wave and d-wave channels correspond to (anti)bound states in the two-particle spectra. Whereas extended s-wave fluctuations are relevant on the scale of the local interaction parameter U, we find that d-wave fluctuations are pronounced in the energy range of the active subband which crosses the Fermi level. As a result low energy spin and charge fluctuations can transfer the d-wave correlations from the bound states to the low energy quasiparticle bands. Our investigations therefore help to understand the coexistence of stripe correlations and d-wave superconductivity in cuprates.
△ Less
Submitted 29 October, 2020;
originally announced October 2020.
-
BVOT: Self-Tallying Boardroom Voting with Oblivious Transfer
Authors:
Farid Javani,
Alan T. Sherman
Abstract:
A boardroom election is an election with a small number of voters carried out with public communications. We present BVOT, a self-tallying boardroom voting protocol with ballot secrecy, fairness (no tally information is available before the polls close), and dispute-freeness (voters can observe that all voters correctly followed the protocol).
BVOT works by using a multiparty threshold homomorph…
▽ More
A boardroom election is an election with a small number of voters carried out with public communications. We present BVOT, a self-tallying boardroom voting protocol with ballot secrecy, fairness (no tally information is available before the polls close), and dispute-freeness (voters can observe that all voters correctly followed the protocol).
BVOT works by using a multiparty threshold homomorphic encryption system in which each candidate is associated with a masked unique prime. Each voter engages in an oblivious transfer with an untrusted distributor: the voter selects the index of a prime associated with a candidate and receives the selected prime in masked form. The voter then casts their vote by encrypting their masked prime and broadcasting it to everyone. The distributor does not learn the voter's choice, and no one learns the mapping between primes and candidates until the audit phase. By hiding the mapping between primes and candidates, BVOT provides voters with insufficient information to carry out effective cheating. The threshold feature prevents anyone from computing any partial tally---until everyone has voted. Multiplying all votes, their decryption shares, and the unmasking factor yields a product of the primes each raised to the number of votes received.
In contrast to some existing boardroom voting protocols, BVOT does not rely on any zero-knowledge proof; instead, it uses oblivious transfer to assure ballot secrecy and correct vote casting. Also, BVOT can handle multiple candidates in one election. BVOT prevents cheating by hiding crucial information: an attempt to increase the tally of one candidate might increase the tally of another candidate. After all votes are cast, any party can tally the votes.
△ Less
Submitted 5 October, 2020;
originally announced October 2020.
-
Phonon-assisted phase separation in strongly correlated systems
Authors:
Alexei Sherman
Abstract:
We relate the phase separation observed in many crystals with pronounced electron correlations to the regions of negative electron compressibility. They were found in several models describing strong electron correlations. At low temperatures, these regions arise near chemical potentials corresponding to the change of the ground state in the site Hamiltonian. The negative electron compressibility…
▽ More
We relate the phase separation observed in many crystals with pronounced electron correlations to the regions of negative electron compressibility. They were found in several models describing strong electron correlations. At low temperatures, these regions arise near chemical potentials corresponding to the change of the ground state in the site Hamiltonian. The negative electron compressibility leads to the separation of the system into electron-rich and electron-poor domains. The energy released in the course of this separation is absorbed by phonons. Another role of phonons is to give a definite form -- stripes or checkerboards -- to lattice distortions and domains of different electron concentrations. The shape, direction, and periodicity of such textures are determined by wave vectors of lattice distortions, which most strongly scatter electrons.
△ Less
Submitted 1 October, 2020;
originally announced October 2020.
-
Boardroom Voting: Verifiable Voting with Ballot Privacy Using Low-Tech Cryptography in a Single Room
Authors:
Enka Blanchard,
Ted Selker,
Alan T. Sherman
Abstract:
A boardroom election is an election that takes place in a single room -- the boardroom -- in which all voters can see and hear each other. We present an initial exploration of boardroom elections with ballot privacy and voter verifiability that use only "low-tech cryptography" without using computers to mark or collect ballots. Specifically, we define the problem, introduce several building blocks…
▽ More
A boardroom election is an election that takes place in a single room -- the boardroom -- in which all voters can see and hear each other. We present an initial exploration of boardroom elections with ballot privacy and voter verifiability that use only "low-tech cryptography" without using computers to mark or collect ballots. Specifically, we define the problem, introduce several building blocks, and propose a new protocol that combines these blocks in novel ways. Our new building blocks include "foldable ballots" that can be rotated to hide the alignment of ballot choices with voting marks, and "visual secrets" that are easy to remember and use but hard to describe. Although closely seated participants in a boardroom election have limited privacy, the protocol ensures that no one can determine how others voted. Moreover, each voter can verify that their ballot was correctly cast, collected, and counted, without being able to prove how they voted, providing assurance against undue influence. Low-tech cryptography is useful in situations where constituents do not trust computer technology, and it avoids the complex auditing requirements of end-to-end cryptographic voting systems such as Prêt-à-Voter. This paper's building blocks and protocol are meant to be a proof of concept that might be tested for usability and improved.
△ Less
Submitted 18 March, 2021; v1 submitted 29 July, 2020;
originally announced July 2020.
-
Optical Atomic Clock Comparison through Turbulent Air
Authors:
Martha I. Bodine,
Jean-Daniel Deschênes,
Isaac H. Khader,
William C. Swann,
Holly Leopardi,
Kyle Beloy,
Tobias Bothwell,
Samuel M. Brewer,
Sarah L. Bromley,
Jwo-Sy Chen,
Scott A. Diddams,
Robert J. Fasano,
Tara M. Fortier,
Youssef S. Hassan,
David B. Hume,
Dhruv Kedar,
Colin J. Kennedy,
Amanda Koepke,
David R. Leibrandt,
Andrew D. Ludlow,
William F. McGrew,
William R. Milner,
Daniele Nicolodi,
Eric Oelker,
Thomas E. Parker
, et al. (10 additional authors not shown)
Abstract:
We use frequency comb-based optical two-way time-frequency transfer (O-TWTFT) to measure the optical frequency ratio of state-of-the-art ytterbium and strontium optical atomic clocks separated by a 1.5 km open-air link. Our free-space measurement is compared to a simultaneous measurement acquired via a noise-cancelled fiber link. Despite non-stationary, ps-level time-of-flight variations in the fr…
▽ More
We use frequency comb-based optical two-way time-frequency transfer (O-TWTFT) to measure the optical frequency ratio of state-of-the-art ytterbium and strontium optical atomic clocks separated by a 1.5 km open-air link. Our free-space measurement is compared to a simultaneous measurement acquired via a noise-cancelled fiber link. Despite non-stationary, ps-level time-of-flight variations in the free-space link, ratio measurements obtained from the two links, averaged over 30.5 hours across six days, agree to $6\times10^{-19}$, showing that O-TWTFT can support free-space atomic clock comparisons below the $10^{-18}$ level.
△ Less
Submitted 11 September, 2020; v1 submitted 1 June, 2020;
originally announced June 2020.
-
Frequency Ratio Measurements with 18-digit Accuracy Using a Network of Optical Clocks
Authors:
Boulder Atomic Clock Optical Network,
Collaboration,
:,
Kyle Beloy,
Martha I. Bodine,
Tobias Bothwell,
Samuel M. Brewer,
Sarah L. Bromley,
Jwo-Sy Chen,
Jean-Daniel Deschênes,
Scott A. Diddams,
Robert J. Fasano,
Tara M. Fortier,
Youssef S. Hassan,
David B. Hume,
Dhruv Kedar,
Colin J. Kennedy,
Isaac Khader,
Amanda Koepke,
David R. Leibrandt,
Holly Leopardi,
Andrew D. Ludlow,
William F. McGrew,
William R. Milner,
Nathan R. Newbury
, et al. (13 additional authors not shown)
Abstract:
Atomic clocks occupy a unique position in measurement science, exhibiting higher accuracy than any other measurement standard and underpinning six out of seven base units in the SI system. By exploiting higher resonance frequencies, optical atomic clocks now achieve greater stability and lower frequency uncertainty than existing primary standards. Here, we report frequency ratios of the $^{27}$Al…
▽ More
Atomic clocks occupy a unique position in measurement science, exhibiting higher accuracy than any other measurement standard and underpinning six out of seven base units in the SI system. By exploiting higher resonance frequencies, optical atomic clocks now achieve greater stability and lower frequency uncertainty than existing primary standards. Here, we report frequency ratios of the $^{27}$Al$^+$, $^{171}$Yb and $^{87}$Sr optical clocks in Boulder, Colorado, measured across an optical network spanned by both fiber and free-space links. These ratios have been evaluated with measurement uncertainties between $6\times10^{-18}$ and $8\times10^{-18}$, making them the most accurate reported measurements of frequency ratios to date. This represents a critical step towards redefinition of the SI second and future applications such as relativistic geodesy and tests of fundamental physics.
△ Less
Submitted 29 May, 2020;
originally announced May 2020.
-
Hubbard-Kanamori model: spectral functions, negative electron compressibility, and susceptibilities
Authors:
Alexei Sherman
Abstract:
The two-orbital Hubbard-Kanamori model is studied using the strong coupling diagram technique. This approach allows one to take into account the interactions of electrons with spin, charge, and orbital fluctuations of all ranges. It was found that, at low temperatures, the model has four regions of the negative electron compressibility, which can lead to charge inhomogeneities with the assistance…
▽ More
The two-orbital Hubbard-Kanamori model is studied using the strong coupling diagram technique. This approach allows one to take into account the interactions of electrons with spin, charge, and orbital fluctuations of all ranges. It was found that, at low temperatures, the model has four regions of the negative electron compressibility, which can lead to charge inhomogeneities with the assistance of phonons. For half-filling, the phase diagram of the model contains regions of the Mott and Slater insulators, bad-metal, and states with spin-polaron peaks. These sharp peaks at the Fermi level are seen in doped states also. A finite Hund coupling leads to a large increase of antiferromagnetic spin correlations with strong suppression of charge and orbital fluctuations near half-filling. For moderate doping, all types of correlations become comparable. They peak at the antiferromagnetic wave vector except for a narrow region with an incommensurate response. Stronger doping destroys all correlations.
△ Less
Submitted 20 May, 2020;
originally announced May 2020.
-
Experiences and Lessons Learned Creating and Validating Concept Inventories for Cybersecurity
Authors:
Alan T. Sherman,
Geoffrey L. Herman,
Linda Oliva,
Peter A. H. Peterson,
Enis Golaszewski,
Seth Poulsen,
Travis Scheponik,
Akshita Gorti
Abstract:
We reflect on our ongoing journey in the educational Cybersecurity Assessment Tools (CATS) Project to create two concept inventories for cybersecurity. We identify key steps in this journey and important questions we faced. We explain the decisions we made and discuss the consequences of those decisions, highlighting what worked well and what might have gone better.
The CATS Project is creating…
▽ More
We reflect on our ongoing journey in the educational Cybersecurity Assessment Tools (CATS) Project to create two concept inventories for cybersecurity. We identify key steps in this journey and important questions we faced. We explain the decisions we made and discuss the consequences of those decisions, highlighting what worked well and what might have gone better.
The CATS Project is creating and validating two concept inventories---conceptual tests of understanding---that can be used to measure the effectiveness of various approaches to teaching and learning cybersecurity. The Cybersecurity Concept Inventory (CCI) is for students who have recently completed any first course in cybersecurity; the Cybersecurity Curriculum Assessment (CCA) is for students who have recently completed an undergraduate major or track in cybersecurity. Each assessment tool comprises 25 multiple-choice questions (MCQs) of various difficulties that target the same five core concepts, but the CCA assumes greater technical background.
Key steps include defining project scope, identifying the core concepts, uncovering student misconceptions, creating scenarios, drafting question stems, developing distractor answer choices, generating educational materials, performing expert reviews, recruiting student subjects, organizing workshops, building community acceptance, forming a team and nurturing collaboration, adopting tools, and obtaining and using funding.
Creating effective MCQs is difficult and time-consuming, and cybersecurity presents special challenges. Because cybersecurity issues are often subtle, where the adversarial model and details matter greatly, it is challenging to construct MCQs for which there is exactly one best but non-obvious answer. We hope that our experiences and lessons learned may help others create more effective concept inventories and assessments in STEM.
△ Less
Submitted 10 April, 2020;
originally announced April 2020.
-
Iwasawa Decomposition for Lie Superalgebras
Authors:
Alexander Sherman
Abstract:
Let $\mathfrak{g}$ be a basic simple Lie superalgebra over an algebraically closed field of characteristic zero, and $θ$ an involution of $\mathfrak{g}$ preserving a nondegenerate invariant form. We prove that either $θ$ or $δ\circθ$ admits an Iwasawa decomposition, where $δ$ is the canonical grading automorphism $δ(x)=(-1)^{\overline{x}}x$. The proof uses the notion of generalized root systems as…
▽ More
Let $\mathfrak{g}$ be a basic simple Lie superalgebra over an algebraically closed field of characteristic zero, and $θ$ an involution of $\mathfrak{g}$ preserving a nondegenerate invariant form. We prove that either $θ$ or $δ\circθ$ admits an Iwasawa decomposition, where $δ$ is the canonical grading automorphism $δ(x)=(-1)^{\overline{x}}x$. The proof uses the notion of generalized root systems as developed by Serganova, and follows from a more general result on centralizers of certain tori coming from semisimple automorphisms of the Lie superalgebra $\mathfrak{g}$.
△ Less
Submitted 20 August, 2024; v1 submitted 6 April, 2020;
originally announced April 2020.
-
Layers of the Coradical Filtration
Authors:
Alexander Sherman
Abstract:
Under suitably nice conditions, given a coalgebra object in a tensor category we compute the layers of its coradical (socle) filtration.
Under suitably nice conditions, given a coalgebra object in a tensor category we compute the layers of its coradical (socle) filtration.
△ Less
Submitted 13 July, 2023; v1 submitted 1 April, 2020;
originally announced April 2020.
-
Formal Methods Analysis of the Secure Remote Password Protocol
Authors:
Alan T. Sherman,
Erin Lanus,
Moses Liskov,
Edward Zieglar,
Richard Chang,
Enis Golaszewski,
Ryan Wnuk-Fink,
Cyrus J. Bonyadi,
Mario Yaksetig,
Ian Blumenfeld
Abstract:
We analyze the Secure Remote Password (SRP) protocol for structural weaknesses using the Cryptographic Protocol Shapes Analyzer (CPSA) in the first formal analysis of SRP (specifically, Version 3).
SRP is a widely deployed Password Authenticated Key Exchange (PAKE) protocol used in 1Password, iCloud Keychain, and other products. As with many PAKE protocols, two participants use knowledge of a pr…
▽ More
We analyze the Secure Remote Password (SRP) protocol for structural weaknesses using the Cryptographic Protocol Shapes Analyzer (CPSA) in the first formal analysis of SRP (specifically, Version 3).
SRP is a widely deployed Password Authenticated Key Exchange (PAKE) protocol used in 1Password, iCloud Keychain, and other products. As with many PAKE protocols, two participants use knowledge of a pre-shared password to authenticate each other and establish a session key. SRP aims to resist dictionary attacks, not store plaintext-equivalent passwords on the server, avoid patent infringement, and avoid export controls by not using encryption. Formal analysis of SRP is challenging in part because existing tools provide no simple way to reason about its use of the mathematical expression $v + g^b \mod q$.
Modeling $v + g^b$ as encryption, we complete an exhaustive study of all possible execution sequences of SRP. Ignoring possible algebraic attacks, this analysis detects no major structural weakness, and in particular no leakage of any secrets. We do uncover one notable weakness of SRP, which follows from its design constraints. It is possible for a malicious server to fake an authentication session with a client, without the client's participation. This action might facilitate an escalation of privilege attack, if the client has higher privileges than does the server. We conceived of this attack before we used CPSA and confirmed it by generating corresponding execution shapes using CPSA.
△ Less
Submitted 16 March, 2020;
originally announced March 2020.
-
Using Data Assimilation of Mechanistic Models to Estimate Glucose and Insulin Metabolism
Authors:
Jami J. Mulgrave,
Matthew E. Levine,
David J. Albers,
Joon Ha,
Arthur Sherman,
George Hripcsak
Abstract:
Motivation: There is a growing need to integrate mechanistic models of biological processes with computational methods in healthcare in order to improve prediction. We apply data assimilation in the context of Type 2 diabetes to understand parameters associated with the disease.
Results: The data assimilation method captures how well patients improve glucose tolerance after their surgery. Data a…
▽ More
Motivation: There is a growing need to integrate mechanistic models of biological processes with computational methods in healthcare in order to improve prediction. We apply data assimilation in the context of Type 2 diabetes to understand parameters associated with the disease.
Results: The data assimilation method captures how well patients improve glucose tolerance after their surgery. Data assimilation has the potential to improve phenotyping in Type 2 diabetes.
△ Less
Submitted 13 March, 2020;
originally announced March 2020.
-
Coherent Optical Clock Down-Conversion for Microwave Frequencies with 10-18 Instability
Authors:
Takuma Nakamura,
Josue Davila-Rodriguez,
Holly Leopardi,
Jeff A. Sherman,
Tara M. Fortier,
Xiaojun Xie,
Joe C. Campbell,
William F. McGrew,
Xiaogang Zhang,
Youssef S. Hassan,
Daniele Nicolodi,
Kyle Beloy,
Andrew D. Ludlow,
Scott A. Diddams,
Franklyn Quinlan
Abstract:
Optical atomic clocks are poised to redefine the SI second, thanks to stability and accuracy more than one hundred times better than the current microwave atomic clock standard. However, the best optical clocks have not seen their performance transferred to the electronic domain, where radar, navigation, communications, and fundamental research rely on less stable microwave sources. By comparing t…
▽ More
Optical atomic clocks are poised to redefine the SI second, thanks to stability and accuracy more than one hundred times better than the current microwave atomic clock standard. However, the best optical clocks have not seen their performance transferred to the electronic domain, where radar, navigation, communications, and fundamental research rely on less stable microwave sources. By comparing two independent optical-to-electronic signal generators, we demonstrate a 10 GHz microwave signal with phase that exactly tracks that of the optical clock phase from which it is derived, yielding an absolute fractional frequency instability of 1*10-18 in the electronic domain. Such faithful reproduction of the optical clock phase expands the opportunities for optical clocks both technologically and scientifically for time-dissemination, navigation, and long-baseline interferometric imaging.
△ Less
Submitted 9 March, 2020; v1 submitted 5 March, 2020;
originally announced March 2020.
-
Spin and charge fluctuations in the two-band Hubbard model
Authors:
Alexei Sherman
Abstract:
A model of CuO$_2$ planes of cuprate perovskites, containing $d_{x^2-y^2}$ copper orbitals and symmetric combinations of oxygen $p_σ$ orbitals, is investigated using the strong coupling diagram technique. This approach allows one to take into account the interactions of carriers with spin and charge fluctuations of all ranges. Derived equations for Green's function are self-consistently solved for…
▽ More
A model of CuO$_2$ planes of cuprate perovskites, containing $d_{x^2-y^2}$ copper orbitals and symmetric combinations of oxygen $p_σ$ orbitals, is investigated using the strong coupling diagram technique. This approach allows one to take into account the interactions of carriers with spin and charge fluctuations of all ranges. Derived equations for Green's function are self-consistently solved for the set of parameters corresponding to hole- and electron-doped cuprates. It is shown that the mentioned interactions lead to the appearance of spin polarons -- bound states of carriers with spin excitations, which show themselves as sharp peaks of the density of states and spectral functions at the Fermi level. Hole and electron doping are strongly asymmetric. This, in particular, manifests itself in the antiferromagnetic response for the electron-doped case and in an incommensurate magnetic ordering for hole doping. In the latter case, the incommensurability parameter grows with doping. The double occupancy shows that the electron-doped system retains strong correlations up to the concentration 0.23, while for hole doping the correlations decay rapidly. These results are in agreement with experimental observations in cuprates.
△ Less
Submitted 25 January, 2020;
originally announced January 2020.
-
Spherical Supervarieties
Authors:
Alexander Sherman
Abstract:
We give a definition of the notion of spherical varieties in the world of complex supervarieties with actions of algebraic supergroups. A characterization of affine spherical supervarieties is given which generalizes a characterization in the classical case. We also explain some general properties of the monoid of highest weights. Several examples are given that are interesting in their own right…
▽ More
We give a definition of the notion of spherical varieties in the world of complex supervarieties with actions of algebraic supergroups. A characterization of affine spherical supervarieties is given which generalizes a characterization in the classical case. We also explain some general properties of the monoid of highest weights. Several examples are given that are interesting in their own right and highlight differences with the classical case, including the regular representation, symmetric supervarieties, and actions of split supergroups.
△ Less
Submitted 29 November, 2020; v1 submitted 21 October, 2019;
originally announced October 2019.
-
Investigating Crowdsourcing to Generate Distractors for Multiple-Choice Assessments
Authors:
Travis Scheponik,
Enis Golaszewski,
Geoffrey Herman,
Spencer Offenberger,
Linda Oliva,
Peter A. H. Peterson,
Alan T. Sherman
Abstract:
We present and analyze results from a pilot study that explores how crowdsourcing can be used in the process of generating distractors (incorrect answer choices) in multiple-choice concept inventories (conceptual tests of understanding). To our knowledge, we are the first to propose and study this approach. Using Amazon Mechanical Turk, we collected approximately 180 open-ended responses to severa…
▽ More
We present and analyze results from a pilot study that explores how crowdsourcing can be used in the process of generating distractors (incorrect answer choices) in multiple-choice concept inventories (conceptual tests of understanding). To our knowledge, we are the first to propose and study this approach. Using Amazon Mechanical Turk, we collected approximately 180 open-ended responses to several question stems from the Cybersecurity Concept Inventory of the Cybersecurity Assessment Tools Project and from the Digital Logic Concept Inventory. We generated preliminary distractors by filtering responses, grouping similar responses, selecting the four most frequent groups, and refining a representative distractor for each of these groups. We analyzed our data in two ways. First, we compared the responses and resulting distractors with those from the aforementioned inventories. Second, we obtained feedback from Amazon Mechanical Turk on the resulting new draft test items (including distractors) from additional subjects. Challenges in using crowdsourcing include controlling the selection of subjects and filtering out responses that do not reflect genuine effort. Despite these challenges, our results suggest that crowdsourcing can be a very useful tool in generating effective distractors (attractive to subjects who do not understand the targeted concept). Our results also suggest that this method is faster, easier, and cheaper than is the traditional method of having one or more experts draft distractors, and building on talk-aloud interviews with subjects to uncover their misconceptions. Our results are significant because generating effective distractors is one of the most difficult steps in creating multiple-choice assessments.
△ Less
Submitted 9 September, 2019;
originally announced September 2019.
-
PPT: New Low Complexity Deterministic Primality Tests Leveraging Explicit and Implicit Non-Residues. A Set of Three Companion Manuscripts
Authors:
Dhananjay Phatak,
Alan T. Sherman,
Steven D. Houston,
Andrew Henry
Abstract:
In this set of three companion manuscripts/articles, we unveil our new results on primality testing and reveal new primality testing algorithms enabled by those results. The results have been classified (and referred to) as lemmas/corollaries/claims whenever we have complete analytic proof(s); otherwise the results are introduced as conjectures.
In Part/Article 1, we start with the Baseline Prim…
▽ More
In this set of three companion manuscripts/articles, we unveil our new results on primality testing and reveal new primality testing algorithms enabled by those results. The results have been classified (and referred to) as lemmas/corollaries/claims whenever we have complete analytic proof(s); otherwise the results are introduced as conjectures.
In Part/Article 1, we start with the Baseline Primality Conjecture~(PBPC) which enables deterministic primality detection with a low complexity = O((log N)^2) ; when an explicit value of a Quadratic Non Residue (QNR) modulo-N is available (which happens to be the case for an overwhelming majority = 11/12 = 91.67% of all odd integers). We then demonstrate Primality Lemma PL-1, which reveals close connections between the state-of-the-art Miller-Rabin method and the renowned Euler-Criterion. This Lemma, together with the Baseline Primality Conjecture enables a synergistic fusion of Miller-Rabin iterations and our method(s), resulting in hybrid algorithms that are substantially better than their components. Next, we illustrate how the requirement of an explicit value of a QNR can be circumvented by using relations of the form: Polynomial(x) mod N = 0 ; whose solutions implicitly specify Non Residues modulo-N. We then develop a method to derive low-degree canonical polynomials that together guarantee implicit Non Residues modulo-N ; which along with the Generalized Primality Conjectures enable algorithms that achieve a worst case deterministic polynomial complexity = O( (log N)^3 polylog(log N)) ; unconditionally ; for any/all values of N.
In Part/Article 2 , we present substantial experimental data that corroborate all the conjectures. No counter example has been found.
Finally in Part/Article 3, we present analytic proof(s) of the Baseline Primality Conjecture that we have been able to complete for some special cases.
△ Less
Submitted 20 August, 2019;
originally announced August 2019.
-
Demonstration of a time scale based on a stable optical carrier
Authors:
William R. Milner,
John M. Robinson,
Colin J. Kennedy,
Tobias Bothwell,
Dhruv Kedar,
Dan G. Matei,
Thomas Legero,
Uwe Sterr,
Fritz Riehle,
Holly Leopardi,
Tara M. Fortier,
Jeffrey A. Sherman,
Judah Levine,
Jian Yao,
Jun Ye,
Eric Oelker
Abstract:
We demonstrate a time scale based on a phase stable optical carrier that accumulates an estimated time error of $48\pm94$ ps over 34 days of operation. This all-optical time scale is formed with a cryogenic silicon cavity exhibiting improved long-term stability and an accurate $^{87}$Sr lattice clock. We show that this new time scale architecture outperforms existing microwave time scales, even wh…
▽ More
We demonstrate a time scale based on a phase stable optical carrier that accumulates an estimated time error of $48\pm94$ ps over 34 days of operation. This all-optical time scale is formed with a cryogenic silicon cavity exhibiting improved long-term stability and an accurate $^{87}$Sr lattice clock. We show that this new time scale architecture outperforms existing microwave time scales, even when they are steered to optical frequency standards. Our analysis indicates that this time scale is capable of reaching a stability below $1\times10^{-17}$ after a few months of averaging, making timekeeping at the $10^{-18}$ level a realistic prospect.
△ Less
Submitted 6 July, 2019;
originally announced July 2019.
-
Negative electron compressibility in the Hubbard Model
Authors:
A. Sherman
Abstract:
Using the strong coupling diagram technique, we study the one-band repulsive Hubbard model on a two-dimensional square lattice in a wide range of chemical potentials $μ$. Infinite sequences of diagrams describing interactions of electrons with spin and charge fluctuations are taken into account. At low temperatures, regions of the negative electron compressibility are found for $μ<0$ and $μ>U$, wh…
▽ More
Using the strong coupling diagram technique, we study the one-band repulsive Hubbard model on a two-dimensional square lattice in a wide range of chemical potentials $μ$. Infinite sequences of diagrams describing interactions of electrons with spin and charge fluctuations are taken into account. At low temperatures, regions of the negative electron compressibility are found for $μ<0$ and $μ>U$, where $U$ is the Hubbard repulsion. For even lower temperatures, in the neighborhood of these regions, states with the phase separation are revealed.
△ Less
Submitted 8 May, 2019;
originally announced May 2019.
