arXiv++ Combinatorics

We answer in the negative the long-standing open question of whether biholomorphic equivalence implies algebraic equivalence for germs of real algebraic manifolds in $\mathbb C^n$. More precisely we give an example of two germs of real algebraic surfaces in $\mathbb C^2$ that are biholomorphic, but not via an algebraic biholomorphism. In fact we even prove that the components of any biholomorphism between these two surfaces are never solutions of polynomial differential equations. The proof is based on enumerative combinatorics and differential Galois Theory results concerning the nature of the generating series of walks restricted to the quarter plane.

This paper investigates the independence polynomials arising from iterated strong products of cycle graphs, examining their algebraic symmetries and combinatorial structures. Leveraging modular arithmetic and Galois theory, we establish precise conditions under which these polynomials factor over finite fields, highlighting modular collapses based on prime and composite cycle lengths. We demonstrate that while real-rootedness depends on cycle parity, the combinatorial structure ensures universal log-concavity and unimodality of coefficients. A toggling argument provides a combinatorial proof of unimodality, complementing algebraic methods and offering insights into polynomial stability. These findings bridge combinatorial and algebraic perspectives, contributing to graph-theoretic frameworks with implications in statistical mechanics and information theory.

Quaternary Legendre pairs are pertinent to the construction of quaternary Hadamard matrices and have many applications, for example in coding theory and communications. In contrast to binary Legendre pairs, quaternary ones can exist for even length $\ell$ as well. It is conjectured that there is a quaternary Legendre pair for any even $\ell$. The smallest open case until now had been $\ell=28$, and $\ell=38$ was the only length $\ell$ with $28\le \ell\le 60$ resolved before. Here we provide constructions for $\ell=28,30,32$, and $34$. In parallel and independently, Jedwab and Pender found a construction of quaternary Legendre pairs of length $\ell=(q-1)/2$ for any prime power $q\equiv 1\bmod 4$, which in particular covers $\ell=30$, $36$, and $40$, so that now $\ell=42$ is the smallest unresolved case. The main new idea of this paper is a way to separate the search for the subsequences along even and odd indices which substantially reduces the complexity of the search algorithm. In addition, we use Galois theory for cyclotomic fields to derive conditions which improve the PSD test.

Let $E_p(x)$ denote the Artin-Hasse exponential and let $\overline{E}_p(x)$ denote its reduction modulo $p$ in $\mathbb{F}_p[[x]]$. In this article we study transcendence properties of $\overline{E}_p(x)$ over $\mathbb{F}_p[x]$. We give two proofs that $\overline{E}_p(x)$ is transcendental, affirmatively answering a question of Thakur. We also prove algebraic independence results: i) for $f_1,\dots,f_r \in x\mathbb{F}_p[x]$ satisfying certain linear independence properties, we show that the $\overline{E}_p(f_1), \dots, \overline{E}_p(f_r)$ are algebraically independent over $\mathbb{F}_p[x]$ and ii) we determine the algebraic relations between $\overline{E}_p(cx)$, where $c \in \mathbb{F}_p^\times$. Our proof studies the higher derivatives of $\overline{E}_p(x)$ and makes use of iterative differential Galois theory.

We show that if a Laurent series $f\in\mathbb{C}((t))$ satisfies a particular kind of linear iterative equation, then $f$ is either a rational function or it is differentially transcendental over $\mathbb{C}(t)$. This condition is more precisely stated as follows: We consider $R,b\in \mathbb{C}(t)$ with $R(0)=0$, such that $f(R(t))=f(t)+b(t)$. If either $R'(0)=0$ or $R'(0)$ is a root of unity, then either $f$ is a rational function, or $f$ does not satisfy a polynomial differential equation. More generally a solution of a functional equation of the form $f(R(t))=a(t)f(t)+b(t)$ will be either differentially trascendental or the solution of an inhomogeneous linear differential equation of order $1$ with rational coefficients. We illustrate how to apply these results to deduce the differential transcendence of combinatorial generating functions by considering three examples: the ordinary generating function for a family of complete trees; the Green function for excursions on the Sierpinski graph; and a series related to the enumeration of permutations avoiding the consecutive pattern 1423. The proof strategy is inspired by the Galois theory of functional equations and relies on the property of the dynamics of $R$.

The interest of this paper is a characterization of graphs that induce periodic Grover walks with given periods. In previous studies, Yoshie has shown that the only graphs that induce odd periodic Grover walks are cycle graphs. However, this problem is largely unsolved for even periods. In this study, we show that regular graphs that induce $2l$-periodic Grover walks are also cycle graphs in most cases, where $l$ is an odd integer. The proof uses Galois theory.

