title: Rigorous results on the ground state of the attractive SU($N$) Hubbard model

abstract: We study the attractive SU($N$) Hubbard model with particle-hole symmetry. The model is defined on a bipartite lattice with the number of sites $N_A$ $(N_B)$ in the $A$ $(B)$ sublattice. We prove three theorems that allow us to identify the basic ground-state properties: the degeneracy, the fermion number, and the SU($N$) quantum number. We also show that the ground state exhibits charge density wave order when $|N_A-N_B|$ is macroscopically large. The theorems hold for a bipartite lattice in any dimension, even without translation invariance.

categories: cond-mat.str-el cond-mat.quant-gas cond-mat.stat-mech math-ph math.MP


title: Opportunities and Challenges in Code Search Tools

abstract: Code search is a core software engineering task. Effective code search tools can help developers substantially improve their software development efficiency and effectiveness. In recent years, many code search studies have leveraged different techniques, such as deep learning and information retrieval approaches, to retrieve expected code from a large-scale codebase. However, there is a lack of a comprehensive comparative summary of existing code search approaches. To understand the research trends in existing code search studies, we systematically reviewed 81 relevant studies. We investigated the publication trends of code search studies, analyzed key components, such as codebase, query, and modeling technique used to build code search tools, and classified existing tools into focusing on supporting seven different search tasks. Based on our findings, we identified a set of outstanding challenges in existing studies and a research roadmap for future code search research.


title: Effective Fusion Factor in FPN for Tiny Object Detection

abstract: FPN-based detectors have made significant progress in general object detection, e.g., MS COCO and PASCAL VOC. However, these detectors fail in certain application scenarios, e.g., tiny object detection. In this paper, we argue that the top-down connections between adjacent layers in FPN bring two-side influences for tiny object detection, not only positive. We propose a novel concept, fusion factor, to control information that deep layers deliver to shallow layers, for adapting FPN to tiny object detection. After series of experiments and analysis, we explore how to estimate an effective value of fusion factor for a particular dataset by a statistical method. The estimation is dependent on the number of objects distributed in each layer. Comprehensive experiments are conducted on tiny object detection datasets, e.g., TinyPerson and Tiny CityPersons. Our results show that when configuring FPN with a proper fusion factor, the network is able to achieve significant performance gains over the baseline on tiny object detection datasets. Codes and models will be released.


title: A Microscopic Theory of Softness in Supercooled Liquids

abstract: We introduce a new measure of the structure of a liquid which is the softness of the mean-field potential developed by us earlier. We find that this softness is sensitive to small changes in the structure. We then study its correlation with the supercooled liquid dynamics. The study involves a wide range of liquids (fragile, strong, attractive, repulsive, and active) and predicts some universal behaviours like the softness is linearly proportional to the temperature and inversely proportional to the activation barrier of the dynamics with system dependent proportionality constants. We write down a master equation between the dynamics and the softness parameter and show that indeed the dynamics when scaled by the temperature and system dependent parameters show a data collapse when plotted against softness. The dynamics of fragile liquids show a strong softness dependence whereas that of strong liquids show a much weaker softness dependence. We also connect the present study with the earlier studies of softness involving machine learning (ML) thus providing a theoretical framework for understanding the ML results.


title: Defocusing nonlocal nonlinear Schr\"odinger equation with step-like boundary conditions: long-time behavior for shifted initial data

abstract: The present paper deals with the long-time asymptotic analysis of the initial value problem for the integrable defocusing nonlocal nonlinear Schr\"odinger equation $ iq_{t}(x,t)+q_{xx}(x,t)-2 q^{2}(x,t)\bar{q}(-x,t)=0 $ with a step-like initial data: $q(x,0)\to 0$ as $x\to -\infty$ and $q(x,0)\to A$ as $x\to +\infty$. Since the equation is not translation invariant, the solution of this problem is sensitive to shifts of the initial data. We consider a family of problems, parametrized by $R>0$, with the initial data that can be viewed as perturbations of the "shifted step function" $q_{R,A}(x)$: $q_{R,A}(x)=0$ for $x<R$ and $q_{R,A}(x)=A$ for $x>R$, where $A>0$ and $R>0$ are arbitrary constants. We show that the asymptotics is qualitatively different in sectors of the $(x,t)$ plane, the number of which depends on the relationship between $A$ and $R$: for a fixed $A$, the bigger $R$, the larger number of sectors. Moreover, the sectors can be collected into 2 alternate groups: in the sectors of the first group, the solution decays to 0 while in the sectors of the second group, the solution approaches a constant (varying with the direction $x/t=const$).


title: Testing the mechanism of lepton compositness

abstract: Strict gauge invariance requires that physical left-handed leptons are actually bound states of the elementary left-handed lepton doublet and the Higgs field within the standard model. That they nonetheless behave almost like pure elementary particles is explained by the Fr\"ohlich-Morchio-Strocchi mechanism. Using lattice gauge theory, we test and confirm this mechanism for fermions. Though, due to the current inaccessibility of non-Abelian gauged Weyl fermions on the lattice, a model which contains vectorial leptons but which obeys all other relevant symmetries has been simulated.


title: Turbulent transport of fast ions in tokamak plasmas in the presence of resonant magnetic perturbations

abstract: The effects of resonant magnetic perturbations on the turbulent transport of fast ions in tokamak devices are investigated using a theoretical transport model of test-particle type. The direct numerical simulation method is used to compute, via the transport model, the diffusion coefficients. The numerical results are in good agreement with other, analytically derived, estimations. It is found that finite Larmor radius effects decrease algebraically the transport, while the amplitude of magnetic perturbations has an opposite effect. In the presence of stochastic dynamics, the asymmetric toroidal magnetic field induces a small, radial, outward pinch. A synergistic mechanism of non-linear coupling between turbulence and magnetic perturbations enhances the radial diffusion. General scaling laws are proposed for the transport coefficients.


title: Belief Propagation on the random $k$-SAT model

abstract: Corroborating a prediction from statistical physics, we prove that the Belief Propagation message passing algorithm approximates the partition function of the random $k$-SAT model well for all clause/variable densities and all inverse temperatures for which a modest absence of long-range correlations condition is satisfied. This condition is known as "replica symmetry" in physics language. From this result we deduce that a replica symmetry breaking phase transition occurs in the random $k$-SAT model at low temperature for clause/variable densities below but close to the satisfiability threshold.


title: Joint Curve Registration and Classification with Two-level Functional Models

abstract: Many classification techniques when the data are curves or functions have been recently proposed. However, the presence of misaligned problems in the curves can influence the performance of most of them. In this paper, we propose a model-based approach for simultaneous curve registration and classification. The method is proposed to perform curve classification based on a functional logistic regression model that relies on both scalar variables and functional variables, and to align curves simultaneously via a data registration model. EM-based algorithms are developed to perform maximum likelihood inference of the proposed models. We establish the identifiability results for curve registration model and investigate the asymptotic properties of the proposed estimation procedures. Simulation studies are conducted to demonstrate the finite sample performance of the proposed models. An application of the hyoid bone movement data from stroke patients reveals the effectiveness of the new models.


title: ALMA chemical survey of disk-outflow sources in Taurus (ALMA-DOT). IV. Thioformaldehyde (H$_2$CS) in protoplanetary disks: spatial distributions and binding energies

abstract: Aims: To trace the radial and vertical spatial distribution of H2CS, a key species of the S-bearing chemistry, in protoplanetary disks. To analyse the observed distributions in light of the H2CS binding energy, in order to discuss the role of thermal desorption in enriching the gas disk component. Methods: In the context of the ALMA chemical survey of Disk-Outflow sources in the Taurus star forming region (ALMA-DOT), we observed five Class I or early Class II sources with the o-H2CS(7_1,6-6_1,5) line on a 40 au scale. We estimated the binding energy (BEs) of H2CS using quantum mechanical calculations, for the first time, for an extended, periodic, crystalline ice. Results: We imaged H2CS in two rotating molecular rings in the HL Tau and IRAS04302+2247 disks. The outer radii are about 140 au (HL Tau), and 115 au (IRAS 04302+2247). The edge-on geometry of IRAS 04302+2247 reveals that H2CS emission peaks, at radii of 60-115 au, at z = +- 50 au from the equatorial plane. The column densities are about 10^14 cm^-2. For HL Tau, we derive, for the first time, the [H2CS]/[H] abundance in a protoplanetary disk (about 10^-14). The BEs of H2CS computed for extended crystalline ice and amorphous ices is 4258 K and 3000-4600 K, respectively, implying a thermal evaporation where dust temperature is larger than 50-80 K. Conclusions: H2CS traces the so-called warm molecular layer, a region previously sampled using CS, and H2CO. Thioformaldehyde peaks closer to the protostar than H2CO and CS, plausibly due to the relatively high-excitation level of observed 7_1,6-6_1,5 line (60 K). The H2CS BEs implies that thermal desorption dominates in thin, au-sized, inner and/or upper disk layers, indicating that the observed H2CS emitting up to radii larger than 100 au is likely injected in the gas due to non-thermal processes.


title: A Comparison of LiDAR-based SLAM Systems for Control of Unmanned Aerial Vehicles

abstract: This paper investigates the use of LiDAR SLAM as a pose feedback for autonomous flight. Cartographer, LOAM and HDL graph SLAM are first introduced on a conceptual level and later tested for this role. They are first compared offline on a series of datasets to see if they are capable of producing high-quality pose estimates in agile and long-range flight scenarios. The second stage of testing consists of integrating the SLAM algorithms into a cascade PID UAV control system and comparing the control system performance on step excitation signals and helical trajectories. The comparison is based on step response characteristics and several time integral performancecriteria as well as the RMS error between planned and executed trajectory.


title: FDRN: A Fast Deformable Registration Network for Medical Images

