title: Energy-Efficient Blockchain-enabled User-Centric Mobile Edge Computing

abstract: In the traditional mobile edge computing (MEC) system, the availability of MEC services is greatly limited for the edge users of the cell due to serious signal attenuation and inter-cell interference. User-centric MEC (UC-MEC) can be seen as a promising solution to address this issue. In UC-MEC, each user is served by a dedicated access point (AP) cluster enabled with MEC capability instead of a single MEC server, however, at the expense of more energy consumption and greater privacy risks. To achieve efficient and reliable resource utilization with user-centric services, we propose an energy efficient blockchain-enabled UC-MEC system where blockchain operations and resource optimization are jointly performed. Firstly, we design a resource-aware, reliable, replicated, redundant, and fault-tolerant (R-RAFT) consensus mechanism to implement secure and reliable resource trading. Then, an optimization framework based on alternating direction method of multipliers (ADMM) is proposed to minimize the total energy consumed by wireless transmission, consensus and task computing, where APs clustering, computing resource allocation and bandwidth allocation are jointly considered. Simulation results show superiority of the proposed UC-MEC system over reference schemes, at most 33.96% reduction in the total delay and 48.77% reduction in the total energy consumption.


title: Deficiency, Kinetic Invertibility, and Catalysis in Stochastic Chemical Reaction Networks

abstract: Stochastic chemical processes are described by the chemical master equation satisfying the law of mass-action. We first ask whether the dual master equation, which has the same steady state as the chemical master equation, but with inverted reaction currents, satisfies the law of mass-action, namely, still describes a chemical process. We prove that the answer depends on the topological property of the underlying chemical reaction network known as deficiency. The answer is yes only for deficiency-zero networks. It is no for all other networks, implying that their steady-state currents cannot be inverted by controlling the kinetic constants of the reactions. Hence, the network deficiency imposes a form of non-invertibility to the chemical dynamics. We then ask whether catalytic chemical networks are deficiency-zero. We prove that the answer is no when they are driven out of equilibrium due to the exchange of some species with the environment.


title: Aluminium substituted yttrium iron garnet thin films with reduced Curie temperature

abstract: Magnetic garnets such as yttrium iron garnet (Y$_3$Fe$_5$O$_{12}$, YIG) are widely used in spintronic and magnonic devices. Their magnetic and magneto-optical properties can be modified over a wide range by tailoring their chemical composition. Here, we report the successful growth of Al-substituted yttrium iron garnet (YAlIG) thin films via radio frequency sputtering in combination with an ex situ annealing step. Upon selecting appropriate process parameters, we obtain highly crystalline YAlIG films with different Al$^{3+}$ substitution levels on both, single crystalline Y$_3$Al$_5$O$_{12}$ (YAG) and Gd$_3$Ga$_5$O$_{12}$ (GGG) substrates. With increasing Al$^{3+}$ substitution levels, we observe a reduction of the saturation magnetisation as well as a systematic decrease of the magnetic ordering temperature to values well below room temperature. YAlIG thin films thus provide an interesting material platform for spintronic and magnonic experiments in different magnetic phases.


title: USR: Unsupervised Separated 3D Garment and Human Reconstruction via Geometry and Semantic Consistency

abstract: Dressed people reconstruction from images is a popular task with promising applications in the creative media and game industry. However, most existing methods reconstruct the human body and garments as a whole with the supervision of 3D models, which hinders the downstream interaction tasks and requires hard-to-obtain data. To address these issues, we propose an unsupervised separated 3D garments and human reconstruction model (USR), which reconstructs the human body and authentic textured clothes in layers without 3D models. More specifically, our method proposes a generalized surface-aware neural radiance field to learn the mapping between sparse multi-view images and geometries of the dressed people. Based on the full geometry, we introduce a Semantic and Confidence Guided Separation strategy (SCGS) to detect, segment, and reconstruct the clothes layer, leveraging the consistency between 2D semantic and 3D geometry. Moreover, we propose a Geometry Fine-tune Module to smooth edges. Extensive experiments on our dataset show that comparing with state-of-the-art methods, USR achieves improvements on both geometry and appearance reconstruction while supporting generalizing to unseen people in real time. Besides, we also introduce SMPL-D model to show the benefit of the separated modeling of clothes and the human body that allows swapping clothes and virtual try-on.


title: Maximal Speed of Quantum Propagation for the Hartree equation

abstract: We prove maximal speed estimates for nonlinear quantum propagation in the context of the Hartree equation. More precisely, under some regularity and integrability assumptions on the pair (convolution) potential, we construct a set of energy and space localized initial conditions such that, up to time-decaying tails, solutions starting in this set stay within the light cone of the corresponding initial datum. We quantify precisely the light cone speed, and hence the speed of nonlinear propagation, in terms of the momentum of the initial state.


title: Distributed Empirical Risk Minimization With Differential Privacy

abstract: This work studies the distributed empirical risk minimization (ERM) problem under differential privacy (DP) constraint. Standard distributed algorithms achieve DP typically by perturbing all local subgradients with noise, leading to significantly degenerated utility. To tackle this issue, we develop a class of private distributed dual averaging (DDA) algorithms, which activates a fraction of nodes to perform optimization. Such subsampling procedure provably amplifies the DP guarantee, thereby achieving an equivalent level of DP with reduced noise. We prove that the proposed algorithms have utility loss comparable to centralized private algorithms for both general and strongly convex problems. When removing the noise, our algorithm attains the optimal O(1/t) convergence for non-smooth stochastic optimization. Finally, experimental results on two benchmark datasets are given to verify the effectiveness of the proposed algorithms.


title: Cognitive characteristics of intellectually gifted children with a diagnosis of ADHD

abstract: Some children may be intellectually gifted, and yet experience behavioral and academic difficulties. We examined 82 twice exceptional children (2eADHD), having an excellent General Ability Index (GAI) derived from the Wechsler Intelligence Scale for Children-IV (GAI >= 125), and a diagnosis of Attention Deficit and Hyperactivity Disorder (ADHD). They accounted for 8.8% of a large sample of children with ADHD, which is twice as high as the proportion of intellectually gifted children in a typical population. This over-representation does not reflect a misdiagnosis of ADHD, as these children showed the typical features predicted on the grounds of data regarding the ADHD sample, including lower scores in working memory and processing speed measures, combined with the inclusion criteria for giftedness. Based on information concerning intellectually gifted children with either a Specific Learning Disorder (SLD) or typical development, we observed that these characteristics of intelligence are similar to those seen in SLD, but not in typical development, irrespective of whether 2e-ADHD children had a comorbid SLD.


title: Feature selection algorithm based on incremental mutual information and cockroach swarm optimization

abstract: Feature selection is an effective preprocessing technique to reduce data dimension. For feature selection, rough set theory provides many measures, among which mutual information is one of the most important attribute measures. However, mutual information based importance measures are computationally expensive and inaccurate, especially in hypersample instances, and it is undoubtedly a NP-hard problem in high-dimensional hyperhigh-dimensional data sets. Although many representative group intelligent algorithm feature selection strategies have been proposed so far to improve the accuracy, there is still a bottleneck when using these feature selection algorithms to process high-dimensional large-scale data sets, which consumes a lot of performance and is easy to select weakly correlated and redundant features. In this study, we propose an incremental mutual information based improved swarm intelligent optimization method (IMIICSO), which uses rough set theory to calculate the importance of feature selection based on mutual information. This method extracts decision table reduction knowledge to guide group algorithm global search. By exploring the computation of mutual information of supersamples, we can not only discard the useless features to speed up the internal and external computation, but also effectively reduce the cardinality of the optimal feature subset by using IMIICSO method, so that the cardinality is minimized by comparison. The accuracy of feature subsets selected by the improved cockroach swarm algorithm based on incremental mutual information is better or almost the same as that of the original swarm intelligent optimization algorithm. Experiments using 10 datasets derived from UCI, including large scale and high dimensional datasets, confirmed the efficiency and effectiveness of the proposed algorithm.


title: I2V: Towards Texture-Aware Self-Supervised Blind Denoising using Self-Residual Learning for Real-World Images

abstract: Although the advances of self-supervised blind denoising are significantly superior to conventional approaches without clean supervision in synthetic noise scenarios, it shows poor quality in real-world images due to spatially correlated noise corruption. Recently, pixel-shuffle downsampling (PD) has been proposed to eliminate the spatial correlation of noise. A study combining a blind spot network (BSN) and asymmetric PD (AP) successfully demonstrated that self-supervised blind denoising is applicable to real-world noisy images. However, PD-based inference may degrade texture details in the testing phase because high-frequency details (e.g., edges) are destroyed in the downsampled images. To avoid such an issue, we propose self-residual learning without the PD process to maintain texture information. We also propose an order-variant PD constraint, noise prior loss, and an efficient inference scheme (progressive random-replacing refinement ($\text{PR}^3$)) to boost overall performance. The results of extensive experiments show that the proposed method outperforms state-of-the-art self-supervised blind denoising approaches, including several supervised learning methods, in terms of PSNR, SSIM, LPIPS, and DISTS in real-world sRGB images.


title: LU-Net: Invertible Neural Networks Based on Matrix Factorization

abstract: LU-Net is a simple and fast architecture for invertible neural networks (INN) that is based on the factorization of quadratic weight matrices $\mathsf{A=LU}$, where $\mathsf{L}$ is a lower triangular matrix with ones on the diagonal and $\mathsf{U}$ an upper triangular matrix. Instead of learning a fully occupied matrix $\mathsf{A}$, we learn $\mathsf{L}$ and $\mathsf{U}$ separately. If combined with an invertible activation function, such layers can easily be inverted whenever the diagonal entries of $\mathsf{U}$ are different from zero. Also, the computation of the determinant of the Jacobian matrix of such layers is cheap. Consequently, the LU architecture allows for cheap computation of the likelihood via the change of variables formula and can be trained according to the maximum likelihood principle. In our numerical experiments, we test the LU-net architecture as generative model on several academic datasets. We also provide a detailed comparison with conventional invertible neural networks in terms of performance, training as well as run time.


title: Molecular chaos in dense active systems

