Некоторые обобщения функции Эйлера с элементарными симметрическими суммами

Основная информация

• ID статьи: 2511.19502
• Название: Some Generalizations of Totient Function with Elementary Symmetric Sums
• Авторы: Udvas Acharjee, N. Uday Kiran
• Учреждение: Department of Mathematics and Computer Science, Sri Sathya Sai Institute of Higher Learning, Puttaparthi, India
• Классификация: math.NT (Теория чисел)
• Дата публикации: 26 ноября 2025 г. (препринт arXiv)
• Ссылка на статью: https://arxiv.org/abs/2511.19502v1

Аннотация

В данной работе обобщаются некоторые функции Эйлера с использованием элементарных симметрических многочленов и выводятся явные формы произведений для функций Эйлера, связанных со второй элементарной симметрической суммой. Это исследование развивает работу Тота (2022) из журнала The Ramanujan Journal, в которой функции Эйлера обобщались с помощью первого и k-го элементарных симметрических многочленов. Авторы также предоставляют наблюдения о поведении функций Эйлера относительно произвольного j-го элементарного симметрического многочлена и излагают метод решения ограниченных линейных сравнений с ограничениями наибольшего общего делителя квадратичных форм. Наиболее важно, что в статье доказывается эквивалентность между получением формы произведения обобщённых функций Эйлера, вычислением нулей определённых многочленов над конечными полями и решением широкого класса ограниченных линейных сравнений.

Исследовательский контекст и мотивация

Предпосылки задачи

1. Обобщения классической функции Эйлера: Функция Эйлера φ(n) подсчитывает количество положительных целых чисел, меньших n и взаимно простых с n. С 1967 года, когда Менон предложил обобщение с использованием многочленов, появилось множество вариантов обобщений, включая функции Шеммеля и Нагеля.
2. Развитие многомерных обобщений: Стивенс (1971) предложил многомерное обобщение, охватывающее функции Жордана. Недавно Чизмазия и Тот (2025) расширили это до систем многомерных многочленов.
3. Применение элементарных симметрических многочленов: Тот (2022) использовал первую и k-ю элементарные симметрические суммы для обобщения функции Эйлера, получив элегантные формулы произведений.

Научная мотивация

1. Естественное математическое расширение: Работа Тота использовала e₁ и eₖ (первую и k-ю элементарные симметрические суммы), что естественным образом ставит вопрос об исследовании второй элементарной суммы e₂ и других симметрических сумм.
2. Унификация трёх задач: Авторы обнаружили глубокую связь между формой произведения обобщённых функций Эйлера, подсчётом нулей многочленов над конечными полями и ограниченными линейными сравнениями, что предоставляет новую перспективу для единообразной обработки этих на первый взгляд различных задач.
3. Практическая ценность: Ограниченные линейные сравнения имеют важные приложения в криптографии и теории кодирования, тогда как функции Эйлера занимают фундаментальное место в теории чисел.

Ограничения существующих методов

1. Для случая второй элементарной симметрической суммы e₂ отсутствуют явные формулы произведений
2. Отсутствует единая схема для обработки различных типов элементарных симметрических сумм
3. Связь между ограниченными линейными сравнениями и функциями Эйлера недостаточно раскрыта

Основные вклады

1. Установление связи между двумя типами функций Эйлера: Доказано соотношение принципа включения-исключения между φ_F(n) и ϕ_F(n) (Теорема 2.0.1), позволяющее вывести форму произведения одной функции из другой.
2. Вывод явных формул для второй элементарной симметрической суммы:
   • Даны явные формулы для N_k(e₂, p) (Теорема 3.0.2)
   • Выведена форма произведения для φ_{e₂}(n) (Теорема 3.0.3)
   • Даны формулы для совместного случая e₁ и e₂ (Теоремы 3.0.4-3.0.11)
3. Установление эквивалентности трёх задач: Доказана эквивалентность между:
   • Формой произведения обобщённых функций Эйлера
   • Подсчётом нулей систем многочленов над конечными полями
   • Решением ограниченных линейных сравнений
4. Предоставление конкретных алгоритмов и примеров:
   • Даны замкнутые формы для случая p=2 с использованием производящих функций и теоремы де Муавра
   • Приведены конкретные примеры для k=3 и k=4
   • Обобщено тождество Менона на новые случаи (Теорема 3.0.10)
