相关论文: Decidable fan theorem and uniform continuity theor…
We introduce a new class of abstract structures, which we call generalized ultrametric semilattices, and in which the meet operation of the semilattice coexists with a generalized distance function in a tightly coordinated way. We prove a…
We show that dry scalar-order active field theories (AFTs) are universally hyperuniform, i.e., density fluctuations are anomalously suppressed in the long-time limit regardless of the integrability or functional form of the active…
This paper presents a unified differentiable boolean operator for implicit solid shape modeling using Constructive Solid Geometry (CSG). Traditional CSG relies on min, max operators to perform boolean operations on implicit shapes. But…
For every $\mathcal{U} \subset \mathrm{Diff}^\infty_{vol}(\mathbb{T}^2)$ there is a measure of finite support contained in $\mathcal{U}$ which is uniformly expanding.
The principle of smooth fit is probably the most used tool to find solutions to optimal stopping problems of one-dimensional diffusions. It is important, e.g., in financial mathematical applications to understand in which kind of models and…
With the integration of communication and computing, it is expected that part of the computing is transferred to the transmitter side. In this paper we address the general problem of Frequency Modulation (FM) for function approximation…
We axiomatize and generalize Markov's approach to the continuity problem for Type 1 computable functions, i.e. the problem of finding sufficient conditions on a computable topological space to obtain a theorem of the form "computable…
In this paper, we find necessary and sufficient conditions for countable fan tightness and countable strong fan tightness of the space (briefly, $C_{p}(X,G)$) of all group-valued continuous functions endowed with the topology of pointwise…
We investigate the relativistic effective field theory (EFT) describing a non-dissipative gravitating continuum. In addition to ordinary continua, namely solids and fluids, we find an extraordinary more symmetric continuum, aether. In…
The Continuous Skolem Problem asks whether a real-valued function satisfying a linear differential equation has a zero in a given interval of real numbers. This is a fundamental reachability problem for continuous linear dynamical systems,…
We present a general fixed point theorem which can be seen as the quintessence of the principles of proof for Banach's Fixed Point Theorem, ultrametric and certain topological fixed point theorems. It works in a minimal setting, not…
The thermodynamic approach to density functional theory (DFT) is used to derive a versatile theoretical framework for the treatment of finite-temperature (and in the limit, zero temperature) Bose-Einstein condensates (BECs). The simplest…
We develop some aspects of the theory of derivators, pointed derivators, and stable derivators. As a main result, we show that the values of a stable derivator can be canonically endowed with the structure of a triangulated category.…
The class of uniformly computable real functions with respect to a small subrecursive class of operators computes the elementary functions of calculus, restricted to compact subsets of their domains. The class of conditionally computable…
We give the definition of uniform symmetric continuity for functions defined on a nonempty subset of the real line. Then we investigate the properties of uniformly symmetrically continuous functions and compare them with those of…
The detailed fluctuation theorem (DFT) is a statement about the asymmetry in the statistics of the entropy production. Consequences of the DFT are the second law of thermodynamics and the thermodynamics uncertainty relation (TUR), which…
The central purpose of this article is to establish new inverse and implicit function theorems for differentiable maps with isolated critical points. One of the key ingredients is a discovery of the fact that differentiable maps with…
Density functional theory (DFT) calculation has had huge success as a tool capable of predicting important physical and chemical properties of condensed matter systems. We calculate the electric dipole moment of a molecule by using the…
A well-known result says that the Euclidean unit ball is the unique fixed point of the polarity operator. This result implies that if, in $\mathbb{R}^n$, the unit ball of some norm is equal to the unit ball of the dual norm, then the norm…
On a smooth projective threefold, we construct an essentially surjective functor $\mathcal{F}$ from a category of two-term complexes to a category of quotients of coherent sheaves, and describe the fibers of this functor. Under a coprime…