Showing 1–25 of 25 results for author: Chelkak, D

Bipartite dimer model: perfect t-embeddings and Lorentz-minimal surfaces

Authors: Dmitry Chelkak, Benoît Laslier, Marianna Russkikh

Abstract: This is the second paper in the series devoted to the study of the dimer model on t-embeddings of planar bipartite graphs. We introduce the notion of perfect t-embeddings and assume that the graphs of the associated origami maps converge to a Lorentz-minimal surface $\mathrm{S}_ξ$ as $δ\to 0$. In this setup we prove (under very mild technical assumptions) that the gradients of the height correlati… ▽ More This is the second paper in the series devoted to the study of the dimer model on t-embeddings of planar bipartite graphs. We introduce the notion of perfect t-embeddings and assume that the graphs of the associated origami maps converge to a Lorentz-minimal surface $\mathrm{S}_ξ$ as $δ\to 0$. In this setup we prove (under very mild technical assumptions) that the gradients of the height correlation functions converge to those of the Gaussian Free Field defined in the intrinsic metric of the surface $\mathrm{S}_ξ$. We also formulate several open questions motivated by our work. △ Less

Submitted 13 September, 2021; originally announced September 2021.

Comments: 39 pages, 3 figures

MSC Class: 82B20; 30G25; 53A10

Universality of spin correlations in the Ising model on isoradial graphs

Authors: Dmitry Chelkak, Konstantin Izyurov, Rémy Mahfouf

