-
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 overlap** 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 overlap** 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 21 May, 2024;
originally announced May 2024.
-
Enhancing Legal Compliance and Regulation Analysis with Large Language Models
Authors:
Shabnam Hassani
Abstract:
This research explores the application of Large Language Models (LLMs) for automating the extraction of requirement-related legal content in the food safety domain and checking legal compliance of regulatory artifacts. With Industry 4.0 revolutionizing the food industry and with the General Data Protection Regulation (GDPR) resha** privacy policies and data processing agreements, there is a grow…
▽ More
This research explores the application of Large Language Models (LLMs) for automating the extraction of requirement-related legal content in the food safety domain and checking legal compliance of regulatory artifacts. With Industry 4.0 revolutionizing the food industry and with the General Data Protection Regulation (GDPR) resha** privacy policies and data processing agreements, there is a growing gap between regulatory analysis and recent technological advancements. This study aims to bridge this gap by leveraging LLMs, namely BERT and GPT models, to accurately classify legal provisions and automate compliance checks. Our findings demonstrate promising results, indicating LLMs' significant potential to enhance legal compliance and regulatory analysis efficiency, notably by reducing manual workload and improving accuracy within reasonable time and financial constraints.
△ Less
Submitted 26 April, 2024;
originally announced April 2024.
-
A stochastic approach to estimate distribution grid state with confidence regions
Authors:
Rasmus L. Olsen,
Sina Hassani,
Troels Pedersen,
Jakob Gulddahl Rasmussen,
Hans-Peter Schwefel
Abstract:
Widely available measurement equipment in electrical distribution grids, such as power-quality measurement devices, substation meters, or customer smart meters do not provide phasor measurements due to the lack of high resolution time synchronisation. Instead such measurement devices allow to obtain magnitudes of voltages and currents and the local phase angle between those. In addition, these mea…
▽ More
Widely available measurement equipment in electrical distribution grids, such as power-quality measurement devices, substation meters, or customer smart meters do not provide phasor measurements due to the lack of high resolution time synchronisation. Instead such measurement devices allow to obtain magnitudes of voltages and currents and the local phase angle between those. In addition, these measurements are subject to measurement errors of up to few percent of the measurand. In order to utilize such measurements for grid monitoring, this paper presents and assesses a stochastic grid calculation approach that allows to derive confidence regions for the resulting current and voltage phasors. Two different metering models are introduced: a PMU model, which is used to validate theoretical properties of the estimator, and an Electric Meter model for which a Gaussian approximation is introduced. The estimator results are compared for the two meter models and case study results for a real Danish distribution grid are presented.
△ Less
Submitted 24 April, 2024;
originally announced April 2024.
-
Rethinking Legal Compliance Automation: Opportunities with Large Language Models
Authors:
Shabnam Hassani,
Mehrdad Sabetzadeh,
Daniel Amyot,
Jain Liao
Abstract:
As software-intensive systems face growing pressure to comply with laws and regulations, providing automated support for compliance analysis has become paramount. Despite advances in the Requirements Engineering (RE) community on legal compliance analysis, important obstacles remain in develo** accurate and generalizable compliance automation solutions. This paper highlights some observed limita…
▽ More
As software-intensive systems face growing pressure to comply with laws and regulations, providing automated support for compliance analysis has become paramount. Despite advances in the Requirements Engineering (RE) community on legal compliance analysis, important obstacles remain in develo** accurate and generalizable compliance automation solutions. This paper highlights some observed limitations of current approaches and examines how adopting new automation strategies that leverage Large Language Models (LLMs) can help address these shortcomings and open up fresh opportunities. Specifically, we argue that the examination of (textual) legal artifacts should, first, employ a broader context than sentences, which have widely been used as the units of analysis in past research. Second, the mode of analysis with legal artifacts needs to shift from classification and information extraction to more end-to-end strategies that are not only accurate but also capable of providing explanation and justification. We present a compliance analysis approach designed to address these limitations. We further outline our evaluation plan for the approach and provide preliminary evaluation results based on data processing agreements (DPAs) that must comply with the General Data Protection Regulation (GDPR). Our initial findings suggest that our approach yields substantial accuracy improvements and, at the same time, provides justification for compliance decisions.
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
Deep learning segmentation of fibrous cap in intravascular optical coherence tomography images
Authors:
Juhwan Lee,
Justin N. Kim,
Luis A. P. Dallan,
Vladislav N. Zimin,
Ammar Hoori,
Neda S. Hassani,
Mohamed H. E. Makhlouf,
Giulio Guagliumi,
Hiram G. Bezerra,
David L. Wilson
Abstract:
Thin-cap fibroatheroma (TCFA) is a prominent risk factor for plaque rupture. Intravascular optical coherence tomography (IVOCT) enables identification of fibrous cap (FC), measurement of FC thicknesses, and assessment of plaque vulnerability. We developed a fully-automated deep learning method for FC segmentation. This study included 32,531 images across 227 pullbacks from two registries. Images w…
▽ More
Thin-cap fibroatheroma (TCFA) is a prominent risk factor for plaque rupture. Intravascular optical coherence tomography (IVOCT) enables identification of fibrous cap (FC), measurement of FC thicknesses, and assessment of plaque vulnerability. We developed a fully-automated deep learning method for FC segmentation. This study included 32,531 images across 227 pullbacks from two registries. Images were semi-automatically labeled using our OCTOPUS with expert editing using established guidelines. We employed preprocessing including guidewire shadow detection, lumen segmentation, pixel-shifting, and Gaussian filtering on raw IVOCT (r,theta) images. Data were augmented in a natural way by changing theta in spiral acquisitions and by changing intensity and noise values. We used a modified SegResNet and comparison networks to segment FCs. We employed transfer learning from our existing much larger, fully-labeled calcification IVOCT dataset to reduce deep-learning training. Overall, our method consistently delivered better FC segmentation results (Dice: 0.837+/-0.012) than other deep-learning methods. Transfer learning reduced training time by 84% and reduced the need for more training samples. Our method showed a high level of generalizability, evidenced by highly-consistent segmentations across five-fold cross-validation (sensitivity: 85.0+/-0.3%, Dice: 0.846+/-0.011) and the held-out test (sensitivity: 84.9%, Dice: 0.816) sets. In addition, we found excellent agreement of FC thickness with ground truth (2.95+/-20.73 um), giving clinically insignificant bias. There was excellent reproducibility in pre- and post-stenting pullbacks (average FC angle: 200.9+/-128.0 deg / 202.0+/-121.1 deg). Our method will be useful for multiple research purposes and potentially for planning stent deployments that avoid placing a stent edge over an FC.
△ Less
Submitted 10 November, 2023;
originally announced November 2023.
-
Plea for diagonals and telescopers of rational functions
Authors:
S. Hassani,
J-M. Maillard,
N. Zenine
Abstract:
This paper is a plea for diagonals and telescopers of rational, or algebraic, functions using creative telesco**, in a computer algebra experimental mathematics learn-by-examples approach. We show that diagonals of rational functions (and this is also the case with diagonals of algebraic functions) are left invariant when one performs an infinite set of birational transformations on the rational…
▽ More
This paper is a plea for diagonals and telescopers of rational, or algebraic, functions using creative telesco**, in a computer algebra experimental mathematics learn-by-examples approach. We show that diagonals of rational functions (and this is also the case with diagonals of algebraic functions) are left invariant when one performs an infinite set of birational transformations on the rational functions. These invariance results generalize to telescopers. We cast light on the almost systematic property of homomorphism to their adjoint of the telescopers of rational, or algebraic, functions. We shed some light on the reason why the telescopers, annihilating the diagonals of rational functions of the form P/Q^k and 1/Q, are homomorphic. For telescopers with solutions (periods) corresponding to integration over non-vanishing cycles, we have a slight generalization of this result. We introduce some challenging examples of generalization of diagonals of rational functions, like diagonals of transcendental functions, yielding simple $_2F_1$ hypergeometric functions associated with elliptic curves, or (differentially algebraic) lambda-extension of correlation of the Ising model.
△ Less
Submitted 10 October, 2023;
originally announced October 2023.
-
The role of de-excitation in the final-state interactions of protons in neutrino-nucleus interactions
Authors:
Anna Ershova,
Kajetan Niewczas,
Sara Bolognesi,
Alain Letourneau,
Jean-Christophe David,
José Luís Rodríguez-Sánchez,
Jan Sobczyk,
Adrien Blanchet,
Margherita Buizza Avanzini,
Jaafar Chakrani,
Joseph Cugnon,
Stephen Dolan,
Claudio Giganti,
Samira Hassani,
Jason Hirtz,
Shivam Joshi,
Cezary Juszczak,
Laura Munteanu,
Davide Sgalaberna,
Uladzislava Yevarouskaya
Abstract:
Present and next generation of long-baseline accelerator experiments are bringing the measurement of neutrino oscillations into the precision era with ever-increasing statistics. One of the most challenging aspects of achieving such measurements is develo** relevant systematic uncertainties in the modeling of nuclear effects in neutrino-nucleus interactions. To address this problem, state-of-the…
▽ More
Present and next generation of long-baseline accelerator experiments are bringing the measurement of neutrino oscillations into the precision era with ever-increasing statistics. One of the most challenging aspects of achieving such measurements is develo** relevant systematic uncertainties in the modeling of nuclear effects in neutrino-nucleus interactions. To address this problem, state-of-the-art detectors are being developed to extract detailed information about all particles produced in neutrino interactions. To fully profit from these experimental advancements, it is essential to have reliable models of propagation of the outgoing hadrons through nuclear matter able to predict how the energy is distributed between all the final-state observed particles. In this article, we investigate the role of nuclear de-excitation in neutrino-nucleus scattering using two Monte Carlo cascade models: NuWro and INCL coupled with the de-excitation code ABLA. The ablation model ABLA is used here for the first time to model de-excitation in neutrino interactions. As input to ABLA, we develop a consistent simulation of nuclear excitation energy tuned to electron-scattering data. The paper includes the characterization of the leading proton kinematics and of the nuclear cluster production during cascade and de-excitation. The observability of nuclear clusters as vertex activity and their role in a precise neutrino energy reconstruction is quantified.
△ Less
Submitted 11 September, 2023;
originally announced September 2023.
-
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.
-
Improving Requirements Completeness: Automated Assistance through Large Language Models
Authors:
Dipeeka Luitel,
Shabnam Hassani,
Mehrdad Sabetzadeh
Abstract:
Natural language (NL) is arguably the most prevalent medium for expressing systems and software requirements. Detecting incompleteness in NL requirements is a major challenge. One approach to identify incompleteness is to compare requirements with external sources. Given the rise of large language models (LLMs), an interesting question arises: Are LLMs useful external sources of knowledge for dete…
▽ More
Natural language (NL) is arguably the most prevalent medium for expressing systems and software requirements. Detecting incompleteness in NL requirements is a major challenge. One approach to identify incompleteness is to compare requirements with external sources. Given the rise of large language models (LLMs), an interesting question arises: Are LLMs useful external sources of knowledge for detecting potential incompleteness in NL requirements? This article explores this question by utilizing BERT. Specifically, we employ BERT's masked language model (MLM) to generate contextualized predictions for filling masked slots in requirements. To simulate incompleteness, we withhold content from the requirements and assess BERT's ability to predict terminology that is present in the withheld content but absent in the disclosed content. BERT can produce multiple predictions per mask. Our first contribution is determining the optimal number of predictions per mask, striking a balance between effectively identifying omissions in requirements and mitigating noise present in the predictions. Our second contribution involves designing a machine learning-based filter to post-process BERT's predictions and further reduce noise. We conduct an empirical evaluation using 40 requirements specifications from the PURE dataset. Our findings indicate that: (1) BERT's predictions effectively highlight terminology that is missing from requirements, (2) BERT outperforms simpler baselines in identifying relevant yet missing terminology, and (3) our filter significantly reduces noise in the predictions, enhancing BERT's effectiveness as a tool for completeness checking of requirements.
△ Less
Submitted 14 February, 2024; v1 submitted 3 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.
-
Characterization of Charge Spreading and Gain of Encapsulated Resistive Micromegas Detectors for the Upgrade of the T2K Near Detector Time Projection Chambers
Authors:
D. Attie,
O. Ballester,
M. Batkiewicz-Kwasnia,
P. Billoir,
A. Blondel,
S. Bolognesi,
R. Boullon,
D. Calvet,
M. P. Casado,
M. G. Catanesi,
M. Cicerchia,
G. Cogo,
P. Colas,
G. Collazuol,
D. D Ago,
C. Dalmazzon,
T. Daret,
A. Delbart,
A. De Lorenzis,
R. de Oliveira,
S. Dolan,
K. Dygnarowiczi,
J. Dumarchez,
S. Emery-Schren,
A. Ershova
, et al. (70 additional authors not shown)
Abstract:
An upgrade of the near detector of the T2K long baseline neutrino oscillation experiment is currently being conducted. This upgrade will include two new Time Projection Chambers, each equipped with 16 charge readout resistive Micromegas modules. A procedure to validate the performance of the detectors at different stages of production has been developed and implemented to ensure a proper and relia…
▽ More
An upgrade of the near detector of the T2K long baseline neutrino oscillation experiment is currently being conducted. This upgrade will include two new Time Projection Chambers, each equipped with 16 charge readout resistive Micromegas modules. A procedure to validate the performance of the detectors at different stages of production has been developed and implemented to ensure a proper and reliable operation of the detectors once installed. A dedicated X-ray test bench is used to characterize the detectors by scanning each pad individually and to precisely measure the uniformity of the gain and the deposited energy resolution over the pad plane. An energy resolution of about 10% is obtained. A detailed physical model has been developed to describe the charge dispersion phenomena in the resistive Micromegas anode. The detailed physical description includes initial ionization, electron drift, diffusion effects and the readout electronics effects. The model provides an excellent characterization of the charge spreading of the experimental measurements and allowed the simultaneous extraction of gain and RC information of the modules.
△ Less
Submitted 8 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.
-
Using Language Models for Enhancing the Completeness of Natural-language Requirements
Authors:
Dipeeka Luitel,
Shabnam Hassani,
Mehrdad Sabetzadeh
Abstract:
[Context and motivation] Incompleteness in natural-language requirements is a challenging problem. [Question/problem] A common technique for detecting incompleteness in requirements is checking the requirements against external sources. With the emergence of language models such as BERT, an interesting question is whether language models are useful external sources for finding potential incomplete…
▽ More
[Context and motivation] Incompleteness in natural-language requirements is a challenging problem. [Question/problem] A common technique for detecting incompleteness in requirements is checking the requirements against external sources. With the emergence of language models such as BERT, an interesting question is whether language models are useful external sources for finding potential incompleteness in requirements. [Principal ideas/results] We mask words in requirements and have BERT's masked language model (MLM) generate contextualized predictions for filling the masked slots. We simulate incompleteness by withholding content from requirements and measure BERT's ability to predict terminology that is present in the withheld content but absent in the content disclosed to BERT. [Contribution] BERT can be configured to generate multiple predictions per mask. Our first contribution is to determine how many predictions per mask is an optimal trade-off between effectively discovering omissions in requirements and the level of noise in the predictions. Our second contribution is devising a machine learning-based filter that post-processes predictions made by BERT to further reduce noise. We empirically evaluate our solution over 40 requirements specifications drawn from the PURE dataset [1]. Our results indicate that: (1) predictions made by BERT are highly effective at pinpointing terminology that is missing from requirements, and (2) our filter can substantially reduce noise from the predictions, thus making BERT a more compelling aid for improving completeness in requirements.
△ Less
Submitted 9 February, 2023;
originally announced February 2023.
-
Analysis of test beam data taken with a prototype of TPC with resistive Micromegas for the T2K Near Detector upgrade
Authors:
D. Attié,
O. Ballester,
M. Batkiewicz-Kwasniak,
P. Billoir,
A. Blanchet,
A. Blondel,
S. Bolognesi,
R. Boullon,
D. Calvet,
M. P. Casado,
M. G. Catanesi,
M. Cicerchia,
G. Cogo,
P. Colas,
G. Collazuol,
C. Dalmazzone,
T. Daret,
A. Delbart,
A. De Lorenzis,
S. Dolan,
K. Dygnarowicz,
J. Dumarchez,
S. Emery-Schrenk,
A. Ershova,
G. Eurin
, et al. (59 additional authors not shown)
Abstract:
In this paper we describe the performance of a prototype of the High Angle Time Projection Chambers (HA-TPCs) that are being produced for the Near Detector (ND280) upgrade of the T2K experiment. The two HA-TPCs of ND280 will be instrumented with eight Encapsulated Resistive Anode Micromegas (ERAM) on each endplate, thus constituting in total 32 ERAMs. This innovative technique allows the detection…
▽ More
In this paper we describe the performance of a prototype of the High Angle Time Projection Chambers (HA-TPCs) that are being produced for the Near Detector (ND280) upgrade of the T2K experiment. The two HA-TPCs of ND280 will be instrumented with eight Encapsulated Resistive Anode Micromegas (ERAM) on each endplate, thus constituting in total 32 ERAMs. This innovative technique allows the detection of the charge emitted by ionization electrons over several pads, improving the determination of the track position. The TPC prototype has been equipped with the first ERAM module produced for T2K and with the HA-TPC readout electronics chain and it has been exposed to the DESY Test Beam in order to measure spatial and dE/dx resolution. In this paper we characterize the performances of the ERAM and, for the first time, we compare them with a newly developed simulation of the detector response. Spatial resolution better than 800 ${μ\rm m}$ and dE/dx resolution better than 10% are observed for all the incident angles and for all the drift distances of interest. All the main features of the data are correctly reproduced by the simulation and these performances fully fulfill the requirements for the HA-TPCs of T2K.
△ Less
Submitted 16 May, 2023; v1 submitted 13 December, 2022;
originally announced December 2022.
-
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.
-
Study of final-state interactions of protons in neutrino-nucleus scattering with INCL and NuWro cascade models
Authors:
A. Ershova,
S. Bolognesi,
A. Letourneau,
J. -C. David,
S. Dolan,
J. Hirtz,
K. Niewczas,
J. T. Sobczyk,
A. Blanchet,
M. Buizza Avanzini,
J. Chakrani,
J. Cugnon,
C. Giganti,
S. Hassani,
C. Juszczak,
L. Munteanu,
V. Q. Nguyen,
D. Sgalaberna,
S. Suvorov
Abstract:
The modeling of neutrino-nucleus interactions constitutes a challenging source of systematic uncertainty for the extraction of precise values of neutrino oscillation parameters in long-baseline accelerator neutrino experiments. To improve such modeling and minimize the corresponding uncertainties, a new generation of detectors is being developed, which aim to measure the complete final state of pa…
▽ More
The modeling of neutrino-nucleus interactions constitutes a challenging source of systematic uncertainty for the extraction of precise values of neutrino oscillation parameters in long-baseline accelerator neutrino experiments. To improve such modeling and minimize the corresponding uncertainties, a new generation of detectors is being developed, which aim to measure the complete final state of particles resulting from neutrino interactions. In order to fully benefit from the improved detector capabilities, precise simulations of the nuclear effects on the final-state nucleons are needed. This article presents the study of the in-medium propagation of knocked-out protons, i.e., final-state interactions (FSI), comparing the NuWro and INCL cascade models. The INCL model is used here for the first time to predict exclusive final states of neutrino interactions. This study of INCL in the framework of neutrino interactions features various novelties, including the production of nuclear clusters (e.g., deuterons, $α$ particles) in the final state. The paper includes a complete characterization of the final state after FSI, comparisons to available measurements of single transverse variables, and an assessment of the observability of nuclear clusters.
△ Less
Submitted 8 July, 2022; v1 submitted 21 February, 2022;
originally announced February 2022.
-
Characterization of resistive Micromegas detectors for the upgrade of the T2K Near Detector Time Projection Chambers
Authors:
D. Attié,
M. Batkiewicz-Kwasniak,
P. Billoir,
A. Blanchet,
A. Blondel,
S. Bolognesi,
D. Calvet,
M. G. Catanesi,
M. Cicerchia,
G. Cogo,
P. Colas,
G. Collazuol,
A. Delbart,
J. Dumarchez,
S. Emery-Schrenk,
M. Feltre,
C. Giganti,
F. Gramegna,
M. Grassi,
M. Guigue,
P. Hamacher-Baumann,
S. Hassani,
F. Iacob,
C. Jesús-Valls,
R. Kurjata
, et al. (36 additional authors not shown)
Abstract:
The second phase of the T2K experiment is expected to start data taking in autumn 2022. An upgrade of the Near Detector (ND280) is under development and includes the construction of two new Time Projection Chambers called High-Angle TPC (HA-TPC). The two endplates of these TPCs will be paved with eight Micromegas type charge readout modules. The Micromegas detector charge amplification structure u…
▽ More
The second phase of the T2K experiment is expected to start data taking in autumn 2022. An upgrade of the Near Detector (ND280) is under development and includes the construction of two new Time Projection Chambers called High-Angle TPC (HA-TPC). The two endplates of these TPCs will be paved with eight Micromegas type charge readout modules. The Micromegas detector charge amplification structure uses a resistive anode to spread the charges over several pads to improve the space point resolution. This innovative technique is combined with the bulk-Micromegas technology to compose the "Encapsulated Resistive Anode Micromegas" detector. A prototype has been designed, built and exposed to an electron beam at the DESY II test beam facility.
The data have been used to characterize the charge spreading and to produce a RC map. Spatial resolution better than 600 $μ$m and energy resolution better than 9% are obtained for all incident angles. These performances fulfil the requirements for the upgrade of the ND280 TPC.
△ Less
Submitted 23 June, 2021;
originally announced June 2021.
-
The large inner Micromegas modules for the Atlas Muon Spectrometer Upgrade: construction, quality control and characterization
Authors:
J. Allard,
M. Anfreville,
N. Andari,
D. Attié,
S. Aune,
H. Bachacou,
F. Balli,
F. Bauer,
J. Bennet,
T. Benoit,
J. Beltramelli,
H. Bervas,
T. Bey,
S. Bouaziz,
M. Boyer,
T. Challey,
T. Chevalérias,
X. Copollani,
J. Costa,
G. Cara,
G. Decock,
F. Deliot,
D. Denysiuk,
D. Desforge,
G. Disset
, et al. (49 additional authors not shown)
Abstract:
The steadily increasing luminosity of the LHC requires an upgrade with high-rate and high-resolution detector technology for the inner end cap of the ATLAS muon spectrometer: the New Small Wheels (NSW). In order to achieve the goal of precision tracking at a hit rate of about 15 kHz/cm$^2$ at the inner radius of the NSW, large area Micromegas quadruplets with 100\,\microns spatial resolution per p…
▽ More
The steadily increasing luminosity of the LHC requires an upgrade with high-rate and high-resolution detector technology for the inner end cap of the ATLAS muon spectrometer: the New Small Wheels (NSW). In order to achieve the goal of precision tracking at a hit rate of about 15 kHz/cm$^2$ at the inner radius of the NSW, large area Micromegas quadruplets with 100\,\microns spatial resolution per plane have been produced. % IRFU, from the CEA research center of Saclay, is responsible for the production and validation of LM1 Micromegas modules. The construction, production, qualification and validation of the largest Micromegas detectors ever built are reported here. Performance results under cosmic muon characterisation will also be discussed.
△ Less
Submitted 28 May, 2021;
originally announced May 2021.
-
Identification by deuterium diffusion of a nitrogen-related deep donor preventing the p-type do** of ZnO
Authors:
N. Temahuki,
F. Jomard,
A. Lusson,
I. Stenger,
S. Hassani,
J. Chevallier,
J. M. Chauveau,
C. Morhain,
J. Barjon
Abstract:
Deuterium diffusion is investigated in nitrogen-doped homoepitaxial ZnO layers. The samples were grown under slightly Zn-rich growth conditions by plasma-assisted molecular beam epitaxy on m-plane ZnO substrates and have a nitrogen content [N] varied up to 5x1018 at.cm-3 as measured by secondary ion mass spectrometry (SIMS). All were exposed to a radio-frequency deuterium plasma during 1h at room…
▽ More
Deuterium diffusion is investigated in nitrogen-doped homoepitaxial ZnO layers. The samples were grown under slightly Zn-rich growth conditions by plasma-assisted molecular beam epitaxy on m-plane ZnO substrates and have a nitrogen content [N] varied up to 5x1018 at.cm-3 as measured by secondary ion mass spectrometry (SIMS). All were exposed to a radio-frequency deuterium plasma during 1h at room temperature. Deuterium diffusion is observed in all epilayers while its penetration depth decreases as the nitrogen concentration increases. This is a strong evidence of a diffusion mechanism limited by the trap** of deuterium on a nitrogen-related trap. The SIMS profiles are analyzed using a two-trap model including a shallow trap, associated with a fast diffusion, and a deep trap, related to nitrogen. The capture radius of the nitrogen-related trap is determined to be 20 times smaller than the value expected for nitrogen-deuterium pairs formed by coulombic attraction between D+ and nitrogen-related acceptors. The (N2)O deep donor is proposed as the deep trap** site for deuterium and accounts well for the small capture radius and the observed photoluminescence quenching and recovery after deuteration of the ZnO:N epilayers. It is also found that this defect is by far the N-related defect with the highest concentration in the studied samples.
△ Less
Submitted 9 March, 2021;
originally announced March 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.
-
Supernova Model Discrimination with Hyper-Kamiokande
Authors:
Hyper-Kamiokande Collaboration,
:,
K. Abe,
P. Adrich,
H. Aihara,
R. Akutsu,
I. Alekseev,
A. Ali,
F. Ameli,
I. Anghel,
L. H. V. Anthony,
M. Antonova,
A. Araya,
Y. Asaoka,
Y. Ashida,
V. Aushev,
F. Ballester,
I. Bandac,
M. Barbi,
G. J. Barker,
G. Barr,
M. Batkiewicz-Kwasniak,
M. Bellato,
V. Berardi,
M. Bergevin
, et al. (478 additional authors not shown)
Abstract:
Core-collapse supernovae are among the most magnificent events in the observable universe. They produce many of the chemical elements necessary for life to exist and their remnants -- neutron stars and black holes -- are interesting astrophysical objects in their own right. However, despite millennia of observations and almost a century of astrophysical study, the explosion mechanism of core-colla…
▽ More
Core-collapse supernovae are among the most magnificent events in the observable universe. They produce many of the chemical elements necessary for life to exist and their remnants -- neutron stars and black holes -- are interesting astrophysical objects in their own right. However, despite millennia of observations and almost a century of astrophysical study, the explosion mechanism of core-collapse supernovae is not yet well understood. Hyper-Kamiokande is a next-generation neutrino detector that will be able to observe the neutrino flux from the next galactic core-collapse supernova in unprecedented detail. We focus on the first 500 ms of the neutrino burst, corresponding to the accretion phase, and use a newly-developed, high-precision supernova event generator to simulate Hyper-Kamiokande's response to five different supernova models. We show that Hyper-Kamiokande will be able to distinguish between these models with high accuracy for a supernova at a distance of up to 100 kpc. Once the next galactic supernova happens, this ability will be a powerful tool for guiding simulations towards a precise reproduction of the explosion mechanism observed in nature.
△ Less
Submitted 20 July, 2021; v1 submitted 13 January, 2021;
originally announced January 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.
-
Photon-photon physics at the LHC and laser beam experiments, present and future
Authors:
L. Schoeffel,
C. Baldenegro,
H. Hamdaoui,
S. Hassani,
C. Royon,
M. Saimpert
Abstract:
Under certain running conditions, the CERN Large Hadron Collider (LHC) can be considered as a photon-photon collider. Indeed, in proton-proton, proton-ion, ion-ion collisions, when incoming particles pass very close to each other in very peripheral collisions, the incoming protons or ions remain almost intact and continue their path along the beam axis. Then, only the electromagnetic (EM) fields o…
▽ More
Under certain running conditions, the CERN Large Hadron Collider (LHC) can be considered as a photon-photon collider. Indeed, in proton-proton, proton-ion, ion-ion collisions, when incoming particles pass very close to each other in very peripheral collisions, the incoming protons or ions remain almost intact and continue their path along the beam axis. Then, only the electromagnetic (EM) fields of these ultra-relativistic charged particles (protons or ions) interact to leave a signature in the central detectors of the LHC experiments. The interest is that the photon-photon interactions happen at unprecedented energies (a few TeV per nucleon pairs) where the quantum electrodynamics (QED) theory can be tested in extreme conditions and unforeseen laws of nature could be discovered. In this report, we propose a focus on a particular reaction, called light-by-light scattering in which two incoming photons interact, producing another pair of photons. We describe how experimental results have been obtained at the LHC. In addition, we discuss prospects for on-shell photon-photon interactions in dedicated laser beam facilities. Potential signatures of new physics might manifest as resonant deviations in the refractive index, induced by anomalous light-by-light scattering effects. Importantly, we explain how this process can be used to probe the physics beyond the standard model such as theories that include large extra dimensions. Finally, some perspectives and ideas are given for future data taking or experiments.
△ Less
Submitted 21 October, 2020; v1 submitted 15 October, 2020;
originally announced October 2020.
-
The Hyper-Kamiokande Experiment -- Snowmass LOI
Authors:
Hyper-Kamiokande Collaboration,
:,
K. Abe,
P. Adrich,
H. Aihara,
R. Akutsu,
I. Alekseev,
A. Ali,
F. Ameli,
L. H. V. Anthony,
A. Araya,
Y. Asaoka,
V. Aushev,
I. Bandac,
M. Barbi,
G. Barr,
M. Batkiewicz-Kwasniak,
M. Bellato,
V. Berardi,
L. Bernard,
E. Bernardini,
L. Berns,
S. Bhadra,
J. Bian,
A. Blanchet
, et al. (366 additional authors not shown)
Abstract:
Hyper-Kamiokande is the next generation underground water Cherenkov detector that builds on the highly successful Super-Kamiokande experiment. The detector which has an 8.4~times larger effective volume than its predecessor will be located along the T2K neutrino beamline and utilize an upgraded J-PARC beam with 2.6~times beam power. Hyper-K's low energy threshold combined with the very large fiduc…
▽ More
Hyper-Kamiokande is the next generation underground water Cherenkov detector that builds on the highly successful Super-Kamiokande experiment. The detector which has an 8.4~times larger effective volume than its predecessor will be located along the T2K neutrino beamline and utilize an upgraded J-PARC beam with 2.6~times beam power. Hyper-K's low energy threshold combined with the very large fiducial volume make the detector unique, that is expected to acquire an unprecedented exposure of 3.8~Mton$\cdot$year over a period of 20~years of operation. Hyper-Kamiokande combines an extremely diverse science program including nucleon decays, long-baseline neutrino oscillations, atmospheric neutrinos, and neutrinos from astrophysical origins. The scientific scope of this program is highly complementary to liquid-argon detectors for example in sensitivity to nucleon decay channels or supernova detection modes. Hyper-Kamiokande construction has started in early 2020 and the experiment is expected to start operations in 2027. The Hyper-Kamiokande collaboration is presently being formed amongst groups from 19 countries including the United States, whose community has a long history of making significant contributions to the neutrino physics program in Japan. US physicists have played leading roles in the Kamiokande, Super-Kamiokande, EGADS, K2K, and T2K programs.
△ Less
Submitted 1 September, 2020;
originally announced September 2020.
-
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.
-
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.
-
Practical Approach of Knowledge Management in Medical Science
Authors:
Mahdi Bohlouli,
Patrick Uhr,
Fabian Merges,
Sanaz Mohammad Hassani,
Madjid Fathi
Abstract:
Knowledge organization, infrastructure, and knowledge-based activities are all subjects that help in the creation of business strategies for the new enterprise. In this paper, the first basics of knowledge-based systems are studied. Practical issues and challenges of Knowledge Management (KM) implementations are then illustrated. Finally, a comparison of different knowledge-based projects is prese…
▽ More
Knowledge organization, infrastructure, and knowledge-based activities are all subjects that help in the creation of business strategies for the new enterprise. In this paper, the first basics of knowledge-based systems are studied. Practical issues and challenges of Knowledge Management (KM) implementations are then illustrated. Finally, a comparison of different knowledge-based projects is presented along with abstracted information on their implementation, techniques, and results. Most of these projects are in the field of medical science. Based on our study and evaluation of different KM projects, we conclude that KM is being used in every science, industry, and business. But its importance in medical science and assisted living projects are highlighted nowadays with the most of research institutes. Most medical centers are interested in using knowledge-based services like portals and learning techniques of knowledge for their future innovations and supports.
△ Less
Submitted 16 January, 2020;
originally announced January 2020.
-
Extending the constraint for axion-like particles as resonances at the LHC and laser beam experiments
Authors:
C. Baldenegro,
S. Hassani,
C. Royon,
L. Schoeffel
Abstract:
We study the discovery potential of axion-like particles (ALP), pseudo-scalars weakly coupled to Standard Model fields, at the Large Hadron Collider (LHC). Our focus is on ALPs coupled to the electromagnetic field, which would induce anomalous scattering of light-by-light. This can be directly probed in central exclusive production of photon pairs in ultra-peripheral collisions at the LHC in proto…
▽ More
We study the discovery potential of axion-like particles (ALP), pseudo-scalars weakly coupled to Standard Model fields, at the Large Hadron Collider (LHC). Our focus is on ALPs coupled to the electromagnetic field, which would induce anomalous scattering of light-by-light. This can be directly probed in central exclusive production of photon pairs in ultra-peripheral collisions at the LHC in proton and heavy ion collisions. We consider non-standard collision modes of the LHC, such as argon-argon collisions at $\sqrt{s_{NN}} = 7$ TeV and proton-lead collisions at $\sqrt{s_{NN}} = 8.16$ TeV to access regions in the parameter space complementary to the ones previously considered for lead-lead or proton-proton collisions. In addition, we show that, using laser beam interactions, we can constrain ALPs as resonant deviations in the refractive index, induced by anomalous light-by-light scattering effects. If we combine the aforementioned approaches, ALPs can be probed in a wide range of masses from the eV scale up to the TeV scale.
△ Less
Submitted 19 June, 2019; v1 submitted 11 March, 2019;
originally announced March 2019.
-
Future physics opportunities for high-density QCD at the LHC with heavy-ion and proton beams
Authors:
Z. Citron,
A. Dainese,
J. F. Grosse-Oetringhaus,
J. M. Jowett,
Y. -J. Lee,
U. A. Wiedemann,
M. Winn,
A. Andronic,
F. Bellini,
E. Bruna,
E. Chapon,
H. Dembinski,
D. d'Enterria,
I. Grabowska-Bold,
G. M. Innocenti,
C. Loizides,
S. Mohapatra,
C. A. Salgado,
M. Verweij,
M. Weber,
J. Aichelin,
A. Angerami,
L. Apolinario,
F. Arleo,
N. Armesto
, et al. (160 additional authors not shown)
Abstract:
The future opportunities for high-density QCD studies with ion and proton beams at the LHC are presented. Four major scientific goals are identified: the characterisation of the macroscopic long wavelength Quark-Gluon Plasma (QGP) properties with unprecedented precision, the investigation of the microscopic parton dynamics underlying QGP properties, the development of a unified picture of particle…
▽ More
The future opportunities for high-density QCD studies with ion and proton beams at the LHC are presented. Four major scientific goals are identified: the characterisation of the macroscopic long wavelength Quark-Gluon Plasma (QGP) properties with unprecedented precision, the investigation of the microscopic parton dynamics underlying QGP properties, the development of a unified picture of particle production and QCD dynamics from small (pp) to large (nucleus--nucleus) systems, the exploration of parton densities in nuclei in a broad ($x$, $Q^2$) kinematic range and the search for the possible onset of parton saturation. In order to address these scientific goals, high-luminosity Pb-Pb and p-Pb programmes are considered as priorities for Runs 3 and 4, complemented by high-multiplicity studies in pp collisions and a short run with oxygen ions. High-luminosity runs with intermediate-mass nuclei, for example Ar or Kr, are considered as an appealing case for extending the heavy-ion programme at the LHC beyond Run 4. The potential of the High-Energy LHC to probe QCD matter with newly-available observables, at twice larger center-of-mass energies than the LHC, is investigated.
△ Less
Submitted 25 February, 2019; v1 submitted 17 December, 2018;
originally announced December 2018.
-
A New Coding Paradigm for the Primitive Relay Channel
Authors:
Marco Mondelli,
S. Hamed Hassani,
Rüdiger Urbanke
Abstract:
We consider the primitive relay channel, where the source sends a message to the relay and to the destination, and the relay helps the communication by transmitting an additional message to the destination via a separate channel. Two well-known coding techniques have been introduced for this setting: decode-and-forward and compress-and-forward. In decode-and-forward, the relay completely decodes t…
▽ More
We consider the primitive relay channel, where the source sends a message to the relay and to the destination, and the relay helps the communication by transmitting an additional message to the destination via a separate channel. Two well-known coding techniques have been introduced for this setting: decode-and-forward and compress-and-forward. In decode-and-forward, the relay completely decodes the message and sends some information to the destination; in compress-and-forward, the relay does not decode, and it sends a compressed version of the received signal to the destination using Wyner-Ziv coding. In this paper, we present a novel coding paradigm that provides an improved achievable rate for the primitive relay channel. The idea is to combine compress-and-forward and decode-and-forward via a chaining construction. We transmit over pairs of blocks: in the first block, we use compress-and-forward; and in the second block, we use decode-and-forward. More specifically, in the first block, the relay does not decode, it compresses the received signal via Wyner-Ziv, and it sends only part of the compression to the destination. In the second block, the relay completely decodes the message, it sends some information to the destination, and it also sends the remaining part of the compression coming from the first block. By doing so, we are able to strictly outperform both compress-and-forward and decode-and-forward. Note that the proposed coding scheme can be implemented with polar codes. As such, it has the typical attractive properties of polar coding schemes, namely, quasi-linear encoding and decoding complexity, and error probability that decays at super-polynomial speed. As a running example, we take into account the special case of the erasure relay channel, and we provide a comparison between the rates achievable by our proposed scheme and the existing upper and lower bounds.
△ Less
Submitted 23 October, 2019; v1 submitted 9 January, 2018;
originally announced January 2018.
-
Binary Linear Codes with Optimal Scaling: Polar Codes with Large Kernels
Authors:
Arman Fazeli,
S. Hamed Hassani,
Marco Mondelli,
Alexander Vardy
Abstract:
We prove that, for the binary erasure channel (BEC), the polar-coding paradigm gives rise to codes that not only approach the Shannon limit but do so under the best possible scaling of their block length as a~function of the gap to capacity. This result exhibits the first known family of binary codes that attain both optimal scaling and quasi-linear complexity of encoding and decoding. Our proof i…
▽ More
We prove that, for the binary erasure channel (BEC), the polar-coding paradigm gives rise to codes that not only approach the Shannon limit but do so under the best possible scaling of their block length as a~function of the gap to capacity. This result exhibits the first known family of binary codes that attain both optimal scaling and quasi-linear complexity of encoding and decoding. Our proof is based on the construction and analysis of binary polar codes with large kernels. When communicating reliably at rates within $\varepsilon > 0$ of capacity, the code length $n$ often scales as $O(1/\varepsilon^μ)$, where the constant $μ$ is called the scaling exponent. It is known that the optimal scaling exponent is $μ=2$, and it is achieved by random linear codes. The scaling exponent of conventional polar codes (based on the $2\times 2$ kernel) on the BEC is $μ=3.63$. This falls far short of the optimal scaling guaranteed by random codes. Our main contribution is a rigorous proof of the following result: for the BEC, there exist $\ell\times\ell$ binary kernels, such that polar codes constructed from these kernels achieve scaling exponent $μ(\ell)$ that tends to the optimal value of $2$ as $\ell$ grows. We furthermore characterize precisely how large $\ell$ needs to be as a function of the gap between $μ(\ell)$ and $2$. The resulting binary codes maintain the recursive structure of conventional polar codes, and thereby achieve construction complexity $O(n)$ and encoding/decoding complexity $O(n\log n)$.
△ Less
Submitted 14 October, 2020; v1 submitted 3 November, 2017;
originally announced November 2017.
-
Partitioned List Decoding of Polar Codes: Analysis and Improvement of Finite Length Performance
Authors:
Seyyed Ali Hashemi,
Marco Mondelli,
S. Hamed Hassani,
Rudiger Urbanke,
Warren J. Gross
Abstract:
Polar codes represent one of the major recent breakthroughs in coding theory and, because of their attractive features, they have been selected for the incoming 5G standard. As such, a lot of attention has been devoted to the development of decoding algorithms with good error performance and efficient hardware implementation. One of the leading candidates in this regard is represented by successiv…
▽ More
Polar codes represent one of the major recent breakthroughs in coding theory and, because of their attractive features, they have been selected for the incoming 5G standard. As such, a lot of attention has been devoted to the development of decoding algorithms with good error performance and efficient hardware implementation. One of the leading candidates in this regard is represented by successive-cancellation list (SCL) decoding. However, its hardware implementation requires a large amount of memory. Recently, a partitioned SCL (PSCL) decoder has been proposed to significantly reduce the memory consumption. In this paper, we examine the paradigm of PSCL decoding from both theoretical and practical standpoints: (i) by changing the construction of the code, we are able to improve the performance at no additional computational, latency or memory cost, (ii) we present an optimal scheme to allocate cyclic redundancy checks (CRCs), and (iii) we provide an upper bound on the list size that allows MAP performance.
△ Less
Submitted 29 August, 2017; v1 submitted 15 May, 2017;
originally announced May 2017.
-
Uniform Deviation Bounds for Unbounded Loss Functions like k-Means
Authors:
Olivier Bachem,
Mario Lucic,
S. Hamed Hassani,
Andreas Krause
Abstract:
Uniform deviation bounds limit the difference between a model's expected loss and its loss on an empirical sample uniformly for all models in a learning problem. As such, they are a critical component to empirical risk minimization. In this paper, we provide a novel framework to obtain uniform deviation bounds for loss functions which are *unbounded*. In our main application, this allows us to obt…
▽ More
Uniform deviation bounds limit the difference between a model's expected loss and its loss on an empirical sample uniformly for all models in a learning problem. As such, they are a critical component to empirical risk minimization. In this paper, we provide a novel framework to obtain uniform deviation bounds for loss functions which are *unbounded*. In our main application, this allows us to obtain bounds for $k$-Means clustering under weak assumptions on the underlying distribution. If the fourth moment is bounded, we prove a rate of $\mathcal{O}\left(m^{-\frac12}\right)$ compared to the previously known $\mathcal{O}\left(m^{-\frac14}\right)$ rate. Furthermore, we show that the rate also depends on the kurtosis - the normalized fourth moment which measures the "tailedness" of a distribution. We further provide improved rates under progressively stronger assumptions, namely, bounded higher moments, subgaussianity and bounded support.
△ Less
Submitted 27 February, 2017;
originally announced February 2017.
-
Construction of Polar Codes with Sublinear Complexity
Authors:
Marco Mondelli,
S. Hamed Hassani,
Rüdiger Urbanke
Abstract:
Consider the problem of constructing a polar code of block length $N$ for the transmission over a given channel $W$. Typically this requires to compute the reliability of all the $N$ synthetic channels and then to include those that are sufficiently reliable. However, we know from [1], [2] that there is a partial order among the synthetic channels. Hence, it is natural to ask whether we can exploi…
▽ More
Consider the problem of constructing a polar code of block length $N$ for the transmission over a given channel $W$. Typically this requires to compute the reliability of all the $N$ synthetic channels and then to include those that are sufficiently reliable. However, we know from [1], [2] that there is a partial order among the synthetic channels. Hence, it is natural to ask whether we can exploit it to reduce the computational burden of the construction problem.
We show that, if we take advantage of the partial order [1], [2], we can construct a polar code by computing the reliability of roughly a fraction $1/\log^{3/2} N$ of the synthetic channels. In particular, we prove that $N/\log^{3/2} N$ is a lower bound on the number of synthetic channels to be considered and such a bound is tight up to a multiplicative factor $\log\log N$. This set of roughly $N/\log^{3/2} N$ synthetic channels is universal, in the sense that it allows one to construct polar codes for any $W$, and it can be identified by solving a maximum matching problem on a bipartite graph.
Our proof technique consists of reducing the construction problem to the problem of computing the maximum cardinality of an antichain for a suitable partially ordered set. As such, this method is general and it can be used to further improve the complexity of the construction problem in case a new partial order on the synthetic channels of polar codes is discovered.
△ Less
Submitted 13 July, 2017; v1 submitted 15 December, 2016;
originally announced December 2016.
-
Capacity-Achieving Rate-Compatible Polar Codes for General Channels
Authors:
Marco Mondelli,
S. Hamed Hassani,
Ivana Marić,
Dennis Hui,
Song-Nam Hong
Abstract:
We present a rate-compatible polar coding scheme that achieves the capacity of any family of channels. Our solution generalizes the previous results [1], [2] that provide capacity-achieving rate-compatible polar codes for a degraded family of channels. The motivation for our extension comes from the fact that in many practical scenarios, e.g., MIMO systems and non-Gaussian interference, the channe…
▽ More
We present a rate-compatible polar coding scheme that achieves the capacity of any family of channels. Our solution generalizes the previous results [1], [2] that provide capacity-achieving rate-compatible polar codes for a degraded family of channels. The motivation for our extension comes from the fact that in many practical scenarios, e.g., MIMO systems and non-Gaussian interference, the channels cannot be ordered by degradation. The main technical contribution of this paper consists in removing the degradation condition. To do so, we exploit the ideas coming from the construction of universal polar codes.
Our scheme possesses the usual attractive features of polar codes: low complexity code construction, encoding, and decoding; super-polynomial scaling of the error probability with the block length; and absence of error floors. On the negative side, the scaling of the gap to capacity with the block length is slower than in standard polar codes, and we prove an upper bound on the scaling exponent.
△ Less
Submitted 20 January, 2017; v1 submitted 3 November, 2016;
originally announced November 2016.
-
Near-optimal Bayesian Active Learning with Correlated and Noisy Tests
Authors:
Yuxin Chen,
S. Hamed Hassani,
Andreas Krause
Abstract:
We consider the Bayesian active learning and experimental design problem, where the goal is to learn the value of some unknown target variable through a sequence of informative, noisy tests. In contrast to prior work, we focus on the challenging, yet practically relevant setting where test outcomes can be conditionally dependent given the hidden target variable. Under such assumptions, common heur…
▽ More
We consider the Bayesian active learning and experimental design problem, where the goal is to learn the value of some unknown target variable through a sequence of informative, noisy tests. In contrast to prior work, we focus on the challenging, yet practically relevant setting where test outcomes can be conditionally dependent given the hidden target variable. Under such assumptions, common heuristics, such as greedily performing tests that maximize the reduction in uncertainty of the target, often perform poorly. In this paper, we propose ECED, a novel, computationally efficient active learning algorithm, and prove strong theoretical guarantees that hold with correlated, noisy tests. Rather than directly optimizing the prediction error, at each step, ECED picks the test that maximizes the gain in a surrogate objective, which takes into account the dependencies between tests. Our analysis relies on an information-theoretic auxiliary function to track the progress of ECED, and utilizes adaptive submodularity to attain the near-optimal bound. We demonstrate strong empirical performance of ECED on two problem instances, including a Bayesian experimental design task intended to distinguish among economic theories of how people make risky decisions, and an active preference learning task via pairwise comparisons.
△ Less
Submitted 11 July, 2016; v1 submitted 24 May, 2016;
originally announced May 2016.
-
Lattice Green Functions: the d-dimensional face-centred cubic lattice, d=8, 9, 10, 11, 12
Authors:
S. Hassani,
C. Koutschan,
J-M. Maillard,
N. Zenine
Abstract:
We previously reported on a recursive method to generate the expansion of the lattice Green function of the $d$-dimensional face-centred cubic lattice (fcc). The method was used to generate many coefficients for d=7 and the corresponding linear differential equation has been obtained. In this paper, we show the strength and the limit of the method by producing the series and the corresponding line…
▽ More
We previously reported on a recursive method to generate the expansion of the lattice Green function of the $d$-dimensional face-centred cubic lattice (fcc). The method was used to generate many coefficients for d=7 and the corresponding linear differential equation has been obtained. In this paper, we show the strength and the limit of the method by producing the series and the corresponding linear differential equations for d=8, 9, 10, 11, 12. The differential Galois groups of these linear differential equations are shown to be symplectic for d=8, 10, 12 and orthogonal for d= 9, 11. The recursion relation naturally provides a 2-dimensional array $ T_d(n,j)$ where only the coefficients $ t_d(n,0)$ correspond to the coefficients of the lattice Green function of the d-dimensional fcc. The coefficients $ t_d(n,j)$ are associated to D-finite bivariate series annihilated by linear partial differential equations that we analyze.
△ Less
Submitted 6 February, 2016; v1 submitted 21 January, 2016;
originally announced January 2016.
-
A Conformable Fractional Calculus on Arbitrary Time Scales
Authors:
Nadia Benkhettou,
Salima Hassani,
Delfim F. M. Torres
Abstract:
A conformable time-scale fractional calculus of order $α\in ]0,1]$ is introduced. The basic tools for fractional differentiation and fractional integration are then developed. The Hilger time-scale calculus is obtained as a particular case, by choosing $α= 1$.
A conformable time-scale fractional calculus of order $α\in ]0,1]$ is introduced. The basic tools for fractional differentiation and fractional integration are then developed. The Hilger time-scale calculus is obtained as a particular case, by choosing $α= 1$.
△ Less
Submitted 12 May, 2015;
originally announced May 2015.
-
Unified Scaling of Polar Codes: Error Exponent, Scaling Exponent, Moderate Deviations, and Error Floors
Authors:
Marco Mondelli,
S. Hamed Hassani,
Rüdiger Urbanke
Abstract:
Consider the transmission of a polar code of block length $N$ and rate $R$ over a binary memoryless symmetric channel $W$ and let $P_e$ be the block error probability under successive cancellation decoding. In this paper, we develop new bounds that characterize the relationship of the parameters $R$, $N$, $P_e$, and the quality of the channel $W$ quantified by its capacity $I(W)$ and its Bhattacha…
▽ More
Consider the transmission of a polar code of block length $N$ and rate $R$ over a binary memoryless symmetric channel $W$ and let $P_e$ be the block error probability under successive cancellation decoding. In this paper, we develop new bounds that characterize the relationship of the parameters $R$, $N$, $P_e$, and the quality of the channel $W$ quantified by its capacity $I(W)$ and its Bhattacharyya parameter $Z(W)$.
In previous work, two main regimes were studied. In the error exponent regime, the channel $W$ and the rate $R<I(W)$ are fixed, and it was proved that the error probability $P_e$ scales roughly as $2^{-\sqrt{N}}$. In the scaling exponent approach, the channel $W$ and the error probability $P_e$ are fixed and it was proved that the gap to capacity $I(W)-R$ scales as $N^{-1/μ}$. Here, $μ$ is called scaling exponent and this scaling exponent depends on the channel $W$. A heuristic computation for the binary erasure channel (BEC) gives $μ=3.627$ and it was shown that, for any channel $W$, $3.579 \le μ\le 5.702$.
Our contributions are as follows. First, we provide the tighter upper bound $μ\le 4.714$ valid for any $W$. With the same technique, we obtain $μ\le 3.639$ for the case of the BEC, which approaches very closely its heuristically derived value. Second, we develop a trade-off between the gap to capacity $I(W)-R$ and the error probability $P_e$ as functions of the block length $N$. In other words, we consider a moderate deviations regime in which we study how fast both quantities, as functions of the block length $N$, simultaneously go to $0$. Third, we prove that polar codes are not affected by error floors. To do so, we fix a polar code of block length $N$ and rate $R$. Then, we vary the channel $W$ and we show that the error probability $P_e$ scales as the Bhattacharyya parameter $Z(W)$ raised to a power that scales roughly like $\sqrt{N}$.
△ Less
Submitted 4 August, 2016; v1 submitted 11 January, 2015;
originally announced January 2015.
-
Alignment of Polarized Sets
Authors:
Joseph M. Renes,
David Sutter,
S. Hamed Hassani
Abstract:
Arıkan's polar coding technique is based on the idea of synthesizing $n$ channels from the $n$ instances of the physical channel by a simple linear encoding transformation. Each synthesized channel corresponds to a particular input to the encoder. For large $n$, the synthesized channels become either essentially noiseless or almost perfectly noisy, but in total carry as much information as the ori…
▽ More
Arıkan's polar coding technique is based on the idea of synthesizing $n$ channels from the $n$ instances of the physical channel by a simple linear encoding transformation. Each synthesized channel corresponds to a particular input to the encoder. For large $n$, the synthesized channels become either essentially noiseless or almost perfectly noisy, but in total carry as much information as the original $n$ channels. Capacity can therefore be achieved by transmitting messages over the essentially noiseless synthesized channels. Unfortunately, the set of inputs corresponding to reliable synthesized channels is poorly understood, in particular how the set depends on the underlying physical channel. In this work, we present two analytic conditions sufficient to determine if the reliable inputs corresponding to different discrete memoryless channels are aligned or not, i.e. if one set is contained in the other. Understanding the alignment of the polarized sets is important as it is directly related to universality properties of the induced polar codes, which are essential in particular for network coding problems. We demonstrate the performance of our conditions on a few examples for wiretap and broadcast channels. Finally we show that these conditions imply that the simple quantum polar coding scheme of Renes et al. [Phys. Rev. Lett. 109, 050504 (2012)] requires entanglement assistance for general channels, but also show such assistance to be unnecessary in many cases of interest.
△ Less
Submitted 28 November, 2014;
originally announced November 2014.
-
Scaling functions in the square Ising model
Authors:
S. Hassani,
J-M. Maillard
Abstract:
We show and give the linear differential operators ${\cal L}^{scal}_q$ of order q= n^2/4+n+7/8+(-1)^n/8, for the integrals $I_n(r)$ which appear in the two-point correlation scaling function of Ising model $ F_{\pm}(r)= \lim_{scaling} {\cal M}_{\pm}^{-2}
< σ_{0,0} \, σ_{M,N}> = \sum_{n} I_{n}(r)$. The integrals $ I_{n}(r)$ are given in expansion around r= 0 in the basis of the formal solutions o…
▽ More
We show and give the linear differential operators ${\cal L}^{scal}_q$ of order q= n^2/4+n+7/8+(-1)^n/8, for the integrals $I_n(r)$ which appear in the two-point correlation scaling function of Ising model $ F_{\pm}(r)= \lim_{scaling} {\cal M}_{\pm}^{-2}
< σ_{0,0} \, σ_{M,N}> = \sum_{n} I_{n}(r)$. The integrals $ I_{n}(r)$ are given in expansion around r= 0 in the basis of the formal solutions of $\, {\cal L}^{scal}_q$ with transcendental combination coefficients. We find that the expression $ r^{1/4}\,\exp(r^2/8)$ is a solution of the Painlevé VI equation in the scaling limit. Combinations of the (analytic at $ r= 0$) solutions of $ {\cal L}^{scal}_q$ sum to $ \exp(r^2/8)$. We show that the expression $ r^{1/4} \exp(r^2/8)$ is the scaling limit of the correlation function $ C(N, N)$ and $ C(N, N+1)$. The differential Galois groups of the factors occurring in the operators $ {\cal L}^{scal}_q$ are given.
△ Less
Submitted 25 October, 2014;
originally announced October 2014.
-
Lattice Green Functions: the seven-dimensional face-centred cubic lattice
Authors:
Nadjah Zenine,
Saoud Hassani,
Jean-Marie Maillard
Abstract:
We present a recursive method to generate the expansion of the lattice Green function of the d-dimensional face-centred cubic (fcc) lattice. We produce a long series for d =7. Then we show (and recall) that, in order to obtain the linear differential equation annihilating such a long power series, the most economic way amounts to producing the non-minimal order differential equations. We use the m…
▽ More
We present a recursive method to generate the expansion of the lattice Green function of the d-dimensional face-centred cubic (fcc) lattice. We produce a long series for d =7. Then we show (and recall) that, in order to obtain the linear differential equation annihilating such a long power series, the most economic way amounts to producing the non-minimal order differential equations. We use the method to obtain the minimal order linear differential equation of the lattice Green function of the seven-dimensional face-centred cubic (fcc) lattice. We give some properties of this irreducible order-eleven differential equation. We show that the differential Galois group of the corresponding operator is included in $SO(11, \mathbb{C})$. This order-eleven operator is non-trivially homomorphic to its adjoint, and we give a "decomposition" of this order-eleven operator in terms of four order-one self-adjoint operators and one order-seven self-adjoint operator. Furthermore, using the Landau conditions on the integral, we forward the regular singularities of the differential equation of the d-dimensional lattice and show that they are all rational numbers. We evaluate the return probability in random walks in the seven-dimensional fcc lattice. We show that the return probability in the d-dimensional fcc lattice decreases as $d^{-2}$ as the dimension d goes to infinity.
△ Less
Submitted 1 November, 2014; v1 submitted 30 September, 2014;
originally announced September 2014.
-
Canonical decomposition of linear differential operators with selected differential Galois groups
Authors:
S. Boukraa,
S. Hassani,
J-M. Maillard,
J-A. Weil
Abstract:
We revisit an order-six linear differential operator having a solution which is a diagonal of a rational function of three variables. Its exterior square has a rational solution, indicating that it has a selected differential Galois group, and is actually homomorphic to its adjoint. We obtain the two corresponding intertwiners giving this homomorphism to the adjoint. We show that these intertwiner…
▽ More
We revisit an order-six linear differential operator having a solution which is a diagonal of a rational function of three variables. Its exterior square has a rational solution, indicating that it has a selected differential Galois group, and is actually homomorphic to its adjoint. We obtain the two corresponding intertwiners giving this homomorphism to the adjoint. We show that these intertwiners are also homomorphic to their adjoint and have a simple decomposition, already underlined in a previous paper, in terms of order-two self-adjoint operators. From these results, we deduce a new form of decomposition of operators for this selected order-six linear differential operator in terms of three order-two self-adjoint operators. We then generalize the previous decomposition to decompositions in terms of an arbitrary number of self-adjoint operators of the same parity order. This yields an infinite family of linear differential operators homomorphic to their adjoint, and, thus, with a selected differential Galois group. We show that the equivalence of such operators is compatible with these canonical decompositions. The rational solutions of the symmetric, or exterior, squares of these selected operators are, noticeably, seen to depend only on the rightmost self-adjoint operator in the decomposition. These results, and tools, are applied on operators of large orders. For instance, it is seen that a large set of (quite massive) operators, associated with reflexive 4-polytopes defining Calabi-Yau 3-folds, obtained recently by P. Lairez, correspond to a particular form of the decomposition detailed in this paper.
△ Less
Submitted 11 September, 2014; v1 submitted 21 July, 2014;
originally announced July 2014.
-
How to Achieve the Capacity of Asymmetric Channels
Authors:
Marco Mondelli,
S. Hamed Hassani,
Rüdiger Urbanke
Abstract:
We survey coding techniques that enable reliable transmission at rates that approach the capacity of an arbitrary discrete memoryless channel. In particular, we take the point of view of modern coding theory and discuss how recent advances in coding for symmetric channels help provide more efficient solutions for the asymmetric case. We consider, in more detail, three basic coding paradigms.
The…
▽ More
We survey coding techniques that enable reliable transmission at rates that approach the capacity of an arbitrary discrete memoryless channel. In particular, we take the point of view of modern coding theory and discuss how recent advances in coding for symmetric channels help provide more efficient solutions for the asymmetric case. We consider, in more detail, three basic coding paradigms.
The first one is Gallager's scheme that consists of concatenating a linear code with a non-linear map** so that the input distribution can be appropriately shaped. We explicitly show that both polar codes and spatially coupled codes can be employed in this scenario. Furthermore, we derive a scaling law between the gap to capacity, the cardinality of the input and output alphabets, and the required size of the mapper.
The second one is an integrated scheme in which the code is used both for source coding, in order to create codewords distributed according to the capacity-achieving input distribution, and for channel coding, in order to provide error protection. Such a technique has been recently introduced by Honda and Yamamoto in the context of polar codes, and we show how to apply it also to the design of sparse graph codes.
The third paradigm is based on an idea of Böcherer and Mathar, and separates the two tasks of source coding and channel coding by a chaining construction that binds together several codewords. We present conditions for the source code and the channel code, and we describe how to combine any source code with any channel code that fulfill those conditions, in order to provide capacity-achieving schemes for asymmetric channels. In particular, we show that polar codes, spatially coupled codes, and homophonic codes are suitable as basic building blocks of the proposed coding strategy.
△ Less
Submitted 3 January, 2018; v1 submitted 28 June, 2014;
originally announced June 2014.
-
The Ising model and Special Geometries
Authors:
S. Boukraa,
S. Hassani,
J-M. Maillard
Abstract:
We show that the globally nilpotent G-operators corresponding to the factors of the linear differential operators annihilating the multifold integrals $χ^{(n)}$ of the magnetic susceptibility of the Ising model ($n \le 6$) are homomorphic to their adjoint. This property of being self-adjoint up to operator homomorphisms, is equivalent to the fact that their symmetric square, or their exterior squa…
▽ More
We show that the globally nilpotent G-operators corresponding to the factors of the linear differential operators annihilating the multifold integrals $χ^{(n)}$ of the magnetic susceptibility of the Ising model ($n \le 6$) are homomorphic to their adjoint. This property of being self-adjoint up to operator homomorphisms, is equivalent to the fact that their symmetric square, or their exterior square, have rational solutions. The differential Galois groups are in the special orthogonal, or symplectic, groups. This self-adjoint (up to operator equivalence) property means that the factor operators we already know to be Derived from Geometry, are special globally nilpotent operators: they correspond to "Special Geometries".
Beyond the small order factor operators (occurring in the linear differential operators associated with $ χ^{(5)}$ and $ χ^{(6)}$), and, in particular, those associated with modular forms, we focus on the quite large order-twelve and order-23 operators. We show that the order-twelve operator has an exterior square which annihilates a rational solution. Then, its differential Galois group is in the symplectic group $ Sp(12, \mathbb{C})$. The order-23 operator is shown to factorize in an order-two operator and an order-21 operator. The symmetric square of this order-21 operator has a rational solution. Its differential Galois group is, thus, in the orthogonal group
$ SO(21, \mathbb{C})$.
△ Less
Submitted 14 April, 2014; v1 submitted 25 February, 2014;
originally announced February 2014.
-
Achieving Marton's Region for Broadcast Channels Using Polar Codes
Authors:
Marco Mondelli,
S. Hamed Hassani,
Igal Sason,
Rüdiger Urbanke
Abstract:
This paper presents polar coding schemes for the 2-user discrete memoryless broadcast channel (DM-BC) which achieve Marton's region with both common and private messages. This is the best achievable rate region known to date, and it is tight for all classes of 2-user DM-BCs whose capacity regions are known. To accomplish this task, we first construct polar codes for both the superposition as well…
▽ More
This paper presents polar coding schemes for the 2-user discrete memoryless broadcast channel (DM-BC) which achieve Marton's region with both common and private messages. This is the best achievable rate region known to date, and it is tight for all classes of 2-user DM-BCs whose capacity regions are known. To accomplish this task, we first construct polar codes for both the superposition as well as the binning strategy. By combining these two schemes, we obtain Marton's region with private messages only. Finally, we show how to handle the case of common information. The proposed coding schemes possess the usual advantages of polar codes, i.e., they have low encoding and decoding complexity and a super-polynomial decay rate of the error probability.
We follow the lead of Goela, Abbe, and Gastpar, who recently introduced polar codes emulating the superposition and binning schemes. In order to align the polar indices, for both schemes, their solution involves some degradedness constraints that are assumed to hold between the auxiliary random variables and the channel outputs. To remove these constraints, we consider the transmission of $k$ blocks and employ a chaining construction that guarantees the proper alignment of the polarized indices. The techniques described in this work are quite general, and they can be adopted to many other multi-terminal scenarios whenever there polar indices need to be aligned.
△ Less
Submitted 10 October, 2014; v1 submitted 23 January, 2014;
originally announced January 2014.