Advances in Discrete Differential Geometry pp 57-132 | Cite as

# Discrete Complex Analysis on Planar Quad-Graphs

## Abstract

We develop further a linear theory of discrete complex analysis on general quad-graphs, extending previous work of Duffin, Mercat, Kenyon, Chelkak and Smirnov on discrete complex analysis on rhombic quad-graphs. Our approach based on the medial graph leads to generalizations as well as to new proofs of previously known discrete analogs of classical theorems. New results include in particular discretizations of Green’s first identity and Cauchy’s integral formula for the derivative of a holomorphic function. Another contribution is a discussion on the product of discrete holomorphic functions that is itself discrete holomorphic in a specific sense. In this paper, we focus on planar quad-graphs, but many notions and theorems can be easily adapted to discrete Riemann surfaces. In the case of planar parallelogram-graphs with bounded interior angles and bounded ratio of side lengths explicit formulae for a discrete Green’s function and discrete Cauchy’s kernels are obtained. This slightly generalizes the previous results on rhombic lattices. When we further restrict to the integer lattice of a two-dimensional skew coordinate system a discrete Cauchy’s integral formulae for higher order derivatives is derived.

## Keywords

Discrete complex analysis Quad-graph Green’s function Cauchy’s integral formulae Parallelogram-graph## 1 Introduction

Linear theories of discrete complex analysis look back on a long and varied history. We refer here to the survey of Smirnov [24]. Already Kirchhoff’s circuit laws describe a discrete harmonicity condition for the potential function whose gradient describes the current flowing through the electric network. A notable application of Kirchhoff’s laws in geometry was the article [4] of Brooks, Smith, Stone, and Tutte, who used coupled discrete harmonic functions (in fact, discrete holomorphic functions) to construct tilings of rectangles into squares with different integral side lengths. Discrete harmonic functions on the square lattice were studied by a number of authors in the 1920s, including Courant, Friedrichs, and Lewy, who showed convergence of solutions of the Dirichlet boundary value problem to their corresponding continuous counterpart [8].

Discrete holomorphic functions on the square lattice were studied by Isaacs [14]. He proposed two different definitions for holomorphicity. The first one is not symmetric on the square lattice, but it becomes symmetric on the triangular lattice obtained by inserting all southwest-to-northeast diagonals. Dynnikov and Novikov studied an equivalent notion in [11]. His second definition was reintroduced by Lelong-Ferrand in [12]. She developed the theory to a level that allowed her to prove the Riemann mapping theorem using discrete methods [18]. Duffin also studied discrete complex analysis on the square grid [9] and was the first who extended the theory to rhombic lattices [10]. Mercat [19], Kenyon [16], Chelkak and Smirnov [6] resumed the investigation of discrete complex analysis on rhombic lattices or, equivalently, isoradial graphs. In these settings, it was natural to split the real and the imaginary part of a discrete holomorphic function to the two vertex sets of a bipartite decomposition.

Some two-dimensional discrete models in statistical physics exhibit conformally invariant properties in the thermodynamical limit. Such conformally invariant properties were established by Smirnov for site percolation on a triangular grid [25] and for the random cluster model [26], by Chelkak and Smirnov for the Ising model [7], and by Kenyon for the dimer model on a square grid (domino tiling) [15]. In all cases, linear theories of discrete analytic functions on regular grids were highly important. Kenyon [16] as well as Chelkak and Smirnov [6] obtained important analytic results that were instrumental in the proof that the critical Ising model is universal, i.e., that the scaling limit is independent of the shape of the lattice [7]. Already Mercat related the theory of discrete complex analysis to the Ising model and investigated criticality [19].

Important non-linear discrete theories of complex analysis involve circle packings or, more generally, circle patterns. Rodin and Sullivan proved that the Riemann mapping of a complex domain to the unit disk can be approximated by circle packings [22]. A similar result for isoradial circle patterns, even with irregular combinatorics, is due to Bücking [5]. In [2] it was shown that discrete holomorphic functions describe infinitesimal deformations of circle patterns. Moreover, in the case of parallelogram-graphs it was discussed that the corresponding theory is integrable by embedding the quad-graph into \(\mathbb Z^n\).

Our setup in Sect. 2 is a strongly regular cellular decomposition of the complex plane into rectilinear quadrilaterals, called quad-graph. The medial graph of a quad-graph plays a crucial role in our work. It provides the connection between the notions of discrete derivatives of Kenyon [16], Mercat [20], Chelkak and Smirnov [6], extended from rhombic to general quad-graphs, and discrete differential forms and discrete exterior calculus as suggested by Mercat [19, 21]. Our treatment of discrete differential forms is close to what Mercat proposed in [21]. However, our version of discrete exterior calculus is slightly more general. Having introduced the basic notations in the first two sections and the discrete exterior derivative in Sect. 2.3.1, we come to Proposition 2.13. There, it is described how the medial graph allows to multiply discrete holomorphic functions to a function that is discrete holomorphic in a certain sense, in particular that it fulfills (discrete) Morera’s theorem.

The medial graph approach turns out to be quite useful for integration theory. Theorem 2.16 shows that the discrete exterior derivative is a derivation of the discrete wedge product. Many further results rely on this result and discrete Stokes’ Theorem 2.9. In particular, this concerns discrete Green’s identities (Theorem 2.23). A discretization of Green’s second identity was one ingredient in the proof of Skopenkov’s convergence result in [23]. Before the theorem is proved, we introduce the discrete wedge product, the discrete Hodge star, and the discrete Laplacian in Sects. 2.3 and 2.4.

Skopenkov’s results on the existence and uniqueness of solutions to the discrete Dirichlet boundary value problem [23] help us to prove Theorem 2.30. This theorem states surjectivity of the discrete derivatives and the discrete Laplacian seen as linear operators. This implies in particular the existence of discrete Green’s functions and discrete Cauchy’s kernels. Furthermore, discrete Cauchy’s integral formulae for discrete holomorphic functions are derived in Theorem 2.35 and for the discrete derivative of a discrete holomorphic function on the vertices of the quad-graph in Theorem 2.36. Note that discrete Cauchy’s integral formula was used by Chelkak and Smirnov to derive certain asymptotic estimates in [7].

Section 3 is devoted to discrete complex analysis on planar parallelogram-graphs. There, explicit formulae for discrete Green’s functions and discrete Cauchy’s kernels with asymptotics similar to the functions in the rhombic case [5, 6, 16] are given (Theorems 3.7, 3.8, and 3.10). The general assumption is that the interior angles and the ratio of side lengths of all parallelograms are bounded. The construction of these functions is based on the discrete exponential introduced by Kenyon on quasicrystallic rhombic quad-graphs [16] and its extension to quasicrystallic parallelogram-graphs [2].

In the end, we close with the very special case of the integer lattice of a skew coordinate system in the complex plane. In this case, discrete Cauchy’s integral formulae for higher order discrete derivatives of a discrete holomorphic function are derived in Theorem 3.11.

## 2 Discrete Complex Analysis on Planar Quad-Graphs

Although we focus on planar quad-graphs in this paper, many of our notions and theorems generalize to discrete Riemann surfaces. A corresponding linear theory of discrete Riemann surfaces is discussed in the subsequent paper [1] and can be found in more detail in the thesis [13].

### 2.1 Basic Definitions and Notation

The aim of this section is to introduce first planar quad-graphs and some basic notation in Sect. 2.1.1 and then to discuss the medial graph in Sect. 2.1.2.

#### 2.1.1 Planar Quad-Graphs

### Definition

A *planar quad-graph* \(\varLambda \) *without boundary* is an infinite graph embedded into the complex plane \(\mathbb C\) such that all edges are straight line segments and such that all faces are quadrilaterals which may be non-convex. In addition, we assume that \(\varLambda \) induces a cellular decomposition of the whole complex plane that is locally finite, i.e., a compact subset of \(\mathbb C\) contains only finitely many quadrilaterals, and strongly regular, i.e., two different faces are either disjoint or share exactly one vertex or share exactly one edge (but not two edges).

Let \(V(\varLambda )\) denote the set of vertices, \(E(\varLambda )\) the set of edges, and \(F(\varLambda )\) the set of faces of \(\varLambda \).

It is well known that any planar quad-graph is bipartite. We fix one decomposition of the vertices of \(\varLambda \) into two independent sets and refer to the vertices of this decomposition as *black* and *white* vertices, respectively.

### Definition

Let \(\varGamma \) and \(\varGamma ^*\) be the graphs defined on the black and white vertices where \(vv'\) is an edge of \(\varGamma \) (or \(\varGamma ^*\)) if and only if its two black (or white) endpoints are vertices of a single face.

### Remark

The assumption of strong regularity guarantees that any edge of \(\varGamma \) or \(\varGamma ^*\) is the (possibly outer) diagonal of exactly one quadrilateral.

In order to make the *duality* between \(\varGamma \) and \(\varGamma ^*\) apparent, we consider just for this paragraph the edges of \(\varGamma \) or \(\varGamma ^*\) as curves lying totally inside the face they are a diagonal of. Then, any *black* edge of \(\varGamma \) corresponds to the *white* edge of \(\varGamma ^*\) that crosses it and vice versa. The black and white vertices are in one-to-one correspondence to the faces of \(\varGamma ^*\) and \(\varGamma \) they are contained in.

### Definition

The complex number assigned to a vertex of \(\varLambda \) is the corresponding complex value of its embedding in \(\mathbb C\). To oriented edges of \(\varLambda ,\varGamma ,\varGamma ^*\) we assign the complex numbers determined by the difference of the complex numbers assigned to their two endpoints.

### Remark

For simplicity, we perform our calculations hereafter directly with the vertices and oriented edges of \(\varLambda ,\varGamma ,\varGamma ^*\) rather than replacing them with their corresponding complex values.

### Definition

\(\Diamond :=\varLambda ^*\) is the dual graph of \(\varLambda \).

In general, we do not specify a planar embedding of the dual graph \(\Diamond \). We will just identify vertices or faces of \(\Diamond \) with their corresponding dual faces and vertices of \(\varLambda \), respectively. However, in the particular case that all quadrilaterals are parallelograms, it makes sense to identify the vertices of \(\Diamond \) (i.e., faces of the quad-graph \(\varLambda \)) with the centers of the parallelograms. Here, the center of a parallelogram is the point of intersection of its two diagonals. Further details will be given in Sects. 2.2.1 and 2.2.3.

### Definition

If a vertex \(v \in V(\varLambda )\) is a vertex of a quadrilateral \(Q\in F(\varLambda )\), we write \(Q \sim v\) or \(v \sim Q\) and say that *v* and *Q* are *incident* to each other.

Throughout our paper, we will denote the vertices of a single quadrilateral *Q* by \(b_-,w_-,b_+,w_+\) in counterclockwise order, where \(b_\pm \in V(\varGamma )\) and \(w_\pm \in V(\varGamma ^*)\).

### Definition

*Q*intersect.

*Q*and the notations we are using later for the

*star of a vertex*

*v*, i.e., the set of all faces incident to

*v*.

In addition, we denote by \(\Diamond _0\) a subgraph of \(\Diamond \) that we always assume to be connected and by \(V(\Diamond _0)\subseteq V(\Diamond )\) the corresponding subset of faces of the quad-graph \(\varLambda \). Through our identification \(V(\Diamond )\cong F(\varLambda )\), we can call the elements of \(V(\Diamond )\) quadrilaterals and identify them with the corresponding faces of \(\varLambda \).

### Definition

\(\Diamond _0\subseteq \Diamond \) is said to *form a simply-connected closed region* if the union of all quadrilaterals in \(V(\Diamond _0)\) is a simply-connected closed region in \(\mathbb C\).

### Definition

Let \(\varLambda _0\) be the subgraph of \(\varLambda \) whose vertices and edges are exactly the corners and edges of the quadrilaterals in \(V(\Diamond _0)\). The *interior faces* of \(\varLambda _0\) are given by \(V(\Diamond _0)\). Let \(\varGamma _0\) and \(\varGamma _0^*\) denote the subgraphs of \(\varGamma \) and of \(\varGamma ^*\) whose edges are the diagonals of quadrilaterals in \(V(\Diamond _0)\) and who do not contain isolated vertices.

### Remark

Since \(\Diamond _0\subseteq \Diamond \) is connected, \(\varGamma _0\) and \(\varGamma _0^*\) are connected as well. Indeed, if \(Q,Q' \in V(\Diamond _0)\) are two quadrilaterals adjacent in \(\Diamond _0\), then the corresponding subgraphs on \(\varGamma _0\) and \(\varGamma _0^*\) consisting of the three black and white vertices of *Q* and \(Q'\) are paths of two edges each.

### Definition

\(\varLambda _0\) is called a (planar) *quad-graph* induced by the subgraph \(\Diamond _0\subseteq \Diamond \). Its *boundary* \(\partial \varLambda _0\) is the subgraph of \(\varLambda _0\) that consists of all the edges of \(\varLambda _0\) that belong to both a quadrilateral in \(V(\Diamond _0)\) and one in \(V(\Diamond )\backslash V(\Diamond _0)\).

### Remark

If \(\Diamond _0\subseteq \Diamond \) is finite and forms a simply-connected closed region, then the set of all interior faces of \(\varLambda _0\) is homeomorphic to a disk and \(\partial \varLambda _0\) is a closed broken line without self-intersections.

#### 2.1.2 Medial Graph

### Definition

The *medial graph* *X* of \(\varLambda \) is defined as follows. Its vertex set is given by all the midpoints of the edges of \(\varLambda \) embedded in \(\mathbb C\), and two vertices \(x,x'\) are adjacent if and only if the corresponding edges belong to the same face *Q* of \(\varLambda \) and have a vertex \(v\in V(\varLambda )\) in common. We denote this edge by [*Q*, *v*]. Taking [*Q*, *v*] as a straight line segment if *v* is a convex corner of the quadrilateral *Q* and as a curve lying inside *Q* that does not intersect the three other edges \([Q,v']\) (\(v'\sim Q\), \(v'\ne v\)) inside *Q* if *v* is a concave corner, we get an embedding of *X* into \(\mathbb C\). Then, the set *F*(*X*) of faces of *X* is in bijection with \(V(\varLambda )\cup V(\Diamond )\): A face \(F_v\) of *X* *corresponding to* \(v\in V (\varLambda )\) has the midpoints of edges of \(\varLambda \) incident to *v* as vertices, and a face \(F_Q\) of *X* *corresponding to* \(Q\in F(\varLambda )\cong V(\Diamond )\) has the midpoints of the four edges of \(\varLambda \) belonging to *Q* as vertices. The vertices of \(F_Q\) and \(F_v\) are colored gray in Fig. 2.

### Remark

Clearly, any pair \(Q\sim v\) of a face and an incident vertex of \(\varLambda \) corresponds to an edge [*Q*, *v*] of *X*. Moreover, a face \(F_Q\) lies inside *Q* and *v* is contained in \(F_v\).

### Definition

As for the vertices and edges of \(\varLambda \), we assign to a vertex of *X* the complex number corresponding to its position in \(\mathbb C\), and to an oriented edge of *X* we assign the difference of the two endpoints.

Even though not all edges of *X* might be straight line segments, we actually think of them as being straight since we assign the vector of its endpoints to it if the edge is oriented. In this sense, any face \(F_Q\), \(Q \in F(\varLambda )\), is a parallelogram due to Varignon’s theorem. Moreover, the complex number assigned to the edge \([Q,v_0]\), \(v_0 \sim Q\), if oriented from the midpoint of the edge \(v_0v'_-\) to the one of the edge \(v_0v'_+\) of \(\varLambda \) is just half of \(e=v'_+-v'_-\). We will say that \([Q,v_0]\) is *parallel* to *e* (disregarding the orientation), as it would be if we considered all edges of *X* as straight line segments.

### Remark

If all quadrilaterals of \(\varLambda \) are convex, then the embedding of *X* given above consists of straight line segments only. If no Varignon parallelogram of a non-convex quadrilateral contains another vertex of *X* apart from its corners, then the corresponding straight line realization gives an embedding equivalent to the one above. In this case, the face \(F_v\) of *X* corresponding to a vertex \(v \in V(\varLambda )\) that is a concave corner of a quadrilateral does not contain *v* any longer. However, if such a Varignon parallelogram contains an additional vertex of *X*, then connecting adjacent vertices of *X* by straight line segments does not yield an embedding of *X*.

### Definition

For a connected subgraph \(\Diamond _0 \subseteq \Diamond \), we denote by \(X_0 \subseteq X\) the connected subgraph of *X* consisting of all edges [*Q*, *v*] where \(Q\in V(\Diamond _0)\) and *v* is a corner of *Q*. The *boundary* \(\partial X_0\) is the subgraph of \(X_0\) whose edges are exactly those [*Q*, *v*] where \(v \in V(\partial \varLambda _0)\) and \(Q \in V(\Diamond _0)\) is incident to *v*. We consider the orientation on the boundary \(\partial X_0\) that is induced by orienting any of its edges [*Q*, *v*] counterclockwise with regard to *Q*. For a finite collection *F* of faces of \(X_0\), \(\partial F\) denotes the union of all counterclockwise oriented boundaries of faces in *F*, where oriented edges in opposite directions cancel each other out.

### Remark

In the case that all quadrilaterals in \(V(\Diamond _0)\) are convex, \(X_0\) consists of all straight edges of *X* that lie inside the closed region formed by the quadrilaterals in \(V(\Diamond _0)\). In any case, the medial graph *X* corresponds to a (strongly regular and locally finite) cellular decomposition of the plane in a canonical way. In particular, we can talk about a *topological disk* *D* *in* \(F(X_0)\) as a finite collection of faces of \(X_0\) that form a closed region homeomorphic to a disk, and we can consider its counterclockwise oriented boundary \(\partial D\) as a subgraph of \(X_0\).

### Definition

For \(v\in V(\varLambda )\) and \(Q \in F(\varLambda )\), let \(P_v\) and \(P_Q\) be the closed paths on *X* connecting the midpoints of edges of \(\varLambda \) incident to *v* and *Q*, respectively, in counterclockwise direction. In Fig. 2, their vertices are colored gray. We say that \(P_v\) and \(P_Q\) are *discrete elementary cycles*.

### 2.2 Discrete Holomorphicity

To motivate the definition of discrete holomorphicity due to Mercat [21] that was also used previously in the rhombic setting by Duffin [10] and others, let us have a short look to the classical theory. There, a real differentiable complex function *f* defined on an open subset of the complex plane is holomorphic if and only if in any point all directional derivatives coincide. Moreover, holomorphic functions with nowhere-vanishing derivative preserve angles, and at a single point, infinitesimal lengths are uniformly scaled.

### Definition

*f*be a complex function on the vertices \(b_-,w_-,b_+,w_+\) of the quadrilateral

*Q*.

*f*is said to be

*discrete holomorphic*at

*Q*if the

*discrete Cauchy-Riemann equation*is satisfied:

### Definition

Let \(f:V(\varLambda _0)\rightarrow \mathbb C\). *f* is said to be *discrete holomorphic* if *f* is discrete holomorphic at all \(Q \in V(\Diamond _0)\).

Note that if a discrete holomorphic function *f* does not have the same value on both black vertices \(b_-\) and \(b_+\), then it preserves the angle \(\varphi _Q\) and *f* uniformly scales the lengths of the diagonals of *Q*. However, the image of *Q* under *f* might be a degenerate or self-intersecting quadrilateral.

We immediately see that for discrete holomorphicity, only the differences at black and at white vertices matter. Hence, we should not consider constants on \(V(\varLambda )\), but biconstants [20] determined by each a value on \(V(\varGamma )\) and \(V(\varGamma ^*)\).

### Definition

A function \(f:V(\varLambda _0)\rightarrow \mathbb C\) that is constant on \(V(\varGamma _0)\) and constant on \(V(\varGamma _0^*)\) is said to be *biconstant*.

In the following, we will define discrete analogs of \(\partial ,\bar{\partial }\), first of functions on \(V(\varLambda )\) in Sect. 2.2.1 and later of functions on \(V(\Diamond )\) in Sect. 2.2.3. Before, we introduce discrete differential forms in Sect. 2.2.2.

#### 2.2.1 Discrete Derivatives of Functions on the Vertices of \(\varLambda \)

### Definition

*f*be a complex function on its vertices \(b_-,w_-,b_+,w_+\). The

*discrete derivatives*\(\partial _\varLambda f\), \(\bar{\partial }_\varLambda f\) are defined by

### Remark

Clearly, biconstant functions have vanishing discrete derivatives.

