Showing 1–50 of 215 results for author: Zimmermann, M

The Complexity of Data-Free Nfer

Authors: Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann

Abstract: Nfer is a Runtime Verification language for the analysis of event traces that applies rules to create hierarchies of time intervals. This work examines the complexity of the evaluation and satisfiability problems for the data-free fragment of nfer. The evaluation problem asks whether a given interval is generated by applying rules to a known input, while the satisfiability problem asks if an input… ▽ More Nfer is a Runtime Verification language for the analysis of event traces that applies rules to create hierarchies of time intervals. This work examines the complexity of the evaluation and satisfiability problems for the data-free fragment of nfer. The evaluation problem asks whether a given interval is generated by applying rules to a known input, while the satisfiability problem asks if an input exists that will generate a given interval. By excluding data from the language, we obtain polynomial-time algorithms for the evaluation problem and for satisfiability when only considering inclusive rules. Furthermore, we show decidability for the satisfiability problem for cycle-free specifications and undecidability for satisfiability of full data-free nfer. △ Less

Submitted 3 July, 2024; originally announced July 2024.

A piezoelectric ski-jump laser beam scanning chip-to-free space photonic link

Authors: Matt Saha, Y. Henry Wen, Andrew S. Greenspon, Matthew Zimmermann, Kevin J. Palm, Alex Witte, Mark Dong, Andrew J. Leenheer, Genevieve Clark, Gerald Gilbert, Matt Eichenfield, Dirk Englund

Abstract: A seamless interface between integrated photonic processors and targets in free-space enables wide-ranging advancements in telescopy, free-space communication, optical ranging, materials processing, biomedical imaging, near eye display, machine optical intelligence and quantum control. An optimal solution allows for 2D scanning from anywhere on a photonic chip over a large number of diffraction li… ▽ More A seamless interface between integrated photonic processors and targets in free-space enables wide-ranging advancements in telescopy, free-space communication, optical ranging, materials processing, biomedical imaging, near eye display, machine optical intelligence and quantum control. An optimal solution allows for 2D scanning from anywhere on a photonic chip over a large number of diffraction limited spots in the far field. Leading approaches rely on scanners where the numerical aperture and actuator size are linked, resulting in a trade off between resolution, speed and footprint, whereas scanning fibers have been limited to bulk optical and mechanical components. Here, we introduce a CMOS fabricated photonic "ski-jump" composed of a broadband, single mode silicon nitride waveguide monolithically integrated atop a piezo-actuated cantilever. The ski-jump passively curl 90 degrees out-of-plane via mechanical meta-stress engineering in a footprint of less than 0.1 mm squared and emit submicron diffraction-limited optical modes with piezoelectric steering. They also exhibit kHz-rate longitudinal and lateral mechanical resonances with displacement ranges exceeding 400 micron and 180 micron, respectively, and quality factors Q>10,000 under vacuum. These resonances enable 2D beam scanning at footprint-adjusted spot-rates of 68.6 Megaspot/s-mm squared surpassing state-of-the-art MEMS mirrors by more than 50. Using these devices, we demonstrate arbitrary 2D image projection and the repeatable initialization and readout of single photons from silicon vacancies in diamond waveguides. Based on current device performance, we identify pathways for achieving >1 Giga-spots in a square cm area to provide a seamless, scalable optical pipeline between integrated photonic processors and the free-space world. △ Less

Submitted 25 June, 2024; originally announced June 2024.

Comments: 12 pages main text, 1 page methods, 10 pages supplementary information

Efficient mid-term forecasting of hourly electricity load using generalized additive models

Authors: Monika Zimmermann, Florian Ziel

Abstract: Accurate mid-term (weeks to one year) hourly electricity load forecasts are essential for strategic decision-making in power plant operation, ensuring supply security and grid stability, and energy trading. While numerous models effectively predict short-term (hours to a few days) hourly load, mid-term forecasting solutions remain scarce. In mid-term load forecasting, besides daily, weekly, and an… ▽ More Accurate mid-term (weeks to one year) hourly electricity load forecasts are essential for strategic decision-making in power plant operation, ensuring supply security and grid stability, and energy trading. While numerous models effectively predict short-term (hours to a few days) hourly load, mid-term forecasting solutions remain scarce. In mid-term load forecasting, besides daily, weekly, and annual seasonal and autoregressive effects, capturing weather and holiday effects, as well as socio-economic non-stationarities in the data, poses significant modeling challenges. To address these challenges, we propose a novel forecasting method using Generalized Additive Models (GAMs) built from interpretable P-splines and enhanced with autoregressive post-processing. This model uses smoothed temperatures, Error-Trend-Seasonal (ETS) modeled non-stationary states, a nuanced representation of holiday effects with weekday variations, and seasonal information as input. The proposed model is evaluated on load data from 24 European countries. This analysis demonstrates that the model not only has significantly enhanced forecasting accuracy compared to state-of-the-art methods but also offers valuable insights into the influence of individual components on predicted load, given its full interpretability. Achieving performance akin to day-ahead TSO forecasts in fast computation times of a few seconds for several years of hourly data underscores the model's potential for practical application in the power system industry. △ Less

Submitted 27 May, 2024; originally announced May 2024.

Monitoring Real-Time Systems under Parametric Delay

Authors: Martin Fränzle, Thomas M. Grosen, Kim G. Larsen, Martin Zimmermann

Abstract: Online monitoring of embedded real-time systems can be achieved by reduction of an adequate property language, like Metric Interval Temporal Logic, to timed automata and symbolic execution of the resulting automata on the trace observed from the system. This direct construction however only is faithful if observation of the trace is immediate in the sense that the monitor can assign exact time sta… ▽ More Online monitoring of embedded real-time systems can be achieved by reduction of an adequate property language, like Metric Interval Temporal Logic, to timed automata and symbolic execution of the resulting automata on the trace observed from the system. This direct construction however only is faithful if observation of the trace is immediate in the sense that the monitor can assign exact time stamps to the actions it observes, which is rarely true in practice due to the substantial and fluctuating parametric delays introduced by the circuitry connecting the observed system to its monitoring device. We present a purely zone-based online monitoring procedure and its implementation which handle such parametric delays exactly without recurrence to costly verification procedures for parametric timed automata. △ Less

Submitted 28 April, 2024; originally announced April 2024.

Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking

Authors: Sarah Winter, Martin Zimmermann

Abstract: HyperLTL model-checking enables the automated verification of information-flow properties for security-critical systems. However, it only provides a binary answer. Here, we introduce two paradigms to compute counterexamples and explanations for HyperLTL model-checking, thereby considerably increasing its usefulness. Both paradigms are based on the maxim ``counterexamples/explanations are Skolem fu… ▽ More HyperLTL model-checking enables the automated verification of information-flow properties for security-critical systems. However, it only provides a binary answer. Here, we introduce two paradigms to compute counterexamples and explanations for HyperLTL model-checking, thereby considerably increasing its usefulness. Both paradigms are based on the maxim ``counterexamples/explanations are Skolem functions for the existentially quantified trace variables''. Our first paradigm is complete (everything can be explained), but restricted to ultimately periodic system traces. The second paradigm works with (Turing machine) computable Skolem functions and is therefore much more general, but also shown incomplete (not everything can computably be explained). Finally, we prove that it is decidable whether a given finite transition system and a formula have computable Skolem functions witnessing that the system satisfies the formula. Our algorithm also computes transducers implementing computable Skolem functions, if they exist. △ Less

Submitted 28 April, 2024; originally announced April 2024.

Discovery of Giant Unit-Cell Super-Structure in the Infinite-Layer Nickelate PrNiO$_2$

Authors: J. Oppliger, J. Küspert, A. -C. Dippel, M. v. Zimmermann, O. Gutowski, X. Ren, X. J. Zhou, Z. Zhu, R. Frison, Q. Wang, L. Martinelli, I. Biało, J. Chang

Abstract: Spectacular quantum phenomena such as superconductivity often emerge in flat-band systems where Coulomb interactions overpower electron kinetics. Engineering strategies for flat-band physics is therefore of great importance. Here, using high-energy grazing-incidence x-ray diffraction, we demonstrate how in-situ temperature annealing of the infinite-layer nickelate PrNiO$_2$ induces a giant superla… ▽ More Spectacular quantum phenomena such as superconductivity often emerge in flat-band systems where Coulomb interactions overpower electron kinetics. Engineering strategies for flat-band physics is therefore of great importance. Here, using high-energy grazing-incidence x-ray diffraction, we demonstrate how in-situ temperature annealing of the infinite-layer nickelate PrNiO$_2$ induces a giant superlattice structure. The annealing effect has a maximum well above room temperature. By covering a large scattering volume, we show a rare period-six in-plane (bi-axial) symmetry and a period-four symmetry in the out-of-plane direction. This giant unit-cell superstructure likely stems from ordering of diffusive oxygen. The stability of this superlattice structure suggests a connection to an energetically favorable electronic state of matter. As such, our study provides a new pathway - different from Moiré structures - to ultra-small Brillouin zone electronics. △ Less

Submitted 27 April, 2024; originally announced April 2024.

Comments: Main: 7 pages, 4 figures. Supplementary: 2 pages, 3 figures

Spatially-resolved charge detectors for particle beam optimization with femtoampere resolution achieved by in-vacuum signal preamplification

Authors: Kilian Brenner, Michael Zimmermann, Maik Butterling, Andreas Wagner, Christoph Hugenschmidt, Francesco Guatieri

