title: SASA: A Scalable and Automatic Stencil Acceleration Framework for Optimized Hybrid Spatial and Temporal Parallelism on HBM-based FPGAs

abstract: Stencil computation is one of the fundamental computing patterns in many application domains such as scientific computing and image processing. While there are promising studies that accelerate stencils on FPGAs, there lacks an automated acceleration framework to systematically explore both spatial and temporal parallelisms for iterative stencils that could be either computation-bound or memory-bound. In this paper, we present SASA, a scalable and automatic stencil acceleration framework on modern HBM-based FPGAs. SASA takes the high-level stencil DSL and FPGA platform as inputs, automatically exploits the best spatial and temporal parallelism configuration based on our accurate analytical model, and generates the optimized FPGA design with the best parallelism configuration in TAPA high-level synthesis C++ as well as its corresponding host code. Compared to state-of-the-art automatic stencil acceleration framework SODA that only exploits temporal parallelism, SASA achieves an average speedup of 3.74x and up to 15.73x speedup on the HBM-based Xilinx Alveo U280 FPGA board for a wide range of stencil kernels.


title: Learning an Efficient Multimodal Depth Completion Model

abstract: With the wide application of sparse ToF sensors in mobile devices, RGB image-guided sparse depth completion has attracted extensive attention recently, but still faces some problems. First, the fusion of multimodal information requires more network modules to process different modalities. But the application scenarios of sparse ToF measurements usually demand lightweight structure and low computational cost. Second, fusing sparse and noisy depth data with dense pixel-wise RGB data may introduce artifacts. In this paper, a light but efficient depth completion network is proposed, which consists of a two-branch global and local depth prediction module and a funnel convolutional spatial propagation network. The two-branch structure extracts and fuses cross-modal features with lightweight backbones. The improved spatial propagation module can refine the completed depth map gradually. Furthermore, corrected gradient loss is presented for the depth completion problem. Experimental results demonstrate the proposed method can outperform some state-of-the-art methods with a lightweight architecture. The proposed method also wins the championship in the MIPI2022 RGB+TOF depth completion challenge.


title: Cofiniteness of generalized local cohomology modules for ideals of small dimension

abstract: Let $\mathfrak{a}$ be an ideal of a commutative noetherian ring $R$ and $M, N$ two finitely generated $R$-modules. By using a spectral sequence argument, it is shown that if either $\mathrm{dim}_RM\leq2$ and $\mathrm{H}^{i}_\mathfrak{a}(N)$ are $\mathfrak{a}$-cofinite for all $i\geq0$, or $\mathrm{H}^{i}_\mathfrak{a}(N)$ is an $\mathfrak{a}$-cofinite module of dimension $\leq1$ for each $i\geq1$, or $q(\mathfrak{a},R)\leq1$, then the $R$-modules $\mathrm{H}^{t}_\mathfrak{a}(M,N)$ are $\mathfrak{a}$-cofinite for all $t\geq0$.


title: Adversarial Vulnerability of Temporal Feature Networks for Object Detection

abstract: Taking into account information across the temporal domain helps to improve environment perception in autonomous driving. However, it has not been studied so far whether temporally fused neural networks are vulnerable to deliberately generated perturbations, i.e. adversarial attacks, or whether temporal history is an inherent defense against them. In this work, we study whether temporal feature networks for object detection are vulnerable to universal adversarial attacks. We evaluate attacks of two types: imperceptible noise for the whole image and locally-bound adversarial patch. In both cases, perturbations are generated in a white-box manner using PGD. Our experiments confirm, that attacking even a portion of a temporal input suffices to fool the network. We visually assess generated perturbations to gain insights into the functioning of attacks. To enhance the robustness, we apply adversarial training using 5-PGD. Our experiments on KITTI and nuScenes datasets demonstrate, that a model robustified via K-PGD is able to withstand the studied attacks while keeping the mAP-based performance comparable to that of an unattacked model.


title: Milnor-Moore theorems for bialgebras in characteristic zero

abstract: Over fields of characteristic zero, we construct equivalences between certain categories of bialgebras which are generated by grouplikes and generalized primitives, and certain categories of structured Lie algebras. The relevant families of bialgebras include many which are not connected, and which fail to admit antipodes.


title: Mitigation of the Magnetic Field Susceptibility of Transition Edge Sensors using a Superconducting Groundplane

abstract: Transition edge sensor (TES) microcalorimeters and bolometers are used for a variety of applications. The sensors are based on the steep temperature-dependent resistance of the normal-to-superconducting transition, and are thus intrinsically sensitive to magnetic fields. Conventionally the detectors are shielded from stray magnetic fields using external magnetic shields. However, in particular for applications with strict limits on the available space and mass of an instrument, external magnetic shields might not be enough to obtain the required shielding factors or field homogeneity. Additionally, these shields are only effective for magnetic fields generated external to the TES array, and are ineffective to mitigate the impact of internally generated magnetic fields. Here we present an alternative shielding method based on a superconducting groundplane deposited directly on the backside of the silicon nitride membrane on which the TESs are located. We demonstrate that this local shielding for external magnetic fields has a shielding factor of at the least ~ 75, and is also effective at reducing internal self-induced magnetic fields, as demonstrated by measurements and simulation of the eddy current losses in our AC biased detectors. Measurements of 5.9 keV X-ray photons show that our shielded detectors have a high resilience to external magnetic fields, showing no degradation of the energy resolution or shifts of the energy scale calibration for fields of several microTesla, values higher than expected in typical real-world applications.


title: Shaping the quantum vacuum with anisotropic temporal boundaries

abstract: Temporal metamaterials empower novel forms of wave manipulation with direct applications to quantum state transformations. In this work, we investigate vacuum amplification effects in anisotropic temporal boundaries. Our results theoretically demonstrate that the anisotropy of the temporal boundary provides control over the angular distribution of the generated photons. We analyze several single and multi-layered configurations of anisotropic temporal boundaries, each with a distinct vacuum amplification effect. Examples include the inhibition of photon production along specific directions, resonant and directive vacuum amplification, the generation of angular and frequency photon combs, and fast angular variations between inhibition and resonant photon production.


title: Simultaneous transmission of hyper-entanglement in 3 degrees of freedom through a multicore fiber

abstract: Entanglement distribution is at the heart of most quantum communication protocols. Inevitable loss of photons along quantum channels is a major obstacle for distributing entangled photons over long distances, as the no-cloning theorem forbids the information to simply be amplified along the way as is done in classical communication. It is therefore desirable for every successfully transmitted photon pair to carry as much entanglement as possible. Spontaneous parametric down-conversion (SPDC) creates photons entangled in multiple high-dimensional degrees of freedom simultaneously, often referred to as hyper-entanglement. In this work, we use a multicore fibre (MCF) to show that energy-time and polarization degrees of freedom can simultaneously be transmitted in multiple fibre cores, even maintaining path entanglement across the cores. We verify a fidelity to the ideal Bell state of at least 95$\%$ in all degrees of freedom. Furthermore, because the entangled photons are created with a center wavelength of 1560 nm, our approach can readily be integrated into modern telecommunication infrastructure, thus paving the way for high-rate quantum key distribution and many other entanglement-based quantum communication protocols.


title: Features and Potentialities of Static Passive EM Skins for NLOS Specular Wireless Links

abstract: The ability of passive flat patterned electromagnetic skins (EMSs) to overcome the asymptotic limit of the total path attenuation (TPA) of flat metallic reflectors of arbitrary size in non-line-of-sight (NLOS) specular wireless links is assessed. Closed-form expressions for the achievable TPA in EMS-powered NLOS links as well as the condition on the panel size of EMS-screens to improve the performance of flat passive conductive screens (PCSs) with the same aperture are derived and numerically validated by considering different incidence angles, screen apertures, transmitter/receiver distances, antenna gains, meta-atom geometries, and carrier frequencies.


title: Efficient Self-Supervision using Patch-based Contrastive Learning for Histopathology Image Segmentation

abstract: Learning discriminative representations of unlabelled data is a challenging task. Contrastive self-supervised learning provides a framework to learn meaningful representations using learned notions of similarity measures from simple pretext tasks. In this work, we propose a simple and efficient framework for self-supervised image segmentation using contrastive learning on image patches, without using explicit pretext tasks or any further labeled fine-tuning. A fully convolutional neural network (FCNN) is trained in a self-supervised manner to discern features in the input images and obtain confidence maps which capture the network's belief about the objects belonging to the same class. Positive- and negative- patches are sampled based on the average entropy in the confidence maps for contrastive learning. Convergence is assumed when the information separation between the positive patches is small, and the positive-negative pairs is large. The proposed model only consists of a simple FCNN with 10.8k parameters and requires about 5 minutes to converge on the high resolution microscopy datasets, which is orders of magnitude smaller than the relevant self-supervised methods to attain similar performance. We evaluate the proposed method for the task of segmenting nuclei from two histopathology datasets, and show comparable performance with relevant self-supervised and supervised methods.


title: Virtual Power Principle: A Lie Covariant Approach. Applications to Non-Linear Elasticity, Turbulence, Visco-elasticity

abstract: A covariant formulation of the virtual power principle based on Lie derivatives is proposed. The Lie covariant approach does not require an inner product and the Cauchy deformation tensor to start, but, at first order in a Galilean Euclidean setting, gives the usual linear results classically obtained with the Cauchy deformation tensor. The Lie approach may also enable to dfferentiate a fluid from a solid from an analytical point of view, and leads to propose a model for hysteresis. In the non-linear first order case we get covariant models for visco-elasticity, non linear fluids and non linear elasticity which dffer from usual models. In the second order case, enriched modelizations are obtained.


title: Object Detection in Aerial Images with Uncertainty-Aware Graph Network

