Related papers: Complex analytic proofs of two probabilistic theor…

In this survey we collect some recent advances concerning embedding theorems in analytic and harmonic function spaces of several variables in various domains in $C^n.$ Some sharp embedding results presented in this survey paper extend sharp…

Many applications of denotational semantics, such as higher-order model checking or the complexity of normalization, rely on finite semantics for monomorphic type systems. We exhibit such a finite semantics for a polymorphic purely linear…

Let $\pi=\otimes\pi_{v}$ and $\pi^{\prime}=\otimes\pi_{v}^{\prime}$ be two irreducible, automorphic, cuspidal representations of $GL_{m}(\mathbb{A}_{K}) >.$ Using the logarithmic zero-free region of Rankin-Selberg $L$-function, Moreno…

We study product sets of finite arithmetic progressions of polynomials over a finite field. We prove a lower bound for the size of the product set, uniform in a wide range of parameters. We apply our results to resolve the function field…

Let $D$ be a bounded strongly convex domain in the complex space of dimension $n$. Fixed a point $p\in \partial D$, we consider the solution of a homogeneous complex Monge-Ampere equation with simple pole at $p$. We prove that such a…

We consider complex eigenstates of unstable Hamiltonian and its physically meaningful regions. Starting from a simple model of a discrete state interacting with a continuum via a general potential, we show that its Lippmann-Schwinger…

We study ($p$-harmonic) singular functions, defined by means of upper gradients, in bounded domains in metric measure spaces. It is shown that singular functions exist if and only if the complement of the domain has positive capacity, and…

We prove the first inverse theorem for point--sphere incidence bounds over finite fields in dimensions $d \ge 3$, showing that near-extremality forces algebraic rigidity. While sharp upper bounds have been known for over a decade, the…

We bring forward a logical system of transition algebras that enhances many-sorted first-order logic using features from dynamic logics. The sentences we consider include compositions, unions, and transitive closures of transition…

Given a sound first-order p-time theory $T$ capable of formalizing syntax of first-order logic we define a p-time function $g_T$ that stretches all inputs by one bit and we use its properties to show that $T$ must be incomplete. We leave it…

A condition, in two variants, is given such that if a property P satisfies this condition, then every logic which is at least as strong as first-order logic and can express P fails to have the compactness property. The result is used to…

We show that if the graph of a bounded analytic function in the unit disk $\mathbb D$ is not complete pluripolar in $\mathbb C^2$ then the projection of the closure of its pluripolar hull contains a fine neighborhood of a point $p \in…

In this note we show that if f belongs to Hp(Rn)\capLs(Rn), where 0 < p <= 1 < s < 1, then there exists a (p;infinite)-atomic decomposition which converges to f in Ls(Rn). From this fact, we prove that a bounded operator T on Ls(Rn) can be…

We prove a few uniform versions of the Mordell-Lang Conjecture and of the Shafarevich Conjecture for curves over function fields and their rational points. The main focus is on function fields having high transcendence degree over the…

We consider the hard-edge scaling of the Mittag-Leffler ensemble confined to a fixed disk inside the droplet. Our primary emphasis is on fluctuations of rotationally-invariant additive statistics that depend on the radius and thus give rise…

Hindman's celebrated Finite Sums Theorem, and its high-dimensional version due to Milliken and Taylor, are extended from covers of countable sets to covers of arbitrary topological spaces with Menger's classic covering property. The methods…

The probabilistic satisfiability of a logical expression is a fundamental concept known as the partition function in statistical physics and field theory, an evaluation of a related graph's Tutte polynomial in mathematics, and the…

Expected duality and approximation properties are shown to fail on Bergman spaces of domains in $\mathbb{C}^n$, via examples. When the domain admits an operator satisfying certain mapping properties, positive duality and approximation…

Invariance with respect to linear or affine transformations of the domain is arguably the most common symmetry exhibited by natural algebraic properties. In this work, we show that any low complexity affine-invariant property of…

With the aid of utilising tensor products, we give a simplified proof to the fundamental theorem of Benedetto and Fickus about the existence and characterisation of finite, normalised tight frames. We also establish unit-norm tensor…