Related papers: Strong density of definable types and closed order…

We introduce a model category of spaces based on the definable sets of an o-minimal expansion of a real closed field. As a model category, it resembles the category of topological spaces, but its underlying category is a coherent topos. We…

Density Functional Theory (DFT) is widely used for atomistic simulations. However, its reach stays limited due to several limitations such as lack of accurate exchange-correlation functional, requirement of costly O(N 3) diagonalization…

Every o-minimal expansion R-tilde of the real field has an o-minimal expansion P(R-tilde) in which the solutions to Pfaffian equations with definable C^1 coefficients are definable.

Motivated by the notion of strong computable type for sets in computable analysis, we define the notion of strong computable type for $G$-shifts, where $G$ is a finitely generated group with decidable word problem. A $G$-shift has strong…

Dynamical density functional theory (DDFT) is a powerful variational framework to study the nonequilibrium properties of colloids by only considering a time-dependent one-body number density. Despite the large number of recent successes,…

We show that for any type in Martin-L\"of Intensional Type Theory, the terms of that type and its higher identity types form a weak omega-category in the sense of Leinster. Precisely, we construct a contractible globular operad of definable…

Effective theories are well established theoretical frameworks to describe the effect of energetically widely separated UV models on observables at lower energy scales. Due to the complexity of the effective theory when taking all the…

We present conditional probability (CP) density functional theory (DFT) as a formally exact theory. In essence, CP-DFT determines the ground-state energy of a system by finding the CP density from a series of independent Kohn-Sham (KS) DFT…

We introduce a density functional formalism to study the ground-state properties of strongly-correlated dipolar and ionic ultracold bosonic and fermionic gases, based on the self-consistent combination of the weak and the strong coupling…

The effective action for the charge density and the photon field is proposed as a generalization of the density functional. A simple definition is given for the density functional, as the functional Legendre transform of the generator…

We study directed sets definable in o-minimal structures, showing that in expansions of ordered fields these admit cofinal definable curves, as well as a suitable analogue in expansions of ordered groups, and furthermore that no analogue…

A fundamental assumption of the dynamical density functional theory (DDFT) of colloidal systems is that a grand-canonical free energy functional may be employed to generate the thermodynamic driving forces. Using one-dimensional hard-rods…

According to the Hohenberg-Kohn theorem of density-functional theory (DFT), all observable quantities of systems of interacting electrons can be expressed as functionals of the ground-state density. This includes, in principle, the spin…

This paper presents a type theory in which it is possible to directly manipulate $n$-dimensional cubes (points, lines, squares, cubes, etc.) based on an interpretation of dependent type theory in a cubical set model. This enables new ways…

For a smooth, projective family of homogeneous varieties defined over a number field, we show that if potential density holds for the rational points of the base, then it also holds for the total space. A conjecture of Campana and…

Most realistic calculations of moderately correlated materials begin with a ground-state density functional theory (DFT) calculation. While Kohn-Sham DFT is used in about 40,000 scientific papers each year, the fundamental underpinnings are…

Cubical type theory provides a constructive justification to certain aspects of homotopy type theory such as Voevodsky's univalence axiom. This makes many extensionality principles, like function and propositional extensionality, directly…

A growing body of research on probabilistic programs and causal models has highlighted the need to reason compositionally about model classes that extend directed graphical models. Both probabilistic programs and causal models define a…

We investigate what henselian valuations on ordered fields are definable in the language of ordered rings. This leads towards a systematic study of the class of ordered fields which are dense in their real closure. Some results have…

We propose a general framework for integrable field theories in arbitrary spacetime dimension $d+1$ which is based on $d$-term $L_\infty$-algebras. Specifically, we introduce cyclic $L_\infty$-algebras describing topological-holomorphic…