Иновации в математическото образование: европейските проекти InnoMathEd и Fibonacci

Petar Kenderov The paper considers the participation of the Institute of Mathematics and Informatics at the Bulgarian Academy of Sciences, into two European projects, InnoMathEd and Fibonacci. Both projects address substantial innovations in mathematics education and their dissemination on European level. Inquiry based learning is the central focus of the two projects. A special emphasis is paid on the outcomes of the projects in terms of didactic concepts, pedagogical methodologies and innovative learning environments aimed at pupils’ active, self-responsible and exploratory learning.

Fibonacci Series, Golden Proportions, and the Human Biology

Pythagoras, Plato and Euclid’s paved the way for Classical Geometry. The idea of shapes that can be mathematically defined by equations led to the creation of great structures of modern and ancient civilizations, and milestones in mathematics and science. However, classical geometry fails to explain the complexity of non-linear shapes replete in nature such as the curvature of a flower or the wings of a Butterfly. Such non-linearity can be explained by fractal geometry which creates shapes that emulate those found in nature with remarkable accuracy. Such phenomenon begs the question of architectural origin for biological existence within the universe. While the concept of a unifying equation of life has yet to be discovered, the Fibonacci sequence may establish an origin for such a development. The observation of the Fibonacci sequence is existent in almost all aspects of life ranging from the leaves of a fern tree, architecture, and even paintings, makes it highly unlikely to be a stochastic phenomenon. Despite its wide-spread occurrence and existence, the Fibonacci series and the Rule of Golden Proportions has not been widely documented in the human body. This paper serves to review the observed documentation of the Fibonacci sequence in the human body.

Sequências de Fibonacci e a Razão Áurea - aplicações no ensino básico

This thesis aims to present a study of the Fibonacci sequence, initiated from a simple problem of rabbits breeding and the Golden Ratio, which originated from a geometrical construction, for applications in basic education. The main idea of the thesis is to present historical records of the occurrence of these concepts in nature and science and their influence on social, cultural and scientific environments. Also, it will be presented the identification and the characterization of the basic properties of these concepts and howthe connection between them occurs,and mainly, their intriguing consequences. It is also shown some activities emphasizing geometric constructions, links to other mathematics areas, curiosities related to these concepts and the analysis of questions present in vestibular (SAT-Scholastic Aptitude Test) and Enem(national high school Exam) in order to show the importance of these themes in basic education, constituting an excellent opportunity to awaken the students to new points of view in the field of science and life, from the presented subject and to promote new ways of thinking mathematics as a transformative science of society.

Privileged Words and Sturmian Words

This dissertation has two almost unrelated themes: privileged words and Sturmian words. Privileged words are a new class of words introduced recently. A word is privileged if it is a complete first return to a shorter privileged word, the shortest privileged words being letters and the empty word. Here we give and prove almost all results on privileged words known to date. On the other hand, the study of Sturmian words is a well-established topic in combinatorics on words. In this dissertation, we focus on questions concerning repetitions in Sturmian words, reproving old results and giving new ones, and on establishing completely new research directions. The study of privileged words presented in this dissertation aims to derive their basic properties and to answer basic questions regarding them. We explore a connection between privileged words and palindromes and seek out answers to questions on context-freeness, computability, and enumeration. It turns out that the language of privileged words is not context-free, but privileged words are recognizable by a linear-time algorithm. A lower bound on the number of binary privileged words of given length is proven. The main interest, however, lies in the privileged complexity functions of the Thue-Morse word and Sturmian words. We derive recurrences for computing the privileged complexity function of the Thue-Morse word, and we prove that Sturmian words are characterized by their privileged complexity function. As a slightly separate topic, we give an overview of a certain method of automated theorem-proving and show how it can be applied to study privileged factors of automatic words. The second part of this dissertation is devoted to Sturmian words. We extensively exploit the interpretation of Sturmian words as irrational rotation words. The essential tools are continued fractions and elementary, but powerful, results of Diophantine approximation theory. With these tools at our disposal, we reprove old results on powers occurring in Sturmian words with emphasis on the fractional index of a Sturmian word. Further, we consider abelian powers and abelian repetitions and characterize the maximum exponents of abelian powers with given period occurring in a Sturmian word in terms of the continued fraction expansion of its slope. We define the notion of abelian critical exponent for Sturmian words and explore its connection to the Lagrange spectrum of irrational numbers. The results obtained are often specialized for the Fibonacci word; for instance, we show that the minimum abelian period of a factor of the Fibonacci word is a Fibonacci number. In addition, we propose a completely new research topic: the square root map. We prove that the square root map preserves the language of any Sturmian word. Moreover, we construct a family of non-Sturmian optimal squareful words whose language the square root map also preserves.This construction yields examples of aperiodic infinite words whose square roots are periodic.

