相关论文: Decidable fan theorem and uniform continuity theor…

Conformal predictors provide set or functional predictions that are valid under the assumption of randomness, i.e., under the assumption of independent and identically distributed data. The question asked in this paper is whether there are…

In this paper, the notion of $\mathbb{C}$-simulation function is introduced and the existence and uniqueness of common fixed points of two self-mappings satisfying contractive conditions in the setting of complex valued metric spaces via…

We study the scalar $\phi^3$ theory above six dimensions. The beta function $\beta(g)=-\epsilon g-\frac{3}{4}g^3$ in $d=6-2\epsilon$ dimensions has a UV fixed point when $\epsilon<0$. Like the $O(N)$ vector models above four dimensions,…

We study large N conformal field theories perturbed by relevant double-trace deformations. Using the auxiliary field trick, or Hubbard-Stratonovich transformation, we show that in the infrared the theory flows to another CFT. The generating…

Let $X$ be a uniform space and $U(X)$ the linear space of real-valued uniformly continuous functions on $X$. Our main objective is to give a number of properties characterizing the fact that $U(X)$ is stable under pointwise product in case…

In this paper, we investigate problems which are dual to the unification problem, namely the Fixed Point (FP) problem, Common Term (CT) problem and the Common Equation (CE) problem for string rewriting systems. Our main motivation is…

We present a concept of uniform encodability of theories and develop tools related to this concept. As an application we obtain general undecidability results which are uniform for large families of structures. In the way, we define…

For a family of weight functions invariant under a finite reflection group, the boundedness of a maximal function on the unit sphere is established and used to prove a multiplier theorem for the orthogonal expansions with respect to the…

In "VC density in some theories without the independence property" the authors asked whether any partial order of finite width has the VC1 property (i.e. every formula in one variable has UDTFS in one parameter). We give a negative answer…

While in principle, finite temperature density functional theory (ftDFT) should be a powerful tool for the study of crystallization, in practice this has not so far been the case. Progress has been hampered by technical problems which have…

For functions of two quaternionic variables that are regular in the sense of Fueter, we establish a result similar in spirit to the Hanges and Tr\`eves theorem. Namely, we show that a ball contained in the boundary of a domain is a…

We study the Fluctuation Theorem (FT) for entropy production in chaotic discrete-time dynamical systems on compact metric spaces, and extend it to empirical measures, all continuous potentials, and all weak Gibbs states. In particular, we…

The ab initio computational method known as Hubbard-corrected density functional theory (DFT+$U$) captures well ground electronic structures of a set of solids that are poorly described by standard DFT alone. Since lattice dynamical…

We establish a fixed point theorem for mappings of square matrices of all sizes which respect the matrix sizes and direct sums of matrices. The conclusions are stronger if such a mapping also respects matrix similarities, i.e., is a…

In 1975 Voronin proved the universality theorem for the Riemann zeta-function $\zeta(s)$ which roughly says that any admissible function $f(s)$ is approximated by $\zeta(s)$. A few years later Reich proved a discrete analogue of this…

We derive a closed equation for the empirical concentration of colloidal particles in the presence of both hydrodynamic and direct interactions. The ensemble average of our functional Langevin equation reproduces known deterministic Dynamic…

Here I prove some extension theorem for multifunctions in a space with an arbitrary uniform structure and orbital completeness. The motivation comes from a fixed point theorem due to Dhage which is proved as a special case of the theorem…

We prove a fixpoint theorem for contractions on Cauchy-complete quantale-enriched categories. It holds for any quantale whose underlying lattice is continuous, and applies to contractions whose control function is sequentially…

Circuits in deterministic decomposable negation normal form (d-DNNF) are representations of Boolean functions that enable linear-time model counting. This paper strengthens our theoretical knowledge of what classes of functions can be…

We obtain exact results for the recently discovered finite-time thermodynamic uncertainty relation in a stochastically driven system with non-Gaussian work statistics, both in the steady state and transient regimes, by obtaining exact…