The tag has no usage guidance.

learn more… | top users | synonyms

6
votes
1answer
221 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
131 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 ...
6
votes
1answer
126 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
73 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$, ...
19
votes
4answers
1k 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 ...
12
votes
0answers
334 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
129 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 ...
6
votes
0answers
97 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 ...
15
votes
2answers
817 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 ...
11
votes
0answers
380 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_{...
11
votes
1answer
274 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. (...
5
votes
0answers
180 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 ...
5
votes
0answers
120 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 ...
4
votes
1answer
149 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{\...
4
votes
1answer
85 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$ ...
4
votes
0answers
101 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 ...
8
votes
2answers
177 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{...
5
votes
1answer
172 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 ...
4
votes
1answer
204 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$...
3
votes
1answer
318 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
vote
2answers
949 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 ...
4
votes
3answers
626 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 ...
5
votes
4answers
293 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-...
1
vote
2answers
310 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 $...
7
votes
2answers
363 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 ...
5
votes
0answers
211 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 ...
1
vote
1answer
75 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
1answer
303 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{...
3
votes
1answer
143 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 ...
0
votes
1answer
214 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 ...
3
votes
0answers
131 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 ...
2
votes
1answer
177 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
1answer
120 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 ...
8
votes
2answers
402 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 $\...
3
votes
0answers
114 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 ...
5
votes
3answers
2k 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 ...
5
votes
1answer
454 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-...
5
votes
2answers
617 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 ...
5
votes
0answers
294 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 '...
2
votes
1answer
396 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 ...
1
vote
2answers
676 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 ...
1
vote
2answers
684 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 ...
10
votes
2answers
400 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{\...
10
votes
0answers
250 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$ ...
10
votes
3answers
479 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$?
4
votes
1answer
374 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^*...
13
votes
0answers
707 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 ...
1
vote
2answers
586 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}...
4
votes
7answers
1k 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.
15
votes
3answers
2k views

sum of squares in ring of integers

Lagrange proved that every (positive) rational integer is a sum of 4 squares. Are there general results like this for ring of integers of a number field? Is this class field theory? Explicity, ...