Related papers: Minimal element theorems revisited
We give a brief introduction to some of the recent works on finding geometric structures on triangulated surfaces using variational principles.
The structure of the MSSM is reviewed. We first motivate the particle content of the theory by examining the quantum numbers of the known standard model particles and by the requirement of anomaly cancellation. Once the particle content is…
We look at equivalence relations on the set of models of a theory -- MERs, for short -- such that the class of equivalent pairs is itself an elementary class, in a language appropriate for pairs of models. We provide many examples of…
The physical motivations and the basic construction rules for Type I strings and M-theory compactifications are reviewed in light of the recent developments. The first part contains the basic theoretical ingredients needed for building…
We obtain analytical lower bounds on the concurrence of bipartite quantum systems in arbitrary dimensions related to the violation of separability conditions based on local uncertainty relations and on the Bloch representation of density…
The possibility of a modification of special relativity with an invariant energy scale playing the role of a minimum energy is explored. Consistency with the equivalence of different inertial frames is obtained by an appropriate choice of a…
Marginal models involve restrictions on the conditional and marginal association structure of a set of categorical variables. They generalize log-linear models for contingency tables, which are the fundamental tools for modelling the…
In this paper, we provide an overview of the research conducted in the context of structural systems since the latest survey by Dion et al. in 2003. We systematically consider all the papers that cite this survey as well as the seminal work…
In the paper, notions of relative separability for hypergraphs of models of a theory are defined. Properties of these notions and applications to ordered theories are studied: characterizations of relative separability both in a general…
We study a class of minimal geometric partial differential equations that serves as a framework to understand the evolution of boundaries between states in different pattern forming systems. The framework combines normal growth, curvature…
We introduce semiframes (an algebraic structure) and investigate their duality with semitopologies (a topological one). Both semitopologies and semiframes are relatively recent developments, arising from a novel application of topological…
A series of works has established rewriting as an essential tool in order to prove coherence properties of algebraic structures, such as MacLane's coherence theorem for monoidal categories, based on the observation that, under reasonable…
We give a systematic and self-contained account of the construction of geometrically decomposed bases and degrees of freedom in finite element exterior calculus. In particular, we elaborate upon a previously overlooked basis for one of the…
We introduce a hierarchical classification of theories that describe systems with fundamentally limited information content. This property is introduced in an operational way and gives rise to the existence of mutually complementary…
Limits and characteristic periods of variations in orbital elements of planets were studied by numerical integration of equations of motion. Interrelations between the characteristic periods of variations in orbital elements of some planets…
We extend to incremental thermoelectroelasticity with biasing fields certain classical theorems, that have been stated and proved in linear thermopiezoelectricity referred to a natural configuration. A uniqueness theorem for the solutions…
We study logical reduction (factorization) of relations into relations of lower arity by Boolean or relative products that come from applying conjunctions and existential quantifiers to predicates, i.e. by primitive positive formulas of…
It is described how the standard Poisson bracket formulas should be modified in order to incorporate integrals of divergences into the Hamiltonian formalism and why this is necessary. Examples from Einstein gravity and Yang-Mills gauge…
We consider a non-local interaction energy over bounded densities of fixed mass $m$. We prove that under certain regularity assumptions on the interaction kernel these energies admit minimizers given by characteristic functions of sets when…
A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This…