Related papers: Iterated jump noncomputability and compactness
The use of exponentials in linear logic greatly enhances its expressive power. In this paper we focus on nonassociative noncommutative multiplicative linear logic, and systematically explore modal axioms K, T, and 4 as well as the…
We derive discrete and continuous class of mathematical models that describe a progressive collapse in a fictional one-dimensional structure, where we consider plastic and elastic types of collisions. We examine static (collapse initiation…
The class of random-cluster models is a unification of a variety of stochastic processes of significance for probability and statistical physics, including percolation, Ising, and Potts models; in addition, their study has impact on the…
In the paper, we are concerned with degenerate stochastic differential equations with jumps. Firstly, we establish two support theorems for the solutions of the degenerate stochastic equations, under different (sufficient) conditions.…
It was first suggested by David Z. Albert that the existence of a real, physical non-unitary process (i.e., "collapse") at the quantum level would yield a complete explanation for the Second Law of Thermodynamics (i.e., the increase in…
Certain completely logarithmic formula for a set of reversely iterated integrals (energies) is proved in this paper. Namely, in this case we have that integral powers of $\ln T$ are contained on input as well as on output of corresponding…
This paper gives new and elementary combinatorial topological proofs of the classification of unoriented and oriented rational knots and links. These proofs are based on the known classification of alternating knots through flyping, and the…
Recurrent neural networks have gained widespread use in modeling sequential data. Learning long-term dependencies using these models remains difficult though, due to exploding or vanishing gradients. In this paper, we draw connections…
A large (infinitely-dimensional) class of completely integrable (possibly non-autonomous) spin chains is discovered associated to an infinite-dimensional Lie Algebra of infinite rank. The complete set of integrals of motion is constructed…
The dynamic and static critical behavior of five binary Lennard-Jones liquid mixtures, close to their continuous demixing points (belonging to the so-called model H' dynamic universality class), are studied computationally by combining…
We consider a simple model of higher order, functional computation over the booleans. Then, we enrich the model in order to encompass non-termination and unrecoverable errors, taken separately or jointly. We show that the models so defined…
We present some contributions to the theory of infinitary rewriting for weakly orthogonal term rewrite systems, in which critical pairs may occur provided they are trivial. We show that the infinitary unique normal form property fails by an…
Contraction analysis establishes exponential incremental convergence of a nonlinear system by solving a linear matrix inequality for a contraction metric, and has become a standard resource for solving problems in nonlinear control and…
This work focuses on multivalued stochastic differential equations with jumps. First, by employing the weak convergence approach, we establish the Freidlin-Wentzell uniform large deviation principle and the Dembo-Zeitouni uniform large…
In this paper we introduce {\em weak ascent sequences}, a class of number sequences that properly contains ascent sequences. We show how these sequences uniquely encode each of the following objects: permutations avoiding a particular…
A probabilistic formulation of irreversible kinetics is introduced in which incrementally admissible histories are weighted by a Gibbs-type measure built from an energy-dissipation action and observation constraints, with Theta controlling…
In this paper, we study the existence and uniqueness of solution to a system of nonlinear fully coupled forward-backward doubly stochastic differential equations with Poisson jumps. Our work is established in infinite dimensional separable…
We establish the weak convergence of inertial Krasnoselskii-Mann iterations towards a common fixed point of a family of quasi-nonexpansive operators, along with estimates for the non-asymptotic rate at which the residuals vanish. Strong and…
Non-iterative normal modal logics are defined by axioms of modal degree 1. In this paper we use calculations with normal forms to determine the set of all possible non-iterative normal modal logics, unimodal propositional extensions of K.…
We construct non-compactness examples for the fully coupled Einstein-Lichnerowicz constraint system in the focusing case. The construction is obtained by combining pointwise a priori asymptotic analysis techniques, finite-dimensional…