title: Deciphering the nature of temperature-induced phases of MAPbBr3 by ab initio molecular dynamics

abstract: We present an \textit{ab initio} molecular dynamics study of the temperature-induced phases of methylammonium lead bromide (MAPbBr$_3$). We confirm that the low-temperature phase is not ferroelectric, and rule out the existence of any overall polarization arising from the motion of the individual sub-lattices. Our simulations at room temperature resulted in a cubic \textit{Pm-3m} phase with no discernible local orthorhombic distortions. At low temperatures, such distortions are shown to originate from octahedral scissoring modes, but they vanish at room temperature. The predicted timescales of MA motion agree very well with experimental estimates, establishing dynamic disordering of the molecular dipoles over several orientational minima at room temperature. We also identify the key modes of the inorganic and organic sub-lattices that are coupled at all temperatures mainly through the N-H$\cdots$Br hydrogen-bonds. Estimated lifetimes of the H-bonds correlate well with MA dynamics indicating a strong connection between these two aspects of organic inorganic hybrid perovskites. We also confirm that, in addition to disordering of MA orientations, the transition to the cubic phase is also associated with displacive characteristics arising from both MA as well as Br ions in the lattice.


title: The Large Deviation of Semilinear Stochastic Partial Differential Equation Driven by Brownian Sheet

abstract: We prove the the large deviation principle(LDP) for the law of the one-dimensional semilinear stochastic partial differential equations driven by nonlinear multiplicative noise. Firstly, combining the energy estimate and approximation procedure, we obtain the existence of global solution. Then the large deviation principle is obtained via weak convergence method.


title: AoI-Constrained Bandit: Information Gathering over Unreliable Channels with Age Guarantees

abstract: Age-of-Information (AoI) is an application layer metric that has been widely adopted to quantify the information freshness of each information source. However, few works address the impact of probabilistic transmission failures on satisfying the harsh AoI requirement of each source, which is of critical importance in a great number of wireless-powered real-time applications. In this paper, we investigate the transmission scheduling problem of maximizing throughput over wireless channels under different time-average AoI requirements for heterogeneous information sources. When the channel reliability for each source is known as prior, the global optimal transmission scheduling policy is proposed. Moreover, when channel reliabilities are unknown, it is modeled as an AoI-constrained Multi-Armed Bandit (MAB) problem. Then a learning algorithm that meets the AoI requirement with probability 1 and incurs up to O(K\sqrt{T\log T}) accumulated regret is proposed, where K is the number of arms/information sources, and T is the time horizon. Numerical results show that the accumulated regret of our learning algorithm is strictly bounded by K\sqrt{T\log T} and outperforms the AoI-constraint-aware baseline, and the AoI requirement of every source is robustly satisfied.


title: Gumble Softmax For User Behavior Modeling

abstract: Recently, sequential recommendation systems are important in solving the information overload in many online services. Current methods in sequential recommendation focus on learning a fixed number of representations for each user at any time, with a single representation or multi representations for the user. However, when a user is exploring items on an e-commerce recommendation system, the number of this user's hobbies may change overtime (e.g. increase/reduce one more interest), affected by the user's evolving self needs. Moreover, different users may have various number of interests. In this paper, we argue that it is meaningful to explore a personalized dynamic number of user interests, and learn a dynamic group of user interest representations accordingly. We propose a sequential model with dynamic number of representations for recommendation systems (RDRSR). Specifically, RDRSR is composed of a dynamic interest discriminator (DID) module and a dynamic interest allocator (DIA) module. The DID module explores the number of a user's interests by learning the overall sequential characteristics with bi-directional self-attention and Gumbel-Softmax. The DIA module make the historical clicked items into a group of item groups and constructs user's dynamic interest representation. Additionally, experiments on the real-world datasets demonstrates our model's effectiveness.


title: Texture Reformer: Towards Fast and Universal Interactive Texture Transfer

abstract: In this paper, we present the texture reformer, a fast and universal neural-based framework for interactive texture transfer with user-specified guidance. The challenges lie in three aspects: 1) the diversity of tasks, 2) the simplicity of guidance maps, and 3) the execution efficiency. To address these challenges, our key idea is to use a novel feed-forward multi-view and multi-stage synthesis procedure consisting of I) a global view structure alignment stage, II) a local view texture refinement stage, and III) a holistic effect enhancement stage to synthesize high-quality results with coherent structures and fine texture details in a coarse-to-fine fashion. In addition, we also introduce a novel learning-free view-specific texture reformation (VSTR) operation with a new semantic map guidance strategy to achieve more accurate semantic-guided and structure-preserved texture transfer. The experimental results on a variety of application scenarios demonstrate the effectiveness and superiority of our framework. And compared with the state-of-the-art interactive texture transfer algorithms, it not only achieves higher quality results but, more remarkably, also is 2-5 orders of magnitude faster. Code is available at https://github.com/EndyWon/Texture-Reformer.


title: HumanNeRF: Efficiently Generated Human Radiance Field from Sparse Inputs

abstract: Recent neural human representations can produce high-quality multi-view rendering but require using dense multi-view inputs and costly training. They are hence largely limited to static models as training each frame is infeasible. We present HumanNeRF - a generalizable neural representation - for high-fidelity free-view synthesis of dynamic humans. Analogous to how IBRNet assists NeRF by avoiding per-scene training, HumanNeRF employs an aggregated pixel-alignment feature across multi-view inputs along with a pose embedded non-rigid deformation field for tackling dynamic motions. The raw HumanNeRF can already produce reasonable rendering on sparse video inputs of unseen subjects and camera settings. To further improve the rendering quality, we augment our solution with an appearance blending module for combining the benefits of both neural volumetric rendering and neural texture blending. Extensive experiments on various multi-view dynamic human datasets demonstrate the generalizability and effectiveness of our approach in synthesizing photo-realistic free-view humans under challenging motions and with very sparse camera view inputs.


title: Resonant Dipole-Dipole Interactions in Electromagnetically Induced Transparency

abstract: Resonant dipole-dipole interaction (RDDI) is ubiquitous in light-matter interacting systems and is responsible for many fascinating properties of collective radiations. Here we theoretically investigate the role of RDDI in electromagnetically induced transparency (EIT). The resonant dipole-dipole interactions manifest in the cooperative spontaneous emission of the probe light transition, which give rise a broadened linewidth and associated collective frequency shift. This cooperative linewidth originates from the nonlocal and long-range RDDI, which can be determined by the atomic density, optical depth, and macroscopic length scales of the atomic ensemble. We present that EIT spectroscopy essentially demonstrates all-order multiple scattering of RDDI. Furthermore, we find that EIT transparency window becomes narrower as the cooperative linewidth increases, which essentially reduces the storage efficiency of slow light as EIT-based quantum memory application.


title: Non-Hermitian waves in a continuous periodic model and application to photonic crystals

abstract: In some non-Hermitian systems, the eigenstates in the bulk are localized at the boundaries of the systems. This is called the non-Hermitian skin effect, and it has been studied mostly in discrete systems. In the present work, we study the non-Hermitian skin effect in a continuous periodic model. In a one-dimensional system, we show that the localization lengths are equal for all the eigenstates. Moreover, the localization length and the eigenspectra in a large system are independent of the types of open boundary conditions. These properties are also found in a non-Hermitian photonic crystal. Such remarkable behaviors in a continuous periodic model can be explained in terms of the non-Bloch band theory. By constructing the generalized Brillouin zone for a complex Bloch wave number, we derive the localization length and the eigenspectra under an open boundary condition. Furthermore we show that the generalized Brillouin zone also has various physical properties, such as bulk-edge correspondence.


title: Incentive Compatible Pareto Alignment for Multi-Source Large Graphs

abstract: In this paper, we focus on learning effective entity matching models over multi-source large-scale data. For real applications, we relax typical assumptions that data distributions/spaces, or entity identities are shared between sources, and propose a Relaxed Multi-source Large-scale Entity-matching (RMLE) problem. Challenges of the problem include 1) how to align large-scale entities between sources to share information and 2) how to mitigate negative transfer from joint learning multi-source data. What's worse, one practical issue is the entanglement between both challenges. Specifically, incorrect alignments may increase negative transfer; while mitigating negative transfer for one source may result in poorly learned representations for other sources and then decrease alignment accuracy. To handle the entangled challenges, we point out that the key is to optimize information sharing first based on Pareto front optimization, by showing that information sharing significantly influences the Pareto front which depicts lower bounds of negative transfer. Consequently, we proposed an Incentive Compatible Pareto Alignment (ICPA) method to first optimize cross-source alignments based on Pareto front optimization, then mitigate negative transfer constrained on the optimized alignments. This mechanism renders each source can learn based on its true preference without worrying about deteriorating representations of other sources. Specifically, the Pareto front optimization encourages minimizing lower bounds of negative transfer, which optimizes whether and which to align. Comprehensive empirical evaluation results on four large-scale datasets are provided to demonstrate the effectiveness and superiority of ICPA. Online A/B test results at a search advertising platform also demonstrate the effectiveness of ICPA in production environments.


title: Kraken: An Efficient Engine with a Uniform Dataflow for Deep Neural Networks

abstract: Deep neural networks (DNNs) have been successfully employed in a multitude of applications with remarkable performance. As such performance is achieved at a significant computational cost, several embedded applications demand fast and efficient hardware accelerators for DNNs. Previously proposed application specific integrated circuit (ASIC) architectures strive to utilize arrays of hundreds of processing elements (PEs) and reduce power-hungry DRAM accesses using multiple dataflows requiring complex PE architectures. These consume significant area and reduce the maximum clock frequency. This paper introduces the Kraken architecture, which optimally processes the convolutional layers, fully-connected layers, and matrix products of any DNN through a hardware-friendly uniform dataflow. This enables maximal data reuse of weights, inputs, and outputs, with a bare-bones PE design and on-the-fly dynamic reconfiguration. Kraken, implemented in 65-nm CMOS technology at 400 MHz, packs 672 PEs in 7.3 mm2, with a peak performance of 537.6 Gops. Kraken processes the convolutional layers of AlexNet, VGG-16, and ResNet-50 at 336.6, 17.5, and 64.2 frames/s, respectively, hence outperforming the state-of-the-art ASIC architectures in terms of overall performance efficiency, DRAM accesses, arithmetic intensity, and throughput, with 5.8x more Gops/mm2 and 1.6x more Gops/W.


