title: Variable-wavelength quick scanning nano-focused X-ray microscopy for in situ strain and tilt mapping

abstract: Compression of micro-pillars is followed in situ by a quick nano-focused X-ray scanning microscopy technique combined with three-dimensional reciprocal space mapping. Compared to other attempts using 2 X-ray nanobeams, it avoids any motion or vibration that would lead to a destruction of the sample. The technique consists of scanning both the energy of the incident nano-focused X-ray beam and the in-plane translations of the focusing optics along the X-ray beam. Here, we demonstrate the approach by imaging the strain and lattice orientation of Si micro-pillars and their pedestals during in situ compression. Varying the energy of the incident beam instead of rocking the sample and mapping the focusing optics instead of moving the sample supplies a vibration-free measurement of the reciprocal space maps without removal of the mechanical load. The maps of strain and lattice orientation are in good agreement with the ones recorded by ordinary rocking-curve scans. Variable-wavelength quick scanning X-ray microscopy opens the route for in situ strain and tilt mapping towards more diverse and complex materials environments, especially where sample manipulation is difficult.


title: Deep Active Learning for Regression Using $\epsilon$-weighted Hybrid Query Strategy

abstract: Designing an inexpensive approximate surrogate model that captures the salient features of an expensive high-fidelity behavior is a prevalent approach in design optimization. In recent times, Deep Learning (DL) models are being used as a promising surrogate computational model for engineering problems. However, the main challenge in creating a DL-based surrogate is to simulate/label a large number of design points, which is time-consuming for computationally costly and/or high-dimensional engineering problems. In the present work, we propose a novel sampling technique by combining the active learning (AL) method with DL. We call this method $\epsilon$-weighted hybrid query strategy ($\epsilon$-HQS) , which focuses on the evaluation of the surrogate at each learning iteration and provides an estimate of the failure probability of the surrogate in the Design Space. By reusing already collected training and test data, the learned failure probability guides the next iteration's sampling process to the region of the high probability of failure. During the empirical evaluation, better accuracy of the surrogate was observed in comparison to other methods of sample selection. We empirically evaluated this method in two different engineering design domains, finite element based static stress analysis of submarine pressure vessel(computationally costly process) and second submarine propeller design( high dimensional problem). https://github.com/vardhah/epsilon_weighted_Hybrid_Query_Strategy


title: Radiative transfer simulations for in-situ particle size diagnostic in reactive, particle growing plasmas

abstract: When considering particles produced in reactive plasmas, their basic properties, such as refractive index and grain size often need to be known. They can be constrained both ex-situ, e.g., by microscopy, and in-situ by polarimetry, i.e., analyzing the polarization state of scattered light. Polarimetry has the advantage of temporal resolution and real-time measurement, but the analysis is often limited by the assumption of single scattering and thus optically thin dust clouds. This limits the investigation of the growth process typically to grain sizes smaller than about 200 nm. Using 3D polarized radiative transfer simulations, however, it is possible to consider multiple scattering and to analyze the properties of dense particle clouds. We study the impact of various properties of dust clouds on the scattering polarization, namely the optical depth of the cloud, the spatial density distribution of the particles, their refractive index as well as the particle size dispersion. We find that ambiguities can occur regarding optical depth and spatial density distribution as well as regarding refractive index and particle size dispersion. Determining the refractive index correctly is especially important as it has a strong impact on the derived particle sizes. With this knowledge, we are able to design an in-situ diagnostics strategy for the investigation of the particle growth process based on radiative transfer simulations which are used to model the polarization over the whole growth process. The application of this strategy allows us for the first time to analyze the polarization measured during a growth experiment in a reactive argon-acetylene plasma for particle radii up to 280 nm.


title: Pressure-driven relaxation processes in nanocomposite ionic glass LiFe$_{0.75}$V$_{0.10}$PO$_{4}$

abstract: This paper presents results for systems formed in a solid glassy state after nanocrystallization process above the glass temperature. We analyze electric conductivity and relaxation processes after such treatment under high temperature (HT) and high pressure (HP-HT) as well. The latter leads to ca. 8% increase of density, two decades (100) increase of electric conductivity as well as qualitative changes in relaxation processes. The previtreous-type changes of the relaxation time on cooling is analyzed by the use of critical-like and the 'critical-activated' description. Presented results correspond well with obtained for this material and shown in ref. [8]. The evidence for pressure evolution of the glass and crystallization temperatures, indicating the unique possibility of maxima and crossovers is also reported.


title: Strong $L^2 H^2$ convergence of the JKO scheme for the Fokker-Planck equation

abstract: Following a celebrated paper by Jordan, Kinderleherer and Otto it is possible to discretize in time the Fokker-Planck equation $\partial_t\varrho=\Delta\varrho+\nabla\cdot(\rho\nabla V)$ by solving a sequence of iterated variational problems in the Wasserstein space, and the sequence of piecewise constant curves obtained from the scheme is known to converge to the solution of the continuous PDE. This convergence is uniform in time valued in the Wasserstein space and also strong in $L^1$ in space-time. We prove in this paper, under some assumptions on the domain (a bounded and smooth convex domain) and on the initial datum (which is supposed to be bounded away from zero and infinity and belong to $W^{1,p}$ for an exponent $p$ larger than the dimension), that the convergence is actually strong in $L^2_tH^2_x$, hence strongly improving the previously known results in terms of the order of derivation in space. The technique is based on some inequalities, obtained with optimal transport techniques, that can be proven on the discrete sequence of approximate solutions, and that mimic the corresponding continuous computations.


title: Deep transformation models for functional outcome prediction after acute ischemic stroke

abstract: In many medical applications, interpretable models with high prediction performance are sought. Often, those models are required to handle semi-structured data like tabular and image data. We show how to apply deep transformation models (DTMs) for distributional regression which fulfill these requirements. DTMs allow the data analyst to specify (deep) neural networks for different input modalities making them applicable to various research questions. Like statistical models, DTMs can provide interpretable effect estimates while achieving the state-of-the-art prediction performance of deep neural networks. In addition, the construction of ensembles of DTMs that retain model structure and interpretability allows quantifying epistemic and aleatoric uncertainty. In this study, we compare several DTMs, including baseline-adjusted models, trained on a semi-structured data set of 407 stroke patients with the aim to predict ordinal functional outcome three months after stroke. We follow statistical principles of model-building to achieve an adequate trade-off between interpretability and flexibility while assessing the relative importance of the involved data modalities. We evaluate the models for an ordinal and dichotomized version of the outcome as used in clinical practice. We show that both, tabular clinical and brain imaging data, are useful for functional outcome prediction, while models based on tabular data only outperform those based on imaging data only. There is no substantial evidence for improved prediction when combining both data modalities. Overall, we highlight that DTMs provide a powerful, interpretable approach to analyzing semi-structured data and that they have the potential to support clinical decision making.


title: Nuclear properties with semilocal momentum-space regularized chiral interactions beyond N2LO

abstract: We present a comprehensive investigation of few-nucleon systems as well as light and medium-mass nuclei up to $A=48$ using the current Low Energy Nuclear Physics International Collaboration two-nucleon interactions in combination with the third-order (N$^2$LO) three-nucleon forces. To address the systematic overbinding of nuclei starting from $A \sim 10$ found in our earlier study utilizing the N$^2$LO two- and three-nucleon forces, we take into account higher-order corrections to the two-nucleon potentials up through fifth order in chiral effective field theory. The resulting Hamiltonian can be completely determined using the $A=3$ binding energies and selected nucleon-deuteron cross sections as input. It is then shown to predict other nucleon-deuteron scattering observables and spectra of light $p$-shell nuclei, for which a detailed correlated truncation error analysis is performed, in agreement with experimental data. Moreover, the predicted ground state energies of nuclei in the oxygen isotopic chain from $^{14}$O to $^{26}$O as well as $^{40}$Ca and $^{48}$Ca show a remarkably good agreement with experimental values, given that the Hamiltonian is fixed completely from the $A \leq 3$ data, once the fourth-order (N$^3$LO) corrections to the two-nucleon interactions are taken into account. On the other hand, the charge radii are found to be underpredicted by $\sim 10\%$ for the oxygen isotopes and by almost $20\%$ for $^{40}$Ca and $^{48}$Ca.


title: PARTICUL: Part Identification with Confidence measure using Unsupervised Learning

abstract: In this paper, we present PARTICUL, a novel algorithm for unsupervised learning of part detectors from datasets used in fine-grained recognition. It exploits the macro-similarities of all images in the training set in order to mine for recurring patterns in the feature space of a pre-trained convolutional neural network. We propose new objective functions enforcing the locality and unicity of the detected parts. Additionally, we embed our detectors with a confidence measure based on correlation scores, allowing the system to estimate the visibility of each part. We apply our method on two public fine-grained datasets (Caltech-UCSD Bird 200 and Stanford Cars) and show that our detectors can consistently highlight parts of the object while providing a good measure of the confidence in their prediction. We also demonstrate that these detectors can be directly used to build part-based fine-grained classifiers that provide a good compromise between the transparency of prototype-based approaches and the performance of non-interpretable methods.


title: New scaling paradigm for dynamics in glass-forming systems

abstract: The lack of ultimate scaling relations for previtreous changes of the primary relaxation time or viscosity in glass-forming systems constitutes the grand fundamental challenge, also hindering the development of relevant material engineering applications. The report links the problem to the location of the previtreous domain remote from a hypothetical singularity. As the solution, the linearized, distortions-sensitive analysis is proposed. It is developed for scaling-relations linked to basic glass transition models: free volume, entropic, critical-like, avoided criticality, and kinetically constrained approaches. For all model scaling relations their alternative formulations based on fragility, the semi-universal metric of dynamics, are presented. The distortions-sensitive analysis is supplemented by the alternative approach based on the activation energy index showing its relative changes on cooling in the previtreous region. The search for the coherent description of the previtreous dynamics in the homologous series of polyols, from glycerol to sorbitol, is used to present in practice and validate the application of the distortions sensitive analysis. Only two scaling equation, MYEGA and the recent 'activation and critical' (AC), passed such exam. They also revealed a limited reliability of the Stickel operator' analysis for detecting the dynamic crossover. The report constitutes the unique tool-guide for applications, and a checkpoint analysis of the glass transition models. The discussion focuses on the temperature path on cooling but the extension for the still hardly discussed pressure path is also discussed.