If the quadrilateral *Q* is a rhombus, then \(\varphi _Q=\pi /2\) and \(\lambda _Q=1/2\). Therefore, the definition above then reduces to the previous one given by Chelkak and Smirnov [6]. The definition of discrete derivatives matches the notion of discrete holomorphicity; and the discrete derivatives approximate their smooth counterparts correctly up to order one for general quad-graphs and up to order two for parallelogram-graphs:

### Proposition 2.1

Let *Q* be a face of the quad-graph \(\varLambda \) and *f* be a complex function on its vertices \(b_-,w_-,b_+,w_+\).

- (i)
*f*is discrete holomorphic at*Q*if and only if \(\bar{\partial }_\varLambda f(Q)=0\). - (ii)
For the function \(f(v)= v\), \(\bar{\partial }_\varLambda f(Q)=0\) and \(\partial _\varLambda f (Q)=1\).

- (iii)
If

*Q*is a parallelogram and \(f(v)= v^2\), then \(\bar{\partial }_\varLambda f(Q)=0\), \(\partial _\varLambda f(Q)=2\hat{Q}\). - (iv)
If

*Q*is a parallelogram and \(f(v)=|v|^2\), then \(\bar{\partial }_\varLambda f(Q)=\overline{\partial _\varLambda f(Q)}=\hat{Q}\).

In parts (iii) and (iv), \(\hat{Q}\) denotes the center of the parallelogram *Q*.

### Proof

(ii) Clearly, \(f(v)=v\) satisfies the discrete Cauchy-Riemann equation. By the first part, \(\bar{\partial }_\varLambda f(Q)=0\). Due to \(2\sin (\varphi _Q)=\exp \left( -i\left( \varphi _Q-\frac{\pi }{2}\right) \right) +\exp \left( i\left( \varphi _Q-\frac{\pi }{2}\right) \right) \), \(\partial _\varLambda f (Q)\) simplifies to \(\lambda _Q+\bar{\lambda }_Q=1\).

*Q*is a parallelogram, both \((b_++b_-)/2\) and \((w_++w_-)/2\) equal its center \(\hat{Q}\). Thus,

*f*is discrete holomorphic at

*Q*and

*f*is a real function, \(\bar{\partial }_\varLambda f(Q)=\overline{\partial _\varLambda f(Q)}\) follows straight from the definition. Let \(z\in \mathbb C\) be arbitrary. If \(g(v):=v\bar{z}\), then \(\partial _\varLambda g(Q)=\bar{z}\) and \(\partial _\varLambda \bar{g}(Q)=0\) by the second part. So if we define the function \(h(v):=|v-z|^2=|v|^2-v\bar{z}-\bar{v}z+|z|^2\), then \(\overline{\partial _\varLambda h(Q)}=\overline{\partial _\varLambda f(Q)}-z\) using the second part and observing that constant functions have vanishing derivatives. Hence, the statement is invariant under translation, and it suffices to consider the case \(\hat{Q}=0\). Then, \(b_+=-b_-\) and \(w_+=-w_-\) since

*Q*is a parallelogram. It follows that \(f(b_-)=f(b_+)\) and \(f(w_-)=f(w_+)\), so \(\partial _\varLambda f(Q)=0\).

Our first discrete analogs of classical theorems are immediate consequences of the discrete Cauchy-Riemann equation:

### Proposition 2.2

Let \(f:V(\varLambda _0)\rightarrow \mathbb C\) be discrete holomorphic.

- (i)
If

*f*is purely imaginary or purely real, then*f*is biconstant. - (ii)
If \(\partial _\varLambda f\equiv 0\), then

*f*is biconstant.

### Proof

*f*is not biconstant. Then, without loss of generality,

*f*is not constant on \(\varGamma _0\). Since \(\varGamma _0\) is connected, there are two adjacent vertices \(b_-\), \(b_+\) of \(\varGamma _0\) such that \(f(b_+)\ne f(b_-)\). Let \(b_-,w_-,b_+,w_+ \in V(\varLambda _0)\) be the vertices of the interior face of \(\varLambda _0\) with black diagonal \(b_-b_+\). Due to the discrete Cauchy-Riemann equation,

*f*is purely imaginary or purely real and \(f(b_+)\ne f(b_-)\). But the right hand side is not, contradicting the assumption that

*f*is not biconstant.

*f*is discrete holomorphic,

*f*is constant on \(V(\varGamma _0)\) and on \(V(\varGamma _0^*)\) since both graphs are connected.

#### 2.2.2 Discrete Differential Forms

In our paper, we mainly consider two type of functions, functions \(f:V(\varLambda _0)\rightarrow \mathbb C\) and functions \(h:V(\Diamond _0)\rightarrow \mathbb C\). An example for a function on \(V(\Diamond _0)\) is \(\partial _\varLambda f\).

### Definition

A *discrete one-form* \(\omega \) is a complex function on the oriented edges of the medial graph \(X_0\) such that \(\omega (-e)=\omega (e)\) for any oriented edge *e* of \(X_0\). Here, \(-e\) denotes the edge *e* with opposite orientation.

The evaluation of \(\omega \) at an oriented edge *e* of \(X_0\) is denoted by \(\int _e \omega \). If *P* is a directed path in \(X_0\) consisting of oriented edges \(e_1,e_2,\ldots ,e_n\), then the *discrete integral* along *P* is \(\int _P \omega =\sum _{k=1}^n \int _{e_k} \omega \). For closed paths *P*, we write \(\oint _P \omega \) instead. If *P* is the oriented boundary of a topological disk *D* in \(F(X_0)\), then we say that the discrete integral is a *discrete contour integral* with *discrete contour* *P*.

Since we consider the planar case, one-forms *dz* and \(d\bar{z}\) are globally defined.

### Definition

The discrete one-forms *dz* and \(d\bar{z}\) are given by \(\int _e dz=e\) and \(\int _e d\bar{z}=\bar{e}\) for any oriented edge *e* of *X*.

It turns out that discrete one-forms that actually come from discrete one-forms on \(\varGamma \) and \(\varGamma ^*\) are of particular interest:

### Definition

A discrete one-form \(\omega \) defined on the oriented edges of \(X_0\) is of *type* \(\Diamond \) if for any \(Q \in V(\Diamond _0)\) there exist complex numbers *p*, *q* such that \(\omega =p dz+qd\bar{z}\) on all edges \(e=[Q,v]\), \(v \in V(\varLambda _0)\) incident to *Q*. \(\omega \) is of *type* \(\varLambda \) if for any \(v \in V(\varLambda _0)\) there exist complex numbers *p*, *q* such that \(\omega =p dz+qd\bar{z}\) on all edges \(e=[Q,v]\), \(Q\in V(\Diamond _0)\) incident to *v*.

### Remark

Discrete one-forms of type \(\varLambda \) do not play such an important role as discrete one-forms of type \(\Diamond \), although they occur as discrete differentials of functions defined on \(V(\Diamond _0)\). This will become clear in the end of Sect. 2.3.2, one of the reasons being that discrete one-forms of type \(\varLambda \) are not defined on discrete Riemann surfaces, but discrete one-forms of type \(\Diamond \) are.

### Definition

A *discrete two-form* \(\varOmega \) is a complex function on the faces of \(X_0\).

The evaluation of \(\varOmega \) at a face *F* of \(X_0\) is denoted by \(\iint _F \varOmega \). If *S* is a set of faces \(F_1,F_2,\ldots , F_n\) of \(X_0\), then \(\iint _S \varOmega =\sum _{k=1}^n \iint _{F_k} \varOmega \) is the *discrete integral* of \(\varOmega \) over *S*.

As we are mainly interested in functions \(f:V(\varLambda _0)\rightarrow \mathbb C\) and \(h:V(\Diamond _0)\rightarrow \mathbb C\), discrete two-forms of particular interest are those that vanish on faces of \(X_0\) corresponding to vertices of either \(\Diamond \) or \(\varLambda \).

### Definition

A discrete two-form \(\varOmega \) defined on \(F(X_0)\) is of *type* \(\varLambda \) if \(\varOmega \) vanishes on all faces of \(X_0\) corresponding to \(V(\Diamond _0)\) and of *type* \(\Diamond \) if \(\varOmega \) vanishes on all faces of *X* corresponding to \(V(\varLambda _0)\).

### Remark

These discrete two-forms correspond to functions on \(V(\varLambda _0)\) or \(V(\Diamond _0)\) by the discrete Hodge star that will be defined later in Sect. 2.3.3.

Since we did not give a precise embedding of the medial graph into the complex plane in the general case, we have to specify what the area of a face is. This area includes a factor of two in order to get the same coefficients in the discrete setup as in the smooth case.

### Definition

Let *F* be a face of the medial graph *X*. We define \(\text {ar}(F)\) to be twice the Euclidean area of the polygon that results from connecting adjacent vertices of *F* by straight line segments in the complex plane. In contrast, \(\text {area}(P)\) will always denote the Euclidean area of a polygon *P*.

### Remark

As we have mentioned before, our main objects either live on the quad-graph \(\varLambda \) or on its dual \(\Diamond \). Thus, we have to deal with two different cellular decompositions at the same time. The medial graph has the crucial property that its faces are in one-to-one correspondence to vertices of \(\varLambda \) and of \(\Diamond \), i.e., to faces of \(\Diamond \) and of \(\varLambda \). Furthermore, the Euclidean area of the Varignon parallelogram of \(Q\in F(\varLambda )\) is just half of the area of *Q*. In some sense, a corresponding statement is true for the cells of *X* corresponding to vertices of \(\varLambda \), i.e., faces of \(\Diamond \). However, there is not only no canonical embedding of *X*, but also no natural embedding of \(\Diamond \) in the general setting. But in the particular case of parallelogram-graphs, when we have a canonical embedding of *X* with rectilinear edges, we can make the statement precise: If an edge \(QQ'\) of \(\Diamond \) is represented by the two line segments that connect the centers of the parallelograms *Q* and \(Q'\) with the midpoint of their common edge, then the Euclidean area of the face of *X* corresponding to a vertex \(v \in V(\varLambda ) \cong F(\Diamond )\) is exactly half of the area of the face of \(\Diamond \) corresponding to *v*.

In summary, the medial graph allows us to deal with just one decomposition of the complex plane, but we have to count areas twice in order to get the right coefficients as in the continuous setup.

### Definition

*X*corresponding to vertices of \(\Diamond \) or \(\varLambda \), respectively, and defined by

### Remark

\(\varOmega _\varLambda \) and \(\varOmega _\Diamond \) are the straightforward discretizations of \(dz \wedge d\bar{z}\) having in mind that they are essentially defined on faces of \(\Diamond \) or of \(\varLambda \), respectively. It turns out that in local coordinates, we can perform our calculations with \(\varOmega _\varLambda \) and \(\varOmega _\Diamond \) in the discrete setting exactly as we do with \(dz \wedge d\bar{z}\) in the smooth theory. We will see in Sect. 2.3.2 that \(\varOmega _\Diamond \) is indeed the discrete wedge product of *dz* and \(d\bar{z}\) seen as discrete one-forms of type \(\Diamond \). The same would be true for \(\varOmega _\varLambda \) if we considered *dz* and \(d\bar{z}\) as being of type \(\varLambda \), but the discrete wedge product is of interest just for discrete one-forms of type \(\Diamond \) and we therefore define it just for these forms.

### Definition

In the following table, we give a quick overview of various discrete differential forms (most of them will be discussed in Sect. 2.3) and state whether they are essentially functions on \(V(\varLambda )\) (first column) or functions on \(V(\Diamond )\) (second column) or entirely objects on the cellular decomposition *X* (third column). In the first row we find functions, in the second discrete one-forms, and in the third discrete two-forms. So for example, the intersection of the second row with the third column lists discrete one-forms that are entirely objects on *X* and cannot be reduced to functions on \(V(\varLambda )\) or \(V(\Diamond )\).

\(\varLambda \) | \(\Diamond \) | | |
---|---|---|---|

functions | \(f,g : V(\varLambda ) \rightarrow \mathbb C\) | \(h_1,h_2 : V(\Diamond ) \rightarrow \mathbb C\) | \(f\cdot g=\int (fdg+gdf)\) |

\(\partial _{\Diamond } h, \bar{\partial }_{\Diamond } h\) | \(\partial _{\varLambda } f, \bar{\partial }_{\varLambda } f\) | ||

1-forms | | | \(fdg+gdf\) |

\(h_1 dz + h_2 d\bar{z}\) | \(f dz + gd\bar{z}\) | | |

