title: Hikita-Nakajima conjecture for the Gieseker variety

abstract: Let $\mathfrak{M}_0$ be an affine Nakajima quiver variety, and $\mathcal{M}$ is the corresponding BFN Coulomb branch. Assume that $\mathfrak{M}_0$ can be resolved by the (smooth) Nakajima quiver variety $\mathfrak{M}$. The Hikita-Nakajima conjecture claims that there should be an isomorphism of (graded) algebras $H^*_{S}(\mathfrak{M},\mathbb{C}) \simeq \mathbb{C}[\mathcal{M}_{\mathfrak{s}}^{\mathbb{C}^\times}]$, here $S \curvearrowright \mathfrak{M}_0$ is a torus acting on $\mathfrak{M}_0$ preserving the Poisson structure, $\mathcal{M}_{\mathfrak{s}}$ is the (Poisson) deformation of $\mathcal{M}$ over $\mathfrak{s}=\operatorname{Lie} (S)$, $\mathbb{C}^\times$ is a generic one-dimensional torus acting on $\mathcal{M}$, and $\mathbb{C}[\mathcal{M}_{\mathfrak{s}}^{\mathbb{C}^\times}]$ is the algebra of schematic $\mathbb{C}^\times$-fixed points of $\mathcal{M}_{\mathfrak{s}}$. We prove the Hikita-Nakajima conjecture for $\mathfrak{M}=\mathfrak{M}(n,r)$ Gieseker variety ($ADHM$ space). We produce the isomorphism explicitly on generators. We also describe the Hikita-Nakajima isomorphism above using the realization of $\mathcal{M}_{\mathfrak{s}}$ as the spectrum of the center of rational Cherednik algebra corresponding to $S_n \ltimes (\mathbb{Z}/r\mathbb{Z})^n$ and identify all the algebras that appear in the isomorphism with the center of degenerate cyclotomic Hecke algebra (generalizing some results of Shan, Varagnolo, and Vasserot).


title: In the Arms of a Robot: Designing Autonomous Hugging Robots with Intra-Hug Gestures

abstract: Hugs are complex affective interactions that often include gestures like squeezes. We present six new guidelines for designing interactive hugging robots, which we validate through two studies with our custom robot. To achieve autonomy, we investigated robot responses to four human intra-hug gestures: holding, rubbing, patting, and squeezing. Thirty-two users each exchanged and rated sixteen hugs with an experimenter-controlled HuggieBot 2.0. The robot's inflated torso's microphone and pressure sensor collected data of the subjects' demonstrations that were used to develop a perceptual algorithm that classifies user actions with 88\% accuracy. Users enjoyed robot squeezes, regardless of their performed action, they valued variety in the robot response, and they appreciated robot-initiated intra-hug gestures. From average user ratings, we created a probabilistic behavior algorithm that chooses robot responses in real time. We implemented improvements to the robot platform to create HuggieBot 3.0 and then validated its gesture perception system and behavior algorithm with sixteen users. The robot's responses and proactive gestures were greatly enjoyed. Users found the robot more natural, enjoyable, and intelligent in the last phase of the experiment than in the first. After the study, they felt more understood by the robot and thought robots were nicer to hug.


title: Adaptive Safe Merging Control for Heterogeneous Autonomous Vehicles using Parametric Control Barrier Functions

abstract: With the increasing emphasis on the safe autonomy for robots, model-based safe control approaches such as Control Barrier Functions have been extensively studied to ensure guaranteed safety during inter-robot interactions. In this paper, we introduce the Parametric Control Barrier Function (Parametric-CBF), a novel variant of the traditional Control Barrier Function to extend its expressivity in describing different safe behaviors among heterogeneous robots. Instead of assuming cooperative and homogeneous robots using the same safe controllers, the ego robot is able to model the neighboring robots' underlying safe controllers through different Parametric-CBFs with observed data. Given learned parametric-CBF and proved forward invariance, it provides greater flexibility for the ego robot to better coordinate with other heterogeneous robots with improved efficiency while enjoying formally provable safety guarantees. We demonstrate the usage of Parametric-CBF in behavior prediction and adaptive safe control in the ramp merging scenario from the applications of autonomous driving. Compared to traditional CBF, Parametric-CBF has the advantage of capturing varying drivers' characteristics given richer description of robot behavior in the context of safe control. Numerical simulations are given to validate the effectiveness of the proposed method.


title: On the $\mu$ equals zero conjecture for the fine Selmer group in Iwasawa theory

abstract: We study the Iwasawa theory of the fine Selmer group associated to certain Galois representations. The vanishing of the $\mu$-invariant is shown to follow in some cases from a natural property satisfied by Galois deformation rings. We outline conditions under which the $\mu=0$ conjecture is shown to hold for various Galois representations of interest.


title: Generative Target Update for Adaptive Siamese Tracking

abstract: Siamese trackers perform similarity matching with templates (i.e., target models) to recursively localize objects within a search region. Several strategies have been proposed in the literature to update a template based on the tracker output, typically extracted from the target search region in the current frame, and thereby mitigate the effects of target drift. However, this may lead to corrupted templates, limiting the potential benefits of a template update strategy. This paper proposes a model adaptation method for Siamese trackers that uses a generative model to produce a synthetic template from the object search regions of several previous frames, rather than directly using the tracker output. Since the search region encompasses the target, attention from the search region is used for robust model adaptation. In particular, our approach relies on an auto-encoder trained through adversarial learning to detect changes in a target object's appearance and predict a future target template, using a set of target templates localized from tracker outputs at previous frames. To prevent template corruption during the update, the proposed tracker also performs change detection using the generative model to suspend updates until the tracker stabilizes, and robust matching can resume through dynamic template fusion. Extensive experiments conducted on VOT-16, VOT-17, OTB-50, and OTB-100 datasets highlight the effectiveness of our method, along with the impact of its key components. Results indicate that our proposed approach can outperform state-of-art trackers, and its overall robustness allows tracking for a longer time before failure.


title: Schr\"{o}dinger Risk Diversification Portfolio

abstract: The mean-variance portfolio that considers the trade-off between expected return and risk has been widely used in the problem of asset allocation for multi-asset portfolios. However, since it is difficult to estimate the expected return and the out-of-sample performance of the mean-variance portfolio is poor, risk-based portfolio construction methods focusing only on risk have been proposed, and are attracting attention mainly in practice. In terms of risk, asset fluctuations that make up the portfolio are thought to have common factors behind them, and principal component analysis, which is a dimension reduction method, is applied to extract the factors. In this study, we propose the Schr\"{o}dinger risk diversification portfolio as a factor risk diversifying portfolio using Schr\"{o}dinger principal component analysis that applies the Schr\"{o}dinger equation in quantum mechanics. The Schr\"{o}dinger principal component analysis can accurately estimate the factors even if the sample points are unequally spaced or in a small number, thus we can make efficient risk diversification. The proposed method was verified to outperform the conventional risk parity and other risk diversification portfolio constructions.


title: Classification of quasi-affine Generalized Dynkin Diagrams with Rank $ 5$

abstract: All quasi-affine connected Generalized Dynkin Diagram with rank $= 5$ are found. All quasi-affine Nichols (Lie braided) algebras with rank $ 5$ are also found.


title: Two-dimensional Helmholtz resonator arrays. Part I. Matched asymptotic expansions for thick- and thin-walled resonators

abstract: We present a novel multipole formulation for computing the band structures of two-dimensional arrays of cylindrical Helmholtz resonators. This formulation is derived by combining existing multipole methods for arrays of ideal cylinders with the method of matched asymptotic expansions. We construct asymptotically close representations for the dispersion equations of the first band surface, correcting and extending an established lowest-order (isotropic) result in the literature for thin-walled resonator arrays. The descriptions we obtain for the first band are accurate over a relatively broad frequency and Bloch vector range and not simply in the long-wavelength and low-frequency regime, as is the case in many classical treatments. Crucially, we are able to capture features of the first band, such as low-frequency anisotropy, over a broad range of filling fractions, wall thicknesses, and aperture angles. In addition to describing the first band we use our formulation to compute the first band gap for both thick- and thin-walled resonators, and find that thicker resonator walls correspond to both a narrowing of the first band gap and an increase in the central band gap frequency.


title: Multiscale Crowd Counting and Localization By Multitask Point Supervision

abstract: We propose a multitask approach for crowd counting and person localization in a unified framework. As the detection and localization tasks are well-correlated and can be jointly tackled, our model benefits from a multitask solution by learning multiscale representations of encoded crowd images, and subsequently fusing them. In contrast to the relatively more popular density-based methods, our model uses point supervision to allow for crowd locations to be accurately identified. We test our model on two popular crowd counting datasets, ShanghaiTech A and B, and demonstrate that our method achieves strong results on both counting and localization tasks, with MSE measures of 110.7 and 15.0 for crowd counting and AP measures of 0.71 and 0.75 for localization, on ShanghaiTech A and B respectively. Our detailed ablation experiments show the impact of our multiscale approach as well as the effectiveness of the fusion module embedded in our network. Our code is available at: https://github.com/RCVLab-AiimLab/crowd_counting.


title: Two-dimensional Helmholtz resonator arrays. Part II. Matched asymptotic expansions for specially-scaled resonators

abstract: We present a solution method which combines the method of matched asymptotics with the method of multipole expansions to determine the band structure of cylindrical Helmholtz resonators arrays in two dimensions. The resonator geometry is considered in the limit as the wall thickness becomes very large compared with the aperture width (the specially-scaled limit). In this regime, the existing treatment in Part I, with updated parameters, is found to return spurious spectral behaviour. We derive a regularised system which overcomes this issue and also derive compact asymptotic descriptions for the low-frequency dispersion equation in this setting. In the specially-scaled limit, our asymptotic dispersion equation not only recovers the first band surface but also extends to high, but still subwavelength, frequencies. A homogenisation treatment is outlined for describing the effective bulk modulus and effective density tensor of the resonator array for all wall thicknesses. We demonstrate that specially-scaled resonators are able to achieve exceptionally low Helmholtz resonant frequencies, and present closed-form expressions for determining these explicitly. We anticipate that the analytical expressions and the formulation outlined here may prove useful in industrial and other applications.


title: Sparse domination and $L^{p} \rightarrow L^{q}$ estimates for maximal functions associated with curvature

