Turing-Completeness and Undecidability in Coupled Nonlinear Optical Resonators

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Li, Gordon, Marandi, Alireza
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866910781952491520
author Li, Gordon
Marandi, Alireza
author_facet Li, Gordon
Marandi, Alireza
contents Networks of coupled nonlinear optical resonators have emerged as an important class of systems in ultrafast optical science, enabling richer and more complex nonlinear dynamics compared to their single-resonator or travelling-wave counterparts. In recent years, these coupled nonlinear optical resonators have been applied as application-specific hardware accelerators for computing applications including combinatorial optimization and artificial intelligence. In this work, we rigorously prove a fundamental result showing that coupled nonlinear optical resonators are Turing-complete computers, which endows them with much greater computational power than previously thought. Furthermore, we show that the minimum threshold of hardware complexity needed for Turing-completeness is surprisingly low, which has profound physical consequences. In particular, we show that several problems of interest in the study of coupled nonlinear optical resonators are formally undecidable. These theoretical findings can serve as the foundation for better understanding the promise of next-generation, ultrafast all-optical computers.
format Preprint
id arxiv_https___arxiv_org_abs_2501_06966
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Turing-Completeness and Undecidability in Coupled Nonlinear Optical Resonators
Li, Gordon
Marandi, Alireza
Optics
Networks of coupled nonlinear optical resonators have emerged as an important class of systems in ultrafast optical science, enabling richer and more complex nonlinear dynamics compared to their single-resonator or travelling-wave counterparts. In recent years, these coupled nonlinear optical resonators have been applied as application-specific hardware accelerators for computing applications including combinatorial optimization and artificial intelligence. In this work, we rigorously prove a fundamental result showing that coupled nonlinear optical resonators are Turing-complete computers, which endows them with much greater computational power than previously thought. Furthermore, we show that the minimum threshold of hardware complexity needed for Turing-completeness is surprisingly low, which has profound physical consequences. In particular, we show that several problems of interest in the study of coupled nonlinear optical resonators are formally undecidable. These theoretical findings can serve as the foundation for better understanding the promise of next-generation, ultrafast all-optical computers.
title Turing-Completeness and Undecidability in Coupled Nonlinear Optical Resonators
topic Optics
url https://arxiv.org/abs/2501.06966