Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [positivity]

The tag has no usage guidance.

2
votes
0answers
37 views

On the existence of fixed points of a matrix iteration

Let $A\in\mathbb{R}^{n\times n}$ be a Hurwitz stable matrix (i.e. all eigenvalues of $A$ have negative real part). Let $\succeq$ denote the standard partial order in the cone of positive semidefinite ...
5
votes
1answer
144 views

Positive-definiteness of radial sinc function in three dimensions

In dimension one, it is well known that $\mathcal{F}\chi_{(-1,1)}=\frac{\sin{x}}{x}$. This implies, in particular, that $\frac{\sin{x}}{x}$ is a definite positive function. I wonder if a similar ...
8
votes
1answer
178 views

Maps which are both completely positive and positive

Definition:A linear map $f:\mathbb C^n\to \mathbb C^n$ is called positive if $\langle fa,a\rangle\ge0$ for all $a\in \mathbb C^n$. Equivalently, $f\in M_{n}(\mathbb C)$ is positive if it can be ...
32
votes
2answers
2k views

When can a function be made positive by averaging?

Let $f: {\bf Z} \to {\bf R}$ be a finitely supported function on the integers ${\bf Z}$. I am interested in knowing when there exists a finitely supported non-negative function $g: {\bf Z} \to [0,+\...
5
votes
0answers
74 views

Positive splitting of Sobolev convergence

Let $f,g,h \in H^1(\mathbb{R}^n)$ be non-negative Sobolev functions wuch that $f^2 = g^2 + h^2$. Let also $\{f_k\} \subseteq H^1(\mathbb{R}^n)$ be non-negative Sobolev functions such that $f_k \to f$ ...
0
votes
1answer
150 views

Dual of a stable locally free subsheaf is a locally free quotient sheaf

Let $X$ be a compact connected Kähler manifold, of dimension $d\geq3$, with Hermitian metric $\omega$; let $E$ be a vector bundle on $X$ of rank $r\geq2$. By [1] definition 1.2: A line bundle $L$ ...
1
vote
1answer
52 views

Completeness of Lowner order in separable Hilbert space

Consider a separable Hilbert space $\mathcal{H}$, we can first define $T(\mathcal{H})$ the trace class of $\mathcal{H}$, then $D(\mathcal{H})$ to denote the interesection of positive operator and ...
1
vote
1answer
126 views

positive real matrix-valued function as linear combination of positive-real functions

In my question I am considering $z$ as the complex variable in the $z$-transform $X(z)$ of a discrete-time sequence $x[n]$: I have $M$ square complex matrices $\mathbf{R}_m$ of size $N\times N$. I ...
1
vote
1answer
126 views

Positive Solutions of second-order ODE

Consider second-order ordinary differential equations of the form $u''(t)=a(t)u(t)-2$ I'm interested in general criteria on the function $a(t)$, which guarantee respectively rule out the existence ...
0
votes
1answer
101 views

Stability of a matrix product

Motivation: I am working on a research problem and have been stuck for a while. I hope someone can help, as it requires only linear algebra. :) Let $H$ be a real, invertible and positive semi-...
7
votes
0answers
153 views

Positivity of certain polynomial coefficients

Consider the rational functions (in fact, polynomials) $$F_n(q)=\frac1{(1-q)^{2n}}\sum_{k=0}^n(-q)^k\frac{2k+1}{n+k+1}\binom{2n}{n-k} \prod_{j=0,\,j\neq k}^n\frac{1+q^{2j+1}}{1+q}.$$ The numbers $\...
0
votes
0answers
62 views

Spectral projection of a positive operator

Let $(X,K)$ be a partially ordered Banach space where the cone $K$ is generating and normal. Suppose $B$ is a bounded operator on $X$ such that $B(K)\subseteq K$, the spectral radius $\rho(B)=1$ and ...
0
votes
1answer
113 views

Polynomials $p$ such that $p$ and $p'$ preserve nonnegative numbers

