Related papers: Approximating the Existential Theory of the Reals
The classical Artin--Whaples approximation theorem allows to simultaneously approximate finitely many different elements of a field with respect to finitely many pairwise inequivalent absolute values. Several variants and generalizations…
We study large scale extended trust region subproblems (eTRS) i.e., the minimization of a general quadratic function subject to a norm constraint, known as the trust region subproblem (TRS) but with an additional linear inequality…
This thesis deals with General Probabilistic Theories (GPTs) and Entanglement Structures (ESs). An ES is a possible structure of a quantum composite system in GPTs, which is not uniquely determined as the Standard Entanglement Structure…
We show a statistical version of Taylor's theorem and apply this result to non-parametric density estimation from truncated samples, which is a classical challenge in Statistics \cite{woodroofe1985estimating, stute1993almost}. The…
Quantum theory, despite its remarkable success, struggles to represent certain experimental data, particularly those involving integer functions and deterministic relations between quantum jumps. We address this limitation by proposing a…
Bell's theorem contains the proposition that the Einstein-Podolsky-Rosen (EPR) theory (hypothesis) of the existence of elements of reality together with Einstein locality permits a mathematical description of EPR experiments by functions…
Blackwell's celebrated approachability theory provides a general framework for a variety of learning problems, including regret minimization. However, Blackwell's proof and implicit algorithm measure approachability using the $\ell_2$…
We study optimization problems that are neither approximable in polynomial time (at least with a constant factor) nor fixed parameter tractable, under widely believed complexity assumptions. Specifically, we focus on Maximum Independent…
In this paper, we consider linear time-invariant continuous control systems which are bounded real, also known as scattering passive. Our main theoretical contribution is to show the equivalence between such systems and port-Hamiltonian…
We show that completeness at higher levels of the theory of the reals is a robust notion (under changing the signature and bounding the domain of the quantifiers). This mends recognized gaps in the hierarchy, and leads to stronger…
In the following we undertake to derive quantum theory as a stochastic low-energy and coarse-grained theory from a more primordial discrete and basically geometric theory living on the Planck scale and which (as we argue) possibly underlies…
We propose a general method for optimization with semi-infinite constraints that involve a linear combination of functions, focusing on the case of the exponential function. Each function is lower and upper bounded on sub-intervals by…
This paper is devoted to the study of approximate solutions for a multiobjective interval-valued optimization problem based on an interval order. We establish new existence theorems of approximate solutions for such a problem under some…
We discuss a scenario of ``the path to physics at the Planck scale'' where todays theory of the interactions of elementary particles, the so called Standard Model (SM), emerges as a low energy effective theory describing the long distance…
Extended Everett's Concept (EEC) recently developed by the author to explain the phenomenon of consciousness is considered. A mathematical model is proposed for the principal feature of consciousness assumed in EEC, namely its ability (in…
It has been shown that quantum paradoxes have followed from one special assumption, i.e., from attributing basic physical meaning to Hamiltonian eigenfunctions and representing all physical states by vectors of the Hilbert space spanned on…
We construct low regularity solutions of the vacuum Einstein constraint equations. In particular, on 3-manifolds we obtain solutions with metrics in $H^s\loc$ with $s>{3\over 2}$. The theory of maximal asymptotically Euclidean solutions of…
We study the decision problem Affine Rank Minimization, denoted ARM(k). The input consists of rational matrices A_1,...,A_q in Q^{m x n} and rational scalars b_1,...,b_q in Q. The question is whether there exists a real matrix X in R^{m x…
The logic LAE discussed in this paper is based on an approximate entailment relation. LAE generalises classical propositional logic to the effect that conclusions can be drawn with a quantified imprecision. To this end, properties are…
The relaxation time approximation (RTA) is a well known method of describing the time evolution of a statistical ensemble by linking distributions of the variables of interest at different stages of their temporal evolution. We show that if…