title: Interplay between depth of neural networks and locality of target functions

abstract: It has been recognized that heavily overparameterized deep neural networks (DNNs) exhibit surprisingly good generalization performance in various machine-learning tasks. Although benefits of depth have been investigated from different perspectives such as the approximation theory and the statistical learning theory, existing theories do not adequately explain the empirical success of overparameterized DNNs. In this work, we report a remarkable interplay between depth and locality of a target function. We introduce $k$-local and $k$-global functions, and find that depth is beneficial for learning local functions but detrimental to learning global functions. This interplay is not properly captured by the neural tangent kernel, which describes an infinitely wide neural network within the lazy learning regime.


title: DynaMixer: A Vision MLP Architecture with Dynamic Mixing

abstract: Recently, MLP-like vision models have achieved promising performances on mainstream visual recognition tasks. In contrast with vision transformers and CNNs, the success of MLP-like models shows that simple information fusion operations among tokens and channels can yield a good representation power for deep recognition models. However, existing MLP-like models fuse tokens through static fusion operations, lacking adaptability to the contents of the tokens to be mixed. Thus, customary information fusion procedures are not effective enough. To this end, this paper presents an efficient MLP-like network architecture, dubbed DynaMixer, resorting to dynamic information fusion. Critically, we propose a procedure, on which the DynaMixer model relies, to dynamically generate mixing matrices by leveraging the contents of all the tokens to be mixed. To reduce the time complexity and improve the robustness, a dimensionality reduction technique and a multi-segment fusion mechanism are adopted. Our proposed DynaMixer model (97M parameters) achieves 84.3\% top-1 accuracy on the ImageNet-1K dataset without extra training data, performing favorably against the state-of-the-art vision MLP models. When the number of parameters is reduced to 26M, it still achieves 82.7\% top-1 accuracy, surpassing the existing MLP-like models with a similar capacity. The code is available at \url{https://github.com/ziyuwwang/DynaMixer}.


title: Psychophysical Evaluation of Human Performance in Detecting Digital Face Image Manipulations

abstract: In recent years, increasing deployment of face recognition technology in security-critical settings, such as border control or law enforcement, has led to considerable interest in the vulnerability of face recognition systems to attacks utilising legitimate documents, which are issued on the basis of digitally manipulated face images. As automated manipulation and attack detection remains a challenging task, conventional processes with human inspectors performing identity verification remain indispensable. These circumstances merit a closer investigation of human capabilities in detecting manipulated face images, as previous work in this field is sparse and often concentrated only on specific scenarios and biometric characteristics. This work introduces a web-based, remote visual discrimination experiment on the basis of principles adopted from the field of psychophysics and subsequently discusses interdisciplinary opportunities with the aim of examining human proficiency in detecting different types of digitally manipulated face images, specifically face swapping, morphing, and retouching. In addition to analysing appropriate performance measures, a possible metric of detectability is explored. Experimental data of 306 probands indicate that detection performance is widely distributed across the population and detection of certain types of face image manipulations is much more challenging than others.


title: Guided Bug Crush: Assist Manual GUI Testing of Android Apps via Hint Moves

abstract: Mobile apps are indispensable for people's daily life. Complementing with automated GUI testing, manual testing is the last line of defence for app quality. However, the repeated actions and easily missing of functionalities make manual testing time-consuming and inefficient. Inspired by the game candy crush with flashy candies as hint moves for players, we propose an approach named NaviDroid for navigating testers via highlighted next operations for more effective and efficient testing. Within NaviDroid, we construct an enriched state transition graph with the triggering actions as the edges for two involved states. Based on it, we utilize the dynamic programming algorithm to plan the exploration path, and augment the GUI with visualized hints for testers to quickly explore untested activities and avoid duplicate explorations. The automated experiments demonstrate the high coverage and efficient path planning of NaviDroid and a user study further confirms its usefulness. The NaviDroid can help us develop more robust software that works in more mission-critical settings, not only by performing more thorough testing with the same effort that has been put in before, but also by integrating these techniques into different parts of development pipeline.


title: BLIP: Bootstrapping Language-Image Pre-training for Unified Vision-Language Understanding and Generation

abstract: Vision-Language Pre-training (VLP) has advanced the performance for many vision-language tasks. However, most existing pre-trained models only excel in either understanding-based tasks or generation-based tasks. Furthermore, performance improvement has been largely achieved by scaling up the dataset with noisy image-text pairs collected from the web, which is a suboptimal source of supervision. In this paper, we propose BLIP, a new VLP framework which transfers flexibly to both vision-language understanding and generation tasks. BLIP effectively utilizes the noisy web data by bootstrapping the captions, where a captioner generates synthetic captions and a filter removes the noisy ones. We achieve state-of-the-art results on a wide range of vision-language tasks, such as image-text retrieval (+2.7% in average recall@1), image captioning (+2.8% in CIDEr), and VQA (+1.6% in VQA score). BLIP also demonstrates strong generalization ability when directly transferred to video-language tasks in a zero-shot manner. Code, models, and datasets are released at https://github.com/salesforce/BLIP.


title: Bounding Kolmogorov distances through Wasserstein and related integral probability metrics

abstract: We establish general upper bounds on the Kolmogorov distance between two probability distributions in terms of the distance between these distributions as measured with respect to the Wasserstein or smooth Wasserstein metrics. These bounds generalise existing results from the literature. To illustrate the broad applicability of our general bounds, we apply them to extract Kolmogorov distance bounds from multivariate normal, beta and variance-gamma approximations that have been established in the Stein's method literature.


title: On feedforward control using physics-guided neural networks: Training cost regularization and optimized initialization

abstract: Performance of model-based feedforward controllers is typically limited by the accuracy of the inverse system dynamics model. Physics-guided neural networks (PGNN), where a known physical model cooperates in parallel with a neural network, were recently proposed as a method to achieve high accuracy of the identified inverse dynamics. However, the flexible nature of neural networks can create overparameterization when employed in parallel with a physical model, which results in a parameter drift during training. This drift may result in parameters of the physical model not corresponding to their physical values, which increases vulnerability of the PGNN to operating conditions not present in the training data. To address this problem, this paper proposes a regularization method via identified physical parameters, in combination with an optimized training initialization that improves training convergence. The regularized PGNN framework is validated on a real-life industrial linear motor, where it delivers better tracking accuracy and extrapolation.


title: Label uncertainty-guided multi-stream model for disease screening

abstract: The annotation of disease severity for medical image datasets often relies on collaborative decisions from multiple human graders. The intra-observer variability derived from individual differences always persists in this process, yet the influence is often underestimated. In this paper, we cast the intra-observer variability as an uncertainty problem and incorporate the label uncertainty information as guidance into the disease screening model to improve the final decision. The main idea is dividing the images into simple and hard cases by uncertainty information, and then developing a multi-stream network to deal with different cases separately. Particularly, for hard cases, we strengthen the network's capacity in capturing the correct disease features and resisting the interference of uncertainty. Experiments on a fundus image-based glaucoma screening case study show that the proposed model outperforms several baselines, especially in screening hard cases.


title: Approximate Bayesian Computation with Domain Expert in the Loop

abstract: Approximate Bayesian computation (ABC) is a popular likelihood-free inference method for models with intractable likelihood functions. As ABC methods usually rely on comparing summary statistics of observed and simulated data, the choice of the statistics is crucial. This choice involves a trade-off between loss of information and dimensionality reduction, and is often determined based on domain knowledge. However, handcrafting and selecting suitable statistics is a laborious task involving multiple trial-and-error steps. In this work, we introduce an active learning method for ABC statistics selection which reduces the domain expert's work considerably. By involving the experts, we are able to handle misspecified models, unlike the existing dimension reduction methods. Moreover, empirical results show better posterior estimates than with existing methods, when the simulation budget is limited.


title: Linear Adversarial Concept Erasure

abstract: Modern neural models trained on textual data rely on pre-trained representations that emerge without direct supervision. As these representations are increasingly being used in real-world applications, the inability to \emph{control} their content becomes an increasingly important problem. We formulate the problem of identifying and erasing a linear subspace that corresponds to a given concept, in order to prevent linear predictors from recovering the concept. We model this problem as a constrained, linear minimax game, and show that existing solutions are generally not optimal for this task. We derive a closed-form solution for certain objectives, and propose a convex relaxation, R-LACE, that works well for others. When evaluated in the context of binary gender removal, the method recovers a low-dimensional subspace whose removal mitigates bias by intrinsic and extrinsic evaluation. We show that the method -- despite being linear -- is highly expressive, effectively mitigating bias in deep nonlinear classifiers while maintaining tractability and interpretability.


title: Infrared nanospectroscopic mapping of DNA molecules on mica surface

abstract: Significant efforts have been done in last two decades to develop nanoscale spectroscopy techniques owning to their great potential for single-molecule structural detection and in addition, to resolve open questions in heterogeneous biological systems, such as protein-DNA complexes. Applying AFM-IR technique has become a powerful leverage for obtaining simultaneous absorption spectra with a nanoscale spatial resolution for studied proteins, however the IR-AFM investigation of DNA molecules on surface, as a benchmark for a nucleoprotein complexes nanocharacterization, has remained elusive. Herein, we demonstrate methodological approach for acquisition of IR-AFM mapping modalities with corresponding absorption spectra based on two different DNA deposition protocols on spermidine and Ni2+ pretreated mica surface. The nanoscale IR absorbance of distinctly formed DNA morphologies on mica are demonstrated through series of IR-AFM absorption maps with corresponding IR spectrum. Our results thus demonstrate the sensitivity of IR-AFM nanospectroscopy for a nucleic acid research with an open potential to be employed in further investigation of nucleoprotein complexes.


title: PCL: Peer-Contrastive Learning with Diverse Augmentations for Unsupervised Sentence Embeddings

abstract: Learning sentence embeddings in an unsupervised manner is fundamental in natural language processing. Recent common practice is to couple pre-trained language models with unsupervised contrastive learning, whose success relies on augmenting a sentence with a semantically-close positive instance to construct contrastive pairs. Nonetheless, existing approaches usually depend on a mono-augmenting strategy, which causes learning shortcuts towards the augmenting biases and thus corrupts the quality of sentence embeddings. A straightforward solution is resorting to more diverse positives from a multi-augmenting strategy, while an open question remains about how to unsupervisedly learn from the diverse positives but with uneven augmenting qualities in the text field. As one answer, we propose a novel Peer-Contrastive Learning (PCL) with diverse augmentations. PCL constructs diverse contrastive positives and negatives at the group level for unsupervised sentence embeddings. PCL performs peer-positive contrast as well as peer-network cooperation, which offers an inherent anti-bias ability and an effective way to learn from diverse augmentations. Experiments on STS benchmarks verify the effectiveness of PCL against its competitors in unsupervised sentence embeddings.


title: Leveraging Inlier Correspondences Proportion for Point Cloud Registration

abstract: In feature-learning based point cloud registration, the correct correspondence construction is vital for the subsequent transformation estimation. However, it is still a challenge to extract discriminative features from point cloud, especially when the input is partial and composed by indistinguishable surfaces (planes, smooth surfaces, etc.). As a result, the proportion of inlier correspondences that precisely match points between two unaligned point clouds is beyond satisfaction. Motivated by this, we devise several techniques to promote feature-learning based point cloud registration performance by leveraging inlier correspondences proportion: a pyramid hierarchy decoder to characterize point features in multiple scales, a consistent voting strategy to maintain consistent correspondences and a geometry guided encoding module to take geometric characteristics into consideration. Based on the above techniques, We build our Geometry-guided Consistent Network (GCNet), and challenge GCNet by indoor, outdoor and object-centric synthetic datasets. Comprehensive experiments demonstrate that GCNet outperforms the state-of-the-art methods and the techniques used in GCNet is model-agnostic, which could be easily migrated to other feature-based deep learning or traditional registration methods, and dramatically improve the performance. The code is available at https://github.com/zhulf0804/NgeNet.


title: Multiplicative order continuous operators on Riesz algebras

abstract: In this paper, we investigate operators on Riesz algebras, which are continuous with respect to multiplicative modifications of order convergence and relatively uniform convergence. We also introduce and study mo-Lebesgue, mo-$KB$, and mo-Levi operators.


title: Mask-based Latent Reconstruction for Reinforcement Learning

abstract: For deep reinforcement learning (RL) from pixels, learning effective state representations is crucial for achieving high performance. However, in practice, limited experience and high-dimensional inputs prevent effective representation learning. To address this, motivated by the success of mask-based modeling in other research fields, we introduce mask-based reconstruction to promote state representation learning in RL. Specifically, we propose a simple yet effective self-supervised method, Mask-based Latent Reconstruction (MLR), to predict complete state representations in the latent space from the observations with spatially and temporally masked pixels. MLR enables better use of context information when learning state representations to make them more informative, which facilitates the training of RL agents. Extensive experiments show that our MLR significantly improves the sample efficiency in RL and outperforms the state-of-the-art sample-efficient RL methods on multiple continuous and discrete control benchmarks. Our code is available at https://github.com/microsoft/Mask-based-Latent-Reconstruction.


title: Contacts in totally separable packings in the plane and in high dimensions

abstract: We study the contact structure of totally separable} packings of translates of a convex body $K$ in $\mathbb{R}^d$, that is, packings where any two touching bodies have a separating hyperplane that does not intersect the interior of any translate in the packing. The separable Hadwiger number $H_{\text{sep}}(K)$ of $K$ is defined to be the maximum number of translates touched by a single translate, with the maximum taken over all totally separable packings of translates of $K$. We show that for each $d\geq 8$, there exists a smooth and strictly convex $K$ in $\mathbb{R}^d$ with $H_{\text{sep}}(K)>2d$, and asymptotically, $H_{\text{sep}}(K)=\Omega\bigl((3/\sqrt{8})^d\bigr)$. We show that Alon's packing of Euclidean unit balls such that each translate touches at least $2^{\sqrt{d}}$ others whenever $d$ is a power of $4$, can be adapted to give a totally separable packing of translates of the $\ell_1$-unit ball with the same touching property. We also consider the maximum number of touching pairs in a totally separable packing of $n$ translates of any planar convex body $K$. We prove that the maximum equals $\lfloor 2n-2\sqrt{n}\rfloor$ if and only if $K$ is a quasi hexagon, thus completing the determination of this value for all planar convex bodies.


