title: Detecting In-vehicle Intrusion via Semi-supervised Learning-based Convolutional Adversarial Autoencoders

abstract: With the development of autonomous vehicle technology, the controller area network (CAN) bus has become the de facto standard for an in-vehicle communication system because of its simplicity and efficiency. However, without any encryption and authentication mechanisms, the in-vehicle network using the CAN protocol is susceptible to a wide range of attacks. Many studies, which are mostly based on machine learning, have proposed installing an intrusion detection system (IDS) for anomaly detection in the CAN bus system. Although machine learning methods have many advantages for IDS, previous models usually require a large amount of labeled data, which results in high time and labor costs. To handle this problem, we propose a novel semi-supervised learning-based convolutional adversarial autoencoder model in this paper. The proposed model combines two popular deep learning models: autoencoder and generative adversarial networks. First, the model is trained with unlabeled data to learn the manifolds of normal and attack patterns. Then, only a small number of labeled samples are used in supervised training. The proposed model can detect various kinds of message injection attacks, such as DoS, fuzzy, and spoofing, as well as unknown attacks. The experimental results show that the proposed model achieves the highest F1 score of 0.99 and a low error rate of 0.1\% with limited labeled data compared to other supervised methods. In addition, we show that the model can meet the real-time requirement by analyzing the model complexity in terms of the number of trainable parameters and inference time. This study successfully reduced the number of model parameters by five times and the inference time by eight times, compared to a state-of-the-art model.


title: Continuous Variable Quantum MNIST Classifiers

abstract: In this paper, classical and continuous variable (CV) quantum neural network hybrid multiclassifiers are presented using the MNIST dataset. The combination of cutoff dimension and probability measurement method in the CV model allows a quantum circuit to produce output vectors of size equal to n raised to the power of n where n represents cutoff dimension and m, the number of qumodes. They are then translated as one-hot encoded labels, padded with an appropriate number of zeros. The total of eight different classifiers are built using 2,3,...,8 qumodes, based on the binary classifier architecture proposed in Continuous variable quantum neural networks. The displacement gate and the Kerr gate in the CV model allow for the bias addition and nonlinear activation components of classical neural networks to quantum. The classifiers are composed of a classical feedforward neural network, a quantum data encoding circuit, and a CV quantum neural network circuit. On a truncated MNIST dataset of 600 samples, a 4 qumode hybrid classifier achieves 100% training accuracy.


title: Development of a near-5-Kelvin, cryogen-free, pulse-tube refrigerator-based scanning probe microscope

abstract: We report the design and performance of a cryogen-free, pulse-tube refrigerator (PTR)-based scanning probe microscopy (SPM) system capable of operating at the base temperature of near 5K. We achieve this by combining a home-made interface design between the PTR cold head and the SPM head, with an automatic gas-handling system. The interface design isolates the PTR vibrations by a combination of polytetrafluoroethylene and stainless-steel bellows, and by placing the SPM head on a passive vibration isolation table via two cold stages that are connected to thermal radiation shields using copper heat links. The gas-handling system regulates the helium heat-exchange gas pressures, facilitating both the cool down to and the maintenance of the base temperature. We discuss the effects of each component using measured vibration, current-noise, temperature, and pressure data. We demonstrate that our SPM system performance is comparable to known liquid-helium-based systems with the measurements of the superconducting gap spectrum of Pb, atomic-resolution scanning tunneling microscopy image and quasiparticle interference pattern of Au(111) surface, and non-contact atomic force microscopy image of NaCl(100) surface. Without the need for cryogen refills, the current SPM system enables uninterrupted low-temperature measurements.


title: Fewer, better pathways for all? Intersectional impacts of rural school consolidation in China's minority regions

abstract: Primary school consolidation--the closure of small community schools or their mergers into larger, better-resourced schools--is emerging as a significant policy response to changing demographics in middle income countries with large rural populations. In China, large-scale consolidation took place in the early 21st century. Because officially-recognized minority populations disproportionately reside in rural and remote areas, minority students were among those at elevated risk of experiencing school consolidation. We analyze heterogeneous effects of consolidation on educational attainment and reported national language ability in China by exploiting variations in closure timing across villages and cohorts captured in a 2011 survey of provinces and autonomous regions with substantial minority populations. We consider heterogeneous treatment effects across groups defined at the intersections of minority status, gender, and community ethnic composition and socioeconomic status. Compared to villages with schools, villages whose schools had closed reported that the schools students now attended were better resourced, less likely to offer minority language of instruction, more likely to have Han teachers, farther away, and more likely to require boarding. Much more than Han youth, ethnic minority youth were negatively affected by closure, in terms of its impact on both educational attainment and written Mandarin facility. However, significant penalties accruing to minority youth occurred only in the poorest villages. Penalties were generally heavier for girls, but in the most ethnically segregated minority villages, boys from minority families were highly vulnerable to closure effects on attainment and written Mandarin facility. Results show that intersections of minority status, gender, and community characteristics can delineate significant heterogeneities in policy impacts.


title: Cubic ferromagnet and emergent $U(1)$ symmetry on its phase boundary

abstract: We study the simplest quantum lattice spin model for the two-dimensional (2D) cubic ferromagnet by means of mean-field analysis and tensor network calculation. While both methods give rise to similar results in detecting related phases, the 2D infinite projected entangled-pair state (iPEPS) calculation provides more accurate values of transition points. Near the phase boundary, moreover, our iPEPS results indicate that it is more difficult to pin down the orientation of magnetic easy axes, and we interpret it as the easy-axis softening. This phenomenon implies an emergence of continuous $U(1)$ symmetry, which is indicated by the low-energy effective model and has been analytically shown by the field theory. Our model and study provide a concrete example for utilizing iPEPS near the critical region, showing that the emergent phenomenon living on the critical points can already be captured by iPEPS with a rather small bond dimension.


title: Antenna Impedance Estimation at MIMO Receivers

abstract: This paper considers antenna impedance estimation based on training sequences at MIMO receivers. The goal is to firstly leverage extensive resources available in most wireless systems for channel estimation to estimate antenna impedance in real-time. We assume the receiver switches its impedance in a predetermined fashion during each training sequence. Based on voltage observation across the load, a classical estimation framework is developed incorporating the Rayleigh fading assumption. We then derive in closed-form a maximum-likelihood (ML) estimator under i.i.d. fading and show this same ML estimator is a method of moments (MM) estimator in correlated channels. Numerical results suggest a fast algorithm, i.e., MLE in i.i.d. fading and the MM estimator in correlated fading, that estimates the unknown antenna impedance in real-time for all Rayleigh fading channels.


title: Asymptotic analysis of operator families and applications to resonant media

abstract: We give an overview of operator-theoretic tools that have recently proved useful in the analysis of boundary-value and transmission problems for second-order partial differential equations, with a view to addressing, in particular, the asymptotic behaviour of resolvents of physically motivated parameter-dependent operator families. We demonstrate the links of this rich area, on the one hand, to functional frameworks developed by S. N. Naboko and his students, and on the other hand, to concrete applications of current interest in the physics and engineering communities.


title: Unsupervised Change Detection Based on Image Reconstruction Loss

abstract: To train the change detector, bi-temporal images taken at different times in the same area are used. However, collecting labeled bi-temporal images is expensive and time consuming. To solve this problem, various unsupervised change detection methods have been proposed, but they still require unlabeled bi-temporal images. In this paper, we propose unsupervised change detection based on image reconstruction loss using only unlabeled single temporal single image. The image reconstruction model is trained to reconstruct the original source image by receiving the source image and the photometrically transformed source image as a pair. During inference, the model receives bi-temporal images as the input, and tries to reconstruct one of the inputs. The changed region between bi-temporal images shows high reconstruction loss. Our change detector showed significant performance in various change detection benchmark datasets even though only a single temporal single source image was used. The code and trained models will be publicly available for reproducibility.


title: A Novel Mask R-CNN Model to Segment Heterogeneous Brain Tumors through Image Subtraction

abstract: The segmentation of diseases is a popular topic explored by researchers in the field of machine learning. Brain tumors are extremely dangerous and require the utmost precision to segment for a successful surgery. Patients with tumors usually take 4 MRI scans, T1, T1gd, T2, and FLAIR, which are then sent to radiologists to segment and analyze for possible future surgery. To create a second segmentation, it would be beneficial to both radiologists and patients in being more confident in their conclusions. We propose using a method performed by radiologists called image segmentation and applying it to machine learning models to prove a better segmentation. Using Mask R-CNN, its ResNet backbone being pre-trained on the RSNA pneumonia detection challenge dataset, we can train a model on the Brats2020 Brain Tumor dataset. Center for Biomedical Image Computing & Analytics provides MRI data on patients with and without brain tumors and the corresponding segmentations. We can see how well the method of image subtraction works by comparing it to models without image subtraction through DICE coefficient (F1 score), recall, and precision on the untouched test set. Our model performed with a DICE coefficient of 0.75 in comparison to 0.69 without image subtraction. To further emphasize the usefulness of image subtraction, we compare our final model to current state-of-the-art models to segment tumors from MRI scans.


title: ScaleSFL: A Sharding Solution for Blockchain-Based Federated Learning

abstract: Blockchain-based federated learning has gained significant interest over the last few years with the increasing concern for data privacy, advances in machine learning, and blockchain innovation. However, gaps in security and scalability hinder the development of real-world applications. In this study, we propose ScaleSFL, which is a scalable blockchain-based sharding solution for federated learning. ScaleSFL supports interoperability by separating the off-chain federated learning component in order to verify model updates instead of controlling the entire federated learning flow. We implemented ScaleSFL as a proof-of-concept prototype system using Hyperledger Fabric to demonstrate the feasibility of the solution. We present a performance evaluation of results collected through Hyperledger Caliper benchmarking tools conducted on model creation. Our evaluation results show that sharding can improve validation performance linearly while remaining efficient and secure.


title: Violation of Luttinger's theorem in the simplest doped Mott insulator: Falicov-Kimball model in strong correlation limit

