-
Do backrun auctions protect traders?
Authors:
Andrew W. Macpherson
Abstract:
We study a new "laminated" queueing model for orders on batched trading venues such as decentralised exchanges. The model aims to capture and generalise transaction queueing infrastructure that has arisen to organise MEV activity on public blockchains such as Ethereum, providing convenient channels for sophisticated agents to extract value by acting on end-user order flow by performing arbitrage a…
▽ More
We study a new "laminated" queueing model for orders on batched trading venues such as decentralised exchanges. The model aims to capture and generalise transaction queueing infrastructure that has arisen to organise MEV activity on public blockchains such as Ethereum, providing convenient channels for sophisticated agents to extract value by acting on end-user order flow by performing arbitrage and related HFT activities. In our model, market orders are interspersed with orders created by arbitrageurs that under idealised conditions reset the marginal price to a global equilibrium between each trade, improving predictability of execution for liquidity traders.
If an arbitrageur has a chance to land multiple opportunities in a row, he may attempt to manipulate the execution price of the intervening market order by a probabilistic blind sandwiching strategy. To study how bad this manipulation can get, we introduce and bound a price manipulation coefficient that measures the deviation from global equilibrium of local pricing quoted by a rational arbitrageur. We exhibit cases in which this coefficient is well approximated by a "zeta value' with interpretable and empirically measurable parameters.
△ Less
Submitted 16 January, 2024;
originally announced January 2024.
-
Adversarial blockchain queues and trading on a CFMM
Authors:
Andrew W. Macpherson
Abstract:
We describe a plausible probabilistic model for a blockchain queueing environment in which rational, profit-maximising schedulers impose adversarial disciplines on incoming messages containing a payload that encodes a state transition in a machine. The model can be specialised to apply to chains with fixed or variable block times, traditional priority queue disciplines with `honest' schedulers, or…
▽ More
We describe a plausible probabilistic model for a blockchain queueing environment in which rational, profit-maximising schedulers impose adversarial disciplines on incoming messages containing a payload that encodes a state transition in a machine. The model can be specialised to apply to chains with fixed or variable block times, traditional priority queue disciplines with `honest' schedulers, or adversarial public mempools. We find conditions under which the model behaves as a bulk-service queue with priority discipline and derive practical expressions for the relative block and message number of a transaction.
We study this setup in the context of orders to a CFMM DEX where the execution price a user receives may be quite sensitive to its positioning in the chain -- in particular, to a string of transactions scheduled for prior execution which is not knowable at the time of order creation. We derive statistical models for the price impact of this order flow both in the presence and absence of MEV extraction activity.
△ Less
Submitted 16 February, 2023; v1 submitted 3 February, 2023;
originally announced February 2023.
-
Adjoining colimits
Authors:
Andrew W. Macpherson
Abstract:
This paper develops a theory of colimit sketches "with constructions" in higher category theory, formalising the input to the ubiquitous procedure of adjoining specified "constructible" colimits to a category such that specified "relation" colimits are enforced (or preserved). From a more technical standpoint, sketches are a way to describe dense functors using techniques from the homotopy theory…
▽ More
This paper develops a theory of colimit sketches "with constructions" in higher category theory, formalising the input to the ubiquitous procedure of adjoining specified "constructible" colimits to a category such that specified "relation" colimits are enforced (or preserved). From a more technical standpoint, sketches are a way to describe dense functors using techniques from the homotopy theory of diagrams.
We establish basic properties of diagrams in an infinity-category C as a model for presheaves on C and Bousfield localisations thereof, discuss extensions of functors and adjunctions, and equivalences of sets of diagrams. We introduce categories of presheaves which are "constructible in one step" by a set of diagrams and explore, via well-known examples, when constructible cocompletion is idempotent, i.e. when any iterated construction can be completed in one step.
△ Less
Submitted 23 November, 2021;
originally announced November 2021.
-
High-Power Ferro-Electric Fast Reactive Tuner
Authors:
Ilan Ben-Zvi,
Alejandro Castilla,
Alick Macpherson,
Nicholas Shipman
Abstract:
We present a novel design of a FerroElectric Fast Reactive Tuner (FE-FRT) capable of modulating Mega VAR reactive power on a sub-microsecond time scale. We show detailed analytical estimates of the performance of this device and benchmark these estimates against finite element method eigenmode and frequency domain electromagnetic simulations.
We present a novel design of a FerroElectric Fast Reactive Tuner (FE-FRT) capable of modulating Mega VAR reactive power on a sub-microsecond time scale. We show detailed analytical estimates of the performance of this device and benchmark these estimates against finite element method eigenmode and frequency domain electromagnetic simulations.
△ Less
Submitted 4 October, 2021; v1 submitted 14 September, 2021;
originally announced September 2021.
-
Fibrations and Koszul duality in locally Cartesian localisations
Authors:
Andrew W. Macpherson
Abstract:
I show that any locally Cartesian left localisation of a presentable infinity-category admits a right proper model structure in which all morphisms are cofibrations, and obtain a Koszul duality classification of its fibrations. By a simple criterion in terms of generators for a localisation to be locally Cartesian, this applies to any nullification functor. In particular, it includes examples with…
▽ More
I show that any locally Cartesian left localisation of a presentable infinity-category admits a right proper model structure in which all morphisms are cofibrations, and obtain a Koszul duality classification of its fibrations. By a simple criterion in terms of generators for a localisation to be locally Cartesian, this applies to any nullification functor. In particular, it includes examples with non-trivial "homotopical content."
I further describe, and provide examples from, the set of fibrations in three contexts: the higher categorical Thomason model structure of Mazel-Gee, where fibrations are local systems; Morel-Voevodsky A1-localisation, where they are a higher analogue of A1-covering spaces; and the Quillen plus construction, where they are related to loop space modules trivialised over the universal acyclic extension.
△ Less
Submitted 12 August, 2021; v1 submitted 25 May, 2021;
originally announced May 2021.
-
Partial Meissner effect measurement by a superconducting magnetic flux lens
Authors:
A. Ivanov,
T. Koettig,
A. Macpherson
Abstract:
Magnetic flux trap** in the Meissner transition of superconducting radio frequency cavities can substantially increase dissipation which impacts cryogenic costs and necessitates expensive magnetic shielding. Recent findings point at the material preparation and the cool down dynamics at the vortex state as the main ways to counteract flux trap**. Most of the related measurements are performed…
▽ More
Magnetic flux trap** in the Meissner transition of superconducting radio frequency cavities can substantially increase dissipation which impacts cryogenic costs and necessitates expensive magnetic shielding. Recent findings point at the material preparation and the cool down dynamics at the vortex state as the main ways to counteract flux trap**. Most of the related measurements are performed on the cavity, with risk of results being impacted by the cool down specifics of each facility. We demonstrate an alternative experiment in which flux expulsion is quantified from sheet material, with samples conduction cooled in a stand-alone instrument designed to collimate expelled flux at controlled cool down conditions. A series of tests reliably and reproducibly relate the amount of expelled flux to the cooling rate, the velocity of the superconducting front and the spatial temperature gradient. The results are in line with tests performed on bare cavities and show that expulsion of trapped flux improves with the spatial temperature gradient, independent on the cooling rate. Our concept offers means to control the dynamics of the Meissner effect and can be used for material qualification prior to cavity fabrication.
△ Less
Submitted 11 March, 2021;
originally announced March 2021.
-
An alternative to hypercovers
Authors:
Andrew W. Macpherson
Abstract:
I introduce a class of diagrams in a Grothendieck site called "atlases" which can be used to study hyperdescent, and show that hypersheaves take atlases to limits using an indexed `nerve' construction that produces hypercovers from atlases. Atlases have the flexibility to be at the same time more explicit and more universal than hypercovers.
I introduce a class of diagrams in a Grothendieck site called "atlases" which can be used to study hyperdescent, and show that hypersheaves take atlases to limits using an indexed `nerve' construction that produces hypercovers from atlases. Atlases have the flexibility to be at the same time more explicit and more universal than hypercovers.
△ Less
Submitted 12 October, 2020; v1 submitted 27 August, 2020;
originally announced August 2020.
-
A bivariant Yoneda lemma and $(\infty,2)$-categories of correspondences
Authors:
Andrew W. Macpherson
Abstract:
Everyone knows that if you have a bivariant homology theory satisfying a base change formula, you get an representation of a category of correspondences. For theories in which the covariant and contravariant transfer maps are in mutual adjunction, these data are actually equivalent. In other words, a 2-category of correspondences is the universal way to attach to a given 1-category a set of right…
▽ More
Everyone knows that if you have a bivariant homology theory satisfying a base change formula, you get an representation of a category of correspondences. For theories in which the covariant and contravariant transfer maps are in mutual adjunction, these data are actually equivalent. In other words, a 2-category of correspondences is the universal way to attach to a given 1-category a set of right adjoints that satisfy a base change formula.
Through a bivariant version of the Yoneda paradigm, I give a definition of correspondences in higher category theory and prove an extension theorem for bivariant functors. Moreover, conditioned on the existence of a 2-dimensional Grothendieck construction, I provide a proof of the aforementioned universal property. The methods, morally speaking, employ the `internal logic' of higher category theory: they make no explicit use of any particular model.
△ Less
Submitted 10 August, 2021; v1 submitted 21 May, 2020;
originally announced May 2020.
-
The operad that corepresents enrichment
Authors:
Andrew W. Macpherson
Abstract:
I show that the theories of enrichment in a monoidal infinity-category defined by Hinich and by Gepner-Haugseng agree, and that the identification is unique. Among other things, this makes the Yoneda lemma available in the former model.
I show that the theories of enrichment in a monoidal infinity-category defined by Hinich and by Gepner-Haugseng agree, and that the identification is unique. Among other things, this makes the Yoneda lemma available in the former model.
△ Less
Submitted 23 February, 2019;
originally announced February 2019.
-
Prediction of Beam Losses during Crab Cavity Quenches at the HL-LHC
Authors:
Robert Apsimon,
Graeme Burt,
Amos Dexter,
Nick Shipman,
Philippe Baudrenghien,
Rama Calaga,
Alejandro Castilla,
Alick Macpherson,
Kyrre Ness Sjobak,
Andrea Santamaria Garcia,
Niall Stapley,
Androula Alekou,
Robert Appleby
Abstract:
Studies of the crab cavities at KEKB revealed that the RF phase could shift by up to 50o within ~50 us during a quench; while the cavity voltage is still at approximately 75% of its nominal amplitude. If such a failure were to occur on the HL-LHC crab cavities, it is likely that the machine would sustain substantial damage to the beam line and surrounding infrastructure due to uncontrolled beam lo…
▽ More
Studies of the crab cavities at KEKB revealed that the RF phase could shift by up to 50o within ~50 us during a quench; while the cavity voltage is still at approximately 75% of its nominal amplitude. If such a failure were to occur on the HL-LHC crab cavities, it is likely that the machine would sustain substantial damage to the beam line and surrounding infrastructure due to uncontrolled beam loss before the machine protection system could dump the beam. We have developed a low-level RF system model, including detuning mechanisms and beam loading, and use this to simulate the behaviour of a crab cavity during a quench, modeling the low-level RF system, detuning mechanisms and beam loading. We supplement this with measurement data of the actual RF response of the proof of principle Double-Quarter Wave Crab Cravity during a quench. Extrapolating these measurements to the HL-LHC, we show that Lorentz Force detuning is the dominant effect leading to phase shifts in the crab cavity during quenches; rather than pressure detuning which is expected to be dominant for the KEKB crab cavities. The total frequency shift for the HL-LHC crab cavities during quenches is expected to be about 460 Hz, leading to a phase shift of no more than 3o. The results of the quench model are read into a particle tracking simulation, SixTrack, and used to determine the effect of quenches on the HL-LHC beam. The quench model has been benchmarked against the KEKB experimental measurements. In this paper we present the results of the simulations on a crab cavity failure for HL-LHC as well as for the SPS and show that beam loss is negligible when using a realistic low-level RF response.
△ Less
Submitted 4 December, 2018;
originally announced December 2018.
-
The rent's too high: Self-archive for fair online publication costs
Authors:
Robert T. Thibault,
Amanda MacPherson,
Stevan Harnad,
Amir Raza
Abstract:
The main contributors of scientific knowledge, researchers, generally aim to disseminate their findings far and wide. And yet, publishing companies have largely kept these findings behind a paywall. With digital publication technology markedly reducing cost, this enduring wall seems disproportionate and unjustified; moreover, it has sparked a topical exchange concerning how to modernize academic p…
▽ More
The main contributors of scientific knowledge, researchers, generally aim to disseminate their findings far and wide. And yet, publishing companies have largely kept these findings behind a paywall. With digital publication technology markedly reducing cost, this enduring wall seems disproportionate and unjustified; moreover, it has sparked a topical exchange concerning how to modernize academic publishing. This discussion, however, seems to focus on how to compensate major publishers for providing open access through a "pay to publish" model, in turn transferring financial burdens from libraries to authors and their funders. Large publishing companies, including Elsevier, Springer Nature, Wiley, PLoS, and Frontiers, continue to earn exorbitant revenues each year, hundreds of millions of dollars of which now come from processing charges for open-access articles. A less expensive and equally accessible alternative exists: widespread self-archiving of peer-reviewed articles. All we need is awareness of this alternative and the will to employ it
△ Less
Submitted 18 August, 2018;
originally announced August 2018.
-
RF Systems
Authors:
P. Baudrenghien,
G. Burt,
R. Calaga,
O. Capatina,
W. Hofle,
E. Jensen,
A. Macpherson,
E. Montesinos,
A. Ratti,
E. Shaposhnikova
Abstract:
Chapter 4 in High-Luminosity Large Hadron Collider (HL-LHC). The Large Hadron Collider (LHC) is one of the largest scientific instruments ever built. Since opening up a new energy frontier for exploration in 2010, it has gathered a global user community of about 7,000 scientists working in fundamental particle physics and the physics of hadronic matter at extreme temperature and density. To sustai…
▽ More
Chapter 4 in High-Luminosity Large Hadron Collider (HL-LHC). The Large Hadron Collider (LHC) is one of the largest scientific instruments ever built. Since opening up a new energy frontier for exploration in 2010, it has gathered a global user community of about 7,000 scientists working in fundamental particle physics and the physics of hadronic matter at extreme temperature and density. To sustain and extend its discovery potential, the LHC will need a major upgrade in the 2020s. This will increase its luminosity (rate of collisions) by a factor of five beyond the original design value and the integrated luminosity (total collisions created) by a factor ten. The LHC is already a highly complex and exquisitely optimised machine so this upgrade must be carefully conceived and will require about ten years to implement. The new configuration, known as High Luminosity LHC (HL-LHC), will rely on a number of key innovations that push accelerator technology beyond its present limits. Among these are cutting-edge 11-12 tesla superconducting magnets, compact superconducting cavities for beam rotation with ultra-precise phase control, new technology and physical processes for beam collimation and 300 metre-long high-power superconducting links with negligible energy dissipation. The present document describes the technologies and components that will be used to realise the project and is intended to serve as the basis for the detailed engineering design of HL-LHC.
△ Less
Submitted 26 May, 2017;
originally announced May 2017.
-
The universal property of derived geometry
Authors:
Andrew W. Macpherson
Abstract:
Derived geometry can be defined as the universal way to adjoin finite homotopical limits to a given category of manifolds compatibly with products and glueing. The point of this paper is to show that a construction closely resembling existing approaches to derived geometry in fact produces a geometry with this universal property.
I also investigate consequences of this definition in particular i…
▽ More
Derived geometry can be defined as the universal way to adjoin finite homotopical limits to a given category of manifolds compatibly with products and glueing. The point of this paper is to show that a construction closely resembling existing approaches to derived geometry in fact produces a geometry with this universal property.
I also investigate consequences of this definition in particular in the differentiable setting, and compare the theory so obtained to D. Spivak's axioms for derived C-infinity geometry.
△ Less
Submitted 31 March, 2021; v1 submitted 29 January, 2017;
originally announced January 2017.
-
Projective modules over polyhedral semirings
Authors:
Andrew W. Macpherson
Abstract:
I classify projective modules over idempotent semirings that are free on a monoid. The analysis extends to the case of the semiring of convex, piecewise-affine functions on a polyhedron, for which projective modules correspond to convex families of weight polyhedra for the general linear group.
I classify projective modules over idempotent semirings that are free on a monoid. The analysis extends to the case of the semiring of convex, piecewise-affine functions on a polyhedron, for which projective modules correspond to convex families of weight polyhedra for the general linear group.
△ Less
Submitted 26 July, 2015;
originally announced July 2015.
-
On the difference between `tropical functions' and real-valued functions
Authors:
Andrew W. Macpherson
Abstract:
I introduce the concept of integral closure for elements and ideals in idempotent semirings, and establish how it corresponds to its namesake in commutative algebra.
In the case of free semirings, integral closure can be understood in terms of a certain monoid of convex bodies under Minkowski sum. I argue that integral closure therefore accounts for the difference between `tropical functions' an…
▽ More
I introduce the concept of integral closure for elements and ideals in idempotent semirings, and establish how it corresponds to its namesake in commutative algebra.
In the case of free semirings, integral closure can be understood in terms of a certain monoid of convex bodies under Minkowski sum. I argue that integral closure therefore accounts for the difference between `tropical functions' and real functions.
△ Less
Submitted 6 March, 2016; v1 submitted 2 July, 2015;
originally announced July 2015.
-
Affine manifolds are rigid analytic spaces in characteristic one, II
Authors:
Andrew W. Macpherson
Abstract:
I extend the framework of rigid analytic geometry to the setting of algebraic geometry relative to monoids, and study the associated notions of separated, proper, and overconvergent morphisms.
The category of affine manifolds embeds as a subcategory defined by simple algebraic (normal) and topological (overconvergent) criteria. The affine manifold of a rigid space can be recovered either as a se…
▽ More
I extend the framework of rigid analytic geometry to the setting of algebraic geometry relative to monoids, and study the associated notions of separated, proper, and overconvergent morphisms.
The category of affine manifolds embeds as a subcategory defined by simple algebraic (normal) and topological (overconvergent) criteria. The affine manifold of a rigid space can be recovered either as a set of `Novikov field' points or as a universal Hausdorff quotient. After base change to any topological field, one obtains a `toric' analytic space that fibres over the affine manifold.
△ Less
Submitted 28 May, 2015;
originally announced May 2015.
-
Affine manifolds are rigid analytic spaces in characteristic one, I
Authors:
Andrew W. Macpherson
Abstract:
I extend the definitions of schemes relative to monoids with zero - and therefore, toric geometry - to the world of formal schemes. This expands the usual framework to include, for instance, models for Mumford's degenerating Abelian varieties.
Following the usual toric paradigm, normal formal monoid schemes can be classified in terms of certain cone complexes, and their properties understood in…
▽ More
I extend the definitions of schemes relative to monoids with zero - and therefore, toric geometry - to the world of formal schemes. This expands the usual framework to include, for instance, models for Mumford's degenerating Abelian varieties.
Following the usual toric paradigm, normal formal monoid schemes can be classified in terms of certain cone complexes, and their properties understood in combinatorial terms. I use this to give a simple algebraisation criterion.
I also reformulate the traditional notions of separated and proper morphism in a manner amenable to the context of relative formal geometry, and give characterisations in terms of the topology of cone complexes.
△ Less
Submitted 28 May, 2015; v1 submitted 26 May, 2015;
originally announced May 2015.
-
Skeleta in non-Archimedean and tropical geometry
Authors:
Andrew W. Macpherson
Abstract:
I describe an algebro-geometric theory of skeleta, which provides a unified setting for the study of tropical varieties, skeleta of non-Archimedean analytic spaces, and affine manifolds with singularities. Skeleta are spaces equipped with a structure sheaf of topological semirings, and are locally modelled on the spectra of the same. The primary result of this paper is that the topological space u…
▽ More
I describe an algebro-geometric theory of skeleta, which provides a unified setting for the study of tropical varieties, skeleta of non-Archimedean analytic spaces, and affine manifolds with singularities. Skeleta are spaces equipped with a structure sheaf of topological semirings, and are locally modelled on the spectra of the same. The primary result of this paper is that the topological space underlying a non-Archimedean analytic space may locally be recovered from the sheaf of `pointwise valuations' of its analytic functions.
△ Less
Submitted 8 September, 2017; v1 submitted 3 November, 2013;
originally announced November 2013.
-
Design, Implementation and First Measurements with the Medipix Neutron Camera in CMS
Authors:
Dorothea Pfeiffer,
Austin Ball,
Alan Bell,
Anthony Butler,
Philip Butler,
Richard Hall-Wilton,
Jeroen Hegeman,
Stuart Lansley,
Gary Keen,
David Krofcheck,
Steffen Mueller,
Alick Macpherson,
Stanislav Pospisil,
Hamish Silverwood,
Emmanuel Tsesmelis,
Zdenek Vykydal
Abstract:
The Medipix detector is the first device dedicated to measuring mixed-field radiation in the CMS cavern and able to distinguish between different particle types. Medipix2-MXR chips bump bonded to silicon sensors with various neutron conversion layers developed by the IEAP CTU in Prague were successfully installed for the 2008 LHC start-up in the CMS experimental and services caverns to measure the…
▽ More
The Medipix detector is the first device dedicated to measuring mixed-field radiation in the CMS cavern and able to distinguish between different particle types. Medipix2-MXR chips bump bonded to silicon sensors with various neutron conversion layers developed by the IEAP CTU in Prague were successfully installed for the 2008 LHC start-up in the CMS experimental and services caverns to measure the flux of various particle types, in particular neutrons. They have operated almost continuously during the 2010 run period, and the results shown here are from the proton run between the beginning of July and the end of October 2010. Clear signals are seen and different particle types have been observed during regular LHC luminosity running, and an agreement in the measured flux rate is found with the simulations. These initial results are promising, and indicate that these devices have the potential for further and future LHC and high energy physics applications as radiation monitoring devices for mixed field environments, including neutron flux monitoring. Further extensions are foreseen in the near future to increase the performance of the detector and its coverage for monitoring in CMS.
△ Less
Submitted 6 May, 2011;
originally announced May 2011.
-
Fast Beam Conditions Monitor BCM1F for the CMS Experiment
Authors:
A. Bell,
E. Castro,
R. Hall-Wilton,
W. Lange,
W. Lohmann,
A. Macpherson,
M. Ohlerich,
N. Rodriguez,
V. Ryjov,
R. S. Schmidt,
R. L. Stone
Abstract:
The CMS Beam Conditions and Radiation Monitoring System, BRM, will support beam tuning, protect the CMS detector from adverse beam conditions, and measure the accumulated dose close to or inside all sub-detectors. It is composed of different sub-systems measuring either the particle flux near the beam pipe with time resolution between nano- and microseconds or the integrated dose over longer tim…
▽ More
The CMS Beam Conditions and Radiation Monitoring System, BRM, will support beam tuning, protect the CMS detector from adverse beam conditions, and measure the accumulated dose close to or inside all sub-detectors. It is composed of different sub-systems measuring either the particle flux near the beam pipe with time resolution between nano- and microseconds or the integrated dose over longer time intervals. This paper presents the Fast Beam Conditions Monitor, BCM1F, which is designed for fast flux monitoring measuring both beam halo and collision products. BCM1F is located inside the CMS pixel detector volume close to the beam-pipe. It uses sCVD diamond sensors and radiation hard front-end electronics, along with an analog optical readout of the signals. The commissioning of the system and its successful operation during the first be ams of the LHC are described.
△ Less
Submitted 18 December, 2009; v1 submitted 12 November, 2009;
originally announced November 2009.
-
Nucleon Decay in Non-Minimal Supersymmetric SO(10)
Authors:
Alick L. Macpherson
Abstract:
Evaluation of nucleon decay modes and branching ratios in a non-minimal supersymmetric SO(10) grand unified theory is presented. The non-minimal GUT considered is the supersymmetrised version of the `realistic' SO(10) model originally proposed by Harvey, Reiss, and Ramond, which is realistic in that it gives acceptable charged fermion and neutrino masses within the context of a phenomenological…
▽ More
Evaluation of nucleon decay modes and branching ratios in a non-minimal supersymmetric SO(10) grand unified theory is presented. The non-minimal GUT considered is the supersymmetrised version of the `realistic' SO(10) model originally proposed by Harvey, Reiss, and Ramond, which is realistic in that it gives acceptable charged fermion and neutrino masses within the context of a phenomenological fit to the low energy standard model inputs. Despite a complicated Higgs sector, the SO(10) $\underline{10}$ Higgs superfield mass insertion is found to be the sole contribution to the tree level F-term governing nucleon decay. The resulting dimension 5 operators that mediate nucleon decay give branching ratio predictions parameterised by a single parameter, the ratio of the Yukawa couplings of the $\underline{10}$ to the fermion generations. For parameter values corresponding to a lack of dominance of the third family self coupling, the dominant nucleon decay modes are $p \rightarrow K^{+} + \barν_μ$ and $n \rightarrow K^{0} + \barν_μ$, as expected. Further, the charged muon decay modes are enhanced by two orders of magnitude over the standard minimal SUSY SU(5) predictions, thus predicting a distinct spectrum of `visible' modes. These charged muon decay modes, along with $p \rightarrow π^{+} + \barν_μ$ and $n \rightarrow π^{0} + \barν_μ$, which are moderately enhanced over the SUSY SU(5) prediction, suggest a distinguishing fingerprint of this particular GUT model, and if nucleon decay is observed at Super-KAMIOKANDE the predicted branching ratio spectrum can be used to determine the validity of this `realistic' SO(10) SUSY GUT model.
△ Less
Submitted 10 December, 1995;
originally announced December 1995.
-
Fermi Ball Detection
Authors:
Alick L. Macpherson,
James L. Pinfold
Abstract:
The detectability of charged SLAC-bag type structures is considered. These objects, known as Fermi balls, arise from the spontaneous symmetry breaking of a biased discrete symmetry in the early universe. Two classes of experimental searches are discussed. Since Fermi balls in the theoretically favoured mass range are absorbed by the atmosphere, direct experimental searches are confined to space-…
▽ More
The detectability of charged SLAC-bag type structures is considered. These objects, known as Fermi balls, arise from the spontaneous symmetry breaking of a biased discrete symmetry in the early universe. Two classes of experimental searches are discussed. Since Fermi balls in the theoretically favoured mass range are absorbed by the atmosphere, direct experimental searches are confined to space-based facilities. Simple spectrometer and time of flight analysis give a quantitative estimate of Fermi ball mass up to a limit set by the system's tracking resolution. For the ASTROMAG facility, with a tracking resolution of 50 $μ$m the upper bound on detectable Fermi ball masses is of order $10^{15}$ GeV/c$^{2}$. Charged tracks with sagitta smaller than this resolution would provide evidence in favour of Fermi balls, but only give a lower bound on the discrete symmetry breaking scale $\varphi_{0}$. The second class of experimental search proposed relies on the detection of bound Fermi ball states that have been concentrated in terrestrial materials such as oceanic sediment.
△ Less
Submitted 9 December, 1994;
originally announced December 1994.
-
Biased Discrete Symmetry Breaking and Fermi Balls
Authors:
Alick L. Macpherson,
Bruce A. Campbell
Abstract:
The spontaneous breaking of an approximate discrete symmetry is considered, with the resulting protodomains of true and false vacuum being separated by domain walls. Given a strong, symmetric Yukawa coupling of the real scalar field to a generic fermion, the domain walls accumulate a gas of fermions, which modify the domain wall dynamics. The splitting of the degeneracy of the ground states resu…
▽ More
The spontaneous breaking of an approximate discrete symmetry is considered, with the resulting protodomains of true and false vacuum being separated by domain walls. Given a strong, symmetric Yukawa coupling of the real scalar field to a generic fermion, the domain walls accumulate a gas of fermions, which modify the domain wall dynamics. The splitting of the degeneracy of the ground states results in the false vacuum protodomain structures eventually being fragmented into tiny false vacuum bags with a Fermi gas shell (Fermi balls), that may be cosmologically stable due to the Fermi gas pressure and wall curvature forces, acting on the domain walls. As fermions inhabiting the domain walls do not undergo number density freeze out, stable Fermi balls exist only if a fermion anti-fermion asymmetry occurs. Fermi balls formed with a new Dirac fermion that possesses no standard model gauge charges provide a novel cold dark matter candidate.
△ Less
Submitted 30 August, 1994;
originally announced August 1994.
-
Toponium Tests Of Top-Quark Higgs Bags
Authors:
Alick L. Macpherson,
Bruce A. Campbell
Abstract:
Recently it has been suggested that top quarks, or very massive fourth generation quarks, might surround themselves with a Higgs "bag" of deformation of the Higgs expectation value from its vacuum magnitude. In this paper we address the question of whether such nonlinear Higgs-top interaction effects are subject to experimental test. We first note that if top quarks were necessarily accompanied…
▽ More
Recently it has been suggested that top quarks, or very massive fourth generation quarks, might surround themselves with a Higgs "bag" of deformation of the Higgs expectation value from its vacuum magnitude. In this paper we address the question of whether such nonlinear Higgs-top interaction effects are subject to experimental test. We first note that if top quarks were necessarily accompanied by Higgs "bags", then top quark weak decay would involve the sudden disruption of the Higgs "bag", with copious production of physical Higgs particles accompanying the decay. We then examine the effects that such Higgs "bags" would produce on the spectrum of toponium, where the two bound top (anti)quarks, and their "bags", overlap. We numerically evaluate the effects that the nonlinear feedback in the Higgs-toponium system would have on the energy level splittings of the toponium bound states, and find that for allowed values of the top and Higgs mass the effect is negligible, thus indicating that even in this favourable circumstance Higgs "bag" formation around top quarks does not observably occur. Finally, we consider the case of a second Higgs doublet, allowing the possibility of enhanced couplings for one of the physical Higgs to top. Even in this nonstandard scenario the effects are minimal, and we infer the general absence of observable effects at any level that might suggest the utility of considering top quarks to be accompanied by Higgs "bags".
△ Less
Submitted 19 February, 1993; v1 submitted 19 February, 1993;
originally announced February 1993.