Showing 1–14 of 14 results for author: Borovik, A V

Mathematics education policy as a high stakes political struggle: The case of Soviet Russia of the 1930s

Authors: Alexandre V. Borovik, Serguei D. Karakozov, Serguei A. Polikarpov

Abstract: This paper is an introduction to our ongoing more comprehensive work on a critically important period in the history of Russian mathematics education; it provides a glimpse into the socio-political environment in which the famous Soviet tradition of mathematics education was born. The authors are practitioners of mathematics education in two very different countries, England and Russia. We have a… ▽ More This paper is an introduction to our ongoing more comprehensive work on a critically important period in the history of Russian mathematics education; it provides a glimpse into the socio-political environment in which the famous Soviet tradition of mathematics education was born. The authors are practitioners of mathematics education in two very different countries, England and Russia. We have a chance to see that too many trends and debates in current education policy resemble battles around mathematics education in the 1920s and 1930s Soviet Russia. This is why this period should be revisited and re-analysed, despite quite a considerable amount of previous research. Our main conclusion: mathematicians, first of all, were fighting for control over selection, education, and career development, of young mathematicians. In the harshest possible political environment, they were taking potentially lethal risks. △ Less

Submitted 23 May, 2021; originally announced May 2021.

MSC Class: 01A60

Calling a spade a spade: Mathematics in the new pattern of division of labour

Authors: Alexandre V. Borovik

Abstract: The growing disconnection of the majority of population from mathematics is becoming a phenomenon that is increasingly difficult to ignore. This paper attempts to point to deeper roots of this cultural and social phenomenon. It concentrates on mathematics education, as the most important and better documented area of interaction of mathematics with the rest of human culture. I argue that new pat… ▽ More The growing disconnection of the majority of population from mathematics is becoming a phenomenon that is increasingly difficult to ignore. This paper attempts to point to deeper roots of this cultural and social phenomenon. It concentrates on mathematics education, as the most important and better documented area of interaction of mathematics with the rest of human culture. I argue that new patterns of division of labour have dramatically changed the nature and role of mathematical skills needed for the labour force and correspondingly changed the place of mathematics in popular culture and in the mainstream education. The forces that drive these changes come from the tension between the ever deepening specialisation of labour and ever increasing length of specialised training required for jobs at the increasingly sharp cutting edge of technology. Unfortunately these deeper socio-economic origins of the current systemic crisis of mathematics education are not clearly spelt out, neither in cultural studies nor, even more worryingly, in the education policy discourse; at the best, they are only euphemistically hinted at. This paper is an attempt to describe the socio-economic landscape of mathematics education without resorting to euphemisms. △ Less

Submitted 12 December, 2014; v1 submitted 8 July, 2014; originally announced July 2014.

Comments: The last pre-publication version of the paper based on a talk at Mathematical Cultures 3, 12 April 2014. https://sites.google.com/site/mathematicalcultures/

MSC Class: 97A40

The Finitary Andrews-Curtis Conjecture

Authors: Alexandre V. Borovik, Alexander Lubotzky, Alexei G. Myasnikov

Abstract: The well known Andrews-Curtis Conjecture [2] is still open. In this paper, we establish its finite version by describing precisely the connected components of the Andrews-Curtis graphs of finite groups. This finite version has independent importance for computational group theory. It also resolves a question asked in [5] and shows that a computation in finite groups cannot lead to a counterexample… ▽ More The well known Andrews-Curtis Conjecture [2] is still open. In this paper, we establish its finite version by describing precisely the connected components of the Andrews-Curtis graphs of finite groups. This finite version has independent importance for computational group theory. It also resolves a question asked in [5] and shows that a computation in finite groups cannot lead to a counterexample to the classical conjecture, as suggested in [5]. △ Less

Submitted 7 March, 2011; originally announced March 2011.

Comments: Appeared in Progress in Mathematics, Vol. 248, 15-30. 2005 Birkhäuser Verlag Basel/Switzerland

Generic complexity of the Conjugacy Problem in HNN-extensions and algorithmic stratification of Miller's groups