abstract: Deformable image registration is a fundamental task in medical imaging. Due to the large computational complexity of deformable registration of volumetric images, conventional iterative methods usually face the tradeoff between the registration accuracy and the computation time in practice. In order to boost the registration performance in both accuracy and runtime, we propose a fast convolutional neural network. Specially, to efficiently utilize the memory resources and enlarge the model capacity, we adopt additive forwarding instead of channel concatenation and deepen the network in each encoder and decoder stage. To facilitate the learning efficiency, we leverage skip connection within the encoder and decoder stages to enable residual learning and employ an auxiliary loss at the bottom layer with lowest resolution to involve deep supervision. Particularly, the low-resolution auxiliary loss is weighted by an exponentially decayed parameter during the training phase. In conjunction with the main loss in high-resolution grid, a coarse-to-fine learning strategy is achieved. Last but not least, we introduce an auxiliary loss based on the segmentation prior to improve the registration performance in Dice score. Comparing to the auxiliary loss using average Dice score, the proposed multi-label segmentation loss does not induce additional memory cost in the training phase and can be employed on images with arbitrary amount of categories. In the experiments, we show FDRN outperforms the existing state-of-the-art registration methods for brain MR images by resorting to the compact network structure and efficient learning. Besides, FDRN is a generalized framework for image registration which is not confined to a particular type of medical images or anatomy.


title: Database Intrusion Detection Systems (DIDs): Insider Threat Detection via Behavioural-based Anomaly Detection Systems -- A Brief Survey of Concepts and Approaches

abstract: One of the data security and privacy concerns is of insider threats, where legitimate users of the system abuse the access privileges they hold. The insider threat to data security means that an insider steals or leaks sensitive personal information. Database Intrusion detection systems, specifically behavioural-based database intrusion detection systems, have been shown effective in detecting insider attacks. This paper presents background concepts on database intrusion detection systems in the context of detecting insider threats and examines existing approaches in the literature on detecting malicious accesses by an insider to Database Management Systems (DBMS).


title: Towards Privacy in Geographic Message Dissemination for Connected Vehicles

abstract: With geographic message dissemination, connected vehicles can be served with traffic information in their proximity, thereby positively impacting road safety, traffic management, or routing. Since such messages are typically relevant in a small geographic area, servers only distribute messages to affected vehicles for efficiency reasons. One main challenge is to maintain scalability of the server infrastructure when collecting location updates from vehicles and determining the relevant group of vehicles when messages are distributed to a geographic relevance area, while at the same time respecting the individual user's privacy in accordance with legal regulations. In this paper, we present a framework for geographic message dissemination following the privacy-by-design and privacy-by-default principles, without having to accept efficiency drawbacks compared to conventional server-client based approaches.


title: Atmospheric NLTE models for the spectroscopic analysis of blue stars with winds. V. Complete comoving frame transfer, and updated modeling of X-ray emission

abstract: Context. Obtaining precise stellar and wind properties and abundance patterns of massive stars is crucial to understanding their nature and interactions with their environments, as well as to constrain their evolutionary paths and end-products. Aims. To enable higher versatility and precision of the complete UV to optical range, we improve our NLTE atmosphere and spectrum synthesis code FASTWIND. We also aim to obtain an advanced description of X-ray emission from wind-embedded shocks. Methods. We include a detailed comoving frame radiative transfer for the essential frequency range, but still apply methods that enable low turnaround times. Results. In most cases, our new results agree excellently with those from the alternative code CMFGEN, both regarding the total radiative acceleration, strategic optical lines, and the UV-range. The agreement regarding NIII4634-4640-4642 has improved, though there are still certain discrepancies, mostly related to line overlap effects in the extreme ultraviolet. In the UV range of our coolest models, we find differences in the predicted depression of the pseudo-continuum, most pronounced around Ly_alpha. The comparison between our new and previous FASTWIND version reveals an almost perfect agreement, except for NV 4603-4619. Using an improved, depth-dependent description for the filling factors of hot, X-ray emitting material, we confirm previous analytic scaling relations with our numerical models. Conclusions. We warn against uncritically relying on transitions, which are strongly affected by direct or indirect line-overlap effects. The predicted UV-continuum depression for the coolest grid-models needs to be checked, both observationally, and regarding the underlying atomic data. Wind lines from "super-ionized" ions such as OVI can, in principle, be used to constrain the distribution of wind-embedded shocks.


title: Multigaps superconductivity at unconventional Lifshitz transition in a 3D Rashba heterostructure at atomic limit

abstract: It is well known that the critical temperature of multi-gap superconducting 3D heterostructures at atomic limit (HAL) made of a superlattice of atomic layers with an electron spectrum made of several quantum subbands can be amplified by a shape resonance driven by the contact exchange interaction between different gaps. The $T_C$ amplification is achieved tuning the Fermi level near the singular nodal point at a Lifshitz transition for opening a neck. Recently high interest has been addressed to the breaking of inversion symmetry which leads to a linear-in-momentum spin-orbit induced spin splitting, universally referred to as Rashba spin-orbit coupling (RSOC) also in 3D layered metals. However the physics of multi-gap superconductivity near unconventional Lifshitz transitions in 3D HAL with RSOC, being in a non-BCS regime, is not known. The key result of this work getting the superconducting gaps by Bogoliubov theory and the 3D electron wave functions by solution of the Dirac equation is the feasibility of tuning multi-gap superconductivity by suitably matching the spin-orbit length with the 3D superlattice period. It is found that the presence of the RSOC amplifies both the k dependent anisotropic gap function and the critical temperature when the Fermi energy is tuned near the circular nodal line. Our results suggest a method to effectively vary the effect of RSOC on macroscopic superconductor condensates via the tuning of the superlattice modulation parameter in a way potentially relevant for spintronics functionalities in several existing experimental platforms and tunable materials needed for quantum devices for quantum computing.


title: Coexistence of pseudospin- and valley-Hall-like edge states in a photonic crystal with $C_{3v}$ symmetry

abstract: We demonstrate the coexistence of pseudospin- and valley-Hall-like edge states in a photonic crystal with $C_{3v}$ symmetry, which is composed of three interlacing triangular sublattices with the same lattice constants. By tuning the geometry of the sublattices, three complete photonic band gaps with nontrivial topology can be created, one of which is due to the band inversion associated with the pseudospin degree of freedom at the $\Gamma$ point and the other two due to the gapping out of Dirac cones associated with the valley degree of freedom at the $K, K'$ points. The system can support tri-band pseudospin- and valley-momentum locking edge states at properly designed domain-wall interfaces. Furthermore, to demonstrate the novel interplay of the two kinds of edge states in a single configuration, we design a four-channel system, where the unidirectional routing of electromagnetic waves against sharp bends between two routes can be selectively controlled by the pseudospin and valley degrees of freedom. Our work combines the pseudospin and valley degrees of freedom in a single configuration and may provide more flexibility in manipulating electromagnetic waves with promising potential for multiband and multifunctional applications.


title: Physical ZKP for Connected Spanning Subgraph: Applications to Bridges Puzzle and Other Problems

abstract: An undirected graph $G$ is known to both the prover $P$ and the verifier $V$, but only $P$ knows a subgraph $H$ of $G$. Without revealing any information about $H$, $P$ wants to convince $V$ that $H$ is a connected spanning subgraph of $G$, i.e. $H$ is connected and contains all vertices of $G$. In this paper, we propose an unconventional zero-knowledge proof protocol using a physical deck of cards, which enables $P$ to physically show that $H$ satisfies the condition without revealing it. We also show applications of this protocol to verify solutions of three well-known NP-complete problems: the Hamiltonian cycle problem, the maximum leaf spanning tree problem, and a popular logic puzzle called Bridges.


title: VAW-GAN for Disentanglement and Recomposition of Emotional Elements in Speech

abstract: Emotional voice conversion (EVC) aims to convert the emotion of speech from one state to another while preserving the linguistic content and speaker identity. In this paper, we study the disentanglement and recomposition of emotional elements in speech through variational autoencoding Wasserstein generative adversarial network (VAW-GAN). We propose a speaker-dependent EVC framework based on VAW-GAN, that includes two VAW-GAN pipelines, one for spectrum conversion, and another for prosody conversion. We train a spectral encoder that disentangles emotion and prosody (F0) information from spectral features; we also train a prosodic encoder that disentangles emotion modulation of prosody (affective prosody) from linguistic prosody. At run-time, the decoder of spectral VAW-GAN is conditioned on the output of prosodic VAW-GAN. The vocoder takes the converted spectral and prosodic features to generate the target emotional speech. Experiments validate the effectiveness of our proposed method in both objective and subjective evaluations.


title: Kernel Mean Embedding of Probability Measures and its Applications to Functional Data Analysis

abstract: This study intends to introduce kernel mean embedding of probability measures over infinite-dimensional separable Hilbert spaces induced by functional response statistical models. The embedded function represents the concentration of probability measures in small open neighborhoods, which identifies a pseudo-likelihood and fosters a rich framework for statistical inference. Utilizing Maximum Mean Discrepancy, we devise new tests in functional response models. The performance of new derived tests is evaluated against competitors in three major problems in functional data analysis including function-on-scalar regression, functional one-way ANOVA, and equality of covariance operators.


title: On the Boussinesq equations with non-monotone temperature profiles

abstract: In this article we consider the asymptotic stability of the two-dimensional Boussinesq equations with partial dissipation near a combination of Couette flow and temperature profiles $T(y)$. As a first main result we show that if $T'$ is of size at most $\nu^{1/3}$ in a suitable norm, then the linearized Boussinesq equations with only vertical dissipation of the velocity but not of the temperature are stable. Thus, mixing enhanced dissipation can suppress Rayleigh-B\'enard instability in this linearized case. We further show that these results extend to the (forced) nonlinear equations with vertical dissipation in both temperature and velocity.


title: Surface Tension: Accelerated Expansion, Coincidence Problem & Hubble Tension

