title: Exact solution of an integrable non-equilibrium particle system

abstract: We consider the integrable family of symmetric boundary-driven interacting particle systems that arise from the non-compact XXX Heisenberg model in one dimension with open boundaries. In contrast to the well-known symmetric exclusion process, the number of particles at each site is unbounded. We show that a finite chain of $N$ sites connected at its ends to two reservoirs can be solved exactly, i.e. the factorial moments of the non-equilibrium steady-state can be written in closed form for each $N$. The solution relies on probabilistic arguments and techniques inspired by integrable systems. It is obtained in two steps: i) the introduction of a dual absorbing process reducing the problem to a finite number of particles; ii) the solution of the dual dynamics exploiting a symmetry obtained from the Quantum Inverse Scattering Method. Long-range correlations are computed in the finite-volume system. The exact solution allows to prove by a direct computation that, in the thermodynamic limit, the system approaches local equilibrium. A by-product of the solution is the algebraic construction of a direct mapping between the non-equilibrium steady state and the equilibrium reversible measure.

categories: math-ph cond-mat.stat-mech hep-th math.MP math.PR nlin.SI


title: Fine-Grained Completeness for Optimization in P

abstract: We initiate the study of fine-grained completeness theorems for exact and approximate optimization in the polynomial-time regime. Inspired by the first completeness results for decision problems in P (Gao, Impagliazzo, Kolokolova, Williams, TALG 2019) as well as the classic class MaxSNP and MaxSNP-completeness for NP optimization problems (Papadimitriou, Yannakakis, JCSS 1991), we define polynomial-time analogues MaxSP and MinSP, which contain a number of natural optimization problems in P, including Maximum Inner Product, general forms of nearest neighbor search and optimization variants of the $k$-XOR problem. Specifically, we define MaxSP as the class of problems definable as $\max_{x_1,\dots,x_k} \#\{ (y_1,\dots,y_\ell) : \phi(x_1,\dots,x_k, y_1,\dots,y_\ell) \}$, where $\phi$ is a quantifier-free first-order property over a given relational structure (with MinSP defined analogously). On $m$-sized structures, we can solve each such problem in time $O(m^{k+\ell-1})$. Our results are: - We determine (a sparse variant of) the Maximum/Minimum Inner Product problem as complete under *deterministic* fine-grained reductions: A strongly subquadratic algorithm for Maximum/Minimum Inner Product would beat the baseline running time of $O(m^{k+\ell-1})$ for *all* problems in MaxSP/MinSP by a polynomial factor. - This completeness transfers to approximation: Maximum/Minimum Inner Product is also complete in the sense that a strongly subquadratic $c$-approximation would give a $(c+\varepsilon)$-approximation for all MaxSP/MinSP problems in time $O(m^{k+\ell-1-\delta})$, where $\varepsilon > 0$ can be chosen arbitrarily small. Combining our completeness with~(Chen, Williams, SODA 2019), we obtain the perhaps surprising consequence that refuting the OV Hypothesis is *equivalent* to giving a $O(1)$-approximation for all MinSP problems in faster-than-$O(m^{k+\ell-1})$ time.


title: Spread balanced Wannier functions: Robust and automatable orbital localization

abstract: We introduce a new type of Wannier functions (WFs) obtained by minimizing the conventional spread functional with a penalty term proportional to the variance of the spread distribution. This modified Wannierisation scheme is less prone to produce ineffective solutions featuring one or several poorly localized orbitals, making it well suited for complex systems or high-throughput applications. Furthermore, we propose an automatable protocol for selecting the initial guess and determine the optimal number of bands (or equivalently WFs) for the localization algorithm. The improved performance and robustness of the approach is demonstrated for a diverse set of test systems including the NV center in diamond, metal slabs with atomic adsorbates, spontaneous polarization of ferroelectrics and 30 inorganic monolayer materials comprising both metals and semiconductors. The methods are implemented in Python as part of the Atomic Simulation Environment (ASE).


title: Highly efficient conversion of laser energy to hard X-rays in high intensity laser-solid simulations

abstract: We present simulations which predict significantly higher laser to X-ray efficiencies than those previously found in high intensity (1e20-1e22 W/cm2) laser-solid simulations. The bremsstrahlung emission is shown to last for 10-100 ps, which is difficult to model with conventional particle-in-cell (PIC) codes. The importance of collective effects is also demonstrated, showing the limitations of Monte Carlo modelling in these systems. A new, open-source hybrid-PIC code with bremsstrahlung routines has been developed to model this X-ray production in 3D. Special boundary conditions are used to emulate complex electron refluxing behaviour, which has been characterised in 2D full-PIC simulations. The peak X-ray efficiency was recorded in thick gold targets, with 7.4% conversion of laser energy into X-rays of energy 1 MeV or higher. The target size is shown to play a role in the conversion efficiency and angular distribution of emitted X-rays, and a simple analytic model is presented for estimating these efficiencies.


title: Scalable Zonotopic Under-approximation of Backward Reachable Sets for Uncertain Linear Systems

abstract: Zonotopes are widely used for over-approximating forward reachable sets of uncertain linear systems for verification purposes. In this paper, we use zonotopes to achieve more scalable algorithms that under-approximate backward reachable sets of uncertain linear systems for control design. The main difference is that the backward reachability analysis is a two-player game and involves Minkowski difference operations, but zonotopes are not closed under such operations. We under-approximate this Minkowski difference with a zonotope, which can be obtained by solving a linear optimization problem. We further develop an efficient zonotope order reduction technique to bound the complexity of the obtained zonotopic under-approximations. The proposed approach is evaluated against existing approaches using randomly generated instances and illustrated with several examples.


title: Real-time Detection and Adaptive Mitigation of Power-based Side-Channel Leakage in SoC

abstract: Power-based side-channel is a serious security threat to the System on Chip (SoC). The secret information is leaked from the power profile of the system while a cryptographic algorithm is running. The mitigation requires efforts from both the software level and hardware level. Currently, there is no comprehensive solution that can guarantee the whole complex system is free of leakage and can generically protect all cryptographic algorithms. In this paper, we propose a real-time leakage detection and mitigation system which enables the system to monitor the side-channel leakage effects of the hardware. Our proposed system has extensions that provide a real-time monitor of power consumption, detection of side-channel leakage, and real-time adaptive mitigation of detected side-channel leakage. Our proposed system is generic and can protect any algorithm running on it.


title: Protected probabilistic classification

abstract: This paper proposes a way of protecting probabilistic prediction models against changes in the data distribution, concentrating on the case of classification and paying particular attention to binary classification. This is important in applications of machine learning, where the quality of a trained prediction algorithm may drop significantly in the process of its exploitation. Our techniques are based on recent work on conformal test martingales and older work on prediction with expert advice, namely tracking the best expert.


title: Ultra-Planckian scattering from a QFT for gravity

abstract: Astonishing cancellations take place in the calculation of high-energy scattering cross sections in quantum quadratic gravity, a quantum field theory for gravity. Tree-level differential cross sections that are minimally inclusive behave as $1/E^2$, as desired for a well-behaved UV completion. Such cross sections are calculated for the various spin states of the massless and massive graviparticles. These describe the hard scattering processes that occur in a picture involving the gravitational analog of parton showers. The structure of some of the simpler amplitudes is also explored. Unitarity without positivity is the key property of the perturbative theory.


title: Configuration of a Magnetic Cloud from Solar Orbiter and Wind Spacecraft In-situ Measurements

abstract: Coronal mass ejections (CMEs) represent one type of the major eruption from the Sun. Their interplanetary counterparts, the interplanetary CMEs (ICMEs), are the direct manifestations of these structures when they propagate into the heliosphere and encounter one or more observing spacecraft. The ICMEs generally exhibit a set of distinctive signatures from the in-situ spacecraft measurements. A particular subset of ICMEs, the so-called Magnetic Clouds (MCs), is more uniquely defined and has been studied for decades, based on in-situ magnetic field and plasma measurements. By utilizing the latest multiple spacecraft measurements and analysis tools, we report a detailed study of the internal magnetic field configuration of an MC event observed by both the Solar Orbiter (SO) and Wind spacecraft in the solar wind near the Sun-Earth line. Both two-dimensional (2D) and three-dimensional (3D) models are applied to reveal the flux rope configurations of the MC. Various geometrical as well as physical parameters are derived and found to be similar within error estimates for the two methods. These results quantitatively characterize the coherent MC flux rope structure crossed by the two spacecraft along different paths. The implication for the radial evolution of this MC event is also discussed.


title: Hebbian learning with gradients: Hebbian convolutional neural networks with modern deep learning frameworks

abstract: Deep learning networks generally use non-biological learning methods. By contrast, networks based on more biologically plausible learning, such as Hebbian learning, show comparatively poor performance and difficulties of implementation. Here we show that Hebbian learning in hierarchical, convolutional neural networks can be implemented almost trivially with modern deep learning frameworks, by using specific losses whose gradients produce exactly the desired Hebbian updates. We provide expressions whose gradients exactly implement a plain Hebbian rule (dw ~= xy), Grossberg's instar rule (dw ~= y(x-w)), and Oja's rule (dw ~= y(x-yw)). As an application, we build Hebbian convolutional multi-layer networks for object recognition. We observe that higher layers of such networks tend to learn large, simple features (Gabor-like filters and blobs), explaining the previously reported decrease in decoding performance over successive layers. To combat this tendency, we introduce interventions (denser activations with sparse plasticity, pruning of connections between layers) which result in sparser learned features, massively increase performance, and allow information to increase over successive layers. We hypothesize that more advanced techniques (dynamic stimuli, trace learning, feedback connections, etc.), together with the massive computational boost offered by modern deep learning frameworks, could greatly improve the performance and biological relevance of multi-layer Hebbian networks.


title: Asymptotic Analysis of Risk Premia Induced by Law-Invariant Risk Measures

abstract: We analyze the limiting behavior of the risk premium associated with the Pareto optimal risk sharing contract in an infinitely expanding pool of risks under a general class of law-invariant risk measures encompassing rank-dependent utility preferences. We show that the corresponding convergence rate is typically only $n^{1/2}$ instead of the conventional $n$, with $n$ the multiplicity of risks in the pool, depending upon the precise risk preferences.


