Может ли HashMap уменьшаться в размере?

Да. Когда количество элементов в Map становится значительно ниже порога уменьшения (shrink threshold), размер внутреннего массива (table) может быть уменьшен. Это происходит в Java 8 и более поздних версиях при удалении элементов.

Порог уменьшения рассчитывается как: shrink threshold = table.length / 2. Порог увеличения (resize threshold) - loadFactor * table.length.

При удалении элемента, если текущее количество элементов (size) меньше порога уменьшения и меньше порога увеличения, происходит уменьшение размера внутреннего массива.

// Пример логики (упрощенно)
// Внутренний метод java.util.HashMap#removeNode представлен концептуально
if (currentNode.hash == hash && ((k = currentNode.key) == key || (key != null && key.equals(k)))) {
    // ... удаление узла ...
    if (--size < (table.length / 2) && size < (int)(loadFactor * table.length)) {
        // size уменьшился и ниже порога уменьшения И ниже порога увеличения
        // Вызов метода для изменения размера с уменьшением
        resize();
    }
    // ...
}

// Метод java.util.HashMap#resize (упрощенно)
final Node<K,V>[] resize() {
    Node<K,V>[] oldTab = table;
    int oldCap = (oldTab == null) ? 0 : oldTab.length;
    // ... логика определения нового размера (newCap) ...

    // Если размер текущей таблицы больше минимального размера (16),
    // и количество элементов стало меньше порога уменьшения
    if (oldCap > MINIMUM_CAPACITY && size < (oldCap / 2)) {
        newCap = oldCap / 2; // Уменьшаем размер внутреннего массива вдвое
    } else if (oldCap > 0) {
        newCap = oldCap * 2; // Обычное увеличение размера
    }
    // ... перераспределение элементов в новую таблицу ...
}

Важно отметить, что уменьшение происходит только при вызове методов, изменяющих содержимое HashMap, таких как remove(). Простое освобождение ссылок на объекты, которые хранятся в HashMap, не приводит к его уменьшению.