title: Increasing Energy Efficiency of Massive-MIMO Network via Base Stations Switching using Reinforcement Learning and Radio Environment Maps

abstract: Energy Efficiency (EE) is of high importance while considering Massive Multiple-Input Multiple-Output (M-MIMO) networks where base stations (BSs) are equipped with an antenna array composed of up to hundreds of elements. M-MIMO transmission, although highly spectrally efficient, results in high energy consumption growing with the number of antennas. This paper investigates EE improvement through switching on/off underutilized BSs. It is proposed to use the location-aware approach, where data about an optimal active BSs set is stored in a Radio Environment Map (REM). For efficient acquisition, processing and utilization of the REM data, reinforcement learning (RL) algorithms are used. State-of-the-art exploration/exploitation methods including e-greedy, Upper Confidence Bound (UCB), and Gradient Bandit are evaluated. Then analytical action filtering, and an REM-based Exploration Algorithm (REM-EA) are proposed to improve the RL convergence time. Algorithms are evaluated using an advanced, system-level simulator of an M-MIMO Heterogeneous Network (HetNet) utilizing an accurate 3D-ray-tracing radio channel model. The proposed RL-based BSs switching algorithm is proven to provide 70% gains in EE over a state-of-the-art algorithm using an analytical heuristic. Moreover, the proposed action filtering and REM-EA can reduce RL convergence time in relation to the best-performing state-of-the-art exploration method by 60% and 83%, respectively.


title: An extension of the rainbow Erd\H{o}s-Rothschild problem

abstract: Given integers $r \geq 2$, $k \geq 3$ and $2 \leq s \leq \binom{k}{2}$, and a graph $G$, we consider $r$-edge-colorings of $G$ with no copy of a complete graph $K_k$ on $k$ vertices where $s$ or more colors appear, which are called $\mathcal{P}_{k,s}$-free $r$-colorings. We show that, for large $n$ and $r \geq r_0(k,s)$, the $(k-1)$-partite Tur\'an graph $T_{k-1}(n)$ on $n$ vertices yields the largest number of $\mathcal{P}_{k,s}$-free $r$-colorings among all $n$-vertex graphs, and that it is the unique graph with this property.


title: Thresholding Greedy Pursuit for Sparse Recovery Problems

abstract: We study here sparse recovery problems in the presence of additive noise. We analyze a thresholding version of the CoSaMP algorithm, named Thresholding Greedy Pursuit (TGP). We demonstrate that an appropriate choice of thresholding parameter, even without the knowledge of sparsity level of the signal and strength of the noise, can result in exact recovery with no false discoveries as the dimension of the data increases to infinity.


title: Mea culpa: How developers fix their own simple bugs differently from other developers

abstract: In this work, we study how the authorship of code affects bug-fixing commits using the SStuBs dataset, a collection of single-statement bug fix changes in popular Java Maven projects. More specifically, we study the differences in characteristics between simple bug fixes by the original author -- that is, the developer who submitted the bug-inducing commit -- and by different developers (i.e., non-authors). Our study shows that nearly half (i.e., 44.3%) of simple bugs are fixed by a different developer. We found that bug fixes by the original author and by different developers differed qualitatively and quantitatively. We observed that bug-fixing time by authors is much shorter than that of other developers. We also found that bug-fixing commits by authors tended to be larger in size and scope, and address multiple issues, whereas bug-fixing commits by other developers tended to be smaller and more focused on the bug itself. Future research can further study the different patterns in bug-fixing and create more tailored tools based on the developer's needs.


title: Deep learning on fundus images detects glaucoma beyond the optic disc

abstract: Although unprecedented sensitivity and specificity values are reported, recent glaucoma detection deep learning models lack in decision transparency. Here, we propose a methodology that advances explainable deep learning in the field of glaucoma detection and vertical cup-disc ratio (VCDR), an important risk factor. We trained and evaluated deep learning models using fundus images that underwent a certain cropping policy. We defined the crop radius as a percentage of image size, centered on the optic nerve head (ONH), with an equidistant spaced range from 10%-60% (ONH crop policy). The inverse of the cropping mask was also applied (periphery crop policy). Trained models using original images resulted in an area under the curve (AUC) of 0.94 [95% CI: 0.92-0.96] for glaucoma detection, and a coefficient of determination (R^2) equal to 77% [95% CI: 0.77-0.79] for VCDR estimation. Models that were trained on images with absence of the ONH are still able to obtain significant performance (0.88 [95% CI: 0.85-0.90] AUC for glaucoma detection and 37% [95% CI: 0.35-0.40] R^2 score for VCDR estimation in the most extreme setup of 60% ONH crop). Our findings provide the first irrefutable evidence that deep learning can detect glaucoma from fundus image regions outside the ONH.


title: Eigenvalue asymptotics for the one-particle density matrix

abstract: The one-particle density matrix $\gamma(x, y)$ for a bound state of an atom or molecule is one of the key objects in the quantum-mechanical approximation schemes. We prove the asymptotic formula $\lambda_k \sim (Ak)^{-8/3}$, $A \ge 0$, as $k\to\infty$, for the eigenvalues $\lambda_k$ of the self-adjoint operator $\boldsymbol\Gamma\ge 0$ with kernel $\gamma(x, y)$.


title: Context-Aware Layout to Image Generation with Enhanced Object Appearance

abstract: A layout to image (L2I) generation model aims to generate a complicated image containing multiple objects (things) against natural background (stuff), conditioned on a given layout. Built upon the recent advances in generative adversarial networks (GANs), existing L2I models have made great progress. However, a close inspection of their generated images reveals two major limitations: (1) the object-to-object as well as object-to-stuff relations are often broken and (2) each object's appearance is typically distorted lacking the key defining characteristics associated with the object class. We argue that these are caused by the lack of context-aware object and stuff feature encoding in their generators, and location-sensitive appearance representation in their discriminators. To address these limitations, two new modules are proposed in this work. First, a context-aware feature transformation module is introduced in the generator to ensure that the generated feature encoding of either object or stuff is aware of other co-existing objects/stuff in the scene. Second, instead of feeding location-insensitive image features to the discriminator, we use the Gram matrix computed from the feature maps of the generated object images to preserve location-sensitive information, resulting in much enhanced object appearance. Extensive experiments show that the proposed method achieves state-of-the-art performance on the COCO-Thing-Stuff and Visual Genome benchmarks.


title: Maximising line subgraphs of diameter at most $t$

abstract: We wish to bring attention to a natural but slightly hidden problem, posed by Erd\H{o}s and Ne\v{s}et\v{r}il in the late 1980s, an edge version of the degree--diameter problem. Our main result is that, for any graph of maximum degree $\Delta$ with more than $1.5 \Delta^t$ edges, its line graph must have diameter larger than $t$. In the case where the graph contains no cycle of length $2t+1$, we can improve the bound on the number of edges to one that is exact for $t\in\{1,2,3,4,6\}$. In the case $\Delta=3$ and $t=3$, we obtain an exact bound. Our results also have implications for the related problem of bounding the distance-$t$ chromatic index, $t>2$; in particular, for this we obtain an upper bound of $1.941\Delta^t$ for graphs of large enough maximum degree $\Delta$, markedly improving upon earlier bounds for this parameter.


title: On 1D, N = 4 Supersymmetric SYK-Type Models (I)

abstract: Proposals are made to describe 1D, N = 4 supersymmetrical systems that extend SYK models by compactifying from 4D, N = 1 supersymmetric Lagrangians involving chiral, vector, and tensor supermultiplets. Quartic fermionic vertices are generated via integrals over the whole superspace, while 2(q-1)-point fermionic vertices are generated via superpotentials. The coupling constants in the superfield Lagrangians are arbitrary, and can be chosen to be Gaussian random. In that case, these 1D, N = 4 supersymmetric SYK models would exhibit Wishart-Laguerre randomness, which share the same feature among other 1D supersymmetric SYK models in literature. One difference with 1D, N = 1 and N = 2 models though, is our models contain dynamical bosons, but this is consistent with other 1D, N = 4 and 2D, N = 2 models in literature. Added conjectures on duality and possible mirror symmetry realizations on these models is noted.


title: Study of a measure of efficiency as a tool for applying the principle of least effort to the derivation of the Zipf and the Pareto laws

abstract: The principle of least effort is believed to be a universal rule for living systems. Its application to the derivation of the power law probability distributions of living systems has long been challenging. Recently, a measure of efficiency was proposed as a tool of deriving Zipf s and Pareto s laws directly from the principle of least effort. The present work is a further investigation of this efficiency measure from a mathematical point of view. The aim is to get further insight into its properties and usefulness as a metric of performance. We address some key mathematical properties of this efficiency such as its sign, uniqueness and robustness. We also look at the relationship between this measure and other properties of the system of interest such as inequality and uncertainty, by introducing a new method for calculating non-negative continuous entropy.


title: An UAV-based Experimental Setup for Propagation Characterization in Urban Environment

abstract: A measurement setup made of millimeter-wave and ultra wideband transceivers mounted on both a customized UAV and a ground station for full 3D wireless propagation analysis is described in this work. The developed system represents a flexible solution for the characterization of wireless channels and especially of urban propagation, as the drone might be easily located almost anywhere from ground level to the buildings rooftop and beyond. The double directional properties of the channel can be achieved by rotating directive antennas at the link ends. Other possible applications in urban contexts include above ground level propagation, outdoor-to-indoor penetration, line-of-sight to non-line-of-sight transition, scattering from buildings and air-to-ground channel characterization for UAV-assisted wireless communications.


title: Autocorrelation-Driven Synthesis of Antenna Arrays -- The Case of DS-Based Planar Isophoric Thinned Arrays

