title: Diverse Knowledge Distillation for End-to-End Person Search

abstract: Person search aims to localize and identify a specific person from a gallery of images. Recent methods can be categorized into two groups, i.e., two-step and end-to-end approaches. The former views person search as two independent tasks and achieves dominant results using separately trained person detection and re-identification (Re-ID) models. The latter performs person search in an end-to-end fashion. Although the end-to-end approaches yield higher inference efficiency, they largely lag behind those two-step counterparts in terms of accuracy. In this paper, we argue that the gap between the two kinds of methods is mainly caused by the Re-ID sub-networks of end-to-end methods. To this end, we propose a simple yet strong end-to-end network with diverse knowledge distillation to break the bottleneck. We also design a spatial-invariant augmentation to assist model to be invariant to inaccurate detection results. Experimental results on the CUHK-SYSU and PRW datasets demonstrate the superiority of our method against existing approaches -- it achieves on par accuracy with state-of-the-art two-step methods while maintaining high efficiency due to the single joint model. Code is available at: https://git.io/DKD-PersonSearch.


title: Parallel Index-Based Structural Graph Clustering and Its Approximation

abstract: SCAN (Structural Clustering Algorithm for Networks) is a well-studied, widely used graph clustering algorithm. For large graphs, however, sequential SCAN variants are prohibitively slow, and parallel SCAN variants do not effectively share work among queries with different SCAN parameter settings. Since users of SCAN often explore many parameter settings to find good clusterings, it is worthwhile to precompute an index that speeds up queries. This paper presents a practical and provably efficient parallel index-based SCAN algorithm based on GS*-Index, a recent sequential algorithm. Our parallel algorithm improves upon the asymptotic work of the sequential algorithm by using integer sorting. It is also highly parallel, achieving logarithmic span (parallel time) for both index construction and clustering queries. Furthermore, we apply locality-sensitive hashing (LSH) to design a novel approximate SCAN algorithm and prove guarantees for its clustering behavior. We present an experimental evaluation of our algorithms on large real-world graphs. On a 48-core machine with two-way hyper-threading, our parallel index construction achieves 50--151$\times$ speedup over the construction of GS*-Index. In fact, even on a single thread, our index construction algorithm is faster than GS*-Index. Our parallel index query implementation achieves 5--32$\times$ speedup over GS*-Index queries across a range of SCAN parameter values, and our implementation is always faster than ppSCAN, a state-of-the-art parallel SCAN algorithm. Moreover, our experiments show that applying LSH results in faster index construction while maintaining good clustering quality.


title: The ABC of Deutsch-Hayden Descriptors

abstract: It has been more than 20 years since Deutsch and Hayden proved the locality of quantum theory, using the Heisenberg picture of quantum computational networks. Of course, locality holds even in the face of entanglement and Bell's theorem. Today, most researchers in quantum foundations are still convinced not only that a local description of quantum systems has not yet been provided, but that it cannot exist. The main goal of this paper is to address this misconception by re-explaining the descriptor formalism in a hopefully accessible and self-contained way. It is a step-by-step guide to how and why descriptors work. Finally, superdense coding is revisited in the light of descriptors.


title: Classical Solutions and their Double Copy in Split Signature

abstract: The three-point amplitude is the key building block in the on-shell approach to scattering amplitudes. We show that the classical objects computed by massive three-point amplitudes in gauge theory and gravity are Newman-Penrose scalars in a split-signature spacetime, where three-point amplitudes can be defined for real kinematics. In fact, the quantum state set up by the particle is a coherent state fully determined by the three-point amplitude due to an eikonal-type exponentiation. Having identified this simplest classical solution from the perspective of scattering amplitudes, we explore the double copy of the Newman-Penrose scalars induced by the traditional double copy of amplitudes, and find that it coincides with the Weyl version of the classical double copy. We also exploit the Kerr-Schild version of the classical double copy to determine the exact spacetime metric in the gravitational case. Finally, we discuss the direct implication of these results for Lorentzian signature via analytic continuation.


title: Lie nilpotent Novikov algebras and Lie solvable Leavitt path algebras

abstract: In this paper, we first study properties of the lower central chains for Novikov algebras. Then we show that for every Lie nilpotent Novikov algebra~$\mathcal{N}$, the ideal of~$\mathcal{N}$ generated by the set~$\{ab - ba\mid a, b\in \mathcal{N}\}$ is nilpotent. We secondly provide necessary and sufficient conditions on the graph $E$ and the field $K$ for which the Leavitt path algebra $L_K(E)$ is Lie solvable. Consequently, we obtain a complete description of Lie nilpotent Leavitt path algebras, and show that the Lie solvability of~$L_K(E)$ and the Lie nilpotency of $[L_K(E),L_K(E)]$ are the same.


title: Towards the conception of complex engineering meta-structures: relaxed-micromorphic modelling of low-frequency mechanical diodes/high-frequency screens

abstract: In this paper we show that an enriched continuum model of the micromorphic type (Relaxed Micromorphic Model) can be used to model metamaterials' response in view of their use for meta-structural design. We focus on the fact that the reduced model's structure, coupled with the introduction of well-posed interface conditions, allows us to easily test different combinations of metamaterials' and classical-materials bricks, so that we can eventually end-up with the conception of a meta-structure acting as a mechanical diode for low/medium frequencies and as a total screen for higher frequencies. Thanks to the reduced model's structure, we are also able to optimize this meta-structure so that the diode-behaviour is enhanced for both "pressure" and "shear" incident waves and for all possible angles of incidence.


title: Image Translation via Fine-grained Knowledge Transfer

abstract: Prevailing image-translation frameworks mostly seek to process images via the end-to-end style, which has achieved convincing results. Nonetheless, these methods lack interpretability and are not scalable on different image-translation tasks (e.g., style transfer, HDR, etc.). In this paper, we propose an interpretable knowledge-based image-translation framework, which realizes the image-translation through knowledge retrieval and transfer. In details, the framework constructs a plug-and-play and model-agnostic general purpose knowledge library, remembering task-specific styles, tones, texture patterns, etc. Furthermore, we present a fast ANN searching approach, Bandpass Hierarchical K-Means (BHKM), to cope with the difficulty of searching in the enormous knowledge library. Extensive experiments well demonstrate the effectiveness and feasibility of our framework in different image-translation tasks. In particular, backtracking experiments verify the interpretability of our method. Our code soon will be available at https://github.com/AceSix/Knowledge_Transfer.


title: Moduli of Admissible Pairs for Arbitrary Dimension, I: Resolution

abstract: A procedure resolving a torsion-free coherent sheaf on a nonsingular $N$-dimensional projective algebraic variety into a locally free sheaf on a projective scheme of certain class is proposed. This is a higher-dimensional analog of the resolution (called the standard resolution in previous works of the author) of coherent sheaves on a surface. Bibliography: 23 items Keywords: moduli space, algebraic coherent sheaves, admissible pairs, vector bundles, nonsingular algebraic variety, projective algebraic variety, moduli of vector bundles, compactification of moduli.


title: Personalized fall detection monitoring system based on learning from the user movements

abstract: Personalized fall detection system is shown to provide added and more benefits compare to the current fall detection system. The personalized model can also be applied to anything where one class of data is hard to gather. The results show that adapting to the user needs, improve the overall accuracy of the system. Future work includes detection of the smartphone on the user so that the user can place the system anywhere on the body and make sure it detects. Even though the accuracy is not 100% the proof of concept of personalization can be used to achieve greater accuracy. The concept of personalization used in this paper can also be extended to other research in the medical field or where data is hard to come by for a particular class. More research into the feature extraction and feature selection module should be investigated. For the feature selection module, more research into selecting features based on one class data.


title: On symmetry breaking in the B-L extended spectral Standard Model

abstract: We apply Connes-Chamseddine spectral action to the $U(1)_{\rm B-L}$- extension of the Standard Model. We show that in order for the scalar potential to reach its minimum for a non-zero value of the new complex scalar field, thus triggering the breaking of B-L symmetry, a constraint on the quartic coupling constants must be satisfied at unification scale. We then explore the renormalization flow of this model in two opposite scenarios for the neutrino sector, and show that this constraint is not compatible with the pole masses of the top quark and SM Higgs boson. We also show that the model suffers from a mass-splitting problem similar to the doublet-triplet splitting problem of Grand Unified Theories. We discuss potential implications for the Noncommutative Geometry program.


title: Neural Joint Entropy Estimation

abstract: Estimating the entropy of a discrete random variable is a fundamental problem in information theory and related fields. This problem has many applications in various domains, including machine learning, statistics and data compression. Over the years, a variety of estimation schemes have been suggested. However, despite significant progress, most methods still struggle when the sample is small, compared to the variable's alphabet size. In this work, we introduce a practical solution to this problem, which extends the work of McAllester and Statos (2020). The proposed scheme uses the generalization abilities of cross-entropy estimation in deep neural networks (DNNs) to introduce improved entropy estimation accuracy. Furthermore, we introduce a family of estimators for related information-theoretic measures, such as conditional entropy and mutual information. We show that these estimators are strongly consistent and demonstrate their performance in a variety of use-cases. First, we consider large alphabet entropy estimation. Then, we extend the scope to mutual information estimation. Next, we apply the proposed scheme to conditional mutual information estimation, as we focus on independence testing tasks. Finally, we study a transfer entropy estimation problem. The proposed estimators demonstrate improved performance compared to existing methods in all tested setups.


title: Spatial Monte Carlo Integration with Annealed Importance Sampling