title: The Spin of New Black Hole Candidate: MAXI J1803-298 Observed by NuSTAR and NICER

abstract: MAXI J1803-298, a newly-discovered Galactic transient and black hole candidate, was first detected by \emph{MAXI}/GSC on May 1st, 2021. In this paper, we present a detailed spectral analysis of MAXI J1803-298. Utilizing the X-ray reflection fitting method, we perform a joint fit to the spectra of MAXI J1803-298, respectively, observed by \emph{NuSTAR} and \emph{NICER}/XTI on the same day over the energy range between 0.7-79.0 keV, and found its spin (and the inclination angle i) can be constrained to be close to an extreme value, 0.991 ($i\sim$ $70 ^{\circ}$), at 68\% confidence interval. The results suggest that MAXI J1803-298 may be a fast-rotating black hole with a large inclination angle.


title: Decay properties and asymptotic behaviors for a wave equation with general strong damping

abstract: In this paper, we study the Cauchy problem for a wave equation with general strong damping $-\mu(|D|)\Delta u_t$ motivated by [Tao, Anal. PDE (2009)] and [Ebert-Girardi-Reissig, Math. Ann. (2020)]. By employing energy methods in the Fourier space and WKB analysis, we derive decay estimates for solutions under a large class of $\mu(|D|)$. In particularly, a threshold $\lim\nolimits_{|\xi|\to\infty}\mu(|\xi|)=\infty$ is discovered for the regularity-loss phenomenon, where $\mu(|\xi|)$ denotes the symbol of $\mu(|D|)$. Furthermore, we investigate different asymptotic profiles of solution with additionally $L^1$ initial data, where some refined estimates in the sense of enhanced decay rate and reduced regularity are found. The derived results almost cover the known results with sufficiently small loss.


title: Conditional Deep Hierarchical Variational Autoencoder for Voice Conversion

abstract: Variational autoencoder-based voice conversion (VAE-VC) has the advantage of requiring only pairs of speeches and speaker labels for training. Unlike the majority of the research in VAE-VC which focuses on utilizing auxiliary losses or discretizing latent variables, this paper investigates how an increasing model expressiveness has benefits and impacts on the VAE-VC. Specifically, we first analyze VAE-VC from a rate-distortion perspective, and point out that model expressiveness is significant for VAE-VC because rate and distortion reflect similarity and naturalness of converted speeches. Based on the analysis, we propose a novel VC method using a deep hierarchical VAE, which has high model expressiveness as well as having fast conversion speed thanks to its non-autoregressive decoder. Also, our analysis reveals another problem that similarity can be degraded when the latent variable of VAEs has redundant information. We address the problem by controlling the information contained in the latent variable using $\beta$-VAE objective. In the experiment using VCTK corpus, the proposed method achieved mean opinion scores higher than 3.5 on both naturalness and similarity in inter-gender settings, which are higher than the scores of existing autoencoder-based VC methods.


title: ML Attack Models: Adversarial Attacks and Data Poisoning Attacks

abstract: Many state-of-the-art ML models have outperformed humans in various tasks such as image classification. With such outstanding performance, ML models are widely used today. However, the existence of adversarial attacks and data poisoning attacks really questions the robustness of ML models. For instance, Engstrom et al. demonstrated that state-of-the-art image classifiers could be easily fooled by a small rotation on an arbitrary image. As ML systems are being increasingly integrated into safety and security-sensitive applications, adversarial attacks and data poisoning attacks pose a considerable threat. This chapter focuses on the two broad and important areas of ML security: adversarial attacks and data poisoning attacks.


title: Modified Band Alignment Method to Obtain Hybrid Functional Accuracy from Standard DFT: Application to Defects in Highly Mismatched III-V:Bi Alloys

abstract: This paper provides an accurate theoretical defect energy database for pure and Bi-containing III-V (III-V:Bi) materials and investigates efficient methods for high-throughput defect calculations based on corrections of results obtained with local and semi-local functionals. Point defects as well as nearest-neighbor and second-nearest-neighbor pair defects were investigated in charge states ranging from -5 to 5. Ga-V:Bi systems (GaP:Bi, GaAs:Bi, and GaSb:Bi) were thoroughly investigated with significantly slower, higher fidelity hybrid Heyd-Scuseria-Ernzerhof (HSE) and significantly faster, lower fidelity local density approximation (LDA) calculations. In both approaches spurious electrostatic interactions were corrected with the Freysoldt correction. The results were verified against available experimental results and used to assess the accuracy of a previous band alignment correction. Here, a modified band alignment method is proposed in order to better predict the HSE values from the LDA ones. The proposed method allows prediction of defect energies with values that approximate those from the HSE functional at the computational cost of LDA (about 20x faster for the systems studied here). Tests of selected point defects in In-V:Bi materials resulted in corrected LDA values having a mean absolute error (MAE)=0.175 eV for defect levels vs. HSE. The method was further verified on an external database of defects and impurities in CdX (X=S, Se, Te) systems, yielding a MAE=0.194 eV. These tests demonstrate the correction to be sufficient for qualitative and semi-quantitative predictions, and may suggest transferability to many semiconductor systems without significant loss in accuracy. Properties of the remaining In-V:Bi defects and all Al-V:Bi defects were predicted with the use of the modified band alignment method.


title: Effect of thermal shear on longitudinal spin polarization in a thermal model

abstract: By including the recently introduced thermal shear term that contributes to the spin polarization vector at local equilibrium, we determine longitudinal polarization of $\Lambda$ hyperons emitted from a hot and rotating hadronic medium using the thermal model with single freeze-out. In our analysis, we consider the RHIC top energies and use the model parameters which were determined in the earlier analyses of particle spectra and elliptic flow. We confirm that, unlike the previous calculations done by using only the thermal vorticity, the thermal shear term alone leads to the correct sign of the quadrupole structure of the longitudinal component of the polarization three-vector measured in experiments. However, we find almost complete cancellation between thermal shear and vorticity terms, which eventually leads to disagreement with the data. To clarify the role played by velocity and temperature gradient terms, we present a systematic analysis of different contributions to the longitudinal polarization.


title: Explaining the differences in massive star models from various simulations

abstract: The evolution of massive stars is the basis of several astrophysical investigations, from predicting gravitational-wave event rates to studying star-formation and stellar populations in clusters. However, uncertainties in massive star evolution present a significant challenge when accounting for these models' behaviour in stellar population studies. In this work, we present a comparison between five published sets of stellar models from the BPASS, BoOST, Geneva, MIST, and PARSEC simulations at near-solar metallicity. The different sets of stellar models have been computed using slightly different physical inputs in terms of mass-loss rates and internal mixing properties. Moreover, these models also employ various pragmatic methods to overcome the numerical difficulties that arise due to the presence of density inversions in the outer layers of stars more massive than 40 M$_\odot$. These density inversions result from the combination of inefficient convection in the low-density envelopes of massive stars and the excess of radiative luminosity to the Eddington luminosity. We find that the ionizing radiation released by the stellar populations can change by up to 18 percent, the maximum radial expansion of a star can differ between 100-1600 R$_\odot$, and the mass of the stellar remnant can vary up to 20 M$_\odot$ between the five sets of simulations. We conclude that any attempts to explain observations that rely on the use of models of stars more massive than 40 M$_\odot$ should be made with caution.


title: A systematic study of super-Eddington layers in the envelopes of massive stars

abstract: The proximity to the Eddington luminosity has been attributed as the cause of several observed effects in massive stars. Computationally, if the luminosity carried through radiation exceeds the local Eddington luminosity in the low-density envelopes of massive stars, it can result in numerical difficulties, inhibiting further computation of stellar models. This problem is exacerbated by the fact that very few massive stars are observed beyond the Humphreys-Davidson limit, the same region in the Hertzsprung-Russell diagram where the aforementioned numerical issues relating to the Eddington luminosity occur in stellar models. One-dimensional stellar evolution codes have to use pragmatic solutions to evolve massive stars through this computationally difficult phase. In this work, we quantify the impact of these solutions on the evolutionary properties of massive stars. We used the stellar evolution code MESA with commonly used input parameters for massive stellar models to compute the evolution of stars in the initial mass range of 10-110 M$_\odot$ at one-tenth of solar metallicity. We find that numerical difficulties in stellar models with initial masses greater than or equal to 30 M$_\odot$ cause these models to fail before the end of core helium burning. Recomputing these models using the same physical inputs but three different pragmatic solutions to treat the numerical instability, we find that the maximum radial expansion achieved by stars can vary by up to 2000 R$_\odot$, while the remnant mass of the stars can vary by up to 14 M$_\odot$ between the sets. These differences can have implications on studies such as binary population synthesis.


title: Identification of Switched Linear Systems: Persistence of Excitation and Numerical Algorithms

abstract: This paper investigates two issues on identification of switched linear systems: persistence of excitation and numerical algorithms. The main contribution is a much weaker condition on the regressor to be persistently exciting that guarantees the uniqueness of the parameter sets and also provides new insights in understanding the relation among different subsystems. It is found that for uniquely determining the parameters of switched linear systems, the minimum number of samples needed derived from our condition is much smaller than that reported in the literature. The secondary contribution of the paper concerns the numerical algorithm. Though the algorithm is not new, we show that our surrogate problem, relaxed from an integer optimization to a continuous minimization, has exactly the same solution as the original integer optimization, which is effectively solved by a block-coordinate descent algorithm. Moreover, an algorithm for handling unknown number of subsystems is proposed. Several numerical examples are illustrated to support theoretical analysis.


