title: Dipole-laser coupling delay in two-color (RABBITT) photoionization of polar molecules

abstract: We study theoretically the reconstruction of attosecond beating by interference of two-photon transitions (RABBITT) in strongly polar molecules. The time-dependent energy of a polar molecule in the infrared (IR) field gives rise to an additional dipole-laser coupling contribution to the sideband delay. In a time-independent picture this translates to the initial state becoming a linear combination of IR-dressed states. We extend the recently developed time-independent molecular R-matrix method to include the additional interfering ionization pathways arising from the IR-dressed initial state and obtain very good agreement with a reference non-perturbative time-dependent RABBITT simulation. We discuss the asymptotic behaviour of such ionization amplitudes and recover a known approximate asymptotic formula for the dipole-laser coupling delay derived earlier in the context of attosecond streaking. At low photon energies the dipole-laser coupling contributes significantly even in an unoriented molecular sample. Finally, we show that in photodetachment of polar singly charged negative ions the sideband delay is asymptotically proportional only to Wigner delay.


title: Virtual Inertia Scheduling for Power Systems with High Penetration of Inverter-based Resources

abstract: This paper proposes a new concept called virtual inertia scheduling (VIS) to efficiently handle the high penetration of inverter-based resources (IBRs). VIS is an inertia management framework that targets security-constrained and economy-oriented inertia scheduling and generation dispatch of power systems with a large scale of renewable generations. Specifically, it schedules the proper power setting points and reserved capacities of both synchronous generators and IBRs, as well as the control modes and control parameters of IBRs to provide secure and cost-effective inertia support. First, a uniform system model is employed to quantify the frequency dynamics of the IBRs-penetrated power system after disturbances. Based on the model, the s-domain and time-domain analytical responses of IBRs with inertia support capability are derived. Then, VIS-based real-time economic dispatch (VIS-RTED) is formulated to minimize generation and reserve costs, with a full consideration of dynamic frequency constraints and derived inertia support reserve constraints. The virtual inertia and damping of IBRs are formulated as decision variables. To address the non-linearity of dynamic constraints, deep learning-assisted linearization is employed to solve the optimization problem. Finally, the proposed VIS-RTED is demonstrated on a modified IEEE 39-bus system. A full-order time-domain simulation is performed to verify the scheduling results.


title: Finite Sample Guarantees for Distributed Online Parameter Estimation with Communication Costs

abstract: We study the problem of estimating an unknown parameter in a distributed and online manner. Existing work on distributed online learning typically either focuses on asymptotic analysis, or provides bounds on regret. However, these results may not directly translate into bounds on the error of the learned model after a finite number of time-steps. In this paper, we propose a distributed online estimation algorithm which enables each agent in a network to improve its estimation accuracy by communicating with neighbors. We provide non-asymptotic bounds on the estimation error, leveraging the statistical properties of the underlying model. Our analysis demonstrates a trade-off between estimation error and communication costs. Further, our analysis allows us to determine a time at which the communication can be stopped (due to the costs associated with communications), while meeting a desired estimation accuracy. We also provide a numerical example to validate our results.


title: Rule-adhering synthetic data -- the lingua franca of learning

abstract: AI-generated synthetic data allows to distill the general patterns of existing data, that can then be shared safely as granular-level representative, yet novel data samples within the original semantics. In this work we explore approaches of incorporating domain expertise into the data synthesis, to have the statistical properties as well as pre-existing domain knowledge of rules be represented. The resulting synthetic data generator, that can be probed for any number of new samples, can then serve as a common source of intelligence, as a lingua franca of learning, consumable by humans and machines alike. We demonstrate the concept for a publicly available data set, and evaluate its benefits via descriptive analysis as well as a downstream ML model.


title: Geometric albedos at short optical wavelengths for the hot Jupiters WASP-43b, WASP-103b, and TrES-3b

abstract: The largest and most close-in exoplanets would reflect enough star light to enable its ground-based photometric detection under the condition of a high to moderate albedo. We present the results of an observing campaign of secondary eclipse light curves of three of the most suitable exoplanet targets, WASP-43b, WASP-103b, and TrES-3b. The observations were conducted with meter-sized telescopes in the blue optical broadband filters Johnson B and Johnson V. We do not detect a photometric dimming at the moment of the eclipse, and derive a best-fit eclipse depth by an injection-recovery test. These depth values are then used to infer low geometric albedos ranging from zero to 0.18 with an uncertainty of 0.12 or better in most cases. This work illustrates the potential of ground-based telescopes to provide wavelength-resolved reflection properties of selected exoplanets even at short optical wavelengths, which otherwise are only accessible by the Hubble Space Telescope.


title: A Benchmark and a Baseline for Robust Multi-view Depth Estimation

abstract: Recent deep learning approaches for multi-view depth estimation are employed either in a depth-from-video or a multi-view stereo setting. Despite different settings, these approaches are technically similar: they correlate multiple source views with a keyview to estimate a depth map for the keyview. In this work, we introduce the Robust Multi-View Depth Benchmark that is built upon a set of public datasets and allows evaluation in both settings on data from different domains. We evaluate recent approaches and find imbalanced performances across domains. Further, we consider a third setting, where camera poses are available and the objective is to estimate the corresponding depth maps with their correct scale. We show that recent approaches do not generalize across datasets in this setting. This is because their cost volume output runs out of distribution. To resolve this, we present the Robust MVD Baseline model for multi-view depth estimation, which is built upon existing components but employs a novel scale augmentation procedure. It can be applied for robust multi-view depth estimation, independent of the target data. We provide code for the proposed benchmark and baseline model at https://github.com/lmb-freiburg/robustmvd.


title: scatteR: Generating instance space based on scagnostics

abstract: Traditional synthetic data generation methods rely on model-based approaches that tune the parameters of a model rather than focusing on the structure of the data itself. In contrast, Scagnostics is an exploratory graphical method that captures the structure of bivariate data using graph-theoretic measures. This paper presents a novel data generation method, scatteR, that uses Scagnostics measurements to control the characteristics of the generated dataset. By using an iterative Generalized Simulated Annealing optimizer, scatteR finds the optimal arrangement of data points that minimizes the distance between current and target Scagnostics measurements. The results demonstrate that scatteR can generate 50 data points in under 30 seconds with an average Root Mean Squared Error of 0.05, making it a useful pedagogical tool for teaching statistical methods. Overall, scatteR provides an entry point for generating datasets based on the characteristics of instance space, rather than relying on model-based simulations.


title: Critical Gaussian Multiplicative Chaos revisited

abstract: We present new, short and self-contained proofs of the convergence (with an adequate renormalization) of four different sequences to the critical Gaussian Multiplicative Chaos:(a) the derivative martingale (b) the critical martingale (c) the exponential of the mollified field (d) the subcritical Gaussian Multiplicative Chaos.


title: Distributed Event-Triggered Leader-Follower Consensus of Nonlinear Multi-Agent Systems

abstract: We consider the distributed leader-follower consensus problem with event-triggered communications. The system under consideration is a non-linear input-affine multi agent system. The agents are assumed to have identical dynamics structure with uncertain parameters and satisfying an incremental stabilisability condition. A distributed control law is proposed which achieves consensus based on two novel Communication Triggering Conditions (CTCs): the first one to achieve an asymptotic consensus but without any guarantees on Zeno behaviour and the second one to exclude Zeno behaviour but with practical consensus.


title: Relativistic Topological Waves from Cherenkov and Doppler Resonances in Self-Magnetized Laser Plasmas

abstract: Strong magnetic fields at plasma-plasma interfaces can be naturally produced in laser-plasma interactions. Using theoretical analysis and fully three-dimensional particle-in-cell simulations, we demonstrate that relativistic topological waves can be generated via Cherenkov and Doppler resonances in the interaction of intense femtosecond laser pulses with near-critical-density plasmas. At the self-magnetized plasma-plasma interface, a new slow-wave branch appears. Its phase velocity is much smaller than the group velocity of the laser pulse and the electron beam velocity. Therefore, the Cherenkov resonance condition can be easily satisfied. Furthermore, since electrons undergo betatron oscillations, Doppler resonances may also occur and are responsible for the excitation of several frequency-shifted branches observed in our simulations. After the passage of the laser pulse, we observe a fast remnant mode with relativistic amplitude and frequency close to the local plasma frequency. This mode continues to accelerate electrons further for many tens of laser periods even after the laser pulse has left the plasma.


title: Symmetry-dependent antiferromagnetic proximity effects on valley splitting

abstract: Various physical phenomena have been discovered by tuning degrees of freedom, among which there is the degree of freedom (DOF) -- "valley". The typical valley materials are characterized by two degenerate valley states protected by time-reversal symmetry (TS). These states indexed by valley DOF have been measured and manipulated for emergent valley-contrasting physics with the broken valley degeneracy. To achieve the valley splitting resulted from TS breaking, previous studies mainly focused on magnetic proximity effect provided by ferromagnetic (FM) layer. Nevertheless, the anti-ferromagnetic (AFM) proximity effect on the valley degeneracy has never been investigated systematically. In this work, we construct the composites consisting of a transitionmetal dichalcogenide (TMD) monolayer and a proximity layer with specific intra-plane AFM configurations. We extend the three-band model to describe the valley states of such systems. It is shown that either "time-reversal + fractional translation" or "mirror" symmetry has been proved to protect valley degeneracy. Additionally, first-principles calculations based on density functional theory (DFT) have been performed to verify the results obtained from the extended tight-binding (TB) model. The TB method introduced in the present work can properly describe the low-energy physics of valley materials that couple to the proximity with complex magnetic configurations. The results expand the range of qualified proximity layers for valley splitting, enabling more flexible manipulation of valley degree.


title: How people talk about each other: Modeling Generalized Intergroup Bias and Emotion