\(\eta \) of type \(\varLambda \) | \(\omega , \omega '\) of type \(\Diamond \) | \(f\omega \) | |

2-forms | \(\varOmega _\varLambda \) | \(\varOmega _\Diamond \) | |

\(\star f\) | \(\star h\) | ||

\(d\omega \) | \(d\eta \) | | |

\(fd\omega \) | \(\omega \wedge \omega '\) | \(d(f\omega )\) |

### Remark

Although discrete one-forms of type \(\varLambda \) or of type \(\Diamond \) do not live themselves on \(\varLambda \) or \(\Diamond \), they are described by two functions defined on the vertices of \(\varLambda \) or \(\Diamond \), respectively.

#### 2.2.3 Discrete Derivatives of Functions on the Faces of \(\varLambda \)

Before we pass on to discrete derivatives of functions on \(V(\Diamond )\), we first prove an alternative formula for the discrete derivatives of functions on \(V(\varLambda )\).

### Lemma 2.3

*f*be a complex function on the vertices \(b_-,w_-,b_+,w_+\) of

*Q*. Let \(P_Q\) be the discrete elementary cycle around

*Q*and

*F*the face of

*X*corresponding to

*Q*. Then,

### Proof

*F*as a parallelogram (see Sect. 2.1.2), its Euclidean area is half of the area of

*Q*. So by definition,

Inspired by Lemma 2.3 that is illustrated by Fig. 3a, we can now define the discrete derivatives for complex functions on \(V(\Diamond )\), see Fig. 3b.

### Definition

*h*be a complex function defined on all quadrilaterals that are incident to

*v*. Let \(P_v\) be the discrete elementary cycle around

*v*and

*F*the face of

*X*corresponding to

*v*. Then, the

*discrete derivatives*\(\partial _\Diamond h\), \(\bar{\partial }_\Diamond h\) at

*v*are defined by

*h*is said to be

*discrete holomorphic*at

*v*if \(\bar{\partial }_\Diamond h (v)=0\).

### Definition

\(h:V(\Diamond _0)\rightarrow \mathbb C\) is said to be *discrete holomorphic* if *h* is discrete holomorphic at all \(v \in V(\varLambda _0)\backslash V(\partial \varLambda _0)\).

Note that in the rhombic case, our definition coincides with the one used by Chelkak and Smirnov in [6]. As an immediate consequence of the definition, we obtain a *discrete Morera’s theorem*.

### Proposition 2.4

Functions \(f:V(\varLambda _0)\rightarrow \mathbb C\) and \(h:V(\Diamond _0)\rightarrow \mathbb C\) are discrete holomorphic if and only if \(\oint _{P} f dz=0\) and \(\oint _{P} h dz=0\) for all discrete contours *P* on \(X_0\).

### Proof

Clearly, \(\oint _{P_v} f dz=f(v)\oint _{P_v} dz=0\) for any discrete elementary cycle \(P_v\) around a vertex *v* of \(V(\varLambda _0)\). Similarly, \(\oint _{P_Q} h dz=0\) for any \(Q\in V(\Diamond _0)\). Using Lemma 2.3 and the definition of \(\bar{\partial }_\Diamond \), *f* and *h* are discrete holomorphic if and only if \(\oint _{P} f dz=0\) and \(\oint _{P} h dz=0\) for all discrete elementary cycles *P*. To conclude the proof, we observe that any integration along a discrete contour can be decomposed into integrations along discrete elementary cycles since by definition, a discrete contour is the boundary of a topological disk in \(F(X_0)\).

The discrete derivatives of constant functions on \(V(\Diamond )\) vanish. As an analog of Proposition 2.1, we prove that the discrete derivatives \(\partial _\Diamond ,\bar{\partial }_\Diamond \) locally approximate their smooth counterparts correctly up to order one if the quadrilaterals in \(V(\Diamond )\) are identified with the midpoints of their black or white edges. In a parallelogram-graph, these two midpoints coincide for each face, which then gives a global approximation statement. Note that even for rhombic quad-graphs, the discrete derivatives \(\partial _\Diamond ,\bar{\partial }_\Diamond \) generally do not coincide with the smooth derivatives in order two.

### Proposition 2.5

Let \(v \in V(\varLambda )\), and let *h* be a complex function on all faces incident to *v*. As illustrated in Fig. 3b, we counterclockwise enumerate them by \(Q_1, \ldots , Q_k\), where *k* is the degree of *v* in \(\varLambda \), and their vertices adjacent to *v* by \(v'_1,v'_2,\ldots ,v'_k\), \(v'_{k+1}=v_1\). Let \(\hat{Q}_s=(v'_{s-1}+v'_{s})/2\). Then, if \(h(Q_s)=\hat{Q}_s\) for all *s*, \(\bar{\partial }_\Diamond h(v)=0\) and \(\partial _\Diamond h (v)= 1\) hold true.

### Proof

In [6], Chelkak and Smirnov used averaging operators to map functions on \(V(\varLambda )\) to functions on \(V(\Diamond )\) and vice versa. On parallelogram-graphs, the *averaging operator* \(m(f)(Q):=\sum _{v \sim Q}f(v)/4\) actually maps discrete holomorphic functions *f* on \(V(\varLambda )\) to discrete holomorphic functions on \(V(\Diamond )\). Our proof will be similar as the one for rhombic quad-graphs in [6]. Note that discrete holomorphic functions on \(V(\Diamond )\) cannot be averaged to discrete holomorphic functions on \(V(\varLambda )\) in general, so the averaging operator of Chelkak of Smirnov that mapped functions on \(V(\Diamond )\) to functions on \(V(\varLambda )\) did not preserve discrete holomorphicity.

### Proposition 2.6

Let \(\varLambda \) be a parallelogram-graph and \(f:V(\varLambda )\rightarrow \mathbb C\) be discrete holomorphic. Then, \(m(f):V(\Diamond )\rightarrow \mathbb C\) is discrete holomorphic.

### Proof

*f*is discrete holomorphic, the discrete Cauchy-Riemann equation is satisfied on any \(Q_s \sim v\). Therefore, we can express \(f(v_s)\) in terms of

*f*(

*v*), \(f(v'_s)\) and \(f(v'_{s-1})\). Plugging this in the definition of the averaging operator, we obtain

*m*(

*f*) is discrete holomorphic at

*v*by definition due to

### Remark

As mentioned above, our main interest lies in functions that are defined either on the vertices or the faces of the quad-graph. Now, extending \(f: V(\varLambda ) \rightarrow \mathbb C\) to a complex function on *F*(*X*) by using its average *m*(*f*) on \(V(\Diamond )\) seems to be an option. However, functions on \(V(\varLambda )\) and on \(V(\Diamond )\) behave differently. In Corollary 2.11 we will see that \(\partial _\varLambda f\) is discrete holomorphic if *f* is, but \(\partial _\Diamond m(f)\) does not need to be discrete holomorphic in general. So to make sense of differentiating twice, we can only consider functions on \(V(\varLambda )\).

### Definition

*discrete scalar products*are defined as

### Proposition 2.7

*formal adjoints*of \(\bar{\partial }_\varLambda \) and \(\partial _\varLambda \), respectively. That is, if \(f:V(\varLambda )\rightarrow \mathbb C\) or \(h:V(\Diamond ) \rightarrow \mathbb C\) is compactly supported, then

### Proof

*X*associated to \(Q \in V(\Diamond )\). Using this, the definitions of \(\varOmega _\varLambda \) and \(\varOmega _\Diamond \), and \(\partial _\Diamond \bar{h}=\overline{\bar{\partial }_\Diamond h}\), we get

*P*is a large contour enclosing all the vertices of \(\varLambda \) and \(\Diamond \) where

*f*or

*h*do not vanish. In particular, \(f\bar{h}\) vanishes in a neighborhood of

*P*. In the same way, \(\langle \bar{\partial }_\varLambda f, h\rangle +\langle f, \partial _\Diamond h\rangle =0\).

### Remark

Note that in their work on discrete complex analysis on rhombic quad-graphs, Kenyon [16] and Mercat [20] did not give explicit formulae for the discrete derivatives, but defined \(-\partial _\Diamond \) and \(-\bar{\partial }_\Diamond \) instead as the formal adjoints of the discrete derivatives \(\bar{\partial }_\varLambda \) and \(\partial _\varLambda \), respectively. In contrast, we derived the formal adjoint property from our explicit formulae for the discrete derivatives.

In Corollary 2.11, we will prove that \(\partial _\varLambda f\) is discrete holomorphic if the function \(f:V(\varLambda ) \rightarrow \mathbb C\) is. Conversely, we can find discrete primitives of discrete holomorphic functions on subgraphs \(\Diamond _0\subseteq \Diamond \) that form a simply-connected closed region, extending the corresponding result for rhombic quad-graphs given by Chelkak and Smirnov [6].

### Proposition 2.8

Let \(\Diamond _0 \subseteq \Diamond \) form a simply-connected closed region. Then, for any discrete holomorphic function *h* on \(V(\Diamond _0)\), there is a *discrete primitive* \(f:=\int h\) on \(V(\varLambda _0)\), i.e., *f* is discrete holomorphic and \(\partial _\varLambda f=h\). *f* is unique up to two additive constants on \(\varGamma _0\) and \(\varGamma ^*_0\).

### Proof

Since *h* is discrete holomorphic, \(\oint _P hdz=0\) for any discrete contour *P* in \(X_0\) by discrete Morera’s Theorem 2.23. Therefore, *hdz* can be integrated to a well-defined function \(f_X\) on *V*(*X*) that is unique up to an additive constant. The equation \(f_X\left( \left( v+w\right) /2\right) =\left( f(v)+f(w)\right) /2\) for any edge (*v*, *w*) of \(\varLambda \) defines a function *f* on \(V(\varLambda )\). Indeed, since \(\Diamond _0\) forms a simply-connected closed region, it suffices to check the compatibility of the equations defining *f* just for one quadrilateral face *Q*. Now, the differences of *f* along the black and white diagonals of *Q* are given by integration of *hdz* along the edges of *X* that are parallel to these diagonals. Since *hdz* is a discrete one-form of type \(\Diamond \), the two integrations along the edges of *X* parallel to one diagonal are the same if they are oriented the same, and compatibility follows. Given \(f_X\), *f* is unique up to another additive constant.

*f*is unique up to two additive constants that can be chosen independently on \(\varGamma _0\) and \(\varGamma ^*_0\). By construction,

*f*satisfies

*f*is discrete holomorphic and \(\partial _\varLambda f=h\).

### 2.3 Discrete Exterior Calculus

Our treatment of discrete exterior calculus is similar to the approach of Mercat in [19, 20, 21], but differs in some aspects. The main differences are due to our different notation of multiplication of functions with discrete one-forms, which allows us to define a discrete exterior derivative on a larger class of discrete one-forms in Sect. 2.3.1. It coincides with Mercat’s discrete exterior derivative in the case of discrete one-forms of type \(\Diamond \) that Mercat considers. In contrast, our definitions are based on a coordinate representation and mimic the smooth case. Eventually, they lead to essentially the same definitions of a discrete wedge product in Sect. 2.3.2 and a discrete Hodge star in Sect. 2.3.3 as in [21].

#### 2.3.1 Discrete Exterior Derivative

### Definition

*discrete exterior derivatives*

*df*and

*dh*as the discrete one-forms on oriented edges of \(X_0\) given by

### Definition

*X*corresponding to \(v\in V(\varLambda )\) or on all four boundary edges of a face \(F_Q\) of

*X*corresponding to \(Q\in F(\varLambda )\). In the first case, we write \(\omega =p dz+ q d\bar{z}\) with functions

*p*,

*q*defined on all faces of \(\varLambda \) that are incident to

*v*, and in the second case, we write \(\omega =p dz+ q d\bar{z}\) with functions

*p*,

*q*defined on all vertices of \(\varLambda \) that are incident to

*Q*. The

*discrete exterior derivative*\(d\omega \) on \(F_v\) or \(F_Q\) is given by

The representation of \(\omega \) as \(p dz+ q d\bar{z}\) (*p*, *q* defined on edges of *X*) we have used above may be nonunique. However, \(d\omega \) is well-defined by the following *discrete Stokes’ theorem* that also justifies our definition of *df* and \(d\omega \). Note that Mercat defined the discrete exterior derivative by the discrete Stokes’ theorem [19].

### Theorem 2.9

*e*of \(X_0\) starting in the midpoint of the edge \(vv'_-\) and ending in the midpoint of the edge \(vv'_+\) of \(\varLambda _0\) and for any finite collection of faces

*F*of \(X_0\) with counterclockwise oriented boundary \(\partial F\) we have:

### Proof

*Q*with vertices

*v*, \(v'_-\) and \(v'_+\). Without loss of generality, let

*v*be white. Since \(df=\partial _\varLambda f dz+\bar{\partial }_\varLambda f d\bar{z}\), \(\int _e df\) equals

*Q*in clockwise or counterclockwise order. In either case, the expression inside \(\text {arg}\) is purely imaginary.

*p*,

*q*are functions defined on the vertices of the quadrilateral \(Q\in V(\Diamond _0)\) or on the faces incident to \(v\in V(\varLambda _0)\). Then, by the representation of \(\partial _\varLambda ,\bar{\partial }_\varLambda \) as discrete contour integrals in Lemma 2.3 and the definition of the discrete derivatives \(\partial _\Diamond ,\bar{\partial }_\Diamond \),

### Definition

Let \(\Diamond _0 \subseteq \Diamond \) form a simply-connected closed region. A discrete one-form \(\omega \) defined on oriented edges of \(X_0\) is said to be *closed* if \(d\omega \equiv 0\).

Note that if \(\omega \) is a discrete one-form of type \(\Diamond \), then \(\iint _{F} d\omega =0\) for any face *F* corresponding to a face of \(\varLambda \). Examples for closed discrete one-forms are discrete exterior derivatives of complex functions on \(V(\varLambda )\):

### Proposition 2.10

Let \(f:V(\varLambda _0) \rightarrow \mathbb C\). Then, \(ddf=0\) on any face \(F_v\) of \(X_0\) corresponding to \(v\in V(\varLambda _0) \backslash V(\partial \varLambda _0)\).

### Proof

*P*in \(X_0\) in order to prove \(ddf=0\). Since

*df*is of type \(\Diamond \), the statement is trivially true if \(P=P_Q\) for \(Q\in V(\Diamond _0)\). So let \(P=P_v\) for \(v\in V(\varLambda _0) \backslash V(\partial \varLambda _0)\). Using discrete Stokes’ Theorem 2.9 again,

An immediate corollary of the last proposition is the commutativity of discrete derivatives, generalizing the known result for rhombic quad-graphs in [6].

### Corollary 2.11

Let \(f:V(\varLambda _0) \rightarrow \mathbb C\). Then, \(\partial _\Diamond \bar{\partial }_\varLambda f(v)=\bar{\partial }_\Diamond \partial _\varLambda f(v)\) for all vertices \(v\in V(\varLambda _0) \backslash V(\partial \varLambda _0)\). In particular, \(\partial _\varLambda f\) is discrete holomorphic if *f* is discrete holomorphic.

### Proof

Due to the preceding Proposition 2.10 and the definition of the discrete derivative, the equation \(0=ddf=\left( \partial _\Diamond \bar{\partial }_\varLambda f-\bar{\partial }_\Diamond \partial _\varLambda f\right) \varOmega _\varLambda \) holds on all faces of \(X_0\) corresponding to a vertex of \(\varLambda _0\) that is not on the boundary \(\partial \varLambda _0\). The claim follows since \(\varOmega _\varLambda \) is nonzero on these faces.

### Remark

Note that even in the generic rhombic case, \(\partial _\varLambda \bar{\partial }_\Diamond h\) does not always equal \(\bar{\partial }_\varLambda \partial _\Diamond h\) for a function \(h:V(\Diamond )\rightarrow \mathbb C\) [6]. Hence, \(ddh=0\) cannot hold for such functions *h* in general.

### Corollary 2.12

Let \(f:V(\varLambda _0) \rightarrow \mathbb C\). Then, *f* is discrete holomorphic if and only if \(df=p dz\) for some \(p:V(\Diamond _0) \rightarrow \mathbb C\). In the case that *f* is discrete holomorphic, *p* is discrete holomorphic as well.

### Proof

Since all quadrilaterals \(Q\in V(\Diamond _0)\) are nondegenerate, the representation of \(df|_{\partial {F_Q}}\) as \(pdz+qd\bar{z}\) is unique (see Lemma 2.14 below). Clearly, we have \(df=\partial _\varLambda f dz+\bar{\partial }_\varLambda f d\bar{z}\). It follows that *f* is discrete holomorphic at *Q* if and only if \(df|_{\partial {F_Q}}=p dz\).

Assuming that \(df=pdz\) for some \(p:V(\Diamond _0) \rightarrow \mathbb C\), \(ddf=0\) on any face \(F_v\) of \(X_0\) corresponding to \(v\in V(\varLambda _0) \backslash V(\partial \varLambda _0)\) by Proposition 2.10. Thus, \(\bar{\partial }_\Diamond p(v)=0\) for any such *v* and *f* is discrete holomorphic.

### Definition

Let \(\Diamond _0 \subseteq \Diamond \) form a simply-connected closed region. A discrete one-form \(\omega \) defined on the oriented edges of \(X_0\) is *discrete holomorphic* if \(\omega =p dz\) for some \(p:V(\Diamond _0) \rightarrow \mathbb C\) and \(d\omega =0\).

### Remark

This notion recurs in the more general setting of discrete Riemann surfaces in [1]. By Corollary 2.12, *df* is discrete holomorphic if *f* is, and by Proposition 2.8 on the existence of a discrete primitive for discrete holomorphic functions defined on the vertices of a subset \(\Diamond _0\subseteq \Diamond \) that forms a simply-connected closed region, any discrete holomorphic one-form \(\omega \) defined on the oriented edges of \(X_0\) is the discrete exterior derivative of a discrete holomorphic function on \(V(\varLambda _0)\).

Due to Chelkak and Smirnov [6], one of the unpleasant facts of all discrete theories of complex analysis is that (pointwise) multiplication of discrete holomorphic functions does not yield a discrete holomorphic function in general. We define a product of complex functions on \(V(\varLambda )\) that is defined on *V*(*X*) and a product of complex functions on \(V(\varLambda )\) with functions on \(V(\Diamond )\) that is defined on *E*(*X*). In general, the product of two discrete holomorphic functions is not discrete holomorphic according to the classical quad-based definition (on planar quad-graphs different from \(\varLambda \)), but it will be discrete holomorphic in the sense that a discretization of its exterior derivative is closed and is of the form *pdz*, *p* defined on the edges of the medial graph of the new quad-graph, or in the sense that it fulfills a discrete Morera’s theorem.

### Proposition 2.13

Let \(f,g:V(\varLambda ) \rightarrow \mathbb C\) and \(h:V(\Diamond ) \rightarrow \mathbb C\).

- (i)
\(fdg+g df\) is a closed discrete one-form.

- (ii)
If

*f*and*h*are discrete holomorphic, then*fhdz*is a closed discrete one-form.

### Proof

*df*and

*dg*are closed. Thus,

(ii) By discrete Morera’s Theorem 2.23, discrete holomorphicity of *f* and *h* implies that *fdz* and *hdz* are closed. Thus, \(\oint _{\partial F_v} fh dz=f(v)\oint _{\partial F_v} h dz=0\) as well as \(\oint _{\partial F_Q} fh dz=h(Q)\oint _{\partial F_Q} f dz=0\) for any faces \(F_v\) and \(F_Q\) of *X* corresponding to \(v \in V(\varLambda )\) and \(Q\in F(\varLambda )\). Therefore, *fhdz* is closed.

### Remark

In particular, for any \(f,g:V(\varLambda ) \rightarrow \mathbb C\) a product \(f\cdot g: V(X)\rightarrow \mathbb C\) can be defined by integration of \(fdg+gdf\). Note that this product \(f \cdot g\) is defined up to an additive constant. Furthermore, \(f \cdot h:E(X) \rightarrow \mathbb C\) can be defined by “pointwise” multiplication. If *f*, *g*, *h* are discrete holomorphic, then \(fdg+g df=p dz\) is closed, where \(p=f\cdot \partial _\varLambda g+g\cdot \partial _\varLambda f:E(X)\rightarrow \mathbb C\), and so to say a discrete holomorphic one-form, meaning that \(f\cdot g\) is discrete holomorphic in this sense. Similarly, *fhdz* is closed, so \(f\cdot h\) is discrete holomorphic in the sense that a discrete Morera’s theorem holds true. Even though \(f\cdot g\) is defined on the vertices of the dual of a planar quad-graph different from \(\varLambda \), as well is \(f\cdot h\) on the dual of a different planar quad-graph, these products are generally not discrete holomorphic everywhere according to the quad-based definition of discrete holomorphicity on the dual of a bipartite quad-graph given by the definition in Sect. 2.2.3. To define the mentioned planar quad-graphs, we identify \(Q\in V(\Diamond )\) with such a point in the interior of the face *Q* that all line segments connecting it to the four corners of *Q* lie inside the quadrilateral.

First, \(f\cdot g\) is a complex function on the vertices of *X*. The medial graph *X* is the dual of the bipartite quad-graph with vertex set \(V(\varLambda )\sqcup V(\Diamond )\), edges connecting points \(Q\in V(\Diamond )\) with all incident vertices \(v\in V(\varLambda )\), and faces in one-to-one correspondence to edges of \(\varLambda \). But even if *f* and *g* are discrete holomorphic on \(V(\varLambda )\), \(f\cdot g\) does not need to be a discrete holomorphic function on the faces of the quad-graph we just defined. For example, consider \(f(v)=0\) if *v* is black and \(f(v)=1\) if *v* is white and a discrete holomorphic *g* that is not biconstant. Then, the product \(f\cdot g\) is not discrete holomorphic at all \(Q \in V(\Diamond )\) (seen as vertices of the quad-graph described above) where \(\partial _\varLambda g (Q)\ne 0\).

Second, \(f \cdot h\) is a complex function on the edges of *X*, so it is a function on the vertices of the medial graph of *X*. The medial graph of the medial graph of \(\varLambda \) is the dual of the quad-graph with vertex set \(\left( V(\varLambda )\cup V(\Diamond )\right) \sqcup V(X)\), edges connecting points \(v\in V(\varLambda )\) or \(Q\in V(\Diamond )\) with the midpoints of all incident edges, and each face being in one-to-one correspondence to an edge of *X*. Since *fhdz* is closed, \(f \cdot h\) is discrete holomorphic on the new quad-graph at vertices of \(\varLambda \) or \(\Diamond \) by discrete Morera’s Theorem 2.23. But there is no need for \(f \cdot h\) to be discrete holomorphic at vertices of *X*, even for constant *h*. For example, take the function *f* defined by \(f(v)=0\) if *v* is black and \(f(v)=1\) if *v* is white.

In summary, we defined products \(f\cdot g\) and \(f \cdot h\), where \(f,g:V(\varLambda ) \rightarrow \mathbb C\) and \(h:V(\Diamond )\rightarrow \mathbb C\) are discrete holomorphic, that are local (on each vertex, they depend just on the values of *f* and *g* in a small neighborhood) and discrete holomorphic at least in the sense that its discrete exterior derivative is closed and of the form *pdz* or in the sense that it fulfills a discrete Morera’s theorem.

Somehow missing is a product \(h\cdot h'\), where \(h,h':V(\Diamond )\rightarrow \mathbb C\). In the general case, we do not know an appropriate product so far. But we want to point out that Chelkak and Smirnov showed in [7] that for so-called *spin holomorphic* functions \(h,h'\), the pointwise product satisfies \({{\mathrm{Re}}}\left( \bar{\partial }_{\Diamond }\left( h \cdot h'\right) \right) \equiv 0\).

#### 2.3.2 Discrete Wedge Product

Following Whitney [27], Mercat defined in [19] a discrete wedge product for discrete one-forms living on the edges of \(\varLambda \). Then, the discrete exterior derivative defined by a discretization of Stokes’ theorem is a derivation for the discrete wedge product. However, a discrete Hodge star cannot be defined on \(\varLambda \). To circumvent this problem, Mercat used an averaging map to relate discrete one-forms on the edges of \(\varLambda \) with discrete one-forms on the edges of \(\varGamma \) and \(\varGamma ^*\), i.e., discrete one-forms of type \(\Diamond \). Then, he could define a discrete Hodge star; however, the discrete exterior derivative was not a derivation for the now heterogeneous discrete wedge product.

In this section, a different interpretation of the discrete wedge product is proposed. Still, the notions of Mercat in [19, 20, 21] are recovered. Starting with discrete one-forms of type \(\Diamond \) that are defined on the edges of *X*, a discrete wedge product on (half of) the faces of *X* is defined. This definition is different from Whitney’s [27] and has the advantage that both a discrete wedge product and a discrete Hodge star can be defined on the same structure. In addition, the discrete exterior derivative is now a derivation for the discrete wedge product in a well-defined sense, see Theorem 2.16. It turns out that Theorem 2.16 is a powerful tool leading to discretizations of Green’s identities in Sect. 2.4.1 and of a Cauchy’s integral formula for the discrete derivative of a discrete holomorphic function in Sect. 2.6.

### Lemma 2.14

*p*and

*q*are given by

*e*is an oriented edge of \(X_0\) parallel to a black edge of \(\varGamma _0\), and \(e^*\) is parallel to a white edge of \(\varGamma ^*_0\).

### Proof

First, we show that a representation \(\omega |_{\partial F_Q}=p dz+q d\bar{z}\) exists for any face \(F_Q\) of \(X_0\) corresponding to a quadrilateral \(Q\in V(\Diamond _0)\). Given \(\omega \), we have to solve the system of linear equations \(\int _{e_Q} \omega =p \int _{e_Q} dz+q \int _{e_Q} d\bar{z}\) for all four boundary edges \(e_Q\) of \(F_Q\). Since \(\omega \) is of type \(\Diamond \), we just have to consider two equations, namely one for a boundary edge \(e_b\) of \(F_Q\) parallel to a black edge of \(\varGamma _0\) and one equation for a boundary edge \(e_w\) parallel to a white edge of \(\varGamma ^*_0\). Since all quadrilaterals are nondegenerate, the diagonals are not parallel to each other and it follows that the pair \((dz,d\bar{z})\) gives different values when integrated over \(e_b\) and \(e_w\). Thus, this system of two linear equations in two variables is nondegenerate. It follows that *p*, *q* are uniquely defined on \(V(\Diamond _0)\).

Furthermore, we can find for any quadrilateral \(Q\in V(\Diamond _0)\cong F(\varLambda _0)\) a function *f* that is defined on the vertices \(b_\pm , w_\pm \) of *Q* such that \(2\int _e \omega =f(b_+)-f(b_-)\) and \(2\int _{e^*} \omega =f(w_+)-f(w_-)\), where *e* is one of the two oriented edges of \(X_0\) going from the midpoint of \(b_-\) and \(w_\pm \) to the midpoint of \(b_+\) and \(w_\pm \), and \(e^*\) is one of the two edges connecting the midpoint of \(w_-\) and \(b_\pm \) with the midpoint of \(w_+\) and \(b_\pm \). By discrete Stokes’ Theorem 2.9, we get \(\omega |_{\partial F_Q}=df=p dz +qd\bar{z}\) with \(p=\partial _\varLambda f (Q)\) and \(q=\bar{\partial }_\varLambda f (Q)\). Replacing the differences of *f* in the definition of the discrete derivative by discrete integrals of \(\omega \) yields the desired result.

### Definition