abstract: The Luttinger's theorem has long been taken as the key feature of Landau's Fermi liquid, which signals the presence of quasiparticles. Here, by the unbiased Monte Carlo method, violation of Luttinger's theorem is clearly revealed in the Falicov-Kimball (FK) model, indicating the robust correlation-driven non-Fermi liquid characteristic under any electron density. Introducing hole carriers to the half-filled FK leads to Mott insulator-metal transition, where the Mott quantum criticality manifests unconventional scaling behavior in transport properties. Further insight on the violation of the Luttinger's theorem is examined by combining Hubbard-I approximation with a composite fermion picture, which emphasizes the importance of a mixed excitation of the itinerant electron and the composite fermion. Interestingly, when compared FK model with a binary disorder system, it suggests that the two-peak band structure discovered by Monte Carlo and Hubbard-I approaches is underlying the violation of Luttinger's theorem.


title: Unsteady aerodynamic theory for membrane wings

abstract: We study analytically the dynamic response of membrane aerofoils subject to arbitrary, small-amplitude chord motions and transverse gusts in a two-dimensional inviscid incompressible flow. The theoretical model assumes linear deformations of an extensible membrane under constant tension, which are coupled aeroelastically to external aerodynamic loads using unsteady thin aerofoil theory. The structural and aerodynamic membrane responses are investigated for harmonic heave oscillations, an instantaneous change in angle of attack, sinusoidal transverse gusts, and a sharp-edged gust. The unsteady lift responses for these scenarios produce aeroelastic extensions to the Theodorsen, Wagner, Sears, and K\"{u}ssner functions, respectively, for a membrane aerofoil. These extensions incorporate for the first time membrane fluid-structure interaction into the expressions for the unsteady lift response of a flexible aerofoil. Our results suggest that membrane aerofoils with appropriately tuned pretension could possess substantial aerodynamic benefits over rigid aerofoils in unsteady flow conditions.


title: Model-Parallel Fourier Neural Operators as Learned Surrogates for Large-Scale Parametric PDEs

abstract: Fourier neural operators (FNOs) are a recently introduced neural network architecture for learning solution operators of partial differential equations (PDEs), which have been shown to perform significantly better than comparable deep learning approaches. Once trained, FNOs can achieve speed-ups of multiple orders of magnitude over conventional numerical PDE solvers. However, due to the high dimensionality of their input data and network weights, FNOs have so far only been applied to two-dimensional or small three-dimensional problems. To remove this limited problem-size barrier, we propose a model-parallel version of FNOs based on domain-decomposition of both the input data and network weights. We demonstrate that our model-parallel FNO is able to predict time-varying PDE solutions of over 2.6 billion variables on Perlmutter using up to 512 A100 GPUs and show an example of training a distributed FNO on the Azure cloud for simulating multiphase CO$_2$ dynamics in the Earth's subsurface.


title: Diffusion on a lattice: transition rates, interactions and memory effects

abstract: We analyze diffusion of particles on a two dimensional square lattice. Each lattice site contains an arbitrary number of particles. Interactions affect particles only in the same site, and are macroscopically represented by the excess chemical potential. In a recent work, a general expression for transition rates between neighboring cells as functions of the excess chemical potential was derived. With transition rates, the mean field tracer diffusivity, $D^\text{MF}$, is immediately obtained. The tracer diffusivity, $D = D^\text{MF} f$, contains the correlation factor $f$, representing memory effects. An analysis of the joint probability of having given numbers of particles at different sites when a force is applied to a tagged particle allows an approximate expression for $f$ to be derived. The expression is applied to soft core interaction (different values for the maximum number of particles in a site are considered) and extended hard core.


title: Homogenization of evolutionary incompressible Navier-Stokes system in perforated domains

abstract: In this paper, we consider the homogenization problems for evolutionary incompressible Navier-Stokes system in three dimensional domains perforated with a large number of small holes which are periodically located. We first establish certain uniform estimates for the weak solutions. To overcome the extra difficulties coming from the time derivative, we use the idea of Temam and consider the equations by integrating in time variable. After suitably extending the weak solutions to the whole domain, we employ the generalized cell problem to study the limit process.


title: Attribute Prototype Network for Any-Shot Learning

abstract: Any-shot image classification allows to recognize novel classes with only a few or even zero samples. For the task of zero-shot learning, visual attributes have been shown to play an important role, while in the few-shot regime, the effect of attributes is under-explored. To better transfer attribute-based knowledge from seen to unseen classes, we argue that an image representation with integrated attribute localization ability would be beneficial for any-shot, i.e. zero-shot and few-shot, image classification tasks. To this end, we propose a novel representation learning framework that jointly learns discriminative global and local features using only class-level attributes. While a visual-semantic embedding layer learns global features, local features are learned through an attribute prototype network that simultaneously regresses and decorrelates attributes from intermediate features. Furthermore, we introduce a zoom-in module that localizes and crops the informative regions to encourage the network to learn informative features explicitly. We show that our locality augmented image representations achieve a new state-of-the-art on challenging benchmarks, i.e. CUB, AWA2, and SUN. As an additional benefit, our model points to the visual evidence of the attributes in an image, confirming the improved attribute localization ability of our image representation. The attribute localization is evaluated quantitatively with ground truth part annotations, qualitatively with visualizations, and through well-designed user studies.


title: EResFD: Rediscovery of the Effectiveness of Standard Convolution for Lightweight Face Detection

abstract: This paper analyzes the design choices of face detection architecture that improve efficiency of computation cost and accuracy. Specifically, we re-examine the effectiveness of the standard convolutional block as a lightweight backbone architecture for face detection. Unlike the current tendency of lightweight architecture design, which heavily utilizes depthwise separable convolution layers, we show that heavily channel-pruned standard convolution layers can achieve better accuracy and inference speed when using a similar parameter size. This observation is supported by the analyses concerning the characteristics of the target data domain, faces. Based on our observation, we propose to employ ResNet with a highly reduced channel, which surprisingly allows high efficiency compared to other mobile-friendly networks (e.g., MobileNetV1, V2, V3). From the extensive experiments, we show that the proposed backbone can replace that of the state-of-the-art face detector with a faster inference speed. Also, we further propose a new feature aggregation method to maximize the detection performance. Our proposed detector EResFD obtained 80.4% mAP on WIDER FACE Hard subset which only takes 37.7 ms for VGA image inference on CPU. Code is available at https://github.com/clovaai/EResFD.


title: Co-Teaching for Unsupervised Domain Adaptation and Expansion

abstract: Unsupervised Domain Adaptation (UDA) essentially trades a model's performance on a source domain for improving its performance on a target domain. To resolve the issue, Unsupervised Domain Expansion (UDE) has been proposed recently. UDE tries to adapt the model for the target domain as UDA does, and in the meantime maintains its source-domain performance. In both UDA and UDE settings, a model tailored to a given domain, let it be the source or the target domain, is assumed to well handle samples from the given domain. We question the assumption by reporting the existence of cross-domain visual ambiguity: Given the lack of a crystally clear boundary between the two domains, samples from one domain can be visually close to the other domain. Such sorts of samples are typically in minority in their host domain, so they tend to be overlooked by the domain-specific model, but can be better handled by a model from the other domain. We exploit this finding, and accordingly propose Co-Teaching (CT). The CT method is instantiated with knowledge distillation based CT (kdCT) plus mixup based CT (miCT). Specifically, kdCT transfers knowledge from a leading-teacher network and an assistant-teacher network to a student network, so the cross-domain ambiguity will be better handled by the student. Meanwhile, miCT further enhances the generalization ability of the student. Extensive experiments on two image classification datasets and two driving-scene segmentation datasets justify the viability of CT for UDA and UDE.


title: $p_{T}$ dispersion of inclusive jets in high-energy nuclear collisions

abstract: In this paper, we investigate the medium modifications of $p_{T}$ dispersion($p_{T}D$) of inclusive jets with small radius ($R=0.2$) in Pb+Pb collisions at $\sqrt{s}=2.76$~TeV. The partonic spectrum in the initial hard scattering of elementary collisions are obtained by an event generator POWHEG+PYTHIA, which matches the next-to-leading (NLO) matrix elements with parton showering, and energy loss of fast parton traversing in hot/dense QCD medium is calculated by Monte Carlo simulation within Higher-Twist formalism of jet quenching in heavy-ion collisions. We present the model calculations of normalized $p_{T}D$ distributions for inclusive jets in p+p and Pb+Pb collisions at $\sqrt{s}=2.76$~TeV, which give nice descriptions of ALICE measurements. It is shown that the $p_{T}D$ distributions of inclusive jets in Pb+Pb are shifted to higher $p_{T}D$ region relative to that in p+p. Thus the nuclear modification factor of $p_{T}D$ distributions for inclusive jets is smaller than unity at small $p_{T}D$ region, while larger than one at large $p_{T}D$ region. This behaviour results from more uneven $p_T$ of jet constituents as well as the fraction alteration of gluon/quark initiated jets in heavy-ion collisions. The difference of $p_{T}D$ distributions between groomed and ungroomed jets in Pb+Pb collisions are also discussed.


title: The local Gross-Prasad conjecture over $\mathbb{R}$: Epsilon dichotomy

abstract: Following the work of Jean-Loup Waldspurger, we prove the epsilon dichotomy part of the local Gross-Prasad conjecture over $\mathbb{R}$ for tempered local $L$-parameters.


title: Learning Linear Symmetries in Data Using Moment Matching

abstract: It is common in machine learning and statistics to use symmetries derived from expert knowledge to simplify problems or improve performance, using methods like data augmentation or penalties. In this paper we consider the unsupervised and semi-supervised problems of learning such symmetries in a distribution directly from data in a model-free fashion. We show that in the worst case this problem is as difficult as the graph automorphism problem. However, if we restrict to the case where the covariance matrix has unique eigenvalues, then the eigenvectors will also be eigenvectors of the symmetry transformation. If we further restrict to finding orthogonal symmetries, then the eigenvalues will be either be 1 or -1, and the problem reduces to determining which eigenvectors are which. We develop and compare theoretically and empirically the effectiveness of different methods of selecting which eigenvectors should have eigenvalue -1 in the symmetry transformation, and discuss how to extend this approach to non-orthogonal cases where we have labels


