title: A Brief History of Recommender Systems

abstract: Soon after the invention of the Internet, the recommender system emerged and related technologies have been extensively studied and applied by both academia and industry. Currently, recommender system has become one of the most successful web applications, serving billions of people in each day through recommending different kinds of contents, including news feeds, videos, e-commerce products, music, movies, books, games, friends, jobs etc. These successful stories have proved that recommender system can transfer big data to high values. This article briefly reviews the history of web recommender systems, mainly from two aspects: (1) recommendation models, (2) architectures of typical recommender systems. We hope the brief review can help us to know the dots about the progress of web recommender systems, and the dots will somehow connect in the future, which inspires us to build more advanced recommendation services for changing the world better.


title: Honeycomb lattice iridate on the verge of Mott-collapse

abstract: A new honeycomb lattice iridate (La,Na)IrO$_3$ ($\approx$ LaNaIr$_2$O$_6$) is successfully synthesized from the spin-orbit coupled Mott insulator Na$_2$IrO$_3$ by replacing the interlayer Na$^+$ ions with La$^{3+}$ ions. (La,Na)IrO$_3$ shows a finite Sommerfeld term in heat capacity and a $-\ln T$ dependence of resistivity, indicating a realization of a metallic state driven by a Mott collapse. Furthermore, crystal structure analysis reveals the formation of Ir zig-zag chains with metal-metal bonding, increasing kinetic energy resulting in the Mott collapse. This observation would be due to a Mott collapse induced in a $J_{\mathrm{eff}} = 1/2$ spin-orbit coupling Mott insulator with an Ir honeycomb lattice by topochemical control of the ionic configuration.


title: Kinetics Parameter Optimization via Neural Ordinary Differential Equations

abstract: Chemical kinetics mechanisms are essential for understanding, analyzing, and simulating complex combustion phenomena. In this study, a Neural Ordinary Differential Equation (Neural ODE) framework is employed to optimize kinetics parameters of reaction mechanisms. Given experimental or high-cost simulated observations as training data, the proposed algorithm can optimally recover the hidden characteristics in the data. Different datasets of various sizes, types, and noise levels are tested. A classic toy problem of stiff Robertson ODE is first used to demonstrate the learning capability, efficiency, and robustness of the Neural ODE approach. A 41-species, 232-reactions JP-10 skeletal mechanism and a 34-species, 121-reactions n-heptane skeletal mechanism are then optimized with species' temporal profiles and ignition delay times, respectively. Results show that the proposed algorithm can optimize stiff chemical models with sufficient accuracy and efficiency. It is noted that the trained mechanism not only fits the data perfectly but also retains its physical interpretability, which can be further integrated and validated in practical turbulent combustion simulations.


title: Optimizing Reconfigurable Optical Datacenters: The Power of Randomization

abstract: Reconfigurable optical topologies are a promising new technology to improve datacenter network performance and cope with the explosive growth of traffic. In particular, these networks allow to directly and adaptively connect racks between which there is currently much traffic, hence making an optimal use of the bandwidth capacity by avoiding multi-hop forwarding. This paper studies the dynamic optimization of such reconfigurable topologies, by adapting the network to the traffic in an online manner. The underlying algorithmic problem can be described as an online maximum weight $b$-matching problem, a~generalization of maximum weight matching where each node has at most $b \geq 1$ incident matching edges. We make the case for a randomized approach for matching optimization. Our main contribution is a $O(\log b)$-competitive algorithm and we show that it is asymptotically optimal. This algorithm is hence exponentially better than the best possible deterministic online algorithm. We complement our theoretical results with extensive trace-driven simulations, based on real-world datacenter workloads.


title: Power Allocation for Joint Communication and Sensing in Cell-Free Massive MIMO

abstract: This paper studies a joint communication and sensing (JCAS) system with downlink communication and multi-static sensing for single-target detection in a cloud radio access network architecture. A centralized operation of cell-free massive MIMO is considered for communication and sensing purposes. The JCAS transmit access points (APs) jointly serve the user equipments (UEs) and optionally steer a beam towards the target. A maximum a posteriori ratio test detector is derived to detect the target using signals received at distributed APs. We propose a power allocation algorithm to maximize the sensing signal-to-noise ratio under the condition that a minimal signal-to-interference-plus-noise ratio value for each UE is guaranteed. Numerical results show that, compared to the fully communication-centric power allocation, the detection probability under a certain false alarm probability can be increased significantly by the proposed algorithm for both JCAS setups: i) using additional sensing symbols or ii) using only existing communication symbols.


title: A simple eversion of the 2-sphere with a unique quadruple point

abstract: We give an example of an eversion of the 2-sphere in the Euclidean 3-space, inspired by Morse theory, with a unique quadruple point. No homotopical tool is used.


title: Texture image analysis based on joint of multi directions GLCM and local ternary patterns

abstract: Human visual brain use three main component such as color, texture and shape to detect or identify environment and objects. Hence, texture analysis has been paid much attention by scientific researchers in last two decades. Texture features can be used in many different applications in commuter vision or machine learning problems. Since now, many different approaches have been proposed to classify textures. Most of them consider the classification accuracy as the main challenge that should be improved. In this article, a new approach is proposed based on combination of two efficient texture descriptor, co-occurrence matrix and local ternary patterns (LTP). First of all, basic local binary pattern and LTP are performed to extract local textural information. Next, a subset of statistical features is extracted from gray-level co-occurrence matrixes. Finally, concatenated features are used to train classifiers. The performance is evaluated on Brodatz benchmark dataset in terms of accuracy. Experimental results show that proposed approach provide higher classification rate in comparison with some state-of-the-art approaches.


title: Instability of spherically-symmetric black holes in Quadratic Gravity

abstract: We investigate the linear stability of the two known branches of spherically-symmetric black holes in Quadratic Gravity. We extend previous work on the long-wavelength (Gregory-Laflamme) instability of the Schwarzschild branch to a corresponding long-wavelength instability in the non-Schwarzschild branch. In both cases, the instability sets in below a critical horizon radius at which the two black-hole branches intersect. This suggests that classical perturbations enforce a lower bound on the horizon radius of spherically-symmetric black holes in Quadratic Gravity.


title: Optimized Precoding for MU-MIMO With Fronthaul Quantization

abstract: One of the first widespread uses of multi-user multiple-input multiple-output (MU-MIMO) is in 5G networks, where each base station has an advanced antenna system (AAS) that is connected to the baseband unit (BBU) with a capacity-constrained fronthaul. In the AAS configuration, multiple passive antenna elements and radio units are integrated into a single box. This paper considers precoded downlink transmission over a single-cell MU-MIMO system. We study optimized linear precoding for AAS with a limited-capacity fronthaul, which requires the precoding matrix to be quantized. We propose a new precoding design that is aware of the fronthaul quantization and minimizes the mean-squared error at the receiver side. We compute the precoding matrix using a sphere decoding (SD) approach. We also propose a heuristic low-complexity approach to quantized precoding. This heuristic is computationally efficient enough for massive MIMO systems. The numerical results show that our proposed precoding significantly outperforms quantization-unaware precoding and other previous approaches in terms of the sum rate. The performance loss for our heuristic method compared to quantization-aware precoding is insignificant considering the complexity reduction, which makes the heuristic method feasible for real-time applications. We consider both perfect and imperfect channel state information.


title: Active turbulence and spontaneous phase separation in inhomogeneous extensile active gels

abstract: We report numerical results for the hydrodynamics of inhomogeneous lyotropic and extensile active nematic gels. By simulating the coupled Cahn-Hilliard, Navier-Stokes, and Beris-Edwards equation for the evolution of the composition, flow and orientational order of an active nematic, we ask whether composition variations are important to determine its emergent physics. As in active gels of uniform composition, we find that increasing either activity or nematic tendency (e.g., overall active matter concentration) triggers a transition between an isotropic passive phase and an active nematic one. We show that composition inhomogeneities are important in the latter phase, where we find three types of possible dynamical regimes. First, we observe regular patterns with defects and vortices: these exist close to the passive-active transition. Second, for larger activity, or deeper in the nematic phase, we find active turbulence, as in active gels of uniform composition, but with exceedingly large composition variation. In the third regime, which is uniquely associated with inhomogeneity and occurs for large nematic tendency and low activity, we observe spontaneous microphase separation into active and passive domains. The microphase separated regime is notable in view of the absence of an explicit demixing term in the underlying free energy which we use, and we provide a theoretical analysis based on the common tangent construction which explains its existence. We hope this regime can be probed experimentally in the future.


title: Unsupervised Domain Adaptation via Style-Aware Self-intermediate Domain

abstract: Unsupervised domain adaptation (UDA) has attracted considerable attention, which transfers knowledge from a label-rich source domain to a related but unlabeled target domain. Reducing inter-domain differences has always been a crucial factor to improve performance in UDA, especially for tasks where there is a large gap between source and target domains. To this end, we propose a novel style-aware feature fusion method (SAFF) to bridge the large domain gap and transfer knowledge while alleviating the loss of class-discriminative information. Inspired by the human transitive inference and learning ability, a novel style-aware self-intermediate domain (SSID) is investigated to link two seemingly unrelated concepts through a series of intermediate auxiliary synthesized concepts. Specifically, we propose a novel learning strategy of SSID, which selects samples from both source and target domains as anchors, and then randomly fuses the object and style features of these anchors to generate labeled and style-rich intermediate auxiliary features for knowledge transfer. Moreover, we design an external memory bank to store and update specified labeled features to obtain stable class features and class-wise style features. Based on the proposed memory bank, the intra- and inter-domain loss functions are designed to improve the class recognition ability and feature compatibility, respectively. Meanwhile, we simulate the rich latent feature space of SSID by infinite sampling and the convergence of the loss function by mathematical theory. Finally, we conduct comprehensive experiments on commonly used domain adaptive benchmarks to evaluate the proposed SAFF, and the experimental results show that the proposed SAFF can be easily combined with different backbone networks and obtain better performance as a plug-in-plug-out module.


title: Impact of COVID-19 on human mobility and retail sales in the US

