title: Continuous Covering on Networks: Improved Mixed Integer Programming Formulations

abstract: Covering problems are well-studied in the domain of Operations Research, and, more specifically, in Location Science. When the location space is a network, the most frequent assumption is to consider the candidate facility locations, the points to be covered, or both, to be discrete sets. In this work, we study the set-covering location problem when both candidate locations and demand points are continuous sets on a network. This variant has received little attention, and the scarce existing approaches have focused on particular cases, such as tree networks and integer covering radius. Here we study the general problem and present a Mixed Integer Linear Programming formulation (MILP) for networks with edges' lengths no greater than the covering radius. The model does not lose generality, as any edge not satisfying this condition can be partitioned into subedges of appropriate lengths without changing the problem. We propose a preprocessing algorithm to reduce the size of the MILP, and devise tight big-$M$ constants and valid inequalities to strengthen our formulations. Moreover, a second MILP is proposed, which admits edges' lengths greater than the covering radius. As opposed to existing formulations of the problem (including the first MILP proposed herein), the number of variables and constraints of this second model does not depend on the lengths of the network's edges. This second model represents a scalable approach that particularly suits real-world networks, whose edges are usually greater than the covering radius. Our computational experiments show the strengths and limitations of our exact approach on both real-world and random networks. Our formulations are also tested against an existing exact method.


title: Online Unit Profit Knapsack with Untrusted Predictions

abstract: A variant of the online knapsack problem is considered in the settings of trusted and untrusted predictions. In Unit Profit Knapsack, the items have unit profit, and it is easy to find an optimal solution offline: Pack as many of the smallest items as possible into the knapsack. For Online Unit Profit Knapsack, the competitive ratio is unbounded. In contrast, previous work on online algorithms with untrusted predictions generally studied problems where an online algorithm with a constant competitive ratio is known. The prediction, possibly obtained from a machine learning source, that our algorithm uses is the average size of those smallest items that fit in the knapsack. For the prediction error in this hard online problem, we use the ratio $r=\frac{a}{\hat{a}}$ where $a$ is the actual value for this average size and $\hat{a}$ is the prediction. The algorithm presented achieves a competitive ratio of $\frac{1}{2r}$ for $r\geq 1$ and $\frac{r}{2}$ for $r\leq 1$. Using an adversary technique, we show that this is optimal in some sense, giving a trade-off in the competitive ratio attainable for different values of $r$. Note that the result for accurate advice, $r=1$, is only $\frac{1}{2}$, but we show that no algorithm knowing the value $a$ can achieve a competitive ratio better than $\frac{e-1}{e}\approx 0.6321$ and present an algorithm with a matching upper bound. We also show that this latter algorithm attains a competitive ratio of $r\frac{e-1}{e}$ for $r \leq 1$ and $\frac{e-r}{e}$ for $1 \leq r < e$, and no algorithm can be better for both $r<1$ and $1\leq r<e$.


title: "Is Whole Word Masking Always Better for Chinese BERT?": Probing on Chinese Grammatical Error Correction

abstract: Whole word masking (WWM), which masks all subwords corresponding to a word at once, makes a better English BERT model. For the Chinese language, however, there is no subword because each token is an atomic character. The meaning of a word in Chinese is different in that a word is a compositional unit consisting of multiple characters. Such difference motivates us to investigate whether WWM leads to better context understanding ability for Chinese BERT. To achieve this, we introduce two probing tasks related to grammatical error correction and ask pretrained models to revise or insert tokens in a masked language modeling manner. We construct a dataset including labels for 19,075 tokens in 10,448 sentences. We train three Chinese BERT models with standard character-level masking (CLM), WWM, and a combination of CLM and WWM, respectively. Our major findings are as follows: First, when one character needs to be inserted or replaced, the model trained with CLM performs the best. Second, when more than one character needs to be handled, WWM is the key to better performance. Finally, when being fine-tuned on sentence-level downstream tasks, models trained with different masking strategies perform comparably.


title: The Elliptic Ginibre Ensemble: A Unifying Approach to Local and Global Statistics for Higher Dimensions

abstract: The elliptic Ginibre ensemble of complex non-Hermitian random matrices allows to interpolate between the rotational invariant Ginibre ensemble and the Gaussian unitary ensemble of Hermitian random matrices. It corresponds to a two-dimensional one-component Coulomb gas in a quadrupolar field, at inverse temperature $\beta=2$. Furthermore, it represents a determinantal point process in the complex plane with corresponding kernel of planar Hermite polynomials. Our main tool is a saddle point analysis of a single contour integral representation of this kernel. We provide a unifying approach to rigorously derive several known and new results of local and global spectral statistics, including in higher dimensions. First, we prove the global statistics in the elliptic Ginibre ensemble first derived by Forrester and Jancovici. The limiting kernel receives its main contribution from the boundary of the limiting elliptic droplet of support. In the Hermitian limit, there is a know correspondence between non-interacting fermions in a trap in $d$ real dimensions $\mathbb{R}^d$ and the $d$-dimensional harmonic oscillator. We present a rigorous proof for the local $d$-dimensional bulk (sine-) and edge (Airy-) kernel first defined by Dean et al., complementing recent results by Deleporte and Lambert. Using the same relation to the $d$-dimensional harmonic oscillator in $d$ complex dimensions $\mathbb{C}^d$, we provide new local bulk and edge statistics at weak and strong non-Hermiticity, where the former interpolates between correlations in $d$ real and $d$ complex dimensions. For $\mathbb{C}^d$ with $d=1$ this corresponds to non-interacting fermions in a rotating trap.


title: On subspaces whose weak* derived sets are proper and norm dense

abstract: We study long chains of iterated weak* derived sets, that is sets of all weak* limits of bounded nets, of subspaces with the additional property that the penultimate weak* derived set is a proper norm dense subspace of the dual. We extend the result of Ostrovskii and show, that in the dual of any non-quasi-reflexive Banach space containing an infinite-dimensional subspace with separable dual, we can find for any countable successor ordinal {\alpha} a subspace, whose weak* derived set of order {\alpha} is proper and norm dense.


title: Structured Output Feedback Control for Linear Quadratic Regulator Using Policy Gradient Method

abstract: We consider the static output feedback control for Linear Quadratic Regulator problems with structured constraints under the assumption that system parameters are unknown. To solve the problem in the model free setting, we propose the policy gradient algorithm based on the gradient projection method and show its global convergence to $\varepsilon$-stationary points. In addition, we introduce a variance reduction technique and show both theoretically and numerically that it significantly reduces the variance in the gradient estimation. We also show in the numerical experiments that the model free approach efficiently solves the problem.


title: Lack of evidence for an odderon at small t

abstract: It is fundamental that the phase of an elastic scattering amplitude is related to its energy variation. We repeat a previous fit to proton-proton and proton-antiproton elastic scattering data from 13 to 13000 GeV, taking better account of the very high accuracy of the 13 TeV data. The conclusion remains that there is no evidence for the existence of an odderon in the small-t data


title: Efficient Globally-Optimal Correspondence-Less Visual Odometry for Planar Ground Vehicles

abstract: The motion of planar ground vehicles is often non-holonomic, and as a result may be modelled by the 2 DoF Ackermann steering model. We analyse the feasibility of estimating such motion with a downward facing camera that exerts fronto-parallel motion with respect to the ground plane. This turns the motion estimation into a simple image registration problem in which we only have to identify a 2-parameter planar homography. However, one difficulty that arises from this setup is that ground-plane features are indistinctive and thus hard to match between successive views. We encountered this difficulty by introducing the first globally-optimal, correspondence-less solution to plane-based Ackermann motion estimation. The solution relies on the branch-and-bound optimisation technique. Through the low-dimensional parametrisation, a derivation of tight bounds, and an efficient implementation, we demonstrate how this technique is eventually amenable to accurate real-time motion estimation. We prove its property of global optimality and analyse the impact of assuming a locally constant centre of rotation. Our results on real data finally demonstrate a significant advantage over the more traditional, correspondence-based hypothesise-and-test schemes.


title: FP-Loc: Lightweight and Drift-free Floor Plan-assisted LiDAR Localization

abstract: We present a novel framework for floor plan-based, full six degree-of-freedom LiDAR localization. Our approach relies on robust ceiling and ground plane detection, which solves part of the pose and supports the segmentation of vertical structure elements such as walls and pillars. Our core contribution is a novel nearest neighbour data structure for an efficient look-up of nearest vertical structure elements from the floor plan. The registration is realized as a pair-wise regularized windowed pose graph optimization. Highly efficient, accurate and drift-free long-term localization is demonstrated on multiple scenes.


title: Ultrafast enhancement of interfacial exchange coupling in ferromagnetic bilayer

abstract: Fast spin manipulation in magnetic heterostructures, where magnetic interactions between different materials often define the functionality of devices, is a key issue in the development of ultrafast spintronics. Although recently developed optical approaches such as ultrafast spin-transfer and spin-orbit torques open new pathways to fast spin manipulation, these processes do not fully utilize the unique possibilities offered by interfacial magnetic coupling effects in ferromagnetic multilayer systems. Here, we experimentally demonstrate ultrafast photo-enhanced interfacial exchange interactions in the ferromagnetic Co$_2$FeAl/(Ga,Mn)As system at low laser fluence levels. The excitation efficiency of Co$_2$FeAl with the (Ga,Mn)As layer is 30-40 times higher than the case with the GaAs layer at 5 K due to a photo-enhanced exchange coupling interaction via photoexcited charge transfer between the two ferromagnetic layers. In addition, the coherent spin precessions persist to room temperature, excluding the drive of photo-enhanced magnetization in the (Ga,Mn)As layer and indicating a proximity-effect-related optical excitation mechanism. The results highlight the importance of considering the range of interfacial exchange interactions in ferromagnetic heterostructures and how these magnetic coupling effects can be utilized for ultrafast, low-power spin manipulation.


title: Quantum Riemann-Hilbert problems for the resolved conifold

