ATLAS Muon Spectrometer

The muon spectrometer of the ATLAS experiment at the Large Hadron Collider (LHC) at CERN was designed to achieve a momentum resolution of better than 10% at 1 TeV. It consists of three superconducting air-core toroid magnets instrumented with three layers of precision drift chambers and dedicated fast trigger chambers. During the commissioning of the full ATLAS detector in the last year several 100 millions of events of cosmic ray data were recorded. We will report on the status and our experience with the muon precision tracking and trigger chambers, the level-1 trigger, and the spectrometer alignment. The global performance of the muon system will be discussed. The readiness of the ATLAS muon spectrometer for first collisions will be demonstrated

Interpretation of Inaccessible Sets in Martin-L\"{o}f Type Theory with One Mahlo Universe

Martin-L\"{o}f type theory $\mathbf{MLTT}$ was extended by Setzer with the so-called Mahlo universe types. This extension is called $\mathbf{MLM}$ and was introduced to develop a variant of $\mathbf{MLTT}$ equipped with an analogue of a large cardinal. Another instance of constructive systems extended with an analogue of a large set was formulated in the context of Aczel's constructive set theory: $\mathbf{CZF}$. Rathjen, Griffor and Palmgren extended $\mathbf{CZF}$ with inaccessible sets of all transfinite orders. It is unknown whether this extension of $\mathbf{CZF}$ is directly interpretable by Mahlo universes. In particular, how to construct the transfinite hierarchy of inaccessible sets using the reflection property of the Mahlo universe in $\mathbf{MLM}$ is not well understood. We extend $\mathbf{MLM}$ further by adding the accessibility predicate to it and show that the above extension of $\mathbf{CZF}$ is directly interpretable in $\mathbf{MLM}$ using the accessibility predicate

Topological Higgs inflation: The origin of the Standard Model criticality

The measured values of the Higgs and top masses and of the strong gauge coupling constant point to the near-criticality of the Standard Model, where two vacua at the electroweak and Planck scales are quasi-degenerate. We argue that the criticality is required by the occurrence of an eternal topological inflation induced by the Higgs potential. The role of this inflation is to continuously create sufficiently flat and homogeneous Universe, providing the necessary initial condition for the subsequent slow-roll inflation that generates the density perturbations of the right magnitude. While the condition for the topological Higgs inflation is only marginally satisfied in the Standard Model, it can be readily satisfied if one introduces the right-handed neutrinos and/or the non-minimal coupling to gravity; currently unknown quantum gravity corrections to the potential may also help. We also discuss the $B-L$ Higgs inflation as a possible origin of the observed density perturbations. Its necessary initial condition, the restored $B-L$ symmetry, can be naturally realized by the preceding topological Higgs inflation.Comment: 13 pages, 2 figures; Version to appear on PRD(v2

Interactively Picking Real-World Objects with Unconstrained Spoken Language Instructions

Comprehension of spoken natural language is an essential component for robots to communicate with human effectively. However, handling unconstrained spoken instructions is challenging due to (1) complex structures including a wide variety of expressions used in spoken language and (2) inherent ambiguity in interpretation of human instructions. In this paper, we propose the first comprehensive system that can handle unconstrained spoken language and is able to effectively resolve ambiguity in spoken instructions. Specifically, we integrate deep-learning-based object detection together with natural language processing technologies to handle unconstrained spoken instructions, and propose a method for robots to resolve instruction ambiguity through dialogue. Through our experiments on both a simulated environment as well as a physical industrial robot arm, we demonstrate the ability of our system to understand natural instructions from human operators effectively, and how higher success rates of the object picking task can be achieved through an interactive clarification process.Comment: 9 pages. International Conference on Robotics and Automation (ICRA) 2018. Accompanying videos are available at the following links: https://youtu.be/_Uyv1XIUqhk (the system submitted to ICRA-2018) and http://youtu.be/DGJazkyw0Ws (with improvements after ICRA-2018 submission

Quotients in super-symmetry: formal supergroup case

We describe the structure of the quotient $\mathfrak{G}/\mathfrak{H}$ of a formal supergroup $\mathfrak{G}$ by its formal sub-supergroup $\mathfrak{H}$. This is a consequence which arises as a continuation of the authors' work (partly with M. Hashi) on algebraic/analytic supergoups.The results are presented and proved in terms of super-cocommutative Hopf superalgebras. The notion of co-free super-coalgebras plays a role, in particular.Comment: 21 pages; to appear in Comm. Algebr