Showing 1–41 of 41 results for author: Phillips, J D

Loops with universal and semi-universal flexibility

Authors: Riley Britten, Michael Kinyon, Kenneth Kunen, J. D. Phillips

Abstract: We study loops which are universal (that is, isotopically invariant) with respect to the property of flexibility ($xy\cdot x = x\cdot yx$). We also weaken this to semi-universality, that is, loops in which every left and right isotope is flexible, but not necessarily every isotope. One of our main results is that universally flexible, inverse property loops are Moufang loops. On the other hand, se… ▽ More We study loops which are universal (that is, isotopically invariant) with respect to the property of flexibility ($xy\cdot x = x\cdot yx$). We also weaken this to semi-universality, that is, loops in which every left and right isotope is flexible, but not necessarily every isotope. One of our main results is that universally flexible, inverse property loops are Moufang loops. On the other hand, semi-universally flexible, inverse property loops are diassociative. We also examine the relationship between universally flexible loops and middle Bol loops. The paper concludes with some open problems. △ Less

Submitted 10 December, 2023; originally announced December 2023.

Comments: 13pp

MSC Class: 20N05

Letter of Intent: Muonium R&D/Physics Program at the MTA

Authors: C. Gatto, C. Izzo, C. J. Johnstone, D. M. Kaplan, K. R. Lynch, D. C. Mancini, A. Mazzacane, B. McMorran, J. P. Miller, J. D. Phillips, T. J. Phillips, R. D. Reasenberg, T. J. Roberts, J. Terry

Abstract: With the planned turn-on of the PIP-II 800 MeV superconducting proton linac, Fermilab will potentially become the world's best laboratory at which to carry out fundamental muon measurements, sensitive searches for symmetry violation, and precision tests of theory. In preparation, we propose to develop the techniques that will be needed. An R&D and physics program is proposed at the Fermilab MeV Te… ▽ More With the planned turn-on of the PIP-II 800 MeV superconducting proton linac, Fermilab will potentially become the world's best laboratory at which to carry out fundamental muon measurements, sensitive searches for symmetry violation, and precision tests of theory. In preparation, we propose to develop the techniques that will be needed. An R&D and physics program is proposed at the Fermilab MeV Test Area to use the existing 400 MeV Linac to demonstrate the efficient production of a slow muonium beam using $μ^+$ stopped in a ~100-$μ$m-thick layer of superfluid helium, and to use that beam to measure muonium gravity. △ Less

Submitted 9 December, 2022; originally announced December 2022.

Comments: 3 pages, submitted to Fermilab

Report number: IIT-CAPP-22-1

Studying Antimatter Gravity with Muonium

Authors: MAGE Collaboration, Aldo Antognini, Daniel M. Kaplan, Klaus Kirch, Andreas Knecht, Derrick C. Mancini, James D. Phillips, Thomas J. Phillips, Robert D. Reasenberg, Thomas J. Roberts, Anna Soter

Abstract: The gravitational acceleration of antimatter, gbar, has yet to be directly measured; an unexpected outcome of its measurement could change our understanding of gravity, the universe, and the possibility of a fifth force. Three avenues are apparent for such a measurement: antihydrogen, positronium, and muonium, the last requiring a precision atom interferometer and novel muonium beam under developm… ▽ More The gravitational acceleration of antimatter, gbar, has yet to be directly measured; an unexpected outcome of its measurement could change our understanding of gravity, the universe, and the possibility of a fifth force. Three avenues are apparent for such a measurement: antihydrogen, positronium, and muonium, the last requiring a precision atom interferometer and novel muonium beam under development. The interferometer and its few-picometer alignment and calibration systems appear feasible. With 100 nm grating pitch, measurements of gbar to 10%, 1%, or better can be envisioned. These could constitute the first gravitational measurements of leptonic matter, of 2nd-generation matter, and possibly, of antimatter. △ Less

Submitted 6 February, 2018; v1 submitted 31 January, 2018; originally announced February 2018.

Comments: 14 pages, 8 figures, submitted to Atoms

Report number: IIT-CAPP-17-5

Journal ref: Atoms 2018, 6(2), 17

Improved performance of semiconductor laser tracking frequency gauge

Authors: D. M. Kaplan, T. J. Roberts, J. D. Phillips, R. D. Reasenberg

Abstract: We describe new results from the semiconductor-laser tracking frequency gauge, an instrument that can perform sub-picometer distance measurements and has applications in gravity research and in space-based astronomical instruments proposed for the study of light from extrasolar planets. Compared with previous results, we have improved incremental distance accuracy by a factor of two, to 0.9 pm in… ▽ More We describe new results from the semiconductor-laser tracking frequency gauge, an instrument that can perform sub-picometer distance measurements and has applications in gravity research and in space-based astronomical instruments proposed for the study of light from extrasolar planets. Compared with previous results, we have improved incremental distance accuracy by a factor of two, to 0.9 pm in 80 s averaging time, and absolute distance accuracy by a factor of 20, to 0.17 $μ$m in 1000 s. After an interruption of operation of a tracking frequency gauge used to control a distance, it is now possible, using a nonresonant measurement interferometer, to restore the distance to picometer accuracy by combining absolute and incremental distance measurements. △ Less

Submitted 12 March, 2018; v1 submitted 10 December, 2017; originally announced December 2017.

Comments: 8 pages, 4 figures. To appear in JINST. (This version with new figures 3 and 4 with improved graphic quality and performance.)

Report number: IIT-CAPP-17-4

Journal ref: JINST 13 (2018) P03008

Progress Towards a Muonium Gravity Experiment

Authors: Daniel M. Kaplan, Klaus Kirch, Derrick C. Mancini, James D. Phillips, Thomas J. Phillips, Robert D. Reasenberg, Thomas J. Roberts, Jeff Terry

Abstract: The gravitational acceleration of antimatter, $\bar g$, has yet to be directly measured but could change our understanding of gravity, the Universe, and the possibility of a fifth force. Three avenues are apparent for such a measurement: antihydrogen, positronium, and muonium, the last requiring a precision atom interferometer and benefiting from a novel muonium beam under development. The interfe… ▽ More The gravitational acceleration of antimatter, $\bar g$, has yet to be directly measured but could change our understanding of gravity, the Universe, and the possibility of a fifth force. Three avenues are apparent for such a measurement: antihydrogen, positronium, and muonium, the last requiring a precision atom interferometer and benefiting from a novel muonium beam under development. The interferometer and its few-picometer alignment and calibration systems appear to be feasible. With 100 nm grating pitch, measurements of $\bar g$ to 10%, 1%, or better can be envisioned. This could constitute the first gravitational measurement of leptonic matter, of second-generation matter and, possibly, the first measurement of the gravitational acceleration of antimatter. △ Less

