title: Controlling Synthetic Spin-Orbit Coupling in a Silicon Quantum Dot with Magnetic Field

abstract: Tunable synthetic spin-orbit coupling (s-SOC) is one of the key challenges in various quantum systems, such as ultracold atomic gases, topological superconductors, and semiconductor quantum dots. Here we experimentally demonstrate controlling the s-SOC by investigating the anisotropy of spin-valley resonance in a silicon quantum dot. As we rotate the applied magnetic field in-plane, we find a striking nonsinusoidal behavior of resonance amplitude that distinguishes s-SOC from the intrinsic spin-orbit coupling (i-SOC), and associate this behavior with the previously overlooked in-plane transverse magnetic field gradient. Moreover, by theoretically analyzing the experimentally measured s-SOC field, we predict the quality factor of the spin qubit could be optimized if the orientation of the in-plane magnetic field is rotated away from the traditional working point.


title: Isotropic parallel antiferromagnetism in the magnetic-field-induced charge-ordered state of SmRu$_4$P$_{12}$ caused by $p$-$f$ hybridization

abstract: Nature of the field-induced charge ordered phase (phase II) of SmRu$_4$P$_{12}$ has been investigated by resonant x-ray diffraction (RXD) and polarized neutron diffraction (PND), focusing on the relationship between the atomic displacements and the antiferromagnetic (AFM) moments of Sm. From the analysis of the interference between the non-resonant Thomson scattering and the resonant magnetic scattering, combined with the spectral function obtained from x-ray magnetic circular dichroism, it is shown that the AFM moment of Sm prefers to be parallel to the field ($m_{\text{AF}} \parallel H$), giving rise to large and small moment sites around which the P$_{12}$ and Ru cage contract and expand, respectively. This is associated with the formation of the staggered ordering of the $\Gamma_7$-like and $\Gamma_8$-like crystal-field states, providing a strong piece of evidence for the charge order. PND was also performed to obtain complementary and unambiguous conclusion. In addition, isotropic and continuous nature of the phase II is demonstrated by the field-direction invariance of the interference spectrum in RXD. Crucial role of the $p$-$f$ hybridization is shown by resonant soft x-ray diffraction at the P $K$-edge ($1s\leftrightarrow 3p$), where we detected a resonance due to the spin polarized $3p$ orbitals reflecting the AFM order of Sm.


title: Maximal discrete sets

abstract: We survey results regarding the definability and size of maximal discrete sets in analytic hypergraphs. Our main examples include maximal almost disjoint (or mad) families, $\mathcal I$-mad families, maximal eventually different families, and maximal cofinitary groups. We discuss the non-increasing sequence of cardinal characteristics $\mathfrak a_\xi$, for $\xi<\omega_1$ as well as the notions of spectra of characteristics and optimal projective witnesses. We give an account of Zhang's forcing to add generic cofinitary permutations, and of a version of this forcing with built-in coding.


title: AILearn: An Adaptive Incremental Learning Model for Spoof Fingerprint Detection

abstract: Incremental learning enables the learner to accommodate new knowledge without retraining the existing model. It is a challenging task which requires learning from new data as well as preserving the knowledge extracted from the previously accessed data. This challenge is known as the stability-plasticity dilemma. We propose AILearn, a generic model for incremental learning which overcomes the stability-plasticity dilemma by carefully integrating the ensemble of base classifiers trained on new data with the current ensemble without retraining the model from scratch using entire data. We demonstrate the efficacy of the proposed AILearn model on spoof fingerprint detection application. One of the significant challenges associated with spoof fingerprint detection is the performance drop on spoofs generated using new fabrication materials. AILearn is an adaptive incremental learning model which adapts to the features of the ``live'' and ``spoof'' fingerprint images and efficiently recognizes the new spoof fingerprints as well as the known spoof fingerprints when the new data is available. To the best of our knowledge, AILearn is the first attempt in incremental learning algorithms that adapts to the properties of data for generating a diverse ensemble of base classifiers. From the experiments conducted on standard high-dimensional datasets LivDet 2011, LivDet 2013 and LivDet 2015, we show that the performance gain on new fake materials is significantly high. On an average, we achieve $49.57\%$ improvement in accuracy between the consecutive learning phases.


title: Eigenvector decomposition to determine the existence, shape, and location of numerical oscillations in Parabolic PDEs

abstract: In this paper, we employed linear algebra and functional analysis to determine necessary and sufficient conditions for oscillation-free and stable solutions to linear and nonlinear parabolic partial differential equations. We applied singular value decomposition and Fourier analysis to various finite difference schemes to extract patterns in the eigenfunctions (sampled by the eigenvectors) and the shape of their eigenspectrum. With these, we determined how the initial and boundary conditions affect the frequency and long term behavior of numerical oscillations, as well as the location of solution regions most sensitive to them.


title: Metric monads

abstract: We develop universal algebra over an enriched category $\mathcal K$ and relate it to finitary enriched monads over $\mathcal K$. Using it, we deduce recent results about ordered universal algebra where inequations are used instead of equations. Then we apply it to metric universal algebra where quantitative equations are used instead of equations. This contributes to understanding of finitary monads on the category of metric spaces.


title: Multiple Structural Priors Guided Self Attention Network for Language Understanding

abstract: Self attention networks (SANs) have been widely utilized in recent NLP studies. Unlike CNNs or RNNs, standard SANs are usually position-independent, and thus are incapable of capturing the structural priors between sequences of words. Existing studies commonly apply one single mask strategy on SANs for incorporating structural priors while failing at modeling more abundant structural information of texts. In this paper, we aim at introducing multiple types of structural priors into SAN models, proposing the Multiple Structural Priors Guided Self Attention Network (MS-SAN) that transforms different structural priors into different attention heads by using a novel multi-mask based multi-head attention mechanism. In particular, we integrate two categories of structural priors, including the sequential order and the relative position of words. For the purpose of capturing the latent hierarchical structure of the texts, we extract these information not only from the word contexts but also from the dependency syntax trees. Experimental results on two tasks show that MS-SAN achieves significant improvements against other strong baselines.


title: Unitarity of minimal $W$-algebras

abstract: We obtain a complete classification of minimal simple unitary $W$-algebras.


title: Excitonic insulator emerging from semiconducting normal state in $1T$-TiSe$_{2}$

abstract: A new state of matter, an excitonic insulator (EI) state, was predicted to emerge from Bose-Einstein condensation of electron-hole pairs. Some candidate materials were suggested but it has been elusive to confirm its existence. Recent works gave renewed support for the EI picture of the charge density wave (CDW) state below the critical temperature $T_c \approx 200 $ K of $1T$-TiSe$_{2}$. Yet, an important link to its establishment is to show that a majority fraction of the measured $T_c$ indeed follows from the Coulomb interaction alone, while a quantitative match of the $T_c$ may require assistance from the electron-lattice coupling. This will establish that the CDW is formed predominantly by the Coulomb interaction and help confirm the EI view for TiSe$_2$. Here, we provide such calculations by solving the exciton gap equation with material specific electronic structures. We obtain, with no fitting parameters, $T_c \approx 135 \pm 27$ K for the normal state gap of $E_g \approx 74 \pm 15$ meV. It seems that the calculated $T_c$ from Coulomb interaction gives a majority fraction of experimental $T_c$ for recently determined values of $E_g$. The measured doping dependence of $T_c$ was satisfactorily reproduced as well. Also in agreement with experiments are the same set of calculations of the photoemission spectroscopy and density of states. The semiconducting state above and EI below $T_c$ together should give a coherent picture of $1T$-TiSe$_2$.


title: Interpretable NLG for Task-oriented Dialogue Systems with Heterogeneous Rendering Machines

abstract: End-to-end neural networks have achieved promising performances in natural language generation (NLG). However, they are treated as black boxes and lack interpretability. To address this problem, we propose a novel framework, heterogeneous rendering machines (HRM), that interprets how neural generators render an input dialogue act (DA) into an utterance. HRM consists of a renderer set and a mode switcher. The renderer set contains multiple decoders that vary in both structure and functionality. For every generation step, the mode switcher selects an appropriate decoder from the renderer set to generate an item (a word or a phrase). To verify the effectiveness of our method, we have conducted extensive experiments on 5 benchmark datasets. In terms of automatic metrics (e.g., BLEU), our model is competitive with the current state-of-the-art method. The qualitative analysis shows that our model can interpret the rendering process of neural generators well. Human evaluation also confirms the interpretability of our proposed approach.


title: Impact of Band Structure on Wave Function Dissipation in Field Emission Resonance

abstract: We demonstrated on Ag(111) and Ag(100) surfaces that the reciprocal of the field emission resonance (FER) linewidth, which is proportional to the mean lifetime of resonant electrons in FER, may vary with the electric field. The variation on Ag(111) was nearly smooth, whereas that on Ag(100) was sporadic and fluctuated remarkably. This drastic difference can be explained through their dissimilar projected bulk band structures and the ensemble interpretation of quantum mechanics, according to which all resonant electrons are governed by a single wave function. Ag(100) has an energy gap above its vacuum level, whereas Ag(111) does not. Consequently, the dissipation rate of the wave function, which is relevant to the FER linewidth, on Ag(111) was almost stable, whereas that on Ag(100) fluctuated. The fluctuation revealed that the quantum trapping effect and surface dipole layer on Ag(100) surface can be investigated through FER.


title: Generalized Thomas-Yau Uniqueness Theorems

abstract: We generalize Thomas-Yau's uniqueness theorem in two ways. We prove a stronger statement for special Lagrangians and include minimal Lagrangians in K\"ahler-Einstein manifold or more generally J-minimal Lagrangians introduced by Lotay and Pacini. In every case the heart of the proof is to make certain Hamiltonian perturbations. For this we use the method by Imagi, Joyce and Oliveira dos Santos.


title: Geometric and electronic properties on stage-1 FeCl3-graphite intercalation compounds

