Related papers: Double Glueing over Free Exponential: with Measure…
This paper concerns a stochastic construction of probabilistic coherent spaces by employing novel ingredients (i) linear exponential comonads arising properly in the measure-theory (ii) continuous orthogonality between measures and…
Let $(\mathfrak{M},\rho,\mu)$ be a metric measure space satisfying a doubling condition, $p_0\in (1,\infty)$, and $T(t):L^{p_0}(\mathfrak{M},\mu)\rightarrow L^{p_0}(\mathfrak{M},\mu)$, $t\geq 0$, a strongly continuous semi-group. We provide…
We provide an alternative proof of a (local) T1 theorem for dual exponents in the non-homogeneous setting of upper doubling measures. This previously known theorem provides necessary and sufficient conditions for the L^p-boundedness of…
We define a congruence module $\Psi_A(M)$ associated to a surjective $\mathcal O$-algebra morphism $\lambda\colon A \to \mathcal{O}$, with $\mathcal{O}$ a discrete valuation ring, $A$ a complete noetherian local $\mathcal{O}$-algebra…
Systems of free fermions are classified by symmetry, space dimensionality, and topological properties described by K-homology. Those systems belonging to different classes are inequivalent. In contrast, we show that by taking a…
We are concerned with an harmonic analysis in Hilbert spaces $L^2(\mu)$, where $\mu$ is a probability measure on $\br^n$. The unifying question is the presence of families of orthogonal (complex) exponentials $e_\lambda(x) = \exp(2\pi i…
We incorporate metric data into the framework of Tannaka-Krein duality. Thus, for any group with left invariant metric, we produce a dual metric on its category of unitary representations. We characterize the conditions under which a…
Let $\Omega \subseteq {\bf R}^d$ be an open set of measure 1. An open set $D \subseteq {\bf R}^d$ is called a ``tight orthogonal packing region'' for $\Omega$ if $D-D$ does not intersect the zeros of the Fourier Transform of the indicator…
We prove 2-categorical conservativity for any {0,T}-free fragment of MALL over its corresponding intuitionistic version: that is, that the universal map from a closed symmetric monoidal category to the *-autonomous category that it freely…
We establish a free analogue of Obata's rigidity theorem. More precisely, Cheng and Zhou (2017) proved that on a weighted Riemannian manifold, the sharp spectral gap (Poincar\'e constant) is achieved only when the space splits isometrically…
A finitely-additive measure $\lambda $ on an infinite-dimensional real Hilbert space $E$ which is invariant with respect to shifts and orthogonal mappings has been defined. This measure can be considered as the analog of the Lebesgue…
We present a consistent renormalization scheme for the CP-conserving Two-Higgs-Doublet Model based on $\overline{MS}$ renormalization of the mixing angles and the soft-$Z_2$-symmetry-breaking scale $M_{sb}$ in the Higgs sector. This scheme…
We show that if $A$ is a set of mutually orthogonal exponentials with respect to the unit disk then $|A \cap [-R, R]^2| \lesssim_\varepsilon R^{3/5+\varepsilon}$ holds. This improves the previous bound of $R^{2/3}$ by…
We introduce Artin-Wraith glueing and locally closed inclusions in double categories. Examples include locales, toposes, topological spaces, categories, and posets. With appropriate assumptions, we show that locally closed inclusions are…
We analyze a random lozenge tiling model of a large regular hexagon, whose underlying weight structure is periodic of period $2$ in both the horizontal and vertical directions. This is a determinantal point process whose correlation kernel…
Flexible random scale-mixture models provide a framework for capturing a broad range of extremal dependence structures. However, likelihood-based inference under the peaks-over-threshold setting is often computationally infeasible, due to…
Free tensors are tensors which, after a change of bases, have free support: any two distinct elements of its support differ in at least two coordinates. They play a distinguished role in the theory of bilinear complexity, in particular in…
Let v be a real polynomial of even degree, and let \rho be the equilibrium probability measure for v with support S; so that v(x)\geq 2\int \log |x-y| \rho (dy)+C_v for some constant C_v with support S. Then S is the union of finitely many…
We prove a Tb theorem on quasimetric spaces equipped with what we call an upper doubling measure. This is a property that encompasses both the doubling measures and those satisfying the upper power bound \mu(B(x,r)) \le Cr^d. Our spaces are…
Analytical method for the second-order homogenization of two-phase composites within Mindlin-Toupin strain gradient elasticity theory is proposed. Direct approach and self-consistent approximation are used to reduce the homogenization…