title: The effects of charmonium on the properties of the $1^{++}$ hidden charm poles in effective field theory

abstract: In this study, the properties of the $J^{PC}=1^{++}$ hidden charm poles are analyzed under the variation of the bare 2P charmonium mass within the effective field theory proposed in Ref.[1]. The main focus of the current work is on the pole trajectory of the $\chi_{c1}(2P)$ charmonium dressed by the $D \bar{D}^*$ meson loops. It is shown that the trajectories of the pole change radically for values of the bare charmonium mass above a certain value and also depending on how close the pole is to the threshold.


title: Cayley-Hamilton Theorem for Symplectic Quantum Matrix Algebras

abstract: We establish the analogue of the Cayley--Hamilton theorem for the quantum matrix algebras of the symplectic type.


title: A Note On Exemplary Off-Shell Constructions Of 4D, ${\mathbf {\cal N}}$ = 2 Supersymmetry Representations

abstract: We continue the search for rules that govern when off-shell 4D, $\cal N$ = 1 supermultiplets can be combined to form off-shell 4D, $\cal N$ = 2 supermultiplets. We study the ${\mathbb S}_8$ permutations and Height Yielding Matrix Numbers (HYMN) embedded within the adinkras that correspond to these putative 4D, $\cal N$ = 2 supermultiplets off-shell supermultiplets. Even though the HYMN definition was designed to distinguish between the raising and lowering of nodes in one dimensional valises supermultiplets, they are shown to accurately select out which combinations of off-shell 4D, $\cal N$ = 1 supermultiplets correspond to off-shell 4D, $\cal N$ = 2 supermultiplets. Only the combinations of the chiral + vector and chiral + tensor are found to have valises in the same class. This is consistent with the well known structure of 4D, $\cal N$ = 2 supermultiplets.


title: Approximate gauge independence of the induced gravitational wave spectrum

abstract: Gravitational waves (GWs) induced by scalar curvature fluctuations are an important source of the cosmological GW background and a crucial counterpart of the primordial black hole scenario. However, doubts have been cast on the theoretically predicted induced GW spectrum due to its seeming gauge dependence. In this paper, we shed light on the gauge dependence issue of the induced GW spectrum in general cosmological backgrounds. First, inspired by the Hamiltonian formalism we provide very simple formulas for the tensor modes at second order in cosmological perturbation theory. We also emphasize the difference between observable and gauge invariant variables. Second, we argue that the Newton (or shear-free) gauge is suitable for both the calculation of induced GWs and the physical interpretation. We then show that, most notably, the induced GW spectrum is invariant under a set of reasonable gauge transformations, i.e. physically well behaved on small scales, once the source term has become inactive. This includes the commonly used flat, constant Hubble and synchronous gauges but excludes the comoving slicing gauge. We also show that a particular solution of the GW equation in a dust dominated universe while the source term is active can be gauged away by a small change of gauge.


title: Differentiating the Value Function by using Convex Duality

abstract: We consider the differentiation of the value function for parametric optimization problems. Such problems are ubiquitous in Machine Learning applications such as structured support vector machines, matrix factorization and min-min or minimax problems in general. Existing approaches for computing the derivative rely on strong assumptions of the parametric function. Therefore, in several scenarios there is no theoretical evidence that a given algorithmic differentiation strategy computes the true gradient information of the value function. We leverage a well known result from convex duality theory to relax the conditions and to derive convergence rates of the derivative approximation for several classes of parametric optimization problems in Machine Learning. We demonstrate the versatility of our approach in several experiments, including non-smooth parametric functions. Even in settings where other approaches are applicable, our duality based strategy shows a favorable performance.


title: Counting curves on orbifolds

abstract: We show that Mirzakhani's curve counting theorem also holds if we replace surfaces by orbifolds.


title: Gaps in the fractional parts of square roots

abstract: Fractional parts of the first $N$ natural numbers fill the unit interval with asymptotically uniform density. However, the gaps around rational points shrink at an asymptotically lower rate $N^{-1/2}$, and their widths scale with the Thomae ("popcorn") function. This curious connection is derived and related geometrically to shadow pattern in the Euclid's orchard. Generalized cases of higher radicals and their convergence rates, are also investigated.


title: Towards Understanding Sensor and Control Nodes Selection in Nonlinear Dynamic Systems: Lyapunov Theory Meets Branch-and-Bound

abstract: Sensor and actuator selection problems (SASP) are some of the core problems in dynamic systems design and control. These problems correspond to determining the optimal selection of sensors (measurements) or actuators (control nodes) such that certain estimation/control objectives can be achieved. While the literature on SASP is indeed inveterate, the vast majority of the work focuses on linear(ized) representation of the network dynamics, resulting in the placements of sensors or actuators (SA) that are valid for confined operating regions. As an alternative, herein we propose a new general framework for addressing SASP in nonlinear dynamic systems (NDS), assuming that the inputs and outputs are linearly coupled with the nonlinear dynamics. This is investigated through (i) classifying and parameterizing the NDS into various nonlinear function sets, (ii) utilizing rich Lyapunov theoretic formulations, and (iii) designing a new customized branch-and-bound (BnB) algorithm that exploits problem structure of the SASP. The newly designed BnB routines are computationally more attractive than the standard one and also directly applicable to solve SASP for linear systems. In contrast with contemporary approaches from the literature, our approach is suitable for finding the optimal SA combination for stable/unstable NDS that ensures stabilization of estimation error and closed-loop dynamics through a simple linear feedback control policy.


title: Solution of the system of two coupled first-order ODEs with second-degree polynomial right-hand sides

abstract: The explicit solution of the initial-values problem is exhibited of a subclass of the autonomous system of 2 coupled first-order ODE s with second-degree polynomial right-hand sides, hence featuring 12 a prior arbitrary (time-independent) coefficients. The solution is explicitly provided if the 12 coefficients are expressed by explicitly provided formulas in terms of 10 a prior arbitrary parameters; the inverse problem to express these 10 parameters in terms of the 12 coefficients is also explicitly solved, but it is found to imply as it were, a posterior that the 12 coefficients must then satisfy 4 algebraic constraints, which are explicitly exhibited.Special sub cases are also identified the general solutions of which are completely periodic with a period independent of the initial data, or are characterized by additional restrictions on the coefficients which identify particularly interesting models.


title: ALP-KD: Attention-Based Layer Projection for Knowledge Distillation

abstract: Knowledge distillation is considered as a training and compression strategy in which two neural networks, namely a teacher and a student, are coupled together during training. The teacher network is supposed to be a trustworthy predictor and the student tries to mimic its predictions. Usually, a student with a lighter architecture is selected so we can achieve compression and yet deliver high-quality results. In such a setting, distillation only happens for final predictions whereas the student could also benefit from teacher's supervision for internal components. Motivated by this, we studied the problem of distillation for intermediate layers. Since there might not be a one-to-one alignment between student and teacher layers, existing techniques skip some teacher layers and only distill from a subset of them. This shortcoming directly impacts quality, so we instead propose a combinatorial technique which relies on attention. Our model fuses teacher-side information and takes each layer's significance into consideration, then performs distillation between combined teacher layers and those of the student. Using our technique, we distilled a 12-layer BERT (Devlin et al. 2019) into 6-, 4-, and 2-layer counterparts and evaluated them on GLUE tasks (Wang et al. 2018). Experimental results show that our combinatorial approach is able to outperform other existing techniques.


title: Multi-Channel Auto-Calibration for the Atmospheric Imaging Assembly using Machine Learning

abstract: Solar activity plays a quintessential role in influencing the interplanetary medium and space-weather around the Earth. Remote sensing instruments onboard heliophysics space missions provide a pool of information about the Sun's activity via the measurement of its magnetic field and the emission of light from the multi-layered, multi-thermal, and dynamic solar atmosphere. Extreme UV (EUV) wavelength observations from space help in understanding the subtleties of the outer layers of the Sun, namely the chromosphere and the corona. Unfortunately, such instruments, like the Atmospheric Imaging Assembly (AIA) onboard NASA's Solar Dynamics Observatory (SDO), suffer from time-dependent degradation, reducing their sensitivity. Current state-of-the-art calibration techniques rely on periodic sounding rockets, which can be infrequent and rather unfeasible for deep-space missions. We present an alternative calibration approach based on convolutional neural networks (CNNs). We use SDO-AIA data for our analysis. Our results show that CNN-based models could comprehensively reproduce the sounding rocket experiments' outcomes within a reasonable degree of accuracy, indicating that it performs equally well compared with the current techniques. Furthermore, a comparison with a standard "astronomer's technique" baseline model reveals that the CNN approach significantly outperforms this baseline. Our approach establishes the framework for a novel technique to calibrate EUV instruments and advance our understanding of the cross-channel relation between different EUV channels.

categories: astro-ph.SR astro-ph.IM cs.LG physics.data-an physics.space-ph


title: All-Fiber Source and Sorter for Multimode Correlated Photons

abstract: Photons occupying multiple spatial modes hold a great promise for implementing high-dimensional quantum communication. We use spontaneous four-wave mixing to generate multimode photon pairs in a few mode fiber. We show the photons are correlated in the fiber mode basis using an all-fiber mode sorter. Our demonstration offers an essential building block for realizing high-dimensional quantum protocols based on standard, commercially available fibers, in an all-fiber configuration.


title: Photoinduced Nonperturbative Valley Polarization in Graphene

abstract: We investigate a valleytronic device based on graphene with charge separation at different sublattices and correspondingly at nonequivalent valleys. We characterize the maximality condition of valley polarization and investigate the parameters and conditions upon which we can coherently control the carriers and store data via valley degree of freedom. The valley polarization is controlled by the amplitude as well as the carrier envelope phase of the pulse and the curvature of the electron trajectory in the reciprocal space. When strong field excitation is taken into account, the optical selection rule in perturbative optics is replaced by the nonadiabatic geometric effects. As a result, a nonperturbative valley polarization in two dimensional Dirac materials is induced regardless of having an intrinsic bandgap. Microscopically, such a nonreciprocal response of graphene in the chiral electric field is encoded by the quantum Berry phase, as a (pseudo) magnetoelectric monopole.