abstract: The calculated results of FeCl3 graphite intercalation compounds show the detailed features. The stage-1 FeCl3-graphite intercalation compounds present diversified electronic properties due to the intercalant. The first-principles calculations on VASP are utilized to analyze the essential properties, such as the geometric structures, spatial charge distributions, charge variations, band structures and density of states. The density of states displays full information for an explanation of the hybridizations with the special structures van Hove singularities on it. The van Hove singularities in graphite-related systems are very important and can provide full information for examining the intercalation effects. The orbital-decomposed density of states for C atoms shows that the {\pi} bondings are orthogonal to the sp2 bondings and the C-C bondings retain in the intralayer C atoms. The Fe atoms and Cl atoms form the Fe-Cl bondings at some unique energy range, presenting the multi-orbital hybridizations of [4s, 3dxy, 3dyz, 3dxz, 3dx2-y2, 3dz2]-[3px, 3py, 3pz]. For C-Cl and Cl-Cl bonds, the unique van Hove singularities exhibit their coupling interactions, revealing the multi-orbital hybridizations of [3px, 3py, 3pz]-[ 3px, 3py, 3pz] and [3s, 3px, 3py, 3pz]-[3s, 3px, 3py, 3pz], respectively. The Fe-Cl bondings arise from multi-orbital hybridizations of [4s, 3dxy, 3dyz, 3dxz, 3dx2-y2, 3dz2]-[ 3px, 3py, 3pz]. Due to the band structures and density of states, the multi-orbital interactions between intercalants and graphene layers dominate in the low-lying energy range. The charge transfers per atom (electrons/atom) for C, Fe, Cl are -0.02 e/atom, -0.28 e/atom and +0.46 e/atom, respectively. Thus, the C atoms in graphene layers present as positive ones after intercalation, i.e., the graphite system exhibit p-type doping features in agreement with previous study.


title: Peacock Exploration: A Lightweight Exploration for UAV using Control-Efficient Trajectory

abstract: Unmanned Aerial Vehicles have received much attention in recent years due to its wide range of applications, such as exploration of an unknown environment to acquire a 3D map without prior knowledge of it. Existing exploration methods have been largely challenged by computationally heavy probabilistic path planning. Similarly, kinodynamic constraints or proper sensors considering the payload for UAVs were not considered. In this paper, to solve those issues and to consider the limited payload and computational resource of UAVs, we propose "Peacock Exploration": A lightweight exploration method for UAVs using precomputed minimum snap trajectories which look like a peacock's tail. Using the widely known, control efficient minimum snap trajectories and OctoMap, the UAV equipped with a RGB-D camera can explore unknown 3D environments without any prior knowledge or human-guidance with only O(logN) computational complexity. It also adopts the receding horizon approach and simple, heuristic scoring criteria. The proposed algorithm's performance is demonstrated by exploring a challenging 3D maze environment and compared with a state-of-the-art algorithm.


title: Selling Renewable Utilization Service to Consumers via Cloud Energy Storage

abstract: This paper proposes a cloud energy storage (CES) model for enabling local renewable integration of building consumers (BCs). Different from most existing third-party based ES sharing models that the energy storage operator (ESO) gains profit by leasing energy or power capacity, our CES model allows the ESO to sell renewable utilization service (RUS) to its consumers, i.e., the total amount of local renewable generation shifted to supply their demand. Notably, we propose a quadratic price model for the ESO charging its consumers by their requested RUS and formulate their interactions as a Stackelberg game, which admits an equilibrium. We prove the CES model outperforms individual ES (IES) model in social welfare. Besides, we study the performance of the CES model compared with the IES model and an existing ES sharing model (referring to VES model) via case studies. We demonstrate the CES model can provide 2-4 times profit to the ESO than the VES model. Meanwhile, higher cost reduction for the BCs are secured by the CES model. Moreover, we show the CES model can achieve near social optima and high ES efficiency (i.e., utilization) which are not provided by the other ES models.


title: Giant anisotropic magnetoresistance with dual-four-fold symmetry in CaMnO3/CaIrO3 heterostructures

abstract: The realization of four-fold anisotropic magnetoresistance (AMR) in novel 3d-5d heterostructures has boosted major efforts in antiferromagnetic spintronics. However, despite the potential of incorporating strong spin-orbit coupling, only small AMR signals have been detected thus far, prompting a search for new mechanisms to enhance the signal. In this study on CaMnO3/CaIrO3 heterostructures, we report a unique dual-four-fold symmetric 70% AMR; a signal two orders of magnitude larger than previously observed in similar systems. We find that one order is enhanced by tuning a large biaxial anisotropy through octahedral tilts of similar sense in the constituent layers, while the second order is triggered by a spin-flop transition in a nearly Mott-type phase. Dynamics between these two phenomena as evidenced by the step-like AMR and a superimposed biaxial-anisotropy-induced AMR capture a subtle interplay of pseudospin coupling with the lattice and external magnetic field. Our study shows that a combination of charge-transfer, interlayer coupling, and a spin-flop transition can yield a giant AMR relevant for sensing and antiferromagnetic memory applications.


title: Exact Moment Representation in Polynomial Optimization

abstract: We investigate the problem of representing moment sequences by measures in the context ofPolynomial Optimization Problems. This consists in finding the infimum of a real polynomial ona real semialgebraic set defined by polynomial inequalities. We analyze the exactness of MomentMatrix (MoM) relaxations, dual to the Sum of Squares (SoS) relaxations, which are hierarchiesof convex cones introduced by Lasserre to approximate measures and positive polynomials. Weinvestigate in particular flat truncation properties, which allow testing effectively when MoMexactness holds.We consider the quadratic module Q generated by the inequalities. We show that the dualof the MoM relaxation coincides with the SoS relaxation extended with the real radical ofthe support of Q, and focus on the zero-dimensional case, generalizing results for equationsdefining a finite real variety. We deduce sufficient and necessary conditions for flat truncation,under the finite convergence assumption: flat truncation happens if and only if the support ofthe quadratic module associated with the minimizers is of dimension zero. We also bound theorder of the relaxation at which flat truncation holds.As corollaries, we conclude that flat truncation holds:$\bullet$ when regularity conditions, known as Boundary Hessian Conditions, hold: this resultimplies that flat truncation and MoM exactness holds generically;$\bullet$ when the support of the quadratic module Q is zero-dimensional;$\bullet$ in singular cases, flat truncation holds for the MoM relaxation extended with the polarconstraints when the real variety of polar points is finite.Effective numerical computations illustrate these flat truncation properties.


title: Can You be More Social? Injecting Politeness and Positivity into Task-Oriented Conversational Agents

abstract: Goal-oriented conversational agents are becoming prevalent in our daily lives. For these systems to engage users and achieve their goals, they need to exhibit appropriate social behavior as well as provide informative replies that guide users through tasks. The first component of the research in this paper applies statistical modeling techniques to understand conversations between users and human agents for customer service. Analyses show that social language used by human agents is associated with greater users' responsiveness and task completion. The second component of the research is the construction of a conversational agent model capable of injecting social language into an agent's responses while still preserving content. The model uses a sequence-to-sequence deep learning architecture, extended with a social language understanding element. Evaluation in terms of content preservation and social language level using both human judgment and automatic linguistic measures shows that the model can generate responses that enable agents to address users' issues in a more socially appropriate way.


title: The Adaptive Dynamic Programming Toolbox

abstract: The paper develops the Adaptive Dynamic Programming Toolbox (ADPT), which solves optimal control problems for continuous-time nonlinear systems. Based on the adaptive dynamic programming technique, the ADPT computes optimal feedback controls from the system dynamics in the model-based working mode, or from measurements of trajectories of the system in the model-free working mode without the requirement of knowledge of the system model. Multiple options are provided such that the ADPT can accommodate various customized circumstances. Compared to other popular software toolboxes for optimal control, the ADPT enjoys its computational precision and speed, which is illustrated with its applications to a satellite attitude control problem.


title: Coherent single-spin electron resonance spectroscopy manifested at an exceptional-point singularity in a doped polyacetylene

abstract: Spin-dependent charge transfer decay in an alkali atom doped polyacetylene is studied in terms of the complex spectral analysis, revealing the single-spin Zeeman splitting influenced by the spin-orbit interaction. Nonhermitian effective Hamiltonian has been derived from the total system hermitian Hamiltonian using Brillouin-Wigner-Feshbach projection method, where the microscopic spin-dependent dissipation effect is correctly incorporated in the energy-dependent self-energy. Since the present method maintains the dynamical and chiral symmetries of the total system, we discovered two types of exceptional point (EP) singularities in a unified perspective: the EP surface and EP ring are attributed to the dynamical and chiral symmetry breaking, respectively. We have revealed that the coherent single-spin electron resonance (SSESR) spectrum reflects the complex eigenenergy spectrum of the system. We have formulated the SSESR spectrum in terms of the nonlinear response function in the Liouville-space pathway approach, where we have constructed the Liouville space basis using the complex eigenstates of the total Hamiltonian. We have calculated the one- and two-dimensional Fourier transform SSESR (1DFT and 2DFT) spectra reflecting the spin-relaxation dynamics at the donor site. While the 1DFT SSESR spectrum reflects the complex eigenenergy spectrum, the 2DFT gives detailed information on the quantum coherence in the spin-relaxation dynamics as a cross-correlation between the two frequencies. We found a giant response of the coherent SSESR around the EP ring singularity due to the vanishing normalization factors at the EP ring and the resonance effect. We have discovered that the giant response is much larger in magnitudes in the 2DFT spectrum than in the 1DFT spectrum, which promises the 2DFT SSESR a useful tool to observe the single-spin response in a molecule.


title: New fit of time-like proton electromagnetic form factors from $e^+e^-$ colliders

abstract: The data on the proton form factors in the time-like region from the BaBar, BESIII and CMD-3 Collaborations are examined to have coherent pieces of information on the proton structure. Oscillations in the annihilation cross section, previously observed, are determined with better precision. The moduli of the individual form factors, determined for the first time, their ratio and the angular asymmetry of the annihilation reaction $e^+e^-\to\bar p p$ are discussed. Fiits of the available data on the cross section, the effective form factor, and the form factor ratio, allow to propose a description of the electric and magnetic time-like form factors from the threshold up to the highest momenta.


title: Behavior of linear L2-boosting algorithms in the vanishing learning rate asymptotic