title: Autonomous, Mobile Manipulation in a Wall-building Scenario: Team LARICS at MBZIRC 2020

abstract: In this paper we present our hardware design and control approaches for a mobile manipulation platform used in Challenge 2 of the MBZIRC 2020 competition. In this challenge, a team of UAVs and a single UGV collaborate in an autonomous, wall-building scenario, motivated by construction automation and large-scale robotic 3D printing. The robots must be able, autonomously, to detect, manipulate, and transport bricks in an unstructured, outdoor environment. Our control approach is based on a state machine that dictates which controllers are active at each stage of the Challenge. In the first stage our UGV uses visual servoing and local controllers to approach the target object without considering its orientation. The second stage consists of detecting the object's global pose using OpenCV-based processing of RGB-D image and point-cloud data, and calculating an alignment goal within a global map. The map is built with Google Cartographer and is based on onboard LIDAR, IMU, and GPS data. Motion control in the second stage is realized using the ROS Move Base package with Time-Elastic Band trajectory optimization. Visual servo algorithms guide the vehicle in local object-approach movement and the arm in manipulating bricks. To ensure a stable grasp of the brick's magnetic patch, we developed a passively-compliant, electromagnetic gripper with tactile feedback. Our fully-autonomous UGV performed well in Challenge 2 and in post-competition evaluations of its brick pick-and-place algorithms.


title: Detecting Owner-member Relationship with Graph Convolution Network in Fisheye Camera System

abstract: The owner-member relationship between wheels and vehicles contributes significantly to the 3D perception of vehicles, especially in embedded environments. However, to leverage this relationship we must face two major challenges: i) Traditional IoU-based heuristics have difficulty handling occluded traffic congestion scenarios. ii) The effectiveness and applicability of the solution in a vehicle-mounted system is difficult. To address these issues, we propose an innovative relationship prediction method, DeepWORD, by designing a graph convolutional network (GCN). Specifically, to improve the information richness, we use feature maps with local correlation as input to the nodes. Subsequently, we introduce a graph attention network (GAT) to dynamically correct the a priori estimation bias. Finally, we designed a dataset as a large-scale benchmark which has annotated owner-member relationship, called WORD. In the experiments we learned that the proposed method achieved state-of-the-art accuracy and real-time performance. The WORD dataset is made publicly available at https://github.com/NamespaceMain/ownermember-relationship-dataset.


title: Stochastic Consensus and the Shadow of Doubt

abstract: We propose a stochastic model of opinion exchange in networks. A finite set of agents is organized in a fixed network structure. There is a binary state of the world and each agent receives a private signal on the state. We model beliefs as urns where red balls represent one possible value of the state and blue balls the other value. The model revolves purely around communication and beliefs dynamics. Communication happens in discrete time and, at each period, agents draw and display one ball from their urn with replacement. Then, they reinforce their urns by adding balls of the colors drawn by their neighbors. We show that for any network structure, this process converges almost-surely to a stable state. Futher, we show that if the communication network is connected, this stable state is such that all urns have the same proportion of balls. This result strengthens the main convergence properties of non-Bayesian learning models. Yet, contrary to those models, we show that this limit proportion is a full-support random variable. This implies that an arbitrarily small proportion of misinformed agents can substantially change the value of the limit consensus. We propose a set of conjectures on the distribution of this limit proportion based on simulations. In particular, we show evidence that the limit belief follows a beta distribution and that its average value is independent from the network structure.


title: The SIDDHARTA-2 calibration method for high precision kaonic atoms X-ray spectroscopy measurements

abstract: The SIDDHARTA-2 experiment at the DA$\Phi$NE collider aims to perform the first kaonic deuterium X-ray transitions to the fundamental level measurement, with a systematic error at the level of a few eV. To achieve this challenging goal the experimental apparatus is equipped with 384 Silicon Drift Detectors (SDDs) distributed around its cryogenic gaseous target. The SDDs developed by the SIDDHARTA-2 collaboration are suitable for high precision kaonic atoms spectroscopy, thanks to their high energy and time resolutions combined with their radiation hardness. The energy response of each detector must be calibrated and monitored to keep the systematic error, due to processes such as gain fluctuations, at the level of 2-3 eV. This paper presents the SIDDHARTA-2 calibration method which was optimized during the preliminary phase of the experiment in the real background conditions of the DA$\Phi$NE collider, which is a fundamental tool to guarantee the high precision spectroscopic performances of the system over long periods of data taking, as that required for the kaonic deuterium measurement.


title: Mini-Proceedings of the STRONG2020 Virtual Workshop on "Space-like and Time-like determination of the Hadronic Leading Order contribution to the Muon $g-2$"

