5,271 reputation
929
bio website cs.ox.ac.uk/people/…
location Oxford, United Kingdom
age 51
visits member for 4 years, 6 months
seen 7 hours ago

May
13
comment the diagonal of a rational fraction is holonomic/the Rham cohomology of a hypersurface
polynomes, I guess :)
May
12
reviewed Close Smallest sum of original column entries in 2d matrix
May
11
reviewed Close Representations of Hamilton's real/complex quaternions algebra
May
9
reviewed Leave Open Where to buy premium white chalk in the U.S., like they have at RIMS?
May
9
reviewed Close Length of quotients and relations between $\ell(\mathrm{coker}\varphi),\ell(R/\det\varphi)$
May
9
reviewed Close What are the applications of Voronoi diagrams in pure mathematics?
May
9
reviewed Close Cohomology of conic bundle 3-folds
May
8
comment What is the complexity of intersecting two matrix algebras over a finite field?
The only hope seems to be to compute (partial) decompositions (using Meataxe, see e.g. homepages.warwick.ac.uk/~mareg/download/papers/bham_95/…) of the representations of the groups generated by $\mathcal{A}$ and $\mathcal{B}$, and hope they have small factors only. Then linear algebra becomes faster.
May
7
comment What is the complexity of intersecting two matrix algebras over a finite field?
Computational representation theory of groups is harder than linear algebra (this is a metatheorem :-)). My bet is that in general there cannot be a speedup hoped for in the question.
May
7
comment A multivariate polynomial question
multiaffine? do you mean multilinear?
May
7
reviewed Close Representation Theory of Lie Groups: Reference Request
May
7
reviewed Close Backlund counting formula for Dirichlet L-functions?
May
7
reviewed Close Generating pairs of $\mathfrak{su}(N)$ and $\mathfrak{so}(N)$ Lie algebras - characterization
May
7
reviewed Close cup-length of the first Chern class of complex grassmannian
May
5
reviewed Close Are mappings f(a, x) and f(b, x)-c conjugate for some parameter values a, b, and c?
May
5
reviewed Close If the quotient of an algebraic space $X$ by a finite group is a scheme, is $X$ a scheme?
May
5
comment If the quotient of an algebraic space $X$ by a finite group is a scheme, is $X$ a scheme?
I'm voting to close this question as off-topic because it has been answered in the comments
May
4
reviewed Close Examples of $C^*$-algebras in Noncommutative Geometry from A. Connes
May
2
comment A table for irreducible integral representation of finite cyclic groups
table? A theorem, perhaps...
May
2
reviewed Close Dimension of Ext modules