abstract: In this paper, we study maximal functions along some finite type curves and hypersurfaces. In particular, various impacts of non-isotropic dilations are considered. Firstly, we provide a generic scheme that allows us to deduce the sparse domination bounds for global maximal functions under the assumption that the corresponding localized maximal functions satisfy the $L^{p}$ improving properties. Secondly, for the localized maximal functions with non-isotropic dilations of curves and hypersurfaces whose curvatures vanish to finite order at some points, we establish the $L^{p}\rightarrow L^{q}$ bounds $(q >p)$. As a corollary, we obtain the weighted inequalities for the corresponding global maximal functions, which generalize the known unweighted estimates.


title: Detection of nitrogen and oxygen in a galaxy at the end of reionization

abstract: We present observations of [NII] 205 $\mu$m, [OIII] 88 $\mu$m and dust emission in a strongly-lensed, submillimeter galaxy (SMG) at $z=6.0$, G09.83808, with the Atacama Large Millimeter/submillimeter Array (ALMA). Both [NII] and [OIII] line emissions are detected at $>12\sigma$ in the 0.8$"$-resolution maps. Lens modeling indicates that the spatial distribution of the dust continuum emission is well characterized by a compact disk with an effective radius of 0.64$\pm$0.02 kpc and a high infrared surface brightness of $\Sigma_\mathrm{IR}=(1.8\pm0.3)\times10^{12}~L_\odot$ kpc$^{-2}$. This result supports that G09.83808 is the progenitors of compact quiescent galaxies at $z\sim4$, where the majority of its stars are expected to be formed through a strong and short burst of star formation. G09.83808 and other lensed SMGs show a decreasing trend of the [NII] line to infrared luminosity ratio with increasing continuum flux density ratio between 63 $\mu$m and 158 $\mu$m, as seen in local luminous infrared galaxies (LIRGs). The decreasing trend can be reproduced by photoionization models with increasing ionization parameters. Furthermore, by combining the [NII]/[OIII] luminosity ratio with far-infrared continuum flux density ratio in G09.83808, we infer that the gas phase metallicity is already $Z\approx 0.5-0.7~Z_\odot$. G09.83808 is likely one of the earliest galaxies that has been chemically enriched at the end of reionization.


title: IBIS-A: The IBIS data Archive. High resolution observations of the solar photosphere and chromosphere with contextual data

abstract: The IBIS data Archive (IBIS-A) stores data acquired with the Interferometric BIdimensional Spectropolarimeter (IBIS), which was operated at the Dunn Solar Telescope of the US National Solar Observatory from 2003 to 2019. The instrument provided series of high-resolution narrowband spectropolarimetric imaging observations of the photosphere and chromosphere in the range 5800$-$8600 \AA~ and co-temporal broadband observations in the same spectral range and with the same field of view of the polarimetric data. We present the data currently stored in IBIS-A, as well as the interface utilized to explore such data and facilitate its scientific exploitation. To this purpose we also describe the use of IBIS-A data in recent and undergoing studies relevant to solar physics and space weather research. IBIS-A includes raw and calibrated observations, as well as science-ready data. The latter comprise maps of the circular, linear, and net circular polarization, and of the magnetic and velocity fields derived for a significant fraction of the series available in the archive. IBIS-A furthermore contains links to observations complementary to the IBIS data, such as co-temporal high-resolution observations of the solar atmosphere available from the instruments onboard the Hinode and IRIS satellites, and full-disc multiband images from INAF solar telescopes. IBIS-A currently consists of 30 TB of data taken with IBIS during 28 observing campaigns performed in 2008 and from 2012 to 2019 on 159 days. Metadata and movies of each calibrated and science-ready series are also available to help users evaluating observing conditions. IBIS-A represents a unique resource for investigating the plasma processes in the solar atmosphere and the solar origin of space weather events.


title: Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation

abstract: In the past decade, Deep Learning (DL) systems have been widely deployed in various domains to facilitate our daily life. Meanwhile, it is extremely challenging to ensure the correctness of DL systems (e.g., due to their intrinsic nondeterminism), and bugs in DL systems can cause serious consequences and may even threaten human lives. In the literature, researchers have explored various techniques to test, analyze, and verify DL models, since their quality directly affects the corresponding system behaviors. Recently, researchers have also proposed novel techniques for testing the underlying operator-level DL libraries (such as TensorFlow and PyTorch), which provide general binary implementations for each high-level DL operator for running various DL models on many platforms. However, there is still limited work targeting the reliability of the emerging tensor compilers, which aim to directly compile high-level tensor computation graphs into high-performance binaries for better efficiency, portability, and scalability. In this paper, we target the important problem of tensor compiler testing, and have proposed Tzer, a practical fuzzing technique for the widely used TVM tensor compiler. Tzer focuses on mutating the low-level Intermediate Representation (IR) for TVM due to the limited mutation space for the high-level IR. More specifically, Tzer leverages both general-purpose and tensor-compiler-specific mutators guided by coverage feedback for evolutionary IR mutation; furthermore, Tzer also performs pass mutation in tandem with IR mutation for more effective fuzzing. Our results show that Tzer substantially outperforms existing fuzzing techniques on tensor compiler testing, with 75% higher coverage and 50% more valuable tests than the 2nd-best technique. To date, Tzer has detected 49 previously unknown bugs for TVM, with 37 bugs confirmed and 25 bugs fixed (PR merged).


title: Dynamic Survival Analysis for non-Markovian Epidemic Models

abstract: We present a new method for analyzing stochastic epidemic models under minimal assumptions. The method, dubbed DSA, is based on a simple yet powerful observation, namely that population-level mean-field trajectories described by a system of PDE may also approximate individual-level times of infection and recovery. This idea gives rise to a certain non-Markovian agent-based model and provides an agent-level likelihood function for a random sample of infection and/or recovery times. Extensive numerical analyses on both synthetic and real epidemic data from the FMD in the United Kingdom and the COVID-19 in India show good accuracy and confirm method's versatility in likelihood-based parameter estimation. The accompanying software package gives prospective users a practical tool for modeling, analyzing and interpreting epidemic data with the help of the DSA approach.


title: Quantum Information Scrambling in Molecules

abstract: Out-of-time-order correlators (OTOCs) can be used to probe how quickly a quantum system scrambles information when the initial conditions of the dynamics are changed. In sufficiently large quantum systems, one can extract from the OTOC the quantum analog of the Lyapunov coefficient that describes the time scale on which a classical chaotic system becomes scrambled. OTOCs have been applied only to a very limited number of toy models, such as the SYK model connected with black hole information scrambling, but they could find much wider applicability for information scrambling in quantum systems that allow comparison with experiments. The vibrations of polyatomic molecules are known to undergo a transition from regular dynamics at low energy to facile energy flow at sufficiently high energy. Molecules therefore represent ideal quantum systems to study scrambling in many-body systems of moderate size (here 6 to 36 degrees of freedom). By computing quantum OTOCs and their classical counterparts we quantify how information becomes 'scrambled' quantum mechanically in molecular systems. Between early 'ballistic' dynamics, and late 'saturation' of the OTOC when the full density of states is explored, there is indeed a regime where a quantum Lyapunov coefficient can be defined for all molecules in this study. Comparison with experimental rate data shows that slow scrambling as measured by the OTOC can reach the time scale of molecular reaction dynamics. Even for the smallest molecules we discuss, the Maldacena bound remains satisfied by regularized OTOCs, but not by unregularized OTOCs, highlighting that the former are more useful for discussing information scrambling in this type of moderate-size quantum system.


title: CampNet: Context-Aware Mask Prediction for End-to-End Text-Based Speech Editing

abstract: The text-based speech editor allows the editing of speech through intuitive cutting, copying, and pasting operations to speed up the process of editing speech. However, the major drawback of current systems is that edited speech often sounds unnatural due to cut-copy-paste operation. In addition, it is not obvious how to synthesize records according to a new word not appearing in the transcript. This paper proposes a novel end-to-end text-based speech editing method called context-aware mask prediction network (CampNet). The model can simulate the text-based speech editing process by randomly masking part of speech and then predicting the masked region by sensing the speech context. It can solve unnatural prosody in the edited region and synthesize the speech corresponding to the unseen words in the transcript. Secondly, for the possible operation of text-based speech editing, we design three text-based operations based on CampNet: deletion, insertion, and replacement. These operations can cover various situations of speech editing. Thirdly, to synthesize the speech corresponding to long text in insertion and replacement operations, a word-level autoregressive generation method is proposed. Fourthly, we propose a speaker adaptation method using only one sentence for CampNet and explore the ability of few-shot learning based on CampNet, which provides a new idea for speech forgery tasks. The subjective and objective experiments on VCTK and LibriTTS datasets show that the speech editing results based on CampNet are better than TTS technology, manual editing, and VoCo method. We also conduct detailed ablation experiments to explore the effect of the CampNet structure on its performance. Finally, the experiment shows that speaker adaptation with only one sentence can further improve the naturalness of speech. Examples of generated speech can be found at https://hairuo55.github.io/CampNet.


title: Semi-discrete and fully discrete weak Galerkin finite element methods for a quasistatic Maxwell viscoelastic model

abstract: This paper considers weak Galerkin finite element approximations for a quasistatic Maxwell viscoelastic model. The spatial discretization uses piecewise polynomials of degree $k \ (k\geq 1)$ for the stress approximation, degree $k+1$ for the velocity approximation, and degree $k$ for the numerical trace of velocity on the inter-element boundaries. The temporal discretization in the fully discrete method adopts a backward Euler difference scheme. We show the existence and uniqueness of the semi-discrete and fully discrete solutions, and derive optimal a priori error estimates. Numerical examples are provided to support the theoretical analysis.


title: A wonderful triangle in compressed sensing

