All Questions
Tagged with linear-algebra mg.metric-geometry
32 questions with no upvoted or accepted answers
8
votes
0
answers
194
views
Geometric mean of three or more positive definite matrices
The geometric mean of two positive definite (Hermitian) matrices of same size is defined by $$A\natural B := A^{1/2}(A^{-1/2}BA^{-1/2})^{1/2}A^{1/2},$$equivalently,
$$A\natural B =(BA^{-1})^{1/2}A=A(A^...
- 13.4k
8
votes
0
answers
233
views
A conjecture on simplex
Let $A_0A_1...A_n$ be a simplex in $\Bbb E^n.$ Let $B_{ij}$ be a point on the edge $A_iA_j,\ 0\le i\not=j\le n.$
Denote by $\beta_i$ the hyperplane passing through the points $B_{i0},$ $B_{i1},$ $B_{...
- 705
8
votes
0
answers
421
views
Approximate singular value decomposition in Banach spaces
I am interested in generalisations to Banach spaces of the following construction, which relates to the singular value decomposition of a finite-dimensional linear map. If $V$, $W$ are finite-...
- 6,206
8
votes
0
answers
544
views
Maximal set on hypersphere that does not contain pairs of orthogonal vectors
Let R be a region on a hypersphere. Each point A of the hypersphere
is associated with a vector pointing to A and with origin at
the centre of the hypersphere. So let me identify each point with a
...
- 1,207
7
votes
0
answers
254
views
Set of unit vectors such that among any three there is an orthogonal pair
I was fascinated by the solutions of Problem 8 of the IMC 2021 contest, which can be summarized as:
Theorem 1. Let $v_1,\dotsc,v_N$ be distinct unit vectors in $\mathbb{R}^n$ such that among any three ...
- 105k
6
votes
0
answers
217
views
Is this function embeddable in Euclidean space?
Let $X = \{v_1,\ldots,v_n\}$ be a set of vectors non-zero vectors $v_i \ge 0$ and such that the vectors are pairwise linear independent. Define a function on this set $X$:
$$d(v,w) = 1-\frac{2 \...
user6671
5
votes
0
answers
137
views
Given a collection of vectors $x_1,\ldots,x_k$, which inner products $\langle x_i,x_j\rangle$ are needed to uniquely determine all inner products
Given a collection of vectors $x_1,\ldots,x_k$, which inner products $\langle x_i,x_j\rangle$ need to be known to uniquely determine all inner products? I'll begin with the specific case I am ...
- 351
5
votes
0
answers
144
views
Do products of distance functions separate points?
Let $(X,d)$ be a metric space without isolated points and of diameter $1$. Let $Y=\{y_m\}_{m=1}^{\infty}$ be a dense subset of $X$.
Define $g_0\equiv 1$, and for $m>0$ let $g_m=d(\cdot,y_1)\dotsm d(...
- 5,529
5
votes
0
answers
350
views
How to calculate the volume of a parallelepiped in a normed space?
Let $E$ be a real normed space, and let $v_1,...,v_n\in E$ be linearly independent. The parallelepiped defined by these vectors is $P=\{\sum_{i=1}^{n}\alpha_i v_i|~0\le\alpha_i\le 1\}$. Since $E$ is a ...
- 5,529
5
votes
0
answers
311
views
Biggest (or large) rectangle in a polytope
I need an efficient method to construct a (hyper)rectangle inside a polytope with a lot of dimensions (say $100 < d < 1000$). Ideally I'd want the biggest possible rectangle, but as I don't ...
4
votes
0
answers
223
views
$\epsilon$-net under Hausdorff distance
Consider linear subspaces of $\mathbb{R}^n$. For two subspaces $X$ and $Y$, we define their Hausdorff distance as
$$
{\displaystyle d_{\mathrm {H} }(X,Y)=\max \left\{\,\sup _{x\in X, |x|_2=1}\inf ...
- 1,503
4
votes
0
answers
144
views
A Pythagorian inequality characterization of inner-product spaces
Let $(X,\|\cdot\|)$ be a real normed space. For any points $A$ and $B$ in $X$, let $AB:=\|A-B\|$. Suppose that for any points $A$ and $B$ in $X$ and any straight line $\ell\subseteq X$ such that $B\...
- 128k
3
votes
0
answers
81
views
Iterated crossproducts
Let $S_0$ be a set of vectors in $\mathbb{R}^n$. Now iteratively define $S_{j+1}$ by taking all possible crossproducts of vectors in $S_j$ and normalizing such that the vector of maximum norm has unit ...
- 101
3
votes
0
answers
527
views
Cavalieri's principle and inversion of the Vandermonde matrix
There are many examples on the Web of the use of Cavalieri's principle in determining areas and volumes of 2-D and 3-D geometrical figures. The Wikipedia link uses the principle as both a proof and ...
- 10.5k
3
votes
0
answers
170
views
Is there such a matrix in $SO(n)$?
Given two $n$ dimensional positive definite matrices $A', B'$, is there a matrix $O \in SO(n)$ such that $A=O A', B=O B'$ and
$$
\frac{A_{ij}}{\sqrt{A_{ii}A_{jj}}} = \frac{B_{ij}}{\sqrt{B_{ii}B_{jj}}},...
- 131
3
votes
0
answers
75
views
Are there a group of mappings from (n-1)-dim space to an (n-1)-sphere guaranteeing the orthogonality of images?
Hello, everyone.
As we know that in an $n$-dimensional Euclidean space $\mathbb{R}^n$, there exists a continuous bijective mapping from a subset $V^{n-1}\subseteq\mathbb{R}^{n-1}$ to a unit $(n-1)$-...
- 607
2
votes
0
answers
38
views
Constructing an $n$-simplex at the border of a $n$-ball by orthogonal hyperplanes
I want to construct an $n$-simplex the following way:
Choose $n$ vectors in the boundary of an $n$ dimensional ball, which are forming an $(n-1)$-simplex together.
Place the orthogonal affine $n-1$-...
2
votes
0
answers
233
views
Do you know this formula for the scalar product in barycentric coordinates?
I've found a formula for a scalar product in barycentric coordinates which I think is pretty cool. I hope that it's new. Is it?
Suppose that you have points $x_1,\dots,x_n$ sitting in general position ...
- 1,048
2
votes
0
answers
46
views
signatures of quasi-gram matrices
Suppose I have a finite subset $\mathcal{M}$ of a Banach space $B$ $\mathcal{M}=p_1, \dots, p_n,$ and I create the following ``Gram'' matrix $G_{\mathcal{M}}:$
$$g_{ij} = \frac{\|p_i\|^2 + \|p_j\|^2 ...
- 96.4k
2
votes
0
answers
48
views
Minimization of the volume of the image of space-filling convex polytopes under similarities
Suppose $A:\mathbb{R}^n \to \mathbb{R}^n$ is a similarity, given by $A(x) = \lambda Ox$, where $\lambda > 1$ and $O$ is an orthogonal matrix (i.e., $A$ is a particular loxodromic repelling ...
- 21
2
votes
0
answers
92
views
Estimating the size of a subset of $\mathbb{R}^N$
This concrete geometric question has arisen out of the problem of counting arithmetic functions with a particular property. The details of the relationship between the counting procedure and this ...
- 2,480
2
votes
0
answers
530
views
Good covering of a sphere
Consider a sphere $S_r(0)$ with center at zero and radius $r$ in the Hamming space $\{0,1\}^n$.
We will be interested in covering this sphere with balls of radius $\rho < r$.
We know that there ...
- 2,576
1
vote
0
answers
27
views
Seeking Help with Classifying Polygons: Waterholes and Airpockets in 2D Space
I am currently in the process of writing software and have encountered a mathematical problem. Perhaps there are some experts here who are familiar with this. It involves the classification of ...
- 11
1
vote
0
answers
43
views
Intersection of unit-norm vectors with a large sum in high dimensions with a spherical cap
Let $d$ and $n$ be integers. For $i \in \lbrace 1,\dots,n \rbrace$ let $x_i \in \mathbb{R}^d$ be a vector such that $\lVert x \rVert=1 $. For a fixed $1/2 < \alpha \leq 1$, assume we have $\lVert \...
- 139
1
vote
0
answers
34
views
Maximum number of concurrencies for $J\cdot L$ hyperplanes in $\mathbb{R}^{J-1}$
I have $J\cdot L$ hyperplanes in $\mathbb{R}^{J-1}$ and want to prove that there cannot be more than $L$ points where $J$ hyperplanes intersect simultaneously (aka. concurrencies).
I suspect that the ...
1
vote
0
answers
70
views
Distance to set defined as subzero level set of a continuous function
I am searching for strategies on how to prove/disprove that scalar functions "capture" the distance to the subzero level set of the same function. (Or what topics to study to become better ...
1
vote
0
answers
152
views
Reference request: a class of matrices leading to interesting metric geometry
For $0 \le A \in GL(n,\mathbb{R})$, let $Aw = \Delta(A)$, where $\Delta$ denotes the map taking a matrix to a vector of its diagonal entries and/or forming a diagonal matrix from a vector, according ...
- 15.4k
1
vote
0
answers
1k
views
How to project a matrix to a unitary matrix?
Given a nonzero vector $v \in \mathbb{R}^n$, we all know that it's projection onto the unit $\ell_2$ ball is just $\frac{v}{\|v\|}$. Let $X$ be some nonzero $n \times n$ matrix. What is the projection ...
- 1,703
0
votes
0
answers
96
views
When can a point be reconstructed from relative angle measurements?
Given a set of points $p_1,\dots,p_n$ in $\mathbb{R}^d$ and a target point $x\in\mathbb{R}^d$, I measure all the angles between all pairs of points and the target point. In other words, I have the ...
- 427
0
votes
0
answers
28
views
Example of a matrix -HDH that is not PSD (with non-euclidean distances D)
It's widely known that, given a matrix of squared Euclidean distances, $\mathbf{D}_{ij} = \| \mathbf{X}_i - \mathbf{X}_j \|^2$, and the centering matrix $\mathbf{H} = \mathbf{I} - \dfrac{1}{n}11^T$, ...
- 101
0
votes
0
answers
55
views
Continuous Functions On Grassmannans under containment restrictions
Let $V$ be a vector space. Suppose that for a $x\in V$, we are given some subspace of dimension no more than d (e.g., the kernel of some operator defined on V, which varies smoothly with x), call it $\...
- 689
0
votes
0
answers
262
views
Lattice basis reductions and finding minimal values
While reading several articles about lattice basis reduction I am left with a few questions.
For one, I came across this piece of text
Let $\alpha$ and $\beta \in \mathbb{R}$. Also let $X>0$ and $...
- 1