Submitted 31 October, 2016; v1 submitted 23 July, 2016; originally announced July 2016.

Comments: Presented at the Seventh Meeting on CPT and Lorentz Symmetry, Bloomington, Indiana, June 20-24, 2016

Report number: IIT-CAPP-16-4

Antimatter gravity with muonium

Authors: Daniel M Kaplan, Ephraim Fischbach, Klaus Kirch, Derrick C Mancini, James D Phillips, Thomas J Phillips, Robert D Reasenberg, Thomas J Roberts, Jeff Terry

Abstract: The gravitational acceleration of antimatter, $\bar{g}$, has never been directly measured and could bear importantly on our understanding of gravity, the possible existence of a fifth force, and the nature and early history of the universe. Three avenues appear feasible for such a measurement: antihydrogen, positronium, and muonium. The muonium measurement requires a novel monoenergetic, low-veloc… ▽ More The gravitational acceleration of antimatter, $\bar{g}$, has never been directly measured and could bear importantly on our understanding of gravity, the possible existence of a fifth force, and the nature and early history of the universe. Three avenues appear feasible for such a measurement: antihydrogen, positronium, and muonium. The muonium measurement requires a novel monoenergetic, low-velocity, horizontal muonium beam directed at an atom interferometer. The precision three-grating interferometer can be produced in silicon nitride or ultrananocrystalline diamond using state-of-the-art nanofabrication. The required precision alignment and calibration at the picometer level also appear to be feasible. With 100 nm grating pitch, a 10% measurement of $\bar{g}$ can be made using some months of surface-muon beam time, and a 1% or better measurement with a correspondingly larger exposure. This could constitute the first gravitational measurement of leptonic matter, of 2nd-generation matter and, possibly, the first measurement of the gravitational acceleration of antimatter. △ Less

Submitted 18 March, 2016; v1 submitted 26 January, 2016; originally announced January 2016.

Comments: 8 pages, 2 figures. Presented at the Third Workshop on Antimatter Gravity (WAG2015), London, England, 4-7 August 2015

Report number: IIT-CAPP-16-1

A scoop from groups: Equational foundations for loops

Authors: J. D. Phillips, Petr Vojtěchovský

Abstract: Groups are usually axiomatized as algebras with an associative binary operation, a two-sided neutral element, and with two-sided inverses. We show in this note that the same simplicity of axioms can be achieved for some of the most important varieties of loops. In particular, we investigate loops of Bol-Moufang type in the underlying variety of magmas with two-sided inverses, and obtain "group-lik… ▽ More Groups are usually axiomatized as algebras with an associative binary operation, a two-sided neutral element, and with two-sided inverses. We show in this note that the same simplicity of axioms can be achieved for some of the most important varieties of loops. In particular, we investigate loops of Bol-Moufang type in the underlying variety of magmas with two-sided inverses, and obtain "group-like" equational bases for Moufang, Bol and C-loops. We also discuss the case when the inverses are only one-sided and/or the neutral element is only one-sided. △ Less

Submitted 17 September, 2015; originally announced September 2015.

MSC Class: 20N05; 03C05

Journal ref: Proceedings of Loops '07, Prague, published in Comment. Math. Univ. Carolin. 49 (2008), no. 2, 279-290

Measuring Antimatter Gravity with Muonium

Authors: Daniel M. Kaplan, Klaus Kirch, Derrick Mancini, James D. Phillips, Thomas J. Phillips, Thomas J. Roberts, Jeff Terry

Abstract: The gravitational acceleration of antimatter, $\bar{g}$, has never been directly measured and could bear importantly on our understanding of gravity, the possible existence of a fifth force, and the nature and early history of the universe. Only two avenues for such a measurement appear to be feasible: antihydrogen and muonium. The muonium measurement requires a novel, monoenergetic, low-velocity,… ▽ More The gravitational acceleration of antimatter, $\bar{g}$, has never been directly measured and could bear importantly on our understanding of gravity, the possible existence of a fifth force, and the nature and early history of the universe. Only two avenues for such a measurement appear to be feasible: antihydrogen and muonium. The muonium measurement requires a novel, monoenergetic, low-velocity, horizontal muonium beam directed at an atom interferometer. The precision three-grating interferometer can be produced in silicon nitride or ultrananocrystalline diamond using state-of-the-art nanofabrication. The required precision alignment and calibration at the picometer level also appear to be feasible. With 100 nm grating pitch, a 10% measurement of $\bar{g}$ can be made using some months of surface-muon beam time, and a 1% or better measurement with a correspondingly larger exposure. This could constitute the first gravitational measurement of leptonic matter, of 2nd-generation matter and, possibly, the first measurement of the gravitational acceleration of antimatter. △ Less

Submitted 10 December, 2014; originally announced December 2014.

Comments: 6 pages, 3 figures. To appear in Proc. ICNFP2014

Report number: IIT-CAPP-14-03

Design and operation of a cryogenic charge-integrating preamplifier for the MuSun experiment

Authors: R. A. Ryan, F. Wauters, F. E. Gray, P. Kammel, A. Nadtochy, D. Peterson, T. van Wechel, E. Gross, M. Gubanich, L. Kochenda, P. Kravtsov, M. H. Murray, D. Orozco, R. Osofsky, G. E. Petrov, J. D. Phillips, J. Stroud, V. Trofimov, A. Vasilyev, M. Vznuzdaev

Abstract: The central detector in the MuSun experiment is a pad-plane time projection ionization chamber that operates without gas amplification in deuterium at 31 K; it is used to measure the rate of the muon capture process $μ^- + d \rightarrow n + n + ν_μ$. A new charge-sensitive preamplifier, operated at 140 K, has been developed for this detector. It achieved a resolution of 4.5 keV(D$_2$) or 120… ▽ More The central detector in the MuSun experiment is a pad-plane time projection ionization chamber that operates without gas amplification in deuterium at 31 K; it is used to measure the rate of the muon capture process $μ^- + d \rightarrow n + n + ν_μ$. A new charge-sensitive preamplifier, operated at 140 K, has been developed for this detector. It achieved a resolution of 4.5 keV(D$_2$) or 120 $e^-$ RMS with zero detector capacitance at 1.1 $μ$s integration time in laboratory tests. In the experimental environment, the electronic resolution is 10 keV(D$_2$) or 250 $e^-$ RMS at a 0.5 $μ$s integration time. The excellent energy resolution of this amplifier has enabled discrimination between signals from muon-catalyzed fusion and muon capture on chemical impurities, which will precisely determine systematic corrections due to these processes. It is also expected to improve the muon tracking and determination of the stop** location. △ Less