abstract: In this paper we give a physical explanation to the accelerated expansion of the Universe, alleviating the tension between the discrepancy of Hubble constant measurements. By the Euler Cauchy stress principle, we identify a controversy on the lack of consideration of the surface forces contemplated in the study of the expansion of the Universe. We distinguish a new effect that modifies the spacetime fabric by means of the energy conservation equation. The resulting dynamical equations from the proposed hypothesis are contrasted to several testable astrophysical predictions. This paper also explains why we have not found any particle or fluid responsible for dark energy and clarifies the Cosmological Coincidence Problem. These explanations are achieved without assuming the existence of exotic matter of unphysical meaning or having to modify the Einstein's Field Equations.


title: Deformation of Asymptotic Symmetry Algebras and Their Physical Realizations

abstract: This thesis is devoted to the study of the deformation and rigidity of infinite dimensional Lie algebras which are not subject to the Hochschild-Serre factorization theorem. In particular, we consider $bms_{3}$, Virasoro-Kac-Moody and $bms_{4}$ algebras and their central extensions which are respectively obtained as asymptotic and/or near horizon symmetry algebras for Einstein gravity on $3d$ flat, AdS$_{3}$ and $4d$ flat spacetimes. We also explore possible deformations of the Maxwell-BMS algebra, which is obtained as asymptotic symmetry algebra of the Chern-Simons gravity theory invariant under the $2+1$ dimensional Maxwell algebra. We find that these algebras are not rigid and can be deformed into new non isomorphic infinite dimensional (family of) algebras. We study these deformations by direct computations and also by cohomological analysis. We then classify all the algebras obtained through deformation of these algebras as well as all possible central extensions thereof. We propose/conjecture an extension of the Hochschild-Serre factorization theorem for infinite dimensional algebras as well as introducing a new notion of rigidity for family algebras obtained through deformation. We also explore physical realizations and significance of the family of algebras we obtain through the deformation procedure.


title: Widely-distributed Radar Imaging Based on Consensus ADMM

abstract: A widely-distributed radar system is a promising architecture to enhance radar imaging performance. However, most existing algorithms rely on isotropic scattering assumption, which is only satisfied in collocated radar systems. Moreover, due to noise and imaging model imperfections, artifacts such as layovers are common in radar images. In this paper, a novel $l_1$-regularized, consensus alternating direction method of multipliers (CADMM) based algorithm is proposed to mitigate artifacts by exploiting a widely-distributed radar system's spatial diversity. By imposing the consensus constraints on the local images formed by distributed antenna clusters and solving the resulting distributed optimization problem, the scenario's spatial-invariant common features are retained. Simultaneously, the spatial-variant artifacts are mitigated, and it will finally converge to a high-quality global image in the consensus of all distributed measurements. The proposed algorithm outperforms the joint sparsity-based composite imaging (JSC) algorithm in terms of artifacts mitigation. It can also reduce the computation and storage burden of large-scale imaging problems through its distributed and parallelizable optimization scheme.


title: PCP Theorems, SETH and More: Towards Proving Sub-linear Time Inapproximability

abstract: In this paper we propose the PCP-like theorem for sub-linear time inapproximability. Abboud et al. have devised the distributed PCP framework for sub-quadratic time inapproximability. We show that the distributed PCP theorem can be generalized for proving arbitrary polynomial time inapproximability, but fails in the linear case. We prove the sub-linear PCP theorem by adapting from an MA-protocol for the Set Containment problem, and show how to use the theorem to prove both existing and new inapproximability results, exhibiting the power of the sub-linear PCP theorem. Considering the emerging research works on sub-linear time algorithms, the sub-linear PCP theorem is important in guiding the research in sub-linear time approximation algorithms.


title: Generating functions for local symplectic groupoids and non-perturbative semiclassical quantization

abstract: This paper contains three results about generating functions for Lie-theoretic integration of Poisson brackets and their relation to quantization. In the first, we show how to construct a generating function associated to the germ of any local symplectic groupoid and we provide an explicit (smooth, non-formal) universal formula $S_\pi$ for integrating any Poisson structure $\pi$ on a coordinate space. The second result involves the relation to semiclassical quantization. We show that the formal Taylor expansion of $S_{t\pi}$ around $t=0$ yields an extract of Kontsevich's star product formula based on tree-graphs, recovering the formal family introduced by Cattaneo, Dherin and Felder in [6]. The third result involves the relation to semiclassical aspects of the Poisson Sigma model. We show that $S_\pi$ can be obtained by non-perturbative functional methods, evaluating a certain functional on families of solutions of a PDE on a disk, for which we show existence and classification.


title: Fast Data-Driven Learning of MRI Sampling Pattern for Large Scale Problems

abstract: Purpose: A fast data-driven optimization approach, named bias-accelerated subset selection (BASS), is proposed for learning efficacious sampling patterns (SPs) with the purpose of reducing scan time in large-dimensional parallel MRI. Methods: BASS is applicable when Cartesian fully-sampled k-space data of specific anatomy is available for training and the reconstruction method is specified, learning which k-space points are more relevant for the specific anatomy and reconstruction in recovering the non-sampled points. BASS was tested with four reconstruction methods for parallel MRI based on low-rankness and sparsity that allow a free choice of the SP. Two datasets were tested, one of the brain images for high-resolution imaging and another of knee images for quantitative mapping of the cartilage. Results: BASS, with its low computational cost and fast convergence, obtained SPs 100 times faster than the current best greedy approaches. Reconstruction quality increased up to 45\% with our learned SP over that provided by variable density and Poisson disk SPs, considering the same scan time. Optionally, the scan time can be nearly halved without loss of reconstruction quality. Conclusion: Compared with current approaches, BASS can be used to rapidly learn effective SPs for various reconstruction methods, using larger SP and larger datasets. This enables a better selection of efficacious sampling-reconstruction pairs for specific MRI problems.


title: Indic-Transformers: An Analysis of Transformer Language Models for Indian Languages

abstract: Language models based on the Transformer architecture have achieved state-of-the-art performance on a wide range of NLP tasks such as text classification, question-answering, and token classification. However, this performance is usually tested and reported on high-resource languages, like English, French, Spanish, and German. Indian languages, on the other hand, are underrepresented in such benchmarks. Despite some Indian languages being included in training multilingual Transformer models, they have not been the primary focus of such work. In order to evaluate the performance on Indian languages specifically, we analyze these language models through extensive experiments on multiple downstream tasks in Hindi, Bengali, and Telugu language. Here, we compare the efficacy of fine-tuning model parameters of pre-trained models against that of training a language model from scratch. Moreover, we empirically argue against the strict dependency between the dataset size and model performance, but rather encourage task-specific model and method selection. We achieve state-of-the-art performance on Hindi and Bengali languages for text classification task. Finally, we present effective strategies for handling the modeling of Indian languages and we release our model checkpoints for the community : https://huggingface.co/neuralspace-reverie.


title: Flip graphs for infinite type surfaces

abstract: We associate to triangulations of infinite type surface a type of flip graph where simultaneous flips are allowed. Our main focus is on understanding exactly when two triangulations can be related by a sequence of flips. A consequence of our results is that flip graphs for infinite type surfaces have uncountably many connected components.


title: A Multistage View on 2-Satisfiability

abstract: We study $q$-SAT in the multistage model, focusing on the linear-time solvable 2-SAT. Herein, given a sequence of $q$-CNF fomulas and a non-negative integer $d$, the question is whether there is a sequence of satisfying truth assignments such that for every two consecutive truth assignments, the number of variables whose values changed is at most $d$. We prove that Multistage 2-SAT is NP-hard even in quite restricted cases. Moreover, we present parameterized algorithms (including kernelization) for Multistage 2-SAT and prove them to be asymptotically optimal.


title: Thermodynamics of Warped Anti-de Sitter Black Holes under Scattering of Scalar Field

abstract: We investigate the thermodynamics and stability of the horizons in warped anti-de Sitter black holes of the new massive gravity under the scattering of a massive scalar field. Under scattering, conserved quantities can be transferred from the scalar field to the black hole, which change the state of the black hole. We determine that the changes in the black hole are well coincident with the laws of thermodynamics. In particular, the Hawking temperature of the black hole cannot be zero in the process as per the third law of thermodynamics. Furthermore, the black hole cannot be overspun beyond the extremal condition under the scattering of any mode of the scalar field.


title: InferBench: Understanding Deep Learning Inference Serving with an Automatic Benchmarking System

abstract: Deep learning (DL) models have become core modules for many applications. However, deploying these models without careful performance benchmarking that considers both hardware and software's impact often leads to poor service and costly operational expenditure. To facilitate DL models' deployment, we implement an automatic and comprehensive benchmark system for DL developers. To accomplish benchmark-related tasks, the developers only need to prepare a configuration file consisting of a few lines of code. Our system, deployed to a leader server in DL clusters, will dispatch users' benchmark jobs to follower workers. Next, the corresponding requests, workload, and even models can be generated automatically by the system to conduct DL serving benchmarks. Finally, developers can leverage many analysis tools and models in our system to gain insights into the trade-offs of different system configurations. In addition, a two-tier scheduler is incorporated to avoid unnecessary interference and improve average job compilation time by up to 1.43x (equivalent of 30\% reduction). Our system design follows the best practice in DL clusters operations to expedite day-to-day DL service evaluation efforts by the developers. We conduct many benchmark experiments to provide in-depth and comprehensive evaluations. We believe these results are of great values as guidelines for DL service configuration and resource allocation.


title: Waste-free Sequential Monte Carlo

abstract: A standard way to move particles in a SMC sampler is to apply several steps of a MCMC (Markov chain Monte Carlo) kernel. Unfortunately, it is not clear how many steps need to be performed for optimal performance. In addition, the output of the intermediate steps are discarded and thus wasted somehow. We propose a new, waste-free SMC algorithm which uses the outputs of all these intermediate MCMC steps as particles. We establish that its output is consistent and asymptotically normal. We use the expression of the asymptotic variance to develop various insights on how to implement the algorithm in practice. We develop in particular a method to estimate, from a single run of the algorithm, the asymptotic variance of any particle estimate. We show empirically, through a range of numerical examples, that waste-free SMC tends to outperform standard SMC samplers, and especially so in situations where the mixing of the considered MCMC kernels decreases across iterations (as in tempering or rare event problems).