abstract: The mini-proceedings of the STRONG2020 Virtual Workshop "Space-like and Time-like determination of the Hadronic Leading Order contribution to the Muon $g-2$", November 24--26 2021, are presented. This is the first workshop of the STRONG2020 WP21: JRA3-PrecisionSM: Precision Tests of the Standard Model (http://www.strong-2020.eu/joint-research-activity/jra3-precisionsm.html). The workshop was devoted to review of the working group activitity on: $(\it i)$ Radiative Corrections and Monte Carlo tools for low-energy hadronic cross sections in $e^+ e^-$ collisions; $(\it ii)$ Annotated database for $e^+e^-$ into hadrons processes at low energy; $(\it iii)$ Radiative Corrections and Monte Carlo tools for $\mu$-$e$ elastic scattering.


title: Limitations to Electrical Probing of Spontaneous Polarization in Ferroelectric-Dielectric Heterostructures

abstract: An accurate estimate of the ferroelectric polarization in ferroelectric-dielectric stacks is important from a materials science perspective, and it is also crucial for the development of ferroelectric based electron devices. This paper revisits the theory and application of the PUND technique in Metal-Ferroelectric-Dielectric-Metal (MFDM) structures by using analytical derivations and numerical simulations. In an MFDM structure the results of the PUND technique may largely differ from the polarization actually switched in the stack, which in turn is different from the remnant polarization of the underlying ferroelectric. The main hindrances that prevent PUND measurements from providing a good estimate of the polarization switching in MFDM stacks are thus discussed. The inspection of the involved physical quantities, not always accessible in experiments, provides a useful insight about the main sources of the errors in the PUND technique, and clarifies the delicate interplay between the depolarization field and the charge injection and trapping in MFDM stacks with a thin dielectric layer.


title: Global and microlocal aspects of Dirac operators: propagators and Hadamard states

abstract: We propose a geometric approach to construct the Cauchy evolution operator for the Lorentzian Dirac operator on Cauchy-compact globally hyperbolic 4-manifolds. We realise the Cauchy evolution operator as the sum of two invariantly defined oscillatory integrals -- the positive and negative Dirac propagators -- global in space and in time, with distinguished complex-valued geometric phase functions. As applications, we relate the Cauchy evolution operators with the Feynman propagator and construct Cauchy surfaces covariances of quasifree Hadamard states.


title: Improving End-to-End Models for Set Prediction in Spoken Language Understanding

abstract: The goal of spoken language understanding (SLU) systems is to determine the meaning of the input speech signal, unlike speech recognition which aims to produce verbatim transcripts. Advances in end-to-end (E2E) speech modeling have made it possible to train solely on semantic entities, which are far cheaper to collect than verbatim transcripts. We focus on this set prediction problem, where entity order is unspecified. Using two classes of E2E models, RNN transducers and attention based encoder-decoders, we show that these models work best when the training entity sequence is arranged in spoken order. To improve E2E SLU models when entity spoken order is unknown, we propose a novel data augmentation technique along with an implicit attention based alignment method to infer the spoken order. F1 scores significantly increased by more than 11% for RNN-T and about 2% for attention based encoder-decoder SLU models, outperforming previously reported results.


title: A proof-of-principle demonstration of quantum microwave photonics

abstract: With the rapid development of microwave photonics, which has expanded to numerous applications of commercial importance, eliminating the emerging bottlenecks becomes of vital importance. For example, as the main branch of microwave photonics, radio-over-fiber technology provides high bandwidth, low-loss, and long-distance propagation capability, facilitating wide applications ranging from telecommunication to wireless networks. With ultrashort pulses as the optical carrier, huge capacity is further endowed. However, the wide bandwidth of ultrashort pulses results in the severe vulnerability of high-frequency RF signals to fiber dispersion. With a time-energy entangled biphoton source as the optical carrier and combined with the single-photon detection technique, a quantum microwave photonics method is proposed and demonstrated experimentally. The results show that it not only realizes unprecedented nonlocal RF signal modulation with strong resistance to the dispersion associated with ultrashort pulse carriers but provides an alternative mechanism to effectively distill the RF signal out from the dispersion. Furthermore, the spurious-free dynamic range of both the nonlocally modulated and distilled RF signals has been significantly improved. With the ultra-weak detection and high-speed processing advantages endowed by the low-timing-jitter single-photon detection, the quantum microwave photonics method opens up new possibilities in modern communication and networks.


title: Feature Visualization within an Automated Design Assessment leveraging Explainable Artificial Intelligence Methods

abstract: Not only automation of manufacturing processes but also automation of automation procedures itself become increasingly relevant to automation research. In this context, automated capability assessment, mainly leveraged by deep learning systems driven from 3D CAD data, have been presented. Current assessment systems may be able to assess CAD data with regards to abstract features, e.g. the ability to automatically separate components from bulk goods, or the presence of gripping surfaces. Nevertheless, they suffer from the factor of black box systems, where an assessment can be learned and generated easily, but without any geometrical indicator about the reasons of the system's decision. By utilizing explainable AI (xAI) methods, we attempt to open up the black box. Explainable AI methods have been used in order to assess whether a neural network has successfully learned a given task or to analyze which features of an input might lead to an adversarial attack. These methods aim to derive additional insights into a neural network, by analyzing patterns from a given input and its impact to the network output. Within the NeuroCAD Project, xAI methods are used to identify geometrical features which are associated with a certain abstract feature. Within this work, a sensitivity analysis (SA), the layer-wise relevance propagation (LRP), the Gradient-weighted Class Activation Mapping (Grad-CAM) method as well as the Local Interpretable Model-Agnostic Explanations (LIME) have been implemented in the NeuroCAD environment, allowing not only to assess CAD models but also to identify features which have been relevant for the network decision. In the medium run, this might enable to identify regions of interest supporting product designers to optimize their models with regards to assembly processes.


title: Dust entrainment in photoevaporative winds: Synthetic observations of transition disks

abstract: X-ray- and extreme-ultraviolet- (XEUV-) driven photoevaporative winds acting on protoplanetary disks around young T-Tauri stars may strongly impact disk evolution, affecting both gas and dust distributions. We compute dust densities for the wind regions of XEUV-irradiated transition disks with gap sizes of 20 and 30 AU, and determine whether they can be observed at wavelengths $0.7 \lesssim \lambda_\mathrm{obs} [\mu\mathrm{m}] \lesssim 1.8$ in scattered and polarised light with current instrumentation. For an XEUV-driven outflow around a $M_* = 0.7 \mathrm{M}_\odot$ T-Tauri star with $L_X = 2 \cdot 10^{30} \mathrm{erg/s}$, we find dust mass-loss rates $\dot{M}_\mathrm{dust} \lesssim 2.0 \cdot 10^{-3} \dot{M}_\mathrm{gas}$, and if we invoke vertical settling, the outflow is quite collimated. The synthesised images exhibit a distinct chimney-like structure. The relative intensity of these chimneys is low, but under optimal conditions, their detection may still be feasible with current instrumentation such as JWST NIRCam and SPHERE IRDIS.


title: Protum: A New Method For Prompt Tuning Based on "[MASK]"

abstract: Recently, prompt tuning \cite{lester2021power} has gradually become a new paradigm for NLP, which only depends on the representation of the words by freezing the parameters of pre-trained language models (PLMs) to obtain remarkable performance on downstream tasks. It maintains the consistency of Masked Language Model (MLM) \cite{devlin2018bert} task in the process of pre-training, and avoids some issues that may happened during fine-tuning. Naturally, we consider that the "[MASK]" tokens carry more useful information than other tokens because the model combines with context to predict the masked tokens. Among the current prompt tuning methods, there will be a serious problem of random composition of the answer tokens in prediction when they predict multiple words so that they have to map tokens to labels with the help verbalizer. In response to the above issue, we propose a new \textbf{Pro}mpt \textbf{Tu}ning based on "[\textbf{M}ASK]" (\textbf{Protum}) method in this paper, which constructs a classification task through the information carried by the hidden layer of "[MASK]" tokens and then predicts the labels directly rather than the answer tokens. At the same time, we explore how different hidden layers under "[MASK]" impact on our classification model on many different data sets. Finally, we find that our \textbf{Protum} can achieve much better performance than fine-tuning after continuous pre-training with less time consumption. Our model facilitates the practical application of large models in NLP.


title: Quantifying classical information transmission by thermodynamics

abstract: Energy transfer and information transmission are two fundamental aspects of nature. They are seemingly unrelated, while recent findings suggest that a deep connection between them is to be discovered. This amounts to asking: can we phrase the processes of transmitting classical bits equivalently as specific energy-exchanging tasks, thereby uncovering foundational links between them? We answer this question positively by showing that, for a broad class of classical communication tasks, transmitting $n$ bits of classical information via quantum dynamics is equivalent to extracting $n$ units of energy in a thermodynamic work-extraction task. This finding not only provides an analytical correspondence between information transmission and energy extraction tasks but also quantifies classical communication by thermodynamics. In the asymptotic regime, our results further provide thermodynamic meanings for the well-known Holevo-Schumacher-Westmoreland Theorem in quantum communication theory.


title: A new spatial-scan thermoreflectance method to measure a broad range of anisotropic in-plane thermal conductivity

abstract: In-plane thermal conductivities of small-scale samples are hard to measure, especially for the lowly conductive ones and those lacking in-plane symmetry (i.e., transversely anisotropic materials). State-of-the-art pump-probe techniques including both the time-domain and the frequency-domain thermoreflectance (TDTR and FDTR) are advantageous in measuring the thermal conductivity of small-scale samples, and various advanced TDTR and FDTR techniques have been developed to measure transversely anisotropic materials. However, the measurable in-plane thermal conductivity (k_in) is usually limited to be >10 W/(m K). In this work, a new spatial-scan thermoreflectance (SSTR) method has been developed to measure a broad range of k_in of millimeter-scale small samples, including those lacking in-plane symmetry, extending the current limit of the measurable k_in to as low as 1 W/(m K). This SSTR method establishes a new scheme of measurements using the optimized laser spot size and modulation frequency and a new scheme of data processing, enabling measurements of in-plane thermal conductivity tensors of a broad range of k_in values with both high accuracy and ease of operation. Some details such as the requirement on the sample geometry, the effect of the transducer layer, and the effect of heat loss are also discussed. As a verification, the k_in of some transversely isotropic reference samples with a wide range of k_in values including fused silica, sapphire, silicon, and highly ordered pyrolytic graphite (HOPG) have been measured using this new SSTR method. The measured k_in agree perfectly well with the literature values with a typical uncertainty of 5%. As a demonstration of the unique capability of this method, the in-plane thermal conductivity tensor of x-cut quartz, an in-plane anisotropic material, has also been measured.


title: Practical lowest distortion mapping

abstract: Construction of optimal deformations is one of the long standing problems of computational mathematics. We consider the problem of computing quasi-isometric deformations with minimal possible quasi-isometry constant (global estimate for relative length change).We build our technique upon [Garanzha et al. 2021a], a recently proposed numerical optimization scheme that provably untangles 2D and 3D meshes with inverted elements by partially solving a finite number of minimization problems. In this paper we show the similarity between continuation problems for mesh untangling and for attaining prescribed deformation quality threshold. Both problems can be solved by a finite number of partial solutions of optimization problems which are based on finite element approximations of parameter-dependent hyperelastic functionals. Our method is based on a polyconvex functional which admits a well-posed variational problem. To sum up, we reliably build 2D and 3D mesh deformations with smallest known distortion estimates (quasi-isometry constants) as well as stable quasi conformal parameterizations for very stiff problems.


title: HEAT: Hyperedge Attention Networks

abstract: Learning from structured data is a core machine learning task. Commonly, such data is represented as graphs, which normally only consider (typed) binary relationships between pairs of nodes. This is a substantial limitation for many domains with highly-structured data. One important such domain is source code, where hypergraph-based representations can better capture the semantically rich and structured nature of code. In this work, we present HEAT, a neural model capable of representing typed and qualified hypergraphs, where each hyperedge explicitly qualifies how participating nodes contribute. It can be viewed as a generalization of both message passing neural networks and Transformers. We evaluate HEAT on knowledge base completion and on bug detection and repair using a novel hypergraph representation of programs. In both settings, it outperforms strong baselines, indicating its power and generality.


title: Rethinking Attention-Model Explainability through Faithfulness Violation Test

abstract: Attention mechanisms are dominating the explainability of deep models. They produce probability distributions over the input, which are widely deemed as feature-importance indicators. However, in this paper, we find one critical limitation in attention explanations: weakness in identifying the polarity of feature impact. This would be somehow misleading -- features with higher attention weights may not faithfully contribute to model predictions; instead, they can impose suppression effects. With this finding, we reflect on the explainability of current attention-based techniques, such as Attentio$\odot$Gradient and LRP-based attention explanations. We first propose an actionable diagnostic methodology (henceforth faithfulness violation test) to measure the consistency between explanation weights and the impact polarity. Through the extensive experiments, we then show that most tested explanation methods are unexpectedly hindered by the faithfulness violation issue, especially the raw attention. Empirical analyses on the factors affecting violation issues further provide useful observations for adopting explanation methods in attention models.


title: Generalized Maxwell-Higgs vortices in models with enhanced symmetry

abstract: Topological vortices in relativistic gauge theories in flat three-dimensional spacetime are investigated. We consider the symmetry $\rm{U(1)}\times...\times \rm{U(1)}$, and for each $\rm{U(1)}$ subgroup, a complex scalar field transforming under its action is introduced, as well as generalized permeabilities through which the subsystems are coupled. We investigate in detail the features of static, finite energy solutions within this class of generalized Maxwell-Higgs models, and study the effect of the winding numbers in the magnetic properties of each subsystem. A BPS bound and the related first order equations are introduced for a large class of models. Finally, we present some specific models and solve their equations of motion to find solutions engendering many distinct features in relation to each other and to the standard Nielsen-Olesen vortex.


title: Amplified Emission by Atoms and Lasing in Photonic Time Crystals

abstract: Photonic Time Crystals (PTCs) - dielectric media with their refractive index modulated periodically in time, offer new opportunities in photonics arising from time reflections and momentum bandgaps. Here, we study the emission of light from a radiation source inside a PTC. We solve the general classical and quantum mechanical models of emission in a temporally-varying medium, and find that radiation is always exponentially amplified when associated with the momentum gap, whether initiated by a macroscopic source, an atom, or by vacuum fluctuations, drawing the amplification energy from the modulation. The radiation linewidth becomes narrower as time advances, and is centered in the middle of the momentum gap. We calculate the spontaneous decay rate of an atom embedded in a PTC and show that it vanishes at the band edge due to low density of photonic states. Finally, we propose the concept of nonresonant tunable PTC lasers.


title: Generalized resonance energy transfer theory: Applications to vibrational energy flow in optical cavities

abstract: A general rate theory for resonance energy transfer is formulated to incorporate any degrees of freedom (e.g., rotation, vibration, exciton, and polariton) as well as coherently-coupled composite states. The compact rate expression allows us to establish useful relationships: (i) detailed balance condition when the donor and acceptor are at the same temperature; (ii) proportionality to the overlap between donor's emission and acceptor's absorption spectra; (iii) scaling with the effective coherent size, i.e., the number of coherently coupled molecules; (iv) spatial and orientational dependences as derived from the interaction potential. When applied to cavity-assisted vibrational energy transfer, the rate formalism provides an intuitive and quantitative explanation of intriguing phenomena such as cooperativity, resonance, and nonlinearity in the collective vibrational strong coupling regime, as demonstrated in recent simulations.


title: From exponential counting to pair correlations

abstract: We prove an abstract result on the correlations of pairs of elements in an exponentially growing discrete subset $\mathcal E$ of $[0,+\infty[\,$ endowed with a weight function. Assume that there exist $\alpha\in\mathbb R$, $c,\delta>0$ such that, as $t\to+\infty$, the weighted number $\widetilde\omega(t)$ of elements of $\mathcal E$ that are not greater than $t$ is equivalent to $c\,t^\alpha e^{\delta t}$. We prove that the distribution function of the unscaled differences of elements of $\mathcal E$ is $t\mapsto\frac\delta 2\,e^{-|t|}$, and that, under an error term assumption on $\widetilde\omega(t)$, the pair correlation with a scaling with polynomial growth exhibits a Poissonian behaviour. We apply this result to answer a question of Pollicott and Sharp on the pair correlations of closed geodesics and common perpendiculars in negatively curved manifolds and metric graphs.


title: Diffusive density response of electrons in anisotropic multiband systems

abstract: We explicitly calculate the density-density response function with conserving vertex corrections for anisotropic multiband systems in the presence of impurities including long-range disorder. The direction-dependence of the vertex corrections is correctly considered to obtain the diffusion constant which is given by the combination of the componentwise transport relaxation times and velocities on the Fermi surface. We also investigate the diffusive density response of various anisotropic systems, propose some empirical rules for the corresponding diffusion constant, and demonstrate that it is crucial to consider the component-dependence of the transport relaxation times to correctly interpret the transport properties of anisotropic systems, especially various topological materials with a different power-law dispersion in each direction.


title: Wireless Information and Power Transfer: A Bottom-Up Multi-Layer Design Framework

abstract: The efficiency of wireless information and power transfer (WIPT) systems requires an essential reevaluation and rethinking of the entire transceiver chain, which is characterized by a bottom-up multi-layer design approach. In this paper, we introduce and describe the key design layers: i) "Mathematical modeling", associated with the investigation of mathematical models for the wireless power transfer process, ii) "Information-theoretic limits", which refers to the fundamental limits of the WIPT channel, iii) "Link design", corresponding to signal processing techniques that make WIPT feasible, iv) "System-level perspective", which studies the developed WIPT techniques from a macroscopic system-level point-of-view, and v) "Experimental studies", that refers to real-world implementation of WIPT systems. These layers are well-connected and their interplay is imperative for the effective design of WIPT systems. Specific case studies are discussed, which demonstrates the interdisciplinary nature of the aforementioned multi-layer design framework.


