Showing 1–34 of 34 results for author: Skopenkov, M

Feynman checkers: through the looking-glass

Authors: Fedor Ozhegov, Mikhail Skopenkov, Alexey Ustinov

Abstract: Feynman gave a famous elementary introduction to quantum theory by discussing the thin-film reflection of light. We make his discussion mathematically rigorous, kee** it elementary, using his other idea. The resulting model leads to accurate quantitative results and allows us to derive a well-known formula from optics. In the process, we get acquainted with mathematical tools such as Smirnov's f… ▽ More Feynman gave a famous elementary introduction to quantum theory by discussing the thin-film reflection of light. We make his discussion mathematically rigorous, kee** it elementary, using his other idea. The resulting model leads to accurate quantitative results and allows us to derive a well-known formula from optics. In the process, we get acquainted with mathematical tools such as Smirnov's fermionic observables, transfer matrices, and spectral radii. Quantum walks and the six-vertex model arise as the next step in this direction. △ Less

Submitted 3 July, 2024; originally announced July 2024.

Comments: 12 pages, 6 figures

MSC Class: 81-01; 05A19; 78A40

Area preserving Combescure transformations

Authors: O. Pirahmad, H. Pottmann, M. Skopenkov

Abstract: Motivated by the design of flexible nets, we classify all nets of arbitrary size m x n that admit a continuous family of area-preserving Combescure transformations. There are just two different classes. The nets in the first class are special cases of cone nets that have been recently studied by Kilian, Mueller, and Tervooren. The second class consists of Koenigs nets having a Christoffel dual wit… ▽ More Motivated by the design of flexible nets, we classify all nets of arbitrary size m x n that admit a continuous family of area-preserving Combescure transformations. There are just two different classes. The nets in the first class are special cases of cone nets that have been recently studied by Kilian, Mueller, and Tervooren. The second class consists of Koenigs nets having a Christoffel dual with the same areas of corresponding faces. We apply isotropic metric duality to get a new class of flexible nets in isotropic geometry. We also study the smooth analogs of the introduced classes. △ Less

Submitted 26 February, 2024; originally announced February 2024.

Comments: 25 pages, 18 figures

MSC Class: 53A70; 53A05; 52C25; 53A35

Superport networks

Authors: Pavlo Pylyavskyy, Svetlana Shirokovskikh, Mikhail Skopenkov

Abstract: We study multiport networks, common in electrical engineering. They have boundary conditions different from electrical networks: the boundary vertices are split into pairs and the sum of the incoming currents is set to be zero in each pair. If one sets the voltage difference for each pair, then the incoming currents are uniquely determined. We generalize Kirchhoff's matrix-tree theorem to this set… ▽ More We study multiport networks, common in electrical engineering. They have boundary conditions different from electrical networks: the boundary vertices are split into pairs and the sum of the incoming currents is set to be zero in each pair. If one sets the voltage difference for each pair, then the incoming currents are uniquely determined. We generalize Kirchhoff's matrix-tree theorem to this setup. Different forests now contribute with different signs, making the proof subtle. In particular, we use the formula for the response matrix minors by R. Kenyon-D. Wilson, determinantal identities, and combinatorial bijections. We introduce superport networks, generalizing both ordinary networks and multiport ones. △ Less

Submitted 25 September, 2023; originally announced September 2023.

Comments: 26 pages, 10 figures

MSC Class: 05C82; 05C22; 94C05; 31C20; 35R02; 52C20

Surfaces of constant principal-curvatures ratio in isotropic geometry

Authors: Khusrav Yorov, Mikhail Skopenkov, Helmut Pottmann

Abstract: We study surfaces with a constant ratio of principal curvatures in Euclidean and isotropic geometries and characterize rotational, channel, ruled, helical, and translational surfaces of this kind under some technical restrictions (the latter two cases only in isotropic geometry). We use the interlacing of various methods of differential geometry, including line geometry and Lie sphere geometry, or… ▽ More We study surfaces with a constant ratio of principal curvatures in Euclidean and isotropic geometries and characterize rotational, channel, ruled, helical, and translational surfaces of this kind under some technical restrictions (the latter two cases only in isotropic geometry). We use the interlacing of various methods of differential geometry, including line geometry and Lie sphere geometry, ordinary differential equations, and elementary algebraic geometry. △ Less

Submitted 12 July, 2023; originally announced July 2023.

Comments: 38 pages, 6 figures

MSC Class: 53A05; 53A10; 53C42

Analysis and Synthesis of Digital Dyadic Sequences

Authors: Abdalla G. M. Ahmed, Mikhail Skopenkov, Markus Hadwiger, Peter Wonka

Abstract: We explore the space of matrix-generated (0, m, 2)-nets and (0, 2)-sequences in base 2, also known as digital dyadic nets and sequences. In computer graphics, they are arguably leading the competition for use in rendering. We provide a complete characterization of the design space and count the possible number of constructions with and without considering possible reorderings of the point set. Bas… ▽ More We explore the space of matrix-generated (0, m, 2)-nets and (0, 2)-sequences in base 2, also known as digital dyadic nets and sequences. In computer graphics, they are arguably leading the competition for use in rendering. We provide a complete characterization of the design space and count the possible number of constructions with and without considering possible reorderings of the point set. Based on this analysis, we then show that every digital dyadic net can be reordered into a sequence, together with a corresponding algorithm. Finally, we present a novel family of self-similar digital dyadic sequences, to be named $ξ$-sequences, that spans a subspace with fewer degrees of freedom. Those $ξ$-sequences are extremely efficient to sample and compute, and we demonstrate their advantages over the classic Sobol (0, 2)-sequence. △ Less

