Showing 1–50 of 56 results for author: Kolpakov, A

Machine Learning of the Prime Distribution

Authors: Alexander Kolpakov, A. Alistair Rocke

Abstract: In the present work we use maximum entropy methods to derive several theorems in probabilistic number theory, including a version of the Hardy-Ramanujan Theorem. We also provide a theoretical argument explaining the experimental observations of Yang-Hui He about the learnability of primes, and posit that the Erdős-Kac law would very unlikely be discovered by current machine learning techniques. Nu… ▽ More In the present work we use maximum entropy methods to derive several theorems in probabilistic number theory, including a version of the Hardy-Ramanujan Theorem. We also provide a theoretical argument explaining the experimental observations of Yang-Hui He about the learnability of primes, and posit that the Erdős-Kac law would very unlikely be discovered by current machine learning techniques. Numerical experiments that we perform corroborate our theoretical findings. △ Less

Submitted 2 June, 2024; v1 submitted 19 March, 2024; originally announced March 2024.

Comments: 10 pages; parts of arXiv:2308.10817 reworked and amended; author's draft; accepted in PLOS ONE

MSC Class: 11N05

A ripple in time: a discontinuity in American history

Authors: Alexander Kolpakov, Igor Rivin

Abstract: In this note we use the State of the Union Address (SOTU) dataset from Kaggle to make some surprising (and some not so surprising) observations pertaining to the general timeline of American history, and the character and nature of the addresses themselves. Our main approach is using vector embeddings, such as BERT (DistilBERT) and GPT-2. While it is widely believed that BERT (and its variations… ▽ More In this note we use the State of the Union Address (SOTU) dataset from Kaggle to make some surprising (and some not so surprising) observations pertaining to the general timeline of American history, and the character and nature of the addresses themselves. Our main approach is using vector embeddings, such as BERT (DistilBERT) and GPT-2. While it is widely believed that BERT (and its variations) is most suitable for NLP classification tasks, we find out that GPT-2 in conjunction with nonlinear dimension reduction methods such as UMAP provide better separation and stronger clustering. This makes GPT-2 + UMAP an interesting alternative. In our case, no model fine-tuning is required, and the pre-trained out-of-the-box GPT-2 model is enough. We also used a fine-tuned DistilBERT model for classification detecting which President delivered which address, with very good results (accuracy 93% - 95% depending on the run). An analogous task was performed to determine the year of writing, and we were able to pin it down to about 4 years (which is a single presidential term). It is worth noting that SOTU addresses provide relatively small writing samples (with about 8'000 words on average, and varying widely from under 2'000 words to more than 20'000), and that the number of authors is relatively large (we used SOTU addresses of 42 US presidents). This shows that the techniques employed turn out to be rather efficient, while all the computations described in this note can be performed using a single GPU instance of Google Colab. The accompanying code is available on GitHub. △ Less

Submitted 4 May, 2024; v1 submitted 2 December, 2023; originally announced December 2023.

Comments: 7 pages, 8 figures; GitHub repository (https://github.com/sashakolpakov/ripple_in_time); Section 3: added comparison to (https://doi.org/10.1016/j.ins.2019.01.040); comments on a misleading accuracy claim in (https://doi.org/10.1002/asi.23283)

ACM Class: I.2.7; I.5.4; H.3.1; H.3.3

The Information Geometry of UMAP

Authors: Alexander Kolpakov, A. Alistair Rocke

Abstract: Although UMAP was derived from Category Theory observations, its underlying mechanisms may be clarified using Information Geometry. Although UMAP was derived from Category Theory observations, its underlying mechanisms may be clarified using Information Geometry. △ Less

Submitted 25 June, 2024; v1 submitted 3 September, 2023; originally announced September 2023.

Comments: 11 pages, 2 figures, 3 tables; Github repo (https://github.com/sashakolpakov/info-geometry-umap)

MSC Class: 53B12; 94A15

On the impossibility of discovering a formula for primes using AI

Authors: Alexander Kolpakov, A. Alistair Rocke

Abstract: The present work explores the theoretical limits of Machine Learning (ML) within the framework of Kolmogorov's theory of Algorithmic Probability, which clarifies the notion of entropy as Expected Kolmogorov Complexity and formalizes other fundamental concepts such as Occam's razor via Levin's Universal Distribution. As a fundamental application, we develop Maximum Entropy methods that allow us to… ▽ More The present work explores the theoretical limits of Machine Learning (ML) within the framework of Kolmogorov's theory of Algorithmic Probability, which clarifies the notion of entropy as Expected Kolmogorov Complexity and formalizes other fundamental concepts such as Occam's razor via Levin's Universal Distribution. As a fundamental application, we develop Maximum Entropy methods that allow us to derive the Erdős-Kac Law and Hardy-Ramanujan theorem in Probabilistic Number Theory, and establish the impossibility of discovering a formula for primes using Machine Learning via the Prime Coding Theorem. △ Less

Submitted 2 June, 2024; v1 submitted 27 July, 2023; originally announced August 2023.

Comments: 29 pages; parts of this manuscript are accepted as a separate paper in PLOS ONE

MSC Class: 11N05 11N05 11N05

Expansion properties of Whitehead moves on cubic graphs

Authors: Laura Grave de Peralta, Alexander Kolpakov

Abstract: The present note studies the "graph of graphs" that has cubic graphs as vertices connected by edges represented by the so-called Whitehead moves. We study its conductance and expansion properties, and the adjacency spectrum. The present note studies the "graph of graphs" that has cubic graphs as vertices connected by edges represented by the so-called Whitehead moves. We study its conductance and expansion properties, and the adjacency spectrum. △ Less

Submitted 24 March, 2023; originally announced March 2023.

Robust affine point matching via quadratic assignment on Grassmannians

Authors: Alexander Kolpakov, Michael Werman

Abstract: Robust Affine matching with Grassmannians (RAG) is a new algorithm to perform affine registration of point clouds. The algorithm is based on minimizing the Frobenius distance between two elements of the Grassmannian. For this purpose, an indefinite relaxation of the Quadratic Assignment Problem (QAP) is used, and several approaches to affine feature matching are studied and compared. Experiments d… ▽ More Robust Affine matching with Grassmannians (RAG) is a new algorithm to perform affine registration of point clouds. The algorithm is based on minimizing the Frobenius distance between two elements of the Grassmannian. For this purpose, an indefinite relaxation of the Quadratic Assignment Problem (QAP) is used, and several approaches to affine feature matching are studied and compared. Experiments demonstrate that RAG is more robust to noise and point discrepancy than previous methods. △ Less

Submitted 4 May, 2024; v1 submitted 5 March, 2023; originally announced March 2023.

Comments: 8 pages, 23 figures; GitHub repository at (https://github.com/sashakolpakov/rag); Section IV: added comparison to GrassGraph (https://doi.org/10.1109/TIP.2019.2959722); notably, GrassGraph quickly loses accuracy on our test examples with noise and occlusion

An approach to robust ICP initialization

Authors: Alexander Kolpakov, Michael Werman

Abstract: In this note, we propose an approach to initialize the Iterative Closest Point (ICP) algorithm to match unlabelled point clouds related by rigid transformations. The method is based on matching the ellipsoids defined by the points' covariance matrices and then testing the various principal half-axes matchings that differ by elements of a finite reflection group. We derive bounds on the robustness… ▽ More In this note, we propose an approach to initialize the Iterative Closest Point (ICP) algorithm to match unlabelled point clouds related by rigid transformations. The method is based on matching the ellipsoids defined by the points' covariance matrices and then testing the various principal half-axes matchings that differ by elements of a finite reflection group. We derive bounds on the robustness of our approach to noise and numerical experiments confirm our theoretical findings. △ Less

Submitted 25 June, 2023; v1 submitted 10 December, 2022; originally announced December 2022.

Comments: 9 pages, 18 figures, 1 table; GitHub repository at (https://github.com/sashakolpakov/icp-init)

Infinitely many arithmetic hyperbolic rational homology 3-spheres that bound geometrically

Authors: Leonardo Ferrari, Alexander Kolpakov, Alan W. Reid

Abstract: In this paper we provide the first examples of arithmetic hyperbolic 3-manifolds that are rational homology spheres and bound geometrically either compact or cusped hyperbolic 4-manifolds. In this paper we provide the first examples of arithmetic hyperbolic 3-manifolds that are rational homology spheres and bound geometrically either compact or cusped hyperbolic 4-manifolds. △ Less

Submitted 10 May, 2022; v1 submitted 3 March, 2022; originally announced March 2022.

Comments: 19 pages, 1 figure, 1 table; improved exposition, some new results added; auxiliary SageMath code available at (https://github.com/sashakolpakov/dodecahedron-colouring)

Report number: MPIM-Bonn-2022 MSC Class: 57K32; 57R40; 57R42

Kleinian sphere packings, reflection groups, and arithmeticity

Authors: Nikolay Bogachev, Alexander Kolpakov, Alex Kontorovich

Abstract: In this paper we study crystallographic sphere packings and Kleinian sphere packings, introduced first by Kontorovich and Nakamura in 2017 and then studied further by Kapovich and Kontorovich in 2021. In particular, we solve the problem of existence of crystallographic sphere packings in certain higher dimensions posed by Kontorovich and Nakamura. In addition, we present a geometric doubling proce… ▽ More In this paper we study crystallographic sphere packings and Kleinian sphere packings, introduced first by Kontorovich and Nakamura in 2017 and then studied further by Kapovich and Kontorovich in 2021. In particular, we solve the problem of existence of crystallographic sphere packings in certain higher dimensions posed by Kontorovich and Nakamura. In addition, we present a geometric doubling procedure allowing to obtain sphere packings from some Coxeter polyhedra without isolated roots, and study "properly integral" packings (that is, ones which are integral but not superintegral). Our techniques rely extensively on computations with Lorentzian quadratic forms, their orthogonal groups, and associated higher-dimensional hyperbolic polyhedra. △ Less

Submitted 12 April, 2024; v1 submitted 3 March, 2022; originally announced March 2022.

Comments: 20 pages, 5 figures; ancillary files available on Github https://github.com/sashakolpakov/crystallographic-packings; final version; Math. Comp. 2024, Vol. 93, no. 345, pp. 505-521

MSC Class: 52C17; 20F55; 22E40

Thin hyperbolic reflection groups

Authors: Nikolay Bogachev, Alexander Kolpakov

Abstract: We study a family of Zariski dense finitely generated discrete subgroups of $\mathrm{Isom}(\mathbb{H}^d)$, $d \geqslant 2$, defined by the following property: any group in this family contains at least one reflection in a hyperplane. As an application we obtain a general description of all thin hyperbolic reflection groups. In particular, we show that the Vinberg algorithm applied to a non-reflect… ▽ More We study a family of Zariski dense finitely generated discrete subgroups of $\mathrm{Isom}(\mathbb{H}^d)$, $d \geqslant 2$, defined by the following property: any group in this family contains at least one reflection in a hyperplane. As an application we obtain a general description of all thin hyperbolic reflection groups. In particular, we show that the Vinberg algorithm applied to a non-reflective Lorentzian lattice gives rise to an infinite sequence of thin reflection subgroups in $\mathrm{Isom}(\mathbb{H}^d)$, for any $d \geqslant 2$. Moreover, every such group is a subgroup of a group produced by the Vinberg algorithm applied to a Lorentzian lattice independently on the latter being reflective. As a consequence, all thin hyperbolic reflection groups are enumerable. △ Less

Submitted 17 January, 2024; v1 submitted 29 December, 2021; originally announced December 2021.

Comments: 10 pages, 1 figure, revision and generalization

MSC Class: 22E40; 20F55

Infinitely many quasi-arithmetic maximal reflection groups

Authors: Edoardo Dotti, Alexander Kolpakov

Abstract: In contrast to the fact that there are only finitely many maximal arithmetic reflection groups acting on the hyperbolic space $\mathbb{H}^n$, $n\geq 2$, we show that: (a) one can produce infinitely many maximal quasi-arithmetic reflection groups acting on $\mathbb{H}^2$; (b) they admit infinitely many different fields of definition; (c) the degrees of their fields of definition are unbounded. Howe… ▽ More In contrast to the fact that there are only finitely many maximal arithmetic reflection groups acting on the hyperbolic space $\mathbb{H}^n$, $n\geq 2$, we show that: (a) one can produce infinitely many maximal quasi-arithmetic reflection groups acting on $\mathbb{H}^2$; (b) they admit infinitely many different fields of definition; (c) the degrees of their fields of definition are unbounded. However, for $n\geq 14$ an approach initially developed by Vinberg shows that there are still finitely many fields of definitions in the quasi-arithmetic case. △ Less

Submitted 21 May, 2022; v1 submitted 7 September, 2021; originally announced September 2021.

Comments: 8 pages, 2 figures; to appear in Proc. Amer. Math. Soc. (2022)

MSC Class: 11R06; 20H10

A new type of boundary layers, a representative model, and surface wrinkling in inhomogeneous plates

Authors: A. G. Kolpakov, S. I. Rakin

Abstract: We find a new type of boundary layers that occur at the top and bottom surfaces of an inhomogeneous plate. The boundary layers of this type never occur in homogeneous plates or plates made of layers of homogeneous materials. The thickness of such a boundary layer is usually less than that of a one single fiber of the plate. Moreover, we introduce a new notion of representative plate as a plate who… ▽ More We find a new type of boundary layers that occur at the top and bottom surfaces of an inhomogeneous plate. The boundary layers of this type never occur in homogeneous plates or plates made of layers of homogeneous materials. The thickness of such a boundary layer is usually less than that of a one single fiber of the plate. Moreover, we introduce a new notion of representative plate as a plate whose stress-strain state in some parts is similar to the stress-strain state in the original plate. In addition, every part of the original plate has a corresponding part in the representative plate. We demonstrate that a three-layered plate can be representative of a plate formed of an arbitrary number of layers. We also demonstrate a wrinkling phenomenon that happens on the top and bottom surfaces of inhomogeneous plates. This effect does not occur in homogeneous plates or plates made of layers of homogeneous materials. Such wrinkling can become a significant adverse effect, and thus should be given utmost attention. △ Less

Submitted 15 August, 2021; originally announced August 2021.

Comments: 9 pages, 5 figures

MSC Class: 35Q70

Euclidean volumes of hyperbolic knots

Authors: Nikolay Abrosimov, Alexander Kolpakov, Alexander Mednykh

Abstract: The hyperbolic structure on a 3-dimensional cone-manifold with a knot as singularity can often be deformed into a limiting Euclidean structure. In the present paper we show that the respective normalised Euclidean volume is always an algebraic number. This stands in contrast to hyperbolic volumes whose number-theoretic nature is usually quite complicated. The hyperbolic structure on a 3-dimensional cone-manifold with a knot as singularity can often be deformed into a limiting Euclidean structure. In the present paper we show that the respective normalised Euclidean volume is always an algebraic number. This stands in contrast to hyperbolic volumes whose number-theoretic nature is usually quite complicated. △ Less

Submitted 7 July, 2021; originally announced July 2021.

Comments: 11 pages, 2 figures

MSC Class: 57K10; 57M50; 11R04

On free semigroups of affine maps on the real line

Authors: Alexander Kolpakov, Alexey Talambutsa

Abstract: In this note we generalise some of the work of Klarner on free semigroups of affine maps acting on the real line by using a classical approach from geometric group theory (the **-Pong lemma). We also investigate the boundaries within which Klarner's necessary condition for a semigroup to be related is applicable. In this note we generalise some of the work of Klarner on free semigroups of affine maps acting on the real line by using a classical approach from geometric group theory (the **-Pong lemma). We also investigate the boundaries within which Klarner's necessary condition for a semigroup to be related is applicable. △ Less

Submitted 15 September, 2021; v1 submitted 19 May, 2021; originally announced May 2021.

Comments: 7 pages, 1 figure

MSC Class: 20M05

Subspace stabilisers in hyperbolic lattices

Authors: Mikhail Belolipetsky, Nikolay Bogachev, Alexander Kolpakov, Leone Slavich

Abstract: This paper shows that immersed totally geodesic $m$-dimensional suborbifolds of $n$-dimensional arithmetic hyperbolic orbifolds correspond to finite subgroups of the commensurator whenever $m \geqslant \lfloor \frac{n}{2} \rfloor$. We call such totally geodesic suborbifolds finite centraliser subspaces (or fc-subspaces) and use them to formulate an arithmeticity criterion for hyperbolic lattices.… ▽ More This paper shows that immersed totally geodesic $m$-dimensional suborbifolds of $n$-dimensional arithmetic hyperbolic orbifolds correspond to finite subgroups of the commensurator whenever $m \geqslant \lfloor \frac{n}{2} \rfloor$. We call such totally geodesic suborbifolds finite centraliser subspaces (or fc-subspaces) and use them to formulate an arithmeticity criterion for hyperbolic lattices. We show that a hyperbolic orbifold $M$ is arithmetic if and only if it has infinitely many fc-subspaces, exhibiting examples of non-arithmetic orbifolds that contain non-fc subspaces of codimension one. We provide an algebraic characterisation of totally geodesically immersed suborbifolds of arithmetic hyperbolic orbifolds by analysing Vinberg's commensurability invariants. This allows us to construct examples with the property that the adjoint trace field of the geodesic suborbifold properly contains the adjoint trace field of the orbifold. The case of special interest is that of exceptional trialitarian $7$-dimensional orbifolds. We show that every such orbifold contains a totally geodesic arithmetic hyperbolic $3$-orbifold of exceptional type. Finally, we study arithmetic properties of orbifolds that descend to their totally geodesic suborbifolds, proving that all suborbifolds in a (quasi-)arithmetic orbifold are (quasi-)arithmetic. △ Less

Submitted 19 December, 2023; v1 submitted 14 May, 2021; originally announced May 2021.

Comments: 71 pages (with new margins), 4 figures, substantial update from v1, added table of contents, improved exposition, typos corrected; + Section 3.4: new results about trialitarian lattices. Major revision of Section 5. Added preliminary Section 2.1; + minor revision

Space vectors forming rational angles

Authors: Kiran S. Kedlaya, Alexander Kolpakov, Bjorn Poonen, Michael Rubinstein

Abstract: We classify all sets of nonzero vectors in $\mathbb{R}^3$ such that the angle formed by each pair is a rational multiple of $π$. The special case of four-element subsets lets us classify all tetrahedra whose dihedral angles are multiples of $π$, solving a 1976 problem of Conway and Jones: there are $2$ one-parameter families and $59$ sporadic tetrahedra, all but three of which are related to eithe… ▽ More We classify all sets of nonzero vectors in $\mathbb{R}^3$ such that the angle formed by each pair is a rational multiple of $π$. The special case of four-element subsets lets us classify all tetrahedra whose dihedral angles are multiples of $π$, solving a 1976 problem of Conway and Jones: there are $2$ one-parameter families and $59$ sporadic tetrahedra, all but three of which are related to either the icosidodecahedron or the $B_3$ root lattice. The proof requires the solution in roots of unity of a $W(D_6)$-symmetric polynomial equation with $105$ monomials (the previous record was $12$ monomials). △ Less

Submitted 28 November, 2020; originally announced November 2020.

Comments: 30 pages. Associated code at https://github.com/kedlaya/tetrahedra

MSC Class: 52B10 (Primary) 11R18; 14Q25; 51M04 (Secondary)

Packable hyperbolic surfaces with symmetries

Authors: Maria Dostert, Alexander Kolpakov

Abstract: We discuss several ways of packing a hyperbolic surface with circles (of either varying radii or all being congruent) or horocycles, and note down some observations related to their symmetries (or the absence thereof). We discuss several ways of packing a hyperbolic surface with circles (of either varying radii or all being congruent) or horocycles, and note down some observations related to their symmetries (or the absence thereof). △ Less

Submitted 18 February, 2022; v1 submitted 22 October, 2020; originally announced October 2020.

Comments: 11 pages, 4 figures; to appear in Canadian Math. Bulletin (2022)

MSC Class: 05B40; 20H10; 11F06

Cusps of hyperbolic 4-manifolds and rational homology spheres

Authors: Leonardo Ferrari, Alexander Kolpakov, Leone Slavich

Abstract: In the present paper, we construct a cusped hyperbolic $4$-manifold with all cusp sections homeomorphic to the Hantzsche-Wendt manifold, which is a rational homology sphere. By a result of Golénia and Moroianu, the Laplacian on $2$-forms on such a manifold has purely discrete spectrum. This shows that one of the main results of Mazzeo and Phillips from 1990 cannot hold without additional assumptio… ▽ More In the present paper, we construct a cusped hyperbolic $4$-manifold with all cusp sections homeomorphic to the Hantzsche-Wendt manifold, which is a rational homology sphere. By a result of Golénia and Moroianu, the Laplacian on $2$-forms on such a manifold has purely discrete spectrum. This shows that one of the main results of Mazzeo and Phillips from 1990 cannot hold without additional assumptions on the homology of the cusps. This also answers a question by Golénia and Moroianu from 2012. We also correct and refine the incomplete classification of compact orientable flat $3$-manifolds arising from cube colourings provided earlier by the last two authors. △ Less

Submitted 11 June, 2021; v1 submitted 21 September, 2020; originally announced September 2020.

Comments: 15 pages, 1 figure, 1 table; SageMath worksheets available at https://github.com/sashakolpakov/24-cell-colouring

MSC Class: 57N16; 57M50; 52B10; 52B11

Journal ref: Proceedings of the London Mathematical Society 123 pp. 636-648 (2021)

The signature of cusped hyperbolic 4-manifolds

Authors: Alexander Kolpakov, Stefano Riolo, Steven T. Tschantz

Abstract: In this note we show that every integer is the signature of a non-compact, oriented, hyperbolic 4-manifold of finite volume, and give some partial results on the geography of such manifolds. The main ingredients are a theorem of Long and Reid, and the explicit construction of a hyperbolic 24-cell manifold with some special topological properties. In this note we show that every integer is the signature of a non-compact, oriented, hyperbolic 4-manifold of finite volume, and give some partial results on the geography of such manifolds. The main ingredients are a theorem of Long and Reid, and the explicit construction of a hyperbolic 24-cell manifold with some special topological properties. △ Less

Submitted 2 September, 2022; v1 submitted 22 June, 2020; originally announced June 2020.

Comments: 13 pages, 4 figures, 7 tables To appear in Int. Math. Res. Notices (minor changes wrt the previous version)

Journal ref: Int. Math. Res. Not. IMRN 2023:9 (2023), 7961-7975

Semidefinite programming bounds for the average kissing number

Authors: Maria Dostert, Alexander Kolpakov, Fernando Mário de Oliveira Filho

Abstract: The average kissing number of $\mathbb{R}^n$ is the supremum of the average degrees of contact graphs of packings of finitely many balls (of any radii) in $\mathbb{R}^n$. We provide an upper bound for the average kissing number based on semidefinite programming that improves previous bounds in dimensions $3, \ldots, 9$. A very simple upper bound for the average kissing number is twice the kissing… ▽ More The average kissing number of $\mathbb{R}^n$ is the supremum of the average degrees of contact graphs of packings of finitely many balls (of any radii) in $\mathbb{R}^n$. We provide an upper bound for the average kissing number based on semidefinite programming that improves previous bounds in dimensions $3, \ldots, 9$. A very simple upper bound for the average kissing number is twice the kissing number; in dimensions $6, \ldots, 9$ our new bound is the first to improve on this simple upper bound. △ Less

Submitted 26 March, 2020; originally announced March 2020.

Comments: 17 pages

MSC Class: 52C17; 90C22; 90C34

Kissing number in non-Euclidean spaces of constant sectional curvature

Authors: Maria Dostert, Alexander Kolpakov

Abstract: This paper provides upper and lower bounds on the kissing number of congruent radius $r > 0$ spheres in hyperbolic $\mathbb{H}^n$ and spherical $\mathbb{S}^n$ spaces, for $n\geq 2$. For that purpose, the kissing number is replaced by the kissing function $κ_H(n, r)$, resp. $κ_S(n, r)$, which depends on the dimension $n$ and the radius $r$. After we obtain some theoretical upper and lower bounds fo… ▽ More This paper provides upper and lower bounds on the kissing number of congruent radius $r > 0$ spheres in hyperbolic $\mathbb{H}^n$ and spherical $\mathbb{S}^n$ spaces, for $n\geq 2$. For that purpose, the kissing number is replaced by the kissing function $κ_H(n, r)$, resp. $κ_S(n, r)$, which depends on the dimension $n$ and the radius $r$. After we obtain some theoretical upper and lower bounds for $κ_H(n, r)$, we study their asymptotic behaviour and show, in particular, that $κ_H(n,r) \sim (n-1) \cdot d_{n-1} \cdot B(\frac{n-1}{2}, \frac{1}{2}) \cdot e^{(n-1) r}$, where $d_n$ is the sphere packing density in $\mathbb{R}^n$, and $B$ is the beta-function. Then we produce numeric upper bounds by solving a suitable semidefinite program, as well as lower bounds coming from concrete spherical codes. A similar approach allows us to locate the values of $κ_S(n, r)$, for $n= 3,\, 4$, over subintervals in $[0, π]$ with relatively high accuracy. △ Less

Submitted 25 May, 2021; v1 submitted 11 March, 2020; originally announced March 2020.

Comments: 17 pages, 2 figures, 4 tables; ancillary files available on GitHub: https://github.com/sashakolpakov/non-euclidean-kissing-number This is a merger of arXiv:1907.00255 and arXiv:1910.02715 (both withdrawn)

MSC Class: 05B40; 52C17; 51M09

Journal ref: Math. Comp. (2021)

Embedding non-arithmetic hyperbolic manifolds

Authors: Alexander Kolpakov, Stefano Riolo, Leone Slavich

Abstract: This paper shows that many hyperbolic manifolds obtained by glueing arithmetic pieces embed into higher-dimensional hyperbolic manifolds as codimension-one totally geodesic submanifolds. As a consequence, many Gromov--Pyatetski-Shapiro and Agol--Belolipetsky--Thomson non-arithmetic manifolds embed geodesically. Moreover, we show that the number of commensurability classes of hyperbolic manifolds w… ▽ More This paper shows that many hyperbolic manifolds obtained by glueing arithmetic pieces embed into higher-dimensional hyperbolic manifolds as codimension-one totally geodesic submanifolds. As a consequence, many Gromov--Pyatetski-Shapiro and Agol--Belolipetsky--Thomson non-arithmetic manifolds embed geodesically. Moreover, we show that the number of commensurability classes of hyperbolic manifolds with a representative of volume $\leq v$ that bounds geometrically is at least $v^{Cv}$, for $v$ large enough. △ Less

Submitted 6 September, 2022; v1 submitted 3 March, 2020; originally announced March 2020.

Comments: 20 pages, 5 figures. Final version

Journal ref: Math. Res. Lett., vol. 29 (2022) n. 1, p. 247-274

On faces of quasi-arithmetic Coxeter polytopes

Authors: Nikolay Bogachev, Alexander Kolpakov

Abstract: We prove that each lower-dimensional face of a quasi-arithmetic Coxeter polytope, which happens to be itself a Coxeter polytope, is also quasi-arithmetic. We also provide a sufficient condition for a codimension $1$ face to be actually arithmetic, as well as a few computed examples. We prove that each lower-dimensional face of a quasi-arithmetic Coxeter polytope, which happens to be itself a Coxeter polytope, is also quasi-arithmetic. We also provide a sufficient condition for a codimension $1$ face to be actually arithmetic, as well as a few computed examples. △ Less

Submitted 1 November, 2020; v1 submitted 26 February, 2020; originally announced February 2020.

Comments: 14 pages, 3 figures; ancillary files available at https://github.com/sashakolpakov/plof

MSC Class: 20F55; 20H10; 22E40

Journal ref: Int. Math. Res. Notices (2020)

Growth rates of Coxeter groups and Perron numbers

Authors: Alexander Kolpakov, Alexey Talambutsa

Abstract: We define a large class of abstract Coxeter groups, that we call $\infty$--spanned, and for which the word growth rate and the geodesic growth rate appear to be Perron numbers. This class contains a fair amount of Coxeter groups acting on hyperbolic spaces, thus corroborating a conjecture by Kellerhals and Perren. We also show that for this class the geodesic growth rate strictly dominates the wor… ▽ More We define a large class of abstract Coxeter groups, that we call $\infty$--spanned, and for which the word growth rate and the geodesic growth rate appear to be Perron numbers. This class contains a fair amount of Coxeter groups acting on hyperbolic spaces, thus corroborating a conjecture by Kellerhals and Perren. We also show that for this class the geodesic growth rate strictly dominates the word growth rate. △ Less

Submitted 19 April, 2021; v1 submitted 11 December, 2019; originally announced December 2019.

Comments: 21 pages, 2 figures; to appear in IMRN

MSC Class: 20F55; 37B10; 11K16

Kissing number in spherical space

Authors: Maria Dostert, Alexander Kolpakov

Abstract: This paper investigates the behaviour of the kissing number $κ(n, r)$ of congruent radius $r > 0$ spheres in $\mathbb{S}^n$, for $n\geq 2$. Such a quantity depends on the radius $r$, and we plot the approximate graph of $κ(n, r)$ with relatively high accuracy by using new upper and lower bounds that are produced via semidefinite programming and by using spherical codes, respectively. This paper investigates the behaviour of the kissing number $κ(n, r)$ of congruent radius $r > 0$ spheres in $\mathbb{S}^n$, for $n\geq 2$. Such a quantity depends on the radius $r$, and we plot the approximate graph of $κ(n, r)$ with relatively high accuracy by using new upper and lower bounds that are produced via semidefinite programming and by using spherical codes, respectively. △ Less

Submitted 8 March, 2020; v1 submitted 7 October, 2019; originally announced October 2019.

Comments: Will be merged with arXiv:1907.00255

MSC Class: 05B40; 52C17; 51M09

Kissing number in hyperbolic space

Authors: Maria Dostert, Alexander Kolpakov

Abstract: This paper provides upper and lower bounds on the kissing number of congruent radius $r > 0$ spheres in $\mathbb{H}^n$, for $n\geq 2$. For that purpose, the kissing number is replaced by the kissing function $κ(n, r)$ which depends on the radius $r$. After we obtain some theoretical lower and upper bounds for $κ(n, r)$, we study their asymptotic behaviour and show, in particular, that… ▽ More This paper provides upper and lower bounds on the kissing number of congruent radius $r > 0$ spheres in $\mathbb{H}^n$, for $n\geq 2$. For that purpose, the kissing number is replaced by the kissing function $κ(n, r)$ which depends on the radius $r$. After we obtain some theoretical lower and upper bounds for $κ(n, r)$, we study their asymptotic behaviour and show, in particular, that $\lim_{r\to \infty} \frac{\log κ(n,r)}{r} = n-1$. Finally, we compare them with the numeric upper bounds obtained by solving a suitable semidefinite program. △ Less

Submitted 8 March, 2020; v1 submitted 29 June, 2019; originally announced July 2019.

Comments: Will be merged with arXiv:1910.02715

MSC Class: 05B40; 52C17; 51M09

A hyperbolic counterpart to Rokhlin's cobordism theorem

Authors: Michelle Chu, Alexander Kolpakov

Abstract: The purpose of the present paper is to prove existence of super-exponentially many compact orientable hyperbolic arithmetic $n$-manifolds that are geometric boundaries of compact orientable hyperbolic $(n+1)$-manifolds, for any $n \geq 2$, thereby establishing that these classes of manifolds have the same growth rate with respect to volume as all compact orientable hyperbolic arithmetic $n$-manifo… ▽ More The purpose of the present paper is to prove existence of super-exponentially many compact orientable hyperbolic arithmetic $n$-manifolds that are geometric boundaries of compact orientable hyperbolic $(n+1)$-manifolds, for any $n \geq 2$, thereby establishing that these classes of manifolds have the same growth rate with respect to volume as all compact orientable hyperbolic arithmetic $n$-manifolds. An analogous result holds for non-compact orientable hyperbolic arithmetic $n$-manifolds of finite volume that are geometric boundaries, for $n \geq 2$. △ Less

Submitted 23 June, 2020; v1 submitted 12 May, 2019; originally announced May 2019.

Comments: 16 pages, 4 figures, 3 tables; to appear in Int. Math. Res. Notices; ancillary file available at https://doi.org/10.7910/DVN/N0DP7R

MSC Class: 57R90; 57M50; 20F55; 37F20

On the formulas for effective stiffnesses in a paper by Zheng Ye, Victor L. Berdichevsky and Wenbin Yu

Authors: A. A. Kolpakov, A. G. Kolpakov

Abstract: A paper by Ye, Berdichevsky and Yu features a set of formulas for effective stiffnesses of corrugated plates. Without elaborating on said authors' actual approach leading to such formulas, we shall focus on the fact that they can be brought to a simpler form. A paper by Ye, Berdichevsky and Yu features a set of formulas for effective stiffnesses of corrugated plates. Without elaborating on said authors' actual approach leading to such formulas, we shall focus on the fact that they can be brought to a simpler form. △ Less

Submitted 27 May, 2019; v1 submitted 13 February, 2019; originally announced February 2019.

Comments: 2 pages, extended references, final version

MSC Class: 35Q74

Telescopic groups and symmetries of combinatorial maps

Authors: Rémi Bottinelli, Laura Grave de Peralta, Alexander Kolpakov

Abstract: In the present paper, we show that many combinatorial and topological objects, such as maps, hypermaps, three-dimensional pavings, constellations and branched coverings of the two--sphere admit any given finite automorphism group. This enhances the already known results by Frucht, Cori -- Machì, Širáň -- Škoviera, and other authors. We also provide a more universal technique for showing that ``any… ▽ More In the present paper, we show that many combinatorial and topological objects, such as maps, hypermaps, three-dimensional pavings, constellations and branched coverings of the two--sphere admit any given finite automorphism group. This enhances the already known results by Frucht, Cori -- Machì, Širáň -- Škoviera, and other authors. We also provide a more universal technique for showing that ``any finite automorphism group is possible'', that is applicable to wider classes or, in contrast, to more particular sub-classes of said combinatorial and geometric objects. Finally, we show that any given finite automorphism group can be realised by sufficiently many non-isomorphic such entities (super-exponentially many with respect to a certain combinatorial complexity measure). △ Less

Submitted 15 January, 2020; v1 submitted 17 January, 2019; originally announced January 2019.

Comments: 29 pages, 7 figures; final version to appear in Algebraic Combinatorics https://alco.centre-mersenne.org

MSC Class: 20E07; 52C20; 52C22; 05C30

Spherical tetrahedra with rational volume, and spherical Pythagorean triples

Authors: Alexander Kolpakov, Sinai Robins

Abstract: We study spherical tetrahedra with rational dihedral angles and rational volumes. Such tetrahedra occur in the Rational Simplex Conjecture by Cheeger and Simons, and we supply vast families, discovered by computational efforts, of positive examples that confirm this conjecture. As a by-product, we also obtain a classification of all spherical Pythagorean triples, previously found by Smith. We study spherical tetrahedra with rational dihedral angles and rational volumes. Such tetrahedra occur in the Rational Simplex Conjecture by Cheeger and Simons, and we supply vast families, discovered by computational efforts, of positive examples that confirm this conjecture. As a by-product, we also obtain a classification of all spherical Pythagorean triples, previously found by Smith. △ Less

Submitted 16 October, 2019; v1 submitted 15 November, 2018; originally announced November 2018.

Comments: 14 pages, 3 figures, 5 tables; to appear in Math. of Comp.; supplementary SageMath worksheets available at https://doi.org/10.7910/DVN/LJBNGO

MSC Class: 51F15; 11H06

Many cusped hyperbolic 3-manifolds do not bound geometrically

Authors: Alexander Kolpakov, Alan W. Reid, Stefano Riolo

Abstract: In this note, we show that there exist cusped hyperbolic $3$-manifolds that embed geodesically, but cannot bound geometrically. Thus, being a geometric boundary is a non-trivial property for such manifolds. Our result complements the work by Long and Reid on geometric boundaries of compact hyperbolic $4$-manifolds, and by Kolpakov, Reid and Slavich on embedding arithmetic hyperbolic manifolds. In this note, we show that there exist cusped hyperbolic $3$-manifolds that embed geodesically, but cannot bound geometrically. Thus, being a geometric boundary is a non-trivial property for such manifolds. Our result complements the work by Long and Reid on geometric boundaries of compact hyperbolic $4$-manifolds, and by Kolpakov, Reid and Slavich on embedding arithmetic hyperbolic manifolds. △ Less

Submitted 28 April, 2019; v1 submitted 13 November, 2018; originally announced November 2018.

Comments: 11 pages, 3 figures; to appear in Proceedings AMS

MSC Class: 57R90; 57M50; 20F55; 37F20

Journal ref: Proc. Amer. Math. Soc. 18:5 (2020), 2223-2243

Computation of homogenized stiffnesses of thin corrugated plates

Authors: A. A. Kolpakov, A. G. Kolpakov

Abstract: The homogenized stiffnesses of a corrugated plate are calculated by solving the periodicity cell problem of the homogenization theory by using two-steps dimension reduction procedure. The three-dimensional periodicity cell problem first reduces to a two-dimensional problem on the plate cross-sections. Then, provided that the plate is thin, the two-dimensional problem reduces to a one-dimensional p… ▽ More The homogenized stiffnesses of a corrugated plate are calculated by solving the periodicity cell problem of the homogenization theory by using two-steps dimension reduction procedure. The three-dimensional periodicity cell problem first reduces to a two-dimensional problem on the plate cross-sections. Then, provided that the plate is thin, the two-dimensional problem reduces to a one-dimensional problem, similar to the problem of curvilinear beam bending. Using the specifics of the arising one-dimensional problem, we construct its solution, depending on several constants. As a result, the solution of the cell problem and the calculation of the homogenized stiffnesses are reduced to solving algebraic equations. It is found that essential calculations are necessary only for finding the tension stiffness in the direction orthogonal to the corrugation profile. The remaining effective stiffnesses are easily calculated by numerically computing integrals of known functions. For some effective stiffnesses exact formulas are obtained. △ Less

Submitted 20 November, 2018; v1 submitted 1 November, 2018; originally announced November 2018.

Comments: 21 page, 5 figures, 1 table

MSC Class: 35Q74

Spherical and geodesic growth rates of right-angled Coxeter and Artin groups are Perron numbers

Authors: Alexander Kolpakov, Alexey Talambutsa

Abstract: We prove that for any infinite right-angled Coxeter or Artin group, its spherical and geodesic growth rates (with respect to the standard generating set) either take values in the set of Perron numbers, or equal $1$. Also, we compute the average number of geodesics representing an element of given word length in such groups. We prove that for any infinite right-angled Coxeter or Artin group, its spherical and geodesic growth rates (with respect to the standard generating set) either take values in the set of Perron numbers, or equal $1$. Also, we compute the average number of geodesics representing an element of given word length in such groups. △ Less

Submitted 24 November, 2019; v1 submitted 25 September, 2018; originally announced September 2018.

Comments: 12 pages, 2 figures; to appear in Discrete Mathematics

Counting cusped hyperbolic 3-manifolds that bound geometrically

Authors: Alexander Kolpakov, Stefano Riolo

Abstract: We show that the number of isometry classes of cusped hyperbolic $3$-manifolds that bound geometrically grows at least super-exponentially with their volume, both in the arithmetic and non-arithmetic settings. We show that the number of isometry classes of cusped hyperbolic $3$-manifolds that bound geometrically grows at least super-exponentially with their volume, both in the arithmetic and non-arithmetic settings. △ Less

Submitted 12 July, 2019; v1 submitted 16 August, 2018; originally announced August 2018.

Comments: 17 pages, 7 figures; to appear in Transactions AMS

MSC Class: 57R90; 57M50; 20F55; 37F20

Journal ref: Trans. Amer. Math. Soc. 373:1 (2020), 229-247

Three-dimensional maps and subgroup growth

Authors: Rémi Bottinelli, Laura Ciobanu, Alexander Kolpakov

Abstract: In this paper we derive a generating series for the number of cellular complexes known as pavings or three-dimensional maps, on $n$ darts, thus solving an analogue of Tutte's problem in dimension three. The generating series we derive also counts free subgroups of index $n$ in $Δ^+ = \mathbb{Z}_2*\mathbb{Z}_2*\mathbb{Z}_2$ via a simple bijection between pavings and finite index subgroups which c… ▽ More In this paper we derive a generating series for the number of cellular complexes known as pavings or three-dimensional maps, on $n$ darts, thus solving an analogue of Tutte's problem in dimension three. The generating series we derive also counts free subgroups of index $n$ in $Δ^+ = \mathbb{Z}_2*\mathbb{Z}_2*\mathbb{Z}_2$ via a simple bijection between pavings and finite index subgroups which can be deduced from the action of $Δ^+$ on the cosets of a given subgroup. We then show that this generating series is non-holonomic. Furthermore, we provide and study the generating series for isomorphism classes of pavings, which correspond to conjugacy classes of free subgroups of finite index in $Δ^+$. Computational experiments performed with software designed by the authors provide some statistics about the topology and combinatorics of pavings on $n\leq 16$ darts. △ Less

Submitted 30 September, 2021; v1 submitted 4 December, 2017; originally announced December 2017.

Comments: 17 pages, 6 figures, 1 table; auxiliary files on GitHub: https://github.com/bottine/nem and https://github.com/sashakolpakov/monty-3d

MSC Class: 14N10; 20E07; 20H10; 05E45; 33C20

Journal ref: Manuscripta Math. (2021)

Free subgroups of free products and combinatorial hypermaps

Authors: Laura Ciobanu, Alexander Kolpakov

Abstract: We derive a generating series for the number of free subgroups of finite index in $Δ^+ = \mathbb{Z}_p*\mathbb{Z}_q$ by using a connection between free subgroups of $Δ^+$ and certain hypermaps (also known as ribbon graphs or "fat" graphs), and show that this generating series is transcendental. We provide non-linear recurrence relations for the above numbers based on differential equations that are… ▽ More We derive a generating series for the number of free subgroups of finite index in $Δ^+ = \mathbb{Z}_p*\mathbb{Z}_q$ by using a connection between free subgroups of $Δ^+$ and certain hypermaps (also known as ribbon graphs or "fat" graphs), and show that this generating series is transcendental. We provide non-linear recurrence relations for the above numbers based on differential equations that are part of the Riccati hierarchy. We also study the generating series for conjugacy classes of free subgroups of finite index in $Δ^+$, which correspond to isomorphism classes of hypermaps. Asymptotic formulas are provided for the numbers of free subgroups of given finite index, conjugacy classes of such subgroups, or, equivalently, various types of hypermaps and their isomorphism classes. △ Less

Submitted 12 February, 2019; v1 submitted 12 August, 2017; originally announced August 2017.

Comments: 27 pages, 3 figures; supplementary SAGE worksheets available at http://sashakolpakov.wordpress.com/list-of-papers/

MSC Class: 14N10; 20E07; 20H10; 05E45; 33C20

Journal ref: Discrete Mathematics, 2019

Embedding arithmetic hyperbolic manifolds

Authors: Alexander Kolpakov, Alan W. Reid, Leone Slavich

Abstract: We prove that any arithmetic hyperbolic $n$-manifold of simplest type can either be geodesically embedded into an arithmetic hyperbolic $(n+1)$-manifold or its universal $\mathrm{mod}~2$ Abelian cover can. We prove that any arithmetic hyperbolic $n$-manifold of simplest type can either be geodesically embedded into an arithmetic hyperbolic $(n+1)$-manifold or its universal $\mathrm{mod}~2$ Abelian cover can. △ Less

Submitted 9 November, 2018; v1 submitted 30 March, 2017; originally announced March 2017.

Comments: 20 pages; revised version, typos corrected; Mathematical Research Letters vol. 25, no. 4

MSC Class: 57M50; 57R90

Journal ref: Math. Res. Lett. 25 (2018), 1305-1328

Combinatorial decompositions, Kirillov-Reshetikhin invariants and the Volume Conjecture for hyperbolic polyhedra

Authors: Alexander Kolpakov, Jun Murakami

Abstract: We suggest a method of computing volume for a simple polytope $P$ in three-dimensional hyperbolic space $\mathbb{H}^3$. This method combines the combinatorial reduction of $P$ as a trivalent graph $Γ$ (the $1$-skeleton of $P$) by $I-H$, or Whitehead, moves (together with shrinking of triangular faces) aligned with its geometric splitting into generalised tetrahedra. With each decomposition (under… ▽ More We suggest a method of computing volume for a simple polytope $P$ in three-dimensional hyperbolic space $\mathbb{H}^3$. This method combines the combinatorial reduction of $P$ as a trivalent graph $Γ$ (the $1$-skeleton of $P$) by $I-H$, or Whitehead, moves (together with shrinking of triangular faces) aligned with its geometric splitting into generalised tetrahedra. With each decomposition (under some conditions) we associate a potential function $Φ$ such that the volume of $P$ can be expressed through a critical values of $Φ$. The results of our numeric experiments with this method suggest that one may associated the above mentioned sequence of combinatorial moves with the sequence of moves required for computing the Kirillov-Reshetikhin invariants of the trivalent graph $Γ$. Then the corresponding geometric decomposition of $P$ might be used in order to establish a link between the volume of $P$ and the asymptotic behaviour of the Kirillov-Reshetikhin invariants of $Γ$, which is colloquially know as the Volume Conjecture. △ Less

Submitted 7 March, 2016; originally announced March 2016.

Comments: 28 pages, 26 figures, 2 tables

MSC Class: 51M25 (Primary); 51M09 (Secondary)

Resonance vector mode locking

Authors: Stanislav A. Kolpakov, Sergey V. Sergeyev, Yuri Loika, Nikita Tarasov, Vladimir Kalashnikov, Govind P. Agrawal

Abstract: A mode locked fibre laser as a source of ultra-stable pulse train has revolutionised a wide range of fundamental and applied research areas by offering high peak powers, high repetition rates, femtosecond range pulse widths and a narrow linewidth. However, further progress in linewidth narrowing seems to be limited by the complexity of the carrier-envelope phase control. Here for the first time we… ▽ More A mode locked fibre laser as a source of ultra-stable pulse train has revolutionised a wide range of fundamental and applied research areas by offering high peak powers, high repetition rates, femtosecond range pulse widths and a narrow linewidth. However, further progress in linewidth narrowing seems to be limited by the complexity of the carrier-envelope phase control. Here for the first time we demonstrate experimentally and theoretically a new mechanism of resonance vector self-mode locking where tuning in-cavity birefringence leads to excitation of the longitudinal modes sidebands accompanied by the resonance phase locking of sidebands with the adjacent longitudinal modes. An additional resonance with acoustic phonons provides the repetition rate tunability and linewidth narrowing down to Hz range that drastically reduces the complexity of the carrier-envelope phase control and so will open the way to advance lasers in the context of applications in metrology, spectroscopy, microwave photonics, astronomy, and telecommunications. △ Less

Submitted 23 August, 2015; originally announced August 2015.

Comments: 13 pages, 3 figures, 1 table

Hyperbolic four-manifolds, colourings and mutations

Authors: Alexander Kolpakov, Leone Slavich

Abstract: We develop a way of seeing a complete orientable hyperbolic $4$-manifold $\mathcal{M}$ as an orbifold cover of a Coxeter polytope $\mathcal{P} \subset \mathbb{H}^4$ that has a facet colouring. We also develop a way of finding totally geodesic sub-manifolds $\mathcal{N}$ in $\mathcal{M}$, and describing the result of mutations along $\mathcal{N}$. As an application of our method, we construct an ex… ▽ More We develop a way of seeing a complete orientable hyperbolic $4$-manifold $\mathcal{M}$ as an orbifold cover of a Coxeter polytope $\mathcal{P} \subset \mathbb{H}^4$ that has a facet colouring. We also develop a way of finding totally geodesic sub-manifolds $\mathcal{N}$ in $\mathcal{M}$, and describing the result of mutations along $\mathcal{N}$. As an application of our method, we construct an example of a complete orientable hyperbolic $4$-manifold $\mathcal{X}$ with a single non-toric cusp and a complete orientable hyperbolic $4$-manifold $\mathcal{Y}$ with a single toric cusp. Both $\mathcal{X}$ and $\mathcal{Y}$ have twice the minimal volume among all complete orientable hyperbolic $4$-manifolds. △ Less

Submitted 9 October, 2020; v1 submitted 9 July, 2015; originally announced July 2015.

Comments: 24 pages, 11 figures; classification in Proposition 3.2 is incomplete: see arXiv:2009.09995 for correction

MSC Class: 57N16; 52B11; 52C45

Journal ref: Proc. London Math. Soc. (2016), 113 (2), 163-184

Geodesic growth of right-angled Coxeter groups based on trees

Authors: Laura Ciobanu, Alexander Kolpakov

Abstract: In this paper we exhibit two infinite families of trees $\{T^1_n\}_{n \geq 17}$ and $\{T^2_n\}_{n \geq 17}$ on $n$ vertices, such that $T^1_n$ and $T^2_n$ are non-isomorphic, co-spectral, and the right-angled Coxeter groups (RACGs) based on $T^1_n$ and $T^2_n$ have the same geodesic growth with respect to the standard generating set. We then show that the spectrum of a tree does is not sufficient… ▽ More In this paper we exhibit two infinite families of trees $\{T^1_n\}_{n \geq 17}$ and $\{T^2_n\}_{n \geq 17}$ on $n$ vertices, such that $T^1_n$ and $T^2_n$ are non-isomorphic, co-spectral, and the right-angled Coxeter groups (RACGs) based on $T^1_n$ and $T^2_n$ have the same geodesic growth with respect to the standard generating set. We then show that the spectrum of a tree does is not sufficient to determine the geodesic growth of the RACG based on that tree, by providing two infinite families of trees $\{S^1_n\}_{n \geq 11}$ and $\{S^2_n\}_{n \geq 11}$, on $n$ vertices, such that $S^1_n$ and $S^2_n$ are non-isomorphic, co-spectral, and the right-angled Coxeter groups (RACGs) based on $S^1_n$ and $S^2_n$ have distinct geodesic growth. Asymptotically, as $n\rightarrow \infty$, each set $T^i_n$, or $S^i_n$, $i=1,2$, has the cardinality of the set of all trees on $n$ vertices. Our proofs are constructive and use two families of trees previously studied by B. McKay and C. Godsil. △ Less

Submitted 17 January, 2020; v1 submitted 10 April, 2015; originally announced April 2015.

Comments: 14 pages, 4 figures, a typo in formula (3) corrected; supplementary material and a SAGE worksheet available at http://sashakolpakov.wordpress.com/list-of-papers/

MSC Class: 20E08; 20F65

The dual Jacobian of a generalised tetrahedron, and volumes of prisms

Authors: Alexander Kolpakov, Jun Murakami

Abstract: We derive an analytic formula for the dual Jacobian matrix of a generalised hyperbolic tetrahedron. Two cases are considered: a mildly truncated and a prism truncated tetrahedron. The Jacobian for the latter arises as an analytic continuation of the former, that falls in line with a similar behaviour of the corresponding volume formulae. Also, we obtain a volume formula for a hyperbolic $n$-gona… ▽ More We derive an analytic formula for the dual Jacobian matrix of a generalised hyperbolic tetrahedron. Two cases are considered: a mildly truncated and a prism truncated tetrahedron. The Jacobian for the latter arises as an analytic continuation of the former, that falls in line with a similar behaviour of the corresponding volume formulae. Also, we obtain a volume formula for a hyperbolic $n$-gonal prism: the proof requires the above mentioned Jacobian, employed in the analysis of the edge lengths behaviour of such a prism, needed later for the Schläfli formula. △ Less

Submitted 3 June, 2016; v1 submitted 11 September, 2014; originally announced September 2014.

Comments: 26 pages, 11 figures, 1 table; to appear in Tokyo Journal of Mathematics

MSC Class: 51M25 (Primary); 51M09 (Secondary)

Symmetries of hyperbolic 4-manifolds

Authors: Alexander Kolpakov, Leone Slavich

Abstract: In this paper, for each finite group $G$, we construct explicitly a non-compact complete finite-volume arithmetic hyperbolic $4$-manifold $M$ such that $\mathrm{Isom}\,M \cong G$, or $\mathrm{Isom}^{+}\,M \cong G$. In order to do so, we use essentially the geometry of Coxeter polytopes in the hyperbolic $4$-space, on one hand, and the combinatorics of simplicial complexes, on the other. In this paper, for each finite group $G$, we construct explicitly a non-compact complete finite-volume arithmetic hyperbolic $4$-manifold $M$ such that $\mathrm{Isom}\,M \cong G$, or $\mathrm{Isom}^{+}\,M \cong G$. In order to do so, we use essentially the geometry of Coxeter polytopes in the hyperbolic $4$-space, on one hand, and the combinatorics of simplicial complexes, on the other. △ Less

Submitted 9 October, 2020; v1 submitted 5 September, 2014; originally announced September 2014.

Comments: 32 pages, 10 figures; Int. Math. Res. Notices (2015); SAGE worksheet available at https://doi.org/10.7910/DVN/0YUU6O; a minor mistake in the proof of Proposition 4.4 corrected in Proposition 2.5 / Remark 2.6 of arXiv:1710.07534

MSC Class: 57N16; 52B11; 52C45

Journal ref: International Mathematics Research Notices, Volume 2016, Issue 9, 2677-2716

Asymptotic decomposition in the problem of joined elastic plates

Authors: I. V. Andrianov, A. G. Kolpakov, B. Markert

Abstract: In this paper, a method of local perturbations, previously successfully applied to decompose the problem of elasticity in the system of connected thin rods and beams [Kolpakov and Andrianov, 2013], is used to study the asymptotic behaviour of the elasticity problem in connected thin plates. A complete decomposition of the problem, i.e. the separation of the original problem in to the two-dimension… ▽ More In this paper, a method of local perturbations, previously successfully applied to decompose the problem of elasticity in the system of connected thin rods and beams [Kolpakov and Andrianov, 2013], is used to study the asymptotic behaviour of the elasticity problem in connected thin plates. A complete decomposition of the problem, i.e. the separation of the original problem in to the two-dimensional problem of the theory of plates and local problems is proposed. The local problems describe the three-dimensional stress-strain state in the connected plates and can be solved by numerical methods. △ Less

Submitted 2 July, 2014; originally announced July 2014.

Comments: 21 pages, 9 figures

MSC Class: 35Q70

Some hyperbolic three-manifolds that bound geometrically

Authors: Alexander Kolpakov, Bruno Martelli, Steven T. Tschantz

Abstract: A closed connected hyperbolic $n$-manifold bounds geometrically if it is isometric to the geodesic boundary of a compact hyperbolic $(n+1)$-manifold. A. Reid and D. Long have shown by arithmetic methods the existence of infinitely many manifolds that bound geometrically in every dimension. We construct here infinitely many explicit examples in dimension $n=3$ using right-angled dodecahedra and… ▽ More A closed connected hyperbolic $n$-manifold bounds geometrically if it is isometric to the geodesic boundary of a compact hyperbolic $(n+1)$-manifold. A. Reid and D. Long have shown by arithmetic methods the existence of infinitely many manifolds that bound geometrically in every dimension. We construct here infinitely many explicit examples in dimension $n=3$ using right-angled dodecahedra and $120$-cells and a simple colouring technique introduced by M. Davis and T. Januszkiewicz. Namely, for every $k\geqslant 1$, we build an orientable compact closed $3$-manifold tessellated by $16k$ right-angled dodecahedra that bounds a $4$-manifold tessellated by $32k$ right-angled $120$-cells. A notable feature of this family is that the ratio between the volumes of the $4$-manifolds and their boundary components is constant and, in particular, bounded. △ Less

Submitted 24 June, 2020; v1 submitted 12 November, 2013; originally announced November 2013.

Comments: 10 pages, 1 figure; ancillary Wolfram Mathematica notebook available at https://doi.org/10.7910/DVN/A6XZLC

MSC Class: 57N16; 52B11; 52C45

Hyperbolic four-manifolds with one cusp

Authors: Alexander Kolpakov, Bruno Martelli

Abstract: We introduce a simple algorithm which transforms every four-dimensional cubulation into a cusped finite-volume hyperbolic four-manifold. Combinatorially distinct cubulations give rise to topologically distinct manifolds. Using this algorithm we construct the first examples of finite-volume hyperbolic four-manifolds with one cusp. More generally, we show that the number of $k$-cusped hyperbolic fou… ▽ More We introduce a simple algorithm which transforms every four-dimensional cubulation into a cusped finite-volume hyperbolic four-manifold. Combinatorially distinct cubulations give rise to topologically distinct manifolds. Using this algorithm we construct the first examples of finite-volume hyperbolic four-manifolds with one cusp. More generally, we show that the number of $k$-cusped hyperbolic four-manifolds with volume smaller than V grows like $C^{V log V}$ for any fixed $k$. As a corollary, we deduce that the 3-torus bounds geometrically a hyperbolic manifold. △ Less

Submitted 23 October, 2013; v1 submitted 25 March, 2013; originally announced March 2013.

Comments: 24 pages, 15 figures, typos corrected; Geom. and Funct. Anal., 2013

MSC Class: 57N16; 52B11; 52C45

Interaction of "rigid" quantum systems

Authors: A. A. Kolpakov, A. G. Kolpakov

Abstract: We introduce the notion of a "rigid" quantum system as a system with constant relative positions of its nuclei and constant relative distribution of the electrons with respect to the nuclei. In accordance with this definition, a molecule which does not interact with other objects, is a "rigid" quantum system. Molecule is also "rigid" if it interacts with other objects, but the interaction does n… ▽ More We introduce the notion of a "rigid" quantum system as a system with constant relative positions of its nuclei and constant relative distribution of the electrons with respect to the nuclei. In accordance with this definition, a molecule which does not interact with other objects, is a "rigid" quantum system. Molecule is also "rigid" if it interacts with other objects, but the interaction does not change the intrinsic structure of the molecule (or this change can be neglected). Several "rigid" quantum systems interact one with another in the quantum manner. The interaction is ruled by the Schr{ö}dinger equation [1] written for all the particles of the systems under consideration. We consider the case when the external potential is zero. △ Less

Submitted 3 January, 2013; v1 submitted 15 December, 2012; originally announced December 2012.

Comments: 15 pages; typos corrected

MSC Class: 35Q70

On the optimality of the ideal right-angled 24-cell

Authors: Alexander Kolpakov

Abstract: We prove that among four-dimensional ideal right-angled hyperbolic polytopes the 24-cell is of minimal volume and of minimal facet number. As a corollary, a dimension bound for ideal right-angled hyperbolic polytopes is obtained. We prove that among four-dimensional ideal right-angled hyperbolic polytopes the 24-cell is of minimal volume and of minimal facet number. As a corollary, a dimension bound for ideal right-angled hyperbolic polytopes is obtained. △ Less

Submitted 14 November, 2012; v1 submitted 13 November, 2012; originally announced November 2012.

Comments: 24 pages, 22 figures, minor corrections

MSC Class: Primary: 20F55 Secondary: 52B11; 51M20

Journal ref: Algebraic & Geometric Topology 12 (2012) 1941-1960

Complementarity problems for electro-neutral charged bodies

Authors: A. A. Kolpakov, A. G. Kolpakov

Abstract: Solutions to the complementarity problem constructed in [1], generally, possess non-zero total charge. In natural sciences, bodies possessing non-zero total charge (ions and similar object) are considered as specific objects. Bodies possessing zero total charge (electro-neutral bodies) are considered as general case objects. This paper presents a solution to the complementarity problem for electro… ▽ More Solutions to the complementarity problem constructed in [1], generally, possess non-zero total charge. In natural sciences, bodies possessing non-zero total charge (ions and similar object) are considered as specific objects. Bodies possessing zero total charge (electro-neutral bodies) are considered as general case objects. This paper presents a solution to the complementarity problem for electro-neutral bodies. The solution is constructed under the condition that the volumes of the bodies are small. △ Less

Submitted 21 July, 2012; originally announced July 2012.

Comments: 8 pages, 1 figure

MSC Class: 35Q70

Complementarity problems for two pairs of charged bodies

Authors: A. A. Kolpakov, A. G. Kolpakov

Abstract: We consider an interaction of charged bodies under the following simplified conditions: the distribution of charge over each body is stable; the interaction of bodies is governed by electrical forces only. Physically, these assumptions can be treated as the following decomposition of charges: the structure of each body is assumed to be stable due to inner forces (say, quantum forces [1]), which do… ▽ More We consider an interaction of charged bodies under the following simplified conditions: the distribution of charge over each body is stable; the interaction of bodies is governed by electrical forces only. Physically, these assumptions can be treated as the following decomposition of charges: the structure of each body is assumed to be stable due to inner forces (say, quantum forces [1]), which do not influence the interaction of the bodies; the bodies interact due to the classical electrical forces [2] only. In this model, the role of inner forces is to create a specific stable distribution of the charge over a body. We assume that the charge distribution over a body can be described by the density of the charge. In our model, the distribution of the charge is the property of a body and does not change in the process of the bodies' interaction. For the simplicity we assume that the bodies are similar in the sense of geometry, say, occupy domain $Q$ and have a preferable direction of interaction denoted by $Ox_3$. △ Less

Submitted 5 July, 2012; v1 submitted 23 May, 2012; originally announced May 2012.

Comments: typos corrected

MSC Class: 35Q70