title: Single channel voice separation for unknown number of speakers under reverberant and noisy settings

abstract: We present a unified network for voice separation of an unknown number of speakers. The proposed approach is composed of several separation heads optimized together with a speaker classification branch. The separation is carried out in the time domain, together with parameter sharing between all separation heads. The classification branch estimates the number of speakers while each head is specialized in separating a different number of speakers. We evaluate the proposed model under both clean and noisy reverberant set-tings. Results suggest that the proposed approach is superior to the baseline model by a significant margin. Additionally, we present a new noisy and reverberant dataset of up to five different speakers speaking simultaneously.


title: Adaptive Combinatorial Allocation

abstract: We consider settings where an allocation has to be chosen repeatedly, returns are unknown but can be learned, and decisions are subject to constraints. Our model covers two-sided and one-sided matching, even with complex constraints. We propose an approach based on Thompson sampling. Our main result is a prior-independent finite-sample bound on the expected regret for this algorithm. Although the number of allocations grows exponentially in the number of participants, the bound does not depend on this number. We illustrate the performance of our algorithm using data on refugee resettlement in the United States.


title: Arithmetic of p-irregular modular forms: families and p-adic L-functions

abstract: Let $f_{\mathrm{new}}$ be a classical newform of weight $\geq 2$ and prime to $p$ level. We study the arithmetic of $f_{\mathrm{new}}$ and its unique $p$-stabilisation $f$ when $f_{\mathrm{new}}$ is $p$-irregular, that is, when its Hecke polynomial at $p$ admits a single repeated root. In particular, we study $p$-adic weight families through $f$ and its base-change to an imaginary quadratic field $F$ where $p$ splits, and prove that the respective eigencurves are both Gorenstein at $f$. We use this to construct a two-variable $p$-adic $L$-function over a Coleman family through $f$, and a three-variable $p$-adic $L$-function over the base-change of this family to $F$. We relate the two- and three-variable $p$-adic $L$-functions via $p$-adic Artin formalism. These results are used in work of Xin Wan to prove the Iwasawa Main Conjecture in this case. In an appendix, we prove results towards Hida duality for modular symbols, constructing a pairing between Hecke algebras and families of overconvergent modular symbols and proving that it is non-degenerate locally around any cusp form. This allows us to control the sizes of (classical and Bianchi) Hecke algebras in families.


title: Deep Learning Assisted mmWave Beam Prediction with Prior Low-frequency Information

abstract: Huge overhead of beam training poses a significant challenge to mmWave communications. To address this issue, beam tracking has been widely investigated whereas existing methods are hard to handle serious multipath interference and non-stationary scenarios. Inspired by the spatial similarity between low-frequency and mmWave channels in non-standalone architectures, this paper proposes to utilize prior low-frequency information to predict the optimal mmWave beam, where deep learning is adopted to enhance the prediction accuracy. Specifically, periodically estimated low-frequency channel state information (CSI) is applied to track the movement of user equipment, and timing offset indicator is proposed to indicate the instant of mmWave beam training relative to low-frequency CSI estimation. Meanwhile, long-short term memory networks based dedicated models are designed to implement the prediction. Simulation results show that our proposed scheme can achieve higher beamforming gain than the conventional methods while requiring little overhead of mmWave beam training.


title: Physical limitations on broadband invisibility based on fast-light media

abstract: This note is a comment on a recent article [Tsakmakidis, et al., Nat Commun 10 (2019)] that presents a thought-provoking proposal to overcome the bandwidth restrictions of invisibility cloaks based on using media that support superluminal (faster than light in free space) group and phase velocities. As illustrated in Fig. 1 of the original article, a wave packet propagating through such a fast-light cloak is alleged to be able to reach the side behind the cloaked object simultaneously with a corresponding wave packet propagating through the shorter, direct route in free space without the object, so that "no shadow or waveform distortion arises." As the authors claim, the "extra pathlength is balanced out by the correspondingly larger group velocity of the pulse in the cloak", which allows to "restore the incident field distribution all around the object in, both, amplitude and phase". This fast-light effect may be achieved in a broadband fashion using active (gain) materials. The authors claim that such a fast-light cloak can hide an object, even from time-of-flight detection techniques, and achieve invisibility "over any desired frequency band." We disagree with these claims and believe that a thorough clarification of the ideas put forward in the original article is important and necessary for the broad wave-physics community. Specifically, in this comment we clarify that invisibility cloaks based on fast-light media suffer from fundamental bandwidth restrictions that arise due to causality, the nature of superluminal wave propagation, and the stability issues of active systems. These limitations and issues were not addressed in [Tsakmakidis, et al., Nat Commun 10 (2019)]. Most importantly, we show that the material model considered in the original article is unphysical.


title: A Gelfand-Tsetlin type base for the algebra $\mathfrak{sp}_4$ and hypergeometric functions

abstract: In the paper a realization of representation of a Lie algebra $\mathfrak{sp}_4$ in the space of function on the Lie group $Sp_4$ is considered. We find a function corresponding to a Gelfand-Tsetlin type vector for $\mathfrak{sp}_4$ constructed by D.P. Zhelobenko. This function is expressed though a $A$-hypergeometric function. After developing some new technique we derive analytically formulas for the action of generators of algebra in this base (the were not known before). These formula turn out to be much more difficult than the formulas for the action of generators in the Gelfand-Tsetlin type base constructed by Molev.


title: Localization in Power-Constrained Terahertz-Operating Software-Defined Metamaterials

abstract: Software-Defined Metamaterials (SDMs) show a strong potential for advancing the engineered control of electromagnetic waves. As such, they are envisioned to enable a variety of exciting applications, among others in the domains of smart textiles, high-resolution structural monitoring, and sensing in challenging environments. Many of the applications envisage deformations of the SDM structures, such as their bending, stretching or rolling, which implies that the locations of metamaterial elements will be changing relative to one another. In this paper, we argue that if the metamaterial elements would be accurately localizable, this location information could potentially be utilized for enabling novel SDM applications, as well as for optimizing the control of the elements themselves. To enable their localization, we assume that these elements are controlled wirelessly through a Terahertz (THz)-operating nanonetwork. We consider the elements to be power-constrained, with their sole powering option being to harvest energy from different environmental sources. By means of simulation, we demonstrate sub-millimeter accuracy of the two-way Time of Flight (ToF)-based localization, as well as high availability of the service (i.e., consistently more than 80% of the time), which is a result of the low energy consumed in the localization process. Finally, we qualitatively characterize the latency of the proposed localization service, as well as outline several challenges and future research directions.


title: Fault Detection for Covered Conductors With High-Frequency Voltage Signals: From Local Patterns to Global Features

abstract: The detection and characterization of partial discharge (PD) are crucial for the insulation diagnosis of overhead lines with covered conductors. With the release of a large dataset containing thousands of naturally obtained high-frequency voltage signals, data-driven analysis of fault-related PD patterns on an unprecedented scale becomes viable. The high diversity of PD patterns and background noise interferences motivates us to design an innovative pulse shape characterization method based on clustering techniques, which can dynamically identify a set of representative PD-related pulses. Capitalizing on those pulses as referential patterns, we construct insightful features and develop a novel machine learning model with a superior detection performance for early-stage covered conductor faults. The presented model outperforms the winning model in a Kaggle competition and provides the state-of-the-art solution to detect real-time disturbances in the field.


title: An optimization derivation of the method of conjugate gradients

abstract: We give a derivation of the method of conjugate gradients based on the requirement that each iterate minimizes a strictly convex quadratic on the space spanned by the previously observed gradients. Rather than verifying that the search direction has the correct properties, we show that generation of such iterates is equivalent to generation of orthogonal gradients which gives the description of the direction and the step length. Our approach gives a straightforward way to see that the search direction of the method of conjugate gradients is a negative scalar times the gradient of minimum Euclidean norm evaluated on the affine span of the iterates generated so far.


title: Soft Attention Convolutional Neural Networks for Rare Event Detection in Sequences

abstract: Automated event detection in the sequences is an important aspect of temporal data analytics. The events can be in the form of peaks, changes in data distribution, changes of spectral characteristics etc. In this work, we propose a Soft-Attention Convolutional Neural Network (CNN) based approach for rare event detection in sequences. For the purpose of demonstration, we experiment with well logs where we aim to detect events depicting the changes in the geological layers (a.k.a. well tops/markers). Well logs (single or multivariate) are inputted to a soft attention CNN and a model is trained to locate the marker position. Attention mechanism enables the machine to relatively scale the relevant log features for the task. Experimental results show that our approach is able to locate the rare events with high precision.


title: Jumping flatness and Aluthge transform of recursive weighted shifts

abstract: We devote this paper to Hamburger type weighted shifts. We give in particular an affirmative answer to a problem concerning subnormality of the Aluthge transform of Hamburger moment measures with finite support. we also extend the notion flatness, jumping flatness property, introduced recently by Exner et all for Hamburger-type weighted shift and provide obtain several results related to the representing measure of such weighted shifts.


title: An ontology-based chatbot for crises management: use case coronavirus

abstract: Today is the era of intelligence in machines. With the advances in Artificial Intelligence, machines have started to impersonate different human traits, a chatbot is the next big thing in the domain of conversational services. A chatbot is a virtual person who is capable to carry out a natural conversation with people. They can include skills that enable them to converse with the humans in audio, visual, or textual formats. Artificial intelligence conversational entities, also called chatbots, conversational agents, or dialogue system, are an excellent example of such machines. Obtaining the right information at the right time and place is the key to effective disaster management. The term "disaster management" encompasses both natural and human-caused disasters. To assist citizens, our project is to create a COVID Assistant to provide the need of up to date information to be available 24 hours. With the growth in the World Wide Web, it is quite intelligible that users are interested in the swift and relatedly correct information for their hunt. A chatbot can be seen as a question-and-answer system in which experts provide knowledge to solicit users. This master thesis is dedicated to discuss COVID Assistant chatbot and explain each component in detail. The design of the proposed chatbot is introduced by its seven components: Ontology, Web Scraping module, DB, State Machine, keyword Extractor, Trained chatbot, and User Interface.


