title: Asymptotic stability of solutions to a hyperbolic-elliptic coupled system of the radiating gas on the half line

abstract: This paper is concerned with the asymptotic stability of the solution to an initial-boundary value problem on the half line for a hyperbolic-elliptic coupled system of the radiating gas, where the data on the boundary and at the far field state are defined as $u_-$ and $u_+$ satisfying $u_-<u_+$. For the scalar viscous conservation law case, it is known by the work of Liu, Matsumura, and Nishihara (SIAM J. Math. Anal. 29 (1998) 293-308) that the solution tends toward rarefaction wave or stationary solution or superposition of these two kind of waves depending on the distribution of $u_\pm$. Motivated by their work, we prove the stability of the above three types of wave patterns for the hyperbolic-elliptic coupled system of the radiating gas with small perturbation. A singular phase plane analysis method is introduced to show the existence and the precise asymptotic behavior of the stationary solution, especially for the degenerate case: $u_-<u_+=0$ such that the system has inevitable singularities. The stability of rarefaction wave, stationary solution, and their superposition, is proved by applying the standard $L^2$-energy method.


title: Boundedness of Gaussian random sums on trees

abstract: Let $\mathcal{T}$ be a rooted tree endowed with the natural partial order $\preceq$. Let $(Z(v))_{v\in \mathcal{T}}$ be a sequence of independent standard Gaussian random variables and let $\alpha = (\alpha_k)_{k=1}^\infty$ be a sequence of real numbers with $\sum_{k=1}^\infty \alpha_k^2<\infty$. Set $\alpha_0 =0$ and define a Gaussian process on $\mathcal{T}$ in the following way: \[ G(\mathcal{T}, \alpha; v): = \sum_{u\preceq v} \alpha_{|u|} Z(u), \quad v \in \mathcal{T}, \] where $|u|$ denotes the graph distance between the vertex $u$ and the root vertex. Under mild assumptions on $\mathcal{T}$, we obtain a necessary and sufficient condition for the almost sure boundedness of the above Gaussian process. Our condition is also necessary and sufficient for the almost sure uniform convergence of the Gaussian process $G(\mathcal{T}, \alpha; v)$ along all rooted geodesic rays in $\mathcal{T}$.


title: Semantic Feature Matching for Robust Mapping in Agriculture

abstract: Visual Simultaneous Localization and Mapping (SLAM) systems are an essential component in agricultural robotics that enable autonomous navigation and the construction of accurate 3D maps of agricultural fields. However, lack of texture, varying illumination conditions, and lack of structure in the environment pose a challenge for Visual-SLAM systems that rely on traditional feature extraction and matching algorithms such as ORB or SIFT. This paper proposes 1) an object-level feature association algorithm that enables the creation of 3D reconstructions robustly by taking advantage of the structure in robotic navigation in agricultural fields, and 2) An object-level SLAM system that utilizes recent advances in deep learning-based object detection and segmentation algorithms to detect and segment semantic objects in the environment used as landmarks for SLAM. We test our SLAM system on a stereo image dataset of a sorghum field. We show that our object-based feature association algorithm enables us to map 78% of a sorghum range on average. In contrast, with traditional visual features, we achieve an average mapped distance of 38%. We also compare our system against ORB-SLAM2, a state-of-the-art visual SLAM algorithm.


title: Magnetic structures and phase transitions of A-site Ordered Double-Perovskite SmBaMn2O6

abstract: Magnetic structures and the relationship between spin and charge-orbital orderings of an A-site ordered double-perovskite manganite SmBaMn2O6, an anticipated multiferroic material, were investigated by means of neutron diffraction. The spin arrangement in MnO2 planes perpendicular to the c axis is revealed to be the same as that in the A-site disordered half-doped manganites CE-type but the stacking pattern is found to be different displaying a unique twofold period. The temperature dependence of the superlattice magnetic and nuclear reflections clarifies that the antiferromagnetic spin ordering occurs at a temperature slightly lower than the temperature at which a rearrangement of the charge-orbital orderings occurs. The result evidences that the rearrangement leads the spin ordering. The intensities of the magnetic reflections are found to change across Tf = 10 K, suggesting a spin-flop by 90 [deg.] while keeping the Mn spin ordering pattern unchanged.


title: On The Origin And Evolution Of The Intra-Cluster Light: A Brief Review Of The Most Recent Developments

abstract: Not all the light in galaxy groups and clusters comes from stars that are bound to galaxies. A significant fraction of it constitutes the so-called intracluster or diffuse light (ICL), a low surface brightness component of groups/clusters generally found in the surroundings of the brightest cluster galaxies and intermediate/massive satellites. In this review, I will describe the mechanisms responsible for its formation and evolution, considering the large contribution given to the topic in the last decades by both the theoretical and observational sides. Starting from the methods that are commonly used to isolate the ICL, I will address the remarkable problem given by its own definition, which still makes the comparisons among different studies not trivial, to conclude by giving an overview of the most recent works that take advantage of the ICL as a luminous tracer of the dark matter distribution in galaxy groups and clusters.


title: Can a jumping-Jupiter trigger the Moon's formation impact?

abstract: We investigate the possibility that the Moon's formation impact was triggered by an early dynamical instability of the giant planets. We consider the well-studied "jumping Jupiter" hypothesis for the solar system's instability, where Jupiter and Saturn's semi-major axes evolve in step-wise manner from their primordially compact architecture to their present locations. Moreover, we test multiple different configurations for the primordial system of terrestrial planets and the Moon-forming projectile, with particular focus on the almost equal masses impact. We find that the instability/migration of the giant planets excites the orbits of the terrestrial planets through dynamical perturbations, thus allowing collisions between them. About 10% of the simulations lead to a collision with the proto-Earth which resulted in a final configuration of the terrestrial system that reproduces, to some extent, its present architecture. Most of these collisions occur in the hit-and-run domain, but about 15% occur in the partial accretion regime, with the right conditions for a Moon-forming impact. In most of the simulations, there is a delay of more than ~20 My between the time of the instability and the Moon-forming impact. This supports the occurrence of an early instability (< 10 My} after dissipation of the gas in the proto-planetary disk), compatible with the time of the Moon-forming impact (30-60 My) inferred from cosmochemical constraints. In general, the final states of the inner solar system in our simulations show an excess of Angular Momentum Deficit, mostly attributed to the over-excitation of Mercury's eccentricity and inclination.


title: Stability and electronic properties of two-dimensional gallium

abstract: Two-dimensional metals offer intriguing possibilities to explore metallicity and other related properties in systems with reduced dimensionality. Here, following recent experimental reports of synthesis of two-dimensional metallic gallium (gallenene) on insulating substrates, we conduct a computational search of gallenene structures using the Particle Swarm Optimization algorithm, and identify stable low energy structures. Our calculations of the critical temperature for conventional superconductivity yield values $\sim 7$ K for gallenene. We also emulate the presence of the substrate by introducing the external confining potential and test its effect on the structures with unstable phonons.


title: Solutions to integrable space-time shifted nonlocal equations

abstract: In this paper we present a reduction technique based on bilinearization and double Wronskians (or double Casoratians) to obtain explicit multi-soliton solutions for the integrable space-time shifted nonlocal equations introduced very recently by Ablowitz and Musslimani in [Phys. Lett. A, 2021]. Examples include the space-time shifted nonlocal nonlinear Schr\"odinger and modified Korteweg-de Vries hierarchies and the semi-discrete nonlinear Schr\"odinger equation. It is shown that these nonlocal integrable equations with or without space-time shift(s) reduction share same distributions of eigenvalues but the space-time shift(s) brings new constraints to phase terms in solutions.


title: Greedy structure learning from data that contain systematic missing values

abstract: Learning from data that contain missing values represents a common phenomenon in many domains. Relatively few Bayesian Network structure learning algorithms account for missing data, and those that do tend to rely on standard approaches that assume missing data are missing at random, such as the Expectation-Maximisation algorithm. Because missing data are often systematic, there is a need for more pragmatic methods that can effectively deal with data sets containing missing values not missing at random. The absence of approaches that deal with systematic missing data impedes the application of BN structure learning methods to real-world problems where missingness are not random. This paper describes three variants of greedy search structure learning that utilise pairwise deletion and inverse probability weighting to maximally leverage the observed data and to limit potential bias caused by missing values. The first two of the variants can be viewed as sub-versions of the third and best performing variant, but are important in their own in illustrating the successive improvements in learning accuracy. The empirical investigations show that the proposed approach outperforms the commonly used and state-of-the-art Structural EM algorithm, both in terms of learning accuracy and efficiency, as well as both when data are missing at random and not at random.


title: A Network Approach to Public Goods: A Short Summary

abstract: Suppose agents can exert costly effort that creates nonrival, heterogeneous benefits for each other. At each possible outcome, a weighted, directed network describing marginal externalities is defined. We show that Pareto efficient outcomes are those at which the largest eigenvalue of the network is 1. An important set of efficient solutions, Lindahl outcomes, are characterized by contributions being proportional to agents' eigenvector centralities in the network. The outcomes we focus on are motivated by negotiations. We apply the results to identify who is essential for Pareto improvements, how to efficiently subdivide negotiations, and whom to optimally add to a team.


title: High Resolution Spectroscopy of Neutral Yb Atoms in a Solid Ne Matrix

abstract: We present an experimental and theoretical study of the absorption and emission spectra of Yb atoms in a solid Ne matrix at a resolution of 0.025 nm. Five absorption bands were identified as due to transitions from the $4f^{14}5d^06s^2\ ^1\!S_0$ ground state configuration to $4f^{14}5d^06s6p$ and $4f^{13}5d^16s^2$ configurations. The two lowest energy bands were assigned to outer-shell transitions to $6s6p\ ^3P_1$ and $^1P_1$ atomic states and displayed the structure of a broad doublet and an asymmetric triplet, respectively. The remaining three higher-frequency bands were assigned to inner-shell transitions to distinct $J=1$ states arising from the $4f^{13}5d^16s^2$ configuration and were highly structured with narrow linewidths. A classical simulation was performed to identify the stability and symmetry of possible trapping sites in the Ne crystal. It showed that the overarching 1+2 structure of the high frequency bands could be predominantly ascribed to crystal field splitting in the axial field of a 10-atom vacancy of $C_{4v}$ symmetry. Their prominent substructures were shown to be manifestations of phonon sidebands associated with the zero-phonon lines on each crystal field state. Unprecedented for a metal-rare gas system, resolution of individual phonon states on an allowed electronic transition was possible under excitation spectroscopy which reflects the semi-quantum nature of solid Ne. In contrast to the absorption spectra, emission spectra produced by steady-state excitation into the $^1P_1$ absorption band consisted of simple, unstructured fluorescence bands.