abstract: The hypothesis of molecular chaos plays the central role in kinetic theory, which provides a closure leading to the Boltzmann equation for quantitative description of classic fluids. Yet how to properly extend it to active systems is still an open question in nonequilibrium physics. Combining experiment, simulation, and theory, we investigate the emergent collective behaviors of self-propelled particles that exhibit collision avoidance, a moving strategy commonly adopted in natural and engineering active systems. This dense active system shows unusual phase dynamics strongly regulated by many-body interactions, which cannot be explained by theories assuming molecular chaos. To rationalize the interplay between different emergent phases, a simple kinetic model is proposed with a revised molecular chaos hypothesis, which treats the many-body effect implicitly via categorizing different types of particle pair collisions. Our model predicts an optimal growth rate of flocking and illustrates a generic approach for understanding dense active systems.

categories: cond-mat.soft cond-mat.mtrl-sci cond-mat.stat-mech physics.bio-ph


title: Gigahertz Single-cavity Dual-comb Laser for Rapid Time-domain Spectroscopy: from Few Terahertz to Optical Frequencies

abstract: Dual-comb generation from a single laser cavity provides a simple and high-performance solution to time sampling applications. We demonstrate a compact single-cavity dual-comb laser operating at gigahertz repetition rates and high repetition rate differences up to more than 100 kHz with sub-100 fs pulse duration. The single cavity approach leads to passive common noise suppression resulting in ultra-low relative timing jitter and fully resolvable comb lines in free-running operation. We showcase the laser performance with two application demonstrations: (a) time-domain spectroscopy of acetylene in the near-infrared via computational comb line tracking and (b) free-space THz time domain spectroscopy and thickness-measurements via adaptive sampling. For (b) we use efficient state-of the art iron-doped InGaAs photoconductive antennas to generate and detect the THz light. Here we operate these devices with an efficient Yb-based gigahertz repetition rate laser for the first time. One optical comb generates the THz light, while the other probes it via equivalent time sampling. We obtain signal strengths comparable to reference measurements with MHz repetition rate Er-based laser systems while achieving close to 1 GHz spectral resolution (defined by the comb line spacing) and generating THz frequencies up to 3 THz. By carrying out a careful investigation of the noise properties of the laser we confirm that the free-running gigahertz dual-comb oscillator provides a rapid yet highly precise optical delay sweep from a simple setup. Therefore, our approach will be beneficial for high-update rate time sampling and time-domain spectroscopy applications.


title: HierCat: Hierarchical Query Categorization from Weakly Supervised Data at Facebook Marketplace

abstract: Query categorization at customer-to-customer e-commerce platforms like Facebook Marketplace is challenging due to the vagueness of search intent, noise in real-world data, and imbalanced training data across languages. Its deployment also needs to consider challenges in scalability and downstream integration in order to translate modeling advances into better search result relevance. In this paper we present HierCat, the query categorization system at Facebook Marketplace. HierCat addresses these challenges by leveraging multi-task pre-training of dual-encoder architectures with a hierarchical inference step to effectively learn from weakly supervised training data mined from searcher engagement. We show that HierCat not only outperforms popular methods in offline experiments, but also leads to 1.4% improvement in NDCG and 4.3% increase in searcher engagement at Facebook Marketplace Search in online A/B testing.


title: The CARMENES search for exoplanets around M dwarfs. Guaranteed time observations Data Release 1 (2016-2020)

abstract: The CARMENES instrument was conceived to deliver high-accuracy radial velocity (RV) measurements with long-term stability to search for temperate rocky planets around a sample of nearby cool stars. The broad wavelength coverage was designed to provide a range of stellar activity indicators to assess the nature of potential RV signals and to provide valuable spectral information to help characterise the stellar targets. The CARMENES Data Release 1 (DR1) makes public all observations obtained during the CARMENES guaranteed time observations, which ran from 2016 to 2020 and collected 19,633 spectra for a sample of 362 targets. The CARMENES survey target selection was aimed at minimising biases, and about 70% of all known M dwarfs within 10 pc and accessible from Calar Alto were included. The data were pipeline-processed, and high-level data products, including 18,642 precise RVs for 345 targets, were derived. Time series data of spectroscopic activity indicators were also obtained. We discuss the characteristics of the CARMENES data, the statistical properties of the stellar sample, and the spectroscopic measurements. We show examples of the use of CARMENES data and provide a contextual view of the exoplanet population revealed by the survey, including 33 new planets, 17 re-analysed planets, and 26 confirmed planets from transiting candidate follow-up. A subsample of 238 targets was used to derive updated planet occurrence rates, yielding an overall average of 1.44+/-0.20 planets with 1 M_Earth < M sin i < 1000 M_Earth and 1 d < P_orb < 1000 d per star, and indicating that nearly every M dwarf hosts at least one planet. CARMENES data have proven very useful for identifying and measuring planetary companions as well as for additional applications, such as the determination of stellar properties, the characterisation of stellar activity, and the study of exoplanet atmospheres.


title: Combined electronic excitation and knock-on damage in monolayer MoS2

abstract: Electron irradiation-induced damage is often the limiting factor in imaging materials prone to ionization or electronic excitations due to inelastic electron scattering. Quantifying the related processes at the atomic scale has only become possible with the advent of aberration-corrected (scanning) transmission electron microscopes and two-dimensional materials that allow imaging each lattice atom. While it has been shown for graphene that pure knock-on damage arising from elastic scattering is sufficient to describe the observed damage, the situation is more complicated with two-dimensional semiconducting materials such as MoS2. Here, we measure the displacement cross section for sulfur atoms in MoS2 with primary beam energies between 55 and 90 keV, and correlate the results with existing measurements and theoretical models. Our experimental data suggests that the displacement process can occur from the ground state, or with single or multiple excitations, all caused by the same impinging electron. The results bring light to reports in the recent literature, and add necessary experimental data for a comprehensive description of electron irradiation damage in a two-dimensional semiconducting material. Specifically, the results agree with a combined inelastic and elastic damage mechanism at intermediate energies, in addition to a pure elastic mechanism that dominates above 80 keV. When the inelastic contribution is assumed to arise through impact ionization, the associated excitation lifetime is on the order of picoseconds, on par with expected excitation lifetimes in MoS2, whereas it drops to some tens of femtoseconds when direct valence excitation is considered.


title: Reentry Risk and Safety Assessment of Spacecraft Debris Based on Machine Learning

abstract: Uncontrolled spacecraft will disintegrate and generate a large amount of debris in the reentry process, and ablative debris may cause potential risks to the safety of human life and property on the ground. Therefore, predicting the landing points of spacecraft debris and forecasting the degree of risk of debris to human life and property is very important. In view that it is difficult to predict the process of reentry process and the reentry point in advance, and the debris generated from reentry disintegration may cause ground damage for the uncontrolled space vehicle on expiration of service. In this paper, we adopt the object-oriented approach to consider the spacecraft and its disintegrated components as consisting of simple basic geometric models, and introduce three machine learning models: the support vector regression (SVR), decision tree regression (DTR) and multilayer perceptron (MLP) to predict the velocity, longitude and latitude of spacecraft debris landing points for the first time. Then, we compare the prediction accuracy of the three models. Furthermore, we define the reentry risk and the degree of danger, and we calculate the risk level for each spacecraft debris and make warnings accordingly. The experimental results show that the proposed method can obtain high accuracy prediction results in at least 15 seconds and make safety level warning more real-time.


title: AutoVis: Enabling Mixed-Immersive Analysis of Automotive User Interface Interaction Studies

abstract: Automotive user interface (AUI) evaluation becomes increasingly complex due to novel interaction modalities, driving automation, heterogeneous data, and dynamic environmental contexts. Immersive analytics may enable efficient explorations of the resulting multilayered interplay between humans, vehicles, and the environment. However, no such tool exists for the automotive domain. With AutoVis, we address this gap by combining a non-immersive desktop with a virtual reality view enabling mixed-immersive analysis of AUIs. We identify design requirements based on an analysis of AUI research and domain expert interviews (N=5). AutoVis supports analyzing passenger behavior, physiology, spatial interaction, and events in a replicated study environment using avatars, trajectories, and heatmaps. We apply context portals and driving-path events as automotive-specific visualizations. To validate AutoVis against real-world analysis tasks, we implemented a prototype, conducted heuristic walkthroughs using authentic data from a case study and public datasets, and leveraged a real vehicle in the analysis process.


title: Hybridization-Controlled Pseudogap State in the Quantum Critical Superconductor CeCoIn5

abstract: The origin of the partial suppression of the electronic density states in the enigmatic pseudogap behavior, which is at the core of understanding high-$T_c$ superconductivity, has been hotly contested as either a hallmark of preformed Cooper pairs or an incipient order of competing interactions nearby. Here, we report the quasi-particle scattering spectroscopy of the quantum critical superconductor CeCoIn$_5$, where a pseudogap with energy $\Delta_g$ was manifested as a dip in the differential conductance ($dI/dV$) below the characteristic temperature of $T_g$. When subjected to external pressure, $T_g$ and $\Delta_g$ gradually increase, following the trend of increase in quantum entangled hybridization between Ce 4$f$ moment and conduction electrons. On the other hand, the superconducting (SC) energy gap and its phase transition temperature shows a maximum, revealing a dome shape under pressure. The disparate dependence on pressure between the two quantum states shows that the pseudogap is less likely involved in the formation of SC Cooper pairs, but rather is controlled by Kondo hybridization, indicating that a novel type of pseudogap is realized in CeCoIn$_5$.


title: Detection of Quasi-periodic Oscillations in SGR 150228213

abstract: The detection of quasi-periodic oscillations (QPOs) in magnetar giant flares (GFs) has brought a new perspective to study the mechanism of magnetar bursts. Due to the scarcity of GFs, searching QPOs from magnetar short bursts is reasonable. Here we report the detection of a high frequency QPO at approximately 110 Hz and a wide QPO at approximately 60 Hz in a short magnetar burst SGR 150228213, with a confidence level of 3.35$\sigma$. This burst was initially attributed to 4U 0142+61 by $Fermi$/GBM on location, but we haven't detected such QPOs in other bursts from this magnetar. We also found that there was a repeating fast radio burst associated with SGR 150228213 on location. Finally, we discuss the possible origins of SGR 150228213.


