Questions tagged [inner-product]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
0 answers
313 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 ...
Alex Shpilkin's user avatar
4 votes
0 answers
120 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, ...
tahulse's user avatar
  • 41
1 vote
0 answers
35 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 ...
kwonhj's user avatar
  • 11
9 votes
1 answer
624 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 $\...
MObremski's user avatar
2 votes
1 answer
229 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 ...
Asaf Shachar's user avatar
  • 6,611
0 votes
1 answer
158 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 ...
Astor's user avatar
  • 323
2 votes
0 answers
101 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 $...
Łukasz Lew's user avatar
1 vote
0 answers
508 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 ...
Sushil's user avatar
  • 121
1 vote
2 answers
2k 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 ...
Colorless Photon's user avatar
4 votes
1 answer
370 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 \...
Asaf Shachar's user avatar
  • 6,611
2 votes
0 answers
120 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 ...
Nick's user avatar
  • 121
13 votes
1 answer
747 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 ...
SGC's user avatar
  • 147
1 vote
2 answers
175 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 $...
J Fabian Meier's user avatar
0 votes
2 answers
118 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\...
Hans's user avatar
  • 2,169
4 votes
1 answer
371 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-...
Transcendental's user avatar
0 votes
1 answer
128 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 ...
Milan Bernolak's user avatar
16 votes
1 answer
3k 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 ...
user avatar
3 votes
1 answer
242 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 ...
Sasha Alexander's user avatar
8 votes
2 answers
2k 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 ...
Favst's user avatar
  • 1,985
10 votes
2 answers
2k views

What fields can be used for an inner product space?

The title is the question: What fields can be used for an inner product space? This question has been discussed in Math Stack Exchange with no definitive resolution. A similar question appeared here, ...
Stefan's user avatar
  • 523
1 vote
0 answers
153 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?
Jose Adsuara's user avatar
1 vote
0 answers
464 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 ...
Niel de Beaudrap's user avatar
18 votes
2 answers
4k 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 ...
mermeladeK's user avatar
11 votes
1 answer
710 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 ...
MTS's user avatar
  • 8,419
3 votes
2 answers
497 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" ...
cdubey's user avatar
  • 85
22 votes
7 answers
9k 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 ...
KotelKanim's user avatar
  • 2,007
5 votes
3 answers
1k 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 $\...
Tom De Medts's user avatar
  • 6,494
20 votes
3 answers
7k 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 ...
Victor Liu's user avatar
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)...
Guy Adini's user avatar
5 votes
2 answers
472 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 ...
Penghui Yao's user avatar
1 vote
1 answer
382 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.$$ ...
Mike Stay's user avatar
  • 1,532
7 votes
2 answers
1k 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 ...
Ben Webster's user avatar
  • 43.9k
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 ...
Howard Barnum's user avatar
32 votes
4 answers
9k 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$?
heiner's user avatar
  • 331
5 votes
4 answers
1k 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 ...
Ben Webster's user avatar
  • 43.9k
34 votes
5 answers
13k 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 ...
Andrew Stacey's user avatar

1
2