abstract: Current studies of bias in NLP rely mainly on identifying (unwanted or negative) bias towards a specific demographic group. While this has led to progress recognizing and mitigating negative bias, and having a clear notion of the targeted group is necessary, it is not always practical. In this work we extrapolate to a broader notion of bias, rooted in social science and psychology literature. We move towards predicting interpersonal group relationship (IGR) - modeling the relationship between the speaker and the target in an utterance - using fine-grained interpersonal emotions as an anchor. We build and release a dataset of English tweets by US Congress members annotated for interpersonal emotion -- the first of its kind, and 'found supervision' for IGR labels; our analyses show that subtle emotional signals are indicative of different biases. While humans can perform better than chance at identifying IGR given an utterance, we show that neural models perform much better; furthermore, a shared encoding between IGR and interpersonal perceived emotion enabled performance gains in both tasks. Data and code for this paper are available at https://github.com/venkatasg/interpersonal-bias


title: A proof of a conjecture by Monin and Rana on equations defining $\bar{M}_{0,n}$

abstract: Monin and Rana conjectured a set of equations defining the image of the moduli space $\bar{M}_{0,n}$ under an embedding into $\mathbb{P}^1\times \cdots\times \mathbb{P}^{n-3}$ due to Keel and Tevelev and verified the conjecture for $n\leq 8$ using Macaulay2. We prove this conjecture for all $n$.


title: A Newman type bound for $L_p[-1,1]$-means of the logarithmic derivative of polynomials having all zeros on the unit circle

abstract: Let $g_n$, $n=1,2,\dots$, be the logarithmic derivative of a complex polynomial having all zeros on the unit circle, i.e., a function of the form $g_n(z)=(z-z_{1})^{-1}+\dots+(z-z_{n})^{-1}$, $|z_1|=\dots=|z_n|=1$. For any $p>0$, we establish the bound \[\int_{-1}^1 |g_n(x)|^p\, dx>C_p\, n^{p-1},\] sharp in the order of the quantity $n$, where $C_p>0$ is a constant, depending only on $p$. The particular case $p=1$ of this inequality can be considered as a stronger variant of the well-known estimate $\iint_{|z|<1} |g_n(z)|\,dxdy>c>0$ for the area integral of $g_n$, obtained by D.J. Newman (1972). The result also shows that the set $\{g_n\}$ is not dense in the spaces $L_p[-1,1]$, $p\ge 1$.


title: Longitudinally resolved measurement of energy-transfer efficiency in a plasma-wakefield accelerator

abstract: Energy-transfer efficiency is an important quantity in plasma-wakefield acceleration, especially for applications that demand high average power. Conventionally, the efficiency is measured using an electron spectrometer; an invasive method that provides an energy-transfer efficiency averaged over the full length of the plasma accelerator. Here, we experimentally demonstrate a novel diagnostic utilizing the excess light emitted by the plasma after a beam-plasma interaction, which yields noninvasive, longitudinally resolved measurements of the local energy-transfer efficiency from the wake to the accelerated bunch; here, as high as (58 $\pm$ 3)%. This method is suitable for online optimization of individual stages in a future multistage plasma accelerator, and enables experimental studies of the relation between efficiency and transverse instability in the acceleration process.


title: Certified Robustness to Word Substitution Ranking Attack for Neural Ranking Models

abstract: Neural ranking models (NRMs) have achieved promising results in information retrieval. NRMs have also been shown to be vulnerable to adversarial examples. A typical Word Substitution Ranking Attack (WSRA) against NRMs was proposed recently, in which an attacker promotes a target document in rankings by adding human-imperceptible perturbations to its text. This raises concerns when deploying NRMs in real-world applications. Therefore, it is important to develop techniques that defend against such attacks for NRMs. In empirical defenses adversarial examples are found during training and used to augment the training set. However, such methods offer no theoretical guarantee on the models' robustness and may eventually be broken by other sophisticated WSRAs. To escape this arms race, rigorous and provable certified defense methods for NRMs are needed. To this end, we first define the \textit{Certified Top-$K$ Robustness} for ranking models since users mainly care about the top ranked results in real-world scenarios. A ranking model is said to be Certified Top-$K$ Robust on a ranked list when it is guaranteed to keep documents that are out of the top $K$ away from the top $K$ under any attack. Then, we introduce a Certified Defense method, named CertDR, to achieve certified top-$K$ robustness against WSRA, based on the idea of randomized smoothing. Specifically, we first construct a smoothed ranker by applying random word substitutions on the documents, and then leverage the ranking property jointly with the statistical property of the ensemble to provably certify top-$K$ robustness. Extensive experiments on two representative web search datasets demonstrate that CertDR can significantly outperform state-of-the-art empirical defense methods for ranking models.


title: FreeGaze: Resource-efficient Gaze Estimation via Frequency Domain Contrastive Learning

abstract: Gaze estimation is of great importance to many scientific fields and daily applications, ranging from fundamental research in cognitive psychology to attention-aware mobile systems. While recent advancements in deep learning have yielded remarkable successes in building highly accurate gaze estimation systems, the associated high computational cost and the reliance on large-scale labeled gaze data for supervised learning place challenges on the practical use of existing solutions. To move beyond these limitations, we present FreeGaze, a resource-efficient framework for unsupervised gaze representation learning. FreeGaze incorporates the frequency domain gaze estimation and the contrastive gaze representation learning in its design. The former significantly alleviates the computational burden in both system calibration and gaze estimation, and dramatically reduces the system latency; while the latter overcomes the data labeling hurdle of existing supervised learning-based counterparts, and ensures efficient gaze representation learning in the absence of gaze label. Our evaluation on two gaze estimation datasets shows that FreeGaze can achieve comparable gaze estimation accuracy with existing supervised learning-based approach, while enabling up to 6.81 and 1.67 times speedup in system calibration and gaze estimation, respectively.


title: Quantum detector tomography applied to the human visual system: a feasibility study

abstract: We show that quantum detector tomography can be applied to the human visual system to explore human perception of photon number states. In detector tomography, instead of using very hard to produce photon number states, the response of a detector to light pulses with known photon statistics of varying intensity is recorded, and a model is fitted to the experimental outcomes thereby inferring the detector's photon number state response. Generally, light pulses containing a Poisson-distributed number of photons are utilised, which are very easy to produce in the lab. This technique has not been explored to study the human visual system before, because it usually requires a very large number of repetitions not suitable for experiments on humans. Yet, in the present study we show that detector tomography is feasible for human experiments. Assuming a simple model for this accuracy, the results of our simulations show that detector tomography is able to reconstruct the model using Bayesian inference with as little as $5000$ trials. We then optimize the experimental parameters in order to maximise the probability of showing that the single-photon accuracy is above chance. As such, our study opens the road to study human perception on quantum level.


title: Cornucopia: A Framework for Feedback Guided Generation of Binaries

abstract: Binary analysis is an important capability required for many security and software engineering applications. Consequently, there are many binary analysis techniques and tools with varied capabilities. However, testing these tools requires a large, varied binary dataset with corresponding source-level information. In this paper, we present Cornucopia, an architecture agnostic automated framework that can generate a plethora of binaries from corresponding program source by exploiting compiler optimizations and feedback-guided learning. Our evaluation shows that Cornucopia was able to generate 309K binaries across four architectures (x86, x64, ARM, MIPS) with an average of 403 binaries for each program and outperforms Bintuner, a similar technique. Our experiments revealed issues with the LLVM optimization scheduler resulting in compiler crashes ($\sim$300). Our evaluation of four popular binary analysis tools Angr, Ghidra, Idapro, and Radare, using Cornucopia generated binaries, revealed various issues with these tools. Specifically, we found 263 crashes in Angr and one memory corruption issue in Idapro. Our differential testing on the analysis results revealed various semantic bugs in these tools. We also tested machine learning tools, Asmvec, Safe, and Debin, that claim to capture binary semantics and show that they perform poorly (For instance, Debin F1 score dropped to 12.9% from reported 63.1%) on Cornucopia generated binaries. In summary, our exhaustive evaluation shows that Cornucopia is an effective mechanism to generate binaries for testing binary analysis techniques effectively.


title: Parameterized algorithms for node connectivity augmentation problems

abstract: A graph $G$ is $k$-out-connected from its node $s$ if it contains $k$ internally disjoint $sv$-paths to every node $v$; $G$ is $k$-connected if it is $k$-out-connected from every node. In connectivity augmentation problems the goal is to augment a graph $G_0=(V,E_0)$ by a minimum costs edge set $J$ such that $G_0 \cup J$ has higher connectivity than $G_0$. In the $k$-Out-Connectivity Augmentation ($k$-OCA) problem, $G_0$ is $(k-1)$-out-connected from $s$ and $G_0 \cup J$ should be $k$-out-connected from $s$; in the $k$-Connectivity Augmentation ($k$-CA) problem $G_0$ is $(k-1)$-connected and $G_0 \cup J$ should be $k$-connected. The parameterized complexity status of these problems was open even for $k=3$ and unit costs. We will show that $k$-OCA and $3$-CA can be solved in time $9^p \cdot n^{O(1)}$, where $p$ is the size of an optimal solution. Our paper is the first that shows fixed parameter tractability of a $k$-node-connectivity augmentation problem with high values of $k$. We will also consider the $(2,k)$-Connectivity Augmentation problem where $G_0$ is $(k-1)$-edge-connected and $G_0 \cup J$ should be both $k$-edge-connected and $2$-connected. We will show that this problem can be solved in time $9^p \cdot n^{O(1)}$, and for unit costs approximated within $1.892$.


title: Fourier expansion of light-cone Eisenstein series

abstract: In this work we give an explicit formula for the Fourier coefficients of Eisenstein series corresponding to certain arithmetic lattices acting on hyperbolic n+1-space. As a consequence we obtain results on location of all poles of these Eisenstein series as well as their supremum norms. We use this information to get new results on counting rational points on spheres.


title: Non-Abelian nonsymmorphic chiral symmetries

abstract: The Hofstadter model exemplifies a large class of physical systems characterized by particles hopping on a lattice immersed in a gauge field. Recent advancements on various synthetic platforms have enabled highly-controllable simulations of such systems with tailored gauge fields featuring complex spatial textures. These synthetic gauge fields could introduce synthetic symmetries that do not appear in electronic materials. Here, in an SU(2) non-Abelian Hofstadter model, we theoretically show the emergence of multiple nonsymmorphic chiral symmetries, which combine an internal unitary anti-symmetry with fractional spatial translation. Depending on the values of the gauge fields, the nonsymmorphic chiral symmetries can exhibit non-Abelian algebra and protect Kramer quartet states in the bulk band structure, creating general four-fold degeneracy at all momenta. These nonsymmorphic chiral symmetries protect double Dirac semimetals at zero energy, which become gapped into quantum confined insulating phases upon introducing a boundary. Moreover, the parity of the system size can determine whether the resulting insulating phase is trivial or topological. Our work indicates a pathway for creating topology via synthetic symmetries emergent from synthetic gauge fields.


