Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
Questions in which polynomials (single or several variables) play a key role. It is typically important that this tag is combined with other tags; polynomials appear in very different contexts. Please, use at least one of the top-level tags, such as nt.number-theory, co.combinatorics, ac.commutative-algebra, in addition to it. Also, note the more specific tags for some special types of polynomials, e.g., orthogonal-polynomials, symmetric-polynomials.
4
votes
Complexity of a polynomial
Let $k_1,\dotsc,k_r$ be the even integers with even $2$-adic valuation in the range you want. For any polynomial $p$ meeting your condition, $p(x)-2^{n-1}$ has a root between $k_i-2$ and $k_i$, and a …
4
votes
Accepted
System of polynomial equations with a known root
If $p = (a_1,\dotsc,a_n)$ is a known solution and your system of equations is given by the ideal $I$, then a system of equations for all the other solutions is given as follows. Let $m_p = (x_1-a_1,\d …
1
vote
The relationship between the symmetric tensor product and sum of squares
z^2\})$,
although of course they map to the same polynomials. … But if $V = \operatorname{Sym}^d(\operatorname{span}\{x_1,\dotsc,x_n\})$
is already the space of degree $d$ polynomials in the $x_i$, then $\operatorname{Sym}^2(V)$ is not the space of degree $2d$ polynomials …
4
votes
Accepted
Polynomial as a sum of powers of linear forms (with restrictions)
So, this argument shows that you can impose any finite number of your nonvanishing restrictions and the $L^d$'s that remain are still sufficient to span all the degree $d$ homogeneous polynomials. … A reference for this is:
Białynicki-Birula, Schinzel, Representations of multivariate polynomials by sums of univariate polynomials in linear forms, Colloq. Math. 112 (2008), no. 2, 201–233. …
4
votes
Dimension of a general partial derivative of a linear subspace of polynomials
Change coordinates, or act by a linear transformation, so that $U$ is a general subspace and we are differentiating by $\partial = \frac{\partial}{\partial x_1}$. Since $U$ is general, it has a basis …
2
votes
The $k$ th symbolic power of a square free monomial ideal $\rm I$ is $\rm I^{(k)}= \cap_{p\i...
Some references include https://arxiv.org/abs/1309.5082 (see section 3) and Villareal, Monomial Algebras (2nd ed) 2015, Proposition 4.3.24-25.
3
votes
Accepted
Combinatorial formula for Betti numbers of a $k[x,y]$-module
It seems unlikely that the Betti numbers can be determined by the data you list (bigraded Hilbert function and ranks of multiplication maps). Consider the following possibility: $\dim M_{1,0} = \dim M …
2
votes
Accepted
Lüroth theorem for $k \subset k(f,g) \subseteq k(x)$
This answer is just repeating comments, above, about a negative answer to conjecture (2). I'm unable to say anything for question (1).
The conjecture (2) is not correct. As you note, $k(x) = k(x^3,x^ …
1
vote
Accepted
Conjectures inspired in the context of Casas-Alvero conjecture, via the logarithmic derivati...
I'm probably making a stupid mistake, but is Conjecture 1 possibly rather easy? At $\ell=0$ we're assuming
$$ p(x) = \frac{a_n}{n!} \left( \frac{n}{\frac{d}{dx} \log p(x)} \right)^n $$
Write $\frac{d} …
3
votes
Accepted
Modulo $x^2 + y^2 - 1$, is every homogeneous polynomial that is a square of a polynomial, ne...
These are the same polynomials that Will Sawin's answer ends with. …
6
votes
1
answer
1k
views
If some powers of polynomials are linearly independent, does it imply higher powers are also...
Let $P_1,\dotsc,P_k$ be polynomials. Assume they are pairwise non-proportional (i.e., any two of them are linearly independent). … The question Are large powers of polynomials linearly independent? concerns showing that there exists an $N$ giving independence. …
0
votes
Question about polynomials over finite fields
(Fix a line $\ell$ and sum over all univariate polynomials on $\ell$.) … There are $|\mathbb{F}|^2+|\mathbb{F}| = O(|\mathbb{F}|^2)$ lines in $\mathbb{F}^2$, and at most $d|B|$ linear factors of polynomials in $B$. …
5
votes
Accepted
Ideals: If $\langle f_1,f_2 \rangle = \langle g_1,g_2 \rangle$, then $\langle f_1-\lambda,f_...
The answer to your questions is no. The ideals $\langle x, y(1-xy) \rangle$ and $\langle x, y \rangle$ are equal, and maximal; but
$$ \langle x-\lambda, y(1-xy)\rangle \neq \langle x-\delta, y-\epsilo …
1
vote
About local maxima of multivariable polynomials
The set of critical points (in the domain) of a polynomial is the solution set of a system of polynomial equations viz the vanishing of the first derivatives. So it has finitely many irreducible compo …
1
vote
Linear homogenous polynomials that generates one quadratic polynomial
Each ideal $\langle P_i, Q_j \rangle$ is a radical ideal. So in fact $x_0 \in \langle P_i, Q_j \rangle$. That means that $x_0 \in \operatorname{span}(P_i,Q_j)$. This holds for each $i,j$.
Case 1. Eve …