abstract: We study the quantum Riemann-Hilbert problems determined by the refined Donaldson-Thomas theory on the resolved conifold. Using the solutions to classical Riemann-Hilbert problems by Beidgeland, we give explicit solutions in terms of multiple sine functions with unequal parameters. The new feature of the solutions is that the valid region of the quantum parameter $q^{\frac{1}{2}}=\exp(\pi i \tau)$ varies on the space of stability conditions and BPS $t$-plane. Comparing the solutions with the partition function of refined Chern-Simons theory and invoking large $N$ string duality, we find that the solution contains the non-perturbative completion of the refined topological string on the resolved conifold. Therefore solving the quantum Riemann-Hilbert problems provides a possible non-perturbative definition for the Donaldson-Thomas theory.


title: A Domain-Theoretic Framework for Robustness Analysis of Neural Networks

abstract: A domain-theoretic framework is presented for validated robustness analysis of neural networks. First, global robustness of a general class of networks is analyzed. Then, using the fact that Edalat's domain-theoretic L-derivative coincides with Clarke's generalized gradient, the framework is extended for attack-agnostic local robustness analysis. The proposed framework is ideal for designing algorithms which are correct by construction. This claim is exemplified by developing a validated algorithm for estimation of Lipschitz constant of feedforward regressors. The completeness of the algorithm is proved over differentiable networks, and also over general position ReLU networks. Computability results are obtained within the framework of effectively given domains. Using the proposed domain model, differentiable and non-differentiable networks can be analyzed uniformly. The validated algorithm is implemented using arbitrary-precision interval arithmetic, and the results of some experiments are presented. The software implementation is truly validated, as it handles floating-point errors as well.


title: Earthquake Control: An Emerging Application for Robust Control. Theory and Experimental Tests

abstract: This paper addresses the possibility of using robust control theory for preventing earthquakes through fluid injections in the earth's crust. The designed robust controllers drive aseismically a fault system to a new equilibrium point of lower energy by tracking a slow reference signal. The control design is based on a reduced-order nonlinear model able to reproduce earthquake-like instabilities. Uncertainties related to the frictional and mechanical properties of the underlying physical process and external perturbations are considered. Two types of controllers are derived. The first one is based on sliding-mode theory and leads to local finite-time convergence of the tracking error and rejection of Lipschitz w.r.t. time perturbations. The second controller is based on LQR control and presents global exponential stability of the tracking error and rejection of Lipschitz w.r.t. states perturbations. Both controllers generate a continuous control signal, attenuating the chattering effect in the case of the sliding-mode algorithms. The developed controllers are tested extensively and compared on the basis of numerical simulations and experiments in the laboratory. The present work opens new perspectives for the application of robust nonlinear control theory to complex geosystems, earthquakes and sustainable energy production.


title: Comparison to control oscillations in high-order Finite Volume schemes via physical constraint limiters, neural networks and polynomial annihilation

abstract: The construction of high-order structure-preserving numerical schemes to solve hyperbolic conservation laws has attracted a lot of attention in the last decades and various different ansatzes exist. In this paper, we compare three completely different approaches, i.e. physical constraint limiting, deep neural networks and the application of polynomial annihilation to construct high-order oscillation free Finite Volume (FV) blending schemes. We further analyze their analytical and numerical properties. We demonstrate that all techniques can be used and yield highly efficient FV methods but also come with some additional drawbacks which we point out. Our investigation of the different blending strategies should lead to a better understanding of those techniques and can be transferred to other numerical methods as well which use similar ideas.