5. Расширение теоретической схемы: Предложен рекурсивный метод для обработки произвольного j-го элементарного симметрического многочлена (Теорема 3.0.8)

Подробное описание методов

Определение задачи

В работе исследуются два класса обобщённых функций Эйлера:

Определение 1 (функция φ_F): Для множества многочленов F = {f₁, ..., f_m},

φ_F(n) := |{(a₁,...,aₖ) ∈ Z^k_n : gcd(f₁(a₁,...,aₖ),...,f_m(a₁,...,aₖ), n) = 1}|

Определение 2 (функция ϕ_F): Требуется, чтобы каждое значение многочлена было взаимно просто с n,

ϕ_F(n) := |{(a₁,...,aₖ) ∈ Z^k_n : gcd(f₁(a₁,...,aₖ), n) = ··· = gcd(f_m(a₁,...,aₖ), n) = 1}|

Элементарные симметрические многочлены:

e_j(x₁,...,xₖ) = ∑_{1≤i₁<···<i_j≤k} x_{i₁}···x_{i_j}

Архитектура основного метода

1. Принцип включения-исключения для связи двух классов функций

Теорема 2.0.1: Устанавливает двусторонние соотношения преобразования между φ_F и ϕ_F:

ϕ_F(p^k) = ∑_{J⊆F} (-1)^{|J|+1} φ_J(p^k)
φ_F(p^k) = ∑_{J⊆F} (-1)^{|J|+1} ϕ_J(p^k)

Идея доказательства:

• Использование N_(p) для обозначения мощности объединения множеств нулей
• Применение принципа включения-исключения: N_(p) = ∑_{J⊆F} (-1)^{|J|+1} N_J(p)
• Подстановка в формулу произведения φ_F(p^k) = p^k(1 - N_F(p)/p^k)

2. Теория квадратичных форм для вычисления числа нулей

Основной инструмент (Теорема 3.0.1, из Lidl-Niederreiter): Для невырожденной квадратичной формы f число решений уравнения f(x₁,...,xₖ) = b в F_p равно:

N(b) = {
  p^{k-1} + p^{(k-1)/2}η((-1)^{(k-1)/2}bΔ),  k нечётное
  p^{k-1} + ν(b)p^{(k-2)/2}η((-1)^{k/2}Δ),  k чётное
}

где η — квадратичный характер, Δ = det(f), ν(b) = -1 (b≠0), ν(0) = p-1.

Применение к e₂: Вторая элементарная симметрическая сумма соответствует симметрической матрице:

A = [0      2^{-1}  ···  2^{-1}]
    [2^{-1}  0      ···  2^{-1}]
    [  ⋮      ⋮     ⋱     ⋮   ]
    [2^{-1} 2^{-1}  ···    0  ]_{k×k}

Определитель: Δ = det(A) = (-1)^{k-1}2^{-k}(k-1)

Ключевой анализ:

• Невырожденный случай (Δ≠0): Прямое применение теоремы о квадратичных формах
• Вырожденный случай (k≡1 mod p): Нулевое пространство равно span{(1,1,...,1)^T}, обработка через понижение размерности до невырожденной матрицы размера (k-1)×(k-1)

3. Специальная обработка случая p=2

Для p=2 используется комбинаторный метод:

• Для вектора v∈{0,1}^k с j единицами имеем v^T Av = j(j-1)/2
• Когда j≡0,1 (mod 4), это равно 0
• Преобразование в задачу фильтрации биномиальных коэффициентов

Техника производящих функций:

∑_{j≡0 mod 4} (k choose j) = (1/4)∑_{i=0}^3 f(ω_4^i), f(x) = (1+x)^k

Использование теоремы де Муавра для получения замкнутой формы:

N_k(e₂, 2) = (1/4)(2^{k+1} + 2(√2)^{k+1}cos(π/4 - kπ/4))

Технические инновации

1. Систематическая обработка вырожденного случая матрицы: Когда det(A)=0, построение k-1 линейно независимых векторов для понижения размерности, преобразование вырожденной задачи в невырожденную.
2. Применение теоремы Люка: В Замечании 3.0.1 использование теоремы Люка для характеризации чётности биномиальных коэффициентов, решение общего случая l-й элементарной симметрической суммы при p=2.
3. Рекурсивная схема: Теорема 3.0.8 предоставляет рекурсивную формулу для вычисления N_k(J∪{k}, p) из N_k(J,p):

