Attractor-Keyed Memory
Abstract
Physical selectors (lasers choosing a mode, Ising machines settling on a ground state, condensates occupying a spin state) produce high-dimensional signatures at the moment of decision: full field amplitudes, multimode interference patterns, or scattering responses. These signatures are richer than the winner’s index, yet they are routinely discarded. We show that when the signatures are repeatable across trials (stereotyped) and linearly independent across routes, a single linear decoder compiled from calibration data maps them to arbitrary payloads, merging selection and memory access into one event and eliminating the fetch that dominates latency and energy in sparse routing architectures. The construction requires one singular value decomposition of measured device responses, which certifies capability and bounds worst-case error for any downstream payload before the task is chosen. Runtime error separates into two independently diagnosable channels, decoding fidelity (controlled by dictionary conditioning) and routing reliability (controlled by the margin-to-noise ratio), each with a distinct physical origin and targeted remedy. We derive the full error decomposition, give Ising-machine selector constructions, and validate the predicted scalings on synthetic speckle-signature simulations across three measurement modalities. No hardware demonstration exists; we provide a falsifiable four-step experimental protocol specifying what a first experiment must measure. Whether real device signatures satisfy stereotypy is the central open question.
Architectures built around discrete selection, including mixture-of-experts models [7], neuromorphic processors [31, 14], and photonic classifiers [29, 32], perform two operations per input: a router selects which of experts to activate, then the associated -dimensional payload is fetched from digital memory [35, 12, 10, 34]. The fetch is the bottleneck: the payload read dominates both latency and energy [12, 31]. Yet the physics of selection has already produced a rich observable at the moment of decision.
When a laser selects a mode, a condensate occupies a state [1], or an Ising machine relaxes toward a ground-state configuration [18, 11, 30], the winning attractor carries a high-dimensional physical signature far richer than the winner’s index. This signature is discarded. We show that a fixed linear decoder can map it to arbitrary data, so that selection and memory access become a single event. We call this primitive attractor-keyed memory (AKM); retrieval without a separate memory fetch we term fetchless lookup.
The framework rests on one physical assumption and one algebraic condition. The assumption is route-conditioned repeatability (stereotypy): conditioned on route winning, the measured signature is approximately the same across inputs. Given stereotypy, the algebraic condition is that the calibrated mean signatures must be linearly independent. When they are, a minimum-norm pseudoinverse decoder [25] recovers any desired payload table exactly, where collects the mean signatures of dimension . Since depends only on the hardware, changing the payload requires only recompiling .
For hardware used as a selector, AKM adds a design objective beyond producing a reliable winner: engineer the post-selection state so its signatures form a well-conditioned dictionary. This added objective yields three practical consequences. First, a task-independent certification protocol: a single singular value decomposition (SVD) of measured device responses determines and , certifying universal payload realizability and bounding worst-case error before deployment. Second, a two-channel error decomposition with distinct diagnostics and remedies: decoding fidelity controlled by , routing reliability controlled by the ratio of the selection margin to effective noise temperature. Third, concrete hardware design targets: three predeployment failure modes (rank loss, conditioning collapse, margin collapse), each measurable and separately remediable.
The linear algebra is standard [25]; the rank criterion for is the finite-dictionary analogue of the full-rank condition in reservoir readout training [15, 5]. In reservoir computing [3, 5], errors fold into a single empirical error budget; in Hopfield retrieval [27], the attractor is the stored object. The novelty is the object the algebra acts on: is compiled once from measured device responses and predicts capability for any payload. Timing-based address selection in spiking networks [2] and driven-dissipative mode competition [1, 30] provide candidate physical selectors.
Evidence hierarchy. Four layers, in decreasing rigor: (i) exact theorem (full-rank dictionary gives universal payload realizability); (ii) approximate theory (conditioning, drift, and stereotypy bounds); (iii) phenomenology (Gibbs routing fit); (iv) synthetic validation (Monte Carlo on speckle-signature models, not physical experiment). Synthetic validation confirms internal consistency; it does not test physical assumptions. Figure 1 contrasts the architecture with reservoir computing; Fig. 2(a) illustrates a photonic realization. Whether real competitive selectors satisfy stereotypy is the central open experimental question; the formal statement and its quantitative relaxation appear below.
Route–decode abstraction.
Fetchless lookup factors into routing and readout:
| (1) |
Here is an -dimensional input; is the discrete route selected by the physical competition; is the single-shot measured signature of the winning state; and is a fixed linear decoder mapping signatures to -dimensional payloads. The theory requires only that routing returns a winner with a measurable margin; the internal structure of the selector is an implementation detail. In these terms, a route is the index returned by the selector; the payload is the data assigned to route ; a fetch is the separate memory read that returns from a stored table once the route is known; and fetchless lookup eliminates that read by obtaining directly from the winner’s signature through , as in Eq. (1).
Score generation and routing.
One realization maps an input to a bank of candidate scores:
| (2) |
In photonic platforms may be realized by a programmable linear optical transformation [19, 4, 22]. A fixed routing map compresses the wide scores into competing routes:
| (3) |
where is the score for route and the corresponding selector energy. The selector returns with winner-to-runner-up margin
| (4) |
where are the ordered scores. Since , this score-space margin equals the energy-space gap ; we use for both throughout. Equations (2)–(4) describe one realization; the theory requires only a winner , a margin , and the testable assumption that misrouting decreases monotonically with .
Signature emission and decoding.
After routing converges to state , a fixed measurement map produces the signature
| (5) |
where is zero-mean measurement noise (decomposed in Supp. Mat., Sec. S3D into an input-dependent residual and a stochastic component ). Conditioned on selecting route , the measured signature has mean and covariance .
Assumption (route-conditioned repeatability / stereotypy). Conditioned on route winning, shot-to-shot variation in is dominated by device noise, not by differences in the triggering input . Strong competition funnels all initial conditions toward a single final state; weak competition lets the winning state retain input memory, making a poor summary. Mode hopping or near-degeneracy can break stereotypy and must be diagnosed (Supp. Mat., Sec. S3).
Calibration forces each route in turn and collects mean signatures and payloads:
| (6) |
The dictionary is empirical, compiled from measured device responses. Runtime readout uses a fixed linear decoder with
Block-parallel architecture.
Proposition 1 (Universal payload realizability).
The system admits a solution for every if and only if . When this holds, and the minimum-norm exact decoder is (proof and full decoder family in Supp. Mat. [28]). The condition is well known; what matters here is its physical interpretation: the routes must produce linearly independent measured patterns, and a single SVD of checks this before any task is specified.
If , exact decoding may still hold for a particular whose rows lie in . Rank deficiency rules out universal fetchless lookup, not every structured task.
Selector realizations.
The decoder theory is selector-agnostic, but two Ising constructions show the framework generates concrete hardware designs.
One-hot QUBO (quadratic unconstrained binary optimization) selector. Binary variables define the energy
| (7) |
where is a penalty weight enforcing the one-hot constraint. If exceeds the largest score magnitude, every global minimizer is one-hot: on the one-hot manifold, , recovering the selector energy of Eq. (3). The standard spin transformation yields an equivalent Ising Hamiltonian with dense antiferromagnetic couplings and local fields proportional to . Each block in the parallel architecture realizes its own such QUBO. The full proof is given in the Supp. Mat. [28].
Binary comparator (). An antiferromagnetically coupled spin pair with coupling and local fields returns [14]; when exceeds the field magnitudes, the energy gap is . Chaining such comparators produces an -bit address into a -entry lookup table. Sweeping the field difference and comparing the empirical misrouting rate against is the simplest experimental test of fetchless lookup.
Driven-dissipative oscillators offer a third realization (Supp. Mat. [28]).
Robustness: two separable failure channels.
At run time two error channels remain: signature perturbation after the correct route wins, and selection of the wrong route. The decomposition is a diagnostic tool, not a claim of statistical independence (Supp. Mat. [28], Remark 3).
Conditional decoding error. If route wins and the single-shot signature is (with perturbation aggregating shot noise, detector noise, and drift), the minimum-norm decoder gives (using )
| (8) |
where is the spectral norm of the payload table. For zero-mean fluctuations with covariance ,
| (9) |
When stereotypy is imperfect and the residual input-dependent shift has norm at most , the additional decoding error is bounded by (Supp. Mat. [28]), so stereotypy need only hold to within the device noise floor.
Dictionary drift. If the dictionary drifts from at calibration to while the decoder remains ,
| (10) |
Recalibration is needed once the drift exceeds tolerance . Each recalibration costs forced-route measurements ( trials per route), so the duty-cycle overhead is this cost divided by the drift interval over which stays within tolerance. Since is device-set and presently uncharacterised, the overhead cannot be quantified without a drift measurement on a specific platform; the experimental protocol below measures it directly.
Routing error. If the intended route is but the selector returns , no decoder can repair the mistake. We use the Gibbs form as a phenomenological fit; the theory needs only that larger margin means lower misrouting:
| (11) |
where is the selector energy defined in Eq. (3) and is an effective temperature fitted from repeated trials [18, 9, 30], the misrouting probability satisfies
| (12) |
where is the minimum energy gap to the next competing route (equal to the score-space margin of Eq. (4), since ). The bound follows from bounding each competitor’s Boltzmann weight by ; for , log-odds of correct routing scale linearly in . Near-degeneracy, where route statistics in Ising machines and SPIMs are known to depart from Boltzmann behaviour, is where the Gibbs form is least reliable; there the structural results (the two-channel decomposition and the certification) still hold, as they assume only monotonicity, while the specific bound (12) should be replaced by the empirically measured misrouting-versus-margin curve. With payload diameter , the triangle inequality gives a routing contribution at most , where is the worst-case per-route noise level. A tighter second-moment decomposition is given in the Supp. Mat. (Remark 3); it requires the additional modeling assumption that route-conditioned emission noise has zero mean and covariance on each route , independently of which route was intended (see Supp. Mat. for the precise statement). Figure 2(b–f) illustrates the decomposition on a controlled speckle-signature model (Monte Carlo; see Supp. Mat., Fig. S1). Because the simulation draws routes from the same Gibbs model used to derive Eq. (12), the agreement confirms the algebra, not the physical adequacy of the Gibbs assumption; that requires a goodness-of-fit test on real route frequencies, not yet available.
Calibration and training.
Fetchless lookup operates on two time scales. A slow calibration stage forces each route, measures signature statistics, forms , and compiles . Between recalibrations, is fixed and online learning updates only (one column per sample, rank-1 update in ); backpropagation through the uses a top-two surrogate gradient (Supp. Mat. [28]).
Experimental protocol and falsifiability.
Four steps translate the theory into a falsifiable experiment: (1) Force each route in turn and record repeated signature measurements. This determines the sample-mean dictionary (the finite-sample estimate of ), the covariances , the empirical rank, , and the stereotypy diagnostic (Supp. Mat., Sec. S3). Full rank is confirmed only if a bootstrap confidence interval for excludes zero; the interval’s lower endpoint provides a conservative bound on dictionary conditioning. Under the hypothesis that centered signatures are sub-Gaussian with , the number of trials needed to resolve scales as (Supp. Mat., Proposition 2). If , no linear decoder can realize universal fetchless lookup. (2) Compile for test payloads and verify on forced-route means; compare single-shot error scaling with via Eqs. (8)–(9). (3) Release the selector, record winner frequencies versus the measured top-two margin, and fit . Assess the Gibbs fit by a goodness-of-fit test (e.g., on binned route frequencies); test Eq. (12). A necessary consistency check: if forced-route and free-running signatures differ significantly, the calibration model requires correction. (4) Monitor drift in mean signatures over time. Recalibrate when exceeds , the tolerance derived from Eq. (10).
No hardware demonstration exists to date; the protocol defines the criteria a first experiment must satisfy. The required ingredients exist separately in current platforms [3, 13, 19, 4, 22, 23, 18, 16, 30]; integrating them into a single device remains open. A forced-routing dictionary measurement is the natural first experiment, followed by a routing test of the predicted dependence.
Scope and outlook.
How far the scheme scales depends on the oversampling ratio . The Bai–Yin law keeps bounded away from zero when exceeds unity by a finite factor, yielding low error amplification at [Eqs. (8)–(9)]. Real device signatures may exhibit spatial correlations that reduce the effective degrees of freedom below , worsening conditioning; the SVD diagnostic detects this. Among the three readout modalities tested [Fig. 2(b) and (g, h)], heterodyne achieves the best conditioning, improving by over amplitude-only measurement at matched complex-mode count, and remains within of the Bai–Yin asymptote up to (Supp. Mat., Fig. S2).
AKM replaces an memory read with an -channel measurement and linear decode, favourable when the decode is absorbed into the measurement optics or when data-movement cost dominates compute [12, 31]; at with digital decode, break-even requires native optical decode or DRAM-resident payloads (Supp. Mat., Sec. S13).
Any competitive physical selector that produces high-dimensional signatures and settles to stereotyped attractor states is a candidate platform: coherent Ising machines, polariton condensate networks, laser arrays, and spatial photonic Ising machines (SPIMs). Among these, SPIMs are closest to the requirements: focal-plane division now enables fully programmable Ising selection [33], and full-aperture wavefront correction removes the aberration bottleneck that previously limited effective [17]. What remains untested is the quantity AKM requires: within-attractor variance of the full speckle signature, conditioned on the same winning route.
Indirect evidence is encouraging: speckle physical unclonable functions (PUFs), photonic reservoirs, and polariton condensates achieve reproducibility of attractor-level observables [8, 24, 21, 3, 20, 6, 9], but the continuous high-dimensional state within a given attractor is almost never quantified [28]. A first experiment need only record continuous-valued output conditioned on the same attractor, yielding the four quantities , , , and that determine whether a platform supports fetchless lookup at a target scale.
Acknowledgements.
The author acknowledges support from HORIZON EIC-2022-PATHFINDERCHALLENGES-01 HEISINGBERG Project 101114978, from Weizmann–UK Make Connection Grant 142568, and from the EPSRC UK Multidisciplinary Centre for Neuromorphic Computing (grant UKRI982).Patent and Implementation Notice. Certain systems, methods, hardware configurations, acceleration techniques, implementation architectures, and commercial applications related to the work described in this manuscript are the subject of pending or patent applications in progress. This manuscript is intended to describe the scientific concepts and experimental framework at a research level and does not disclose all proprietary engineering, hardware, system-integration, optimization, or commercial implementation details.
References
- [1] (2017) Realizing the classical XY hamiltonian in polariton condensates. Nature Materials 16, pp. 1120–1126. External Links: Document Cited by: Attractor-Keyed Memory, Attractor-Keyed Memory.
- [2] (2026) Polychronous wave computing: timing-native address selection in spiking networks. External Links: 2601.13079, Document, Link Cited by: Attractor-Keyed Memory.
- [3] (2013) Parallel photonic information processing at gigabyte per second data rates using transient states. Nature Communications 4, pp. 1364. External Links: Document Cited by: Scope and outlook., Experimental protocol and falsifiability., Attractor-Keyed Memory.
- [4] (2016) Optimal design for universal multiport interferometers. Optica 3 (12), pp. 1460–1465. External Links: Document Cited by: Score generation and routing., Experimental protocol and falsifiability..
- [5] (2012) Information processing capacity of dynamical systems. Scientific Reports 2, pp. 514. External Links: Document Cited by: Attractor-Keyed Memory.
- [6] (2018) Stochastic spin flips in polariton condensates: nonlinear tuning from GHz to sub-Hz. New Journal of Physics 20, pp. 075008. External Links: Document Cited by: Scope and outlook..
- [7] (2021) Switch transformers: scaling to trillion parameter models with simple and efficient sparsity. Note: arXiv External Links: 2101.03961, Link Cited by: Attractor-Keyed Memory.
- [8] (2020) Physical unclonable functions. Nature Electronics 3 (2), pp. 81–91. External Links: Document Cited by: Scope and outlook..
- [9] (2019) Experimental investigation of performance differences between coherent ising machines and a quantum annealer. Physical Review X 9, pp. 021032. External Links: Document Cited by: Scope and outlook., Robustness: two separable failure channels..
- [10] (2019) A new golden age for computer architecture. Communications of the ACM 62 (2), pp. 48–60. Cited by: Attractor-Keyed Memory.
- [11] (2021) 100,000-spin coherent ising machine. Science Advances 7 (40), pp. eabh0952. External Links: Document Cited by: Attractor-Keyed Memory.
- [12] (2014) 1.1 computing’s energy problem (and what we can do about it). In 2014 IEEE international solid-state circuits conference digest of technical papers (ISSCC), pp. 10–14. Cited by: Scope and outlook., Attractor-Keyed Memory.
- [13] (2019) Wave physics as an analog recurrent neural network. Science Advances 5 (12), pp. eaay6946. External Links: Document Cited by: Experimental protocol and falsifiability..
- [14] (2025) Spiking manifesto. External Links: 2512.11843, Document, Link Cited by: Selector realizations., Attractor-Keyed Memory.
- [15] (2004) Harnessing nonlinearity: predicting chaotic systems and saving energy in wireless communication. Science 304, pp. 78–80. Cited by: Attractor-Keyed Memory.
- [16] (2018) Simulating Ising and -state planar Potts models and external fields with nonequilibrium condensates. Physical Review Letters 121, pp. 235302. External Links: Document Cited by: Experimental protocol and falsifiability..
- [17] (2026) High-fidelity spatial photonic ising machines via precise wavefront shaping. arXiv preprint arXiv:2602.13714. Cited by: Scope and outlook..
- [18] (2016) A fully programmable 100-spin coherent ising machine with all-to-all connections. Science 354 (6312), pp. 614–617. External Links: Document Cited by: Robustness: two separable failure channels., Experimental protocol and falsifiability., Attractor-Keyed Memory.
- [19] (2013) Self-configuring universal linear optical component [invited]. Photonics Research 1 (1), pp. 1–15. External Links: Document Cited by: Score generation and routing., Experimental protocol and falsifiability..
- [20] (2015) Spontaneous spin bifurcations and ferromagnetic phase transitions in a spinor exciton-polariton condensate. Physical Review X 5, pp. 031002. External Links: Document Cited by: Scope and outlook..
- [21] (2015) Consistency properties of a chaotic semiconductor laser driven by optical feedback. Physical Review Letters 114, pp. 123902. External Links: Document Cited by: Scope and outlook..
- [22] (2025) Arbitrary control over multimode wave propagation for machine learning. Nature Physics. External Links: Document Cited by: Score generation and routing., Experimental protocol and falsifiability..
- [23] (2023) Experimentally realized in situ backpropagation for deep learning in photonic neural networks. Science 380 (6643), pp. 398–404. External Links: Document Cited by: Experimental protocol and falsifiability..
- [24] (2002) Physical one-way functions. Science 297, pp. 2026–2030. External Links: Document Cited by: Scope and outlook..
- [25] (1955) A generalized inverse for matrices. Mathematical Proceedings of the Cambridge Philosophical Society 51 (3), pp. 406–413. External Links: Document Cited by: Attractor-Keyed Memory, Attractor-Keyed Memory.
- [26] (2019) Large-scale photonic ising machine by spatial light modulation. Physical Review Letters 122 (21), pp. 213902. External Links: Document Cited by: Figure 2.
- [27] (2020) Hopfield networks is all you need. arXiv preprint arXiv:2008.02217. Cited by: Attractor-Keyed Memory.
- [28] See supplemental material. Note: at [https://www.damtp.cam.ac.uk/user/ngb23/publications/SI_AKM.pdf] for soft-spin dynamics, binary comparator details, ridge regularization, training derivations, experiment specification, scaling analysis, and reproducible code Cited by: Figure 2, Scope and outlook., Block-parallel architecture., Proposition 1 (Universal payload realizability)., Selector realizations., Selector realizations., Robustness: two separable failure channels., Robustness: two separable failure channels., Calibration and training..
- [29] (2017) Deep learning with coherent nanophotonic circuits. Nature Photonics 11, pp. 441–446. External Links: Document Cited by: Attractor-Keyed Memory.
- [30] (2023) Analog photonics computing for information processing, inference, and optimization. Advanced Quantum Technologies 6 (9), pp. 2300055. External Links: Document Cited by: Robustness: two separable failure channels., Experimental protocol and falsifiability., Attractor-Keyed Memory, Attractor-Keyed Memory.
- [31] (2017) Efficient processing of deep neural networks: a tutorial and survey. Proceedings of the IEEE 105 (12), pp. 2295–2329. External Links: Document Cited by: Scope and outlook., Attractor-Keyed Memory.
- [32] (2017) Neuromorphic photonic networks using silicon photonic weight banks. Scientific Reports 7, pp. 7430. External Links: Document Cited by: Attractor-Keyed Memory.
- [33] (2025) Fully programmable spatial photonic Ising machine by focal plane division. Physical Review Letters 134 (6), pp. 063802. External Links: Document Cited by: Scope and outlook..
- [34] (2009) Roofline: an insightful visual performance model for floating-point programs and multicore architectures. Communications of the ACM 52 (4), pp. 65–76. External Links: Document Cited by: Attractor-Keyed Memory.
- [35] (1995) Hitting the memory wall: implications of the obvious. ACM SIGARCH computer architecture news 23 (1), pp. 20–24. Cited by: Attractor-Keyed Memory.