Related papers: Parametrizing the abstract Ellentuck theorem
In this paper, we generalize the Kirchhoff-Sobolev parametrix of Klainerman and Rodnianski to systems of tensor wave equations with additional first-order terms. We also present a different derivation, which better highlights that such…
In this paper I present a kind of proof for classical Euclidean geometric problems which relies on both synthetic and analytic geometry. Using the elementary tools of polynomial algebra and multivariate calculus we manage to reduce the…
The authors establish the necessary and sufficient conditions under which certain combinations of Gaussian hypergeometric function and elementary function are monotone in the parameter, which generalize the recent results of generalized…
Hartle and Srednicki have suggested that standard quantum theory does not favor our typicality. Here an alternative version is proposed in which typicality is likely, Eventual Quantum Mechanics. This version allows one to calculate…
The Lambek calculus is a well-known logical formalism for modelling natural language syntax. The original calculus covered a substantial number of intricate natural language phenomena, but only those restricted to the context-free setting.…
We analyze the performance of a variant of Newton method with quadratic regularization for solving composite convex minimization problems. At each step of our method, we choose regularization parameter proportional to a certain power of the…
Ellipses are a meta-linguistic notation for denoting terms the size of which are specified by a meta-variable that ranges over the natural numbers. In this work, we present a systematic approach for encoding such meta-expressions in the…
We establish results with an arithmetic flavor that generalize the polynomial multidimensional Szemeredi theorem and related multiple recurrence and convergence results in ergodic theory. For instance, we show that in all these statements…
The well-known Leibniz theorem (Leibniz Criterion or alternating series test) of convergence of alternating series is generalized for the case when the absolute value of terms of series are "not absolutely monotonously" convergent to zero.…
In the article we generalize the Marcinkiewicz sampling theorem in the context of Orlicz spaces. We establish conditions under which sampling theorem holds in terms of restricted submultiplicativity and supermultiplicativity of an…
Plunnecke's inequality is the standard tool to obtain estimates on the cardinality of sumsets and has many applications in additive combinatorics. We present a new proof. The main novelty is that the proof is completed with no reference to…
In special relativity the mathematical expressions, defining physical observables as the momentum, the energy etc, emerge as one parameter (light speed) continuous deformations of the corresponding ones of the classical physics. Here, we…
Assuming that a reflected Ornstein-Uhlenbeck state process is observed at discrete time instants, we propose generalized moment estimators to estimate all drift and diffusion parameters via the celebrated ergodic theorem. With the sampling…
A common technique to verify complex logic specifications for dynamical systems is the construction of symbolic abstractions: simpler, finite-state models whose behaviour mimics the one of the systems of interest. Typically, abstractions…
Equations for a perfect fluid can be obtained by means of the variational principle both in the Lagrangian description and in the Eulerian one. It is known that we need additional fields somehow to describe a rotational isentropic flow in…
In this paper, we present a general method for obtaining addition theorems of the Weierstrass elliptic function $\wp(z)$ in terms of given parameters. We obtain the classical addition theorem for the Weierstrass elliptic function as a…
We revisit entropic formulations of the uncertainty principle for an arbitrary pair of positive operator-valued measures (POVM) $A$ and $B$, acting on finite dimensional Hilbert space. Salicr\'u generalized $(h,\phi)$-entropies, including…
When an Approximation Theorist looks at well-posed PDE problems or operator equations, and standard solution algorithms like Finite Elements, Rayleigh-Ritz or Trefftz techniques, methods of fundamental or particular solutions and their…
Real Nullstellensatz is a classical result from Real Algebraic Geometry. It has recently been extended to quaternionic polynomials by Alon and Paran. The aim of this paper is to extend their Quaternionic Nullstellensatz to matrix…
The set of infinite upper-triangular totally positive Toeplitz matrices has a classical parametrisation proved by Edrei et al and originally conjectured by Schoenberg, that involves pairs of sequences of positive real parameters. These…