title: Scotogenic top-quark FCNC decays

abstract: Flavor-changing neutral current (FCNC) top-quark decays are highly suppressed due to the Glashow-Iliopoulos-Maiani mechanism in the standard model (SM). If $t\to q h, qV$ with $V=g,\gamma, Z$ are all induced via quantum loop levels, then we investigate the effect that can enhance the top-FCNC up to the sensitivity designed at the high-luminosity (HL) LHC. Inspired by the mechanism of the scotogenic neutrino mass, we extend the SM by including $Z_2$-odd colored fermions when a $Z_2$ discrete is imposed. The results show that by taking $BR(t\to u g) \lesssim 0.61 \times 10^{-4}$ recently measured by ATLAS as an input, $t\to q \gamma$ can be indirectly bounded to be $BR(t\to q \gamma)\lesssim 3.2 \times 10^{-6}$, which is below the expected sensitivity at the HL LHC. After taking potential constraints from various experiments into account, the obtained branching ratios for the loop-induced $t\to q h$ and $t\to qZ$ decays can be $O(10^{-4})$, which falls within the sensitivity at the HL LHC.


title: Capturing positive network attributes during the estimation of recursive logit models: A prism-based approach

abstract: Although the recursive logit (RL) model has been recently popular and has led to many applications and extensions, an important numerical issue with respect to the computation of value functions remains unsolved. This issue is particularly significant for model estimation, during which the parameters are updated every iteration and may violate the feasibility condition of the value function. To solve this numerical issue of the value function in the model estimation, this study performs an extensive analysis of a prism-constrained RL (Prism-RL) model proposed by Oyama and Hato (2019), which has a path set constrained by the prism defined based upon a state-extended network representation. The numerical experiments have shown two important properties of the Prism-RL model for parameter estimation. First, the prism-based approach enables estimation regardless of the initial and true parameter values, even in cases where the original RL model cannot be estimated due to the numerical problem. We also successfully captured a positive effect of the presence of street green on pedestrian route choice in a real application. Second, the Prism-RL model achieved better fit and prediction performance than the RL model, by implicitly restricting paths with large detour or many loops. Defining the prism-based path set in a data-oriented manner, we demonstrated the possibility of the Prism-RL model describing more realistic route choice behavior. The capture of positive network attributes while retaining the diversity of path alternatives is important in many applications such as pedestrian route choice and sequential destination choice behavior, and thus the prism-based approach significantly extends the practical applicability of the RL model.


title: MLPro: A System for Hosting Crowdsourced Machine Learning Challenges for Open-Ended Research Problems

abstract: The task of developing a machine learning (ML) model for a particular problem is inherently open-ended, and there is an unbounded set of possible solutions. Steps of the ML development pipeline, such as feature engineering, loss function specification, data imputation, and dimensionality reduction, require the engineer to consider an extensive and often infinite array of possibilities. Successfully identifying high-performing solutions for an unfamiliar dataset or problem requires a mix of mathematical prowess and creativity applied towards inventing and repurposing novel ML methods. Here, we explore the feasibility of hosting crowdsourced ML challenges to facilitate a breadth-first exploration of open-ended research problems, thereby expanding the search space of problem solutions beyond what a typical ML team could viably investigate. We develop MLPro, a system which combines the notion of open-ended ML coding problems with the concept of an automatic online code judging platform. To conduct a pilot evaluation of this paradigm, we crowdsource several open-ended ML challenges to ML and data science practitioners. We describe results from two separate challenges. We find that for sufficiently unconstrained and complex problems, many experts submit similar solutions, but some experts provide unique solutions which outperform the "typical" solution class. We suggest that automated expert crowdsourcing systems such as MLPro have the potential to accelerate ML engineering creativity.


title: Multiplier Hermitian-Einstein metrics on Fano manifolds of KSM-type

abstract: In this article we focus on multiplier Hermitian-Einstein metrics introduced by Mabuchi which include K\"ahler-Einstein metrics, K\"ahler-Ricci solitons and Mabuchi solitons as special cases. We also focus on KSM-manifolds, which are introduced by the first author as toric bundles, to establish a criterion for the existence of multiplier Hermitian-Einstein metrics in terms of KSM-data. An explicit example for a KSM-manifold admitting a family of multiplier Hermitian-Einstein metrics is constructed by using a continuous path connecting a K\"ahler-Ricci soliton and a Mabuchi soliton.


title: Neural Rendering of Humans in Novel View and Pose from Monocular Video

abstract: We introduce a new method that generates photo-realistic humans under novel views and poses given a monocular video as input. Despite the significant progress recently on this topic, with several methods exploring shared canonical neural radiance fields in dynamic scene scenarios, learning a user-controlled model for unseen poses remains a challenging task. To tackle this problem, we introduce an effective method to a) integrate observations across several frames and b) encode the appearance at each individual frame. We accomplish this by utilizing both the human pose that models the body shape as well as point clouds that partially cover the human as input. Our approach simultaneously learns a shared set of latent codes anchored to the human pose among several frames, and an appearance-dependent code anchored to incomplete point clouds generated by each frame and its predicted depth. The former human pose-based code models the shape of the performer whereas the latter point cloud-based code predicts fine-level details and reasons about missing structures at the unseen poses. To further recover non-visible regions in query frames, we employ a temporal transformer to integrate features of points in query frames and tracked body points from automatically-selected key frames. Experiments on various sequences of dynamic humans from different datasets including ZJU-MoCap show that our method significantly outperforms existing approaches under unseen poses and novel views given monocular videos as input.


title: Harvesting Entanglement by non-identical detectors with different energy gaps

abstract: It has been shown that the vacuum state of a free quantum field is entangled and such vacuum entanglement can be harvested by a pair of initially uncorrelated detectors interacting locally with the vacuum field for a finite time. In this paper, we examine the entanglement harvesting phenomenon of two non-identical inertial detectors with different energy gaps locally interacting with massless scalar fields via a Gaussian switching function. We focus on how entanglement harvesting depends on the energy gap difference from two perspectives: the amount of entanglement harvested and the harvesting-achievable separation between the two detectors. In the sense of the amount of entanglement, we find that as long as the inter-detector separation is not too small with respect to the interaction duration parameter, two non-identical detectors could extract more entanglement from the vacuum state than the identical detectors. There exists an optimal value of the energy gap difference when the inter-detector separation is sufficiently large that renders the harvested entanglement to peak. Regarding the harvesting-achievable separation, we further find that the presence of an energy gap difference generally enlarges the harvesting-achievable separation range. Our results suggest that the non-identical detectors may be advantageous to extracting entanglement from vacuum in certain circumstances as compared to identical detectors.


title: Wigner time delays and Goos-H\"{a}nchen shifts of 2D quantum vortices scattered by potential barriers

abstract: We consider reflection and transmission of 2D quantum wavepackets with phase vortices (also known in optics as spatiotemporal vortex pulses) at potential step-like, delta-function, and rectangular barriers. The presence of a vortex significantly modifies the Wigner time delays and Goos-H\"{a}nchen shifts, previously studied for Gaussian-like wavepackets. In particular, the scattered wavepackets undergo non-zero time delays and lateral shifts even for purely real scattering coefficients, when the standard Wigner and Artmann formulae vanish. We derive analytical expressions for the vortex-induced times delays and spatial shifts of 2D vortices and verify these with numerical calculations of the Schr\"{o}dinger equation. The time delays and shifts are resonantly enhanced in the vicinity of the critical-angle incidence for a step-like potential and near transmission resonances for a rectangular barrier.


title: Gradient estimates for Donaldson's equation on a compact K\"ahler manifold

abstract: We prove a gradient estimate for Donaldson's equation \[\omega\wedge(\chi+\sqrt{-1}\partial\overline{\partial}\varphi)^{n-1}=e^F(\chi+\sqrt{-1}\partial\overline{\partial}\varphi)^n\] (and its parabolic analog) on an $n$-dimensional compact K\"ahler manifold $(M,\omega)$ with another Hermitian metric $\chi$ directly from the uniform upper bounds for $tr_\omega\chi_\varphi$ and Alexandrov-Bakelman-Pucci (ABP) maximum principle.


title: Accurate determination of quadrupole polarizabilities of the excited states of alkali-metal atoms

abstract: The scalar and tensor components of the electric quadrupole (E2) polarizabilities of the first two excited states of all the alkali-metal atoms are determined. To validate the calculations, we have evaluated the ground state E2 polarizabilities of these atoms and compared them with the literature values. We could not find the ground state E2 polarizability value for Fr in the literature to compare with our result. The dominant parts of these quantities are estimated by combining the precisely calculated E2 transition matrix elements of many low-lying transitions with the experimental energies, while the other contributions are estimated using lower-order methods. Our estimated values for the ground states of the above atoms are in good agreement with the literature values suggesting that our estimated E2 polarizabilities for the excited states of the alkali atoms, which were not known earlier except for the Li atom, are also quite accurate. These reported E2 polarizabilities could be useful in guiding many precision measurements in the alkali atoms.


title: Gate voltage dependent Rashba spin splitting in hole transverse magnetic focussing

abstract: Magnetic focussing of charge carriers in two-dimensional systems provides a solid state version of a mass spectrometer. In the presence of a spin-orbit interaction, the first focussing peak splits into two spin dependent peaks, allowing focussing to be used to measure spin polarisation and the strength of the spin-orbit interaction. In hole systems, the k^3 dependence of the Rashba spin-orbit term allows the spatial separation of spins to be changed in-situ using a voltage applied to an overall top gate. Here we demonstrate that this can be used to control the splitting of the magnetic focussing peaks. Additionally, we compare the focussing peak splitting to that predicted by Shubnikov-de Haas oscillations and k.p bandstructure calculations. We find that the focussing peak splitting is consistently larger than expected, suggesting further work is needed on understanding spin dependent magnetic focussing.


title: An Optimal Algorithm for Certifying Monotone Functions