abstract: Evaluating expectations on an Ising model (or Boltzmann machine) is essential for various applications, including statistical machine learning. However, in general, the evaluation is computationally difficult because it involves intractable multiple summations or integrations; therefore, it requires approximation. Monte Carlo integration (MCI) is a well-known approximation method; a more effective MCI-like approximation method was proposed recently, called spatial Monte Carlo integration (SMCI). However, the estimations obtained using SMCI (and MCI) exhibit a low accuracy in Ising models under a low temperature owing to degradation of the sampling quality. Annealed importance sampling (AIS) is a type of importance sampling based on Markov chain Monte Carlo methods that can suppress performance degradation in low-temperature regions with the force of importance weights. In this study, a new method is proposed to evaluate the expectations on Ising models combining AIS and SMCI. The proposed method performs efficiently in both high- and low-temperature regions, which is demonstrated theoretically and numerically.

categories: stat.ML cond-mat.dis-nn cs.LG physics.data-an


title: A minimal model for the onset of slip pulses in frictional rupture

abstract: We present a minimal one-dimensional model for the transition from crack-like to pulse-like propagation of frictional rupture. In its non-dimensional form, the model depends on only two free parameters: the non-dimensional pre-stress and an elasticity ratio that accounts for the finite height of the system. The model contains stable slip pulse solutions for slip boundary conditions, and unstable slip pulse solutions for stress boundary conditions. Results demonstrate that the existence of pulse-like ruptures requires only elastic relaxation and redistribution of initial pre-stress. The novelty of our findings is that pulse-like propagation along frictional interfaces is a generic elastic feature, whose existence is not sensitive to particular rate- or slip-dependencies of dynamic friction.


title: Martingale Decomposition and BSDE on Time Scales

abstract: In this paper, we present martingale decomposition on time scales. We establish the related backward stochastic dynamic equations on time scales (this paper BS$\nabla$E for short, concerning $\nabla$-integral on time scales) which unify backward stochastic differential equations and backward stochastic difference equations. We prove the existence and uniqueness theorem of BS$\nabla$E. This work can be considered as a unification and a generalization of similar results in backward stochastic difference equations and backward stochastic differential equations.


title: Normalization and electronic circuit correction for magnetic tunnel junction sensor performances comparison

abstract: In this manuscript we propose a theoretical model where the magneto-resistive elements are modelled as fluctuating resistances to correct the output voltage noise of tunnel magnetic junction (MTJ) from standard electronic circuits. This model is validated on single elements, partial and full Wheatstone bridge circuits, giving rise to a correction factor affecting the output noise voltage as well as sensitivity values. Combining the correction factor and a normalization by the number of MTJs pillars and the pillar surface, we show that the performances extracted by this method allow universal comparison between any results from literature.


title: The Weak Vop\v{e}nka Principle for definable classes of structures

abstract: We give a level-by-level analysis of the Weak Vop\v{e}nka Principle for definable classes of relational structures (WVP), in accordance with the complexity of their definition, and we determine the large-cardinal strength of each level. Thus, in particular we show that WVP for $\Sigma_2$-definable classes is equivalent to the existence of a strong cardinal. The main theorem shows, more generally, that WVP for $\Sigma_n$-definable classes is equivalent to the existence of a $\Sigma_n$-strong cardinal. Hence, WVP is equivalent to the existence of a $\Sigma_n$-strong cardinal, all $n <\omega$.


title: Fundamental constraints for the length of the MOSFET conduction channel based on the realistic form of the potential barrier

abstract: The work estimates the minimum channel length of the MOSFET transistor, which is the bacis device of modern electronics. Taking into account the real shape of potential barrier in the channel shows that the electron tunnels through a region significantly shorter than the physical length of the channel in the presence of drain voltage, and so the available estimate of the minimum quantum constraint channel length in silicon MOSFET, 1.2 nm, is significantly underestimated. The fact makes it clear why after reaching 5 nm working lengths of the channel it was impossible to reach the long-declared values of 3 nm under maintaining the proper level of functionality of the transistor. The estimates made in this work confirm that the fundamental scaling limits of silicon MOSFETs have almost been reached.


title: Leveraging ParsBERT and Pretrained mT5 for Persian Abstractive Text Summarization

abstract: Text summarization is one of the most critical Natural Language Processing (NLP) tasks. More and more researches are conducted in this field every day. Pre-trained transformer-based encoder-decoder models have begun to gain popularity for these tasks. This paper proposes two methods to address this task and introduces a novel dataset named pn-summary for Persian abstractive text summarization. The models employed in this paper are mT5 and an encoder-decoder version of the ParsBERT model (i.e., a monolingual BERT model for Persian). These models are fine-tuned on the pn-summary dataset. The current work is the first of its kind and, by achieving promising results, can serve as a baseline for any future work.


title: Variation and oscillation for harmonic operators in the inverse Gaussian setting

abstract: We prove variation and oscillation $L^p$-inequalities associated with fractional derivatives of certain semigroups of operators and with the family of truncations of Riesz transforms in the inverse Gaussian setting. We also study these variational $L^p$-inequalities in a Banach-valued context by considering Banach spaces with the UMD-property and whose martingale cotype is fewer than the variational exponent. We establish $L^p$-boundedness properties for weighted difference involving the semigroups under consideration.


title: Edge Computing in Transportation: Security Issues and Challenges

abstract: As the amount of data that needs to be processed in real-time due to recent application developments increase, the need for a new computing paradigm is required. Edge computing resolves this issue by offloading computing resources required by intelligent transportation systems such as the Internet of Vehicles from the cloud closer to the end devices to improve performance however, it is susceptible to security issues that make the transportation systems vulnerable to attackers. In addition to this, there are security issues in transportation technologies that impact the edge computing paradigm as well. This paper presents some of the main security issues and challenges that are present in edge computing, which are Distributed Denial of Service attacks, side channel attacks, malware injection attacks and authentication and authorization attacks, how these impact intelligent transportation systems and research being done to help realize and mitigate these issues.


title: On Success and Simplicity: A Second Look at Transferable Targeted Attacks

abstract: Achieving transferability of targeted attacks is reputed to be remarkably difficult. Currently, state-of-the-art approaches are resource-intensive because they necessitate training model(s) for each target class with additional data. In our investigation, we find, however, that simple transferable attacks which require neither additional data nor model training can achieve surprisingly high targeted transferability. This insight has been overlooked until now, mainly due to the widespread practice of unreasonably restricting attack optimization to a limited number of iterations. In particular, we, for the first time, identify that a simple logit loss can yield competitive results with the state of the arts. Our analysis spans a variety of transfer settings, especially including three new, realistic settings: an ensemble transfer setting with little model similarity, a worse-case setting with low-ranked target classes, and also a real-world attack against the Google Cloud Vision API. Results in these new settings demonstrate that the commonly adopted, easy settings cannot fully reveal the actual properties of different attacks and may cause misleading comparisons. We also show the usefulness of the simple logit loss for generating targeted universal adversarial perturbations in a data-free and training-free manner. Overall, the aim of our analysis is to inspire a more meaningful evaluation on targeted transferability. Code is available at https://github.com/ZhengyuZhao/Targeted-Tansfer


title: An Integrated Human-physical Framework for Control of Power Grids

abstract: In this paper, we bridge two disciplines: systems & control and environmental psychology. We develop second order Behavior and Personal norm (BP) based models (which are consistent with some studies on opinion dynamics) for describing and predicting human activities related to the final use of energy, where psychological variables, financial incentives and social interactions are considered. Based on these models, we develop a human-physical system (HPS) framework consisting of three layers: (i) human behavior, (ii) personal norms and (iii) the physical system (i.e., an AC power grid). Then, we formulate a social-physical welfare optimization problem and solve it by designing a primal-dual controller, which generates the optimal incentives to humans and the control inputs to the power grid. Finally, we assess in simulation the proposed models and approaches.


title: Spherically symmetric black holes in metric gravity

abstract: The existence of black holes is one of the key predictions of general relativity (GR) and therefore a basic consistency test for modified theories of gravity. In the case of spherical symmetry in GR the existence of an apparent horizon and its regularity is consistent with only two distinct classes of physical black holes. Here we derive constraints that any self-consistent modified theory of gravity must satisfy to be compatible with their existence. We analyze their properties and illustrate characteristic features using the Starobinsky model. Both of the GR solutions can be regarded as zeroth-order terms in perturbative solutions of this model. We also show how to construct nonperturbative solutions without a well-defined GR limit.


title: Longitudinal modes in diffusion and localization of light

abstract: In this work we include the elastic scattering of longitudinal electromagnetic waves in transport theory using a medium filled with point-like, electric dipoles. The interference between longitudinal and transverse waves creates two new channels among which one allows energy transport. This picture is worked out by extending the independent scattering framework of radiative transfer to include binary dipole-dipole interactions. We calculate the diffusion constant of light in the new transport channel and investigate the role of longitudinal waves in other aspects of light diffusion by considering the density of states, equipartition, and Lorentz local field. In the strongly scattering regime, the different transport mechanisms couple and impose a minimum conductivity of electromagnetic waves, thereby preventing Anderson localization of light in the medium. We extend the self-consistent theory of localization and compare the predictions to extensive numerical simulations.


title: A Multi-View Dynamic Fusion Framework: How to Improve the Multimodal Brain Tumor Segmentation from Multi-Views?

abstract: When diagnosing the brain tumor, doctors usually make a diagnosis by observing multimodal brain images from the axial view, the coronal view and the sagittal view, respectively. And then they make a comprehensive decision to confirm the brain tumor based on the information obtained from multi-views. Inspired by this diagnosing process and in order to further utilize the 3D information hidden in the dataset, this paper proposes a multi-view dynamic fusion framework to improve the performance of brain tumor segmentation. The proposed framework consists of 1) a multi-view deep neural network architecture, which represents multi learning networks for segmenting the brain tumor from different views and each deep neural network corresponds to multi-modal brain images from one single view and 2) the dynamic decision fusion method, which is mainly used to fuse segmentation results from multi-views as an integrate one and two different fusion methods, the voting method and the weighted averaging method, have been adopted to evaluate the fusing process. Moreover, the multi-view fusion loss, which consists of the segmentation loss, the transition loss and the decision loss, is proposed to facilitate the training process of multi-view learning networks so as to keep the consistency of appearance and space, not only in the process of fusing segmentation results, but also in the process of training the learning network. \par By evaluating the proposed framework on BRATS 2015 and BRATS 2018, it can be found that the fusion results from multi-views achieve a better performance than the segmentation result from the single view and the effectiveness of proposed multi-view fusion loss has also been proved. Moreover, the proposed framework achieves a better segmentation performance and a higher efficiency compared to other counterpart methods.


