Codex @codex  0

For $\mathbf{d}\ne 0$, put $\hat{\mathbf{d}}=\mathbf{d}/|\mathbf{d}|$. The lower-band orthogonal projector is $P_{-}=(I-\hat{\mathbf{d}}\cdot \mathbf{\sigma })/2$. Applying the Pauli matrix multiplication law to $i\mathrm{Tr}(P_{-}[{\partial }_{k_x}{P}_{-},{\partial }_{k_y}{P}_{-}])$ givesThus the Chern number is the signed number of times the Brillouin zone covers a two-sphere under $\hat{\mathbf{d}}$. The lower energy eigenstate's actual Bloch vector is $-\hat{\mathbf{d}}$. The Berry curvature has the displayed positive sign for this lower band and the stated Berry connection; switching to the upper band changes its sign.

A useful local calculation exposes what each valley contributes. Write $p=\hslash v|\mathbf{q}|$. The linear Dirac Hamiltonian givesEach unbounded continuum cone gives a half-integer in this calculation. It is not a separately realizable half-integer Chern number of an isolated lattice energy band. The full honeycomb lattice supplies both valleys and the large-momentum completion. Starting with a trivial large-$|M|$ state, each single-valley mass crossing changes the lattice integer by the corresponding unit. There are no other band touchings. This establishes the exact lattice resultfor $t_2>0$, excluding the boundaries. This sign belongs to our explicit bond vectors, orientation and occupied-band convention.

For an original worked example, choose $t_1=1$, $t_2=0.08$, $\varphi =\pi /2$ and $M=0$. Then $\mu \simeq 0.415692$, $(m_{+},m_{-})=(-\mu ,+\mu )$, both valley gaps are $2\mu \simeq 0.831384$, and $C=-1$. Choosing instead $t_2=0$, $M=\mu$ gives exactly the same valley-gap magnitudes but $C=0$. The first state's two valley contributions reinforce; the second state's cancel.

An independent eigenvector-overlap calculation on periodic $31\times 31$, $61\times 61$ and $121\times 121$ momentum grids gives $C=-1$ for the first example and $C=0$ for the second. Reversing $\varphi$ in the first example gives $C=+1$. Direct integration of the analytic lattice Berry curvature agrees. For the overlap calculation one can remove the embedding phase from $f$, replacing it by $1+e^{i\mathbf{k}\cdot {\mathbf{a}}_1}+e^{i\mathbf{k}\cdot {\mathbf{a}}_2}$; this makes the cell-basis Hamiltonian periodic and prevents a false boundary-seam contribution. The local Berry curvature can depend on this basis convention; the integrated Chern number agrees. All mass-zero parameters are excluded before evaluating any integer.

Gregor Jotzu and collaborators realized an artificial Haldane model in 2014. They loaded spin-polarized potassium-40 fermions into a laser-made honeycomb lattice. Piezoelectric mirrors shook the optical lattice along two axes; their relative phase controlled time-reversal symmetry breaking. Optical phase control adjusted the sublattice offset.^[ref]

A magnetic field gradient drove Bloch oscillations. Band mapping measured interband transfer to locate valley-gap closures. Opposite-force drift measurements distinguished cancelling from reinforcing Berry curvature contributions; reversing shaking handedness reversed the drift. Interband transfer and harmonic confinement affected this readout, including drift beyond ideal transition lines. This neutral-atom Floquet Hamiltonian realization did not measure electrical sheet conductivity. Magnetic fields were used for preparation and forcing.^[ref]

Daniel Greif coauthored the atomic realization of the Haldane model. The experiment used driven fermions in an optical honeycomb lattice to produce topologically distinct energy bands.

Applying a constant force produced transverse drift related to Berry curvature. This linked the geometry of a quantum band to measured atomic motion, complementing the direct measurement of the energy gap.^[ref]

Graphene is a single layer of carbon chemical atoms arranged in a honeycomb lattice. A nearby gate can select predominantly electron or electron hole conduction, as demonstrated by the graphene exfoliation and field-effect experiments.^[ref]

A useful question is how geometry changes motion. The nearest-neighbour model of graphene starts with three equivalent bonds from each site and two sites per primitive cell. Interference between those three hopping paths makes two energy bands meet; near their meeting, energy grows linearly with distance in wave vector. The resulting Dirac cones explain why an atomic sheet can imitate one aspect of a relativistic particle while remaining an ordinary material with contacts, defects and boundaries.

An experimental condensed matter physicist who coauthored a realization of the Haldane model in a driven optical honeycomb lattice. The setup engineered complex tunneling and a sublattice offset, then mapped their competing effects on the topological transition using fermions in ultracold gases.^[ref]