abstract: Given query access to a monotone function $f\colon\{0,1\}^n\to\{0,1\}$ with certificate complexity $C(f)$ and an input $x^{\star}$, we design an algorithm that outputs a size-$C(f)$ subset of $x^{\star}$ certifying the value of $f(x^{\star})$. Our algorithm makes $O(C(f) \cdot \log n)$ queries to $f$, which matches the information-theoretic lower bound for this problem and resolves the concrete open question posed in the STOC '22 paper of Blanc, Koch, Lange, and Tan [BKLT22]. We extend this result to an algorithm that finds a size-$2C(f)$ certificate for a real-valued monotone function with $O(C(f) \cdot \log n)$ queries. We also complement our algorithms with a hardness result, in which we show that finding the shortest possible certificate in $x^{\star}$ may require $\Omega\left(\binom{n}{C(f)}\right)$ queries in the worst case.


title: The X-ray transform on a generic family of smooth curves

abstract: We study the X-ray transform over a generic family of smooth curves in $\mathbb{R}^2$ with a Riemannian metric $g$. We show that the singularities cannot be recovered from local data in the presence of conjugate points, and therefore artifacts may arise in the reconstruction. We perform numerical experiments to illustrate the results.


title: Stochastic filtering under model ambiguity

abstract: In this paper, we study a non-linear filtering problem in the presence of signal model uncertainty. The model ambiguity is characterized by a class of probability measures from which the true one is taken. After interchanging the order of extremum problems by using the mini-max theorem, we find that the uncertain filtering problem can be converted to a weighted conditional mean-field optimal control problem. Further, we characterize the ambiguity filter and prove its unique existence.


title: Diverse Text Generation via Variational Encoder-Decoder Models with Gaussian Process Priors

abstract: Generating high quality texts with high diversity is important for many NLG applications, but current methods mostly focus on building deterministic models to generate higher quality texts and do not provide many options for promoting diversity. In this work, we present a novel latent structured variable model to generate high quality texts by enriching contextual representation learning of encoder-decoder models. Specifically, we introduce a stochastic function to map deterministic encoder hidden states into random context variables. The proposed stochastic function is sampled from a Gaussian process prior to (1) provide infinite number of joint Gaussian distributions of random context variables (diversity-promoting) and (2) explicitly model dependency between context variables (accurate-encoding). To address the learning challenge of Gaussian processes, we propose an efficient variational inference approach to approximate the posterior distribution of random context variables. We evaluate our method in two typical text generation tasks: paraphrase generation and text style transfer. Experimental results on benchmark datasets demonstrate that our method improves the generation quality and diversity compared with other baselines.


title: Parameterized algorithm for replicated objects with local reads

abstract: We consider the problem of implementing linearizable objects that support both read and read-modify-write (RMW) operations in message-passing systems with process crashes. Since in many systems read operations vastly outnumber RMW operations, we are interested in implementations that emphasize the efficiency of read operations. We present a parametrized algorithm for partially synchronous systems where processes have access to external clocks that are synchronized within $\epsilon$. With this algorithm, every read operation is local (intuitively, it does not trigger messages). If a read is not concurrent with a conflicting RMW, it is performed immediately with no waiting; furthermore, even with a concurrent conflicting RMW, a read experiences very little delay in the worst-case. For example, the algorithm's parameters can be set to ensure that every read takes $\epsilon$ time in the worst-case. To the best of our knowledge this is the first algorithm to achieve this bound in the partially synchronous systems that we assume here. Our parametrized algorithm generalizes the (non-parameterized) lease-based algorithm of Chandra et al. [6] where the worst-case time for reads is $3\delta$, where $\delta$ is the maximum message delay. The algorithm's parameters can be used to trade-off the worst-case times for read and RMW operations. They can also be used to take advantage of the fact that in many message-passing systems the delay of most messages is order of magnitudes smaller than the maximum message delay~$\delta$: for example, the parameters can be set so that, in "nice" periods where message delays are $\delta^* \ll \delta$, reads take at most $\epsilon$ time while RMWs take at most $3 \delta^*$ time.


title: Dual Quaternion Matrices in Multi-Agent Formation Control

abstract: Three kinds of dual quaternion matrices associated with the mutual visibility graph, namely the relative configuration adjacency matrix, the logarithm adjacency matrix and the relative twist adjacency matrix, play important roles in multi-agent formation control. In this paper, we study their properties and applications. We show that the relative configuration adjacency matrix and the logarithm adjacency matrix are all Hermitian matrices, and thus have very nice spectral properties. We introduce dual quaternion Laplacian matrices, and prove a Gershgorin-type theorem for square dual quaternion Hermitian matrices, for studying properties of dual quaternion Laplacian matrices. The role of the dual quaternion Laplacian matrices in formation control is discussed.


title: On-Chip High Extinction Ratio Single-Stage Mach-Zehnder Interferometer based on Multimode Interferometer

abstract: On-chip high extinction ratio Mach-Zehnder interferometers (MZI) have always attracted interest from researchers as it can be used in many applications in astrophotonics, optical switching, programmable photonic circuits, and quantum information. However, in previous research studies, ultra-high extinction ratio on-chip MZIs have only been achieved by using a multi-stage MZI approach. In this paper, we investigate a high extinction ratio single-stage MZI based on two cascaded multimode interferometers (MMI). We determine that TM noise is an important factor that can prevent us from achieving a high extinction ratio MZI. By introducing a bend-based TM filter without additional loss, we experimentally demonstrate that such a TM filter can improve the maximum extinction ratio of the MMI-MZI by more than 10 dB. With the TM filter, we report a record high 61.2 dB extinction ratio in a single stage, thermally tunable MMI-MZI with only 1.5 dB insertion loss and more than 60nm bandwidth. These results pave the way for many interesting applications.


title: Tangential contact between free and fixed boundaries for variational solutions to variable coefficient Bernoulli type Free boundary problems

abstract: In this paper, we show that given appropriate boundary data, the free boundary and the fixed boundary of minimizers of functionals of type \eqref{functional} contact each other in a tangential fashion. We prove this result via classification of the global profiles, adapting the ideas from \cite{KKS06}.


title: The Projectivization Matroid of a $q$-Matroid

abstract: In this paper, we investigate the relation between a $q$-matroid and its associated matroid called the projectivization matroid. The latter arises by projectivizing the groundspace of the $q$-matroid and considering the projective space as the groundset of the associated matroid on which is defined a rank function compatible with that of the $q$-matroid. We show that the projectivization map is a functor from categories of $q$-matroids to categories of matroids, which allows to prove new results about maps of $q$-matroids. We furthermore show the characteristic polynomial of a $q$-matroid is equal to that of the projectivization matroid. We use this relation to establish a recursive formula for the characteristic polynomial of a $q$-matroid in terms of the characteristic polynomial of its minors. Finally we use the projectivization matroid to prove a $q$-analogue of the critical theorem in terms of $\mathbb{F}_{q^m}$-linear rank metric codes and $q$-matroids.


title: Clues in Tweets: Twitter-Guided Discovery and Analysis of SMS Spam

abstract: With its critical role in business and service delivery through mobile devices, SMS (Short Message Service) has long been abused for spamming, which is still on the rise today possibly due to the emergence of A2P bulk messaging. The effort to control SMS spam has been hampered by the lack of up-to-date information about illicit activities. In our research, we proposed a novel solution to collect recent SMS spam data, at a large scale, from Twitter, where users voluntarily report the spam messages they receive. For this purpose, we designed and implemented SpamHunter, an automated pipeline to discover SMS spam reporting tweets and extract message content from the attached screenshots. Leveraging SpamHunter, we collected from Twitter a dataset of 21,918 SMS spam messages in 75 languages, spanning over four years. To our best knowledge, this is the largest SMS spam dataset ever made public. More importantly, SpamHunter enables us to continuously monitor emerging SMS spam messages, which facilitates the ongoing effort to mitigate SMS spamming. We also performed an in-depth measurement study that sheds light on the new trends in the spammer's strategies, infrastructure and spam campaigns. We also utilized our spam SMS data to evaluate the robustness of the spam countermeasures put in place by the SMS ecosystem, including anti-spam services, bulk SMS services, and text messaging apps. Our evaluation shows that such protection cannot effectively handle those spam samples: either introducing significant false positives or missing a large number of newly reported spam messages.


title: Soft Threshold Ternary Networks

abstract: Large neural networks are difficult to deploy on mobile devices because of intensive computation and storage. To alleviate it, we study ternarization, a balance between efficiency and accuracy that quantizes both weights and activations into ternary values. In previous ternarized neural networks, a hard threshold {\Delta} is introduced to determine quantization intervals. Although the selection of {\Delta} greatly affects the training results, previous works estimate {\Delta} via an approximation or treat it as a hyper-parameter, which is suboptimal. In this paper, we present the Soft Threshold Ternary Networks (STTN), which enables the model to automatically determine quantization intervals instead of depending on a hard threshold. Concretely, we replace the original ternary kernel with the addition of two binary kernels at training time, where ternary values are determined by the combination of two corresponding binary values. At inference time, we add up the two binary kernels to obtain a single ternary kernel. Our method dramatically outperforms current state-of-the-arts, lowering the performance gap between full-precision networks and extreme low bit networks. Experiments on ImageNet with ResNet-18 (Top-1 66.2%) achieves new state-of-the-art. Update: In this version, we further fine-tune the experimental hyperparameters and training procedure. The latest STTN shows that ResNet-18 with ternary weights and ternary activations achieves up to 68.2% Top-1 accuracy on ImageNet. Code is available at: github.com/WeixiangXu/STTN.


title: An Analysis of Semantically-Aligned Speech-Text Embeddings

abstract: Embeddings play an important role in end-to-end solutions for multi-modal language processing problems. Although there has been some effort to understand the properties of single-modality embedding spaces, particularly that of text, their cross-modal counterparts are less understood. In this work, we study some intrinsic properties of a joint speech-text embedding space, constructed by minimizing the distance between paired utterance and transcription inputs in a teacher-student model setup, that are informative for several prominent use cases. We found that incorporating automatic speech recognition through both pretraining and multitask scenarios aid semantic alignment significantly, resulting in more tightly coupled embeddings. To analyse cross-modal embeddings we utilise a quantitative retrieval accuracy metric for semantic alignment, zero-shot classification for generalisability, and probing of the encoders to observe the extent of knowledge transfer from one modality to another.