title: A Multi-modal and Multi-task Learning Method for Action Unit and Expression Recognition

abstract: Analyzing human affect is vital for human-computer interaction systems. Most methods are developed in restricted scenarios which are not practical for in-the-wild settings. The Affective Behavior Analysis in-the-wild (ABAW) 2021 Contest provides a benchmark for this in-the-wild problem. In this paper, we introduce a multi-modal and multi-task learning method by using both visual and audio information. We use both AU and expression annotations to train the model and apply a sequence model to further extract associations between video frames. We achieve an AU score of 0.712 and an expression score of 0.477 on the validation set. These results demonstrate the effectiveness of our approach in improving model performance.


title: On the effect of pulsar evaporation on the cooling of white dwarfs

abstract: Evolution of a large part of low-mass X-ray binaries (LMXBs) leads to the formation of rapidly rotating pulsars with a helium white dwarf (He WD) companion. Observations indicate that some He WDs in binary pulsar systems are ultracool (with the effective temperatures $T_{\rm eff}\lesssim$ 4000\, K). It is hard to cool down a He WD to such low temperatures within the Hubble time, because a thick hydrogen envelope was left behind around the He core after the mass transfer process. A possible mechanism that can accelerate the WD cooling is the evaporative wind mass loss from the He WD driven by the high-energy radiation from the recycled pulsar. In this paper, we evolve a large number of LMXBs and investigate the influence of the pulsar's high-energy radiation on the WD cooling with different input parameters, including the neutron star's spin-down luminosity, the evaporation efficiency and the metallicity of the companion star. By comparing our results with observations we note that, for relatively hot He WDs (with $T_{\rm eff}> 7000$ K), standard WD cooling without evaporation considered is able to reproduce their temperatures, while evaporation is probably required for the He WDs with relatively low temperatures ($T_{\rm eff}$ <5000 K).


title: Personalized Federated Learning over non-IID Data for Indoor Localization

abstract: Localization and tracking of objects using data-driven methods is a popular topic due to the complexity in characterizing the physics of wireless channel propagation models. In these modeling approaches, data needs to be gathered to accurately train models, at the same time that user's privacy is maintained. An appealing scheme to cooperatively achieve these goals is known as Federated Learning (FL). A challenge in FL schemes is the presence of non-independent and identically distributed (non-IID) data, caused by unevenly exploration of different areas. In this paper, we consider the use of recent FL schemes to train a set of personalized models that are then optimally fused through Bayesian rules, which makes it appropriate in the context of indoor localization.


title: Multi-dimensional Vlasov simulations on trapping-induced sidebands of Langmuir waves

abstract: Temporal evolution of Langmuir waves is presented with two-dimensional electrostatic Vlasov simulations. In a mutiwavelength system, trapped electrons can generate sidebands including longitudinal, transverse and oblique sidebands. We demonstrated that oblique sidebands are important decay channels of Langmuir waves, and the growth rate of oblique sideband is smaller than the longitudinal sideband but higher than the transverse sideband. Bump-on-tailtype distribution function is formed because of the growth of sidebands, leading to a nonlinear growth of sidebands. When the amplitudes of sidebands are comparable with that of Langmuir wave, vortex merging occurs following the broadening of longitudinal and transverse wavenumbers, and finally the system is developed into a turbulent state. In addition, the growth of sidebands can be depicted by the nonlinear Schr\"odinger model (Dewar-Rose-Yin (DRY) model) with non-Maxwellian Landau dampings. It shows the significance of particle-trapping induced nonlinear frequency shift in the evolution and qualitative agreement with Vlasov simulations


title: Structured Model Pruning of Convolutional Networks on Tensor Processing Units

abstract: The deployment of convolutional neural networks is often hindered by high computational and storage requirements. Structured model pruning is a promising approach to alleviate these requirements. Using the VGG-16 model as an example, we measure the accuracy-efficiency trade-off for various structured model pruning methods and datasets (CIFAR-10 and ImageNet) on Tensor Processing Units (TPUs). To measure the actual performance of models, we develop a structured model pruning library for TensorFlow2 to modify models in place (instead of adding mask layers). We show that structured model pruning can significantly improve model memory usage and speed on TPUs without losing accuracy, especially for small datasets (e.g., CIFAR-10).


title: Emotion Recognition with Incomplete Labels Using Modified Multi-task Learning Technique

abstract: The task of predicting affective information in the wild such as seven basic emotions or action units from human faces has gradually become more interesting due to the accessibility and availability of massive annotated datasets. In this study, we propose a method that utilizes the association between seven basic emotions and twelve action units from the AffWild2 dataset. The method based on the architecture of ResNet50 involves the multi-task learning technique for the incomplete labels of the two tasks. By combining the knowledge for two correlated tasks, both performances are improved by a large margin compared to those with the model employing only one kind of label.


title: Probabilistic Trajectory Prediction with Structural Constraints

abstract: This work addresses the problem of predicting the motion trajectories of dynamic objects in the environment. Recent advances in predicting motion patterns often rely on machine learning techniques to extrapolate motion patterns from observed trajectories, with no mechanism to directly incorporate known rules. We propose a novel framework, which combines probabilistic learning and constrained trajectory optimisation. The learning component of our framework provides a distribution over future motion trajectories conditioned on observed past coordinates. This distribution is then used as a prior to a constrained optimisation problem which enforces chance constraints on the trajectory distribution. This results in constraint-compliant trajectory distributions which closely resemble the prior. In particular, we focus our investigation on collision constraints, such that extrapolated future trajectory distributions conform to the environment structure. We empirically demonstrate on real-world and simulated datasets the ability of our framework to learn complex probabilistic motion trajectories for motion data, while directly enforcing constraints to improve generalisability, producing more robust and higher quality trajectory distributions.


title: Origin of metals in old Milky Way halo stars based on GALAH and Gaia

abstract: Stellar and supernova nucleosynthesis in the first few billion years of the cosmic history have set the scene for early structure formation in the Universe, while little is known about their nature. Making use of stellar physical parameters measured by GALAH Data Release 3 with accurate astrometry from the Gaia EDR3, we have selected $\sim 100$ old main-sequence turn-off stars (ages $\gtrsim 12$ Gyrs) with kinematics compatible with the Milky Way stellar halo population in the Solar neighborhood. Detailed homogeneous elemental abundance estimates by GALAH DR3 are compared with supernova yield models of Pop~III (zero-metal) core-collapse supernovae (CCSNe), normal (non-zero-metal) CCSNe, and Type Ia supernovae (SN Ia) to examine which of the individual yields or their combinations best reproduce the observed elemental abundance patterns for each of the old halo stars ("OHS"). We find that the observed abundances in the OHS with [Fe/H]$>-1.5$ are best explained by contributions from both CCSNe and SN~Ia, where the fraction of SN~Ia among all the metal-enriching SNe is up to 10-20 % for stars with high [Mg/Fe] ratios and up to 20-27 % for stars with low [Mg/Fe] ratios, depending on the assumption about the relative fraction of near-Chandrasekhar-mass SNe Ia progenitors. The results suggest that, in the progenitor systems of the OHS with [Fe/H]$>-1.5$, $\sim$ 50-60% of Fe mass originated from normal CCSNe at the earliest phases of the Milky Way formation. These results provide an insight into the birth environments of the oldest stars in the Galactic halo.


title: Resonant absorption in multilayer quantum-well and quantum-dot solar cells

abstract: Epitaxially-grown quantum well and quantum dot solar cells suffer from weak light absorption, strongly limiting their performance. Light trapping based on optical resonances is particularly relevant for such devices to increase light absorption and thereby current generation. Compared to homogeneous media, the position of the quantum layers within the device is an additional parameter that can strongly influence resonant absorption. However, this effect has so far received little attention from the photovoltaic community. In this work, we develop a theoretical framework to evaluate and optimize resonant light absorption in a thin slab with multiple quantum layers. Using numerical simulations, we show that the position of the layers can make the difference between strong absorption enhancement and completely suppressed absorption, and that an optimal position leads to an absorption enhancement twice larger than average. We confirm these results experimentally by measuring the absorption enhancement from photoluminescence spectra in InAs/GaAs quantum dot samples. Overall, this work provides an additional degree of freedom to substantially improve absorption, encouraging the development of quantum wells and quantum dots-based devices such as intermediate-band solar cells.


title: Multireference Algebraic Diagrammatic Construction Theory for Excited States: Extended Second-Order Implementation and Benchmark

abstract: We present an implementation and benchmark of new approximations in multireference algebraic diagrammatic construction theory for simulations of neutral electronic excitations and UV/Vis spectra of strongly correlated molecular systems (MR-ADC). Following our work on the first-order MR-ADC approximation [J. Chem. Phys. 2018, 149, 204113], we report the strict and extended second-order MR-ADC methods (MR-ADC(2) and MR-ADC(2)-X) that combine the description of static and dynamic electron correlation in the ground and excited electronic states without relying on state-averaged reference wavefunctions. We present an extensive benchmark of the new MR-ADC methods for excited states in several small molecules, including the carbon dimer, ethylene, and butadiene. Our results demonstrate that for weakly-correlated electronic states the MR-ADC(2) and MR-ADC(2)-X methods outperform the third-order single-reference ADC approximation and are competitive with the results from equation-of-motion coupled cluster theory. For states with multireference character, the performance of the MR-ADC methods is similar to that of an N-electron valence perturbation theory. In contrast to conventional multireference perturbation theories, the MR-ADC methods have a number of attractive features, such as a straightforward and efficient calculation of excited-state properties and a direct access to excitations outside of the frontier (active) orbitals.


title: REX: Revisiting Budgeted Training with an Improved Schedule

