# Questions tagged [inner-product]

The inner-product tag has no usage guidance.

**4**

votes

**1**answer

169 views

### Which inner products preserve positive correlation?

Suppose we have a symmetric PD or PSD matrix M which induces an inner product $\langle \cdot, \cdot \rangle_M$. If we have that $\langle x, y \rangle > 0$ for two unit vectors $x$, $y$, are there ...

**1**

vote

**1**answer

102 views

### Any inequalities / estimates for a lower bound of the $L^2$ inner product of a quantity and its derivative?

For some numerical analysis of a fluid, I am wondering if there is any inequality that provides a lower bound (in the $L^2$ norm), for the $L^2$ inner product of a quantity with its derivative. In ...

**17**

votes

**2**answers

424 views

### On a special type of normed linear spaces

Let $(V,\|.\|)$ be a normed linear space such that for every group $(G,*)$, every function $f:G \to V$ satisfying
$$
\|f(x*y)\|\ge \|f(x)+f(y)\|,\qquad\forall x,y\in G,\tag{Z}
$$ is a group ...

**2**

votes

**1**answer

126 views

### Controlling angles between vectors using sum of subvector angles?

This is a technical question coming out of my research.
Let $\angle(\cdot, \cdot)$ be the angle ($\in [0, \pi]$) between vectors. Consider two vectors $u, v$ in $\mathbb R^3$. Is it true that
$$
\...

**2**

votes

**2**answers

175 views

### An inner product on the vector space $\mathbb{R}[x_1,\cdots,x_n]_m$

For any given integers $m,n\geq1$, let $\mathbb{R}[x_1,\cdots,x_n]_m$ be the vector space of homogeneous polynomials of degree $m$ in $x_1,\cdots,x_n$ over the field of real numbers $\mathbb{R}$. ...

**1**

vote

**1**answer

258 views

### Adjoint of an operator-valued linear operator

I have come across a linear bounded operator $B:K\to \mathcal{L}(U,Z)$ where $K$, $U$, and $Z$ are separable Hilbert spaces. I need a reference (any source) to find out about:
The adjoint of such an ...

**5**

votes

**1**answer

148 views

### Which metrics on exterior power are induced from metrics on the base?

$\newcommand{\id}{\text{id}}$
$\newcommand{\Hom}{\text{Hom}}$
This is a cross-post.
Let $V$ be a $d$-dimensional real vector space, and let $2 \le k \le d-1$. Every inner product on $V$ induces an ...

**4**

votes

**1**answer

339 views

### On a vanishing integral inner product

Let $G(z)$ be an $n\times m$ rational matrix-valued function of full column rank on the unit circle. Further, let $P(z)$ be an $m\times m$ rational matrix-valued function positive definite on the unit ...

**2**

votes

**0**answers

70 views

### System of bilinear equations [closed]

Given constants $n$ and $\ell$, where $\ell < n$, suppose we have the following set of equations in column vectors $a_1, a_2, \dots, a_n \in {\mathbb{C}^{\ell}}$
$$\begin{array}{rl}
\langle ...

**3**

votes

**0**answers

327 views

### Inner Product on tensor product of Hilbert spaces is unique?

Given two Hilbert Spaces $H$ and $K$, a natural inner product on $H\otimes K$(= vector space tensor product of $H$ and $K$) is given by
$\hspace{.5in}\langle h_1\otimes k_1,h_2\otimes k_2\rangle=\...

**2**

votes

**0**answers

106 views

### Do involutions always stabilize some transverse lagrangians?

Let $V$ be a vector space of dimension $2n\geq 4$ over a field $F$ of characteristic distinct from $2$. Assume that $V$ is equipped with a nondegenerate alternating form $b$. Let $Sp(V)$ denote the ...

**13**

votes

**1**answer

456 views

### Vectors that are almost orthogonal on average: lower bounds on dimension?

