Related papers: Generalized Hex and logical characterizations of p…
Let $H$ be a separable Hilbert space and let $\{x_n\}$ be a sequence in $H$ that does not contain any zero elements. We say that $\{x_n\}$ is a \emph{Bessel-normalizable} or \emph{frame-normalizable} sequence if the normalized sequence…
The primary purpose of this article is to show that a certain natural set of axioms yields a completeness result for continuous first-order logic. In particular, we show that in continuous first-order logic a set of formulae is (completely)…
In the article we discuss the notion of the generalized invariant manifold introduced in our previous study. In the literature the method of the differential constraints is well known as a tool for constructing particular solutions for the…
A new, coercive formulation of the Helmholtz equation was introduced in [Moiola, Spence, SIAM Rev. 2014]. In this paper we investigate $h$-version Galerkin discretisations of this formulation, and the iterative solution of the resulting…
In the article, we investigate the average behaviour of normalised Hecke eigenvalues over certain polynomials and establish an estimate for the power moments of the normalised Hecke eigenvalues of a normalised Hecke eigenform of weight $k…
The inverse problem for representation functions takes as input a triple (X,f,L), where X is a countable semigroup, f : X --> N_0 \cup {\infty} a function, L : a_1 x_1 + ... + a_h x_h an X-linear form and asks for a subset A \subseteq X…
Let G be a locally compact group, let X be a universal proper G-space, and let Z be a G-equivariant compactification of X that is H-equivariantly contractible for each compact subgroup H of G. Let W be the resulting boundary. Assuming the…
Let $(G_n(x))_{n=0}^\infty$ be a $d$-th order linear recurrence sequence having polynomial characteristic roots, one of which has degree strictly greater than the others. Moreover, let $m\geq 2$ be a given integer. We ask for…
We contribute to the refined understanding of the language-logic-algebra interplay in the context of first-order properties of countable words. We establish decidable algebraic characterizations of one variable fragment of FO as well as…
We show that ESO universal Horn logic (existential second logic where the first order part is a universal Horn formula) is insufficient to capture P, the class of problems decidable in polynomial time. This statement is true in the presence…
Algebraic logic studies algebraic theories related to proposition and first-order logic. A new algebraic approach to first-order logic is sketched in this paper. We introduce the notion of a quantifier theory, which is a functor from the…
We generalize known results on transport equations associated to a Lipschitz field $\mathbf{F}$ on some subspace of $\mathbb{R}^N$ endowed with some general space measure $\mu$. We provide a new definition of both the transport operator and…
We investigate conditions for logarithmic complete monotonicity of a quotient of two products of gamma functions, where the argument of each gamma function has different scaling factor. We give necessary and sufficient conditions in terms…
We investigate a family of generalized Fokker-Planck equations that contains Richardson and porous media equations as members. Considering a confining drift term that is related to an effective potential, we show that each equation of this…
Given a complex projective algebraic variety, write H(X) for its cohomology with complex coefficients and IH(X) for its Intersection cohomology. We first show that, under some fairly general conditions, the canonical map H(X)\to IH(X) is…
Given a mixed Hodge module E on a scheme X over the complex numbers, and a quasi-projective morphism f:X->S, we construct in this paper a natural resolution of the nth exterior tensor power of E restricted to the nth configuration space of…
This paper treats parabolic final value problems generated by coercive Lax--Milgram operators, and well-posedness is proved for this large class. The result is obtained by means of an isomorphism between Hilbert spaces containing the data…
We show that no total functional can uniformly transform $\Pi_1$ primality into explicit $\Sigma_1$ witnesses without violating normalization in $\mathsf{HA}$. The argument proceeds through three complementary translations: a geometric…
Fully Homomorphic Encryption (FHE) provides a powerful paradigm for secure computation, but its practical adoption is severely hindered by the prohibitive computational cost of its bootstrapping procedure. The complexity of all current…
A residuated lattice is defined to be integrally closed if it satisfies the equations x\x = e and x/x = e. Every integral, cancellative, or divisible residuated lattice is integrally closed, and, conversely, every bounded integrally closed…