Related papers: How to sharpen a tridiagonal pair
If the four triangular facets of a tetrahedron can be partitioned into pairs having the same area, then the triangles in each pair must be congruent to one another. A Heron-style formula is then derived for the volume of a tetrahedron…
An affine hypersurface is said to admit a pointwise symmetry, if there exists a subgroup of the automorphism group of the tangent space, which preserves (pointwise) the affine metric h, the difference tensor K and the affine shape operator…
In this paper, the intersection of bivariate orthogonal polynomials on triangle patches will be investigated. The result is interesting by its own but also has important applications in the theory of a posteriori error estimation for finite…
Any permutation-invariant function of data points $\vec{r}_i$ can be written in the form $\rho(\sum_i\phi(\vec{r}_i))$ for suitable functions $\rho$ and $\phi$. This form - known in the machine-learning literature as Deep Sets - also…
Denote by $\lambda K_v$ the complete graph of order $v$ with multiplicity $\lambda$. Let $\lambda K_v-\lambda K_w-\lambda K_u$ be the graph obtained from $\lambda K_v$ by the removal of the edges of two vertex disjoint complete…
A commutative associative algebra A with an identity over the field of real numbers which has a basis, where all elements are invertible, is considered in the work. Moreover, among matrixes consisting of the structure constants of A, there…
Enhanced ind-sheaves provide a suitable framework for the irregular Riemann-Hilbert correspondence. In this paper, we give some precisions on nearby and vanishing cycles for enhanced perverse objects in dimension one. As an application, we…
We prove that a general three-dimensional quartic $V$ in the complex projective space ${\mathbb P}^4$, the only singularity of which is a double point of rank 3, is a birationally rigid variety. Its group of birational self-maps is, up to…
If $K$ is a field with enough roots of unity and $V$ an abelian group, the $K$-algebra $K[V]$ of the group $V$ is split semisimple, so that the canonical morphism $K[V]\to K^{V^\sharp}$, where $V^\sharp$ denotes the dual group of $V$ (which…
In this paper, we consider higher order paired symmetric tensors and strongly paired symmetric tensors. Elasticity tensors and higher order elasticity tensors in solid mechanics are strongly paired symmetric tensors. A (strongly) paired…
Let $G\subset \C P^n$ be a linearly convex compact with smooth boundary, $D={\C}P^n\setminus G$, and let $D^* \subset (\C P^n)^*$ be the dual domain. Then for an algebraic, not necessarily reduced, complete intersection subvariety $V$ of…
A curvature model (V,A) is a real vector space V which is equipped with a "curvature operator" A(x,y)z that A has the same symmetries as an affine curvature operator; A(x,y)z=-A(y,x)z and A(x,y)z+A(y,z)x+A(z,x)y=0. Such a model is called…
Let $A$ be a three-dimensional nonassociative division algebra over a finite field. Let $A$ act on the space $A^2$ by left multiplication. For a nonzero vector $v$ in $A^2$ we have a three-dimensional subspace $Av$ in $A^2$. This paper…
Let A be a $\mathfrak Q$-domain, K=frac(A), B=A^{[n]} and D\in \lnd_A(B). Assume rank D= rank D_K=r, where D_K is the extension of D to K^{[n]}. Then we show that (i) If D_K is rigid, then D is rigid. (ii) Assume n=3, r=2 and B=A[X,Y,Z]…
For a $d$-dimensional smooth projective variety $X$ over the function field of a smooth variety $B$ over a field $k$ and for $i\ge 0$, we define a subgroup $CH^i(X)^{(0)}$ of $CH^i(X)$ and construct a "refined height pairing"…
The two-by-two Sp(2) matrix has three parameters with unit determinant. Yet, there are no established procedures for diagonalizing this matrix. It is shown that this matrix can be written as a similarity transformation of the two-by-two…
We introduce a linear algebraic object called a bidiagonal pair. Roughly speaking, a bidiagonal pair is a pair of diagonalizable linear transformations on a finite-dimensional vector space, each of which acts in a bidiagonal fashion on the…
Let $Y$ be an algebraic manifold of dimension 3 with $H^i(Y, \Omega^j_Y)=0$ for all $j\geq 0$, $i>0$ and $h^0(Y, {\mathcal{O}}_Y) > 1$. Let $X$ be a smooth completion of $Y$ such that the boundary $X-Y$ is the support of an effective…
Given positive integers $e_1,e_2$, let $X_i$ denote the set of $e_i$-dimensional subspaces of a fixed finite vector space $V=(\mathbb{F}_q)^{e_1+e_2}$. Let $Y_i$ be a non-empty subset of $X_i$ and let $\alpha_i=|Y_i|/|X_i|$. We give a…
A topological space $X$ is called resolvable if it contains a dense subset with dense complement. Using only basic principles, we show that whenever the space $X$ has a resolving subset that can be written as an at most countably infinite…