title: RFI Identification Based On Deep-Learning]{A Robust RFI Identification For Radio Interferometry based on a Convolutional Neural Network

abstract: The rapid development of new generation radio interferometers such as the Square Kilometer Array (SKA) has opened up unprecedented opportunities for astronomical research. However, anthropogenic Radio Frequency Interference (RFI) from communication technologies and other human activities severely affects the fidelity of observational data. It also significantly reduces the sensitivity of the telescopes. We proposed a robust Convolutional Neural Network (CNN) model to identify RFI based on machine learning methods. We overlaid RFI on the simulation data of SKA1-LOW to construct three visibility function datasets. One dataset was used for modeling, and the other two were used for validating the model's usability. The experimental results show that the Area Under the Curve (AUC) reaches 0.93, with satisfactory accuracy and precision. We then further investigated the effectiveness of the model by identifying the RFI in the actual observational data from LOFAR and MeerKAT. The results show that the model performs well. The overall effectiveness is comparable to AOFlagger software and provides an improvement over existing methods in some instances.


title: Homogeneous Transit Timing Analyses of Ten Exoplanet Systems

abstract: We study the transit timings of 10 exoplanets in order to investigate potential Transit Timing Variations (TTVs) in them. We model their available ground-based light curves, some presented here and others taken from the literature, and homogeneously measure the mid-transit times. We statistically compare our results with published values and find that the measurement errors agree. However, in terms of recovering the possible frequencies, homogeneous sets can be found to be more useful, of which no statistically relevant example has been found for the planets in our study. We corrected the ephemeris information of all ten planets we studied and provide these most precise light elements as references for future transit observations with space-borne and ground-based instruments. We found no evidence for secular or periodic changes in the orbital periods of the planets in our sample, including the ultra-short period WASP-103 b, whose orbit is expected to decay on an observable timescale. Therefore, we derive the lower limits for the reduced tidal quality factors (Q$^{\prime}_{\star}$) for the host stars based on best fitting quadratic functions to their timing data. We also present a global model of all available data for WASP-74 b, which has a Gaia parallax-based distance value ~25% larger than the published value.


title: Towards Decentralized Identity Management in Multi-stakeholder 6G Networks

abstract: Trust-building mechanisms among network entities of different administrative domains will gain significant importance in 6G because a future mobile network will be operated cooperatively by a variety of different stakeholders rather than by a single mobile network operator. The use of trusted third party issued certificates for initial trust establishment in multi-stakeholder 6G networks is only advisable to a limited extent, as trusted third parties not only represent single point of failures or attacks, but they also cannot guarantee global independence due to national legislation and regulatory or political influence. This article proposes to decentralize identity management in 6G networks to enable secure mutual authentication between network entities of different trust domains without relying on a trusted third party and to empower network entities with the ability to shape and strengthen cross-domain trust relationships by the exchange of verifiable credentials. A reference model for decentralized identity management in 6G is given as an initial guide for the fundamental design of a common identity management system whose operation and governance are distributed equally across multiple trust domains of interconnected and multi-stakeholder 6G ecosystems.


title: Uniqueness results and enclosure properties for hypersurfaces with boundary in weighted cylinders

abstract: For a Riemannian manifold $M$, possibly with boundary, we consider the Riemannian product $M\times\mathbb{R}^k$ with a smooth positive function that weights the Riemannian measures. In this work we characterize parabolic hypersurfaces with non-empty boundary and contained within certain regions of $M\times\mathbb{R}^k$ with suitable weights. Our results include half-space and Bernstein-type theorems in weighted cylinders. We also generalize to this setting some classical properties about the confinement of a compact minimal hypersurface to certain regions of Euclidean space according to the position of its boundary. Finally, we show interesting situations where the statements are applied, some of them in relation to the singularities of the mean curvature flow.


title: Adversarial samples for deep monocular 6D object pose estimation

abstract: Estimating 6D object pose from an RGB image is important for many real-world applications such as autonomous driving and robotic grasping. Recent deep learning models have achieved significant progress on this task but their robustness received little research attention. In this work, for the first time, we study adversarial samples that can fool deep learning models with imperceptible perturbations to input image. In particular, we propose a Unified 6D pose estimation Attack, namely U6DA, which can successfully attack several state-of-the-art (SOTA) deep learning models for 6D pose estimation. The key idea of our U6DA is to fool the models to predict wrong results for object instance localization and shape that are essential for correct 6D pose estimation. Specifically, we explore a transfer-based black-box attack to 6D pose estimation. We design the U6DA loss to guide the generation of adversarial examples, the loss aims to shift the segmentation attention map away from its original position. We show that the generated adversarial samples are not only effective for direct 6D pose estimation models, but also are able to attack two-stage models regardless of their robust RANSAC modules. Extensive experiments were conducted to demonstrate the effectiveness, transferability, and anti-defense capability of our U6DA on large-scale public benchmarks. We also introduce a new U6DA-Linemod dataset for robustness study of the 6D pose estimation task. Our codes and dataset will be available at \url{https://github.com/cuge1995/U6DA}.


title: Interpolation and stability estimates for edge and face virtual elements of general order

abstract: We develop interpolation error estimates for general order standard and serendipity edge and face virtual elements in two and three dimensions. Contextually, we investigate the stability properties of the associated L2 discrete bilinear forms. These results are fundamental tools in the analysis of general order virtual elements, e.g., for electromagnetic problems.


title: Automatic Depression Detection via Learning and Fusing Features from Visual Cues

abstract: Depression is one of the most prevalent mental disorders, which seriously affects one's life. Traditional depression diagnostics commonly depends on rating with scales, which can be labor-intensive and subjective. In this context, Automatic Depression Detection (ADD) has been attracting more attention for its low cost and objectivity. ADD systems are able to detect depression automatically from some medical records, like video sequences. However, it remains challenging to effectively extract depression-specific information from long sequences, thereby hindering a satisfying accuracy. In this paper, we propose a novel ADD method via learning and fusing features from visual cues. Specifically, we firstly construct Temporal Dilated Convolutional Network (TDCN), in which multiple Dilated Convolution Blocks (DCB) are designed and stacked, to learn the long-range temporal information from sequences. Then, the Feature-Wise Attention (FWA) module is adopted to fuse different features extracted from TDCNs. The module learns to assign weights for the feature channels, aiming to better incorporate different kinds of visual features and further enhance the detection accuracy. Our method achieves the state-of-the-art performance on the DAIC_WOZ dataset compared to other visual-feature-based methods, showing its effectiveness.


title: Iterative Optimization of Quarter Sampling Masks for Non-Regular Sampling Sensors

abstract: Non-regular sampling can reduce aliasing at the expense of noise. Recently, it has been shown that non-regular sampling can be carried out using a conventional regular imaging sensor when the surface of its individual pixels is partially covered. This technique is called quarter sampling (also 1/4 sampling), since only one quarter of each pixel is sensitive to light. For this purpose, the choice of a proper sampling mask is crucial to achieve a high reconstruction quality. In the scope of this work, we present an iterative algorithm to improve an arbitrary quarter sampling mask which results in a continuous increase of the reconstruction quality. In terms of the reconstruction algorithms, we test two simple algorithms, namely, linear interpolation and nearest neighbor interpolation, as well as two more sophisticated algorithms, namely, steering kernel regression and frequency selective extrapolation. Besides PSNR gains of +0.31 dB to +0.68 dB relative to a random quarter sampling mask resulting from our optimized mask, visually noticeable enhancements are perceptible.


title: Comprehensive Analysis of the Object Detection Pipeline on UAVs

abstract: An object detection pipeline comprises a camera that captures the scene and an object detector that processes these images. The quality of the images directly affects the performance of the object detector. Many works nowadays focus either on improving the image quality or improving the object detection models independently, but neglect the importance of joint optimization of the two subsystems. The goal of this paper is to tune the detection throughput and accuracy of existing object detectors in the remote sensing scenario by focusing on optimizing the input images tailored to the object detector. To achieve this, we empirically analyze the influence of two selected camera calibration parameters (camera distortion correction and gamma correction) and five image parameters (quantization, compression, resolution, color model, additional channels) for these applications. For our experiments, we utilize three UAV data sets from different domains and a mixture of large and small state-of-the-art object detector models to provide an extensive evaluation of the influence of the pipeline parameters. Finally, we realize an object detection pipeline prototype on an embedded platform for an UAV and give a best practice recommendation for building object detection pipelines based on our findings. We show that not all parameters have an equal impact on detection accuracy and data throughput, and that by using a suitable compromise between parameters we are able to achieve higher detection accuracy for lightweight object detection models, while keeping the same data throughput.


title: Temporal Perceiver: A General Architecture for Arbitrary Boundary Detection

abstract: Generic Boundary Detection (GBD) aims at locating the general boundaries that divide videos into semantically coherent and taxonomy-free units, and could serve as an important pre-processing step for long-form video understanding. Previous works often separately handle these different types of generic boundaries with specific designs of deep networks from simple CNN to LSTM. Instead, in this paper, we present Temporal Perceiver, a general architecture with Transformer, offering a unified solution to the detection of arbitrary generic boundaries, ranging from shot-level, event-level, to scene-level GBDs. The core design is to introduce a small set of latent feature queries as anchors to compress the redundant video input into a fixed dimension via cross-attention blocks. Thanks to this fixed number of latent units, it greatly reduces the quadratic complexity of attention operation to a linear form of input frames. Specifically, to explicitly leverage the temporal structure of videos, we construct two types of latent feature queries: boundary queries and context queries, which handle the semantic incoherence and coherence accordingly. Moreover, to guide the learning of latent feature queries, we propose an alignment loss on the cross-attention maps to explicitly encourage the boundary queries to attend on the top boundary candidates. Finally, we present a sparse detection head on the compressed representation, and directly output the final boundary detection results without any post-processing module. We test our Temporal Perceiver on a variety of GBD benchmarks. Our method obtains the state-of-the-art results on all benchmarks with RGB single-stream features: SoccerNet-v2 (81.9% avg-mAP), Kinetics-GEBD (86.0% avg-f1), TAPOS (73.2% avg-f1), MovieScenes (51.9% AP and 53.1% Miou) and MovieNet (53.3% AP and 53.2% Miou), demonstrating the generalization ability of our Temporal Perceiver.


title: Collaborative Robot Mapping using Spectral Graph Analysis

abstract: In this paper, we deal with the problem of creating globally consistent pose graphs in a centralized multi-robot SLAM framework. For each robot to act autonomously, individual onboard pose estimates and maps are maintained, which are then communicated to a central server to build an optimized global map. However, inconsistencies between onboard and server estimates can occur due to onboard odometry drift or failure. Furthermore, robots do not benefit from the collaborative map if the server provides no feedback in a computationally tractable and bandwidth-efficient manner. Motivated by this challenge, this paper proposes a novel collaborative mapping framework to enable accurate global mapping among robots and server. In particular, structural differences between robot and server graphs are exploited at different spatial scales using graph spectral analysis to generate necessary constraints for the individual robot pose graphs. The proposed approach is thoroughly analyzed and validated using several real-world multi-robot field deployments where we show improvements of the onboard system up to 90%.


title: Ill-posedness issue for the 2D viscous shallow water equations in some critical Besov spaces

abstract: We study the Cauchy problem of the 2D viscous shallow water equations in some critical Besov spaces $\dot B^{\frac{2}{p}}_{p,1}(\mathbb{R}^2)\times \dot B^{\frac{2}{p}-1}_{p,q}(\mathbb{R}^2)$. As is known, this system is locally well-posed for large initial data as well as globally well-posed for small initial data in $\dot B^{\frac{2}{p}}_{p,1}(\mathbb{R}^2)\times \dot B^{\frac{2}{p}-1}_{p,1}(\mathbb{R}^2)$ for $p<4$ and ill-posed in $\dot B^{\frac{2}{p}}_{p,1}(\mathbb{R}^2)\times \dot B^{\frac{2}{p}-1}_{p,1}(\mathbb{R}^2)$ for $p>4$. In this paper, we prove that this system is ill-posed for the critical case $p=4$ in the sense of "norm inflation". Furthermore, we also show that the system is ill-posed in $\dot B^{\frac{1}{2}}_{4,1}(\mathbb{R}^2)\times \dot B^{-\frac{1}{2}}_{4,q}(\mathbb{R}^2)$ for any $q\neq 2$


title: Microscopic modelling of exciton-polariton diffusion coefficients in atomically thin semiconductors

abstract: In the strong light-matter coupling regime realized e.g. by integrating semiconductors into optical microcavities, polaritons as new hybrid light-matter quasi-particles are formed. The corresponding change in the dispersion relation has a large impact on optics, dynamics and transport behaviour of semiconductors. In this work, we investigate the strong-coupling regime in hBN-encapsulated MoSe$_2$ monolayers focusing on exciton-polariton diffusion. Applying a microscopic approach based on the exciton density matrix formalism combined with the Hopfield approach, we predict a drastic increase of the diffusion coefficients by two to three orders of magnitude in the strong coupling regime. We explain this behaviour by the much larger polariton group velocity and suppressed polariton-phonon scattering channels with respect to the case of bare excitons. Our study contributes to a better microscopic understanding of polariton diffusion in atomically thin semiconductors.


title: Symmetric Zinbiel superalgebras

abstract: The notion of symmetric Zinbiel superalgebras is introduced. We prove that the nilpotency index of a symmetric Zinbiel superalgebra is not greater than 4 and describe two-generated symmetric Zinbiel algebras and odd generated superalgebras. We discuss identities of mono and binary symmetric Zinbiel and Leibniz algebras. It is proven that each quadratic Zinbiel algebra is 2-step nilpotent. Also, we study double extensions of symmetric Zinbiel algebras.


title: Detecting commonality and variability in use-case diagram variants

abstract: The use-case diagram is a software artifact. Thus, as with any software artifact, the use-case diagrams change across time through the software development life cycle. Therefore, several versions of the same diagram are existed at distinct times. Thus, comparing all use-case diagram variants to detect common and variable use-cases becomes one of the main challenges in the product line reengineering field. The contribution of this paper is to suggest an automatic approach to compare a collection of use-case diagram variants and detect both commonality and variability. In our work, every use-case represents a feature. The proposed approach visualizes the detected features using formal concept analysis, where common and variable features are introduced to software engineers. The proposed approach was applied on a mobile media case study to be validated. The findings confirm the importance and the performance of the suggested approach as all common and variable features were precisely detected via formal concept analysis and latent semantic indexing.


title: Lower defect groups and vertices of simple modules

abstract: We compare lower defect groups associated with $p$-regular classes and vertices of simple modules for a block of a finite group algebra. We show that lower defect groups are contained in vertices of simple modules after suitable reordering. Moreover, for a block of principal type, we show that a $p$-regular lower defect group which contains a vertex of simple module is a defect group of the block.


title: VScript: Controllable Script Generation with Visual Presentation

abstract: In order to offer a customized script tool and inspire professional scriptwriters, we present VScript. It is a controllable pipeline that generates complete scripts, including dialogues and scene descriptions, as well as presents visually using video retrieval. With an interactive interface, our system allows users to select genres and input starting words that control the theme and development of the generated script. We adopt a hierarchical structure, which first generates the plot, then the script and its visual presentation. A novel approach is also introduced to plot-guided dialogue generation by treating it as an inverse dialogue summarization. The experiment results show that our approach outperforms the baselines on both automatic and human evaluations, especially in genre control.


title: Quick Multi-Robot Motion Planning by Combining Sampling and Search

abstract: We propose a novel algorithm to solve multi-robot motion planning (MRMP) rapidly, called Simultaneous Sampling-and-Search Planning (SSSP). Conventional MRMP studies mostly take the form of two-phase planning that constructs roadmaps and then finds inter-robot collision-free paths on those roadmaps. In contrast, SSSP simultaneously performs roadmap construction and collision-free pathfinding. This is realized by uniting techniques of single-robot sampling-based motion planning and search techniques of multi-agent pathfinding on discretized spaces. Doing so builds the small search space, leading to quick MRMP. SSSP ensures finding a solution eventually if exists. Our empirical evaluations in various scenarios demonstrate that SSSP significantly outperforms standard approaches to MRMP, i.e., solving more problem instances much faster. We also applied SSSP to planning for 32 ground robots in a dense situation.


title: First do not fall: learning to exploit a wall with a damaged humanoid robot

abstract: Humanoid robots could replace humans in hazardous situations but most of such situations are equally dangerous for them, which means that they have a high chance of being damaged and falling. We hypothesize that humanoid robots would be mostly used in buildings, which makes them likely to be close to a wall. To avoid a fall, they can therefore lean on the closest wall, as a human would do, provided that they find in a few milliseconds where to put the hand(s). This article introduces a method, called D-Reflex, that learns a neural network that chooses this contact position given the wall orientation, the wall distance, and the posture of the robot. This contact position is then used by a whole-body controller to reach a stable posture. We show that D-Reflex allows a simulated TALOS robot (1.75m, 100kg, 30 degrees of freedom) to avoid more than 75% of the avoidable falls and can work on the real robot.


title: Explainability for identification of vulnerable groups in machine learning models

abstract: If a prediction model identifies vulnerable individuals or groups, the use of that model may become an ethical issue. But can we know that this is what a model does? Machine learning fairness as a field is focused on the just treatment of individuals and groups under information processing with machine learning methods. While considerable attention has been given to mitigating discrimination of protected groups, vulnerable groups have not received the same attention. Unlike protected groups, which can be regarded as always vulnerable, a vulnerable group may be vulnerable in one context but not in another. This raises new challenges on how and when to protect vulnerable individuals and groups under machine learning. Methods from explainable artificial intelligence (XAI), in contrast, do consider more contextual issues and are concerned with answering the question "why was this decision made?". Neither existing fairness nor existing explainability methods allow us to ascertain if a prediction model identifies vulnerability. We discuss this problem and propose approaches for analysing prediction models in this respect.


title: Stability analysis of microscopic models for traffic flow with lane changing

abstract: This paper investigates the mathematical modeling and the stability of multi-lane traffic in the microscopic scale, studying a model based on two interaction terms. To do this we propose simple lane changing conditions and we study the stability of the steady states starting from the model in the one-lane case and extending the results to the generic multi-lane case with the careful design of the lane changing rules. We compare the results with numerical tests, that confirm the predictions of the linear stability analysis and also show that the model is able to reproduce stop & go waves, a typical feature of congested traffic.


title: Entanglement Renormalization of a $T\bar{T}$-deformed CFT

abstract: In this work we use cMERA, a continuous tensor network, to find a Gaussian approximation to the ground state of a $T\bar{T}$-deformed scalar CFT on the line, to first order in the deformation parameter. The result is used to find the correction to the correlators of scaling operators of the theory and to the entanglement entropy of a half-line. From the latter, we discuss the non-localities induced by the $T\bar{T}$-deformation at short length scales. We find that the kind of non-locality generated by those terms can be considered as a mild-one, in the sense that it does not violate the area law of entanglement. In the context of the conjectured connection between cMERA and holography, we find that at first insight a finite bulk radius can be defined in the putative geometric dual description of cMERA. However, the entropy analysis contradicts the proposal that no geometry can be ascribed to the region outside this radial cutoff.


title: Graph Normalized-LMP Algorithm for Signal Estimation Under Impulsive Noise

abstract: In this paper, we introduce an adaptive graph normalized least mean pth power (GNLMP) algorithm for graph signal processing (GSP) that utilizes GSP techniques, including bandlimited filtering and node sampling, to estimate sampled graph signals under impulsive noise. Different from least-squares-based algorithms, such as the adaptive GSP Least Mean Squares (GLMS) algorithm and the normalized GLMS (GNLMS) algorithm, the GNLMP algorithm has the ability to reconstruct a graph signal that is corrupted by non-Gaussian noise with heavy-tailed characteristics. Compared to the recently introduced adaptive GSP least mean pth power (GLMP) algorithm, the GNLMP algorithm reduces the number of iterations to converge to a steady graph signal. The convergence condition of the GNLMP algorithm is derived, and the ability of the GNLMP algorithm to process multidimensional time-varying graph signals with multiple features is demonstrated as well. Simulations show the performance of the GNLMP algorithm in estimating steady-state and time-varying graph signals is faster than GLMP and more robust in comparison to GLMS and GNLMS.


title: The evolutionary stability of partial migration with Allee effects

abstract: An Allee effect occurs when the per-capita growth rate increases at low densities. Here, we investigate the evolutionary stability of a partial migration population with migrant population experiencing Allee effects. Partial migration is a unique form of phenotypic diversity wherein migrant and non-migrant individuals coexist together. It is shown that when Allee effect is incorporated, the population undergoes a bifurcation as the fraction of migrating population increases from zero to unity. Using an evolutionary game theoretic approach, we prove the existence of a unique evolutionary stable strategy (ESS). It is also shown that the ESS is the only ideal free distribution (IFD) that arises in the context of partially migrating population.


title: Enhanced Dip Coating on a Soft Substrate

abstract: A solid, withdrawn from a liquid bath, entrains a thin liquid film. This simple process, first described by Landau, Levich and Derjaguin (LLD), is commonly observed in everyday life. It also plays a central role in liquid capture by animals, and is widely used for surface-coating purposes in industry. Motivated by the emerging interest in the mechanics of very soft materials, and in particular the resulting elastocapillary coupling, we develop a dip-coating model that accounts for the additional presence of a soft solid layer atop the rigid plate. The elastic response of this soft layer is described by a Winkler's foundation. Using a combination of numerical, scaling and asymptotic-matching methods, we find a new softness-dependent power-law regime for the thickness of entrained liquid at small capillary number, which corresponds to a modified physics at play in the dynamic meniscus. The crossover between this regime and the classical dip-coating one occurs when the substrate's deformation is comparable to the thickness of the entrained liquid film.


title: Determination of atomic multiphoton ionization phases by trichromatic multichannel wave packet interferometry

abstract: We present a multichannel photoelectron interferometry technique based on trichromatic pulse shaping for unambiguous determination of quantum phases in multiphoton ionization (MPI) of potassium atoms. The colors of the laser field are chosen to produce three energetically separated photoelectron interferograms in the continuum. While the red pulse is two-photon resonant with the $3d$-state resulting in a (2+1) resonance-enhanced MPI (REMPI), a (1+2) REMPI occurs via the non-resonant intermediate $4p$-state with an initial green or blue pulse. We show that ionization via a non-resonant intermediate state lifts the degeneracy of photoelectron interferograms from pathways consisting of permutations of the colors. The analysis of the interferograms reveals a phase shift of $\pm \pi/2$ depending on the sign of the detunings in the (1+2) REMPI pathways. In addition, we demonstrate that the photoionization time delay in the resonant (2+1) REMPI pathway gives rise to a linear spectral phase in the photoelectron spectra. Insights into the underlying MPI processes are gained through an analytic perturbative description and numerical simulations of a trichromatic driven three level system coupled to the continuum.


title: Differentially private training of residual networks with scale normalisation

abstract: The training of neural networks with Differentially Private Stochastic Gradient Descent offers formal Differential Privacy guarantees but introduces accuracy trade-offs. In this work, we propose to alleviate these trade-offs in residual networks with Group Normalisation through a simple architectural modification termed ScaleNorm by which an additional normalisation layer is introduced after the residual block's addition operation. Our method allows us to further improve on the recently reported state-of-the art on CIFAR-10, achieving a top-1 accuracy of 82.5% ({\epsilon}=8.0) when trained from scratch.


title: Finding global solutions of some inverse optimal control problems using penalization and semismooth Newton methods

abstract: We present a method to solve a special class of parameter identification problems for an elliptic optimal control problem to global optimality. The bilevel problem is reformulated via the optimal-value function of the lower-level problem. The reformulated problem is nonconvex and standard regularity conditions like Robinson's CQ are violated. Via a relaxation of the constraints, the problem can be decomposed into a family of convex problems and this is the basis for a solution algorithm. The convergence properties are analyzed. It is shown that a penalty method can be employed to solve this family of problems while maintaining convergence speed. For an example problem, the use of the identity as penalty function allows for the solution by a semismooth Newton method. Numerical results are presented. Difficulties and limitations of our approach to solve a nonconvex problem to global optimality are discussed.


title: Magnetic Braking of Accreting T Tauri Stars II: Torque Formulation Spanning Spin-Up and Spin-Down Regimes

abstract: The magnetic interaction between a classical T Tauri star and its surrounding accretion disk is thought to influence its rotational evolution. We use 2.5D magnetohydrodynamic, axisymmetric simulations of star-disk interaction, computed via the PLUTO code, to calculate the net torque acting on these stars. We divide the net torque into three contributions: accretion (spin-up), stellar winds (spin-down), and magnetospheric ejections (MEs) (spin-up or down). In Paper I, we explored interaction regimes in which the stellar magnetosphere truncates the inner disk at a location spinning faster than the star, resulting in a strong net spin-up contribution from accretion and MEs ("steady accretion" regime). In this paper, we investigate interaction regimes in which the truncation radius gets closer to and even exceeds corotation, where it is possible for the disk material to gain angular momentum and be periodically ejected by the centrifugal barrier ("propeller" regime). This reduces the accretion torque, can change the sign of the ME torque, and can result in a net stellar spin-down configuration. These results suggest it is possible to have a net spin-down stellar torque even for truncation radii within the corotation radius ($R_\text{t} \gtrsim 0.7 R_\text{co}$). We fit semi-analytic functions for the truncation radius, and the torque associated with star-disk interaction (i.e., the sum of accretion and ME torques) and stellar wind, allowing for the prediction of the net stellar torque for a parameter regime covering both net spin-up and spin-down configurations, as well as the possibility of investigating rotational evolution via 1D stellar evolution codes.


title: Design Techniques for Incremental Non-Regular Image Sampling Patterns

abstract: Even though image signals are typically acquired on a regular two dimensional grid, there exist many scenarios where non-regular sampling is possible. Non-regular sampling can remove aliasing. In terms of the non-regular sampling patterns, there is a high degree of freedom in how to actually arrange the sampling positions. In literature, random patterns show higher reconstruction quality compared to regular patterns due to reduced aliasing effects. On the downside, random patterns feature large void areas which is also disadvantageous. In the scope of this work, we present two techniques to design optimized non-regular image sampling patterns for arbitrary sampling densities. Both techniques create incremental sampling patterns, i.e., one pixel position is added in each step until the desired sampling density is reached. Our proposed patterns increase the reconstruction quality by more than +0.5 dB in PSNR for a broad density range. Visual comparisons are provided.


title: BERT-LID: Leveraging BERT to Improve Spoken Language Identification

abstract: Language identification is the task of automatically determining the identity of a language conveyed by a spoken segment. It has a profound impact on the multilingual interoperability of an intelligent speech system. Despite language identification attaining high accuracy on medium or long utterances(>3s), the performance on short utterances (<=1s) is still far from satisfactory. We propose a BERT-based language identification system (BERT-LID) to improve language identification performance, especially on short-duration speech segments. We extend the original BERT model by taking the phonetic posteriorgrams (PPG) derived from the front-end phone recognizer as input. Then we deployed the optimal deep classifier followed by it for language identification. Our BERT-LID model can improve the baseline accuracy by about 6.5% on long-segment identification and 19.9% on short-segment identification, demonstrating our BERT-LID's effectiveness to language identification.


title: Superradiance of Spin Defects in Silicon Carbide for Maser Applications

abstract: Masers as telecommunication amplifiers have been known for decades, yet their application is strongly limited due to extreme operating conditions requiring vacuum techniques and cryogenic temperatures. Recently, a new generation of masers has been invented based on optically pumped spin states in pentacene and diamond. In this study, we pave the way for masers based on spin S = 3/2 silicon vacancy (V$_{Si}$) defects in silicon carbide (SiC) to overcome the microwave generation threshold and discuss the advantages of this highly developed spin hosting material. To achieve population inversion, we optically pump the V$_{Si}$ into their $m_S$ = $\pm$1/2 spin sub-states and additionally tune the Zeeman energy splitting by applying an external magnetic field. In this way, the prerequisites for stimulated emission by means of resonant microwaves in the 10 GHz range are fulfilled. On the way to realising a maser, we were able to systematically solve a series of subtasks that improved the underlying relevant physical parameters of the SiC samples. Among others, we investigated the pump efficiency as a function of the optical excitation wavelength and the angle between the magnetic field and the defect symmetry axis in order to boost the population inversion factor, a key figure of merit for the targeted microwave oscillator. Furthermore, we developed a high-Q sapphire microwave resonator (Q ~ 10$^4$ - 10$^5$) with which we find superradiant stimulated microwave emission. In summary, SiC with optimized spin defect density and thus spin relaxation rates is well on its way of becoming a suitable maser gain material with wide-ranging applications.


title: Machine Learning for Particle Flow Reconstruction at CMS

abstract: We provide details on the implementation of a machine-learning based particle flow algorithm for CMS. The standard particle flow algorithm reconstructs stable particles based on calorimeter clusters and tracks to provide a global event reconstruction that exploits the combined information of multiple detector subsystems, leading to strong improvements for quantities such as jets and missing transverse energy. We have studied a possible evolution of particle flow towards heterogeneous computing platforms such as GPUs using a graph neural network. The machine-learned PF model reconstructs particle candidates based on the full list of tracks and calorimeter clusters in the event. For validation, we determine the physics performance directly in the CMS software framework when the proposed algorithm is interfaced with the offline reconstruction of jets and missing transverse energy. We also report the computational performance of the algorithm, which scales approximately linearly in runtime and memory usage with the input size.

categories: physics.data-an cs.LG hep-ex physics.ins-det stat.ML


title: Counting stars: a survey on flexible Skyline Query approaches

abstract: Nowadays, as the quantity of data to process began to rise, so did the need for a method to discern what pieces of information could be useful for the user; in response, researchers focused their efforts on improving the already existing ranking methods or creating new ones starting from them. This survey will be presented a small list of some of the most known and/or most recent solutions proposed, with some possible applications for them, concerning a state of the art restricted to around the last ten years, comparing their performance with the traditional one top-k and skyline queries.


title: Towards IID representation learning and its application on biomedical data

abstract: Due to the heterogeneity of real-world data, the widely accepted independent and identically distributed (IID) assumption has been criticized in recent studies on causality. In this paper, we argue that instead of being a questionable assumption, IID is a fundamental task-relevant property that needs to be learned. Consider $k$ independent random vectors $\mathsf{X}^{i = 1, \ldots, k}$, we elaborate on how a variety of different causal questions can be reformulated to learning a task-relevant function $\phi$ that induces IID among $\mathsf{Z}^i := \phi \circ \mathsf{X}^i$, which we term IID representation learning. For proof of concept, we examine the IID representation learning on Out-of-Distribution (OOD) generalization tasks. Concretely, by utilizing the representation obtained via the learned function that induces IID, we conduct prediction of molecular characteristics (molecular prediction) on two biomedical datasets with real-world distribution shifts introduced by a) preanalytical variation and b) sampling protocol. To enable reproducibility and for comparison to the state-of-the-art (SOTA) methods, this is done by following the OOD benchmarking guidelines recommended from WILDS. Compared to the SOTA baselines supported in WILDS, the results confirm the superior performance of IID representation learning on OOD tasks. The code is publicly accessible via https://github.com/CTPLab/IID_representation_learning.


