Skip to main content

Showing 1–50 of 51 results for author: Borovik, A

Searching in archive math. Search in all archives.
.
  1. arXiv:2405.07307  [pdf, ps, other

    math.GR math.LO

    Primitive permutation groups of finite Morley rank and affine type

    Authors: Ayşe Berkman, Alexandre Borovik

    Abstract: We give a review of one of the lines in development of the theory of groups of finite Morley rank. These groups naturally appear in model theory as model-theoretic analogues of Galois groups, therefore their actions and their role as permutation groups is of primary interest. We restrict our story to the study of connected groups of finite Morley rank $G$ acting in a definably primitive way on a s… ▽ More

    Submitted 6 December, 2024; v1 submitted 12 May, 2024; originally announced May 2024.

    Comments: Some typos were corrected, a few wordings were changed, bibliography was updated

    MSC Class: 20F11; 03C60

  2. arXiv:2402.06987  [pdf, ps, other

    math.GR math.LO

    Groups Acting Generically Multiply Transitively on Solvable Groups

    Authors: Ayşe Berkman, Alexandre Borovik

    Abstract: In this work, we complete the classification of generically multiply transitive actions of groups on solvable groups in the finite Morley rank setting. We prove that if $G$ is a connected group of finite Morley rank acting definably, faithfully and generically $m$-transitively on a connected solvable group $V$ of finite Morley rank where $\operatorname{rk}(V)\leqslant m$, then… ▽ More

    Submitted 22 April, 2024; v1 submitted 10 February, 2024; originally announced February 2024.

    Comments: A new section on definably primitive groups of affine type is added

    MSC Class: 20F11; 03C60

  3. arXiv:2402.03032  [pdf, other

    math.GR

    Structural proxies for black box rings encrypting rings of 2 by 2 matrices over finite fields of odd order

    Authors: Alexandre Borovik, Sukru Yalcinkaya

    Abstract: This paper provides an example of structural proxies for black box rings encrypting rings of 2 by 2 matrices of finite fields of odd order.

    Submitted 5 February, 2024; originally announced February 2024.

    MSC Class: 20P05

  4. arXiv:2212.13167  [pdf, other

    math.HO

    'Decolonisation' of the curricula and some related issues

    Authors: Alexandre Borovik

    Abstract: University level mathematics in a number of countries is under pressure to `decolonise the curriculum'. This paper considers, as a test case, a possible `decolonisation' of linear algebra. This is a representative case, since linear algebra is one of the core courses of undergraduate mathematics and a mathematical discipline with a millennia long historic tradition. This paper is written for my co… ▽ More

    Submitted 12 January, 2023; v1 submitted 26 December, 2022; originally announced December 2022.

    Comments: 13 pp. Submitted for publication. Changes from Version 3: former Section 6 is deleted and will be used in another paper, plus some corrections and minor changes

    MSC Class: 01A17; 01A25; 01A27; 01A32; 01A80; 15-03

  5. Is pluralism in the history of mathematics possible?

    Authors: Jacques Bair, Alexandre Borovik, Vladimir Kanovei, Mikhail G. Katz, Semen S. Kutateladze, Sam Sanders, David Sherry, Monica Ugaglia, Mark van Atten

    Abstract: Leibniz scholarship is currently an area of lively debate. We respond to some recent criticisms by Archibald et al.

    Submitted 22 March, 2023; v1 submitted 15 December, 2022; originally announced December 2022.

    Comments: 2 pages, appeared in The Mathematical Intelligencer

    MSC Class: 01A45; 01A85

    Journal ref: The Mathematical Intelligencer 45 (2023), no. 1, 8

  6. arXiv:2212.12257  [pdf, other

    math.HO

    A new course `Algebra + Computer Science': What should be its outcomes and where it should start

    Authors: Alexandre Borovik, Vladimir Kondratiev

    Abstract: The words ``Programming is the second literacy'' were coined more than 40 years ago but never came to life. This paper is one in the series of papers aimed at the analysis of mathematical requirements for a merge of school mathematics with computer science and computer programming. First indications are this demands development of quite serious mathematical tools most of which, hopefully, will be… ▽ More

    Submitted 23 December, 2022; originally announced December 2022.

    Comments: 23 pp. Submitted for publication

    MSC Class: 97D99; 97C99

  7. Historical infinitesimalists and modern historiography of infinitesimals

    Authors: Jacques Bair, Alexandre Borovik, Vladimir Kanovei, Mikhail G. Katz, Semen Kutateladze, Sam Sanders, David Sherry, Monica Ugaglia

    Abstract: In the history of infinitesimal calculus, we trace innovation from Leibniz to Cauchy and reaction from Berkeley to Mansion and beyond. We explore 19th century infinitesimal lores, including the approaches of Simeon-Denis Poisson, Gaspard-Gustave de Coriolis, and Jean-Nicolas Noel. We examine contrasting historiographic approaches to such lores, in the work of Laugwitz, Schubring, Spalt, and others… ▽ More

    Submitted 14 March, 2023; v1 submitted 26 October, 2022; originally announced October 2022.

    Comments: 60 pages

    MSC Class: 01A45; 01A61; 01A85; 01A90; 26E35

    Journal ref: Antiquitates Mathematicae 16 (2022), 189-257

  8. arXiv:2210.03574  [pdf, ps, other

    math.HO

    The Kolmogorov Reform of Mathematics Education in the USSR

    Authors: Alexandre Borovik

    Abstract: In the Soviet Union a reform movement in mathematics education was triggered by Andrey Kolmogorov in the 1970s, and followed by a counter-reform. This movement was rooted in the very different socioeconomic conditions of that time and place, and followed a strategy with very significant contrasts to similar programs in the USA, England, or France. This provides an interesting case study which may… ▽ More

    Submitted 7 October, 2022; originally announced October 2022.

    Comments: This is a pre-print of the following chapter: Alexandre Borovik, The Kolmogorov Reform of Mathematics Education in the USSR, published in Modern mathematics. An international movement?, edited by Dirk De Bock, 202X, Springer, reproduced with permission of Springer Nature Switzerland AG. The final authenticated version will become available online at: http://dx.doi.org/[to be confirmed]

    MSC Class: 97-03; 97A40; 95B10

  9. arXiv:2201.08364  [pdf, other

    math.HO

    Mathematics and Mathematics Education in the 21st Century

    Authors: Alexandre Borovik, Zoltan Kocsis, Vladimir Kondratiev

    Abstract: Mathematics enters the period of change unprecedented in its history, perhaps even a revolution: a switch to use of computers as assistants and checkers in production of proofs. This requires rethinking traditional approaches to mathematics education which is struggling through a crisis of its own, socio-economic and political by its nature. The mathematical community faces Pandora's box of proble… ▽ More

    Submitted 20 January, 2022; originally announced January 2022.

    Comments: Submitted for possible open access publication under the terms and conditions of the Creative Commons Attribution (CC BY) license

    MSC Class: 00A05; 97D30

  10. arXiv:2107.09997  [pdf, ps, other

    math.GR math.LO

    Groups of finite Morley rank with a generically multiply transitive action on an abelian group

    Authors: Ayşe Berkman, Alexandre Borovik

    Abstract: We investigate the configuration where a group of finite Morley rank acts definably and generically $m$-transitively on an elementary abelian $p$-group of Morley rank $n$, where $p$ is an odd prime, and $m\geqslant n$. We conclude that $m=n$, and the action is equivalent to the natural action of $\operatorname{GL}_n(F)$ on $F^n$ for some algebraically closed field $F$. This strengthens our earlier… ▽ More

    Submitted 12 February, 2022; v1 submitted 21 July, 2021; originally announced July 2021.

    Comments: To appear in \textit{Model Theory}. The manuscript will undergo copy editing, typesetting, and review of the resulting proof before it is published

    MSC Class: 20F11; 03C60

    Journal ref: Model Th. 1 (2022) 1-14

  11. arXiv:2105.10979  [pdf, other

    math.HO

    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

    Submitted 23 May, 2021; originally announced May 2021.

    MSC Class: 01A60

  12. arXiv:2103.04190  [pdf, other

    math.HO

    A mathematician's view of the unreasonable ineffectiveness of mathematics in biology

    Authors: Alexandre Borovik

    Abstract: This paper discusses, from a mathematician's point of view, the thesis formulated by Israel Gelfand, one of the greatest mathematicians of the 20th century, and one of the pioneers of mathematical biology: "There is only one thing which is more unreasonable than the unreasonable effectiveness of mathematics in physics, and this is the unreasonable ineffectiveness of mathematics in biology."

    Submitted 6 March, 2021; originally announced March 2021.

    MSC Class: 92B05

  13. arXiv:2103.04101  [pdf, ps, other

    math.HO

    A view from lockdown: mathematics discovered, invented, and inherited

    Authors: Alexandre Borovik

    Abstract: The classical platonist / formalist dilemma in philosophy of mathematics can be expressed in lay terms as a deceptively naive question: \emph{Is new mathematics discovered or invented? Using examples from my own mathematical work during the Coronavirus lockdown, I argue that there is also a third way: new mathematics can also be inherited. And entering into possession, making it your own, could be… ▽ More

    Submitted 6 March, 2021; originally announced March 2021.

    Comments: A shorter version of the paper (roughly Sections 1 to 4) appeared as: Borovik A. (2020) A View from Lockdown: Mathematics Discovered, Invented, and Inherited. In: . Mathematics Online First Collections. Springer, Cham. https://doi.org/10.1007/16618_2020_6

    MSC Class: math.HO

  14. Finite group actions on abelian groups of finite Morley rank

    Authors: Alexandre Borovik

    Abstract: This paper develops some general results about actions of finite groups on (infinite) abelian groups in the finite Morley rank category. They are linked to a range of problems on groups of finite Morley rank discussed in [16]. Crucially, these results are needed for the forthcoming work by Ayşe Berkman and myself [5] where we remove the `sharpness' assumption from [4]. Also, they yield a proof of… ▽ More

    Submitted 20 June, 2023; v1 submitted 2 August, 2020; originally announced August 2020.

    Comments: Expanded and corrected in comparison with previous versions

    MSC Class: 20F11

    Journal ref: Model Th. 3 (2024) 539-569

  15. arXiv:2001.10292  [pdf, other

    math.GR

    Natural representations of black box groups encrypting $SL_2(\mathbb{F}_q)$

    Authors: Alexandre Borovik, Şükrü Yalçınkaya

    Abstract: Given a global exponent $E$ for a black box group $\mathsf{Y}$ encrypting ${\rm SL}_2(\mathbb{F})$, where $\mathbb{F}$ is an unknown finite field of unknown odd characteristic, we construct, in probabilistic time polynomial in $\log E$, the isomorphisms \[ \mathsf{Y} \longleftrightarrow {\rm SL}_2(\mathsf{K}), \] where $\mathsf{K}$ is a black box field encrypting $\mathbb{F}$. Our algorithm makes… ▽ More

    Submitted 29 January, 2020; v1 submitted 28 January, 2020; originally announced January 2020.

    MSC Class: 20P05

  16. arXiv:1909.02813  [pdf, ps, other

    math.LO math.GR

    Binding groups, permutations groups and modules of finite Morley rank

    Authors: Alexandre Borovik, Adrien Deloro

    Abstract: The present survey aims at being a list of Conjectures and Problems in an area of model-theoretic algebra wide open for research, not a list of known results. To keep the text compact, it focuses on structures of finite Morley rank, although the same questions can be asked about other classes of objects, for example, groups definable in $ω$-stable and $o$-minimal theories. In many cases, answers a… ▽ More

    Submitted 6 September, 2019; originally announced September 2019.

    Comments: Survey, to appear in book "Research Trends in Contemporary Logic" (planned 2020)

    MSC Class: 20F11

  17. arXiv:1804.07957  [pdf, ps, other

    math.GR

    Locally finite groups of finite centraliser dimension

    Authors: Alexandre Borovik, Ulla Karhumäki

    Abstract: We describe structure of locally finite groups of finite centraliser dimension.

    Submitted 30 January, 2019; v1 submitted 21 April, 2018; originally announced April 2018.

    Comments: This is the Author Accepted Manuscript of the paper: A. Borovik and U. Karhumäki, Locally finite groups of finite centralizer dimension. J. Group Theory (2019). Accepted for publication 22 January 2019. The manuscript will undergo copyediting, typesetting, and review of the resulting proof before it is published in its final form

    MSC Class: 20F50

  18. Groups of finite Morley rank with a generically sharply multiply transitive action

    Authors: Ayşe Berkman, Alexandre Borovik

    Abstract: We prove that if $G$ is a group of finite Morley rank which acts definably and generically sharply $n$-transitively on a connected abelian group $V$ of Morley rank $n$ with no involutions, then there is an algebraically closed field $F$ of characteristic $\ne 2$ such that $V$ has a structure of a vector space of dimension $n$ over $F$ and $G$ acts on $V$ as the group $\operatorname{GL}_n(F)$ in it… ▽ More

    Submitted 7 August, 2018; v1 submitted 14 February, 2018; originally announced February 2018.

    Comments: in its final form

    MSC Class: 20F11; 03C60

  19. arXiv:1709.01169  [pdf, other

    math.GR

    Homomorphic encryption and some black box attacks

    Authors: Alexandre Borovik, Şükrü Yalçınkaya

    Abstract: This paper is a compressed summary of some principal definitions and concepts in the approach to the black box algebra being developed by the authors. We suggest that black box algebra could be useful in cryptanalysis of homomorphic encryption schemes, and that homomorphic encryption is an area of research where cryptography and black box algebra may benefit from exchange of ideas.

    Submitted 3 June, 2020; v1 submitted 1 September, 2017; originally announced September 2017.

  20. arXiv:1704.07723  [pdf, ps, other

    math.HO math.CA math.LO

    Cauchy's infinitesimals, his sum theorem, and foundational paradigms

    Authors: Tiziana Bascelli, Piotr Blaszczyk, Alexandre Borovik, Vladimir Kanovei, Karin U. Katz, Mikhail G. Katz, Semen S. Kutateladze, Thomas McGaffey, David M. Schaps, David Sherry

    Abstract: Cauchy's sum theorem is a prototype of what is today a basic result on the convergence of a series of functions in undergraduate analysis. We seek to interpret Cauchy's proof, and discuss the related epistemological questions involved in comparing distinct interpretive paradigms. Cauchy's proof is often interpreted in the modern framework of a Weierstrassian paradigm. We analyze Cauchy's proof clo… ▽ More

    Submitted 9 May, 2017; v1 submitted 25 April, 2017; originally announced April 2017.

    Comments: 42 pages; to appear in Foundations of Science

    MSC Class: 01A55; 01A85; 26E35

  21. arXiv:1607.00149  [pdf, ps, other

    math.HO math.FA math.LO

    A non-standard analysis of a cultural icon: The case of Paul Halmos

    Authors: Piotr Blaszczyk, Alexandre Borovik, Vladimir Kanovei, Mikhail G. Katz, Taras Kudryk, Semen S. Kutateladze, David Sherry

    Abstract: We examine Paul Halmos' comments on category theory, Dedekind cuts, devil worship, logic, and Robinson's infinitesimals. Halmos' scepticism about category theory derives from his philosophical position of naive set-theoretic realism. In the words of an MAA biography, Halmos thought that mathematics is "certainty" and "architecture" yet 20th century logic teaches us is that mathematics is full of u… ▽ More

    Submitted 1 July, 2016; originally announced July 2016.

    Comments: 15 pages, to appear in Logica Universalis

    MSC Class: 01A60; 26E35; 47A15

    Journal ref: Logica Universalis 10 (2016), no. 4, 393-405

  22. arXiv:1504.00167  [pdf, ps, other

    math.GR math.LO

    Rank 3 Bingo

    Authors: Alexandre Borovik, Adrien Deloro

    Abstract: We classify irreducible actions of connected groups of finite Morley rank on abelian groups of Morley rank 3.

    Submitted 1 April, 2015; originally announced April 2015.

    MSC Class: 20F11

  23. Adjoint representations of black box groups ${\rm PSL}_2(\mathbb{F}_q)$

    Authors: Alexandre Borovik, Şükrü Yalçınkaya

    Abstract: Given a black box group $\mathsf{Y}$ encrypting $\rm{PSL}_2(\mathbb{F})$ over an unknown field $\mathbb{F}$ of unknown odd characteristic $p$ and a global exponent $E$ for $\mathsf{Y}$ (that is, an integer $E$ such that $\mathsf{y}^E=1$ for all $\mathsf{y} \in \mathsf{Y}$), we present a Las Vegas algorithm which constructs a unipotent element in $\mathsf{Y}$. The running time of our algorithm is p… ▽ More

    Submitted 30 September, 2017; v1 submitted 23 February, 2015; originally announced February 2015.

    Comments: 41 pages

  24. arXiv:1407.1954  [pdf, other

    math.HO

    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

    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

  25. arXiv:1404.7700  [pdf, other

    math.GR

    Black Box White Arrow

    Authors: Alexandre Borovik, Şükrü Yalçinkaya

    Abstract: The present paper proposes a new and systematic approach to the so-called black box group methods in computational group theory. Instead of a single black box, we consider categories of black boxes and their morphisms. This makes new classes of black box problems accessible. For example, we can enrich black box groups by actions of outer automorphisms. As an example of application of this techni… ▽ More

    Submitted 5 May, 2014; v1 submitted 30 April, 2014; originally announced April 2014.

    Comments: arXiv admin note: substantial text overlap with arXiv:1308.2487

  26. arXiv:1403.2224  [pdf, ps, other

    math.GR

    Construction of some subgroups in black box groups ${\rm {PGL}}_2(q)$ and ${\rm{(P)SL}}_2(q)$

    Authors: Alexandre Borovik, Şükrü Yalçınkaya

    Abstract: For the black box groups $X$ encrypting ${\rm{PGL}}_2(q)$, $q$ odd, we propose an algorithm constructing a subgroup encrypting ${\rm{Sym}}_4$ and subfield subgroups of $X$. We also present the analogous algorithms for black box groups encrypting ${\rm{(P)SL}}_2(q)$.

    Submitted 10 March, 2014; originally announced March 2014.

    Comments: arXiv admin note: text overlap with arXiv:1302.3059

  27. arXiv:1309.3073  [pdf, ps, other

    math.HO math.GR

    Mathematics discovered, invented, and inherited

    Authors: Alexandre Borovik

    Abstract: The classical platonist/formalist dilemma in philosophy of mathematics can be expressed in lay terms as a deceptively naive question: is new mathematics discovered or invented? Using an example from my own mathematical life, I argue that there is also a third way: new mathematics can also be inherited -- and in the process briefly discuss a remarkable paper by W. Burnside of 1900.

    Submitted 22 September, 2013; v1 submitted 12 September, 2013; originally announced September 2013.

    Comments: Version 2: A few references have been added http://www.borovik.net/selecta/

    MSC Class: 01A60

    Journal ref: Selected Passages from Correspondence with Friends 1 no.~4 (2013), 13--28

  28. arXiv:1308.2487  [pdf, other

    math.GR

    Fifty shades of black

    Authors: Alexandre Borovik, Şükrü Yalçınkaya

    Abstract: The paper proposes a new and systematic approach to the so-called black box group methods in computational group theory. As the starting point of our programme, we construct Frobenius maps on black box groups of untwisted Lie type in odd characteristic and then apply them to black box groups X encrypting groups (P)SL(2,q) in small odd characteristics. We propose an algorithm constructing a black b… ▽ More

    Submitted 12 August, 2013; originally announced August 2013.

    Comments: 23 pages, 1 figure

    MSC Class: Primary 20P05; Secondary 03C65

  29. arXiv:1302.3059  [pdf, ps, other

    math.GR

    Steinberg presentations of black box classical groups in small characteristics

    Authors: Alexandre Borovik, Sukru Yalcinkaya

    Abstract: The main component of (constructive) recognition algorithms for black box groups of Lie type in computational group theory is the construction of unipotent elements. In the existing algorithms unipotent elements are found by random search and therefore the running time of these algorithms is polynomial in the underlying field size $q$ which makes them unfeasible for most practical applications \ci… ▽ More

    Submitted 13 February, 2013; originally announced February 2013.

  30. An integer construction of infinitesimals: Toward a theory of Eudoxus hyperreals

    Authors: Alexandre Borovik, Renling Jin, Mikhail G. Katz

    Abstract: A construction of the real number system based on almost homomorphisms of the integers Z was proposed by Schanuel, Arthan, and others. We combine such a construction with the ultrapower or limit ultrapower construction, to construct the hyperreals out of integers. In fact, any hyperreal field, whose universe is a set, can be obtained by such a one-step construction directly out of integers. Even t… ▽ More

    Submitted 28 October, 2012; originally announced October 2012.

    Comments: 17 pages, 1 figure

    MSC Class: 26E35 (Primary) 03C20 (Secondary)

    Journal ref: Notre Dame J. Formal Logic 53, no. 4 (2012), 557-570

  31. arXiv:1112.3739  [pdf, ps, other

    math.GR

    Groups of Finite Morley Rank with a Pseudoreflection Action

    Authors: Ayse Berkman, Alexandre Borovik

    Abstract: In this work, we give two characterisations of the general linear group as a group $G$ of finite Morley rank acting on an abelian connected group $V$ of finite Morley rank definably, faithfully and irreducibly. To be more precise, we prove that if the pseudoreflection rank of $G$ is equal to the Morley rank of $V$, then $V$ has a vector space structure over an algebraically closed field,… ▽ More

    Submitted 16 December, 2011; originally announced December 2011.

    MSC Class: 20G99; 03C60

    Journal ref: J. Algebra 368 (2012) 237-250

  32. arXiv:1111.7187  [pdf, ps, other

    math.GR

    Uniqueness Cases in Odd Type Groups of Finite Morley Rank, Revisited

    Authors: Alexandre Borovik, Jeffrey Burdges, Ali Nesin

    Abstract: The paper contains versions of the Strong Embedding Theorem and the Uniqueness Subgroup Theorem for groups of finite Morley rank and odd type which are needed for the study of permutations actions and modules in the finite Morley rank category.

    Submitted 30 November, 2011; originally announced November 2011.

    MSC Class: 03C60; 20G99

  33. arXiv:1111.6037  [pdf, ps, other

    math.GR

    A Generic Identification Theorem for Groups of Finite Morley Rank, Revisited

    Authors: Ayse Berkman, Alexandre Borovik

    Abstract: This paper contains a stronger version of a final identification theorem for the `generic' groups of finite Morley rank.

    Submitted 25 November, 2011; originally announced November 2011.

  34. arXiv:1108.2885  [pdf, ps, other

    math.HO math.CA math.FA math.LO

    Who Gave you the Cauchy-Weierstrass Tale? The Dual History of Rigorous Calculus

    Authors: Alexandre Borovik, Mikhail G. Katz

    Abstract: Cauchy's contribution to the foundations of analysis is often viewed through the lens of developments that occurred some decades later, namely the formalisation of analysis on the basis of the epsilon-delta doctrine in the context of an Archimedean continuum. What does one see if one refrains from viewing Cauchy as if he had read Weierstrass already? One sees, with Felix Klein, a parallel thread f… ▽ More

    Submitted 16 October, 2012; v1 submitted 14 August, 2011; originally announced August 2011.

    Comments: 47 pages, 3 figures; Foundations of Science 17 (2012), no. 3, 245-276

    MSC Class: 01A85; 26E35; 03A05; 97A20; 97C30

  35. arXiv:1103.1295  [pdf, ps, other

    math.GR

    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

    Submitted 7 March, 2011; originally announced March 2011.

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

  36. arXiv:1008.2823  [pdf, other

    math.GR

    Construction of Curtis-Phan-Tits system in black box classical groups

    Authors: Alexandre Borovik, Sukru Yalcinkaya

    Abstract: We present a polynomial time Monte-Carlo algorithm for finite simple black box classical groups of odd characteristic which constructs all root ${\rm{SL}}_2(q)$-subgroups associated with the nodes of the extended Dynkin diagram of the corresponding algebraic group.

    Submitted 17 August, 2010; originally announced August 2010.

    Comments: 35 pages

  37. arXiv:0903.3754  [pdf, ps, other

    math.GR

    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

    Submitted 22 March, 2009; originally announced March 2009.

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

  38. arXiv:0903.3751  [pdf, ps, other

    math.GR

    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

    Submitted 22 March, 2009; originally announced March 2009.

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

  39. arXiv:0801.3958  [pdf, ps, other

    math.LO math.GR

    Linear groups of finite Morley rank

    Authors: Alexandre Borovik, Jeffrey Burdges

    Abstract: We show that a non-algebraic simple group of finite Morley rank with a definable representation over a field has no involutions, and otherwise resembles a bad group. In particular, the modern form of the Cherlin-Zilber alebaricity conjecture hold for such groups.

    Submitted 14 November, 2008; v1 submitted 25 January, 2008; originally announced January 2008.

    MSC Class: 03C60; 20G99

  40. arXiv:0711.4169  [pdf, ps, other

    math.GR math.LO

    A New Trichotomy Theorem

    Authors: Alexandre Borovik, Jeffrey Burdges

    Abstract: We show that a minimal counter example to the Cherlin-Zilber Algebraicity Conjecture for simple groups of finite Morley rank has normal 2-rank at most two, which is a tameness free version of Borovik's original trichotomy theorem. This result serves as a bridge by showing that there are no groups found strictly between the generic and quasithin cases, i.e. between groups of Lie rank at least thr… ▽ More

    Submitted 26 November, 2007; originally announced November 2007.

    MSC Class: 03C60; 20G99

  41. arXiv:0711.4167  [pdf, ps, other

    math.GR math.LO

    Uniqueness cases in odd type groups of finite Morley rank

    Authors: Alexandre Borovik, Jeffrey Burdges, Ali Nesin

    Abstract: Here we analyze a proper 2-generated core in a minimal counter example to the Cherlin-Zilber Algebraicity Conjecture for simple groups of finite Morley rank. We ultimately show that such a group is strongly embedded and the ambiant group is minimal connected simple.

    Submitted 26 November, 2007; originally announced November 2007.

    MSC Class: 03C60; 20G99

  42. arXiv:0711.4166  [pdf, ps, other

    math.LO

    Involutions in groups of finite Morley rank of degenerate type

    Authors: Alexandre Borovik, Jeffrey Burdges, Gregory Cherlin

    Abstract: This article proves a version of the Feit-Thompson theorem for simple groups of finite Morley rank: a connected groups of finite Morley rank with a finite Sylow 2-subgroup has a trivial Sylow 2-subgroups.

    Submitted 26 November, 2007; originally announced November 2007.

    MSC Class: 03C60; 20G99

    Journal ref: Selecta Methematica 13 (2007) 1-22

  43. arXiv:math/0209217  [pdf, ps, other

    math.CO

    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.

    Submitted 17 September, 2002; originally announced September 2002.

    Comments: Requires amssymb.sty; 17 pages

    MSC Class: 05B35

  44. arXiv:math/0209100  [pdf, ps, other

    math.CO

    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

    Submitted 9 September, 2002; originally announced September 2002.

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

    MSC Class: 05B35

  45. arXiv:math/0204078  [pdf, ps, other

    math.GR math.PR

    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

    Submitted 7 April, 2002; originally announced April 2002.

    Comments: 22 pages

    MSC Class: 20E05; 60B15

  46. arXiv:math/0204070  [pdf, ps, other

    math.GR math.PR

    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

    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

  47. arXiv:math/0110246  [pdf, ps, other

    math.GR

    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

    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

  48. arXiv:math/0110234  [pdf, ps, other

    math.GR math.PR

    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.

    Submitted 21 October, 2001; originally announced October 2001.

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

    MSC Class: 20P05

  49. arXiv:math/0110233  [pdf, ps, other

    math.GR math.PR

    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

    Submitted 22 October, 2001; originally announced October 2001.

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

    MSC Class: 20P05

  50. arXiv:math/0010237  [pdf, ps, other

    math.CO

    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

    Submitted 25 October, 2000; originally announced October 2000.

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