Authors: Alexandre V. Borovik, Alexei G. Myasnikov, Vladimir N. Remeslennikov

Abstract: We discuss time complexity of The Conjugacy Problem in HNN-extensions of groups, in particular, in Miller's groups. We show that for "almost all", in some explicit sense, elements, the Conjugacy Problem is decidable in cubic time. It is worth noting that the Conjugacy Problem in a Miller group may have be undecidable. Our results show that "hard" instances of the problem comprise a negligibly sm… ▽ More We discuss time complexity of The Conjugacy Problem in HNN-extensions of groups, in particular, in Miller's groups. We show that for "almost all", in some explicit sense, elements, the Conjugacy Problem is decidable in cubic time. It is worth noting that the Conjugacy Problem in a Miller group may have be undecidable. Our results show that "hard" instances of the problem comprise a negligibly small part of the group. △ Less

Submitted 22 March, 2009; originally announced March 2009.

MSC Class: 20F10 (Primary); 20P05 (Secondary)

The Conjugacy Problem in Amalgamated Products I: Regular Elements and Black Holes

Authors: Alexandre V. Borovik, Alexei G. Myasnikov, Vladimir N. Remeslennikov

Abstract: We discuss the time complexity of the word and conjugacy search problems for free products $G = A \star_C B$ of groups $A$ and $B$ with amalgamation over a subgroup $C$. We stratify the set of elements of $G$ with respect to the complexity of the word and conjugacy problems and show that for the generic stratum the conjugacy search problem is decidable under some reasonable assumptions about gro… ▽ More We discuss the time complexity of the word and conjugacy search problems for free products $G = A \star_C B$ of groups $A$ and $B$ with amalgamation over a subgroup $C$. We stratify the set of elements of $G$ with respect to the complexity of the word and conjugacy problems and show that for the generic stratum the conjugacy search problem is decidable under some reasonable assumptions about groups $A,B,C$. △ Less

Submitted 22 March, 2009; originally announced March 2009.

MSC Class: 20F10 (Primary); 20P05 (Secondary)

Lagrangian Matroids: Representations of Type $B_n$

Authors: Richard F. Booth, Alexandre V. Borovik, Neil White

Abstract: We introduce the concept of orientation for Lagrangian matroids represented in the flag variety of maximal isotropic subspaces of dimension N in the real vector space of dimension 2N+1. The paper continues the study started in math.CO/0209100. We introduce the concept of orientation for Lagrangian matroids represented in the flag variety of maximal isotropic subspaces of dimension N in the real vector space of dimension 2N+1. The paper continues the study started in math.CO/0209100. △ Less

Submitted 17 September, 2002; originally announced September 2002.

Comments: Requires amssymb.sty; 17 pages

MSC Class: 05B35

Lagrangian Pairs and Lagrangian Orthogonal Matroids

Authors: Richard F. Booth, Alexandre V. Borovik, Neil White

Abstract: Represented Coxeter matroids of types $C_n$ and $D_n$, that is, symplectic and orthogonal matroids arising from totally isotropic subspaces of symplectic or (even-dimensional) orthogonal spaces, may also be represented in buildings of type $C_n$ and $D_n$, respectively. Indeed, the particular buildings involved are those arising from the flags or oriflammes, respectively, of totally isotropic su… ▽ More Represented Coxeter matroids of types $C_n$ and $D_n$, that is, symplectic and orthogonal matroids arising from totally isotropic subspaces of symplectic or (even-dimensional) orthogonal spaces, may also be represented in buildings of type $C_n$ and $D_n$, respectively. Indeed, the particular buildings involved are those arising from the flags or oriflammes, respectively, of totally isotropic subspaces. There are also buildings of type $B_n$ arising from flags of totally isotropic subspaces in odd-dimensional orthogonal space. Coxeter matroids of type $B_n$ are the same as those of type $C_n$ (since they depend only upon the reflection group, not the root system). However, buildings of type $B_n$ are distinct from those of the other types. The matroids representable in odd dimensional orthogonal space (and therefore in the building of type $B_n$) turn out to be a special case of symplectic (flag) matroids, those whose top component, or Lagrangian matroid, is a union of two Lagrangian orthogonal matroids. These two matroids are called a Lagrangian pair, and they are the combinatorial manifestation of the ``fork'' at the top of an oriflamme (or of the fork at the end of the Coxeter diagram of $D_n$). Here we give a number of equivalent characterizations of Lagrangian pairs, and prove some rather strong properties of them. △ Less