title: Superresolution in interferometric imaging of strong thermal sources

abstract: Imaging using interferometer arrays based on the Van Cittert-Zernike theorem has been widely used in astronomical observation. Recently it was shown that superresolution can be achieved in this system for imaging two weak thermal point sources. Using quantum estimation theory, we consider the fundamental quantum limit of resolving the transverse separation of two strong thermal point sources using interferometer arrays, and show that the resolution is not limited by the longest baseline. We propose measurement techniques using linear beam splitters and photon-number-resolving detection to achieve our bound. Our results demonstrate that superresolution for resolving two thermal point sources of any strength can be achieved in interferometer arrays.


title: Data-Driven Fractional Subgrid-scale Modeling for Scalar Turbulence: A Nonlocal LES Approach

abstract: Filtering the passive scalar transport equation in the large-eddy simulation (LES) of turbulent transport gives rise to the closure term corresponding to the unresolved scalar flux. Understanding and respecting the statistical features of subgrid-scale (SGS) flux is a crucial point in robustness and predictability of the LES. In this work, we investigate the intrinsic nonlocal behavior of the SGS passive scalar flux through studying its two-point statistics obtained from the filtered direct numerical simulation (DNS) data for passive scalar transport in homogeneous isotropic turbulence (HIT). Presence of long-range correlations in true SGS scalar flux urges to go beyond the conventional local closure modeling approaches that fail to predict the non-Gaussian statistical features of turbulent transport in passive scalars. Here, we propose an appropriate statistical model for microscopic SGS motions by taking into account the filtered Boltzmann transport equation (FBTE) for passive scalar. In FBTE, we approximate the filtered equilibrium distribution with an $\alpha$-stable Levy distribution that essentially incorporates a power-law behavior to resemble the observed nonlocal statistics of SGS scalar flux. Generic ensemble-averaging of such FBTE lets us formulate a continuum level closure model for the SGS scalar flux appearing in terms of fractional-order Laplacian that is inherently nonlocal. Through a data-driven approach, we infer the optimal version of our SGS model using the high-fidelity data for the two-point correlation function between the SGS scalar flux and filtered scalar gradient, and sparse linear regression. In an \textit{a priori} test, the optimal fractional-order model yields a promising performance in reproducing the probability distribution function (PDF) of the SGS dissipation of the filtered scalar variance compared to its true PDF obtained from the filtered DNS data.


title: Computing Sensitivities in Evolutionary Systems: A Real-Time Reduced Order Modeling Strategy

abstract: We present a new methodology for computing sensitivities in evolutionary systems using a model-driven low-rank approximation. To this end, we formulate a variational principle that seeks to minimize the distance between the time derivative of the reduced approximation and sensitivity dynamics. The first-order optimality condition of the variational principle leads to a system of closed-form evolution equations for an orthonormal basis and corresponding sensitivity coefficients. This approach allows for the computation of sensitivities with respect to a large number of parameters in an accurate and tractable manner by extracting correlations between different sensitivities on the fly. The presented method requires solving forward evolution equations, sidestepping the restrictions imposed by forward/backward workflow of adjoint sensitivities. For example, the presented method, unlike the adjoint equation, does not impose any I/O load and can be used in applications in which real time sensitivities are of interest. We demonstrate the utility of the method for three test cases: (1) computing sensitivity with respect to model parameters in the Rossler system (2) computing sensitivity with respect to an infinite-dimensional forcing parameter in the chaotic Kuramoto-Sivashinsky equation and (3) computing sensitivity with respect to reaction parameters for species transport in a turbulent reacting flow.


title: Modeling, Vibration Control, and Trajectory Tracking of a Kinematically Constrained Planar Hybrid Cable-Driven Parallel Robot

abstract: This paper presents a kinematically constrained planar hybrid cable-driven parallel robot (HCDPR) for warehousing applications as well as other potential applications such as rehabilitation. The proposed HCDPR can harness the strengths and benefits of serial and cable-driven parallel robots. Based on this robotic platform, the goal in this paper is to develop an integrated control system to reduce vibrations and improve the trajectory accuracy and performance of the HCDPR, including deriving kinematic and dynamic equations, proposing solutions for redundancy resolution and optimization of stiffness, and developing two motion and vibration control strategies (controllers I and II). Finally, different case studies are conducted to evaluate the control performance, and the results show that the controller II can achieve the goal better.


title: Residual Mean Field Model of Valence Quarks in the Nucleon

abstract: We develop a non-perturbative model for valence parton distribution functions (PDFs) based on the mean field interactions of valence quarks in the nucleonic interior. The main motivation for the model is to obtain a mean field description of the valence quarks as a baseline to study the short range quark-quark interactions that generate the high $x$ tail of PDFs. The model is based on the separation of the valence three-quark cluster and residual system in the nucleon. Then the nucleon structure function is calculated within the effective light-front diagrammatic approach introducing nonperturbative light-front valence quark and residual wave functions. Within the model a new relation is obtained between the position, $x_p$, of the peak of $xq_V(x)$ distribution of the valence quark and the effective mass of the residual system, $m_R$, in the form: $x_{p} \approx {1\over 4} (1-{m_R\over m_N})$ at starting $Q^2$. This relation explains the difference in the peak positions for d- and u- quarks through the expected difference of residual masses for valence d- and u- quark distributions. The parameters of the model are fixed by fitting the calculated valence quark distributions to the phenomenological PDFs. This allowed us to estimate the overall mean field contribution in baryonic and momentum sum rules for valence d- and u- quarks. Finally, the evaluated parameters of the non-perturbative wave functions of valence 3q-cluster and residual system can be used in calculation of other quantities such as nucleon form factors, generalized partonic and transverse momentum distributions.


title: Schmidt representation of 3-qubits with real amplitudes