Successione di Fibonacci e applicazioni

Nella tesi descrivo la successione di Fibonacci che è la più antica fra le successioni ricorsive note e nasce da un semplice quesito sulla riproduzione dei conigli. Inoltre introduco alcune proprietà e caratteristiche dei numeri che la compongono tra cui, la principale, la sezione aurea. Negli ultimi capitoli espongo le applicazioni di questi numeri in natura e introduco la definizione di terna pitagorica per enunciare teoremi che collegano i numeri di Fibonacci con l'ipotenusa dei triangoli rettangoli.

The generating function of the generalized Fibonacci sequence

Using tools of the theory of orthogonal polynomials we obtain the generating function of the generalized Fibonacci sequence established by Petronilho for a sequence of real or complex numbers {Qn} defined by Q0 = 0, Q1 = 1, Qm = ajQm−1 + bjQm−2, m ≡ j (mod k), where k ≥ 3 is a fixed integer, and a0, a1, . . . , ak−1, b0, b1, . . . , bk−1 are 2k given real or complex numbers, with bj #0 for 0 ≤ j ≤ k−1. For this sequence some convergence proprieties are obtained.

The combinatorics of Hilbert-Poincaré series of matroids

In this thesis we explore the combinatorial properties of several polynomials arising in matroid theory. Our main motivation comes from the problem of computing them in an efficient way and from a collection of conjectures, mainly the real-rootedness and the monotonicity of their coefficients with respect to weak maps. Most of these polynomials can be interpreted as Hilbert--Poincaré series of graded vector spaces associated to a matroid and thus some combinatorial properties can be inferred via combinatorial algebraic geometry (non-negativity, palindromicity, unimodality); one of our goals is also to provide purely combinatorial interpretations of these properties, for example by redefining these polynomials as poset invariants (via the incidence algebra of the lattice of flats); moreover, by exploiting the bases polytopes and the valuativity of these invariants with respect to matroid decompositions, we are able to produce efficient closed formulas for every paving matroid, a class that is conjectured to be predominant among all matroids. One last goal is to extend part of our results to a higher categorical level, by proving analogous results on the original graded vector spaces via abelian categorification or on equivariant versions of these polynomials.

Anomalous diffusion in non-Markovian walks having amnestically induced persistence

We report numerically and analytically estimated values for the Hurst exponent for a recently proposed non-Markovian walk characterized by amnestically induced persistence. These results are consistent with earlier studies showing that log-periodic oscillations arise only for large memory losses of the recent past. We also report numerical estimates of the Hurst exponent for non-Markovian walks with diluted memory. Finally, we study walks with a fractal memory of the past for a Thue-Morse and Fibonacci memory patterns. These results are interpreted and discussed in the context of the necessary and sufficient conditions for the central limit theorem to hold.

Nonuniversal behavior for aperiodic interactions within a mean-field approximation

We study the spin-1/2 Ising model on a Bethe lattice in the mean-field limit, with the interaction constants following one of two deterministic aperiodic sequences, the Fibonacci or period-doubling one. New algorithms of sequence generation were implemented, which were fundamental in obtaining long sequences and, therefore, precise results. We calculate the exact critical temperature for both sequences, as well as the critical exponents beta, gamma, and delta. For the Fibonacci sequence, the exponents are classical, while for the period-doubling one they depend on the ratio between the two exchange constants. The usual relations between critical exponents are satisfied, within error bars, for the period-doubling sequence. Therefore, we show that mean-field-like procedures may lead to nonclassical critical exponents.

An algorithmic Friedman-Pippenger theorem on tree embeddings and applications

