相关论文: The realizability problem as a special case of the…

We present a new algorithm for computing the real radical of an ideal and, more generally, the-radical of, which is based on convex moment optimization. A truncated positive generic linear functional vanishing on the generators of is…

Recently, several claims have been made that certain fundamental problems of distributed computing, including Leader Election and Distributed Consensus, begin to admit feasible and efficient solutions when the model of distributed…

In this paper, we define a new realizability semantics for the simply typed lambda-mu-calculus. We show that if a term is typable, then it inhabits the interpretation of its type. We also prove a completeness result of our realizability…

We develop a realizability model in which the realizers are the reals not just Turing computable in a fixed real but rather the reals in a countable ideal of Turing degrees. This is then applied to prove several separation results involving…

The Hausdorf moment problem (HMP) over the unit interval in an $L^2$-setting is a classical example of an ill-posed inverse problem. Since various applications can be rewritten in terms of the HMP, it has gathered significant attention in…

A unified model is addressed for general optimization problems in multi-scale complex systems. Based on necessary conditions and basic principles in physics, the canonical duality-triality theory is presented in a precise way to include…

We introduce a Markov chain model of concurrent quantum programs. This model is a quantum generalization of Hart, Sharir and Pnueli's probabilistic concurrent programs. Some characterizations of the reachable space, uniformly repeatedly…

While reachability analysis is one of the most promising approaches for formal verification of dynamic systems, a major disadvantage preventing a more widespread application is the requirement to manually tune algorithm parameters such as…

We present a solution to the real multidimensional rational K-moment problem, where K is defined by finitely many polynomial inequalities. More precisely, let S be a finite set of real polynomials in X=(X_1,...,X_n) such that the…

This note outlines the realizable extension problem for weighted graphs and provides results of a detailed analysis of this problem for the weighted graph $(K_{3,3},l)$. This analysis is then utilized to provide a result relating to the…

Quantum logic was introduced in 1936 by Garrett Birkhoff and John von Neumann as a framework for capturing the logical peculiarities of quantum observables. It generalizes, and on 1-dimensional Hilbert space coincides with, Boolean…

Inspired by Quantum Mechanics, we reformulate Hilbert's tenth problem in the domain of integer arithmetics into either a problem involving a set of infinitely coupled differential equations or a problem involving a Shr\"odinger propagator…

Discrete-time robust optimal control problems generally take a min-max structure over continuous variable spaces, which can be difficult to solve in practice. In this paper, we extend the class of such problems that can be solved through a…

We consider a multidimensional universe with the topology $M= \R\times M_1\times \cdots \times M_n$, where the $M_i$ ($i>1$) are $d_i$-dimensional Ricci flat spaces. Exploiting a conformal equivalence between minimal coupling models and…

We study the problem of \emph{robust satisfiability} of systems of nonlinear equations, namely, whether for a given continuous function $f:\,K\to\mathbb{R}^n$ on a~finite simplicial complex $K$ and $\alpha>0$, it holds that each function…

The aim of this work is to study, from an intrinsic and geometric point of view, second-order constrained variational problems on Lie algebroids, that is, optimization problems defined by a cost functional which depends on higher-order…

The Problem of Time is that `time' in each of ordinary quantum theory and general relativity are mutually incompatible notions. This causes difficulties in trying to put these two theories together to form a theory of Quantum Gravity. The…

Big Bang models of the Universe predict rapid domination by curvature, a paradox known as the flatness problem. Solutions to this problem usually leave the Universe exactly flat for every practical purpose. Explaining a nearly but not…

This paper considers the use of singular perturbation approximations for general linear quantum systems where the system dynamics are described in terms of both annihilation and creation operators. Results that are related to the physical…

We consider small nonlinear perturbations of linear systems on a time scale with the phase space being finite or infinite-dimensional. For $\Delta$-differential operators, corresponding to linear dynamic systems we consider their…