abstract: We investigate the asymptotic behaviour of gradient boosting algorithms when the learning rate converges to zero and the number of iterations is rescaled accordingly. We mostly consider L2-boosting for regression with linear base learner as studied in B{\"u}hlmann and Yu (2003) and analyze also a stochastic version of the model where subsampling is used at each step (Friedman 2002). We prove a deterministic limit in the vanishing learning rate asymptotic and characterize the limit as the unique solution of a linear differential equation in an infinite dimensional function space. Besides, the training and test error of the limiting procedure are thoroughly analyzed. We finally illustrate and discuss our result on a simple numerical experiment where the linear L2-boosting operator is interpreted as a smoothed projection and time is related to its number of degrees of freedom.


title: Existence and non-existence for the collision-induced breakage equation

abstract: A mathematical model for collision-induced breakage is considered. Existence of weak solutions to the continuous nonlinear collision-induced breakage equation is shown for a large class of unbounded collision kernels and daughter distribution functions, assuming the collision kernel $K$ to be given by $K(x,y)= x^{\alpha} y^{\beta} + x^{\beta} y^{\alpha}$ with $\alpha \le \beta \le 1$. When $\alpha + \beta \in [1,2]$, it is shown that there exists at least one weak mass-conserving solution for all times. In contrast, when $\alpha + \beta \in [0,1)$ and $\alpha \ge 0$, global mass-conserving weak solutions do not exist, though such solutions are constructed on a finite time interval depending on the initial condition. The question of uniqueness is also considered. Finally, for $\alpha <0$ and a specific daughter distribution function, the non-existence of mass-conserving solutions is also established.


title: A density theorem for the difference Galois groups of regular singular Mahler equations

abstract: The difference Galois theory of Mahler equations is an active research area. The present paper aims at developing the analytic aspects of this theory. We first attach a pair of connection matrices to any regular singular Mahler equation. We then show that these connection matrices can be used to produce a Zariski-dense subgroup of the difference Galois group of any regular singular Mahler equation.


title: A Theoretical Analysis of the Repetition Problem in Text Generation

abstract: Text generation tasks, including translation, summarization, language models, and etc. see rapid growth during recent years. Despite the remarkable achievements, the repetition problem has been observed in nearly all text generation models undermining the generation performance extensively. To solve the repetition problem, many methods have been proposed, but there is no existing theoretical analysis to show why this problem happens and how it is resolved. In this paper, we propose a new framework for theoretical analysis for the repetition problem. We first define the Average Repetition Probability (ARP) to characterize the repetition problem quantitatively. Then, we conduct an extensive analysis of the Markov generation model and derive several upper bounds of the average repetition probability with intuitive understanding. We show that most of the existing methods are essentially minimizing the upper bounds explicitly or implicitly. Grounded on our theory, we show that the repetition problem is, unfortunately, caused by the traits of our language itself. One major reason is attributed to the fact that there exist too many words predicting the same word as the subsequent word with high probability. Consequently, it is easy to go back to that word and form repetitions and we dub it as the high inflow problem. Furthermore, we derive a concentration bound of the average repetition probability for a general generation model. Finally, based on the theoretical upper bounds, we propose a novel rebalanced encoding approach to alleviate the high inflow problem. The experimental results show that our theoretical framework is applicable in general generation models and our proposed rebalanced encoding approach alleviates the repetition problem significantly. The source code of this paper can be obtained from https://github.com/fuzihaofzh/repetition-problem-nlg.


title: Parzen Window Approximation on Riemannian Manifold

abstract: In graph motivated learning, label propagation largely depends on data affinity represented as edges between connected data points. The affinity assignment implicitly assumes even distribution of data on the manifold. This assumption may not hold and may lead to inaccurate metric assignment due to drift towards high-density regions. The drift affected heat kernel based affinity with a globally fixed Parzen window either discards genuine neighbors or forces distant data points to become a member of the neighborhood. This yields a biased affinity matrix. In this paper, the bias due to uneven data sampling on the Riemannian manifold is catered to by a variable Parzen window determined as a function of neighborhood size, ambient dimension, flatness range, etc. Additionally, affinity adjustment is used which offsets the effect of uneven sampling responsible for the bias. An affinity metric which takes into consideration the irregular sampling effect to yield accurate label propagation is proposed. Extensive experiments on synthetic and real-world data sets confirm that the proposed method increases the classification accuracy significantly and outperforms existing Parzen window estimators in graph Laplacian manifold regularization methods.


title: Lectures on Symplectic Geometry, Poisson Geometry, Deformation Quantization and Quantum Field Theory

abstract: These are lecture notes for the course "Poisson geometry and deformation quantization" given by the author during the fall semester 2020 at the University of Zurich. The first chapter is an introduction to differential geometry, where we cover manifolds, tensor fields, integration on manifolds, Stokes' theorem, de Rham's theorem and Frobenius' theorem. The second chapter covers the most important notions of symplectic geometry such as Lagrangian submanifolds, Weinstein's tubular neighborhood theorem, Hamiltonian mechanics, moment maps and symplectic reduction. The third chapter gives an introduction to Poisson geometry where we also cover Courant structures, Dirac structures, the local splitting theorem, symplectic foliations and Poisson maps. The fourth chapter is about deformation quantization where we cover the Moyal product, $L_\infty$-algebras, Kontsevich's formality theorem, Kontsevich's star product construction through graphs, the globalization approach to Kontsevich's star product and the operadic approach to formality. The fifth chapter is about the quantum field theoretic approach to Kontsevich's deformation quantization where we cover functional integral methods, the Moyal product as a path integral quantization, the Faddeev-Popov and BRST method for gauge theories, infinite-dimensional extensions, the Poisson sigma model, the construction of Kontsevich's star product through a perturbative expansion of the functional integral quantization for the Poisson sigma model for affine Poisson structures and the general construction.

categories: math-ph hep-th math.DG math.MP math.QA math.SG


title: Assessing Information Quality in IoT Forensics: Theoretical Framework and Model Implementation

abstract: IoT technologies pose serious challenges to digital Forensics. The acquisition of digital evidence is hindered by the number and extreme variety of IoT items, often lacking physical interfaces, connected in unprotected networks, feeding data to uncontrolled cloud services. In this paper we address "Information Quality" in IoT Forensics, taking into account different levels of complexity and included human factors. After drawing a theoretical framework on data quality and information quality, we focus on forensic analysis challenges in IoT environments, providing a use case of evidence collection for investigative purposes. At the end, we propose a formal framework for assessing information quality of IoT devices for Forensics analysis.


title: Dynamics of Water Confined in Mesopores with Variable Surface Interaction

abstract: We have investigated the dynamics of liquid water confined in mesostructured porous silica (MCM-41) and periodic mesoporous organosilicas (PMOs) by incoherent quasielastic neutron scattering experiments. The effect of tuning the water/surface interaction from hydrophilic to more hydrophobic on the water mobility, while keeping the pore size in the range 3.5-4.1 nm, was assessed from the comparative study of three PMOs comprising different organic bridging units and the purely siliceous MCM-41 case. An extended dynamical range was achieved by combining time-of-flight (IN5B) and backscattering (IN16B) quasielastic neutron spectrometers providing complementary energy resolutions. Liquid water was studied at regularly spaced temperatures ranging from 300 K to 243 K. In all systems, the molecular dynamics could be described consistently by the combination of two independent motions resulting from fast local motion around the average molecule position and the confined translational jump diffusion of its center of mass. All the molecules performed local relaxations, whereas the translational motion of a fraction of molecules was frozen on the experimental timescale. This study provides a comprehensive microscopic view on the dynamics of liquid water confined in mesopores, with distinct surface chemistries, in terms of non-mobile/mobile fraction, self-diffusion coefficient, residence time, confining radius, local relaxation time, and their temperature dependence. Importantly, it demonstrates that the strength of the water/surface interaction determines the long-time tail of the dynamics, which we attributed to the translational diffusion of interfacial molecules, while the water dynamics in the pore center is barely affected by the interface hydrophilicity.


title: On the derivation of stability properties for time-delay systems without constraint on the time-derivative of the initial condition

abstract: Stability of retarded differential equations is closely related to the existence of Lyapunov-Krasovskii functionals. Even if a number of converse results have been reported regarding the existence of such functionals, there is a lack of constructive methods for their selection. For certain classes of time-delay systems for which such constructive methods are lacking, it was shown that Lyapunov-Krasovskii functionals that are also allowed to depend on the time-derivative of the state-trajectory are efficient tools for the study of the stability properties. However, in such an approach the initial condition needs to be assumed absolutely continuous with a square integrable weak derivative. In addition, the stability results hold for initial conditions that are evaluated based on the magnitude of both the initial condition and its time-derivative. The main objective of this paper is to show that, for certain classes of time-delay systems, the aforementioned stability results can actually be extended to initial conditions that are only assumed continuous and that are evaluated in uniform norm.


title: RADDLE: An Evaluation Benchmark and Analysis Platform for Robust Task-oriented Dialog Systems

abstract: For task-oriented dialog systems to be maximally useful, it must be able to process conversations in a way that is (1) generalizable with a small number of training examples for new task domains, and (2) robust to user input in various styles, modalities or domains. In pursuit of these goals, we introduce the RADDLE benchmark, a collection of corpora and tools for evaluating the performance of models across a diverse set of domains. By including tasks with limited training data, RADDLE is designed to favor and encourage models with a strong generalization ability. RADDLE also includes a diagnostic checklist that facilitates detailed robustness analysis in aspects such as language variations, speech errors, unseen entities, and out-of-domain utterances. We evaluate recent state-of-the-art systems based on pre-training and fine-tuning, and find that grounded pre-training on heterogeneous dialog corpora performs better than training a separate model per domain. Overall, existing models are less than satisfactory in robustness evaluation, which suggests opportunities for future improvement.


title: Shellable tilings on relative simplicial complexes and their h-vectors

abstract: An h-tiling on a finite simplicial complex is a partition of its geometric realization by maximal simplices deprived of several codimension one faces together with possibly their remaining face of highest codimension. In this last case, the tiles are said to be critical. An h-tiling thus induces a partitioning of its face poset by closed or semi-open intervals. We prove the existence of h-tilings on every finite simplicial complex after finitely many stellar subdivisions at maximal simplices. These tilings are moreover shellable. We also prove that the number of tiles of each type used by a tiling, encoded by its h-vector, is determined by the number of critical tiles of each index it uses, encoded by its critical vector. In the case of closed triangulated manifolds, these vectors satisfy some palindromic property. We finally study the behavior of tilings under any stellar subdivision.


title: Reinforcement Learning for Control of Valves

abstract: This paper is a study of reinforcement learning (RL) as an optimal-control strategy for control of nonlinear valves. It is evaluated against the PID (proportional-integral-derivative) strategy, using a unified framework. RL is an autonomous learning mechanism that learns by interacting with its environment. It is gaining increasing attention in the world of control systems as a means of building optimal-controllers for challenging dynamic and nonlinear processes. Published RL research often uses open-source tools (Python and OpenAI Gym environments). We use MATLAB's recently launched (R2019a) Reinforcement Learning Toolbox to develop the valve controller; trained using the DDPG (Deep Deterministic Policy-Gradient) algorithm and Simulink to simulate the nonlinear valve and create the experimental test-bench for evaluation. Simulink allows industrial engineers to quickly adapt and experiment with other systems of their choice. Results indicate that the RL controller is extremely good at tracking the signal with speed and produces a lower error with respect to the reference signal. The PID, however, is better at disturbance rejection and hence provides a longer life for the valves. Successful machine learning involves tuning many hyperparameters requiring significant investment of time and efforts. We introduce "Graded Learning" as a simplified, application oriented adaptation of the more formal and algorithmic "Curriculum for Reinforcement Learning". It is shown via experiments that it helps converge the learning task of complex non-linear real world systems. Finally, experiential learnings gained from this research are corroborated against published research.


title: Stability of Cool Cores During Galaxy Cluster Growth: A Joint $Chandra$/SPT Analysis of 67 Galaxy Clusters Along a Common Evolutionary Track Spanning 9 Gyr

abstract: We present the results of a joint analysis of $Chandra$ X-ray and South Pole Telescope (SPT) SZ observations targeting the first sample of galaxy clusters at $0.3 < z < 1.3$, selected to be the progenitors of well-studied nearby clusters based on their expected accretion rate. We develop a new procedure in order to tackle the analysis challenge that is estimating the intracluster medium (ICM) properties of low-mass and high-redshift clusters with ${\sim}150$ X-ray counts. One of the dominant sources of uncertainty on the ICM density profile estimated with a standard X-ray analysis with such shallow X-ray data is due to the systematic uncertainty associated with the ICM temperature obtained through the analysis of the background-dominated X-ray spectrum. We show that we can decrease the uncertainty on the density profile by a factor ${\sim}5$ with a joint deprojection of the X-ray surface brightness profile measured by $Chandra$ and the SZ integrated Compton parameter available in the SPT cluster catalog. We apply this technique to the whole sample of 67 clusters in order to track the evolution of the ICM core density during cluster growth. We confirm that the evolution of the gas density profile is well modeled by the combination of a fixed core and a self-similarly evolving non-cool core profile. We show that the fraction of cool-cores in this sample is remarkably stable with redshift although clusters have gained a factor ${\sim}4$ in total mass over the past ${\sim}9$ Gyr. This new sample combined with our new X-ray/SZ analysis procedure and extensive multi-wavelength data will allow us to address fundamental shortcomings in our current understanding of cluster formation and evolution at $z > 1$.


title: Fast Incremental Expectation Maximization for finite-sum optimization: nonasymptotic convergence

abstract: Fast Incremental Expectation Maximization (FIEM) is a version of the EM framework for large datasets. In this paper, we first recast FIEM and other incremental EM type algorithms in the {\em Stochastic Approximation within EM} framework. Then, we provide nonasymptotic bounds for the convergence in expectation as a function of the number of examples $n$ and of the maximal number of iterations $\kmax$. We propose two strategies for achieving an $\epsilon$-approximate stationary point, respectively with $\kmax = O(n^{2/3}/\epsilon)$ and $\kmax = O(\sqrt{n}/\epsilon^{3/2})$, both strategies relying on a random termination rule before $\kmax$ and on a constant step size in the Stochastic Approximation step. Our bounds provide some improvements on the literature. First, they allow $\kmax$ to scale as $\sqrt{n}$ which is better than $n^{2/3}$ which was the best rate obtained so far; it is at the cost of a larger dependence upon the tolerance $\epsilon$, thus making this control relevant for small to medium accuracy with respect to the number of examples $n$. Second, for the $n^{2/3}$-rate, the numerical illustrations show that thanks to an optimized choice of the step size and of the bounds in terms of quantities characterizing the optimization problem at hand, our results desig a less conservative choice of the step size and provide a better control of the convergence in expectation.


title: A description of monodromic mixed Hodge modules

abstract: For a smooth algebraic variety $X$, a monodromic $D$-module on $X\times \mathbb{C}$ is decomposed into a direct sum of some $D$-modules on $X$. We show that the Hodge filtration of a mixed Hodge module on $X\times \mathbb{C}$ whose underlying $D$-module is monodromic is also decomposed. Moreover, we show that there is an equivalence of categories between the category of monodromic mixed Hodge modules on $X\times \mathbb{C}$ and the category of ``gluing data''. As an application, we endow the Fourier-Laplace transformation of the underlying $D$-module of a monodromic mixed Hodge module with a mixed Hodge module structure.


title: Tips and Tricks for Webly-Supervised Fine-Grained Recognition: Learning from the WebFG 2020 Challenge

abstract: WebFG 2020 is an international challenge hosted by Nanjing University of Science and Technology, University of Edinburgh, Nanjing University, The University of Adelaide, Waseda University, etc. This challenge mainly pays attention to the webly-supervised fine-grained recognition problem. In the literature, existing deep learning methods highly rely on large-scale and high-quality labeled training data, which poses a limitation to their practicability and scalability in real world applications. In particular, for fine-grained recognition, a visual task that requires professional knowledge for labeling, the cost of acquiring labeled training data is quite high. It causes extreme difficulties to obtain a large amount of high-quality training data. Therefore, utilizing free web data to train fine-grained recognition models has attracted increasing attentions from researchers in the fine-grained community. This challenge expects participants to develop webly-supervised fine-grained recognition methods, which leverages web images in training fine-grained recognition models to ease the extreme dependence of deep learning methods on large-scale manually labeled datasets and to enhance their practicability and scalability. In this technical report, we have pulled together the top WebFG 2020 solutions of total 54 competing teams, and discuss what methods worked best across the set of winning teams, and what surprisingly did not help.


title: Building and Calibrating the Binary Star Population Using Kepler Data

abstract: Modeling binary star populations is critical to linking the theories of star formation and stellar evolution with observations. In order to test these theories, we need accurate models of observable binary populations. The Kepler Eclipsing Binary Catalog (KEBC), with its estimated $>$90% completeness, provides an observational anchor on binary population models. In this work we present the results of a new forward-model of the binary star population in the Kepler field. The forward-model takes a single star population from a model of the galaxy and pairs the stars into binaries by applying the constraints on the population from the results of observational binary population surveys such as arXiv:1007.0414 and arXiv:1303.3028. A synthetic binary population is constructed from the initial distributions of orbital parameters. We identify the eclipsing binary sample from the generated binary star population and compare this with the observed sample of eclipsing binaries contained in the KEBC. Finally, we update the distributions of the synthetic population and repeat the process until the synthetic eclipsing binary sample agrees with the KEBC. The end result of this process is a model of the underlying binary star population that has been fit to observations. We find that for fixed flat mass ratio and eccentricity input distributions, the binary period distribution is logarithmically flat above $\sim$3.2d. With additional constraints on distributions from observations, we can further adjust the synthetic binary population by relaxing other input constraints, such as mass ratio and eccentricity.


title: A constructive method to minimize couple matchings

abstract: This paper provides constructive procedures for the indeterminacy coupling between two marginal distributions, an alternative to independence coupling. It also introduces a drawing under indeterminacy into a mixture of three independent couplings. Leveraging on this decomposition it states that indeterminacy optimally reduces couple matchings, minimizing the expected number of equal couples drawn in a row. Besides it is seen that the Janson Vegelius coefficient is nothing but a deviation to indeterminacy and it is shown that it tends to 0 when the number of modalities increases.

categories: cs.DM cs.IT cs.SI math.IT math.PR math.ST stat.TH


title: Memory effect of external oscillation on residual stress in a paste

abstract: We numerically investigate the stress distribution of a paste when an external oscillation is applied. The paste memorizes the oscillation as plastic deformation. Due to the plastic deformation, the residual stress remains after the oscillation, where the residual stress distribution depends on the number of cycles in the oscillation. As this number increases, the symmetry of the stress distribution is enhanced, which is consistent with the crack patterns observed in the experiments using a drying paste.


title: Cyclone-anticyclone asymmetry in rotating thin fluid layers

abstract: We report of a series of laboratory experiments and numerical simulations of freely-decaying rotating turbulent flows confined in domains with variable height. We show that the vertical confinement has important effects on the formation of large-scale columnar vortices, the hallmark of rotating turbulence, and in particular delays the development of the cyclone-anticyclone asymmetry. We compare the experimental and numerical results face-to-face, showing the robustness of the results.


title: Maxwell's demon-like nonreciprocity by non-Hermitian gyrotropic metasurfaces

abstract: We show that Maxwell's demon-like nonreciprocity can be supported in a class of non-Hermitian gyrotropic metasurfaces in the linear regime. The proposed metasurface functions as a transmission-only Maxwell's demon operating at a pair of photon energies. Based on multiple scattering theory, we construct a dual-dipole model to explain the underlying mechanism that leads to the antisymmetric nonreciprocal transmission. The results may inspire new designs of compact nonreciprocal devices for photonics.


title: Towards Reducing Severe Defocus Spread Effects for Multi-Focus Image Fusion via an Optimization Based Strategy

abstract: Multi-focus image fusion (MFF) is a popular technique to generate an all-in-focus image, where all objects in the scene are sharp. However, existing methods pay little attention to defocus spread effects of the real-world multi-focus images. Consequently, most of the methods perform badly in the areas near focus map boundaries. According to the idea that each local region in the fused image should be similar to the sharpest one among source images, this paper presents an optimization-based approach to reduce defocus spread effects. Firstly, a new MFF assessmentmetric is presented by combining the principle of structure similarity and detected focus maps. Then, MFF problem is cast into maximizing this metric. The optimization is solved by gradient ascent. Experiments conducted on the real-world dataset verify superiority of the proposed model. The codes are available at https://github.com/xsxjtu/MFF-SSIM.


title: Hardy spaces for boundary value problems of elliptic systems with block structure

abstract: We present recent results on elliptic boundary value problems where the theory of Hardy spaces associated with operators plays a key role.


title: Bifurcating standing waves for effective equations in gapped honeycomb structures

abstract: In this paper we deal with two dimensional cubic Dirac equations appearing as effective model in gapped honeycomb structures. We give a formal derivation starting from cubic Schr\"odinger equations and prove the existence of standing waves bifurcating from one band-edge of the linear spectrum.


title: Faster Re-translation Using Non-Autoregressive Model For Simultaneous Neural Machine Translation

abstract: Recently, simultaneous translation has gathered a lot of attention since it enables compelling applications such as subtitle translation for a live event or real-time video-call translation. Some of these translation applications allow editing of partial translation giving rise to re-translation approaches. The current re-translation approaches are based on autoregressive sequence generation models (ReTA), which generate tar-get tokens in the (partial) translation sequentially. The multiple re-translations with sequential generation inReTAmodelslead to an increased inference time gap between the incoming source input and the corresponding target output as the source input grows. Besides, due to the large number of inference operations involved, the ReTA models are not favorable for resource-constrained devices. In this work, we propose a faster re-translation system based on a non-autoregressive sequence generation model (FReTNA) to overcome the aforementioned limitations. We evaluate the proposed model on multiple translation tasks and our model reduces the inference times by several orders and achieves a competitive BLEUscore compared to the ReTA and streaming (Wait-k) models.The proposed model reduces the average computation time by a factor of 20 when compared to the ReTA model by incurring a small drop in the translation quality. It also outperforms the streaming-based Wait-k model both in terms of computation time (1.5 times lower) and translation quality.


title: CascadeBERT: Accelerating Inference of Pre-trained Language Models via Calibrated Complete Models Cascade

abstract: Dynamic early exiting aims to accelerate the inference of pre-trained language models (PLMs) by emitting predictions in internal layers without passing through the entire model. In this paper, we empirically analyze the working mechanism of dynamic early exiting and find that it faces a performance bottleneck under high speed-up ratios. On one hand, the PLMs' representations in shallow layers lack high-level semantic information and thus are not sufficient for accurate predictions. On the other hand, the exiting decisions made by internal classifiers are unreliable, leading to wrongly emitted early predictions. We instead propose a new framework for accelerating the inference of PLMs, CascadeBERT, which dynamically selects proper-sized and complete models in a cascading manner, providing comprehensive representations for predictions. We further devise a difficulty-aware objective, encouraging the model to output the class probability that reflects the real difficulty of each instance for a more reliable cascading mechanism. Experimental results show that CascadeBERT can achieve an overall 15\% improvement under 4$\times$ speed-up compared with existing dynamic early exiting methods on six classification tasks, yielding more calibrated and accurate predictions.


title: Tissue Engineering for Periodontal Ligament Regeneration: Biomechanical Specifications

abstract: The periodontal biomechanical environment is very difficult to investigate. By the complex geometry and composition of the periodontal ligament, its mechanical behavior is very dependent on the type of loading (compressive vs. tensile loading; static vs. cyclic loading; uniaxial vs. multiaxial) and the location around the root (cervical, middle, or apical). These different aspects of the periodontal ligament make it difficult to develop a functional biomaterial to treat periodontal attachment due to periodontal diseases. This review aims to describe the structural and biomechanical properties of the periodontal ligament. Particular importance is placed in the close interrelationship that exists between structure and biomechanics: the periodontal ligament structural organization is specific to its biomechanical environment, and its biomechanical properties are specific to its structural arrangement. This balance between structure and biomechanics can be explained by a mechanosensitive periodontal cellular activity. These specifications have to be considered in the further tissue engineering strategies for the development of an efficient biomaterial for periodontal tissues regeneration.


title: Dirichlet-Neumann bracketing for a class of banded Toeplitz matrices

abstract: We consider boundary conditions of self-adjoint banded Toeplitz matrices. We ask if boundary conditions exist for banded self-adjoint Toeplitz matrices which satisfy operator inequalities of Dirichlet-Neumann bracketing type. For a special class of banded Toeplitz matrices including integer powers of the discrete Laplacian we find such boundary conditions. Moreover, for this class we give a lower bound on the spectral gap above the lowest eigenvalue.


title: Picosecond two-photon absorption laser induced fluorescence (ps-TALIF) in krypton: the role of photoionization on the density depletion of the fluorescing state Kr 5p'[3/2]$_2$

abstract: The present study focuses on the application of a picosecond (ps) TALIF technique in krypton (Kr) at variable pressure (0.1-10 mbar). The laser intensity (I, units W.cm$^{-2}$) is tuned between 1 and 480 MW.cm$^{-2}$, and the depletion of the density of the Kr 5p'[3/2]$_2$ fluorescing state through photoionization (PIN) and amplified stimulated emission (ASE) is investigated. This is done by combining TALIF experiments with a simple 0D numerical model. We demonstrate that for a gas pressure of 3 mbar and 15 < $\le$ 480 MW.cm$^{-2}$, a saturated fluorescence signal is obtained, which is largely attributed to PIN, ASE being negligible. Also, a broadening of the two-photon absorption line (i.e. 4p$^6$ $^1$S0$\to$5p'[3/2]$_2$) is recorded due to the production of charged species through PIN, inducing a Stark effect. For I$\le$15 MW.cm$^{-2}$, though, PIN is significantly limited, the absorption line is noticeably narrowed, and the quadratic dependence of the TALIF signal intensity versus the laser energy is obtained. Thus, in this case, the investigated Kr TALIF scheme, using the 5p'[3/2]$_2\to$5s[3/2]$_1$ fluorescence channel, can be used for calibration purposes in ps-TALIF experiments. These results are of interest for fundamental research since most ps-TALIF studies performed in Kr do not investigate in detail the role of PIN and ASE on the depletion of the Kr 5p'[3/2]$_2$ state density. Moreover, this work contributes to the development of ps-TALIF for determining absolute densities and quenching coefficients of H and N atoms in plasmas. This is useful in numerous plasma-based applications (e.g. thin film synthesis, biomedical treatments, plasma-assisted combustion, ...), for which the knowledge of the density/kinetics of reactive atoms is essential.


