-
SMT-Based Model Checking of Industrial Simulink Models
Authors:
Daisuke Ishii,
Takashi Tomita,
Toshiaki Aoki,
The Quyen Ngo,
Thi Bich Ngoc Do,
Hideaki Takai
Abstract:
The development of embedded systems requires formal analysis of models such as those described with MATLAB/Simulink. However, the increasing complexity of industrial models makes analysis difficult. This paper proposes a model checking method for Simulink models using SMT solvers. The proposed method aims at (1) automated, efficient and comprehensible verification of complex models, (2) numericall…
▽ More
The development of embedded systems requires formal analysis of models such as those described with MATLAB/Simulink. However, the increasing complexity of industrial models makes analysis difficult. This paper proposes a model checking method for Simulink models using SMT solvers. The proposed method aims at (1) automated, efficient and comprehensible verification of complex models, (2) numerically accurate analysis of models, and (3) demonstrating the analysis of Simulink models using an SMT solver (we use Z3). It first encodes a target model into a predicate logic formula in the domain of mathematical arithmetic and bit vectors. We explore how to encode various Simulink blocks exactly. Then, the method verifies a given invariance property using the k-induction-based algorithm that extracts a subsystem involving the target block and unrolls the execution paths incrementally. In the experiment, we applied the proposed method and other tools to a set of models and properties. Our method successfully verified most of the properties including those unverified with other tools.
△ Less
Submitted 6 June, 2022;
originally announced June 2022.
-
R&D Towards Cryogenic Optical Links
Authors:
Mark Christiansen,
Raphael Galea,
Datao Gong,
Suen Hou,
David Lissauer,
Chonghan Liu,
Tiankuan Liu,
Veljko Radeka,
Pavel Rehak,
John Sondericker,
Ryszard Stroynowski,
Da-Shung Su,
Peter Takacs,
Helio Takai,
Valeri Tcherniatine,
**-Kun Teng,
Craig Thorn,
Annie C. Xiang,
**gbo Ye,
Bo Yu
Abstract:
A number of critical active and passive components of optical links have been tested at 77 K or lower temperatures, demonstrating potential development of optical links operating inside the liquid argon time projection chamber (LArTPC) detector cryostat. A ring oscillator, individual MOSFETs, and a high speed 16:1 serializer fabricated in a commercial 0.25-um silicon-on-sapphire CMOS technology co…
▽ More
A number of critical active and passive components of optical links have been tested at 77 K or lower temperatures, demonstrating potential development of optical links operating inside the liquid argon time projection chamber (LArTPC) detector cryostat. A ring oscillator, individual MOSFETs, and a high speed 16:1 serializer fabricated in a commercial 0.25-um silicon-on-sapphire CMOS technology continued to function from room temperature to 4.2 K, 15 K, and 77 K respectively. Three types of laser diodes lase from room temperature to 77 K. Optical fibers and optical connectors exhibited minute attenuation changes from room temperature to 77 K.
△ Less
Submitted 10 February, 2022;
originally announced February 2022.
-
Gamma-ray Showers Observed at Ground Level in Coincidence With Downward Lightning Leaders
Authors:
R. U. Abbasi,
T. Abu-Zayyad,
M. Allen,
E. Barcikowski,
J. W. Belz,
D. R. Bergman,
S. A. Blake,
M. Byrne,
R. Cady,
B. G. Cheon,
J. Chiba,
M. Chikawa,
T. Fujii,
M. Fukushima,
G. Furlich,
T. Goto,
W. Hanlon,
Y. Hayashi,
N. Hayashida,
K. Hibino,
K. Honda,
D. Ikeda,
N. Inoue,
T. Ishii,
H. Ito
, et al. (99 additional authors not shown)
Abstract:
Bursts of gamma ray showers have been observed in coincidence with downward propagating negative leaders in lightning flashes by the Telescope Array Surface Detector (TASD). The TASD is a 700~square kilometer cosmic ray observatory located in southwestern Utah, U.S.A. In data collected between 2014 and 2016, correlated observations showing the structure and temporal development of three shower-pro…
▽ More
Bursts of gamma ray showers have been observed in coincidence with downward propagating negative leaders in lightning flashes by the Telescope Array Surface Detector (TASD). The TASD is a 700~square kilometer cosmic ray observatory located in southwestern Utah, U.S.A. In data collected between 2014 and 2016, correlated observations showing the structure and temporal development of three shower-producing flashes were obtained with a 3D lightning map** array, and electric field change measurements were obtained for an additional seven flashes, in both cases co-located with the TASD. National Lightning Detection Network (NLDN) information was also used throughout. The showers arrived in a sequence of 2--5 short-duration ($\le$10~$μ$s) bursts over time intervals of several hundred microseconds, and originated at an altitude of $\simeq$3--5 kilometers above ground level during the first 1--2 ms of downward negative leader breakdown at the beginning of cloud-to-ground lightning flashes. The shower footprints, associated waveforms and the effect of atmospheric propagation indicate that the showers consist primarily of downward-beamed gamma radiation. This has been supported by GEANT simulation studies, which indicate primary source fluxes of $\simeq$$10^{12}$--$10^{14}$ photons for $16^{\circ}$ half-angle beams. We conclude that the showers are terrestrial gamma-ray flashes (TGFs), similar to those observed by satellites, but that the ground-based observations are more representative of the temporal source activity and are also more sensitive than satellite observations, which detect only the most powerful TGFs.
△ Less
Submitted 18 May, 2018; v1 submitted 17 May, 2017;
originally announced May 2017.
-
Tidal Frequencies in the Time Series Measurements of Atmospheric Muon Flux from Cosmic Rays
Authors:
H. Takai,
C. Feldman,
M. Minelli,
J. Sundermier,
G. Winters,
M. K. Russ,
J. Dodaro,
A. Varshney,
C. J. McIlwaine,
T. Tomaszewski,
J. Tomaszewski,
R. Warasila,
J. McDermott,
U. Khan,
K. Chaves,
O. Kassim,
J. Ripka
Abstract:
Tidal frequencies are detected in time series muon flux measurements performed over a period of eight years. Meson production and subsequent decay produce the muons that are observed at ground level. We interpret the periodic behavior as a consequence of high altitude density variations at the point of meson production. These variations are driven by solar thermal cycles. The detected frequencies…
▽ More
Tidal frequencies are detected in time series muon flux measurements performed over a period of eight years. Meson production and subsequent decay produce the muons that are observed at ground level. We interpret the periodic behavior as a consequence of high altitude density variations at the point of meson production. These variations are driven by solar thermal cycles. The detected frequencies are in good agreement with published tidal frequencies and suggest that muons can be a complementary probe to the study of atmospheric tides at altitudes between 20 to 60 km.
△ Less
Submitted 28 October, 2016; v1 submitted 19 October, 2016;
originally announced October 2016.
-
Development of an ADC Radiation Tolerance Characterization System for the Upgrade of the ATLAS LAr Calorimeter
Authors:
Hongbin Liu,
Hucheng Chen,
Kai Chen,
James Kierstead,
Francesco Lanni,
Helio Takai,
Ge **
Abstract:
ATLAS LAr calorimeter will perform its Phase-I upgrade during the long shut down (LS2) in 2018, a new LAr Trigger Digitizer Board (LTDB) will be designed and installed. Several commercial-off-the-shelf (COTS) multichannel high-speed ADCs have been selected as possible backups of the radiation tolerant ADC ASICs for LTDB. In order to evaluate the radiation tolerance of these back up commercial ADCs…
▽ More
ATLAS LAr calorimeter will perform its Phase-I upgrade during the long shut down (LS2) in 2018, a new LAr Trigger Digitizer Board (LTDB) will be designed and installed. Several commercial-off-the-shelf (COTS) multichannel high-speed ADCs have been selected as possible backups of the radiation tolerant ADC ASICs for LTDB. In order to evaluate the radiation tolerance of these back up commercial ADCs, we developed an ADC radiation tolerance characterization system, which includes the ADC boards, data acquisition (DAQ) board, signal generator, external power supplies and a host computer. The ADC board is custom designed for different ADCs, which has ADC driver and clock distribution circuits integrated on board. The Xilinx ZC706 FPGA development board is used as DAQ board. The data from ADC are routed to the FPGA through the FMC (FPGA Mezzanine Card) connector, de-serialized and monitored by the FPGA, and then transmitted to the host computer through the Gigabit Ethernet. A software program has been developed with Python, and all the commands are sent to the DAQ board through Gigabit Ethernet by this program. Two ADC boards have been designed for the TI ADS52J90 and ADI AD9249 respectively. TID test of both ADCs have been performed at BNL, and SEE test for ADS52J90 has been performed at Massachusetts General Hospital (MGH). Test results have been analyzed and presented. The test results demonstrate that our test system is very versatile, and working well for the radiation tolerance characterization of commercial multi-channel high-speed ADC for the upgrade of the ATLAS LAr calorimeter. It is applicable to other collider physics experiments where radiation tolerance is required as well.
△ Less
Submitted 22 November, 2016; v1 submitted 28 March, 2016;
originally announced March 2016.
-
First Upper Limits on the Radar Cross Section of Cosmic-Ray Induced Extensive Air Showers
Authors:
R. U. Abbasi,
M. Abe,
M. Abou Bakr Othman,
T. Abu-Zayyad,
M. Allen,
R. Anderson,
R. Azuma,
E. Barcikowski,
J. W. Belz,
D. R. Bergman,
D. Besson,
S. A. Blake,
M. Byrne,
R. Cady,
M. J. Chae,
B. G. Cheon,
J. Chiba,
M. Chikawa,
W. R. Cho,
B. Farhang-Boroujeny,
T. Fujii,
M. Fukushima,
W. H. Gillman,
T. Goto,
W. Hanlon
, et al. (114 additional authors not shown)
Abstract:
TARA (Telescope Array Radar) is a cosmic ray radar detection experiment colocated with Telescope Array, the conventional surface scintillation detector (SD) and fluorescence telescope detector (FD) near Delta, Utah, U.S.A. The TARA detector combines a 40 kW, 54.1 MHz VHF transmitter and high-gain transmitting antenna which broadcasts the radar carrier over the SD array and within the FD field of v…
▽ More
TARA (Telescope Array Radar) is a cosmic ray radar detection experiment colocated with Telescope Array, the conventional surface scintillation detector (SD) and fluorescence telescope detector (FD) near Delta, Utah, U.S.A. The TARA detector combines a 40 kW, 54.1 MHz VHF transmitter and high-gain transmitting antenna which broadcasts the radar carrier over the SD array and within the FD field of view, towards a 250 MS/s DAQ receiver. TARA has been collecting data since 2013 with the primary goal of observing the radar signatures of extensive air showers (EAS). Simulations indicate that echoes are expected to be short in duration (~10 microseconds) and exhibit rapidly changing frequency, with rates on the order of 1 MHz/microsecond. The EAS radar cross-section (RCS) is currently unknown although it is the subject of over 70 years of speculation. A novel signal search technique is described in which the expected radar echo of a particular air shower is used as a matched filter template and compared to waveforms obtained by triggering the radar DAQ using the Telescope Array fluorescence detector. No evidence for the scattering of radio frequency radiation by EAS is obtained to date. We report the first quantitative RCS upper limits using EAS that triggered the Telescope Array Fluorescence Detector.
△ Less
Submitted 16 March, 2016;
originally announced March 2016.
-
Design, Construction and Operation of a Low-Power, Autonomous Radio-Frequency Data-Acquisition Station for the TARA Experiment
Authors:
S. Kunwar,
R. Abbasi,
C. Allen,
J. Belz,
D. Besson,
M. Byrne,
B. Farhang-Boroujeny,
W. H. Gillman,
W. Hanlon,
J. Hanson,
I. Myers,
A. Novikov,
S. Prohira,
K. Ratzlaff,
A. Rezazadeh,
V. Sanivarapu,
D. Schurig,
A. Shustov,
M. Smirnova,
H. Takai,
G. B. Thomson,
R. Young
Abstract:
Employing a 40-kW radio-frequency transmitter just west of Delta, UT, and operating at 54.1 MHz, the TARA (Telescope Array RAdar) experiment seeks radar detection of extensive air showers (EAS) initiated by ultra-high energy cosmic rays (UHECR). For UHECR with energies in excess of $10^{19}$ eV, the Doppler-shifted "chirps" resulting from EAS shower core radar reflections should be observable abov…
▽ More
Employing a 40-kW radio-frequency transmitter just west of Delta, UT, and operating at 54.1 MHz, the TARA (Telescope Array RAdar) experiment seeks radar detection of extensive air showers (EAS) initiated by ultra-high energy cosmic rays (UHECR). For UHECR with energies in excess of $10^{19}$ eV, the Doppler-shifted "chirps" resulting from EAS shower core radar reflections should be observable above background (dominantly galactic) at distances of tens of km from the TARA transmitter. In order to stereoscopically reconstruct cosmic ray chirps, two remote, autonomous self-powered receiver stations have been deployed. Each remote station (RS) combines both low power consumption as well as low cost. Triggering logic, the powering and communication systems, and some specific details of hardware components are discussed.
△ Less
Submitted 29 May, 2015; v1 submitted 3 April, 2015;
originally announced April 2015.
-
Evaluation of commercial ADC radiation tolerance for accelerator experiments
Authors:
Kai Chen,
Hucheng Chen,
James Kierstead,
Helio Takai,
Sergio Rescia,
Xueye Hu,
Hao Xu,
Joseph Mead,
Francesco Lanni,
Marena Minelli
Abstract:
Electronic components used in high energy physics experiments are subjected to a radiation background composed of high energy hadrons, mesons and photons. These particles can induce permanent and transient effects that affect the normal device operation. Ionizing dose and displacement damage can cause chronic damage which disable the device permanently. Transient effects or single event effects ar…
▽ More
Electronic components used in high energy physics experiments are subjected to a radiation background composed of high energy hadrons, mesons and photons. These particles can induce permanent and transient effects that affect the normal device operation. Ionizing dose and displacement damage can cause chronic damage which disable the device permanently. Transient effects or single event effects are in general recoverable with time intervals that depend on the nature of the failure. The magnitude of these effects is technology dependent with feature size being one of the key parameters. Analog to digital converters are components that are frequently used in detector front end electronics, generally placed as close as possible to the sensing elements to maximize signal fidelity. We report on radiation effects tests conducted on 17 commercially available analog to digital converters and extensive single event effect measurements on specific twelve and fourteen bit ADCs that presented high tolerance to ionizing dose. Mitigation strategies for single event effects (SEE) are discussed for their use in the large hadron collider environment.
△ Less
Submitted 8 May, 2015; v1 submitted 25 November, 2014;
originally announced November 2014.
-
Potential of Thin Films for use in Charged Particle Tracking Detectors
Authors:
J. Metcalfe,
I. Mejia,
J. Murphy,
M. Quevedo,
L. Smith,
J. Alvarado,
B. Gnade,
H. Takai
Abstract:
Thin Film technology has widespread applications in everyday electronics, notably Liquid Crystal Display screens, solar cells, and organic light emitting diodes. We explore the potential of this technology as charged particle radiation tracking detectors for use in High Energy Physics experiments such as those at the Large Hadron Collider or the Relativistic Heavy Ion Collider. Through modern fabr…
▽ More
Thin Film technology has widespread applications in everyday electronics, notably Liquid Crystal Display screens, solar cells, and organic light emitting diodes. We explore the potential of this technology as charged particle radiation tracking detectors for use in High Energy Physics experiments such as those at the Large Hadron Collider or the Relativistic Heavy Ion Collider. Through modern fabrication techniques, a host of semiconductor materials are available to construct thin, flexible detectors with integrated electronics with pixel sizes on the order of a few microns. We review the material properties of promising candidates, discuss the potential benefits and challenges associated with this technology, and review previously demonstrated applicability as a neutron detector.
△ Less
Submitted 6 November, 2014;
originally announced November 2014.
-
Telescope Array Radar (TARA) Observatory for Ultra-High Energy Cosmic Rays
Authors:
R. Abbasi,
M. Abou Bakr Othman,
C. Allen,
L. Beard,
J. Belz,
D. Besson,
M. Byrne,
B. Farhang-Boroujeny,
A. Gardner,
W. H. Gillman,
W. Hanlon,
J. Hanson,
C. Jayanthmurthy,
S. Kunwar,
S. L. Larson,
I. Myers,
S. Prohyra,
K. Ratzlaff,
P. Sokolsky,
H. Takai,
G. B. Thomson,
D. Von Maluski
Abstract:
Construction was completed during summer 2013 on the Telescope Array RAdar (TARA) bi-static radar observatory for Ultra-High Energy Cosmic Rays (UHECR). TARA is co-located with the Telescope Array, the largest "conventional" cosmic ray detector in the Northern Hemisphere, in radio-quiet Western Utah. TARA employs an 8 MW Effective Radiated Power (ERP) VHF transmitter and smart receiver system base…
▽ More
Construction was completed during summer 2013 on the Telescope Array RAdar (TARA) bi-static radar observatory for Ultra-High Energy Cosmic Rays (UHECR). TARA is co-located with the Telescope Array, the largest "conventional" cosmic ray detector in the Northern Hemisphere, in radio-quiet Western Utah. TARA employs an 8 MW Effective Radiated Power (ERP) VHF transmitter and smart receiver system based on a 250 MS/s data acquisition system in an effort to detect the scatter of sounding radiation by UHECR-induced atmospheric ionization. TARA seeks to demonstrate bi-static radar as a useful new remote sensing technique for UHECRs, extending their detection aperture far beyond what is accessible by conventional means. In this report, we describe the design and performance of the TARA transmitter and receiver systems.
△ Less
Submitted 11 September, 2014; v1 submitted 30 April, 2014;
originally announced May 2014.
-
Proton-Nucleus Collisions at the LHC: Scientific Opportunities and Requirements
Authors:
C. A. Salgado,
J. Alvarez-Muniz,
F. Arleo,
N. Armesto,
M. Botje,
M. Cacciari,
J. Campbell,
C. Carli,
B. Cole,
D. D'Enterria,
F. Gelis,
V. Guzey,
K. Hencken,
P. Jacobs,
J. M. Jowett,
S. R. Klein,
F. Maltoni,
A. Morsch,
K. Piotrzkowski,
J. W. Qiu,
T. Satogata,
F. Sikler,
M. Strikman,
H. Takai,
R. Vogt
, et al. (5 additional authors not shown)
Abstract:
Proton-nucleus (p+A) collisions have long been recognized as a crucial component of the physics programme with nuclear beams at high energies, in particular for their reference role to interpret and understand nucleus-nucleus data as well as for their potential to elucidate the partonic structure of matter at low parton fractional momenta (small-x). Here, we summarize the main motivations that mak…
▽ More
Proton-nucleus (p+A) collisions have long been recognized as a crucial component of the physics programme with nuclear beams at high energies, in particular for their reference role to interpret and understand nucleus-nucleus data as well as for their potential to elucidate the partonic structure of matter at low parton fractional momenta (small-x). Here, we summarize the main motivations that make a proton-nucleus run a decisive ingredient for a successful heavy-ion programme at the Large Hadron Collider (LHC) and we present unique scientific opportunities arising from these collisions. We also review the status of ongoing discussions about operation plans for the p+A mode at the LHC.
△ Less
Submitted 19 May, 2011;
originally announced May 2011.
-
The Entire Cyclic Cohomology of Noncommutative 3-Spheres
Authors:
Katsutoshi Naito,
Hiroshi Takai
Abstract:
In this paper, we compute the entire cyclic cohomology of noncommutative 3-spheres. First of all, we verify the Mayer-Vietoris exact sequence of entire cyclic cohomology in the framework of Fréchet $^*$-algebras. Applying it to their noncommutative Heegaard decomposition, we deduce that their entire cyclic cohomology is isomorphic to the d'Rham homology of the ordinary 3-sphere with the complex…
▽ More
In this paper, we compute the entire cyclic cohomology of noncommutative 3-spheres. First of all, we verify the Mayer-Vietoris exact sequence of entire cyclic cohomology in the framework of Fréchet $^*$-algebras. Applying it to their noncommutative Heegaard decomposition, we deduce that their entire cyclic cohomology is isomorphic to the d'Rham homology of the ordinary 3-sphere with the complex coefficients.
△ Less
Submitted 14 May, 2010; v1 submitted 22 January, 2010;
originally announced January 2010.
-
Expected Performance of the ATLAS Experiment - Detector, Trigger and Physics
Authors:
The ATLAS Collaboration,
G. Aad,
E. Abat,
B. Abbott,
J. Abdallah,
A. A. Abdelalim,
A. Abdesselam,
O. Abdinov,
B. Abi,
M. Abolins,
H. Abramowicz,
B. S. Acharya,
D. L. Adams,
T. N. Addy,
C. Adorisio,
P. Adragna,
T. Adye,
J. A. Aguilar-Saavedra,
M. Aharrouche,
S. P. Ahlen,
F. Ahles,
A. Ahmad,
H. Ahmed,
G. Aielli,
T. Akdogan
, et al. (2587 additional authors not shown)
Abstract:
A detailed study is presented of the expected performance of the ATLAS detector. The reconstruction of tracks, leptons, photons, missing energy and jets is investigated, together with the performance of b-tagging and the trigger. The physics potential for a variety of interesting physics processes, within the Standard Model and beyond, is examined. The study comprises a series of notes based on…
▽ More
A detailed study is presented of the expected performance of the ATLAS detector. The reconstruction of tracks, leptons, photons, missing energy and jets is investigated, together with the performance of b-tagging and the trigger. The physics potential for a variety of interesting physics processes, within the Standard Model and beyond, is examined. The study comprises a series of notes based on simulations of the detector and physics processes, with particular emphasis given to the data expected from the first years of operation of the LHC at CERN.
△ Less
Submitted 14 August, 2009; v1 submitted 28 December, 2008;
originally announced January 2009.
-
Response Uniformity of the ATLAS Liquid Argon Electromagnetic Calorimeter
Authors:
M. Aharrouche,
J. Colas,
L. Di Ciaccio,
M. El Kacimi,
O. Gaumer,
M. Gouanere,
D. Goujdami,
R. Lafaye,
S. Laplace,
C. Le Maner,
L. Neukermans,
P. Perrodo,
L. Poggioli,
D. Prieur,
H. Przysiezniak,
G. Sauvage,
I. Wingerter-Seez,
R. Zitoun,
F. Lanni,
L. Lu,
H. Ma,
S. Rajago palan,
H. Takai,
A. Belymam,
D. Benchekroun
, et al. (77 additional authors not shown)
Abstract:
The construction of the ATLAS electromagnetic liquid argon calorimeter modules is completed and all the modules are assembled and inserted in the cryostats. During the production period four barrel and three endcap modules were exposed to test beams in order to assess their performance, ascertain the production quality and reproducibility, and to scrutinize the complete energy reconstruction cha…
▽ More
The construction of the ATLAS electromagnetic liquid argon calorimeter modules is completed and all the modules are assembled and inserted in the cryostats. During the production period four barrel and three endcap modules were exposed to test beams in order to assess their performance, ascertain the production quality and reproducibility, and to scrutinize the complete energy reconstruction chain from the readout and calibration electronics to the signal and energy reconstruction. It was also possible to check the full Monte Carlo simulation of the calorimeter. The analysis of the uniformity, resolution and extraction of constant term is presented. Typical non-uniformities of 0.5% and typical global constant terms of 0.6% are measured for the barrel and end-cap modules.
△ Less
Submitted 7 September, 2007;
originally announced September 2007.
-
Moduli Spaces of Instantons on Noncommutative 4-Manifolds II
Authors:
Noriaki Hayakawa,
Hiroshi Takai
Abstract:
This work is a continuation of the former paper in which principal bundles are given by compact spin toric manifolds and compact connected semisimple Lie groups. In this paper, ambient manifolds are assumed to be compact toric manifolds and Lie groups are compact connected. The main result is that locally smooth manifolds are the instanton moduli spaces of the noncommutative vector bundles over…
▽ More
This work is a continuation of the former paper in which principal bundles are given by compact spin toric manifolds and compact connected semisimple Lie groups. In this paper, ambient manifolds are assumed to be compact toric manifolds and Lie groups are compact connected. The main result is that locally smooth manifolds are the instanton moduli spaces of the noncommutative vector bundles over noncommutative 4-manifolds associated with highest weights of the compact Lie groups. Moreover their dimensions are described explicitly in terms of given principal bundles and highest weights. As a corollary, it is shown that a smooth 4-manifold is the instanton moduli space of the canonocal noncommutative vector bundle over the noncommutative comples projective 2-space associated with the highest weight 1 of the 1-torus.
△ Less
Submitted 7 March, 2007; v1 submitted 5 March, 2007;
originally announced March 2007.
-
Moduli Spaces of Instantons on Noncommutative 4-Manifolds
Authors:
Hiroshi Takai
Abstract:
Studied are moduli spaces of self dual or anti-self dual connections on noncommutative 4-manifolds, especially deformation quantization of compact spin Riemannian 4-manifolds and their isometry groups have 2-torus subgroup. Then such moduli spaces of irreducible modules associated with highestweights of compact connected semisimple Lie groups are smooth manifolds with dimension determined by the…
▽ More
Studied are moduli spaces of self dual or anti-self dual connections on noncommutative 4-manifolds, especially deformation quantization of compact spin Riemannian 4-manifolds and their isometry groups have 2-torus subgroup. Then such moduli spaces of irreducible modules associated with highestweights of compact connected semisimple Lie groups are smooth manifolds with dimension determined by their weights. This is a generalization of Atiyah-Hitchin-Singer's classical result as well as Landi-Suijlekom's noncommutative 4-sphere case.
△ Less
Submitted 20 February, 2007; v1 submitted 18 October, 2006;
originally announced October 2006.
-
A Duality for Yang-Mills Moduli Spaces on Noncommutative Manifolds
Authors:
Hiroshi Takai
Abstract:
Studied are the moduli spaces of Yang-Mills connections on finitely generated projective modules associated with noncommutative flows. It is actually shown that they are homeomorphic to those on the dual modules associated with the dual noncommutative flows. Moreover the result is also affirmative in the case of multiflows. As an important application, computed are the moduli spaces of the insta…
▽ More
Studied are the moduli spaces of Yang-Mills connections on finitely generated projective modules associated with noncommutative flows. It is actually shown that they are homeomorphic to those on the dual modules associated with the dual noncommutative flows. Moreover the result is also affirmative in the case of multiflows. As an important application, computed are the moduli spaces of the instanton bundles over the noncommutative Euclidean 4-space with respect to the canonical action of space translations without using the ADHM-construction.
△ Less
Submitted 8 February, 2005; v1 submitted 5 October, 2004;
originally announced October 2004.
-
Yang-Mills Theory for Noncommutative Flows Addendum
Authors:
Hiroshi Takai
Abstract:
This supplementary manuscript is to describe an important nontrivial example, which appears in the matrix model of type IIB in the super string theory in order to apply a new duality for the moduli spaces of Yang-Mills connections on noncommutative vector bundles. Actually, the moduli space of the instanton bundle over noncommutative Euclidean 4-spaces with respect to the canonical action of spa…
▽ More
This supplementary manuscript is to describe an important nontrivial example, which appears in the matrix model of type IIB in the super string theory in order to apply a new duality for the moduli spaces of Yang-Mills connections on noncommutative vector bundles. Actually, the moduli space of the instanton bundle over noncommutative Euclidean 4-spaces with respect to the canonical action of space translations is computed precisely without using the ADHM- construction.
△ Less
Submitted 20 July, 2004;
originally announced July 2004.
-
Yang-Mills Theory for Noncommutative Flows
Authors:
Hiroshi Takai
Abstract:
Shown is a new duality for the moduli spaces of Yang-Mills connections over noncommutative vector bundles, using which one sees that total data of quantum field theory are preserved by dimension reduction.
Shown is a new duality for the moduli spaces of Yang-Mills connections over noncommutative vector bundles, using which one sees that total data of quantum field theory are preserved by dimension reduction.
△ Less
Submitted 15 March, 2004;
originally announced March 2004.
-
Photon Physics in Heavy Ion Collisions at the LHC
Authors:
F. Arleo,
P. Aurenche,
F. Bopp,
I. Dadic,
G. David,
H. Delagrange,
D. d'Enterria,
K. J. Eskola,
F. Gelis,
J. -Ph. Guillet,
S. Jeon,
Yu. Kharlov,
O. Kodolova,
P. Levai,
J. H. Liu,
I. P. Lokhtin,
G. D. Moore,
H. Niemi,
A. Nikitenko,
T. Peitzmann,
P. Petreczky,
J. Ranft,
R. Rapp,
P. V. Ruuskanen,
K. Redlich
, et al. (10 additional authors not shown)
Abstract:
Various pion and photon production mechanisms in high-energy nuclear collisions at RHIC and LHC are discussed. Comparison with RHIC data is done whenever possible. The prospect of using electromagnetic probes to characterize quark-gluon plasma formation is assessed.
Various pion and photon production mechanisms in high-energy nuclear collisions at RHIC and LHC are discussed. Comparison with RHIC data is done whenever possible. The prospect of using electromagnetic probes to characterize quark-gluon plasma formation is assessed.
△ Less
Submitted 17 May, 2004; v1 submitted 10 November, 2003;
originally announced November 2003.
-
Hard probes in heavy ion collisions at the LHC: heavy flavour physics
Authors:
M. Bedjidian,
D. Blaschke,
G. T. Bodwin,
N. Carrer,
B. Cole,
P. Crochet,
A. Dainese,
A. Deandrea,
S. Frixione,
P. Hoyer,
D. Kharzeev,
O. L. Kodolova,
R. Kvatadze,
Jungil Lee,
I. P. Lokhtin,
M. Mangano,
N. Marchal,
M. Nardi,
G. Nardulli,
H. Niemi,
S. Peigne',
P. Petreczky,
A. D. Polosa,
H. Satz,
H. Takai
, et al. (4 additional authors not shown)
Abstract:
We present the results from the heavy quarks and quarkonia working group. This report gives benchmark heavy quark and quarkonium cross sections for $pp$ and $pA$ collisions at the LHC against which the $AA$ rates can be compared in the study of the quark-gluon plasma. We also provide an assessment of the theoretical uncertainties in these benchmarks. We then discuss some of the cold matter effec…
▽ More
We present the results from the heavy quarks and quarkonia working group. This report gives benchmark heavy quark and quarkonium cross sections for $pp$ and $pA$ collisions at the LHC against which the $AA$ rates can be compared in the study of the quark-gluon plasma. We also provide an assessment of the theoretical uncertainties in these benchmarks. We then discuss some of the cold matter effects on quarkonia production, including nuclear absorption, scattering by produced hadrons, and energy loss in the medium. Hot matter effects that could reduce the observed quarkonium rates such as color screening and thermal activation are then discussed. Possible quarkonium enhancement through coalescence of uncorrelated heavy quarks and antiquarks is also described. Finally, we discuss the capabilities of the LHC detectors to measure heavy quarks and quarkonia as well as the Monte Carlo generators used in the data analysis.
△ Less
Submitted 4 November, 2003;
originally announced November 2003.
-
Hard probes in heavy ion collisions at the LHC: PDFs, shadowing and $pA$ collisions
Authors:
A. Accardi,
N. Armesto,
M. Botje,
S. J. Brodsky,
B. Cole,
K. J. Eskola,
G. Fai,
L. Frankfurt,
R. J. Fries,
W. Geist,
V. Guzey,
H. Honkanen,
V. J. Kolhinen,
Yu. V. Kovchegov,
M. McDermott,
A. Morsch,
J. w. Qiu,
C. A. Salgado,
M. Strikman,
H. Takai,
S. Tapprogge,
R. Vogt,
X. f. Zhang
Abstract:
This manuscript is the outcome of the subgroup ``PDFs, shadowing and $pA$ collisions'' from the CERN workshop ``Hard Probes in Heavy Ion Collisions at the LHC''. In addition to the experimental parameters for $pA$ collisions at the LHC, the issues discussed are factorization in nuclear collisions, nuclear parton distributions (nPDFs), hard probes as the benchmark tests of factorization in $pA$ c…
▽ More
This manuscript is the outcome of the subgroup ``PDFs, shadowing and $pA$ collisions'' from the CERN workshop ``Hard Probes in Heavy Ion Collisions at the LHC''. In addition to the experimental parameters for $pA$ collisions at the LHC, the issues discussed are factorization in nuclear collisions, nuclear parton distributions (nPDFs), hard probes as the benchmark tests of factorization in $pA$ collisions at the LHC, and semi-hard probes as observables with potentially large nuclear effects. Also, novel QCD phenomena in $pA$ collisions at the LHC are considered. The importance of the $pA$ program at the LHC is emphasized.
△ Less
Submitted 25 August, 2003;
originally announced August 2003.
-
A Nuclear Physics Program at the ATLAS Experiment at the CERN Large Hadron Collider
Authors:
S. Aronson,
K. Assamagan,
H. Gordon,
M. Leite,
M. Levine,
P. Nevski,
H. Takai,
S. White,
B. Cole,
J. L. Nagle
Abstract:
The ATLAS collaboration has significant interest in the physics of ultra-relativistic heavy ion collisions. We submitted a Letter of Intent to the United States Department of Energy in March 2002. The following document is a slightly modified version of that LOI. More details are available at: http://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/SM/ions
The ATLAS collaboration has significant interest in the physics of ultra-relativistic heavy ion collisions. We submitted a Letter of Intent to the United States Department of Energy in March 2002. The following document is a slightly modified version of that LOI. More details are available at: http://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/SM/ions
△ Less
Submitted 13 December, 2002;
originally announced December 2002.