abstract: In order to determine the sparse approximation function which has a direct metric relationship with the $\ell_{0}$ quasi-norm, we introduce a wonderful triangle whose sides are composed of $\Vert \mathbf{x} \Vert_{0}$, $\Vert \mathbf{x} \Vert_{1}$ and $\Vert \mathbf{x} \Vert_{\infty}$ for any non-zero vector $\mathbf{x} \in \mathbb{R}^{n}$ by delving into the iterative soft-thresholding operator in this paper. Based on this triangle, we deduce the ratio $\ell_{1}$ and $\ell_{\infty}$ norms as a sparsity-promoting objective function for sparse signal reconstruction and also try to give the sparsity interval of the signal. Considering the $\ell_{1}/\ell_{\infty}$ minimization from a angle $\beta$ of the triangle corresponding to the side whose length is $\Vert \mathbf{x} \Vert_{\infty} - \Vert \mathbf{x} \Vert_{1}/\Vert \mathbf{x} \Vert_{0}$, we finally demonstrate the performance of existing $\ell_{1}/\ell_{\infty}$ algorithm by comparing it with $\ell_{1}/\ell_{2}$ algorithm.


title: LiDAR-guided Stereo Matching with a Spatial Consistency Constraint

abstract: The complementary fusion of light detection and ranging (LiDAR) data and image data is a promising but challenging task for generating high-precision and high-density point clouds. This study proposes an innovative LiDAR-guided stereo matching approach called LiDAR-guided stereo matching (LGSM), which considers the spatial consistency represented by continuous disparity or depth changes in the homogeneous region of an image. The LGSM first detects the homogeneous pixels of each LiDAR projection point based on their color or intensity similarity. Next, we propose a riverbed enhancement function to optimize the cost volume of the LiDAR projection points and their homogeneous pixels to improve the matching robustness. Our formulation expands the constraint scopes of sparse LiDAR projection points with the guidance of image information to optimize the cost volume of pixels as much as possible. We applied LGSM to semi-global matching and AD-Census on both simulated and real datasets. When the percentage of LiDAR points in the simulated datasets was 0.16%, the matching accuracy of our method achieved a subpixel level, while that of the original stereo matching algorithm was 3.4 pixels. The experimental results show that LGSM is suitable for indoor, street, aerial, and satellite image datasets and provides good transferability across semi-global matching and AD-Census. Furthermore, the qualitative and quantitative evaluations demonstrate that LGSM is superior to two state-of-the-art optimizing cost volume methods, especially in reducing mismatches in difficult matching areas and refining the boundaries of objects.


title: Theoretical Analysis of Deep Neural Networks in Physical Layer Communication

abstract: Recently, deep neural network (DNN)-based physical layer communication techniques have attracted considerable interest. Although their potential to enhance communication systems and superb performance have been validated by simulation experiments, little attention has been paid to the theoretical analysis. Specifically, most studies in the physical layer have tended to focus on the application of DNN models to wireless communication problems but not to theoretically understand how does a DNN work in a communication system. In this paper, we aim to quantitatively analyze why DNNs can achieve comparable performance in the physical layer comparing with traditional techniques, and also drive their cost in terms of computational complexity. To achieve this goal, we first analyze the encoding performance of a DNN-based transmitter and compare it to a traditional one. And then, we theoretically analyze the performance of DNN-based estimator and compare it with traditional estimators. Third, we investigate and validate how information is flown in a DNN-based communication system under the information theoretic concepts. Our analysis develops a concise way to open the "black box" of DNNs in physical layer communication, which can be applied to support the design of DNN-based intelligent communication techniques and help to provide explainable performance assessment.


title: StyleBERT: Chinese pretraining by font style information

abstract: With the success of down streaming task using English pre-trained language model, the pre-trained Chinese language model is also necessary to get a better performance of Chinese NLP task. Unlike the English language, Chinese has its special characters such as glyph information. So in this article, we propose the Chinese pre-trained language model StyleBERT which incorporate the following embedding information to enhance the savvy of language model, such as word, pinyin, five stroke and chaizi. The experiments show that the model achieves well performances on a wide range of Chinese NLP tasks.


title: Curve shortening flows on rotational surfaces generated by monotone convex functions

abstract: In this paper, we study curve shortening flows on rotational surfaces in $\mathbb{R}^3$. We assume that the surfaces have negative Gauss curvatures and that some condition related to the Gauss curvature and the curvature of embedded curve holds on them. Under these assumptions, we prove that the curve remains a graph over the parallels of the rotational surface along the flow. Also, we prove the comparison principle and the long-time existence of the flow.


title: Scale symmetry and composition of compact star matter

abstract: The dense compact star matter is studied by using the skyrmion crystal approach. The chiral effective theory used includes the lightest scalar meson, the lowest-lying vector mesons as well as pions. Consistency with the vector manifestation and the dilaton limit fixed point at high density constrains the anomalous dimension of the gluon field $1.0 \lesssim |\gamma_{G^2}| \lesssim 2.0$ and leads to the significance of the scale symmetry breaking in the intrinsic parity-odd part of the effective theory. The speed of sound $v_s^2 \simeq 1/3$ and the polytropic index $\gamma \simeq 1$ -- both satisfy the conformal limits -- after the dilaton limit fixed point at high density but the matter is still in the hadronic phase. This means that neither the conformal speed of sound nor the smallness of the polytropic index can be used as a criterion of the onset of quark matter. These conclusions are significant for constructing the equation of state of nuclear matter.


title: A novel, computationally tractable algorithm flags in big matrices every column associated in any way with others or a dependent variable, with much higher power when columns are linked like mutations in chromosomes

abstract: Scanning exhaustively a big data matrix DM for subsets of independent variables IVs that are associated with a dependent variable DV is computationally tractable only for 1- and 2-IV effects. I present a highly computationally tractable Participation-In-Association Score (PAS) that in a DM with markers flags every column that is strongly associated with others. PAS examines no column subsets and its computational cost grows linearly with DM columns, remaining reasonable even in million-column DMs. PAS exploits how associations of markers in DM rows cause matches associations in the rows' pairwise comparisons. For every such comparison with a match at a tested column, PAS computes the other matches by modifying the comparison's total matches (scored once per DM), yielding a distribution of conditional matches that is perturbed by associations of the tested column. Equally tractable is dvPAS that flags DV-associated IVs by permuting the markers in the DV. P values are obtained by permutation and Sidak-corrected for multiple tests, bypassing model selection. Simulations show that i) PAS and dvPAS generate uniform-(0,1)-distributed type I error in null DMs and ii) detect randomly encountered binary and trinary models of significant n-column association and n-IV association with a binary DV, respectively, with power in the order of magnitude of exhaustive evaluation's and false positives that are uniform-(0,1)-distributed or straightforwardly tuned to be so. Power to detect 2-way DV-associated 100-marker+ runs is non-parametrically ultimate but that to detect pure n-column associations and pure n-IV DV associations sinks exponentially as n increases. Power increases about twofold in trinary vs. binary DMs and in a major way when there are background associations like between mutations in chromosomes, specially in trinary DMs where dvPAS filters said background most effectively.


title: Application and issues in abstract convexity

abstract: The theory of abstract convexity, also known as convexity without linearity, is an extension of the classical convex analysis. There are a number of remarkable results, mostly concerning duality, and some numerical methods, however, this area has not found many practical applications yet. In this paper we study the application of abstract convexity to function approximation. Another important research direction addressed in this paper is the connection with the so-called axiomatic convexity.


title: A Novel Distributed Database Architectural Model for Mobile Cloud Computing

abstract: Cloud computing is the way by which we connect to servers, large systems into a distributed secure manner without worrying about local memory limits. Here this paper we proposed a Novel Distributed Database Architectural Model for Mobile Cloud Computing (NDDAMMCC). Due to the exponential growth of wireless technologies and internet which are following Nielsen's Law of Internet Bandwidth, we are in the new era of cloud computing. In the recent technological era, smart mobile devices play a big role in all sort of day-by-day human needs. The applicability is so huge that the number of apps install on a mobile system becomes a hazard due to local memory limitations for mobile phone users and demands an alternative approach to solve this local memory problems. Mobile Cloud Computing (MCC) is the ultimate solution to this issue and our model presents a promising path in this new kind of cloud computing technology.


title: Time-dependent stellar-mass binary black hole mergers in AGN disks: Mass distribution of hierarchical mergers

abstract: There is much debate about the channels for astrophysical origins of the stellar-mass binary black hole (BBH) mergers detected by LIGO and Virgo. Active galactic nuclei (AGNs) are promising sites for the efficient formation and rapid mergers of BBHs due to migration traps in high-density gas disks within an inner radii. In this paper, we carry out Monte Carlo simulations to explore the mass properties of mergers over time and hierarchical mergers -- with one of the black holes (BHs) being the remnant of a previous merger. We find that the predicted merger rate is $\sim 27-37~{\rm Gpc^{-3}~yr^{-1}}$ and the detection rate of LIGO/Virgo accompanying with extreme mass-ratio mergers will increase in the late stage of AGNs. The fraction of hierarchical mergers is $\sim 24\%$, and its mass-ratio peak is $\sim 0.15-0.35$. Compared with the low-generation mergers in hierarchical mergers, the mass ratio of high-generation mergers has a flatter distribution around its peak. These reveal that the BBH mergers detected by LIGO/Virgo with the extreme mass ratio or heavy component masses can be well explained in AGN channel.


title: The Thirty Millimeter Telescope

abstract: A near-infrared telescope with an effective aperture diameter of thirty millimeters has been developed. The primary objective of the development is to observe northern bright stars in the $J$, $H$, and $K_{\rm s}$ bands and provide accurate photometric data on those stars. The second objective is to repeatedly observe a belt-like region along the northern Galactic plane ($|b| \le 5^\circ$ and $\delta \ge -30^\circ$) to monitor bright variable stars there. The telescope has been in use since December 2016. The purpose of this paper is to describe the design and operational performances of the telescope, photometric calibration methods, and our scientific goals. We show that the telescope has the ability to provide photometry with an uncertainty of less than 5\% for stars brighter than 7, 6.5, and 6~mag in the $J$, $H$, and $K_{\rm s}$ bands, respectively. The repeatability of the photometric measurements for the same star is better than 1\% for bright stars. Our observations will provide accurate photometry on bright stars that are lacking in the Two Micron Sky Survey and the Two Micron All-Sky Survey. Repeated observations at a good cadence will also reveal their nature of the variability in the near-infrared.


title: Anisotropy of the magnetic and transport properties in EuZn$_2$As$_2$

