Showing 1–50 of 278 results for author: Schneider, G

CLEO: Continual Learning of Evolving Ontologies

Authors: Shishir Muralidhara, Saqib Bukhari, Georg Schneider, Didier Stricker, René Schuster

Abstract: Continual learning (CL) addresses the problem of catastrophic forgetting in neural networks, which occurs when a trained model tends to overwrite previously learned information, when presented with a new task. CL aims to instill the lifelong learning characteristic of humans in intelligent systems, making them capable of learning continuously while retaining what was already learned. Current CL pr… ▽ More Continual learning (CL) addresses the problem of catastrophic forgetting in neural networks, which occurs when a trained model tends to overwrite previously learned information, when presented with a new task. CL aims to instill the lifelong learning characteristic of humans in intelligent systems, making them capable of learning continuously while retaining what was already learned. Current CL problems involve either learning new domains (domain-incremental) or new and previously unseen classes (class-incremental). However, general learning processes are not just limited to learning information, but also refinement of existing information. In this paper, we define CLEO - Continual Learning of Evolving Ontologies, as a new incremental learning setting under CL to tackle evolving classes. CLEO is motivated by the need for intelligent systems to adapt to real-world ontologies that change over time, such as those in autonomous driving. We use Cityscapes, PASCAL VOC, and Mapillary Vistas to define the task settings and demonstrate the applicability of CLEO. We highlight the shortcomings of existing CIL methods in adapting to CLEO and propose a baseline solution, called Modelling Ontologies (MoOn). CLEO is a promising new approach to CL that addresses the challenge of evolving ontologies in real-world applications. MoOn surpasses previous CL approaches in the context of CLEO. △ Less

Submitted 11 July, 2024; originally announced July 2024.

Comments: Accepted to ECCV 2024

On the Existence of Generalized Breathers and Transition Fronts in Time-Periodic Nonlinear Lattices

Authors: Christopher Chong, Dmitry E. Pelinovsky, Guido Schneider

Abstract: We prove the existence of a class of time-localized and space-periodic breathers (called q-gap breathers) in nonlinear lattices with time-periodic coefficients. These q-gap breathers are the counterparts to the classical space-localized and time-periodic breathers found in space-periodic systems. Using normal form transformations, we establish rigorously the existence of such solutions with oscill… ▽ More We prove the existence of a class of time-localized and space-periodic breathers (called q-gap breathers) in nonlinear lattices with time-periodic coefficients. These q-gap breathers are the counterparts to the classical space-localized and time-periodic breathers found in space-periodic systems. Using normal form transformations, we establish rigorously the existence of such solutions with oscillating tails (in the time domain) that can be made arbitrarily small, but finite. Due to the presence of the oscillating tails, these solutions are coined generalized q-gap breathers. Using a multiple-scale analysis, we also derive a tractable amplitude equation that describes the dynamics of breathers in the limit of small amplitude. In the presence of damping, we demonstrate the existence of transition fronts that connect the trivial state to the time-periodic ones. The analytical results are corroborated by systematic numerical simulations. △ Less

Submitted 24 May, 2024; originally announced May 2024.

Comments: 29 pages, 11 figures

Exploring the Potential of Two-Dimensional Materials for Innovations in Multifunctional Electrochromic Biochemical Sensors: A Review

Authors: Nadia Anwar, Guangya Jiang, Yi Wen, Muqarrab Ahmed, Haodong Zhong, Shen Ao, Zehui Li, Yunhan Ling, Grégory F. Schneider, Wangyang Fu, Zhengjun Zhang

Abstract: In this review, the current advancements in electrochromic sensors based on two-dimensional (2D) materials with rich chemical and physical properties are critically examined. By summarizing the current trends in and prospects for utilizing multifunctional electrochromic devices (ECDs) in environmental monitoring, food quality control, medical diagnosis, and life science-related investigations, we… ▽ More In this review, the current advancements in electrochromic sensors based on two-dimensional (2D) materials with rich chemical and physical properties are critically examined. By summarizing the current trends in and prospects for utilizing multifunctional electrochromic devices (ECDs) in environmental monitoring, food quality control, medical diagnosis, and life science-related investigations, we explore the potential of using 2D materials for rational design of ECDs with compelling electrical and optical properties for biochemical sensing applications. △ Less

Submitted 20 May, 2024; originally announced May 2024.

Comments: 37 pages, 9 Figures, 2 tables

Building a Simplistic Automatic Extruder: Instrument Development Opportunities for the Laboratory

Authors: Stefanie Klisch, Dylan Gilbert, Emma Breaux, Aliyah Dalier, Sudipta Gupta, Bruno Jakobi, Gerald J. Schneider

Abstract: A well-rounded introduction to work in a STEM laboratory is vital to scientific education. Besides the ability to use available instrumentation for sample characterization, students should also be imparted knowledge in the steps of instrument development and construction. These concepts can be taught using the example of lipid vesicle preparation via extrusion. Vesicle extrusion is a common techni… ▽ More A well-rounded introduction to work in a STEM laboratory is vital to scientific education. Besides the ability to use available instrumentation for sample characterization, students should also be imparted knowledge in the steps of instrument development and construction. These concepts can be taught using the example of lipid vesicle preparation via extrusion. Vesicle extrusion is a common technique that involves syringes pushing solutions through membrane filters and is used in fundamental studies on vesicles. Such research is important to better understand of biological phenomena and drug development. Well prepared samples are key to successful research. While the manual approach is very useful to acquire experience, automatic extrusion is more convenient, and automation often results in better reproducibility. These advantages can be combined in a simplistic automatic extruder, that does not require advanced technical skills to be assembled. It can therefore be used by various groups, ranging undergraduate to graduate students using equipment typically available. Using this approach, students can acquire different skillsets including coding, testing, and advanced use of building materials based on their properties. Finally, the quality of the automatic extruder is verified. △ Less

Submitted 2 April, 2024; originally announced May 2024.

Comments: 21 pages supplementary information included, 11 Figures and a cover picture, LabVIEW workflow file can be found on the group's gitHub profile

Dynamics of nano-scale assemblies of amphiphilic PEG-PDMS-PEG copolymers

Authors: Sudipta Gupta, Rasangi M. Perera, Christopher J. Van Leeuwen, Tianyu Li, Laura Stingaciu, Markus Bleuel, Kunlun Hong, Gerald J. Schneider

Abstract: Micelles and vesicles are promising candidates in targeted drug/gene delivery, bioreactors, and templates for nanoparticle synthesis. We investigated the morphology and dynamics of PEG-PDMS-PEG triblock copolymer nano-scale assemblies regarding the membrane dynamics because the molecular dynamics of the membrane govern mechanical properties like the stability of a membrane. We studied the structur… ▽ More Micelles and vesicles are promising candidates in targeted drug/gene delivery, bioreactors, and templates for nanoparticle synthesis. We investigated the morphology and dynamics of PEG-PDMS-PEG triblock copolymer nano-scale assemblies regarding the membrane dynamics because the molecular dynamics of the membrane govern mechanical properties like the stability of a membrane. We studied the structure by cryogenic transmission electron microscopy, small-angle neutron scattering, and the dynamics by dynamic light scattering and neutron spin echo spectroscopy. We changed the length of the hydrophilic block to obtain micellar and vesicular systems. The vesicle has a membrane rigidity, $κ_η= 16 \pm 2 k_B T$, the same order of magnitude as the corresponding liposome value but one order of magnitude higher than polymeric interfaces in microemulsions. Hence, the height-height fluctuations of polymers in a polymersome seem much less than those measured for surfactants at an oil-water interface. Therefore, the polymersome is substantially more stable. The value is very close to liposomes, indicating a similar stability. △ Less

Submitted 29 March, 2024; originally announced April 2024.

Ion-Mediated Structural Discontinuities in Phospholipid Vesicles

Authors: Judith U. De Mel, Sudipta Gupta, Gerald J. Schneider

Abstract: Despite intense research, methods for controlling soft matter's spontaneous self-assembly in-to well-defined layers remain a significant challenge. We observed ion-induced structural disconti-nuities of phospholipid vesicles that can be exploited for controlled self-assembly of soft materials. We used dynamic light scattering, zeta-potential measurement, cryo-electron microscopy, small-angle X-ray… ▽ More Despite intense research, methods for controlling soft matter's spontaneous self-assembly in-to well-defined layers remain a significant challenge. We observed ion-induced structural disconti-nuities of phospholipid vesicles that can be exploited for controlled self-assembly of soft materials. We used dynamic light scattering, zeta-potential measurement, cryo-electron microscopy, small-angle X-ray, and small-angle neutron scattering. All the experimental observations indicate that de-clining solvent quality and increasing osmotic pressure direct lipids to expel preferentially to the inner compartment. Upon reaching a critical concentration, excess lipids can form a new bilayer. This spontaneous self-assembly process causes simultaneous shrinkage of the aqueous core and expansion of the vesicle. This approach opens an intriguing path for controlling the self-assembly of bioinspired colloids, which can also serve as a vehicle to control the polymerization of multilayer polymeric systems. △ Less

Submitted 28 March, 2024; originally announced March 2024.

Improving Adversarial Data Collection by Supporting Annotators: Lessons from GAHD, a German Hate Speech Dataset

Authors: Janis Goldzycher, Paul Röttger, Gerold Schneider

Abstract: Hate speech detection models are only as good as the data they are trained on. Datasets sourced from social media suffer from systematic gaps and biases, leading to unreliable models with simplistic decision boundaries. Adversarial datasets, collected by exploiting model weaknesses, promise to fix this problem. However, adversarial data collection can be slow and costly, and individual annotators… ▽ More Hate speech detection models are only as good as the data they are trained on. Datasets sourced from social media suffer from systematic gaps and biases, leading to unreliable models with simplistic decision boundaries. Adversarial datasets, collected by exploiting model weaknesses, promise to fix this problem. However, adversarial data collection can be slow and costly, and individual annotators have limited creativity. In this paper, we introduce GAHD, a new German Adversarial Hate speech Dataset comprising ca.\ 11k examples. During data collection, we explore new strategies for supporting annotators, to create more diverse adversarial examples more efficiently and provide a manual analysis of annotator disagreements for each strategy. Our experiments show that the resulting dataset is challenging even for state-of-the-art hate speech detection models, and that training on GAHD clearly improves model robustness. Further, we find that mixing multiple support strategies is most advantageous. We make GAHD publicly available at https://github.com/jagol/gahd. △ Less