Submitted 12 May, 2014; v1 submitted 11 April, 2014; originally announced April 2014.

Comments: 18 pages + title page, 13 figures, to be submitted to JINST; minor corrections, added one reference, updated author list

Exact Hausdorff Measure of Certain Non-Self-Similar Cantor Sets

Authors: Steen Pedersen, Jason D. Phillips

Abstract: We establish a formula yielding the Hausdorff measure for a class of non-self-similar Cantor sets in terms of the canonical covers of the Cantor set. We establish a formula yielding the Hausdorff measure for a class of non-self-similar Cantor sets in terms of the canonical covers of the Cantor set. △ Less

Submitted 4 December, 2013; originally announced December 2013.

Comments: 19 pages

MSC Class: 11K55; 28A78; 28A80; 51F99

Analysis and simulation of the operation of a Kelvin probe

Authors: Robert D. Reasenberg, Kathleen P. Donahue, James D. Phillips

Abstract: Experiments that measure extremely small gravitational forces are often hampered by the presence of non-gravitational forces that can neither be calculated nor separately measured. Among these spurious forces is electrostatic attraction between a test mass and its surroundings due to the presence of spatially varying surface potential known as the "patch effect." In order to make surfaces with sma… ▽ More Experiments that measure extremely small gravitational forces are often hampered by the presence of non-gravitational forces that can neither be calculated nor separately measured. Among these spurious forces is electrostatic attraction between a test mass and its surroundings due to the presence of spatially varying surface potential known as the "patch effect." In order to make surfaces with small surface potential variation, it is necessary to be able to measure it. A Kelvin probe (KP) measures contact potential difference (CPD), using the time-varying capacitance between the sample and a vibrating tip that is biased with a backing potential. Assuming that the tip remains constant, this measures the sample's surface potential variation. We examine the operation of the KP from the perspective of parameter estimation in the presence of noise. We show that, when the CPD is estimated from measurements at two separate backing potentials, the standard deviation of the optimal estimate depends on the total observing time. Further, the observing time may be unevenly divided between the two backing potentials, provided the values of those potentials are correspondingly set. We simulate a two-stage KP data analysis, including a sub-optimal estimator with advantages for real-time operation. Based on the real-time version, we present a novel approach to stabilizing the average distance of the tip from the sample. We also present the results of a series of covariance analyses that validate and bound the applicability of the suboptimal estimator, make a comparison with the results of an optimal estimator and guide the user. We discuss the application of the KP to the LISA and to a test of the weak equivalence principle. △ Less

Submitted 3 June, 2013; originally announced June 2013.

Comments: 26 pages, 11 figures

Journal ref: Class. Quantum Grav. 30 (2013) 125016

The structure of automorphic loops

Authors: Michael Kinyon, Ken Kunen, J. D. Phillips, Petr Vojtechovsky

Abstract: Automorphic loops are loops in which all inner map**s are automorphisms. This variety of loops includes, for instance, groups and commutative Moufang loops. We study uniquely 2-divisible automorphic loops, particularly automorphic loops of odd order, from the point of view of the associated Bruck loops (motivated by Glauberman's work on uniquely 2-divisible Moufang loops) and the associated Li… ▽ More Automorphic loops are loops in which all inner map**s are automorphisms. This variety of loops includes, for instance, groups and commutative Moufang loops. We study uniquely 2-divisible automorphic loops, particularly automorphic loops of odd order, from the point of view of the associated Bruck loops (motivated by Glauberman's work on uniquely 2-divisible Moufang loops) and the associated Lie rings (motivated by a construction of Wright). We prove that every automorphic loop $Q$ of odd order is solvable, contains an element of order $p$ for every prime $p$ dividing $|Q|$, and $|S|$ divides $|Q|$ for every subloop $S$ of $Q$. There are no finite simple nonassociative commutative automorphic loops, and there are no finite simple nonassociative automorphic loops of order less than 2500. We show that if $Q$ is a finite simple nonassociative automorphic loop then the socle of the multiplication group of $Q$ is not regular. The existence of a finite simple nonassociative automorphic loop remains open. Let $p$ be an odd prime. Automorphic loops of order $p$ or $p^2$ are groups, but there exist nonassociative automorphic loops of order $p^3$, some with trivial nucleus (center) and of exponent $p$. We construct nonassociative "dihedral" automorphic loops of order $2n$ for every $n>2$, and show that there are precisely $p-2$ nonassociative automorphic loops of order $2p$, all of them dihedral. △ Less

Submitted 5 October, 2012; originally announced October 2012.

Comments: 27 pages

MSC Class: 20N05

Design and characteristics of a WEP test in a sounding-rocket payload

Authors: Robert D. Reasenberg, Biju R. Patla, James D. Phillips, Rajesh Thapa

Abstract: We describe SR-POEM, a Galilean test of the weak equivalence principle that is to be conducted during the free fall portion of the flight of a sounding rocket payload. This test of a single pair of substances will have a measurement uncertainty of σ(η) < 2 10^17 after averaging the results of eight separate drops, each of 120 s duration. The entire payload is inverted between successive drops to c… ▽ More We describe SR-POEM, a Galilean test of the weak equivalence principle that is to be conducted during the free fall portion of the flight of a sounding rocket payload. This test of a single pair of substances will have a measurement uncertainty of σ(η) < 2 10^17 after averaging the results of eight separate drops, each of 120 s duration. The entire payload is inverted between successive drops to cancel potential sources of systematic error. The weak equivalence principle measurement is made with a set of four of the SAO laser gauges, which have achieved an Allan deviation of 0.04 pm for an averaging time of 30 s. We discuss aspects of the current design with an emphasis on those that bear on the accuracy of the determination of η. The discovery of a violation (η \neq 0) would have profound implications for physics, astrophysics and cosmology. △ Less

Submitted 31 May, 2012; originally announced June 2012.

Comments: 20 pages, 5 figures (color)

On Intersections of Cantor Sets: Self-Similarity

Authors: Steen Pedersen, Jason D. Phillips

