-
Connections whose differential Galois groups are reductive of maximal degree
Authors:
Masoud Kamgarpour,
Daniel S. Sage
Abstract:
The differential Galois group of an $n^\mathrm{th}$ order linear differential equation is the symmetry group of its solutions; it is an algebraic subgroup of $\mathrm{GL}_n(\mathbb{C})$. More generally, if $G$ is a simple complex algebraic group, the differential Galois group of a $G$-connection is an algebraic subgroup of $G$. A connected reductive subgroup of $G$ is said to have maximal degree i…
▽ More
The differential Galois group of an $n^\mathrm{th}$ order linear differential equation is the symmetry group of its solutions; it is an algebraic subgroup of $\mathrm{GL}_n(\mathbb{C})$. More generally, if $G$ is a simple complex algebraic group, the differential Galois group of a $G$-connection is an algebraic subgroup of $G$. A connected reductive subgroup of $G$ is said to have maximal degree if it has a fundamental degree equal to the Coxeter number of $G$. We give a complete classification of these subgroups and generalise a theorem of Katz on linear differential equations by giving a criterion for the differential Galois group of a $G$-connection to be reductive of maximal degree. As an application, we determine the differential Galois groups of certain $G$-connections that play an important role in recent work on the geometric Langlands program: connections on $\mathbb{G}_m$ with an (irregular) "Coxeter" singularity and possibly an additional regular singular point.
△ Less
Submitted 20 September, 2023;
originally announced September 2023.
-
JDLL: A library to run Deep Learning models on Java bioimage informatics platforms
Authors:
Carlos Garcia Lopez de Haro,
Stephane Dallongeville,
Thomas Musset,
Estibaliz Gomez de Mariscal,
Daniel Sage,
Wei Ouyang,
Arrate Munoz-Barrutia,
Jean-Yves Tinevez,
Jean-Christophe Olivo-Marin
Abstract:
We present JDLL, an agile Java library that offers a comprehensive toolset/API to unify the development of high-end applications of DL for bioimage analysis and to streamline their installation and maintenance. JDLL provides all the functions required to consume DL models seamlessly, without being burdened by the configuration of the Python-based DL frameworks, within Java bioimage informatics pla…
▽ More
We present JDLL, an agile Java library that offers a comprehensive toolset/API to unify the development of high-end applications of DL for bioimage analysis and to streamline their installation and maintenance. JDLL provides all the functions required to consume DL models seamlessly, without being burdened by the configuration of the Python-based DL frameworks, within Java bioimage informatics platforms. Moreover, it allows the deployment of pre-trained models in the Bioimage Model Zoo (BMZ) by shipping the logic to connect to the BMZ website, download and run a selected model inference.
△ Less
Submitted 25 September, 2023; v1 submitted 7 June, 2023;
originally announced June 2023.
-
Explicit constructions of connections on the projective line with a maximally ramified irregular singularity
Authors:
Neal Livesay,
Daniel S. Sage,
Bach Nguyen
Abstract:
The Deligne--Simpson problem is an existence problem for connections with specified local behavior. Almost all previous work on this problem has restricted attention to connections with regular or unramified singularities. Recently, the authors, together with Kulkarni and Matherne, formulated a version of the Deligne--Simpson problem where certain ramified singular points are allowed and solved it…
▽ More
The Deligne--Simpson problem is an existence problem for connections with specified local behavior. Almost all previous work on this problem has restricted attention to connections with regular or unramified singularities. Recently, the authors, together with Kulkarni and Matherne, formulated a version of the Deligne--Simpson problem where certain ramified singular points are allowed and solved it for the case of Coxeter connections, i.e., connections on the Riemann sphere with a maximally ramified singularity at zero and (possibly) an additional regular singular point at infinity. A certain matrix completion problem, which we call the Upper Nilpotent Completion Problem, plays a key role in our solution. This problem was solved by Krupnik and Leibman, but their work does not provide a practical way of constructing explicit matrix completions. Accordingly, our previous work does not give explicit Coxeter connections with specified singularities. In this paper, we provide a numerically stable and highly efficient algorithm for producing upper nilpotent completions of certain matrices that arise in the theory of Coxeter connections. Moreover, we show how the matrices generated by this algorithm can be used to provide explicit constructions of Coxeter connections with arbitrary unipotent monodromy in each case that such a connection exists.
△ Less
Submitted 12 March, 2023;
originally announced March 2023.
-
Roadmap on Deep Learning for Microscopy
Authors:
Giovanni Volpe,
Carolina Wählby,
Lei Tian,
Michael Hecht,
Artur Yakimovich,
Kristina Monakhova,
Laura Waller,
Ivo F. Sbalzarini,
Christopher A. Metzler,
Mingyang Xie,
Kevin Zhang,
Isaac C. D. Lenton,
Halina Rubinsztein-Dunlop,
Daniel Brunner,
Bijie Bai,
Aydogan Ozcan,
Daniel Midtvedt,
Hao Wang,
Nataša Sladoje,
Joakim Lindblad,
Jason T. Smith,
Marien Ochoa,
Margarida Barroso,
Xavier Intes,
Tong Qiu
, et al. (50 additional authors not shown)
Abstract:
Through digital imaging, microscopy has evolved from primarily being a means for visual observation of life at the micro- and nano-scale, to a quantitative tool with ever-increasing resolution and throughput. Artificial intelligence, deep neural networks, and machine learning are all niche terms describing computational methods that have gained a pivotal role in microscopy-based research over the…
▽ More
Through digital imaging, microscopy has evolved from primarily being a means for visual observation of life at the micro- and nano-scale, to a quantitative tool with ever-increasing resolution and throughput. Artificial intelligence, deep neural networks, and machine learning are all niche terms describing computational methods that have gained a pivotal role in microscopy-based research over the past decade. This Roadmap is written collectively by prominent researchers and encompasses selected aspects of how machine learning is applied to microscopy image data, with the aim of gaining scientific knowledge by improved image quality, automated detection, segmentation, classification and tracking of objects, and efficient merging of information from multiple imaging modalities. We aim to give the reader an overview of the key developments and an understanding of possibilities and limitations of machine learning for microscopy. It will be of interest to a wide cross-disciplinary audience in the physical sciences and life sciences.
△ Less
Submitted 7 March, 2023;
originally announced March 2023.
-
Meromorphic connections on the projective line with specified local behavior
Authors:
Daniel S. Sage
Abstract:
A meromorphic connection on the complex projective line induces formal connections at each singular point, and these formal connections constitute the local behavior at the singularities. In this primarily expository paper, we discuss the extent to which specified local behavior at singular points determines the global connection. In particular, given a finite set of points and a collection of ``f…
▽ More
A meromorphic connection on the complex projective line induces formal connections at each singular point, and these formal connections constitute the local behavior at the singularities. In this primarily expository paper, we discuss the extent to which specified local behavior at singular points determines the global connection. In particular, given a finite set of points and a collection of ``formal types'' at these points, does there exist a moduli space of meromorphic connections with this local behavior, and if so, when is this moduli space nonempty or a singleton? In this paper, we discuss variants of these problems (for example, the Deligne--Simpson and rigidity problems) as the allowed singularities get progressively more complicated: first connections with only regular singularities, next connections with additional unramified irregular singularities allowed, and finally the general case.
△ Less
Submitted 28 December, 2022;
originally announced December 2022.
-
Biomedical image analysis competitions: The state of current participation practice
Authors:
Matthias Eisenmann,
Annika Reinke,
Vivienn Weru,
Minu Dietlinde Tizabi,
Fabian Isensee,
Tim J. Adler,
Patrick Godau,
Veronika Cheplygina,
Michal Kozubek,
Sharib Ali,
Anubha Gupta,
Jan Kybic,
Alison Noble,
Carlos Ortiz de Solórzano,
Samiksha Pachade,
Caroline Petitjean,
Daniel Sage,
Donglai Wei,
Elizabeth Wilden,
Deepak Alapatt,
Vincent Andrearczyk,
Ujjwal Baid,
Spyridon Bakas,
Niranjan Balu,
Sophia Bano
, et al. (331 additional authors not shown)
Abstract:
The number of international benchmarking competitions is steadily increasing in various fields of machine learning (ML) research and practice. So far, however, little is known about the common practice as well as bottlenecks faced by the community in tackling the research questions posed. To shed light on the status quo of algorithm development in the specific field of biomedical imaging analysis,…
▽ More
The number of international benchmarking competitions is steadily increasing in various fields of machine learning (ML) research and practice. So far, however, little is known about the common practice as well as bottlenecks faced by the community in tackling the research questions posed. To shed light on the status quo of algorithm development in the specific field of biomedical imaging analysis, we designed an international survey that was issued to all participants of challenges conducted in conjunction with the IEEE ISBI 2021 and MICCAI 2021 conferences (80 competitions in total). The survey covered participants' expertise and working environments, their chosen strategies, as well as algorithm characteristics. A median of 72% challenge participants took part in the survey. According to our results, knowledge exchange was the primary incentive (70%) for participation, while the reception of prize money played only a minor role (16%). While a median of 80 working hours was spent on method development, a large portion of participants stated that they did not have enough time for method development (32%). 25% perceived the infrastructure to be a bottleneck. Overall, 94% of all solutions were deep learning-based. Of these, 84% were based on standard architectures. 43% of the respondents reported that the data samples (e.g., images) were too large to be processed at once. This was most commonly addressed by patch-based training (69%), downsampling (37%), and solving 3D analysis tasks as a series of 2D tasks. K-fold cross-validation on the training set was performed by only 37% of the participants and only 50% of the participants performed ensembling based on multiple identical models (61%) or heterogeneous models (39%). 48% of the respondents applied postprocessing steps.
△ Less
Submitted 12 September, 2023; v1 submitted 16 December, 2022;
originally announced December 2022.
-
Opers on the projective line, Wronskian relations, and the Bethe Ansatz
Authors:
Ty J. Brinson,
Daniel S. Sage,
Anton M. Zeitlin
Abstract:
It is well-known that the spectra of the Gaudin model may be described in terms of solutions of the Bethe Ansatz equations. A conceptual explanation for the appearance of the Bethe Ansatz equations is provided by appropriate $G$-opers: $G$-connections on the projective line with extra structure. In fact, solutions of the Bethe Ansatz equations are parameterized by an enhanced version of opers call…
▽ More
It is well-known that the spectra of the Gaudin model may be described in terms of solutions of the Bethe Ansatz equations. A conceptual explanation for the appearance of the Bethe Ansatz equations is provided by appropriate $G$-opers: $G$-connections on the projective line with extra structure. In fact, solutions of the Bethe Ansatz equations are parameterized by an enhanced version of opers called Miura opers; here, the opers appearing have only regular singularities. Feigin, Frenkel, Rybnikov, and Toledano Laredo have introduced an inhomogeneous version of the Gaudin model; this model incorporates an additional twist factor, which is an element of the Lie algebra of $G$. They exhibited the Bethe Ansatz equations for this model and gave a geometric interpretation of the spectra in terms of opers with an irregular singularity. In this paper, we consider a new approach to the study of the spectra of the inhomogeneous Gaudin model in terms of a further enhancement of opers called twisted Miura-Plücker opers and a certain system of nonlinear differential equations called the $qq$-system. We show that there is a close relationship between solutions of the inhomogeneous Bethe Ansatz equations and polynomial solutions of the $qq$-system and use this fact to construct a bijection between the set of solutions of the inhomogeneous Bethe Ansatz equations and the set of nondegenerate twisted Miura-Plücker opers. We further prove that as long as certain combinatorial conditions are satisfied, nondegenerate twisted Miura-Plücker opers are in fact Miura opers.
△ Less
Submitted 6 November, 2022; v1 submitted 5 December, 2021;
originally announced December 2021.
-
The Deligne-Simpson problem for connections on $\mathbb{G}_m$ with a maximally ramified singularity
Authors:
Maitreyee C. Kulkarni,
Neal Livesay,
Jacob P. Matherne,
Bach Nguyen,
Daniel S. Sage
Abstract:
The classical additive Deligne-Simpson problem is the existence problem for Fuchsian connections with residues at the singular points in specified adjoint orbits. Crawley-Boevey found the solution in 2003 by reinterpreting the problem in terms of quiver varieties. A more general version of this problem, solved by Hiroe, allows additional unramified irregular singularities. We apply the theory of f…
▽ More
The classical additive Deligne-Simpson problem is the existence problem for Fuchsian connections with residues at the singular points in specified adjoint orbits. Crawley-Boevey found the solution in 2003 by reinterpreting the problem in terms of quiver varieties. A more general version of this problem, solved by Hiroe, allows additional unramified irregular singularities. We apply the theory of fundamental and regular strata due to Bremer and Sage to formulate a version of the Deligne-Simpson problem in which certain ramified singularities are allowed. These allowed singular points are called toral singularities; they are singularities whose leading term with respect to a lattice chain filtration is regular semisimple. We solve this problem in the important special case of connections on $\mathbb{G}_m$ with a maximally ramified singularity at $0$ and possibly an additional regular singular point at infinity. We also give a complete characterization of all such connections which are rigid, under the additional hypothesis of unipotent monodromy at infinity.
△ Less
Submitted 19 July, 2022; v1 submitted 24 August, 2021;
originally announced August 2021.
-
Optimal-transport-based metric for SMLM
Authors:
Quentin Denoyelle,
Thanh-an Pham,
Pol del Aguila Pla,
Daniel Sage,
Michael Unser
Abstract:
We propose the use of Flat Metric to assess the performance of reconstruction methods for single-molecule localization microscopy (SMLM) in scenarios where the ground-truth is available. Flat Metric is intimately related to the concept of optimal transport between measures of different mass, providing solid mathematical foundations for SMLM evaluation and integrating both localization and detectio…
▽ More
We propose the use of Flat Metric to assess the performance of reconstruction methods for single-molecule localization microscopy (SMLM) in scenarios where the ground-truth is available. Flat Metric is intimately related to the concept of optimal transport between measures of different mass, providing solid mathematical foundations for SMLM evaluation and integrating both localization and detection performance. In this paper, we provide the foundations of Flat Metric and validate this measure by applying it to controlled synthetic examples and to data from the SMLM 2016 Challenge.
△ Less
Submitted 6 February, 2021; v1 submitted 26 October, 2020;
originally announced October 2020.
-
Citations versus expert opinions: Citation analysis of Featured Reviews of the American Mathematical Society
Authors:
Lawrence Smolinsky,
Daniel S. Sage,
Aaron J. Lercher,
Aaron Cao
Abstract:
Peer review and citation metrics are two means of gauging the value of scientific research, but the lack of publicly available peer review data makes the comparison of these methods difficult. Mathematics can serve as a useful laboratory for considering these questions because as an exact science, there is a narrow range of reasons for citations. In mathematics, virtually all published articles ar…
▽ More
Peer review and citation metrics are two means of gauging the value of scientific research, but the lack of publicly available peer review data makes the comparison of these methods difficult. Mathematics can serve as a useful laboratory for considering these questions because as an exact science, there is a narrow range of reasons for citations. In mathematics, virtually all published articles are post-publication reviewed by mathematicians in Mathematical Reviews (MathSciNet) and so the data set was essentially the Web of Science mathematics publications from 1993 to 2004. For a decade, especially important articles were singled out in Mathematical Reviews for featured reviews. In this study, we analyze the bibliometrics of elite articles selected by peer review and by citation count. We conclude that the two notions of significance described by being a featured review article and being highly cited are distinct. This indicates that peer review and citation counts give largely independent determinations of highly distinguished articles. We also consider whether hiring patterns of subfields and mathematicians' interest in subfields reflect subfields of featured review or highly cited articles. We reexamine data from two earlier studies in light of our methods for implications on the peer review/citation count relationship to a diversity of disciplines.
△ Less
Submitted 16 December, 2020; v1 submitted 11 May, 2020;
originally announced May 2020.
-
W2S: Microscopy Data with Joint Denoising and Super-Resolution for Widefield to SIM Mapping
Authors:
Ruofan Zhou,
Majed El Helou,
Daniel Sage,
Thierry Laroche,
Arne Seitz,
Sabine Süsstrunk
Abstract:
In fluorescence microscopy live-cell imaging, there is a critical trade-off between the signal-to-noise ratio and spatial resolution on one side, and the integrity of the biological sample on the other side. To obtain clean high-resolution (HR) images, one can either use microscopy techniques, such as structured-illumination microscopy (SIM), or apply denoising and super-resolution (SR) algorithms…
▽ More
In fluorescence microscopy live-cell imaging, there is a critical trade-off between the signal-to-noise ratio and spatial resolution on one side, and the integrity of the biological sample on the other side. To obtain clean high-resolution (HR) images, one can either use microscopy techniques, such as structured-illumination microscopy (SIM), or apply denoising and super-resolution (SR) algorithms. However, the former option requires multiple shots that can damage the samples, and although efficient deep learning based algorithms exist for the latter option, no benchmark exists to evaluate these algorithms on the joint denoising and SR (JDSR) tasks. To study JDSR on microscopy data, we propose such a novel JDSR dataset, Widefield2SIM (W2S), acquired using a conventional fluorescence widefield and SIM imaging. W2S includes 144,000 real fluorescence microscopy images, resulting in a total of 360 sets of images. A set is comprised of noisy low-resolution (LR) widefield images with different noise levels, a noise-free LR image, and a corresponding high-quality HR SIM image. W2S allows us to benchmark the combinations of 6 denoising methods and 6 SR methods. We show that state-of-the-art SR networks perform very poorly on noisy inputs. Our evaluation also reveals that applying the best denoiser in terms of reconstruction error followed by the best SR method does not necessarily yield the best final result. Both quantitative and qualitative results show that SR networks are sensitive to noise and the sequential application of denoising and SR algorithms is sub-optimal. Lastly, we demonstrate that SR networks retrained end-to-end for JDSR outperform any combination of state-of-the-art deep denoising and SR networks
△ Less
Submitted 24 August, 2020; v1 submitted 12 March, 2020;
originally announced March 2020.
-
q-Opers, QQ-Systems, and Bethe Ansatz
Authors:
Edward Frenkel,
Peter Koroteev,
Daniel S. Sage,
Anton M. Zeitlin
Abstract:
We introduce the notions of $(G,q)$-opers and Miura $(G,q)$-opers, where $G$ is a simply-connected complex simple Lie group, and prove some general results about their structure. We then establish a one-to-one correspondence between the set of $(G,q)$-opers of a certain kind and the set of nondegenerate solutions of a system of Bethe Ansatz equations. This may be viewed as a $q$DE/IM correspondenc…
▽ More
We introduce the notions of $(G,q)$-opers and Miura $(G,q)$-opers, where $G$ is a simply-connected complex simple Lie group, and prove some general results about their structure. We then establish a one-to-one correspondence between the set of $(G,q)$-opers of a certain kind and the set of nondegenerate solutions of a system of Bethe Ansatz equations. This may be viewed as a $q$DE/IM correspondence between the spectra of a quantum integrable model (IM) and classical geometric objects ($q$-differential equations). If $\mathfrak{g}$ is simply-laced, the Bethe Ansatz equations we obtain coincide with the equations that appear in the quantum integrable model of XXZ-type associated to the quantum affine algebra $U_q \widehat{\mathfrak{g}}$. However, if $\mathfrak{g}$ is non-simply laced, then these equations correspond to a different integrable model, associated to $U_q {}^L\widehat{\mathfrak{g}}$ where $^L\widehat{\mathfrak{g}}$ is the Langlands dual (twisted) affine algebra. A key element in this $q$DE/IM correspondence is the $QQ$-system that has appeared previously in the study of the ODE/IM correspondence and the Grothendieck ring of the category ${\mathcal O}$ of the relevant quantum affine algebra.
△ Less
Submitted 24 October, 2020; v1 submitted 17 February, 2020;
originally announced February 2020.
-
Rigid connections on $\mathbb{P}^1$ via the Bruhat-Tits building
Authors:
Masoud Kamgarpour,
Daniel S. Sage
Abstract:
We apply the theory of fundamental strata of Bremer and Sage to find cohomologically rigid $G$-connections on the projective line, generalising the work of Frenkel and Gross. In this theory, one studies the leading term of a formal connection with respect to the Moy-Prasad filtration associated to a point in the Bruhat-Tits building. If the leading term is regular semisimple with centraliser a (no…
▽ More
We apply the theory of fundamental strata of Bremer and Sage to find cohomologically rigid $G$-connections on the projective line, generalising the work of Frenkel and Gross. In this theory, one studies the leading term of a formal connection with respect to the Moy-Prasad filtration associated to a point in the Bruhat-Tits building. If the leading term is regular semisimple with centraliser a (not necessarily split) maximal torus $S$, then we have an $S$-toral connection. In this language, the irregular singularity of the Frenkel-Gross connection gives rise to the homogenous toral connection of minimal slope associated to the Coxeter torus $\mathcal{C}$. In the present paper, we consider connections on $\mathbb{G}_m$ which have an irregular homogeneous $\mathcal{C}$-toral singularity at zero of slope $i/h$, where $h$ is the Coxeter number and $i$ is a positive integer coprime to $h$, and a regular singularity at infinity with unipotent monodromy. Our main result is the characterisation of all such connections which are rigid.
△ Less
Submitted 19 May, 2020; v1 submitted 30 September, 2019;
originally announced October 2019.
-
Pocket Guide to Solve Inverse Problems with GlobalBioIm
Authors:
Emmanuel Soubies,
Ferréol Soulez,
Michael T. McCann,
Thanh-an Pham,
Laurène Donati,
Thomas Debarre,
Daniel Sage,
Michael Unser
Abstract:
GlobalBioIm is an open-source MATLAB library for solving inverse problems. The library capitalizes on the strong commonalities between forward models to standardize the resolution of a wide range of imaging inverse problems. Endowed with an operator-algebra mechanism, GlobalBioIm allows one to easily solve inverse problems by combining elementary modules in a lego-like fashion. This user-friendly…
▽ More
GlobalBioIm is an open-source MATLAB library for solving inverse problems. The library capitalizes on the strong commonalities between forward models to standardize the resolution of a wide range of imaging inverse problems. Endowed with an operator-algebra mechanism, GlobalBioIm allows one to easily solve inverse problems by combining elementary modules in a lego-like fashion. This user-friendly toolbox gives access to cutting-edge reconstruction algorithms, while its high modularity makes it easily extensible to new modalities and novel reconstruction methods. We expect GlobalBioIm to respond to the needs of imaging scientists looking for reliable and easy-to-use computational tools for solving their inverse problems. In this paper, we present in detail the structure and main features of the library. We also illustrate its flexibility with examples from multichannel deconvolution microscopy.
△ Less
Submitted 7 January, 2019; v1 submitted 19 December, 2018;
originally announced December 2018.
-
$(SL(N),q)$-opers, the $q$-Langlands correspondence, and quantum/classical duality
Authors:
Peter Koroteev,
Daniel S. Sage,
Anton M. Zeitlin
Abstract:
A special case of the geometric Langlands correspondence is given by the relationship between solutions of the Bethe ansatz equations for the Gaudin model and opers - connections on the projective line with extra structure. In this paper, we describe a deformation of this correspondence for $SL(N)$. We introduce a difference equation version of opers called $q$-opers and prove a $q$-Langlands corr…
▽ More
A special case of the geometric Langlands correspondence is given by the relationship between solutions of the Bethe ansatz equations for the Gaudin model and opers - connections on the projective line with extra structure. In this paper, we describe a deformation of this correspondence for $SL(N)$. We introduce a difference equation version of opers called $q$-opers and prove a $q$-Langlands correspondence between nondegenerate solutions of the Bethe ansatz equations for the XXZ model and nondegenerate twisted $q$-opers with regular singularities on the projective line. We show that the quantum/classical duality between the XXZ spin chain and the trigonometric Ruijsenaars-Schneider model may be viewed as a special case of the $q$-Langlands correspondence. We also describe an application of $q$-opers to the equivariant quantum $K$-theory of the cotangent bundles to partial flag varieties.
△ Less
Submitted 9 September, 2020; v1 submitted 24 November, 2018;
originally announced November 2018.
-
Micrometer-scale Magnetic Imaging of Geological Samples Using a Quantum Diamond Microscope
Authors:
David R. Glenn,
Roger R. Fu,
Pauli Kehayias,
David Le Sage,
Eduardo A. Lima,
Benjamin P. Weiss,
Ronald L. Walsworth
Abstract:
Remanent magnetization in geological samples may record the past intensity and direction of planetary magnetic fields. Traditionally, this magnetization is analyzed through measurements of the net magnetic moment of bulk millimeter to centimeter sized samples. However, geological samples are often mineralogically and texturally heterogeneous at submillimeter scales, with only a fraction of the fer…
▽ More
Remanent magnetization in geological samples may record the past intensity and direction of planetary magnetic fields. Traditionally, this magnetization is analyzed through measurements of the net magnetic moment of bulk millimeter to centimeter sized samples. However, geological samples are often mineralogically and texturally heterogeneous at submillimeter scales, with only a fraction of the ferromagnetic grains carrying the remanent magnetization of interest. Therefore, characterizing this magnetization in such cases requires a technique capable of imaging magnetic fields at fine spatial scales and with high sensitivity. To address this challenge, we developed a new instrument, based on nitrogen-vacancy centers in diamond, which enables direct imaging of magnetic fields due to both remanent and induced magnetization, as well as optical imaging, of room-temperature geological samples with spatial resolution approaching the optical diffraction limit. We describe the operating principles of this device, which we call the quantum diamond microscope (QDM), and report its optimized image-area-normalized magnetic field sensitivity (20 uT.um/Hz^1/2), spatial resolution (5 um), and field of view (4 mm), as well as trade-offs between these parameters. We also perform an absolute magnetic field calibration for the device in different modes of operation, including three-axis (vector) and single-axis (projective) magnetic field imaging. Finally, we use the QDM to obtain magnetic images of several terrestrial and meteoritic rock samples, demonstrating its ability to resolve spatially distinct populations of ferromagnetic carriers.
△ Less
Submitted 20 July, 2017;
originally announced July 2017.
-
Investigating the inner structure of focal adhesions with single-molecule localization microscopy
Authors:
Hendrik Deschout,
Ilia Platzman,
Daniel Sage,
Lely Feletti,
Joachim P. Spatz,
Aleksandra Radenovic
Abstract:
Cells rely on focal adhesions (FAs) to carry out a variety of important tasks, including motion, environmental sensing, and adhesion to the extracellular matrix. Although attaining a fundamental characterization of FAs is a compelling goal, their extensive complexity and small size, which can be below the diffraction limit, have hindered a full understanding. In this study we have used single-mole…
▽ More
Cells rely on focal adhesions (FAs) to carry out a variety of important tasks, including motion, environmental sensing, and adhesion to the extracellular matrix. Although attaining a fundamental characterization of FAs is a compelling goal, their extensive complexity and small size, which can be below the diffraction limit, have hindered a full understanding. In this study we have used single-molecule localization microscopy (SMLM) to investigate integrin $β$3 and paxillin in rat embryonic fibroblasts growing on two different extracellular matrix-representing substrates (i.e. fibronectin-coated substrates and specifically bio-functionalized nano-patterned substrates). To quantify the substructure of FAs, we developed a method based on expectation maximization of a Gaussian mixture that accounts for localization uncertainty and background. Analysis of our SMLM data indicates that the structures within FAs, characterized as a Gaussian mixture, typically have areas between 0.01 and 1 $μ$m$^2$, contain 10 to 100 localizations, and can exhibit substantial eccentricity. Our approach based on SMLM opens new avenues for studying structural and functional biology of molecular assemblies that display substantial varieties in size, shape, and density.
△ Less
Submitted 23 May, 2017;
originally announced May 2017.
-
A geometric analogue of a conjecture of Gross and Reeder
Authors:
Masoud Kamgarpour,
Daniel S. Sage
Abstract:
Let G be a simple complex algebraic group. We prove that the irregularity of the adjoint connection of an irregular flat G-bundle on the formal punctured disk is always greater than or equal to the rank of G. This can be considered as a geometric analogue of a conjecture of Gross and Reeder. We will also show that the irregular connections with minimum adjoint irregularity are precisely the (forma…
▽ More
Let G be a simple complex algebraic group. We prove that the irregularity of the adjoint connection of an irregular flat G-bundle on the formal punctured disk is always greater than or equal to the rank of G. This can be considered as a geometric analogue of a conjecture of Gross and Reeder. We will also show that the irregular connections with minimum adjoint irregularity are precisely the (formal) Frenkel-Gross connections.
△ Less
Submitted 7 May, 2019; v1 submitted 2 June, 2016;
originally announced June 2016.
-
On The Continuous Steering of the Scale of Tight Wavelet Frames
Authors:
Zsuzsanna Püspöki,
John Paul Ward,
Daniel Sage,
Michael Unser
Abstract:
In analogy with steerable wavelets, we present a general construction of adaptable tight wavelet frames, with an emphasis on scaling operations. In particular, the derived wavelets can be "dilated" by a procedure comparable to the operation of steering steerable wavelets. The fundamental aspects of the construction are the same: an admissible collection of Fourier multipliers is used to extend a t…
▽ More
In analogy with steerable wavelets, we present a general construction of adaptable tight wavelet frames, with an emphasis on scaling operations. In particular, the derived wavelets can be "dilated" by a procedure comparable to the operation of steering steerable wavelets. The fundamental aspects of the construction are the same: an admissible collection of Fourier multipliers is used to extend a tight wavelet frame, and the "scale" of the wavelets is adapted by scaling the multipliers. As an application, the proposed wavelets can be used to improve the frequency localization. Importantly, the localized frequency bands specified by this construction can be scaled efficiently using matrix multiplication.
△ Less
Submitted 7 December, 2015;
originally announced December 2015.
-
Power-law distributions, the h-index, and Google Scholar (GS) citations: a test of their relationship with economics Nobelists
Authors:
Stephen J. Bensman,
Alice Daugherty,
Lawrence J. Smolinsky,
Daniel S. Sage,
J. Sylvan Katz
Abstract:
This paper presents proof that Google Scholar (GS) can construct documentary sets relevant for evaluating researchers' works. Nobelists in economics were the researchers under analysis, and two types of tests of the GS cites to their works were performed: distributional and semantic. Distributional tests found that the GS cites to the laureates' works conformed to the power-law model with an asymp…
▽ More
This paper presents proof that Google Scholar (GS) can construct documentary sets relevant for evaluating researchers' works. Nobelists in economics were the researchers under analysis, and two types of tests of the GS cites to their works were performed: distributional and semantic. Distributional tests found that the GS cites to the laureates' works conformed to the power-law model with an asymptote or "tail" conterminous with their h-index demarcating their core oeuvre, validating both GS and the h-index. Semantic tests revealed that their works highest in GS cites were on topics for which they were awarded the prize.
△ Less
Submitted 4 November, 2014;
originally announced November 2014.
-
Comparison of the Research Effectiveness of Chemistry Nobelists and Fields Medalist Mathematicians with Google Scholar: the Yule-Simon Model
Authors:
Stephen J. Bensman,
Lawrence J. Smolinsky,
Daniel S. Sage
Abstract:
This paper uses the Yule-Simon model to estimate to what extent the work of chemistry Nobelists and Fields medalist mathematicians is incorporated into the knowledge corpus of their disciplines as measured by Google Scholar inlinks. Due to differences in the disciplines and prizes, it finds that the work of chemistry Nobelists is better incorporated than that of Fields medalists.
This paper uses the Yule-Simon model to estimate to what extent the work of chemistry Nobelists and Fields medalist mathematicians is incorporated into the knowledge corpus of their disciplines as measured by Google Scholar inlinks. Due to differences in the disciplines and prizes, it finds that the work of chemistry Nobelists is better incorporated than that of Fields medalists.
△ Less
Submitted 18 April, 2014;
originally announced April 2014.
-
Twisted Exponents and Twisted Frobenius-Schur Indicators for Hopf Algebras
Authors:
Daniel S. Sage,
Maria D. Vega
Abstract:
Classically, the exponent of a group is the least common multiple of the orders of its elements. This notion was generalized by Etingof and Gelaki to the context of Hopf algebras. Kashina, Sommerhauser and Zhu later observed that there is a strong connection between exponents and Frobenius-Schur indicators. In this paper, we introduce the notion of twisted exponents and show that there is a simila…
▽ More
Classically, the exponent of a group is the least common multiple of the orders of its elements. This notion was generalized by Etingof and Gelaki to the context of Hopf algebras. Kashina, Sommerhauser and Zhu later observed that there is a strong connection between exponents and Frobenius-Schur indicators. In this paper, we introduce the notion of twisted exponents and show that there is a similar relationship between the twisted exponent and the twisted Frobenius-Schur indicators defined in previous work of the authors. In particular, we exhibit a new formula for the twisted Frobenius-Schur indicators and use it to prove periodicity and rationality statements for the twisted indicators.
△ Less
Submitted 27 January, 2015; v1 submitted 20 February, 2014;
originally announced February 2014.
-
Flat G-bundles and regular strata for reductive groups
Authors:
Christopher L. Bremer,
Daniel S. Sage
Abstract:
Let LG be an algebraic loop group associated to a reductive group G. A fundamental stratum is a triple consisting of a point x in the Bruhat-Tits building of LG, a nonnegative real number r, and a character of the corresponding depth r Moy-Prasad subgroup that satisfies a non-degeneracy condition. The authors have shown in previous work how to associate a fundamental stratum to a formal flat G-bun…
▽ More
Let LG be an algebraic loop group associated to a reductive group G. A fundamental stratum is a triple consisting of a point x in the Bruhat-Tits building of LG, a nonnegative real number r, and a character of the corresponding depth r Moy-Prasad subgroup that satisfies a non-degeneracy condition. The authors have shown in previous work how to associate a fundamental stratum to a formal flat G-bundle and used this theory to define its slope. In this paper, the authors study fundamental strata that satisfy an additional regular semisimplicity condition. Flat G-bundles that contain regular strata have a natural reduction of structure to a (not necessarily split) maximal torus in LG, and the authors use this property to compute the corresponding moduli spaces. This theory generalizes a natural condition on algebraic connections (the GL_n case), which plays an important role in the global analysis of meromorphic connections and isomonodromic deformations.
△ Less
Submitted 24 September, 2013;
originally announced September 2013.
-
A theory of minimal K-types for flat G-bundles
Authors:
Christopher L. Bremer,
Daniel S. Sage
Abstract:
The theory of minimal K-types for p-adic reductive groups was developed in part to classify irreducible admissible representations with wild ramification. An important observation was that minimal K-types associated to such representations correspond to fundamental strata. These latter objects are triples (x, r, beta), where x is a point in the Bruhat-Tits building of the reductive group G, r is a…
▽ More
The theory of minimal K-types for p-adic reductive groups was developed in part to classify irreducible admissible representations with wild ramification. An important observation was that minimal K-types associated to such representations correspond to fundamental strata. These latter objects are triples (x, r, beta), where x is a point in the Bruhat-Tits building of the reductive group G, r is a nonnegative real number, and beta is a semistable functional on the degree r associated graded piece of the Moy-Prasad filtration corresponding to x.
Recent work on the wild ramification case of the geometric Langlands conjectures suggests that fundamental strata also play a role in the geometric setting. In this paper, we develop a theory of minimal K-types for formal flat G-bundles. We show that any formal flat G-bundle contains a fundamental stratum; moreover, all such strata have the same rational depth. We thus obtain a new invariant of a flat G-bundle called the slope, generalizing the classical definition for flat connections. The slope can also be realized as the minimum depth of a stratum contained in the flat G-bundle, and in the case of positive slope, all such minimal depth strata are fundamental. Finally, we show that a flat G-bundle is irregular singular if and only if it has positive slope.
△ Less
Submitted 30 December, 2016; v1 submitted 13 June, 2013;
originally announced June 2013.
-
Dressed-State Polarization Transfer between Bright & Dark Spins in Diamond
Authors:
Chinmay Belthangady,
N. Bar-Gill,
L. M. Pham,
K. Arai,
D. Le Sage,
P. Cappellaro,
R. L. Walsworth
Abstract:
Under ambient conditions, spin impurities in solid-state systems are found in thermally-mixed states and are optically "dark", i.e., the spin states cannot be optically controlled. Nitrogen-vacancy (NV) centers in diamond are an exception in that the electronic spin states are "bright", i.e., they can be polarized by optical pumping, coherently manipulated with spin-resonance techniques, and read…
▽ More
Under ambient conditions, spin impurities in solid-state systems are found in thermally-mixed states and are optically "dark", i.e., the spin states cannot be optically controlled. Nitrogen-vacancy (NV) centers in diamond are an exception in that the electronic spin states are "bright", i.e., they can be polarized by optical pumping, coherently manipulated with spin-resonance techniques, and read out optically, all at room temperature. Here we demonstrate a dressed-state, double-resonance scheme to transfer polarization from bright NV electronic spins to dark substitutional-Nitrogen (P1) electronic spins in diamond. This polarization-transfer mechanism could be used to cool a mesoscopic bath of dark spins to near-zero temperature, thus providing a resource for quantum information and sensing, and aiding studies of quantum effects in many-body spin systems.
△ Less
Submitted 12 November, 2012;
originally announced November 2012.
-
Enhanced metrology using preferential orientation of nitrogen-vacancy centers in diamond
Authors:
L. M. Pham,
N. Bar-Gill,
D. Le Sage,
A. Stacey,
M. Markham,
D. J. Twitchen,
M. D. Lukin,
R. L. Walsworth
Abstract:
We demonstrate preferential orientation of nitrogen-vacancy (NV) color centers along two of four possible crystallographic axes in diamonds grown by chemical vapor deposition on the {100} face. We identify the relevant growth regime and present a possible explanation of this effect. We show that preferential orientation provides increased optical read-out contrast for NV multi-spin measurements, i…
▽ More
We demonstrate preferential orientation of nitrogen-vacancy (NV) color centers along two of four possible crystallographic axes in diamonds grown by chemical vapor deposition on the {100} face. We identify the relevant growth regime and present a possible explanation of this effect. We show that preferential orientation provides increased optical read-out contrast for NV multi-spin measurements, including enhanced AC magnetic field sensitivity, thus providing an important step towards high fidelity multi-spin-qubit quantum information processing, sensing and metrology.
△ Less
Submitted 13 July, 2012;
originally announced July 2012.
-
Magnetic field imaging with NV ensembles
Authors:
L. M. Pham,
D. Le Sage,
P. L. Stanwix,
T. K. Yeung,
D. Glenn,
A. Trifonov,
P. Cappellaro,
P. R. Hemmer,
M. D. Lukin,
H. Park,
A. Yacoby,
R. L. Walsworth
Abstract:
We demonstrate a method of imaging spatially varying magnetic fields using a thin layer of nitrogen-vacancy (NV) centers at the surface of a diamond chip. Fluorescence emitted by the two-dimensional NV ensemble is detected by a CCD array, from which a vector magnetic field pattern is reconstructed. As a demonstration, AC current is passed through wires placed on the diamond chip surface, and the r…
▽ More
We demonstrate a method of imaging spatially varying magnetic fields using a thin layer of nitrogen-vacancy (NV) centers at the surface of a diamond chip. Fluorescence emitted by the two-dimensional NV ensemble is detected by a CCD array, from which a vector magnetic field pattern is reconstructed. As a demonstration, AC current is passed through wires placed on the diamond chip surface, and the resulting AC magnetic field patterns are imaged using an echo-based technique with sub-micron resolution over a 140 μm x 140 μm field of view, giving single-pixel sensitivity ~100 nT/\sqrt{Hz}. We discuss ongoing efforts to further improve sensitivity and potential bioimaging applications such as real-time imaging of activity in functional, cultured networks of neurons.
△ Less
Submitted 13 July, 2012;
originally announced July 2012.
-
Atomistic subsemirings of the lattice of subspaces of an algebra
Authors:
Daniel S. Sage
Abstract:
Let A be an associative algebra with identity over a field k. An atomistic subsemiring R of the lattice of subspaces of A, endowed with the natural product, is a subsemiring which is a closed atomistic sublattice. When R has no zero divisors, the set of atoms of R is endowed with a multivalued product. We introduce an equivalence relation on the set of atoms such that the quotient set with the ind…
▽ More
Let A be an associative algebra with identity over a field k. An atomistic subsemiring R of the lattice of subspaces of A, endowed with the natural product, is a subsemiring which is a closed atomistic sublattice. When R has no zero divisors, the set of atoms of R is endowed with a multivalued product. We introduce an equivalence relation on the set of atoms such that the quotient set with the induced product is a monoid, called the condensation monoid. Under suitable hypotheses on R, we show that this monoid is a group and the class of k1_A is the set of atoms of a subalgebra of A called the focal subalgebra. This construction can be iterated to obtain higher condensation groups and focal subalgebras. We apply these results to G-algebras for G a group; in particular, we use them to define new invariants for finite-dimensional irreducible projective representations.
△ Less
Submitted 4 March, 2012;
originally announced March 2012.
-
Enhanced solid-state multi-spin metrology using dynamical decoupling
Authors:
L. M. Pham,
N. Bar-Gill,
C. Belthangady,
D. Le Sage,
P. Cappellaro,
M. D. Lukin,
A. Yacoby,
R. L. Walsworth
Abstract:
We use multi-pulse dynamical decoupling to increase the coherence lifetime (T2) of large numbers of nitrogen-vacancy (NV) electronic spins in room temperature diamond, thus enabling scalable applications of multi-spin quantum information processing and metrology. We realize an order-of-magnitude extension of the NV multi-spin T2 for diamond samples with widely differing spin environments. For samp…
▽ More
We use multi-pulse dynamical decoupling to increase the coherence lifetime (T2) of large numbers of nitrogen-vacancy (NV) electronic spins in room temperature diamond, thus enabling scalable applications of multi-spin quantum information processing and metrology. We realize an order-of-magnitude extension of the NV multi-spin T2 for diamond samples with widely differing spin environments. For samples with nitrogen impurity concentration <~1 ppm, we find T2 > 2 ms, comparable to the longest coherence time reported for single NV centers, and demonstrate a ten-fold enhancement in NV multi-spin sensing of AC magnetic fields.
△ Less
Submitted 30 January, 2012; v1 submitted 26 January, 2012;
originally announced January 2012.
-
Efficient photon detection from color centers in a diamond optical waveguide
Authors:
D. Le Sage,
L. M. Pham,
N. Bar-Gill,
C. Belthangady,
M. D. Lukin,
A. Yacoby,
R. L. Walsworth
Abstract:
A common limitation of experiments using color centers in diamond is the poor photon collection efficiency of microscope objectives due to refraction at the diamond interface. We present a simple and effective technique to detect a large fraction of photons emitted by color centers within a planar diamond sample by detecting light that is guided to the edges of the diamond via total internal refle…
▽ More
A common limitation of experiments using color centers in diamond is the poor photon collection efficiency of microscope objectives due to refraction at the diamond interface. We present a simple and effective technique to detect a large fraction of photons emitted by color centers within a planar diamond sample by detecting light that is guided to the edges of the diamond via total internal reflection. We describe a prototype device using this "side-collection" technique, which provides a photon collection efficiency of approximately 47% and a photon detection efficiency of approximately 39%. We apply the enhanced signal-to-noise ratio gained from side-collection to AC magnetometry using ensembles of nitrogen-vacancy (NV) color centers, and demonstrate an AC magnetic field sensitivity of 100 pT/\sqrt{Hz}, limited by added noise in the prototype side-collection device. Technical optimization should allow significant further improvements in photon collection and detection efficiency as well as sub-picotesla NV-diamond magnetic field sensitivity using the side-collection technique.
△ Less
Submitted 3 January, 2012;
originally announced January 2012.
-
Spectroscopy of composite solid-state spin environments for improved metrology with spin ensembles
Authors:
N. Bar-Gill,
L. M. Pham,
C. Belthangady,
D. Le Sage,
P. Cappellaro,
J. R. Maze,
M. D. Lukin,
A. Yacoby,
R. Walsworth
Abstract:
For precision coherent measurements with ensembles of quantum spins the relevant Figure-of-Merit (FOM) is the product of polarized spin density and coherence lifetime, which is generally limited by the dynamics of the spin environment. Here, we apply a coherent spectroscopic technique to characterize the dynamics of the composite solid-state spin environment of Nitrogen-Vacancy (NV) centers in roo…
▽ More
For precision coherent measurements with ensembles of quantum spins the relevant Figure-of-Merit (FOM) is the product of polarized spin density and coherence lifetime, which is generally limited by the dynamics of the spin environment. Here, we apply a coherent spectroscopic technique to characterize the dynamics of the composite solid-state spin environment of Nitrogen-Vacancy (NV) centers in room temperature diamond. For samples of very different NV densities and impurity spin concentrations, we show that NV FOM values can be almost an order of magnitude larger than previously achieved in other room-temperature solid-state spin systems, and within an order of magnitude of the state-of-the-art atomic system. We also identify a new mechanism for suppression of electronic spin bath dynamics in the presence of a nuclear spin bath of sufficient concentration. This suppression could inform efforts to further increase the FOM for solid-state spin ensemble metrology and collective quantum information processing.
△ Less
Submitted 7 December, 2011; v1 submitted 3 December, 2011;
originally announced December 2011.
-
Twisted Frobenius-Schur indicators for Hopf algebras
Authors:
Daniel S. Sage,
Maria D. Vega
Abstract:
The classical Frobenius-Schur indicators for finite groups are character sums defined for any representation and any integer m greater or equal to 2. In the familiar case m=2, the Frobenius-Schur indicator partitions the irreducible representations over the complex numbers into real, complex, and quaternionic representations. In recent years, several generalizations of these invariants have been i…
▽ More
The classical Frobenius-Schur indicators for finite groups are character sums defined for any representation and any integer m greater or equal to 2. In the familiar case m=2, the Frobenius-Schur indicator partitions the irreducible representations over the complex numbers into real, complex, and quaternionic representations. In recent years, several generalizations of these invariants have been introduced. Bump and Ginzburg, building on earlier work of Mackey, have defined versions of these indicators which are twisted by an automorphism of the group. In another direction, Linchenko and Montgomery have defined Frobenius-Schur indicators for semisimple Hopf algebras. In this paper, the authors construct twisted Frobenius-Schur indicators for semisimple Hopf algebras; these include all of the above indicators as special cases and have similar properties.
△ Less
Submitted 13 January, 2012; v1 submitted 4 July, 2011;
originally announced July 2011.
-
Generalized Serre conditions and perverse coherent sheaves
Authors:
Christopher L. Bremer,
Daniel S. Sage
Abstract:
In algebraic geometry, one often encounters the following problem: given a scheme X, find a proper birational morphism from Y to X where the geometry of Y is "nicer" than that of X. One version of this problem, first studied by Faltings, requires Y to be Cohen-Macaulay; in this case Y is called a Macaulayfication of X. In another variant, one requires Y to satisfy the Serre condition S_r. In this…
▽ More
In algebraic geometry, one often encounters the following problem: given a scheme X, find a proper birational morphism from Y to X where the geometry of Y is "nicer" than that of X. One version of this problem, first studied by Faltings, requires Y to be Cohen-Macaulay; in this case Y is called a Macaulayfication of X. In another variant, one requires Y to satisfy the Serre condition S_r. In this paper, the authors introduce generalized Serre conditions--these are local cohomology conditions which include S_r and the Cohen-Macaulay condition as special cases. To any generalized Serre condition S_rho, there exists an associated perverse t-structure on the derived category of coherent sheaves on a suitable scheme X. Under appropriate hypotheses, the authors characterize those schemes for which a canonical finite S_rho-ification exists in terms of the intermediate extension functor for the associated perversity. Similar results, including a universal property, are obtained for a more general morphism extension problem called S_rho-extension.
△ Less
Submitted 14 June, 2011;
originally announced June 2011.
-
Fast O(1) bilateral filtering using trigonometric range kernels
Authors:
Kunal Narayan Chaudhury,
Daniel Sage,
Michael Unser
Abstract:
It is well-known that spatial averaging can be realized (in space or frequency domain) using algorithms whose complexity does not depend on the size or shape of the filter. These fast algorithms are generally referred to as constant-time or O(1) algorithms in the image processing literature. Along with the spatial filter, the edge-preserving bilateral filter [Tomasi1998] involves an additional ran…
▽ More
It is well-known that spatial averaging can be realized (in space or frequency domain) using algorithms whose complexity does not depend on the size or shape of the filter. These fast algorithms are generally referred to as constant-time or O(1) algorithms in the image processing literature. Along with the spatial filter, the edge-preserving bilateral filter [Tomasi1998] involves an additional range kernel. This is used to restrict the averaging to those neighborhood pixels whose intensity are similar or close to that of the pixel of interest. The range kernel operates by acting on the pixel intensities. This makes the averaging process non-linear and computationally intensive, especially when the spatial filter is large. In this paper, we show how the O(1) averaging algorithms can be leveraged for realizing the bilateral filter in constant-time, by using trigonometric range kernels. This is done by generalizing the idea in [Porikli2008] of using polynomial range kernels. The class of trigonometric kernels turns out to be sufficiently rich, allowing for the approximation of the standard Gaussian bilateral filter. The attractive feature of our approach is that, for a fixed number of terms, the quality of approximation achieved using trigonometric kernels is much superior to that obtained in [Porikli2008] using polynomials.
△ Less
Submitted 27 July, 2011; v1 submitted 20 May, 2011;
originally announced May 2011.
-
Isomonodromic deformations of connections with singularities of parahoric formal type
Authors:
Christopher L. Bremer,
Daniel S. Sage
Abstract:
In previous work, the authors have developed a geometric theory of fundamental strata to study connections on the projective line with irregular singularities of parahoric formal type. In this paper, the moduli space of connections that contain regular fundamental strata with fixed combinatorics at each singular point is constructed as a smooth Poisson reduction. The authors then explicitly comput…
▽ More
In previous work, the authors have developed a geometric theory of fundamental strata to study connections on the projective line with irregular singularities of parahoric formal type. In this paper, the moduli space of connections that contain regular fundamental strata with fixed combinatorics at each singular point is constructed as a smooth Poisson reduction. The authors then explicitly compute the isomonodromy equations as an integrable system. This result generalizes work of Jimbo, Miwa, and Ueno to connections whose singularities have parahoric formal type.
△ Less
Submitted 1 May, 2011; v1 submitted 12 October, 2010;
originally announced October 2010.
-
Coherence of Nitrogen-Vacancy Electronic Spin Ensembles in Diamond
Authors:
P. L. Stanwix,
L. M. Pham,
J. R. Maze,
D. Le Sage,
T. K. Yeung,
P. Cappellaro,
P. R. Hemmer,
A. Yacoby,
M. D. Lukin,
R. L. Walsworth
Abstract:
We present an experimental and theoretical study of electronic spin decoherence in ensembles of nitrogen-vacancy (NV) color centers in bulk high-purity diamond at room temperature. Under appropriate conditions, we find ensemble NV spin coherence times (T_2) comparable to that of single NVs, with T_2 > 600 microseconds for a sample with natural abundance of 13C and paramagnetic impurity density ~10…
▽ More
We present an experimental and theoretical study of electronic spin decoherence in ensembles of nitrogen-vacancy (NV) color centers in bulk high-purity diamond at room temperature. Under appropriate conditions, we find ensemble NV spin coherence times (T_2) comparable to that of single NVs, with T_2 > 600 microseconds for a sample with natural abundance of 13C and paramagnetic impurity density ~10^15 cm^(-3). We also observe a sharp decrease of the coherence time with misalignment of the static magnetic field relative to the NV electronic spin axis, consistent with theoretical modeling of NV coupling to a 13C nuclear spin bath. The long coherence times and increased signal-to-noise provided by room-temperature NV ensembles will aid many applications of NV centers in precision magnetometry and quantum information.
△ Less
Submitted 24 January, 2011; v1 submitted 22 June, 2010;
originally announced June 2010.
-
Moduli spaces of irregular singular connections
Authors:
Christopher L. Bremer,
Daniel S. Sage
Abstract:
In the geometric version of the Langlands correspondence, irregular singular point connections play the role of Galois representations with wild ramification. In this paper, we develop a geometric theory of fundamental strata to study irregular singular connections on the projective line. Fundamental strata were originally used to classify cuspidal representations of the general linear group over…
▽ More
In the geometric version of the Langlands correspondence, irregular singular point connections play the role of Galois representations with wild ramification. In this paper, we develop a geometric theory of fundamental strata to study irregular singular connections on the projective line. Fundamental strata were originally used to classify cuspidal representations of the general linear group over a local field. In the geometric setting, fundamental strata play the role of the leading term of a connection. We introduce the concept of a regular stratum, which allows us to generalize the condition that a connection has regular semisimple leading term to connections with non-integer slope. Finally, we construct a symplectic moduli space of meromorphic connections on the projective line that contain a regular stratum at each singular point.
△ Less
Submitted 3 January, 2012; v1 submitted 26 April, 2010;
originally announced April 2010.
-
Staggered sheaves on partial flag varieties
Authors:
Pramod N. Achar,
Daniel S. Sage
Abstract:
Staggered $t$-structures are a class of $t$-structures on derived categories of equivariant coherent sheaves. In this note, we show that the derived category of coherent sheaves on a partial flag variety, equivariant for a Borel subgroup, admits an artinian staggered $t$-structure. As a consequence, we obtain a basis for its equivariant $K$-theory consisting of simple staggered sheaves.
Staggered $t$-structures are a class of $t$-structures on derived categories of equivariant coherent sheaves. In this note, we show that the derived category of coherent sheaves on a partial flag variety, equivariant for a Borel subgroup, admits an artinian staggered $t$-structure. As a consequence, we obtain a basis for its equivariant $K$-theory consisting of simple staggered sheaves.
△ Less
Submitted 10 December, 2007;
originally announced December 2007.
-
Perverse coherent sheaves and the geometry of special pieces in the unipotent variety
Authors:
Pramod N. Achar,
Daniel S. Sage
Abstract:
Let X be a scheme of finite type over a Noetherian base scheme S admitting a dualizing complex, and let U be an open subset whose complement has codimension at least 2. We extend the Deligne-Bezrukavnikov theory of perverse coherent sheaves by showing that a coherent middle extension (or intersection cohomology) functor from perverse sheaves on U to perverse sheaves on X may be defined for a muc…
▽ More
Let X be a scheme of finite type over a Noetherian base scheme S admitting a dualizing complex, and let U be an open subset whose complement has codimension at least 2. We extend the Deligne-Bezrukavnikov theory of perverse coherent sheaves by showing that a coherent middle extension (or intersection cohomology) functor from perverse sheaves on U to perverse sheaves on X may be defined for a much broader class of perversities than has previously been known. We also introduce a derived category version of the coherent middle extension functor.
Under suitable hypotheses, we introduce a construction (called "S2-extension") in terms of perverse coherent sheaves of algebras on X that takes a finite morphism to U and extends it in a canonical way to a finite morphism to X. In particular, this construction gives a canonical "S2-ification" of appropriate X. The construction also has applications to the "Macaulayfication" problem, and it is particularly well-behaved when X is Gorenstein.
Our main goal, however, is to address a conjecture of Lusztig on the geometry of special pieces (certain subvarieties of the unipotent variety of a reductive algebraic group). The conjecture asserts in part that each special piece is the quotient of some variety (previously unknown in the exceptional groups and in positive characteristic) by the action of a certain finite group. We use S2-extension to give a uniform construction of the desired variety.
△ Less
Submitted 15 October, 2008; v1 submitted 30 June, 2007;
originally announced July 2007.
-
On special pieces, the Springer correspondence, and unipotent characters
Authors:
Pramod N. Achar,
Daniel S. Sage
Abstract:
Let G be a reductive algebraic group over the algebraic closure of a finite field F_q of good characteristic. In this paper, we demonstrate a remarkable compatibility between the Springer correspondence for G and the parametrization of unipotent characters of G(F_q). In particular, we show that in a suitable sense, "large" portions of these two assignments in fact coincide. This extends earlier…
▽ More
Let G be a reductive algebraic group over the algebraic closure of a finite field F_q of good characteristic. In this paper, we demonstrate a remarkable compatibility between the Springer correspondence for G and the parametrization of unipotent characters of G(F_q). In particular, we show that in a suitable sense, "large" portions of these two assignments in fact coincide. This extends earlier work of Lusztig on Springer representations within special pieces of the unipotent variety.
△ Less
Submitted 30 June, 2007; v1 submitted 3 June, 2006;
originally announced June 2006.
-
Group Actions on Central Simple Algebras
Authors:
Daniel S. Sage
Abstract:
Let $G$ be a group, $F$ a field, and $A$ a finite-dimensional central simple algebra over $F$ on which $G$ acts by $F$-algebra automorphisms. We study the ideals and subalgebras of $A$ which are preserved by the group action. Let $V$ be the unique simple module of $A$. We show that $V$ is a projective representation of $G$ and $A\cong\text{End}_D(V)$ makes $V$ into a projective representation. W…
▽ More
Let $G$ be a group, $F$ a field, and $A$ a finite-dimensional central simple algebra over $F$ on which $G$ acts by $F$-algebra automorphisms. We study the ideals and subalgebras of $A$ which are preserved by the group action. Let $V$ be the unique simple module of $A$. We show that $V$ is a projective representation of $G$ and $A\cong\text{End}_D(V)$ makes $V$ into a projective representation. We then prove that there is a natural one-to-one correspondence between $G$-invariant $D$-submodules of $V$ and invariant left (and right) ideals of $A$.
Under the assumption that $V$ is irreducible, we show that an invariant (unital) subalgebra must be a simply embedded semisimple subalgebra. We introduce induction of $G$-algebras. We show that each invariant subalgebras is induced from a simple $H$-algebra for some subgroup $H$ of finite index and obtain a parametrization of the set of invariant subalgebras in terms of induction data. We then describe invariant central simple subalgebras. For $F$ algebraically closed, we obtain an entirely explicit classification of the invariant subalgebras. Furthermore, we show that the set of invariant subalgebras is finite if $G$ is a finite group. Finally, we consider invariant subalgebras when $V$ is a continuous projective representation of a topological group $G$. We show that if the connected component of the identity acts irreducibly on $V$, then all invariant subalgebras are simple. We then apply our results to obtain a particularly nice solution to the classification problem when $G$ is a compact connected Lie group and $F=\mathbf C$.
△ Less
Submitted 27 January, 1999;
originally announced January 1999.
-
The Geometry of Fixed Point Varieties on Affine Flag Manifolds
Authors:
Daniel S. Sage
Abstract:
Let $G$ be a semisimple, simply connected, algebraic group over an algebraically closed field $k$ with Lie algebra $\frak g$. We study the spaces of parahoric subalgebras of a given type containing a fixed nil-elliptic element of $\frak g\otimes k((π))$, i.e. fixed point varieties on affine flag manifolds. We define a natural class of $k^*$-actions on affine flag manifolds, generalizing actions…
▽ More
Let $G$ be a semisimple, simply connected, algebraic group over an algebraically closed field $k$ with Lie algebra $\frak g$. We study the spaces of parahoric subalgebras of a given type containing a fixed nil-elliptic element of $\frak g\otimes k((π))$, i.e. fixed point varieties on affine flag manifolds. We define a natural class of $k^*$-actions on affine flag manifolds, generalizing actions introduced by Lusztig and Smelt. We formulate a condition on a pair $(N,f)$ consisting of $N\in\frak{g}\otimes k((π))$ and a $k^*$-action $f$ of the specified type which guarantees that $f$ induces an action on the variety of parahoric subalgebras containing $N$.
For the special linear and symplectic groups, we characterize all regular semisimple and nil-elliptic conjugacy classes containing a representative whose fixed point variety admits such an action. We then use these actions to find simple formulas for the Euler characteristics of those varieties for which the $k^*$-fixed points are finite. We also obtain a combinatorial description of the Euler characteristics of the spaces of parabolic subalgebras containing a given element of certain nilpotent conjugacy classes of $\frak g$.
△ Less
Submitted 21 January, 1999;
originally announced January 1999.