title: On the validity of the Euler-Lagrange system without growth assumptions

abstract: The constrained minimisers of convex integral functionals of the form $\mathscr F(v)=\int_\Omega F(\nabla^k v(x))\mathrm d x $ defined on Sobolev mappings $v\in \mathrm W^{k,1}_g(\Omega , \mathbb R^N )\cap K$, where $K$ is a closed convex subset of the Dirichlet class $\mathrm W^{k,1}_{g}(\Omega , \mathbb R^N ),$ are characterised as the energy solutions to the Euler-Lagrange inequality for $\mathscr F$. We assume that the essentially smooth integrand $F\colon \mathbb R^{N} \otimes \odot^{k}\mathbb R^{n} \to \mathbb R\cup\{+\infty\}$ is convex, lower semi-continuous, proper and at least super-linear at infinity. In the unconstrained case $K=\mathrm W^{k,1}_{g}(\Omega , \mathbb R^N )$, if the integrand $F$ is convex, real-valued, and satisfies a demi-coercivity condition, then $$ \int_{\Omega} \! F^{\prime}(\nabla^{k} u) \cdot \nabla^{k}\phi \, \mathrm d x =0 $$ holds for all $\phi \in \mathrm W_{0}^{k}( \Omega , \mathbb R^{N})$, where $\nabla^{k} u$ is the absolutely continuous part of the vector measure $D^{k}u$.


