-
Quantifying the Role of Textual Predictability in Automatic Speech Recognition
Authors:
Sean Robertson,
Gerald Penn,
Ewan Dunbar
Abstract:
A long-standing question in automatic speech recognition research is how to attribute errors to the ability of a model to model the acoustics, versus its ability to leverage higher-order context (lexicon, morphology, syntax, semantics). We validate a novel approach which models error rates as a function of relative textual predictability, and yields a single number, $k$, which measures the effect…
▽ More
A long-standing question in automatic speech recognition research is how to attribute errors to the ability of a model to model the acoustics, versus its ability to leverage higher-order context (lexicon, morphology, syntax, semantics). We validate a novel approach which models error rates as a function of relative textual predictability, and yields a single number, $k$, which measures the effect of textual predictability on the recognizer. We use this method to demonstrate that a Wav2Vec 2.0-based model makes greater stronger use of textual context than a hybrid ASR model, in spite of not using an explicit language model, and also use it to shed light on recent results demonstrating poor performance of standard ASR systems on African-American English. We demonstrate that these mostly represent failures of acoustic--phonetic modelling. We show how this approach can be used straightforwardly in diagnosing and improving ASR.
△ Less
Submitted 5 October, 2024; v1 submitted 23 July, 2024;
originally announced July 2024.
-
Functional Faithfulness in the Wild: Circuit Discovery with Differentiable Computation Graph Pruning
Authors:
Lei Yu,
Jingcheng Niu,
Zining Zhu,
Gerald Penn
Abstract:
In this paper, we introduce a comprehensive reformulation of the task known as Circuit Discovery, along with DiscoGP, a novel and effective algorithm based on differentiable masking for discovering circuits. Circuit discovery is the task of interpreting the computational mechanisms of language models (LMs) by dissecting their functions and capabilities into sparse subnetworks (circuits). We identi…
▽ More
In this paper, we introduce a comprehensive reformulation of the task known as Circuit Discovery, along with DiscoGP, a novel and effective algorithm based on differentiable masking for discovering circuits. Circuit discovery is the task of interpreting the computational mechanisms of language models (LMs) by dissecting their functions and capabilities into sparse subnetworks (circuits). We identified two major limitations in existing circuit discovery efforts: (1) a dichotomy between weight-based and connection-edge-based approaches forces researchers to choose between pruning connections or weights, thereby limiting the scope of mechanistic interpretation of LMs; (2) algorithms based on activation patching tend to identify circuits that are neither functionally faithful nor complete. The performance of these identified circuits is substantially reduced, often resulting in near-random performance in isolation. Furthermore, the complement of the circuit -- i.e., the original LM with the identified circuit removed -- still retains adequate performance, indicating that essential components of a complete circuits are missed by existing methods.
DiscoGP successfully addresses the two aforementioned issues and demonstrates state-of-the-art faithfulness, completeness, and sparsity. The effectiveness of the algorithm and its novel structure open up new avenues of gathering new insights into the internal workings of generative AI.
△ Less
Submitted 4 July, 2024;
originally announced July 2024.
-
First joint oscillation analysis of Super-Kamiokande atmospheric and T2K accelerator neutrino data
Authors:
Super-Kamiokande,
T2K collaborations,
:,
S. Abe,
K. Abe,
N. Akhlaq,
R. Akutsu,
H. Alarakia-Charles,
A. Ali,
Y. I. Alj Hakim,
S. Alonso Monsalve,
S. Amanai,
C. Andreopoulos,
L. H. V. Anthony,
M. Antonova,
S. Aoki,
K. A. Apte,
T. Arai,
T. Arihara,
S. Arimoto,
Y. Asada,
R. Asaka,
Y. Ashida,
E. T. Atkin,
N. Babu
, et al. (524 additional authors not shown)
Abstract:
The Super-Kamiokande and T2K collaborations present a joint measurement of neutrino oscillation parameters from their atmospheric and beam neutrino data. It uses a common interaction model for events overlapping in neutrino energy and correlated detector systematic uncertainties between the two datasets, which are found to be compatible. Using 3244.4 days of atmospheric data and a beam exposure of…
▽ More
The Super-Kamiokande and T2K collaborations present a joint measurement of neutrino oscillation parameters from their atmospheric and beam neutrino data. It uses a common interaction model for events overlapping in neutrino energy and correlated detector systematic uncertainties between the two datasets, which are found to be compatible. Using 3244.4 days of atmospheric data and a beam exposure of $19.7(16.3) \times 10^{20}$ protons on target in (anti)neutrino mode, the analysis finds a 1.9$σ$ exclusion of CP-conservation (defined as $J_{CP}=0$) and a preference for the normal mass ordering.
△ Less
Submitted 15 October, 2024; v1 submitted 21 May, 2024;
originally announced May 2024.
-
What does the Knowledge Neuron Thesis Have to do with Knowledge?
Authors:
Jingcheng Niu,
Andrew Liu,
Zining Zhu,
Gerald Penn
Abstract:
We reassess the Knowledge Neuron (KN) Thesis: an interpretation of the mechanism underlying the ability of large language models to recall facts from a training corpus. This nascent thesis proposes that facts are recalled from the training corpus through the MLP weights in a manner resembling key-value memory, implying in effect that "knowledge" is stored in the network. Furthermore, by modifying…
▽ More
We reassess the Knowledge Neuron (KN) Thesis: an interpretation of the mechanism underlying the ability of large language models to recall facts from a training corpus. This nascent thesis proposes that facts are recalled from the training corpus through the MLP weights in a manner resembling key-value memory, implying in effect that "knowledge" is stored in the network. Furthermore, by modifying the MLP modules, one can control the language model's generation of factual information. The plausibility of the KN thesis has been demonstrated by the success of KN-inspired model editing methods (Dai et al., 2022; Meng et al., 2022).
We find that this thesis is, at best, an oversimplification. Not only have we found that we can edit the expression of certain linguistic phenomena using the same model editing methods but, through a more comprehensive evaluation, we have found that the KN thesis does not adequately explain the process of factual expression. While it is possible to argue that the MLP weights store complex patterns that are interpretable both syntactically and semantically, these patterns do not constitute "knowledge." To gain a more comprehensive understanding of the knowledge representation process, we must look beyond the MLP weights and explore recent models' complex layer structures and attention mechanisms.
△ Less
Submitted 3 May, 2024;
originally announced May 2024.
-
Measurements of the $ν_μ$ and $\barν_μ$-induced Coherent Charged Pion Production Cross Sections on $^{12}C$ by the T2K experiment
Authors:
K. Abe,
N. Akhlaq,
R. Akutsu,
A. Ali,
S. Alonso Monsalve,
C. Alt,
C. Andreopoulos,
M. Antonova,
S. Aoki,
T. Arihara,
Y. Asada,
Y. Ashida,
E. T. Atkin,
M. Barbi,
G. J. Barker,
G. Barr,
D. Barrow,
M. Batkiewicz-Kwasniak,
V. Berardi,
L. Berns,
S. Bhadra,
A. Blanchet,
A. Blondel,
S. Bolognesi,
T. Bonus
, et al. (359 additional authors not shown)
Abstract:
We report an updated measurement of the $ν_μ$-induced, and the first measurement of the $\barν_μ$-induced coherent charged pion production cross section on $^{12}C$ nuclei in the T2K experiment. This is measured in a restricted region of the final-state phase space for which $p_{μ,π} > 0.2$ GeV, $\cos(θ_μ) > 0.8$ and $\cos(θ_π) > 0.6$, and at a mean (anti)neutrino energy of 0.85 GeV using the T2K…
▽ More
We report an updated measurement of the $ν_μ$-induced, and the first measurement of the $\barν_μ$-induced coherent charged pion production cross section on $^{12}C$ nuclei in the T2K experiment. This is measured in a restricted region of the final-state phase space for which $p_{μ,π} > 0.2$ GeV, $\cos(θ_μ) > 0.8$ and $\cos(θ_π) > 0.6$, and at a mean (anti)neutrino energy of 0.85 GeV using the T2K near detector. The measured $ν_μ$ CC coherent pion production flux-averaged cross section on $^{12}C$ is $(2.98 \pm 0.37 (stat.) \pm 0.31 (syst.) \substack{ +0.49 \\ -0.00 } \mathrm{ (Q^2\,model)}) \times 10^{-40}~\mathrm{cm}^{2}$. The new measurement of the $\barν_μ$-induced cross section on $^{12}{C}$ is $(3.05 \pm 0.71 (stat.) \pm 0.39 (syst.) \substack{ +0.74 \\ -0.00 } \mathrm{(Q^2\,model)}) \times 10^{-40}~\mathrm{cm}^{2}$. The results are compatible with both the NEUT 5.4.0 Berger-Sehgal (2009) and GENIE 2.8.0 Rein-Sehgal (2007) model predictions.
△ Less
Submitted 14 October, 2023; v1 submitted 31 August, 2023;
originally announced August 2023.
-
Updated T2K measurements of muon neutrino and antineutrino disappearance using 3.6 $\times$ 10$^{21}$ protons on target
Authors:
K. Abe,
N. Akhlaq,
R. Akutsu,
H. Alarakia-Charles,
A. Ali,
Y. I. Alj Hakim,
S. Alonso Monsalve,
C. Alt,
C. Andreopoulos,
M. Antonova,
S. Aoki,
T. Arihara,
Y. Asada,
Y. Ashida,
E. T. Atkin,
M. Barbi,
G. J. Barker,
G. Barr,
D. Barrow,
M. Batkiewicz-Kwasniak,
F. Bench,
V. Berardi,
L. Berns,
S. Bhadra,
A. Blanchet
, et al. (385 additional authors not shown)
Abstract:
Muon neutrino and antineutrino disappearance probabilities are identical in the standard three-flavor neutrino oscillation framework, but CPT violation and non-standard interactions can violate this symmetry. In this work we report the measurements of $\sin^{2} θ_{23}$ and $Δm_{32}^2$ independently for neutrinos and antineutrinos. The aforementioned symmetry violation would manifest as an inconsis…
▽ More
Muon neutrino and antineutrino disappearance probabilities are identical in the standard three-flavor neutrino oscillation framework, but CPT violation and non-standard interactions can violate this symmetry. In this work we report the measurements of $\sin^{2} θ_{23}$ and $Δm_{32}^2$ independently for neutrinos and antineutrinos. The aforementioned symmetry violation would manifest as an inconsistency in the neutrino and antineutrino oscillation parameters. The analysis discussed here uses a total of 1.97$\times$10$^{21}$ and 1.63$\times$10$^{21}$ protons on target taken with a neutrino and antineutrino beam respectively, and benefits from improved flux and cross-section models, new near detector samples and more than double the data reducing the overall uncertainty of the result. No significant deviation is observed, consistent with the standard neutrino oscillation picture.
△ Less
Submitted 16 October, 2023; v1 submitted 16 May, 2023;
originally announced May 2023.
-
First measurement of muon neutrino charged-current interactions on hydrocarbon without pions in the final state using multiple detectors with correlated energy spectra at T2K
Authors:
K. Abe,
N. Akhlaq,
R. Akutsu,
H. Alarakia-Charles,
A. Ali,
Y. I. Alj Hakim,
S. Alonso Monsalve,
C. Alt,
C. Andreopoulos,
M. Antonova,
S. Aoki,
T. Arihara,
Y. Asada,
Y. Ashida,
E. T. Atkin,
M. Barbi,
G. J. Barker,
G. Barr,
D. Barrow,
M. Batkiewicz-Kwasniak,
F. Bench,
V. Berardi,
L. Berns,
S. Bhadra,
A. Blanchet
, et al. (380 additional authors not shown)
Abstract:
This paper reports the first measurement of muon neutrino charged-current interactions without pions in the final state using multiple detectors with correlated energy spectra at T2K. The data was collected on hydrocarbon targets using the off-axis T2K near detector (ND280) and the on-axis T2K near detector (INGRID) with neutrino energy spectra peaked at 0.6 GeV and 1.1 GeV respectively. The corre…
▽ More
This paper reports the first measurement of muon neutrino charged-current interactions without pions in the final state using multiple detectors with correlated energy spectra at T2K. The data was collected on hydrocarbon targets using the off-axis T2K near detector (ND280) and the on-axis T2K near detector (INGRID) with neutrino energy spectra peaked at 0.6 GeV and 1.1 GeV respectively. The correlated neutrino flux presents an opportunity to reduce the impact of the flux uncertainty and to study the energy dependence of neutrino interactions. The extracted double-differential cross sections are compared to several Monte Carlo neutrino-nucleus interaction event generators showing the agreement between both detectors individually and with the correlated result.
△ Less
Submitted 18 October, 2023; v1 submitted 24 March, 2023;
originally announced March 2023.
-
Measurements of neutrino oscillation parameters from the T2K experiment using $3.6\times10^{21}$ protons on target
Authors:
The T2K Collaboration,
K. Abe,
N. Akhlaq,
R. Akutsu,
A. Ali,
S. Alonso Monsalve,
C. Alt,
C. Andreopoulos,
M. Antonova,
S. Aoki,
T. Arihara,
Y. Asada,
Y. Ashida,
E. T. Atkin,
M. Barbi,
G. J. Barker,
G. Barr,
D. Barrow,
M. Batkiewicz-Kwasniak,
F. Bench,
V. Berardi,
L. Berns,
S. Bhadra,
A. Blanchet,
A. Blondel
, et al. (376 additional authors not shown)
Abstract:
The T2K experiment presents new measurements of neutrino oscillation parameters using $19.7(16.3)\times10^{20}$ protons on target (POT) in (anti-)neutrino mode at the far detector (FD). Compared to the previous analysis, an additional $4.7\times10^{20}$ POT neutrino data was collected at the FD. Significant improvements were made to the analysis methodology, with the near-detector analysis introdu…
▽ More
The T2K experiment presents new measurements of neutrino oscillation parameters using $19.7(16.3)\times10^{20}$ protons on target (POT) in (anti-)neutrino mode at the far detector (FD). Compared to the previous analysis, an additional $4.7\times10^{20}$ POT neutrino data was collected at the FD. Significant improvements were made to the analysis methodology, with the near-detector analysis introducing new selections and using more than double the data. Additionally, this is the first T2K oscillation analysis to use NA61/SHINE data on a replica of the T2K target to tune the neutrino flux model, and the neutrino interaction model was improved to include new nuclear effects and calculations. Frequentist and Bayesian analyses are presented, including results on $\sin^2θ_{13}$ and the impact of priors on the $δ_\mathrm{CP}$ measurement. Both analyses prefer the normal mass ordering and upper octant of $\sin^2θ_{23}$ with a nearly maximally CP-violating phase. Assuming the normal ordering and using the constraint on $\sin^2θ_{13}$ from reactors, $\sin^2θ_{23}=0.561^{+0.021}_{-0.032}$ using Feldman--Cousins corrected intervals, and $Δm^2_{32}=2.494_{-0.058}^{+0.041}\times10^{-3}~\mathrm{eV^2}$ using constant $Δχ^{2}$ intervals. The CP-violating phase is constrained to $δ_\mathrm{CP}=-1.97_{-0.70}^{+0.97}$ using Feldman--Cousins corrected intervals, and $δ_\mathrm{CP}=0,π$ is excluded at more than 90% confidence level. A Jarlskog invariant of zero is excluded at more than $2σ$ credible level using a flat prior in $δ_\mathrm{CP}$, and just below $2σ$ using a flat prior in $\sinδ_\mathrm{CP}$. When the external constraint on $\sin^2θ_{13}$ is removed, $\sin^2θ_{13}=28.0^{+2.8}_{-6.5}\times10^{-3}$, in agreement with measurements from reactor experiments. These results are consistent with previous T2K analyses.
△ Less
Submitted 10 September, 2023; v1 submitted 6 March, 2023;
originally announced March 2023.
-
Scintillator ageing of the T2K near detectors from 2010 to 2021
Authors:
The T2K Collaboration,
K. Abe,
N. Akhlaq,
R. Akutsu,
A. Ali,
C. Alt,
C. Andreopoulos,
M. Antonova,
S. Aoki,
T. Arihara,
Y. Asada,
Y. Ashida,
E. T. Atkin,
S. Ban,
M. Barbi,
G. J. Barker,
G. Barr,
D. Barrow,
M. Batkiewicz-Kwasniak,
F. Bench,
V. Berardi,
L. Berns,
S. Bhadra,
A. Blanchet,
A. Blondel
, et al. (333 additional authors not shown)
Abstract:
The T2K experiment widely uses plastic scintillator as a target for neutrino interactions and an active medium for the measurement of charged particles produced in neutrino interactions at its near detector complex. Over 10 years of operation the measured light yield recorded by the scintillator based subsystems has been observed to degrade by 0.9--2.2\% per year. Extrapolation of the degradation…
▽ More
The T2K experiment widely uses plastic scintillator as a target for neutrino interactions and an active medium for the measurement of charged particles produced in neutrino interactions at its near detector complex. Over 10 years of operation the measured light yield recorded by the scintillator based subsystems has been observed to degrade by 0.9--2.2\% per year. Extrapolation of the degradation rate through to 2040 indicates the recorded light yield should remain above the lower threshold used by the current reconstruction algorithms for all subsystems. This will allow the near detectors to continue contributing to important physics measurements during the T2K-II and Hyper-Kamiokande eras. Additionally, work to disentangle the degradation of the plastic scintillator and wavelength shifting fibres shows that the reduction in light yield can be attributed to the ageing of the plastic scintillator.
△ Less
Submitted 26 July, 2022;
originally announced July 2022.
-
First global QCD analysis of the TMD $\boldsymbol{g_{1T}}$ from semi-inclusive DIS data
Authors:
Shohini Bhattacharya,
Zhong-Bo Kang,
Andreas Metz,
Gregory Penn,
Daniel Pitonyak
Abstract:
The worm-gear transverse momentum dependent (TMD) function $g_{1T}$ is one of the eight leading-twist TMDs and has the probabilistic interpretation of finding a longitudinally polarized quark inside a transversely polarized hadron. In this work, we present the first simultaneous extraction of $g_{1T}$ from all the available experimental measurements. The study involves the analysis of COMPASS, HER…
▽ More
The worm-gear transverse momentum dependent (TMD) function $g_{1T}$ is one of the eight leading-twist TMDs and has the probabilistic interpretation of finding a longitudinally polarized quark inside a transversely polarized hadron. In this work, we present the first simultaneous extraction of $g_{1T}$ from all the available experimental measurements. The study involves the analysis of COMPASS, HERMES, and Jefferson Lab data on semi-inclusive deep-inelastic scattering using Monte Carlo techniques. We also compare $g_{1T}$ obtained from this experimental data with different theoretical approaches, such as the large-$N_c$ approximation, the Wandzura-Wilczek-type approximation, and lattice QCD.
△ Less
Submitted 25 January, 2022; v1 submitted 19 October, 2021;
originally announced October 2021.
-
The Three-Dipole Kicker Injection Scheme for the ALS-U Accumulator Ring
Authors:
M. Ehrlichman,
T. Hellert,
S. C. Leemann,
G. Penn,
C. Steier,
C. Sun,
M. Venturini,
D. Wang
Abstract:
The ALS-U light source will implement on-axis single-train swap-out injection employing an accumulator between the booster and storage rings. The accumulator ring design is a twelve period triple-bend achromat that will be installed along the inner circumference of the storage-ring tunnel. A non-conventional injection scheme will be utilized for top-off off-axis injection from the booster into the…
▽ More
The ALS-U light source will implement on-axis single-train swap-out injection employing an accumulator between the booster and storage rings. The accumulator ring design is a twelve period triple-bend achromat that will be installed along the inner circumference of the storage-ring tunnel. A non-conventional injection scheme will be utilized for top-off off-axis injection from the booster into the accumulator ring meant to accommodate a large $\sim 300$~nm emittance beam into a vacuum-chamber with a limiting horizontal aperture radius as small as $8$ mm. The scheme incorporates three dipole kickers distributed over three sectors, with two kickers perturbing the stored beam and the third affecting both the stored and the injected beam trajectories. This paper describes this ``3DK'' injection scheme and how it fits the accumulator ring's particular requirements. We describe the design and optimization process, and how we evaluated its fitness as a solution for booster-to-accumulator ring injection.
△ Less
Submitted 15 June, 2021;
originally announced June 2021.
-
First T2K measurement of transverse kinematic imbalance in the muon-neutrino charged-current single-$π^+$ production channel containing at least one proton
Authors:
K. Abe,
N. Akhlaq,
R. Akutsu,
A. Ali,
C. Alt,
C. Andreopoulos,
M. Antonova,
S. Aoki,
T. Arihara,
Y. Asada,
Y. Ashida,
E. T. Atkin,
Y. Awataguchi,
G. J. Barker,
G. Barr,
D. Barrow,
M. Batkiewicz-Kwasniak,
A. Beloshapkin,
F. Bench,
V. Berardi,
L. Berns,
S. Bhadra,
A. Blanchet,
A. Blondel,
S. Bolognesi
, et al. (286 additional authors not shown)
Abstract:
This paper reports the first T2K measurement of the transverse kinematic imbalance in the single-$π^+$ production channel of neutrino interactions. We measure the differential cross sections in the muon-neutrino charged-current interaction on hydrocarbon with a single $π^+$ and at least one proton in the final state, at the ND280 off-axis near detector of the T2K experiment. The extracted cross se…
▽ More
This paper reports the first T2K measurement of the transverse kinematic imbalance in the single-$π^+$ production channel of neutrino interactions. We measure the differential cross sections in the muon-neutrino charged-current interaction on hydrocarbon with a single $π^+$ and at least one proton in the final state, at the ND280 off-axis near detector of the T2K experiment. The extracted cross sections are compared to the predictions from different neutrino-nucleus interaction event generators. Overall, the results show a preference for models which have a more realistic treatment of nuclear medium effects including the initial nuclear state and final-state interactions.
△ Less
Submitted 5 February, 2021;
originally announced February 2021.
-
Improved constraints on neutrino mixing from the T2K experiment with $\mathbf{3.13\times10^{21}}$ protons on target
Authors:
T2K Collaboration,
K. Abe,
N. Akhlaq,
R. Akutsu,
A. Ali,
C. Alt,
C. Andreopoulos,
M. Antonova,
S. Aoki,
T. Arihara,
Y. Asada,
Y. Ashida,
E. T. Atkin,
Y. Awataguchi,
G. J. Barker,
G. Barr,
D. Barrow,
M. Batkiewicz-Kwasniak,
A. Beloshapkin,
F. Bench,
V. Berardi,
L. Berns,
S. Bhadra,
A. Blanchet,
A. Blondel
, et al. (285 additional authors not shown)
Abstract:
The T2K experiment reports updated measurements of neutrino and antineutrino oscillations using both appearance and disappearance channels. This result comes from an exposure of $14.9~(16.4) \times 10^{20}$ protons on target in neutrino (antineutrino) mode. Significant improvements have been made to the neutrino interaction model and far detector reconstruction. An extensive set of simulated data…
▽ More
The T2K experiment reports updated measurements of neutrino and antineutrino oscillations using both appearance and disappearance channels. This result comes from an exposure of $14.9~(16.4) \times 10^{20}$ protons on target in neutrino (antineutrino) mode. Significant improvements have been made to the neutrino interaction model and far detector reconstruction. An extensive set of simulated data studies have also been performed to quantify the effect interaction model uncertainties have on the T2K oscillation parameter sensitivity. T2K performs multiple oscillation analyses that present both frequentist and Bayesian intervals for the PMNS parameters. For fits including a constraint on \ssqthonethree from reactor data and assuming normal mass ordering T2K measures $\sin^2θ_{23} = 0.53^{+0.03}_{-0.04}$ and $Δm^2_{32} = (2.45 \pm 0.07) \times 10^{-3}$ eV$^{2}$c$^{-4}$. The Bayesian analyses show a weak preference for normal mass ordering (89% posterior probability) and the upper $\sin^2θ_{23}$ octant (80% posterior probability), with a uniform prior probability assumed in both cases. The T2K data exclude CP conservation in neutrino oscillations at the $2σ$ level.
△ Less
Submitted 23 February, 2021; v1 submitted 11 January, 2021;
originally announced January 2021.
-
T2K measurements of muon neutrino and antineutrino disappearance using $3.13\times 10^{21}$ protons on target
Authors:
K. Abe,
N. Akhlaq,
R. Akutsu,
A. Ali,
C. Alt,
C. Andreopoulos,
M. Antonova,
S. Aoki,
T. Arihara,
Y. Asada,
Y. Ashida,
E. T. Atkin,
Y. Awataguchi,
G. J. Barker,
G. Barr,
D. Barrow,
M. Batkiewicz-Kwasniak,
A. Beloshapkin,
F. Bench,
V. Berardi,
L. Berns,
S. Bhadra,
S. Bolognesi,
T. Bonus,
B. Bourguille
, et al. (381 additional authors not shown)
Abstract:
We report measurements by the T2K experiment of the parameters $θ_{23}$ and $Δm^2_{32}$ which govern the disappearance of muon neutrinos and antineutrinos in the three-flavor PMNS neutrino oscillation model at T2K's neutrino energy and propagation distance. Utilizing the ability of the experiment to run with either a mainly neutrino or a mainly antineutrino beam, muon-like events from each beam mo…
▽ More
We report measurements by the T2K experiment of the parameters $θ_{23}$ and $Δm^2_{32}$ which govern the disappearance of muon neutrinos and antineutrinos in the three-flavor PMNS neutrino oscillation model at T2K's neutrino energy and propagation distance. Utilizing the ability of the experiment to run with either a mainly neutrino or a mainly antineutrino beam, muon-like events from each beam mode are used to measure these parameters separately for neutrino and antineutrino oscillations. Data taken from $1.49 \times 10^{21}$ protons on target (POT) in neutrino mode and $1.64 \times 10^{21}$ POT in antineutrino mode are used. The best-fit values obtained by T2K were $\sin^2\left(θ_{23}\right)=0.51^{+0.06}_{-0.07} \left(0.43^{+0.21}_{-0.05}\right)$ and $Δm^2_{32}=2.47^{+0.08}_{-0.09} \left(2.50^{+0.18}_{-0.13}\right)$\evmass for neutrinos (antineutrinos). No significant differences between the values of the parameters describing the disappearance of muon neutrinos and antineutrinos were observed. An analysis using an effective two-flavor neutrino oscillation model where the sine of the mixing angle is allowed to take non-physical values larger than 1 is also performed to check the consistency of our data with the three-flavor model. Our data were found to be consistent with a physical value for the mixing angle.
△ Less
Submitted 16 December, 2020; v1 submitted 18 August, 2020;
originally announced August 2020.
-
Variational Principle for Spontaneous Wiggler and Synchrotron Radiation
Authors:
A. E. Charman,
J. S. Wurtele,
G. Penn
Abstract:
Within the framework of a Hilbert space theory, we develop a maximum-``power'' variational principle (MPVP) applicable to classical spontaneous electromagnetic radiation from relativistic electron beams or other prescribed classical current sources. A simple proof is summarized for the case of three-dimensional fields propagating in vacuum, and specialization to the important case of paraxial opti…
▽ More
Within the framework of a Hilbert space theory, we develop a maximum-``power'' variational principle (MPVP) applicable to classical spontaneous electromagnetic radiation from relativistic electron beams or other prescribed classical current sources. A simple proof is summarized for the case of three-dimensional fields propagating in vacuum, and specialization to the important case of paraxial optics is also discussed. The techniques have been developed to model undulator radiation from relativistic electron beams, but are more broadly applicable to synchrotron or other radiation problems, and may generalize to certain structured media. We illustrate applications with a simple, mostly analytic example involving spontaneous undulator radiation (requiring a few additional approximations), as well as a mostly numerical example involving x-ray generation via high harmonic generation in sequenced undulators
△ Less
Submitted 15 June, 2020;
originally announced June 2020.
-
Measurements of $\barν_μ$ and $\barν_μ + ν_μ$ charged-current cross-sections without detected pions nor protons on water and hydrocarbon at mean antineutrino energy of 0.86 GeV
Authors:
K. Abe,
N. Akhlaq,
R. Akutsu,
A. Ali,
C. Alt,
C. Andreopoulos,
L. Anthony,
M. Antonova,
S. Aoki,
A. Ariga,
T. Arihara,
Y. Asada,
Y. Ashida,
E. T. Atkin,
Y. Awataguchi,
S. Ban,
M. Barbi,
G. J. Barker,
G. Barr,
D. Barrow,
C. Barry,
M. Batkiewicz-Kwasniak,
A. Beloshapkin,
F. Bench,
V. Berardi
, et al. (344 additional authors not shown)
Abstract:
We report measurements of the flux-integrated $\barν_μ$ and $\barν_μ+ν_μ$ charged-current cross-sections on water and hydrocarbon targets using the T2K anti-neutrino beam, with a mean neutrino energy of 0.86 GeV. The signal is defined as the (anti-)neutrino charged-current interaction with one induced $μ^\pm$ and no detected charged pion nor proton. These measurements are performed using a new WAG…
▽ More
We report measurements of the flux-integrated $\barν_μ$ and $\barν_μ+ν_μ$ charged-current cross-sections on water and hydrocarbon targets using the T2K anti-neutrino beam, with a mean neutrino energy of 0.86 GeV. The signal is defined as the (anti-)neutrino charged-current interaction with one induced $μ^\pm$ and no detected charged pion nor proton. These measurements are performed using a new WAGASCI module recently added to the T2K setup in combination with the INGRID Proton module. The phase space of muons is restricted to the high-detection efficiency region, $p_μ>400~{\rm MeV}/c$ and $θ_μ<30^{\circ}$, in the laboratory frame. Absence of pions and protons in the detectable phase space of "$p_π>200~{\rm MeV}/c$ and $θ_π<70^{\circ}$", and "$p_{\rm p}>600~{\rm MeV}/c$ and $θ_{\rm p}<70^{\circ}$" is required. In this paper, both of the $\barν_μ$ cross-sections and $\barν_μ+ν_μ$ cross-sections on water and hydrocarbon targets, and their ratios are provided by using D'Agostini unfolding method. The results of the integrated $\barν_μ$ cross-section measurements over this phase space are $σ_{\rm H_{2}O}\,=\,(1.082\pm0.068(\rm stat.)^{+0.145}_{-0.128}(\rm syst.)) \times 10^{-39}~{\rm cm^{2}/nucleon}$, $σ_{\rm CH}\,=\,(1.096\pm0.054(\rm stat.)^{+0.132}_{-0.117}(\rm syst.)) \times 10^{-39}~{\rm cm^{2}/nucleon}$, and $σ_{\rm H_{2}O}/σ_{\rm CH} = 0.987\pm0.078(\rm stat.)^{+0.093}_{-0.090}(\rm syst.)$. The $\barν_μ+ν_μ$ cross-section is $σ_{\rm H_{2}O} = (1.155\pm0.064(\rm stat.)^{+0.148}_{-0.129}(\rm syst.)) \times 10^{-39}~{\rm cm^{2}/nucleon}$, $σ_{\rm CH}\,=\,(1.159\pm0.049(\rm stat.)^{+0.129}_{-0.115}(\rm syst.)) \times 10^{-39}~{\rm cm^{2}/nucleon}$, and $σ_{\rm H_{2}O}/σ_{\rm CH}\,=\,0.996\pm0.069(\rm stat.)^{+0.083}_{-0.078}(\rm syst.)$.
△ Less
Submitted 29 April, 2020;
originally announced April 2020.
-
Simultaneous measurement of the muon neutrino charged-current cross section on oxygen and carbon without pions in the final state at T2K
Authors:
K. Abe,
N. Akhlaq,
R. Akutsu,
A. Ali,
C. Alt,
C. Andreopoulos,
L. Anthony,
M. Antonova,
S. Aoki,
A. Ariga,
T. Arihara,
Y. Asada,
Y. Ashida,
E. T. Atkin,
Y. Awataguchi,
S. Ban,
M. Barbi,
G. J. Barker,
G. Barr,
D. Barrow,
M. Batkiewicz-Kwasniak,
A. Beloshapkin,
F. Bench,
V. Berardi,
L. Berns
, et al. (308 additional authors not shown)
Abstract:
This paper reports the first simultaneous measurement of the double differential muon neutrino charged-current cross section on oxygen and carbon without pions in the final state as a function of the outgoing muon kinematics, made at the ND280 off-axis near detector of the T2K experiment. The ratio of the oxygen and carbon cross sections is also provided to help validate various models' ability to…
▽ More
This paper reports the first simultaneous measurement of the double differential muon neutrino charged-current cross section on oxygen and carbon without pions in the final state as a function of the outgoing muon kinematics, made at the ND280 off-axis near detector of the T2K experiment. The ratio of the oxygen and carbon cross sections is also provided to help validate various models' ability to extrapolate between carbon and oxygen nuclear targets, as is required in T2K oscillation analyses. The data are taken using a neutrino beam with an energy spectrum peaked at 0.6 GeV. The extracted measurement is compared with the prediction from different Monte Carlo neutrino-nucleus interaction event generators, showing particular model separation for very forward-going muons. Overall, of the models tested, the result is best described using Local Fermi Gas descriptions of the nuclear ground state with RPA suppression.
△ Less
Submitted 19 June, 2020; v1 submitted 11 April, 2020;
originally announced April 2020.
-
Measurement of the charged-current electron (anti-)neutrino inclusive cross-sections at the T2K off-axis near detector ND280
Authors:
K. Abe,
N. Akhlaq,
R. Akutsu,
A. Ali,
C. Alt,
C. Andreopoulos,
L. Anthony,
M. Antonova,
S. Aoki,
A. Ariga,
T. Arihara,
Y. Asada,
Y. Ashida,
E. T. Atkin,
Y. Awataguchi,
S. Ban,
M. Barbi,
G. J. Barker,
G. Barr,
D. Barrow,
C. Barry,
M. Batkiewicz-Kwasniak,
A. Beloshapkin,
F. Bench,
V. Berardi
, et al. (344 additional authors not shown)
Abstract:
The electron (anti-)neutrino component of the T2K neutrino beam constitutes the largest background in the measurement of electron (anti-)neutrino appearance at the far detector. The electron neutrino scattering is measured directly with the T2K off-axis near detector, ND280. The selection of the electron (anti-)neutrino events in the plastic scintillator target from both neutrino and anti-neutrino…
▽ More
The electron (anti-)neutrino component of the T2K neutrino beam constitutes the largest background in the measurement of electron (anti-)neutrino appearance at the far detector. The electron neutrino scattering is measured directly with the T2K off-axis near detector, ND280. The selection of the electron (anti-)neutrino events in the plastic scintillator target from both neutrino and anti-neutrino mode beams is discussed in this paper. The flux integrated single differential charged-current inclusive electron (anti-)neutrino cross-sections, $dσ/dp$ and $dσ/d\cos(θ)$, and the total cross-sections in a limited phase-space in momentum and scattering angle ($p > 300$ MeV/c and $θ\leq 45^{\circ}$) are measured using a binned maximum likelihood fit and compared to the neutrino Monte Carlo generator predictions, resulting in good agreement.
△ Less
Submitted 27 October, 2020; v1 submitted 27 February, 2020;
originally announced February 2020.
-
First combined measurement of the muon neutrino and antineutrino charged-current cross section without pions in the final state at T2K
Authors:
K. Abe,
R. Akutsu,
A. Ali,
C. Alt,
C. Andreopoulos,
L. Anthony,
M. Antonova,
S. Aoki,
A. Ariga,
T. Arihara,
Y. Asada,
Y. Ashida,
E. T. Atkin,
Y. Awataguchi,
S. Ban,
M. Barbi,
G. J. Barker,
G. Barr,
D. Barrow,
C. Barry,
M. Batkiewicz-Kwasniak,
A. Beloshapkin,
F. Bench,
V. Berardi,
L. Berns
, et al. (327 additional authors not shown)
Abstract:
This paper presents the first combined measurement of the double-differential muon neutrino and antineutrino charged-current cross sections with no pions in the final state on hydrocarbon at the off-axis near detector of the T2K experiment. The data analyzed in this work comprise 5.8$\times$10$^{20}$ and 6.3$\times$10$^{20}$ protons on target in neutrino and antineutrino mode respectively, at a be…
▽ More
This paper presents the first combined measurement of the double-differential muon neutrino and antineutrino charged-current cross sections with no pions in the final state on hydrocarbon at the off-axis near detector of the T2K experiment. The data analyzed in this work comprise 5.8$\times$10$^{20}$ and 6.3$\times$10$^{20}$ protons on target in neutrino and antineutrino mode respectively, at a beam energy peak of 0.6 GeV. Using the two measured cross sections, the sum, difference and asymmetry were calculated with the aim of better understanding the nuclear effects involved in such interactions. The extracted measurements have been compared with the prediction from different Monte Carlo generators and theoretical models showing that the difference between the two cross sections have interesting sensitivity to nuclear effects.
△ Less
Submitted 7 May, 2020; v1 submitted 21 February, 2020;
originally announced February 2020.
-
Search for Electron Antineutrino Appearance in a Long-baseline Muon Antineutrino Beam
Authors:
K. Abe,
R. Akutsu,
A. Ali,
C. Alt,
C. Andreopoulos,
L. Anthony,
M. Antonova,
S. Aoki,
A. Ariga,
Y. Asada,
Y. Ashida,
E. T. Atkin,
Y. Awataguchi,
S. Ban,
M. Barbi,
G. J. Barker,
G. Barr,
D. Barrow,
C. Barry,
M. Batkiewicz-Kwasniak,
A. Beloshapkin,
F. Bench,
V. Berardi,
S. Berkman,
L. Berns
, et al. (319 additional authors not shown)
Abstract:
Electron antineutrino appearance is measured by the T2K experiment in an accelerator-produced antineutrino beam, using additional neutrino beam operation to constrain parameters of the PMNS mixing matrix. T2K observes 15 candidate electron antineutrino events with a background expectation of 9.3 events. Including information from the kinematic distribution of observed events, the hypothesis of no…
▽ More
Electron antineutrino appearance is measured by the T2K experiment in an accelerator-produced antineutrino beam, using additional neutrino beam operation to constrain parameters of the PMNS mixing matrix. T2K observes 15 candidate electron antineutrino events with a background expectation of 9.3 events. Including information from the kinematic distribution of observed events, the hypothesis of no electron antineutrino appearance is disfavored with a significance of 2.40σ and no discrepancy between data and PMNS predictions is found. A complementary analysis that introduces an additional free parameter which allows non-PMNS values of electron neutrino and antineutrino appearance also finds no discrepancy between data and PMNS predictions.
△ Less
Submitted 14 November, 2019;
originally announced November 2019.
-
Measurement of neutrino and antineutrino neutral-current quasielastic-like interactions on oxygen by detecting nuclear de-excitation $γ$-rays
Authors:
K. Abe,
R. Akutsu,
A. Ali,
C. Alt,
C. Andreopoulos,
L. Anthony,
M. Antonova,
S. Aoki,
A. Ariga,
Y. Ashida,
E. T. Atkin,
Y. Awataguchi,
S. Ban,
M. Barbi,
G. J. Barker,
G. Barr,
C. Barry,
M. Batkiewicz-Kwasniak,
A. Beloshapkin,
F. Bench,
V. Berardi,
S. Berkman,
L. Berns,
S. Bhadra,
S. Bienstock
, et al. (308 additional authors not shown)
Abstract:
Neutrino- and antineutrino-oxygen neutral-current quasielastic-like interactions are measured at Super-Kamiokande using nuclear de-excitation $γ$-rays to identify signal-like interactions in data from a $14.94 \ (16.35)\times 10^{20}$ protons-on-target exposure of the T2K neutrino (antineutrino) beam. The measured flux-averaged cross sections on oxygen nuclei are…
▽ More
Neutrino- and antineutrino-oxygen neutral-current quasielastic-like interactions are measured at Super-Kamiokande using nuclear de-excitation $γ$-rays to identify signal-like interactions in data from a $14.94 \ (16.35)\times 10^{20}$ protons-on-target exposure of the T2K neutrino (antineutrino) beam. The measured flux-averaged cross sections on oxygen nuclei are $\langle σ_{ν{\rm -NCQE}} \rangle = 1.70 \pm 0.17 ({\rm stat.}) ^{+ {\rm 0.51}}_{- {\rm 0.38}} ({\rm syst.}) \times 10^{-38} \ {\rm cm^2/oxygen}$ with a flux-averaged energy of 0.82 GeV and $\langle σ_{\barν {\rm -NCQE}} \rangle = 0.98 \pm 0.16 ({\rm stat.}) ^{+ {\rm 0.26}}_{- {\rm 0.19}} ({\rm syst.}) \times 10^{-38} \ {\rm cm^2/oxygen}$ with a flux-averaged energy of 0.68 GeV, for neutrinos and antineutrinos, respectively. These results are the most precise to date, and the antineutrino result is the first cross section measurement of this channel. They are compared with various theoretical predictions. The impact on evaluation of backgrounds to searches for supernova relic neutrinos at present and future water Cherenkov detectors is also discussed.
△ Less
Submitted 29 November, 2019; v1 submitted 21 October, 2019;
originally announced October 2019.
-
Constraint on the Matter-Antimatter Symmetry-Violating Phase in Neutrino Oscillations
Authors:
K. Abe,
R. Akutsu,
A. Ali,
C. Alt,
C. Andreopoulos,
L. Anthony,
M. Antonova,
S. Aoki,
A. Ariga,
Y. Asada,
Y. Ashida,
E. T. Atkin,
Y. Awataguchi,
S. Ban,
M. Barbi,
G. J. Barker,
G. Barr,
C. Barry,
M. Batkiewicz-Kwasniak,
A. Beloshapkin,
F. Bench,
V. Berardi,
S. Berkman,
L. Berns,
S. Bhadra
, et al. (310 additional authors not shown)
Abstract:
The current laws of physics do not explain the observed imbalance of matter and antimatter in the universe. Sakharov proposed that an explanation would require the violation of CP symmetry between matter and antimatter. The only CP violation observed so far is in the weak interactions of quarks, and it is too small to explain the matter-antimatter imbalance of the universe. It has been shown that…
▽ More
The current laws of physics do not explain the observed imbalance of matter and antimatter in the universe. Sakharov proposed that an explanation would require the violation of CP symmetry between matter and antimatter. The only CP violation observed so far is in the weak interactions of quarks, and it is too small to explain the matter-antimatter imbalance of the universe. It has been shown that CP violation in the lepton sector could generate the matter-antimatter disparity through the process called leptogenesis. The quantum mixing of neutrinos, the neutral leptons in the Standard Model, provides a potential source of CP violation through a complex phase dCP, which may have consequences for theoretical models of leptogenesis. This CP violation can be measured in muon neutrino to electron neutrino oscillations and the corresponding antineutrino oscillations, which are experimentally accessible with accelerator-produced beams as established by the T2K experiment. Until now, the value of dCP has not been significantly constrained by neutrino oscillation experiments. Here the T2K collaboration reports a measurement that favors large enhancement of the neutrino oscillation probability, excluding values of dCP which result in a large enhancement of the observed anti-neutrino oscillation probability at three standard deviations (3 sigma). The 3 sigma confidence level interval for dCP, which is cyclic and repeats every 2pi, is [-3.41,-0.03] for the so-called normal mass ordering, and [-2.54,-0.32] for the inverted mass ordering. Our results show an indication of CP violation in the lepton sector. Herein we establish methods for sensitive searches for matter-antimatter asymmetry in neutrino oscillations using accelerator-produced neutrino beams. Future measurements with larger data samples will determine whether the leptonic CP violation is larger than the quark sector CP violation.
△ Less
Submitted 25 January, 2021; v1 submitted 9 October, 2019;
originally announced October 2019.
-
Measurement of the muon neutrino charged-current single $π^+$ production on hydrocarbon using the T2K off-axis near detector ND280
Authors:
K. Abe,
R. Akutsu,
A. Ali,
C. Alt,
J. Amey,
C. Andreopoulos,
L. Anthony,
M. Antonova,
S. Aoki,
A. Ariga,
Y. Ashida,
E. T. Atkin,
Y. Awataguchi,
Y. Azuma,
S. Ban,
M. Barbi,
G. J. Barker,
G. Barr,
C. Barry,
M. Batkiewicz-Kwasniak,
A. Beloshapkin,
F. Bench,
V. Berardi,
S. Berkman,
R. M. Berner
, et al. (356 additional authors not shown)
Abstract:
We report the measurements of single and double differential cross section of muon neutrino charged-current interactions on carbon with a single positively charged pion in the final state at the T2K off-axis near detector using $5.56\times10^{20}$ protons on target. The analysis uses data control samples for the background subtraction and the cross section signal, defined as a single negatively ch…
▽ More
We report the measurements of single and double differential cross section of muon neutrino charged-current interactions on carbon with a single positively charged pion in the final state at the T2K off-axis near detector using $5.56\times10^{20}$ protons on target. The analysis uses data control samples for the background subtraction and the cross section signal, defined as a single negatively charged muon and a single positively charged pion exiting from the target nucleus, is extracted using an unfolding method. The model dependent cross section, integrated over the T2K off-axis neutrino beam spectrum peaking at $0.6$~GeV, is measured to be $σ= (11.76 \pm 0.44 \text{(stat)} \pm 2.39 \text{(syst)}) \times 10^{-40} \text{cm}^2$~$\text{nucleon}^{-1}$. Various differential cross sections are measured, including the first measurement of the Adler angles for single charged pion production in neutrino interactions with heavy nuclei target.
△ Less
Submitted 17 September, 2019; v1 submitted 9 September, 2019;
originally announced September 2019.
-
First Measurement of the Charged Current $\overlineν_μ$ Double Differential Cross Section on a Water Target without Pions in the final state
Authors:
K. Abe,
R. Akutsu,
A. Ali,
C. Alt,
C. Andreopoulos,
L. Anthony,
M. Antonova,
S. Aoki,
A. Ariga,
Y. Ashida,
E. T. Atkin,
Y. Awataguchi,
S. Ban,
M. Barbi,
G. J. Barker,
G. Barr,
C. Barry,
M. Batkiewicz-Kwasniak,
A. Beloshapkin,
F. Bench,
V. Berardi,
S. Berkman,
L. Berns,
S. Bhadra,
S. Bienstock
, et al. (300 additional authors not shown)
Abstract:
This paper reports the first differential measurement of the charged-current $\overlineν_μ$ interaction cross section on water with no pions in the final state. The unfolded flux-averaged measurement using the T2K off-axis near detector is given in double differential bins of $μ^+$ momentum and angle. The integrated cross section in a restricted phase space is…
▽ More
This paper reports the first differential measurement of the charged-current $\overlineν_μ$ interaction cross section on water with no pions in the final state. The unfolded flux-averaged measurement using the T2K off-axis near detector is given in double differential bins of $μ^+$ momentum and angle. The integrated cross section in a restricted phase space is $σ=\left(1.11\pm0.18\right)\times10^{-38}$ cm$^{2}$ per water molecule. Comparisons with several nuclear models are also presented.
△ Less
Submitted 27 August, 2019;
originally announced August 2019.
-
Exploring spectro-temporal features in end-to-end convolutional neural networks
Authors:
Sean Robertson,
Gerald Penn,
Yingxue Wang
Abstract:
Triangular, overlapping Mel-scaled filters ("f-banks") are the current standard input for acoustic models that exploit their input's time-frequency geometry, because they provide a psycho-acoustically motivated time-frequency geometry for a speech signal. F-bank coefficients are provably robust to small deformations in the scale. In this paper, we explore two ways in which filter banks can be adju…
▽ More
Triangular, overlapping Mel-scaled filters ("f-banks") are the current standard input for acoustic models that exploit their input's time-frequency geometry, because they provide a psycho-acoustically motivated time-frequency geometry for a speech signal. F-bank coefficients are provably robust to small deformations in the scale. In this paper, we explore two ways in which filter banks can be adjusted for the purposes of speech recognition. First, triangular filters can be replaced with Gabor filters, a compactly supported filter that better localizes events in time, or Gammatone filters, a psychoacoustically-motivated filter. Second, by rearranging the order of operations in computing filter bank features, features can be integrated over smaller time scales while simultaneously providing better frequency resolution. We make all feature implementations available online through open-source repositories. Initial experimentation with a modern end-to-end CNN phone recognizer yielded no significant improvements to phone error rate due to either modification. The result, and its ramifications with respect to learned filter banks, is discussed.
△ Less
Submitted 31 December, 2018;
originally announced January 2019.
-
Laser Wire Scanner Compton Scattering Techniques for the Measurement of the Transverse Beam Size of Particle Beams at Future Linear Colliders
Authors:
I. Agapov,
K. Baleski,
G. A. Blair,
J. Bosser,
H. H. Braun,
E. Bravin,
G. Boorman,
S. T. Boogert,
J. Carter,
E. D'amico,
N. Delerue,
D. F. Howell,
S. Doebert,
C. Driouichi,
J. Frisch,
K. Honkavaaram S. Hutchins,
T. Kamps,
T. Lefevre,
H. Lewin,
T. Paris,
F. Poirier,
M. T. Price,
R. Maccaferi,
S. Malton,
G. Penn
, et al. (9 additional authors not shown)
Abstract:
This archive summarizes a working paper and conference proceedings related to laser wire scanner development for the Future Linear Collider (FLC) in the years 2001 to 2006. In particular the design, setup and data taking for the laser wire experiments at PETRA II and CT2 are described. The material is focused on the activities undertaken by Royal Holloway University of London (RHUL).
This archive summarizes a working paper and conference proceedings related to laser wire scanner development for the Future Linear Collider (FLC) in the years 2001 to 2006. In particular the design, setup and data taking for the laser wire experiments at PETRA II and CT2 are described. The material is focused on the activities undertaken by Royal Holloway University of London (RHUL).
△ Less
Submitted 9 December, 2014;
originally announced December 2014.
-
Applying Constraint Handling Rules to HPSG
Authors:
Gerald Penn
Abstract:
Constraint Handling Rules (CHR) have provided a realistic solution to an over-arching problem in many fields that deal with constraint logic programming: how to combine recursive functions or relations with constraints while avoiding non-termination problems. This paper focuses on some other benefits that CHR, specifically their implementation in SICStus Prolog, have provided to computational li…
▽ More
Constraint Handling Rules (CHR) have provided a realistic solution to an over-arching problem in many fields that deal with constraint logic programming: how to combine recursive functions or relations with constraints while avoiding non-termination problems. This paper focuses on some other benefits that CHR, specifically their implementation in SICStus Prolog, have provided to computational linguists working on grammar design tools. CHR rules are applied by means of a subsumption check and this check is made only when their variables are instantiated or bound. The former functionality is at best difficult to simulate using more primitive coroutining statements such as SICStus when/2, and the latter simply did not exist in any form before CHR.
For the sake of providing a case study in how these can be applied to grammar development, we consider the Attribute Logic Engine (ALE), a Prolog preprocessor for logic programming with typed feature structures, and its extension to a complete grammar development system for Head-driven Phrase Structure Grammar (HPSG), a popular constraint-based linguistic theory that uses typed feature structures. In this context, CHR can be used not only to extend the constraint language of feature structure descriptions to include relations in a declarative way, but also to provide support for constraints with complex antecedents and constraints on the co-occurrence of feature values that are necessary to interpret the type system of HPSG properly.
△ Less
Submitted 7 July, 2000;
originally announced July 2000.