Related papers: A new bound for smooth spline spaces
We give two results about Harnack type inequalities. First, on compact smooth Riemannian surface without boundary, we have an estimate of the type $\sup +\inf$. The second result concerns the solutions of prescribed scalar curvature…
Let $P$ be a polytope defined by the system $A x \leq b$, where $A \in R^{m \times n}$, $b \in R^m$, and $\text{rank}(A) = n$. We give a short geometric proof of the following tight upper bound on the number of vertices of $P$: $$ n! \cdot…
We derive bounds on the regularity of the algebra $C^\alpha(\mathcal{P})$ of mixed splines over a central polytopal complex $\mathcal{P}\subset\mathbb{R}^3$. As a consequence we bound the largest integer $d$ (the postulation number) for…
In this paper, we revisit approximation properties of piecewise polynomial spaces, which contain more than ${\cal P}_{r-1}$ but not ${\cal P}_r$. We develop more accurate upper and lower error bounds that are sharper than those used in…
Alfeld introduced a subdivision AS(n) of an n-simplex, generalizing the Clough-Tocher split of a triangle. A formula for the dimension of the spline space C^r_k(AS(n)) was conjectured recently by Foucart-Sorokina. We prove that the graded…
We establish a rather unexpected and simple criterion for the boundedness of Schur multipliers $S_M$ on Schatten $p$-classes which solves a conjecture proposed by Mikael de la Salle. Given $1 < p < \infty$, a simple form our main result…
Let $P$ be a convex $d$-polytope and $0 \leq k \leq d-1$. In 2023, this author proved the following inequalities, resolving a question of B\'ar\'any: \[ \frac{f_k(P)}{f_0(P)} \geq \frac{1}{2}\biggl[{\lceil \frac{d}{2} \rceil \choose k} +…
On a closed manifold, consider the space of all Riemannian metrics for which -Delta + kR is positive (nonnegative) definite, where k > 0 and R is the scalar curvature. This spectral generalization of positive (nonnegative) scalar curvature…
We consider the representation dimension, for fixed $n\geq2$, of ordinary and quantised Schur algebras $S(n,r)$ over a field $k$. For $k$ of positive characteristic $p$ we give a lower bound valid for all $p$. We also give an upper bound in…
We make four contributions to the theory of optimal subspace packings and equi-isoclinic subspaces: (1) a new lower bound for block coherence, (2) an exact count of equi-isoclinic subspaces of even dimension $r$ in $\mathbb{R}^{2r+1}$ with…
Let $\Delta_k(n)$ denote the simplicial complex of $(k+1)$-crossing-free subsets of edges in $\binom{[n]}{2}$. Here $k,n\in \mathbb N$ and $n\ge 2k+1$. Jonsson (2003) proved that (neglecting the short edges that cannot be part of any…
A pair of probability distributions over $\{0,1\}^n$ is said to be $(k,\delta)$-wise indistinguishable if all of the size $k$ marginals are within statistical distance at most $\delta$. Previous works introduced this concept and study when…
The present paper provides a general formula for the dimension of spline space over T-meshes using smoothing cofactor-conformality method. And we introduce a new notion, Diagonalizable T-mesh, over which the dimension formula is only…
Let $u_1$ and $u_2$ be two different positive smooth solutions of the equation $\Delta u + n (n - 2) u^{{n + 2}\over {n - 2}} = 0$ in $R^n (n \ge 3).$ By a result of Gidas, Ni and Nirenberg, $u_1$ and $u_2$ are radially symmetric above the…
Elementary symmetric polynomials $S_n^k$ are used as a benchmark for the bounded-depth arithmetic circuit model of computation. In this work we prove that $S_n^k$ modulo composite numbers $m=p_1p_2$ can be computed with much fewer…
We prove a generalization of Gromov's conjecture on scalar curvature rigidity of convex polytopes to arbitrary convex Riemannian polytope type domains via harmonic spinors on convex domians with boundary condition constructed by Brendle. In…
We show that scalar curvature lower bounds are preserved under certain weak convergence of smooth three manifolds to a smooth limit. More precisely, suppose that $M_k$ and $M$ are smooth, closed, Riemannian three manifolds. Assume that…
For positive integers $n>k$, let $P_{n,k}(x)=\displaystyle\sum_{j=0}^k \binom{n}{j}x^j $ be the polynomial obtained by truncating the binomial expansion of $(1+x)^n$ at the $k^{th}$ stage. These polynomials arose in the investigation of…
A submanifold $M \subset R^N$ is $r$-neighborly if for any $r$ points in $M$ there is a hyperplane, supporting $M$ and touching it at exactly these $r$ points. We prove that the minimal dimension $\Delta(k,r)$ of the Euclidean space,…
Let K be a field of characteristic different from 2 and let V be a vector space of dimension n over K. Let M be a non-zero subspace of symmetric bilinear forms defined on V x V and let r=rank(M) denote the set of different positive integers…