title: Vacuum decay and fermion total reflection by the Klein step

abstract: The so-called Klein tunneling is re-examined within the framework of quantum field theory, but from a different point of view on the asymptotic states. We treat it as a one-dimensional scattering process of a fermion incident to a step potential and introduce asymptotic operators as appropriate $t = \pm \infty$ limits of the field operator responsible for the process. For the so-called Klein energy range, two asymptotic vacua naturally emerge which are defined as states annihilated by the asymptotic annihilation operators. They are related by a similarity transformation, which entails a vacuum decay and yields a vacuum decay constant. When a fermion with incident energy in the Klein region is injected to the step, it is shown to be reflected with probability one, accompanied by fermion--anti-fermion pairs that are vacuum decay products.


title: Supersonic Expansion of the Bipolar Hii Region Sh2-106: A 3,500 Year-Old Explosion?

abstract: Multi-epoch narrow-band HST images of the bipolar Hii region Sh2-106 reveal highly supersonic nebular proper motions which increase with projected distance from the massive young stellar object S106~IR, reaching over ~30 mas/year (~150 km/s at D=1.09 kpc) at a projected separation of ~1.4' (0.44 pc) from S106~IR. We propose that S106~IR experienced a $\sim10^{47}$ erg explosion ~3,500 years ago. The explosion may be the result of a major accretion burst, a recent encounter with another star, or a consequence of the interaction of a companion with the bloated photosphere of S106~IR as it grew from ~10 through ~15 Solar masses at a high accretion rate. Near-IR images reveal fingers of molecular hydrogen emission pointing away from S106~IR and an asymmetric photon-dominated region surrounding the ionized nebula. Radio continuum and Brackett-gamma emission reveal a C-shaped bend in the plasma, either indicating motion of S106~IR toward the east, or deflection of plasma toward the west by the surrounding cloud. The Hii region bends around a ~1' diameter dark bay west of S106~IR that may be shielded from direct illumination by a dense molecular clump. Herbig-Haro (HH) and Molecular Hydrogen Objects (MHOs) tracing outflows powered by stars in the Sh2-106 proto-cluster such as the Class 0 source S106 FIR are discussed.


title: Phase Response Curves and the Role of Coordinates

abstract: The "Phase Response Curve" (PRC) is a common tool used to analyze phase resetting in the natural sciences. We make the observation that the PRC with respect to a coordinate $y\in\mathbb{R}$ actually depends on the full choice of coordinates $(x,y)$, $x\in\mathbb{R}^d$. We give a coordinate-free definition of the PRC making this observation obvious. We show how by controlling $y$, using delay coordinates of $y$, and postulating the dynamics of $x$ as a function of $x$ and $y$, we can sometimes reconstruct the PRC with respect to the $(x,y)$ coordinates. This suggests a means for obtaining the PRC of, e.g., a neuron via a voltage clamp.

categories: q-bio.QM math.CA math.DS math.OC q-bio.NC


title: Generalizing quasi-categories via model structures on simplicial sets

abstract: We use Cisinski's machinery to construct and study model structures on the category of simplicial sets whose classes of fibrant objects generalize quasi-categories. We identify a lifting condition which captures the homotopical behavior of quasi-categories without the algebraic aspects and show that there is a model structure whose fibrant objects are precisely those which satisfy this condition. We also identify a localization of this model structure whose fibrant objects satisfy a "special horn lifting" condition similar to the one satisfied by quasi-categories. This special horn model structure leads to a conjecture characterization of the bijective-on-0-simplices trivial cofibrations of the Joyal model structure. We also discuss how these model structures all relate to one another and to the minimal model structure.


title: Smoothing of one- and two-dimensional discontinuities in potential energy surfaces

abstract: Background: The generation of potential energy surfaces is a critical step in theoretical models aiming to understand and predict nuclear fission. Discontinuities frequently arise in these surfaces in unconstrained collective coordinates, leading to missing or incorrect results. Purpose: This work aims to produce efficient and physically-motivated computational algorithms to refine potential energy surfaces by removing discontinuities. Method: Procedures based on tree-search algorithms are developed which are capable of smoothing discontinuities in one and two-dimensional potential energy surfaces while minimising their overall energy. Results: Each of the new methods is applied to smooth candidate discontinuities in ${}^{252}\mathrm{Cf}$, ${}^{222}\mathrm{Th}$ and ${}^{218}\mathrm{Ra}$. The effectiveness of each case is analysed both qualitatively and quantitatively. The one-dimensional method is also compared to the adiabatic and linear interpolation approaches which are commonly used to remove discontinuities. Conclusions: The smoothing methods presented in this work are resource-efficient and successful for one- and two-dimensional discontinuities; they will improve the fidelity of potential energy surfaces as well as their subsequent uses in beyond mean-field applications. Complex discontinuities occurring in higher dimensions may require alternative approaches which better utilise prior knowledge of the potential energy surface to narrow their searches.


title: A Note On Complex Spacetime Metrics

abstract: For various reasons, it seems necessary to include complex saddle points in the "Euclidean" path integral of General Relativity. But some sort of restriction on the allowed complex saddle points is needed to avoid various unphysical examples. In this article, a speculative proposal is made concerning a possible restriction on the allowed saddle points in the gravitational path integral. The proposal is motivated by recent work of Kontsevich and Segal on complex metrics in quantum field theory, and earlier work of Louko and Sorkin on topology change from a real time point of view.


title: RATE: Overcoming Noise and Sparsity of Textual Features in Real-Time Location Estimation

abstract: Real-time location inference of social media users is the fundamental of some spatial applications such as localized search and event detection. While tweet text is the most commonly used feature in location estimation, most of the prior works suffer from either the noise or the sparsity of textual features. In this paper, we aim to tackle these two problems. We use topic modeling as a building block to characterize the geographic topic variation and lexical variation so that "one-hot" encoding vectors will no longer be directly used. We also incorporate other features which can be extracted through the Twitter streaming API to overcome the noise problem. Experimental results show that our RATE algorithm outperforms several benchmark methods, both in the precision of region classification and the mean distance error of latitude and longitude regression.


title: A low-rank solution method for Riccati equations with indefinite quadratic terms

abstract: Algebraic Riccati equations with indefinite quadratic terms play an important role in applications related to robust controller design. While there are many established approaches to solve these in case of small-scale dense coefficients, there is no approach available to compute solutions in the large-scale sparse setting. In this paper, we develop an iterative method to compute low-rank approximations of stabilizing solutions of large-scale sparse continuous-time algebraic Riccati equations with indefinite quadratic terms. We test the developed approach for dense examples in comparison to other established matrix equation solvers, and investigate the applicability and performance in large-scale sparse examples.


title: Neuromuscular Control of the Face-Head-Neck Biomechanical Complex With Learning-Based Expression Transfer From Images and Videos

abstract: The transfer of facial expressions from people to 3D face models is a classic computer graphics problem. In this paper, we present a novel, learning-based approach to transferring facial expressions and head movements from images and videos to a biomechanical model of the face-head-neck complex. Leveraging the Facial Action Coding System (FACS) as an intermediate representation of the expression space, we train a deep neural network to take in FACS Action Units (AUs) and output suitable facial muscle and jaw activation signals for the musculoskeletal model. Through biomechanical simulation, the activations deform the facial soft tissues, thereby transferring the expression to the model. Our approach has advantages over previous approaches. First, the facial expressions are anatomically consistent as our biomechanical model emulates the relevant anatomy of the face, head, and neck. Second, by training the neural network using data generated from the biomechanical model itself, we eliminate the manual effort of data collection for expression transfer. The success of our approach is demonstrated through experiments involving the transfer onto our face-head-neck model of facial expressions and head poses from a range of facial images and videos.


title: Greater than the parts: A review of the information decomposition approach to causal emergence

abstract: Emergence is a profound subject that straddles many scientific disciplines, including the formation of galaxies and how consciousness arises from the collective activity of neurons. Despite the broad interest that exists on this concept, the study of emergence has suffered from a lack of formalisms that could be used to guide discussions and advance theories. Here we summarise, elaborate on, and extend a recent formal theory of causal emergence based on information decomposition, which is quantifiable and amenable to empirical testing. This theory relates emergence with information about a system's temporal evolution that cannot be obtained from the parts of the system separately. This article provides an accessible but rigorous introduction to the framework, discussing the merits of the approach in various scenarios of interest. We also discuss several interpretation issues and potential misunderstandings, while highlighting the distinctive benefits of this formalism.


title: Type II supernovae from the Carnegie Supernova Project-I. I. Bolometric light curves of 74 SNe II using uBgVriYJH photometry

abstract: The present study is the first of a series of three papers where we characterise the type II supernovae (SNe~II) from the Carnegie Supernova Project-I to understand their diversity in terms of progenitor and explosion properties. In this first paper, we present bolometric light curves of 74 SNe~II. We outline our methodology to calculate the bolometric luminosity, which consists of the integration of the observed fluxes in numerous photometric bands ($uBgVriYJH$) and black-body (BB) extrapolations to account for the unobserved flux at shorter and longer wavelengths. BB fits were performed using all available broadband data except when line blanketing effects appeared. Photometric bands bluer than $r$ that are affected by line blanketing were removed from the fit, which makes near-infrared (NIR) observations highly important to estimate reliable BB extrapolations to the infrared. BB fits without NIR data produce notably different bolometric light curves, and therefore different estimates of SN~II progenitor and explosion properties when data are modelled. We present two methods to address the absence of NIR observations: (a) colour-colour relationships from which NIR magnitudes can be estimated using optical colours, and (b) new prescriptions for bolometric corrections as a function of observed SN~II colours. Using our 74 SN~II bolometric light curves, we provide a full characterisation of their properties based on several observed parameters. We measured magnitudes at different epochs, as well as durations and decline rates of different phases of the evolution. An analysis of the light-curve parameter distributions was performed, finding a wide range and a continuous sequence of observed parameters which is consistent with previous analyses using optical light curves.


title: Acoustic topological Anderson insulators