Submitted 28 March, 2024; originally announced March 2024.

Comments: Accepted at NAACL 2024 (main conference)

FastCAR: Fast Classification And Regression Multi-Task Learning via Task Consolidation for Modelling a Continuous Property Variable of Object Classes

Authors: Anoop Kini, Andreas Jansche, Timo Bernthaler, Gerhard Schneider

Abstract: FastCAR is a novel task consolidation approach in Multi-Task Learning (MTL) for a classification and a regression task, despite task heterogeneity with only subtle correlation. It addresses object classification and continuous property variable regression, a crucial use case in science and engineering. FastCAR involves a labeling transformation approach that can be used with a single-task regressi… ▽ More FastCAR is a novel task consolidation approach in Multi-Task Learning (MTL) for a classification and a regression task, despite task heterogeneity with only subtle correlation. It addresses object classification and continuous property variable regression, a crucial use case in science and engineering. FastCAR involves a labeling transformation approach that can be used with a single-task regression network architecture. FastCAR outperforms traditional MTL model families, parametrized in the landscape of architecture and loss weighting schemes, when learning of both tasks are collectively considered (classification accuracy of 99.54%, regression mean absolute percentage error of 2.3%). The experiments performed used an Advanced Steel Property dataset contributed by us. The dataset comprises 4536 images of 224x224 pixels, annotated with object classes and hardness properties that take continuous values. With the labeling transformation and single-task regression network architecture, FastCAR achieves reduced latency and time efficiency. △ Less

Submitted 26 March, 2024; originally announced March 2024.

Bivariate change point detection in movement direction and speed

Authors: Solveig Plomer, Theresa Ernst, Philipp Gebhardt, Enrico Schleiff, Ralph Neininger, Gaby Schneider

Abstract: Biological movement patterns can sometimes be quasi linear with abrupt changes in direction and speed, as in plastids in root cells investigated here. For the analysis of such changes we propose a new stochastic model for movement along linear structures. Maximum likelihood estimators are provided, and due to serial dependencies of increments, the classical MOSUM statistic is replaced by a moving… ▽ More Biological movement patterns can sometimes be quasi linear with abrupt changes in direction and speed, as in plastids in root cells investigated here. For the analysis of such changes we propose a new stochastic model for movement along linear structures. Maximum likelihood estimators are provided, and due to serial dependencies of increments, the classical MOSUM statistic is replaced by a moving kernel estimator. Convergence of the resulting difference process and strong consistency of the variance estimator are shown. We estimate the change points and propose a graphical technique to distinguish between change points in movement direction and speed. △ Less

Submitted 4 February, 2024; originally announced February 2024.

MSC Class: Primary 62P10; 60F17; Secondary: 60G15; 60G50

A Uniform Analysis of Debris Disks with the Gemini Planet Imager II: Constraints on Dust Density Distribution Using Empirically-Informed Scattering Phase Functions

Authors: Justin Hom, Jennifer Patience, Christine H. Chen, Gaspard Duchêne, Johan Mazoyer, Maxwell A. Millar-Blanchaer, Thomas M. Esposito, Paul Kalas, Katie A. Crotts, Eileen C. Gonzales, Ludmilla Kolokolova, Briley L. Lewis, Brenda C. Matthews, Malena Rice, Alycia J. Weinberger, David J. Wilner, Schuyler G. Wolff, Sebastián Bruzzone, Elodie Choquet, John Debes, Robert J. De Rosa, Jessica Donaldson, Zachary Draper, Michael P. Fitzgerald, Dean C. Hines , et al. (18 additional authors not shown)

Abstract: Spatially-resolved images of debris disks are necessary to determine disk morphological properties and the scattering phase function (SPF) which quantifies the brightness of scattered light as a function of phase angle. Current high-contrast imaging instruments have successfully resolved several dozens of debris disks around other stars, but few studies have investigated trends in the scattered-li… ▽ More Spatially-resolved images of debris disks are necessary to determine disk morphological properties and the scattering phase function (SPF) which quantifies the brightness of scattered light as a function of phase angle. Current high-contrast imaging instruments have successfully resolved several dozens of debris disks around other stars, but few studies have investigated trends in the scattered-light, resolved population of debris disks in a uniform and consistent manner. We have combined Karhunen-Loeve Image Projection (KLIP) with radiative-transfer disk forward modeling in order to obtain the highest quality image reductions and constrain disk morphological properties of eight debris disks imaged by the Gemini Planet Imager at H-band with a consistent and uniformly-applied approach. In describing the scattering properties of our models, we assume a common SPF informed from solar system dust scattering measurements and apply it to all systems. We identify a diverse range of dust density properties among the sample, including critical radius, radial width, and vertical width. We also identify radially narrow and vertically extended disks that may have resulted from substellar companion perturbations, along with a tentative positive trend in disk eccentricity with relative disk width. We also find that using a common SPF can achieve reasonable model fits for disks that are axisymmetric and asymmetric when fitting models to each side of the disk independently, suggesting that scattering behavior from debris disks may be similar to Solar System dust. △ Less

Submitted 31 January, 2024; originally announced February 2024.

Comments: 23+5 pages, 12+6 figures, 15 pages of Online Supplemental Material included; Accepted for publication in MNRAS

NLS approximation for a scalar FPUT system on a 2D square lattice with a cubic nonlinearity

Authors: Ioannis Giannoulis, Bernd Schmidt, Guido Schneider

Abstract: We consider a scalar Fermi-Pasta-Ulam-Tsingou (FPUT) system on a square 2D lattice with a cubic nonlinearity. For such systems the NLS equation can be derived to describe the evolution of an oscillating moving wave packet of small amplitude which is slowly modulated in time and space. We show that this NLS approximation makes correct predictions about the dynamics of the original scalar FPUT syste… ▽ More We consider a scalar Fermi-Pasta-Ulam-Tsingou (FPUT) system on a square 2D lattice with a cubic nonlinearity. For such systems the NLS equation can be derived to describe the evolution of an oscillating moving wave packet of small amplitude which is slowly modulated in time and space. We show that this NLS approximation makes correct predictions about the dynamics of the original scalar FPUT system for the strain and the displacement variables. △ Less

Submitted 26 January, 2024; originally announced January 2024.

Comments: 17 pages

MSC Class: 35Q70; 35Q55; 37K60

Global existence for long wave Hopf unstable spatially extended systems with a conservation law

Authors: Nicole Gauss, Anna Logioti, Guido Schneider, Dominik Zimmermann

Abstract: We are interested in reaction-diffusion systems, with a conservation law, exhibiting a Hopf bifurcation at the spatial wave number $k = 0$. With the help of a multiple scaling perturbation ansatz a Ginzburg-Landau equation coupled to a scalar conservation law can be derived as an amplitude system for the approximate description of the dynamics of the original reaction-diffusion system near the fir… ▽ More We are interested in reaction-diffusion systems, with a conservation law, exhibiting a Hopf bifurcation at the spatial wave number $k = 0$. With the help of a multiple scaling perturbation ansatz a Ginzburg-Landau equation coupled to a scalar conservation law can be derived as an amplitude system for the approximate description of the dynamics of the original reaction-diffusion system near the first instability. We use the amplitude system to show the global existence of all solutions starting in a small neighborhood of the weakly unstable ground state for original systems posed on a large spatial interval with periodic boundary conditions. △ Less

Submitted 23 January, 2024; originally announced January 2024.

A Uniform Analysis of Debris Disks with the Gemini Planet Imager I: An Empirical Search for Perturbations from Planetary Companions in Polarized Light Images

Authors: Katie A. Crotts, Brenda C. Matthews, Gaspard Duchêne, Thomas M. Esposito, Ruobing Dong, Justin Hom, Rebecca Oppenheimer, Malena Rice, Schuyler G. Wolff, Christine H. Chen, Clarissa R. Do Ó, Paul Kalas, Briley L. Lewis, Alycia J. Weinberger, David J. Wilner, Mark Ammons, Pauline Arriaga, Robert J. De Rosa, John H. Debes, Michael P. Fitzgerald, Eileen C. Gonzales, Dean C. Hines, Sasha Hinkley, A. Meredith Hughes, Ludmilla Kolokolova , et al. (15 additional authors not shown)

Abstract: The Gemini Planet Imager (GPI) has excelled in imaging debris disks in the near-infrared. The GPI Exoplanet Survey (GPIES) imaged twenty-four debris disks in polarized $H$-band light, while other programs observed half of these disks in polarized $J$- and/or $K1$-bands. Using these data, we present a uniform analysis of the morphology of each disk to find asymmetries suggestive of perturbations, p… ▽ More The Gemini Planet Imager (GPI) has excelled in imaging debris disks in the near-infrared. The GPI Exoplanet Survey (GPIES) imaged twenty-four debris disks in polarized $H$-band light, while other programs observed half of these disks in polarized $J$- and/or $K1$-bands. Using these data, we present a uniform analysis of the morphology of each disk to find asymmetries suggestive of perturbations, particularly those due to planet-disk interactions. The multi-wavelength surface brightness, the disk color and geometry permit identification of any asymmetries such as warps or disk offsets from the central star. We find that nineteen of the disks in this sample exhibit asymmetries in surface brightness, disk color, disk geometry, or a combination of the three, suggesting that for this sample, perturbations, as seen in scattered light, are common. The relationship between these perturbations and potential planets in the system are discussed. We also explore correlations among stellar temperatures, ages, disk properties, and observed perturbations. We find significant trends between the vertical aspect ratio and the stellar temperature, disk radial extent, and the dust grain size distribution power-law, $q$. We also confirm a trend between the disk color and stellar effective temperature, where the disk becomes increasingly red/neutral with increasing temperature. Such results have important implications on the evolution of debris disk systems around stars of various spectral types. △ Less