Submitted 23 September, 2023; v1 submitted 12 June, 2023; originally announced June 2023.

Comments: 17 pages, 11 figures. Minor improvement of exposition; references to earlier proofs of Theorems 3.1 and 3.3 added

A generalization of Cardy's and Schramm's formulae

Authors: Mikhail Khristoforov, Mikhail Skopenkov, Stanislav Smirnov

Abstract: We study critical site percolation on the triangular lattice. We find the difference of the probabilities of having a percolation interface to the right and to the left of two given points in the scaling limit. This generalizes both Cardy's and Schramm's formulae. The generalization involves a new interesting discrete analytic observable and an unexpected conformal map**. We study critical site percolation on the triangular lattice. We find the difference of the probabilities of having a percolation interface to the right and to the left of two given points in the scaling limit. This generalizes both Cardy's and Schramm's formulae. The generalization involves a new interesting discrete analytic observable and an unexpected conformal map**. △ Less

Submitted 21 May, 2023; originally announced May 2023.

Comments: 14 pages, 6 figures

MSC Class: 60K35; 30C30; 33C05; 81T40; 82B43

Feynman checkers: lattice quantum field theory with real time

Authors: Mikhail Skopenkov, Alexey Ustinov

Abstract: We present a new completely elementary model that describes the creation, annihilation, and motion of non-interacting electrons and positrons along a line. It is a modification of the model known under the names Feynman checkers or one-dimensional quantum walk. It can be viewed as a six-vertex model with certain complex weights of the vertices. The discrete model is consistent with the continuum q… ▽ More We present a new completely elementary model that describes the creation, annihilation, and motion of non-interacting electrons and positrons along a line. It is a modification of the model known under the names Feynman checkers or one-dimensional quantum walk. It can be viewed as a six-vertex model with certain complex weights of the vertices. The discrete model is consistent with the continuum quantum field theory, namely, reproduces the known expected charge density as the lattice step tends to zero. It is exactly solvable in terms of hypergeometric functions. We introduce interaction resembling Fermi's theory and establish perturbation expansion. △ Less

Submitted 27 February, 2024; v1 submitted 30 August, 2022; originally announced August 2022.

Comments: 43 pages, 7 figures; references to the six-vertex model added, minor changes in notation

MSC Class: 81T25; 81T27; 81T40; 82B20; 82B23; 33C45

Lattice gauge theory and a random-medium Ising model

Authors: Mikhail Skopenkov

Abstract: We study linearization of lattice gauge theory. Linearized theory approximates lattice gauge theory in the same manner as the loop O(n)-model approximates the spin O(n)-model. Under mild assumptions, we show that the expectation of an observable in linearized Abelian gauge theory coincides with the expectation in the Ising model with random edge-weights. We find a similar relation between Yang-Mil… ▽ More We study linearization of lattice gauge theory. Linearized theory approximates lattice gauge theory in the same manner as the loop O(n)-model approximates the spin O(n)-model. Under mild assumptions, we show that the expectation of an observable in linearized Abelian gauge theory coincides with the expectation in the Ising model with random edge-weights. We find a similar relation between Yang-Mills theory and 4-state Potts model. For the latter, we introduce a new observable. △ Less

Submitted 29 November, 2020; originally announced December 2020.

Comments: 10 pages, 2 figures

MSC Class: 82B20; 81T25; 81T13

Journal ref: Math. Phys. Anal. Geom. 25:18 (2022)

Feynman checkers: towards algorithmic quantum theory

Authors: M. Skopenkov, A. Ustinov