abstract: Due to the COVID-19 pandemic, governments had to rapidly implement lockdown policies that restricted human mobility to suppress the spread of the disease and reduce mortality. Because of the movement restrictions resulting from government responses to the pandemic, US retail sales declined by -22% in April 2020 compared to the previous year. This study looks at the stringency of government policies, mobility patterns, and implied compliance levels. The relationships between these variables and the influence on retail sales serve to understand past human behavior and prepare for future pandemics. Retail losses varied dramatically across the US states, from -1.6% in Mississippi to -38.9% in Hawaii. States in the west and northeast were most affected, while those in the south were relatively resilient. Regression was used to identify statistically significant state-level characteristics. The greatest losses occurred in states with a high percentage of Democrat voters in the 2020 Presidential Election and those with large populations. A 10% increase in the Democrat vote is associated with a 2.4% increase in retail sales loss. States with a high percentage of adults with less than a high school diploma were most resilient. The number of trips of less than one-mile per capita is defined as the mobility index as it has the greatest influence on retail sales, on average, across the US states. An increase of 10% in this mobility index is associated with a 4.6% increase in retail sales. All states were generally compliant and exhibited reduced mobility with increasing stringency. A rise of 1% in the stringency index is associated with a decline of 1% in the mobility index. States with a high percentage of Democrat voters, large populations, and located in the west tend to be most compliant. A 10% rise in the proportion of people voting Democrat is associated with a 5% increase in compliance.


title: Mass splitting and spin alignment for $\phi$ mesons in a magnetic field in NJL model

abstract: Based on the Nambu-Jona-Lasinio (NJL) model, we develop a framework for calculating the spin alignment of vector mesons and applied it to study $\phi$ mesons in a magnetic field. We calculate mass spectra for $\phi$ mesons and observe mass splitting between the longitudinally polarized state and transversely polarized states. The $\phi$ meson in a thermal equilibrium system is preferred to occupy the state with spin $\lambda=0$ than those with spin $\lambda=\pm1$, because the former state has a smaller energy. As a consequence, we conclude that the spin alignment will be larger than 1/3 if one measures along the direction of the magnetic field, which is qualitatively consistent with the recent STAR data. Around the critical temperature $T_{C}=150$ MeV, the positive deviation from 1/3 is proportional to the square of the magnetic field strength, which agrees with the result from the non-relativistic coalescence model. Including the anomalous magnetic moments for quarks will modify the dynamical masses of quarks and thus affect the mass spectra and spin alignment of $\phi$ mesons. The discussion of spin alignment in the NJL model may help us better understand the formation of hadron's spin structure during the chiral phase transition.


title: Induced Cycles and Paths Are Harder Than You Think

abstract: The goal of the paper is to give fine-grained hardness results for the Subgraph Isomorphism (SI) problem for fixed size induced patterns $H$, based on the $k$-Clique hypothesis that the current best algorithms for Clique are optimal. Our first main result is that for any pattern graph $H$ that is a {\em core}, the SI problem for $H$ is at least as hard as $t$-Clique, where $t$ is the size of the largest clique minor of $H$. This improves (for cores) the previous known results [Dalirrooyfard-Vassilevska W. STOC'20] that the SI for $H$ is at least as hard as $k$-clique where $k$ is the size of the largest clique {\em subgraph} in $H$, or the chromatic number of $H$ (under the Hadwiger conjecture). For detecting \emph{any} graph pattern $H$, we further remove the dependency of the result of [Dalirrooyfard-Vassilevska W. STOC'20] on the Hadwiger conjecture at the cost of a sub-polynomial decrease in the lower bound. The result for cores allows us to prove that the SI problem for induced $k$-Path and $k$-Cycle is harder than previously known. Previously [Floderus et al. Theor. CS 2015] had shown that $k$-Path and $k$-Cycle are at least as hard to detect as a $\lfloor k/2\rfloor$-Clique. We show that they are in fact at least as hard as $3k/4-O(1)$-Clique, improving the conditional lower bound exponent by a factor of $3/2$. Finally, we provide a new conditional lower bound for detecting induced $4$-cycles: $n^{2-o(1)}$ time is necessary even in graphs with $n$ nodes and $O(n^{1.5})$ edges.


title: The Best Decisions Are Not the Best Advice: Making Adherence-Aware Recommendations

abstract: Many high-stake decisions follow an expert-in-loop structure in that a human operator receives recommendations from an algorithm but is the ultimate decision maker. Hence, the algorithm's recommendation may differ from the actual decision implemented in practice. However, most algorithmic recommendations are obtained by solving an optimization problem that assumes recommendations will be perfectly implemented. We propose an adherence-aware optimization framework to capture the dichotomy between the recommended and the implemented policy and analyze the impact of partial adherence on the optimal recommendation. We show that overlooking the partial adherence phenomenon, as is currently being done by most recommendation engines, can lead to arbitrarily severe performance deterioration, compared with both the current human baseline performance and what is expected by the recommendation algorithm. Our framework also provides useful tools to analyze the structure and to compute optimal recommendation policies that are naturally immune against such human deviations, and are guaranteed to improve upon the baseline policy.


title: Nonlocal detection of interlayer three-magnon coupling

abstract: A leading nonlinear effect in magnonics is the interaction that splits a high-frequency magnon into two low-frequency ones with conserved linear momentum. Here, we report experimental observation of nonlocal three-magnon scattering between spatially separated magnetic systems, viz. a CoFeB nanowire and an yttrium iron garnet (YIG) thin film. Above a certain threshold power of an applied microwave field, a CoFeB Kittel magnon splits into a pair of counter-propagating YIG magnons that induce voltage signals in Pt electrodes on each side, in excellent agreement with model calculations based on the interlayer dipolar interaction. The excited YIG magnon pairs reside mainly in the first excited (n=1) perpdendicular standing spin-wave mode. With increasing power, the n=1 magnons successively scatter into nodeless (n=0) magnons through a four-magnon process. Our results help to assess non-local scattering processes in magnonic circuits that may enable quantum entanglement between distant magnons for quantum information applications.


title: SlateFree: a Model-Free Decomposition for Reinforcement Learning with Slate Actions

abstract: We consider the problem of sequential recommendations, where at each step an agent proposes some slate of $N$ distinct items to a user from a much larger catalog of size $K>>N$. The user has unknown preferences towards the recommendations and the agent takes sequential actions that optimise (in our case minimise) some user-related cost, with the help of Reinforcement Learning. The possible item combinations for a slate is $\binom{K}{N}$, an enormous number rendering value iteration methods intractable. We prove that the slate-MDP can actually be decomposed using just $K$ item-related $Q$ functions per state, which describe the problem in a more compact and efficient way. Based on this, we propose a novel model-free SARSA and Q-learning algorithm that performs $N$ parallel iterations per step, without any prior user knowledge. We call this method \texttt{SlateFree}, i.e. free-of-slates, and we show numerically that it converges very fast to the exact optimum for arbitrary user profiles, and that it outperforms alternatives from the literature.


title: Performance optimization and analysis of the unstructured Discontinuous Galerkin solver on multi-core and many-core architectures

abstract: The discontinuous Galerkin (DG) algorithm is a representative high order method in Computational Fluid Dynamics (CFD) area which possesses considerable mathematical advantages such as high resolution, low dissipation, and dispersion. However, DG is rather computationally intensive to demonstrate practical engineering problems. This paper discusses the implementation of our in-house practical DG application in three different programming models, as well as some optimization techniques, including grid renumbering and mixed precision to maximize the performance improvements in a single node system. The experiment on CPU and GPU shows that our CUDA, OpenACC, and OpenMP-based code obtains a maximum speedup of 42.9x, 35.3x, and 8.1x compared with serial execution by the original application, respectively. Besides, we systematically compare the programming models in two aspects: performance and productivity. Our empirical conclusions facilitate the programmers to select the right platform with a suitable programming model according to their target applications.


title: A new T-compatibility condition and its application to the discretization of the damped time-harmonic Galbrun's equation

abstract: We consider the approximation of weakly T-coercive operators. The main property to ensure the convergence thereof is the regularity of the approximation (in the vocabulary of discrete approximation schemes). In a previous work the existence of discrete operators $T_n$ which converge to $T$ in a discrete norm was shown to be sufficient to obtain regularity. Although this framework proved usefull for many applications for some instances the former assumption is too strong. Thus in the present article we report a weaker criterium for which the discrete operators $T_n$ only have to converge point-wise, but in addition a weak T-coercivity condition has to be satisfied on the discrete level. We apply the new framework to prove the convergence of certain $H^1$-conforming finite element discretizations of the damped time-harmonic Galbrun's equation, which is used to model the oscillations of stars. A main ingredient in the latter analysis is the uniformly stable invertibility of the divergence operator on certain spaces, which is related to the topic of divergence free elements for the Stokes equation.


title: Critical neuronal avalanches in levels model under noisy drive

abstract: We consider a neuronal levels model that exhibits critical avalanches satisfying power-law distribution. The model has recently explained a change in the scaling exponent from 3/2 to 5/4, accounting for a change in the drive condition from no input to moderate strength, along with a relaxed separation of time-scale between drive and dissipation. To understand the robustness of the scaling features, we examine the effect of different noisy stimuli in the moderate input regime. Our tool of analysis is the scaling method. We compute scaling functions associated with the avalanche size distribution, revealing striking finite-size scaling. For a class of noisy drives, we find that the scaling exponent can take a value different from 5/4, with an explicit system size dependence of the distribution.


title: ScaleFace: Uncertainty-aware Deep Metric Learning

abstract: The performance of modern deep learning-based systems dramatically depends on the quality of input objects. For example, face recognition quality would be lower for blurry or corrupted inputs. However, it is hard to predict the influence of input quality on the resulting accuracy in more complex scenarios. We propose an approach for deep metric learning that allows direct estimation of the uncertainty with almost no additional computational cost. The developed \textit{ScaleFace} algorithm uses trainable scale values that modify similarities in the space of embeddings. These input-dependent scale values represent a measure of confidence in the recognition result, thus allowing uncertainty estimation. We provide comprehensive experiments on face recognition tasks that show the superior performance of ScaleFace compared to other uncertainty-aware face recognition approaches. We also extend the results to the task of text-to-image retrieval showing that the proposed approach beats the competitors with significant margin.


