bio | website | math.harvard.edu/~elkies |
---|---|---|
location | Harvard University, Cambridge, MA 02138 | |
age | 48 | |
visits | member for | 3 years, 11 months |
seen | 9 hours ago | |
stats | profile views | 23,208 |
[Not sure yet what to use this space for...]
Mar 28 |
comment |
Are there any Algebraic Geometry Theorems that were proved using Combinatorics?
(A generic smooth hypersurface, I suppose you mean: there are certainly hypersurfaces of each degree and dimension with nontrivial automorphism groups.) |
Mar 22 |
comment |
About distinct eigenvalues of a graph
Wait, a disconnected graph does not satisfy this condition for any polynomial $p$, and can easily have all eigenvalues distinct (e.g. the graph with 3 vertices and 1 edge). [Presumably $A$ is the adjacency matrix, though the problem statement never actually defines $A$.] |
Mar 22 |
comment |
Enumeration of $0-1$ matrices with determinant $1$
Why is that a reasonable guess? There are $2^{n^2}$ zero-one matrices, each with $|{\rm disc}| < n^{n/2}$, so I'd expect $2^{n^2 - O(n\log n)}$. |
Mar 20 |
comment |
Can you find squares in this class?
@Michael Stoll For $p=997$, your ratpoints program doesn't take long to find the minimal solution $(l,m) = (130792, 148329)$. |
Mar 18 |
comment |
Dynamics of electrons on a sphere
The answer to Q1 must be Yes, because the differential equation has a unique solution so it must retain the initial symmetry. For Q2 the particles must approach a stable local minimum, but in general they don't have to find a global minimum, and the probability of success might depend also on the strength of the damping. (Is a regular $n$-gon on the equator locally stable once $n>3$?) |
Mar 15 |
revised |
Structure of sign changes under the heat flow
Explain why $u$ solves the heat equation. |
Mar 14 |
awarded | Enlightened |
Mar 14 |
awarded | Nice Answer |
Mar 14 |
awarded | Necromancer |
Mar 14 |
awarded | Revival |
Mar 14 |
answered | Degree 17 number fields ramified only at 2 |
Mar 12 |
revised |
Structure of sign changes under the heat flow
Change notation from $N_u(\ldots)$ to $V_u(\ldots)$ to conform with OP's notation |
Mar 12 |
answered | Structure of sign changes under the heat flow |
Mar 12 |
comment |
The Maximal $\ell_2$ norm of a signed sum of vectors
There are $2^{n-1}$ possibilities, so for $n=3$ it's just the maximum of four candidates, which is easy to compute. For example, let $G$ be the Gram matrix with $(i,j)$ entry $G_{ij} = v_i \cdot v_j$. Then the maximum norm is at most $\|G\|^{1/2}$ where $\|G\| := \sum_{i,j=1}^3 |G_{ij}|$. Equality holds unless all $G_{i,j}$ entries are nonzero and an odd number of the entries above the diagonal are negative, in which case the maximum is the square root of $\|G\| - 2 \min_{i,j} |G_{ij}|$. |
Mar 11 |
comment |
$x^4+y^4$ powerful for relatively prime $x,y$
Yes I checked, but not that way: you don't want to wait for gp to count to $10^{16}$, let alone factor every number of at most $16$ digits! Much better to try all coprime $(x,y)$ of opposite parity with $x<y$ and $x^4 + y^4 < 10^{16}$; that's only 40 million or so factorizations, which take a few hours to try (and as expected find nothing). Still it's hopeless to reach $3 \cdot 10^{36}$ this way... Now that it's a couple of months since I posted this question, I should post a partial answer evaluating different strategies, the best of which might make the computation barely feasible. |
Mar 11 |
comment |
$2^n$-1 consisting only of small factors
According to that Wikipedia article, the result on $2^n-1$ is actually an earlier theorem of Bang which Zsigmondy generalized. |
Mar 11 |
comment |
every element with eigenvalue 1
There are still counterexamples in ${\rm SO}_{2n}$. For example, a symmetric power of ${\rm SO}_m$ for $m$ odd (e.g. if $m \equiv 1 \bmod 4$ then ${\rm Sym}^2({\bf C}^m)$ is an even-dimensional orthogonal representation of ${\rm SO}_m$ each of whose elements has a $1$-eigenvector). |
Mar 11 |
comment |
Fixed space of the square of a symmetric matrix over $\mathbb{F}_2$
In this context $A$ must be in ${\rm Sp}_{2n}$, yes? |
Mar 11 |
comment |
every element with eigenvalue 1
${\rm SO}_n$, for $n>1$ odd? |
Mar 6 |
comment |
Periodic points in C^2
In general this works at least when $7$ or $23$ is generalized to a prime $p \equiv -1 \bmod 8$ for which $-2$ is a primitive residue (any $x$ yields $(x,y)$ of period $(p-1)/2$). |