-
Vision-Language and Large Language Model Performance in Gastroenterology: GPT, Claude, Llama, Phi, Mistral, Gemma, and Quantized Models
Authors:
Seyed Amir Ahmad Safavi-Naini,
Shuhaib Ali,
Omer Shahab,
Zahra Shahhoseini,
Thomas Savage,
Sara Rafiee,
Jamil S Samaan,
Reem Al Shabeeb,
Farah Ladak,
Jamie O Yang,
Juan Echavarria,
Sumbal Babar,
Aasma Shaukat,
Samuel Margolis,
Nicholas P Tatonetti,
Girish Nadkarni,
Bara El Kurdi,
Ali Soroush
Abstract:
Background and Aims: This study evaluates the medical reasoning performance of large language models (LLMs) and vision language models (VLMs) in gastroenterology.
Methods: We used 300 gastroenterology board exam-style multiple-choice questions, 138 of which contain images to systematically assess the impact of model configurations and parameters and prompt engineering strategies utilizing GPT-3.…
▽ More
Background and Aims: This study evaluates the medical reasoning performance of large language models (LLMs) and vision language models (VLMs) in gastroenterology.
Methods: We used 300 gastroenterology board exam-style multiple-choice questions, 138 of which contain images to systematically assess the impact of model configurations and parameters and prompt engineering strategies utilizing GPT-3.5. Next, we assessed the performance of proprietary and open-source LLMs (versions), including GPT (3.5, 4, 4o, 4omini), Claude (3, 3.5), Gemini (1.0), Mistral, Llama (2, 3, 3.1), Mixtral, and Phi (3), across different interfaces (web and API), computing environments (cloud and local), and model precisions (with and without quantization). Finally, we assessed accuracy using a semiautomated pipeline.
Results: Among the proprietary models, GPT-4o (73.7%) and Claude3.5-Sonnet (74.0%) achieved the highest accuracy, outperforming the top open-source models: Llama3.1-405b (64%), Llama3.1-70b (58.3%), and Mixtral-8x7b (54.3%). Among the quantized open-source models, the 6-bit quantized Phi3-14b (48.7%) performed best. The scores of the quantized models were comparable to those of the full-precision models Llama2-7b, Llama2--13b, and Gemma2-9b. Notably, VLM performance on image-containing questions did not improve when the images were provided and worsened when LLM-generated captions were provided. In contrast, a 10% increase in accuracy was observed when images were accompanied by human-crafted image descriptions.
Conclusion: In conclusion, while LLMs exhibit robust zero-shot performance in medical reasoning, the integration of visual data remains a challenge for VLMs. Effective deployment involves carefully determining optimal model configurations, encouraging users to consider either the high performance of proprietary models or the flexible adaptability of open-source models.
△ Less
Submitted 4 September, 2024; v1 submitted 25 August, 2024;
originally announced September 2024.
-
Decidability of Krohn-Rhodes complexity for all finite semigroups and automata
Authors:
Stuart Margolis,
John Rhodes,
Anne Schilling
Abstract:
The Krohn-Rhodes Theorem proves that a finite semigroup divides a wreath product of groups and aperiodic semigroups. Krohn-Rhodes complexity equals the minimal number of groups that are needed. Determining an algorithm to compute complexity has been an open problem for more than 50 years. The main result of this paper proves that it is decidable whether a semigroup has complexity k for any k great…
▽ More
The Krohn-Rhodes Theorem proves that a finite semigroup divides a wreath product of groups and aperiodic semigroups. Krohn-Rhodes complexity equals the minimal number of groups that are needed. Determining an algorithm to compute complexity has been an open problem for more than 50 years. The main result of this paper proves that it is decidable whether a semigroup has complexity k for any k greater than or equal to 0. This builds on our previous work for complexity 1. In that paper we proved using profinite methods and results on free Burnside semigroups by McCammond and others that the lower bound from a 2012 paper by Henckell, Rhodes and Steinberg is precise for complexity 1. In this paper we define an improved version of the lower bound from the 2012 paper and prove that it is exact for arbitrary complexity.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
$^{171}$Yb$^+$ optical clock with $2.2\times 10^{-18}$ systematic uncertainty and absolute frequency measurements
Authors:
Alexandra Tofful,
Charles F. A. Baynham,
E. Anne Curtis,
Adam O. Parsons,
Billy I. Robertson,
Marco Schioppo,
Jacob Tunesi,
Helen S. Margolis,
Richard J. Hendricks,
Josh Whale,
Richard C. Thompson,
Rachel M. Godun
Abstract:
A full evaluation of the uncertainty budget for the ytterbium ion optical clock at the National Physical Laboratory (NPL) was performed on the electric octupole (E3) $^2\mathrm{S}_{1/2}\,\rightarrow\, ^2\mathrm{F}_{7/2}$ transition. The total systematic frequency shift was measured with a fractional standard systematic uncertainty of $2.2\times 10^{-18}$. Furthermore, the absolute frequency of the…
▽ More
A full evaluation of the uncertainty budget for the ytterbium ion optical clock at the National Physical Laboratory (NPL) was performed on the electric octupole (E3) $^2\mathrm{S}_{1/2}\,\rightarrow\, ^2\mathrm{F}_{7/2}$ transition. The total systematic frequency shift was measured with a fractional standard systematic uncertainty of $2.2\times 10^{-18}$. Furthermore, the absolute frequency of the E3 transition of the $^{171}$Yb$^+$ ion was measured between 2019 and 2023 via a link to International Atomic Time (TAI) and against the local caesium fountain NPL-CsF2. The absolute frequencies were measured with fractional standard uncertainties between $3.7 \times 10^{-16}$ and $1.1 \times 10^{-15}$, and all were in agreement with the 2021 BIPM recommended frequency.
△ Less
Submitted 21 March, 2024;
originally announced March 2024.
-
The CIPM list "Recommended values of standard frequencies": 2021 update
Authors:
H S Margolis,
G Panfilo,
G Petit,
C Oates,
T Ido,
S Bize
Abstract:
This paper gives a detailed account of the analysis underpinning the 2021 update to the list of standard reference frequency values recommended by the International Committee for Weights and Measures (CIPM). This update focused on a subset of atomic transitions that are secondary representations of the second (SRS) or considered as potential SRS. As in previous updates in 2015 and 2017, methods fo…
▽ More
This paper gives a detailed account of the analysis underpinning the 2021 update to the list of standard reference frequency values recommended by the International Committee for Weights and Measures (CIPM). This update focused on a subset of atomic transitions that are secondary representations of the second (SRS) or considered as potential SRS. As in previous updates in 2015 and 2017, methods for analysing over-determined data sets were applied to make optimum use of the worldwide body of published clock comparison data. To ensure that these methods were robust, three independent calculations were performed using two different algorithms. The 2021 update differed from previous updates in taking detailed account of correlations among the input data, a step shown to be important in deriving unbiased frequency values and avoiding underestimation of their uncertainties. It also differed in the procedures used to assess input data and to assign uncertainties to the recommended frequency values, with previous practice being adapted to produce a fully consistent output data set consisting of frequency ratio values as well as absolute frequencies. These changes are significant in the context of an anticipated redefinition of the second in terms of an optical transition or transitions, since optical frequency ratio measurements will be critical for verifying the international consistency of optical clocks prior to the redefinition. In the meantime, the reduced uncertainties for optical SRS resulting from this analysis significantly increases the weight that secondary frequency standards based on these transitions can have in the steering of International Atomic Time (TAI).
△ Less
Submitted 25 January, 2024;
originally announced January 2024.
-
Topics in Boolean Representable Simplicial Complexes
Authors:
Stuart Margolis,
John Rhodes,
Pedro V. Silva
Abstract:
We study a number of topics in the theory of Boolean Representable Simplicial Complexes (BRSC). These include various operators on BRSC. We look at shellability in higher dimensions and propose a number of new conjectures.
We study a number of topics in the theory of Boolean Representable Simplicial Complexes (BRSC). These include various operators on BRSC. We look at shellability in higher dimensions and propose a number of new conjectures.
△ Less
Submitted 14 September, 2023;
originally announced September 2023.
-
Roadmap towards the redefinition of the second
Authors:
N. Dimarcq,
M. Gertsvolf,
G. Mileti,
S. Bize,
C. W. Oates,
E. Peik,
D. Calonico,
T. Ido,
P. Tavella,
F. Meynadier,
G. Petit,
G. Panfilo,
J. Bartholomew,
P. Defraigne,
E. A. Donley,
P. O. Hedekvist,
I. Sesia,
M. Wouters,
P. Dube,
F. Fang,
F. Levi,
J. Lodewyck,
H. S. Margolis,
D. Newell,
S. Slyusarev
, et al. (12 additional authors not shown)
Abstract:
This paper outlines the roadmap towards the redefinition of the second, which was recently updated by the CCTF Task Force created by the CCTF in 2020. The main achievements and the open challenges related to the status of the optical frequency standards, their contribution to time scales and UTC, the possibility of their comparison and the knowledge of the Earth's gravitational potential at the ne…
▽ More
This paper outlines the roadmap towards the redefinition of the second, which was recently updated by the CCTF Task Force created by the CCTF in 2020. The main achievements and the open challenges related to the status of the optical frequency standards, their contribution to time scales and UTC, the possibility of their comparison and the knowledge of the Earth's gravitational potential at the necessary level of uncertainty are discussed. In addition, the mandatory criteria to be achieved before redefinition and their current fulfilment level, together with the redefinition options based on a single or on a set of transitions are described.
△ Less
Submitted 26 July, 2023;
originally announced July 2023.
-
On the minimal faithful degree of Rhodes semisimple semigroups
Authors:
Stuart Margolis,
Benjamin Steinberg
Abstract:
In this paper we compute the minimum degree of a faithful representation by partial transformations of a finite semigroup admitting a faithful completely reducible matrix representation over the field of complex numbers. This includes all inverse semigroups, and hence our results generalize earlier results of Easdown and Schein on the minimal faithful degree of an inverse semigroup. It also includ…
▽ More
In this paper we compute the minimum degree of a faithful representation by partial transformations of a finite semigroup admitting a faithful completely reducible matrix representation over the field of complex numbers. This includes all inverse semigroups, and hence our results generalize earlier results of Easdown and Schein on the minimal faithful degree of an inverse semigroup. It also includes well-studied monoids like full matrix monoids over finite fields and the monoid of binary relations (i.e., matrices over the Boolean semiring). Our answer reduces the computation to considerations of permutation representations of maximal subgroups that are faithful when restricted to distinguished normal subgroups. This is analogous to (and inspired by) recent results of the second author on the minimal number of irreducible constituents in a faithful completely reducible complex matrix representation of a finite semigroup that admits one. To illustrate what happens when a finite semigroup does not admit a faithful completely reducible representation, we compute the minimum faithful degree of the opposite monoid of the full transformation monoid.
△ Less
Submitted 9 June, 2023; v1 submitted 13 February, 2023;
originally announced February 2023.
-
Analysis of atomic-clock data to constrain variations of fundamental constants
Authors:
Nathaniel Sherrill,
Adam O. Parsons,
Charles F. A. Baynham,
William Bowden,
E. Anne Curtis,
Richard Hendricks,
Ian R. Hill,
Richard Hobson,
Helen S. Margolis,
Billy I. Robertson,
Marco Schioppo,
Krzysztof Szymaniec,
Alexandra Tofful,
Jacob Tunesi,
Rachel M. Godun,
Xavier Calmet
Abstract:
We present a new framework to study the time variation of fundamental constants in a model-independent way. Model independence implies more free parameters than assumed in previous studies. Using data from atomic clocks based on $^{87}$Sr, $^{171}$Yb$^+$ and $^{133}$Cs, we set bounds on parameters controlling the variation of the fine-structure constant, $α$, and the electron-to-proton mass ratio,…
▽ More
We present a new framework to study the time variation of fundamental constants in a model-independent way. Model independence implies more free parameters than assumed in previous studies. Using data from atomic clocks based on $^{87}$Sr, $^{171}$Yb$^+$ and $^{133}$Cs, we set bounds on parameters controlling the variation of the fine-structure constant, $α$, and the electron-to-proton mass ratio, $μ$. We consider variations on timescales ranging from a minute to almost a day. In addition, we use our results to derive some of the tightest limits to date on the parameter space of models of ultralight dark matter and axion-like particles.
△ Less
Submitted 15 December, 2023; v1 submitted 9 February, 2023;
originally announced February 2023.
-
Measuring the stability of fundamental constants with a network of clocks
Authors:
G. Barontini,
L. Blackburn,
V. Boyer,
F. Butuc-Mayer,
X. Calmet,
J. R. Crespo Lopez-Urrutia,
E. A. Curtis,
B. Darquie,
J. Dunningham,
N. J. Fitch,
E. M. Forgan,
K. Georgiou,
P. Gill,
R. M. Godun,
J. Goldwin,
V. Guarrera,
A. C. Harwood,
I. R. Hill,
R. J. Hendricks,
M. Jeong,
M. Y. H. Johnson,
M. Keller,
L. P. Kozhiparambil Sajith,
F. Kuipers,
H. S. Margolis
, et al. (19 additional authors not shown)
Abstract:
The detection of variations of fundamental constants of the Standard Model would provide us with compelling evidence of new physics, and could lift the veil on the nature of dark matter and dark energy. In this work, we discuss how a network of atomic and molecular clocks can be used to look for such variations with unprecedented sensitivity over a wide range of time scales. This is precisely the…
▽ More
The detection of variations of fundamental constants of the Standard Model would provide us with compelling evidence of new physics, and could lift the veil on the nature of dark matter and dark energy. In this work, we discuss how a network of atomic and molecular clocks can be used to look for such variations with unprecedented sensitivity over a wide range of time scales. This is precisely the goal of the recently launched QSNET project: A network of clocks for measuring the stability of fundamental constants. QSNET will include state-of-the-art atomic clocks, but will also develop next-generation molecular and highly charged ion clocks with enhanced sensitivity to variations of fundamental constants. We describe the technological and scientific aims of QSNET and evaluate its expected performance. We show that in the range of parameters probed by QSNET, either we will discover new physics, or we will impose new constraints on violations of fundamental symmetries and a range of theories beyond the Standard Model, including dark matter and dark energy models.
△ Less
Submitted 11 May, 2022; v1 submitted 20 December, 2021;
originally announced December 2021.
-
Decidability of Krohn-Rhodes complexity $c = 1$ of finite semigroups and automata
Authors:
Stuart Margolis,
John Rhodes,
Anne Schilling
Abstract:
When decomposing a finite semigroup into a wreath product of groups and aperiodic semigroups, complexity measures the minimal number of groups that are needed. Determining an algorithm to compute complexity has been an open problem for almost 60 years. The main result of this paper proves decidability of Krohn-Rhodes complexity $c = 1$ of finite semigroups and automata. This is achieved by showing…
▽ More
When decomposing a finite semigroup into a wreath product of groups and aperiodic semigroups, complexity measures the minimal number of groups that are needed. Determining an algorithm to compute complexity has been an open problem for almost 60 years. The main result of this paper proves decidability of Krohn-Rhodes complexity $c = 1$ of finite semigroups and automata. This is achieved by showing the lower bounds in work by Henckell, Rhodes and Steinberg from 2012 is sharp using profinite methods and results of McCammond from 1991 and 2001.
△ Less
Submitted 4 August, 2023; v1 submitted 20 October, 2021;
originally announced October 2021.
-
QSNET, a network of clocks for measuring the stability of fundamental constants
Authors:
G. Barontini,
V. Boyer,
X. Calmet,
N. J. Fitch,
E. M. Forgan,
R. M. Godun,
J. Goldwin,
V. Guarrera,
I. R. Hill,
M. Jeong,
M. Keller,
F. Kuipers,
H. S. Margolis,
P. Newman,
L. Prokhorov,
J. Rodewald,
B. E. Sauer,
M. Schioppo,
N. Sherrill,
M. R. Tarbutt,
A. Vecchio,
S. Worm
Abstract:
The QSNET consortium is building a UK network of next-generation atomic and molecular clocks that will achieve unprecedented sensitivity in testing variations of the fine structure constant, $α$, and the electron-to-proton mass ratio, $μ$. This in turn will provide more stringent constraints on a wide range of fundamental and phenomenological theories beyond the Standard Model and on dark matter m…
▽ More
The QSNET consortium is building a UK network of next-generation atomic and molecular clocks that will achieve unprecedented sensitivity in testing variations of the fine structure constant, $α$, and the electron-to-proton mass ratio, $μ$. This in turn will provide more stringent constraints on a wide range of fundamental and phenomenological theories beyond the Standard Model and on dark matter models.
△ Less
Submitted 12 October, 2021;
originally announced October 2021.
-
Ehresmann Semigroups Whose Categories are EI and Their Representation Theory : Extended Version
Authors:
Stuart Margolis,
Itamar Stein
Abstract:
We study simple and projective modules of a certain class of Ehresmann semigroups, a well-studied generalization of inverse semigroups. Let $S$ be a finite right (left) restriction Ehresmann semigroup whose corresponding Ehresmann category is an EI-category, that is, every endomorphism is an isomorphism. We show that the collection of finite right restriction Ehresmann semigroups whose categories…
▽ More
We study simple and projective modules of a certain class of Ehresmann semigroups, a well-studied generalization of inverse semigroups. Let $S$ be a finite right (left) restriction Ehresmann semigroup whose corresponding Ehresmann category is an EI-category, that is, every endomorphism is an isomorphism. We show that the collection of finite right restriction Ehresmann semigroups whose categories are EI is a pseudovariety. We prove that the simple modules of the semigroup algebra $\Bbbk S$ (over any field $\Bbbk$) are formed by inducing the simple modules of the maximal subgroups of $S$ via the corresponding Schützenberger module. Moreover, we show that over fields with good characteristic the indecomposable projective modules can be described in a similar way but using generalized Green's relations instead of the standard ones. As a natural example, we consider the monoid $\mathcal{PT}_{n}$ of all partial functions on an $n$-element set. Over the field of complex numbers, we give a natural description of its indecomposable projective modules and obtain a formula for their dimension. Moreover, we find certain zero entries in its Cartan matrix.
△ Less
Submitted 7 March, 2021; v1 submitted 16 August, 2020;
originally announced August 2020.
-
A strontium optical lattice clock with $1 \times 10^{-17}$ uncertainty and measurement of its absolute frequency
Authors:
Richard Hobson,
William Bowden,
Alissa Silva,
Charles F. A. Baynham,
Helen S. Margolis,
Patrick E. G. Baird,
Patrick Gill,
Ian R. Hill
Abstract:
We present a measurement of the absolute frequency of the 5s$^2$ $^1$S$_0$ to 5s5p $^3$P$_0$ transition in $^{87}$Sr, which is a secondary representation of the SI second. We describe the optical lattice clock apparatus used for the measurement, and we focus in detail on how its systematic frequency shifts are evaluated with a total fractional uncertainty of $1 \times 10^{-17}$. Traceability to th…
▽ More
We present a measurement of the absolute frequency of the 5s$^2$ $^1$S$_0$ to 5s5p $^3$P$_0$ transition in $^{87}$Sr, which is a secondary representation of the SI second. We describe the optical lattice clock apparatus used for the measurement, and we focus in detail on how its systematic frequency shifts are evaluated with a total fractional uncertainty of $1 \times 10^{-17}$. Traceability to the International System of Units is provided via comparison to International Atomic Time (TAI). Gathering data over 5- and 15-day periods, with the lattice clock operating on average 74$\%$ of the time, we measure the frequency of the transition to be 429228004229873.1(5) Hz, which corresponds to a fractional uncertainty of $1 \times 10^{-15}$. We describe in detail how this uncertainty arises from the intermediate steps linking the optical frequency standard, through our local time scale UTC(NPL), to an ensemble of primary and secondary frequency standards which steer TAI. The calculated absolute frequency of the transition is in good agreement with recent measurements carried out in other laboratories around the world.
△ Less
Submitted 21 May, 2020;
originally announced May 2020.
-
Degree 2 Transformation Semigroups as Continuous Maps on Graphs: Foundations and Structure
Authors:
Stuart W. Margolis,
John Rhodes
Abstract:
We develop the theory of transformation semigroups that have degree 2, that is, act by partial functions on a finite set such that the inverse image of points have at most two elements. We show that the graph of fibers of such an action gives a deep connection between semigroup theory and graph theory. It is known that the Krohn-Rhodes complexity of a degree 2 action is at most 2. We show that the…
▽ More
We develop the theory of transformation semigroups that have degree 2, that is, act by partial functions on a finite set such that the inverse image of points have at most two elements. We show that the graph of fibers of such an action gives a deep connection between semigroup theory and graph theory. It is known that the Krohn-Rhodes complexity of a degree 2 action is at most 2. We show that the monoid of continuous maps on a graph is the translational hull of an appropriate 0-simple semigroup. We show how group mapping semigroups can be considered as regular covers of their right letter mapping image and relate this to their graph of fibers.
△ Less
Submitted 6 May, 2020;
originally announced May 2020.
-
Direct comparisons of European primary and secondary frequency standards via satellite techniques
Authors:
F. Riedel,
A. Al-Masoudi,
E. Benkler,
S. Dörscher,
V. Gerginov,
C. Grebing,
S. Häfner,
N. Huntemann,
B. Lipphardt,
C. Lisdat,
E. Peik,
D. Piester,
C. Sanner,
C. Tamm,
S. Weyers,
H. Denker,
L. Timmen,
C. Voigt,
D. Calonico,
G. Cerretto,
G. A. Costanzo,
F. Levi,
I. Sesia,
J. Achkar,
J. Guèna
, et al. (24 additional authors not shown)
Abstract:
We carried out a 26-day comparison of five simultaneously operated optical clocks and six atomic fountain clocks located at INRIM, LNE-SYRTE, NPL and PTB by using two satellite-based frequency comparison techniques: broadband Two-Way Satellite Time and Frequency Transfer (TWSTFT) and Global Positioning System Precise Point Positioning (GPS PPP). With an enhanced statistical analysis procedure taki…
▽ More
We carried out a 26-day comparison of five simultaneously operated optical clocks and six atomic fountain clocks located at INRIM, LNE-SYRTE, NPL and PTB by using two satellite-based frequency comparison techniques: broadband Two-Way Satellite Time and Frequency Transfer (TWSTFT) and Global Positioning System Precise Point Positioning (GPS PPP). With an enhanced statistical analysis procedure taking into account correlations and gaps in the measurement data, combined overall uncertainties in the range of $1.8 \times 10^{-16}$ to $3.5 \times 10^{-16}$ for the optical clock comparisons were found. The comparison of the fountain clocks yields results with a maximum relative frequency difference of $6.9 \times 10^{-16}$, and combined overall uncertainties in the range of $4.8 \times 10^{-16}$ to $7.7 \times 10^{-16}$.
△ Less
Submitted 9 October, 2019;
originally announced October 2019.
-
A pyramid MOT with integrated optical cavities as a cold atom platform for an optical lattice clock
Authors:
William Bowden,
Richard Hobson,
Ian R. Hill,
Alvise Vianello,
Marco Schioppo,
Alissa Silva,
Helen S. Margolis,
Patrick E. G. Baird,
Patrick Gill
Abstract:
We realize a two-stage, hexagonal pyramid magneto-optical trap (MOT) with strontium, and demonstrate loading of cold atoms into cavity-enhanced 1D and 2D optical lattice traps, all within a single compact assembly of in-vacuum optics. We show that the device is suitable for high-performance quantum technologies, focusing especially on its intended application as a strontium optical lattice clock.…
▽ More
We realize a two-stage, hexagonal pyramid magneto-optical trap (MOT) with strontium, and demonstrate loading of cold atoms into cavity-enhanced 1D and 2D optical lattice traps, all within a single compact assembly of in-vacuum optics. We show that the device is suitable for high-performance quantum technologies, focusing especially on its intended application as a strontium optical lattice clock. We prepare $2\times 10^4$ spin-polarized atoms of $^{87}$Sr in the optical lattice within 500 ms; we observe a vacuum-limited lifetime of atoms in the lattice of 27 s; and we measure a background DC electric field of 12 Vm$^{-1}$ from stray charges, corresponding to a fractional frequency shift of $(-1.2\times 0.8)\times 10^{-18}$ to the strontium clock transition. When used in combination with careful management of the blackbody radiation environment, the device shows potential as a platform for realizing a compact, robust, transportable optical lattice clock with systematic uncertainty at the $10^{-18}$ level.
△ Less
Submitted 31 July, 2019;
originally announced July 2019.
-
Search for transient variations of the fine structure constant and dark matter using fiber-linked optical atomic clocks
Authors:
B. M. Roberts,
P. Delva,
A. Al-Masoudi,
A. Amy-Klein,
C. Bærentsen,
C. F. A. Baynham,
E. Benkler,
S. Bilicki,
S. Bize,
W. Bowden,
J. Calvert,
V. Cambier,
E. Cantin,
E. A. Curtis,
S. Dörscher,
M. Favier,
F. Frank,
P. Gill,
R. M. Godun,
G. Grosche,
C. Guo,
A. Hees,
I. R. Hill,
R. Hobson,
N. Huntemann
, et al. (29 additional authors not shown)
Abstract:
We search for transient variations of the fine structure constant using data from a European network of fiber-linked optical atomic clocks. By searching for coherent variations in the recorded clock frequency comparisons across the network, we significantly improve the constraints on transient variations of the fine structure constant. For example, we constrain the variation in alpha to <5*10^-17…
▽ More
We search for transient variations of the fine structure constant using data from a European network of fiber-linked optical atomic clocks. By searching for coherent variations in the recorded clock frequency comparisons across the network, we significantly improve the constraints on transient variations of the fine structure constant. For example, we constrain the variation in alpha to <5*10^-17 for transients of duration 10^3 s. This analysis also presents a possibility to search for dark matter, the mysterious substance hypothesised to explain galaxy dynamics and other astrophysical phenomena that is thought to dominate the matter density of the universe. At the current sensitivity level, we find no evidence for dark matter in the form of topological defects (or, more generally, any macroscopic objects), and we thus place constraints on certain potential couplings between the dark matter and standard model particles, substantially improving upon the existing constraints, particularly for large (>~10^4 km) objects.
△ Less
Submitted 8 July, 2019; v1 submitted 4 July, 2019;
originally announced July 2019.
-
Guidelines for developing optical clocks with $10^{-18}$ fractional frequency uncertainty
Authors:
Moustafa Abdel-Hafiz,
Piotr Ablewski,
Ali Al-Masoudi,
Héctor Álvarez Martínez,
Petr Balling,
Geoffrey Barwood,
Erik Benkler,
Marcin Bober,
Mateusz Borkowski,
William Bowden,
Roman Ciuryło,
Hubert Cybulski,
Alexandre Didier,
Miroslav Doležal,
Sören Dörscher,
Stephan Falke,
Rachel M. Godun,
Ramiz Hamid,
Ian R. Hill,
Richard Hobson,
Nils Huntemann,
Yann Le Coq,
Rodolphe Le Targat,
Thomas Legero,
Thomas Lindvall
, et al. (20 additional authors not shown)
Abstract:
There has been tremendous progress in the performance of optical frequency standards since the first proposals to carry out precision spectroscopy on trapped, single ions in the 1970s. The estimated fractional frequency uncertainty of today's leading optical standards is currently in the $10^{-18}$ range, approximately two orders of magnitude better than that of the best caesium primary frequency…
▽ More
There has been tremendous progress in the performance of optical frequency standards since the first proposals to carry out precision spectroscopy on trapped, single ions in the 1970s. The estimated fractional frequency uncertainty of today's leading optical standards is currently in the $10^{-18}$ range, approximately two orders of magnitude better than that of the best caesium primary frequency standards. This exceptional accuracy and stability is resulting in a growing number of research groups developing optical clocks. While good review papers covering the topic already exist, more practical guidelines are needed as a complement. The purpose of this document is therefore to provide technical guidance for researchers starting in the field of optical clocks. The target audience includes national metrology institutes (NMIs) wanting to set up optical clocks (or subsystems thereof) and PhD students and postdocs entering the field. Another potential audience is academic groups with experience in atomic physics and atom or ion trapping, but with less experience of time and frequency metrology and optical clock requirements. These guidelines have arisen from the scope of the EMPIR project "Optical clocks with $1 \times 10^{-18}$ uncertainty" (OC18). Therefore, the examples are from European laboratories even though similar work is carried out all over the world. The goal of OC18 was to push the development of optical clocks by improving each of the necessary subsystems: ultrastable lasers, neutral-atom and single-ion traps, and interrogation techniques. This document shares the knowledge acquired by the OC18 project consortium and gives practical guidance on each of these aspects.
△ Less
Submitted 13 August, 2019; v1 submitted 27 June, 2019;
originally announced June 2019.
-
Truncated Boolean Representable Simplicial Complexes
Authors:
Stuart W. Margolis,
John Rhodes,
Pedro Silva
Abstract:
We extend, in significant ways, the theory of truncated boolean representable simplicial complexes introduced in 2015. This theory, which includes all matroids, represents the largest class of finite simplicial complexes for which combinatorial geometry can be meaningfully applied
We extend, in significant ways, the theory of truncated boolean representable simplicial complexes introduced in 2015. This theory, which includes all matroids, represents the largest class of finite simplicial complexes for which combinatorial geometry can be meaningfully applied
△ Less
Submitted 8 April, 2019;
originally announced April 2019.
-
On the Wilson Monoid of a Pairwise Balanced Design
Authors:
Stuart W. Margolis,
John Rhodes,
Pedro Silva
Abstract:
We give a new perspective of the relationship between simple matroids of rank 3 and pairwise balanced designs, connecting Wilson's theorems and tools with the theory of truncated boolean representable simplicial complexes. We also introduce the concept of Wilson monoid W(X) of a pairwise balanced design X. We present some general algebraic properties and study in detail the cases of Steiner triple…
▽ More
We give a new perspective of the relationship between simple matroids of rank 3 and pairwise balanced designs, connecting Wilson's theorems and tools with the theory of truncated boolean representable simplicial complexes. We also introduce the concept of Wilson monoid W(X) of a pairwise balanced design X. We present some general algebraic properties and study in detail the cases of Steiner triple systems up to 19 points, as well as the case where a single block has more than 2 elements
△ Less
Submitted 8 April, 2019;
originally announced April 2019.
-
The algebra of the Catalan monoid as an incidence algebra: A simple proof
Authors:
Stuart Margolis,
Benjamin Steinberg
Abstract:
We give a direct straightforward proof that there is an isomorphism between the algebra of the Catalan monoid C_n that is, the monoid of all order-preserving, weakly increasing self-maps f of [n] = {1,...,n}, over any commutative ring with identity and the incidence algebra of a certain poset over the ring.
We give a direct straightforward proof that there is an isomorphism between the algebra of the Catalan monoid C_n that is, the monoid of all order-preserving, weakly increasing self-maps f of [n] = {1,...,n}, over any commutative ring with identity and the incidence algebra of a certain poset over the ring.
△ Less
Submitted 18 June, 2018;
originally announced June 2018.
-
On the Dowling and Rhodes lattices and wreath products
Authors:
Stuart W. Margolis,
John Rhodes,
Pedro V. Silva
Abstract:
Dowling and Rhodes defined different lattices on the set of triples (Subset, Partition, Cross Section) over a fixed finite group G. Although the Rhodes lattice is not a geometric lattice, it defines a matroid in the sense of the theory of Boolean representable simplicial complexes. This turns out to be the direct sum of a complete matroid with a lift matroid of the complete biased graph over G. As…
▽ More
Dowling and Rhodes defined different lattices on the set of triples (Subset, Partition, Cross Section) over a fixed finite group G. Although the Rhodes lattice is not a geometric lattice, it defines a matroid in the sense of the theory of Boolean representable simplicial complexes. This turns out to be the direct sum of a complete matroid with a lift matroid of the complete biased graph over G. As is well known, the Dowling lattice defines the frame matroid over a similar biased graph. This gives a new perspective on both matroids and also an application of matroid theory to the theory of finite semigroups. We also make progress on an important question for these classical matroids: what are the minimal Boolean representations and the minimum degree of a Boolean matrix representation?
△ Less
Submitted 15 October, 2017;
originally announced October 2017.
-
Absolute frequency measurement of the $^2$S$_{1/2} \rightarrow ^2$F$_{7/2}$ optical clock transition in $^{171}$Yb$^+$ with an uncertainty of $4\times 10^{-16}$ using a frequency link to International Atomic Time
Authors:
Charles F. A. Baynham,
Rachel M. Godun,
Jonathan M. Jones,
Steven A. King,
Peter B. R. Nisbet-Jones,
Fred Baynes,
Antoine Rolland,
Patrick E. G. Baird,
Kai Bongs,
Patrick Gill,
Helen S. Margolis
Abstract:
The highly forbidden $^2$S$_{1/2} \rightarrow ^2$F$_{7/2}$ electric octupole transition in $^{171}$Yb$^+$ is a potential candidate for a redefinition of the SI second. We present a measurement of the absolute frequency of this optical transition, performed using a frequency link to International Atomic Time to provide traceability to the SI second. The $^{171}$Yb$^+$ optical frequency standard was…
▽ More
The highly forbidden $^2$S$_{1/2} \rightarrow ^2$F$_{7/2}$ electric octupole transition in $^{171}$Yb$^+$ is a potential candidate for a redefinition of the SI second. We present a measurement of the absolute frequency of this optical transition, performed using a frequency link to International Atomic Time to provide traceability to the SI second. The $^{171}$Yb$^+$ optical frequency standard was operated for 76% of a 25-day period, with the absolute frequency measured to be 642 121 496 772 645.14(26) Hz. The fractional uncertainty of $4.0 \times 10 ^{-16}$ is comparable to that of the best previously reported measurement, which was made by a direct comparison to local caesium primary frequency standards.
△ Less
Submitted 27 October, 2017; v1 submitted 3 July, 2017;
originally announced July 2017.
-
Projective indecomposable modules and quivers for monoid algebras
Authors:
Stuart Margolis,
Benjamin Steinberg
Abstract:
We give a construction of the projective indecomposable modules and a description of the quiver for a large class of monoid algebras including the algebra of any finite monoid whose principal right ideals have at most one idempotent generator. Our results include essentially all families of finite monoids for which this has been done previously, for example, left regular bands, $\mathscr J$-trivia…
▽ More
We give a construction of the projective indecomposable modules and a description of the quiver for a large class of monoid algebras including the algebra of any finite monoid whose principal right ideals have at most one idempotent generator. Our results include essentially all families of finite monoids for which this has been done previously, for example, left regular bands, $\mathscr J$-trivial and $\mathscr R$-trivial monoids and left regular bands of groups.
△ Less
Submitted 16 June, 2017;
originally announced June 2017.
-
On the subsemigroup complex of an aperiodic Brandt semigroup
Authors:
Stuart Margolis,
John Rhodes,
Pedro V. Silva
Abstract:
We introduce the subsemigroup complex of a finite semigroup S as a (boolean representable) simplicial complex defined through chains in the lattice of subsemigroups of S. We present a research program for such complexes, illustrated through the particular case of combinatorial Brandt semigroups. The results include alternative characterizations of faces and facets, asymptotical estimates on the nu…
▽ More
We introduce the subsemigroup complex of a finite semigroup S as a (boolean representable) simplicial complex defined through chains in the lattice of subsemigroups of S. We present a research program for such complexes, illustrated through the particular case of combinatorial Brandt semigroups. The results include alternative characterizations of faces and facets, asymptotical estimates on the number of facets, or establishing when the complex is pure or a matroid.
△ Less
Submitted 14 May, 2017;
originally announced May 2017.
-
Geodesy and metrology with a transportable optical clock
Authors:
Jacopo Grotti,
Silvio Koller,
Stefan Vogt,
Sebastian Häfner,
Uwe Sterr,
Christian Lisdat,
Heiner Denker,
Christian Voigt,
Ludger Timmen,
Antoine Rolland,
Fred N. Baynes,
Helen S. Margolis,
Michel Zampaolo,
Pierre Thoumany,
Marco Pizzocaro,
Benjamin Rauf,
Filippo Bregolin,
Anna Tampellini,
Piero Barbieri,
Massimo Zucco,
Giovanni A. Costanzo,
Cecilia Clivati,
Filippo Levi,
Davide Calonico
Abstract:
The advent of novel measurement instrumentation can lead to paradigm shifts in scientific research. Optical atomic clocks, due to their unprecedented stability and uncertainty, are already being used to test physical theories and herald a revision of the International System of units (SI). However, to unlock their potential for cross-disciplinary applications such as relativistic geodesy, a major…
▽ More
The advent of novel measurement instrumentation can lead to paradigm shifts in scientific research. Optical atomic clocks, due to their unprecedented stability and uncertainty, are already being used to test physical theories and herald a revision of the International System of units (SI). However, to unlock their potential for cross-disciplinary applications such as relativistic geodesy, a major challenge remains. This is their transformation from highly specialized instruments restricted to national metrology laboratories into flexible devices deployable in different locations. Here we report the first field measurement campaign performed with a ubiquitously applicable $^{87}$Sr optical lattice clock. We use it to determine the gravity potential difference between the middle of a mountain and a location 90 km apart, exploiting both local and remote clock comparisons to eliminate potential clock errors. A local comparison with a $^{171}$Yb lattice clock also serves as an important check on the international consistency of independently developed optical clocks. This campaign demonstrates the exciting prospects for transportable optical clocks.
△ Less
Submitted 11 May, 2017;
originally announced May 2017.
-
Test of special relativity using a fiber network of optical clocks
Authors:
P. Delva,
J. Lodewyck,
S. Bilicki,
E. Bookjans,
G. Vallet,
R. Le Targat,
P. -E. Pottie,
C. Guerlin,
F. Meynadier,
C. Le Poncin-Lafitte,
O. Lopez,
A. Amy-Klein,
W. -K. Lee,
N. Quintin,
C. Lisdat,
A. Al-Masoudi,
S. Dörscher,
C. Grebing,
G. Grosche,
A. Kuhl,
S. Raupach,
U. Sterr,
I. R. Hill,
R. Hobson,
W. Bowden
, et al. (6 additional authors not shown)
Abstract:
Phase compensated optical fiber links enable high accuracy atomic clocks separated by thousands of kilometers to be compared with unprecedented statistical resolution. By searching for a daily variation of the frequency difference between four strontium optical lattice clocks in different locations throughout Europe connected by such links, we improve upon previous tests of time dilation predicted…
▽ More
Phase compensated optical fiber links enable high accuracy atomic clocks separated by thousands of kilometers to be compared with unprecedented statistical resolution. By searching for a daily variation of the frequency difference between four strontium optical lattice clocks in different locations throughout Europe connected by such links, we improve upon previous tests of time dilation predicted by special relativity. We obtain a constraint on the Robertson--Mansouri--Sexl parameter $|α|\lesssim 1.1 \times10^{-8}$ quantifying a violation of time dilation, thus improving by a factor of around two the best known constraint obtained with Ives--Stilwell type experiments, and by two orders of magnitude the best constraint obtained by comparing atomic clocks. This work is the first of a new generation of tests of fundamental physics using optical clocks and fiber links. As clocks improve, and as fiber links are routinely operated, we expect that the tests initiated in this paper will improve by orders of magnitude in the near future.
△ Less
Submitted 12 June, 2017; v1 submitted 13 March, 2017;
originally announced March 2017.
-
On the lattice of flats of a boolean representable simplicial complex
Authors:
Stuart Margolis,
John Rhodes,
Pedro V. Silva
Abstract:
It is shown that the lattices of flats of boolean representable simplicial complexes are always atomistic, but semimodular if and only if the complex is a matroid. A canonical construction is introduced for arbitrary finite atomistic lattices, providing a characterization of the lattices of flats of boolean representable simplicial complexes and a decidability condition. We remark that every finit…
▽ More
It is shown that the lattices of flats of boolean representable simplicial complexes are always atomistic, but semimodular if and only if the complex is a matroid. A canonical construction is introduced for arbitrary finite atomistic lattices, providing a characterization of the lattices of flats of boolean representable simplicial complexes and a decidability condition. We remark that every finite lattice occurs as the lattice of flats of some simplicial complex.
△ Less
Submitted 19 October, 2015;
originally announced October 2015.
-
On the topology of a boolean representable simplicial complex
Authors:
Stuart Margolis,
John Rhodes,
Pedro V. Silva
Abstract:
It is proved that fundamental groups of boolean representable simplicial complexes are free and the rank is determined by the number and nature of the connected components of their graph of flats for dimension $\geq 2$. In the case of dimension 2, it is shown that boolean representable simplicial complexes have the homotopy type of a wedge of spheres of dimensions 1 and 2. Also in the case of dime…
▽ More
It is proved that fundamental groups of boolean representable simplicial complexes are free and the rank is determined by the number and nature of the connected components of their graph of flats for dimension $\geq 2$. In the case of dimension 2, it is shown that boolean representable simplicial complexes have the homotopy type of a wedge of spheres of dimensions 1 and 2. Also in the case of dimension 2, necessary and sufficient conditions for shellability and being sequentially Cohen-Macaulay are determined. Complexity bounds are provided for all the algorithms involved.
△ Less
Submitted 17 October, 2015;
originally announced October 2015.
-
Cell complexes, poset topology and the representation theory of algebras arising in algebraic combinatorics and discrete geometry
Authors:
Stuart Margolis,
Franco Saliola,
Benjamin Steinberg
Abstract:
In recent years it has been noted that a number of combinatorial structures such as real and complex hyperplane arrangements, interval greedoids, matroids and oriented matroids have the structure of a finite monoid called a left regular band. Random walks on the monoid model a number of interesting Markov chains such as the Tsetlin library and riffle shuffle. The representation theory of left regu…
▽ More
In recent years it has been noted that a number of combinatorial structures such as real and complex hyperplane arrangements, interval greedoids, matroids and oriented matroids have the structure of a finite monoid called a left regular band. Random walks on the monoid model a number of interesting Markov chains such as the Tsetlin library and riffle shuffle. The representation theory of left regular bands then comes into play and has had a major influence on both the combinatorics and the probability theory associated to such structures. In a recent paper, the authors established a close connection between algebraic and combinatorial invariants of a left regular band by showing that certain homological invariants of the algebra of a left regular band coincide with the cohomology of order complexes of posets naturally associated to the left regular band.
The purpose of the present monograph is to further develop and deepen the connection between left regular bands and poset topology. This allows us to compute finite projective resolutions of all simple modules of left regular band algebras over fields and much more. In the process, we are led to define the class of CW left regular bands as the class of left regular bands whose associated posets are the face posets of regular CW complexes. Most of the examples that have arisen in the literature belong to this class. A new and important class of examples is a left regular band structure on the face poset of a CAT(0) cube complex. Also, the recently introduced notion of a COM (complex of oriented matroids or conditional oriented matroid) fits nicely into our setting and includes CAT(0) cube complexes and certain more general CAT(0) zonotopal complexes. A fairly complete picture of the representation theory for CW left regular bands is obtained.
△ Less
Submitted 27 September, 2018; v1 submitted 21 August, 2015;
originally announced August 2015.
-
Frequency comparison of ${}^{171}$Yb${}^+$ ion optical clocks at PTB and NPL via GPS PPP
Authors:
J. Leute,
N. Huntemann,
B. Lipphardt,
Chr. Tamm,
P. B. R. Nisbet-Jones,
S. A. King,
R. M. Godun,
J. M. Jones,
H. S. Margolis,
P. B. Whibberley,
A. Wallin,
M. Merimaa,
P. Gill,
E. Peik
Abstract:
We used Precise Point Positioning, a well-established GPS carrier-phase frequency transfer method to perform a direct remote comparison of two optical frequency standards based on single laser-cooled $^{171}$Yb$^+$ ions operated at NPL, UK and PTB, Germany. At both institutes an active hydrogen maser serves as a flywheel oscillator; it is connected to a GPS receiver as an external frequency refere…
▽ More
We used Precise Point Positioning, a well-established GPS carrier-phase frequency transfer method to perform a direct remote comparison of two optical frequency standards based on single laser-cooled $^{171}$Yb$^+$ ions operated at NPL, UK and PTB, Germany. At both institutes an active hydrogen maser serves as a flywheel oscillator; it is connected to a GPS receiver as an external frequency reference and compared simultaneously to a realization of the unperturbed frequency of the ${{}^2S_{1/2}(F=0)-{}^2D_{3/2}(F=2)}$ electric quadrupole transition in ${}^{171}$Yb${}^+$ via an optical femtosecond frequency comb. To profit from long coherent GPS link measurements we extrapolate over the various data gaps in the optical clock to maser comparisons which introduces maser noise to the frequency comparison but improves the uncertainty from the GPS link. We determined the total statistical uncertainty consisting of the GPS link uncertainty and the extrapolation uncertainties for several extrapolation schemes. Using the extrapolation scheme with the smallest combined uncertainty, we find a fractional frequency difference $y(\mathrm{PTB})-y(\mathrm{NPL})$ of $-1.3(1.2)\times 10^{-15}$ for a total measurement time of 67 h. This result is consistent with an agreement of both optical clocks and with recent absolute frequency measurements against caesium fountain clocks.
△ Less
Submitted 15 July, 2015;
originally announced July 2015.
-
Least-squares analysis of clock frequency comparison data to deduce optimized frequency and frequency ratio values
Authors:
H. S. Margolis,
P. Gill
Abstract:
A method is presented for analysing over-determined sets of clock frequency comparison data involving standards based on a number of different reference transitions. This least-squares adjustment procedure, which is based on the method used by CODATA to derive a self-consistent set of values for the fundamental physical constants, can be used to derive optimized values for the frequency ratios of…
▽ More
A method is presented for analysing over-determined sets of clock frequency comparison data involving standards based on a number of different reference transitions. This least-squares adjustment procedure, which is based on the method used by CODATA to derive a self-consistent set of values for the fundamental physical constants, can be used to derive optimized values for the frequency ratios of all possible pairs of reference transitions. It is demonstrated to reproduce the frequency values recommended by the International Committee for Weights and Measures, when using the same input data used to derive those values. The effects of including more recently published data in the evaluation is discussed and the importance of accounting for correlations between the input data is emphasised.
△ Less
Submitted 7 April, 2015;
originally announced April 2015.
-
The q-theory of finite semigroups: history and mathematics
Authors:
Stuart W. Margolis
Abstract:
This paper is a historical and mathematical review of the book, "The q-theory of Finite Semigroups" by John Rhodes and Benjamin Steinberg.
This paper is a historical and mathematical review of the book, "The q-theory of Finite Semigroups" by John Rhodes and Benjamin Steinberg.
△ Less
Submitted 9 September, 2014; v1 submitted 8 September, 2014;
originally announced September 2014.
-
Evaluating the performance of the NPL femtosecond frequency combs: Agreement at the $10^{-21}$ level
Authors:
L. A. M. Johnson,
P. Gill,
H. S. Margolis
Abstract:
Results are presented from a series of comparisons between two independent femtosecond frequency comb systems at NPL, which were carried out in order to assess their systematic uncertainty. Simultaneous measurements with the two systems demonstrate agreement at the level of 5 x $10^{-18}$ when measuring an optical frequency against a common microwave reference. When simultaneously measuring the ra…
▽ More
Results are presented from a series of comparisons between two independent femtosecond frequency comb systems at NPL, which were carried out in order to assess their systematic uncertainty. Simultaneous measurements with the two systems demonstrate agreement at the level of 5 x $10^{-18}$ when measuring an optical frequency against a common microwave reference. When simultaneously measuring the ratio of two optical frequencies, agreement at the 3 x $10^{-21}$ level is observed. The results represent the highest reported level of agreement to date between Ti:sapphire and Er-doped femtosecond combs. The limitations of the combs when operating in these two different manners are discussed, including traceability to the SI second, which can be achieved with an uncertainty below 1 x $10^{-16}$. The technical details presented underpin recent absolute frequency measurements of the $^{88}$Sr$^+$ and $^{171}$Yb$^+$ optical clock transitions at NPL, as well as a frequency ratio measurement between the two optical clock transitions in $^{171}$Yb$^+$.
△ Less
Submitted 11 August, 2014;
originally announced August 2014.
-
Frequency ratio of two optical clock transitions in $^{171}$Yb$^+$ and constraints on the time-variation of fundamental constants
Authors:
R. M. Godun,
P. B. R. Nisbet-Jones,
J. M. Jones,
S. A. King,
L. A. M. Johnson,
H. S. Margolis,
K. Szymaniec,
S. N. Lea,
K. Bongs,
P. Gill
Abstract:
Singly-ionized ytterbium, with ultra-narrow optical clock transitions at 467 nm and 436 nm, is a convenient system for the realization of optical atomic clocks and tests of present-day variation of fundamental constants. We present the first direct measurement of the frequency ratio of these two clock transitions, without reference to a cesium primary standard, and using the same single ion of 171…
▽ More
Singly-ionized ytterbium, with ultra-narrow optical clock transitions at 467 nm and 436 nm, is a convenient system for the realization of optical atomic clocks and tests of present-day variation of fundamental constants. We present the first direct measurement of the frequency ratio of these two clock transitions, without reference to a cesium primary standard, and using the same single ion of 171Yb+. The absolute frequencies of both transitions are also presented, each with a relative standard uncertainty of $6\times 10^{-16}$. Combining our results with those from other experiments, we report a three-fold improvement in the constraint on the time-variation of the proton-to-electron mass ratio, $\dotμ/μ = 0.2(1.1)\times 10^{-16}$ year$^{-1}$, along with an improved constraint on time-variation of the fine structure constant, $\dotα/α = -0.7(2.1)\times 10^{-17}$ year$^{-1}$.
△ Less
Submitted 1 October, 2014; v1 submitted 1 July, 2014;
originally announced July 2014.
-
Poset topology and homological invariants of algebras arising in algebraic combinatorics
Authors:
Stuart Margolis,
Franco Saliola,
Benjamin Steinberg
Abstract:
We present a beautiful interplay between combinatorial topology and homological algebra for a class of monoids that arise naturally in algebraic combinatorics. We explore several applications of this interplay. For instance, we provide a new interpretation of the Leray number of a clique complex in terms of non-commutative algebra.
Résumé. Nous présentons une magnifique interaction entre la topo…
▽ More
We present a beautiful interplay between combinatorial topology and homological algebra for a class of monoids that arise naturally in algebraic combinatorics. We explore several applications of this interplay. For instance, we provide a new interpretation of the Leray number of a clique complex in terms of non-commutative algebra.
Résumé. Nous présentons une magnifique interaction entre la topologie combinatoire et l'algèbre homologique d'une classe de monoïdes qui figurent naturellement dans la combinatoire algébrique. Nous explorons plusieurs applications de cette interaction. Par exemple, nous introduisons une nouvelle interprétation du nombre de Leray d'un complexe de clique en termes de la dimension globale d'une certaine algèbre non commutative.
△ Less
Submitted 26 November, 2013;
originally announced November 2013.
-
Suppression of amplitude-to-phase noise conversion in balanced optical-microwave phase detectors
Authors:
Maurice Lessing,
Helen S. Margolis,
C. Tom A. Brown,
Patrick Gill,
Giuseppe Marra
Abstract:
We demonstrate an amplitude-to-phase (AM-PM) conversion coefficient for a balanced optical-microwave phase detector (BOM-PD) of 0.001 rad, corresponding to AM-PM induced phase noise 60 dB below the single-sideband relative intensity noise of the laser. This enables us to generate 8 GHz microwave signals from a commercial Er-fibre comb with a single-sideband residual phase noise of -131 dBc/Hz at 1…
▽ More
We demonstrate an amplitude-to-phase (AM-PM) conversion coefficient for a balanced optical-microwave phase detector (BOM-PD) of 0.001 rad, corresponding to AM-PM induced phase noise 60 dB below the single-sideband relative intensity noise of the laser. This enables us to generate 8 GHz microwave signals from a commercial Er-fibre comb with a single-sideband residual phase noise of -131 dBc/Hz at 1 Hz offset frequency and -148 dBc/Hz at 1 kHz offset frequency.
△ Less
Submitted 4 September, 2013;
originally announced September 2013.
-
Semigroups embeddable in hyperplane face monoids
Authors:
Stuart Margolis,
Franco Saliola,
Benjamin Steinberg
Abstract:
The left regular band structure on a hyperplane arrangement and its representation theory provide an important connection between semigroup theory and algebraic combinatorics. A finite semigroup embeds in a real hyperplane face monoid if and only if it is in the quasivariety generated by the monoid obtained by adjoining an identity to the two-element left zero semigroup. We prove that this quasiva…
▽ More
The left regular band structure on a hyperplane arrangement and its representation theory provide an important connection between semigroup theory and algebraic combinatorics. A finite semigroup embeds in a real hyperplane face monoid if and only if it is in the quasivariety generated by the monoid obtained by adjoining an identity to the two-element left zero semigroup. We prove that this quasivariety is on the one hand polynomial time decidable, and on the other minimally non-finitely based. A similar result is obtained for the semigroups embeddable in complex hyperplane semigroups.
△ Less
Submitted 29 December, 2012;
originally announced December 2012.
-
Combinatorial Topology and the Global Dimension of Algebras Arising in Combinatorics
Authors:
Stuart Margolis,
Franco Saliola,
Benjamin Steinberg
Abstract:
In a highly influential paper, Bidigare, Hanlon and Rockmore showed that a number of popular Markov chains are random walks on the faces of a hyperplane arrangement. Their analysis of these Markov chains took advantage of the monoid structure on the set of faces. This theory was later extended by Brown to a larger class of monoids called left regular bands. In both cases, the representation theory…
▽ More
In a highly influential paper, Bidigare, Hanlon and Rockmore showed that a number of popular Markov chains are random walks on the faces of a hyperplane arrangement. Their analysis of these Markov chains took advantage of the monoid structure on the set of faces. This theory was later extended by Brown to a larger class of monoids called left regular bands. In both cases, the representation theory of these monoids played a prominent role. In particular, it was used to compute the spectrum of the transition operators of the Markov chains and to prove diagonalizability of the transition operators.
In this paper, we establish a close connection between algebraic and combinatorial invariants of a left regular band: we show that certain homological invariants of the algebra of a left regular band coincide with the cohomology of order complexes of posets naturally associated to the left regular band. For instance, we show that the global dimension of these algebras is bounded above by the Leray number of the associated order complex. Conversely, we associate to every flag complex a left regular band whose algebra has global dimension precisely the Leray number of the flag complex.
△ Less
Submitted 18 September, 2012; v1 submitted 5 May, 2012;
originally announced May 2012.
-
The etale groupoid of an inverse semigroup as a groupoid of filters
Authors:
M. V. Lawson,
S. W. Margolis,
B. Steinberg
Abstract:
Paterson showed how to construct an etale groupoid from an inverse semigroup using ideas from functional analysis. This construction was later simplified by Lenz. We show that Lenz's construction can itself be further simplified by using filters: the topological groupoid associated with an inverse semigroup is precisely a groupoid of filters. In addition, idempotent filters are closed inverse subs…
▽ More
Paterson showed how to construct an etale groupoid from an inverse semigroup using ideas from functional analysis. This construction was later simplified by Lenz. We show that Lenz's construction can itself be further simplified by using filters: the topological groupoid associated with an inverse semigroup is precisely a groupoid of filters. In addition, idempotent filters are closed inverse subsemigroups and so determine transitive representations by means of partial bijections. This connection between filters and representations by partial bijections is exploited to show how linear representations of inverse semigroups can be constructed from the groups occuring in the associated topological groupoid.
△ Less
Submitted 21 February, 2012; v1 submitted 26 June, 2011;
originally announced June 2011.
-
Quivers of monoids with basic algebras
Authors:
Stuart W. Margolis,
Benjamin Steinberg
Abstract:
We compute the quiver of any monoid that has a basic algebra over an algebraically closed field of characteristic zero. More generally, we reduce the computation of the quiver over a splitting field of a class of monoids that we term rectangular monoids (in the semigroup theory literature the class is known as $\mathbf{DO}$) to representation theoretic computations for group algebras of maximal su…
▽ More
We compute the quiver of any monoid that has a basic algebra over an algebraically closed field of characteristic zero. More generally, we reduce the computation of the quiver over a splitting field of a class of monoids that we term rectangular monoids (in the semigroup theory literature the class is known as $\mathbf{DO}$) to representation theoretic computations for group algebras of maximal subgroups. Hence in good characteristic for the maximal subgroups, this gives an essentially complete computation. Since groups are examples of rectangular monoids, we cannot hope to do better than this.
For the subclass of $\mathscr R$-trivial monoids, we also provide a semigroup theoretic description of the projective indecomposables and compute the Cartan matrix.
△ Less
Submitted 24 June, 2011; v1 submitted 2 January, 2011;
originally announced January 2011.
-
Subgroups of free idempotent generated semigroups: full linear monoid
Authors:
Mark Brittenham,
Stuart W. Margolis,
John Meakin
Abstract:
We develop some new topological tools to study maximal subgroups of free idempotent generated semigroups. As an application, we show that the rank 1 component of the free idempotent generated semigroup of the biordered set of a full matrix monoid of n x n matrices, n>2$ over a division ring Q has maximal subgroup isomorphic to the multiplicative subgroup of Q.
We develop some new topological tools to study maximal subgroups of free idempotent generated semigroups. As an application, we show that the rank 1 component of the free idempotent generated semigroup of the biordered set of a full matrix monoid of n x n matrices, n>2$ over a division ring Q has maximal subgroup isomorphic to the multiplicative subgroup of Q.
△ Less
Submitted 28 September, 2010;
originally announced September 2010.
-
Semigroup identities in the monoid of two-by-two tropical matrices
Authors:
Zur Izhakian,
Stuart Margolis
Abstract:
The main result of the paper proves that the monoid of all 2 x 2 tropical matrices satisfies a non-trivial semigroup identity, unlike the case of matrices over infinite fields. We exploit a strong connection between the monoid of all 2 x 2 tropical matrices and the bicyclic monoid to show that a variant of Adian's identity for the bicyclic monoid holds in our case.We use generic matrices of trop…
▽ More
The main result of the paper proves that the monoid of all 2 x 2 tropical matrices satisfies a non-trivial semigroup identity, unlike the case of matrices over infinite fields. We exploit a strong connection between the monoid of all 2 x 2 tropical matrices and the bicyclic monoid to show that a variant of Adian's identity for the bicyclic monoid holds in our case.We use generic matrices of tropical polynomials to prove our result.
△ Less
Submitted 8 February, 2009;
originally announced February 2009.
-
The quiver of an algebra associated to the Mantaci-Reutenauer descent algebra and the homology of regular semigroups
Authors:
Stuart Margolis,
Benjamin Steinberg
Abstract:
We develop the homology theory of the algebra of a regular semigroup, which is a particularly nice case of a quasi-hereditary algebra in good characteristic. Directedness is characterized for these algebras, generalizing the case of semisimple algebras studied by Munn and Ponizovksy. We then apply homological methods to compute (modulo group theory) the quiver of a right regular band of groups,…
▽ More
We develop the homology theory of the algebra of a regular semigroup, which is a particularly nice case of a quasi-hereditary algebra in good characteristic. Directedness is characterized for these algebras, generalizing the case of semisimple algebras studied by Munn and Ponizovksy. We then apply homological methods to compute (modulo group theory) the quiver of a right regular band of groups, generalizing Saliola's results for a right regular band. Right regular bands of groups come up in the representation theory of wreath products with symmetric groups in much the same way that right regular bands appear in the representation theory of finite Coxeter groups via the Solomon-Tits algebra of its Coxeter complex. In particular, we compute the quiver of Hsiao's algebra, which is related to the Mantaci-Reutenauer descent algebra.
△ Less
Submitted 10 November, 2008;
originally announced November 2008.
-
Subgroups of free idempotent generated semigroups need not be free
Authors:
Mark Brittenham,
Stuart W. Margolis,
John Meakin
Abstract:
We use topological methods to study the maximal subgroups of the free idempotent generated semigroup on a biordered set. We use these to give an example of a free idempotent generated semigroup with maximal subgroup isomorphic to the free abelian group of rank 2. This is the first example of a non-free subgroup of a free idempotent generated semigroup.
We use topological methods to study the maximal subgroups of the free idempotent generated semigroup on a biordered set. We use these to give an example of a free idempotent generated semigroup with maximal subgroup isomorphic to the free abelian group of rank 2. This is the first example of a non-free subgroup of a free idempotent generated semigroup.
△ Less
Submitted 13 August, 2008;
originally announced August 2008.
-
Representation Theory of Finite Semigroups, Semigroup Radicals and Formal Language Theory
Authors:
Jorge Almeida,
Stuart Margolis,
Benjamin Steinberg,
Mikhail Volkov
Abstract:
In this paper we characterize the congruence associated to the direct sum of all irreducible representations of a finite semigroup over an arbitrary field, generalizing results of Rhodes for the field of complex numbers. Applications are given to obtain many new results, as well as easier proofs of several results in the literature, involving: triangularizability of finite semigroups; which semi…
▽ More
In this paper we characterize the congruence associated to the direct sum of all irreducible representations of a finite semigroup over an arbitrary field, generalizing results of Rhodes for the field of complex numbers. Applications are given to obtain many new results, as well as easier proofs of several results in the literature, involving: triangularizability of finite semigroups; which semigroups have (split) basic semigroup algebras, two-sided semidirect product decompositions of finite monoids; unambiguous products of rational languages; products of rational languages with counter; and Černý's conjecture for an important class of automata.
△ Less
Submitted 14 February, 2007;
originally announced February 2007.
-
Two-letter group codes that preserve aperiodicity of inverse finite automata
Authors:
Jean-Camille Birget,
Stuart W. Margolis
Abstract:
We construct group codes over two letters (i.e., bases of subgroups of a two-generated free group) with special properties. Such group codes can be used for reducing algorithmic problems over large alphabets to algorithmic problems over a two-letter alphabet. Our group codes preserve aperiodicity of inverse finite automata. As an application we show that the following problems are PSpace-complet…
▽ More
We construct group codes over two letters (i.e., bases of subgroups of a two-generated free group) with special properties. Such group codes can be used for reducing algorithmic problems over large alphabets to algorithmic problems over a two-letter alphabet. Our group codes preserve aperiodicity of inverse finite automata. As an application we show that the following problems are PSpace-complete for two-letter alphabets (this was previously known for large enough finite alphabets): The intersection-emptiness problem for inverse finite automata, the aperiodicity problem for inverse finite automata, and the closure-under-radical problem for finitely generated subgroups of a free group. The membership problem for 3-generated inverse monoids is PSpace-complete.
△ Less
Submitted 9 January, 2007;
originally announced January 2007.
-
Optical Clocks in Space
Authors:
S. Schiller,
A. Goerlitz,
A. Nevsky,
J. C. J. Koelemeij,
A. Wicht,
P. Gill,
H. A. Klein,
H. S. Margolis,
G. Mileti,
U. Sterr,
F. Riehle,
E. Peik,
Chr. Tamm,
W. Ertmer,
E. Rasel,
V. Klein,
C. Salomon,
G. M. Tino,
P. Lemonde,
R. Holzwarth,
T. W. Haensch
Abstract:
The performance of optical clocks has strongly progressed in recent years, and accuracies and instabilities of 1 part in 10^18 are expected in the near future. The operation of optical clocks in space provides new scientific and technological opportunities. In particular, an earth-orbiting satellite containing an ensemble of optical clocks would allow a precision measurement of the gravitational…
▽ More
The performance of optical clocks has strongly progressed in recent years, and accuracies and instabilities of 1 part in 10^18 are expected in the near future. The operation of optical clocks in space provides new scientific and technological opportunities. In particular, an earth-orbiting satellite containing an ensemble of optical clocks would allow a precision measurement of the gravitational redshift, navigation with improved precision, mapping of the earth's gravitational potential by relativistic geodesy, and comparisons between ground clocks.
△ Less
Submitted 17 August, 2006;
originally announced August 2006.
-
A complete rewrite system and normal forms for (S)_reg
Authors:
Jean-Camille Birget,
Stuart W. Margolis
Abstract:
The (.)_reg construction was introduced in order to make an arbitrary semigroup S divide a regular semigroup (S)_reg which shares some important properties with S (e.g., finiteness, subgroups, torsion bounds, J-order structure). We show that (S)_reg can be described by a rather simple complete string rewrite system, as a consequence of which we obtain a new proof of the normal form theorem for (…
▽ More
The (.)_reg construction was introduced in order to make an arbitrary semigroup S divide a regular semigroup (S)_reg which shares some important properties with S (e.g., finiteness, subgroups, torsion bounds, J-order structure). We show that (S)_reg can be described by a rather simple complete string rewrite system, as a consequence of which we obtain a new proof of the normal form theorem for (S)_reg. The new proof of the normal form theorem is conceptually simpler than the previous proofs.
△ Less
Submitted 20 December, 2001;
originally announced December 2001.