1: \documentclass[11pt]{amsart}
2: \renewcommand{\bar}{\overline}
3: \usepackage{amsmath,amsthm,amscd,euscript}
4: %\usepackage[cp866]{inputenc}
5: %\usepackage[russian]{babel}
6: \setlength{\textheight}{21.02cm} \topmargin=-.01cm
7: \oddsidemargin=-.01cm \evensidemargin=-.01cm \textwidth=16.02cm
8:
9: \renewcommand{\bar}{\overline}
10: \def \r{\mathbb R}
11: \def \c{\mathbb C}
12: \def \q{\mathbb Q}
13: \def \z{\mathbb Z}
14: \def \n{\mathbb N}
15: \def \f{\mathcal F}
16: \newcommand{\ka}{\kappa}
17: \newcommand{\e}{\varepsilon}
18: \newcommand{\la}{\lambda}
19: \newcommand{\de}{\delta}
20: \newcommand{\ph}{\varphi}
21:
22:
23: \DeclareMathOperator{\MOD}{mod} \DeclareMathOperator{\sgn}{sgn}
24: \DeclareMathOperator{\sign}{sign} \DeclareMathOperator{\Pol}{Pol}
25: \DeclareMathOperator{\Exp}{Exp}\DeclareMathOperator{\ord}{ord}
26:
27: \newtheorem{theorem}{Theorem}[section]
28: \newtheorem{lemma}[theorem]{Lemma}
29: \newtheorem{statement}[theorem]{Statement}
30: \newtheorem{proposition}[theorem]{Proposition}
31: \newtheorem{corollary}[theorem]{Corollary}
32: \theoremstyle{remark}
33: \newtheorem{remark}[theorem]{Remark}
34: \theoremstyle{definition}
35: \newtheorem{definition}[theorem]{Definition}
36: \newtheorem{example}[theorem]{Example}
37: \newtheorem{problem}{Problem}
38: \newtheorem{conjecture}[problem]{Conjecture}
39:
40: \title{On examples of difference operators for $\{0,1\}$-valued functions
41: over finite sets}
42: \author{Oleg~Karpenkov}
43: \date{31 October 2006}
44: \thanks{Partially supported by NWO-RFBR 047.011.2004.026
45: (RFBR 05-02-89000-NWO\_a) grant, by
46: RFBR SS-1972.2003.1 grant, by RFBR 05-01-02805-CNRSL\_a grant,
47: and by RFBR grant 05-01-01012a.}
48:
49:
50: \keywords{Arnold's complexity, discrete differential operator}
51:
52: \email[Oleg Karpenkov]{karpenk@mccme.ru}
53:
54: \address{Mathematisch Instituut, Universiteit Leiden,
55: P.O. Box 9512, 2300 RA Leiden, The Netherlands}
56:
57:
58: \begin{document}
59: \input epsf
60:
61: \maketitle
62:
63: %\begin{abstract}
64: %Recently V.~I.~Arnold have formulated a geometrical concept of
65: %monads and apply it to the study of difference operators on the
66: %sets of $\{0,1\}$-valued sequences of length $n$. In the present
67: %note we show particular examples of these monads and indicate one
68: %question arising here.
69: % Keywords: Arnold's complexity, discrete differential operator
70: %MSN 11B50, 05-99
71: %\end{abstract}
72:
73:
74: \section{Introduction and basic definitions}
75:
76: Recently V.~I.~Arnold have formulated a geometrical concept of
77: monads and apply it to the study of difference operators on the
78: sets of $\{0,1\}$-valued sequences of length $n$.
79: In~\cite{ArnC1}--\cite{ArnC4} he made first steps in the study of
80: this subject and formulated many nice questions. In~\cite{Gar}
81: A.~Garber showed an algorithm that gives a description of the
82: combinatorial structure of monads for difference operators and
83: answered many questions of V.~I.~Arnold. In the present note we
84: show particular examples of these monads and indicate one
85: question arising here.
86:
87: The author is grateful to V.~I.~Arnold for useful remarks and
88: discussions and Mathematisch Instituut of Universiteit Leiden for
89: the hospitality and excellent working conditions.
90:
91: \vspace{2mm}
92:
93: A {\it monad} by V.~I.~Arnold is a map of a finite set into
94: itself. Suppose $M:S\to S$ is an arbitrary monad. It is naturally
95: to associate an oriented graph to the monad $M$. Its vertices
96: coincide with elements of $S$, and the set of its edges is the
97: set of ordered pairs $(x,M(x))$. We denote such graph by $G(M)$
98: The idea of V.~I.~Arnold is to study the combinatorial geometry of
99: graphs for monads. He proposed to start with one important
100: example.
101:
102: Consider any positive integer $n$, and take the set
103: $A_n=\{1,\ldots, n\}$. Denote by $\f_2(A_n)$ the vector space of
104: $\z_2$-valued functions on $A_n$. Consider a ``differential'' {\it
105: difference} operation $\Delta$, defined as follows:
106: $$
107: (\Delta f)(x)= \left\{
108: \begin{array}{ll}
109: f(x)+f(x+1), & \hbox{if $x\ne n$}\\
110: f(n)+f(1), & \hbox{if $x=n$}\\
111: \end{array}
112: . \right.
113: $$
114:
115: On Figure~\ref{monada.1} we show an example of a monad for the
116: difference operator for the set $A_6$.
117:
118: \begin{figure}[h]
119: $$\epsfbox{monada.1}$$
120: \caption{An example of a monad $G(\Delta)$ for the case of
121: $A_{6}$.}\label{monada.1}
122: \end{figure}
123:
124:
125: \section{A few words about Arnold's complexity}
126:
127: Let us briefly describe the concept of Arnold's functional
128: complexity. Further we will need the additivity property of
129: $\Delta$:
130: $$
131: \Delta(f+g)=\Delta(f)+\Delta(g).
132: $$
133:
134: The simplest functions on the set $A_n$ are polynomials. The set
135: of all solutions of the functional equation $\Delta ^{k} (f)=0$
136: is called the {\it set of polynomials of degree less than $k$}, we
137: denote it by $\Pol_{k-1}$. Suppose $f\in \Pol_{k}$ and $f\notin
138: \Pol_{l}$ for $l=0,\ldots, k{-}1$, then $f$ is called a {\it
139: polynomial of degree $k$}. Denote by $\Pol (A_n)$ the set of all
140: polynomials on $A_n$.
141:
142: Actually, the set $\Pol (A_n)$ is a vector space. If $n=2^l m$
143: where $m$ is odd, then the space $\Pol (A_n)$ is
144: $2^l$-dimensional and contains $2^{2^l}$ elements. In particular,
145: if $n=2^l$, then $\f_2(A_n)=\Pol (A_n)$.
146:
147: Now we define another set of nice functions. Consider the
148: functional equation $\Delta ^{k} (f)=f$. The set of all solutions
149: of such equation is called the {\it set of special rational
150: exponential polynomials of orders that divide $k$}, we denote it
151: by $\Exp_{k}$. Let $\Exp_{0}=\{0\}$. Suppose $f\in \Exp_{k}$ and
152: $f\notin \Exp_{l}$ for $l=0,\ldots, k{-}1$, then $f$ is called a
153: {\it special rational exponential polynomial of order $k$}, or
154: {\it exp-polynomial} for short. Denote by $\Exp (A_n)$ the set of
155: all exp-polynomials on $A_n$. Note that the set $\Exp (A_n)$ is a
156: vector space.
157:
158: \begin{proposition}
159: Any function $f$ of $\f_2(A_n)$ can be uniquely written in the
160: form $f=p+r$, where $p$ is a polynomial and $r$ is an
161: exp-polynomial, or in other worlds
162: $$
163: \f_2(A_n)=\Pol (A_n)\oplus \Exp (A_n).
164: $$
165: \end{proposition}
166:
167: \begin{definition}
168: Consider an arbitrary function of $\f_2(A_n)$. Let $f=p+r$, where
169: $p$ is a polynomial and $r$ is an exp-polynomial. We say that {\it
170: degree} of $f$ is degree of $p$ and denote it by $\deg(f)$. We
171: say that {\it order} of $f$ is order of $r$ and denote it by
172: $\ord(f)$.
173: \end{definition}
174:
175:
176: V.~I.~Arnold proposed the following definition the notion of
177: functional complexity.
178: \begin{definition}
179: A function $f_1$ is said to be {\it more complicated $($in the
180: sense of Arnold$)$} than $f_2$ if either $\ord(f_1)>\ord(f_2)$, or
181: $\ord(f_1)=\ord(f_2)$ and $\deg(f_1)>\deg(f_2)$.\\
182: If $\ord(f_1)=\ord(f_2)$ and $\deg(f_1)=\deg(f_2)$ then the
183: functions $f_1$ and $f_2$ are said to be of the {\it same
184: complexity $($in the sense of Arnold$)$}.
185: \end{definition}
186:
187: \begin{remark}
188: All the above easily can be generalized to the case of
189: $\z_N$-valued functions for an arbitrary positive integer $N>2$.
190: \end{remark}
191:
192: \section{Some examples of $G(\Delta)$}
193:
194:
195: \subsection{A list of examples.} Suppose $n=2^lm$. The set of polynomials is a $2$-valent
196: symmetric tree of $r=2^{2^l}$ elements. Denote this tree by
197: $T_r$. Denote also a cycle of $s$ elements by $O_s$.
198:
199: Each connected component of the graph $G(\Delta)$ contains a
200: cycle. Denote its length by $s$. To each vertex of the cycle it is
201: attached a tree equivalent to $T_r$ (as on Fig.~\ref{monada.1} for
202: the case $n=6$). Denote such component by $O_s{*}T_r$.
203:
204: Let us enumerate connected components for the graphs of the sets
205: $\f_2(A_n)$ where $n\le 25$. Expression $k(O_s*T_r)$ means that
206: there are $k$ components of the type $O_s*T_r$. The graph
207: $G(\Delta)$ for the set $\f_2(A_n)$ contains\\
208: in the case of $n=1$: $O_1{*}T_{2}$;\\
209: in the case of $n=2$: $O_1{*}T_{4}$;\\
210: in the case of $n=3$: $O_1{*}T_{2}$, $O_3{*}T_{2}$;\\
211: in the case of $n=4$: $O_1{*}T_{16}$;\\
212: in the case of $n=5$: $O_1{*}T_{2}$, $O_{15}{*}T_{2}$;\\
213: in the case of $n=6$: $O_1{*}T_{4}$, $O_3{*}T_{4}$, $2(O_6{*}T_{4})$;\\
214: in the case of $n=7$: $O_1{*}T_{2}$, $9(O_7{*}T_{2})$;\\
215: in the case of $n=8$: $O_1{*}T_{256}$;\\
216: in the case of $n=9$: $O_1{*}T_{2}$, $O_3{*}T_{2}$, $4(O_{63}{*}T_{2})$;\\
217: in the case of $n=10$: $O_1{*}T_{4}$, $O_{15}{*}T_{4}$, $8(O_{30}{*}T_{4})$;\\
218: in the case of $n=11$: $O_1{*}T_{2}$, $3(O_{341}{*}T_{2})$;\\
219: in the case of $n=12$: $O_1{*}T_{16}$, $O_3{*}T_{16}$, $2(O_6{*}T_{16})$, $20(O_{12}{*}T_{16})$;\\
220: in the case of $n=13$: $O_1{*}T_{2}$, $5(O_{819}{*}T_{2})$;\\
221: in the case of $n=14$: $O_1{*}T_{4}$, $9(O_7{*}T_{4})$, $288(O_{14}{*}T_{4})$;\\
222: in the case of $n=15$: $O_1{*}T_2$, $O_3{*}T_2$, $30(O_5{*}T_2)$, $1082(O_{15}{*}T_2)$;\\
223: in the case of $n=16$: $O_1{*}T_{2^{16}}$;\\
224: in the case of $n=17$: $O_1{*}T_2$, $51(O_{85}{*}T_2)$, $240(O_{255}{*}T_2)$;\\
225: in the case of $n=18$: $O_1{*}T_4$, $O_{3}{*}T_4$, $2(O_{6}{*}T_4)$, $4(O_{63}{*}T_4)$, $518(O_{126}{*}T_4)$;\\
226: in the case of $n=19$: $O_1{*}T_2$, $27(O_{9709}{*}T_2)$;\\
227: in the case of $n=20$: $O_1{*}T_{16}$, $O_{15}{*}T_{16}$, $8(O_{30}{*}T_{16})$, $1088(O_{60}{*}T_{16})$;\\
228: in the case of $n=21$: $O_1{*}T_2$, $O_{3}{*}T_2$, $9(O_{7}{*}T_2)$, $9(O_{21}{*}T_2)$, $16640(O_{63}{*}T_2)$;\\
229: in the case of $n=22$: $O_1{*}T_4$, $3(O_{341}{*}T_4)$, $1536(O_{682}{*}T_4)$;\\
230: in the case of $n=23$: $O_1{*}T_2$, $2049(O_{2047}{*}T_2)$;\\
231: in the case of $n=24$: $O_1{*}T_{256}$, $O_{3}{*}T_{256}$, $2(O_{6}*T_{256})$, $20(O_{12}{*}T_{256})$, $2720(O_{24}{*}T_{256})$;\\
232: in the case of $n=25$: $O_1{*}T_{2}$, $O_{15}{*}T_{2}$,
233: $656(O_{25575}{*}T_{2})$.
234:
235: Denote by $s(n)$ the order of the maximal possible length of
236: cycles for the $n$-elements sequences. Actually the listed
237: examples gives the negative answer to the following question of
238: V.~I.~Arnold: {\it is it true that $(s(n)/n){+}1$ is some power of
239: $2$}? It is not true, for example, for $n=23$ where $s(23)=2047$.
240: Here $s(23)$ is $2^{11}{-}1$ itself.
241:
242: Denote by $]n[$ the set of connected components of graphs
243: $G(\Delta)$, corresponding to the set $\f_2(A_n)$. The
244: work~\cite{Gar} of A.~Garber immediately implies the following
245: identities:
246: $$
247: \begin{array}{l}
248: \hbox{a) } ]3\cdot 2^m[=\left\{O_1{*}T_{2^{2^m}},
249: O_3{*}T_{2^{2^m}}\right\} \bigcup
250: \left\{\frac{2^{3\cdot2^k}-2^{4\cdot2^{k-1}}}{3\cdot2^k
251: \cdot2^{2^k}} (O_{3\cdot 2^k}{*}T_{2^{2^m}}) \Big|k=2,\ldots,
252: m\right\};\\
253: \hbox{b) } ]5\cdot 2^m[=\left\{O_1{*}T_{2^{2^m}}, O_{3\cdot
254: 5}{*}T_{2^{2^m}}\right\} \bigcup
255: \left\{\frac{1}{3}\cdot\frac{2^{5\cdot2^k}-2^{6\cdot2^{k-1}}}{5\cdot2^k
256: \cdot2^{2^k}} (O_{3\cdot 5\cdot 2^k}{*}T_{2^{2^m}})
257: \Big|k=2,\ldots,
258: m\right\};\\
259: \hbox{c) } ]7\cdot 2^m[=\left\{O_1{*}T_{2^{2^m}},
260: 9(O_7{*}T_{2^{2^m}})\right\} \bigcup
261: \left\{\frac{2^{7\cdot2^k}-2^{8\cdot2^{k-1}}}{7\cdot2^k
262: \cdot2^{2^k}} (O_{7\cdot 2^k}{*}T_{2^{2^m}}) \Big|k=2,\ldots,
263: m\right\};\\
264: \hbox{d) } ]11\cdot 2^m[=\left\{O_1{*}T_{2^{2^m}}, 3(O_{31\cdot
265: 11}{*}T_{2^{2^m}})\right\} \bigcup \left\{\frac{1}{31}
266: \frac{2^{11\cdot2^k}-2^{12\cdot2^{k-1}}}{11\cdot2^k \cdot2^{2^k}}
267: (O_{31\cdot 11\cdot 2^k}{*}T_{2^{2^m}}) \Big|k=2,\ldots, m\right\}\\
268: \cdots\\
269: \end{array}
270: $$
271:
272:
273: \subsection{Particular case of $\delta$-functions.}
274: Let us now study the structure of the piece-wise connected
275: components of the graph $G$ containing so-called {\it
276: $\delta$-function}. Denote by $\delta_k$ the following function
277: of $\f_2(A_n)$:
278: $$
279: \delta_k (x)= \left\{
280: \begin{array}{ll}
281: 0, & \hbox{if $x\ne k$}\\
282: 1, & \hbox{if $x=k$}\\
283: \end{array}
284: . \right.
285: $$
286:
287: In~\cite{Gar} A.~Garber showed that the order of $\delta_k$
288: coincide with $s(n)$. So the piece-wise connected component of the
289: graph $G$ containing $\delta_k$ is $O_{s(k)}{*}T_{2^{2^l}}$, and
290: it does not depend on the choice of $k$. We now write down the
291: values of $s(n)$ for $n\le 50$ in the following list.
292:
293: \begin{center}
294: \begin{tabular}{|c||c|c|c|c|c|c|c|c|c|c|c|c|c|c|c|c|c|c|c|c|}
295: \hline
296: n&1&2&3&4&5&6&7&8&9&10&11&12&13&14&15&16&17&18&19&20\\
297: %
298: \hline
299: %
300: $s(n)$ &1&1&3&1&15&6&7&1&63&30&341&12&819&14&15&1&255&126&9709&60\\
301: \hline
302: \end{tabular}
303:
304: \vspace{2mm}
305:
306: \begin{tabular}{|c||c|c|c|c|c|c|c|c|c|c|c|c|c|c|c|}
307: \hline
308: n&21&22&23&24&25&26&27&28&29&30&31&32&33&34&35\\
309: %
310: \hline
311: %
312: $s(n)$&63&682&2047&24&25575&1638&13797&28&475107&30&31&1&1023&510&4095\\
313: \hline
314: \end{tabular}
315:
316: \vspace{2mm}
317:
318: \begin{tabular}{|c||c|c|c|c|c|c|c|c|c|c|c|c|}
319: \hline
320: n&36&37&38&39&40&41&42&43&44&45&46&47\\
321: %
322: \hline
323: %
324: $s(n)$&252&3233097&19418&4095&120&41943&126&5461&1364&4095&4095&8388607\\
325: \hline
326: \end{tabular}
327:
328: \vspace{2mm}
329:
330: \begin{tabular}{|c||c|c|c|}
331: \hline
332: n&48&49&50\\
333: %
334: \hline
335: %
336: $s(n)$ &48&2097151&51150\\
337: \hline
338: \end{tabular}
339:
340: \end{center}
341:
342: There is a regularity in this sequence for primes $n>2$. We use
343: the following notation. Denote by $\gamma_2(n)$ the minimal
344: solution $t$ of the equation $2^t\equiv 1 (\MOD n)$. Then
345:
346: \begin{center}
347:
348: \begin{tabular}{|c||c|c|c|c|c|c|c|}
349: \hline
350: n&3&5&7&11&13&17&19\\
351: %
352: \hline\hline
353: %
354: $\gamma_2(n)$&2&4&3&10&12&8&18\\
355: \hline
356: %
357: $s(n)$
358: &$3(2^{\frac{2}{2}}{-}1)$&$5(2^{\frac{4}{2}}{-}1)$&$2^{3}{-}1$&$11(2^{\frac{10}{2}}{-}1)$&
359: $13(2^{\frac{12}{2}}{-}1)$&$17(2^{\frac{8}{2}}{-}1)$&$19(2^{\frac{18}{2}}-1)$\\
360: \hline
361: \end{tabular}
362:
363: \vspace{2mm}
364:
365: \begin{tabular}{|c||c|c|c|c|c|c|c|}
366: \hline
367: n&23&29&31&37&41&43&47\\
368: %
369: \hline\hline
370: %
371: $\gamma_2(n)$&11&28&5&36&20&14&23\\
372: \hline
373: %
374: $s(n)$ &$2^{11}{-}1$&$29(2^{\frac{28}{2}}{-}1)$&$2^{5}{-}1$&
375: $37(2^{\frac{36}{2}}{-}1)/3$&$41(2^{\frac{20}{2}}{-}1)$&$43(2^{\frac{14}{2}}{-}1)$&$2^{23}{-}1$\\
376: \hline
377: \end{tabular}
378:
379: \end{center}
380:
381: Denote by $q(n)$ the following function
382: $$
383: q(n):=\left\{
384: %
385: \begin{array}{ll}
386: n(2^{\frac{\gamma_2(n)}{2}}-1), & \hbox{if $\gamma_2(n)$ is even}\\
387: 2^{\gamma_2(n)}-1, & \hbox{if $\gamma_2(n)$ is odd}\\
388: \end{array}
389: .
390: %
391: \right.
392: $$
393:
394: Note that for all observed primes (except 37) we have $s(n)=q(n)$.
395:
396: \begin{problem}
397: Study the behaviour of the maximal length of the cycle. How often
398: does it coincide with $q(n)$? Is it true that $q(n)$ is always
399: divisible by $s(n)$?
400: \end{problem}
401:
402:
403:
404: \begin{thebibliography}{99}
405:
406: \bibitem{ArnC1}
407: V.~I.~Arnold, {\it Complexity of finite sequences of zeroes and
408: ones and geometry of finite functional spaces}, a talk at session
409: of Moscow Mathematical Society,
410: http://elementy.ru/lib/430178/430282
411: %
412: \bibitem{ArnC2}
413: V.~I.~Arnold, {\it Complexity of finite sequences of zeroes
414: and ones and geometry of finite spaces of functions}, Functional
415: Analysis and other Mathematics, Vol.~1, Issue 1, January -- March
416: 2006, 1--18.
417: %
418: \bibitem{ArnC3}
419: V.~I.~Arnold, {\it Complexity of finite sequences of zeroes and
420: ones and geometry of finite functional spaces}, a common lecture
421: of 13 May 2006 in RAS, "Dinastiya",
422: http://elementy.ru/lib/430178/430281
423: %
424: \bibitem{ArnC4}
425: V.~I.~Arnold, {\it Experimental discovery of mathematical facts},
426: pre\-print.
427: \bibitem{Gar}
428: A.~Garber, {\it Graphs of difference operators for $p$-ary
429: sequensies}, to appear in Functionl Analysis and Other
430: Mathematics.
431: \end{thebibliography}
432:
433: \end{document}
434: