Related papers: Instantons in self-organizing logic gates
The increasing data rates and complexity of detectors at the Large Hadron Collider (LHC) necessitate fast and efficient machine learning models, particularly for rapid selection of what data to store, known as triggering. Building on recent…
We study the point location problem in incremental (possibly disconnected) planar subdivisions, that is, dynamic subdivisions allowing insertions of edges and vertices only. Specifically, we present an $O(n\log n)$-space data structure for…
We propose a monotonic logic of internalised non-monotonic or instant interactive proofs (LiiP) and reconstruct an existing monotonic logic of internalised monotonic or persistent interactive proofs (LiP) as a minimal conservative extension…
We construct all instantons in the \nlsig\ on a cylindrical space-time, known not to exist on a finite time interval. The scale parameter, $\rho$, is related to the boundary condition in time. This may cure the $\rho\rightarrow0$ divergent…
Parallel processing of information plays a critical role in accelerating computation. This includes quantum computers, where parallel processing of quantum information will play a critical role in practical quantum advantage. Here, we…
We study the dynamics of the first order phase transition in the two dimensional 15-state Potts model, both at and off equilibrium. We find that phase changes take place through nucleation in both cases, and finite volume effects are…
We review how instanton solutions at finite temperature can be seen as boundstates of constituent monopoles, discuss some speculations concerning their physical relevance and the lattice evidence for their presence in a dynamical context.
Instanton theory is an established method to calculate rate constants of chemical reactions including atom tunneling. Technical and methodological improvements increased its applicability. Still, a large number of energy and gradient…
The use of spatio-temporal logics in control is motivated by the need to impose complex spatial and temporal behavior on dynamical systems, and to control these systems accordingly. Synthesizing correct-by-design control laws is a…
Instanton calculations in semiclassical quantum mechanics rely on integration along trajectories which solve classical equations of motion. However in systems with higher dimensionality or complexified phase space these are rarely…
Within the context of finding the initial conditions of the universe we consider gravitational instantons falling into the Bianchi IX classification. That is, a Euclidean four-manifold with a metric that satisfies Einstein's equations with…
Equilibrium logic is an approach to nonmonotonic reasoning that extends the stable-model and answer-set semantics for logic programs. In particular, it includes the general case of nested logic programs, where arbitrary Boolean combinations…
In all but special circumstances, measurements of time-dependent processes reflect internal structures and correlations only indirectly. Building predictive models of such hidden information sources requires discovering, in some way, the…
Quantum relative entropy optimization refers to a class of convex problems in which a linear functional is minimized over an affine section of the epigraph of the quantum relative entropy function. Recently, the self-concordance of a…
Memristors are low-power memory-holding resistors thought to be useful for neuromophic computing, which can compute via spike-interactions mediated through the device's short-term memory. Using interacting spikes, it is possible to build an…
This paper surveys some recent developments towards a dynamic quantum logic and outlines its explicite construction -- some analogies and contrasts with other logics of dynamics are indicated. Abstract: The development of ``(static)…
We introduce and study single-conclusioned nested sequent calculi for a broad class of intuitionistic multi-modal logics known as "intuitionistic grammar logics (IGLs)." These logics serve as the intuitionistic counterparts of classical…
We consider quantum computer architectures where interactions are mediated between hot qubits that are not in their mechanical ground state. Such situations occur, e.g., when not cooling ideally, or when moving ions or atoms around. We…
In this work, we propose a region-based self-triggered control (STC) scheme for nonlinear systems. The state space is partitioned into a finite number of regions, each of which is associated to a uniform inter-event time. The controller, at…
We derive the non-perturbative corrections to the free energy of the two-matrix model in terms of its algebraic curve. The eigenvalue instantons are associated with the vanishing cycles of the curve. For the (p,q) critical points our…