title: Structural stability of interior subsonic steady-states to hydrodynamic model for semiconductors with sonic boundary

abstract: For the stationary hydrodynamic model for semiconductors with sonic boundary, represented by Euler-Poisson equations, it possesses the various physical solutions including interior subsonic solutions/interior supersonic solutions/shock transonic solutions/$C^1$-smooth transonic solutions. However, the structural stability for these physical solutions is challenging and has remained open as we know. In this paper, we investigate the structural stability of interior subsonic solutions when the doping profiles are restricted in the subsonic region. The main result is proved by using the local (weighted) singularity analysis and the monotonicity argument. Both the result itself and techniques developed here will give us some truly enlightening insights into our follow-up study on the structural stability of the remaining types of solutions.


title: A Vanka-based parameter-robust multigrid relaxation for the Stokes-Darcy Brinkman problems

abstract: We propose a block-structured multigrid relaxation scheme for solving the Stokes-Darcy Brinkman equations discretized by the marker and cell scheme. An element-based additive Vanka smoother is used to solve the corresponding shifted Laplacian operator. Using local Fourier analysis, we present the stencil for the additive Vanka smoother and derive an optimal smoothing factor for Vanka-based Braess-Sarazin relaxation for the Stokes-Darcy Brinkman equations. Although the optimal damping parameter is dependent on meshsize and physical parameter, it is very close to one. Numerical results of two-grid and V(1,1)-cycle are presented, which show high efficiency of the proposed relaxation scheme and its robustness to physical parameters and the meshsize. Using a damping parameter equal to one gives almost the same results as these for the optimal damping parameter at a lower computational overhead.


title: Mesenchymal stem cells as carrier cells to enable effective intratumoral delivery of oncolytic virus for oncolytic virotherapy: a systematic review

abstract: Oncolytic viruses, which may be naturally occurring or genetically engineered, are a type of virus that infects and destroy cancer cells preferentially. Owing to their selectivity, they outperform conventional chemotherapy and radiotherapy, which both have a tendency to impact non-target cells and cause unwanted adverse side effects. Oncolytic virotherapy is a type of cancer treatment in which oncolytic viruses are deliberately introduced into patients affected with cancers in order for them to infect and destroy cancer cells locally or systemically, in a manner analogous to chemotherapy but with a greater degree of selectivity. Multiple studies indicate that oncolytic virotherapy is effective in vitro but in vivo findings remain ambiguous due to the approach's primary limitation: inefficient therapeutic agent delivery to its target, which is heavily influenced by the immune system. Here, we propose overcoming this limitation by exploiting a recent discovery in cancer research: a carrier cell. By exploiting their tumor-promoting activities, mesenchymal stem cells may be employed for cancer therapy by serving as a carrier for the oncolytic viruses toward their target. This approach directly addresses the limitation of conventional oncolytic virotherapy, where oncolytic viruses are often poorly delivered after systemic administration.


title: Few remarks on essential modules

abstract: In the present paper, modules over integral domains and principal ideal domains that are proper essential extensions of some submodules are classified. We introduce a new class of modules that we call $\mathrm{SM}$ modules and show that the class of Artinian modules, locally finite modules, and modules of finite lengths are all proper subclasses of SM modules. We also show that non-semisimple $\mathrm{SM}$ modules possess essential socles. Further, we show that non-semieimple modules over integral domains with nonempty torsion-free parts do not possess essential socles.


title: Elliptic soliton solutions: $\tau$ functions, vertex operators and bilinear identities

abstract: We establish a bilinear framework for elliptic soliton solutions which are composed by the Lam\'e-type plane wave factors. $\tau$ functions in Hirota's form are derived and vertex operators that generate such $\tau$ functions are presented. Bilinear identities are constructed and an algorithm to calculate residues and bilinear equations is formulated. These are investigated in detail for the KdV equation and sketched for the KP hierarchy. Degenerations by the periods of elliptic functions are investigated, giving rise to the bilinear framework associated with trigonometric/hyperbolic and rational functions. Reductions by dispersion relation are considered by employing the so-called elliptic $N$-th roots of the unity. $\tau$ functions, vertex operators and bilinear equations of the KdV hierarchy and Boussinesq equation are obtained from those of the KP. We also formulate two ways to calculate bilinear derivatives involved with the Lam\'e-type plane wave factors, which shows that such type of plane wave factors result in quasi-gauge property of bilinear equations.


title: Ferroelectric transition of a chiral molecular crystal BINOL2DMSO

abstract: We report dielectric, thermodynamical, acoustic, and optical properties of a chiral molecular crystal, 1,1'-bi-2-naphthol 2-dimethylsulfoxide (BINOL2DMSO). We find two successive phase transitions at Tc1=190 K and Tc2=125 K. The first transition at Tc1 is characterized by an order-disorder transition of the guest molecules DMSO along with ferroelectricity. At the second transition of Tc2, the crystal structure deforms from tetragonal to monoclinic, leading to domain formation. Low-temperature x-ray diffraction suggests that the space group changes from P4_12_12 (P4_32_12) to P4_1 (P4_3) at Tc1, and down to P112_1 at Tc2.


title: $N=2$ quantum chiral superfields and quantum super bundles

abstract: We give the superalgebra of $N=2$ chiral (and antichiral) quantum superfields realized as a subalgebra of the quantum supergroup $\mathrm{SL}_q(4|2)$. The multiplication law in the quantum supergroup induces a coaction on the set of chiral superfields. We also realize the quantum deformation of the chiral Minkowski superspace as a quantum principal bundle.


title: First muon acceleration and muon linear accelerator for measuring the muon anomalous magnetic moment and electric dipole moment

abstract: Muon acceleration using a radio-frequency accelerator was recently demonstrated for the first time. Measurement of the muon anomalous magnetic moment and electric dipole moment at Japan Proton Accelerator Research Complex is the first experiment using accelerated muon beams, and construction will begin soon. The radio-frequency accelerator used in the experiment and the first muon acceleration are described in this paper.


title: Dynamic Focus-aware Positional Queries for Semantic Segmentation

abstract: The DETR-like segmentors have underpinned the most recent breakthroughs in semantic segmentation, which end-to-end train a set of queries representing the class prototypes or target segments. Recently, masked attention is proposed to restrict each query to only attend to the foreground regions predicted by the preceding decoder block for easier optimization. Although promising, it relies on the learnable parameterized positional queries which tend to encode the dataset statistics, leading to inaccurate localization for distinct individual queries. In this paper, we propose a simple yet effective query design for semantic segmentation termed Dynamic Focus-aware Positional Queries (DFPQ), which dynamically generates positional queries conditioned on the cross-attention scores from the preceding decoder block and the positional encodings for the corresponding image features, simultaneously. Therefore, our DFPQ preserves rich localization information for the target segments and provides accurate and fine-grained positional priors. In addition, we propose to efficiently deal with high-resolution cross-attention by only aggregating the contextual tokens based on the low-resolution cross-attention scores to perform local relation aggregation. Extensive experiments on ADE20K and Cityscapes show that with the two modifications on Mask2former, our framework achieves SOTA performance and outperforms Mask2former by clear margins of 1.1%, 1.9%, and 1.1% single-scale mIoU with ResNet-50, Swin-T, and Swin-B backbones on the ADE20K validation set, respectively. Source code is available at https://github.com/ziplab/FASeg


title: Staring at the Shadows of Archaic Galaxies: Damped Ly$\alpha$ and Metal Absorbers toward a Young $z \sim 6$ Weak-line Quasar

abstract: We characterize the Ly$\alpha$ halo and absorption systems toward PSO J083+11, a unique $z=6.3401$ weak-line quasar, using Gemini/GNIRS, Magellan/FIRE, and VLT/MUSE data. Strong absorptions by hydrogen and several metal lines (e.g., CII, MgII, and OI) are discovered in the spectrum, which indicates the presence of: (i) a proximate sub-damped Ly$\alpha$ (sub-DLA) system at $z=6.314$ and (ii) a MgII absorber at $z=2.2305$. To describe the observed damping wing signal, we model the Ly$\alpha$ absorption with a combination of a sub-DLA with the neutral hydrogen column density of $\log N_\mathrm{HI} = 20.03 \pm 0.30$ cm$^{-2}$ and absorption from the intergalactic medium with a neutral fraction of around 10 percent. The sub-DLA toward PSO J083+11 has an abundance ratio of [C/O] $=-0.04 \pm 0.33$ and metallicity of [O/H] $=-2.19 \pm 0.44$, similar to those of low-redshift metal-poor DLAs. These measurements suggest that the sub-DLA might truncate PSO J083+11's proximity zone size and complicate the quasar lifetime measurement. However, this quasar shows no sign of a Ly$\alpha$ halo in the MUSE data cube, where the estimated $1\sigma$ limit of surface brightness is $2.76 \times 10^{-18}$ erg s$^{-1}$ cm$^{-2}$ arcsec$^{-2}$ at aperture size of 1 arcsecond, or equivalent to a Ly$\alpha$ luminosity of $\leq 43.46$ erg s$^{-1}$. This non-detection, while being only weak independent evidence on its own, is at least consistent with a young quasar scenario, as expected for a quasar with a short accretion timescale.


title: Angular dependence of the upper critical induction of clean $s$- and $d_{x^2-y^2}$-wave superconductors with self-consistent ellipsoidal effective mass and Zeeman anisotropies