title: On closed subgroups of precompact groups

abstract: It is a Theorem of W.~ W. Comfort and K.~ A. Ross that if $G$ is a subgroup of a compact Abelian group, and $S$ denotes those continuous homomorphisms from $G$ to the one-dimensional torus, then the topology on $G$ is the initial topology given by $S$. {Assume that $H$ is a subgroup of $G$. We study how} the choice of $S$ affects the topological placement and properties of $H$ in $G$. Among other results, we have {made significant} progress toward the solution of the following specific questions: How many totally bounded group topologies does $G$ admit such that $H$ is a closed (dense) subgroup? If $C_S$ denotes the poset of all subgroups of $G$ that are $S$-closed, ordered by inclusion, does $C_S$ has a greatest (resp. smallest) element? We say that a totally bounded (topological, resp.) group is an \textit{SC-group} (\textit{topologically simple}, resp.) if all its subgroups are closed (if $G$ and $\{e\}$ are its only possible closed normal subgroups, resp.) {In addition, we investigate the following questions.} How many SC-(topologically simple totally bounded, resp.) group topologies does an arbitrary Abelian group $G$ admit?


title: Cu-doping effects on the ferromagnetic semimetal CeAuGe

abstract: We present a study of Cu-substitution effects in 4f-Ce intermetallic compound CeAu1-xCuxGe, with potentially unusual electronic states, in the whole concentration range (x = 0.0 - 1.0). The parent CeAuGe compound, crystallizing in a non-centrosymmetric hexagonal structure, is a ferromagnetic semimetal with Curie temperature 10 K. Cu-doping on Au-site of CeAuGe, CeAu1-xCuxGe, changes the crystal structure from the non-centrosymmetric (P63mc) to centrosymmetric (P63/mmc) space group at the concentration x ~ 0.5, where the c-lattice constant has a maximum value. Magnetic susceptibility and electrical resistivity measurements reveal that all Cu-doped compounds undergo magnetic phase transition near 10 K, with the maximum transition temperature of 12 K for x = 0.5. The neutron powder diffraction experiments show the ferromagnetic ordering of Ce3+ magnetic moments with a value of ~ 1.2 Bohr magneton at 1.8 K, oriented perpendicular to the hexagonal c-axis. By using symmetry analysis, we have found the solutions for the magnetic structure in the ferromagnetic Shubnikov space groups Cmc'21' and P21'/m' for x < 0.5 and x >= 0.5, respectively. Electrical resistivity exhibits a metallic temperature behaviour in all compounds. The resistivity has a local minimum in the paramagnetic state due to Kondo effects at high doping x = 0.8 and 1.0. At the small Cu-doping level, x = 0.2, the resistivity shows a broad feature at the ferromagnetic transition temperature and an additional transition-like peculiarity at 2.5 K in the ferromagnetic state.


title: Enhanced Image Reconstruction From Quarter Sampling Measurements Using An Adapted Very Deep Super Resolution Network

