Related papers: A simplified approach to the improved semiclassica…
We introduce a semiclassical quantization method which is based on a stroboscopic description of the classical and the quantum flows. We show that this approach emerges naturally when one is interested in extracting the energy spectrum…
We prove completeness results for a wide variety of intuitionistic conditional logics. We do so by first using a canonical model construction obtain completeness with respect to descriptive conditional frames, and then introducing the…
In recent years, expansion-based techniques have been shown to be very powerful in theory and practice for solving quantified Boolean formulas (QBF), the extension of propositional formulas with existential and universal quantifiers over…
Uncertainty in Logic Programming has been investigated during the last decades, dealing with various extensions of the classical LP paradigm and different applications. Existing proposals rely on different approaches, such as clause…
We give a brief overview of a simple and unified way, called the prepotential approach, to treat both exact and quasi-exact solvabilities of the one-dimensional Schr\"odinger equation. It is based on the prepotential together with Bethe…
Tensor completion is a natural higher-order generalization of matrix completion where the goal is to recover a low-rank tensor from sparse observations of its entries. Existing algorithms are either heuristic without provable guarantees,…
We study the asymptotic behaviour of solutions to semi-classical nonlinear Schrodinger equations with a potential, for concentrating and oscillating initial data, when the nonlinearity is repulsive and the potential is a polynomial of…
Entanglement is a fundamental property of quantum systems, essential for non-trivial quantum programs. Identifying when qubits become entangled is critical for circuit optimization, and for arguing for the correctness of quantum algorithms.…
We analyze quantitatively the accuracy of eigenfunction and eigenvalue calculations in the frame work of WKB and instanton semiclassical methods. We show that to estimate the accuracy it is enough to compare two linearly independent (with…
In this paper, a progressive learning technique for multi-class classification is proposed. This newly developed learning technique is independent of the number of class constraints and it can learn new classes while still retaining the…
We present in this paper a rather general method for the construction of so-called conditionally exactly solvable potentials. This method is based on algebraic tools known from supersymmetric quantum mechanics. Various families of…
The higher-order correlation clustering problem is an expressive model, and recently, local search heuristics have been proposed for several applications. Certifying optimality, however, is NP-hard and practically hampered already by the…
Simple representations of documents based on the occurrences of terms are ubiquitous in areas like Information Retrieval, and also frequent in Natural Language Processing. In this work we propose a logical-probabilistic approach to the…
Conventional multiclass conditional probability estimation methods, such as Fisher's discriminate analysis and logistic regression, often require restrictive distributional model assumption. In this paper, a model-free estimation method is…
A general procedure is presented to construct conditionally solvable (CES) potentials using the techniques of supersymmetric quantum mechanics.The method is illustrated with potentials related to the harmonic oscillator problem.Besides…
A sound and complete embedding of conditional logics into classical higher-order logic is presented. This embedding enables the application of off-the-shelf higher-order automated theorem provers and model finders for reasoning within and…
The Conditional Probability Interpretation of Quantum Mechanics replaces the abstract notion of time used in standard Quantum Mechanics by the time that can be read off from a physical clock. The use of physical clocks leads to apparent…
We propose a new method for conducting Bayesian prediction that delivers accurate predictions without correctly specifying the unknown true data generating process. A prior is defined over a class of plausible predictive models. After…
A well known description of superradiance from pointlike collections of many atoms involves the dissipative motion of a large spin. The pertinent ``superradiance master equation'' allows for a formally exact solution which we subject to a…
This survey is devoted to necessary and suffcient conditions for a rational number to be representable by a Cantor series. Necessary and suffcient conditions are formulated for the case of an arbitrary sequence $(q_k)$.