title: Automorphisms of K3 surfaces, signatures, and isometries of lattices

abstract: Every Salem numbers of degree 4,6,8,12,14 or 16 is the dynamical degree of an automorphism of a non-projective K3 surface. We define a notion of signature of an automorphism, and use it to give a necessary and sufficient condition for Salem numbers of degree 10 and 18 to be realized as the dynamical degree of such an automorphism. The first part of the paper contains results on isometries of lattices.


title: The Fragility of Multi-Treebank Parsing Evaluation

abstract: Treebank selection for parsing evaluation and the spurious effects that might arise from a biased choice have not been explored in detail. This paper studies how evaluating on a single subset of treebanks can lead to weak conclusions. First, we take a few contrasting parsers, and run them on subsets of treebanks proposed in previous work, whose use was justified (or not) on criteria such as typology or data scarcity. Second, we run a large-scale version of this experiment, create vast amounts of random subsets of treebanks, and compare on them many parsers whose scores are available. The results show substantial variability across subsets and that although establishing guidelines for good treebank selection is hard, it is possible to detect potentially harmful strategies.


title: Stage-parallel fully implicit Runge-Kutta implementations with optimal multilevel preconditioners at the scaling limit

abstract: We present an implementation of a fully stage-parallel preconditioner for Radau IIA type fully implicit Runge--Kutta methods, which approximates the inverse of $A_Q$ from the Butcher tableau by the lower triangular matrix resulting from an LU decomposition and diagonalizes the system with as many blocks as stages. For the transformed system, we employ a block preconditioner where each block is distributed and solved by a subgroup of processes in parallel. For combination of partial results, we either use a communication pattern resembling Cannon's algorithm or shared memory. A performance model and a large set of performance studies (including strong scaling runs with up to 150k processes on 3k compute nodes) conducted for a time-dependent heat problem, using matrix-free finite element methods, indicate that the stage-parallel implementation can reach higher throughputs when the block solvers operate at lower parallel efficiencies, which occurs near the scaling limit. Achievable speedup increases linearly with number of stages and are bounded by the number of stages. Furthermore, we show that the presented stage-parallel concepts are also applicable to the case that $A_Q$ is directly diagonalized, which requires complex arithmetic or the solution of two-by-two blocks and sequentializes parts of the algorithm. Alternatively to distributing stages and assigning them to distinct processes, we discuss the possibility of batching operations from different stages together.


title: Natural Language Inference Prompts for Zero-shot Emotion Classification in Text across Corpora

abstract: Within textual emotion classification, the set of relevant labels depends on the domain and application scenario and might not be known at the time of model development. This conflicts with the classical paradigm of supervised learning in which the labels need to be predefined. A solution to obtain a model with a flexible set of labels is to use the paradigm of zero-shot learning as a natural language inference task, which in addition adds the advantage of not needing any labeled training data. This raises the question how to prompt a natural language inference model for zero-shot learning emotion classification. Options for prompt formulations include the emotion name anger alone or the statement "This text expresses anger". With this paper, we analyze how sensitive a natural language inference-based zero-shot-learning classifier is to such changes to the prompt under consideration of the corpus: How carefully does the prompt need to be selected? We perform experiments on an established set of emotion datasets presenting different language registers according to different sources (tweets, events, blogs) with three natural language inference models and show that indeed the choice of a particular prompt formulation needs to fit to the corpus. We show that this challenge can be tackled with combinations of multiple prompts. Such ensemble is more robust across corpora than individual prompts and shows nearly the same performance as the individual best prompt for a particular corpus.


title: Tuning magnetoelectricity in a mixed-anisotropy antiferromagnet

abstract: Control of magnetization and electric polarization is attractive in relation to tailoring materials for data storage and devices such as sensors or antennae. In magnetoelectric materials, these degrees of freedom are closely coupled, allowing polarization to be controlled by a magnetic field, and magnetization by an electric field, but the magnitude of the effect remains a challenge in the case of single-phase magnetoelectrics for application. We demonstrate that the magnetoelectric properties of the mixed-anisotropy antiferromagnet LiNi$_{1-x}$Fe$_x$PO$_4$ are profoundly affected by replacing a fraction of the Ni$^{2+}$ ions with Fe$^{2+}$ on the transition metal site. This introduces random site-dependent single-ion anisotropy energies and causes a lowering of the magnetic symmetry of the system. In turn, magnetoelectric couplings that are symmetry-forbidden in the parent compounds, LiNiPO$_4$ and LiFePO$_4$, are unlocked and the dominant coupling is enhanced by two orders of magnitude. Our results demonstrate the potential of mixed-anisotropy magnets for tuning magnetoelectric properties.


title: Testing of symmetry based on cumulative past and residual extropy of record values

abstract: In this paper, we are testing the symmetry in the distribution of data observed on a random variable. We proposed test statistics using cumulative past and residual extropy of record values based on the characterization developed by Gupta and Chaudhary (2022) [5]. It is shown that the obtained estimator is consistent. Our proposed test has an advantage that we do not need to estimate the centre of symmetry. The empirical density, critical value and power of the proposed test statistics have been obtained. The test procedure has been implemented on six real-life data sets to verify its performance in identifying the symmetric nature. Simulations indicate our test performs better than the competitor tests.


title: Causal chain event graphs for remedial maintenance

abstract: The analysis of system reliability has often benefited from graphical tools such as fault trees and Bayesian networks. In this article, instead of conventional graphical tools, we apply a probabilistic graphical model called the chain event graph (CEG) to represent the failures and processes of deterioration of a system. The CEG is derived from an event tree and can flexibly represent the unfolding of asymmetric processes. For this application we need to define a new class of formal intervention we call remedial to model causal effects of remedial maintenance. This fixes the root causes of a failure and returns the status of the system to as good as new. We demonstrate that the semantics of the CEG are rich enough to express this novel type of intervention. Furthermore through the bespoke causal algebras the CEG provides a transparent framework with which guide and express the rationale behind predictive inferences about the effects of various different types of remedial intervention. A back-door theorem is adapted to apply to these interventions to help discover when a system is only partially observed.


title: Square function estimates for the evolutionary p-Laplace equation

abstract: We prove novel (local) square function/Carleson measure estimates for non-negative solutions to the evolutionary $p$-Laplace equation in the complement of parabolic Ahlfors-David regular sets. In the case of the heat equation, the Laplace equation as well as the $p$-Laplace equation, the corresponding square function estimates have proven fundamental in symmetry and inverse/free boundary type problems, and in particular in the study of (parabolic) uniform rectifiability. Though the implications of the square function estimates are less clear for the evolutionary $p$-Laplace equation, mainly due its lack of homogeneity, we give some initial applications to parabolic uniform rectifiability, boundary behaviour and Fatou type theorems for $\nabla_Xu$.


title: A Rigidity Result for the Robin Torsion Problem

abstract: Let $\Omega \subset \mathbb{R}^2$ be an open, bounded and Lipschitz set. We consider the torsion problem for the Laplace operator associated to $\Omega$ with Robin boundary conditions. In this setting, we study the equality case in the Talenti-type comparison, proved in arXiv:1909.11950. We prove that the equality is achieved only if $\Omega$ is a disk and the torsion function $u$ is radial.


title: On the Measurement of Vorticity in Astrophysical Fluids

abstract: Vorticity is central to the nature of, and dynamical processes in turbulence, including turbulence in astrophysical fluids. The results of \cite{Raymond20a,Raymond20b} on vorticity in the post-shock fluid of the Cygnus Loop supernova remnant are therefore of great interest. We consider the degree to which spectroscopic measurements of an optically-thin line, the most common type of astronomical velocimetry, can yield unambiguous measurements of the vorticity in a fluid. We consider an ideal case of observations in the plane of a flow which may or may not contain vorticity. In one case, the flow possesses vorticity in a direction perpendicular to the plane of observations. In the other case, the flow is irrotational (zero vorticity) by construction. The observationally-deduced vorticity (referred to as the {\em pseudovorticity}) is inferred from spatial differences in the line-of-sight component of velocity, and assumptions of symmetry. My principal result is that in the case of the vortical flow, the pseudovorticity is a reasonable match for the true vorticity. However, and importantly, the pseudovorticity in the case of the irrotational flow field is also nonzero, and comparable in magnitude to that for a vortical flow. The conclusion of this paper is that while astronomical spectroscopic observations may yield a good estimate of the vorticity in a remote fluid, the robustness of such an inference cannot be insured.


title: On sharp rate of convergence for discretisation of integrals driven by fractional Brownian motions and related processes with discontinuous integrands

abstract: We consider equidistant approximations of stochastic integrals driven by H\"older continuous Gaussian processes of order $H>\frac12$ with discontinuous integrands involving bounded variation functions. We give exact rate of convergence in the $L^1$-distance and provide examples with different drivers. It turns out that the exact rate of convergence is proportional to $n^{1-2H}$ that is twice better compared to the best known results in the case of discontinuous integrands, and corresponds to the known rate in the case of smooth integrands. The novelty of our approach is that, instead of using multiplicative estimates for the integrals involved, we apply change of variables formula together with some facts on convex functions allowing us to compute expectations explicitly.


title: Discrete Dislocations Dynamics with annihilation as the limit of the Peierls-Nabarro model in one dimension