title: Star formation concentration as a tracer of environmental quenching in action: a study of the Eagle and C-Eagle simulations

abstract: We study environmental quenching in the Eagle}/C-Eagle cosmological hydrodynamic simulations over the last 11 Gyr (i.e. $z=0-2$). The simulations are compared with observations from the SAMI Galaxy Survey at $z=0$. We focus on satellite galaxies in galaxy groups and clusters ($10^{12}\,\rm M_{\odot}$ $\lesssim$ $M_{200}$ < $3 \times 10^{15}\, \rm M_{\odot}$). A star-formation concentration index [$C$-index $= \log_{10}(r_\mathrm{50,SFR} / r_\mathrm{50,rband})$] is defined, which measures how concentrated star formation is relative to the stellar distribution. Both Eagle/C-Eagle and SAMI show a higher fraction of galaxies with low $C$-index in denser environments at $z=0-0.5$. Low $C$-index galaxies are found below the SFR-$M_{\star}$ main sequence (MS), and display a declining specific star formation rate (sSFR) with increasing radii, consistent with ``outside-in'' environmental quenching. Additionally, we show that $C$-index can be used as a proxy for how long galaxies have been satellites. These trends become weaker at increasing redshift and are absent by $z=1-2$. We define a quenching timescale $t_{\rm quench}$ as how long it takes satellites to transition from the MS to the quenched population. We find that simulated galaxies experiencing ``outside-in'' environmental quenching at low redshift ($z=0\sim0.5$) have a long quenching timescale (median $t_{\rm quench}$ > 2 Gyr). The simulated galaxies at higher redshift ($z=0.7\sim2$) experience faster quenching (median $t_{\rm quench}$ < 2Gyr). At $z\gtrsim 1-2$ galaxies undergoing environmental quenching have decreased sSFR across the entire galaxy with no ``outside-in'' quenching signatures and a narrow range of $C$-index, showing that on average environmental quenching acts differently than at $z\lesssim 1$.


title: Multi-instrument analysis of 67P/Churyumov-Gerasimenko coma particles: COPS-GIADA data fusion

abstract: The European Space Agency's Rosetta mission to comet 67P/Churyumov-Gerasimenko has offered scientists the opportunity to study a comet in unprecedented detail. Four instruments of the Rosetta orbiter, namely, the Micro-Imaging Dust Analysis System (MIDAS), the Grain Impact Analyzer and Dust Accumulator (GIADA), the COmetary Secondary Ion Mass Analyser (COSIMA), and the Rosetta Orbiter Spectrometer for Ion and Neutral Analysis (ROSINA) have provided information on cometary dust particles. Cross-instrument comparisons are crucial to characterize cometary dust particles beyond the capabilities of individual sensors, as they are sensitive to different dust components. We present the first comparison between detections of the ROSINA COmet Pressure Sensor (COPS) and GIADA. These two instruments are complementary as the former is sensitive solely to volatiles of icy particles, while the latter measured the dust particle as a whole, including refractories and condensed (semi)volatiles. Our goal is to correlate the particles detected by COPS and GIADA and to assess whether they belong to a common group. We statistically analyzed the in situ data of COPS and GIADA by calculating Pearson correlation coefficients. Among the several types of particles detected by GIADA, we find that COPS particles are significantly correlated solely with GIADA fluffy agglomerates (Pearson correlation coefficient of 0.55 and p-value of $4.6\cdot 10^{-3}$). This suggests that fluffy particles are composed of both refractories and volatiles. COPS volatile volumes, which may be represented by equivalent spheres with a diameter in the range between 0.06 $\mu$m and 0.8 $\mu$m, are similar to the sizes of the fractal particle's subunits identified by MIDAS (i.e., 0.05-0.18 $\mu$m).


title: Nonparallel Emotional Voice Conversion For Unseen Speaker-Emotion Pairs Using Dual Domain Adversarial Network & Virtual Domain Pairing

abstract: Primary goal of an emotional voice conversion (EVC) system is to convert the emotion of a given speech signal from one style to another style without modifying the linguistic content of the signal. Most of the state-of-the-art approaches convert emotions for seen speaker-emotion combinations only. In this paper, we tackle the problem of converting the emotion of speakers whose only neutral data are present during the time of training and testing (i.e., unseen speaker-emotion combinations). To this end, we extend a recently proposed StartGANv2-VC architecture by utilizing dual encoders for learning the speaker and emotion style embeddings separately along with dual domain source classifiers. For achieving the conversion to unseen speaker-emotion combinations, we propose a Virtual Domain Pairing (VDP) training strategy, which virtually incorporates the speaker-emotion pairs that are not present in the real data without compromising the min-max game of a discriminator and generator in adversarial training. We evaluate the proposed method using a Hindi emotional database.


title: Some remarks on a class of logarithmic curvature flow

abstract: In this paper, we introduce a class of new logarithmic curvature flow. The flows are designed to embrace the monotonicity of the related functional, and the convergence of this flow would tackle the solvability of the weighted Christoffel-Minkowski problem, but a full proof scheme is missing, the key factor of forming this phenomenon lies in the establishment of the upper bound of the principal curvature, which essentially depends on finding a clean condition on smooth positive function defined on the unit sphere $\sn$. Except for obtaining this tricky estimate, we get all the other a priori estimates and hope that this note can attract wide attention to this interesting issue.


title: Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability

abstract: We show that feasibility of the $t^\text{th}$ level of the Lasserre semidefinite programming hierarchy for graph isomorphism can be expressed as a homomorphism indistinguishability relation. In other words, we define a class $\mathcal{L}_t$ of graphs such that graphs $G$ and $H$ are not distinguished by the $t^\text{th}$ level of the Lasserre hierarchy if and only if they admit the same number of homomorphisms from any graph in $\mathcal{L}_t$. By analysing the treewidth of graphs in $\mathcal{L}_t$ we prove that the $3t^\text{th}$ level of Sherali--Adams linear programming hierarchy is as strong as the $t^\text{th}$ level of Lasserre. Moreover, we show that this is best possible in the sense that $3t$ cannot be lowered to $3t-1$ for any $t$. The same result holds for the Lasserre hierarchy with non-negativity constraints, which we similarly characterise in terms of homomorphism indistinguishability over a family $\mathcal{L}_t^+$ of graphs. Additionally, we give characterisations of level-$t$ Lasserre with non-negativity constraints in terms of logical equivalence and via a graph colouring algorithm akin to the Weisfeiler--Leman algorithm. This provides a polynomial time algorithm for determining if two given graphs are distinguished by the $t^\text{th}$ level of the Lasserre hierarchy with non-negativity constraints.


title: Online Symbolic Regression with Informative Query

abstract: Symbolic regression, the task of extracting mathematical expressions from the observed data $\{ \vx_i, y_i \}$, plays a crucial role in scientific discovery. Despite the promising performance of existing methods, most of them conduct symbolic regression in an \textit{offline} setting. That is, they treat the observed data points as given ones that are simply sampled from uniform distributions without exploring the expressive potential of data. However, for real-world scientific problems, the data used for symbolic regression are usually actively obtained by doing experiments, which is an \textit{online} setting. Thus, how to obtain informative data that can facilitate the symbolic regression process is an important problem that remains challenging. In this paper, we propose QUOSR, a \textbf{qu}ery-based framework for \textbf{o}nline \textbf{s}ymbolic \textbf{r}egression that can automatically obtain informative data in an iterative manner. Specifically, at each step, QUOSR receives historical data points, generates new $\vx$, and then queries the symbolic expression to get the corresponding $y$, where the $(\vx, y)$ serves as new data points. This process repeats until the maximum number of query steps is reached. To make the generated data points informative, we implement the framework with a neural network and train it by maximizing the mutual information between generated data points and the target expression. Through comprehensive experiments, we show that QUOSR can facilitate modern symbolic regression methods by generating informative data.


title: Polarization transport in optical fibers beyond Rytov's law

abstract: We consider the propagation of light in arbitrarily curved step-index optical fibers. Using a multiple-scales approximation scheme, set-up in Fermi normal coordinates, the full vectorial Maxwell equations are solved in a perturbative manner. At leading order, this provides a rigorous derivation of Rytov's law. At next order, we obtain non-trivial dynamics of the electromagnetic field, characterized by two coupling constants, the phase and the polarization curvature moments, which describe the curvature response of the light's phase and its polarization vector, respectively. The latter can be viewed as an inverse spin Hall effect of light, where the direction of propagation is constrained along the optical fiber and the polarization evolves in a frequency-dependent way.


title: Muon mass correction in partial wave analyses of charmed meson semi-leptonic decays

abstract: We derive the parameterization formula for partial wave analyses of charmed meson semi-leptonic decays with consideration of the effects caused by the lepton mass. As the proposed super-tau-charm factory will reach much enhanced luminosity and BESIII is taking $\psi(3770)\to D\bar{D}$ data, our results are helpful to improve the measurement precision of future partial wave analyses of charmed meson semi-muonic decays.


title: Searching for Dark Matter Annihilation with IceCube and P-ONE

abstract: We present a new search for weakly interacting massive particles utilizing ten years of public IceCube data, setting more stringent bounds than previous IceCube analysis on massive dark matter to neutrino annihilation. We also predict the future potential of the new neutrino observatory, P-ONE, showing that it may even exceed the sensitivities of gamma-ray searches by about 1-2 orders of magnitude in 1-10 TeV regions. This analysis considers the diffuse dark matter self-annihilation to neutrinos via direct and indirect channels, from the galactic dark matter halo and extra-galactic sources. We also predict that P-ONE will be capable of pushing these bounds further than IceCube, even reaching the thermal relic abundance utilizing a galactic center search for extended run-time.


title: B-fields And dust in interstelLar fiLAments using Dust POLarization (BALLAD-POL): I. The massive filament G11.11-0.12 observed by SOFIA/HAWC+