abstract: Several recent studies have shown that the anisotropy in the magnetic structure of \ECA\ plays a significant role in stabilizing the Weyl nodes. To investigate the relationship between magnetic anisotropy and Weyl physics, we present a comparative study between EuZn$_2$As$_2$ and EuCd$_2$As$_2$ that are isostructural but with different magnetic anisotropy. We performed structural analysis, electronic transport, and magnetization experiments on millimeter-sized single crystals of EuZn$_2$As$_2$, and compared the results to those of EuCd$_2$As$_2$. By combining the first principle calculations and neutron diffraction experiment, we identify the magnetic ground state of EuZn$_2$As$_2$ as A-type antiferromagnetic order with a transition temperature ($T_\mathrm{N}$ = 19.6 K) twice that of EuCd$_2$As$_2$. Like EuCd$_2$As$_2$, the negative magnetoresistance of EuZn$_2$As$_2$ is observed after suppressing the resistivity peak at $T_\mathrm{N}$ with increasing fields. However, the anisotropy in both transport and magnetization are much reduced in EuZn$_2$As$_2$. The difference could be ascribed to the weaker spin-orbit coupling, more localized $d$-orbitals, and a larger contribution from the Eu $s$-orbitals in the zinc compound, as suggested by the electronic band calculations. The same band structure effect could be also responsible for the observation of a smaller non-linear anomalous Hall effect in EuZn$_2$As$_2$ compared to EuCd$_2$As$_2$.


title: Photometric Redshift Estimation with Convolutional Neural Networks and Galaxy Images: A Case Study of Resolving Biases in Data-Driven Methods

abstract: Deep Learning models have been increasingly exploited in astrophysical studies, yet such data-driven algorithms are prone to producing biased outputs detrimental for subsequent analyses. In this work, we investigate two major forms of biases, i.e., class-dependent residuals and mode collapse, in a case study of estimating photometric redshifts as a classification problem using Convolutional Neural Networks (CNNs) and galaxy images with spectroscopic redshifts. We focus on point estimates and propose a set of consecutive steps for resolving the two biases based on CNN models, involving representation learning with multi-channel outputs, balancing the training data and leveraging soft labels. The residuals can be viewed as a function of spectroscopic redshifts or photometric redshifts, and the biases with respect to these two definitions are incompatible and should be treated in a split way. We suggest that resolving biases in the spectroscopic space is a prerequisite for resolving biases in the photometric space. Experiments show that our methods possess a better capability in controlling biases compared to benchmark methods, and exhibit robustness under varying implementing and training conditions provided with high-quality data. Our methods have promises for future cosmological surveys that require a good constraint of biases, and may be applied to regression problems and other studies that make use of data-driven models. Nonetheless, the bias-variance trade-off and the demand on sufficient statistics suggest the need for developing better methodologies and optimizing data usage strategies.


title: Chiral superconductivity in cuprates mediated by spin-orbit coupling to spinon superfluidity

abstract: We utilize the Hubbard model to demonstrate that doping of the antiferromagnetic parent compounds of cuprate superconductors stabilizes a spin liquid state. Superconductivity in such a state emerges due to the spin-orbit coupling between charge current and superfluidity of spinon condensate, resulting in a chiral relation between the order parameter phase gradient and supercurrent. We propose simple experimental tests for the presented mechanism.

categories: cond-mat.supr-con cond-mat.mtrl-sci cond-mat.str-el quant-ph


title: A New Magnetic Parameter of Active Regions Distinguishing Large Eruptive and Confined Solar Flares

abstract: With the aim of investigating how the magnetic field in solar active regions (ARs) controls flare activity, i.e., whether a confined or eruptive flare occurs, we analyze 106 flares of Geostationary Operational Environmental Satellite (GOES) class $\geq$M1.0 during 2010$-$2019. We calculate mean characteristic twist parameters $\alpha$$_{FPIL}$ within the "flaring polarity inversion line" region and $\alpha$$_\mathrm{HFED}$ within the area of high photospheric magnetic free energy density, which both provide measures of the nonpotentiality of AR core region. Magnetic twist is thought to be related to the driving force of electric current-driven instabilities, such as the helical kink instability. We also calculate total unsigned magnetic flux ($\Phi$$_\mathrm{AR}$) of ARs producing the flare, which describes the strength of the background field confinement. By considering both the constraining effect of background magnetic fields and the magnetic non-potentiality of ARs, we propose a new parameter $\alpha$/$\Phi$$_\mathrm{AR}$ to measure the probability for a large flare to be associated with a coronal mass ejection (CME). We find that in about 90\% of eruptive flares, $\alpha$$_\mathrm{FPIL}$/$\Phi$$_\mathrm{AR}$ and $\alpha$$_\mathrm{HFED}$/$\Phi$$_\mathrm{AR}$ are beyond critical values (2.2$\times$$10^{-24}$ and 3.2$\times$$10^{-24}$ Mm$^{-1}$ Mx$^{-1}$), whereas they are less than critical values in $\sim$ 80\% of confined flares. This indicates that the new parameter $\alpha$/$\Phi$$_\mathrm{AR}$ is well able to distinguish eruptive flares from confined flares. Our investigation suggests that the relative measure of magnetic nonpotentiality within the AR core over the restriction of the background field largely controls the capability of ARs to produce eruptive flares.


title: A Deep Learning Model for Forecasting Global Monthly Mean Sea Surface Temperature Anomalies

abstract: Sea surface temperature (SST) variability plays a key role in the global weather and climate system, with phenomena such as El Ni\~{n}o-Southern Oscillation regarded as a major source of interannual climate variability at the global scale. The ability to be able to make long-range forecasts of sea surface temperature anomalies, especially those associated with extreme marine heatwave events, has potentially significant economic and societal benefits. We have developed a deep learning time series prediction model (Unet-LSTM) based on more than 70 years (1950-2021) of ECMWF ERA5 monthly mean sea surface temperature and 2-metre air temperature data. The Unet-LSTM model is able to learn the underlying physics driving the temporal evolution of the 2-dimensional global sea surface temperatures. The model accurately predicts sea surface temperatures over a 24 month period with a root mean square error remaining below 0.75$^\circ$C for all predicted months. We have also investigated the ability of the model to predict sea surface temperature anomalies in the Ni\~{n}o3.4 region, as well as a number of marine heatwave hot spots over the past decade. Model predictions of the Ni\~{n}o3.4 index allow us to capture the strong 2010-11 La Ni\~{n}a, 2009-10 El Nino and the 2015-16 extreme El Ni\~{n}o up to 24 months in advance. It also shows long lead prediction skills for the northeast Pacific marine heatwave, the Blob. However, the prediction of the marine heatwaves in the southeast Indian Ocean, the Ningaloo Ni\~{n}o, shows limited skill. These results indicate the significant potential of data driven methods to yield long-range predictions of sea surface temperature anomalies.


title: Cutting feedback and modularized analyses in generalized Bayesian inference

abstract: This work considers Bayesian inference under misspecification for complex statistical models comprised of simpler submodels, referred to as modules, that are coupled together. Such ``multi-modular" models often arise when combining information from different data sources, where there is a module for each data source. When some of the modules are misspecified, the challenges of Bayesian inference under misspecification can sometimes be addressed by using ``cutting feedback" methods, which modify conventional Bayesian inference by limiting the influence of unreliable modules. Here we investigate cutting feedback methods in the context of generalized posterior distributions, which are built from arbitrary loss functions, and present novel findings on their behaviour. We make three main contributions. First, we describe how cutting feedback methods can be defined in the generalized Bayes setting, and discuss the appropriate scaling of the loss functions for different modules to each other and the prior. Second, we derive a novel result about the large sample behaviour of the posterior for a given module's parameters conditional on the parameters of other modules. This formally justifies the use of conditional Laplace approximations, which provide better approximations of conditional posterior distributions compared to conditional distributions from a Laplace approximation of the joint posterior. Our final contribution leverages the large sample approximations of our second contribution to provide convenient diagnostics for understanding the sensitivity of inference to the coupling of the modules, and to implement a new semi-modular posterior approach for conducting robust Bayesian modular inference. The usefulness of the methodology is illustrated in several benchmark examples from the literature on cut model inference.


title: Sensing as a Service in 6G Perceptive Networks: A Unified Framework for ISAC Resource Allocation

abstract: In the upcoming next-generation (5G-Advanced and 6G) wireless networks, sensing as a service will play a more important role than ever before. Recently, the concept of perceptive network is proposed as a paradigm shift that provides sensing and communication (S&C) services simultaneously. This type of technology is typically referred to as Integrated Sensing and Communications (ISAC). In this paper, we propose the concept of sensing quality of service (QoS) in terms of diverse applications. Specifically, the probability of detection, the Cramer-Rao bound (CRB) for parameter estimation and the posterior CRB for moving target indication are employed to measure the sensing QoS for detection, localization, and tracking, respectively. Then, we establish a unified framework for ISAC resource allocation, where the fairness and the comprehensiveness optimization criteria are considered for the aforementioned sensing services. The proposed schemes can flexibly allocate the limited power and bandwidth resources according to both S&C QoSs. Finally, we study the performance trade-off between S&C services in different resource allocation schemes by numerical simulations.


title: Extremal Dependence in Australian Electricity Markets

abstract: Electricity markets are significantly more volatile than other comparable financial or commodity markets. Extreme price outcomes and their transmission between regions pose significant risks for market participants. We examine the dependence between extreme spot price outcomes in the Australian National Electricity Market (NEM). We investigate extremal dependence both in a univariate and multivariate setting, applying the extremogram developed by Davis and Mikosch (2009) and Davis et al. (2011, 2012). We measure the persistence of extreme prices within individual regional markets and the transmission of extreme prices across different regions. With both 5-minute and 30-minute price data, we find that extreme prices are more persistent in the market with a higher share of intermittent renewable energy. We also find that persistence of extreme prices is more prevalent in more concentrated markets. We also show significant extremal price dependence between different regions, which is typically stronger between physically interconnected markets. The dependence structure of extreme prices shows asymmetric and time-dependent patterns. Applying the extremograms, we further show the effectiveness of the Australian Energy Market Commission's 2016 rebidding rule with respect to reducing the share of isolated price spikes that are often considered as an indication of strategic bidding. Our results provide important information for hedging decisions of market participants and for policy makers who aim to reduce market volatility and extreme price outcomes through effective regulations which guide the trading behaviour of market participants as well as improved network interconnections.


title: Deep Feature based Cross-slide Registration

