Related papers: An Example of a Right Loop Admitting Only Discrete…

This paper develops a novel nested sequent proof-search methodology for intuitionistic tense logics (ITLs), supporting finite counter-model extraction. We introduce a new loop-checking method that detects repeating nested sequents using…

For the kinetic energy of 1d model finite systems the leading corrections to local approximations as a functional of the potential are derived using semiclassical methods. The corrections are simple, non-local functionals of the potential.…

There are several compactification procedures in topology, but there is only one standard discretization, namely, replacing the original topology with the discrete topology. We give a notion of discretization which is dual (in categorical…

The three-spin-$1/2$ decoherence-free subsystem defines a logical qubit protected from collective noise and supports exchange-only universal gates. Such logical qubits are well-suited for implementation with electrically-defined quantum…

In the recent trend of extending discrete-to-continuum limit passages for gradient flows of single-species particle systems with singular and nonlocal interactions to particles of opposite sign, any annihilation effect of particles with…

We study repeated (noncontinuous) measurements on the electron spin in a quantum dot and find that the measurement technique may lead to a different met$ or mechanism to realize nuclear spin polarization. While it may be used in any case,…

We prove moderate deviation principles for the tagged particle position and current in one-dimensional symmetric simple exclusion processes. There is at most one particle per site. A particle jumps to one of its two neighbors at rate $1/2$,…

We revisit completion modulo equational theories for left-linear term rewrite systems where unification modulo the theory is avoided and the normal rewrite relation can be used in order to decide validity questions. To that end, we give a…

We present a gentle approach to the justification of effective media approximations, for PDE's set outside the union of $n \gg 1$ spheres with low volume fraction. To illustrate our approach, we consider three classical examples: the…

Positivity constrains the allowed domain for sets of spin observables in exclusive or inclusive reactions. Examples are given for strangeness-echange reactions and photoproduction.

In a previous paper we showed how higher-order strong-field-QED processes in long laser pulses can be approximated by multiplying sequences of "strong-field Mueller matrices". We obtained expressions that are valid for arbitrary field shape…

For stochastic approximation algorithms with discontinuous dynamics, it is shown that under suitable distributional assumptions, the interpolated iterates track a Fillipov solution of the limiting differential inclusion. In addition, we…

We argue that the obstacles to having a first-order formalism for odd-derivative actions presented in a pedagogical note by Deser are based on examples which are not first-order forms of the original actions. The general derivation of an…

We prove the uniqueness of crepant resolutions for some quotient singularities and for some nilpotent orbits. The finiteness of non-isomorphic symplectic resolutions for 4-dimenensional symplectic singularities is proved. We also give an…

In this paper we construct examples of irrational behavior of multiplicities and mixed multiplicities of divisorial filtrations. The construction makes essential use of anti-positive intersection products.

Let $(M,\omega)$ be a ruled symplectic four-manifold. If $(M, \omega)$ is rational, then every homologically trivial symplectic cyclic action on $(M,\omega)$ is the restriction of a Hamiltonian circle action.

Building on work by Dan-Cohen--Wewers, Dan-Cohen [DC], and Brown, we push the computational boundary of our explicit motivic version of Kim's method in the case of the thrice punctured line over an open subscheme of Spec ZZ. To do so, we…

The idea we advocate in this paper is that the one-loop effective action of a free (massive) field theory coupled to external sources (via conserved currents) contains complete information about the classical dynamics of such sources. We…

We show that any second order linear ordinary diffrential equation with constant coefficients (including the damped and undumped harmonic oscillator equation) admits an exact discretization, i.e., there exists a difference equation whose…

In this work the pure spinor formulation of the superstring is used to study quantum corrections to the left current OPE algebra of the coset $PSU(2, 2|4)/SO(4, 1) \times SO(5)$ sigma model, which describes the superstring dynamics in the…