abstract: We report the first measurement of polarized thermal dust emission toward the entire early and massive Infrared Dark Cloud G11.11$-$0.12 taken by the polarimeter SOFIA/HAWC+ at 214 $\mu m$ wavelength. Magnetic fields (B-fields) obtained from the polarized emission tend to be perpendicular to the filament's spine. We produce a map of B-field strengths for the center region of the filament. The strengths vary in the range of 100-600 $\mu\rm{G}$ and are strongest along the filament's spine. The central region is sub-Alfv\'enic and mostly sub-critical meaning that B-fields dominate over turbulence and are strong enough to resist gravitational collapse. The alignment and properties of dust grains are studied in the filament using the RAdiative Torque (RAT) theory. We find the decrease of polarization degree $P$ with emission intensity $I$, i.e., depolarization effect, of the form $P\propto I^{-\alpha}$ with $\alpha\sim$0.8-0.9, implying a significant loss of grain alignment in the filament's spine. The depolarization can be explained by the decrease in RAT alignment efficiency toward the denser regions with lower dust temperature, and cannot be explained by the B-field tangling. We study the effect of the enhanced magnetic relaxation by embedded iron inclusions on RAT alignment and find that the high polarization fraction $P\sim$20-30\% in the outer layer of the filament is potential evidence for the enhanced RAT alignment by magnetic relaxation. This is the first time this effect is evaluated in a filament. Based on the polarization fraction and RAT alignment theory, we find evidence for grain growth in the filament.


title: EC-SfM: Efficient Covisibility-based Structure-from-Motion for Both Sequential and Unordered Images

abstract: Structure-from-Motion is a technology used to obtain scene structure through image collection, which is a fundamental problem in computer vision. For unordered Internet images, SfM is very slow due to the lack of prior knowledge about image overlap. For sequential images, knowing the large overlap between adjacent frames, SfM can adopt a variety of acceleration strategies, which are only applicable to sequential data. To further improve the reconstruction efficiency and break the gap of strategies between these two kinds of data, this paper presents an efficient covisibility-based incremental SfM. Different from previous methods, we exploit covisibility and registration dependency to describe the image connection which is suitable to any kind of data. Based on this general image connection, we propose a unified framework to efficiently reconstruct sequential images, unordered images, and the mixture of these two. Experiments on the unordered images and mixed data verify the effectiveness of the proposed method, which is three times faster than the state of the art on feature matching, and an order of magnitude faster on reconstruction without sacrificing the accuracy. The source code is publicly available at https://github.com/openxrlab/xrsfm


title: Does Turbulence along the Coronal Current Sheet Drive Ion Cyclotron Waves?

abstract: Evidence for the presence of ion cyclotron waves, driven by turbulence, at the boundaries of the current sheet is reported in this paper. By exploiting the full potential of the joint observations performed by Parker Solar Probe and the Metis coronagraph on board Solar Orbiter, local measurements of the solar wind can be linked with the large-scale structures of the solar corona. The results suggest that the dynamics of the current sheet layers generates turbulence, which in turn creates a sufficiently strong temperature anisotropy to make the solar-wind plasma unstable to anisotropy-driven instabilities such as the Alfv\'en ion-cyclotron, mirror-mode, and firehose instabilities. The study of the polarization state of high-frequency magnetic fluctuations reveals that ion cyclotron waves are indeed present along the current sheet, thus linking the magnetic topology of the remotely imaged coronal source regions with the wave bursts observed in situ. The present results may allow improvement of state-of-the-art models based on the ion cyclotron mechanism, providing new insights into the processes involved in coronal heating.


title: OIG and Sarg CCD's characterization

abstract: CCDs characterization is the preliminary step to perform before the CCD can be properly used at the telescope. Most of the scientific instrumentation at the Italian National Telescope Galileo use CCDs as detectors. In particular the optical imager (OIG) and the high resolution spectrograph (SARG) use a mosaic of two 2k X 4k CCD manufactured by EEV (EEV 4280). The technical characteristics of the EEV4280 can be found in Cosentino et al (these proceedings).


title: Exploring the magnetic properties of individual barcode nanowires using wide-field diamond microscopy

abstract: Barcode magnetic nanowires typically comprise a multilayer magnetic structure in a single body with more than one segment type. Interestingly, owing to selective functionalization and novel interactions between the layers, barcode magnetic nanowires have attracted significant attention, particularly in the field of bioengineering. However, an analysis of their magnetic properties at the individual nanowire level remains challenging. With this background, herein, we investigated the characterization of magnetic nanowires at room temperature under ambient conditions based on magnetic images obtained via wide-field quantum microscopy with nitrogen-vacancy centers in diamond. Consequently, we could extract critical magnetic properties, such as the saturation magnetization and coercivity, of single nanowires by comparing the experimental results with those of micromagnetic simulations. This study opens up the possibility for a versatile characterization method suited to individual magnetic nanowires.


title: Endowing networks with desired symmetries and modular behavior

abstract: Symmetries in a network regulate its organization into functional clustered states. Given a generic ensemble of nodes and a desirable cluster (or group of clusters), we exploit the direct connection between the elements of the eigenvector centrality and the graph symmetries to generate a network equipped with the desired cluster(s), with such a synthetical structure being furthermore perfectly reflected in the modular organization of the network's functioning. Our results solve a relevant problem of reverse engineering, and are of generic application in all cases where a desired parallel functioning needs to be blueprinted.


title: MonoPGC: Monocular 3D Object Detection with Pixel Geometry Contexts

abstract: Monocular 3D object detection reveals an economical but challenging task in autonomous driving. Recently center-based monocular methods have developed rapidly with a great trade-off between speed and accuracy, where they usually depend on the object center's depth estimation via 2D features. However, the visual semantic features without sufficient pixel geometry information, may affect the performance of clues for spatial 3D detection tasks. To alleviate this, we propose MonoPGC, a novel end-to-end Monocular 3D object detection framework with rich Pixel Geometry Contexts. We introduce the pixel depth estimation as our auxiliary task and design depth cross-attention pyramid module (DCPM) to inject local and global depth geometry knowledge into visual features. In addition, we present the depth-space-aware transformer (DSAT) to integrate 3D space position and depth-aware features efficiently. Besides, we design a novel depth-gradient positional encoding (DGPE) to bring more distinct pixel geometry contexts into the transformer for better object detection. Extensive experiments demonstrate that our method achieves the state-of-the-art performance on the KITTI dataset.


title: Approximate representability of finite abelian group actions on the Razak-Jacelon algebra

abstract: Let $A$ be a simple separable nuclear monotracial C$^*$-algebra, and let $\alpha$ be an outer action of a finite abelian group $\Gamma$ on $A$. In this paper, we show that $\alpha\otimes \mathrm{id}_{\mathcal{W}}$ on $A\otimes\mathcal{W}$ is approximately representable if and only if the characteristic invariant of $\tilde{\alpha}$ is trivial, where $\mathcal{W}$ is the Razak-Jacelon algebra and $\tilde{\alpha}$ is the induced action on the injective II$_1$ factor $\pi_{\tau_{A}}(A)^{''}$. As an application of this result, we classify such actions up to conjugacy and cocycle conjugacy. In particular, we show the following: Let $A$ and $B$ be simple separable nuclear monotracial C$^*$-algebras, and let $\alpha$ and $\beta$ be outer actions of a finite abelian group $\Gamma$ on $A$ and $B$, respectively. Assume that the characteristic invariants of $\tilde{\alpha}$ and $\tilde{\beta}$ are trivial. Then $\alpha\otimes \mathrm{id}_{\mathcal{W}}$ and $\beta\otimes \mathrm{id}_{\mathcal{W}}$ are conjugate (resp. cocycle conjugate) if and only if $\tilde{\alpha}$ on $\pi_{\tau_{A}}(A)^{''}$ and $\tilde{\beta}$ on $\pi_{\tau_{B}}(B)^{''}$ are conjugate (resp. cocycle conjugate). We also construct the model actions.


title: Preliminary Results of a Deep Learning Anomaly Detection Method to Identify Gamma-Ray Bursts in the AGILE Anticoincidence System

abstract: AGILE is a space mission launched in 2007 to study X-ray and gamma-ray astronomy. The AGILE team developed real-time analysis pipelines to detect transient phenomena such as Gamma-Ray Bursts (GRBs) and to react to external science alerts received by other facilities. The AGILE anti-coincidence system (ACS) comprises five panels (four lateral and one on the top) that surround the AGILE detectors to reject background charged particles. It can also detect hard X-ray photons in the energy range 50 - 200 KeV. The acquisition of the ACS data produces a time series for each panel. These time series can be merged in a single multivariate time series (MTS). We present in this work a new Deep Learning model for GRBs detection in the MTSs, generated by the ACS, using an anomaly detection technique. The model is implemented with a Deep Convolutional Neural Network autoencoder architecture. We trained the model with an unsupervised learning algorithm using a dataset of MTSs randomly extracted from the AGILE ACS data. The reconstruction error of the autoencoder is used as the anomaly score to classify the MTS. If the anomaly score is higher than a predefined threshold, the MTS is flagged as a GRB. The trained model is evaluated using a list of MTSs containing GRBs. The tests confirmed the model's ability to detect transient events, providing a new promising technique to identify GRBs in the ACS data that can be implemented in the AGILE real-time analysis pipeline.


title: Two-Phase Topology Optimization for Metamaterials with Negative Poisson's Ratio

abstract: Although recent developments in 3D printing technology have made it possible to fabricate metamaterials with characteristic mechanical properties, it is not easy to fabricate complex shapes containing cavities. In this study, a composite structure comprising two types of materials without a cavity was optimized. Moreover, a mechanical metamaterial with a negative Poisson's ratio that can be fabricated using an additive manufacturing method was developed. First, a homogenization method that characterizes the properties of composite structures was briefly described. Then, an optimization problem to realize a negative Poisson's ratio was formulated, and a level set-based topology optimization method was proposed to solve the abovementioned problem. Next, three-dimensional numerical examples are presented to confirm the effectiveness of the proposed method, and the deformation behaviors of the optimized designs are numerically examined. Furthermore, a sample containing the optimized design with negative Poisson's ratio for the tensile test was fabricated using a 3D printer. We conducted some experiments to evaluate its mechanical performance.


title: An inverse problem for data-driven prediction in quantum mechanics