Submitted 9 September, 2002; originally announced September 2002.

Comments: Requires amssymb.sty; 12 pages, 2 LaTeX figures

MSC Class: 05B35

Measuring sets in infinite groups

Authors: Alexandre V. Borovik, Alexei G. Myasnikov, Vladimir Shpilrain

Abstract: We are now witnessing a rapid growth of a new part of group theory which has become known as "statistical group theory". A typical result in this area would say something like ``a random element (or a tuple of elements) of a group G has a property P with probability p". The validity of a statement like that does, of course, heavily depend on how one defines probability on groups, or, equivalentl… ▽ More We are now witnessing a rapid growth of a new part of group theory which has become known as "statistical group theory". A typical result in this area would say something like ``a random element (or a tuple of elements) of a group G has a property P with probability p". The validity of a statement like that does, of course, heavily depend on how one defines probability on groups, or, equivalently, how one measures sets in a group (in particular, in a free group). We hope that new approaches to defining probabilities on groups outlined in this paper create, among other things, an appropriate framework for the study of the "average case" complexity of algorithms on groups. △ Less

Submitted 7 April, 2002; originally announced April 2002.

Comments: 22 pages

MSC Class: 20E05; 60B15

Multiplicative measures on free groups

Authors: Alexandre V. Borovik, Alexei G. Myasnikov, Vladimir N. Remeslennikov

Abstract: We introduce a family of atomic measures on free groups generated by no-return random walks. These measures are shown to be very convenient for comparing "relative sizes" of subgroups, context-free and regular subsets (that, subsets generated by finite automata) of free groups. Many asymptotic characteristics of subsets and subgroups are naturally expressed as analytic properties of related gene… ▽ More We introduce a family of atomic measures on free groups generated by no-return random walks. These measures are shown to be very convenient for comparing "relative sizes" of subgroups, context-free and regular subsets (that, subsets generated by finite automata) of free groups. Many asymptotic characteristics of subsets and subgroups are naturally expressed as analytic properties of related generating functions. We introduce an hierarchy of asymptotic behaviour "at infinity" of subsets in the free groups, more sensitive than the traditionally used asymptotic density, and apply it to normal subgroups and regular subsets. △ Less

Submitted 14 April, 2002; v1 submitted 5 April, 2002; originally announced April 2002.

Comments: LaTeX, requires amssymb.sty; 31 pp Version 3: more detail in Example 2 and Tauberian theorems

MSC Class: 20E05

The Andrews-Curtis Conjecture and Black Box Groups

Authors: Alexandre V. Borovik, Evgenii I. Khukhro, Alexei G. Myasnikov

Abstract: The paper discusses the Andrews-Curtis graph of a normal subgroup N in a group G. The vertices of the graph are k-tuples of elements in N which generate N as a normal subgroup; two vertices are connected if one them can be obtained from another by certain elementary transformations. This object appears naturally in the theory of black box finite groups and in the Andrews-Curtis conjecture in alg… ▽ More The paper discusses the Andrews-Curtis graph of a normal subgroup N in a group G. The vertices of the graph are k-tuples of elements in N which generate N as a normal subgroup; two vertices are connected if one them can be obtained from another by certain elementary transformations. This object appears naturally in the theory of black box finite groups and in the Andrews-Curtis conjecture in algebraic topology. We suggest an approach to the Andrews-Curtis conjecture based on the study of Andrews-Curtis graphs of finite groups, discuss properties of Andrews-Curtis graphs of some classes of finite groups and results of computer experiments with generation of random elements of finite groups by random walks on their Andrews-Curtis graphs. △ Less

Submitted 6 November, 2001; v1 submitted 22 October, 2001; originally announced October 2001.