abstract: A new methodology for the design of isophoric thinned arrays with a priori controlled pattern features is introduced. A fully analytical and general (i.e., valid for any lattice and set of weights) relationship between the autocorrelation of the array excitations and the power pattern samples is first derived. Binary 2-D sequences with known autocorrelation properties, namely the difference sets (DSs), are then chosen as a representative benchmark to prove that it is possible to deduce closed-form synthesis formulas that a priori guarantee to fit requirements on the sidelobe level (SLL), the directivity, the half-power beamwidth, and the power pattern in user-defined directions. The selected results from a wide numerical assessment, which also includes full-wave simulations with realistic radiators, are illustrated to validate the reliability and the accuracy of the proposed design equations and the associated performance bounds.


title: Tracking Performance of Incremental LMS Algorithm over Adaptive Distributed Sensor Networks

abstract: In this paper we focus on the tracking performance of incremental adaptive LMS algorithm in an adaptive network. For this reason we consider the unknown weight vector to be a time varying sequence. First we analyze the performance of network in tracking a time varying weight vector and then we explain the estimation of Rayleigh fading channel through a random walk model. Closed-form relations are derived for mean square error (MSE), mean square deviation (MSD) and excess mean square error (EMSE)of analyzed network in tracking Rayleigh fading channel and random walk model. Comparison between theoretical and simulation results shows a perfect match and verifies performed calculations.


title: New Capacity Upper Bounds For Binary Deletion Channel

abstract: This paper considers a binary channel with deletions. We derive two close form upper bound on the capacity of binary deletion channel. The first upper bound is based on computing the capacity of an auxiliary channel and we show how the capacity of auxiliary channel is the upper bound of the binary deletion channel. Our main idea for the second bound is based on computing the mutual information between the sent bits and the received bits in binary deletion channel. We approximate the exact mutual information and we give a close form expression. All bounds utilize first-order Markov process for the channel input. The second proposed upper bound improves the best upper bound [6,11] up to 0.1.


title: The Generalized Fourier Transform: A Unified Framework for the Fourier, Laplace, Mellin and $Z$ Transforms

abstract: This paper introduces Generalized Fourier transform (GFT) that is an extension or the generalization of the Fourier transform (FT). The Unilateral Laplace transform (LT) is observed to be the special case of GFT. GFT, as proposed in this work, contributes significantly to the scholarly literature. There are many salient contribution of this work. Firstly, GFT is applicable to a much larger class of signals, some of which cannot be analyzed with FT and LT. For example, we have shown the applicability of GFT on the polynomially decaying functions and super exponentials. Secondly, we demonstrate the efficacy of GFT in solving the initial value problems (IVPs). Thirdly, the generalization presented for FT is extended for other integral transforms with examples shown for wavelet transform and cosine transform. Likewise, generalized Gamma function is also presented. One interesting application of GFT is the computation of generalized moments, for the otherwise non-finite moments, of any random variable such as the Cauchy random variable. Fourthly, we introduce Fourier scale transform (FST) that utilizes GFT with the topological isomorphism of an exponential map. Lastly, we propose Generalized Discrete-Time Fourier transform (GDTFT). The DTFT and unilateral $z$-transform are shown to be the special cases of the proposed GDTFT. The properties of GFT and GDTFT have also been discussed.


title: DC-Assisted Stabilization of Internal Oscillations for Improved Symbol Transitions in a Direct Antenna Modulation Transmitter

abstract: Internal oscillations in switched antenna transmitters cause undesirable fluctuations of the stored energy in the system, reducing the effectiveness of time-varying broadbanding methods, such as energy-synchronous direct antenna modulation. To mitigate these parasitic oscillations, a modified direct antenna modulation system with an auxiliary DC source is introduced to stabilize energy storage on the antenna. A detailed circuit model for a direct antenna modulation system is used to identify the origin of the oscillations and to justify the selection of the DC source. Measured phase shift keyed waveforms transmitted by the modified system show significant increases in signal fidelity, including a 10-20 dB reduction in error vector magnitude compared to a time-invariant system. Comparison to an equivalent, scalable time-invariant antenna suggests that the switched transmitter behaves as though it has 2-3 times lower radiation Q-factor and 20% higher radiation efficiency.


title: MEC-Empowered Non-Terrestrial Network for 6G Wide-Area Time-Sensitive Internet of Things

abstract: In the upcoming sixth-generation (6G) era, the demand for constructing a wide-area time-sensitive Internet of Things (IoT) keeps increasing. As conventional cellular technologies are hard to be directly used for wide-area time-sensitive IoT, it is beneficial to use non-terrestrial infrastructures including satellites and unmanned aerial vehicles (UAVs), where a non-terrestrial network (NTN) can be built under the cell-free architecture. Driven by the time-sensitive requirements and uneven distribution of IoT devices, the NTN is required to be empowered by mobile edge computing (MEC) while providing oasis-oriented on-demand coverage for the devices. Nevertheless, communication and MEC systems are coupled with each other under the influence of complex propagation environment in the MEC-empowered NTN, which makes it hard to orchestrate the resources. In this paper, we propose a process-oriented framework to design the communication and MEC systems in a time-division manner. Under this framework, the large-scale channel state information (CSI) is used to characterize the complex propagation environment with an affordable cost, where a non-convex latency minimization problem is formulated. After that, the approximated problem is given and it can be decomposed into subproblems. These subproblems are further solved in an iterative way. Simulation results demonstrate the superiority of the proposed process-oriented scheme over other algorithms. These results also indicate that the payload deployments of UAVs should be appropriately predesigned to improve the efficiency of resource use. Furthermore, the results imply that it is advantageous to integrate NTN with MEC for wide-area time-sensitive IoT.


title: PTSC: a New Definition for Structural Controllability under Numerical Perturbations

abstract: This paper proposes a novel notion for structural controllability under structured numerical perturbations, namely the perturbation-tolerant structural controllability (PTSC), on a single-input structured system whose entries can be classified into three categories: fixed zero entries, unknown generic entries whose values are fixed but unknown, and perturbed entries that can take arbitrary complex values. Such a system is PTSC if, for almost all values of the unknown generic entries in the parameter space, the corresponding controllable system realizations can preserve controllability under arbitrary complex-valued perturbations with their structure prescribed by the perturbed entries. This new notion can characterize the generic property in controllability preservation under structured numerical perturbations. We give a necessary and sufficient condition for a single-input system to be PTSC, whose verification has polynomial time complexity. Our results can serve as some feasibility conditions for the conventional structured controllability radius problems from a generic view.


title: Identifying Machine-Paraphrased Plagiarism

abstract: Employing paraphrasing tools to conceal plagiarized text is a severe threat to academic integrity. To enable the detection of machine-paraphrased text, we evaluate the effectiveness of five pre-trained word embedding models combined with machine-learning classifiers and eight state-of-the-art neural language models. We analyzed preprints of research papers, graduation theses, and Wikipedia articles, which we paraphrased using different configurations of the tools SpinBot and SpinnerChief. The best-performing technique, Longformer, achieved an average F1 score of 81.0% (F1=99.7% for SpinBot and F1=71.6% for SpinnerChief cases), while human evaluators achieved F1=78.4% for SpinBot and F1=65.6% for SpinnerChief cases. We show that the automated classification alleviates shortcomings of widely-used text-matching systems, such as Turnitin and PlagScan. To facilitate future research, all data, code, and two web applications showcasing our contributions are openly available at https://github.com/jpwahle/iconf22-paraphrase.


title: Continuous Prediction of Lower-Limb Kinematics From Multi-Modal Biomedical Signals

abstract: The fast-growing techniques of measuring and fusing multi-modal biomedical signals enable advanced motor intent decoding schemes of lowerlimb exoskeletons, meeting the increasing demand for rehabilitative or assistive applications of take-home healthcare. Challenges of exoskeletons motor intent decoding schemes remain in making a continuous prediction to compensate for the hysteretic response caused by mechanical transmission. In this paper, we solve this problem by proposing an ahead of time continuous prediction of lower limb kinematics, with the prediction of knee angles during level walking as a case study. Firstly, an end-to-end kinematics prediction network(KinPreNet), consisting of a feature extractor and an angle predictor, is proposed and experimentally compared with features and methods traditionally used in ahead-of-time prediction of gait phases. Secondly, inspired by the electromechanical delay(EMD), we further explore our algorithm's capability of compensating response delay of mechanical transmission by validating the performance of the different sections of prediction time. And we experimentally reveal the time boundary of compensating the hysteretic response. Thirdly, a comparison of employing EMG signals or not is performed to reveal the EMG and kinematic signals collaborated contributions to the continuous prediction. During the experiments, EMG signals of nine muscles and knee angles calculated from inertial measurement unit (IMU) signals are recorded from ten healthy subjects. To the best of our knowledge, this is the first study of continuously predicting lower-limb kinematics in an ahead-of-time manner based on the electromechanical delay (EMD).


title: Research networks generated by organizational structures, co-authorships and citations: A Case Study of German Centre for Integrative Biodiversity Research (iDiv)

abstract: Exploring whether different patterns emerge across networks generated by organizational structures, co-authorships and citations for characterizing and evaluating cooperative relationships is particularly important for transferring the research results into practice. This research-in-progress paper focuses on using the structure of scientific collaborations and mapping knowledge transfer to gain insight into the influence of collaborative research centres linked to the German Research Foundation (DFG) funding. Within the German Centre for Integrative Biodiversity Research (iDiv), the DFG sponsors research conducted across all participating universities and institutes by more than hundred research groups who bring their expertise to the manifold research fields of biodiversity. Using iDiv research from 2013-2020, we build co-authorship networks and identify the most cohesive communities in terms of collaboration and compare them with groups presented on its website. Corresponding cited and citing works are analysed by distributions to investigate disciplinary collaboration. Our findings show that the number of publications and the intensity of research collaboration have maintained a steady increase. Despite the highly cohesive cooperation structure addressed by iDiv, the internal scientific collaboration has not gained strong momentum compared with its growing trends in international collaborations. The tendency towards covering cross-disciplinary research foci is not evident.


title: Evaluating Post-Training Compression in GANs using Locality-Sensitive Hashing