abstract: Recent breakthrough on topological Anderson insulators revealed the breakdown of the traditional perception that sufficiently strong disorder may induce the appearance of topological protected transport states instead of destruction. Although topological Anderson insulators have been observed in various time-reversal symmetry breaking systems, the observation of topological Anderson insulators protected by time-reversal symmetry remains scarce, which are considered to be more promising in applications such as the integrated devices. Here, we report the experimental observation of topological Anderson insulator in a two-dimensional bilayer phononic crystal. The robust spin-dependent edge states, as evidence of topological Anderson insulating phase, are observed by introducing on-site disorder. In addition, spin Bott index was computed to identify the topological invariants of the system with disorder, which confirmed the occurrence of disorder-induced topological state. Our results reveal that the impurities and defects introduced in the processing of integrated devices may induce the formation of topological transport states, which are promising for the exploration of new routes for the integration devices design.


title: Refinement for community structures of bipartite networks

abstract: Bipartite networks composed of dichotomous node sets are ubiquitous in nature and society. Partly for simplicity's sake, many studies have focused on their projection onto their unipartite versions where one only needs to care about a single type of node. When it comes to mesoscale structures such as communities, however, properly incorporating a priori structural restrictions such as bipartivity is ever more important. In this paper, as a case study, we take the community structure of bipartite networks in various scales to examine the amount of information of bipartivity encoded in the community detection procedure. In particular, we report the robustness in reliability of detected community based on consistency by comparing the detection algorithm with or without the consideration of bipartivity. From the analysis with model networks embedding prescribed communities and real networks, we find that the community detection tailored to take the bipartivity into account clearly yields more robust community structures than the one without such structural information. This demonstrates the necessity for customizing the community detection algorithm by encoding whatever information is known about networks of interest and, at the same time, raises an interesting question on the possibility of estimating the quantitative amount of information from such a customization.


title: Higher Auslander-Reiten sequences via morphisms determined by objects

abstract: Let $(\mathscr{C},\mathbb{E},\mathfrak{s})$ be an ${\rm Ext}$-finite, Krull-Schmidt and $k$-linear $n$-exangulated category with $k$ a commutative artinian ring. In this note, we define two additive subcategories $\mathscr{C}_r$ and $\mathscr{C}_l$ of $\mathscr{C}$ in terms of the representable functors from the stable category of $\mathscr{C}$ to the category of finitely generated $k$-modules. Moreover, we show that there exists an equivalence between the stable categories of these two full subcategories. Finally, we give some equivalent characterizations on the existence of Auslander-Reiten $n$-exangles via determined morphisms. These results unify and extend their works by Jiao-Le for exact categories, Zhao-Tan-Huang for extriangulated categories, Xie-Liu-Yang for $n$-abelian categories.


title: Searching for Charged Higgs Bosons via $e^+ e^- \to H^+ H^- \to c\bar{b} \bar{c}b $ at Linear Colliders

abstract: We study a search for the charged Higgs boson via $e^+e^- \to H^+H^- \to c\bar{b}\bar{c}b$ at the 500 GeV ILC. In a general two Higgs doublet model without $Z_2$ symmetry, extra Yukawa couplings $\rho_{tt}$ and $\rho_{tc}$ can drive baryogenesis, but searches at the HL-LHC may still go empty-handed if the couplings are relatively weak. Taking $m_{H^+ } \simeq m_H \simeq m_A \simeq 200$ GeV, with $\rho_{tt}$, $\rho_{tc}\sim 0.1$ and no $h(125)$-$H$ mixing, $H^+ \to c\bar b$ decay is dominant, and the $c\bar{b}\bar{c}b$ final state is likely overwhelmed by QCD background at the LHC. We show that the electroweak production of $H^+ H^-$ at the ILC is discoverable with integrated luminosity of 1 ab$^{-1}$. Furthermore, we show that $m_{H^+}$ can be extracted by requiring the two pairs of $b$ and light jets be roughly equal in mass, without assuming the mass value. Thus, ILC can probe low mass Higgs bosons in multijet final states to complement HL-LHC in the future


title: An Enhanced Adaptive Bi-clustering Algorithm through Building a Shielding Complex Sub-Matrix

abstract: Bi-clustering refers to the task of finding sub-matrices (indexed by a group of columns and a group of rows) within a matrix of data such that the elements of each sub-matrix (data and features) are related in a particular way, for instance, that they are similar with respect to some metric. In this paper, after analyzing the well-known Cheng and Church (CC) bi-clustering algorithm which has been proved to be an effective tool for mining co-expressed genes. However, Cheng and Church bi-clustering algorithm and summarizing its limitations (such as interference of random numbers in the greedy strategy; ignoring overlapping bi-clusters), we propose a novel enhancement of the adaptive bi-clustering algorithm, where a shielding complex sub-matrix is constructed to shield the bi-clusters that have been obtained and to discover the overlapping bi-clusters. In the shielding complex sub-matrix, the imaginary and the real parts are used to shield and extend the new bi-clusters, respectively, and to form a series of optimal bi-clusters. To assure that the obtained bi-clusters have no effect on the bi-clusters already produced, a unit impulse signal is introduced to adaptively detect and shield the constructed bi-clusters. Meanwhile, to effectively shield the null data (zero-size data), another unit impulse signal is set for adaptive detecting and shielding. In addition, we add a shielding factor to adjust the mean squared residue score of the rows (or columns), which contains the shielded data of the sub-matrix, to decide whether to retain them or not. We offer a thorough analysis of the developed scheme. The experimental results are in agreement with the theoretical analysis. The results obtained on a publicly available real microarray dataset show the enhancement of the bi-clusters performance thanks to the proposed method.


title: Hammocks to visualize the support of finitely presented functors

abstract: Many properties of a module can be expressed in terms of the dimension of the vector space obtained by applying a finitely presented functor to that module. For example, the dimension of the kernel, image or cokernel of the multiplication map given by an algebra element; or the number of summands of a certain type when the module is considered a module over a subalgebra. When the indecomposable modules over the algebra are arranged in the Auslander-Reiten quiver, the support of the finitely presented functor typically has the shape of a hammock, spanned between sources and sinks. There may also be tangents which are meshes where the hammock function at the middle term exceeds the sum of the values at the start and end terms. We describe how sources, sinks and tangents of the hammock relate to the modules which define the projective resolution of the finitely presented functor. The key tool is the Cokernel Complex Lemma which links the values of the hammock function to the Auslander-Reiten structure of the category. We are also interested in exact subcategories of module categories which have Auslander-Reiten sequences. Our examples include quiver representations and invariant subspaces of nilpotent linear operators.


title: A Time-Series Scale Mixture Model of EEG with a Hidden Markov Structure for Epileptic Seizure Detection

abstract: In this paper, we propose a time-series stochastic model based on a scale mixture distribution with Markov transitions to detect epileptic seizures in electroencephalography (EEG). In the proposed model, an EEG signal at each time point is assumed to be a random variable following a Gaussian distribution. The covariance matrix of the Gaussian distribution is weighted with a latent scale parameter, which is also a random variable, resulting in the stochastic fluctuations of covariances. By introducing a latent state variable with a Markov chain in the background of this stochastic relationship, time-series changes in the distribution of latent scale parameters can be represented according to the state of epileptic seizures. In an experiment, we evaluated the performance of the proposed model for seizure detection using EEGs with multiple frequency bands decomposed from a clinical dataset. The results demonstrated that the proposed model can detect seizures with high sensitivity and outperformed several baselines.


title: Moser-Tardos Algorithm: Beyond Shearer's Bound