title: Supporting decisions by unleashing multiple mindsets using pairwise comparisons method

abstract: Inconsistency in pairwise comparison judgements is often perceived as an unwanted phenomenon and researchers have proposed a number of techniques to either reduce it or to correct it. We take a viewpoint that this inconsistency unleashes different mindsets of the decision maker(s) that should be taken into account when generating recommendations as decision support. With this aim we consider the spanning trees analysis which is a recently emerging idea for use with the pairwise comparison approach that represents the plurality of mindsets (in terms of a plurality of vectors corresponding to different spanning trees). Until now, the multiplicity of the vectors supplied by the spanning trees approach have been amalgamated into a single preference vector, losing the information about the plurality of mindsets. To preserve this information, we propose a novel methodology taking an approach similar to Stochastic Multi-criteria Acceptability Analysis. Considering all the rankings of alternatives corresponding to the different mindsets, our methodology gives the probability that an alternative attains a given ranking position as well as the probability that an alternative is preferred to another one. Since the exponential number of spanning trees makes their enumeration prohibitive, we propose computing approximate probabilities using statistical sampling of the spanning trees. Our approach is also appealing because it can be applied also to incomplete sets of pairwise comparisons. We demonstrate its usefulness with a didactic example as well as with an application to a real-life case of selecting a Telecom backbone infrastructure for rural areas.


title: Gauge Theory and the Analytic Form of the Geometric Langlands Program

abstract: We present a gauge-theoretic interpretation of the "analytic" version of the geometric Langlands program, in which Hitchin Hamiltonians and Hecke operators are viewed as concrete operators acting on a Hilbert space of quantum states. The gauge theory ingredients required to understand this construction -- such as electric-magnetic duality between Wilson and 't Hooft line operators in four-dimensional gauge theory -- are the same ones that enter in understanding via gauge theory the more familiar formulation of geometric Langlands, but now these ingredients are organized and applied in a novel fashion.


title: Toward Increased Airspace Safety: Quadrotor Guidance for Targeting Aerial Objects

abstract: As the market for commercially available unmanned aerial vehicles (UAVs) booms, there is an increasing number of small, teleoperated or autonomous aircraft found in protected or sensitive airspace. Existing solutions for removal of these aircraft are either military-grade and too disruptive for domestic use, or compose of cumbersomely teleoperated counter-UAV vehicles that have proven ineffective in high-profile domestic cases. In this work, we examine the use of a quadrotor for autonomously targeting semi-stationary and moving aerial objects with little or no prior knowledge of the target's flight characteristics. Guidance and control commands are generated with information just from an onboard monocular camera. We draw inspiration from literature in missile guidance, and demonstrate an optimal guidance method implemented on a quadrotor but not usable by missiles. Results are presented for first-pass hit success and pursuit duration with various methods. Finally, we cover the CMU Team Tartan entry in the MBZIRC 2020 Challenge 1 competition, demonstrating the effectiveness of simple line-of-sight guidance methods in a structured competition setting.


title: Latent structure blockmodels for Bayesian spectral graph clustering

abstract: Spectral embedding of network adjacency matrices often produces node representations living approximately around low-dimensional submanifold structures. In particular, hidden substructure is expected to arise when the graph is generated from a latent position model. Furthermore, the presence of communities within the network might generate community-specific submanifold structures in the embedding, but this is not explicitly accounted for in most statistical models for networks. In this article, a class of models called latent structure block models (LSBM) is proposed to address such scenarios, allowing for graph clustering when community-specific one dimensional manifold structure is present. LSBMs focus on a specific class of latent space model, the random dot product graph (RDPG), and assign a latent submanifold to the latent positions of each community. A Bayesian model for the embeddings arising from LSBMs is discussed, and shown to have a good performance on simulated and real world network data. The model is able to correctly recover the underlying communities living in a one-dimensional manifold, even when the parametric form of the underlying curves is unknown, achieving remarkable results on a variety of real data.


title: Cloud Versus Local Processing in Distributed Networks

abstract: A method for evaluating the relative performance of local, cloud and combined processing of divisible (i.e. partitionable) data loads is presented. It is shown how to do this in the context of Amdahl's law. A single level (star) network operating under each of three fundamental scheduling policies is used as an example. Applications include mobile computing, cloud computing and signature searching.


title: The $\sigma_-$ Cohomology Analysis for Symmetric Higher-Spin Fields

abstract: In this paper, we present a complete proof of the so-called First On-Shell Theorem that determines dynamical content of the unfolded equations for free symmetric massless fields of arbitrary integer spin in any dimension and arbitrary integer or half-integer spin in four dimensions. This is achieved by calculation of the respective $\sigma_-$ cohomology both in the tensor language in Minkowski space of any dimension and in terms of spinors in $AdS_4$. In the $d$-dimensional case $H^p(\sigma_-)$ is computed for any $p$ and interpretation of $H^p(\sigma_-)$ is given both for the original Fronsdal system and for the associated systems of higher form fields.


title: On the quantum tunneling time: Instantaneous, finite or probabilistic?

abstract: Quantum particles interacting with potential barriers are ubiquitous in physics, and the question of how much time they spend inside classically forbidden regions has attracted interest for many decades. Recent developments of new experimental techniques revived the issue and ignited a debate with often contradictory results. This motivates the present study of an exactly solvable model for quantum tunneling induced by a strong field. We show that the tunneling dynamics can depart significantly from the scenario in which the barrier-traversal time is zero or very small. However, our findings do not support the idea of a well-defined tunneling time either. Our numerically exact results should help in finding a consensus about this fundamental problem.


title: Beyond the spontaneous scalarization: New fully nonlinear dynamical mechanism for formation of scalarized black holes

abstract: In the present letter we show the existence of a fully nonlinear dynamical mechanism for the formation of scalarized black holes which is different from the spontaneous scalarization. We consider a class of scalar-Gauss-Bonnet gravity theories within which no tachyonic instability can occur. Although the Schwarzschild black holes are linearly stable against scalar perturbations, we show dynamically that for certain choices of the coupling function they are unstable against nonlinear scalar perturbations. This nonlinear instability leads to the formation of new black holes with scalar hair. The fully nonlinear and self-consistent study of the equilibrium black holes reveals that the spectrum of solutions is more complicated and more than one scalarized branch can exist. We have also considered classes of scalar-Gauss-Bonnet theories where both the standard and the nonlinear scalarization can be present, and they are smoothly connected that completes in an interesting way the picture of black hole scalarization. The fully nonlinear (de)scalarization of a Schwarzschild black hole will always happen with a jump because the stable "scalarized branch" is not continuously connected to the Schwarzschild one that can leave clear observational signatures.


title: KAISA: An Adaptive Second-Order Optimizer Framework for Deep Neural Networks

abstract: Kronecker-factored Approximate Curvature (K-FAC) has recently been shown to converge faster in deep neural network (DNN) training than stochastic gradient descent (SGD); however, K-FAC's larger memory footprint hinders its applicability to large models. We present KAISA, a K-FAC-enabled, Adaptable, Improved, and ScAlable second-order optimizer framework that adapts the memory footprint, communication, and computation given specific models and hardware to improve performance and increase scalability. We quantify the tradeoffs between memory and communication cost and evaluate KAISA on large models, including ResNet-50, Mask R-CNN, U-Net, and BERT, on up to 128 NVIDIA A100 GPUs. Compared to the original optimizers, KAISA converges 18.1-36.3% faster across applications with the same global batch size. Under a fixed memory budget, KAISA converges 32.5% and 41.6% faster in ResNet-50 and BERT-Large, respectively. KAISA can balance memory and communication to achieve scaling efficiency equal to or better than the baseline optimizers. KAISA is open source and available at https://github.com/gpauloski/kfac_pytorch.


title: Beyond Fowler-Nordheim model: Harmonic generation from metallic nano-structures

abstract: Metallic structures interacting with electromagnetic fields are known to exhibit properties similar to those found in atoms and molecules, such as multi-photon and tunnel ionization. Developing this similarity beyond the electron emission current, we generalize the wellknown Fowler-Nordheim model, and predict heretofore unrecognized source of nonlinear optical response from nano-structures exposed to illumination with intense optical pulses.


title: Decay/growth rates for inhomogeneous heat equations with memory. The case of large dimensions

abstract: We study the decay/growth rates in all $L^p$ norms of solutions to an inhomogeneous nonlocal heat equation in $\mathbb{R}^N$ involving a Caputo $\alpha$-time derivative and a power $\beta$ of the Laplacian when the dimension is large, $N> 4\beta$. Rates depend strongly on the space-time scale and on the time behavior of the spatial $L^1$ norm of the forcing term.


title: Nonparametric Detection of Multiple Location-Scale Change Points via Wild Binary Segmentation

abstract: While parametric multiple change point detection has been widely studied, less attention has been given to the nonparametric task of detecting multiple change points in a sequence of observations when their distribution is unknown. Most existing work on this topic is either based on penalized cost functions which can suffer from false positive detections, or on binary segmentation which can fail to detect certain configurations of change points. We introduce a new approach to change point detection which adapts the recently proposed Wild Binary Segmentation (WBS) procedure to a nonparametric setting. Our approach is based on the use of rank based test statistics which are especially powerful at detecting changes in location and/or scale. We show via simulation that the resulting nonparametric WBS procedure has favorable performance compared to existing methods, particularly when it comes to detecting changes in scale. We apply our procedure to study a problem in stylometry involving change points in an author's writing style, and provide a full implementation of our algorithm in an associated R package.


title: Remark on using quantum states prepared by the adiabatic quantum computation

abstract: We indicate that there are points to keep in mind in utilizing quantum states prepared by the adiabatic quantum computation. Even if an instantaneous expectation value of a physical quantity for the adiabatically prepared quantum state is close to an expectation value for the true vacuum, this does not assure us that the prepared vacuum is close to the true vacuum. In general time average of the expectation value tend to systematically differ from the true value. Using a simple model we discuss how to diminish this systematic difference.