Abstract: We prove universality of spin correlations in the scaling limit of the planar Ising model on isoradial graphs with uniformly bounded angles and Z-invariant weights. Specifically, we show that in the massive scaling limit, i.e., as the mesh size $δ$ tends to zero at the same rate as the inverse temperature goes to the critical one, the two-point spin correlations in the full plane behave as \[ δ^{-… ▽ More We prove universality of spin correlations in the scaling limit of the planar Ising model on isoradial graphs with uniformly bounded angles and Z-invariant weights. Specifically, we show that in the massive scaling limit, i.e., as the mesh size $δ$ tends to zero at the same rate as the inverse temperature goes to the critical one, the two-point spin correlations in the full plane behave as \[ δ^{-\frac{1}{4}}\mathbb{E}\left[σ_{u_{1}}σ_{u_{2}}\right]\ \to\ C_σ^{2}\cdotΞ\left(|u_{1}-u_{2}|,m\right)\quad\text{as}\quadδ\to0, \] where the universal constant $C_σ$ and the function $Ξ(|u_{1}-u_{2}|,m)$ are independent of the lattice. The mass $m$ is defined by the relation $k'-1\sim 4mδ$, where $k'$ is the Baxter elliptic parameter. This includes $m$ of both signs as well as the critical case when $Ξ(r,0)=r^{-1/4}.$ These results, together with techniques developed to obtain them, are sufficient to extend to isoradial graphs the convergence of multi-point spin correlations in finite planar domains on the square grid, which was established in a joint work of the first two authors and C. Hongler at criticality, and by S.C. Park in the sub-critical massive regime. We also give a simple proof of the fact that the infinite-volume magnetization in the Z-invariant model is independent of the site and of the lattice. As compared to techniques already existing in the literature, we streamline the analysis of discrete (massive) holomorphic spinors near their ramification points, relying only upon discrete analogues of the kernel $z^{-1/2}$ for $m=0$ and of $z^{-1/2}e^{\pm 2m|z|}$ for $m\ne 0$. Enabling the generalization to isoradial graphs and providing a solid ground for further generalizations, our approach also considerably simplifies the proofs in the square lattice setup. △ Less

Submitted 26 April, 2021; originally announced April 2021.

Comments: 59 pages, several figures

Correlations of primary fields in the critical Ising model

Authors: Dmitry Chelkak, Clément Hongler, Konstantin Izyurov

Abstract: We prove convergence of renormalized correlations of primary fields, i. e., spins, disorders, fermions and energy densities, in the scaling limit of the critical Ising model in arbitrary finitely connected domains, with fixed (plus or minus) or free boundary conditions, or mixture thereof. We describe the limits of correlations in terms of solutions of Riemann boundary value problems, and prove th… ▽ More We prove convergence of renormalized correlations of primary fields, i. e., spins, disorders, fermions and energy densities, in the scaling limit of the critical Ising model in arbitrary finitely connected domains, with fixed (plus or minus) or free boundary conditions, or mixture thereof. We describe the limits of correlations in terms of solutions of Riemann boundary value problems, and prove their conformal covariance. Moreover, we prove fusion rules, or operator product expansions, which describe asymptotics of the scaling limits of the correlations as some of the points collide together. We give explicit formulae for correlations in the case of simply-connected and doubly-connected domains. Our presentation is self-contained, and the proofs are simplified as compared to the previous work where particular cases are treated. △ Less

Submitted 23 February, 2022; v1 submitted 18 March, 2021; originally announced March 2021.

Comments: 94 pages. Preliminary version. Theorem 7.1 stated and proven in a more general form. Acknowledgements added

MSC Class: 82B20; 82B27

Ising model and s-embeddings of planar graphs

Authors: Dmitry Chelkak

Abstract: We discuss the notion of s-embeddings $\mathcal{S}=\mathcal{S}_\mathcal{X}$ of planar graphs carrying a nearest-neighbor Ising model. The construction of $\mathcal{S}_\mathcal{X}$ is based upon a choice of a global complex-valued solution $\mathcal{X}$ of the propagation equation for Kadanoff-Ceva fermions. Each choice of $\mathcal{X}$ provides an interpretation of all other fermionic observables… ▽ More We discuss the notion of s-embeddings $\mathcal{S}=\mathcal{S}_\mathcal{X}$ of planar graphs carrying a nearest-neighbor Ising model. The construction of $\mathcal{S}_\mathcal{X}$ is based upon a choice of a global complex-valued solution $\mathcal{X}$ of the propagation equation for Kadanoff-Ceva fermions. Each choice of $\mathcal{X}$ provides an interpretation of all other fermionic observables as s-holomorphic functions on $\mathcal{S}_\mathcal{X}$. We set up a general framework for the analysis of such functions on s-embeddings $\mathcal{S}^δ$ with $δ\to 0$. Throughout this analysis, a key role is played by the functions $\mathcal{Q}^δ$ associated with $\mathcal{S}^δ$, the so-called origami maps in the bipartite dimer model terminology. In particular, we give an interpretation of the mean curvature of the limit of discrete surfaces $(\mathcal{S}^δ;\mathcal{Q}^δ)$ viewed in the Minkowski space $\mathbb R^{2,1}$ as the mass in the Dirac equation describing the continuous limit of the model. We then focus on the simplest situation when $\mathcal{S}^δ$ have uniformly bounded lengths/angles and $\mathcal{Q}^δ=O(δ)$; as a particular case this includes all critical Ising models on doubly periodic graphs via their canonical s-embeddings. In this setup we prove RSW-type crossing estimates for the random cluster representation of the model and the convergence of basic fermionic observables. The proof relies upon a new strategy as compared to the already existing literature, it also provides a quantitative estimate on the speed of convergence. △ Less

Submitted 7 November, 2022; v1 submitted 25 June, 2020; originally announced June 2020.

Comments: 70 pages, 10 figures. Changes in this version: assumption Exp-Fat clarified, Section 2.7 (discussion of the non-flat setup) extended + minor changes throughout the text

MSC Class: Primary 82B20; Secondary 30G25; 60J67; 81T40

Fluctuations in the Aztec diamonds via a space-like maximal surface in Minkowski 3-space

Authors: Dmitry Chelkak, Sanjay Ramassamy

Abstract: We provide a new description of the scaling limit of dimer fluctuations in homogeneous Aztec diamonds via the intrinsic conformal structure of a space-like maximal surface in the three-dimensional Minkowski space $\mathbb{R}^{2,1}$. This surface naturally appears as the limit of the graphs of origami maps associated to symmetric t-embeddings of Aztec diamonds, fitting the framework recently develo… ▽ More We provide a new description of the scaling limit of dimer fluctuations in homogeneous Aztec diamonds via the intrinsic conformal structure of a space-like maximal surface in the three-dimensional Minkowski space $\mathbb{R}^{2,1}$. This surface naturally appears as the limit of the graphs of origami maps associated to symmetric t-embeddings of Aztec diamonds, fitting the framework recently developed in arXiv:2109.06272. △ Less

Submitted 24 May, 2024; v1 submitted 18 February, 2020; originally announced February 2020.

Comments: 13 pages, 6 figures. Final version accepted for publication in Confluentes Mathematici

Journal ref: Confluentes Math., 16, 1-17, 2024

Dimer model and holomorphic functions on t-embeddings of planar graphs

Authors: Dmitry Chelkak, Benoît Laslier, Marianna Russkikh

Abstract: We introduce the framework of discrete holomorphic functions on t-embeddings of weighted bipartite planar graphs; t-embeddings also appeared under the name Coulomb gauges in a recent paper arXiv:1810.05616. We argue that this framework is particularly relevant for the analysis of scaling limits of the height fluctuations in the corresponding dimer models. In particular, it unifies both Kenyon's in… ▽ More We introduce the framework of discrete holomorphic functions on t-embeddings of weighted bipartite planar graphs; t-embeddings also appeared under the name Coulomb gauges in a recent paper arXiv:1810.05616. We argue that this framework is particularly relevant for the analysis of scaling limits of the height fluctuations in the corresponding dimer models. In particular, it unifies both Kenyon's interpretation of dimer observables as derivatives of harmonic functions on T-graphs and the notion of s-holomorphic functions originated in Smirnov's work on the critical Ising model. We develop an a priori regularity theory for such functions and provide a meta-theorem on convergence of the height fluctuations to the Gaussian Free Field. We also discuss how several more standard discretizations of complex analysis fit this general framework. △ Less

Submitted 7 November, 2022; v1 submitted 31 January, 2020; originally announced January 2020.

Comments: 79 pages, 17 figures. Changes in this version: assumption Exp-Fat clarified, proof of Proposition 6.4 extended, several figures redrawn/added, throughout editing (+ layout changed and Appendix is renamed as Section 8)

MSC Class: 82B20; 30G25

Magnetization in the zig-zag layered Ising model and orthogonal polynomials

Authors: Dmitry Chelkak, Clément Hongler, Rémy Mahfouf

Abstract: We discuss the magnetization $M_m$ in the $m$-th column of the zig-zag layered 2D Ising model on a half-plane using Kadanoff-Ceva fermions and orthogonal polynomials techniques. Our main result gives an explicit representation of $M_m$ via $m\times m$ Hankel determinants constructed from the spectral measure of a certain Jacobi matrix which encodes the interaction parameters between the columns. W… ▽ More We discuss the magnetization $M_m$ in the $m$-th column of the zig-zag layered 2D Ising model on a half-plane using Kadanoff-Ceva fermions and orthogonal polynomials techniques. Our main result gives an explicit representation of $M_m$ via $m\times m$ Hankel determinants constructed from the spectral measure of a certain Jacobi matrix which encodes the interaction parameters between the columns. We also illustrate our approach by giving short proofs of the classical Kaufman-Onsager-Yang and McCoy-Wu theorems in the homogeneous setup and expressing $M_m$ as a Toeplitz+Hankel determinant for the homogeneous sub-critical model in presence of a boundary magnetic field. △ Less

Submitted 26 December, 2022; v1 submitted 19 April, 2019; originally announced April 2019.

Comments: v4: minor editing, version accepted for publication

MSC Class: 82B20; 47B36; 33C47

On the convergence of massive loop-erased random walks to massive SLE(2) curves

Authors: Dmitry Chelkak, Yijun Wan

Abstract: Following the strategy proposed by Makarov and Smirnov in arXiv:0909.5377, we provide technical details for the proof of convergence of massive loop-erased random walks to the chordal mSLE(2) process. As no follow-up of arXiv:0909.5377 appeared since then, we believe that such a treatment might be of interest for the community. We do not require any regularity of the limiting planar domain $Ω$ nea… ▽ More Following the strategy proposed by Makarov and Smirnov in arXiv:0909.5377, we provide technical details for the proof of convergence of massive loop-erased random walks to the chordal mSLE(2) process. As no follow-up of arXiv:0909.5377 appeared since then, we believe that such a treatment might be of interest for the community. We do not require any regularity of the limiting planar domain $Ω$ near its degenerate prime ends $a$ and $b$ except that $(Ω^δ,a^δ,b^δ)$ are assumed to be `close discrete approximations' to $(Ω,a,b)$ near $a$ and $b$ in the sense of a recent work arXiv:1810.05608. △ Less

Submitted 4 March, 2021; v1 submitted 19 March, 2019; originally announced March 2019.

Comments: minor updates; 36 pages, 3 figures

MSC Class: 60Dxx; 82B20

Tau-functions à la Dubédat and probabilities of cylindrical events for double-dimers and CLE(4)

Authors: Mikhail Basok, Dmitry Chelkak

Abstract: Building upon recent results of Dubédat (see arXiv:1403.6076) on the convergence of topological correlators in the double-dimer model considered on Temperleyan approximations $Ω^δ$ to a simply connected domain $Ω\subset\mathbb C$ we prove the convergence of probabilities of cylindrical events for the \emph{double-dimer loop ensembles} on $Ω^δ$ as $δ\to 0$. More precisely, let $λ_1,\dots,λ_n\inΩ$ a… ▽ More Building upon recent results of Dubédat (see arXiv:1403.6076) on the convergence of topological correlators in the double-dimer model considered on Temperleyan approximations $Ω^δ$ to a simply connected domain $Ω\subset\mathbb C$ we prove the convergence of probabilities of cylindrical events for the \emph{double-dimer loop ensembles} on $Ω^δ$ as $δ\to 0$. More precisely, let $λ_1,\dots,λ_n\inΩ$ and $L$ be a macroscopic lamination on $Ω\setminus\{λ_1,\dots,λ_n\}$, i.e., a collection of disjoint simple loops surrounding at least two punctures considered up to homotopies. We show that the probabilities $P_L^δ$ that one obtains $L$ after withdrawing all loops surrounding no more than one puncture from a double-dimer loop ensemble on $Ω^δ$ converge to a conformally invariant limit $P_L$ as $δ\to 0$, for each $L$. Though our primary motivation comes from 2D statistical mechanics and probability, the proofs are of a purely analytic nature. The key techniques are the analysis of entire functions on the representation variety $\mathrm{Hom}(π_1(Ω\setminus\{λ_1,\dots,λ_n\})\to\mathrm{SL}_2(\mathbb C))$ and on its (non-smooth) subvariety of locally unipotent representations. In particular, we do \emph{not} use any RSW-type arguments for double-dimers. The limits $P_L$ of the probabilities $P_L^δ$ are defined as coefficients of the isomonodormic tau-function studied by Dubédat with respect to the Fock--Goncharov lamination basis on the representation variety. The fact that $P_L$ coincides with the probability to obtain $L$ from a sample of the nested CLE(4) in $Ω$ requires a small additional input, namely a mild crossing estimate for this nested conformal loop ensemble. △ Less

Submitted 10 September, 2020; v1 submitted 3 September, 2018; originally announced September 2018.

Comments: minor update following referee's comments (42 pages, 5 figures)

MSC Class: 82B20; 34M56; 32A15

Planar Ising model at criticality: state-of-the-art and perspectives

Authors: Dmitry Chelkak

Abstract: In this essay, we briefly discuss recent developments, started a decade ago in the seminal work of Smirnov and continued by a number of authors, centered around the conformal invariance of the critical planar Ising model on $\mathbb{Z}^2$ and, more generally, of the critical Z-invariant Ising model on isoradial graphs (rhombic lattices). We also introduce a new class of embeddings of general weigh… ▽ More In this essay, we briefly discuss recent developments, started a decade ago in the seminal work of Smirnov and continued by a number of authors, centered around the conformal invariance of the critical planar Ising model on $\mathbb{Z}^2$ and, more generally, of the critical Z-invariant Ising model on isoradial graphs (rhombic lattices). We also introduce a new class of embeddings of general weighted planar graphs (s-embeddings), which might, in particular, pave the way to true universality results for the planar Ising model. △ Less

Submitted 8 February, 2018; v1 submitted 12 December, 2017; originally announced December 2017.

Comments: 19 pages (+ references), prepared for the Proceedings of ICM2018. Second version: two references added, a few misprints fixed

2D Ising model: correlation functions at criticality via Riemann-type boundary value problems

Authors: Dmitry Chelkak

Abstract: In this note we overview recent convergence results for correlations in the critical planar nearest-neighbor Ising model. We start with a short discussion of the combinatorics of the model and a definition of fermionic and spinor observables. After that, we illustrate our approach to spin correlations by a derivation of two classical explicit formulae in the infinite-volume limit. Then we describe… ▽ More In this note we overview recent convergence results for correlations in the critical planar nearest-neighbor Ising model. We start with a short discussion of the combinatorics of the model and a definition of fermionic and spinor observables. After that, we illustrate our approach to spin correlations by a derivation of two classical explicit formulae in the infinite-volume limit. Then we describe the convergence results (as the mesh size tends to zero, in arbitrary planar domains) for fermionic correlators, energy-density and spin expectations. Finally, we discuss scaling limits of mixed correlators involving spins, disorders and fermions, and the classical fusion rules for them. △ Less

Submitted 19 November, 2017; v1 submitted 29 May, 2016; originally announced May 2016.

Comments: 20 pages, Proceedings of the 7ECM. Tiny changes in the notation/normalizations to keep the paper consistent with other texts

MSC Class: Primary 82B20; Secondary 30G25; 81T40

Discrete stress-energy tensor in the loop O(n) model

Authors: Dmitry Chelkak, Alexander Glazman, Stanislav Smirnov

Abstract: We study the loop $O(n)$ model on the honeycomb lattice. By means of local non-planar deformations of the lattice, we construct a discrete stress-energy tensor. For $n\in [0,2]$, it gives a new observable satisfying a part of Cauchy-Riemann equations. We conjecture that it is approximately discrete-holomorphic and converges to the stress-energy tensor in the continuum, which is known to be a holom… ▽ More We study the loop $O(n)$ model on the honeycomb lattice. By means of local non-planar deformations of the lattice, we construct a discrete stress-energy tensor. For $n\in [0,2]$, it gives a new observable satisfying a part of Cauchy-Riemann equations. We conjecture that it is approximately discrete-holomorphic and converges to the stress-energy tensor in the continuum, which is known to be a holomorphic function with the Schwarzian conformal covariance. In support of this conjecture, we prove it for the case of $n=1$ which corresponds to the Ising model. Moreover, in this case, we show that the correlations of the discrete stress-energy tensor with primary fields converge to their continuous counterparts, which satisfy the OPEs given by the CFT with central charge $c=1/2$. Proving the conjecture for other values of $n$ remains a challenge. In particular, this would open a road to establishing the convergence of the interface to the corresponding $\mathrm{SLE}_κ$ in the scaling limit. △ Less

Submitted 4 January, 2025; v1 submitted 21 April, 2016; originally announced April 2016.

Comments: Most of Sections 1-3 got rewritten, a number of edits in Sections 4-5, Section 6 has been added. The results stayed the same

MSC Class: 82B20

Revisiting the combinatorics of the 2D Ising model

Authors: Dmitry Chelkak, David Cimasoni, Adrien Kassel

Abstract: We provide a concise exposition with original proofs of combinatorial formulas for the 2D Ising model partition function, multi-point fermionic observables, spin and energy density correlations, for general graphs and interaction constants, using the language of Kac-Ward matrices. We also give a brief account of the relations between various alternative formalisms which have been used in the combi… ▽ More We provide a concise exposition with original proofs of combinatorial formulas for the 2D Ising model partition function, multi-point fermionic observables, spin and energy density correlations, for general graphs and interaction constants, using the language of Kac-Ward matrices. We also give a brief account of the relations between various alternative formalisms which have been used in the combinatorial study of the planar Ising model: dimers and Grassmann variables, spin and disorder operators, and, more recently, s-holomorphic observables. In addition, we point out that these formulas can be extended to the double-Ising model, defined as a pointwise product of two Ising spin configurations on the same discrete domain, coupled along the boundary. △ Less

Submitted 23 August, 2017; v1 submitted 29 July, 2015; originally announced July 2015.

Comments: Minor change in the notation (definition of eta). 55 pages, 4 figures

Journal ref: Ann. Inst. Henri Poincaré (D) Comb. Phys. Interact. (2017), 4 (3), pp. 309--385

Crossing probabilities in topological rectangles for the critical planar FK-Ising model

Authors: Dmitry Chelkak, Hugo Duminil-Copin, Clément Hongler

Abstract: We consider the FK-Ising model in two dimensions at criticality. We obtain bounds on crossing probabilities of arbitrary topological rectangles, uniform with respect to the boundary conditions, generalizing results of [DCHN11] and [CS12]. Our result relies on new discrete complex analysis techniques, introduced in [Che12]. We detail some applications, in particular the computation of so-called uni… ▽ More We consider the FK-Ising model in two dimensions at criticality. We obtain bounds on crossing probabilities of arbitrary topological rectangles, uniform with respect to the boundary conditions, generalizing results of [DCHN11] and [CS12]. Our result relies on new discrete complex analysis techniques, introduced in [Che12]. We detail some applications, in particular the computation of so-called universal exponents, the proof of quasi-multiplicativity properties of arm probabilities, and bounds on crossing probabilities for the classical Ising model. △ Less

Submitted 30 December, 2013; originally announced December 2013.

Comments: 27 pages, 4 figures

Convergence of Ising interfaces to Schramm's SLE curves

Authors: Dmitry Chelkak, Hugo Duminil-Copin, Clément Hongler, Antti Kemppainen, Stanislav Smirnov

Abstract: We show how to combine our earlier results to deduce strong convergence of the interfaces in the planar critical Ising model and its random-cluster representation to Schramm's SLE curves with parameter $κ=3$ and $κ=16/3$ respectively. We show how to combine our earlier results to deduce strong convergence of the interfaces in the planar critical Ising model and its random-cluster representation to Schramm's SLE curves with parameter $κ=3$ and $κ=16/3$ respectively. △ Less

Submitted 31 December, 2013; v1 submitted 2 December, 2013; originally announced December 2013.

Comments: 7 pages

Conformal Invariance of Spin Correlations in the Planar Ising Model

Authors: Dmitry Chelkak, Clément Hongler, Konstantin Izyurov

Abstract: We rigorously prove the existence and the conformal invariance of scaling limits of the magnetization and multi-point spin correlations in the critical Ising model on arbitrary simply connected planar domains. This solves a number of conjectures coming from the physical and the mathematical literature. The proof relies on convergence results for discrete holomorphic spinor observables and probabil… ▽ More We rigorously prove the existence and the conformal invariance of scaling limits of the magnetization and multi-point spin correlations in the critical Ising model on arbitrary simply connected planar domains. This solves a number of conjectures coming from the physical and the mathematical literature. The proof relies on convergence results for discrete holomorphic spinor observables and probabilistic techniques. △ Less

Submitted 15 July, 2014; v1 submitted 13 February, 2012; originally announced February 2012.

Comments: Changes in this version: the explicit formula for n-point spin correlations is proved in full generality. The appendix is rewritten completely and contains this new proof, the introduction is changed accordingly, the presentation in Sections 2.5 and 2.7(2.8) is rearranged slightly. 42 pages, 2 figures

Holomorphic Spinor Observables in the Critical Ising Model

Authors: Dmitry Chelkak, Konstantin Izyurov

Abstract: We introduce a new version of discrete holomorphic observables for the critical planar Ising model. These observables are holomorphic spinors defined on double covers of the original multiply connected domain. We compute their scaling limits, and show their relation to the ratios of spin correlations, thus providing a rigorous proof to a number of formulae for those ratios predicted by CFT argumen… ▽ More We introduce a new version of discrete holomorphic observables for the critical planar Ising model. These observables are holomorphic spinors defined on double covers of the original multiply connected domain. We compute their scaling limits, and show their relation to the ratios of spin correlations, thus providing a rigorous proof to a number of formulae for those ratios predicted by CFT arguments. △ Less

Submitted 4 January, 2013; v1 submitted 28 May, 2011; originally announced May 2011.

Comments: Significantly revised version (29 pages, 4 figures): the introduction is rewritten, the main convergence theorem is divided into two (Theorems 3.13 and 3.16 now), several improvements and rearrangements are made in Sections 3 and 4, the results of Section 5 are written in a slightly greater generality

Universality in the 2D Ising model and conformal invariance of fermionic observables

Authors: Dmitry Chelkak, Stanislav Smirnov

Abstract: It is widely believed that the celebrated 2D Ising model at criticality has a universal and conformally invariant scaling limit, which is used in deriving many of its properties. However, no mathematical proof of universality and conformal invariance has ever been given, and even physics arguments support (a priori weaker) Möbius invariance. We introduce discrete holomorphic fermions for the 2D Is… ▽ More It is widely believed that the celebrated 2D Ising model at criticality has a universal and conformally invariant scaling limit, which is used in deriving many of its properties. However, no mathematical proof of universality and conformal invariance has ever been given, and even physics arguments support (a priori weaker) Möbius invariance. We introduce discrete holomorphic fermions for the 2D Ising model at criticality on a large family of planar graphs. We show that on bounded domains with appropriate boundary conditions, those have universal and conformally invariant scaling limits, thus proving the universality and conformal invariance conjectures. △ Less

Submitted 16 May, 2011; v1 submitted 11 October, 2009; originally announced October 2009.

Comments: 52 pages, 11 figures. Minor changes + two important ones: a) Section 3.4 (a priori Harnack principle for H) added; b) Section 5 (spin-observable convergence) simplified and rewritten (boundary Harnack principle added, solution in the half-plane simplified)

MSC Class: 82B20 (Primary); 60K35; 30G25; 31C20; 81T40 (Secondary)

Weyl-Titchmarsh functions of vector-valued Sturm-Liouville operators on the unit interval

Authors: Dmitry Chelkak, Evgeny Korotyaev

Abstract: The matrix-valued Weyl-Titchmarsh functions $M(λ)$ of vector-valued Sturm-Liouville operators on the unit interval with the Dirichlet boundary conditions are considered. The collection of the eigenvalues (i.e., poles of $M(λ)$) and the residues of $M(λ)$ is called the spectral data of the operator. The complete characterization of spectral data (or, equivalently, $N\times N$ Weyl-Titchmarsh func… ▽ More The matrix-valued Weyl-Titchmarsh functions $M(λ)$ of vector-valued Sturm-Liouville operators on the unit interval with the Dirichlet boundary conditions are considered. The collection of the eigenvalues (i.e., poles of $M(λ)$) and the residues of $M(λ)$ is called the spectral data of the operator. The complete characterization of spectral data (or, equivalently, $N\times N$ Weyl-Titchmarsh functions) corresponding to $N\times N$ self-adjoint square-integrable matrix-valued potentials is given, if all $N$ eigenvalues of the averaged potential are distinct. △ Less

Submitted 4 September, 2008; v1 submitted 19 August, 2008; originally announced August 2008.

Comments: 34 pages; typos corrected

MSC Class: 34A55 (Primary) 34B24; 47E05 (Secondary)

The inverse problem for perturbed harmonic oscillator on the half-line with Dirichlet boundary conditions

Authors: Dmitry Chelkak, Evgeny Korotyaev

Abstract: We consider the perturbed harmonic oscillator $T_Dψ=-ψ''+x^2ψ+q(x)ψ$, $ψ(0)=0$, in $L^2(\R_+)$, where $q\in\bH_+=\{q', xq\in L^2(\R_+)\}$ is a real-valued potential. We prove that the mapping $q\mapsto{\rm spectral data}={\rm \{eigenvalues of\}T_D{\rm \}}\oplus{\rm \{norming constants\}}$ is one-to-one and onto. The complete characterization of the set of spectral data which corresponds to… ▽ More We consider the perturbed harmonic oscillator $T_Dψ=-ψ''+x^2ψ+q(x)ψ$, $ψ(0)=0$, in $L^2(\R_+)$, where $q\in\bH_+=\{q', xq\in L^2(\R_+)\}$ is a real-valued potential. We prove that the mapping $q\mapsto{\rm spectral data}={\rm \{eigenvalues of\}T_D{\rm \}}\oplus{\rm \{norming constants\}}$ is one-to-one and onto. The complete characterization of the set of spectral data which corresponds to $q\in\bH_+$ is given. △ Less

Submitted 31 July, 2006; originally announced July 2006.

MSC Class: 81Q10 (34A55 34L40 47E05 47J99)

The inverse Sturm-Liouville problem with mixed boundary conditions

Authors: Dmitri Chelkak, Evgeny Korotyaev

Abstract: Consider the operator $H\p=-\p''+q\p=ł\p$, $\p(0)=0$, $\p'(1)+b\p(1)=0$ acting in $L^2(0,1)$, where $q\in L^2(0,1)$ is a real potential. Let $ł_n(q,b)$, $n\ge 0$, be the eigenvalues of $H$ and $\n_n(q,b)$ be the so-called norming constants. We give a complete characterization of all spectral data $(\{ł_n\}_0^\iy;\{\n_n\}_0^\iy)$ that correspond to $(q;b)\in L^2(0,1)\ts\R$. If $b$ is fixed, then… ▽ More Consider the operator $H\p=-\p''+q\p=ł\p$, $\p(0)=0$, $\p'(1)+b\p(1)=0$ acting in $L^2(0,1)$, where $q\in L^2(0,1)$ is a real potential. Let $ł_n(q,b)$, $n\ge 0$, be the eigenvalues of $H$ and $\n_n(q,b)$ be the so-called norming constants. We give a complete characterization of all spectral data $(\{ł_n\}_0^\iy;\{\n_n\}_0^\iy)$ that correspond to $(q;b)\in L^2(0,1)\ts\R$. If $b$ is fixed, then we obtain a similar characterization and parameterize the iso-spectral manifolds. △ Less

Submitted 31 July, 2006; originally announced July 2006.

MSC Class: 34A55 (34B24 34L05 34L20 47E05)

Parametrization of the isospectral set for the vector-valued Sturm-Liouville problem

Authors: Dmitry Chelkak, Evgeny Korotyaev

Abstract: We obtain a parametrization of the isospectral set of matrix-valued potentials for the vector-valued Sturm-Liouville problem on a finite interval. We obtain a parametrization of the isospectral set of matrix-valued potentials for the vector-valued Sturm-Liouville problem on a finite interval. △ Less

Submitted 31 July, 2006; originally announced July 2006.

MSC Class: 34A55; 34B24

Inverse spectral analysis for finite matrix-valued Jacobi operators

Authors: Jochen Brüning, Dmitry Chelkak, Evgeny Korotyaev

Abstract: Consider the Jacobi operators $\cJ$ given by $(\cJ y)_n=a_ny_{n+1}+b_ny_n+a_{n-1}^*y_{n-1}$, $y_n\in \C^m$ (here $y_0=y_{p+1}=0$), where $b_n=b_n^*$ and $a_n:\det a_n\ne 0$ are the sequences of $m\ts m$ matrices, $n=1,..,p$. We study two cases: (i) $a_n=a_n^*>0$; (ii) $a_n$ is a lower triangular matrix with real positive entries on the diagonal (the matrix $\cJ$ is $(2m+1)$-band $mp\ts mp$ matri… ▽ More Consider the Jacobi operators $\cJ$ given by $(\cJ y)_n=a_ny_{n+1}+b_ny_n+a_{n-1}^*y_{n-1}$, $y_n\in \C^m$ (here $y_0=y_{p+1}=0$), where $b_n=b_n^*$ and $a_n:\det a_n\ne 0$ are the sequences of $m\ts m$ matrices, $n=1,..,p$. We study two cases: (i) $a_n=a_n^*>0$; (ii) $a_n$ is a lower triangular matrix with real positive entries on the diagonal (the matrix $\cJ$ is $(2m+1)$-band $mp\ts mp$ matrix with positive entries on the first and the last diagonals). The spectrum of $\cJ$ is a finite sequence of real eigenvalues $ł_1<...<ł_N$, where each eigenvalue $ł_j$ has multiplicity $k_j\le m$. We show that the mapping $(a,b)\mapsto \{(ł_j,k_j)\}_1^N\oplus \{additional spectral data \}$ is 1-to-1 and onto. In both cases (i), \nolinebreak (ii), we give the complete solution of the inverse problem. △ Less

Submitted 31 July, 2006; originally announced July 2006.

MSC Class: 47B39 (47A10 81Q10)

Spectral estimates for Schrödinger operator with periodic matrix potentials on the real line

Authors: Dmitri Chelkak, Evgeny Korotyaev

Abstract: We consider the Schrödinger operator on the real line with a $N\ts N$ matrix valued periodic potential, N>1. The spectrum of this operator is absolutely continuous and consists of intervals separated by gaps. We define the Lyapunov function, which is analytic on an associated N-sheeted Riemann surface. On each sheet the Lyapunov function has the standard properties of the Lyapunov function for t… ▽ More We consider the Schrödinger operator on the real line with a $N\ts N$ matrix valued periodic potential, N>1. The spectrum of this operator is absolutely continuous and consists of intervals separated by gaps. We define the Lyapunov function, which is analytic on an associated N-sheeted Riemann surface. On each sheet the Lyapunov function has the standard properties of the Lyapunov function for the scalar case. The Lyapunov function has (real or complex) branch points, which we call resonances. We determine the asymptotics of the periodic, anti-periodic spectrum and of the resonances at high energy (in terms of the Fourier coefficients of the potential). We show that there exist two types of gaps: i) stable gaps, i.e., the endpoints are periodic and anti-periodic eigenvalues, ii) unstable (resonance) gaps, i.e., the endpoints are resonances (real branch points). Moreover, the following results are obtained: 1) we define the quasimomentum as an analytic function on the Riemann surface of the Lyapunov function; various properties and estimates of the quasimomentum are obtained, 2) we construct the conformal mapping with real part given by the integrated density of states and imaginary part given by the Lyapunov exponent. We obtain various properties of this conformal mapping, which are similar to the case N=1, 3) we determine various new trace formulae for potentials, the integrated density of states and the Lyapunov exponent, 4) a priori estimates of gap lengths in terms of potentials are obtained. △ Less

Submitted 29 August, 2005; originally announced August 2005.

Comments: 2 figures

The inverse problem for perturbed harmonic oscillator on the half-line

Authors: Dmitry Chelkak, Evgeny Korotyaev

Abstract: We consider the perturbed harmonic oscillator $T_Dψ=-ψ''+x^2ψ+q(x)ψ$, $ψ(0)=0$ in $L^2(R_+)$, where $q\in H_+=\{q', xq\in L^2(R_+)\}$ is a real-valued potential. We prove that the mapping $q\mapsto{\rm spectral data}={\rm \{eigenvalues of\}T_D{\rm \}}\oplus{\rm \{norming constants\}}$ is one-to-one and onto. The complete characterization of the set of spectral data which corresponds to… ▽ More We consider the perturbed harmonic oscillator $T_Dψ=-ψ''+x^2ψ+q(x)ψ$, $ψ(0)=0$ in $L^2(R_+)$, where $q\in H_+=\{q', xq\in L^2(R_+)\}$ is a real-valued potential. We prove that the mapping $q\mapsto{\rm spectral data}={\rm \{eigenvalues of\}T_D{\rm \}}\oplus{\rm \{norming constants\}}$ is one-to-one and onto. The complete characterization of the set of spectral data which corresponds to $q\in H_+$ is given. Moreover, we solve the similar inverse problem for the family of boundary conditions $ψ'(0)=b ψ(0)$, $b\in R$. △ Less

Submitted 29 August, 2005; originally announced August 2005.