Comments: 23 pages, LaTeX2e, no figures, requires packages amssymb and latexsym. Version 2: some results are improved in comparision with the original version

MSC Class: 20P05

Orthogonal and Symplectic Black Box Groups, Revisited

Authors: Alexandre V. Borovik

Abstract: We propose a simple one sided Monte-Carlo algorithm to distinguish, to any given degree of certainty, between certain symplectic and orthogonal groups over fields of odd order. The algorithm does not use an order oracle and works in polynomial time. We propose a simple one sided Monte-Carlo algorithm to distinguish, to any given degree of certainty, between certain symplectic and orthogonal groups over fields of odd order. The algorithm does not use an order oracle and works in polynomial time. △ Less

Submitted 21 October, 2001; originally announced October 2001.

Comments: 23 pp, LaTeX2e, requires packages amssymb, amsmath

MSC Class: 20P05

Centralisers of Involutions in Black Box Groups

Authors: Alexandre V. Borovik

Abstract: We discuss basic structural properties of finite black box groups. A special emphasis is made on the use of centralisers of involutions in probabilistic recognition of black box groups. In particular, we suggest an algorithm for finding the $p$-core of a black box group of odd characteristic. This special role of involutions suggest that the theory of black box groups reproduces, at a non-determ… ▽ More We discuss basic structural properties of finite black box groups. A special emphasis is made on the use of centralisers of involutions in probabilistic recognition of black box groups. In particular, we suggest an algorithm for finding the $p$-core of a black box group of odd characteristic. This special role of involutions suggest that the theory of black box groups reproduces, at a non-deterministic level, some important features of the classification of finite simple groups. △ Less

Submitted 22 October, 2001; originally announced October 2001.

Comments: 13 pp, LaTeX2e, requires packages latexsym, amssymb

MSC Class: 20P05

Oriented Lagrangian Matroids

Authors: Richard F. Booth, Alexandre V. Borovik, Israel M. Gelfand, Neil White

Abstract: In this paper we present a definition of oriented Lagrangian symplectic matroids and their representations. Classical concepts of orientation and this extension may both be thought of as stratifications of thin Schubert cells into unions of connected components. The definitions are made first in terms of a combinatorial axiomatisation, and then again in terms of elementary geometric properties o… ▽ More In this paper we present a definition of oriented Lagrangian symplectic matroids and their representations. Classical concepts of orientation and this extension may both be thought of as stratifications of thin Schubert cells into unions of connected components. The definitions are made first in terms of a combinatorial axiomatisation, and then again in terms of elementary geometric properties of the Coxeter matroid polytope. We also generalise the concept of rank and signature of a quadratic form to symplectic Lagrangian matroids in a surprisingly natural way. △ Less

Submitted 25 October, 2000; originally announced October 2000.

Comments: 20 pages. To appear in the European Journal of Combinatorics

Lagrangian Matroids associated with Maps on Orientable Surfaces

Authors: Richard F. Booth, Alexandre V. Borovik, Israel Gelfand

Abstract: The aim of the paper is to clarify the nature of combinatorial structures associated with maps on closed compact surfaces. We prove that maps give rise to Lagrangian matroids representable in a setting provided by cohomology of the surface with punctured points. Our proof is very elementary. We further observe that the greedy algorithm has a natural interpretation in this setting, as a `peelin… ▽ More The aim of the paper is to clarify the nature of combinatorial structures associated with maps on closed compact surfaces. We prove that maps give rise to Lagrangian matroids representable in a setting provided by cohomology of the surface with punctured points. Our proof is very elementary. We further observe that the greedy algorithm has a natural interpretation in this setting, as a `peeling' procedure which cuts the (connected) surface into a closed ring-shaped peel, and that this procedure is local. △ Less

Submitted 25 October, 2000; originally announced October 2000.

Comments: 12 pages. A rather more technical version of this paper, with the main proof reformulated in cohomological terms by David Stone, appeared as "Lagrangian Matroids and Cohomology" in Annals of Comb. 4 (2000), pp 171-182