title: Semi-Supervised Domain Adaptation by Similarity based Pseudo-label Injection

abstract: One of the primary challenges in Semi-supervised Domain Adaptation (SSDA) is the skewed ratio between the number of labeled source and target samples, causing the model to be biased towards the source domain. Recent works in SSDA show that aligning only the labeled target samples with the source samples potentially leads to incomplete domain alignment of the target domain to the source domain. In our approach, to align the two domains, we leverage contrastive losses to learn a semantically meaningful and a domain agnostic feature space using the supervised samples from both domains. To mitigate challenges caused by the skewed label ratio, we pseudo-label the unlabeled target samples by comparing their feature representation to those of the labeled samples from both the source and target domains. Furthermore, to increase the support of the target domain, these potentially noisy pseudo-labels are gradually injected into the labeled target dataset over the course of training. Specifically, we use a temperature scaled cosine similarity measure to assign a soft pseudo-label to the unlabeled target samples. Additionally, we compute an exponential moving average of the soft pseudo-labels for each unlabeled sample. These pseudo-labels are progressively injected or removed) into the (from) the labeled target dataset based on a confidence threshold to supplement the alignment of the source and target distributions. Finally, we use a supervised contrastive loss on the labeled and pseudo-labeled datasets to align the source and target distributions. Using our proposed approach, we showcase state-of-the-art performance on SSDA benchmarks - Office-Home, DomainNet and Office-31.


title: PromptAttack: Prompt-based Attack for Language Models via Gradient Search

abstract: As the pre-trained language models (PLMs) continue to grow, so do the hardware and data requirements for fine-tuning PLMs. Therefore, the researchers have come up with a lighter method called \textit{Prompt Learning}. However, during the investigations, we observe that the prompt learning methods are vulnerable and can easily be attacked by some illegally constructed prompts, resulting in classification errors, and serious security problems for PLMs. Most of the current research ignores the security issue of prompt-based methods. Therefore, in this paper, we propose a malicious prompt template construction method (\textbf{PromptAttack}) to probe the security performance of PLMs. Several unfriendly template construction approaches are investigated to guide the model to misclassify the task. Extensive experiments on three datasets and three PLMs prove the effectiveness of our proposed approach PromptAttack. We also conduct experiments to verify that our method is applicable in few-shot scenarios.


title: Possible origin of HADES data on proton number fluctuations in Au+Au collisions

abstract: Recent data of the HADES Collaboration in Au+Au central collisions at $\sqrt{s_{\rm NN}}=2.4$ GeV indicate large proton number fluctuations inside one unit of rapidity around midrapidity. This can be a signature of critical phenomena due to the strong attractive interactions between baryons. We study an alternative hypothesis that these large fluctuations are caused by the event-by-event fluctuations of the number of bare protons, and no interactions between these protons are assumed. The proton number fluctuations in five symmetric rapidity intervals $\Delta y$ inside the region $\Delta Y=1$ are calculated using the binomial acceptance procedure. This procedure assumes the independent (uncorrelated) emission of protons, and it appears to be in agreement with the HADES data. To check this simple picture we suggest to calculate the correlation between proton multiplicities in non-overlapping rapidity intervals $\Delta y_1$ and $\Delta y_2$ placed inside $\Delta Y=1$.


title: Smoke on the wind: dust nucleation in archetype colliding wind pinwheel WR104

abstract: A handful of binary Wolf-Rayet stars are known to harbour spectacular spiral structures spanning a few hundred AU. These systems host some of the highest dust production rates in the Universe and are therefore interesting candidates to address the origin of the enigmatic dust excess observed across galactic evolution. The substantial interaction between the winds of the Wolf-Rayet star and its companion constitutes a unique laboratory to study the mechanisms of dust nucleation in a hostile environment. Using the grid-based $\texttt{RAMSES}$ code, we investigate this problem by performing a 3D hydrodynamic simulation of the inner region of the prototypical spiral nebula around WR104. We then process the $\texttt{RAMSES}$ results using the radiative transfer code $\texttt{RADMC3d}$ to generate a candidate observable scene. This allows us to estimate the geometrical parameters of the shocked region. We link those quantities to the specific chemical pathway for dust nucleation, where the hydrogen-rich companion's wind catalyses dust formation. The scaling laws we derive constitute a unique tool that can be directly compared to observations. Depending on the dust nucleation locus, the velocity field reveals a differential wind speed. Thus, the initial dust speed could be more balanced between the speeds of the two stellar winds ($\sim$1600 km/s). With $\texttt{RADMC3d}$, we provide constraints on the dust nucleation radius for different combinations of dust-to-gas ratio, hydrogen enrichment and dust grain properties. Finally, our models reveal that dust may escape beyond the boundaries of the spiral due to hydrodynamical instabilities in the wind collision zone.


title: Explaining the optimistic performance evaluation of newly proposed methods: a cross-design validation experiment

abstract: The constant development of new data analysis methods in many fields of research is accompanied by an increasing awareness that these new methods often perform better in their introductory paper than in subsequent comparison studies conducted by other researchers. We attempt to explain this discrepancy by conducting a systematic experiment that we call "cross-design validation of methods". In the experiment, we select two methods designed for the same data analysis task, reproduce the results shown in each paper, and then re-evaluate each method based on the study design (i.e., data sets, competing methods, and evaluation criteria) that was used to show the abilities of the other method. We conduct the experiment for two data analysis tasks, namely cancer subtyping using multi-omic data and differential gene expression analysis. Three of the four methods included in the experiment indeed perform worse when they are evaluated on the new study design, which is mainly caused by the different data sets. Apart from illustrating the many degrees of freedom existing in the assessment of a method and their effect on its performance, our experiment suggests that the performance discrepancies between original and subsequent papers may not only be caused by the non-neutrality of the authors proposing the new method but also by differences regarding the level of expertise and field of application.


title: A Formal Theory of Choreographic Programming

abstract: Choreographic programming is a paradigm for writing coordination plans for distributed systems from a global point of view, from which correct-by-construction decentralised implementations can be generated automatically. Theory of choreographies typically includes a number of complex results that are proved by structural induction. The high number of cases and the subtle details in some of these proofs has led to important errors being found in published works. In this work, we formalise the theory of a choreographic programming language in Coq. Our development includes the basic properties of this language, a proof of its Turing completeness, a compilation procedure to a process language, and an operational characterisation of the correctness of this procedure. Our formalisation experience illustrates the benefits of using a theorem prover: we get both an additional degree of confidence from the mechanised proof, and a significant simplification of the underlying theory. Our results offer a foundation for the future formal development of choreographic languages.


title: Elementary excitations of dipolar Tonks-Girardeau droplets

abstract: One-dimensional bosonic gas with strong contact repulsion and attractive dipolar interactions may form a quantum droplet with flat-top density profile. Employing effective, hydrodynamic description of the system, we study elementary excitations characterizing response of a droplet to small perturbation. The excitation spectrum consists of two families: phononic-like excitations inside droplets and the scattering modes. Analysis within the linearized regime is supplemented with the full, nonlinear dynamics of small perturbations. Our study focuses mainly on the regime of infinite contact repulsion and tight transversal harmonic confinement, where there are analytic formulas for the density profiles. Moreover, we propose a simplified analytic ansatz suitable to work also outside this regime, provided the gas is in the deep flat-top region of density profiles.


title: Event-Triggered l2-Optimal Formation Control with State-Estimation for Agents Modeled as LPV Systems

abstract: This paper proposes a distributed scheme with different estimators for the event-triggered formation control of polytopic homogeneously scheduled linear parameter-varying (LPV) multi-agent systems (MAS). Each agent consists of a time-triggered inner feedback loop and a larger event-triggered outer feedback loop to track a formation reference signal and reject input and output noise. If a local event-trigger condition is violated, the event-triggered outer feedback loop is closed through the communication network. The event-trigger condition is only based on locally available information. To design the controller, a synthesis problem is formulated as a linear matrix inequality of the size of a single agent under the assumption, that local estimators trigger intercommunication events with neighboring agents if the event-trigger condition is violated. The design procedure guarantees stability and bounded l2-performance. Furthermore, the estimators are interchangeable for a given controller. We compare in simulation zero-order hold, open-loop estimation, and closed-loop estimation strategies. Simulation trials are carried out with non-holonomic dynamic unicycles modeled as polytopic LPV systems.


title: Quantifying nanoscale charge density features of contact-charged surfaces with an FEM/KPFM-hybrid approach

abstract: Kelvin probe force microscopy (KPFM) is a powerful tool for studying contact electrification at the nanoscale, but converting KPFM voltage maps to charge density maps is non-trivial due to long-range forces and complex system geometry. Here we present a strategy using finite element method (FEM) simulations to determine the Green's function of the KPFM probe/insulator/ground system, which allows us to quantitatively extract surface charge. Testing our approach with synthetic data, we find that accounting for the AFM tip, cone and cantilever are necessary to recover a known input, and that commonly applied heuristics and approximations lead to gross miscalculation. Applying it to experimental data, we demonstrate its capacity to extract realistic surface charge densities and fine details from contact charged surfaces. Our method gives a straightforward recipe to convert qualitative KPFM voltage data into quantitative charge data over a range of experimental conditions, enabling quantitative contact electrification experiments at the nanoscale.


title: A Simple Proof of the Riemann Hypothesis

abstract: In this article, it is proved that the non-trivial zeros of the Riemann zeta function must lie on the critical line, known as the Riemann hypothesis.


title: A Survey on Open-Source-Defined Wireless Networks: Framework, Key Technology, and Implementation