Abstract: Let C be a Cantor set. For a real number t let C+t be the translate of C by t, We say two real numbers s,t are equivalent if the intersection of C and C+s is a translate of the intersection of C and C+t. We consider a class of Cantor sets determined by similarities with one fixed positive contraction ratio. For this class of Cantor set, we show that an "initial segment" of the intersection of C an… ▽ More Let C be a Cantor set. For a real number t let C+t be the translate of C by t, We say two real numbers s,t are equivalent if the intersection of C and C+s is a translate of the intersection of C and C+t. We consider a class of Cantor sets determined by similarities with one fixed positive contraction ratio. For this class of Cantor set, we show that an "initial segment" of the intersection of C and C+t is a self-similar set with contraction ratios that are powers of the contraction ratio used to describe C as a self- similar set if and only if t is equivalent to a rational number. Our results are new even for the middle thirds Cantor set. △ Less

Submitted 28 June, 2012; v1 submitted 11 May, 2012; originally announced May 2012.

Comments: 25 pages

On Intersections of Cantor Sets: Hausdorff Measure

Authors: Steen Pedersen, Jason D. Phillips

Abstract: We establish formulas for bounds on the Haudorff measure of the intersection of certain Cantor sets with their translates. As a consequence we obtain a formula for the Hausdorff dimensions of these intersections. We establish formulas for bounds on the Haudorff measure of the intersection of certain Cantor sets with their translates. As a consequence we obtain a formula for the Hausdorff dimensions of these intersections. △ Less

Submitted 21 June, 2012; v1 submitted 19 March, 2012; originally announced March 2012.

Comments: 19 pages

MSC Class: 28A80; 28A78

A quick test of the WEP enabled by a sounding rocket

Authors: Robert D. Reasenberg, Enrico C. Lorenzini, Biju R. Patla, James D. Phillips, Eugeniu E. Popescu, Emanuele Rocco, Rajesh Thapa

Abstract: We describe SR-POEM, a Galilean test of the weak equivalence principle, which is to be conducted during the free fall portion of a sounding rocket flight. This test of a single pair of substances is aimed at a measurement uncertainty of σ(η) < 10-16 after averaging the results of eight separate drops, each of 40 s duration. The weak equivalence principle measurement is made with a set of four lase… ▽ More We describe SR-POEM, a Galilean test of the weak equivalence principle, which is to be conducted during the free fall portion of a sounding rocket flight. This test of a single pair of substances is aimed at a measurement uncertainty of σ(η) < 10-16 after averaging the results of eight separate drops, each of 40 s duration. The weak equivalence principle measurement is made with a set of four laser gauges that are expected to achieve 0.1 pm/\sqrt{Hz}. We address the two sources of systematic error that are currently of greatest concern, magnetic force and electrostatic (patch effect) force on the test mass assemblies. The discovery of a violation (η\not= 0) would have profound implications for physics, astrophysics and cosmology. △ Less

Submitted 15 November, 2010; originally announced November 2010.

Comments: 10 pages, 2 figures, To be submitted to: Classical and Quantum Gravity

Journal ref: Class.Quant.Grav.28:094014,2011

Weak Equivalence Principle Test on a Sounding Rocket

Authors: James D. Phillips, Bijunath R. Patla, Eugeniu M. Popescu, Emanuele Rocco, Rajesh Thapa, Robert D. Reasenberg, Enrico C. Lorenzini

Abstract: SR-POEM, our principle of equivalence measurement on a sounding rocket, will compare the free fall rate of two substances yielding an uncertainty of E-16 in the estimate of η. During the past two years, the design concept has matured and we have been working on the required technology, including a laser gauge that is self aligning and able to reach 0.1 pm per root hertz for periods up to 40 s. We… ▽ More SR-POEM, our principle of equivalence measurement on a sounding rocket, will compare the free fall rate of two substances yielding an uncertainty of E-16 in the estimate of η. During the past two years, the design concept has matured and we have been working on the required technology, including a laser gauge that is self aligning and able to reach 0.1 pm per root hertz for periods up to 40 s. We describe the status and plans for this project. △ Less

Submitted 4 August, 2010; originally announced August 2010.

Comments: Presented at the Fifth Meeting on CPT and Lorentz Symmetry, Bloomington, Indiana, June 28-July 2, 2010

Cheban loops

Authors: J. D. Phillips, V. A. Shcherbacov

Abstract: Left Cheban loops are loops that satisfy the identity x(xy.z) = yx.xz. Right Cheban loops satisfy the mirror identity {(z.yx)x = zx.xy}. Loops that are both left and right Cheban are called Cheban loops. Cheban loops can also be characterized as those loops that satisfy the identity x(xy.z) = (y.zx)x. These loops were introduced in Cheban, A. M. Loops with identities of length four and of rank thr… ▽ More Left Cheban loops are loops that satisfy the identity x(xy.z) = yx.xz. Right Cheban loops satisfy the mirror identity {(z.yx)x = zx.xy}. Loops that are both left and right Cheban are called Cheban loops. Cheban loops can also be characterized as those loops that satisfy the identity x(xy.z) = (y.zx)x. These loops were introduced in Cheban, A. M. Loops with identities of length four and of rank three. II. (Russian) General algebra and discrete geometry, pp. 117-120, 164, "Shtiintsa", Kishinev, 1980. Here we initiate a study of their structural properties. Left Cheban loops are left conjugacy closed. Cheban loops are weak inverse property, power associative, conjugacy closed loops; they are centrally nilpotent of class at most two. △ Less

Submitted 16 May, 2010; originally announced May 2010.

Comments: 6 pages

A weak equivalence principle test on a suborbital rocket

Authors: Robert D. Reasenberg, James D. Phillips

Abstract: We describe a Galilean test of the weak equivalence principle, to be conducted during the free fall portion of a sounding rocket flight. The test of a single pair of substances is aimed at a measurement uncertainty of sigma(eta) < 10^-16 after averaging the results of eight separate drops. The weak equivalence principle measurement is made with a set of four laser gauges that are expected to ach… ▽ More We describe a Galilean test of the weak equivalence principle, to be conducted during the free fall portion of a sounding rocket flight. The test of a single pair of substances is aimed at a measurement uncertainty of sigma(eta) < 10^-16 after averaging the results of eight separate drops. The weak equivalence principle measurement is made with a set of four laser gauges that are expected to achieve 0.1 pm Hz^-1/2. The discovery of a violation (eta not equal to 0) would have profound implications for physics, astrophysics, and cosmology. △ Less

Submitted 26 January, 2010; originally announced January 2010.

