Antiferromagnetic spatial photonic Ising machine through optoelectronic correlation computing Junyi Huang,∗ Yisheng Fang,∗ and Zhichao Ruan† Interdisciplinary Center of Quantum Information, State Key Laboratory of Modern Optical Instrumentation, and Zhejiang Province Key Laboratory of Quantum Technology and Device, Department of Physics, Zhejiang University, Hangzhou 310027, China Recently, spatial photonic Ising machines (SPIM) have been demonstrated to compute the minima of Hamiltonians for large-scale spin systems. Here we propose to implement an antiferromagnetic model through optoelectronic correlation computing with SPIM. Also we exploit the gauge transfor- mation which enables encoding the spins and the interaction strengths in a single phase-only spatial light modulator. With a simple setup, we experimentally show the ground state search of an anti- ferromagnetic model with 40000 spins in number-partitioning problem. Thus such an optoelectronic computing exhibits great programmability and scalability for the practical applications of studying statistical systems and combinatorial optimization problems. I. INTRODUCTION nian can be evaluated through the correlation between a distribution function and the measured optical intensity The spin glass models are widely used for investiga- with SPIM. We experimentally demonstrate the ground- tions of interacting systems in both science and engineer- state-search process with a number-partitioning prob- ing [1–12]. In the past decades, the developments in spin lem, where 40000 spins are connected with random an- machines have generated tremendous interest due to the tiferromagnetic interaction strengths. Our results show prospects of solving a large class of NP-hard problems by that the proposed antiferromagnetic model in SPIM can searching the ground states of spin system Hamiltonians evolve toward the ground state, exhibiting an efficient [13]. Optimization problem solvers with remarkable per- approach by scalable degrees of freedom in spatial light formance have been demonstrated in various systems, e.g. modulation. trapped ions [14–16], atomic and photonic condensates [17, 18], superconducting circuits [19], coupled paramet- ric oscillators [20–30], injection-locked or degenerate cav- II. RESULTS ity lasers [31–34], integrated nanophotonic circuits [35– 40], and polaritons [41–43]. A. Optoelectronic correlation computing for Recently, like optical analog computations exploring Mattis-type Ising model the spatial degrees of freedom [44–52], the spatial pho- tonic Ising machine (SPIM) has been proposed with reli- We first introduce the gauge transformation for SPIM, able large-scale Ising spin systems, even up to thousands which encodes the spins and the interaction strengths in of spins [53]. With spatial light modulations, these spa- a single phase-only spatial light modulator (SLM) [58]. tial Ising spin setups benefit from the high speed and We consider a Mattis-type spin glass system with the parallelism of optical signal processing [53–57]. Although Ising model Hamiltonian H = − Jjhσj σh, where the the modeling of ferromagnetic and spin glass systems Pjh has been demonstrated [58], how to implement antifer- spin configuration is S= {σj } (j = 1, 2, ··· N) and σj arXiv:2105.04696v1 [cs.ET] 10 May 2021 romagnetic models in SPIM has not been proposed yet. takes binary value of either +1 or −1, representing the In particular, the antiferromagnetic Ising models are im- spin-up or spin-down state respectively. The interaction portant and extensive in research fields like oxide ma- strengths can be expressed as Jjh = Jξj ξh, where J is terials [59] and giant magnetoresistance [60, 61]. Also, an interaction strength as a function of the distance be- the combinatorial optimization problems with antiferro- tween two spins with the unit of energy, and the ampli- magnetic Ising models have many real-world applications tude modulation ξj is limited as −1 ≤ ξj ≤ 1. By the such as multiprocessor scheduling, minimization of cir- gauge transformation shown in Fig. 1(a), when rotat- cuit size and delay, cryptography, and logistics analysis ing each original spin σj with the angle αj = arccos ξj , ′ [62, 63]. the new spin vector σj is projected on the z-axis to ob- ′ z In this Work, we propose to implement the antiferro- tain the effective spin σj = ξj σj . As a result, the magnetic model through optoelectronic correlation com- gauge transformation keeps the Hamiltonian invariant ′ z ′ z puting. We show that an antiferromagnetic Hamilto- H = − Jσj σh , while the interactions between the Pjh z components of gauge-transformed spins are equal to the strength J. ∗ These authors contributed equally to this work. The gauge invariance property promises that the ex- † [email protected] perimental implementation only needs a single phase- 2 (a) (b) C L2 π m+n L3 φm,n =σm,n +(-1) αm,n 2 P L1 z CCD SLM feedback FIG. 1. (a) Schematic of the gauge transformation. The dotted, blue and red arrow correspond to the origin spin σj , the new ′ ′ z spin vector σj and the effective spin vector σj , respectively. (b) The experimental optical setups for SPIM: SLM, spatial light modulator; C, collimator; L, lens; P, polarizer. A collimated laser beam illuminates the SLM. By gauge transformation, the ′z ′ z gauge-transformed effective spin configuration S = σm,n is encoded through a single phase-only SLM following Eq. (1). The modulated light is detected by a CCD camera in the back-focus plane of Lens L1. only SLM, with uniform illumination by a collimated We note that the distribution function gc(u) is distinct uniform laser beam [Fig. 1(b)]. This setup circumvents from the target intensity IT (u) proposed in Ref. [53]. the difficulty of pixel alignment in the previously pro- Here gc(u) can be an arbitrary real function to guarantee posed SPIM [53–56], and therefore greatly improves the an even function of the interaction strength [c.f. Eq. (3)], system stability and the computing fidelity. Since the which has either positive or negative values, while the spins are loaded through two-dimensional spatial modu- target intensity IT always has non-negative values. In lation, the j-th spin is distributed in a square lattice at particular, for the antiferromagnetic model, all the in- j = (m,n), where 1 ≤ m ≤ Nx, 1 ≤ n ≤ Ny. Accord- teraction strengths Jjh < 0. In the case that ξj s are ing to Ref.[58], after the gauge transformation, each spin positive, G(j − h) should be negative to ensure antifer- is encoded by a macropixel with phase modulation ϕm,n romagnetic interactions between all the spins. It leads ′ z such that σj = exp(iϕm,n) and that gc must be negative for some values of u, otherwise Eq. (3) shows G > 0 for j = h. Moreover, when gc has π m+n ϕm,n = σm,n + (−1) αm,n. (1) both positive and negative values, the Hamiltonian can 2 be evaluated through the correlation function as Eq. (2), Then with Lens L1 of the focal length f performing while it cannot be implemented by the target-intensity Fourier transformation, we detect the band-limited in- approach. tensity distribution I(u) confined within the first diffrac- tion order zone A on the focal plane, and I(u) = z z 2π x x u u ′ ′ i fλ ( j − h)· 2 W B. Number-partitioning problem with the σj σh e sinc ( fλ ), where λ is the wave- Pjh antiferromagnetic Hamiltonian length, f is the focal length of lens L1, W is the length of each macropixel, xj = W j is the center position of the The antiferromagnetic model in SPIM provides a new j-th pixel, u = (u, v) is the spatial coordinate in the focal computation platform for studying the challenging com- u sin πu sin πv plane, and sinc( )= πu πv . Suppose that we preset binatorial optimization problems. As a demonstration, a distribution function gc(u) and evaluate the correlation here we present the ground-state-search process of a com- function F as binatorial optimization problem, the NP-hard number- ′ z ′ z partitioning problem [13, 64]: One would like to divide a F = I(u)gc(u)du = G(j − h)σ σ . (2) Z j h setΞ = {ξj }, containing N real numbers (j =1, 2, ··· N), Xjh A into two subsets Ξ1 and Ξ2, such that the difference be- Here tween the summations of elements in two subsets 1 = ξj and 2 = ξj is as small as possible.P With- 2πW 2 W u i k·u ξj ∈Ξ1 ξj ∈Ξ2 G(k)= gc (u) sinc ( )e fλ du, (3) P P P Z fλ out loss of generality, we suppose all ξj s in the set Ξ A are real numbers belonging to the range (0, 1]. Specifi- that is, G(k) is the Fourier transformation of cally, when the number set Ξ has parity symmetry, the 2 W u spins of such models can be analytically optimized. For gc (u) sinc ( ). Indeed, Eq. (2) shows that by preset- fλ instance, for the set with an even total number of ξ s, ting an appropriate g , a Mattis-type Ising Hamiltonian j c when ξ = ξ , the spin should be σ = −σ to can be evaluated as j N+1−j j N+1−j ensure the equivalence of two subsets. In general, by la- ′ z ′ z H = −F = − G(j − h)σj σh . (4) beling the elements belonging to two different subsets Ξ1 Xjh and Ξ2 with σj = 1 and −1 respectively, the optimization 3 is equivalent to minimizing the antiferromagnetic Hamil- (a)0.06 0.003 2 tonian H = ( ξj σj ) = ξj ξhσj σh. Pj Pjh To implement such an antiferromagnetic Hamiltonian in SPIM, we explore the gauge transformation to search ¢ ′ ′ z ′ z g a spin configuration S = σ where σ = ξj σj while 0 c j j 2 keeping the interaction strength between any two spins (1/¡ m ) vW/f G(k) = −1.