Abstract: We survey and develop the most elementary model of electron motion introduced by R.Feynman. In this game, a checker moves on a checkerboard by simple rules, and we count the turns. Feynman checkers are also known as a one-dimensional quantum walk or an Ising model at imaginary temperature. We solve mathematically a problem by R.Feynman from 1965, which was to prove that the discrete model (for lar… ▽ More We survey and develop the most elementary model of electron motion introduced by R.Feynman. In this game, a checker moves on a checkerboard by simple rules, and we count the turns. Feynman checkers are also known as a one-dimensional quantum walk or an Ising model at imaginary temperature. We solve mathematically a problem by R.Feynman from 1965, which was to prove that the discrete model (for large time, small average velocity, and small lattice step) is consistent with the continuum one. We study asymptotic properties of the model (for small lattice step and large time) improving the results by J.Narlikar from 1972 and by T.Sunada-T.Tate from 2012. For the first time we observe and prove concentration of measure in the small-lattice-step limit. We perform the second quantization of the model. △ Less

Submitted 28 February, 2022; v1 submitted 25 July, 2020; originally announced July 2020.

Comments: in English and in Russian; 54 pages, 17 figures. Changelog: An important reference to Sunada-Tate, 2012, has been added. This has not affected the main results. But some secondary ones have been replaced by the stronger ones from this reference. Minor correction of Example 4 has been performed, and a proof has been added in Section 12.5

MSC Class: 82B20; 11L03; 68Q12; 81P68; 81T25; 81T40; 05A17; 11P82; 33C45

Journal ref: Russian Math. Surveys 77:3(465) (2022), 73-160

Characterizing envelopes of moving rotational cones and applications in CNC machining

Authors: Mikhail Skopenkov, Pengbo Bo, Michael Bartoň, Helmut Pottmann

Abstract: Motivated by applications in CNC machining, we provide a characterization of surfaces which are enveloped by a one-parametric family of congruent rotational cones. As limit cases, we also address developable surfaces and ruled surfaces. The characterizations are higher order nonlinear PDEs generalizing the ones by Gauss and Monge for developable surfaces and ruled surfaces, respectively. The deriv… ▽ More Motivated by applications in CNC machining, we provide a characterization of surfaces which are enveloped by a one-parametric family of congruent rotational cones. As limit cases, we also address developable surfaces and ruled surfaces. The characterizations are higher order nonlinear PDEs generalizing the ones by Gauss and Monge for developable surfaces and ruled surfaces, respectively. The derivation includes results on local approximations of a surface by cones of revolution, which are expressed by contact order in the space of planes. These results are themselves of interest in geometric computing, for example in cutter selection and positioning for flank CNC machining. △ Less

Submitted 6 January, 2020; originally announced January 2020.

Comments: 23 pages, 11 figures

MSC Class: 53A05; 53A35; 35Q99

Journal ref: Computer Aided Geometric Design 83 (2020), 101944

Elements of mathematics in problems. Through olympiads and circles to profession

Authors: M. Berstein, A. Blinkov, V. Bragin, Yu. Burman, S. Dorichenko, A. Gavriliuk, A. Kanel-Belov, A. Klyachko, P. Kozhevnikov, O. Malinovskaya, D. Permiakov, V. Protasov, A. Shapovalov, F. Sharov, A. Skopenkov, M. Skopenkov, A. Zaslavsky

Abstract: This is a collection of teaching materials used in several Russian universities, schools, and mathematical circles. Most problems are chosen in such a way that in the course of the solution and discussion a reader learns important mathematical ideas and theories. The materials can be used by pupils and students for self-study, and by teachers. This is an abridged pre-copyedit version of the publ… ▽ More This is a collection of teaching materials used in several Russian universities, schools, and mathematical circles. Most problems are chosen in such a way that in the course of the solution and discussion a reader learns important mathematical ideas and theories. The materials can be used by pupils and students for self-study, and by teachers. This is an abridged pre-copyedit version of the published book submitted with the permission of the publisher. Each included individual material is self-contained and ready-for-use. Solutions to problems are not included intentionally. This collection consolidates updates of several arXiv submissions, e.g., arXiv:1305.2598. △ Less

Submitted 24 May, 2019; originally announced May 2019.

Comments: Edited by A. Skopenkov, M. Skopenkov, A. Zaslavsky. In Russian. Optimized for printing on A5 paper. Moscow Center for Continuous Mathematical Education, 2018, 592pp (in Russian)

Journal ref: Math. via problems. Part 1. Algebra. MSRI Math. Circl Libr 25. AMS; Berkeley, CA: MSRI, 2021, 196 pp

Discrete field theory: symmetries and conservation laws

Authors: Mikhail Skopenkov

Abstract: We present a general algorithm constructing a discretization of a classical field theory from a Lagrangian. We prove a new discrete Noether theorem relating symmetries to conservation laws and an energy conservation theorem not based on any symmetry. This gives exact conservation laws for several theories, e.g., lattice electrodynamics and gauge theory. In particular, we construct a conserved disc… ▽ More We present a general algorithm constructing a discretization of a classical field theory from a Lagrangian. We prove a new discrete Noether theorem relating symmetries to conservation laws and an energy conservation theorem not based on any symmetry. This gives exact conservation laws for several theories, e.g., lattice electrodynamics and gauge theory. In particular, we construct a conserved discrete energy-momentum tensor, approximating the continuum one at least for free fields. The theory is stated in topological terms, such as coboundary and products of cochains. △ Less

Submitted 15 April, 2023; v1 submitted 14 September, 2017; originally announced September 2017.

Comments: 46 pages, 10 figures; exposition improved: more detailed comparison to the existing literature added, text reordered to minimize forward references

MSC Class: 49M25; 49S05; 55N45; 81T25

Journal ref: Math. Phys. Anal. Geom. 26:19 (2023)

Surfaces containing two circles through each point

Authors: Mikhail Skopenkov, Rimvydas Krasauskas

Abstract: We find all analytic surfaces in space $\mathbb{R}^3$ such that through each point of the surface one can draw two transversal circular arcs fully contained in the surface. The problem of finding such surfaces traces back to the works of Darboux from XIXth century. We prove that such a surface is an image of a subset of one of the following sets under some composition of inversions: - the set… ▽ More We find all analytic surfaces in space $\mathbb{R}^3$ such that through each point of the surface one can draw two transversal circular arcs fully contained in the surface. The problem of finding such surfaces traces back to the works of Darboux from XIXth century. We prove that such a surface is an image of a subset of one of the following sets under some composition of inversions: - the set $\{\,p+q:p\inα,q\inβ\,\}$, where $α,β$ are two circles in $\mathbb{R}^3$; - the set $\{\,2\frac{[p \times q]}{|p+q|^2}:p\inα,q\inβ,p+q\ne 0\,\}$, where $α,β$ are two circles in ${S}^2$; - the set $\{\,(x,y,z): Q(x,y,z,x^2+y^2+z^2)=0\,\}$, where $Q\in\mathbb{R}[x,y,z,t]$ has degree $2$ or $1$. The proof uses a new factorization technique for quaternionic polynomials. △ Less

Submitted 28 February, 2022; v1 submitted 30 December, 2015; originally announced December 2015.

Comments: 26 pages, 1 figure; this consolidates updates of arXiv:1512.09062 and arXiv:1503.06481, and incorporates a correction to the published version

MSC Class: 51B10; 13F15; 16H05

Journal ref: Math. Ann. (2019) 373: 1299-1327

Surfaces containing two circles through each point and decomposition of quaternionic matrices

Authors: A. Pakharev, M. Skopenkov

Abstract: We find all analytic surfaces in space R^3 such that through each point of the surface one can draw two circular arcs fully contained in the surface. The proof uses a new decomposition technique for quaternionic matrices. We find all analytic surfaces in space R^3 such that through each point of the surface one can draw two circular arcs fully contained in the surface. The proof uses a new decomposition technique for quaternionic matrices. △ Less

Submitted 22 October, 2015; originally announced October 2015.

Comments: in English and in Russian; 2 pages, 1 figure

MSC Class: 51B10; 16H05; 13F15

Journal ref: Uspekhi Mat. Nauk, 72:2(434) (2017), 195-196; Russian Math. Surveys, 72:2 (2017), 381-383

Surfaces containing two circles through each point and Pythagorean 6-tuples

Authors: M. Skopenkov, R. Krasauskas

Abstract: We study analytic surfaces in 3-dimensional Euclidean space containing two circular arcs through each point. The problem of finding such surfaces traces back to the works of Darboux from XIXth century. We reduce finding all such surfaces to the algebraic problem of finding all Pythagorean 6-tuples of polynomials. The reduction is based on the Schicho parametrization of surfaces containing two coni… ▽ More We study analytic surfaces in 3-dimensional Euclidean space containing two circular arcs through each point. The problem of finding such surfaces traces back to the works of Darboux from XIXth century. We reduce finding all such surfaces to the algebraic problem of finding all Pythagorean 6-tuples of polynomials. The reduction is based on the Schicho parametrization of surfaces containing two conics through each point and a new approach using quaternionic rational parametrization. △ Less

Submitted 22 October, 2015; v1 submitted 22 March, 2015; originally announced March 2015.

Comments: minor stylistic changes; 15 pages, 1 figure

MSC Class: 51B10; 14J26; 16H05

Journal ref: Math. Ann. (2019) 373: 1299-1327

A square from similar rectangles

Authors: Sergey Dorichenko, Mikhail Skopenkov

Abstract: In the present popular science paper we determine when a square can be dissected into rectangles similar to a given rectangle. The approach to the question is based on a physical interpretation using electrical networks. Only secondary school background is assumed in the paper. In the present popular science paper we determine when a square can be dissected into rectangles similar to a given rectangle. The approach to the question is based on a physical interpretation using electrical networks. Only secondary school background is assumed in the paper. △ Less

Submitted 12 May, 2013; originally announced May 2013.

Comments: 5 pages, 5 figures, in Russian

Journal ref: Kvant 2 (2015), 6-11. Free fulltext: http://kvant.mccme.ru/pdf/2015/2015-02.pdf

Discrete Riemann surfaces: linear discretization and its convergence

Authors: Alexander Bobenko, Mikhail Skopenkov

Abstract: We develop linear discretization of complex analysis, originally introduced by R. Isaacs, J. Ferrand, R. Duffin, and C. Mercat. We prove convergence of discrete period matrices and discrete Abelian integrals to their continuous counterparts. We also prove a discrete counterpart of the Riemann--Roch theorem. The proofs use energy estimates inspired by electrical networks. We develop linear discretization of complex analysis, originally introduced by R. Isaacs, J. Ferrand, R. Duffin, and C. Mercat. We prove convergence of discrete period matrices and discrete Abelian integrals to their continuous counterparts. We also prove a discrete counterpart of the Riemann--Roch theorem. The proofs use energy estimates inspired by electrical networks. △ Less

Submitted 25 November, 2013; v1 submitted 1 October, 2012; originally announced October 2012.

Comments: 27 pages, 4 figures. Major revision: Theorem 2.5, Lemma 2.7, their proofs, and the proof of Identity 3.1 corrected, new Sections 4.2, 4.3, 7.2, 7.3, and details to Section 5 added

MSC Class: 39A12; 65M60; 30F30

Journal ref: J. reine und angew. Math.,720, (2016), 217-250

The boundary value problem for discrete analytic functions

Authors: Mikhail Skopenkov

Abstract: This paper is on further development of discrete complex analysis introduced by R. Isaacs, J. Ferrand, R. Duffin, and C. Mercat. We consider a graph lying in the complex plane and having quadrilateral faces. A function on the vertices is called discrete analytic, if for each face the difference quotients along the two diagonals are equal. We prove that the Dirichlet boundary value problem for th… ▽ More This paper is on further development of discrete complex analysis introduced by R. Isaacs, J. Ferrand, R. Duffin, and C. Mercat. We consider a graph lying in the complex plane and having quadrilateral faces. A function on the vertices is called discrete analytic, if for each face the difference quotients along the two diagonals are equal. We prove that the Dirichlet boundary value problem for the real part of a discrete analytic function has a unique solution. In the case when each face has orthogonal diagonals we prove that this solution uniformly converges to a harmonic function in the scaling limit. This solves a problem of S. Smirnov from 2010. This was proved earlier by R. Courant-K. Friedrichs-H. Lewy and L. Lusternik for square lattices, by D. Chelkak-S. Smirnov and implicitly by P.G. Ciarlet-P.-A. Raviart for rhombic lattices. In particular, our result implies uniform convergence of the finite element method on Delaunay triangulations. This solves a problem of A. Bobenko from 2011. The methodology is based on energy estimates inspired by alternating-current network theory. △ Less

Submitted 29 March, 2013; v1 submitted 31 October, 2011; originally announced October 2011.

Comments: 22 pages, 6 figures. Several changes: Theorem 1.2 generalized, several assertions added, minor correction in the proofs of Lemma 2.5, 3.3, Example 3.6, Corollary 5.1

MSC Class: 39A12; 31C20; 65M60; 60J45

Journal ref: Advances in Mathematics 240 (2013) 61-87

A surface containing a line and a circle through each point is a quadric

Authors: Fedor Nilov, Mikhail Skopenkov

Abstract: We prove that a surface in real 3-space containing a line and a circle through each point is a quadric. We also give some particular results on the classification of surfaces containing several circles through each point. We prove that a surface in real 3-space containing a line and a circle through each point is a quadric. We also give some particular results on the classification of surfaces containing several circles through each point. △ Less

Submitted 15 August, 2012; v1 submitted 11 October, 2011; originally announced October 2011.

Comments: Improved exposition, 4 figures added

MSC Class: 14J26; 51M04

Journal ref: Geometriae Dedicata 163:1 301-310 (2013)

When is the set of embeddings finite up to isotopy?

Authors: Mikhail Skopenkov

Abstract: Given a manifold N and a number m, we study the following question: is the set of isotopy classes of embeddings N->S^m finite? In case when the manifold N is a sphere the answer was given by A. Haefliger in 1966. In case when the manifold N is a disjoint union of spheres the answer was given by D. Crowley, S. Ferry and the author in 2011. We consider the next natural case when N is a product of tw… ▽ More Given a manifold N and a number m, we study the following question: is the set of isotopy classes of embeddings N->S^m finite? In case when the manifold N is a sphere the answer was given by A. Haefliger in 1966. In case when the manifold N is a disjoint union of spheres the answer was given by D. Crowley, S. Ferry and the author in 2011. We consider the next natural case when N is a product of two spheres. In the following theorem, FCS(i,j) is a concrete subset of the integer lattice depending only on the parity of i and j which is defined in the paper. Theorem. Assume that m>2p+q+2 and m<p+3q/2+2. Then the set of isotopy classes of smooth embeddings S^p x S^q -> S^m is infinite if and only if either q+1 or p+q+1 is divisible by 4, or there exists a point (x,y) in the set FCS(m-p-q,m-q) such that (m-p-q-2)x+(m-q-2)y=m-3. Our approach is based on a group structure on the set of embeddings and a new exact sequence, which in some sense reduces the classification of embeddings S^p x S^q -> S^m to the classification of embeddings S^{p+q} |_| S^q -> S^m and D^p x S^q -> S^m. The latter classification problems are reduced to homotopy ones, which are solved rationally. △ Less

Submitted 27 December, 2015; v1 submitted 9 June, 2011; originally announced June 2011.

Comments: This is an improved version of the published paper. Minor correction: some details added to the proofs of Theorem 1.6 (Section `Exactness at E^m(S^p x S^q)') and Lemmas 3.2, 3.6, 3.8; two new subsections added at the end; overall exposition improved

MSC Class: 57R52; 57R40; 57R65

Journal ref: Intern. J. Math. 26:7 (2015)

The rational classification of links of codimension >2

Authors: Diarmuid Crowley, Steven C. Ferry, Mikhail Skopenkov

Abstract: Fix an integer m and a multi-index p = (p_1, ..., p_r) of integers p_i < m-2. The set of links of codimension > 2, with multi-index p, E(p, m), is the set of smooth isotopy classes of smooth embeddings of the disjoint union of the p_i-spheres into the m-sphere. Haefliger showed that E(p, m) is a finitely generated abelian group with respect to embedded connected summation and computed its rank in… ▽ More Fix an integer m and a multi-index p = (p_1, ..., p_r) of integers p_i < m-2. The set of links of codimension > 2, with multi-index p, E(p, m), is the set of smooth isotopy classes of smooth embeddings of the disjoint union of the p_i-spheres into the m-sphere. Haefliger showed that E(p, m) is a finitely generated abelian group with respect to embedded connected summation and computed its rank in the case of knots, i.e. r=1. For r > 1 and for restrictions on p the rank of this group can be computed using results of Haefliger or Nezhinsky. Our main result determines the rank of the group E(p, m) in general. In particular we determine precisely when E(p,m) is finite. We also accomplish these tasks for framed links. Our proofs are based on the Haefliger exact sequence for groups of links and the theory of Lie algebras. △ Less

Submitted 7 June, 2011; originally announced June 2011.

Comments: 16 pages

MSC Class: 57R52; 57Q45; 55P62; 17B01

Journal ref: Forum Math. 26:1 (2014), 239-269

Darboux cyclides and webs from circles

Authors: Helmut Pottmann, Ling Shi, Mikhail Skopenkov

Abstract: Motivated by potential applications in architecture, we study Darboux cyclides. These algebraic surfaces of order a most 4 are a superset of Dupin cyclides and quadrics, and they carry up to six real families of circles. Revisiting the classical approach to these surfaces based on the spherical model of 3D Moebius geometry, we provide computational tools for the identification of circle families o… ▽ More Motivated by potential applications in architecture, we study Darboux cyclides. These algebraic surfaces of order a most 4 are a superset of Dupin cyclides and quadrics, and they carry up to six real families of circles. Revisiting the classical approach to these surfaces based on the spherical model of 3D Moebius geometry, we provide computational tools for the identification of circle families on a given cyclide and for the direct design of those. In particular, we show that certain triples of circle families may be arranged as so-called hexagonal webs, and we provide a complete classification of all possible hexagonal webs of circles on Darboux cyclides. △ Less

Submitted 7 June, 2011; originally announced June 2011.

Comments: 34 pages, 20 figures

MSC Class: 14J26

Journal ref: Computer Aided Geom. Design 29:1 (2012), 77-97

Dissections of a metal rectangle

Authors: Maxim Prasolov, Mikhail Skopenkov

Abstract: In the present popular science paper the following geometric questions are answered: - Which rectangles can be dissected into squares? - When a square can be dissected into rectangles similar to a given rectangle? The proofs are based on a physical interpretation using electrical networks. Only secondary school background is assumed in the paper. In the present popular science paper the following geometric questions are answered: - Which rectangles can be dissected into squares? - When a square can be dissected into rectangles similar to a given rectangle? The proofs are based on a physical interpretation using electrical networks. Only secondary school background is assumed in the paper. △ Less

Submitted 13 November, 2010; originally announced November 2010.

Comments: In Russian, 11 pages, 7 figures

Journal ref: Kvant 3 (2011), 10-16. Free fulltext: http://kvant.mccme.ru/pdf/2011/03/skopenkov.pdf

Ruled Laguerre minimal surfaces

Authors: Mikhail Skopenkov, Helmut Pottmann, Philipp Grohs

Abstract: A Laguerre minimal surface is an immersed surface in the Euclidean space being an extremal of the functional \int (H^2/K - 1) dA. In the present paper, we prove that the only ruled Laguerre minimal surfaces are up to isometry the surfaces R(u,v) = (Au, Bu, Cu + D cos 2u) + v (sin u, cos u, 0), where A, B, C, D are fixed real numbers. To achieve invariance under Laguerre transformations, we also de… ▽ More A Laguerre minimal surface is an immersed surface in the Euclidean space being an extremal of the functional \int (H^2/K - 1) dA. In the present paper, we prove that the only ruled Laguerre minimal surfaces are up to isometry the surfaces R(u,v) = (Au, Bu, Cu + D cos 2u) + v (sin u, cos u, 0), where A, B, C, D are fixed real numbers. To achieve invariance under Laguerre transformations, we also derive all Laguerre minimal surfaces that are enveloped by a family of cones. The methodology is based on the isotropic model of Laguerre geometry. In this model a Laguerre minimal surface enveloped by a family of cones corresponds to a graph of a biharmonic function carrying a family of isotropic circles. We classify such functions by showing that the top view of the family of circles is a pencil. △ Less

Submitted 27 January, 2020; v1 submitted 1 November, 2010; originally announced November 2010.

Comments: 28 pages, 9 figures. Minor correction: missed assumption (*) added to Propositions 1-2 and Theorem 2, missed case (nested circles having nonempty envelope) added in the proof of Pencil Theorem 4, missed proof that the arcs cut off by the envelope are disjoint added in the proof of Lemma 4

MSC Class: 53A40; 49Q10; 31A30

Journal ref: Math. Z. 272 (2012), 645-674

Packing a cake into a box

Authors: Mikhail Skopenkov

Abstract: Given a cake in form of a triangle and a box that fits the mirror image of the cake, how to cut the cake into a minimal number of pieces so that it can be put into the box? The cake has an icing, so that we are not allowed to put it into the box upside down. V.G. Boltyansky asked this question in 1977 and showed that three pieces always suffice. In this paper we provide examples of cakes that cann… ▽ More Given a cake in form of a triangle and a box that fits the mirror image of the cake, how to cut the cake into a minimal number of pieces so that it can be put into the box? The cake has an icing, so that we are not allowed to put it into the box upside down. V.G. Boltyansky asked this question in 1977 and showed that three pieces always suffice. In this paper we provide examples of cakes that cannot be cut into two pieces to put into the box. This shows that three is the answer to V.G. Boltyansky's question. Also we give examples of cakes which can be cut into two pieces. △ Less

Submitted 10 March, 2010; originally announced March 2010.

Comments: 9 pages, 13 figures

MSC Class: 52B45

Journal ref: M. Skopenkov, Packing a cake into a box, Amer. Math. Monthly 118:5 (2011), 424-433

Tiling by rectangles and alternating current

Authors: M. Prasolov, M. Skopenkov

Abstract: This paper is on tilings of polygons by rectangles. A celebrated physical interpretation of such tilings due to R.L. Brooks, C.A.B. Smith, A.H. Stone and W.T. Tutte uses direct-current circuits. The new approach of the paper is an application of alternating-current circuits. The following results are obtained: - a necessary condition for a rectangle to be tilable by rectangles of given shapes;… ▽ More This paper is on tilings of polygons by rectangles. A celebrated physical interpretation of such tilings due to R.L. Brooks, C.A.B. Smith, A.H. Stone and W.T. Tutte uses direct-current circuits. The new approach of the paper is an application of alternating-current circuits. The following results are obtained: - a necessary condition for a rectangle to be tilable by rectangles of given shapes; - a criterion for a rectangle to be tilable by rectangles similar to it but not all homothetic to it; - a criterion for a generic polygon to be tilable by squares. These results generalize the ones of C. Freiling, R. Kenyon, M. Laczkovich, D. Rinne and G. Szekeres. △ Less

Submitted 15 June, 2016; v1 submitted 6 February, 2010; originally announced February 2010.

Comments: In English and in Russian; 21 pages; 6 figures; minor improvement of exposition, Russian translation added

MSC Class: 52C20; 94C05; 31C20; 30C15; 60J10

Journal ref: J. Combinatorial Theory, Series A 118:3 (2011) 920-937

Classification of knotted tori in the 2-metastable dimension

Authors: M. Cencelj, D. Repovš, M. Skopenkov

Abstract: This paper is on the classical Knotting Problem: for a given manifold N and a number m describe the set of isotopy classes of embeddings $N\to S^m$. We study the specific case of knotted tori, i. e. the embeddings $S^p \times S^q \to S^m$. The classification of knotted tori up to isotopy in the metastable dimension range $m>p+\frac{3}{2}q+2$, $p\le q$, was given by A. Haefliger, E. Zeeman and A. S… ▽ More This paper is on the classical Knotting Problem: for a given manifold N and a number m describe the set of isotopy classes of embeddings $N\to S^m$. We study the specific case of knotted tori, i. e. the embeddings $S^p \times S^q \to S^m$. The classification of knotted tori up to isotopy in the metastable dimension range $m>p+\frac{3}{2}q+2$, $p\le q$, was given by A. Haefliger, E. Zeeman and A. Skopenkov. We consider the dimensions below the metastable range, and give an explicit criterion for the finiteness of this set of isotopy classes in the 2-metastable dimension: Theorem. Assume that $p+\frac{4}{3}q+2<m<p+\frac{3}{2}q+2$ and $m>2p+q+2$. Then the set of smooth embeddings $S^p \times S^q \to S^m$ up to isotopy is infinite if and only if either $q+1$ or $p+q+1$ is divisible by 4. Our approach to the classification is based on an analogue of the Koschorke exact sequence from the theory of link maps. This sequence involves a new $β$-invariant of knotted tori. The exactness is proved using embedded surgery and the Habegger-Kaiser techniques of studying the complement. △ Less

Submitted 2 November, 2012; v1 submitted 17 November, 2008; originally announced November 2008.

Comments: in English and in Russian, 24 pages, 10 figures. Minor corrections: in particular, in notation (c) before Theorem 2.1 and in Definiton of the beta-invariant

MSC Class: 57Q35; 57Q45 (Primary) 55S37; 57Q60 (Secondary)

Journal ref: Sbornik: Mathematics 203:11 (2012), 1654-1681

A short proof of the Twelve points theorem

Authors: Matija Cencelj, Dušan Repovš, Mikhail Skopenkov

Abstract: We present a short elementary proof of the following Twelve Points Theorem: Let M be a convex polygon with vertices at the lattice points, containing a single lattice point in its interior. Denote by m (resp. m*) the number of lattice points in the boundary of M (resp. in the boundary of the dual polygon). Then m+m*=12. We present a short elementary proof of the following Twelve Points Theorem: Let M be a convex polygon with vertices at the lattice points, containing a single lattice point in its interior. Denote by m (resp. m*) the number of lattice points in the boundary of M (resp. in the boundary of the dual polygon). Then m+m*=12. △ Less

Submitted 8 August, 2008; originally announced August 2008.

Comments: in English and in Russian, 4 pages, 4 figures

MSC Class: 52B20

Journal ref: Mathematical Notes 77:1(2005), 108-111

On the Pontryagin-Steenrod-Wu theorem

Authors: Dušan Repovš, Mikhail Skopenkov, Fulvia Spaggiari

Abstract: This paper is on homotopy classification of maps of (n+1)-dimensional manifolds into the n-dimensional sphere. For a continuous map f of an (n+1)-manifold into the n-sphere define the degree deg f to be the class dual to f^*[S^n], where [S^n] is the fundamental class. We present a short and direct proof of the following specific case of the Pontryagin-Steenrod-Wu theorem: Theorem. Let M be a con… ▽ More This paper is on homotopy classification of maps of (n+1)-dimensional manifolds into the n-dimensional sphere. For a continuous map f of an (n+1)-manifold into the n-sphere define the degree deg f to be the class dual to f^*[S^n], where [S^n] is the fundamental class. We present a short and direct proof of the following specific case of the Pontryagin-Steenrod-Wu theorem: Theorem. Let M be a connected orientable closed smooth (n+1)-manifold, n>2. Then the map deg:π^n(M)\to H_1(M;Z) is 1-to-1 (i.e., bijective), if the product w_2(M) x r_2 H_2(M;Z) is nonzero, where r_2 is the mod2 reduction; 2-to-1 (i.e., each element of H_1(M;Z) has exactly 2 preimages) - otherwise. The proof is based on the Pontryagin-Thom construction and a geometric definition of the Stiefel-Whitney classes w_2(M). △ Less

Submitted 23 May, 2013; v1 submitted 8 August, 2008; originally announced August 2008.

Comments: minor correction: sentence before Theorem 1.2, a reference added

MSC Class: 57R20 (Primary); 55Q55; 55M25 (Secondary)

Journal ref: Israel Journal of Mathematics 145(2005), 341-347

Embedding products of graphs into Euclidean spaces

Authors: Mikhail Skopenkov

Abstract: For any collection of graphs we find the minimal dimension d such that the product of these graphs is embeddable into the d-dimensional Euclidean space. In particular, we prove that the n-th powers of the Kuratowsky graphs are not embeddable into the 2n-dimensional Euclidean space. This is a solution of a problem of Menger from 1929. The idea of the proof is the reduction to a problem from so-call… ▽ More For any collection of graphs we find the minimal dimension d such that the product of these graphs is embeddable into the d-dimensional Euclidean space. In particular, we prove that the n-th powers of the Kuratowsky graphs are not embeddable into the 2n-dimensional Euclidean space. This is a solution of a problem of Menger from 1929. The idea of the proof is the reduction to a problem from so-called Ramsey link theory: we show that any embedding of L into the (2n-1)-dimensional sphere, where L is the join of n copies of a 4-point set, has a pair of linked (n-1)-dimensional spheres. △ Less

Submitted 15 August, 2016; v1 submitted 8 August, 2008; originally announced August 2008.

Comments: in English and in Russian, 5 pages, 2 figures. Minor improvement of exposition, a reference to a popular-science introduction added

MSC Class: 57Q35; 57Q45

Journal ref: Fundamenta Mathematicae 179 (2003), p. 191--197

On approximability by embeddings of cycles in the plane

Authors: Mikhail Skopenkov

Abstract: We obtain a criterion for approximability by embeddings of piecewise linear maps of a circle to the plane, analogous to the one proved by Minc for maps of a segment to the plane. Theorem. Let S be a triangulation of a circle with s vertices. Let f be a simplicial map of the graph S to the plane. The map f is approximable by embeddings if and only if for each i=0,...,s the i-th derivative of the… ▽ More We obtain a criterion for approximability by embeddings of piecewise linear maps of a circle to the plane, analogous to the one proved by Minc for maps of a segment to the plane. Theorem. Let S be a triangulation of a circle with s vertices. Let f be a simplicial map of the graph S to the plane. The map f is approximable by embeddings if and only if for each i=0,...,s the i-th derivative of the map f (defined by Minc) neither contains transversal self-intersections nor is the standard winding of degree greater than 1. We deduce from the Minc result the completeness of the van Kampen obstruction to approximability by embeddings of piecewise linear maps of a segment to the plane. We also generalize these criteria to simplicial maps of a graph without vertices of degree >3 to a circle. △ Less

Submitted 15 July, 2019; v1 submitted 8 August, 2008; originally announced August 2008.

Comments: in English, in Russian (Sections 1-3 only), 14 pages, 12 figures; Improvement of exposition in Section 1

MSC Class: 57Q35 (Primary); 54C25; 57M20 (Secondary)

Journal ref: Topology and Its Applications 134:1(2003), 1-22

Homotopy type of the complement of an immersion and classification of embeddings of tori

Authors: M. Cencelj, D. Repovš, M. Skopenkov

Abstract: This paper is devoted to the classification of embeddings of higher dimensional manifolds. We study the case of embeddings $S^p\times S^q\to S^m$, which we call knotted tori. The set of knotted tori in the the space of sufficiently high dimension, namely in the metastable range $m\ge p+3q/2+2$, $p\le q$, which is a natural limit for the classical methods of embedding theory, has been explicitely… ▽ More This paper is devoted to the classification of embeddings of higher dimensional manifolds. We study the case of embeddings $S^p\times S^q\to S^m$, which we call knotted tori. The set of knotted tori in the the space of sufficiently high dimension, namely in the metastable range $m\ge p+3q/2+2$, $p\le q$, which is a natural limit for the classical methods of embedding theory, has been explicitely described earlier. The aim of this note is to present an approach which allows for results in lower dimension. △ Less

Submitted 29 March, 2008; originally announced March 2008.

MSC Class: 57R40; 57R42; 55Q52

Journal ref: Russian Math. Surv. 62:5 (2007), 985-987

Classification of framed links in 3-manifolds

Authors: M. Cencelj, D. Repovš, M. Skopenkov

Abstract: We present a short proof of the following Pontryagin theorem, whose original proof was complicated and has never been published in details: {\bf Theorem.} Let $M$ be a connected oriented closed smooth 3-manifold. Let $L_1(M)$ be the set of framed links in $M$ up to a framed cobordism. Let $°:L_1(M)\to H_1(M;\Z)$ be the map taking a framed link to its homology class. Then for each… ▽ More We present a short proof of the following Pontryagin theorem, whose original proof was complicated and has never been published in details: {\bf Theorem.} Let $M$ be a connected oriented closed smooth 3-manifold. Let $L_1(M)$ be the set of framed links in $M$ up to a framed cobordism. Let $°:L_1(M)\to H_1(M;\Z)$ be the map taking a framed link to its homology class. Then for each $α\in H_1(M;\Z)$ there is a 1-1 correspondence between the set $°\nolimits^{-1}α$ and the group $\Bbb Z_{2d(α)}$, where $d(α)$ is the divisibility of the projection of $α$ to the free part of $H_1(M;\Bbb Z)$. △ Less

Submitted 12 June, 2007; v1 submitted 29 May, 2007; originally announced May 2007.

Comments: Some references were added and some minor corrections and comments were made

MSC Class: 57M20; 57M25; 57M27; 57N10; 57N65; 57R20

Journal ref: Proc. Indian Acad. Sci. (Math. Sci.) 117:3 (2007), 301-306.

Suspension theorems for links and link maps

Authors: Mikhail Skopenkov

Abstract: We present a new short proof of the explicit formula for the group of links (and also link maps) in the 'quadruple point free' dimension. Denote by $L^m_{p,q}$ (respectively, $C^{m-p}_p$) the group of smooth embeddings $S^p\sqcup S^q\to S^m$ (respectively, $S^p\to S^m$) up to smooth isotopy. Denote by $LM^m_{p,q}$ the group of link maps $S^p\sqcup S^q\to S^m$ up to link homotopy. Theorem 1. If… ▽ More We present a new short proof of the explicit formula for the group of links (and also link maps) in the 'quadruple point free' dimension. Denote by $L^m_{p,q}$ (respectively, $C^{m-p}_p$) the group of smooth embeddings $S^p\sqcup S^q\to S^m$ (respectively, $S^p\to S^m$) up to smooth isotopy. Denote by $LM^m_{p,q}$ the group of link maps $S^p\sqcup S^q\to S^m$ up to link homotopy. Theorem 1. If $p\le q\le m-3$ and $2p+2q\le 3m-6$ then \begin{equation*} L^m_{p,q}\cong π_p(S^{m-q-1})\oplusπ_{p+q+2-m}(SO/SO_{m-p-1})\oplus C^{m-p}_p\oplus C^{m-q}_q. \end{equation*} Theorem 2. If $p, q\le m-3$ and $2p+2q\le 3m-5$ then $LM^m_{p,q}\cong π^S_{p+q+1-m}$. Our approach is based on the use of the suspension operation for links and link maps, and suspension theorems for them. △ Less

Submitted 31 December, 2016; v1 submitted 10 October, 2006; originally announced October 2006.

Comments: in English and in Russian, 12 pages, 3 figures; minor correction in the definition of the vertical homomorphisms in Theorem 3.5

MSC Class: 57Q45; 57R40 (Primary); 55P40; 57Q30 (Secondary)

Journal ref: Proceedings of the American Mathematical Society 137:1 (2009), p. 359--369