367 reputation
414
bio website cs.mcgill.ca/~akazna
location Montreal, Canada
age 25
visits member for 4 years, 1 month
seen Sep 14 at 3:45

From the School of Computer Science and Department of Psychology at McGill University, I marvel at the world through algorithmic lenses. My specific interests are in quantum computing, evolutionary game theory, modern evolutionary synthesis, and theoretical cognitive science. Previously I was at the Institute for Quantum Computing and Department of Combinatorics & Optimization at the University of Waterloo and a visitor to the Centre for Quantum Technologies at the National University of Singapore.


Apr
15
comment Relations between Arboreal Group Theory and Tree Group Actions?
You've been asking lots of question with many off-topic or otherwise poor (and some of them interesting) across a number of accounts. I will migrate this question since it doesn't belong here, but please try to respect the scope of the site. If lots of users are telling you that a question is off-topic or poor then please don't ask it here; try another site. We appreciate your excitement about cstheory, but this is a formal warning that you have to stay within community norms. Continued circumventions will be met with suspensions or account deletions (since your accounts are unregistered).
Mar
16
awarded  Citizen Patrol
Mar
14
awarded  Booster
Mar
14
awarded  Announcer
Feb
17
comment Grover's Quantum Search Algorithm
You might be interested in this question on cstheory for a more thorough discussion which decomposes $U$ into gates of finite width.
Feb
12
comment Separations between notions of rank for modules over commutative (semi-)rings with no zero divisors.
I don't need the three definitions to be consistent, I am happy with them being different, I just want to see if I can bound the gap that separates them by something reasonable. Your examples in P1 shows that for my initial flawed definition of linear-independence, I can't bound it at all (better than 1 versus max of $n$, $m$) if I allow arbitrarily large coefficients, and if I count the number of bits to represent coefficients, I still can't hope for a small gap.
Feb
12
comment Separations between notions of rank for modules over commutative (semi-)rings with no zero divisors.
Yes, the ring is a module, but I was hoping for examples that really use the module-ness and not just the ring-ness. I know, I'm impossible to please! Sorry.
Feb
12
comment Separations between notions of rank for modules over commutative (semi-)rings with no zero divisors.
I modified the definition of linear independence I use to better approximate the one you give in paragraph 2 but that will still work for what I need on semi-rings. Thanks for your counter-example in helping clarify my answer, I will give a +1 but won't accept in hopes of other answers. Sorry for the "chase the definition" edits, I am trying to formulate this precisely in my mind since it comes from specific applications.
Feb
12
comment Separations between notions of rank for modules over commutative (semi-)rings with no zero divisors.
Your paragraph 1 example is very much like the one I tried to rule out by excluding zero-divisors, and can be generalized to give arbitrary separation by, for instance, taking the first $n$-primes with product $N = p_1\cdot...\cdot p_n$ and then taking a row matrix $M = [a_1 , ... , a_n]$ where $a_j = P/p_j$.
Feb
12
comment Separations between notions of rank for modules over commutative (semi-)rings with no zero divisors.
Thanks for the example in paragraph 1, it still rides in on just the ring, so I need to think about my question more. Paragraph 2: I specifically don't want to use that definition of algebraic dependence (see note 1) because in semi-rings we don't have minus and so it isn't clear that it is more general but just different (same with rings with zero-divisors). Paragraph 3: I am not looking for other ranks, but specifically the ones I defined in the question (this comes from an application in CS); is there a way in which the definition of rank you give here relates to the two I list?
Feb
12
asked Separations between notions of rank for modules over commutative (semi-)rings with no zero divisors.
Feb
8
awarded  Announcer
Jan
29
comment Minimize the length of intersection of the set of intervals
This question was cross-posted to cstheory.
Jan
27
comment Demonstrating that rigour is important
I hope I'm not flogging a dead horse, but there is a great discussion on cstheory that was spawned by this thread and fits with @gowers 'further addition' section. In particular, it is a list of cstheory results where the rigorous demonstration of an 'obviously true' statement resulted in interesting insights.
Nov
14
awarded  Announcer
Sep
4
awarded  Popular Question
Jun
25
awarded  Suffrage
Aug
25
comment how to use arxiv?
there is some good advice here: cstheory.stackexchange.com/q/7574/1037
Aug
25
comment how to use arxiv?
I asked a similar question on putting up things that don't go to journal of the theoretical CompSci version of MO: cstheory.stackexchange.com/q/7574/1037 and the consensus seemed to be that its fine as long as its not something you plan to extend and make into a future article (to avoid redundancy and confusion).
Aug
9
awarded  Yearling