abstract: We employ the Schr{\"o}dinger-Dirac method generalized to an ellipsoidal effective mass anisotropy in order to treat the spin and orbital effective mass anisotropies self consistently, which is important when Pauli-limiting effects on the upper critical field characteristic of singlet superconductivity are present. By employing the Klemm-Clem transformations to map the equations of motion into isotropic form, we then calculate the upper critical magnetic induction $B_{c2}(\theta, \phi, T)$ at arbitrary directions and temperatures $T$ for isotropic $s$-wave and for anisotropic $d_{x^2-y^2}$-wave superconducting order parameters. As for anisotropic $s$-wave superconductors, the reduced upper critical field $b_{c2}$ is largest in the direction of the lowest effective mass, and is proportional to the universal orientation factor $\alpha(\theta,\phi)$. However, for $d_{x^2-y^2}$-wave pairing, ${\bm B}_{c2}(\pi/2,\phi,T)$ exhibits either a four-fold pattern with $C_4$ symmetry just below the transition temperature $T_c$ that rotates by $\pi/4$ as $T$ is lowered, or a two-fold pattern with $C_2$ symmetry, depending upon the planar effective mass anisotropy. This provides a new method to distinguish these pairing symmetries in clean unconventional superconductors.


title: Lecture notes on the Fundamental Structures of Differential Geometry

abstract: This is the first part of the lecture notes that grew out of the special course given during the 2021-2022 academic year. In these lecture notes we present an approach to the fundamental structures of differential geometry that uses the vernacular of sheaves, differential operators and horizontal subbundles.


title: Differentiable Rendering for Synthetic Aperture Radar Imagery

abstract: There is rising interest in differentiable rendering, which allows explicitly modeling geometric priors and constraints in optimization pipelines using first-order methods such as backpropagation. Incorporating such domain knowledge can lead to deep neural networks that are trained more robustly and with limited data, as well as the capability to solve ill-posed inverse problems. Existing efforts in differentiable rendering have focused on imagery from electro-optical sensors, particularly conventional RGB-imagery. In this work, we propose an approach for differentiable rendering of Synthetic Aperture Radar (SAR) imagery, which combines methods from 3D computer graphics with neural rendering. We demonstrate the approach on the inverse graphics problem of 3D Object Reconstruction from limited SAR imagery using high-fidelity simulated SAR data.


title: Open-closed homotopy algebra in superstring field theory

abstract: We construct open-closed superstring interactions based on the open-closed homotopy algebra structure. It provides a classical open superstring field theory on general closed-superstring-field backgrounds described by classical solutions of the nonlinear equation of motion of the closed superstring field theory. We also give the corresponding WZW-like action through the map connecting the homotopy-based and WZW-like formulations.


title: Multivariate orthogonal spline systems

abstract: In this article we consider orthonormal systems consisting of tensor products of splines. We show some convergence results of the corresponding orthogonal series including a.e. convergence and unconditional convergence in $L^p$ for $1<p<\infty$, where the latter is proved under some geometric conditions on the involved partitions that depend on the spline order.


title: Optimisation of Operating High Voltage of the large area Resistive Plate Chamber for ICAL experiment

abstract: The Resistive Plate Chamber is a widely used detector in high energy physics. The operating potential of this chamber is determined by the optimisation of the efficiency and noise rate of the device. This optimisation is based on the assumption that the performance of the device over the whole surface area is uniform. The INO-ICAL experiment is going to use $\sim$ 30000 RPC of size $\sim$2\,m$\times$2\,m. All the RPC will have to pass a minimum quality assurance criteria, but may not be able to maintain a good uniformity over the whole surface area, particularly for the whole running period of about twenty years. This paper describes the choice of the optimum operating HV for an RPC of non-uniform response.


title: Some identities involving degenerate Stirling numbers arising from normal ordering

abstract: In this paper, we derive some identities and recurrence relations for the degenerate Stirling numbers of the first kind and of the second kind which are degenerate versions of the ordinary Stirling numbers of the first kind and of the second kind. They are deduced from the normal oderings of degenerate integral powers of the number operator and their inversions, certain relations of boson operators and from the recurrence relations of the Stirling numbers themselves. Here we note that, while the normal ordering of an integral power of the number operator is expressed with the help of the Stirling numbers of the second kind, that of a degenerate integral power of the number operator is represented by means of the degenerate Stirling numbers of the second kind.


title: Generalized Kazdan-Warner equations on foliated manifolds

abstract: On compact foliated manifolds, we extend the theorem on the existence and uniqueness of solutions to generalized Kazdan-Warner equations. We provide examples of PDEs that we solve, including the transverse Hitchin equation for a diagonal harmonic metric on basic cyclic Higgs bundles over a 3-dimensional complex codimension one foliated manifold, and its generalizations.


title: BatchFormerV2: Exploring Sample Relationships for Dense Representation Learning

abstract: Attention mechanisms have been very popular in deep neural networks, where the Transformer architecture has achieved great success in not only natural language processing but also visual recognition applications. Recently, a new Transformer module, applying on batch dimension rather than spatial/channel dimension, i.e., BatchFormer [18], has been introduced to explore sample relationships for overcoming data scarcity challenges. However, it only works with image-level representations for classification. In this paper, we devise a more general batch Transformer module, BatchFormerV2, which further enables exploring sample relationships for dense representation learning. Specifically, when applying the proposed module, it employs a two-stream pipeline during training, i.e., either with or without a BatchFormerV2 module, where the batchformer stream can be removed for testing. Therefore, the proposed method is a plug-and-play module and can be easily integrated into different vision Transformers without any extra inference cost. Without bells and whistles, we show the effectiveness of the proposed method for a variety of popular visual recognition tasks, including image classification and two important dense prediction tasks: object detection and panoptic segmentation. Particularly, BatchFormerV2 consistently improves current DETR-based detection methods (e.g., DETR, Deformable-DETR, Conditional DETR, and SMCA) by over 1.3%. Code will be made publicly available.


title: Cartan $F(R)$ Gravity and Equivalent Scalar-Tensor Theory

abstract: We investigate the Cartan formalism in $F(R)$ gravity. $F(R)$ gravity has been introduced as a theory to explain cosmological accelerated expansion by replacing the Ricci scalar $R$ in the Einstein-Hilbert action with a function of $R$. As is well-known, $F(R)$ gravity is rewritten as a scalar-tensor theory by using the conformal transformation. Cartan $F(R)$ gravity is described based on the Riemann-Cartan geometry formulated by the vierbein. In the Cartan formalism, the Ricci scalar $R$ is divided into two parts, one derived from the Levi-Civita connection and the other from the torsion. Assuming the spin connection independent matter action, we have successfully rewritten the action of Cartan $F(R)$ gravity into the Einstein-Hilbert action and a scalar field with canonical kinetic and potential terms without any conformal transformations. The resulting scalar-tensor theory is useful in applying the usual slow-roll scenario. As a simple case, we employ the Starobinsky model and evaluate fluctuations in the cosmological microwave background radiation.


title: Monte Carlo Physarum Machine: Characteristics of Pattern Formation in Continuous Stochastic Transport Networks

abstract: We present Monte Carlo Physarum Machine: a computational model suitable for reconstructing continuous transport networks from sparse 2D and 3D data. MCPM is a probabilistic generalization of Jones's 2010 agent-based model for simulating the growth of Physarum polycephalum slime mold. We compare MCPM to Jones's work on theoretical grounds, and describe a task-specific variant designed for reconstructing the large-scale distribution of gas and dark matter in the Universe known as the Cosmic web. To analyze the new model, we first explore MCPM's self-patterning behavior, showing a wide range of continuous network-like morphologies -- called "polyphorms" -- that the model produces from geometrically intuitive parameters. Applying MCPM to both simulated and observational cosmological datasets, we then evaluate its ability to produce consistent 3D density maps of the Cosmic web. Finally, we examine other possible tasks where MCPM could be useful, along with several examples of fitting to domain-specific data as proofs of concept.


title: Age of Information with Hybrid-ARQ: A Unified Explicit Result

abstract: Delivering timely status updates in a timeliness-critical communication system is of paramount importance to assist accurate and efficient decision making. Therefore, the topic of analyzing Age of Information has aroused new research interest. This paper contributes to new results in this area by systematically analyzing the AoI of two types of Hybrid Automatic Repeat reQuest (HARQ) techniques that have been newly standardized in the Release-16 5G New Radio (NR) specifications, namely reactive HARQ and proactive HARQ. Under a code-based status update system with non-trivial coding delay, transmission delay, propagation delay, decoding delay, and feedback delay, we derive unified closed-form average AoI and average Peak AoI expressions for reactive HARQ and proactive HARQ, respectively. Based on the obtained explicit expressions, we formulate an AoI minimization problem to investigate the age-optimal codeblock assignment strategy in the finite block-length (FBL) regime. Through case studies and analytical results, we provide comparative insights between reactive HARQ and proactive HARQ from a perspective of freshness of information. The numerical results and optimization solutions show that proactive HARQ draws its strength from both age performance and system robustness, thus enabling the potential to provide new system advancement of a freshness-critical status update system.


title: Homomorphisms of (n,m)-graphs with respect to generalised switch

abstract: The study of homomorphisms of $(n,m)$-graphs, that is, adjacency preserving vertex mappings of graphs with $n$ types of arcs and $m$ types of edges was initiated by Ne\v{s}et\v{r}il and Raspaud [Journal of Combinatorial Theory, Series B 2000]. Later, some attempts were made to generalize the switch operation that is popularly used in the study of signed graphs, and study its effect on the above mentioned homomorphism. In this article, we too provide a generalization of the switch operation on $(n,m)$-graphs, which to the best of our knowledge, encapsulates all the previously known generalizations as special cases. We approach to study the homomorphism with respect to the switch operation axiomatically. We prove some fundamental results that are essential tools in the further study of this topic. In the process of proving the fundamental results, we have provided yet another solution to an open problem posed by Klostermeyer and MacGillivray [Discrete Mathematics 2004]. We also prove the existence of a categorical product for $(n,m)$-graphs on with respect to a particular class of generalized switch which implicitly uses category theory. This is a counter intuitive solution as the number of vertices in the Categorical product of two $(n,m)$-graphs on $p$ and $q$ vertices has a multiple of $pq$ many vertices, where the multiple depends on the switch. This solves an open question asked by Brewster in the PEPS 2012 workshop as a corollary. We also provide a way to calculate the product explicitly, and prove general properties of the product. We define the analog of chromatic number for $(n,m)$-graphs with respect to generalized switch and explore the interrelations between chromatic numbers with respect to different switch operations. We find the value of this chromatic number for the family of forests using group theoretic notions.


title: Neutral meson mixing in the $B^0_{(s)}$ sector from lattice QCD

abstract: We summarise the current status of lattice QCD computations of neutral meson parameters in the $B_d^0$ and the $B_s^0$ systems. We comment on recent results and anticipate further improvements on the uncertainties in the future.


title: Mixed Chiral and Achiral Character in Substituted Ethane: A Next Generation QTAIM Perspective

abstract: We use the newly introduced spanning stress tensor trajectory $U_{\sigma}$-space construction within next generation quantum theory of atoms in molecules (NG-QTAIM) for a chirality investigation of singly and doubly substituted ethane with halogen substituents: F, Cl, Br. A lack of achiral character in $U_{\sigma}$-space was discovered for singly substituted ethane. The resultant axial bond critical point (BCP) sliding responded more strongly to the increase in atomic number of the substituted halogen than the chirality. The presence of the very light F atom was found responsible for a very high degree of achiral character of the doubly substituted ethane.


title: A remark on $p$-adic Siegel Eisenstein series

abstract: A generalization of Serre's $p$-adic Eisenstein series in the case of Siegel modular forms is studied and a coincidence between a $p$-adic Siegel Eisenstein series and a genus theta series associated with a quaternary quadratic form is proved.


title: FT-EALU: Fault Tolerant Arithmetic and Logic Unit for Critical Embedded and Real time Systems

abstract: In this paper, a fault-tolerant approach to mitigate transient and permanent faults of arithmetic and logic operations of embedded processors called FT-EALU is proposed. In this method, each operation is replicated in time and the derived final results are voted to generate the final output. To consider the effect of permanent faults, replicating identical operations in time is not sufficient, and diversifying the operands is required. To this aim in FT-EALU, we consider three distinct versions of input data and apply the target operation to them serially in time. To avoid high time overhead, we employ simple operators such as shift and swap to make an appropriate diversion in input data. Our proposed fault tolerance approach passes the replicated and diverse results to a novel weighted voter that is designed based on the reward/punishment strategy. For each version of execution, based on the proposed weighting approach a corresponding weight according to its correction capability confronting several faulty scenarios is defined. This weight defines the reliability of the result of each version of execution and determines its effect on the final result. The final result is generated bit by bit based on the weight of each execution and its computed result. These weights are determined statically through a design-time learning scheme according to applying several types of faults on various data bits. Based on the capability of execution versions on mitigating the permanent faults, positive or negative scores are assigned to them. These scores are integrated for several cases and normalized to derive the appropriate weight of each execution at bit level. Several experiments are performed to show the efficiency of our proposed approach and based on them, FT-EALU is capable of correcting about 84.93% and 69.71% of permanent injected faults on single and double bits of input data.


title: Direct Dense Pose Estimation

abstract: Dense human pose estimation is the problem of learning dense correspondences between RGB images and the surfaces of human bodies, which finds various applications, such as human body reconstruction, human pose transfer, and human action recognition. Prior dense pose estimation methods are all based on Mask R-CNN framework and operate in a top-down manner of first attempting to identify a bounding box for each person and matching dense correspondences in each bounding box. Consequently, these methods lack robustness due to their critical dependence on the Mask R-CNN detection, and the runtime increases drastically as the number of persons in the image increases. We therefore propose a novel alternative method for solving the dense pose estimation problem, called Direct Dense Pose (DDP). DDP first predicts the instance mask and global IUV representation separately and then combines them together. We also propose a simple yet effective 2D temporal-smoothing scheme to alleviate the temporal jitters when dealing with video data. Experiments demonstrate that DDP overcomes the limitations of previous top-down baseline methods and achieves competitive accuracy. In addition, DDP is computationally more efficient than previous dense pose estimation methods, and it reduces jitters when applied to a video sequence, which is a problem plaguing the previous methods.


title: Probabilistic Implicit Scene Completion

abstract: We propose a probabilistic shape completion method extended to the continuous geometry of large-scale 3D scenes. Real-world scans of 3D scenes suffer from a considerable amount of missing data cluttered with unsegmented objects. The problem of shape completion is inherently ill-posed, and high-quality result requires scalable solutions that consider multiple possible outcomes. We employ the Generative Cellular Automata that learns the multi-modal distribution and transform the formulation to process large-scale continuous geometry. The local continuous shape is incrementally generated as a sparse voxel embedding, which contains the latent code for each occupied cell. We formally derive that our training objective for the sparse voxel embedding maximizes the variational lower bound of the complete shape distribution and therefore our progressive generation constitutes a valid generative model. Experiments show that our model successfully generates diverse plausible scenes faithful to the input, especially when the input suffers from a significant amount of missing data. We also demonstrate that our approach outperforms deterministic models even in less ambiguous cases with a small amount of missing data, which infers that probabilistic formulation is crucial for high-quality geometry completion on input scans exhibiting any levels of completeness.


title: Multi-modality Associative Bridging through Memory: Speech Sound Recollected from Face Video

abstract: In this paper, we introduce a novel audio-visual multi-modal bridging framework that can utilize both audio and visual information, even with uni-modal inputs. We exploit a memory network that stores source (i.e., visual) and target (i.e., audio) modal representations, where source modal representation is what we are given, and target modal representations are what we want to obtain from the memory network. We then construct an associative bridge between source and target memories that considers the interrelationship between the two memories. By learning the interrelationship through the associative bridge, the proposed bridging framework is able to obtain the target modal representations inside the memory network, even with the source modal input only, and it provides rich information for its downstream tasks. We apply the proposed framework to two tasks: lip reading and speech reconstruction from silent video. Through the proposed associative bridge and modality-specific memories, each task knowledge is enriched with the recalled audio context, achieving state-of-the-art performance. We also verify that the associative bridge properly relates the source and target memories.


title: CIRS: Bursting Filter Bubbles by Counterfactual Interactive Recommender System

abstract: While personalization increases the utility of recommender systems, it also brings the issue of filter bubbles. E.g., if the system keeps exposing and recommending the items that the user is interested in, it may also make the user feel bored and less satisfied. Existing work studies filter bubbles in static recommendation, where the effect of overexposure is hard to capture. In contrast, we believe it is more meaningful to study the issue in interactive recommendation and optimize long-term user satisfaction. Nevertheless, it is unrealistic to train the model online due to the high cost. As such, we have to leverage offline training data and disentangle the causal effect on user satisfaction. To achieve this goal, we propose a counterfactual interactive recommender system (CIRS) that augments offline reinforcement learning (offline RL) with causal inference. The basic idea is to first learn a causal user model on historical data to capture the overexposure effect of items on user satisfaction. It then uses the learned causal user model to help the planning of the RL policy. To conduct evaluation offline, we innovatively create an authentic RL environment (KuaiEnv) based on a real-world fully observed user rating dataset. The experiments show the effectiveness of CIRS in bursting filter bubbles and achieving long-term success in interactive recommendation. The implementation of CIRS is available via https://github.com/chongminggao/CIRS-codes.


title: FoV-Net: Field-of-View Extrapolation Using Self-Attention and Uncertainty

abstract: The ability to make educated predictions about their surroundings, and associate them with certain confidence, is important for intelligent systems, like autonomous vehicles and robots. It allows them to plan early and decide accordingly. Motivated by this observation, in this paper we utilize information from a video sequence with a narrow field-of-view to infer the scene at a wider field-of-view. To this end, we propose a temporally consistent field-of-view extrapolation framework, namely FoV-Net, that: (1) leverages 3D information to propagate the observed scene parts from past frames; (2) aggregates the propagated multi-frame information using an attention-based feature aggregation module and a gated self-attention module, simultaneously hallucinating any unobserved scene parts; and (3) assigns an interpretable uncertainty value at each pixel. Extensive experiments show that FoV-Net does not only extrapolate the temporally consistent wide field-of-view scene better than existing alternatives, but also provides the associated uncertainty which may benefit critical decision-making downstream applications. Project page is at http://charliememory.github.io/RAL21_FoV.


title: Improving Monocular Visual Odometry Using Learned Depth

abstract: Monocular visual odometry (VO) is an important task in robotics and computer vision. Thus far, how to build accurate and robust monocular VO systems that can work well in diverse scenarios remains largely unsolved. In this paper, we propose a framework to exploit monocular depth estimation for improving VO. The core of our framework is a monocular depth estimation module with a strong generalization capability for diverse scenes. It consists of two separate working modes to assist the localization and mapping. With a single monocular image input, the depth estimation module predicts a relative depth to help the localization module on improving the accuracy. With a sparse depth map and an RGB image input, the depth estimation module can generate accurate scale-consistent depth for dense mapping. Compared with current learning-based VO methods, our method demonstrates a stronger generalization ability to diverse scenes. More significantly, our framework is able to boost the performances of existing geometry-based VO methods by a large margin.


title: A Decomposition Algorithm for Two-Stage Stochastic Programs with Nonconvex Recourse

abstract: In this paper, we have studied a decomposition method for solving a class of nonconvex two-stage stochastic programs, where both the objective and constraints of the second-stage problem are nonlinearly parameterized by the first-stage variable. Due to the failure of the Clarke regularity of the resulting nonconvex recourse function, classical decomposition approaches such as Benders decomposition and (augmented) Lagrangian-based algorithms cannot be directly generalized to solve such models. By exploring an implicitly convex-concave structure of the recourse function, we introduce a novel decomposition framework based on the so-called partial Moreau envelope. The algorithm successively generates strongly convex quadratic approximations of the recourse function based on the solutions of the second-stage convex subproblems and adds them to the first-stage master problem. Convergence under both fixed scenarios and interior samplings is established. Numerical experiments are conducted to demonstrate the effectiveness of the proposed algorithm.


title: The inf-sup constant for $hp$-Crouzeix-Raviart triangular elements

abstract: In this paper, we consider the discretization of the two-dimensional stationary Stokes equation by Crouzeix-Raviart elements for the velocity of polynomial order $k\geq1$ on conforming triangulations and discontinuous pressure approximations of order $k-1$. We will bound the inf-sup constant from below independent of the mesh size and show that it depends only logarithmically on $k$. Our assumptions on the mesh are very mild: for odd $k$ we require that the triangulations contain at least one inner vertex while for even $k$ we assume that the triangulations consist of more than a single triangle.


title: Into-TTS : Intonation Template Based Prosody Control System

abstract: Intonations play an important role in delivering the intention of a speaker. However, current end-to-end TTS systems often fail to model proper intonations. To alleviate this problem, we propose a novel, intuitive method to synthesize speech in different intonations using predefined intonation templates. Prior to TTS model training, speech data are grouped into intonation templates in an unsupervised manner. Two proposed modules are added to the end-to-end TTS framework: an intonation predictor and an intonation encoder. The intonation predictor recommends a suitable intonation template to the given text. The intonation encoder, attached to the text encoder output, synthesizes speech abiding the requested intonation template. Main contributions of our paper are: (a) an easy-to-use intonation control system covering a wide range of users; (b) better performance in wrapping speech in a requested intonation with improved objective and subjective evaluation; and (c) incorporating a pre-trained language model for intonation modelling. Audio samples are available at https://srtts.github.io/IntoTTS.


title: On the Harnack inequality for antisymmetric $s$-harmonic functions

abstract: We prove the Harnack inequality for antisymmetric $s$-harmonic functions, and more generally for solutions of fractional equations with zero-th order terms, in a general domain. This may be used in conjunction with the method of moving planes to obtain quantitative stability results for symmetry and overdetermined problems for semilinear equations driven by the fractional Laplacian. The proof is split into two parts: an interior Harnack inequality away from the plane of symmetry, and a boundary Harnack inequality close to the plane of symmetry. We prove these results by first establishing the weak Harnack inequality for super-solutions and local boundedness for sub-solutions in both the interior and boundary case. En passant, we also obtain a new mean value formula for antisymmetric $s$-harmonic functions.


title: FedSynth: Gradient Compression via Synthetic Data in Federated Learning

abstract: Model compression is important in federated learning (FL) with large models to reduce communication cost. Prior works have been focusing on sparsification based compression that could desparately affect the global model accuracy. In this work, we propose a new scheme for upstream communication where instead of transmitting the model update, each client learns and transmits a light-weight synthetic dataset such that using it as the training data, the model performs similarly well on the real training data. The server will recover the local model update via the synthetic data and apply standard aggregation. We then provide a new algorithm FedSynth to learn the synthetic data locally. Empirically, we find our method is comparable/better than random masking baselines in all three common federated learning benchmark datasets.


title: Two-Dimensional Ferromagnetic Half-Metallic Janus V2AsP Monolayer

abstract: Two-dimensional (2D) ferromagnetic materials present promising candidates for spintronic devices, and the half-metallic materials with 100% spin polarization at Fermi energy level are highly desired for many spin-based devices. 2D Janus materials have attracted great attention in recent years due to their excellent properties induced by breaking the symmetry. Here, using the density functional theory, we report that the Janus V2AsP monolayer demonstrates a charming ferromagnetic half-metallic feature. It is dynamically stable in view of the absence of imaginary frequency phonon. The half-metallic gap is about 0.38 eV and the spin splitting of about 1.34eV for the V2AsP monolayer. Interestingly, a tensile strain of 4.9% can induce it to undergo a phase transition from ferromagnetic to anti-ferromagnetic state. Moreover, the Curie temperature (Tc) enhances with the increase of compressive strain. All there appealing properties make the half-metallic Janus V2AsP monolayer a promising material for 2D spintronic applications.


title: Direct search based on probabilistic descent in reduced spaces

abstract: In this paper, we study a generic direct-search algorithm in which the polling directions are defined using random subspaces. Complexity guarantees for such an approach are derived thanks to probabilistic properties related to both the subspaces and the directions used within these subspaces. Our analysis crucially extends previous deterministic and probabilistic arguments by relaxing the need for directions to be deterministically bounded in norm. As a result, our approach encompasses a wide range of new optimal polling strategies that can be characterized using our subspace and direction properties. By leveraging results on random subspace embeddings and sketching matrices, we show that better complexity bounds are obtained for randomized instances of our framework. A numerical investigation confirms the benefit of randomization, particularly when done in subspaces, when solving problems of moderately large dimension.


title: Aligning Silhouette Topology for Self-Adaptive 3D Human Pose Recovery

abstract: Articulation-centric 2D/3D pose supervision forms the core training objective in most existing 3D human pose estimation techniques. Except for synthetic source environments, acquiring such rich supervision for each real target domain at deployment is highly inconvenient. However, we realize that standard foreground silhouette estimation techniques (on static camera feeds) remain unaffected by domain-shifts. Motivated by this, we propose a novel target adaptation framework that relies only on silhouette supervision to adapt a source-trained model-based regressor. However, in the absence of any auxiliary cue (multi-view, depth, or 2D pose), an isolated silhouette loss fails to provide a reliable pose-specific gradient and requires to be employed in tandem with a topology-centric loss. To this end, we develop a series of convolution-friendly spatial transformations in order to disentangle a topological-skeleton representation from the raw silhouette. Such a design paves the way to devise a Chamfer-inspired spatial topological-alignment loss via distance field computation, while effectively avoiding any gradient hindering spatial-to-pointset mapping. Experimental results demonstrate our superiority against prior-arts in self-adapting a source trained model to diverse unlabeled target domains, such as a) in-the-wild datasets, b) low-resolution image domains, and c) adversarially perturbed image domains (via UAP).