abstract: In this work, we propose a novel uncertainty-aware object detection framework with a structured-graph, where nodes and edges are denoted by objects and their spatial-semantic similarities, respectively. Specifically, we aim to consider relationships among objects for effectively contextualizing them. To achieve this, we first detect objects and then measure their semantic and spatial distances to construct an object graph, which is then represented by a graph neural network (GNN) for refining visual CNN features for objects. However, refining CNN features and detection results of every object are inefficient and may not be necessary, as that include correct predictions with low uncertainties. Therefore, we propose to handle uncertain objects by not only transferring the representation from certain objects (sources) to uncertain objects (targets) over the directed graph, but also improving CNN features only on objects regarded as uncertain with their representational outputs from the GNN. Furthermore, we calculate a training loss by giving larger weights on uncertain objects, to concentrate on improving uncertain object predictions while maintaining high performances on certain objects. We refer to our model as Uncertainty-Aware Graph network for object DETection (UAGDet). We then experimentally validate ours on the challenging large-scale aerial image dataset, namely DOTA, that consists of lots of objects with small to large sizes in an image, on which ours improves the performance of the existing object detection network.


title: Recent results from the TOTEM collaboration and the discovery of the odderon

abstract: We describe the most recent results from the TOTEM collaboration on elastic, inelastic and total cross sections as well as the odderon discovery by the D0 and TOTEM collaborations.


title: Contact effects on thermoelectric properties of textured graphene nanoribbons

abstract: Transport and thermoelectric properties of finite textured graphene nanoribbons (t-GNRs) connected to electrodes with various coupling strengths are theoretically studied in the framework of the tight-binding model and Green's function approach. Due to quantum constriction induced by the indented edges, such t-GNRs behave like serially-coupled graphene quantum dots (SGQDs). These types of SGQDs can be formed by tailoring zigzag GNRs (ZGNRs) or armchair GNRs (AGNRs). Their bandwidths and gaps can be engineered by varying the size of the quantum dot and the neck width at indented edges. Effects of defects and contact junction on electrical conductance, Seebeck coefficient and electron thermal conductance of t-GNRs are calculated. When a defect occurs in the interior site of textured ZGNRs (t-ZGNRs), the maximum power factor within the central gap or near the band edges is found to be insensitive to the defect scattering. Furthermore, we found that SGQDs formed by t-ZGNRs have significantly better electrical power outputs than those of textured ANGRs due to the improved functional shape of the transmission coefficient in t-ZGNRs. With a proper design of contact the maximum power factor ( figure of merit) of t-ZGNRs could reach $90\%$ ($95\%$) of the theoretical limit.


title: Building Robust Machine Learning Models for Small Chemical Science Data: The Case of Shear Viscosity

abstract: Shear viscosity, though being a fundamental property of all liquids, is computationally expensive to estimate from equilibrium molecular dynamics simulations. Recently, Machine Learning (ML) methods have been used to augment molecular simulations in many contexts, thus showing promise to estimate viscosity too in a relatively inexpensive manner. However, ML methods face significant challenges like overfitting when the size of the data set is small, as is the case with viscosity. In this work, we train several ML models to predict the shear viscosity of a Lennard-Jones (LJ) fluid, with particular emphasis on addressing issues arising from a small data set. Specifically, the issues related to model selection, performance estimation and uncertainty quantification were investigated. First, we show that the widely used performance estimation procedure of using a single unseen data set shows a wide variability on small data sets. In this context, the common practice of using Cross validation (CV) to select the hyperparameters (model selection) can be adapted to estimate the generalization error (performance estimation) as well. We compare two simple CV procedures for their ability to do both model selection and performance estimation, and find that k-fold CV based procedure shows a lower variance of error estimates. We discuss the role of performance metrics in training and evaluation. Finally, Gaussian Process Regression (GPR) and ensemble methods were used to estimate the uncertainty on individual predictions. The uncertainty estimates from GPR were also used to construct an applicability domain using which the ML models provided more reliable predictions on another small data set generated in this work. Overall, the procedures prescribed in this work, together, lead to robust ML models for small data sets.


title: Concentrated subradiant modes in one-dimensional atomic array coupled with chiral waveguides

abstract: Non-Hermitian systems have recently attracted broad interest and exhibited intriguing physical phenomena, in which the non-Hermitian skin effect is one of the most remarkable quantum phenomena desiring detailed investigations and has been widely studied in various fermionic and bosonic systems. Here we propose a non-Hermitian atom-waveguide system composed of a tilted one-dimensional atomic array coupled with two identical waveguides with opposite chiralities. Such system creates an effective lattice model including nonreciprocal long-range hoppings through the chiral-waveguide photon-mediated interactions. We find the excitation of the collective atomic states concentrates in the middle interface, pointing towards the non-Hermitian skin effect associated with subradiant modes, while, on the contrary, superradiant modes exhibit extended features. Simulation results present subradiant funneling effect, with robustness against small atomic position disorders. Our work underpins the fundamental comprehension towards the non-Hermitian skin effect in open quantum systems and also provide prospective paths to study non-Hermitian systems in the area of quantum optics.


title: Functional equation, upper bounds and analogue of Lindel\"of hypothesis for the Barnes double zeta-function

abstract: The functional equations of the Riemann zeta function, the Hurwitz zeta function, and the Lerch zeta function have been well known for a long time and there are great importance when studying these zeta-functions. For example, fundamental properties of the upper bounds, the distribution of zeros, the zero-free regions in the Riemann zeta function start from functional equations. In this paper, we prove a functional equations of the Barnes double zeta-function $ \zeta_2 (s, \alpha ; v, w ) = \sum_{m=0}^\infty \sum_{n=0}^\infty (\alpha+vm+wn)^{-s} $. Also, applying this functional equation and the Phragm\'en-Lindel\"of convexity principle, we obtain some upper bounds for $ \zeta_2(\sigma + it, \alpha ; v, w) \ (0\leq \sigma \leq 2) $ with respect to $ t $ as $ t \rightarrow \infty $.


title: Semantic Driven Energy based Out-of-Distribution Detection

abstract: Detecting Out-of-Distribution (OOD) samples in real world visual applications like classification or object detection has become a necessary precondition in today's deployment of Deep Learning systems. Many techniques have been proposed, of which Energy based OOD methods have proved to be promising and achieved impressive performance. We propose semantic driven energy based method, which is an end-to-end trainable system and easy to optimize. We distinguish in-distribution samples from out-distribution samples with an energy score coupled with a representation score. We achieve it by minimizing the energy for in-distribution samples and simultaneously learn respective class representations that are closer and maximizing energy for out-distribution samples and pushing their representation further out from known class representation. Moreover, we propose a novel loss function which we call Cluster Focal Loss(CFL) that proved to be simple yet very effective in learning better class wise cluster center representations. We find that, our novel approach enhances outlier detection and achieve state-of-the-art as an energy-based model on common benchmarks. On CIFAR-10 and CIFAR-100 trained WideResNet, our model significantly reduces the relative average False Positive Rate(at True Positive Rate of 95%) by 67.2% and 57.4% respectively, compared to the existing energy based approaches. Further, we extend our framework for object detection and achieve improved performance.


title: Unsupervised Detection of Sub-Territories of the Subthalamic Nucleus During DBS Surgery with Manifold Learning

abstract: During Deep Brain Stimulation(DBS) surgery for treating Parkinson's disease, one vital task is to detect a specific brain area called the Subthalamic Nucleus(STN) and a sub-territory within the STN called the Dorsolateral Oscillatory Region(DLOR). Accurate detection of the STN borders is crucial for adequate clinical outcomes. Currently, the detection is based on human experts, guided by supervised machine learning detection algorithms. Consequently, this procedure depends on the knowledge and experience of particular experts and on the amount and quality of the labeled data used for training the machine learning algorithms. In this paper, to circumvent the dependence and bias caused by the training data, we present a data-driven unsupervised method for detecting the STN and the DLOR during DBS surgery. Our method is based on an agnostic modeling approach for general target detection tasks. Given a set of measurements, we extract features and propose a variant of the Mahalanobis distance between these features. We show theoretically that this distance enhances the differences between measurements with different intrinsic characteristics. Then, we incorporate the new features and distances into a manifold learning method, called Diffusion Maps. We show that this method gives rise to a representation that is consistent with the underlying factors that govern the measurements. Since the construction of this representation is carried out without rigid modeling assumptions, it can facilitate a wide range of detection tasks; here, we propose a specification for the STN and DLOR detection tasks. We present detection results on 25 sets of measurements recorded from 16 patients during surgery. Compared to a competing supervised algorithm based on a Hidden Markov Model, our unsupervised method demonstrates similar results in the STN detection task and superior results in the DLOR detection task.


title: Simulating the collapse of rotating primordial gas clouds to study the survival possibility of Pop III protostars

abstract: It has been argued that the low-mass primordial stars ($m_{\rm Pop III}\,\leq 0.8\,M_\odot$) are likely to enter the main sequence and hence possibly be found in the present-day Galaxy. However, due to limitations in existing numerical capabilities, current three-dimensional (3D) simulations of disk fragmentation are capable of following only a few thousands of years of evolution after the formation of the first protostar. In this work we use a modified version of {\sc Gadget}-2 smoothed particle hydrodynamics(SPH) code to present the results of non-linear collapse of the gas clouds associated with various degrees of initial solid body rotation (parameterized by $\beta$) using a piecewise polytropic equation of state. The 3D simulations are followed till the epoch when 50$M_{\odot}$ of mass has been accreted in protostellar objects, which is adequate enough to investigate the dynamics of the protostars with the surrounding gaseous medium and to determine the mass function, accretion rate and survival possibility of these protostellar objects till present epoch. We found that evolving protostars that stay within slow-rotating parent clouds can become massive enough due to accretion in the absence of radiative feedback, whereas $10-20 \%$ of those formed within a fast-rotating clouds ($\beta \ge 0.1$) have the possibility to get ejected from the gravitational bound cluster as low mass stars.


title: Event-Triggered Time-Varying Bayesian Optimization

abstract: We consider the problem of sequentially optimizing a time-varying objective function using time-varying Bayesian optimization (TVBO). To cope with stale data arising from time variations, current approaches to TVBO require prior knowledge of a constant rate of change. However, in practice, the rate of change is usually unknown. We propose an event-triggered algorithm, ET-GP-UCB, that treats the optimization problem as static until it detects changes in the objective function and then resets the dataset. This allows the algorithm to adapt online to realized temporal changes without the need for exact prior knowledge. The event trigger is based on probabilistic uniform error bounds used in Gaussian process regression. We derive regret bounds of adaptive resets without exact prior knowledge on the temporal changes, and show in numerical experiments that ET-GP-UCB outperforms state-of-the-art algorithms on both synthetic and real-world data. The results demonstrate that ET-GP-UCB is readily applicable to various settings without extensive hyperparameter tuning.