title: Nuclear spin squeezing by continuous quantum non-demolition measurement: a theoretical study

abstract: We propose to take advantage of the weak coupling of ground-state helium-3 nuclear spin to its environment to produce long-lived macroscopic quantum states, nuclear spin squeezed states, in a gas cell at room temperature. To perform a quantum non-demolition measurement of a transverse component of the polarized collective nuclear spin, we maintain a population in helium-3 metastable state with a discharge. The collective spin associated to $F=1/2$ metastable level hybridizes with the ground state one by metastability exchange collisions. To access nuclear spin fluctuations, one continuously measures the light leaking out of an optical cavity, where it has interacted dispersively with the metastable state collective spin. In a three coupled collective spin model (nuclear, metastable and Stokes), we calculate moments of the nuclear spin squeezed component $I_z$ conditioned on the time averaged optical signal. In the photon counting scheme, the squeezed observable is $I_z^2$ rather than $I_z$. In the homodyne detection scheme, we solve the stochastic equation for the system state conditioned on the measurement; the conditional expectation value of $I_z$ depends linearly on the signal and the conditional variance of $I_z$ does not depend on it. The conditional variance decreases as $(\Gamma_{\rm sq}t)^{-1}$, where the squeezing rate $\Gamma_{\rm sq}$ depends linearly on the light intensity in the cavity at weak atom-field coupling and saturates at strong coupling to the ground state metastability exchange effective rate, proportional to the metastable atom density. Including de-excitation of metastable atoms at the walls, which induces nuclear spin decoherence with an effective rate $\gamma_\alpha$, we find a limit $\propto(\gamma_\alpha/\Gamma_{\rm sq})^{1/2}$ on the conditional variance reached in a time $\propto(\gamma_\alpha\Gamma_{\rm sq})^{-1/2}$.