title: A Testbed for Investigation of Selective Laser Melting at Elevated Atmospheric Pressure

abstract: Metal additive manufacturing (AM) by laser powder bed fusion (L-PBF) builds upon fundamentals established in the field of laser welding which include the influence of gas and plume dynamics on weld depth and quality. L-PBF demands a thorough investigation of the complex thermophysical phenomena that occur where the laser interacts with the metal powder bed. In particular, melt pool turbulence and evaporation are influenced by the ambient gas chemistry and pressure. This paper presents the design and validation of high pressure laser melting (HPLM) testbed; this accommodates bare metal plate samples as well as manually-coated single powder layers, and operates at up to 300 psig. The open architecture of this testbed allows for full control of all relevant laser parameters in addition to ambient gas pressure and gas flow over the build area. Representative melt tracks and rasters on bare plate and powder are examined in order to validate system performance, and preliminary analysis concludes that pressure has a significant impact on melt pool aspect ratio. The HPLM system thus enables careful study pressure effects on processing of common L-PBF materials, and can be applied in the future to materials that are challenging to process under ambient pressure, such as those with high vapor pressures.


title: Massively parallelizable proximal algorithms for large-scale stochastic optimal control problems

abstract: Scenario-based stochastic optimal control problems suffer from the curse of dimensionality as they can easily grow to six and seven figure sizes. First-order methods are suitable as they can deal with such large-scale problems, but may fail to achieve accurate solutions within a reasonable number of iterations. To achieve solutions of higher accuracy and high speed, in this paper we propose two proximal quasi-Newtonian limited-memory algorithms - MinFBE applied to the dual problem and the Newton-type alternating minimization algorithm (NAMA) - which can be massively parallelized on lockstep hardware such as graphics processing units (GPUs). We demonstrate the performance of these methods, in terms of convergence speed and parallelizability, on large-scale problems involving millions of variables.


title: Mobility decisions, economic dynamics and epidemic

abstract: We propose a model, which nests a susceptible-infected-recovered-deceased (SIRD) epidemic model into a dynamic macroeconomic equilibrium framework with agents' mobility. The latter affect both their income and their probability of infecting and being infected. Strategic complementarities among individual mobility choices drive the evolution of aggregate economic activity, while infection externalities caused by individual mobility affect disease diffusion. The continuum of rational forward-looking agents coordinates on the Nash equilibrium of a discrete time, finite-state, infinite-horizon Mean Field Game. We prove the existence of an equilibrium and provide a recursive construction method for the search of an equilibrium(a), which also guides our numerical investigations. We calibrate the model by using Italian experience on COVID-19 epidemic and we discuss policy implications.


title: Pearson Equations for Discrete Orthogonal Polynomials: I. Generalized Hypergeometric Functions and Toda Equations

abstract: The Cholesky factorization of the moment matrix is applied to discrete orthogonal polynomials on the homogeneous lattice. In particular, semiclassical discrete orthogonal polynomials, which are built in terms of a discrete Pearson equation, are studied. The Laguerre-Freud structure semi-infinite matrix that models the shifts by $\pm 1$ in the independent variable of the set of orthogonal polynomials is introduced. In the semiclassical case it is proven that this Laguerre-Freud matrix is banded. From the well known fact that moments of the semiclassical weights are logarithmic derivatives of generalized hypergeometric functions, it is shown how the contiguous relations for these hypergeometric functions translate as symmetries for the corresponding moment matrix. It is found that the 3D Nijhoff-Capel discrete Toda lattice describes the corresponding contiguous shifts for the squared norms of the orthogonal polynomials. The continuous Toda for these semiclassical discrete orthogonal polynomials is discussed and the compatibility equations are derived. It also shown that the Kadomtesev-Petvishvilii equation is connected to an adequate deformed semiclassical discrete weight, but in this case the deformation do not satisfy a Pearson equation.


title: Controllable cardiac synthesis via disentangled anatomy arithmetic

abstract: Acquiring annotated data at scale with rare diseases or conditions remains a challenge. It would be extremely useful to have a method that controllably synthesizes images that can correct such underrepresentation. Assuming a proper latent representation, the idea of a "latent vector arithmetic" could offer the means of achieving such synthesis. A proper representation must encode the fidelity of the input data, preserve invariance and equivariance, and permit arithmetic operations. Motivated by the ability to disentangle images into spatial anatomy (tensor) factors and accompanying imaging (vector) representations, we propose a framework termed "disentangled anatomy arithmetic", in which a generative model learns to combine anatomical factors of different input images such that when they are re-entangled with the desired imaging modality (e.g. MRI), plausible new cardiac images are created with the target characteristics. To encourage a realistic combination of anatomy factors after the arithmetic step, we propose a localized noise injection network that precedes the generator. Our model is used to generate realistic images, pathology labels, and segmentation masks that are used to augment the existing datasets and subsequently improve post-hoc classification and segmentation tasks. Code is publicly available at https://github.com/vios-s/DAA-GAN.


title: Cosmological Constraints using the newest VLT-KMOS HII Galaxies and the full Planck CMB spectrum

abstract: We present novel cosmological constraints based on a joint analysis of our HII galaxies (HIIG) Hubble relation with the full Planck Cosmic Microwave Background anisotropy spectrum and the Baryon Acoustic Oscillations (BAO) probes. The HII galaxies span a large redshift range $(0.088 \le z \le 2.5)$, reaching significantly higher redshifts than available SNIa and hence they probe the cosmic expansion at earlier times. Our independent constraints compare well with those based on the Pantheon compilation of SNIa data, which we also analyse. We find our results to be in agreement with the conformal $\Lambda$CDM model within 1$\sigma$. We also use our HIIG data to examine the behaviour of the dark energy equation of state parameter under the CPL parameterisation, $w = w_0+w_a \frac{z}{1+z}$, and find consistent results with those based on SNIa, although the degeneracy in the parameter space as well as the individual parameter uncertainties, when marginalizing one over the other, are quite large.


title: Data-driven enhancement of coherent structure-based models for predicting instantaneous wall turbulence

abstract: Predictions of the spatial representation of instantaneous wall-bounded flows, via coherent structure-based models, are highly sensitive to the geometry of the representative structures employed by them. In this study, we propose a methodology to extract the three-dimensional (3-D) geometry of the statistically significant eddies from multi-point wall-turbulence datasets, for direct implementation into these models to improve their predictions. The methodology is employed here for reconstructing a 3-D statistical picture of the inertial wall coherent turbulence for all canonical wall-bounded flows, across a decade of friction Reynolds number ($Re_{\tau}$). These structures are responsible for the $Re_{\tau}$-dependence of the skin-friction drag and also facilitate the inner-outer interactions, making them key targets of structure-based models. The empirical analysis brings out the geometric self-similarity of the large-scale wall-coherent motions and also suggests the hairpin packet as the representative flow structure for all wall-bounded flows, thereby aligning with the framework on which the attached eddy model (AEM) is based. The same framework is extended here to also model the very-large-scaled motions, with a consideration of their differences in internal versus external flows. Implementation of the empirically-obtained geometric scalings for these large structures into the AEM is shown to enhance the instantaneous flow predictions for all three velocity components. Finally, an active flow control system driven by the same geometric scalings is conceptualized, towards favourably altering the influence of the wall coherent motions on the skin-friction drag.


title: The newly observed state $D_{s0}(2590)^{+}$

abstract: We choose the Reduction Formula, PCAC and Low Energy Theory to reduce the $S$ matrix of a OZI allowed two-body strong decay involving a light pseudoscalar, the covariant transition amplitude formula with relativistic wave functions as input is derived. After confirm this method by the decay $D^*(2010)\to D\pi$, we study the newly observed $D_{s0}(2590)^{+}$ with supposing it to be the state $D_s(2^1S_0)^+$, we find its decay width $\Gamma$ is highly sensitive to the $D_{s0}(2590)^{+}$ mass, which result in the meaningless comparison of widths by different models with various input masses. Instead of width, we studied the overlap integral over the wave functions of initial and final states, here we parameterized it as $X$ which is model-independent, and the ratio $\Gamma/{|{\vec P_f}|^3}$, both are almost mass independent, to give us useful information. The results show that, all the existing theoretical predictions $X_{D_s(2S) \to D^*K}=0.25\sim 0.41$ and $\Gamma/{|{\vec P_f}|^3}=0.81\sim1.77$ MeV$^{-2}$ are smaller than experimental data $0.585^{+0.015}_{-0.035}$ and $4.54^{+0.25}_{-0.52}$ MeV$^{-2}$. Further compared with $X^{ex}_{D^*(2010) \to D\pi}=0.540\pm0.009$, the current data $X^{ex}_{D_s(2S) \to D^*K}=0.585^{+0.015}_{-0.035}$ is too big to be an reasonable value, so it is early to say $D_{s0}(2590)^{+}$ is the conventional $D_s(2^1S_0)^+$ meson.


title: Dynamic programming by polymorphic semiring algebraic shortcut fusion

abstract: Dynamic programming (DP) is an algorithmic design paradigm for the efficient, exact solution of otherwise intractable, combinatorial problems. However, DP algorithm design is often presented in an ad-hoc manner. It is sometimes difficult to justify algorithm correctness. To address this issue, this paper presents a rigorous algebraic formalism for systematically deriving DP algorithms, based on semiring polymorphism. We start with a specification, construct an algorithm to compute the required solution which is self-evidently correct because it exhaustively generates and evaluates all possible solutions meeting the specification. We then derive, through the use of shortcut fusion, an implementation of this algorithm which is both efficient and correct. We also demonstrate how, with the use of semiring lifting, the specification can be augmented with combinatorial constraints, showing how these constraints can be fused with the algorithm. We furthermore demonstrate how existing DP algorithms for a given combinatorial problem can be abstracted from their original context and re-purposed. This approach can be applied to the full scope of combinatorial problems expressible in terms of semirings. This includes, for example: optimal probability and Viterbi decoding, probabilistic marginalization, logical inference, fuzzy sets, differentiable softmax, relational and provenance queries. The approach, building on ideas from the existing literature on constructive algorithmics, exploits generic properties of polymorphic functions, tupling and formal sums and algebraic simplifications arising from constraint algebras. We demonstrate the effectiveness of this formalism for some example applications arising in signal processing, bioinformatics and reliability engineering. Python software implementing these algorithms can be downloaded from: http://www.maxlittle.net/software/dppolyalg.zip.