title: Multi-User Holographic MIMO Surfaces: Channel Modeling and Spectral Efficiency Analysis

abstract: The multi-user Holographic Multiple-Input and Multiple-Output Surface (MU-HMIMOS) paradigm, which is capable of realizing large continuous apertures with minimal power consumption, has been recently considered as an energyefficient solution for future wireless networks, offering increased flexibility in impacting electromagnetic (EM) wave propagation according to the desired communication, localization, and sensing objectives. The tractable channel modeling in MU-HMIMOS wireless systems is one of the most critical research challenges, mainly due to the coupling effect induced by the excessively large number of closely spaced patch antennas. In this paper, we focus on this challenge for the downlink of multi-user MIMO communications and extend an EM-compliant channel model to multiuser case, which is expressed in the wavenumber domain using the Fourier plane wave approximation. Based on the presented channel model, we investigate the spectral efficiency of maximumratio transmission and Zero-Forcing (ZF) precoding schemes. We also introduce a novel hardware efficient ZF precoder, leveraging Neumann series (NS) expansion to replace the required matrix inversion operation, which is very hard to be computed in the conventional way due to the extremely large number of patch antennas in the envisioned MU-HMIMOS communication systems. In comparison with the conventional independent and identical Rayleigh fading channels that ignore antenna coupling effects, the proposed EM-compliant channel model captures the mutual couplings induced by the very small antenna spacing. Our extensive performance evaluation results demonstrate that our theoretical performance expressions approximate sufficiently well ...


title: Approximate Translation from Floating-Point to Real-Interval Arithmetic

abstract: Floating-point arithmetic (FPA) is a mechanical representation of real arithmetic (RA), where each operation is replaced with a rounded counterpart. Various numerical properties can be verified by using SMT solvers that support the logic of FPA. However, the scalability of the solving process remains limited when compared to RA. In this paper, we present a decision procedure for FPA that takes advantage of the efficiency of RA solving. The proposed method abstracts FP numbers as rational intervals and FPA expressions as interval arithmetic (IA) expressions; then, we solve IA formulas to check the satisfiability of an FPA formula using an off-the-shelf RA solver (we use CVC4 and Z3). In exchange for the efficiency gained by abstraction, the solving process becomes quasi-complete; we allow to output unknown when the satisfiability is affected by possible numerical errors. Furthermore, our IA is meticulously formalized to handle the special value NaN. We implemented the proposed method and compared it to four existing SMT solvers in the experiments. As a result, we confirmed that our solver was efficient for instances where rounding modes were parameterized.


title: Forward Compatible Training for Large-Scale Embedding Retrieval Systems

abstract: In visual retrieval systems, updating the embedding model requires recomputing features for every piece of data. This expensive process is referred to as backfilling. Recently, the idea of backward compatible training (BCT) was proposed. To avoid the cost of backfilling, BCT modifies training of the new model to make its representations compatible with those of the old model. However, BCT can significantly hinder the performance of the new model. In this work, we propose a new learning paradigm for representation learning: forward compatible training (FCT). In FCT, when the old model is trained, we also prepare for a future unknown version of the model. We propose learning side-information, an auxiliary feature for each sample which facilitates future updates of the model. To develop a powerful and flexible framework for model compatibility, we combine side-information with a forward transformation from old to new embeddings. Training of the new model is not modified, hence, its accuracy is not degraded. We demonstrate significant retrieval accuracy improvement compared to BCT for various datasets: ImageNet-1k (+18.1%), Places-365 (+5.4%), and VGG-Face2 (+8.3%). FCT obtains model compatibility when the new and old models are trained across different datasets, losses, and architectures.


title: Quantum fidelity of electromagnetically induced transparency: The full quantum theory

abstract: We present a full quantum model to study the fidelity of single photons with different quantum states propagating in a medium exhibiting electromagnetically induced transparency (EIT). By using the general reservoir theory, we can calculate the quantum state of the transmitted probe photons that reveal the EIT phenomenon predicted by semiclassical theory while reflecting the influence of the quantum fluctuations of the strong coupling field. Our study shows that the coupling field fluctuations not only change the quantum state of the probe photons, but also slightly affect its transmittance. Moreover, we demonstrate that the squeezed coupling field can enhance the influence of its fluctuations on the quantum state of the probe photons, which means that the EIT effect can be manipulated by controlling the quantum state properties of the coupling field. The full quantum theory in this paper is suitable for studying quantum systems related to the EIT mechanism that would allow us to examine various quantum effects in EIT-based systems from a full quantum perspective.


title: MDPFuzz: Testing Models Solving Markov Decision Processes

abstract: The Markov decision process (MDP) provides a mathematical framework for modeling sequential decision-making problems, many of which are crucial to security and safety, such as autonomous driving and robot control. The rapid development of artificial intelligence research has created efficient methods for solving MDPs, such as deep neural networks (DNNs), reinforcement learning (RL), and imitation learning (IL). However, these popular models solving MDPs are neither thoroughly tested nor rigorously reliable. We present MDPFuzz, the first blackbox fuzz testing framework for models solving MDPs. MDPFuzz forms testing oracles by checking whether the target model enters abnormal and dangerous states. During fuzzing, MDPFuzz decides which mutated state to retain by measuring if it can reduce cumulative rewards or form a new state sequence. We design efficient techniques to quantify the "freshness" of a state sequence using Gaussian mixture models (GMMs) and dynamic expectation-maximization (DynEM). We also prioritize states with high potential of revealing crashes by estimating the local sensitivity of target models over states. MDPFuzz is evaluated on five state-of-the-art models for solving MDPs, including supervised DNN, RL, IL, and multi-agent RL. Our evaluation includes scenarios of autonomous driving, aircraft collision avoidance, and two games that are often used to benchmark RL. During a 12-hour run, we find over 80 crash-triggering state sequences on each model. We show inspiring findings that crash-triggering states, though they look normal, induce distinct neuron activation patterns compared with normal states. We further develop an abnormal behavior detector to harden all the evaluated models and repair them with the findings of MDPFuzz to significantly enhance their robustness without sacrificing accuracy.


title: First principles theory for the magnetic and charge instabilities in AV$_3$Sb$_5$ systems

abstract: Vanadium-based materials AV$_3$Sb$_5$ (A=K, Rb, Cs) with layered kagome lattice structures have drawn great attention recently due to the discoveries of topologically nontrivial band structures, charge density wave states, giant anomalous Hall effect, as well as unusual superconducting phase at low temperatures. In this work, we theoretically study the magnetic and charge instabilities for this class of materials based on first principles calculations. We develop a method to calculate the generalized susceptibility tensor defined in the sublattice-orbital-spin space, with the effects of Coulomb interactions treated by generalized random phase approximation (RPA). The RPA susceptibility calculations indicate that there are three leading ferromagnetic instability modes at $\Gamma$ point, which are further verified by unrestricted self-consistent Hartree-Fock calculations including both the on-site and inter-site Coulomb interactions. The inclusion of inter-site interactions tend to suppress the spin ferromagnetism due to charge transfer from the V to Sb sites, leading to weak spin magnetic moments $\sim 0.1\mu_{\textrm{B}}$ per V atom with small intrinsic anomalous Hall conductivity. Current loops can be generated in such weak spin ferromagnetic states as a result of spin-orbit coupling effects. The electronic structures in the ferromagnetic states are significantly reconstructed which have nearly compensated electron and hole carriers from two bands. On the other hand, we do not find any diverging instability mode at $M$ point driven by electron-electron Coulomb interactions. First principles phonon calculations indicate that there are unstable phonon modes which tend to drive the system into an inverse star-of-David structure. Our results indicate that there may be separate phase transitions in the magnetic and charge channels in the system.


title: Thermodynamics of Darwinian evolution in molecular replicators

abstract: We consider the relationship between thermodynamics, fitness, and Darwinian evolution in autocatalytic molecular replicators. We uncover a thermodynamic bound that relates fitness, replication rate, and the Gibbs free energy dissipated per copy. This bound applies to a broad range of systems, including elementary and non-elementary autocatalytic reactions, polymer-based replicators, and certain kinds of autocatalytic sets. In addition, we show that the critical selection coefficient (the minimal fitness difference visible to selection) is bounded by the Gibbs free energy dissipated per replication. Our results imply fundamental thermodynamic bounds on the strength of selection in molecular evolution, complementary to other bounds that arise from finite population sizes and error thresholds. These bounds may be relevant for understanding thermodynamic constraints faced by early replicators at the origin of life. We illustrate our approach on several examples, including a classic model of replicators in a chemostat.


title: An Effective GCN-based Hierarchical Multi-label classification for Protein Function Prediction

abstract: We propose an effective method to improve Protein Function Prediction (PFP) utilizing hierarchical features of Gene Ontology (GO) terms. Our method consists of a language model for encoding the protein sequence and a Graph Convolutional Network (GCN) for representing GO terms. To reflect the hierarchical structure of GO to GCN, we employ node(GO term)-wise representations containing the whole hierarchical information. Our algorithm shows effectiveness in a large-scale graph by expanding the GO graph compared to previous models. Experimental results show that our method outperformed state-of-the-art PFP approaches.


title: Mitigating Biological Epidemic on Heterogeneous Social Networks