N_k(J∪{k}, p) = ∑_{j=1}^k (-1)^{j+1}(k choose j)N_{k-j}(J/{k-j+1,...,k-1}, p)

4. Унификация трёх задач: Через диаграмму отношений (Рис. 1) устанавливаются связи между:
   • Формой произведения ↔ подсчётом нулей над конечными полями (через Теоремы 3.0.3 и др.)
   • Функциями Эйлера ↔ ограниченными линейными сравнениями (через Теорему 3.1.2)
   • φ_F ↔ ϕ_F (через Теорему 2.0.1)

Экспериментальная установка

Примечание: Данная работа является чистой математической теоретической статьёй и не содержит экспериментов в традиционном смысле, а вместо этого использует строгие математические доказательства и конкретные примеры для проверки теоретических результатов.

Методы теоретической проверки

1. Проверка частных случаев:
   • Проверка конкретных формул при k=3 (Теорема 3.0.12)
   • Проверка конкретных формул при k=4 (Теорема 3.1.5)
2. Восстановление известных результатов:
   • Доказательство того, что при J={1,2,...,k} φ_J(n) = J_k(n) (функция Жордана, Следствие 3.0.9)
   • Проверка согласованности с результатами Тота (2022) для e₁ и e_k
3. Проверка согласованности:
   • Проверка соотношений между φ_F и ϕ_F через принцип включения-исключения
   • Проверка самосогласованности рекурсивных формул

Анализ конкретных примеров

Пример 1: Случай k=3 (Теорема 3.1.3)

Рассмотрим систему:

a + b + c ≡ 1 mod n
gcd(abc, n) = gcd(ab+bc+ca, n) = 1

Лемма 3.1.4: Анализ разрешимости уравнения x²+x+1≡0 (mod p)

• Дискриминант равен -3
• Использование квадратичного закона взаимности: решения существуют при p=3 или p≡1 (mod 3)
• При p=3 одно решение, при p≡1 (mod 3) два решения

Стратегия подсчёта:

S₁ = {(a,b,c) : gcd(abc,p^k)=1}
S₂ = {(a,b,c) : a+b+c≡0 mod p}
S₃ = {(a,b,c) : ab+bc+ca≡0 mod p}

Через принцип включения-исключения: |S₁|-|S₁∩S₂|-|S₁∩S₃|+|S₁∩S₂∩S₃|

Результат:

g₃(m,n) = n² ∏_{p|n} (1 - 3/p + (6-h(p))/p²)

где h(p) = 3 (p=3), p-1 (p≡1 mod 3), p+1 (p≡2 mod 3)

Пример 2: Случай k=4 (Теорема 3.1.5)

Рассмотрим:

a + b + c + d ≡ m mod n
gcd(abcd, n) = gcd(abc+abd+acd+bcd, n) = 1

Ключевое наблюдение: Решения имеют форму различных перестановок (r₁,-r₁,r₂,-r₂)

Подсчёт:

• r₁=r₂=r: (p-1)/2 выборов, 6 способов размещения → 3(p-1) решений
• r₁≠r₂: (p-1)(p-3)/8 выборов, 12×2 перестановок → 3(p-1)(p-3) решений
• Итого: 3(p-1)(p-2) решений

Результат:

g₄(m,n) = n³ ∏_{p|n, p≥3} (1 - 5/p + 12/p² - 13/p³)
g₄(m,2^l) = 0 (нет решений при чётном n)

Результаты экспериментов

Основные теоретические результаты

1. Полная характеризация второй элементарной симметрической суммы

Теорема 3.0.2: Для простого числа p>2 и k>1,

N_k(e₂, p) = {
  p^{k-1} + (p-1)p^{(k-1)/2}η((-1)^{(k-1)/2}(1-gcd(k-1,p))),  k нечётное
  p^{k-1} + (p-1)p^{(k-2)/2}η((-1)^{k/2+1}(k-1)),             k чётное
}

Для p=2:

N_k(e₂, 2) = (1/4)(2^{k+1} + 2(√2)^{k+1}cos(π/4 - kπ/4))