title: A comparative study of eight human auditory models of monaural processing

abstract: A number of auditory models have been developed using diverging approaches, either physiological or perceptual, but they share comparable stages of signal processing, as they are inspired by the same constitutive parts of the auditory system. We compare eight monaural models that are openly accessible in the Auditory Modelling Toolbox. We discuss the considerations required to make the model outputs comparable to each other, as well as the results for the following model processing stages or their equivalents: Outer and middle ear, cochlear filter bank, inner hair cell, auditory nerve synapse, cochlear nucleus, and inferior colliculus. The discussion includes a list of recommendations for future applications of auditory models.


title: On the quantization of $C^{\infty}(\mathbb R^d)$

abstract: The Basic Universal Deformation Formula is proven and applied to show that Weyl algebras, which encode Heisenberg's uncertainty principle, are effective deformations of polynomial rings, and that uncertainty is necessary for stability. Deformation problems may have associated modular groups an algebraic example of which is given. Poisson structures on $C^{\infty}(\mathbf R^d)$, shown by Kontsevich to be infinitesimal deformations integrable to full deformations, here are shown to be the skew forms of those infinitesimal deformations of $C^{\infty}(\mathbf R^d)$ with vanishing primary obstructions. In dimension 3 any smooth multiple of such an infinitesimal again has vanishing primary obstruction. This exceptional property suggests that in our universe a large disturbance like the Big Bang can be confined to an arbitrarily small interval in time and almost completely confined to an arbitrarily small region in space.


title: Positivity vs. Lorentz-violation: an explicit example

abstract: We show how a class of multi-field scalar-field theories in a Lorentz-breaking background imposes consistency conditions on its effective theory of a single field and provides an example of order-unity violation of a naively applied positivity bound, assuming a large hierarchy between the masses of the lightest field and the others.


title: Lower and upper order of harmonic mappings

abstract: In this paper, we define both the upper and lower order of a sense-preserving harmonic mapping in $\mathbb{D}$. We generalize to the harmonic case some known results about holomorphic functions with positive lower order and we show some consequences of a function having finite upper order. In addition, we improve a related result in the case when there is equality in a known distortion theorem for harmonic mappings with finite upper order. Some examples are provided to illustrate the developed theory.


title: The Least Restriction for Offline Reinforcement Learning

abstract: Many practical applications of reinforcement learning (RL) constrain the agent to learn from a fixed offline dataset of logged interactions, which has already been gathered, without offering further possibility for data collection. However, commonly used off-policy RL algorithms, such as the Deep Q Network and the Deep Deterministic Policy Gradient, are incapable of learning without data correlated to the distribution under the current policy, making them ineffective for this offline setting. As the first step towards useful offline RL algorithms, we analysis the reason of instability in standard off-policy RL algorithms. It is due to the bootstrapping error. The key to avoiding this error, is ensuring that the agent's action space does not go out of the fixed offline dataset. Based on our consideration, a creative offline RL framework, the Least Restriction (LR), is proposed in this paper. The LR regards selecting an action as taking a sample from the probability distribution. It merely set a little limit for action selection, which not only avoid the action being out of the offline dataset but also remove all the unreasonable restrictions in earlier approaches (e.g. Batch-Constrained Deep Q-Learning). In the further, we will demonstrate that the LR, is able to learn robustly from different offline datasets, including random and suboptimal demonstrations, on a range of practical control tasks.


title: Nonequilibrium thermodynamic process with hysteresis and metastable states -- A contact Hamiltonian with unstable and stable segments of a Legendre submanifold

abstract: In this paper, a dynamical process in a statistical thermodynamic system of spins exhibiting a phase transition is described on a contact manifold, where such a dynamical process is a process that a metastable equilibrium state evolves into the most stable symmetry broken equilibrium state. Metastable and the most stable equilibrium states in the symmetry broken phase or ordered phase are assumed to be described as pruned projections of Legendre submanifolds of contact manifolds, where these pruned projections of the submanifolds express hysteresis and pseudo-free energy curves. Singularities associated with phase transitions are naturally arose in this framework as has been suggested by Legendre singularity theory. Then a particular contact Hamiltonian vector field is proposed so that a pruned segment of the projected Legendre submanifold is a stable fixed point set in a region of a contact manifold, and that another pruned segment is a unstable fixed point set. This contact Hamiltonian vector field is identified with a dynamical process departing from a metastable equilibrium state to the most stable equilibrium one. To show the statements above explicitly an Ising type spin model with long-range interactions, called the Husimi-Temperley model, is focused, where this model exhibits a phase transition.


title: Learning Geometric Combinatorial Optimization Problems using Self-attention and Domain Knowledge

abstract: Combinatorial optimization problems (COPs) are an important research topic in various fields. In recent times, there have been many attempts to solve COPs using deep learning-based approaches. We propose a novel neural network model that solves COPs involving geometry based on self-attention and a new attention mechanism. The proposed model is designed such that the model efficiently learns point-to-point relationships in COPs involving geometry using self-attention in the encoder. We propose efficient input and output sequence ordering methods that reduce ambiguities such that the model learns the sequences more regularly and effectively. Geometric COPs involve geometric requirements that need to be satisfied. In the decoder, a new masking scheme using domain knowledge is proposed to provide a high penalty when the geometric requirement of the problem is not satisfied. The proposed neural net is a flexible framework that can be applied to various COPs involving geometry. We conduct experiments to demonstrate the effectiveness of the proposed model for three COPs involving geometry: Delaunay triangulation, convex hull, and the planar Traveling Salesman problem. Our experimental results show that the proposed model exhibits competitive performance in finding approximate solutions for solving these problems.


title: Single Model for Influenza Forecasting of Multiple Countries by Multi-task Learning

abstract: The accurate forecasting of infectious epidemic diseases such as influenza is a crucial task undertaken by medical institutions. Although numerous flu forecasting methods and models based mainly on historical flu activity data and online user-generated contents have been proposed in previous studies, no flu forecasting model targeting multiple countries using two types of data exists at present. Our paper leverages multi-task learning to tackle the challenge of building one flu forecasting model targeting multiple countries; each country as each task. Also, to develop the flu prediction model with higher performance, we solved two issues; finding suitable search queries, which are part of the user-generated contents, and how to leverage search queries efficiently in the model creation. For the first issue, we propose the transfer approaches from English to other languages. For the second issue, we propose a novel flu forecasting model that takes advantage of search queries using an attention mechanism and extend the model to a multi-task model for multiple countries' flu forecasts. Experiments on forecasting flu epidemics in five countries demonstrate that our model significantly improved the performance by leveraging the search queries and multi-task learning compared to the baselines.


title: Neutrino emission from the collapse of $\sim 10^4$ $M_\odot$ population III supermassive stars

abstract: We calculate the neutrino signal from Population III supermassive star collapse using a neutrino transfer code originally developed for core collapse supernovae and massive star collapse. Using this code, we are able to investigate the supermassive star mass range thought to undergo neutrino trapping ($\sim 10^4$ M$_\odot$), a mass range which has been neglected by previous works because of the difficulty of neutrino transfer. For models in this mass range, we observe a neutrino-sphere with a large radius and low density compared to typical massive star neutrino-spheres. We calculate the neutrino light-curve emitted from this neutrino-sphere. The resulting neutrino luminosity is significantly lower than the results of a previous analytical model. We briefly discuss the possibility of detecting a neutrino burst from a supermassive star or the neutrino background from many supermassive stars and conclude that the former is unlikely with current technology, unless the SMS collapse is located as close as 1 Mpc, while the latter is also unlikely even under very generous assumptions. However, the supermassive star neutrino background is still of interest as it may serve as a source of noise in proposed dark matter direct detection experiments.


title: Energy Management Strategy for Unmanned Tracked Vehicles Based on Local Speed Planning

abstract: The hybrid electric system has good potential for unmanned tracked vehicles due to its excellent power and economy. Due to unmanned tracked vehicles have no traditional driving devices, and the driving cycle is uncertain, it brings new challenges to conventional energy management strategies. This paper proposes a novel energy management strategy for unmanned tracked vehicles based on local speed planning. The contributions are threefold. Firstly, a local speed planning algorithm is adopted for the input of driving cycle prediction to avoid the dependence of traditional vehicles on driver's operation. Secondly, a prediction model based on Convolutional Neural Networks and Long Short-Term Memory (CNN-LSTM) is proposed, which is used to process both the planned and the historical velocity series to improve the prediction accuracy. Finally, based on the prediction results, the model predictive control algorithm is used to realize the real-time optimization of energy management. The validity of the method is verified by simulation using collected data from actual field experiments of our unmanned tracked vehicle. Compared with multi-step neural networks, the prediction model based on CNN-LSTM improves the prediction accuracy by 20%. Compared with the traditional regular energy management strategy, the energy management strategy based on model predictive control reduces fuel consumption by 7%.


title: Exploration of increasing drivers trust in a semi-autonomous vehicle through real time visualizations of collaborative driving dynamic

abstract: The Thinking Wave is an ongoing development of visualization concepts showing the real-time effort and confidence of semi-autonomous vehicle (AV) systems. Offering drivers access to this information can inform their decision making, and enable them to handle the situation accordingly and takeover when necessary. Two different visualizations have been designed, Concept one, Tidal, demonstrates the AV systems effort through intensified activity of a simple graphic which fluctuates in speed and frequency. Concept two, Tandem, displays the effort of the AV system as well as the handling dynamic and shared responsibility between the driver and the vehicle system. Working collaboratively with mobility research teams at the University of Tokyo, we are prototyping and refining the Thinking Wave and its embodiments as we work towards building a testable version integrated into a driving simulator. The development of the thinking wave aims to calibrate trust by increasing the drivers knowledge and understanding of vehicle handling capacity. By enabling transparent communication of the AV systems capacity, we hope to empower AV-skeptic drivers and keep over-trusting drivers on alert in the case of an emergency takeover situation, in order to create a safer autonomous driving experience.


