Related papers: A Two Step Perspective for Kripke Structure Reduct…
Many AI researchers and cognitive scientists have argued that analogy is the core of cognition. The most influential work on computational modeling of analogy-making is Structure Mapping Theory (SMT) and its implementation in the Structure…
We develop a semi-analytical model to describe the cosmological evolution of networks of cosmic strings with small-scale structure, by extending the velocity-dependent one-scale model to include an additional lengthscale describing the…
It is shown that quantum coherence is conserved in a principal system in the case that the system is coupled to a fast dissipating environment [arXiv:0709.0562]. The phenomenon is called the quantum wipe effect. Here, this effect is…
A Quantum Kinetic Master Equation (QKME) for bosonic atoms is formulated. It is a quantum stochastic equation for the kinetics of a dilute quantum Bose gas, and describes the behavior and formation of Bose condensation. The key assumption…
Low-level database operators often admit multiple physical implementations ("kernels") that are semantically equivalent but have vastly different performance characteristics depending on the input data distribution. Existing database…
This paper studies the reduction (abstraction) of finite-state transition systems for control synthesis problems. We revisit the notion of alternating simulation equivalence (ASE), a more relaxed condition than alternating bisimulations, to…
The Chemical Master Equation (CME) is well known to provide the highest resolution models of a biochemical reaction network. Unfortunately, even simulating the CME can be a challenging task. For this reason more simple approximations to the…
Quantum Error Mitigation (QEM) enables the extraction of high-quality results from the presently-available noisy quantum computers. In this approach, the effect of the noise on observables of interest can be mitigated using multiple…
Quantum chemistry is a promising application for noisy intermediate-scale quantum (NISQ) devices. However, quantum computers have thus far not succeeded in providing solutions to problems of real scientific significance, with algorithmic…
The standard semantics of multi-agent epistemic logic S5 is based on Kripke models whose accessibility relations are reflexive, symmetric and transitive. This one dimensional structure contains implicit higher-dimensional information beyond…
We propose a novel method of introducing structure into existing machine learning techniques by developing structure-based similarity and distance measures. To learn structural information, low-dimensional structure of the data is captured…
Monotone matrices play a key role in the convergence theory of regular splittings and different types of weak regular splittings. If monotonicity fails, then it is difficult to guarantee the convergence of the above-mentioned classes of…
Time-dependent renormalization was employed to derive a nonlinear quantum master equation (QME), in which the dynamics of a non-equilibrium fluctuation in an irrelevant system are fed back into that of a relevant one. In terms of…
We investigate relaxation-order inversion, known as the quantum Mpemba effect (QME), in a minimal open many-body system called a one-dimensional four-site Bose--Hubbard chain governed by Lindblad dynamics with local number dephasing.…
Kronecker compressed sensing refers to using Kronecker product matrices as sparsifying bases and measurement matrices in compressed sensing. This work focuses on the Kronecker compressed sensing problem, encompassing three sparsity…
We show that two related measures of k-coherence, called the standard and generalized robustness of k-coherence, are equal to each other when restricted to pure states. As a direct application of the result, we establish an equivalence…
We give a procedure for translating geometric Kripke frame axioms into structural hypersequent rules for the corresponding intermediate logics in Int^*/Geo that admit weakening, contraction and in some cases, cut. We give a procedure for…
The kernel $k$-means is an effective method for data clustering which extends the commonly-used $k$-means algorithm to work on a similarity matrix over complex data structures. The kernel $k$-means algorithm is however computationally very…
Dynamical decoupling (DD) is a widely-used quantum control technique that takes advantage of temporal symmetries in order to partially suppress quantum errors without the need resource-intensive error detection and correction protocols.…
Continuous-time quantum error correction (CTQEC) is a technique for protecting quantum information against decoherence, where both the decoherence and error correction processes are considered continuous in time. Given any [[n,k,d]] quantum…