-
Normative Requirements Operationalization with Large Language Models
Authors:
Nick Feng,
Lina Marsso,
S. Getir Yaman,
Isobel Standen,
Yesugen Baatartogtokh,
Reem Ayad,
Victória Oldemburgo de Mello,
Bev Townsend,
Hanne Bartels,
Ana Cavalcanti,
Radu Calinescu,
Marsha Chechik
Abstract:
Normative non-functional requirements specify constraints that a system must observe in order to avoid violations of social, legal, ethical, empathetic, and cultural norms. As these requirements are typically defined by non-technical system stakeholders with different expertise and priorities (ethicists, lawyers, social scientists, etc.), ensuring their well-formedness and consistency is very chal…
▽ More
Normative non-functional requirements specify constraints that a system must observe in order to avoid violations of social, legal, ethical, empathetic, and cultural norms. As these requirements are typically defined by non-technical system stakeholders with different expertise and priorities (ethicists, lawyers, social scientists, etc.), ensuring their well-formedness and consistency is very challenging. Recent research has tackled this challenge using a domain-specific language to specify normative requirements as rules whose consistency can then be analysed with formal methods. In this paper, we propose a complementary approach that uses Large Language Models to extract semantic relationships between abstract representations of system capabilities. These relations, which are often assumed implicitly by non-technical stakeholders (e.g., based on common sense or domain knowledge), are then used to enrich the automated reasoning techniques for eliciting and analyzing the consistency of normative requirements. We show the effectiveness of our approach to normative requirements elicitation and operationalization through a range of real-world case studies.
△ Less
Submitted 28 May, 2024; v1 submitted 18 April, 2024;
originally announced April 2024.
-
Analyzing and Debugging Normative Requirements via Satisfiability Checking
Authors:
Nick Feng,
Lina Marsso,
Sinem Getir Yaman,
Yesugen Baatartogtokh,
Reem Ayad,
Victória Oldemburgo de Mello,
Beverley Townsend,
Isobel Standen,
Ioannis Stefanakos,
Calum Imrie,
Genaína Nunes Rodrigues,
Ana Cavalcanti,
Radu Calinescu,
Marsha Chechik
Abstract:
As software systems increasingly interact with humans in application domains such as transportation and healthcare, they raise concerns related to the social, legal, ethical, empathetic, and cultural (SLEEC) norms and values of their stakeholders. Normative non-functional requirements (N-NFRs) are used to capture these concerns by setting SLEEC-relevant boundaries for system behavior. Since N-NFRs…
▽ More
As software systems increasingly interact with humans in application domains such as transportation and healthcare, they raise concerns related to the social, legal, ethical, empathetic, and cultural (SLEEC) norms and values of their stakeholders. Normative non-functional requirements (N-NFRs) are used to capture these concerns by setting SLEEC-relevant boundaries for system behavior. Since N-NFRs need to be specified by multiple stakeholders with widely different, non-technical expertise (ethicists, lawyers, regulators, end users, etc.), N-NFR elicitation is very challenging. To address this challenge, we introduce N-Check, a novel tool-supported formal approach to N-NFR analysis and debugging. N-Check employs satisfiability checking to identify a broad spectrum of N-NFR well-formedness issues (WFI), such as conflicts, redundancy, restrictiveness, insufficiency, yielding diagnostics which pinpoint their causes in a user-friendly way that enables non-technical stakeholders to understand and fix them. We show the effectiveness and usability of our approach through nine case studies in which teams of ethicists, lawyers, philosophers, psychologists, safety analysts, and engineers used N-Check to analyse and debug 233 N-NFRs comprising 62 issues for the software underpinning the operation of systems ranging from assistive-care robots and tree-disease detection drones to manufacturing collaborative robots.
△ Less
Submitted 11 January, 2024;
originally announced January 2024.
-
Modeling the optical properties of Twisted Bilayer Photonic Crystals
Authors:
Haoning Tang,
Fan Du,
Stephen Carr,
Clayton DeVault,
Olivia Mello,
Eric Mazur
Abstract:
We demonstrate a photonic analog of twisted bilayer graphene that has ultra-flat photonic bands and exhibits extreme slow light behavior. Our twisted bilayer photonic device, which has an operating wavelength in C-band of the telecom window, uses two crystalline silicon photonic crystal slabs separated by a methyl methacrylate tunneling layer. We numerically determine the magic angle using a finit…
▽ More
We demonstrate a photonic analog of twisted bilayer graphene that has ultra-flat photonic bands and exhibits extreme slow light behavior. Our twisted bilayer photonic device, which has an operating wavelength in C-band of the telecom window, uses two crystalline silicon photonic crystal slabs separated by a methyl methacrylate tunneling layer. We numerically determine the magic angle using a finite-element method and the corresponding photonic band structure, which exhibits a flat band over the entire Brillouin zone. This flat band causes the group velocity to approach zero and introduces light localization in a linear periodic photonic system. Using a plane-wave continuum model we find that photonic modes in twisted bilayer photonic crystals are not as tightly bound as their electronic counterparts in twisted bilayer graphene. In addition, the photonic system has a larger band asymmetry. The band structure can easily be engineered by adjusting the device geometry, giving significant freedom in the design of devices. Our work provides a fundamental understanding of the photonic properties of twisted bilayer photonic crystals and opens the door to nanoscale-based non-linear enhancement and superradiance.
△ Less
Submitted 25 March, 2021;
originally announced March 2021.
-
Assembled arrays of Rydberg-interacting atoms
Authors:
Malte Schlosser,
Daniel Ohl de Mello,
Dominik Schäffner,
Tilman Preuschoff,
Lars Kohfahl,
Gerhard Birkl
Abstract:
Assembled arrays of individual atoms with Rydberg-mediated interactions provide a powerful platform for the simulation of many-body spin Hamiltonians as well as the implementation of universal gate-based quantum information processing. We demonstrate the first realization of Rydberg excitations and controlled interactions in microlens-generated multisite trap arrays of reconfigurable geometry. We…
▽ More
Assembled arrays of individual atoms with Rydberg-mediated interactions provide a powerful platform for the simulation of many-body spin Hamiltonians as well as the implementation of universal gate-based quantum information processing. We demonstrate the first realization of Rydberg excitations and controlled interactions in microlens-generated multisite trap arrays of reconfigurable geometry. We utilize atom-by-atom assembly for the deterministic preparation of pre-defined 2D structures of rubidium Rydberg atoms with exactly known mutual separations and selectable interaction strength. By adapting the geometry and the addressed Rydberg state, a parameter regime spanning from weak interactions to strong coupling can be accessed. We characterize the simultaneous coherent excitation of non-interacting atom clusters for the state $\mathrm{57D_{5/2}}$ and analyze the experimental parameters and limitations. For configurations optimized for Rydberg blockade utilizing the state $\mathrm{87D_{5/2}}$, we observe collectively enhanced Rabi oscillations.
△ Less
Submitted 11 August, 2020;
originally announced August 2020.
-
Low-loss Zero-Index Materials
Authors:
Haoning Tang,
Clayton DeVault,
Phil Camayd-Munoz,
Yueyang Liu,
Danchen Jia,
Fan Du,
Olivia Mello,
Daryl I. Vulis,
Yang Li,
Eric Mazur
Abstract:
Materials with a zero refractive index support electromagnetic modes that exhibit stationary phase profiles. While such materials have been realized across the visible and near-infrared spectral range, radiative and dissipative optical losses have hindered their development. We reduce losses in zero-index, on-chip photonic crystals by introducing high-Q resonances via resonance-trapped and symmetr…
▽ More
Materials with a zero refractive index support electromagnetic modes that exhibit stationary phase profiles. While such materials have been realized across the visible and near-infrared spectral range, radiative and dissipative optical losses have hindered their development. We reduce losses in zero-index, on-chip photonic crystals by introducing high-Q resonances via resonance-trapped and symmetry-protected states. Using these approaches, we experimentally obtain quality factors of 2.6*10^3 and 7.8*10^3 at near-infrared wavelengths, corresponding to an order-of-magnitude reduction in propagation loss over previous designs. Our work presents a viable approach to fabricate zero-index on-chip nanophotonic devices with low-loss.
△ Less
Submitted 28 May, 2020; v1 submitted 3 April, 2020;
originally announced April 2020.
-
Scalable multilayer architecture of assembled single-atom qubit arrays in a three-dimensional Talbot tweezer lattice
Authors:
Malte Schlosser,
Sascha Tichelmann,
Dominik Schäffner,
Daniel Ohl de Mello,
Moritz Hambach,
Jan Schütz,
Gerhard Birkl
Abstract:
We report on the realization of a novel platform for the creation of large-scale 3D multilayer configurations of planar arrays of individual neutral-atom qubits: a microlens-generated Talbot tweezer lattice that extends 2D tweezer arrays to the third dimension at no additional costs. We demonstrate the trap** and imaging of rubidium atoms in integer and fractional Talbot planes and the assembly…
▽ More
We report on the realization of a novel platform for the creation of large-scale 3D multilayer configurations of planar arrays of individual neutral-atom qubits: a microlens-generated Talbot tweezer lattice that extends 2D tweezer arrays to the third dimension at no additional costs. We demonstrate the trap** and imaging of rubidium atoms in integer and fractional Talbot planes and the assembly of defect-free atom arrays in different layers. The Talbot self-imaging effect for microlens arrays constitutes a structurally robust and wavelength-universal method for the realization of 3D atom arrays with beneficial scaling properties. With more than 750 qubit sites per 2D layer, these scaling properties imply that 10000 qubit sites are already accessible in 3D in our current implementation. The trap topology and functionality are configurable in the micrometer regime. We use this to generate interleaved lattices with dynamic position control and parallelized sublattice addressing of spin states for immediate application in quantum science and technology.
△ Less
Submitted 12 May, 2023; v1 submitted 14 February, 2019;
originally announced February 2019.
-
Defect-free assembly of 2D clusters of more than 100 single-atom quantum systems
Authors:
Daniel Ohl de Mello,
Dominik Schäffner,
Jan Werkmann,
Tilman Preuschoff,
Lars Kohfahl,
Malte Schlosser,
Gerhard Birkl
Abstract:
We demonstrate the defect-free assembly of versatile target patterns of up 111 neutral atoms, building on a 361-site subset of a micro-optical architecture that readily provides thousands of sites for single-atom quantum systems. By performing multiple assembly cycles in rapid succession, we drastically increase achievable structure sizes and success probabilities. We implement repeated target pat…
▽ More
We demonstrate the defect-free assembly of versatile target patterns of up 111 neutral atoms, building on a 361-site subset of a micro-optical architecture that readily provides thousands of sites for single-atom quantum systems. By performing multiple assembly cycles in rapid succession, we drastically increase achievable structure sizes and success probabilities. We implement repeated target pattern reconstruction after atom loss and deterministic transport of partial atom clusters necessary for distributing entanglement in large-scale systems. This technique will propel assembled-atom architectures beyond the threshold of quantum advantage and into a regime with abundant applications in quantum sensing and metrology, Rydberg-state mediated quantum simulation, and error-corrected quantum computation.
△ Less
Submitted 9 May, 2023; v1 submitted 1 February, 2019;
originally announced February 2019.
-
Extended 2d generalized dilaton gravity theories
Authors:
R. O. de Mello
Abstract:
We show that an anomaly-free description of matter in (1+1) dimensions requires a deformation of the 2d relativity principle, which introduces a non-trivial center in the 2d Poincare algebra. Then we work out the reduced phase-space of the anomaly-free 2d relativistic particle, in order to show that it lives in a noncommutative 2d Minkowski space. Moreover, we build a Gaussian wave packet to sho…
▽ More
We show that an anomaly-free description of matter in (1+1) dimensions requires a deformation of the 2d relativity principle, which introduces a non-trivial center in the 2d Poincare algebra. Then we work out the reduced phase-space of the anomaly-free 2d relativistic particle, in order to show that it lives in a noncommutative 2d Minkowski space. Moreover, we build a Gaussian wave packet to show that a Planck length is well-defined in two dimensions. In order to provide a gravitational interpretation for this noncommutativity, we propose to extend the usual 2d generalized dilaton gravity models by a specific Maxwell component, which gauges the extra symmetry associated with the center of the 2d Poincare algebra. In addition, we show that this extension is a high energy correction to the unextended dilaton theories that can affect the topology of space-time. Further, we couple a test particle to the general extended dilaton models with the purpose of showing that they predict a noncommutativity in curved space-time, which is locally described by a Moyal star product in the low energy limit. We also conjecture a probable generalization of this result, which provides a strong evidence that the noncommutativity is described by a certain star product which is not of the Moyal type at high energies. Finally, we prove that the extended dilaton theories can be formulated as Poisson-Sigma models based on a nonlinear deformation of the extended Poincare algebra.
△ Less
Submitted 5 August, 2008; v1 submitted 5 May, 2006;
originally announced May 2006.
-
The irreducible unitary representations of the extended Poincare group in (1+1) dimensions
Authors:
R. O. de Mello,
V. O. Rivelles
Abstract:
We prove that the extended Poincare group in (1+1) dimensions is non-nilpotent solvable exponential, and therefore that it belongs to type I. We determine its first and second cohomology groups in order to work out a classification of the two-dimensional relativistic elementary systems. Moreover, all irreducible unitary representations of the extended Poincare group are constructed by the orbit…
▽ More
We prove that the extended Poincare group in (1+1) dimensions is non-nilpotent solvable exponential, and therefore that it belongs to type I. We determine its first and second cohomology groups in order to work out a classification of the two-dimensional relativistic elementary systems. Moreover, all irreducible unitary representations of the extended Poincare group are constructed by the orbit method. The most physically interesting class of irreducible representations corresponds to the anomaly-free relativistic particle in (1+1) dimensions, which cannot be fully quantized. However, we show that the corresponding coadjoint orbit of the extended Poincare group determines a covariant maximal polynomial quantization by unbounded operators, which is enough to ensure that the associated quantum dynamical problem can be consistently solved, thus providing a physical interpretation for this particular class of representations.
△ Less
Submitted 24 January, 2006; v1 submitted 16 August, 2002;
originally announced August 2002.