abstract: Plasticity of metals is the emergent phenomenon of many crystal defects (dislocations) which interact and move on microscopic time and length scales. Two of the commonly used models to describe such dislocation dynamics are the Peierls-Nabarro model and the so-called discrete dislocation dynamics model. However, the consistency between these two models is known only for a few number of dislocations or up to the first time at which two dislocations collide. In this paper we resolve these restrictions, and establish the consistency for any number of dislocations and without any restriction on their initial position or orientation. In more detail, the evolutive Peierls-Nabarro model which we consider describes the evolution of a phase-field function $v_\e(t,x)$ which represents the atom deformation in a crystal. The model is a reaction-diffusion equation of Allen-Cahn type with the half Laplacian. The small parameter $\ep$ is the ratio between the atomic distance and the typical distance between phase transitions in $v_\e$. The position of a phase transition determines the position of a dislocation, and the sign of the transition (up or down) determines the orientation. The goal of this paper is to derive the asymptotic behavior of the function $v_\e$ as $\ep\to0$ up to arbitrary end time $T$; in particular beyond collisions. We prove that $v_\e$ converges to a piecewise constant function $v$, whose jump points in the spatial variable satisfy the ODE system which represents discrete dislocation dynamics with annihilation. Our proof method is to explicitly construct and patch together several sub- and supersolutions of $v_\e$, and to show that they converge to the same limit $v$.


title: Evaluating a GAN for enhancing camera simulation for robotics

abstract: Given the versatility of generative adversarial networks (GANs), we seek to understand the benefits gained from using an existing GAN to enhance simulated images and reduce the sim-to-real gap. We conduct an analysis in the context of simulating robot performance and image-based perception. Specifically, we quantify the GAN's ability to reduce the sim-to-real difference in image perception in robotics. Using semantic segmentation, we analyze the sim-to-real difference in training and testing, using nominal and enhanced simulation of a city environment. As a secondary application, we consider use of the GAN in enhancing an indoor environment. For this application, object detection is used to analyze the enhancement in training and testing. The results presented quantify the reduction in the sim-to-real gap when using the GAN, and illustrate the benefits of its use.


title: Probing $\Xi N$ interaction through inversion of spin-doublets in $\Xi N \alpha \alpha$ nuclei

abstract: A new way to study the spin-isospin dependence of the $\Xi N$ interaction is explored through the energy levels of $\Xi N\alpha$ and $\Xi N\alpha \alpha$ systems with $\alpha$ being a spectator to attract the $ \Xi N$ pair without changing its spin-isospin structure. By using the Gaussian expansion method (GEM) with the state-of-the-art $\Xi N$ potential obtained from lattice QCD calculations, it is found that $\Xi N\alpha \alpha$ has spin-doublet bound states with $J^{\pi}={1^-}$ and $2^-$ in both isospin triplet and singlet channels. The inversion of the $1^-$-$2^-$ spin-doublet between the iso-triplet and the iso-singlet is found to be strongly correlated with the relative strengths of the $\Xi N$ interaction in the $^{11}{\rm S}_0, ^{13}{\rm S}_1,^{31}{\rm S}_0$ and $^{33}{\rm S}_1$ channels. The $(K^-, K^+)$ and $(K^-,K^0)$ reactions on the $^{10}$B target are proposed to produce those bound states.


title: Prominence fine structures in weakly twisted and highly twisted magnetic flux ropes

abstract: Many prominences are supported by magnetic flux ropes. One important question is how we can determine whether the flux rope is weakly-twisted or strongly-twisted. In this paper, we attempted to check whether prominences supported by weakly-twisted and strongly-twisted flux ropes can manifest different features so that we might distinguish the two types of magnetic structures by their appearance. We performed pseudo three-dimensional simulations of two magnetic flux ropes with different twists. We found that the resulting two prominences differ in many aspects. The prominence supported by a weakly-twisted flux rope is composed mainly of transient threads, forming high-speed flows inside the prominence. Its horns are evident. Conversely, the one supported by a highly-twisted flux rope consists mainly of stable quasi-stationary threads, including longer independently trapped threads and shorter magnetically connected threads. It is also revealed that the prominence spine deviates from the flux rope axis in the vertical direction and from the photospheric polarity inversion line projected on the solar surface, especially for the weakly-twisted magnetic flux rope. The two types of prominences differ significantly in appearance. It is also suggested that a piling-up of short threads in highly-twisted flux ropes might account for the vertical-like threads in some prominences.


title: Isogeometric analysis for multi-patch structured Kirchhoff-Love shells

abstract: We present an isogeometric method for Kirchhoff-Love shell analysis of shell structures with geometries composed of multiple patches and which possibly possess extraordinary vertices, i.e. vertices with a valency different to four. The proposed isogeometric shell discretisation is based on the one hand on the approximation of the mid-surface by a particular class of multi-patch surfaces, called analysis-suitable~$G^1$ [1], and on the other hand on the use of the globally $C^1$-smooth isogeometric multi-patch spline space [2]. We use our developed technique within an isogeometric Kirchhoff-Love shell formulation [3] to study linear and non-linear shell problems on multi-patch structures. Thereby, the numerical results show the great potential of our method for efficient shell analysis of geometrically complex multi-patch structures which cannot be modeled without the use of extraordinary vertices.


title: Revisiting the Evidence for an Intermediate-mass Black Hole in the Center of NGC 6624 with Simulations

abstract: The acceleration of LMXB 4U 1820-30 that derived from its orbital-period derivative $\dot P_{\rm b}$ was supposed to be the evidence for an Intermediate-mass Black Hole (IMBH) in the Galactic globular cluster (GC) NGC 6624. However, we find that the anomalous $\dot P_{\rm b}$ is mainly due to the gravitational wave emission, rather than the acceleration in cluster potential. Using the standard structure models of GCs, we simulate acceleration distributions for pulsars in the central region of the cluster. By fitting the acceleration of J1823-3021A with the simulated distribution profiles (maximum values), it is suggested that an IMBH with mass $M\gtrsim 950^{+550}_{-350}~M_{\odot}$ may reside in the cluster center. We further show that the second period derivative $\ddot P$ of J1823-3021A is probably due to the gravitational perturbation of a nearby star.


title: Generalised hardness of approximation and the SCI hierarchy -- On determining the boundaries of training algorithms in AI

abstract: Hardness of approximation (HA) -- the phenomenon that, assuming P $\neq$ NP, one can easily compute an $\epsilon$-approximation to the solution of a discrete computational problem for $\epsilon > \epsilon_0 > 0$, but for $\epsilon < \epsilon_0$ it suddenly becomes intractable -- is a core phenomenon in the foundations of computations that has transformed computer science. In this paper we study the newly discovered phenomenon in the foundations of computational mathematics: generalised hardness of approximation (GHA) -- which in spirit is close to classical HA in computer science. However, GHA is typically independent of the P vs. NP question in many cases. Thus, it requires a new mathematical framework that we initiate in this paper. We demonstrate the hitherto undiscovered phenomenon that GHA happens when using AI techniques in order to train optimal neural networks (NNs). In particular, for any non-zero underdetermined linear problem the following phase transition may occur: One can prove the existence of optimal NNs for solving the problem but they can only be computed to a certain accuracy $\epsilon_0 > 0$. Below the approximation threshold $\epsilon_0$ -- not only does it become intractable to compute the NN -- it becomes impossible regardless of computing power, and no randomised algorithm can solve the problem with probability better than 1/2. In other cases, despite the existence of a stable optimal NN, any attempts of computing it below the approximation threshold $\epsilon_0$ will yield an unstable NN. Our results use and extend the current mathematical framework of the Solvability Complexity Index (SCI) hierarchy and facilitate a program for detecting the GHA phenomenon throughout computational mathematics and AI.


title: Modelling Technical and Biological Effects in scRNA-seq data with Scalable GPLVMs

abstract: Single-cell RNA-seq datasets are growing in size and complexity, enabling the study of cellular composition changes in various biological/clinical contexts. Scalable dimensionality reduction techniques are in need to disentangle biological variation in them, while accounting for technical and biological confounders. In this work, we extend a popular approach for probabilistic non-linear dimensionality reduction, the Gaussian process latent variable model, to scale to massive single-cell datasets while explicitly accounting for technical and biological confounders. The key idea is to use an augmented kernel which preserves the factorisability of the lower bound allowing for fast stochastic variational inference. We demonstrate its ability to reconstruct latent signatures of innate immunity recovered in Kumasaka et al. (2021) with 9x lower training time. We further analyze a COVID dataset and demonstrate across a cohort of 130 individuals, that this framework enables data integration while capturing interpretable signatures of infection. Specifically, we explore COVID severity as a latent dimension to refine patient stratification and capture disease-specific gene expression.


title: Out-of-Vocabulary Challenge Report

abstract: This paper presents final results of the Out-Of-Vocabulary 2022 (OOV) challenge. The OOV contest introduces an important aspect that is not commonly studied by Optical Character Recognition (OCR) models, namely, the recognition of unseen scene text instances at training time. The competition compiles a collection of public scene text datasets comprising of 326,385 images with 4,864,405 scene text instances, thus covering a wide range of data distributions. A new and independent validation and test set is formed with scene text instances that are out of vocabulary at training time. The competition was structured in two tasks, end-to-end and cropped scene text recognition respectively. A thorough analysis of results from baselines and different participants is presented. Interestingly, current state-of-the-art models show a significant performance gap under the newly studied setting. We conclude that the OOV dataset proposed in this challenge will be an essential area to be explored in order to develop scene text models that achieve more robust and generalized predictions.


title: Integration of Reconfigurable Intelligent Surfaces in Dynamical Energy Analysis

abstract: Reconfigurable intelligent surfaces have been recently investigated for their potentials to offer significant performance improvements in the next generation wireless telecommunication systems (5G and beyond / 6G). Intelligent surfaces are programmed to control the electromagnetic propagation and obtain the desired wavefront by tuning the local reflection phase of unit elements. Predicting the electromagnetic propagation in the RIS-assisted wireless channel accurately is a significant challenge for researchers and becomes crucial for Telecom operators to properly allocate the radio resources. We propose the use of an Eulerian ray-tracing method, the Dynamical Energy Analysis (DEA), as a coverage planning tool capable of account for the EM interaction between reconfigurable intelligent surfaces and the surrounding environment. The main characteristics that make DEA suitable for this purpose are discussed and some preliminary results of the reflective surface integration within the DEA code will be presented.


