title: Self-supervised Multi-modal Training from Uncurated Image and Reports Enables Zero-shot Oversight Artificial Intelligence in Radiology

abstract: Oversight AI is an emerging concept in radiology where the AI forms a symbiosis with radiologists by continuously supporting radiologists in their decision-making. Recent advances in vision-language models sheds a light on the long-standing problems of the oversight AI by the understanding both visual and textual concepts and their semantic correspondences. However, there have been limited successes in the application of vision-language models in the medical domain, as the current vision-language models and learning strategies for photographic images and captions call for the web-scale data corpus of image and text pairs which was not often feasible in the medical domain. To address this, here we present a model dubbed Medical Cross-attention Vision-Language model (Medical X-VL), leveraging the key components to be tailored for the medical domain. Our medical X-VL model is based on the following components: self-supervised uni-modal models in medical domain and fusion encoder to bridge them, momentum distillation, sentence-wise contrastive learning for medical reports, and the sentence similarity-adjusted hard negative mining. We experimentally demonstrated that our model enables various zero-shot tasks for oversight AI, ranging from the zero-shot classification to zero-shot error correction. Our model outperformed the current state-of-the-art models in two different medical image database, suggesting the novel clinical usage of our oversight AI model for monitoring human errors. Our method was especially successful in the data-limited setting, which is frequently encountered in the clinics, suggesting the potential widespread applicability in medical domain.


title: Partial (co)actions of Taft and Nichols Hopf algebras on algebras

abstract: In this paper, we characterize suitable partial (co)actions of Taft and Nichols Hopf algebras on algebras, and moreover we get that such partial (co)actions are symmetric. For certain algebras, these partial (co)actions obtained are, indeed, all of them. This work generalizes the results obtained by the authors in \cite{taft_corpo_revista}.


title: Plug-and-Play Model-Agnostic Counterfactual Policy Synthesis for Deep Reinforcement Learning based Recommendation

abstract: Recent advances in recommender systems have proved the potential of Reinforcement Learning (RL) to handle the dynamic evolution processes between users and recommender systems. However, learning to train an optimal RL agent is generally impractical with commonly sparse user feedback data in the context of recommender systems. To circumvent the lack of interaction of current RL-based recommender systems, we propose to learn a general Model-Agnostic Counterfactual Synthesis (MACS) Policy for counterfactual user interaction data augmentation. The counterfactual synthesis policy aims to synthesise counterfactual states while preserving significant information in the original state relevant to the user's interests, building upon two different training approaches we designed: learning with expert demonstrations and joint training. As a result, the synthesis of each counterfactual data is based on the current recommendation agent's interaction with the environment to adapt to users' dynamic interests. We integrate the proposed policy Deep Deterministic Policy Gradient (DDPG), Soft Actor Critic (SAC) and Twin Delayed DDPG in an adaptive pipeline with a recommendation agent that can generate counterfactual data to improve the performance of recommendation. The empirical results on both online simulation and offline datasets demonstrate the effectiveness and generalisation of our counterfactual synthesis policy and verify that it improves the performance of RL recommendation agents.


title: Brieskorn spheres, cyclic group actions and the Milnor conjecture

abstract: In this paper we further develop the theory of equivariant Seiberg-Witten-Floer cohomology of the two authors, with an emphasis on Brieskorn homology spheres. We obtain the following applications. First, we show that the knot concordance invariants $\theta^{(c)}$ defined by the first author satisfy $\theta^{(c)}(T_{a,b}) = (a-1)(b-1)/2$ for torus knots, whenever $c$ is a prime not dividing $ab$. Since $\theta^{(c)}$ is a lower bound for the slice genus, this gives a new proof of the Milnor conjecture of a similar flavour to the proofs using the Ozsv\'ath-Szab\'o $\tau$-invariant or Rasmussen $s$-invariant. Second, we prove that a free cyclic group action on a Brieskorn homology $3$-sphere $Y = \Sigma(a_1 , \dots , a_r)$ does not extend smoothly to any contractible smooth $4$-manifold bounding $Y$. This generalises to arbitrary $r$ the result of Anvari-Hambleton in the case $r=3$. Third, given a finite subgroup of the Seifert circle action on $Y = \Sigma(a_1 , \dots , a_r)$ of prime order $p$ acting non-freely on $Y$, we prove that if the rank of $HF_{red}^+(Y)$ is greater than $p$ times the rank of $HF_{red}^+(Y/\mathbb{Z}_p)$, then the $\mathbb{Z}_p$-action on $Y$ does not extend smoothly to any contractible smooth $4$-manifold bounding $Y$. We also prove a similar non-extension result for equivariant connected sums of Brieskorn homology spheres.


title: Machine Learning-based EEG Applications and Markets

abstract: This paper addresses both the various EEG applications and the current EEG market ecosystem propelled by machine learning. Increasingly available open medical and health datasets using EEG encourage data-driven research with a promise of improving neurology for patient care through knowledge discovery and machine learning data science algorithm development. This effort leads to various kinds of EEG developments and currently forms a new EEG market. This paper attempts to do a comprehensive survey on the EEG market and covers the six significant applications of EEG, including diagnosis/screening, drug development, neuromarketing, daily health, metaverse, and age/disability assistance. The highlight of this survey is on the compare and contrast between the research field and the business market. Our survey points out the current limitations of EEG and indicates the future direction of research and business opportunity for every EEG application listed above. Based on our survey, more research on machine learning-based EEG applications will lead to a more robust EEG-related market. More companies will use the research technology and apply it to real-life settings. As the EEG-related market grows, the EEG-related devices will collect more EEG data, and there will be more EEG data available for researchers to use in their study, coming back as a virtuous cycle. Our market analysis indicates that research related to the use of EEG data and machine learning in the six applications listed above points toward a clear trend in the growth and development of the EEG ecosystem and machine learning world.


title: Reverse Engineered Diophantine Equations over $\mathbb{Q}$

abstract: Let $\mathscr{P}_\mathbb{Q}=\{ \alpha^n \; : \; \alpha \in \mathbb{Q}, \; n \ge 2\}$ be the set of rational perfect powers, and let $S \subseteq \mathscr{P}_\mathbb{Q}$ be a finite subset. We prove the existence of a polynomial $f_S \in \mathbb{Z}[X]$ such that $f(\mathbb{Q}) \cap \mathscr{P}_\mathbb{Q}=S$. This generalizes a recent theorem of Gajovi\'{c} who recently proved a similar theorem for finite subsets of integer perfect powers. Our approach makes use of the resolution of the generalized Fermat equation of signature $(2,4,n)$ due to Ellenberg and others, as well as the finiteness of perfect powers in non-degenerate binary recurrence sequences, proved by Peth\H{o} and by Shorey and Stewart.


title: Multiple $L$-values of level four, poly-Euler numbers, and related zeta functions

abstract: We present several formulas for some specific multiple $L$-values of conductor four. This grew out from the study of zeta functions of level four of Arakawa-Kaneko type. Closely related is a new version of multiple poly-Euler numbers and we briefly discuss this too.


title: The Game of Cycles for Grids and Select Theta Graphs

abstract: We are investigating who has the winning strategy in a game in which two players take turns drawing arrows trying to complete cycle cells in a graph. A cycle cell is a cycle with no chords. We examine game boards where the winning strategy was previously unknown. Starting with a $C_{5}$ sharing two consecutive edges with a $C_{7}$ we solve multiple classes of graphs involving "stacked" polygons. We then expand upon and improve previous theorems and conjectures, and offer some new directions of research related to the Game of Cycles. The original game was described by Francis Su in his book Mathematics for Human Flourishing. The first results on the game were published in The Game of Cycles arXiv:arch-ive/04.00776.


title: An Improved Lower Bound on the Largest Common Subtree of Random Leaf-Labeled Binary Trees

abstract: It is known that the size of the largest common subtree (i.e., the maximum agreement subtree) of two independent random binary trees with $n$ given labeled leaves is of order between $n^{0.366}$ and $n^{1/2}$. We improve the lower bound to order $n^{0.4464}$ by constructing a common subtree recursively and by proving a lower bound for its asymptotic growth. The construction is a modification of an algorithm proposed by D. Aldous by splitting the tree at the centroid and by proceeding recursively.


title: Double Dirichlet series associated with arithmetic functions II

abstract: This paper is a continuation of our previous work on double Dirichlet series associated with arithmetic functions such as the von Mangoldt function, the M\"obius function, and so on. We consider the analytic behaviour around the non-positive integer points on singularity sets which are points of indeterminacy. In particular, we show a certain reciprocity law of their residues. Also on this occasion we correct some inaccuracies in our previous paper.


title: Massive fermion between two parallel chiral plates

abstract: We study the system of a massive fermion field confined between two parallel plates, where the properties of both plates are discussed under chiral MIT boundary conditions. We investigate the effects of the chiral angle on the Casimir energy for a massive fermion field with the general momentum. We find that the Casimir energy as a function of the chiral angle is generally symmetric, and the attractive Casimir force in the chiral case is stronger than that in the nonchiral case. In addition, we investigate the approximate Casimir energy for light and heavy mass cases. The behavior of the discrete momentum and changes of spin orientation are also discussed.


title: Efficient spin-to-charge interconversion in Weyl semimetal TaP at room temperature

abstract: In this paper we present spin-to-charge current conversion properties in the Weyl semimetal TaP by means of the inverse Rashba-Edelstein effect (IREE) with the integration of this quantum material with the ferromagnetic metal Permalloy $(Py=Ni_{81}Fe_{19})$. The spin currents are generated in the Py layer by the spin pumping effect (SPE) from microwave-driven ferromagnetic resonance and are detected by a dc voltage along the TaP crystal, at room temperature. We observe a field-symmetric voltage signal without the contamination of asymmetrical lines due to spin rectification effects observed in studies using metallic ferromagnets. The observed voltage is attributed to spin-to-charge current conversion based on the IREE, made possible by the spin-orbit coupling induced intrinsically by the bulk band structure of Weyl semimetals. The measured IREE coefficient ${\lambda}_{IREE}=(0.30 \pm{0.01})$ nm is two orders of magnitude larger than in graphene and is comparable to or larger than the values reported for some metallic interfaces and for several topological insulators.


title: TagRec++: Hierarchical Label Aware Attention Network for Question Categorization