abstract: Recent Covid-19 pandemic has demonstrated the need of efficient epidemic outbreak management. We study the optimal control problem of minimizing the fraction of infected population by applying vaccination and treatment control strategies, while at the same time minimizing the cost of implementing them. We model the epidemic using the degree based Susceptible-Infected-Recovered (SIR) compartmental model. We study the impact of varying network topologies on the optimal epidemic management strategies and present results for the Erdos-Renyi, scale free, and real world networks. For efficient computational modeling we form groups of groups of degree classes, and apply separate vaccination and treatment control signals to each group. This allows us to identify the degree classes that play a significant role in mitigating the epidemic for a given network topology. We compare the optimal control strategy with non optimal strategies (constant control and no control) and study the effect of various model parameters on the system. We identify which strategy (vaccination/treatment) plays a significant role in controlling the epidemic on different network topologies. We also study the effect of the cost of vaccination and treatment controls on the resource allocation. We find that the optimal strategy achieves significant improvements over the non optimal heuristics for all networks studied in this paper. Our results may be of interest to governments and healthcare authorities for devising effective vaccination and treatment campaigns during an epidemic outbreak.


title: User behavior understanding in real world settings

abstract: How to extract meaningful information in user historical behavior plays a crucial role in recommendation. User behavior sequence often contains multiple conceptually distinct items that belong to different item groups and the number of the item groups is changing over time. It is necessary to learn a dynamic group of representations according the item groups in a user historical behavior. However, current works only learns a predefined and fixed number representations which includes single representation methods and multi representations methods from the user context that could lead to suboptimal recommendation quality. In this paper we propose a model that can automatically and adaptively generates a dynamic group of representations from the user behavior accordingly. To be specific, AutoRep is composed of an informative representation construct (IRC) module and a dynamic representations construct (DRC) module. The IRC module learns the overall sequential characteristics of user behavior with a bi-directional architecture transformer. The DRC module dynamically allocate the item in the user behavior into different item groups and form a dynamic group of representations in a differentiable method. Such design improves the model recommendation performance. We evaluate the proposed model on five benchmark datasets. The results show that AutoRep outperforms representative baselines. Further ablation study has been conducted to deepen our understandings of AutoRep, including the proposed module IRC and DRC.


title: MDPGT: Momentum-based Decentralized Policy Gradient Tracking

abstract: We propose a novel policy gradient method for multi-agent reinforcement learning, which leverages two different variance-reduction techniques and does not require large batches over iterations. Specifically, we propose a momentum-based decentralized policy gradient tracking (MDPGT) where a new momentum-based variance reduction technique is used to approximate the local policy gradient surrogate with importance sampling, and an intermediate parameter is adopted to track two consecutive policy gradient surrogates. Moreover, MDPGT provably achieves the best available sample complexity of $\mathcal{O}(N^{-1}\epsilon^{-3})$ for converging to an $\epsilon$-stationary point of the global average of $N$ local performance functions (possibly nonconcave). This outperforms the state-of-the-art sample complexity in decentralized model-free reinforcement learning, and when initialized with a single trajectory, the sample complexity matches those obtained by the existing decentralized policy gradient methods. We further validate the theoretical claim for the Gaussian policy function. When the required error tolerance $\epsilon$ is small enough, MDPGT leads to a linear speed up, which has been previously established in decentralized stochastic optimization, but not for reinforcement learning. Lastly, we provide empirical results on a multi-agent reinforcement learning benchmark environment to support our theoretical findings.


title: A Survey of Deep Learning for Low-Shot Object Detection

abstract: Object detection has achieved a huge breakthrough with deep neural networks and massive annotated data. However, current detection methods cannot be directly transferred to the scenario where the annotated data is scarce due to the severe overfitting problem. Although few-shot learning and zero-shot learning have been extensively explored in the field of image classification, it is indispensable to design new methods for object detection in the data-scarce scenario since object detection has an additional challenging localization task. Low-Shot Object Detection (LSOD) is an emerging research topic of detecting objects from a few or even no annotated samples, consisting of One-Shot Object Detection (OSOD), Few-Shot Object Detection (FSOD) and Zero-Shot Object Detection (ZSD). This survey provides a comprehensive review of LSOD methods. First, we propose a thorough taxonomy of LSOD methods and analyze them systematically, comprising some extensional topics of LSOD (semi-supervised LSOD, weakly-supervised LSOD, and incremental LSOD). Then, we indicate the pros and cons of current LSOD methods with a comparison of their performance. Finally, we discuss the challenges and promising directions of LSOD to provide guidance for future works.


title: Make It Move: Controllable Image-to-Video Generation with Text Descriptions

abstract: Generating controllable videos conforming to user intentions is an appealing yet challenging topic in computer vision. To enable maneuverable control in line with user intentions, a novel video generation task, named Text-Image-to-Video generation (TI2V), is proposed. With both controllable appearance and motion, TI2V aims at generating videos from a static image and a text description. The key challenges of TI2V task lie both in aligning appearance and motion from different modalities, and in handling uncertainty in text descriptions. To address these challenges, we propose a Motion Anchor-based video GEnerator (MAGE) with an innovative motion anchor (MA) structure to store appearance-motion aligned representation. To model the uncertainty and increase the diversity, it further allows the injection of explicit condition and implicit randomness. Through three-dimensional axial transformers, MA is interacted with given image to generate next frames recursively with satisfying controllability and diversity. Accompanying the new task, we build two new video-text paired datasets based on MNIST and CATER for evaluation. Experiments conducted on these datasets verify the effectiveness of MAGE and show appealing potentials of TI2V task. Source code for model and datasets will be available soon.


title: Mobility of bacterial protein Hfq on dsDNA; Role of C-terminus mediated transient binding

abstract: The mobility of protein is fundamental in the machinery of life. Here, we have investigated the effect of DNA binding in conjunction with DNA internal motion of the bacterial Hfq master regulator devoid of its amyloid C-terminus domain. Hfq is one of the most abundant nucleoid associated proteins that shape the bacterial chromosome and is involved in several aspects of nucleic acid metabolism. Fluorescence microscopy has been used to track a C-terminus domain lacking mutant form of Hfq on double stranded DNA, which is stretched by confinement to a rectangular nanofluidic channel. The mobility of the mutant is strongly accelerated with respect to the wild type variant. Furthermore, it shows a reverse dependence on the internal motion of DNA, in that slower motion results in slower protein diffusion. Results demonstrate the subtle role of DNA internal motion in controlling the mobility of a nucleoid associated protein, and, in particular, the importance of transient binding and moving DNA strands out of the way.


title: ED2: Environment Dynamics Decomposition World Models for Continuous Control

abstract: Model-based reinforcement learning (MBRL) achieves significant sample efficiency in practice in comparison to model-free RL, but its performance is often limited by the existence of model prediction error. To reduce the model error, standard MBRL approaches train a single well-designed network to fit the entire environment dynamics, but this wastes rich information on multiple sub-dynamics which can be modeled separately, allowing us to construct the world model more accurately. In this paper, we propose the Environment Dynamics Decomposition (ED2), a novel world model construction framework that models the environment in a decomposing manner. ED2 contains two key components: sub-dynamics discovery (SD2) and dynamics decomposition prediction (D2P). SD2 discovers the sub-dynamics in an environment automatically and then D2P constructs the decomposed world model following the sub-dynamics. ED2 can be easily combined with existing MBRL algorithms and empirical results show that ED2 significantly reduces the model error, increases the sample efficiency, and achieves higher asymptotic performance when combined with the state-of-the-art MBRL algorithms on various continuous control tasks. Our code is open source and available at https://github.com/ED2-source-code/ED2.


title: A new constraint on the Hawking evaporation of primordial black holes in the radiation-dominated era

abstract: In this paper, we revisit the evaporation and accretion of primordial black holes (PBHs) during cosmic history and compare them to see if both of these processes are constantly active for PBHs or not. Our calculations indicate that during the radiation-dominated era, PBHs absorb ambient radiation due to accretion, and their apparent horizon grows rapidly. This growth causes the Hawking radiation process to practically fail and all the particles that escape as radiation from PBHs to fall back into them. Nevertheless, our emphasis is that the accretion efficiency factor also plays a very important role here and its exact determination is essential. We have shown that the lower mass limit for PBHs that have not yet evaporated should approximately be $10^{14}g$ rather than $10^{15}g$. Finally, we study the effects of Hawking radiation quiescence in cosmology and reject models based on the evaporation of PBHs in the radiation-dominated era.


title: Finding Deviated Behaviors of the Compressed DNN Models for Image Classifications

abstract: Model compression can significantly reduce the sizes of deep neural network (DNN) models, and thus facilitates the dissemination of sophisticated, sizable DNN models, especially for their deployment on mobile or embedded devices. However, the prediction results of compressed models may deviate from those of their original models. To help developers thoroughly understand the impact of model compression, it is essential to test these models to find those deviated behaviors before dissemination. However, this is a non-trivial task because the architectures and gradients of compressed models are usually not available. To this end, we propose DFLARE, a novel, search-based, black-box testing technique to automatically find triggering inputs that result in deviated behaviors in image classification tasks. DFLARE iteratively applies a series of mutation operations to a given seed image, until a triggering input is found. For better efficacy and efficiency, DFLARE models the search problem as Markov Chains and leverages the Metropolis-Hasting algorithm to guide the selection of mutation operators in each iteration. Further, DFLARE utilizes a novel fitness function to prioritize the mutated inputs that either cause large differences between two models' outputs, or trigger previously unobserved models' probability vectors. We evaluated DFLARE on 21 compressed models for image classification tasks with three datasets. The results show that DFLARE outperforms the baseline in terms of efficacy and efficiency. We also demonstrated that the triggering inputs found by DFLARE can be used to repair up to 48.48% deviated behaviors in image classification tasks and further decrease the effectiveness of DFLARE on the repaired models.


title: Network analysis of verbal communications in the novel The Master and Margarita by M.A.Bulgakov