abstract: Data-driven prediction in quantum mechanics consists in providing an approximative description of the motion of any particles at any given time, from data that have been previously collected for a certain number of particles under the influence of the same Hamiltonian. The difficulty of this problem comes from the ignorance of the exact Hamiltonian ruling the dynamic. In order to address this problem, we formulate an inverse problem consisting in determining the Hamiltonian of a quantum system from the knowledge of the state at some fixed finite time for each initial state. We focus on the simplest case where the Hamiltonian is given by $-\Delta + V$, where the potential $V = V(\mathrm{t}, \mathrm{x})$ is non-compactly supported. Our main result is a uniqueness theorem, which establishes that the Hamiltonian ruling the dynamic of all quantum particles is determined by the prescription of the initial and final states of each particle. As a consequence, one expects to be able to know the state of any particle at any given time, without an a priori knowledge of the Hamiltonian just from the data consisting of the initial and final state of each particle.


title: Group vertex magicness of product graphs and trees

abstract: In this article, some necessary conditions of group vertex magicness of graphs with at least one pendant, group vertex magicness of product graphs, are proved. A characterization of group vertex magicness of trees of diameter up to 5. for all infinite Abelian groups with finitely many torsion elements, is also obtained.


title: The optical behaviour of BL Lacertae at its maximum brightness levels: a blend of geometry and energetics

abstract: In 2021 BL Lacertae underwent an extraordinary activity phase, which was intensively followed by the Whole Earth Blazar Telescope (WEBT) Collaboration. We present the WEBT optical data in the BVRI bands acquired at 36 observatories around the world. In mid 2021 the source showed its historical maximum, with R = 11.14. The light curves display many episodes of intraday variability, whose amplitude increases with source brightness, in agreement with a geometrical interpretation of the long-term flux behaviour. This is also supported by the long-term spectral variability, with an almost achromatic trend with brightness. In contrast, short-term variations are found to be strongly chromatic and are ascribed to energetic processes in the jet. We also analyse the optical polarimetric behaviour, finding evidence of a strong correlation between the intrinsic fast variations in flux density and those in polarisation degree, with a time delay of about 13 h. This suggests a common physical origin. The overall behaviour of the source can be interpreted as the result of two mechanisms: variability on time scales greater than several days is likely produced by orientation effects, while either shock waves propagating in the jet, or magnetic reconnection, possibly induced by kink instabilities in the jet, can explain variability on shorter time scales. The latter scenario could also account for the appearance of quasi-periodic oscillations, with periods from a few days to a few hours, during outbursts, when the jet is more closely aligned with our line of sight and the time scales are shortened by relativistic effects.


title: On the classification of completely regular codes with covering radius two and antipodal dual

abstract: We classify all linear completely regular codes which have covering radius $\rho = 2$ and whose dual are antipodal. For this, we firstly show several properties of such dual codes, which are two-weight codes.


title: Preliminary Results of a New Deep Learning Method to Detect and Localize GRBs in the AGILE/GRID Sky Maps

abstract: AGILE is an ASI space mission launched in 2007 to study X-ray and gamma-ray phenomena in the energy range from $\sim20$ keV to $\sim10$ GeV. The AGILE Team developed a real-time analysis pipeline for the fast detection of transient sources, and the follow-up of external science alerts received through networks such as the General Coordinates Network. We developed a new Deep Learning method for detecting and localizing Gamma-Ray Bursts (GRB) in the AGILE/GRID sky maps. We trained the model using sky maps with GRBs simulated in a radius of 20 degrees from the center of the map, which is larger than 99.5 \% of the error region present in the GRBWeb catalog. We also plan to apply this method to search for counterparts of gravitational wave events, which typically have a wider localization error region. The method comprises two Deep Learning models implemented with two Convolutional Neural Networks. The first model detects and filters sky maps containing a GRB, while the second model localizes its position. We trained and tested the models using simulated data. The detection model achieves an accuracy of 95.7 \%, and the localization model has a mean error lower than 0.8 degrees. We configured a Docker container with all the required software for data simulation and deployed it using the Amazon Web Service to calculate the p-value distribution under different conditions. With the p-value distribution, we can calculate the statistical significance of a detection.


title: Joint Optimization of Base Station Clustering and Service Caching in User-Centric MEC

abstract: Edge service caching can effectively reduce the delay or bandwidth overhead for acquiring and initializing applications. To address single-base station (BS) transmission limitation and serious edge effect in traditional cellular-based edge service caching networks, in this paper, we proposed a novel user-centric edge service caching framework where each user is jointly provided with edge caching and wireless transmission services by a specific BS cluster instead of a single BS. To minimize the long-term average delay under the constraint of the caching cost, a mixed integer non-linear programming (MINLP) problem is formulated by jointly optimizing the BS clustering and service caching decisions. To tackle the problem, we propose JO-CDSD, an efficiently joint optimization algorithm based on Lyapunov optimization and generalized benders decomposition (GBD). In particular, the long-term optimization problem can be transformed into a primal problem and a master problem in each time slot that is much simpler to solve. The near-optimal clustering and caching strategy can be obtained through solving the primal and master problem alternately. Extensive simulations show that the proposed joint optimization algorithm outperforms other algorithms and can effectively reduce the long-term delay by at most $93.75% and caching cost by at most $53.12%.


title: Maximal surfaces in the Lorentzian Heisenberg group

abstract: The 3-dimensional Heisenberg group can be equipped with three different types of left-invariant Lorentzian metric, according to whether the center of the Lie algebra is spacelike, timelike or null. Using the second of these types, we study spacelike surfaces of mean curvature zero. These surfaces with singularities are associated with harmonic maps into the 2-sphere. We show that the generic singularities are cuspidal edge, swallowtail and cuspidal cross-cap. We also give the loop group construction for these surfaces, and the criteria on the loop group potentials for the different generic singularities. Lastly, we solve the Cauchy problem for harmonic maps into the 2-sphere using loop groups, and use this to give a geometric characterization of the singularities. We use these results to prove that a regular spacelike maximal disc with null oundary must have at least two cuspidal cross-cap singularities on the boundary.


title: Detection of paramagnetic spins with an ultrathin van der Waals quantum sensor

abstract: Detecting magnetic noise from small quantities of paramagnetic spins is a powerful capability for chemical, biochemical, and medical analysis. Quantum sensors based on optically addressable spin defects in bulk semiconductors are typically employed for such purposes, but the 3D crystal structure of the sensor inhibits the sensitivity by limiting the proximity of the defects to the target spins. Here we demonstrate the detection of paramagnetic spins using spin defects hosted in hexagonal boron nitride (hBN), a van der Waals material which can be exfoliated into the 2D regime. We first create negatively charged boron vacancy (V$_{\rm B}^-$) defects in a powder of ultrathin hBN nanoflakes ($<10$~atomic monolayers thick on average) and measure the longitudinal spin relaxation time ($T_1$) of this system. We then decorate the dry hBN nanopowder with paramagnetic Gd$^{3+}$ ions and observe a clear $T_1$ quenching, under ambient conditions, consistent with the added magnetic noise. Finally, we demonstrate the possibility of performing spin measurements including $T_1$ relaxometry using solution-suspended hBN nanopowder. Our results highlight the potential and versatility of the hBN quantum sensor for a range of sensing applications, and pave the way towards the realisation of a truly 2D, ultrasensitive quantum sensor.


title: Model-free Optimization and Experimental Validation of RIS-assisted Wireless Communications under Rich Multipath Fading

abstract: Reconfigurable intelligent surface (RIS) devices have emerged as an effective way to control the propagation channels for enhancing the end-users' performance. However, RIS optimization involves configuring the radio frequency response of a large number of radiating elements, which is challenging in real-world applications due to high computational complexity. In this paper, a model-free cross-entropy (CE) algorithm is proposed to optimize the binary RIS configuration for improving the signal-to-noise ratio (SNR) at the receiver. One key advantage of the proposed method is that it only requires system performance indicators, e.g., the received SNR, without the need for channel models or channel state information. Both simulations and experiments are conducted to evaluate the performance of the proposed CE algorithm. This study provides an experimental demonstration of the channel hardening effect in a multi-antenna RIS-assisted wireless system under rich multipath fading.


title: Renewable Energy Expansion under Taxes and Subsidies: A Transmission Operator's Perspective

abstract: This paper investigates the role of a transmission system operator within a carbon footprint reduction strategy incorporating carbon taxes and renewable energy generation subsidies in the decentralised energy market. This is achieved via an optimisation bi-level model in which a welfare-maximizing transmission system operator makes investments in transmission lines at the upper level while considering power market dynamics at the lower level. To account for the deregulated energy market structure, this paper assumes that the generation companies at the lower level make capacity investments as price-takers in perfect competition. Considering alternative transmission infrastructure expansion budgets, carbon emission taxes and monetary incentives for renewable energy generation capacity expansion, the impact of alternative compositions of these factors is analysed against three output factors: the share of renewable energy in the generation mix, total generation amount, and social welfare. The proposed modelling assessment is applied to an illustrative three-node instance and a case study considering a simplified representation of the energy system of the Nordic and Baltic countries. The results highlight that, under certain circumstances, renewable energy generation subsidies may lead to an increase of renewable energy in the generation mix followed by a simultaneous fall in the total generation amount. Nevertheless, when applied together, these three measures demonstrated a positive impact on all output factors within Nordics' and Baltics' energy systems. The experiments additionally suggest that considering the high value of the carbon tax does not have an impact on the output factors while the composition of high values of renewable energy generation subsidies and budget for transmission infrastructure expansion has the strongest effect.


title: Diagrammatic method for many-body non-Markovian dynamics: memory effects and entanglement transitions

abstract: We study the quantum dynamics of a many-body system subject to coherent evolution and coupled to a non-Markovian bath. We propose a technique to unravel the non-Markovian dynamics in terms of quantum jumps, a connection that was so far only understood for single-body systems. We develop a systematic method to calculate the probability of a quantum trajectory, and formulate it in a diagrammatic structure. We find that non-Markovianity renormalizes the probability of realizing a quantum trajectory, and that memory effects can be interpreted as a perturbation on top of the Markovian dynamics. We show that the diagrammatic structure is akin to that of a Dyson equation, and that the probability of the trajectories can be calculated analytically. We then apply our results to study the measurement-induced entanglement transition in random unitary circuits. We find that non-Markovianity does not significantly shift the transition, but stabilizes the volume law phase of the entanglement by shielding it from transient strong dissipation.