abstract: The realization of open-source-defined wireless networks in the telecommunication domain is accomplished through the fifth-generation network (5G). In contrast to its predecessors (3G and 4G), the 5G network can support a wide variety of heterogeneous use cases with challenging requirements from both the Internet and the Internet of Things (IoT). The future sixth-generation (6G) network will not only extend 5G capabilities but also innovate new functionalities to address emerging academic and engineering challenges. The research community has identified these challenges could be overcome by open-source-defined wireless networks, which is based on open-source software and hardware. In this survey, we present an overview of different aspects of open-source-defined wireless networks, comprising motivation, frameworks, key technologies, and implementation. We start by introducing the motivation and explore several frameworks with classification into three different categories: black-box, grey-box, and white-box. We review research efforts related to open-source-defined Core Network (CN), Radio Access Network (RAN), Multi-access Edge Computing (MEC), the capabilities of security threats, open-source hardware, and various implementations, including testbeds. The last but most important in this survey, lessons learned, future research direction, open research issues, pitfalls, and limitations of existing surveys on open-source wireless networks are included to motivate and encourage future research.


title: Prediction of activity coefficients in water-methanol mixtures using a generalized Debye-Huckel model

abstract: We propose a generalized Debye-Huckel model from Poisson-Fermi theory to predict the mean activity coefficient of electrolytes in water-methanol mixtures with arbitrary percentage of methanol from 0 to 100%. The model applies to any number of ionic species and accounts for both short and long ion-ion, ion-water, ion-methanol, and water-methanol interactions, the size effect of all particles, and the dielectric effect of mixed-solvent solutions. We also present a numerical algorithm with mathematical and physical details for using the model to fit or predict experimental data. The model has only 3 empirical parameters to fit the experimental data of NaF, NaCl, and NaBr, for example, in pure-water solutions. It then uses another 3 parameters to predict the activities of these salts in mixed-solvent solutions for any percentage of methanol. Values of these parameters show mathematical or physical meaning of ionic activities under variable mixing condition and salt concentration. The algorithm can automatically determine optimal values for the 3 fitting parameters without any manual adjustments.


title: Generation and routing of nanoscale droplet solitons without compensation of magnetic damping

abstract: Magnetic droplet soliton is a localized dynamic spin state which can serve as a nanoscale information carrier and nonlinear oscillator. The present opinion is that the formation of droplet solitons requires the compensation of magnetic damping by a torque created by a spin-polarized electric current or pure spin current. Here we demonstrate theoretically that nanoscale droplet solitons can be generated and routed in ferromagnetic nanostructures with voltage-controlled magnetic anisotropy in the presence of uncompensated magnetic damping. Performing micromagnetic simulations for the MgO/Fe/MgO trilayer with almost perpendicular-to-plane magnetization, we reveal the formation of the droplet soliton under a nanoscale gate electrode subjected to a sub-nanosecond voltage pulse. The soliton lives up to 50 ns at room temperature and can propagate over micrometer distances in a ferromagnetic waveguide due to nonzero gradient of the demagnetizing field. Furthermore, we show that an electrical routing of the soliton to different outputs of a spintronic device can be realized with the aid of an additional semiconducting nanostripe electrode creating controllable gradient of the perpendicular magnetic anisotropy.


title: Write Me and I'll Tell You Secrets -- Write-After-Write Effects On Intel CPUs

abstract: There is a long history of side channels in the memory hierarchy of modern CPUs. Especially the cache side channel is widely used in the context of transient execution attacks and covert channels. Therefore, many secure cache architectures have been proposed. Most of these architectures aim to make the construction of eviction sets infeasible by randomizing the address-to-cache mapping. In this paper, we investigate the peculiarities of write instructions in recent CPUs. We identify Write+Write, a new side channel on Intel CPUs that leaks whether two addresses contend for the same cache set. We show how Write+Write can be used for rapid construction of eviction sets on current cache architectures. Moreover, we replicate the Write+Write effect in gem5 and demonstrate on the example of ScatterCache how it can be exploited to efficiently attack state-of-the-art cache randomization schemes. In addition to the Write+Write side channel, we show how Write-After-Write effects can be leveraged to efficiently synchronize covert channel communication across CPU cores. This yields the potential for much more stealthy covert channel communication than before.


title: Forward-Mode Automatic Differentiation of Compiled Programs

abstract: Algorithmic differentiation (AD) is a set of techniques that provide partial derivatives of computer-implemented functions. Such a function can be supplied to state-of-the-art AD tools via its source code, or via an intermediate representation produced while compiling its source code. We present the novel AD tool Derivgrind, which augments the machine code of compiled programs with forward-mode AD logic. Derivgrind leverages the Valgrind instrumentation framework for a structured access to the machine code, and a shadow memory tool to store dot values. Access to the source code is required at most for the files in which input and output variables are defined. Derivgrind's versatility comes at the price of scaling the run-time by a factor between 30 and 75, measured on a benchmark based on a numerical solver for a partial differential equation. Results of our extensive regression test suite indicate that Derivgrind produces correct results on GCC- and Clang-compiled programs, including a Python interpreter, with a small number of exceptions. While we provide a list of scenarios that Derivgrind does not handle correctly, nearly all of them are academic counterexamples or originate from highly optimized math libraries. As long as differentiating those is avoided, Derivgrind can be applied to an unprecedentedly wide range of cross-language or partially closed-source software with little integration efforts.


title: Girth of the algebraic bipartite graph $D(k,q)$

abstract: For integer $k\geq2$ and prime power $q$, the algebraic bipartite graph $D(k,q)$ proposed by Lazebnik and Ustimenko (1995) is meaningful not only in extremal graph theory but also in coding theory and cryptography. This graph is $q$-regular, edge-transitive and of girth at least $k+4$. Its exact girth $g=g(D(k,q))$ was conjectured in 1995 to be $k+5$ for odd $k$ and $q\geq4$. This conjecture was shown to be valid in 2016 when $\frac{k+5}{2}|_p(q-1)$, where $p$ is the characteristic of $\mathbb{F}_q$ and $m|_pn$ means that $m$ divides $p^r n$ for some nonnegative integer $r$. In this paper, for $t\geq 1$ we prove that (a) $g(D(4t+2,q))=g(D(4t+1,q))$; (b) $g(D(4t+3,q))=4t+8$ if $g(D(2t,q))=2t+4$; (c) $g(D(8t,q))=8t+4$ if $g(D(4t-2,q))=4t+2$; (d) $g(D(2^{s+2}(2t-1)-5,q))=2^{s+2}(2t-1)$ if $p\geq 3$, $(2t-1)|_p(q-1)$ and $2^s\|(q-1)$. A simple upper bound for the girth of $D(k,q)$ is proposed in the end of this paper.


title: On the conjugation action for quantum general linear groups

abstract: We consider the conjugation action of a quantum group over an arbitrary field. In particular we consider the coordinate algebra of a quantised general linear group G(n), at an arbitrary nonzero parameter q, and give analogues of results of Kostant and Richardson


title: Minimal subharmonic functions and related integral representations

abstract: A Choquet-type integral representation result for non-negative subharmonic functions of a one-dimensional regular diffusion is established. The representation allows in particular an integral equation for strictly positive subharmonic functions that is driven by the Revuz measure of the associated continuous additive functional. Moreover, via the aforementioned integral equation, one can construct an {\em \Ito-Watanabe pair} $(g,A)$ that consist of a subharmonic function $g$ and a continuous additive functional $A$ is with Revuz measure $\mu_A$ such that $g(X)\exp(-A)$ is a local martingale. Changes of measures associated with \Ito-Watanabe pairs are studied and shown to modify the long term behaviour of the original diffusion process to exhibit transience.


title: Sensitivity to Heavy Neutral Leptons with the SAND detector at the DUNE ND complex

abstract: Heavy Neutral Leptons (HNLs) have been an interesting topic for experimental particle physics in the past few years. A study has been performed within the framework of the multi-instrument DUNE near detector complex, specifically regarding the on-Axis System, to assess the sensitivity to HNL within six years of exposure. By utilizing two MC generators, and charmed heavy meson decay channels, the sensitivity to HNL masses between 0.3 and 1.8 GeV/$c^2$ has been explored. A Mad-Graph/Mad-Dump model has been implemented based on the $\nu MSM$ Lagrangian, and used to obtain accurate kinematics for the decay of mesons and HNL. The simulated final-state particles have been propagated through the detector; a track reconstruction algorithm, based on the Kalman Filter technique, along with a simple two-body decay selection, is implemented to estimate efficiency and background rejection. The HNL sensitivity has been estimated both from purely phenomenological as well as experimental point of view, reaching O($10^{-9}$) for higher HNL masses, with about a factor 3 deterioration between the phenomenological and the experimental case. In this paper, the results for direct and indirect decay channels of charmed meson $D_s$ to HNL has been investigated and the potential for further improvements has been discussed.


title: A Robust Learning Methodology for Uncertainty-aware Scientific Machine Learning models

abstract: Robust learning is an important issue in Scientific Machine Learning (SciML). There are several works in the literature addressing this topic. However, there is an increasing demand for methods that can simultaneously consider all the different uncertainty components involved in SciML model identification. Hence, this work proposes a comprehensive methodology for uncertainty evaluation of the SciML that also considers several possible sources of uncertainties involved in the identification process. The uncertainties considered in the proposed method are the absence of theory and causal models, the sensitiveness to data corruption or imperfection, and the computational effort. Therefore, it was possible to provide an overall strategy for the uncertainty-aware models in the SciML field. The methodology is validated through a case study, developing a Soft Sensor for a polymerization reactor. The results demonstrated that the identified Soft Sensor are robust for uncertainties, corroborating with the consistency of the proposed approach.


title: The Power of Uniform Sampling for Coresets

