• Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.


PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback


(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,047 questions , 2,200 unanswered
5,345 answers , 22,709 comments
1,470 users with positive rep
816 active unimported users
More ...

  What are the necessary or sufficient conditions for a renormalization group scheme to be “valid”?

+ 3 like - 0 dislike

Suppose I have a super operator $G$ which acts on Hamiltonians to produce a new Hamiltonian that is related somehow. For the purposes of this question, suppose that these Hamiltonians are defined on an $L\times L$ 2D lattice with spins at each point (but the question applies more generally). What are the conditions that $G$ implement a "valid" renormalization group scheme (in real space)? Is there a rigorous definition?

We are typically interested in phases when applying the RG scheme, hence presumably we want to preserve whether the Hamiltonian is gapped or gapless. I suppose this requires preservation of the low energy subspace.

Typically we see that given a family of Hamiltonian with parameters $a_1, a_2, \dots$, then a good RG scheme must map to a Hamiltonian of the same form 
$$G(H(\vec{a})) = H(\vec{a}'). $$

But what can these parameters include? Can they include the local Hilbert space dimension (i.e. can the local Hilbert space dimension diverge), or are they limited to the just coupling parameters? If so, why? 

Any references would be greatly appreciated! All I can find in the current literature are very "hand-wavey"/ intuitive notions of what a renormalization group is.

asked Jun 26, 2019 in Theoretical Physics by Qubissential (20 points) [ no revision ]
recategorized Jun 28, 2019 by Dilaton

Typically, the number of coupling/parameters/observables decreases. The hamiltonians are not analog. Irrelevant parameters ( from irrelevant observables ) are ignored while possible new emerging couplings are included. Actions instead hamiltonians work too.

@igael  Exactly -- this is my understanding too. However, it's not clear to me if schemes where, for example, the local Hilbert space dimension are considered valid. Suppose I have a scheme where after $k$ iterations the local Hilbert space dimension is $\mathbb{C}^{2^k}$ (e.g. by combining neighbouring spins but not removing any of the Hilbert space). Is there a reason why this wouldn't be considered valid? However, I haven't come across such a scheme in the literature...

Let's hope that we will get an answer from the renormalization expert... I don't yet understand well why GR is non renormalizable ( it is a semi group, if the current equations are somehow resulting from some hidden renormalization from a smaller scale, there is no clue to reverse the transformation. It is normal and must not be labelized "GR is not renormalizable" ).

1 Answer

+ 1 like - 0 dislike

In principle, the dimension of the Hilbert space can change, for example this holds for the Kadanoff RG which consists in merging small clusters of sites to a new site, which reduces the number of degrees of freedoms.

Each RG scheme chooses its own set of parameters, limited only by ingenuity. The set of parameters must be large enough such that the coarsening approximation introduces no significant error on the scales of interest, and useful enough such that the transformation can be carried out in some sensible approximation.

answered Jul 15, 2019 by Arnold Neumaier (15,787 points) [ no revision ]

@Arnold Neumaier I was under the impression that Kadanoff block decimation left the *local* Hilbert space dimension the same after each action; you merge the spins into one and then truncate the local Hilbert space so that the new spins only have two states: up and down.

In this sense the local Hilbert space dimension remains constant and does not grow after each iteration. Though I could be incorrect.

@Qubissential: Yes. Indeed, if you increase the local Hilbert space dimension, you are outside the standard RG framework. For how can one parameterize the result by a parameter vector $a$ of fixed structure? 

@ArnoldNeumaier If one were to construct a RG flow where the local Hilbert space were to diverge, even if the total Hilbert space after each step were reduced, is there a reason why this is necessarily an invalid RG scheme? Or would it just be considered unusual? 

I hope that question makes sense!

@Qubissential: To be able answer your lat question you'd have to come up with a toy model that actually does this, to see the implications and whether it succeeds in renormalizing the original problem. This determines whether the name RG is still appropriate.

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification

user contributions licensed under cc by-sa 3.0 with attribution required

Your rights