title: Spin Excitation Spectra of Anisotropic Spin-$1/2$ Triangular Lattice Heisenberg Antiferromagnets

abstract: Investigation of dynamical excitations is difficult but crucial to the understanding of many exotic quantum phenomena discovered in quantum materials. This is particularly true for highly frustrated quantum antiferromagnets whose dynamical properties deviate strongly from theoretical predictions made based on the spin-wave or other approximations. Here we present a large-scale numerical calculation on the dynamical correlation functions of spin-$1/2$ triangular Heisenberg model using a state-of-the-art tensor network renormalization group method. The calculated results allow us to gain for the first time a comprehensive picture on the nature of spin excitation spectra in this highly frustrated quantum system. It provides a quantitative account for all the key features of the dynamical spectra disclosed by inelastic neutron scattering measurements for $\rm Ba_3CoSb_2O_9$, revealing the importance of the interplay between low- and high-energy excitations and its renormalization effect to the low-energy magnon bands and high-energy continuums. We identify the longitudinal Higgs modes in the intermediate-energy scale and predict the energy and momentum dependence of spectral functions along the three principal axes that can be verified by polarized neutron scattering experiments. Furthermore, we find that the spin excitation spectra weakly depend on the anisotropic ratio of the antiferromagnetic interaction.


title: Can Wikipedia Help Offline Reinforcement Learning?