title: On the cauchy problem with degenerate diffusion and nonlocal nonlinear sources

abstract: This paper is devoted to the analysis of non-negative solutions for a generalisation of the parabolic equation with porous medium like nonlinear diffusion and nonlinear nonlocal reaction. We investigate under which conditions equilibration between two competing effects, repulsion modelled by nonlinear diffusion and aggregation modelled by nonlinear reaction, occurs. Precisely, we exhibit that the qualitative behavior of solutions is decided by the nonlinear diffusion which is chosen in such a way that its scaling and the reaction term coincide, i.e. that there is a critical exponent $m+2/n$ for the reaction exponent $\alpha,$ solutions exist globally with uniformly upper bounds in the case of (i)$1\le \alpha<m+2/n$ for any initial data, (ii) $\alpha>m+2/n$ for small initial data and (iii) $\alpha=m+2/n$ for small mass capacity $M_0$. In the case of (ii) and (iii), the decay properties of the solution are also discussed. Moreover, numerical simulations are carried out to verify the theoretical analysis and explore other issues that lie beyond the scope of the analysis.


title: Uncovering double-stripe and plaquette antiferromagnetic states in the one-band Hubbard model on a frustrated square lattice

abstract: Groundstate magnetism of the one-band Hubbard model on the frustrated square lattice where both nearest-neighbour $t_1$ and next-nearest-neighbour $t_2$ hoppings are considered at half-filling are revisited within mean field approximation. Two new magnetic phases are detected at intermediate strength of Hubbard $U$ and relative strong frustration of $t_2/t_1$, named double-stripe and plaquette antiferromagnetic states, both of which are metallic and stable even at finite temperature and electron doping. The nature of the phase transitions between different phases and the properties of the two new states are analyzed in detail. Our results of various magnetic states emerging from geometric frustration in the minimal model suggests that distinct antiferromagnetism observed experimentally in the parent states of two high-T$_c$ superconducting families, i.e., cuprates and iron-based superconductors, may be understood from a unified microscopic origin, irrespective of orbital degrees of freedom, or hoppings further than next-nearest neighbour, etc.


title: E-SC4R: Explaining Software Clustering for Remodularisation

abstract: Maintenance of existing software requires a large amount of time for comprehending the source code. The architecture of a software, however, may not be clear to maintainers if up to date documentations are not available. Software clustering is often used as a remodularisation and architecture recovery technique to help recover a semantic representation of the software design. Due to the diverse domains, structure, and behaviour of software systems, the suitability of different clustering algorithms for different software systems are not investigated thoroughly. Research that introduce new clustering techniques usually validate their approaches on a specific domain, which might limit its generalisability. If the chosen test subjects could only represent a narrow perspective of the whole picture, researchers might risk not being able to address the external validity of their findings. This work aims to fill this gap by introducing a new approach, Explaining Software Clustering for Remodularisation, to evaluate the effectiveness of different software clustering approaches. This work focuses on hierarchical clustering and Bunch clustering algorithms and provides information about their suitability according to the features of the software, which as a consequence, enables the selection of the most optimum algorithm and configuration from our existing pool of choices for a particular software system. The proposed framework is tested on 30 open source software systems with varying sizes and domains, and demonstrates that it can characterise both the strengths and weaknesses of the analysed software clustering algorithms using software features extracted from the code. The proposed approach also provides a better understanding of the algorithms behaviour through the application of dimensionality reduction techniques.


title: Parking functions: Interdisciplinary connections

abstract: Suppose that $m$ drivers each choose a preferred parking space in a linear car park with $n$ spots. In order, each driver goes to their chosen spot and parks there if possible, and otherwise takes the next available spot if it exists. If all drivers park successfully, the sequence of choices is called a parking function. Classical parking functions correspond to the case $m=n$. We investigate various probabilistic properties of a uniform parking function. Through a combinatorial construction termed a parking function multi-shuffle, we give a formula for the law of multiple coordinates in the generic situation $m \lesssim n$. We further deduce all possible covariances, between two coordinates, between a coordinate and an unattempted spot, and between two unattempted spots. This asymptotic scenario in the generic situation $m \lesssim n$ is in sharp contrast with that of the special situation $m=n$. A generalization of parking functions called interval parking functions is also studied, in which each driver is willing to park only in a fixed interval of spots. We construct a family of bijections between interval parking functions with $n$ cars and $n$ spots and edge-labeled spanning trees with $n+1$ vertices and a specified root.


title: Tits groups of Iwahori-Weyl groups and presentations of Hecke algebras

abstract: Let $G$ be a connected reductive group over a non-archimedean local field $F$ and $I$ be an Iwahori subgroup of $G(F)$. Let $I_n$ is the $n$-th Moy-Prasad filtration subgroup of $I$. The purpose of this paper is two-fold: to give some nice presentations of the Hecke algebra of connected, reductive groups with $I_n$-level structure; and to introduce the Tits group of the Iwahori-Weyl group of groups $G$ that split over an unramified extension of $F$. The first main result of this paper is a presentation of the Hecke algebra $\mathcal H(G(F),I_n)$, generalizing the previous work of Iwahori-Matsumoto on the affine Hecke algebras. For split $GL_n$, Howe gave a refined presentation of the Hecke algebra $\mathcal H(G(F),I_n)$. To generalize such a refined presentation to other groups requires the existence of some nice lifting of the Iwahori-Weyl group $W$ to $G(F)$. The study of a certain nice lifting of $W$ is the second main motivation of this paper, which we discuss below. In 1966, Tits introduced a certain subgroup of $G(\mathbf k)$, which is an extension of $W$ by an elementary abelian $2$-group. This group is called the Tits group and provides a nice lifting of the elements in the finite Weyl group. The "Tits group" $\mathcal T$ for the Iwahori-Weyl group $W$ is a certain subgroup of $G(F)$, which is an extension of the Iwahori-Weyl group $W$ by an elementary abelian $2$-group. The second main result of this paper is a construction of Tits group $\mathcal T$ for $W$ when $G$ splits over an unramified extension of $F$. As a consequence, we generalize Howe's presentation to such groups. We also show that when $G$ is ramified over $F$, such a group $\mathcal T$ of $W$ may not exist.


title: A Nadel-type vanishing theorem concerning the asymptotic multiplier ideal sheaf

abstract: In this paper we establish a Nadel-type vanishing theorem on a projective manifold $X$ concerning the asymptotic multiplier ideal sheaf.


title: Identifying intrinsic and extrinsic mechanisms of anisotropic magnetoresistance with terahertz probes

abstract: Identifying the intrinsic and extrinsic origins of magneto-transport in spin-orbit coupled systems has long been a central theme in condensed matter physics. However, it has been elusive owing to the lack of an appropriate experimental tool. In this work, using terahertz time-domain spectroscopy, we unambiguously disentangle the intrinsic and extrinsic contributions to the anisotropic magnetoresistance (AMR) of a permalloy film. We find that the scattering-independent intrinsic contribution to AMR is sizable and is as large as the scattering-dependent extrinsic contribution to AMR. Moreover, the portion of intrinsic contribution to total AMR increases with increasing temperature due to the reduction of extrinsic contribution. Further investigation reveals that the reduction of extrinsic contribution is caused by the phonon/magnon-induced negative AMR. Our result will stimulate further researches on other spin-orbit-interaction-induced phenomena for which identifying the intrinsic and extrinsic contributions is important.


title: Temporally and Spatially Extended Star Formation in the Brightest Cluster Galaxy of MACS\,J0329.7$-$0211 at $z=0.45$: Implications for Stellar Growth

abstract: Brightest cluster galaxies (BCGs), particularly those at the centers of cool-core clusters, can exhibit star formation over spatial extents of up to $\gtrsim$100\,kpc at inferred rates of up to $\gtrsim100\rm\,M_\sun\,yr^{-1}$. Is their star formation also extended over time, as might be expected if fuelled by cooling of the surrounding hot intracluster gas -- a residual cooling flow -- as demonstrated hitherto only for the BCG in the Perseus cluster? Here, to infer the formation history of relatively young stars in the BCG of MACS\,J0329.7$-$0211, we fit model single-stellar-populations to the spectral energy distributions (spanning near-UV to near-IR) measured along different sightlines towards its young stellar population. Employing a Markov Chain Monte Carlo method, we show that star formation in this BCG has persisted at a relatively constant rate of $\sim2{\rm\,M_\sun\,yr^{-1}}$ (factors of 10--40 below the rates previously inferred using simpler methods and/or ad hoc assumptions) over the past $\sim$400\,Myr, beyond which any star formation falls below the observational detection threshold. Such persistent star formation from a residual cooling flow can contribute up to $\sim$10\% of the original stellar mass of this BCG if its progenitor was among the most massive red nuggets known at $z\sim$2 having masses of $\sim1\times10^{11}\rm\,M_\sun$, but only a few percent of its overall growth in stellar mass to $\sim8\times10^{11}\rm\,M_\sun$ at $z=0.45$. Although constituting only a minor pathway for the stellar growth of this BCG, persistent star formation from a residual cooling flow can nevertheless contribute significantly to the enormous number of globular clusters found around BCGs in the local Universe.


title: Effect of dust rotational disruption by radiative torques on radiation pressure feedback from massive protostars

abstract: Radiation pressure on dust is thought to play a crucial role in the formation process of massive stars by acting against gravitational collapse onto the central protostar. However, dust properties in dense regions irradiated by the intense radiation of massive protostars are poorly constrained. Previous studies usually assume the standard interstellar dust model to constrain the maximum mass of massive stars formed by accretion, which appears to contradict with dust evolution theory. In this paper, using the fact that stellar radiation exerts on dust simultaneous radiation pressure and radiative torques, we study the effects of grain rotational disruption by radiative torques (RATs) on radiation pressure and explore its implications for massive star formation. For this paper, we focus on the protostellar envelope and adopt a spherical geometry. We find that original large grains of micron-sizes presumably formed in very dense regions can be rapidly disrupted into small grains by RATs due to infrared radiation from the hot dust shell near the sublimation front induced by direct stellar radiation. Owing to the modification in the size distribution by rotational disruption, the radiation pressure opacity can be decreased by a factor of $\sim 3$ from the value expected from the original dust model. However, to form massive stars via spherical accretion, the dust-to-gas mass ratio needs to be reduced by a factor of $\sim 5$ as previously found.