abstract: Motivated by practical generalizations of the classic $k$-median and $k$-means objectives, such as clustering with size constraints, fair clustering, and Wasserstein barycenter, we introduce a meta-theorem for designing coresets for constrained-clustering problems. The meta-theorem reduces the task of coreset construction to one on a bounded number of ring instances with a much-relaxed additive error. This reduction enables us to construct coresets using uniform sampling, in contrast to the widely-used importance sampling, and consequently we can easily handle constrained objectives. Notably and perhaps surprisingly, this simpler sampling scheme can yield coresets whose size is independent of $n$, the number of input points. Our technique yields smaller coresets, and sometimes the first coresets, for a large number of constrained clustering problems, including capacitated clustering, fair clustering, Euclidean Wasserstein barycenter, clustering in minor-excluded graph, and polygon clustering under Fr\'{e}chet and Hausdorff distance. Finally, our technique yields also smaller coresets for $1$-median in low-dimensional Euclidean spaces, specifically of size $\tilde{O}(\varepsilon^{-1.5})$ in $\mathbb{R}^2$ and $\tilde{O}(\varepsilon^{-1.6})$ in $\mathbb{R}^3$.


title: Non-existence of a universal zero entropy system via generic actions of almost complete growth

abstract: We prove that a generic p.m.p. action of a countable amenable group $G$ has scaling entropy that can not be dominated by a given rate of growth. As a corollary, we obtain that there does not exist a topological action of $G$ for which the set of ergodic invariant measures coincides with the set of all ergodic p.m.p. $G$-systems of entropy zero. We also prove that a generic action of a residually finite amenable group has scaling entropy that can not be bounded from below by a given sequence. We also show an example of an amenable group that has such lower bound for every free p.m.p. action.


title: Superconductivity and magnetism in compressed actinium-beryllium-hydrogen alloys

abstract: The discovery of new high-temperature superconductors is one of the most critical problems in materials, chemistry, and physics. This work systematically investigates fluorite-like structures of XBeH8 (X is Ac, Th, Pa, U, and Np) to gain physical insight into the pressure effects on the properties. Our results reveal that AcBeH8 and ThBeH8 are two potential high-temperature superconductors, where AcBeH8 reaching a superconducting transition temperature of 284.11 K at 150 GPa and even a value of 203.29 K at 50 GPa, ThBeH8 has Tc is 217.65 K at 200 GPa, and the predicted results provide strong candidates for achieving high temperature or even room temperature superconductivity. The analysis of pressure effects demonstrates unusual charge transfer and atomic structure in the system, with s-f migration in Ac/Th atoms and s-p migration in Be atoms, similar to the high-pressure behavior of alkaline earth metals. In the past long time, superconductivity and magnetism were considered unable to coexist. However, UBeH8 and NpBeH8 are two potential magnetic superconductors with maximum Tc of 60.70 and 107.18 K at 100 and 350 GPa, respectively, and Hubbard U calculations predict their magnetic moments with 1.52 to 1.90 and 2.49 to 2.92 muB at 0 K. The coexistence of magnetic and superconducting states may be attributed to the different sublattice actions.


title: Optically driven rotation of exciton-polariton condensates

abstract: The rotational response of quantum condensed fluids is strikingly distinct from rotating classical fluids, especially notable for the excitation and ordering of quantized vortex ensembles. Although widely studied in conservative systems, the dynamics of rotating open-dissipative superfluids such as exciton-polariton condensates remain largely unexplored, as it requires high-frequency rotation whilst avoiding resonantly driving the condensate. We create a rotating polariton condensate at GHz frequencies by off-resonantly pumping with a rotating optical stirrer composed of the time-dependent interference of two frequency-offset, structured laser modes. Acquisition of angular momentum exceeding the critical $1\hbar$/particle is directly measured, accompanied by the deterministic nucleation and capture of quantized vortices with a handedness controlled by the pump rotation direction. The demonstration of controlled optical rotation of a spontaneously formed polariton condensate enables new opportunities for the study of open-dissipative superfluidity, ordering of non-Hermitian quantized vortex matter, and topological states in a highly non-linear, photonic platform.


title: Glassy atomic vibrations and blurry electronic structures created by local structural disorders in high-entropy metal telluride superconductors

abstract: The motivation of this work is our recent observation of the robustness of superconductivity in a High-entropy (HE) superconductor Ag0.2In0.2Sn0.2Pb0.2Bi0.2Te (CsCl-type) to external pressure. The superconducting transition temperature (Tc) of Ag0.2In0.2Sn0.2Pb0.2Bi0.2Te is almost constant with pressure, described as robustness of superconductivity to pressure, whereas the PbTe with zero configurational entropy of mixing exhibits a clear decrease in Tc with pressure. Here, we investigated the atomic displacement parameters (Uiso), the atomic-vibration characteristics, and the electronic states of metal tellurides (MTe) with various configurational entropy of mixing (DSmix) at the M site. The Uiso for the M site is clearly increased by M-site alloying with DSmix > 1.1R, which is the evidence of local disorder introduced by the increase in DSmix via the solution of three or more M elements. The revealed vibrational density of states (DOS) shows a remarkable broadening with DSmix > 1.1R, which indicates glassy characteristics of atomic vibration in HE MTe with a NaCl-type structure (low-pressure phase). On the electronic states of the CsCl-type (high-pressure) phases, where the robustness of Tc is observed, blurry electronic band structure appears with increasing DSmix, which indicates the evolution of blurry (glassy) electronic states in HE MTe with the CsCl-type structure. The estimated electronic DOS at Fermi energy cannot explain the changes in Tc for HE MTe when assuming conventional electron-phonon superconductivity, but the conventional explanation seems to work for PbTe. Therefore, the pairing mechanisms in MTe with DSmix > 1.1R are affected by glassy phonon and/or blurry electronic states in MTe, and the robustness of superconductivity would be originating from unique electron-phonon coupling.


title: Deciding a Graph Property by a Single Mobile Agent: One-Bit Memory Suffices

abstract: We investigate the computational power of the deterministic single-agent model where the agent and each node are equipped with a limited amount of persistent memory. Tasks are formalized as decision problems on properties of input graphs, i.e., the task is defined as a subset $\mathcal{T}$ of all possible input graphs, and the agent must decide if the network belongs to $\mathcal{T}$ or not. We focus on the class of the decision problems which are solvable in a polynomial number of movements, and polynomial-time local computation. The contribution of this paper is the computational power of the very weak system with one-bit agent memory and $O(1)$-bit storage (i.e. node memory) is equivalent to the one with $O(n)$-bit agent memory and $O(1)$-bit storage. We also show that the one-bit agent memory is crucial to lead this equivalence: There exists a decision task which can be solved by the one-bit memory agent but cannot be solved by the zero-bit memory (i.e., oblivious) agent. Our result is deduced by the algorithm of simulating the $O(n)$-bit memory agent by the one-bit memory agent with polynomial-time overhead, which is developed by two novel technical tools. The first one is a dynamic $s$-$t$ path maintenance mechanism which uses only $O(1)$-bit storage per node. The second one is a new lexicographically-ordered DFS algorithm for the mobile agent system with $O(1)$-bit memory and $O(1)$-bit storage per node. These tools are of independent interest.


title: On the Poincar\'{e} functional equation

abstract: In this paper, a formula for the solution of the Poincar\'{e} functional equation in algebra of formal power series and its application to continuous iteration are presented.


title: Ensemble of Pre-Trained Neural Networks for Segmentation and Quality Detection of Transmission Electron Microscopy Images

abstract: Automated analysis of electron microscopy datasets poses multiple challenges, such as limitation in the size of the training dataset, variation in data distribution induced by variation in sample quality and experiment conditions, etc. It is crucial for the trained model to continue to provide acceptable segmentation/classification performance on new data, and quantify the uncertainty associated with its predictions. Among the broad applications of machine learning, various approaches have been adopted to quantify uncertainty, such as Bayesian modeling, Monte Carlo dropout, ensembles, etc. With the aim of addressing the challenges specific to the data domain of electron microscopy, two different types of ensembles of pre-trained neural networks were implemented in this work. The ensembles performed semantic segmentation of ice crystal within a two-phase mixture, thereby tracking its phase transformation to water. The first ensemble (EA) is composed of U-net style networks having different underlying architectures, whereas the second series of ensembles (ER-i) are composed of randomly initialized U-net style networks, wherein each base learner has the same underlying architecture 'i'. The encoders of the base learners were pre-trained on the Imagenet dataset. The performance of EA and ER were evaluated on three different metrics: accuracy, calibration, and uncertainty. It is seen that EA exhibits a greater classification accuracy and is better calibrated, as compared to ER. While the uncertainty quantification of these two types of ensembles are comparable, the uncertainty scores exhibited by ER were found to be dependent on the specific architecture of its base member ('i') and not consistently better than EA. Thus, the challenges posed for the analysis of electron microscopy datasets appear to be better addressed by an ensemble design like EA, as compared to an ensemble design like ER.


title: The contribution of binary star formation via core-fragmentation on protostellar multiplicity

abstract: Observations of young multiple star systems find a bimodal distribution in companion frequency and separation. The origin of these peaks has often been attributed to binary formation via core and disc fragmentation. However, theory and simulations suggest that young stellar systems that form via core fragmentation undergo significant orbital evolution. We investigate the influence of the environment on the formation and orbital evolution of multiple star systems, and how core fragmentation contributes to the formation of close (20-100AU) binaries. We use multiple simulations of star formation in giant molecular clouds and compare them to the multiplicity statistics of the Perseus star-forming region. Simulations were run with the adaptive mesh refinement code RAMSES with sufficient resolution to resolve core fragmentation beyond 400AU and dynamical evolution down to 16.6AU, but without the possibility of resolving disc fragmentation. The evolution of the resulting stellar systems was followed over millions of years. We find that star formation in lower gas density environments is more clustered; however, despite this, the fractions of systems that form via dynamical capture and core fragmentation are broadly consistent at ~40\% and ~60\%, respectively. We then compared the simulation with the conditions most similar to the Perseus star-forming region to determine whether the observed bimodal distribution can be replicated. We find that it can be replicated, but it is sensitive to the evolutionary state of the simulation. Our results indicate that a significant number of low-mass close binaries with separations from 20-100AU can be produced via core fragmentation or dynamical capture due to efficient inspiral, without the need for a further contribution from disc fragmentation.


title: Bayesian Mixed-Frequency Quantile Vector Autoregression: Eliciting tail risks of Monthly US GDP