title: Computational issues in parameter estimation for hidden Markov models with Template Model Builder

abstract: A popular way to estimate the parameters of a hidden Markov model (HMM) is direct numerical maximization (DNM) of the (log-)likelihood function. The advantages of employing the TMB (Kristensen et al., 2016) framework in R for this purpose were illustrated recently Bacri et al. (2022). In this paper, we present extensions of these results in two directions. First, we present a practical way to obtain uncertainty estimates in form of confidence intervals (CIs) for the so-called smoothing probabilities at moderate computational and programming effort via TMB. Our approach thus permits to avoid computer-intensive bootstrap methods. By means of several examples, we illustrate patterns present for the derived CIs. Secondly, we investigate the performance of popular optimizers available in R when estimating HMMs via DNM. Hereby, our focus lies on the potential benefits of employing TMB. Investigated criteria via a number of simulation studies are convergence speed, accuracy, and the impact of (poor) initial values. Our findings suggest that all optimizers considered benefit in terms of speed from using the gradient supplied by TMB. When supplying both gradient and Hessian from TMB, the number of iterations reduces, suggesting a more efficient convergence to the maximum of the log-likelihood. Last, we briefly point out potential advantages of a hybrid approach.


title: Complexity growth of BTZ black hole in massive gravity with a null string

abstract: In this paper, we investigate the complexity growth of the tensionless limit of string in the neutral BTZ black hole horizon in massive gravity. When the string approaches the horizon, we observe a novel phenomenon for the Nambu-Goto action growth that produces significant difference from tensile string geometry. The string's tension is then suggested to partially contribute to the growth of the action. We also argue a potential proposal that reconstructs the complexity from the renormalization group (RG) flow.


title: The commissioning phase

abstract: In May 1997 a consistent part of the services and structures committed to the industry had already been released to the commissioning group. The telescope itself was, with the exception of the Nasmyth derotators, motors and all the optics groups, basically ready in its mechanical parts to accept the integration of all services and control equipment. Also the verification of the cabling (interlocks, data-nets, power and controls) already mounted was started in the same period. Starting from June 1998 (telescope first-light date) the telescope went gradually in use, several nights per week, in order to test and tune the tracking and pointing system, the optics and the first derotator system (Nasmyth A station). At the end of the commissioning period and with the first scientific instruments mounted (April 1999) also the first routinely observations started. In this moment the telescope is doing astronomy 80% of time and the complete first-light instrumentation is mounted.


title: Dual Policy Learning for Aggregation Optimization in Graph Neural Network-based Recommender Systems

abstract: Graph Neural Networks (GNNs) provide powerful representations for recommendation tasks. GNN-based recommendation systems capture the complex high-order connectivity between users and items by aggregating information from distant neighbors and can improve the performance of recommender systems. Recently, Knowledge Graphs (KGs) have also been incorporated into the user-item interaction graph to provide more abundant contextual information; they are exploited to address cold-start problems and enable more explainable aggregation in GNN-based recommender systems (GNN-Rs). However, due to the heterogeneous nature of users and items, developing an effective aggregation strategy that works across multiple GNN-Rs, such as LightGCN and KGAT, remains a challenge. In this paper, we propose a novel reinforcement learning-based message passing framework for recommender systems, which we call DPAO (Dual Policy framework for Aggregation Optimization). This framework adaptively determines high-order connectivity to aggregate users and items using dual policy learning. Dual policy learning leverages two Deep-Q-Network models to exploit the user- and item-aware feedback from a GNN-R and boost the performance of the target GNN-R. Our proposed framework was evaluated with both non-KG-based and KG-based GNN-R models on six real-world datasets, and their results show that our proposed framework significantly enhances the recent base model, improving nDCG and Recall by up to 63.7% and 42.9%, respectively. Our implementation code is available at https://github.com/steve30572/DPAO/.


title: Inequalities for the quermassintegrals of sections of convex bodies

abstract: We provide general estimates which compare the quermassintegrals of a convex body $K$ in ${\mathbb R}^n$ with the averages of the corresponding quermassintegrals of the $k$-codimensional sections of $K$ over $G_{n,n-k}$. An example is the inequality $$\alpha_{n,k,j}\frac{W_j(K)}{|K|}\leq\int_{G_{n,n-k}}\frac{W_j(K\cap F)}{|K\cap F|}d\nu_{n,n-k}(F)\leq \beta_{n,k,j}\frac{W_j(K)}{|K|}$$ where the constants $\alpha_{n,k,j}$ and $\beta_{n,k,j}$ depend only on $n,k$ and $j$, which holds true for any centrally symmetric convex body $K$ in ${\mathbb R}^n$ and any $0\leq j\leq n-k-1\leq n-1$. Using these estimates we obtain some positive results for suitable versions of the slicing problem for the quermassintegrals of a convex body.


title: Methods and restrictions to increase the volume of resonant rectangular-section haloscopes for detecting dark matter axions

abstract: Haloscopes are resonant cavities that serve as detectors of dark matter axions when they are immersed in a strong static magnetic field. In order to increase the volume and improve its introduction within dipole or solenoid magnets for axion searches, various haloscope design techniques for rectangular geometries are discussed in this study. The volume limits of two types of haloscopes are explored: based on single cavities and based on multicavities. For both cases, possibilities for increasing the volume in long and/or tall structures are presented. For multicavities, 1D geometries are explored to optimize the space in the magnets. Also, 2D and 3D geometries are introduced as a first step for laying the foundations for the development of these kind of topologies. The results prove the usefulness of the developed methods, evidencing the ample room of improvement in rectangular haloscope designs nowadays. A factor of three orders of magnitude improvement in volume compared with a single cavity based on WR-90 standard waveguide is obtained with the design of a long and tall single cavity. Similar procedures have been applied for long and tall multicavities. Experimental measurements are shown for prototypes based on tall multicavities and 2D structures, demonstrating the feasibility of using these types of geometries to increase the volume in real haloscopes.


title: Co-Driven Recognition of Semantic Consistency via the Fusion of Transformer and HowNet Sememes Knowledge

abstract: Semantic consistency recognition aims to detect and judge whether the semantics of two text sentences are consistent with each other. However, the existing methods usually encounter the challenges of synonyms, polysemy and difficulty to understand long text. To solve the above problems, this paper proposes a co-driven semantic consistency recognition method based on the fusion of Transformer and HowNet sememes knowledge. Multi-level encoding of internal sentence structures via data-driven is carried out firstly by Transformer, sememes knowledge base HowNet is introduced for knowledge-driven to model the semantic knowledge association among sentence pairs. Then, interactive attention calculation is carried out utilizing soft-attention and fusion the knowledge with sememes matrix. Finally, bidirectional long short-term memory network (BiLSTM) is exploited to encode the conceptual semantic information and infer the semantic consistency. Experiments are conducted on two financial text matching datasets (BQ, AFQMC) and a cross-lingual adversarial dataset (PAWSX) for paraphrase identification. Compared with lightweight models including DSSM, MwAN, DRCN, and pre-training models such as ERNIE etc., the proposed model can not only improve the accuracy of semantic consistency recognition effectively (by 2.19%, 5.57% and 6.51% compared with the DSSM, MWAN and DRCN models on the BQ dataset), but also reduce the number of model parameters (to about 16M). In addition, driven by the HowNet sememes knowledge, the proposed method is promising to adapt to scenarios with long text.


title: SurvLIMEpy: A Python package implementing SurvLIME

abstract: In this paper we present SurvLIMEpy, an open-source Python package that implements the SurvLIME algorithm. This method allows to compute local feature importance for machine learning algorithms designed for modelling Survival Analysis data. Our implementation takes advantage of the parallelisation paradigm as all computations are performed in a matrix-wise fashion which speeds up execution time. Additionally, SurvLIMEpy assists the user with visualization tools to better understand the result of the algorithm. The package supports a wide variety of survival models, from the Cox Proportional Hazards Model to deep learning models such as DeepHit or DeepSurv. Two types of experiments are presented in this paper. First, by means of simulated data, we study the ability of the algorithm to capture the importance of the features. Second, we use three open source survival datasets together with a set of survival algorithms in order to demonstrate how SurvLIMEpy behaves when applied to different models.


title: Self-organisation of spermatozoa in bulk suspensions via unsteady elastohydrodynamic interactions

abstract: We developed a mechanical model of spermatozoal swimming in bulk suspensions. We traced the spatiotemporal elastohydrodynamic interactions and found that spermatozoa engaged in self-organisation: flagellar undulatory motion generated a stable polar order. Conventional microswimmer theories use time-averaged stress fields to predict that the cellular structure is unstable. However, our present results reveal a novel self-organisation mechanism attributable to unsteady hydrodynamic interactions. We thus contribute to the theory of active soft matter dynamics.


title: Convex scalarizations of the mean-variance-skewness-kurtosis problem in portfolio selection

abstract: We consider the multi-objective mean-variance-skewness-kurtosis (MVSK) problem in portfolio selection, with and without shorting and leverage. Additionally, we define a sparse variant of MVSK where feasible portfolios have supports contained in a chosen class of sets. To find the MVSK problem's Pareto front, we linearly scalarize the four objectives of MVSK into a scalar-valued degree four polynomial $F_{\lambda}$ depending on some hyper-parameter $\lambda \in \Delta^4$. As one of our main results, we identify a set of hyper-parameters for which $F_{\lambda}$ is convex over the probability simplex (or over the cube). By exploiting the convexity and neatness of the scalarization, we can compute part of the Pareto front. We compute an optimizer of the scalarization $F_{\lambda}$ for each $\lambda$ in a grid sampling of $\Delta^4$. To see each optimizer's quality, we plot scaled portfolio objective values against hyper-parameters. Doing so, we reveal a sub-set of optimizers that provide a superior trade-off among the four objectives in MVSK.


title: MulGT: Multi-task Graph-Transformer with Task-aware Knowledge Injection and Domain Knowledge-driven Pooling for Whole Slide Image Analysis