title: Extending Latent Basis Growth Model to Explore Joint Development in the Framework of Individual Measurement Occasions

abstract: Longitudinal processes often pose nonlinear change patterns. Latent basis growth models (LBGMs) provide a versatile solution without requiring specific functional forms. Building on the LBGM specification for unequally-spaced waves and individual occasions proposed by Liu and Perera (2023), we extend LBGMs to multivariate longitudinal outcomes. This provides a unified approach to nonlinear, interconnected trajectories. Simulation studies demonstrate that the proposed model can provide unbiased and accurate estimates with target coverage probabilities for the parameters of interest. Real-world analyses of reading and mathematics scores demonstrates its effectiveness in analyzing joint developmental processes that vary in temporal patterns. Computational code is included.


title: The Ultraviolet Deep Imaging Survey of Galaxies in the Bootes Void I: catalog, color-magnitude relations and star formation

abstract: We present a deep far and near-ultraviolet (FUV and NUV) wide-field imaging survey of galaxies in the Bootes Void using Ultra-Violet Imaging Telescope onboard {\em AstroSat}. Our data reach $5\sigma$ limiting magnitudes for point sources at 23.0 and 24.0 AB mag in FUV and NUV respectively. We report a total of six star-forming galaxies residing in the Bootes Void alongside the full catalog, and of these, three are newly detected in our FUV observation. Our void galaxy sample spans a range of UV colors $(-0.35\, \leq$ FUV$-$NUV $\leq\, 0.68)$ and absolute magnitudes $(-14.16\, \leq\, \mathrm{M_{NUV}}\, \leq\, -18.65)$. In addition, {\em Sloan Digital Sky Survey} and {\em Two-micron All Sky Survey} archival data are being used to study UV, optical, and infrared color-magnitude relations for our galaxies in the void. We investigate the nature of bi-modal color distribution, morphologies, and star formation of the void galaxies. Most of the galaxies in our sample are fainter and less massive than L$^{\ast}$ galaxies, with M$_\mathrm{r} > -20$. Our analysis reveals a dominant fraction of bluer galaxies over the red ones in the void region probed. The internal and Galactic extinction corrected FUV star formation rates (SFRs) in our void galaxy catalog varies in a large range of $0.05$ to $51.01$ M$_{\odot} yr^{-1}$, with a median $3.96$ M$_{\odot} yr^{-1}$. We find a weak effect of the environment on the SFRs of galaxies. Implications of our findings are discussed.


title: Acoustic radiation force and radiation torque beyond particles: Effects of non-spherical shape and Willis coupling

abstract: Acoustophoresis deals with the manipulation of sub-wavelength scatterers in an incident acoustic field. The geometric details of manipulated particles are often neglected by replacing them with equivalent symmetric geometries such as spheres, spheroids, cylinders or disks. It has been demonstrated that geometric asymmetry, represented by Willis coupling terms, can strongly affect the scattering of a small object, hence neglecting these terms may miss important force contributions. In this work, we present a generalized formalism of acoustic radiation force and radiation torque based on the polarizability tensor, where Willis coupling terms are included to account for geometric asymmetry. Following Gorkov's approach, the effects of geometric asymmetry are explicitly formulated as additional terms in the radiation force and torque expressions. By breaking the symmetry of a sphere along one axis using intrusion and protrusion, we characterize the changes in the force and torque in terms of partial components, associated with the direct and Willis Coupling coefficients of the polarizability tensor. We investigate in detail the cases of standing and travelling plane waves, showing how the equilibrium positions and angles are shifted by these additional terms. We show that while the contributions of asymmetry to the force are often negligible for small particles, these terms greatly affect the radiation torque. Our presented theory, providing a way of calculating radiation force and torque directly from polarizability coefficients, shows that in general it is essential to account for shape of objects undergoing acoustophoretic manipulation, and this may have important implications for applications such as the manipulation of biological cells.


title: Continual Contrastive Learning for Image Classification

abstract: Recently, self-supervised representation learning gives further development in multimedia technology. Most existing self-supervised learning methods are applicable to packaged data. However, when it comes to streamed data, they are suffering from a catastrophic forgetting problem, which is not studied extensively. In this paper, we make the first attempt to tackle the catastrophic forgetting problem in the mainstream self-supervised methods, i.e., contrastive learning methods. Specifically, we first develop a rehearsal-based framework combined with a novel sampling strategy and a self-supervised knowledge distillation to transfer information over time efficiently. Then, we propose an extra sample queue to help the network separate the feature representations of old and new data in the embedding space. Experimental results show that compared with the naive self-supervised baseline, which learns tasks one by one without taking any technique, we improve the image classification accuracy by 1.60% on CIFAR-100, 2.86% on ImageNet-Sub, and 1.29% on ImageNet-Full under 10 incremental steps setting. Our code will be available at https://github.com/VDIGPKU/ContinualContrastiveLearning.


title: Optimal Binary Classification Beyond Accuracy

abstract: The vast majority of statistical theory on binary classification characterizes performance in terms of accuracy. However, accuracy is known in many cases to poorly reflect the practical consequences of classification error, most famously in imbalanced binary classification, where data are dominated by samples from one of two classes. The first part of this paper derives a novel generalization of the Bayes-optimal classifier from accuracy to any performance metric computed from the confusion matrix. Specifically, this result (a) demonstrates that stochastic classifiers sometimes outperform the best possible deterministic classifier and (b) removes an empirically unverifiable absolute continuity assumption that is poorly understood but pervades existing results. We then demonstrate how to use this generalized Bayes classifier to obtain regret bounds in terms of the error of estimating regression functions under uniform loss. Finally, we use these results to develop some of the first finite-sample statistical guarantees specific to imbalanced binary classification. Specifically, we demonstrate that optimal classification performance depends on properties of class imbalance, such as a novel notion called Uniform Class Imbalance, that have not previously been formalized. We further illustrate these contributions numerically in the case of $k$-nearest neighbor classification


title: Quantaloidal Approach to Constraint Satisfaction

abstract: The constraint satisfaction problem (CSP) is a computational problem that includes a range of important problems in computer science. We point out that fundamental concepts of the CSP, such as the solution set of an instance and polymorphisms, can be formulated abstractly inside the 2-category PFinSet of finite sets and sets of functions between them. The 2-category PFinSet is a quantaloid, and the formulation relies mainly on structure available in any quantaloid. This observation suggests a formal development of generalisations of the CSP and concomitant notions of polymorphism in a large class of quantaloids. We extract a class of optimisation problems as a special case, and show that their computational complexity can be classified by the associated notion of polymorphism.


title: Depth Quality-Inspired Feature Manipulation for Efficient RGB-D Salient Object Detection

abstract: RGB-D salient object detection (SOD) recently has attracted increasing research interest by benefiting conventional RGB SOD with extra depth information. However, existing RGB-D SOD models often fail to perform well in terms of both efficiency and accuracy, which hinders their potential applications on mobile devices and real-world problems. An underlying challenge is that the model accuracy usually degrades when the model is simplified to have few parameters. To tackle this dilemma and also inspired by the fact that depth quality is a key factor influencing the accuracy, we propose a novel depth quality-inspired feature manipulation (DQFM) process, which is efficient itself and can serve as a gating mechanism for filtering depth features to greatly boost the accuracy. DQFM resorts to the alignment of low-level RGB and depth features, as well as holistic attention of the depth stream to explicitly control and enhance cross-modal fusion. We embed DQFM to obtain an efficient light-weight model called DFM-Net, where we also design a tailored depth backbone and a two-stage decoder for further efficiency consideration. Extensive experimental results demonstrate that our DFM-Net achieves state-of-the-art accuracy when comparing to existing non-efficient models, and meanwhile runs at 140ms on CPU (2.2$\times$ faster than the prior fastest efficient model) with only $\sim$8.5Mb model size (14.9% of the prior lightest). Our code will be available at https://github.com/zwbx/DFM-Net.


title: The refined local lifting problem for cyclic covers of order four