abstract: Timely characterizations of risks in economic and financial systems play an essential role in both economic policy and private sector decisions. However, the informational content of low-frequency variables and the results from conditional mean models provide only limited evidence to investigate this problem. We propose a novel mixed-frequency quantile vector autoregression (MF-QVAR) model to address this issue. Inspired by the univariate Bayesian quantile regression literature, the multivariate asymmetric Laplace distribution is exploited under the Bayesian framework to form the likelihood. A data augmentation approach coupled with a precision sampler efficiently estimates the missing low-frequency variables at higher frequencies under the state-space representation. The proposed methods allow us to nowcast conditional quantiles for multiple variables of interest and to derive quantile-related risk measures at high frequency, thus enabling timely policy interventions. The main application of the model is to nowcast conditional quantiles of the US GDP, which is strictly related to the quantification of Value-at-Risk and the Expected Shortfall.


title: Depletion of fossil fuel reserves and projections of CO$_2$ concentration in the Earth atmosphere

abstract: The paper has been suggested by two observations: 1) the atmospheric CO$_2$ growth rate is smaller than that ascribed to the emission of fossil fuels combustion, 2) the fossil fuel reserves are finite. The first observation has lead the way to a simple kinetic mode, based on the balance of 1) land/ocean CO$_2$ absorption and 2) CO$_2$ anthropogenic emission limited solely by depletion of the present day fossil-fuel reserves, in a business-as-usual scenario. The second observation has suggested to extrapolate past CO$_2$ emissions by fossil fuel combustion in the future years up to 2200 CE, by constraining emissions to the physical limits of reserves availability. The Meixner curve (hyperbolic secant distribution) has been used to model the pathway of resource exploitation for the three main classes of fossil fuels, crude oil, natural gas and coal. The kinetic model, driven by the extrapolated emissions, has been employed to project the CO$_2$ atmospheric concentration due to fossil fuel combustion close to the zero-reserve epoch. The result is just the output of simple models tuned on well-known experimental data. Error analysis of literature data provides the method robustness and the relevant uncertainty band. Contribution of other greenhouse gases like methane and nitrous oxide has been neglected, since their emissions cannot be projected with the paper methodology (they do not derive from fossil reserves). Notwithstanding this limitation, paper results clearly demonstrate that some of the IPCC projections of the CO$_2$ concentration are largely overestimated if compared to the physical limits of fossil fuel exploitation.


title: Non-Ising domain walls in c-phase ferroelectric lead titanate thin films

abstract: Ferroelectrics are technologically important, with wide application in micromechanical systems, nonlinear optics, and information storage. Recent discoveries of exotic polarisation textures in these materials, which can strongly influence their properties, have brought to the forefront questions about the nature of their domain walls -- long believed to be primarily Ising, with locally null polarisation. Here, combining three complementary techniques -- second harmonic generation microscopy, piezoresponse force microscopy, and transmission electron microscopy - to cover all the relevant lengthscales, we reveal the N\'eel character (non-Ising polarisation oriented perpendicular to the wall) of 180{\deg} domain walls in c-phase tetragonal ferroelectric lead titanate epitaxial thin films, for both artificial and intrinsic domains at room temperature. Furthermore, we show that variations in the domain density -- detected both optically and via local piezoresponse, then quantified by radial autocorrelation analysis -- can give us insight into the underlying defect potential present in these materials.


title: Spectral Properties of Transverse Laguerre-Gauss Modes in Parametric Down-Conversion

abstract: The first color photos of the parametric down-conversion (PDC) emission cone illustrate the correlation of longitudinal- and transverse momentum in the process, i.e., wavelength-dependent emission angle of PDC photons. However, current experiments and applications are more conveniently described in terms of discrete mode sets, with the most suitable choice depending on the propagation symmetries of the experimental setting. Remarkably, despite the fact that experiments with PDC sources are becoming ever more demanding, e.g. in terms of brightness or state fidelity, a description of spectral-spatial coupling in parametric downconversion for the case of discrete modal decompositions remains elusive. We present a comprehensive study, in theory and experiment, of the spectral dependence of the transverse Laguerre-Gauss modes in parametric downconversion. Moreover, we show how the spectral and spatial coupling can be harnessed to tune the purity of the well-known orbital angular momentum entanglement. This work has implications for efficient collection of entangled photons in a transverse single mode, quantum imaging, and engineering pure states for high-dimensional quantum information processing.


title: Scene Text Recognition with Single-Point Decoding Network

abstract: In recent years, attention-based scene text recognition methods have been very popular and attracted the interest of many researchers. Attention-based methods can adaptively focus attention on a small area or even single point during decoding, in which the attention matrix is nearly one-hot distribution. Furthermore, the whole feature maps will be weighted and summed by all attention matrices during inference, causing huge redundant computations. In this paper, we propose an efficient attention-free Single-Point Decoding Network (dubbed SPDN) for scene text recognition, which can replace the traditional attention-based decoding network. Specifically, we propose Single-Point Sampling Module (SPSM) to efficiently sample one key point on the feature map for decoding one character. In this way, our method can not only precisely locate the key point of each character but also remove redundant computations. Based on SPSM, we design an efficient and novel single-point decoding network to replace the attention-based decoding network. Extensive experiments on publicly available benchmarks verify that our SPDN can greatly improve decoding efficiency without sacrificing performance.


title: Coherency for monoids and purity for their acts

abstract: This article examines the three-way relationship between right coherency of a monoid $S$, solutions of equations over $S$-acts, and injectivity properties of $S$-acts. A monoid $S$ is right coherent if every finitely generated subact of every finitely presented (right) $S$-act itself has a finite presentation. Purity properties of an $S$-act $A$ may either be expressed in terms of solutions in $A$ of certain consistent sets of equations over $A$, or in terms of injectivity properties. For example, an $S$-act $A$ is absolutely pure (almost pure) if every finite consistent set of equations over $A$ (in one variable) has a solution in $A$. Equivalently, $A$ is absolutely pure (almost pure) if it is injective with respect to inclusions of finitely generated subacts into finitely presented (monogenic finitely presented) $S$-acts. Our first main result shows that for a right coherent monoid $S$ the classes of almost pure and absolutely pure $S$-acts coincide. Our second main result is that a monoid $S$ is right coherent if and only if the classes of mfp-pure and absolutely pure $S$-acts coincide: an $S$-act is mfp-pure if it is injective with respect to inclusions of finitely presented subacts into monogenic finitely presented $S$-acts. We give specific examples of monoids $S$ that are not right coherent yet are such that the classes of almost pure and absolutely pure $S$-acts coincide. Finally we give a condition on a monoid $S$ for all almost pure $S$-acts to be absolutely pure in terms of finitely presented $S$-acts, their finitely generated subacts, and certain canonical extensions.


title: Different effects of external force fields on aging L\'{e}vy walk

abstract: Aging phenomena have been observed in numerous physical systems. Many statistical quantities depend on the aging time $t_a$ for aging anomalous diffusion processes. This paper pays more attention to how an external force field affects the aging L\'{e}vy walk. Based on the Langevin picture of L\'{e}vy walk and generalized Green-Kubo formula, we investigate the quantities which include the ensemble- and time-averaged mean-squared displacements in both weak aging $t_a\ll t$ and strong aging $t_a\gg t$ cases, and compare them to the quantities in the absence of any force field. Two typical force fields, constant force $F$ and time-dependent periodic force $F(t)=f_0\sin(\omega t)$, are considered for comparison. The generalized Einstein relation is also discussed in the case with constant force. We find that the constant force is the key of generating the aging phenomena and enhancing the diffusion behavior of aging L\'{e}vy walk, while the time-dependent periodic force is not. The different effects of the two kinds of forces on the aging phenomena of L\'{e}vy walk are verified by both theoretical analyses and numerical simulations.


title: Two-Spacecraft Detection of Short-period Decayless Kink Oscillations of Solar Coronal Loops

abstract: Decayless kink oscillations of an ensemble of loops are captured simultaneously by the High Resolution Imager (HRI) of the Extreme Ultraviolet Imager (EUI) and the Atmospheric Imaging Assembly (AIA) from 22:58 UT on 5 November to 00:27 UT on 6 November 2021. Oscillations are analysed by processing image sequences taken by the two instruments with a motion magnification technique. The analysed loops are around 51 Mm in length, and oscillate with short periods of 1-3 min (1.6 min in average) and displacement amplitudes of 27-83 km. The signals recorded by AIA are delayed by 66 s as compared to HRI, which coincides with the light travel time difference from the Sun to each instrument. After correction of this time difference, the cross-correlation coefficient between the signals from the two data varies from 0.82 to 0.97, indicating that they are well consistent. This work confirms that HRI sees the same oscillations as AIA, which is the necessary first step before proceeding to the detection of shorter time scales by EUI. In addition, our results indicate the robustness of the de-jittering procedure in the study of kink oscillations with HRI.


title: Waveguiding driven by the Pancharatnam-Berry phase

abstract: We theoretically and numerically investigate the properties of waveguides based on the Pancharatnam-Berry phase, obtained by a longitudinally periodic rotation of the optic axis in a transversely-twisted birefringent medium. In this paper we study the case where the period of the longitudinal modulation is chosen so that a net accumulation of geometric phase in propagation occurs. First, the interplay between different contributions to the optical potential is addressed. Second, a continuous evolution of the polarization structure of the quasi-modes is observed in the numerical simulations. We explain it by a combination of plane-wave-based models and gauge transformations. We discover that, beyond the longitudinal oscillations, the polarization of the quasi-mode also varies through its cross-section. The analogies with respect to charged particles moving in a magnetic field are outlined.


title: Recurrence rates for shifts of finite type