title: On Asymptotic Preserving schemes for a class of Stochastic Differential Equations in averaging and diffusion approximation regimes

abstract: We introduce and study a notion of Asymptotic Preserving schemes, related to convergence in distribution, for a class of slow-fast Stochastic Differential Equations. In some examples, crude schemes fail to capture the correct limiting equation resulting from averaging and diffusion approximation procedures. We propose examples of Asymptotic Preserving schemes: when the time-scale separation vanishes, one obtains a limiting scheme, which is shown to be consistent in distribution with the limiting Stochastic Differential Equation. Numerical experiments illustrate the importance of the proposed Asymptotic Preserving schemes for several examples. In addition, in the averaging regime, error estimates are obtained and the proposed scheme is proved to be uniformly accurate.


title: Deep Reinforcement Learning in Electricity Generation Investment for the Minimization of Long-Term Carbon Emissions and Electricity Costs

abstract: A change from a high-carbon emitting electricity power system to one based on renewables would aid in the mitigation of climate change. Decarbonization of the electricity grid would allow for low-carbon heating, cooling and transport. Investments in renewable energy must be made over a long time horizon to maximise return of investment of these long life power generators. Over these long time horizons, there exist multiple uncertainties, for example in future electricity demand and costs to consumers and investors. To mitigate for imperfect information of the future, we use the deep deterministic policy gradient (DDPG) deep reinforcement learning approach to optimize for a low-cost, low-carbon electricity supply using a modified version of the FTT:Power model. In this work, we model the UK and Ireland electricity markets. The DDPG algorithm is able to learn the optimum electricity mix through experience and achieves this between the years of 2017 and 2050. We find that a change from fossil fuels and nuclear power to renewables, based upon wind, solar and wave would provide a cheap and low-carbon alternative to fossil fuels.


title: Large Time Asymptotic Behaviors of Two Types of Fast Diffusion Equations

abstract: We consider two types of non linear fast diffusion equations in R^N:(1) External drift type equation with general external potential. It is a natural extension of the harmonic potential case, which has been studied in many papers. In this paper we can prove the large time asymptotic behavior to the stationary state by using entropy methods.(2) Mean-field type equation with the convolution term. The stationary solution is the minimizer of the free energy functional, which has direct relation with reverse Hardy-Littlewood-Sobolev inequalities. In this paper, we prove that for some special cases, it also exists large time asymptotic behavior to the stationary state.


title: On the smallest singular value of symmetric random matrices

abstract: We show that for an $n\times n$ random symmetric matrix $A_n$, whose entries on and above the diagonal are independent copies of a sub-Gaussian random variable $\xi$ with mean $0$ and variance $1$, \[\mathbb{P}[s_n(A_n) \le \epsilon/\sqrt{n}] \le O_{\xi}(\epsilon^{1/8} + \exp(-\Omega_{\xi}(n^{1/2}))) \quad \text{for all } \epsilon \ge 0.\] This improves a result of Vershynin, who obtained such a bound with $n^{1/2}$ replaced by $n^{c}$ for a small constant $c$, and $1/8$ replaced by $(1/8) + \eta$ (with implicit constants also depending on $\eta > 0$). Furthermore, when $\xi$ is a Rademacher random variable, we prove that \[\mathbb{P}[s_n(A_n) \le \epsilon/\sqrt{n}] \le O(\epsilon^{1/8} + \exp(-\Omega((\log{n})^{1/4}n^{1/2}))) \quad \text{for all } \epsilon \ge 0.\] The special case $\epsilon = 0$ improves a recent result of Campos, Mattos, Morris, and Morrison, which showed that $\mathbb{P}[s_n(A_n) = 0] \le O(\exp(-\Omega(n^{1/2}))).$ The main innovation in our work are new notions of arithmetic structure -- the Median Regularized Least Common Denominator and the Median Threshold, which we believe should be more generally useful in contexts where one needs to combine anticoncentration information of different parts of a vector.


title: Long-time existence for semi-linear beam equations on irrational tori

abstract: We consider the semi-linear beam equation on the d dimensional irrational torus with smooth nonlinearity of order n -- 1 with n $\ge$ 3 and d $\ge$ 2. If $\epsilon$ $\ll$ 1 is the size of the initial datum, we prove that the lifespan T$\epsilon$ of solutions is O($\epsilon$ --A(n--2) --) where A $\not\equiv$ A(d, n) = 1 + 3 d--1 when n is even and A = 1 + 3 d--1 + max(4--d d--1 , 0) when n is odd. For instance for d = 2 and n = 3 (quadratic nonlinearity) we obtain T$\epsilon$ = O($\epsilon$ --6 --), much better than O($\epsilon$ --1), the time given by the local existence theory. The irrationality of the torus makes the set of differences between two eigenvalues of $\sqrt$ $\Delta$ 2 + 1 accumulate to zero, facilitating the exchange between the high Fourier modes and complicating the control of the solutions over long times. Our result is obtained by combining a Birkhoff normal form step and a modified energy step.


title: Enumeration of algebraic and tropical singular hypersurfaces

abstract: We develop a version of Mikhalkin's lattice path algorithm for projective hypersurfaces of arbitrary degree and dimension, which enumerates singular tropical hypersurfaces passing through appropriate configuration of points. By proving a correspondence theorem combined with the lattice path algorithm, we construct a $\delta$ dimensional linear space of degree $ d $ real hypersurfaces containing $\frac{1}{\delta!} (\gamma_nd^n)^\delta + O(d^{n\delta-1})$ hypersurfaces with $ \delta $ real nodes, where $ \gamma_n $ are positive and given by a recursive formula. This is asymptotically comparable to the number $ \frac{1}{\delta!} \left( (n+1)(d-1)^n \right)^{\delta}+O\left(d^{n(\delta-1)} \right) $ of complex hypersurfaces having $ \delta $ nodes in a $ \delta $ dimensional linear space. In the case $ \delta=1 $ we give a slightly better leading term.


title: Enhancing chaos in multistability regions of Duffing map for an asymmetric image encryption algorithm

abstract: This paper investigates and analyzes the dynamics of the two-dimensional Duffing map. Multistability behavior has been observed from the system numerically. Such behavior, especially the coexistence of chaotic and periodic attractors, is undesirable in the applications of chaos-based cryptography. Therefore, we design and implement a Sine-Cosine chaotification technique to enhance chaos in the multistable regions. Furthermore, this paper proposes a new image encryption algorithm to examine the performance of the generalized Duffing map in cryptography applications. Simulation results and security analysis reveal that the proposed algorithm can effectively encrypt and decrypt several image types with a high level of security.


title: Indeterminism in Physics and Intuitionistic Mathematics

abstract: Most physics theories are deterministic, with the notable exception of quantum mechanics which, however, comes plagued by the so-called measurement problem. This state of affairs might well be due to the inability of standard mathematics to "speak" of indeterminism, its inability to present us a worldview in which new information is created as time passes. In such a case, scientific determinism would only be an illusion due to the timeless mathematical language scientists use. To investigate this possibility it is necessary to develop an alternative mathematical language that is both powerful enough to allow scientists to compute predictions and compatible with indeterminism and the passage of time. We argue that intuitionistic mathematics provides such a language and we illustrate it in simple terms.

categories: physics.hist-ph gr-qc math-ph math.MP quant-ph


title: Effectiveness of isolation measures with app support to contain COVID-19 epidemics: a parametric approach

abstract: In this study, we analyze the effectiveness of measures aimed at finding and isolating infected individuals to contain epidemics like COVID-19, as the suppression induced over the effective reproduction number. We develop a mathematical model to compute the relative suppression of the effective reproduction number of an epidemic that such measures produce. This outcome is expressed as a function of a small set of parameters that describe the main features of the epidemic and summarize the effectiveness of the isolation measures. In particular, we focus on the impact when a fraction of the population uses a mobile application for epidemic control. Finally, we apply the model to COVID-19, providing several computations as examples, and a link to a public repository to run custom calculations. These computations display in a quantitative manner the importance of recognizing infected individuals from symptoms and contact-tracing information, and isolating them as early as possible. The computations also assess the impact of each variable on the suppression of the epidemic.


title: Study of the superconducting ground state of topological superconducting candidates Ti$_{3}$X (X = Ir, Sb)

abstract: The topologically non-trivial band structure of A15 compounds has drawn attention owing to the possible realization of topological superconductivity. Here, we report a microscopic investigation of the superconducting ground state in A15 compound Ti$_{3}$X (X = Ir, Sb) by muon spectroscopy measurements. Zero field muon measurements have shown that time-reversal symmetry is preserved in these materials. Furthermore, specific heat and a transverse field muon spectroscopy measurement rule out any possibility to have a nodal or anisotropic superconducting gap, revealing a conventional s-wave nature in the superconducting ground state. This work classifies A15 compound Ti$_{3}$X (X = Ir, Sb) as a time-reversal preserved topological superconductor.


title: Switched Optimal Control and Dwell Time Constraints: A Preliminary Study

abstract: Most modern control systems are switched, meaning they have continuous as well as discrete decision variables. Switched systems often have constraints called dwell-time constraints (e.g., cycling constraints in a heat pump) on the switching rate. This paper introduces an embedding-based-method to solve optimal control problems that have both discrete and continuous decision variables. Unlike existing methods, the developed technique can heuristically incorporate dwell-time constraints via an auxiliary cost, while also preserving other state and control constrains of the problem. Simulations results for a switched optimal control problem with and without the auxiliary cost showcase the utility of the developed method.


title: The Limits of Differential Privacy (and its Misuse in Data Release and Machine Learning)

abstract: Differential privacy (DP) is a neat privacy definition that can co-exist with certain well-defined data uses in the context of interactive queries. However, DP is neither a silver bullet for all privacy problems nor a replacement for all previous privacy models. In fact, extreme care should be exercised when trying to extend its use beyond the setting it was designed for. This paper reviews the limitations of DP and its misuse for individual data collection, individual data release, and machine learning.