abstract: Whole slide image (WSI) has been widely used to assist automated diagnosis under the deep learning fields. However, most previous works only discuss the SINGLE task setting which is not aligned with real clinical setting, where pathologists often conduct multiple diagnosis tasks simultaneously. Also, it is commonly recognized that the multi-task learning paradigm can improve learning efficiency by exploiting commonalities and differences across multiple tasks. To this end, we present a novel multi-task framework (i.e., MulGT) for WSI analysis by the specially designed Graph-Transformer equipped with Task-aware Knowledge Injection and Domain Knowledge-driven Graph Pooling modules. Basically, with the Graph Neural Network and Transformer as the building commons, our framework is able to learn task-agnostic low-level local information as well as task-specific high-level global representation. Considering that different tasks in WSI analysis depend on different features and properties, we also design a novel Task-aware Knowledge Injection module to transfer the task-shared graph embedding into task-specific feature spaces to learn more accurate representation for different tasks. Further, we elaborately design a novel Domain Knowledge-driven Graph Pooling module for each task to improve both the accuracy and robustness of different tasks by leveraging different diagnosis patterns of multiple tasks. We evaluated our method on two public WSI datasets from TCGA projects, i.e., esophageal carcinoma and kidney carcinoma. Experimental results show that our method outperforms single-task counterparts and the state-of-theart methods on both tumor typing and staging tasks.


title: Managing multi-facet bias in collaborative filtering recommender systems

abstract: Due to the extensive growth of information available online, recommender systems play a more significant role in serving people's interests. Traditional recommender systems mostly use an accuracy-focused approach to produce recommendations. Today's research suggests that this single-dimension approach can lead the system to be biased against a series of items with certain attributes. Biased recommendations across groups of items can endanger the interests of item providers along with causing user dissatisfaction with the system. This study aims to manage a new type of intersectional bias regarding the geographical origin and popularity of items in the output of state-of-the-art collaborative filtering recommender algorithms. We introduce an algorithm called MFAIR, a multi-facet post-processing bias mitigation algorithm to alleviate these biases. Extensive experiments on two real-world datasets of movies and books, enriched with the items' continents of production, show that the proposed algorithm strikes a reasonable balance between accuracy and both types of the mentioned biases. According to the results, our proposed approach outperforms a well-known competitor with no or only a slight loss of efficiency.


title: Denotational Semantics and a Fast Interpreter for jq

abstract: jq is a widely used tool that provides a programming language to manipulate JSON data. However, its semantics are currently only specified by its implementation, making it difficult to reason about its behaviour. To this end, I provide a syntax and denotational semantics for a subset of the jq language. In particular, the semantics provide a new way to interpret updates. I implement an extended version of the semantics in a novel interpreter for the jq language called jaq. Although jaq uses a significantly simpler approach to execute jq programs than jq, jaq is faster than jq on ten out of thirteen benchmarks.


title: Cops and Robber -- When Capturing is not Surrounding

abstract: We consider "surrounding" versions of the classic Cops and Robber game. The game is played on a connected graph in which two players, one controlling a number of cops and the other controlling a robber, take alternating turns. In a turn, each player may move each of their pieces: The robber always moves between adjacent vertices. Regarding the moves of the cops we distinguish four versions that differ in whether the cops are on the vertices or the edges of the graph and whether the robber may move on/through them. The goal of the cops is to surround the robber, i.e., occupying all neighbors (vertex version) or incident edges (edge version) of the robber's current vertex. In contrast, the robber tries to avoid being surrounded indefinitely. Given a graph, the so-called cop number denotes the minimum number of cops required to eventually surround the robber. We relate the different cop numbers of these versions and prove that none of them is bounded by a function of the classical cop number and the maximum degree of the graph, thereby refuting a conjecture by Crytser, Komarov and Mackey [Graphs and Combinatorics, 2020].


title: Don't guess what's true: choose what's optimal. A probability transducer for machine-learning classifiers

abstract: In fields such as medicine and drug discovery, the ultimate goal of a classification is not to guess a class, but to choose the optimal course of action among a set of possible ones, usually not in one-one correspondence with the set of classes. This decision-theoretic problem requires sensible probabilities for the classes. Probabilities conditional on the features are computationally almost impossible to find in many important cases. The main idea of the present work is to calculate probabilities conditional not on the features, but on the trained classifier's output. This calculation is cheap, needs to be made only once, and provides an output-to-probability "transducer" that can be applied to all future outputs of the classifier. In conjunction with problem-dependent utilities, the probabilities of the transducer allow us to find the optimal choice among the classes or among a set of more general decisions, by means of expected-utility maximization. This idea is demonstrated in a simplified drug-discovery problem with a highly imbalanced dataset. The transducer and utility maximization together always lead to improved results, sometimes close to theoretical maximum, for all sets of problem-dependent utilities. The one-time-only calculation of the transducer also provides, automatically: (i) a quantification of the uncertainty about the transducer itself; (ii) the expected utility of the augmented algorithm (including its uncertainty), which can be used for algorithm selection; (iii) the possibility of using the algorithm in a "generative mode", useful if the training dataset is biased.


title: An algebraic correspondence between stochastic differential equations and the Martin-Siggia-Rose formalism

abstract: In the realm of complex systems, dynamics is often modeled in terms of a non-linear, stochastic, ordinary differential equation (SDE) with either an additive or a multiplicative Gaussian white noise. In addition to a well-established collection of results proving existence and uniqueness of the solutions, it is of particular relevance the explicit computation of expectation values and correlation functions, since they encode the key physical information of the system under investigation. A pragmatically efficient way to dig out these quantities consists of the Martin-Siggia-Rose (MSR) formalism which establishes a correspondence between a large class of SDEs and suitably constructed field theories formulated by means of a path integral approach. Despite the effectiveness of this duality, there is no corresponding, mathematically rigorous proof of such correspondence. We address this issue using techniques proper of the algebraic approach to quantum field theories which is known to provide a valuable framework to discuss rigorously the path integral formulation of field theories as well as the solution theory both of ordinary and of partial, stochastic differential equations. In particular, working in this framework, we establish rigorously, albeit at the level of perturbation theory, a correspondence between correlation functions and expectation values computed either in the SDE or in the MSR formalism.


title: Classy Ensemble: A Novel Ensemble Algorithm for Classification

abstract: We present Classy Ensemble, a novel ensemble-generation algorithm for classification tasks, which aggregates models through a weighted combination of per-class accuracy. Tested over 153 machine learning datasets we demonstrate that Classy Ensemble outperforms two other well-known aggregation algorithms -- order-based pruning and clustering-based pruning -- as well as the recently introduced lexigarden ensemble generator. We then present three enhancements: 1) Classy Cluster Ensemble, which combines Classy Ensemble and cluster-based pruning; 2) Deep Learning experiments, showing the merits of Classy Ensemble over four image datasets: Fashion MNIST, CIFAR10, CIFAR100, and ImageNet; and 3) Classy Evolutionary Ensemble, wherein an evolutionary algorithm is used to select the set of models which Classy Ensemble picks from. This latter, combining learning and evolution, resulted in improved performance on the hardest dataset.


title: A method for accurate and efficient simulations of slow beam degradation due to electron clouds

abstract: In the Large Hadron Collider, electron clouds have been observed to cause slow beam degradation in the form of beam lifetime reduction and slow emittance growth. We present a method for the simulation of such slow effects with arbitrarily complex electron clouds and in the presence of non-linearities in the lattice of the accelerator. The application of the electron cloud forces, as obtained from a particle-in-cell simulation of the electron cloud dynamics, is kept symplectic by using an appropriate tricubic interpolation scheme. The properties of such an interpolation scheme are studied in detail and numerical artifacts that can be introduced by the scheme are identified and corrected through a suitable refinement procedure. The method is applied to the case of the Large Hadron Collider for protons at injection energy to compute Dynamic Aperture, to perform Frequency Map Analysis, and to simulate beam losses and emittance growth by tracking particle distributions for long time scales.


title: Covariant Growth Dynamics

abstract: The spacetime discreteness of causal set theory has enabled the formulation of novel spacetime dynamics. In these so-called "growth" dynamics, a causal set spacetime is generated probabilistically by means of a random walk on certain tree structures. The first growth dynamics - the Classical Sequential Growth models - were proposed more than two decades ago and their study has furthered our understanding of general covariance and covariant observables within causal set theory. In this setting, labels take the place of spacetime coordinates so that general covariance takes the form of label-invariance and covariant observables are those order-theoretic properties of the causal set which are label-independent. In recent years, these insights have led to a new formulation of growth dynamics which makes no reference to labels. Here we present an overview of these (manifestly) covariant growth dynamics.


title: Probing Majorana bound states through an inhomogeneous Andreev double dot interferometer

abstract: In modern experiments with hybrid superconducting (SC)/semiconducting nanowires the presence of zero-energy Andreev bound states (ABSs), characterized by a partial overlap of the Majorana wave functions, is a common problem that significantly complicates the detection of a genuine Majorana bound state (MBS). In this article, taking into account spatial inhomogeneity of experimentally investigated nanowire samples, we study interference transport features of a curved heterostructure in which two normal wires (or arms) are separated by a superconducting wire. Since Andreev reflection on the two N/S interfaces with smoothly changing electrostatic and SC pairing potentials results in the emergence of bound states, the low-energy interference transport is described in the framework of the model of two noninteracting Andreev levels or the Andreev double quantum dot. A set of limiting cases is analyzed allowing us to highlight the interference properties that are unique for the different types of ABSs, such as bulk ABS, inhomogeneous ABS and MBS. In particular, considerable attention is paid to the features of the Aharonov-Bohm (AB) effect. It is shown that the response of each state can be recognized analyzing both AB period and extrema positions of the conductance oscillations which take place without any fine tuning of the system parameters.


title: SARG: the high resolution spectrograph