title: Supernova Light Curves Approximation based on Neural Network Models

abstract: Photometric data-driven classification of supernovae becomes a challenge due to the appearance of real-time processing of big data in astronomy. Recent studies have demonstrated the superior quality of solutions based on various machine learning models. These models learn to classify supernova types using their light curves as inputs. Preprocessing these curves is a crucial step that significantly affects the final quality. In this talk, we study the application of multilayer perceptron (MLP), bayesian neural network (BNN), and normalizing flows (NF) to approximate observations for a single light curve. We use these approximations as inputs for supernovae classification models and demonstrate that the proposed methods outperform the state-of-the-art based on Gaussian processes applying to the Zwicky Transient Facility Bright Transient Survey light curves. MLP demonstrates similar quality as Gaussian processes and speed increase. Normalizing Flows exceeds Gaussian processes in terms of approximation quality as well.


title: Robust and Secure Resource Allocation for ISAC Systems: A Novel Optimization Framework for Variable-Length Snapshots

abstract: In this paper, we investigate the robust resource allocation design for secure communication in an integrated sensing and communication (ISAC) system. A multi-antenna dual-functional radar-communication (DFRC) base station (BS) serves multiple single-antenna legitimate users and senses for targets simultaneously, where already identified targets are treated as potential single-antenna eavesdroppers. The DFRC BS scans a sector with a sequence of dedicated beams, and the ISAC system takes a snapshot of the environment during the transmission of each beam. Based on the sensing information, the DFRC BS can acquire the channel state information (CSI) of the potential eavesdroppers. Different from existing works that focused on the resource allocation design for a single snapshot, in this paper, we propose a novel optimization framework that jointly optimizes the communication and sensing resources over a sequence of snapshots with adjustable durations. To this end, we jointly optimize the duration of each snapshot, the beamforming vector, and the covariance matrix of the AN for maximization of the system sum secrecy rate over a sequence of snapshots while guaranteeing a minimum required average achievable rate and a maximum information leakage constraint for each legitimate user. The resource allocation algorithm design is formulated as a non-convex optimization problem, where we account for the imperfect CSI of both the legitimate users and the potential eavesdroppers. To make the problem tractable, we derive a bound for the uncertainty region of the potential eavesdroppers' small-scale fading based on a safe approximation, which facilitates the development of a block coordinate descent-based iterative algorithm for obtaining an efficient suboptimal solution.


title: Isomorphism and non-isomorphism for interval groups of type D_n

abstract: We consider presentations that were derived in \cite{BaumeisterNeaimeRees} for the interval groups associated with proper quasi-Coxeter elements of the Coxeter group $W(D_n)$. We use combinatorial methods to derive alternative presentations for the groups, and use these new presentations to show that the interval group associated with a proper quasi-Coxeter element of $W(D_n)$ cannot be isomorphic to the Artin group of type $D_n$. While the specific problems we solve arise from the study of interval groups, their solution provides an illustration of how techniques indicated by computational observation can be used to derive properties of all groups within an infinite family.


title: A Survey of Family Unification Models with Bifundamental Matter

abstract: Extensions of the Standard Model have been attempted from the bottom up and from the top down yet there remains a largely unexplored middle ground. In this paper, using the Mathematica package LieART, we exhaustively enumerate embeddings of the Standard Model within the class of theories with bifundamental fermions in product gauge group SU(a)XSU(b)XSU(c) with no more generators than E6, while achieving SM family unification rather than replication. We incorporate simple phenomenological constrains and find 151 unique models, including 9 that have only vector-like particle content beyond-the-Standard Model (BSM) particles, which we conjecture belong to 5 infinite families of such models. We describe the potentially most viable models: namely, the 9 with strictly vector-like BSM content along with the 29 models we found with no more than 30 additional BSM chiral particles. These include models with fractional electric charge color singlets, and hence magnetic monopoles with multiple Dirac charge. This latter collection of models predicts chiral particles with masses near the electroweak scale accessible to current and future collider experiments.


title: Insights Into Deep Non-linear Filters for Improved Multi-channel Speech Enhancement

abstract: The key advantage of using multiple microphones for speech enhancement is that spatial filtering can be used to complement the tempo-spectral processing. In a traditional setting, linear spatial filtering (beamforming) and single-channel post-filtering are commonly performed separately. In contrast, there is a trend towards employing deep neural networks (DNNs) to learn a joint spatial and tempo-spectral non-linear filter, which means that the restriction of a linear processing model and that of a separate processing of spatial and tempo-spectral information can potentially be overcome. However, the internal mechanisms that lead to good performance of such data-driven filters for multi-channel speech enhancement are not well understood. Therefore, in this work, we analyse the properties of a non-linear spatial filter realized by a DNN as well as its interdependency with temporal and spectral processing by carefully controlling the information sources (spatial, spectral, and temporal) available to the network. We confirm the superiority of a non-linear spatial processing model, which outperforms an oracle linear spatial filter in a challenging speaker extraction scenario for a low number of microphones by 0.24 POLQA score. Our analyses reveal that in particular spectral information should be processed jointly with spatial information as this increases the spatial selectivity of the filter. Our systematic evaluation then leads to a simple network architecture, that outperforms state-of-the-art network architectures on a speaker extraction task by 0.22 POLQA score and by 0.32 POLQA score on the CHiME3 data.


title: Comparing NED and SIMBAD classifications across the contents of nearby galaxies

abstract: Cataloguing and classifying celestial objects is one of the fundamental activities of observational astrophysics. In this work, we compare the contents of two comprehensive databases, the NASA Extragalactic Database (NED) and Set of Identifications, Measurements and Bibliography for Astronomical Data (SIMBAD) in the vicinity of nearby galaxies. These two databases employ different classification schemes -- one flat and one hierarchical -- and our goal was to determine the compatibility of classifications for objects in common. Searching both databases for objects within the respective isophotal radius of each of the ~1300 individual galaxies in the Local Volume Galaxy sample, we found that on average, NED contains about ten times as many entries as SIMBAD and about two thirds of SIMBAD objects are matched by position to a NED object, at 5 arcsecond tolerance. These quantities do not depend strongly on the properties of the parent galaxies. We developed an algorithm to compare individual object classifications between the two databases and found that 88% of the classifications agree; we conclude that NED and SIMBAD contain consistent information for sources in common in the vicinity of nearby galaxies. Because many galaxies have numerous sources contained only in one of NED or SIMBAD, researchers seeking the most complete picture of an individual galaxy's contents are best served by using both databases.