title: A Survey on Segment Routing with Emphasis on Use Cases in Large Provider Networks

abstract: Segment routing is heralded as important technology innovation in large provider networks. In the domain of large telecom service providers, segment routing has the potential to be in the same league as MPLS and IPv6 as well as pave a way towards the successful implementation of SDNs. In this regard, this paper is a survey on the existing segment routing work in the community. We begin by describing how segment routing works, inclusive of the various building blocks. The paper describes the segment routing architecture in terms of its positioning vis-a-vis existing networking technologies, as well as the data-plane and the control plane. Label encoding techniques that are central towards implementing segment routing are then discussed. In order to make segment routing relevant to the current domain of providers, we postulate various use cases, their working and issues of interoperability. The paper also reviews the current set of segment routing implementation cases in the industry. Thereafter we position segment routing among the various provider manifestations.


title: Skyrmions as quasiparticles: free energy and entropy

abstract: The free energy and the entropy of magnetic skyrmions with respect to the collinear state are calculated for a (Pt$_{0.95}$Ir$_{0.05}$)/Fe bilayer on Pd(111) via atomistic spin model simulations. The simulations are carried out starting from very low temperatures where the skyrmion number is conserved up to the range where skyrmions are constantly created and destroyed by thermal fluctuations, highlighting their quasiparticle nature. The higher entropy of the skyrmions at low temperature leads to a reduced free energy, such that the skyrmions become energetically preferred over the collinear state due to entropic stabilization as predicted by linear spin-wave theory. Going beyond the linear spin-wave approximation, a sign change is shown to occur in the free energy as well as the entropy at elevated temperature.