Submitted 24 November, 2023; originally announced November 2023.

Comments: 46 pages, 20 figures, 6 tables, accepted for publication in ApJ

On the KdV approximation for a Boussinesq equation posed on the infinite necklace graph

Authors: Wolf-Patrick Düll, Guido Schneider, Raphael Taraca

Abstract: We consider a Boussinesq equation posed on the infinite periodic necklace graph. For the description of long wave traveling waves we derive the KdV equation and establish the validity of this formal approximation by providing estimates for the error. The proof is based on suitable energy estimates. We consider a Boussinesq equation posed on the infinite periodic necklace graph. For the description of long wave traveling waves we derive the KdV equation and establish the validity of this formal approximation by providing estimates for the error. The proof is based on suitable energy estimates. △ Less

Submitted 9 November, 2023; originally announced November 2023.

Can Chat GPT solve a Linguistics Exam?

Authors: Patricia Ronan, Gerold Schneider

Abstract: The present study asks if ChatGPT4, the version of ChatGPT which uses the language model GPT4, can successfully solve introductory linguistic exams. Previous exam questions of an Introduction to Linguistics course at a German university are used to test this. The exam questions were fed into ChatGPT4 with only minimal preprocessing. The results show that the language model is very successful in th… ▽ More The present study asks if ChatGPT4, the version of ChatGPT which uses the language model GPT4, can successfully solve introductory linguistic exams. Previous exam questions of an Introduction to Linguistics course at a German university are used to test this. The exam questions were fed into ChatGPT4 with only minimal preprocessing. The results show that the language model is very successful in the interpretation even of complex and nested tasks. It proved surprisingly successful in the task of broad phonetic transcription, but performed less well in the analysis of morphemes and phrases. In simple cases it performs sufficiently well, but rarer cases, particularly with missing one-to-one correspondence, are currently treated with mixed results. The model is not yet able to deal with visualisations, such as the analysis or generation of syntax trees. More extensive preprocessing, which translates these tasks into text data, allow the model to also solve these tasks successfully. △ Less

Submitted 4 November, 2023; originally announced November 2023.

Comments: 13 pages, 7 figures, presentation at ISLE (International Society for the Linguistics of English) 7, 2023, Brisbane

ACM Class: J.5; K.3

How well can machine-generated texts be identified and can language models be trained to avoid identification?

Authors: Sinclair Schneider, Florian Steuber, Joao A. G. Schneider, Gabi Dreo Rodosek

Abstract: With the rise of generative pre-trained transformer models such as GPT-3, GPT-NeoX, or OPT, distinguishing human-generated texts from machine-generated ones has become important. We refined five separate language models to generate synthetic tweets, uncovering that shallow learning classification algorithms, like Naive Bayes, achieve detection accuracy between 0.6 and 0.8. Shallow learning class… ▽ More With the rise of generative pre-trained transformer models such as GPT-3, GPT-NeoX, or OPT, distinguishing human-generated texts from machine-generated ones has become important. We refined five separate language models to generate synthetic tweets, uncovering that shallow learning classification algorithms, like Naive Bayes, achieve detection accuracy between 0.6 and 0.8. Shallow learning classifiers differ from human-based detection, especially when using higher temperature values during text generation, resulting in a lower detection rate. Humans prioritize linguistic acceptability, which tends to be higher at lower temperature values. In contrast, transformer-based classifiers have an accuracy of 0.9 and above. We found that using a reinforcement learning approach to refine our generative models can successfully evade BERT-based classifiers with a detection accuracy of 0.15 or less. △ Less

Submitted 25 October, 2023; originally announced October 2023.

Comments: This paper has been accepted for the upcoming 57th Hawaii International Conference on System Sciences (HICSS-57)

The \textit{JWST} Early Release Science Program for Direct Observations of Exoplanetary Systems III: Aperture Masking Interferometric Observations of the star HIP\,65426 at $\boldsymbol{3.8\,\rm{μm}}$

Authors: Shrishmoy Ray, Steph Sallum, Sasha Hinkley, Anand Sivamarakrishnan, Rachel Cooper, Jens Kammerer, Alexandra Z. Greebaum, Deepashri Thatte, Cecilia Lazzoni, Andrei Tokovinin, Matthew de Furio, Samuel Factor, Michael Meyer, Jordan M. Stone, Aarynn Carter, Beth Biller, Andrew Skemer, Genaro Suarez, Jarron M. Leisenring, Marshall D. Perrin, Adam L. Kraus, Olivier Absil, William O. Balmer, Mickael Bonnefoy, Marta L. Bryan , et al. (98 additional authors not shown)

