Does p-isomorphism preserve phase transition?

Consider two NP-complete languages that are polynomial-time isomorphic. If we know that one of them exhibits phase transition (with respect to some order parameter), does this imply that the other must also have phase transition, with respect to some (possibly different) order parameter?

Intuitively, I would expect that the answer is yes. The reason is that p-isomorphmism means that the two languages are "essentially the same," apart from a polynomial-time re-encoding. It would appear quite surprising if one of them has phase transition, while the other does not, despite their p-isomorphism. But how can the implication be proved formally?

• Can you give an example of a P-time isomorphism between two NP-complete languages? Feb 28 '16 at 18:12
• @ZiruiWang A very simple example is between Max Clique and and Max Independent Set. But there are many more (infinitely many), since it is known that all paddable NP-complete languages are P-isomorphic to each other. Feb 28 '16 at 19:16
• Then can you give an example of two NP-complete languages that are not P-isomorphic? You need to prove that there are no isomorphisms. Feb 28 '16 at 19:28
• @ZiruiWang No such proven example is known. If it were known, it would disprove the famous Isomorphism Conjecture. See also this earlier question: cstheory.stackexchange.com/questions/21264/… Feb 29 '16 at 2:31
• suggest this all could be formalized and proven "to some degree" with good definitions. there is no formal definition yet of a "phase transition" in (T)CS even though its been studied for decades (although erdos did some early work in the area); but presumably a lot of literature/ formalism in physics could be borrowed & be applicable & built on. also, phase transitions seem to have strong topological aspects. try Theoretical Computer Science Chat :) ... also agree the semifamous isomorphism conjecture of berman-hartmanis is relevant.
– vzn
Mar 3 '16 at 17:59

Yes, but I'm not sure it means much. Yes in a trivial way: suppose $\varphi$ is an isomorphism between two $\mathsf{NP}$-complete languages $L_1, L_2$, and $L_1$ exhibits a phase transition with respect to some parameter $m(x)$. Then so does $L_2$, with respect to the parameter $m_2(y) := m(\varphi^{-1}(y))$. (This relies on the fact that "phase transition" talks about the fraction of satisfiable instances jumping from 0 to 1, as a fraction of an exponential number of instances of a given size, and p-isomorphisms preserve densities up to a polynomial.)
I'm not sure this is such a meaningful statement, however, because the parameter $m_2$ above can be totally unnatural from the point of view of $L_2$. Most phase transitions of interest are with respect to some natural parameter (e.g. clause-to-variable ratio in k-SAT, density of a graph, etc.). But those natural parameters are defined in terms of some "internal" structure to the instances, not by just treating the problem instances as abstract strings in $\Sigma^*$ ($\Sigma$ your finite alphabet). But p-isomorphism does just treat inputs as abstract strings, and "knows nothing" about the internal structure that we like to impose on them. So, sure, you can say that all paddable languages have a phase transition since k-SAT does. But that doesn't tell you if, for example, solvability of quadratic Diophantine equations exhibits a phase transition in terms of any parameter that is natural from the point of view of Diophantine equations...
• Thank you, the answer is formally correct, but I realized that I did not phrase the question well enough to express what I am really interested in. It is this: if $L_1$ exhibits phase transition within the set of $n$-bit instances (for any $n$), does this imply that $L_2$ also exhibits phase transition in the same sense? Note that the mapping $m_2(y) := m(\varphi^{-1}(y))$ of the order parameter may not imply it, because it may map n-bit instances to instances of varying length. Therefore, it is not clear if $L_2$ has phase transition for instances of length n. Feb 29 '16 at 20:39
• Okay. Are you sure that's what you want to ask? Length is not preserved by p-isomorphism except up to polynomials. And, under the standard encoding of k-SAT, the phase transition in k-SAT is not among instances of the same length. Of course, you can use a different encoding, such as saying that all n-variable instances of k-SAT will be strings of length $2^k \binom{n}{k}$ (or whatever the exact right number is) indicating which clauses are present, but that's not exactly a natural encoding. Note that these two encodings are p-isomorphic, however. Feb 29 '16 at 21:18
• @AndrasFarago: Okay, excellent. But now I think a small variant of my answer still gives a positive-but-kind-of-trivial answer: let $n(x)$ be the number of vertices of the graph $x$, and $d(x)$ the density of edges. Let $L$ be your favorite NPC language with a phase transition in $d$ ("relative to" $n$, as you describe). Let $L'$ be p-isomorphic to $L$ via $\varphi$. Then $L'$ exhibits a phase transition in $d(\varphi(x))$ "relative to" $n(\varphi(x))$. Mar 1 '16 at 0:36