abstract: Deep learning practitioners often operate on a computational and monetary budget. Thus, it is critical to design optimization algorithms that perform well under any budget. The linear learning rate schedule is considered the best budget-aware schedule, as it outperforms most other schedules in the low budget regime. On the other hand, learning rate schedules -- such as the \texttt{30-60-90} step schedule -- are known to achieve high performance when the model can be trained for many epochs. Yet, it is often not known a priori whether one's budget will be large or small; thus, the optimal choice of learning rate schedule is made on a case-by-case basis. In this paper, we frame the learning rate schedule selection problem as a combination of $i)$ selecting a profile (i.e., the continuous function that models the learning rate schedule), and $ii)$ choosing a sampling rate (i.e., how frequently the learning rate is updated/sampled from this profile). We propose a novel profile and sampling rate combination called the Reflected Exponential (REX) schedule, which we evaluate across seven different experimental settings with both SGD and Adam optimizers. REX outperforms the linear schedule in the low budget regime, while matching or exceeding the performance of several state-of-the-art learning rate schedules (linear, step, exponential, cosine, step decay on plateau, and OneCycle) in both high and low budget regimes. Furthermore, REX requires no added computation, storage, or hyperparameters.


title: On the Aerodynamics of Multistage Co-Axial Vertical-Axis Wind Turbines

abstract: This study explored the aerodynamics of a new multi-stage co-axial vertical-axis wind turbine based on bio-inspiration from natural swimming habit of fish. The turbine was formed from a conventional straight-bladed vertical-axis turbine (VAWT) with a small inner rotor, also of three blades. The azimuthal and radial locations of the inner rotor were varied. Using numerical simulations, performance of the proposed new design was evaluated over a range of tip-speed ratios. The preliminary results identified a 600% increase in power output for multi-stage VAWTs at tip-speed rations TSR = 0 - 3, and a substantial drop in power coefficient at TSR > 3.0. The wake dynamics analyses revealed that the increase was due to interactions between the blades of one rotor and the other. This reduced the unsteady separation from the outer rotor which produced most of the power. A detailed parametric study was also completed, which showed the implications of geometric and kinematic details on the performance of the proposed multistage VAWT.


title: Beurling's theorem on the Heisenberg group

abstract: We formulate and prove an analogue of Beurling's theorem for the Fourier transform on the Heisenberg group. As a consequence we deduce Hardy and Cowling-Price theorems.


title: Safe Exploration by Solving Early Terminated MDP

abstract: Safe exploration is crucial for the real-world application of reinforcement learning (RL). Previous works consider the safe exploration problem as Constrained Markov Decision Process (CMDP), where the policies are being optimized under constraints. However, when encountering any potential dangers, human tends to stop immediately and rarely learns to behave safely in danger. Motivated by human learning, we introduce a new approach to address safe RL problems under the framework of Early Terminated MDP (ET-MDP). We first define the ET-MDP as an unconstrained MDP with the same optimal value function as its corresponding CMDP. An off-policy algorithm based on context models is then proposed to solve the ET-MDP, which thereby solves the corresponding CMDP with better asymptotic performance and improved learning efficiency. Experiments on various CMDP tasks show a substantial improvement over previous methods that directly solve CMDP.


title: Power series as Fourier series

abstract: An abstract theory of Fourier series in locally convex topological vector spaces is developed. An analog of Fej\'{e}r's theorem is proved for these series. The theory is applied to distributional solutions of Cauchy-Riemann equations to recover basic results of complex analysis. Some classical results of function theory are also shown to be consequences of the series expansion.


title: Sketching and Sequence Alignment: A Rate-Distortion Perspective

abstract: Pairwise alignment of DNA sequencing data is a ubiquitous task in bioinformatics and typically represents a heavy computational burden. A standard approach to speed up this task is to compute "sketches" of the DNA reads (typically via hashing-based techniques) that allow the efficient computation of pairwise alignment scores. We propose a rate-distortion framework to study the problem of computing sketches that achieve the optimal tradeoff between sketch size and alignment estimation distortion. We consider the simple setting of i.i.d. error-free sources of length $n$ and introduce a new sketching algorithm called "locational hashing." While standard approaches in the literature based on min-hashes require $B = (1/D) \cdot O\left( \log n \right)$ bits to achieve a distortion $D$, our proposed approach only requires $B = \log^2(1/D) \cdot O(1)$ bits. This can lead to significant computational savings in pairwise alignment estimation.


title: Transferring quantum entangled states between multiple single-photon-state qubits and coherent-state qubits in circuit QED

abstract: We present a way to transfer maximally- or partially-entangled states of n single-photon-state (SPS) qubits onto n coherent-state (CS) qubits, by employing 2n microwave cavities coupled to a superconducting flux qutrit. The two logic states of a SPS qubit here are represented by the vacuum state and the single-photon state of a cavity, while the two logic states of a CS qubit are encoded with two coherent states of a cavity. Because of using only one superconducting qutrit as the coupler, the circuit architecture is significantly simplified. The operation time for the state transfer does not increase with the increasing of the number of qubits. When the dissipation of the system is negligible, the quantum state can be transferred in a deterministic way since no measurement is required. Furthermore, the higher-energy intermediate level of the coupler qutrit is not excited during the entire operation and thus decoherence from the qutrit is greatly suppressed. As a specific example, we numerically demonstrate that the high-fidelity transfer of a Bell state of two SPS qubits onto two CS qubits is achievable within the present-day circuit QED technology. Finally, it is worthy to note that when the dissipation is negligible, entangled states of n CS qubits can be transferred back onto n SPS qubits by performing reverse operations. This proposal is quite general and can be extended to accomplish the same task, by employing a natural or artificial atom to couple 2n microwave or optical cavities.


title: Higher Koszul brackets on the cotangent complex

abstract: Let $n\ge 1$ and $A$ be a commutative algebra of the form $\boldsymbol k[x_1,x_2,\dots, x_n]/I$ where $\boldsymbol k$ is a field of characteristic $0$ and $I\subseteq \boldsymbol k[x_1,x_2,\dots, x_n]$ is an ideal. Assume that there is a Poisson bracket $\{\:,\:\}$ on $S$ such that $\{I,S\}\subseteq I$ and let us denote the induced bracket on $A$ by $\{\:,\:\}$ as well. It is well-known that $[\mathrm d x_i,\mathrm d x_j]:=\mathrm d\{x_i,x_j\}$ defines a Lie bracket on the $A$-module $\Omega_{A|\boldsymbol k}$ of K\"ahler differentials making $(A,\Omega_{A|\boldsymbol k})$ a Lie-Rinehart pair. Recall that $A$ is regular if and only if $\Omega_{A|\boldsymbol k}$ is projective as an $A$-module. If $A$ is not regular, the cotangent complex $\mathbb L_{A|\boldsymbol k}$ may serve as a replacement for the $A$-module $\Omega_{A|\boldsymbol k}$. We prove that there is a structure of an $L_\infty$-algebroid on $\mathbb L_{A|\boldsymbol k}$, compatible with the Lie-Rinehart pair $(A,\Omega_{A|\boldsymbol k})$. The $L_\infty$-algebroid on $\mathbb L_{A|\boldsymbol k}$ actually comes from a $P_\infty$-algebra structure on the resolvent of the morphism $k[x_1,x_2,\dots, x_n]\to A$. We identify examples when this $L_\infty$-algebroid simplifies to a dg Lie algebroid. For aesthetic reasons we concentrate on cases when $ \boldsymbol k[x_1,x_2,\dots, x_n]$ carries a (possibly nonstandard) $\mathbb Z_{\ge 0}$-grading and both $I$ and $\{\:,\:\}$ are homogeneous.


title: On the Variance of the Fisher Information for Deep Learning

abstract: In the realm of deep learning, the Fisher information matrix (FIM) gives novel insights and useful tools to characterize the loss landscape, perform second-order optimization, and build geometric learning theories. The exact FIM is either unavailable in closed form or too expensive to compute. In practice, it is almost always estimated based on empirical samples. We investigate two such estimators based on two equivalent representations of the FIM -- both unbiased and consistent. Their estimation quality is naturally gauged by their variance given in closed form. We analyze how the parametric structure of a deep neural network can affect the variance. The meaning of this variance measure and its upper bounds are then discussed in the context of deep learning.


title: Nonperturbative $\phi^4$ potentials: Phase transitions and light horizons

abstract: It is commonly believed that a massive real scalar field $\phi$ only mediates short-range interactions on the scale of its Compton wavelength via the Yukawa potential. However, in the nonperturbative regime of nonlinear self coupling, $\phi$ can also mediate larger scale interactions. Moreover, the classical potential, namely, the static configuration of $\phi$ in the presence of an external source, is not always unique for given boundary conditions. In this paper, a complete set of finite-energy potentials (FEPs) induced by a Gaussian source is identified in one, two, and three spatial dimensions when the nonlinearity is of the Mexican-hat type, which is often prescribed to induce spontaneous symmetry breaking. In the size-strength parameter space of the source, phase boundaries are mapped out, across which the number of FEPs differ. Additionally, softer phase transitions are delineated according to whether the potential exhibits a light horizon at which $\phi$ vanishes. The light horizon is of physical significance when $\phi$ couples with other particles. For example, when $\phi$ is the Higgs field, all elementary particles become massless at the light horizon. It is remarkable that white dwarfs and neutron stars are potentially in a phase where light horizons exist, whose outer radii are a few times the star sizes. Moreover, suppose elementary fermions of mass greater than $\sim10^3$ GeV exist, then they may also be surrounded by light horizons with radii comparable to the Higgs Compton wavelength. Finally, nonperturbative states may also be realized in condensed matter systems, wherein phase transitions are controllable using localized sources.


title: QoS-Aware Load Balancing in Wireless Networks using Clipped Double Q-Learning