abstract: Quarter sampling is a novel sensor concept that enables the acquisition of higher resolution images without increasing the number of pixels. This is achieved by covering three quarters of each pixel of a low-resolution sensor such that only one quadrant of the sensor area of each pixel is sensitive to light. By randomly masking different parts, effectively a non-regular sampling of a higher resolution image is performed. Combining a properly designed mask and a high-quality reconstruction algorithm, a higher image quality can be achieved than using a low-resolution sensor and subsequent upsampling. For the latter case, the image quality can be enhanced using super resolution algorithms. Recently, algorithms based on machine learning such as the Very Deep Super Resolution network (VDSR) proofed to be successful for this task. In this work, we transfer the concepts of VDSR to the special case of quarter sampling. Besides adapting the network layout to take advantage of the case of quarter sampling, we introduce a novel data augmentation technique enabled by quarter sampling. Altogether, using the quarter sampling sensor, the image quality in terms of PSNR can be increased by +0.67 dB for the Urban 100 dataset compared to using a low-resolution sensor with VDSR.


title: MIRRAX: A Reconfigurable Robot for Limited Access Environments

abstract: The development of mobile robot platforms for inspection has gained traction in recent years with the rapid advancement in hardware and software. However, conventional mobile robots are unable to address the challenge of operating in extreme environments where the robot is required to traverse narrow gaps in highly cluttered areas with restricted access. This paper presents MIRRAX, a robot that has been designed to meet these challenges with the capability of re-configuring itself to both access restricted environments through narrow ports and navigate through tightly spaced obstacles. Controllers for the robot are detailed, along with an analysis on the controllability of the robot given the use of Mecanum wheels in a variable configuration. Characterisation on the robot's performance identified suitable configurations for operating in narrow environments. The minimum lateral footprint width achievable for stable configuration ($<2^\text{o}$~roll) was 0.19~m. Experimental validation of the robot's controllability shows good agreement with the theoretical analysis. A further series of experiments shows the feasibility of the robot in addressing the challenges above: the capability to reconfigure itself for restricted entry through ports as small as 150mm diameter, and navigating through cluttered environments. The paper also presents results from a deployment in a Magnox facility at the Sellafield nuclear site in the UK - the first robot to ever do so, for remote inspection and mapping.


title: Applications of the quantification of super weak compactness

abstract: We introduce a measure of super weak noncompactness $\Gamma$ defined for bounded linear operators and subsets in Banach spaces that allows to state and prove a characterization of the Banach spaces which are subspaces of a Hilbert generated space. The use of super weak compactness and $\Gamma$ casts light on the structure of these Banach spaces and complements the work of Argyros, Fabian, Farmaki, Godefroy, H\'ajek, Montesinos,\linebreak Troyanski and Zizler on this subject. A particular kind of relatively super weakly compact sets, namely uniformly weakly null sets, plays an important role and exhibits connections with Banach-Saks type properties.


title: Synchronization in the Kuramoto model in presence of stochastic resetting

abstract: What happens when the paradigmatic Kuramoto model involving interacting oscillators of distributed natural frequencies and showing spontaneous collective synchronization in the stationary state is subject to random and repeated interruptions of its dynamics with a reset to the initial condition? While resetting to a synchronized state, it may happen between two successive resets that the system desynchronizes, which depends on the duration of the random time interval between the two resets. Here, we unveil how such a protocol of stochastic resetting dramatically modifies the phase diagram of the bare model, allowing in particular for the emergence of a synchronized phase even in parameter regimes for which the bare model does not support such a phase. Our results are based on an exact analysis invoking the celebrated Ott-Antonsen ansatz for the case of Lorentzian distribution of natural frequencies, and numerical results for Gaussian frequency distribution. Our work provides a simple protocol to induce global synchrony in the system through stochastic resetting.


title: A posteriori error analysis for approximations of time-fractional subdiffusion problems

abstract: In this paper we consider a sub-diffusion problem where the fractional time derivative is approximated either by the L1 scheme or by Convolution Quadrature. We propose new interpretations of the numerical schemes which lead to a posteriori error estimates. Our approach is based on appropriate pointwise representations of the numerical schemes as perturbed evolution equations and on stability estimates for the evolution equation. A posteriori error estimates in $L^2(H)$ and $L^\infty (H)$ norms of optimal order are derived. Extensive numerical experiments indicate the reliability and the optimality of the estimators for the schemes considered, as well as their efficiency as error indicators driving adaptive mesh selection locating singularities of the problem.


title: Christensen-Evans theorem and extensions of GNS-symmetric quantum Markov semigroups

abstract: In this note we prove a refined version of the Christensen-Evans theorem for generators of uniformly continuous GNS-symmetric quantum Markov semigroups. We use this result to show the existence of GNS-symmetric extensions of GNS-symmetric quantum Markov semigroups. In particular, this implies that the generators of GNS-symmetric quantum Markov semigroups on finite-dimensional von Neumann algebra can be written in the form specified by Alicki's theorem.

categories: math.OA math-ph math.FA math.MP quant-ph


title: Gradient Descent Is Optimal Under Lower Restricted Secant Inequality And Upper Error Bound

abstract: The study of first-order optimization is sensitive to the assumptions made on the objective functions. These assumptions induce complexity classes which play a key role in worst-case analysis, including the fundamental concept of algorithm optimality. Recent work argues that strong convexity and smoothness, popular assumptions in literature, lead to a pathological definition of the condition number (Guille-Escuret et al., 2021). Motivated by this result, we focus on the class of functions satisfying a lower restricted secant inequality and an upper error bound. On top of being robust to the aforementioned pathological behavior and including some non-convex functions, this pair of conditions displays interesting geometrical properties. In particular, the necessary and sufficient conditions to interpolate a set of points and their gradients within the class can be separated into simple conditions on each sampled gradient. This allows the performance estimation problem (PEP, Drori and Teboulle (2012)) to be solved analytically, leading to a lower bound on the convergence rate that proves gradient descent to be exactly optimal on this class of functions among all first-order algorithms.


title: Read before Generate! Faithful Long Form Question Answering with Machine Reading

abstract: Long-form question answering (LFQA) aims to generate a paragraph-length answer for a given question. While current work on LFQA using large pre-trained model for generation are effective at producing fluent and somewhat relevant content, one primary challenge lies in how to generate a faithful answer that has less hallucinated content. We propose a new end-to-end framework that jointly models answer generation and machine reading. The key idea is to augment the generation model with fine-grained, answer-related salient information which can be viewed as an emphasis on faithful facts. State-of-the-art results on two LFQA datasets, ELI5 and MS MARCO, demonstrate the effectiveness of our method, in comparison with strong baselines on automatic and human evaluation metrics. A detailed analysis further proves the competency of our methods in generating fluent, relevant, and more faithful answers.


title: Towards Optimal Path Allocation for Unreliable Reconfigurable Intelligent Surfaces

abstract: Terahertz (THz) communications and reconfigurable intelligent surfaces (RISs) have been recently proposed to enable various powerful indoor applications, such as wireless virtual reality (VR). For an efficient servicing of VR users, an efficient THz path allocation solution becomes a necessity. Assuming the RIS component is the most critical one in enabling the service, we investigate the impact of RIS hardware failure on path allocation performance. To this end, we study a THz network that employs THz operated RISs acting as base stations, serving VR users. We propose a Semi-Markov decision Process (SMDP)-based path allocation model to ensure the reliability of THz connection, while maximizing the total long-term expected system reward, considering the system gains, costs of link utilization, and the penalty of RIS failure. The SMDP-based model of the RIS system is formulated by defining the state space, action space, reward model, and transition probability distribution. We propose an optimal iterative algorithm for path allocation that decides the next action at each system state. The results show the average reward and VR service blocking probability under different scenarios and with various VR service arrivals and RIS failure rates, as first step towards feasible VR services over unreliable THz RIS.


title: The role of polymer structure on water confinement in poly(N-isopropylacrylamide) dispersions

abstract: Poly(N-isopropylacrylamide) (PNIPAM) is a synthetic polymer that is widely studied for its thermoresponsive character. However, recent works also reported evidence of a low temperature (protein-like) dynamical transition around 225 K in concentrated PNIPAM suspensions, independently of the polymer architecture, i.e., both for linear chains and for microgels. In this work, we investigate water-polymer interactions by extensive differential scanning calorimetry (DSC) measurements of both systems, in order to understand the effect of the different topological structures on the solution behaviour, in particular regarding crystallization and melting processes. In addition, we compare protiated and deuterated microgels, in both water and deuterated water. The DSC results are complemented by dynamic light scattering experiments, which confirm that the selective isotopic substitution differently affects the solution behaviour. Our findings highlight the important role played by the polymer architecture on the solution behaviour: indeed, microgels turn out to be more efficient confining agents, able to avoid water crystallization in a wider concentration range with respect to linear chains. Altogether, the present data will be valuable to interpret future low-temperature investigations of PNIPAM dispersions, particularly by neutron scattering experiments.


title: Statistical properties of partonic configurations and diffractive dissociation in high-energy electron-nucleus scattering

abstract: In this thesis, we study the detailed partonic content of the quantum states of a quark-antiquark color dipole subject to high-energy evolution, which are represented by a set of dipoles generated by a stochastic binary branching process, in the scattering off a large nucleus, and produce predictions for diffractive dissociation in electron-ion collisions, based on the dipole picture of QCD. Our main results are as follows. First, the scattering events of a color dipole, when parameters are set in such a way that the total cross section is small, are triggered by rare partonic fluctuations, which look different as seen from different reference frames. It turns out that the freedom to select a frame allows to deduce an asymptotic expression for the rapidity distribution of the first branching of the slowest parent dipole of the set of those which scatter. In another aspect, such study implies the importance of the characterization of particle distribution in the frontier region in the states generated by the QCD dipole branching, and more generally, by any one-dimensional branching random walk model. To this aim, we develop a Monte Carlo algorithm to generate the frontier region of a branching random walk. Furthermore, we are able to calculate the diffractive cross section demanding a minimal rapidity gap $Y_0$ and the distribution of rapidity gaps $Y_{gap}$ in the diffractive dissociation of a small dipole off a large nucleus, in a well-defined parametric region. They are the asymptotic solutions to the so-called Kovchegov-Levin equation, which describes the diffractive dissociation at high energy. Finally, we present predictions for the rapidity gap distributionin realistic kinematics of future electron-ion machines, based on the numerical solutions of the original Kovchegov-Levin equation and of its next-to-leading extension taking into account the running of the strong coupling.