abstract: A network analysis of the structure of verbal communications in one of the most popular Russian novels of the Soviet era The Master and Margarita by Bulgakov has been carried out. The structure of the novel is complex (a story within a story). Moreover, the real-world-characters and the other-world-characters are interacting in the novel. This complex and unusual composition makes the novel especially attractive for a network analysis. In our study, only paired verbal communications (conversations) between explicitly present and acting characters have been taken into account. Based on a character pair verbal communication matrix, a graph has been constructed, the vertices of which are the characters of the novel, while the edges correspond to the connections between them. Taking only paired verbal communications into account leads to the result, that the character network can be described by an ordinary, rather than a directed graph. Since the activity of the conversations was out of our intended scope, the edges have been given no weights. The largest connected component of the graph consists of 76 characters. Centralities, such as degree, betweenness, closeness, eigenvector, and assortativity coefficient were computed to characterize the network. The structure of the communities in the network was also analysed. In addition to the obvious large communities-the characters from the Yershalaim part of the novel and the characters of the Moscow part-the analysis also revealed a fine structure in the Moscow component. Using the analysis of centralities, a group of main characters has been detected. The central characters of the novel are Koroviev, Margarita, Bezdomny, Woland, Behemoth, Azazello, Bosoi, Warenukha, Master, and Levi Matthew.


title: Revisiting the Lensed Fraction of High-Redshift Quasars

abstract: The observed lensed fraction of high-redshift quasars $(\sim0.2\%)$ is significantly lower than previous theoretical predictions $(\gtrsim4\%)$. We revisit the lensed fraction of high-redshift quasars predicted by theoretical models, where we adopt recent measurements of galaxy velocity dispersion functions (VDFs) and explore a wide range of quasar luminosity function (QLF) parameters. We use both analytical methods and mock catalogs which give consistent results. For ordinary QLF parameters and the depth of current high-redshift quasar surveys $(m_z\lesssim22)$, our model suggests a multiply-imaged fraction of $F_\text{multi}\sim 0.4\%-0.8\%$. The predicted lensed fraction is $\sim1\%-6\%$ for the brightest $z_s\sim6$ quasars $(m_z\lesssim19)$, depending on the QLF. The systematic uncertainties of the predicted lensed fraction in previous models can be as large as $2-4$ times and are dominated by the VDF. Applying VDFs from recent measurements decreases the predicted lensed fraction and relieves the tension between observations and theoretical models. Given the depth of current imaging surveys, there are $\sim15$ lensed quasars at $z_s>5.5$ detectable over the sky. Upcoming sky surveys like the LSST survey and the {\em Euclid} survey will find several tens of lensed quasars at this redshift range.


title: A stableness of resistance model for nonresponse adjustment with callback data

abstract: Nonresponse arises frequently in surveys and follow-ups are routinely made to increase the response rate. In order to monitor the follow-up process, callback data have been used in social sciences and survey studies for decades. In modern surveys, the availability of callback data is increasing because the response rate is decreasing and follow-ups are essential to collect maximum information. Although callback data are helpful to reduce the bias in surveys, such data have not been widely used in statistical analysis until recently. We propose a stableness of resistance assumption for nonresponse adjustment with callback data. We establish the identification and the semiparametric efficiency theory under this assumption, and propose a suite of semiparametric estimation methods including a doubly robust one, which generalize existing parametric approaches for callback data analysis. We apply the approach to a Consumer Expenditure Survey dataset. The results suggest an association between nonresponse and high housing expenditures.


title: Revisiting finite size effect of percolation in degree correlated networks

abstract: In this study, we investigate bond percolation in networks that have the Poisson degree distribution and a nearest-neighbor degree-degree correlation. Previous numerical studies on percolation critical behaviors of degree-correlated networks remain controversial. We perform finite-size scaling for the peak values of the second-largest cluster size and the mean cluster size and find a large finite-size effect when a network has a strong degree-degree correlation. Evaluating the size dependence of estimated critical exponents carefully, we demonstrate that the bond percolation in the networks exhibits the mean-field critical behavior, independent of the strength of their nearest-neighbor degree correlations.


title: Letter-level Online Writer Identification

abstract: Writer identification (writer-id), an important field in biometrics, aims to identify a writer by their handwriting. Identification in existing writer-id studies requires a complete document or text, limiting the scalability and flexibility of writer-id in realistic applications. To make the application of writer-id more practical (e.g., on mobile devices), we focus on a novel problem, letter-level online writer-id, which requires only a few trajectories of written letters as identification cues. Unlike text-\ document-based writer-id which has rich context for identification, there are much fewer clues to recognize an author from only a few single letters. A main challenge is that a person often writes a letter in different styles from time to time. We refer to this problem as the variance of online writing styles (Var-O-Styles). We address the Var-O-Styles in a capture-normalize-aggregate fashion: Firstly, we extract different features of a letter trajectory by a carefully designed multi-branch encoder, in an attempt to capture different online writing styles. Then we convert all these style features to a reference style feature domain by a novel normalization layer. Finally, we aggregate the normalized features by a hierarchical attention pooling (HAP), which fuses all the input letters with multiple writing styles into a compact feature vector. In addition, we also contribute a large-scale LEtter-level online wRiter IDentification dataset (LERID) for evaluation. Extensive comparative experiments demonstrate the effectiveness of the proposed framework.


title: Clue Me In: Semi-Supervised FGVC with Out-of-Distribution Data

abstract: Despite great strides made on fine-grained visual classification (FGVC), current methods are still heavily reliant on fully-supervised paradigms where ample expert labels are called for. Semi-supervised learning (SSL) techniques, acquiring knowledge from unlabeled data, provide a considerable means forward and have shown great promise for coarse-grained problems. However, exiting SSL paradigms mostly assume in-distribution (i.e., category-aligned) unlabeled data, which hinders their effectiveness when re-proposed on FGVC. In this paper, we put forward a novel design specifically aimed at making out-of-distribution data work for semi-supervised FGVC, i.e., to "clue them in". We work off an important assumption that all fine-grained categories naturally follow a hierarchical structure (e.g., the phylogenetic tree of "Aves" that covers all bird species). It follows that, instead of operating on individual samples, we can instead predict sample relations within this tree structure as the optimization goal of SSL. Beyond this, we further introduced two strategies uniquely brought by these tree structures to achieve inter-sample consistency regularization and reliable pseudo-relation. Our experimental results reveal that (i) the proposed method yields good robustness against out-of-distribution data, and (ii) it can be equipped with prior arts, boosting their performance thus yielding state-of-the-art results. Code is available at https://github.com/PRIS-CV/RelMatch.


title: Selective transport of water molecules through interlayer spaces in graphite

abstract: Interlayer space in graphite is impermeable to ions and molecules, including protons. Its controlled expansion would find several applications in desalination, gas purification, high-density batteries, etc. In the past, metal intercalation has been used to modify graphitic interlayer spaces; however, resultant intercalation compounds are unstable in water. Here, we successfully expanded graphite interlayer spaces by intercalating aqueous KCl ions electrochemically. The water conductivity shows several orders of enhancement when compared to unintercalated graphite. Water evaporation experiments further confirm the high permeation rate. There is weak ion permeation through interlayer spaces, up to the highest chloride concentration of 1 M, an indication of sterically limited transport. In these very few transported ions, we observe hydration energy-dependent selectivity between salt ions. These strongly suggest a soft ball model of steric exclusion, which is rarely reported. Our spectroscopy studies provide clear evidence for cation-{\pi} interactions, though weak anion-{\pi} interactions were also detectable. These findings improve our understanding of molecular and ionic transport at the atomic scale.


title: Optimal activity and battery scheduling algorithm using load and solar generation forecast

abstract: In this report, we provide a technical sequence on tackling the solar PV and demand forecast as well as optimal scheduling problem proposed by the IEEE-CIS 3rd technical challenge on predict + optimize for activity and battery scheduling. Using the historical data provided by the organizers, a simple pre-processing approach with a rolling window was used to detect and replace invalid data points. Upon filling the missing values, advanced time-series forecasting techniques, namely tree-based methods and refined motif discovery, were employed to predict the baseload consumption on six different buildings together with the power production on their associated solar PV panels. An optimization problem is then formulated to use the predicted values and the wholesale electricity prices to create a timetable for a set of activities, including the scheduling of lecture theatres and battery charging and discharging operation, for one month ahead. The valley-filling optimization was done across all the buildings with the objective of minimizing the total energy cost and achieving net-zero imported power from the grid.


title: PP-MSVSR: Multi-Stage Video Super-Resolution