abstract: In recent years, long-term evolution (LTE) and 5G NR (5th Generation New Radio) technologies have showed great potential to utilize Machine Learning (ML) algorithms in optimizing their operations, both thanks to the availability of fine-grained data from the field, as well as the need arising from growing complexity of networks. The aforementioned complexity sparked mobile operators' attention as a way to reduce the capital expenditures (CAPEX) and the operational (OPEX) expenditures of their networks through network management automation (NMA). NMA falls under the umbrella of Self-Organizing Networks (SON) in which 3GPP has identified some challenges and opportunities in load balancing mechanisms for the Radio Access Networks (RANs). In the context of machine learning and load balancing, several studies have focused on maximizing the overall network throughput or the resource block utilization (RBU). In this paper, we propose a novel Clipped Double Q-Learning (CDQL)-based load balancing approach considering resource block utilization, latency and the Channel Quality Indicator (CQI). We compare our proposal with a traditional handover algorithm and a resource block utilization based handover mechanism. Simulation results reveal that our scheme is able to improve throughput, latency, jitter and packet loss ratio in comparison to the baseline algorithms.


title: From Many to One: Consensus Inference in a MIP

abstract: A Model Intercomparison Project (MIP) consists of teams who each estimate the same underlying quantity (e.g., temperature projections to the year 2070), and the spread of the estimates indicates their uncertainty. It recognizes that a community of scientists will not agree completely but that there is value in looking for a consensus and information in the range of disagreement. A simple average of the teams' outputs gives a consensus estimate, but it does not recognize that some outputs are more variable than others. Statistical analysis of variance (ANOVA) models offer a way to obtain a weighted consensus estimate of outputs with a variance that is the smallest possible and hence the tightest possible 'one-sigma' and 'two-sigma' intervals. Modulo dependence between MIP outputs, the ANOVA approach weights a team's output inversely proportional to its variation. When external verification data are available for evaluating the fidelity of each MIP output, ANOVA weights can also provide a prior distribution for Bayesian Model Averaging to yield a consensus estimate. We use a MIP of carbon dioxide flux inversions to illustrate the ANOVA-based weighting and subsequent consensus inferences.

categories: stat.AP physics.ao-ph physics.geo-ph stat.ME


title: Positive mass theorem and the CR Yamabe equation on 5-dimensional contact spin manifolds

abstract: We consider the CR Yamabe equation with critical Sobolev exponent on a closed contact manifold M of dimension 2n + 1. The problem of finding solutions with minimum energy has been resolved for all dimensions except dimension 5 (n = 2). In this paper we prove the existence of minimum energy solutions in the 5-dimensional case when M is spin. The proof is based on a positive mass theorem built up through a spinorial approach.


title: Non-compact Einstein manifolds with symmetry

abstract: For Einstein manifolds with negative scalar curvature admitting an isometric action of a Lie group G with compact, smooth orbit space, we show the following rigidity result: The nilradical N of G acts polarly, and the N-orbits can be extended to minimal Einstein submanifolds. As an application, we prove the Alekseevskii conjecture: Any homogeneous Einstein manifold with negative scalar curvature is diffeomorphic to a Euclidean space.


title: A fast and reliable method for the comparison of covariance matrices

abstract: Covariance matrices are important tools for obtaining reliable parameter constraints. Advancements in cosmological surveys lead to larger data vectors and, consequently, increasingly complex covariance matrices, whose number of elements grows as the square of the size of the data vector. The most straightforward way of comparing these matrices, in terms of their ability to produce parameter constraints, involves a full cosmological analysis, which can be very computationally expensive. Using the concept and construction of compression schemes, which have become increasingly popular, we propose a fast and reliable way of comparing covariance matrices. The basic idea is to focus only on the portion of the covariance matrix that is relevant for the parameter constraints and quantify, via a fast Monte Carlo simulation, the difference of a second candidate matrix from the baseline one. To test this method, we apply it to two covariance matrices that were used to analyse the cosmic shear measurements for the Dark Energy Survey Year 1. We found that the uncertainties on the parameters change by 2.6%, a figure in agreement with the full cosmological analysis. While our approximate method cannot replace a full analysis, it may be useful during the development and validation of codes that estimate covariance matrices. Our method takes roughly 100 times less CPUh than a full cosmological analysis.


title: Measuring and Improving Model-Moderator Collaboration using Uncertainty Estimation

abstract: Content moderation is often performed by a collaboration between humans and machine learning models. However, it is not well understood how to design the collaborative process so as to maximize the combined moderator-model system performance. This work presents a rigorous study of this problem, focusing on an approach that incorporates model uncertainty into the collaborative process. First, we introduce principled metrics to describe the performance of the collaborative system under capacity constraints on the human moderator, quantifying how efficiently the combined system utilizes human decisions. Using these metrics, we conduct a large benchmark study evaluating the performance of state-of-the-art uncertainty models under different collaborative review strategies. We find that an uncertainty-based strategy consistently outperforms the widely used strategy based on toxicity scores, and moreover that the choice of review strategy drastically changes the overall system performance. Our results demonstrate the importance of rigorous metrics for understanding and developing effective moderator-model systems for content moderation, as well as the utility of uncertainty estimation in this domain.


title: A Hubble Space Telescope Imaging Survey of Low-Redshift Swift-BAT Active Galaxies

abstract: We present initial results from a Hubble Space Telescope snapshot imaging survey of the host galaxies of Swift-BAT active galactic nuclei (AGN) at z<0.1. The hard X-ray selection makes this sample sample relatively unbiased in terms of obscuration compared to optical AGN selection methods. The high-resolution images of 154 target AGN enable us to investigate the detailed photometric structure of the host galaxies, such as the Hubble type and merging features. We find that 48% and 44% of the sample is hosted by early-type and late-type galaxies, respectively. The host galaxies of the remaining 8% of the sample are classified as peculiar galaxies because they are heavily disturbed. Only a minor fraction of host galaxies (18%-25%) exhibit merging features (e.g., tidal tails, shells, or major disturbance). The merging fraction increases strongly as a function of bolometric AGN luminosity, revealing that merging plays an important role in triggering luminous AGN in this sample. However, the merging fraction is weakly correlated with the Eddington ratio, suggesting that merging does not necessarily lead to an enhanced Eddington ratio. Type 1 and type 2 AGN are almost indistinguishable in terms of their Hubble type distribution and merging fraction. However, the merging fraction of type 2 AGN peaks at a lower bolometric luminosity compared with those of type 1 AGN. This result may imply that the triggering mechanism and evolutionary stages of type 1 and type 2 AGN are not identical.


title: Signatures of discrete time-crystallinity in transport through an open Fermionic chain

abstract: Discrete time-crystals are periodically driven quantum many-body systems with broken discrete-time translational symmetry, a non-equilibrium steady state representing self-organization of motion of quantum particles. Observations of discrete time-crystalline order are currently limited to magneto-optical experiments. Crucially, it was never observed in a transport experiment performed on systems connected to external electrodes. Here we demonstrate that both discrete time-crystal and quasi-crystal survive a very general class of environment corresponding to single-particle gain and loss through system-electrode coupling over experimentally relevant timescales. Using dynamical symmetries, we analytically identify the conditions for observing time-crystalline behavior in a periodically driven open Fermi-Hubbard chain attached to electrodes. Remarkably, the spin-polarized transport current directly manifests the existence of a time-crystalline behavior. Our findings are verifiable in present-day experiments with quantum-dot arrays and Fermionic ultra-cold atoms in optical lattices.


title: Emergence of Dynamical Coherence in a Driven One-dimensional Interacting Rotor Model

abstract: In order to understand the dynamics of active matter, we examine a minimalistic model where interacting spins on a one-dimensional lattice are driven by a self-propelled spin at the centre with a fixed rotational velocity $({\omega}_{0})$. The other spins execute rotational Brownian motion by following the Shore-Zwanzig model of rotational dynamics. The simplicity of the model allows us to inquire about several relevant microscopic quantities. The continuous 'active' torque on the central spin is propagated through nearest neighbour interactions with a uniform coupling parameter, J. We have found a bounded region in the J-${\omega}_{0}$ plane where the system exhibits 'active matter like behaviour'. Interestingly, in the limits of large J and ${\omega}_{0}$, we observe a 'slipping behaviour'. The site specific average rotational velocity of the spin, as one moves away from the central spin exhibits a nearly exponential decay with distance, allowing the definition of a correlation length $({\xi})$ which grows rapidly with an increase of the coupling (J) between the spins. Site specific average velocity exhibits a change from a single exponential to biexponential decay pattern as the system enters the active region of the phase diagram, accompanied by a non-monotonic behavior of the correlation length. We conclude that a macroscopic coherent state can emerge in the presence of a small concentration of active molecules. We discuss experimental relevance of our results.


title: Searching for Dark Matter in the Sun using Hyper-Kamiokande

abstract: We study the ability of the Hyper-Kamiokande (HyperK) experiment, currently under construction, to constrain a neutrino signal produced via the annihilation of dark matter captured in the Sun. We simulate upward stopping and upward through-going muon events at HyperK, using Super-Kamiokande (SuperK) atmospheric neutrino results for validation, together with fully and partially contained events. Considering the annihilation of dark matter to various standard model final states, we determined the HyperK sensitivity to the dark matter spin-dependent scattering cross-section. We find that HyperK will improve upon current SuperK limits by a factor of 2-3, with a further improvement in sensitivity possible if systematic errors can be decreased relative to SuperK.


title: Joint Models for Answer Verification in Question Answering Systems

abstract: This paper studies joint models for selecting correct answer sentences among the top $k$ provided by answer sentence selection (AS2) modules, which are core components of retrieval-based Question Answering (QA) systems. Our work shows that a critical step to effectively exploit an answer set regards modeling the interrelated information between pair of answers. For this purpose, we build a three-way multi-classifier, which decides if an answer supports, refutes, or is neutral with respect to another one. More specifically, our neural architecture integrates a state-of-the-art AS2 model with the multi-classifier, and a joint layer connecting all components. We tested our models on WikiQA, TREC-QA, and a real-world dataset. The results show that our models obtain the new state of the art in AS2.


title: Correlative analysis of structure and chemistry of LixFePO4 platelets using 4D-STEM and X-ray ptychography