title: Toward a Comprehensive Model of Snow Crystal Growth: 9. Characterizing Structure-Dependent Attachment Kinetics near -4 C

abstract: In this paper I examine snow crystal growth near -4 C in comparison with a comprehensive model that includes Structure-Dependent Attachment Kinetics (SDAK). Together with the previous paper in this series that investigated growth near 14 C, I show that a substantial body of experimental data now supports the existence of pronounced 'SDAK dips' on basal surfaces near -4 C and on prism surfaces near -14 C. In both cases, the model suggests that edge-associated surface diffusion greatly reduces the nucleation barrier on narrow facet surfaces relative to that found on broad facets. The remarkable quantitative similarities in the growth behaviors near -4 C and -14 C suggest that these two SDAK features arise from essentially the same physical mechanism occurring at different temperatures on the two principal facets. When applied to atmospheric snow crystal formation, this comprehensive model can explain the recurrent morphological transitions between platelike and columnar growth seen in the Nakaya diagram.


title: Cooperative Multi-Beam Routing for Multi-IRS Aided Massive MIMO

abstract: Intelligent reflecting surface (IRS) is envisioned to play a significant role in future wireless communication systems thanks to its powerful capability of enabling smart and reconfigurable radio environment. In this paper, we study the multi-IRS aided downlink communication in a massive multiple-input multiple-output (MIMO) system, where a multi-antenna BS simultaneously serves multiple remote single-antenna users with orthogonal beams reflected by multiple IRSs. By exploiting the line-of-sight (LoS) link between each pair of selected IRSs, a multi-hop cascaded LoS link can be established between the BS and each user via their cooperative beam routing. Under this setup, we optimize the selected IRSs and their beam routing path for each user, along with the BS/IRS active/passive beamforming such that the minimum received signal power among all users is maximized, subject to a new multi-beam routing path separation constraint for avoiding the inter-user/route interference. To tackle this problem, we first derive the optimal BS/IRS active/passive beamforming in closed-form for any given beam routes and show the beam routing optimization is NP-complete by recasting it as an equivalent graph-optimization problem. To solve this challenging problem, we then propose an efficient recursive algorithm to partially enumerate the feasible solutions, which effectively balances the performance-complexity trade-off by tuning its design parameter. Numerical results demonstrate that the proposed algorithm can achieve near-optimal performance with low enumeration complexity and also outperform other benchmark schemes.


title: Quantum Higgs Inflation

abstract: The Higgs field is an attractive candidate for the inflaton because it is an observationally confirmed fundamental scalar field. Importantly, it can be modeled by the most general renormalizable scalar potential. However, if the classical Higgs potential is used in models of inflation, it is ruled out by detailed observations of the cosmic microwave background. Here, a new application of non-adiabatic quantum dynamics to cosmological models is shown to lead to a multi-field Higgs-like potential, consistent with observations of a slightly red-tilted power spectrum and a small tensor-to-scalar ratio, without requiring non-standard ingredients. These methods naturally lead to novel effects in the beginning of inflation, circumventing common fine-tuning issues by an application of uncertainty relations to estimate the initial quantum fluctuations in the early universe. Moreover, inflation ends smoothly as a consequence of the derived multi-field interactions.


title: Deep Multimodality Learning for UAV Video Aesthetic Quality Assessment

abstract: Despite the growing number of unmanned aerial vehicles (UAVs) and aerial videos, there is a paucity of studies focusing on the aesthetics of aerial videos that can provide valuable information for improving the aesthetic quality of aerial photography. In this article, we present a method of deep multimodality learning for UAV video aesthetic quality assessment. More specifically, a multistream framework is designed to exploit aesthetic attributes from multiple modalities, including spatial appearance, drone camera motion, and scene structure. A novel specially designed motion stream network is proposed for this new multistream framework. We construct a dataset with 6,000 UAV video shots captured by drone cameras. Our model can judge whether a UAV video was shot by professional photographers or amateurs together with the scene type classification. The experimental results reveal that our method outperforms the video classification methods and traditional SVM-based methods for video aesthetics. In addition, we present three application examples of UAV video grading, professional segment detection and aesthetic-based UAV path planning using the proposed method.


title: Understanding and improving the timing of PSR J0737-3039B

abstract: The double pulsar (PSR J0737-3039A/B) provides some of the most stringent tests of general relativity (GR) and its alternatives. The success of this system in tests of GR is largely due to the high-precision, long-term timing of its recycled-pulsar member, pulsar A. On the other hand, pulsar B is a young pulsar that exhibits significant short-term and long-term timing variations due to the electromagnetic-wind interaction with its companion and geodetic precession. Improving pulsar B's timing precision is a key step towards improving the precision in a number of GR tests with PSR J0737-3039A/B. In this paper, red noise signatures in the timing of pulsar B are investigated using roughly a four-year time span, from 2004 to 2008, beyond which time the pulsar's radio beam precessed out of view ... The timing of pulsar B presented in this paper depends on the size of the pulsar's orbit, which was calculated from GR, in order to precisely account for orbital timing delays. Consequently, our timing cannot directly be used to test theories of gravity. However, our modelling of the beam shape and radial wind of pulsar B can indirectly aid future efforts to time this pulsar by constraining part of the additional red noise observed on top of the orbital delays. As such, we conclude that, in the idealised case of zero covariance between our model's parameters and those of the timing model, our model can bring about a factor 2.6 improvement on the measurement precision of the mass ratio, R = mA/mB, between the two pulsars: a theory-independent parameter, which is pivotal in tests of GR.


title: Chandra Detection of Three X-ray Bright Quasars at z>5