title: Unidirectional segregation of Bright-Bright soliton through a $\mathcal{PT}$-symmetric potential

abstract: We study the dynamics of two-component vector solitons, namely, bright-bright (BB) solitons interacting with parity-time-($\mathcal{PT}$) symmetric potentials. We employ direct numerical simulations to demonstrate the unidirectional segregation of the BB soliton. Using a modified perturbed dynamical variational Lagrangian approximation, we develop an analytical model to verify the results obtained from the numerical calculations. Simplified variational equations of motion suggest that the splitting of BB solitons can be explained by considering the effective force between the two components.


title: On Language Clustering: A Non-parametric Statistical Approach

abstract: Any approach aimed at pasteurizing and quantifying a particular phenomenon must include the use of robust statistical methodologies for data analysis. With this in mind, the purpose of this study is to present statistical approaches that may be employed in nonparametric nonhomogeneous data frameworks, as well as to examine their application in the field of natural language processing and language clustering. Furthermore, this paper discusses the many uses of nonparametric approaches in linguistic data mining and processing. The data depth idea allows for the centre-outward ordering of points in any dimension, resulting in a new nonparametric multivariate statistical analysis that does not require any distributional assumptions. The concept of hierarchy is used in historical language categorisation and structuring, and it aims to organise and cluster languages into subfamilies using the same premise. In this regard, the current study presents a novel approach to language family structuring based on non-parametric approaches produced from a typological structure of words in various languages, which is then converted into a Cartesian framework using MDS. This statistical-depth-based architecture allows for the use of data-depth-based methodologies for robust outlier detection, which is extremely useful in understanding the categorization of diverse borderline languages and allows for the re-evaluation of existing classification systems. Other depth-based approaches are also applied to processes such as unsupervised and supervised clustering. This paper therefore provides an overview of procedures that can be applied to nonhomogeneous language classification systems in a nonparametric framework.


title: Impurity effects on Dirac modes in graphene armchair nanoribbons

abstract: We consider finite ribbons of graphene with armchair orientation of their edges to study in detail impurity effects on specific Dirac-like modes. In the framework of Anderson hybrid model of impurity perturbation, a possibility for Mott localization and for opening of a mobility gap under local impurity perturbations is found and analyzed in function of this model parameters: the impurity energy level, its hybridization with the host Dirac modes, and the impurity concentration. Possible electronic phase states in such disordered system and subsequent phase transitions between them are discussed.


title: Detection of Smart Grid Integrity Attacks Using Signal Temporal Logic

abstract: Cyber-attacks can have severe impacts on critical infrastructures, from outages to economical loss and physical damage to people and environment. One of the main targets of these attacks is the smart grid. In this paper, we propose a new software detector for integrity attacks targeting smart meter readings. The detector relies upon mining parameters of temporal logic specifications for integrity attack classification. To this end, we use Signal Temporal Logic (STL) for specifying properties over time series. Our approach considers different "attack scenarios" found in last years: given a parametric formula for each "attack scenario" and a set of labeled traces, we aim at finding the parameter valuation that validates each template.


title: Toward Improving Health Literacy in Patient Education Materials with Neural Machine Translation Models

abstract: Health literacy is the central focus of Healthy People 2030, the fifth iteration of the U.S. national goals and objectives. People with low health literacy usually have trouble understanding health information, following post-visit instructions, and using prescriptions, which results in worse health outcomes and serious health disparities. In this study, we propose to leverage natural language processing techniques to improve health literacy in patient education materials by automatically translating illiterate languages in a given sentence. We scraped patient education materials from four online health information websites: MedlinePlus.gov, Drugs.com, Mayoclinic.org and Reddit.com. We trained and tested the state-of-the-art neural machine translation (NMT) models on a silver standard training dataset and a gold standard testing dataset, respectively. The experimental results showed that the Bidirectional Long Short-Term Memory (BiLSTM) NMT model outperformed Bidirectional Encoder Representations from Transformers (BERT)-based NMT models. We also verified the effectiveness of NMT models in translating health illiterate languages by comparing the ratio of health illiterate language in the sentence. The proposed NMT models were able to identify the correct complicated words and simplify into layman language while at the same time the models suffer from sentence completeness, fluency, readability, and have difficulty in translating certain medical terms.


title: The Decay constants of $B_c(nS)$ and $B^*_c(nS)$

abstract: The decay constants of the low lying S-wave $B_c$ mesons, i.e. $B_c(nS)$ and $B^*_c(nS)$ with $n\leq 3$, are calculated in the nonrelativistic quark model. The running coupling of the strong interaction is taken into account, and the uncertainties due to varying parameters and losing Lorentz covariance are considered carefully. As a byproduct, the decay constants of the low lying S-wave charmonium and bottomium states are given in the appendixes.


title: Half-mirror for electrons on quantum Hall copropagating edge channels

abstract: A half-mirror that divides a spin-polarized electron into two parallel copropagating spin-resolved quantum Hall edge channels one half each is presented in this study. The partition process was coherent, as confirmed by observing the Aharonov-Bohm oscillation at a high visibility of up to 60% in a Mach-Zehnder interferometer, which comprised two such half-mirrors. The device characteristics were highly stable, making the device promising in the application of quantum information processing. The beam-splitting process is theoretically modelled, and the numerical simulation successfully reproduces the experimental observation. The partition of the electron accompanied by the spin rotation is explained by the angular momentum transfer from the orbital to the spin via spin-orbit interactions.


title: Efficient Unsupervised Learning for Plankton Images

abstract: Monitoring plankton populations in situ is fundamental to preserve the aquatic ecosystem. Plankton microorganisms are in fact susceptible of minor environmental perturbations, that can reflect into consequent morphological and dynamical modifications. Nowadays, the availability of advanced automatic or semi-automatic acquisition systems has been allowing the production of an increasingly large amount of plankton image data. The adoption of machine learning algorithms to classify such data may be affected by the significant cost of manual annotation, due to both the huge quantity of acquired data and the numerosity of plankton species. To address these challenges, we propose an efficient unsupervised learning pipeline to provide accurate classification of plankton microorganisms. We build a set of image descriptors exploiting a two-step procedure. First, a Variational Autoencoder (VAE) is trained on features extracted by a pre-trained neural network. We then use the learnt latent space as image descriptor for clustering. We compare our method with state-of-the-art unsupervised approaches, where a set of pre-defined hand-crafted features is used for clustering of plankton images. The proposed pipeline outperforms the benchmark algorithms for all the plankton datasets included in our analysis, providing better image embedding properties.


title: Automated Fidelity Assessment for Strategy Training in Inpatient Rehabilitation using Natural Language Processing

abstract: Strategy training is a multidisciplinary rehabilitation approach that teaches skills to reduce disability among those with cognitive impairments following a stroke. Strategy training has been shown in randomized, controlled clinical trials to be a more feasible and efficacious intervention for promoting independence than traditional rehabilitation approaches. A standardized fidelity assessment is used to measure adherence to treatment principles by examining guided and directed verbal cues in video recordings of rehabilitation sessions. Although the fidelity assessment for detecting guided and directed verbal cues is valid and feasible for single-site studies, it can become labor intensive, time consuming, and expensive in large, multi-site pragmatic trials. To address this challenge to widespread strategy training implementation, we leveraged natural language processing (NLP) techniques to automate the strategy training fidelity assessment, i.e., to automatically identify guided and directed verbal cues from video recordings of rehabilitation sessions. We developed a rule-based NLP algorithm, a long-short term memory (LSTM) model, and a bidirectional encoder representation from transformers (BERT) model for this task. The best performance was achieved by the BERT model with a 0.8075 F1-score. This BERT model was verified on an external validation dataset collected from a separate major regional health system and achieved an F1 score of 0.8259, which shows that the BERT model generalizes well. The findings from this study hold widespread promise in psychology and rehabilitation intervention research and practice.


title: Words to describe a black hole

abstract: We revamp the constructive enumeration of 1/16-BPS states in the maximally supersymmetric Yang-Mills in four dimensions, and search for ones that are not of multi-graviton form. A handful of such states are found for gauge group SU(2) at relatively high energies, resolving a decade-old enigma. Along the way, we clarify various subtleties in the literature, and prove a non-renormalization theorem about the exactness of the cohomological enumeration in perturbation theory. We point out a giant-graviton-like feature in our results, and envision that a deep analysis of our data will elucidate the fundamental properties of black hole microstates.


title: A Noise Model for Multilayer Graded-Bandgap Avalanche Photodiodes

abstract: Multilayer graded-bandgap avalanche photodiodes (APDs) are the future deterministic photomultipliers, owing to their deterministic amplification with twofold stepwise gain via impact ionization when operated in the staircase regime. Yet, the stepwise impact ionization irregularities worsen as the number of steps increases. These irregularities in impact ionization are the major source of noise in these APDs. These solid-state devices could replace conventional silicon photomultiplier tubes if they are carefully studied and designed. A noise model for multistep staircase APDs, considering equal stepwise ionization probabilities is previously reported. However, we derive a generalized noise model for multilayer graded-bandgap APDs, applicable for all operating biases, which include the sub-threshold, staircase, and tunnelling breakdown regimes. Moreover, the previous noise model's expression for the total excess noise factor in terms of ionization probabilities of the multistep staircase APD follows Friis's total noise factor. However, we demonstrate that our derived expression matches Bangera's correction to Friis's total noise factor.

categories: physics.app-ph eess.SP physics.ins-det quant-ph


title: MUST-VQA: MUltilingual Scene-text VQA

abstract: In this paper, we present a framework for Multilingual Scene Text Visual Question Answering that deals with new languages in a zero-shot fashion. Specifically, we consider the task of Scene Text Visual Question Answering (STVQA) in which the question can be asked in different languages and it is not necessarily aligned to the scene text language. Thus, we first introduce a natural step towards a more generalized version of STVQA: MUST-VQA. Accounting for this, we discuss two evaluation scenarios in the constrained setting, namely IID and zero-shot and we demonstrate that the models can perform on a par on a zero-shot setting. We further provide extensive experimentation and show the effectiveness of adapting multilingual language models into STVQA tasks.


title: GX: a GPU-native gyrokinetic turbulence code for tokamak and stellarator design

