Related papers: A Note on Occur-Check
Fully automated verification of concurrent programs is a difficult problem, primarily because of state explosion: the exponential growth of a program state space with the number of its concurrently active components. It is natural to apply…
We present algorithms for checking and enforcing robustness of concurrent programs against the Total Store Ordering (TSO) memory model. A program is robust if all its TSO computations correspond to computations under the Sequential…
Comparison of quantum objects is a task to determine whether two unknown quantum objects are the same or different. It is one of the most basic information processing tasks for learning property of quantum objects, and comparison of quantum…
Adaptive robust optimization (ARO) extends static robust optimization by allowing decisions to depend on the realized uncertainty - weakly dominating static solutions within the modeled uncertainty set. However, ARO makes previous…
For obtaining causal inferences that are objective, and therefore have the best chance of revealing scientific truths, carefully designed and executed randomized experiments are generally considered to be the gold standard. Observational…
A Boolean function is called read-once over a basis B if it can be expressed by a formula over B where no variable appears more than once. A checking test for a read-once function f over B depending on all its variables is a set of input…
Nonuniform neutron-rich matter present in both core-collapse supernovae and neutron-star crusts is described in terms of a semiclassical model that reproduces nuclear-matter properties and includes long-range Coulomb interactions. The…
A discrete-event approach, which has already been shown to give a cause-and-effect explanation of many quantum optics experiments, is applied to single-neutron interferometry experiments. The simulation algorithm yields a logically…
In a recent work by Capozzi et al (arXiv:1908.06992), it is observed that the introduction of non-standard neutrino-matter interactions considerably relaxes the preference of T2K and NO$\nu$A for normal over inverted mass ordering observed…
We analyze the sensitivity of the Deep Underground Neutrino Experiment (DUNE) to a sterile neutrino, combining information from both near and far detectors. We quantify often-neglected effects which may impact the event rate estimation in a…
Interference is central to quantum physics and occurs when indistinguishable paths exist, like in a double-slit experiment. Replacing the two slits with two single atoms introduces optical non-linearities for which nontrivial interference…
We consider an $n$ agents distributed optimization problem with imperfect information characterized in a parametric sense, where the unknown parameter can be solved by a distinct distributed parameter learning problem. Though each agent…
Molecular signatures derived from omics data are increasingly used in epidemiological studies to characterize lifestyle exposures, either as proxies of exposure or to provide insight into disease mechanisms. These signatures are typically…
We examine a recently proposed nucleon-nucleon interaction, claimed by its authors both realistic and leading to a standing wave instability in symmetric nuclear matter. Contrary to these claims, we find that this interaction leads to a…
We present a detailed analysis on nonstandard neutrino interactions (NSI) with electrons including all muon and electron (anti)-neutrino data from existing accelerators and reactors, in conjunction with the ``neutrino counting'' data (e- e+…
Observational determinism is a security property that characterizes secure information flow for multithreaded programs. Most of the methods that have been used to verify observational determinism are based on either type systems or…
We consider the problem of testing whether an unknown $n$-qubit quantum state $|\psi\rangle$ is a stabilizer state, with only single-copy access. We give an algorithm solving this problem using $O(n)$ copies, and conversely prove that…
Methods for sequential decision-making are often built upon a foundational assumption that the underlying decision process is stationary. This limits the application of such methods because real-world problems are often subject to changes…
The simplest unified extension of the Minimal Supersymmetric Standard Model with bilinear R--Parity violation provides a predictive scheme for neutrino masses which can account for the observed atmospheric and solar neutrino parameters.…
The element distinctness problem takes as input a list $I$ of $n$ values from a totally ordered universe and the goal is to decide whether $I$ contains any duplicates. It is a well-studied problem with a classical worst-case $\Omega(n \log…