title: Deep Feature Space Trojan Attack of Neural Networks by Controlled Detoxification

abstract: Trojan (backdoor) attack is a form of adversarial attack on deep neural networks where the attacker provides victims with a model trained/retrained on malicious data. The backdoor can be activated when a normal input is stamped with a certain pattern called trigger, causing misclassification. Many existing trojan attacks have their triggers being input space patches/objects (e.g., a polygon with solid color) or simple input transformations such as Instagram filters. These simple triggers are susceptible to recent backdoor detection algorithms. We propose a novel deep feature space trojan attack with five characteristics: effectiveness, stealthiness, controllability, robustness and reliance on deep features. We conduct extensive experiments on 9 image classifiers on various datasets including ImageNet to demonstrate these properties and show that our attack can evade state-of-the-art defense.


title: Self-Supervised Learning for Visual Summary Identification in Scientific Publications

abstract: Providing visual summaries of scientific publications can increase information access for readers and thereby help deal with the exponential growth in the number of scientific publications. Nonetheless, efforts in providing visual publication summaries have been few and far apart, primarily focusing on the biomedical domain. This is primarily because of the limited availability of annotated gold standards, which hampers the application of robust and high-performing supervised learning techniques. To address these problems we create a new benchmark dataset for selecting figures to serve as visual summaries of publications based on their abstracts, covering several domains in computer science. Moreover, we develop a self-supervised learning approach, based on heuristic matching of inline references to figures with figure captions. Experiments in both biomedical and computer science domains show that our model is able to outperform the state of the art despite being self-supervised and therefore not relying on any annotated training data.


title: Automatic Diagnosis of Pneumothorax from Chest Radiographs: A Systematic Literature Review

abstract: Among various medical imaging tools, chest radiographs are the most important and widely used diagnostic tool for detection of thoracic pathologies. Research is being carried out in order to propose robust automatic diagnostic tool for detection of pathologies from chest radiographs. Artificial Intelligence techniques especially deep learning methodologies have found to be giving promising results in automating the field of medicine. Lot of research has been done for automatic and fast detection of pneumothorax from chest radiographs while proposing several frameworks based on artificial intelligence and machine learning techniques. This study summarizes the existing literature for the automatic detection of pneumothorax from chest x-rays along with describing the available chest radiographs datasets. The comparative analysis of the literature is also provided in terms of goodness. Limitations of the existing literature along with the research gaps is also given for further investigation. The paper provides a brief overview of the present work for pneumothorax detection for helping the researchers in selection of optimal approach for future research.


title: Binary Classification Tests, Imperfect Standards, and Ambiguous Information

abstract: New binary classification tests are often evaluated relative to a pre-established test. For example, rapid Antigen tests for the detection of SARS-CoV-2 are assessed relative to more established PCR tests. In this paper, I argue that the new test can be described as producing ambiguous information when the pre-established is imperfect. This allows for a phenomenon called dilation -- an extreme form of non-informativeness. As an example, I present hypothetical test data satisfying the WHO's minimum quality requirement for rapid Antigen tests which leads to dilation. The ambiguity in the information arises from a missing data problem due to imperfection of the established test: the joint distribution of true infection and test results is not observed. Using results from Copula theory, I construct the (usually non-singleton) set of all these possible joint distributions, which allows me to assess the new test's informativeness. This analysis leads to a simple sufficient condition to make sure that a new test is not a dilation. I illustrate my approach with applications to data from three COVID-19 related tests. Two rapid Antigen tests satisfy my sufficient condition easily and are therefore informative. However, less accurate procedures, like chest CT scans, may exhibit dilation.


title: Nonlinear Tikhonov regularization in Hilbert scales with oversmoothing penalty: inspecting balancing principles

abstract: The analysis of Tikhonov regularization for nonlinear ill-posed equations with smoothness promoting penalties is an important topic in inverse problem theory. With focus on Hilbert scale models, the case of oversmoothing penalties, i.e., when the penalty takes an infinite value at the true solution gained increasing interest. The considered nonlinearity structure is as in the study B. Hofmann and P. Math\'{e}. Tikhonov regularization with oversmoothing penalty for non-linear ill-posed problems in Hilbert scales. Inverse Problems, 2018. Such analysis can address two fundamental questions. When is it possible to achieve order optimal reconstruction? How to select the regularization parameter? The present study complements previous ones by two main facets. First, an error decomposition into a smoothness dependent and a (smoothness independent) noise propagation term is derived, covering a large range of smoothness conditions. Secondly, parameter selection by balancing principles is presented. A detailed discussion, covering some history and variations of the parameter choice by balancing shows under which conditions such balancing principles yield order optimal reconstruction. A numerical case study, based on some exponential growth model, provides additional insights.


title: Superfluid density, Josephson relation and pairing fluctuations in a multi-component fermion superfluid

abstract: In this work, a Josephson relation is generalized to a multi-component fermion superfluid. Superfluid density is expressed through a two-particle Green function for pairing channels. When the system has only one gapless collective excitation mode, the Josephson relation is simplified, which is given in terms of the order parameters and the trace of two-particle Green functions. In the presence of inversion symmetry, the superfluid density is directly related to the inverse of pairing fluctuation matrix. The results of the superfluid density in Haldane model show that the generalized Josephson relation can be also applied into a multi-band fermion superfluid in lattice.


title: A novel structure preserving semi-implicit finite volume method for viscous and resistive magnetohydrodynamics

abstract: In this work we introduce a novel semi-implicit structure-preserving finite-volume/finite-difference scheme for the viscous and resistive equations of magnetohydrodynamics (MHD) based on an appropriate 3-split of the governing PDE system, which is decomposed into a first convective subsystem, a second subsystem involving the coupling of the velocity field with the magnetic field and a third subsystem involving the pressure-velocity coupling. The nonlinear convective terms are discretized explicitly, while the remaining two subsystems accounting for the Alfven waves and the magneto-acoustic waves are treated implicitly. The final algorithm is at least formally constrained only by a mild CFL stability condition depending on the velocity field of the pure hydrodynamic convection. To preserve the divergence-free constraint of the magnetic field exactly at the discrete level, a proper set of overlapping dual meshes is employed. The resulting linear algebraic systems are shown to be symmetric and therefore can be solved by means of an efficient standard matrix-free conjugate gradient algorithm. One of the peculiarities of the presented algorithm is that the magnetic field is defined on the edges of the main grid, while the electric field is on the faces. The final scheme can be regarded as a novel shock-capturing, conservative and structure preserving semi-implicit scheme for the nonlinear viscous and resistive MHD equations. Several numerical tests are presented to show the main features of our novel solver: linear-stability in the sense of Lyapunov is verified at a prescribed constant equilibrium solution; a 2nd-order of convergence is numerically estimated; shock-capturing capabilities are proven against a standard set of stringent MHD shock-problems; accuracy and robustness are verified against a nontrivial set of 2- and 3-dimensional MHD problems.

categories: math.NA astro-ph.IM cs.CE cs.NA physics.plasm-ph


title: On the non-Markovianity of quantum semi-Markov processes

abstract: The non-Markovianity of the stochastic process called the quantum semi-Markov (QSM) process is studied using a recently proposed quantification of memory based on the deviation from semigroup evolution, that provides a unified description of divisible and indivisible channels. This is shown to bring out the property of QSM processes to exhibit memory effects even in the CP-divisible regime, in agreement with an earlier result. An operational meaning to the non-Markovian nature of semi-Markov processes is also provided.


title: Incremental Verification of Fixed-Point Implementations of Neural Networks

abstract: Implementations of artificial neural networks (ANNs) might lead to failures, which are hardly predicted in the design phase since ANNs are highly parallel and their parameters are barely interpretable. Here, we develop and evaluate a novel symbolic verification framework using incremental bounded model checking (BMC), satisfiability modulo theories (SMT), and invariant inference, to obtain adversarial cases and validate coverage methods in a multi-layer perceptron (MLP). We exploit incremental BMC based on interval analysis to compute boundaries from a neuron's input. Then, the latter are propagated to effectively find a neuron's output since it is the input of the next one. This paper describes the first bit-precise symbolic verification framework to reason over actual implementations of ANNs in CUDA, based on invariant inference, therefore providing further guarantees about finite-precision arithmetic and its rounding errors, which are routinely ignored in the existing literature. We have implemented the proposed approach on top of the efficient SMT-based bounded model checker (ESBMC), and its experimental results show that it can successfully verify safety properties, in actual implementations of ANNs, and generate real adversarial cases in MLPs. Our approach was able to verify and produce adversarial examples for 85.8% of 21 test cases considering different input images, and 100% of the properties related to covering methods. Although our verification time is higher than existing approaches, our methodology can consider fixed-point implementation aspects that are disregarded by the state-of-the-art verification methodologies.


title: Balanced and fragmented phases in societies with homophily and social balance

