5,004 reputation
828
bio website cs.ox.ac.uk/people/…
location Oxford, United Kingdom
age 51
visits member for 4 years, 4 months
seen 1 hour ago

Mar
11
comment Computer software for periods
is there a reason that one log has ||, while the other has not?
Mar
11
comment Experimenting with the spider relator
Should be easy to check, I suppose.
Mar
10
comment An infinite sum which approaches a geometric series
In the integral, I'd try to replace the part that causes the absence of a "nice" form by a simpler upper bound, e.g. taking first few terms of the Taylor expansion.
Mar
9
comment An infinite sum which approaches a geometric series
Did you try approximating it by an integral?
Mar
9
reviewed Approve If X is a quasiprojective variety with condition S_2, and if its normalization Y is Cohen-Macaulay, is X necessarily Cohen-Macaulay?
Mar
6
comment Matrices congruent to each other via a permutation
moreover, spectrum is a very weak invariant - it doesn't even distinguish trees, leave alone more general graphs.
Mar
6
comment Matrices congruent to each other via a permutation
well, as I said, it's a classical idea in the graph isomorphism agorithms (and obviously generalised to the weighted case).
Mar
6
comment Matrices congruent to each other via a permutation
canonical representatives are surely possible, they are just hard to find, apparently. See my answer for details.
Mar
6
answered Matrices congruent to each other via a permutation
Mar
4
revised Fixed point property for the projectivization of manifold of fixed rank matrices
typo fix
Mar
4
comment Optimization over symmetric polynomials
well, my answer was to highlight the fact that in a similar setting complexity of solving is much better than exponential.
Mar
4
answered Optimization over symmetric polynomials
Mar
3
comment Invariant subalgebra and dual torus for symmetric group
still, it's not clear how $\mathcal{S}_3$ acts on your ring. It looks strange that it permutes generators and coefficients at the same time.
Mar
3
comment Invariant subalgebra and dual torus for symmetric group
what is that group you mean when you talk about "group ring algebra"? (every group algebra is a group ring, by the way)
Mar
3
reviewed Approve Classification of PDE
Mar
2
comment Approximation of convex body by polytopes
The paper you cite was published in 1975. This is not called "recent", IMHO...
Mar
2
reviewed Close Does SL(3,q) have a subgroup of order $q^3.(q^3-1)$
Mar
2
reviewed Close Question about of comeager set
Mar
2
reviewed Approve How to prove this Poincare Inequality
Mar
1
comment Solving a set of equations in a finite symmetric group
Could you give an example of your equations? E.g., can you have constants in your equations, i.e. something like $x_1^{i_1} a_1 x_2^{i_2} a_2...=1$, with $i_1$ fixed integers, $a_i$ fixed elements of $S_n$, and $x_i$ - variables?