Abstract: We present the design of a Faraday cup-like charged particle detector in a four quadrant configuration aimed at facilitating the alignment of low-intensity beams of exotic particles. The device is capable of assessing the current on the electrodes with a resolution of 33fA within 15ms or a maximal resolution of 1.8fA with a measurement time of 12.4s. This performance is achieved by minimizing the… ▽ More We present the design of a Faraday cup-like charged particle detector in a four quadrant configuration aimed at facilitating the alignment of low-intensity beams of exotic particles. The device is capable of assessing the current on the electrodes with a resolution of 33fA within 15ms or a maximal resolution of 1.8fA with a measurement time of 12.4s. This performance is achieved by minimizing the noise through a preamplification circuit installed in vacuum, as close as possible to the electrodes. We tested the detector with the positron beam of ELBE, achieving the nominal maximum resolution with high reproducibility. We then exploited the capabilities of the detector to resolve the two-dimensional shape of the beam, and revealed the presence of a weak electron beam being transported alongside the positrons. Characterization of the detector performance showed that in a variety of scenarios it can be used to quickly center positron beams thus allowing for the prompt optimization of beam transport. △ Less

Submitted 10 February, 2024; originally announced February 2024.

Comments: 8 pages, 9 figures

Two-Dimensional Phase-Fluctuating Superconductivity in Bulk-Crystalline NdO$_{0.5}$F$_{0.5}$BiS$_2$

Authors: C. S. Chen, J. Küspert, I. Biało, J. Mueller, K. W. Chen, M. Y. Zou, D. G. Mazzone, D. Bucher, K. Tanaka, O. Ivashko, M. v. Zimmermann, Qisi Wang, Lei Shu, J. Chang