title: Study of curling mechanism by precision kinematic measurements of curling stone's motion

abstract: Why do curling stones curl? That is a question physicists are often asked, yet no answer has been established. Stones rotating clockwise curl right, contrary to our naive expectations. After a century of debate between contradicting hypotheses, this paper provides the answer based on experimental evidence. A digital image analysis technique was used to perform precision kinematic measurements of a curling stone's motion to identify the curling mechanism. We observed a significant left-right asymmetric friction due to velocity dependence on the friction constant. Combined with the discrete point-like nature of the friction between ice and stone, swinging around slow-side friction points has been concluded as the dominant origin of the curling. Many new angular momentum transfer phenomena have been found, supporting this conclusion.


title: Shaping Nanoscale Ribbons into Micro-Helices of Controllable Radius and Pitch

abstract: We report fabrication of highly flexible micron-sized helices from nanometer-thick ribbons. Building upon the helical coiling of such ultra-thin ribbons mediated by surface tension, we demonstrate that the enhanced creep properties of highly confined materials can be leveraged to shape helices into the desired geometry with full control of the final shape. The helical radius, total length and pitch angle are all freely and independently tunable within a wide range: radius within $\sim$ 1-100 micrometer, length within $\sim$ 100-3000 micrometer, and pitch angle within $\sim$ 0-70{\deg}. This fabrication method is validated for three different materials: poly(methyl methacrylate), poly(dimethylaminoethyl methacrylate), and transition metal chalcogenide quantum dots, each corresponding to a different solid-phase structure: respectively a polymer glass, a crosslinked hydrogel, and a nanoparticle array. This demonstrates excellent versatility with respect to material selection, enabling further control of the helix mechanical properties.


title: Minimax Risk in Estimating Kink Threshold and Testing Continuity

abstract: We derive a risk lower bound in estimating the threshold parameter without knowing whether the threshold regression model is continuous or not. The bound goes to zero as the sample size $ n $ grows only at the cube root rate. Motivated by this finding, we develop a continuity test for the threshold regression model and a bootstrap to compute its \textit{p}-values. The validity of the bootstrap is established, and its finite sample property is explored through Monte Carlo simulations.


title: Results Merging in the Patent Domain

abstract: In this paper, we test machine learning methods for results merging in patent document retrieval. Specifically, we examine random forest, decision tree, support vector machine (SVR), linear regression, polynomial regression, and deep neural networks (DNNs). We use two different methods for results merging, the multiple models (MM) method and the global model method (GM). Furthermore, we examine whether the ranking of the document's scores is linearly explainable. The CLEF-IP 2011 standard test collection was used in our experiments. The random forest produces the best results in comparison to all other models, and it fits the data better than linear and polynomial approaches.


title: Blockchain-based RBAC Model with Separation of Duties constraint in Cloud Environment

abstract: In recent years, cloud computing has been developing rapidly and is widely used in various fields such as commerce and scientific research. However, security issues, including access control, are a very important problem in popularizing cloud computing and this has influenced its wide application of cloud computing. As one of the solutions to these problems, we have proposed a blockchain-based role-based access control model with the separation of duties constraints in a cloud environment. In the model, we used Hyperledger Fabric as a blockchain platform for storing the access control policies and provided several functions for effective role management. In addition, we presented an access control scheme for cloud storage data by combining the proposed model and the verification mechanism for the user's ownership of a role and analyzed the security properties of the scheme. Finally, we deployed Hyperledger Fabric test network, implemented an online test system that performs access control using the proposed scheme in the Ali cloud environment, and evaluated the model performance in this scenario.


title: Affordance Learning from Play for Sample-Efficient Policy Learning

abstract: Robots operating in human-centered environments should have the ability to understand how objects function: what can be done with each object, where this interaction may occur, and how the object is used to achieve a goal. To this end, we propose a novel approach that extracts a self-supervised visual affordance model from human teleoperated play data and leverages it to enable efficient policy learning and motion planning. We combine model-based planning with model-free deep reinforcement learning (RL) to learn policies that favor the same object regions favored by people, while requiring minimal robot interactions with the environment. We evaluate our algorithm, Visual Affordance-guided Policy Optimization (VAPO), with both diverse simulation manipulation tasks and real world robot tidy-up experiments to demonstrate the effectiveness of our affordance-guided policies. We find that our policies train 4x faster than the baselines and generalize better to novel objects because our visual affordance model can anticipate their affordance regions.


title: Diffusive shock acceleration at oblique high Mach number shocks

abstract: The current paradigm of cosmic ray (CR) origin states that the most part of galactic CRs is produced by supernova remnants. The interaction of supernova ejecta with the interstellar medium after supernova's explosions results in shocks responsible for CR acceleration via diffusive shock acceleration (DSA). We use particle-in-cell (PIC) simulations and a combined PIC-magnetohydrodynamic (PIC-MHD) technique to investigate whether DSA can occur in oblique high Mach number shocks. Using the PIC method, we follow the formation of the shock and determine the fraction of the particles that gets involved in DSA. Then, with this result, we use PIC-MHD simulations to model the large-scale structure of the plasma and the magnetic field surrounding the shock and find out whether or not the reflected particles can generate the upstream turbulence and trigger DSA. We find that the feasibility of this process in oblique shocks depends strongly on the Alfvenic Mach number, and the DSA process is more likely triggered at high Mach number shocks.


title: Improving Performance of Automated Essay Scoring by using back-translation essays and adjusted scores

abstract: Automated essay scoring plays an important role in judging students' language abilities in education. Traditional approaches use handcrafted features to score and are time-consuming and complicated. Recently, neural network approaches have improved performance without any feature engineering. Unlike other natural language processing tasks, only a small number of datasets are publicly available for automated essay scoring, and the size of the dataset is not sufficiently large. Considering that the performance of a neural network is closely related to the size of the dataset, the lack of data limits the performance improvement of the automated essay scoring model. In this paper, we proposed a method to increase the number of essay-score pairs using back-translation and score adjustment and applied it to the Automated Student Assessment Prize dataset for augmentation. We evaluated the effectiveness of the augmented data using models from prior work. In addition, performance was evaluated in a model using long short-term memory, which is widely used for automated essay scoring. The performance of the models was improved by using augmented data to train the models.


title: Tempera: Spatial Transformer Feature Pyramid Network for Cardiac MRI Segmentation

abstract: Assessing the structure and function of the right ventricle (RV) is important in the diagnosis of several cardiac pathologies. However, it remains more challenging to segment the RV than the left ventricle (LV). In this paper, we focus on segmenting the RV in both short (SA) and long-axis (LA) cardiac MR images simultaneously. For this task, we propose a new multi-input/output architecture, hybrid 2D/3D geometric spatial TransformEr Multi-Pass fEature pyRAmid (Tempera). Our feature pyramid extends current designs by allowing not only a multi-scale feature output but multi-scale SA and LA input images as well. Tempera transfers learned features between SA and LA images via layer weight sharing and incorporates a geometric target transformer to map the predicted SA segmentation to LA space. Our model achieves an average Dice score of 0.836 and 0.798 for the SA and LA, respectively, and 26.31 mm and 31.19 mm Hausdorff distances. This opens up the potential for the incorporation of RV segmentation models into clinical workflows.


title: Indoor Localization for Quadrotors using Invisible Projected Tags

abstract: Augmented reality (AR) technology has been introduced into the robotics field to narrow the visual gap between indoor and outdoor environments. However, without signals from satellite navigation systems, flight experiments in these indoor AR scenarios need other accurate localization approaches. This work proposes a real-time centimeter-level indoor localization method based on psycho-visually invisible projected tags (IPT), requiring a projector as the sender and quadrotors with high-speed cameras as the receiver. The method includes a modulation process for the sender, as well as demodulation and pose estimation steps for the receiver, where screen-camera communication technology is applied to hide fiducial tags using human vision property. Experiments have demonstrated that IPT can achieve accuracy within ten centimeters and a speed of about ten FPS. Compared with other localization methods for AR robotics platforms, IPT is affordable by using only a projector and high-speed cameras as hardware consumption and convenient by omitting a coordinate alignment step. To the authors' best knowledge, this is the first time screen-camera communication is utilized for AR robot localization.


title: MERIt: Meta-Path Guided Contrastive Learning for Logical Reasoning

abstract: Logical reasoning is of vital importance to natural language understanding. Previous studies either employ graph-based models to incorporate prior knowledge about logical relations, or introduce symbolic logic into neural models through data augmentation. These methods, however, heavily depend on annotated training data, and thus suffer from over-fitting and poor generalization problems due to the dataset sparsity. To address these two problems, in this paper, we propose MERIt, a MEta-path guided contrastive learning method for logical ReasonIng of text, to perform self-supervised pre-training on abundant unlabeled text data. Two novel strategies serve as indispensable components of our method. In particular, a strategy based on meta-path is devised to discover the logical structure in natural texts, followed by a counterfactual data augmentation strategy to eliminate the information shortcut induced by pre-training. The experimental results on two challenging logical reasoning benchmarks, i.e., ReClor and LogiQA, demonstrate that our method outperforms the SOTA baselines with significant improvements.


title: Safe Control with Minimal Regret

abstract: As we move towards safety-critical cyber-physical systems that operate in non-stationary and uncertain environments, it becomes crucial to close the gap between classical optimal control algorithms and adaptive learning-based methods. In this paper, we present an efficient optimization-based approach for computing a finite-horizon robustly safe control policy that minimizes dynamic regret, in the sense of the loss relative to the optimal sequence of control actions selected in hindsight by a clairvoyant controller. By leveraging the system level synthesis framework (SLS), our method extends recent results on regret minimization for the linear quadratic regulator to optimal control subject to hard safety constraints, and allows competing against a safety-aware clairvoyant policy with minor modifications. Numerical experiments confirm superior performance with respect to finite-horizon constrained $\mathcal{H}_2$ and $\mathcal{H}_\infty$ control laws when the disturbance realizations poorly fit classical assumptions.