Значение: Впервые даны полные явные формулы для случая e₂, заполняя пробел в работе Тота.

2. Формулы для совместных случаев

Теорема 3.0.4: Явное выражение для N_k(e₁, e₂, p)

Теорема 3.0.11: Форма произведения для ϕ_{1,2}(n)

ϕ_{1,2}(n) = n^k ∏_{p|n, p нечётное} (1 - 1/p - (p-1)/p² + (p-1)h_k(p)/p^k)
ϕ_{1,2}(2^l) = 2^{lk}(1/4 - (1/2)(√2)^k sin(kπ/4))

3. Решение ограниченных линейных сравнений

Пример 3.1.1: Для gcd(m,n)=1 число решений уравнения

x₁ + ··· + x_k ≡ m mod n
gcd(e₂(x₁,...,x_k), n) = 1

равно:

g_k(m,n) = ϕ_{1,2}(n)/φ(n)

Важные наблюдения и открытия

1. Восстановление функции Жордана (Следствие 3.0.9): Когда J={1,2,...,k}, φ_J(n) = J_k(n), что проверяет корректность новой схемы.
2. Симметрия: ϕ_{i,k}(n) = ϕ_{k-i,k}(n), отражающая внутреннюю симметрию элементарных симметрических многочленов.
3. Обобщение тождества Менона (Теорема 3.0.10): Когда 1∈J,

∑_{(a₁,...,a_k)∈S} f(gcd(a₁+···+a_k-1, n)) = ϕ_J(n) ∑_{d|n} (μ*f)(d)/φ(d)

4. Связь с суммами Рамануджана (Замечание 3.1.1):

C̃_k(m,n) = g_k(1,n)c(m,n)

где c(m,n) — сумма Рамануджана, раскрывая потенциальные связи с обработкой сигналов и теорией кодирования.

Проверка эффективности методов

1. Согласованность с известными результатами:
   • При F={x} восстанавливается классическая функция Эйлера
   • При F={e₁,e_k} результаты совпадают с работой Тота (2022)
2. Внутренняя согласованность:
   • Два направления Теоремы 2.0.1 являются взаимно обратными операциями
   • Рекурсивные формулы (Теорема 3.0.8) корректны в граничных случаях
3. Вычислительная осуществимость:
   • Для малых значений k (k=3,4) даны вычислимые явные формулы
   • Случай p=2 имеет замкнутую форму через производящие функции

Связанные работы

Историческое развитие

1. Классические обобщения (1967-1971):
   • Менон (1967): Обобщение с использованием одномерного многочлена f(x), определение ϕ_f(n)
   • Шеммель (1869): f(x) = x(x-1)···(x-b+1)
   • Нагель (1923), Коэн (1960): f(x) = x(b-x)
   • Стивенс (1971): Многомерное обобщение, охватывающее функции Жордана
2. Современное развитие (2022-2025):
   • Тот (2022): Использование e₁ и e_k, получение элегантных формул произведений
   • Чизмазия-Тот (2025): Общая схема для систем многомерных многочленов, доказательство формы произведения
3. Ограниченные линейные сравнения (1913-2017):
   • Лемер (1913), Радемахер (1925): Ранние работы
   • Коэн (1955), Реарик (1963): Частные случаи
   • Бибак и др. (2017): Общие формулы для произвольных параметров

Позиция данной работы

1. Относительно Тота (2022):
   • Расширение: От {e₁,e_k} к {e₁,e₂}, {e₂,e_k} и другим комбинациям
   • Углубление: Замкнутые формы для случая p=2
   • Унификация: Явная связь с ограниченными линейными сравнениями
2. Относительно Чизмазии-Тота (2025):
   • Конкретизация: От общей схемы к явным формулам для элементарных симметрических многочленов
   • Вычислимость: Вычислимые выражения вместо результатов существования
   • Прикладность: Связь с конкретными задачами теории чисел
3. Относительно Бибака и др. (2017):
   • Новая перспектива: Унификация ограниченных линейных сравнений через функции Эйлера
   • Новые инструменты: Применение теории квадратичных форм над конечными полями
   • Новые связи: Раскрытие эквивалентности с подсчётом нулей многочленов

Преимущества данной работы