abstract: Suppose $\phi$ is a $\mathbb{Z}/4$-cover of a curve over an algebraically closed field $k$ of characteristic $2$, and $\Phi_1$ is a \emph{nice} lift of $\phi$'s $\mathbb{Z}/2$-sub-cover to a complete discrete valuation ring $R$ in characteristic zero. We show that there exist a finite extension $R'$ of $R$, which is determined by $\Phi_1$, and a lift $\Phi$ of $\phi$ to $R'$ whose $\mathbb{Z}/2$-sub-cover isomorphic to $\Phi_1 \otimes_R R'$. That result gives a non-trivial family of cyclic covers where Sa{\"i}di's refined lifting conjecture holds. In addition, the manuscript exhibits some phenomena that may shed some light on the mysterious moduli space of wildly ramified Galois covers.


title: Adding Complex Fermions to the Grassmannian-like Coset Model

abstract: In the ${\cal N}=2$ supersymmetric coset model, $\frac{SU(N+M)_k \times SO(2 N M)_1}{ SU(N)_{k+M} \times U(1)_{ N M (N+M)(k+N+M)}}$, we construct the $SU(M)$ nonsinglet ${\cal N}=2$ multiplet of spins $(1, \frac{3}{2}, \frac{3}{2}, 2)$ in terms of coset fields. The next $SU(M)$ singlet and nonsinglet ${\cal N}=2$ multiplets of spins $(2, \frac{5}{2}, \frac{5}{2}, 3)$ are determined by applying the ${\cal N}=2$ supersymmetry currents of spin $\frac{3}{2}$ to the bosonic singlet and nonsinglet currents of spin $3$ in the bosonic coset model. We also obtain the operator product expansions(OPEs) between the currents of the ${\cal N}=2$ superconformal algebra and above three kinds of ${\cal N}=2$ multiplets. These currents in two dimensions play the role of the asymptotic symmetry, as the generators of ${\cal N}=2$ "rectangular $W$-algebra", of the $M \times M$ matrix generalization of ${\cal N}=2$ $AdS_3$ higher spin theory in the bulk. The structure constants in the right hand sides of these OPEs are dependent on the three parameters $k, N$ and $M$ explicitly. Moreover, the OPEs between $SU(M)$ nonsinglet ${\cal N}=2$ multiplet of spins $(1, \frac{3}{2}, \frac{3}{2}, 2)$ and itself are analyzed in detail. The complete OPE between the lowest component of the $SU(M)$ singlet ${\cal N}=2$ multiplet of spins $(2, \frac{5}{2}, \frac{5}{2}, 3)$ and itself is described. In particular, when $M=2$, it is known that the above ${\cal N}=2$ supersymmetric coset model provides the realization of the extension of the large ${\cal N}=4$ nonlinear superconformal algebra. We determine the currents of the large ${\cal N}=4$ nonlinear superconformal algebra and the higher spin-$\frac{3}{2}, 2$ currents of the lowest ${\cal N}=4$ multiplet for generic $k$ and $N$ in terms of the coset fields.


title: A contextual analysis of multi-layer perceptron models in classifying hand-written digits and letters: limited resources

abstract: Classifying hand-written digits and letters has taken a big leap with the introduction of ConvNets. However, on very constrained hardware the time necessary to train such models would be high. Our main contribution is twofold. First, we extensively test an end-to-end vanilla neural network (MLP) approach in pure numpy without any pre-processing or feature extraction done beforehand. Second, we show that basic data mining operations can significantly improve the performance of the models in terms of computational time, without sacrificing much accuracy. We illustrate our claims on a simpler variant of the Extended MNIST dataset, called Balanced EMNIST dataset. Our experiments show that, without any data mining, we get increased generalization performance when using more hidden layers and regularization techniques, the best model achieving 84.83% accuracy on a test dataset. Using dimensionality reduction done by PCA we were able to increase that figure to 85.08% with only 10% of the original feature space, reducing the memory size needed by 64%. Finally, adding methods to remove possibly harmful training samples like deviation from the mean helped us to still achieve over 84% test accuracy but with only 32.8% of the original memory size for the training set. This compares favorably to the majority of literature results obtained through similar architectures. Although this approach gets outshined by state-of-the-art models, it does scale to some (AlexNet, VGGNet) trained on 50% of the same dataset.


title: Spin-gap formation due to spin-Peierls instability in $\pi$-orbital-ordered NaO$_2$

abstract: We have investigated the low-temperature magnetism of sodium superoxide (NaO$_{2}$), in which spin, orbital, and lattice degrees of freedom are closely entangled. The magnetic susceptibility shows anomalies at $T_{1}=220$ K and $T_{2}=190$ K, which correspond well to the structural phase transition temperatures, and a sudden decrease below $T_{3}=34$ K. At 4.2 K, the magnetization shows a clear stepwise anomaly around 30 T with a large hysteresis. In addition, the muon spin relaxation experiments indicate no magnetic phase transition down to $T=0.3$ K. The inelastic neutron scattering spectrum exhibits magnetic excitation with a finite energy gap. These results confirm that the ground state of NaO$_{2}$ is a spin-singlet state. To understand this ground state in NaO$_{2}$, we performed Raman scattering experiments. All the Raman-active libration modes expected for the marcasite phase below $T_{2}$ are observed. Furthermore, we find that several new peaks appear below $T_{3}$. This directly evidences the low crystal symmetry, namely, the presence of the phase transition at $T_{3}$. We conclude the singlet-ground state of NaO$_{2}$ due to the spin-Peierls instability.


title: Learning a Model for Inferring a Spatial Road Lane Network Graph using Self-Supervision

abstract: Interconnected road lanes are a central concept for navigating urban roads. Currently, most autonomous vehicles rely on preconstructed lane maps as designing an algorithmic model is difficult. However, the generation and maintenance of such maps is costly and hinders large-scale adoption of autonomous vehicle technology. This paper presents the first self-supervised learning method to train a model to infer a spatially grounded lane-level road network graph based on a dense segmented representation of the road scene generated from onboard sensors. A formal road lane network model is presented and proves that any structured road scene can be represented by a directed acyclic graph of at most depth three while retaining the notion of intersection regions, and that this is the most compressed representation. The formal model is implemented by a hybrid neural and search-based model, utilizing a novel barrier function loss formulation for robust learning from partial labels. Experiments are conducted for all common road intersection layouts. Results show that the model can generalize to new road layouts, unlike previous approaches, demonstrating its potential for real-world application as a practical learning-based lane-level map generator.


title: Improved Bounds for Codes Correcting Insertions and Deletions

abstract: This paper studies the cardinality of codes correcting insertions and deletions. We give improved upper and lower bounds on code size. Our upper bound is obtained by utilizing the asymmetric property of list decoding for insertions and deletions and can be seen as analogous to the Elias bound in the Hamming metric. Our non-asymptotic bound is better than the existing bounds when the minimum Levenshtein distance is relatively large. The asymptotic bound exceeds the Elias and the MRRW bounds adapted from the Hamming-metric bounds for the binary and the quaternary cases. Our lower bound improves on the bound by Levenshtein, but its effect is limited and vanishes asymptotically.


title: Popcorn: Paillier Meets Compression For Efficient Oblivious Neural Network Inference

abstract: Oblivious inference enables the cloud to provide neural network inference-as-a-service (NN-IaaS), whilst neither disclosing the client data nor revealing the server's model. However, the privacy guarantee under oblivious inference usually comes with a heavy cost of efficiency and accuracy. We propose Popcorn, a concise oblivious inference framework entirely built on the Paillier homomorphic encryption scheme. We design a suite of novel protocols to compute non-linear activation and max-pooling layers. We leverage neural network compression techniques (i.e., neural weights pruning and quantization) to accelerate the inference computation. To implement the Popcorn framework, we only need to replace algebraic operations of existing networks with their corresponding Paillier homomorphic operations, which is extremely friendly for engineering development. We first conduct the performance evaluation and comparison based on the MNIST and CIFAR-10 classification tasks. Compared with existing solutions, Popcorn brings a significant communication overhead deduction, with a moderate runtime increase. Then, we benchmark the performance of oblivious inference on ImageNet. To our best knowledge, this is the first report based on a commercial-level dataset, taking a step towards the deployment to production.


title: Multi-View Correlation Distillation for Incremental Object Detection

abstract: In real applications, new object classes often emerge after the detection model has been trained on a prepared dataset with fixed classes. Due to the storage burden and the privacy of old data, sometimes it is impractical to train the model from scratch with both old and new data. Fine-tuning the old model with only new data will lead to a well-known phenomenon of catastrophic forgetting, which severely degrades the performance of modern object detectors. In this paper, we propose a novel \textbf{M}ulti-\textbf{V}iew \textbf{C}orrelation \textbf{D}istillation (MVCD) based incremental object detection method, which explores the correlations in the feature space of the two-stage object detector (Faster R-CNN). To better transfer the knowledge learned from the old classes and maintain the ability to learn new classes, we design correlation distillation losses from channel-wise, point-wise and instance-wise views to regularize the learning of the incremental model. A new metric named Stability-Plasticity-mAP is proposed to better evaluate both the stability for old classes and the plasticity for new classes in incremental object detection. The extensive experiments conducted on VOC2007 and COCO demonstrate that MVCD can effectively learn to detect objects of new classes and mitigate the problem of catastrophic forgetting.


title: Integrability of the conformal loop ensemble

abstract: We demonstrate that the conformal loop ensemble (CLE) has a rich integrable structure by establishing exact formulas for two CLE observables. The first describes the joint moments of the conformal radii of loops surrounding three points for CLE on the sphere. Up to normalization, our formula agrees with the imaginary DOZZ formula due to Zamolodchikov (2005) and Kostov-Petkova (2007), which is the three-point structure constant of certain conformal field theories that generalize the minimal models. This verifies the CLE interpretation of the imaginary DOZZ formula by Ikhlef, Jacobsen and Saleur (2015). Our second result is for the moments of the electrical thickness of CLE loops first considered by Kenyon and Wilson (2004). Our proofs rely on the conformal welding of random surfaces and two sources of integrability concerning CLE and Liouville quantum gravity (LQG). First, LQG surfaces decorated with CLE inherit a rich integrable structure from random planar maps decorated with the O(n) loop model. Second, as the field theory describing LQG, Liouville conformal field theory is integrable. In particular, the DOZZ formula and the FZZ formula for its structure constants are crucial inputs to our results.


title: Towards Real-World Applications of ServiceX, an Analysis Data Transformation System

abstract: One of the biggest challenges in the High-Luminosity LHC (HL- LHC) era will be the significantly increased data size to be recorded and analyzed from the collisions at the ATLAS and CMS experiments. ServiceX is a software R&D project in the area of Data Organization, Management and Access of the IRIS- HEP to investigate new computational models for the HL- LHC era. ServiceX is an experiment-agnostic service to enable on-demand data delivery specifically tailored for nearly-interactive vectorized analyses. It is capable of retrieving data from grid sites, on-the-fly data transformation, and delivering user-selected data in a variety of different formats. New features will be presented that make the service ready for public use. An ongoing effort to integrate ServiceX with a popular statistical analysis framework in ATLAS will be described with an emphasis of a practical implementation of ServiceX into the physics analysis pipeline.


title: Bulk NdNiO2 is thermodynamically unstable with respect to decomposition while hydrogenation reduces the instability and transforms it from metal to insulator

abstract: Through CaH2 chemical reduction of a parent R3+Ni3+O3 perovskite form, superconductivity was recently achieved in Sr-doped NdNiO2 on SrTiO3 substrate. Using density functional theory (DFT) calculations, we find that stoichiometric NdNiO2 is significantly unstable with respect to decomposition into 1/2[Nd2O3 + NiO + Ni] with exothermic decomposition energy of +176 meV/atom, a considerably higher instability than that for common ternary oxides. This poses the question if the stoichiometric NdNiO2 nickelate compound used extensively to model the electronic band structure of Ni-based oxide analog to cuprates and found to be metallic is the right model for this purpose. To examine this, we study via DFT the role of the common H impurity expected to be present in the process of chemical reduction needed to obtain NdNiO2. We find that H can be incorporated exothermically, i.e., spontaneously in NdNiO2, even from H2 gas. In the concentrated limit, such impurities can result in the formation of a hydride compound NdNiO2H, which has significantly reduced instability relative to hydrogen-free NdNiO2. Interestingly, the hydrogenated form has a similar lattice constant as the pure form (leading to comparable XRD patterns), but unlike the metallic character of NdNiO2, the hydrogenated form is predicted to be a wide gap insulator thus, requiring doping to create a metallic or superconducting state, just like cuprates, but unlike unhydrogenated nickelates. While it is possible that hydrogen would be eventually desorbed, the calculation suggests that pristine NdNiO2 is hydrogen-stabilized. One must exercise caution with theories predicting new physics in pristine stoichiometric NdNiO2 as it might be an unrealizable compound. Experimental examination of the composition of real NdNiO2 superconductors and the effect of hydrogen on the superconductivity is called for.


title: Doing Good or Doing Right? Exploring the Weakness of Commonsense Causal Reasoning Models

abstract: Pretrained language models (PLM) achieve surprising performance on the Choice of Plausible Alternatives (COPA) task. However, whether PLMs have truly acquired the ability of causal reasoning remains a question. In this paper, we investigate the problem of semantic similarity bias and reveal the vulnerability of current COPA models by certain attacks. Previous solutions that tackle the superficial cues of unbalanced token distribution still encounter the same problem of semantic bias, even more seriously due to the utilization of more training data. We mitigate this problem by simply adding a regularization loss and experimental results show that this solution not only improves the model's generalization ability, but also assists the models to perform more robustly on a challenging dataset, BCOPA-CE, which has unbiased token distribution and is more difficult for models to distinguish cause and effect.


title: Upper bound inequality for calculation time in simulated annealing analogous to adiabatic theorem in quantum systems

abstract: It has been recently reported that classical systems have speed limit for state evolution, although such a concept of speed limit had been considered to be unique to quantum systems. Owing to the speed limit for classical system, the lower bound for calculation time of simulated annealing with desired calculation accuracy can be derived. However, such a lower bound does not work as a criterion for completion of calculation in a practical time. In this paper, we derive an inequality for classical system analogous to the quantum adiabatic theorem that gives calculation time for an accuracy-guaranteed fluctuation-exploiting computation. The trade-off relation between calculation time and accuracy is given in the form tolerable in practical use.


title: MIMO Operations in Molecular Communications: Theory, Prototypes, and Open Challenges

abstract: The Internet of Bio-nano Things is a significant development for next generation communication technologies. Because conventional wireless communication technologies face challenges in realizing new applications (e.g., in-body area networks for health monitoring) and necessitate the substitution of information carriers, researchers have shifted their interest to molecular communications (MC). Although remarkable progress has been made in this field over the last decade, advances have been far from acceptable for the achievement of its application objectives. A crucial problem of MC is the low data rate and high error rate inherent in particle dynamics specifications, in contrast to wave-based conventional communications. Therefore, it is important to investigate the resources by which MC can obtain additional information paths and provide strategies to exploit these resources. This study aims to examine techniques involving resource aggregation and exploitation to provide prospective directions for future progress in MC. In particular, we focus on state-of-the-art studies on multiple-input multiple-output (MIMO) systems. We discuss the possible advantages of applying MIMO to various MC system models. Furthermore, we survey various studies that aimed to achieve MIMO gains for the respective models, from theoretical background to prototypes. Finally, we conclude this study by summarizing the challenges that need to be addressed.


title: High-frequency instabilities of the Ostrovsky equation

abstract: We study spectral stability of small amplitude periodic traveling waves of the Ostrovsky equation. We prove that these waves exhibit spectral instabilities arising from a collision of pair of non-zero eigenvalues on the imaginary axis when subjected to square integrable perturbations on the whole real line. We also list all such collisions between pair of eigenvalues on the imaginary axis and do a Krein signature analysis.


title: The Discovery of a Remnant Radio Galaxy in A2065 Using GMRT

abstract: The upgraded Giant Metrewave Radio Telescope (GMRT) has been used to map the cluster A2065 at z = 0.0726. We report the discovery of a remnant radio galaxy at the peripheral cluster region. The spatially resolved radio emission from the remnant radio galaxy shows an elongated, bar-shaped structure, whose size is $\approx$ 52$^{\prime\prime}$ $\times$ 110$^{\prime\prime}$ ($\simeq$ 72 $\times$ 152 kpc$^2$). Our study with the multiwavelength GMRT data and \textit{Chandra} data shows that across the remnant radio galaxy there is a hint of a surface-brightness edge in the hot X-ray gas. We detect tentative flattening of the radio spectral index as the old plasma at the near end of the surface-brightness edge is reinvigorated by the passage of possible shock front and shows the expected change in radio emission characteristics. We suggest that the remnant radio galaxy has been seeded by the lobes of the active galactic nucleus (AGN), hosted by the WISEA J152228.01$+$274141.3 source, demonstrating the connection between AGNs and remnant radio sources. Although the number of known remnant radio sources is beginning to increase, we emphasize the need for better data to understand the physics and nature of poorly understood remnant radio sources.


title: Quantum anomalous Hall effect from intertwined moir\'e bands

abstract: Electron correlation and topology are two central threads of modern condensed matter physics. Semiconductor moir\'e materials provide a highly tunable platform for studies of electron correlation. Correlation-driven phenomena, including the Mott insulator, generalized Wigner crystals, stripe phases and continuous Mott transition, have been demonstrated. However, nontrivial band topology has remained elusive. Here we report the observation of a quantum anomalous Hall (QAH) effect in AB-stacked MoTe2/WSe2 moir\'e heterobilayers. Unlike in the AA-stacked structures, an out-of-plane electric field controls not only the bandwidth but also the band topology by intertwining moir\'e bands centered at different high-symmetry stacking sites. At half band filling, corresponding to one particle per moir\'e unit cell, we observe quantized Hall resistance, h/e2 (with h and e denoting the Planck's constant and electron charge, respectively), and vanishing longitudinal resistance at zero magnetic field. The electric-field-induced topological phase transition from a Mott insulator to a QAH insulator precedes an insulator-to-metal transition; contrary to most known topological phase transitions, it is not accompanied by a bulk charge gap closure. Our study paves the path for discovery of a wealth of emergent phenomena arising from the combined influence of strong correlation and topology in semiconductor moir\'e materials.