Comments: To be published in Classical and Quantum Gravity. 14 pages, 6 figures. Further information available at http://www.cfa.harvard.edu/poem/

Right product quasigroups and loops

Authors: Michael K. Kinyon, Aleksandar Krapež, J. D. Phillips

Abstract: Right groups are direct products of right zero semigroups and groups and they play a significant role in the semilattice decomposition theory of semigroups. Right groups can be characterized as associative right quasigroups (magmas in which left translations are bijective). If we do not assume associativity we get right quasigroups which are not necessarily representable as direct products of ri… ▽ More Right groups are direct products of right zero semigroups and groups and they play a significant role in the semilattice decomposition theory of semigroups. Right groups can be characterized as associative right quasigroups (magmas in which left translations are bijective). If we do not assume associativity we get right quasigroups which are not necessarily representable as direct products of right zero semigroups and quasigroups. To obtain such a representation, we need stronger assumptions which lead us to the notion of \emph{right product quasigroup}. If the quasigroup component is a (one-sided) loop, then we have a \emph{right product (left, right) loop}. We find a system of identities which axiomatizes right product quasigroups, and use this to find axiom systems for right product (left, right) loops; in fact, we can obtain each of the latter by adjoining just one appropriate axiom to the right product quasigroup axiom system. We derive other properties of right product quasigroups and loops, and conclude by showing that the axioms for right product quasigroups are independent. △ Less

Submitted 1 April, 2009; v1 submitted 31 March, 2009; originally announced March 2009.

Comments: 15 pages; v2: minor corrections to author data

MSC Class: 20N02 (Primary) 20N05; 08A50 (Secondary)

Journal ref: Quasigroups and Related Systems 19 (2011), 239-264

The varieties of quasigroups of Bol-Moufang type: An equational reasoning approach

Authors: J. D. Phillips, Petr Vojtěchovský

Abstract: A quasigroup identity is of Bol-Moufang type if two of its three variables occur once on each side, the third variable occurs twice on each side, the order in which the variables appear on both sides is the same, and the only binary operation used is the multiplication, viz. $((xy)x)z=x(y(xz))$. Many well-known varieties of quasigroups are of Bol-Moufang type. We show that there are exactly 26 s… ▽ More A quasigroup identity is of Bol-Moufang type if two of its three variables occur once on each side, the third variable occurs twice on each side, the order in which the variables appear on both sides is the same, and the only binary operation used is the multiplication, viz. $((xy)x)z=x(y(xz))$. Many well-known varieties of quasigroups are of Bol-Moufang type. We show that there are exactly 26 such varieties, determine all inclusions between them, and provide all necessary counterexamples. We also determine which of these varieties consist of loops or one-sided loops, and fully describe the varieties of commutative quasigroups of Bol-Moufang type. Some of the proofs are computer-generated. △ Less

Submitted 24 January, 2007; originally announced January 2007.

Comments: 15 pages

MSC Class: 20N05

Journal ref: Journal of Algebra 293 (2005), 17-33

The varieties of loops of Bol-Moufang type

Authors: J. D. Phillips, Petr Vojtěchovský

Abstract: A loop identity is of Bol-Moufang type if two of its three variables occur once on each side, the third variable occurs twice on each side, and the order in which the variables appear on both sides is the same, viz. $((xy)x)z=x(y(xz))$. Loop varieties defined by one identity of Bol-Moufang type include groups, Bol loops, Moufang loops and C-loops. We show that there are exactly 14 such varieties… ▽ More A loop identity is of Bol-Moufang type if two of its three variables occur once on each side, the third variable occurs twice on each side, and the order in which the variables appear on both sides is the same, viz. $((xy)x)z=x(y(xz))$. Loop varieties defined by one identity of Bol-Moufang type include groups, Bol loops, Moufang loops and C-loops. We show that there are exactly 14 such varieties, and determine all inclusions between them, providing all necessary counterexamples, too. This extends and completes the programme of Fenyves. △ Less

Submitted 24 January, 2007; originally announced January 2007.

Comments: 10 pages

MSC Class: 20N05

Journal ref: Algebra Universalis 54 (2005), no. 3, 259-271

Linear groupoids and the associated wreath products

Authors: J. D. Phillips, Petr Vojtěchovský

Abstract: A groupoid identity is said to be linear of length $2k$ if the same $k$ variables appear on both sides of the identity exactly once. We classify and count all varieties of groupoids defined by a single linear identity. For $k=3$, there are 14 nontrivial varieties and they are in the most general position with respect to inclusion. Hentzel et. al. showed that the linear identity $(xy)z = y(zx)$ i… ▽ More A groupoid identity is said to be linear of length $2k$ if the same $k$ variables appear on both sides of the identity exactly once. We classify and count all varieties of groupoids defined by a single linear identity. For $k=3$, there are 14 nontrivial varieties and they are in the most general position with respect to inclusion. Hentzel et. al. showed that the linear identity $(xy)z = y(zx)$ implies commutativity and associativity in all products of at least 5 factors. We complete their project by showing that no other linear identity of any length behaves this way, and by showing how the identity $(xy)z = y(zx)$ affects products of fewer than 5 factors; we include distinguishing examples produced by the finite model builder Mace4. The corresponding combinatorial results for labelled binary trees are given. We associate a certain wreath product with any linear identity. Questions about linear groupoids can therefore be transferred to groups and attacked by group-theoretical computational tools, e.g., GAP. Systematic notation and diagrams for linear identities are devised. A short equational basis for Boolean algebras involving the identity $(xy)z = y(zx)$ is presented, together with a proof produced by the automated theorem prover Otter. △ Less

Submitted 24 January, 2007; originally announced January 2007.

Comments: 19 pages

MSC Class: 20N05; 18B40; 20B40

Journal ref: Journal of Symbolic Computation 40 (2005), no. 3, 1106-1125

C-loops: An introduction

Authors: J. D. Phillips, Petr Vojtěchovský