abstract: Online learning systems have multiple data repositories in the form of transcripts, books and questions. To enable ease of access, such systems organize the content according to a well defined taxonomy of hierarchical nature (subject-chapter-topic). The task of categorizing inputs to the hierarchical labels is usually cast as a flat multi-class classification problem. Such approaches ignore the semantic relatedness between the terms in the input and the tokens in the hierarchical labels. Alternate approaches also suffer from class imbalance when they only consider leaf level nodes as labels. To tackle the issues, we formulate the task as a dense retrieval problem to retrieve the appropriate hierarchical labels for each content. In this paper, we deal with categorizing questions. We model the hierarchical labels as a composition of their tokens and use an efficient cross-attention mechanism to fuse the information with the term representations of the content. We also propose an adaptive in-batch hard negative sampling approach which samples better negatives as the training progresses. We demonstrate that the proposed approach \textit{TagRec++} outperforms existing state-of-the-art approaches on question datasets as measured by Recall@k. In addition, we demonstrate zero-shot capabilities of \textit{TagRec++} and ability to adapt to label changes.


title: Probing the $H\gamma\gamma$ coupling via Higgs exclusive decay into quarkonia plus a photon at the HL-LHC

abstract: It is well know that the precise measurement of $H\to\gamma\gamma$ can generate two degenerate parameter spaces of $H\gamma\gamma$ anomalous coupling. We propose to utilize the exclusive Higgs rare decays $H\to\Upsilon(ns)+\gamma$ to break above mentioned degeneracy and further to constrain the $H\gamma\gamma$ anomalous coupling at the HL-LHC. We demonstrate that the branching ratios of $H\to\Upsilon(ns)+\gamma$ can be significantly enhanced in the non-SM-like parameter space from $H\to\gamma\gamma$ measurement, due to the destructive interference between the direct and indirect production of $\Upsilon(ns)$ in the SM. By applying the NRQCD factorization formalism, we calculate the partial decay widths of $H\to\Upsilon(ns)+\gamma$ at the NLO accuracy of $\alpha_s$. We show that it is hopeful to break such degenerate parameter space at the HL-LHC if we can further highly suppress the background and enhance the signal efficiency compared to the ATLAS preliminary simulation.


title: Controllable Single Cooper Pair Splitting in Hybrid Quantum Dot Systems

abstract: Cooper pair splitters hold utility as a platform for investigating the entanglement of electrons in Cooper pairs, but probing splitters with voltage-biased Ohmic contacts prevents the retention of electrons from split pairs since they can escape to the drain reservoirs. We report the ability to controllably split and retain single Cooper pairs in a multi-quantum-dot device isolated from lead reservoirs, and separately demonstrate a technique for detecting the electrons emerging from a split pair. First, we identify a coherent Cooper pair splitting charge transition using dispersive gate sensing at GHz frequencies. Second, we utilize a double quantum dot as an electron parity sensor to detect parity changes resulting from electrons emerging from a superconducting island.


title: Comparison of three numerical stabilization techniques of viscoelastic flows: vortex shedding behind a confined cylinder

abstract: In this study, the OpenFOAM platform, based on the finite volume method, is applied to investigate the two-dimensional viscoelastic flow past a circular cylinder. The FENE-P model, which considers the bounded elongation of polymer molecules, is chosen to describe the elastic constitutive relationship of the polymer solution. The maximum molecular chain lengths of L = 10, 50, 100, and 200 are considered, which describe the molecular conformation characteristics of the polymer solution. To improve the numerical instability of the viscoelastic flow simulation, three different methods, i.e., the traditional method (Td) with the addition of artificial viscosity, the logarithmic reconstruction method (Log), and the square root tensor method (Sqrt), are evaluated. The results show that the artificial viscosity has a little effect on the accuracy for the simulation with a small molecular chain length (L = 10). However, for long molecular chain lengths such as L = 100 and L = 200, the addition of artificial dissipation tends to overestimate the drag, which indicates that special caution is needed to incorporate the artificial dissipation in the simulation. Moreover, the logarithmic reconstruction method shows a strong grid-dependent characteristics, which may produce unphysical results.


title: Combating errors in propagation of orbital angular momentum modes of light in turbulent media

abstract: There is a wealth of simulation, experimental and analytical studies on propagation of orbital angular momentum (OAM) modes through atmospheric and oceanic turbulence.} Using the data of these studies and generalising the framework proposed in [Bala et al., [arXiv:2208.04555] for error-immune information transfer, we accomplish two tasks. First, we identify invariants for propagation of OAM modes through atmospheric and oceanic turbulence, in which error-immune information can be encoded. A closer look at the data reveals two universal features: (i)coherence lasts for a much longer distance in turbulence than entanglement, and, (ii) the crosstalk among different OAM modes depends very weakly on the initial OAM mode index in the weak turbulence regime. Keeping these in mind, we next develop a method for combating errors in what we call an idealised crosstalk channel. In an idealised crosstalk channel, the crossover probabilities are independent of the initial mode index (IMI). We lay down a procedure that allows to retrieve full information in a state by identifying invariant quantities. Finally, we construct quantum error correction and rejection codes for idealised crosstalk channels, without any need for multiparty entanglement.


title: An improved method to access initial states in relativistic heavy-ion collisions

abstract: Observables in heavy-ion collisions are generally categorized into centralities, which reflect an average over events within a range of impact parameter including a wide variety of initial state configurations. A multiple binning method using spectator neutrons within each centrality has been previously shown to provide access to events with rare initial state conditions. This work suggests an improvement in quantifying the difference between standard centrality and spectator neutron binning towards accessing the initial state properties. A selection of events with higher initial state density at fixed participating nucleon number was observed to result in larger final state particle production and smaller elliptic flow. The relative difference between observables in centrality and spectator binning shows reduced sensitivity for the observables dominated by impact parameter fluctuations in initial state such as triangular flow. This property makes the spectator binning method a good candidate to separate geometric contributions from random fluctuations in initial state towards final state observables.


title: An induced annual modulation signature in COSINE-100 data by DAMA/LIBRA's analysis method

abstract: The DAMA/LIBRA collaboration has reported the observation of an annual modulation in the event rate that has been attributed to dark matter interactions over the last two decades. However, even though tremendous efforts to detect similar dark matter interactions were pursued, no definitive evidence has been observed to corroborate the DAMA/LIBRA signal. Many studies assuming various dark matter models have attempted to reconcile DAMA/LIBRA's modulation signals and null results from other experiments, however no clear conclusion can be drawn. Apart from the dark matter hypothesis, several studies have examined the possibility that the modulation is induced by variations in their detector's environment or their specific analysis methods. In particular, a recent study presents a possible cause of the annual modulation from an analysis method adopted by the DAMA/LIBRA experiment in which the observed annual modulation could be reproduced by a slowly varying time-dependent background. Here, we study the COSINE-100 data using an analysis method similar to the one adopted by the DAMA/LIBRA experiment and observe a significant annual modulation, although the modulation phase is almost opposite to that of the DAMA/LIBRA data. Assuming the same background composition for COSINE-100 and DAMA/LIBRA, simulated experiments for the DAMA/LIBRA without dark matter signals also provide significant annual modulation with an amplitude similar to DAMA/LIBRA with opposite phase. Even though this observation does not explain the DAMA/LIBRA's results directly, this interesting phenomenon motivates deeper studies of the time-dependent DAMA/LIBRA background data.


title: Quantum parameter estimation of non-Hermitian systems with optimal measurements

abstract: Quantum parameter estimation with Hermitian systems has been applied in various fields, but there are relatively few results concerning non-Hermitian systems. Here, we study the quantum parameter estimation for general non-Hermitian Hamiltonians and derive an intuitive expression of quantum Fisher information (QFI) for pure states. Furthermore, we propose the condition for optimal measurements, which is applicable to both Hermitian and non-Hermitian Hamiltonians. To illustrate these results, we calculate and study the QFI of a specific $\mathcal{PT}$-symmetric non-Hermitian Hamiltonian, and give the optimal measurement. Surprisingly, we find some interesting properties of this $\mathcal{PT}$-symmetric Hamiltonian QFI, such as the mutations in QFI at EP. Moreover, we also compare the variance of estimation generated by the optimal measurement with the theoretical precision bound to verify the condition for optimal measurements we proposed.


title: Degenerate Raman sideband cooling of 40K atoms

abstract: We report on the implementation of degenerate Raman sideband cooling of $^{40}$K atoms. The scheme incorporates a 3D optical lattice, which confines the atoms and drives the Raman transitions. The optical cooling cycle is closed by two optical pumping beams. The wavelength of the laser beams forming the lattice is close to the D$_2$ atomic transition, while the optical pumping is operated near the D$_1$ transition. With this cooling method, we achieve temperature of $\sim$$1\mu$K of a cloud with $\sim$$10^7$ atoms. This corresponds to a phase space density of $\ge$$10^{-3}$. Moreover, the fermionic ensemble is spin polarized to conditions which are favorable for subsequent evaporative cooling. We study the dependence of the cooling scheme on several parameters, including the applied magnetic field, the detuning, duration, and intensity profile of the optical pumping beams. Adding this optical cooling stage to current Fermi gas experiments can improve the final conditions and increase the data rate.


title: An exact upper bound for the sum of powers of element orders in non-cyclic finite groups

abstract: For a finite group $G$, let $\psi(G)$ denote the sum of element orders of $G$. This function was introduced by Amiri, Amiri, and Isaacs in 2009 and they proved that for any finite group $G$ of order $n$, $\psi(G)$ is maximum if and only if $G \simeq \mathbb{Z}_n$ where $\mathbb{Z}_n$ denotes the cyclic group of order $n$. Furthermore, Herzog, Longobardi, and Maj in 2018 proved that if $G$ is non-cyclic, $\psi(G) \leq \frac{7}{11} \psi(\mathbb{Z}_n)$. Amiri and Amiri in 2014 introduced the function $\psi_k(G)$ which is defined as the sum of the $k$-th powers of element orders of $G$ and they showed that for every positive integer $k$, $\psi_k(G)$ is also maximum if and only if $G$ is cyclic. In this paper, we have been able to prove that if $G$ is a non-cyclic group of order $n$, then $\psi_k(G) \leq \frac{1+3.2^k}{1+2.4^k+2^k} \psi_k(\mathbb{Z}_n)$. Setting $k=1$ in our result, we immediately get the result of Herzog et al. as a simple corollary. Besides, a recursive formula for $\psi_k(G)$ is also obtained for finite abelian $p$-groups $G$, using which one can explicitly find out the exact value of $\psi_k(G)$ for finite abelian groups $G$.


title: Controlling Perceived Emotion in Symbolic Music Generation with Monte Carlo Tree Search

abstract: This paper presents a new approach for controlling emotion in symbolic music generation with Monte Carlo Tree Search. We use Monte Carlo Tree Search as a decoding mechanism to steer the probability distribution learned by a language model towards a given emotion. At every step of the decoding process, we use Predictor Upper Confidence for Trees (PUCT) to search for sequences that maximize the average values of emotion and quality as given by an emotion classifier and a discriminator, respectively. We use a language model as PUCT's policy and a combination of the emotion classifier and the discriminator as its value function. To decode the next token in a piece of music, we sample from the distribution of node visits created during the search. We evaluate the quality of the generated samples with respect to human-composed pieces using a set of objective metrics computed directly from the generated samples. We also perform a user study to evaluate how human subjects perceive the generated samples' quality and emotion. We compare PUCT against Stochastic Bi-Objective Beam Search (SBBS) and Conditional Sampling (CS). Results suggest that PUCT outperforms SBBS and CS in almost all metrics of music quality and emotion.


title: Auto-ViT-Acc: An FPGA-Aware Automatic Acceleration Framework for Vision Transformer with Mixed-Scheme Quantization

abstract: Vision transformers (ViTs) are emerging with significantly improved accuracy in computer vision tasks. However, their complex architecture and enormous computation/storage demand impose urgent needs for new hardware accelerator design methodology. This work proposes an FPGA-aware automatic ViT acceleration framework based on the proposed mixed-scheme quantization. To the best of our knowledge, this is the first FPGA-based ViT acceleration framework exploring model quantization. Compared with state-of-the-art ViT quantization work (algorithmic approach only without hardware acceleration), our quantization achieves 0.47% to 1.36% higher Top-1 accuracy under the same bit-width. Compared with the 32-bit floating-point baseline FPGA accelerator, our accelerator achieves around 5.6x improvement on the frame rate (i.e., 56.8 FPS vs. 10.0 FPS) with 0.71% accuracy drop on ImageNet dataset for DeiT-base.


title: Indication of critical scaling in time during the relaxation of an open quantum system

abstract: Phase transitions correspond to the singular behavior of physical systems in response to continuous control parameters like temperature or external fields. Near continuous phase transitions, associated with the divergence of a correlation length, universal power-law scaling behavior with critical exponents independent of microscopic system details is found. Recently, dynamical quantum phase transitions and universal scaling have been predicted and also observed in the non-equilibrium dynamics of isolated quantum systems after a quench, with time playing the role of the control parameter. However, signatures of such critical phenomena in time in open systems, whose dynamics is driven by the dissipative contact to an environment, were so far elusive. Here, we present results indicating that critical scaling with respect to time can also occur during the relaxation dynamics of an open quantum system described by mixed states. We experimentally measure the relaxation dynamics of the large atomic spin of individual Caesium atoms induced by the dissipative coupling via spin-exchange processes to an ultracold Bose gas of Rubidium atoms. For initial states far from equilibrium, the entropy of the spin state is found to peak in time, transiently approaching its maximum possible value, before eventually relaxing to its lower equilibrium value. Moreover, a finite-size scaling analysis based on numerical simulations shows that it corresponds to a critical point with respect to time of the dissipative system in the limit of large system sizes. It is signalled by the divergence of a characteristic length at a critical time, characterized by critical exponents that are found to be independent of system details.


title: The growth of a fixed conjugacy class in negative curvature

abstract: Let $M$ be a compact closed manifold of variable negative curvature. Fix an element $\operatorname{id} \neq \gamma$ in the fundamental group $\Gamma$ of $M$, and denote the set of elements in $\Gamma$ that are conjugate to $\gamma$ by $\operatorname{Conj}_\gamma$. For two points $x, y$ in the universal cover of $M$, we obtain asymptotics for the number of $\operatorname{Conj}_\gamma$--orbits of $y$ that lie in a ball of radius $T$ centered at $x$, as $T$ tends to infinity. If $M$ is two-dimensional, or of dimension $n \geq 3$ and curvature bounded above by $-1$ and below by $-(\frac{n-1}{n-2})^2$, we find an exponentially small error term for this count.


title: On the number of departures from the $M/M/\infty$ queue in a finite time interval

abstract: In this paper, we analyze the number of departures from an initially empty $M/M/\infty$ system in a finite time interval. We observe the system during an exponentially distributed period of time starting from the time origin. We then consider the absorbed Markov chain describing the number of arrivals and departures in the system until the observer leaves the system, triggering the absorption of the Markov chain. The generator of the absorbed Markov chain induces a selfadjoint operator in some Hilbert space. The use of spectral theory then allows us to compute the Laplace transform of several transient characteristics of the $M/M/\infty$ system (namely, the number of transitions of the Markov chain until absorption, the number of departures from the system, etc.). The analysis is extended to the finite capacity $MM/c/c$ system for some finite integer $c$}.


