After becoming separated from Marv, I and the third hiker started to go back up the mountain. After a few minutes we met several other groups of people who also realized they were lost and followed them. I looked at the gpx trail of my route (I've been getting accustomed to gpx only in the last couple of days) and it seems that we went on a trail that made a big detour farther west before getting back to the trail that leads to Trail Crest.
Marv kept going down by himself and he reached Arctic Lake. He suffered from cold during the night, but he managed to maintain some body heat using the Mylar blanket he had with him. Today, while the search & rescue operation was in progress, he saw a helicopter hovering in the sky. He tried to use his mirror to get their attention, but he was not noticed. He kept walking towards Guitar Lake where a group of hikers directed him to the rangers station. On his way there, he met the rescue team from Sequoia National Park. He was later flown by helicopter to Lone Pine.
I also want to say that all of us were impressed by how professional and well organized the search & rescue teams are. We were also very impressed by how many people in Lone Pine were offering their help, such as by printing the flyers that were distributed at the Portal. Everybody at the Portal was also extremely helpful and were volunteering their time to spread the information about Marv.