abstract: Recent attempts to understand the origin of social fragmentation are based on spin models which include terms accounting for two social phenomena: homophily -- the tendency for people with similar opinions to establish positive relations -- and social balance -- the tendency for people to establish balanced triadic relations. Spins represent attribute vectors that encode multiple (binary) opinions of individuals and social interactions between individuals can be positive or negative. Recent work suggests that large systems of N >> 1 individuals never reach a balanced state (where unbalanced triads with one or three hostile links remain), provided the number of attributes for each agent is less than O(N^2) [Phys. Rev. Lett. 125, 078302]. Here we show that this statement is overly restrictive. Within a Hamiltonian framework that minimizes individuals' social stress, we demonstrate that stationary, balanced, but fragmented states can be reached for any number of attributes, if, in addition to homophily, individuals take into account a significant fraction, q, of their triadic relations. Above a critical value q_c, balanced states result. This result also holds for sparse realistic social networks. Finally, in the limit of small q, our result agrees with that of [Phys. Rev. Lett. 125, 078302].


title: Weak Identification with Bounds in a Class of Minimum Distance Models

abstract: When parameters are weakly identified, bounds on the parameters may provide a valuable source of information. Existing weak identification estimation and inference results are unable to combine weak identification with bounds. Within a class of minimum distance models, this paper proposes identification-robust inference that incorporates information from bounds when parameters are weakly identified. The inference is based on limit theory that combines weak identification theory with parameter-on-the-boundary theory. This paper demonstrates the role of the bounds and identification-robust inference in two example factor models. This paper also demonstrates the identification-robust inference in an empirical application, a factor model for parental investments in children.


title: FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs

abstract: We describe and evaluate a novel white-box fuzzer for C programs named FuSeBMC, which combines fuzzing and symbolic execution, and applies Bounded Model Checking (BMC) to find security vulnerabilities in C programs. FuSeBMC explores and analyzes C programs (1) to find execution paths that lead to property violations and (2) to incrementally inject labels to guide the fuzzer and the BMC engine to produce test-cases for code coverage. FuSeBMC successfully participates in Test-Comp'21 and achieves first place in the Cover-Error category and second place in the Overall category.


title: Purcell effect of nitrogen-vacancy centers in nanodiamond coupled to propagating and localized surface plasmons revealed by photon-correlation cathodoluminescence

abstract: We measured the second-order correlation function of the cathodoluminescence intensity and investigated the Purcell effect by comparing the lifetimes of quantum emitters with and without metal structure. The increase in the electromagnetic local density of state due to the coupling of a quantum emitter with a plasmonic structure causes a shortening of the emitter lifetime, which is called the Purcell effect. Since the plasmon-enhanced electric field is confined well below the wavelength of light, the quantum emitter lifetime is changed in the nanoscale range. In this study, we combined cathodoluminescence in scanning (transmission) electron microscopy with Hanbury Brown-Twiss interferometry to measure the Purcell effect with nanometer and nanosecond resolutions. We used nitrogen-vacancy centers contained in nanodiamonds as quantum emitters and compared their lifetime in different environments: on a thin SiO2 membrane, on a thick flat silver film, and embedded in a silver film. The lifetime reductions of nitrogen-vacancy centers were clearly observed in the samples with silver. We evaluated the lifetime by analytical calculation and numerical simulations and revealed the Purcell effects of emitters coupled to propagating and localized surface plasmons. This is the first experimental result showing the Purcell effect due to the coupling between nitrogen-vacancy centers in nanodiamonds and surface plasmon polaritons with nanometer resolution.


title: Searching for Controllable Image Restoration Networks

abstract: Diverse user preferences over images have recently led to a great amount of interest in controlling the imagery effects for image restoration tasks. However, existing methods require separate inference through the entire network per each output, which hinders users from readily comparing multiple imagery effects due to long latency. To this end, we propose a novel framework based on a neural architecture search technique that enables efficient generation of multiple imagery effects via two stages of pruning: task-agnostic and task-specific pruning. Specifically, task-specific pruning learns to adaptively remove the irrelevant network parameters for each task, while task-agnostic pruning learns to find an efficient architecture by sharing the early layers of the network across different tasks. Since the shared layers allow for feature reuse, only a single inference of the task-agnostic layers is needed to generate multiple imagery effects from the input image. Using the proposed task-agnostic and task-specific pruning schemes together significantly reduces the FLOPs and the actual latency of inference compared to the baseline. We reduce 95.7% of the FLOPs when generating 27 imagery effects, and make the GPU latency 73.0% faster on 4K-resolution images.


title: Pole structure of the electronic self-energy with coexistence of Charge order and Superconductivity

abstract: We compare the pole structure of the electronic Green's function obtained by Cluster Dynamical Mean Field Theory to the results from the fractionalized Pair Density Wave idea. In the superconducting phase, we can consider the system in a state with coexistence of Superconducting and Charge order. Writing the Green's function in a way analogous to the previously proposed "hidden-fermions" model from S. Sakai et al (2016) leads to a similar pole structure for the self-energy. The fractionalization of the Pair Density Wave order also describes the pseudogap phase as a superposition of superconducting and charge order fluctuations. Considering a phenomenological lifetime for the particle-particle and particle-hole pairs leads to an electronic spectral function that matches the numerical results.


title: Gradient-free training of autoencoders for non-differentiable communication channels

abstract: Training of autoencoders using the back-propagation algorithm is challenging for non-differential channel models or in an experimental environment where gradients cannot be computed. In this paper, we study a gradient-free training method based on the cubature Kalman filter. To numerically validate the method, the autoencoder is employed to perform geometric constellation shaping on differentiable communication channels, showing the same performance as the back-propagation algorithm. Further investigation is done on a non-differentiable communication channel that includes: laser phase noise, additive white Gaussian noise and blind phase search-based phase noise compensation. Our results indicate that the autoencoder can be successfully optimized using the proposed training method to achieve better robustness to residual phase noise with respect to standard constellation schemes such as Quadrature Amplitude Modulation and Iterative Polar Modulation for the considered conditions.


title: Alternating linear scheme in a Bayesian framework for low-rank tensor approximation

abstract: Multiway data often naturally occurs in a tensorial format which can be approximately represented by a low-rank tensor decomposition. This is useful because complexity can be significantly reduced and the treatment of large-scale data sets can be facilitated. In this paper, we find a low-rank representation for a given tensor by solving a Bayesian inference problem. This is achieved by dividing the overall inference problem into sub-problems where we sequentially infer the posterior distribution of one tensor decomposition component at a time. This leads to a probabilistic interpretation of the well-known iterative algorithm alternating linear scheme (ALS). In this way, the consideration of measurement noise is enabled, as well as the incorporation of application-specific prior knowledge and the uncertainty quantification of the low-rank tensor estimate. To compute the low-rank tensor estimate from the posterior distributions of the tensor decomposition components, we present an algorithm that performs the unscented transform in tensor train format.


title: Piezoelectric properties of substitutionally doped $\beta$-Ga$_2$O$_3$

abstract: Modern semiconductor materials are increasingly used in multidisciplinary systems demonstrating cross-interactions between mechanical strains and electronic potentials, which gives rise to ubiquitous applications in high sensitivity, self-powered sensor devices. One of fundamental prerequisites for such semiconductor materials to exhibit piezoelectric properties is the noncentrosymmetry of the crystal structures. $\beta$-Ga$_2$O$_3$ has been an emerging compound semiconductor material due to its ultra-wide bandgap. However the pristine $\beta$-Ga$_2$O$_3$ has an inversion center, displaying no piezoelectric effect. This work discovered that substitutionally doped $\beta$-Ga$_2$O$_3$ possesses piezoelectric property by using first principles method, while majority of previous research on its substitutional doping has been focusing on the purposes of increasing electrical conductivity and formation of the semiconductor heterojunctions. More interestingly, it is unveiled from this work that the formation energy has a clear relation with the piezoelectric coefficient.


title: DAQ: Channel-Wise Distribution-Aware Quantization for Deep Image Super-Resolution Networks

abstract: Quantizing deep convolutional neural networks for image super-resolution substantially reduces their computational costs. However, existing works either suffer from a severe performance drop in ultra-low precision of 4 or lower bit-widths, or require a heavy fine-tuning process to recover the performance. To our knowledge, this vulnerability to low precisions relies on two statistical observations of feature map values. First, distribution of feature map values varies significantly per channel and per input image. Second, feature maps have outliers that can dominate the quantization error. Based on these observations, we propose a novel distribution-aware quantization scheme (DAQ) which facilitates accurate training-free quantization in ultra-low precision. A simple function of DAQ determines dynamic range of feature maps and weights with low computational burden. Furthermore, our method enables mixed-precision quantization by calculating the relative sensitivity of each channel, without any training process involved. Nonetheless, quantization-aware training is also applicable for auxiliary performance gain. Our new method outperforms recent training-free and even training-based quantization methods to the state-of-the-art image super-resolution networks in ultra-low precision.


title: A smooth summation of Ramanujan expansions

abstract: We studied Ramanujan series $\sum_{q=1}^{\infty}G(q)c_q(a)$, where $c_q(a)$ is the well-known Ramanujan sum and the complex numbers $G(q)$, as $q\in$N, are the Ramanujan coefficients; of course, we mean, implicitly, that the series converges pointwise, in all natural $a$, as its partial sums $\sum_{q\le Q}G(q)c_q(a)$ converge in C, when $Q\to \infty$. Motivated by our recent study of infinite and finite Euler products for the Ramanujan series, in which we assumed $G$ multiplicative, we look at a kind of (partial) smooth summations. These are $\sum_{q\in (P)}G(q)c_q(a)$, where the indices $q$ in $(P)$ means that all prime factors $p$ of $q$ are up to $P$ (fixed); then, we pass to the limit over $P\to \infty$. Notice that this kind of partial sums over $P-$smooth numbers (i.e., in $(P)$, see the above) make up an infinite sum, themselves, $\forall P\in$P fixed, in general; however, our summands contain $c_q(a)$, that has a vertical limit, i.e. it's supported over indices $q\in$N for which the $p-$adic valuations of, resp., $q$ and $a$, namely $v_p(q)$, resp., $v_p(a)$ satisfy $v_p(q)\le v_p(a)+1$ and this is true $\forall p\le P$ ($P$'s fixed). In other words, $\forall G:$N $\rightarrow$ C, here, $\sum_{q\in (P)}G(q)c_q(a)$ is a finite sum, $\forall a\in $N, $\forall P\in $P fixed: we will call $\sum_{q=1}^{\infty}G(q)c_q(a)$ a 'smooth Ramanujan series' if and only if $\exists \lim_P \sum_{q\in (P)}G(q)c_q(a)\in $C, $\forall a\in $N. Notice a very important property : smooth Ramanujan series and Ramanujan series need not to be the same. We prove : smooth Ramanujan series converge under Wintner Assumption. (This is not necessarily true for Ramanujan series.) We apply this to correlations and to the Hardy--Littlewood "$2k-$Twin Primes" Conjecture.