title: Notes on Thermodynamic Principle for Quantum Metrology

abstract: Recently, we find a physical limit on energy consumption of quantum metrology, and demonstrate that it essentially arises from the erasure of quantum Fisher information (QFI) which determines the best achievable measurement precision. Here, we provide more details in order to further elaborate the essence of this principle.


title: TokenPatronus: A Decentralized NFT Anti-theft Mechanism

abstract: The emergence of metaverse brings tremendous evolution to Non-Fungible Tokens (NFTs), which could certify the ownership the unique digital asset in the cyber world. The NFT market has garnered unprecedented attention from investors and created billions of dollars in transaction volume. Meanwhile, securing NFT is still a challenging issue. Recently, numerous incidents of NFT theft have been reported, leading to incalculable losses for holders. We propose a decentralized NFT anti-theft mechanism called TokenPatronus, which supports the general ERC-721 standard and provide the holders with strong property protection. TokenPatronus contains pre-event protection, in-event interruption, and post-event replevin enhancements for the complete NFTs transactions stages. Four modules are designed to make up the decentralized anti-theft mechanism, including the decentralized access control (DAC), the decentralized risk management (DRM), the decentralized arbitration system (DAS) and the ERC-721G standard smart contract. TokenPatronus is performing on the Turtlecase NFT project of Ethereum and will support more blockchains in the future.


title: A dichotomy on the self-similarity of graph-directed attractors

