Случайные функции низкой степени как вещественный полином

21

Есть ли (разумный) способ выбрать равномерно случайную булеву функцию , степень которой как вещественный полином не превосходит ?f:{0,1}n{0,1}d

РЕДАКТИРОВАТЬ: Нисан и Сегеди показали, что функция степени зависит не более чем от координат, поэтому мы можем предположить, что . Проблемы, как я вижу, следующие: 1) С одной стороны, если мы выберем случайную булеву функцию для координат , то ее степень будет близка к , намного выше, чем . 2) С другой стороны, если мы выберем каждый коэффициент степени не более случайным образом, то функция не будет булевой.dd2dnd2dd2dd2ddd

Таким образом, вопрос заключается в следующем: есть ли способ выборки логической функции низкой степени, которая позволяет избежать этих двух проблем?

Игорь Шинкарь
источник
3
Вы хотите, чтобы фактическая функция была ограничением действительного полинома степени входами 0-1, или вы хотите, чтобы тогда и только тогда, когда для некоторого действительного полинома из степень не более ? Или что-то другое? dе(Икс)знак равно1п(Икс)>0пd
Джошуа Грохов
3
@JoshuaGrochow Я хочу функцию, чье разложение Фурье имеет степень . Это ваш первый вариант. d
Игорь Шинкарь
1
Какая у тебя модель? Запись записанной функции занимает времени, или если вы хотите вывести разложение Фурье. Является ли фиксированной константой? 2nnO(d)d
MCH
3
Я добавил еще несколько деталей в вопрос.
Игорь Шинкарь
1
@MCH Если функция степени (с нулевым весом выше уровня ), то она не может зависеть от более чем координат. Это результат Нисана и Сегеды. Подумайте об особом случае . В этом случае мы знаем, что функция зависит от (не более) 1 координаты. д д 2 д д = 1ddd2dd=1
Игорь Шинкарь

Ответы:

11

Вот алгоритм, который побеждает тривиальные попытки.

Следующее является известным фактом (упражнение 1.12 в книге О'Доннелла): если f:{1,1}n{1,1} - булева функция, у которой степень d является полиномом, то каждый коэффициент Фурье из f , F ( S ) представляет собой целое число , кратное 2 - d . Используя Коши-Шварца и Парсеваля, получаем, что существует не более 4 d ненулевых коэффициентов Фурье и S | f^(S)2d4dS|f^(S)|2d.

Это предполагает метод выборки -

  1. Выберите случайные неотрицательные целые числа aS для всех множеств S[N] размера не более d , сумма которых до 4d .
  2. Пусть f(x)=SaS2dχS(x).
  3. Убедитесь, что f логическое. Если так, верните f . Иначе вернитесь к 1 .

Обратите внимание, что для каждой степени d полинома f точно один выбор случайных целых чисел на шаге 1 сгенерирует полином f . Вероятность получения определенной степени d полинома равна

1/((nd)+4d4d)=1/O(n/d)d4d.
Следовательно, нам нужно повторить этот процесс самое большееO(n/d)d4dраз, в ожидании, прежде чем остановиться.

Осталось показать, как выполнить шаг 3. Можно определить A={S:aS0} . Проверьте это |A|d2d (который следует проводить с помощью нисан-Szegedy для каждой булевой функции) , а затем оценить f на все возможные присвоения переменных в A . Это можно сделать вовремя 2d2d . Гур и Тамуз предлагают гораздо более быстрый рандомизированный алгоритм для этой задачи, однако, поскольку эта часть не доминирует во временной сложности, этого достаточно.

В целом алгоритм выдает случайную выборку степени d полинома во времени O(nd)d4d. В предположении, чтоnd2dвременная сложность составляет2O(d24d).

Это не полиномиальное время выборки алгоритма, хотя он гораздо быстрее , чем выборка совершенно случайная функции (в этом случае вероятность получения степени специфического d полином 1/22n ).

Авишай Тал
источник
dn=10d2d