title: Existence of a positive hyperbolic orbit in the presence of an elliptic orbit in three-dimensional Reeb flows

abstract: Nondegenerate periodic orbits in three-dimensional Reeb flows can be classified into three types, positive hyperbolic, negative hyperbolic and elliptic. As a problem which involves refining the three-dimensional Weinstein conjecture, D. Cristofaro-Gardiner, M. Hutchings and D. Pomerleano proposed whether every nondegenerate closed contact three manifold has at least one positive hyperbolic orbit except for lens spaces. In the same paper, they showed the existence of at least one simple hyperbolic orbit under $b_{1}>0$ by the isomorphism between ECH and Seiberg-Witten Floer (co)homology, especially, using the result that if $b_{1}>0$, the odd part of ECH which detects the existence of a positive hyperbolic orbit does not vanish. But in the case of $b_{1}=0$, such a way doesn't work. In the present paper, we prove the existence of a positive hyperbolic orbit in the presence of at least one elliptic orbit except for some well-known trivial cases under $b_{1}=0$. The key points in this paper are the volume property with respect to ECH spectrums and the compactification of the moduli spaces of certain $J$-holomorphic curves counted by the $U$-map.


title: Technical Report on Subspace Pyramid Fusion Network for Semantic Segmentation

abstract: The following is a technical report to test the validity of the proposed Subspace Pyramid Fusion Module (SPFM) to capture multi-scale feature representations, which is more useful for semantic segmentation. In this investigation, we have proposed the Efficient Shuffle Attention Module(ESAM) to reconstruct the skip-connections paths by fusing multi-level global context features. Experimental results on two well-known semantic segmentation datasets, including Camvid and Cityscapes, show the effectiveness of our proposed method.


