Samuel Reid
|
Registered User
|
I am a student currently attending the University of Calgary for an Honours Pure Mathematics degree. I have done research on applications of simplicial complexes to tetrahedron packing and contact number problems in sphere packings, diagonal distance in quantum error correction codes, combinatorial modal logic, and recently nilpotent orbit varieties.
|
|
May 17 |
comment |
Sage or Magma Implementation of Nilpotent Orbit Varieties @Victor Protsak: What do you mean by "Macaulay seems more likely to have something of this kind." Any references you could point me to? |
|
May 17 |
revised |
Sage or Magma Implementation of Nilpotent Orbit Varieties added 359 characters in body |
|
May 16 |
asked | Sage or Magma Implementation of Nilpotent Orbit Varieties |
|
Apr 12 |
comment |
Asymptotics of the Number of Non-Isomorphic Equivalence Relations and the Number of Non-Isomorphic Relations @Martin Rubey: Ok thanks! :) |
|
Apr 12 |
comment |
Asymptotics of the Number of Non-Isomorphic Equivalence Relations and the Number of Non-Isomorphic Relations @Martin Rubey: Are you referring to the formula for $a(n)$? |
|
Apr 10 |
asked | Asymptotics of the Number of Non-Isomorphic Equivalence Relations and the Number of Non-Isomorphic Relations |
|
Apr 10 |
asked | Does the Hardy-Ramanujan Asymptotic Formula Partition Sets or Integers? |
|
Apr 9 |
asked | On the Combinatorial Classification of Modal Kripke Frames |
|
Mar 14 |
awarded | ● Nice Question |
|
Mar 6 |
revised |
Is Guillou-Quisquater existentially unforgeable against adaptive message attack under a random oracle model? added 84 characters in body |
|
Mar 2 |
comment |
Kissing Number of Spheres in Non-Euclidean Geometry @Henry Cohn: I did not notice the comment about the kissing number in nilgeometry before, thank you for pointing that out! I am already collaborating with Szirmai, so I will ask him about it. It's good to hear that there is interest in this idea, I will send you a message in the future if I end up writing a paper on this topic! |
|
Mar 1 |
comment |
Kissing Number of Spheres in Non-Euclidean Geometry @Henry Cohn: I have seen Szirmai's paper regarding packing density in the Thurston Geometries and although it is interesting, does not refer to the kissing number problem. It seems to be unstudied in the more obscure of the Thurston Geometries, so I think I will work on research regarding this topic! The point of my question was to find out if it had been done before, and if not, then I have free range to solve an interesting problem. |
|
Mar 1 |
asked | Kissing Number of Spheres in Non-Euclidean Geometry |
|
Feb 26 |
asked | Computing the Volume of Closed 3-Manifolds and the Geometrization Conjecture |
|
Feb 22 |
comment |
Is Guillou-Quisquater existentially unforgeable against adaptive message attack under a random oracle model? It's been up there for a day and hasn't got much activity, so I thought I'd ask it here, too. |
|
Feb 22 |
revised |
Is Guillou-Quisquater existentially unforgeable against adaptive message attack under a random oracle model? edited body |
|
Feb 22 |
asked | Is Guillou-Quisquater existentially unforgeable against adaptive message attack under a random oracle model? |
|
Feb 11 |
comment |
Adjoint of Pushout as Modal Operators in Internal Logic @Wouter Stekelenburg: I'm confused about how you could "give that name to either $\exists$ or $\forall$ and have your modalities being the pullback." If this is the case, then I would be interested in defining this as I think there are interesting properties that you could prove given that you can category-theoretically describe the modal operators of a theory. Do you have a more thorough description of this, or a reference that I can look at? It's not that your answer is unsatisfactory, but I don't fully understand it and want to find out where you know this from. |
|
Feb 11 |
asked | Adjoint of Pushout as Modal Operators in Internal Logic |
|
Feb 11 |
comment |
Completeness of a Theory from the Categorical Viewpoint @David Roberts: Thank you for the response, it seems that when you are initially learning about these topics that you end up asking the wrong questions due to a lack of understanding. If you are willing to give an explanation of how to construct the syntactic category, I would love to read it! |
|
Feb 11 |
asked | Completeness of a Theory from the Categorical Viewpoint |
|
Feb 6 |
comment |
How are Modal Logic and Graph Theory related? @Peter LeFanu Lumsdaine: Your comment is very interesting to me and I can't find many references on the topic you alluded to. Have you thought of anything I could look up regarding this? Possibly a survey article, or at least a journal article which defines the words you are using in the context of modal logic? Thanks |
|
Feb 3 |
asked | How are Modal Logic and Graph Theory related? |
|
Jan 3 |
awarded | ● Yearling |
|
Dec 1 |
comment |
The First Homology Group of Configuration Space and Knot Theory @Richard Kent, $C_{n}([0,1]) = \Delta^{n}$ and $C_{\hat{n}}([0,1]) = \coprod_{i=1}^{n!} \Delta^{n}$. |
|
Dec 1 |
asked | The First Homology Group of Configuration Space and Knot Theory |
