Related papers: Mahlo classes for first-order reflections

We investigate a new property for compact Kahler manifolds. Let X be a Kahler manifold of dimension n and let H^{1,1} denote the (1,1) part of its real second cohomology. On this space, we have an degree n form given by cup product. Let K…

We present the ingredients necessary for the determination of physical K->pi pi decay amplitudes for Delta I=3/2 transitions, from lattice simulations at unphysical kinematics and the use of chiral perturbation theory at next-to-leading…

The back-and-forth relations $M\leq_\alpha N$ are central to computable structure theory and countable model theory. It is well-known that the relation $\{(M,N) : M \leq_\alpha N\}$ is (lightface) $\Pi^0_{2\alpha}$. We show that this is…

We consider generalisations of the elliptic Calogero--Moser systems associated to complex crystallographic groups in accordance to [1]. In our previous work [2], we proposed these systems as candidates for Seiberg--Witten integrable systems…

In this paper we consider successive iterations of the first-order differential operations in space ${\bf R}^3.$

We express the defining relations of the $q$-deformed Minkowski space algebra as well as that of the corresponding derivatives and differentials in the form of reflection equations. This formulation encompasses the covariance properties…

We find a strong separation between two natural families of simple rank one theories in Keisler's order: the theories $T_\mathfrak{m}$ reflecting graph sequences, which witness that Keisler's order has the maximum number of classes, and the…

We prove a comprehensive solution theory using tools from functional analysis, show corresponding variational formulations, and present functional a posteriori error estimates for general linear first order systems. As a prototypical…

This paper describes an algorithm for the computation of FIRST and FOLLOW sets for use with feature-theoretic grammars in which the value of the sets consists of pairs of feature-theoretic categories. The algorithm preserves as much…

We develop in this paper some methods for studying the implicitization problem for a rational map $\phi: \mathbb{P}^n \to (\mathbb{P}^1)^{n+1}$ defining a hypersurface in $(\mathbb{P}^1)^{n+1}$, based on computing the determinant of a…

In this paper, we harness a result in point process theory, specifically the expectation of the weighted $K$-function, where the weighting is done by the true first-order intensity function. This theoretical result can be employed as an…

We prove an explicit finite-sample version of the Borel--Cantelli lemma under $m$-dependence. Given any $m$-dependent sequence of events $(A_k)_{1\leq k\leq N}$, we show that \[ \mathbb{P}\Bigl(\bigcup_{k=1}^N A_k\Bigr) \ge 1 -…

We consider shifts of a set $A\subseteq\mathbb{N}$ by elements from another set $B\subseteq\mathbb{N}$, and prove intersection properties according to the relative asymptotic size of $A$ and $B$. A consequence of our main theorem is the…

This article provides a new theory for the analysis of forward and backward particle approximations of Feynman-Kac models. Such formulae are found in a wide variety of applications and their numerical (particle) approximation are required…

We explore new interactions between finite model theory and classical streams of universal algebra and semigroup theory. A key result is an example of finite algebras whose variety is not finitely axiomatisable in first order logic, but…

We develop a novel perspective on reflection positivity (RP) on the strip by systematically developing the analogies with the unit disc and the upper half plane in the complex plane. These domains correspond to the three conjugacy classes…

Let $W\subset GL(V)$ be a complex reflection group, and ${\mathscr A}(W)$ the set of the mirrors of the complex reflections in $W$. It is known that the complement $X({\mathscr A}(W))$ of the reflection arrangement ${\mathscr A}(W)$ is a…

For a prime p and natural number n with p greater than or equal to n, we establish the existence of a non-functorial one-to-one correspondence between isomorphism classes of groups of order p^n whose derived subgroup has exponent dividing…

The n-dimensional projective group gives rise to a one-parameter family of inhomogeneous first-order differential operator representations of sl(n+1). By partially swapping differential operators and multiplication operators, we obtain more…

We compute next-to-leading order (NLO) corrections to next-to-eikonal (NEik) quark background contributions to DIS structure functions. Among NEik corrections, $t$-channel quark exchanges provide the lowest order contributions in…