1. Теоретическая полнота: Установление эквивалентности трёх на первый взгляд различных задач
2. Вычислительная осуществимость: Явные, вычислимые формулы
3. Методологическая инновативность: Комбинирование методов теории чисел, алгебры и комбинаторики
4. Унифицирующая схема: Рекурсивный метод для произвольных элементарных симметрических многочленов

Заключение и обсуждение

Основные выводы

1. Теоретические вклады:
   • Установление соотношения включения-исключения между φ_F и ϕ_F
   • Вывод явных формул произведений для функций Эйлера со второй элементарной симметрической суммой
   • Доказательство эквивалентности между обобщёнными функциями Эйлера, подсчётом нулей над конечными полями и ограниченными линейными сравнениями
2. Конкретные результаты:
   • Полные формулы для N_k(e₂,p), N_k(e₁,e₂,p), N_k(e₂,e_k,p)
   • Вычислимые выражения для случаев k=3 и k=4
   • Обобщение тождества Менона на новые случаи
3. Методология:
   • Предложена рекурсивная схема для произвольных элементарных симметрических многочленов
   • Развита техника производящих функций для случая p=2
   • Установлена единая парадигма для обработки различных задач теории чисел

Ограничения

1. Вычислительная сложность:
   • Для больших значений k формулы становятся чрезвычайно сложными (например, h_k(p) в Теореме 3.0.11)
   • Для общего случая ϕ_{1,2,k}(n) явные формулы не даны, только для k=3
2. Охват:
   • Основное внимание сосредоточено на e₂, исследование e_j (2<j<k-1) менее полно
   • Неэлементарные симметрические многочлены не рассмотрены
3. Теоретическая глубина:
   • Отсутствует глубокое объяснение причин эквивалентности трёх задач
   • Связи с другими структурами теории чисел (модулярные формы, L-функции) не исследованы
4. Практичность:
   • Для больших n вычисление формы произведения требует факторизации
   • Вычисление квадратичного характера η в некоторых случаях остаётся сложным

Направления будущих исследований

1. Теоретические расширения:
   • Явные формулы для общих e_j (2<j<k-1)
   • Исследование неэлементарных многочленов
   • Более тонкие структуры для составных модулей
2. Вычислительные методы:
   • Разработка эффективных алгоритмов вычисления N_k(J,p)
   • Исследование приближённых методов для больших параметров
   • Реализация в системах символьных вычислений
3. Расширение приложений:
   • Применение в криптографии (например, распределение ключей)
   • Применение в теории кодирования
   • Связь с суммами Рамануджана в обработке сигналов
4. Глубокие связи:
   • Связь с алгебраической геометрией (подсчёт точек многообразий)
   • Связь с аналитической теорией чисел (ряды Дирихле)
   • Возможные связи с теорией представлений

Глубокая оценка

Достоинства

1. Математическая строгость ⭐⭐⭐⭐⭐:
   • Все теоремы имеют полные доказательства
   • Логика ясна, аргументация строга
   • Тщательная обработка частных случаев (p=2)
2. Инновативность ⭐⭐⭐⭐:
   • Первое систематическое исследование функций Эйлера со второй элементарной симметрической суммой
   • Новая перспектива на эквивалентность трёх задач
   • Оригинальный метод производящих функций для случая p=2
3. Полнота ⭐⭐⭐⭐:
   • Охват от общей теории до конкретных примеров
   • Как результаты существования, так и конструктивные алгоритмы
   • Включены проверочные результаты (восстановление функции Жордана)
4. Читаемость ⭐⭐⭐⭐:
   • Ясная структура, постепенное усложнение
   • Множество конкретных примеров для понимания
   • Диаграмма 1 хорошо суммирует основные связи
5. Теоретическая ценность ⭐⭐⭐⭐⭐:
   • Заполнение важного пробела в работе Тота
   • Единая схема для нескольких областей теории чисел
   • Обобщение классического тождества Менона

Недостатки

1. Практическая вычислимость ⭐⭐⭐:
   • Для общих k и сложных J формулы слишком сложны для практического вычисления
   • Отсутствует анализ сложности алгоритмов
   • Нет численных примеров или реализаций