abstract: Fine-tuning reinforcement learning (RL) models has been challenging because of a lack of large scale off-the-shelf datasets as well as high variance in transferability among different environments. Recent work has looked at tackling offline RL from the perspective of sequence modeling with improved results as result of the introduction of the Transformer architecture. However, when the model is trained from scratch, it suffers from slow convergence speeds. In this paper, we look to take advantage of this formulation of reinforcement learning as sequence modeling and investigate the transferability of pre-trained sequence models on other domains (vision, language) when finetuned on offline RL tasks (control, games). To this end, we also propose techniques to improve transfer between these domains. Results show consistent performance gains in terms of both convergence speed and reward on a variety of environments, accelerating training by 3-6x and achieving state-of-the-art performance in a variety of tasks using Wikipedia-pretrained and GPT2 language models. We hope that this work not only brings light to the potentials of leveraging generic sequence modeling techniques and pre-trained models for RL, but also inspires future work on sharing knowledge between generative modeling tasks of completely different domains.


title: DELAUNAY: a dataset of abstract art for psychophysical and machine learning research

abstract: Image datasets are commonly used in psychophysical experiments and in machine learning research. Most publicly available datasets are comprised of images of realistic and natural objects. However, while typical machine learning models lack any domain specific knowledge about natural objects, humans can leverage prior experience for such data, making comparisons between artificial and natural learning challenging. Here, we introduce DELAUNAY, a dataset of abstract paintings and non-figurative art objects labelled by the artists' names. This dataset provides a middle ground between natural images and artificial patterns and can thus be used in a variety of contexts, for example to investigate the sample efficiency of humans and artificial neural networks. Finally, we train an off-the-shelf convolutional neural network on DELAUNAY, highlighting several of its intriguing features.


title: Adaptive Optimizer for Automated Hyperparameter Optimization Problem

abstract: The choices of hyperparameters have critical effects on the performance of machine learning models. In this paper, we present a general framework that is able to construct an adaptive optimizer, which automatically adjust the appropriate algorithm and parameters in the process of optimization. Examining the method of adaptive optimizer, we product an example of using genetic algorithm to construct an adaptive optimizer based on Bayesian Optimizer and compared effectiveness with original optimizer. Especially, It has great advantages in parallel optimization.


title: Lipschitz continuity of the Hausdorff dimension of self-affine sponges at Sierpinski sponges

abstract: The Hausdorff dimension of general Sierpinski carpets, [4] and [20], and the generalization on Lalley-Gatzouras carpets, [10], are today well known results, the formulas being obtain via the variational principle for the dimension. We call the multidimensional versions of these carpets Sierpinski sponges and self-affine sponges, respectively,. In this paper we show that the Hausdorff dimension of self-affine sponges, defined in R3, is a Lipschitz continuous function at Sierpinski sponges.


title: Leveraging class abstraction for commonsense reinforcement learning via residual policy gradient methods

abstract: Enabling reinforcement learning (RL) agents to leverage a knowledge base while learning from experience promises to advance RL in knowledge intensive domains. However, it has proven difficult to leverage knowledge that is not manually tailored to the environment. We propose to use the subclass relationships present in open-source knowledge graphs to abstract away from specific objects. We develop a residual policy gradient method that is able to integrate knowledge across different abstraction levels in the class hierarchy. Our method results in improved sample efficiency and generalisation to unseen objects in commonsense games, but we also investigate failure modes, such as excessive noise in the extracted class knowledge or environments with little class structure.


title: Designing quantum many-body matter with conditional generative adversarial networks

abstract: The computation of dynamical correlators of quantum many-body systems represents an open critical challenge in condensed matter physics. While powerful methodologies have risen in recent years, covering the full parameter space remains unfeasible for most many-body systems with a complex configuration space. Here we demonstrate that conditional Generative Adversarial Networks (GANs) allow simulating the full parameter space of several many-body systems, accounting both for controlled parameters, and stochastic disorder effects. After training with a restricted set of noisy many-body calculations, the conditional GAN algorithm provides the whole dynamical excitation spectra for a Hamiltonian instantly and with an accuracy analogous to the exact calculation. We further demonstrate how the trained conditional GAN automatically provides a powerful method for Hamiltonian learning from its dynamical excitations, and to flag non-physical systems via outlier detection. Our methodology puts forward generative adversarial learning as a powerful technique to explore complex many-body phenomena, providing a starting point to design large-scale quantum many-body matter.


title: Culinary fluid mechanics and other currents in food science

abstract: Innovations in fluid mechanics are leading to better food since ancient history, while creativity in cooking inspires applied and fundamental science. Here, we review how recent advances in hydrodynamics are changing food science, and we highlight how the surprising phenomena that arise in the kitchen lead to discoveries and technologies across the disciplines, including rheology, soft matter, biophysics and molecular gastronomy. This review is structured like a menu, where each course highlights different aspects of culinary fluid mechanics. Our main themes include multiphase flows, complex fluids, thermal convection, hydrodynamic instabilities, viscous flows, granular matter, porous media, percolation, chaotic advection, interfacial phenomena, and turbulence. For every topic, we first provide an introduction accessible to food professionals and scientists in neighbouring fields. We then assess the state-of-the-art knowledge, the open problems, and likely directions for future research. New gastronomic ideas grow rapidly as the scientific recipes keep improving too.

categories: physics.pop-ph cond-mat.soft physics.bio-ph physics.flu-dyn


title: Impact of Phase-Noise and Spatial Correlation on Double-RIS-Assisted Multiuser MISO Networks

abstract: We study the performance of a phase-noise impaired double reconfigurable intelligent surface (RIS)-aided multiuser (MU) multiple-input single-output (MISO) system under spatial correlation at both RISs and base-station (BS). The downlink achievable rate is derived in closed-form under maximum ratio transmission (MRT) precoding. In addition, we obtain the optimal phase-shift design at both RISs in closed-form for the considered channel and phase-noise models. Numerical results validate the analytical expressions, and highlight the effects of different system parameters on the achievable rate. Our analysis shows that phase-noise can severely degrade the performance when users do not have direct links to both RISs, and can only be served via the double-reflection link. Also, we show that high spatial correlation at RISs is essential for high achievable rates.


title: Spatial resolution and efficiency of prototype sensors for the LHCb VELO Upgrade

abstract: A comprehensive study of the spatial resolution and detection efficiency of sensor prototypes developed for the LHCb VELO upgrade is presented. Data samples were collected at the CERN SPS H8 beam line using a hadron mixture of protons and pions with momenta of approximately 180 GeV/c. The sensor performance was characterised using both irradiated and non-irradiated sensors. Irradiated samples were subjected to a maximum fluence of $\mathrm{8\times10^{15}~1~MeV~n_{eq}~cm^{-2}}$, of both protons and neutrons. The spatial resolution is measured comparing the detected hits to the position as predicted by tracks reconstructed by the Timepix3 telescope. The resolution is presented for different applied bias voltages and track angles, sensor thickness and implant size.


title: Quantum Corrections to Soliton Energies

abstract: We review recent progress in the computation of leading quantum corrections to the energies of classical solitons with topological structure, including multi-soliton models in one space dimension and string configurations in three space dimensions. Taking advantage of analytic continuation techniques to efficiently organize the calculations, we show how quantum corrections affect the stability of solitons in the Shifman-Voloshin model, stabilize charged electroweak strings coupled to a heavy fermion doublet, and bind Nielsen-Olesen vortices at the classical transition between type I and type II superconductors.


title: Asymptotic strictly pseudoconvex CR structure for asymptotically locally complex hyperbolic manifolds

abstract: In this paper, we build a compactification by a strictly pseudoconvex CR structure for complete and non-compact K\"ahler manifolds whose curvature tensor is asymptotic to that of the complex hyperbolic space.


title: O-ViT: Orthogonal Vision Transformer

abstract: Inspired by the tremendous success of the self-attention mechanism in natural language processing, the Vision Transformer (ViT) creatively applies it to image patch sequences and achieves incredible performance. However, the scaled dot-product self-attention of ViT brings about scale ambiguity to the structure of the original feature space. To address this problem, we propose a novel method named Orthogonal Vision Transformer (O-ViT), to optimize ViT from the geometric perspective. O-ViT limits parameters of self-attention blocks to be on the norm-keeping orthogonal manifold, which can keep the geometry of the feature space. Moreover, O-ViT achieves both orthogonal constraints and cheap optimization overhead by adopting a surjective mapping between the orthogonal group and its Lie algebra.We have conducted comparative experiments on image recognition tasks to demonstrate O-ViT's validity and experiments show that O-ViT can boost the performance of ViT by up to 3.6%.


title: Bounded operators on Martingale Hardy spaces

abstract: The aim of my thesis is to discuss, develop and apply the newest developments of this fascinating theory connected to modern harmonic analysis. In particular, we investigate some strong convergence result of partial sums of Vilenkin-Fourier series. Moreover, we derive necessary and sufficient conditions for the modulus of continuity so that norm convergence of subsequences of Fej\'er means is valid. Furthermore, we consider Riesz and N\"orlund logarithmic means. It is also proved that these results are the best possible in a special sense. As applications both some well-known and new results are pointed out. In addition, we investigate some $T$ means, which are "inverse" summability methods of N\"orlund, but only in the case when their coefficients are monotone.


title: Multi-objective learner performance-based behavior algorithm with five multi-objective real-world engineering problems

