arXiv++ Combinatorics

A permutation is square-free if it does not contain two consecutive factors of length two or more that are order-isomorphic. A square-free permutation of length $n$ is $P$-crucial, where $P$ is a subset of $\{0,1,\ldots,n\}$, if any of its extensions in any position from the set $P$ contains a square. In 2015, Gent, Kitaev, Konovalov, Linton and Nightingale initiated the study of $P$-crucial square-free permutations. In particular, they showed that $\{0,1,n-1,n\}$-crucial square-free permutations of length $n$, where $n\leq 22$, exist if and only if $n=17$ or $n=21$. In this work, we prove that for any $m\geq 2$ there exists a $\{0,1,8m+4,8m+5\}$-crucial square-free permutation of length $8m+5$.

The Laplacian matrix of the $n$-dimensional hypercube has $n+1$ distinct eigenvalues $2i$, where $0\leq i\leq n$. In 2004, Bıyıkoğlu, Hordijk, Leydold, Pisanski and Stadler initiated the study of eigenfunctions of hypercubes with the minimum number of weak and strong nodal domains. In particular, they proved that for every $1\leq i\leq \frac{n}{2}$ there is an eigenfunction of the hypercube with eigenvalue $2i$ that have exactly two strong nodal domains. Based on computational experiments, they conjectured that the result also holds for all $1\leq i\leq n-2$. In this work, we confirm their conjecture for $i\leq \frac{2}{3}(n-\frac{1}{2})$ if $i$ is odd and for $i\leq \frac{2}{3}(n-1)$ if $i$ is even. We also consider this problem for the Hamming graph $H(n,q)$, $q\geq 3$ (for $q=2$, this graph coincides with the $n$-dimensional hypercube), and obtain even stronger results for all $q\geq 3$.

In this work, we prove that for every $k\geq 3$ there exist arbitrarily long bicrucial $k$-power-free permutations. We also show that for every $k\geq 3$ there exist right-crucial $k$-power-free permutations of any length at least $(k-1)(2k+1)$.

