相关论文: A sequence of neighborhood contingency logics

We discuss an algebraic approach to propositional logic with side effects. To this end, we use Hoare's conditional [1985], which is a ternary connective comparable to if-then-else. Starting from McCarthy's notion of sequential evaluation…

The first part I talk about the motivation for Lu Qi-Keng conjecture and the results about the presence or absence of zeroes of the Bergman kernel function of a bounded domain in ${\bf{C^n}}$. The second part I summarize the main results on…

We prove a law of large numbers and functional central limit theorem for a class of multivariate Hawkes processes with time-dependent reproduction rate. We address the difficulties induced by the use of non-convolutive Volterra processes by…

We consider the problem of positive-semidefinite continuation: extending a partially specified covariance kernel from a subdomain $\Omega$ of a rectangular domain $I\times I$ to a covariance kernel on the entire domain $I\times I$. For a…

Estimating causal effects from longitudinal trajectories is central to understanding the progression of complex conditions and optimizing clinical decision-making, such as comorbidities and long COVID recovery. We introduce…

An important consequence of the Hahn-Banach Theorem says that on any locally convex Hausdorff topological space $X$, there are sufficiently many continuous linear functionals to separate points of $X$. In the paper, we establish a `local'…

We analyse and develop the recent suggestion that a temporal form of quantum logic provides the natural mathematical framework within which to discuss the proposal by Gell-Mann and Hartle for a generalised form of quantum theory based on…

We present an approach to the canonical quantization of systems with equations of motion that are historically called non-Lagrangian equations. Our viewpoint of this problem is the following: despite the fact that a set of differential…

We propose a necessary and sufficient condition for a real-valued function on the real line to be a characteristic function of a probability measures. The statement is given in terms of harmonic functions and completely monotonic functions.

We present new results on finite satisfiability of logics with counting and arithmetic. One result is a tight bound on the complexity of satisfiability of logics with so-called local Presburger quantifiers, which sum over neighbors of a…

Using the functor of Baumslag rationalization of groups we construct a functor on the category of all (non necessarily simply connected) spaces that extends the classical rationalization of simply connected spaces. We study this functor and…

We solve the ten martini problem (Cantor spectrum with no condition on irrational frequencies, previously only established for the almost Mathieu) for a large class of one-frequency quasiperiodic operators, including nonperturbative…

Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain's embedding of definite propositional causal theories into logic programming paved the…

We study counting propositional logic as an extension of propositional logic with counting quantifiers. We prove that the complexity of the underlying decision problem perfectly matches the appropriate level of Wagner's counting hierarchy,…

We provide a fractional counterpart of the classical results by Schwarz and Malmheden on harmonic functions. From that we obtain a representation formula for $s$-harmonic functions as a linear superposition of weighted classical harmonic…

The modified Macdonald polynomials, introduced by Garsia and Haiman (1996), have many astounding combinatorial properties. One such class of properties involves applying the related $\nabla$ operator of Bergeron and Garsia (1999) to basic…

In 2001 Sir M. F. Atiyah formulated a conjecture (C1) and later with P. Sutcliffe two stronger conjectures (C2) and (C3). These conjectures, inspired by physics (spin-statistics theorem of quantum mechanics), are geometrically defined for…

If f is a smooth function on a Hodge manifold, we construct a canonical sequence of real algebraic functions that converge to f in the smooth topology. The definition of of the approximants is inspired by Berezin-Toeplitz quantization. The…

In 1989 H. Tverberg proposed a quite general conjecture in Discrete geometry, which could be considered as the common basis for many results in Combinatorial geometry and at the same time as a discrete analogue of the common transversal…

This is an account of some aspects of the geometry of K\"ahler affine metrics based on considering them as smooth metric measure spaces and applying the comparison geometry of Bakry-Emery Ricci tensors. Such techniques yield a version for…