abstract: In this work, a new multiobjective optimization algorithm called multiobjective learner performance-based behavior algorithm is proposed. The proposed algorithm is based on the process of transferring students from high school to college. The proposed technique produces a set of non-dominated solutions. To judge the ability and efficacy of the proposed multiobjective algorithm, it is evaluated against a group of benchmarks and five real-world engineering optimization problems. Additionally, to evaluate the proposed technique quantitatively, several most widely used metrics are applied. Moreover, the results are confirmed statistically. The proposed work is then compared with three multiobjective algorithms, which are MOWCA, NSGA-II, and MODA. Similar to the proposed technique, the other algorithms in the literature were run against the benchmarks, and the real-world engineering problems utilized in the paper. The algorithms are compared with each other employing descriptive, tabular, and graphical demonstrations. The results proved the ability of the proposed work in providing a set of non-dominated solutions, and that the algorithm outperformed the other participated algorithms in most of the cases.


title: The kilogram: inertial or gravitational mass?

abstract: With the redefinition of the international system of units, the value of the Planck constant was fixed, similarly to the values of the unperturbed ground state hyperfine transition frequency of the $^{133}$Cs atom, speed of light in vacuum. Theoretically and differently from the past, the kilogram is now explicitly defined as the unit of inertial mass. Experimentally, the kilogram is realized by atom count or the Kibble balance. We show that only the former method measures the inertial mass without assuming the universality of free fall. Therefore, the agreement between the two measures can be interpreted as a test of the equivalence principle.


title: CMOS pixel sensors optimized for large ionizing dynamic

abstract: Monolithic active pixel sensors (MAPS) are now well established as a technology for tracking charged particles, especially when low material budget is desirable. For such applications, sensors focus on spatial resolution and pixels with digital output or modest charge measurement ability are well suited. Within the European Union STRONG-2020 project, which focuses on experiments using hadrons, the TIIMM (Tracking and Ions Identifications with Minimal Material budget) joint research activity intends to expand granular MAPS capacity to energy-loss ({\Delta}E) measurement for ion species identification. The TIIMM prototypes are developed in the Tower Jazz 180 nm CMOS image sensor (CIS) process. The Time-Over-Threshold (ToT) method is applied to the sensor for the energy-loss measurement. The main design details and the preliminary test results from laboratory measurements of the initial TIIMM prototype are presented in this work.


title: Generator of spatial evolution of the electromagnetic field

abstract: Starting with Maxwell's equations and defining normal variables in the Fourier space, we write the equations of temporal evolution of the electromagnetic field with sources in the Hamiltonian and Lagrangian forms, making explicit all intermediate steps often omitted in standard textbooks. Then, we follow the same steps to write the equations of evolution of this field along a spatial dimension in the Hamiltonian and Lagrangian forms. In this way, we arrive at the explicit form of the generator of spatial evolution of the electromagnetic field with sources and show that it has a physical meaning of the modulus of momentum transferred through a given plane orthogonal to the direction of propagation. In a particular case of free field this generator coincides with the projection of the full momentum of the field on the propagation direction, taken with a negative sign. The Hamiltonian and Lagrangian formulations of the spatial evolution are indispensable for a correct quantization of the field when considering its spatial rather than temporal evolution, in particular, for a correct definition of the equal-space commutation relations.


title: First measurement of the surface tension of a liquid scintillator based on Linear Alkylbenzene (HYBLENE 113)

abstract: We measured the surface tension of linear alkylbenzene (LAB) HYBLENE 113 mixed with Diphenyloxazole (PPO) as well as of pure LAB HYBLENE 113 as part of material studies for the liquid-scintillator based surround background tagger (SBT) in the proposed SHiP experiment. The measurement was performed using the iron wire method and the surface tension for linear alkyl benzene HYBLENE 113 plus PPO was found to be $(30.0\pm0.6)$ mN/m $22.0\pm 0.5$ {\deg}C and for pure HYBLENE 113, $(29.2\pm 0.6)$ mN/m at $21.0\pm 0.5$ {\deg}C.


title: A Simple Measure of Product Substitutability Based on Common Purchases

abstract: We propose a measure of product substitutability based on correlation of common purchases, which is fast to compute and easy to interpret. In an empirical study of a drugstore retail chain, we demonstrate its properties, compare it to a similarly simple measure of product complementarity, and use it to find small clusters of substitutes.


title: On the on-shell equivalence of general relativity and Holst theories with nonmetricity, torsion, and boundaries

abstract: We study a generalization of the Holst action where we admit nonmetricity and torsion in manifolds with timelike boundaries (both in the metric and tetrad formalism). We prove that its space of solutions is equal to the one of the Palatini action. Therefore, we conclude that the metric sector is in fact identical to GR, which is defined by the Einstein-Hilbert action. We further prove that, despite defining the same space of solutions, the Palatini and (the generalized) Holst Lagrangians are not cohomologically equal. Thus, the presymplectic structure and charges provided by the Covariant Phase Space method might differ. However, using the relative bicomplex framework, we show the covariant phase spaces of both theories are equivalent (and in fact equivalent to GR), as well as their charges, clarifying some open problems regarding dual charges and their equivalence in different formulations.


title: Energy-Efficient UAV-Sensor Data Harvesting: Dynamic Adaptive Modulation and Height Control

abstract: Leveraging unmanned aerial vehicle (UAV) is convenient to collect data from ground sensor. However, in the presence of unknown urban environment, the data collection is subject to the blockage of urban buildings. In this paper, considering the urban environment during flight, we propose dynamic adaptive modulation and height control for UAV-sensor data harvesting in urban areas. In each time slot, the modulation format and flight height are selected based on current system states, with the aim of minimizing the expected transmission energy of sensor under data volume and flight height constraints. The dynamic adaptive modulation and height control problem is formulated as constrained finite-horizon Markov decision processes (CMDP), which can be solved by backward induction algorithm. The advantage of proposed joint design over modulation selection only is illustrated via the computer simulations, where 48.23% expected transmission energy can be saved for ground sensor.


title: Locally Invariant Explanations: Towards Stable and Unidirectional Explanations through Local Invariant Learning

abstract: Locally interpretable model agnostic explanations (LIME) method is one of the most popular methods used to explain black-box models at a per example level. Although many variants have been proposed, few provide a simple way to produce high fidelity explanations that are also stable and intuitive. In this work, we provide a novel perspective by proposing a model agnostic local explanation method inspired by the invariant risk minimization (IRM) principle -- originally proposed for (global) out-of-distribution generalization -- to provide such high fidelity explanations that are also stable and unidirectional across nearby examples. Our method is based on a game theoretic formulation where we theoretically show that our approach has a strong tendency to eliminate features where the gradient of the black-box function abruptly changes sign in the locality of the example we want to explain, while in other cases it is more careful and will choose a more conservative (feature) attribution, a behavior which can be highly desirable for recourse. Empirically, we show on tabular, image and text data that the quality of our explanations with neighborhoods formed using random perturbations are much better than LIME and in some cases even comparable to other methods that use realistic neighbors sampled from the data manifold. This is desirable given that learning a manifold to either create realistic neighbors or to project explanations is typically expensive or may even be impossible. Moreover, our algorithm is simple and efficient to train, and can ascertain stable input features for local decisions of a black-box without access to side information such as a (partial) causal graph as has been seen in some recent works.


title: Controlling thermal cycling effect in phase separated manganites with high temperature thermal treatments

abstract: Several phase separated manganites present a peculiar effect each time they go through a phase transition within the range characterized by phase separation. The effect is known as the thermal cycling effect(TCE) and is characterized by monotonous changes in the relative content of the coexisting phases. In this work, we analyze a way to control the effects induced by TCE, performing thermal treatments at high temperature. Our results revealed a complex interplay between the dynamic and static characteristics of the phase separated state, which can be analyzed in terms of three simple parameters. One related to the static properties, another to the dynamic properties and a last one that acts as a link between both features.


