A note about splittings of groups and commensurability under a cohomological point of view

Let G be a group, let S be a subgroup with infinite index in G and let FSG be a certain Z2G-module. In this paper, using the cohomological invariant E(G, S, FSG) or simply E˜(G, S) (defined in [2]), we analyze some results about splittings of group G over a commensurable with S subgroup which are related with the algebraic obstruction “singG(S)" defined by Kropholler and Roller ([8]. We conclude that E˜(G, S) can substitute the obstruction “singG(S)" in more general way. We also analyze splittings of groups in the case, when G and S satisfy certain duality conditions.

A new transmission model in cognitive radio based on cyclic generalized polynomial codes for bandwidth reduction

The frequency spectrums are inefficiently utilized and cognitive radio has been proposed for full utilization of these spectrums. The central idea of cognitive radio is to allow the secondary user to use the spectrum concurrently with the primary user with the compulsion of minimum interference. However, designing a model with minimum interference is a challenging task. In this paper, a transmission model based on cyclic generalized polynomial codes discussed in [2] and [15], is proposed for the improvement in utilization of spectrum. The proposed model assures a non interference data transmission of the primary and secondary users. Furthermore, analytical results are presented to show that the proposed model utilizes spectrum more efficiently as compared to traditional models.

Cyclic codes through B[X;(a/b)Z_0, with (a/b) in Q^{+} and b=a+1, and Encoding

Let B[X; S] be a monoid ring with any fixed finite unitary commutative ring B and is the monoid S such that b = a + 1, where a is any positive integer. In this paper we constructed cyclic codes, BCH codes, alternant codes, Goppa codes, Srivastava codes through monoid ring . For a = 1, almost all the results contained in [16] stands as a very particular case of this study.

A presença das TIC no curso de licenciatura em matemática da UNESP - campus Guaratinguetá

This research shows an investigation on teaching formation in regards to the TICs. Our interest in this subject is due to the fact that new generations of students who attend school require that the classes make use of technology in the classroom environment. By following the phenomenological orientation we have carried out a study which involved a field research at the College of Engineering in Guaratinguetá using the graduate as well as senior students of the Bachelor's Degree in Mathematics of this university. We have analyzed the data under the light of texts of the following authors: Filho (2007), Valente (1993), Miskulin (2006), Borba and Penteado (2001) among others in order to understand the teacher`s formation process to act using technologies in the classroom and its relevance. The data that has been analyzed was obtained in interviews which were conducted with the students of this university. The interviews were transcribed and analyzed according to the rigor of phenomenological research procedures involving ideographic and nomothetic analysis. This analysis has led us to three open categories: 1) Mathematics learning through TICs; 2) Technologies that have been used; 3) Teacher`s role. By understanding the open categories we have been able to grasp that the students -future teachers- admit feeling capable of using technology in their classes, however their testimonies in regards to the TIC`s have led us to believe that there would be a reproduction of the content studied at their time at college without using further reflection upon the subject or autonomy in order to create new projects for teaching Mathmatics using these TICs

A formação de professores de matemática no contexto da resolução de problemas

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

O desenvolvimento de projeto como instrumento de ensino de matemática

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Origami: o uso como instrumento alternativo no ensino da geometria

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

A matemática financeira e a estatística como ferramentas para uma gestão financeira consciente

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

UNIVERSALITY OF RANDOM GRAPHS

We prove that asymptotically (as n -> infinity) almost all graphs with n vertices and C(d)n(2-1/2d) log(1/d) n edges are universal with respect to the family of all graphs with maximum degree bounded by d. Moreover, we provide an efficient deterministic embedding algorithm for finding copies of bounded degree graphs in graphs satisfying certain pseudorandom properties. We also prove a counterpart result for random bipartite graphs, where the threshold number of edges is even smaller but the embedding is randomized.

Comparing skew Schur functions: a quasisymmetric perspective

Reiner, Shaw and van Willigenburg showed that if two skew Schur functions sA and sB are equal, then the skew shapes $A$ and $B$ must have the same "row overlap partitions." Here we show that these row overlap equalities are also implied by a much weaker condition than Schur equality: that sA and sB have the same support when expanded in the fundamental quasisymmetric basis F. Surprisingly, there is significant evidence supporting a conjecture that the converse is also true. In fact, we work in terms of inequalities, showing that if the F-support of sA contains that of sB, then the row overlap partitions of A are dominated by those of B, and again conjecture that the converse also holds. Our evidence in favor of these conjectures includes their consistency with a complete determination of all F-support containment relations for F-multiplicity-free skew Schur functions. We conclude with a consideration of how some other quasisymmetric bases fit into our framework.

Applications of finite geometries to designs and codes

This dissertation concerns the intersection of three areas of discrete mathematics: finite geometries, design theory, and coding theory. The central theme is the power of finite geometry designs, which are constructed from the points and t-dimensional subspaces of a projective or affine geometry. We use these designs to construct and analyze combinatorial objects which inherit their best properties from these geometric structures. A central question in the study of finite geometry designs is Hamada’s conjecture, which proposes that finite geometry designs are the unique designs with minimum p-rank among all designs with the same parameters. In this dissertation, we will examine several questions related to Hamada’s conjecture, including the existence of counterexamples. We will also study the applicability of certain decoding methods to known counterexamples. We begin by constructing an infinite family of counterexamples to Hamada’s conjecture. These designs are the first infinite class of counterexamples for the affine case of Hamada’s conjecture. We further demonstrate how these designs, along with the projective polarity designs of Jungnickel and Tonchev, admit majority-logic decoding schemes. The codes obtained from these polarity designs attain error-correcting performance which is, in certain cases, equal to that of the finite geometry designs from which they are derived. This further demonstrates the highly geometric structure maintained by these designs. Finite geometries also help us construct several types of quantum error-correcting codes. We use relatives of finite geometry designs to construct infinite families of q-ary quantum stabilizer codes. We also construct entanglement-assisted quantum error-correcting codes (EAQECCs) which admit a particularly efficient and effective error-correcting scheme, while also providing the first general method for constructing these quantum codes with known parameters and desirable properties. Finite geometry designs are used to give exceptional examples of these codes.

Minimal strong digraphs

We introduce adequate concepts of expansion of a digraph to obtain a sequential construction of minimal strong digraphs. We obtain a characterization of the class of minimal strong digraphs whose expansion preserves the property of minimality. We prove that every minimal strong digraph of order nmayor que=2 is the expansion of a minimal strong digraph of order n-1 and we give sequentially generative procedures for the constructive characterization of the classes of minimal strong digraphs. Finally we describe algorithms to compute unlabeled minimal strong digraphs and their isospectral classes.

Design and implementation of a mathematical videogame

This paper presents videogames as a very useful tool in high studies with respect to mathematical matters. It describes the implementation of a videogame developed by its authors which makes it possible for students to reinforce mathematical concepts in a motivating environment. With this work we intend to contribute to the process of engaging a bigger number of university teaching professionals and researchers in the use of serious games and the study of their theoretical frameworks, design, development and application of scientific education. With this idea the authors of the present paper have created and developed the videogame “The Math Castle” which consists in a series of tests through which various aspects of Mathematics are dealt with, especially in the areas of Discrete Mathematics, which due to its nature can be particularly well adapted to this kind of activity, Analysis or Geometry. In this paper there lies a complete description of the game developed and the results obtained with it.

Approximation algorithms

Increasing global competition, rapidly changing markets, and greater consumer awareness have altered the way in which corporations do business. To become more efficient, many industries have sought to model some operational aspects by gigantic optimization problems. It is not atypical to encounter models that capture 106 separate “yes” or “no” decisions to be made. Although one could, in principle, try all 2106 possible solutions to find the optimal one, such a method would be impractically slow. Unfortunately, for most of these models, no algorithms are known that find optimal solutions with reasonable computation times. Typically, industry must rely on solutions of unguaranteed quality that are constructed in an ad hoc manner. Fortunately, for some of these models there are good approximation algorithms: algorithms that produce solutions quickly that are provably close to optimal. Over the past 6 years, there has been a sequence of major breakthroughs in our understanding of the design of approximation algorithms and of limits to obtaining such performance guarantees; this area has been one of the most flourishing areas of discrete mathematics and theoretical computer science.

Conocimiento de matemáticas y la competencia de reconocer el desarrollo del razonamiento up and down en los estudiantes

El objetivo de este estudio es aportar información sobre el papel que desempeña el conocimiento de matemáticas de los estudiantes para maestro (EPM) cuando piensan en el aprendizaje de las matemáticas de los estudiantes de primaria. Nuestro estudio se centra en el razonamiento up and down que es una de las componentes que facilitan el desarrollo del razonamiento proporcional. 92 EPM resolvieron una tarea en la que tenían que interpretar las respuestas de estudiantes de educación primaria a un problema que implicaba el razonamiento up and down. Identificamos tres perfiles de EPM caracterizados por la relación entre el conocimiento de matemáticas y la competencia de reconocer el desarrollo del razonamiento up and down en los estudiantes.