Related papers: Separating the Fan Theorem and Its Weakenings
Banach's fixed point theorem in linear n-normed space is being developed. Also, we present several theorems on fixed points in linear n-normed space.
The $g$-fan $\Sigma(A)$ of a finite dimensional algebra $A$ is a non-singular fan in its real Grothendieck group, defined by tilting theory. If the union ${\rm P}(A)$ of the simplices associated with the cones of $\Sigma(A)$ is convex, we…
It is well-known that any finite $\Pi^{0}_{1}$-class of $2^{\mathbb N}$ has a computable member. Then, how can we understand this in the context of reverse mathematics? In this note, we consider several very weak fragments of K\H{o}nig's…
A theory of double affine and special double affine bundles, i.e. differential manifolds with two compatible (special) affine bundle structures, is developed as an affine counterpart of the theory of double vector bundles. The motivation…
The notions of consistent pairs and consistent chains of t-structures are introduced. A theorem that two consistent chains of t-structures generate a distributive lattice is proven. The technique developed is then applied to the pairs of…
In dealing with asymptotic approximation of possibly divergent nets of probability distributions, we are led to study uniform structures on the set of distributions. This paper identifies a class of such uniform structures that may be…
We introduce a linearized version of group field theory. It can be viewed either as a group field theory over the additive group of a vector space or as an asymptotic expansion of any group field theory around the unit group element. We…
The fluctuation theorem of the Crooks type is studied for thermodynamic nonlinear- multivariate systems. In particular, a bivariate system having a limit cycle is discussed in detail. It is explicitly shown how the time reversal operation…
We use sequences which depend on two parameters to define families of ultradifferentiable functions which contain Gevrey classes. It is shown that such families are closed under superposition, and therefore inverse closed as well.…
Branching and weak probabilistic bisimilarities are two well-known notions capturing behavioral equivalence between nondeterministic probabilistic systems. For probabilistic systems, divergence is of major concern. Recently several…
In this paper, we extend the concept of split variational inequality problems from Hilbert spaces to Banach spaces. Then we apply the Fan-KKM theorem to prove the existence of solutions to some split variational inequality problems and some…
Constructor theory seeks to express all fundamental scientific theories in terms of a dichotomy between possible and impossible physical transformations - those that can be caused to happen and those that cannot. This is a departure from…
We prove the following version of the Kreps-Yan theorem. For any norm closed convex cone $C\subset L^\infty$ such that $C\cap L_+^\infty=\{0\}$ and $C\supset -L_+^\infty$, there exists a strictly positive continuous linear functional, whose…
We reformulate known exotic theories (including theories of fractons) on a Euclidean spacetime lattice. We write them using the Villain approach and then we modify them to a convenient range of parameters. The new lattice models are closer…
Prolongating our previous paper on the Einstein relation, we study the motion of a particle diffusing in a random reversible environment when subject to a small external forcing. In order to describe the long time behavior of the particle,…
The ultraproduct construction is generalized to $p$-ultramean constructions ($1\leqslant p<\infty$) by replacing ultrafilters with finitely additive measures. These constructions correspond to the linear fragments $\mathscr L^p$ of…
In this article a definition of reversible processes in terms of differences in intensive Thermodynamics properties (Affinities) is proposed. This definition makes it possible to both define reversible processes before introducing the…
Many definitions of weak and strict $\infty$-categories have been proposed. In this paper we present a definition for $\infty$-categories with strict associators, but which is otherwise fully weak. Our approach is based on the existing type…
Reciprocal relations correlate fairly accurately a great variety of experimental results. Nevertheless, the concepts of statistical fluctuations, and microscopic reversibility - the bases of the accepted proof of the relations by Onsager -…
Finite thermostats are studied in the context of nonequilibrium statistical mechanics. Entropy production rate has been identified with the mechanical quantity expressed by the phase space contraction rate and the currents have been linked…