title: Investigating students` views of experimental physics in German laboratory classes

abstract: There is a large variety of goals instructors have for laboratory courses, with different courses focusing on different subsets of goals. An often implicit, but crucial, goal is to develop students` attitudes, views, and expectations about experimental physics to align with practicing experimental physicists. The assessment of laboratory courses upon this one dimension of learning has been intensively studied in US institutions using the Colorado Learning Attitudes Science Survey for Experimental Physics (E-CLASS). However, there is no such an instrument available to use in Germany, and the influence of laboratory courses on students` views about the nature of experimental physics is still unexplored at German-speaking institutions. Motivated by the lack of an assessment tool to investigate this goal in laboratory courses at German-speaking institutions, we present a translated version of the E-CLASS adapted to the context at German-speaking institutions. We call the German version of the E-CLASS, the GE-CLASS. We describe the translation process and the creation of an automated web-based system for instructors to assess their laboratory courses. We also present first results using GE-CLASS obtained at the University of Potsdam. A first comparison between E-CLASS and GE-CLASS results shows clear differences between University of Potsdam and US students' views and beliefs about experimental physics.


title: Ehrenfest dynamics implemented in the all-electron package exciting

abstract: Ehrenfest Dynamics combined with real-time time-dependent density functional theory has proven to be a reliable tool to study non-adiabatic molecular dynamics with a reasonable computational cost. Among other possibilities, it allows for assessing in real time electronic excitations generated by ultra-fast laser pulses, as e.g., in pump-probe spectroscopy, and their coupling to the nuclear vibrations even beyond the linear regime. In this work, we present its implementation in the all-electron full-potential package exciting. Three cases are presented as examples: diamond and cubic BN relaxed after an initial lattice distortion, and cubic BN exposed to a laser pulse. Comparison with the Octopus code exhibits good agreement.


title: Convergence of the Temporal Averages of a Metastable System of Spiking Neurons

abstract: We consider a stochastic system of spiking neurons which was previously proven to present a metastable behavior for a suitable choice of the parameter, in the sense that the time of extinction is asymptotically memory-less when the number of components in the system goes to $\infty$. In the present article we complete this work by showing that, previous to extinction, the system tends to stabilize in the sense that temporal means taken on an appropriate time scale converge in probability to some fixed value. This property is sometime called thermalization.


title: On sufficient "local" conditions for existence results to generalized $p(\cdot)$-Laplace equations involving critical growth

abstract: In this paper, we study the existence of multiple solutions to a generalized $p(\cdot)$-Laplace equation with two parameters involving critical growth. More precisely, we give sufficient "local" conditions, which mean that growths between the main operator and nonlinear term are locally assumed for the cases $p(\cdot)$-sublinear, $p(\cdot)$-superlinear, and sandwich-type. Compared to constant exponent problems (for examples, $p$-Laplacian and $(p,q)$-Laplacian), this characterizes the study of variable exponent problems. We show this by applying variants of the Mountain Pass Theorem for $p(\cdot)$-sublinear and $p(\cdot)$-superlinear cases and constructing critical values defined by a minimax argument in the genus theory for sandwich-type case. Moreover, we also obtain a nontrivial nonnegative solution for sandwich-type case changing a role of parameters. Our work is a generalization of several existing works in the literature.


title: X-ray variability of HD 189733 across eight years of XMM-Newton observations

abstract: The characterization of exoplanets, their formation, evolution, and chemical changes is tightly linked to our knowledge of their host stars. In particular, stellar X-rays and UV emission have a strong impact on the dynamical and chemical evolution of planetary atmospheres. We analyzed 25 XMM-Newton observations encompassing about eight years and totaling about 958 ks in order to study the X-ray emission of HD 189733 A. We find that the corona of HD 189733 A has an average temperature of 0.4 keV and it is only during flares that the mean temperature increases to 0.9 keV. Apart from the flares, there is no significant change in the flux and hardness of the coronal emission on a timescale of several months to years. Thus, we conclude that there is no detectable activity cycle on such timescales. We identified the flares and built their energy distribution. The number of flares observed around the phases of the planetary eclipses is not statistically different from the number of flares during transit phases. However, we do find a hint of a difference in the flare-energy distributions, as the flares observed around the planetary eclipses tend to be more energetic than the flares observed around the primary transits of the planet. We modeled the distribution of the number of flares per day with a power law, showing that it is steeper than the one observed in the Sun and in other Main Sequence stars. The steepness hints at a significant fraction of undetected micro-flares. Altogether, the plasma temperatures below 1 keV observed during the flares, along with the slightly larger fraction of energetic flares seen at the secondary transits highlight the peculiarity of the corona of HD 189733 A and points to star-planet interaction as the plausible origin of part of its X-ray emission. However, more observational and modeling efforts are required to confirm or disprove this scenario.


title: Learning Curves for Decision Making in Supervised Machine Learning -- A Survey

abstract: Learning curves are a concept from social sciences that has been adopted in the context of machine learning to assess the performance of a learning algorithm with respect to a certain resource, e.g. the number of training examples or the number of training iterations. Learning curves have important applications in several contexts of machine learning, most importantly for the context of data acquisition, early stopping of model training and model selection. For example, by modelling the learning curves, one can assess at an early stage whether the algorithm and hyperparameter configuration have the potential to be a suitable choice, often speeding up the algorithm selection process. A variety of approaches has been proposed to use learning curves for decision making. Some models answer the binary decision question of whether a certain algorithm at a certain budget will outperform a certain reference performance, whereas more complex models predict the entire learning curve of an algorithm. We contribute a framework that categorizes learning curve approaches using three criteria: the decision situation that they address, the intrinsic learning curve question that they answer and the type of resources that they use. We survey papers from literature and classify them into this framework.


title: Unsupervised Learning From Incomplete Measurements for Inverse Problems

abstract: In many real-world inverse problems, only incomplete measurement data are available for training which can pose a problem for learning a reconstruction function. Indeed, unsupervised learning using a fixed incomplete measurement process is impossible in general, as there is no information in the nullspace of the measurement operator. This limitation can be overcome by using measurements from multiple operators. While this idea has been successfully applied in various applications, a precise characterization of the conditions for learning is still lacking. In this paper, we fill this gap by presenting necessary and sufficient conditions for learning the underlying signal model needed for reconstruction which indicate the interplay between the number of distinct measurement operators, the number of measurements per operator, the dimension of the model and the dimension of the signals. Furthermore, we propose a novel and conceptually simple unsupervised learning loss which only requires access to incomplete measurement data and achieves a performance on par with supervised learning when the sufficient condition is verified. We validate our theoretical bounds and demonstrate the advantages of the proposed unsupervised loss compared to previous methods via a series of experiments on various imaging inverse problems, such as accelerated magnetic resonance imaging, compressed sensing and image inpainting.


title: Carotid artery wall segmentation in ultrasound image sequences using a deep convolutional neural network

abstract: The objective of this study is the segmentation of the intima-media complex of the common carotid artery, on longitudinal ultrasound images, to measure its thickness. We propose a fully automatic region-based segmentation method, involving a supervised region-based deep-learning approach based on a dilated U-net network. It was trained and evaluated using a 5-fold cross-validation on a multicenter database composed of 2176 images annotated by two experts. The resulting mean absolute difference (<120 um) compared to reference annotations was less than the inter-observer variability (180 um). With a 98.7% success rate, i.e., only 1.3% cases requiring manual correction, the proposed method has been shown to be robust and thus may be recommended for use in clinical practice.


title: Improving Pre-movement Pattern Detection with Filter Bank Selection

abstract: Pre-movement decoding plays an important role in movement detection and is able to detect movement onset with low-frequency electroencephalogram (EEG) signals before the limb moves. In related studies, pre-movement decoding with standard task-related component analysis (STRCA) has been demonstrated to be efficient for classification between movement state and resting state. However, the accuracies of STRCA differ among subbands in the frequency domain. Due to individual differences, the best subband differs among subjects and is difficult to be determined. This study aims to improve the performance of the STRCA method by a feature selection on multiple subbands and avoid the selection of best subbands. This study first compares three frequency range settings ($M_1$: subbands with equally spaced bandwidths; $M_2$: subbands whose high cut-off frequencies are twice the low cut-off frequencies; $M_3$: subbands that start at some specific fixed frequencies and end at the frequencies in an arithmetic sequence.). Then, we develop a mutual information based technique to select the features in these subbands. A binary support vector machine classifier is used to classify the selected essential features. The results show that $M_3$ is a better setting than the other two settings. With the filter banks in $M_3$, the classification accuracy of the proposed FBTRCA achieves 0.8700$\pm$0.1022, which means a significantly improved performance compared to STRCA (0.8287$\pm$0.1101) as well as to the cross validation and testing method (0.8431$\pm$0.1078).


title: Electron spin spectroscopy of single TEMPO dimers coupled via interfering tunneling currents

abstract: We report the detection of electron spin resonance (ESR) in individual dimers of the stable free radical 2,2,6,6-tetramethyl-piperidine-1-oxyl (TEMPO). ESR is measured by the current fluctuations in a scanning tunnelling microscope (ESR-STM method). The multi-peak power spectra, distinct from macroscopic data, are assigned to dimers having exchange and Dzyaloshinskii-Moriya interactions in presence of spin-orbit coupling. These interactions are generated in our model by interfering electronic tunneling pathways from tip to sample via the dimer's two molecules. This is the first demonstration that tunneling via two spins is a valid mechanism of the ESR-STM method.


title: Reducing language context confusion for end-to-end code-switching automatic speech recognition

abstract: Code-switching deals with alternative languages in communication process. Training end-to-end (E2E) automatic speech recognition (ASR) systems for code-switching is especially challenging as code-switching training data are always insufficient to combat the increased multilingual context confusion due to the presence of more than one language. We propose a language-related attention mechanism to reduce multilingual context confusion for the E2E code-switching ASR model based on the Equivalence Constraint (EC) Theory. The linguistic theory requires that any monolingual fragment that occurs in the code-switching sentence must occur in one of the monolingual sentences. The theory establishes a bridge between monolingual data and code-switching data. We leverage this linguistics theory to design the code-switching E2E ASR model. The proposed model efficiently transfers language knowledge from rich monolingual data to improve the performance of the code-switching ASR model. We evaluate our model on ASRU 2019 Mandarin-English code-switching challenge dataset. Compared to the baseline model, our proposed model achieves a 17.12% relative error reduction.


title: Nonlinear stability of periodic roll solutions in the real Ginzburg-Landau equation against $C_{\mathrm{ub}}^m$-perturbations

abstract: The real Ginzburg-Landau equation arises as a universal amplitude equation for the description of pattern-forming systems exhibiting a Turing bifurcation. It possesses spatially periodic roll solutions which are known to be stable against localized perturbations. It is the purpose of this paper to prove their stability against bounded perturbations, which are not necessarily localized. Since all state-of-the-art techniques rely on localization or periodicity properties of perturbations, we develop a new method, which employs pure $L^\infty$-estimates only. By fully exploiting the smoothing properties of the semigroup generated by the linearization, we are able to close the nonlinear iteration despite the slower decay rates. To show the wider relevance of our method, we also apply it to the amplitude equation as it appears for pattern-forming systems with an additional conservation law.


title: Towards Multi-class Pre-movement Classification

abstract: In non-invasive brain-computer interface systems, pre-movement decoding plays an important role in the detection of movement before limbs actually move. Movement-related cortical potential is a kind of brain activity associated with pre-movement decoding. In current studies, patterns decoded from movement are mainly applied to the binary classification between movement state and resting state, such as elbow flexion and rest. The classifications between two movement states and among multiple movement states are still challenging. This study proposes a new method, the star-arrangement spectral filtering (SASF), to solve the multi-class pre-movement classification problem. We first design a referenced task-related component analysis (RTRCA) framework that consists of two modules. This first module is the classification between movement state and resting state; the second module is the classification of multiple movement states. SASF is developed by optimizing the features in RTRCA. In SASF, feature selection on filter banks is used on the first module of RTRCA, and feature selection on time windows is used on the second module of RTRCA. A linear discriminant analysis classifier is used to classify the optimized features. In the binary classification between two motions, the classification accuracy of SASF achieves 0.9670$\pm$0.0522, which is significantly higher than the result provided by the deep convolutional neural network (0.6247$\pm$0.0680) and the discriminative spatial pattern method (0.4400$\pm$0.0700). In the multi-class classification of 7 states, the classification accuracy of SASF is 0.9491$\pm$0.0372. The proposed SASF greatly improves the classification between two motions and enables the classification among multiple motions. The result shows that the movement can be decoded from EEG signals before the actual limb movement.


title: Stagnation Detection Meets Fast Mutation

abstract: Two mechanisms have recently been proposed that can significantly speed up finding distant improving solutions via mutation, namely using a random mutation rate drawn from a heavy-tailed distribution ("fast mutation", Doerr et al. (2017)) and increasing the mutation strength based on stagnation detection (Rajabi and Witt (2020)). Whereas the latter can obtain the asymptotically best probability of finding a single desired solution in a given distance, the former is more robust and performs much better when many improving solutions in some distance exist. In this work, we propose a mutation strategy that combines ideas of both mechanisms. We show that it can also obtain the best possible probability of finding a single distant solution. However, when several improving solutions exist, it can outperform both the stagnation-detection approach and fast mutation. The new operator is more than an interleaving of the two previous mechanisms and it also outperforms any such interleaving.


title: Stochastic optimization in digital pre-distortion of the signal

abstract: In this paper, we test the performance of some modern stochastic optimization methods and practices in application to digital pre-distortion problem, that is a valuable part of processing signal on base stations providing wireless communication. In first part of our study, we focus on search of the best performing method and its proper modifications. In the second part, we proposed the new, quasi-online, testing framework that allows us to fit our modelling results with the behaviour of real-life DPD prototype, retested some selected of practices considered in previous section and approved the advantages of the method occured to be the best in real-life conditions. For the used model, maximum achieved improvement in depth was 7% in standard regime and 5% in online one (metric itself is of logarithmic scale). We also achieved a halving of the working time preserving 3% and 6% improvement in depth for the standard and online regime, correspondingly. All comparisons are made to the Adam method, which was highlighted as the best stochastic method for DPD problem in paper [Pasechnyuk et al., 2021], and to the Adamax method, that is the best in the proposed online regime.


title: A general model and toolkit for the ionization of three or more electrons in strongly driven atoms using an effective Coulomb potential for the interaction between bound electrons

abstract: We formulate a three-dimensional semi-classical model to address triple and double ionization in three-electron atoms driven by intense infrared laser pulses. During time propagation, our model fully accounts for the Coulomb singularities, the magnetic field of the laser pulse and for the motion of the nucleus at the same time as for the motion of the three electrons. The framework we develop is general and can account for multi-electron ionization in strongly-driven atoms with more than three electrons. To avoid unphysical autoionization arising in classical models of three or more electrons, we replace the Coulomb potential between pairs of bound electrons with effective Coulomb potentials. The Coulomb forces between electrons that are not both bound are fully accounted for. We develop a set of criteria to determine when electrons become bound during time propagation. We compare ionization spectra obtained with the model developed here and with the Heisenberg model that includes a potential term restricting an electron from closely approaching the core. Such spectra include the sum of the electron momenta along the direction of the laser field as well as the correlated electron momenta. We also compare these results with experimental ones.


title: Designing spin and orbital sources of Berry curvature at oxide interfaces

abstract: Quantum materials can display physical phenomena rooted in the geometry of electronic wavefunctions. The corresponding geometric tensor is characterized by an emergent field known as Berry curvature (BC). Large BCs typically arise when electronic states with different spin, orbital or sublattice quantum numbers hybridize at finite crystal momentum. In all materials known to date, the BC is triggered by the hybridization of a single type of quantum number. Here, we report the discovery of the first material system having both spin and orbital-sourced BC: LaAlO$_3$/SrTiO$_3$ interfaces grown along the [111] direction. We detect independently these two sources and directly probe the BC associated to the spin quantum number through measurements of an anomalous planar Hall effect. The observation of a nonlinear Hall effect with time-reversal symmetry signals large orbital-mediated BC dipoles. The coexistence of different forms of BC enables the combination of spintronic and optoelectronic functionalities in a single material.


title: Dirichlet improvability for $S$-numbers

abstract: We study the problem of improving Dirichlet's theorem of metric Diophantine approximation in the $S$-adic setting. Our approach is based on translation of the problem related to Dirichlet improvability into a dynamical one, and the main technique of our proof is the $S$-adic version of quantitative nondivergence estimate due to D. Y. Kleinbock and G. Tomanov. The main result of this paper can be regarded as the number field version of earlier works of D. Y. Kleinbock and B. Weiss, and of the second named author and Anish Ghosh. Also this in turn generalises a result of Shreyasi Datta and M. M. Radhika on singularity of vectors to any number field $K$ and $S$ containing all archimedian places.


title: Biases in In Silico Evaluation of Molecular Optimization Methods and Bias-Reduced Evaluation Methodology

abstract: We are interested in in silico evaluation methodology for molecular optimization methods. Given a sample of molecules and their properties of our interest, we wish not only to train an agent that can find molecules optimized with respect to the target property but also to evaluate its performance. A common practice is to train a predictor of the target property on the sample and use it for both training and evaluating the agent. We show that this evaluator potentially suffers from two biases; one is due to misspecification of the predictor and the other to reusing the same sample for training and evaluation. We discuss bias reduction methods for each of the biases comprehensively, and empirically investigate their effectiveness.


title: Full Configuration Interaction Excited-State Energies in Large Active Spaces from Subspace Iteration with Repeated Random Sparsification

abstract: We present a stable and systematically improvable quantum Monte Carlo (QMC) approach to calculating excited-state energies, which we implement using our fast randomized iteration method for the full configuration interaction problem (FCI-FRI). Unlike previous excited-state quantum Monte Carlo methods, our approach, which is an asymmetric variant of subspace iteration, avoids the use of dot products of random vectors and instead relies upon trial vectors to maintain orthogonality and estimate eigenvalues. By leveraging recent advances, we apply our method to calculate ground- and excited-state energies of strongly correlated molecular systems in large active spaces, including the carbon dimer with 8 electrons in 108 orbitals (8e,108o), an oxo-Mn(salen) transition metal complex (28e,28o), ozone (18e,87o), and butadiene (22e,82o). In the majority of these test cases, our approach yields total excited-state energies that agree with those from state-of-the-art methods -- including heat-bath CI, the density matrix renormalization group approach, and FCIQMC -- to within sub-milliHartree accuracy. In all cases, estimated excitation energies agree to within about 0.1 eV.


title: ReGAE: Graph autoencoder based on recursive neural networks

abstract: Invertible transformation of large graphs into fixed dimensional vectors (embeddings) remains a challenge. Its overcoming would reduce any operation on graphs to an operation in a vector space. However, most existing methods are limited to graphs with tens of vertices. In this paper we address the above challenge with recursive neural networks - the encoder and the decoder. The encoder network transforms embeddings of subgraphs into embeddings of larger subgraphs, and eventually into the embedding of the input graph. The decoder does the opposite. The dimension of the embeddings is constant regardless of the size of the (sub)graphs. Simulation experiments presented in this paper confirm that our proposed graph autoencoder, ReGAE, can handle graphs with even thousands of vertices.


title: Generators of matrix monoids over commutative semirings

abstract: We determine minimal generating sets for matrix monoids over semirings and semifields. In particular, we produce minimal generating sets for the monoids of upper triangular and unitriangular matrices over a commutative semiring. We construct minimal and irredundant generating sets for the monoids of $2 \times 2$ and $3 \times 3$ matrices over the tropical integers, showing that $M_3({\mathbb{Z}}_\mathrm{max})$ is not finitely generated.


title: SKT structures on nilmanifolds

abstract: The aim of this article is to study the existence of invariant SKT structures on nilmanifolds. More precisely, we give a negative answer to the question of whether there exist a $k$-step ($k>2$) complex nilmanifold admitting an invariant SKT metric. We also provide a construction which serves as a tool to generate examples of invariant SKT structures on $2$-step nilmanifolds in arbitrary dimensions.


title: Robotic Tissue Sampling for Safe Post-mortem Biopsy in Infectious Corpses

abstract: In pathology and legal medicine, the histopathological and microbiological analysis of tissue samples from infected deceased is a valuable information for developing treatment strategies during a pandemic such as COVID-19. However, a conventional autopsy carries the risk of disease transmission and may be rejected by relatives. We propose minimally invasive biopsy with robot assistance under CT guidance to minimize the risk of disease transmission during tissue sampling and to improve accuracy. A flexible robotic system for biopsy sampling is presented, which is applied to human corpses placed inside protective body bags. An automatic planning and decision system estimates optimal insertion point. Heat maps projected onto the segmented skin visualize the distance and angle of insertions and estimate the minimum cost of a puncture while avoiding bone collisions. Further, we test multiple insertion paths concerning feasibility and collisions. A custom end effector is designed for inserting needles and extracting tissue samples under robotic guidance. Our robotic post-mortem biopsy (RPMB) system is evaluated in a study during the COVID-19 pandemic on 20 corpses and 10 tissue targets, 5 of them being infected with SARS-CoV-2. The mean planning time including robot path planning is (5.72+-1.67) s. Mean needle placement accuracy is (7.19+-4.22) mm.