title: Extending nnU-Net is all you need

abstract: Semantic segmentation is one of the most popular research areas in medical image computing. Perhaps surprisingly, despite its conceptualization dating back to 2018, nnU-Net continues to provide competitive out-of-the-box solutions for a broad variety of segmentation problems and is regularly used as a development framework for challenge-winning algorithms. Here we use nnU-Net to participate in the AMOS2022 challenge, which comes with a unique set of tasks: not only is the dataset one of the largest ever created and boasts 15 target structures, but the competition also requires submitted solutions to handle both MRI and CT scans. Through careful modification of nnU-net's hyperparameters, the addition of residual connections in the encoder and the design of a custom postprocessing strategy, we were able to substantially improve upon the nnU-Net baseline. Our final ensemble achieves Dice scores of 90.13 for Task 1 (CT) and 89.06 for Task 2 (CT+MRI) in a 5-fold cross-validation on the provided training cases.


title: Origin and Quantitative Description of the NESSIAS Effect at Si Nanostructures

abstract: The electronic structure of low nanoscale (LNS) intrinsic silicon (i-Si) embedded in SiO2 vs. Si3N4 shifts away from vs. towards the vacuum level Evac, as described by the Nanoscale Electronic Structure Shift Induced by Anions at Surfaces (NESSIAS). Here, we fully explain the NESSIAS based on the quantum chemical properties of the elements involved. Deriving an analytic parameter Lambda to predict the highest occupied molecular orbital energy of Si nanocrystals (NCs), we use various hybrid-DFT methods and NC sizes to verify the accuracy of Lambda. We report on first experimental data of Si nanowells (NWells) embedded in SiO2 vs. Si3N4 by X-ray absorption spectroscopy in total fluorescence yield mode (XAS-TFY) which are complemented by ultraviolet photoelectron spectroscopy (UPS), characterizing their conduction band and valence band edge energies E_C and E_V, respectively. Scanning the valence band sub-structure by UPS over NWell thickness, we derive an accurate estimate of EV shifted purely by spatial confinement, and thus the actual E_V shift due to NESSIAS. For 1.9 nm thick NWells in SiO2 vs. Si3N4, we get offsets of Delta E_C = 0.56 eV and Delta E_V = 0.89 eV, demonstrating a type II homojunction in LNS i-Si. This p/n junction generated by the NESSIAS eliminates any deteriorating impact of impurity dopants, offering undoped ultrasmall Si electronic devices with much reduced physical gate lengths and CMOS-compatible materials.


title: Singular value decomposition of the wave forward operator with radial variable coefficients

abstract: Photoacoustic tomography (PAT) is a novel and promising technology in hybrid medical imaging that involves generating acoustic waves in the object of interest by stimulating electromagnetic energy. The acoustic wave is measured outside the object. One of the key mathematical problems in PAT is the reconstruction of the initial function that contains diagnostic information from the solution of the wave equation on the surface of the acoustic transducers. Herein, we propose a wave forward operator that assigns an initial function to obtain the solution of the wave equation on a unit sphere. Under the assumption of the radial variable speed of ultrasound, we obtain the singular value decomposition of this wave forward operator by determining the orthonormal basis of a certain Hilbert space comprising eigenfunctions. In addition, numerical simulation results obtained using the continuous Galerkin method are utilized to validate the inversion resulting from the singular value decomposition.


title: Existence and multiplicity results for a class of coupled quasilinear elliptic systems of gradient type