abstract: Lithium iron phosphate (LixFePO4), a cathode material used in rechargeable Li-ion batteries, phase separates upon de/lithiation under equilibrium. The interfacial structure and chemistry within these cathode materials affects Li-ion transport, and therefore battery performance. Correlative imaging of LixFePO4 was performed using four-dimensional scanning transmission electron microscopy (4D-STEM), scanning transmission X-ray microscopy (STXM), and X-ray ptychography in order to analyze the local structure and chemistry of the same particle set. Over 50,000 diffraction patterns from 10 particles provided measurements of both structure and chemistry at a nanoscale spatial resolution (16.6-49.5 nm) over wide (several micron) fields-of-view with statistical robustness.LixFePO4 particles at varying stages of delithiation were measured to examine the evolution of structure and chemistry as a function of delithiation. In lithiated and delithiated particles, local variations were observed in the degree of lithiation even while local lattice structures remained comparatively constant, and calculation of linear coefficients of chemical expansion suggest pinning of the lattice structures in these populations. Partially delithiated particles displayed broadly core-shell-like structures, however, with highly variable behavior both locally and per individual particle that exhibited distinctive intermediate regions at the interface between phases, and pockets within the lithiated core that correspond to FePO4 in structure and chemistry.The results provide insight into the LixFePO4 system, subtleties in the scope and applicability of Vegards law (linear lattice parameter-composition behavior) under local versus global measurements, and demonstrate a powerful new combination of experimental and analytical modalities for bridging the crucial gap between local and statistical characterization.


title: Simulations of Torus Reverberation Mapping Experiments with SPHEREx

abstract: Reverberation mapping (RM) is an efficient method to investigate the physical sizes of the broad line region (BLR) and dusty torus in an active galactic nucleus (AGN). The Spectro-Photometer for the History of the Universe, Epoch of Reionization and Ices Explorer (SPHEREx) mission will provide multi-epoch spectroscopic data at optical and near-infrared wavelengths. These data can be used for RM experiments for bright AGNs. We present results of a feasibility test using SPHEREx data in the SPHEREx deep regions for the torus RM measurements. We investigate the physical properties of bright AGNs in the SPHEREx deep field. Based on this information, we compute the efficiency of detecting torus time lags in simulated light curves. We demonstrate that, in combination with the complementary optical data with a depth of $\sim20$ mag in $B-$band, lags of $\le 750$ days for tori can be measured for more than $\sim200$ bright AGNs. If high signal-to-noise ratio photometric data with a depth of $\sim21-22$ mag are available, RM measurements can be applied for up to $\sim$900 objects. When complemented by well-designed early optical observations, SPHEREx can provide a unique dataset for studies of the physical properties of dusty tori in bright AGNs.


title: Deep Learning models for benign and malign Ocular Tumor Growth Estimation

abstract: Relatively abundant availability of medical imaging data has provided significant support in the development and testing of Neural Network based image processing methods. Clinicians often face issues in selecting suitable image processing algorithm for medical imaging data. A strategy for the selection of a proper model is presented here. The training data set comprises optical coherence tomography (OCT) and angiography (OCT-A) images of 50 mice eyes with more than 100 days follow-up. The data contains images from treated and untreated mouse eyes. Four deep learning variants are tested for automatic (a) differentiation of tumor region with healthy retinal layer and (b) segmentation of 3D ocular tumor volumes. Exhaustive sensitivity analysis of deep learning models is performed with respect to the number of training and testing images using 8 eight performance indices to study accuracy, reliability/reproducibility, and speed. U-net with UVgg16 is best for malign tumor data set with treatment (having considerable variation) and U-net with Inception backbone for benign tumor data (with minor variation). Loss value and root mean square error (R.M.S.E.) are found most and least sensitive performance indices, respectively. The performance (via indices) is found to be exponentially improving regarding a number of training images. The segmented OCT-Angiography data shows that neovascularization drives the tumor volume. Image analysis shows that photodynamic imaging-assisted tumor treatment protocol is transforming an aggressively growing tumor into a cyst. An empirical expression is obtained to help medical professionals to choose a particular model given the number of images and types of characteristics. We recommend that the presented exercise should be taken as standard practice before employing a particular deep learning model for biomedical image analysis.


title: Neural-Network-Optimized Degree-Specific Weights for LDPC MinSum Decoding

abstract: Neural Normalized MinSum (N-NMS) decoding delivers better frame error rate (FER) performance on linear block codes than conventional normalized MinSum (NMS) by assigning dynamic multiplicative weights to each check-to-variable message in each iteration. Previous N-NMS efforts have primarily investigated short-length block codes (N < 1000), because the number of N-NMS parameters to be trained is proportional to the number of edges in the parity check matrix and the number of iterations, which imposes am impractical memory requirement when Pytorch or Tensorflow is used for training. This paper provides efficient approaches to training parameters of N-NMS that support N-NMS for longer block lengths. Specifically, this paper introduces a family of neural 2-dimensional normalized (N-2D-NMS) decoders with with various reduced parameter sets and shows how performance varies with the parameter set selected. The N-2D-NMS decoders share weights with respect to check node and/or variable node degree. Simulation results justify this approach, showing that the trained weights of N-NMS have a strong correlation to the check node degree, variable node degree, and iteration number. Further simulation results on the (3096,1032) protograph-based raptor-like (PBRL) code show that N-2D-NMS decoder can achieve the same FER as N-NMS with significantly fewer parameters required. The N-2D-NMS decoder for a (16200,7200) DVBS-2 standard LDPC code shows a lower error floor than belief propagation. Finally, a hybrid decoding structure combining a feedforward structure with a recurrent structure is proposed in this paper. The hybrid structure shows similar decoding performance to full feedforward structure, but requires significantly fewer parameters.


title: Quantum contribution to magnetotransport in weak magnetic fields and negative longitudinal magnetoresistance

abstract: Longitudinal magnetoresistance (LMR) refers to the change in resistance due to a magnetic field when the current and the magnetic field are parallel to each other. For this to be nonzero in weak magnetic fields, kinetic theory stipulates that the electronic dispersion must satisfy certain conditions: it should either be sufficiently anisotropic or have topological features. The former results in a positive LMR, while the latter results in a negative LMR. Here, I propose a different mechanism that leads to LMR in any dispersion without a need to satisfy the above requirements. The mechanism is quantum in origin but is applicable in the said regime. It arises due to the change in the density of states with the magnetic field and is not kinetic in origin. Remarkably, LMR is found to be negative even if the dispersion is nontopological, provided it is nonparabolic. An analytical expression is derived for this contribution to LMR. It is found to depend on the orbital magnetic susceptibility. The analytical findings are confirmed by numerical calculations.


title: Harmonic forms and generalized solitons

abstract: For a generalized soliton $(g,\xi,\eta,\beta,\gamma,\delta)$, we provide necessary and sufficient conditions for the dual $1$-form $\xi^{\flat}$ of the potential vector field $\xi$ to be a solution of the Schr\"{o}dinger-Ricci equation, a harmonic or a Schr\"{o}dinger-Ricci harmonic form. We also characterize the $1$-forms orthogonal to $\xi^{\flat}$, underlying the results obtained for the Ricci and Yamabe solitons. Further, we formulate the results for the case of gradient generalized solitons. Several applications and examples are also presented.


title: Causal Inference for Influence Propagation -- Identifiability of the Independent Cascade Model

abstract: Independent cascade (IC) model is a widely used influence propagation model for social networks. In this paper, we incorporate the concept and techniques from causal inference to study the identifiability of parameters from observational data in extended IC model with unobserved confounding factors, which models more realistic propagation scenarios but is rarely studied in influence propagation modeling before. We provide the conditions for the identifiability or unidentifiability of parameters for several special structures including the Markovian IC model, semi-Markovian IC model, and IC model with a global unobserved variable. Parameter identifiability is important for other tasks such as influence maximization under the diffusion networks with unobserved confounding factors.


title: A Multi-task Mean Teacher for Semi-supervised Facial Affective Behavior Analysis

abstract: Affective Behavior Analysis is an important part in human-computer interaction. Existing multi-task affective behavior recognition methods suffer from the problem of incomplete labeled datasets. To tackle this problem, this paper presents a semi-supervised model with a mean teacher framework to leverage additional unlabeled data. To be specific, a multi-task model is proposed to learn three different kinds of facial affective representations simultaneously. After that, the proposed model is assigned to be student and teacher networks. When training with unlabeled data, the teacher network is employed to predict pseudo labels for student network training, which allows it to learn from unlabeled data. Experimental results showed that our proposed method achieved much better performance than baseline model and ranked 4th in both competition track 1 and track 2, and 6th in track 3, which verifies that the proposed network can effectively learn from incomplete datasets.


title: Multi-path Convolutional Neural Networks Efficiently Improve Feature Extraction in Continuous Adventitious Lung Sound Detection

abstract: We previously established a large lung sound database, HF_Lung_V2 (Lung_V2). We trained convolutional-bidirectional gated recurrent unit (CNN-BiGRU) networks for detecting inhalation, exhalation, continuous adventitious sound (CAS) and discontinuous adventitious sound at the recording level on the basis of Lung_V2. However, the performance of CAS detection was poor due to many reasons, one of which is the highly diversified CAS patterns. To make the original CNN-BiGRU model learn the CAS patterns more effectively and not cause too much computing burden, three strategies involving minimal modifications of the network architecture of the CNN layers were investigated: (1) making the CNN layers a bit deeper by using the residual blocks, (2) making the CNN layers a bit wider by increasing the number of CNN kernels, and (3) separating the feature input into multiple paths (the model was denoted by Multi-path CNN-BiGRU). The performance of CAS segment and event detection were evaluated. Results showed that improvement in CAS detection was observed among all the proposed architecture-modified models. The F1 score for CAS event detection of the proposed models increased from 0.445 to 0.491-0.530, which was deemed significant. However, the Multi-path CNN-BiGRU model outperformed the other models in terms of the number of winning titles (five) in total nine evaluation metrics. In addition, the Multi-path CNN-BiGRU model did not cause extra computing burden (0.97-fold inference time) compared to the original CNN-BiGRU model. Conclusively, the Multi-path CNN layers can efficiently improve the effectiveness of feature extraction and subsequently result in better CAS detection.


title: Dropout Regularization for Self-Supervised Learning of Transformer Encoder Speech Representation