Abstract: C-loops are loops satisfying $x(y(yz))=((xy)y)z$. They often behave analogously to Moufang loops and they are closely related to Steiner triple systems and combinatorics. We initiate the study of C-loops by proving: (i) Steiner loops are C-loops, (ii) C-loops are alternative, inverse property loops with squares in the nucleus, (iii) the nucleus of a C-loop is a normal subgroup, (iv) C-loops modu… ▽ More C-loops are loops satisfying $x(y(yz))=((xy)y)z$. They often behave analogously to Moufang loops and they are closely related to Steiner triple systems and combinatorics. We initiate the study of C-loops by proving: (i) Steiner loops are C-loops, (ii) C-loops are alternative, inverse property loops with squares in the nucleus, (iii) the nucleus of a C-loop is a normal subgroup, (iv) C-loops modulo their nucleus are Steiner loops, (v) C-loops are power associative, power alternative but not necessarily diassociative, (vi) torsion commutative C-loops are products of torsion abelian groups and torsion commutative 2-C-loops; and several other results. We also give examples of the smallest nonassociative C-loops, and explore the analogy between commutative C-loops and commutative Moufang loops. △ Less

Submitted 24 January, 2007; originally announced January 2007.

Comments: 15 pages

MSC Class: 20N05

Journal ref: Publicationes Mathematicae Debrecen 68 (2006), nos. 1-2, 115-137

When is the commutant of a Bol loop a subloop?

Authors: Michael K. Kinyon, J. D. Phillips, Petr Vojtěchovský

Abstract: A left Bol loop is a loop satisfying $x(y(xz)) = (x(yx))z$. The commutant of a loop is the set of elements which commute with all elements of the loop. In a finite Bol loop of odd order or of order $2k$, $k$ odd, the commutant is a subloop. We investigate conditions under which the commutant of a Bol loop is not a subloop. In a finite Bol loop of order relatively prime to 3, the commutant genera… ▽ More A left Bol loop is a loop satisfying $x(y(xz)) = (x(yx))z$. The commutant of a loop is the set of elements which commute with all elements of the loop. In a finite Bol loop of odd order or of order $2k$, $k$ odd, the commutant is a subloop. We investigate conditions under which the commutant of a Bol loop is not a subloop. In a finite Bol loop of order relatively prime to 3, the commutant generates an abelian group of order dividing the order of the loop. This generalizes a well-known result for Moufang loops. After describing all extensions of a loop $K$ such that $K$ is in the left and middle nuclei of the resulting loop, we show how to construct classes of Bol loops with non-subloop commutant. In particular, we obtain all Bol loops of order 16 with non-subloop commutant. △ Less

Submitted 1 August, 2006; v1 submitted 14 January, 2006; originally announced January 2006.

Comments: 16 pages, 12 pt

MSC Class: 20N05

Journal ref: Trans. Amer. Math. Soc. 360 (2008), no. 5, 2393-2408

F-quasigroups isotopic to groups

Authors: Tomaš Kepka, Michael K. Kinyon, J. D. Phillips

Abstract: In math.GR/0510298, we showed that every loop isotopic to an F-quasigroup is a Moufang loop. Here we characterize, via two simple identities, the class of F-quasigroups which are isotopic to groups. We call these quasigroups FG-quasigroups. We show that FG-quasigroups are linear over groups. We then use this fact to describe their structure. This gives us, for instance, a complete description of… ▽ More In math.GR/0510298, we showed that every loop isotopic to an F-quasigroup is a Moufang loop. Here we characterize, via two simple identities, the class of F-quasigroups which are isotopic to groups. We call these quasigroups FG-quasigroups. We show that FG-quasigroups are linear over groups. We then use this fact to describe their structure. This gives us, for instance, a complete description of the simple FG-quasigroups. Finally, we show an equivalence of equational classes between pointed FG-quasigroups and central generalized modules over a particular ring. △ Less

Submitted 4 January, 2006; originally announced January 2006.

Comments: 11 pages; refers to math.GR/0510298 and math.GR/0512244

MSC Class: 20N05

Journal ref: Comment. Math. Univ. Carolin. 51 (2010), no. 2, 267-277

F-quasigroups and generalized modules

Authors: Tomáš Kepka, Michael Kinyon, J. D. Phillips

Abstract: In math.GR/0510298, we showed that every F-quasigroup is linear over a special kind of Moufang loop called an NK-loop. Here we extend this relationship by showing an equivalence between the equational class of (pointed) F-quasigroups and the equational class corresponding to a certain notion of generalized module (with noncommutative, nonassociative addition) for an associative ring. In math.GR/0510298, we showed that every F-quasigroup is linear over a special kind of Moufang loop called an NK-loop. Here we extend this relationship by showing an equivalence between the equational class of (pointed) F-quasigroups and the equational class corresponding to a certain notion of generalized module (with noncommutative, nonassociative addition) for an associative ring. △ Less

Submitted 12 December, 2005; originally announced December 2005.

Comments: 9 pages, refers to math.GR/0510298

MSC Class: 20N05

Journal ref: Comment. Math. Univ. Carolin. 49 (2008), no. 2, 249-257

The Structure of F-Quasigroups

Authors: Tomáš Kepka, Michael K. Kinyon, J. D. Phillips

Abstract: We solve a problem of Belousov which has been open since 1967: to characterize the loop isotopes of F-quasigroups. We show that every F-quasigroup has a Moufang loop isotope which is a central product of its nucleus and Moufang center. We then use the loop to reveal the structure of the associated F-quasigroup. We solve a problem of Belousov which has been open since 1967: to characterize the loop isotopes of F-quasigroups. We show that every F-quasigroup has a Moufang loop isotope which is a central product of its nucleus and Moufang center. We then use the loop to reveal the structure of the associated F-quasigroup. △ Less

Submitted 16 March, 2007; v1 submitted 14 October, 2005; originally announced October 2005.

Comments: 24 pages. v.2 incorporates minor changes suggested by the referee. To appear in the Journal of Algebra

MSC Class: 20N05

Journal ref: J. Algebra 317 (2007), 435-461

Strongly right alternative rings and Bol loops

Authors: Michael K. Kinyon, Kenneth Kunen, J. D. Phillips

Abstract: We partially answer two questions of Goodaire by showing that in a finite, strongly right alternative ring, the set of units (if the ring is with unity) is a Bol loop under ring multiplication, and the set of quasiregular elements is a Bol loop under "circle" multiplication. We partially answer two questions of Goodaire by showing that in a finite, strongly right alternative ring, the set of units (if the ring is with unity) is a Bol loop under ring multiplication, and the set of quasiregular elements is a Bol loop under "circle" multiplication. △ Less

Submitted 29 July, 2005; originally announced August 2005.

Comments: 5 pages, AMS-LaTeX

MSC Class: 17D05; 20N05

Loops of Bol-Moufang type with a subgroup of index two

Authors: Michael K. Kinyon, J. D. Phillips, Petr Vojtěchovský

