Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 16th 2009
    Began entry with that name.
    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeOct 19th 2009
    So what kind of 'matrix mechanics' (which rig) applies to the Matsubara formalism ?
    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeOct 19th 2009

    I am not entirely happy with the terminology here:

    to me "matrix mechanics" is an old and outdated historical way to look at quantum mechanics. What is outdated about it is that it was an attempt to understand the structures in QM using naive finite dimensional linear algebra.

    But the operators in QM are in general not matrices, of course, but operators on infinite-dimensional Hilbert spaces. To some extent it is useful to think of these as being just matrices, but just to some extent.

    I think it would be better to speak about operator algebra linear over an arbitrary rig. In examples it makes sense to restrict to the fin dim case and speak of matrix mechanics there, but for the general case I find it a bit anachronistic.

    Even in fin-dim linear algebra: speaking of matrices is always a bit evil, of course. We don't want to be that evil on the nLab, do we?

    • CommentRowNumber4.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 19th 2009
    A name change is fine, but isn't there something snappier than 'operator algebra linear over an arbitrary rig'? How about 'rig mechanics?
    • CommentRowNumber5.
    • CommentAuthorJonAwbrey
    • CommentTimeOct 19th 2009

    Extremism in defense of Jacobins may be morally suspect, but Jacobeans are well and good on balance.

    • CommentRowNumber6.
    • CommentAuthorJonAwbrey
    • CommentTimeOct 19th 2009

    Re: A name change is fine, but isn't there something snappier than "operator algebra linear over an arbitrary rig"? How about "rig mechanics"?

    Where I come from, a rig mechanic might be regarded as one type of "roughneck". His immediate supervisor would be called a "tool pusher".

    But maybe "derrick" (= Der(Rig)?) would do the trick?

    • CommentRowNumber7.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 19th 2009

    I think one could keep the page title (since it's a well-known term) but also echo Urs and start with something like "Matrix mechanics is an old-fashioned name for..." and then work one's way into talking about the new-fangled ways of thinking about what this is all about.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeOct 19th 2009

    I am fine with Todd's suggestion, but maybe just one more remark to amplify the point even further:

    in the field of algebraic quantum mechanics and algebraic quantum field theory (AQFT) there is a strong consensus that QM is all about C-star algebras and in particular von Neumann algebras. Parts of that is presently be absorbed and re-expressed by factorization algebra methods, where people do indeed also consider the transition from classical to qm-systems by changing their codomains. Kevin Costello keeps on his web page the pdf file version of a book he writes on this stuff.

    • CommentRowNumber9.
    • CommentAuthorzskoda
    • CommentTimeOct 19th 2009
    • (edited Oct 19th 2009)
    I am not used even to talk "rig", even more rig mechanics.

    Heisenberg DISCOVERED quantum mechanics doing Fourier modes and calculating with amplitudes.
    One can always start with bound system and go to the limit of infinite-dimenional system, thus
    matrix mechanics and discrete spectrum does show the essence. It is like sums vs. integrals. You say that sum is outdated way of thinking of integrating ? I don't think so and will never be.

    On the other hand, there are infinite matrices all around the place, and I see no reason to forbid matrices once you are in infinite-dimensions. The only thing is one has to be careful with spectral measures once in the continuous spectrum.

    So how about my question ? Whih "rig" corresponds to Matsubara formalism ? I mean once you talk about formalising finite-temperature and quantum world in the same formalism, why not testing it if one can include the most useful formalism synthesising the two.

    By the way, Lawvere was never happy with Hilbert space.
    • CommentRowNumber10.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 20th 2009
    I've never looked at the Matsubara formalism, but maybe that's why John hinted to us here that 'temperature lives on the Riemann sphere'.