-
Spherical and hyperbolic orthogonal ring patterns: integrability and variational principles
Authors:
Alexander I. Bobenko
Abstract:
We introduce orthogonal ring patterns in the 2-sphere and in the hyperbolic plane, consisting of pairs of concentric circles, which generalize circle patterns. We show that their radii are described by a discrete integrable system. This is a special case of the master integrable equation Q4. The variational description is given in terms of elliptic generalizations of the dilogarithm function. They…
▽ More
We introduce orthogonal ring patterns in the 2-sphere and in the hyperbolic plane, consisting of pairs of concentric circles, which generalize circle patterns. We show that their radii are described by a discrete integrable system. This is a special case of the master integrable equation Q4. The variational description is given in terms of elliptic generalizations of the dilogarithm function. They have the same convexity principles as their circle-pattern counterparts. This allows us to prove existence and uniqueness results for the Dirichlet and Neumann boundary value problems. Some examples are computed numerically. In the limit of small smoothly varying rings, one obtains harmonic maps to the sphere and to the hyperbolic plane. A close relation to discrete surfaces with constant mean curvature is explained.
△ Less
Submitted 11 October, 2024; v1 submitted 10 September, 2024;
originally announced September 2024.
-
Dimers and M-Curves: Limit Shapes from Riemann Surfaces
Authors:
Alexander I. Bobenko,
Nikolai Bobenko
Abstract:
We present a general approach for the study of dimer model limit shape problems via variational and integrable systems techniques. In particular we deduce the limit shape of the Aztec diamond and the hexagon for quasi-periodic weights through purely variational techniques.
Putting an M-curve at the center of the construction allows one to define weights and algebro-geometric structures describin…
▽ More
We present a general approach for the study of dimer model limit shape problems via variational and integrable systems techniques. In particular we deduce the limit shape of the Aztec diamond and the hexagon for quasi-periodic weights through purely variational techniques.
Putting an M-curve at the center of the construction allows one to define weights and algebro-geometric structures describing the behavior of the corresponding dimer model. We extend the quasi-periodic setup of our previous paper [7] to include a diffeomorphism from the spectral data to the liquid region of the dimer.
Our novel method of proof is purely variational and exploits a duality between the dimer height function and its dual magnetic tension minimizer and applies to dimers with gas regions. We apply this to the Aztec diamond and hexagon domains to obtain explicit expressions for the complex structure of the liquid region of the dimer as well as the height function and its dual.
We compute the weights and the limit shapes numerically using the Schottky uniformization technique. Simulations and predicted results match completely.
△ Less
Submitted 28 July, 2024;
originally announced July 2024.
-
Dimers and M-Curves
Authors:
Alexander I. Bobenko,
Nikolai Bobenko,
Yuri B. Suris
Abstract:
In this paper we develop a general approach to dimer models analogous to Krichever's scheme in the theory of integrable systems. We start with a Riemann surface and the simplest generic meromorphic functions on it and demonstrate how to obtain integrable dimer models. These are dimer models on doubly periodic bipartite graphs with quasi-periodic positive weights. Dimer models with periodic weights…
▽ More
In this paper we develop a general approach to dimer models analogous to Krichever's scheme in the theory of integrable systems. We start with a Riemann surface and the simplest generic meromorphic functions on it and demonstrate how to obtain integrable dimer models. These are dimer models on doubly periodic bipartite graphs with quasi-periodic positive weights. Dimer models with periodic weights and Harnack curves are recovered as a special case. This generalization from Harnack curves to general M-curves leads to transparent algebro-geometric structures. In particular explicit formulas for the Ronkin function and surface tension as integrals of meromorphic differentials on M-curves are obtained. Furthermore we describe the variational principle for the height function in the quasi-periodic case. Based on Schottky uniformizations of Riemann surfaces we present concrete computational results including computing the weights and sampling dimer configurations with them. The computational results are in complete agreement with the theoretical predictions.
△ Less
Submitted 24 July, 2024; v1 submitted 13 February, 2024;
originally announced February 2024.
-
Linear integrable systems on quad-graphs
Authors:
Alexander I. Bobenko,
Yuri B. Suris
Abstract:
In the first part of the paper, we classify linear integrable (multi-dimensionally consistent) quad-equations on bipartite isoradial quad-graphs in $\mathbb C$, enjoying natural symmetries and the property that the restriction of their solutions to the black vertices satisfies a Laplace type equation. The classification reduces to solving a functional equation. Under certain restriction, we give a…
▽ More
In the first part of the paper, we classify linear integrable (multi-dimensionally consistent) quad-equations on bipartite isoradial quad-graphs in $\mathbb C$, enjoying natural symmetries and the property that the restriction of their solutions to the black vertices satisfies a Laplace type equation. The classification reduces to solving a functional equation. Under certain restriction, we give a complete solution of the functional equation, which is expressed in terms of elliptic functions. We find two real analytic reductions, corresponding to the cases when the underlying complex torus is of a rectangular type or of a rhombic type. The solution corresponding to the rectangular type was previously found by Boutillier, de Tilière and Raschel. Using the multi-dimensional consistency, we construct the discrete exponential function, which serves as a basis of solutions of the quad-equation.
In the second part of the paper, we focus on the integrability of discrete linear variational problems. We consider discrete pluri-harmonic functions, corresponding to a discrete 2-form with a quadratic dependence on the fields at black vertices only. In an important particular case, we show that the problem reduces to a two-field generalization of the classical star-triangle map. We prove the integrability of this novel 3D system by showing its multi-dimensional consistency. The Laplacians from the first part come as a special solution of the two-field star-triangle map.
△ Less
Submitted 8 November, 2019;
originally announced November 2019.
-
Abelian Higgs Vortices and Discrete Conformal Maps
Authors:
Alexander I. Bobenko,
Ananth Sridhar
Abstract:
We establish a connection between recent developments in the study of vortices in the abelian Higgs models, and in the theory of structure-preserving discrete conformal maps. We explain how both are related via conformal mapping problems involving prescribed linear combinations of the curvature and volume form, and show how the discrete conformal theory can be used to construct discrete vortex sol…
▽ More
We establish a connection between recent developments in the study of vortices in the abelian Higgs models, and in the theory of structure-preserving discrete conformal maps. We explain how both are related via conformal mapping problems involving prescribed linear combinations of the curvature and volume form, and show how the discrete conformal theory can be used to construct discrete vortex solutions.
△ Less
Submitted 14 March, 2017;
originally announced March 2017.
-
Discrete pluriharmonic functions as solutions of linear pluri-Lagrangian systems
Authors:
A. I. Bobenko,
Yu. B. Suris
Abstract:
Pluri-Lagrangian systems are variational systems with the multi-dimensional consistency property. This notion has its roots in the theory of pluriharmonic functions, in the Z-invariant models of statistical mechanics, in the theory of variational symmetries going back to Noether and in the theory of discrete integrable systems. A $d$-dimensional pluri-Lagrangian problem can be described as follows…
▽ More
Pluri-Lagrangian systems are variational systems with the multi-dimensional consistency property. This notion has its roots in the theory of pluriharmonic functions, in the Z-invariant models of statistical mechanics, in the theory of variational symmetries going back to Noether and in the theory of discrete integrable systems. A $d$-dimensional pluri-Lagrangian problem can be described as follows: given a $d$-form $L$ on an $m$-dimensional space, $m > d$, whose coefficients depend on a function $u$ of $m$ independent variables (called field), find those fields $u$ which deliver critical points to the action functionals $S_Σ=\int_ΣL$ for any $d$-dimensional manifold $Σ$ in the $m$-dimensional space. We investigate discrete 2-dimensional linear pluri-Lagrangian systems, i.e. those with quadratic Lagrangians $L$. The action is a discrete analogue of the Dirichlet energy, and solutions are called discrete pluriharmonic functions. We classify linear pluri-Lagrangian systems with Lagrangians depending on diagonals. They are described by generalizations of the star-triangle map. Examples of more general quadratic Lagrangians are also considered.
△ Less
Submitted 12 March, 2014;
originally announced March 2014.
-
On discrete integrable equations with convex variational principles
Authors:
Alexander I. Bobenko,
Felix Günther
Abstract:
We investigate the variational structure of discrete Laplace-type equations that are motivated by discrete integrable quad-equations. In particular, we explain why the reality conditions we consider should be all that are reasonable, and we derive sufficient conditions (that are often necessary) on the labeling of the edges under which the corresponding generalized discrete action functional is co…
▽ More
We investigate the variational structure of discrete Laplace-type equations that are motivated by discrete integrable quad-equations. In particular, we explain why the reality conditions we consider should be all that are reasonable, and we derive sufficient conditions (that are often necessary) on the labeling of the edges under which the corresponding generalized discrete action functional is convex. Convexity is an essential tool to discuss existence and uniqueness of solutions to Dirichlet boundary value problems. Furthermore, we study which combinatorial data allow convex action functionals of discrete Laplace-type equations that are actually induced by discrete integrable quad-equations, and we present how the equations and functionals corresponding to (Q3) are related to circle patterns.
△ Less
Submitted 20 May, 2015; v1 submitted 27 November, 2011;
originally announced November 2011.
-
Classification of integrable discrete equations of octahedron type
Authors:
Vsevolod E. Adler,
Alexander I. Bobenko,
Yuri B. Suris
Abstract:
We use the consistency approach to classify discrete integrable 3D equations of the octahedron type. They are naturally treated on the root lattice $Q(A_3)$ and are consistent on the multidimensional lattice $Q(A_N)$. Our list includes the most prominent representatives of this class, the discrete KP equation and its Schwarzian (multi-ratio) version, as well as three further equations. The combina…
▽ More
We use the consistency approach to classify discrete integrable 3D equations of the octahedron type. They are naturally treated on the root lattice $Q(A_3)$ and are consistent on the multidimensional lattice $Q(A_N)$. Our list includes the most prominent representatives of this class, the discrete KP equation and its Schwarzian (multi-ratio) version, as well as three further equations. The combinatorics and geometry of the octahedron type equations are explained. In particular, the consistency on the 4-dimensional Delaunay cells has its origin in the classical Desargues theorem of projective geometry. The main technical tool used for the classification is the so called tripodal form of the octahedron type equations.
△ Less
Submitted 15 November, 2010;
originally announced November 2010.
-
On the Lagrangian structure of integrable quad-equations
Authors:
Alexander I. Bobenko,
Yuri B. Suris
Abstract:
The new idea of flip invariance of action functionals in multidimensional lattices was recently highlighted as a key feature of discrete integrable systems. Flip invariance was proved for several particular cases of integrable quad-equations by Bazhanov, Mangazeev and Sergeev and by Lobb and Nijhoff. We provide a simple and case-independent proof for all integrable quad-equations. Moreover, we f…
▽ More
The new idea of flip invariance of action functionals in multidimensional lattices was recently highlighted as a key feature of discrete integrable systems. Flip invariance was proved for several particular cases of integrable quad-equations by Bazhanov, Mangazeev and Sergeev and by Lobb and Nijhoff. We provide a simple and case-independent proof for all integrable quad-equations. Moreover, we find a new relation for Lagrangians within one elementary quadrilateral which seems to be a fundamental building block of the various versions of flip invariance.
△ Less
Submitted 21 February, 2010; v1 submitted 14 December, 2009;
originally announced December 2009.
-
Linear and nonlinear theories of discrete analytic functions. Integrable structure and isomonodromic Green's function
Authors:
Alexander I. Bobenko,
Christian Mercat,
Yuri B. Suris
Abstract:
Two discretizations, linear and nonlinear, of basic notions of the complex analysis are considered. The underlying lattice is an arbitrary quasicrystallic rhombic tiling of a plane. The linear theory is based on the discrete Cauchy-Riemann equations, the nonlinear one is based on the notion of circle patterns. We clarify the role of the rhombic condition in both theories: under this condition th…
▽ More
Two discretizations, linear and nonlinear, of basic notions of the complex analysis are considered. The underlying lattice is an arbitrary quasicrystallic rhombic tiling of a plane. The linear theory is based on the discrete Cauchy-Riemann equations, the nonlinear one is based on the notion of circle patterns. We clarify the role of the rhombic condition in both theories: under this condition the corresponding equations are integrable (in the sense of 3D consistency, which yields also the existense of zero curvature representations, B"acklund transformations etc.). We demonstrate that in some precise sense the linear theory is a linearization of the nonlinear one: the tangent space to a set of integrable circle patterns at an isoradial point consists of discrete holomorphic functions which take real (imaginary) values on two sublattices. We extend solutions of the basic equations of both theories to Z^d, where d is the number of different edge slopes of the quasicrystallic tiling. In the linear theory, we give an integral representation of an arbitrary discrete holomorphic function, thus proving the density of discrete exponential functions. We introduce the d-dimensional discrete logarithmic function which is a generalization of Kenyon's discrete Green's function, and uncover several new properties of this function. We prove that it is an isomonodromic solution of the discrete Cauchy-Riemann equations, and that it is a tangent vector to the space of integrable circle patterns along the family of isomonodromic discrete power functions.
△ Less
Submitted 6 February, 2004;
originally announced February 2004.
-
Geometry of Yang--Baxter maps: pencils of conics and quadrirational mappings
Authors:
V. E. Adler,
A. I. Bobenko,
Yu. B. Suris
Abstract:
Birational Yang-Baxter maps (`set-theoretical solutions of the Yang-Baxter equation') are considered. A birational map $(x,y)\mapsto(u,v)$ is called quadrirational, if its graph is also a graph of a birational map $(x,v)\mapsto(u,y)$. We obtain a classification of quadrirational maps on $\CP^1\times\CP^1$, and show that all of them satisfy the Yang-Baxter equation. These maps possess a nice geom…
▽ More
Birational Yang-Baxter maps (`set-theoretical solutions of the Yang-Baxter equation') are considered. A birational map $(x,y)\mapsto(u,v)$ is called quadrirational, if its graph is also a graph of a birational map $(x,v)\mapsto(u,y)$. We obtain a classification of quadrirational maps on $\CP^1\times\CP^1$, and show that all of them satisfy the Yang-Baxter equation. These maps possess a nice geometric interpretation in terms of linear pencil of conics, the Yang-Baxter property being interpreted as a new incidence theorem of the projective geometry of conics.
△ Less
Submitted 1 July, 2003;
originally announced July 2003.
-
Exploring Surfaces through Methods from the Theory of Integrable Systems. lectures on the Bonnet problem
Authors:
Alexander I. Bobenko
Abstract:
A generic surface in Euclidean 3-space is determined uniquely by its metric and curvature. Classification of all special surfaces where this is not the case, i.e. of surfaces possessing isometries which preserve the mean curvature, is known as the Bonnet problem. Regarding the Bonnet problem, we show how analytic methods of the theory of integrable systems
-- such as finite-gap integration, iso…
▽ More
A generic surface in Euclidean 3-space is determined uniquely by its metric and curvature. Classification of all special surfaces where this is not the case, i.e. of surfaces possessing isometries which preserve the mean curvature, is known as the Bonnet problem. Regarding the Bonnet problem, we show how analytic methods of the theory of integrable systems
-- such as finite-gap integration, isomonodromic deformation, and loop group description -- can be applied for studying global properties of special surfaces.
This paper presents the contents of the lectures given at the School on
Differential Geometry on 12-30 April 1999 at the Abdus Salam International
Centre for Theoretical Physics (ICTP), Trieste.
△ Less
Submitted 1 September, 1999;
originally announced September 1999.
-
Discrete Lagrangian reduction, discrete Euler-Poincare equations, and semidirect products
Authors:
Alexander I. Bobenko,
Yuri B. Suris
Abstract:
A discrete version of Lagrangian reduction is developed in the context of discrete time Lagrangian systems on $G\times G$, where $G$ is a Lie group. We consider the case when the Lagrange function is invariant with respect to the action of an isotropy subgroup of a fixed element in the representation space of $G$. In this context the reduction of the discrete Euler-Lagrange equations is shown to…
▽ More
A discrete version of Lagrangian reduction is developed in the context of discrete time Lagrangian systems on $G\times G$, where $G$ is a Lie group. We consider the case when the Lagrange function is invariant with respect to the action of an isotropy subgroup of a fixed element in the representation space of $G$. In this context the reduction of the discrete Euler-Lagrange equations is shown to lead to the so called discrete Euler-Poincaré equations. A constrained variational principle is derived. The Legendre transformation of the discrete Euler-Poincaré equations leads to discrete Hamiltonian (Lie-Poisson) systems on a dual space to a semiproduct Lie algebra.
△ Less
Submitted 15 June, 1999;
originally announced June 1999.