abstract: Cross-slide image analysis provides additional information by analysing the expression of different biomarkers as compared to a single slide analysis. These biomarker stained slides are analysed side by side, revealing unknown relations between them. During the slide preparation, a tissue section may be placed at an arbitrary orientation as compared to other sections of the same tissue block. The problem is compounded by the fact that tissue contents are likely to change from one section to the next and there may be unique artefacts on some of the slides. This makes registration of each section to a reference section of the same tissue block an important pre-requisite task before any cross-slide analysis. We propose a deep feature based registration (DFBR) method which utilises data-driven features to estimate the rigid transformation. We adopted a multi-stage strategy for improving the quality of registration. We also developed a visualisation tool to view registered pairs of WSIs at different magnifications. With the help of this tool, one can apply a transformation on the fly without the need to generate transformed source WSI in a pyramidal form. We compared the performance of data-driven features with that of hand-crafted features on the COMET dataset. Our approach can align the images with low registration errors. Generally, the success of non-rigid registration is dependent on the quality of rigid registration. To evaluate the efficacy of the DFBR method, the first two steps of the ANHIR winner's framework are replaced with our DFBR to register challenge provided image pairs. The modified framework produces comparable results to that of challenge winning team.


title: Towards fully two-dimensional spintronic devices

abstract: Within the field of spintronics major efforts are directed towards developing applications for spin-based transport devices made fully out of two-dimensional (2D) materials. In this work we present an experimental realization of a spin-valve device where the generation of the spin signal is exclusively attributed to the spin-dependent conductivity of the magnetic graphene resulting from the proximity of an interlayer antiferromagnet, CrSBr. We clearly demonstrate that the usage of the conventional 3D magnetic contacts, that are commonly air-sensitive and incompatible with practical technologies, can be fully avoided when graphene/CrSBr heterostructures are employed. Moreover, apart from providing exceptionally long spin relaxation length, the usage of graphene for both generation and transport of the spin allows to automatically avoid the conductivity mismatch between the source and the channel circuits that has to be considered when using conventional low-resistive contacts. Our results address a necessary step in the engineering of spintronic circuitry out of layered materials and precede further developments in the area of complex spin-logic devices. Moreover, we introduce a fabrication procedure where we designed and implemented a recipe for the preparation of electrodes via a damage-free technique that offers an immediate advantage in the fields of air-sensitive and delicate organic materials.


title: Fuzzy Cluster Analysis: Application to Determining Metallicities for Very Metal-poor Stars

abstract: This work presents a first attempt to apply fuzzy cluster analysis (FCA) to analyzing stellar spectra. FCA is adopted to categorize line indices measured from LAMOST low-resolution spectra, and automatically remove the least metallicity-sensitive indices. The FCA-processed indices are then transferred to the artificial neural network (ANN) to derive metallicities for 147 very metal-poor (VMP) stars that have been analyzed by high-resolution spectroscopy. The FCA-ANN method could derive robust metallicities for VMP stars, with a precision of 0.2 dex compared with high-resolution analysis. The recommended FCA threshold value \lambda for this test is between 0.9965 and 0.9975. After reducing the dimension of the line indices through FCA, the derived metallicities are still robust, with no loss of accuracy, and the FCA-ANN method performs stably for different spectral quality from [Fe/H] from -1.8 down to -3.5. Compared with traditional classification methods, FCA considers ambiguity in groupings and noncontinuity of data, and is thus more suitable for observational data analysis. Though this early test uses FCA to analyze low-resolution spectra, and feeds the input to the ANN method to derive metallicities, FCA should be able to, in the large data era, also analyze slitless spectroscopy and multiband photometry, and prepare the input for methods not limited to ANN, in the field of stellar physics for other studies, e.g., stellar classification, identification of peculiar objects. The literature-collected high-resolution sample can help improve pipelines to derive stellar metallicities, and systematic offsets in metallicities for VMP stars for three published LAMOST catalogs have been discussed.


title: A shifted Mahler measure identity for Boyd's family

abstract: Recently the second author and Qin numerically verified some Mahler measure identities of genus 2 and 3 polynomial families. In this paper, we use the elliptic regulator to prove an identity invoving shifted Mahler measure for Boyd's family.


title: Prospects for Distinguishing Supernova Models Using a Future Neutrino Signal

abstract: The next Galactic core-collapse supernova (SN) should yield a large number of observed neutrinos. Using Bayesian techniques, we show that with an SN at a known distance up to 25 kpc, the neutrino events in a water Cherenkov detector similar to Super-Kamiokande (SK) could be used to distinguish between seven one-dimensional neutrino emission models assuming no flavor oscillations or the standard Mikheyev-Smirnov-Wolfenstein effect. Some of these models could still be differentiated with an SN at a known distance of 50 kpc. We also consider just the relative distributions of neutrino energy and arrival time predicted by the models and find that a detector like SK meets the requirement to distinguish between these distributions with an SN at an unknown distance up to $\sim 10$ kpc.


title: Goal-directed Planning and Goal Understanding by Active Inference: Evaluation Through Simulated and Physical Robot Experiments

abstract: We show that goal-directed action planning and generation in a teleological framework can be formulated using the free energy principle. The proposed model, which is built on a variational recurrent neural network model, is characterized by three essential features. These are that (1) goals can be specified for both static sensory states, e.g., for goal images to be reached and dynamic processes, e.g., for moving around an object, (2) the model can not only generate goal-directed action plans, but can also understand goals by sensory observation, and (3) the model generates future action plans for given goals based on the best estimate of the current state, inferred using past sensory observations. The proposed model is evaluated by conducting experiments on a simulated mobile agent as well as on a real humanoid robot performing object manipulation.


title: RTGNN: A Novel Approach to Model Stochastic Traffic Dynamics

abstract: Modeling stochastic traffic dynamics is critical to developing self-driving cars. Because it is difficult to develop first principle models of cars driven by humans, there is great potential for using data driven approaches in developing traffic dynamical models. While there is extensive literature on this subject, previous works mainly address the prediction accuracy of data-driven models. Moreover, it is often difficult to apply these models to common planning frameworks since they fail to meet the assumptions therein. In this work, we propose a new stochastic traffic model, Recurrent Traffic Graph Neural Network (RTGNN), by enforcing additional structures on the model so that the proposed model can be seamlessly integrated with existing motion planning algorithms. RTGNN is a Markovian model and is able to infer future traffic states conditioned on the motion of the ego vehicle. Specifically, RTGNN uses a definition of the traffic state that includes the state of all players in a local region and is therefore able to make joint predictions for all agents of interest. Meanwhile, we explicitly model the hidden states of agents, "intentions," as part of the traffic state to reflect the inherent partial observability of traffic dynamics. The above mentioned properties are critical for integrating RTGNN with motion planning algorithms coupling prediction and decision making. Despite the additional structures, we show that RTGNN is able to achieve state-of-the-art accuracy through comparisons with other similar works.


title: QCD improved top-quark decay at next-to-next-to-leading order

abstract: We analyse the top-quark decay at the next-to-next-to-leading order (NNLO) in QCD by using the Principle of Maximum Conformality (PMC) which provides a systematic way to eliminate renormalization scheme and scale ambiguities in perturbative QCD predictions. The PMC renormalization scales of the coupling constant $\alpha_s$ are determined by absorbing the non-conformal $\beta$ terms that govern the behavior of the running coupling by using the Renormalization Group Equation (RGE). We obtain the PMC scale $Q_\star=15.5$ GeV for the top-quark decay, which is an order of magnitude smaller than the conventional choice $\mu_r=m_t$, reflecting the small virtuality of the QCD dynamics of the top-quark decay process. Moreover, due to the non-conformal $\beta$ terms disappear in the pQCD series, there is no renormalon divergence and the NLO QCD correction term is greatly increased while the NNLO QCD correction term is suppressed compared to the conventional results obtained at $\mu_r=m_t$. By further including the next-to-leading (NLO) electroweak corrections, the finite $W$ boson width and the finite bottom quark mass, we obtain the top-quark total decay width $\Gamma^{\rm tot}_t=1.3112^{+0.0190}_{-0.0189}$ GeV, where the error is the squared averages of the top-quark mass $\Delta m_t=\pm0.7$ GeV, the coupling constant $\Delta \alpha_s(M_Z)=\pm0.0009$ and the estimation of unknown higher-order terms using the PAA method with [N/M]=[1/1]. The PMC improved predictions for the top-quark decay are complementary to the previous PMC calculations for top-quark pair production and helpful for detailed studies of properties of the top-quark.


title: Audio Visual Scene-Aware Dialog Generation with Transformer-based Video Representations

abstract: There have been many attempts to build multimodal dialog systems that can respond to a question about given audio-visual information, and the representative task for such systems is the Audio Visual Scene-Aware Dialog (AVSD). Most conventional AVSD models adopt the Convolutional Neural Network (CNN)-based video feature extractor to understand visual information. While a CNN tends to obtain both temporally and spatially local information, global information is also crucial for boosting video understanding because AVSD requires long-term temporal visual dependency and whole visual information. In this study, we apply the Transformer-based video feature that can capture both temporally and spatially global representations more efficiently than the CNN-based feature. Our AVSD model with its Transformer-based feature attains higher objective performance scores for answer generation. In addition, our model achieves a subjective score close to that of human answers in DSTC10. We observed that the Transformer-based visual feature is beneficial for the AVSD task because our model tends to correctly answer the questions that need a temporally and spatially broad range of visual information.


title: Quantum Multi-Parameter Adaptive Bayesian Estimation and Application to Super-Resolution Imaging