abstract: Different from the Single Image Super-Resolution(SISR) task, the key for Video Super-Resolution(VSR) task is to make full use of complementary information across frames to reconstruct the high-resolution sequence. Since images from different frames with diverse motion and scene, accurately aligning multiple frames and effectively fusing different frames has always been the key research work of VSR tasks. To utilize rich complementary information of neighboring frames, in this paper, we propose a multi-stage VSR deep architecture, dubbed as PP-MSVSR, with local fusion module, auxiliary loss and re-align module to refine the enhanced result progressively. Specifically, in order to strengthen the fusion of features across frames in feature propagation, a local fusion module is designed in stage-1 to perform local feature fusion before feature propagation. Moreover, we introduce an auxiliary loss in stage-2 to make the features obtained by the propagation module reserve more correlated information connected to the HR space, and introduce a re-align module in stage-3 to make full use of the feature information of the previous stage. Extensive experiments substantiate that PP-MSVSR achieves a promising performance of Vid4 datasets, which achieves a PSNR of 28.13dB with only 1.45M parameters. And the PP-MSVSR-L exceeds all state of the art method on REDS4 datasets with considerable parameters. Code and models will be released in PaddleGAN\footnote{https://github.com/PaddlePaddle/PaddleGAN.}.


title: SyntEO: Synthetic Data Set Generation for Earth Observation and Deep Learning -- Demonstrated for Offshore Wind Farm Detection

abstract: With the emergence of deep learning in the last years, new opportunities arose in Earth observation research. Nevertheless, they also brought with them new challenges. The data-hungry training processes of deep learning models demand large, resource expensive, annotated data sets and partly replaced knowledge-driven approaches so that model behaviour and the final prediction process became a black box. The proposed SyntEO approach enables Earth observation researchers to automatically generate large deep learning ready data sets by merging existing and procedural data. SyntEO does this by including expert knowledge in the data generation process in a highly structured manner to control the automatic image and label generation by employing an ontology. In this way, fully controllable experiment environments are set up, which support insights in the model training on the synthetic data sets. Thus, SyntEO makes the learning process approachable, which is an important cornerstone for explainable machine learning. We demonstrate the SyntEO approach by predicting offshore wind farms in Sentinel-1 images on two of the worlds largest offshore wind energy production sites. The largest generated data set has 90,000 training examples. A basic convolutional neural network for object detection, that is only trained on this synthetic data, confidently detects offshore wind farms by minimising false detections in challenging environments. In addition, four sequential data sets are generated, demonstrating how the SyntEO approach can precisely define the data set structure and influence the training process. SyntEO is thus a hybrid approach that creates an interface between expert knowledge and data-driven image analysis.


title: Learning Proximal Operator Methods for Massive Connectivity in IoT Networks

abstract: Grant-free random access has the potential to support massive connectivity in Internet of Things (IoT) networks, where joint activity detection and channel estimation (JADCE) is a key issue that needs to be tackled. The existing methods for JADCE usually suffer from one of the following limitations: high computational complexity, ineffective in inducing sparsity, and incapable of handling complex matrix estimation. To mitigate all the aforementioned limitations, we in this paper develop an effective unfolding neural network framework built upon the proximal operator method to tackle the JADCE problem in IoT networks, where the base station is equipped with multiple antennas. Specifically, the JADCE problem is formulated as a group-sparse-matrix estimation problem, which is regularized by non-convex minimax concave penalty (MCP). This problem can be iteratively solved by using the proximal operator method, based on which we develop a unfolding neural network structure by parameterizing the algorithmic iterations. By further exploiting the coupling structure among the training parameters as well as the analytical computation, we develop two additional unfolding structures to reduce the training complexity. We prove that the proposed algorithm achieves a linear convergence rate. Results show that our proposed three unfolding structures not only achieve a faster convergence rate but also obtain a higher estimation accuracy than the baseline methods.


title: Determining dispersal mechanisms of protoplanetary disks using accretion and wind mass loss rates

abstract: Understanding the origin of accretion and dispersal of protoplanetary disks is fundamental for investigating planet formation. Recent numerical simulations show that launching winds are unavoidable when disks undergo magnetically driven accretion and/or are exposed to external UV radiation. Observations also hint that disk winds are common. We explore how the resulting wind mass loss rate can be used as a probe of both disk accretion and dispersal. As a proof-of-concept study, we focus on magnetocentrifugal winds, MRI (magnetorotational instability) turbulence, and external photoevapotaion. By developing a simple, yet physically motivated disk model and coupling it with simulation results available in the literature, we compute the mass loss rate as a function of external UV flux for each mechanism. We find that different mechanisms lead to different levels of mass loss rate, indicating that the origin of disk accretion and dispersal can be determined, by observing the wind mass loss rate resulting from each mechanism. This determination provides important implications for planet formation. This work thus shows that the ongoing and future observations of the wind mass loss rate for protoplanetary disks are paramount to reliably constrain how protoplanetary disks evolve with time and how planet formation takes place in the disks.


title: Quadrupolar active stress induces exotic phases of defect motion in active nematics

abstract: A wide range of living and artificial active matter exists in close contact with substrates and under strong confinement, where in addition to dipolar active stresses, quadrupolar active stresses can become important. Here, we numerically investigate the impact of quadrupolar non-equilibrium stresses on the emergent patterns of self-organisation in non-momentum conserving active nematics. Our results reveal that beyond having stabilising effects, the quadrupolar active forces can induce various modes of topological defect motion in active nematics. In particular, we find the emergence of both polar and nematic ordering of the defects, as well as new phases of self-organisation that comprise topological defect chains and topological defect asters. The results contribute to further understanding of emergent patterns of collective motion and non-equilibrium self-organisation in active matter.


title: Two-step Lookahead Bayesian Optimization with Inequality Constraints

abstract: Recent advances in computationally efficient non-myopic Bayesian optimization (BO) improve query efficiency over traditional myopic methods like expected improvement while only modestly increasing computational cost. These advances have been largely limited, however, to unconstrained optimization. For constrained optimization, the few existing non-myopic BO methods require heavy computation. For instance, one existing non-myopic constrained BO method [Lam and Willcox, 2017] relies on computationally expensive unreliable brute-force derivative-free optimization of a Monte Carlo rollout acquisition function. Methods that use the reparameterization trick for more efficient derivative-based optimization of non-myopic acquisition functions in the unconstrained setting, like sample average approximation and infinitesimal perturbation analysis, do not extend: constraints introduce discontinuities in the sampled acquisition function surface that hinder its optimization. Moreover, we argue here that being non-myopic is even more important in constrained problems because fear of violating constraints pushes myopic methods away from sampling the boundary between feasible and infeasible regions, slowing the discovery of optimal solutions with tight constraints. In this paper, we propose a computationally efficient two-step lookahead constrained Bayesian optimization acquisition function (2-OPT-C) supporting both sequential and batch settings. To enable fast acquisition function optimization, we develop a novel likelihood-ratio-based unbiased estimator of the gradient of the two-step optimal acquisition function that does not use the reparameterization trick. In numerical experiments, 2-OPT-C typically improves query efficiency by 2x or more over previous methods, and in some cases by 10x or more.


title: A Generalized Zero-Shot Quantization of Deep Convolutional Neural Networks via Learned Weights Statistics

abstract: Quantizing the floating-point weights and activations of deep convolutional neural networks to fixed-point representation yields reduced memory footprints and inference time. Recently, efforts have been afoot towards zero-shot quantization that does not require original unlabelled training samples of a given task. These best-published works heavily rely on the learned batch normalization (BN) parameters to infer the range of the activations for quantization. In particular, these methods are built upon either empirical estimation framework or the data distillation approach, for computing the range of the activations. However, the performance of such schemes severely degrades when presented with a network that does not accommodate BN layers. In this line of thought, we propose a generalized zero-shot quantization (GZSQ) framework that neither requires original data nor relies on BN layer statistics. We have utilized the data distillation approach and leveraged only the pre-trained weights of the model to estimate enriched data for range calibration of the activations. To the best of our knowledge, this is the first work that utilizes the distribution of the pretrained weights to assist the process of zero-shot quantization. The proposed scheme has significantly outperformed the existing zero-shot works, e.g., an improvement of ~ 33% in classification accuracy for MobileNetV2 and several other models that are w & w/o BN layers, for a variety of tasks. We have also demonstrated the efficacy of the proposed work across multiple open-source quantization frameworks. Importantly, our work is the first attempt towards the post-training zero-shot quantization of futuristic unnormalized deep neural networks.


title: Bifurcated symmetry breaking in scalar-tensor gravity

abstract: We present models that simultaneously predict presence of dark energy and cold dark matter along with slow-roll inflation. The dark energy density is found to be of order $({\rm a \;few \;meV})^4$, and the mass of dark matter constituent is $\approx 1\,$ meV. These numbers are given in terms of the present value of Hubble constant $H_0$ and the Plank energy $1/\sqrt{16 \pi G_N}$: they are $(H_0 M_{\rm P})^2$ for the energy density and $(H_0 M_{\rm P})^{1/2}$ for the dark matter constituent mass. The basic framework is a multi-scalar tensor gravity with non-trivial conformal coupling to the Ricci scalar curvature in the lagrangian density. The key for a right amount of dark energy is to incorporate in a novel way the spatially homogeneous kinetic contribution of Nambu-Goldstone modes in a spontaneously broken multi-scalar field sector. Proposed theories are made consistent with general relativity tests at small cosmological distances, yet are different from general relativity at cosmological scales. Dark matter is generated as spatially inhomogeneous component of the scalar system, with roughly comparable amount to the dark energy. In some presented models a cosmological bifurcation of symmetry breaking of scalar sector is triggered by the spontaneous breaking of electroweak SU(2) $\times $ U(1) gauge symmetry, hence the separation occurring simultaneously at the electroweak phase transition. The best experimental method to test presented models is to search for the fifth-force type of scalar exchange interaction with a force range, $O(10^{-2})$ cm, whose coupling to matter is basically of gravitational strength.


title: Near-optimal bounds for signal recovery from blind phaseless periodic short-time Fourier transform

abstract: We study the problem of recovering a signal $x\in\mathbb{C}^N$ from samples of its phaseless periodic short-time Fourier transform (STFT): the magnitude of the Fourier transform of the signal multiplied by a sliding window $w\in \mathbb{C}^W$. We show that if the window $w$ is known, then a generic signal can be recovered, up to a global phase, from less than 4N phaseless STFT measurements. In the blind case, when the window is unknown, we show that the signal and the window can be determined simultaneously, up to a group of unavoidable ambiguities, from less than 4N+2W measurements. In both cases, our bounds are optimal, up to a constant smaller than two.


title: A significant detection of X-ray Polarization in Sco X-1 with PolarLight and constraints on the corona geometry

abstract: We report the detection of X-ray polarization in the neutron star low mass X-ray binary Scorpius (Sco) X-1 with PolarLight. The result is energy dependent, with a non-detection in 3-4 keV but a 4$\sigma$ detection in 4-8 keV; it is also flux dependent in the 4-8 keV band, with a non-detection when the source displays low fluxes but a 5$\sigma$ detection during high fluxes, in which case we obtain a polarization fraction of $0.043 \pm 0.008$ and a polarization angle of $52.6^\circ \pm 5.4^\circ$. This confirms a previous marginal detection with OSO-8 in the 1970s, and marks Sco X-1 the second astrophysical source with a significant polarization measurement in the keV band. The measured polarization angle is in line with the jet orientation of the source on the sky plane ($54^\circ$), which is supposedly the symmetric axis of the system. Combining previous spectral analysis, our measurements suggest that an optically thin corona is located in the transition layer under the highest accretion rates, and disfavor the extended accretion disk corona model.


title: Visual Object Tracking with Discriminative Filters and Siamese Networks: A Survey and Outlook

abstract: Accurate and robust visual object tracking is one of the most challenging and fundamental computer vision problems. It entails estimating the trajectory of the target in an image sequence, given only its initial location, and segmentation, or its rough approximation in the form of a bounding box. Discriminative Correlation Filters (DCFs) and deep Siamese Networks (SNs) have emerged as dominating tracking paradigms, which have led to significant progress. Following the rapid evolution of visual object tracking in the last decade, this survey presents a systematic and thorough review of more than 90 DCFs and Siamese trackers, based on results in nine tracking benchmarks. First, we present the background theory of both the DCF and Siamese tracking core formulations. Then, we distinguish and comprehensively review the shared as well as specific open research challenges in both these tracking paradigms. Furthermore, we thoroughly analyze the performance of DCF and Siamese trackers on nine benchmarks, covering different experimental aspects of visual tracking: datasets, evaluation metrics, performance, and speed comparisons. We finish the survey by presenting recommendations and suggestions for distinguished open challenges based on our analysis.


title: MoCA: Incorporating Multi-stage Domain Pretraining and Cross-guided Multimodal Attention for Textbook Question Answering

abstract: Textbook Question Answering (TQA) is a complex multimodal task to infer answers given large context descriptions and abundant diagrams. Compared with Visual Question Answering (VQA), TQA contains a large number of uncommon terminologies and various diagram inputs. It brings new challenges to the representation capability of language model for domain-specific spans. And it also pushes the multimodal fusion to a more complex level. To tackle the above issues, we propose a novel model named MoCA, which incorporates multi-stage domain pretraining and multimodal cross attention for the TQA task. Firstly, we introduce a multi-stage domain pretraining module to conduct unsupervised post-pretraining with the span mask strategy and supervised pre-finetune. Especially for domain post-pretraining, we propose a heuristic generation algorithm to employ the terminology corpus. Secondly, to fully consider the rich inputs of context and diagrams, we propose cross-guided multimodal attention to update the features of text, question diagram and instructional diagram based on a progressive strategy. Further, a dual gating mechanism is adopted to improve the model ensemble. The experimental results show the superiority of our model, which outperforms the state-of-the-art methods by 2.21% and 2.43% for validation and test split respectively.


title: On the solutions to weakly coupled system of $\boldsymbol{k_i}$-Hessian equations

abstract: In this paper, the existence and multiplicity of nontrivial radial convex solutions to general coupled system of $k_i$-Hessian equations in a unit ball are studied via a fixed-point theorem. In particular, we obtain the uniqueness of nontrivial radial convex solution and nonexistence of nontrivial radial $\boldsymbol{k}$-admissible solution to a power-type system coupled by $k_i$-Hessian equations in a unit ball. Moreover, using a generalized Krein-Rutman theorem, the existence of $\boldsymbol{k}$-admissible solutions to an eigenvalue problem in a general strictly $(k-1)$-convex domain is also obtained.


title: GETAM: Gradient-weighted Element-wise Transformer Attention Map for Weakly-supervised Semantic segmentation

abstract: Weakly Supervised Semantic Segmentation (WSSS) is challenging, particularly when image-level labels are used to supervise pixel level prediction. To bridge their gap, a Class Activation Map (CAM) is usually generated to provide pixel level pseudo labels. CAMs in Convolutional Neural Networks suffer from partial activation ie, only the most discriminative regions are activated. Transformer based methods, on the other hand, are highly effective at exploring global context with long range dependency modeling, potentially alleviating the "partial activation" issue. In this paper, we propose the first transformer based WSSS approach, and introduce the Gradient weighted Element wise Transformer Attention Map (GETAM). GETAM shows fine scale activation for all feature map elements, revealing different parts of the object across transformer layers. Further, we propose an activation aware label completion module to generate high quality pseudo labels. Finally, we incorporate our methods into an end to end framework for WSSS using double backward propagation. Extensive experiments on PASCAL VOC and COCO demonstrate that our results beat the state-of-the-art end-to-end approaches by a significant margin, and outperform most multi-stage methods.m most multi-stage methods.


title: Optimizing Write Fidelity of MRAMs via Iterative Water-filling Algorithm

abstract: Magnetic random-access memory (MRAM) is a promising memory technology due to its high density, non-volatility, and high endurance. However, achieving high memory fidelity incurs significant write-energy costs, which should be reduced for large-scale deployment of MRAMs. In this paper, we formulate a \emph{biconvex} optimization problem to optimize write fidelity given energy and latency constraints. The basic idea is to allocate non-uniform write pulses depending on the importance of each bit position. The fidelity measure we consider is mean squared error (MSE), for which we optimize write pulses via \emph{alternating convex search (ACS)}. By using Karush-Kuhn-Tucker (KKT) conditions, we derive analytic solutions and propose an \emph{iterative water-filling-type} algorithm by leveraging the analytic solutions. Hence, the proposed iterative water-filling algorithm is computationally more efficient than the original ACS while their solutions are identical. Although the original ACS and the proposed iterative water-filling algorithm do not guarantee global optimality, the MSEs obtained by the proposed algorithm are comparable to the MSEs by complicated global nonlinear programming solvers. Furthermore, we prove that the proposed algorithm can reduce the MSE exponentially with the number of bits per word. For an 8-bit accessed word, the proposed algorithm reduces the MSE by a factor of 21. We also evaluate the proposed algorithm for MNIST dataset classification supposing that the model parameters of deep neural networks are stored in MRAMs. The numerical results show that the optimized write pulses can achieve \SI{40}{\%} write energy reduction for a given classification accuracy.


title: Learning-based Measurement Scheduling for Loosely-Coupled Cooperative Localization

abstract: In cooperative localization, communicating mobile agents use inter-agent relative measurements to improve their dead-reckoning-based global localization. Measurement scheduling enables an agent to decide which subset of available inter-agent relative measurements it should process when its computational resources are limited. Optimal measurement scheduling is an NP-hard combinatorial optimization problem. The so-called sequential greedy (SG) algorithm is a popular suboptimal polynomial-time solution for this problem. However, the merit function evaluation for the SG algorithms requires access to the state estimate vector and error covariance matrix of all the landmark agents (teammates that an agent can take measurements from). This paper proposes a measurement scheduling for CL that follows the SG approach but reduces the communication and computation cost by using a neural network-based surrogate model as a proxy for the SG algorithm's merit function. The significance of this model is that it is driven by local information and only a scalar metadata from the landmark agents. This solution addresses the time and memory complexity issues of running the SG algorithm in three ways: (a) reducing the inter-agent communication message size, (b) decreasing the complexity of function evaluations by using a simpler surrogate (proxy) function, (c) reducing the required memory size.Simulations demonstrate our results.


title: The roles of three-nucleon force and continuum coupling in mirror symmetry breaking of oxygen mass region

abstract: With both three-nucleon force and continuum coupling included, we have developed a self-consistent {\it ab initio} Gamow shell model within the Gamow Hartree-Fock (GHF) basis obtained by the realistic interaction itself. With the chiral two-nucleon N$^3$LO and three-nucleon N$^2$LO interactions, the Gamow shell model has been applied to the mirror systems of $Z=8$ neutron-rich isotopes and $N=8$ proton-rich isotones, giving good agreements with data in binding energies, dripline positions and excitation spectra. The GHF calculated that the $0d_{3/2}$, $1s_{1/2}$ and $1p_{3/2}$ orbitals are resonances. The resonance states and their interplay with nonresonant continua play a crucial role in the descriptions of nuclei around driplines. Excitation spectra and Thomas-Ehrman shifts observed can be better described when both three-nucleon force and continuum coupling are considered in calculations. The three-nucleon force and continuum coupling produce a combined effect on the Thomas-Ehrman shift, e.g., for the ${1/2}^+$ resonance level of $^{19}$Na. The calculations help the understandings of related nuclear astrophysical processes.


title: Offline Pre-trained Multi-Agent Decision Transformer: One Big Sequence Model Tackles All SMAC Tasks

abstract: Offline reinforcement learning leverages previously-collected offline datasets to learn optimal policies with no necessity to access the real environment. Such a paradigm is also desirable for multi-agent reinforcement learning (MARL) tasks, given the increased interactions among agents and with the enviroment. Yet, in MARL, the paradigm of offline pre-training with online fine-tuning has not been studied, nor datasets or benchmarks for offline MARL research are available. In this paper, we facilitate the research by providing large-scale datasets, and use them to examine the usage of the Decision Transformer in the context of MARL. We investigate the generalisation of MARL offline pre-training in the following three aspects: 1) between single agents and multiple agents, 2) from offline pretraining to the online fine-tuning, and 3) to that of multiple downstream tasks with few-shot and zero-shot capabilities. We start by introducing the first offline MARL dataset with diverse quality levels based on the StarCraftII environment, and then propose the novel architecture of multi-agent decision transformer (MADT) for effective offline learning. MADT leverages transformer's modelling ability of sequence modelling and integrates it seamlessly with both offline and online MARL tasks. A crucial benefit of MADT is that it learns generalisable policies that can transfer between different types of agents under different task scenarios. On StarCraft II offline dataset, MADT outperforms the state-of-the-art offline RL baselines. When applied to online tasks, the pre-trained MADT significantly improves sample efficiency, and enjoys strong performance both few-short and zero-shot cases. To our best knowledge, this is the first work that studies and demonstrates the effectiveness of offline pre-trained models in terms of sample efficiency and generalisability enhancements in MARL.