In a projective plane over a finite field, complete $(k,n)$-arcs with few characters are rare but interesting objects with several applications to finite geometry and coding theory. Since almost all known examples are large, the construction of small ones, with $k$ close to the order of the plane, is considered a hard problem. A natural candidate to be a small $(k,n)$-arc with few characters is the set $Ω(\mathcal{C})$ of the points of a plane curve $\mathcal{C}$ of degree $n$ (containing no linear components) such that some line meets $\mathcal{C}$ transversally in the plane, i.e. in $n$ pairwise distinct points. Let $\mathcal{C}$ be either the Hermitian curve of degree $q+1$ in $\mathrm{PG}(2,q^{2r})$ with $r\ge 1$, or the rational BKS curve of degree $q+1$ in $\mathrm{PG}(2,q^r)$ with $q$ odd and $r\ge 1$. Then $Ω(\mathcal{C})$ has four and seven characters, respectively. Furthermore, $Ω(\mathcal{C})$ is small as both curves are either maximal or minimal. The completeness problem is investigated by an algebraic approach based on Galois theory and on the Hasse-Weil lower bound. Our main result for the Hermitian case is that $Ω(\mathcal{C})$ is complete for $r\ge 4$. For the rational BKS curve, $Ω(\mathcal{C})$ is complete if and only if $r$ is even. If $r$ is odd then the uncovered points by the $(q+1)$-secants to $Ω(\mathcal{C})$ are exactly the points in $\mathrm{PG}(2,q)$ not lying in $Ω(\mathcal{C})$. Adding those points to $Ω(\mathcal{C})$ produces a complete $(k,q+1)$-arc in $\mathrm{PG}(2,q^r)$, with $k=q^r+q$. The above results do not hold true for $r=2$ and there remain open the case $r=3$ for the Hermitian curve, and the cases $r=3,4$ for the rational BKS curve. As a by product we also obtain two results of interest in the study of the Galois inverse problem for $\mathrm{PGL}(2,q)$.

These notes are an exposition of Galois Theory from the original Lagrangian and Galoisian point of view. A particular effort was made here to better understand the connection between Lagrange's purely combinatorial approach and Galois algebraic extensions of the latter. Moreover, stimulated by the necessities of present day computer explorations, the algorithmic approach has been given priority here over every other aspect of presentation. In particular, you may not find here the clean simplistic look characteristic of the classical exposition of E. Artin. In contrast these notes should provide a good starting point in attempting constructions in this most difficult computational arena.

This paper is a journal counterpart to our FOCS 2021 paper, in which we initiate the study of property testing problems concerning a finite system of relations $E$ between permutations, generalizing the study of stability in permutations. To every such system $E$, a group $Γ=Γ_E$ is associated and the testability of $E$ depends only on $Γ$ (just like in Galois theory, where the solvability of a polynomial is determined by the solvability of the associated group). This leads to the notion of testable groups, and, more generally, Benjamini-Schramm rigid groups. The paper presents an ensemble of tools to check if a given group $Γ$ is testable/BS-rigid or not.

In 2003 Klazar proved that the ordinary generating function of the sequence of Bell numbers is differentially transcendental over the field $\mathbb{C}(\{t\})$ of meromorphic functions at $0$. We show that Klazar's result is an instance of a general phenomenon that can be proven in a compact way using difference Galois theory. We present the main principles of this theory in order to prove a general result about differential transcendence over $\mathbb{C}(\{t\})$, that we apply to many other (infinite classes of) examples of generating functions, including as very special cases the ones considered by Klazar. Most of our examples belong to Sheffer's class, well studied notably in umbral calculus. They all bring concrete evidence in support to the Pak-Yeliussizov conjecture, according to which a sequence whose both ordinary and exponential generating functions satisfy nonlinear differential equations with polynomial coefficients necessarily satisfies a linear recurrence with polynomial coefficients.

We study the nature of the generating series of some models of walks with small steps in the three quarter plane. More precisely, we restrict ourselves to the situation where the group is infinite, the kernel has genus one, and the step set is diagonally symmetric (i.e., with no steps in anti-diagonal directions). In that situation, after a transformation of the plane, we derive a quadrant-like functional equation. Among the four models of walks, we obtain, using difference Galois theory, that three of them have a differentially transcendental generating series, and one has a differentially algebraic generating series.