abstract: In Bayesian estimation theory, the estimator ${\hat \theta} = E[\theta|l]$ attains the minimum mean squared error (MMSE) for estimating a scalar parameter of interest $\theta$ from the observation of $l$ through a noisy channel $P_{l|\theta}$, given a prior $P_\theta$ on $\theta$. In quantum sensing tasks, the user gets $\rho_\theta$, the quantum state that encodes $\theta$. They choose a measurement, a positive-operator valued measure (POVM) $\Pi_l$, which induces the channel $P_{l|\theta} = {\rm Tr}(\rho_\theta \Pi_l)$ to the measurement outcome $l$, on which the aforesaid classical MMSE estimator is employed. Personick found the optimum POVM $\Pi_l$ that minimizes the MMSE over all possible measurements, and that MMSE. This result from 1971 is less-widely known than the quantum Fisher information (QFI), which lower bounds the variance of an unbiased estimator over all measurements, when $P_\theta$ is unavailable. For multi-parameter estimation, i.e., when $\theta$ is a vector, in Fisher quantum estimation theory, the inverse of the QFI matrix provides an operator lower bound to the covariance of an unbiased estimator. However, there has been little work on quantifying quantum limits and measurement designs, for multi-parameter quantum estimation in the {\em Bayesian} setting. In this paper, we build upon Personick's result to construct a Bayesian adaptive measurement scheme for multi-parameter estimation when $N$ copies of $\rho_\theta$ are available. We illustrate an application to localizing a cluster of point emitters in a highly sub-Rayleigh angular field-of-view, an important problem in fluorescence microscopy and astronomy. Our algorithm translates to a multi-spatial-mode transformation prior to a photon-detection array, with electro-optic feedback to adapt the mode sorter. We show that this receiver performs far superior to quantum-noise-limited focal-plane direct imaging.


title: Berman Codes: A Generalization of Reed-Muller Codes that Achieve BEC Capacity