Abstract: We present a combined growth and transport study of superconducting single-crystalline NdO$_{0.5}$F$_{0.5}$BiS$_2$. Evidence of two-dimensional superconductivity with significant phase fluctuations of preformed Cooper pairs preceding the superconducting transition is reported. This result is based on three key observations. (1) The resistive superconducting transition temperature $T_c$ (defined by… ▽ More We present a combined growth and transport study of superconducting single-crystalline NdO$_{0.5}$F$_{0.5}$BiS$_2$. Evidence of two-dimensional superconductivity with significant phase fluctuations of preformed Cooper pairs preceding the superconducting transition is reported. This result is based on three key observations. (1) The resistive superconducting transition temperature $T_c$ (defined by resistivity $ρ\rightarrow 0$) increases with increasing disorder. (2) As $T\rightarrow T_c$, the conductivity diverges significantly faster than what is expected from Gaussian fluctuations in two and three dimensions. (3) Non-Ohmic resistance behavior is observed in the superconducting state. Altogether, our observations are consistent with a temperature regime of phase-fluctuating superconductivity. The crystal structure with magnetic ordering tendencies in the NdO$_{0.5}$F$_{0.5}$ layers and (super)conductivity in the BiS$_2$ layers is likely responsible for the two-dimensional phase fluctuations. As such, NdO$_{0.5}$F$_{0.5}$BiS$_2$ falls into the class of unconventional ``laminar" bulk superconductors that include cuprate materials and 4Hb-TaS$_2$. △ Less

Submitted 24 February, 2024; v1 submitted 30 January, 2024; originally announced January 2024.

Tuning of Charge Order by Uniaxial Stress in a Cuprate Superconductor

Authors: Laure Thomarat, Frank Elson, Elisabetta Nocerino, Debarchan Das, Oleh Ivashko, Marek Bartkowiak, Martin Månsson, Yasmine Sassa, Tadashi Adachi, Martin v. Zimmermann, Hubertus Luetkens, Johan Chang, Marc Janoschek, Zurab Guguchia, Gediminas Simutis

Abstract: Strongly correlated electron materials are often characterized by competition and interplay of multiple quantum states. For example, in high-temperature cuprate superconductors unconventional superconductivity, spin- and charge-density wave orders coexist. A key question is whether competing states coexist on the atomic scale or if they segregate into distinct 'islands'. Using X-ray diffraction, w… ▽ More Strongly correlated electron materials are often characterized by competition and interplay of multiple quantum states. For example, in high-temperature cuprate superconductors unconventional superconductivity, spin- and charge-density wave orders coexist. A key question is whether competing states coexist on the atomic scale or if they segregate into distinct 'islands'. Using X-ray diffraction, we investigate the competition between charge order and superconductivity in the archetypal cuprate La(2-x)BaxCuO4, around the x = 1/8-do**, where uniaxial stress restores optimal 3D superconductivity at approximately 0.06 GPa. We find that the charge order peaks and the correlation length along the stripe are strongly reduced up to the critical stress, above which they stay constant. Simultaneously, the charge order onset temperature only shows a modest decrease. Our findings suggest that optimal 3D superconductivity is not linked to the absence of charge stripes but instead requires their arrangement into smaller 'islands'. Our results provide insight into the length scales over which the interplay between superconductivity and charge order takes place. △ Less

Submitted 24 January, 2024; originally announced January 2024.

Solving the swing-up and balance task for the Acrobot and Pendubot with SAC

Authors: Chi Zhang, Akhil Sathuluri, Markus Zimmermann

Abstract: We present a solution of the swing-up and balance task for the pendubot and acrobot for the participation in the AI Olympics competition at IJCAI 2023. Our solution is based on the Soft Actor Crtic (SAC) reinforcement learning (RL) algorithm for training a policy for the swing-up and entering the region of attraction of a linear quadratic regulator(LQR) controller for stabilizing the double pendul… ▽ More We present a solution of the swing-up and balance task for the pendubot and acrobot for the participation in the AI Olympics competition at IJCAI 2023. Our solution is based on the Soft Actor Crtic (SAC) reinforcement learning (RL) algorithm for training a policy for the swing-up and entering the region of attraction of a linear quadratic regulator(LQR) controller for stabilizing the double pendulum at the top position. Our controller achieves competitive scores in performance and robustness for both, pendubot and acrobot, problem scenarios. △ Less

Submitted 18 December, 2023; originally announced December 2023.

Comments: IJCAI 2023, RealAIGym competition

Engineering Phase Competition Between Stripe Order and Superconductivity in La$_{1.88}$Sr$_{0.12}$CuO$_4$

Authors: J. Küspert, I. Biało, R. Frison, A. Morawietz, L. Martinelli, J. Choi, D. Bucher, O. Ivashko, M. v. Zimmermann, N. B. Christensen, D. G. Mazzone, G. Simutis, A. A. Turrini, L. Thomarat, D. W. Tam, M. Janoschek, T. Kurosawa, N. Momono, M. Oda, Qisi Wang, J. Chang

Abstract: Unconventional superconductivity often couples to other electronic orders in a cooperative or competing fashion. Identifying external stimuli that tune between these two limits is of fundamental interest. Here, we show that $c$-axis strain couples directly to the competing interaction between charge stripe order and superconductivity in La$_{1.88}$Sr$_{0.12}$CuO$_4$ (LSCO). Compressive $c$-axis pr… ▽ More Unconventional superconductivity often couples to other electronic orders in a cooperative or competing fashion. Identifying external stimuli that tune between these two limits is of fundamental interest. Here, we show that $c$-axis strain couples directly to the competing interaction between charge stripe order and superconductivity in La$_{1.88}$Sr$_{0.12}$CuO$_4$ (LSCO). Compressive $c$-axis pressure amplifies stripe order within the superconducting state, while having no impact on the normal state. By contrast, strain dramatically diminishes the magnetic field enhancement of stripe order in the superconducting state. This observation hints to the existence of a ground state without phase competition. As such, c-axis pressure is a promising tuning parameter in the search for ground states where superconductivity adopts broken translational symmetry from charge ordering phenomena. △ Less

Submitted 6 December, 2023; originally announced December 2023.

The Complexity of Second-order HyperLTL

Authors: Hadar Frenkel, Martin Zimmermann

Abstract: We determine the complexity of second-order HyperLTL satisfiability, finite-state satisfiability, and model-checking: All three are as hard as truth in third-order arithmetic. We also consider two fragments of second-order HyperLTL that have been introduced with the aim to facilitate effective model-checking by restricting the sets one can quantify over. The first one restricts second-order quan… ▽ More We determine the complexity of second-order HyperLTL satisfiability, finite-state satisfiability, and model-checking: All three are as hard as truth in third-order arithmetic. We also consider two fragments of second-order HyperLTL that have been introduced with the aim to facilitate effective model-checking by restricting the sets one can quantify over. The first one restricts second-order quantification to smallest/largest sets that satisfy a guard while the second one restricts second-order quantification further to least fixed points of (first-order) HyperLTL definable functions. The first fragment is still as hard as truth in third-order arithmetic while satisfiability for the second one is $Σ_1^1$-complete, i.e., only as hard as (first-order) HyperLTL and therefore much less complex. Finally, finite-state satisfiability and model-checking are in $Σ_2^2$ and $Σ_1^1$-hard, and thus also less complex than model-checking full second-order HyperLTL. △ Less

Submitted 28 April, 2024; v1 submitted 27 November, 2023; originally announced November 2023.

Searching for the signature of a pair density wave in YBa$_2$Cu$_3$O$_{6.67}$ using high energy X-ray diffraction

Authors: Elizabeth Blackburn, Oleh Ivashko, Emma Campillo, Martin von Zimmermann, Ruixing Liang, Douglas A. Bonn, Walter N. Hardy, Johan Chang, Edward M. Forgan, Stephen M. Hayden

Abstract: We have carried out a search for a pair density wave signature using high-energy X-ray diffraction in fields up to 16 T. We do not see evidence for a signal at the predicted wavevector. This is a report on the details of our experiment, with information on where in reciprocal space we looked. We have carried out a search for a pair density wave signature using high-energy X-ray diffraction in fields up to 16 T. We do not see evidence for a signal at the predicted wavevector. This is a report on the details of our experiment, with information on where in reciprocal space we looked. △ Less

Submitted 27 October, 2023; originally announced October 2023.

Comments: 5 pages, report on experimental results

High-speed photonic crystal modulator with non-volatile memory via structurally-engineered strain concentration in a piezo-MEMS platform

Authors: Y. Henry Wen, David Heim, Matthew Zimmermann, Roman A. Shugayev, Mark Dong, Andrew J. Leenheer, Gerald Gilbert, Matt Eichenfield, Mikkel Heuck, Dirk R. Englund

Abstract: Numerous applications in quantum and classical optics require scalable, high-speed modulators that cover visible-NIR wavelengths with low footprint, drive voltage (V) and power dissipation. A critical figure of merit for electro-optic (EO) modulators is the transmission change per voltage, dT/dV. Conventional approaches in wave-guided modulators seek to maximize dT/dV by the selection of a high EO… ▽ More Numerous applications in quantum and classical optics require scalable, high-speed modulators that cover visible-NIR wavelengths with low footprint, drive voltage (V) and power dissipation. A critical figure of merit for electro-optic (EO) modulators is the transmission change per voltage, dT/dV. Conventional approaches in wave-guided modulators seek to maximize dT/dV by the selection of a high EO coefficient or a longer light-material interaction, but are ultimately limited by nonlinear material properties and material losses, respectively. Optical and RF resonances can improve dT/dV, but introduce added challenges in terms of speed and spectral tuning, especially for high-Q photonic cavity resonances. Here, we introduce a cavity-based EO modulator to solve both trade-offs in a piezo-strained photonic crystal cavity. Our approach concentrates the displacement of a piezo-electric actuator of length L and a given piezoelectric coefficient into the PhCC, resulting in dT/dV proportional to L under fixed material loss. Secondly, we employ a material deformation that is programmable under a "read-write" protocol with a continuous, repeatable tuning range of 5 GHz and a maximum non-volatile excursion of 8 GHz. In telecom-band demonstrations, we measure a fundamental mode linewidth = 5.4 GHz, with voltage response 177 MHz/V corresponding to 40 GHz for voltage spanning -120 to 120 V, 3dB-modulation bandwidth of 3.2 MHz broadband DC-AC, and 142 MHz for resonant operation near 2.8 GHz operation, optical extinction down to min(log(T)) = -25 dB via Michelson-type interference, and an energy consumption down to 0.17 nW/GHz. The strain-enhancement methods presented here are applicable to study and control other strain-sensitive systems. △ Less

Submitted 13 October, 2023; v1 submitted 11 October, 2023; originally announced October 2023.

Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games

Authors: Martin Fränzle, Sarah Winter, Martin Zimmermann

Abstract: We compare games under delayed control and delay games, two types of infinite games modelling asynchronicity in reactive synthesis. Our main result, the interreducibility of the existence of sure winning strategies for the protagonist, allows to transfer known complexity results and bounds on the delay from delay games to games under delayed control, for which no such results had been known. We fu… ▽ More We compare games under delayed control and delay games, two types of infinite games modelling asynchronicity in reactive synthesis. Our main result, the interreducibility of the existence of sure winning strategies for the protagonist, allows to transfer known complexity results and bounds on the delay from delay games to games under delayed control, for which no such results had been known. We furthermore analyze existence of randomized strategies that win almost surely, where this correspondence between the two types of games breaks down. △ Less

Submitted 2 October, 2023; originally announced October 2023.

Comments: In Proceedings GandALF 2023, arXiv:2309.17318

Journal ref: EPTCS 390, 2023, pp. 220-235

Lattice Fundamental Measure Theory beyond 0D Cavities: Dimers on Square Lattices

Authors: Michael Zimmermann, Martin Oettel

Abstract: Using classical density functional theory, we study the behavior of dimers, i.e. hard rods of length $L=2$, on a two-dimensional cubic lattice. For deriving a free energy functional, we employ Levy's prescription which is based on the minimization of a microscopic free energy with respect to the many-body probability under the constraint of a fixed density profile. Using that, we recover the funct… ▽ More Using classical density functional theory, we study the behavior of dimers, i.e. hard rods of length $L=2$, on a two-dimensional cubic lattice. For deriving a free energy functional, we employ Levy's prescription which is based on the minimization of a microscopic free energy with respect to the many-body probability under the constraint of a fixed density profile. Using that, we recover the functional originally found by Lafuente and Cuesta and derive an extension. With this extension, the free energy functional is exact on cavities that can hold at most two particles simultaneously. The new functional improves the prediction of the free energy in bulk as well as in highly confined systems, especially for high packing fractions, in comparison to that of Lafuente and Cuesta. △ Less

Submitted 26 September, 2023; originally announced September 2023.

Comments: 26 pages, 7 figures, Paper is submitted to J.Stat.Phys

Charge order above room-temperature in a prototypical kagome superconductor La(Ru$_{1-x}$Fe$_{x}$)$_{3}$Si$_{2}$

Authors: I. Plokhikh, C. Mielke III, H. Nakamura, V. Petricek, Y. Qin, V. Sazgari, J. Küspert, I. Bialo, S. Shin, O. Ivashko, M. v. Zimmermann, M. Medarde, A. Amato, R. Khasanov, H. Luetkens, M. H. Fischer, M. Z. Hasan, J. -X. Yin, T. Neupert, J. Chang, G. Xu, S. Nakatsuji, E. Pomjakushina, D. J. Gawryluk, Z. Guguchia

Abstract: The kagome lattice is an intriguing and rich platform for discovering, tuning and understanding the diverse phases of quantum matter, which is a necessary premise for utilizing quantum materials in all areas of modern and future electronics in a controlled and optimal way. The system LaRu$_{3}$Si$_{2}$ was shown to exhibit typical kagome band structure features near the Fermi energy formed by the… ▽ More The kagome lattice is an intriguing and rich platform for discovering, tuning and understanding the diverse phases of quantum matter, which is a necessary premise for utilizing quantum materials in all areas of modern and future electronics in a controlled and optimal way. The system LaRu$_{3}$Si$_{2}$ was shown to exhibit typical kagome band structure features near the Fermi energy formed by the Ru-$dz^{2}$ orbitals and the highest superconducting transition temperature $T_{\rm c}$ ${\simeq}$ 7K among the kagome-lattice materials. However, the effect of electronic correlations on the normal state properties remains elusive. Here, we report the discovery of charge order in La(Ru$_{1-x}$Fe$_{x}$)$_{3}$Si$_{2}$ ($x$ = 0, 0.01, 0.05) beyond room-temperature. Namely, single crystal X-ray diffraction reveals charge order with a propagation vector of ($\frac{1}{4}$,0,0) below $T_{\rm CO-I}$ ${\simeq}$ 400K in all three compounds. At lower temperatures, we see the appearance of a second set of charge order peaks with a propagation vector of ($\frac{1}{6}$,0,0). The introduction of Fe, which is known to quickly suppress superconductivity, does not drastically alter the onset temperature for charge order. Instead, it broadens the scattered intensity such that diffuse scattering appears at the same onset temperature, however does not coalesce into sharp Bragg diffraction peaks until much lower in temperature. Our results present the first example of a charge ordered state at or above room temperature in the correlated kagome lattice with bulk superconductivity. △ Less

Submitted 17 September, 2023; originally announced September 2023.

Comments: 15 pages, 8 figures

Evaluation of Key Spatiotemporal Learners for Print Track Anomaly Classification Using Melt Pool Image Streams

Authors: Lynn Cherif, Mutahar Safdar, Guy Lamouche, Priti Wanjara, Padma Paul, Gentry Wood, Max Zimmermann, Florian Hannesen, Yaoyao Fiona Zhao

Abstract: Recent applications of machine learning in metal additive manufacturing (MAM) have demonstrated significant potential in addressing critical barriers to the widespread adoption of MAM technology. Recent research in this field emphasizes the importance of utilizing melt pool signatures for real-time defect prediction. While high-quality melt pool image data holds the promise of enabling precise pre… ▽ More Recent applications of machine learning in metal additive manufacturing (MAM) have demonstrated significant potential in addressing critical barriers to the widespread adoption of MAM technology. Recent research in this field emphasizes the importance of utilizing melt pool signatures for real-time defect prediction. While high-quality melt pool image data holds the promise of enabling precise predictions, there has been limited exploration into the utilization of cutting-edge spatiotemporal models that can harness the inherent transient and sequential characteristics of the additive manufacturing process. This research introduces and puts into practice some of the leading deep spatiotemporal learning models that can be adapted for the classification of melt pool image streams originating from various materials, systems, and applications. Specifically, it investigates two-stream networks comprising spatial and temporal streams, a recurrent spatial network, and a factorized 3D convolutional neural network. The capacity of these models to generalize when exposed to perturbations in melt pool image data is examined using data perturbation techniques grounded in real-world process scenarios. The implemented architectures demonstrate the ability to capture the spatiotemporal features of melt pool image sequences. However, among these models, only the Kinetics400 pre-trained SlowFast network, categorized as a two-stream network, exhibits robust generalization capabilities in the presence of data perturbations. △ Less

Submitted 28 August, 2023; originally announced August 2023.

Comments: This work has been accepted to IFAC for publication under a Creative Commons Licence CC-BY-NC-ND

Report number: 2577

Nanoelectromechanical control of spin-photon interfaces in a hybrid quantum system on chip

Authors: Genevieve Clark, Hamza Raniwala, Matthew Koppa, Kevin Chen, Andrew Leenheer, Matthew Zimmermann, Mark Dong, Linsen Li, Y. Henry Wen, Daniel Dominguez, Matthew Trusheim, Gerald Gilbert, Matt Eichenfield, Dirk Englund

Abstract: Atom-like defects or color centers (CC's) in nanostructured diamond are a leading platform for optically linked quantum technologies, with recent advances including memory-enhanced quantum communication, multi-node quantum networks, and spin-mediated generation of photonic cluster states. Scaling to practically useful applications motivates architectures meeting the following criteria: C1 individu… ▽ More Atom-like defects or color centers (CC's) in nanostructured diamond are a leading platform for optically linked quantum technologies, with recent advances including memory-enhanced quantum communication, multi-node quantum networks, and spin-mediated generation of photonic cluster states. Scaling to practically useful applications motivates architectures meeting the following criteria: C1 individual optical addressing of spin qubits; C2 frequency tuning of CC spin-dependent optical transitions; C3 coherent spin control in CC ground states; C4 active photon routing; C5 scalable manufacturability; and C6 low on-chip power dissipation for cryogenic operations. However, no architecture meeting C1-C6 has thus far been demonstrated. Here, we introduce a hybrid quantum system-on-chip (HQ-SoC) architecture that simultaneously achieves C1-C6. Key to this advance is the realization of piezoelectric strain control of diamond waveguide-coupled tin vacancy centers to meet C2 and C3, with ultra-low power dissipation necessary for C6. The DC response of our device allows emitter transition tuning by over 20 GHz, while the large frequency range (exceeding 2 GHz) enables low-power AC control. We show acoustic manipulation of integrated tin vacancy spins and estimate single-phonon coupling rates over 1 kHz in the resolved sideband regime. Combined with high-speed optical routing with negligible static hold power, this HQ-SoC platform opens the path to scalable single-qubit control with optically mediated entangling gates. △ Less

Submitted 14 August, 2023; originally announced August 2023.

Robust Alternating-Time Temporal Logic

Authors: Aniello Murano, Daniel Neider, Martin Zimmermann

Abstract: In multi-agent system design, a crucial aspect is to ensure robustness, meaning that for a coalition of agents A, small violations of adversarial assumptions only lead to small violations of A's goals. In this paper we introduce a logical framework for robust strategic reasoning about multi-agent systems. Specifically, inspired by recent works on robust temporal logics, we introduce and study rATL… ▽ More In multi-agent system design, a crucial aspect is to ensure robustness, meaning that for a coalition of agents A, small violations of adversarial assumptions only lead to small violations of A's goals. In this paper we introduce a logical framework for robust strategic reasoning about multi-agent systems. Specifically, inspired by recent works on robust temporal logics, we introduce and study rATL and rATL*, logics that extend the well-known Alternating-time Temporal Logic ATL and ATL* by means of an opportune multi-valued semantics for the strategy quantifiers and temporal operators. We study the model-checking and satisfiability problems for rATL and rATL* and show that dealing with robustness comes at no additional computational cost. Indeed, we show that these problems are PTime-complete and ExpTime-complete for rATL, respectively, while both are 2ExpTime-complete for rATL*. △ Less

Submitted 20 July, 2023; originally announced July 2023.

Cliques in Representation Graphs of Quadratic Forms

Authors: Nico Lorenz, Marc Christian Zimmermann

Abstract: We study cliques in graphs arising from quadratic forms where the vertices are the elements of the module of the quadratic form and two vertices are adjacent if their difference represents some fixed scalar. We determine structural properties and the clique number for quadratic forms over finite rings. We further extend previous results about graphs arising from such forms and forms over fields of… ▽ More We study cliques in graphs arising from quadratic forms where the vertices are the elements of the module of the quadratic form and two vertices are adjacent if their difference represents some fixed scalar. We determine structural properties and the clique number for quadratic forms over finite rings. We further extend previous results about graphs arising from such forms and forms over fields of characteristic 0 in a unified framework. △ Less

Submitted 12 June, 2023; originally announced June 2023.

Comments: 29 pages

MSC Class: 05C69; 11E04

Robust Probabilistic Temporal Logics

Authors: Martin Zimmermann

Abstract: We robustify PCTL and PCTL*, the most important specification languages for probabilistic systems, and show that robustness does not increase the complexity of the model-checking problems. We robustify PCTL and PCTL*, the most important specification languages for probabilistic systems, and show that robustness does not increase the complexity of the model-checking problems. △ Less

Submitted 28 April, 2024; v1 submitted 9 June, 2023; originally announced June 2023.

Synchronous micromechanically resonant programmable photonic circuits

Authors: Mark Dong, Julia M. Boyle, Kevin J. Palm, Matthew Zimmermann, Alex Witte, Andrew J. Leenheer, Daniel Dominguez, Gerald Gilbert, Matt Eichenfield, Dirk Englund

Abstract: Programmable photonic integrated circuits (PICs) are emerging as powerful tools for the precise manipulation of light, with applications in quantum information processing, optical range finding, and artificial intelligence. The leading architecture for programmable PICs is the mesh of Mach-Zehnder interferometers (MZIs) embedded with reconfigurable optical phase shifters. Low-power implementations… ▽ More Programmable photonic integrated circuits (PICs) are emerging as powerful tools for the precise manipulation of light, with applications in quantum information processing, optical range finding, and artificial intelligence. The leading architecture for programmable PICs is the mesh of Mach-Zehnder interferometers (MZIs) embedded with reconfigurable optical phase shifters. Low-power implementations of these PICs involve micromechanical structures driven capacitively or piezoelectrically but are limited in modulation bandwidth by mechanical resonances and high operating voltages. However, circuits designed to operate exclusively at these mechanical resonances would reduce the necessary driving voltage from resonantly enhanced modulation as well as maintaining high actuation speeds. Here we introduce a synchronous, micromechanically resonant design architecture for programmable PICs, which exploits micromechanical eigenmodes for modulation enhancement. This approach combines high-frequency mechanical resonances and optically broadband phase shifters to increase the modulation response on the order of the mechanical quality factor $Q_m$, thereby reducing the PIC's power consumption, voltage-loss product, and footprint. The architecture is useful for broadly applicable circuits such as optical phased arrays, $1$ x $N$, and $N$ x $N$ photonic switches. We report a proof-of-principle programmable 1 x 8 switch with piezoelectric phase shifters at specifically targeted mechanical eigenfrequencies, showing a full switching cycle of all eight channels spaced by approximately 11 ns and operating at >3x average modulation enhancement across all on-chip modulators. By further leveraging micromechanical devices with high $Q_m$, which can exceed 1 million, our design architecture should enable a new class of low-voltage and high-speed programmable PICs. △ Less

Submitted 6 June, 2023; originally announced June 2023.

Comments: 18 pages, 5 figures, 5 supplementary figures

Journal ref: Nature Communications 14, 7716 (2023)

On the Existence of Reactive Strategies Resilient to Delay

Authors: Martin Fränzle, Paul Kröger, Sarah Winter, Martin Zimmermann

Abstract: We compare games under delayed control and delay games, two types of infinite games modelling asynchronicity in reactive synthesis. In games under delayed control both players suffer from partial informedness due to symmetrically delayed communication, while in delay games, the protagonist has to grant lookahead to the alter player. Our first main result, the interreducibility of the existence of… ▽ More We compare games under delayed control and delay games, two types of infinite games modelling asynchronicity in reactive synthesis. In games under delayed control both players suffer from partial informedness due to symmetrically delayed communication, while in delay games, the protagonist has to grant lookahead to the alter player. Our first main result, the interreducibility of the existence of sure winning strategies for the protagonist, allows to transfer known complexity results and bounds on the delay from delay games to games under delayed control, for which no such results had been known. We furthermore analyse existence of randomized strategies that win almost surely, where this correspondence between the two types of games breaks down. In this setting, some games surely won by the alter player in delay games can now be won almost surely by the protagonist in the corresponding game under delayed control, showing that it indeed makes a difference whether the protagonist has to grant lookahead or both players suffer from partial informedness. These results get even more pronounced when we finally address the quantitative goal of winning with a probability in $[0,1]$. We show that for any rational threshold $θ\in [0,1]$ there is a game that can be won by the protagonist with exactly probability $θ$ under delayed control, while being surely won by alter in the delay game setting. All these findings refine our original result that games under delayed control are not determined. △ Less

Submitted 12 March, 2024; v1 submitted 31 May, 2023; originally announced May 2023.

Comments: Full version of arXiv:2310.01010, contains all proofs omitted in the conference version as well as a new section on winning games under delayed control with mixed strategies with respect to a fixed threshold

Probing magnetic ordering in air stable iron-rich van der Waals minerals

Authors: Muhammad Zubair Khan, Oleg E. Peil, Apoorva Sharma, Oleksandr Selyshchev, Sergio Valencia, Florian Kronast, Maik Zimmermann, Muhammad Awais Aslam, Johann G. Raith, Christian Teichert, Dietrich R. T. Zahn, Georgeta Salvan, Aleksandar Matković, Chair of Physics, Department Physics, Mechanics, Electrical engineering, Montanuniversität Leoben, 8700, Leoben, Austria., Materials Center Leoben Forschung GmbH, 8700, Leoben, Austria. , et al. (24 additional authors not shown)

Abstract: In the rapidly expanding field of two-dimensional materials, magnetic monolayers show great promise for the future applications in nanoelectronics, data storage, and sensing. The research in intrinsically magnetic two-dimensional materials mainly focuses on synthetic iodide and telluride based compounds, which inherently suffer from the lack of ambient stability. So far, naturally occurring layere… ▽ More In the rapidly expanding field of two-dimensional materials, magnetic monolayers show great promise for the future applications in nanoelectronics, data storage, and sensing. The research in intrinsically magnetic two-dimensional materials mainly focuses on synthetic iodide and telluride based compounds, which inherently suffer from the lack of ambient stability. So far, naturally occurring layered magnetic materials have been vastly overlooked. These minerals offer a unique opportunity to explore air-stable complex layered systems with high concentration of local moment bearing ions. We demonstrate magnetic ordering in iron-rich two-dimensional phyllosilicates, focusing on mineral species of minnesotaite, annite, and biotite. These are naturally occurring van der Waals magnetic materials which integrate local moment baring ions of iron via magnesium/aluminium substitution in their octahedral sites. Due to self-inherent cap** by silicate/aluminate tetrahedral groups, ultra-thin layers are air-stable. Chemical characterization, quantitative elemental analysis, and iron oxidation states were determined via Raman spectroscopy, wavelength disperse X-ray spectroscopy, X-ray absorption spectroscopy, and X-ray photoelectron spectroscopy. Superconducting quantum interference device magnetometry measurements were performed to examine the magnetic ordering. These layered materials exhibit paramagnetic or superparamagnetic characteristics at room temperature. At low temperature ferrimagnetic or antiferromagnetic ordering occurs, with the critical ordering temperature of 38.7 K for minnesotaite, 36.1 K for annite, and 4.9 K for biotite. In-field magnetic force microscopy on iron bearing phyllosilicates confirmed the paramagnetic response at room temperature, present down to monolayers. △ Less

Submitted 13 April, 2023; originally announced April 2023.

Comments: 19 pages, 6 figures

HyperLTL Satisfiability Is Highly Undecidable, HyperCTL* is Even Harder

Authors: Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann

Abstract: Temporal logics for the specification of information-flow properties are able to express relations between multiple executions of a system. The two most important such logics are HyperLTL and HyperCTL*, which generalise LTL and CTL* by trace quantification. It is known that this expressiveness comes at a price, i.e. satisfiability is undecidable for both logics. In this paper we settle the exact… ▽ More Temporal logics for the specification of information-flow properties are able to express relations between multiple executions of a system. The two most important such logics are HyperLTL and HyperCTL*, which generalise LTL and CTL* by trace quantification. It is known that this expressiveness comes at a price, i.e. satisfiability is undecidable for both logics. In this paper we settle the exact complexity of these problems, showing that both are in fact highly undecidable: we prove that HyperLTL satisfiability is $Σ_1^1$-complete and HyperCTL* satisfiability is $Σ_1^2$-complete. These are significant increases over the previously known lower bounds and the first upper bounds. To prove $Σ_1^2$-membership for HyperCTL*, we prove that every satisfiable HyperCTL* sentence has a model that is equinumerous to the continuum, the first upper bound of this kind. We also prove this bound to be tight. Furthermore, we prove that both countable and finitely-branching satisfiability for HyperCTL* are as hard as truth in second-order arithmetic, i.e. still highly undecidable. Finally, we show that the membership problem for every level of the HyperLTL quantifier alternation hierarchy is $Π_1^1$-complete. △ Less

Submitted 30 March, 2023; v1 submitted 29 March, 2023; originally announced March 2023.

Comments: Extended version of a paper presented at MFCS 2021 and archived as arXiv:2105.04176

Bounds on polarization problems on compact sets via mixed integer programming

Authors: Jan Rolfes, Robert Schüler, Marc Christian Zimmermann

Abstract: Finding point configurations, that yield the maximum polarization (Chebyshev constant) is gaining interest in the field of geometric optimization. In the present article, we study the problem of unconstrained maximum polarization on compact sets. In particular, we discuss necessary conditions for local optimality, such as that a locally optimal configuration is always contained in the convex hull… ▽ More Finding point configurations, that yield the maximum polarization (Chebyshev constant) is gaining interest in the field of geometric optimization. In the present article, we study the problem of unconstrained maximum polarization on compact sets. In particular, we discuss necessary conditions for local optimality, such as that a locally optimal configuration is always contained in the convex hull of the respective darkest points. Building on this, we propose two sequences of mixed-integer linear programs in order to compute lower and upper bounds on the maximal polarization, where the lower bound is constructive. Moreover, we prove the convergence of these sequences towards the maximal polarization. △ Less

Submitted 17 March, 2023; originally announced March 2023.

Comments: 20 pages, 4 figures

MSC Class: 31C20; 51-08; 90C11

Designing the stripe-ordered cuprate phase diagram through uniaxial-stress

Authors: Z. Guguchia, D. Das, G. Simutis, T. Adachi, J. Küspert, N. Kitajima, M. Elender, V. Grinenko, O. Ivashko, M. v. Zimmermann, M. Müller, C. Mielke III, F. Hotz, C. Mudry, C. Baines, M. Bartkowiak, T. Shiroka, Y. Koike, A. Amato, C. W. Hicks, G. D. Gu, J. M. Tranquada, H. -H. Klauss, J. J. Chang, M. Janoschek , et al. (1 additional authors not shown)

Abstract: The ability to efficiently control charge and spin in the cuprate high-temperature superconductors is crucial for fundamental research and underpins technological development. Here, we explore the tunability of magnetism, superconductivity and crystal structure in the stripe phase of the cuprate La_2-xBa_xCuO_4, with x = 0.115 and 0.135, by employing temperature-dependent (down to 400 mK) muon-spi… ▽ More The ability to efficiently control charge and spin in the cuprate high-temperature superconductors is crucial for fundamental research and underpins technological development. Here, we explore the tunability of magnetism, superconductivity and crystal structure in the stripe phase of the cuprate La_2-xBa_xCuO_4, with x = 0.115 and 0.135, by employing temperature-dependent (down to 400 mK) muon-spin rotation and AC susceptibility, as well as X-ray scattering experiments under compressive uniaxial stress in the CuO_2 plane. A sixfold increase of the 3-dimensional (3D) superconducting critical temperature T_c and a full recovery of the 3D phase coherence is observed in both samples with the application of extremely low uniaxial stress of 0.1 GPa. This finding demonstrates the removal of the well-known 1/8-anomaly of cuprates by uniaxial stress. On the other hand, the spin-stripe order temperature as well as the magnetic fraction at 400 mK show only a modest decrease under stress. Moreover, the onset temperatures of 3D superconductivity and spin-stripe order are very similar in the large stress regime. However, a substantial decrease of the magnetic volume fraction and a full suppression of the low-temperature tetragonal structure is found at elevated temperatures, which is a necessary condition for the development of the 3D superconducting phase with optimal T_c. Our results evidence a remarkable cooperation between the long-range static spin-stripe order and the underlying crystalline order with the three-dimensional fully coherent superconductivity. Overall, these results suggest that the stripe- and the SC order may have a common physical mechanism. △ Less

Submitted 14 February, 2023; originally announced February 2023.

Comments: 11 pages, 5 figures. This work builds on our earlier findings on LBCO, arXiv:2008.01159, and substantially expands it

Modular chip-integrated photonic control of artificial atoms in diamond nanostructures

Authors: Kevin J. Palm, Mark Dong, D. Andrew Golter, Genevieve Clark, Matthew Zimmermann, Kevin C. Chen, Linsen Li, Adrian Menssen, Andrew J. Leenheer, Daniel Dominguez, Gerald Gilbert, Matt Eichenfield, Dirk Englund

Abstract: A central goal in creating long-distance quantum networks and distributed quantum computing is the development of interconnected and individually controlled qubit nodes. Atom-like emitters in diamond have emerged as a leading system for optically networked quantum memories, motivating the development of visible-spectrum, multi-channel photonic integrated circuit (PIC) systems for scalable atom con… ▽ More A central goal in creating long-distance quantum networks and distributed quantum computing is the development of interconnected and individually controlled qubit nodes. Atom-like emitters in diamond have emerged as a leading system for optically networked quantum memories, motivating the development of visible-spectrum, multi-channel photonic integrated circuit (PIC) systems for scalable atom control. However, it has remained an open challenge to realize optical programmability with a qubit layer that can achieve high optical detection probability over many optical channels. Here, we address this problem by introducing a modular architecture of piezoelectrically-actuated atom-control PICs (APICs) and artificial atoms embedded in diamond nanostructures designed for high-efficiency free-space collection. The high-speed 4-channel APIC is based on a splitting tree mesh with triple-phase shifter Mach-Zehnder interferometers. This design simultaneously achieves optically broadband operation at visible wavelengths, high-fidelity switching ($> 40$ dB) at low voltages, sub-$μ$s modulation timescales ($> 30$ MHz), and minimal channel-to-channel crosstalk for repeatable optical pulse carving. Via a reconfigurable free-space interconnect, we use the APIC to address single silicon vacancy color centers in individual diamond waveguides with inverse tapered couplers, achieving efficient single photon detection probabilities (15$\%$) and second-order autocorrelation measurements $g^{(2)}(0) < 0.14$ for all channels. The modularity of this distributed APIC - quantum memory system simplifies the quantum control problem, potentially enabling further scaling to 1000s of channels. △ Less

Submitted 9 January, 2023; originally announced January 2023.

Journal ref: Optica 10, 634-641 (2023)

A systems design approach for the co-design of a humanoid robot arm

Authors: Akhil Sathuluri, Anand Vazhapilli Sureshbabu, Markus Zimmermann

Abstract: Classically, the development of humanoid robots has been sequential and iterative. Such bottom-up design procedures rely heavily on intuition and are often biased by the designer's experience. Exploiting the non-linear coupled design space of robots is non-trivial and requires a systematic procedure for exploration. We adopt the top-down design strategy, the V-model, used in automotive and aerospa… ▽ More Classically, the development of humanoid robots has been sequential and iterative. Such bottom-up design procedures rely heavily on intuition and are often biased by the designer's experience. Exploiting the non-linear coupled design space of robots is non-trivial and requires a systematic procedure for exploration. We adopt the top-down design strategy, the V-model, used in automotive and aerospace industries. Our co-design approach identifies non-intuitive designs from within the design space and obtains the maximum permissible range of the design variables as a solution space, to physically realise the obtained design. We show that by constructing the solution space, one can (1) decompose higher-level requirements onto sub-system-level requirements with tolerance, alleviating the "chicken-or-egg" problem during the design process, (2) decouple the robot's morphology from its controller, enabling greater design flexibility, (3) obtain independent sub-system level requirements, reducing the development time by parallelising the development process. △ Less

Submitted 29 December, 2022; originally announced December 2022.

Comments: Presented at the Workshop on Development and Design Pipelines - From first ideas to well-functioning robots, 2022 IEEE-RAS International Conference on Humanoid Robots (Humanoids 2022)

Structural Evolution and Onset of the Density Wave Transition in the CDW Superconductor LaPt$_2$Si$_2$ Clarified with Synchrotron XRD

Authors: Elisabetta Nocerino, Irene San Lorenzo, Konstantinos Papadopulos, Marisa Medarde, Jike Lyu, Yannick Maximilian Klein, Arianna Minelli, Zakir Hossain, Arumugam Thamizhavel, Kim Lefmann, Oleh Ivashko, Martin von Zimmermann, Yasmine Sassa, Martin Månsson

Abstract: The quasi-2D Pt-based rare earth intermetallic material LaPt$_2$Si$_2$ has attracted attention as it exhibits strong interplay between charge density wave (CDW) and and superconductivity (SC). However, the most of the results reported on this material come from theoretical calculations, preliminary bulk investigations and powder samples, which makes it difficult to uniquely determine the temperatu… ▽ More The quasi-2D Pt-based rare earth intermetallic material LaPt$_2$Si$_2$ has attracted attention as it exhibits strong interplay between charge density wave (CDW) and and superconductivity (SC). However, the most of the results reported on this material come from theoretical calculations, preliminary bulk investigations and powder samples, which makes it difficult to uniquely determine the temperature evolution of its crystal structure and, consequently, of its CDW transition. Therefore, the published literature around LaPt$_2$Si$_2$ is often controversial. In this paper, we clarify the complex evolution of the crystal structure, and the temperature dependence of the development of density wave transitions, in good quality LaPt$_2$Si$_2$ single crystals, with high resolution synchrotron X-ray diffraction data. According to our findings, on cooling from room temperature LaPt$_2$Si$_2$ undergoes a series of subtle structural transitions which can be summarised as follows: second order commensurate tetragonal ($P4/nmm$)-to-incommensurate structure followed by a first order incommensurate-to-commensurate orthorhombic ($Pmmn$) transition and then a first order commensurate orthorhombic ($Pmmn$)-to-commensurate tetragonal ($P4/nmm$). The structural transitions are accompanied by both incommensurate and commensurate superstructural distortions of the lattice. The observed behavior is compatible with discommensuration of the CDW in this material. △ Less

Submitted 29 November, 2022; v1 submitted 22 November, 2022; originally announced November 2022.

Two-Step Online Trajectory Planning of a Quadcopter in Indoor Environments with Obstacles

Authors: Martin Zimmermann, Minh Nhat Vu, Florian Beck, Anh Nguyen, Andreas Kugi

Abstract: This paper presents a two-step algorithm for online trajectory planning in indoor environments with unknown obstacles. In the first step, sampling-based path planning techniques such as the optimal Rapidly exploring Random Tree (RRT*) algorithm and the Line-of-Sight (LOS) algorithm are employed to generate a collision-free path consisting of multiple waypoints. Then, in the second step, constraine… ▽ More This paper presents a two-step algorithm for online trajectory planning in indoor environments with unknown obstacles. In the first step, sampling-based path planning techniques such as the optimal Rapidly exploring Random Tree (RRT*) algorithm and the Line-of-Sight (LOS) algorithm are employed to generate a collision-free path consisting of multiple waypoints. Then, in the second step, constrained quadratic programming is utilized to compute a smooth trajectory that passes through all computed waypoints. The main contribution of this work is the development of a flexible trajectory planning framework that can detect changes in the environment, such as new obstacles, and compute alternative trajectories in real time. The proposed algorithm actively considers all changes in the environment and performs the replanning process only on waypoints that are occupied by new obstacles. This helps to reduce the computation time and realize the proposed approach in real time. The feasibility of the proposed algorithm is evaluated using the Intel Aero Ready-to-Fly (RTF) quadcopter in simulation and in a real-world experiment. △ Less

Submitted 6 February, 2023; v1 submitted 11 November, 2022; originally announced November 2022.

Comments: 8 pages, 9 figures

A semidefinite program for least distortion embeddings of flat tori into Hilbert spaces

Authors: Arne Heimendahl, Moritz Lücke, Frank Vallentin, Marc Christian Zimmermann

Abstract: We derive and analyze an infinite-dimensional semidefinite program which computes least distortion embeddings of flat tori $\mathbb{R}^n/L$, where $L$ is an $n$-dimensional lattice, into Hilbert spaces. This enables us to provide a constant factor improvement over the previously best lower bound on the minimal distortion of an embedding of an $n$-dimensional flat torus. As further applications we… ▽ More We derive and analyze an infinite-dimensional semidefinite program which computes least distortion embeddings of flat tori $\mathbb{R}^n/L$, where $L$ is an $n$-dimensional lattice, into Hilbert spaces. This enables us to provide a constant factor improvement over the previously best lower bound on the minimal distortion of an embedding of an $n$-dimensional flat torus. As further applications we prove that every $n$-dimensional flat torus has a finite dimensional least distortion embedding, that the standard embedding of the standard tours is optimal, and we determine least distortion embeddings of all $2$-dimensional flat tori. △ Less

Submitted 21 November, 2023; v1 submitted 21 October, 2022; originally announced October 2022.

Comments: (v2), 23 pages, Section 7 on optimal embedding of D_n^* added

Scalable photonic integrated circuits for programmable control of atomic systems

Authors: Adrian J Menssen, Artur Hermans, Ian Christen, Thomas Propson, Chao Li, Andrew J Leenheer, Matthew Zimmermann, Mark Dong, Hugo Larocque, Hamza Raniwala, Gerald Gilbert, Matt Eichenfield, Dirk R Englund

Abstract: Advances in laser technology have driven discoveries in atomic, molecular, and optical (AMO) physics and emerging applications, from quantum computers with cold atoms or ions, to quantum networks with solid-state color centers. This progress is motivating the development of a new generation of "programmable optical control" systems, characterized by criteria (C1) visible (VIS) and near-infrared (I… ▽ More Advances in laser technology have driven discoveries in atomic, molecular, and optical (AMO) physics and emerging applications, from quantum computers with cold atoms or ions, to quantum networks with solid-state color centers. This progress is motivating the development of a new generation of "programmable optical control" systems, characterized by criteria (C1) visible (VIS) and near-infrared (IR) wavelength operation, (C2) large channel counts extensible beyond 1000s of individually addressable atoms, (C3) high intensity modulation extinction and (C4) repeatability compatible with low gate errors, and (C5) fast switching times. Here, we address these challenges by introducing an atom control architecture based on VIS-IR photonic integrated circuit (PIC) technology. Based on a complementary metal-oxide-semiconductor (CMOS) fabrication process, this Atom-control PIC (APIC) technology meets the system requirements (C1)-(C5). As a proof of concept, we demonstrate a 16-channel silicon nitride based APIC with (5.8$\pm$0.4) ns response times and -30 dB extinction ratio at a wavelength of 780 nm. This work demonstrates the suitability of PIC technology for quantum control, opening a path towards scalable quantum information processing based on optically-programmable atomic systems. △ Less

Submitted 7 October, 2022; v1 submitted 6 October, 2022; originally announced October 2022.

Multiplexed control of spin quantum memories in a photonic circuit

Authors: D. Andrew Golter, Genevieve Clark, Tareq El Dandachi, Stefan Krastanov, Andrew J. Leenheer, Noel H. Wan, Hamza Raniwala, Matthew Zimmermann, Mark Dong, Kevin C. Chen, Linsen Li, Matt Eichenfield, Gerald Gilbert, Dirk Englund

Abstract: A central goal in many quantum information processing applications is a network of quantum memories that can be entangled with each other while being individually controlled and measured with high fidelity. This goal has motivated the development of programmable photonic integrated circuits (PICs) with integrated spin quantum memories using diamond color center spin-photon interfaces. However, thi… ▽ More A central goal in many quantum information processing applications is a network of quantum memories that can be entangled with each other while being individually controlled and measured with high fidelity. This goal has motivated the development of programmable photonic integrated circuits (PICs) with integrated spin quantum memories using diamond color center spin-photon interfaces. However, this approach introduces a challenge in the microwave control of individual spins within closely packed registers. Here, we present a quantum-memory-integrated photonics platform capable of (i) the integration of multiple diamond color center spins into a cryogenically compatible, high-speed programmable PIC platform; (ii) selective manipulation of individual spin qubits addressed via tunable magnetic field gradients; and (iii) simultaneous control of multiple qubits using numerically optimized microwave pulse sha**. The combination of localized optical control, enabled by the PIC platform, together with selective spin manipulation opens the path to scalable quantum networks on intra-chip and inter-chip platforms. △ Less

Submitted 21 April, 2023; v1 submitted 23 September, 2022; originally announced September 2022.

Comments: 10 pages, 4 figures

Weak-signal extraction enabled by deep-neural-network denoising of diffraction data

Authors: Jens Oppliger, M. Michael Denner, Julia Küspert, Ruggero Frison, Qisi Wang, Alexander Morawietz, Oleh Ivashko, Ann-Christin Dippel, Martin von Zimmermann, Izabela Biało, Leonardo Martinelli, Benoît Fauqué, Jaewon Choi, Mirian Garcia-Fernandez, Ke-** Zhou, Niels B. Christensen, Tohru Kurosawa, Naoki Momono, Migaku Oda, Fabian D. Natterer, Mark H. Fischer, Titus Neupert, Johan Chang

Abstract: Removal or cancellation of noise has wide-spread applications for imaging and acoustics. In every-day-life applications, denoising may even include generative aspects, which are unfaithful to the ground truth. For scientific use, however, denoising must reproduce the ground truth accurately. Here, we show how data can be denoised via a deep convolutional neural network such that weak signals appea… ▽ More Removal or cancellation of noise has wide-spread applications for imaging and acoustics. In every-day-life applications, denoising may even include generative aspects, which are unfaithful to the ground truth. For scientific use, however, denoising must reproduce the ground truth accurately. Here, we show how data can be denoised via a deep convolutional neural network such that weak signals appear with quantitative accuracy. In particular, we study X-ray diffraction on crystalline materials. We demonstrate that weak signals stemming from charge ordering, insignificant in the noisy data, become visible and accurate in the denoised data. This success is enabled by supervised training of a deep neural network with pairs of measured low- and high-noise data. We demonstrate that using artificial noise does not yield such quantitatively accurate results. Our approach thus illustrates a practical strategy for noise filtering that can be applied to challenging acquisition problems. △ Less

Submitted 11 December, 2023; v1 submitted 19 September, 2022; originally announced September 2022.

Comments: 14 pages, 10 figures; extended study, additional supplementary information, results unchanged

Journal ref: Nature Machine Intelligence (2024)

History-deterministic Parikh Automata

Authors: Enzo Erlich, Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann

Abstract: Parikh automata extend finite automata by counters that can be tested for membership in a semilinear set, but only at the end of a run. Thereby, they preserve many of the desirable properties of finite automata. Deterministic Parikh automata are strictly weaker than nondeterministic ones, but enjoy better closure and algorithmic properties. This state of affairs motivates the study of intermediate… ▽ More Parikh automata extend finite automata by counters that can be tested for membership in a semilinear set, but only at the end of a run. Thereby, they preserve many of the desirable properties of finite automata. Deterministic Parikh automata are strictly weaker than nondeterministic ones, but enjoy better closure and algorithmic properties. This state of affairs motivates the study of intermediate forms of nondeterminism. Here, we investigate history-deterministic Parikh automata, i.e., automata whose nondeterminism can be resolved on the fly. This restricted form of nondeterminism is well-suited for applications which classically call for determinism, e.g., solving games and composition. We show that history-deterministic Parikh automata are strictly more expressive than deterministic ones, incomparable to unambiguous ones, and enjoy almost all of the closure properties of deterministic automata. △ Less

Submitted 31 August, 2023; v1 submitted 16 September, 2022; originally announced September 2022.

Comments: arXiv admin note: text overlap with arXiv:2207.07694

Programmable photonic integrated meshes for modular generation of optical entanglement links

Authors: Mark Dong, Matthew Zimmermann, David Heim, Hyeongrak Choi, Genevieve Clark, Andrew J. Leenheer, Kevin J. Palm, Alex Witte, Daniel Dominguez, Gerald Gilbert, Matt Eichenfield, Dirk Englund

Abstract: Large-scale generation of quantum entanglement between individually controllable qubits is at the core of quantum computing, communications, and sensing. Modular architectures of remotely-connected quantum technologies have been proposed for a variety of physical qubits, with demonstrations reported in atomic and all-photonic systems. However, an open challenge in these architectures lies in const… ▽ More Large-scale generation of quantum entanglement between individually controllable qubits is at the core of quantum computing, communications, and sensing. Modular architectures of remotely-connected quantum technologies have been proposed for a variety of physical qubits, with demonstrations reported in atomic and all-photonic systems. However, an open challenge in these architectures lies in constructing high-speed and high-fidelity reconfigurable photonic networks for optically-heralded entanglement among target qubits. Here we introduce a programmable photonic integrated circuit (PIC), realized in a piezo-actuated silicon nitride (SiN)-in-oxide CMOS-compatible process, that implements an N x N Mach-Zehnder mesh (MZM) capable of high-speed execution of linear optical transformations. The visible-spectrum photonic integrated mesh is programmed to generate optical connectivity on up to N = 8 inputs for a range of optically-heralded entanglement protocols. In particular, we experimentally demonstrated optical connections between 16 independent pairwise mode couplings through the MZM, with optical transformation fidelities averaging 0.991 +/- 0.0063. The PIC's reconfigurable optical connectivity suffices for the production of 8-qubit resource states as building blocks of larger topological cluster states for quantum computing. Our programmable PIC platform enables the fast and scalable optical switching technology necessary for network-based quantum information processors. △ Less

Submitted 29 August, 2022; originally announced August 2022.

Comments: 21 pages, 4 figures, 6 supplementary figures

Report number: 42

Journal ref: npj | quantum information (2023)

Role of Local Ru Hexamers in Superconductivity of Ruthenium Phosphide

Authors: Robert J. Koch, Niraj Aryal, Oleh Ivashko, Yu Liu, Milinda Abeykoon, Eric D. Bauer, Martin v. Zimmermann, Weiguo Yin, Cedomir Petrovic, Emil S. Bozin

Abstract: Superconductivity in binary ruthenium pnictides occurs proximal to and upon suppression of a mysterious non-magnetic ground state, preceded by a pseudogap phase associated with Fermi surface instability, and its critical temperature, T$_{c}$, is maximized around the pseudogap quantum critical point. By analogy with isoelectronic iron based counterparts, antiferromagnetic fluctuations became "usual… ▽ More Superconductivity in binary ruthenium pnictides occurs proximal to and upon suppression of a mysterious non-magnetic ground state, preceded by a pseudogap phase associated with Fermi surface instability, and its critical temperature, T$_{c}$, is maximized around the pseudogap quantum critical point. By analogy with isoelectronic iron based counterparts, antiferromagnetic fluctuations became "usual suspects" as putative mediators of superconducting pairing. Here we report on a high temperature local symmetry breaking in RuP, the parent of the maximum-Tc branch of these novel superconductors, revealed by combined nanostructure-sensitive powder and single crystal X-ray total scattering experiments. Large local Ru$_{6}$ hexamer distortions associated with orbital-charge trimerization form above the two-stage electronic transition in RuP. While hexamer ordering enables the nonmagnetic ground state and presumed complex oligomerization, the relevance of pseudogap fluctuations for superconductivity emerges as a distinct prospect. As a transition metal system in which partial d-manifold filling combined with high crystal symmetry promotes electronic instabilities, this represents a further example of local electronic precursors underpinning the macroscopic collective behavior of quantum materials. △ Less

Submitted 19 August, 2022; originally announced August 2022.

Comments: 10 pages 6 figures

Journal ref: Phys. Rev. B 106, 214516 (2022)

In-situ uniaxial pressure cell for X-ray and neutron scattering experiments

Authors: G. Simutis, A. Bollhalder, M. Zolliker, J. Küspert, Q. Wang, D. Das, F. Van Leeuwen, O. Ivashko, O. Gutowski, J. Philippe, T. Kracht, P. Glaevecke, T. Adachi, M. Von Zimmermann, S. Van Petegem, H. Luetkens, Z. Guguchia, J. Chang, Y. Sassa, M. Bartkowiak, M. Janoschek

Abstract: We present an in-situ uniaxial pressure device optimized for small angle X-ray and neutron scattering experiments at low-temperatures and high magnetic fields. A stepper motor generates force, which is transmitted to the sample via a rod with integrated transducer that continuously monitors the force. The device has been designed to generate forces up to 200 N in both compressive and tensile confi… ▽ More We present an in-situ uniaxial pressure device optimized for small angle X-ray and neutron scattering experiments at low-temperatures and high magnetic fields. A stepper motor generates force, which is transmitted to the sample via a rod with integrated transducer that continuously monitors the force. The device has been designed to generate forces up to 200 N in both compressive and tensile configurations and a feedback control allows operating the system in a continuous-pressure mode as the temperature is changed. The uniaxial pressure device can be used for various instruments and multiple cryostats through simple and exchangeable adapters. It is compatible with multiple sample holders, which can be easily changed depending on the sample properties and the desired experiment and allow rapid sample changes. △ Less

Submitted 26 July, 2022; originally announced July 2022.

Journal ref: Review of Scientific Instruments 94, 013906 (2023)

Parikh Automata over Infinite Words

Authors: Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann

Abstract: Parikh automata extend finite automata by counters that can be tested for membership in a semilinear set, but only at the end of a run, thereby preserving many of the desirable algorithmic properties of finite automata. Here, we study the extension of the classical framework onto infinite inputs: We introduce reachability, safety, Büchi, and co-Büchi Parikh automata on infinite words and study exp… ▽ More Parikh automata extend finite automata by counters that can be tested for membership in a semilinear set, but only at the end of a run, thereby preserving many of the desirable algorithmic properties of finite automata. Here, we study the extension of the classical framework onto infinite inputs: We introduce reachability, safety, Büchi, and co-Büchi Parikh automata on infinite words and study expressiveness, closure properties, and the complexity of verification problems. We show that almost all classes of automata have pairwise incomparable expressiveness, both in the deterministic and the nondeterministic case; a result that sharply contrasts with the well-known hierarchy in the $ω$-regular setting. Furthermore, emptiness is shown decidable for Parikh automata with reachability or Büchi acceptance, but undecidable for safety and co-Büchi acceptance. Most importantly, we show decidability of model checking with specifications given by deterministic Parikh automata with safety or co-Büchi acceptance, but also undecidability for all other types of automata. Finally, solving games is undecidable for all types. △ Less

Submitted 20 December, 2022; v1 submitted 15 July, 2022; originally announced July 2022.

Monitoring Timed Properties (Revisited)

Authors: Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann

Abstract: In this paper we revisit monitoring real-time systems with respect to properties expressed either in Metric Interval Temporal Logic or as Timed Büchi Automata. We offer efficient symbolic online monitoring algorithms in a number of settings, exploiting so-called zones well-known from efficient model checking of Timed Automata. The settings considered include new, much simplified treatment of time… ▽ More In this paper we revisit monitoring real-time systems with respect to properties expressed either in Metric Interval Temporal Logic or as Timed Büchi Automata. We offer efficient symbolic online monitoring algorithms in a number of settings, exploiting so-called zones well-known from efficient model checking of Timed Automata. The settings considered include new, much simplified treatment of time divergence, monitoring under timing uncertainty, and extension of monitoring to offer minimum time estimates before conclusive verdicts can be made. △ Less

Submitted 5 September, 2022; v1 submitted 29 June, 2022; originally announced June 2022.

Engineering a pure Dirac regime in ZrTe$_5$

Authors: Jorge I. Facio, Elisabetta Nocerino, Ion Cosma Fulga, Rafal Wawrzynczak, Joanna Brown, Genda Gu, Qiang Li, Martin Mansson, Yasmine Sassa, Oleh Ivashko, Martin v. Zimmermann, Felix Mende, Johannes Gooth, Stanislaw Galeski, Jeroen van den Brink, Tobias Meng

Abstract: Real-world topological semimetals typically exhibit Dirac and Weyl nodes that coexist with trivial Fermi pockets. This tends to mask the physics of the relativistic quasiparticles. Using the example of ZrTe5, we show that strain provides a powerful tool for in-situ tuning of the band structure such that all trivial pockets are pushed far away from the Fermi energy, but only for a certain range of… ▽ More Real-world topological semimetals typically exhibit Dirac and Weyl nodes that coexist with trivial Fermi pockets. This tends to mask the physics of the relativistic quasiparticles. Using the example of ZrTe5, we show that strain provides a powerful tool for in-situ tuning of the band structure such that all trivial pockets are pushed far away from the Fermi energy, but only for a certain range of Van der Waals gaps. Our results naturally reconcile contradicting reports on the presence or absence of additional pockets in ZrTe$_5$, and provide a clear map of where to find a pure three-dimensional Dirac semimetallic phase in the structural parameter space of the material. △ Less

Submitted 5 December, 2022; v1 submitted 28 June, 2022; originally announced June 2022.

Comments: 17 pages

Journal ref: SciPost Phys. 14, 066 (2023)

On Integrating Prior Knowledge into Gaussian Processes for Prognostic Health Monitoring

Authors: Simon Pfingstl, Markus Zimmermann

Abstract: Gaussian process regression is a powerful method for predicting states based on given data. It has been successfully applied for probabilistic predictions of structural systems to quantify, for example, the crack growth in mechanical structures. Typically, predefined mean and covariance functions are employed to construct the Gaussian process model. Then, the model is updated using current data du… ▽ More Gaussian process regression is a powerful method for predicting states based on given data. It has been successfully applied for probabilistic predictions of structural systems to quantify, for example, the crack growth in mechanical structures. Typically, predefined mean and covariance functions are employed to construct the Gaussian process model. Then, the model is updated using current data during operation while prior information based on previous data is ignored. However, predefined mean and covariance functions without prior information reduce the potential of Gaussian processes. This paper proposes a method to improve the predictive capabilities of Gaussian processes. We integrate prior knowledge by deriving the mean and covariance functions from previous data. More specifically, we first approximate previous data by a weighted sum of basis functions and then derive the mean and covariance functions directly from the estimated weight coefficients. Basis functions may be either estimated or derived from problem-specific governing equations to incorporate physical information. The applicability and effectiveness of this approach are demonstrated for fatigue crack growth, laser degradation, and milling machine wear data. We show that well-chosen mean and covariance functions, like those based on previous data, significantly increase look-ahead time and accuracy. Using physical basis functions further improves accuracy. In addition, computation effort for training is significantly reduced. △ Less

Submitted 17 June, 2022; originally announced June 2022.

Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime

Authors: Satya Prakash Nayak, Daniel Neider, Martin Zimmermann

Abstract: While most of the current synthesis algorithms only focus on correctness-by-construction, ensuring robustness has remained a challenge. Hence, in this paper, we address the robust-by-construction synthesis problem by considering the specifications to be expressed by a robust version of Linear Temporal Logic (LTL), called robust LTL (rLTL). rLTL has a many-valued semantics to capture different degr… ▽ More While most of the current synthesis algorithms only focus on correctness-by-construction, ensuring robustness has remained a challenge. Hence, in this paper, we address the robust-by-construction synthesis problem by considering the specifications to be expressed by a robust version of Linear Temporal Logic (LTL), called robust LTL (rLTL). rLTL has a many-valued semantics to capture different degrees of satisfaction of a specification, i.e., satisfaction is a quantitative notion. We argue that the current algorithms for rLTL synthesis do not compute optimal strategies in a non-antagonistic setting. So, a natural question is whether there is a way of satisfying the specification "better" if the environment is indeed not antagonistic. We address this question by develo** two new notions of strategies. The first notion is that of adaptive strategies, which, in response to the opponent's non-antagonistic moves, maximize the degree of satisfaction. The idea is to monitor non-optimal moves of the opponent at runtime using multiple parity automata and adaptively change the system strategy to ensure optimality. The second notion is that of strongly adaptive strategies, which is a further refinement of the first notion. These strategies also maximize the opportunities for the opponent to make non-optimal moves. We show that computing such strategies for rLTL specifications is not harder than the standard synthesis problem, e.g., computing strategies with LTL specifications, and takes doubly-exponential time. △ Less

Submitted 10 August, 2022; v1 submitted 22 April, 2022; originally announced April 2022.

First steps towards $q$-deformed Clifford analysis

Authors: Martha Lina Zimmermann, Swanhild Bernstein, Baruch Schneider

Abstract: We consider the extension of the Jackson calculus into higher dimensions and specifically into Clifford analysis. We consider the extension of the Jackson calculus into higher dimensions and specifically into Clifford analysis. △ Less

Submitted 13 May, 2022; v1 submitted 28 March, 2022; originally announced March 2022.

Comments: 13 pages, minor corrections in Example 3

MSC Class: 30G35; 81R50

Weak Muller Conditions Make Delay Games Hard

Authors: Sarah Winter, Martin Zimmermann

Abstract: We show that solving delay games with winning conditions given by deterministic and nondeterministic weak Muller automata is 2EXPTIME-complete respectively 3EXPTIME-complete. Furthermore, doubly and triply exponential lookahead is necessary and sufficient to win such games. These results are the first that show that the succinctness of the automata types used to specify the winning conditions has… ▽ More We show that solving delay games with winning conditions given by deterministic and nondeterministic weak Muller automata is 2EXPTIME-complete respectively 3EXPTIME-complete. Furthermore, doubly and triply exponential lookahead is necessary and sufficient to win such games. These results are the first that show that the succinctness of the automata types used to specify the winning conditions has an influence on the complexity of these problems. △ Less

Submitted 19 October, 2022; v1 submitted 7 March, 2022; originally announced March 2022.

The Complexity of Evaluating nfer

Authors: Sean Kauffman, Martin Zimmermann

Abstract: Nfer is a rule-based language for abstracting event streams into a hierarchy of intervals with data. Nfer has multiple implementations and has been applied in the analysis of spacecraft telemetry and autonomous vehicle logs. This work provides the first complexity analysis of nfer evaluation, i.e., the problem of deciding whether a given interval is generated by applying rules. We show that the… ▽ More Nfer is a rule-based language for abstracting event streams into a hierarchy of intervals with data. Nfer has multiple implementations and has been applied in the analysis of spacecraft telemetry and autonomous vehicle logs. This work provides the first complexity analysis of nfer evaluation, i.e., the problem of deciding whether a given interval is generated by applying rules. We show that the full nfer language is undecidable and that this depends on both recursion in the rules and an infinite data domain. By restricting either or both of those capabilities, we obtain tight decidability results. We also examine the impact on complexity of exclusive rules and minimality. For the most practical case, which is minimality with finite data, we provide a polynomial-time algorithm. △ Less

Submitted 21 November, 2022; v1 submitted 28 February, 2022; originally announced February 2022.

Piezo-optomechanical cantilever modulators for VLSI visible photonics

Authors: Mark Dong, David Heim, Alex Witte, Genevieve Clark, Andrew J. Leenheer, Daniel Dominguez, Matthew Zimmermann, Y. Henry Wen, Gerald Gilbert, Dirk Englund, Matt Eichenfield

Abstract: Visible-wavelength very large-scale integration (VLSI) photonic circuits have potential to play important roles in quantum information and sensing technologies. The realization of scalable, high-speed, and low-loss photonic mesh circuits depends on reliable and well-engineered visible photonic components. Here we report a low-voltage optical phase shifter based on piezo-actuated mechanical cantile… ▽ More Visible-wavelength very large-scale integration (VLSI) photonic circuits have potential to play important roles in quantum information and sensing technologies. The realization of scalable, high-speed, and low-loss photonic mesh circuits depends on reliable and well-engineered visible photonic components. Here we report a low-voltage optical phase shifter based on piezo-actuated mechanical cantilevers, fabricated on a CMOS compatible, 200 mm wafer-based visible photonics platform. We show linear phase and amplitude modulation with 6 V$_π$-cm in differential operation, -1.5 dB to -2 dB insertion loss, and up to 40 dB contrast in the 700 nm - 780 nm range. By adjusting selected cantilever parameters, we demonstrate a low-displacement and a high-displacement device, both exhibiting a nearly flat frequency response from DC to a peak mechanical resonance at 23 MHz and 6.8 MHz respectively, which through resonant enhancement of Q~40, further decreases the operating voltage down to 0.15 V$_π$-cm. △ Less

Submitted 28 January, 2022; originally announced January 2022.

Comments: 13 pages, 6 figures, 3 supplementary figures

Journal ref: APL Photonics 7, 051304 (2022)

Robust Computation Tree Logic

Authors: Satya Prakash Nayak, Daniel Neider, Rajarshi Roy, Martin Zimmermann

Abstract: It is widely accepted that every system should be robust in that ``small'' violations of environment assumptions should lead to ``small'' violations of system guarantees, but it is less clear how to make this intuition mathematically precise. While significant efforts have been devoted to providing notions of robustness for Linear Temporal Logic (LTL), branching-time logics, such as Computation Tr… ▽ More It is widely accepted that every system should be robust in that ``small'' violations of environment assumptions should lead to ``small'' violations of system guarantees, but it is less clear how to make this intuition mathematically precise. While significant efforts have been devoted to providing notions of robustness for Linear Temporal Logic (LTL), branching-time logics, such as Computation Tree Logic (CTL) and CTL*, have received less attention in this regard. To address this shortcoming, we develop ``robust'' extensions of CTL and CTL*, which we name robust CTL (rCTL) and robust CTL* (rCTL*). Both extensions are syntactically similar to their parent logics but employ multi-valued semantics to distinguish between ``large'' and ``small'' violations of the specification. We show that the multi-valued semantics of rCTL make it more expressive than CTL, while rCTL* is as expressive as CTL*. Moreover, we show that the model checking problem, the satisfiability problem, and the synthesis problem for rCTL and rCTL* have the same asymptotic complexity as their non-robust counterparts, implying that robustness can be added to branching-time logics for free. △ Less

Submitted 24 October, 2023; v1 submitted 18 January, 2022; originally announced January 2022.

Comments: Published in the proceedings of NASA Formal Methods (NFM), 2022

ACM Class: F.4.1; I.2.4