The spectrum of a complex-valued function $f$ on $\mathbb{Z}_{q}^n$ is the set $\{|u|:u\in \mathbb{Z}_q^n~\mathrm{and}~\widehat{f}(u)\neq 0\}$, where $|u|$ is the Hamming weight of $u$ and $\widehat{f}$ is the Fourier transform of $f$. Let $1\leq d'\leq d\leq n$. In this work, we study Boolean functions on $\mathbb{Z}_{q}^n$, $q\geq 3$, whose spectrum is a subset of $\{0\}\cup \{d',\ldots,d\}$. We prove that such functions have at most $\frac{d}{2}\cdot \frac{q^{d+d'}}{2^{d'}(q-1)^{d'}}$ relevant variables for $d'+d\leq n+1$. In particular, we prove that any Boolean function of degree $d$ on $\mathbb{Z}_{q}^n$, $q\geq 3$, has at most $\frac{dq^{d+1}}{4(q-1)}$ relevant variables. We also show that any equitable 2-partition of the Hamming graph $H(n,q)$, $q\geq 3$, associated with the eigenvalue $n(q-1)-qd$ has at most $\frac{d}{2}\cdot \frac{q^{2d}}{2^d(q-1)^{d}}$ relevant variables for $d\leq \frac{n+1}{2}$.

In this work, we prove a general version of the reduction lemmas for eigenfunctions of graphs admitting involutive automorphisms of a special type.

The $n$-dimensional hypercube has $n+1$ distinct eigenvalues $n-2i$, $0\leq i\leq n$, with corresponding eigenspaces $U_i(n)$. In 2021 it was proved by the author that if a function with non-empty support belongs to the direct sum $U_i(n)\oplus U_{i+1}(n)\oplus\ldots\oplus U_j(n)$, where $0\leq i\leq j\leq n$, then it has at least $\max(2^i,2^{n-j})$ non-zeros. In this work we give a characterization of functions achieving this bound.

In this work we present a survey of results on the problem of finding the minimum cardinality of the support of eigenfunctions of graphs.

The Hamming graph $H(n,q)$ is the graph whose vertices are the words of length $n$ over the alphabet $\{0,1,\ldots,q-1\}$, where two vertices are adjacent if they differ in exactly one coordinate. The adjacency matrix of $H(n,q)$ has $n+1$ distinct eigenvalues $n(q-1)-q\cdot i$ with corresponding eigenspaces $U_{i}(n,q)$ for $0\leq i\leq n$. In this work we study functions belonging to a direct sum $U_i(n,q)\oplus U_{i+1}(n,q)\oplus\ldots\oplus U_j(n,q)$ for $0\leq i\leq j\leq n$. We find the minimum cardinality of the support of such functions for $q=2$ and for $q=3$, $i+j>n$. In particular, we find the minimum cardinality of the support of eigenfunctions from the eigenspace $U_{i}(n,3)$ for $i>\frac{n}{2}$. Using the correspondence between $1$-perfect bitrades and eigenfunctions with eigenvalue $-1$, we find the minimum size of a $1$-perfect bitrade in the Hamming graph $H(n,3)$.

The Star graph $S_n$, $n\ge 3$, is the Cayley graph on the symmetric group $Sym_n$ generated by the set of transpositions $\{(12),(13),\ldots,(1n)\}$. In this work we study eigenfunctions of $S_n$ corresponding to the second largest eigenvalue $n-2$. For $n\ge 8$ and $n=3$, we find the minimum cardinality of the support of an eigenfunction of $S_n$ corresponding to the second largest eigenvalue and obtain a characterization of eigenfunctions with the minimum cardinality of the support.

The eigenvalues of the Hamming graph $H(n,q)$ are known to be $λ_i(n,q)=(q-1)n-qi$, $0\leq i \leq n$. The characterization of equitable 2-partitions of the Hamming graphs $H(n,q)$ with eigenvalue $λ_{1}(n,q)$ was obtained by Meyerowitz in [15]. We study the equitable 2-partitions of $H(n,q)$ with eigenvalue $λ_{2}(n,q)$. We show that these partitions are reduced to equitable 2-partitions of $H(3,q)$ with eigenvalue $λ_{2}(3,q)$ with exception of two constructions.

In this paper the geodesic flow on a 2-torus in a non-zero magnetic field is considered. Suppose that this flow admits an additional first integral $F$ on $N+2$ different energy levels which is polynomial in momenta of arbitrary degree $N$ with analytic periodic coefficients. It is proved that in this case the magnetic field and metrics are functions of one variable and there exists a linear in momenta first integral on all energy levels.

We study functions defined on the vertices of the Hamming graphs $H(n,q)$. The adjacency matrix of $H(n,q)$ has $n+1$ distinct eigenvalues $n(q-1)-q\cdot i$ with corresponding eigenspaces $U_{i}(n,q)$ for $0\leq i\leq n$. In this work, we consider the problem of finding the minimum possible support (the number of nonzeros) of functions belonging to a direct sum $U_i(n,q)\oplus U_{i+1}(n,q)\oplus\ldots\oplus U_j(n,q)$ for $0\leq i\leq j\leq n$. For the case $n\geq i+j$ and $q\geq 3$ we find the minimum cardinality of the support of such functions and obtain a characterization of functions with the minimum cardinality of the support. In the case $n<i+j$ and $q\geq 4$ we also find the minimum cardinality of the support of functions, and obtain a characterization of functions with the minimum cardinality of the support for $i=j$, $n<2i$ and $q\geq 5$. In particular, we characterize eigenfunctions from the eigenspace $U_{i}(n,q)$ with the minimum cardinality of the support for cases $i\le \frac{n}{2}$,$q\ge 3$ and $i> \frac{n}{2}$,$\,q\ge 5$.

We consider the symmetric group $\mathrm{Sym}_n,\,n\geqslant 2$, generated by the set $S$ of transpositions $(1~i),\,2 \leqslant i \leqslant n$, and the Cayley graph $S_n=Cay(\mathrm{Sym}_n,S)$ called the Star graph. For any positive integers $n\geqslant 3$ and $m$ with $n > 2m$, we present a family of $PI$-eigenfunctions of $S_n$ with eigenvalue $n-m-1$. We establish a connection of these functions with the standard basis of a Specht module. In the case of largest non-principal eigenvalue $n-2$ we prove that any eigenfunction of $S_n$ can be reconstructed by its values on the second neighbourhood of a vertex.

In this paper we find new maximal cliques of size $\frac{q+1}{2}$ or $\frac{q+3}{2}$, accordingly as $q\equiv 1(4)$ or $q\equiv 3(4)$, in Paley graphs of order $q^2$, where $q$ is an odd prime power. After that we use new cliques to define a family of eigenfunctions corresponding to both non-principal eigenvalues and having the cardinality of support $q+1$, which is the minimum by the weight-distribution bound.

We study the weights of eigenvectors of the Johnson graphs $J(n,w)$. For any $i \in \{1,\ldots,w\}$ and sufficiently large $n, n\geq n(i,w)$ we show that an eigenvector of $J(n,w)$ with the eigenvalue $λ_i=(n-w-i)(w-i)-i$ has at least $2^i(^{n-2i}_{w-i})$ nonzeros and obtain a characterization of eigenvectors that attain the bound.

We find minimal supports of eigenfunctions of Hamming graphs for eigenvalue n(q-1)-q and describe eigenfunctions with minimal support.

Let $X$ be a family of graphs and $X_n$ the set of $n$-vertex graphs in $X$. A graph $U^{(n)}$ containing all graphs from $X_n$ as induced subgraphs is called $n$-universal for $X$. Moreover, we say that $U^{(n)}$ is a proper $n$-universal graph for $X$ if it belongs to $X$. In the present paper, we construct a proper $n$-universal graph for the class of split permutation graphs. Our solution includes two ingredients: a proper universal 321-avoiding permutation and a bijection between 321-avoiding permutations and symmetric split permutation graphs. The $n$-universal split permutation graph constructed in this paper has $4n^3$ vertices, which means that this construction is order-optimal.

A pattern $τ$ is a permutation, and an arithmetic occurrence of $τ$ in (another) permutation $π=π_1π_2...π_n$ is a subsequence $π_{i_1}π_{i_2}...π_{i_m}$ of $π$ that is order isomorphic to $τ$ where the numbers $i_1<i_2<...<i_m$ form an arithmetic progression. A permutation is $(k,\ell)$-crucial if it avoids arithmetically the patterns $12... k$ and $\ell(\ell-1)... 1$ but its extension to the right by any element does not avoid arithmetically these patterns. A $(k,\ell)$-crucial permutation that cannot be extended to the left without creating an arithmetic occurrence of $12... k$ or $\ell(\ell-1)... 1$ is called $(k,\ell)$-bicrucial. In this paper we prove that arbitrary long $(k,\ell)$-crucial and $(k,\ell)$-bicrucial permutations exist for any $k,\ell\geq 3$. Moreover, we show that the minimal length of a $(k,\ell)$-crucial permutation is $\max(k,\ell)(\min(k,\ell)-1)$, while the minimal length of a $(k,\ell)$-bicrucial permutation is at most $2\max(k,\ell)(\min(k,\ell)-1)$, again for $k,\ell\geq3$.