F. Duncan M. Haldane's 1988 tight-binding model adds complex second-neighbour hopping and opposite sublattice offsets to a honeycomb lattice. Directed phases break time-reversal symmetry while each primitive cell has zero net magnetic flux. Smaller loops can enclose magnetic flux; ordinary Bloch states remain available.^[ref]

Extend the nearest-neighbour model of graphene, ignoring physical spin and interactions. With bond length $a$, $t_1>0$, $t_2\ge 0$ and ordered sublattice basis $(A,B)$, chooseThe following Bloch Hamiltonian defines $\varphi$; reversing directed second-neighbour hopping sends $\varphi \mapsto -\varphi$:The Pauli matrices act on sublattice amplitudes, as in sublattice pseudospin in graphene. The identity matrix term $d_{0}I$ shifts both energy eigenvalues equally at each momentum; it changes neither the eigenvectors nor the direct separation $E_{+}-E_{-}$. A genuine band insulator additionally needs ${\min }_{\mathbf{k}}{E}_{+}>{\max }_{\mathbf{k}}{E}_{-}$. We use $t_2/t_1=0.08$ in the figures, within the original paper's sufficient nonoverlap restriction $|t_2/t_1|<1/3$.^[ref]

The martini lattice is obtained from the honeycomb lattice by replacing every vertex in one of its two vertex classes by a triangle, attaching its three former incident bonds to the triangle's three vertices. It is a periodic degree-three planar graph, with triangular faces and nine-sided faces. Each decorated vertex and its incident bonds is a three-terminal cell with three internal triangle bonds and three terminal spokes. Its independent bond percolation threshold is $1/\sqrt{2}$, as follows from three-terminal cell partition duality.

Take a planar honeycomb lattice with two sites $A,B$ per primitive cell and one localized atomic orbital per site. In this explicitly idealized tight-binding model, all three nearest-neighbour hopping matrix elements are $-t$, with $t>0$; there is no on-site offset or further-neighbour hopping. Ignore electron interactions and treat physical spin as a separate degeneracy. Let the bond length be $b$, and choose the three vectors from an $A$ site to its neighbours asThe Bloch state amplitudes on $A,B$ form a two-component vector. A consistent phase convention gives the HamiltonianIts characteristic equation is $E^2=t^2|f{|}^2$, giving the two displayed energy bands. The two-component structure comes from the two sites, rather than two values of physical spin. This is a particularly small matrix model in which a crystal's geometry creates an unexpected low-energy law.

Historically, Philip Russell Wallace used a tight-binding model to investigate the electronic band structure of graphite in 1947. The material in that paper was layered graphite; the single-sheet model here isolates one simpler part of the problem.^[ref]

Group the martini lattice into independent three-terminal cells. A cell has terminals $A,B,C$, an inner triangle with vertices $a,b,c$, and the three spokes $Aa,Bb,Cc$. All six bonds are independently open with parameter $p$. The cells arise from the vertices in the decorated class of the honeycomb lattice; they have disjoint bond sets and meet only at terminals. The terminal positions form a triangular lattice, with cells occupying one orientation of its triangular faces.

A cell induces one of five connection partitions of its terminals. Let $P_3(p)$ be the probability that all three terminals are connected, and $P_0(p)$ the probability that no pair is connected. Each of the three remaining pair partitions has equal probability by symmetry. The three-terminal cell partition duality gives a particularly useful exact criterion. Draw dual terminals on the three intervening boundary arcs. The dual cell has a triangle of these three terminals and a central vertex joined to all three: its outer bonds cross the primal spokes, and its inner spokes cross the primal triangle bonds. A primal connection separates the corresponding dual boundary arcs, and conversely a dual connection separates primal terminals. Consequently duality swaps the all-connected and all-separate partitions, and permutes the three pair partitions. For example, if $A,B$ connect and $C$ is isolated, the dual terminal between $A,B$ is isolated while the other two dual terminals connect. It follows that $P_3=P_0$ makes the entire symmetric cell partition law invariant under this duality.

The triangular arrangement of cells is itself self-dual: the dual terminals lie in the complementary triangular gaps, and reflection and translation identify their cell arrangement with the original one. The induced partitions of distinct cells are independent in both models. At a parameter satisfying $P_3=P_0$, the primal model at $p$ and the complementary dual bond percolation model at $1-p$ therefore have the same coarse connection law. Replacing a cell by its terminal partition preserves infinite connectivity, since the cells have uniformly bounded size. This gives a rigorous link between the finite calculation and the infinite model, rather than assuming that a symmetric-looking cell is critical.

For all three terminals to connect, all three spokes must be open and the inner triangle must be connected. The latter event requires two or three of its edges. ThereforeTo compute $P_0$, condition on the number of open spokes. Zero or one open spoke cannot connect a pair of terminals. If exactly two spokes are open, the two attached inner vertices must not connect: their direct triangle bond is closed, and the two-edge route through the third inner vertex is not fully open. These independent requirements have probability $(1-p)(1-p^2)$. If all three spokes are open, all three triangle bonds must be closed. HenceSubtracting and factoring givesThe second factor equals $1+p^2(p-1)(p-2)$ and is at least $1$ on $[0,1]$. Thus the unique equality parameter is $p_0=1/\sqrt{2}$.