abstract: Let $\Sigma_{A}$ be a topologically mixing shift of finite type, let $\sigma:\Sigma_{A}\to\Sigma_{A}$ be the usual left-shift, and let $\mu$ be the Gibbs measure for a H\"{o}lder continuous potential that is not cohomologous to a constant. In this paper we study recurrence rates for the dynamical system $(\Sigma_{A},\sigma)$ that hold $\mu$-almost surely. In particular, given a function $\psi:\mathbb{N}\to \mathbb{N}$ we are interested in the following set $$R_{\psi}=\{{\texttt i}\in \Sigma_{A}:i_{n+1}\ldots i_{n+\psi(n)+1}=i_1\ldots i_{\psi(n)}\textrm{ for infinitely many }n\in\mathbb{N}\}.$$ We provide sufficient conditions for $\mu(R_{\psi})=1$ and sufficient conditions for $\mu(R_{\psi})=0$. As a corollary of these results, we discover a new critical threshold where the measure of $R_{\psi}$ transitions from zero to one. This threshold was previously unknown even in the special case of a non-uniform Bernoulli measure defined on the full shift. The proofs of our results combine ideas from Probability Theory and Thermodynamic Formalism. In our final section we apply our results to the study of dynamics on self-similar sets.


title: Entanglement-enhanced magnetic induction tomography

abstract: Magnetic induction tomography (MIT) is a sensing protocol, exploring conductive objects via their response to radio-frequency magnetic fields. MIT is used in nondestructive testing ranging from geophysics to medical applications. Atomic magnetometers, employed as MIT sensors, allow for significant improvement of the MIT sensitivity and for exploring its quantum limits. Here we report entanglement-enhanced MIT with an atomic magnetometer used as the sensing element. We generate an entangled and spin squeezed state of atoms of the sensor by stroboscopic quantum non-demolition measurement. We then utilize this spin state to demonstrate the improvement of one-dimensional MIT sensitivity beyond the standard quantum limit.


title: Multi-frequency PolSAR Image Fusion Classification Based on Semantic Interactive Information and Topological Structure

abstract: Compared with the rapid development of single-frequency multi-polarization SAR image classification technology, there is less research on the land cover classification of multifrequency polarimetric SAR (MF-PolSAR) images. In addition, the current deep learning methods for MF-PolSAR classification are mainly based on convolutional neural networks (CNNs), only local spatiality is considered but the nonlocal relationship is ignored. Therefore, based on semantic interaction and nonlocal topological structure, this paper proposes the MF semantics and topology fusion network (MF-STFnet) to improve MF-PolSAR classification performance. In MF-STFnet, two kinds of classification are implemented for each band, semantic information-based (SIC) and topological property-based (TPC). They work collaboratively during MF-STFnet training, which can not only fully leverage the complementarity of bands, but also combine local and nonlocal spatial information to improve the discrimination between different categories. For SIC, the designed crossband interactive feature extraction module (CIFEM) is embedded to explicitly model the deep semantic correlation among bands, thereby leveraging the complementarity of bands to make ground objects more separable. For TPC, the graph sample and aggregate network (GraphSAGE) is employed to dynamically capture the representation of nonlocal topological relations between land cover categories. In this way, the robustness of classification can be further improved by combining nonlocal spatial information. Finally, an adaptive weighting fusion (AWF) strategy is proposed to merge inference from different bands, so as to make the MF joint classification decisions of SIC and TPC. The comparative experiments show that MF-STFnet can achieve more competitive classification performance than some state-of-the-art methods.


title: Generalizations of Knotoids and Spatial Graphs

abstract: In 2010, Turaev introduced knotoids as a variation on knots that replaces the embedding of a circle with the embedding of a closed interval with two endpoints which here we call poles. We define generalized knotoids to allow arbitrarily many poles, intervals, and circles, each pole corresponding to any number of interval endpoints, including zero. This theory subsumes a variety of other related topological objects and introduces some particularly interesting new cases. We explore various analogs of knotoid invariants, including height, index polynomials, bracket polynomials and hyperbolicity. We further generalize to knotoidal graphs, which are a natural extension of spatial graphs that allow both poles and vertices.


title: A 3.8yr optical quasi-periodic oscillations in blue quasar SDSS J132144+033055 through combined light curves from CSS and ZTF

abstract: In the manuscript, a 3.8yr optical quasi-periodic oscillations (QPOs) is reported in blue quasar SDSS J132144+033055 (=\obj) at $z=0.269$, based on 16.3yr-long light curve from both CSS and ZTF directly described by a sinusoidal function. The 3.8yr QPOs can be confirmed through the Generalized Lomb-Scargle periodogram with confidence level higher than 5$\sigma$, through properties of the phase-folded light curve and the WWZ technique. Moreover, the collected Pan-STARRS light curves well follow the sinusoidal function described best fitting results to the CSS and ZTF light curves. The optical QPOs strongly indicate a central binary black hole (BBH) system in \obj, with expected space separation smaller than 0.018pc, through the estimated upper limit of total BH mass $3.3\times10^9{\rm M_\odot}$ through the correlation between BH mass and continuum luminosity. Meanwhile, we check disk precession applied to explain the optical QPOs. However, under the disk precession assumption, the determined optical emission regions from central BH have sizes about $37{\rm R_G}$ similar as the sizes $35{\rm R_G}$ of the expected NUV emission regions through the correlation between disk size and BH mass, indicating the disk precession is not preferred. And due to undetected radio emissions, jet precession can be ruled out. Furthermore, only 0.1\% probability can determined as the QPOs mis-detected through CAR process randomly created light curves related to intrinsic AGN activities, re-confirming the optical QPOs with significance level higher than 3$\sigma$. Therefore, combining long-term light curves from CSS and ZTF can lead to more QPOs candidates in the near future.


title: Determine the quantum numbers of $X(6900)$ from photon-photon fusion in ultra-peripheral heavy ion collisions

abstract: We study the production of the $X(6900)$ through the $J/\psi J/\psi$ decay channel in the ultra-peripheral heavy ion collisions at the LHC energy region. The potential quantum numbers of $X(6900)$ would be $0^{\pm +}$ and $2^{\pm+}$. We find that the transverse momentum and the polar angle distributions of $X(6900)$ can be used to distinguish these four potential quantum numbers. These typical distributions stem from the linearly polarized photon from the fast-moving nuclei and can be measured with the LHC experiments in further.


title: Strong tree properties, Kurepa trees, and guessing models

abstract: We investigate the generalized tree properties and guessing model properties introduced by Wei\ss\ and Viale, as well as natural weakenings thereof, studying the relationships among these properties and between these properties and other prominent combinatorial principles. We introduce a weakening of Viale and Wei\ss's Guessing Model Property, which we call the Almost Guessing Property, and prove that it provides an alternate formulation of the slender tree property in the same way that the Guessing Model Property provides and alternate formulation of the ineffable slender tree property. We show that instances of the Almost Guessing Property have sufficient strength to imply, for example, failures of square or the nonexistence of weak Kurepa trees. We show that these instances of the Almsot Guessing Property hold in the Mitchell model starting from a strongly compact cardinal and prove a number of other consistency results showing that certain implications between the principles under consideration are in general not reversible. In the process, we provide a new answer to a question of Viale by constructing a model in which, for all regular $\theta \geq \omega_2$, there are stationarily many $\omega_2$-guessing models $M \in \mathscr{P}_{\omega_2} H(\theta)$ that are not $\omega_1$-guessing models.


title: Invariance and hierarchy-equivalence

abstract: Two type structures are hierarchy-equivalent if they induce the same set of hierarchies of beliefs. This note shows that the behavioral implications of "cautious rationality and common cautious belief in cautious rationality" (Catonini and De Vito 2021) do not vary across hierarchy-equivalent type structures.


title: Gather -- a better way to codehack online

abstract: A virtual hands-on computer laboratory has been designed within the Gather online meeting platform. Gather's features such as spatial audio, private spaces and interactable objects offer scope for great improvements over currently used platforms, especially for small-group based teaching. We describe our experience using this virtual computer laboratory for a recent 'Python for Beginners' workshop held as part of the Software Sustainability Institute's 2022 Research Software Camp.


title: Multi-kink braneworld configurations in the scalar-tensor representation of $f(R,T)$ gravity

abstract: In this work we investigate the $f(R,T)$ brane in the scalar-tensor representation, where the solutions of the equations of motions for the source field engender topological defects with two-kink profiles. We use the first-order formalism to obtain analytical solutions for the source field of the brane and analyze how these solutions modify the structure of the auxiliary fields arising from the scalar-tensor representation of the theory. We found that when the model engenders two-kink solutions, the auxiliary fields are modified in order to allow for the appearance of an internal structure. In addition, the stability potential and zero mode also have their internal structure modified by two-kink solution.


title: Benchmarking the cosmological master equations

abstract: Master equations are commonly employed in cosmology to model the effect of additional degrees of freedom, treated as an "environment", onto a given "system". However, they rely on assumptions that are not necessarily satisfied in cosmology, where the environment may be out of equilibrium and the background is dynamical. In this work, we apply the master-equation program to a model that is exactly solvable, and which consists of two linearly coupled scalar fields evolving on a cosmological background. The light field plays the role of the system and the heavy field is the environment. By comparing the exact solution to the output of the master equation, we can critically assess its performance. We find that the master equation exhibits a set of "spurious" terms that explicitly depend on the initial conditions, and which arise as a consequence of working on a dynamical background. Although they cancel out in the perturbative limit of the theory (i.e. at leading orders in the interaction strength), they spoil resummation. However, when those terms are removed, the master equation performs impressively well to reproduce the power spectra and the amount of the decoherence of the light field, even in the strongly decohered regime. We conclude that master equations are able to perform late-time resummation, even though the system is far from the Markovian limit, provided spurious contributions are suppressed.


title: Growth of rare-earth monopnictide DySb single crystal by novel Self-flux method

abstract: This report presents a new synthesis protocol for the single crystal growth of rare earth monopnictide DySb by self-flux technique. A detailed structural, transport and magnetic characterization have been done using X-Ray diffraction (XRD), High resolution X-Ray diffraction (HRXRD), resistivity and magnetization measurements respectively. The Rietveld refinement of powder XRD pattern confirms that the grown crystal is in single phase and crystallizes in space group Fm3m(225) of rock-salt type crystal structure. HRXRD on cleaved crystal confirms the single crystalline nature while rocking curve analysis reveals the high quality of the grown crystal. Temperature dependent resistivity and magnetization measurements show a transition at 9.7K from paramagnetic (PM) to antiferromagnetic (AFM) state.