abstract: The analysis of the compression effects in generative adversarial networks (GANs) after training, i.e. without any fine-tuning, remains an unstudied, albeit important, topic with the increasing trend of their computation and memory requirements. While existing works discuss the difficulty of compressing GANs during training, requiring novel methods designed with the instability of GANs training in mind, we show that existing compression methods (namely clipping and quantization) may be directly applied to compress GANs post-training, without any additional changes. High compression levels may distort the generated set, likely leading to an increase of outliers that may negatively affect the overall assessment of existing k-nearest neighbor (KNN) based metrics. We propose two new precision and recall metrics based on locality-sensitive hashing (LSH), which, on top of increasing the outlier robustness, decrease the complexity of assessing an evaluation sample against $n$ reference samples from $O(n)$ to $O(\log(n))$, if using LSH and KNN, and to $O(1)$, if only applying LSH. We show that low-bit compression of several pre-trained GANs on multiple datasets induces a trade-off between precision and recall, retaining sample quality while sacrificing sample diversity.


title: A matrix-theoretic spectral analysis of incompressible Navier-Stokes staggered DG approximation and related solvers

abstract: The incompressible Navier-Stokes equations are solved in a channel, using a Discontinuous Galerkin method over staggered grids. The resulting linear systems are studied both in terms of the structure and in terms of the spectral features of the related coefficient matrices. In fact, the resulting matrices are of block type, each block showing Toeplitz-like, band, and tensor structure at the same time. Using this rich matrix-theoretic information and the Toeplitz, Generalized Locally Toeplitz technology, a quite complete spectral analysis is presented, with the target of designing and analyzing fast iterative solvers for the associated large linear systems. Quite promising numerical results are presented, commented, and critically discussed for elongated two- and three-dimensional geometries.


title: The classical limit of Schr\"{o}dinger operators in the framework of Berezin quantization and spontaneous symmetry breaking as emergent phenomenon

abstract: The algebraic properties of a strict deformation quantization are analysed on the classical phase space $\bR^{2n}$. The corresponding quantization maps enable us to take the limit for $\hbar \to 0$ of a suitable sequence of algebraic vector states induced by $\hbar$-dependent eigenvectors of several quantum models, in which the sequence converges to a probability measure on $\bR^{2n}$, defining a classical algebraic state. The observables are here represented in terms of a Berezin quantization map which associates classical observables (functions on the phase space) to quantum observables (elements of $C^*$ algebras) parametrized by $\hbar$. The existence of this classical limit is in particular proved for ground states of a wide class of Schr\"{o}dinger operators, where the classical limiting state is obtained in terms of a Haar integral. The support of the classical state (a probability measure on the phase space) is included in certain orbits in $\bR^{2n}$ depending on the symmetry of the potential. In addition, since this $C^*$-algebraic approach allows for both quantum and classical theories, it is highly suitable to study the theoretical concept of spontaneous symmetry breaking (SSB) as an emergent phenomenon when passing from the quantum realm to the classical world by switching off $\hbar$. To this end, a detailed mathematical description is outlined and it is shown how this algebraic approach sheds new light on spontaneous symmetry breaking in several physical models.

categories: math-ph hep-th math.MP math.OA math.QA quant-ph


title: Hydrogenation of C$_{24}$ carbon clusters : structural diversity and energetic properties

abstract: This work aims at exploring the potential energy surfaces of C$_{24}$H$_n${n=0,6,12,18,24} up to 20-25\,eV using the genetic algorithm in combination with the density functional based tight binding (DFTB) potential. The structural diversity of the non fragmented structures was analysed using order parameters which were chosen as the number of 5 or 6 carbon rings and the asphericity constant $\beta$. The most abundant and lowest energy population was found to correspond to a flakes population, constituted of isomers of variable shapes possessing a large number of 5 or 6-carbon rings. This population is characterized by a larger number of spherical isomers when $n_H/n_C$ increases. Simultaneously, the fraction of the pretzels population constituted of spherical isomers possessing fewer 5 or 6 carbon ring cycles increases. For all hydrogenation rates, the fraction of cages population remains extremely minor while the branched population is the highest energy population for all $n_H/n_C$ ratios. For all C$_{24}$H$_n${n=0,6,12,18,24} clusters, a detailed study of the evolution of the carbon ring size distribution as a function of energy clearly shows that the stability is correlated to the number of 6-carbon rings. A similar study for hybridization $sp^n$ (n=1-3) shows that the number of $sp^1$ carbon atoms increases with energy while globally the number of $sp^3$ carbon atoms increases with $n_H/n_C$. The average values of the ionization potentials of all populations were found to decrease when $n_H/n_C$ increases, ranging from 7.9\,eV down to 6.4\,eV that we correlated to carbon atoms hybridization $sp^n$ (n=1-3). These results are of astrophysical interest as they should be taken into account in astrophysical models especially regarding the role of carbonaceous species in the gas ionization.


title: Stable Haptic Teleoperation of UAVs via Small $L_2$ Gain and Control Barrier Functions

abstract: We present a novel haptic teleoperation approach that considers not only the safety but also the stability of a teleoperation system. Specifically, we build upon previous work on haptic shared control, which uses control barrier functions (CBFs) to generate a reference haptic feedback that informs the human operator on the internal state of the system, helping them to safely navigate the robot without taking away their control authority. Crucially, in this approach the force rendered to the user is not directly reflected in the motion of the robot (which is still directly controlled by the user); however, previous work in the area neglected to consider the feedback loop through the user, possibly resulting in unstable closed trajectories. In this paper we introduce a differential constraint on the rendered force that makes the system finite-gain $L_2$ stable; the constraint results in a Quadratically Constrained Quadratic Program (QCQP), for which we provide a closed-form solution. Our constraint is related to but less restrictive than the typical passivity constraint used in previous literature. We conducted an experimental simulation in which a human operator flies a UAV near an obstacle to evaluate the proposed method.


title: The digrundy number of digraphs

abstract: We extend the Grundy number and the ochromatic number, parameters on graph colorings, to digraph colorings, we call them {\emph{digrundy number}} and {\emph{diochromatic number}}, respectively. First, we prove that for every digraph the diochromatic number equals the digrundy number (as it happen for graphs). Then, we prove the interpolation property and the Nordhaus-Gaddum relations for the digrundy number, and improve the Nordhaus-Gaddum relations for the dichromatic and diachromatic numbers bounded previously by the authors in [Electron. J. Combin. 25 (2018) no. 3, Paper {\#} 3.51, 17 pp.]


title: Luminosity distance and anisotropic sky-sampling at low redshifts: a numerical relativity study

abstract: Most cosmological data analysis today relies on the Friedmann-Lemaitre-Robertson-Walker (FLRW) metric, providing the basis of the current standard cosmological model. Within this framework, interesting tensions between our increasingly precise data and theoretical predictions are coming to light. It is therefore reasonable to explore the potential for cosmological analysis outside of the exact FLRW cosmological framework. In this work we adopt the general luminosity-distance series expansion in redshift with no assumptions of homogeneity or isotropy. This framework will allow for a full model-independent analysis of near-future low-redshift cosmological surveys. We calculate the effective observational 'Hubble', 'deceleration', 'curvature' and 'jerk' parameters of the luminosity-distance series expansion in numerical relativity simulations of realistic structure formation, for observers located in different environments and with different levels of sky-coverage. With a 'fairly-sampled' sky, we find 0.6% and 4% cosmic variance in the 'Hubble' and 'deceleration' parameters for scales of 200 Mpc/h (corresponding to density contrasts of ~0.05 in the simulated model universe), respectively. On top of this, we find that typical observers measure maximal sky-variance of 2% and 120% in the same parameters, as compared to their analogies in the large scale FLRW model. Our work suggests the inclusion of low-redshift anisotropy in cosmological analysis could be important for drawing correct conclusions about our Universe.


title: Machine Learning Emulation of 3D Cloud Radiative Effects

abstract: The treatment of cloud structure in numerical weather and climate models is often greatly simplified to make them computationally affordable. Here we propose to correct the European Centre for Medium-Range Weather Forecasts 1D radiation scheme ecRad for 3D cloud effects using computationally cheap neural networks. 3D cloud effects are learned as the difference between ecRad's fast 1D Tripleclouds solver that neglects them and its 3D SPARTACUS (SPeedy Algorithm for Radiative TrAnsfer through CloUd Sides) solver that includes them but is about five times more computationally expensive. With typical errors between 20 % and 30 % of the 3D signal, neural networks improve Tripleclouds' accuracy for about 1 % increase in runtime. Thus, rather than emulating the whole of SPARTACUS, we keep Tripleclouds unchanged for cloud-free parts of the atmosphere and 3D-correct it elsewhere. The focus on the comparably small 3D correction instead of the entire signal allows us to improve predictions significantly if we assume a similar signal-to-noise ratio for both.


title: Retrieve Fast, Rerank Smart: Cooperative and Joint Approaches for Improved Cross-Modal Retrieval

abstract: Current state-of-the-art approaches to cross-modal retrieval process text and visual input jointly, relying on Transformer-based architectures with cross-attention mechanisms that attend over all words and objects in an image. While offering unmatched retrieval performance, such models: 1) are typically pretrained from scratch and thus less scalable, 2) suffer from huge retrieval latency and inefficiency issues, which makes them impractical in realistic applications. To address these crucial gaps towards both improved and efficient cross-modal retrieval, we propose a novel fine-tuning framework that turns any pretrained text-image multi-modal model into an efficient retrieval model. The framework is based on a cooperative retrieve-and-rerank approach which combines: 1) twin networks (i.e., a bi-encoder) to separately encode all items of a corpus, enabling efficient initial retrieval, and 2) a cross-encoder component for a more nuanced (i.e., smarter) ranking of the retrieved small set of items. We also propose to jointly fine-tune the two components with shared weights, yielding a more parameter-efficient model. Our experiments on a series of standard cross-modal retrieval benchmarks in monolingual, multilingual, and zero-shot setups, demonstrate improved accuracy and huge efficiency benefits over the state-of-the-art cross-encoders.


title: Nutri-bullets: Summarizing Health Studies by Composing Segments