Abstract: We present aperture masking interferometry (AMI) observations of the star HIP 65426 at $3.8\,\rm{μm}$ as a part of the \textit{JWST} Direct Imaging Early Release Science (ERS) program obtained using the Near Infrared Imager and Slitless Spectrograph (NIRISS) instrument. This mode provides access to very small inner working angles (even separations slightly below the Michelson limit of ${}0.5λ/D$ f… ▽ More We present aperture masking interferometry (AMI) observations of the star HIP 65426 at $3.8\,\rm{μm}$ as a part of the \textit{JWST} Direct Imaging Early Release Science (ERS) program obtained using the Near Infrared Imager and Slitless Spectrograph (NIRISS) instrument. This mode provides access to very small inner working angles (even separations slightly below the Michelson limit of ${}0.5λ/D$ for an interferometer), which are inaccessible with the classical inner working angles of the \textit{JWST} coronagraphs. When combined with \textit{JWST}'s unprecedented infrared sensitivity, this mode has the potential to probe a new portion of parameter space across a wide array of astronomical observations. Using this mode, we are able to achieve a contrast of $Δm_{F380M}{\sim }7.8$\,mag relative to the host star at a separation of ${\sim}0.07\arcsec$ but detect no additional companions interior to the known companion HIP\,65426\,b. Our observations thus rule out companions more massive than $10{-}12\,\rm{M\textsubscript{Jup}}$ at separations ${\sim}10{-}20\,\rm{au}$ from HIP\,65426, a region out of reach of ground or space-based coronagraphic imaging. These observations confirm that the AMI mode on \textit{JWST} is sensitive to planetary mass companions orbiting at the water frost line, even for more distant stars at $\sim$100\,pc. This result will allow the planning and successful execution of future observations to probe the inner regions of nearby stellar systems, opening essentially unexplored parameter space. △ Less

Submitted 17 October, 2023; originally announced October 2023.

Comments: 15 pages, 9 figures, submitted to ApJ Letters

The JWST Early Release Science Program for Direct Observations of Exoplanetary Systems IV: NIRISS Aperture Masking Interferometry Performance and Lessons Learned

Authors: Steph Sallum, Shrishmoy Ray, Jens Kammerer, Anand Sivaramakrishnan, Rachel Cooper, Alexandra Z. Greebaum, Deepashri Thatte, Matthew de Furio, Samuel Factor, Michael Meyer, Jordan M. Stone, Aarynn Carter, Beth Biller, Sasha Hinkley, Andrew Skemer, Genaro Suarez, Jarron M. Leisenring, Marshall D. Perrin, Adam L. Kraus, Olivier Absil, William O. Balmer, Mickael Bonnefoy, Marta L. Bryan, Sarah K. Betti, Anthony Boccaletti , et al. (98 additional authors not shown)

Abstract: We present a performance analysis for the aperture masking interferometry (AMI) mode on board the James Webb Space Telescope Near Infrared Imager and Slitless Spectrograph (JWST/NIRISS). Thanks to self-calibrating observables, AMI accesses inner working angles down to and even within the classical diffraction limit. The scientific potential of this mode has recently been demonstrated by the Early… ▽ More We present a performance analysis for the aperture masking interferometry (AMI) mode on board the James Webb Space Telescope Near Infrared Imager and Slitless Spectrograph (JWST/NIRISS). Thanks to self-calibrating observables, AMI accesses inner working angles down to and even within the classical diffraction limit. The scientific potential of this mode has recently been demonstrated by the Early Release Science (ERS) 1386 program with a deep search for close-in companions in the HIP 65426 exoplanetary system. As part of ERS 1386, we use the same data set to explore the random, static, and calibration errors of NIRISS AMI observables. We compare the observed noise properties and achievable contrast to theoretical predictions. We explore possible sources of calibration errors and show that differences in charge migration between the observations of HIP 65426 and point-spread function calibration stars can account for the achieved contrast curves. Lastly, we use self-calibration tests to demonstrate that with adequate calibration NIRISS F380M AMI can reach contrast levels of $\sim9-10$ mag at $\gtrsim λ/D$. These tests lead us to observation planning recommendations and strongly motivate future studies aimed at producing sophisticated calibration strategies taking these systematic effects into account. This will unlock the unprecedented capabilities of JWST/NIRISS AMI, with sensitivity to significantly colder, lower-mass exoplanets than lower-contrast ground-based AMI setups, at orbital separations inaccessible to JWST coronagraphy. △ Less

Submitted 11 March, 2024; v1 submitted 17 October, 2023; originally announced October 2023.

Comments: 20 pages, 12 figures, accepted to Astrophysical Journal Letters

Synchronous Agents, Verification, and Blame -- A Deontic View

Authors: Karam Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker

Abstract: A question we can ask of multi-agent systems is whether the agents' collective interaction satisfies particular goals or specifications, which can be either individual or collective. When a collaborative goal is not reached, or a specification is violated, a pertinent question is whether any agent is to blame. This paper considers a two-agent synchronous setting and a formal language to specify wh… ▽ More A question we can ask of multi-agent systems is whether the agents' collective interaction satisfies particular goals or specifications, which can be either individual or collective. When a collaborative goal is not reached, or a specification is violated, a pertinent question is whether any agent is to blame. This paper considers a two-agent synchronous setting and a formal language to specify when agents' collaboration is required. We take a deontic approach and use obligations, permissions, and prohibitions to capture notions of non-interference between agents. We also handle reparations, allowing violations to be corrected or compensated. We give trace semantics to our logic, and use it to define blame assignment for violations. We give an automaton construction for the logic, which we use as the base for model checking and blame analysis. We also further provide quantitative semantics that is able to compare different interactions in terms of the required reparations. △ Less

Submitted 26 September, 2023; v1 submitted 25 September, 2023; originally announced September 2023.

Comments: To appear in ICTAC 2023

Giant proton transmembrane transport through sulfophenylated graphene in a direct methanol fuel cell

Authors: Weizhe Zhang, Max Makurat, Xue Liu, Xiaofang Kang, Xiaoting Liu, Yanglizhi Li, Thomas J. F. Kock, Christopher Leist, Clement Maheu, Hikmet Sezen, Lin Jiang, Dario Calvani, Andy Jiao, Ismail Eren, Francesco Buda, Agnieszka Kuc, Thomas Heine, Haoyuan Qi, Xinliang Feng, Jan P. Hofmann, Ute Kaiser, Luzhao Sun, Zhongfan Liu, Gregory F. Schneider

Abstract: An ideal proton exchange membrane should only permeate protons and be leak tight for fuels. Graphene is impermeable to water and poorly conducting to protons. Here, we chemically functionalized monolayer graphene to install sulfophenylated sp3 dislocations by diazotization. Selective to protons, transmembrane areal conductances are up to ~50 S/cm2, which is ~5000 fold higher than in pristine graph… ▽ More An ideal proton exchange membrane should only permeate protons and be leak tight for fuels. Graphene is impermeable to water and poorly conducting to protons. Here, we chemically functionalized monolayer graphene to install sulfophenylated sp3 dislocations by diazotization. Selective to protons, transmembrane areal conductances are up to ~50 S/cm2, which is ~5000 fold higher than in pristine graphene. Mounted in a direct methanol fuel cell, sulfophenylated graphene resulted in power densities up to 1.6 W/mg or 123 mW/cm under standard cell operation (60 C), a value ~two-fold larger than micron-thick films of Nafion 117. The combination of sp3 dislocations and polar groups, therefore, allow the creation of hydrophilic ion paths through graphene and unveils a novel route to rationalize transmembrane hydron transport through 2D materials. △ Less

Submitted 30 August, 2023; originally announced August 2023.

Turkish Native Language Identification

Authors: Ahmet Yavuz Uluslu, Gerold Schneider

Abstract: In this paper, we present the first application of Native Language Identification (NLI) for the Turkish language. NLI involves predicting the writer's first language by analysing their writing in different languages. While most NLI research has focused on English, our study extends its scope to Turkish. We used the recently constructed Turkish Learner Corpus and employed a combination of three syn… ▽ More In this paper, we present the first application of Native Language Identification (NLI) for the Turkish language. NLI involves predicting the writer's first language by analysing their writing in different languages. While most NLI research has focused on English, our study extends its scope to Turkish. We used the recently constructed Turkish Learner Corpus and employed a combination of three syntactic features (CFG production rules, part-of-speech n-grams, and function words) with L2 texts to demonstrate their effectiveness in this task. △ Less

Submitted 4 November, 2023; v1 submitted 27 July, 2023; originally announced July 2023.

LTL Synthesis on Infinite-State Arenas defined by Programs

Authors: Shaun Azzopardi, Nir Piterman, Gerardo Schneider, Luca di Stefano

Abstract: This paper deals with the problem of automatically and correctly controlling infinite-state reactive programs to achieve LTL goals. Applications include adapting a program to new requirements, or to repair bugs discovered in the original specification or program code. Existing approaches are able to solve this problem for safety and some reachability properties, but require an a priori template of… ▽ More This paper deals with the problem of automatically and correctly controlling infinite-state reactive programs to achieve LTL goals. Applications include adapting a program to new requirements, or to repair bugs discovered in the original specification or program code. Existing approaches are able to solve this problem for safety and some reachability properties, but require an a priori template of the solution for more general properties. Fully automated approaches for full LTL exist, reducing the problem into successive finite LTL reactive synthesis problems in an abstraction-refinement loop. However, they do not terminate when the number of steps to be completed depends on unbounded variables. Our main insight is that safety abstractions of the program are not enough -- fairness properties are also essential to be able to decide many interesting problems, something missed by existing automated approaches. We thus go beyond the state-of-the-art to allow for automated reactive program control for full LTL, with automated discovery of the knowledge, including fairness, of the program needed to determine realisability. We further implement the approach in a tool, with an associated DSL for reactive programs, and illustrate the approach through several case studies. △ Less

Submitted 19 July, 2023; originally announced July 2023.

Correct-by-Construction Design of Contextual Robotic Missions Using Contracts

Authors: Piergiuseppe Mallozzi, Pierluigi Nuzzo, Nir Piterman, Gerardo Schneider, Patrizio Pelliccione

Abstract: Effectively specifying and implementing robotic missions poses a set of challenges to software engineering for robotic systems. These challenges stem from the need to formalize and execute a robot's high-level tasks while considering various application scenarios and conditions, also known as contexts, in real-world operational environments. Writing correct mission specifications that explicitly… ▽ More Effectively specifying and implementing robotic missions poses a set of challenges to software engineering for robotic systems. These challenges stem from the need to formalize and execute a robot's high-level tasks while considering various application scenarios and conditions, also known as contexts, in real-world operational environments. Writing correct mission specifications that explicitly account for multiple contexts can be tedious and error-prone. Furthermore, as the number of contexts, and consequently the complexity of the specification, increases, generating a correct-by-construction implementation (e.g., by using synthesis methods) can become intractable. A viable approach to address these issues is to decompose the mission specification into smaller, manageable sub-missions, with each sub-mission tailored to a specific context. Nevertheless, this compositional approach introduces its own set of challenges in ensuring the overall mission's correctness. In this paper, we propose a novel compositional framework for specifying and implementing contextual robotic missions using assume-guarantee contracts. The mission specification is structured in a hierarchical and modular fashion, allowing for each sub-mission to be synthesized as an independent robot controller. We address the problem of dynamically switching between sub-mission controllers while ensuring correctness under predefined conditions. △ Less

Submitted 29 December, 2023; v1 submitted 13 June, 2023; originally announced June 2023.

Exploring Hybrid Linguistic Features for Turkish Text Readability

Authors: Ahmet Yavuz Uluslu, Gerold Schneider

Abstract: This paper presents the first comprehensive study on automatic readability assessment of Turkish texts. We combine state-of-the-art neural network models with linguistic features at lexical, morphosyntactic, syntactic and discourse levels to develop an advanced readability tool. We evaluate the effectiveness of traditional readability formulas compared to modern automated methods and identify key… ▽ More This paper presents the first comprehensive study on automatic readability assessment of Turkish texts. We combine state-of-the-art neural network models with linguistic features at lexical, morphosyntactic, syntactic and discourse levels to develop an advanced readability tool. We evaluate the effectiveness of traditional readability formulas compared to modern automated methods and identify key linguistic features that determine the readability of Turkish texts. △ Less

Submitted 4 November, 2023; v1 submitted 6 June, 2023; originally announced June 2023.

Evaluating the Effectiveness of Natural Language Inference for Hate Speech Detection in Languages with Limited Labeled Data

Authors: Janis Goldzycher, Moritz Preisig, Chantal Amrhein, Gerold Schneider

Abstract: Most research on hate speech detection has focused on English where a sizeable amount of labeled training data is available. However, to expand hate speech detection into more languages, approaches that require minimal training data are needed. In this paper, we test whether natural language inference (NLI) models which perform well in zero- and few-shot settings can benefit hate speech detection… ▽ More Most research on hate speech detection has focused on English where a sizeable amount of labeled training data is available. However, to expand hate speech detection into more languages, approaches that require minimal training data are needed. In this paper, we test whether natural language inference (NLI) models which perform well in zero- and few-shot settings can benefit hate speech detection performance in scenarios where only a limited amount of labeled data is available in the target language. Our evaluation on five languages demonstrates large performance improvements of NLI fine-tuning over direct fine-tuning in the target language. However, the effectiveness of previous work that proposed intermediate fine-tuning on English data is hard to match. Only in settings where the English training data does not match the test domain, can our customised NLI-formulation outperform intermediate fine-tuning on English. Based on our extensive experiments, we propose a set of recommendations for hate speech detection in languages where minimal labeled training data is available. △ Less

Submitted 10 June, 2023; v1 submitted 6 June, 2023; originally announced June 2023.

Comments: 15 pages, 7 figures, Accepted at the 7th Workshop on Online Abuse and Harms (WOAH), ACL 2023

CLawK: Monitoring Business Processes in Smart Contracts

Authors: Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider

Abstract: Smart contracts embody complex business processes that can be difficult to analyze statically. In this paper, we present CLawK, a runtime monitoring tool that leverages business process specifications written in DCR graphs to provide runtime verification of smart contract execution. We demonstrate how CLawK can detect and flag deviations from specified behaviors in smart contracts deployed in the… ▽ More Smart contracts embody complex business processes that can be difficult to analyze statically. In this paper, we present CLawK, a runtime monitoring tool that leverages business process specifications written in DCR graphs to provide runtime verification of smart contract execution. We demonstrate how CLawK can detect and flag deviations from specified behaviors in smart contracts deployed in the Ethereum network without code instrumentation and any additional gas costs. △ Less

Submitted 14 May, 2023; originally announced May 2023.

Capturing Smart Contract Design with DCR Graphs

Authors: Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider

Abstract: Smart contracts manage blockchain assets and embody business processes. However, mainstream smart contract programming languages such as Solidity lack explicit notions of roles, action dependencies, and time. Instead, these concepts are implemented in program code. This makes it very hard to design and analyze smart contracts. We argue that DCR graphs are a suitable formalization tool for smart co… ▽ More Smart contracts manage blockchain assets and embody business processes. However, mainstream smart contract programming languages such as Solidity lack explicit notions of roles, action dependencies, and time. Instead, these concepts are implemented in program code. This makes it very hard to design and analyze smart contracts. We argue that DCR graphs are a suitable formalization tool for smart contracts because they explicitly and visually capture the mentioned features. We utilize this expressiveness to show that many common high-level design patterns representing the underlying business processes in smart contract applications can be naturally modeled this way. Applying these patterns shows that DCR graphs facilitate the development and analysis of correct and reliable smart contracts by providing a clear and easy-to-understand specification. △ Less

Submitted 16 September, 2023; v1 submitted 8 May, 2023; originally announced May 2023.

Comments: Accepted for presentation at SEFM 2023

The apparent absence of forward scattering in the HD 53143 debris disk

Authors: Christopher C. Stark, Bin Ren, Meredith A. MacGregor, Ward S. Howard, Spencer A. Hurt, Alycia J. Weinberger, Glenn Schneider, Elodie Choquet

Abstract: HD 53143 is a mature Sun-like star and host to a broad disk of dusty debris, including a cold outer ring of planetesimals near 90 AU. Unlike most other inclined debris disks imaged at visible wavelengths, the cold disk around HD 53143 appears as disconnected "arcs" of material, with no forward scattering side detected to date. We present new, deeper Hubble Space Telescope (HST) Space Telescope Ima… ▽ More HD 53143 is a mature Sun-like star and host to a broad disk of dusty debris, including a cold outer ring of planetesimals near 90 AU. Unlike most other inclined debris disks imaged at visible wavelengths, the cold disk around HD 53143 appears as disconnected "arcs" of material, with no forward scattering side detected to date. We present new, deeper Hubble Space Telescope (HST) Space Telescope Imaging Spectrograph (STIS) coronagraphic observations of the HD 53143 debris disk and show that the forward scattering side of the disk remains undetected. By fitting our KLIP-reduced observations via forward modeling with an optically thin disk model, we show that fitting the visible wavelength images with an azimuthally symmetric disk with unconstrained orientation results in an unphysical edge-on orientation that is at odds with recent ALMA observations, while constraining the orientation to that observed by ALMA results in nearly isotropically scattering dust. We show that the HD53143 host star exhibits significant stellar variations due to spot rotation and revisit age estimates for this system. △ Less

Submitted 14 April, 2023; originally announced April 2023.

Comments: 13 pages, 8 figures, 2 tables Accepted for publication in ApJ

Journal ref: ApJ 945 131 (2023)

Traveling modulating pulse solutions with small tails for a nonlinear wave equation in periodic media

Authors: Tomas Dohnal, Dmitry E. Pelinovsky, Guido Schneider

Abstract: Traveling modulating pulse solutions consist of a small amplitude pulse-like envelope moving with a constant speed and modulating a harmonic carrier wave. Such solutions can be approximated by solitons of an effective nonlinear Schrodinger equation arising as the envelope equation. We are interested in a rigorous existence proof of such solutions for a nonlinear wave equation with spatially period… ▽ More Traveling modulating pulse solutions consist of a small amplitude pulse-like envelope moving with a constant speed and modulating a harmonic carrier wave. Such solutions can be approximated by solitons of an effective nonlinear Schrodinger equation arising as the envelope equation. We are interested in a rigorous existence proof of such solutions for a nonlinear wave equation with spatially periodic coefficients. Such solutions are quasi-periodic in a reference frame co-moving with the envelope. We use spatial dynamics, invariant manifolds, and near-identity transformations to construct such solutions on large domains in time and space. Although the spectrum of the linearized equations in the spatial dynamics formulation contains infinitely many eigenvalues on the imaginary axis or in the worst case the complete imaginary axis, a small denominator problem is avoided when the solutions are localized on a finite spatial domain with small tails in far fields. △ Less

Submitted 6 March, 2024; v1 submitted 12 April, 2023; originally announced April 2023.

Comments: 32 pages; 5 figures

Journal ref: Nonlinearity (2024)

4D-Printing of Smart, Nacre-Inspired, Organic-Ceramic Composites

Authors: Benedikt F. Winhard, Philipp Haida, Alexander Plunkett, Julian Katz, Berta Domènech, Volker Abetz, Kaline P. Furlan, Gerold A. Schneider

Abstract: Additive manufacturing of shape memory polymers has gained tremendous interest in recent years due to their versatile potential applications in various industries, such as biomedicine and aerospace. However, the polymers' mechanical properties, specifically stiffness and strength, often hinder their use in mechanically demanding applications, e.g. as structural materials. In this work we produced… ▽ More Additive manufacturing of shape memory polymers has gained tremendous interest in recent years due to their versatile potential applications in various industries, such as biomedicine and aerospace. However, the polymers' mechanical properties, specifically stiffness and strength, often hinder their use in mechanically demanding applications, e.g. as structural materials. In this work we produced nacre-inspired composites with a covalent adaptable network, which enables fast and mechanically lossless self-healing, reshaping, and shape memory capabilities. We demonstrate a novel direct write 4D-printing strategy to print smart, nacre-inspired, organic-ceramic composites based on alumina platelets and vitrimers with up to 3.3 and 26.7 times higher tensile strength and stiffness, respectively, in comparison to the pristine vitrimer. To the best of our knowledge, we introduce for the first time a single step 4D-printing process for nacre-inspired composites, that exploits suspension spreading to align micron sized alumina platelets along a common plane, and which utilizes solvent evaporation to induce polycondensation of the monomers resulting in a vinylogous urethane vitrimer after extrusion of the suspension. This work presents a facile, direct write 4D-printing strategy at ambient printing conditions, establishing a foundation for adaptive additive manufacturing of smart organic-ceramic composites of interest to various industries. △ Less

Submitted 16 March, 2023; originally announced March 2023.

Online Black-Box Confidence Estimation of Deep Neural Networks

Authors: Fabian Woitschek, Georg Schneider

Abstract: Autonomous driving (AD) and advanced driver assistance systems (ADAS) increasingly utilize deep neural networks (DNNs) for improved perception or planning. Nevertheless, DNNs are quite brittle when the data distribution during inference deviates from the data distribution during training. This represents a challenge when deploying in partly unknown environments like in the case of ADAS. At the sam… ▽ More Autonomous driving (AD) and advanced driver assistance systems (ADAS) increasingly utilize deep neural networks (DNNs) for improved perception or planning. Nevertheless, DNNs are quite brittle when the data distribution during inference deviates from the data distribution during training. This represents a challenge when deploying in partly unknown environments like in the case of ADAS. At the same time, the standard confidence of DNNs remains high even if the classification reliability decreases. This is problematic since following motion control algorithms consider the apparently confident prediction as reliable even though it might be considerably wrong. To reduce this problem real-time capable confidence estimation is required that better aligns with the actual reliability of the DNN classification. Additionally, the need exists for black-box confidence estimation to enable the homogeneous inclusion of externally developed components to an entire system. In this work we explore this use case and introduce the neighborhood confidence (NHC) which estimates the confidence of an arbitrary DNN for classification. The metric can be used for black-box systems since only the top-1 class output is required and does not need access to the gradients, the training dataset or a hold-out validation dataset. Evaluation on different data distributions, including small in-domain distribution shifts, out-of-domain data or adversarial attacks, shows that the NHC performs better or on par with a comparable method for online white-box confidence estimation in low data regimes which is required for real-time capable AD/ADAS. △ Less

Submitted 27 February, 2023; originally announced February 2023.

Journal ref: 2022 IEEE Intelligent Vehicles Symposium (IV), Aachen, Germany, 2022, pp. 183-189

Physical Adversarial Attacks on Deep Neural Networks for Traffic Sign Recognition: A Feasibility Study

Authors: Fabian Woitschek, Georg Schneider

Abstract: Deep Neural Networks (DNNs) are increasingly applied in the real world in safety critical applications like advanced driver assistance systems. An example for such use case is represented by traffic sign recognition systems. At the same time, it is known that current DNNs can be fooled by adversarial attacks, which raises safety concerns if those attacks can be applied under realistic conditions.… ▽ More Deep Neural Networks (DNNs) are increasingly applied in the real world in safety critical applications like advanced driver assistance systems. An example for such use case is represented by traffic sign recognition systems. At the same time, it is known that current DNNs can be fooled by adversarial attacks, which raises safety concerns if those attacks can be applied under realistic conditions. In this work we apply different black-box attack methods to generate perturbations that are applied in the physical environment and can be used to fool systems under different environmental conditions. To the best of our knowledge we are the first to combine a general framework for physical attacks with different black-box attack methods and study the impact of the different methods on the success rate of the attack under the same setting. We show that reliable physical adversarial attacks can be performed with different methods and that it is also possible to reduce the perceptibility of the resulting perturbations. The findings highlight the need for viable defenses of a DNN even in the black-box case, but at the same time form the basis for securing a DNN with methods like adversarial training which utilizes adversarial attacks to augment the original training data. △ Less

Submitted 27 February, 2023; originally announced February 2023.

Journal ref: 2021 IEEE Intelligent Vehicles Symposium (IV), Nagoya, Japan, 2021, pp. 481-487

Towards Audit Requirements for AI-based Systems in Mobility Applications

Authors: Devi Padmavathi Alagarswamy, Christian Berghoff, Vasilios Danos, Fabian Langer, Thora Markert, Georg Schneider, Arndt von Twickel, Fabian Woitschek

Abstract: Various mobility applications like advanced driver assistance systems increasingly utilize artificial intelligence (AI) based functionalities. Typically, deep neural networks (DNNs) are used as these provide the best performance on the challenging perception, prediction or planning tasks that occur in real driving environments. However, current regulations like UNECE R 155 or ISO 26262 do not cons… ▽ More Various mobility applications like advanced driver assistance systems increasingly utilize artificial intelligence (AI) based functionalities. Typically, deep neural networks (DNNs) are used as these provide the best performance on the challenging perception, prediction or planning tasks that occur in real driving environments. However, current regulations like UNECE R 155 or ISO 26262 do not consider AI-related aspects and are only applied to traditional algorithm-based systems. The non-existence of AI-specific standards or norms prevents the practical application and can harm the trust level of users. Hence, it is important to extend existing standardization for security and safety to consider AI-specific challenges and requirements. To take a step towards a suitable regulation we propose 50 technical requirements or best practices that extend existing regulations and address the concrete needs for DNN-based systems. We show the applicability, usefulness and meaningfulness of the proposed requirements by performing an exemplary audit of a DNN-based traffic sign recognition system using three of the proposed requirements. △ Less

Submitted 27 February, 2023; originally announced February 2023.

Comments: To appear in Proceedings of the 9th International Conference on Information Systems Security and Privacy

Journal ref: Proceedings of the 9th International Conference on Information Systems Security and Privacy - ICISSP, pp. 339-348, 2023 , Lisbon, Portugal

Debris Disk Color with the Hubble Space Telescope

Authors: Bin B. Ren, Isabel Rebollido, Élodie Choquet, Wen-Han Zhou, Marshall D. Perrin, Glenn Schneider, Julien Milli, Schuyler G. Wolff, Christine H. Chen, John H. Debes, J. Brendan Hagan, Dean C. Hines, Maxwell A. Millar-Blanchaer, Laurent Pueyo, Aki Roberge, Eugene Serabyn, Rémi Soummer

Abstract: Multi-wavelength scattered light imaging of debris disks may inform dust properties including typical size and mineral composition. Existing studies have investigated a small set of individual systems across a variety of imaging instruments and filters, calling for uniform comparison studies to systematically investigate dust properties. We obtain the surface brightness of dust particles in debris… ▽ More Multi-wavelength scattered light imaging of debris disks may inform dust properties including typical size and mineral composition. Existing studies have investigated a small set of individual systems across a variety of imaging instruments and filters, calling for uniform comparison studies to systematically investigate dust properties. We obtain the surface brightness of dust particles in debris disks by post-processing coronagraphic imaging observations, and compare the multi-wavelength reflectance of dust. For a sample of resolved debris disks, we perform a systematic analysis on the reflectance properties of their birth rings. We reduced the visible and near-infrared images of 23 debris disk systems hosted by A through M stars using two coronagraphs onboard the Hubble Space Telescope: the STIS instrument observations centering at 0.58 $μ$m, and the NICMOS instrument at 1.12 $μ$m or 1.60 $μ$m. For proper recovery of debris disks, we used classical reference differential imaging for STIS, and adopted non-negative matrix factorization with forward modeling for NICMOS. By dividing disk signals by stellar signals to take into account of intrinsic stellar color effects, we systematically obtained and compared the reflectance of debris birth rings at ~90 deg scattering angle. Debris birth rings typically exhibit a blue color at ~90 deg scattering angle. As the stellar luminosity increases, the color tends to be more neutral. A likely L-shaped color-albedo distribution indicates a clustering of scatterer properties. The observed color trend correlates with the expected blow-out size of dust particles. The color-albedo clustering likely suggests different populations of dust in these systems. More detailed radiative transfer models with realistic dust morphology will contribute to explaining the observed color and color-albedo distribution of debris systems. △ Less

Submitted 8 February, 2023; originally announced February 2023.

Comments: 17 pages, 8 figures, 3 tables. A&A accepted

Journal ref: A&A 672, A114 (2023)

Laser: Latent Set Representations for 3D Generative Modeling

Authors: Pol Moreno, Adam R. Kosiorek, Heiko Strathmann, Daniel Zoran, Rosalia G. Schneider, Björn Winckler, Larisa Markeeva, Théophane Weber, Danilo J. Rezende

Abstract: NeRF provides unparalleled fidelity of novel view synthesis: rendering a 3D scene from an arbitrary viewpoint. NeRF requires training on a large number of views that fully cover a scene, which limits its applicability. While these issues can be addressed by learning a prior over scenes in various forms, previous approaches have been either applied to overly simple scenes or struggling to render un… ▽ More NeRF provides unparalleled fidelity of novel view synthesis: rendering a 3D scene from an arbitrary viewpoint. NeRF requires training on a large number of views that fully cover a scene, which limits its applicability. While these issues can be addressed by learning a prior over scenes in various forms, previous approaches have been either applied to overly simple scenes or struggling to render unobserved parts. We introduce Laser-NV: a generative model which achieves high modelling capacity, and which is based on a set-valued latent representation modelled by normalizing flows. Similarly to previous amortized approaches, Laser-NV learns structure from multiple scenes and is capable of fast, feed-forward inference from few views. To encourage higher rendering fidelity and consistency with observed views, Laser-NV further incorporates a geometry-informed attention mechanism over the observed views. Laser-NV further produces diverse and plausible completions of occluded parts of a scene while remaining consistent with observations. Laser-NV shows state-of-the-art novel-view synthesis quality when evaluated on ShapeNet and on a novel simulated City dataset, which features high uncertainty in the unobserved regions of the scene. △ Less

Submitted 13 January, 2023; originally announced January 2023.

Comments: See https://laser-nv-paper.github.io/ for video results

Diffusive stability and self-similar decay for the harmonic map heat flow

Authors: Tobias Lamm, Guido Schneider

Abstract: In this paper we study the harmonic map heat flow on the euclidean space $\mathbb{R}^d$ and we show an unconditional uniqueness result for maps with small initial data in the homogeneous Besov space $\dot{B}^{\frac{d}{p}}_{p,\infty}(\mathbb{R}^d)$ where $d<p<\infty$. As a consequence we obtain decay rates for solutions of the harmonic map flow of the form… ▽ More In this paper we study the harmonic map heat flow on the euclidean space $\mathbb{R}^d$ and we show an unconditional uniqueness result for maps with small initial data in the homogeneous Besov space $\dot{B}^{\frac{d}{p}}_{p,\infty}(\mathbb{R}^d)$ where $d<p<\infty$. As a consequence we obtain decay rates for solutions of the harmonic map flow of the form $\|\nabla u(t) \|_{L^\infty(\mathbb{R}^d)}\leq Ct^{-\frac12}$. Additionally, under the assumption of a stronger spatial localization of the initial conditions, we show that the temporal decay happens in a self-similar way. We also explain that similar results hold for the biharmonic map heat flow and the semilinear heat equation with a power-type nonlinearity. △ Less

Submitted 5 January, 2023; originally announced January 2023.

Comments: 20 pages

Pattern formation in 2d stochastic anisotropic Swift-Hohenberg equation

Authors: Reika Fukuizumi, Yueyuan Gao, Guido Schneider, Motomitsu Takahashi

Abstract: In this paper, we study a phenomenological model for pattern formation in electroconvection, and the effect of noise on the pattern. As such model we consider an anisotropic Swift-Hohenberg equation adding an additive noise. We prove the existence of a global solution of that equation on the two dimensional torus. In addition, inserting a scaling parameter, we consider the equation on a large doma… ▽ More In this paper, we study a phenomenological model for pattern formation in electroconvection, and the effect of noise on the pattern. As such model we consider an anisotropic Swift-Hohenberg equation adding an additive noise. We prove the existence of a global solution of that equation on the two dimensional torus. In addition, inserting a scaling parameter, we consider the equation on a large domain near its change of stability. We observe numerically that, under the appropriate scaling, its solutions can be approximated by a periodic wave, which is modulated by the solutions to a stochastic Ginzburg-Landau equation. △ Less

Submitted 2 December, 2022; originally announced December 2022.

Comments: 24 pages, 8 figures

MSC Class: 35A01; 35R60; 92C15

Scaling Native Language Identification with Transformer Adapters

Authors: Ahmet Yavuz Uluslu, Gerold Schneider

Abstract: Native language identification (NLI) is the task of automatically identifying the native language (L1) of an individual based on their language production in a learned language. It is useful for a variety of purposes including marketing, security and educational applications. NLI is usually framed as a multi-label classification task, where numerous designed features are combined to achieve state-… ▽ More Native language identification (NLI) is the task of automatically identifying the native language (L1) of an individual based on their language production in a learned language. It is useful for a variety of purposes including marketing, security and educational applications. NLI is usually framed as a multi-label classification task, where numerous designed features are combined to achieve state-of-the-art results. Recently deep generative approach based on transformer decoders (GPT-2) outperformed its counterparts and achieved the best results on the NLI benchmark datasets. We investigate this approach to determine the practical implications compared to traditional state-of-the-art NLI systems. We introduce transformer adapters to address memory limitations and improve training/inference speed to scale NLI applications for production. △ Less

Submitted 18 November, 2022; originally announced November 2022.

Comments: Paper accepted to International Conference on Natural Language and Speech Processing 2022 (ICNLSP 2022)

Breather solutions for a semilinear Klein-Gordon equation on a periodic metric graph

Authors: Daniela Maier, Wolfgang Reichel, Guido Schneider

Abstract: We consider the nonlinear Klein-Gordon equation $\partial_t^2u(x,t)-\partial_x^2u(x,t)+αu(x,t)=\pm|u(x,t)|^{p-1}u(x,t)$ on a periodic metric graph (necklace graph) for $p>1$ with Kirchhoff conditions at the vertices. Under suitable assumptions on the frequency we prove the existence and regularity of infinitely many spatially localized time-periodic solutions (breathers) by variational methods. We… ▽ More We consider the nonlinear Klein-Gordon equation $\partial_t^2u(x,t)-\partial_x^2u(x,t)+αu(x,t)=\pm|u(x,t)|^{p-1}u(x,t)$ on a periodic metric graph (necklace graph) for $p>1$ with Kirchhoff conditions at the vertices. Under suitable assumptions on the frequency we prove the existence and regularity of infinitely many spatially localized time-periodic solutions (breathers) by variational methods. We compare our results with previous results obtained via spatial dynamics and center manifold techniques. Moreover, we deduce regularity properties of the solutions and show that they are weak solutions of the corresponding initial value problem. Our approach relies on the existence of critical points for indefinite functionals, the concentration compactness principle, and the proper set-up of a functional analytic framework. Compared to earlier work for breathers using variational techniques, a major improvement of embedding properties has been achieved. This allows in particular to avoid all restrictions on the exponent $p>1$ and to achieve higher regularity. △ Less

Submitted 15 November, 2022; originally announced November 2022.

MSC Class: Primary: 35L71; 49J35; Secondary: 35B10; 34L05

The Unpolarized and Polarized Single-Mass Three-Loop Heavy Flavor Operator Matrix Elements $A_{gg,Q}$ and $ΔA_{gg,Q}$

Authors: J. Ablinger, A. Behring, J. Blümlein, A. De Freitas, A. Goedicke A. von Manteuffel C. Schneider, K. Schönwald

Abstract: We calculate the gluonic massive operator matrix elements in the unpolarized and polarized cases, $A_{gg,Q}(x,μ^2)$ and $ΔA_{gg,Q}(x,μ^2)$, at three-loop order for a single mass. These quantities contribute to the matching of the gluon distribution in the variable flavor number scheme. The polarized operator matrix element is calculated in the Larin scheme. These operator matrix elements contain f… ▽ More We calculate the gluonic massive operator matrix elements in the unpolarized and polarized cases, $A_{gg,Q}(x,μ^2)$ and $ΔA_{gg,Q}(x,μ^2)$, at three-loop order for a single mass. These quantities contribute to the matching of the gluon distribution in the variable flavor number scheme. The polarized operator matrix element is calculated in the Larin scheme. These operator matrix elements contain finite binomial and inverse binomial sums in Mellin $N$-space and iterated integrals over square root-valued alphabets in momentum fraction $x$-space. We derive the necessary analytic relations for the analytic continuation of these quantities from the even or odd Mellin moments into the complex plane, present analytic expressions in momentum fraction $x$-space and derive numerical results. The present results complete the gluon transition matrix elements both of the single- and double-mass variable flavor number scheme to three-loop order. △ Less

Submitted 10 November, 2022; originally announced November 2022.

Comments: 48 p LATEX, 4 figures

Report number: DESY 15-112, DO-TH 22/26, CERN-TH-2022-179, ZU-TH 53/22, RISC Report Series 22-25, MSUHEP-22-036

Structure-based drug design with geometric deep learning

Authors: Clemens Isert, Kenneth Atz, Gisbert Schneider

Abstract: Structure-based drug design uses three-dimensional geometric information of macromolecules, such as proteins or nucleic acids, to identify suitable ligands. Geometric deep learning, an emerging concept of neural-network-based machine learning, has been applied to macromolecular structures. This review provides an overview of the recent applications of geometric deep learning in bioorganic and medi… ▽ More Structure-based drug design uses three-dimensional geometric information of macromolecules, such as proteins or nucleic acids, to identify suitable ligands. Geometric deep learning, an emerging concept of neural-network-based machine learning, has been applied to macromolecular structures. This review provides an overview of the recent applications of geometric deep learning in bioorganic and medicinal chemistry, highlighting its potential for structure-based drug discovery and design. Emphasis is placed on molecular property prediction, ligand binding site and pose prediction, and structure-based de novo molecular design. The current challenges and opportunities are highlighted, and a forecast of the future of geometric deep learning for drug discovery is presented. △ Less

Submitted 19 October, 2022; originally announced October 2022.

Hypothesis Engineering for Zero-Shot Hate Speech Detection

Authors: Janis Goldzycher, Gerold Schneider

Abstract: Standard approaches to hate speech detection rely on sufficient available hate speech annotations. Extending previous work that repurposes natural language inference (NLI) models for zero-shot text classification, we propose a simple approach that combines multiple hypotheses to improve English NLI-based zero-shot hate speech detection. We first conduct an error analysis for vanilla NLI-based zero… ▽ More Standard approaches to hate speech detection rely on sufficient available hate speech annotations. Extending previous work that repurposes natural language inference (NLI) models for zero-shot text classification, we propose a simple approach that combines multiple hypotheses to improve English NLI-based zero-shot hate speech detection. We first conduct an error analysis for vanilla NLI-based zero-shot hate speech detection and then develop four strategies based on this analysis. The strategies use multiple hypotheses to predict various aspects of an input text and combine these predictions into a final verdict. We find that the zero-shot baseline used for the initial error analysis already outperforms commercial systems and fine-tuned BERT-based hate speech detection models on HateCheck. The combination of the proposed strategies further increases the zero-shot accuracy of 79.4% on HateCheck by 7.9 percentage points (pp), and the accuracy of 69.6% on ETHOS by 10.0pp. △ Less

Submitted 3 October, 2022; originally announced October 2022.

Comments: Third Workshop on Threat, Aggression and Cyberbullying (COLING 2022)

The JWST Early Release Science Program for Direct Observations of Exoplanetary Systems I: High Contrast Imaging of the Exoplanet HIP 65426 b from 2-16 $μ$m

Authors: Aarynn L. Carter, Sasha Hinkley, Jens Kammerer, Andrew Skemer, Beth A. Biller, Jarron M. Leisenring, Maxwell A. Millar-Blanchaer, Simon Petrus, Jordan M. Stone, Kimberly Ward-Duong, Jason J. Wang, Julien H. Girard, Dean C. Hines, Marshall D. Perrin, Laurent Pueyo, William O. Balmer, Mariangela Bonavita, Mickael Bonnefoy, Gael Chauvin, Elodie Choquet, Valentin Christiaens, Camilla Danielski, Grant M. Kennedy, Elisabeth C. Matthews, Brittany E. Miles , et al. (86 additional authors not shown)

Abstract: We present JWST Early Release Science (ERS) coronagraphic observations of the super-Jupiter exoplanet, HIP 65426 b, with the Near-Infrared Camera (NIRCam) from 2-5 $μ$m, and with the Mid-Infrared Instrument (MIRI) from 11-16 $μ$m. At a separation of $\sim$0.82" (86$^{+116}_{-31}$ au), HIP 65426 b is clearly detected in all seven of our observational filters, representing the first images of an exo… ▽ More We present JWST Early Release Science (ERS) coronagraphic observations of the super-Jupiter exoplanet, HIP 65426 b, with the Near-Infrared Camera (NIRCam) from 2-5 $μ$m, and with the Mid-Infrared Instrument (MIRI) from 11-16 $μ$m. At a separation of $\sim$0.82" (86$^{+116}_{-31}$ au), HIP 65426 b is clearly detected in all seven of our observational filters, representing the first images of an exoplanet to be obtained by JWST, and the first ever direct detection of an exoplanet beyond 5 $μ$m. These observations demonstrate that JWST is exceeding its nominal predicted performance by up to a factor of 10, depending on separation and subtraction method, with measured 5$σ$ contrast limits of $\sim$1$\times10^{-5}$ and $\sim$2$\times10^{-4}$ at 1" for NIRCam at 4.4 $μ$m and MIRI at 11.3 $μ$m, respectively. These contrast limits provide sensitivity to sub-Jupiter companions with masses as low as 0.3$M_\mathrm{Jup}$ beyond separations of $\sim$100 au. Together with existing ground-based near-infrared data, the JWST photometry are well fit by a BT-SETTL atmospheric model from 1-16 $μ$m, and span $\sim$97% of HIP 65426 b's luminous range. Independent of the choice of model atmosphere we measure an empirical bolometric luminosity that is tightly constrained between $\mathrm{log}\!\left(L_\mathrm{bol}/L_{\odot}\right)$=-4.31 to $-$4.14, which in turn provides a robust mass constraint of 7.1$\pm$1.2 $M_\mathrm{Jup}$. In totality, these observations confirm that JWST presents a powerful and exciting opportunity to characterise the population of exoplanets amenable to high-contrast imaging in greater detail. △ Less

Submitted 3 May, 2023; v1 submitted 31 August, 2022; originally announced August 2022.

Comments: 35 pages, 16 figures, 4 tables, 1 wonderful telescope; Submitted to AAS Journals

Spotlight on nerves: Portable multispectral optoacoustic imaging of peripheral nerve vascularization and morphology

Authors: Dominik Jüstel, Hedwig Irl, Florian Hinterwimmer, Christoph Dehner, Walter Simson, Nassir Navab, Gerhard Schneider, Vasilis Ntziachristos

Abstract: Various morphological and functional parameters of peripheral nerves and their vascular supply are indicative of pathological changes due to injury or disease. Based on recent improvements in optoacoustic image quality, we explore the ability of multispectral optoacoustic tomography, in tandem with ultrasound imaging (OPUS), to investigate the vascular environment and morphology of peripheral nerv… ▽ More Various morphological and functional parameters of peripheral nerves and their vascular supply are indicative of pathological changes due to injury or disease. Based on recent improvements in optoacoustic image quality, we explore the ability of multispectral optoacoustic tomography, in tandem with ultrasound imaging (OPUS), to investigate the vascular environment and morphology of peripheral nerves in vivo in a pilot study on healthy volunteers. We showcase the unique ability of optoacoustic imaging to visualize the vasa nervorum by observing intraneurial vessels in healthy nerves in vivo for the first time. In addition, we demonstrate that the label-free spectral optoacoustic contrast of the perfused connective tissue of peripheral nerves can be linked to the endogenous contrast of haemoglobin and collagen. We introduce metrics to analyze the composition of tissue based on its optoacoustic contrast and show that the high-resolution spectral contrast reveals specific differences between nervous tissue and reference tissue in the nerve's surrounding. We discuss how this showcased extraction of peripheral nerve characteristics using multispectral optoacoustic and ultrasound imaging can offer new insights into the pathophysiology of nerve damage and neuropathies, for example, in the context of diabetes. △ Less

Submitted 28 July, 2022; originally announced July 2022.

KP-II approximation for a scalar FPU system on a 2D square lattice

Authors: Dmitry E. Pelinovsky, Guido Schneider

Abstract: We consider a scalar Fermi-Pasta-Ulam (FPU) system on a square 2D lattice. The Kadomtsev-Petviashvili (KP-II) equation can be derived by means of multiple scale expansions to describe unidirectional long waves of small amplitude with slowly varying transverse modulations. We show that the KP-II approximation makes correct predictions about the dynamics of the original scalar FPU system. An existin… ▽ More We consider a scalar Fermi-Pasta-Ulam (FPU) system on a square 2D lattice. The Kadomtsev-Petviashvili (KP-II) equation can be derived by means of multiple scale expansions to describe unidirectional long waves of small amplitude with slowly varying transverse modulations. We show that the KP-II approximation makes correct predictions about the dynamics of the original scalar FPU system. An existing approximation result is extended to an arbitrary direction of wave propagation. The main novelty of this work is the use of Fourier transform in the analysis of the FPU system in strain variables. △ Less

Submitted 20 July, 2022; originally announced July 2022.

Comments: 20 pages; 2 figures;

Machine learning-based mass density model for hard magnetic 14:2:1 phases using chemical composition-based features

Authors: Anoop Kini, Amit Kumar Choudhary, Dominic Hohs, Andreas Jansche, Hermann Baumgartl, Ricardo Buettner, Timo Bernthaler, Dagmar Goll, Gerhard Schneider

Abstract: The Fe14Nd2B-based permanent magnets are technologically sought-after for energy conversion due to their unparalleled high energy product (520 kJ/m3). For such 14:2:1 phases of different compositions, determining the magnetization from the measured magnetic moment is often bottlenecked by lack of mass density. We present a machine learning (ML) mass density model for 14:2:1 phases using chemical c… ▽ More The Fe14Nd2B-based permanent magnets are technologically sought-after for energy conversion due to their unparalleled high energy product (520 kJ/m3). For such 14:2:1 phases of different compositions, determining the magnetization from the measured magnetic moment is often bottlenecked by lack of mass density. We present a machine learning (ML) mass density model for 14:2:1 phases using chemical composition-based features (representing 33 elements) and optionally lattice parameter (LP) features. The datasets for training and testing contain 190 phases (177 compositionally different) with their literature reported densities and LP. With an ML model with merely compositional features, we achieved a low mean-absolute-error of 0.51% on an unseen test-dataset. △ Less

Submitted 1 July, 2022; originally announced July 2022.

Comments: 16 pages, 4 figures

ALMA Images the Eccentric HD 53143 Debris Disk

Authors: Meredith A. MacGregor, Spencer A. Hurt, Christopher C. Stark, Ward S. Howard, Alycia J. Weinberger, Bin Ren, Glenn Schneider, Elodie Choquet, Dmitri Mawet

Abstract: We present ALMA 1.3 mm observations of the HD~53143 debris disk - the first infrared or millimeter image produced of this ~1 Gyr-old solar-analogue. Previous HST STIS coronagraphic imaging did not detect flux along the minor axis of the disk which could suggest a face-on geometry with two 'clumps' of dust. These ALMA observations reveal a disk with a strikingly different structure. In order to fit… ▽ More We present ALMA 1.3 mm observations of the HD~53143 debris disk - the first infrared or millimeter image produced of this ~1 Gyr-old solar-analogue. Previous HST STIS coronagraphic imaging did not detect flux along the minor axis of the disk which could suggest a face-on geometry with two 'clumps' of dust. These ALMA observations reveal a disk with a strikingly different structure. In order to fit models to the millimeter visibilities and constrain the uncertainties on the disk parameters, we adopt an MCMC approach. This is the most eccentric debris disk observed to date with a forced eccentricity of $0.21\pm0.02$, nearly twice that of the Fomalhaut debris disk, and also displays apocenter glow. Although this eccentric model fits the outer debris disk well, there are significant interior residuals remaining that may suggest a possible edge-on inner disk, which remains unresolved in these observations. Combined with the observed structure difference between HST and ALMA, these results suggest a potential previous scattering event or dynamical instability in this system. We also note that the stellar flux changes considerably over the course of our observations, suggesting flaring at millimeter wavelengths. Using simultaneous TESS observations, we determine the stellar rotation period to be $9.6\pm0.1$ days. △ Less

Submitted 12 June, 2022; originally announced June 2022.

Comments: 9 pages, 3 figures, 2 tables, published in ApJ Letters

The JWST Early Release Science Program for the Direct Imaging & Spectroscopy of Exoplanetary Systems

Authors: Sasha Hinkley, Aarynn L. Carter, Shrishmoy Ray, Andrew Skemer, Beth Biller, Elodie Choquet, Maxwell A. Millar-Blanchaer, Stephanie Sallum, Brittany Miles, Niall Whiteford, Polychronis Patapis, Marshall D. Perrin, Laurent Pueyo, Glenn Schneider, Karl Stapelfeldt, Jason Wang, Kimberly Ward-Duong, Brendan P. Bowler, Anthony Boccaletti, Julien H. Girard, Dean Hines, Paul Kalas, Jens Kammerer, Pierre Kervella, Jarron Leisenring , et al. (61 additional authors not shown)

Abstract: The direct characterization of exoplanetary systems with high contrast imaging is among the highest priorities for the broader exoplanet community. As large space missions will be necessary for detecting and characterizing exo-Earth twins, developing the techniques and technology for direct imaging of exoplanets is a driving focus for the community. For the first time, JWST will directly observe e… ▽ More The direct characterization of exoplanetary systems with high contrast imaging is among the highest priorities for the broader exoplanet community. As large space missions will be necessary for detecting and characterizing exo-Earth twins, developing the techniques and technology for direct imaging of exoplanets is a driving focus for the community. For the first time, JWST will directly observe extrasolar planets at mid-infrared wavelengths beyond 5$μ$m, deliver detailed spectroscopy revealing much more precise chemical abundances and atmospheric conditions, and provide sensitivity to analogs of our solar system ice-giant planets at wide orbital separations, an entirely new class of exoplanet. However, in order to maximise the scientific output over the lifetime of the mission, an exquisite understanding of the instrumental performance of JWST is needed as early in the mission as possible. In this paper, we describe our 55-hour Early Release Science Program that will utilize all four JWST instruments to extend the characterisation of planetary mass companions to $\sim$15$μ$m as well as image a circumstellar disk in the mid-infrared with unprecedented sensitivity. Our program will also assess the performance of the observatory in the key modes expected to be commonly used for exoplanet direct imaging and spectroscopy, optimize data calibration and processing, and generate representative datasets that will enable a broad user base to effectively plan for general observing programs in future cycles. △ Less

Submitted 12 September, 2022; v1 submitted 25 May, 2022; originally announced May 2022.

Comments: 21 pages, 7 figures. Accepted for Publication in PASP

Semigroups of straight left inverse quotients

Authors: Victoria Gould, Georgia Schneider

Abstract: Let $Q$ be an inverse semigroup. A subsemigroup $S$ of $Q$ is a left I-order in $Q$ and $Q$ is a semigroup of left I-quotients of $S$ if every element in $Q$ can be written as $a^{-1}b$, where $a, b \in S$ and $a^{-1}$ is the inverse of $a$ in the sense of inverse semigroup theory. If we insist on being able to take $a$ and $b$ to be $\mathcal{R}$-related in $Q$ we say that $S$ is straight in $Q$… ▽ More Let $Q$ be an inverse semigroup. A subsemigroup $S$ of $Q$ is a left I-order in $Q$ and $Q$ is a semigroup of left I-quotients of $S$ if every element in $Q$ can be written as $a^{-1}b$, where $a, b \in S$ and $a^{-1}$ is the inverse of $a$ in the sense of inverse semigroup theory. If we insist on being able to take $a$ and $b$ to be $\mathcal{R}$-related in $Q$ we say that $S$ is straight in $Q$ and $Q$ is a semigroup of straight left I-quotients of $S$. We give a set of necessary and sufficient conditions for a semigroup to be a straight left I-order. The conditions are in terms of two binary relations, corresponding to the potential restrictions of $\mathcal{R}$ and $\mathcal{L}$ from an oversemigroup, and an associated partial order. Our approach relies on the meet structure of the $\mathcal{L}$ of inverse semigroups. We prove that every finite left I-order is straight and give an example of a left I-order which is not straight. △ Less

Submitted 3 May, 2022; originally announced May 2022.

Comments: 30 pages

Images of Embedded Jovian Planet Formation At A Wide Separation Around AB Aurigae

Authors: Thayne Currie, Kellen Lawson, Glenn Schneider, Wladimir Lyra, John Wisniewski, Carol Grady, Olivier Guyon, Motohide Tamura, Takayuki Kotani, Hajime Kawahara, Timothy Brandt, Taichi Uyama, Takayuki Muto, Ruobing Dong, Tomoyuki Kudo, Jun Hashimoto, Misato Fukagawa, Kevin Wagner, Julien Lozi, Jeffrey Chilcote, Taylor Tobin, Tyler Groff, Kimberly Ward-Duong, William Januszewski, Barnaby Norris , et al. (8 additional authors not shown)

Abstract: Direct images of protoplanets embedded in disks around infant stars provide the key to understanding the formation of gas giant planets like Jupiter. Using the Subaru Telescope and Hubble Space Telescope, we find evidence for a jovian protoplanet around AB Aurigae orbiting at a wide projected separation (93 au), likely responsible for multiple planet-induced features in the disk. Its emission is r… ▽ More Direct images of protoplanets embedded in disks around infant stars provide the key to understanding the formation of gas giant planets like Jupiter. Using the Subaru Telescope and Hubble Space Telescope, we find evidence for a jovian protoplanet around AB Aurigae orbiting at a wide projected separation (93 au), likely responsible for multiple planet-induced features in the disk. Its emission is reproducible as reprocessed radiation from an embedded protoplanet. We also identify two structures located at 430-580 au that are candidate sites of planet formation. These data reveal planet formation in the embedded phase and a protoplanet discovery at wide, > 50 au separations characteristic of most imaged exoplanets. With at least one clump-like protoplanet and multiple spiral arms, the AB Aur system may also provide the evidence for a long-considered alternative to the canonical model for Jupiter's formation: disk (gravitational) instability. △ Less

Submitted 1 April, 2022; originally announced April 2022.

Comments: Author's personal version: 19 pages, 5 Figures, 1 Table; 32 Supplementary pages, 18 Supplementary Figures, 1 Supplementary Table; Accepted for Publication in Nature Astronomy. Published version: https://www.nature.com/articles/s41550-022-01634-x