Questions tagged [positivity]
The positivity tag has no usage guidance.
146
questions
15
votes
1
answer
932
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 ...
- 53.1k
6
votes
2
answers
1k
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 ...
- 465
6
votes
0
answers
115
views
Recursions which define polynomials?
Let $k$ be a positive integer and let
$$h(n,k,q)=\frac{1-(1+q^{k})q^{2k(n-1)+1}+q^{2}}{1-q^{2n-1}}h(n-1,k,q)-\frac{(1-q^{k(2n-3)})(1-q^{2k(n-1)})q^2}{(1-q^{2n-1})(1-q^{2n-3})}h(n-2,k,q)$$
with ...
- 5,572
17
votes
3
answers
1k
views
Varieties with an ample vector bundle mapping to their tangent bundle
A well-known result of Andreatta and Wisniewski says: Let $X$ be a projective complex manifold whose tangent bundle $T_X$ contains an ample sub-bundle $\mathscr{E}$. Then $X$ is isomorphic to ...
- 22.2k
12
votes
0
answers
703
views
Product of a Schubert polynomial and a double Schubert polynomial
Let $S_u(x)$ be a Schubert polynomial and let $S_v(x;y)$ be a double Schubert polynomial. Then their product can be expressed in terms of the double Schubert polynomials as
$$S_u(x)S_v(x;y)=\sum_w{c_{...
- 2,038
16
votes
1
answer
3k
views
positive not completely positive maps
In extension to this question
Positive but not completely positive?
I'd like to know, for $k>1$, examples of $k$-positive linear maps of a matrix algebra into itself that are not $k+1$-positive. (...
- 3,771
5
votes
0
answers
354
views
Non-linear positive map
In the paper titled "Nonlinear completely positive maps" M. D. Choi and T. Ando extended natural definition of completely positive maps ignoring the linearity condition (Aspects of positivity in ...
- 421
5
votes
0
answers
246
views
A weak Perron-Frobenius property for sets of positive matrices
A popular form of the Perron-Frobenius theorem states the following result: if $A$ is a $d \times d$ real matrix all of whose entries are positive, then the spectral radius of $A$ is a simple ...
- 6,186
4
votes
1
answer
188
views
Non-negative decomposition of a non-negative matrix
Consider a matrix $A\in{\bf M}_{n\times m}({\mathbb R})$, whose entries are non-negative. Let $r$ be the rank of $A$.
It is well-known that $A$ decomposes as $x_1y_1^T+\cdots+x_ry_r^T$ with $x_j\in{\...
- 51.6k
4
votes
1
answer
137
views
On primitive type matrix ranks
Given a non-negative matrix $A$, we call $A$ primitive if $A^k$ has all strictly positive entries with some $k>0$. Given primitive $A$, is there relation between smallest $k$ such that $A^k>0$ ...
- 13.7k
5
votes
0
answers
130
views
Notions of positivity for q-polynomials
What are some existing notions of positivity (or nonnegativity) for $\mathbf{R}[q]$ such that all $q$-integers $[n]_q = 1+q+...+q^{n-1}$ are positive, as well as all polynomials that can be expressed ...
- 19.4k
9
votes
2
answers
451
views
Polynomial-time algorithm for determining whether a polynomial is positive on $\mathbb{N}$
Does there exist a polynomial-time algorithm to determine whether a given polynomial $p(n)$ with integer coefficients is positive on $\mathbb{N}$, in the sense that $p(n) \geq 0$ for all $n\in\mathbb{...
- 93
5
votes
1
answer
321
views
Largest area of a compactly supported positive definite function
Consider a continuous function $f: \mathbb{R} \rightarrow \mathbb{R}$, supported on $[-1,1]$, of positive type. Assume $f(0) = 1$; what is the "largest area" $\int f\,dx$ that can be achieved?
To be ...
- 195
4
votes
1
answer
223
views
Another kind of the positivity of matrices
For given $n$, the following $n\times n$ complex matrix $M=M^{\dagger}$ is called positive, if
$x^{\dagger}M x\geq 0$
holds for all complex vector $x=(z,z^2,\cdots,z^n)^T$ with arbitrary complex $z$...
- 1,493
2
votes
1
answer
901
views
Positive definite quadratic forms on Banach spaces
This is a question about characterizing Hilbert spaces in terms of quadratic forms. Let $X$ be a real Banach space and $E$ a bounded quadratic form on it, it is called positive definite if $E(x,x)\...
- 1,599
3
votes
2
answers
5k
views
Big and Nef divisors
In Example 2.2.19 of
Lazarsfeld, Positivity in Algebraic Geometry I,
I found the following statement:
Let $D$ be a divisor on an irreducible projective variety $X$. Then $D$ is nef and big if and ...
user47036
5
votes
3
answers
3k
views
Weak Fano and Log fano varieties
A projective smooth variety $X$ is weak Fano if $-K_X$ is nef and big. We say that $X$ is log Fano is there exists a divisor $D$ such that $-(K_X+D)$ is ample and $(X,D)$ is Kawamata log terminal.
Is ...
user49214
5
votes
4
answers
629
views
Exponential of a specific hypergeometric series
This is motivated by this question.
Let $f$ be the hypergeometric series
$ f(x) = 2 x \, _{4}F_3([1, 1, 4/3, 5/3], [2, 2, 2], 27 x) $
which is explictly given by
$ f(x) = \sum_{n \geq 1} \frac{(3n-...
- 3,507
1
vote
2
answers
808
views
Push-forward of a nef bundle
Let $f:X\rightarrow Y$ be a finite morphism between normal varieties. Let $E$ be a vector bundle on $X$ and let us consider its pushforwad $f_{*}E$.
Does anyone know an example where $E$ is nef but $...
- 8,852
7
votes
2
answers
538
views
Higher degree generalizations of the Hard Lefschetz Theorem
Let $M$ be a $2d$-dimensional manifold. We say that $\omega \in H^2(M)$ has the Hard Lefschetz Property (HLP) if multiplication with $\omega^j$ is an isomorphism $H^{d-j} \to H^{d+j}$. This holds for ...
- 39.3k
6
votes
0
answers
539
views
(Relative) ampleness on algebraic spaces
This is a follow-up (of sorts) to this question.
Let $f : X \to T$ be a proper morphism of schemes. Then the notion of a relative ample (or $f$-ample) line bundle can be defined in several ...
- 884
1
vote
1
answer
111
views
Does every $\alpha$-normal ordered Banach space have minimal upper bounds?
Let $\alpha>0$ and $X$ be an $\alpha$-normal (meaning, for $x,y\in X$,
$0\leq x\leq y$ implies $\|x\|\leq\alpha\|y\|$) ordered Banach space
with closed generating cone $X_{+}$. If $X$ is reflexive, ...
4
votes
1
answer
366
views
If $L$ is positive, $E\otimes L^k$ is Nakano positive for some $k$
I'm trying to prove the following:
Let $L$ be a positive holomorphic line bundle on a compact complex manifold $X$. For any hermitian holomorphic vector bundle $E$ on $X$, there is $k \in \mathbb{N}...
- 18.8k
3
votes
1
answer
237
views
Degree principles for non-symmetric polynomials
A theorem of Timofte says that a symmetric polynomial inequality of degree $d$ holds on $\mathbb{R}^{n}_{+}$ if and only if it holds for all vectors in $\mathbb{R}^{n}_{+}$ with at most $\max\{\lfloor ...
- 6,882
1
vote
1
answer
331
views
Sommese's theorem (generalized Weak Lefschetz) in arbitrary characteristic?
Sommese's theorem is a natural generalization of the Weak Lefschetz; for a smooth projective (connected) $X$, an ample vector bundle $E/X$ of rank $e$, and a section $s:X\to E$ it states that the ...
- 16.5k
3
votes
0
answers
150
views
Quadratic forms over symmetric $3\times3$ matrices
This question is motivated by a technique called compensated compactness (CC), which was elaborated by L. Tartar and F. Murat for the analysis of PDEs. The foreword of CC is a problem about quadratic ...
- 51.6k
2
votes
1
answer
205
views
Positive definite functions on G from Hilbert space vectors?
Let $G$ be a countable discrete group. Given a vector $\xi \in l^{2}(G)$, is there any way to naturally construct a positive definite function on $G$ using $\xi$?
This question is rather vague and ...
3
votes
1
answer
133
views
Mapping a subset of semi-definite matrices through arcsinus
Hi
I am meeting a problem concerning semi-definite positive matrices, and I have no clue concerning them, the classical approaches I know have not given any result, maybe people used to manipulating ...
- 1,268
10
votes
2
answers
752
views
What is the physical difference between states and unital completely positive maps?
Mathematically, completely positive maps on C*-algebras generalize positive linear functionals in that every positive linear functional on a C*-algebra $A$ is a completely positive map of $A$ into $\...
- 6,997
3
votes
0
answers
125
views
Proving non-negativity of a hypergeometric type sum
I am trying to prove the following inequality:
$$
\sum\limits_{k=0}^{m}\frac{(a)_k(a+\mu)_{m-k}}{(c)_k(c+\mu)_{m-k}}\binom{m}{k}(m-2k+\mu)\geq{0},
$$
where $(a)_0=1$, $(a)_k=a(a+1)\cdots(a+k-1)$ is ...
- 91
12
votes
3
answers
7k
views
Matrices whose inverse is positive
I have recently come across some examples of matrices with a special structure.
I will describe these matrices here and I hope that somebody will be able
to point out a source where I can find more ...
- 123
10
votes
1
answer
858
views
Numerically equivalent effective divisors and semiampleness
Recall that a divisor $M$ on a variety $X$ is said to be semiample if $kM$ is base point free for a certain $k > 0$.
Being semiample is not a numerical property (take for example torsion and a non-...
- 195
8
votes
2
answers
1k
views
When is the norm of all positive operators on an ordered Banach space determined by their values on the positive cone?
I'm trying to investigate the interplay between the norm and cone of positive elements in ordered Banach spaces. In particular, I would like a nice characterization of when the norm of a positive ...
6
votes
0
answers
435
views
Do there exist weak Lefschetz-type statements that were proved for varieties over complex numbers, but were not proved in finite characteristic?
As far as I understood the situation (reading section 3.5B of Lazarsfeld's "Positivity in algebraic geometry" and also some of the references), some of weak Lefschetz-type statements known rely on '...
- 16.5k
3
votes
1
answer
629
views
Which (reducible) projective varieties could be presented as 'relatively smooth' hyperplane sections of irreducible (normal) ones?
Are there any restrictions known on a (complex reducible) projective variety $Y$ that can be presented as $Z\cap H$, where $Z$ is a normal (or just irreducible) closed subvariety of a smooth ...
- 16.5k
1
vote
2
answers
1k
views
Norm of Cesaro matrix
EDIT (28.11.2013).
This math.SE question about Cesaro operators should also be of interest (it discusses upper bounds; Noam has produced lower bounds below)
Federico's recent question Norm of upper ...
- 28.4k
1
vote
2
answers
814
views
Positive operators - norm equality
I hope that somebody can help me with the following problem:
Let $A$ be a positive operator on $\mathbf{B}(\mathcal{H})$, ( $\mathcal{H}$ is a Hilbert space) with its spectral measure $E$. Show that ...
- 85
12
votes
3
answers
803
views
Signed factors of harmonic polynomials
Let ${\rm Harm}_n^d$ be the space of real harmonic polynomials in $n$ variables, homogeneous of degree $d$. If $P\in{\rm Harm}_n^d$, then
$$\left(\frac{\partial^2}{\partial x_1^2}+\cdots+\frac{\...
- 51.6k
11
votes
0
answers
361
views
Positivity of polynomial sequences via generating series
In this question I address
the problem of proving the nonnegativity of a numerical sequence
$a_0,a_1,a_2,\dots$ via generating series technique. In the notation
$A(x)=\sum_{n=0}^\infty a_nx^n\ge0$ ...
- 13.4k
13
votes
3
answers
839
views
Effective algorithm to test positivity
Let $f(x_1,\ldots, x_n)$ be a real polynomial in several variables. Is there an effective algorithm to test whether $f$ is positive (or nonnegative) on the whole of ${\mathbb{R}}^n$?
user2529
7
votes
1
answer
898
views
volume of big line bundles under finite morphisms
Let $X$, $Y$ be complex projective varieties of dimension $n$, let $f:X \rightarrow Y$ be a surjective finite morphism of degree $d$ and let $B$ be a big line bundle on $Y$.
Is that true that vol($f^*...
- 195
16
votes
0
answers
905
views
Polynomials with presumably positive coefficients
After seeing that some positivity problems get their solutions on MO,
I am quite enthusiastic of posing my (and not only) problem of positive flavour.
In order to state it, I have to introduce the ...
- 13.4k
2
votes
2
answers
949
views
Nakano semipositivity
Let $X$ be a compact Kaehler manifold.
What is a good, possibly algebraic-geometric, way to think to Nakano semipositivity of holomorphic vector bundles on $X$?
Is the trivial line bundle $\mathcal{O}...
- 1,150
6
votes
7
answers
2k
views
Nef divisors with few global sections
Are there nef divisors D on a complex projective manifold X such that $h^0(X,D)$ is less than or equal to $\dim X$?
Edit: In fact I'm interested in nef line bundles D, not just divisors.
user2529
20
votes
3
answers
4k
views
sum of squares in ring of integers
Lagrange proved that every positive integer is a sum of 4 squares.
Are there general results like this for rings of integers of number fields? Is this class field theory?
Explicitly, suppose a ...
user2529
29
votes
7
answers
4k
views
When is a monic integer polynomial the characteristic polynomial of a non-negative integer matrix?
Suppose $P(x)$ is a monic integer polynomial with roots $r_1, ... r_n$ such that $p_k = r_1^k + ... + r_n^k$ is a non-negative integer for all positive integers $k$. Is $P(x)$ necessarily the ...
- 115k