We begin a generalized study of sum-product type phenomenon in different fields by considering pairs $P(x,y)$ and $Q(x,y)$ of two variable polynomials that simultaneously exhibit small symmetric expansion. Our first result is that such $P(x,y)$ and $Q(x,y)$ over $\mathbb{R}$ and $\mathbb{C}$ have very similar structure, obtained by employing semi-algebraic geometry/o-minimality. Then using model-theoretic transfer and basic Galois theory we deduce results for fields of characteristic $0$ and characteristic $p$ when $p$ is large. We obtain as corollaries a generalization of Elekes-Rónyai type structural results to arbitrary characteristic 0 fields, and a strengthening of these classic results in a symmetric case of natural interest. We note a related bound of $5/4$ in the exponent for the sum-product problem in finite fields of large characteristic, although a lower bound for this characteristic cannot be computed from our methods.

In the present paper, we use difference Galois theory to study the nature of the generating function counting walks with small steps in the quarter plane. These series are trivariate formal power series $Q(x,y,t)$ that count the number of walks confined in the first quadrant of the plane with a fixed set of admissible steps, called the model of the walk. While the variables $x$ and $y$ are associated to the ending point of the path, the variable $t$ encodes its length. In this paper, we prove that in the unweighted case, $Q(x,y,t)$ satisfies an algebraic differential relation with respect to $t$ if and only if it satisfies an algebraic differential relation with respect $x$ (resp. $y$). Combined with other papers, we are able to characterize the $t$-differential transcendence of the $79$ models of walks listed by Bousquet-Mélou and Mishna.

Let $p$ be an odd prime. In this paper we investigate quadratic residues modulo $p$ and related permutations, congruences and identities. If $a_1<\ldots<a_{(p-1)/2}$ are all the quadratic residues modulo $p$ among $1,\ldots,p-1$, then the list $\{1^2\}_p,\ldots,\{((p-1)/2)^2\}_p$ (with $\{k\}_p$ the least nonnegative residue of $k$ modulo $p$) is a permutation of $a_1,\ldots,a_{(p-1)/2}$, and we show that the sign of this permutation is $1$ or $(-1)^{(h(-p)+1)/2}$ according as $p\equiv3\pmod 8$ or $p\equiv7\pmod 8$, where $h(-p)$ is the class number of the imaginary quadratic field $\mathbb Q(\sqrt{-p})$. To achieve this, we evaluate the product $\prod_{1\le j<k\le(p-1)/2}(\cotπj^2/p-\cotπk^2/p)$ via Dirichlet's class number formula and Galois theory. We also obtain some new identities for the sine and cosine functions; for example, we determine the exact value of $$\prod_{1\le j<k\le p-1}\cosπ\frac{aj^2+bjk+ck^2}p$$ for any $a,b,c\in\mathbb Z$ with $ac(a+b+c)\not\equiv0\pmod p$.

We use Galois theory of difference equations to study the nature of the generating series of (weighted) walks in the quarter plane with genus zero kernel curve. Using this approach, we prove that the generating series do not satisfy any nontrivial (possibly nonlinear) algebraic differential equation with rational coefficients.

We consider weighted small step walks in the positive quadrant, and provide algebraicity and differential transcendence results for the underlying generating functions: we prove that depending on the probabilities of allowed steps, certain of the generating functions are algebraic over the field of rational functions, while some others do not satisfy any algebraic differential equation with rational function coefficients. Our techniques involve differential Galois theory for difference equations as well as complex analysis (Weierstrass parameterization of elliptic curves). We also extend to the weighted case many key intermediate results, as a theorem of analytic continuation of the generating functions.

The "unit theorem" to which the present mini-course is devoted is a theorem from algebra that has a combinatorial flavour, and that originated in fact from algebraic combinatorics. Beyond a proof, the course also addresses applications, one of which is a proof of the normal basis theorem from Galois theory.

In the present paper, we introduce a new approach, relying on the Galois theory of difference equations, to study the nature of the generating series of walks in the quarter plane. Using this approach, we are not only able to recover many of the recent results about these series, but also to go beyond them. For instance, we give for the first time hypertranscendency results, {\it i.e.}, we prove that certain of these generating series do not satisfy any nontrivial nonlinear algebraic differential equation with rational coefficients.

Pippenger's Galois theory of finite functions and relational constraints is extended to the infinite case. The functions involved are functions of several variables on a set $A$ and taking values in a possibly different set $B$, where any or both of $A$ and $B$ may be finite or infinite.

In this paper we study subsets $E$ of ${\Bbb Z}_p^d$ such that any function $f: E \to {\Bbb C}$ can be written as a linear combination of characters orthogonal with respect to $E$. We shall refer to such sets as spectral. In this context, we prove the Fuglede Conjecture in ${\Bbb Z}_p^2$ which says that $E \subset {\Bbb Z}_p^2$ is spectral if and only if $E$ tiles ${\Bbb Z}_p^2$ by translation. Arithmetic properties of the finite field Fourier transform, elementary Galois theory and combinatorial geometric properties of direction sets play the key role in the proof.