Related papers: Hanf Locality and Invariant Elementary Definabilit…

We apply Frobenius integrability theorem in the search of invariants for one-dimensional Hamiltonian systems with a time-dependent potential. We obtain several classes of potential functions for which Frobenius theorem assures the existence…

It is shown that when in a higher order variational principle one fixes fields at the boundary leaving the field derivatives unconstrained, then the variational principle (in particular the solution space) is not invariant with respect to…

We expand the classic variational formulation of $-\log\mathbb{E}\left[e^{-f}\right]$ to the case where f depends on a diffusion, and not only a on Brownian motion, while decreasing the integrability hypothesis on f. We also give an…

We investigate the following questions: Given a measure $\mu_\Lambda$ on configurations on a subset $\Lambda$ of a lattice $\mathbb{L}$, where a configuration is an element of $\Omega^\Lambda$ for some fixed set $\Omega$, does there exist a…

There are various non-equivalent definitions of locality. Three of them, impossibility of instantaneous communication, impossibility of action-at-a-distance, and impossibility of faster-than-light travel, while not fully implying each…

In this work we provide alternative formulations of the concepts of lambda theory and extensional theory without introducing the notion of substitution and the sets of all, free and bound variables occurring in a term. We also clarify the…

We study Einstein gravity in a finite spatial region. By requiring a well-defined variational principle, we identify all local boundary conditions, derive surface observables, and compute their algebra. The observables arise as induced…

We study the basic geometric properties of an indefinite locally conformal Kaehler manifold.

In causal models, a given mechanism is assumed to be invariant to changes of other mechanisms. While this principle has been utilized for inference in settings where the causal variables are observed, theoretical insights when the variables…

We study local structure of the moduli space of compact Einstein metrics with respect to the boundary conformal metric and mean curvature. In dimension three, we confirm M. Anderson's conjecture in a strong sense, showing that the map from…

We introduce a variant of the $k$-nearest neighbor classifier in which $k$ is chosen adaptively for each query, rather than supplied as a parameter. The choice of $k$ depends on properties of each neighborhood, and therefore may…

In this paper, the notions of first-order and second-order generalized linear spans and index set are defined. Moreover, their properties are investigated and applied to the studies of extension of isometries. We develop the theory of…

The study of Description Logics have been historically mostly focused on features that can be translated to decidable fragments of first-order logic. In this paper, we leave this restriction behind and look for useful and decidable…

Local limit theorems are derived for the number of occupied urns in general finite and infinite urn models under the minimum condition that the variance tends to infinity. Our results represent an optimal improvement over previous ones for…

We investigate a generalization of the {\L}o\'s-Tarski preservation theorem via the semantic notion of \emph{preservation under substructures modulo $k$-sized cores}. It was shown earlier that over arbitrary structures, this semantic notion…

Invariance to nuisance transformations is one of the desirable properties of effective representations. We consider transformations that form a \emph{group} and propose an approach based on kernel methods to derive local group invariant…

We consider the enumeration problem of first-order queries over structures of bounded degree. It was shown that this problem is in the Constant-Delaylin class. An enumeration problem belongs to Constant-Delaylin if for an input of size n it…

We discuss the problem of finding a Lorentz invariant extension of Bohmian mechanics. Due to the nonlocality of the theory there is (for systems of more than one particle) no obvious way to achieve such an extension. We present a model…

In this paper we work in o-minimal structures with definable Skolem functions and show that a continuous definable map between Hausdorff locally definably compact definable spaces is definably proper if and only if it is proper morphism in…

We introduce a canonical isomorphism from the space of pure-type complex differential forms on a compact complex manifold to the one on its infinitesimal deformations. By use of this map, we generalize an extension formula in a recent work…