Related papers: Mean Rational Approximation for Compact Subsets wi…
We investigate when a linear functional $L$ defined on a linear subspace $B$ of a unital commutative real algebra $A$ admits an integral representation w.r.t. a positive Radon measure supported on a closed subset $K$ of the character space…
We introduce a basis of rational polynomial-like functions $P_0,\ldots,P_{n-1}$ for the free module of functions $Z/nZ\to Z/mZ$. We then characterize the subfamily of congruence preserving functions as the set of linear combinations of the…
Let $(M,g)$ be a compact, smooth Riemannian manifold and $\{u_h\}$ be a sequence of $L^2$-normalized Laplace eigenfunctions that has a localized defect measure $\mu$ in the sense that $ M \setminus \text{supp}(\pi_* \mu) \neq \emptyset$…
A Peano continuum means a locally connected continuum. A compact metric space is called a \emph{Peano compactum} if all its components are Peano continua and if for any constant $C>0$ all but finitely many of its components are of diameter…
We show the existence of a thick thin decomposition of the domain of a pseudo holomorphic curve with boundary. The geometry of the thick part is bounded uniformly in the energy. Furthermore, in the thick part, there is a uniform bound on…
Let p be a monic polynomial in one complex variable and K a measurable subset of the complex plane. In terms of the area of K, we give an upper bound on the area of the preimage of K under p and a lower bound on the area of the image of K…
Young's partition lattice $L(m,n)$ consists of unordered partitions having $m$ parts where each part is at most $n$. Using methods from complex algebraic geometry, R. Stanley proved that $L(m,n)$ is rank-symmetric, unimodal, and strongly…
This document is a blueprint for the formalization in Lean of the structural theory of regular matroids underlying Seymour's decomposition theorem. We present a modular account of regularity via totally unimodular representations, show that…
For orthogonal polynomials defined by compact Jacobi matrix with exponential decay of the coefficients, precise properties of orthogonality measure is determined. This allows showing uniform boundedness of partial sums of orthogonal…
This diploma thesis is concerned with functional decomposition $f = g \circ h$ of polynomials. First an algorithm is described which computes decompositions in polynomial time. This algorithm was originally proposed by Zippel (1991). A…
Monsky's celebrated equidissection theorem follows from his more general proof of the existence of a polynomial relation $f$ among the areas of the triangles in a dissection of the unit square. More recently, the authors studied a different…
Let K be an Abstract Elementary Class. Under the asusmptions that K has a nicely behaved forking-like notion, regular types and existence of some prime models we establish a decomposition theorem for such classes. The decomposition implies…
The general theme of this note is illustrated by the following theorem: Theorem 1. Suppose $K$ is a compact set in the complex plane and 0 belongs to the boundary $\partial K$. Let ${\cal A}(K)$ denote the space of all functions $f$ on $K$…
For any subset $Z \subseteq \mathbb{Q}$, consider the set $S_Z$ of subfields $L\subseteq \overline{\mathbb{Q}}$ which contain a co-infinite subset $C \subseteq L$ that is universally definable in $L$ such that $C \cap \mathbb{Q}=Z$. Placing…
Let $K$ be the compact Lie group $USp(N/2)$ or $SO(N, R)$. Let $M^K_n$ be the moduli space of framed K-instantons over $S^4$ with the instanton number $n$. By Donaldson (1984), $M^K_n$ is endowed with a natural scheme structure. It is a…
In arXiv:2212.14023 a decomposition of Gaussian measures on finite-dimensional spaces was introduced, which turned out to be a central technical tool to improve currently known bounds on a long standing conjecture in statistical mechanics…
It is well-known that tensor decompositions show separations, that is, that constraints on local terms (such as positivity) may entail an arbitrarily high cost in their representation. Here we show that many of these separations disappear…
We are interested in path decompositions of a perturbed reflecting Brownian motion (PRBM) at the hitting times and at the minimum. Our study relies on the loop soups developed by Lawler and Werner [10] and Le Jan [13]-[14], in particular on…
Let $(X, \omega)$ be a compact symplectic manifold and $L$ be a Lagrangian submanifold. Suppose $(X, L)$ has a Hamiltonian $S^1$ action with moment map $\mu$. Take an invariant $\omega$-compatible almost complex structure, we consider…
In this paper, we introduce the little $\mu$-function, which is obtained as a degenerate limit of the generalized $\mu$-function. We derive the little $\mu$-function as the image of the $q$-Borel summation of a divergent solution to the…