title: Decoherence on Staggered Quantum Walks

abstract: Decoherence phenomenon has been widely studied in different types of quantum walks. In this work we show how to model decoherence inspired by percolation on staggered quantum walks. Two models of unitary noise are described: breaking polygons and breaking vertices. The evolution operators subject to these noises are obtained and the equivalence to the coined quantum walk model is presented. Further, we numerically analyze the effect of these decoherence models on the two-dimensional grid of $4$-cliques. We examine how these perturbations affect the quantum walk based search algorithm in this graph and how expanding the tessellations intersection can make it more robust against decoherence.


title: Algebraic reverse Khovanskii--Teissier inequality via Okounkov bodies

abstract: Let $X$ be a projective variety of dimension $n$ over an algebraically closed field of arbitrary characteristic and let $A, B, C$ be nef divisors on $X$. We show that for any integer $1\leq k\leq n-1$, $$ (B^k\cdot A^{n-k})\cdot (A^k\cdot C^{n-k})\geq \frac{k!(n-k)!}{n!}(A^n)\cdot (B^k\cdot C^{n-k}). $$ The same inequality in the analytic setting was obtained by Lehmann and Xiao for compact K\"ahler manifolds using the Calabi--Yau theorem, while our approach is purely algebraic using (multipoint) Okounkov bodies. We also discuss applications of this inequality to B\'ezout-type inequalities and inequalities on degrees of dominant rational self-maps.


