Related papers: Analytic solution of the separability criterion fo…
We revisit the satisfiability problem for two-variable logic, denoted by SAT(FO2), which is known to be NEXP-complete. The upper bound is usually derived from its well known Exponential Size Model (ESM) property. Whether it can be…
A classic result due to Schaefer (1978) classifies all constraint satisfaction problems (CSPs) over the Boolean domain as being either in $\mathsf{P}$ or $\mathsf{NP}$-hard. This paper considers a promise-problem variant of CSPs called…
Our study is dedicated to the probabilistic representation and numerical approximation of solutions to coupled systems of variational inequalities. The dynamics of each component of the solution is driven by a different linear parabolic…
In this work, we extend the sparse iterative covariance-based estimator (SPICE), by generalizing the formulation to allow for different norm constraints on the signal and noise parameters in the covariance model. For a given norm, the…
This work focuses on the invariance of important properties between continuous and discrete models of systems which can be useful in the control design of large-scale systems and their software implementations. In particular, this paper…
In the research community, there exists the strong belief that a continuous Galerkin scheme is notoriously unstable and additional stabilization terms have to be added to guarantee stability. In the first part of the series [6], the…
In a recent paper (quant-ph/0102133) Chen, Liang, Li and Huang suggest a necessary and sufficient separability criterion, which is supposedly practical in judging the separability of any mixed state. In this note we briefly recapitulate…
We propose that Bayesian variable selection for linear parametrisations with Gaussian iid likelihoods be based on the spherical symmetry of the diagonalised parameter space. Our r-prior results in closed forms for the evidence for four…
We study the one-dimensional asymmetric simple exclusion process (ASEP) with open boundary conditions. Particles are injected and ejected at both boundaries. It is clarified that the steady state of the model is intimately related to the…
We present a new set of inseparabilty inequalities to detect entanglement in $N$-spin states. These are based on negative partial transposition and involve collective spin-spin correlations of any two partitions of the entire system. They…
Let $\Gamma\subset \mathsf{PSL}(2,\mathbb{R})$ be a lattice and $\rho:\Gamma\to \mathsf{Sp}(2n,\mathbb{R})$ be a maximal representation. We show that $\rho$ satisfies a measurable $(1,1,2)-$hypertransversality condition. With this we define…
For propensity score analysis and sparse estimation, we develop an information criterion for determining the regularization parameters needed in variable selection. First, for Gaussian distribution-based causal inference models, we extend…
Sapo is a C++ tool for the formal analysis of polynomial dynamical systems. Its main features are: 1) Reachability computation, i.e., the calculation of the set of states reachable from a set of initial conditions, and 2) Parameter…
We investigate the ultimate precision achievable in Gaussian quantum metrology. We derive general analytical expressions for the quantum Fisher information matrix and for the measurement compatibility condition, ensuring asymptotic…
Starting from integrable $su(2)$ (quasi-)spin Richardson-Gaudin XXZ models we derive several properties of integrable spin models coupled to a bosonic mode. We focus on the Dicke-Jaynes-Cummings-Gaudin models and the two-channel…
We discuss the entropic criterion for separability of compound quantum systems for general non-additive entropic forms based on arbitrary concave functions $f$. For any separable state, the generalized entropy of the whole system is shown…
Starting from hyperbolic dispersion relations, we derive a system of Roy--Steiner equations for pion Compton scattering that respects analyticity, unitarity, gauge invariance, and crossing symmetry. It thus maintains all symmetries of the…
Renormalized homotopy continuation on toric varieties is introduced as a tool for solving sparse systems of polynomial equations, or sparse systems of exponential sums. The cost of continuation depends on a renormalized condition length,…
Two-qubit X-matrices have been the subject of considerable recent attention, as they lend themselves more readily to analytical investigations than two-qubit density matrices of arbitrary nature. Here, we maximally exploit this relative…
The goal of this paper is to understand the conditional law of a stochastic process once it has been observed over an interval. To make this precise, we introduce the notion of a continuous disintegration: a regular conditional probability…