Related papers: Verification of crossbar-based lattice through mod…
Items in a test are often used as a basis for making decisions and such tests are therefore required to have good psychometric properties, like unidimensionality. In many cases the sum score is used in combination with a threshold to decide…
The many cores design research community have shown high interest in optical crossbars on chip for more than a decade. Key properties of optical crossbars, namely a) contention free data routing b) low latency communication and c) potential…
Let a Boolean function be available as a black-box (oracle) and one likes to devise an algorithm to test whether it has certain property or it is $\epsilon$-far from having that property. The efficiency of the algorithm is judged by the…
In this work, we present an experimental investigation of the fuse model. Our main goal was to study the influence of the disorder on the fracture process. The experimental apparatus used consisted of an $L\times L$ square lattice with…
A unified framework to derive discrete time-marching schemes for coupling of immersed solid and elastic objects to the lattice Boltzmann method is presented. Based on operator splitting for the discrete Boltzmann equation, second-order…
On the base of a Feynman-Kac--type formula involving Poisson stochastic processes, recently a Monte Carlo algorithm has been introduced, which describes exactly the real- or imaginary-time evolution of many-body lattice quantum systems. We…
We introduce several dynamical schemes that take advantage of mid-circuit measurement and nearest-neighbor gates on a lattice with maximum vertex degree three to implement topological codes and perform logic gates between them. We first…
Well-known conductive molecular wires, like cumulene or polyyne, provide a model for interconnecting molecular electronics circuit. In the recent experiment, the appearance of carbon wire bridging two-dimensional electrodes - graphene…
We introduce a new framework for Equivalence Checking (EC) of Boolean circuits based on a general technique called Logic Relaxation (LoR). The essence of LoR is to relax the formula to be solved and compute a superset S of the set of new…
We offer a digital signature scheme using Boolean automorphisms of a multivariate polynomial algebra over integers. Verification part of this scheme is based on the approximation of the number of zeros of a multivariate Boolean function.
Nanomagnetic implementations of Boolean logic [1,2] have garnered attention because of their non-volatility and the potential for unprecedented energy-efficiency. Unfortunately, the large dissipative losses that take place when nanomagnets…
The dramatic improvements in combinatorial optimization algorithms over the last decades have had a major impact in artificial intelligence, operations research, and beyond, but the output of current state-of-the-art solvers is often hard…
Monitoring is an important body of techniques in runtime verification of real-time, embedded, and cyber-physical systems. Mathematically, the monitoring problem can be formalized as a pattern matching problem against a pattern automaton.…
As a quantum resource, quantum coherence plays an important role in modern physics. Many coherence measures and their relations with entanglement have been proposed, and the dynamics of entanglement has been experimentally studied. However,…
Wave-function Monte Carlo methods are an important tool for simulating quantum systems, but the standard method cannot be used to simulate decoherence in continuously measured systems. Here we present a new Monte Carlo method for such…
In this paper we consider the problem of certified static checking of module-like constructs of programming languages. We argue that there are algorithms and properties related to modules that can be defined and proven in an abstract way.…
We propose a simple scheme for realizing the physics of 1D anyons with ultracold bosonic atoms in an optical lattice. It relies on lattice-shaking-induced resonant tunneling against potential off-sets created by a combination of a lattice…
Exact diagonalization techniques are a powerful method for studying many-body problems. Here, we apply this method to systems of few bosons in an optical lattice, and use it to demonstrate the emergence of interesting quantum phenomena like…
We reveal a generic mechanism of generating sign-alternating inter-site interactions mediated by strongly correlated lattice bosons. The ground state phase diagram of the two-component hard-core Bose-Hubbard model on a square lattice at…
This project investigates the applicability of quasi-Monte Carlo methods to Euclidean lattice systems in order to improve the asymptotic error scaling of observables for such theories. The error of an observable calculated by averaging over…