*discrete wedge product*\(\omega \wedge \omega '\) is defined as the discrete two-form of type \(\Diamond \) defined on \(F(X_0)\) that equals

*X*corresponding to interior faces of the quad-graph \(\varLambda _0\).

### Remark

Note that if one considers *dz* and \(d\bar{z}\) as discrete one-forms of type \(\Diamond \), then \(\varOmega _\Diamond =dz \wedge d\bar{z}\).

### Proposition 2.15

*F*be a face of \(X_0\) corresponding to \(Q\in F(\varLambda _0)\), and let \(e,e^*\) be oriented edges of

*X*parallel to the black and white diagonal of the quadrilateral

*Q*, respectively, such that \({{\mathrm{Im}}}\left( e^*/e\right) >0\). If \(\omega ,\omega '\) are discrete one-forms of type \(\Diamond \) defined on the oriented edges of \(\partial F\), then

### Proof

### Remark

Since the complex numbers *e* and \(e^*\) are just half of the oriented diagonals, the above definition of the discrete wedge product is essentially the same as the one given by Mercat in [19, 20, 21].

The discrete exterior derivative is a derivation for the discrete wedge product if one considers functions on \(\varLambda \) and discrete one-forms of type \(\Diamond \):

### Theorem 2.16

### Proof

*v*and a face

*Q*of \(\varLambda _0\), then

### Remark

In [19], Mercat formulated an analog of the above Theorem 2.16 in a setting where discrete one-forms are defined on edges of \(\varLambda \). In the setting of discrete one-forms defined on edges of \(\varGamma \) and \(\varGamma ^*\), the claim \(d(f\omega )=df\wedge \omega +fd\omega \) could not be well-defined.

Above, a discrete wedge product just of two discrete one-forms of type \(\Diamond \) is defined. Actually, we could define a discrete wedge product of two discrete one-forms of type \(\varLambda \) in essentially the same way, getting a discrete two-form of type \(\varLambda \). Then, the analog of Theorem 2.16 would be true for this kind of discrete wedge product and functions on \(V(\Diamond _0)\). Also the discrete Hodge star of a discrete one-form in the next section could be defined not only for those of type \(\Diamond \). However, there exist no analogs of Propositions 2.15 and 2.18. These propositions imply that the discrete wedge product as well as the discrete Hodge star of discrete one-forms of type \(\Diamond \) can be defined in a chart-independent way. This enables one to consider these objects on discrete Riemann surfaces, see [1]. There are no such statements if one chooses discrete one-forms of type \(\varLambda \). In fact, a discrete one-form of type \(\varLambda \) cannot be canonically defined on a discrete Riemann surface as opposed to discrete one-forms of type \(\Diamond \). So since our interest lies in the latter, we do not define a discrete wedge product or a discrete Hodge star for discrete one-forms of type \(\varLambda \).

#### 2.3.3 Discrete Hodge Star

### Definition

*discrete Hodge star*is given by

*discrete scalar product*

### Remark

As in the classical theory, the Hodge star corresponds to a \(\pi /2\)-rotation: \(\int _{ie}\star \omega =\int _e \omega \) where \(\omega \) is a discrete one-form of type \(\Diamond \), *e* an oriented edge of *X* and *ie* its (virtual) image under \(\pi /2\)-rotation around the origin.

### Corollary 2.17

- (i)
\(\star ^2=-\text {Id}\) on discrete one-forms of type \(\Diamond \) defined on oriented edges of \(X_0\).

- (ii)
\(\star ^2=\text {Id}\) on complex functions on \(V(\varLambda _0)\) or \(V(\Diamond _0)\) and discrete two-forms defined on \(F(X_0)\) of type \(\varLambda \) or \(\Diamond \).

- (iii)
\(f:V(\varLambda _0)\rightarrow \mathbb C\) is discrete holomorphic if and only if \(\star df=-idf\).

- (iv)
\(\langle f_1,f_2 \rangle = \iint _{F(X_0)} f_1 \overline{\star f_2}\) for functions \(f_1,f_2:V(\varLambda _0)\rightarrow \mathbb C\) and

\(\langle h_1,h_2 \rangle = \iint _{F(X_0)} h_1 \overline{\star h_2}\) for functions \(h_1,h_2:V(\Diamond _0)\rightarrow \mathbb C\).

- (v)
\(\langle \cdot ,\cdot \rangle \) is a Hermitian scalar product on discrete differential forms (of type \(\varLambda \) or of type \(\Diamond \)).

### Proposition 2.18

*X*parallel to the black and white diagonal of

*Q*, respectively, such that \({{\mathrm{Im}}}\left( e^*/e\right) >0\). If \(\omega \) is a discrete one-form of type \(\Diamond \) defined on the oriented edges of the boundary of the face of

*X*corresponding to

*Q*, then

### Proof

*e*and \(e^*\), the same statement is true for the second equation. Thus, we may assume \(e=1\) and \(e^*=\cos \left( \varphi _Q\right) +i\sin (\varphi _Q)\). Multiplying both equations by \(\sin (\varphi _Q)\) gives the equivalent statements

### Remark

Proposition 2.18 shows that our definition of a discrete Hodge star on discrete one-forms coincides with Mercat’s definition given in [21]. But on discrete two-forms and complex functions, our definition of the discrete Hodge star includes an additional factor of the area of the corresponding face of *X*.

### Proposition 2.19

*formal adjoint*of the discrete exterior derivative

*d*: Let \(f:V(\varLambda )\rightarrow \mathbb C\), and let \(\omega \) be a discrete one-form of type \(\Diamond \) defined on the oriented edges of

*X*and \(\varOmega :F(X)\rightarrow \mathbb C\) a discrete two-form of type \(\varLambda \). Assume that all of them are compactly supported. Then,

### Proof

### 2.4 Discrete Laplacian

The discrete Laplacian and the discrete Dirichlet energy on general quad-graphs were introduced by Mercat in [21]. Later, Skopenkov reintroduced these definitions in [23], taking the same definition in a different notation. In our discussion of the discrete Laplacian in Sect. 2.4.1, we follow the classical approach of Mercat (up to sign) and adapt it to our notations. A feature of the medial graph approach is that it allows to formulate a discrete analog of Green’s first identity from which discrete Green’s second identity immediately follows.

In Sect. 2.4.2, the discrete Dirichlet energy is investigated. In particular, in Theorem 2.30 it is shown how uniqueness and existence of solutions to the discrete Dirichlet boundary value problem imply surjectivity of the discrete derivatives and the discrete Laplacian. We conclude this section with a result concerning the asymptotics of discrete harmonic functions.

#### 2.4.1 Definition and Basic Properties

### Definition

*discrete Laplacian*on functions \(f:V(\varLambda )\rightarrow \mathbb C\), discrete one-forms of type \(\Diamond \), or discrete two-forms of type \(\varLambda \) is defined as the linear operator

*f*is said to be

*discrete harmonic*at \(v\in V(\varLambda _0)\backslash V(\partial \varLambda _0)\) if \(\triangle f(v)=0\).

*f*is

*discrete harmonic*if it is discrete harmonic at all such

*v*.

The following factorization of the discrete Laplacian in terms of discrete derivatives generalizes the corresponding result given by Chelkak and Smirnov in [6] to general quad-graphs. The local representation of \(\triangle f\) at \(v\in V(\varLambda )\) is, up to a factor involving the area of the face \(F_v\) of *X* corresponding to *v*, the same as Mercat’s [21].

### Corollary 2.20

*v*is black, and \(\rho _s:=1/\rho _{Q_s}\) if

*v*is white.

In particular, \({{\mathrm{Re}}}(\triangle f)\equiv \triangle {{\mathrm{Re}}}(f)\) and \({{\mathrm{Im}}}(\triangle f)\equiv \triangle {{\mathrm{Im}}}(f)\).

### Proof

*X*parallel to the black diagonal \(vv_s\) and \(e^*_s\) an edge parallel to the dual diagonal, then

*df*itself in the second equality, and \(|\rho _{Q_s}|=|e^*_s|/|e_s|\) for the last step.

### Remark

In the case when the diagonals of the quadrilaterals are orthogonal to each other, \(\rho _Q\) is always a positive real number. In this case, the discrete Laplacian splits into two separate discrete Laplacians on \(\varGamma \) and \(\varGamma ^*\). In this case, it is known and actually an immediate consequence of the local representation in Corollary 2.20 that a discrete maximum principle holds true, i.e., a discrete harmonic function can attain its maximum only at the boundary of a closed region. This is not true for general quad-graphs, see for example Skopenkov’s paper [23].

### Corollary 2.21

Let \(f:V(\varLambda _0)\rightarrow \mathbb C\).

- (i)
If

*f*is discrete harmonic, then \(\partial _\varLambda f\) is discrete holomorphic. - (ii)
If

*f*is discrete holomorphic, then*f*, \({{\mathrm{Re}}}f\), and \({{\mathrm{Im}}}f\) are discrete harmonic.

### Proof

By Corollary 2.20, \(\triangle f \equiv 4 \bar{\partial }_\Diamond \partial _\varLambda f\equiv 4 \partial _\Diamond \bar{\partial }_\varLambda f\). In particular, \(\bar{\partial }_\Diamond \partial _\varLambda f \equiv 0\) if \(\triangle f \equiv 0\), which shows (i). Also, *f* is discrete harmonic if it is discrete holomorphic. Using \({{\mathrm{Re}}}(\triangle f)\equiv \triangle {{\mathrm{Re}}}(f)\) and \({{\mathrm{Im}}}(\triangle f)\equiv \triangle {{\mathrm{Im}}}(f)\), \({{\mathrm{Re}}}(f)\) and \({{\mathrm{Im}}}(f)\) are discrete harmonic if *f* is.

Similar to Proposition 2.1 that compares the discrete derivative \(\partial _\varLambda \) with the smooth derivative, the discrete Laplacian coincides with the smooth one up to order one in the general case and up to order two for parallelogram-graphs. This was already shown by Skopenkov in [23]. Since this result follows immediately from our previous ones, we give a proof here as well.

### Proposition 2.22

Let \(f_{\mathbb C}:\mathbb C\rightarrow \mathbb C\) and *f* its restriction to \(V(\varLambda )\).

- (i)
If \(f_{\mathbb C}(z)\) is a polynomial in \({{\mathrm{Re}}}(z)\) and \({{\mathrm{Im}}}(z)\) of degree at most one, then the smooth and the discrete Laplacian coincide on vertices: \(\triangle _{\mathbb C} f_{\mathbb C} (v)=\triangle f (v)=0\).

- (ii)
Let all faces of \(\varLambda \) be parallelograms. If \(f_{\mathbb C}(z)\) is a polynomial in \({{\mathrm{Re}}}(z)\) and \({{\mathrm{Im}}}(z)\) of degree at most two, then the smooth and the discrete Laplacian coincide on vertices: \(\triangle _{\mathbb C} f_{\mathbb C} (v)=\triangle f (v)\).

### Proof

(i) Proposition 2.1(ii) says that the function \(f(v)=v\) is discrete holomorphic and Corollary 2.21(ii) that real and imaginary part of discrete holomorphic functions are discrete harmonic. Since constants are discrete harmonic, the statement follows.

### Remark

The second part of the last proposition generalizes the known result for rhombi given by Chelkak and Smirnov [6]. Note that this is not true for general quadrilaterals even if one assumes that the diagonals of quadrilaterals are orthogonal to each other. For this, consider the following (finite) bipartite quad-graph of Fig. 4: the black vertex 0 is adjacent to the white vertices \(\pm 1\) and \(\pm i\) in the quad-graph and adjacent to the black vertices \(2+2i\), \(-1\pm i\), and \(1-i\) in the graph on black vertices. There are no further vertices. Then, \(\triangle f (0)\ne 0\) for \(f(v)=v^2\). Indeed, we would get \(\triangle f (0)= 0\) if we had replaced \(v=2+2i\) by \(v=1+i\) obtaining a rhombic quad-graph; but \(\left( |\rho _Q|^2/{{\mathrm{Re}}}(\rho _Q)\right) \left( f(v)-f(0)\right) \) scales by a factor of 2, whereas the other nonzero summands in the formula for \(\triangle f (0)\) remain invariant.

*f*to \(V(\varLambda )\), Skopenkov compared the integral of \(\triangle _\mathbb Cf_\mathbb C\) over a square domain

*R*and a sum of \(\triangle f (v)\) over black vertices

*v*in

*R*[23]. Moreover, he showed that for \(f(v)=|v|^2\),

### Definition

In the rhombic setup, discrete versions of Green’s second identity were already stated by Mercat [19], whose integrals were not well-defined separately, and Chelkak and Smirnov [6], whose boundary integral was an explicit sum involving boundary angles. Skopenkov formulated a discrete Green’s second identity with a vanishing boundary term [23].

### Theorem 2.23

Let \(\Diamond _0 \subset \Diamond \) be finite, and let \(f,g:V(\varLambda _0)\rightarrow \mathbb C\).

- (i)
Discrete Green’s first identity: \(\langle f,\triangle g\rangle + \langle df, dg\rangle =\oint \limits _{\partial X_0} f \star d\bar{g}.\)

- (ii)
Discrete Green’s second identity: \(\langle f, \triangle g\rangle -\langle \triangle f, g\rangle =\oint \limits _{\partial X_0} \left( f \star d\bar{g} - \bar{g} \star df\right) .\)

### Proof

(ii) Just apply twice discrete Green’s first identity, once with the roles of *f* and *g* interchanged, and subtract the equations from another.

The following *discrete Weyl’s lemma* is a direct consequence of discrete Green’s second identity, Theorem 2.23(ii). A version for rhombic quad-graphs was given by Mercat in [19], proven by an explicit calculation.

### Corollary 2.24

\(f:V(\varLambda )\rightarrow \mathbb C\) is discrete harmonic if and only if \(\langle f, \triangle g \rangle =0\) for every compactly supported \(g:V(\varLambda )\rightarrow \mathbb C\).

Skopenkov introduced the notion of discrete harmonic conjugates in [23]. We recover his definitions in our notation, observing that his discrete gradient corresponds to the discrete exterior derivative and his counterclockwise rotation by \(\pi /2\) to the discrete Hodge star.

### Definition

Let *f* be a real (discrete harmonic) function on \(V(\varLambda _0)\). A real discrete harmonic function \(\tilde{f}\) on \(V(\varLambda _0)\) is said to be a *discrete harmonic conjugate of* *f* if \(f+i\tilde{f}\) is discrete holomorphic at all vertices of \(\Diamond _0\).

Note that the existence of a real function \(\tilde{f}\) such that \(f+i\tilde{f}\) is discrete holomorphic requires already that *f* is discrete harmonic at all interior vertices of \(\varLambda _0\) (i.e., \(V(\varLambda _0)\backslash V(\partial \varLambda _0)\)) due to Corollary 2.21(ii) implying that the real part of a discrete holomorphic function is discrete harmonic.

### Lemma 2.25

Let \(f:V(\varLambda _0)\rightarrow \mathbb R\) satisfy \(\triangle f(v)=0\) for all \(v \in V(\varLambda _0)\backslash V(\partial \varLambda _0)\).

- (i)
The discrete harmonic conjugate \(\tilde{f}\) is unique up to two additive real constants on \(\varGamma _0\) and \(\varGamma _0^*\).

- (ii)
If \(\Diamond _0\) forms a simply-connected closed region, then a discrete harmonic conjugate \(\tilde{f}\) exists.

### Proof

(i) If \(\tilde{f}_1\) and \(\tilde{f}_2\) are two real discrete harmonic conjugates, then their difference \(\tilde{f}_1-\tilde{f}_2\) is real and discrete holomorphic at all vertices of \(\Diamond _0\). So by Proposition 2.2(ii) (\(\Diamond _0\) is connected), it is biconstant as a real discrete holomorphic function.

*f*is harmonic, \(d\star d f=0\), i.e., \(\star df\) is closed and of type \(\Diamond \). Moreover, reality of

*f*implies \(\star df=-i \partial _\varLambda f dz + i\bar{\partial }_\varLambda f d\bar{z}= 2{{\mathrm{Im}}}\left( \partial _\varLambda f dz \right) \). So in the same manner as in the proof of Proposition 2.8 (existence of a discrete primitive if \(\Diamond _0\) forms a simply-connected closed region), \(\star df\) can be integrated to a real function \(\tilde{f}\) on \(V(\varLambda _0)\). Since

*pdz*and of type \(\Diamond \), \(f+i\tilde{f}\) is discrete holomorphic by Corollary 2.12.

Note that in the case of quadrilaterals with orthogonal diagonals, such that \(\triangle \) splits into two discrete Laplacians on \(\varGamma \) and \(\varGamma ^*\), it follows that a discrete harmonic conjugate of a discrete harmonic function on \(V(\varGamma )\) can be defined on \(V(\varGamma ^*)\) and vice versa, as was already noted by Chelkak and Smirnov in [6].

### Corollary 2.26

Let \(f:V(\varLambda _0)\rightarrow \mathbb C\) be discrete holomorphic at all vertices of \(\Diamond _0\). Then, \({{\mathrm{Im}}}(f)\) is uniquely determined by \({{\mathrm{Re}}}(f)\) up to two additive constants on \(\varGamma _0\) and \(\varGamma _0^*\).

#### 2.4.2 Discrete Dirichlet Energy

We follow the classical approach of discretizing the Dirichlet energy introduced by Mercat in [21]. Note that Skopenkov’s definition in [23] is exactly the same. In particular, Skopenkov’s results, including an approximation property of the Laplacian, convergence of the discrete Dirichlet energy to the smooth Dirichlet energy for nondegenerate uniform sequences of quad-graphs, and further theorems for quad-graphs with orthogonal diagonals apply as well in our setting. We refer to his work [23] for details on these results.

### Definition

For a function \(f:V(\varLambda _0)\rightarrow \mathbb C\), we define the *discrete Dirichlet energy* of *f* on \(\Diamond _0\) as \(E_{\Diamond _0}(f):=\langle df,df \rangle \in [0,\infty ]\).

If \(\Diamond _0\) is finite, then the *discrete Dirichlet boundary value problem* asks for a real function *f* on \(V(\varLambda _0)\) such that *f* is discrete harmonic at all points of \(V(\varLambda _0) \backslash V(\partial \varLambda _0)\) and such that *f* agrees with a preassigned real function \(f_0\) on the boundary \(V(\partial \varLambda _0)\).

### Proposition 2.27

### Proof

*Q*. Furthermore, \(E_{\Diamond _0}(f)=E_{\Diamond _0}({{\mathrm{Re}}}(f))+E_{\Diamond _0}({{\mathrm{Im}}}(f))\) allows us to restrict to real functions

*f*. Then, \(E_Q(f)\) equals

*Q*in counterclockwise order, starting with a black vertex, and \(F_Q\) is the face of

*X*corresponding to

*Q*.

The same formula of \(E_{\Diamond _0}(f)\) was given by Mercat [21].

In the case of rhombic quad-graphs, Duffin proved in [10] that the discrete Dirichlet boundary value problem has a unique solution. The same argument applies for general quad-graphs with the discrete Dirichlet energy defined here. Using a different notation, Skopenkov proved existence and uniqueness of solutions of the discrete Dirichlet boundary value problem as well [23].

### Lemma 2.28

Let \(\Diamond _0 \subset \Diamond \) be finite and \(f_0:V(\partial \varLambda _0)\rightarrow \mathbb R\). We consider the affine space of real functions \(f:V(\varLambda _0)\rightarrow \mathbb R\) that agree with \(f_0\) on the boundary.

*f*(

*v*). Furthermore,

### Proof

By construction, \(E_{\Diamond _0}\) is a quadratic form in the vector space of real functions \(f:V(\varLambda _0)\backslash V(\partial \varLambda _0)\rightarrow \mathbb R\). In particular, it is convex, nonnegative, and quadratic in terms of the values *f*(*v*). Thus, global minima exist. To prove strict convexity, it suffices to check that the minimum is unique.

*d*. To apply the proposition, we consider \(\phi \) as a function on \(V(\varLambda )\) and extend

*f*to \(V(\varLambda )\) by setting it zero on \(V(\varLambda )\backslash V(\varLambda _0)\). This changes neither \(\langle df,d\phi \rangle \) nor \(2 \langle \triangle f, \phi \rangle \).

It follows that exactly the minima of \(E_{\Diamond _0}\) are discrete harmonic and therefore solve the discrete Dirichlet boundary value problem. The difference *g* of two minima is a discrete harmonic function vanishing on the boundary. Similar to the argument given in the previous paragraph, \(E_{\Diamond _0}(g)=\langle dg,dg \rangle =-\langle \triangle g,g\rangle =0\) by Proposition 2.19 since *g* is zero on \(V(\partial \varLambda _0)\). But only biconstant functions have zero energy. Thus, the difference has to vanish everywhere, i.e., minima are unique.

In the following, we apply Lemma 2.28 to show that \(\partial _\varLambda ,\bar{\partial }_\varLambda ,\partial _\Diamond ,\bar{\partial }_\Diamond ,\triangle \) are surjective operators. This implies immediately the existence of discrete Green’s functions and discrete Cauchy’s kernels, as we will see in Sects. 2.5 and 2.6.

### Lemma 2.29

Let \(\Diamond _0\subset \Diamond \) be finite and assume that it forms a simply-connected closed region. Then, the discrete derivatives \(\partial _\varLambda , \bar{\partial }_\varLambda ,\partial _\Diamond , \bar{\partial }_\Diamond \) and the discrete Laplacian \(\triangle \) are surjective operators. That means, given any complex functions \(h_0\) on \(V(\Diamond _0)\) and \(f_0\) on \(V(\varLambda _0) \backslash V(\partial \varLambda _0)\), there exist functions \(h_\partial , h_{\bar{\partial }}\) on \(V(\Diamond _0)\) and \(f_\partial , f_{\bar{\partial }}, f_\triangle \) on \(V(\varLambda _0)\) such that \(\partial _\Diamond h_\partial = \bar{\partial }_\Diamond h_{\bar{\partial }}=\triangle f_\triangle =f_0\) and \(\partial _\varLambda f_\partial = \bar{\partial }_\varLambda f_{\bar{\partial }}=h_0\). If \(f_0\) is real-valued, then \(f_\triangle \) can be chosen real-valued as well.

### Proof

Denote by *B* the number of vertices of \(\partial \varLambda _0\). By assumption, \(\partial \varLambda _0\) is a simple closed broken line with *B* edges.

By the previous Lemma 2.28, the space of real discrete harmonic functions on \(V(\varLambda _0)\) has dimension *B*. Clearly, real and imaginary part of a discrete harmonic function are itself discrete harmonic. Therefore, the complex dimension of the space of complex discrete harmonic functions, i.e., of the kernel of \(\triangle \), is *B* as well. Thus, \(\triangle :\mathbb {K}^{V(\varLambda _0)} \rightarrow \mathbb {K}^{V(\varLambda _0\backslash \partial \varLambda _0)}\) is a surjective linear operator with \(\mathbb {K}\in \{\mathbb R,\mathbb C\}\).

Now, \(\triangle =4\partial _\Diamond \bar{\partial }_\varLambda =4\bar{\partial }_\Diamond \partial _\varLambda \) by Corollary 2.20, so \(\partial _\Diamond ,\bar{\partial }_\Diamond :\mathbb C^{V(\Diamond _0)} \rightarrow \mathbb C^{V(\varLambda _0\backslash \partial \varLambda _0)}\) are surjective as well. The kernel of \(\bar{\partial }_\Diamond \) consists of all discrete holomorphic functions on \(V(\Diamond _0)\). By Proposition 2.8 (\(\Diamond _0\) forms a simply-connected closed region), any such function has a discrete primitive, i.e., the kernel is contained in the image of \(\partial _\varLambda \). Using the surjectivity of \(\triangle \), it follows that \(\partial _\varLambda :\mathbb C^{V(\varLambda _0)} \rightarrow \mathbb C^{V(\Diamond _0)}\) is surjective. The same is true for \(\bar{\partial }_\varLambda \).

### Theorem 2.30

The discrete derivatives \(\partial _\varLambda ,\bar{\partial }_\varLambda ,\partial _\Diamond ,\bar{\partial }_\Diamond \) and the discrete Laplacian \(\triangle \) (defined on complex or real functions) are surjective operators on the vector space of functions on \(V(\varLambda )\) or \(V(\Diamond )\).

### Proof

Let \(\Diamond _0 \subset \Diamond _1 \subset \Diamond _2 \subset \ldots \subset \Diamond \) be a sequence of finite subgraphs forming simply-connected closed regions such that \(\bigcup _{k=0}^\infty \Diamond _k=\Diamond \). By \(\varLambda _k\) we denote the subgraph of \(\varLambda \) whose vertices and edges are the vertices and edges of quadrilaterals in \(\Diamond _k\).

*k*.

Inductively, assume that \(f_j:V(\varLambda _j)\rightarrow \mathbb C\) is mapped to \(h|_{V(\Diamond _j)}\) by \(\partial _\varLambda \) (or \(\bar{\partial }_\varLambda \)) and that \(f_j\) can be extended to a function in \(A^{(j)}_k\) for all \(k\geqslant j\). Let \(A^{(j+1)}_k\), \(k\geqslant j+1\), be the affine space of all complex functions on \(V(\varLambda _k)\) that are mapped to \(h|_{V(\Diamond _k)}\) by \(\partial _\varLambda \) (or \(\bar{\partial }_\varLambda \)) and whose restriction to \(V(\varLambda _j)\) is equal to \(f_j\). By assumption, all these spaces are nonempty. In the same way as above, there is a function \(f_{j+1}\) extending \(f_j\) to \(V(\varLambda _{j+1})\) that is mapped to \(h|_{V(\Diamond _{j+1})}\) by \(\partial _\varLambda \) (or \(\bar{\partial }_\varLambda \)) and that can be extended to a function in \(A^{(j+1)}_k\) for all \(k\geqslant j+1\).

For \(v \in V(\varLambda _k)\), define \(f(v):=f_k(v)\). *f* is a well-defined complex function on \(V(\varLambda )\) with \(\partial _\varLambda f=h\) (or \(\bar{\partial }_\varLambda f=h\)). Hence, \(\partial _\varLambda ,\bar{\partial }_\varLambda :\mathbb C^{V(\varLambda )}\rightarrow \mathbb C^{V(\Diamond )}\) are surjective.

Replacing \(V(\Diamond _k)\) by \(V(\varLambda _k) \backslash V(\partial \varLambda _k)\), we obtain with the same arguments that \(\triangle \) is surjective, regardless whether \(\triangle \) is defined on real or complex functions. Finally, \(\partial _\Diamond ,\bar{\partial }_\Diamond :\mathbb C^{V(\Diamond )}\rightarrow \mathbb C^{V(\varLambda )}\) are surjective due to \(\triangle =4\partial _\Diamond \bar{\partial }_\varLambda =4\bar{\partial }_\Diamond \partial _\varLambda \) by Corollary 2.20.

In the case of rhombic quad-graphs with bounded interior angles, Kenyon proved the existence of a discrete Green’s function and a discrete Cauchy’s kernel with asymptotic behaviors similar to the classical setting [16]. But in the general case, it seems to be practically impossible to speak about any asymptotic behavior of certain discrete functions. For this reason, we will consider functions that discretize Green’s functions and Cauchy’s kernels apart from their asymptotics in Sects. 2.5 and 2.6. Not requiring a certain asymptotic behavior leads to non-uniqueness of these functions.

Still, one can expect results concerning the asymptotics of special discrete functions if the interior angles and the side lengths of the quadrilaterals are bounded, meaning that the quadrilaterals do not degenerate at infinity. And indeed, on such quad-graphs any discrete harmonic function whose difference functions on \(V(\varGamma )\) and \(V(\varGamma ^*)\) have asymptotics \(o(v^{-1/2})\) as \(|v|\rightarrow \infty \) is biconstant. In the rhombic setting, Chelkak and Smirnov showed that a discrete Liouville’s theorem holds true, i.e., any bounded discrete harmonic function on \(V(\varLambda )\) vanishes [6].

### Theorem 2.31

Assume that there exist constants \(\alpha _{0}>0\) and \(E_{1}\geqslant E_{0}>0\) such that \(\alpha \geqslant \alpha _{0}\) and \(E_{1}\geqslant e \geqslant E_{0}\) for all interior angles \(\alpha \) and side lengths *e* of quadrilaterals \(Q\in F(\varLambda )\). If \(f:V(\varLambda ) \rightarrow \mathbb C\) is discrete harmonic and \(f(v_+)-f(v_-)=o(v_{\pm }^{-1/2})\) for any two adjacent \(v_\pm \in V(\varGamma )\) or \(v_\pm \in V(\varGamma ^*)\) as \(|v_\pm |\rightarrow \infty \), then *f* is biconstant.

### Proof

Without loss of generality, we can restrict to real functions *f*. Assume that *f* is not biconstant. Then, \(df \wedge \star df\) is nonzero somewhere on a face *F* of *X*. In particular, the discrete Dirichlet energy of *f* is bounded away from zero if a domain contains *F*. Now, the idea of proof is to show that if the domain is large enough but still compact, the function being zero in the interior and equal to *f* on the boundary has a smaller discrete Dirichlet energy than *f*, contradicting Lemma 2.28 that implies that *f* is the unique minimizer of the discrete Dirichlet energy on that domain.

Let us first bound the intersection angles and the lengths of diagonals of the quadrilaterals. Take \(Q \in F(\varLambda )\) and denote its vertices by \(b_-,w_-,b_+,w_+\) in counterclockwise order, starting with a black vertex. Then, there are two opposite interior angles that are less than \(\pi \), say \(\alpha _\pm \) at vertices \(b_\pm \). Since all interior angles are bounded by \(\alpha _0\) from below, one of \(\alpha _\pm \) is less than or equal to \(\pi -\alpha _0\), say \(\alpha _0\leqslant \alpha _-\leqslant \pi -\alpha _0\).

*Q*equals

*B*(0,

*r*) around 0 and radius

*r*. Let \(R>2E_1\), and consider the ball \(B_{\Diamond }(0,R)\subset V(\Diamond )\). Since \(\varLambda \) is locally finite, \(B_{\Diamond }(0,R)\) is finite. Also, if we connect two elements of \(B_{\Diamond }(0,R)\) if they are adjacent in \(\Diamond \), then we obtain a connected subgraph of \(\Diamond \) that we will also denote by \(B_{\Diamond }(0,R)\). To see that it is connected, we observe that the closed region in the complex plane formed by the quadrilaterals in \(B_{\Diamond }(0,R)\) is connected, and that if \(Q \in B_{\Diamond }(0,R)\), then one of its corners, say

*v*, has to lie in

*B*(0,

*R*) and so all quadrilaterals incident to

*v*are in \(B_{\Diamond }(0,R)\). We denote by \(\varLambda _R\) the subgraph of \(\varLambda \) that consists of all the vertices and edges of quadrilaterals in \(B_{\Diamond }(0,R)\)

Since edge lengths are bounded by \(E_1\), all elements of \(B_{\Diamond }(0,R)\) that are not completely contained in *B*(0, *R*) are contained in \(B(0,R+2E_1)\backslash B(0,R-2E_1)\). The area of the latter is \(8\pi R E_1\). Any quadrilateral has area at least \(E_0^2 \sin (\alpha _0)/2\), so at most \(16\pi R E_1/(E_0^2 \sin (\alpha _0))\) quadrilaterals of \(B_{\Diamond }(0,R)\) do not lie completely in *B*(0, *R*). We call these quadrilaterals for short *boundary faces*.

*f*at \(V(\partial \varLambda _R)\) and equal to 0 in \(V(\varLambda _R)\backslash V(\partial \varLambda _R)\). When computing the discrete Dirichlet energy of \(f_R\) on \(B_{\Diamond }(0,R)\), only boundary faces can give nonzero contributions. If we look at the formula of the discrete Dirichlet energy in Proposition 2.27 and use in addition that \(f(v_+)-f(v_-)=o(R^{-1/2})\) for vertices of boundary faces, then we see that any contribution of a boundary face has asymptotics \(o(R^{-1})\). For this, we use that \(\left| {{\mathrm{Re}}}\left( \rho _Q)\right) \right| \) is bounded from below by a constant and \(\left| {{\mathrm{Im}}}\left( \rho _Q\right) \right| \leqslant \left| \rho _Q\right| <2E_1/E'_0\). Using that there are only

*O*(

*R*) faces in the boundary (the constant depending on \(E_0,E_1,\alpha _0\) only), the discrete Dirichlet energy \(E_{B_{\Diamond }(0,R)}(f_R)\), considered as a function of

*R*, behaves as

*o*(1). So if

*R*is large enough, then

*f*minimizes the discrete Dirichlet energy by Lemma 2.28.

### 2.5 Discrete Green’s Functions

### Definition

*(free) discrete Green’s function*for \(v_0\) if

### Remark

It is important to note that discrete Green’s functions as we defined them are far from being unique. The contrast to the smooth setting or the rhombic case investigated by Kenyon [16], Chelkak and Smirnov [6] is that no asymptotics are required. So it might be more appropriate to call these functions *functions of discrete Green’s function type*, but for the sake of convenience, we still call them discrete Green’s functions.

However, when considering planar parallelogram-graphs with bounded interior angles and bounded ratio of side lengths in Sect. 3.3, existence of a discrete Green’s function with asymptotics generalizing the corresponding result for rhombic quad-graphs is proven.

As a corollary of Theorem 2.30 we get existence of discrete Green’s functions.

### Corollary 2.32

A discrete Green’s function exists for any \(v_0 \in V(\varLambda )\).

### Proof

By Theorem 2.30, \(\triangle \) is surjective, so there exists a function \(G:V(\varLambda )\rightarrow \mathbb R\) with \(\triangle G(v)=\delta _{vv_0}/\left( 2\text {ar}(F_{v_0})\right) \). Since constant functions are discrete harmonic, we can adjust *G* to get \(G(v_0)=0\).

The following notion of discrete Greens’ functions in a discrete domain follows the presentation of Chelkak and Smirnov in [6].

### Definition

*discrete Green’s function in*\(\varLambda _0\)

*for*\(v_0\) if

An immediate corollary of Lemma 2.29 is now the existence of these functions.

### Corollary 2.33

Let \(\Diamond _0\subset \Diamond \) be finite and form a simply-connected closed region. Furthermore, let \(v_0 \in V(\varLambda _0) \backslash V(\partial \varLambda _0)\). Then, there exists a unique discrete Green’s function in \(\varLambda _0\) for \(v_0\).

### Proof

Due to our assumptions on \(\Diamond _0\), existence follows from Lemma 2.29 stating surjectivity of \(\triangle \) on such domains. Since the difference of two discrete Green’s functions in \(\varLambda _0\) for \(v_0\) is discrete harmonic on \(V(\varLambda _0)\) and equals zero on the boundary \(V(\partial \varLambda _0)\), it has to be identically zero by Lemma 2.28 since the zero function is the unique solution of the corresponding discrete Dirichlet boundary value problem.

### 2.6 Discrete Cauchy’s Integral Formulae

In this section, we first formulate discretizations of the standard Cauchy’s integral formula, both for discrete holomorphic functions on \(V(\varLambda )\) and \(V(\Diamond )\). Later, we give with Theorem 2.36 a discrete formulation of Cauchy’s integral formula for the derivative of a holomorphic function. We conclude this part with Sect. 2.6.1, where we relate our formulation of the discrete Cauchy’s integral formula for discrete holomorphic functions on \(V(\Diamond )\) with Chelkak’s and Smirnov’s notation in [6].

### Definition

*Discrete Cauchy’s kernels*

*with respect to*\(Q_0 \in V(\Diamond )\)

*and*\(v_0\in V(\varLambda )\) are functions \(K_{Q_0}:V(\varLambda ) \rightarrow \mathbb C\) and \(K_{v_0}:V(\Diamond ) \rightarrow \mathbb C\), respectively, that satisfy for all \(Q \in V(\Diamond )\), \(v \in V(\varLambda )\):

*discrete Cauchy’s kernels on*\(V(\varLambda _0)\)

*or*\(V(\Diamond _0)\), respectively.

Clearly, the restrictions of discrete Cauchy’s kernels to \(V(\varLambda _0)\) *or* \(V(\Diamond _0)\), respectively, are discrete Cauchy’s kernels on \(V(\varLambda _0)\) *or* \(V(\Diamond _0)\), respectively.

### Remark

It is important to note that exactly as discrete Green’s functions, discrete Cauchy’s kernels as we defined them are far from being unique. Again, it might be more appropriate to call these functions *functions of discrete Cauchy’s kernel type*, but we still call them discrete Cauchy’s kernels.

But if interior angles and side lengths of quadrilaterals are bounded, then it follows from Theorem 2.31 that any discrete Cauchy’s kernel with respect to a vertex of \(\Diamond \) with asymptotics \(o(v^{-1/2})\) as \(|v|\rightarrow \infty \) is necessarily unique, but we cannot prove existence so far. In Sect. 3.4, explicit formulae for discrete Cauchy’s kernels with asymptotics similar to the smooth setting are given, generalizing Kenyon’s result [16] on rhombic quad-graphs to parallelogram-graphs.

The existence of discrete Cauchy’s kernels follows from the surjectivity of discrete derivatives by Theorem 2.30:

### Corollary 2.34

Let \(Q_0 \in V(\Diamond )\) and \(v_0\in V(\varLambda )\) be arbitrary. Then, discrete Cauchy’s kernels with respect to \(Q_0\) and \(v_0\) exist.

### Theorem 2.35

Let *f* and *h* be discrete holomorphic functions on \(V(\varLambda _0)\) and \(V(\Diamond _0)\), respectively. Furthermore, let \(v_0 \in V(\varLambda _0)\backslash V(\partial \varLambda _0)\) and \(Q_0 \in V(\Diamond _0)\) be given, and let \(K_{v_0}:V(\Diamond )\rightarrow \mathbb C\) and \(K_{Q_0}:V(\varLambda )\rightarrow \mathbb C\) be discrete Cauchy’s kernels with respect to \(v_0\) and \(Q_0\) on \(V(\Diamond _0)\) and \(V(\varLambda _0)\), respectively.

*discrete Cauchy’s integral formulae*hold:

### Proof

*v*being an interior vertex and

*Q*an interior face of \(\varLambda _0\). By Lemma 2.3 that relates \(\partial _\varLambda ,\bar{\partial }_\varLambda \) with discrete contour integrals and the definition of \(\bar{\partial }_{\Diamond }\), we get:

*f*(

*v*), in the second one \(K_{v_0}(Q)\).

By definition, the discrete contour \(C_{v_0}\) is the oriented boundary of a topological disk in \(F(X_0)\), so we can decompose the integration along \(C_{v_0}\) into a couple of integrations along discrete elementary cycles \(P_v\) and \(P_Q\) as above. Summing up, only the contribution of \(P_{v_0}\) is nonvanishing, and we get the desired result. The second formula is shown in an analog fashion.

### Remark

In the case of rhombic quad-graphs, Mercat formulated a discrete Cauchy’s integral formula for the average of a discrete holomorphic function on \(V(\varLambda )\) along an edge of \(\varLambda \). In [6], Chelkak and Smirnov provided a discrete Cauchy’s integral formula for discrete holomorphic functions on \(V(\Diamond )\) using an integration along cycles on \(\varGamma \) and \(\varGamma ^*\), see Sect. 2.6.1.

### Theorem 2.36

*discrete Cauchy’s integral formula*is true:

### Proof

*D*be the discrete domain in \(F(X_0)\) bounded by \(C_{Q_0}\). Since no edge of \(C_{Q_0}\) passes through \(Q_0\), the discrete one-form \(\bar{\partial }_\varLambda K_{Q_0}d\bar{z}\) vanishes on \(C_{Q_0}\). Therefore, \(dK_{Q_0}=\partial _\varLambda K_{Q_0}dz\) on \(C_{Q_0}\) and

*f*is discrete holomorphic, so we obtain \(df\wedge dK_{Q_0}=\partial _\varLambda f \bar{\partial }_\varLambda K_{Q_0} \varOmega _\Diamond \). But \(\bar{\partial }_\varLambda K_{Q_0}\) vanishes on all vertices of \(\Diamond _0\) but \(Q_0\). Finally,

### Remark

In general, there exists no analog of the above Theorem 2.36 for the discrete derivative of a discrete holomorphic function on \(V(\Diamond _0)\), because the discrete derivative itself does not need to be discrete holomorphic. However, in the special case of integer lattices, any discrete derivative of a discrete holomorphic function is itself discrete holomorphic. In Sect. 3.5, we will obtain discrete analogs of Cauchy’s integral formulae for higher derivatives of discrete holomorphic functions.

#### 2.6.1 A Different Notation

Let *W* be a cycle on the edges of \(\varGamma ^*\), having (ordered) white vertices \(w_0,w_1,\ldots , w_m\), \(w_m=w_0\). Then, any edge connecting two consecutive vertices \(w_k,w_{k+1}\) forms the diagonal of a quadrilateral face \(Q(w_k,w_{k+1})\in V(\Diamond )\). We denote the set of such faces together with the induced orientation of their white diagonals by \(W_\Diamond \). For \(Q\in W_\Diamond \), we denote its white vertices by \(w_-(Q),w_+(Q)\) such that the corresponding oriented diagonal goes from \(w_-(Q)\) to \(w_+(Q)\). Its black vertices are denoted by \(b(Q),b'(Q)\) in such a way that \(w_-(Q),b(Q),w_+(Q),b'(Q)\) appear in counterclockwise order. The reason why we do not choose our previous notation of Fig. 1 is that black and white vertices now play a different role that shall be indicated by the notation.

*B*on the edges of \(\varGamma \) having (ordered) black vertices \(b_0,b_1,\ldots ,b_n\), \(b_n=b_0\), in the following way. We start with \(b_0:=b\left( Q\left( w_0,w_1\right) \right) \). In the star of the vertex \(w_1\), there are two simple paths on \(\varGamma \) connecting \(b_0\) and \(b\left( Q\left( w_1,w_2\right) \right) \), and we choose the path that does not go through \(Q(w_0,w_1)\). Note that it may happen that \(b\left( Q\left( w_1,w_2\right) \right) =b_0\); in this case, we do not add any vertices to

*B*. Also, \(w_2=w_0\) is possible, which causes adding the nondirect path connecting the black vertices \(b_0\) and \(b\left( Q\left( w_1,w_2\right) \right) =b'\left( Q\left( w_0,w_1\right) \right) \).

Continuing this procedure till we have connected \(b\left( Q\left( w_{m-1},w_m\right) \right) \) with \(b_0\), we end up with a closed path *B* on \(\varGamma \). Without loss of generality, any two consecutive vertices in *B* are different. As above, any edge connecting two consecutive vertices \(b_k,b_{k+1}\) forms the diagonal of a face \(Q(b_k,b_{k+1})\in V(\Diamond )\). We denote the set of such faces together with the induced orientation of their black diagonals by \(B_\Diamond \). For \(Q\in B_\Diamond \), we denote its black vertices by \(b_-(Q),b_+(Q)\) such that the corresponding oriented diagonal goes from \(b_-(Q)\) to \(b_+(Q)\). Finally, its white vertices are denoted by \(w(Q),w'(Q)\) in such a way that \(b_-(Q),w'(Q),b_+(Q),w(Q)\) appear in counterclockwise order.

### Definition

*W*and

*B*be cycles as above and

*h*a function defined on \(W_\Diamond \cup B_\Diamond \). We define the

*discrete integrals*along

*W*and

*B*by

In between the closed paths *B* and *W*, there is a cycle *P* on the medial graph *X* that comprises exactly all edges [*Q*, *v*] with \(Q \in W_\Diamond \) and \(v \in B\) incident to *Q* and all edges [*Q*, *v*] with \(Q \in B_\Diamond \) and \(v \in W\) incident to *Q*. The orientation of [*Q*, *v*] is induced by the orientation of the corresponding parallel white or black diagonal. Figure 6 gives an example for this construction, where all cycles are oriented counterclockwise.

### Remark

Note that an oriented cycle *P* on *X* induces a white cycle \(W=W(P)\) and a black cycle \(B=B(P)\) in such a way that *W*, *P*, and *B* are related as above.

### Lemma 2.37

*P*be an oriented cycle on

*X*and let \(W=W(P)\) and \(B=B(P)\) be the white and black cycles it induces. Let

*f*be a function defined on the vertices of

*W*and

*B*and

*h*a function defined on \(W_\Diamond \cup B_\Diamond \). Then,

### Proof

Any edge \(e=[Q,b(Q)]\) (\(Q \in W_\Diamond \)) or [*Q*, *w*(*Q*)] (\(Q \in B_\Diamond \)) of *P* is parallel to either an edge \(w_-(Q)w_+(Q)\) of *W* or to an edge \(b_-(Q)b_+(Q)\) of *B*, respectively, and vice versa. Since the complex number associated to *e* is just half of the corresponding parallel edge of \(\varGamma \) or \(\varGamma ^*\), \(2\int _e fh =f\left( b\left( Q\right) \right) h(Q)(w_+(Q)-w_-(Q))\) in the first and \(2\int _e fh =f\left( w\left( Q\right) \right) h(Q)(b_+(Q)-b_-(Q))\) in the second case. Therefore, the discrete integral along *P* decomposes into one along *B* and one along *W*.

### Remark

Note that the construction of *B* and Lemma 2.37 are also valid if *W* consists of a single point or of only two edges (being the same, but traversed in both directions). In both cases, *P* will be a discrete contour, as well when *W* is simple and oriented counterclockwise.

*W*on \(\varGamma ^*\) in counterclockwise direction,

*h*is discrete holomorphic on \(V(\Diamond )\), and \(K_{Q_0}:V(\varLambda )\rightarrow \mathbb C\) is a discrete Cauchy’s kernel with respect to \(Q_0\). The above Lemma 2.37 directly relates this formulation to the one of the discrete Cauchy’s integral formula in Theorem 2.35.

Finally, we conclude this section with a proposition relying on the decomposition of a discrete contour into black and white cycles. In Proposition 2.13(i), we have already seen that \(fdg+gdf\) is closed for functions \(f,g:V(\varLambda )\rightarrow \mathbb C\). Actually, a slightly stronger statement is true:

### Proposition 2.38

*W*be a closed cycle on \(\varGamma ^*\) and

*B*be the corresponding closed cycle on \(\varGamma \) as above, and let \(f,g:V(\varLambda )\rightarrow \mathbb C\). Then,

### Proof

*W*. By definition, we have \(dg=\partial _\varLambda g dz+\bar{\partial }_\varLambda g d\bar{z}\). By discrete Stokes’ Theorem 2.9, \(\int _e dg=g\left( w_+\right) -g\left( w_-\right) \) if

*e*is an edge on

*X*parallel to \(w_-w_+\) and oriented the same, so

*W*into a summation along the path

*B*in the last step. Similar to above, we rewrite the discrete integral along

*B*as

## 3 Discrete Complex Analysis on Planar Parallelogram-Graphs

### 3.1 Preliminaries

### Definition

A *planar parallelogram-graph* \(\varLambda \) (without boundary) is a planar quad-graph without boundary such that all its faces are parallelograms. Its dual \(\Diamond \) is embedded in the complex plane by placing all \(Q\in V(\Diamond )\) at the center \(\hat{Q}\) of the corresponding parallelogram *Q* and connecting adjacent vertices by straight line segments.

### Remark

Remembering the duality \(V(\Diamond )\cong F(\varLambda )\), we will omit the hat above *Q* in the sequel and identify the vertex \(Q \in V(\Diamond )\) representing a parallelogram in \(\varLambda \) with the corresponding point \(\hat{Q}\) in the complex plane. It will be clear from the context whether *Q* is meant to be a face of \(\varLambda \) or a point in the complex plane.

In Sect. 3, discrete complex analysis on planar parallelogram-graphs \(\varLambda \) is discussed. As in Sect. 2, \(\varLambda \) is bipartite, the induced graphs on black and white vertices are denoted by \(\varGamma \) and \(\varGamma ^*\), respectively, and we assume that the cellular decomposition induced by \(\varLambda \) is locally finite and strongly regular (which already follows from all faces being parallelograms).

In Propositions 2.1, 2.5, and 2.22, we have already seen that discrete complex analysis on parallelogram-graphs is closer to the classical theory than on general quad-graphs. For example, \(f(v)=v^2\) is a discrete holomorphic function on \(V(\varLambda )\) and \(\partial _\varLambda f(Q)=2Q\); \(h(Q)=Q\) is a discrete holomorphic function on \(V(\Diamond )\) and \(\partial _\Diamond h\equiv 1\); and the discrete Laplacian \(\triangle \) approximates the smooth one correctly up to order two.

In order to concentrate on the calculation of the asymptotics of a certain discrete Green’s function and discrete Cauchy’s kernels, we postpone the discussion of some necessary combinatorial and geometric results on planar parallelogram-graphs to the appendix. Our setup is closely related to the quasicrystallic parallelogram-graphs discussed in [2]. There, the quad-graph was embedded into \(\mathbb {Z}^n\) and explicit formulae for a discrete exponential function and a discrete logarithm were introduced. These results relied on Kenyon’s formulae for a discrete exponential and a discrete Green’s function in [16].

In the following, the ideas of [2] are adapted to our slightly more general setting in Sect. 3.2. The discrete exponential is the basic building block for the integral formulae of a discrete Green’s function in Sect. 3.3 and discrete Cauchy’s kernels in Sect. 3.4. The corresponding functions can be defined for general planar parallelogram-graphs, but we need more regularity of the graph to calculate their asymptotics. The two conditions we use are that all interior angles of the parallelograms are bounded (the same condition was used by Chelkak and Smirnov in [6]) and that the ratio of side lengths of the parallelograms is bounded as well. For rhombic quad-graphs, the second condition is trivially fulfilled; for quasicrystallic graphs, there are only a finite number of interior angles. Note that instead of using boundedness of the ratio of side lengths of the parallelograms, we can assume that the side lengths themselves are bounded. This seems to be a stronger condition at first, but actually, both conditions are equivalent, see Proposition 4.3 in the appendix.

### Remark

To our knowledge, it is an open problem to find an explicit formula for a discrete Green’s function or a discrete Cauchy’s kernel in the case of general quad-graphs as discussed in Sect. 2.

We conclude this section by a discussion of integer lattices in Sect. 3.5. On these graphs, discrete holomorphic functions can be discretely differentiated infinitely many times, and for all higher order discrete derivatives, discrete Cauchy’s integral formulae with the asymptotics one expects from the asymptotics of the discrete Cauchy’s integral formula for a discrete holomorphic function hold true.

### Lemma 3.1

*k*be an odd integer, let \(e_1,\ldots ,e_n\) be a sequence of

*n*oriented edges of \(\varLambda \) forming a directed path from

*v*to \(v'\) on \(\varLambda \), and let \(f_1,\ldots ,f_m\) be another such sequence of

*m*oriented edges. Then,

### Proof

*v*.

In the remainder of the paper, we use the following shorthand notation.

### Definition

Let \(v,v' \in V(\varLambda )\) and \(Q,Q' \in V(\Diamond )\).

- (i)Choose any directed path of edges \(e_1,\ldots ,e_n\) on \(\varLambda \) going from \(v'\) to
*v*. Definewhich does not depend on the choice of path from$$\begin{aligned} J(v,v'):=\sum \limits _{j=1}^{n}e_{j}^{-1}, \end{aligned}$$*v*to \(v'\) due to Lemma 3.1. - (ii)Choose any vertex \(v_Q\) incident to
*Q*and any directed path of edges \(e_1,\ldots ,e_n\) on \(\varLambda \) from*v*to \(v_Q\). Moreover, let \(d_1\), \(d_2\) be the two oriented edges of*Q*that emanate in \(v_Q\). We now defineNote that$$\begin{aligned} -J(v,Q)=J(Q,v):=\sum \limits _{j=1}^{n}e_{j}^{-1}+\frac{1}{2}d_1^{-1}+\frac{1}{2}d_2^{-1}. \end{aligned}$$*J*(*Q*,*v*) does not depend on the choice of path from*v*to \(v_Q\) by Lemma 3.1 nor on the choice of \(v_Q\) by a similar argument as in the proof of the above lemma.Moreover, let \(\tau (v,Q)=\tau (Q,v):=1/(d_1 d_2)\) if \(v_Q,v\) are both in \(V(\varGamma )\) or both in \(V(\varGamma ^*)\) and \(\tau (v,Q)=\tau (Q,v):=-1/(d_1 d_2)\) otherwise. Since

*Q*is a parallelogram, these quantities depend on*v*and*Q*only. - (iii)Choose any vertices \(v_{Q'}\) incident to \(Q'\) and \(v_Q\) incident to
*Q*and a directed path of edges \(e_1,\ldots ,e_n\) on \(\varLambda \) going from \(v_{Q'}\) to \(v_Q\). Let \(d_1,d_2\) be the two oriented edges of \(Q'\) ending in \(v_{Q'}\) and \(f_1,f_2\) the two oriented edges of*Q*emanating from \(v_{Q}\). Define\(J(Q,Q')\) does not depend on the choice of \(v_{Q'}\) and \(v_Q\) or the path from \(v_{Q'}\) to \(v_Q\).$$\begin{aligned} J(Q,Q'):=\frac{1}{2}d_1^{-1}+\frac{1}{2}d_2^{-1}+\sum \limits _{j=1}^{n}e_{j}^{-1}+\frac{1}{2}f_1^{-1}+\frac{1}{2}f_2^{-1}. \end{aligned}$$Furthermore, let \(\tau (Q,Q'):=1/(d_1 d_2 f_1 f_2)\) if \(v_Q,v_{Q'}\) are both in \(V(\varGamma )\) or both in \(V(\varGamma ^*)\) and \(\tau (Q,Q'):=-1/(d_1 d_2 f_1 f_2)\) otherwise. \(\tau (Q,Q')\) depends on

*Q*and \(Q'\) only, since they are both parallelograms.

### Remark

In the case that all parallelograms are rhombi of side length one, we have \(J(x,x')=\overline{x-x'}\).

Finally, the notion of the argument of a complex number will become important in the sequel. In our paper, it will be usually an arbitrary real number and not a number modulo \(2\pi \).

### Definition

For a complex number \(\lambda \ne 0\), a real number \(\phi \) such that \(\lambda /\exp (i\phi )\) is a positive real number is called *argument of* \(\lambda \). On the other hand, \(\arg (\lambda )\) denotes the unique argument \(\phi \) of \(\lambda \) that is contained in the interval \((-\pi ,\pi ]\).

### 3.2 Discrete Exponential Function

### Definition

*discrete exponentials*\(\text {e}(\lambda ,\cdot ;v_0)\) and \(\exp (\lambda ,\cdot ;v_0)\) on \(V(\varLambda )\) are the rational functions in the complex variable \(\lambda \) that are inductively defined by \(\text {e}(\lambda ,v_0;v_0)=1=\exp (\lambda ,v_0;v_0)\) and

### Remark

Note that the quotient of \(\text {e}\) or \(\exp \) at the vertices of an oriented edge *e* is by definition the inverse of the quotient for the edge \(-e\) oriented in the opposite direction. Since all faces of \(\varLambda \) are parallelograms, the complex numbers associated to opposite edges oriented the same are equal and therefore are corresponding quotients of the discrete exponentials. Thus, the discrete exponentials are well-defined.

For \(v \in V(\varLambda )\), \(\exp (\cdot ,v;v_0)\) is a rational function on \(\mathbb C\) with poles being the complex numbers associated to the oriented edges of a shortest directed path connecting \(v_0\) with *v*. It follows from Lemma 4.2 in the appendix that the arguments of all poles can be chosen to lie in an interval of length less than \(\pi \). If in addition the interior angles of parallelograms are bounded from below by \(\alpha _0\), then the arguments of all poles can be chosen to lie even in an interval of length at most \(\pi -\alpha _0\).

### Remark

*x*consists of \(O(|x|/\delta )\) straight line segments of length \(\delta \) of any directions [20].

### Definition

*discrete exponentials*as the following rational functions in the complex variable \(\lambda \):

### Remark

For arbitrary \(Q_0 \in V(\Diamond )\) and \(v_0\in V(\varLambda )\), the above definition yields well-defined rational functions \(\text {e}(\cdot ,v_0;Q_0)\) and \(\exp (\cdot ,Q_0;v_0)\). As long as \(\lambda \) is not a pole, \(\text {e}(\lambda ,\cdot ;Q_0)\) is a function on \(V(\varLambda )\) and \(\exp (\lambda ,\cdot ;v_0)\) is a function on \(V(\Diamond )\).

### Proposition 3.2

*Q*and

### Proof

*Q*in counterclockwise order. Let us denote \(a:=v'_+-v_-\) and \(b:=v'_--v_-\). Using Lemma 2.3 that describes \(\bar{\partial }_\varLambda \) as a discrete contour integration, \(v_+-v_-=a+b\), \(v'_+-v'_-=a-b\), and the inductive formula for \(\exp \), we get that \(\left( \bar{\partial }_\varLambda \exp (\lambda ,\cdot ;v_0) \right) (Q)\) equals

*Q*, and \(\text {ar}(F_Q)=\text {area}(Q)\). Similarly, we obtain that \(\left( \partial _\varLambda \exp (\lambda ,\cdot ;v_0)\right) (Q)\) equals

### 3.3 Asymptotics of the Discrete Green’s Function

Following the presentation in [2], we first define a discrete logarithmic function on the lift \(\tilde{\varLambda }_{v_0}\) of the quad-graph \(\varLambda \) onto the Riemann surface of the logarithmic function \(\log (\cdot -v_0)\), which can be considered as a branched covering of the quad-graph \(\varLambda \) seen as a cellular decomposition of the complex plane.

Throughout the following paragraphs, fix \(v_0 \in V(\varLambda )\), and let \(e_1, e_2, \ldots , e_n\) be the directed edges starting in \(v_0\), ordered according to their slopes.

### Definition

To each of these edges *e* we assign the angle \(\theta _e:=\arg (e) \in (-\pi ,\pi ]\). We assume that \(\theta _{e_1}<\theta _{e_n}\). Now, define \(\theta _{a+bn}:=\theta _a+2\pi b\), where \(a \in \left\{ 1,\ldots ,n\right\} \) and \(b\in \mathbb Z\). For \(m \in \mathbb Z\), let \(e_m:=e_{m \text { mod } n}\), considering the residue classes \(\left\{ 1,2,\ldots ,n\right\} \).

### Definition

Let *e* be one of the \(e_k\). The *sector* \(U_e \subset \varLambda \) is the subgraph of \(\varLambda \) that consists of all vertices and edges of directed paths on \(\varLambda \) starting in \(v_0\) whose oriented edges have arguments that can be chosen to lie in \([\arg (e),\arg (e)+\pi )\).

### Definition

*v*of \(U_{e_m}\) besides \(v_0\) is assigned the real number \(\vartheta _m(v)\) given by \(\vartheta _m(v) \equiv arg (v-v_0) \,mod 2\pi \) and \(\vartheta _m(v) \in [\theta _m,\theta _m+\pi )\). Then,

*v*of \(U_{e_m}\) and \(v'\) of \(U_{e_{m'}}\) are equal as vertices of \(\tilde{U}_m\) and \(\tilde{U}_{m'}\) if and only if \(v=v'\) and either \(v=v'=v_0\) or \(\vartheta _m(v)=\vartheta _{m'}(v')\).

### Remark

Apart from the additional data of the vertices, \(\tilde{U}_m\) is composed of all the vertices of edges of directed paths of edges on \(\varLambda \) starting in \(v_0\) whose arguments can be chosen to lie in \([\theta _m,\theta _m+\pi )\). It follows that all \(\tilde{U}_{m+bn}\), \(b\in \mathbb Z\) and \(1\leqslant m\leqslant n\), cover the same sector \(U_{e_m}\), and \(\tilde{U}_{m} \cap \tilde{U}_{m'}\) contains more than just \(v_0\) if and only if \(|m-m'|<n\). In addition, Lemma 4.2 shows that the union of all \(U_{e_k}\), \(k=1,\ldots ,n\), covers the whole quad-graph \(\varLambda \). It follows that \(\tilde{\varLambda }_{v_0}\) is a branched covering of the cellular decomposition \(\varLambda \), branched over \(v_0\).

### Definition

To each vertex \(\tilde{v} \in V(\tilde{\varLambda }_{v_0})\) covering a vertex \(v \ne v_0\) of \(\varLambda \), let us denote \(\theta _{\tilde{v}}:=\vartheta _m(v)\) if \(\tilde{v}\in \tilde{U}_{m}\).

### Remark

\(\theta _{\tilde{v}}\) increases by \(2 \pi \) when the vertex winds once around \(v_0\) in counterclockwise order; and if \(\tilde{v},\tilde{v}' \ne v_0\) are adjacent vertices of \(\tilde{\varLambda }_{v_0}\), then \(|\theta _{\tilde{v}}-\theta _{\tilde{v}'}|<\pi \).

Note that by construction, if we connect \(v_0\) to some \(\tilde{v} \ne v_0\) by a shortest directed path of edges of \(\tilde{\varLambda }_{v_0}\), then the arguments of all oriented edges can be chosen to lie all in \((\theta _{\tilde{v}}-\pi ,\theta _{\tilde{v}}+\pi )\).

### Definition

*discrete logarithmic function*on \(V(\tilde{\varLambda }_{v_0})\) is given by \(\log (v_0;v_0):=0\) and

*e*, we take the branch of logarithm that satisfies \({{\mathrm{Im}}}(\log (e)) \in (\theta _{\tilde{v}}-\pi ,\theta _{\tilde{v}}+\pi )\).

### Remark

Let us suppose that \(v_0\) is a black vertex. In the special case of a rhombic quasicrystallic quad-graph, the notion of the discrete logarithm is motivated as follows [2]: The discrete logarithm is real-valued and does not branch on black vertices; and it is purely imaginary on white points and increases by \(2\pi i\) if one goes once around \(v_0\) in counterclockwise order. Therefore, the discrete logarithm models the behavior of the real and the imaginary part of the smooth logarithm if restricted to black and white vertices, respectively. As we will see later in the proof of Proposition 3.4, the values at vertices adjacent to \(v_0\) coincide with the smooth logarithm.

### Lemma 3.3

### Proof

*R*(such that all other poles lie inside the disk) in counterclockwise direction and an integration along a circle centered at 0 with small radius

*r*(such that all poles lie outside the disk) in clockwise direction. Now, \(\text {e}(\infty ,v;v_0)=1\). If \(v_0,v\) are both in \(V(\varGamma )\) or both in \(V(\varGamma ^*)\), then \(\text {e}(0,v;v_0)=1\), otherwise \(\text {e}(0,v;v_0)=-1\). Hence, \(\log (\tilde{v}';v_0)-\log (\tilde{v};v_0)=0\) in the first and \(\log (\tilde{v}';v_0)-\log (\tilde{v};v_0)=2 \pi i\) in the latter case.

In particular, the real part of the discrete logarithm \(\log (\cdot ;v_0)\) is a well-defined function on \(V(\varLambda )\). Divided by \(2\pi \), one actually obtains a discrete Green’s function with respect to \(v_0\). In the rhombic case, it coincides with Kenyon’s discrete logarithm in [16] as was shown in [2].

### Proposition 3.4

*e*, we take the branch of \(\log \) where \({{\mathrm{Im}}}(\log (e))\in (\arg (v-v_0)-\pi ,\arg (v-v_0)+\pi )\).

### Proof

When evaluating the real part of the integral, we can also take the branches of the logarithm that satisfy \({{\mathrm{Im}}}(\log (e))\in (\arg (v-v_0)-\pi ,\arg (v-v_0)+\pi )+2k\pi \) for all poles *e*, where \(k \in \mathbb {Z}\) is fixed. Indeed, Lemma 3.3 asserts that under this change, the discrete logarithm changes by 0 or \(2k\pi i\), so the real part does not change.

Now, we show that \(G(\cdot ;v_0)\) is discrete harmonic away from \(v_0\). For this, we consider the star of some vertex \(v\ne v_0\), i.e., all faces of \(\varLambda \) incident to \(v \in V(\varLambda )\). Let us assume that we can find one collection *C* of loops together with appropriate branches of \(\log \) such that for all vertices \(v'\) of the star, \(G(v';v_0)\) can be computed by an integration along *C* instead of \(C_{v'}\). Then, when we compute \(\triangle G(v;v_0)\), we can exchange the discrete Laplacian not only with the real part, but also with the integration. Since \(\text {e}(\lambda ,\cdot ;v_0)\) is discrete holomorphic by Proposition 3.2, it is also discrete harmonic by Corollary 2.21. By this, we conclude that \(\triangle G(v;v_0)=0\).

It remains to show that there exists such a collection *C* of loops with corresponding branches of \(\log \). We will show that a collection of sufficiently small counterclockwise oriented loops going once around each pole of \(\text {e}(\cdot ,v';v_0)\), \(v'\) any vertex of the star of *v*, does the job, where around a pole *e* of \(\text {e}(\cdot ,v';v_0)\) that branch of logarithm is taken where \({{\mathrm{Im}}}(\log (e))\in (\arg (v'-v_0)-\pi ,\arg (v'-v_0)+\pi )\). For this, we just have to show that the branches of the logarithm are well-defined. This is the case if for two vertices \(v',v''\) of the star and a common pole *e* of \(\text {e}(\cdot ,v';v_0)\) and \(\text {e}(\cdot ,v'';v_0)\), there is an argument of *e* contained in both \((\arg (v'-v_0)-\pi ,\arg (v'-v_0)+\pi )\) and \((\arg (v''-v_0)-\pi ,\arg (v''-v_0)+\pi )\).

It easily follows from \(v \ne v_0\) that if \(v''\) is not adjacent to \(v'\), there is a vertex *w* adjacent to \(v'\) such that all common poles of \(\text {e}(\cdot ,v';v_0)\) and \(\text {e}(\cdot ,v'';v_0)\) are also common poles of \(\text {e}(\cdot ,v';v_0)\) and \(\text {e}(\cdot ,w;v_0)\). So let us assume without loss of generality that \(v'\) and \(v''\) are adjacent. Clearly, we can also assume that both vertices are different from \(v_0\) since \(\text {e}(\cdot ,v_0;v_0)\equiv 1\).

Let us suppose the converse from our claim, that means suppose that there is a common pole *e* of \(\text {e}(\cdot ,v';v_0)\) and \(\text {e}(\cdot ,v'';v_0)\) such that no argument of the edge *e* is contained in both the two intervals \((\arg (v'-v_0)-\pi ,\arg (v'-v_0)+\pi )\) and \((\arg (v''-v_0)-\pi ,\arg (v''-v_0)+\pi )\). This can only happen if the edge \(v'v''\) intersects the ray \(v_0-te\), \(t\geqslant 0\). But since the edge *e* is a pole of the discrete exponential, there is a strip with common parallel *e*, i.e., an infinite path in the dual graph \(\Diamond \) with edges dual to edges of \(\varLambda \) that are parallel to *e*, that separates \(v_0\) from both \(v'\) and \(v''\) in such a way that *e* is pointing toward the region of \(v'\) and \(v''\) (see the first part of the appendix for more information on a strip). In particular, the edge \(v'v''\) is separated from the ray \(v_0-te\), \(t\geqslant 0\), and cannot intersect it, contradiction.

### Remark

With almost the same arguments as in the proof of Proposition 3.4, we see that the discrete logarithm is a discrete holomorphic function on the vertices of \(\tilde{\varLambda }_{v_0}\). In [2], it was shown that the discrete logarithm on rhombic quasicrystallic quad-graphs is even more than discrete holomorphic, namely isomonodromic.

Before we derive the asymptotics of the discrete Green’s function given in Proposition 3.4, we state and prove some necessary estimations in two separate lemmas since we will use them later during the corresponding calculations for the discrete Cauchy’s kernel in Sect. 3.4.

### Lemma 3.5

*O*-notation depend on \(E_0\) and \(E_1\) only:

- (i)As \(\lambda \rightarrow 0\),$$\begin{aligned}-\frac{\lambda +e}{\lambda -e}&=1+2\frac{\lambda }{e}+2\frac{\lambda ^2}{e^2}+O(\lambda ^3),\\ \log \left( -\frac{\lambda +e}{\lambda -e}\right)&=2\frac{\lambda }{e}+O(\lambda ^3),\quad \text {and}\quad \log \left( -\frac{e}{\lambda -e}\right) =\frac{\lambda }{e}+O(\lambda ^2). \end{aligned}$$
- (ii)As \(|\lambda | \rightarrow \infty \),$$\begin{aligned}\frac{\lambda +e}{\lambda -e}&=1+2\frac{e}{\lambda }+2\frac{e^2}{\lambda ^2}+O(\lambda ^{-3}),\\ \log \left( \frac{\lambda +e}{\lambda -e}\right)&=2\frac{e}{\lambda }+O(\lambda ^{-3}),\quad \text {and}\quad \log \left( \frac{\lambda }{\lambda -e}\right) =\frac{e}{\lambda }+O(\lambda ^{-2}). \end{aligned}$$

### Proof

### Lemma 3.6

Assume that there exist real constants \(\alpha _{0}>0\) and \(E_{1}\geqslant E_{0}>0\) such that \(\alpha \geqslant \alpha _{0}\) and \(E_{1}\geqslant e \geqslant E_{0}\) for all interior angles \(\alpha \) and side lengths *e* of parallelograms of \(\varLambda \). Let \(v_0 \in V(\varLambda )\) and \(Q_0 \in V(\Diamond )\) be fixed and consider \(v \in V(\varLambda )\) and \(Q \in V(\Diamond )\) in the following.

- (i)
Let

*k*(*v*) be the combinatorial distance on \(\varLambda \) between \(v_0\) and*v*(or between a vertex incident to \(Q_0\) and*v*).Then, \(k(v)=\varOmega (|v-v_0|)\) (or \(k(v)=\varOmega (|v-Q_0|)\)) as \(|v|\rightarrow \infty \).

- (ii)
\(J(v,v_0)=\varOmega (v-v_0)\), \(J(Q,v_0)=\varOmega (Q-v_0)\) and \(J(Q,Q_0)=\varOmega (Q-Q_0)\) as \(|v|,|Q| \rightarrow \infty \).

- (iii)
\(\tau (v,Q_0)=\varOmega (1)\) and \(\tau (Q,Q_0)=\varOmega (1)\) as \(|v|,|Q| \rightarrow \infty \).

- (iv)
Furthermore, assume that \(|v-v_0| \geqslant 1\) and that the arguments of all oriented edges of a shortest directed path on \(\varLambda \) from \(v_0\) to

*v*can be chosen to lie in \([\theta _0,-\theta _0]\), where \(\theta _0:=-(\pi -\alpha _0)/2\).Then, for any \(\lambda \in [-E_1\sqrt{|v-v_0|},-E_1/\sqrt{|v-v_0|}] :\)$$\left| \text {e}(\lambda ,v;v_0)\right| \leqslant \exp \left( -\frac{\cos (\theta _0)\sqrt{|v-v_0|}}{2E_1}\right) .$$

Here, constants in the \(\varOmega \)-notation depend on \(\alpha _0\), \(E_0\), and \(E_1\) only.

### Proof

Let \(e_1,e_2,\ldots ,e_{k(v)}\) denote the oriented edges of \(\varLambda \) of a shortest directed path on \(\varLambda \) from \(v_0\) (or a vertex incident to \(Q_0\)) to *v*. Due to the bound on the interior angles of parallelograms in \(\varLambda \), there is a real \(\theta _0\) such that the arguments of \(e_1,e_2,\ldots ,e_{k(v)}\) can be chosen to lie all in \([\theta _0,\theta _0+\pi -\alpha _0]\) by Lemma 4.2. All the claims in the first three parts stay (essentially) the same under rotation of the complex plane, so we may assume that \(\theta _0=-(\pi -\alpha _0)/2\). The same assumption is used in the fourth part.

(i) Under the assumptions above, the projections of the \(e_k\) onto the real axis lie on the positive axis and are at least \(E_0 \cos (\theta _0)\) long since edge lengths are bounded by \(E_0\) from below. It follows that \(k(v)\leqslant {{\mathrm{Re}}}(v-v_0)/(E_0\cos (\theta _0))\). Using in addition that \(k(v)\geqslant |v-v_0|/E_1\), we get \(k(v)=\varOmega (|v-v_0|)\).

*j*, we get

*v*incident to

*Q*, which follows easily from the definition and the lower bound for edge lengths. Similarly, \(J(Q,Q_0)=\varOmega (Q-Q_0)\) follows from the previous statements if we take \(v_0\) incident to \(Q_0\).

(iii) \(E_0^{-2}\geqslant |\tau (Q,Q_0)|\geqslant E_1^{-2}\) and \(E_0^{-4}\geqslant |\tau (Q,Q_0)|\geqslant E_1^{-4}\) follow immediately from the definitions and the boundedness of edge lengths.

### Theorem 3.7

*e*of parallelograms of \(\varLambda \). Let \(v_0 \in V(\varLambda )\) be fixed. Then, the following is true:

- (i)The discrete Green’s function \(G(\cdot ;v_0)\) given in Proposition 3.4 has the following asymptotic behavior as \(|v|\rightarrow \infty \):$$\begin{aligned} G(v;v_0)&=\frac{1}{4\pi }\log \left| \frac{v-v_0}{J(v,v_0)}\right| +O\left( |v-v_0|^{-2}\right) \text { if } v \text { and } v_0 \text { are of different color},\\ G(v;v_0)&=\frac{\gamma _{\text {Euler}}+\log (2)}{2\pi }+\frac{1}{4\pi }\log \left| (v-v_0) J(v,v_0)\right| +O\left( |v-v_0|^{-2}\right) \text { otherwise.} \end{aligned}$$
- (ii)There is exactly one discrete Green’s function \(G:V(\varLambda )\rightarrow \mathbb R\) for \(v_0\) that behaves for \(|v|\rightarrow \infty \) as$$\begin{aligned} G(v)&=\frac{1}{4\pi }\log \left| \frac{v-v_0}{J(v,v_0)}\right| +o\left( |v-v_0|^{-1/2}\right) \text { if } v \text { and } v_0 \text { are of different color},\\ G(v)&=\frac{\gamma _{\text {Euler}}+\log (2)}{2\pi }+\frac{1}{4\pi }\log \left| (v-v_0) J(v,v_0)\right| +o\left( |v-v_0|^{-1/2}\right) \text { otherwise.} \end{aligned}$$

Here, constants in the *O*-notation depend on \(\alpha _0\), \(E_0\), and \(E_1\) only, and \(\gamma _{\text {Euler}}\) denotes the Euler-Mascheroni constant.

### Remark

Note that due to Lemma 3.6(ii), \(J(v,v_0)=\varOmega (v-v_0)\) as \(|v|\rightarrow \infty \).

By Proposition 4.3, we may replace the existence of constants \(E_1\geqslant E_0>0\) such that \(E_{1}\geqslant e \geqslant E_{0}\) for all side lengths *e* of parallelograms by the existence of \(q_0\) such that \(e/e'\geqslant q_0\) for the two side lengths \(e,e'\) of any parallelogram of \(\varLambda \) since the latter implies the first assumption. Then, the constants in the *O*-notation depend instead of \(E_0\) and \(E_1\) on \(q_0\), \(e_0\), and \(e_1\), where \(e_0\) and \(e_1\) are the side lengths of an arbitrary but fixed parallelogram of \(\varLambda \).

The proof of the first part follows the ideas of Kenyon [16] and Bücking [5]. Both considered just quasicrystallic rhombic quad-graphs. But the main difference to [16] is that we deform the path of integration into an equivalent one different from Kenyon’s, since his approach does not generalize to parallelogram-graphs. As Chelkak and Smirnov did for rhombic quad-graphs with bounded interior angles in [6], Kenyon used that two points \(v,v' \in V(\varLambda )\) can be connected by a directed path of edges such that the angle between each directed edge and \(v'-v\) is less than \(\pi /2\) or the angle between the sum of two consecutive edges and \(v'-v\) is less than \(\pi /2\). This is true for rhombic quad-graphs, but not for parallelogram-graphs. Instead, we use essentially the same deformation of the path of integration as Bücking did.

### Proof

*v*of minimal length

*k*(

*v*). By Lemma 4.2, there is a real \(\theta _0\) such that the arguments of all directed edges above can be chosen to lie in \([\theta _0,\theta _0+\pi -\alpha _0]\). It is easy to check that the claim is invariant under rotation of the complex plane, so we can assume \(\theta _0=-(\pi -\alpha _0)/2\). By definition,

*j*.

By residue theorem, we can deform \(C_v\) into a new path of integration \(C_v'\) that goes first along a circle centered at 0 with large radius *R*(*v*) (such that all poles lie inside this disk) in counterclockwise direction starting and ending in \(-R(v)\), then goes along the line segment \([-R(v),-r(v)]\) followed by the circle centered at 0 with small radius *r*(*v*) (such that all poles lie outside this disk) in clockwise direction, and finally goes the line segment \([-R(v),-r(v)]\) backwards. Note that the principal branch of \(\log \) jumps by \(2\pi i\) at the negative real axis where the integration along the two line segments takes place.

*j*. Using \(|v-v_0|\geqslant E_0\), it follows that

*r*(

*v*) and

*R*(

*v*) to \(G(v;v_0)\).

*r*(

*v*). Then, \(\lambda =\varOmega (|v-v_0|^{-4}) \rightarrow 0\) as \(|v|\rightarrow \infty \). In particular, we can apply \((-\lambda +e)/(\lambda -e)=1+2\lambda /e+O(\lambda ^2)\) by Lemma 3.5(i) to estimate \((-1)^{k(v)}\text {e}(\lambda ,v;v_0)\). More precisely, the latter is a product of \(k(v)=\varOmega (|v-v_0|)\) terms (see Lemma 3.6(i)) with \(e=e_j\). Multiplying out and using in addition \(E_0 \leqslant |e_j| \leqslant E_1\) easily gives for \(|v|\rightarrow \infty \) that

*r*(

*v*):

*R*(

*v*). Then, we have \(|\lambda |=\varOmega (|v-v_0|^4)\rightarrow \infty \) as \(|v|\rightarrow \infty \). Analogously to above, repeated use of the first equation in Lemma 3.5(ii) gives \(\text {e}(\lambda ,v;v_0)=1+O(|v-v_0|^{-3})\) as \(|v| \rightarrow \infty \). Thus, \(\log (R(v))/(4\pi )\cdot \left( 1+O(|v-v_0|^{-3})\right) \) is the contribution of the circle of radius

*R*(

*v*). In total, the asymptotics for the real part of the integration along the two circles are

### Remark

### 3.4 Asymptotics of Discrete Cauchy’s Kernels

Let \(v_0 \in V(\varLambda )\) and \(Q_0 \in V(\Diamond )\) be given. We first give a formula for a discrete Cauchy’s kernel \(K_{v_0}\) with respect to \(v_0\) on \(V(\Diamond )\) that has asymptotics \(\varOmega (|Q-v_0|^{-1})\) as \(|Q|\rightarrow \infty \). Remember that the vertex \(Q\in V(\Diamond )\cong F(\varLambda )\) is placed on the center of the corresponding parallelogram. Then, we provide a discrete Cauchy’s kernel \(K_{Q_0}\) with respect to \(Q_0\) on \(V(\varLambda )\) with asymptotics \(\varOmega (|v-Q_0|^{-1})\) as \(v\rightarrow \infty \). In both cases, there are no further discrete Cauchy’s kernels with asymptotics \(o(|Q-v_0|^{-1/2})\) or \(o(|v-Q_0|^{-1/2})\) as \(|Q|,|v| \rightarrow \infty \). In the end of this section, the asymptotics of \(\partial _\varLambda K_{Q_0}\) are determined.

### Theorem 3.8

Let \(G(\cdot ;v_0)\) be a discrete Green’s function on \(V(\Diamond )\) for \(v_0 \in V(\varLambda )\).

- (i)
\(K_{v_0}:=8\pi \partial _{\varLambda } G(\cdot ;v_0)\) is a discrete Cauchy’s kernel with respect to \(v_0\).

- (ii)Assume additionally that there exist real constants \(\alpha _{0}>0\) and \(E_{1}\geqslant E_{0}>0\) such that \(\alpha \geqslant \alpha _{0}\) and \(E_{1}\geqslant e \geqslant E_{0}\) for all interior angles \(\alpha \) and side lengths
*e*of parallelograms of \(\varLambda \). Suppose that \(G(\cdot ;v_0)\) is the discrete Green’s function given in Proposition 3.4 and \(K_{v_0}\) the discrete Cauchy’s kernel given in (i). Then,as \(|Q|\rightarrow \infty \). Here, constants in the$$\begin{aligned} K_{v_0}(Q)=\frac{1}{Q-v_0}+\frac{\tau (Q,v_0)}{J(Q,v_0)}+O(|Q-v_0|^{-2}) \end{aligned}$$*O*-notation depend on \(\alpha _0\), \(E_0\), and \(E_1\) only. - (iii)
Under the conditions of (ii), there is exactly one discrete Cauchy’s kernel with respect to \(v_0\) with asymptotics \(o(|Q-v_0|^{-1/2})\) as \(|Q|\rightarrow \infty \).

### Remark

*e*of parallelograms by the existence of \(q_0\) such that \(e/e'\geqslant q_0\) for the two side lengths \(e,e'\) of any parallelogram of \(\varLambda \) since the latter implies the first assumption by Proposition 4.3. Then, the constants in the

*O*-notation depend instead of \(E_0\) and \(E_1\) on \(q_0\), \(e_0\), and \(e_1\), where \(e_0\) and \(e_1\) are the side lengths of an arbitrary but fixed parallelogram of \(\varLambda \).

### Proof

*Q*in counterclockwise order, starting with a black vertex. Using the asymptotics of Theorem 3.7, as \(|Q|\rightarrow \infty \):

*Q*:

*h*be the difference of two discrete Cauchy’s kernels with respect to \(v_0\) with asymptotics \(o(|Q-v_0|^{-1/2})\) as \(|Q|\rightarrow \infty \). \(K_{v_0}\) in the second part is such a discrete Cauchy’s kernel. Then,

*h*is discrete holomorphic, and by Proposition 2.8, a discrete primitive

*f*on \(V(\varLambda )\) exists. By construction,

*f*is biconstant, so

*h*vanishes identically.

Since we do not have discrete Green’s functions on \(V(\Diamond )\), we have to derive a discrete Cauchy’s kernels on \(V(\varLambda )\) differently. To do so, we follow the original approach of Kenyon using the discrete exponential [16] that was reintroduced by Chelkak and Smirnov in [6].

### Proposition 3.9

*e*of \(\text {e}(\cdot ,v;Q_0)\), we take the branch of logarithm that satisfies \({{\mathrm{Im}}}(\log (e)) \in (\theta _v-\pi ,\theta _v+\pi )\), where \(\theta _v:=\arg (v-Q_0)\). The second integration goes along the straight ray that ends in the origin in direction \((v-Q_0)\).

### Proof

Lemma 4.2 assures that the arguments of all poles can be indeed chosen in such a way that they lie in \((\theta _v-\pi ,\theta _v+\pi )\).

*R*(such that all poles lie inside the disk) in counterclockwise direction, an integration along a circle centered at 0 with small radius

*r*(such that all poles lie outside the disk) in clockwise direction, and integrations along the two directions of the line segment \([-R,-r]\). Using that

*r*arbitrarily small, there is a homotopy between the new integration path and the path from complex infinity to 0 and back along the ray spanned by \(-(v-Q_0)\) that does not change the value of the integral. The branch of \(\log \) we consider jumps by \(2\pi i\) on the two sides of the ray, which shows

*v*of a face \(Q\ne Q_0\). Then, the discrete derivative \(\bar{\partial }_\varLambda \) commutes with the integration, and \(\bar{\partial }_\varLambda K_{Q_0}(Q)=0\) because \(\text {e}(\lambda ,\cdot ;Q_0)\) is discrete holomorphic by Proposition 3.2.

### Theorem 3.10

Assume that there are \(\alpha _{0}>0\) and \(E_{1}\geqslant E_{0}>0\) such that \(\alpha \geqslant \alpha _{0}\) and \(E_{1}\geqslant e \geqslant E_{0}\) for all interior angles \(\alpha \) and side lengths *e* of parallelograms of \(\varLambda \). Let \(Q_0 \in V(\Diamond )\) be fixed.

- (i)The discrete Cauchy’s kernel \(K_{Q_0}\) given in Proposition 3.9 has the following asymptotics as \(|v|\rightarrow \infty \):$$\begin{aligned} K_{Q_0}(v)=\frac{1}{v-Q_0}+\frac{\tau (v,Q_0)}{J(v,Q_0)}+O\left( |v-Q_0|^{-3}\right) . \end{aligned}$$
- (ii)
There is no further discrete Cauchy’s kernel with respect to \(Q_0\) that has asymptotics \(o(|v-Q_0|^{-1/2})\) as \(|v|\rightarrow \infty \).

- (iii)For the discrete Cauchy’s kernel \(K_{Q_0}\) given in Proposition 3.9, \(\partial _\varLambda K_{Q_0}\) has the following asymptotics as \(|v|\rightarrow \infty \):$$\begin{aligned} \partial _\varLambda K_{Q_0}(Q)=-\frac{1}{(Q-Q_0)^2}-\frac{\tau (Q,Q_0)}{J(Q,Q_0)^2}+O\left( |Q-Q_0|^{-3}\right) . \end{aligned}$$
- (iv)
Up to two additive complex constants on \(\varGamma \) and \(\varGamma ^*\), there is no further discrete Cauchy’s kernel with respect to \(Q_0\) such that its discrete derivative has asymptotics \(o(|Q-Q_0|^{-1/2})\) as \(|Q|\rightarrow \infty \).

Here, constants in the *O*-notation depend on \(\alpha _0\), \(E_0\), and \(E_1\) only.

### Remark

*e*of parallelograms by the existence of \(q_0\) such that \(e/e'\geqslant q_0\) for the two side lengths \(e,e'\) of any parallelogram of \(\varLambda \) since the latter implies the first assumption by Proposition 4.3. Then, the constants in the

*O*-notation depend instead of \(E_0\) and \(E_1\) on \(q_0\), \(e_0\), and \(e_1\), where \(e_0\) and \(e_1\) are the side lengths of an arbitrary but fixed parallelogram of \(\varLambda \).

The proof of the first part follows the ideas of Kenyon [16]. Similar to the proof of Theorem 3.7, the path of integration is deformed into a path different from the one Kenyon used, \((-(v-Q_0)\infty ,0]\). For the same reasons as before, his approach does not generalize to parallelogram-graphs. The second and the fourth part of the theorem are immediate consequences of Theorem 2.31; the third part is shown by a direct computation.

### Proof

*v*on \(\varLambda \). Then, the poles \(d_1,d_2,e_1,\ldots ,e_{k(v)}\) of \(\text {e}(\cdot ,v;Q_0)\) correspond to the directed edges of a shortest path from \(v_0\) to

*v*of length

*k*(

*v*) and the two directed edges of \(Q_0\) that point toward \(v_0\). It is easy to deduce from Lemma 4.2 that the arguments of all poles can be chosen to lie in \([\theta _0,\theta _0+\pi -\alpha _0]\). For more details, we refer to the appendix in [13]. The claim is invariant under multiplication of the complex plane, so we can assume that \(\theta _0=-(\pi -\alpha _0)/2\). Then, there are no poles in the left half-plane, such that we can reduce the calculation to an integration over \(\mathbb R\):

(ii) The difference *f* of two discrete Cauchy’s kernels with respect to \(Q_0\) of asymptotics \(o(|v-Q_0|^{-1/2})\) is discrete holomorphic and fulfills the conditions of Theorem 2.31. Hence, *f* is biconstant, so \(f\equiv 0\).

*f*be the difference of two discrete Cauchy’s kernels with respect to \(Q_0\) whose discrete derivatives have asymptotics \(o(|Q-v_0|^{-1/2})\). Then,

*f*is discrete holomorphic and

*f*is biconstant.

### 3.5 Integer Lattice

Let us consider a planar parallelogram-graph \(\varLambda \) such that each vertex has degree four. With the embedding of \(\Diamond \) described in Sect. 3.1, this happens if and only if \(\Diamond \) is a planar quad-graph or, equivalently, if \(\varLambda \) has the combinatorics of the integer lattice \(\mathbb Z^2\). The vertices of \(\Diamond \) lie at the midpoints of edges of \(\varGamma \) or \(\varGamma ^*\). Since any vertex of \(\varGamma \) or \(\varGamma ^*\) is enclosed by a quadrilateral of \(\varGamma ^*\) or \(\varGamma \), respectively, the faces of \(\Diamond \) are parallelograms by Varignon’s theorem. Thus, \(\Diamond \) becomes a planar parallelogram-graph as well.

Of particular interest is the case that the two notions of discrete holomorphicity on \(\Diamond \), the one coming from \(\Diamond \) being the dual of \(\varLambda \) and the other coming from the quad-graph \(\Diamond \) itself, coincide. It is not hard to show that this happens only for the integer lattice of a skew coordinate system, onto which we restrict ourselves in the following. For more details, see [13]. If \(e_1\), \(e_2\) denote two spanning vectors, then \(\Diamond \) is a parallel shift of \(\varLambda \) by \(e_1/2+e_2/2\). Furthermore, the discrete derivatives on \(\Diamond \) seen as the dual of \(\varLambda \) coincide with the discrete derivatives on \(\Diamond \) seen as a parallelogram-graph.

Since corresponding notions coincide and \(\Diamond \) and \(\varLambda \) are congruent, we can skip all subscripts \(\varLambda \) and \(\Diamond \) in the definitions of discrete derivatives. Moreover, the discrete Laplacian \(\triangle \) is now defined for functions on \(V(\varLambda )\) and functions on \(V(\Diamond )\) in the same way. Due to Corollary 2.20, \(4\partial \bar{\partial }=\triangle =4\bar{\partial }\partial \) is now true on both graphs. It follows that all discrete derivatives \(\partial ^n f\) of a discrete holomorphic function *f* are discrete holomorphic themselves. Conversely, a discrete primitive exists for any discrete holomorphic function on a simply-connected domain by Proposition 2.8.

Our main interests lie in giving discrete Cauchy’s integral formulae for higher order derivatives of a discrete holomorphic function and determining the asymptotics of higher order discrete derivatives of the discrete Cauchy’s kernel given in Sect. 3.4. Note that due to the uniqueness statements in Theorems 3.8 and 3.10, both formulae yield the same discrete Cauchy’s kernel.

Without loss of generality, we restrict our attention to functions on \(V(\varLambda )\). For the ease of notation, we introduce the *discrete distance* \(D(\cdot ,\cdot )\) on \(V(\varLambda ) \cup V(\Diamond )\) that is induced by the \(|\cdot |_{\infty }\)-distance on the integer lattice spanned by \(e_1/2,e_2/2\).

### Theorem 3.11

Let \(\varLambda \) be the integer lattice spanned by the pair \(e_1,e_2\) of linearly independent complex vectors. Let \(v_0\in V(\varLambda )\), \(Q_0:=v_0+e_1/2+e_2/2 \in V(\Diamond )\), let *f* be a discrete holomorphic function on \(V(\varLambda )\), and let \(K_{v_0}\) and \(K_{Q_0}\) be discrete Cauchy’s kernels with respect to \(v_0\) and \(Q_0\), respectively. Let *n* be a nonnegative integer and define \(x_0:=v_0\) if *n* is even and \(x_0:=Q_0\) if *n* is odd. Similarly, let \(x \in V(\varLambda )\) if *n* is even and \(x \in V(\Diamond )\) if *n* is odd.

- (i)For any counterclockwise oriented discrete contour \(C_{x_0}\) in the medial graph
*X*enclosing all points \(x' \in V(\varLambda ) \cup V(\Diamond )\) with \(D(x',x_0)\leqslant n/2\),$$\begin{aligned} \partial ^n f(x_0)=\frac{(-1)^n}{2\pi i}\oint \limits _{C_{x_0}}f\partial ^n K_{x_0} dz. \end{aligned}$$ - (ii)If \(K_{Q_0}\) is the discrete Cauchy’s kernel given in Proposition 3.9, thenas \(|x|\rightarrow \infty \), where \(\tau '(x,Q_0)=1\) if$$\frac{(-1)^n}{n!} \partial ^n K_{Q_0}(x)=\frac{1}{(x-Q_0)^{n+1}}+\frac{\tau '(x,Q_0)}{(J(x,Q_0)e_1e_2)^{n+1}}+O(|x-Q_0|^{-n-3}) $$
*x*and \(Q_0\) or \((x+e_1/2+e_2/2)\) and \(Q_0\) can be connected by a path on \(V(\Diamond )\) of even length and \(\tau '(x,Q_0)=-1\) otherwise. Constants in the*O*-notation depend on the spanning vectors \(e_0,e_1\) only.

### Remark

### Proof

*D*be the discrete domain in

*F*(

*X*) bounded by \(C_{x_0}\). By the assumptions on \(C_{x_0}\), the discrete one-form \(\bar{\partial } \partial ^{n-1} K_{x_0} d\bar{z}\) vanishes on \(C_{x_0}\). Thus,

*d*is a derivation for the discrete wedge product and \(ddf=0\) in the third equation. Now,

*f*is discrete holomorphic, meaning that \(\bar{\partial } f\equiv 0\), so \(df\wedge d\left( \partial ^{n-1}K_{x_0}\right) =\partial f \bar{\partial }\partial ^{n-1}K_{x_0} \varOmega _\Diamond \). But since the discrete derivatives commute according to Corollary 2.11, \(\bar{\partial }\partial ^{n-1}K_{x_0}=\partial ^{n-1}\bar{\partial }K_{x_0}\) vanishes outside \(C_{x_0}\), so by repeated use of Proposition 2.7 stating that \(\partial \) is the formal adjoint of \(-\bar{\partial }\),

*k*. So if \(D(v,x)\leqslant n/2\) and \(D(x,Q_0)\) is sufficiently large, then \(\text {e}(\cdot ,v;Q_0)\) does not have the pole

*e*. Since \(\pm e_1, \pm e_2\) are the only possible poles, it follows that there are no poles in the convex hull of all the rays \((-(v-Q_0)\infty ,0]\) for the vertices

*v*with \(D(v,x)\leqslant n/2\). By residue theorem, we can use the same path of integration for all relevant values of \(K_{Q_0}\) and get

Let \(E_1:=\max \left\{ |e_1|,|e_2|\right\} \) and \(E_0:=\min \left\{ |e_1|,|e_2|\right\} \). For \(|x-Q_0|\geqslant 1\) large enough, we split the integration into the three parts along \((-\infty ,-E_1\sqrt{|x-Q_0|}]\), \([-E_1\sqrt{|x-Q_0|},-E_1/\sqrt{|x-Q_0|}]\), and \([-E_1/\sqrt{|x-Q_0|},0]\).

By Lemma 3.6(iv), the contribution of \(\lambda \in [-E_1\sqrt{|x-Q_0|},-E_1/\sqrt{|x-Q_0|}]\) decays faster to zero than any power of \(x-Q_0\) as \(|x|\rightarrow \infty \). By Lemma 3.6(i) and (ii), we know that \(D(x,Q_0)=\varOmega (x-Q_0)\text { and }J(x,Q_0)=\varOmega (x-Q_0).\) Furthermore, the choice of \((x-Q_0)>0\) implies that \({{\mathrm{Re}}}(J(x,Q_0))=\varOmega (x-Q_0)\) stays positive as \(|x| \rightarrow \infty \).

## Notes

### Acknowledgments

The authors thank Richard Kenyon, Christian Mercat, and Mikhail Skopenkov for fruitful discussions and helpful suggestions. In addition, we are grateful to Mikhail Skopenkov for his detailed review of previous versions and his numerous and valuable recommendations. The first author was partially supported by the DFG Collaborative Research Center TRR 109, “Discretization in Geometry and Dynamics”. The research of the second author was supported by the Deutsche Telekom Stiftung. Some parts of this paper were written at the IHÉS in Bures-sur-Yvette, the INIMS in Cambridge, and the ESI in Vienna. The second author thanks the EPDI program for the opportunity to stay at these institutes. The stay at the Isaac Newton Institute for Mathematical Sciences was funded through an Engineering and Physical Sciences Research Council Visiting Fellowship, Grant EP/K032208/1.

## References

- 1.Bobenko, A., Günther, F.: Discrete Riemann surfaces based on quadrilateral cellular decompositions (2015). Preprint arXiv:1511.00652
- 2.Bobenko, A., Mercat, C., Suris, Y.: Linear and nonlinear theories of discrete analytic functions. Integrable structure and isomonodromic Green’s function. J. Reine Angew. Math.
**583**, 117–161 (2005)MathSciNetCrossRefMATHGoogle Scholar - 3.Bobenko, A., Suris, Y.: Discrete differential geometry: integrable structure. In: Graduate Studies in Mathematics, vol. 98. AMS, Providence (2008)Google Scholar
- 4.Brooks, R., Smith, C., Stone, A., Tutte, W.: The dissection of rectangles into squares. Duke Math. J.
**7**(1), 312–340 (1940)MathSciNetCrossRefMATHGoogle Scholar - 5.Bücking, U.: Approximation of conformal mappings by circle patterns. Geom. Dedicata
**137**, 163–197 (2008)MathSciNetCrossRefMATHGoogle Scholar - 6.Chelkak, D., Smirnov, S.: Discrete complex analysis on isoradial graphs. Adv. Math.
**228**, 1590–1630 (2011)MathSciNetCrossRefMATHGoogle Scholar - 7.Chelkak, D., Smirnov, S.: Universality in the 2D Ising model and conformal invariance of fermionic observables. Invent. Math.
**189**(3), 515–580 (2012)MathSciNetCrossRefMATHGoogle Scholar - 8.Courant, R., Friedrichs, K., Lewy, H.: Über diepartiellen Differenzengleichungen der mathematischen Physik. Math. Ann.
**100**, 32–74 (1928)MathSciNetCrossRefMATHGoogle Scholar - 9.Duffin, R.: Basic properties of discrete analytic functions. Duke Math. J.
**23**(2), 335–363 (1956)MathSciNetCrossRefMATHGoogle Scholar - 10.Duffin, R.: Potential theory on a rhombic lattice. J. Comb. Th.
**5**, 258–272 (1968)MathSciNetCrossRefMATHGoogle Scholar - 11.Dynnikov, I., Novikov, S.: Geometry of the triangle equation on two-manifolds. Moscow Math. J.
**3**(2), 419–482 (2003)MathSciNetMATHGoogle Scholar - 12.Ferrand, J.: Fonctions préharmoniques et fonctions préholomorphes. Bull. Sci. Math. Ser.
**2**(68), 152–180 (1944)MathSciNetMATHGoogle Scholar - 13.Günther, F.: Discrete Riemann surfaces and integrable systems. Ph.D. thesis, Technische Universität Berlin (2014). http://opus4.kobv.de/opus4-tuberlin/files/5659/guenther_felix.pdf
- 14.Isaacs, R.: A finite difference function theory. Univ. Nac. Tucumán. Rev. A
**2**, 177–201 (1941)MathSciNetMATHGoogle Scholar - 15.Kenyon, R.: Conformal invariance of domino tiling. Ann. Prob.
**28**(2), 759–795 (2002)MathSciNetCrossRefMATHGoogle Scholar - 16.Kenyon, R.: The Laplacian and Dirac operators on critical planar graphs. Invent. Math.
**150**, 409–439 (2002)MathSciNetCrossRefMATHGoogle Scholar - 17.Kenyon, R., Schlenker, J.M.: Rhombic embeddings of planar quad-graphs. Trans. Amer. Math. Soc.
**357**(9), 3443–3458 (2005)MathSciNetCrossRefMATHGoogle Scholar - 18.Lelong-Ferrand, J.: Représentation conforme et transformations à intégrale de Dirichlet bornée. Gauthier-Villars, Paris (1955)MATHGoogle Scholar
- 19.Mercat, C.: Discrete Riemann surfaces and the Ising model. Commun. Math. Phys.
**218**(1), 177–216 (2001)MathSciNetCrossRefMATHGoogle Scholar - 20.Mercat, C.: Discrete Riemann surfaces. In: Handbook of Teichmüller theory. Vol. I,
*IRMA Lect. Math. Theor. Phys.*, vol. 11, pp. 541–575. Eur. Math. Soc., Zurich (2007)Google Scholar - 21.Mercat, C.: Discrete complex structure on surfel surfaces. Proceedings of the 14th IAPR International Conference on Discrete Geometry for Computer Imagery. DGCI’08, pp. 153–164. Springer-Verlag, Berlin, Heidelberg (2008)Google Scholar
- 22.Rodin, B., Sullivan, D.: The convergence of circle packings to the Riemann mapping. J. Diff. Geom.
**26**(2), 349–360 (1987)MathSciNetMATHGoogle Scholar - 23.Skopenkov, M.: The boundary value problem for discrete analytic functions. Adv. Math.
**240**, 61–87 (2013)MathSciNetCrossRefMATHGoogle Scholar - 24.Smirnov, S.: Discrete complex analysis and probability. In: Proceedings of the International Congress of Mathematicians 2010 (ICM 2010), vol. I: Plenary Lectures and Ceremonies, vols. II-IV: Invited Lectures, pp. 595–621. Hindustan Book Agency, New Delhi, India (2000)Google Scholar
- 25.Smirnov, S.: Critical percolation in the plane: conformal invariance, Cardy’s formula, scaling limits. C. R. Math. Acad. Sci. Paris Sér. I
**333**(3), 239–244 (2001)Google Scholar - 26.Smirnov, S.: Conformal invariance in random cluster models. I. Holomorphic fermions in the Ising model. Ann. Math.
**172**(2), 1435–1467 (2010)MathSciNetCrossRefMATHGoogle Scholar - 27.Whitney, H.: On products in a complex. Ann. Math.
**39**(2), 397–432 (1938)MathSciNetCrossRefMATHGoogle Scholar

## Copyright information

**Open Access** This chapter is distributed under the terms of the Creative Commons Attribution-Noncommercial 2.5 License (http://creativecommons.org/licenses/by-nc/2.5/) which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.

The images or other third party material in this chapter are included in the work’s Creative Commons license, unless indicated otherwise in the credit line; if such material is not included in the work’s Creative Commons license and the respective action is not permitted by statutory regulation, users will need to obtain permission from the license holder to duplicate, adapt or reproduce the material.