abstract: SARG is the high resolution spectrograph of TNG. It has been in operation since late spring 2000. SARG is a cross dispersed echelle spectrograph; it offers both single object and long slit (up to 26 arcsec) observing modes covering a spectral range from {\lambda}=0.37 up to 1 {\mu}m, with resolution ranging from R=29,000 up to R=164,000. Cross dispersion is provided by means of a selection of four grisms; interference filters may be used for the long slit mode (up to 26 arcsec). A dioptric camera images the cross dispersed spectra onto a mosaic of two 2048x4096 EEV CCDs (pixel size: 13.5 {\mu}m) allowing complete spectral coverage at all resolving power for {\AA} <0.8 {\mu}m. An iodine-absorbing cell allows to obtain high precision radial velocities. A Distributed Active Temperature Control System (DATCS) maintains constant the temperature of all spectrograph components at a preset value. Early results show that SARG works according to original specifications in terms of wavelength coverage, efficiency (measured peak efficiency is about 13%), resolution (maximum resolution R~164,000 using a 0.3 arcsec slit, R~144,000 using an image slicer), and stability (preliminary estimates of the radial velocity accuracy is ~5 m/s using the iodine cell and ~ 150 m/s without the cell).


title: Probing the baryon mass fraction in IGM and its redshift evolution with fast radio bursts using Bayesian inference method

abstract: We investigate the fraction of baryon mass in intergalactic medium ($f_\mathrm{IGM}$), using 18 well-localized FRBs in the redshift range $z\in (0.0039,0.66)$. We construct a five-parameter Bayesian inference model, with the probability distributions of dispersion measures (DM) of IGM and host galaxy properly taken into account. To check the possible redshift evolution, we parameterize $f_\mathrm{IGM}$ as a mildly evolving function of redshift, $f_\mathrm{IGM}=f_\mathrm{IGM,0}[1+\alpha z/(1+z)]$. By simultaneously constraining five parameters, we get $f_\mathrm{IGM,0} = 0.92^{+0.06}_{-0.12}$ and $\alpha = 0.49^{+0.59}_{-0.47}$, and the median value of DM of host galaxy is $\exp(\mu)=72.49^{+33.31}_{-25.62}~{\rm pc ~ cm ^ {-3}}$. By fixing two parameters which can be constrained independently with other observations, we obtain $\alpha =0.11^{+0.24}_{-0.27}$ in the three-parameter fit, which is consistent with zero within $1\sigma$ uncertainty. Monte Carlo simulations show that even 300 FRBs are not enough to tightly constrain five parameters simultaneously. This is mainly caused by the correlation between parameters. Only if two parameters are fixed, 100 FRBs are necessary to achieve unbiased constraints on the remaining parameters.


title: Diffusion Models and Semi-Supervised Learners Benefit Mutually with Few Labels

abstract: In an effort to further advance semi-supervised generative and classification tasks, we propose a simple yet effective training strategy called dual pseudo training (DPT), built upon strong semi-supervised learners and diffusion models. DPT operates in three stages: training a classifier on partially labeled data to predict pseudo-labels; training a conditional generative model using these pseudo-labels to generate pseudo images; and retraining the classifier with a mix of real and pseudo images. Empirically, DPT consistently achieves SOTA performance of semi-supervised generation and classification across various settings. In particular, with one or two labels per class, DPT achieves a Fr\'echet Inception Distance (FID) score of 3.08 or 2.52 on ImageNet 256x256. Besides, DPT outperforms competitive semi-supervised baselines substantially on ImageNet classification tasks, achieving top-1 accuracies of 59.0 (+2.8), 69.5 (+3.0), and 74.4 (+2.0) with one, two, or five labels per class, respectively. Notably, our results demonstrate that diffusion can generate realistic images with only a few labels (e.g., <0.1%) and generative augmentation remains viable for semi-supervised classification. Our code is available at https://github.com/ML-GSAI/DPT.


title: LSFD for Rician-Faded Cell-Free mMIMO Systems With Channel Aging and Hardware Impairments

abstract: We study the impact of channel aging on the uplink of a cell-free massive multiple-input multiple-output system with hardware impairments. We consider a dynamic analog-to-digital converter architecture at the access points (APs), and low-resolution digital-to-analog converters at the user equipments (UEs). We derive a closed-form spectral efficiency expression by considering i) practical spatially-correlated Rician channels; ii) hardware impairments at the APs and the UEs; iii) channel aging; and iv) large-scale fading decoding (LSFD). We show that LSFD can effectively mitigate the detrimental effects of i) channel aging for both low and high UE velocities; and ii) inter-user interference for low-velocity UEs but not for high-velocity UEs.


title: STPA for Learning-Enabled Systems: A Survey and A New Practice

abstract: Systems Theoretic Process Analysis (STPA) is a systematic approach for hazard analysis that has been used across many industrial sectors including transportation, energy, and defense. The unstoppable trend of using Machine Learning (ML) in safety-critical systems has led to the pressing need of extending STPA to Learning-Enabled Systems (LESs). Although works have been carried out on various example LESs, without a systematic review, it is unclear how effective and generalisable the extended STPA methods are, and whether further improvements can be made. To this end, we present a systematic survey of 31 papers, summarising them from five perspectives (attributes of concern, objects under study, modifications, derivatives and processes being modelled). Furthermore, we identify room for improvement and accordingly introduce DeepSTPA, which enhances STPA from two aspects that are missing from the state-of-the-practice: (i) Control loop structures are explicitly extended to identify hazards from the data-driven development process spanning the ML lifecycle; (ii) Fine-grained functionalities are modelled at the layer-wise levels of ML models to detect root causes. We demonstrate and compare DeepSTPA and STPA through a case study on an autonomous emergency braking system.


title: Maximum Consensus Localization using an Objective Function based on Helmert's Point Error

abstract: Ego-localization is a crucial task for autonomous vehicles. On the one hand, it needs to be very accurate, and on the other hand, very robust to provide reliable pose (position and orientation) information, even in challenging environments. Finding the best ego-position is usually tied to optimizing an objective function based on the sensor measurements. The most common approach is to maximize the likelihood, which leads under the assumption of normally distributed random variables to the well-known least squares minimization, often used in conjunction with recursive estimation, e. g. using a Kalman filter. However, least squares minimization is inherently sensitive to outliers, and consequently, more robust loss functions, such as L1 norm or Huber loss have been proposed. Arguably the most robust loss function is the outlier count, also known as maximum consensus optimization, where the outcome is independent of the outlier magnitude. In this paper, we investigate in detail the performance of maximum consensus localization based on LiDAR data. We elaborate on its shortcomings and propose a novel objective function based on Helmert's point error. In an experiment using 3001 measurement epochs, we show that the maximum consensus localization based on the introduced objective function provides superior results with respect to robustness.


title: Holographic entanglement renormalisation for fermionic quantum matter

abstract: We demonstrate the emergence of a holographic dimension in a system of 2D non-interacting Dirac fermions placed on a torus, by studying the scaling of multipartite entanglement measures under a sequence of renormalisation group (RG) transformations applied in momentum space. Geometric measures defined in this emergent space can be related to the RG beta function of the spectral gap, hence establishing a holographic connection between the spatial geometry of the emergent spatial dimension and the entanglement properties of the boundary quantum theory. We prove, analytically, that changing the boundedness of the holographic space involves a topological transition accompanied by a critical Fermi surface in the boundary theory. We go on to show that this results in the formation of a quantum wormhole geometry that connects the UV and the IR of the emergent dimension. The additional conformal symmetry at the transition also supports a relation between the emergent metric and the stress-energy tensor. In the presence of an Aharonov-Bohm flux, the entanglement gains a geometry-independent piece which is shown to be topological, sensitive to changes in boundary conditions, and related to the Luttinger volume of the system. Upon the insertion of a strong transverse magnetic field, we show that the Luttinger volume is linked to the Chern number of the occupied single-particle Landau levels.


title: Limits on compression of cosmic rays in supernova remnants

abstract: The spectral shape of the gamma-ray emission observed for dynamically old supernova remnants that interact with molecular clouds triggered an exciting scenario of adiabatic compression and farther re-acceleration of Galactic cosmic rays (GCRs) in radiative shells of the remnants, which was extensively discussed and applied to various sources over recent years. Indeed, the observed gamma-ray spectrum from a number of remnants strongly resembles the expected spectrum of the gamma-ray emission from the compressed population of Galactic cosmic rays. In the following we discuss the feasibility of this scenario and show that it is very unlikely that compressed GCRs could produce sufficient amount of gamma-rays and that the observed spectral shape is putting strong limits on the allowed compression factors. Further, absence of curvature in featureless power-law spectra of evolved supernova remnants at radio wavelengths is strongly disfavoring the compression scenario for electrons and hence for hadrons. Our calculations show that the contribution of compressed electrons to the observed radio-flux could reach at most ~10%.


title: The prescribed mean curvature measure equation in non-parametric form

abstract: We introduce a weak formulation of the non-parametric prescribed mean curvature equation with measure data, and show existence and several properties of $BV$ solutions under natural assumptions on the prescribed measure. Our approach does not rely on approximate or viscosity-type solutions, and requires the combination of various ingredients, including Anzellotti's pairing theory for divergence-measure fields and its recent developments, a refinement of Anzellotti-Giaquinta approximation, and convex duality theory. We also prove a Gamma-convergence result valid for suitable smooth approximations of the prescribed measure, and a maximum principle for continuous weak solutions. We finally construct some examples of non-uniqueness, showing at the same time the need for the continuity assumption in the maximum principle, as well as an unexpected feature of weak solutions.


title: Connecting Humanities and Social Sciences: Applying Language and Speech Technology to Online Panel Surveys

abstract: In this paper, we explore the application of language and speech technology to open-ended questions in a Dutch panel survey. In an experimental wave respondents could choose to answer open questions via speech or keyboard. Automatic speech recognition (ASR) was used to process spoken responses. We evaluated answers from these input modalities to investigate differences between spoken and typed answers.We report the errors the ASR system produces and investigate the impact of these errors on downstream analyses. Open-ended questions give more freedom to answer for respondents, but entail a non-trivial amount of work to analyse. We evaluated the feasibility of using transformer-based models (e.g. BERT) to apply sentiment analysis and topic modelling on the answers of open questions. A big advantage of transformer-based models is that they are trained on a large amount of language materials and do not necessarily need training on the target materials. This is especially advantageous for survey data, which does not contain a lot of text materials. We tested the quality of automatic sentiment analysis by comparing automatic labeling with three human raters and tested the robustness of topic modelling by comparing the generated models based on automatic and manually transcribed spoken answers.