title: $a\times b=c$ in $2+1$D TQFT

abstract: We study the implications of the anyon fusion equation $a\times b=c$ on global properties of $2+1$D topological quantum field theories (TQFTs). Here $a$ and $b$ are anyons that fuse together to give a unique anyon, $c$. As is well known, when at least one of $a$ and $b$ is abelian, such equations describe aspects of the one-form symmetry of the theory. When $a$ and $b$ are non-abelian, the most obvious way such fusions arise is when a TQFT can be resolved into a product of TQFTs with trivial mutual braiding, and $a$ and $b$ lie in separate factors. More generally, we argue that the appearance of such fusions for non-abelian $a$ and $b$ can also be an indication of zero-form symmetries in a TQFT, of what we term "quasi-zero-form symmetries" (as in the case of discrete gauge theories based on the largest Mathieu group, $M_{24}$), or of the existence of non-modular fusion subcategories. We study these ideas in a variety of TQFT settings from (twisted and untwisted) discrete gauge theories to Chern-Simons theories based on continuous gauge groups and related cosets. Along the way, we prove various useful theorems.

categories: hep-th cond-mat.str-el math-ph math.MP math.QA quant-ph


title: COIN: Contrastive Identifier Network for Breast Mass Diagnosis in Mammography

abstract: Computer-aided breast cancer diagnosis in mammography is a challenging problem, stemming from mammographical data scarcity and data entanglement. In particular, data scarcity is attributed to the privacy and expensive annotation. And data entanglement is due to the high similarity between benign and malignant masses, of which manifolds reside in lower dimensional space with very small margin. To address these two challenges, we propose a deep learning framework, named Contrastive Identifier Network (\textsc{COIN}), which integrates adversarial augmentation and manifold-based contrastive learning. Firstly, we employ adversarial learning to create both on- and off-distribution mass contained ROIs. After that, we propose a novel contrastive loss with a built Signed graph. Finally, the neural network is optimized in a contrastive learning manner, with the purpose of improving the deep model's discriminativity on the extended dataset. In particular, by employing COIN, data samples from the same category are pulled close whereas those with different labels are pushed further in the deep latent space. Moreover, COIN outperforms the state-of-the-art related algorithms for solving breast cancer diagnosis problem by a considerable margin, achieving 93.4\% accuracy and 95.0\% AUC score. The code will release on ***.


title: A Nonequilibrium Information Entropy Approach to Ternary Fission of Actinides

abstract: Ternary fission of actinides probes the state of the nucleus at scission. Light clusters are produced in space and time very close to the scission point. Within the nonequilibrium statistical operator method, a generalized Gibbs distribution is constructed from the information given by the observed yields of isotopes. Using this relevant statistical operator, yields are calculated taking excited states and continuum correlations into account, in accordance with the virial expansion of the equation of state. Clusters with mass number $A \le 10$ are well described using the nonequilibrium generalizations of temperature and chemical potentials. Improving the virial expansion, in-medium effects may become of importance in determining the contribution of weakly bound states and continuum correlations to the intrinsic partition function. Yields of larger clusters, which fail to reach this quasi-equilibrium form of the relevant distribution, are described by nucleation kinetics, and a saddle-to-scission relaxation time of about 7000 fm/c is inferred. Light charged particle emission, described by reaction kinetics and virial expansions, may therefore be regarded as a very important tool to probe the nonequilibrium time evolution of actinide nuclei during fission.


title: Ultrahigh-fidelity composite rotational quantum gates

abstract: Composite pulse sequences, which produce arbitrary pre-defined rotations of a qubit on the Bloch sphere, are presented. The composite sequences contain up to 17 pulses and can compensate up to eight orders of experimental errors in the pulse amplitude and the pulse duration. Composite sequences for three basic quantum gates -- X (NOT), Hadamard and arbitrary rotation -- are derived. Three classes of composite sequences are presented -- one symmetric and two asymmetric. They contain as their lowest members two well-known composite sequences -- the three-pulse symmetric SCROFULOUS pulse and the four-pulse asymmetric BB1 pulse, which compensate first and second-order errors, respectively. The shorter sequences are derived analytically, and the longer ones numerically (instead by nesting and concatenation, as mostly done hitherto). Consequently, the composite sequences derived here match or outperform the existing ones in terms of either speed or accuracy, or both. For example, we derive a second-order composite sequence, which is faster (by about 13\%) than the famous BB1 sequence. For higher-order sequences the speed-up becomes much more pronounced. This is important for quantum information processing as the sequences derived here provide more options for finding the sweet spot between ultrahigh fidelity and high speed.


title: The impact of Climate on Economic and Financial Cycles: A Markov-switching Panel Approach

abstract: This paper examines the impact of climate shocks on 13 European economies analysing jointly business and financial cycles, in different phases and disentangling the effects for different sector channels. A Bayesian Panel Markov-switching framework is proposed to jointly estimate the impact of extreme weather events on the economies as well as the interaction between business and financial cycles. Results from the empirical analysis suggest that extreme weather events impact asymmetrically across the different phases of the economy and heterogeneously across the EU countries. Moreover, we highlight how the manufacturing output, a component of the industrial production index, constitutes the main channel through which climate shocks impact the EU economies.


title: Variational balance models for the three-dimensional Euler-Boussinesq equations with full Coriolis force

abstract: We derive a semi-geostrophic variational balance model for the three-dimensional Euler--Boussinesq equations on the non-traditional $f$-plane under the rigid lid approximation. The model is obtained by a small Rossby number expansion in the Hamilton principle, with no other approximations made. We allow for a fully non-hydrostatic flow and do not neglect the horizontal components of the Coriolis parameter, i.e., we do not make the so-called "traditional approximation". The resulting balance models have the same structure as the "$L_1$ balance model" for the primitive equations: a kinematic balance relation, the prognostic equation for the three-dimensional tracer field, and an additional prognostic equation for a scalar field over the two-dimensional horizontal domain which is linked to the undetermined constant of integration in the thermal wind relation. The balance relation is elliptic under the assumption of stable stratification and sufficiently small fluctuations in all prognostic fields.


title: Joint Beamforming and Power Control for Throughput Maximization in IRS-assisted MISO WPCNs

abstract: Intelligent reflecting surface (IRS) is an emerging technology to enhance the energy- and spectrum-efficiency of wireless powered communication networks (WPCNs). In this paper, we investigate an IRS-assisted multiuser multiple-input single-output (MISO) WPCN, where the single-antenna wireless devices (WDs) harvest wireless energy in the downlink (DL) and transmit their information simultaneously in the uplink (UL) to a common hybrid access point (HAP) equipped with multiple antennas. Our goal is to maximize the weighted sum rate (WSR) of all the energy-harvesting users. To make full use of the beamforming gain provided by both the HAP and the IRS, we jointly optimize the active beamforming of the HAP and the reflecting coefficients (passive beamforming) of the IRS in both DL and UL transmissions, as well as the transmit power of the WDs to mitigate the inter-user interference at the HAP. To tackle the challenging optimization problem, we first consider fixing the passive beamforming, and converting the remaining joint active beamforming and user transmit power control problem into an equivalent weighted minimum mean square error (WMMSE) problem, where we solve it using an efficient block-coordinate descent (BCD) method. Then, we fix the active beamforming and user transmit power, and optimize the passive beamforming coefficients of the IRS in both the DL and UL using a semidefinite relaxation (SDR) method. Accordingly, we apply a block-structured optimization (BSO) method to update the two sets of variables alternately. Numerical results show that the proposed joint optimization achieves significant performance gain over other representative benchmark methods and effectively improves the throughput performance in multiuser MISO WPCNs.


title: Universal Silicon Microwave Photonic Spectral Shaper

abstract: Optical modulation plays arguably the utmost important role in microwave photonic (MWP) systems. Precise synthesis of modulated optical spectra dictates virtually all aspects of MWP system quality including loss, noise figure, linearity, and the types of functionality that can be executed. But for such a critical function, the versatility to generate and transform analog optical modulation is severely lacking, blocking the pathways to truly unique MWP functions including ultra-linear links and low-loss high rejection filters. Here we demonstrate versatile RF photonic spectrum synthesis in an all-integrated silicon photonic circuit, enabling electrically-tailorable universal analog modulation transformation. We show a series of unprecedented RF filtering experiments through monolithic integration of the spectrum-synthesis circuit with a network of reconfigurable ring resonators.


title: Oscillons during Dirac-Born-Infeld Preheating

abstract: Oscillons are long-lived, localized, oscillating nonlinear excitations of a real scalar field which can be abundantly produced during preheating after inflation. We give the first $(3+1)$-dimensional simulation for the oscillon formation during preheating with noncanonical kinetic terms, e.g. the Dirac-Born-Infeld form, and find that the formation of oscillons is significantly influenced by the noncanonical effect.


title: Conic Mixed-Binary Sets: Convex Hull Characterizations and Applications

abstract: We consider a general conic mixed-binary set where each homogeneous conic constraint $j$ involves an affine function of independent continuous variables and an epigraph variable associated with a nonnegative function, $f_j$, of common binary variables. Sets of this form naturally arise as substructures in a number of applications including mean-risk optimization, chance-constrained problems, portfolio optimization, lot-sizing and scheduling, fractional programming, variants of the best subset selection problem, a class of sparse semidefinite programs, and distributionally robust chance-constrained programs. We give a convex hull description of this set that relies on simultaneous characterization of the epigraphs of $f_j$'s, which is easy to do when all functions $f_j$'s are submodular. Our result unifies and generalizes an existing result in two important directions. First, it considers \emph{multiple general convex cone} constraints instead of a single second-order cone type constraint. Second, it takes \emph{arbitrary nonnegative functions} instead of a specific submodular function obtained from the square root of an affine function. We close by demonstrating the applicability of our results in the context of a number of problem classes.


title: Second order transport coefficients of nonconformal fluids from compactified Dp-branes

abstract: All the 7 dynamical second order transport coefficients of the nonconformal fluids that correspond to Dp-branes with one or more world-volume directions compactified are derived via fluid/gravity correspondence. The conditions considered in this paper include D4-brane with 1, 2 or 3 compact directions, D3-brane with 1 or 2 compact directions, as well as D2-brane with 1 direction compactified. The derived second order transport coefficients satisfy the Haack-Yarom, Romatschke and Kleinert-Probst relations.