2. Широта охвата ⭐⭐⭐:
   • Промежуточные случаи e_j (2<j<k-1) недостаточно исследованы
   • Для ϕ_{1,2,...,k} только случай k=3
   • Некоторые теоремы (например, 3.0.11) имеют чрезмерно сложные выражения
3. Глубина объяснения ⭐⭐⭐:
   • Отсутствует интуитивное объяснение эквивалентности трёх задач
   • Недостаточное обсуждение связей с другими структурами теории чисел
   • Числовой смысл некоторых формул не полностью раскрыт
4. Демонстрация приложений ⭐⭐:
   • Хотя упоминаются связи с криптографией и теорией кодирования, конкретные примеры отсутствуют
   • Связь с суммами Рамануджана только в замечании
   • Отсутствуют демонстрации решения практических задач

Оценка влияния

1. Теоретическое влияние (ожидаемое):
   • Краткосрочное: Станет важным справочником в области обобщений функций Эйлера
   • Среднесрочное: Может вдохновить дальнейшие исследования симметрических многочленов в теории чисел
   • Долгосрочное: Предоставляет новую парадигму для унифицированной обработки задач теории чисел
2. Практическая ценность:
   • Криптография: Ограниченные линейные сравнения имеют применение в протоколах обмена ключами
   • Теория кодирования: Связь со структурами конечных полей
   • Разработка алгоритмов: Теоретическая основа для некоторых задач подсчёта
3. Воспроизводимость ⭐⭐⭐⭐:
   • Доказательства полные и проверяемы
   • Конкретные примеры можно вычислить вручную
   • Отсутствие кода ограничивает крупномасштабную проверку
4. Потенциал для дальнейших исследований ⭐⭐⭐⭐⭐:
   • Подготовлена почва для исследования e_j (j>2)
   • Рекурсивная схема может быть развита дальше
   • Большое пространство для междисциплинарных исследований

Применимые сценарии

1. Теоретические исследования:
   • Исследователи функций Эйлера в теории чисел
   • Исследования теории конечных полей
   • Исследования комбинаторной теории чисел
2. Практические приложения:
   • Разработка криптографических протоколов (требуется вычисление числа решений определённых сравнений)
   • Теория кодирования (связь со структурами конечных полей)
   • Генерация псевдослучайных чисел (использование свойств теории чисел)
3. Образовательные цели:
   • Демонстрация связей между различными разделами теории чисел
   • Примеры применения техники производящих функций
   • Продвинутые применения принципа включения-исключения

Комплексная оценка

• Теоретический вклад: 9/10
• Техническая инновативность: 8/10
• Практическая ценность: 6/10
• Качество изложения: 8/10
• Комплексная оценка: 8/10

Общее заключение: Это высокого качества теоретическая работа по теории чисел, вносящая существенный вклад в направление обобщений функций Эйлера. Статья устанавливает глубокие связи между тремя на первый взгляд различными задачами, предоставляет полную характеризацию случая второй элементарной симметрической суммы и развивает систематическую методологию. Основные недостатки связаны с высокой вычислительной сложностью и недостаточной демонстрацией практических приложений. Для исследователей теории чисел это важный справочный материал; для прикладных исследователей требуется дальнейшая оптимизация алгоритмов и конкретная реализация.

Библиография (ключевые ссылки в статье)

1. Tóth, L. (2022). Another generalization of euler's arithmetic function and menon's identity. The Ramanujan Journal.
   Непосредственный предшественник данной работы
2. Csizmazia, N., & Tóth, L. (2025). Generalizations of euler's φ-function with respect to systems of polynomials of several variables.
   Предоставляет общую теоретическую схему
3. Lidl, R., & Niederreiter, H. (1997). Finite fields. Cambridge University Press.
   Основной справочник по теории квадратичных форм
4. Bibak, K., et al. (2017). Restricted linear congruences. Journal of Number Theory, 171:128–144.
   Последние общие результаты по ограниченным линейным сравнениям
5. Menon, P. K. (1967). An extension of euler's function. Math Student, 35:55–59.
   Основополагающая работа по обобщениям с использованием многочленов

Время завершения отчёта: На основе препринта arXiv от 26 ноября 2025 г.
Характер отчёта: Глубокий академический анализ
Целевая аудитория: Исследователи теории чисел, аспиранты, учёные, интересующиеся обобщениями функций Эйлера