Related papers: A Note on Occur-Check
Many approaches for verifying input-output properties of neural networks have been proposed recently. However, existing algorithms do not scale well to large networks. Recent work in the field of model compression studied binarized neural…
Neutrino oscillations occur only if it is impossible to determine $\nu$ mass by using conservation laws on measurements of nucleon-lepton system absorbing $\nu$. No oscillations if $\nu$ detector is mass spectrometer. Beam is split into…
We have investigated the problem of discriminating between nonorthogonal quantum states with least probability of error. We have determined that the best strategy for some sets of states is to make no measurement at all, and simply to…
The entanglement of multi-atom quantum states is considered. In order to cancel noise due to inhomogeneous light atom coupling, the concept of matched multi-atom observables is proposed. As a means to eliminate an important form of…
Parity-violating polarized electron scattering from nucleons and nuclei provides an excellent tool to extract valuable information on nuclear and nucleon structure, as well as to determine Standard Model couplings and higher-order radiative…
The mixing of three and four massive neutrinos is considered. It is shown that the neutrino oscillation data are not compatible with a hierarchy of couplings in the three-neutrino case. In the case of four neutrinos, a hierarchy of masses…
We show by a surprisingly simple argument that the exchangeability condition, which is key to the exchangeable pair approach in Stein's method for distributional approximation, can be omitted in many standard settings. This is achieved by…
In this document drafted by the Neutrino Scattering Theory Experiment Collaboration (NuSTEC), we provide input on the synergies between theoretical and experimental efforts that can provide critical input to the prediction accuracy needed…
Neutrino-electron scattering is a purely leptonic fundamental interaction and therefore provides an important channel to test the Standard Model, especially at the low energy-momentum transfer regime. We derived constraints on neutrino…
The $k$-set agreement problem is a generalization of the consensus problem. Namely, assuming each process proposes a value, each non-faulty process has to decide a value such that each decided value was proposed, and no more than $k$…
Unintended failures during a computation are painful but frequent during software development. Failures due to external reasons (e.g., missing files, no permissions) can be caught by exception handlers. Programming failures, such as calling…
We introduce a new decentralized observation condition which we call "at least one can tell" (OCT) and which attempts to capture the idea that for any possible behavior that a system can generate, at least one decentralized observation…
This paper investigates decision-making in A/B experiments for online platforms and marketplaces. In such settings, due to constraints on inventory, A/B experiments typically lead to biased estimators because of *interference* between…
In oncology, conduct well-powered time-to-event randomized clinical trials may be challenging due to limited patietns number. Many designs for single-arm trials (SATs) have recently emerged as an alternative to overcome this issue. They…
Logic entailment is essential to reasoning, but entailment checking has the worst-case complexity of an exponential of the variable size. With recent development, quantum computing when mature may allow an effective approach for various…
A substring $u$ of a string $T$ is said to be a repeat if $u$ occurs at least twice in $T$. An occurrence $[i..j]$ of a repeat $u$ in $T$ is said to be a net occurrence if each of the substrings $aub = T[i-1..j+1]$, $au = T[i-1..j+1]$, and…
This paper proposes and studies a detection technique for adversarial scenarios (dubbed deterministic detection). This technique provides an alternative detection methodology in case the usual stochastic methods are not applicable: this can…
Current neutrino experiments measure the neutrino mixing parameters with an unprecedented accuracy. The upcoming generation of experiments will be sensitive to subdominant effects that can give information on the unknown neutrino…
Robustness is a correctness notion for concurrent programs running under relaxed consistency models. The task is to check that the relaxed behavior coincides (up to traces) with sequential consistency (SC). Although computationally simple…
We propose and analyze a nonunitary variant of the continuous time Grover search algorithm based on frequent Zeno-type measurements. We show that the algorithm scales similarly to the pure quantum version by deriving tight analytical lower…