title: MICROSCOPE instrument description and validation

abstract: Dedicated accelerometers have been developed for the MICROSCOPE mission taking into account the specific range of acceleration to be measured on board the satellite. Considering one micro-g and even less as the full range of the instrument, leads to a customized concept and a high performance electronics for the sensing and servo-actuations of the accelerometer test-masses. In addition to a very accurate geometrical sensor core, a high performance electronics architecture provides the measurement of the weak electrostatic forces and torques applied to the test-masses. A set of capacitive sensors delivers the position and the attitude of the test-mass with respect to a very steady gold coated cage made in silica. The voltages applied on the electrodes surrounding each test-mass are finely controlled to generate the adequate electrical field and so the electrostatic pressures on the test-mass. This field maintains the test-mass motionless with respect to the instrument structure. Digital control laws are implemented in order to enable instrument operation flexibility and a weak position sensor noise. These electronics provide both the scientific data for MICROSCOPE's test of General Relativity and the data for the satellite drag-free and attitude control system (DFACS).


title: Hardware and Software Optimizations for Accelerating Deep Neural Networks: Survey of Current Trends, Challenges, and the Road Ahead

abstract: Currently, Machine Learning (ML) is becoming ubiquitous in everyday life. Deep Learning (DL) is already present in many applications ranging from computer vision for medicine to autonomous driving of modern cars as well as other sectors in security, healthcare, and finance. However, to achieve impressive performance, these algorithms employ very deep networks, requiring a significant computational power, both during the training and inference time. A single inference of a DL model may require billions of multiply-and-accumulated operations, making the DL extremely compute- and energy-hungry. In a scenario where several sophisticated algorithms need to be executed with limited energy and low latency, the need for cost-effective hardware platforms capable of implementing energy-efficient DL execution arises. This paper first introduces the key properties of two brain-inspired models like Deep Neural Network (DNN), and Spiking Neural Network (SNN), and then analyzes techniques to produce efficient and high-performance designs. This work summarizes and compares the works for four leading platforms for the execution of algorithms such as CPU, GPU, FPGA and ASIC describing the main solutions of the state-of-the-art, giving much prominence to the last two solutions since they offer greater design flexibility and bear the potential of high energy-efficiency, especially for the inference process. In addition to hardware solutions, this paper discusses some of the important security issues that these DNN and SNN models may have during their execution, and offers a comprehensive section on benchmarking, explaining how to assess the quality of different networks and hardware systems designed for them.


title: On parabolic convergence of positive solutions of the heat equation

abstract: In this article, we study certain type of boundary behaviour of positive solutions of the heat equation on the upper half-space of $\R^{n+1}$. We prove that the existence of the parabolic limit of a positive solution of the heat equation at a point in the boundary is equivalent to the existence of the strong derivative of the boundary measure of the solution at that point. Moreover, the parabolic limit and the strong derivative are equal.


title: Effective quantum dynamics induced by a driven two-level-system bath

abstract: We derive a Born-Markov master equation describing the dissipation induced by a bath of lossy but coherently driven two-level systems (TLS) coupled to a bosonic system via Jaynes-Cummings interaction. We analytically derive all the master equation rates. We characterize these rates for the particular case of a single-mode system coupled to identical TLS. We study the steady state of the system and its exotic properties stemming from the non-thermal stationary state of the driven TLS bath. These properties include dissipative amplification, bath-induced linear instability, and both coherent and dissipative squeezing. The master equation is valid for arbitrarily strong TLS driving, and it can be generalized to include multi-level systems or other system-bath interaction terms, among others. Our work provides a tool to study and characterize TLS-induced decoherence, a key limiting factor in quantum technological devices based on, for instance, superconducting circuits, magnonic systems, or quantum acoustics.


title: Finite temperature spectrum at the symmetry-breaking linear-zigzag transition

abstract: We investigate the normal mode spectrum of a trapped ion chain at the symmetry-breaking linear to zigzag transition and at finite temperatures. For this purpose we modulate the amplitude of the Doppler cooling laser in order to excite and measure mode oscillations. The expected mode softening at the critical point, a signature of the second-order transition, is not observed. Numerical simulations show that this is mainly due to the finite temperature of the chain. Inspection of the trajectories suggest that the thermal shifts of the normal-mode spectrum can be understood by the ions collectively jumping between the two ground state configurations of the symmetry broken phase. We develop an effective analytical model, which allows us to reproduce the low-frequency spectrum as a function of the temperature and close to the transition point. In this model the frequency shift of the soft mode is due to the anharmonic coupling with the high frequency modes of the spectrum, acting as an averaged effective thermal environment. Our study could prove important for implementing ground-state laser cooling close to the critical point.


title: New aerodynamic lens injector for single particle diffractive imaging

abstract: An aerodynamic lens injector was developed specifically for the needs of single-particle diffractive imaging experiments at free-electron lasers. Its design allows for quick changes of injector geometries and focusing properties in order to optimize injection for specific individual samples. Here, we present results of its first use at the FLASH free-electron-laser facility. Recorded diffraction patterns of polystyrene spheres are modeled using Mie scattering, which allowed for the characterization of the particle beam under diffractive-imaging conditions and yield good agreement with particle-trajectory simulations.


title: Size distribution of emitted energies in local load sharing fiber bundles

abstract: We study the local load sharing fiber bundle model and its energy burst statistics. While it is known that the avalanche size distribution of the model is exponential, we numerically show here that the avalanche size ($s$) and the corresponding energy burst ($E$) in this version of the model have a non-linear relation ($E\sim s^{\gamma}$). Numerical results indicate that $\gamma\approx 2.5$ universally for different failure threshold distributions. With this numerical observation, it is then possible to show that the energy burst distribution is a power law, with a universal exponent value of $-(\gamma+1)$.


title: The Impact of Temperature and Isolation on COVID-19 in India: A Mathematical Modelling approach

abstract: The dynamics of COVID-19 in India are captured using a set of delay differential equations by dividing a constant population into six compartments. The equilibrium points are calculated and stability analysis is performed. Sensitivity analysis is performed on the parameters of the model. Bifurcation analysis is performed and the critical delay is calculated. By formulating the spread parameter as a function of temperature, the impact of temperature on the population is studied. We concluded that with the decrease in temperature, the average infections in the population increases. In view of the coming winter season in India, there will be an increase in new infections. This model falls in line with the characteristics that increase in isolation delay increases average infections in the population.


title: Improving J-divergence of brain connectivity states by graph Laplacian denoising

abstract: Functional connectivity (FC) can be represented as a network, and is frequently used to better understand the neural underpinnings of complex tasks such as motor imagery (MI) detection in brain-computer interfaces (BCIs). However, errors in the estimation of connectivity can affect the detection performances. In this work, we address the problem of denoising common connectivity estimates to improve the detectability of different connectivity states. Specifically, we propose a denoising algorithm that acts on the network graph Laplacian, which leverages recent graph signal processing results. Further, we derive a novel formulation of the Jensen divergence for the denoised Laplacian under different states. Numerical simulations on synthetic data show that the denoising method improves the Jensen divergence of connectivity patterns corresponding to different task conditions. Furthermore, we apply the Laplacian denoising technique to brain networks estimated from real EEG data recorded during MI-BCI experiments. Using our novel formulation of the J-divergence, we are able to quantify the distance between the FC networks in the motor imagery and resting states, as well as to understand the contribution of each Laplacian variable to the total J-divergence between two states. Experimental results on real MI-BCI EEG data demonstrate that the Laplacian denoising improves the separation of motor imagery and resting mental states, and shortens the time interval required for connectivity estimation. We conclude that the approach shows promise for the robust detection of connectivity states while being appealing for implementation in real-time BCI applications.


title: Improvement of the cross-entropy method in high dimension for failure probability estimation through a one-dimensional projection without gradient estimation

abstract: Rare event probability estimation is an important topic in reliability analysis. Stochastic methods, such as importance sampling, have been developed to estimate such probabilities but they often fail in high dimension. In this paper, we propose a new cross-entropy-based importance sampling algorithm to improve rare event probability estimation in high dimension. We focus on the cross-entropy method with Gaussian auxiliary distributions and we suggest to update the Gaussian covariance matrix only in a one-dimensional subspace. For that purpose, the main idea is to consider the projection in the one-dimensional subspace spanned by the sample mean vector, which gives an influential direction for the variance estimation. This approach does not require any additional simulation budget compared to the basic cross-entropy algorithm and we show on different numerical test cases that it greatly improves its performance in high dimension.


title: Learning temporal data with variational quantum recurrent neural network