abstract: GX is a code for solving the nonlinear gyrokinetic system for low-frequency turbulence in magnetized plasmas, particularly tokamaks and stellarators. In GX, our primary motivation and target is a fast gyrokinetic solver that can be used for fusion reactor design and optimization along with wide-ranging physics exploration. This has led to several code and algorithm design decisions, specifically chosen to prioritize time to solution. First, we have used a discretization algorithm that is pseudo-spectral in the entire phase-space, including a Laguerre-Hermite pseudo-spectral formulation of velocity space, which allows for smooth interpolation between coarse gyrofluid-like resolutions and finer conventional gyrokinetic resolutions and efficient evaluation of a model collision operator. Additionally, we have built GX to natively target graphics processors (GPUs), which are among the fastest computational platforms available today. Finally, we have taken advantage of the reactor-relevant limit of small $\rho_*$ by using the radially-local flux-tube approach. In this paper we present details about the gyrokinetic system and the numerical algorithms used in GX to solve the system. We then present several numerical benchmarks against established gyrokinetic codes in both tokamak and stellarator magnetic geometries to verify that GX correctly simulates gyrokinetic turbulence in the small $\rho_*$ limit. Moreover, we show that the convergence properties of the Laguerre-Hermite spectral velocity formulation are quite favorable for nonlinear problems of interest. Coupled with GPU acceleration, which we also investigate with scaling studies, this enables GX to be able to produce useful turbulence simulations in minutes on one (or a few) GPUs. GX is open-source software that is ready for fusion reactor design studies.


title: Picosecond Time-Scale Resistive Switching Monitored in Real-Time

abstract: The resistance state of filamentary memristors can be tuned by relocating only a few atoms at interatomic distances in the active region of a conducting filament. Thereby the technology holds promise not only in its ultimate downscaling potential and energy efficiency but also in unprecedented speed. Yet, the breakthrough in high-frequency applications still requires the clarification of the dominant mechanisms and inherent limitations of ultra-fast resistive switching. Here we investigate bipolar, multilevel resistive switchings in tantalum pentoxide based memristors with picosecond time resolution. We experimentally demonstrate cyclic resistive switching operation due to 20 ps long voltage pulses of alternating polarity. Through the analysis of the real-time response of the memristor we find that the set switching can take place at the picosecond time-scale where it is only compromised by the bandwidth limitations of the experimental setup. In contrast, the completion of the reset transitions significantly exceeds the duration of the ultra-short voltage bias, demonstrating the dominant role of thermal diffusion and underlining the importance of dedicated thermal engineering for future high-frequency memristor circuit applications.


title: SICRET: Supernova Ia Cosmology with truncated marginal neural Ratio EsTimation

abstract: Type Ia supernovae (SNae Ia), standardisable candles that allow tracing the expansion history of the Universe, are instrumental in constraining cosmological parameters, particularly dark energy. State-of-the-art likelihood-based analyses scale poorly to future large datasets, are limited to simplified probabilistic descriptions, and must explicitly sample a high-dimensional latent posterior to infer the few parameters of interest, which makes them inefficient. Marginal likelihood-free inference, on the other hand, is based on forward simulations of data, and thus can fully account for complicated redshift uncertainties, contamination from non-SN Ia sources, selection effects, and a realistic instrumental model. All latent parameters, including instrumental and survey-related ones, per-object and population-level properties, are implicitly marginalised, while the cosmological parameters of interest are inferred directly. As a proof of concept, we apply truncated marginal neural ratio estimation (TMNRE), a form of marginal likelihood-free inference, to BAHAMAS, a Bayesian hierarchical model for SALT parameters. We verify that TMNRE produces unbiased and precise posteriors for cosmological parameters from up to 100 000 SNae Ia. With minimal additional effort, we train a network to infer simultaneously the O(100 000) latent parameters of the supernovae (e.g. absolute brightnesses). In addition, we describe and apply a procedure that utilises local amortisation of the inference to convert the approximate Bayesian posteriors into frequentist confidence regions with exact coverage. Finally, we discuss the planned improvements to the model that are enabled by using a likelihood-free inference framework, like selection effects and non-Ia contamination.


title: Topological approach of characterizing optical Skyrmions and Skyrmion lattices

abstract: The Skyrmion number of paraxial optical Skyrmions can be defined solely via their polarization singularities and associated winding numbers, using a mathematical derivation that exploits Stokes's theorem. It is demonstrated that this definition provides a robust way to extract the Skyrmion number from experimental data, as illustrated for a variety of optical (N\'eel-type) Skyrmions and bimerons, and their corresponding lattices. This method generates not only an increase in accuracy, but also provides an intuitive geometrical approach to understanding the topology of such quasi-particles of light, and their robustness against smooth transformations.


title: Falsification of Cyber-Physical Systems using Bayesian Optimization

abstract: Cyber-physical systems (CPSs) are usually complex and safety-critical; hence, it is difficult and important to guarantee that the system's requirements, i.e., specifications, are fulfilled. Simulation-based falsification of CPSs is a practical testing method that can be used to raise confidence in the correctness of the system by only requiring that the system under test can be simulated. As each simulation is typically computationally intensive, an important step is to reduce the number of simulations needed to falsify a specification. We study Bayesian optimization (BO), a sample-efficient method that learns a surrogate model that describes the relationship between the parametrization of possible input signals and the evaluation of the specification. In this paper, we improve the falsification using BO by; first adopting two prominent BO methods, one fits local surrogate models, and the other exploits the user's prior knowledge. Secondly, the formulation of acquisition functions for falsification is addressed in this paper. Benchmark evaluation shows significant improvements in using local surrogate models of BO for falsifying benchmark examples that were previously hard to falsify. Using prior knowledge in the falsification process is shown to be particularly important when the simulation budget is limited. For some of the benchmark problems, the choice of acquisition function clearly affects the number of simulations needed for successful falsification.


title: Special scattering regimes for conical all-dielectric nanoparticles

abstract: All-dielectric nanophotonics opens a venue for a variety of novel phenomena and scattering regimes driven by unique optical effects in semiconductor and dielectric nanoresonators. Their peculiar optical signatures enabled by simultaneous electric and magnetic responses in the visible range pave a way for a plenty of new applications in nano-optics, biology, sensing, etc. In this work, we investigate fabrication-friendly truncated cone resonators and achieve several important scattering regimes due to the inherent property of cones - broken symmetry along the main axis without involving complex geometries or structured beams. We show this symmetry breaking to deliver various kinds of Kerker effects (Generalized and Transverse Kerker effects), non-scattering hybrid anapole regime (simultaneous anapole conditions for all the multipoles in a particle leading to the nearly full scattering suppression) and, vice versa, superscattering regime. Being governed by the same straightforward geometrical paradigm, discussed effects could greatly simplify the manufacturing process of photonic devices with different functionalities. Moreover, the additional degrees of freedom driven by the conicity open new horizons to tailor light-matter interactions at the nanoscale.


title: The space of all triples of projective lines of distinct intersections in $\mathbb{RP}^n$

abstract: We study the space of all triples of projective lines in $\mathbb{RP}^n$ such that any line in a triple intersects the two others at distinct points. We show that for $n=2$ and $3$ these spaces are homotopically equivalent to the real complete flag variety $Flag(\mathbb{R}^n)$ for $n=3$ and $4,$ respectively, and we explicitly calculate the integral homology of the corresponding spaces. We prove that for arbitrary $n$, this space is homotopy equivalent to $Flag(1,2,3,\mathbb{R}^{n+1}),$ the variety of all partial flags of signature $(0,1,2,3,n+1)$ in an $(n+1)$-dimensional vector space over $\mathbb{R}.$


title: Local Cohomology of Certain Determinantal Thickenings

abstract: Let $R=\mathbb{C}[\{x_{ij}\}]$ be the ring of polynomial functions in $mn$ variables where $m> n$. Set $X$ to be the $m\times n$ matrix in these variables and $I:=I_n(X)$ the ideal of maximal minors of $X$. We consider the rings $R/I^t$; for $t\gg 0$ the depth of $R/I^t$ is equal to $n^2-1$, and we show that each local cohomology module $H^{n^2-1}_{\frak{m}}(R/I^t)$ is a cyclic $R$-module. We also compute the annihilator of $H^{n^2-1}_{\frak{m}}(R/I^t)$ thereby completely determining its $R$-module structure. In the case that $X$ is a $n\times (n-1)$ matrix we describe a map between the Koszul complex of the $t$-powers of the maximal minors and a free resolution of $R/I^t$. We use this map to explicitly describe the modules $\operatorname{Ext}_R ^n(R/I^t,R)$ as submodules of the top local cohomology module $H_I^n(R)$. Moreover, we can realize the filtration $\bigcup_i\operatorname{Ext}_R ^n(R/I^t,R)= H_I^n(R)$ in terms of differential operators. Utilizing this description, along with an explicit isomorphism $H_I^n(R) \cong H_{\frak{m}}^{n(n-1)}(R)$, we determine the annihilator of $\operatorname{Ext}_R ^n(R/I^t,R)$ and hence by graded local duality give another computation of the annihilator of $H^{(n-1)^2-1}_{\frak{m}}(R/I^t)$.


title: Band offsets at the interfaces between $\beta$-Ga$_2$O$_3$ and Al$_2$O$_3$

abstract: The band offsets and the chemical bonding at the interfaces between (-201) $\beta$-Ga$_2$O$_3$ and Al$_2$O$_3$ polymorphs are studied through hybrid functional calculations. For alumina, we consider four representative phases, i.e., $\alpha$, $\kappa$, $\theta$ and $\gamma$-Al$_2$O$_3$. We generate realistic slab models for the interfaces which satisfy electron counting rules. The O atoms bridge the $\beta$-Ga$_2$O$_3$ and Al$_2$O$_3$ slabs and all the dangling bonds are saturated. The band offsets are obtained by applying an alignment scheme which requires separate bulk and interface calculations. The calculated band offsets are useful for the design of devices based on the $\beta$-Ga$_2$O$_3$/Al$_2$O$_3$heterojunctions, particularly $\beta$-Ga$_2$O$_3$ metal-oxide semiconductor field effect transistors.