abstract: We report Chandra detection of three UV bright radio quiet quasars at $z\gtrsim5$. We have collected a sufficient number of photons to extract an X-ray spectrum of each quasar to measure their basic X-ray properties, such as the X-ray flux, power law photon index ($\Gamma$), and optical-to-X-ray spectral slope ($\alpha_{\rm OX}$). J074749+115352 at $z=5.26$ is the X-ray brightest radio-quiet quasar at $z>5$. It may have a short timescale variation (on a timescale of $\sim3800\rm~s$ in the observer's frame, or $\sim600\rm~s$ in the rest frame) which is however largely embedded in the statistical noise. We extract phase folded spectra of this quasar. There are two distinguishable states: a "high soft" state with an average X-ray flux $\sim2.7$ times of the "low hard" state, and a significantly steeper X-ray spectral slope ($\Gamma=2.40_{-0.32}^{+0.33}$ vs $1.78_{-0.24}^{+0.25}$). We also compare the three quasars detected in this paper to other quasar samples. We find that J074749+115352, with a SMBH mass of $M_{\rm SMBH}\approx1.8\times10^9\rm~M_\odot$ and an Eddington ratio of $\lambda_{\rm Edd}\approx2.3$, is extraordinarily X-ray bright. It has an average $\alpha_{\rm OX}=-1.46\pm0.02$ and a 2-10 keV bolometric correction factor of $L_{\rm bol}/L_{\rm2-10keV}=42.4\pm5.8$, both significantly depart from some well defined scaling relations. We compare $\Gamma$ of the three quasars to other samples at different redshifts, and do not find any significant redshift evolution based on the limited sample of $z>5$ quasars with reliable measurements of the X-ray spectral properties.


title: Modeling Traffic Congestion in Developing Countries using Google Maps Data

abstract: Traffic congestion research is on the rise, thanks to urbanization, economic growth, and industrialization. Developed countries invest a lot of research money in collecting traffic data using Radio Frequency Identification (RFID), loop detectors, speed sensors, high-end traffic light, and GPS. However, these processes are expensive, infeasible, and non-scalable for developing countries with numerous non-motorized vehicles, proliferated ride-sharing services, and frequent pedestrians. This paper proposes a novel approach to collect traffic data from Google Map's traffic layer with minimal cost. We have implemented widely used models such as Historical Averages (HA), Support Vector Regression (SVR), Support Vector Regression with Graph (SVR-Graph), Auto-Regressive Integrated Moving Average (ARIMA) to show the efficacy of the collected traffic data in forecasting future congestion. We show that even with these simple models, we could predict the traffic congestion ahead of time. We also demonstrate that the traffic patterns are significantly different between weekdays and weekends.


title: A Kac Model with Exclusion

abstract: We consider a one dimension Kac model with conservation of energy and an exclusion rule: Fix a number of particles $n$, and an energy $E>0$. Let each of the particles have an energy $x_j \geq 0$, with $\sum_{j=1}^n x_j = E$. For some $\epsilon$, the allowed configurations $(x_1,\dots,x_n)$ are those that satisfy $|x_i - x_j| \geq \epsilon$ for all $i\neq j$. At each step of the process, a pair $(i,j)$ of particles is selected uniformly at random, and then they "collide", and there is a repartition of their total energy $x_i + x_j$ between them producing new energies $x^*_i$ and $x^*_j$ with $x^*_i + x^*_j = x_i + x_j$, but with the restriction that exclusion rule is still observed for the new pair of energies. This process bears some resemblance to Kac models for Fermions in which the exclusion represents the effects of the Pauli exclusion principle. However, the "non-quantized" exclusion rule here, with only a lower bound on the gaps, introduces interesting novel features, and a detailed notion of Kac's chaos is required to derive an evolution equation for the evolution of rescaled empirical measures for the process, as we show here.


abstract: We prove several basic properties of the Yangian of the general linear Lie superalgebra.


title: The polarizing impact of numeracy, economic literacy, and science literacy on attitudes toward immigration

abstract: Political orientation polarizes the attitudes of more educated individuals on controversial issues. A highly controversial issue in Europe is immigration. We found the same polarizing pattern for opinion toward immigration in a representative sample of citizens of a southern European middle-size city. Citizens with higher numeracy, scientific and economic literacy presented a more polarized view of immigration, depending on their worldview orientation. Highly knowledgeable individuals endorsing an egalitarian-communitarian worldview were more in favor of immigration, whereas highly knowledgeable individuals with a hierarchical-individualist worldview were less in favor of immigration. Those low in numerical, economic, and scientific literacy did not show a polarized attitude. Results highlight the central role of socio-political orientation over information theories in shaping attitudes toward immigration.


title: Choosing The Best Interpolation Data in Images with Noise

abstract: We introduce and discuss shape based models for finding the best interpolation data in compression of images with noise. The aim is to reconstruct missing regions by means of minimizing data fitting term in the $L^2$-norm between the images and their reconstructed counterparts. We analyse the proposed models in the framework of the $\Gamma$-convergence from two different points of view. First, we consider a continuous stationary PDE model and get pointwise information on the "relevance" of each pixel by a topological asymptotic method. Second, we introduce a finite dimensional setting into the continuous model based on fat pixels (balls with positive radius), and we study by $\Gamma$-convergence the asymptotics when the radius vanishes. We extend the method to time-dependent based reconstruction and discuss several strategies for choosing the interpolation data within masks that might be improved over the iterations. Numerical computations are presented that confirm the usefulness of our theoretical findings for stationary and non-stationary PDE-based image compression.


title: Super-resolution and denoising of fluid flow using physics-informed convolutional neural networks without high-resolution labels

abstract: High-resolution (HR) information of fluid flows, although preferable, is usually less accessible due to limited computational or experimental resources. In many cases, fluid data are generally sparse, incomplete, and possibly noisy. How to enhance spatial resolution and decrease the noise level of flow data is essential and practically useful. Deep learning (DL) techniques have been demonstrated to be effective for super-resolution (SR) tasks, which, however, primarily rely on sufficient HR labels for training. In this work, we present a novel physics-informed DL-based SR solution using convolutional neural networks (CNN), which is able to produce HR flow fields from low-resolution (LR) inputs in high-dimensional parameter space. By leveraging the conservation laws and boundary conditions of fluid flows, the CNN-SR model is trained without any HR labels. Moreover, the proposed CNN-SR solution unifies the forward SR and inverse data assimilation for the scenarios where the physics is partially known, e.g., unknown boundary conditions. Several flow SR problems relevant to cardiovascular applications have been studied to demonstrate the proposed method's effectiveness and merit. Both Gaussian and non-Gaussian MRI noises are investigated to illustrate the denoising capability.


title: SD-Measure: A Social Distancing Detector

abstract: The practice of social distancing is imperative to curbing the spread of contagious diseases and has been globally adopted as a non-pharmaceutical prevention measure during the COVID-19 pandemic. This work proposes a novel framework named SD-Measure for detecting social distancing from video footages. The proposed framework leverages the Mask R-CNN deep neural network to detect people in a video frame. To consistently identify whether social distancing is practiced during the interaction between people, a centroid tracking algorithm is utilised to track the subjects over the course of the footage. With the aid of authentic algorithms for approximating the distance of people from the camera and between themselves, we determine whether the social distancing guidelines are being adhered to. The framework attained a high accuracy value in conjunction with a low false alarm rate when tested on Custom Video Footage Dataset (CVFD) and Custom Personal Images Dataset (CPID), where it manifested its effectiveness in determining whether social distancing guidelines were practiced.


title: ADHM in 8d, coloured solid partitions and Donaldson-Thomas invariants on orbifolds

abstract: We study the moduli space of $SU(4)$ invariant BPS conditions in supersymmetric gauge theory on non-commutative ${\mathbb C}^4$ by means of an ADHM-like quiver construction and we classify the invariant solutions under the natural toric action in terms of solid partitions. In the orbifold case ${\mathbb C}^4/G$, $G$ being a finite subgroup of $SU(4)$, the classification is given in terms of coloured solid partitions. The statistical weight for their counting is defined through the associated equivariant cohomological gauge theory. We explicitly compute its partition function on ${\mathbb C}^4$ and ${\mathbb C}^2\times\left({\mathbb C}^2/{\mathbb Z}_2\right)$ which conjecturally provides the corresponding orbifold Donaldson-Thomas invariants.


title: Federated Knowledge Distillation

abstract: Distributed learning frameworks often rely on exchanging model parameters across workers, instead of revealing their raw data. A prime example is federated learning that exchanges the gradients or weights of each neural network model. Under limited communication resources, however, such a method becomes extremely costly particularly for modern deep neural networks having a huge number of model parameters. In this regard, federated distillation (FD) is a compelling distributed learning solution that only exchanges the model outputs whose dimensions are commonly much smaller than the model sizes (e.g., 10 labels in the MNIST dataset). The goal of this chapter is to provide a deep understanding of FD while demonstrating its communication efficiency and applicability to a variety of tasks. To this end, towards demystifying the operational principle of FD, the first part of this chapter provides a novel asymptotic analysis for two foundational algorithms of FD, namely knowledge distillation (KD) and co-distillation (CD), by exploiting the theory of neural tangent kernel (NTK). Next, the second part elaborates on a baseline implementation of FD for a classification task, and illustrates its performance in terms of accuracy and communication efficiency compared to FL. Lastly, to demonstrate the applicability of FD to various distributed learning tasks and environments, the third part presents two selected applications, namely FD over asymmetric uplink-and-downlink wireless channels and FD for reinforcement learning.


title: An Empirical-cum-Statistical Approach to Power-Performance Characterization of Concurrent GPU Kernels

abstract: Growing deployment of power and energy efficient throughput accelerators (GPU) in data centers demands enhancement of power-performance co-optimization capabilities of GPUs. Realization of exascale computing using accelerators requires further improvements in power efficiency. With hardwired kernel concurrency enablement in accelerators, inter- and intra-workload simultaneous kernels computation predicts increased throughput at lower energy budget. To improve Performance-per-Watt metric of the architectures, a systematic empirical study of real-world throughput workloads (with concurrent kernel execution) is required. To this end, we propose a multi-kernel throughput workload generation framework that will facilitate aggressive energy and performance management of exascale data centers and will stimulate synergistic power-performance co-optimization of throughput architectures. Also, we demonstrate a multi-kernel throughput benchmark suite based on the framework that encapsulates symmetric, asymmetric and co-existing (often appears together) kernel based workloads. On average, our analysis reveals that spatial and temporal concurrency within kernel execution in throughput architectures saves energy consumption by 32%, 26% and 33% in GTX470, Tesla M2050 and Tesla K20 across 12 benchmarks. Concurrency and enhanced utilization are often correlated but do not imply significant deviation in power dissipation. Diversity analysis of proposed multi-kernels confirms characteristic variation and power-profile diversity within the suite. Besides, we explain several findings regarding power-performance co-optimization of concurrent throughput workloads.


title: Dynamical spin correlations of the kagome antiferromagnet

abstract: Temperature-dependent dynamical spin correlations, which can be readily accessed via a variety of experimental techniques, hold the potential of offering a unique fingerprint of quantum spin liquids and other intriguing dynamical states. In this work we present an in-depth study of the temperature-dependent dynamical spin structure factor $S({\bf q}, \omega)$ of the antiferromagnetic (AFM) Heisenberg spin-1/2 model on the kagome lattice with additional Dzyaloshinskii--Moriya (DM) interactions. Using the finite-temperature Lanczos method on lattices with up to $N = 30$ sites we find that even without DM interactions, chiral low-energy spin fluctuations of the $120^\circ$ AFM order parameter dominate the dynamical response. This leads to a nontrivial frequency dependence of $S({\bf q}, \omega)$ and the appearance of a pronounced low-frequency mode at the M point of the extended Brillouin zone. Adding an out-of-plane DM interactions $D^z$ gives rise to an anisotropic dynamical response, a softening of in-plane spin fluctuations, and, ultimately, the onset of a coplanar AFM ground-state order at $D^z > 0.1 J$. Our results are in very good agreement with existing inelastic neutron scattering and temperature-dependent NMR spin-lattice relaxation rate ($1/T_1$) data on the paradigmatic kagome AFM herbertsmithite, where the effect of its small $D^z$ on the dynamical spin correlations is shown to be rather small, as well as with $1/T_1$ data on the novel kagome AFM YCu$_3$(OH)$_6$Cl$_3$, where its substantial $D^z \approx 0.25 J$ interaction is found to strongly affect the spin dynamics.


title: Bursting and excitability in neuromorphic resonant tunneling diodes

abstract: We study in this paper the dynamics of quantum nanoelectronic resonant tunneling diodes (RTDs) as excitable neuromorphic spike generators. We disclose the mechanisms by which the RTD creates excitable all-or-nothing spikes and we identify a regime of bursting in which the RTD emits a random number of closely packed spikes. The control of the latter is paramount for applications in event-activated neuromorphic sensing and computing. Finally, we discuss a regime of multi-stability in which the RTD behaves as a memory. Our results can be extended to other devices exhibiting negative differential conductance.


title: Deep Learning Framework to Detect Face Masks from Video Footage

abstract: The use of facial masks in public spaces has become a social obligation since the wake of the COVID-19 global pandemic and the identification of facial masks can be imperative to ensure public safety. Detection of facial masks in video footages is a challenging task primarily due to the fact that the masks themselves behave as occlusions to face detection algorithms due to the absence of facial landmarks in the masked regions. In this work, we propose an approach for detecting facial masks in videos using deep learning. The proposed framework capitalizes on the MTCNN face detection model to identify the faces and their corresponding facial landmarks present in the video frame. These facial images and cues are then processed by a neoteric classifier that utilises the MobileNetV2 architecture as an object detector for identifying masked regions. The proposed framework was tested on a dataset which is a collection of videos capturing the movement of people in public spaces while complying with COVID-19 safety protocols. The proposed methodology demonstrated its effectiveness in detecting facial masks by achieving high precision, recall, and accuracy.


title: A biomimetic kidney tubule model

abstract: A critical barrier in the nephrology field is the lack of appropriate in vitro renal tubule models that allow manipulation of various mechanical factors, facilitating studies of disease pathophysiology and drug discovery. Here we report development of a novel in vitro assay system comprised of a renal tubule within an elasto-plastic extracellular matrix microenvironment. This in vitro tubule mimetic device consists of a container with two, pipette-accessible ports, filament-deposition (3D-) printed into 35 mm cell culture dishes. The container is filled with a hydrogel, such as a collagen I or fibrin gel, while a narrow masking tube is threaded through the ports. Following gelation, the masking material is pulled out leaving a tunnel within the gel. Seeding of the tunnels with M1 or MDCK renal epithelial cells through the side ports results in a monolayer with apical-basal polarity, such that laminin and fibronectin are present on the basal surface, while primary cilia project from the apical side of cells into the tubular lumen. The device is optically accessible, and can be live-imaged by phase contrast or epifluorescence microscopy. The lumen of the epithelial-lined tube can be connected through the side ports to a circulatory flow. We demonstrate that kidney epithelial cells are able to adjust the diameter of the model tubule by myosin-II dependent contractility. Furthermore, cells of the tubule are also able to remodel the surrounding hydrogel leading to budding from the main tubule. We propose that this versatile in vitro model system can be developed into a future pre-clinical tool to study pathophysiology of kidney diseases and identify therapeutic compounds.


title: Moving Forward in Formation: A Decentralized Hierarchical Learning Approach to Multi-Agent Moving Together

abstract: Multi-agent path finding in formation has many potential real-world applications like mobile warehouse robots. However, previous multi-agent path finding (MAPF) methods hardly take formation into consideration. Furthermore, they are usually centralized planners and require the whole state of the environment. Other decentralized partially observable approaches to MAPF are reinforcement learning (RL) methods. However, these RL methods encounter difficulties when learning path finding and formation problem at the same time. In this paper, we propose a novel decentralized partially observable RL algorithm that uses a hierarchical structure to decompose the multi objective task into unrelated ones. It also calculates a theoretical weight that makes every task reward has equal influence on the final RL value function. Additionally, we introduce a communication method that helps agents cooperate with each other. Experiments in simulation show that our method outperforms other end-to-end RL methods and our method can naturally scale to large world sizes where centralized planner struggles. We also deploy and validate our method in a real world scenario.


title: Convergence of the one-dimensional contact process with two types of particles and priority

abstract: We consider a symmetric finite-range contact process on $\mathbb{Z}$ with two types of particles (or infections), which propagate according to the same supercritical rate and die (or heal) at rate $1$. Particles of type $1$ can enter any site in $(-\infty,0]$ that is empty or occupied by a particle of type $2$ and, analogously, particles of type $2$ can enter any site in $[1,\infty)$ that is empty or occupied by a particle of type $1$. Also, almost one particle can occupy each site. We prove that the process beginning with all sites in $(-\infty,0]$ occupied by particles of type 1 and all sites in $[1,\infty)$ occupied by particles of type 2 converges in distribution to an invariant measure different from the nontrivial invariant measure of the classic contact process. In addition, we prove that for any initial configuration the process converges to a convex combination of four invariant measures.


title: Max-flow vitality in undirected unweighted planar graphs

abstract: We show a fast algorithm for determining the set of edges in a planar undirected unweighted graph, whose deletion reduces the maximum flow between two fixed vertices. This is a special case of the max flow vitality problem, that has been efficiently solved for general undirected graphs and st-planar graphs. The vitality of an edge of a graph with respect to the maximum flow between two fixed vertices s and t is defined as the reduction of the maximum flow caused by the removal of that edge. In this paper we show that the set of edges having vitality greater than zero in a planar undirected unweighted graph with n vertices can be found in O(n log n) worst-case time and O(n) space.


title: Field theoretical approach for signal detection in nearly continuous positive spectra I: Matricial data

abstract: Renormalization group techniques are widely used in modern physics to describe the low energy relevant aspects of systems involving a large number of degrees of freedom. Those techniques are thus expected to be a powerful tool to address open issues in data analysis when data sets are very larges. Signal detection and recognition for covariance matrix having a nearly continuous spectra is currently one of these opened issues. First investigations in this direction has been proposed in [Journal of Statistical Physics, 167, Issue 3-4, pp 462-475, (2017)] and [arXiv:2002.10574], from an analogy between coarse-graining and principal component analysis (PCA), regarding separation of sampling noise modes as a UV cut-off for small eigenvalues of the covariance matrix. The field theoretical framework proposed in this paper is a synthesis of these complementary point of views, aiming to be a general and operational framework, both for theoretical investigations and for experimental detection. Our investigations focus on signal detection, and exhibit experimental evidences in favor of a connection between symmetry breaking and the existence of an intrinsic detection threshold.


title: On the halo-mass and radial scale dependence of the lensing is low effect

abstract: The canonical $\Lambda$CDM cosmological model makes precise predictions for the clustering and lensing properties of galaxies. It has been shown that the lensing amplitude of galaxies in the Baryon Oscillation Spectroscopic Survey (BOSS) is lower than expected given their clustering properties. We present new measurements and modelling of galaxies in the BOSS LOWZ sample. We focus on the radial and stellar mass dependence of the lensing amplitude mis-match. We find an amplitude mis-match of around $35\%$ when assuming $\Lambda$CDM with Planck Cosmological Microwave Background (CMB) constraints. This offset is independent of halo mass and radial scale in the range $M_{\rm halo}\sim 10^{13.3} - 10^{13.9} h^{-1} M_\odot$ and $r=0.1 - 60 \, h^{-1} \mathrm{Mpc}$ ($k \approx 0.05 - 20 \, h \, {\rm Mpc}^{-1}$). The observation that the offset is both mass and scale independent places important constraints on the degree to which astrophysical processes (baryonic effects, assembly bias) can fully explain the effect. This scale independence also suggests that the "lensing is low" effect on small and large radial scales probably have the same physical origin. Resolutions based on new physics require a nearly uniform suppression, relative to $\Lambda$CDM predictions, of the amplitude of matter fluctuations on these scales. The possible causes of this are tightly constrained by measurements of the CMB and of the low-redshift expansion history.


title: A BERT-based Dual Embedding Model for Chinese Idiom Prediction

abstract: Chinese idioms are special fixed phrases usually derived from ancient stories, whose meanings are oftentimes highly idiomatic and non-compositional. The Chinese idiom prediction task is to select the correct idiom from a set of candidate idioms given a context with a blank. We propose a BERT-based dual embedding model to encode the contextual words as well as to learn dual embeddings of the idioms. Specifically, we first match the embedding of each candidate idiom with the hidden representation corresponding to the blank in the context. We then match the embedding of each candidate idiom with the hidden representations of all the tokens in the context thorough context pooling. We further propose to use two separate idiom embeddings for the two kinds of matching. Experiments on a recently released Chinese idiom cloze test dataset show that our proposed method performs better than the existing state of the art. Ablation experiments also show that both context pooling and dual embedding contribute to the improvement of performance.


title: Asynchrony and Acceleration in Gossip Algorithms

abstract: This paper considers the minimization of a sum of smooth and strongly convex functions dispatched over the nodes of a communication network. Previous works on the subject either focus on synchronous algorithms, which can be heavily slowed down by a few slow nodes (the straggler problem), or consider a model of asynchronous operation (Boyd et al., 2006) in which adjacent nodes communicate at the instants of Poisson point processes. We have two main contributions. 1) We propose CACDM (a Continuously Accelerated Coordinate Dual Method), and for the Poisson model of asynchronous operation, we prove CACDM to converge to optimality at an accelerated convergence rate in the sense of Nesterov et Stich, 2017. In contrast, previously proposed asynchronous algorithms have not been proven to achieve such accelerated rate. While CACDM is based on discrete updates, the proof of its convergence crucially depends on a continuous time analysis. 2) We introduce a new communication scheme based on Loss-Networks, that is programmable in a fully asynchronous and decentralized way, unlike the Poisson model of asynchronous operation that does not capture essential aspects of asynchrony such as non-instantaneous communications and computations. Under this Loss-Network model of asynchrony, we establish for CDM (a Coordinate Dual Method) a rate of convergence in terms of the eigengap of the Laplacian of the graph weighted by local effective delays. We believe this eigengap to be a fundamental bottleneck for convergence rates of asynchronous optimization. Finally, we verify empirically that CACDM enjoys an accelerated convergence rate in the Loss-Network model of asynchrony.