abstract: We propose a method for learning temporal data using a parametrized quantum circuit. We use the circuit that has a similar structure as the recurrent neural network which is one of the standard approaches employed for this type of machine learning task. Some of the qubits in the circuit are utilized for memorizing past data, while others are measured and initialized at each time step for obtaining predictions and encoding a new input datum. The proposed approach utilizes the tensor product structure to get nonlinearity with respect to the inputs. Fully controllable, ensemble quantum systems such as an NMR quantum computer is a suitable choice of an experimental platform for this proposal. We demonstrate its capability with Simple numerical simulations, in which we test the proposed method for the task of predicting cosine and triangular waves and quantum spin dynamics. Finally, we analyze the dependency of its performance on the interaction strength among the qubits in numerical simulation and find that there is an appropriate range of the strength. This work provides a way to exploit complex quantum dynamics for learning temporal data.


title: Get It Scored Using AutoSAS -- An Automated System for Scoring Short Answers

abstract: In the era of MOOCs, online exams are taken by millions of candidates, where scoring short answers is an integral part. It becomes intractable to evaluate them by human graders. Thus, a generic automated system capable of grading these responses should be designed and deployed. In this paper, we present a fast, scalable, and accurate approach towards automated Short Answer Scoring (SAS). We propose and explain the design and development of a system for SAS, namely AutoSAS. Given a question along with its graded samples, AutoSAS can learn to grade that prompt successfully. This paper further lays down the features such as lexical diversity, Word2Vec, prompt, and content overlap that plays a pivotal role in building our proposed model. We also present a methodology for indicating the factors responsible for scoring an answer. The trained model is evaluated on an extensively used public dataset, namely Automated Student Assessment Prize Short Answer Scoring (ASAP-SAS). AutoSAS shows state-of-the-art performance and achieves better results by over 8% in some of the question prompts as measured by Quadratic Weighted Kappa (QWK), showing performance comparable to humans.


title: Ultra-short-pulse high-average-power Megahertz-repetition-rate coherent extreme-ultraviolet light source

abstract: High harmonic generation (HHG) enables coherent extreme-ultraviolet (XUV) radiation with ultra-short pulse duration in a table-top setup. This has already enabled a plethora of applications. Nearly all of these applications would benefit from a high photon flux to increase the signal-to-noise ratio and decrease measurement times. In addition, shortest pulses are desired to investigate fastest dynamics in fields as diverse as physics, biology, chemistry and material sciences. In this work, the up-to-date most powerful table-top XUV source with 12.9 mW in a single harmonic line at 26.5 eV is demonstrated via HHG of a frequency-doubled and post-compressed fibre laser. At the same time sub-6 fs XUV pulse duration allows accessing ultrafast dynamics with an order of magnitude higher photon flux than previously demonstrated. This concept will greatly advance and facilitate applications of XUV radiation in science and technology and enable photon-hungry ultrafast studies.


title: Incremental Symbolic Bounded Model Checking of Software Using Interval Methods via Contractors

abstract: Bounded model checking (BMC) is vital for finding program property violations. For unsafe programs, BMC can quickly find an execution path from an initial state to the violated state that refutes a given safety property. However, BMC techniques struggle to falsify programs that contain loops. BMC needs to incrementally unfold the program loops up to the bound $k$, exposing the property violation, which can thus lead to exploring a considerable state space. Here, we describe and evaluate the first verification method based on interval methods via contractors to reduce the domains of variables representing the search space. This reduction is based on the specified property modeled as functions representing the contractor constraints. In particular, we exploit interval methods via contractors to incrementally analyze the program loop variables and contract the domain where the property is guaranteed to hold to prune the search exploration, thus reducing resource consumption aggressively. Experimental results demonstrate the efficiency and efficacy of our proposed approach over a large set of benchmarks, including $7044$ verification tasks, compared with state-of-the-art BMC tools. Our proposed method can reduce memory usage up to $75$\% while verifying $1$\% more verification tasks.


title: Lorentzian geometry and variability reduction in airplane boarding: Slow passengers first outperforms random boarding

abstract: Airlines use different boarding policies to organize the queue of passengers waiting to enter the airplane. We analyze three policies in the many-passenger limit by a geometric representation of the queue position and row designation of each passenger and apply a Lorentzian metric to calculate the total boarding time. The boarding time is governed by the time each passenger needs to clear the aisle, and the added time is determined by the aisle-clearing time distribution through an effective aisle-clearing time parameter. The non-organized queues under the common random boarding policy are characterized by large effective aisle-clearing time. We show that, subject to a mathematical assumption which we have verified by extensive numerical computations in all realistic cases, the average total boarding time is always reduced when slow passengers are separated from faster passengers and the slow group is allowed to enter the airplane first. This is a universal result that holds for any combination of the three main governing parameters: the ratio between effective aisle-clearing times of the fast and the slow group, the fraction of slow passenger, and the congestion of passengers in the aisle. Separation into groups based on aisle-clearing time allows for more synchronized seating, but the result is non-trivial, as the similar fast-first policy -- where the two groups enter the airplane in reverse order -- is inferior to random boarding for a range of parameter settings. The asymptotic results conform well with discrete-event simulations with realistic number of passengers, and both the slow-first and the fast-first policies have the ability to perform unboundedly better than random boarding. Parameters based on empirical data, with hand luggage as criteria for separating passengers into the slow group, give a 13\% reduction in total boarding time for slow first compared to random boarding.


title: MDS linear codes with one dimensional hull

abstract: We define the Euclidean hull of a linear code $C$ as the intersection of $C$ and its Euclidean dual $C^\perp$. The hull with low dimensions gets much interest due to its crucial role in determining the complexity of algorithms for computing the automorphism group of a linear code and checking permutation equivalence of two linear codes. It has been recently proved that any $q$-ary $[n,k]$ linear code with $q>3$ gives rise to a linear code with the same parameters and having zero dimensional Euclidean hull, which is known as a linear complementary dual code. This paper aims to explore explicit constructions of families of MDS linear codes with one dimensional Euclidean hull. We obtain several classes of such codes.


title: Recent Progress in Proximity Coupling of Magnetism to Topological Insulators

abstract: Inducing long-range magnetic order in three-dimensional topological insulators can gap the Diraclike metallic surface states, leading to exotic new phases such as the quantum anomalous Hall effect or the axion insulator state. These magnetic topological phases can host robust, dissipationless charge and spin currents or unique magnetoelectric behavior, which can be exploited in low-energy electronics and spintronics applications. Although several different strategies have been successfully implemented to realize these states, to date these phenomena have been confined to temperatures below a few Kelvin. In this review, we focus on one strategy, inducing magnetic order in topological insulators by proximity of magnetic materials, which has the capability for room temperature operation, unlocking the potential of magnetic topological phases for applications. We discuss the unique advantages of this strategy, the important physical mechanisms facilitating magnetic proximity effect, and the recent progress to achieve, understand, and harness proximity-coupled magnetic order in topological insulators. We also highlight some emerging new phenomena and applications enabled by proximity coupling of magnetism and topological materials, such as skyrmions and the topological Hall effect, and we conclude with an outlook on remaining challenges and opportunities in the field.


title: Zero-cycles on normal varieties

abstract: We prove an extension of the Kato-Saito class field theory for smooth projective schemes over a finite field to schemes with singularities. As an application, we obtain Bloch's formula for the Chow groups of 0-cycles on such schemes. We identify the Chow group of 0-cycles on a normal projective scheme over an algebraically closed field to the Suslin homology of its regular locus. Our final result is a Roitman torsion theorem for smooth quasi-projective schemes over algebraically closed fields. This completes the missing $p$-torsion part in the torsion theorem of Spiess and Szamuely.


title: A technique to study the elastic and inelastic interaction of quarkonium with hadrons using femtoscopic correlations

abstract: We present a method for the measurement of parameters of elastic and inelastic interactions of charmonium with hadrons. In this technique, we use femtoscopic analysis of charmonium-hadron correlations at low relative momentum and the Lednicky-Lyuboshitz analytical model to extract the interaction parameters. We argue that such a study is already feasible in the LHCb experiment at the LHC, and we discuss the prospects for studies in the STAR at RHIC and other experiments at the LHC.


title: Biased tracer reconstruction with halo mass information

abstract: Plenty of crucial information about our Universe is encoded in the cosmic large-scale structure (LSS). However, the extractions of these information are usually hindered by the nonlinearities of the LSS, which can be largely alleviated by various techniques known as the reconstruction. In realistic applications, the efficiencies of these methods are always degraded by many limiting factors, a quite important one being the shot noise induced by the finite number density of biased matter tracers (i.e., luminous galaxies or dark matter halos) in observations. In this work, we explore the gains of biased tracer reconstruction achieved from halo mass information, which can suppress shot noise component and dramatically improves the cross-correlation between tracer field and dark matter. To this end, we first closely study the clustering biases and the stochasticity properties of halo fields with various number densities under different weighting schemes, i.e., the uniform, mass and optimal weightings. Then, we apply the biased tracer reconstruction method to these different weighted halo fields and investigate how linear bias and observational mass scatter affect the reconstruction performance. Our results demonstrate that halo masses are critical information for significantly improving the performance of biased tracer reconstruction, indicating a great application potential for substantially promoting the precision of cosmological measurements [especially for baryon acoustic oscillations (BAO)] in the ambitious on-going and future galaxy surveys.


title: Nearly invariant subspaces for shift semigroups

abstract: Let $\{T(t)\}_{t\geq0}$ be a $C_0$-semigroup on an infinite dimensional separable Hilbert space; a suitable definition of near $\{T(t)^*\}_{t\geq0}$ invariance of a subspace is presented in this paper. A series of prototypical examples for minimal nearly $\{S(t)^*\}_{t\geq0}$ invariant subspaces for the shift semigroup $\{S(t)\}_{t\geq0}$ on $L^2(0,\infty)$ are demonstrated, which have close links with nearly $T_{\theta}^*$ invariance on Hardy spaces of the unit disk for Toeplitz operators associated with an inner function $\theta$. Especially, the corresponding subspaces on Hardy spaces of the right half-plane and the unit disk are related to model spaces. This work further includes a discussion on the structure of the closure of certain subspaces related to model spaces in Hardy spaces.