title: The pernicious danger of cortical brain maps

abstract: The parcellation of the primate cerebral cortex into numbered regions, based on cytoarchitecture, began with the pioneering research of neuroanatomist Kobrinian Brodmann. While the borders between regions have changed somewhat, and in some cases continue to be disputed, the idea of dividing the cortex into distinct numbered areas has become central to the goal of understanding brain function. And indeed, areal maps do provide a good starting point for functional parcellation. It is obvious, for example, that visual area V1 has a different function than primary motor cortex. However, as with anything good, one can take things too far. Indeed, cortical areas, while useful, have several pernicious side effects for neuroscientists interested in function, especially in prefrontal cortex.


title: GOALS-JWST: Tracing AGN Feedback on the Star-Forming ISM in NGC 7469

abstract: We present James Webb Space Telescope (JWST) Mid-InfraRed Instrument (MIRI) integral-field spectroscopy of the nearby merging, luminous infrared galaxy, NGC 7469. This galaxy hosts a Seyfert type-1.5 nucleus, a highly ionized outflow, and a bright, circumnuclear star-forming ring, making it an ideal target to study AGN feedback in the local Universe. We take advantage of the high spatial/spectral resolution of JWST/MIRI to isolate the star-forming regions surrounding the central active nucleus and study the properties of the dust and warm molecular gas on ~100 pc scales. The starburst ring exhibits prominent Polycyclic Aromatic Hydrocarbon (PAH) emission, with grain sizes and ionization states varying by only ~30%, and a total star formation rate of $\rm 10 - 30 \ M_\odot$/yr derived from fine structure and recombination emission lines. Using pure rotational lines of H2, we detect 1.2$\times$10$^{7} \rm \ M_\odot$ of warm molecular gas at a temperature higher than 200 K in the ring. All PAH bands get significantly weaker towards the central source, where larger and possibly more ionized grains dominate the emission. However, the bulk of the dust and molecular gas in the ring appears unaffected by the ionizing radiation or the outflowing wind from the AGN. These observations highlight the power of JWST to probe the inner regions of dusty, rapidly evolving galaxies for signatures of feedback and inform models that seek to explain the co-evolution of supermassive black holes and their hosts.


title: Twisting of properads

abstract: We study Thomas Willwacher's twisting endofunctor tw in the category of dg properads P under the operad of (strongly homotopy) Lie algebras. It is proven that if P is a properad under properad Lieb of Lie bialgebras , then the associated twisted properad tw(P) becomes in general a properad under quasi-Lie bialgebras (rather than under Lieb). This result implies that the cyclic cohomology of any cyclic homotopy associative algebra has in general an induced structure of a quasi-Lie bialgebra. We show that the cohomology of the twisted properad tw(Lieb) is highly non-trivial -- it contains the cohomology of the so called haired graph complex introduced and studied recently in the context of the theory of long knots and the theory of moduli spaces of algebraic curves. Using a polydifferential functor from the category of props to the category of operads, we introduce the notion of a Maurer-Cartan element of a strongly homotopy Lie bialgebra, and use it to construct a new twisting endofunctor Tw in the category dg prop(erad)s P under HoLieb, the minimal resolution of Lieb. We prove that Tw(Holieb) is quasi-isomorphic to Lieb, and establish its relation to the homotopy theory of triangular Lie bialgebras. It is proven that the dg Lie algebra controlling deformations of the map from Lieb to P acts on Tw(P) by derivations. In some important examples this dg Lie algebra has a rich and interesting cohomology (containing, for example, the Grothendieck-Teichmueller Lie algebra). Finally, we introduce a diamond version of the endofunctor Tw which works in the category of dg properads under involutive (strongly homotopy) Lie bialgebras, and discuss its applications in string topology.


title: The extremal landscape for the C$\beta$E ensemble

abstract: We consider the extremes of the logarithm of the characteristic polynomial of matrices from the C$\beta$E ensemble. We prove convergence in distribution of the centered maxima (of the real and imaginary parts) towards the sum of a Gumbel variable and another independent variable, which we characterize as the total mass of a "derivative martingale". We also provide a description of the landscape near extrema points.


title: Optimal $L(1,2)$-edge Labeling of Infinite Octagonal Grid