Expanding on a previous post I made recently, let $$ \mathscr{P}:= \{ p(x) \in \mathbb{R}[x] \mid p(x) \ge 0,~\forall x\ge 0\}. $$ The Pòlya-Szegö theorem (see Theorem 3.21 here) asserts that $p \in \...
11
votes
2answers
549 views

Polynomials that preserve nonnegativity

A polynomial $p \in \mathbb{R}[x_1,\dots,x_n]$ is said to be positive on a subset $S$ of $\mathbb{R}^n$ if $p(x) > 0$ for every $x \in S$. The polynomial $p$ is called nonnegative if $p(x) \ge 0$ ...
2
votes
0answers
102 views

Do integral curves on simple abelian surfaces define big line bundles?

Let $A$ be a simple abelian surface over $\mathbb{C}$. Let $C\subset A$ be an irreducible and reduced one-dimensional closed subscheme. Since $A$ is simple, the normalization of $C$ is of genus at ...
24
votes
2answers
848 views

Is this proof of Perron's theorem correct, and if so is it original?

A few years ago, I came up with this proof of Perron's theorem for a class presentation: http://www.math.cornell.edu/~web6720/Perron-Frobenius_Hannah%20Cairns.pdf I've written an outline of it below ...
0
votes
0answers
109 views

Continuity under various topologies for positive linear functionals

It is known that if $\mathcal A$ is a unital $\mathbb C$-$*$-algebra and $A$ is a unital subalgebra closed under $*$, and if $f : A \to \mathbb C$ is linear, then $f$ is positive if and only if $f$ is ...
5
votes
0answers
257 views

nef vs. 1-nef vector bundles

Let $X$ be a compact, connected, Kähler manifold, of dimension $d$, with Hermitian metric $\omega$; let $E$ be a vector bundle on $X$ of rank $r\geq2$. By [1] definition 3.1.2: A line bundle $L$ ...
1
vote
0answers
20 views

Non Negative Tensor Tucker Decomposition Error Degradation

I have been working on iterative decomposition methods of tensors with non negativity constraints. I have noticed that $\textbf{N}$on negative $\textbf{T}$ensor $\textbf{F}$actorization "NTF" which is ...
3
votes
0answers
148 views

When is the strict transform of very ample divisor ample?

Let $X$ be a projective variety and $Y \subset X$ is a very ample divisor on $X$. Let $Z \subset X$ be a regular subvariety (but $X$ need not be regular along $Z$) of codimension $2$ and $\pi:\tilde{X}...
10
votes
1answer
347 views

Why do we care about Schur Positivity

Some of the most important open problems in Algebraic Combinatorics concern the Schur positivity of classes of symmetric functions. Why is this an important property to have?
4
votes
1answer
88 views

Specific quaternary quartic that is positive semi-definite but not sum of squares

Does there exist a quaternary quartic $f$ (a form in $\mathbb{R}[x_1,x_2,x_3,x_4]$ of degree $4$), which is positive semi-definite ($f \geq 0$ on $\mathbb{R}^4$) but not a sum of squares, such that ...
0
votes
1answer
170 views

Probability of positive definiteness of a random matrix [duplicate]

Given an $n \times n$ symmetric random matrix whose entries have distribution $N(0,1)$, how to calculate the probability of positive definiteness of this matrix?
9
votes
0answers
184 views

Can we extend c.p. normal maps on a finite von Neumann algebra $M$ to $L_0(M)_+$?