title: Low Born effective Charges, High Covalency and Strong Optical Activity in $X_3^{2+}$Bi$^{3-}$N$^{3-}$ ($X$=Ca,Sr,Ba) $inverse$-perovskites

abstract: We compute for the first time a complete charge analysis (Bader and Born effective) on $X_3^{2+}$Bi$^{3-}$N$^{3-}$ ($X$=Ca,Sr,Ba). The crystals show a great electron sharing with little possibility of ferroelectricity. $Inverse$ perovskites have been a center of attraction in the recent years and not much is known on the systems under this study. This research addressed some key missing components and decomponents like the hardness and optical spectrum in $X_3^{2+}$Bi$^{3-}$N$^{3-}$ ($X$=Ca,Sr,Ba). The computed lattices slightly deviated from the parent perovskites indicating a future interfacing under a proper substrate. We also found out that all the crystals under this study were semiconducting with direct band gaps but plastic in nature due to strong covalency. The optical spectrum revealed very strong activity in these crystals in the ultraviolet regime. The information herein will definitely guide the experimentalist in fabrication of these materials for novel functionalities.


title: Non-linear manifold ROM with Convolutional Autoencoders and Reduced Over-Collocation method

abstract: Non-affine parametric dependencies, nonlinearities and advection-dominated regimes of the model of interest can result in a slow Kolmogorov n-width decay, which precludes the realization of efficient reduced-order models based on linear subspace approximations. Among the possible solutions, there are purely data-driven methods that leverage autoencoders and their variants to learn a latent representation of the dynamical system, and then evolve it in time with another architecture. Despite their success in many applications where standard linear techniques fail, more has to be done to increase the interpretability of the results, especially outside the training range and not in regimes characterized by an abundance of data. Not to mention that none of the knowledge on the physics of the model is exploited during the predictive phase. In order to overcome these weaknesses, we implement the non-linear manifold method introduced by Carlberg et al [37] with hyper-reduction achieved through reduced over-collocation and teacher-student training of a reduced decoder. We test the methodology on a 2d non-linear conservation law and a 2d shallow water models, and compare the results obtained with a purely data-driven method for which the dynamics is evolved in time with a long-short term memory network.


title: Scan-specific Self-supervised Bayesian Deep Non-linear Inversion for Undersampled MRI Reconstruction

abstract: Magnetic resonance imaging is subject to slow acquisition times due to the inherent limitations in data sampling. Recently, supervised deep learning has emerged as a promising technique for reconstructing sub-sampled MRI. However, supervised deep learning requires a large dataset of fully-sampled data. Although unsupervised or self-supervised deep learning methods have emerged to address the limitations of supervised deep learning approaches, they still require a database of images. In contrast, scan-specific deep learning methods learn and reconstruct using only the sub-sampled data from a single scan. Here, we introduce Scan-Specific Self-Supervised Bayesian Deep Non-Linear Inversion (DNLINV) that does not require an auto calibration scan region. DNLINV utilizes a deep image prior-type generative modeling approach and relies on approximate Bayesian inference to regularize the deep convolutional neural network. We demonstrate our approach on several anatomies, contrasts, and sampling patterns and show improved performance over existing approaches in scan-specific calibrationless parallel imaging and compressed sensing.


title: Reasonable Space for the $\lambda$-Calculus, Logarithmically

abstract: Can the $\lambda$-calculus be considered a reasonable computational model? Can we use it for measuring the time $\textit{and}$ space consumption of algorithms? While the literature contains positive answers about time, much less is known about space. This paper presents a new reasonable space cost model for the $\lambda$-calculus, based on a variant over the Krivine abstract machine. For the first time, this cost model is able to accommodate logarithmic space. Moreover, we study the time behavior of our machine and show how to transport our results to the call-by-value $\lambda$-calculus.


title: An Interdisciplinary Approach to Optimal Communication and Flight Operation of High-Altitude Long-Endurance Platforms

abstract: Aerial communication platforms, stratospheric high-altitude platform stations (HAPS), have the potential to provide/catalyze advanced mobile wireless communication services with its ubiquitous connectivity and ultra-wide coverage radius. Recently, HAPS has gained immense popularity - achieved primarily through self-sufficient energy systems - to render long-endurance characteristics. The photo-voltaic cells mounted on the aircraft harvest solar energy during the day, which can be partially used for communication and station-keeping, whereas, the excess is stored in the rechargeable batteries for the night time sustenance. We carry out an adroit power budgeting to ascertain if the available solar power can simultaneously and efficiently self-sustain the requisite propulsion and communication power expense. We further propose an energy optimum trajectory for station-keeping flight and non-orthogonal multiple access (NOMA) for multi-cell users, which are served by the directional beams from HAPS communication systems. We design optimal power allocation for downlink (DL) NOMA users along with the ideal position and speed of flight with the aim to maximize sum data rate during the day and minimize power expenditure during the night, while ensuring quality of service. Our findings reveal the significance of joint design of communication and aerodynamics parameters for optimum energy utilization and resource allocation.


title: Practical Mitigation of Smart Contract Bugs

abstract: In spite of their popularity, developing secure smart contracts remains a challenging task. Existing solutions are either impractical as they do not support many complex real-world contracts or leave the burden to developers for fixing bugs. In this paper, we propose the first practical smart contract compiler, called HCC, which automatically inserts security hardening checks at the source-code level. HCC develops a code property graph (CPG) to model control-flows and data-flows of a given smart contract. Due to the CPG notation, HCC can be applied to various smart contract platforms and programming languages. We demonstrate the effectiveness of this approach on Ethereum's Solidity smart contracts and show that it efficiently mitigates reentrancy and integer bugs. We also show how to integrate HCC within other blockchain platforms such as Hyperledger Fabric. Our evaluation on 10k real-world contracts demonstrates that HCC is highly practical and effective.


title: A constrained proof of the strong version of the Eshelby conjecture for the three-dimensional isotropic medium

abstract: Eshelby's seminal work on the ellipsoidal inclusion problem leads to the conjecture that the ellipsoid is the only inclusion possessing the uniformity property that a uniform eigenstrain is transformed into a uniform elastic strain. For the three-dimensional isotropic medium, the weak version of the Eshelby conjecture has been substantiated. The previous work of Ammari et al. substantiates the strong version of the Eshelby conjecture for the cases when the three eigenvalues of the eigenstress are distinct or all the same, whereas the case where two of the eigenvalues of the eigenstress are identical and the other one is distinct remains a difficult problem. In this work, we study the latter case. To this end, firstly, we present and prove a necessary condition for a convex inclusion being capable of transforming a single uniform eigenstress into a uniform elastic stress field. Since the necessary condition is not enough to determine the shape of the inclusion, secondly, we introduce a constraint that is concerned with the material parameters, and prove that there exist combinations of the elastic tensors and uniform eigenstresses such that only an ellipsoid can have the Eshelby uniformity property for these combinations simultaneously. Finally, we provide a more specifically constrained proof of the conjecture by proving that for the uniform strain fields constrained to that induced by an ellipsoid from a set of specified uniform eigenstresses, the strong version of the Eshelby conjecture is true for a set of isotropic elastic tensors which are associated with the specified uniform eigenstresses. This work makes some progress towards the complete solution of the intriguing and longstanding Eshelby conjecture for three-dimensional isotropic media.


title: Local and global properties of p-Laplace Henon equation

abstract: We first give some apriori estimates of positive radial solutions of $p$-Laplace H\'enon equation. Then we study the local and global properties of those solutions. Finally, we generalize some radial results to the nonradial case.


title: Timing techniques with picosecond-order accuracy for novel gaseous detectors

abstract: A simulation model is developed to train Artificial Neural Networks (ANN), for precise timing of PICOSEC Micromegas detector signals. The aim is to develop fast, online timing algorithms as well as minimising the information to be saved during data acquisition. PICOSEC waveforms were collected and digitised by a fast oscilloscope during a femptosecond-laser test beam run. A data set comprising waveforms collected with attenuated laser beam intensity, eradicating the emission of more than one photoelectron per light pulse from the PICOSEC photocathode, was utilised by a simulation algorithm to generate waveforms to train an ANN. A second data set of multi-photoelectron waveforms was used to evaluate the ANN performance in determining the PICOSEC Signal Arrival Time, relative to a fast photodiode time-reference. The ANN timing performance is the same as the results of a full offline signal processing, achieving a timing precision of 18.3$\pm$0.6 ps.


title: Explaining a Deep Reinforcement Learning Docking Agent Using Linear Model Trees with User Adapted Visualization

abstract: Deep neural networks (DNNs) can be useful within the marine robotics field, but their utility value is restricted by their black-box nature. Explainable artificial intelligence methods attempt to understand how such black-boxes make their decisions. In this work, linear model trees (LMTs) are used to approximate the DNN controlling an autonomous surface vessel (ASV) in a simulated environment and then run in parallel with the DNN to give explanations in the form of feature attributions in real-time. How well a model can be understood depends not only on the explanation itself, but also on how well it is presented and adapted to the receiver of said explanation. Different end-users may need both different types of explanations, as well as different representations of these. The main contributions of this work are (1) significantly improving both the accuracy and the build time of a greedy approach for building LMTs by introducing ordering of features in the splitting of the tree, (2) giving an overview of the characteristics of the seafarer/operator and the developer as two different end-users of the agent and receiver of the explanations, and (3) suggesting a visualization of the docking agent, the environment, and the feature attributions given by the LMT for when the developer is the end-user of the system, and another visualization for when the seafarer or operator is the end-user, based on their different characteristics.