abstract: In a seminal paper (Moser and Tardos, JACM'10), Moser and Tardos developed a simple and powerful algorithm to find solutions to combinatorial problems in the variable Lov{\'a}sz Local Lemma (LLL) setting. Kolipaka and Szegedy (STOC'11) proved that the Moser-Tardos algorithm is efficient up to the tight condition of the abstract Lov{\'a}sz Local Lemma, known as Shearer's bound. A fundamental problem around LLL is whether the efficient region of the Moser-Tardos algorithm can be further extended. In this paper, we give a positive answer to this problem. We show that the efficient region of the Moser-Tardos algorithm goes beyond the Shearer's bound of the underlying dependency graph, if the graph is not chordal. Otherwise, the dependency graph is chordal, and it has been shown that Shearer's bound exactly characterizes the efficient region for such graphs (Kolipaka and Szegedy, STOC'11; He, Li, Liu, Wang and Xia, FOCS'17). Moreover, we demonstrate that the efficient region can exceed Shearer's bound by a constant by explicitly calculating the gaps on several infinite lattices. The core of our proof is a new criterion on the efficiency of the Moser-Tardos algorithm which takes the intersection between dependent events into consideration. Our criterion is strictly better than Shearer's bound whenever the intersection exists between dependent events. Meanwhile, if any two dependent events are mutually exclusive, our criterion becomes the Shearer's bound, which is known to be tight in this situation for the Moser-Tardos algorithm (Kolipaka and Szegedy, STOC'11; Guo, Jerrum and Liu, JACM'19).


title: Large Deviations for Hamiltonian Systems on Intermediate Time Scales

abstract: We consider a two-dimensional Hamiltonian system perturbed by a small diffusion term, whose coefficient is state-dependent and non-degenerate. As a result, the process consists of the fast motion along the level curves and slow motion across them. On finite time intervals, the large deviation principle applies, while on time scales that are inversely proportional to the size of the perturbation, the averaging principle holds, i.e., the projection of the process onto the Reeb graph converges to a Markov process. In our paper, we consider the intermediate time scales and prove the large deviation principle, with the action functional determined in terms of the averaged process on the graph.


title: Type II supernovae from the Carnegie Supernova Project-I. II. Physical parameter distributions from hydrodynamical modelling

abstract: Linking supernovae to their progenitors is a powerful method for furthering our understanding of the physical origin of their observed differences, while at the same time testing stellar evolution theory. In this second study of a series of three papers where we characterise SNe II to understand their diversity, we derive progenitor properties (initial and ejecta masses, and radius), explosion energy, $^{56}$Ni mass, and its degree of mixing within the ejecta for a large sample of SNe II. This dataset was obtained by the Carnegie Supernova Project-I and is characterised by a high cadence of their optical and NIR light curves and optical spectra that were homogeneously observed and processed. A large grid of hydrodynamical models and a fitting procedure based on MCMC methods were used to fit the bolometric light curve and the evolution of the photospheric velocity of 53 SNe II. We infer ejecta masses between 7.9 and 14.8 $M_{\odot}$, explosion energies between 0.15 and 1.40 foe, and $^{56}$Ni masses between 0.006 and 0.069 $M_{\odot}$. We define a subset of 24~SNe (the `gold sample') with well-sampled bolometric light curves and expansion velocities for which we consider the results more robust. Most SNe~II in the gold sample ($\sim$88%) are found with ejecta masses in the range of $\sim$8-10 $M_{\odot}$, coming from low zero-age main-sequence masses (9-12 $M_{\odot}$). The modelling of the initial-mass distribution of the gold sample gives an upper mass limit of 21.3$^{+3.8}_{-0.4}$ $M_{\odot}$ and a much steeper distribution than that for a Salpeter massive-star IMF. This IMF incompatibility is due to the large number of low-mass progenitors found -- when assuming standard stellar evolution. This may imply that high-mass progenitors lose more mass during their lives than predicted. However, a deeper analysis of all stellar evolution assumptions is required to test this hypothesis.


title: Distributed Sparse Regression via Penalization

abstract: We study sparse linear regression over a network of agents, modeled as an undirected graph (with no centralized node). The estimation problem is formulated as the minimization of the sum of the local LASSO loss functions plus a quadratic penalty of the consensus constraint -- the latter being instrumental to obtain distributed solution methods. While penalty-based consensus methods have been extensively studied in the optimization literature, their statistical and computational guarantees in the high dimensional setting remain unclear. This work provides an answer to this open problem. Our contribution is two-fold. First, we establish statistical consistency of the estimator: under a suitable choice of the penalty parameter, the optimal solution of the penalized problem achieves near optimal minimax rate $\mathcal{O}(s \log d/N)$ in $\ell_2$-loss, where $s$ is the sparsity value, $d$ is the ambient dimension, and $N$ is the total sample size in the network -- this matches centralized sample rates. Second, we show that the proximal-gradient algorithm applied to the penalized problem, which naturally leads to distributed implementations, converges linearly up to a tolerance of the order of the centralized statistical error -- the rate scales as $\mathcal{O}(d)$, revealing an unavoidable speed-accuracy dilemma.Numerical results demonstrate the tightness of the derived sample rate and convergence rate scalings.


title: Domain Generalization on Efficient Acoustic Scene Classification using Residual Normalization

abstract: It is a practical research topic how to deal with multi-device audio inputs by a single acoustic scene classification system with efficient design. In this work, we propose Residual Normalization, a novel feature normalization method that uses frequency-wise normalization % instance normalization with a shortcut path to discard unnecessary device-specific information without losing useful information for classification. Moreover, we introduce an efficient architecture, BC-ResNet-ASC, a modified version of the baseline architecture with a limited receptive field. BC-ResNet-ASC outperforms the baseline architecture even though it contains the small number of parameters. Through three model compression schemes: pruning, quantization, and knowledge distillation, we can reduce model complexity further while mitigating the performance degradation. The proposed system achieves an average test accuracy of 76.3% in TAU Urban Acoustic Scenes 2020 Mobile, development dataset with 315k parameters, and average test accuracy of 75.3% after compression to 61.0KB of non-zero parameters. The proposed method won the 1st place in DCASE 2021 challenge, TASK1A.


title: Nonlinear Tensor Ring Network

abstract: The state-of-the-art deep neural networks (DNNs) have been widely applied for various real-world applications, and achieved significant performance for cognitive problems. However, the increment of DNNs' width and depth in architecture results in a huge amount of parameters to challenge the storage and memory cost, limiting to the usage of DNNs on resource-constrained platforms, such as portable devices. By converting redundant models into compact ones, compression technique appears to be a practical solution to reducing the storage and memory consumption. In this paper, we develop a nonlinear tensor ring network (NTRN) in which both fullyconnected and convolutional layers are compressed via tensor ring decomposition. Furthermore, to mitigate the accuracy loss caused by compression, a nonlinear activation function is embedded into the tensor contraction and convolution operations inside the compressed layer. Experimental results demonstrate the effectiveness and superiority of the proposed NTRN for image classification using two basic neural networks, LeNet-5 and VGG-11 on three datasets, viz. MNIST, Fashion MNIST and Cifar-10.


title: New Results on Permutation Binomials of Finite Fields

abstract: After a brief review of existing results on permutation binomials of finite fields, we introduce the notion of equivalence among permutation binomials (PBs) and describe how to bring a PB to its canonical form under equivalence. We then focus on PBs of $\Bbb F_{q^2}$ of the form $X^n(X^{d(q-1)}+a)$, where $n$ and $d$ are positive integers and $a\in\Bbb F_{q^2}^*$. Our contributions include two nonexistence results: (1) If $q$ is even and sufficiently large and $a^{q+1}\ne 1$, then $X^n(X^{3(q-1)}+a)$ is not a PB of $\Bbb F_{q^2}$. (2) If $2\le d\mid q+1$, $q$ is sufficiently large and $a^{q+1}\ne 1$, then $X^n(X^{d(q-1)}+a)$ is not a PB of $\Bbb F_{q^2}$ under certain additional conditions. (1) partially confirms a recent conjecture by Tu et al. (2) is an extension of a previous result with $n=1$.


title: Efficient multi-qubit subspace rotations via topological quantum walks

abstract: The rotation of subspaces by a chosen angle is a fundamental quantum computing operation, with applications in error correction and quantum algorithms such as the Quantum Approximate Optimization Algorithm, the Variational Quantum Eigensolver and the quantum singular value transformation. Such rotations are usually implemented at the hardware level via multiple-controlled-phase gates, which lead to large circuit depth when decomposed into one- and two-qubit gates. Here, we propose a fast, high-fidelity way to implement such operations via topological quantum walks, where a sequence of single-qubit $z$ rotations of an ancilla qubit are interleaved with the evolution of a system Hamiltonian in which a matrix $A$ is embedded. The subspace spanned by the left or right singular vectors of $A$ with non-zero singular values is rotated, depending on the state of the ancilla. This procedure can be implemented in superconducting qubits, ion-traps and Rydberg atoms with star-type connectivity, significantly reducing the total gate time required compared to previous proposals.


title: Electrically switchable valley polarization, spin/valley filter, and valve effects in transition-metal dichalcogenide monolayers interfaced with two-dimensional ferromagnetic semiconductors

abstract: Electron valleys in transition-metal dichalcogenide monolayers drive novel physics and allow designing multifunctional architectures for applications. We propose to manipulate the electron valleys in these systems for spin/valley filter and valve devices through band engineering. Instead of the magnetic proximity effect that has been extensively used in previous studies, in our strategy, the electron valleys are directly coupled to the spin-polarized states of the two-dimensional ferromagnets. We find that this coupling results in a valley-selective gap opening due to the spin-momentum locking in the transition-metal dichalcogenide monolayers. This physics gives rise to a variety of unexpected electronic properties and phenomena including halfmetallicity, electrically switchable valley polarization, spin/valley filter and valve effects in the transition-metal dichalcogenide monolayers. We further demonstrate our idea in MoTe$_2$/CoCl$_2$ and CoCl$_2$/MoTe$_2$/CoCl$_2$ van der Waals heterojunctions based on first-principles calculations. Thus, our study provides a way of engineering the electron valleys in transition-metal dichalcogenide monolayers for new-concept devices.


title: Cosupport of artinian modules

abstract: Let $(R,\mathfrak{m})$ be a commutative local noetherian ring. For an artinian $R$-module $M$, we show the equality $$\mathrm{cosupp}_RM=\mathrm{Cosupp}_RM$$ using the semi-discrete linearly compactness of $R$-module $\mathrm{Hom}_R(R_\mathfrak{p},M)$ where $\mathfrak{p}$ is a prime ideal of $R$.


title: Multi-Step Budgeted Bayesian Optimization with Unknown Evaluation Costs

abstract: Bayesian optimization (BO) is a sample-efficient approach to optimizing costly-to-evaluate black-box functions. Most BO methods ignore how evaluation costs may vary over the optimization domain. However, these costs can be highly heterogeneous and are often unknown in advance. This occurs in many practical settings, such as hyperparameter tuning of machine learning algorithms or physics-based simulation optimization. Moreover, those few existing methods that acknowledge cost heterogeneity do not naturally accommodate a budget constraint on the total evaluation cost. This combination of unknown costs and a budget constraint introduces a new dimension to the exploration-exploitation trade-off, where learning about the cost incurs the cost itself. Existing methods do not reason about the various trade-offs of this problem in a principled way, leading often to poor performance. We formalize this claim by proving that the expected improvement and the expected improvement per unit of cost, arguably the two most widely used acquisition functions in practice, can be arbitrarily inferior with respect to the optimal non-myopic policy. To overcome the shortcomings of existing approaches, we propose the budgeted multi-step expected improvement, a non-myopic acquisition function that generalizes classical expected improvement to the setting of heterogeneous and unknown evaluation costs. Finally, we show that our acquisition function outperforms existing methods in a variety of synthetic and real problems.


title: Competitive epidemic networks with multiple survival-of-the-fittest outcomes

abstract: We use a deterministic model to study two competing viruses spreading over a two-layer network in the Susceptible--Infected--Susceptible (SIS) framework, and address a central problem of identifying the winning virus in a "survival-of-the-fittest" battle. Existing sufficient conditions ensure that the same virus always wins regardless of initial states. For networks with an arbitrary but finite number of nodes, there exists a necessary and sufficient condition that guarantees local exponential stability of the two equilibria corresponding to each virus winning the battle, meaning that either of the viruses can win, depending on the initial states. However, establishing existence and finding examples of networks with more than three nodes that satisfy such a condition has remained unaddressed. In this paper, we prove that, for any arbitrary number of nodes, such networks exist. We do this by proving that given almost any network layer of one virus, there exists a network layer for the other virus such that the resulting two-layer network satisfies the aforementioned condition. To operationalize our findings, a four-step procedure is developed to reliably and consistently design one of the network layers, when given the other layer. Conclusions from numerical case studies, including a real-world mobility network that captures the commuting patterns for people between $107$ provinces in Italy, extend on the theoretical result and its consequences.


title: Disentangling Physical Parameters for Anomalous Sound Detection Under Domain Shifts

abstract: To develop a sound-monitoring system for machines, a method for detecting anomalous sound under domain shifts is proposed. A domain shift occurs when a machine's physical parameters change. Because a domain shift changes the distribution of normal sound data, conventional unsupervised anomaly detection methods can output false positives. To solve this problem, the proposed method constrains some latent variables of a normalizing flows (NF) model to represent physical parameters, which enables disentanglement of the factors of domain shifts and learning of a latent space that is invariant with respect to these domain shifts. Anomaly scores calculated from this domain-shift-invariant latent space are unaffected by such shifts, which reduces false positives and improves the detection performance. Experiments were conducted with sound data from a slide rail under different operation velocities. The results show that the proposed method disentangled the velocity to obtain a latent space that was invariant with respect to domain shifts, which improved the AUC by 13.2% for Glow with a single block and 2.6% for Glow with multiple blocks.


title: A Nonlocal Spectral Transfer Model and New Scaling Law for Scalar Turbulence

abstract: In this study, we revisit the spectral transfer model for the turbulent intensity in the passive scalar transport (under large-scale anisotropic forcing), and a subsequent modification to the scaling of scalar variance cascade is presented. From the modified spectral transfer model, we obtain a revised scalar transport model using fractional-order Laplacian operator that facilitates the robust inclusion of the nonlocal effects originated from large-scale anisotropy transferred across the multitude of scales in the turbulent cascade. We provide an $\textit{a priori}$ estimate for the nonlocal model based on the scaling analysis of scalar spectrum, and later examine our developed model through direct numerical simulation. We present a detailed analysis on the evolution of the scalar variance, high-order statistics of scalar gradient, and important two-point statistical metrics of the turbulent transport to make a comprehensive comparison between the nonlocal model and its standard version. Finally, we present an analysis that seamlessly reconciles the similarities between the developed model with the fractional-order subgrid-scale scalar flux model for the large-eddy simulation (Akhavan-Safaei et al. 2021) when the filter scale approaches the dissipative scales of turbulent transport. In order to perform this task, we employ a Gaussian process regression model to predict the model coefficient for the fractional-order subgrid model.


title: On homological mirror symmetry for the complement of a smooth ample divisor in a K3 surface

abstract: We introduce a conjecture on homological mirror symmetry relating the symplectic topology of the complement of a smooth ample divisor in a K3 surface to algebraic geometry of type III degenerations, and prove it when the degree of the divisor is either 2 or 4.


title: Extendable periodic automorphisms of closed surfaces over the 3-sphere

abstract: A periodic automorphism of a surface $\Sigma$ is said to be extendable over $S^3$ if it extends to a periodic automorphism of the pair $(S^3,\Sigma)$ for some possible embedding $\Sigma\to S^3$. We classify and construct all extendable automorphisms of closed surfaces, with orientation-reversing cases included. Moreover, they can all be induced by automorphisms of $S^3$ on Heegaard surfaces. As a by-product, the embeddings of surfaces into lens spaces are discussed.


title: Homological mirror symmetry for hypersurfaces in $(\mathbb{C}^*)^n$

abstract: We prove a homological mirror symmetry result for maximally degenerating families of hypersurfaces in $(\mathbb{C}^*)^n$ (B-model) and their mirror toric Landau-Ginzburg A-models. The main technical ingredient of our construction is a "fiberwise wrapped" version of the Fukaya category of a toric Landau-Ginzburg model. With the definition in hand, we construct a fibered admissible Lagrangian submanifold whose fiberwise wrapped Floer cohomology is isomorphic to the ring of regular functions of the hypersurface. It follows that the derived category of coherent sheaves of the hypersurface quasi-embeds into the fiberwise wrapped Fukaya category of the mirror. We also discuss an extension to complete intersections.


title: A lightweight blockchain-based access control scheme for integrated edge computing in the internet of things

abstract: In view of the security issues of the Internet of Things (IoT), considered better combining edge computing and blockchain with the IoT, integrating attribute-based encryption (ABE) and attribute-based access control (ABAC) models with attributes as the entry point, an attribute-based encryption and access control scheme (ABE-ACS) has been proposed. Facing Edge-Iot, which is a heterogeneous network composed of most resource-limited IoT devices and some nodes with higher computing power. For the problems of high resource consumption and difficult deployment of existing blockchain platforms, we design a lightweight blockchain (LBC) with improvement of the proof-of-work consensus. For the access control policies, the threshold tree and LSSS are used for conversion and assignment, stored in the blockchain to protect the privacy of the policy. For device and data, six smart contracts are designed to realize the ABAC and penalty mechanism, with which ABE is outsourced to edge nodes for privacy and integrity. Thus, our scheme realizing Edge-Iot privacy protection, data and device controlled access. The security analysis shows that the proposed scheme is secure and the experimental results show that our LBC has higher throughput and lower resources consumption, the cost of encryption and decryption of our scheme is desirable.


title: Peta-electron volt gamma-ray emission from the Crab Nebula

abstract: The Crab pulsar and the surrounding nebula powered by the pulsar's rotational energy through the formation and termination of a relativistic electron-positron wind is a bright source of gamma-rays carrying crucial information about this complex conglomerate. We report the detection of $\gamma$-rays with a spectrum showing gradual steepening over three energy decades, from $5\times 10^{-4}$ to $1.1$ petaelectronvolt (PeV). The ultra-high-energy photons exhibit the presence of a PeV electron accelerator (a pevatron) with an acceleration rate exceeding 15% of the absolute theoretical limit. Assuming that unpulsed $\gamma$-rays are produced at the termination of the pulsar's wind, we constrain the pevatron's size, between $0.025$ and $0.1$ pc, and the magnetic field $\approx 110 \mu$G. The production rate of PeV electrons, $2.5 \times 10^{36}$ erg $\rm s^{-1}$, constitutes 0.5% of the pulsar's spin-down luminosity, although we do not exclude a non-negligible contribution of PeV protons to the production of the highest energy $\gamma$-rays.


title: Approximating Optimal Transport via Low-rank and Sparse Factorization

abstract: Optimal transport (OT) naturally arises in a wide range of machine learning applications but may often become the computational bottleneck. Recently, one line of works propose to solve OT approximately by searching the \emph{transport plan} in a low-rank subspace. However, the optimal transport plan is often not low-rank, which tends to yield large approximation errors. For example, when Monge's \emph{transport map} exists, the transport plan is full rank. This paper concerns the computation of the OT distance with adequate accuracy and efficiency. A novel approximation for OT is proposed, in which the transport plan can be decomposed into the sum of a low-rank matrix and a sparse one. We theoretically analyze the approximation error. An augmented Lagrangian method is then designed to efficiently calculate the transport plan.


title: Multichannel photoelectron phase lag across atomic barium autoionizing resonances

abstract: Phase lag associated with coherent control where an excited system decays into more than one product channel has been subjected to numerous investigations. Although previous theoretical studies have treated the phase lag across resonances in model calculations, quantitative agreement has never been achieved between the theoretical model and experimental measurements of phase lag from the $\omega-2\omega$ ionization of atomic barium \cite{PhysRevLett.98.053001,PhysRevA.76.053401}, suggesting that a toy model with phenomenological parameters is inadequate to describe the observed phase lag behavior. Here the phase lag is treated quantitatively from a multichannel coupling formulation, and our calculations based on multichannel quantum defect and $R$-matrix treatment achieves good agreement with the experimental observations. Our treatment also develops formulas to describe the effects of hyperfine depolarization on multiphoton ionization processes, and further, identifies resonances between $Ba^{+}$ $5d_{3/2}$ and $5d_{5/2}$ thresholds that have apparently never been experimentally observed and classified.


title: The effect of viscosity ratio and Peclet number on miscible viscous fingering in a Hele-Shaw cell: A combined numerical and experimental study

abstract: The results from a series of well characterised, unstable, miscible displacement experiments in a Hele Shaw cell with a quarter five-spot source-sink geometry are presented, with comparisons to detailed numerical simulation. We perform repeated experiments at adverse viscosity ratios from 1 - 20 and Peclet numbers from 10$^4$ - 10$^6$ capturing the transition from 2D to 3D radial fingering and experimental uncertainty. The open-access dataset provides time-lapse images of the fingering patterns, transient effluent profiles, and meta-information for use in model validation. We find the complexity of the fingering pattern increases with viscosity ratio and Peclet number, and the onset of fingering is delayed compared to linear displacements, likely due to Taylor dispersion stabilisation. The transition from 2D to 3D fingering occurs at a critical Peclet number that is consistent with recent experiments in the literature. 2D numerical simulations with hydrodynamic dispersion and different mesh orientations provide good predictions of breakthrough times and sweep efficiency obtained at intermediate Peclet numbers across the range of viscosity ratios tested, generally within the experimental uncertainty. Specific finger wavelengths, tip shapes, and growth are hard to replicate; model predictions using velocity dependent longitudinal dispersion or simple molecular diffusion bound the fingering evolution seen in the experiments, but neither fully capture both fine-scale and macroscopic measures. In both cases simulations predict sharper fingers than the experiment. A weaker dispersion stabilisation seems necessary to capture the experimental fingering at high viscosity ratio, which may also require anisotropic components. 3D models with varying dispersion formulations should be explored in future developments to capture the full range of effects at high viscosity ratio and Peclet number.


title: Bi-Discriminator Class-Conditional Tabular GAN

abstract: This paper introduces a bi-discriminator GAN for synthesizing tabular datasets containing continuous, binary, and discrete columns. Our proposed approach employs an adapted preprocessing scheme and a novel conditional term for the generator network to more effectively capture the input sample distributions. Additionally, we implement straightforward yet effective architectures for discriminator networks aiming at providing more discriminative gradient information to the generator. Our experimental results on four benchmarking public datasets corroborates the superior performance of our GAN both in terms of likelihood fitness metric and machine learning efficacy.


title: Partially regular weak solutions of the stationary Navier-Stokes equations in dimension 6

abstract: By using defect measures, we prove the existence of partially regular weak solutions to the stationary Navier-Stokes equations with external force $f \in L_{\text{loc}}^q \cap L^{3/2}, q>3$ in general open subdomains of $\mathbb{R}^6$. These weak solutions satisfy certain local energy estimates and we estimate the size of their singular sets in terms of Hausdorff measures. We also prove the defect measures vanish under a smallness condition, in contrast to the nonstationary Navier-Stokes equations in $\mathbb{R}^4 \times [0,\infty[$.


title: Transit Timing Variation of XO-3b: Evidence for Tidal Evolution of Hot Jupiter with High Eccentricity

abstract: Observed transit timing variation (TTV) potentially reveals the period decay caused by star-planet tidal interaction which can explain the orbital migration of hot Jupiters. We report the TTV of XO-3b, using TESS observed timings and archival timings. We generate a photometric pipeline to produce light curves from raw TESS images and find the difference between our pipeline and TESS PDC is negligible for timing analysis. TESS timing presents a shift of 17.6 minutes (80 $\sigma$), earlier than the prediction from the previous ephemeris. The best linear fit for all timings available gives a Bayesian Information Criterion (BIC) value of 439. A quadratic function is a better model with a BIC of 56. The period derivative obtained from a quadratic function is -6.2$\times$10$^{-9}$$\pm$2.9$\times$10$^{-10}$ per orbit, indicating an orbital decay timescale 1.4 Myr. We find that the orbital period decay can be well explained by tidal interaction. The `modified tidal quality factor' $Q_{p}'$ would be 1.8$\times$10$^{4}$$\pm$8$\times$10$^{2}$ if we assume the decay is due to the tide in the planet; whereas $Q_{*}'$ would be 1.5$\times$10$^{5}$$\pm$6$\times$10$^{3}$ if tidal dissipation is predominantly in the star. The precession model is another possible origin to explain the observed TTVs. We note that the follow-up observations of occultation timing and radial velocity monitoring are needed for fully discriminating the different models.


title: GCGE: A Package for Solving Large Scale Eigenvalue Problems by Parallel Block Damping Inverse Power Method

abstract: We propose an eigensolver and the corresponding package, GCGE, for solving large scale eigenvalue problems. This method is the combination of damping idea, subspace projection method and inverse power method with dynamic shifts. To reduce the dimensions of projection subspaces, a moving mechanism is developed when the number of desired eigenpairs is large. The numerical methods, implementing techniques and the structure of the package are presented. Plenty of numerical results are provided to demonstrate the efficiency, stability and scalability of the concerned eigensolver and the package GCGE for computing many eigenpairs of large symmetric matrices arising from applications.


title: The Distance Distribution between Mobile Node and Reference Node in Regular Hexagon

abstract: This paper presents a new method to obtain the distance distribution between the mobile node and any reference node in a regular hexagon. The existing distance distribution research mainly focuses on static network deployment and ignores node mobility. This paper studies the distribution of node distances between mobile node and any reference node. A random waypoint (RWP) migration model is adopted for mobile node. The Cumulative Distribution Function (CDF) of the distance between any reference node (inside or outside the regular hexagon) and the mobile node (inside the regular hexagon) is derived. The validity of the results is verified by simulation.


title: A fourth-order finite difference scheme with accurate dispersion and adaptive dissipation for computational aeroacoustics

abstract: For computational acoustics, schemes need to have low-dispersion and low-dissipation properties in order to capture the amplitude and phase of the wave correctly. To improve the spectral properties of the scheme, the authors have previously proposed a scale sensor to automatically adjust the numerical dissipation. In consequence, a fourth-order finite difference scheme with minimized dispersion and adaptive dissipation (MDAD) has been proposed [1]. In this study, we further investigate this method for the high-fidelity numerical simulation of the acoustic problems and a new dispersion control method is proposed which is different from the traditional dispersion relation preserving (DRP) approach. Firstly, the scale sensor, which quantifies the local length scale of the solution as the effective scaled wavenumber, is modified for better performance on composite waves. Then the scale sensor is applied to control both the dispersion and dissipation of the scheme. The relationships between the dispersion/dissipation parameter and the effective scaled wavenumber are analytically and artificially constructed respectively. Thus, a fourth-order finite difference scheme with accurate dispersion and adaptive dissipation (ADAD) is constructed. The approximate dispersion relation (ADR) shows that the ADAD scheme achieves accurate dispersion property at k < 2.5. The dissipation is negligible at low wave number and gradually increases after k = 1 to suppress non-physical oscillations. Several benchmark cases of computational acoustics are presented to verify the high resolution of the proposed scheme compared with the conventional spectral optimized schemes.


title: A Robust Deep Learning-Based Beamforming Design for RIS-assisted Multiuser MISO Communications with Practical Constraints

abstract: Reconfigurable intelligent surface (RIS) has become a promising technology to improve wireless communication in recent years. It steers the incident signals to create a favorable propagation environment by controlling the reconfigurable passive elements with less hardware cost and lower power consumption. In this paper, we consider a RIS-aided multiuser multiple-input single-output downlink communication system. We aim to maximize the weighted sum-rate of all users by joint optimizing the active beamforming at the access point and the passive beamforming vector of the RIS elements. Unlike most existing works, we consider the more practical situation with the discrete phase shifts and imperfect channel state information (CSI). Specifically, for the situation that the discrete phase shifts and perfect CSI are considered, we first develop a deep quantization neural network (DQNN) to simultaneously design the active and passive beamforming while most reported works design them alternatively. Then, we propose an improved structure (I-DQNN) based on DQNN to simplify the parameters decision process when the control bits of each RIS element are greater than 1 bit. Finally, we extend the two proposed DQNN-based algorithms to the case that the discrete phase shifts and imperfect CSI are considered simultaneously. Our simulation results show that the two DQNN-based algorithms have better performance than traditional algorithms in the perfect CSI case, and are also more robust in the imperfect CSI case.


title: On the Complexity of Separating Cutting Planes for the Knapsack Polytope

abstract: We close three open problems in the separation complexity of valid inequalities for the knapsack polytope. Specifically, we establish that the separation problems for extended cover inequalities, (1,k)-configuration inequalities, and weight inequalities are all NP-complete. We also give a number of special cases where the separation problem can be solved in polynomial time.


title: Mean Li--Yorke chaos and multifractal analysis on subshifts

abstract: In the present paper, we use the generalized multifractal framework introduced by Olsen to study the Bowen entropy and packing entropy of historic sets with typical weights over aperiodic and irreducible shifts of finite type. Following those results and a transfer from almost everywhere to everywhere, we show that for each point $\omega$ in a irreducible shift of finite type $\Sigma_A$, the Bowen entropy of the set consisting of all the points that are mean Li-Yorke pairs with $\omega$ is $0$, and its packing entropy is full. This result is beyond the ergodic theory. Also, by the transfer from almost everywhere to everywhere, we show that for each point $\omega$ in a irreducible shift of finite type $\Sigma_A$, the Bowen entropy of the set consisting of all the points that are Li-Yorke pairs with $\omega$ is full. This result is also beyond the ergodic theory.


title: Development of Superconducting On-chip Fourier Transform Spectrometers

abstract: Superconducting On-chip Fourier Transform Spectrometers (SOFTS) are broadband, compact and electronic interferometers. Being extremely compact, SOFTS can fit into standard antenna coupled detector architectures. SOFTS will enable kilo-pixel spectro-imaging focal planes enhancing sub-millimeter science; particularly cluster astrophysics / cosmology, CMB-science and line intensity mapping. This proceeding details the development, design and bench-marking of RF on-chip architecture of SOFTS for Ka and W bands.


title: The slice spectral sequence for the cyclic group of order p

abstract: We describe the slice tower and slice spectral sequence for arbitrary suspensions of the Eilenberg-MacLane spectrum of an arbitrary Mackey functor for the cyclic group of prime order.


title: Transversals and colorings of simplicial spheres

abstract: Motivated from the surrounding property of a point set in $\mathbb{R}^d$ introduced by Holmsen, Pach and Tverberg, we consider the transversal number and chromatic number of a simplicial sphere. As an attempt to give a lower bound for the maximum transversal ratio of simplicial $d$-spheres, we provide two infinite constructions. The first construction gives infintely many $(d+1)$-dimensional simplicial polytopes with the transversal ratio exactly $\frac{2}{d+2}$ for every $d\geq 2$. In the case of $d=2$, this meets the previously well-known upper bound $1/2$ tightly. The second gives infinitely many simplicial 3-spheres with the transversal ratio greater than $1/2$. This was unexpected from what was previously known about the surrounding property. Moreover, we show that, for $d\geq 3$, the facet hypergraph $\mathcal{F}(\mathsf{K})$ of a $d$-dimensional simplicial sphere $\mathsf{K}$ has the chromatic number $\chi(\mathcal{F}(\mathsf{K})) \in O(n^{\frac{\lceil d/2\rceil-1}{d}})$, where $n$ is the number of vertices of $\mathsf{K}$. This slightly improves the upper bound previously obtained by Heise, Panagiotou, Pikhurko, and Taraz.


title: Neutron stars in massive scalar-Gauss-Bonnet gravity: Spherical structure and time-independent perturbations

abstract: The class of scalar-tensor theories with the scalar field coupling to the Gauss-Bonnet invariant has drawn great interest since solutions of spontaneous scalarization were found for black holes in these theories. We contribute to the existing literature a detailed study of the spontaneously scalarized neutron stars (NSs) in a typical theory where the coupling function of the scalar field takes the quadratic form and the scalar field is massive. The investigation here includes the spherical solutions of the NSs as well as their perturbative properties, namely the tidal deformability and the moment of inertia, treated in a unified and extendable way under the framework of spherical decomposition. We find that while the mass, the radius, and the moment of inertia of the spontaneously scalarized NSs show very moderate deviations from those of the NSs in general relativity (GR), the tidal deformability exhibits significant differences between the solutions in GR and the solutions of spontaneous scalarization for certain values of the parameters in the scalar-Gauss-Bonnet theory. As a result, the celebrated universal relation between the moment of inertia and the tidal deformability of neutron stars breaks down. With the mass and the tidal deformability of NSs attainable in the gravitational waves from binary NS mergers, the radius measurable using the X-ray satellites, and the moment of inertia accessible via the high-precision pulsar timing techniques, future multi-messenger observations can be contrasted with the theoretical results and provide us necessary information for building up theories beyond GR.


title: Satellite Images and Deep Learning to Identify Discrepancy in Mailing Addresses with Applications to Census 2020 in Houston

abstract: The accuracy and completeness of population estimation would significantly impact the allocation of public resources. However, the current census paradigm experiences a non-negligible level of under-counting. Existing solutions to this problem by the Census Bureau is to increase canvassing efforts, which leads to expensive and inefficient usage of human resources. In this work, we argue that the existence of hidden multi-family households is a significant cause of under-counting. Accordingly, we introduce a low-cost but high-accuracy method that combines satellite imagery and deep learning technologies to identify hidden multi-family (HMF) households. With comprehensive knowledge of the HMF households, the efficiency and effectiveness of the decennial census could be vastly improved. An extensive experiment demonstrates that our approach can discover over 1800 undetected HMF in a single zipcode of the Houston area.


title: Serverless Platforms on the Edge: A Performance Analysis

abstract: The exponential growth of Internet of Things (IoT) has given rise to a new wave of edge computing due to the need to process data on the edge, closer to where it is being produced and attempting to move away from a cloud-centric architecture. This provides its own opportunity to decrease latency and address data privacy concerns along with the ability to reduce public cloud costs. The serverless computing model provides a potential solution with its event-driven architecture to reduce the need for ever-running servers and convert the backend services to an as-used model. This model is an attractive prospect in edge computing environments with varying workloads and limited resources. Furthermore, its setup on the edge of the network promises reduced latency to the edge devices communicating with it and eliminates the need to manage the underlying infrastructure. In this book chapter, first, we introduce the novel concept of serverless edge computing, then, we analyze the performance of multiple serverless platforms, namely, OpenFaaS, AWS Greengrass, Apache OpenWhisk, when set up on the single-board computers (SBCs) on the edge and compare it with public cloud serverless offerings, namely, AWS Lambda and Azure Functions, to deduce the suitability of serverless architectures on the network edge. These serverless platforms are set up on a cluster of Raspberry Pis and we evaluate their performance by simulating different types of edge workloads. The evaluation results show that OpenFaaS achieves the lowest response time on the SBC edge computing infrastructure while serverless cloud offerings are the most reliable with the highest success rate.


title: A Competitive Algorithm for Throughout Maximization on Identical Machines

abstract: This paper considers the basic problem of scheduling jobs online with preemption to maximize the number of jobs completed by their deadline on $m$ identical machines. The main result is an $O(1)$ competitive deterministic algorithm for any number of machines $m >1$.


title: The expectation-maximization algorithm for autoregressive models with normal inverse Gaussian innovations

abstract: The autoregressive (AR) models are used to represent the time-varying random process in which output depends linearly on previous terms and a stochastic term (the innovation). In the classical version, the AR models are based on normal distribution. However, this distribution does not allow describing data with outliers and asymmetric behavior. In this paper, we study the AR models with normal inverse Gaussian (NIG) innovations. The NIG distribution belongs to the class of semi heavy-tailed distributions with wide range of shapes and thus allows for describing real-life data with possible jumps. The expectation-maximization (EM) algorithm is used to estimate the parameters of the considered model. The efficacy of the estimation procedure is shown on the simulated data. A comparative study is presented, where the classical estimation algorithms are also incorporated, namely, Yule-Walker and conditional least squares methods along with EM method for model parameters estimation. The applications of the introduced model are demonstrated on the real-life financial data.


title: An analysis of voltage source inverter switches fault classification using short time Fourier transform

abstract: The dependability of power electronics systems, such as three-phase inverters, is critical in a variety of applications. Different types of failures that occur in an inverter circuit might affect system operation and raise the entire cost of the manufacturing process. As a result, detecting and identifying inverter problems for such devices is critical in industry. This study presents the short-time Fourier transform (STFT) for fault classification and identification in three-phase type, voltage source inverter (VSI) switches. Time-frequency representation (TFR) represents the signal analysis of STFT, which includes total harmonic distortion, instantaneous RMS current, RMS fundamental current, total non harmonic distortion, total waveform distortion and average current. The features of the faults are used with a rule-based classifier based on the signal parameters to categorise and detect the switch faults. The suggested method's performance is evaluated using 60 signals containing short and open circuit faults with varying characteristics for each switch in VSI. The classification results demonstrate the proposed technique is good to be implemented for VSI switches faults classification, with an accuracy classification rate of 98.3%.


title: Long time asymptotics for the nonlocal mKdV equation with finite density initial data

abstract: In this paper, we consider the Cauchy problem for an integrable real nonlocal (also called reverse-space-time) mKdV equation with nonzero boundary conditions \begin{align*} &q_t(x,t)-6\sigma q(x,t)q(-x,-t)q_{x}(x,t)+q_{xxx}(x,t)=0, &q(x,0)=q_{0}(x),\lim_{x\to \pm\infty} q_{0}(x)=q_{\pm}, \end{align*} where $|q_{\pm}|=1$ and $q_{+}=\delta q_{-}$, $\sigma\delta=-1$. Based on the spectral analysis of the Lax pair, we express the solution of the Cauchy problem of the nonlocal mKdV equation in terms of a Riemann-Hilbert problem. In a fixed space-time solitonic region $-6<x/t<6$, we apply $\bar{\partial}$-steepest descent method to analyze the long-time asymptotic behavior of the solution $q(x,t)$. We find that the long time asymptotic behavior of $q(x,t)$ can be characterized with an $N(\Lambda)$-soliton on discrete spectrum and leading order term $\mathcal{O}(t^{-1/2})$ on continuous spectrum up to an residual error order $\mathcal{O}(t^{-1})$.


title: Diffuse arrays that autocorrelate and project as delta-like points

abstract: Diffuse two-dimensional integer-valued arrays are demonstrated that have delta-like aperiodic autocorrelation and, simultaneously, the array sums form delta-like projections along several directions. The delta-projected views show a single sharp spike at the central ray. When such arrays are embedded in larger blocks of two-dimensional data, their location can be fixed precisely via the fast and simple intersection of the back-projected central rays along two or more directions. This mechanism complements localization of the same array from its delta-like autocorrelation, which, although more robust, is slower and more complex to compute.


title: Bounding Queue Length Violation Probability of Joint Channel and Buffer Aware Transmission

abstract: Queue length violation probability, i.e., the tail distribution of the queue length, is a widely used statistical quality-of-service (QoS) metric in wireless communications. Characterizing and optimizing the queue length violation probability have great significance in time sensitive networking (TSN) and ultra reliable and low-latency communications (URLLC). However, it still remains an open problem. In this paper, we put our focus on the analysis of the tail distribution of the queue length from the perspective of cross-layer design in wireless link transmission. We find that, under the finite average power consumption constraint, the queue length violation probability can achieve zero with diversity gains, while it can have a linear-decay-rate exponent according to large deviation theory (LDT) with limited receiver sensitivity. Besides, we find that the arbitrary-decay-rate queue length tail distribution with the finite average power consumption exists in the Rayleigh fading channel. Then, we generalize the sufficient conditions for the communication system belonging to these three scenarios, respectively. Moreover, we apply the above results to analyze the wireless link transmission in the Nakagami-m fading channel. Numerical results with approximation validate our analysis.


title: A Characterization of Quantum Gaussian States in Terms of Annihilation Moments

abstract: We give a rigorous definition of moments of an unbounded observable with respect to a quantum state in terms of Yosida's approximations of unbounded generators of contractions semigroups. We use this notion to characterize Gaussian states in terms of annihilation moments. As a by-product, rigorous formulae for the mean value vector and the covariance matrix of a Gaussian state are obtained.


title: Coherent inverse Compton scattering by bunches in fast radio bursts

abstract: The extremely high brightness temperature of fast radio bursts (FRBs) requires that their emission mechanism must be "coherent", either through concerted particle emission by bunches or through an exponential growth of a plasma wave mode or radiation amplitude via certain maser mechanisms. The bunching mechanism has been mostly discussed within the context of curvature radiation or cyclotron/synchrotron radiation. Here we propose a family of model invoking coherent inverse Compton scattering (ICS) of bunched particles that may operate within or just outside of the magnetosphere of a flaring magnetar. Crustal oscillations during the flaring event may excite low-frequency electromagnetic waves near the magnetar surface. The X-mode of these waves could penetrate through the magnetosphere. Bunched relativistic particles in the charge starved region inside the magnetosphere or in the current sheet outside of the magnetosphere would upscatter these low-frequency waves to produce GHz emission to power FRBs. The ICS mechanism has a much larger emission power for individual electrons than curvature radiation. This greatly reduces the required degree of coherence in bunches, alleviating several criticisms to the bunching mechanism raised in the context of curvature radiation. The emission is $\sim 100\%$ linearly polarized (with the possibility of developing circular polarization) with a constant or varying polarization angle across each burst. The mechanism can account for a narrow-band spectrum and a frequency downdrifting pattern, as commonly observed in repeating FRBs.


title: A new technique for compression of data sets

abstract: Data compression techniques are characterized by four key performance indices which are (i) associated accuracy, (ii) compression ratio, (iii) computational work, and (iv) degree of freedom. The method of data compression developed in this paper allows us to substantially improve all the four issues above. The proposed transform $F$ is presented in the form of a sum with $p-1$ terms, $F_1,..., F_{p-1}$, where each term is a particular sub-transform presented by a first degree polynomial. For $j=1,\ldots,p-1$, each sub-transform $F_{j}$ is determined from interpolation-like conditions. This device provides the transform flexibility to incorporate variation of observed data and leads to performance improvement. The transform $F$ has two degrees of freedom, the number of sub-transforms and associated compression ratio associated with each sub-transform $F_{j}$.


title: Bounds for Treatment Effects in the Presence of Anticipatory Behavior

abstract: In program evaluations, units can often anticipate the implementation of a new policy before it occurs. Such anticipatory behavior can lead to units' outcomes becoming dependent on their future treatment assignments. In this paper, I employ a potential-outcomes framework to analyze the treatment effect with anticipation. I start with a classical difference-in-differences model with two time periods and provide identified sets with easy-to-implement estimation and inference strategies for causal parameters. Empirical applications and generalizations are provided. I illustrate my results by analyzing the effect of an early retirement incentive program for teachers, which the target units were likely to anticipate, on student achievement. The empirical results show the result can be overestimated by up to 30\% in the worst case and demonstrate the potential pitfalls of failing to consider anticipation in policy evaluation.


title: On Effective Secrecy Throughput of Underlay Spectrum Sharing $\alpha$-$\mu$/ M\'alaga Hybrid Model under Interference-and-Transmit Power Constraints

abstract: The underlay cognitive radio-based hybrid radio frequency / free-space optical (RF / FSO) systems have been emerged as a promising technology due to its ability to eliminate spectrum scarcity and spectrum under-utilization problems. Consequently, this work analyzes the physical layer security aspects of a cognitive RF / FSO hybrid network that includes a primary user, a secondary source, a secondary receiver, and an eavesdropper where the secret communication takes place between two legitimate secondary peers over the RF and FSO links simultaneously, and the eavesdropper can overhear the RF link only. In particular, the maximum transmit power limitation at the secondary user as well as the permissible interference power restriction at the primary user are also taken into consideration. All the RF links are modeled with $\alpha$-$\mu$ fading whereas the FSO link undergoes M\'alaga (M) turbulence with link blockage and pointing error impairments. At the receiver, the selection combining diversity technique is utilized to select the signal with the best electrical signal-to-ratio (SNR). Moreover, the closed-form expressions for the secrecy outage probability, probability of strictly positive secrecy capacity, and effective secrecy throughput are derived to analyze the secrecy performance. Besides, the impacts of fading, primary-secondary interference, detection techniques, link blockage probability, atmospheric turbulence, and pointing error are examined. Finally, Monte-Carlo simulations are performed to corroborate the derived expressions.


title: Self-supervised GAN Detector

abstract: Although the recent advancement in generative models brings diverse advantages to society, it can also be abused with malicious purposes, such as fraud, defamation, and fake news. To prevent such cases, vigorous research is conducted to distinguish the generated images from the real images, but challenges still remain to distinguish the unseen generated images outside of the training settings. Such limitations occur due to data dependency arising from the model's overfitting issue to the training data generated by specific GANs. To overcome this issue, we adopt a self-supervised scheme to propose a novel framework. Our proposed method is composed of the artificial fingerprint generator reconstructing the high-quality artificial fingerprints of GAN images for detailed analysis, and the GAN detector distinguishing GAN images by learning the reconstructed artificial fingerprints. To improve the generalization of the artificial fingerprint generator, we build multiple autoencoders with different numbers of upconvolution layers. With numerous ablation studies, the robust generalization of our method is validated by outperforming the generalization of the previous state-of-the-art algorithms, even without utilizing the GAN images of the training dataset.


title: Classification of Hopf superalgebras associated with quantum special linear superalgebra at roots of unity using Weyl groupoid

abstract: We summarize the definition of the Weyl groupoid using supercategory approach in order to investigate quantum superalgebras at roots of unity. We show how the structure of a Hopf superalgebra on a quantum superalgebra is determined by the quantum Weyl groupoid. The Weyl groupoid of $\mathfrak{sl}(m|n)$ is constructed to this end as some supercategory. We prove that in this case quantum superalgebras associated with Dynkin diagrams are isomorphic as superalgebras. It is shown how these quantum superalgebras considered as Hopf superalgebras are connected via twists and isomorphisms. We explicitly construct these twists using the Lusztig isomorphisms considered as elements of the Weyl quantum groupoid. We build a PBW basis for each quantum superalgebra, and investigate how quantum superalgebras are connected with their classical limits, i. e. Lie superbialgebras. We find explicit multiplicative formulas for universal $R$-matrices, describe relations between them for each realization and classify Hopf superalgebras and triangular structures for the quantum superalgebra $U_q(\mathfrak{sl}(m|n))$.


title: Hall's universal group is a subgroup of the abstract commensurator of a free group

abstract: P. Hall constructed a universal countable locally finite group U, determined up to isomorphism by two properties: every finite group C is a subgroup of U, and every embedding of C into U is conjugate in U. Every countable locally finite group is a subgroup of U. We prove that U is a subgroup of the abstract commensurator of a finite-rank nonabelian free group.


title: Differential privacy and robust statistics in high dimensions

abstract: We introduce a universal framework for characterizing the statistical efficiency of a statistical estimation problem with differential privacy guarantees. Our framework, which we call High-dimensional Propose-Test-Release (HPTR), builds upon three crucial components: the exponential mechanism, robust statistics, and the Propose-Test-Release mechanism. Gluing all these together is the concept of resilience, which is central to robust statistical estimation. Resilience guides the design of the algorithm, the sensitivity analysis, and the success probability analysis of the test step in Propose-Test-Release. The key insight is that if we design an exponential mechanism that accesses the data only via one-dimensional robust statistics, then the resulting local sensitivity can be dramatically reduced. Using resilience, we can provide tight local sensitivity bounds. These tight bounds readily translate into near-optimal utility guarantees in several cases. We give a general recipe for applying HPTR to a given instance of a statistical estimation problem and demonstrate it on canonical problems of mean estimation, linear regression, covariance estimation, and principal component analysis. We introduce a general utility analysis technique that proves that HPTR nearly achieves the optimal sample complexity under several scenarios studied in the literature.

categories: math.ST cs.CR cs.IT cs.LG math.IT stat.ML stat.TH


title: Bounding $s$ for vertex-primitive $s$-arc-transitive digraphs of alternating and symmetric groups

abstract: Determining an upper bound on $s$ for finite vertex-primitive $s$-arc-transitive digraphs has received considerable attention dating back to a question of Praeger in 1990. It was shown by Giudici and Xia that the smallest upper bound on $s$ is attained for some digraph admitting an almost simple $s$-arc-transitive group. In this paper, based on the work of Pan, Wu and Yin, we prove that $s\leqslant 2$ in the case where the group is an alternating or symmetric group.


title: On-the-Fly Rectification for Robust Large-Vocabulary Topic Inference

abstract: Across many data domains, co-occurrence statistics about the joint appearance of objects are powerfully informative. By transforming unsupervised learning problems into decompositions of co-occurrence statistics, spectral algorithms provide transparent and efficient algorithms for posterior inference such as latent topic analysis and community detection. As object vocabularies grow, however, it becomes rapidly more expensive to store and run inference algorithms on co-occurrence statistics. Rectifying co-occurrence, the key process to uphold model assumptions, becomes increasingly more vital in the presence of rare terms, but current techniques cannot scale to large vocabularies. We propose novel methods that simultaneously compress and rectify co-occurrence statistics, scaling gracefully with the size of vocabulary and the dimension of latent space. We also present new algorithms learning latent variables from the compressed statistics, and verify that our methods perform comparably to previous approaches on both textual and non-textual data.


title: Learning Quantile Functions without Quantile Crossing for Distribution-free Time Series Forecasting

abstract: Quantile regression is an effective technique to quantify uncertainty, fit challenging underlying distributions, and often provide full probabilistic predictions through joint learnings over multiple quantile levels. A common drawback of these joint quantile regressions, however, is \textit{quantile crossing}, which violates the desirable monotone property of the conditional quantile function. In this work, we propose the Incremental (Spline) Quantile Functions I(S)QF, a flexible and efficient distribution-free quantile estimation framework that resolves quantile crossing with a simple neural network layer. Moreover, I(S)QF inter/extrapolate to predict arbitrary quantile levels that differ from the underlying training ones. Equipped with the analytical evaluation of the continuous ranked probability score of I(S)QF representations, we apply our methods to NN-based times series forecasting cases, where the savings of the expensive re-training costs for non-trained quantile levels is particularly significant. We also provide a generalization error analysis of our proposed approaches under the sequence-to-sequence setting. Lastly, extensive experiments demonstrate the improvement of consistency and accuracy errors over other baselines.


title: Sensitivity improvement of Rydberg atom-based microwave sensing via electromagnetically induced transparency

abstract: A highly excited Rydberg atom via electromagnetically induced transparency with two color cascading lasers has extreme sensitivity to electric fields of microwave ranging from 100 MHz to over 1 THz. It can be used as susceptible atom-based microwave communication antennas where the carrier wave usually works exactly resonant to the transition between a pair of adjacent Rydberg states with large electric dipole moment. A technique of superheterodyne with a strong on-resonant local microwave oscillator is employed to induce considerable Autler-Townes splitting where the antennas has a highest dynamic response to another weak target signal microwave carrier. To further improve the sensitivity of atomic antenna in communication, we detune the carrier microwave frequency off resonance forming an asymmetrically optical splitting and fix the coupling laser frequency at the shoulder of the stronger one, and optimize the local field strength simultaneously. It gives a sensitivity of 12.50(04) $\rm{nVcm^{-1}\cdot Hz^{-1/2}}$. Its enhancement mechanism of sensitivity is also proved by a theoretical simulation.


title: Mesoscale properties of mutualistic networks in ecosystems

abstract: Uncovering structural properties of ecological networks is a crucial starting point of studying the system's stability in response to various types of perturbations. We analyze pollination and seed disposal networks, which are representative examples of mutualistic networks in ecosystems, in various scales. In particular, we examine mesoscale properties such as the nested structure, the core-periphery structure, and the community structure by statistically investigating their interrelationships with real network data. As a result of community detection in different scales, we find the absence of meaningful hierarchy between networks, and the negative correlation between the modularity and the two other structures (nestedness and core-periphery-ness), which themselves are highly positively correlated. In addition, no characteristic scale of communities is perceivable from the community-inconsistency analysis. Therefore, the community structures, which are most widely studied mesoscale structures of networks, are not in fact adequate to characterize the mutualistic networks of this scale in ecosystems.


title: Elastic Silicon Interconnects: Abstracting Communication in Accelerator Design

abstract: Communication is an important part of accelerator design, though it is under researched and under developed. Today, designers often face relatively low-level communication tools requiring them to design straightforward but error-prone plumbing. In this paper, we argue that raising the level of abstraction could yield correctness, productivity, and performance benefits not only for RTL-level designers but also for high level language developers.


title: Enumeration of extensions of the cycle matroid of a complete graph

abstract: We prove that the number of single element extensions of $M(K_{n+1})$ is $2^{{n\choose n/2}(1+o(1))}$. This is done using a characterization of extensions as "linear subclasses".


title: AnchorGAE: General Data Clustering via $O(n)$ Bipartite Graph Convolution

abstract: Since the representative capacity of graph-based clustering methods is usually limited by the graph constructed on the original features, it is attractive to find whether graph neural networks (GNNs) can be applied to augment the capacity. The core problems mainly come from two aspects: (1) the graph is unavailable in the most clustering scenes so that how to construct high-quality graphs on the non-graph data is usually the most important part; (2) given n samples, the graph-based clustering methods usually consume at least $\mathcal O(n^2)$ time to build graphs and the graph convolution requires nearly $\mathcal O(n^2)$ for a dense graph and $\mathcal O(|\mathcal{E}|)$ for a sparse one with $|\mathcal{E}|$ edges. Accordingly, both graph-based clustering and GNNs suffer from the severe inefficiency problem. To tackle these problems, we propose a novel clustering method, AnchorGAE, with the self-supervised estimation of graph and efficient graph convolution. We first show how to convert a non-graph dataset into a graph dataset, by introducing the generative graph model and anchors. We then show that the constructed bipartite graph can reduce the computational complexity of graph convolution from $\mathcal O(n^2)$ and $\mathcal O(|\mathcal{E}|)$ to $\mathcal O(n)$. The succeeding steps for clustering can be easily designed as $\mathcal O(n)$ operations. Interestingly, the anchors naturally lead to siamese architecture with the help of the Markov process. Furthermore, the estimated bipartite graph is updated dynamically according to the features extracted by GNN, to promote the quality of the graph. However, we theoretically prove that the self-supervised paradigm frequently results in a collapse that often occurs after 2-3 update iterations in experiments, especially when the model is well-trained. A specific strategy is accordingly designed to prevent the collapse.


title: Dimer Crystallization Induced by Elemental Substitution in the Honeycomb Lattice of Ru1-xOsxCl3

abstract: Substitution effects of Os for Ru in {\alpha}-RuCl3 are investigated in a wide composition range of 0 =< x =< 0.67 in Ru1-xOsxCl3 by X-ray and electron diffraction, magnetic susceptibility, heat capacity, and Raman spectroscopy measurements. Apart from the Kitaev physics with antiferromagnetic interactions increasing with x, a rich phase diagram is obtained, which includes an antiferromagnetic long-range order below 12 K for x =< 0.15, a dome-shaped spin-singlet dimer phase below 130 K for 0.15 =< x =< 0.40, and a magnetic short-range order for x > 0.40. A dimerization as similarly observed in {\alpha}-RuCl3 under high pressure occurs in the spin-singlet phase. It is suggested that Ru-Os pairs in the solid solutions tend to form dimers with short bonds and trigger the first-order transition in the presence of pseudo-threefold rotational symmetry for dimerization around a substituted Os atom only at low substitutions. This is a rare example of molecular orbital crystallization induced by elemental substitution in a highly disordered system. The short-range order at high substitutions may be related to a random-singlet state stabilized by bond disorder in the honeycomb net.


title: Hydrogen Atom in Strong Elliptically Polarized Laser Fields within Discrete-Variable Representation

abstract: The nondirect product discrete variable representation (npDVR) is developed for the time-dependent Schr\"odinger equation with nonseparable angular variables and is applied to a hydrogen atom in elliptically polarized strong laser fields. The 2D npDVR is constructed on spherical harmonics orthogonalized on the 2D angular grids of the Popov and Lebedev 2D cubatures for the unit sphere. With this approach we have investigated the dynamics of a hydrogen atom initially in its ground state in elliptically polarized laser fields with the intensity up to $I=10^{14}$ W/{cm}$^2$ and wavelength of $\lambda=800$ nm. For these parameters of the laser field and the entire range of ellipticity variation, we have calculated the total excitation and ionization yields of the atom. The performed analysis of the method convergence shows that the achieved accuracy of our calculations significantly exceeds the accuracy of recent works of other authors relevant to the problem, due to the high efficiency of the 2D npDVR in approximating the angular part of the 3D time-dependent Schr\"odinger equation. We also propose a new simple procedure for infinite summation of the transition probabilities to the bound states of the hydrogen atom in calculating the total excitation yield and prove its accuracy by comparison with conventional methods. The obtained results show the potential prospects of the 2D npDVR for investigating atomic dynamics in stronger laser fields.


title: Experimental Observation of Mesoscopic Fluctuations to Identify Origin of Thermodynamic Anomalies of Ambient Liquid Water

abstract: We report a new experimental approach for observing mesoscopic fluctuations underlying the thermodynamic anomalies of ambient liquid water. In this approach, two sound velocity measurements with different frequencies, namely inelastic X-ray scattering (IXS) in THz band and ultrasonic (US) in MHz band, are required to investigate the relaxation phenomenon with the characteristic frequency between the two aforementioned frequencies. We performed IXS measurements to obtain the IXS sound velocity of liquid water from the ambient conditions to the supercritical region of liquid-gas phase transition (LGT) and compared the results with the US sound velocity in the literature. We found that the ratio of the two sound velocities, Sf, which corresponds to the relaxation intensity, exhibits a simple but significant change. Two distinct rises were observed in the high-temperature and low-temperature regions, implying that two relaxation phenomena exist: in the high-temperature region, a peak was observed near the LGT critical ridge line, which was linked with changes in the density fluctuation and isochoric and isobaric specific heat capacities; in the low-temperature region, Sf increased toward the low-temperature region, which was linked with the change in the isochoric heat capacity. We concluded that these two relaxation phenomena are originated from critical fluctuations of liquid-gas phase transition (LGT) and liquid-liquid phase transition, respectively. The linkage between Sf and isochoric heat capacity in the low-temperature region proves that the relaxation is the cause of the well-known heat capacity anomaly of ambient liquid water. In this study, both LGT and LLT critical fluctuations were observed, and the relationship between thermodynamics and the critical fluctuations was comprehensively discussed.


title: Data-Driven Pole Placement in LMI Regions with Robustness Constraints

abstract: This paper proposes a robust learning methodology to place the closed-loop poles in desired convex regions in the complex plane. We considered the system state and input matrices to be unknown and can only use the measurements of the system trajectories. The closed-loop pole placement problem in the linear matrix inequality (LMI) regions is considered a classic robust control problem; however, that requires knowledge about the state and input matrices of the linear system. We bring in ideas from the behavioral system theory and persistency of excitation condition-based fundamental lemma to develop a data-driven counterpart that satisfies multiple closed-loop robustness specifications, such as $\mathcal{D}$-stability and mixed $H_2/H_{\infty}$ performance specifications. Our formulations lead to data-driven semi-definite programs (SDPs) that are coupled with sufficient theoretical guarantees. We validate the theoretical results with numerical simulations on a third-order dynamic system.


title: Quark-mass and $1/N_c$ corrections to the vector-meson pseudoscalar-meson photon ($VP\gamma$) interaction

abstract: We analyze quark-mass and $1/N_c$ corrections to all of the radiative transitions between the vector-meson nonet and the pseudoscalar-meson nonet within a chiral effective Lagrangian approach. We perform fits of the available coupling constants to experimental data and discuss the corresponding approximations. In terms of five (six) coupling constants, we obtain a reasonably good description of the 12 experimental decay rates.


title: Implicit vs Unfolded Graph Neural Networks

abstract: It has been observed that graph neural networks (GNN) sometimes struggle to maintain a healthy balance between the efficient modeling long-range dependencies across nodes while avoiding unintended consequences such oversmoothed node representations or sensitivity to spurious edges. To address this issue (among other things), two separate strategies have recently been proposed, namely implicit and unfolded GNNs. The former treats node representations as the fixed points of a deep equilibrium model that can efficiently facilitate arbitrary implicit propagation across the graph with a fixed memory footprint. In contrast, the latter involves treating graph propagation as unfolded descent iterations as applied to some graph-regularized energy function. While motivated differently, in this paper we carefully quantify explicit situations where the solutions they produce are equivalent and others where their properties sharply diverge. This includes the analysis of convergence, representational capacity, and interpretability. In support of this analysis, we also provide empirical head-to-head comparisons across multiple synthetic and public real-world node classification benchmarks. These results indicate that while IGNN is substantially more memory-efficient, UGNN models support unique, integrated graph attention mechanisms and propagation rules that can achieve SOTA node classification accuracy across disparate regimes such as adversarially-perturbed graphs, graphs with heterophily, and graphs involving long-range dependencies.


title: Using Deep Learning Sequence Models to Identify SARS-CoV-2 Divergence

abstract: SARS-CoV-2 is an upper respiratory system RNA virus that has caused over 3 million deaths and infecting over 150 million worldwide as of May 2021. With thousands of strains sequenced to date, SARS-CoV-2 mutations pose significant challenges to scientists on keeping pace with vaccine development and public health measures. Therefore, an efficient method of identifying the divergence of lab samples from patients would greatly aid the documentation of SARS-CoV-2 genomics. In this study, we propose a neural network model that leverages recurrent and convolutional units to directly take in amino acid sequences of spike proteins and classify corresponding clades. We also compared our model's performance with Bidirectional Encoder Representations from Transformers (BERT) pre-trained on protein database. Our approach has the potential of providing a more computationally efficient alternative to current homology based intra-species differentiation.