# Questions tagged [positivity]

The tag has no usage guidance.

147 questions
Filter by
Sorted by
Tagged with
90 views

• 5,041
136 views

• 697
331 views

### One-point compactification of ample line bundle

Given a smooth complex projective variety with an ample line bundle $L$, it seems to be folklore that one can get a one-point compactification of the total space $\mathbb{V}(L)$ of $L$ such that ...
• 151
315 views

### Solving systems of linear equations without introducing negative numbers

Consider a system of $n$ linear equations with $n$ unknowns, all of whose coefficients and right hand sides are nonnegative integers, with a unique solution consisting of nonnegative rational numbers. ...
• 19.5k
288 views

### Questions about hermitian positive semidefinite matrices

Motivation: I am faced with a $5 \times 5$ hermitian positive semidefinite matrix, depending on parameters, and I wish to show that it is positive definite, for any points in the parameter space (I ...
• 5,041
506 views

### Conditions for a power of a polynomial to have no negative coefficients

Consider a polynomial in one variable $p(x)$ with $p(0)>0$, and that is not a polynomial in $x^m$ for any $m>1$ (that is, the $gcd$ of the exponents appearing in $p(x)$ is 1). I would like to ...
• 397
328 views

### Strong positivity of Neumann Laplacian

There are many places in the literature where the positivity of some semigroups is treated. However I did not know anyone which states and proves the strong positivity even for the basic semigroups ...
• 1,330
1 vote
157 views

### Approximating a strictly increasing non-negative function on a non-negative domain by polynomials with non-negative coefficients

Let $f:[0,2]\rightarrow [0,\infty)$ be a strictly increasing smooth function. The Weierstrass approximation theorem says that we can uniformly approximate $f$ by polynomials. But my concern is ...
• 11
1 vote
195 views

### Semisimple Lie algebra and convexity

There is any relation between semisimple lie algebras and symmetric cones? I'm saying this because the classification of the euclidean Jordan algebras, dual by Koecher-Vinberg theorem to homogeneous ...
67 views

• 1,755
1k views

### Positivity of a one-variable rational function

Let's consider the $1$-variable rational function $$F(z):=\frac{1-z}{(z^3 - z^2 + 2z - 1)\,(z^3 + z^2 + z - 1)}.$$ Numerical evidence convinces me of the truth of the following. QUESTION. Can you ...
• 42.3k
259 views

• 2,534
338 views

### Tensor product of positive linear maps is positive

Let $\pi_1: A_1 \to B_1$ and $\pi_2: A_2 \to B_2$ be positive linear maps between complex $*$-algebras. Is the mapping $$\pi_1 \otimes \pi_2: A_1 \otimes A_2 \to B_1 \otimes B_2$$ again positive? I.e.,...
• 169
50 views

### Modular counting of integral points under sparse non-negativity

Given a polyhedron $$Ax\geq b$$ where every entry of $A,b$ are non-negative and $A\in\{0,1\}^{m\times n}$ and there are $O(1)$ (say $\leq8$) non-negative entries per row of $A$ is it possible to ...
• 13.7k
1 vote
43 views

• 13.7k
311 views

### How to check positive-definiteness of this function?

Consider a real random vector $\vec X =(X_1, X_2)$ with characteristic function $\phi(\vec t) \equiv \mathbb{E} \big[ e^{i \vec t \cdot \vec X} \big]$ (where $\vec{t}=(t_1, t_2) \in \mathbb{R}^2$) ...
• 139
278 views

• 573
58 views

### Seek help to formalize an argument to positiveness of function defined inductively by integral [closed]

I have on domain $[0,\infty)$ a known and positive function $f(x)$ and two unknown functions $g(x), h(x)$ that start positive when $x=0$. I also know that if $h(x)$ is positive, then $g(x)$ is also ...
• 123
642 views

### Is inverse Laplace Transform of a power of $s$ a positive function?

It's trivial that the Laplace Transform of a positive function is a positive function on $s$ domain. What about the inverse thought? What can we say about the positiveness of the inverse Laplace ...
• 123
278 views

### The d(abc)-theorem, the abc-conjecture and positive definite kernels over the natural numbers?

I noticed in the work of Hector Pasten, Th.1.11 the $d(abc)$ theorem and have a question, after doing some experiments with sagemath. Let $s_k(n) = \sum_{d|n}{ d^k }$ be the sum of divisiors $d$ of $n$...
• 2,534
1k views

• 15.7k
324 views

### Hahn's approach to Hilbert's 17th problem?

The Wikipedia article on Hahn Series mentions mentioned that these were studied by Hahn "in his approach to Hilbert's seventeenth problem". Is this correct? If so, what was this approach, ...
• 5,967
1 vote
64 views

• 3,781
304 views

### Positivity of a finite sum involving Stirling numbers of the first kind

Past days I've been trying to prove that certain polynomials have positive coefficients. After a lot of thinking, I came up with a formula for each coefficient individually, and they are not that ugly....
• 1,889