5,049 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

1h
comment Should one post a paper on the arXiv if it is not intended to be published?
Sure; e.g. I've put my PhD thesis on arxiv.
2h
answered Moment problem for discrete distributions
2h
comment Character table of $\mathrm{SL}_2(\mathbb{Z}/p^n\mathbb{Z})$
I suppose Kutzko's PhD thesis has the proofs, etc.
9h
reviewed Leave Closed Roots of 3 polynomials in two variables in terms of the coefficients
9h
reviewed Close Does the expected spreading of sample paths imply increase in variance?
9h
reviewed Leave Open Normal basis with cyclotomic units
12h
comment conjugate operation on vector bundle
please give more context. What is $\tilde{K}$?
12h
comment How large do algebraic representations need to be for packing circles in squares?
Could you explain how the formula you are eliminating from looks like? E.g. for optimisation they have Sect. 14.2 which might give a better bound...
22h
comment A certain matrix associated to graphs
yes, indeed, please see my 2nd answer.
23h
comment Is there any good survey on the hook length formula and related topics?
a good 2-page intro with references to books is here: ams.org/notices/200702/whatis-yong.pdf
23h
answered A certain matrix associated to graphs
1d
comment How large do algebraic representations need to be for packing circles in squares?
You're citing slightly outdated complexity results for quantifier elimination; they were improved by Basu-Pollack-Roy, cf e.g. perso.univ-rennes1.fr/marie-francoise.roy/bpr-ed2-posted1.html I don't know whether this improves your bound (perhaps it does, to something like $p(n)2^{O(n)}$, for $p$ a polynomial).
1d
comment A certain matrix associated to graphs
I don't see how you can choose orientation of cycles independently. You can choose orientations for edges, but that's all, no?
1d
comment Volume under the intersection of scaled simplices
looks like a particular case of the volume of a polytope.
1d
comment A certain matrix associated to graphs
Please double-check. The diagonal entries in particular look different to me, and perhaps either $A$ or $A^\top$ should be prefilled with $\pm T_{e}$ rather than $\pm 1$.
1d
reviewed Approve What polygons can be shrunk into themselves?
1d
reviewed Leave Open What should one “do” to “strictify” a triangle of transformations coming from a lax commutative triangle of functors?
1d
reviewed Reviewed Laplace equation in polar coordinates
1d
reviewed Approve Reformulation of a theorem for special case
1d
answered A certain matrix associated to graphs