title: Image-to-Image Retrieval by Learning Similarity between Scene Graphs

abstract: As a scene graph compactly summarizes the high-level content of an image in a structured and symbolic manner, the similarity between scene graphs of two images reflects the relevance of their contents. Based on this idea, we propose a novel approach for image-to-image retrieval using scene graph similarity measured by graph neural networks. In our approach, graph neural networks are trained to predict the proxy image relevance measure, computed from human-annotated captions using a pre-trained sentence similarity model. We collect and publish the dataset for image relevance measured by human annotators to evaluate retrieval algorithms. The collected dataset shows that our method agrees well with the human perception of image similarity than other competitive baselines.


title: On Abelian Closures of Infinite Non-binary Words

abstract: Two finite words $u$ and $v$ are called abelian equivalent if each letter occurs equally many times in both $u$ and $v$. The abelian closure $\mathcal{A}(\mathbf{x})$ of an infinite word $\mathbf{x}$ is the set of infinite words $\mathbf{y}$ such that, for each factor $u$ of $\mathbf{y}$, there exists a factor $v$ of $\mathbf{x}$ which is abelian equivalent to $u$. The notion of an abelian closure gives a characterization of Sturmian words: among uniformly recurrent binary words, periodic and aperiodic Sturmian words are exactly those words for which $\mathcal{A}(\mathbf{x})$ equals the shift orbit closure $\Omega(\mathbf{x})$. Furthermore, for an aperiodic binary word that is not Sturmian, its abelian closure contains infinitely many minimial subshifts. In this paper we consider the abelian closures of well-known families of non-binary words, such as balanced words and minimal complexity words. We also consider abelian closures of general subshifts and make some initial observations of their abelian closures and pose some related open questions.


title: A fast iterative algorithm for near-diagonal eigenvalue problems

abstract: We introduce a novel eigenvalue algorithm for near-diagonal matrices inspired by Rayleigh-Schr\"odinger perturbation theory and termed Iterative Perturbative Theory (IPT). Contrary to standard eigenvalue algorithms, which are either 'direct' (to compute all eigenpairs) or 'iterative' (to compute just a few), IPT computes any number of eigenpairs with the same basic iterative procedure. Thanks to this perfect parallelism, IPT proves more efficient than classical methods (LAPACK or CUSOLVER for the full-spectrum problem, preconditioned Davidson solvers for extremal eigenvalues). We give sufficient conditions for linear convergence and demonstrate performance on dense and sparse test matrices, including one from quantum chemistry.


title: Detection of Intermediate-Mass Black Holes in Globular Clusters Using Gravitational Lensing

abstract: Recent observations suggest the presence of supermassive black holes at the centers of many galaxies. The existence of intermediate-mass black holes (IMBHs) in globular clusters has also been predicted. We focus on gravitational lensing as a new way to explore these entities. It is known that the mass distribution of a self-gravitating system such as a globular cluster changes greatly depending on the presence or absence of a central massive object. After considering possible mass distributions for a globular cluster belonging to the Milky Way galaxy, we estimate that the effect on the separation angle of gravitational lensing due to an IMBH would be of milliarcsecond order.


title: Advances in deep learning methods for pavement surface crack detection and identification with visible light visual images

abstract: Compared to NDT and health monitoring method for cracks in engineering structures, surface crack detection or identification based on visible light images is non-contact, with the advantages of fast speed, low cost and high precision. Firstly, typical pavement (concrete also) crack public data sets were collected, and the characteristics of sample images as well as the random variable factors, including environmental, noise and interference etc., were summarized. Subsequently, the advantages and disadvantages of three main crack identification methods (i.e., hand-crafted feature engineering, machine learning, deep learning) were compared. Finally, from the aspects of model architecture, testing performance and predicting effectiveness, the development and progress of typical deep learning models, including self-built CNN, transfer learning(TL) and encoder-decoder(ED), which can be easily deployed on embedded platform, were reviewed. The benchmark test shows that: 1) It has been able to realize real-time pixel-level crack identification on embedded platform: the entire crack detection average time cost of an image sample is less than 100ms, either using the ED method (i.e., FPCNet) or the TL method based on InceptionV3. It can be reduced to less than 10ms with TL method based on MobileNet (a lightweight backbone base network). 2) In terms of accuracy, it can reach over 99.8% on CCIC which is easily identified by human eyes. On SDNET2018, some samples of which are difficult to be identified, FPCNet can reach 97.5%, while TL method is close to 96.1%. To the best of our knowledge, this paper for the first time comprehensively summarizes the pavement crack public data sets, and the performance and effectiveness of surface crack detection and identification deep learning methods for embedded platform, are reviewed and evaluated.


title: Tight-binding description of inorganic lead halide perovskites in cubic phase

abstract: Band structure of inorganic lead halide perovskites is substantially different from the band structure of group IV, III-V and II-VI semiconductors. However, the standard empirical tight-binding model with sp3d5s* basis gives nearly perfect fit of band structure calculated in the density functional theory. The tight-binding calculations of ultrathin CsPbI3 layer show good agreement with the corresponding DFT calculations. The parameters corrected for the experimental data allow for the numerically cheap atomistic calculations of inorganic perovskite nanostructures.


title: Exceptional piezoelectricity, high thermal conductivity and stiffness and promising photocatalysis in two-dimensional MoSi2N4 family confirmed by first-principles

abstract: Chemical vapor deposition has been most recently employed to fabricate centimeter-scale high-quality single-layer MoSi2N4 (Science; 2020;369; 670). Motivated by this exciting experimental advance, herein we conduct extensive first-principles based simulations to explore the stability, mechanical properties, lattice thermal conductivity, piezoelectric and flexoelectric response, and photocatalytic and electronic features of MA2Z4 (M = Cr, Mo, W; A = Si, Ge; Z = N, P) monolayers. The considered nanosheets are found to exhibit dynamical stability and remarkably high mechanical properties. Moreover, they show diverse electronic properties from antiferromagnetic metal to half metal and to semiconductors with band gaps ranging from 0.31 to 2.57 eV. Among the studied nanosheets, the MoSi2N4 and WSi2N4 monolayers yield appropriate band edge positions, high electron and hole mobilities, and strong visible light absorption, highly promising for applications in optoelectronics and photocatalytic water splitting. The MoSi2N4 and WSi2N4 monolayers are also predicted to show outstandingly high lattice thermal conductivity of 440 and 500 W/mK, respectively. For the first time we show that machine learning interatomic potentials trained over small supercells can be employed to examine the flexoelectric and piezoelectric properties of complex structures. As the most exciting finding, WSi2N4, CrSi2N4 and MoSi2N4 are found to exhibit the highest piezoelectric coefficients, outperforming all other-known 2D materials. Our results highlight that MA2Z4 nanosheets not only undoubtedly outperform the transition metal dichalcogenides family but also can compete with graphene for applications in nanoelectronics, optoelectronic, energy storage/conversion and thermal management systems.


title: Curved boundary conditions of the lattice Boltzmann method for simulating microgaseous flows in the slip flow regime

abstract: The lattice Boltzmann method (LBM) has shown its promising capability in simulating microscale gas flows. However, the suitable boundary condition is still one of the critical issues for the LBM to model microgaseous flows involving curved geometries. In this paper, a local boundary condition of the LBM is proposed to treat curved solid walls of microgaseous flows. The developed boundary treatment combines the Maxwellian diffuse reflection scheme and a single-node boundary scheme which contains a free parameter as well as the distance ratio. The curved boundary condition is analyzed within the multiple-relaxation-time (MRT) model for a unidirectional microflow. It is shown that the derived slip velocity depends on the free parameter as well as the distance ratio and relaxation times. By virtue of the free parameter, the combination parameter and the uniform relaxation time are theoretically determined to realize the accurate slip boundary condition. In addition, it is found that besides the halfway diffuse-bounce-back (DBB) scheme, previous curved boundary schemes only containing the distance ratio cannot ensure uniform relaxation times to realize the slip boundary condition. Some numerical examples with planar and curved boundaries are carried out to validate the present curved boundary scheme. The good and robust consistency of numerical predictions with analytical solutions demonstrates our theoretical analysis.


title: Adaptive Estimation for Non-stationary Factor Models And A Test for Static Factor Loadings

abstract: This paper considers the estimation and testing of a class of locally stationary time series factor models with evolutionary temporal dynamics. In particular, the entries and the dimension of the factor loading matrix are allowed to vary with time while the factors and the idiosyncratic noise components are locally stationary. We propose an adaptive sieve estimator for the span of the varying loading matrix and the locally stationary factor processes. A uniformly consistent estimator of the effective number of factors is investigated via eigenanalysis of a non-negative definite time-varying matrix. A possibly high-dimensional bootstrap-assisted test for the hypothesis of static factor loadings is proposed by comparing the kernels of the covariance matrices of the whole time series with their local counterparts. We examine our estimator and test via simulation studies and real data analysis. Finally, all our results hold at the following popular but distinct assumptions: (a) the white noise idiosyncratic errors with either fixed or diverging dimension, and (b) the correlated idiosyncratic errors with diverging dimension.


title: An integral formula for $G_2$-structures

abstract: We apply an integral formula obtained by the author for a general $G$--structure to the case of $G=G_2$. We derive an integral formula relating curvatures and some quadratic invariants of the endomorphism induced by the intrinsic torsion. We interpret the formula in certain special cases.


title: Code Summarization with Structure-induced Transformer

abstract: Code summarization (CS) is becoming a promising area in recent language understanding, which aims to generate sensible human language automatically for programming language in the format of source code, serving in the most convenience of programmer developing. It is well known that programming languages are highly structured. Thus previous works attempt to apply structure-based traversal (SBT) or non-sequential models like Tree-LSTM and graph neural network (GNN) to learn structural program semantics. However, it is surprising that incorporating SBT into advanced encoder like Transformer instead of LSTM has been shown no performance gain, which lets GNN become the only rest means modeling such necessary structural clue in source code. To release such inconvenience, we propose structure-induced Transformer, which encodes sequential code inputs with multi-view structural clues in terms of a newly-proposed structure-induced self-attention mechanism. Extensive experiments show that our proposed structure-induced Transformer helps achieve new state-of-the-art results on benchmarks.