Let $v_1,\dotsc,v_k \in \mathbb{R}^d$ be unit-length vectors such that
$$\sum_{1\leq i,j\leq k} |\langle v_i,v_j\rangle|^2 \leq \epsilon k^2.$$
What sort of lower bound can we give on $d$ in terms of $...

**3**

votes

**0**answers

102 views

### Probability of orthogonal vectors?

Denote $\mathcal I_m=\{-m,-m+1,\dots,0,\dots,m-1,m\}$ where $m\geq0$ is an integer.
Pick a uniformly random vectors $$\hat a=(a_n,a_{n-1},\dots,a_1)\in(\mathcal I_{m_1}+\sqrt{-1}\cdot\mathcal I_{m_2}...

**0**

votes

**0**answers

99 views

### Inner products on abelian groups and general modules

Where can I find a discussion about inner products on something more general than vector spaces, and to which extent should one attempt such a generalization?
My particular interest is in abelian ...

**4**

votes

**0**answers

77 views

### Triple Petersson Inner Products With Theta Functions

Our current work requires us to bound triple products of the form
$$\langle \Im(*)^{\frac{3}{2}}|\theta^3|^2,\mu_j \rangle,$$
where $\langle \cdot, \cdot \rangle$
is the Petersson inner product, ...

**1**

vote

**0**answers

32 views

### Minimum element estimation of A*A^T [closed]

I want to estimate the minimum element of A*A^T using only the information of A.
For example, maximum element can be estimated using the norm values of all rows without calculating all elements of ...

**9**

votes

**1**answer

434 views

### Inner product over finite fields

Let $F$ be a finite field,
For every $c \in F$, let $X_1, X_2,..., X_9, Y_1,..., Y_9$ be independent non-zero random variables over $F$.
Denote $X=(X_1,...,X_9)$, $Y=(Y_1,...,Y_9)$, also let $\...

**2**

votes

**1**answer

207 views

### Invariant characterization of isometric embeddings

$\newcommand{\Cof}{\operatorname{Cof}}$
$\newcommand{\Det}{\operatorname{Det}}$
$\newcommand{\Lam}{\operatorname{\Lambda}}$
Motivation (and the "classic" case):
I am trying to find a coordinate-free ...

**0**

votes

**1**answer

132 views

### Non-strict column diagonally dominant matrix inner product

Let $A \in \mathbb{R}^{n \times n}$ be a normalized non-strict column diagonally dominant matrix, that is:
$$a_{j,j} = \sum_{i \ne j} \left|a_{i,j}\right|$$
where $0 \le a_{j,j} \le 1$ and $-1 \le ...

**2**

votes

**0**answers

90 views

### How to calculate $\langle v,w\rangle$ based only on $\langle v,x_i\rangle$ and $\langle w,x_i\rangle$? [closed]

Let's assume $v,w, x_i \in R^n$ are unknown.
Can one compute dot product $\langle v,w\rangle$ if one has just the numbers: $\langle v,x_i\rangle$ and $\langle w,x_i\rangle$ for $n$ random vectors $...

**1**

vote

**0**answers

274 views

### Complex conjugate and unitary complex conjugate

Definition: Let V be complex finite dimensional inner product space
Complex Conjugate: $J$ is called complex conjugate on V iff $(i) J$ is antilinear $(ii) J^2 =I$
Definition: Anti-unitary Complex ...

**0**

votes

**2**answers

437 views

### Different inner products for vector spaces of random variables

The inner product that appears in most books on probability is the covariance $\langle X,Y \rangle = E[XY]$ (considering that $X$ and $Y$ are zero mean real random variables).
Are there other inner ...

**3**

votes

**1**answer

199 views

### Existence of $SO(n)$-isotropic inner products which are not $O(n)$-isotropic

$\newcommand{\al}{\alpha}$
Let $M_n$ be the space of $n \times n$ real matrices.
Question:
For which $n$, is there an inner product on $M_n$ which satisfies:
$$(*) \, \, \langle Q^TXQ,Q^TYQ \...

**2**

votes

**0**answers

61 views

### Terminology for research on distributions of inner products

Consider a set of vectors $M$ from an inner product space $V$. The ordered set of inner products of all pairs of elements in $M$ uniquely characterizes $M$ up to isomorphism.
Suppose now that $V$ is ...

**13**

votes

**1**answer

651 views

### Maximum number of vectors in a hypercube satisfying given conditions

$\mathcal{C}$ is a collection of binary vectors of length $n$, i.e. $\mathcal{C}\subseteq\{0,1\}^n$. For arbitrary $x,y,z\in\mathcal{C}$ and $x\neq z$, $y\neq z$, there always holds that the Euclidean ...

**1**

vote

**2**answers

111 views

### Generalised “projection” of a metric space

Assume we have $n$ points $p_0\ldots p_{n-1}$ which form a discrete metric space $V$ with metric $d$. Can we define a function $f:V\rightarrow \mathbb{R}$ with $f(p_0) = 0$, $f(p_1) = d(p_0,p_1)$ and $...

**0**

votes

**2**answers

111 views

### Inner Product of Given Sum Positive Sequence

Let $$A = \Big\{(a_1,a_2,\dots)\ \Big|\ a_i\ge 0, \sum_{i=1}^\infty a_i=1\Big\},$$ $$v(x)=\sup\left(\bigg\{\sum_{i=1}^\infty a_ib_i\ \bigg|\ (a_i)_{i=1}^\infty,\, (b_i)_{i=1}^\infty \in A,\,\sup\...

**4**

votes

**1**answer

270 views

### A Hilbert-space completion of a Hilbert $ C^{*} $-module over a separable $ C^{*} $-algebra

Let $ B $ be a separable $ C^{*} $-algebra and $ \mathcal{E} $ a Hilbert $ B $-module. We know that $ B $ has a faithful state $ \phi $. Using $ \phi $, we can construct a $ \mathbb{C} $-valued pre-...

**0**

votes

**1**answer

95 views

### Is the Hodge Map Unitary?

Let $(V,< \cdot, \cdot >)$ be an inner product space over a field ${K}$. As usual, we can extend $< \cdot, \cdot >$ to a mapping on the exterior algebra of $V$ using the usual matrix ...

**15**

votes

**1**answer

2k views

### A property that forces the NORM to be induced by an INNER PRODUCT

Let $(E, \|\cdot\|)$ be a real normed vector space such that for any $a,b\in E$,
$$ \|x +y\|^2 + \|x-y\|^2 \geq 4 \|x\|\cdot \|y\| $$
I want to show that the norm is induced by an inner product. Any ...

**3**

votes

**1**answer

148 views

### Classifying all Equivariant Bilinear Forms on a Finite-Dimensional Module

Given a finite dimensional (real) vector space $V$, and two non-degenerate bilinear forms $(\cdot,\cdot)_1$ and $(\cdot,\cdot)_2$, one can use a basic linear algebra argument to show that there exists ...

**7**

votes

**2**answers

953 views

### Almost orthogonal vectors in subsets of euclidean space

Given the vector space $\mathbb{R}^n$, endowed with the standard inner (dot) product $\langle\cdot,\cdot\rangle:\mathbb{R}^n\times \mathbb{R}^n\to\mathbb{R}$, the problem of almost-orthogonal sets ...

**1**

vote

**0**answers

139 views

### Functional Analysis Generalizations: indeterminated inner product and functions over manifolds

There are books or articles that deal with generalizations of functional analysis in the sense that the inner product need not be positive-definite or that works with functions over manifolds?

**1**

vote

**0**answers

320 views

### How does the Schmidt decomposition generalize to tensor products of several finite-dimensional systems?

Let $n,d_1,\ldots,d_n > 1$ be integers, and $V_1, \ldots, V_n$ be inner product spaces over $\mathbb C$, having dimensions $d_1, \ldots, d_n$ respectively. We consider the ways in which we may ...

**15**

votes

**2**answers

3k views

### Minimum off-diagonal elements of a matrix with fixed eigenvalues

I am an engineer working in radar research. I came accross a problem on which I cannot seem to find literature. I can ask it in two different ways. Perhaps depending on the reader, the alternative ...

**11**

votes

**1**answer

587 views

### Unitary representations of Quantum Groups

Let $\mathfrak{g}$ be a finite-dimensional complex simple Lie algebra and let $U_q(\mathfrak{g})$ be some incarnation of the quantized universal enveloping algebra of $\mathfrak{g}$; here I am ...

**3**

votes

**2**answers

360 views

### Inner product spaces, Siegel's theorem and lattices: book suggestion

Background: I am a theoretical computer scientist (PhD candidate) and
have done graduate level courses in Algebra.
I want to understand the following theorem from the book "Symmetric
Bilinear Forms" ...

**17**

votes

**7**answers

6k views

### What is a complex inner product space “really”?

This is an extended re-post of a question that I have asked on MSE not a long time ago. But anyway, it seems more appropriate for MO.
To begin with, in a real inner product space we have a geometric ...

**5**

votes

**3**answers

751 views

### adjoint of multiplication operator in a commutative algebra

Dan Popescu asked me the following question, and since I'm not an expert I'm throwing his question on MO.
Suppose that $A$ is a finite-dimensional vector space over an ordered field $k$ with $\...

**18**

votes

**2**answers

5k views

### Why do inner products require conjugation?

For Hermitian matrices and operators, the most "natural" inner product is $f^H \cdot g$ or $\int f^* g\; dx$. A similar situation holds interpreting Fourier transforms as the inner product of ...

**6**

votes

**0**answers

1k views

### Hash functions and inner product

As part of a research project on derandomization of linear threshold functions I am working on, I am trying to understand the following problem:
Is there a small (polynomial rather than exponential)...

**5**

votes

**2**answers

442 views

### Can finitely many hermitian (positive-semidefinite) operators always be embedded into a small dimensional space preserving inner product?

Given $n$ hermitian (positive-semidefinite) operators $Q_1,\cdots,Q_n$ in finite dimensional Hilbert space (the dimension can be very large), is there a mapping $\phi$ maps $Q_i$ to $P_i$, which ...

**1**

vote

**1**answer

304 views

### Which linear transformations between f.d. Hilbert spaces contract the inner product?

Given two finite-dimensional Hilbert spaces $U, V,$ a linear transformation $T:U\to V$ contracts the inner product if for all $x,y \in U,$
$$\langle x,y \rangle_U \ge \langle Tx, Ty\rangle_V.$$
...

**6**

votes

**2**answers

885 views

### Reference for the existence of a Shapovalov-type form on the tensor product of integrable modules

Shapovalov and Jantzen showed us how to construct a nice inner product on finite dimensional representations of a semi-simple Lie algebra, by simply giving the highest weight vector inner product 1 ...

**4**

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 ...

**19**

votes

**4**answers

4k views

### Definition of inner product for vector spaces over arbitrary fields

Is there a canonical definition of the concept of inner products for vector spaces over arbitrary fields, i.e. other fields than $\mathbb R$ or $\mathbb C$?

**3**

votes

**4**answers

853 views

### An inner product that makes the R-matrix unitary

So, if you talk to the right people, they will tell you that the braiding of the category of representations of a quantum group are not unitary and that one can fix this by taking a different commutor ...

**25**

votes

**5**answers

9k views

### Linearity of the inner product using the parallelogram law

A norm on a vector space comes from an inner product if and only if it satisfies the parallelogram law. Given such a norm, one can reconstruct the inner product via the formula:
$2\langle u,v\rangle ...