All Questions
Tagged with linear-algebra mg.metric-geometry
97 questions
19
votes
3
answers
6k
views
What are the matrices preserving the $\ell^1$-norm?
So I am inspired by unitary matrices which preserve the $\ell^2$-norm of all vectors, so in particular the unit norm vectors. But then I saw that the $\ell^1$-norm of probability vectors is preserved ...
- 23.7k
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
4
votes
2
answers
2k
views
How to efficiently compute the generalized cross product?
It's possible to extend the well known cross product between two vectors in $\mathbb{R}^3$ to $n-1$ vectors in $\mathbb{R}^n$.
Let $\vec{v_1}, \vec{v_2}, \dots, \vec{v}_{n-1} \in \mathbb{R}^n$ and $\...
- 401
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_{...
- 6,337
4
votes
1
answer
393
views
Can an ellipsoid be moved freely inside another ellipsoid?
An origin centric ellipsoid is defined by any positive semi-definite $n$ by $n$ matrix $X$, by taking all vectors $v$ such that $v^tXv\leq1$. Call two origin centric ellipsoid equivalent if one can be ...
- 4,713
2
votes
2
answers
273
views
Johnson-Lindenstrauss Lemma on $S^{d-1}$
Consider the Johnson-Lindenstrauss lemma in the case where we can assume the $n$ input points $x_i$ in $\mathbb{R}^d$ are actually located on the sphere
$$S^{d-1}(r):=\{u=(u_1,\ldots,u_{d}): u_1^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
17
votes
3
answers
1k
views
Prescribing areas of parallelograms (or 2x2 principal minors)
Let $(a_{ij})$ be a $n\times n$ symmetric matrix such that $a_{ij}\geq 0$ for all $i,j$ and $a_{ii}=0$ for all $i$. Under which conditions on the $a_{ij}$'s can one find $n$ vectors $v_1,\ldots,v_n\in{...
- 44.4k
6
votes
1
answer
761
views
Checking if one polytope is contained in another
I have two sets of inequalities, say, $Ax \leq 0$ and $Bx \leq 0$. I would like to know if they both define the same polytope. Or, even, whether one is contained in the other.
At the moment I am ...
- 4,713
7
votes
2
answers
1k
views
Maximum average Euclidean distance between $n$ points in $[-1,1]^n$
For my research I have designed a metric that is based on the average Euclidean distance between $n$ points in the $n$-dimensional hypercube $[-1,1]^n$. However, I have a hard time finding the maximal ...
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
4
votes
2
answers
209
views
Geometrical interpretation of pictures transforms and other "high dimensional everyday objects"
During the preparation of a general audience talk on why mathematicians use dimensions higher than three (or four) even for concrete applications, I came up with the following enjoyable observation : ...
- 12.7k
3
votes
3
answers
310
views
measuring $n\ 2$-planes in $\mathbb{R}^{2n}$
Given $n$ vectors $v_1, \ldots, v_n$ in $\mathbb{R}^n$ of course we all know at least one measure for their relative configuration: $|v_1 \wedge\ldots \wedge v_n|$. Now suppose one were given $n$ ...
- 1,100
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
3
votes
1
answer
1k
views
Given a distance matrix is there an isometric embedding?
I have distance matrix $D$ that was calculated by some distance (non-Euclidean but satisfying distance requirements). Is there a set of points in some Euclidean space such that it generates matrix of ...
CommunityBot
- 1
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 $\...
- 2,239
0
votes
1
answer
524
views
Compose/decompose rotation matrix from/to plane of rotation and angle
I would like to compose/decompose an $n$-dimensional orthogonal rotation matrix (restricting to simple planar rotations, which rotates in the specified plane of rotation, and fixes in the plane ...
- 96.4k
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
...
CommunityBot
- 1
3
votes
1
answer
187
views
Moment matching on the standard simplex
Let $\vec{\mu}_1, \vec{\mu}_2,\ldots, \vec{\mu}_k \in \Delta^{d-1}$ be $k\ (k\geq 2)$ distinct vectors on the standard simplex, where
$$\Delta^{d-1} = \{\vec{\mu}\in R^{d}:\| \vec{\mu}\|_1 = 1,\mu_j \...
- 1,127
0
votes
1
answer
1k
views
Example distance metric that is not conditionally negative definite
Theorem 4.1 of this paper says that there exist distance matrices that are not conditionally negative definite (CND). How do I construct an example of a distance matrix that is not CND? Do you know an ...
- 63.9k
10
votes
2
answers
1k
views
Does the hyperdeterminant calculate a quantity akin to the volume of a parallelepiped?
If $M$ is an $n \times n$ matrix, $|\det(M)|$ is the volume of the $n$-dimensional
parallelepiped spanned by the column vectors of $M$.
...
- 1,226
61
votes
11
answers
11k
views
Geometric proof of the Vandermonde determinant?
The Vandermonde matrix is the $n\times n$ matrix whose $(i,j)$-th component is $x_j^{i-1}$, where the $x_j$ are indeterminates. It is well known that the determinant of this matrix is $$\prod_{1\leq ...
- 60.5k
5
votes
3
answers
1k
views
Proof that domains of positivity of symmetric nondegenerate bilinear forms are self-dual cones?
Max Koecher (for example, in The Minnesota Notes on Jordan Algebras and Their Applications; new edition: Springer Lecture Notes in Mathematics, number 1710, 1999), defined a domain of positivity for a ...
- 6,210
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
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
3
votes
0
answers
526
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
1
vote
1
answer
311
views
Probabilistic Johnson-Lindenstrauss Lemma for arbitrary points
Consider the following standard formulation of the Johnson-Lindenstrauss lemma:
Lemma (JL).
For any $0<\epsilon < 1$ and any integer $n$, let $k$ be a positive integer such that $k\geq C\...
CommunityBot
- 1
1
vote
2
answers
1k
views
Möbius transformation by 3 points in the Minkowski model
Goal
I'm interested in describing Möbius transformations in the plane, and I'd like to define them in terms of three points and their images.
What I have tried
I know that a projective ...
CommunityBot
- 1
1
vote
1
answer
177
views
Embedding of Two Objects Into Higher Dimensions With Their Sum
Given two vector sets, $\vec x_i$ and $\vec y_i$ (for $i$=1,2,...N, but the dimensionality of each vector can be more than N), let their sum set be $\vec z_i = \vec x_i + \vec y_i$. It's easy to ...
CommunityBot
- 1
2
votes
3
answers
355
views
Geometric means of matrices beyond the positive definite cone
Recently a lot of work has been done on geometric means of positive definite matrices (see here and here for example). Has anyone extended this concept to larger sets of matrices (copositive, for ...
- 28.6k
5
votes
2
answers
1k
views
Find the point on the Stiefel Manifold that is closest to a matrix
I don't have much background on high-dimensional geometry, so I dare to ask it.
For a given point in $x\in\mathbb{R}^n$, assume that I want to find the point on the unit sphere that is closest to the ...
- 101
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
5
votes
5
answers
1k
views
Finding an axis-aligned ellipsoid of minimal volume which contains a given ellipsoid
A friend asked me to post the following question. He's not an MO user and felt it would be better received if asked by someone who was already known to the community. This is not my area, but I'll do ...
- 30.3k
14
votes
5
answers
2k
views
How far is a set of vectors from being orthogonal?
Given some vectors, how many dimensions do you need to add (to their span) before you can find some mutually orthogonal vectors that project down to the original ones?
Or, more formally...
Suppose $...
- 1,513
3
votes
2
answers
5k
views
Volume change under linear transformation
It is well-known, that given a linear transformation $f \colon \mathbb R^n \rightarrow \mathbb R^m$, where $m \ge n$, the $m$-dimensional volume of an image of any measurable subset $S \subseteq \...
- 32.4k
2
votes
2
answers
164
views
Looking for a simple proof that the generalized disc is bounded
So let us define the generalized disc of degree $n$ as
$$
\mathbb{D}_n:=\{w\in M_{n\times n}(\mathbb{C}):w=w^t, I_n-w\overline{w}>0\}.
$$
For a Hermitian matrix $A$, the notation $A>0$ means ...
- 7,273
2
votes
1
answer
384
views
Feasible space of SDP
Typically the non-empty feasible space of a SDP has some curved boundary which is why the feasible space has infinitely many extreme points. Is it ever possible to have a SDP whose non-empty feasible ...
- 1,243
4
votes
1
answer
626
views
Embed the intersection of an n-dimensional unit $L_1$ sphere and a hyperplane into an (n-1)-dimensional unit $L_1$ sphere.
In $\mathbb{R}^n$, given an unit $L_1$ sphere $\mathcal{B}_n: |x_1|+|x_2|+\ldots+|x_n|\leq 1$ and a hyperplane $\mathcal{P}: a_1x_1+a_2x_2+\ldots+a_nx_n=0$. Does there always exist a rotation such ...
- 59
13
votes
1
answer
329
views
Spectral properties of finite metric sets
Given a finite metric set $S=\{P_1,\dots,P_n\}$, one gets a real symmetric matrix $M=M(S)$
with rows and columns indexed by elements of $S$ by setting
$M_{i,j}=d(P_i,P_j)$.
It is easy to see that $M$...
- 11.4k
8
votes
1
answer
1k
views
Is there an elementary way to show the triangular inequality for this expression ?
Consider the space $X$ of all scalar products on $\mathbb{R}^n$. For a scalar product $s$ and a base $B:=b_1\ldots,b_n$ let $M_{s,B}$ denote the matrix, whose $(i,j)$-th entry is $(s(b_i,b_j))$ . ...
- 28.6k
1
vote
1
answer
304
views
How do maximum norms relatively change in Euclidean translations
Let $Q$ be the cube $[-1,1]^{3}$ and $\pi$ be a plane in $\mathbb{R}^{3}$
that contains the origin but doesn't contain any vertex of $Q$. Suppose that $A$ is an invertible
linear transformation from $\...
- 11
15
votes
3
answers
1k
views
Representation of vectors in $\mathbb{R}^2$ via differences of small vectors.
Is the following fact true?
Let $v_1,\ldots, v_k \in \mathbb{R}^2$, $\|v_i\|\leq 1$, be vectors that add up to zero. Does there exist a permutation $\sigma\in S_k$ and vectors $w_1,\ldots, w_k \...
- 43.2k
3
votes
1
answer
375
views
Connections between a polytope's symmetry group and the existence of periodic orbits
Given an $n$-dimensional convex polytope $P$, one may set into motion a point-mass, starting on one of the facets of $P$, which travels along a straight trajectory inside $P$ except on collision with ...
- 1,675
4
votes
1
answer
496
views
Is there a standard measure for how close a matrix is to being a distance metric ?
Suppose I have a square n*n, symmetric matrix with positive elements and zero diagonal.
For this to be considered a proper distance metric between n points, the triangle inequality needs to be ...
- 4,462
1
vote
1
answer
419
views
Is the direction of the longest line of a polytope unique?
The question pertains to a polytope that is generated by the intersection of an affine subspace with a hypercube in $p$ dimensions.
The affine subspace is given by:
$X \mbox{ u} = y$
where
$u$ &...
- 13.6k
4
votes
2
answers
818
views
Number of independent distances between n points in d-dimensional Euclidean space?
There are $\binom{n}{2}$ distances between $n$ points in $\mathbb{R}^d$. Not all of them can be chosen freely if $n$ exceeds the number $n_d = d + 1$. If $n = n_d$ we obviously have $\binom{d+1}{2}$ ...
- 8,336