abstract: This paper seeks conditions that ensure that the attractor of a graph directed iterated function system (GD-IFS) cannot be realised as the attractor of a standard iterated function system (IFS). For a strongly connected directed graph, it is known that, if all directed circuits go through a vertex, then for any GD-IFS of similarities on $\mathbb{R}$ based on the graph and satisfying the convex open set condition (COSC), its attractor associated with this vertex is also the attractor of a (COSC) standard IFS. In this paper we show the following complementary result. If a directed circuit does not go through a vertex, then there exists a GD-IFS based on the graph such that the attractor associated with this vertex is not the attractor of any standard IFS of similarities. Indeed, we give algebraic conditions for such GD-IFS attractors not to be attractors of standard IFSs, and thus show that `almost-all' COSC GD-IFSs based on the graph have attractors associated with this vertex that are not the attractors of any COSC standard IFS.


title: Fourier series (based) multiscale method for computational analysis in science and engineering: III. Fourier series multiscale method for linear differential equation with constant coefficients

abstract: Fourier series multiscale method, a concise and efficient analytical approach for multiscale computation, will be developed out of this series of papers. In the third paper, the analytical analysis of multiscale phenomena inherent in the 2r-th order linear differential equations with constant coefficients and subjected to general boundary conditions is addressed. The limitation of the algebraical polynomial interpolation based composite Fourier series method is first discussed. This leads to a new formulation of the composite Fourier series method, where homogeneous solutions of the differential equations are adopted as interpolation functions. Consequently, the theoretical framework of the Fourier series multiscale method is provided, in which decomposition structures of solutions of the differential equations are specified and implementation schemes for application are detailed. The Fourier series multiscale method has not only made full use of existing achievements of the Fourier series method, but also given prominence to the fundamental position of structural decomposition of solutions of the differential equations, which results in perfect integration of consistency and flexibility of the Fourier series solution.


title: Improved Quantum Supersampling for Quantum Ray Tracing

abstract: Ray tracing algorithm is a category of rendering algorithms that calculate the color of pixels by simulating the physical movements of a huge amount of rays and calculating their energies, which can be implemented in parallel. Meanwhile, the superposition and entanglement property make quantum computing a natural fit for parallel tasks.Here comes an interesting question, is the inherently parallel quantum computing able to speed up the inherently parallel ray tracing algorithm? The ray tracing problem can be regarded as a high-dimensional numerical integration problem. Suppose $N$ queries are used, classical Monte Carlo approaches has an error convergence of $O(1/\sqrt{N})$, while the quantum supersampling algorithm can achieve an error convergence of approximately $O(1/N)$. However, the outputs of the origin form of quantum supersampling obeys a probability distribution that has a long tail, which shows up as many detached abnormal noisy dots on images. In this paper, we improve quantum supersampling by replacing the QFT-based phase estimation in quantum supersampling with a robust quantum counting scheme, the QFT-based adaptive Bayesian phase estimation. We quantitatively study and compare the performances of different quantum counting schemes. Finally, we do simulation experiments to show that the quantum ray tracing with improved quantum supersampling does perform better than classical path tracing algorithm as well as the original form of quantum supersampling.


title: Trace forms on the cyclotomic Hecke algebras and cocenters of the cyclotomic Schur algebras

abstract: We define a unified trace form $\tau$ on the cyclotomic Hecke algebras $\mathscr{H}_{n,K}$ of type $A$, which generalize both Malle-Mathas' trace form on the non-degenerate version (with Hecke parameter $\xi\neq 1$) and Brundan-Kleshchev's trace form on the degenerate version. We use seminormal basis theory to construct a pair of dual bases for $\mathscr{H}_{n,K}$ with respect to the form. We also construct an explicit basis for the cocenter (i.e., the $0$th Hochschild homology) of the corresponding cyclotomic Schur algebra, which shows that the cocenter has dimension independent of the ground field $K$, the Hecke parameter $\xi$ and the cyclotomic parameters $Q_1,\cdots,Q_\ell$.


title: Exact and approximate computation of the scatter halfspace depth

abstract: The scatter halfspace depth (sHD) is an extension of the location halfspace (also called Tukey) depth that is applicable in the nonparametric analysis of scatter. Using sHD, it is possible to define minimax optimal robust scatter estimators for multivariate data. The problem of exact computation of sHD for data of dimension $d \geq 2$ has, however, not been addressed in the literature. We develop an exact algorithm for the computation of sHD in any dimension $d$ and implement it efficiently using C++ for $d \leq 5$, and in R for any dimension $d \geq 1$. Since the exact computation of sHD is slow especially for higher dimensions, we also propose two fast approximate algorithms. All our programs are freely available in the R package scatterdepth.


title: FedOBD: Opportunistic Block Dropout for Efficiently Training Large-scale Neural Networks through Federated Learning

abstract: Large-scale neural networks possess considerable expressive power. They are well-suited for complex learning tasks in industrial applications. However, large-scale models pose significant challenges for training under the current Federated Learning (FL) paradigm. Existing approaches for efficient FL training often leverage model parameter dropout. However, manipulating individual model parameters is not only inefficient in meaningfully reducing the communication overhead when training large-scale FL models, but may also be detrimental to the scaling efforts and model performance as shown by recent research. To address these issues, we propose the Federated Opportunistic Block Dropout (FedOBD) approach. The key novelty is that it decomposes large-scale models into semantic blocks so that FL participants can opportunistically upload quantized blocks, which are deemed to be significant towards training the model, to the FL server for aggregation. Extensive experiments evaluating FedOBD against four state-of-the-art approaches based on multiple real-world datasets show that it reduces the overall communication overhead by more than 88% compared to the best performing baseline approach, while achieving the highest test accuracy. To the best of our knowledge, FedOBD is the first approach to perform dropout on FL models at the block level rather than at the individual parameter level.


title: Starspots, chromospheric emission lines, and flares of zero-age main-sequence stars

abstract: Zero-age main-sequence (ZAMS) stars are considered to have enormous starspots and show strong chromospheric emission lines because of their strong surface magnetic field. We discuss the dynamo activities of ZAMS stars with respect to their periodic light variation caused by a starspot and with respect to the strength of the chromospheric emission lines. The light curves of $33$ ZAMS stars in IC 2391 and IC 2602 were obtained from \textit{TESS} photometric data. The light curves can be grouped into the following four categories: single frequency, possible shape changer, beater, and complex variability. The amplitudes of the light curves are $0.001-0.145\,\mathrm{mag}$, similar to those of ZAMS stars in Pleiades. The starspot coverages are $0.1-21\%$. We found that the light variations and Ca\,\emissiontype{II} emission line strength of ZAMS stars in IC 2391, IC 2602, and the Pleiades cluster are as large as those of the most active superflare stars and two orders larger than those of the Sun, and are located on the extensions of the superflare stars. These results suggest that superflare stars link the properties of the Sun to those of the ZAMS stars of ages between $30$ and $120\,\mathrm{Myr}$. ZAMS stars with a single frequency or possible shape change in the light curve tend to have both large light variation, indicating large spot coverage, and saturated Ca\,\emissiontype{II} emission line strength. ZAMS stars with beat or complex variability have small spot coverage and a faint Ca\,\emissiontype{II} emission line. We also detected $21$ flares in the \textit{TESS} light curves of $12$ ZAMS stars in IC 2391 and IC 2602, where most of these stars have saturated chromospheric Ca\,\emissiontype{II} emission lines. The energies of the flares are estimated to be $\sim 10^{33}-10^{35}\,\mathrm{erg}$, which is comparable with the energy of a superflare.


title: A New Cold Stream near the Southern Galactic Pole

abstract: We report the discovery of a cold stream near the southern Galactic pole (dubbed as SGP-S) detected in $Gaia$ Early Data Release 3. The stream is at a heliocentric distance of $\sim$ 9.5 kpc and spans nearly 58$^\circ$ by 0.6$^\circ$ on sky. The colour-magnitude diagram of SGP-S indicates an old and metal-poor (age $\sim$ 12 Gyr, [M/H] $\sim$ -2.0 dex) stellar population. The stream's surface brightness reaches an exceedingly low level of $\Sigma_G \simeq$ 36.2 mag arcsec$^{-2}$. Neither extant globular clusters nor other known streams are associated with SGP-S.


title: In-plane and out-of-plane optical response of the nodal-line semimetals ZrGeS and ZrGeSe

abstract: Polarization-dependent reflectivity measurements were carried out over a broad frequency range on single-crystalline ZrGeSe and ZrGeS compounds, which are closely related to the prototype nodal-line semimetal ZrSiS. These measurements revealed the strongly anisotropic character of both ZrGeSe and ZrGeS, with a reduced plasma frequency for the out-of-plane direction {\bf E}$\| c$ as compared to the in-plane direction {\bf E}$\| ab$. For {\bf E}$\| ab$ the optical conductivity spectrum consists of two Drude terms followed by a shoulder or plateau-like behavior and a distinct U shape at higher energies, while for {\bf E}$\| c$ one Drude term is followed by a peak-like behavior and the U shape of the profile is less developed. Under external pressure, two prominent excitations appear in the out-of-plane optical conductivity spectrum of ZrGeSe, whose frequency position and oscillator strength show a weak anomaly at $\sim$3~GPa. Overall, the pressure-induced changes in the profile of the {\bf E}$\| c$ conductivity spectrum are much enhanced above $\sim$3~GPa. We compare our results to those recently reported for ZrSiS in a quantitative manner.


title: Spectral Properties of Two Coupled Fibonacci Chains

abstract: The Fibonacci chain, i.e., a tight-binding model where couplings and/or on-site potentials can take only two different values distributed according to the Fibonacci word, is a classical example of a one-dimensional quasicrystal. With its many intriguing properties, such as a fractal eigenvalue spectrum, the Fibonacci chain offers a rich platform to investigate many of the effects that occur in three-dimensional quasicrystals. In this work, we study the eigenvalues and eigenstates of two identical Fibonacci chains coupled to each other in different ways. We find that this setup allows for a rich variety of effects. Depending on the coupling scheme used, the resulting system (i) possesses an eigenvalue spectrum featuring a richer hierarchical structure compared to the spectrum of a single Fibonacci chain, (ii) shows a coexistence of Bloch and critical eigenstates, or (iii) possesses a large number of degenerate eigenstates, each of which is perfectly localized on only four sites of the system. If additionally, the system is infinitely extended, the macroscopic number of perfectly localized eigenstates induces a perfectly flat quasi band. Especially the second case is interesting from an application perspective, since eigenstates that are of Bloch or of critical character feature largely different transport properties. At the same time, the proposed setup allows for an experimental realization, e.g., with evanescently coupled waveguides, electric circuits, or by patterning an anti-lattice with adatoms on a metallic substrate.

categories: cond-mat.str-el cond-mat.dis-nn cond-mat.other quant-ph


title: Fudan lectures on string theory

abstract: These are lecture notes on string theory at Fudan University.


title: Fudan lectures on 2d conformal field theory

abstract: These are lecture notes on 2d conformal field theory at Fudan University.


title: Qubit Reduction and Quantum Speedup for Wireless Channel Assignment Problem

abstract: In this paper, we propose a novel method of formulating an NP-hard wireless channel assignment problem as a higher-order unconstrained binary optimization (HUBO), where the Grover adaptive search (GAS) is used to provide a quadratic speedup for solving the problem. The conventional method relies on a one-hot encoding of the channel indices, resulting in a quadratic formulation. By contrast, we conceive ascending and descending binary encodings of the channel indices, construct a specific quantum circuit, and derive the exact numbers of qubits and gates required by GAS. Our analysis clarifies that the proposed HUBO formulation significantly reduces the number of qubits and the query complexity compared with the conventional quadratic formulation. This advantage is achieved at the cost of an increased number of quantum gates, which we demonstrate can be reduced by our proposed descending binary encoding.


title: Functional Transcendence of Periods and the Geometric Andr\'e--Grothendieck Period Conjecture

abstract: We prove a functional transcendence theorem for the integrals of algebraic forms in families of algebraic varieties. This allows us to prove a geometric version of Andr\'e's generalization of the Grothendieck period conjecture, which we state using the formalism of Nori motives. More precisely, we prove a version of the Ax--Schanuel conjecture for the comparison between the flat and algebraic coordinates of an arbitrary admissible graded polarizable variation of integral mixed Hodge structures. This can be seen as a generalization of the recent Ax--Schanuel theorems of \cite{chiu,GaoKlingler} for mixed period maps.


title: On a shape derivative formula for the Robin $p$-Laplace eigenvalue

abstract: We obtain shape derivative formulae for the first eigenvalue of the Robin $p$-Laplace operator. This result is used to study the variation of the first eigenvalue with respect to perturbations of the domain. In particular, we prove that for large values of the boundary parameter, the first eigenvalue is monotonic with respect to domain inclusion for smooth domains.


title: Preserving the beamforming effect for spatial cue-based pseudo-binaural dereverberation of a single source

abstract: Reverberations are unavoidable in enclosures, resulting in reduced intelligibility for hearing impaired and non native listeners and even for the normal hearing listeners in noisy circumstances. It also degrades the performance of machine listening applications. In this paper, we propose a novel approach of binaural dereverberation of a single speech source, using the differences in the interaural cues of the direct path signal and the reverberations. Two beamformers, spaced at an interaural distance, are used to extract the reverberations from the reverberant speech. The interaural cues generated by these reverberations and those generated by the direct path signal act as a two class dataset, used for the training of U-Net (a deep convolutional neural network). After its training, the beamformers are removed and the trained U-Net along with the maximum likelihood estimation (MLE) algorithm is used to discriminate between the direct path cues from the reverberation cues, when the system is exposed to the interaural spectrogram of the reverberant speech signal. Our proposed model has outperformed the classical signal processing dereverberation model weighted prediction error in terms of cepstral distance (CEP), frequency weighted segmental signal to noise ratio (FWSEGSNR) and signal to reverberation modulation energy ratio (SRMR) by 1.4 points, 8 dB and 0.6dB. It has achieved better performance than the deep learning based dereverberation model by gaining 1.3 points improvement in CEP with comparable FWSEGSNR, using training dataset which is almost 8 times smaller than required for that model. The proposed model also sustained its performance under relatively similar unseen acoustic conditions and at positions in the vicinity of its training position.


title: Realization of all-optical higher-order spatial differentiators based on cascaded operations

abstract: Cascaded operations play an important role in traditional electronic computing systems for the realization of advanced strategies. Here, we introduce the idea of cascaded operations into all-optical spatial analog computing. The single function of the firstorder operation is difficult to meet the requirements of practical applications in image recognition. The all-optical second-order spatial differentiators are implemented by cascading two first-order differential operation units, and the image edge detection of amplitude and phase objects are demonstrated. Our scheme provides a possible pathway towards the development of compact multifunctional differentiators and advanced optical analog computing networks.


title: Learning Quantization in LDPC Decoders

abstract: Finding optimal message quantization is a key requirement for low complexity belief propagation (BP) decoding. To this end, we propose a floating-point surrogate model that imitates quantization effects as additions of uniform noise, whose amplitudes are trainable variables. We verify that the surrogate model closely matches the behavior of a fixed-point implementation and propose a hand-crafted loss function to realize a trade-off between complexity and error-rate performance. A deep learning-based method is then applied to optimize the message bitwidths. Moreover, we show that parameter sharing can both ensure implementation-friendly solutions and results in faster training convergence than independent parameters. We provide simulation results for 5G low-density parity-check (LDPC) codes and report an error-rate performance within 0.2 dB of floating-point decoding at an average message quantization bitwidth of 3.1 bits. In addition, we show that the learned bitwidths also generalize to other code rates and channels.


title: Leveraging Endo- and Exo-Temporal Regularization for Black-box Video Domain Adaptation

abstract: To enable video models to be applied seamlessly across video tasks in different environments, various Video Unsupervised Domain Adaptation (VUDA) methods have been proposed to improve the robustness and transferability of video models. Despite improvements made in model robustness, these VUDA methods require access to both source data and source model parameters for adaptation, raising serious data privacy and model portability issues. To cope with the above concerns, this paper firstly formulates Black-box Video Domain Adaptation (BVDA) as a more realistic yet challenging scenario where the source video model is provided only as a black-box predictor. While a few methods for Black-box Domain Adaptation (BDA) are proposed in image domain, these methods cannot apply to video domain since video modality has more complicated temporal features that are harder to align. To address BVDA, we propose a novel Endo and eXo-TEmporal Regularized Network (EXTERN) by applying mask-to-mix strategies and video-tailored regularizations: endo-temporal regularization and exo-temporal regularization, performed across both clip and temporal features, while distilling knowledge from the predictions obtained from the black-box predictor. Empirical results demonstrate the state-of-the-art performance of EXTERN across various cross-domain closed-set and partial-set action recognition benchmarks, which even surpassed most existing video domain adaptation methods with source data accessibility.


title: Theoretical model of a new type tunneling transistor

abstract: A tunneling transistor without heterojunction as a theoretical design, or more precisely controlled electron current transmission by barrier potential, is under consideration. The electrons from the conduction band of the source tunnel through the forbidden gap $E_g$ of the channel to the conduction band of the drain. The tunneling current $J$ calculations made at helium temperature for the example InAs-InAs-InAs, Au-GaSe-Au and Al-AlN-Al structures show that for a constant source-drain voltage, $V_C$, of several mV, changes in the gate voltage, $V_G$, applied to the channel within the voltage range of 0 - $E_g/$2e change $J$ by even 10 orders of magnitude. Unlike the existing solutions such as tunnel field-effect-transistor (TFET), the proposed device uses the change of $V_G$ (gate voltage), i.e. the change of the electrostatic potential in the channel, to modify the imaginary wave vector $k_z$ of tunnel current electrons. Consequently, the gate voltage controls the damping force of the electrons wave functions and thus the magnitude of the tunneling current, $J$. The effect of increasing temperature, T, on $J(V_G)$ relation was also tested. It was found that only in structures with a wide forbidden channel gap this effect is insignificant (at least up to T=300 K).


title: Low-rank tensor structure preservation in fractional operators by means of exponential sums

abstract: The use of fractional differential equations is a key tool in modeling non-local phenomena. Often, an efficient scheme for solving a linear system involving the discretization of a fractional operator is evaluating the matrix function $x = \mathcal A^{-\alpha} c$, where $\mathcal A$ is a discretization of the classical Laplacian, and $\alpha$ a fractional exponent between $0$ and $1$. In this work, we derive an exponential sum approximation for $f(z) =z^{-\alpha}$ that is accurate over $[1, \infty)$ and allows to efficiently approximate the action of bounded and unbounded operators of this kind on tensors stored in a variety of low-rank formats (CP, TT, Tucker). The results are relevant from a theoretical perspective as well, as they predict the low-rank approximability of the solutions of these linear systems in low-rank tensor formats.


title: DVR: Micro-Video Recommendation Optimizing Watch-Time-Gain under Duration Bias

abstract: Recommender systems are prone to be misled by biases in the data. Models trained with biased data fail to capture the real interests of users, thus it is critical to alleviate the impact of bias to achieve unbiased recommendation. In this work, we focus on an essential bias in micro-video recommendation, duration bias. Specifically, existing micro-video recommender systems usually consider watch time as the most critical metric, which measures how long a user watches a video. Since videos with longer duration tend to have longer watch time, there exists a kind of duration bias, making longer videos tend to be recommended more against short videos. In this paper, we empirically show that commonly-used metrics are vulnerable to duration bias, making them NOT suitable for evaluating micro-video recommendation. To address it, we further propose an unbiased evaluation metric, called WTG (short for Watch Time Gain). Empirical results reveal that WTG can alleviate duration bias and better measure recommendation performance. Moreover, we design a simple yet effective model named DVR (short for Debiased Video Recommendation) that can provide unbiased recommendation of micro-videos with varying duration, and learn unbiased user preferences via adversarial learning. Extensive experiments based on two real-world datasets demonstrate that DVR successfully eliminates duration bias and significantly improves recommendation performance with over 30% relative progress. Codes and datasets are released at https://github.com/tsinghua-fib-lab/WTG-DVR.


title: Synthesis and Superconductivity in Yttrium-Cerium Hydrides at Moderate Pressures

abstract: Inspired by the high critical temperature in yttrium superhydride and the low stabilized pressure in superconducting cerium superhydride, we carry out four independent runs to synthesize yttrium-cerium alloy hydrides. The phases examined by the Raman scattering and x-ray diffraction measurements. The superconductivity is detected with the zero-resistance state at the critical temperature in the range of 97-140 K at pressures ranging from 114 GPa to 120$\pm$4 GPa. The maximum critical temperature of the synthesized hydrides is larger than those reported for cerium hydrides, while the corresponding stabilized pressure is much lower than those for superconducting yttrium hydrides. The structural analysis and theoretical calculations suggest that the phase of Y$_{0.5}$Ce$_{0.5}$H$_9$ has the space group $P6_3/mmc$ with the calculated critical temperature of 119 K, in fair agreement with the experiments. These results indicate that alloying superhydrides indeed can maintain relatively high critical temperature at modest pressures accessible by many laboratories.


title: Real-Time Oil Leakage Detection on Aftermarket Motorcycle Damping System with Convolutional Neural Networks

abstract: In this work, we describe in detail how Deep Learning and Computer Vision can help to detect fault events of the AirTender system, an aftermarket motorcycle damping system component. One of the most effective ways to monitor the AirTender functioning is to look for oil stains on its surface. Starting from real-time images, AirTender is first detected in the motorbike suspension system, simulated indoor, and then, a binary classifier determines whether AirTender is spilling oil or not. The detection is made with the help of the Yolo5 architecture, whereas the classification is carried out with the help of a suitably designed Convolutional Neural Network, OilNet40. In order to detect oil leaks more clearly, we dilute the oil in AirTender with a fluorescent dye with an excitation wavelength peak of approximately 390 nm. AirTender is then illuminated with suitable UV LEDs. The whole system is an attempt to design a low-cost detection setup. An on-board device, such as a mini-computer, is placed near the suspension system and connected to a full hd camera framing AirTender. The on-board device, through our Neural Network algorithm, is then able to localize and classify AirTender as normally functioning (non-leak image) or anomaly (leak image).


title: A Possibility of Determining the WIMP Mass by Using the Angular Recoil-Energy Spectra from Directional Direct Dark Matter Detection Experiments

abstract: In this article, as an extension of our study on the angular distribution of the recoil flux of WIMP-scattered target nuclei, we demonstrate a possibility of determining the mass of incident halo WIMPs by using or combining "ridge-crater" structures of the angular recoil-energy spectra with different target nuclei observed in directional direct Dark Matter detection experiments. Our simulation results show that, for a WIMP mass of only a few tens GeV, the stereoscopic angular recoil-flux distributions of both of light and heavy target nuclei would have a (longitudinally) "ridge-like" structure. However, once the WIMP mass is as heavy as a few hundreds GeV, the angular recoil-flux distributions of heavy target nuclei would in contrast show a (latitudinally) "crater-like" structure.


title: A Reduced-Complexity Maximum-Likelihood Detection with a sub-optimal BER Requirement

abstract: Maximum likelihood (ML) detection is an optimal signal detection scheme, which is often difficult to implement due to its high computational complexity, especially in a multiple-input multiple-output (MIMO) scenario. In a system with $N_t$ transmit antennas employing $M$-ary modulation, the ML-MIMO detector requires $M^{N_t}$ cost function (CF) evaluations followed by a search operation for detecting the symbol with the minimum CF value. However, a practical system needs the bit-error ratio (BER) to be application-dependent which could be sub-optimal. This implies that it may not be necessary to have the minimal CF solution all the time. Rather it is desirable to search for a solution that meets the required sub-optimal BER. In this work, we propose a new detector design for a SISO/MIMO system by obtaining the relation between BER and CF which also improves the computational complexity of the ML detector for a sub-optimal BER.


title: Energy polarization and energy pumping in Rice-Mele chains

abstract: The one-dimensional Rice-Mele lattice consisting of two-site unit cells enables topological charge pumping at low enough temperatures. We show here that energy pumping is feasible in this system. We analyze energy polarization using the second-quantization formalism and connect it to intercell energy current by the relevant continuity equation. Following this formulation, we numerically evaluate the energy current pumped in an adiabatic cycle when the system parameters vary periodically and slowly with time. Unlike the pumped charge, the pumped energy is entirely temperature-independent at half filling. The global Berry phase for all bands and the related topological phase transitions during the pumping cycle account for the energy pumping. The present study paves the way for manipulating energy current without electric and thermal biases.


title: Uniqueness of Tangent Cone of Kahler Einstein Metrics on Singular Varieties with Crepant Singularities

abstract: Let $(X, L)$ be a polarized Calabi Yau variety (or canonical polarized variety) with crepant singularity. Suppose $\omega_{KE} \in c_1(L)$ (or $\omega_{KE} \in c_1(K_X)$) is the unique Ricci flat current (or Kahler Einstein current with negative scalar curvature) with local bounded potential constructed in [18], we show that the local tangent at any point $p \in X$ of metric $\omega_{KE}$ is unique


title: Existence of Tidal Tails for the Globular Cluster NGC 5824

abstract: Context. Several dynamically cold streams have been associated with certain globular clusters (GCs) based on orbital energies and angular momenta. Some of these streams are surprisingly far apart from their progenitors and one such pair is Triangulum and NGC 5824. Triangulum can be considered as a piece of NGC 5824 leading tail since the cluster's future orbit matches with the stream's track well. The existence of the leading tail for NGC 5824 is the motivation behind the search for its trailing tail. Aims. Our goal is to confirm the connection between Triangulum and NGC 5824 and seek the trailing tail of the cluster. Methods. The selection of member stars of Triangulum is made through various cuts in metallicity, proper motions (PMs), radial velocity and color-magnitude diagram (CMD). The selected members are compared in phase space to a mock stream which models the disruption of NGC 5824. We then try to detect the trailing tail of the cluster based on a modified matched-filter technique. Stars are assigned weights using their color differences from the cluster's locus in CMD. These weights are further scaled based on stars' departures from expected PMs of the model stream. Results. A total of 26 member stars for Triangulum are obtained and 16 of them are newly identified. These members are consistent with the mock stream in the phase space and their metalicity and position on the CMD are in good agreements with NGC 5824. By applying the matched-filter, a tenuous trailing tail of the cluster is detected, spanning $\sim$ 50$^\circ$ long on sky. The signature matches with the mock stream's trajectory well. Conclusions. Our results support that Triangulum stream acts as a part of the leading tail for NGC 5824. On the trailing side, we have detected a 50$^\circ$ tail extended from the cluster. The existence of both leading and trailing tails for the GC NGC 5824 is verified.


title: A Detection Method of Temporally Operated Videos Using Robust Hashing

abstract: SNS providers are known to carry out the recompression and resizing of uploaded videos/images, but most conventional methods for detecting tampered videos/images are not robust enough against such operations. In addition, videos are temporally operated such as the insertion of new frames and the permutation of frames, of which operations are difficult to be detected by using conventional methods. Accordingly, in this paper, we propose a novel method with a robust hashing algorithm for detecting temporally operated videos even when applying resizing and compression to the videos.


title: Synthesis of Superconducting Phase of La$_{0.5}$Ce$_{0.5}$H$_{10}$ at High Pressures

abstract: Clathrate hydride \emph{Fm}\={3}\emph{m}-LaH$_{10}$ has been proven as the most extraordinary superconductor with the critical temperature $T_c$ above 250 K upon compression of hundreds of GPa in recent years. A general hope is to reduce the stabilization pressure and maintain the high $T_c$ value of the specific phase in LaH$_{10}$. However, strong structural instability distorts \emph{Fm}\={3}\emph{m} structure and leads to a rapid decrease of $T_c$ at low pressures. Here, we investigate the phase stability and superconducting behaviors of \emph{Fm}\={3}\emph{m}-LaH$_{10}$ with enhanced chemical pre-compression through partly replacing La by Ce atoms from both experiments and calculations. For explicitly characterizing the synthesized hydride, we choose lanthanum-cerium alloy with stoichiometry composition of 1:1. X-ray diffraction and Raman scattering measurements reveal the stabilization of \emph{Fm}\={3}\emph{m}-La$_{0.5}$Ce$_{0.5}$H$_{10}$ in the pressure range of 140-160 GPa. Superconductivity with $T_c$ of 175$\pm$2 K at 155 GPa is confirmed with the observation of the zero-resistivity state and supported by the theoretical calculations. These findings provide applicability in the future explorations for a large variety of hydrogen-rich hydrides.


title: A frequency-independent bound on trigonometric polynomials of Gaussians and applications

abstract: We prove a frequency-independent bound on trigonometric functions of a class of singular Gaussian random fields, which arise naturally from weak universality problems for singular stochastic PDEs. This enables us to reduce the regularity assumption on the nonlinearity of the microscopic models in KPZ and dynamical $\Phi^4_3$ in [HX19] and [FG19] to that required by PDE structures.


title: Quadrotor Autonomous Landing on Moving Platform

abstract: This paper introduces a quadrotor's autonomous take-off and landing system on a moving platform. The designed system addresses three challenging problems: fast pose estimation, restricted external localization, and effective obstacle avoidance. Specifically, first, we design a landing recognition and positioning system based on the AruCo marker to help the quadrotor quickly calculate the relative pose; second, we leverage a gradient-based local motion planner to generate collision-free reference trajectories rapidly for the quadrotor; third, we build an autonomous state machine that enables the quadrotor to complete its take-off, tracking and landing tasks in full autonomy; finally, we conduct experiments in simulated, real-world indoor and outdoor environments to verify the system's effectiveness and demonstrate its potential.


title: Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics

abstract: In this paper, a proof-theoretic method to prove uniform Lyndon interpolation for non-normal modal and conditional logics is introduced and applied to show that the logics $\mathsf{E}$, $\mathsf{M}$, $\mathsf{EN}$, $\mathsf{MN}$, $\mathsf{MC}$, $\mathsf{K}$, and their conditional versions, $\mathsf{CE}$, $\mathsf{CM}$, $\mathsf{CEN}$, $\mathsf{CMN}$, $\mathsf{CMC}$, $\mathsf{CK}$, in addition to $\mathsf{CKID}$ have that property. In particular, it implies that these logics have uniform interpolation. Although for some of them the latter is known, the fact that they have uniform Lyndon interpolation is new. Also, the proof-theoretic proofs of these facts are new, as well as the constructive way to explicitly compute the interpolants that they provide. On the negative side, it is shown that the logics $\mathsf{CKCEM}$ and $\mathsf{CKCEMID}$ enjoy uniform interpolation but not uniform Lyndon interpolation. Moreover, it is proved that the non-normal modal logics $\mathsf{EC}$ and $\mathsf{ECN}$ and their conditional versions, $\mathsf{CEC}$ and $\mathsf{CECN}$, do not have Craig interpolation, and whence no uniform (Lyndon) interpolation.


title: Reconciling spectroscopy with dynamics in global potential energy surfaces: the case of the astrophysically relevant SiC$_{2}$

abstract: SiC$_2$ is a fascinating molecule due to its unusual bonding and astrophysical importance. In this work, we report the first global potential energy surface (PES) for ground-state SiC$_2$ using the combined-hyperbolic-inverse-power-representation (CHIPR) method and accurate ab initio energies. The calibration grid data is obtained via a general dual-level protocol developed afresh herein that entails both coupled-cluster and multireference configuration interaction energies jointly extrapolated to the complete basis set limit. Such an approach is specially devised to recover much of the spectroscopy from the PES, while still permitting a proper fragmentation of the system to allow for reaction dynamics studies. Besides describing accurately the valence strongly-bound region that includes both the cyclic global minimum and isomerization barriers, the final analytic PES form is shown to properly reproduce dissociation energies, diatomic potentials, and long-range interactions at all asymptotic channels, in addition to naturally reflect the correct permutational symmetry of the potential. Bound vibrational state calculations have been carried out, unveiling an excellent match of the available experimental data on $c$-$\mathrm{SiC}_{2}(^{1}A_1)$. To further exploit the global nature of the PES, exploratory quasi-classical trajectory calculations for the endothermic $\mathrm{C_{2}\!+\!Si}\rightarrow\mathrm{SiC\!+\!C}$ reaction are also performed, yielding thermalized rate coefficients for temperatures up to $5000$ K. The results hint for the prominence of this reaction in the innermost layers of the circumstellar envelopes around carbon-rich stars, thence conceivably playing therein a key contribution to the gas-phase formation of SiC, and eventually, solid SiC dust.


title: Quantification of metabolic niche occupancy dynamics in a Baltic Sea bacterial community

abstract: Progress in molecular methods has enabled the monitoring of bacterial populations in time. Nevertheless, understanding community dynamics and its links with ecosystem functioning remains challenging due to the tremendous diversity of microorganisms. Conceptual frameworks that make sense of time-series of taxonomically-rich bacterial communities, regarding their potential ecological function, are needed. A key concept for organizing ecological functions is the niche, the set of strategies that enable a population to persist and define its impacts on the surroundings. Here we present a framework based on manifold learning, to organize genomic information into potentially occupied bacterial metabolic niches over time. We apply the method to re-construct the dynamics of putatively occupied metabolic niches using a long-term bacterial time-series from the Baltic Sea, the Linnaeus Microbial Observatory (LMO). The results reveal a relatively low-dimensional space of occupied metabolic niches comprising groups of taxa with similar functional capabilities. Time patterns of occupied niches were strongly driven by seasonality. Some metabolic niches were dominated by one bacterial taxon whereas others were occupied by multiple taxa, and this depended on season. These results illustrate the power of manifold learning approaches to advance our understanding of the links between community composition and functioning in microbial systems.


title: Forward volume magnetoacoustic spin wave excitation with micron-scale spatial resolution

abstract: The interaction between surface acoustic waves (SAWs) and spin waves (SWs) in a piezoelectric-magnetic thin film heterostructure yields potential for the realization of novel microwave devices and applications in magnonics. In the present work, we characterize magnetoacoustic waves in three adjacent magnetic micro-stripes made from CoFe+Ga, CoFe, and CoFe+Pt with a single pair of tapered interdigital transducers (TIDTs). The magnetic micro-stripes were deposited by focused electron beam-induced deposition (FEBID) and focused ion beam-induced deposition (FIBID) direct-writing techniques. The transmission characteristics of the TIDTs are leveraged to selectively address the individual micro-stripes. Here, the external magnetic field is continuously rotated out of the plane of the magnetic thin film and the forward volume SW geometry is probed with the external magnetic field along the film normal. Our experimental findings are well explained by an extended phenomenological model based on a modified Landau-Lifshitz-Gilbert approach that considers SWs with nonzero wave vectors. Magnetoelastic excitation of forward volume SWs is possible because of the vertical shear strain $\varepsilon_{xz}$ of the Rayleigh-type SAW.


title: Current Challenges of Using Wearable Devices for Online Emotion Sensing

abstract: A growing number of wearable devices is becoming increasingly non-invasive, readily available, and versatile for measuring different physiological signals. This renders them ideal for inferring the emotional states of their users. Despite the success of wearable devices in recent emotion studies, there are still several challenges to be addressed. In this position paper, we compare currently available wearables that can be used for emotion-sensing and identify the challenges and opportunities for future researchers. Our investigation opens the discussion of what is missing for in-the-wild for emotion-sensing studies.


title: Irreducible spin representations of symmetric and alternating groups which remain irreducible in characteristic 3

abstract: For any finite group $G$ and any prime $p$ one can ask which ordinary irreducible representations remain irreducible in characteristic $p$, or more generally, which representations remain homogeneous in characteristic $p$. In this paper we address this question for $p=3$ when $G$ is a proper double cover of the symmetric or alternating group. We obtain a classification except in the case of a certain family of partitions relating to spin RoCK blocks. Our techniques involve induction and restriction, degree calculations, decomposing projective characters and recent results of Kleshchev and Livesey on spin RoCK blocks.


title: A data-driven modular architecture with denoising autoencoders for health indicator construction in a manufacturing process

abstract: Within the field of prognostics and health management (PHM), health indicators (HI) can be used to aid the production and, e.g. schedule maintenance and avoid failures. However, HI is often engineered to a specific process and typically requires large amounts of historical data for set-up. This is especially a challenge for SMEs, which often lack sufficient resources and knowledge to benefit from PHM. In this paper, we propose ModularHI, a modular approach in the construction of HI for a system without historical data. With ModularHI, the operator chooses which sensor inputs are available, and then ModularHI will compute a baseline model based on data collected during a burn-in state. This baseline model will then be used to detect if the system starts to degrade over time. We test the ModularHI on two open datasets, CMAPSS and N-CMAPSS. Results from the former dataset showcase our system's ability to detect degradation, while results from the latter point to directions for further research within the area. The results shows that our novel approach is able to detect system degradation without historical data.


title: Using Algebraic Geometry to Reconstruct a Darboux Cyclide from a Calibrated Camera Picture

abstract: The task of recognizing an algebraic surface from a single apparent contour can be reduced to the recovering of a homogeneous equation in four variables from its discriminant. In this paper, we use the fact that Darboux cyclides have a singularity along the absolute conic in order to recognize them up to Euclidean similarity transformations.


title: Partially Distributed Beamforming Design for RIS-Aided Cell-Free Networks

abstract: Cell-free networks are regarded as a promising technology to meet higher rate requirements for beyond fifth-generation (5G) communications. Most works on cell-free networks focus on either fully centralized beamforming to maximally enhance system performance, or fully distributed beamforming to avoid extensive channel state information (CSI) exchange among access points (APs). In order to achieve both network capacity improvement and CSI exchange reduction, we propose a partially distributed beamforming design algorithm for reconfigurable intelligent surface (RIS)-aided cell-free networks. We aim at maximizing the weighted sum-rate of all users by designing active and passive beamforming subject to transmit power constraints of APs and unit-modulus constraints of RIS elements. The weighted sum-rate maximization problem is first transformed into an equivalent weighted sum-mean-square-error (sum-MSE) minimization problem, and then alternating optimization (AO) approach is adopted to iteratively design active and passive beamformer. Specifically, active beamforming vectors are obtained by local APs and passive beamforming vector is optimized by central processing unit (CPU). Numerical results not only illustrate the proposed partially distributed algorithm achieves the remarkable performance improvement compared with conventional local beamforming methods, but also further show the considerable potential of deploying RIS in cell-free networks.


title: Novel microfluidic strategy for the production of sodium alginate fibers with regular inclusions at very high throughput

abstract: Scalable technologies for the production of bio-compatible complex microfibers with controllable size and composition at competitively high throughput are urgently needed in order to meet the growing demand for such microstructures in pharmaceutical or biomedical applications. Here, we introduce a new in-air microfluidic strategy with throughput of > 1400 ml/h (corresponding to > 17000 m fiber per h). The microfibers of uniform diameter have regular inclusions, which can potentially be used for encapsulating cells into a protecting and nutrient environment, or for finely tuning the release of various actives at individualized doses. With the help of a newly developed prototype, we test seven different liquid combinations and obtain seven types of fibers, whose "dry" diameter range between 73um and 141um. The principle of our approach is to solidify the complex liquid structures generated by the controlled collisions of a drop stream with a continuous liquid jet, in air, via ionic crosslinking. After the stream of water-based droplets, which constitute the inclusions, collides in-air with the alginate-based jet (jet 1), the generated "drops-in-jet" compound is brought in contact with a second jet (jet 2) containing divalent strontium or calcium cations to initiate the solidification. Finally, the fibers are collected via a horizontal spinning plate, let to dry, i.e. to fully equilibrate under controlled conditions, and characterized by their elongation at break and Young's modulus.


title: Centrality and Transverse Spherocity dependent study of charged-particle production in Xe-Xe collisions at $\sqrt{s_{NN}}$ = 5.44 TeV using PYTHIA8 Angantyr and AMPT models

abstract: Transverse Spherocity is an event structure variable which provide an effective way to disentangle the data into hard and soft components of the processes corresponding to events with small and large numbers of multi-parton interactions (MPI), respectively. Recent experimental results in small systems from the LHC suggest the importacnce of transverse spherocity variable in the classification of the events. In this contribution, we have studied the dynamics of identified particle production in Xe-Xe collisions at $\sqrt{s_{NN}}$ = 5.44 TeV using A Multi-Phase Transport Model (AMPT) and the recently developed Angantyr model, which is incorporated within PYTHIA8. A study of the transverse momentum spectra of the dentified particles are presented for soft (isotropic) and hard (jetty-like) events in different centrality intervals.


title: Automatic Camera Control and Directing with an Ultra-High-Definition Collaborative Recording System

abstract: Capturing an event from multiple camera angles can give a viewer the most complete and interesting picture of that event. To be suitable for broadcasting, a human director needs to decide what to show at each point in time. This can become cumbersome with an increasing number of camera angles. The introduction of omnidirectional or wide-angle cameras has allowed for events to be captured more completely, making it even more difficult for the director to pick a good shot. In this paper, a system is presented that, given multiple ultra-high resolution video streams of an event, can generate a visually pleasing sequence of shots that manages to follow the relevant action of an event. Due to the algorithm being general purpose, it can be applied to most scenarios that feature humans. The proposed method allows for online processing when real-time broadcasting is required, as well as offline processing when the quality of the camera operation is the priority. Object detection is used to detect humans and other objects of interest in the input streams. Detected persons of interest, along with a set of rules based on cinematic conventions, are used to determine which video stream to show and what part of that stream is virtually framed. The user can provide a number of settings that determine how these rules are interpreted. The system is able to handle input from different wide-angle video streams by removing lens distortions. Using a user study it is shown, for a number of different scenarios, that the proposed automated director is able to capture an event with aesthetically pleasing video compositions and human-like shot switching behavior.


title: When costly migration helps to improve cooperation

abstract: Motion is a typical reaction among animals and humans trying to reach better conditions in a changing world. This aspect has been studied intensively in social dilemmas where competing players' individual and collective interests are in conflict. Starting from the traditional public goods game model, where players are locally fixed and unconditional cooperators or defectors are present, we introduce two additional strategies through which agents can change their positions of dependence on the local cooperation level. More importantly, these so-called sophisticated players should bear an extra cost to maintain their permanent capacity to evaluate their neighborhood and react accordingly. Hence, four strategies compete, and the most successful one can be imitated by its neighbors. Crucially, the introduction of costly movement has a highly biased consequence on the competing main strategies. In the majority of parameter space, it is harmful to defectors and provides a significantly higher cooperation level when the population is rare. At an intermediate population density, which would be otherwise optimal for a system of immobile players, the presence of mobile actors could be detrimental if the interaction pattern changes slightly, thereby blocking the optimal percolation of information flow. In this parameter space, sophisticated cooperators can also show the co-called Moor effect by first avoiding the harmful vicinity of defectors; they subsequentially transform into an immobile cooperator state. Hence, paradoxically, the additional cost of movement could be advantageous to reach a higher general income, especially for a rare population when subgroups would be isolated otherwise.


title: User Association and Hybrid Beamforming Designs for Cooperative mmWave MIMO Systems

abstract: Hybrid analog and digital beamforming has emerged as a key enabling technology for millimeter wave (mmWave) massive multiple-input multiple-output (MIMO) communication systems since it can balance the trade-off between system performance and hardware efficiency. Owing to the strong ability of central control, cooperative networks show great potential to enhance the spectral efficiency of mmWave communications. In this paper, we consider cooperative mmWave MIMO systems and propose user association and hybrid beamforming design algorithms for three typical hybrid beamforming architectures. The central processing unit (CPU) of the cooperative networks first matches the service pairs of base stations (BSs) and users. Then, an iterative hybrid beamforming design algorithm is proposed to maximize the weighted achievable sum-rate performance of the mmWave MIMO system with fully connected hybrid beamforming architecture. Moreover, a heuristic analog beamforming design algorithm is introduced for the fixed subarray hybrid beamforming architecture. In an effort to further exploit multiple-antenna diversities, we also consider the dynamic subarray architecture and propose a novel antenna design algorithm for the analog beamforming design. Simulation results illustrate that the proposed hybrid beamforming algorithms achieve a significant performance improvement than other existing approaches and the dynamic subarray architecture has great advantages of improving the energy efficiency (EE) performance.


title: Exploring Point-BEV Fusion for 3D Point Cloud Object Tracking with Transformer

abstract: With the prevalence of LiDAR sensors in autonomous driving, 3D object tracking has received increasing attention. In a point cloud sequence, 3D object tracking aims to predict the location and orientation of an object in consecutive frames given an object template. Motivated by the success of transformers, we propose Point Tracking TRansformer (PTTR), which efficiently predicts high-quality 3D tracking results in a coarse-to-fine manner with the help of transformer operations. PTTR consists of three novel designs. 1) Instead of random sampling, we design Relation-Aware Sampling to preserve relevant points to the given template during subsampling. 2) We propose a Point Relation Transformer for effective feature aggregation and feature matching between the template and search region. 3) Based on the coarse tracking results, we employ a novel Prediction Refinement Module to obtain the final refined prediction through local feature pooling. In addition, motivated by the favorable properties of the Bird's-Eye View (BEV) of point clouds in capturing object motion, we further design a more advanced framework named PTTR++, which incorporates both the point-wise view and BEV representation to exploit their complementary effect in generating high-quality tracking results. PTTR++ substantially boosts the tracking performance on top of PTTR with low computational overhead. Extensive experiments over multiple datasets show that our proposed approaches achieve superior 3D tracking accuracy and efficiency.


title: Continual Machine Reading Comprehension via Uncertainty-aware Fixed Memory and Adversarial Domain Adaptation

abstract: Continual Machine Reading Comprehension aims to incrementally learn from a continuous data stream across time without access the previous seen data, which is crucial for the development of real-world MRC systems. However, it is a great challenge to learn a new domain incrementally without catastrophically forgetting previous knowledge. In this paper, MA-MRC, a continual MRC model with uncertainty-aware fixed Memory and Adversarial domain adaptation, is proposed. In MA-MRC, a fixed size memory stores a small number of samples in previous domain data along with an uncertainty-aware updating strategy when new domain data arrives. For incremental learning, MA-MRC not only keeps a stable understanding by learning both memory and new domain data, but also makes full use of the domain adaptation relationship between them by adversarial learning strategy. The experimental results show that MA-MRC is superior to strong baselines and has a substantial incremental learning ability without catastrophically forgetting under two different continual MRC settings.


title: Galaxy clustering from the bottom up: A Streaming Model emulator I

abstract: In this series of papers, we present a simulation-based model for the non-linear clustering of galaxies based on separate modelling of clustering in real space and velocity statistics. In the first paper, we present an emulator for the real-space correlation function of galaxies, whereas the emulator of the real-to-redshift space mapping based on velocity statistics is presented in the second paper. Here, we show that a neural network emulator for real-space galaxy clustering trained on data extracted from the Dark Quest suite of N-body simulations achieves sub-per cent accuracies on scales $1 < r < 30 $ $h^{-1} \,\mathrm{Mpc}$, and better than $3\%$ on scales $r < 1$ $h^{-1}\mathrm{Mpc}$ in predicting the clustering of dark-matter haloes with number density $10^{-3.5}$ $(h^{-1}\mathrm{Mpc})^{-3}$, close to that of SDSS LOWZ-like galaxies. The halo emulator can be combined with a galaxy-halo connection model to predict the galaxy correlation function through the halo model. We demonstrate that we accurately recover the cosmological and galaxy-halo connection parameters when galaxy clustering depends only on the mass of the galaxies' host halos. Furthermore, the constraining power in $\sigma_8$ increases by about a factor of $2$ when including scales smaller than $5$ $h^{-1} \,\mathrm{Mpc}$. However, when mass is not the only property responsible for galaxy clustering, as observed in hydrodynamical or semi-analytic models of galaxy formation, our emulator gives biased constraints on $\sigma_8$. This bias disappears when small scales ($r < 10$ $h^{-1}\mathrm{Mpc}$) are excluded from the analysis. This shows that a vanilla halo model could introduce biases into the analysis of future datasets.


title: Capturing Dependencies within Machine Learning via a Formal Process Model

abstract: The development of Machine Learning (ML) models is more than just a special case of software development (SD): ML models acquire properties and fulfill requirements even without direct human interaction in a seemingly uncontrollable manner. Nonetheless, the underlying processes can be described in a formal way. We define a comprehensive SD process model for ML that encompasses most tasks and artifacts described in the literature in a consistent way. In addition to the production of the necessary artifacts, we also focus on generating and validating fitting descriptions in the form of specifications. We stress the importance of further evolving the ML model throughout its life-cycle even after initial training and testing. Thus, we provide various interaction points with standard SD processes in which ML often is an encapsulated task. Further, our SD process model allows to formulate ML as a (meta-) optimization problem. If automated rigorously, it can be used to realize self-adaptive autonomous systems. Finally, our SD process model features a description of time that allows to reason about the progress within ML development processes. This might lead to further applications of formal methods within the field of ML.


title: Dual Domain-Adversarial Learning for Audio-Visual Saliency Prediction

abstract: Both visual and auditory information are valuable to determine the salient regions in videos. Deep convolution neural networks (CNN) showcase strong capacity in coping with the audio-visual saliency prediction task. Due to various factors such as shooting scenes and weather, there often exists moderate distribution discrepancy between source training data and target testing data. The domain discrepancy induces to performance degradation on target testing data for CNN models. This paper makes an early attempt to tackle the unsupervised domain adaptation problem for audio-visual saliency prediction. We propose a dual domain-adversarial learning algorithm to mitigate the domain discrepancy between source and target data. First, a specific domain discrimination branch is built up for aligning the auditory feature distributions. Then, those auditory features are fused into the visual features through a cross-modal self-attention module. The other domain discrimination branch is devised to reduce the domain discrepancy of visual features and audio-visual correlations implied by the fused audio-visual features. Experiments on public benchmarks demonstrate that our method can relieve the performance degradation caused by domain discrepancy.


title: Uniqueness, symmetry and convergence of positive ground state solutions of the Choquard type equation on a ball

abstract: This paper is concerned with the qualitative properties of the positive ground state solutions to the nonlocal Choquard type equation on a ball $B_R$. First, we prove the radial symmetry of the positive ground state solutions by using Talenti's inequality. Next we develop Newton's Theorem and then resort to the contraction mapping principle to establish the uniqueness of the positive ground state solutions. Finally, by constructing cut-off functions and applying energy comparison method, we show the convergence of the positive ground state solutions as $R\to \infty$. Our results generalize and improve the existing ones in the literature.


title: Alfv\'enic waves in the inhomogeneous solar atmosphere

abstract: The solar atmosphere is known to be replete with magneto-hydrodynamic wave modes, and there has been significant investment in understanding how these waves propagate through the Sun's atmopshere and deposit their energy into the plasma. The waves' journey is made interesting by the vertical variation in plasma quantities that define the solar atmosphere. In addition to this large-scale inhomogeneity, a wealth of fine-scale structure through the chromosphere and corona has been brought to light by high-resolution observations over the last couple of decades. This fine-scale sturcture represents inhomogeneity that is thought to be perpendicular to the local magnetic fields. The implications of this form of inhomogeneity on wave propagation is still being uncovered, but is known to fundamentally change the nature of MHD wave modes. It also enables interesting physics to arise including resonances, turbulence and instabilities. Here we review some of the key insights into how the inhomogeneity influences Alfv\'enic wave propagation through the Sun's atmosphere, discussing both inhomogeneities parallel and perpendicular to the magnetic field.


title: Modular Bourgain-Tzafriri Restricted Invertibility Conjectures and Johnson-Lindenstrauss Flattening Conjecture

abstract: We recently formulated important Modular Bourgain-Tzafriri Restricted Invertibility Conjectures and Modular Johnson-Lindenstrauss Flattening Conjecture in the Appendix of \textit{[arXiv: 2207.12799.v1]}. For the sake of wide accessibility we give a self-contained treatment of them.


title: Large-mode-area Soliton Fiber Oscillator Mode-locked with Linear Self-stabilized Interferometer

abstract: In this work, we investigate an approach to scale up the output pulse energy in an all polarization-maintaining 17 MHz Yb-doped fiber oscillator via implementation of 25 um core-diameter large-mode-area fibers. The artificial saturable absorber in form of a Kerr-type self-stabilized fiber-interferometer enables highly stable mode-locked steady-states in the soliton-like operation regime with 170 mW average output power and a total output pulse energy of ~10 nJ distributed between two output ports. An experimental parameter comparison with a reference oscillator made of 5.5 um core-sized standard fiber-components reveals an increase of pulse energy by a factor of 36 with simultaneously reduced intensity-noise in the high frequency range > 100 kHz.


title: How Effective is Byte Pair Encoding for Out-Of-Vocabulary Words in Neural Machine Translation?

abstract: Neural Machine Translation (NMT) is an open vocabulary problem. As a result, dealing with the words not occurring during training (a.k.a. out-of-vocabulary (OOV) words) have long been a fundamental challenge for NMT systems. The predominant method to tackle this problem is Byte Pair Encoding (BPE) which splits words, including OOV words, into sub-word segments. BPE has achieved impressive results for a wide range of translation tasks in terms of automatic evaluation metrics. While it is often assumed that by using BPE, NMT systems are capable of handling OOV words, the effectiveness of BPE in translating OOV words has not been explicitly measured. In this paper, we study to what extent BPE is successful in translating OOV words at the word-level. We analyze the translation quality of OOV words based on word type, number of segments, cross-attention weights, and the frequency of segment n-grams in the training data. Our experiments show that while careful BPE settings seem to be fairly useful in translating OOV words across datasets, a considerable percentage of OOV words are translated incorrectly. Furthermore, we highlight the slightly higher effectiveness of BPE in translating OOV words for special cases, such as named-entities and when the languages involved are linguistically close to each other.


title: Faithfully balancedness in functor categories

abstract: This is a generalization of some results of Ma-Sauter from module categories over artin algebras to more general functor categories (and partly to exact categories). In particular, we generalize the definition of a faithfully balanced module to a faithfully balanced subcategory and find the generalizations of dualities and characterizations from Ma-Sauter.