-
AMC: Access to Miss Correlation Prefetcher for Evolving Graph Analytics
Authors:
Abhishek Singh,
Christian Schulte,
Xiaochen Guo
Abstract:
Modern memory hierarchies work well with applications that have good spatial locality. Evolving (dynamic) graphs are important applications widely used to model graphs and networks with edge and vertex changes. They exhibit irregular memory access patterns and suffer from a high miss ratio and long miss penalty. Prefetching can be employed to predict and fetch future demand misses. However, curren…
▽ More
Modern memory hierarchies work well with applications that have good spatial locality. Evolving (dynamic) graphs are important applications widely used to model graphs and networks with edge and vertex changes. They exhibit irregular memory access patterns and suffer from a high miss ratio and long miss penalty. Prefetching can be employed to predict and fetch future demand misses. However, current hardware prefetchers can not efficiently predict for applications with irregular memory accesses. In evolving graph applications, vertices that do not change during graph changes exhibit the same access correlation patterns. Current temporal prefetchers use one-to-one or one-to-many correlation to exploit these patterns. Similar patterns are recorded in the same entry, which causes aliasing and can lead to poor prefetch accuracy and coverage. This work proposes a software-assisted hardware prefetcher for evolving graphs. The key idea is to record the correlations between a sequence of vertex accesses and the following misses and then prefetch when the same vertex access sequence occurs in the future. The proposed Access-to-Miss Correlation (AMC) prefetcher provides a lightweight programming interface to identify the data structures of interest and sets the iteration boundary to update the correlation table. For the evaluated applications, AMC achieves a geomean speedup of 1.5x as compared to the best-performing prefetcher in prior work (VLDP). AMC can achieve an average of 62% accuracy and coverage, whereas VLDP has an accuracy of 31% and coverage of 23%.
△ Less
Submitted 20 June, 2024;
originally announced June 2024.
-
What you need to know about a learning robot: Identifying the enabling architecture of complex systems
Authors:
Helen Beierling,
Phillip Richter,
Mara Brandt,
Lutz Terfloth,
Carsten Schulte,
Heiko Wersing,
Anna-Lisa Vollmer
Abstract:
Nowadays, we are dealing more and more with robots and AI in everyday life. However, their behavior is not always apparent to most lay users, especially in error situations. As a result, there can be misconceptions about the behavior of the technologies in use. This, in turn, can lead to misuse and rejection by users. Explanation, for example, through transparency, can address these misconceptions…
▽ More
Nowadays, we are dealing more and more with robots and AI in everyday life. However, their behavior is not always apparent to most lay users, especially in error situations. As a result, there can be misconceptions about the behavior of the technologies in use. This, in turn, can lead to misuse and rejection by users. Explanation, for example, through transparency, can address these misconceptions. However, it would be confusing and overwhelming for users if the entire software or hardware was explained. Therefore, this paper looks at the 'enabling' architecture. It describes those aspects of a robotic system that might need to be explained to enable someone to use the technology effectively. Furthermore, this paper is concerned with the 'explanandum', which is the corresponding misunderstanding or missing concepts of the enabling architecture that needs to be clarified. We have thus developed and present an approach for determining this 'enabling' architecture and the resulting 'explanandum' of complex technologies.
△ Less
Submitted 29 February, 2024; v1 submitted 24 November, 2023;
originally announced November 2023.
-
Adding Why to What? Analyses of an Everyday Explanation
Authors:
Lutz Terfloth,
Michael Schaffer,
Heike M. Buhl,
Carsten Schulte
Abstract:
In XAI it is important to consider that, in contrast to explanations for professional audiences, one cannot assume common expertise when explaining for laypeople. But such explanations between humans vary greatly, making it difficult to research commonalities across explanations. We used the dual nature theory, a techno-philosophical approach, to cope with these challenges. According to it, one ca…
▽ More
In XAI it is important to consider that, in contrast to explanations for professional audiences, one cannot assume common expertise when explaining for laypeople. But such explanations between humans vary greatly, making it difficult to research commonalities across explanations. We used the dual nature theory, a techno-philosophical approach, to cope with these challenges. According to it, one can explain, for example, an XAI's decision by addressing its dual nature: by focusing on the Architecture (e.g., the logic of its algorithms) or the Relevance (e.g., the severity of a decision, the implications of a recommendation). We investigated 20 game explanations using the theory as an analytical framework. We elaborate how we used the theory to quickly structure and compare explanations of technological artifacts. We supplemented results from analyzing the explanation contents with results from a video recall to explore how explainers justified their explanation. We found that explainers were focusing on the physical aspects of the game first (Architecture) and only later on aspects of the Relevance. Reasoning in the video recalls indicated that EX regarded the focus on the Architecture as important for structuring the explanation initially by explaining the basic components before focusing on more complex, intangible aspects. Shifting between addressing the two sides was justified by explanation goals, emerging misunderstandings, and the knowledge needs of the explainee. We discovered several commonalities that inspire future research questions which, if further generalizable, provide first ideas for the construction of synthetic explanations.
△ Less
Submitted 8 August, 2023;
originally announced August 2023.
-
Monitoring the evolution of dimensional accuracy and product properties in property-controlled forming processes
Authors:
Sophie Charlotte Stebner,
Juri Martschin,
Bahman Arian,
Stefan Dietrich,
Martin Feistle,
Sebastian Hütter,
Rémi Lafarge,
Robert Laue,
Xinyang Li,
Christopher Schulte,
Daniel Spies,
Ferdinand Thein,
Frank Wendler,
Malte Wrobel,
Julian Rozo Vasquez,
Michael Dölz,
Sebastian Münstermann
Abstract:
As recent trends in manufacturing engineering disciplines show a clear development in the sustainable as well as economically efficient design of forming processes, monitoring techniques have been gaining in relevance. In terms of monitoring of product properties, most processes are currently open-loop controlled, entailing that the microstructure evolution, which determines the final product prop…
▽ More
As recent trends in manufacturing engineering disciplines show a clear development in the sustainable as well as economically efficient design of forming processes, monitoring techniques have been gaining in relevance. In terms of monitoring of product properties, most processes are currently open-loop controlled, entailing that the microstructure evolution, which determines the final product properties, is not considered. However, a closed-loop control that can adjust and manipulate the process actuators according to the required product properties of the component will lead to a considerable increase in efficiency of the processes regarding resources and will decrease postproduction of the component. For most forming processes, one set of component dimensions will result in a certain set of product properties. However, to successfully establish closed-loop property controls for the processes, a systematic understanding of the reciprocity of the dimensions after forming and final product properties must be established. This work investigates the evolution of dimensional accuracy as well as product properties for a series of forming processes that utilize different degrees of freedom for process control.
△ Less
Submitted 31 May, 2023;
originally announced May 2023.
-
Multilevel Quality Indicators (MQI): Methodology and Monte Carlo evidence
Authors:
Martin Roessler,
Claudia Schulte,
Uwe Repschläger,
Dagmar Hertle,
Danny Wende
Abstract:
Background: Quality indicators are frequently used to assess the performance of healthcare providers, in particular hospitals. Established approaches to the design of such indicators are subject to distortions due to indirect standardization and high variance of estimators. Indicators for geographical regions are rarely considered.
Objectives: To develop and evaluate a methodology of Multilevel…
▽ More
Background: Quality indicators are frequently used to assess the performance of healthcare providers, in particular hospitals. Established approaches to the design of such indicators are subject to distortions due to indirect standardization and high variance of estimators. Indicators for geographical regions are rarely considered.
Objectives: To develop and evaluate a methodology of Multilevel Quality Indicators (MQI) for both healthcare providers and geographical regions.
Research Design: We formally derived MQI from a statistical multilevel model, which may include characteristics of patients, providers, and regions. We used Monte Carlo simulation to assess the performance of MQI relative to established approaches based on the standardized mortality/morbidity ratio (SMR) and the risk-standardized mortality rate (RSMR).
Measures: Rank correlation between true provider/region effects and quality indicator estimates; shares of the 10% best and 10% worst providers identified by the quality indicators.
Results: The proposed MQI are 1) standardized hospital outcome rate (SHOR), 2) regional SHOR (RSHOR), and 3) regional standardized patient outcome rate (RSPOR). Monte Carlo simulations indicated that the SHOR provides substantially better estimates of provider performance than the SMR and RSMR in almost all scenarios. RSPOR was slightly more stable than the regional SMR. We also found that modeling of regional characteristics generally improves the adequacy of provider-level estimates.
Conclusions: MQI methodology facilitates adequate and efficient estimation of quality indicators for both healthcare providers and geographical regions.
△ Less
Submitted 27 June, 2022;
originally announced June 2022.
-
Combinatorial Register Allocation and Instruction Scheduling
Authors:
Roberto Castañeda Lozano,
Mats Carlsson,
Gabriel Hjort Blindell,
Christian Schulte
Abstract:
This paper introduces a combinatorial optimization approach to register allocation and instruction scheduling, two central compiler problems. Combinatorial optimization has the potential to solve these problems optimally and to exploit processor-specific features readily. Our approach is the first to leverage this potential in practice: it captures the complete set of program transformations used…
▽ More
This paper introduces a combinatorial optimization approach to register allocation and instruction scheduling, two central compiler problems. Combinatorial optimization has the potential to solve these problems optimally and to exploit processor-specific features readily. Our approach is the first to leverage this potential in practice: it captures the complete set of program transformations used in state-of-the-art compilers, scales to medium-sized functions of up to 1000 instructions, and generates executable code. This level of practicality is reached by using constraint programming, a particularly suitable combinatorial optimization technique. Unison, the implementation of our approach, is open source, used in industry, and integrated with the LLVM toolchain.
An extensive evaluation confirms that Unison generates better code than LLVM while scaling to medium-sized functions. The evaluation uses systematically selected benchmarks from MediaBench and SPEC CPU2006 and different processor architectures (Hexagon, ARM, MIPS). Mean estimated speedup ranges from 1.1% to 10% and mean code size reduction ranges from 1.3% to 3.8% for the different architectures. A significant part of this improvement is due to the integrated nature of the approach. Executing the generated code on Hexagon confirms that the estimated speedup results in actual speedup. Given a fixed time limit, Unison solves optimally functions of up to 946 instructions, nearly an order of magnitude larger than previous approaches.
The results show that our combinatorial approach can be applied in practice to trade compilation time for code quality beyond the usual compiler optimization levels, identify improvement opportunities in heuristic algorithms, and fully exploit processor-specific features.
△ Less
Submitted 20 June, 2019; v1 submitted 6 April, 2018;
originally announced April 2018.
-
Quadrature squeezed photons from a two-level system
Authors:
Carsten H. H. Schulte,
Jack Hansom,
Alex E. Jones,
Clemens Matthiesen,
Claire Le Gall,
Mete Atature
Abstract:
Resonance fluorescence arises from the interaction of an optical field with a two-level system and has played a fundamental role in the development of quantum optics and its applications. Despite its conceptual simplicity it entails a wide range of intriguing phenomena, such as the Mollow-triplet emission spectrum and coherent photon emission. One fundamental aspect of resonance fluorescence, redu…
▽ More
Resonance fluorescence arises from the interaction of an optical field with a two-level system and has played a fundamental role in the development of quantum optics and its applications. Despite its conceptual simplicity it entails a wide range of intriguing phenomena, such as the Mollow-triplet emission spectrum and coherent photon emission. One fundamental aspect of resonance fluorescence, reduced quantum fluctuations in the single photon stream from an atom in free space, was predicted more than 30 years ago. However, the requirement to operate in the weak excitation regime, together with the combination of modest oscillator strength of atoms and low collection efficiencies, has continued to cast stringent experimental conditions for the observation of squeezing with atoms. Attempts to circumvent these issues had to sacrifice antibunching due to either stimulated forward scattering from atomic ensembles or multiphoton transitions inside optical cavities. Here, we use an artificial atom with a large optical dipole enabling 100-fold improvement of the photon detection rate over the natural atom counterpart and reach the necessary conditions for the observation of quadrature squeezing in single resonance-fluorescence photons. Implementing phase-dependent homodyne intensity-correlation detection, we demonstrate that the electric field quadrature variance of resonance fluorescence is 3\% below the fundamental limit set by vacuum fluctuations, while the photon statistics remain antibunched. The presence of squeezing and antibunching simultaneously is a fully nonclassical outcome of the wave-particle duality of photons.
△ Less
Submitted 22 June, 2015;
originally announced June 2015.
-
Frequency stabilization of the zero-phonon line of a quantum dot via phonon-assisted active feedback
Authors:
Jack Hansom,
Carsten H. H. Schulte,
Clemens Matthiesen,
Megan Stanley,
Mete Atature
Abstract:
We report on the feedback stabilization of the zero-phonon emission frequency of a single InAs quantum dot. The spectral separation of the phonon-assisted component of the resonance fluorescence provides a probe of the detuning between the zero-phonon transition and the resonant driving laser. Using this probe in combination with active feedback, we stabilize the zero-phonon transition frequency a…
▽ More
We report on the feedback stabilization of the zero-phonon emission frequency of a single InAs quantum dot. The spectral separation of the phonon-assisted component of the resonance fluorescence provides a probe of the detuning between the zero-phonon transition and the resonant driving laser. Using this probe in combination with active feedback, we stabilize the zero-phonon transition frequency against environmental fluctuations. This protocol reduces the zero-phonon fluorescence intensity noise by a factor of 22 by correcting for environmental noise with a bandwidth of 191 Hz, limited by the experimental collection efficiency. The associated sub-Hz fluctuations in the zero-phonon central frequency are reduced by a factor of 7. This technique provides a means of stabilizing the quantum dot emission frequency without requiring access to the zero-phonon emission.
△ Less
Submitted 17 October, 2014;
originally announced October 2014.
-
Survey on Combinatorial Register Allocation and Instruction Scheduling
Authors:
Roberto Castañeda Lozano,
Christian Schulte
Abstract:
Register allocation (map** variables to processor registers or memory) and instruction scheduling (reordering instructions to increase instruction-level parallelism) are essential tasks for generating efficient assembly code in a compiler. In the last three decades, combinatorial optimization has emerged as an alternative to traditional, heuristic algorithms for these two tasks. Combinatorial op…
▽ More
Register allocation (map** variables to processor registers or memory) and instruction scheduling (reordering instructions to increase instruction-level parallelism) are essential tasks for generating efficient assembly code in a compiler. In the last three decades, combinatorial optimization has emerged as an alternative to traditional, heuristic algorithms for these two tasks. Combinatorial optimization approaches can deliver optimal solutions according to a model, can precisely capture trade-offs between conflicting decisions, and are more flexible at the expense of increased compilation time.
This paper provides an exhaustive literature review and a classification of combinatorial optimization approaches to register allocation and instruction scheduling, with a focus on the techniques that are most applied in this context: integer programming, constraint programming, partitioned Boolean quadratic programming, and enumeration. Researchers in compilers and combinatorial optimization can benefit from identifying developments, trends, and challenges in the area; compiler practitioners may discern opportunities and grasp the potential benefit of applying combinatorial optimization.
△ Less
Submitted 7 June, 2019; v1 submitted 26 September, 2014;
originally announced September 2014.
-
All-optical formation of coherent dark states of silicon-vacancy spins in diamond
Authors:
Benjamin **ault,
Jonas N. Becker,
Carsten H. H. Schulte,
Carsten Arend,
Christian Hepp,
Tillmann Godde,
Alexander I. Tartakovskii,
Matthew Markham,
Christoph Becher,
Mete Atature
Abstract:
Spin impurities in diamond can be versatile tools for a wide range of solid-state-based quantum technologies, but finding spin impurities which offer sufficient quality in both photonic and spin properties remains a challenge for this pursuit. The silicon-vacancy center has recently attracted a lot of interest due to its spin-accessible optical transitions and the quality of its optical spectrum.…
▽ More
Spin impurities in diamond can be versatile tools for a wide range of solid-state-based quantum technologies, but finding spin impurities which offer sufficient quality in both photonic and spin properties remains a challenge for this pursuit. The silicon-vacancy center has recently attracted a lot of interest due to its spin-accessible optical transitions and the quality of its optical spectrum. Complementing these properties, spin coherence is essential for the suitability of this center as a spin-photon quantum interface. Here, we report all-optical generation of coherent superpositions of spin states in the ground state of a negatively charged silicon-vacancy center using coherent population trap**. Our measurements reveal a characteristic spin coherence time, T2*, exceeding 250 nanoseconds at 4 K. We further investigate the role of phonon-mediated coupling between orbital states as a source of irreversible decoherence. Our results indicate the feasibility of all-optical coherent control of silicon-vacancy spins using ultrafast laser pulses.
△ Less
Submitted 14 September, 2014;
originally announced September 2014.
-
Dynamics of a mesoscopic nuclear spin ensemble interacting with an optically driven electron spin
Authors:
Megan J. Stanley,
Clemens Matthiesen,
Jack Hansom,
Claire Le Gall,
Carsten H. H. Schulte,
Edmund Clarke,
Mete Atatüre
Abstract:
The ability to discriminate between simultaneously occurring noise sources in the local environment of semiconductor InGaAs quantum dots, such as electric and magnetic field fluctuations, is key to understanding their respective dynamics and their effect on quantum dot coherence properties. We present a discriminatory approach to all-optical sensing based on two-color resonance fluorescence of a q…
▽ More
The ability to discriminate between simultaneously occurring noise sources in the local environment of semiconductor InGaAs quantum dots, such as electric and magnetic field fluctuations, is key to understanding their respective dynamics and their effect on quantum dot coherence properties. We present a discriminatory approach to all-optical sensing based on two-color resonance fluorescence of a quantum dot charged with a single electron. Our measurements show that local magnetic field fluctuations due to nuclear spins in the absence of an external magnetic field are described by two correlation times, both in the microsecond regime. The nuclear spin bath dynamics show a strong dependence on the strength of resonant probing, with correlation times increasing by a factor of four as the optical transition is saturated. We interpret the behavior as motional averaging of both the Knight field of the resident electron spin and the hyperfine-mediated nuclear spin-spin interaction due to optically-induced electron spin flips.
△ Less
Submitted 17 November, 2014; v1 submitted 27 August, 2014;
originally announced August 2014.
-
Nanomechanical and topographical imaging of living cells by Atomic Force Microscopy with colloidal probes
Authors:
Luca Puricelli,
Massimiliano Galluzzi,
Carsten Schulte,
Alessandro Podestà,
Paolo Milani
Abstract:
Atomic Force Microscopy (AFM) has a great potential as a tool to characterize mechanical and morphological properties of living cells; these properties have been shown to correlate with cells' fate and patho-physiological state in view of the development of novel early-diagnostic strategies. Although several reports have described experimental and technical approaches for the characterization of c…
▽ More
Atomic Force Microscopy (AFM) has a great potential as a tool to characterize mechanical and morphological properties of living cells; these properties have been shown to correlate with cells' fate and patho-physiological state in view of the development of novel early-diagnostic strategies. Although several reports have described experimental and technical approaches for the characterization of cell elasticity by means of AFM, a robust and commonly accepted methodology is still lacking. Here we show that micrometric spherical probes (also known as colloidal probes) are well suited for performing a combined topographic and mechanical analysis of living cells, with spatial resolution suitable for a complete and accurate map** of cell morphological and elastic properties, and superior reliability and accuracy in the mechanical measurements with respect to conventional and widely used sharp AFM tips. We address a number of issues concerning the nanomechanical analysis, including the applicability of contact mechanical models and the impact of a constrained contact geometry on the measured elastic modulus (the finite-thickness effect). We have tested our protocol by imaging living PC12 and MDA-MB-231 cells, in order to demonstrate the importance of the correction of the finite-thickness effect and the change in cell elasticity induced by the action of a cytoskeleton-targeting drug.
△ Less
Submitted 5 February, 2015; v1 submitted 8 August, 2014;
originally announced August 2014.
-
Environment-assisted quantum control of a solid-state spin via coherent dark states
Authors:
Jack Hansom,
Carsten H. H. Schulte,
Claire Le Gall,
Clemens Matthiesen,
Edmund Clarke,
Maxime Hugues,
Jacob M. Taylor,
Mete Atatüre
Abstract:
Understanding the interplay between a quantum system and its environment lies at the heart of quantum science and its applications. To-date most efforts have focused on circumventing decoherence induced by the environment by either protecting the system from the associated noise or by manipulating the environment directly. Recently, parallel efforts using the environment as a resource have emerged…
▽ More
Understanding the interplay between a quantum system and its environment lies at the heart of quantum science and its applications. To-date most efforts have focused on circumventing decoherence induced by the environment by either protecting the system from the associated noise or by manipulating the environment directly. Recently, parallel efforts using the environment as a resource have emerged, which could enable dissipation-driven quantum computation and coupling of distant quantum bits. Here, we realize the optical control of a semiconductor quantum-dot spin by relying on its interaction with an adiabatically evolving spin environment. The emergence of hyperfine-induced, quasi-static optical selection rules enables the optical generation of coherent spin dark states without an external magnetic field. We show that the phase and amplitude of the lasers implement multi-axis manipulation of the basis spanned by the dark and bright states, enabling control via projection into a spin-superposition state. Our approach can be extended, within the scope of quantum control and feedback, to other systems interacting with an adiabatically evolving environment.
△ Less
Submitted 6 August, 2014;
originally announced August 2014.
-
Measurement of Muon Neutrino Quasi-Elastic Scattering on a Hydrocarbon Target at E_ν ~ 3.5 GeV
Authors:
The MINERvA collaboration,
G. A. Fiorentini,
D. W. Schmitz,
P. A. Rodrigues,
L. Aliaga,
O. Altinok,
B. Baldin,
A. Baumbaugh,
A. Bodek,
D. Boehnlein,
S. Boyd,
R. Bradford,
W. K. Brooks,
H. Budd,
A. Butkevich,
D. A. Martinez Caicedo,
C. M. Castromonte,
M. E. Christy,
H. Chung,
J. Chvojka,
M. Clark,
H. da Motta,
D. S. Damiani,
I. Danko,
M. Datta
, et al. (93 additional authors not shown)
Abstract:
We report a study of muon neutrino charged-current quasi-elastic events in the segmented scintillator inner tracker of the MINERvA experiment running in the NuMI neutrino beam at Fermilab. The events were selected by requiring a μ^- and low calorimetric recoil energy separated from the interaction vertex. We measure the flux-averaged differential cross-section, dσ/dQ^2, and study the low energy pa…
▽ More
We report a study of muon neutrino charged-current quasi-elastic events in the segmented scintillator inner tracker of the MINERvA experiment running in the NuMI neutrino beam at Fermilab. The events were selected by requiring a μ^- and low calorimetric recoil energy separated from the interaction vertex. We measure the flux-averaged differential cross-section, dσ/dQ^2, and study the low energy particle content of the final state. Deviations are found between the measured dσ/dQ^2 and the expectations of a model of independent nucleons in a relativistic Fermi gas. We also observe an excess of energy near the vertex consistent with multiple protons in the final state.
△ Less
Submitted 30 March, 2014; v1 submitted 9 May, 2013;
originally announced May 2013.
-
Measurement of Muon Antineutrino Quasi-Elastic Scattering on a Hydrocarbon Target at E_ν ~ 3.5 GeV
Authors:
The MINERvA collaboration,
L. Fields,
J. Chvojka,
L. Aliaga,
O. Altinok,
B. Baldin,
A. Baumbaugh,
A. Bodek,
D. Boehnlein,
S. Boyd,
R. Bradford,
W. K. Brooks,
H. Budd,
A. Butkevich,
D. A. Martinez Caicedo,
C. M. Castromonte,
M. E. Christy,
H. Chung,
M. Clark,
H. da Motta,
D. S. Damiani,
I. Danko,
M. Datta,
M. Day,
R. DeMaat
, et al. (93 additional authors not shown)
Abstract:
We have isolated muon anti-neutrino charged-current quasi-elastic interactions occurring in the segmented scintillator tracking region of the MINERvA detector running in the NuMI neutrino beam at Fermilab. We measure the flux-averaged differential cross-section, dσ/dQ^2, and compare to several theoretical models of quasi-elastic scattering. Good agreement is obtained with a model where the nucleon…
▽ More
We have isolated muon anti-neutrino charged-current quasi-elastic interactions occurring in the segmented scintillator tracking region of the MINERvA detector running in the NuMI neutrino beam at Fermilab. We measure the flux-averaged differential cross-section, dσ/dQ^2, and compare to several theoretical models of quasi-elastic scattering. Good agreement is obtained with a model where the nucleon axial mass, M_A, is set to 0.99 GeV/c^2 but the nucleon vector form factors are modified to account for the observed enhancement, relative to the free nucleon case, of the cross-section for the exchange of transversely polarized photons in electron-nucleus scattering. Our data at higher Q^2 favor this interpretation over an alternative in which the axial mass is increased.
△ Less
Submitted 30 March, 2014; v1 submitted 9 May, 2013;
originally announced May 2013.
-
The MINER$ν$A Data Acquisition System and Infrastructure
Authors:
G. N. Perdue,
L. Bagby,
B. Baldin,
C. Gingu,
J. Olsen,
P. Rubinov,
E. C. Schulte,
R. Bradford,
W. K. Brooks,
D. A. M. Caicedo,
C. M. Castromonte,
J. Chvojka,
H. da Motta,
I. Danko,
J. Devan,
B. Eberly,
J. Felix,
L. Fields,
G. A. Fiorentini,
A. M. Gago,
R. Gran,
D. A. Harris,
K. Hurtado,
H. Lee,
E. Maher
, et al. (18 additional authors not shown)
Abstract:
MINER$ν$A (Main INjector ExpeRiment $ν$-A) is a new few-GeV neutrino cross section experiment that began taking data in the FNAL NuMI (Fermi National Accelerator Laboratory Neutrinos at the Main Injector) beam-line in March of 2010. MINER$ν$A employs a fine-grained scintillator detector capable of complete kinematic characterization of neutrino interactions. This paper describes the MINER$ν$A data…
▽ More
MINER$ν$A (Main INjector ExpeRiment $ν$-A) is a new few-GeV neutrino cross section experiment that began taking data in the FNAL NuMI (Fermi National Accelerator Laboratory Neutrinos at the Main Injector) beam-line in March of 2010. MINER$ν$A employs a fine-grained scintillator detector capable of complete kinematic characterization of neutrino interactions. This paper describes the MINER$ν$A data acquisition system (DAQ) including the read-out electronics, software, and computing architecture.
△ Less
Submitted 5 September, 2012;
originally announced September 2012.
-
Phase-locked indistinguishable photons with synthesized waveforms from a solid-state source
Authors:
Clemens Matthiesen,
Martin Geller,
Carsten H. H. Schulte,
Claire Le Gall,
Jack Hansom,
Zhengyong Li,
Maxime Hugues,
Edmund Clarke,
Mete Atatüre
Abstract:
Resonance fluorescence in the Heitler regime provides access to single photons with coherence well beyond the Fourier transform limit of the transition, and holds the promise to circumvent environment-induced dephasing common to all solid-state systems. Here we demonstrate that the coherently generated single photons from a single self-assembled InAs quantum dot display mutual coherence with the e…
▽ More
Resonance fluorescence in the Heitler regime provides access to single photons with coherence well beyond the Fourier transform limit of the transition, and holds the promise to circumvent environment-induced dephasing common to all solid-state systems. Here we demonstrate that the coherently generated single photons from a single self-assembled InAs quantum dot display mutual coherence with the excitation laser on a timescale exceeding 3 seconds. Exploiting this degree of mutual coherence we synthesize near-arbitrary coherent photon waveforms by sha** the excitation laser field. In contrast to post-emission filtering, our technique avoids both photon loss and degradation of the single photon nature for all synthesized waveforms. By engineering pulsed waveforms of single photons, we further demonstrate that separate photons generated coherently by the same laser field are fundamentally indistinguishable, lending themselves to creation of distant entanglement through quantum interference.
△ Less
Submitted 27 March, 2013; v1 submitted 8 August, 2012;
originally announced August 2012.
-
Demonstration of Communication using Neutrinos
Authors:
D. D. Stancil,
P. Adamson,
M. Alania,
L. Aliaga,
M. Andrews,
C. Araujo Del Castillo,
L. Bagby,
J. L. Bazo Alba,
A. Bodek,
D. Boehnlein,
R. Bradford,
W. K. Brooks,
H. Budd,
A. Butkevich,
D. A. M. Caicedo,
D. P. Capista,
C. M. Castromonte,
A. Chamorro,
E. Charlton,
M. E. Christy,
J. Chvojka,
P. D. Conrow,
I. Danko,
M. Day,
J. Devan
, et al. (87 additional authors not shown)
Abstract:
Beams of neutrinos have been proposed as a vehicle for communications under unusual circumstances, such as direct point-to-point global communication, communication with submarines, secure communications and interstellar communication. We report on the performance of a low-rate communications link established using the NuMI beam line and the MINERvA detector at Fermilab. The link achieved a decode…
▽ More
Beams of neutrinos have been proposed as a vehicle for communications under unusual circumstances, such as direct point-to-point global communication, communication with submarines, secure communications and interstellar communication. We report on the performance of a low-rate communications link established using the NuMI beam line and the MINERvA detector at Fermilab. The link achieved a decoded data rate of 0.1 bits/sec with a bit error rate of 1% over a distance of 1.035 km, including 240 m of earth.
△ Less
Submitted 9 April, 2012; v1 submitted 13 March, 2012;
originally announced March 2012.
-
High Precision Measurement of the Proton Elastic Form Factor Ratio $μ_pG_E/G_M$ at low $Q^2$
Authors:
X. Zhan,
K. Allada,
D. S. Armstrong,
J. Arrington,
W. Bertozzi,
W. Boeglin,
J. -P. Chen,
K. Chirapatpimol,
S. Choi,
E. Chudakov,
E. Cisbani,
P. Decowski,
C. Dutta,
S. Frullani,
E. Fuchey,
F. Garibaldi,
S. Gilad,
R. Gilman,
J. Glister,
K. Hafidi,
B. Hahn,
J. -O. Hansen,
D. W. Higinbotham,
T. Holmstrom,
R. J. Holt
, et al. (46 additional authors not shown)
Abstract:
We report a new, high-precision measurement of the proton elastic form factor ratio μ_p G_E/G_M for the four-momentum transfer squared Q^2 = 0.3-0.7 (GeV/c)^2. The measurement was performed at Jefferson Lab (JLab) in Hall A using recoil polarimetry. With a total uncertainty of approximately 1%, the new data clearly show that the deviation of the ratio μ_p G_E/G_M from unity observed in previous po…
▽ More
We report a new, high-precision measurement of the proton elastic form factor ratio μ_p G_E/G_M for the four-momentum transfer squared Q^2 = 0.3-0.7 (GeV/c)^2. The measurement was performed at Jefferson Lab (JLab) in Hall A using recoil polarimetry. With a total uncertainty of approximately 1%, the new data clearly show that the deviation of the ratio μ_p G_E/G_M from unity observed in previous polarization measurements at high Q^2 continues down to the lowest Q^2 value of this measurement. The updated global fit that includes the new results yields an electric (magnetic) form factor roughly 2% smaller (1% larger) than the previous global fit in this Q^2 range. We obtain new extractions of the proton electric and magnetic radii, which are <r^2_E>^(1/2)=0.875+/-0.010 fm and <r^2_M>^(1/2)=0.867+/-0.020 fm. The charge radius is consistent with other recent extractions based on the electron-proton interaction, including the atomic hydrogen Lamb shift measurements, which suggests a missing correction in the comparison of measurements of the proton charge radius using electron probes and the recent extraction from the muonic hydrogen Lamb shift.
△ Less
Submitted 31 August, 2011; v1 submitted 1 February, 2011;
originally announced February 2011.
-
View-based Propagator Derivation
Authors:
Christian Schulte,
Guido Tack
Abstract:
When implementing a propagator for a constraint, one must decide about variants: When implementing min, should one also implement max? Should one implement linear constraints both with unit and non-unit coefficients? Constraint variants are ubiquitous: implementing them requires considerable (if not prohibitive) effort and decreases maintainability, but will deliver better performance than resor…
▽ More
When implementing a propagator for a constraint, one must decide about variants: When implementing min, should one also implement max? Should one implement linear constraints both with unit and non-unit coefficients? Constraint variants are ubiquitous: implementing them requires considerable (if not prohibitive) effort and decreases maintainability, but will deliver better performance than resorting to constraint decomposition.
This paper shows how to use views to derive perfect propagator variants. A model for views and derived propagators is introduced. Derived propagators are proved to be indeed perfect in that they inherit essential properties such as correctness and domain and bounds consistency. Techniques for systematically deriving propagators such as transformation, generalization, specialization, and type conversion are developed. The paper introduces an implementation architecture for views that is independent of the underlying constraint programming system. A detailed evaluation of views implemented in Gecode shows that derived propagators are efficient and that views often incur no overhead. Without views, Gecode would either require 180 000 rather than 40 000 lines of propagator code, or would lack many efficient propagator variants. Compared to 8 000 lines of code for views, the reduction in code for propagators yields a 1750% return on investment.
△ Less
Submitted 14 August, 2009;
originally announced August 2009.
-
Perfect Derived Propagators
Authors:
Christian Schulte,
Guido Tack
Abstract:
When implementing a propagator for a constraint, one must decide about variants: When implementing min, should one also implement max? Should one implement linear equations both with and without coefficients? Constraint variants are ubiquitous: implementing them requires considerable (if not prohibitive) effort and decreases maintainability, but will deliver better performance.
This paper show…
▽ More
When implementing a propagator for a constraint, one must decide about variants: When implementing min, should one also implement max? Should one implement linear equations both with and without coefficients? Constraint variants are ubiquitous: implementing them requires considerable (if not prohibitive) effort and decreases maintainability, but will deliver better performance.
This paper shows how to use variable views, previously introduced for an implementation architecture, to derive perfect propagator variants. A model for views and derived propagators is introduced. Derived propagators are proved to be indeed perfect in that they inherit essential properties such as correctness and domain and bounds consistency. Techniques for systematically deriving propagators such as transformation, generalization, specialization, and channeling are developed for several variable domains. We evaluate the massive impact of derived propagators. Without derived propagators, Gecode would require 140000 rather than 40000 lines of code for propagators.
△ Less
Submitted 11 June, 2008;
originally announced June 2008.
-
Angular dependence of recoil proton polarization in high-energy γd \to p n
Authors:
X. Jiang,
J. Arrington,
F. Benmokhtar,
A. Camsonne,
J. P. Chen,
S. Choi,
E. Chudakov,
F. Cusanno,
A. Deur,
D. Dutta,
F. Garibaldi,
D. Gaskell,
O. Gayou,
R. Gilman,
C. Glashauser,
D. Hamilton,
O. Hansen,
D. W. Higinbotham,
R. J. Holt,
C. W. de Jager,
M. K. Jones,
L. J. Kaufman,
E. R. Kinney,
K. Kramer,
L. Lagamba
, et al. (30 additional authors not shown)
Abstract:
We measured the angular dependence of the three recoil proton polarization components in two-body photodisintegration of the deuteron at a photon energy of 2 GeV. These new data provide a benchmark for calculations based on quantum chromodynamics. Two of the five existing models have made predictions of polarization observables. Both explain the longitudinal polarization transfer satisfactorily.…
▽ More
We measured the angular dependence of the three recoil proton polarization components in two-body photodisintegration of the deuteron at a photon energy of 2 GeV. These new data provide a benchmark for calculations based on quantum chromodynamics. Two of the five existing models have made predictions of polarization observables. Both explain the longitudinal polarization transfer satisfactorily.. Transverse polarizations are not well described, but suggest isovector dominance.
△ Less
Submitted 2 February, 2007;
originally announced February 2007.
-
Efficient constraint propagation engines
Authors:
Christian Schulte,
Peter J. Stuckey
Abstract:
This paper presents a model and implementation techniques for speeding up constraint propagation. Three fundamental approaches to improving constraint propagation based on propagators as implementations of constraints are explored: kee** track of which propagators are at fixpoint, choosing which propagator to apply next, and how to combine several propagators for the same constraint. We show h…
▽ More
This paper presents a model and implementation techniques for speeding up constraint propagation. Three fundamental approaches to improving constraint propagation based on propagators as implementations of constraints are explored: kee** track of which propagators are at fixpoint, choosing which propagator to apply next, and how to combine several propagators for the same constraint. We show how idempotence reasoning and events help track fixpoints more accurately. We improve these methods by using them dynamically (taking into account current domains to improve accuracy). We define priority-based approaches to choosing a next propagator and show that dynamic priorities can improve propagation. We illustrate that the use of multiple propagators for the same constraint can be advantageous with priorities, and introduce staged propagators that combine the effects of multiple propagators with priorities for greater efficiency.
△ Less
Submitted 2 November, 2006;
originally announced November 2006.
-
Measurement of R = sigma_L / sigma_T and the Separated Longitudinal and Transverse Structure Functions in the Nucleon Resonance Region
Authors:
The Jefferson Lab Hall C E94-110 Collaboration,
:,
Y. Liang,
V. Tvaskis,
M. E. Christy,
A. Ahmidouch,
C. S. Armstrong,
J. Arrington,
R. Asaturyan,
S. Avery,
O. K. Baker,
D. H. Beck,
H. P. Blok,
C. W. Bochna,
W. Boeglin,
P. Bosted,
M. Bouwhuis,
H. Breuer,
D. S. Brown,
A. Bruell,
R. D. Carlini,
J. Cha,
N. S. Chant,
A. Cochran,
L. Cole
, et al. (65 additional authors not shown)
Abstract:
We report on a detailed study of longitudinal strength in the nucleon resonance region, presenting new results from inclusive electron-proton cross sections measured at Jefferson Lab Hall C in the four-momentum transfer range 0.2 < Q^2 < 5.5 GeV^2. The data have been used to accurately perform 167 Rosenbluth-type longitudinal / transverse separations. The precision R = sigma_L / sigma_T data are…
▽ More
We report on a detailed study of longitudinal strength in the nucleon resonance region, presenting new results from inclusive electron-proton cross sections measured at Jefferson Lab Hall C in the four-momentum transfer range 0.2 < Q^2 < 5.5 GeV^2. The data have been used to accurately perform 167 Rosenbluth-type longitudinal / transverse separations. The precision R = sigma_L / sigma_T data are presented here, along with the first separate values of the inelastic structure functions F_1 and F_L in this regime. The resonance longitudinal component is found to be significant, both in magnitude and in the existence of defined mass peaks. Additionally, quark-hadron duality is here observed above Q^2 = 1 GeV^2 in the separated structure functions independently.
△ Less
Submitted 8 January, 2013; v1 submitted 18 October, 2004;
originally announced October 2004.
-
Precision Rosenbluth measurement of the proton elastic form factors
Authors:
I. A. Qattan,
J. Arrington,
R. E. Segel,
X. Zheng,
K. Aniol,
O. K. Baker,
R. Beams,
E. J. Brash,
J. Calarco,
A. Camsonne,
J. -P. Chen,
M. E. Christy,
D. Dutta,
R. Ent,
S. Frullani,
D. Gaskell,
O. Gayou,
R. Gilman,
C. Glashausser,
K. Hafidi,
J. -O. Hansen,
D. W. Higinbotham,
W. Hinton,
R. J. Holt,
G. M. Huber
, et al. (27 additional authors not shown)
Abstract:
We report the results of a new Rosenbluth measurement of the proton form factors at Q^2 values of 2.64, 3.20 and 4.10 GeV^2. Cross sections were determined by detecting the recoiling proton in contrast to previous measurements in which the scattered electron was detected. At each Q^2, relative cross sections were determined to better than 1%. The measurement focussed on the extraction of G_E/G_M…
▽ More
We report the results of a new Rosenbluth measurement of the proton form factors at Q^2 values of 2.64, 3.20 and 4.10 GeV^2. Cross sections were determined by detecting the recoiling proton in contrast to previous measurements in which the scattered electron was detected. At each Q^2, relative cross sections were determined to better than 1%. The measurement focussed on the extraction of G_E/G_M which was determined to 4-8% and found to approximate form factor scaling, i.e. μ_p G_E \approx G_M. These results are consistent with and much more precise than previous Rosenbluth extractions. However, they are inconsistent with recent polarization transfer measurements of comparable precision, implying a systematic difference between the two techniques.
△ Less
Submitted 8 October, 2004;
originally announced October 2004.
-
Logic programming in the context of multiparadigm programming: the Oz experience
Authors:
Peter Van Roy,
Per Brand,
Denys Duchier,
Seif Haridi,
Martin Henz,
Christian Schulte
Abstract:
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (logic, functional, constraint, object-oriented, sequential, concurrent, etc.) with equal ease. This article has two goals: to give a tutorial of logic programming in Oz and to show how logic programming fits naturally into…
▽ More
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (logic, functional, constraint, object-oriented, sequential, concurrent, etc.) with equal ease. This article has two goals: to give a tutorial of logic programming in Oz and to show how logic programming fits naturally into the wider context of multiparadigm programming. Our experience shows that there are two classes of problems, which we call algorithmic and search problems, for which logic programming can help formulate practical solutions. Algorithmic problems have known efficient algorithms. Search problems do not have known efficient algorithms but can be solved with search. The Oz support for logic programming targets these two problem classes specifically, using the concepts needed for each. This is in contrast to the Prolog approach, which targets both classes with one set of concepts, which results in less than optimal support for each class. To explain the essential difference between algorithmic and search programs, we define the Oz execution model. This model subsumes both concurrent logic programming (committed-choice-style) and search-based logic programming (Prolog-style). Instead of Horn clause syntax, Oz has a simple, fully compositional, higher-order syntax that accommodates the abilities of the language. We conclude with lessons learned from this work, a brief history of Oz, and many entry points into the Oz literature.
△ Less
Submitted 20 August, 2002;
originally announced August 2002.
-
Evidence for a three-nucleon-force effect in proton-deuteron elastic scattering
Authors:
R. V. Cadman,
J. Brack,
W. J. Cummings,
J. A. Fedchak,
B. D. Fox,
H. Gao,
W. Glöckle,
C. Grosshauser,
R. J. Holt,
C. E. Jones,
E. R. Kinney,
M. A. Miller,
W. Nagengast,
B. R. Owen,
K. Rith,
F. Schmidt,
E. C. Schulte,
J. Sowinski,
F. Sperisen,
E. L. Thorsland,
R. Tobey,
J. Wilbert,
H. Witała
Abstract:
Developments in spin-polarized internal targets for storage rings have permitted measurements of 197 MeV polarized protons scattering from vector polarized deuterons. This work presents measurements of the polarization observables A_y, iT_11, and C_y,y in proton-deuteron elastic scattering. When compared to calculations with and without three-nucleon forces, the measurements indicate that three-…
▽ More
Developments in spin-polarized internal targets for storage rings have permitted measurements of 197 MeV polarized protons scattering from vector polarized deuterons. This work presents measurements of the polarization observables A_y, iT_11, and C_y,y in proton-deuteron elastic scattering. When compared to calculations with and without three-nucleon forces, the measurements indicate that three-nucleon forces make a significant contribution to the observables. This work indicates that three-body forces derived from static nuclear properties appear to be crucial to the description of dynamical properties.
△ Less
Submitted 7 October, 2000;
originally announced October 2000.
-
The Rigged Hilbert Space Formulation of Quantum Mechanics and its Implications for Irreversibility
Authors:
C. Schulte,
R. Twarock,
A. Bohm
Abstract:
Quantum mechanics in the Rigged Hilbert Space formulation describes quasistationary phenomena mathematically rigorously in terms of Gamow vectors. We show that these vectors exhibit microphysical irreversibility, related to an intrinsic quantum mechanical arrow of time, which states that preparation of a state has to precede the registration of an observable in this state. Moreover, the Rigged H…
▽ More
Quantum mechanics in the Rigged Hilbert Space formulation describes quasistationary phenomena mathematically rigorously in terms of Gamow vectors. We show that these vectors exhibit microphysical irreversibility, related to an intrinsic quantum mechanical arrow of time, which states that preparation of a state has to precede the registration of an observable in this state. Moreover, the Rigged Hilbert Space formalism allows the derivation of an exact golden rule describing the transition of a pure Gamow state into a mixture of interaction-free decay products.
△ Less
Submitted 12 May, 1995;
originally announced May 1995.