Suppose that $M$ is a von Neumann algebra with a finite, normal, faithful trace $\tau$. Let $T\colon M\to M$ be a completely positive, normal map. Can $T$ be extended to a `positively linear map' ...
29
votes
2answers
1k views

Wanted: Positivity certificate for the AM-GM inequality in low dimension

I'm seeking for a Certificate of Positivity for the AM-GM inequality in five variables $$a^5+b^5+c^5+d^5+e^5-5abcde\;\ge 0\qquad\forall\,a,b,c,d,e\ge 0\,.$$ Can one write the LHS as a sum $\,\...
5
votes
2answers
162 views

Positivity of coefficients of a polynomial derived from Schubert polynomials

Let $W=\bigcup_{n=1}^\infty S_n$ be the union of all symmetric groups $S_n$. For an element $w\in W$, denote by $\mathfrak{S}_w$ the Schubert polynomial associated to $w$, and by $\partial_w$ the ...
9
votes
2answers
357 views

What techniques are there to prove Schur positivity?

As the title says, what methods exists for proving that a symmetric polynomial (or function) is Schur positive, perhaps involving extra parameters, in which case coefficients should be polynomials in ...
1
vote
1answer
100 views

Does every locally positive-definite function have a positive-definite extension?

Let $B$ denote the unit ball in $\mathbb{R}^d$, and suppose $f\colon B\rightarrow\mathbb{C}$ has the property that for every $n\geq1$ and $x_1,\ldots,x_n\in\mathbb{R}^d$ with $\|x_i-x_j\|<1$, the $...
1
vote
0answers
23 views

Extending the projective action of several positive linear maps to a complex neighbourhood

I am currently reading a paper which, somewhat indirectly, asserts the following result: Lemma: Let $\Delta \subset \mathbb{R}^d$ denote the simplex $\{(x_1,\ldots,x_d):\sum_{i=1}^d x_i=1\}$, let $...
4
votes
1answer
215 views

A discrete operator begets even/odd polynomials

Given a function $f(x)$ define the forward shift operator by $Ef(x)=f(x+1)$ and the discrete derivative $\delta f(x)=(E-1)f(x)=f(x+1)-f(x)$. Given a partition $\lambda=(\lambda_1,\lambda_2,\dots,\...
7
votes
0answers
146 views

Hilbert spaces over the semi-field $\mathbb R_+$

Let $\mathbb R_+$ be the semi-field of non-negative real numbers. Definition (preliminary): A Hilbert space over $\mathbb R_+$ is a pair $(H,P)$, where $H$ is a complex Hilbert space, and $P\subset ...
1
vote
1answer
88 views

Is it true that $B \leq I \rightarrow B^2 \leq I$ (or higher powers) for positive semidefinite $B$, mimicking positive scalars? [closed]

If we know that $B \geq 0 $ (positive semidefinite) and that $I-B \geq 0$, is it necessarily true that $I-B^2 \geq 0$?
2
votes
1answer
139 views

Perturbation of linear system of equations: Is the solution still non-negative?

Let $A = (a_{ij})_{i,j=1,\dots,n}$ be a matrix such that $a_{ij} \ge 0$ for all $i,j = 1, \dots, n,$ and $A$ is positive definite. Let $I$ be the identity matrix, and $\pmb{1}$ the vector ...
2
votes
1answer
75 views

Interplay between the trace operator and the positive part of a Sobolev function

I consider the Sobolev trace $\gamma \colon H^1 (\mathbb{R}^{N+1}_{+}) \to H^{1/2}(\mathbb{R}^N)$. Let $U^{+}$ denote the positive part of a function $U$. It is correct, or only meaningful, to say ...
2
votes
0answers
64 views

Reference request: Positive solution of positive system of linear equations

Let $A \in \mathbb{R}^{n\times n}$ be an invertible matrix with positive entries, and $b \in \mathbb{R}^n$ a vector with positive entries. When does $A^{-1}b$ have all positive entries? I am looking ...
0
votes
0answers
72 views

Show that a certain ratio of diagonal entries dominates a certain ratio of singular values

Let $D=[d_{ij}]_{i,j=1,\ldots,4}$ be a $4 \times 4$ “density matrix”, that is, a Hermitian (possibly symmetric) positive definite matrix having trace 1—that is, the (nonnegative) diagonal entries sum ...
4
votes
2answers
154 views

When does this linear matrix equation have a unique symmetric, positive definite solution?

I encountered the following matrix equation for $A, N, Q \in \mathbb{R}^{n \times n}$ and $A^T=-A$ and $N^T=-N$ $$[X,A]+N^TXN+Q = 0$$ where $Q$ is symmetric, positive definite. My final goal is to ...
0
votes
0answers
100 views

eigenvalues of matrix multiplication

Let $W_{a},W_{b}\in R^{n\times n}$ and $A \in R^{n \times n}$. What can we say about the sign of eigenvalues of the matrix $D$? Are they always positive or negative? $D= [\begin{matrix} W_{a} &...
3
votes
1answer
113 views

induced map on state spaces

A $*$-homomorphism $f:A\to B$ between C*-algebras is called non-degenerate if $f(A)B=B$. I guess that I can prove that a non-degenerate *-homomorphism always induces a map on state spaces $f^\ast:S(B)...
2
votes
0answers
153 views

Detecting positive solutions to an underdetermined linear system [closed]

Given an m by n matrix A with real entries, how can I determine if there exists a solution to the linear equation Ax=0 whose coordinates are all strictly positive? I am also interested in the variant ...
6
votes
1answer
244 views

On a trace condition for positive definite $2\times 2$ block matrices

Consider the following block matrix $$ X = \begin{bmatrix} A & C \\ C^\top & B\end{bmatrix}, $$ where $A\in\mathbb{R}^{n\times n}$, $B\in\mathbb{R}^{m\times m}$, and $C\in\mathbb{R}^{n\times m}...
6
votes
1answer
253 views

Restricting a continuous positive-semidefinite function to a finite subset

The following is a toy version of something I've been fiddling with and I thought it might be more efficient to post it as a question here. Just to fix definitions: for me, a complex-valued function $...
2
votes
1answer
157 views

Reference request: one of Poincare's theorems about positive functions

A function in $ \mathbb{R}[x_1, x_2] $ is called positive if $f = g/h$ with $g,h \in \mathbb{R}_{\geq 0}[x_1, x_2]$. Are there some references about the following theorem given by Poincare? Theorem. ...
6
votes
1answer
478 views

A sufficient condition (or not) for positive semidefiniteness of a matrix?

Let $A\in M_{n}(\mathbb{C})$ be a Hermitian matrix. If for all $z_1,...,z_n\in\mathbb{C}$, $$\sum_{i,j=1}^{n}A_{ij}z_{i}\overline{z_{j}}\ge 0$$ then A is positive semidefinite. I do not think the ...
2
votes
0answers
171 views

Sums of hermitian squares in free abelian group algebras and real positive semidefinite matrices

A little context for the following question, first. As Noah Stein notes in a comment below, the present question is closely related to the free semialgebraic geometry studied by Helton and his ...
8
votes
1answer
206 views

Positivity of power of positive PSD matrices

Background: Let $M$ be an $n\times n$ matrix with nonnegative entries. It is immediate that for any integer $k$, $M^k$ has nonnegative entries. Suppose now that, on top of having nonnegative entries, ...
3
votes
0answers
135 views

Spectra of certain totally positive matrices

Let $S$ be the set of $3 \times 3$ matrices $A$ satisfying the following conditions: All minors are $>0$ (i.e., $A$ is a strictly totally positive matrix); all principal minors are $>1$, except ...
18
votes
4answers
2k views

Why are quantum groups so called?

I've recently been to a seminar on quantum matrices. In particular the speaker introduced these objects as the coordinate ring of $2$ by $2$ matrices modulo some odd looking relations (see start of ...
14
votes
1answer
740 views

Is there a Galois theory for $\mathbb R_{\geq 0}$?

The broadest version of my question is the following: Where can I find algebrogeometric abstract nonsense that handles "rings" and "fields" like $\mathbb R_{\geq 0}$ in which there is no ...
5
votes
2answers
194 views

Positive Elements of a $\ast$-Algebra

In a $C^*$-algebra ${\cal A}$, a positive element is a one of the form $aa^*$, for some $a \in {\cal A}$. It is known that the set of positive elements is a cone, and that for $a,b$ two non-zero ...