Related papers: Omnimosaics

Let $\mathfrak{g}(A)$ be the Kac-Moody algebra with respect to a symmetrizable generalized Cartan matrix $A$. We give an explicit presentation of the fix-point Lie subalgebra $\mathfrak{k}(A)$ of $\mathfrak{g}(A)$ with respect to the…

We prove that there exists a bivariate function f with f(k,l) = O(l k log k) such that for every naturals k and l, every graph G has at least k vertex-disjoint cycles of length at least l or a set of at most f(k,l) vertices that meets all…

In 1940s Steenrod asked if every homology class $z\in H_n(X,\mathbb{Z})$ of every topological space $X$ can be realised by an image of the fundamental class of an oriented closed smooth manifold. Thom found a non-realisable 7-dimensional…

Motivated by an influential result of Bourgain and Tzafriri, we consider continuous matrix functions $A:\mathbb{R}\to M_{n\times n}$ and lower $\ell_2$-norm bounds associated with their restriction to certain subspaces. We prove that for…

A Lie algebra is said to be metric if it admits a symmetric invariant and nondegenerate bilinear form. The harmonic oscillator algebra, which arises in the quantum mechanical description of a harmonic oscillator, is the smallest solvable…

We show that every infinite word $\omega$ on a finite subset of $\mathbb{Z}$ must contain arbitrarily large factors $B_1B_2$ which are "close" to being \textit{additive squares}. We also show that for all $k>1, \ \omega$ must contain a…

Let $X$ be a measure space and $T:X\to X$ a measurable transformation. For any measurable $E\subseteq X$ and $x\in E$, the possibly infinite return time is $n_E(x):=\inf\{n>0: T^n x\in E\}$. If $T$ is an ergodic tranformation of the…

For a finite set $A\subset\mathbb{N}$ and $k\in \mathbb{N}$, let $\omega_k(A) = \sum_{i\in A, i\neq k}1$. For each $n\in \mathbb{N}$, define $$a_{k, n}\ =\ |\{E\subset \mathbb{N}\,:\, E = \emptyset\mbox{ or } \omega_k(E) < \min E\leqslant…

Let $X$ be a smooth open manifold of even dimension, $T$ be a topological space, and $\mathscr{J}=\{J_t\}_{t\in T}$ be a continuous family of smooth integrable Stein structures on $X$. Under suitable additional assumptions on $T$ and…

It is shown that for every $K>0$ and $\e\in (0,1/2)$ there exist $N=N(K)\in \N$ and $D=D(K,\e)\in (1,\infty)$ with the following properties. For every separable metric space $(X,d)$ with doubling constant at most $K$, the metric space…

We establish a few formulas that compute the volume of the zero-set (or nodal set) of a function on a compact Riemannian manifold as integrals of functionals of the function and its derivatives.

In a complete Riemannian manifold $(M, g)$ if the hessian of a real valued function satisfies some suitable conditions then it restricts the geometry of $(M, g)$. In this paper we characterize all compact rank-1 symmetric spaces, as those…

We continue the study of computable embeddings for pairs of structures, i.e. for classes containing precisely two non-isomorphic structures. Surprisingly, even for some pairs of simple linear orders, computable embeddings induce a…

We consider the asymptotics of $k$-dimensional spherical integrals when $k = o(N)$. We prove that the $o(N)$-dimensional spherical integrals are approximately the products of $1$-dimensional spherical integrals. Our formulas extend the…

For compact CR manifolds of hypersurface type which embed in complex projective space, we show that for all k large enough there exist linear systems of ${\mathcal{O}}(k)$ which when restricted to the CR manifold are generic in a suitable…

An algebra $\mathcal{A}$ of $n\times n$ complex matrices is said to be \textit{idempotent compressible} if $E\mathcal{A}E$ is an algebra for all idempotents $E\in\mathbb{M}_n(\mathbb{C})$. Analogously, $\mathcal{A}$ is said to be…

In this paper we establish a basic version of the Oka principle for multivalued sections of ramified holomorphic maps h from a complex manifold Z onto a Stein manifold X. If the ramification locus of h projects into a closed complex…

Orthostochastic matrices are the entrywise squares of orthogonal matrices, and naturally arise in various contexts, including notably definite symmetric determinantal representations of real polynomials. However, defining equations for the…

For every fixed $d \in \mathbb{N}$, we design a data structure that represents a binary $n \times n$ matrix that is $d$-twin-ordered. The data structure occupies $O_d(n)$ bits, which is the least one could hope for, and can be queried for…

In this paper we show that if a cosimplicial space or spectrum $X^\bullet$ has a certain kind of combinatorial structure (we call it a $\Xi^n$-structure) then the total space of $X^\b$ has an action of a certain operad which is weakly…