title: Isotope effect on the Casimir force

abstract: Isotopic dependence of the Casimir force is key to probing new physics and pushing novel technologies at the micro and nanoscale, but is largely unexplored. In 2002, an isotope effect of 10^(-4) was estimated for metals -- orders of magnitude beyond the experimental resolution. Here, by employing the Lifshitz theory, we reveal a significant isotope effect of over 10^(-1) for polar dielectrics. This effect arises from the isotope-mass-induced line shift of the zone-center optical phonons and is insensitive to the linewidth. We perform numerical analyses on both the imaginary and real-frequency axes, and derive analytical formulas for predicting the isotope effect.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.other physics.atom-ph quant-ph


title: Subject-independent trajectory prediction using pre-movement EEG during grasp and lift task

abstract: Brain-computer interface (BCI) systems can be utilized for kinematics decoding from scalp brain activation to control rehabilitation or power-augmenting devices. In this study, the hand kinematics decoding for grasp and lift task is performed in three-dimensional (3D) space using scalp electroencephalogram (EEG) signals. Twelve subjects from the publicly available database WAY-EEG-GAL, has been utilized in this study. In particular, multi-layer perceptron (MLP) and convolutional neural network-long short-term memory (CNN-LSTM) based deep learning frameworks are proposed that utilize the motor-neural information encoded in the pre-movement EEG data. Spectral features are analyzed for hand kinematics decoding using EEG data filtered in seven frequency ranges. The best performing frequency band spectral features has been considered for further analysis with different EEG window sizes and lag windows. Appropriate lag windows from movement onset, make the approach pre-movement in true sense. Additionally, inter-subject hand trajectory decoding analysis is performed using leave-one-subject-out (LOSO) approach. The Pearson correlation coefficient and hand trajectory are considered as performance metric to evaluate decoding performance for the neural decoders. This study explores the feasibility of inter-subject 3-D hand trajectory decoding using EEG signals only during reach and grasp task, probably for the first time. The results may provide the viable information to decode 3D hand kinematics using pre-movement EEG signals for practical BCI applications such as exoskeleton/exosuit and prosthesis.


title: Analysis of the Effect of Time Delay for Unmanned Aerial Vehicles with Applications to Vision Based Navigation

abstract: In this paper, we analyze the effect of time delay dynamics on controller design for Unmanned Aerial Vehicles (UAVs) with vision based navigation. Time delay is an inevitable phenomenon in cyber-physical systems, and has important implications on controller design and trajectory generation for UAVs. The impact of time delay on UAV dynamics increases with the use of the slower vision based navigation stack. We show that the existing models in the literature, which exclude time delay, are unsuitable for controller tuning since a trivial solution for minimizing an error cost functional always exists. The trivial solution that we identify suggests use of infinite controller gains to achieve optimal performance, which contradicts practical findings. We avoid such shortcomings by introducing a novel nonlinear time delay model for UAVs, and then obtain a set of linear decoupled models corresponding to each of the UAV control loops. The cost functional of the linearized time delay model of angular and altitude dynamics is analyzed, and in contrast to the delay-free models, we show the existence of finite optimal controller parameters. Due to the use of time delay models, we experimentally show that the proposed model accurately represents system stability limits. Due to time delay consideration, we achieved a tracking results of RMSE 5.01 cm when tracking a lemniscate trajectory with a peak velocity of 2.09 m/s using visual odometry (VO) based UAV navigation, which is on par with the state-of-the-art.


title: Spherical Induced Ensembles with Symplectic Symmetry

abstract: We consider the complex eigenvalues of the induced spherical Ginibre ensemble with symplectic symmetry and establish the local universality of these point processes along the real axis. We derive scaling limits of all correlation functions at regular points both in the strong and weak non-unitary regimes as well as at the origin having spectral singularity. A key ingredient of our proof is a derivation of a differential equation satisfied by the correlation kernels of the associated Pfaffian point processes, thereby allowing us to perform asymptotic analysis.


title: Forensicability Assessment of Questioned Images in Recapturing Detection

abstract: Recapture detection of face and document images is an important forensic task. With deep learning, the performances of face anti-spoofing (FAS) and recaptured document detection have been improved significantly. However, the performances are not yet satisfactory on samples with weak forensic cues. The amount of forensic cues can be quantified to allow a reliable forensic result. In this work, we propose a forensicability assessment network to quantify the forensicability of the questioned samples. The low-forensicability samples are rejected before the actual recapturing detection process to improve the efficiency of recapturing detection systems. We first extract forensicability features related to both image quality assessment and forensic tasks. By exploiting domain knowledge of the forensic application in image quality and forensic features, we define three task-specific forensicability classes and the initialized locations in the feature space. Based on the extracted features and the defined centers, we train the proposed forensic assessment network (FANet) with cross-entropy loss and update the centers with a momentum-based update method. We integrate the trained FANet with practical recapturing detection schemes in face anti-spoofing and recaptured document detection tasks. Experimental results show that, for a generic CNN-based FAS scheme, FANet reduces the EERs from 33.75% to 19.23% under ROSE to IDIAP protocol by rejecting samples with the lowest 30% forensicability scores. The performance of FAS schemes is poor in the rejected samples, with EER as high as 56.48%. Similar performances in rejecting low-forensicability samples have been observed for the state-of-the-art approaches in FAS and recaptured document detection tasks. To the best of our knowledge, this is the first work that assesses the forensicability of recaptured document images and improves the system efficiency.


title: MuCaSLAM: CNN-Based Frame Quality Assessment for Mobile Robot with Omnidirectional Visual SLAM

abstract: In the proposed study, we describe an approach to improving the computational efficiency and robustness of visual SLAM algorithms on mobile robots with multiple cameras and limited computational power by implementing an intermediate layer between the cameras and the SLAM pipeline. In this layer, the images are classified using a ResNet18-based neural network regarding their applicability to the robot localization. The network is trained on a six-camera dataset collected in the campus of the Skolkovo Institute of Science and Technology (Skoltech). For training, we use the images and ORB features that were successfully matched with subsequent frame of the same camera ("good" keypoints or features). The results have shown that the network is able to accurately determine the optimal images for ORB-SLAM2, and implementing the proposed approach in the SLAM pipeline can help significantly increase the number of images the SLAM algorithm can localize on, and improve the overall robustness of visual SLAM. The experiments on operation time state that the proposed approach is at least 6 times faster compared to using ORB extractor and feature matcher when operated on CPU, and more than 30 times faster when run on GPU. The network evaluation has shown at least 90% accuracy in recognizing images with a big number of "good" ORB keypoints. The use of the proposed approach allowed to maintain a high number of features throughout the dataset by robustly switching from cameras with feature-poor streams.


title: Supervised Contrastive Learning to Classify Paranasal Anomalies in the Maxillary Sinus

abstract: Using deep learning techniques, anomalies in the paranasal sinus system can be detected automatically in MRI images and can be further analyzed and classified based on their volume, shape and other parameters like local contrast. However due to limited training data, traditional supervised learning methods often fail to generalize. Existing deep learning methods in paranasal anomaly classification have been used to diagnose at most one anomaly. In our work, we consider three anomalies. Specifically, we employ a 3D CNN to separate maxillary sinus volumes without anomalies from maxillary sinus volumes with anomalies. To learn robust representations from a small labelled dataset, we propose a novel learning paradigm that combines contrastive loss and cross-entropy loss. Particularly, we use a supervised contrastive loss that encourages embeddings of maxillary sinus volumes with and without anomaly to form two distinct clusters while the cross-entropy loss encourages the 3D CNN to maintain its discriminative ability. We report that optimising with both losses is advantageous over optimising with only one loss. We also find that our training strategy leads to label efficiency. With our method, a 3D CNN classifier achieves an AUROC of 0.85 while a 3D CNN classifier optimised with cross-entropy loss achieves an AUROC of 0.66.


title: Phase-stabilized UV light at 267 nm through twofold second harmonic generation

abstract: Providing phase stable laser light is important to extend the interrogation time of optical clocks towards many seconds and thus achieve small statistical uncertainties. We report a laser system providing more than 50 uW phase-stabilized UV light at 267.4 nm for an aluminium ion optical clock. The light is generated by frequency-quadrupling a fibre laser at 1069.6 nm in two cascaded non-linear crystals, both in single-pass configuration. In the first stage, a 10 mm long PPLN waveguide crystal converts 1 W fundamental light to more than 0.2 W at 534.8 nm. In the following 50 mm long DKDP crystal, more than 50 uW of light at 267.4 nm are generated. An upper limit for the passive short-term phase stability has been measured by a beat-node measurement with an existing phase-stabilized quadrupling system employing the same source laser. The resulting fractional frequency instability of less than 5 x 10^-17 after 1 s supports lifetime-limited probing of the 27Al^+ clock transition, given a sufficiently stable laser source. A further improved stability of the fourth harmonic light is expected through interferometric path length stabilisation of the pump light by back-reflecting it through the entire setup and correcting for frequency deviations. The in-loop error signal indicates an electronically limited instability of 1 x 10^-18 at 1 s.


title: Incremental Permutation Feature Importance (iPFI): Towards Online Explanations on Data Streams

abstract: Explainable Artificial Intelligence (XAI) has mainly focused on static learning scenarios so far. We are interested in dynamic scenarios where data is sampled progressively, and learning is done in an incremental rather than a batch mode. We seek efficient incremental algorithms for computing feature importance (FI) measures, specifically, an incremental FI measure based on feature marginalization of absent features similar to permutation feature importance (PFI). We propose an efficient, model-agnostic algorithm called iPFI to estimate this measure incrementally and under dynamic modeling conditions including concept drift. We prove theoretical guarantees on the approximation quality in terms of expectation and variance. To validate our theoretical findings and the efficacy of our approaches compared to traditional batch PFI, we conduct multiple experimental studies on benchmark data with and without concept drift.