abstract: Predicting the altered acoustic frames is an effective way of self-supervised learning for speech representation. However, it is challenging to prevent the pretrained model from overfitting. In this paper, we proposed to introduce two dropout regularization methods into the pretraining of transformer encoder: (1) attention dropout, (2) layer dropout. Both of the two dropout methods encourage the model to utilize global speech information, and avoid just copying local spectrum features when reconstructing the masked frames. We evaluated the proposed methods on phoneme classification and speaker recognition tasks. The experiments demonstrate that our dropout approaches achieve competitive results, and improve the performance of classification accuracy on downstream tasks.


title: Activated Gradients for Deep Neural Networks

abstract: Deep neural networks often suffer from poor performance or even training failure due to the ill-conditioned problem, the vanishing/exploding gradient problem, and the saddle point problem. In this paper, a novel method by acting the gradient activation function (GAF) on the gradient is proposed to handle these challenges. Intuitively, the GAF enlarges the tiny gradients and restricts the large gradient. Theoretically, this paper gives conditions that the GAF needs to meet, and on this basis, proves that the GAF alleviates the problems mentioned above. In addition, this paper proves that the convergence rate of SGD with the GAF is faster than that without the GAF under some assumptions. Furthermore, experiments on CIFAR, ImageNet, and PASCAL visual object classes confirm the GAF's effectiveness. The experimental results also demonstrate that the proposed method is able to be adopted in various deep neural networks to improve their performance. The source code is publicly available at https://github.com/LongJin-lab/Activated-Gradients-for-Deep-Neural-Networks.


title: A Dual-Purpose Deep Learning Model for Auscultated Lung and Tracheal Sound Analysis Based on Mixed Set Training

abstract: Many deep learning-based computerized respiratory sound analysis methods have previously been developed. However, these studies focus on either lung sound only or tracheal sound only. The effectiveness of using a lung sound analysis algorithm on tracheal sound and vice versa has never been investigated. Furthermore, no one knows whether using lung and tracheal sounds together in training a respiratory sound analysis model is beneficial. In this study, we first constructed a tracheal sound database, HF_Tracheal_V1, containing 10448 15-s tracheal sound recordings, 21741 inhalation labels, 15858 exhalation labels, and 6414 continuous adventitious sound (CAS) labels. HF_Tracheal_V1 and our previously built lung sound database, HF_Lung_V2, were either combined (mixed set), used one after the other (domain adaptation), or used alone to train convolutional neural network bidirectional gate recurrent unit models for inhalation, exhalation, and CAS detection in lung and tracheal sounds. The results revealed that the models trained using lung sound alone performed poorly in tracheal sound analysis and vice versa. However, mixed set training or domain adaptation improved the performance for 1) inhalation and exhalation detection in lung sounds and 2) inhalation, exhalation, and CAS detection in tracheal sounds compared to positive controls (the models trained using lung sound alone and used in lung sound analysis and vice versa). In particular, the model trained on the mixed set had great flexibility to serve two purposes, lung and tracheal sound analyses, at the same time.


title: Two Sample Test for Extrinsic Antimeans on Planar Kendall Shape Spaces with an Application to Medical Imaging

abstract: In this paper one develops nonparametric inference procedures for comparing two extrinsic antimeans on compact manifolds. Based on recent Central limit theorems for extrinsic sample antimeans w.r.t. an arbitrary embedding of a compact manifold in a Euclidean space, one derives an asymptotic chi square test for the equality of two extrinsic antimeans. Applications are given to distributions on complex projective space $CP^{k-2}$ w.r.t. the Veronese-Whitney embedding, that is a submanifold representation for the Kendall planar shape space. Two medical imaging analysis applications are also given.


title: Exploring Dropout Discriminator for Domain Adaptation

abstract: Adaptation of a classifier to new domains is one of the challenging problems in machine learning. This has been addressed using many deep and non-deep learning based methods. Among the methodologies used, that of adversarial learning is widely applied to solve many deep learning problems along with domain adaptation. These methods are based on a discriminator that ensures source and target distributions are close. However, here we suggest that rather than using a point estimate obtaining by a single discriminator, it would be useful if a distribution based on ensembles of discriminators could be used to bridge this gap. This could be achieved using multiple classifiers or using traditional ensemble methods. In contrast, we suggest that a Monte Carlo dropout based ensemble discriminator could suffice to obtain the distribution based discriminator. Specifically, we propose a curriculum based dropout discriminator that gradually increases the variance of the sample based distribution and the corresponding reverse gradients are used to align the source and target feature representations. An ensemble of discriminators helps the model to learn the data distribution efficiently. It also provides a better gradient estimates to train the feature extractor. The detailed results and thorough ablation analysis show that our model outperforms state-of-the-art results.


title: Incorporating Multi-Target in Multi-Stage Speech Enhancement Model for Better Generalization