abstract: From the Schmidt representation we have that, up to local gates, every 2-qubit state can be written as $[\phi\rangle=\lambda_1 [00\rangle+\lambda_2 [11\rangle$ with $\lambda_1$ and $\lambda_2$ real numbers. For 3-qubits states, it is known, PRL 2000 85, that up to local gates every 3-qubit state can be written as $[\phi\rangle=\lambda_1 [000\rangle+\lambda_2 e^{i \theta }[100\rangle+\lambda_3[101\rangle+\lambda_4[110\rangle+\lambda_5[111\rangle$ with $\lambda_i\ge0$ and $0\le \theta \le \pi$. In this paper, we show that no every 3-qubit state with real amplitudes can be transform in the form $[\phi\rangle=\lambda_1 [000\rangle+\lambda_2 [100\rangle+\lambda_3[101\rangle+\lambda_4[110\rangle+\lambda_5[111\rangle$ by using local gates in the orthogonal group (the group generated by $R_y(\theta)$ and $X$ gates). We also show that, up to local gates in the orthogonal group, every 3-qubit with real amplitudes can be written as $[\phi\rangle=\lambda_1 [000\rangle+\lambda_2 [011\rangle+\lambda_3[101\rangle+\lambda_4[110\rangle+\lambda_5[111\rangle$ with the $\lambda_i$ real numbers. An explanation of this result can be found in the youtube video \url{https://youtu.be/gDN20QHzsoQ}


title: Scale-free Protocol Design for Output and Regulated Output Synchronization of Heterogeneous Multi-agent Systems

abstract: In this paper, we consider scalable output and regulated output synchronization problems for heterogeneous networks of right-invertible linear agents based on localized information exchange where in the case of regulated output synchronization, the reference trajectory is generated by a so-called exosystem. We assume that all the agents are introspective, meaning that they have access to their own local measurements. We propose a scale-free linear protocol for each agent to achieve output and regulated output synchronizations. These protocols are designed solely based on agent models and they need no information about communication graph and the number of agents or other agent models information.


title: Holographic entanglement entropy for perturbative higher-curvature gravities

abstract: The holographic entanglement entropy functional for higher-curvature gravities involves a weighted sum whose evaluation, beyond quadratic order, requires a complicated theory-dependent splitting of the Riemann tensor components. Using the splittings of general relativity one can obtain unambiguous formulas perturbatively valid for general higher-curvature gravities. Within this setup, we perform a novel rewriting of the functional which gets rid of the weighted sum. The formula is particularly neat for general cubic and quartic theories, and we use it to explicitly evaluate the corresponding functionals. In the case of Lovelock theories, we find that the anomaly term can be written in terms of the exponential of a differential operator. We also show that order-$n$ densities involving $n_R$ Riemann tensors (combined with $n-n_R$ Ricci's) give rise to terms with up to $2n_R-2$ extrinsic curvatures. In particular, densities built from arbitrary Ricci curvatures combined with zero or one Riemann tensors have no anomaly term in their functionals. Finally, we apply our results for cubic gravities to the evaluation of universal terms coming from various symmetric regions in general dimensions. In particular, we show that the universal function characteristic of corner regions in $d=3$ gets modified in its functional dependence on the opening angle with respect to the Einstein gravity result.


title: Extraction of neutrino Yukawa parameters from displaced vertices of sneutrinos

abstract: We study displaced signatures of sneutrino pairs potentially emerging at the Large Hadron Collider (LHC) in a Next-to-Minimal Supersymmetric Standard Model supplemented with right-handed neutrinos triggering a Type-I seesaw mechanism. We show how such signatures can be established through a heavy Higgs portal in the presence of both leptonic and hadronic decays of the sneutrinos. We finally illustrate how the Yukawa parameters of the latter can be extracted from fitting kinematical quantities pertaining to the corresponding two displaced vertices, thereby characterising the dynamics of the underlying mechanism of neutrino mass generation. We show our numerical results for the case of both the current and High-Luminosity LHC.


title: Quantitative Imaging and Automated Fuel Pin Identification for Passive Gamma Emission Tomography

abstract: Compliance of member States to the Treaty on the Non-Proliferation of Nuclear Weapons is monitored through nuclear safeguards. The Passive Gamma Emission Tomography system is a novel instrument developed by the International Atomic Energy Agency (IAEA) for the verification of spent nuclear fuel stored in water pools. Advanced image reconstruction techniques are crucial for obtaining high-quality cross-sectional images of the spent-fuel bundle to allow inspectors of the IAEA to monitor nuclear material and promptly identify its diversion. In this work, we have developed a software suite to accurately reconstruct the spent-fuel cross sectional image, automatically identify present fuel rods, and estimate their activity. Unique image reconstruction challenges are posed by the measurement of spent fuel, due to its high activity and the self-attenuation. We implemented a linear forward model to model the detector responses to the fuel rods inside the PGET. The image reconstruction is performed by solving a regularized linear inverse problem using the fast-iterative shrinkage-thresholding algorithm. We have also implemented the traditional filtered back projection method for comparison and applied both methods to reconstruct images of simulated mockup fuel assemblies. Higher image resolution and fewer reconstruction artifacts were obtained with the inverse-problem approach, with the mean-square-error reduced by 50%, and the structural-similarity improved by 200%. We then used a convolutional neural network to automatically identify the bundle type and extract the pin locations from the images; the estimated activity levels finally being compared with the ground truth. The proposed computational methods accurately estimated the activity levels of the present pins, with an associated uncertainty of approximately 5%.


title: Aerial Imagery Pile burn detection using Deep Learning: the FLAME dataset

abstract: Wildfires are one of the costliest and deadliest natural disasters in the US, causing damage to millions of hectares of forest resources and threatening the lives of people and animals. Of particular importance are risks to firefighters and operational forces, which highlights the need for leveraging technology to minimize danger to people and property. FLAME (Fire Luminosity Airborne-based Machine learning Evaluation) offers a dataset of aerial images of fires along with methods for fire detection and segmentation which can help firefighters and researchers to develop optimal fire management strategies. This paper provides a fire image dataset collected by drones during a prescribed burning piled detritus in an Arizona pine forest. The dataset includes video recordings and thermal heatmaps captured by infrared cameras. The captured videos and images are annotated and labeled frame-wise to help researchers easily apply their fire detection and modeling algorithms. The paper also highlights solutions to two machine learning problems: (1) Binary classification of video frames based on the presence [and absence] of fire flames. An Artificial Neural Network (ANN) method is developed that achieved a 76% classification accuracy. (2) Fire detection using segmentation methods to precisely determine fire borders. A deep learning method is designed based on the U-Net up-sampling and down-sampling approach to extract a fire mask from the video frames. Our FLAME method approached a precision of 92% and a recall of 84%. Future research will expand the technique for free burning broadcast fire using thermal images.


title: On the multi-bubble blow-up solutions to rough nonlinear Schr\"odinger equations

abstract: We are concerned with the multi-bubble blow-up solutions to rough nonlinear Schr\"odinger equations in the focusing mass-critical case. In both dimensions one and two, we construct the finite time multi-bubble solutions, which concentrate at $K$ distinct points, $1\leq K<\infty$, and behave asymptotically like a sum of pseudo-conformal blow-up solutions in the pseudo-conformal space $\Sigma$ near the blow-up time. The upper bound of the asymptotic behavior is closely related to the flatness of noise at blow-up points. Moreover, we prove the conditional uniqueness of multi-bubble solutions in the case where the asymptotic behavior in the energy space $H^1$ is of the order $(T-t)^{3+\zeta}$, $\zeta>0$. These results are also obtained for nonlinear Schr\"odinger equations with lower order perturbations, particularly, in the absence of the classical pseudo-conformal symmetry and the conversation law of energy. The existence results are applicable to the canonical deterministic nonlinear Schr\"odinger equation and complement the previous work [43]. The conditional uniqueness results are new in both the stochastic and deterministic case.


title: Reconstructing the orbit type stratification of a torus action from its equivariant cohomology

abstract: We investigate what information on the orbit type stratification of a torus action on a compact space is contained in its rational equivariant cohomology algebra. Regarding the (labelled) poset structure of the stratification we show that equivariant cohomology encodes the subposet of ramified elements. For equivariantly formal actions, we also examine what cohomological information of the stratification is encoded. In the smooth setting we show that under certain conditions -- which in particular hold for a compact orientable manifold with discrete fixed point set -- the equivariant cohomologies of the strata are encoded in the equivariant cohomology of the manifold.


title: Building Multi lingual TTS using Cross Lingual Voice Conversion

abstract: In this paper we propose a new cross-lingual Voice Conversion (VC) approach which can generate all speech parameters (MCEP, LF0, BAP) from one DNN model using PPGs (Phonetic PosteriorGrams) extracted from inputted speech using several ASR acoustic models. Using the proposed VC method, we tried three different approaches to build a multilingual TTS system without recording a multilingual speech corpus. A listening test was carried out to evaluate both speech quality (naturalness) and voice similarity between converted speech and target speech. The results show that Approach 1 achieved the highest level of naturalness (3.28 MOS on a 5-point scale) and similarity (2.77 MOS).


title: Compactness of harmonic maps of surfaces with regular nodes

abstract: In this paper, we formulate and prove a general compactness theorem for harmonic maps using Deligne-Mumford moduli space and families of curves. The main theorem shows that given a sequence of harmonic maps over a sequence of complex curves, there is a family of curves and a subsequence such that both the domains and the maps converge off the set of "non-regular" nodes. This provides a sufficient condition for a neck having zero energy and zero length. As a corollary, the following known fact can be proved: If all domains are diffeomorphic to $S^2$, both energy identity and zero distance bubbling hold.


title: Removable singularity of positive mass theorem with continuous metrics

abstract: In this paper, we consider asymptotically flat Riemannnian manifolds $(M^n,g)$ with $C^0$ metric $g$ and $g$ is smooth away from a closed bounded subset $\Sigma$ and the scalar curvature $R_g\ge 0$ on $M\setminus \Sigma$. For given $n\le p\le \infty$, if $g\in C^0\cap W^{1,p}$ and the Hausdorff measure $\mathcal{H}^{n-\frac{p}{p-1}}(\Sigma)<\infty$ when $n\le p<\infty$ or $\mathcal{H}^{n-1}(\Sigma)=0$ when $p=\infty$, then we prove that the ADM mass of each end is nonnegative. Furthermore, if the ADM mass of some end is zero, then we prove that $(M^n,g)$ is isometric to the Euclidean space by showing the manifold has nonnegative Ricci curvature in RCD sense. This extends the result of [Lee-LeFloch2015] from spin to non-spin, also improves the result of [Shi-Tam2018] and [Lee2013]. Moreover, for $p=\infty$, this confirms a conjecture of Lee [Lee2013].


title: Higher coherence and a generalization of higher categorified algebraic structures

abstract: In various subjects including mathematics, one can hope to use mathematical thinking well when the right kinds of algebraic structure to consider can be discovered or spotted. Therefore, it would help to understand kinds of algebraic structure in some great generality. In tradition, certain general kinds of algebraic structure are studied through the theory of operads, of algebraic theories, of properads (possibly with "colours" or "sorts") or of the like. We understand this as use of algebra for studying a certain meta aspect of the subject of algebra, namely, studying kinds of algebraic structure in general (rather than structures of specific kinds themselves). In higher categorical contexts, more various algebraic structures can be considered (starting in fact with operads considered with arbitrarily varying colours) than can be covered with mere higher categorified versions of the traditional tools. In this survey, we develop a systematic view on quite general algebraic structures with high categorical dimensionality. We do this by extending algebra for the meta aspect of algebra, to a higher order, or highly meta, theory of algebra, where the theoretic order turns out to match the categorical dimension. We will discuss some examples including a natural generalization of the notion of topological field theory (TFT) obtained in the resulting new system. It turns out a generalized TFT can have a very different characterization from a conventional TFT does.


title: Blackwell Online Learning for Markov Decision Processes

abstract: This work provides a novel interpretation of Markov Decision Processes (MDP) from the online optimization viewpoint. In such an online optimization context, the policy of the MDP is viewed as the decision variable while the corresponding value function is treated as payoff feedback from the environment. Based on this interpretation, we construct a Blackwell game induced by MDP, which bridges the gap among regret minimization, Blackwell approachability theory, and learning theory for MDP. Specifically, from the approachability theory, we propose 1) Blackwell value iteration for offline planning and 2) Blackwell $Q-$learning for online learning in MDP, both of which are shown to converge to the optimal solution. Our theoretical guarantees are corroborated by numerical experiments.


title: Path-Dependent Supercooling of the $^3$He Superfluid A-B transition

abstract: We examine the discontinuous first-order superfluid $^3$He A to B transition in the vicinity of the polycritical point (2.232 mK and 21.22 bar). We find path-dependent transitions: cooling at fixed pressure yields a well defined transition line in the temperature-pressure plane, but this line can be reliably crossed by depressurizing at nearly constant temperature after transiting $T_{\rm c}$ at a higher pressure. This path dependence is not consistent with any of the standard B-phase nucleation mechanisms in the literature. This symmetry breaking transition is a potential simulator for first order transitions in the early universe.


title: Small deviations and Chung's law of iterated logarithm for a hypoelliptic Brownian motion on the Heisenberg group

abstract: A small ball problem and Chung's law of iterated logarithm for a hypoelliptic Brownian motion in Heisenberg group are proven. In addition, bounds on the limit in Chung's law are established.


title: Some Recent Results on Neutrino Oscillations in Hypercritical Accretion

abstract: The study of neutrino flavour oscillations in astrophysical sources has been boosted in the last two decades thanks to achievements in experimental neutrino physics and observational astronomy. We here discuss two cases of interest in the modelling of short and long gamma-ray bursts (GRBs): hypercritical, i.e. highly super-Eddington spherical/disk accretion onto a neutron star (NS)/black hole (BH). We show that in both systems the ambient conditions of density and temperature imply the occurrence of neutrino flavour oscillations, with a relevant role of neutrino self-interactions.


title: Homological and combinatorial aspects of virtually Cohen--Macaulay sheaves

abstract: When studying a graded module $M$ over the Cox ring of a smooth projective toric variety $X$, there are two standard types of resolutions commonly used to glean information: free resolutions of $M$ and vector bundle resolutions of its sheafification. Each approach comes with its own challenges. There is geometric information that free resolutions fail to encode, while vector bundle resolutions can resist study using algebraic and combinatorial techniques. Recently, Berkesch, Erman, and Smith introduced virtual resolutions, which capture desirable geometric information and are also amenable to algebraic and combinatorial study. The theory of virtual resolutions includes a notion of a virtually Cohen--Macaulay property, though tools for assessing which modules are virtually Cohen--Macaulay have only recently started to be developed. In this paper, we continue this research program in two related ways. The first is that, when $X$ is a product of projective spaces, we produce a large new class of virtually Cohen--Macaulay Stanley--Reisner rings, which we show to be virtually Cohen--Macaulay via explicit constructions of appropriate virtual resolutions reflecting the underlying combinatorial structure. The second is that, for an arbitrary smooth projective toric variety $X$, we develop homological tools for assessing the virtual Cohen--Macaulay property. Some of these tools give exclusionary criteria, and others are constructive methods for producing suitably short virtual resolutions. We also use these tools to establish relationships among the arithmetically, geometrically, and virtually Cohen--Macaulay properties.


title: Learning to predict synchronization of coupled oscillators on randomly generated graphs

abstract: Suppose we are given a system of coupled oscillators on an unknown graph along with the trajectory of the system during some period. Can we predict whether the system will eventually synchronize? Even with a known underlying graph structure, this is an important yet analytically intractable question in general. In this work, we take an alternative approach to the synchronization prediction problem by viewing it as a classification problem based on the fact that any given system will eventually synchronize or converge to a non-synchronizing limit cycle. By only using some basic statistics of the underlying graphs such as edge density and diameter, our method can achieve perfect accuracy when there is a significant difference in the topology of the underlying graphs between the synchronizing and the non-synchronizing examples. However, in the problem setting where these graph statistics cannot distinguish the two classes very well (e.g., when the graphs are generated from the same random graph model), we find that pairing a few iterations of the initial dynamics along with the graph statistics as the input to our classification algorithms can lead to significant improvement in accuracy; far exceeding what is known by the classical oscillator theory. More surprisingly, we find that in almost all such settings, dropping out the basic graph statistics and training our algorithms with only initial dynamics achieves nearly the same accuracy. We demonstrate our method on three models of continuous and discrete coupled oscillators -- the Kuramoto model, Firefly Cellular Automata, and Greenberg-Hastings model. Finally, we also propose an "ensemble prediction" algorithm that successfully scales our method to large graphs by training on dynamics observed from multiple random subgraphs.


title: Persistence in black hole lattice cosmological models

abstract: Dynamical solutions for an evolving multiple network of black holes near a cosmological bounce dominated by a scalar field are investigated. In particular, we consider the class of black hole lattice models in a hyperspherical cosmology, and we focus on the special case of eight regularly-spaced black holes with equal masses when the model parameter $\kappa > 1$. We first derive exact time evolving solutions of instantaneously-static models, by utilizing perturbative solutions of the constraint equations that can then be used to develop exact 4D dynamical solutions of the Einstein field equations. We use the notion of a geometric horizon, which can be characterized by curvature invariants, to determine the black hole horizon. We explicitly compute the invariants for the exact dynamical models obtained. As an application, we discuss whether black holes can persist in such a universe that collapses and then subsequently bounces into a new expansionary phase. We find evidence that in the physical models under investigation (and particularly for $\kappa > 1$) the individual black holes do not merge before nor at the bounce, so that consequently black holes can indeed persist through the bounce.


title: A Lie algebra based approach to asymptotic symmetries in general relativity

abstract: Asymptotic symmetries of black hole spacetimes have received much attention as a possible origin of the Bekenstein-Hawking entropy in black hole thermodynamics. In general, it takes hard efforts to find appropriate asymptotic conditions on a metric and a Lie algebra generating the transformation of symmetries with which the corresponding charges are integrable. We here propose an alternative approach to construct building blocks of asymptotic symmetries of a given spacetime metric. Our algorithmic approach may make it easier to explore asymptotic symmetries in any spacetime than in conventional approaches. As an explicit application, we analyze the asymptotic symmetries on Rindler horizon. We find a new class of symmetries related with dilatation transformations in time and in the direction perpendicular to the horizon, which we term superdilatations.


title: On the Performance of One-Bit DoA Estimation via Sparse Linear Arrays

abstract: Direction of Arrival (DoA) estimation using Sparse Linear Arrays (SLAs) has recently gained considerable attention in array processing thanks to their capability to provide enhanced degrees of freedom in resolving uncorrelated source signals. Additionally, deployment of one-bit Analog-to-Digital Converters (ADCs) has emerged as an important topic in array processing, as it offers both a low-cost and a low-complexity implementation. In this paper, we study the problem of DoA estimation from one-bit measurements received by an SLA. Specifically, we first investigate the identifiability conditions for the DoA estimation problem from one-bit SLA data and establish an equivalency with the case when DoAs are estimated from infinite-bit unquantized measurements. Towards determining the performance limits of DoA estimation from one-bit quantized data, we derive a pessimistic approximation of the corresponding Cram\'{e}r-Rao Bound (CRB). This pessimistic CRB is then used as a benchmark for assessing the performance of one-bit DoA estimators. We also propose a new algorithm for estimating DoAs from one-bit quantized data. We investigate the analytical performance of the proposed method through deriving a closed-form expression for the covariance matrix of the asymptotic distribution of the DoA estimation errors and show that it outperforms the existing algorithms in the literature. Numerical simulations are provided to validate the analytical derivations and corroborate the resulting performance improvement.


title: Edge magnetic properties of black phosphorene nanoribbons

abstract: The magnetic properties of black phosphorene nanoribbons are investigated using static and dynamical mean-field theory. Besides confirming the existence of ferromagnetic/antiferromagnetic edge magnetism, our detailed calculations using large unit-cells find a phase-transition at weak interaction strength to an incommensurate (IC) magnetic phase. A detailed Fourier analysis of the magnetization patterns in the IC phase shows the existence of a second critical interaction strength, where the incommensurate phase changes to an antiferromagnetic (AFM) or ferromagnetic (FM) phase. We demonstrate that the difference of the ground state energies of the AFM and FM phase is exponentially small, making it possible to switch between both states by a small external field. Finally, we analyze the influence of strain and disorder on the magnetic properties and show that while the IC phase is robust to Anderson type disorder, it is fragile against strain.


title: SPINS: Structure Priors aided Inertial Navigation System

abstract: Although Simultaneous Localization and Mapping (SLAM) has been an active research topic for decades, current state-of-the-art methods still suffer from instability or inaccuracy due to feature insufficiency or its inherent estimation drift, in many civilian environments. To resolve these issues, we propose a navigation system combing the SLAM and prior-map-based localization. Specifically, we consider additional integration of line and plane features, which are ubiquitous and more structurally salient in civilian environments, into the SLAM to ensure feature sufficiency and localization robustness. More importantly, we incorporate general prior map information into the SLAM to restrain its drift and improve the accuracy. To avoid rigorous association between prior information and local observations, we parameterize the prior knowledge as low dimensional structural priors defined as relative distances/angles between different geometric primitives. The localization is formulated as a graph-based optimization problem that contains sliding-window-based variables and factors, including IMU, heterogeneous features, and structure priors. We also derive the analytical expressions of Jacobians of different factors to avoid the automatic differentiation overhead. To further alleviate the computation burden of incorporating structural prior factors, a selection mechanism is adopted based on the so-called information gain to incorporate only the most effective structure priors in the graph optimization. Finally, the proposed framework is extensively tested on synthetic data, public datasets, and, more importantly, on the real UAV flight data obtained from a building inspection task. The results show that the proposed scheme can effectively improve the accuracy and robustness of localization for autonomous robots in civilian applications.


title: Notes on the DPRM property for listable structures

abstract: A celebrated result by M. Davis, H. Putnam, J. Robinson, and Y. Matiyasevich shows that a set of integers is listable if and only if it is positive existentially definable in the language of arithmetic. We investigate analogues of this result over structures endowed with a listable presentation. When such an analogue holds, the structure is said to have the DPRM property. We prove several results addressing foundational aspects around this problem, such as uniqueness of the listable presentation, transference of the DPRM property under interpretation, and its relation with positive existential bi-interpretability. A first application of our results is the rigorous proof of (strong versions of) several folklore facts regarding transference of the DPRM property. Another application of the theory we develop is that it will allow us to link various Diophantine conjectures to the question of whether the DPRM property holds for global fields. This last topic includes a study of the number of existential quantifiers needed to define a Diophantine set.


title: Shape of 13C studied by the real-time evolution method

abstract: Background : Recently, Bijker et al. [Phys. Rev. Lett. 122, 162501 (2019)] explained the rotation-vibration spectrum of 13C by assuming triangular nuclear shape with D'3h symmetry. Purpose : The purpose of this work is to test the shape and symmetry of 13C based on a microscopic nuclear model without assumption of nuclear shape. Method : We have applied the real-time evolution method to 13C. By using the equation-of-motion of clusters, the model describes the 3alpha+n system without any assumption of symmetry. Results : REM described the low-lying states more accurately than the previous cluster model studies. The analysis of the wave functions showed that the ground band has approximate triangular symmetry, while the excited bands deviate from it. Conclusion : This work confirmed that the ground band has the intrinsic structure with the triangular arrangement of three alpha particles.


title: Gradient estimates of solutions to the insulated conductivity problem in dimension greater than two

abstract: We study the insulated conductivity problem with inclusions embedded in a bounded domain in $\mathbb{R}^n$. The gradient of solutions may blow up as $\varepsilon$, the distance between inclusions, approaches to $0$. An upper bound for the blow up rate was proved to be of order $\varepsilon^{-1/2}$. The upper bound was known to be sharp in dimension $n = 2$. However, whether this upper bound is sharp in dimension $n \ge 3$ has remained open. In this paper, we improve the upper bound in dimension $n \ge 3$ to be of order $\varepsilon^{-1/2 + \beta}$, for some $\beta > 0$.


title: Person Re-identification with Adversarial Triplet Embedding

abstract: Person re-identification is an important task and has widespread applications in video surveillance for public security. In the past few years, deep learning network with triplet loss has become popular for this problem. However, the triplet loss usually suffers from poor local optimal and relies heavily on the strategy of hard example mining. In this paper, we propose to address this problem with a new deep metric learning method called Adversarial Triplet Embedding (ATE), in which we simultaneously generate adversarial triplets and discriminative feature embedding in an unified framework. In particular, adversarial triplets are generated by introducing adversarial perturbations into the training process. This adversarial game is converted into a minimax problem so as to have an optimal solution from the theoretical view. Extensive experiments on several benchmark datasets demonstrate the effectiveness of the approach against the state-of-the-art literature.


title: Asymptotic Achievability of the Cram\'er-Rao Lower Bound of Channel Estimation for Reconfigurable Intelligent Surface Aided Communication Systems

abstract: To achieve the joint active and passive beamforming gains in the reconfigurable intelligent surface assisted millimeter wave system, the reflected cascade channel needs to be accurately estimated. Many strategies have been proposed in the literature to solve this issue. However, whether the Cram\'er-Rao lower bound (CRLB) of such estimation is achievable still remains uncertain. To fill this gap, we first convert the channel estimation problem into a sparse signal recovery problem by utilizing the properties of discrete Fourier transform matrix and Kronecker product. Then, a joint typicality based estimator is utilized to carry out the signal recovery task. We show that, through both mathematical proofs and numerical simulations, the solution proposed in this letter can in fact asymptotically achieve the CRLB.


title: Convolutional Neural Networks in Multi-Class Classification of Medical Data

abstract: We report applications of Convolutional Neural Networks (CNN) to multi-classification classification of a large medical data set. We discuss in detail how changes in the CNN model and the data pre-processing impact the classification results. In the end, we introduce an ensemble model that consists of both deep learning (CNN) and shallow learning models (Gradient Boosting). The method achieves Accuracy of 64.93, the highest three-class classification accuracy we achieved in this study. Our results also show that CNN and the ensemble consistently obtain a higher Recall than Precision. The highest Recall is 68.87, whereas the highest Precision is 65.04.


title: Jones polynomials of long virtual knots

abstract: This paper defines versions of the Jones polynomial and Khovanov homology by using several maps from the set of Gauss diagrams to its variant. Through calculation of some examples, this paper also shows that these versions behave differently from the original ones.


title: Adversarial Multi-scale Feature Learning for Person Re-identification

abstract: Person Re-identification (Person ReID) is an important topic in intelligent surveillance and computer vision. It aims to accurately measure visual similarities between person images for determining whether two images correspond to the same person. The key to accurately measure visual similarities is learning discriminative features, which not only captures clues from different spatial scales, but also jointly inferences on multiple scales, with the ability to determine reliability and ID-relativity of each clue. To achieve these goals, we propose to improve Person ReID system performance from two perspective: \textbf{1).} Multi-scale feature learning (MSFL), which consists of Cross-scale information propagation (CSIP) and Multi-scale feature fusion (MSFF), to dynamically fuse features cross different scales.\textbf{2).} Multi-scale gradient regularizor (MSGR), to emphasize ID-related factors and ignore irrelevant factors in an adversarial manner. Combining MSFL and MSGR, our method achieves the state-of-the-art performance on four commonly used person-ReID datasets with neglectable test-time computation overhead.


title: Quantum hacking perceiving for quantum key distribution using temporal ghost imaging

abstract: Quantum key distribution (QKD) can generate secure key bits between remote users with quantum mechanics. However, the gap between the theoretical model and practical realizations gives eavesdroppers opportunities to intercept secret key. The most insidious attacks, known as quantum hacking, are the ones with no significant discrepancy of the measurement results using side-channel loopholes of QKD systems. Depicting full-time-scale characteristics of the quantum signals, the quantum channel, and the QKD system can provide legitimate users extra capabilities to defeat malicious attacks. For the first time, we propose the method exploring temporal ghost imaging (TGI) scheme to perceive quantum hacking with temporal fingerprints and experimentally verify its validity. The scheme presents a common approach to promote QKD's practical security from a new perspective of signals and systems.


title: Classification of the Mumford--Tate Groups of Rational Polarizable Hodge Structures

abstract: Let G be the pro-algebraic group attached to the tannakian category of polarizable rational Hodge structures. We show that the quotient of G by its derived group is the Serre group, the derived group of G is the simply connected covering of the adjoint group of G, and that the adjoint group G is a product of specific simple algebraic groups. As the Mumford--Tate groups are exactly the algebraic quotients of G, this also describes them.


title: Comparison of prismatic cohomology and derived de Rham cohomology

abstract: We establish a comparison isomorphism between prismatic cohomology and derived de Rham cohomology respecting various structures, such as their Frobenius actions and filtrations. As an application, when $X$ is a proper smooth formal scheme over $\mathcal O_K$ with $K$ being a $p$-adic field, we improve Breuil--Caruso's theory on comparison between torsion crystalline cohomology and torsion \'etale cohomology.


title: Deep Learning with Heterogeneous Graph Embeddings for Mortality Prediction from Electronic Health Records

abstract: Computational prediction of in-hospital mortality in the setting of an intensive care unit can help clinical practitioners to guide care and make early decisions for interventions. As clinical data are complex and varied in their structure and components, continued innovation of modeling strategies is required to identify architectures that can best model outcomes. In this work, we train a Heterogeneous Graph Model (HGM) on Electronic Health Record data and use the resulting embedding vector as additional information added to a Convolutional Neural Network (CNN) model for predicting in-hospital mortality. We show that the additional information provided by including time as a vector in the embedding captures the relationships between medical concepts, lab tests, and diagnoses, which enhances predictive performance. We find that adding HGM to a CNN model increases the mortality prediction accuracy up to 4\%. This framework serves as a foundation for future experiments involving different EHR data types on important healthcare prediction tasks.


title: From Point to Space: 3D Moving Human Pose Estimation Using Commodity WiFi

abstract: In this paper, we present Wi-Mose, the first 3D moving human pose estimation system using commodity WiFi. Previous WiFi-based works have achieved 2D and 3D pose estimation. These solutions either capture poses from one perspective or construct poses of people who are at a fixed point, preventing their wide adoption in daily scenarios. To reconstruct 3D poses of people who move throughout the space rather than a fixed point, we fuse the amplitude and phase into Channel State Information (CSI) images which can provide both pose and position information. Besides, we design a neural network to extract features that are only associated with poses from CSI images and then convert the features into key-point coordinates. Experimental results show that Wi-Mose can localize key-point with 29.7mm and 37.8mm Procrustes analysis Mean Per Joint Position Error (P-MPJPE) in the Line of Sight (LoS) and Non-Line of Sight (NLoS) scenarios, respectively, achieving higher performance than the state-of-the-art method. The results indicate that Wi-Mose can capture high-precision 3D human poses throughout the space.


title: Exploring tropical differential equations

abstract: The purpose of this paper is fourfold. The first is to develop the theory of tropical differential algebraic geometry from scratch; the second is to present the tropical fundamental theorem for differential algebraic geometry, and show how it may be used to extract combinatorial information about the set of power series solutions to a given system of differential equations, both in the archimedean (complex analytic) and in the non-archimedean (e.g., $p$-adic) settings. A third and subsidiary aim is to show how tropical differential algebraic geometry is a natural application of semiring theory, and in so doing, contribute to the valuative study of differential algebraic geometry. We use this formalism to extend the fundamental theorem of partial differential algebraic geometry to the differential fraction field of the ring of formal power series in arbitrarily (finitely) many variables; in doing so we produce new examples of non-Krull valuations that merit further study in their own right.


title: Contrast and Temperature Dependence of Multi-Epoch High-Resolution Cross-Correlation Exoplanet Spectroscopy

abstract: While high-resolution cross-correlation spectroscopy (HRCCS) techniques have proven effective at characterizing the atmospheres of transiting and non-transiting hot Jupiters, the limitations of these techniques are not well understood. We present a series of simulations of one HRCCS technique, which combines the cross-correlation functions from multiple epochs, to place temperature and contrast limits on the accessible exoplanet population for the first time. We find that planets approximately Saturn-size and larger within $\sim$0.2 AU of a Sun-like star are likely to be detectable with current instrumentation in the $L$-band, a significant expansion compared with the previously-studied population. Cooler ($ \rm T_{eq} \leq 1000$ K) exoplanets are more detectable than suggested by their photometric contrast alone as a result of chemical changes which increase spectroscopic contrast. The $L$-band CH$_4$ spectrum of cooler exoplanets enables robust constraints on the atmospheric C/O ratio at $\rm T_{eq} \sim 900K$, which have proven difficult to obtain for hot Jupiters. These results suggest that the multi-epoch approach to HRCCS can detect and characterize exoplanet atmospheres throughout the inner regions of Sun-like systems with existing high-resolution spectrographs. We find that many epochs of modest signal-to-noise ($\rm S/N_{epoch} \sim 1500$) yield the clearest detections and constraints on C/O, emphasizing the need for high-precision near-infrared telluric correction with short integration times.


title: D2-brane with RR and NSNS fluxes and its dual M-theory origin

abstract: We obtain the bosonic D-brane description of toroidally compactified non-trivial M2-branes with the unique property of having a purely discrete supersymmetric regularized spectrum with finite multiplicity. As a byproduct, we generalize the previous Hamiltonian formulation to describe a M2-brane on a completely general constant quantized background $C_3$ denoted by us as CM2-brane. We show that under this condition, the theory is equivalent to a more restricted one, denoted as an M2-brane with $C_\pm$ fluxes, which has been shown to have good quantum behavior. As a result, the spectral properties of both sectors must be the same.We then obtain its bosonic D-brane description and discover new symmetries. We find that it contains a new symplectic gauge field in addition to the expected U(1) Dirac-Born-Infeld gauge symmetry and a nontrivial $U(1)$ associated with the presence of 2-form fluxes. Its bundle description takes on a new structure in the form of a twisted torus bundle. By turning off some of the fields, the D-brane description of other toroidally nontrivial M2-brane sectors can be obtained from this one. The possibility of reinterpreting these sectors in terms of Dp-brane bound states is discussed. These D-brane descriptions constitute String theory sectors with a quantum consistent uplift to M-theory.


title: Generative Partial Visual-Tactile Fused Object Clustering

abstract: Visual-tactile fused sensing for object clustering has achieved significant progresses recently, since the involvement of tactile modality can effectively improve clustering performance. However, the missing data (i.e., partial data) issues always happen due to occlusion and noises during the data collecting process. This issue is not well solved by most existing partial multi-view clustering methods for the heterogeneous modality challenge. Naively employing these methods would inevitably induce a negative effect and further hurt the performance. To solve the mentioned challenges, we propose a Generative Partial Visual-Tactile Fused (i.e., GPVTF) framework for object clustering. More specifically, we first do partial visual and tactile features extraction from the partial visual and tactile data, respectively, and encode the extracted features in modality-specific feature subspaces. A conditional cross-modal clustering generative adversarial network is then developed to synthesize one modality conditioning on the other modality, which can compensate missing samples and align the visual and tactile modalities naturally by adversarial learning. To the end, two pseudo-label based KL-divergence losses are employed to update the corresponding modality-specific encoders. Extensive comparative experiments on three public visual-tactile datasets prove the effectiveness of our method.


title: Testing clockwork axion with gravitational waves

abstract: We investigate the gravitational waves (GWs) produced from the Peccei-Quinn (PQ) phase transition associated with the clockwork axion. The PQ phase transition can be first-order when the dimension-6 operator is included into the scalar potential. The GWs from the PQ phase transition at scale in the range of $10^3-10^6$ GeV are detectable for the BBO and ALIA interferometers. The LISA and Taiji interferometers can probe the GWs from the PQ scale $f\lesssim 10^4$ GeV, while the GW signals from the scale $f\gtrsim 10^5$ GeV can be detected by the ground-based GW observatories ET and CE. We find that the parameter space $\kappa_m\sim 0.06-0.001$, $\kappa_l\sim 0.04-0.001$, and $\varepsilon\sim 0.1-0.01$ at the scale $f=10^5$ GeV and most of the parameter regions at the scale $f=10^6$ GeV have been excluded by the LIGO O2 run. The LIGO O3 and design phases can further probe the remaining parameter space. We show that the GWs from the annihilation of domain walls with a PQ scale $f\simeq 2\times 10^5$ GeV can induce the stochastic signals indicated by the 12.5-year observation of NANOGrav. The LIGO O3 run has the opportunity of detecting the GW signals from the first-order PQ phase transition around this scale.


title: Automatic Curriculum Learning With Over-repetition Penalty for Dialogue Policy Learning

abstract: Dialogue policy learning based on reinforcement learning is difficult to be applied to real users to train dialogue agents from scratch because of the high cost. User simulators, which choose random user goals for the dialogue agent to train on, have been considered as an affordable substitute for real users. However, this random sampling method ignores the law of human learning, making the learned dialogue policy inefficient and unstable. We propose a novel framework, Automatic Curriculum Learning-based Deep Q-Network (ACL-DQN), which replaces the traditional random sampling method with a teacher policy model to realize the dialogue policy for automatic curriculum learning. The teacher model arranges a meaningful ordered curriculum and automatically adjusts it by monitoring the learning progress of the dialogue agent and the over-repetition penalty without any requirement of prior knowledge. The learning progress of the dialogue agent reflects the relationship between the dialogue agent's ability and the sampled goals' difficulty for sample efficiency. The over-repetition penalty guarantees the sampled diversity. Experiments show that the ACL-DQN significantly improves the effectiveness and stability of dialogue tasks with a statistically significant margin. Furthermore, the framework can be further improved by equipping with different curriculum schedules, which demonstrates that the framework has strong generalizability.


title: Contagion dynamics on adaptive multiplex networks with awareness-dependent rewiring

abstract: In this article we develop a highly integrated effective degree approach to modeling epidemic and awareness spreading processes on multiplex networks coupled with awareness-dependent adaptive rewiring. This approach keeps track of the number of nearest neighbors in each state of an individual; consequently, it allows for the integration of changes in local contacts into the multiplex network model. We derive a formula for the threshold condition of contagion outbreak; also, we provide a lower bound for the threshold parameter to indicate the effect of adaptive rewiring. The threshold analysis is confirmed by extensive simulations. Our results show that awareness-dependent link rewiring plays an important role in enhancing the transmission threshold as well as lowering the epidemic prevalence. Moreover, it is revealed that intensified awareness diffusion in conjunction with enhanced link rewiring makes a greater contribution to disease prevention and control. In addition, the critical phenomenon is observed in the dependence of the epidemic threshold on the awareness diffusion rate, supporting the metacritical point previously reported in the literature. This work might shed light on the understanding of the interplay between epidemic dynamics and social contagion on adaptive networks.


title: Stochastic Planning and Scheduling with Logic-Based Benders Decomposition

abstract: We apply logic-based Benders decomposition (LBBD) to two-stage stochastic planning and scheduling problems in which the second-stage is a scheduling task. We solve the master problem with mixed integer/linear programming and the subproblem with constraint programming. As Benders cuts, we use simple nogood cuts as well as analytical logic-based cuts we develop for this application. We find that LBBD is computationally superior to the integer L-shaped method, with a branch-and-check variant of LBBD faster by several orders of magnitude, allowing significantly larger instances to be solved. This is due primarily to computational overhead incurred by the integer L-shaped method while generating classical Benders cuts from a continuous relaxation of an integer programming subproblem. To our knowledge, this is the first application of LBBD to two-stage stochastic optimization with a scheduling second-stage problem, and the first comparison of LBBD with the integer \mbox{L-shaped} method. The results suggest that LBBD could be a promising approach to other stochastic and robust optimization problems with integer or combinatorial recourse.


title: Frobenius fixed objects of moduli

abstract: Let ${\mathcal X}$ be a category fibered in groupoids over a finite field $\mathbb{F}_q$, and let $k$ be an algebraically closed field containing $\mathbb{F}_q$. Denote by $\phi_k\colon {\mathcal X}_k\to {\mathcal X}_k$ the arithmetic Frobenius of ${\mathcal X}_k/k$ and suppose that ${\mathcal M}$ is a stack over $\mathbb{F}_q$ (not necessarily in groupoids). Then there is a natural functor $\alpha_{{\mathcal M},{\mathcal X}}\colon{\mathcal M}({\mathcal X})\to{\mathcal M}({\mathbf D_k}({\mathcal X}))$, where ${\mathcal M}({\mathbf D_k}({\mathcal X}))$ is the category of $\phi_k$-invariant maps ${\mathcal X}_k\to {\mathcal M}$. A version of Drinfeld's lemma states that if ${\mathcal X}$ is a projective scheme and ${\mathcal M}$ is the stack of quasi-coherent sheaves of finite presentation, then $\alpha_{{\mathcal M},{\mathcal X}}$ is an equivalence. We extend this result in several directions. For proper algebraic stacks or affine gerbes ${\mathcal X}$, we prove Drinfeld's lemma and deduce that $\alpha_{{\mathcal M},{\mathcal X}}$ is an equivalence for very general algebraic stacks ${\mathcal M}$. For arbitrary ${\mathcal X}$, we show that $\alpha_{{\mathcal M},{\mathcal X}}$ is an equivalence when ${\mathcal M}$ is the stack of immersions, the stack of quasi-compact separated \'etale morphisms or any quasi-separated Deligne-Mumford stack with separated diagonal.


title: Real time multibody modeling and simulation of a scaled bogie test rig

abstract: In wheel rail adhesion studies, most of the test rigs used are simplified designs such as a single wheel or wheelset, but the results may not be accurate. Alternatively, representing the complex system by using a full vehicle model provides accurate results but may incur complexity in design. To trade off accuracy over complexity, a bogie model can be the optimum selection. Furthermore, only a real time model can replicate its physical counterpart in the time domain. Developing such a model requires broad expertise and appropriate software and hardware. A few published works are available which deal with real time modeling. However, the influence of the control system has not been included in those works. To address these issues, a real-time scaled bogie test rig including the control system is essential. Therefore, a 1:4 scaled bogie roller rig is developed to study the adhesion between wheel and roller contact. To compare the performances obtained from the scaled bogie test rig and to expand the test applications, a numerical simulation model of that scaled bogie test rig is developed using Gensys multibody software. This model is the complete model of the test rig which delivers more precise results. To exactly represent the physical counterpart system in the time domain, a real-time scaled bogie test rig (RT SBTR) is developed after four consecutive stages. Then, to simulate the RT-SBTR to solve the internal state equations and functions representing the physical counterpart system in equal or less than actual time, the real-time simulation environment is prepared in two stages. To such end, the computational time improved from 4 times slower than real time to 2 times faster than real time. Finally, the real time scaled bogie model is also incorporated with the braking control system which slightly reduces the computational performances without affecting real time capability.


title: Modeling of Network Based Digital Contact Tracing and Testing Strategies for the COVID-19 Pandemic

abstract: With more than 1.7 million COVID-19 deaths, identifying effective measures to prevent COVID-19 is a top priority. We developed a mathematical model to simulate the COVID-19 pandemic with digital contact tracing and testing strategies. The model uses a real-world social network generated from a high-resolution contact data set of 180 students. This model incorporates infectivity variations, test sensitivities, incubation period, and asymptomatic cases. We present a method to extend the weighted temporal social network and present simulations on a network of 5000 students. The purpose of this work is to investigate optimal quarantine rules and testing strategies with digital contact tracing. The results show that the traditional strategy of quarantining direct contacts reduces infections by less than 20% without sufficient testing. Periodic testing every 2 weeks without contact tracing reduces infections by less than 3%. A variety of strategies are discussed including testing second and third degree contacts and the pre-exposure notification system, which acts as a social radar warning users how far they are from COVID-19. The most effective strategy discussed in this work was combined the pre-exposure notification system with testing second and third degree contacts. This strategy reduces infections by 18.3% when 30% of the population uses the app, 45.2% when 50% of the population uses the app, 72.1% when 70% of the population uses the app, and 86.8% when 95% of the population uses the app. When simulating the model on an extended network of 5000 students, the results are similar with the contact tracing app reducing infections by up to 79%.


title: API Misuse Detection An Immune System inspired Approach

abstract: APIs are essential ingredients for developing complex software systems. However, they are difficult to learn and to use. Thus, developers may misuse them, which results in various types of issues. In this paper, we explore the use of a bio-inspired approach (artificial immune system) to detect API misuses in client code. We built APIMMUNE, a novel API misuse detector. We collect normal usages of a given APIs from the set of client programs using the APIs, especially after some API usages were fixed in those programs. The normal API usages are considered as normal body cells. We transform them into normal-usage signatures. Then, artificial detectors are randomly generated by generating artificial deviations from these usages with the objective of being different from the normal usage signatures. The generated detectors have the ability to detect risky uses of APIs exactly as the immune system detects foreign cells of the organism. Moreover, for the detection purpose, only the artificial detectors are necessary, without the need to disclose the code used to generate them. Our approach was evaluated on the misuses dataset of three APIs as well as on known misuses from a state of the art APIs misuses benchmarking dataset. APIMMUNE was also compared to four state-of-the-art API misuse detection tools. The results show that APIMMUNE has good detection accuracy and performance, and it can complement pattern-based tools for uncommon misuses detection.


title: A 3/4 Differential Approximation Algorithm for Traveling Salesman Problem

abstract: In this paper, we consider differential approximability of the traveling salesman problem (TSP). We show that TSP is $3/4$-differential approximable, which improves the currently best known bound $3/4 -O(1/n)$ due to Escoffier and Monnot in 2008, where $n$ denotes the number of vertices in the given graph.


title: Stellar parametrization of LAMOST M dwarf stars

abstract: M dwarf stars are the most common stars in the Galaxy, dominating the population of the Galaxy by numbers at faint magnitudes. Precise and accurate stellar parameters for M dwarfs are of crucial importance for many studies. However, the atmospheric parameters of M dwarf stars are difficult to be determined. In this paper, we present a catalog of the spectroscopic stellar parameters ($T_{eff}$ and [M/H]) of $\sim$ 300,000 M dwarf stars observed by both LAMOST and Gaia using Stellar Label Machine (SLAM). We train a SLAM model using LAMOST spectra with APOGEE Data Release 16 (DR16) labels with $2800 \lt T_{eff} \lt 4500$K and $-2 \lt [M/H] \lt 0.5$ dex. The SLAM $T_{eff}$ is in agreement to within $\sim 50$K compared to the previous study determined by APOGEE observation, and SLAM [M/H] agree within 0.12 dex compared to the APOGEE observation. We also set up a SLAM model trained by BT-Settl atmospheric model, with random uncertainties (in cross-validation) to 60K and agree within $\sim 90$K compared to previous study.


title: Objective Bayesian Analysis for the Differential Entropy of the Gamma Distribution

abstract: The present paper introduces a fully objective Bayesian analysis to obtain the posterior distribution of an entropy measure. Notably, we consider the gamma distribution, which describes many natural phenomena in physics, engineering, and biology. We reparametrize the model in terms of entropy, and different objective priors are derived, such as Jeffreys prior, reference prior, and matching priors. Since the obtained priors are improper, we prove that the obtained posterior distributions are proper and that their respective posterior means are finite. An intensive simulation study is conducted to select the prior that returns better results regarding bias, mean square error, and coverage probabilities. The proposed approach is illustrated in two datasets: the first relates to the Achaemenid dynasty reign period, and the second describes the time to failure of an electronic component in a sugarcane harvest machine.


title: Matrix Deviation Inequality for $\ell_{p}$-Norm

abstract: Motivated by the general matrix deviation inequality for i.i.d ensemble Gaussian matrix, we study its universality property. As a starting point for this problem, we show that this property holds for $\ell_{p}$-norm with $1\leq p< \infty$ and i.i.d ensemble sub-Gaussian random matrix, which is a random matrix with i.i.d mean-zero, unit variance, sub-Gaussian entries.


title: From finite nuclei to neutron stars : the essential role of high-order density dependence in effective forces

abstract: A unified description of finite nuclei and equation of state of neutron stars present a major challenge as well as opportunities for understandings of nuclear interactions.Inspired by the Lee-Huang-Yang formula of hard-sphere gases, we developed effective nuclear interactions with an additional high-order density dependent term.The original Skyrme force SLy4 is widely used in studies of neutron stars but is not satisfied for global descriptions of finite nuclei. The refitted SLy4${'}$ force can improve descriptions of finite nuclei but slightly reduces the radius of neutron star of 1.4 solar mass.We found that the extended SLy4 force with a higher-order density dependence can properly describe properties of both finite nuclei and GW170817 binary neutron stars, including the mass-radius relation and the tidal deformability. This demonstrated the essential role of high-order density dependence at ultrahigh densities. Our work provides a unified and predictive model for neutron stars, as well as new insights for the future development of effective interactions.


title: Gravitational collapse of anisotropic stars

abstract: We study the gravitational collapse of a spherically symmetric anisotropic relativistic star within Einstein theory of gravity making use of one of our recently developed collapsing stellar models [{\it Astrophys. Space Sci.} {\bf361} 99 (2016)]. The final state of continual gravitational collapse of a massive star under regular initial conditions is analyzed in terms of the formation of black holes. To study the evolution of an anisotropic star undergoing gravitational collapse, it is assumed that the dissipation process happens in the form of radial heat-flux. The interior space-time is described by static metric matched at the boundary with Vaidya metric that describes the exterior to the radiating star. The initial static configuration is described by the relativistic solution obtained by Paul and Deb [{\it Astrophys. Space Sci.} {\bf354} 421 (2014)]. The impact of anisotropy on the dynamical gravitational collapse of a massive star is studied. The relativistic causal heat transport equation of the Maxwell-Cattaneo equation is utilized to show the dependence of anisotropy on the temperature profile of the collapsing system.


title: A study on the effect of anisotropy under Finch-Skea geometry

abstract: The popularity of the Finch-Skea ansatz to describe relativistic stellar model have encouraged us to study the analytic solutions of the Einstein field equation. We have presented a class of exact solutions to the field equations after considering the corresponding two cases: (i) positive value of anisotropic parameter, and (ii) absence of any anisotropy. Smooth matching of the interior solutions with the Schwarzschild exterior solution helped us to determine constants. The physical features of the solutions thus obtained have been studied both graphically and numerically with the specific pulsar $4U~1608-52$ (Mass = $1.57^{+0.30}_{-0.29}~M_\odot$ and radius = $9.8\pm 1.8~km$). The stability conditions for the model have also been discussed, however the model is found to be stable for zero anisotropy.


title: A Kubernetes Controller for Managing the Availability of Elastic Microservice Based Stateful Applications

abstract: The architectural style of microservices has been gaining popularity in recent years. In this architectural style, small and loosely coupled modules are deployed and scaled independently to compose cloud-native applications. Carrier-grade service providers are migrating their legacy applications to a microservice based architecture running on Kubernetes which is an open source platform for orchestrating containerized microservice based applications. However, in this migration, service availability remains a concern. Service availability is measured as the percentage of time the service is provisioned. High Availability (HA) is achieved when the service is available at least 99.999% of the time. In this paper, we identify possible architectures for deploying stateful microservice based applications with Kubernetes and evaluate Kubernetes from the perspective of availability it provides for its managed applications. The results of our experiments show that the repair actions of Kubernetes cannot satisfy HA requirements, and in some cases cannot guarantee service recovery. Therefore, we propose an HA State Controller which integrates with Kubernetes and allows for application state replication and automatic service redirection to the healthy microservice instances by enabling service recovery in addition to the repair actions of Kubernetes. Based on experiments we evaluate our solution and compare the different architectures from the perspective of availability and scaling overhead. The results of our investigations show that our solution can improve the recovery time of stateful microservice based applications by 50%.


title: Analytical and numerical solutions to ergodic control problems arising in environmental management

abstract: Environmental management optimizing a long-run objective is an ergodic control problem whose resolution can be achieved by solving an associated non-local Hamilton-Jacobi-Bellman (HJB) equation having an effective Hamiltonian. Focusing on sediment storage management as a modern engineering problem, we formulate, analyze, and compute a new ergodic control problem under discrete observations: a simple but non-trivial mathematical problem. We give optimality and comparison results of the corresponding HJB equation having unique non-smoothness and discontinuity. To numerically compute HJB equations, we propose a new fast-sweep method resorting to neither pseudo-time integration nor vanishing discount. The optimal policy and the effective Hamiltonian are then computed simultaneously. Convergence rate of numerical solutions is computationally analyzed. An advanced robust control counterpart where the dynamics involve uncertainties is also numerically considered.


title: Synchronization of coupled second-order Kuramoto-Sakaguchi oscillators

abstract: We study the synchronization of oscillators with inertias and phase shifts, namely the second-order Kuramoto-Sakaguchi model. Using the self-consistent method, we find that the effect of inertia is the introduction of effective phase shifts. The discontinuous synchronization transition of the Kuramoto-Sakaguchi model changes to a continuous one when the value of inertia is small. In addition, we find a new synchronization process, in which with increasing coupling strength the system reaches an oscillating state instead of complete synchronization due to the cross-effect of phase shifts and inertias. Through numerical simulations, the same type of synchronization process is also found for oscillators in complex networks, including scale-free, small-world and random networks.


title: Interacting fermions in narrow-gap semiconductors with band inversion

abstract: Highly unconventional behavior of the thermodynamic response functions has been experimentally observed in a narrow gap semiconductor samarium hexaboride. Motivated by these observations, we use renormalization group technique to investigate many-body instabilities in the f-orbital narrow gap semiconductors with band inversion in the limit of weak coupling. After projecting out the double occupancy of the f-orbital states, we formulate a low-energy theory describing the interacting particles in two hybridized electron- and hole-like bands. The interactions are assumed to be weak and short-ranged. We take into account the difference between the effective masses of the quasiparticles in each band. Upon carrying out the renormalization group analysis we find that there is only one stable fixed point corresponding to the excitonic instability with time-reversal symmetry breaking for small enough mismatch between the effective masses.


title: A Hoffman's Theorem: a revisit with new discovery

abstract: In 1972, A. J. Hoffman proved his celebrated theorem concerning the limit points of spectral radii of non-negative symmetric integral matrices less than $\sqrt{2+\sqrt{5}}$. In this paper, after giving a new version of Hoffman's theorem, we get two generalized versions of it applicable to non-negative symmetric matrices with fractional elements. As a corollary, we obtain another alternative version about the limit points of spectral radii of (signless) Laplacian matrices of graphs less than $2+ {\tiny \frac{{\;}1{\;}}{3}\left((54 - 6\sqrt{33})^{\frac{{\;}1{\;}}{3}} + (54 + 6\sqrt{33})^{\frac{{\;} 1{\;}}{3}} \right)}$. We also discuss how our approach could be fruitfully employed to investigate equiangular lines.


title: Note on the nonrelativistic $T\bar{T}$ deformation

abstract: In this paper, we present our study on the $T\bar{T}$-deformation of non-relativistic complex scalar field theory. We find the closed form of the deformed Lagrangian by using the perturbation and the method of characteristics. Furthermore we compute the exact energy spectrum of the deformed free theory by using the Brillouin-Wigner perturbation theory in an appropriate regularization scheme.


title: Model Optimization for Deep Space Exploration via Simulators and Deep Learning

abstract: Machine learning, and eventually true artificial intelligence techniques, are extremely important advancements in astrophysics and astronomy. We explore the application of deep learning using neural networks in order to automate the detection of astronomical bodies for future exploration missions, such as missions to search for signatures or suitability of life. The ability to acquire images, analyze them, and send back those that are important, as determined by the deep learning algorithm, is critical in bandwidth-limited applications. Our previous foundational work solidified the concept of using simulator images and deep learning in order to detect planets. Optimization of this process is of vital importance, as even a small loss in accuracy might be the difference between capturing and completely missing a possibly-habitable nearby planet. Through computer vision, deep learning, and simulators, we introduce methods that optimize the detection of exoplanets. We show that maximum achieved accuracy can hit above 98% for multiple model architectures, even with a relatively small training set.


title: Ionic conductance oscillations in sub-nanometer pores probed by optoelectronic control

abstract: Ionic Coulomb blockade is one of the mesoscopic effects in ion transport revealing the quantized nature of ionic charges, which is of crucial importance to our understanding of the sub-continuum transport in nanofluidics and the mechanism of biological ion channels. Herein, we report an experimental observation and plausible theoretical reasoning of ionic conduction oscillations. Our experiment was performed under strong confinement in single sub-nanometer MoS2 pores with optoelectronic control enabled for active tuning of pore surface charges. Under this charge control, we measured the ionic current at fixed voltages and observed multiple current peaks. Our analytical discussions and molecular dynamics simulations further reveal that the conductance oscillations in atomically thin nanopores may originate from the multi-ion interaction at the pore entry, particularly the electrostatic repulsion of ions external to the pore by ions bound inside the pore. Our work adds a further understanding of ionic Coulomb blockade effect under extreme confinement in atomically thin nanopores and paves the way for developing advanced ionic machineries.


title: Pivot Through English: Reliably Answering Multilingual Questions without Document Retrieval

abstract: Existing methods for open-retrieval question answering in lower resource languages (LRLs) lag significantly behind English. They not only suffer from the shortcomings of non-English document retrieval, but are reliant on language-specific supervision for either the task or translation. We formulate a task setup more realistic to available resources, that circumvents document retrieval to reliably transfer knowledge from English to lower resource languages. Assuming a strong English question answering model or database, we compare and analyze methods that pivot through English: to map foreign queries to English and then English answers back to target language answers. Within this task setup we propose Reranked Multilingual Maximal Inner Product Search (RM-MIPS), akin to semantic similarity retrieval over the English training set with reranking, which outperforms the strongest baselines by 2.7% on XQuAD and 6.2% on MKQA. Analysis demonstrates the particular efficacy of this strategy over state-of-the-art alternatives in challenging settings: low-resource languages, with extensive distractor data and query distribution misalignment. Circumventing retrieval, our analysis shows this approach offers rapid answer generation to almost any language off-the-shelf, without the need for any additional training data in the target language.


title: Learning algorithms from circuit lower bounds

abstract: We revisit known constructions of efficient learning algorithms from various notions of constructive circuit lower bounds such as distinguishers breaking pseudorandom generators or efficient witnessing algorithms which find errors of small circuits attempting to compute hard functions. As our main result we prove that if it is possible to find efficiently, in a particular interactive way, errors of many p-size circuits attempting to solve hard problems, then p-size circuits can be PAC learned over the uniform distribution with membership queries by circuits of subexponential size. The opposite implication holds as well. This provides a new characterisation of learning algorithms and extends the natural proofs barrier of Razborov and Rudich. The proof is based on a method of exploiting Nisan-Wigderson generators introduced by Kraj\'{i}\v{c}ek (2010) and used to analyze complexity of circuit lower bounds in bounded arithmetic. An interesting consequence of known constructions of learning algorithms from circuit lower bounds is a learning speedup of Oliveira and Santhanam (2016). We present an alternative proof of this phenomenon and discuss its potential to advance the program of hardness magnification.


title: The Miyaoka-Yau inequality on smooth minimal models

abstract: In this short note, we offer an observation that the Miyaoka-Yau inequality holds for any compact K\"{a}hler manifold with nef canonical bundle, i.e. a smooth minimal model. It follows directly from the existence of cscK metrics in a neighborhood of the canonical class which was confirmed both by the work of Dyrefelt and Song using different approaches.


title: Human Expression Recognition using Facial Shape Based Fourier Descriptors Fusion

abstract: Dynamic facial expression recognition has many useful applications in social networks, multimedia content analysis, security systems and others. This challenging process must be done under recurrent problems of image illumination and low resolution which changes at partial occlusions. This paper aims to produce a new facial expression recognition method based on the changes in the facial muscles. The geometric features are used to specify the facial regions i.e., mouth, eyes, and nose. The generic Fourier shape descriptor in conjunction with elliptic Fourier shape descriptor is used as an attribute to represent different emotions under frequency spectrum features. Afterwards a multi-class support vector machine is applied for classification of seven human expression. The statistical analysis showed our approach obtained overall competent recognition using 5-fold cross validation with high accuracy on well-known facial expression dataset.


title: Risk-Sensitive Deep RL: Variance-Constrained Actor-Critic Provably Finds Globally Optimal Policy

abstract: While deep reinforcement learning has achieved tremendous successes in various applications, most existing works only focus on maximizing the expected value of total return and thus ignore its inherent stochasticity. Such stochasticity is also known as the aleatoric uncertainty and is closely related to the notion of risk. In this work, we make the first attempt to study risk-sensitive deep reinforcement learning under the average reward setting with the variance risk criteria. In particular, we focus on a variance-constrained policy optimization problem where the goal is to find a policy that maximizes the expected value of the long-run average reward, subject to a constraint that the long-run variance of the average reward is upper bounded by a threshold. Utilizing Lagrangian and Fenchel dualities, we transform the original problem into an unconstrained saddle-point policy optimization problem, and propose an actor-critic algorithm that iteratively and efficiently updates the policy, the Lagrange multiplier, and the Fenchel dual variable. When both the value and policy functions are represented by multi-layer overparameterized neural networks, we prove that our actor-critic algorithm generates a sequence of policies that finds a globally optimal policy at a sublinear rate. Further, We provide numerical studies of the proposed method using two real datasets to back up the theoretical results.


title: Argyres-Douglas Theories, S-duality and AGT Correspondence

abstract: We propose a Nekrasov-type formula for the instanton partition functions of four-dimensional N=2 U(2) gauge theories coupled to (A_1,D_{2n}) Argyres-Douglas theories. This is carried out by extending the generalized AGT correspondence to the case of U(2) gauge group, which requires us to define irregular states of the direct sum of Virasoro and Heisenberg algebras. Using our formula, one can evaluate the contribution of the (A_1,D_{2n}) theory at each fixed point on the U(2) instanton moduli space. As an application, we evaluate the instanton partition function of the (A_3,A_3) theory to find it in a peculiar relation to that of SU(2) gauge theory with four fundamental flavors. From this relation, we read off how the S-duality group acts on the UV gauge coupling of the (A_3,A_3) theory.


title: Exploiting Chain Rule and Bayes' Theorem to Compare Probability Distributions

abstract: To measure the difference between two probability distributions, referred to as the source and target, respectively, we exploit both the chain rule and Bayes' theorem to construct conditional transport (CT), which is constituted by both a forward component and a backward one. The forward CT is the expected cost of moving a source data point to a target one, with their joint distribution defined by the product of the source probability density function (PDF) and a source-dependent conditional distribution, which is related to the target PDF via Bayes' theorem. The backward CT is defined by reversing the direction. The CT cost can be approximated by replacing the source and target PDFs with their discrete empirical distributions supported on mini-batches, making it amenable to implicit distributions and stochastic gradient descent-based optimization. When applied to train a generative model, CT is shown to strike a good balance between mode-covering and mode-seeking behaviors and strongly resist mode collapse. On a wide variety of benchmark datasets for generative modeling, substituting the default statistical distance of an existing generative adversarial network with CT is shown to consistently improve the performance. PyTorch code is provided.


title: Understanding Partial PT symmetry as weighted composition conjugation in Reproducing Kernel Hilbert Space :An application to non-hermitian Bose-Hubbard type Hamiltonian in Fock space

abstract: A new kind of symmetry behaviour introduced as partialPT-symmetry is investigated in a typical Fock space setting understood as a Reproducing Kernel Hilbert Space (RKHS). The same kind of symmetry is understood for a nonhermitian Bose-Hubbard type Hamiltonian involving two boson operators as well as its eigenstates. The phenomenon of symmetry breaking has also been considered