-
Geomagnetically Induced Currents (GICs) during Strong Geomagnetic Activity (Storms, Substorms, and Magnetic Pulsations) on 23-24 April 2023
Authors:
Irina Despirak,
Pavel Setsko,
Andris Lubchich,
Rajkumar Hajra,
Yaroslav Sakharov,
Gurbax Lakhina,
Vasiliy Selivanov,
Bruce Tsatnam Tsurutani
Abstract:
We analyzed intense geomagnetically induced currents (GICs) recorded during a complex space weather event observed on 23-24 April 2023. Two geomagnetic storms characterized by SYM/H intensities of -179 nT and -233 nT was caused by southward IMG Bz of -25 nT in the sheath fields and -33 nT in the magnetic cloud (MC) fields. GIC observations were divided into two local time sectors: nighttime (1700-…
▽ More
We analyzed intense geomagnetically induced currents (GICs) recorded during a complex space weather event observed on 23-24 April 2023. Two geomagnetic storms characterized by SYM/H intensities of -179 nT and -233 nT was caused by southward IMG Bz of -25 nT in the sheath fields and -33 nT in the magnetic cloud (MC) fields. GIC observations were divided into two local time sectors: nighttime (1700-2400 UT on 23 April) GICs observed during the interplanetary sheath magnetic storm, and morning sector (0200-0700 UT on 24 April) GICs observed during the MC magnetic storm. By using the direct measurements if GIC on several substations of Karelian-Kola power line (located in the north-west portion of Russia) and gas pipeline station near Mäntsälä (south of Finland), we managed to trace the meridional profile of GIC increase at different latitudes. It was shown that the night sector GIC intensification (~18-42 A) occurred in accordance with poleward expansion of the westward electrojet during substorm. On the other hand, the intense morning sector GICs (~12-46 A) were caused by Ps6 magnetic pulsations. In addition to the Ps6 pulsations, comparable in intensity morning GIC (~44 A) was associated with a local substorm-like disturbance caused by a high density solar wind structure, pissibly a coronal loop portion of an ICME.
△ Less
Submitted 26 December, 2023;
originally announced December 2023.
-
Ideal presentations and numberings of some classes of effective quasi-Polish spaces
Authors:
Matthew de Brecht,
Takayuki Kihara,
Victor Selivanov
Abstract:
The well known ideal presentations of countably based domains were recently extended to (effective) quasi-Polish spaces. Continuing these investigations, we explore some classes of effective quasi-Polish spaces. In particular, we prove an effective version of the domain-characterization of quasi-Polish spaces, describe effective extensions of quasi-Polish topologies, discover natural numberings of…
▽ More
The well known ideal presentations of countably based domains were recently extended to (effective) quasi-Polish spaces. Continuing these investigations, we explore some classes of effective quasi-Polish spaces. In particular, we prove an effective version of the domain-characterization of quasi-Polish spaces, describe effective extensions of quasi-Polish topologies, discover natural numberings of classes of effective quasi-Polish spaces, estimate the complexity of the (effective) homeomorphism relation and of some classes of spaces w.r.t. these numberings, and investigate degree spectra of continuous domains.
△ Less
Submitted 20 January, 2023;
originally announced January 2023.
-
Proposal and Analysis of the Experiment for the Precise Measurement of the Muon Lifetime and the Fermi Constant
Authors:
A. M. Bakalyarov,
A. I. Klimov,
I. N. Machulin,
E. A. Meleshko,
V. I. Selivanov
Abstract:
An experiment is proposed for a record-breaking measurement of the world Fermi constant during the decay of a positive muon. Using the GEANT programs, an analysis of all systematic errors was performed. It is shown that the experimental accuracy of the muon lifetime and the Fermi constant can be improved by a factor of five.
An experiment is proposed for a record-breaking measurement of the world Fermi constant during the decay of a positive muon. Using the GEANT programs, an analysis of all systematic errors was performed. It is shown that the experimental accuracy of the muon lifetime and the Fermi constant can be improved by a factor of five.
△ Less
Submitted 20 June, 2022;
originally announced June 2022.
-
Non-Collapse of the Effective Wadge Hierarchy
Authors:
Victor Selivanov
Abstract:
We study the recently suggested effective Wadge hierarchy in effective spaces, concentrating on the non-collapse property. Along with hierarchies of sets, we study hierarchies of $k$-partitions which are interesting on their own. In particular, we establish sufficient conditions for the non-collapse of the effective Wadge hierarchy and apply them to some concrete spaces.
We study the recently suggested effective Wadge hierarchy in effective spaces, concentrating on the non-collapse property. Along with hierarchies of sets, we study hierarchies of $k$-partitions which are interesting on their own. In particular, we establish sufficient conditions for the non-collapse of the effective Wadge hierarchy and apply them to some concrete spaces.
△ Less
Submitted 7 May, 2021;
originally announced May 2021.
-
Wadge Degrees of Classes of omega-Regular k-Partitions
Authors:
Victor Selivanov
Abstract:
We develop a theory of k-partitions of the set of infinite words recognizable by classes of finite automata. The theory enables to complete proofs of existing results about topological classifications of the (aperiodic) omega-regular k-partitions and provides tools for dealing with other similar questions. In particular, we characterize the structure of Wadge degrees of (aperiodic) omega-regular…
▽ More
We develop a theory of k-partitions of the set of infinite words recognizable by classes of finite automata. The theory enables to complete proofs of existing results about topological classifications of the (aperiodic) omega-regular k-partitions and provides tools for dealing with other similar questions. In particular, we characterize the structure of Wadge degrees of (aperiodic) omega-regular $k$-partitions, prove the decidability of many related problems, and discuss their complexity.
△ Less
Submitted 21 April, 2021;
originally announced April 2021.
-
Input-driven automata on well-nested infinite strings: automata-theoretic and topological properties
Authors:
Alexander Okhotin,
Victor L. Selivanov
Abstract:
Automata operating on strings of nested brackets, known as input-driven pushdown automata, and as visibly pushdown automata, have been studied since the 1980s. They were extended to the case of infinite strings by Alur and Madhusudan ("Visibly pushdown languages", STOC 2004). This paper investigates the properties of these automata under the assumption that a given infinite string is always well-n…
▽ More
Automata operating on strings of nested brackets, known as input-driven pushdown automata, and as visibly pushdown automata, have been studied since the 1980s. They were extended to the case of infinite strings by Alur and Madhusudan ("Visibly pushdown languages", STOC 2004). This paper investigates the properties of these automata under the assumption that a given infinite string is always well-nested. This restriction enables a complete characterization of the corresponding $ω$-languages in terms of classical $ω$-regular languages and input-driven automata on finite strings. This characterization leads to a determinization result for these automata, as well as to the first results on their Wadge degrees.
△ Less
Submitted 6 December, 2020;
originally announced December 2020.
-
Primitive Recursive Ordered Fields and Some Applications
Authors:
Victor Selivanov,
Svetlana Selivanova
Abstract:
We establish primitive recursive versions of some known facts about computable ordered fields of reals and computable reals, and then apply them to proving primitive recursiveness of some natural problems in linear algebra and analysis. In particular, we find a partial primitive recursive analogue of Ershov-Madison's theorem about real closures of computable ordered fields, relate the correspondin…
▽ More
We establish primitive recursive versions of some known facts about computable ordered fields of reals and computable reals, and then apply them to proving primitive recursiveness of some natural problems in linear algebra and analysis. In particular, we find a partial primitive recursive analogue of Ershov-Madison's theorem about real closures of computable ordered fields, relate the corresponding fields to the primitive recursive reals, give sufficient conditions for primitive recursive root-finding, computing normal forms of matrices, and computing solution operators of some linear systems of PDE.
△ Less
Submitted 6 November, 2021; v1 submitted 20 October, 2020;
originally announced October 2020.
-
Proposal to measure with high precision branching ratio of direct pion decay into positron and pion mean life
Authors:
Vladimir I. Selivanov
Abstract:
Experimental measurement of the probability of direct decay of a pion into a positron allows searching for interactions beyond the Standard Model: test of the hypothesis about the universality of the charged current,search for new Pseudo-scalar Interactions. A setup based on plastic scintillators and silicon photomultipliers for measuring pion and muon energy losses without measuring the decay pos…
▽ More
Experimental measurement of the probability of direct decay of a pion into a positron allows searching for interactions beyond the Standard Model: test of the hypothesis about the universality of the charged current,search for new Pseudo-scalar Interactions. A setup based on plastic scintillators and silicon photomultipliers for measuring pion and muon energy losses without measuring the decay positron energy is proposed and analysed. It is shown that the accuracy of measuring the branching ratio of direct pion decay into positron can be improved fourfold. The pion lifetime measured only for decay a pion into a muon.For the first time, a project proposed to measure the lifetime of a pion during direct decay pion into positron with an accuracy of better than 7 ppm.
△ Less
Submitted 2 October, 2020;
originally announced October 2020.
-
Degree spectra of homeomorphism types of compact Polish spaces
Authors:
Mathieu Hoyrup,
Takayuki Kihara,
Victor Selivanov
Abstract:
A Polish space is not always homeomorphic to a computably presented Polish space. In this article, we examine degrees of non-computability of presenting homeomorphic copies of compact Polish spaces. We show that there exists a $0'$-computable low$_3$ compact Polish space which is not homeomorphic to a computable one, and that, for any natural number $n\geq 2$, there exists a Polish space $X_n$ suc…
▽ More
A Polish space is not always homeomorphic to a computably presented Polish space. In this article, we examine degrees of non-computability of presenting homeomorphic copies of compact Polish spaces. We show that there exists a $0'$-computable low$_3$ compact Polish space which is not homeomorphic to a computable one, and that, for any natural number $n\geq 2$, there exists a Polish space $X_n$ such that exactly the high$_{n}$-degrees are required to present the homeomorphism type of $X_n$. We also show that no compact Polish space has a least presentation with respect to Turing reducibility.
The first version of this article appeared in April 2020. A major update was made in September 2023, with improved proofs and results. This is the final version from January 2024, with more results on Čech homology groups.
△ Less
Submitted 2 January, 2024; v1 submitted 15 April, 2020;
originally announced April 2020.
-
A Q-Wadge Hierarchy in Quasi-Polish Spaces
Authors:
Victor Selivanov
Abstract:
The Wadge hierarchy was originally defined and studied only in the Baire space (and some other zero-dimensional spaces). We extend it here to arbitrary topological spaces by providing a set-theoretic definition of all its levels. We show that our extension behaves well in second countable spaces and especially in quasi-Polish spaces. In particular, all levels are preserved by continuous open surje…
▽ More
The Wadge hierarchy was originally defined and studied only in the Baire space (and some other zero-dimensional spaces). We extend it here to arbitrary topological spaces by providing a set-theoretic definition of all its levels. We show that our extension behaves well in second countable spaces and especially in quasi-Polish spaces. In particular, all levels are preserved by continuous open surjections between second countable spaces which implies e.g. several Hausdorff-Kuratowski-type theorems in quasi-Polish spaces. In fact, many results hold not only for the Wadge hierarchy of sets but also for its extension to Borel functions from a space to a countable better quasiorder Q.
△ Less
Submitted 7 November, 2019;
originally announced November 2019.
-
Effective Wadge Hierarchy in Computable Quasi-Polish Spaces
Authors:
Victor Selivanov
Abstract:
We define and study an effective version of the Wadge hierarchy in computable quasi-Polish spaces which include most spaces of interest for computable analysis. Along with hierarchies of sets we study hierarchies of k-partitions which are interesting on their own. We show that levels of such hierarchies are preserved by the computable effectively open surjections, that if the effective Hausdorff-K…
▽ More
We define and study an effective version of the Wadge hierarchy in computable quasi-Polish spaces which include most spaces of interest for computable analysis. Along with hierarchies of sets we study hierarchies of k-partitions which are interesting on their own. We show that levels of such hierarchies are preserved by the computable effectively open surjections, that if the effective Hausdorff-Kuratowski theorem holds in the Baire space then it holds in every computable quasi-Polish space, and we extend the effective Hausdorff theorem to k-partitions.
△ Less
Submitted 15 February, 2021; v1 submitted 29 October, 2019;
originally announced October 2019.
-
Wadge-like degrees of Borel bqo-valued functions
Authors:
Takayuki Kihara,
Victor Selivanov
Abstract:
We unite two well known generalisations of the Wadge theory. The first one considers more general reducing functions than the continuous functions in the classical case, and the second one extends Wadge reducibility from sets (i.e., $\{0,1\}$-valued functions) to $Q$-valued functions, for a better quasiorder $Q$. In this article, we consider more general reducibilities on the $Q$-valued functions…
▽ More
We unite two well known generalisations of the Wadge theory. The first one considers more general reducing functions than the continuous functions in the classical case, and the second one extends Wadge reducibility from sets (i.e., $\{0,1\}$-valued functions) to $Q$-valued functions, for a better quasiorder $Q$. In this article, we consider more general reducibilities on the $Q$-valued functions and generalise some results of L. Motto Ros in the first direction and of T. Kihara and A. Montalbán in the second direction: Our main result states that the structure of the $\mathbfΔ^0_α$-degrees of $\mathbfΔ^0_{α+γ}$-measurable $Q$-valued functions is isomorphic to the $\mathbfΔ^0_β$-degrees of $\mathbfΔ^0_{β+γ}$-measurable $Q$-valued functions, and these are isomorphic to the generalized homomorphism order on the $γ$-th iterated $Q$-labeled forests.
△ Less
Submitted 24 September, 2019;
originally announced September 2019.
-
Computability on quasi-Polish spaces
Authors:
Mathieu Hoyrup,
Cristobal Rojas,
Victor Selivanov,
Donald M. Stull
Abstract:
We investigate the effectivizations of several equivalent definitions of quasi-Polish spaces and study which characterizations hold effectively. Being a computable effectively open image of the Baire space is a robust notion that admits several characterizations. We show that some natural effectivizations of quasi-metric spaces are strictly stronger.
We investigate the effectivizations of several equivalent definitions of quasi-Polish spaces and study which characterizations hold effectively. Being a computable effectively open image of the Baire space is a robust notion that admits several characterizations. We show that some natural effectivizations of quasi-metric spaces are strictly stronger.
△ Less
Submitted 7 May, 2019; v1 submitted 7 March, 2019;
originally announced March 2019.
-
Well Quasiorders and Hierarchy Theory
Authors:
Victor Selivanov
Abstract:
We discuss some applications of WQOs to several fields were hierarchies and reducibilities are the principal classification tools, notably to Descriptive Set Theory, Computability theory and Automata Theory. While the classical hierarchies of sets usually degenerate to structures very close to ordinals, the extension of them to functions requires more complicated WQOs, and the same applies to redu…
▽ More
We discuss some applications of WQOs to several fields were hierarchies and reducibilities are the principal classification tools, notably to Descriptive Set Theory, Computability theory and Automata Theory. While the classical hierarchies of sets usually degenerate to structures very close to ordinals, the extension of them to functions requires more complicated WQOs, and the same applies to reducibilities. We survey some results obtained so far and discuss open problems and possible research directions.
△ Less
Submitted 9 September, 2018;
originally announced September 2018.
-
Bit Complexity of Computing Solutions for Symmetric Hyperbolic Systems of PDEs with Guaranteed Precision
Authors:
Svetlana Selivanova,
Victor Selivanov
Abstract:
We establish upper bounds of bit complexity of computing solution operators for symmetric hyperbolic systems of PDEs. Here we continue the research started in in our revious publications where computability, in the rigorous sense of computable analysis, has been established for solution operators of Cauchy and dissipative boundary-value problems for such systems.
We establish upper bounds of bit complexity of computing solution operators for symmetric hyperbolic systems of PDEs. Here we continue the research started in in our revious publications where computability, in the rigorous sense of computable analysis, has been established for solution operators of Cauchy and dissipative boundary-value problems for such systems.
△ Less
Submitted 22 November, 2020; v1 submitted 1 July, 2018;
originally announced July 2018.
-
First Order Theories of Some Lattices of Open Sets
Authors:
Oleg Kudinov,
Victor Selivanov
Abstract:
We show that the first order theory of the lattice of open sets in some natural topological spaces is $m$-equivalent to second order arithmetic. We also show that for many natural computable metric spaces and computable domains the first order theory of the lattice of effectively open sets is undecidable. Moreover, for several important spaces (e.g., $\mathbb{R}^n$, $n\geq1$, and the domain $Pω$)…
▽ More
We show that the first order theory of the lattice of open sets in some natural topological spaces is $m$-equivalent to second order arithmetic. We also show that for many natural computable metric spaces and computable domains the first order theory of the lattice of effectively open sets is undecidable. Moreover, for several important spaces (e.g., $\mathbb{R}^n$, $n\geq1$, and the domain $Pω$) this theory is $m$-equivalent to first order arithmetic.
△ Less
Submitted 24 August, 2017; v1 submitted 7 May, 2017;
originally announced May 2017.
-
A search for two body muon decay signals
Authors:
R. Bayes,
J. Bueno,
Yu. I. Davydov,
P. Depommier,
W. Faszer,
M. C. Fujiwara,
C. A. Gagliardi,
A. Gaponenko,
D. R. Gill,
A. Grossheim,
P. Gumplinger,
M. D. Hasinoff,
R. S. Henderson,
A. Hillairet,
J. Hu,
D. D. Koetke,
R. P. MacDonald,
G. M. Marshall,
E. L. Mathie,
R. E. Mischke,
K. Olchanski,
A. Olin,
R. Openshaw,
J. -M. Poutissou,
R. Poutissou
, et al. (6 additional authors not shown)
Abstract:
Lepton family number violation is tested by searching for $μ^+\to e^+X^0$ decays among the 5.8$\times 10^8$ positive muon decay events analyzed by the TWIST collaboration. Limits are set on the production of both massless and massive $X^0$ bosons. The large angular acceptance of this experiment allows limits to be placed on anisotropic $μ^+\to e^+X^0$ decays, which can arise from interactions viol…
▽ More
Lepton family number violation is tested by searching for $μ^+\to e^+X^0$ decays among the 5.8$\times 10^8$ positive muon decay events analyzed by the TWIST collaboration. Limits are set on the production of both massless and massive $X^0$ bosons. The large angular acceptance of this experiment allows limits to be placed on anisotropic $μ^+\to e^+X^0$ decays, which can arise from interactions violating both lepton flavor and parity conservation. Branching ratio limits of order $10^{-5}$ are obtained for bosons with masses of 13 - 80 MeV/c$^2$ and with different decay asymmetries. For bosons with masses less than 13 MeV/c$^{2}$ the asymmetry dependence is much stronger and the 90% limit on the branching ratio varies up to $5.8 \times 10^{-5}$. This is the first study that explicitly evaluates the limits for anisotropic two body muon decays.
△ Less
Submitted 10 March, 2015; v1 submitted 2 September, 2014;
originally announced September 2014.
-
Towards a Descriptive Theory of cb_0-Spaces
Authors:
Victor Selivanov
Abstract:
The paper tries to extend results of the classical Descriptive Set Theory to as many countably based T_0-spaces (cb_0-spaces) as possible. Along with extending some central facts about Borel, Luzin and Hausdorff hierarchies of sets we consider also the more general case of k-partitions. In particular, we investigate the difference hierarchy of k-partitions and the fine hierarchy closely related to…
▽ More
The paper tries to extend results of the classical Descriptive Set Theory to as many countably based T_0-spaces (cb_0-spaces) as possible. Along with extending some central facts about Borel, Luzin and Hausdorff hierarchies of sets we consider also the more general case of k-partitions. In particular, we investigate the difference hierarchy of k-partitions and the fine hierarchy closely related to the Wadge hierarchy.
△ Less
Submitted 16 June, 2014;
originally announced June 2014.
-
Hyperprojective Hierarchy of QCB_0-spaces
Authors:
Matthias Schröder,
Victor Selivanov
Abstract:
We extend the Luzin hierarchy of qcb$_0$-spaces introduced in [ScS13] to all countable ordinals, obtaining in this way the hyperprojective hierarchy of qcb$_0$-spaces. We generalize all main results of [ScS13] to this larger hierarchy. In particular, we extend the Kleene-Kreisel continuous functionals of finite types to the continuous functionals of countable types and relate them to the new hiera…
▽ More
We extend the Luzin hierarchy of qcb$_0$-spaces introduced in [ScS13] to all countable ordinals, obtaining in this way the hyperprojective hierarchy of qcb$_0$-spaces. We generalize all main results of [ScS13] to this larger hierarchy. In particular, we extend the Kleene-Kreisel continuous functionals of finite types to the continuous functionals of countable types and relate them to the new hierarchy. We show that the category of hyperprojective qcb$_0$-spaces has much better closure properties than the category of projective qcb$_0$-space. As a result, there are natural examples of spaces that are hyperprojective but not projective.
△ Less
Submitted 1 April, 2014;
originally announced April 2014.
-
Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs
Authors:
Svetlana Selivanova,
Victor Selivanov
Abstract:
We discuss possibilities of application of Numerical Analysis methods to proving computability, in the sense of the TTE approach, of solution operators of boundary-value problems for systems of PDEs. We prove computability of the solution operator for a symmetric hyperbolic system with computable real coefficients and dissipative boundary conditions, and of the Cauchy problem for the same system (…
▽ More
We discuss possibilities of application of Numerical Analysis methods to proving computability, in the sense of the TTE approach, of solution operators of boundary-value problems for systems of PDEs. We prove computability of the solution operator for a symmetric hyperbolic system with computable real coefficients and dissipative boundary conditions, and of the Cauchy problem for the same system (we also prove computable dependence on the coefficients) in a cube $Q\subseteq\mathbb R^m$. Such systems describe a wide variety of physical processes (e.g. elasticity, acoustics, Maxwell equations). Moreover, many boundary-value problems for the wave equation also can be reduced to this case, thus we partially answer a question raised in Weihrauch and Zhong (2002). Compared with most of other existing methods of proving computability for PDEs, this method does not require existence of explicit solution formulas and is thus applicable to a broader class of (systems of) equations.
△ Less
Submitted 20 November, 2017; v1 submitted 11 May, 2013;
originally announced May 2013.
-
Some Hierarchies of QCB_0-Spaces
Authors:
Matthias Schroeder,
Victor Selivanov
Abstract:
We define and study hierarchies of topological spaces induced by the classical Borel and Luzin hierarchies of sets. Our hierarchies are divided into two classes: hierarchies of countably based spaces induced by their embeddings into the domain Pω, and hierarchies of spaces (not necessarily countably based) induced by their admissible representations. We concentrate on the non-collapse property of…
▽ More
We define and study hierarchies of topological spaces induced by the classical Borel and Luzin hierarchies of sets. Our hierarchies are divided into two classes: hierarchies of countably based spaces induced by their embeddings into the domain Pω, and hierarchies of spaces (not necessarily countably based) induced by their admissible representations. We concentrate on the non-collapse property of the hierarchies and on the relationships between hierarchies in the two classes.
△ Less
Submitted 5 April, 2013;
originally announced April 2013.
-
Total Representations
Authors:
Victor Selivanov
Abstract:
Almost all representations considered in computable analysis are partial. We provide arguments in favor of total representations (by elements of the Baire space). Total representations make the well known analogy between numberings and representations closer, unify some terminology, simplify some technical details, suggest interesting open questions and new invariants of topological spaces releva…
▽ More
Almost all representations considered in computable analysis are partial. We provide arguments in favor of total representations (by elements of the Baire space). Total representations make the well known analogy between numberings and representations closer, unify some terminology, simplify some technical details, suggest interesting open questions and new invariants of topological spaces relevant to computable analysis.
△ Less
Submitted 26 May, 2013; v1 submitted 3 April, 2013;
originally announced April 2013.
-
Wadge-like reducibilities on arbitrary quasi-Polish spaces
Authors:
Luca Motto Ros,
Philipp Schlicht,
Victor Selivanov
Abstract:
The structure of the Wadge degrees on zero-dimensional spaces is very simple (almost well-ordered), but for many other natural non-zero-dimensional spaces (including the space of reals) this structure is much more complicated. We consider weaker notions of reducibility, including the so-called Δ^0_α-reductions, and try to find for various natural topological spaces X the least ordinal α_X such tha…
▽ More
The structure of the Wadge degrees on zero-dimensional spaces is very simple (almost well-ordered), but for many other natural non-zero-dimensional spaces (including the space of reals) this structure is much more complicated. We consider weaker notions of reducibility, including the so-called Δ^0_α-reductions, and try to find for various natural topological spaces X the least ordinal α_X such that for every α_X \leq β< ω_1 the degree-structure induced on X by the Δ^0_β-reductions is simple (i.e. similar to the Wadge hierarchy on the Baire space). We show that α_X \leq ω for every quasi-Polish space X, that α_X \leq 3 for quasi-Polish spaces of dimension different from \infty, and that this last bound is in fact optimal for many (quasi-)Polish spaces, including the real line and its powers.
△ Less
Submitted 11 October, 2012; v1 submitted 24 April, 2012;
originally announced April 2012.
-
Precision muon decay measurements and improved constraints on the weak interaction
Authors:
TWIST Collaboration,
A. Hillairet,
R. Bayes,
J. F. Bueno,
Yu. I. Davydov,
P. Depommier,
W. Faszer,
C. A. Gagliardi,
A. Gaponenko,
D. R. Gill,
A. Grossheim,
P. Gumplinger,
M. D. Hasinoff,
R. S. Henderson,
J. Hu,
D. D. Koetke,
R. P. MacDonald,
G. M. Marshall,
E. L. Mathie,
R. E. Mischke,
K. Olchanski,
A. Olin,
R. Openshaw,
J. -M. Poutissou,
R. Poutissou
, et al. (6 additional authors not shown)
Abstract:
The TWIST Collaboration has completed its measurement of the three muon decay parameters ρ, δ, and P_μξ. This paper describes our determination of ρ, which governs the shape of the overall momentum spectrum, and δ, which controls the momentum dependence of the parity-violating decay asymmetry. The results are ρ=0.74977\pm 0.00012(stat.)\pm 0.00023(syst.) and δ= 0.75049\pm 0.00021(stat.)\pm 0.00027…
▽ More
The TWIST Collaboration has completed its measurement of the three muon decay parameters ρ, δ, and P_μξ. This paper describes our determination of ρ, which governs the shape of the overall momentum spectrum, and δ, which controls the momentum dependence of the parity-violating decay asymmetry. The results are ρ=0.74977\pm 0.00012(stat.)\pm 0.00023(syst.) and δ= 0.75049\pm 0.00021(stat.)\pm 0.00027(syst.). These are consistent with the value of 3/4 given for both parameters in the standard model, and each is over a factor of 10 more precise than the measurements published prior to TWIST. Our final results on ρ, δ, and P_μξhave been incorporated into a new global analysis of all available muon decay data, resulting in improved model-independent constraints on the possible weak interactions of right-handed particles.
△ Less
Submitted 29 May, 2012; v1 submitted 15 December, 2011;
originally announced December 2011.
-
Precise measurement of parity violation in polarized muon decay
Authors:
TWIST Collaboration,
J. F. Bueno,
R. Bayes,
Yu. I. Davydov,
P. Depommier,
W. Faszer,
C. A. Gagliardi,
A. Gaponenko,
D. R. Gill,
A. Grossheim,
P. Gumplinger,
M. D. Hasinoff,
R. S. Henderson,
A. Hillairet,
J. Hu,
D. D. Koetke,
R. P. MacDonald,
G. M. Marshall,
E. L. Mathie,
R. E. Mischke,
K. Olchanski,
A. Olin,
R. Openshaw,
J. -M. Poutissou,
R. Poutissou
, et al. (6 additional authors not shown)
Abstract:
We present a new high precision measurement of parity violation in the weak interaction, using polarized muon decay. The TWIST collaboration has measured $P_μ^πξ$, where $P_μ^π$ is the polarization of the muon in pion decay and $ξ$ describes the intrinsic asymmetry in muon decay. We find $P_μ^πξ= 1.00084 \pm 0.00029\,(\textrm{stat.})_{-0.00063}^{+0.00165}\,(\textrm{syst.})$, in good agreement with…
▽ More
We present a new high precision measurement of parity violation in the weak interaction, using polarized muon decay. The TWIST collaboration has measured $P_μ^πξ$, where $P_μ^π$ is the polarization of the muon in pion decay and $ξ$ describes the intrinsic asymmetry in muon decay. We find $P_μ^πξ= 1.00084 \pm 0.00029\,(\textrm{stat.})_{-0.00063}^{+0.00165}\,(\textrm{syst.})$, in good agreement with the standard model prediction of $P_μ^π=ξ=1$. Our result is a factor of 7 more precise than the pre-TWIST value, setting new limits in left-right symmetric electroweak extensions to the standard model.
△ Less
Submitted 7 September, 2011; v1 submitted 19 April, 2011;
originally announced April 2011.
-
Longitudinal muon spin relaxation in high purity aluminum and silver
Authors:
J. F. Bueno,
D. J. Arseneau,
R. Bayes,
J. H. Brewer,
W. Faszer,
M. D. Hasinoff,
G. M. Marshall,
E. L. Mathie,
R. E. Mischke,
G. D. Morris,
K. Olchanski,
V. Selivanov,
R. Tacik
Abstract:
The time dependence of muon spin relaxation has been measured in high purity aluminum and silver samples in a longitudinal 2 T magnetic field at room temperature, using time-differential \musr. For times greater than 10 ns, the shape fits well to a single exponential with relaxation rates of $λ_{\textrm{Al}} = 1.3 \pm 0.2\,(\textrm{stat.}) \pm 0.3\,(\textrm{syst.})\,\pms$ and…
▽ More
The time dependence of muon spin relaxation has been measured in high purity aluminum and silver samples in a longitudinal 2 T magnetic field at room temperature, using time-differential \musr. For times greater than 10 ns, the shape fits well to a single exponential with relaxation rates of $λ_{\textrm{Al}} = 1.3 \pm 0.2\,(\textrm{stat.}) \pm 0.3\,(\textrm{syst.})\,\pms$ and $λ_{\textrm{Ag}} = 1.0 \pm 0.2\,(\textrm{stat.}) \pm 0.2\,(\textrm{syst.})\,\pms$.
△ Less
Submitted 23 February, 2011;
originally announced February 2011.
-
New Experimental Constraints for the Standard Model from Muon Decay
Authors:
R. Bayes,
J. F. Bueno,
A. Hillairet,
Yu. I. Davydov,
P. Depommier,
W. Faszer,
C. A. Gagliardi,
A. Gaponenko,
D. R. Gill,
A. Grossheim,
P. Gumplinger,
M. D. Hasinoff,
R. S. Henderson,
J. Hu,
D. D. Koetke,
R. P. MacDonald,
G. M. Marshall,
E. L. Mathie,
R. E. Mischke,
K. Olchanski,
A. Olin,
R. Openshaw,
J. -M. Poutissou,
R. Poutissou,
V. Selivanov
, et al. (5 additional authors not shown)
Abstract:
The TWIST Collaboration has completed a new measurement of the energy-angle spectrum of positrons from the decay of highly polarized muons. A simultaneous measurement of the muon decay parameters ρ, δ, and (P_μ)ξ tests the Standard Model (SM) in a purely leptonic process and provides improved limits for relevant extensions to the SM. Specifically, for the generalized left-right symmetric model |(g…
▽ More
The TWIST Collaboration has completed a new measurement of the energy-angle spectrum of positrons from the decay of highly polarized muons. A simultaneous measurement of the muon decay parameters ρ, δ, and (P_μ)ξ tests the Standard Model (SM) in a purely leptonic process and provides improved limits for relevant extensions to the SM. Specifically, for the generalized left-right symmetric model |(g_R/g_L)ζ|<0.020 and (g_L/g_R)m_2> 578 GeV/c^2, both 90% C.L.
△ Less
Submitted 2 December, 2010; v1 submitted 24 October, 2010;
originally announced October 2010.
-
Structure theory of homologically trivial and annihilator locally C*-algebras
Authors:
Alexei Yu. Pirkovskii,
Yurii V. Selivanov
Abstract:
We study the structure of certain classes of homologically trivial locally C*-algebras. These include algebras with projective irreducible Hermitian A-modules, biprojective algebras, and superbiprojective algebras. We prove that, if A is a locally C*-algebra, then all irreducible Hermitian A-modules are projective if and only if A is a direct topological sum of elementary C*-algebras. This is also…
▽ More
We study the structure of certain classes of homologically trivial locally C*-algebras. These include algebras with projective irreducible Hermitian A-modules, biprojective algebras, and superbiprojective algebras. We prove that, if A is a locally C*-algebra, then all irreducible Hermitian A-modules are projective if and only if A is a direct topological sum of elementary C*-algebras. This is also equivalent to A being an annihilator (dual, complemented, left quasi-complemented, or topologically modular annihilator) topological algebra. We characterize all annihilator $σ$-C*-algebras and describe the structure of biprojective locally C*-algebras. Also, we present an example of a biprojective locally C*-algebra that is not topologically isomorphic to a Cartesian product of biprojective C*-algebras. Finally, we show that every superbiprojective locally C*-algebra is topologically *-isomorphic to a Cartesian product of full matrix algebras.
△ Less
Submitted 20 June, 2010;
originally announced June 2010.
-
Blind analysis results of the TWIST experiment
Authors:
A. Hillairet,
R. Bayes,
J. F. Bueno,
Y. I. Davydov,
P. Depommier,
W. Faszer,
M. C. Fujiwara,
C. A. Gagliardi,
A. Gaponenko,
A. Grossheim,
D. R. Gill,
P. Gumplinger,
M. D. Hasinoff,
R. S. Henderson,
J. Hu,
D. D. Koetke,
R. P. MacDonald,
G. M. Marshall,
E. W. Mathie,
R. E. Mischke,
K. Olchanski,
A. Olin,
R. Openshaw,
J. -M. Poutissou,
R. Poutissou
, et al. (6 additional authors not shown)
Abstract:
The TRIUMF Weak Interaction Symmetry Test (TWIST) experiment was designed to test the standard model at high precision in the purely leptonic decay of polarized muons. A general four-fermion interaction model is used to describe the muon decay. TWIST measures three of the four muon decay parameters of this model, $ρ$, $δ$ and $P_μ^π ξ$, from the shape of the momentum-angle spectrum. The results of…
▽ More
The TRIUMF Weak Interaction Symmetry Test (TWIST) experiment was designed to test the standard model at high precision in the purely leptonic decay of polarized muons. A general four-fermion interaction model is used to describe the muon decay. TWIST measures three of the four muon decay parameters of this model, $ρ$, $δ$ and $P_μ^π ξ$, from the shape of the momentum-angle spectrum. The results of this model independent approach are compared to the standard model predictions and used to constrain new physics. Our collaboration has finalized the blind analysis of the final experimental data taken in 2006 and 2007. This analysis mostly reached our goal of a precision of an order of magnitude improvement over the pre-TWIST measurements.
△ Less
Submitted 4 June, 2010;
originally announced June 2010.
-
Decay of negative muons bound in $^{27}$Al
Authors:
A. Grossheim,
R. Bayes,
J. F. Bueno,
P. Depommier,
W. Faszer,
M. C. Fujiwara,
C. A. Gagliardi,
D. R. Gill,
P. Gumplinger,
M. D. Hasinoff,
R. S. Henderson,
A. Hillairet,
J. Hu,
D. D. Koetke,
G. M. Marshall,
E. L. Mathie,
R. E. Mischke,
K. Olchanski,
A. Olin,
R. Openshaw,
J. -M. Poutissou,
R. Poutissou,
V. Selivanov,
G. Sheffer,
B. Shin
, et al. (3 additional authors not shown)
Abstract:
We present the first measurement of the energy spectrum up to 70 MeV of electrons from the decay of negative muons after they become bound in $^{27}$Al atoms. The data were taken with the TWIST apparatus at TRIUMF. We find a muon lifetime of (864.6 $\pm$ 1.2) ns, in agreement with earlier measurements. The asymmetry of the decay spectrum is consistent with zero, indicating that the atomic captur…
▽ More
We present the first measurement of the energy spectrum up to 70 MeV of electrons from the decay of negative muons after they become bound in $^{27}$Al atoms. The data were taken with the TWIST apparatus at TRIUMF. We find a muon lifetime of (864.6 $\pm$ 1.2) ns, in agreement with earlier measurements. The asymmetry of the decay spectrum is consistent with zero, indicating that the atomic capture has completely depolarised the muons. The measured momentum spectrum is in reasonable agreement with theoretical predictions at the higher energies, but differences around the peak of the spectrum indicate the need for \oalpha radiative corrections to the calculations. The present measurement is the most precise measurement of the decay spectrum of muons bound to any nucleus.
△ Less
Submitted 7 October, 2009; v1 submitted 28 August, 2009;
originally announced August 2009.
-
A Precision Measurement of the Muon Decay Parameters $ρ$ and $δ$
Authors:
TWIST Collaboration,
R. P. MacDonald,
R. Bayes,
J. Bueno,
Yu. I. Davydov,
P. Depommier,
W. Faszer,
M. C. Fujiwara,
C. A. Gagliardi,
A. Gaponenko,
D. R. Gill,
A. Grossheim,
P. Gumplinger,
M. D. Hasinoff,
R. S. Henderson,
A. Hillairet,
J. Hu,
B. Jamieson,
P. Kitching,
D. D. Koetke,
G. M. Marshall,
E. L. Mathie,
R. E. Mischke,
J. R. Musser,
M. Nozar
, et al. (12 additional authors not shown)
Abstract:
The TWIST collaboration has performed new measurements of two of the parameters that describe muon decay: $ρ$, which governs the shape of the overall momentum spectrum, and $δ$, which governs the momentum dependence of the parity-violating decay asymmetry. This analysis gives the results $ρ=0.75014\pm 0.00017(\text{stat})\pm 0.00044(\text{syst})\pm 0.00011(η)$, where the last uncertainty arises…
▽ More
The TWIST collaboration has performed new measurements of two of the parameters that describe muon decay: $ρ$, which governs the shape of the overall momentum spectrum, and $δ$, which governs the momentum dependence of the parity-violating decay asymmetry. This analysis gives the results $ρ=0.75014\pm 0.00017(\text{stat})\pm 0.00044(\text{syst})\pm 0.00011(η)$, where the last uncertainty arises from the correlation between $ρ$ and the decay parameter $η$, and $δ= 0.75067\pm 0.00030(\text{stat})\pm 0.00067(\text{syst})$. These are consistent with the value of 3/4 given for both parameters in the Standard Model of particle physics, and are a factor of two more precise than the measurements previously published by TWIST. A new global analysis of all available muon decay data incorporating these results is presented. Improved lower and upper limits on the decay parameter $P_μ^πξ$ of $0.99524 < P_μ^πξ\leq ξ< 1.00091$ at 90% confidence are determined, where $P_μ^π$ is the polarization of the muon when it is created during pion decay, and $ξ$ governs the muon decay asymmetry. These results set new model-independent constraints on the possible weak interactions of right-handed particles. Specific implications for left-right symmetric models are discussed.
△ Less
Submitted 15 July, 2008; v1 submitted 7 July, 2008;
originally announced July 2008.
-
Efficient Algorithms for Membership in Boolean Hierarchies of Regular Languages
Authors:
Christian Glasser,
Heinz Schmitz,
Victor Selivanov
Abstract:
The purpose of this paper is to provide efficient algorithms that decide membership for classes of several Boolean hierarchies for which efficiency (or even decidability) were previously not known. We develop new forbidden-chain characterizations for the single levels of these hierarchies and obtain the following results: - The classes of the Boolean hierarchy over level $Σ_1$ of the dot-depth h…
▽ More
The purpose of this paper is to provide efficient algorithms that decide membership for classes of several Boolean hierarchies for which efficiency (or even decidability) were previously not known. We develop new forbidden-chain characterizations for the single levels of these hierarchies and obtain the following results: - The classes of the Boolean hierarchy over level $Σ_1$ of the dot-depth hierarchy are decidable in $NL$ (previously only the decidability was known). The same remains true if predicates mod $d$ for fixed $d$ are allowed. - If modular predicates for arbitrary $d$ are allowed, then the classes of the Boolean hierarchy over level $Σ_1$ are decidable. - For the restricted case of a two-letter alphabet, the classes of the Boolean hierarchy over level $Σ_2$ of the Straubing-Thérien hierarchy are decidable in $NL$. This is the first decidability result for this hierarchy. - The membership problems for all mentioned Boolean-hierarchy classes are logspace many-one hard for $NL$. - The membership problems for quasi-aperiodic languages and for $d$-quasi-aperiodic languages are logspace many-one complete for $PSPACE$.
△ Less
Submitted 20 February, 2008;
originally announced February 2008.
-
Measurement of P_{mu}xi in Polarized Muon Decay
Authors:
TWIST Collaboration,
B. Jamieson,
R. Bayes,
Yu. I. Davydov,
P. Depommier,
J. Doornbos,
W. Faszer,
M. C. Fujiwara,
C. A. Gagliardi,
A. Gaponenko,
D. R. Gill,
P. Gumplinger,
M. D. Hasinoff,
R. S. Henderson,
J. Hu,
P. Kitching,
D. D. Koetke,
J. A. Macdonald,
R. P. MacDonald,
G. M. Marshall,
E. L. Mathie,
R. E. Mischke,
J. R. Musser,
M. Nozar,
K. Olchanski
, et al. (15 additional authors not shown)
Abstract:
The quantity P_{mu}^{pi}xi, where xi is one of the muon decay parameters and $P_μ^π$ is the degree of muon polarization in pion decay, has been measured. The value P_{mu}^{pi}xi = 1.0003 +- 0.0006 stat. +- 0.0038 syst. was obtained. This result agrees with previous measurements but is over a factor of two more precise. It also agrees with the Standard Model prediction for P_{mu}^{pi}xi and thus…
▽ More
The quantity P_{mu}^{pi}xi, where xi is one of the muon decay parameters and $P_μ^π$ is the degree of muon polarization in pion decay, has been measured. The value P_{mu}^{pi}xi = 1.0003 +- 0.0006 stat. +- 0.0038 syst. was obtained. This result agrees with previous measurements but is over a factor of two more precise. It also agrees with the Standard Model prediction for P_{mu}^{pi}xi and thus leads to restrictions on left-right symmetric models.
△ Less
Submitted 21 October, 2006; v1 submitted 23 May, 2006;
originally announced May 2006.
-
Time expansion chamber system for characterization of TWIST low energy muon beams
Authors:
J. Hu,
G. Sheffer,
Yu. I. Davydov,
D. R. Gill,
P. Gumplinger,
R. S. Henderson,
B. Jamieson,
C. Lindsay,
G. M. Marshall,
K. Olchanski,
A. Olin,
R. Openshaw,
V. Selivanov
Abstract:
A low mass time expansion chamber (TEC) has been developed to measure distributions of position and angle of the TRIUMF low energy surface muon beam used for the TWIST experiment. The experiment is a high precision measurement of muon decay and is dominated by systematic uncertainties, including the stability, reproducibility, and characterization of the beam. The distributions measured by two T…
▽ More
A low mass time expansion chamber (TEC) has been developed to measure distributions of position and angle of the TRIUMF low energy surface muon beam used for the TWIST experiment. The experiment is a high precision measurement of muon decay and is dominated by systematic uncertainties, including the stability, reproducibility, and characterization of the beam. The distributions measured by two TEC modules are one essential ingredient of an accurate simulation of TWIST. The uncertainties, which are extracted through comparisons of data and simulation, must be known to assess potential systematic uncertainties of the TWIST results. The design criteria, construction, alignment, calibration, and operation of the TEC system are discussed, including experiences from initial beam studies. A brief description of the use of TEC data in the TWIST simulation is also included.
△ Less
Submitted 11 July, 2006; v1 submitted 13 April, 2006;
originally announced April 2006.
-
Gas gain on single wire chambers filled with pure isobutane at low pressure
Authors:
Yu. I. Davydov,
R. Openshaw,
V. Selivanov,
G. Sheffer
Abstract:
The gas gain of single-wire chambers filled with isobutane, with cell cross-section 12x12 mm and wire diameters of 15, 25, 50 and 100 $μ$m, has been measured at pressures ranging 12-92 Torr. Contrary to the experience at atmospheric pressure, at very low pressures the gas gain on thick wires is higher than that on thin wires at the same applied high voltage as was recently shown. Bigger wire dia…
▽ More
The gas gain of single-wire chambers filled with isobutane, with cell cross-section 12x12 mm and wire diameters of 15, 25, 50 and 100 $μ$m, has been measured at pressures ranging 12-92 Torr. Contrary to the experience at atmospheric pressure, at very low pressures the gas gain on thick wires is higher than that on thin wires at the same applied high voltage as was recently shown. Bigger wire diameters should be used in wire chambers operating at very low pressure if multiple scattering on wires is not an issue.
△ Less
Submitted 1 October, 2004;
originally announced October 2004.
-
Measurement of the Muon Decay Parameter delta
Authors:
TWIST Collaboration,
A. Gaponenko,
R. Bayes,
Yu. I. Davydov,
P. Depommier,
J. Doornbos,
W. Faszer,
M. C. Fujiwara,
C. A. Gagliardi,
D. R. Gill,
P. Green,
P. Gumplinger,
M. D. Hasinoff,
R. S. Henderson,
J. Hu,
B. Jamieson,
P. Kitching,
D. D. Koetke,
A. A. Krushinsky,
Yu. Yu. Lachin,
J. A. Macdonald,
R. P. MacDonald,
G. M. Marshall,
E. L. Mathie,
L. V. Miasoedov
, et al. (23 additional authors not shown)
Abstract:
The muon decay parameter delta has been measured by the TWIST collaboration. We find delta = 0.74964 +- 0.00066(stat.) +- 0.00112(syst.), consistent with the Standard Model value of 3/4. This result implies that the product Pmuxi of the muon polarization in pion decay, Pmu, and the muon decay parameter xi falls within the 90% confidence interval 0.9960 < Pmuxi < xi < 1.0040. It also has implicat…
▽ More
The muon decay parameter delta has been measured by the TWIST collaboration. We find delta = 0.74964 +- 0.00066(stat.) +- 0.00112(syst.), consistent with the Standard Model value of 3/4. This result implies that the product Pmuxi of the muon polarization in pion decay, Pmu, and the muon decay parameter xi falls within the 90% confidence interval 0.9960 < Pmuxi < xi < 1.0040. It also has implications for left-right-symmetric and other extensions of the Standard Model.
△ Less
Submitted 13 April, 2005; v1 submitted 17 October, 2004;
originally announced October 2004.
-
Precision planar drift chambers and cradle for the TWIST muon decay spectrometer
Authors:
R. S. Henderson,
Yu. I. Davydov,
W. Faszer,
D. D. Koetke,
L. V. Miasoedov,
R. Openshaw,
M. A. Quraan,
J. Schaapman,
V. Selivanov,
G. Sheffer,
T. D. S. Stanislaus,
V. Torokhov
Abstract:
To measure the muon decay parameters with high accuracy, we require an array of precision drift detector layers whose relative position is known with very high accuracy. This article describes the design, construction and performance of these detectors in the TWIST (TRIUMF Weak Interaction Symmetry Test) spectrometer.
To measure the muon decay parameters with high accuracy, we require an array of precision drift detector layers whose relative position is known with very high accuracy. This article describes the design, construction and performance of these detectors in the TWIST (TRIUMF Weak Interaction Symmetry Test) spectrometer.
△ Less
Submitted 30 September, 2004;
originally announced September 2004.