abstract: We identify a family of binary codes whose structure is similar to Reed-Muller (RM) codes and which include RM codes as a strict subclass. The codes in this family are denoted as $C_n(r,m)$, and their duals are denoted as $B_n(r,m)$. The length of these codes is $n^m$, where $n \geq 2$, and $r$ is their `order'. When $n=2$, $C_n(r,m)$ is the RM code of order $r$ and length $2^m$. The special case of these codes corresponding to $n$ being an odd prime was studied by Berman (1967) and Blackmore and Norton (2001). Following the terminology introduced by Blackmore and Norton, we refer to $B_n(r,m)$ as the Berman code and $C_n(r,m)$ as the dual Berman code. We identify these codes using a recursive Plotkin-like construction, and we show that these codes have a rich automorphism group, they are generated by the minimum weight codewords, and that they can be decoded up to half the minimum distance efficiently. Using a result of Kumar et al. (2016), we show that these codes achieve the capacity of the binary erasure channel (BEC) under bit-MAP decoding. Furthermore, except double transitivity, they satisfy all the code properties used by Reeves and Pfister to show that RM codes achieve the capacity of binary-input memoryless symmetric channels. Finally, when $n$ is odd, we identify a large class of abelian codes that includes $B_n(r,m)$ and $C_n(r,m)$ and which achieves BEC capacity.


title: Don't Touch What Matters: Task-Aware Lipschitz Data Augmentation for Visual Reinforcement Learning

abstract: One of the key challenges in visual Reinforcement Learning (RL) is to learn policies that can generalize to unseen environments. Recently, data augmentation techniques aiming at enhancing data diversity have demonstrated proven performance in improving the generalization ability of learned policies. However, due to the sensitivity of RL training, naively applying data augmentation, which transforms each pixel in a task-agnostic manner, may suffer from instability and damage the sample efficiency, thus further exacerbating the generalization performance. At the heart of this phenomenon is the diverged action distribution and high-variance value estimation in the face of augmented images. To alleviate this issue, we propose Task-aware Lipschitz Data Augmentation (TLDA) for visual RL, which explicitly identifies the task-correlated pixels with large Lipschitz constants, and only augments the task-irrelevant pixels. To verify the effectiveness of TLDA, we conduct extensive experiments on DeepMind Control suite, CARLA and DeepMind Manipulation tasks, showing that TLDA improves both sample efficiency in training time and generalization in test time. It outperforms previous state-of-the-art methods across the 3 different visual control benchmarks.


title: Chaos for foliated spaces and pseudogroups

abstract: We generalize "sensitivity to initial conditions" to foliated spaces and pseudogroups, offering a definition of Devaney chaos in this setting. In contrast to the case of group actions, where sensitivity follows from the other two conditions of Devaney chaos, we show that this is true only for compact foliated spaces, exhibiting a counterexample in the non-compact case. Finally, we obtain an analogue of the Auslander-Yorke dichotomy for compact foliated spaces and compactly generated pseudogroups.


title: Experimental signatures of versatile Weyl semimetal in pyrochlore iridate with spin-ice like magnetic orders

abstract: We report experimental signatures of topological transitions among the Weyl semimetal states of pyrochlore Pr2Ir2O7, where the Kondo coupling between the Ir topological electrons and the spin-ice like orders of Pr moments plays a decisive role. The magnetic-field dependence of resistivity and the Hall conductivity exhibits a plateau and a sharp jump associated with a magnetic-field hysteresis, similar to a liquid-gas-like transition in dipolar spin ice system. Furthermore, the Kondo coupling is controlled by the hydrostatic pressure, revealing that the field-induced displacement of Weyl points in the momentum space strongly depends on the respective electronic state as well as on the Kondo coupling strength. These observations pave a route toward the engineering of band topology in hybrid quantum materials with relativistic conduction electrons and localized magnetic moments.


title: Monopoly, Product Quality, and Flexible Learning

abstract: A seller offers a buyer a schedule of transfers and associated product qualities. After observing this schedule, the buyer chooses a flexible costly signal about his type. We show it is without loss to focus on a class of mechanisms that compensate the buyer for his learning costs. Using these mechanisms, we prove that when marginal costs of quality are strictly increasing, quality always lies strictly below the efficient level at all types strictly below the highest possible type under the prior. When learning costs are sufficiently steep, it follows the monopolist optimum distorts quality downward even "at the top" of the buyer's chosen signal structure. Moreover, when marginal costs of quality are constant, interior buyer types obtain interior qualities. These results stand in contrast to the exogenous information case, which features "no distortion at the top" when marginal production costs are increasing, and serving the maximal quality to all types above some threshold when marginal product costs are constant. We also show that when learning costs are steep, the monopolist finds it optimal to offer a simple menu that contains at most two purchasing options. Under appropriate curvature conditions, offering a single purchasing option is optimal.


title: Isogeometric Analysis of Bound States of a Quantum Three-Body Problem in 1D

abstract: In this paper, we initiate the study of isogeometric analysis (IGA) of a quantum three-body problem that has been well-known to be difficult to solve. In the IGA setting, we represent the wavefunctions by linear combinations of B-spline basis functions and solve the problem as a matrix eigenvalue problem. The eigenvalue gives the eigenstate energy while the eigenvector gives the coefficients of the B-splines that lead to the eigenstate. The major difficulty of isogeometric or other finite-element-method-based analyses lies in the lack of boundary conditions and a large number of degrees of freedom for accuracy. For a typical many-body problem with attractive interaction, there are bound and scattering states where bound states have negative eigenvalues. We focus on bound states and start with the analysis for a two-body problem. We demonstrate through various numerical experiments that IGA provides a promising technique to solve the three-body problem.


title: Immersed Virtual Element Methods for Electromagnetic Interface Problems in Three Dimensions

abstract: Finite element methods for electromagnetic problems modeled by Maxwell-type equations are highly sensitive to the conformity of approximation spaces, and non-conforming methods may cause loss of convergence. This fact leads to an essential obstacle for almost all the interface-unfitted mesh methods in the literature regarding the application to electromagnetic interface problems, as they are based on non-conforming spaces. In this work, a novel immersed virtual element method for solving a 3D $\mathbf{H}(\mathrm{curl})$ interface problem is developed, and the motivation is to combine the conformity of virtual element spaces and robust approximation capabilities of immersed finite element spaces. The proposed method is able to achieve optimal convergence. To develop a systematic framework, the $H^1$, $\mathbf{H}(\mathrm{curl})$ and $\mathbf{H}(\mathrm{div})$ interface problems and their corresponding problem-orientated immersed virtual element spaces are considered all together. In addition, the de Rham complex will be established based on which the Hiptmair-Xu (HX) preconditioner can be used to develop a fast solver for the $\mathbf{H}(\mathrm{curl})$ interface problem.


title: Outlier-based Autism Detection using Longitudinal Structural MRI

abstract: Diagnosis of Autism Spectrum Disorder (ASD) using clinical evaluation (cognitive tests) is challenging due to wide variations amongst individuals. Since no effective treatment exists, prompt and reliable ASD diagnosis can enable the effective preparation of treatment regimens. This paper proposes structural Magnetic Resonance Imaging (sMRI)-based ASD diagnosis via an outlier detection approach. To learn Spatio-temporal patterns in structural brain connectivity, a Generative Adversarial Network (GAN) is trained exclusively with sMRI scans of healthy subjects. Given a stack of three adjacent slices as input, the GAN generator reconstructs the next three adjacent slices; the GAN discriminator then identifies ASD sMRI scan reconstructions as outliers. This model is compared against two other baselines -- a simpler UNet and a sophisticated Self-Attention GAN. Axial, Coronal, and Sagittal sMRI slices from the multi-site ABIDE II dataset are used for evaluation. Extensive experiments reveal that our ASD detection framework performs comparably with the state-of-the-art with far fewer training data. Furthermore, longitudinal data (two scans per subject over time) achieve 17-28% higher accuracy than cross-sectional data (one scan per subject). Among other findings, metrics employed for model training as well as reconstruction loss computation impact detection performance, and the coronal modality is found to best encode structural information for ASD detection.


title: Learning Low Degree Hypergraphs

abstract: We study the problem of learning a hypergraph via edge detecting queries. In this problem, a learner queries subsets of vertices of a hidden hypergraph and observes whether these subsets contain an edge or not. In general, learning a hypergraph with $m$ edges of maximum size $d$ requires $\Omega((2m/d)^{d/2})$ queries. In this paper, we aim to identify families of hypergraphs that can be learned without suffering from a query complexity that grows exponentially in the size of the edges. We show that hypermatchings and low-degree near-uniform hypergraphs with $n$ vertices are learnable with poly$(n)$ queries. For learning hypermatchings (hypergraphs of maximum degree $ 1$), we give an $O(\log^3 n)$-round algorithm with $O(n \log^5 n)$ queries. We complement this upper bound by showing that there are no algorithms with poly$(n)$ queries that learn hypermatchings in $o(\log \log n)$ adaptive rounds. For hypergraphs with maximum degree $\Delta$ and edge size ratio $\rho$, we give a non-adaptive algorithm with $O((2n)^{\rho \Delta+1}\log^2 n)$ queries. To the best of our knowledge, these are the first algorithms with poly$(n, m)$ query complexity for learning non-trivial families of hypergraphs that have a super-constant number of edges of super-constant size.


title: Correlation-enhanced spin-orbit coupling and quantum anomalous Hall insulator with large band gap and stable ferromagnetism in monolayer $\mathrm{Fe_2Br_2}$

abstract: Nontrivial band topology combined with magnetic ordering can produce quantum anomalous Hall insulator (QAHI), which may lead to advances in device concepts. Here, through first-principles calculations, stable monolayer $\mathrm{Fe_2Br_2}$ is predicted as a room-temperature large-gap high-Chern-number QAHI by using generalized gradient approximation plus $U$ (GGA+$U$) approach. The large gap is due to correlation-enhanced spin-orbit coupling (SOC) effect of Fe atoms, which equates with artificially increasing the strength of SOC without electronic correlation. Out-of-plane magnetic anisotropy is very key to produce quantum anomalous Hall (QAH) state because in-plane magneitization will destroy nontrivial band topology. In the absence of SOC, $\mathrm{Fe_2Br_2}$ is a half Dirac semimetal state protected by mirror symmetry, and the electronic correlation along with SOC effect creates QAH state with a sizable gap and two chiral edge modes. It is found that the QAH state is robust against biaxial strain ($a/a_0$: 0.96 to 1.04) in monolayer $\mathrm{Fe_2Br_2}$ with stable ferromagnetic (FM) ordering and out-of-plane magnetic anisotropy. Calculated results show that Curie temperature is sensitive to correlation strength and strain. The reduced correlation and compressive strain are in favour of high Curie temperature. These analysis and results can be readily extended to other monolayer $\mathrm{Fe_2XY}$ (X/Y=Cl, Br and I), which possesses the same Fe-dominated low-energy states with a $\mathrm{Fe_2Br_2}$ monolayer. These findings open new opportunities to design new high-temperature topological quantum devices.


title: Online Spanners in Metric Spaces

abstract: Given a metric space $\mathcal{M}=(X,\delta)$, a weighted graph $G$ over $X$ is a metric $t$-spanner of $\mathcal{M}$ if for every $u,v \in X$, $\delta(u,v)\le d_G(u,v)\le t\cdot \delta(u,v)$, where $d_G$ is the shortest path metric in $G$. In this paper, we construct spanners for finite sets in metric spaces in the online setting. Here, we are given a sequence of points $(s_1, \ldots, s_n)$, where the points are presented one at a time (i.e., after $i$ steps, we saw $S_i = \{s_1, \ldots , s_i\}$). The algorithm is allowed to add edges to the spanner when a new point arrives, however, it is not allowed to remove any edge from the spanner. The goal is to maintain a $t$-spanner $G_i$ for $S_i$ for all $i$, while minimizing the number of edges, and their total weight. We construct online $(1+\varepsilon)$-spanners in Euclidean $d$-space, $(2k-1)(1+\varepsilon)$-spanners for general metrics, and $(2+\varepsilon)$-spanners for ultrametrics. Most notably, in Euclidean plane, we construct a $(1+\varepsilon)$-spanner with competitive ratio $O(\varepsilon^{-3/2}\log\varepsilon^{-1}\log n)$, bypassing the classic lower bound $\Omega(\varepsilon^{-2})$ for lightness, which compares the weight of the spanner, to that of the MST.


title: On fibration stability after Dervan-Sektnan and singularities

abstract: We introduce $\mathfrak{f}$-stability, a modification of fibration stability of Dervan-Sektnan [12], and show that $\mathfrak{f}$-semistable fibrations have only semi log canonical singularities. Moreover, $\mathfrak{f}$-stability puts restrictions on semi log canonical centers on Fano fibrations.


title: Weakly informative priors and prior-data conflict checking for likelihood-free inference

abstract: Bayesian likelihood-free inference, which is used to perform Bayesian inference when the likelihood is intractable, enjoys an increasing number of important scientific applications. However, many aspects of a Bayesian analysis become more challenging in the likelihood-free setting. One example of this is prior-data conflict checking, where the goal is to assess whether the information in the data and the prior are inconsistent. Conflicts of this kind are important to detect, since they may reveal problems in an investigator's understanding of what are relevant values of the parameters, and can result in sensitivity of Bayesian inferences to the prior. Here we consider methods for prior-data conflict checking which are applicable regardless of whether the likelihood is tractable or not. In constructing our checks, we consider checking statistics based on prior-to-posterior Kullback-Leibler divergences. The checks are implemented using mixture approximations to the posterior distribution and closed-form approximations to Kullback-Leibler divergences for mixtures, which make Monte Carlo approximation of reference distributions for calibration computationally feasible. When prior-data conflicts occur, it is useful to consider weakly informative prior specifications in alternative analyses as part of a sensitivity analysis. As a main application of our methodology, we develop a technique for searching for weakly informative priors in likelihood-free inference, where the notion of a weakly informative prior is formalized using prior-data conflict checks. The methods are demonstrated in three examples.


title: Transferring Adversarial Robustness Through Robust Representation Matching

abstract: With the widespread use of machine learning, concerns over its security and reliability have become prevalent. As such, many have developed defenses to harden neural networks against adversarial examples, imperceptibly perturbed inputs that are reliably misclassified. Adversarial training in which adversarial examples are generated and used during training is one of the few known defenses able to reliably withstand such attacks against neural networks. However, adversarial training imposes a significant training overhead and scales poorly with model complexity and input dimension. In this paper, we propose Robust Representation Matching (RRM), a low-cost method to transfer the robustness of an adversarially trained model to a new model being trained for the same task irrespective of architectural differences. Inspired by student-teacher learning, our method introduces a novel training loss that encourages the student to learn the teacher's robust representations. Compared to prior works, RRM is superior with respect to both model performance and adversarial training time. On CIFAR-10, RRM trains a robust model $\sim 1.8\times$ faster than the state-of-the-art. Furthermore, RRM remains effective on higher-dimensional datasets. On Restricted-ImageNet, RRM trains a ResNet50 model $\sim 18\times$ faster than standard adversarial training.


title: L-SpEx: Localized Target Speaker Extraction

abstract: Speaker extraction aims to extract the target speaker's voice from a multi-talker speech mixture given an auxiliary reference utterance. Recent studies show that speaker extraction benefits from the location or direction of the target speaker. However, these studies assume that the target speaker's location is known in advance or detected by an extra visual cue, e.g., face image or video. In this paper, we propose an end-to-end localized target speaker extraction on pure speech cues, that is called L-SpEx. Specifically, we design a speaker localizer driven by the target speaker's embedding to extract the spatial features, including direction-of-arrival (DOA) of the target speaker and beamforming output. Then, the spatial cues and target speaker's embedding are both used to form a top-down auditory attention to the target speaker. Experiments on the multi-channel reverberant dataset called MC-Libri2Mix show that our L-SpEx approach significantly outperforms the baseline system.


title: Integrated Fault Diagnosis and Control Design for DER Inverters using Machine Learning Methods

abstract: This paper employs a supervised machine learning (ML) algorithm to propose an integrated fault detection and diagnosis (FDD) and fault-tolerant control (FTC) strategy to detect, diagnose, and classify the grid faults and correct the input voltage before affecting the grid-connected distributed energy resources (DER) inverters. This controller can mitigate the impact of grid faults on inverters by predicting and modifying the time series of their input voltage. Simulation results show the effectiveness of the proposed controller and evaluate its operating performance.


title: Differentiation operator in the Beurling space of ultradifferentiable functions of normal type on an interval

abstract: In this paper we study closed subspaces of ultradifferentiable functions which are invariant under the differentiation operator. We propose a version of spectral synthesis which takes into account the presence of non-trivial differentiation invariant subspaces containing no exponential monomials. As an application, we describe the sets of solutions of finite and infinite systems of <<local>> homogeneous convolution equations.


title: Approximate Symmetries in $d=4$ CFTs with an Einstein Gravity Dual

abstract: By applying the stress-tensor-scalar operator product expansion (OPE) twice, we search for algebraic structures in $d=4$ conformal field theories (CFTs) with a pure Einstein gravity dual. We find that a rescaled mode operator defined by an integral of the stress tensor $T^{++}$ on a $d=2$ plane satisfies a Virasoro-like algebra when the dimension of the scalar is large. The structure is enhanced to include a Kac-Moody-type algebra if we incorporate the $T^{--}$ component. In our scheme, the central terms are finite. It remains challenging to directly compute the stress-tensor sector of $d=4$ scalar four-point functions at large central charge, which, based on holography and bootstrap methods, were recently shown to have a Virasoro/${\cal W}$-algebra vacuum block-like structure.


title: Spectral Lag Transition of 32 Fermi Gamma-ray Bursts and their Application on Constraining Lorentz Invariance Violation

abstract: The positive-to-negative transition of spectral lag is an uncommon feature reported in a small number of GRBs. An application of such a feature has been made to constrain the critical quantum gravity energy ($E_{\rm QG}$) of the light photons under the hypothesis that the Lorentz invariance might be violated. Motivated by previous case studies, this paper systematically examined the up-to-date Fermi/GBM GRB sample for the lag transition feature to establish a comprehensive physical limit on the Lorentz Invariance Violation (LIV). This search resulted in 32 GRBs with redshift available, which exhibit the lag-transition phenomenon. We first fit each of the lag-E relations of the 32 GRBs with an empirical smoothly broken power law function, and found that the lag transition occurs typically at about 400 keV. We then implemented the LIV effect into the fit, which enabled us to constrain the lower limit of the linear and quadratic values of $E_{\rm QG}$, which are typically distributed at $1.5\times 10^{14}$ GeV and $8\times 10^{5}$ GeV, respectively.


title: Domain-Augmented Domain Adaptation

abstract: Unsupervised domain adaptation (UDA) enables knowledge transfer from the labelled source domain to the unlabeled target domain by reducing the cross-domain discrepancy. However, most of the studies were based on direct adaptation from the source domain to the target domain and have suffered from large domain discrepancies. To overcome this challenge, in this paper, we propose the domain-augmented domain adaptation (DADA) to generate pseudo domains that have smaller discrepancies with the target domain, to enhance the knowledge transfer process by minimizing the discrepancy between the target domain and pseudo domains. Furthermore, we design a pseudo-labeling method for DADA by projecting representations from the target domain to multiple pseudo domains and taking the averaged predictions on the classification from the pseudo domains as the pseudo labels. We conduct extensive experiments with the state-of-the-art domain adaptation methods on four benchmark datasets: Office Home, Office-31, VisDA2017, and Digital datasets. The results demonstrate the superiority of our model.


title: Recurrent Auto-Encoder With Multi-Resolution Ensemble and Predictive Coding for Multivariate Time-Series Anomaly Detection

abstract: As large-scale time-series data can easily be found in real-world applications, multivariate time-series anomaly detection has played an essential role in diverse industries. It enables productivity improvement and maintenance cost reduction by preventing malfunctions and detecting anomalies based on time-series data. However, multivariate time-series anomaly detection is challenging because real-world time-series data exhibit complex temporal dependencies. For this task, it is crucial to learn a rich representation that effectively contains the nonlinear temporal dynamics of normal behavior. In this study, we propose an unsupervised multivariate time-series anomaly detection model named RAE-MEPC which learns informative normal representations based on multi-resolution ensemble and predictive coding. We introduce multi-resolution ensemble encoding to capture the multi-scale dependency from the input time series. The encoder hierarchically aggregates the temporal features extracted from the sub-encoders with different encoding lengths. From these encoded features, the reconstruction decoder reconstructs the input time series based on multi-resolution ensemble decoding where lower-resolution information helps to decode sub-decoders with higher-resolution outputs. Predictive coding is further introduced to encourage the model to learn the temporal dependencies of the time series. Experiments on real-world benchmark datasets show that the proposed model outperforms the benchmark models for multivariate time-series anomaly detection.


title: Vision-based Autonomous Driving for Unstructured Environments Using Imitation Learning

abstract: Unstructured environments are difficult for autonomous driving. This is because various unknown obstacles are lied in drivable space without lanes, and its width and curvature change widely. In such complex environments, searching for a path in real-time is difficult. Also, inaccurate localization data reduce the path tracking accuracy, increasing the risk of collision. Instead of searching and tracking the path, an alternative approach has been proposed that reactively avoids obstacles in real-time. Some methods are available for tracking global path while avoiding obstacles using the candidate paths and the artificial potential field. However, these methods require heuristics to find specific parameters for handling various complex environments. In addition, it is difficult to track the global path accurately in practice because of inaccurate localization data. If the drivable space is not accurately recognized (i.e., noisy state), the vehicle may not smoothly drive or may collide with obstacles. In this study, a method in which the vehicle drives toward drivable space only using a vision-based occupancy grid map is proposed. The proposed method uses imitation learning, where a deep neural network is trained with expert driving data. The network can learn driving patterns suited for various complex and noisy situations because these situations are contained in the training data. Experiments with a vehicle in actual parking lots demonstrated the limitations of general model-based methods and the effectiveness of the proposed imitation learning method.


title: Sender-controlled measurement-device-independent multiparty quantum communication

abstract: Multiparty quantum communication is an important branch of quantum networks. It enables private information transmission with information-theoretic security among legitimate parties. We propose a sender-controlled measurement-device-independent multiparty quantum communication protocol. The sender Alice divides a private message into several parts and delivers them to different receivers for secret sharing with imperfect measurement devices and untrusted ancillary nodes. Furthermore, Alice acts as an active controller and checks the security of quantum channels and the reliability of each receiver before she encodes her private message for secret sharing, which makes the protocol convenient for multiparity quantum communication.


title: Multiplicity of non-contractible closed geodesics on Finsler compact space forms

abstract: Let $M=S^n/ \Gamma$ and $h$ be a nontrivial element of finite order $p$ in $\pi_1(M)$, where the integer $n, p\geq2$, $\Gamma$ is a finite abelian group which acts freely and isometrically on the $n$-sphere and therefore $M$ is diffeomorphic to a compact space form. In this paper, we prove that for every irreversible Finsler compact space form $(M,F)$ with reversibility $\lambda$ and flag curvature $K$ satisfying \[ \frac{4p^2}{(p+1)^2} \big(\frac{\lambda}{\lambda+1} \big)^2 < K \leq 1,\;\;\lambda< \frac{p+1}{p-1}, \] there exist at least $n-1$ non-contractible closed geodesics of class $[h]$. In addition, if the metric $F$ is bumpy and \[ (\frac{4p}{2p+1})^2 (\frac{\lambda}{\lambda+1})^2 < K \leq 1,\;\;\lambda<\frac{2p+1}{2p-1}, \] then there exist at least $2[\frac{n+1}{2}]$ non-contractible closed geodesics of class $[h]$, which is the optimal lower bound due to Katok's example. For $C^4$-generic Finsler metrics, there are infinitely many non-contractible closed geodesics of class $[h]$ on $(M, F)$ if $\frac{\lambda^2}{(\lambda+1)^2} < K \leq 1$ with $n$ being odd, or $\frac{\lambda^2}{(\lambda+1)^2}\frac{4}{(n-1)^2} < K \leq 1$ with $n$ being even.


title: On Grid Codes

abstract: Generating functions for the size of a $r$-sphere, with respect to the Manhattan distance in an $n$-dimensional grid, are used to provide explicit formulas for the minimum and maximum size of an $r$-ball centered at a point of the grid. This allows us to offer versions of the Hamming and Gilbert-Varshamov bounds for codes in these grids. Relations between the Hamming, Manhattan, and Lee distances defined in an abelian group $G$ are studied. A formula for the minimum Hamming distance of codes that are cyclic subgroups of $G$ is presented. Furthermore, several lower bounds for the minimum Manhattan distance of these codes based on their minimum Hamming and Lee distances are established. Examples illustrating the main results are presented, including several SageMath implementations.


title: Anyonic braiding via quench dynamics in fractional quantum Hall liquids

abstract: In a Laughlin fractional quantum Hall state, one- and two-quasihole states can be obtained by diagonalizing the many-body Hamiltonian with a trapping potential or, for larger systems, from the linear combination of the edge Jack polynomials. The quasihole states live entirely in the subspace of the lowest-energy branch in the energy spectrum with a fixed number of orbits, or a hard-wall confinement. The reduction in the Hilbert space dimension facilitates the study of time evolution of the quasihole states after, say, the removal of the trapping potential. We explore the quench dynamics under a harmonic external potential, which rotates the quasiholes in the droplet, and discuss the effect of long-range interaction and more realistic confinement. Accurate evaluation of the mutual statistics phase of anyons for a wide range of anyon separation can be achieved from the Berry-phase calculation.


title: Statistical Inference for Genetic Relatedness Based on High-Dimensional Logistic Regression

abstract: This paper studies the problem of statistical inference for genetic relatedness between binary traits based on individual-level genome-wide association data. Specifically, under the high-dimensional logistic regression models, we define parameters characterizing the cross-trait genetic correlation, the genetic covariance and the trait-specific genetic variance. A novel weighted debiasing method is developed for the logistic Lasso estimator and computationally efficient debiased estimators are proposed. The rates of convergence for these estimators are studied and their asymptotic normality is established under mild conditions. Moreover, we construct confidence intervals and statistical tests for these parameters, and provide theoretical justifications for the methods, including the coverage probability and expected length of the confidence intervals, as well as the size and power of the proposed tests. Numerical studies are conducted under both model generated data and simulated genetic data to show the superiority of the proposed methods. By analyzing a real data set on autoimmune diseases, we demonstrate its ability to obtain novel insights about the shared genetic architecture between ten pediatric autoimmune diseases.


title: Double Thompson Sampling in Finite stochastic Games

abstract: We consider the trade-off problem between exploration and exploitation under finite discounted Markov Decision Process, where the state transition matrix of the underlying environment stays unknown. We propose a double Thompson sampling reinforcement learning algorithm(DTS) to solve this kind of problem. This algorithm achieves a total regret bound of $\tilde{\mathcal{O}}(D\sqrt{SAT})$in time horizon $T$ with $S$ states, $A$ actions and diameter $D$. DTS consists of two parts, the first part is the traditional part where we apply the posterior sampling method on transition matrix based on prior distribution. In the second part, we employ a count-based posterior update method to balance between the local optimal action and the long-term optimal action in order to find the global optimal game value. We established a regret bound of $\tilde{\mathcal{O}}(\sqrt{T}/S^{2})$. Which is by far the best regret bound for finite discounted Markov Decision Process to our knowledge. Numerical results proves the efficiency and superiority of our approach.


title: Relative Maltsev Definability of some Commutator Properties

abstract: We show that, when restricted to the class of varieties that have a Taylor term, several commutator properties are definable by Maltsev conditions.


title: Phenomenological studies on neutral $B$-meson decays into $J/\psi f_1$ and $\eta_c f_1$

abstract: The axial-vector mesons $f_1(1285)$ and $f_1(1420)$ are particularly viewed as the mixtures of flavor states $f_n$ and $f_s$ with mixing angle $\varphi$. In order to determine this angle, we study the $B_{d,s}^0\to J/\psi f_1(1285,1420)$ and $B_{d,s}^0\to \eta_c f_1(1285,1420)$ decays in perturbative QCD (PQCD) approach, including the effects of vertex corrections, nonfactorizable diagrams and penguin operators. Not only the branching fractions, but also the direct $CP$ asymmetries and the polarization fractions are calculated. It is found that the branching fractions of these decays are large enough to be measured in the running LHCb and Belle-II experiments. Moreover, in comparison with the observed ${\cal B}(B_{d,s}^0 \to J/\psi f_1(1285))$, $B_s^0 \to (J/\psi, \eta_c) f_1(1420)$ decays have large branching fractions, which could be measured promisingly through $f_1(1420) \to K_S^0 K^\pm \pi^\mp$ in experiments. We also propose several ratios that could be used to further constrain the absolute value of the mixing angle $\varphi$, but its sign cannot be determined yet in these decays. The direct CP asymmetries of these decays indicate the penguin pollution in the $B_d^0 \to (J/\psi, \eta_c) f_1$ decays cannot be neglected. We acknowledge that there are large theoretical uncertainties arising from the distribution amplitudes of axial-vector mesons and charmonium states, and more precise nonperturbative parameters are called. The comparisons between our results and future experimental data would help us to understand the nature of $f_1$ states and to test the PQCD approach.