title: Image Annotation based on Deep Hierarchical Context Networks

abstract: Context modeling is one of the most fertile subfields of visual recognition which aims at designing discriminant image representations while incorporating their intrinsic and extrinsic relationships. However, the potential of context modeling is currently underexplored and most of the existing solutions are either context-free or restricted to simple handcrafted geometric relationships. We introduce in this paper DHCN: a novel Deep Hierarchical Context Network that leverages different sources of contexts including geometric and semantic relationships. The proposed method is based on the minimization of an objective function mixing a fidelity term, a context criterion and a regularizer. The solution of this objective function defines the architecture of a bi-level hierarchical context network; the first level of this network captures scene geometry while the second one corresponds to semantic relationships. We solve this representation learning problem by training its underlying deep network whose parameters correspond to the most influencing bi-level contextual relationships and we evaluate its performances on image annotation using the challenging ImageCLEF benchmark.


title: Oxygen vacancies nucleate charged domain walls in ferroelectrics

abstract: We study the influence of oxygen vacancies on the formation of charged 180$^\circ$ domain walls in ferroelectric BaTiO$_3$ using first principles calculations. We show that it is favorable for vacancies to assemble in crystallographic planes, and that such clustering is accompanied by the formation of a charged domain wall. The domain wall has negative bound charge, which compensates the nominal positive charge of the vacancies and leads to a vanishing density of free charge at the wall. This is in contrast to the positively charged domain walls, which are nearly completely compensated by free charge from the bulk. The results thus explain the experimentally observed difference in electronic conductivity of the two types of domain walls, as well as the generic prevalence of charged domain walls in ferroelectrics. Moreover, the explicit demonstration of vacancy driven domain wall formation implies that specific charged domain wall configurations may be realized by bottom-up design for use in domain wall based information processing.


title: Correlation functions and quantum measures of descendant states

abstract: We discuss a computer implementation of a recursive formula to calculate correlation functions of descendant states in two-dimensional CFT. This allows us to obtain any $N$-point function of vacuum descendants, or to express the correlator as a differential operator acting on the respective primary correlator in case of non-vacuum descendants. With this tool at hand, we then study some entanglement and distinguishability measures between descendant states, namely the R\'enyi entropy, trace square distance and sandwiched R\'enyi divergence. Our results provide a test of the conjectured R\'enyi QNEC and new tools to analyse the holographic description of descendant states at large $c$.

categories: hep-th cond-mat.stat-mech physics.comp-ph quant-ph


title: A theory of complex oscillatory integrals: A case study

abstract: In this paper we develop a theory for oscillatory integrals with complex phases. When $f:{\mathbb C}^n \to {\mathbb C}$, we evaluate this phase function on the basic character ${\rm e}(z) := e^{2\pi i x} e^{2\pi i y}$ of ${\mathbb C} \simeq {\mathbb R}^2$ (here $z = x+iy \in {\mathbb C}$ or $z = (x,y) \in {\mathbb R}^2$) and consider oscillatory integrals of the form $$ I \ = \ \int_{{\mathbb C}^n} {\rm e}(f({\underline{z}})) \, \phi({\underline{z}}) \, d{\underline{z}} $$ where $\phi \in C^{\infty}_c({\mathbb C}^n)$. Unfortunately basic scale-invariant bounds for the oscillatory integrals $I$ do not hold in the generality that they do in the real setting. Our main effort is to develop a perspective and arguments to locate scale-invariant bounds in (necessarily) less generality than we are accustomed to in the real setting.


title: Comparing scattering rates from Boltzmann and dynamical mean-field theory

abstract: We compute scattering rates for electrons in the two-dimensional Hubbard model for a one-orbital metal and a two-orbital band insulator by means of the Boltzmann scattering equation (BSE) and dynamical mean-field theory (DMFT). As an intermediate method between both, we also consider the BSE without momentum conservation. In the weak interaction regime and for the band insulator, the last two agree to very good accuracy. The BSE with momentum conservation, on the other hand, shows slightly larger scattering rates, and a momentum differentiation of these on the Fermi surface. For the Mott insulator at strong interaction, the DMFT electron scattering rates are much larger and defy a BSE description. Noteworthy, the scattering rates for the band insulator are exceedingly small because -- in contrast to the Mott insulator -- there is virtually no impact ionization.


title: Difference Rewards Policy Gradients

abstract: Policy gradient methods have become one of the most popular classes of algorithms for multi-agent reinforcement learning. A key challenge, however, that is not addressed by many of these methods is multi-agent credit assignment: assessing an agent's contribution to the overall performance, which is crucial for learning good policies. We propose a novel algorithm called Dr.Reinforce that explicitly tackles this by combining difference rewards with policy gradients to allow for learning decentralized policies when the reward function is known. By differencing the reward function directly, Dr.Reinforce avoids difficulties associated with learning the Q-function as done by Counterfactual Multiagent Policy Gradients (COMA), a state-of-the-art difference rewards method. For applications where the reward function is unknown, we show the effectiveness of a version of Dr.Reinforce that learns an additional reward network that is used to estimate the difference rewards.


title: Fermi softness: a local perspective on surface reactivity

abstract: Understanding how electronic structure determines the reactivity of solid surface, is a central topic of modern surface science. This is mostly commonly done through some intermediate quantity termed descriptor. However, such descriptors are very scarce for solid surface compared to for molecule, likely due to their significantly more complex electronic structure (cf. molecules). Here we elaborate on the theory of a concept dubbed "Fermi softness", which distinguishes itself by enabling prediction of surface reactivity with spatial as well as atomic resolution. Other pertinent concepts and descriptors are also mentioned so as to make the treatment comprehensive.


title: Unsupervised Domain Adaptation with Temporal-Consistent Self-Training for 3D Hand-Object Joint Reconstruction

abstract: Deep learning-solutions for hand-object 3D pose and shape estimation are now very effective when an annotated dataset is available to train them to handle the scenarios and lighting conditions they will encounter at test time. Unfortunately, this is not always the case, and one often has to resort to training them on synthetic data, which does not guarantee that they will work well in real situations. In this paper, we introduce an effective approach to addressing this challenge by exploiting 3D geometric constraints within a cycle generative adversarial network (CycleGAN) to perform domain adaptation. Furthermore, in contrast to most existing works, which fail to leverage the rich temporal information available in unlabeled real videos as a source of supervision, we propose to enforce short- and long-term temporal consistency to fine-tune the domain-adapted model in a self-supervised fashion. We will demonstrate that our approach outperforms state-of-the-art 3D hand-object joint reconstruction methods on three widely-used benchmarks and will make our code publicly available.


title: Learning-Based Predictive Control via Real-Time Aggregate Flexibility

abstract: Aggregators have emerged as crucial tools for the coordination of distributed, controllable loads. To be used effectively, an aggregator must be able to communicate the available flexibility of the loads they control, as known as the aggregate flexibility to a system operator. However, most of existing aggregate flexibility measures often are slow-timescale estimations and much less attention has been paid to real-time coordination between an aggregator and an operator. In this paper, we consider solving an online optimization in a closed-loop system and present a design of real-time aggregate flexibility feedback, termed the maximum entropy feedback (MEF). In addition to deriving analytic properties of the MEF, combining learning and control, we show that it can be approximated using reinforcement learning and used as a penalty term in a novel control algorithm -- the penalized predictive control (PPC), which modifies vanilla model predictive control (MPC). The benefits of our scheme are (1). Efficient Communication. An operator running PPC does not need to know the exact states and constraints of the loads, but only the MEF. (2). Fast Computation. The PPC often has much less number of variables than an MPC formulation. (3). Lower Costs. We show that under certain regularity assumptions, the PPC is optimal. We illustrate the efficacy of the PPC using a dataset from an adaptive electric vehicle charging network and show that PPC outperforms classical MPC.


title: Reduced lasing thresholds in GeSn microdisk cavities with defect management of the optically active region

abstract: GeSn alloys are nowadays considered as the most promising materials to build Group IV laser sources on silicon (Si) in a full complementary metal oxide semiconductor-compatible approach. Recent GeSn laser developments rely on increasing the band structure directness, by increasing the Sn content in thick GeSn layers grown on germanium (Ge) virtual substrates (VS) on Si. These lasers nonetheless suffer from a lack of defect management and from high threshold densities. In this work we examine the lasing characteristics of GeSn alloys with Sn contents ranging from 7 \% to 10.5 \%. The GeSn layers were patterned into suspended microdisk cavities with different diameters in the 4-\SI{8 }{\micro\meter} range. We evidence direct band gap in GeSn with 7 \% of Sn and lasing at 2-\SI{2.3 }{\micro\meter} wavelength under optical injection with reproducible lasing thresholds around \SI{10 }{\kilo\watt\per\square\centi\meter}, lower by one order of magnitude as compared to the literature. These results were obtained after the removal of the dense array of misfit dislocations in the active region of the GeSn microdisk cavities. The results offer new perspectives for future designs of GeSn-based laser sources.


title: On the characteristics of the turbulent wake behind a wall-mounted square cylinder