title: Topological pseudo entropy

abstract: We introduce a pseudo entropy extension of topological entanglement entropy called topological pseudo entropy. Various examples of the topological pseudo entropies are examined in three-dimensional Chern-Simons gauge theory with Wilson loop insertions. Partition functions with knotted Wilson loops are directly related to topological pseudo (R\'enyi) entropies. We also show that the pseudo entropy in a certain setup is equivalent to the interface entropy in two-dimensional conformal field theories (CFTs), and leverage the equivalence to calculate the pseudo entropies in particular examples. Furthermore, we define a pseudo entropy extension of the left-right entanglement entropy in two-dimensional boundary CFTs and derive a universal formula for a pair of arbitrary boundary states. As a byproduct, we find that the topological interface entropy for rational CFTs has a contribution identical to the topological entanglement entropy on a torus.


title: Strengthening practical continuous-variable quantum key distribution systems against measurement angular error

abstract: The optical phase shifter that constantly rotates the local oscillator phase is a necessity in continuous-variable quantum key distribution systems with heterodyne detection. In previous experimental implementations, the optical phase shifter is generally regarded as an ideal passive optical device that perfectly rotates the phase of the electromagnetic wave of $90^\circ$. However, the optical phase shifter in practice introduces imperfections, mainly the measurement angular error, which inevitably deteriorates the security of the practical systems. Here, we will give a concrete interpretation of measurement angular error in practical systems and the corresponding entanglement-based description. Subsequently, from the parameter estimation, we deduce the overestimated excess noise and the underestimated transmittance, which lead to a reduction in the final secret key rate. Simultaneously, we propose an estimation method of the measurement angular error. Next, the practical security analysis is provided in detail, and the effect of the measurement angular error and its corresponding compensation scheme are demonstrated. We conclude that measurement angular error severely degrades the security, but the proposed calibration and compensation method can significantly help improve the performance of the practical CV-QKD systems.


title: An Information-Theoretic Approach for Automatically Determining the Number of States when Aggregating Markov Chains

abstract: A fundamental problem when aggregating Markov chains is the specification of the number of state groups. Too few state groups may fail to sufficiently capture the pertinent dynamics of the original, high-order Markov chain. Too many state groups may lead to a non-parsimonious, reduced-order Markov chain whose complexity rivals that of the original. In this paper, we show that an augmented value-of-information-based approach to aggregating Markov chains facilitates the determination of the number of state groups. The optimal state-group count coincides with the case where the complexity of the reduced-order chain is balanced against the mutual dependence between the original- and reduced-order chain dynamics.


title: Realizing downstream access network using continuous-variable quantum key distribution

abstract: Quantum key distribution (QKD) which enables the secure distribution of symmetric keys between two legitimate parties is of great importance in future network security. Access network that connects multiple end-users with one network backbone can be combined with QKD to build security for end-users in a scalable and cost-effective way. Though previous QKD access networks are all implemented in the upstream direction, in this paper, we prove that downstream access network can also be constructed by using continuous-variable (CV) QKD. The security of the CV-QKD downstream access network is analyzed in detail, where we show the security analysis is secure against other parties in the network. The security analysis we proved corresponds to the downstream access network where only passive beamsplitter is sufficient to distribute the quantum signals and no other active controls are demanded. Moreover, standard CV-QKD systems can be directly fitted in the downstream access network, which makes it more applicable for practical implementations. Numerous simulation results are provided to demonstrate the performance of the CV-QKD downstream access network, where up to 64 end-users are shown to be feasible to access the network. Our work provides the security analysis framework for realizing QKD in the downstream access network which will boost the diversity for constructing practical QKD networks.