abstract: The aim of this paper is investigating the existence of one or more weak solutions of the coupled quasilinear elliptic system of gradient type \[ (P)\qquad \left\{ \begin{array}{ll} - {\rm div} (A(x, u)\vert\nabla u\vert^{p_1 -2} \nabla u) + \frac{1}{p_1}A_u (x, u)\vert\nabla u\vert^{p_1} = G_u(x, u, v) &\hbox{ in $\Omega$,}\\[5pt] - {\rm div} (B(x, v)\vert\nabla v\vert^{p_2 -2} \nabla v) +\frac{1}{p_2}B_v(x, v)\vert\nabla v\vert^{p_2} = G_v\left(x, u, v\right) &\hbox{ in $\Omega$,}\\[5pt] u = v = 0 &\hbox{ on $\partial\Omega$,} \end{array} \right. \] where $\Omega \subset \mathbb{R}^N$ is an open bounded domain, $p_1$, $p_2 > 1$ and $A(x,u)$, $B(x,v)$ are $\mathcal{C}^1$-Carath\'eodory functions on $\Omega \times \mathbb{R}$ with partial derivatives $A_u(x,u)$, respectively $B_v(x,v)$, while $G_u(x,u,v)$, $G_v(x,u,v)$ are given Carath\'eodory maps defined on $\Omega \times \mathbb{R}\times \mathbb{R}$ which are partial derivatives of a function $G(x,u,v)$. We prove that, even if the coefficients make the variational approach more difficult, under suitable hypotheses functional $\cal{J}$, related to problem $(P)$, admits at least one critical point in the ''right'' Banach space $X$. Moreover, if $\cal{J}$ is even, then $(P)$ has infinitely many weak bounded solutions. The proof, which exploits the interaction between two different norms, is based on a weak version of the Cerami-Palais-Smale condition, a ''good'' decomposition of the Banach space $X$ and suitable generalizations of the Ambrosetti-Rabinowitz Mountain Pass Theorems.


title: Computational valency lexica and Homeric formularity

abstract: Distributional semantics, the quantitative study of meaning variation and change through corpus collocations, is currently one of the most productive research areas in computational linguistics. The wider availability of big data and of reproducible algorithms for analysis has boosted its application to living languages in recent years. But can we use distributional semantics to study a language with such a limited corpus as ancient Greek? And can this approach tell us something about such vexed questions in classical studies as the language and composition of the Homeric poems? Our paper will compare the semantic flexibility of formulae involving transitive verbs in archaic Greek epic to similar verb phrases in a non-formulaic corpus, in order to detect unique patterns of variation in formulae. To address this, we present AGVaLex, a computational valency lexicon for ancient Greek automatically extracted from the Ancient Greek Dependency Treebank. The lexicon contains quantitative corpus-driven morphological, syntactic and lexical information about verbs and their arguments, such as objects, subjects, and prepositional phrases, and has a wide range of applications for the study of the language of ancient Greek authors.


title: Cin{\'e}matique d'une Proth{\`e}se de Main Myo{\'e}lectrique Accessible avec Actionneur Unique et R{\'e}tropulsion Passive du Pouce

abstract: This work proposes a new kinematics of a myoelectric hand prosthesis with a single actuator, allowing to realize the tridigital grip but also the lateral grip. Inspired by tridigital prostheses, which are simpler, more robust and less expensive than polydigital prostheses, this new kinematics aims at proposing an accessible prosthesis (affordable, easy-to-use, robust, easy-to-repair). Cables are used instead of a rigid rod to transmit the movement bewteen the upper fingers and the thumb. The methods and design choices are detailed in this article. To conclude, the evaluation of the prototype by an experimented user leads to a first discussion of the results.


title: Aging prediction using deep generative model toward the development of preventive medicine

abstract: From birth to death, we all experience surprisingly ubiquitous changes over time due to aging. If we can predict aging in the digital domain, that is, the digital twin of the human body, we would be able to detect lesions in their very early stages, thereby enhancing the quality of life and extending the life span. We observed that none of the previously developed digital twins of the adult human body explicitly trained longitudinal conversion rules between volumetric medical images with deep generative models, potentially resulting in poor prediction performance of, for example, ventricular volumes. Here, we establish a new digital twin of an adult human body that adopts longitudinally acquired head computed tomography (CT) images for training, enabling prediction of future volumetric head CT images from a single present volumetric head CT image. We, for the first time, adopt one of the three-dimensional flow-based deep generative models to realize this sequential three-dimensional digital twin. We show that our digital twin outperforms the latest methods of prediction of ventricular volumes in relatively short terms.


title: Hydrodynamic interactions hinder transport of flow-driven colloidal particles

abstract: The flow-driven transport of interacting micron-sized particles occurs in many soft matter systems spanning from the translocation of proteins to moving emulsions in microfluidic devices. Here we combine experiments and theory to investigate the collective transport properties of colloidal particles along a rotating ring of optical traps. In the co-rotating reference frame, the particles are driven by a vortex flow of the surrounding fluid. When increasing the depth of the optical potential, we observe a jamming behavior that manifests itself in a strong reduction of the current with increasing particle density. We show that this jamming is caused by hydrodynamic interactions that enhance the energetic barriers between the optical traps. This leads to a transition from an over- to an under-critical tilting of the potential in the corotating frame. Based on analytical considerations, the enhancement effect is estimated to increase with increasing particle size or decreasing radius of the ring of traps. Measurements for different ring radii and Stokesian dynamics simulations for corresponding particle sizes confirm this. The enhancement of potential barriers in the flow-driven system is contrasted to the reduction of barriers in a force-driven one. This diverse behavior demonstrates that hydrodynamic interactions can have a very different impact on the collective dynamics of many-body systems. Applications to soft matter and biological systems require careful consideration of the driving mechanism and of the role of hydrodynamic interactions.


title: SDEs with singular coefficients: The martingale problem view and the stochastic dynamics view

abstract: We consider SDEs with (distributional) drift in negative Besov spaces and random initial condition and investigate them from two different viewpoints. In the first part we set up a martingale problem and show its well-posedness.We then prove further properties of the martingale problem, like continuity with respect to the drift and the link with the Fokker-Planck equation. We also show that the solutions are weak Dirichlet processes for which we evaluate the quadratic variation of the martingale component.In the second part we identify the dynamics of the solution of the martingale problemby describing the proper associated SDE.Under suitable assumptions we show equivalence with the solution to the martingale problem.


title: Non-Hermitian quantum system generated from two coupled Sachdev-Ye-Kitaev models

abstract: We show that a non-Hermitian two coupled Sachdev-Ye-Kitaev (SYK) model can provide thermodynamic structure equivalent to Hermitian two coupled SYK model. The energy spectrum, the entanglement degree of the ground states and the low energy effective action of this model are not influenced by the non-Hermiticity. The novel biorthogonal ground states demonstrates that two SYK sites, one of which can be in the ground state and the other in the Schwarzian excited state by tuning the non-Hermiticity. We find evidence that the free energy is independent of the non-Hermiticity.


title: MATra: A Multilingual Attentive Transliteration System for Indian Scripts

abstract: Transliteration is a task in the domain of NLP where the output word is a similar-sounding word written using the letters of any foreign language. Today this system has been developed for several language pairs that involve English as either the source or target word and deployed in several places like Google Translate and chatbots. However, there is very little research done in the field of Indic languages transliterated to other Indic languages. This paper demonstrates a multilingual model based on transformers (with some modifications) that can give noticeably higher performance and accuracy than all existing models in this domain and get much better results than state-of-the-art models. This paper shows a model that can perform transliteration between any pair among the following five languages - English, Hindi, Bengali, Kannada and Tamil. It is applicable in scenarios where language is a barrier to communication in any written task. The model beats the state-of-the-art (for all pairs among the five mentioned languages - English, Hindi, Bengali, Kannada, and Tamil) and achieves a top-1 accuracy score of 80.7%, about 29.5% higher than the best current results. Furthermore, the model achieves 93.5% in terms of Phonetic Accuracy (transliteration is primarily a phonetic/sound-based task).


title: Time-lapse image classification using a diffractive neural network

abstract: Diffractive deep neural networks (D2NNs) define an all-optical computing framework comprised of spatially engineered passive surfaces that collectively process optical input information by modulating the amplitude and/or the phase of the propagating light. Diffractive optical networks complete their computational tasks at the speed of light propagation through a thin diffractive volume, without any external computing power while exploiting the massive parallelism of optics. Diffractive networks were demonstrated to achieve all-optical classification of objects and perform universal linear transformations. Here we demonstrate, for the first time, a "time-lapse" image classification scheme using a diffractive network, significantly advancing its classification accuracy and generalization performance on complex input objects by using the lateral movements of the input objects and/or the diffractive network, relative to each other. In a different context, such relative movements of the objects and/or the camera are routinely being used for image super-resolution applications; inspired by their success, we designed a time-lapse diffractive network to benefit from the complementary information content created by controlled or random lateral shifts. We numerically explored the design space and performance limits of time-lapse diffractive networks, revealing a blind testing accuracy of 62.03% on the optical classification of objects from the CIFAR-10 dataset. This constitutes the highest inference accuracy achieved so far using a single diffractive network on the CIFAR-10 dataset. Time-lapse diffractive networks will be broadly useful for the spatio-temporal analysis of input signals using all-optical processors.


title: Handling Disjunctions in Signal Temporal Logic Based Control Through Nonsmooth Barrier Functions

abstract: For a class of spatio-temporal tasks defined by a fragment of Signal Temporal Logic (STL), we construct a nonsmooth time-varying control barrier function (CBF) and develop a controller based on a set of simple optimization problems. Each of the optimization problems invokes constraints that allow to exploit the piece-wise smoothness of the CBF for optimization additionally to the common gradient constraint in the context of CBFs. In this way, the conservativeness of the control approach is reduced in those points where the CBF is nonsmooth. Thereby, nonsmooth CBFs become applicable to time-varying control tasks. Moreover, we overcome the problem of vanishing gradients for the considered class of constraints which allows us to consider more complex tasks including disjunctions compared to approaches based on smooth CBFs. As a well-established and systematic method to encode spatiotemporal constraints, we define the class of tasks under consideration as an STL-fragment. The results are demonstrated in a relevant simulation example.


title: Limit Orders and Knightian Uncertainty

abstract: A range of empirical puzzles in finance has been explained as a consequence of traders being averse to ambiguity. Ambiguity averse traders can behave in financial portfolio problems in ways that cannot be rationalized as maximizing subjective expected utility. However, this paper shows that when traders have access to limit orders, all investment behavior of an ambiguity-averse decision-maker is observationally equivalent to the behavior of a subjective expected utility maximizer with the same risk preferences; ambiguity aversion has no additional explanatory power.


title: Dispersion on certain Cartesian products of graphs

abstract: In this short note we prove a sharp dispersive estimate $\|\mathrm{e}^{\mathrm{i} tH} f\|_\infty < t^{-d/3}\|f\|_1$ for any Cartesian product $\mathbb{Z}^d\mathop\square G_F$ of the integer lattice and a finite graph. This includes the infinite ladder, $k$-strips and infinite cylinders, which can be endowed with certain potentials.


title: Learning Better Masking for Better Language Model Pre-training

abstract: Masked Language Modeling (MLM) has been widely used as the denoising objective in pre-training language models (PrLMs). Existing PrLMs commonly adopt a Random-Token Masking strategy where a fixed masking ratio is applied and different contents are masked by an equal probability throughout the entire training. However, the model may receive complicated impact from pre-training status, which changes accordingly as training time goes on. In this paper, we show that such time-invariant MLM settings on masking ratio and masked content are unlikely to deliver an optimal outcome, which motivates us to explore the influence of time-variant MLM settings. We propose two scheduled masking approaches that adaptively tune the masking ratio and masked content in different training stages, which improves the pre-training efficiency and effectiveness verified on the downstream tasks. Our work is a pioneer study on time-variant masking strategy on ratio and content and gives a better understanding of how masking ratio and masked content influence the MLM pre-training.


title: Topological states in chiral electronic chains

abstract: We consider the influence of topological phases, or their vicinity, on the spin density and spin polarization through a chiral chain. We show the quantization of the Berry phase in a one-dimensional polarization helix structure, under the presence of an external magnetic field, and show its influence on the spin density. The polar angle of the momentum space spin density becomes quantized in the regime that the Berry phase is quantized, as a result of the combined effect of the induced spin-orbit coupling and the external transverse magnetic field, while the edge states do not show the polar angle quantization, in contrast with the bulk states. Under appropriate conditions, the model can be generalized to have similarities with a chain with nonhomogeneous Rashba spin- orbit couplings, with zero- or low-energy edge states. Due to the breaking of time-reversal symmetry, we recover the effect of chiral-induced spin polarization and spin transport across the chiral chain, when coupling to external leads. Some consequences of the quantized spin polarization and low-energy states on the spin transport are discussed.


title: Towards Accurate Facial Landmark Detection via Cascaded Transformers

abstract: Accurate facial landmarks are essential prerequisites for many tasks related to human faces. In this paper, an accurate facial landmark detector is proposed based on cascaded transformers. We formulate facial landmark detection as a coordinate regression task such that the model can be trained end-to-end. With self-attention in transformers, our model can inherently exploit the structured relationships between landmarks, which would benefit landmark detection under challenging conditions such as large pose and occlusion. During cascaded refinement, our model is able to extract the most relevant image features around the target landmark for coordinate prediction, based on deformable attention mechanism, thus bringing more accurate alignment. In addition, we propose a novel decoder that refines image features and landmark positions simultaneously. With few parameter increasing, the detection performance improves further. Our model achieves new state-of-the-art performance on several standard facial landmark detection benchmarks, and shows good generalization ability in cross-dataset evaluation.


title: Characterizing the performance of heat rectifiers

abstract: A physical system connected to two thermal reservoirs at different temperatures is said to act as a heat rectifier when it is able to bias the heat current in a given direction, similarly to an electronic diode. We propose to quantify the performance of a heat rectifier by mapping out the trade-off between heat currents and rectification. By optimizing over the system's parameters, we obtain Pareto fronts, which can be efficiently computed using general coefficients of performance. This approach naturally highlights the fundamental trade-off between heat rectification and conduction, and allows for a meaningful comparison between different devices for heat rectification. We illustrate the practical relevance of these ideas on three minimal models for spin-boson nanoscale rectifiers, i.e., systems consisting of one or two interacting qubits coupled to bosonic reservoirs biased in temperature. Our results demonstrate the superiority of two strongly-interacting qubits for heat rectification.


title: Probing robustness of nonlinear filter stability numerically using Sinkhorn divergence

abstract: Using the recently developed Sinkhorn algorithm for approximating the Wasserstein distance between probability distributions represented by Monte Carlo samples, we demonstrate exponential filter stability of two commonly used nonlinear filtering algorithms, namely, the particle filter and the ensemble Kalman filter, for deterministic dynamical systems. We also establish numerically a relation between filter stability and filter convergence by showing that the Wasserstein distance between filters with two different initial conditions is proportional to the bias or the RMSE of the filter.


title: Spontaneous phase coordination and fluid pumping in model ciliary carpets

abstract: Ciliated tissues such as in the mammalian lungs, brains, and reproductive tracts, are specialized to pump fluid. They generate flows by the collective activity of hundreds of thousands of individual cilia that beat in a striking metachronal wave pattern. Despite progress in analyzing cilia coordination, a general theory that links coordination and fluid pumping in the limit of large arrays of cilia remains lacking. Here, we conduct in-silico experiments with thousands of hydrodynamically-interacting cilia, and we develop a continuum theory in the limit of infinitely-many independently beating cilia by combining tools from active matter and classical Stokes flow. We find, in both simulations and theory, that isotropic and synchronized ciliary states are unstable. Traveling waves emerge regardless of initial conditions, but the characteristics of the wave and net flows depend on cilia and tissue properties. That is, metachronal phase coordination is a stable global attractor in large ciliary carpets, even under finite perturbations to cilia and tissue properties. These results support the notion that functional specificity of ciliated tissues is interlaced with the tissue architecture and cilia beat kinematics and open up the prospect of establishing structure-to-function maps from cilium-level beat to tissue-level coordination and fluid pumping.


title: Representation formulas for pairings between divergence-measure fields and $BV$ functions

abstract: The purpose of this paper is to find pointwise representation formulas for the density of the pairing between divergence-measure fields and BV functions, in this way continuing the research started in [17,20]. In particular, we extend a representation formula from an unpublished paper of Anzellotti [7] involving the limit of cylindrical averages for normal traces, and we exploit a result of [35] in order to derive another representation in terms of limits of averages in half balls.


title: Unsupervised Question Answering via Answer Diversifying

abstract: Unsupervised question answering is an attractive task due to its independence on labeled data. Previous works usually make use of heuristic rules as well as pre-trained models to construct data and train QA models. However, most of these works regard named entity (NE) as the only answer type, which ignores the high diversity of answers in the real world. To tackle this problem, we propose a novel unsupervised method by diversifying answers, named DiverseQA. Specifically, the proposed method is composed of three modules: data construction, data augmentation and denoising filter. Firstly, the data construction module extends the extracted named entity into a longer sentence constituent as the new answer span to construct a QA dataset with diverse answers. Secondly, the data augmentation module adopts an answer-type dependent data augmentation process via adversarial training in the embedding level. Thirdly, the denoising filter module is designed to alleviate the noise in the constructed data. Extensive experiments show that the proposed method outperforms previous unsupervised models on five benchmark datasets, including SQuADv1.1, NewsQA, TriviaQA, BioASQ, and DuoRC. Besides, the proposed method shows strong performance in the few-shot learning setting.


title: From alternative conceptions of honesty to alternative facts in communications by U.S. politicians

abstract: The spread of online misinformation on social media is increasingly perceived as a problem for societal cohesion and democracy. The role of political leaders in this process has attracted less research attention, even though politicians who "speak their mind" are perceived by segments of the public as authentic and honest even if their statements are unsupported by evidence. Analyzing communications by members of the U.S. Congress on Twitter between 2011 and 2022, we show that politicians' conception of honesty has undergone a distinct shift, with authentic belief-speaking that may be decoupled from evidence becoming more prominent and more differentiated from explicitly evidence-based truth seeking. We show that for Republicans - but not Democrats - an increase of belief-speaking of 10% is associated with a decrease of 12.8 points of quality (NewsGuard scoring system) in the sources shared in a tweet. Conversely, an increase in truth-seeking language is associated with an increase in quality of sources for both parties. The results support the hypothesis that the current dissemination of misinformation in political discourse is in part driven by an alternative understanding of truth and honesty that emphasizes invocation of subjective belief at the expense of reliance on evidence.


title: Parameterization-Independent Importance Sampling of Environment Maps

abstract: Environment maps with high dynamic range lighting, such as daylight sky maps, require importance sampling to keep the balance between noise and number of samples per pixel manageable. Typically, importance sampling schemes for environment maps are based directly on the map parameterization, e.g. equirectangular maps, and do not work with alternative parameterizations that might provide better sampling quality. In this paper, an importance sampling scheme based on an equal-area projection of the sphere is proposed that is easy to implement and works independently of the environment map parameterization or resolution. This allows to apply the same scheme to equirectangular maps, cube map variants, or any other map representation, and to adapt the importance sampling granularity to the requirements of the map contents.


title: Improving Personality Consistency in Conversation by Persona Extending

abstract: Endowing chatbots with a consistent personality plays a vital role for agents to deliver human-like interactions. However, existing personalized approaches commonly generate responses in light of static predefined personas depicted with textual description, which may severely restrict the interactivity of human and the chatbot, especially when the agent needs to answer the query excluded in the predefined personas, which is so-called out-of-predefined persona problem (named OOP for simplicity). To alleviate the problem, in this paper we propose a novel retrieval-to-prediction paradigm consisting of two subcomponents, namely, (1) Persona Retrieval Model (PRM), it retrieves a persona from a global collection based on a Natural Language Inference (NLI) model, the inferred persona is consistent with the predefined personas; and (2) Posterior-scored Transformer (PS-Transformer), it adopts a persona posterior distribution that further considers the actual personas used in the ground response, maximally mitigating the gap between training and inferring. Furthermore, we present a dataset called IT-ConvAI2 that first highlights the OOP problem in personalized dialogue. Extensive experiments on both IT-ConvAI2 and ConvAI2 demonstrate that our proposed model yields considerable improvements in both automatic metrics and human evaluations.


title: GenTUS: Simulating User Behaviour and Language in Task-oriented Dialogues with Generative Transformers

abstract: User simulators (USs) are commonly used to train task-oriented dialogue systems (DSs) via reinforcement learning. The interactions often take place on semantic level for efficiency, but there is still a gap from semantic actions to natural language, which causes a mismatch between training and deployment environment. Incorporating a natural language generation (NLG) module with USs during training can partly deal with this problem. However, since the policy and NLG of USs are optimised separately, these simulated user utterances may not be natural enough in a given context. In this work, we propose a generative transformer-based user simulator (GenTUS). GenTUS consists of an encoder-decoder structure, which means it can optimise both the user policy and natural language generation jointly. GenTUS generates both semantic actions and natural language utterances, preserving interpretability and enhancing language variation. In addition, by representing the inputs and outputs as word sequences and by using a large pre-trained language model we can achieve generalisability in feature representation. We evaluate GenTUS with automatic metrics and human evaluation. Our results show that GenTUS generates more natural language and is able to transfer to an unseen ontology in a zero-shot fashion. In addition, its behaviour can be further shaped with reinforcement learning opening the door to training specialised user simulators.


title: On Hayman Conjecture for Paired Complex Delay-Differential Polynomials

abstract: We study Hayman conjecture for different paired complex polynomials under certain conditions. In 2021, the zeros distribution of $f^{n}(z)L(g)-a(z)$ and $g^{n}(z)L(f)-a(z)$ was studied by Gao and Liu for $n\geq 3$. In this paper, we work on the zeros distribution of $f^{2}(z)L(g)-a(z)$ and $g^{2}(z)L(f)-a(z)$, where $a(z)$ is a non-zero small function of both $f(z)$ and $g(z)$, and $L(h)$ takes the $k$th derivative $h^{(k)}(z)$ or shift $h(z+c)$ or difference $h(z+c)-h(z)$ or delay-difference $h^{(k)}(z+c)$, here $k\geq 1$ and $c$ is a non-zero constant. Moreover, we discuss Hayman conjecture for paired complex differential polynomials when $n=1.$


title: Debonding of a soft adhesive fibril in contact with an elastomeric pillar

abstract: The debonding criterion of fibrils of soft adhesive materials is a key element regarding the quantitative modelisation of pressure sensitive adhesive tapes peeling energy. We present in this article an experimental study of the detachment of a commercial acrylic adhesive tape from the top surface of a single micrometric pillar of PDMS elastomer. During an experiment, the pillar and the adhesive, after being put in contact, are separated at a constant displacement rate, resulting in the formation, the elongation and the final detachment of a fibril of adhesive material. A systematic study allows us to uncover power laws for the maximum force and the critical elongation of the fibril at debonding as a function of the diameter of the cylindrical pillar which controls the diameter of the fibril. The scaling law evidenced for the critical elongation appears as a first step toward the understanding of the debonding criterion of fibrils of soft adhesive materials. In addition, viscoelastic digitation at the triple debonding line is observed during detachment for large pillar diameters. The wavelength and penetration length of the fingers that we report appear to be consistent with existing models based on pure elastic mechanical response.


title: "Am I Private and If So, how Many?" - Communicating Privacy Guarantees of Differential Privacy with Risk Communication Formats

abstract: Decisions about sharing personal information are not trivial, since there are many legitimate and important purposes for such data collection, but often the collected data can reveal sensitive information about individuals. Privacy-preserving technologies, such as differential privacy (DP), can be employed to protect the privacy of individuals and, furthermore, provide mathematically sound guarantees on the maximum privacy risk. However, they can only support informed privacy decisions, if individuals understand the provided privacy guarantees. This article proposes a novel approach for communicating privacy guarantees to support individuals in their privacy decisions when sharing data. For this, we adopt risk communication formats from the medical domain in conjunction with a model for privacy guarantees of DP to create quantitative privacy risk notifications. We conducted a crowd-sourced study with 343 participants to evaluate how well our notifications conveyed the privacy risk information and how confident participants were about their own understanding of the privacy risk. Our findings suggest that these new notifications can communicate the objective information similarly well to currently used qualitative notifications, but left individuals less confident in their understanding. We also discovered that several of our notifications and the currently used qualitative notification disadvantage individuals with low numeracy: these individuals appear overconfident compared to their actual understanding of the associated privacy risks and are, therefore, less likely to seek the needed additional information before an informed decision. The promising results allow for multiple directions in future research, for example, adding visual aids or tailoring privacy risk communication to characteristics of the individuals.


title: A laser projection system for polymer transverse strain measurements in tensile testing

abstract: A self-built laser projection system for optical transverse strain measurements in tensile testing is presented. The setup based on laser diode modules, CCD (Charge-Coupled Device) array detectors, and standard optomechanical components is proposed to be a low-cost system for testing polymer samples. The optical setup is mobile and can easily be mounted on a tensile test machine. Circular cross-sectional changes in polymer diameter were detected with ten-micrometre resolution and stress-strain curves obtained by a tensile test machine. The article describes signal processing using the open-source programming language R, and the transverse deformation of the polymer sample is evaluated in two perpendicular planes. The results obtained by the optical system may be used to accurately describe the models of energy-based mechanical properties of polymers for complex load conditions.


title: Multimodal Across Domains Gaze Target Detection

abstract: This paper addresses the gaze target detection problem in single images captured from the third-person perspective. We present a multimodal deep architecture to infer where a person in a scene is looking. This spatial model is trained on the head images of the person-of- interest, scene and depth maps representing rich context information. Our model, unlike several prior art, do not require supervision of the gaze angles, do not rely on head orientation information and/or location of the eyes of person-of-interest. Extensive experiments demonstrate the stronger performance of our method on multiple benchmark datasets. We also investigated several variations of our method by altering joint-learning of multimodal data. Some variations outperform a few prior art as well. First time in this paper, we inspect domain adaption for gaze target detection, and we empower our multimodal network to effectively handle the domain gap across datasets. The code of the proposed method is available at https://github.com/francescotonini/multimodal-across-domains-gaze-target-detection.


title: Adaptive Acoustic Flow-Based Navigation with 3D Sonar Sensor Fusion

abstract: Navigating spatially varied and dynamic environments is one of the key tasks for autonomous agents. In this paper we present a novel method of navigating a mobile platform with one or multiple 3D-sonar sensors. Moving a mobile platform and subsequently any 3D-sonar sensor on it, will create signature variations over time of the echoed reflections in the sensor readings. An approach is presented to create a predictive model of these signature variations for any motion type. Furthermore, the model is adaptive and works for any position and orientation of one or multiple sonar sensors on a mobile platform. We propose to use this adaptive model and fuse all sensory readings to create a layered control system allowing a mobile platform to perform a set of primitive motions such as collision avoidance, obstacle avoidance, wall following and corridor following behaviours to navigate an environment with dynamically moving objects within it. This paper describes the underlying theoretical base of the entire navigation model and validates it in a simulated environment with results that shows the system is stable and delivers expected behaviour for several tested spatial configurations of one or multiple sonar sensors that can complete an autonomous navigation task.


title: Improved rates for a space-time FOSLS of parabolic PDEs

abstract: We consider the first-order system space-time formulation of the heat equation introduced in [Bochev, Gunzburger, Springer, New York (2009)], and analyzed in [F\"uhrer, Karkulik, Comput. Math. Appl. 92 (2021)] and [Gantner, Stevenson, ESAIM Math. Model. Numer. Anal.} 55 (2021)], with solution components $(u_1,{\bf u}_2)=(u,-\nabla_{\bf x} u)$. The corresponding operator is boundedly invertible between a Hilbert space $U$ and a Cartesian product of $L_2$-type spaces, which facilitates easy first-order system least-squares (FOSLS) discretizations. Besides $L_2$-norms of $\nabla_{\bf x} u_1$ and ${\bf u}_2$, the (graph) norm of $U$ contains the $L_2$-norm of $\partial_t u_1 +{\rm div}_{\bf x} {\bf u}_2$. When applying standard finite elements w.r.t. simplicial partitions of the space-time cylinder, estimates of the approximation error w.r.t. the latter norm require higher-order smoothness of ${\bf u}_2$. In experiments for both uniform and adaptively refined partitions, this manifested itself in disappointingly low convergence rates for non-smooth solutions $u$. In this paper, we construct finite element spaces w.r.t. prismatic partitions. They come with a quasi-interpolant that satisfies a near commuting diagram in the sense that, apart from some harmless term, the aforementioned error depends exclusively on the smoothness of $\partial_t u_1 +{\rm div}_{\bf x} {\bf u}_2$, i.e., of the forcing term $f=(\partial_t-\Delta_x)u$. Numerical results show significantly improved convergence rates.


title: Measurements of branching fractions of $\Lambda_c^+ \to \Sigma^+ \eta$ and $\Lambda_c^+ \to \Sigma^+ \eta'$ and asymmetry parameters of $\Lambda_c^+ \to \Sigma^+ \pi^0$, $\Lambda_c^+ \to \Sigma^+ \eta$, and $\Lambda_c^+ \to \Sigma^+ \eta'$

abstract: We report a study of $\Lambda_c^+ \to \Sigma^+ \pi^0$, $\Lambda_c^+ \to \Sigma^+ \eta$, and $\Lambda_c^+ \to \Sigma^+ \eta'$ using the data sample corresponding to an integrated luminosity of 980 $\rm fb^{-1}$ collected with the Belle detector at the KEKB asymmetric-energy $e^+e^-$ collider. The branching fractions relative to $\Lambda_c^+ \to \Sigma^+ \pi^0$ are measured as: $\mathcal{B}_{\Lambda_c^+ \to \Sigma^+ \eta}/\mathcal{B}_{\Lambda_c^+ \to \Sigma^+ \pi^0}=0.25 \pm 0.03 \pm 0.01$ and $\mathcal{B}_{\Lambda_c^+ \to \Sigma^+ \eta'}/\mathcal{B}_{\Lambda_c^+ \to \Sigma^+ \pi^0}=0.33 \pm 0.06 \pm 0.02$. Using $\mathcal{B}_{\Lambda_c^+ \to \Sigma^+ \pi^0}=(1.25 \pm 0.10)\%$, we obtain $\mathcal{B}_{\Lambda_c^+ \to \Sigma^+ \eta}=(3.14 \pm 0.35 \pm 0.11 \pm 0.25)\times10^{-3}$ and $\mathcal{B}_{\Lambda_c^+ \to \Sigma^+ \eta'}=(4.16 \pm 0.75 \pm 0.21 \pm 0.33)\times10^{-3}$. Here the uncertainties are statistical, systematic, and from $\mathcal{B}_{\Lambda_c^+ \to \Sigma^+ \pi^0}$, respectively. The ratio of the branching fraction of $\Lambda_c^+ \to \Sigma^+ \eta'$ with respect to that of $\Lambda_c^+ \to \Sigma^+ \eta$ is measured to be $\mathcal{B}_{\Lambda_c^+ \to \Sigma^+ \eta'}/\mathcal{B}_{\Lambda_c^+ \to \Sigma^+ \eta}=1.34 \pm 0.28 \pm 0.06$. We update the asymmetry parameter of $\Lambda_c^+ \to \Sigma^+ \pi^0$, $\alpha_{\Sigma^+ \pi^0} = -0.48 \pm 0.02 \pm 0.02$, with a considerably improved precision. The asymmetry parameters of $\Lambda_c^+ \to \Sigma^+ \eta$ and $\Lambda_c^+ \to \Sigma^+ \eta'$ are measured to be $\alpha_{\Sigma^+ \eta} = -0.99 \pm 0.03 \pm 0.05$ and $\alpha_{\Sigma^+ \eta'} = -0.46 \pm 0.06 \pm 0.03$ for the first time.


title: SINDy for delay-differential equations: application to model bacterial zinc response

abstract: We extend the data-driven method of Sparse Identification of Nonlinear Dynamics (SINDy) developed by Brunton et al, Proc. Natl. Acad. Sci USA 113 (2016) to the case of delay differential equations (DDEs). This is achieved in a bilevel optimization procedure by first applying SINDy for fixed delay and then subsequently optimizing the error of the reconstructed SINDy model over delay times. We test the SINDy-delay method on a noisy short data set from a toy delay differential equation and show excellent agreement. We then apply the method to experimental data of gene expressions in the bacterium {\it Pseudomonas aeruginosa} subject to the influence of zinc. The derived SINDy model suggests that the increase of zinc concentration mainly affects the time delay and not the strengths of the interactions between the different agents controlling the zinc export mechanism.


title: Upgrading the Beam Telescopes at the DESY II Test Beam Facility

abstract: The DESY II Test Beam Facility is a key infrastructure for modern high energy physics detector development, providing particles with a small momentum spread in a range from 1 to 6 GeV to user groups e.g. from the LHC experiments and Belle II as well as generic detector R&D. Beam telescopes are provided in all three test beam areas as precise tracking reference without time stamping, with triggered readout and a readout time of > 115 $\mu$s. If the highest available rates are used, multiple particles are traversing the telescopes within one readout frame, thus creating ambiguities that cannot be resolved without additional timing layers. Several upgrades are currently investigated and tested: Firstly, a fast monolithic pixel sensor, the TelePix, to provide precise track timing and triggering on a region of interest is proposed to overcome this limitation. The TelePix is a 180 nm HV-CMOS sensor that has been developed jointly by DESY, KIT and the University of Heidelberg and designed at KIT. In this publication, the performance evaluation is presented: The difference between two amplifier designs is evaluated. A high hit detection efficiency of above 99.9 % combined with a time resolution of below 4 ns at negligible pixel noise rates is determined. Finally, the digital hit output to provide region of interest triggering is evaluated and shows a short absolute delay with respect to a traditional trigger scintillator as well as an excellent time resolution. Secondly, a fast LGAD plane has been proposed to provide a time resolution of a few 10 ps, which is foreseen to drastically improve the timing performance of the telescope. Time resolutions of below 70 ps have been determined in collaboration with the University of California, Santa Barbara.


title: Wien effect in interfacial water dissociation through proton-permeable graphene electrodes

abstract: Strong electric fields can accelerate molecular dissociation reactions. The phenomenon known as the Wien effect was previously observed using high-voltage electrolysis cells that produced fields of about 10^7 V m-1, sufficient to accelerate the dissociation of weakly bound molecules (e.g., organics and weak electrolytes). The observation of the Wien effect for the common case of water dissociation (H2O = H+ + OH-) has remained elusive. Here we study the dissociation of interfacial water adjacent to proton-permeable graphene electrodes and observe strong acceleration of the reaction in fields reaching above 10^8 V m-1. The use of graphene electrodes allow measuring the proton currents arising exclusively from the dissociation of interfacial water, while the electric field driving the reaction is monitored through the carrier density induced in graphene by the same field. The observed exponential increase in proton currents is in quantitative agreement with Onsager's theory. Our results also demonstrate that graphene electrodes can be valuable for the investigation of various interfacial phenomena involving proton transport.


title: Sufficient Conditions for Robust Safety in Differential Inclusions Using Barrier Functions

abstract: In this brief paper we introduce a robust-safety notion for differential inclusions, and we propose a general framework to certify such a notion in terms of barrier functions. While existing literature studied only what we designate by uniform robust safety, in this paper, we make a clear distinction between the uniform and the non-uniform robust-safety notions. For both cases, we establish sufficient (infinitesimal) conditions on the nominal (unperturbed) system. That is, our conditions involve only the barrier function and the system's right-hand side. Our results allow for unbounded safety regions as well as nonsmooth barrier functions. Throughout the paper, simple examples are provided to illustrate our results.


title: Satellite Image Search in AgoraEO

abstract: The growing operational capability of global Earth Observation (EO) creates new opportunities for data-driven approaches to understand and protect our planet. However, the current use of EO archives is very restricted due to the huge archive sizes and the limited exploration capabilities provided by EO platforms. To address this limitation, we have recently proposed MiLaN, a content-based image retrieval approach for fast similarity search in satellite image archives. MiLaN is a deep hashing network based on metric learning that encodes high-dimensional image features into compact binary hash codes. We use these codes as keys in a hash table to enable real-time nearest neighbor search and highly accurate retrieval. In this demonstration, we showcase the efficiency of MiLaN by integrating it with EarthQube, a browser and search engine within AgoraEO. EarthQube supports interactive visual exploration and Query-by-Example over satellite image repositories. Demo visitors will interact with EarthQube playing the role of different users that search images in a large-scale remote sensing archive by their semantic content and apply other filters.


title: Constraining the Extra Polarization Modes of Gravitational Waves with Double White Dwarfs

abstract: The detection of gravitational wave (GW) has opened a new window to test the theory of gravity in the strong field regime. In general relativity (GR), GW can only possess two tensor polarization modes, which are known as the $+$ and $\times$ modes. However, vector and scalar modes can exist in some modified theories of gravity, and we can test the gravitational theories by probing these extra polarization modes. As a space-borne GW detector, TianQin will be launched in the 2030s, and it is expected to observe plenty of GW signals, including those from nearly ten-thousands double white dwarfs (DWDs) in our galaxy. This offers an excellent chance for testing the existence of extra polarization modes. In this article, we analyze the capability of detecting the extra polarization modes with DWDs. For the extra modes, we consider both the leading order dipole radiation and the subleading quadrupole radiation. We find that the capability of TianQin has very strong dependency on the source orientation. We also analyze all the verification binaries with determined position and frequency, and find that ZTF J1539 can give the best constraint on the extra polarization modes. We have also considered the case of TianQin twin constellation, and the joint observation with LISA.


title: Probing the Cosmological Principle with the CSST Photometric Survey

abstract: The cosmological principle states that our Universe is statistically homogeneous and isotropic at large scales. However, due to the relative motion of the Solar System, an additional kinematic dipole can be detected in the distribution of galaxies, which should be consistent with the dipole observed in the cosmic microwave background temperature. In this paper, we forecast the mock number count maps from the China Space Station Telescope photometric survey to reconstruct the kinematic dipole. Using the whole photometric mock data, we obtain a positive evidence for the dipole signal detection at 3 sigma confidence level, and the significance would be increased to 4 sigma when we only use the high-redshift samples with z = 1.8 to 4. This result can provide a good consistency check between the kinematic dipoles measured in the CMB and that from the large scale structure, which can help us to verify the basic cosmological principle.


title: LogLG: Weakly Supervised Log Anomaly Detection via Log-Event Graph Construction

abstract: Fully supervised log anomaly detection methods suffer the heavy burden of annotating massive unlabeled log data. Recently, many semi-supervised methods have been proposed to reduce annotation costs with the help of parsed templates. However, these methods consider each keyword independently, which disregards the correlation between keywords and the contextual relationships among log sequences. In this paper, we propose a novel weakly supervised log anomaly detection framework, named LogLG, to explore the semantic connections among keywords from sequences. Specifically, we design an end-to-end iterative process, where the keywords of unlabeled logs are first extracted to construct a log-event graph. Then, we build a subgraph annotator to generate pseudo labels for unlabeled log sequences. To ameliorate the annotation quality, we adopt a self-supervised task to pre-train a subgraph annotator. After that, a detection model is trained with the generated pseudo labels. Conditioned on the classification results, we re-extract the keywords from the log sequences and update the log-event graph for the next iteration. Experiments on five benchmarks validate the effectiveness of LogLG for detecting anomalies on unlabeled log data and demonstrate that LogLG, as the state-of-the-art weakly supervised method, achieves significant performance improvements compared to existing methods.


title: Real-Time Sonar Fusion for Layered Navigation Controller

abstract: Navigation in varied and dynamic indoor environments remains a complex task for autonomous mobile platforms. Especially when conditions worsen, typical sensor modalities may fail to operate optimally and subsequently provide inapt input for safe navigation control. In this study, we present an approach for the navigation of a dynamic indoor environment with a mobile platform with a single or several sonar sensors using a layered control system. These sensors can operate in conditions such as rain, fog, dust, or dirt. The different control layers, such as collision avoidance and corridor following behavior, are activated based on acoustic flow queues in the fusion of the sonar images. The novelty of this work is allowing these sensors to be freely positioned on the mobile platform and providing the framework for designing the optimal navigational outcome based on a zoning system around the mobile platform. Presented in this paper is the acoustic flow model used, as well as the design of the layered controller. Next to validation in simulation, an implementation is presented and validated in a real office environment using a real mobile platform with one, two, or three sonar sensors in real time with 2D navigation. Multiple sensor layouts were validated in both the simulation and real experiments to demonstrate that the modular approach for the controller and sensor fusion works optimally. The results of this work show stable and safe navigation of indoor environments with dynamic objects.


title: The Role of the Fifth Postulate in the Euclidean Construction of Parallels

abstract: We ascribe to the Euclidean Fifth Postulate a genuine constructive role, which makes it absolutely necessary in the parallel construction. For that, we present a reconstruction of the general principles underlying the Euclidean construction of a geometric property. As a consequence, the epistemological role of Euclidean constructions is revealed. We also examine some first implications of our interpretation to the relation between Euclidean and non-Euclidean geometries. The Bolyai construction of limiting parallels is also discussed from the Euclidean point of view, as this is reconstructed here.


title: Evaluating Machine Unlearning via Epistemic Uncertainty

abstract: There has been a growing interest in Machine Unlearning recently, primarily due to legal requirements such as the General Data Protection Regulation (GDPR) and the California Consumer Privacy Act. Thus, multiple approaches were presented to remove the influence of specific target data points from a trained model. However, when evaluating the success of unlearning, current approaches either use adversarial attacks or compare their results to the optimal solution, which usually incorporates retraining from scratch. We argue that both ways are insufficient in practice. In this work, we present an evaluation metric for Machine Unlearning algorithms based on epistemic uncertainty. This is the first definition of a general evaluation metric for Machine Unlearning to our best knowledge.


title: Automatic Calibration of a Six-Degrees-of-Freedom Pose Estimation System

abstract: Systems for estimating the six-degrees-of-freedom human body pose have been improving for over two decades. Technologies such as motion capture cameras, advanced gaming peripherals and more recently both deep learning techniques and virtual reality systems have shown impressive results. However, most systems that provide high accuracy and high precision are expensive and not easy to operate. Recently, research has been carried out to estimate the human body pose using the HTC Vive virtual reality system. This system shows accurate results while keeping the cost under a 1000 USD. This system uses an optical approach. Two transmitter devices emit infrared pulses and laser planes are tracked by use of photo diodes on receiver hardware. A system using these transmitter devices combined with low-cost custom-made receiver hardware was developed previously but requires manual measurement of the position and orientation of the transmitter devices. These manual measurements can be time consuming, prone to error and not possible in particular setups. We propose an algorithm to automatically calibrate the poses of the transmitter devices in any chosen environment with custom receiver/calibration hardware. Results show that the calibration works in a variety of setups while being more accurate than what manual measurements would allow. Furthermore, the calibration movement and speed has no noticeable influence on the precision of the results.


title: Multimodal Crop Type Classification Fusing Multi-Spectral Satellite Time Series with Farmers Crop Rotations and Local Crop Distribution

abstract: Accurate, detailed, and timely crop type mapping is a very valuable information for the institutions in order to create more accurate policies according to the needs of the citizens. In the last decade, the amount of available data dramatically increased, whether it can come from Remote Sensing (using Copernicus Sentinel-2 data) or directly from the farmers (providing in-situ crop information throughout the years and information on crop rotation). Nevertheless, the majority of the studies are restricted to the use of one modality (Remote Sensing data or crop rotation) and never fuse the Earth Observation data with domain knowledge like crop rotations. Moreover, when they use Earth Observation data they are mainly restrained to one year of data, not taking into account the past years. In this context, we propose to tackle a land use and crop type classification task using three data types, by using a Hierarchical Deep Learning algorithm modeling the crop rotations like a language model, the satellite signals like a speech signal and using the crop distribution as additional context vector. We obtained very promising results compared to classical approaches with significant performances, increasing the Accuracy by 5.1 points in a 28-class setting (.948), and the micro-F1 by 9.6 points in a 10-class setting (.887) using only a set of crop of interests selected by an expert. We finally proposed a data-augmentation technique to allow the model to classify the crop before the end of the season, which works surprisingly well in a multimodal setting.


title: In-Air Imaging Sonar Sensor Network with Real-Time Processing Using GPUs

abstract: For autonomous navigation and robotic applications, sensing the environment correctly is crucial. Many sensing modalities for this purpose exist. In recent years, one such modality that is being used is in-air imaging sonar. It is ideal in complex environments with rough conditions such as dust or fog. However, like with most sensing modalities, to sense the full environment around the mobile platform, multiple such sensors are needed to capture the full 360-degree range. Currently the processing algorithms used to create this data are insufficient to do so for multiple sensors at a reasonably fast update rate. Furthermore, a flexible and robust framework is needed to easily implement multiple imaging sonar sensors into any setup and serve multiple application types for the data. In this paper we present a sensor network framework designed for this novel sensing modality. Furthermore, an implementation of the processing algorithm on a Graphics Processing Unit is proposed to potentially decrease the computing time to allow for real-time processing of one or more imaging sonar sensors at a sufficiently high update rate.


title: Mode softening in time-crystalline transitions of open quantum systems

abstract: In this work, we generalize the concept of roton softening mechanism of spatial crystalline transition to time crystals in open quantum systems. We study a dissipative Dicke model as a prototypical example, which exhibits both continuous time crystal and discrete time crystal phases.We found that on approaching the time crystalline transition, the response function diverges at a finite frequency, which determines the period of the upcoming time crystal. This divergence can be understood as softening of the relaxation rate of the corresponding collective excitation, which can be clearly seen by the poles of the response function on the complex plane. Using this mode softening analysis, we predict a time quasi-crystal phase in our model, in which the self-organized period and the driving period are incommensurate.


title: Network Slicing for eMBB, URLLC, and mMTC: An Uplink Rate-Splitting Multiple Access Approach

abstract: There are three generic services in 5G: enhanced mobile broadband (eMBB), ultra-reliable low-latency communications (URLLC), and massive machine-type communications (mMTC). To guarantee the performance of heterogeneous services, network slicing is proposed to allocate resources to different services. Network slicing is typically done in an orthogonal multiple access (OMA) fashion, which means different services are allocated non-interfering resources. However, as the number of users grows, OMA-based slicing is not always optimal, and a non-orthogonal scheme may achieve a better performance. This work aims to analyse the performances of different slicing schemes in uplink, and a promising scheme based on rate-splitting multiple access (RSMA) is studied. RSMA can provide a more flexible decoding order and theoretically has the largest achievable rate region than OMA and non-orthogonal multiple access (NOMA) without time-sharing. Hence, RSMA has the potential to increase the rate of users requiring different services. In addition, it is not necessary to decode the two split streams of one user successively, so RSMA lets suitable users split messages and designs an appropriate decoding order depending on the service requirements. This work shows that for network slicing RSMA can outperform NOMA counterpart, and obtain significant gains over OMA in some region.


title: Lottery Pools: Winning More by Interpolating Tickets without Increasing Training or Inference Cost

abstract: Lottery tickets (LTs) is able to discover accurate and sparse subnetworks that could be trained in isolation to match the performance of dense networks. Ensemble, in parallel, is one of the oldest time-proven tricks in machine learning to improve performance by combining the output of multiple independent models. However, the benefits of ensemble in the context of LTs will be diluted since ensemble does not directly lead to stronger sparse subnetworks, but leverages their predictions for a better decision. In this work, we first observe that directly averaging the weights of the adjacent learned subnetworks significantly boosts the performance of LTs. Encouraged by this observation, we further propose an alternative way to perform an 'ensemble' over the subnetworks identified by iterative magnitude pruning via a simple interpolating strategy. We call our method Lottery Pools. In contrast to the naive ensemble which brings no performance gains to each single subnetwork, Lottery Pools yields much stronger sparse subnetworks than the original LTs without requiring any extra training or inference cost. Across various modern architectures on CIFAR-10/100 and ImageNet, we show that our method achieves significant performance gains in both, in-distribution and out-of-distribution scenarios. Impressively, evaluated with VGG-16 and ResNet-18, the produced sparse subnetworks outperform the original LTs by up to 1.88% on CIFAR-100 and 2.36% on CIFAR-100-C; the resulting dense network surpasses the pre-trained dense-model up to 2.22% on CIFAR-100 and 2.38% on CIFAR-100-C.


title: The role of binarity and stellar rotation in the split main sequence of NGC 2422

abstract: In addition to the extended main-sequence turnoffs widely found in young and intermediate-age (~ 600 Myr-2 Gyr-old) star clusters, some younger clusters even exhibit split main sequences (MSs). Different stellar rotation rates are proposed to account for the bifurcated MS pattern, with red and blue MSs (rMS and bMS) populated by fast and slowly rotating stars, respectively. Using photometry from Gaia Early Data Release 3, we report a Galactic open cluster with a bifurcated MS, NGC 2422 ( ~ 90 Myr). We exclude the possibilities that the bifurcated MS pattern is caused by photometric noise or differential reddening. We aim to examine if stellar rotation can account for the split MSs. We use spectra observed with the Canada-France-Hawaii Telescope and the Southern African Large Telescope, and directly measured v sin i, the projected rotational velocities, for stars populating the bMS and rMS. We find that their v sin i values are weakly correlated with their loci in the color-magnitude diagram because of contamination caused by a large fraction of rMS stars with low projected rotational velocities. Based on the spectral energy distribution fitting method, we suggest that these slowly rotating stars at the rMS may hide a binary companion, which breaks the expected v sin i-color correlation. Future time-domain studies focusing on whether these slowly rotating stars are radial velocity variables are crucial to test the roles of stellar rotation and binarity in generating the split MSs.


title: CLOWER: A Pre-trained Language Model with Contrastive Learning over Word and Character Representations

abstract: Pre-trained Language Models (PLMs) have achieved remarkable performance gains across numerous downstream tasks in natural language understanding. Various Chinese PLMs have been successively proposed for learning better Chinese language representation. However, most current models use Chinese characters as inputs and are not able to encode semantic information contained in Chinese words. While recent pre-trained models incorporate both words and characters simultaneously, they usually suffer from deficient semantic interactions and fail to capture the semantic relation between words and characters. To address the above issues, we propose a simple yet effective PLM CLOWER, which adopts the Contrastive Learning Over Word and charactER representations. In particular, CLOWER implicitly encodes the coarse-grained information (i.e., words) into the fine-grained representations (i.e., characters) through contrastive learning on multi-grained information. CLOWER is of great value in realistic scenarios since it can be easily incorporated into any existing fine-grained based PLMs without modifying the production pipelines.Extensive experiments conducted on a range of downstream tasks demonstrate the superior performance of CLOWER over several state-of-the-art baselines.


title: Locating dust and molecules in the inner circumstellar environment of R~Sculptoris with MATISSE

abstract: AGB stars are one of the main sources of dust production in the Galaxy. However, it is not clear what this process looks like and where the dust is condensing in the circumstellar environment. By characterizing the location of the dust and the molecules in the close environment of an AGB star, we aim to achieve a better understanding the history of the dust formation process. We observed the carbon star R Scl with the VLTI-MATISSE instrument in L- and N-bands. The high angular resolution of the VLTI observations, combined with a large uv-plane coverage allowed us to use image reconstruction methods. To constrain the dust and molecules' location, we used two different methods: MIRA image reconstruction and the 1D code RHAPSODY. We found evidence of C2H2 and HCN molecules between 1 and 3.4 Rstar which is much closer to the star than the location of the dust (between 3.8 and 17.0 Rstar). We also estimated a mass-loss rate of 1.2+-0.4x10-6 Msun per yr. In the meantime, we confirmed the previously published characteristics of a thin dust shell, composed of amorphous carbon (amC) and silicon carbide (SiC). However, no clear SiC feature has been detected in the MATISSE visibilities. This might be caused by molecular absorption that can affect the shape of the SiC band at 11.3 micron. The appearance of the molecular shells is in good agreement with predictions from dynamical atmosphere models. For the first time, we co-located dust and molecules in the environment of an AGB star. We confirm that the molecules are located closer to the star than the dust. The MIRA images unveil the presence of a clumpy environment in the fuzzy emission region beyond 4.0 Rstar. Furthermore, with the available dynamic range and angular resolution, we did not detect the presence of a binary companion. Additional observations combining MATISSE and SAM-VISIR instrument should enable this detection in future studies.


title: Enhancing User Behavior Sequence Modeling by Generative Tasks for Session Search

abstract: Users' search tasks have become increasingly complicated, requiring multiple queries and interactions with the results. Recent studies have demonstrated that modeling the historical user behaviors in a session can help understand the current search intent. Existing context-aware ranking models primarily encode the current session sequence (from the first behavior to the current query) and compute the ranking score using the high-level representations. However, there is usually some noise in the current session sequence (useless behaviors for inferring the search intent) that may affect the quality of the encoded representations. To help the encoding of the current user behavior sequence, we propose to use a decoder and the information of future sequences and a supplemental query. Specifically, we design three generative tasks that can help the encoder to infer the actual search intent: (1) predicting future queries, (2) predicting future clicked documents, and (3) predicting a supplemental query. We jointly learn the ranking task with these generative tasks using an encoder-decoder structured approach. Extensive experiments on two public search logs demonstrate that our model outperforms all existing baselines, and the designed generative tasks can actually help the ranking task. Besides, additional experiments also show that our approach can be easily applied to various Transformer-based encoder-decoder models and improve their performance.


title: Latent Variable Models in the Era of Industrial Big Data: Extension and Beyond

abstract: A rich supply of data and innovative algorithms have made data-driven modeling a popular technique in modern industry. Among various data-driven methods, latent variable models (LVMs) and their counterparts account for a major share and play a vital role in many industrial modeling areas. LVM can be generally divided into statistical learning-based classic LVM and neural networks-based deep LVM (DLVM). We first discuss the definitions, theories and applications of classic LVMs in detail, which serves as both a comprehensive tutorial and a brief application survey on classic LVMs. Then we present a thorough introduction to current mainstream DLVMs with emphasis on their theories and model architectures, soon afterwards provide a detailed survey on industrial applications of DLVMs. The aforementioned two types of LVM have obvious advantages and disadvantages. Specifically, classic LVMs have concise principles and good interpretability, but their model capacity cannot address complicated tasks. Neural networks-based DLVMs have sufficient model capacity to achieve satisfactory performance in complex scenarios, but it comes at sacrifices in model interpretability and efficiency. Aiming at combining the virtues and mitigating the drawbacks of these two types of LVMs, as well as exploring non-neural-network manners to build deep models, we propose a novel concept called lightweight deep LVM (LDLVM). After proposing this new idea, the article first elaborates the motivation and connotation of LDLVM, then provides two novel LDLVMs, along with thorough descriptions on their principles, architectures and merits. Finally, outlooks and opportunities are discussed, including important open questions and possible research directions.


title: How to train your solver: Verification of boundary conditions for smoothed particle hydrodynamics

abstract: The weakly compressible smoothed particle hydrodynamics (WCSPH) method has been employed to simulate various physical phenomena involving fluids and solids. Various methods have been proposed to implement the solid wall, inlet/outlet, and other boundary conditions. However, error estimation and the formal rates of convergence for these methods have not been discussed or examined carefully. In this paper, we use the method of manufactured solution (MMS) to verify the convergence properties of a variety of commonly employed of various solid, inlet, and outlet boundary implementations. In order to perform this study, we propose various manufactured solutions for different domains. On the basis of the convergence offered by these methods, we systematically propose a convergent WCSPH scheme along with suitable methods for implementing the boundary conditions. We also demonstrate the accuracy of the proposed scheme by using it to solve the flow past a circular cylinder. Along with other recent developments in the use of adaptive resolution, this paves the way for accurate and efficient simulation of incompressible or weakly-compressible fluid flows using the SPH method.