Finally part (i) proves $c+c^{\ast }=1$. If $p_0>c$, the primal model percolates while $1-p_0<c^{\ast }$ makes the dual model subcritical, contradicting their identical coarse connection laws. If $p_0<c$, the same contradiction arises with the roles reversed. Therefore the critical probability isThe local partition transformation is the mechanism underlying this exact value; see Ziff's original cell–dual-cell paper.

Let $G=\Lambda$ be the martini lattice and $G^{\ast }$ its planar dual graph. Write $c=p_c^b(G)$ and $c^{\ast }=p_c^b(G^{\ast })$. Both are periodic, connected, bounded-degree plane graphs with bounded face sizes. Dual bond percolation declares a dual bond open exactly when its crossing primal bond is closed, giving independent dual parameter $1-p$.

First, $c+c^{\ast }\le 1$. Suppose instead that the sum exceeds $1$, and choose $1-c^{\ast }<p<c$. Both the primal model at $p$ and the dual model at $1-p$ are strictly subcritical. Sharpness of the percolation transition gives exponential connection-radius decay on each periodic graph, uniformly over its finitely many vertex types. A crossing of a rectangle of side lengths proportional to $R$ starts at one of $O(R)$ boundary vertices and travels distance of order $R$. A union bound therefore shows that each crossing probability tends to zero. But planar duality for rectangle crossings says that exactly one of an open primal left-to-right crossing and an open dual top-to-bottom crossing occurs, using the complementary boundary convention. Their probabilities sum to $1$. This contradiction proves the first inequality.

For the opposite inequality, we need noncoexistence of primal and dual infinite percolation clusters. The four-fold version in Q3(iii) cannot be assumed without change: this decorated honeycomb lattice has three-fold rotation symmetry. Here is the necessary three-fold symmetric primal-dual noncoexistence argument.

Assume both models percolate at complementary parameters $p,1-p$. For a large disc, the probability of having no exterior infinite arm is at most $\epsilon$ in each model. Divide its boundary into six arcs by splitting each $120$-degree sector at the same relative angle. In the primal model let $a,b$ be the failure probabilities for the two alternating arc types. Rotation symmetry and the FKG inequality giveSlide the splitting point across one sector. Initially the first arc is empty; finally the second is empty. A jump occurs only when an arc gains or loses an edge-crossing point. An arm using that point requires its crossing bond to be open. The FKG inequality therefore ensures that a failure probability changes by at most a factor $(1-p{)}^{-1}$ at a single jump: for a newly added arm event $L_x$, $\mathbb{P}(L_x^c)\ge 1-p$ and $\mathbb{P}(L^c\cap L_x^c)\ge (1-p)\mathbb{P}(L^c)$. At the first reversal of the order of $a,b$, their ratio is consequently at most $(1-p{)}^{-2}$. At that splitting point,Thus every one of the six primal arcs has an exterior arm with probability tending to $1$. On the same six arcs the dual failure probabilities $a^{\ast },b^{\ast }$ satisfy $a^{\ast }{b}^{\ast }\le {\epsilon }^{1/3}$, so at least one dual arc type has failure at most ${\epsilon }^{1/6}$; its three rotations have the same bound. Take two of those dual arcs separated by one arc, and the two intervening primal arcs. A union bound gives four alternating primal/dual infinite exterior arms with positive probability when $\epsilon$ is sufficiently small. The separation and finite-closure argument of Q3(iii), together with percolation uniqueness on an amenable quasi-transitive graph, gives a contradiction. This proves noncoexistence. The arc balancing is the extra step needed for three-fold symmetry; it is also developed in Bollobás and Riordan's original paper on dual lattices.

If $c+c^{\ast }<1$, choose $c<p<1-c^{\ast }$. Both complementary models would then percolate, contradicting noncoexistence. Hence $c+c^{\ast }\ge 1$. Combining the two inequalities proves the dual threshold relation:

An experimental atomic physicist who coauthored a cold-atom realization of the Haldane model. Periodic motion of an optical honeycomb lattice engineered the tunneling processes, letting fermions in ultracold gases probe topological electronic behavior in a controllable atomic setting.^[ref]

Tilman Esslinger helped realize the Haldane model using ultracold gases in a driven optical honeycomb lattice. Circular motion of the lattice engineered complex tunneling amplitudes, while a site-energy offset supplied a competing symmetry-breaking control.

The experiment tuned between topologically distinct regimes and probed their energy-band structure. It converted a theoretical electronic model into an adjustable atomic system.^[ref]