Abstract: We describe all constructions for loops of Bol-Moufang type analogous to the Chein construction $M(G,*,g_0)$ for Moufang loops. We describe all constructions for loops of Bol-Moufang type analogous to the Chein construction $M(G,*,g_0)$ for Moufang loops. △ Less

Submitted 5 June, 2005; originally announced June 2005.

Comments: 14 pages, 1 figure, uses natbib.sty, latexcad.sty; submitted to the Bulletin of the Academy of Sciences of Moldova for V.D. Belousov's 80th birthday volume

MSC Class: 20N05

Journal ref: Bul. Acad. Stiinte Repub. Mold. Mat. 3(49) (2005), 71--87.

C-loops: extensions and constructions

Authors: Michael K. Kinyon, J. D. Phillips, Petr Vojtěchovský

Abstract: C-loops are loops satisfying the identity $x(y\cdot yz) = (xy\cdot y)z$. We develop the theory of extensions of C-loops, and characterize all nuclear extensions provided the nucleus is an abelian group. C-loops with central squares have very transparent extensions; they can be built from small blocks arising from the underlying Steiner triple system. Using these extensions, we decide for which a… ▽ More C-loops are loops satisfying the identity $x(y\cdot yz) = (xy\cdot y)z$. We develop the theory of extensions of C-loops, and characterize all nuclear extensions provided the nucleus is an abelian group. C-loops with central squares have very transparent extensions; they can be built from small blocks arising from the underlying Steiner triple system. Using these extensions, we decide for which abelian groups $K$ and Steiner loops $Q$ there is a nonflexible C-loop $C$ with center $K$ such that $C/K$ is isomorphic to $Q$. We discuss possible orders of associators in C-loops. Finally, we show that the loops of signed basis elements in the standard real Cayley-Dickson algebras are C-loops. △ Less

Submitted 19 December, 2004; originally announced December 2004.

Comments: 17 pages, amsart

MSC Class: 20N05

Journal ref: J. Algebra and its Applications 6 (2007), 1-20

Rectangular loops and rectangular quasigroups

Authors: Michael K. Kinyon, J. D. Phillips

Abstract: We solve two problems posed by Krapež by finding a basis of seven independent axioms for the variety of rectangular loops. Six of these axioms form a basis for the variety of rectangular quasigroups. The proofs of the lemmas showing that the six axioms are sufficient are based on proofs generated by the automated reasoning program OTTER, while most of the models verifying the independence of the… ▽ More We solve two problems posed by Krapež by finding a basis of seven independent axioms for the variety of rectangular loops. Six of these axioms form a basis for the variety of rectangular quasigroups. The proofs of the lemmas showing that the six axioms are sufficient are based on proofs generated by the automated reasoning program OTTER, while most of the models verifying the independence of the axioms were generated by the finite model builder Mace4. △ Less

Submitted 18 December, 2004; v1 submitted 5 September, 2004; originally announced September 2004.

Comments: 5 pages, AMS-LaTeX; v.2: minor corrections of proofs; v.3: added section discussing use of automated reasoning, other minor changes at request of referees

MSC Class: 20N05; 20M99; 68T15

Journal ref: Comput. Math. Appl. 49 (2005), no. 11-12, 1679--1685.

Finite Bruck Loops

Authors: Michael Aschbacher, Michael K. Kinyon, J. D. Phillips

Abstract: A loop $(X,\circ)$ is said to be a Bruck loop if it satisfies the (right) Bol identity $((z\circ x)\circ y)\circ x = z\circ ((x\circ y)\circ x)$ and the automorphic inverse property $(x\circ y)^{-1}=x^{-1}\circ y^{-1}$. If $X$ is a finite Bruck loop and $G$ is the group generated by all right translations $R(x): y\mapsto y\circ x$, then we show that $X$ and $G$ are central products… ▽ More A loop $(X,\circ)$ is said to be a Bruck loop if it satisfies the (right) Bol identity $((z\circ x)\circ y)\circ x = z\circ ((x\circ y)\circ x)$ and the automorphic inverse property $(x\circ y)^{-1}=x^{-1}\circ y^{-1}$. If $X$ is a finite Bruck loop and $G$ is the group generated by all right translations $R(x): y\mapsto y\circ x$, then we show that $X$ and $G$ are central products $X = O^{2'}(X) * O(X)$ and $G = O^{2'}(G) * O(G)$, where $O^{2'}(X)$ ($O^{2'}(G)$) is the subloop (subgroup) generated by all 2-elements, and $O(X)$ ($O(G)$) is the largest normal subloop (subgroup) of odd order. In particular, if $X$ is solvable, then these central products are direct products. We also give a set of necessary conditions that must hold for a finite Bruck loop $X$ to be nonsolvable but have each proper section solvable; in particular, $X$ must be simple and consist of 2-elements, while the quotient of $G$ by its largest normal 2-subgroup must be isomorphic to $PGL_2(q)$, with $q=2^n+1\geq 5$. △ Less

Submitted 16 January, 2004; originally announced January 2004.

Comments: 16 pages, AMS-TeX

MSC Class: 20N05

Journal ref: Trans. Amer. Math. Soc. 358 (2006) 3061-3075.

Axioms for trimedial quasigroups

Authors: Michael K. Kinyon, J. D. Phillips

Abstract: We give new equations that axiomatize the variety of trimedial quasigroups. We also improve a standard characterization by showing that right semimedial, left F-quasigroups are trimedial. We give new equations that axiomatize the variety of trimedial quasigroups. We also improve a standard characterization by showing that right semimedial, left F-quasigroups are trimedial. △ Less

Submitted 24 January, 2004; v1 submitted 12 October, 2003; originally announced October 2003.

Comments: 6 pages, AMS-LaTeX. To appear in Comment. Math. Univ. Carolinae. for a special issue: the Proceedings of Loops03. Version 3: the proof of the main result is collected together more formally; other stylistic changes

MSC Class: 20N05

Journal ref: Comment.Math.Univ.Carolinae 45,2 (2004) 287-294.

Diassociativity in Conjugacy Closed Loops

Authors: Michael K. Kinyon, Kenneth Kunen, J. D. Phillips