title: A low-mass binary neutron star: long-term ejecta evolution and kilonovae with weak blue emission

abstract: We study the long-term evolution of ejecta formed in a binary neutron star (BNS) merger that results in a long-lived remnant NS by performing a hydrodynamics simulation with the outflow data of a numerical relativity simulation as the initial condition. At the homologously expanding phase, the total ejecta mass reaches $\approx0.1\,M_\odot$ with an average velocity of $\approx0.1\,c$ and lanthanide fraction of $\approx 0.005$. We further perform the radiative transfer simulation employing the obtained ejecta profile. We find that, contrary to a naive expectation from the large ejecta mass and low lanthanide fraction, the optical emission is not as bright as that in GW170817/AT2017gfo, while the infrared emission can be brighter. This light curve property is attributed to preferential diffusion of photons toward the equatorial direction due to the prolate ejecta morphology, large opacity contribution of Zr, Y, and lanthanides, and low specific heating rate of the ejecta. Our results suggest that these light curve features could be used as an indicator for the presence of a long-lived remnant NS. We also found that the bright optical emission broadly consistent with GW170817/AT2017gfo is realized for the case that the high-velocity ejecta components in the polar region are suppressed. These results suggest that the remnant in GW170817/AT2017gfo is unlikely to be a long-lived NS, but might have collapsed to a black hole within ${\cal O}(0.1)$ s.


title: A loop enhancement strategy for network robustness

abstract: Many real systems are extremely vulnerable against attacks, since they are scale-free networks as commonly existing topological structure in them. Thus, in order to improve the robustness of connectivity, several edge rewiring methods have been so far proposed by enhancing degree-degree correlations. In fact, onion-like structures with positive degree-degree correlations are optimally robust against attacks. On the other hand, recent studies suggest that the robustness and loops are strongly related to each other. Therefore, we focus on enhancing loops as a new approach for improving the robustness. In this work, we propose edge rewiring methods and evaluate the effect on the robustness by applying to real networks. Our proposed methods are two types of rewirings in preserving degrees or not for investigating the effect of the degree modification on the robustness. Numerical results show that our proposed methods improve the robustness to the level as same or more than the state-of-the-art methods. Furthermore, our work shows that the following two points are more important for further improving the robustness. First, the robustness is strongly related to loops more than degree-degree correlations. Second, it significantly improves the robustness by reducing the gap between the maximum and minimum degrees.


title: Edge Computing Enabled by Unmanned Autonomous Vehicles

abstract: Pervasive applications are revolutionizing the perception that users have towards the environment. Indeed, pervasive applications perform resource intensive computations over large amounts of stream sensor data collected from multiple sources. This allows applications to provide richer and deep insights into the natural characteristics that govern everything that surrounds us. A key limitation of these applications is that they have high energy footprints, which in turn hampers the quality of experience of users. While cloud and edge computing solutions can be applied to alleviate the problem, these solutions are hard to adopt in existing architecture and far from become ubiquitous. Fortunately, cloudlets are becoming portable enough, such that they can be transported and integrated into any environment easily and dynamically. In this article, we investigate how cloudlets can be transported by unmanned autonomous vehicles (UAV)s to provide computation support on the edge. Based on our study, we develop GEESE, a novel UAVbased system that enables the dynamic deployment of an edge computing infrastructure through the cooperation of multiple UAVs carrying cloudlets. By using GEESE, we conduct rigorous experiments to analyze the effort to deliver cloudlets using aerial, ground, and underwater UAVs. Our results indicate that UAVs can work in a cooperative manner to enable edge computing in the wild.


title: Denoising quantum states with Quantum Autoencoders -- Theory and Applications

abstract: We implement a Quantum Autoencoder (QAE) as a quantum circuit capable of correcting Greenberger-Horne-Zeilinger (GHZ) states subject to various noisy quantum channels : the bit-flip channel and the more general quantum depolarizing channel. The QAE shows particularly interesting results, as it enables to perform an almost perfect reconstruction of noisy states, but can also, more surprisingly, act as a generative model to create noise-free GHZ states. Finally, we detail a useful application of QAEs : Quantum Secret Sharing (QSS). We analyze how noise corrupts QSS, causing it to fail, and show how the QAE allows the QSS protocol to succeed even in the presence of noise.


title: The Role of Ultraviolet Photons in Circumstellar Astrochemistry

abstract: Stars with masses between 1 and 8 solar masses (M$_\odot$) lose large amounts of material in the form of gas and dust in the late stages of stellar evolution, during their Asymptotic Giant Branch phase. Such stars supply up to 35% of the dust in the interstellar medium and thus contribute to the material out of which our solar system formed. In addition, the circumstellar envelopes of these stars are sites of complex, organic chemistry with over 80 molecules detected in them. We show that internal ultraviolet photons, either emitted by the star itself or from a close-in, orbiting companion, can significantly alter the chemistry that occurs in the envelopes particularly if the envelope is clumpy in nature. At least for the cases explored here, we find that the presence of a stellar companion, such as a white dwarf star, the high flux of UV photons destroys H$_2$O in the inner regions of carbon-rich AGB stars to levels below those observed and produces species such as C$^+$ deep in the envelope in contrast to the expectations of traditional descriptions of circumstellar chemistry.


title: Leveraging AI and Intelligent Reflecting Surface for Energy-Efficient Communication in 6G IoT

abstract: The ever-increasing data traffic, various delay-sensitive services, and the massive deployment of energy-limited Internet of Things (IoT) devices have brought huge challenges to the current communication networks, motivating academia and industry to move to the sixth-generation (6G) network. With the powerful capability of data transmission and processing, 6G is considered as an enabler for IoT communication with low latency and energy cost. In this paper, we propose an artificial intelligence (AI) and intelligent reflecting surface (IRS) empowered energy-efficiency communication system for 6G IoT. First, we design a smart and efficient communication architecture including the IRS-aided data transmission and the AI-driven network resource management mechanisms. Second, an energy efficiency-maximizing model under given transmission latency for 6G IoT system is formulated, which jointly optimizes the settings of all communication participants, i.e. IoT transmission power, IRS-reflection phase shift, and BS detection matrix. Third, a deep reinforcement learning (DRL) empowered network resource control and allocation scheme is proposed to solve the formulated optimization model. Based on the network and channel status, the DRL-enabled scheme facilities the energy-efficiency and low-latency communication. Finally, experimental results verified the effectiveness of our proposed communication system for 6G IoT.


title: Matrix patterns with bounded saturation function

abstract: A 0-1 matrix $M$ contains a 0-1 matrix pattern $P$ if we can obtain $P$ from $M$ by deleting rows and/or columns and turning arbitrary 1-entries into 0s. The saturation function $\mathrm{sat}(P,n)$ for a 0-1 matrix pattern $P$ indicates the minimum number of 1s in a $n \times n$ 0-1 matrix that does not contain $P$, but changing any 0-entry into a 1-entry creates an occurrence of $P$. Fulek and Keszegh recently showed that the saturation function is either bounded or in $\Theta(n)$. Building on their results, we find a large class of patterns with bounded saturation function, including both infinitely many permutation matrices and infinitely many non-permutation matrices.


title: Resource Analysis of Ethereum 2.0 Clients

abstract: Scalability is a common issue among the most used permissionless blockchains, and several approaches have been proposed accordingly. As Ethereum is set to be a solid foundation for a decentralized Internet web, the need for tackling scalability issues while preserving the security of the network is an important challenge. In order to successfully deliver effective scaling solutions, Ethereum is on the path of a major protocol improvement called Ethereum 2.0 (Eth2), which implements sharding. As the change of consensus mechanism is an extremely delicate matter, this improvement will be achieved through different phases, the first of which is the implementation of the Beacon Chain. For this, a specification has been developed and multiple groups have implemented clients to run the new protocol. In this work, we analyse the resource usage behaviour of different clients running as Eth2 nodes, comparing their performance and analysing differences. Our results show multiple network perturbations and how different clients react to it.


title: When does a perturbation of the equations preserve the normal cone

abstract: Let $(R,\mathfrak m)$ be a local ring and $I, J$ two arbitrary ideals of $R$. Let $\operatorname{gr}_J(R/I)$ denote the associated ring of $R/I$ with respect to $J$, which corresponds to the normal cone in geometry. The main result of this paper shows that if $I = (f_1,...,f_r)$, where $f_1,...,f_r$ is a $J$-filter regular sequence, there exists a number $N$ such that if $f_i' \equiv f_i \mod J^N$ and $I' = (f_1',...,f_r')$, then $\operatorname{gr}_J(R/I) \cong \operatorname{gr}_J(R/I')$. If $J$ is an $\mathfrak m$-primary ideal, this result implies a long standing conjecture of Srinivas and Trivedi on the invariance of the Hilbert-Samuel function under small perturbations, which has been solved recently by Ma, Quy and Smirnov. As a byproduct, the Artin-Rees number of $I$ and $I'$ with respect to $J$ are the same. Furthermore, we give explicit upper bounds for the smallest number $N$ with the above property. These results solve two problems raised by Ma, Quy and Smirnov. There are other interesting consequences on the invariance of the Achilles-Manaresi function, the relation type, the Castelnuovo-Mumford regularity, the Cohen-Macaulayness and the Gorensteiness of the Rees algebra of $R/I$ with respect to $J$ under small perturbation of $I$. We also prove a converse of the main result showing that the condition $I$ being generated by a $J$-filter regular sequence is the best possible for its validity. The main result can be also extended to perturbations with respect to filtrations of ideals. As a consequence, if $R$ is a power series ring, $f_1,...,f_r$ is a filter regular sequence, and $f_i'$ is the $n$-jet of $f_i$ for $n \gg 0$, then $I$ and $I'$ have the same initial ideal with respect to any Noetherian monomial order. A special case of this consequence was a conjecture of Adamus and Seyedinejad on approximations of analytic complete intersection singularities.