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

In this paper, we introduce a new class of implicit function to prove common fixed point theorems in fuzzy metric space. Moreover we define a new altering distance in terms of integral and utilize the same to deduce integral type…

Ensemble density functional theory (EDFT) is a promising alternative to time-dependent density functional theory for computing electronic excitation energies. Using coordinate scaling, we prove several fundamental exact conditions in EDFT…

Uniform one-dimensional fragment UF1^= is a formalism obtained from first-order logic by limiting quantification to applications of blocks of existential (universal) quantifiers such that at most one variable remains free in the quantified…

We give a short proof, that can be used in an introductory real analysis course, that if a function that is defined on the set of real numbers is continuous on a countable dense set, then it is continuous on an uncountable set. This is done…

Density-functional theory (DFT) has revolutionized computer simulations in chemistry and material science. A faithful implementation of the theory requires self-consistent calculations. However, this effort involves repeatedly diagonalizing…

The Fourier series of continuous functions of constant absolute value have interesting properties : according to the main theorems of the article, if the coefficients with positive indexes are square-summable with respect to a certain…

We consider the space $U(\mathbb T)$ of all continuous functions on the circle $\mathbb T$ with uniformly convergent Fourier series. We show that if $\varphi: \mathbb T\rightarrow\mathbb T$ is a continuous piecewise linear but not linear…

An overview of the Conquest linear scaling density functional theory (DFT) code is given, focussing particularly on the scaling behaviour on modern high- performance computing (HPC) platforms. We demonstrate that essentially perfect linear…

Uniform measures are defined as the functionals on the space of bounded uniformly continuous functions that are continuous on bounded uniformly equicontinuous sets. If every cardinal has measure zero then every countably additive measure is…

We reassess the problem of renormalization in finite temperature field theory (FTFT). A new point of view elucidates the relation between the ultraviolet divergences for T=0 and $T \not= 0$ theories and makes clear the reason why the…

We formulate Noncommutative Qauntum Field Theory in terms of fields defined as mean value over coherent states of the noncommutative plane. No *-product is needed in this formulation and noncommutativity is carried by a modified Fourier…

We answer the question: "on which metric spaces $(M,d)$ are all continuous functions uniformly continuous?" Our characterization theorem improves and generalizes a previous result due to Levine and Saunders, and in particular is applicable…

Functions with uniform level sets can represent orders, preference relations or other binary relations and thus turn out to be a tool for scalarization that can be used, e.g., in multicriteria optimization, decision theory, mathematical…

Finite Unified Theories (FUTs) are N=1 supersymmetric Grand Unified Theories, which can be made all-loop finite, both in the dimensionless (gauge and Yukawa couplings) and dimensionful (soft supersymmetry breaking terms) sectors. This…

Density functional theory (DFT) became a universal approach to compute ground-state and excited configurations of many-electron systems held together by an external one-body potential in condensed-matter, atomic, and molecular physics. At…

We show that the open unit ball of the space of operators from a finite dimensional Hilbert space into a separable Hilbert space (we call it "operator ball") has a restricted form of normal structure if we endow it with a hyperbolic metric…

In recent years, a number of dynamical density functional theories (DDFTs) have been developed for describing the dynamics of the one-body density of both colloidal and atomic fluids. In the colloidal case, the particles are assumed to have…

Dependent Object Types (DOT) is a calculus with path dependent types, intersection types, and object self-references, which serves as the core calculus of Scala 3. Although the calculus has been proven sound, it remains open whether type…

Let $Z$ be a unimodular real spherical space. We develop a theory of constant terms for tempered functions on $Z$ which parallels the work of Harish-Chandra. The constant terms $f_I$ of an eigenfunction $f$ are parametrized by subsets $I$…

Density functional theory (DFT) is an essential building block for modern theoretical physics, chemistry, and engineering, especially those concerning electronic properties. Through decades of development, various program packages for…