Related papers: An Example of a Right Loop Admitting Only Discrete…
We discuss some examples in which symplectic monodromy (provably or conjecturally) splits off the symplectic mapping class group, hoping to illustrate different techniques and inputs to the arguments. Along the way we formulate several open…
We give an explicit sequence of polarizations such that for every measurable function, the sequence of iterated polarizations converge to the symmetric rearrangement of the initial function.
We prove that when subjected to periodic forcing of the form $p_{\mu, \rh, \om} (t) = \mu (\rh h(x,y) + \sin (\om t))$, certain second order systems of differential equations with dissipative homoclinic loops admit strange attractors with…
We prove that, if dichotomy occurs when the concentration-compactness principle is used, the dichotomizing sequence can be choosen so that a nontrivial part of it concentrates. Iterating this argument leads to a profile decomposition for…
We propose a discretization of vector fields that are Hamiltonian up to multiplication by a positive function on the phase space that may be interpreted as a time reparametrization. We prove that our method is structure preserving in the…
We explore an asymptotic behavior of entropies for sums of independent random variables that are convolved with a small continuous noise.
In "Classical Electrodynamics" (Jackson) a theorem is proved on the average of an electrostatic or magnetostatic field over a spherical volume. The proof of the theorem is based on an expansion in spherical harmonics and it is useful for…
A joint characterisation of the observability and controllability of a particular kind of discrete system has been developed. The key idea of the procedure can be reduced to a correct choice of the sampling sequence. This freedom, owing to…
A discrete asymmetric exclusion process (ASEP) is developed to model proton conduction along one-dimensional water wires. Each lattice site represents a water molecule that can be in only one of three states; protonated, left-pointing, and…
We provide analytical composite pulse sequences that perform dynamical decoupling concurrently with arbitrary rotations for a qubit coded in the spin state of a triple quantum dot. The sequences are designed to respect realistic…
This abstract aims at presenting an ongoing effort to apply a novel typing mechanism stemming from Implicit Computational Complexity (ICC), that tracks dependencies between variables in three different ways, at different stages of…
We introduce a general framework allowing to apply the theory of regularity structures to discretisations of stochastic PDEs. The approach pursued in this article is that we do not focus on any one specific discretisation procedure.…
Single-peakedness is one of the most important and well-known domain restrictions on preferences. The computational study of single-peaked electorates has largely been restricted to elections with tie-free votes, and recent work that…
This paper presents a simple notion of proof net for multiplicative linear logic with units. Cut elimination is direct and strongly normalising, in contrast to previous approaches which resorted to moving jumps (attachments) of par units…
Based on M. Hall's theorem we prove a simple result dealing with real numbers which admit exact approximations by rationals.
We consider simple exclusion processes on Z for which the underlying random walk has a finite first moment and a non-zero mean and whose initial distributions are product measures with different densities to the left and to the right of the…
Pitts' proof-theoretic technique for uniform interpolation, which generates uniform interpolants from terminating sequent calculi, has only been applied to logics on an intuitionistic basis through single-succedent sequent calculi. We adapt…
The one-loop NLO radiative corrections to the observables in polarized DIS using assumption that a quark is an essential massive particle are considered. If compared with classical QCD formulae the obtained results are identical for the…
We describe infinite clusters which arise in nearest-neighbour percolation for so-called cocycle measures on the square lattice. These measures arise naturally in the study of random transformations. We show that infinite clusters have a…
The goals of this paper are to obtain theoretical models of what happens when a computer calculates the rotation set of a homeomorphism, and to find a good algorithm to perform simulations of this rotation set. To do that we introduce the…