-
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
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 set $X$ and containing a definable abelian normal subgroup $V$ which acts on $X$ regularly -- the so-called \emph{primitive groups of affine type}. For reasons explained in the paper, this case plays a central role in the theory.
△ Less
Submitted 12 May, 2024;
originally announced May 2024.
-
Experimental and theoretical total cross sections for single and double ionization of the open-$4d$-shell ions Xe$^{12+}$, Xe$^{13+}$, and Xe$^{14+}$ by electron impact
Authors:
Fengtao **,
Alexander Borovik Jr,
B. Michel Döhring,
Benjamin Ebinger,
Alfred Müller,
Stefan Schippers
Abstract:
We present new experimental and theoretical cross sections for electron-impact single ionization of Xe$^{12+}$ and Xe$^{13+}$ ions, and double ionization of Xe$^{12+}$, Xe$^{13+}$ and Xe$^{14+}$ ions for collision energies from the respective ionization thresholds up to 3500 eV. The calculations use the fully relativistic subconfiguration-averaged distorted-wave (SCADW) approach and, partly, the m…
▽ More
We present new experimental and theoretical cross sections for electron-impact single ionization of Xe$^{12+}$ and Xe$^{13+}$ ions, and double ionization of Xe$^{12+}$, Xe$^{13+}$ and Xe$^{14+}$ ions for collision energies from the respective ionization thresholds up to 3500 eV. The calculations use the fully relativistic subconfiguration-averaged distorted-wave (SCADW) approach and, partly, the more detailed level-to-level distorted wave (LLDW) method. We find that, unlike in previous work, our theoretical cross sections agree with our experimental ones within the experimental uncertainties, except for the near-threshold double-ionization cross sections. We attribute this remaining discrepancy to the neglect of direct-double ionization in the present theoretical treatment.
△ Less
Submitted 6 March, 2024;
originally announced March 2024.
-
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
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 $\operatorname{rk}(V)=m$, $V$ is a vector space of dimension $m$ over an algebraically closed field $F$, $G\cong \operatorname{GL}_m(F)$, and the action is equivalent to the natural action of $\operatorname{GL}_m(F)$ on $F^m$. This generalises our previous work arXiv:2107.09997. As an application of our result, we classify definably primitive groups of finite Morley rank and affine type acting on a set $X$ with a generic transitivity degree of $\operatorname{rk}(X)+1$.
△ Less
Submitted 22 April, 2024; v1 submitted 10 February, 2024;
originally announced February 2024.
-
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.
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.
△ Less
Submitted 5 February, 2024;
originally announced February 2024.
-
'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
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 colleagues, university mathematicians. In my opinion, it could help them to determine their position and calmly stick to it without entering into an unnecessary debate with promoters of `decolonisation of the curricula'. The paper offers a simple and honest defence against `decolonisation' pressures: tell students the real (pre)history of a particular mathematical discipline. Let us call this activity `historical enrichment'.
It would be useful if all attempts at `decolonization' (and vice versa, `historical enrichment') were known to a wider circle of the mathematical community. Publicity and an open discussion are the best way to resist outside pressures to engage in virtue signalling at the expense of historical and mathematical truth.
The international mathematical community should defend academic freedom and insist on our right to formulate our curricula and evaluate the history of mathematics and judge mathematicians of the past according to criteria developed within the profession, and ignore any kind of political fads and pressure
△ Less
Submitted 12 January, 2023; v1 submitted 26 December, 2022;
originally announced December 2022.
-
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.
Leibniz scholarship is currently an area of lively debate. We respond to some recent criticisms by Archibald et al.
△ Less
Submitted 22 March, 2023; v1 submitted 15 December, 2022;
originally announced December 2022.
-
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
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 hidden "under the hood'' of software systems used in the process, but many will feature prominently in the Domain Specific Language needed for support of mathematical exchanges between Learner, Teacher, and Computer. We focus on "hardcore" mathematical aspects of this development.
△ Less
Submitted 23 December, 2022;
originally announced December 2022.
-
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
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, and address a recent critique by Archibald et al. We argue that the element of contingency in this history is more prominent than many modern historians seem willing to acknowledge.
△ Less
Submitted 14 March, 2023; v1 submitted 26 October, 2022;
originally announced October 2022.
-
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
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 illuminate the way such movements arise and succeed or fail, and, at the social level, certain fundamental commonalities of constraints as well as significant differences according to local conditions. We shall show that the principal reasons of the failure of the Kolmogorov reform were political: (1) The reform ignored the reality of the socio-economic conditions of the country; (2) The human factor was ignored, and very little attention was given to professional development and retraining of, and methodological help to, the whole army of teachers; (3) An attempt to transfer mathematical content and methods from the highly successful advanced extension stream for mathematically strong and highly engaged children to mainstream education was an especially grievous error.
△ Less
Submitted 7 October, 2022;
originally announced October 2022.
-
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
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 problems, which, surprisingly, are not usually discussed in any connected form. The present paper attempts to address this issue in a bit more joint and cohesive way.
△ Less
Submitted 20 January, 2022;
originally announced January 2022.
-
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
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 result in arXiv:1802.05222, and partially answers two problems posed in [9].
△ Less
Submitted 12 February, 2022; v1 submitted 21 July, 2021;
originally announced July 2021.
-
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.
-
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."
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."
△ Less
Submitted 6 March, 2021;
originally announced March 2021.
-
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
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 great fun.
△ Less
Submitted 6 March, 2021;
originally announced March 2021.
-
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
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 the long standing conjecture of linearity of irreducible definable actions of simple algebraic groups on elementary abelian $p$-groups of finite Morley rank [16, Conjecture 12].
△ Less
Submitted 20 June, 2023; v1 submitted 2 August, 2020;
originally announced August 2020.
-
Hybrid subconfiguration-average and level-to-level distorted-wave treatment of electron-impact single ionisation of W$^{15+}$ and W$^{16+}$
Authors:
F. **,
A. Borovik Jr.,
B. Ebinger,
S. Schippers
Abstract:
Recently, we have demonstrated (** et al. 2020, J. Phys. B: At. Mol. Opt. Phys. 53, 075201) that a hybrid subconfiguration-average and level-to-level distorted wave treatment of electron-impact single ionisation (EISI) of W$^{14+}$ ions represents an accurate and manageable approach for the calculation of EISI cross sections of a complex ion. Here we demonstrate the more general validity of this…
▽ More
Recently, we have demonstrated (** et al. 2020, J. Phys. B: At. Mol. Opt. Phys. 53, 075201) that a hybrid subconfiguration-average and level-to-level distorted wave treatment of electron-impact single ionisation (EISI) of W$^{14+}$ ions represents an accurate and manageable approach for the calculation of EISI cross sections of a complex ion. Here we demonstrate the more general validity of this approach by comparing hybrid cross sections for EISI of W$^{15+}$ and W$^{16+}$ with the recent experimental results of Schury et al. 2020, J. Phys. B: At. Mol. Opt. Phys. 53, 015201). Our calculations also account for the resonant-excitation double autoionisation (REDA) process which is important in the electron energy range 370-600 eV and for the possible presence of initially metastable ions in the experiment.
△ Less
Submitted 6 April, 2020;
originally announced April 2020.
-
Dielectronic resonances of LMn and LNn (n $\geq$ 4) series in highly-charged M-shell tungsten ions
Authors:
Dipti,
A. Borovik Jr.,
R. Silwal,
J. M. Dreiling,
A. C. Gall,
E. Takacs,
Yu. Ralchenko
Abstract:
We present spectroscopic measurements and detailed theoretical analysis of inner-shell LMn and LNn (n $\geq$ 4) dielectronic resonances in highly-charged M-shell ions of tungsten. The x-ray emission from W$^{49+}$ through W$^{64+}$ was recorded at the electron beam ion trap (EBIT) facility at the National Institute of Standards and Technology (NIST) with a high-purity Ge detector for electron beam…
▽ More
We present spectroscopic measurements and detailed theoretical analysis of inner-shell LMn and LNn (n $\geq$ 4) dielectronic resonances in highly-charged M-shell ions of tungsten. The x-ray emission from W$^{49+}$ through W$^{64+}$ was recorded at the electron beam ion trap (EBIT) facility at the National Institute of Standards and Technology (NIST) with a high-purity Ge detector for electron beam energies between 6.8 keV and 10.8 keV. The measured spectra clearly show the presence of strong resonance features as well as direct excitation spectral lines. The analysis of the recorded spectra with large-scale collisional-radiative (CR) modeling of the EBIT plasma allowed us to unambiguously identify numerous dielectronic resonances associated with excitations of the inner-shell 2s$_{1/2}$, 2p$_{1/2}$, and 2p$_{3/2}$ electrons.
△ Less
Submitted 4 March, 2020;
originally announced March 2020.
-
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
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 no reference to any additional oracles. We also give similar algorithms for black box groups encrypting ${\rm PGL}_2(\mathbb{F})$, ${\rm PSL}_2(\mathbb{F})$.
△ Less
Submitted 29 January, 2020; v1 submitted 28 January, 2020;
originally announced January 2020.
-
Electron-impact single ionisation of W14+ ions: Subconfiguration-average and level-to-level distorted wave calculations
Authors:
Fengtao **,
Alexander Borovik Jr.,
Benjamin Ebinger,
Stefan Schippers
Abstract:
The cross section for electron-impact single ionisation of W14+ ions has been calculated by using two different approaches, i.e., the subconfiguration averaged distorted-wave (SCADW) method and the more involved level-to-level distorted-wave (LLDW) method. Both methods are found to yield very similar results except for the 4d->5d excitation-autoionisation (EA) channels that straddles the ionisatio…
▽ More
The cross section for electron-impact single ionisation of W14+ ions has been calculated by using two different approaches, i.e., the subconfiguration averaged distorted-wave (SCADW) method and the more involved level-to-level distorted-wave (LLDW) method. Both methods are found to yield very similar results except for the 4d->5d excitation-autoionisation (EA) channels that straddles the ionisation threshold. Accordingly, a hybrid theoretical cross section where the $4d\to 5d$ EA SCADW cross section is replaced by its LLDW counterpart is in good agreement with the experimental result from an electron-ion crossed-beams experiment. This is in contrast to pure SCADW calculations for W14+ and neighbouring charge states which exhibit significant deviations from the experimental near-threshold cross sections of Schury et al. [J. Phys. B 53 (2020) 015201].
△ Less
Submitted 18 December, 2019;
originally announced December 2019.
-
Multiple photodetachment of carbon anions via single and double core-hole creation
Authors:
A. Perry-Sassmannshausen,
T. Buhr,
A. Borovik Jr.,
M. Martins,
S. Reinwardt,
S. Ricz,
S. O. Stock,
F. Trinter,
A. Müller,
S. Fritzsche,
S. Schippers
Abstract:
We report on new measurements of m-fold photodetachment (m=2-5) of carbon anions via K-shell excitation and ionization. The experiments were carried out employing the photon-ion merged-beams technique at a synchrotron light source. While previous measurements were restricted to double detachment (m=2) and to just the lowest-energy K-shell resonance at about 282 eV, our absolute experimental $m$-fo…
▽ More
We report on new measurements of m-fold photodetachment (m=2-5) of carbon anions via K-shell excitation and ionization. The experiments were carried out employing the photon-ion merged-beams technique at a synchrotron light source. While previous measurements were restricted to double detachment (m=2) and to just the lowest-energy K-shell resonance at about 282 eV, our absolute experimental $m$-fold detachment cross sections at photon energies of up to 1000 eV exhibit a wealth of new thresholds and resonances. We tentatively identify these features with the aid of detailed atomic-structure calculations. In particular, we find unambiguous evidence for fivefold detachment via double K-hole production.
△ Less
Submitted 12 December, 2019; v1 submitted 9 December, 2019;
originally announced December 2019.
-
Electron-impact single ionisation of W$^{q+}$ ions: Experiment and theory for $\mathbf{11\leq q \leq 18}$
Authors:
D. Schury,
A. Borovik, Jr.,
B. Ebinger,
F. **,
K. Spruck,
A. Müller,
S. Schippers
Abstract:
Absolute cross sections for electron-impact single ionisation (EISI) of multiply charged tungsten ions (W$^{q+}$) with charge states in the range $ 11 \leq q \leq 18$ in the electron-ion collision energy ranges from below the respective ionisation thresholds up to 1000~eV were measured employing the electron-ion crossed-beams method. In order to extend the results to higher energies, cross section…
▽ More
Absolute cross sections for electron-impact single ionisation (EISI) of multiply charged tungsten ions (W$^{q+}$) with charge states in the range $ 11 \leq q \leq 18$ in the electron-ion collision energy ranges from below the respective ionisation thresholds up to 1000~eV were measured employing the electron-ion crossed-beams method. In order to extend the results to higher energies, cross section calculations were performed using the subconfiguration-averaged distorted-wave (SCADW) method for electron-ion collision energies up to 150~keV. From the combined experimental and scaled theoretical cross sections rate coefficients were derived which are compared with the ones contained in the ADAS database and which are based on the configuration-averaged distorted wave (CADW) calculations of Loch et al. [Phys. Rev. A 72, 052716 (2005)]. Significant discrepancies were found at the temperatures where the ions investigated here are expected to form in collisionally ionised plasmas. These discrepancies are attributed to the limitations of the CADW approach and also the more detailed SCADW treatment which do not allow for a sufficiently accurate description of the EISI cross sections particularly at the ionisation thresholds.
△ Less
Submitted 18 October, 2019;
originally announced October 2019.
-
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
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 are not known even in the classical category of algebraic groups over algebraically closed fields.
△ Less
Submitted 6 September, 2019;
originally announced September 2019.
-
EBIT Observation of Ar Dielectronic Recombination Lines Near the Unknown Faint X-Ray Feature Found in the Stacked Spectrum of Galaxy Clusters
Authors:
Amy C. Gall,
Adam R. Foster,
Roshani Silwal,
Joan M. Dreiling,
Alexander Borovik Jr.,
Ethan Kilgore,
Marco Ajello,
John D. Gillaspy,
Yuri Ralchenko,
Endre Takacs
Abstract:
Motivated by possible atomic origins of the unidentified emission line detected at 3.55 keV to 3.57 keV in a stacked spectrum of galaxy clusters (Bulbul et al. 2014), an electron beam ion trap (EBIT) was used to investigate the resonant dielectronic recombination (DR) process in highly-charged argon ions as a possible contributor to the emission feature. The He-like Ar DR-induced transition 1s…
▽ More
Motivated by possible atomic origins of the unidentified emission line detected at 3.55 keV to 3.57 keV in a stacked spectrum of galaxy clusters (Bulbul et al. 2014), an electron beam ion trap (EBIT) was used to investigate the resonant dielectronic recombination (DR) process in highly-charged argon ions as a possible contributor to the emission feature. The He-like Ar DR-induced transition 1s$^2$2l - 1s2l3l$^\prime$ was suggested to produce a 3.62 keV photon (Bulbul et al. 2014) near the unidentified line at 3.57 keV and was the starting point of our investigation. The collisional-radiative model NOMAD was used to create synthetic spectra for comparison with both our EBIT measurements and with spectra produced with the AtomDB database/Astrophysical Plasma Emission Code (APEC) used in the Bulbul et al. (2014) work. Excellent agreement was found between the NOMAD and EBIT spectra, providing a high level of confidence in the atomic data used. Comparison of the NOMAD and APEC spectra revealed a number of missing features in the AtomDB database near the unidentified line. At an electron temperature of $T_e$ = 1.72 keV, the inclusion of the missing lines in AtomDB increases the total flux in the 3.5 keV to 3.66 keV energy band by a factor of 2. While important, this extra emission is not enough to explain the unidentified line found in the galaxy cluster spectra.
△ Less
Submitted 4 February, 2019;
originally announced February 2019.
-
The photon-ion merged-beams experiment PIPE at PETRAIII - The first five years
Authors:
S. Schippers,
T. Buhr,
A. Borovik Jr.,
K. Holste,
A. Perry-Sassmannshausen,
K. Mertens,
S. Reinwardt,
M. Martins,
S. Klumpp,
K. Schubert,
S. Bari,
R. Beerwerth,
S. Fritzsche,
S. Ricz,
J. Hellhund,
A. Müller
Abstract:
The Photon-Ion Spectrometer at PETRA III - in short, PIPE - is a permanently installed user facility at the "Variable Polarization XUV Beamline" P04 of the synchrotron light source PETRA III operated by DESY in Hamburg, Germany. The careful design of the PIPE ion-optics in combination with the record-high photon flux at P04 has lead to a breakthrough in experimental studies of photon interactions…
▽ More
The Photon-Ion Spectrometer at PETRA III - in short, PIPE - is a permanently installed user facility at the "Variable Polarization XUV Beamline" P04 of the synchrotron light source PETRA III operated by DESY in Hamburg, Germany. The careful design of the PIPE ion-optics in combination with the record-high photon flux at P04 has lead to a breakthrough in experimental studies of photon interactions with ionized small quantum systems. This short review provides an overview over the published scientific results from photon-ion merged-beams experiments at PIPE that were obtained since the start of P04 operations in 2013. The topics covered comprise photoionization of ions of astrophysical relevance, quantitative studies of multi-electron processes upon inner-shell photoexcitation and photoionization of negative and positive atomic ions, precision spectroscopy of photoionization resonances, photoionization and photofragmentation of molecular ions and of endohedral fullerene ions.
△ Less
Submitted 25 September, 2018;
originally announced September 2018.
-
Photoionization of metastable heliumlike C4+(1s 2s 3S1) ions: Precision study of intermediate doubly excited states
Authors:
A. Müller,
E. Lindroth,
S. Bari,
A. Borovik Jr.,
P. -M. Hillenbrand,
K. Holste,
P. Indelicato,
A. L. D. Kilcoyne,
S. Klumpp,
M. Martins,
J. Viefhaus,
P. Wilhelm,
S. Schippers
Abstract:
In a joint experimental and theoretical endeavour, photoionization of metastable C4+(1s 2s 3S1) ions via intermediate levels with hollow, double-K-vacancy configurations 2s2p, 2s3p, 2p3s, 2p3d, 2s4p, 2p4s and 2p4d has been investigated. High-resolution photon-ion merged-beams measurements were carried out with the resolving power reaching up to 25,000 which is sufficient to separate the leading fi…
▽ More
In a joint experimental and theoretical endeavour, photoionization of metastable C4+(1s 2s 3S1) ions via intermediate levels with hollow, double-K-vacancy configurations 2s2p, 2s3p, 2p3s, 2p3d, 2s4p, 2p4s and 2p4d has been investigated. High-resolution photon-ion merged-beams measurements were carried out with the resolving power reaching up to 25,000 which is sufficient to separate the leading fine-structure components of the 2s2p 3P term. Many-body perturbation theory was employed to determine level-to-level cross sections for K-shell excitation with subsequent autoionization. The resonance energies were calculated with inclusion of electron correlation and radiative contributions. Their uncertainties are estimated to be below $\pm$1 meV. Detailed balance confirms the present photoionization cross-section results by comparison with previous dielectronic-recombination measurements. The high accuracy of the theoretical transition energies together with the present experimental results qualify photoabsorption resonances in heliumlike ions as new, greatly improved energy-reference standards at synchrotron radiation facilities.
△ Less
Submitted 22 September, 2018;
originally announced September 2018.
-
Near-K-edge single, double, and triple photoionization of C+ ions
Authors:
A. Müller,
A. Borovik Jr.,
T. Buhr,
J. Hellhund,
K. Holste,
A. L. D. Kilcoyne,
S. Klumpp,
M. Martins,
S. Ricz,
J. Viefhaus,
S. Schippers
Abstract:
Single, double, and triple ionization of the C+ ion by a single photon have been investigated in the energy range 286 to 326 eV around the K-shell single-ionization threshold at an unprecedented level of detail. At energy resolutions as low as 12 meV, corresponding to a resolving power of 24000, natural linewidths of the most prominent resonances could be determined. From the measurement of absolu…
▽ More
Single, double, and triple ionization of the C+ ion by a single photon have been investigated in the energy range 286 to 326 eV around the K-shell single-ionization threshold at an unprecedented level of detail. At energy resolutions as low as 12 meV, corresponding to a resolving power of 24000, natural linewidths of the most prominent resonances could be determined. From the measurement of absolute cross sections, oscillator strengths, Einstein coefficients, multi-electron Auger decay rates and other transition parameters of the main K-shell excitation and decay processes are derived. The cross sections are compared to results of previous theoretical calculations. Mixed levels of agreement are found despite the relatively simple atomic structure of the C+ ion with only 5 electrons. This paper is a follow-up of a previous Letter [Müller et al., Phys. Rev. Lett. 114, 013002 (2015)].
△ Less
Submitted 22 September, 2018;
originally announced September 2018.
-
Near--K-edge double and triple detachment of the F- negative ion: observation of direct two-electron ejection by a single photon
Authors:
A. Müller,
A. Borovik Jr.,
S. Bari,
T. Buhr,
K. Holste,
M. Martins,
A. Perry-Saßmannshausen,
R. A. Phaneuf,
S. Reinwardt,
S. Ricz,
K. Schubert,
S. Schippers
Abstract:
Double and triple detachment of the F-(1s2 2s2 2p6) negative ion by a single photon have been investigated in the photon energy range 660 to 1000 eV. The experimental data provide unambiguous evidence for the dominant role of direct photo-double-detachment with a subsequent single-Auger process in the reaction channel leading to F2+ product ions. Absolute cross sections were determined for the dir…
▽ More
Double and triple detachment of the F-(1s2 2s2 2p6) negative ion by a single photon have been investigated in the photon energy range 660 to 1000 eV. The experimental data provide unambiguous evidence for the dominant role of direct photo-double-detachment with a subsequent single-Auger process in the reaction channel leading to F2+ product ions. Absolute cross sections were determined for the direct removal of a (1s+2p) pair of electrons from F- by the absorption of a single photon.
△ Less
Submitted 22 September, 2018;
originally announced September 2018.
-
Measuring the Variation in Nuclear Charge Radius of Xe Isotopes by EUV Spectroscopy of Highly-Charged Na-like Ions
Authors:
R. Silwal,
A. Lapierre,
J. D. Gillaspy,
J. M. Dreiling,
S. A. Blundell,
Dipti,
A. Borovik Jr,
G. Gwinner,
A. C. C. Villari,
Yu. Ralchenko,
E. Takacs
Abstract:
The variation in mean-square nuclear charge radius of xenon isotopes was measured utilizing a new method based on extreme ultraviolet spectroscopy of highly charged Na-like ions. The isotope shift of the Na-like D1 (3s $^{2}$S$_{1/2}$ - 3p $^2$P$_{1/2}$) transition between the $^{124}$Xe and $^{136}$Xe isotopes was experimentally determined using the electron beam ion trap facility at the National…
▽ More
The variation in mean-square nuclear charge radius of xenon isotopes was measured utilizing a new method based on extreme ultraviolet spectroscopy of highly charged Na-like ions. The isotope shift of the Na-like D1 (3s $^{2}$S$_{1/2}$ - 3p $^2$P$_{1/2}$) transition between the $^{124}$Xe and $^{136}$Xe isotopes was experimentally determined using the electron beam ion trap facility at the National Institute of Standards and Technology. The mass shift and the field shift coefficients were calculated with enhanced precision by relativistic many-body perturbation theory and multi-configuration Dirac-Hartree-Fock method. The mean-square nuclear charge radius difference was found to be $δ<r^2>^{136, 124}$ = 0.269(0.042) fm$^2$. Our result has smaller uncertainty than previous experimental results and agrees with the recommended value by Angeli and Marinova [I. Angeli and K. P. Marinova, At. Data and Nucl. Data Tables {\bf 99}, 69-95 (2013)].
△ Less
Submitted 17 September, 2018; v1 submitted 22 June, 2018;
originally announced June 2018.
-
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.
We describe structure of locally finite groups of finite centraliser dimension.
△ Less
Submitted 30 January, 2019; v1 submitted 21 April, 2018;
originally announced April 2018.
-
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
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 its natural action on $F^n$.
This is the final pre-publication version of the paper: A. Berkman and A. Borovik, Groups of finite Morley rank with a generically sharply multiply transitive action, J. Algebra (2018), https://doi.org/10.1016/j.jalgebra.2018.07.033. Accepted for publication 28 July 2018. The manuscript will undergo copyediting, typesetting, and review of the resulting proof before it is published
△ Less
Submitted 7 August, 2018; v1 submitted 14 February, 2018;
originally announced February 2018.
-
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.
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.
△ Less
Submitted 3 June, 2020; v1 submitted 1 September, 2017;
originally announced September 2017.
-
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
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 closely and show that it finds closer proxies in a different modern framework.
Keywords: Cauchy's infinitesimal; sum theorem; quantifier alternation; uniform convergence; foundational paradigms.
△ Less
Submitted 9 May, 2017; v1 submitted 25 April, 2017;
originally announced April 2017.
-
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
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 uncertainty or more precisely incompleteness. If the term architecture meant to imply that mathematics is one great solid castle, then modern logic tends to teach us the opposite lession, namely that the castle is floating in midair. Halmos' realism tends to color his judgment of purely scientific aspects of logic and the way it is practiced and applied. He often expressed distaste for nonstandard models, and made a sustained effort to eliminate first-order logic, the logicians' concept of interpretation, and the syntactic vs semantic distinction. He felt that these were vague, and sought to replace them all by his polyadic algebra. Halmos claimed that Robinson's framework is "unnecessary" but Henson and Keisler argue that Robinson's framework allows one to dig deeper into set-theoretic resources than is common in Archimedean mathematics. This can potentially prove theorems not accessible by standard methods, undermining Halmos' criticisms.
Keywords: Archimedean axiom; bridge between discrete and continuous mathematics; hyperreals; incomparable quantities; indispensability; infinity; mathematical realism; Robinson.
△ Less
Submitted 1 July, 2016;
originally announced July 2016.
-
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.
We classify irreducible actions of connected groups of finite Morley rank on abelian groups of Morley rank 3.
△ Less
Submitted 1 April, 2015;
originally announced April 2015.
-
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
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 polynomial in $\log E$. This answers the question posed by Babai and Beals in 1999. We also find the characteristic of the underlying field in time polynomial in $\log E$ and linear in $p$.
Furthermore, we construct, in probabilistic time polynomial in $\log E$,
1. a black box group $\mathsf{X}$ encrypting $\rm{PGL}_2(\mathbb{F}) \cong\rm{SO}_3(\mathbb{F})$, its subgroup $\mathsf{Y}^\circ$ of index $2$ isomorphic to $\mathsf{Y}$ and a probabilistic polynomial in $\log E$ time isomorphism $\mathsf{Y}^\circ \longrightarrow \mathsf{Y}$;
2. a black box field $\mathsf{K}$, and
3. polynomial time, in $\log E$, isomorphisms \[ \rm{SO}_3(\mathsf{K}) \longrightarrow \mathsf{X} \longrightarrow \rm{SO}_3(\mathsf{K}). \]
If, in addition, we know $p$ and the standard explicitly given finite field $\mathbb{F}$ isomorphic to $\mathbb{F}$ then we construct, in time polynomial in $\log E$, isomorphism \[ \rm{SO}_3(\mathbb{F})\longrightarrow \rm{SO}_3(\mathsf{K}). \]
Unlike many papers on black box groups, our algorithms make no use of additional oracles other than the black box group operations. Moreover, our result acts as an $\rm{SL}_2$-oracle in the black box group theory.
We implemented our algorithms in GAP and tested them for groups such as $\rm{PSL}_2(\mathbb{F})$ for $|\mathbb{F}|=115756986668303657898962467957$ (a prime number).
△ Less
Submitted 30 September, 2017; v1 submitted 23 February, 2015;
originally announced February 2015.
-
Experimental investigation of left-right asymmetry in photon-atom interaction
Authors:
S. Ricz,
T. Buhr,
Á. Kövér,
K. Holste,
A. Borovik, Jr.,
S. Schippers,
D. Varga,
A. Müller
Abstract:
Single ionization of noble gas atoms by linearly polarized synchrotron radiation has been studied by employing angle- and energy-resolved photoelectron spectroscopy. The measurements were carried out in the plane defined by the momentum and polarization vectors of the photon. Parameters describing the left-right asymmetry (LRA) (relative to the photon propagation direction) of the photoelectron an…
▽ More
Single ionization of noble gas atoms by linearly polarized synchrotron radiation has been studied by employing angle- and energy-resolved photoelectron spectroscopy. The measurements were carried out in the plane defined by the momentum and polarization vectors of the photon. Parameters describing the left-right asymmetry (LRA) (relative to the photon propagation direction) of the photoelectron angular distribution were determined experimentally for the $s$-shells of He, Ne, Ar, Kr and Xe atoms and H$_2$ molecules and for the $p$-shells of Ne, Ar, Kr and Xe atoms. The values of the left-right asymmetry differ significantly from zero for both subshells. The photon and photoelectron energy dependence of the LRA parameters are presented also. Possible experimental and instrumental sources that could generate asymmetry are discussed and excluded as well.
△ Less
Submitted 20 January, 2015;
originally announced January 2015.
-
Stepwise contraction of the nf Rydberg shells in the 3d photoionization of multiply-charged xenon ions
Authors:
S. Schippers,
A. Borovik Jr.,
T. Buhr,
J. Hellhund,
K. Holste,
A. L. D. Kilcoyne,
S. Klumpp,
M. Martins,
A. Müller,
S. Ricz,
S. Fritzsche
Abstract:
Triple photoionization of Xe3+, Xe4+ and Xe5+ ions has been studied in the energy range 670-750 eV, including the 3d ionization threshold. The photon-ion merged-beam technique was used at a synchrotron light source to measure the absolute photoionization cross sections. These cross sections exhibit a progressively larger number of sharp resonances as the ion charge state is increased. This clearly…
▽ More
Triple photoionization of Xe3+, Xe4+ and Xe5+ ions has been studied in the energy range 670-750 eV, including the 3d ionization threshold. The photon-ion merged-beam technique was used at a synchrotron light source to measure the absolute photoionization cross sections. These cross sections exhibit a progressively larger number of sharp resonances as the ion charge state is increased. This clearly visualizes the re-ordering of the $ε$f continuum into a regular series of (bound) Rydberg orbitals as the ionic core becomes more attractive. The energies and strengths of the resonances are extracted from the experimental data and are further analyzed by relativistic atomic-structure calculations.
△ Less
Submitted 11 December, 2014;
originally announced December 2014.
-
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.
-
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
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 technique, we construct Frobenius maps on black box groups of untwisted Lie type in odd characteristic (Section 6) and inverse-transpose automorphisms on black box groups encrypting ${\rm (P)SL}_n(\mathbb{F}_q)$.
One of the advantages of our approach is that it allows us to work in black box groups over finite fields of big characteristic. Another advantage is explanatory power of our methods; as an example, we explain Kantor's and Kassabov's construction of an involution in black box groups encrypting ${\rm SL}_2(2^n)$.
Due to the nature of our work we also have to discuss a few methodological issues of the black box group theory.
The paper is further development of our text "Fifty shades of black" [arXiv:1308.2487], and repeats parts of it, but under a weaker axioms for black box groups.
△ Less
Submitted 5 May, 2014; v1 submitted 30 April, 2014;
originally announced April 2014.
-
Absolute cross sections for photoionization of Xe$^{q+}$ ions (1 $\le$ q $\le$ 5) at the 3d ionization threshold
Authors:
S. Schippers,
S. Ricz,
T. Buhr,
A. Borovik Jr.,
J. Hellhund,
K. Holste,
K. Huber,
H. -J. Schäfer,
D. Schury,
S. Klumpp,
K. Mertens,
M. Martins,
R. Flesch,
G. Ulrich,
E. Rühl,
T. Jahnke,
J. Lower,
D. Metz,
L. P. H. Schmidt,
M. Schöffler,
J. B. Williams,
L. Glaser,
F. Scholz,
J. Seltmann,
J. Viefhaus
, et al. (4 additional authors not shown)
Abstract:
The photon-ion merged-beams technique has been employed at the new Photon-Ion spectrometer at PETRA III (PIPE) for measuring multiple photoionization of Xe$^{q+}$ (q=1-5) ions. Total ionization cross sections have been obtained on an absolute scale for the dominant ionization reactions of the type hν+ Xe$^{q+}$ $\to$ Xe$^{r+}$ + (q-r) e$^-$ with product charge states q+2 $\le$ r $\le$ q+5. Promine…
▽ More
The photon-ion merged-beams technique has been employed at the new Photon-Ion spectrometer at PETRA III (PIPE) for measuring multiple photoionization of Xe$^{q+}$ (q=1-5) ions. Total ionization cross sections have been obtained on an absolute scale for the dominant ionization reactions of the type hν+ Xe$^{q+}$ $\to$ Xe$^{r+}$ + (q-r) e$^-$ with product charge states q+2 $\le$ r $\le$ q+5. Prominent ionization features are observed in the photon-energy range 650-750 eV, which are associated with excitation or ionization of an inner-shell 3d electron. Single-configuration Dirac-Fock calculations agree quantitatively with the experimental cross sections for non-resonant photoabsorption, but fail to reproduce all details of the measured ionization resonance structures.
△ Less
Submitted 11 April, 2014;
originally announced April 2014.
-
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)$.
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)$.
△ Less
Submitted 10 March, 2014;
originally announced March 2014.
-
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.
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.
△ Less
Submitted 22 September, 2013; v1 submitted 12 September, 2013;
originally announced September 2013.
-
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
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 box field K isomorphic to F_q, and an isomorphism from (P)SL(2,K) to X. The algorithm runs in time quadratic in the characteristic of the underlying field and polynomial in log q.
Due to the nature of our work we also have to discuss a few methodological issues of the black box group theory.
△ Less
Submitted 12 August, 2013;
originally announced August 2013.
-
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
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 \cite{guralnick01.169}. Meanwhile, the input size of recognition algorithms involves only $\log q$. The present paper introduces a new approach to construction of unipotent elements in which the running time of the algorithm is quadratic in characteristic $p$ of the underlying field and is polynomial in $\log q$; for small values of $p$ (which make a vast and practically important class of problems), the complexity of these algorithms is polynomial in the input size.
For $\psl_2(q)$, $\qpone$, we present a Monte-Carlo algorithm which constructs a root subgroup $U$, the maximal torus $T$ normalizing $U$ and a Weyl group element $w$ which conjugates $U$ to its opposite. Moreover, we extend this result and construct Steinberg generators for the black box untwisted classical groups defined over a field of odd size $q=p^k$ where $\qpone$. Our algorithms run in time quadratic in characteristic $p$ of the underlying field and polynomial in $\log q$ and the Lie rank $n$ of the group.
The case $\qmone$ requires the use of additional tools and is treated separately in our next paper \cite{suko12B}. Further, and much stronger results can be found in \cite{suko12E,suko12F}.
△ Less
Submitted 13 February, 2013;
originally announced February 2013.
-
An integer construction of infinitesimals: Toward a theory of Eudoxus hyperreals
Authors:
Alexandre Borovik,
Renling **,
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
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 the maximal (i.e., On-saturated) hyperreal number system described by Kanovei and Reeken (2004) and independently by Ehrlich (2012) can be obtained in this fashion, albeit not in NBG. In NBG, it can be obtained via a one-step construction by means of a definable ultrapower (modulo a suitable definable class ultrafilter).
△ Less
Submitted 28 October, 2012;
originally announced October 2012.
-
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
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, $G\cong GL(V)$ and the action is the natural action. The same result holds also under the assumption of Prufer 2-rank of $G$ being equal to the Morley rank of $V$.
△ Less
Submitted 16 December, 2011;
originally announced December 2011.
-
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.
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.
△ Less
Submitted 30 November, 2011;
originally announced November 2011.
-
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.
This paper contains a stronger version of a final identification theorem for the `generic' groups of finite Morley rank.
△ Less
Submitted 25 November, 2011;
originally announced November 2011.
-
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
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 for the development of analysis, in the context of an infinitesimal-enriched continuum. One sees, with Emile Borel, the seeds of the theory of rates of growth of functions as developed by Paul du Bois-Reymond. One sees, with E. G. Bjorling, an infinitesimal definition of the criterion of uniform convergence. Cauchy's foundational stance is hereby reconsidered.
△ Less
Submitted 16 October, 2012; v1 submitted 14 August, 2011;
originally announced August 2011.
-
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.