An (n, d)-expander is a graph G = (V, E) such that for every X subset of V with vertical bar X vertical bar <= 2n - 2 we have vertical bar Gamma(G)(X) vertical bar >= (d + 1) vertical bar X vertical bar. A tree T is small if it has at most n vertices and has maximum degree at most d. Friedman and Pippenger (1987) proved that any ( n; d)- expander contains every small tree. However, their elegant proof does not seem to yield an efficient algorithm for obtaining the tree. In this paper, we give an alternative result that does admit a polynomial time algorithm for finding the immersion of any small tree in subgraphs G of (N, D, lambda)-graphs Lambda, as long as G contains a positive fraction of the edges of Lambda and lambda/D is small enough. In several applications of the Friedman-Pippenger theorem, including the ones in the original paper of those authors, the (n, d)-expander G is a subgraph of an (N, D, lambda)-graph as above. Therefore, our result suffices to provide efficient algorithms for such previously non-constructive applications. As an example, we discuss a recent result of Alon, Krivelevich, and Sudakov (2007) concerning embedding nearly spanning bounded degree trees, the proof of which makes use of the Friedman-Pippenger theorem. We shall also show a construction inspired on Wigderson-Zuckerman expander graphs for which any sufficiently dense subgraph contains all trees of sizes and maximum degrees achieving essentially optimal parameters. Our algorithmic approach is based on a reduction of the tree embedding problem to a certain on-line matching problem for bipartite graphs, solved by Aggarwal et al. (1996).

On the resilience of long cycles in random graphs

In this paper we determine the local and global resilience of random graphs G(n,p) (p >> n(-1)) with respect to the property of containing a cycle of length at least (1 - alpha)n. Roughly speaking, given alpha > 0, we determine the smallest r(g) (G, alpha) with the property that almost surely every subgraph of G = G(n,p) having more than r(g) (G, alpha)vertical bar E(G)vertical bar edges contains a cycle of length at least (1 - alpha)n (global resilience). We also obtain, for alpha < 1/2, the smallest r(l) (G, alpha) such that any H subset of G having deg(H) (v) larger than r(l) (G, alpha) deg(G) (v) for all v is an element of V(G) contains a cycle of length at least (1 - alpha)n (local resilience). The results above are in fact proved in the more general setting of pseudorandom graphs.

The Lobel-Komlos-Sos conjecture for trees of diameter 5 and for certain caterpillars

Loebl, Komlos, and Sos conjectured that if at least half the vertices of a graph G have degree at least some k is an element of N, then every tree with at most k edges is a subgraph of G. We prove the conjecture for all trees of diameter at most 5 and for a class of caterpillars. Our result implies a bound on the Ramsey number r( T, T') of trees T, T' from the above classes.

Atomic Latin squares of order eleven

A Latin square is pan-Hamiltonian if the permutation which defines row i relative to row j consists of a single cycle for every i j. A Latin square is atomic if all of its conjugates are pan-Hamiltonian. We give a complete enumeration of atomic squares for order 11, the smallest order for which there are examples distinct from the cyclic group. We find that there are seven main classes, including the three that were previously known. A perfect 1-factorization of a graph is a decomposition of that graph into matchings such that the union of any two matchings is a Hamiltonian cycle. Each pan-Hamiltonian Latin square of order n describes a perfect 1-factorization of Kn,n, and vice versa. Perfect 1-factorizations of Kn,n can be constructed from a perfect 1-factorization of Kn+1. Six of the seven main classes of atomic squares of order 11 can be obtained in this way. For each atomic square of order 11, we find the largest set of Mutually Orthogonal Latin Squares (MOLS) involving that square. We discuss algorithms for counting orthogonal mates, and discover the number of orthogonal mates possessed by the cyclic squares of orders up to 11 and by Parker's famous turn-square. We find that the number of atomic orthogonal mates possessed by a Latin square is not a main class invariant. We also define a new sort of Latin square, called a pairing square, which is mapped to its transpose by an involution acting on the symbols. We show that pairing squares are often orthogonal mates for symmetric Latin squares. Finally, we discover connections between our atomic squares and Franklin's diagonally cyclic self-orthogonal squares, and we correct a theorem of Longyear which uses tactical representations to identify self-orthogonal Latin squares in the same main class as a given Latin square.