> Сборка мусора подразумевает, что освободившиеся объекты остаются в памяти, в виде мусора.

Это твое личное определение, общепринятое другое. Кстати не во всех реализациях ARC уничтожение происходит в момент исчезновения последней ссылки. Сюрприз?

> Таким образом при сборке мусора расход памяти увеличивается в разы (4-6) при сравнимом использовании CPU

Попробуй доказать это. Когда не справишся, сходи по этой ссылке http://benchmarksgame.alioth.debian.org/u64q/compare.php?lan...
И сравни потребление памяти в swift с ARC и в Go c Mark'n'Sweep. Тебя ждет большой сюрприз.
Я бы конечно мог тебе много рассказать на тему накладных расходов в этих двух подходах, но боюсь материал не для такого "специалиста".

> Но, если ты не специалист, то да, можно любое освобождение памяти называть
> сборкой мусора, даже перемещение указателя стека при выходе из функции.

Про знания таких "специалистов" хорошо сказано в википедии:

Tracing garbage collection is the most common type of garbage collection, so much so that "garbage collection" often refers to tracing garbage collection, rather than other methods such as reference counting.

То бишь, как я и говорил выше, кому то и винда синоним ОС.