abstract: The turbulent flow past a wall-mounted square cylinder with an aspect ratio of four was investigated with the aid of Spalart-Allmaras improved delayed detached-eddy simulation (S-A IDDES) and proper orthogonal decomposition (POD). The Reynolds number was equal to 12,000 (based on the free-stream velocity and obstacle width). This study focused on analysing the vortical structure of the wake and vortex shedding process along the obstacle height. A quantitative comparison of the first and second-order flow statistics with the available experimental and direct numerical simulation data was used to validate the numerical results. The numerical model coupled with the vortex method (VM) of generating the turbulent inflow conditions could successfully reproduce the flow field around and behind the obstacle with commendable accuracy. The flow structure and vortex shedding characteristics near the wake formation region have been discussed in detail using time-averaged and instantaneous flow parameters obtained from the simulation. Dipole type mean streamwise vortex and half-loop hairpin instantaneous vortices with energetic motions were identified. A coherent shedding structure was reported along the obstacle using two-point correlations. Two types of vortex shedding intervals were identified, namely, low amplitude fluctuations (LAFs) and high amplitude fluctuations (HAFs). The POD analysis of the wake showed that for the elevations between 0.25 to 0.5 of the obstacle height, the first two POD modes represent the alternating shedding and the contribution to the kinetic energy is between 66.6% to 57.6%. A simple low-order model based on the vortex-shedding phase angle and the spectrum of the time coefficients obtained from POD was developed to predict the wake dynamics at the range of elevations where the alternating shedding is dominated.


title: Discrete Black Holes

abstract: The classical spacetime is usually described by a differentiable manifold with infinitely many degrees of freedom. Occasionally though, it is useful to consider an approximation whose number of degrees of freedom is finite. There are several discrete models of spacetime like that, some of which have been used to build a (simplified) representation of a black hole. We will shortly revisit these discrete black hole models. Then we limit ourselves to one particular case and show how it can be inhabited by quantum matter fields. It is suggested that the field dynamics should be described by the framework of discrete canonical evolution, and we point out some of the most significant implications of this approach.


title: Cusp of non-Gaussian density of particles for a diffusing diffusivity model

abstract: We study a two state ``jumping diffusivity'' model for a Brownian process alternating between two different diffusion constants, $D_{+}>D_{-}$, with random waiting times in both states whose distribution is rather general. In the limit of long measurement times Gaussian behavior with an effective diffusion coefficient is recovered. We show that for equilibrium initial conditions and when the limit of the diffusion coefficient $D_-\to0$ is taken, the short time behavior leads to a cusp, namely a non - analytical behavior, in the distribution of the displacements $P(x,t)$ for $x\longrightarrow 0$. Visually this cusp, or tent-like shape, resembles similar behavior found in many experiments of diffusing particles in disordered environments, such as glassy systems and intracellular media. This general result depends only on the existence of finite mean values of the waiting times at the different states of the model. Gaussian statistics in the long time limit is achieved due to ergodicity and convergence of the distribution of the temporal occupation fraction in state $D_{+}$ to a $\delta$-function. The short time behavior of the same quantity converges to a uniform distribution, which leads to the non - analyticity in $P(x,t)$. We demonstrate how super - statistical framework is a zeroth order short time expansion of $P(x,t)$, in the number of transitions, that does not yield the cusp like shape. The latter, considered as the key feature of experiments in the field, is found with the first correction in perturbation theory.


title: Ergodic Theorems for PSPACE functions and their converses

abstract: We initiate the study of effective pointwise ergodic theorems in resource-bounded settings. Classically, the convergence of the ergodic averages for integrable functions can be arbitrarily slow. In contrast, we show that for a class of PSPACE L1 functions, and a class of PSPACE computable measure-preserving ergodic transformations, the ergodic average exists for all PSPACE randoms and is equal to the space average on every EXP random. We establish a partial converse that PSPACE non-randomness can be characterized as non-convergence of ergodic averages. Further, we prove that there is a class of resource-bounded randoms, viz. SUBEXP-space randoms, on which the corresponding ergodic theorem has an exact converse - a point x is SUBEXP-space random if and only if the corresponding effective ergodic theorem holds for x.


title: Polarised Beams at Future $e^+e^-$ Colliders

abstract: Beam polarisation is an integral part of the physics case of future Linear Colliders. In this contribution, important examples from Higgs coupling measurements, top and electroweak physics at high energies, the Z pole program as well as from searches for production of new particles will be reviewed. The full exploitation of its advantages requires the polarisation to be known at the permille-level. The a polarimetry concept based on the combination of Compton polarimeters, spin-tracking simulations and a global analysis of collision data which has been developed for the ILC to achieve the required precision will be presented.


title: Electronic and Optical Properties of Protonated Triazine Derivatives

abstract: The peculiar electronic and optical properties of covalent organic frameworks (COFs) are largely determined by protonation, a ubiquitous phenomenon in the solution environment in which they are synthesized. The resulting effects are non-trivial and appear to be crucial for the intriguing functionalities of these materials. In the quantum-mechanical framework of time-dependent density-functional theory, we investigate from first principles the impact of protonation of triazine and amino groups in molecular building blocks of COFs in water solution. In all considered cases, we find that proton uptake leads to a gap reduction and to a reorganization of the electronic structure, driven by the presence of the proton and by the electrostatic attraction between the positively charged protonated species and the negative counterion in its vicinity. Structural distortions induced by protonation are found to play only a minor role. The interplay between band-gap renormalization and exciton binding strength determines the energy of the absorption onsets: when the former prevails on the latter, a red-shift is observed. Furthermore, the spatial and energetic rearrangement of the molecular orbitals upon protonation induces a splitting of the lowest-energy peaks and a decrease of their oscillator strength in comparison with the pristine counterparts. Our results offer quantitative and microscopic insight into the role of protonation on the electronic and optical properties of triazine derivatives as building blocks of COFs. As such, they contribute to rationalize the relationships between structure, property, and functionality of these materials.


title: A Journey to the Frontiers of Query Rewritability

abstract: This paper is about (first order) query rewritability in the context of theory-mediated query answering. The starting point of our journey is the FUS/FES conjecture, saying that if a theory is core-terminating (FES) and admits query rewriting (BDD, FUS) then it is uniformly bounded. We show that this conjecture is true for a wide class of "local" BDD theories. Then we ask how non-local can a BDD theory actually be and we discover phenomena which we think are quite counter-intuitive.


title: Family Ties: Relating Poncelet 3-Periodics by their Properties

abstract: We compare loci types and invariants across Poncelet families interscribed in three distinct concentric Ellipse pairs: (i) ellipse-incircle, (ii) circumcircle-inellipse, and (iii) homothetic. Their metric properties are mostly identical to those of 3 well-studied families: elliptic billiard (confocal pair), Chapple's poristic triangles, and the Brocard porism. We therefore organized them in three related groups.


title: Persistent Collective Motion of a Dispersing Membrane Domain

abstract: We study the Brownian motion of an assembly of mobile inclusions embedded in a fluid membrane. The motion includes the dispersal of the assembly, accompanied by the diffusion of its center of mass. Usually, the former process is much faster than the latter, since the diffusion coefficient of the center of mass is inversely proportional to the number of particles. However, in the case of membrane inclusions, we find that the two processes occur on the same time scale, thus prolonging significantly the lifetime of the assembly as a collectively moving object. This effect is caused by the quasi-two-dimensional membrane flows, which couple the motions even of the most remote inclusions in the assembly. The same correlations also cause the diffusion coefficient of the center of mass to decay slowly with time, resulting in weak sub-diffusion. We confirm our analytical results by Brownian dynamics simulations with flow-mediated correlations. The effect reported here should have implications for the stability of nano-scale membrane heterogeneities.


title: On topologically trivial automorphisms of compact K\"ahler manifolds and algebraic surfaces

abstract: In this paper, we investigate automorphisms of compact K\"ahler manifolds with different levels of topological triviality. In particular, we provide several examples of smooth complex projective surfaces X whose groups of $C^\infty$-isotopically trivial automorphisms, resp. cohomologically trivial automorphisms, have a number of connected components which can be arbitrarily large.


title: Dynamics of a predator-prey system in open advective heterogeneous environments

abstract: In this paper, we investigate the effect of dispersal and advection on the dynamics of a predator-prey model. More precisely, we show that the linear stability of the semi-trivial steady state is determined by the dispersal rate, the mortality rate of the predator and the advection rate. We point out that compared to homogeneous intrinsic growth rate and carrying capacity, the case in this paper is more complicated. This work gives a investigation to an open problem proposed by Nie et al. in \cite{NWW} by considering a more general model, and then, can be seen as a further development of their work \cite{NWW}.


title: Symmetry-Resolved Entanglement in AdS${}_3$/CFT${}_2$ coupled to $U(1)$ Chern-Simons Theory

abstract: We consider symmetry-resolved entanglement entropy in AdS${}_3$/CFT${}_2$ coupled to $U(1)$ Chern-Simons theory. We identify the holographic dual of the charged moments in the two-dimensional conformal field theory as a charged Wilson line in the bulk of AdS${}_3$, namely the Ryu-Takayanagi geodesic minimally coupled to the $U(1)$ Chern-Simons gauge field. We identify the holonomy around the Wilson line as the Aharonov-Bohm phases which, in the two-dimensional field theory, are generated by charged $U(1)$ vertex operators inserted at the endpoints of the entangling interval. Furthermore, we devise a new method to calculate the symmetry resolved entanglement entropy by relating the generating function for the charged moments to the amount of charge in the entangling subregion. We calculate the subregion charge from the $U(1)$ Chern-Simons gauge field sourced by the bulk Wilson line. We use our method to derive the symmetry-resolved entanglement entropy for Poincar\'e patch and global AdS${}_3$, as well as for the conical defect geometries. In all three cases, the symmetry resolved entanglement entropy is determined by the length of the Ryu-Takayanagi geodesic and the Chern-Simons level $k$, and fulfills equipartition of entanglement. The asymptotic symmetry algebra of the bulk theory is of $\hat{\mathfrak{u}}{(1)_k}$ Kac-Moody type. Employing the $\hat{\mathfrak{u}}{(1)_k}$ Kac-Moody symmetry, we confirm our holographic results by a calculation in the dual conformal field theory.

categories: hep-th cond-mat.mes-hall cond-mat.str-el quant-ph