abstract: Recent single-channel speech enhancement methods based on deep neural networks (DNNs) have achieved remarkable results, but there are still generalization problems in real scenes. Like other data-driven methods, DNN-based speech enhancement models produce significant performance degradation on untrained data. In this study, we make full use of the contribution of multi-target joint learning to the model generalization capability, and propose a lightweight and low-computing dilated convolutional network (DCN) model for a more robust speech denoising task. Our goal is to integrate the masking target, the mapping target, and the parameters of the traditional speech enhancement estimator into a DCN model to maximize their complementary advantages. To do this, we build a multi-stage learning framework to deal with multiple targets in stages to achieve their joint learning, namely `MT-in-MS'. Our experimental results show that compared with the state-of-the-art time domain and time-frequency domain models, this proposed low-cost DCN model can achieve better generalization performance in speaker, noise, and channel mismatch cases.


title: The half-life of $^{212}$Po

abstract: The half-life of $^{212}$Po was measured with the highest up-to-date accuracy as $T_{1/2}=295.1(4)$ ns by using thorium-loaded liquid scintillator.


title: Sirius: Static Program Repair with Dependence Graph-Based Systematic Edit Patterns

abstract: Software development often involves systematic edits, similar but nonidentical changes to many code locations, that are error-prone and laborious for developers. Mining and learning such systematic edit patterns (SEPs) from past code changes enable us to detect and repair overlooked buggy code that requires systematic edits. A recent study presented a promising SEP mining technique that is based on program dependence graphs (PDGs), while traditional approaches leverage syntax-based representations. PDG-based SEPs are highly expressive and can capture more meaningful changes than syntax-based ones. The next challenge to tackle is to apply the same code changes as in PDG-based SEPs to other code locations; detection and repair of overlooked locations that require systematic edits. Existing program transformation techniques cannot well address this challenge because (1) they expect many structural code similarities that are not guaranteed in PDG-based SEPs or (2) they work on the basis of PDGs but are limited to specific domains (e.g., API migrations). We present in this paper a general-purpose program transformation algorithm for applying PDG-based SEPs. Our algorithm identifies a small transplantable structural subtree for each PDG node, thereby adapting code changes from PDG-based SEPs to other locations. We construct a program repair pipeline Sirius that incorporates the algorithm and automates the processes of mining SEPs, detecting overlooked code locations (bugs) that require systematic edits, and repairing them by applying SEPs. We evaluated the repair performance of Sirius with a corpus of open source software consisting of over 80 repositories. Sirius achieved a precision of 0.710, recall of 0.565, and F1-score of 0.630, while those of the state-of-the-art technique were 0.470, 0.141, and 0.216, respectively.


title: Blind Source Separation in Polyphonic Music Recordings Using Deep Neural Networks Trained via Policy Gradients

abstract: We propose a method for the blind separation of sounds of musical instruments in audio signals. We describe the individual tones via a parametric model, training a dictionary to capture the relative amplitudes of the harmonics. The model parameters are predicted via a U-Net, which is a type of deep neural network. The network is trained without ground truth information, based on the difference between the model prediction and the individual time frames of the short-time Fourier transform. Since some of the model parameters do not yield a useful backpropagation gradient, we model them stochastically and employ the policy gradient instead. To provide phase information and account for inaccuracies in the dictionary-based representation, we also let the network output a direct prediction, which we then use to resynthesize the audio signals for the individual instruments. Due to the flexibility of the neural network, inharmonicity can be incorporated seamlessly and no preprocessing of the input spectra is required. Our algorithm yields high-quality separation results with particularly low interference on a variety of different audio samples, both acoustic and synthetic, provided that the sample contains enough data for the training and that the spectral characteristics of the musical instruments are sufficiently stable to be approximated by the dictionary.


title: Mitigating Imperfections in Mixed-Signal Neuromorphic Circuits

abstract: The progress in neuromorphic computing is fueled by the development of novel nonvolatile memories capable of storing analog information and implementing neural computation efficiently. However, like most other analog circuits, these devices and circuits are prone to imperfections, such as temperature dependency, noise, tuning error, etc., often leading to considerable performance degradation in neural network implementations. Indeed, imperfections are major obstacles in the path of further progress and ultimate commercialization of these technologies. Hence, a practically viable approach should be developed to deal with these nonidealities and unleash the full potential of nonvolatile memories in neuromorphic systems. Here, for the first time, we report a comprehensive characterization of critical imperfections in two analog-grade memories, namely passively-integrated memristors and redesigned eFlash memories, which both feature long-term retention, high endurance, analog storage, low-power operation, and compact nano-scale footprint. Then, we propose a holistic approach that includes modifications in the training, tuning algorithm, memory state optimization, and circuit design to mitigate these imperfections. Our proposed methodology is corroborated on a hybrid software/experimental framework using two benchmarks: a moderate-size convolutional neural network and ResNet-18 trained on CIFAR-10 and ImageNet datasets, respectively. Our proposed approaches allow 2.5x to 9x improvements in the energy consumption of memory arrays during inference and sub-percent accuracy drop across 25-100 C temperature range. The defect tolerance is improved by >100x, and a sub-percent accuracy drop is demonstrated in deep neural networks built with 64x64 passive memristive crossbars featuring 25% normalized switching threshold variations.


title: Effect of Rashba spin-orbit and Rabi couplings on the excitation spectrum of binary Bose-Einstein condensates

abstract: We present the collective excitation spectrum analysis of binary Bose-Einstein condensates (BECs) with spin-orbit (SO) and Rabi couplings in a quasi-two-dimensional system. In particular, we investigate the role of SO and Rabi coupling strengths in determining the dynamical stability of the coupled BECs using Bogoliubov-de Gennes (BdG) theory. Using the eigenergy of BdG spectrum, we confirm the existence of phonon, roton, and maxon modes with weak repulsive intra- and inter-species contact interactions. The depth of the minimum corresponding to the roton mode depends strongly on the coupling strength. We find that the increase of the SO coupling leads to instability, while the increase in the Rabi coupling stabilizes the system. Also the eigenvectors of BdG spectrum indicates the presence of density like mode in the stable regime and spin like modes in unstable regimes. A phase diagram demonstrating the stability regime in the plane of SO and Rabi coupling strengths is obtained. Finally, we complement the observation of the excitation spectrum with the direct numerical simulation results of coupled Gross-Pitaevskii equations.


title: Defense against DoS and load altering attacks via model-free control: A proposal for a new cybersecurity setting

abstract: Defense against cyberattacks is an emerging topic related to fault-tolerant control. In order to avoid difficult mathematical modeling, model-free control (MFC) is suggested as an alternative to classical control. For illustration purpose a Load Frequency Control of multi-areas power network is considered. In the simulations, load altering attacks and Denial of Service (DoS) in the communication network are applied to the system. Our aim is to compare the impact of cyberattacks on control loops closed via respectively a classical controller in such situations and a model-free one. Computer experiments show impressive results with MFC.


title: A Survey on Low-Resource Neural Machine Translation

abstract: Neural approaches have achieved state-of-the-art accuracy on machine translation but suffer from the high cost of collecting large scale parallel data. Thus, a lot of research has been conducted for neural machine translation (NMT) with very limited parallel data, i.e., the low-resource setting. In this paper, we provide a survey for low-resource NMT and classify related works into three categories according to the auxiliary data they used: (1) exploiting monolingual data of source and/or target languages, (2) exploiting data from auxiliary languages, and (3) exploiting multi-modal data. We hope that our survey can help researchers to better understand this field and inspire them to design better algorithms, and help industry practitioners to choose appropriate algorithms for their applications.


title: Deep Image Synthesis from Intuitive User Input: A Review and Perspectives

abstract: In many applications of computer graphics, art and design, it is desirable for a user to provide intuitive non-image input, such as text, sketch, stroke, graph or layout, and have a computer system automatically generate photo-realistic images that adhere to the input content. While classic works that allow such automatic image content generation have followed a framework of image retrieval and composition, recent advances in deep generative models such as generative adversarial networks (GANs), variational autoencoders (VAEs), and flow-based methods have enabled more powerful and versatile image generation tasks. This paper reviews recent works for image synthesis given intuitive user input, covering advances in input versatility, image generation methodology, benchmark datasets, and evaluation metrics. This motivates new perspectives on input representation and interactivity, cross pollination between major image generation paradigms, and evaluation and comparison of generation methods.


title: Control Lyapunov Functions for Compliant Hybrid Zero Dynamic Walking

abstract: The ability to realize nonlinear controllers with formal guarantees on dynamic robotic systems has the potential to enable more complex robotic behaviors -- yet, realizing these controllers is often practically challenging. To address this challenge, this paper presents the end-to-end realization of dynamic bipedal locomotion on an underactuated bipedal robot via hybrid zero dynamics and control Lyapunov functions. A compliant model of Cassie is represented as a hybrid system to set the stage for a trajectory optimization framework. With the goal of achieving a variety of walking speeds in all directions, a library of compliant walking motions is compiled and then parameterized for efficient use within real-time controllers. Control Lyapunov functions, which have strong theoretic guarantees, are synthesized to leverage the gait library and coupled with inverse dynamics to obtain optimization-based controllers framed as quadratic programs. It is proven that this controller provably achieves stable locomotion; this is coupled with a theoretic analysis demonstrating useful properties of the controller for tuning and implementation. The proposed theoretic framework is practically demonstrated on the Cassie robot, wherein 3D walking is achieved through the use of optimization-based torque control. The experiments highlight robotic walking at different speeds and terrains, illustrating the end-to-end realization of theoretically justified nonlinear controllers on dynamic underactuated robotic systems.


title: Gravitational Wave From Axion-like Particle Inflation

abstract: In this paper, we investigate the Axion-like Particle inflation by applying the multi-nature inflation model, where the end of inflation is achieved through the phase transition (PT). The events of PT should not be less than $200$, which results in the free parameter $n\geq404$. Under the latest CMB restrictions, we found that the inflation energy is fixed at $10^{15} \rm{GeV}$. Then, we deeply discussed the corresponding stochastic background of the primordial gravitational wave (GW) during inflation. We study the two kinds of $n$ cases, i.e., $n=404, 2000$. We observe that the magnitude of $n$ is negligible for the physical observations, such as $n_s$, $r$, $\Lambda$, and $\Omega_{\rm{GW}}h^2$. In the low-frequency regions, the GW is dominated by the quantum fluctuations, and this GW can be detected by Decigo at $10^{-1}~\rm{Hz}$. However, GW generated by PT dominates the high-frequency regions, which is expected to be detected by future 3DSR detector.


title: Chiral phonons and pseudo-angular momentum in non-symmorphic systems

abstract: Chiral phonons are the ones with nonzero polarization and can be observed only via a selective coupling with valley electrons and circularly polarized photons. In such process, a new physical quantity, i.e., pseudo-angular momentum (PAM), is required to meet the selection rule. However, phonon PAM was thought to be quantized and can be only defined in the symmorphic systems. In this work, we generalized the definition of PAM to three-dimensional non-symmorphic systems, which show distinct different properties compared with the one in symmorphic systems, e.g., PAM can be non-quantized and q-dependent but still be an observable quantity by experiments. Such new definitions and discoveries can help us to obtain chiral phonons in a broader class of systems with a nonzero group velocity and to convey information like chirality and angular momentum in solids as expected. Materials are also offered to understand the new definition and for further experimental detection.


title: WinoCNN: Kernel Sharing Winograd Systolic Array for Efficient Convolutional Neural Network Acceleration on FPGAs

abstract: The combination of Winograd's algorithm and systolic array architecture has demonstrated the capability of improving DSP efficiency in accelerating convolutional neural networks (CNNs) on FPGA platforms. However, handling arbitrary convolution kernel sizes in FPGA-based Winograd processing elements and supporting efficient data access remain underexplored. In this work, we are the first to propose an optimized Winograd processing element (WinoPE), which can naturally support multiple convolution kernel sizes with the same amount of computing resources and maintains high runtime DSP efficiency. Using the proposed WinoPE, we construct a highly efficient systolic array accelerator, termed WinoCNN. We also propose a dedicated memory subsystem to optimize the data access. Based on the accelerator architecture, we build accurate resource and performance modeling to explore optimal accelerator configurations under different resource constraints. We implement our proposed accelerator on multiple FPGAs, which outperforms the state-of-the-art designs in terms of both throughput and DSP efficiency. Our implementation achieves DSP efficiency up to 1.33 GOPS/DSP and throughput up to 3.1 TOPS with the Xilinx ZCU102 FPGA. These are 29.1\% and 20.0\% better than the best solutions reported previously, respectively.


title: Private Graph Data Release: A Survey

abstract: The application of graph analytics to various domains has yielded tremendous societal and economical benefits in recent years. However, the increasingly widespread adoption of graph analytics comes with a commensurate increase in the need to protect private information in graph data, especially in light of the many privacy breaches in real-world graph data that was supposed to preserve sensitive information. This paper provides a comprehensive survey of private graph data release algorithms that seek to achieve the fine balance between privacy and utility, with a specific focus on provably private mechanisms. Many of these mechanisms are natural extensions of the Differential Privacy framework to graph data, but we also investigate more general privacy formulations like Pufferfish Privacy that address some of the limitations of Differential Privacy. We also provide a wide-ranging survey of the applications of private graph data release mechanisms to social networks, finance, supply chain, and health care. This survey paper and the taxonomy it provides should benefit practitioners and researchers alike in the increasingly important area of private analytics and data release.


title: Can Commercial Testing Automation Tools Work for IoT? A Case Study of Selenium and Node-Red

abstract: Background: Testing IoT software is challenging due to large scale, volume of data and heterogeneity. Testing automation is a much-needed feature in the domain. Aims: The first goal of this research is to explore the requirements and challenges of IoT testing automation. The second goal is to integrate testing automation tools used in commercial software into the IoT context. Method: A systematic literature review is carried out to elicit requirements for testing automation in IoT. A design science approach is followed to build a testing automation tool for IoT applications written in the Node-Red platform, using the commercial testing automation tool Selenium. The resulting framework uses the Selenium Web Driver for browser-based testing automation for IoT applications. Results: The proposed framework has been functionally tested on multiple browsers with preliminary evaluation on maintainability, browser capability and comprehensiveness. Conclusions: The use of commercial tools for testing automation in IoT is feasible. However, major challenges like high data volumes and parallel transmission and processing of data need to be addressed comprehensively for complete integration.


title: Structured Hammerstein-Wiener Model Learning for Model Predictive Control

abstract: This paper aims to improve the reliability of optimal control using models constructed by machine learning methods. Optimal control problems based on such models are generally non-convex and difficult to solve online. In this paper, we propose a model that combines the Hammerstein-Wiener model with input convex neural networks, which have recently been proposed in the field of machine learning. An important feature of the proposed model is that resulting optimal control problems are effectively solvable exploiting their convexity and partial linearity while retaining flexible modeling ability. The practical usefulness of the method is examined through its application to the modeling and control of an engine airpath system.


title: Publicly Auditable MPC-as-a-Service with succinct verification and universal setup

abstract: In recent years, multiparty computation as a service (MPCaaS) has gained popularity as a way to build distributed privacy-preserving systems. We argue that for many such applications, we should also require that the MPC protocol is publicly auditable, meaning that anyone can check the given computation is carried out correctly -- even if the server nodes carrying out the computation are all corrupt. In a nutshell, the way to make an MPC protocol auditable is to combine an underlying MPC protocol with verifiable computing proof (in particular, a SNARK). Building a general-purpose MPCaaS from existing constructions would require us to perform a costly "trusted setup" every time we wish to run a new or modified application. To address this, we provide the first efficient construction for auditable MPC that has a one-time universal setup. Despite improving the trusted setup, we match the state-of-the-art in asymptotic performance: the server nodes incur a linear computation overhead and constant round communication overhead compared to the underlying MPC, and the audit size and verification are logarithmic in the application circuit size. We also provide an implementation and benchmarks that support our asymptotic analysis in example applications. Furthermore, compared with existing auditable MPC protocols, besides offering a universal setup our construction also has a 3x smaller proof, 3x faster verification time and comparable prover time.


title: Three solutions for a fractional elliptic problem with asymmetric critical Choquard nonlinearity

abstract: In this paper we study the existence and multiplicity of weak solutions for the following asymmetric nonlinear Choquard problem on fractional Laplacian: \begin{equation*} \begin{array}{rl} (-\Delta)^s u &= \displaystyle-\lambda|u|^{q-2}u + au + b\left( \int\limits_{\Omega} \frac{(u^{+}(y))^{2^{*}_{\mu ,s}}}{|x-y|^ \mu}\, dy\right) (u^{+})^{2^{*}_{\mu ,s}-2}u \quad\text{in} \; \Omega, u &= 0\quad \text{in} \; \mathbb{R}^{N}\backslash\Omega, \end{array} \end{equation*} where $\Omega$ is open bounded domain of $\mathbb{R}^{N}$ with $C^2$ boundary, $N > 2s$ and $s \in (0,1)$. Here $(-\Delta)^s$ is the fractional Laplace operator, $\lambda > 0$ is a real parameter, $q \in (1, 2)$, $a > 0$ and $b> 0$ are given constants, and $2^{*}_{\mu ,s} = \frac{2N-\mu}{N-2s}$ is the critical exponent in the sense of Hardy-Littlewood-Sobolev inequality and the notation $u^{+} = \max \{u, 0\}$. We prove that the above problem has at least three nontrivial solutions using the Mountain pass Lemma and Linking theorem.


title: Borel chain conditions of Borel posets

abstract: We study the coarse classification of partial orderings using chain conditions in the context of descriptive combinatorics. We show that (unlike the Borel counterpart of many other combinatorics), we have a distinct hierarchy of different chain conditions, similar to the classical case.


title: Constraints on Weak Supernova Kicks from Observed Pulsar Velocities

abstract: Observations of binary pulsars and pulsars in globular clusters suggest that at least some pulsars must receive weak natal kicks at birth. If all pulsars received strong natal kicks above \unit[50]{\kms}, those born in globular clusters would predominantly escape, while wide binaries would be disrupted. On the other hand, observations of transverse velocities of isolated radio pulsars indicate that only $5\pm2\%$ have velocities below \unit[50]{\kms}. We explore this apparent tension with rapid binary population synthesis modelling. We propose a model in which supernovae with characteristically low natal kicks (e.g., electron-capture supernovae) only occur if the progenitor star has been stripped via binary interaction with a companion. We show that this model naturally reproduces the observed pulsar speed distribution and without reducing the predicted merging double neutron star yield. We estimate that the zero-age main sequence mass range for non-interacting progenitors of electron-capture supernovae should be no wider than ${\approx}0.2 M_\odot$.


title: A Tight Max-Flow Min-Cut Duality Theorem for Non-Linear Multicommodity Flows

abstract: The Max-Flow Min-Cut theorem is the classical duality result for the Max-Flow problem, which considers flow of a single commodity. We study a multiple commodity generalization of Max-Flow in which flows are composed of real-valued k-vectors through networks with arc capacities formed by regions in \R^k. Given the absence of a clear notion of ordering in the multicommodity case, we define the generalized max flow as the feasible region of all flow values. We define a collection of concepts and operations on flows and cuts in the multicommodity setting. We study the mutual capacity of a set of cuts, defined as the set of flows that can pass through all cuts in the set. We present a method to calculate the mutual capacity of pairs of cuts, and then generalize the same to a method of calculation for arbitrary sets of cuts. We show that the mutual capacity is exactly the set of feasible flows in the network, and hence is equal to the max flow. Furthermore, we present a simple class of the multicommodity max flow problem where computations using this tight duality result could run significantly faster than default brute force computations. We also study more tractable special cases of the multicommodity max flow problem where the objective is to transport a maximum real or integer multiple of a given vector through the network. We devise an augmenting cycle search algorithm that reduces the optimization problem to one with m constraints in at most \R^{(m-n+1)k} space from one that requires mn constraints in \R^{mk} space for a network with n nodes and m edges. We present efficient algorithms that compute eps-approximations to both the ratio and the integer ratio maximum flow problems.


title: Adaptable and conflict colouring multigraphs with no cycles of length three or four

abstract: The adaptable choosability of a multigraph $G$, denoted $\mathrm{ch}_a(G)$, is the smallest integer $k$ such that any edge labelling, $\tau$, of $G$ and any assignment of lists of size $k$ to the vertices of $G$ permits a list colouring, $\sigma$, of $G$ such that there is no edge $e = uv$ where $\tau(e) = \sigma(u) = \sigma(v)$. Here we show that for a multigraph $G$ with maximum degree $\Delta$ and no cycles of length 3 or 4, $\mathrm{ch}_a(G) \leq (2\sqrt{2}+o(1))\sqrt{\Delta/\ln\Delta}$. Under natural restrictions we can show that the same bound holds for the conflict choosability of $G$, which is a closely related parameter defined by Dvo\v{r}\'ak, Esperet, Kang and Ozeki [arXiv:1803.10962].


title: A Grounded Theory of Cognitive Load Drivers in Novice Agile Software Development Teams

abstract: Objective: The purpose of this paper is to identify the largest cognitive challenges faced by novices developing software in teams. Method: Using grounded theory, we conducted an ethnographic study for two months following four ten person novice teams, consisting of computer science students, developing software systems. Result: This paper identifies version control and merge operations as the largest challenge faced by the novices. The literature studies reveal that little research appears to have been carried out in the area of version control from a user perspective. Limitations: A qualitative study on students is not applicable in all contexts, but the result is credible and grounded in data and substantiated by extant literature. Conclusion: We conclude that our findings motivate further research on cognitive perspectives to guide improvement of software engineering and its tools.


title: Massive MIMO Communication with Intelligent Reflecting Surface

abstract: This paper studies the feasibility of deploying intelligent reflecting surfaces (IRSs) in massive MIMO (multiple-input multiple-output) systems to improve the performance of users in the service dead zone. To reduce the channel training overhead, we advocate a novel protocol for the uplink communication in the IRS-assisted massive MIMO systems. Under this protocol, the IRS reflection coefficients are optimized based on the channel covariance matrices, which are generally fixed for many coherence blocks, to boost the long-term performance. Then, given the IRS reflecting coefficients, the BS beamforming vectors are designed in each coherence block based on the effective channel of each user, which is the superposition of its direct and reflected user-IRS-BS channels, to improve the instantaneous performance. Since merely the user effective channels are estimated in each coherence block, the training overhead of this protocol is the same as that in the legacy wireless systems without IRSs. Moreover, in the asymptotic regime that the numbers of IRS elements and BS antennas both go to infinity with a fixed ratio, we manage to first characterize the minimum mean-squared error (MMSE) estimators of the user effective channels and then quantify the closed-form user achievable rates as functions of channel covariance matrices with channel training overhead and estimation error taken into account. Interestingly, it is shown that the properties of channel hardening and favorable propagation still hold for the user effective channels, and satisfactory user rates are thus achievable even if simple BS beamforming solutions, e.g., maximal-ratio combining, are employed. Finally, thanks to the rate characterization, we design a low-complexity algorithm to optimize the IRS reflection coefficients based on channel covariance matrices.


title: Interferometric mass spectrometry

abstract: Accelerator mass spectrometry (AMS) is a widely-used technique with multiple applications, including geology, molecular biology and archeology. In order to achieve a high dynamic range, AMS requires tandem accelerators and large magnets, which thus confines it to big laboratories. Here we propose interferometric mass spectrometry (Interf-MS), a novel method of mass separation which uses quantum interference. Interf-MS employs the wave-like properties of the samples, and as such is complementary to AMS, in which samples are particle-like. This complementarity has two significant consequences: (i) in Interf-MS separation is performed according to the absolute mass $m$, and not to the mass-to-charge ratio $m/q$, as in AMS; (ii) in Interf-MS the samples are in the low-velocity regime, in contrast to the high-velocity regime used in AMS. Potential applications of Interf-MS are compact devices for mobile applications, sensitive molecules that break at the acceleration stage and neutral samples which are difficult to ionise.


title: Demonstration of diamond nuclear spin gyroscope

abstract: We demonstrate operation of a rotation sensor based on the $^{14}$N nuclear spins intrinsic to nitrogen-vacancy (NV) color centers in diamond. The sensor employs optical polarization and readout of the nuclei and a radio-frequency double-quantum pulse protocol that monitors $^{14}$N nuclear spin precession. This measurement protocol suppresses the sensitivity to temperature variations in the $^{14}$N quadrupole splitting, and it does not require microwave pulses resonant with the NV electron spin transitions. The device was tested on a rotation platform and demonstrated a sensitivity of 4.7 $^{\circ}/\sqrt{\rm{s}}$ (13 mHz/$\sqrt{\rm{Hz}}$), with bias stability of 0.4 $^{\circ}$/s (1.1 mHz).


title: Quantum $SL(2,\mathbb{R})$ and its irreducible representations

abstract: We define for real $q$ a unital $*$-algebra $U_q(\mathfrak{sl}(2,\mathbb{R}))$ quantizing the universal enveloping $*$-algebra of $\mathfrak{sl}(2,\mathbb{R})$. The $*$-algebra $U_q(\mathfrak{sl}(2,\mathbb{R}))$ is realized as a $*$-subalgebra of the Drinfeld double of $U_q(\mathfrak{su}(2))$ and its dual Hopf $*$-algebra $\mathcal{O}_q(SU(2))$, generated by the equatorial Podle\'s sphere coideal $*$-subalgebra $\mathcal{O}_q(K\backslash SU(2))$ of $\mathcal{O}_q(SU(2))$ and its associated orthogonal coideal $*$-subalgebra $U_q(\mathfrak{k}) \subseteq U_q(\mathfrak{su}(2))$. We then classify all the irreducible $*$-representations of $U_q(\mathfrak{sl}(2,\mathbb{R}))$.