title: Evidence of ideal excitonic insulator in bulk MoS2 under pressure

abstract: Spontaneous condensation of excitons is a long sought phenomenon analogous to the condensation of Cooper pairs in a superconductor. It is expected to occur in a semiconductor at thermodynamic equilibrium if the binding energy of the excitons---electron (e) and hole (h) pairs interacting by Coulomb force---overcomes the band gap, giving rise to a new phase: the 'excitonic insulator' (EI). Transition metal dichalcogenides are excellent candidates for the EI realization because of reduced Coulomb screening, and indeed a structural phase transition was observed in few-layer systems. However, previous work could not disentangle to which extent the origin of the transition was in the formation of bound excitons or in the softening of a phonon. Here we focus on bulk MoS2 and demonstrate theoretically that at high pressure it is prone to the condensation of genuine excitons of finite momentum, whereas the phonon dispersion remains regular. Starting from first-principles many-body perturbation theory, we also predict that the self-consistent electronic charge density of the EI sustains an out-of-plane permanent electric dipole moment with an antiferroelectric texture in the layer plane: At the onset of the EI phase, those optical phonons that share the exciton momentum provide a unique Raman fingerprint for the EI formation. Finally, we identify such fingerprint in a Raman feature that was previously observed experimentally, thus providing direct spectroscopic confirmation of an ideal excitonic insulator phase in bulk MoS2 above 30 GPa.


title: Statistical properties of London modified coherent states

abstract: In this paper we discuss statistical properties of modified London coherent states, that were introduced in order build up a resolution of the identity for London coherent states. In particular, we show that there exist sub-Poissonian behaviour for a large interval of amplitudes and, because their oscillating photon distribution, they show ringing revivals of the atomic inversion.