title: Highest weight crystals for Schur Q-functions

abstract: Work of Grantcharov et al. develops a theory of abstract crystals for the queer Lie superalgebra $\mathfrak{q}_n$. Such $\mathfrak{q}_n$-crystals form a monoidal category in which the connected normal objects have unique highest weight elements and characters that are Schur $P$-polynomials. This article studies a modified form of this category, whose connected normal objects again have unique highest weight elements but now possess characters that are Schur $Q$-polynomials. The crystals in this category have some interesting features not present for ordinary $\mathfrak{q}_n$-crystals. For example, there is an extra crystal operator, a different tensor product, and an action of the hyperoctahedral group exchanging highest and lowest weight elements. There are natural examples of $\mathfrak{q}_n$-crystal structures on certain families of shifted tableaux and factorized reduced words. We describe extended forms of these structures that give similar examples in our new category.


title: DemoGrasp: Few-Shot Learning for Robotic Grasping with Human Demonstration

abstract: The ability to successfully grasp objects is crucial in robotics, as it enables several interactive downstream applications. To this end, most approaches either compute the full 6D pose for the object of interest or learn to predict a set of grasping points. While the former approaches do not scale well to multiple object instances or classes yet, the latter require large annotated datasets and are hampered by their poor generalization capabilities to new geometries. To overcome these shortcomings, we propose to teach a robot how to grasp an object with a simple and short human demonstration. Hence, our approach neither requires many annotated images nor is it restricted to a specific geometry. We first present a small sequence of RGB-D images displaying a human-object interaction. This sequence is then leveraged to build associated hand and object meshes that represent the depicted interaction. Subsequently, we complete missing parts of the reconstructed object shape and estimate the relative transformation between the reconstruction and the visible object in the scene. Finally, we transfer the a-priori knowledge from the relative pose between object and human hand with the estimate of the current object pose in the scene into necessary grasping instructions for the robot. Exhaustive evaluations with Toyota's Human Support Robot (HSR) in real and synthetic environments demonstrate the applicability of our proposed methodology and its advantage in comparison to previous approaches.


title: Cerium Oxides without $U$: The Role of Many-Electron Correlation

abstract: Electron transfer with changing occupation in the 4f subshell poses a considerable challenge for quantitative predictions in quantum chemistry. Using the example of cerium oxide, we identify the main deficiencies of common parameter-dependent one-electron approaches, such as density functional theory (DFT) with a Hubbard correction, or hybrid functionals. As a response, we present the first benchmark of ab initio many-electron theory for electron transfer energies and lattice parameters under periodic boundary conditions. We show that the direct random phase approximation clearly outperforms all DFT variations. From this foundation, we, then, systematically improve even further. Periodic second-order M{\o}ller-Plesset perturbation theory meanwhile manages to recover standard hybrid functional values. Using these approaches to eliminate parameter bias allows for highly accurate benchmarks of strongly correlated materials, the reliable assessment of various density functionals, and functional fitting via machine-learning.


title: No-Reference Point Cloud Quality Assessment via Domain Adaptation

abstract: We present a novel no-reference quality assessment metric, the image transferred point cloud quality assessment (IT-PCQA), for 3D point clouds. For quality assessment, deep neural network (DNN) has shown compelling performance on no-reference metric design. However, the most challenging issue for no-reference PCQA is that we lack large-scale subjective databases to drive robust networks. Our motivation is that the human visual system (HVS) is the decision-maker regardless of the type of media for quality assessment. Leveraging the rich subjective scores of the natural images, we can quest the evaluation criteria of human perception via DNN and transfer the capability of prediction to 3D point clouds. In particular, we treat natural images as the source domain and point clouds as the target domain, and infer point cloud quality via unsupervised adversarial domain adaptation. To extract effective latent features and minimize the domain discrepancy, we propose a hierarchical feature encoder and a conditional-discriminative network. Considering that the ultimate purpose is regressing objective score, we introduce a novel conditional cross entropy loss in the conditional-discriminative network to penalize the negative samples which hinder the convergence of the quality regression network. Experimental results show that the proposed method can achieve higher performance than traditional no-reference metrics, even comparable results with full-reference metrics. The proposed method also suggests the feasibility of assessing the quality of specific media content without the expensive and cumbersome subjective evaluations. Code is available at https://github.com/Qi-Yangsjtu/IT-PCQA.


title: Target Entropy Annealing for Discrete Soft Actor-Critic

abstract: Soft Actor-Critic (SAC) is considered the state-of-the-art algorithm in continuous action space settings. It uses the maximum entropy framework for efficiency and stability, and applies a heuristic temperature Lagrange term to tune the temperature $\alpha$, which determines how "soft" the policy should be. It is counter-intuitive that empirical evidence shows SAC does not perform well in discrete domains. In this paper we investigate the possible explanations for this phenomenon and propose Target Entropy Scheduled SAC (TES-SAC), an annealing method for the target entropy parameter applied on SAC. Target entropy is a constant in the temperature Lagrange term and represents the target policy entropy in discrete SAC. We compare our method on Atari 2600 games with different constant target entropy SAC, and analyze on how our scheduling affects SAC.


title: Reliable Propagation-Correction Modulation for Video Object Segmentation

abstract: Error propagation is a general but crucial problem in online semi-supervised video object segmentation. We aim to suppress error propagation through a correction mechanism with high reliability. The key insight is to disentangle the correction from the conventional mask propagation process with reliable cues. We introduce two modulators, propagation and correction modulators, to separately perform channel-wise re-calibration on the target frame embeddings according to local temporal correlations and reliable references respectively. Specifically, we assemble the modulators with a cascaded propagation-correction scheme. This avoids overriding the effects of the reliable correction modulator by the propagation modulator. Although the reference frame with the ground truth label provides reliable cues, it could be very different from the target frame and introduce uncertain or incomplete correlations. We augment the reference cues by supplementing reliable feature patches to a maintained pool, thus offering more comprehensive and expressive object representations to the modulators. In addition, a reliability filter is designed to retrieve reliable patches and pass them in subsequent frames. Our model achieves state-of-the-art performance on YouTube-VOS18/19 and DAVIS17-Val/Test benchmarks. Extensive experiments demonstrate that the correction mechanism provides considerable performance gain by fully utilizing reliable guidance. Code is available at: https://github.com/JerryX1110/RPCMVOS.


title: On minimal critical exponent of balanced sequences

abstract: We study the threshold between avoidable and unavoidable repetitions in infinite balanced sequences over finite alphabets. The conjecture stated by Rampersad, Shallit and Vandomme says that the minimal critical exponent of balanced sequences over the alphabet of size $d \geq 5$ equals $\frac{d-2}{d-3}$. This conjecture is known to hold for $d\in \{5, 6, 7,8,9,10\}$. We refute this conjecture by showing that the picture is different for bigger alphabets. We prove that critical exponents of balanced sequences over an alphabet of size $d\geq 11$ are lower bounded by $\frac{d-1}{d-2}$ and this bound is attained for all even numbers $d\geq 12$. According to this result, we conjecture that the least critical exponent of a balanced sequence over $d$ letters is $\frac{d-1}{d-2}$ for all $d\geq 11$.


title: PAN-DOMAIN: Privacy-preserving Sharing and Auditing of Infection Identifier Matching

abstract: The spread of COVID-19 has highlighted the need for a robust contact tracing infrastructure that enables infected individuals to have their contacts traced, and followed up with a test. The key entities involved within a contact tracing infrastructure may include the Citizen, a Testing Centre (TC), a Health Authority (HA), and a Government Authority (GA). Typically, these different domains need to communicate with each other about an individual. A common approach is when a citizen discloses his personally identifiable information to both the HA a TC, if the test result comes positive, the information is used by the TC to alert the HA. Along with this, there can be other trusted entities that have other key elements of data related to the citizen. However, the existing approaches comprise severe flaws in terms of privacy and security. Additionally, the aforementioned approaches are not transparent and often being questioned for the efficacy of the implementations. In order to overcome the challenges, this paper outlines the PAN-DOMAIN infrastructure that allows for citizen identifiers to be matched amongst the TA, the HA and the GA. PAN-DOMAIN ensures that the citizen can keep control of the mapping between the trusted entities using a trusted converter, and has access to an audit log.