Abstract: Let $Q$ be a conjugacy closed loop, and $N(Q)$ its nucleus. Then $Z(N(Q))$ contains all associators of elements of $Q$. If in addition $Q$ is diassociative (i.e., an extra loop), then all these associators have order 2. If $Q$ is power-associative and $|Q|$ is finite and relatively prime to 6, then $Q$ is a group. If $Q$ is a finite non-associative extra loop, then $16 \mid |Q|$. Let $Q$ be a conjugacy closed loop, and $N(Q)$ its nucleus. Then $Z(N(Q))$ contains all associators of elements of $Q$. If in addition $Q$ is diassociative (i.e., an extra loop), then all these associators have order 2. If $Q$ is power-associative and $|Q|$ is finite and relatively prime to 6, then $Q$ is a group. If $Q$ is a finite non-associative extra loop, then $16 \mid |Q|$. △ Less

Submitted 20 September, 2002; originally announced September 2002.

Comments: 22 pages

MSC Class: 20N05

Journal ref: Communications in Algebra 32 (2004), 767-786

On Twisted Subgroups and Bol Loops of Odd Order

Authors: Tuval Foguel, Michael K. Kinyon, J. D. Phillips

Abstract: In the spirit of Glauberman's fundamental work in B-loops and Moufang loops, we prove Cauchy and strong Lagrange theorems for Bol loops of odd order. We also establish necessary conditions for the existence of a simple Bol loop of odd order, conditions which should be useful in the development of a Feit-Thompson theorem for Bol loops. Bol loops are closely related to Aschbacher's twisted subgrou… ▽ More In the spirit of Glauberman's fundamental work in B-loops and Moufang loops, we prove Cauchy and strong Lagrange theorems for Bol loops of odd order. We also establish necessary conditions for the existence of a simple Bol loop of odd order, conditions which should be useful in the development of a Feit-Thompson theorem for Bol loops. Bol loops are closely related to Aschbacher's twisted subgroups, and we survey the latter in some detail, especially with regard to the so-called Aschbacher radical. △ Less

Submitted 4 May, 2004; v1 submitted 29 August, 2002; originally announced August 2002.

Comments: 20 pages, AMS-LaTeX, to appear in Rocky Mountain Math. J. Version 2 corrects some serious mistakes, and includes many cosmetic changes suggested by the referee

MSC Class: 20N05

Journal ref: Rocky Mountain J. Math 36 (2006), 183-212.

Commutants of Bol loops of Odd Order

Authors: Michael K. Kinyon, J. D. Phillips

Abstract: In this note we show that the commutant of a Bol loop of odd order is a subloop. In this note we show that the commutant of a Bol loop of odd order is a subloop. △ Less

Submitted 14 July, 2002; originally announced July 2002.

Comments: 3 pages, submitted to Proc. AMS

MSC Class: 20N05

Journal ref: Proc. Amer. Math. Soc. 132 (2004), 617-619.

A Note on Trimedial Quasigroups

Authors: Michael K. Kinyon, J. D. Phillips

Abstract: The purpose of this brief note is to sharpen a result of Kepka about the axiomization of the variety of trimedial quasigroups. The purpose of this brief note is to sharpen a result of Kepka about the axiomization of the variety of trimedial quasigroups. △ Less

Submitted 13 June, 2002; originally announced June 2002.

Comments: 2 pages, AMS-LaTeX, submitted to_Quasigroups and Related Systems_

MSC Class: 20N05

Journal ref: Quasigroups and Related Systems 9 (2002), 65-66

A Generalization of Moufang and Steiner Loops

Authors: Michael K. Kinyon, Kenneth Kunen, J. D. Phillips

Abstract: We study a variety of loops, RIF, which arise naturally from considering inner map** groups, and a somewhat larger variety, ARIF. All Steiner and Moufang loops are RIF, and all flexible C-loops are ARIF. We show that all ARIF loops are diassociative, thus generalizing Moufang's Theorem. We study a variety of loops, RIF, which arise naturally from considering inner map** groups, and a somewhat larger variety, ARIF. All Steiner and Moufang loops are RIF, and all flexible C-loops are ARIF. We show that all ARIF loops are diassociative, thus generalizing Moufang's Theorem. △ Less

Submitted 22 November, 2001; v1 submitted 2 May, 2001; originally announced May 2001.

Comments: 19 pp., 1 fig., uses amsart.cls, pifont.sty; to appear in Algebra Universalis

MSC Class: 20N05

Journal ref: Algebra Universalis 48 (2002), no. 1, 81--101

Every diassociative A-loop is Moufang

Authors: Michael K. Kinyon, Kenneth Kunen, J. D. Phillips

Abstract: An A-loop is a loop in which every inner map** is an automorphism. We settle a problem which had been open since 1956 by showing that every diassociative A-loop is Moufang. An A-loop is a loop in which every inner map** is an automorphism. We settle a problem which had been open since 1956 by showing that every diassociative A-loop is Moufang. △ Less

Submitted 30 August, 2000; v1 submitted 31 July, 2000; originally announced July 2000.

Comments: 7 pages, to appear in Proc. Amer. Math. Soc. Version 2 includes additional remarks about the automated theorem prover OTTER

MSC Class: 20N05; 68T15

Journal ref: Proc. Amer. Math. Soc. 130 (2002) 619-624

The Full-sky Astrometric Map** Explorer -- Astrometry for the New Millennium

Authors: Scott D. Horner, Marvin E. Germain, Thomas P. Greene, Fred H. Harris, Mark S. Johnson, Kenneth J. Johnston, David G. Monet, Marc A. Murison, James D. Phillips, Robert D. Reasenberg, P. Kenneth Seidelmann, Sean E. Urban, Richard H. Vassar

Abstract: FAME is designed to perform an all-sky, astrometric survey with unprecedented accuracy. It will create a rigid astrometric catalog of 4x10^7 stars with 5 < m_V < 15. For bright stars, 5 < m_V < 9, FAME will determine positions and parallaxes accurate to < 50 microarcseconds, with proper motion errors < 50 microarcseconds/year. For fainter stars, 9 < m_V < 15, FAME will determine positions and pa… ▽ More FAME is designed to perform an all-sky, astrometric survey with unprecedented accuracy. It will create a rigid astrometric catalog of 4x10^7 stars with 5 < m_V < 15. For bright stars, 5 < m_V < 9, FAME will determine positions and parallaxes accurate to < 50 microarcseconds, with proper motion errors < 50 microarcseconds/year. For fainter stars, 9 < m_V < 15, FAME will determine positions and parallaxes accurate to < 500 microarcseconds, with proper motion errors < 500 microarcseconds/year. It will also collect photometric data on these 4 x 10^7 stars in four Sloan DSS colors. △ Less

Submitted 15 July, 1999; originally announced July 1999.

Comments: 6 pages, 4 figures, to appear in "Working on the Fringe"