abstract: For two given non-negative integers $h$ and $k$, an $L(h,k)$-edge labeling of a graph $G=(V(G),E(G))$ is a function $f':E(G) \xrightarrow{}\{0,1,\cdots, n\}$ such that $\forall e_1,e_2 \in E(G)$, $\vert f'(e_1)-f'(e_2) \vert \geq h$ when $d'(e_1,e_2)=1$ and $\vert f'(e_1)-f'(e_2) \vert \geq k$ when $d'(e_1,e_2)=2$ where $d'(e_1,e_2)$ denotes the distance between $e_1$ and $e_2$ in $G$. Here $d'(e_1,e_2)=k'$ if there are at least $(k'-1)$ number of edges in $E(G)$ to connect $e_1$ and $e_2$ in $G$. The objective is to find \textit{span} which is the minimum $n$ over all such $L(h,k)$-edge labeling and is denoted as $\lambda'_{h,k}(G)$. Motivated by the channel assignment problem in wireless cellular network, $L(h,k)$-edge labeling problem has been studied in various infinite regular grids. For infinite regular octagonal grid $T_8$, it was proved that $25 \leq \lambda'_{1,2}(T_8) \leq 28$ [Tiziana Calamoneri, International Journal of Foundations of Computer Science, Vol. 26, No. 04, 2015] with a gap between lower and upper bounds. In this paper we fill the gap and prove that $\lambda'_{1,2}(T_8)= 28$.


title: Composition-theoretic series in partition theory

abstract: We use sums over integer compositions analogous to generating functions in partition theory, to express certain partition enumeration functions as sums over compositions into parts that are $k$-gonal numbers; our proofs employ Ramanujan's theta functions. We explore applications to lacunary $q$-series, and to a new class of composition-theoretic Dirichlet series.


title: Dynamics of He++ ions at interplanetary and Earth's bow shocks

abstract: Experimental investigations of the fine plasma structure of interplanetary shocks are extremely difficult to conduct due to their small thickness and high speed relative to the spacecraft. We study the variations in the parameters of twice-ionized helium ions (4He++ ions or {\alpha}-particles) in the solar wind plasma during the passage of interplanetary shocks and Earth's bow shock. We use data with high time resolution gathered by the BMSW (Bright Monitor of Solar Wind) instrument installed on the SPEKTR-R satellite, which operated between August 2011 and 2019. The MHD parameters of He++ ions (the bulk velocity Va, temperature Ta, absolute density Na, and helium abundance Na/Np) are analyzed for 20 interplanetary shocks and compared with similar parameters for 25 Earth's bow shock crossings. Measurements from the WIND, Cluster and THEMIS satellites were also analyzed. The correlations in the changes in helium abundance Na/Np with the parameters {\beta}_{i}, {\theta}_{Bn} and M_{ms} were investigated. A correlation between Na/Np and the angle {\theta}_{Bn} was found: the lower the value of {\theta}_{Bn}, the greater the drop in helium abundance Na/Np falls behind the IP shock front. For Earth's bow shock crossings, we found a significant increase in the helium abundance Na/Np in quasi-perpendicular events.


title: Tipping in complex systems under fast variations of parameters

abstract: Sudden transitions in the state of a system are often undesirable in natural and human-made systems. Such transitions under fast variation of system parameters are called rate-induced tipping. We experimentally demonstrate rate-induced tipping in a real-world complex system and decipher its mechanism. There is a critical rate of change of parameter above which the system undergoes tipping. We show that another system parameter, not under our control, changes simultaneously at a different rate, and the competition between the effects of that parameter and the control parameter determines if and when tipping occurs. Motivated by the experiments, we use a nonlinear oscillator model exhibiting Hopf bifurcation to generalize this tipping to complex systems in which slow and fast parameters compete to determine the system dynamics.


title: Finite Necessary and Sufficient Stability Conditions for Linear System with Pointwise and Distributed Delays

abstract: This contribution presents two exponential stability criteria for linear systems with multiple pointwise and distributed delays. These results (necessary and sufficient conditions) are given in terms of the delay Lyapunov matrix and the fundamental matrix of the system. An important property is that the stability test requires a finite number of mathematical operations.


title: Enhanced nonlinear interferometry via seeding

abstract: We analyse a nonlinear interferometer, also known as an SU(1,1) interferometer, in the presence of internal losses and inefficient detectors. To overcome these limitations, we consider the effect of seeding one of the interferometer input modes with either a number state or a coherent state. We derive analytical expressions for the interference visibility, contrast, phase sensitivity, and signal-to-noise ratio, and show a significant enhancement in all these quantities as a function of the seeding photon number. For example, we predict that, even in the presence of substantial losses and highly inefficient detectors, we can achieve the same quantum-limited phase sensitivity of an unseeded nonlinear interferometer by seeding with a few tens of photons. Furthermore, we observe no difference between a number or a coherent seeding state when the interferometer operates in the low-gain regime, which enables seeding with an attenuated laser. Our results expand the nonlinear interferometry capabilities in the field of quantum imaging, metrology, and spectroscopy under realistic experimental conditions.


title: LibertyMFD: A Lexicon to Assess the Moral Foundation of Liberty

abstract: Quantifying the moral narratives expressed in the user-generated text, news, or public discourses is fundamental for understanding individuals' concerns and viewpoints and preventing violent protests and social polarisation. The Moral Foundation Theory (MFT) was developed to operationalise morality in a five-dimensional scale system. Recent developments of the theory urged for the introduction of a new foundation, the Liberty Foundation. Being only recently added to the theory, there are no available linguistic resources to assess whether liberty is present in text corpora. Given its importance to current social issues such as the vaccination debate, we propose two data-driven approaches, deriving two candidate lexicons generated based on aligned documents from online news sources with different worldviews. After extensive experimentation, we contribute to the research community a novel lexicon that assesses the liberty moral foundation in the way individuals with contrasting viewpoints express themselves through written text. The LibertyMFD dictionary can be a valuable tool for policymakers to understand diverse viewpoints on controversial social issues such as vaccination, abortion, or even uprisings, as they happen and on a large scale.


title: Urban transportation networks and optimal transport-based infrastructures: similarity and economy of scale

abstract: Designing and optimizing the structure of urban transportation networks is a challenging task. In this study, we propose a method inspired by optimal transport theory and the principle of economy of scale that uses little information in input to generate structures that are similar to those of public transportation networks. Contrarily to standard approaches, it does not assume any initial backbone network infrastructure, but rather extracts this directly from a continuous space using only a few origin and destination points. Analyzing a set of urban train, tram and subway networks, we find a noteworthy degree of similarity in several of the studied cases between simulated and real infrastructures. By tuning one parameter, our method can simulate a range of different subway, tram and train networks that can be further used to suggest possible improvements in terms of relevant transportation properties. Outputs of our algorithm provide naturally a principled quantitative measure of similarity between two networks that can be used to automatize the selection of similar simulated networks.


title: Signed permutohedra, delta-matroids, and beyond

abstract: We establish a connection between the algebraic geometry of the type B permutohedral toric variety and the combinatorics of delta-matroids. Using this connection, we compute the volume and lattice point counts of type B generalized permutohedra. Applying tropical Hodge theory to a new framework of "tautological classes of delta-matroids," modeled after certain vector bundles associated to realizable delta-matroids, we establish the log-concavity of a Tutte-like invariant for a broad family of delta-matroids that includes all realizable delta-matroids. Our results include new log-concavity statements for all (ordinary) matroids as special cases.


title: Modelling polarity-driven laminar patterns in bilayer tissues with mixed signalling mechanisms

abstract: Recent advances in high-resolution experimental methods have highlighted the significance of cell signal pathway crosstalk and localised signalling activity in the development and disease of numerous biological systems. The investigation of multiple signal pathways often introduces different methods of cell-cell communication, i.e. contact-based or diffusive signalling, which generates both a spatial and temporal dependence on cell behaviours. Motivated by cellular mechanisms that control cell-fate decisions in developing bilayer tissues, we use dynamical systems coupled with multilayer graphs to analyse the role of signalling polarity and pathway crosstalk in fine-grain pattern formation of protein activity. Specifically, we study how multilayer graph edge structures and weights influence the layer-wise (laminar) patterning of cells in bilayer structures, which are commonly found in glandular tissues. We present sufficient conditions for existence, uniqueness and instability of homogeneous cell states in the large-scale spatially discrete dynamical system. Using methods of pattern templating by graph partitioning to generate quotient systems in combination with concepts from monotone dynamical systems, we exploit the extensive dimensionality reduction to provide existence conditions for the polarity required to induce fine-grain laminar patterns with multiple spatially dependent intracellular components. We then explore the spectral links between the quotient and large-scale dynamical systems to extend the laminar patterning criteria from existence to convergence for sufficiently large amounts of cellular polarity in the large-scale dynamical system, independent of spatial dimension and number of cells in the tissue.


title: Level occupation switching with density functional theory

abstract: The charge transport properties of zero-temperature multi-orbital quantum dot systems with one dot coupled to leads and the other dots coupled only capacitatively are studied within density functional theory. It is shown that the setup is equivalent to an effective single impurity Anderson model. This allows to understand the level occupation switching effect as transitions between ground states of different integer occupations in the uncoupled dots. Level occupation switching is very sensitive to small energy differences and therefore also to the details of the parametrized exchange-correlation functionals. An existing functional already captures the effect on a qualitative level but we also provide an improved parametrization which is very accurate when compared to reference numerical renormalization group results.


title: How Community Agreements Can Improve Workplace Culture in Physics

abstract: Equity, Diversity, and Inclusion (EDI) committees and Codes of Conduct (CoC) have become common in laboratories and physics departments across the country. However, very often these EDI committees and CoC are not equipped to provide practical consequences for violations, and therefore are mostly performative in nature. A considerable effort has been devoted by various groups within APS units and beyond the APS in developing instead what are now called Community Guidelines. Community Guidelines help implement the core principles in CoC, by setting expectations for participation in in-person events and virtual communication. When further accompanied by accountability and enforcement processes, they develop into Community Agreements. This White Paper discusses the elements necessary to create and implement an effective Community Agreement, reviews examples of Community Agreements in physics, and argues that physics collaborations, physics departments, and ultimately as many physics organizations as possible, however large or small, should have a Community Agreement in place. We advocate that Community Agreements should become part of the bylaws of any entity that has bylaws.


title: Voting-based Opinion Maximization

abstract: We investigate the novel problem of voting-based opinion maximization in a social network: Find a given number of seed nodes for a target campaigner, in the presence of other competing campaigns, so as to maximize a voting-based score for the target campaigner at a given time horizon. The bulk of the influence maximization literature assumes that social network users can switch between only two discrete states, inactive and active, and the choice to switch is frozen upon one-time activation. In reality, even when having a preferred opinion, a user may not completely despise the other opinions, and the preference level may vary over time due to social influence. To this end, we employ models rooted in opinion formation and diffusion, and use several voting-based scores to determine a user's vote for each of the multiple campaigners at a given time horizon. Our problem is NP-hard and non-submodular for various scores. We design greedy seed selection algorithms with quality guarantees for our scoring functions via sandwich approximation. To improve the efficiency, we develop random walk and sketch-based opinion computation, with quality guarantees. Empirical results validate our effectiveness, efficiency, and scalability.


title: MID Property for Delay Systems: Insights on Spectral Values with Intermediate Multiplicity

abstract: This paper focuses on the problem of multiplicity induced dominancy (MID) for a class of linear time-invariant systems represented by delay-differential equations. If the problem of generic MID was characterized in terms of properties of the roots of Kummer hypergeometric functions, the case of intermediate MID is still an open problem. The aim of this paper is to address such a problem by using the Green--Hille transformation for characterizing the distribution of the nonasymptotic zeros of linear combinations of Kummer functions. An illustrative example completes the presentation and shows the effectiveness of the proposed methodology.


title: Timor Python: A Toolbox for Industrial Modular Robotics

abstract: Modular Reconfigurable Robots (MRRs) represent an exciting path forward for industrial robotics, opening up new possibilities for robot design. Compared to monolithic manipulators, they promise greater flexibility, improved maintainability, and cost-efficiency. However, there is no tool or standardized way to model and simulate assemblies of modules in the same way it has been done for robotic manipulators for decades. We introduce the Toolbox for Industrial Modular Robotics (Timor), a Python toolbox to bridge this gap and integrate modular robotics into existing simulation and optimization pipelines. Our open-source library offers model generation and task-based configuration optimization for MRRs. It can easily be integrated with existing simulation tools - not least by offering URDF export of arbitrary modular robot assemblies. Moreover, our experimental study demonstrates the effectiveness of Timor as a tool for designing modular robots optimized for specific use cases.


title: Spectral Phase Effects in High-Order Above Threshold Ionization of Noble Gas Atoms

abstract: We present theoretical studies of above threshold ionization (ATI) using sculpted laser pulses for noble gas atoms. The time-dependent Schroedinger equation is solved to calculate the ATI energy and momentum spectra, and a qualitative understanding of the electron motion after ionization is explored using a classical model that solves Newton's equation of motion. Results are presented for Gaussian and Airy laser pulses with identical power spectra, but differing spectral phases. The simulations show that the third order spectral phase of the Airy pulse, which can alter the temporal envelope of the electric field, causes changes to the timing of ionization and the dynamics of the rescattering process. Specifically, the use of Airy pulses in the ATI process results in a shift of the Keldysh plateau cutoff to lower energy due to a decreased pondermotive energy of the electron in the laser field. Additionally, the side lobes of the Airy laser pulse change the number and timing of rescattering events, which results in changes to the high-order ATI plateau. Our results also show that laser pulses with identical carrier envelope phases and nearly identical envelopes yield different photoelectron momentum densities, which are a direct result of the pulse's spectral phase.


title: Optimal Active Fault Detection in Inverter-Based Grids

abstract: Ground faults in converter-based grids can be difficult to detect because, unlike in grids with synchronous machines, they often do not result in large currents. One recent strategy is for each converter to inject a perturbation that makes faults easier to distinguish from normal operation. In this paper, we construct optimal perturbation sequences for use with the Multiple Model Kalman Filter. The perturbations maximize the difference between faulty and fault-free operation while respecting limits on performance degradation. Simulations show that the optimal input sequence increases the confidence of fault detection while decreasing detection time. It is shown that there is a tradeoff between detection and degradation of the control performance, and that the method is robust to parameter variations.


title: Online Whole-body Motion Planning for Quadrotor using Multi-resolution Search

abstract: In this paper, we address the problem of online quadrotor whole-body motion planning (SE(3) planning) in unknown and unstructured environments. We propose a novel multi-resolution search method, which discovers narrow areas requiring full pose planning and normal areas requiring only position planning. As a consequence, a quadrotor planning problem is decomposed into several SE(3) (if necessary) and R^3 sub-problems. To fly through the discovered narrow areas, a carefully designed corridor generation strategy for narrow areas is proposed, which significantly increases the planning success rate. The overall problem decomposition and hierarchical planning framework substantially accelerate the planning process, making it possible to work online with fully onboard sensing and computation in unknown environments. Extensive simulation benchmark comparisons show that the proposed method is one to several orders of magnitude faster than the state-of-the-art methods in computation time while maintaining high planning success rate. The proposed method is finally integrated into a LiDAR-based autonomous quadrotor, and various real-world experiments in unknown and unstructured environments are conducted to demonstrate the outstanding performance of the proposed method.


title: Segment-level thermal sensitivity analysis for exo-Earth imaging

abstract: We present a segment-level wavefront stability error budget for space telescopes essential for exoplanet detection. We use a detailed finite element model to relate the temperature gradient at the location of the primary mirror to wavefront variations on each of the segment. We apply the PASTIS sensitivity model forward approach to allocate static tolerances in physical units for each segment, and transfer these tolerances to the temporal domain via a model of the WFS&C architecture in combination with a Zernike phase sensor and science camera. We finally estimate the close-loop variance and limiting contrast for the segments' thermo-mechanical modes.