title: Sur la trivialit{\'e} de certains modules d'Iwasawa

abstract: We discuss the triviality of some classical Iwasawa modules in connection with the notion of $\ell$-rationality for totally $\ell$-adic number fields.


title: Pontryagin principle and envelope theorem

abstract: We provide an improvement of the maximum principle of Pontryagin of the Optimal Control problems. We establish differentiability properties of the value function of problems of Optimal Control with assumptions as low as possible. Notably, we lighten the assumptions by using G\^ateaux and Hadamard differentials.


title: Dimension-Free Matrix Spaces

abstract: Based on various types of semi-tensor products of matrices, the corresponding equivalences of matrices are proposed. Then the corresponding vector space structures are obtained as the quotient spaces under equivalences, which are called the dimension-free Matrix spaces (DFESs). Certain structures and properties are investigated. Finaly, the Lie bracket structure of general linear algebra is extended to DfMSs to make them Lie algebras, called dimension-free general linear algebra (DFGLA). Inspire of the fact that the DFGLAs are of infinite dimension, they have most properties of finite dimensional Lie algebras, whicl are studied in the paper.


title: Design and analysis of electrothermal metasurfaces

abstract: Electrothermal metasurfaces have attracted extensive attention due to their ability to dynamically control thermal infrared radiation. Although previous studies were mainly focused on the metasurfaces with infinite unit cells, the finite-size effect can be a critical design factor for developing thermal metasurfaces with fast response and broad temperature uniformity in practice. Here, we study the thermal metasurfaces consisting of gold nanorods with a finite array size, which, with only several periods, can achieve a resonance close to that of the infinite case. More importantly, such a small footprint due to the finite array size results in the response time down to a nanosecond level. Furthermore, the number of the unit cells in the direction perpendicular to the axis of the nanorods is found to be insensitive to the resonance and response time, thus providing a tunability in aspect ratio that can boost the temperature uniformity in the sub-Kelvin level.


title: Humans are not Boltzmann Distributions: Challenges and Opportunities for Modelling Human Feedback and Interaction in Reinforcement Learning

abstract: Reinforcement learning (RL) commonly assumes access to well-specified reward functions, which many practical applications do not provide. Instead, recently, more work has explored learning what to do from interacting with humans. So far, most of these approaches model humans as being (nosily) rational and, in particular, giving unbiased feedback. We argue that these models are too simplistic and that RL researchers need to develop more realistic human models to design and evaluate their algorithms. In particular, we argue that human models have to be personal, contextual, and dynamic. This paper calls for research from different disciplines to address key questions about how humans provide feedback to AIs and how we can build more robust human-in-the-loop RL systems.


title: Automatic identification of segmentation errors for radiotherapy using geometric learning

abstract: Automatic segmentation of organs-at-risk (OARs) in CT scans using convolutional neural networks (CNNs) is being introduced into the radiotherapy workflow. However, these segmentations still require manual editing and approval by clinicians prior to clinical use, which can be time consuming. The aim of this work was to develop a tool to automatically identify errors in 3D OAR segmentations without a ground truth. Our tool uses a novel architecture combining a CNN and graph neural network (GNN) to leverage the segmentation's appearance and shape. The proposed model is trained using self-supervised learning using a synthetically-generated dataset of segmentations of the parotid and with realistic contouring errors. The effectiveness of our model is assessed with ablation tests, evaluating the efficacy of different portions of the architecture as well as the use of transfer learning from an unsupervised pretext task. Our best performing model predicted errors on the parotid gland with a precision of 85.0% & 89.7% for internal and external errors respectively, and recall of 66.5% & 68.6%. This offline QA tool could be used in the clinical pathway, potentially decreasing the time clinicians spend correcting contours by detecting regions which require their attention. All our code is publicly available at https://github.com/rrr-uom-projects/contour_auto_QATool.


title: Key-frame Guided Network for Thyroid Nodule Recognition using Ultrasound Videos

abstract: Ultrasound examination is widely used in the clinical diagnosis of thyroid nodules (benign/malignant). However, the accuracy relies heavily on radiologist experience. Although deep learning techniques have been investigated for thyroid nodules recognition. Current solutions are mainly based on static ultrasound images, with limited temporal information used and inconsistent with clinical diagnosis. This paper proposes a novel method for the automated recognition of thyroid nodules through an exhaustive exploration of ultrasound videos and key-frames. We first propose a detection-localization framework to automatically identify the clinical key-frame with a typical nodule in each ultrasound video. Based on the localized key-frame, we develop a key-frame guided video classification model for thyroid nodule recognition. Besides, we introduce a motion attention module to help the network focus on significant frames in an ultrasound video, which is consistent with clinical diagnosis. The proposed thyroid nodule recognition framework is validated on clinically collected ultrasound videos, demonstrating superior performance compared with other state-of-the-art methods.


title: Safe, Learning-Based MPC for Highway Driving under Lane-Change Uncertainty: A Distributionally Robust Approach

abstract: We present a case study applying learning-based distributionally robust model predictive control to highway motion planning under stochastic uncertainty of the lane change behavior of surrounding road users. The dynamics of road users are modelled using Markov jump systems, in which the switching variable describes the desired lane of the vehicle under consideration and the continuous state describes the pose and velocity of the vehicles. We assume the switching probabilities of the underlying Markov chain to be unknown. As the vehicle is observed and thus, samples from the Markov chain are drawn, the transition probabilities are estimated along with an ambiguity set which accounts for misestimations of these probabilities. Correspondingly, a distributionally robust optimal control problem is formulated over a scenario tree, and solved in receding horizon. As a result, a motion planning procedure is obtained which through observation of the target vehicle gradually becomes less conservative while avoiding overconfidence in estimates obtained from small sample sizes. We present an extensive numerical case study, comparing the effects of several different design aspects on the controller performance and safety.


title: Understanding large scale CMB anomalies with the generalized non-minimal derivative coupling during inflation

abstract: We study the observational implications of a class of inflationary models wherein the inflaton is coupled to the Einstein tensor through a generalized non-minimal derivative coupling (GNMDC). In particular, we explore whether these models can generate suitable features in the primordial spectrum of curvature perturbations as a possible explanation for the large-scale anomalies associated with the angular power spectrum of CMB temperature anisotropies. We derive model-independent constraints on the GNMDC function for such a scenario, considering both the scalar and tensor perturbations. We modify CosmoMC to accommodate our GNMDC framework and investigate different classes of inflationary models using a fully consistent numerical approach. We find that the hilltop-quartic model with a specific choice of the GNMDC function provides a considerable improvement over the best-fit reference $\Lambda$CDM model with a nearly scale-invariant power spectrum. While the large-scale structure observations should be able to provide independent constraints, future CMB experiments, such as CMB-S4 and CMB-Bharat, are expected to constrain further the parameter space of such beyond canonical single-field inflationary models.


title: Emergence of $^4$H $J^\pi=1^-$ resonance in contact theories

abstract: We obtain the $s$- and $p$-wave low-energy scattering parameters for n$^3$H elastic scattering and the position of the $^4$H $J^\pi=1^-$ resonance using the pionless effective field theory at leading order. Results are extracted with three numerical techniques: confining the system in a harmonic oscillator trap, solving the Faddeev-Yakubovsky equations in configuration space, and using an effective two-body cluster approach. The renormalization of the theory for the relevant amplitudes is assessed in a cutoff-regulator range between $1\,\text{fm}^{-1}$ and $10\,\text{fm}^{-1}$. Most remarkably, we find a cutoff-stable/RG-invariant resonance in the $^4$H $J^\pi=1^-$ system. This $p$-wave resonance is a universal consequence of a shallow two-body state and the introduction of a three-body $s$-wave scale set by the triton binding energy. The stabilization of a resonant state in a few-fermion system through pure contact interactions has a significant consequence for the powercounting of the pionless theory. Specifically, it suggests the appearance of similar resonant states also in larger nuclei, like 16-oxygen, in which the theory's leading order does not predict stable states. Those resonances would provide a starting state to be moved to the correct physical position by the perturbative insertion of sub-leading orders, possibly resolving the discrepancy between data and contact EFT.


title: Frequency-dependent impedance of nanocapacitors from electrode charge fluctuations as a probe of electrolyte dynamics

abstract: The frequency-dependent impedance is a fundamental property of electrical components. We show that it can be determined from the equilibrium dynamical fluctuations of the electrode charge in constant-potential molecular simulations, extending in particular a fluctuation-dissipation for the capacitance recovered in the low-frequency limit and provide an illustration on water/gold nanocapacitors. This work opens the way to the interpretation of electrochemical impedance measurements in terms of microscopic mechanisms, directly from the dynamics of the electrolyte, or indirectly via equivalent circuit models as in experiments.


title: Mode locking of hole spin coherences in CsPb(Cl,Br)$_3$ perovskite nanocrystals

abstract: The spin physics of perovskite nanocrystals with confined electrons or holes is attracting increasing attention, both for fundamental studies and spintronic applications. Here, stable CsPb(Cl$_{0.5}$Br$_{0.5}$)$_3$ lead halide perovskite nanocrystals embedded in a fluorophosphate glass matrix are studied by time-resolved optical spectroscopy to unravel the coherent spin dynamics of holes and their interaction with nuclear spins of the $^{207}$Pb isotope. We demonstrate the spin mode locking effect provided by the synchronization of the Larmor precession of single hole spins in each nanocrystal in the ensemble that are excited periodically by a laser in an external magnetic field. The mode locking is enhanced by nuclei-induced frequency focusing. An ensemble spin dephasing time $T_2^*$ of a nanosecond and a single hole spin coherence time of $T_2=13\,$ns are measured. The developed theoretical model accounting for the mode locking and nuclear focusing for randomly oriented nanocrystals with perovskite band structure describes the experimental data very well.


title: Quantum theory, thermal gradients and the curved Euclidean space

abstract: The Euclidean space, obtained by the analytical continuation of time, to an imaginary time, is used to model thermal systems. In this work, it is taken a step further to systems with spatial thermal variation, by developing an equivalence between the spatial variation of temperature in a thermal bath and the curvature of the Euclidean space. The variation in temperature is recast as a variation in the metric, leading to a curved Euclidean space. The equivalence is substantiated by analyzing the Polyakov loop, the partition function and the periodicity of the correlation function. The bulk thermodynamic properties like the energy, entropy and the Helmholtz free energy are calculated from the partition function, for small metric perturbations, for a neutral scalar field. The Dirac equation for an external Dirac spinor, traversing in a thermal bath with spatial thermal gradients, is solved in the curved Euclidean space. The fundamental behavior exhibited by the Dirac spinor eigenstate, may provide a possible mechanism to validate the theory, at a more basal level, than examining only bulk thermodynamic properties. Furthermore, in order to verify the equivalence at the level of classical mechanics, the geodesic equation is analyzed in a classical backdrop. The mathematical apparatus is borrowed from the physics of quantum theory in a gravity-induced space-time curvature. As spatial thermal variations are obtainable at QCD or QED energies, it may be feasible for the proposed formulation to be validated experimentally.

categories: hep-th gr-qc hep-ph math-ph math.MP quant-ph


title: BashExplainer: Retrieval-Augmented Bash Code Comment Generation based on Fine-tuned CodeBERT

abstract: Developers use shell commands for many tasks, such as file system management, network control, and process management. Bash is one of the most commonly used shells and plays an important role in Linux system development and maintenance. Due to the language flexibility of Bash code, developers who are not familiar with Bash often have difficulty understanding the purpose and functionality of Bash code. In this study, we study Bash code comment generation problem and proposed an automatic method BashExplainer based on two-stage training strategy. In the first stage, we train a Bash encoder by fine-tuning CodeBERT on our constructed Bash code corpus. In the second stage, we first retrieve the most similar code from the code repository for the target code based on semantic and lexical similarity. Then we use the trained Bash encoder to generate two vector representations. Finally, we fuse these two vector representations via the fusion layer and generate the code comment through the decoder. To show the competitiveness of our proposed method, we construct a high-quality corpus by combining the corpus shared in the previous NL2Bash study and the corpus shared in the NLC2CMD competition. This corpus contains 10,592 Bash codes and corresponding comments. Then we selected ten baselines from previous studies on automatic code comment generation, which cover information retrieval methods, deep learning methods, and hybrid methods.


title: A penalisation method for batch multi-objective Bayesian optimisation with application in heat exchanger design

abstract: We present HIghly Parallelisable Pareto Optimisation (HIPPO) -- a batch acquisition function that enables multi-objective Bayesian optimisation methods to efficiently exploit parallel processing resources. Multi-Objective Bayesian Optimisation (MOBO) is a very efficient tool for tackling expensive black-box problems. However, most MOBO algorithms are designed as purely sequential strategies, and existing batch approaches are prohibitively expensive for all but the smallest of batch sizes. We show that by encouraging batch diversity through penalising evaluations with similar predicted objective values, HIPPO is able to cheaply build large batches of informative points. Our extensive experimental validation demonstrates that HIPPO is at least as efficient as existing alternatives whilst incurring an order of magnitude lower computational overhead and scaling easily to batch sizes considerably higher than currently supported in the literature. Additionally, we demonstrate the application of HIPPO to a challenging heat exchanger design problem, stressing the real-world utility of our highly parallelisable approach to MOBO.


title: Refined regularity analysis for a Keller-Segel-consumption system involving signal-dependent motilities

abstract: We consider the Keller-Segel-type migration-consumption system involving signal-dependent motilities, $$\left\{ \begin{array}{l} u_t = \Delta \big(u\phi(v)\big), \\[1mm] v_t = \Delta v-uv, \end{array} \right. \qquad \qquad$$ in smoothly bounded domains $\Omega\subset\mathbb{R}^n$, $n\ge 1$. Under the assumption that $\phi\in C^1([0,\infty))$ is positive on $[0,\infty)$, and for nonnegative initial data from $(C^0(\overline{\Omega}))^\star \times L^\infty(\Omega)$, previous literature has provided results on global existence of certain very weak solutions with possibly quite poor regularity properties, and on large time stabilization toward semitrivial equilibria with respect to the topology in $(W^{1,2}(\Omega))^\star \times L^\infty(\Omega)$. The present study reveals that solutions in fact enjoy significantly stronger regularity features when $0<\phi\in C^3([0,\infty))$ and the initial data belong to $(W^{1,\infty}(\Omega))^2$: It is firstly shown, namely, that then in the case $n\le 2$ an associated no-flux initial-boundary value problem even admits a global classical solution, and that each of these solutions smoothly stabilizes in the sense that as $t\to\infty$ we have $$ \begin{align*} u(\cdot,t) \to \frac{1}{|\Omega|}\int_\Omega u_0 \qquad \text{ and } \qquad v(\cdot,t)\to 0 \qquad \qquad (\star) \end{align*}$$ even with respect to the norm in $L^\infty(\Omega)$ in both components. In the case when $n\ge 3$, secondly, some genuine weak solutions are found to exist globally, inter alia satisfying $\nabla u\in L^\frac{4}{3}_{loc}(\overline{\Omega}\times [0,\infty);\mathbb{R}^n)$. In the particular three-dimensional setting, any such solution is seen to become eventually smooth and to satisfy ($\star$).


title: Strong unique continuation for variable coefficient parabolic operators with Hardy type potential

abstract: In this paper, we prove the strong unique continuation property at the origin for solutions of the following scaling critical parabolic differential inequality \[ |\operatorname{div} (A(x,t) \nabla u) - u_t| \leq \frac{M}{|x|^{2}} |u|,\ \ \ \ \] where the coefficient matrix $A$ is Lipschitz continuous in $x$ and $t$. Our main result sharpens a previous one of Vessella concerned with the subcritical case as well as extends a recent result of one of us with Garofalo and Manna for the heat operator.


title: Prior-Guided One-shot Neural Architecture Search

abstract: Neural architecture search methods seek optimal candidates with efficient weight-sharing supernet training. However, recent studies indicate poor ranking consistency about the performance between stand-alone architectures and shared-weight networks. In this paper, we present Prior-Guided One-shot NAS (PGONAS) to strengthen the ranking correlation of supernets. Specifically, we first explore the effect of activation functions and propose a balanced sampling strategy based on the Sandwich Rule to alleviate weight coupling in the supernet. Then, FLOPs and Zen-Score are adopted to guide the training of supernet with ranking correlation loss. Our PGONAS ranks 3rd place in the supernet Track Track of CVPR2022 Second lightweight NAS challenge. Code is available in https://github.com/pprp/CVPR2022-NAS?competition-Track1-3th-solution.


title: Multi-agent blind quantum computation without universal cluster states

abstract: Blind quantum computation (BQC) protocols enable quantum algorithms to be executed on third-party quantum agents while keeping the data and algorithm confidential. The previous proposals for measurement-based BQC require preparing a highly entangled cluster state. In this paper, we show that such a requirement is not necessary. Our protocol only requires pre-shared bell pairs between delegated quantum agents, and there is no requirement for any classical or quantum information exchange between agents during the execution. Our proposal requires fewer quantum resources than previous proposals by eliminating the need for a universal cluster state.


title: Transformation formulas for the higher power of odd zeta values and generalized Eisenstein series

abstract: In this article, we obtain a transformation formula for the higher power of odd zeta values, which generalizes Ramanujan's formula for odd zeta values. We have also investigated many important applications, which in turn provide generalizations of the transformation formula of the Eisenstein series, Dedekind eta function etc.


title: Holographic Perspectives On Models Of Moduli Stabilization In M-Theory

abstract: Recent holographic analyses on IIA and IIB models of moduli stabilization have led to many interesting results. Here we extend this approach to M-Theory. We consider both flux-stabilized models and non-perturbative stabilization methods. We perform a holographic analysis to determine the spectrum of the assumed dual $CFT_{3}$ to see its AdS/CFT implication. For the flux stabilization, which relies on a large complex Chern-Simons invariant, moduli have integer dimensions similar to the DGKT flux-stabilized model in type IIA,. For the non-perturbative stabilization, the results are similar to racetrack models in type IIB.


title: The generalized Harer conjecture for the homology triviality

abstract: The classical Harer conjecture is about the stable homology triviality of the obvious embedding $\phi : B_{2g+2} \hookrightarrow \Gamma_{g}$, which was proved by Song and Tillmann. The main part of the proof is to show that $\B\phi^{+} : \B B_{\infty}^{+} \rightarrow \B \Gamma_{\infty}^{+}$ induced from $\phi$ is a double loop space map. In this paper, we give a proof of the generalized Harer conjecture which is about the homology triviality for an $arbitrary$ embedding $\phi : B_{n} \hookrightarrow \Gamma_{g,k}$. We first show that it suffices to prove it for a $regular$ embedding in which all atomic surfaces are regarded as identical and each atomic twist is a {\it simple twist} interchanging two identical sub-parts of atomic surfaces. The main strategy of the proof is to show that the map $\Phi : \mathcal{C} \rightarrow \mathcal{S}$ induced by $\B\phi:\conf_n(D)\rightarrow\mathcal{M}_{g,k}$ preserves the actions of the framed little 2-disks operad.


title: Butler's Method applied to $\mathbb{Z}_p[C_p\times C_p]$-permutation modules

abstract: Let $G$ be a finite $p$-group with normal subgroup $N$ of order $p$. The first author and Zalesskii have previously given a characterization of permutation modules for $\mathbb{Z}_pG$ in terms of modules for $G/N$, but the necessity of their conditions was not known. We apply a correspondence due to Butler to demonstrate the necessity of the conditions, by exhibiting highly non-trivial counterexamples to the claim that if both the $N$-invariants and the $N$-coinvariants of a given lattice $U$ are permutation modules, then so is $U$.


title: A Robust Test of the Existence of Primordial Black Holes in Galactic Dark Matter Halos

abstract: If very low mass primordial black holes (PBH) within the asteroid/moon-mass range indeed reside in galactic dark matter halos, they must necessarily collide with galactic neutron stars (NSs). These collisions must, again necessarily, form light black holes (LBHs) with masses of typical NSs, $M_{\rm LBH} \approx \,1-2\,M_{\odot}$. LBHs may be behind events already detected by ground-based gravitational-wave detectors (GW170817, GW190425, and others such as a mixed stellar black hole-neutron star mass event GW191219_163120), and most recently by microlensing (OGLE-BLG-2011-0462). Although the status of these observations as containing LBHs is not confirmed, there is no question that gravitational-wave detectors and microlensing are in principle and in practice capable of detecting LBHs. We have calculated the creation rate of LBHs resulting from these light primordial black hole collisions with neutron stars. On this basis, we claim that if improved gravitational-wave detectors and microlensing statistics of the LBH events would indicate that the number of LBHs is significantly lower that what follows from the calculated creation rate, then this would be an unambiguous proof that there is no significant light PBH contribution to the galactic dark matter halos. Otherwise, if observed and calculated numbers of LBHs roughly agree, then the hypothesis of primordial black hole existence gets strong observational support, and in addition their collisions with neutron stars may be considered a natural creation channel for the LBHs, solving the problem of their origin, as it is known that they cannot be a product of standard stellar evolution.


title: Continual Learning of Dynamical Systems with Competitive Federated Reservoir Computing

abstract: Machine learning recently proved efficient in learning differential equations and dynamical systems from data. However, the data is commonly assumed to originate from a single never-changing system. In contrast, when modeling real-world dynamical processes, the data distribution often shifts due to changes in the underlying system dynamics. Continual learning of these processes aims to rapidly adapt to abrupt system changes without forgetting previous dynamical regimes. This work proposes an approach to continual learning based on reservoir computing, a state-of-the-art method for training recurrent neural networks on complex spatiotemporal dynamical systems. Reservoir computing fixes the recurrent network weights - hence these cannot be forgotten - and only updates linear projection heads to the output. We propose to train multiple competitive prediction heads concurrently. Inspired by neuroscience's predictive coding, only the most predictive heads activate, laterally inhibiting and thus protecting the inactive heads from forgetting induced by interfering parameter updates. We show that this multi-head reservoir minimizes interference and catastrophic forgetting on several dynamical systems, including the Van-der-Pol oscillator, the chaotic Lorenz attractor, and the high-dimensional Lorenz-96 weather model. Our results suggest that reservoir computing is a promising candidate framework for the continual learning of dynamical systems. We provide our code for data generation, method, and comparisons at \url{https://github.com/leonardbereska/multiheadreservoir}.


title: A Poincar\'e-Steklov map for the MIT bag model

abstract: The purpose of this paper is to introduce and study Poincar\'e-Steklov (PS) operators associated to the Dirac operator $D_m$ with the so-called MIT bag boundary condition. In a domain $\Omega\subset\mathbb{R}^3$, for a complex number $z$ and for $U_z$ a solution of $(D_m-z)U_z=0$, the associated PS operator maps the value of $\Gamma_- U_z$, the MIT bag boundary value of $U_z$, to $\Gamma_+ U_z$, where $\Gamma_\pm$ are projections along the boundary $\partial\Omega$ and $(\Gamma_ - + \Gamma_+) = t_{\partial\Omega}$ is the trace operator on $\partial\Omega$. In the first part of this paper, we show that the PS operator is a zero-order pseudodifferential operator and give its principal symbol. In the second part, we study the PS operator when the mass $m$ is large, and we prove that it fits into the framework of $1/m$-pseudodifferential operators, and we derive some important properties, especially its semiclassical principal symbol. Subsequently, we apply these results to establish a Krein-type resolvent formula for the Dirac operator $H_M= D_m+ M\beta 1_{\mathbb{R}^3\setminus\overline{\Omega}}$ for large masses $M>0$, in terms of the resolvent of the MIT bag operator on $\Omega$. With its help, the large coupling convergence with a convergence rate of $\mathcal{O}(M^{-1})$ is shown.


title: Multi-Agent Car Parking using Reinforcement Learning

abstract: As the industry of autonomous driving grows, so does the potential interaction of groups of autonomous cars. Combined with the advancement of Artificial Intelligence and simulation, such groups can be simulated, and safety-critical models can be learned controlling the cars within. This study applies reinforcement learning to the problem of multi-agent car parking, where groups of cars aim to efficiently park themselves, while remaining safe and rational. Utilising robust tools and machine learning frameworks, we design and implement a flexible car parking environment in the form of a Markov decision process with independent learners, exploiting multi-agent communication. We implement a suite of tools to perform experiments at scale, obtaining models parking up to 7 cars with over a 98.1% success rate, significantly beating existing single-agent models. We also obtain several results relating to competitive and collaborative behaviours exhibited by the cars in our environment, with varying densities and levels of communication. Notably, we discover a form of collaboration that cannot arise without competition, and a 'leaky' form of collaboration whereby agents collaborate without sufficient state. Such work has numerous potential applications in the autonomous driving and fleet management industries, and provides several useful techniques and benchmarks for the application of reinforcement learning to multi-agent car parking.


title: FAUST VI. VLA 1623--2417 B: a new laboratory for astrochemistry around protostars on 50 au scale

abstract: The ALMA interferometer, with its unprecedented combination of high-sensitivity and high-angular resolution, allows for (sub-)mm wavelength mapping of protostellar systems at Solar System scales. Astrochemistry has benefited from imaging interstellar complex organic molecules in these jet-disk systems. Here we report the first detection of methanol (CH3OH) and methyl formate (HCOOCH3) emission towards the triple protostellar system VLA1623-2417 A1+A2+B, obtained in the context of the ALMA Large Program FAUST. Compact methanol emission is detected in lines from Eu = 45 K up to 61 K and 537 K towards components A1 and B, respectively. LVG analysis of the CH3OH lines towards VLA1623-2417 B indicates a size of 0.11-0.34 arcsec (14-45 au), a column density N(CH3OH) = 10^16-10^17 cm-2, kinetic temperature > 170 K, and volume density > 10^8 cm-3. An LTE approach is used for VLA1623-2417 A1, given the limited Eu range, and yields Trot < 135 K. The methanol emission around both VLA1623-2417 A1 and B shows velocity gradients along the main axis of each disk. Although the axial geometry of the two disks is similar, the observed velocity gradients are reversed. The CH3OH spectra from B shows two broad (4-5 km s-1) peaks, which are red- and blue-shifted by about 6-7 km s-1 from the systemic velocity. Assuming a chemically enriched ring within the accretion disk, close to the centrifugal barrier, its radius is calculated to be 33 au. The methanol spectra towards A1 are somewhat narrower (about 4 km s-1), implying a radius of 12-24 au.


title: Gauge/Bethe correspondence from quiver BPS algebras

abstract: We study the Gauge/Bethe correspondence for two-dimensional $\mathcal{N}=(2,2)$ supersymmetric quiver gauge theories associated with toric Calabi-Yau three-folds, whose BPS algebras have recently been identified as the quiver Yangians. We start with the crystal representations of the quiver Yangian, which are placed at each site of the spin chain. We then construct integrable models by combining the single-site crystals into crystal chains by a coproduct of the algebra, which we determine by a combination of representation-theoretical and gauge-theoretical arguments. For non-chiral quivers, we find that the Bethe ansatz equations for the crystal chain coincide with the vacuum equation of the quiver gauge theory, thus confirming the corresponding Gauge/Bethe correspondence. For more general chiral quivers, however, we find obstructions to the $R$-matrices satisfying the Yang-Baxter equations and the unitarity conditions, and hence to their corresponding Gauge/Bethe correspondence. We also discuss trigonometric (quantum toroidal) versions of the quiver BPS algebras, which correspond to three-dimensional $\mathcal{N}=2$ gauge theories and arrive at similar conclusions. Our findings demonstrate that there are important subtleties in the Gauge/Bethe correspondence, often overlooked in the literature.


title: A mean field game approach to equilibrium consumption under external habit formation

abstract: This paper studies the equilibrium consumption under external habit formation in a large population of agents. We first formulate problems under two types of conventional habit formation preferences, namely linear and multiplicative external habit formation, in a mean field game framework. In a log-normal market model with the asset specialization, we characterize one mean field equilibrium in analytical form in each problem, allowing us to understand some quantitative properties of the equilibrium strategy and conclude some financial implications caused by consumption habits from a mean-field perspective. In each problem with n agents, we construct an approximate Nash equilibrium for the n-player game using the obtained mean field equilibrium when n is sufficiently large. The explicit convergence order in each problem can also be obtained.


title: Open Set Classification of Untranscribed Handwritten Documents

abstract: Huge amounts of digital page images of important manuscripts are preserved in archives worldwide. The amounts are so large that it is generally unfeasible for archivists to adequately tag most of the documents with the required metadata so as to low proper organization of the archives and effective exploration by scholars and the general public. The class or ``typology'' of a document is perhaps the most important tag to be included in the metadata. The technical problem is one of automatic classification of documents, each consisting of a set of untranscribed handwritten text images, by the textual contents of the images. The approach considered is based on ``probabilistic indexing'', a relatively novel technology which allows to effectively represent the intrinsic word-level uncertainty exhibited by handwritten text images. We assess the performance of this approach on a large collection of complex notarial manuscripts from the Spanish Archivo Host\'orico Provincial de C\'adiz, with promising results.


title: Measurement of the cross-section ratio $\sigma_{\psi(2S )}/\sigma_{J/\psi(1S )}$ in exclusive photoproduction at HERA

abstract: The exclusive photoproduction reactions $\gamma p \to J/\psi(1S) p$ and $\gamma p \to \psi(2S) p$ have been measured at an $ep$ centre-of-mass energy of 318 GeV with the ZEUS detector at HERA using an integrated luminosity of 373 pb$^{-1}$. The measurement was made in the kinematic range $30 < W < 180$ GeV, $Q^2 < 1$ GeV$^2$ and $|t| < 1$ GeV$^2$, where $W$ is the photon--proton centre-of-mass energy, $Q^2$ is the photon virtuality and $t$ is the squared four-momentum transfer at the proton vertex. The decay channels used were $J/\psi(1S) \to \mu^+ \mu^-$, $\psi(2S) \to \mu^+ \mu^-$ and $\psi(2S) \to J/\psi(1S) \pi^+ \pi^-$ with subsequent decay $J/\psi(1S) \to \mu^+ \mu^-$. The ratio of the production cross sections, $R = \sigma_{\psi(2S)} / \sigma_{J/\psi(1S)}$, has been measured as a function of $W$ and $|t|$ and compared to previous data in photoproduction and deep inelastic scattering and with predictions of QCD-inspired models of exclusive vector-meson production, which are in reasonable agreement with the data.


title: An Informational Approach to Exoplanet Characterization

abstract: The atmospheres of exoplanets harbor critical information about their habitability. However, extracting and interpreting that information requires both high-quality spectroscopic data and a comparative analysis to characterize the findings. Looking forward to data availability, we propose a novel, assumption-free approach adapting the Jensen-Shannon divergence ($\mathcal{D}_{JS}$) information measure to identify Earth-like planets through their transmission spectra. We apply this method to simulated Earth-like and Jupiter-like planets, including high-interest observed exoplanets such as Trappist-1e and GJ 667 Cc, and demonstrate that $\mathcal{D}_{JS}$ can discriminate between different planet types. We argue that this method can be used to identify habitable and even inhabited planets as more precise transit spectroscopy data becomes available in the coming years.


title: A fully differentiable ligand pose optimization framework guided by deep learning and traditional scoring functions

abstract: The machine learning (ML) and deep learning (DL) techniques are widely recognized to be powerful tools for virtual drug screening. The recently reported ML- or DL-based scoring functions have shown exciting performance in predicting protein-ligand binding affinities with fruitful application prospects. However, the differentiation between highly similar ligand conformations, including the native binding pose (the global energy minimum state), remains challenging which could greatly enhance the docking. In this work, we propose a fully differentiable framework for ligand pose optimization based on a hybrid scoring function (SF) combined with a multi-layer perceptron (DeepRMSD) and the traditional AutoDock Vina SF. The DeepRMSD+Vina, which combines (1) the root mean square deviation (RMSD) of the docking pose with respect to the native pose and (2) the AutoDock Vina score, is fully differentiable thus is capable of optimizing the ligand binding pose to the energy-lowest conformation. Evaluated by the CASF-2016 docking power dataset, the DeepRMSD+Vina reaches a success rate of 95.4%, which is by far the best reported SF to date. Based on this SF, an end-to-end ligand pose optimization framework was implemented to improve the docking pose quality. We demonstrated that this method significantly improves the docking success rate (by 15%) in redocking and crossdocking tasks, revealing the high potentialities of this framework in drug design and discovery.


title: Distributional Gaussian Processes Layers for Out-of-Distribution Detection

abstract: Machine learning models deployed on medical imaging tasks must be equipped with out-of-distribution detection capabilities in order to avoid erroneous predictions. It is unsure whether out-of-distribution detection models reliant on deep neural networks are suitable for detecting domain shifts in medical imaging. Gaussian Processes can reliably separate in-distribution data points from out-of-distribution data points via their mathematical construction. Hence, we propose a parameter efficient Bayesian layer for hierarchical convolutional Gaussian Processes that incorporates Gaussian Processes operating in Wasserstein-2 space to reliably propagate uncertainty. This directly replaces convolving Gaussian Processes with a distance-preserving affine operator on distributions. Our experiments on brain tissue-segmentation show that the resulting architecture approaches the performance of well-established deterministic segmentation algorithms (U-Net), which has not been achieved with previous hierarchical Gaussian Processes. Moreover, by applying the same segmentation model to out-of-distribution data (i.e., images with pathology such as brain tumors), we show that our uncertainty estimates result in out-of-distribution detection that outperforms the capabilities of previous Bayesian networks and reconstruction-based approaches that learn normative distributions. To facilitate future work our code is publicly available.


title: Benign overfitting and adaptive nonparametric regression

abstract: In the nonparametric regression setting, we construct an estimator which is a continuous function interpolating the data points with high probability, while attaining minimax optimal rates under mean squared risk on the scale of H\"older classes adaptively to the unknown smoothness.


title: A Unified Initial Alignment Method of SINS Based on FGO

abstract: The initial alignment provides an accurate attitude for SINS (strapdown inertial navigation system). By further estimating the IMU's bias and misalignment angle, the recursive Bayesian filter is accurate. However, the prior heading error has significant influence on the convergence speed and accuracy. In addition, the accuracy will be limited by its iteration at a single time-step. Coarse alignment method OBA (optimization-based alignment) uses MLE (maximum likelihood estimation) to find the optimal attitude quickly. However, few methods consider the IMU bias and misalignment angle, which will reduce the attitude accuracy. In this paper, a unified method based on FGO (Factor graph optimization) and IBF (inertial base frame) is proposed. The attitude is estimated by MLE, IMU bias and misalignment angle are estimated by MAP estimation. The state of all time steps is optimized together to further improve the accuracy. Physical experiments on the rotation MEMS SINS show that the heading accuracy of this method is improved in limited alignment time.


title: Process Knowledge-Infused AI: Towards User-level Explainability, Interpretability, and Safety

abstract: AI systems have been widely adopted across various domains in the real world. However, in high-value, sensitive, or safety-critical applications such as self-management for personalized health or food recommendation with a specific purpose (e.g., allergy-aware recipe recommendations), their adoption is unlikely. Firstly, the AI system needs to follow guidelines or well-defined processes set by experts; the data alone will not be adequate. For example, to diagnose the severity of depression, mental healthcare providers use Patient Health Questionnaire (PHQ-9). So if an AI system were to be used for diagnosis, the medical guideline implied by the PHQ-9 needs to be used. Likewise, a nutritionist's knowledge and steps would need to be used for an AI system that guides a diabetic patient in developing a food plan. Second, the BlackBox nature typical of many current AI systems will not work; the user of an AI system will need to be able to give user-understandable explanations, explanations constructed using concepts that humans can understand and are familiar with. This is the key to eliciting confidence and trust in the AI system. For such applications, in addition to data and domain knowledge, the AI systems need to have access to and use the Process Knowledge, an ordered set of steps that the AI system needs to use or adhere to.


title: Intractable Group-theoretic Problems Around Zero-knowledge Proofs

abstract: While the amount of data produced and accumulated continues to advance at unprecedented rates, protection and concealment of data increase its prominence as a field of scientific study that requires more action. It is essential to protect privacy-sensitive data at every phase; at rest, at run, and while computations are executed on data. The zero-knowledge proof (ZKP) schemes are a cryptographic tool toward this aim. ZKP allows a party to securely ensure the data's authenticity and precision without revealing confidential or privacy-sensitive information during communication or computation. The power of zero-knowledge protocols is based on intractable problems. There is a requirement to design more secure and efficient zero-knowledge proofs. This demand raises the necessity of determining appropriate intractable problems to develop novel ZKP schemes. In this paper, we present a brief outline of ZKP schemes, the connection of these structures to group-theoretic intractable problems, and annotate a list of intractable problems in group theory that can be employed to devise new ZKP schemes.


title: Crystal Nucleation of Highly-Screened Charged Colloids

abstract: We study the nucleation of nearly-hard charged colloidal particles. We use Monte Carlo simulations in combination with free-energy calculations to accurately predict the phase diagrams of these particles and map them via the freezing density to hard spheres, then we use umbrella sampling to explore the nucleation process. Surprisingly, we find that even very small amounts of charge can have a significant effect on the phase behavior. Specifically, we find that phase boundaries and nucleation barriers are mostly dependent on the Debye screening length, and that even screening lengths as small as 2% of the particle diameter are sufficient to show marked differences in both. This work demonstrates clearly that even mildly charged colloids are not effectively hard spheres.


title: Constrained Mass Optimal Transport

abstract: Optimal mass transport, also known as the earth mover's problem, is an optimization problem with important applications in various disciplines, including economics, probability theory, fluid dynamics, cosmology and geophysics to cite a few. Optimal transport has also found successful applications in image registration, content-based image retrieval, and more generally in pattern recognition and machine learning as a way to measure dissimilarity among data. This paper introduces the problem of constrained optimal transport. The time-dependent formulation, more precisely, the fluid dynamics approach is used as a starting point from which the constrained problem is defined by imposing a soft constraint on the density and momentum fields or restricting them to a subset of curves that satisfy some prescribed conditions. A family of algorithms is introduced to solve a class of constrained saddle point problems, which has convexly constrained optimal transport on closed convex subsets of the Euclidean space as a special case. Convergence proofs and numerical results are presented.


title: Is Power-Seeking AI an Existential Risk?

abstract: This report examines what I see as the core argument for concern about existential risk from misaligned artificial intelligence. I proceed in two stages. First, I lay out a backdrop picture that informs such concern. On this picture, intelligent agency is an extremely powerful force, and creating agents much more intelligent than us is playing with fire -- especially given that if their objectives are problematic, such agents would plausibly have instrumental incentives to seek power over humans. Second, I formulate and evaluate a more specific six-premise argument that creating agents of this kind will lead to existential catastrophe by 2070. On this argument, by 2070: (1) it will become possible and financially feasible to build relevantly powerful and agentic AI systems; (2) there will be strong incentives to do so; (3) it will be much harder to build aligned (and relevantly powerful/agentic) AI systems than to build misaligned (and relevantly powerful/agentic) AI systems that are still superficially attractive to deploy; (4) some such misaligned systems will seek power over humans in high-impact ways; (5) this problem will scale to the full disempowerment of humanity; and (6) such disempowerment will constitute an existential catastrophe. I assign rough subjective credences to the premises in this argument, and I end up with an overall estimate of ~5% that an existential catastrophe of this kind will occur by 2070. (May 2022 update: since making this report public in April 2021, my estimate here has gone up, and is now at >10%.)


title: Transformer with Tree-order Encoding for Neural Program Generation

abstract: While a considerable amount of semantic parsing approaches have employed RNN architectures for code generation tasks, there have been only few attempts to investigate the applicability of Transformers for this task. Including hierarchical information of the underlying programming language syntax has proven to be effective for code generation. Since the positional encoding of the Transformer can only represent positions in a flat sequence, we have extended the encoding scheme to allow the attention mechanism to also attend over hierarchical positions in the input. Furthermore, we have realized a decoder based on a restrictive grammar graph model to improve the generation accuracy and ensure the well-formedness of the generated code. While we did not surpass the state of the art, our findings suggest that employing a tree-based positional encoding in combination with a shared natural-language subword vocabulary improves generation performance over sequential positional encodings.


title: A Simple and Scalable Tensor Completion Algorithm via Latent Invariant Constraint for Recommendation System

abstract: In this paper we provide a latent-variable formulation and solution to the recommender system (RS) problem in terms of a fundamental property that any reasonable solution should be expected to satisfy. Specifically, we examine a novel tensor completion method to efficiently and accurately learn parameters of a model for the unobservable personal preferences that underly user ratings. By regularizing the tensor decomposition with a single latent invariant, we achieve three properties for a reliable recommender system: (1) uniqueness of the tensor completion result with minimal assumptions, (2) unit consistency that is independent of arbitrary preferences of users, and (3) a consensus ordering guarantee that provides consistent ranking between observed and unobserved rating scores. Our algorithm leads to a simple and elegant recommendation framework that has linear computational complexity and with no hyperparameter tuning. We provide empirical results demonstrating that the approach significantly outperforms current state-of-the-art methods.


title: iExam: A Novel Online Exam Monitoring and Analysis System Based on Face Detection and Recognition

abstract: Online exams via video conference software like Zoom have been adopted in many schools due to COVID-19. While it is convenient, it is challenging for teachers to supervise online exams from simultaneously displayed student Zoom windows. In this paper, we propose iExam, an intelligent online exam monitoring and analysis system that can not only use face detection to assist invigilators in real-time student identification, but also be able to detect common abnormal behaviors (including face disappearing, rotating faces, and replacing with a different person during the exams) via a face recognition-based post-exam video analysis. To build such a novel system in its first kind, we overcome three challenges. First, we discover a lightweight approach to capturing exam video streams and analyzing them in real time. Second, we utilize the left-corner names that are displayed on each student's Zoom window and propose an improved OCR (optical character recognition) technique to automatically gather the ground truth for the student faces with dynamic positions. Third, we perform several experimental comparisons and optimizations to efficiently shorten the training and testing time required on teachers' PC. Our evaluation shows that iExam achieves high accuracy, 90.4% for real-time face detection and 98.4% for post-exam face recognition, while maintaining acceptable runtime performance. We have made iExam's source code available at https://github.com/VPRLab/iExam.


title: Cyclic Higgs bundles and minimal surfaces in pseudo-hyperbolic spaces

abstract: We introduce a type of minimal surface in the pseudo-hyperbolic space $\mathbb{H}^{n,n}$ (with $n$ even) or $\mathbb{H}^{n+1,n-1}$ (with $n$ odd) associated to cyclic $\mathrm{SO}_0(n,n+1)$-Higg bundles. By establishing the infinitesimal rigidity of these surfaces, we get a new proof, for $\mathrm{SO}_0(n,n+1)$, of Labourie's theorem that the holonomy map restricts to an immersion on the cyclic locus of Hitchin base, and extend it to Collier's components. This implies Labourie's former conjecture in the case of the exceptional group $G_2'$, for which we also show that these minimal surfaces are $\boldsymbol{J}$-holomorphic curves of a particular type in the almost complex $\mathbb{H}^{4,2}$.


title: FIDO2 With Two Displays-Or How to Protect Security-Critical Web Transactions Against Malware Attacks

abstract: With the rise of attacks on online accounts in the past years, more and more services offer two-factor authentication for their users. Having factors out of two of the three categories something you know, something you have and something you are should ensure that an attacker cannot compromise two of them at once. Thus, an adversary should not be able to maliciously interact with one's account. However, this is only true if one considers a weak adversary. In particular, since most current solutions only authenticate a session and not individual transactions, they are noneffective if one's device is infected with malware. For online banking, the banking industry has long since identified the need for authenticating transactions. However, specifications of such authentication schemes are not public and implementation details vary wildly from bank to bank with most still being unable to protect against malware. In this work, we present a generic approach to tackle the problem of malicious account takeovers, even in the presence of malware. To this end, we define a new paradigm to improve two-factor authentication that involves the concepts of one-out-of-two security and transaction authentication. Web authentication schemes following this paradigm can protect security-critical transactions against manipulation, even if one of the factors is completely compromised. Analyzing existing authentication schemes, we find that they do not realize one-out-of-two security. We give a blueprint of how to design secure web authentication schemes in general. Based on this blueprint we propose FIDO2 With Two Displays (FIDO2D), a new web authentication scheme based on the FIDO2 standard and prove its security using Tamarin. We hope that our work inspires a new wave of more secure web authentication schemes, which protect security-critical transactions even against attacks with malware.


title: On stacky surfaces and noncommutative surfaces

abstract: Let $\mathbf{k}$ be an algebraically closed field of characteristic $\geq 7$ or zero. Let $\mathcal{A}$ be a tame order of global dimension $2$ over a normal surface $X$ over $\mathbf{k}$ such that $\operatorname{Z}(\mathcal{A})=\mathcal{O}_{X}$ is locally a direct summand of $\mathcal{A}$. We prove that there is a $\mu_N$-gerbe $\mathcal{X}$ over a smooth tame algebraic stack whose generic stabilizer is trivial, with coarse space $X$ such that the category of 1-twisted coherent sheaves on $\mathcal{X}$ is equivalent to the category of coherent sheaves of modules on $\mathcal{A}$. Moreover, the stack $\mathcal{X}$ is constructed explicitly through a sequence of root stacks, canonical stacks, and gerbes. This extends results of Reiten and Van den Bergh to finite characteristic and the global situation. As applications, in characteristic $0$ we prove that such orders are geometric noncommutative schemes in the sense of Orlov, and we study relations with Hochschild cohomology and Connes' convolution algebra.


title: Approximation of bayesian Hawkes process models with Inlabru

abstract: Hawkes process are very popular mathematical tools for modelling phenomena exhibiting a \textit{self-exciting} or \textit{self-correcting} behaviour. Typical examples are earthquakes occurrence, wild-fires, drought, capture-recapture, crime violence, trade exchange, and social network activity. The widespread use of Hawkes process in different fields calls for fast, reproducible, reliable, easy-to-code techniques to implement such models. We offer a technique to perform approximate Bayesian inference of Hawkes process parameters based on the use of the R-package \inlabru. The \inlabru R-package, in turn, relies on the INLA methodology to approximate the posterior of the parameters. Our Hawkes process approximation is based on a decomposition of the log-likelihood in three parts, which are linearly approximated separately. The linear approximation is performed with respect to the mode of the parameters' posterior distribution, which is determined with an iterative gradient-based method. The approximation of the posterior parameters is therefore deterministic, ensuring full reproducibility of the results. The proposed technique only requires the user to provide the functions to calculate the different parts of the decomposed likelihood, which are internally linearly approximated by the R-package \inlabru. We provide a comparison with the \bayesianETAS R-package which is based on an MCMC method. The two techniques provide similar results but our approach requires two to ten times less computational time to converge, depending on the amount of data.


title: A Lightweight Force-Controllable Wearable Arm Based on Magnetorheological-Hydrostatic Actuators

abstract: Supernumerary Robotic Limbs (SRLs) are wearable robots augmenting human capabilities by acting as a co-worker, reaching objects, support human arms, etc. However, existing SRLs lack the mechanical backdrivability and bandwidth required for tasks where the interaction forces must be controllable such as painting, manipulating fragile objects, etc. Being highly backdrivable with a high bandwidth while minimizing weight presents a major technological challenge imposed by the limited performances of conventional electromagnetic actuators. This paper studies the feasibility of using magnetorheological (MR) clutches coupled to a low-friction hydrostatic transmission to provide a highly capable, but yet lightweight, force-controllable SRL. A 2.7 kg 2-DOFs wearable robotic arm is designed and built. Shoulder and elbow joints are designed to deliver 39 and 25 Nm, with 115 and 180{\deg} of range of motion. Experimental studies conducted on a one-DOF test bench and validated analytically demonstrate a high force bandwidth (>25 Hz) and a good ability to control interaction forces even when interacting with an external impedance. Furthermore, three force-control approaches are studied and demonstrated experimentally: open-loop, closed-loop on force, and closed-loop on pressure. All three methods are shown to be effective. Overall, the proposed MR-Hydrostatic actuation system is well-suited for a lightweight SRL interacting with both human and environment that add unpredictable disturbances.


title: Nonlinear speed-ups in ultracold quantum gases

abstract: Quantum mechanics is an inherently linear theory. However, collective effects in many body quantum systems can give rise to effectively nonlinear dynamics. In the present work, we analyze whether and to what extent such nonlinear effects can be exploited to enhance the rate of quantum evolution. To this end, we compute a suitable version of the quantum speed limit for numerical and analytical examples. We find that the quantum speed limit grows with the strength of the nonlinearity, yet it does not trivially scale with the ``degree'' of nonlinearity. This is numerically demonstrated for the parametric harmonic oscillator obeying Gross-Piteavskii and Kolomeisky dynamics, and analytically for expanding boxes under Gross-Pitaevskii dynamics.


title: Experimental assessment of mixing layer scaling laws in Rayleigh-Taylor instability

abstract: We assess experimentally the scaling laws that characterize the mixing region produced by the Rayleigh-Taylor instability in a confined porous medium. In particular, we wish to assess experimentally the existence of a superlinear scaling for the growth of the mixing region, which was observed in recent two-dimensional simulations. To this purpose, we use a Hele-Shaw cell. The flow configuration consists of a heavy fluid layer overlying a lighter fluid layer, initially separated by a horizontal, flat interface. When small perturbations of concentration and velocity fields occur at the interface, convective mixing is eventually produced: Perturbations grow and evolve into large finger-like convective structures that control the transition from the initial diffusion-dominated phase of the flow to the subsequent convection-dominated phase. As the flow evolves, diffusion acts to reduce local concentration gradients across the interface of the fingers. When the gradients become sufficiently small, the system attains a stably-stratified state and diffusion is again the dominant mixing mechanisms. We employ an optical method to obtain high-resolution measurements of the density fields and we perform experiments for values of the Rayleigh-Darcy number (i.e., the ratio between convection and diffusion) sufficiently large to exhibit all the flow phases just described, which we characterize via the mixing length, a measure of the extension of the mixing region. We are able to confirm that the growth of the mixing length during the convection-dominated phase follows the superlinear scaling predicted by previous simulations.


title: Algebraic study of receptor-ligand systems: a dose-response analysis

abstract: The study of a receptor-ligand system generally relies on the analysis of its dose-response (or concentration-effect) curve, which quantifies the relation between ligand concentration and the biological effect (or cellular response) induced when binding its specific cell surface receptor. Mathematical models of receptor-ligand systems have been developed to compute a dose-response curve under the assumption that the biological effect is proportional to the number of ligand-bound receptors. Given a dose-response curve, two quantities (or metrics) have been defined to characterise the properties of the ligand-receptor system under consideration: amplitude and potency (or half-maximal effective concentration, and denoted by EC$_{50}$). Both the amplitude and the EC$_{50}$ are key quantities commonly used in pharmaco-dynamic modelling, yet a comprehensive mathematical investigation of the behaviour of these two metrics is still outstanding; for a large (and important) family of receptors, called cytokine receptors, we still do not know how amplitude and EC$_{50}$ depend on receptor copy numbers. Here we make use of algebraic approaches (Gr\"obner basis) to study these metrics for a large class of receptor-ligand models, with a focus on cytokine receptors. In particular, we introduce a method, making use of two motivating examples based on the interleukin-7 (IL-7) receptor, to compute analytic expressions for the amplitude and the EC$_{50}$. We then extend the method to a wider class of receptor-ligand systems, sequential receptor-ligand systems with extrinsic kinase, and provide some examples.


title: Interpretable Acoustic Representation Learning on Breathing and Speech Signals for COVID-19 Detection

abstract: In this paper, we describe an approach for representation learning of audio signals for the task of COVID-19 detection. The raw audio samples are processed with a bank of 1-D convolutional filters that are parameterized as cosine modulated Gaussian functions. The choice of these kernels allows the interpretation of the filterbanks as smooth band-pass filters. The filtered outputs are pooled, log-compressed and used in a self-attention based relevance weighting mechanism. The relevance weighting emphasizes the key regions of the time-frequency decomposition that are important for the downstream task. The subsequent layers of the model consist of a recurrent architecture and the models are trained for a COVID-19 detection task. In our experiments on the Coswara data set, we show that the proposed model achieves significant performance improvements over the baseline system as well as other representation learning approaches. Further, the approach proposed is shown to be uniformly applicable for speech and breathing signals and for transfer learning from a larger data set.


title: Centralized and Decentralized Control in Modular Robots and Their Effect on Morphology

abstract: In Evolutionary Robotics, evolutionary algorithms are used to co-optimize morphology and control. However, co-optimizing leads to different challenges: How do you optimize a controller for a body that often changes its number of inputs and outputs? Researchers must then make some choice between centralized or decentralized control. In this article, we study the effects of centralized and decentralized controllers on modular robot performance and morphologies. This is done by implementing one centralized and two decentralized continuous time recurrent neural network controllers, as well as a sine wave controller for a baseline. We found that a decentralized approach that was more independent of morphology size performed significantly better than the other approaches. It also worked well in a larger variety of morphology sizes. In addition, we highlighted the difficulties of implementing centralized control for a changing morphology, and saw that our centralized controller struggled more with early convergence than the other approaches. Our findings indicate that duplicated decentralized networks are beneficial when evolving both the morphology and control of modular robots. Overall, if these findings translate to other robot systems, our results and issues encountered can help future researchers make a choice of control method when co-optimizing morphology and control.


title: Multilevel Bidirectional Cache Filter

abstract: Modern caches are often required to handle a massive amount of data, which exceeds the amount of available memory; thus, hybrid caches, specifically DRAM/SSD combination, become more and more prevalent. In such environments, in addition to the classical hit-ratio target, saving writes to the second-level cache is a dominant factor to avoid write amplification and wear out, two notorious phenomena of SSD. This paper presents BiDiFilter, a novel multilevel caching scheme that controls demotions and promotions between cache levels using a frequency sketch filter. Further, it splits the higher cache level into two areas to keep the most recent and the most frequent items close to the user. We conduct an extensive evaluation over real-world traces, comparing to previous multilevel policies. We show that using our mechanism yields an x10 saving of writes in almost all cases and often improving latencies by up to 20%.


title: Adjusting the bow-tie: A morpho-kinematic study of NGC40

abstract: We present a comprehensive study of the ionization structure and kinematics of the planetary nebula (PN) NGC40 (a.k.a. the Bow-tie Nebula). A set of narrow-band images obtained with the ALhambra Faint Object Spectrograph and Camera (ALFOSC) at the Nordic Optical Telescope (NOT) are used to study the turbulent distribution of gas in the main cavity, the ionization stratification and the density of this PN. High-resolution Manchester Echelle Spectrograph (MES) observations obtained at 2.1m telescope of the San Pedro M\'{a}rtir (SPM) Observatory are used to unveil in great detail the kinematic signatures of all morphological features in NGC40. The images and spectra suggest that NGC40 had multiple mass ejections in its recent formation history. We found 4 jet-like ejections not aligned with the main axis of NGC40 (PA=20$^{\circ}$), some of them having pierced the main cavity along the SW-NE direction as well as the southern lobe. Using a tailor-made morpho-kinematic model of NGC40 produced with SHAPE we found that the main cavity has a kinematic age of 6,500 yr and the two pairs of lobes expanding towards the N and S directions have an averaged age of 4,100$\pm$550 yr. NGC40 thus adds to the group of PNe with multiple ejections along different axes that challenge the models of PN formation.


title: Fast Multilevel Algorithms for Compressive Principle Component Pursuit

abstract: Recovering a low-rank matrix from highly corrupted measurements arises in compressed sensing of structured high-dimensional signals (e.g., videos and hyperspectral images among others). Robust principal component analysis (RPCA), solved via principal component pursuit (PCP), recovers a low-rank matrix from sparse corruptions that are of unknown value and support by decomposing the observation matrix into two terms: a low-rank matrix and a sparse one, accounting for sparse noise and outliers. In the more general setting, where only a fraction of the data matrix has been observed, low-rank matrix recovery is achieved by solving the compressive principle component pursuit (CPCP). Both PCP and CPCP are well-studied convex programs, and numerous iterative algorithms have been proposed for their optimisation. Nevertheless, these algorithms involve singular value decomposition (SVD) at each iteration, which renders their applicability challenging in the case of massive data. In this paper, we propose a multilevel approach for the solution of PCP and CPCP problems. The core principle behind our algorithm is to apply SVD in models of lower-dimensionality than the original one and then lift its solution to the original problem dimension. We show that the proposed algorithms are easy to implement, converge at the same rate but with much lower iteration cost. Numerical experiments on numerous synthetic and real problems indicate that the proposed multilevel algorithms are several times faster than their original counterparts, namely PCP and CPCP.


title: Adaptive Decoding Mechanisms for UAV-enabled Double-Uplink Coordinated NOMA

abstract: In this paper, we propose a novel adaptive decoding mechanism (ADM) for the unmanned aerial vehicle (UAV)-enabled uplink (UL) non-orthogonal multiple access (NOMA) communications. Specifically, considering a harsh UAV environment, where ground-to-ground links are regularly unavailable, the proposed ADM overcomes the challenging problem of conventional UL-NOMA systems whose performance is sensitive to the transmitter's statistical channel state information and the receiver's decoding order. To evaluate the performance of the ADM, we derive closed-form expressions for the system outage probability (OP) and system throughput. In the performance analysis section, we provide novel expressions for practical air-to-ground and ground-to-air channels, while taking into account the practical implementation of imperfect successive interference cancellation (SIC) in UL-NOMA. Moreover, the obtained expression can be adopted to characterize the OP of various systems under a Mixture of Gamma (MG) distribution-based fading channels. Next, we propose a sub-optimal Gradient Descent-based algorithm to obtain the power allocation coefficients that result in maximum throughput with respect to each location on UAV's trajectory. To determine the significance of the proposed ADM in nonstationary environments, we consider the ground users and the UAV to move according to the Random Waypoint Mobility (RWM) and Reference Point Group Mobility (RPGM) models, respectively. Accurate formulas for the distance distributions are also provided. Numerical solutions demonstrate that the ADM-enhanced NOMA not only outperforms Orthogonal Multiple Access (OMA), but also improves the performance of UAV-enabled UL-NOMA even in mobile environments.


title: Second-harmonic response as a tool to detect spin textures in magnetic nodal-line semimetal Fe$_3$GeTe$_2$

abstract: We experimentally investigate second-harmonic transverse voltage response to ac electrical current for a magnetic nodal-line semimetal Fe$_3$GeTe$_2$. For zero magnetic field, the observed response depends as a square of the longitudinal current, as it should be expected for non-linear Hall effect. The magnetic field behavior is found to be sophisticated: while the first-harmonic response shows the known anomalous Hall hysteresis in FGT, the second-harmonic Hall voltage is characterized by the pronounced high-field hysteresis and flat ($B$-independent) region with curves touching at low fields. The high-field hysteresis strongly depends on the magnetic field sweep rate, so it reflects some slow relaxation process. For the lowest rates, it is also accomplished by multiple crossing points. Similar shape of the second-harmonic hysteresis is known for skyrmion spin textures in non-linear optics. Since skyrmions have been demonstrated for FGT by direct visualization techniques, we can connect the observed high-field relaxation with deformation of the skyrmion lattice. Thus, the second-harmonic Hall voltage response can be regarded as a tool to detect spin textures in transport experiments.


title: Recognition and Isomorphism of Proper $\boldsymbol{U}$-graphs in FPT-time

abstract: An $H$-graph is an intersection graph of connected subgraphs of a suitable subdivision of a fixed graph $H$. Many important classes of graphs, including interval graphs, circular-arc graphs, and chordal graphs, can be expressed as $H$-graphs, and, in particular, every graph is an $H$-graph for a suitable graph $H$. An $H$-graph is called proper if it has a representation where no subgraph properly contains another. We consider the recognition and isomorphism problems for proper $U$-graphs where $U$ is a unicylic graph. We prove that testing whether a graph is a (proper) $U$-graph, for some $U$, is NP-hard. On the positive side, we give an FPT-time recognition algorithm, parametrized by $\vert U \vert$. As an application, we obtain an FPT-time isomorphism algorithm for proper $U$-graphs, parametrized by $\vert U \vert$. To complement this, we prove that the isomorphism problem for (proper) $H$-graphs, is as hard as the general isomorphism problem for every fixed $H$ which is not unicyclic.


title: Conceptual Modeling of Actions

abstract: Modeling in software engineering includes constructing static, dynamic, and behavioral representations. In describing system behavior, actions and states are two of the most commonly used concepts. In this paper, we focus on the notion of action. It generally held that the meaning of the concept of action is not that easy to grasp. According to some researchers, many existing systems do involve the notion of action, but in an obscure way. In Unified Modeling Language (UML), an action is a single atomic step within an activity, i.e., it is not further decomposed within the activity. Activity represents a behavior that is composed of actions. This paper contributes to the establishment of a broader interdisciplinary understanding of the notion of action in conceptual modeling based on a model called the thinging machine (TM). The TM uses only five primitive actions: create, process, release, transfer, and receive. The goal of such a venture is to improve the process of developing conceptual models by refining basic concepts such as action and event. To demonstrate how TM modeling represents actions, UML activity and Business Process Model and Notation (BPMN) diagrams are re-modeled in terms of the five TM actions. The results reveal the viability of the TM s five actions in modeling and relate them to other important notions such as activity, event, and behavior.


title: Stability Verification of Neural Network Controllers using Mixed-Integer Programming

abstract: We propose a framework for the stability verification of Mixed-Integer Linear Programming (MILP) representable control policies. This framework compares a fixed candidate policy, which admits an efficient parameterization and can be evaluated at a low computational cost, against a fixed baseline policy, which is known to be stable but expensive to evaluate. We provide sufficient conditions for the closed-loop stability of the candidate policy in terms of the worst-case approximation error with respect to the baseline policy, and we show that these conditions can be checked by solving a Mixed-Integer Quadratic Program (MIQP). Additionally, we demonstrate that an outer and inner approximation of the stability region of the candidate policy can be computed by solving an MILP. The proposed framework is sufficiently general to accommodate a broad range of candidate policies including ReLU Neural Networks (NNs), optimal solution maps of parametric quadratic programs, and Model Predictive Control (MPC) policies. We also present an open-source toolbox in Python based on the proposed framework, which allows for the easy verification of custom NN architectures and MPC formulations. We showcase the flexibility and reliability of our framework in the context of a DC-DC power converter case study and investigate its computational complexity.