title: Effective Field Theory of Dipolar Braiding Statistics in Two Dimensions

abstract: A rank-2 toric code (R2TC) Hamiltonian in two dimensions can be constructed as a Higgsed descendant of rank-2 U(1) lattice gauge theory. As noted by the authors recently, [Y.-T. Oh, J. Kim, E.-G. Moon, and J. H. Han, Phys. Rev. B {\bf 105}, 045128] the quasiparticles in that model shows unusual braiding statistics that depends on the initial locations of the particles which participate in the braiding. We show that this new kind of statistical phase captures the total dipole moment of quasiparticles encompassed in the braiding, in contrast to the conventional anyonic braiding seeing the total charge. An Aharonov-Bohm interpretation of such {\it dipolar braiding statistics} is made in terms of emergent, rank-1 vector potentials that are built out of the underlying rank-2 gauge fields. Pertinent field theories of the quasiparticle dynamics in the R2TC are developed, and the accompanying conservation laws derived. A {\it dipolar BF theory} of the rank-2 gauge fields is constructed and shown to correctly capture the dipolar braiding statistics, in contrast to the conventional BF theory capturing the monopolar braiding statistics of anyons in the rank-1 toric code.


title: Muon g-2 with overlap valence fermions

abstract: We present a lattice calculation of the leading order (LO) hadronic vacuum polarization (HVP) contribution to the muon anomalous magnetic moment for the connected light and strange quarks, $a^{\rm W}_{{\rm con}, l/s}$ in the widely used window $t_0=0.4~\mathrm{fm}$, $t_1=1.0~\mathrm{fm}$, $\Delta=0.15~\mathrm{fm}$, and also of $a^{\rm S}_{{\rm con}, l/s}$ in the short distance region. We use overlap fermions on 4 physical-point ensembles. Two 2+1 flavor RBC/UKQCD ensembles use domain wall fermions (DWF) and Iwasaki gauge actions at $a = 0.084$ and 0.114 fm, and two 2+1+1 flavor MILC ensembles use the highly improved staggered quark (HISQ) and Symanzik gauge actions at $a = 0.088$ and 0.121 fm. We have incorporated infinite volume corrections from 3 additional DWF ensembles at ${\rm L}$ = 4.8, 6.4 and 9.6 fm and physical pion mass. For $a^{\rm W}_{{\rm con}, l}$, we find that our results on the two smaller lattice spacings are consistent with those using the unitary setup, but those at the two coarser lattice spacings are slightly different. Eventually, we predict $a^{\rm W}_{{\rm con}, l}=206.7(1.5)(1.0)$ and $a^{\rm W}_{{\rm con}, s}=26.8(0.1)(0.3)$, using linear extrapolation in $a^2$, with systematic uncertainties estimated from the difference of the central values from the RBC/UKQCD and MILC ensembles.