abstract: We introduce \emph{Nutri-bullets}, a multi-document summarization task for health and nutrition. First, we present two datasets of food and health summaries from multiple scientific studies. Furthermore, we propose a novel \emph{extract-compose} model to solve the problem in the regime of limited parallel data. We explicitly select key spans from several abstracts using a policy network, followed by composing the selected spans to present a summary via a task specific language model. Compared to state-of-the-art methods, our approach leads to more faithful, relevant and diverse summarization -- properties imperative to this application. For instance, on the BreastCancer dataset our approach gets a more than 50\% improvement on relevance and faithfulness.\footnote{Our code and data is available at \url{https://github.com/darsh10/Nutribullets.}}


title: Prioritized Architecture Sampling with Monto-Carlo Tree Search

abstract: One-shot neural architecture search (NAS) methods significantly reduce the search cost by considering the whole search space as one network, which only needs to be trained once. However, current methods select each operation independently without considering previous layers. Besides, the historical information obtained with huge computation cost is usually used only once and then discarded. In this paper, we introduce a sampling strategy based on Monte Carlo tree search (MCTS) with the search space modeled as a Monte Carlo tree (MCT), which captures the dependency among layers. Furthermore, intermediate results are stored in the MCT for the future decision and a better exploration-exploitation balance. Concretely, MCT is updated using the training loss as a reward to the architecture performance; for accurately evaluating the numerous nodes, we propose node communication and hierarchical node selection methods in the training and search stages, respectively, which make better uses of the operation rewards and hierarchical information. Moreover, for a fair comparison of different NAS methods, we construct an open-source NAS benchmark of a macro search space evaluated on CIFAR-10, namely NAS-Bench-Macro. Extensive experiments on NAS-Bench-Macro and ImageNet demonstrate that our method significantly improves search efficiency and performance. For example, by only searching $20$ architectures, our obtained architecture achieves $78.0\%$ top-1 accuracy with 442M FLOPs on ImageNet. Code (Benchmark) is available at: \url{https://github.com/xiusu/NAS-Bench-Macro}.


title: Asymptotic solution to convolution integral equations on large and small intervals

abstract: We consider convolution integral equations on a finite interval with a real-valued kernel of even parity, a problem equivalent to finding a Wiener-Hopf factorisation of a notoriously difficult class of $2\times 2$ matrices. The kernel function is assumed to be sufficiently smooth and decaying for large values of the argument. Without loss of generality, we focus on a homogeneous equation and we propose methods to construct explicit asymptotic solutions when the interval size is large and small. The large interval method is based on a reduction of the original equation to an integro-differential equation on a half-line that can be asymptotically solved in a closed form. This provides an alternative to other asymptotic techniques that rely on fast (typically exponential) decay of the kernel function at infinity which is not assumed here. We also consider the problem on a small interval and show that finding its asymptotic solution can be reduced to solving an ODE. In particular, approximate solutions could be constructed in terms of readily available special functions (prolate spheroidal harmonics). Numerical illustrations of the obtained results are provided and further extensions of both methods are discussed.


title: Quantified diffuse light in compact groups of galaxies

abstract: The vast majority of stars in galaxy groups are contained within their constituent galaxies. Some small fraction of stars is expected, however, to follow the global dark matter potential of the group. In compact groups, interactions between the galaxies should be frequent. This leads to a more intensive material stripping from the group members, which finally forms an intra-group light component (IGL). Therefore, the distribution of the IGL should be related to the distribution of the total mass in the compact group and its dynamical status. In this study we consider the distribution and fraction of the IGL in a sample of 36 Hickson compact groups (HCGs). We use deep observations of these compact groups (down to surface brightness $\sim 28$ mag\,arcsec$^{-2}$ in the $r$ band) obtained with the WISE $28$-inch telescope. For five HCGs with a bright symmetric IGL component, we carry out multicomponent photometric decomposition to simultaneously fit the galaxy profiles and the IGL. For the remaining groups, we only fit the profiles of their constituent galaxies. We find that the mean surface brightness of the IGL correlates with the mean morphology of the group: it becomes brighter in the groups with a larger fraction of early-type galaxies. On the other hand, the IGL brightness depends on the total luminosity of the group. The IGL profile tends to have a S\'ersic index $n\sim0.5-1$, which is generally consistent with the mass density profile of dark matter haloes in compact groups obtained from cosmological simulations.


title: Spatial alignment, group strategy and non-kin selection enable the evolution of cooperation

abstract: This article considers a mechanism to explain the emergence and evolution of social cooperation. Selfish individuals tend to benefit themselves, which makes it hard for the maintenance of cooperation between unrelated individuals. We propose and validate that a smart group strategy can effectively facilitate the evolution of cooperation, provided cooperators spatially align whilst cooperating at a new level of alliance. The general evolutionary model presented here shows that a non-kin selection effect is a possible cause for cooperation between unrelated individuals and highlights that non-kin selection may be a hallmark of biological evolution.


title: Differentiated nonblocking: a new progress condition and a matching queue algorithm

abstract: In this paper, we first propose a new liveness requirement for shared objects and data structures, we then give a shared queue algorithm that satisfies this requirement and we prove its correctness. We also implement this algorithm and compare it to a well-known shared queue algorithm that is used in practice. In addition to having a stronger worst-case progress guarantee, our experimental results suggest that, at the cost of a marginal decrease in throughput, our algorithm is significantly fairer, by a natural definition of fairness that we introduce here.


title: Hardware Acceleration of Explainable Machine Learning using Tensor Processing Units

abstract: Machine learning (ML) is successful in achieving human-level performance in various fields. However, it lacks the ability to explain an outcome due to its black-box nature. While existing explainable ML is promising, almost all of these methods focus on formatting interpretability as an optimization problem. Such a mapping leads to numerous iterations of time-consuming complex computations, which limits their applicability in real-time applications. In this paper, we propose a novel framework for accelerating explainable ML using Tensor Processing Units (TPUs). The proposed framework exploits the synergy between matrix convolution and Fourier transform, and takes full advantage of TPU's natural ability in accelerating matrix computations. Specifically, this paper makes three important contributions. (1) To the best of our knowledge, our proposed work is the first attempt in enabling hardware acceleration of explainable ML using TPUs. (2) Our proposed approach is applicable across a wide variety of ML algorithms, and effective utilization of TPU-based acceleration can lead to real-time outcome interpretation. (3) Extensive experimental results demonstrate that our proposed approach can provide an order-of-magnitude speedup in both classification time (25x on average) and interpretation time (13x on average) compared to state-of-the-art techniques.


title: Complex Structure of the Eastern Lobe of the Pictor A Radio Galaxy: Spectral Analysis and X-ray/Radio Correlations

abstract: Here we present detailed analysis of the distinct X-ray emission features present within the Eastern radio lobe of the Pictor A galaxy, around the jet termination region, utilising the data obtained from the Chandra X-ray Observatory. Various emission features have been selected for the study based on their enhanced X-ray surface brightness, including five sources that appear point-like, as well as three extended regions, one characterised by a filamentary morphology. For those, we perform a basic spectral analysis within the 0.5-7keV range. We also investigate various correlations between the X-ray emission features and the non-thermal radio emission, utilising the high-resolution radio maps from the Very Large Array at GHz frequencies. The main novel findings following from our analysis, regard the newly recognized bright X-ray filament located upstream of the jet termination region, extending for at least thirty kiloparsec (projected), and inclined with respect to the jet axis. For this feature, we observe a clear anti-correlation between the X-ray surface brightness and the polarized radio intensity, as well as a decrease in the radio rotation measure with respect to the surroundings. We speculate on the nature of the filament, in particular addressing a possibility that it is related to the presence of a hot X-ray emitting thermal gas, only partly mixed with the non-thermal radio/X-ray emitting electrons within the lobe, combined with the reversals in the lobe's net magnetic field.


title: Quantum Chaos of the Bose-Fermi Kondo model at the intermediate temperature

abstract: We study the quantum chaos in the Bose-Fermi Kondo model in which the impurity spin interacts with conduction electrons and a bosonic bath at the intermediate temperature in the large $N$ limit. The out-of-time-ordered correlator is calculated based on the Bethe-Salpeter equation and the Lyapunov exponent $\lambda_L$ is extracted. Our calculation shows that the Lyapunov exponent monotonically increases as the Kondo coupling $J_K$ increases, and it can reach an order of $\lambda_L\sim T$ as $J_K$ approaches the $MCK$ point. Furthermore, we also demonstrate that $\lambda_L$ decreases monotonously as the impurity and bosonic bath coupling $g$ increases, which is contrary to the general expectation that the most chaotic property occurs at the quantum critical point with the non-Fermi liquid nature.


title: Volumetric Procedural Models for Shape Representation

abstract: This article describes a volumetric approach for procedural shape modeling and a new Procedural Shape Modeling Language (PSML) that facilitates the specification of these models. PSML provides programmers the ability to describe shapes in terms of their 3D elements where each element may be a semantic group of 3D objects, e.g., a brick wall, or an indivisible object, e.g., an individual brick. Modeling shapes in this manner facilitates the creation of models that more closely approximate the organization and structure of their real-world counterparts. As such, users may query these models for volumetric information such as the number, position, orientation and volume of 3D elements which cannot be provided using surface based model-building techniques. PSML also provides a number of new language-specific capabilities that allow for a rich variety of context-sensitive behaviors and post-processing functions. These capabilities include an object-oriented approach for model design, methods for querying the model for component-based information and the ability to access model elements and components to perform Boolean operations on the model parts. PSML is open-source and includes freely available tutorial videos, demonstration code and an integrated development environment to support writing PSML programs.


title: Enhanced Principal Component Analysis under A Collaborative-Robust Framework

abstract: Principal component analysis (PCA) frequently suffers from the disturbance of outliers and thus a spectrum of robust extensions and variations of PCA have been developed. However, existing extensions of PCA treat all samples equally even those with large noise. In this paper, we first introduce a general collaborative-robust weight learning framework that combines weight learning and robust loss in a non-trivial way. More significantly, under the proposed framework, only a part of well-fitting samples are activated which indicates more importance during training, and others, whose errors are large, will not be ignored. In particular, the negative effects of inactivated samples are alleviated by the robust loss function. Then we furthermore develop an enhanced PCA which adopts a point-wise sigma-loss function that interpolates between L_2,1-norm and squared Frobenius-norm and meanwhile retains the rotational invariance property. Extensive experiments are conducted on occluded datasets from two aspects including reconstructed errors and clustering accuracy. The experimental results prove the superiority and effectiveness of our model.


title: Photoinduced dynamics of organic molecules using nonequilibrium Green's functions with second-Born, $GW$, $T$-matrix and three-particle ladder correlations

abstract: The ultrafast hole dynamics triggered by the photoexcitation of molecular targets is a highly correlated process even for those systems, like organic molecules, having a weakly correlated ground state. We here provide a unifying framework and a numerically efficient matrix formulation of state-of-the-art non-equilibrium Green's function (NEGF) methods like second-Born as well as $GW$ and $T$-matrix without and {\em with} exchange diagrams. Numerical simulations are presented for a paradigmatic, exactly solvable molecular system and the shortcomings of the established NEGF methods are highlighted. We then develop a NEGF scheme based on the Faddeev treatment of three-particle correlations; the exceptional improvement over established methods is explained and demonstrated. The Faddeev NEGF scheme scales linearly with the maximum propagation time, thereby opening prospects for femtosecond simulations of large molecules.


title: PatentSBERTa: A Deep NLP based Hybrid Model for Patent Distance and Classification using Augmented SBERT

abstract: This study provides an efficient approach for using text data to calculate patent-to-patent (p2p) technological similarity, and presents a hybrid framework for leveraging the resulting p2p similarity for applications such as semantic search and automated patent classification. We create embeddings using Sentence-BERT (SBERT) based on patent claims. We leverage SBERTs efficiency in creating embedding distance measures to map p2p similarity in large sets of patent data. We deploy our framework for classification with a simple Nearest Neighbors (KNN) model that predicts Cooperative Patent Classification (CPC) of a patent based on the class assignment of the K patents with the highest p2p similarity. We thereby validate that the p2p similarity captures their technological features in terms of CPC overlap, and at the same demonstrate the usefulness of this approach for automatic patent classification based on text data. Furthermore, the presented classification framework is simple and the results easy to interpret and evaluate by end-users. In the out-of-sample model validation, we are able to perform a multi-label prediction of all assigned CPC classes on the subclass (663) level on 1,492,294 patents with an accuracy of 54% and F1 score > 66%, which suggests that our model outperforms the current state-of-the-art in text-based multi-label and multi-class patent classification. We furthermore discuss the applicability of the presented framework for semantic IP search, patent landscaping, and technology intelligence. We finally point towards a future research agenda for leveraging multi-source patent embeddings, their appropriateness across applications, as well as to improve and validate patent embeddings by creating domain-expert curated Semantic Textual Similarity (STS) benchmark datasets.


title: Expansion series of the pairwise velocity generating function and its implications on redshift space distortion modeling

abstract: The pairwise velocity generating function $G$ has deep connection with both the pairwise velocity probability distribution function and modeling of redshift space distortion (RSD). Its implementation into RSD modeling is often faciliated by expansion into series of pairwise velocity moments $\langle v_{12}^n\rangle$. Motivated by the logrithmic transformation of the cosmic density field, we investigate an alternative expansion into series of pairwise velocity cumulants $\langle v_{12}^n\rangle_c$ . We numerically evaluate the convergence rate of the two expansions, with three $3072^3$ particle simulations of the CosmicGrowth N-body simulation series. (1) We find that the cumulant expansion performs significantly better, for all the halo samples and redshifts investigated. (2) For modeling RSD at $k_{\|}<0.1 h$ Mpc$^{-1}$, including only the $n=1,2$ cumulants is sufficient. (3) But for modeling RSD at $k_\parallel=0.2 h$ Mpc$^{-1}$, we need and only need the $n=1,2,3,4$ cumulants. These results provide specific requirements on RSD modeling in terms of $m$-th order statistics of the large scale strucure.


title: Local Active Galactic Nuclei with Large Broad-H{\alpha} Variability Reside in Red Galaxies

abstract: Inspired by our serendipitous discovery of six AGNs with varying broad-Halpha fluxes over years out of our searching for intermediate-mass black holes (IMBHs), we conduct a systematic investigation of changing-look (CL) and large-variability AGNs. We collect all the CL AGNs at z<0.15 and the reverberation mapped AGNs with strongly variable broad Halpha, and perform careful decomposition fittings to both their images and spectra. We find two observational facts: (1) The host galaxies of local CL and large-variability AGNs, mainly being Seyferts, are in the red (gas-poor) tail of the general Seyfert galaxy population. (2) In contrast, there is a significant trend that their more luminous counterparts namely CL and extremely variable quasars (CLQs and EVQs) are different: CLQs are generally in blue galaxies; in terms of the diagram of SFR and M* local CL Seyfert galaxies are located in the green valley, whereas CLQ hosts are in the star-forming main sequence. We propose explanations for those strongly variable Seyferts and quasars, respectively, under the thought that accretion disks broadly depend on nuclear fueling modes. Local large-variability and CL Seyferts are in nuclear famine mode, where cold-gas clumps can be formed stochastically in the fueling flow, and their episodic infall produces sharp peaks in the accretion-rate curve. CLQs and EVQs are in feast fueling mode, which may account for both their preference to blue galaxies and their variability pattern (high-amplitude tail of the continuous distribution). Lastly, we propose a new thinking: to search for IMBHs by optical variability in red galaxies.


title: Cosmological Parameter Biases from Doppler-Shifted Weak Lensing in Stage IV Experiments

abstract: The advent of Stage IV weak lensing surveys will open up a new era in precision cosmology. These experiments will offer more than an order-of-magnitude leap in precision over existing surveys, and we must ensure that the accuracy of our theory matches this. Accordingly, it is necessary to explicitly evaluate the impact of the theoretical assumptions made in current analyses on upcoming surveys. One effect typically neglected in present analyses is the Doppler-shift of the measured source comoving distances. Using Fisher matrices, we calculate the biases on the cosmological parameter values inferred from a Euclid-like survey, if the correction for this Doppler-shift is omitted. We find that this Doppler-shift can be safely neglected for Stage IV surveys. The code used in this investigation is made publicly available.


title: Regularized Optimal Transport for Dynamic Semi-supervised Learning

abstract: Semi-supervised learning provides an effective paradigm for leveraging unlabeled data to improve a model's performance. Among the many strategies proposed, graph-based methods have shown excellent properties, in particular since they allow to solve directly the transductive tasks according to Vapnik's principle and they can be extended efficiently for inductive tasks. In this paper, we propose a novel approach for the transductive semi-supervised learning, using a complete bipartite edge-weighted graph. The proposed approach uses the regularized optimal transport between empirical measures defined on labelled and unlabelled data points in order to obtain an affinity matrix from the optimal transport plan. This matrix is further used to propagate labels through the vertices of the graph in an incremental process ensuring the certainty of the predictions by incorporating a certainty score based on Shannon's entropy. We also analyze the convergence of our approach and we derive an efficient way to extend it for out-of-sample data. Experimental analysis was used to compare the proposed approach with other label propagation algorithms on 12 benchmark datasets, for which we surpass state-of-the-art results. We release our code.


title: Partial differential equations to determine elasto-plastic stress-strain behavior from measured kinematic fields

abstract: A system of partial differential equations (PDEs) is derived to compute the full-field stress from an observed kinematic field when the flow rule governing the plastic deformation is unknown. These equations generalize previously proposed equations that assume pure plastic behavior without elasticity. A method to numerically solve these equations is also presented. In addition to force balance, the equations are derived from the elastic-plastic decomposition of the deformation gradient, the assumption of isotropy, and the assumption that the function mapping the elastic strain to stress is known. The system of equations can be directly applied to complex geometries, finite deformation, non-linear elasticity and plasticity, compressible materials, rate dependent materials, and a variety of hardening laws. This system of PDEs is non-linear and time dependent. Furthermore, it overcomes an important prior limitation: it can be directly applied to cases where some regions of a body are elastically deforming while others are elasto-plastically deforming. A two-dimensional case study of necking in a uniaxial tensile specimen is investigated to illustrate and validate the method. The governing equations are numerically solved using strain fields output from a finite element simulation and validated against this same simulation showing accurate results.


title: Muon reconstruction with a convolutional neural network in the JUNO detector

abstract: The Jiangmen Underground Neutrino Observatory (JUNO) is designed to determine the neutrino mass ordering and measure neutrino oscillation parameters. A precise muon reconstruction is crucial to reduce one of the major backgrounds induced by cosmic muons. This article proposes a novel muon reconstruction method based on convolutional neural network (CNN) models. In this method, the track information reconstructed by the top tracker is used for network training. The training dataset is augmented by applying a rotation to muon tracks to compensate for the limited angular coverage of the top tracker. The muon reconstruction with the CNN model can produce unbiased tracks with performance that spatial resolution is better than 10 cm and angular resolution is better than 0.6 degrees. By using a GPU accelerated implementation a speedup factor of 100 compared to existing CPU techniques has been demonstrated.


title: Shallow or Deep? An Empirical Study on Detecting Vulnerabilities using Deep Learning

abstract: Deep learning (DL) techniques are on the rise in the software engineering research community. More and more approaches have been developed on top of DL models, also due to the unprecedented amount of software-related data that can be used to train these models. One of the recent applications of DL in the software engineering domain concerns the automatic detection of software vulnerabilities. While several DL models have been developed to approach this problem, there is still limited empirical evidence concerning their actual effectiveness especially when compared with shallow machine learning techniques. In this paper, we partially fill this gap by presenting a large-scale empirical study using three vulnerability datasets and five different source code representations (i.e., the format in which the code is provided to the classifiers to assess whether it is vulnerable or not) to compare the effectiveness of two widely used DL-based models and of one shallow machine learning model in (i) classifying code functions as vulnerable or non-vulnerable (i.e., binary classification), and (ii) classifying code functions based on the specific type of vulnerability they contain (or "clean", if no vulnerability is there). As a baseline we include in our study the AutoML utility provided by the Google Cloud Platform. Our results show that the experimented models are still far from ensuring reliable vulnerability detection, and that a shallow learning classifier represents a competitive baseline for the newest DL-based models.


title: Self-Adaptive Manufacturing with Digital Twins

abstract: Digital Twins are part of the vision of Industry 4.0 to represent, control, predict, and optimize the behavior of Cyber-Physical Production Systems (CPPSs). These CPPSs are long-living complex systems deployed to and configured for diverse environments. Due to specific deployment, configuration, wear and tear, or other environmental effects, their behavior might diverge from the intended behavior over time. Properly adapting the configuration of CPPSs then relies on the expertise of human operators. Digital Twins (DTs) that reify this expertise and learn from it to address unforeseen challenges can significantly facilitate self-adaptive manufacturing where experience is very specific and, hence, insufficient to employ deep learning techniques. We leverage the explicit modeling of domain expertise through case-based reasoning to improve the capabilities of Digital Twins for adapting to such situations. To this effect, we present a modeling framework for self-adaptive manufacturing that supports modeling domain-specific cases, describing rules for case similarity and case-based reasoning within a modular Digital Twin. Automatically configuring Digital Twins based on explicitly modeled domain expertise can improve manufacturing times, reduce wastage, and, ultimately, contribute to better sustainable manufacturing.


title: Surface pinning and triggered unwinding of skyrmions in a cubic chiral magnet

abstract: In the cubic chiral magnet Fe$_{1-x}$Co$_{x}$Si a metastable state comprising of topologically nontrivial spin whirls, so-called skyrmions, may be preserved down to low temperatures by means of field cooling the sample. This metastable skyrmion state is energetically separated from the topologically trivial ground state by a considerable potential barrier, a phenomenon also referred to as topological protection. Using magnetic force microscopy on the surface of a bulk crystal, we show that certain positions are preferentially and reproducibly decorated with metastable skyrmions, indicating that surface pinning plays a crucial role. Increasing the magnetic field allows an increasing number of skyrmions to overcome the potential barrier, and hence to transform into the ground state. Most notably, we find that the unwinding of individual skyrmions may be triggered by the magnetic tip itself, however, only when its magnetization is aligned parallel to the external field. This implies that the stray field of the tip is key for locally overcoming the topological protection. Both the control of the position of topologically nontrivial states as well as their creation and annihilation on demand pose important challenges in the context of potential skyrmionic applications.


title: BERT: A Review of Applications in Natural Language Processing and Understanding

abstract: In this review, we describe the application of one of the most popular deep learning-based language models - BERT. The paper describes the mechanism of operation of this model, the main areas of its application to the tasks of text analytics, comparisons with similar models in each task, as well as a description of some proprietary models. In preparing this review, the data of several dozen original scientific articles published over the past few years, which attracted the most attention in the scientific community, were systematized. This survey will be useful to all students and researchers who want to get acquainted with the latest advances in the field of natural language text analysis.


title: Learning Accurate Business Process Simulation Models from Event Logs via Automated Process Discovery and Deep Learning

abstract: Business process simulation is a well-known approach to estimate the impact of changes to a process with respect to time and cost measures -- a practice known as what-if process analysis. The usefulness of such estimations hinges on the accuracy of the underlying simulation model. Data-Driven Simulation (DDS) methods leverage process mining techniques to learn process simulation models from event logs. Empirical studies have shown that, while DDS models adequately capture the observed sequences of activities and their frequencies, they fail to accurately capture the temporal dynamics of real-life processes. In contrast, generative Deep Learning (DL) models are better able to capture such temporal dynamics. The drawback of DL models is that users cannot alter them for what-if analysis due to their black-box nature. This paper presents a hybrid approach to learn process simulation models from event logs wherein a (stochastic) process model is extracted via DDS techniques, and then combined with a DL model to generate timestamped event sequences. An experimental evaluation shows that the resulting hybrid simulation models match the temporal accuracy of pure DL models, while partially retaining the what-if analysis capability of DDS approaches.


title: A millikelvin scanning tunneling microscope in ultra-high vacuum with adiabatic demagnetization refrigeration

abstract: We present the design and performance of an ultra-high vacuum (UHV) scanning tunneling microscope (STM) that uses adiabatic demagnetization of electron magnetic moments for controlling its operating temperature in the range between 30 mK and 1 K with the accuracy of up to 7 $\mu$K. The time available for STM experiments at 50 mK is longer than 20 h, at 100 mK about 40 h. The single-shot adiabatic demagnetization refrigerator (ADR) can be regenerated automatically within 7 hours while keeping the STM temperature below 5 K. The whole setup is located in a vibrationally isolated, electromagnetically shielded laboratory with no mechanical pumping lines penetrating through its isolation walls. The 1K pot of the ADR cryostat can be operated silently for more than 20 days in a single-shot mode using a custom-built high-capacity cryopump. A high degree of vibrational decoupling together with the use of a specially-designed minimalistic STM head provides an outstanding mechanical stability, demonstrated by the tunneling current noise, STM imaging, and scanning tunneling spectroscopy measurements all performed on atomically clean Al(100) surface.


title: Joint convergence of sample cross-covariance matrices

abstract: Suppose $X$ and $Y$ are $p\times n$ matrices each with mean $0$, variance $1$ and where all moments of any order are uniformly bounded as $p,n \to \infty$. Moreover, the entries $(X_{ij}, Y_{ij})$ are independent across $i,j$ with a common correlation $\rho$. Let $C=n^{-1}XY^*$ be the sample cross-covariance matrix. We show that if $n, p\to \infty, p/n\to y\neq 0$, then $C$ converges in the algebraic sense and the limit moments depend only on $\rho$. Independent copies of such matrices with same $p$ but different $n$, say $\{n_l\}$, different correlations $\{\rho_l\}$, and different non-zero $y$'s, say $\{y_l\}$ also converge jointly and are asymptotically free. When $y=0$, the matrix $\sqrt{np^{-1}}(C-\rho I_p)$ converges to an elliptic variable with parameter $\rho^2$. In particular, this elliptic variable is circular when $\rho=0$ and is semi-circular when $\rho=1$. If we take independent $C_l$, then the matrices $\{\sqrt{n_lp^{-1}}(C_l-\rho_l I_p)\}$ converge jointly and are also asymptotically free. As a consequence, the limiting spectral distribution of any symmetric matrix polynomial exists and has compact support.


title: Zeros of Gaussian power series, Hardy spaces and determinantal point processes

abstract: Given a sequence $(\xi_n)$ of standard i.i.d complex Gaussian random variables, Peres and Vir\'ag (in the paper ``Zeros of the i.i.d. Gaussian power series: a conformally invariant determinantal process'' {\it Acta Math.} (2005) 194, 1-35) discovered the striking fact that the zeros of the random power series $f(z) = \sum_{n=1}^\infty \xi_n z^{n-1}$ in the complex unit disc $\mathbb{D}$ constitute a determinantal point process. The study of the zeros of the general random series $f(z)$ where the restriction of independence is relaxed upon the random variables $(\xi_n)$ is an important open problem. This paper proves that if $(\xi_n)$ is an infinite sequence of complex Gaussian random variables such that their covariance matrix is invertible and its inverse is a Toeplitz matrix, then the zero set of $f(z)$ constitutes a determinantal point process with the same distribution as the case of i.i.d variables studied by Peres and Vir\'ag. The arguments are based on some interplays between Hardy spaces and reproducing kernels. Illustrative examples are constructed from classical Toeplitz matrices and the classical fractional Gaussian noise.


title: Deep Hedging: Learning Risk-Neutral Implied Volatility Dynamics

abstract: We present a numerically efficient approach for learning a risk-neutral measure for paths of simulated spot and option prices up to a finite horizon under convex transaction costs and convex trading constraints. This approach can then be used to implement a stochastic implied volatility model in the following two steps: 1. Train a market simulator for option prices, as discussed for example in our recent; 2. Find a risk-neutral density, specifically the minimal entropy martingale measure. The resulting model can be used for risk-neutral pricing, or for Deep Hedging in the case of transaction costs or trading constraints. To motivate the proposed approach, we also show that market dynamics are free from "statistical arbitrage" in the absence of transaction costs if and only if they follow a risk-neutral measure. We additionally provide a more general characterization in the presence of convex transaction costs and trading constraints. These results can be seen as an analogue of the fundamental theorem of asset pricing for statistical arbitrage under trading frictions and are of independent interest.


title: Reinforcement Learning based on Scenario-tree MPC for ASVs

abstract: In this paper, we present the use of Reinforcement Learning (RL) based on Robust Model Predictive Control (RMPC) for the control of an Autonomous Surface Vehicle (ASV). The RL-MPC strategy is utilized for obstacle avoidance and target (set-point) tracking. A scenario-tree robust MPC is used to handle potential failures of the ship thrusters. Besides, the wind and ocean current are considered as unknown stochastic disturbances in the real system, which are handled via constraints tightening. The tightening and other cost parameters are adjusted by RL, using a Q-learning technique. An economic cost is considered, minimizing the time and energy required to achieve the ship missions. The method is illustrated in simulation on a nonlinear 3-DOF model of a scaled version of the Cybership 2.


title: Pressure, temperature, and orientation dependent thermal conductivity of $\alpha$-1,3,5-trinitro-1,3,5-triazinane ($\alpha$-RDX)

abstract: We use reverse non-equilibrium molecular dynamics (RNEMD) simulations to determine the thermal conductivity in $\alpha$-RDX in the <100>, <010>, and <001> crystallographic directions. Simulations are carried out with the Smith-Bharadwaj non-reactive empirical interatomic potential [Smith & Bharadwaj, J. Phys. Chem. B 103, 3570(1999)], which represents the thermo-elastic properties of RDX with good accuracy. As an illustration, we report the temperature and pressure dependence of lattice constants of $\alpha$-RDX, which compare well with experimental and ab initio results, as do linear and volume thermal expansion coefficients, which we also calculate. We find that the thermal conductivity depends linearly on the inverse temperature in the 200-400K regime due to the decrease in the phonon mean free path. The thermal conductivity also exhibits anisotropy, with a maximum difference at 300K of 24% between the <001> and <010> directions, an effect that remains when temperature increases. Thermal conductivity in the <100> direction is mostly between the two other directions, although crossovers are predicted with <001> at high temperature, and <010> at low temperature under pressure. We observe that the thermal conductivity varies linearly with pressure up to 4 GPa. The data are fitted to analytical functions for interpolation/extrapolation and use in continuum simulations. MD results are validated against experiments using impulsive stimulated thermal scattering (ISTS) on RDX single crystals at 293K and ambient pressure, showing good qualitative and quantitative agreement: same ordering between the three principal orientations, and an average error of 10% between the experiments and the model. These results provide confidence that the extracted analytical functions using the RNEMD methodology and the Smith-Bharadwaj potential can be applied to model the thermal conductivity of $\alpha$-RDX.


title: Demographic Aware Probabilistic Medical Knowledge Graph Embeddings of Electronic Medical Records

abstract: Medical knowledge graphs (KGs) constructed from Electronic Medical Records (EMR) contain abundant information about patients and medical entities. The utilization of KG embedding models on these data has proven to be efficient for different medical tasks. However, existing models do not properly incorporate patient demographics and most of them ignore the probabilistic features of the medical KG. In this paper, we propose DARLING (Demographic Aware pRobabiListic medIcal kNowledge embeddinG), a demographic-aware medical KG embedding framework that explicitly incorporates demographics in the medical entities space by associating patient demographics with a corresponding hyperplane. Our framework leverages the probabilistic features within the medical entities for learning their representations through demographic guidance. We evaluate DARLING through link prediction for treatments and medicines, on a medical KG constructed from EMR data, and illustrate its superior performance compared to existing KG embedding models.


title: Uncovering Bias in Order Assignment

abstract: Many real life situations require a set of items to be repeatedly placed in a random sequence. In such circumstances, it is often desirable to test whether such randomization indeed obtains, yet this problem has received very limited attention in the literature. This paper articulates the key features of this problem and presents three "untargeted" tests that require no a priori information from the analyst. These methods are used to analyze the order in which lottery numbers are drawn in Powerball, the order in which contestants perform on American Idol, and the order of candidates on primary election ballots in Texas and West Virginia. In this last application, multiple deviations from full randomization are detected, with potentially serious political and legal consequences. The form these deviations take varies, depending on institutional factors, which sometimes necessitates the use of tests that exchange power for increased robustness.


title: Field-induced reorientation of helimagnetic order in Cu$_2$OSeO$_3$ probed by magnetic force microscopy

abstract: Cu$_2$OSeO$_3$ is an insulating skyrmion-host material with a magnetoelectric coupling giving rise to an electric polarization with a characteristic dependence on the magnetic field $\vec H$. We report magnetic force microscopy imaging of the helical real-space spin structure on the surface of a bulk single crystal of Cu$_2$OSeO$_3$. In the presence of a magnetic field, the helimagnetic order in general reorients and acquires a homogeneous component of the magnetization, resulting in a conical arrangement at larger fields. We investigate this reorientation process at a temperature of 10~K for fields close to the crystallographic $\langle 110\rangle$ direction that involves a phase transition at $H_{c1}$. Experimental evidence is presented for the formation of magnetic domains in real space as well as for the microscopic origin of relaxation events that accompany the reorientation process. In addition, the electric polarization is measured by means of Kelvin-probe force microscopy. We show that the characteristic field dependency of the electric polarization originates in this helimagnetic reorientation process. Our experimental results are well described by an effective Landau theory previously invoked for MnSi, that captures the competition between magnetocrystalline anisotropies and Zeeman energy.


title: Testing homogeneity of the galaxy distribution in the SDSS using Renyi entropy

abstract: We analyze a set of volume limited sample of galaxies from the SDSS to study the issue of cosmic homogeneity. We use the Renyi entropy of different order to probe the inhomogeneties present in the galaxy distributions. We also calculate the Renyi diveregence to quantify the deviations of the galaxy distribution from a homogeneous Poisson distribution on different length scales. We separately carry out the analysis using the overlapping spheres and the independent voxels. Our analysis suggests that the scale of homogeneity is underestimated in the smaller galaxy samples due to the suppression of inhomogeneities by the overlapping of the measuring speheres. We find that an analysis with the independent voxels and/or use of a significantly larger galaxy sample can help to circumvent or mitigate this problem. Combining the results from these analyses, we find that the galaxy distribution in the SDSS becomes homogeneous on a length scale beyond $140 \, h^{-1}\, {\rm Mpc}$.


title: Improving and Simplifying Pattern Exploiting Training

abstract: Recently, pre-trained language models (LMs) have achieved strong performance when fine-tuned on difficult benchmarks like SuperGLUE. However, performance can suffer when there are very few labeled examples available for fine-tuning. Pattern Exploiting Training (PET) is a recent approach that leverages patterns for few-shot learning. However, PET uses task-specific unlabeled data. In this paper, we focus on few-shot learning without any unlabeled data and introduce ADAPET, which modifies PET's objective to provide denser supervision during fine-tuning. As a result, ADAPET outperforms PET on SuperGLUE without any task-specific unlabeled data. Our code can be found at https://github.com/rrmenon10/ADAPET.


title: The Implications of the No-Free-Lunch Theorems for Meta-induction

abstract: The important recent book by G. Schurz appreciates that the no-free-lunch theorems (NFL) have major implications for the problem of (meta) induction. Here I review the NFL theorems, emphasizing that they do not only concern the case where there is a uniform prior -- they prove that there are "as many priors" (loosely speaking) for which any induction algorithm $A$ out-generalizes some induction algorithm $B$ as vice-versa. Importantly though, in addition to the NFL theorems, there are many {free lunch} theorems. In particular, the NFL theorems can only be used to compare the {marginal} expected performance of an induction algorithm $A$ with the marginal expected performance of an induction algorithm $B$. There is a rich set of free lunches which instead concern the statistical correlations among the generalization errors of induction algorithms. As I describe, the meta-induction algorithms that Schurz advocate as a "solution to Hume's problem" are just an example of such a free lunch based on correlations among the generalization errors of induction algorithms. I end by pointing out that the prior that Schurz advocates, which is uniform over bit frequencies rather than bit patterns, is contradicted by thousands of experiments in statistical physics and by the great success of the maximum entropy procedure in inductive inference.


title: The SO(3) Vortex Equations over Orbifold Riemann Surfaces

abstract: We study the general properties of the moduli spaces of SO(3) vortices over orbifold Riemann surfaces and use these to characterize the solutions of the SO(3) monopole equations on Seifert manifolds following in the footsteps of Mrowka, Ozsv\'ath and Yu. We also study the solutions to the SO(3) monopole equations on S1 x (Riemann Surface) in order to motivate the construction of a version of monopole Floer homology, which we call framed monopole Floer homology, in analogy with the construction given by Kronheimer and Mrowka for the case of instanton Floer homology. Finally, the SO(3) vortex moduli spaces provide a nice toy model for recent work due to Feehan and Leness regarding the study of a natural Morse-Bott function on the moduli space of SO(3) monopoles over Kahler manifolds. In particular, we compute the Morse-Bott indices of this function.


title: Preliminary Analysis of Potential Harms in the Luca Tracing System

abstract: In this document, we analyse the potential harms a large-scale deployment of the Luca system might cause to individuals, venues, and communities. The Luca system is a digital presence tracing system designed to provide health departments with the contact information necessary to alert individuals who have visited a location at the same time as a SARS-CoV-2-positive person. Multiple regional health departments in Germany have announced their plans to deploy the Luca system for the purpose of presence tracing. The system's developers suggest its use across various types of venues: from bars and restaurants to public and private events, such religious or political gatherings, weddings, and birthday parties. Recently, an extension to include schools and other educational facilities was discussed in public. Our analysis of the potential harms of the system is based on the publicly available Luca Security Concept which describes the system's security architecture and its planned protection mechanisms. The Security Concept furthermore provides a set of claims about the system's security and privacy properties. Besides an analysis of harms, our analysis includes a validation of these claims.


title: Normal-mode driven exploration of protein domain motions

abstract: Domain motions involved in the function of proteins can often be well described as a combination of motions along a handfull of low-frequency modes, that is, with the values of a few normal coordinates. This means that, when the functional motion of a protein is unknown, it should prove possible to predict it, since it amounts to guess a few values. However, without the help of additional experimental data, using normal coordinates for generating accurate conformers far away from the initial one is not so straightforward. To do so, a new approach is proposed: instead of building conformers directly with the values of a subset of normal coordinates, they are built in two steps, the conformer built with normal coordinates being just used for defining a set of distance constraints, the final conformer being built so as to match them. Note that this approach amounts to transform the problem of generating accurate protein conformers using normal coordinates into a better known one: the distance-geometry problem, which is herein solved with the help of the ROSETTA software. In the present study, this approach allowed to rebuild accurately six large amplitude conformational changes, using at most six low-frequency normal coordinates. As a consequence of the low-dimensionality of the corresponding subspace, random exploration also proved enough for generating low-energy conformers close to the known end-point of the conformational change of the LAO binding protein, lysozyme T4 and adenylate kinase.


title: New series with Cauchy and Stirling numbers, Part 2

abstract: We evaluate in closed form several series involving products of Cauchy numbers with other special numbers (harmonic, skew-harmonic, hyperharmonic, and central binomial). Similar results are obtained with series involving Stirling numbers of the first kind. We focus on several particular cases which give new closed forms for Euler sums of hyperharmonic numbers and products of hyperharmonic and harmonic numbers.


title: Artificial Intelligence Narratives: An Objective Perspective on Current Developments

abstract: This work provides a starting point for researchers interested in gaining a deeper understanding of the big picture of artificial intelligence (AI). To this end, a narrative is conveyed that allows the reader to develop an objective view on current developments that is free from false promises that dominate public communication. An essential takeaway for the reader is that AI must be understood as an umbrella term encompassing a plethora of different methods, schools of thought, and their respective historical movements. Consequently, a bottom-up strategy is pursued in which the field of AI is introduced by presenting various aspects that are characteristic of the subject. This paper is structured in three parts: (i) Discussion of current trends revealing false public narratives, (ii) an introduction to the history of AI focusing on recurring patterns and main characteristics, and (iii) a critical discussion on the limitations of current methods in the context of the potential emergence of a strong(er) AI. It should be noted that this work does not cover any of these aspects holistically; rather, the content addressed is a selection made by the author and subject to a didactic strategy.


title: Non-invasive multigrid for semi-structured grids

abstract: Multigrid solvers for hierarchical hybrid grids (HHG) have been proposed to promote the efficient utilization of high performance computer architectures. These HHG meshes are constructed by uniformly refining a relatively coarse fully unstructured mesh. While HHG meshes provide some flexibility for unstructured applications, most multigrid calculations can be accomplished using efficient structured grid ideas and kernels. This paper focuses on generalizing the HHG idea so that it is applicable to a broader community of computational scientists, and so that it is easier for existing applications to leverage structured multigrid components. Specifically, we adapt the structured multigrid methodology to significantly more complex semi-structured meshes. Further, we illustrate how mature applications might adopt a semi-structured solver in a relatively non-invasive fashion. To do this, we propose a formal mathematical framework for describing the semi-structured solver. This formalism allows us to precisely define the associated multigrid method and to show its relationship to a more traditional multigrid solver. Additionally, the mathematical framework clarifies the associated software design and implementation. Numerical experiments highlight the relationship of the new solver with classical multigrid. We also demonstrate the generality and potential performance gains associated with this type of semi-structured multigrid.


title: Current distributions by moving vortices in superconductors

abstract: We take account of normal currents that emerge when vortices move. Moving Abrikosov vortices in the bulk and Pearl vortices in thin films are considered. Velocity dependent distributions of both normal and persistent currents are studied in the frame of time-dependent London equations. In thin films near the Pearl vortex core, these distributions are intriguing in particular.


title: Historic wandering domains near cycles

abstract: We explain how to obtain non-trivial historic contractive wandering domains for a dense set of diffeomorphisms in certain type of $C^r$-Newhouse domains of homoclinic tangencies in dimension $d\geq 3$ and $r\geq 1$. In particular, this gives for the first time a contribution to Takens' last problem in the $C^1$ topology and in dimension $d>2$. We show how these Newhouse domains can be obtained arbitrarily close to diffeomorphisms exhibiting heterodimensional cycles (in dimension $d=3$) or non-transverse equidimensional cycles (in any dimension $d\ge 3$) associated with periodic points with non-real complex leading multipliers.


title: Gauge covariant neural network for 4 dimensional non-abelian gauge theory

abstract: Quantum-Chromo dynamics (QCD) is a fundamental theory for quarks and gluons, which describes both the sub-atomic world and the history of our universe. The simulation for QCD on a lattice (lattice QCD) is one of the most challenging computational tasks. Recently, machine-learning techniques have been applied to solve various problems in lattice QCD. We propose gauge covariant neural networks and their training rule for lattice QCD, which can treat realistic quarks and gluons in four dimensions. We find that the smearing procedure can be regarded as extended versions of residual neural networks with fixed parameters. To show the applicability of our neural networks, we develop the self-learning hybrid Monte-Carlo for two-color QCD, where results are consistent with the results of the Hybrid Monte Carlo.


title: Barrier-mediated predator-prey dynamics

abstract: The survival chance of a prey chased by a predator depends not only on their relative speeds but importantly also on the local environment they have to face. For example, a wolf chasing a deer might take a long time to cross a river which can quickly be crossed by the deer. Here, we propose a simple predator-prey model for a situation in which both the escaping prey and the chasing predator have to surmount an energetic barrier. Different barrier-assisted states of catching or final escaping are classified and suitable scaling laws separating these two states are derived. We discuss the effect of fluctuations on the catching times and determine states in which catching or escaping is more likely. We further identify trapping or escaping states which are determined by hydrodynamics and chemotactic interactions. Our results are of importance for both microbes and self-propelled unanimate microparticles following each other by non-reciprocal interactions in inhomogeneous landscapes.


title: Low-order preconditioning of the Stokes equations

abstract: A well-known strategy for building effective preconditioners for higher-order discretizations of some PDEs, such as Poisson's equation, is to leverage effective preconditioners for their low-order analogs. In this work, we show that high-quality preconditioners can also be derived for the Taylor-Hood discretization of the Stokes equations in much the same manner. In particular, we investigate the use of geometric multigrid based on the $\boldsymbol{ \mathbb{Q}}_1iso\boldsymbol{ \mathbb{Q}}_2/ \mathbb{Q}_1$ discretization of the Stokes operator as a preconditioner for the $\boldsymbol{ \mathbb{Q}}_2/\mathbb{Q}_1$ discretization of the Stokes system. We utilize local Fourier analysis to optimize the damping parameters for Vanka and Braess-Sarazin relaxation schemes and to achieve robust convergence. These results are then verified and compared against the measured multigrid performance. While geometric multigrid can be applied directly to the $\boldsymbol{ \mathbb{Q}}_2/\mathbb{Q}_1$ system, our ultimate motivation is to apply algebraic multigrid within solvers for $\boldsymbol{ \mathbb{Q}}_2/\mathbb{Q}_1$ systems via the $\boldsymbol{ \mathbb{Q}}_1iso\boldsymbol{ \mathbb{Q}}_2/ \mathbb{Q}_1$ discretization, which will be considered in a companion paper.


title: A (possibly new) structure without the canonical base property

abstract: In this short note, we introduce a generalization of the canonical base property, called transfer of internality on quotients. A structural study of groups definable in theories with this property yields as a consequence infinitely many new uncountably categorical additive covers of the complex numbers without the canonical base property.


title: Nonlinear electric conductivity and THz-induced charge transport in graphene

abstract: Based on the quantum master equation approach, the nonlinear electric conductivity of graphene is investigated under static electric fields for various chemical potential shifts. The simulation results show that, as the field strength increases, the effective conductivity is firstly suppressed, reflecting the depletion of effective carriers due to the large displacement in the Brillouin zone caused by the strong field. Then, as the field strength exceeds $1$~MV/m, the effective conductivity increases, overcoming the carrier depletion via the Landau--Zener tunneling process. Based on the nonlinear behavior of the conductivity, the charge transport induced by few-cycle THz pulses is studied to elucidate the ultrafast control of electric current in matter.


title: Manifolds with bounded integral curvature and no positive eigenvalue lower bounds

abstract: We provide an explicit construction of a sequence of closed surfaces with uniform bounds on the diameter and on $L^p$ norms of the curvature, but without a positive lower bound on the first non-zero eigenvalue of the Laplacian $\lambda_1$. This example shows that the assumption of smallness of the $L^p$ norm of the curvature is a necessary condition to derive Lichnerowicz and Zhong-Yang type estimates under integral curvature conditions.


title: High-repetition-rate seeded free-electron laser with direct-amplification of an external coherent laser

abstract: Various scientific and industrial researches such as spectroscopy and advanced nano-technologies have been demanding high flux and fully coherent EUV and X-ray radiation. These demands can be commendably satisfied with a MHz-level repetition-rate seeded free-electron laser (FEL). Dictated by the seed laser system, seeded FELs have faced obstacles for the realization of MHz repetition rate. Reducing the required peak power of an external coherent seed laser can effectively increase the repetition rate of a seeded FEL. This paper presents a novel technique that employs a long modulator as a carrier for laser amplification and electron modulation, which is quite different from nominal seeded FELs. Applications of the proposed technique into high-gain harmonic generation (HGHG) and echo-enabled harmonic generation (EEHG) are investigated. Simulation results demonstrate that seed laser power is reduced by about three orders of magnitude and the FEL radiation possesses consistently high coherence and power stability with respect to the nominal HGHG or EEHG. The proposed technique paves the way for the realization of fully coherent EUV and soft X-ray FELs with a repetition rate of MHz and an average power of about 100 W.


title: Explaining Black-Box Algorithms Using Probabilistic Contrastive Counterfactuals

abstract: There has been a recent resurgence of interest in explainable artificial intelligence (XAI) that aims to reduce the opaqueness of AI-based decision-making systems, allowing humans to scrutinize and trust them. Prior work in this context has focused on the attribution of responsibility for an algorithm's decisions to its inputs wherein responsibility is typically approached as a purely associational concept. In this paper, we propose a principled causality-based approach for explaining black-box decision-making systems that addresses limitations of existing methods in XAI. At the core of our framework lies probabilistic contrastive counterfactuals, a concept that can be traced back to philosophical, cognitive, and social foundations of theories on how humans generate and select explanations. We show how such counterfactuals can quantify the direct and indirect influences of a variable on decisions made by an algorithm, and provide actionable recourse for individuals negatively affected by the algorithm's decision. Unlike prior work, our system, LEWIS: (1)can compute provably effective explanations and recourse at local, global and contextual levels (2)is designed to work with users with varying levels of background knowledge of the underlying causal model and (3)makes no assumptions about the internals of an algorithmic system except for the availability of its input-output data. We empirically evaluate LEWIS on three real-world datasets and show that it generates human-understandable explanations that improve upon state-of-the-art approaches in XAI, including the popular LIME and SHAP. Experiments on synthetic data further demonstrate the correctness of LEWIS's explanations and the scalability of its recourse algorithm.