title: Revisiting Edge Detection in Convolutional Neural Networks

abstract: The ability to detect edges is a fundamental attribute necessary to truly capture visual concepts. In this paper, we prove that edges cannot be represented properly in the first convolutional layer of a neural network, and further show that they are poorly captured in popular neural network architectures such as VGG-16 and ResNet. The neural networks are found to rely on color information, which might vary in unexpected ways outside of the datasets used for their evaluation. To improve their robustness, we propose edge-detection units and show that they reduce performance loss and generate qualitatively different representations. By comparing various models, we show that the robustness of edge detection is an important factor contributing to the robustness of models against color noise.


title: LOREN: Logic-Regularized Reasoning for Interpretable Fact Verification

abstract: Given a natural language statement, how to verify its veracity against a large-scale textual knowledge source like Wikipedia? Most existing neural models make predictions without giving clues about which part of a false claim goes wrong. In this paper, we propose LOREN, an approach for interpretable fact verification. We decompose the verification of the whole claim at phrase-level, where the veracity of the phrases serves as explanations and can be aggregated into the final verdict according to logical rules. The key insight of LOREN is to represent claim phrase veracity as three-valued latent variables, which are regularized by aggregation logical rules. The final claim verification is based on all latent variables. Thus, LOREN enjoys the additional benefit of interpretability -- it is easy to explain how it reaches certain results with claim phrase veracity. Experiments on a public fact verification benchmark show that LOREN is competitive against previous approaches while enjoying the merit of faithful and accurate interpretability. The resources of LOREN are available at: https://github.com/jiangjiechen/LOREN.


title: Monotonicity properties of the gamma family of distributions

abstract: For real $a>0$, let $X_a$ denote a random variable with the gamma distribution with parameters $a$ and $1$. Then $\mathsf P(X_a-a>c)$ is increasing in $a$ for each real $c\ge0$; non-increasing in $a$ for each real $c\le-1/3$; and non-monotonic in $a$ for each $c\in(-1/3,0)$. This extends and/or refines certain previously established results.


title: Counterexample of a theorem in Wiener index of a fuzzy graph and application to illegal immigration networks

abstract: In the article, we review and critique the Corollary and Theorem of Wiener index of a fuzzy graph and application to illegal immigration networks, and in addition to providing examples of violations.


title: Three-dimensional Simultaneous Shape and Pose Estimation for Extended Objects Using Spherical Harmonics

abstract: We propose a new recursive method for simultaneous estimation of both the pose and the shape of a three-dimensional extended object. The key idea of the presented method is to represent the shape of the object using spherical harmonics, similar to the way Fourier series can be used in the two-dimensional case. This allows us to derive a measurement equation that can be used within the framework of nonlinear filters such as the UKF. We provide both simulative and experimental evaluations of the novel techniques.


title: Camouflaged Object Detection and Tracking: A Survey

abstract: Moving object detection and tracking have various applications, including surveillance, anomaly detection, vehicle navigation, etc. The literature on object detection and tracking is rich enough, and several essential survey papers exist. However, the research on camouflage object detection and tracking limited due to the complexity of the problem. Existing work on this problem has been done based on either biological characteristics of the camouflaged objects or computer vision techniques. In this article, we review the existing camouflaged object detection and tracking techniques using computer vision algorithms from the theoretical point of view. This article also addresses several issues of interest as well as future research direction on this area. We hope this review will help the reader to learn the recent advances in camouflaged object detection and tracking.


title: Deep Learning Methods for Screening Pulmonary Tuberculosis Using Chest X-rays

abstract: Tuberculosis (TB) is a contagious bacterial airborne disease, and is one of the top 10 causes of death worldwide. According to the World Health Organization (WHO), around 1.8 billion people are infected with TB and 1.6 million deaths were reported in 2018. More importantly,95% of cases and deaths were from developing countries. Yet, TB is a completely curable disease through early diagnosis. To achieve this goal one of the key requirements is efficient utilization of existing diagnostic technologies, among which chest X-ray is the first line of diagnostic tool used for screening for active TB. The presented deep learning pipeline consists of three different state of the art deep learning architectures, to generate, segment and classify lung X-rays. Apart from this image preprocessing, image augmentation, genetic algorithm based hyper parameter tuning and model ensembling were used to to improve the diagnostic process. We were able to achieve classification accuracy of 97.1% (Youden's index-0.941,sensitivity of 97.9% and specificity of 96.2%) which is a considerable improvement compared to the existing work in the literature. In our work, we present an highly accurate, automated TB screening system using chest X-rays, which would be helpful especially for low income countries with low access to qualified medical professionals.


title: Information constraint in open quantum systems

abstract: We propose an effect called information constraint which is characterized by the existence of different decay rates of signal strengths propagating along opposite directions. It is an intrinsic property of a type of open quantum system, which does not rely on boundary conditions. We define the value of information constraint ($I_C$) as the ratio of different decay rates and derive the analytical representation of $I_C$ for general quadratic Lindbladian systems. Based on information constraint, we can provide a simple and elegant explanation of chiral and helical damping, and get the local maximum points of relative particle number for the periodical boundary system, consistent with numerical calculations. Inspired by information constraint, we propose and prove the correspondence between edge modes and damping modes. A new damping mode called Dirac damping is constructed, and chiral/helical damping can be regarded as a special case of Dirac damping.


title: Scattering in the static patch of de Sitter space

abstract: We study the scattering problem in the static patch of de Sitter space, i.e. the problem of field evolution between the past and future horizons of a de Sitter observer. We calculate the leading-order scattering for a conformally massless scalar with cubic interaction, as both the simplest case and a warmup towards Yang-Mills and gravity. Our strategy is to decompose the static-patch evolution problem into a pair of more symmetric evolution problems in two Poincare patches, sewn together by a spatial inversion. To carry this out explicitly, we end up developing formulas for the momentum-space effect of inversions in flat spacetime. The geometric construction of an electron's 4-momentum and spin vectors from a Dirac spinor turns out to be surprisingly relevant.


title: An inequality regarding differential polynomial

abstract: In this paper, we prove an inequality regarding the differential polynomial. This improves some recent results.


title: Real-Time Adaptive Velocity Optimization for Autonomous Electric Cars at the Limits of Handling

abstract: With the evolution of self-driving cars, autonomous racing series like Roborace and the Indy Autonomous Challenge are rapidly attracting growing attention. Researchers participating in these competitions hope to subsequently transfer their developed functionality to passenger vehicles, in order to improve self-driving technology for reasons of safety, and due to environmental and social benefits. The race track has the advantage of being a safe environment where challenging situations for the algorithms are permanently created. To achieve minimum lap times on the race track, it is important to gather and process information about external influences including, e.g., the position of other cars and the friction potential between the road and the tires. Furthermore, the predicted behavior of the ego-car's propulsion system is crucial for leveraging the available energy as efficiently as possible. In this paper, we therefore present an optimization-based velocity planner, mathematically formulated as a multi-parametric Sequential Quadratic Problem (mpSQP). This planner can handle a spatially and temporally varying friction coefficient, and transfer a race Energy Strategy (ES) to the road. It further handles the velocity-profile-generation task for performance and emergency trajectories in real time on the vehicle's Electronic Control Unit (ECU).


title: Inception Convolution with Efficient Dilation Search

abstract: As a variant of standard convolution, a dilated convolution can control effective receptive fields and handle large scale variance of objects without introducing additional computational costs. To fully explore the potential of dilated convolution, we proposed a new type of dilated convolution (referred to as inception convolution), where the convolution operations have independent dilation patterns among different axes, channels and layers. To develop a practical method for learning complex inception convolution based on the data, a simple but effective search algorithm, referred to as efficient dilation optimization (EDO), is developed. Based on statistical optimization, the EDO method operates in a low-cost manner and is extremely fast when it is applied on large scale datasets. Empirical results validate that our method achieves consistent performance gains for image recognition, object detection, instance segmentation, human detection, and human pose estimation. For instance, by simply replacing the 3x3 standard convolution in the ResNet-50 backbone with inception convolution, we significantly improve the AP of Faster R-CNN from 36.4% to 39.2% on MS COCO.


title: The combinatorial equivalence of a computability theoretic question

abstract: We show that a question of Miller and Solomon -- that whether there exists a coloring $c:d^{<\omega}\rightarrow k$ that does not admit a $c$-computable variable word infinite solution, is equivalent to a natural, nontrivial combinatorial question. The combinatorial question asked whether there is an infinite sequence of integers such that each of its initial segment satisfies a Ramsian type property. This is the first computability theoretic question known to be equivalent to a natural, nontrivial question that does not concern complexity notions. It turns out that the negation of the combinatorial question is a generalization of Hales-Jewett theorem. We solve some special cases of the combinatorial question and obtain a generalization of Hales-Jewett theorem on some particular parameters.


title: Mining user reviews of COVID contact-tracing apps: An exploratory analysis of nine European apps

abstract: Context: More than 50 countries have developed COVID contact-tracing apps to limit the spread of coronavirus. However, many experts and scientists cast doubt on the effectiveness of those apps. For each app, a large number of reviews have been entered by end-users in app stores. Objective: Our goal is to gain insights into the user reviews of those apps, and to find out the main problems that users have reported. Our focus is to assess the "software in society" aspects of the apps, based on user reviews. Method: We selected nine European national apps for our analysis and used a commercial app-review analytics tool to extract and mine the user reviews. For all the apps combined, our dataset includes 39,425 user reviews. Results: Results show that users are generally dissatisfied with the nine apps under study, except the Scottish ("Protect Scotland") app. Some of the major issues that users have complained about are high battery drainage and doubts on whether apps are really working. Conclusion: Our results show that more work is needed by the stakeholders behind the apps (e.g., app developers, decision-makers, public health experts) to improve the public adoption, software quality and public perception of these apps.


title: Colossal stability of antiferromagnetically exchange coupled nanomagnets

abstract: Bistable nanomagnets store a binary bit of information. Exchange coupled nanomagnets can increase the thermal stability at low dimensions. Here we show that the antiferromagnetically (AFM) coupled nanomagnets can be highly stable at low dimensions than that of the ferromagnetically (FM) coupled nanomagnets. By solving stochastic Landau-Lifshitz-Gilbert equation of magnetization dynamics at room temperature, we analyze the stability of the exchange coupled nanomagnets in the presence of correlated, uncorrelated, and anti-correlated noise. The results show that the correlated noise can make the stability of the AFM coupled nanomagnets very high. Such finding will lead to very high-density non-volatile storage and logic devices in our future information processing systems.


title: Spin-circuit representation of spin-torque ferromagnetic resonance

abstract: Spin-torque ferromagnetic resonance (ST-FMR) particularly using magnetic insulators and heavy metals possessing a giant spin Hall effect (SHE) has gotten a lot of attention for the development of spintronic devices. To devise complex functional devices, it is necessary to construct the equivalent spin-circuit representations of different phenomena. Such representation is useful to translate physical equations into circuit elements, benchmarking experiments, and then proposing creative and efficient designs. We utilize the superposition principle in circuit theory to separate the spin Hall magnetoresistance and spin pumping contributions in the ST-FMR experiments. We show that the proposed spin-circuit representation reproduces the standard results in literature. We further consider multilayers like a spin-valve structure with an SHE layer sandwiched by two magnetic layers and show how the corresponding spin-circuit representation can be constructed by simply writing a vector netlist and solved using circuit theory.


title: Trapping Effect for QCD Axion Dark Matter

abstract: In the early universe, the potential of a scalar field can be significantly modified, and the scalar field may be trapped for a long time in a different location than the current vacuum. The trapping effect can increase or decrease the scalar abundance. For instance, in thermal inflation, a scalar field is trapped at the top of the potential by a thermal effect and dominates the universe to drive inflation for a short period of time. On the other hand, a scalar abundance can be exponentially suppressed in the adiabatic suppression mechanism, where a scalar field moves adiabatically by a time-dependent trapping potential. In this study, we investigate such a trapping effect on the abundance of scalar fields. Specifically, we investigate how the abundance of a scalar field depends on its initial position in the case of a double well potential and identify the physical quantity that controls the abundance. Then, we study the QCD axion abundance for various values of the misalignment angle, where the axon potential receives a large temporal mass due to the Witten effect. We find that the axion abundance is suppressed due to the adiabatic suppression mechanism even when it is trapped near the maximum of the potential, if the trapping effect is sufficiently large.


title: An insight into acupoints and meridians in human body based on interstitial fluid circulation

abstract: The atlas of human acupoints and meridians has been utilized in clinical practice for almost a millennium although the anatomical structures and functions remain to be clarified. It has recently been reported that a long-distance interstitial fluid (ISF) circulatory pathway may originate from the acupoints in the extremities. As observed in living human subjects, cadavers and animals using magnetic resonance imaging and fluorescent tracers, the ISF flow pathways include at least 4 types of anatomical structures: the cutaneous-, perivenous-, periarterial-, and neural-pathways. Unlike the blood or lymphatic vessels, these ISF flow pathways are composed of highly ordered and topologically connected interstitial fibrous connective tissues that may work as guiderails for the ISF to flow actively over long distance under certain driving forces. Our experimental results demonstrated that most acupoints in the extremity endings connect with one or more ISF flow pathways and comprise a complex network of acupoint-ISF-pathways. We also found that this acupoint-ISF-pathway network can connect to visceral organs or tissues such as the pericardium and epicardium, even though the topographical geometry in human extremities does not totally match the meridian lines on the atlas that is currently used in traditional Chinese medicine. Based on our experimental data, the following working hypotheses are proposed. A comprehensive atlas will be constructed to systemically reveal the detailed anatomical structures of the acupoints-originated ISF circulation. Such an atlas may shed light on the mysteries shrouding the visceral correlations of acupoints and meridians, and inaugurate a new frontier for innovative medical applications.


title: Analytic study of superradiant stability of Kerr-Newman black holes under charged massive scalar perturbation

abstract: The superradiant stability of a Kerr-Newman black hole and charged massive scalar perturbation is investigated. We treat the black hole as a background geometry and study the equation of motion of the scalar perturbation. From the radial equation of motion, we derive the effective potential experienced by the scalar perturbation. By a careful analysis of this effective potential, it is found that when the inner and outer horizons of Kerr-Newman black hole satisfy $\frac{r_-}{r_+}\leqslant\frac{1}{3}$ and the charge-to-mass ratios of scalar perturbation and black hole satisfy $ \frac{q}{\mu }\frac{Q}{ M}>1 $, the Kerr-Newman black hole and scalar perturbation system is superradiantly stable.


title: The heat kernel of the asymmetric quantum Rabi model

abstract: In this paper we derive an explicit formula for the heat kernel of the asymmetric quantum Rabi model (AQRM), a symmetry breaking generalization of the quantum Rabi model (QRM). The method described here is an extension of the recently developed one for the heat kernel of the QRM based on the Trotter-Kato formula. In particular, the method is not based on path integrals or stochastic methods. In addition to the heat kernel formula, we present applications including the explicit formula for the partition function and the Weyl law for the distribution of the eigenvalues, obtained from the analytic continuation of the corresponding spectral zeta function.


title: Supersonic flow of Chaplygin gas past a delta wing

abstract: We consider the problem of supersonic flow of a Chaplygin gas past a delta wing with a shock or rarefaction wave attached to the leading edges. The flow under study is described by the three-dimensional steady Euler system. In conical coordinates, this problem can be reformulated as a boundary value problem for a nonlinear equation of mixed type. The type of this equation depends fully on the solutions of the problem itself, and thus it cannot be determined in advance. We overcome the difficulty by establishing a crucial Lipschitz estimate, and finally prove the unique existence of the solution via the method of continuity.


title: Gravitational Instability of Perturbations in a Background Nonlinear Nonstationary Model of a Disk-Like System. IV. Formation of two-ring structures in galaxies

abstract: In order to identify the exact criteria for the formation of two-ring structures in galaxies, we studied the issue of gravitational instability of the corresponding structural vibration modes against the background of a composite disk model [1-3], which has an exact nonlinear law of nonstationarity. Nonstationary analogs of dispersion equations for the given structural vibration modes of the model are derived and the results of their analysis are obtained. A comparative analysis of the increments of instabilities of ring-like oscillation modes is carried out to determine the dependence of their characteristic times of manifestation on the main physical parameters of the model.


title: Limit varieties generated by finite non-J-trivial aperiodic monoids

abstract: Jackson and Lee proved that certain six-element monoid generates a hereditarily finitely based variety $\mathbb E^1$ whose lattice of subvarieties contains an infinite ascending chain. We identify syntactic monoids which generate finitely generated subvarieties of $\mathbb E^1$ and show that one of these finite monoids together with certain seven-element monoid generates a new limit variety.


title: Early Indicators of Scientific Impact: Predicting Citations with Altmetrics

abstract: Identifying important scholarly literature at an early stage is vital to the academic research community and other stakeholders such as technology companies and government bodies. Due to the sheer amount of research published and the growth of ever-changing interdisciplinary areas, researchers need an efficient way to identify important scholarly work. The number of citations a given research publication has accrued has been used for this purpose, but these take time to occur and longer to accumulate. In this article, we use altmetrics to predict the short-term and long-term citations that a scholarly publication could receive. We build various classification and regression models and evaluate their performance, finding neural networks and ensemble models to perform best for these tasks. We also find that Mendeley readership is the most important factor in predicting the early citations, followed by other factors such as the academic status of the readers (e.g., student, postdoc, professor), followers on Twitter, online post length, author count, and the number of mentions on Twitter, Wikipedia, and across different countries.


title: EdgeDRNN: Recurrent Neural Network Accelerator for Edge Inference

abstract: Low-latency, low-power portable recurrent neural network (RNN) accelerators offer powerful inference capabilities for real-time applications such as IoT, robotics, and human-machine interaction. We propose a lightweight Gated Recurrent Unit (GRU)-based RNN accelerator called EdgeDRNN that is optimized for low-latency edge RNN inference with batch size of 1. EdgeDRNN adopts the spiking neural network inspired delta network algorithm to exploit temporal sparsity in RNNs. Weights are stored in inexpensive DRAM which enables EdgeDRNN to compute large multi-layer RNNs on the most inexpensive FPGA. The sparse updates reduce DRAM weight memory access by a factor of up to 10x and the delta can be varied dynamically to trade-off between latency and accuracy. EdgeDRNN updates a 5 million parameter 2-layer GRU-RNN in about 0.5ms. It achieves latency comparable with a 92W Nvidia 1080 GPU. It outperforms NVIDIA Jetson Nano, Jetson TX2 and Intel Neural Compute Stick 2 in latency by 5X. For a batch size of 1, EdgeDRNN achieves a mean effective throughput of 20.2GOp/s and a wall plug power efficiency that is over 4X higher than the commercial edge AI platforms.


title: Global polarization of $\Xi$ and $\Omega$ hyperons in Au+Au collisions at $\sqrt{s_{_{NN}}}$ = 200 GeV

abstract: Global polarization of $\Xi$ and $\Omega$ hyperons has been measured for the first time in Au+Au collisions at $\sqrt{s_{_{NN}}}$ = 200 GeV. The measurements of the $\Xi^-$ and $\bar{\Xi}^+$ hyperon polarization have been performed by two independent methods, via analysis of the angular distribution of the daughter particles in the parity violating weak decay $\Xi\rightarrow\Lambda+\pi$, as well as by measuring the polarization of the daughter $\Lambda$-hyperon, polarized via polarization transfer from its parent. The polarization, obtained by combining the results from the two methods and averaged over $\Xi^-$ and $\bar{\Xi}^+$, is measured to be $\langle P_\Xi \rangle = 0.47\pm0.10~({\rm stat.})\pm0.23~({\rm syst.})\,\%$ for the collision centrality 20\%-80\%. The $\langle P_\Xi \rangle$ is found to be slightly larger than the inclusive $\Lambda$ polarization and in reasonable agreement with a multi-phase transport model (AMPT). The $\langle P_\Xi \rangle$ is found to follow the centrality dependence of the vorticity predicted in the model, increasing toward more peripheral collisions. The global polarization of $\Omega$, $\langle P_\Omega \rangle = 1.11\pm0.87~({\rm stat.})\pm1.97~({\rm syst.})\,\%$ was obtained by measuring the polarization of daughter $\Lambda$ in the decay $\Omega \rightarrow \Lambda + K$, assuming the polarization transfer factor $C_{\Omega\Lambda}=1$.


title: Approximation Of Function By $\alpha-$Baskakov Durrmeyer Type Operators

abstract: In the present note, we give the generalization of $\alpha-$Baskakov Durrmeyer operators depending on a real parameter $\rho$ > 0. We present the approximation results in Korovkin and weighted Korovkin spaces. We also prove the order of approximation, rate of approximation for these operators. In the end, we verify our results with the help of numerical examples by using Mathematica.


title: Modeling Dispositional and Initial learned Trust in Automated Vehicles with Predictability and Explainability

abstract: Technological advances in the automotive industry are bringing automated driving closer to road use. However, one of the most important factors affecting public acceptance of automated vehicles (AVs) is the public's trust in AVs. Many factors can influence people's trust, including perception of risks and benefits, feelings, and knowledge of AVs. This study aims to use these factors to predict people's dispositional and initial learned trust in AVs using a survey study conducted with 1175 participants. For each participant, 23 features were extracted from the survey questions to capture his or her knowledge, perception, experience, behavioral assessment, and feelings about AVs. These features were then used as input to train an eXtreme Gradient Boosting (XGBoost) model to predict trust in AVs. With the help of SHapley Additive exPlanations (SHAP), we were able to interpret the trust predictions of XGBoost to further improve the explainability of the XGBoost model. Compared to traditional regression models and black-box machine learning models, our findings show that this approach was powerful in providing a high level of explainability and predictability of trust in AVs, simultaneously.


title: DNS Typo-squatting Domain Detection: A Data Analytics & Machine Learning Based Approach

abstract: Domain Name System (DNS) is a crucial component of current IP-based networks as it is the standard mechanism for name to IP resolution. However, due to its lack of data integrity and origin authentication processes, it is vulnerable to a variety of attacks. One such attack is Typosquatting. Detecting this attack is particularly important as it can be a threat to corporate secrets and can be used to steal information or commit fraud. In this paper, a machine learning-based approach is proposed to tackle the typosquatting vulnerability. To that end, exploratory data analytics is first used to better understand the trends observed in eight domain name-based extracted features. Furthermore, a majority voting-based ensemble learning classifier built using five classification algorithms is proposed that can detect suspicious domains with high accuracy. Moreover, the observed trends are validated by studying the same features in an unlabeled dataset using K-means clustering algorithm and through applying the developed ensemble learning classifier. Results show that legitimate domains have a smaller domain name length and fewer unique characters. Moreover, the developed ensemble learning classifier performs better in terms of accuracy, precision, and F-score. Furthermore, it is shown that similar trends are observed when clustering is used. However, the number of domains identified as potentially suspicious is high. Hence, the ensemble learning classifier is applied with results showing that the number of domains identified as potentially suspicious is reduced by almost a factor of five while still maintaining the same trends in terms of features' statistics.


title: COVIDX: Computer-aided diagnosis of Covid-19 and its severity prediction with raw digital chest X-ray images

abstract: Coronavirus disease (COVID-19) is a contagious infection caused by severe acute respiratory syndrome coronavirus-2 (SARS-COV-2) and it has infected and killed millions of people across the globe. In the absence of specific drugs or vaccines for the treatment of COVID-19 and the limitation of prevailing diagnostic techniques, there is a requirement for some alternate automatic screening systems that can be used by the physicians to quickly identify and isolate the infected patients. A chest X-ray (CXR) image can be used as an alternative modality to detect and diagnose the COVID-19. In this study, we present an automatic COVID-19 diagnostic and severity prediction (COVIDX) system that uses deep feature maps from CXR images to diagnose COVID-19 and its severity prediction. The proposed system uses a three-phase classification approach (healthy vs unhealthy, COVID-19 vs Pneumonia, and COVID-19 severity) using different shallow supervised classification algorithms. We evaluated COVIDX not only through 10-fold cross2 validation and by using an external validation dataset but also in real settings by involving an experienced radiologist. In all the evaluation settings, COVIDX outperforms all the existing stateof-the-art methods designed for this purpose. We made COVIDX easily accessible through a cloud-based webserver and python code available at https://sites.google.com/view/wajidarshad/software and https://github.com/wajidarshad/covidx, respectively.


title: Some properties of graded generalized 2-absorbing submodules

abstract: Let $G$ be an abelian group with identity $e$. Let $R$ be a $G$-graded commutative ring and $M$ a graded $R$-module. In this paper we will obtain some results concerning the graded generalized 2-absorbing submodules and their homogeneous components. Special attention has been paid, when graded rings are graded gr-Noetherian, to find extra properties of these graded submodules.


title: Deep Active Learning Approach to Adaptive Beamforming for mmWave Initial Alignment

abstract: This paper proposes a deep learning approach to the adaptive and sequential beamforming design problem for the initial access phase in a mmWave environment with a single-path channel. For a single-user scenario where the problem is equivalent to designing the sequence of sensing beamformers to learn the angle of arrival (AoA) of the dominant path, we propose a novel deep neural network (DNN) that designs the adaptive sensing vectors sequentially based on the available information so far at the base station (BS). By recognizing that the AoA posterior distribution is a sufficient statistic for solving the initial access problem, we use the posterior distribution as the input to the proposed DNN for designing the adaptive sensing strategy. However, computing the posterior distribution can be computationally challenging when the channel fading coefficient is unknown. To address this issue, this paper proposes to use an estimate of the fading coefficient to compute an approximation of the posterior distribution. Further, this paper shows that the proposed DNN can deal with practical beamforming constraints such as the constant modulus constraint. Numerical results demonstrate that compared to the existing adaptive and non-adaptive beamforming schemes, the proposed DNN-based adaptive sensing strategy achieves a significantly better AoA acquisition performance.


title: Synergy via Redundancy: Adaptive Replication Strategies and Fundamental Limits

abstract: The maximum possible throughput (or the rate of job completion) of a multi-server system is typically the sum of the service rates of individual servers. Recent work shows that launching multiple replicas of a job and canceling them as soon as one copy finishes can boost the throughput, especially when the service time distribution has high variability. This means that redundancy can, in fact, create synergy among servers such that their overall throughput is greater than the sum of individual servers. This work seeks to find the fundamental limit of the throughput boost achieved by job replication and the optimal replication policy to achieve it. While most previous works consider upfront replication policies, we expand the set of possible policies to delayed launch of replicas. The search for the optimal adaptive replication policy can be formulated as a Markov Decision Process, using which we propose two myopic replication policies, MaxRate and AdaRep, to adaptively replicate jobs. In order to quantify the optimality gap of these and other policies, we derive upper bounds on the service capacity, which provide fundamental limits on the throughput of queueing systems with redundancy.


title: Joint Spatial-Propagation Modeling of Cellular Networks Based on the Directional Radii of Poisson Voronoi Cells

abstract: In coverage-oriented networks, base stations (BSs) are deployed in a way such that users at the cell boundaries achieve sufficient signal strength. The shape and size of cells vary from BS to BS, since the large-scale signal propagation conditions differ in different geographical regions. This work proposes and studies a joint spatial-propagation (JSP) model, which considers the correlation between cell radii and the large-scale signal propagation (captured by shadowing). We first introduce the notion of the directional radius of Voronoi cells, which has applications in cellular networks and beyond. The directional radius of a cell is defined as the distance from the nucleus to the cell boundary at an angle relative to the direction of a uniformly random location in the cell. We study the distribution of the radii in two types of cells in the Poisson Voronoi tessellations: the zero-cell, which contains the origin, and the typical cell. The results are applied to analyze the JSP model. We show that, even though the Poisson point process (PPP) is often considered as a pessimistic spatial model for BS locations, the JSP model with the PPP achieves coverage performance close to the most optimistic one -- the standard triangular lattice model. Further, we show that the network performance depends critically on the variance of the large-scale path loss along the cell boundary.


title: From Additive Average Schwarz Methods to Non-overlapping Spectral Additive Schwarz Methods

abstract: In this paper, we design and analyze two new methods based on additive average Schwarz -- AAS method introduced in \cite{MR1943457}. The new methods design for elliptic problems with highly heterogeneous coefficients. The methods are of the non-overlapping type, and the subdomain interactions obtain via the coarse space. The first method is the minimum energy Schwarz -- MES method. MES has the minimum energy for the coarse space with constant extension inside each subdomain. The condition number of the MES method is always smaller than in the AAS method. The second class of methods is the non-overlapping spectral additive Schwarz -- NOSAS methods based on low-rank discrete energy harmonic extension in each subdomain. To achieve the low-rank, we solve a generalized eigenvalue problem in each subdomain. NOSAS have the minimum energy for a given rank of the coarse space. The condition number of the NOSAS methods does not depend on the coefficients. Additionally, the NOSAS methods have good parallelization properties. The size of the global problem is equal to the total number of eigenvalues chosen in each subdomain. It is only related to the number of high-permeable islands that touch the subdomains' interface.


title: Topological phases and bulk-edge correspondence of magnetized cold plasmas

abstract: Plasmas have been recently studied as topological materials. However, a comprehensive picture of topological phases and topological phase transitions in cold magnetized plasmas is still missing. Here we systematically map out all the topological phases and establish the bulk-edge correspondence in cold magnetized plasmas. We find that for the linear eigenmodes, there are 10 topological phases in the parameter space of density $n$, magnetic field $B$, and parallel wavenumber $k_{z}$, separated by the surfaces of Langmuir wave-L wave resonance, Langmuir wave-cyclotron wave resonance, and zero magnetic field. For fixed $B$ and $k_{z}$, only the phase transition at the Langmuir wave-cyclotron wave resonance corresponds to edge modes. A sufficient and necessary condition for the existence of this type of edge modes is given and verified by numerical solutions. We demonstrate that edge modes exist not only on a plasma-vacuum interface but also on more general plasma-plasma interfaces. This finding broadens the possible applications of these exotic excitations in space and laboratory plasmas.


title: Knots and signal transmission in topological quantum devices

abstract: We discuss the basic problem of signal transmission in quantum mechanics in terms of topological theories. Using the analogy between knot diagrams and quantum amplitudes we calculate the transmission coefficients of the concept topological quantum devices that realize the knot topology. We observe that the problem is in different ways similar to that of transmission on quantum graphs. The desired transmission or filtering properties can be attained by the variation of the topology of the device, or an external parameter, which in our model controls the topological phase. One interesting property of the transmission coefficients is the existence of "self-averaging" phases, in which the value of the transmission coefficient is independent from all the representatives in a chosen family of knots. We briefly discuss physical realizations of the concept devices.


title: How does geometry affect quantum gases?

abstract: In this work, we study the thermodynamic functions of quantum gases confined to spaces of various shapes, namely, a sphere, a cylinder, and an ellipsoid. We start with the simplest situation, namely, a spinless gas treated within the canonical ensemble framework. As a next step, we consider \textit{noninteracting} gases (fermions and bosons) with the usage of the grand canonical ensemble description. For this case, the calculations are performed numerically. We also observe that our results may possibly be applied to \textit{Bose-Einstein condensate} and to \textit{helium dimer}. Moreover, the bosonic sector, independently of the geometry, acquires entropy and internal energy greater than for the fermionic case. Finally, we also devise a model allowing us to perform analytically the calculations in the case of \textit{interacting} quantum gases, and, afterwards, we apply it to a cubical box.


title: Quantile regression with generated dependent variable and covariates

abstract: We study linear quantile regression models when regressors and/or dependent variable are not directly observed but estimated in an initial first step and used in the second step quantile regression for estimating the quantile parameters. This general class of generated quantile regression (GQR) covers various statistical applications, for instance, estimation of endogenous quantile regression models and triangular structural equation models, and some new relevant applications are discussed. We study the asymptotic distribution of the two-step estimator, which is challenging because of the presence of generated covariates and/or dependent variable in the non-smooth quantile regression estimator. We employ techniques from empirical process theory to find uniform Bahadur expansion for the two step estimator, which is used to establish the asymptotic results. We illustrate the performance of the GQR estimator through simulations and an empirical application based on auctions.


title: RoCUS: Robot Controller Understanding via Sampling

abstract: As robots are deployed in complex situations, engineers and end users must develop a holistic understanding of their behaviors, capabilities, and limitations. Some behaviors are directly optimized by the objective function. They often include success rate, completion time or energy consumption. Other behaviors -- e.g., collision avoidance, trajectory smoothness or motion legibility -- are typically emergent but equally important for safe and trustworthy deployment. Designing an objective which optimizes every aspect of robot behavior is hard. In this paper, we advocate for systematic analysis of a wide array of behaviors for holistic understanding of robot controllers and, to this end, propose a framework, RoCUS, which uses Bayesian posterior sampling to find situations where the robot controller exhibits user-specified behaviors, such as highly jerky motions. We use RoCUS to analyze three controller classes (deep learning models, rapidly exploring random trees and dynamical system formulations) on two domains (2D navigation and a 7 degree-of-freedom arm reaching), and uncover insights to further our understanding of these controllers and ultimately improve their designs.


title: Dynamical Properties and Effects of Quantum Diffraction on The Propagation of E-A-Solitary Waves in Three-Component Fermi Plasma

abstract: Electron Acoustic Solitary structures in Fermi Plasma with two temperature electrons have various applications in space and laboratory-made plasma. Formulation of an adequate theory is important to understand various physical systems with various physical parameters. The motion of two temperature electrons in a quantum Fermi plasma system highly affects the solitary profile of the system. We study the quantum Fermi plasma system with two temperature electrons where the streaming velocities of the two-electron population are opposite. We consider the quantum hydrodynamic model (QHD) and derive a linear dispersion relation for the system. For the non-linear study of the system, we use the standard perturbation technique to derive KdV-B equation and show the evolution of a solitary profile with different plasma parameters. We analyze the stable Rouge wave structure using NLSE and show simulation results. We study the dynamical properties and phase plot for a two-stream quantum Fermi plasma system with two temperature electrons.


title: Complex Network Influence Evaluation based on extension of Grueblers Equation

abstract: It is greatly significant in evaluating nodes Influence ranking in complex networks. Over the years, many researchers present different measures for quantifying node interconnectedness within networks. Therefore, this paper introduces a centrality measure called Tr-centrality which focuses on using the node triangle structure and the node neighborhood information to define the strength of a node, which is defined as the summation of Grueblers Equation of nodes one-hop triangle neighborhood to the number of all the edges in the subgraph. Furthermore, we socially consider it as the local trust of a node. To verify the validity of Tr-centrality, we apply it to four real-world networks with different densities and shapes and Tr-centrality has proven to yield better results.


title: BiPart: A Parallel and Deterministic Multilevel Hypergraph Partitioner

abstract: Hypergraph partitioning is used in many problem domains including VLSI design, linear algebra, Boolean satisfiability, and data mining. Most versions of this problem are NP-complete or NP-hard, so practical hypergraph partitioners generate approximate partitioning solutions for all but the smallest inputs. One way to speed up hypergraph partitioners is to exploit parallelism. However, existing parallel hypergraph partitioners are not deterministic, which is considered unacceptable in domains like VLSI design where the same partitions must be produced every time a given hypergraph is partitioned. In this paper, we describe BiPart, the first deterministic, parallel hypergraph partitioner. Experimental results show that BiPart outperforms state-of-the-art hypergraph partitioners in runtime and partition quality while generating partitions deterministically.


title: On self-supervised multi-modal representation learning: An application to Alzheimer's disease

abstract: Introspection of deep supervised predictive models trained on functional and structural brain imaging may uncover novel markers of Alzheimer's disease (AD). However, supervised training is prone to learning from spurious features (shortcut learning) impairing its value in the discovery process. Deep unsupervised and, recently, contrastive self-supervised approaches, not biased to classification, are better candidates for the task. Their multimodal options specifically offer additional regularization via modality interactions. In this paper, we introduce a way to exhaustively consider multimodal architectures for contrastive self-supervised fusion of fMRI and MRI of AD patients and controls. We show that this multimodal fusion results in representations that improve the results of the downstream classification for both modalities. We investigate the fused self-supervised features projected into the brain space and introduce a numerically stable way to do so.


title: Teaching Robots Novel Objects by Pointing at Them

abstract: Robots that must operate in novel environments and collaborate with humans must be capable of acquiring new knowledge from human experts during operation. We propose teaching a robot novel objects it has not encountered before by pointing a hand at the new object of interest. An end-to-end neural network is used to attend to the novel object of interest indicated by the pointing hand and then to localize the object in new scenes. In order to attend to the novel object indicated by the pointing hand, we propose a spatial attention modulation mechanism that learns to focus on the highlighted object while ignoring the other objects in the scene. We show that a robot arm can manipulate novel objects that are highlighted by pointing a hand at them. We also evaluate the performance of the proposed architecture on a synthetic dataset constructed using emojis and on a real-world dataset of common objects.


title: Solvable systems of two coupled first-order ODEs with homogeneous cubic polynomial right-hand sides

abstract: The solution $x_n\left(t\right)$, $n=1,2,$ of the \textit{initial-values} problem is reported of the \textit{autonomous} system of $2$ coupled first-order ODEs with \textit{homogeneous cubic polynomial} right-hand sides, \begin{eqnarray} \dot{x}_n = c_{n1} \left(x_1\right)^3 + c_{n2}\left( x_1\right)^2 x_2 + c_{n3} x_1 \left(x_2\right)^2+c_{n4} \left(x_2\right)^3\ ,\quad n=1,2\ , \nonumber \end{eqnarray} when the $8$ (time-independent) coefficients $c_{n\ell}$ are appropriately defined in terms of $7$ \textit{arbitrary} parameters, which then also identify the solution of this model. The inversion of these relations is also investigated, namely how to obtain, in terms of the $8$ coefficients $c_{n\ell},$ the $7$ parameters characterizing the solution of this model; and $2$ \textit{constraints} are \textit{explicitly} identified which, if satisfied by the $8$ parameters $c_{n\ell },$ guarantee the \textit{solvability by algebraic operations} of this dynamical system. Also identified is a related, \textit{appropriately modified}, class of (generally \textit{complex}) systems, reading \begin{eqnarray} \dot{{\tilde{x}}_{n}} = \mathbf{i}\omega \tilde{x}_{n} + c_{n1}\left(\tilde{x}_{1}\right) ^{3}+c_{n2}\left( \tilde{x}_{1}\right) ^2 \tilde{x}_2 + c_{n3}\tilde{x}_1 \left( \tilde{x}_2\right)^2 + c_{n4}\left(\tilde{x}_2 \right)^3\ ,\quad n=1,2\ , \nonumber \end{eqnarray} with $\mathbf{i}\omega $ an \textit{arbitrary imaginary} parameter, which feature the remarkable property to be \textit{isochronous}, namely their \textit{generic} solutions are -- as functions of \textit{real time} -- \textit{completely periodic} with a period which is, for each of these models, a \textit{fixed} \textit{integer multiple} of the basic period $\tilde{T}=2\pi /\left\vert \omega \right\vert$.


title: Rapid Deceleration of Blast Waves Witnessed in Tycho's Supernova Remnant

abstract: In spite of their importance as standard candles in cosmology and as major major sites of nucleosynthesis in the Universe, what kinds of progenitor systems lead to type Ia supernovae (SN) remains a subject of considerable debate in the literature. This is true even for the case of Tycho's SN exploded in 1572 although it has been deeply studied both observationally and theoretically. Analyzing X-ray data of Tycho's supernova remnant (SNR) obtained with Chandra in 2003, 2007, 2009, and 2015, we discover that the expansion before 2007 was substantially faster than radio measurements reported in the past decades and then rapidly decelerated during the last ~ 15 years. The result is well explained if the shock waves recently hit a wall of dense gas surrounding the SNR. Such a gas structure is in fact expected in the so-called single-degenerate scenario, in which the progenitor is a binary system consisting of a white dwarf and a stellar companion, whereas it is not generally predicted by a competing scenario, the double-degenerate scenario, which has a binary of two white dwarfs as the progenitor. Our result thus favors the former scenario. This work also demonstrates a novel technique to probe gas environments surrounding SNRs and thus disentangle the two progenitor scenarios for Type Ia SNe.


title: Self-Supervised Multimodal Domino: in Search of Biomarkers for Alzheimer's Disease

abstract: Sensory input from multiple sources is crucial for robust and coherent human perception. Different sources contribute complementary explanatory factors. Similarly, research studies often collect multimodal imaging data, each of which can provide shared and unique information. This observation motivated the design of powerful multimodal self-supervised representation-learning algorithms. In this paper, we unify recent work on multimodal self-supervised learning under a single framework. Observing that most self-supervised methods optimize similarity metrics between a set of model components, we propose a taxonomy of all reasonable ways to organize this process. We first evaluate models on toy multimodal MNIST datasets and then apply them to a multimodal neuroimaging dataset with Alzheimer's disease patients. We find that (1) multimodal contrastive learning has significant benefits over its unimodal counterpart, (2) the specific composition of multiple contrastive objectives is critical to performance on a downstream task, (3) maximization of the similarity between representations has a regularizing effect on a neural network, which can sometimes lead to reduced downstream performance but still reveal multimodal relations. Results show that the proposed approach outperforms previous self-supervised encoder-decoder methods based on canonical correlation analysis (CCA) or the mixture-of-experts multimodal variational autoEncoder (MMVAE) on various datasets with a linear evaluation protocol. Importantly, we find a promising solution to uncover connections between modalities through a jointly shared subspace that can help advance work in our search for neuroimaging biomarkers.


title: Fine-grained Emotion and Intent Learning in Movie Dialogues

abstract: We propose a novel large-scale emotional dialogue dataset, consisting of 1M dialogues retrieved from the OpenSubtitles corpus and annotated with 32 emotions and 9 empathetic response intents using a BERT-based fine-grained dialogue emotion classifier. This work explains the complex pipeline used to preprocess movie subtitles and select good movie dialogues to annotate. We also describe the semi-supervised learning process followed to train a fine-grained emotion classifier to annotate these dialogues. Despite the large set of labels, our dialogue emotion classifier achieved an accuracy of $65\%$ and was used to annotate 1M emotional movie dialogues from OpenSubtitles. This scale of emotional dialogue classification has never been attempted before, both in terms of dataset size and fine-grained emotion and intent categories. Visualization techniques used to analyze the quality of the resultant dataset suggest that it conforms to the patterns of human social interaction.


title: Two-dimensional chromium bismuthate: A room-temperature Ising ferromagnet with tunable magneto-optical response

abstract: We present a density functional theory (DFT) based study of a two-dimensional phase of chromium bismuthate (CrBi), previously unknown material with exceptional magnetic and magnetooptical characteristics. Monolayer CrBi is a ferromagnetic metal with strong spin-orbit coupling induced by the heavy bismuth atoms, resulting in a strongly anisotropic Ising-type magnetic ordering with the Curie temperature estimated to be higher than 300 K. The electronic structure of the system is topologically nontrivial, giving rise to a nonzero Berry curvature in the ground magnetic state, leading to the anomalous Hall effect with the conductivity plateau of $\sim$1.5 $e^2/h$ at the Fermi level. Remarkably, the Hall conductivity and the magnetooptical constant are found to be strongly dependent on the direction of magnetization. Besides, monolayer CrBi demonstrates the polar magnetooptical Kerr effect in the visible and near-ultraviolet spectral ranges with the maximum rotation angles of up to 10 mrad. Our findinds suggest that monolayer CrBi is a promising system for practical applications in magnetooptical and spintronic devices.


title: Detecting the patient's need for help with machine learning

abstract: Developing machine learning models to support health analytics requires increased understanding about statistical properties of self-rated expression statements. We analyzed self-rated expression statements concerning the coronavirus COVID-19 epidemic to identify statistically significant differences between groups of respondents and to detect the patient's need for help with machine learning. Our quantitative study gathered the "need for help" ratings for twenty health-related expression statements concerning the coronavirus epidemic on a 11-point Likert scale, and nine answers about the person's health and wellbeing, sex and age. Online respondents between 30 May and 3 August 2020 were recruited from Finnish patient and disabled people's organizations, other health-related organizations and professionals, and educational institutions (n=673). We analyzed rating differences and dependencies with Kendall rank-correlation and cosine similarity measures and tests of Wilcoxon rank-sum, Kruskal-Wallis and one-way analysis of variance (ANOVA) between groups, and carried out machine learning experiments with a basic implementation of a convolutional neural network algorithm. We found statistically significant correlations and high cosine similarity values between various health-related expression statement pairs concerning the "need for help" ratings and a background question pair. We also identified statistically significant rating differences for several health-related expression statements in respect to groupings based on the answer values of background questions, such as the ratings of suspecting to have the coronavirus infection and having it depending on the estimated health condition, quality of life and sex. Our experiments with a convolutional neural network algorithm showed the applicability of machine learning to support detecting the need for help in the patient's expressions.


title: Superconductivity to 262 kelvin via catalyzed hydrogenation of yttrium at high pressures

abstract: Room temperature superconductivity has been achieved under high pressure in an organically derived carbonaceous sulfur hydride with a critical superconducting transition temperature (Tc) of 288 kelvin. This development is part of a new class of dense, hydrogen rich materials with remarkably high critical temperatures. Metal superhydrides are a subclass of these materials that provide a different and potentially more promising route to very high Tc superconductivity. The most promising binary metal superhydrides contain alkaline or rare earth elements, and recent experimental observations of LaH10 have shown them capable of Tc s up to 250 to 260 kelvin. Predictions have shown yttrium superhydrides to be the most promising with an estimated Tc in excess of 300 kelvin for YH10. Here we report the synthesis of an yttrium superhydride that exhibits superconductivity at a critical temperature of 262 kelvin at 182 gigapascal. A palladium thin film assists the synthesis by protecting the sputtered yttrium from oxidation and promoting subsequent hydrogenation. Phonon mediated superconductivity is established by the observation of zero resistance, an isotope effect and the reduction of Tc under an external magnetic field. The upper critical magnetic field is 103 tesla at zero temperature. We suggest YH9 is the synthesized product based on comparison of the measured Raman spectra and Tc to calculated Raman results.


title: A Simple Fine-tuning Is All You Need: Towards Robust Deep Learning Via Adversarial Fine-tuning

abstract: Adversarial Training (AT) with Projected Gradient Descent (PGD) is an effective approach for improving the robustness of the deep neural networks. However, PGD AT has been shown to suffer from two main limitations: i) high computational cost, and ii) extreme overfitting during training that leads to reduction in model generalization. While the effect of factors such as model capacity and scale of training data on adversarial robustness have been extensively studied, little attention has been paid to the effect of a very important parameter in every network optimization on adversarial robustness: the learning rate. In particular, we hypothesize that effective learning rate scheduling during adversarial training can significantly reduce the overfitting issue, to a degree where one does not even need to adversarially train a model from scratch but can instead simply adversarially fine-tune a pre-trained model. Motivated by this hypothesis, we propose a simple yet very effective adversarial fine-tuning approach based on a $\textit{slow start, fast decay}$ learning rate scheduling strategy which not only significantly decreases computational cost required, but also greatly improves the accuracy and robustness of a deep neural network. Experimental results show that the proposed adversarial fine-tuning approach outperforms the state-of-the-art methods on CIFAR-10, CIFAR-100 and ImageNet datasets in both test accuracy and the robustness, while reducing the computational cost by 8-10$\times$. Furthermore, a very important benefit of the proposed adversarial fine-tuning approach is that it enables the ability to improve the robustness of any pre-trained deep neural network without needing to train the model from scratch, which to the best of the authors' knowledge has not been previously demonstrated in research literature.


title: Continuous variable multimode quantum states via symmetric group velocity matching

abstract: Configurable and scalable continuous variable quantum networks for measurement-based quantum information protocols or multipartite quantum communication schemes can be obtained via parametric down conversion (PDC) in non-linear waveguides. In this work, we exploit symmetric group velocity matching (SGVM) to engineer the properties of the squeezed modes of the PDC. We identify type II PDC in a single waveguide as the best suited process, since multiple modes with non-negligible amount of squeezing can be obtained. We explore, for the first time, the waveguide dimensions, usually only set to ensure single-mode guiding, as an additional design parameter ensuring indistinguishability of the signal and idler fields. We investigate here potassium titanyl phosphate (KTP), which offers SGVM at telecommunications wavelengths, but our approach can be applied to any non-linear material and pump wavelength. This work paves the way towards the engineering of future large-scale quantum networks in the continuous variable regime.


title: Linking core-collapse supernova explosions to supernova remnants through 3D MHD modeling

abstract: The structure and morphology of supernova remnants (SNRs) reflect the properties of the parent supernovae (SNe) and the characteristics of the inhomogeneous environments through which the remnants expand. Linking the morphology of SNRs to anisotropies developed in their parent SNe can be essential to obtain key information on many aspects of the explosion processes associated with SNe. Nowadays, our capability to study the SN-SNR connection has been largely improved thanks to multi-dimensional models describing the long-term evolution from the SN to the SNR as well as to observational data of growing quality and quantity across the electromagnetic spectrum which allow to constrain the models. Here we used the numerical resources obtained in the framework of the "Accordo Quadro INAF-CINECA (2017)" together with a CINECA ISCRA Award N.HP10BARP6Y to describe the full evolution of a SNR from the core-collapse to the full-fledged SNR at the age of 2000 years. Our simulations were compared with observations of SNR Cassiopeia A (Cas A) at the age of $\sim 350$~years. Thanks to these simulations we were able to link the physical, chemical and morphological properties of a SNR to the physical processes governing the complex phases of the SN explosion.


title: Giant synthetic gauge field for spinless microcavity polaritons in crossed electric and magnetic fields

abstract: The artificial gauge field for electrically neutral exciton polaritons devoid from the polarization degree of freedom can be synthesized by means of applying crossed electric and magnetic fields. The appearance of the gauge potential can be ascribed to the motional (magneto-electric) Stark effect which is responsible for the presence of a linear-in-momentum contribution to the exciton kinetic energy. We study the interplay of this phenomenon with the competing effect which arises from the Rabi-splitting renormalization due the reduction of the electron-hole overlap for a moving exciton. Accounting for this mechanism is crucial in the structures with the high ratio of Rabi splitting and the exciton binding energy. Besides, we propose an approach which boosts the gauge field in the considered system. It takes advantage of the crossover from the hydrogen-like exciton to the strongly dipole-polarized exciton state at a specific choice of electric and magnetic fields. The strong sensitivity of the exciton energy to the momentum in this regime leads to the large values of the gauge field. We consider the specific example of a GaAs ring-shape polariton Berry phase interferometer and show that the flux of the effective magnetic field may approach the flux quantum value in the considered crossover regime.


title: Adaptively Solving the Local-Minimum Problem for Deep Neural Networks

abstract: This paper aims to overcome a fundamental problem in the theory and application of deep neural networks (DNNs). We propose a method to solve the local minimum problem in training DNNs directly. Our method is based on the cross-entropy loss criterion's convexification by transforming the cross-entropy loss into a risk averting error (RAE) criterion. To alleviate numerical difficulties, a normalized RAE (NRAE) is employed. The convexity region of the cross-entropy loss expands as its risk sensitivity index (RSI) increases. Making the best use of the convexity region, our method starts training with an extensive RSI, gradually reduces it, and switches to the RAE as soon as the RAE is numerically feasible. After training converges, the resultant deep learning machine is expected to be inside the attraction basin of a global minimum of the cross-entropy loss. Numerical results are provided to show the effectiveness of the proposed method.


title: Detecting Road Obstacles by Erasing Them

abstract: Vehicles can encounter a myriad of obstacles on the road, and it is impossible to record them all beforehand to train a detector. Instead, we select image patches and inpaint them with the surrounding road texture, which tends to remove obstacles from those patches. We then use a network trained to recognize discrepancies between the original patch and the inpainted one, which signals an erased obstacle.


title: The derivative map for diffeomorphism of disks: An example

abstract: We prove that the derivative map $d \colon \mathrm{Diff}_\partial(D^k) \to \Omega^kSO_k$, defined by taking the derivative of a diffeomorphism, can induce a nontrivial map on homotopy groups. Specifically, for $k = 11$ we prove that the following homomorphism is non-zero: $$ d_* \colon \pi_5\mathrm{Diff}_\partial(D^{11}) \to \pi_{5}\Omega^{11}SO_{11} \cong \pi_{16}SO_{11} $$ As a consequence we give a counter-example to a conjecture of Burghelea and Lashof and so give an example of a non-trivial vector bundle $E$ over a sphere which is trivial as a topological $\mathbb{R}^k$-bundle (the rank of $E$ is $k=11$ and the base sphere is $S^{17}$.) The proof relies on a recent result of Burklund and Senger which determines those homotopy 17-spheres bounding $8$-connected manifolds, the plumbing approach to the Gromoll filtration due to Antonelli, Burghelea and Kahn, and an explicit construction of low-codimension embeddings of certain homotopy spheres.


title: Logic Tensor Networks

abstract: Artificial Intelligence agents are required to learn from their surroundings and to reason about the knowledge that has been learned in order to make decisions. While state-of-the-art learning from data typically uses sub-symbolic distributed representations, reasoning is normally useful at a higher level of abstraction with the use of a first-order logic language for knowledge representation. As a result, attempts at combining symbolic AI and neural computation into neural-symbolic systems have been on the increase. In this paper, we present Logic Tensor Networks (LTN), a neurosymbolic formalism and computational model that supports learning and reasoning through the introduction of a many-valued, end-to-end differentiable first-order logic called Real Logic as a representation language for deep learning. We show that LTN provides a uniform language for the specification and the computation of several AI tasks such as data clustering, multi-label classification, relational learning, query answering, semi-supervised learning, regression and embedding learning. We implement and illustrate each of the above tasks with a number of simple explanatory examples using TensorFlow 2. Keywords: Neurosymbolic AI, Deep Learning and Reasoning, Many-valued Logic.


title: $T\bar{T}$-like Flows in Non-linear Electrodynamic Theories and S-duality

abstract: We investigate the $T\bar{T}$-like flows for non-linear electrodynamic theories in $D(=\!\!2n)$-dimensional spacetime. Our analysis is restricted to the deformation problem of the classical free action by employing the proposed $T\bar{T}$ operator from a simple integration technique. We show that this flow equation is compatible with $T\bar{T}$ deformation of a scalar field theory in $D\!=\!2$ and of a non-linear Born-Infeld type theory in $D\!=\!4$ dimensions. However, our computation discloses that this kind of $T\bar{T}$ flow in higher dimensions is essentially different from deformation that has been derived from the AdS/CFT interpretations. Indeed, the gravity that may be exist as a holographic dual theory of this kind of effective Born-Infeld action is not necessarily an AdS space. As an illustrative investigation in $D\!=\!4$, we shall also show that our construction for the $T\bar{T}$ operator preserves the original $SL(2,R)$ symmetry of a non-supersymmetric Born-Infeld theory, as well as $\mathcal{N}=2$ supersymmetric model. It is shown that the corresponding $SL(2,R)$ invariant action fixes the relationship between the $T\bar{T}$ operator and quadratic form of the energy-momentum tensor in $D\!=\!4$.


title: Graph Convolutional Networks for traffic anomaly

abstract: Event detection has been an important task in transportation, whose task is to detect points in time when large events disrupts a large portion of the urban traffic network. Travel information {Origin-Destination} (OD) matrix data by map service vendors has large potential to give us insights to discover historic patterns and distinguish anomalies. However, to fully capture the spatial and temporal traffic patterns remains a challenge, yet serves a crucial role for effective anomaly detection. Meanwhile, existing anomaly detection methods have not well-addressed the extreme data sparsity and high-dimension challenges, which are common in OD matrix datasets. To tackle these challenges, we formulate the problem in a novel way, as detecting anomalies in a set of directed weighted graphs representing the traffic conditions at each time interval. We further propose \textit{Context augmented Graph Autoencoder} (\textbf{Con-GAE }), that leverages graph embedding and context embedding techniques to capture the spatial traffic network patterns while working around the data sparsity and high-dimensionality issue. Con-GAE adopts an autoencoder framework and detect anomalies via semi-supervised learning. Extensive experiments show that our method can achieve up can achieve a 0.1-0.4 improvements of the area under the curve (AUC) score over state-of-art anomaly detection baselines, when applied on several real-world large scale OD matrix datasets.


title: A Standard Grammar for Temporal Logics on Finite Traces

abstract: The heterogeneity of tools that support temporal logic formulae poses several challenges in terms of interoperability. In particular, a standard syntax for temporal logic on finite traces, despite similar to the one for infinite traces, is currently missing. This document proposes a standard grammar for several temporal logic formalisms interpreted over finite traces, like Linear Temporal Logic (LTLf), Linear Dynamic Logic (LDLf), Pure-Past Linear Temporal Logic (PLTLf) and Pure-Past Linear Dynamic Logic (PLDLf).


title: Bernoulli's muddle: a research on students' misconceptions in fluid dynamics

abstract: Bernoulli's equation, which relates the pressure of an ideal fluid in motion with its velocity and height under certain conditions, is a central topic in General Physics courses for Science and Engineering students. This equation, frequently used both textbooks as in science outreach activities or museums, is often extrapolated to explain situations in which it is no longer valid. A common example is to assume that, in any situation, higher speed means lower pressure, a conclusion that is only acceptable under certain conditions. In this paper we report the results of an investigation with university students on some misconceptions present in fluid dynamics. We found that after completing the General Physics courses, many students have not developed a correct model about the interaction of a fluid element with its environment and extrapolate the idea that higher speed implies lower pressure in situations where it is no longer valid. We also show that an approach to fluid dynamics based on Newton's laws is more natural to address these misconceptions.


title: Alternative experimental ways to access entropy production

abstract: We theoretically derive and experimentally compare several different ways to access entropy production in a quantum process under feedback control. We focus on a bipartite quantum system realizing an autonomous Maxwell's demon scheme reported by Najera-Santos et al. [Phys.~Rev.~Research 2, 032025(R) (2020)], where information encoded in a demon is consumed to transfer heat from a cold qubit to a hot cavity. By measuring individual quantum trajectories of the joint demon-cavity-qubit system, we compute the entropy production with six distinct expressions derived from different approaches to the system description and its evolution. Each method uses a specific set of trajectories and data processing. Our results provide a unified view on the various meanings of irreversibility in quantum systems and pave the way to the measurement of entropy production beyond thermal frameworks.


title: Extreme Flow Decomposition for Multi-Source Multicast with Intra-Session Network Coding

abstract: Network coding (NC), when combined with multipath routing, enables a linear programming (LP) formulation for a multi-source multicast with intra-session network coding (MISNC) problem. However, it is still hard to solve using conventional methods due to the enormous scale of variables or constraints. In this paper, we try to solve this problem in terms of throughput maximization from an algorithmic perspective. We propose a novel formulation based on the extereme flow decomposition technique, which facilitates the design and analysis of approximation and online algorithms. For the offline scenario, we develop a fully polynomial time approximation scheme (FPTAS) which can find a $(1+\omega )$-approximation solution for any specified $\omega>0$. For the online scenario, we develop an online primal-dual algorithm which proves $O(1)$-competitive and violates link capacities by a factor of $O(\log m)$, where $m$ is the link number. The proposed algorithms share an elegant primal-dual form and thereby have inherent advantages of simplicity, efficiency, and scalability. To better understand the advantages of the extereme flow decomposition approach, we devise delicate numerical examples on an extended butterfly network. We validate the effects of algorithmic parameters and make an interesting comparison between the proposed FPTAS and online algorithm. The results show that the online algorithm has satisfactory performance while keeping the overall link utilization acceptable compared with the FPTAS.


title: Frames over finite fields: Equiangular lines in orthogonal geometry

abstract: We investigate equiangular lines in finite orthogonal geometries, focusing specifically on equiangular tight frames (ETFs). In parallel with the known correspondence between real ETFs and strongly regular graphs (SRGs) that satisfy certain parameter constraints, we prove that ETFs in finite orthogonal geometries are closely aligned with a modular generalization of SRGs. The constraints in our finite field setting are weaker, and all but~18 known SRG parameters on $v \leq 1300$ vertices satisfy at least one of them. Applying our results to triangular graphs, we deduce that Gerzon's bound is attained in finite orthogonal geometries of infinitely many dimensions. We also demonstrate connections with real ETFs, and derive necessary conditions for ETFs in finite orthogonal geometries. As an application, we show that Gerzon's bound cannot be attained in a finite orthogonal geometry of dimension~5.


title: Echo Chambers and Segregation in Social Networks: Markov Bridge Models and Estimation

abstract: This paper deals with the modeling and estimation of the sociological phenomena called echo chambers and segregation in social networks. Specifically, we present a novel community-based graph model that represents the emergence of segregated echo chambers as a Markov bridge process. A Markov bridge is a one-dimensional Markov random field that facilitates modeling the formation and disassociation of communities at deterministic times which is important in social networks with known timed events. We justify the proposed model with six real world examples and examine its performance on a recent Twitter dataset. We provide model parameter estimation algorithm based on maximum likelihood and, a Bayesian filtering algorithm for recursively estimating the level of segregation using noisy samples obtained from the network. Numerical results indicate that the proposed filtering algorithm outperforms the conventional hidden Markov modeling in terms of the mean-squared error. The proposed filtering method is useful in computational social science where data-driven estimation of the level of segregation from noisy data is required.


title: Zeros of Amplitude in the Associated Production of Photon and Leptoquark at $e$-$p$ Collider

abstract: Though various extensions of the Standard Model with higher gauge group predict the existence of leptoquarks, none of them has been observed yet at any of the colliders. In this paper, we study the prospect of several past and future $e$-$p$ colliders like HERA, LHeC and FCC-he to detect them through radiation amplitude zero. We find that the leptoquarks showing zeros in the tree-level single-photon amplitudes at $e$-$p$ collider lie within the complementary set of those exhibiting zeros at $e$-$\gamma$ collider. We present a PYTHIA-based analysis for HERA, LHeC and FCC-he (run II) to detect the leptoquarks with masses 70 GeV, 900 GeV and 1.5 TeV (2.0 TeV) respectively through radiation amplitude zero.


title: Fundamental Limits on Energy-Delay-Accuracy of In-memory Architectures in Inference Applications

abstract: This paper obtains fundamental limits on the computational precision of in-memory computing architectures (IMCs). An IMC noise model and associated SNR metrics are defined and their interrelationships analyzed to show that the accuracy of IMCs is fundamentally limited by the compute SNR ($\text{SNR}_{\text{a}}$) of its analog core, and that activation, weight and output precision needs to be assigned appropriately for the final output SNR $\text{SNR}_{\text{T}} \rightarrow \text{SNR}_{\text{a}}$. The minimum precision criterion (MPC) is proposed to minimize the ADC precision. Three in-memory compute models - charge summing (QS), current summing (IS) and charge redistribution (QR) - are shown to underlie most known IMCs. Noise, energy and delay expressions for the compute models are developed and employed to derive expressions for the SNR, ADC precision, energy, and latency of IMCs. The compute SNR expressions are validated via Monte Carlo simulations in a 65 nm CMOS process. For a 512 row SRAM array, it is shown that: 1) IMCs have an upper bound on their maximum achievable $\text{SNR}_{\text{a}}$ due to constraints on energy, area and voltage swing, and this upper bound reduces with technology scaling for QS-based architectures; 2) MPC enables $\text{SNR}_{\text{T}} \rightarrow \text{SNR}_{\text{a}}$ to be realized with minimal ADC precision; 3) QS-based (QR-based) architectures are preferred for low (high) compute SNR scenarios.


title: Which magnetic fields support a zero mode?

abstract: This paper presents some results concerning the size of magnetic fields that support zero modes for the three dimensional Dirac equation and related problems for spinor equations. It is a well known fact that for the Schr\"odinger in three dimensions to have a negative energy bound state, the 3/2- norm of the potential has to be greater than the Sobolev constant. We prove an analogous result for the existence of zero modes, namely that the 3/2 - norm of the magnetic field has to greater than twice the Sobolev constant. The novel point here is that the spinorial nature of the wave function is crucial. It leads to an improved diamagnetic inequality from which the bound is derived. While the results are probably not sharp, other equations are analyzed where the results are indeed optimal.


title: Generic Seebeck Effect From Spin Entropy

abstract: How magnetism affects the Seebeck effect is an important issue widely concerned in the thermoelectric community yet remaining elusive. Based on a thermodynamic analysis of spin degrees of freedom on varied $d$-electron based ferro- and anti-ferromagnets, we demonstrate that in itinerant or partially itinerant magnetic compounds there exists a generic spin contribution to the Seebeck effect over an extended temperature range from slightly below to well above the magnetic transition temperature. This contribution is interpreted as resulting from transport spin entropy of (partially) delocalized conducting $d$ electrons with strong thermal spin fluctuations, even semiquantitatively in a single-band case, in addition to the conventional diffusion part arising from their kinetic degrees of freedom. As a highly generic effect, the spin-dependent Seebeck effect might pave a feasible way to efficient "magnetic thermoelectrics".


title: Eccentric Early Migration of Neptune

abstract: The dynamical structure of the Kuiper belt can be used as a clue to the formation and evolution of the Solar System, planetary systems in general, and Neptune's early orbital history in particular. The problem is best addressed by forward modeling where different initial conditions and Neptune's orbital evolutions are tested, and the model predictions are compared to orbits of known Kuiper belt objects (KBOs). It has previously been established that Neptune radially migrated, by gravitationally interacting with an outer disk of planetesimals, from the original radial distance r < 25 au to its current orbit at 30 au. Here we show that the migration models with a very low orbital eccentricity of Neptune e_N < 0.05 do not explain KBOs with semimajor axes 50 < a < 60 au, perihelion distances q > 35 au and inclinations i < 10 deg. If e_N < 0.05 at all times, the Kozai cycles control the implantation process and the orbits with q > 35 au end up having, due to the angular momentum's z-component conservation, i > 10 deg. Better results are obtained when Neptune's eccentricity is excited to e_N ~ 0.1 and subsequently damped by dynamical friction. The low-e & low-i orbits at 50-60 au are produced in this model when KBOs are lifted from the scattered disk by secular cycles -- mainly the apsidal resonance nu_8 -- near various mean motion resonances. These results give support to a (mild) dynamical instability that presumably excited the orbits of giant planets during Neptune's early migration.


title: Observables for Recoil Identification in High-Definition Gas Time Projection Chambers

abstract: Directional detection of nuclear recoils is broadly desirable in nuclear and particle physics. At low recoil energies, this capability may be used to confirm the cosmological origin of a dark matter signal, to penetrate the so-called neutrino floor, or to distinguish between different neutrino sources. Gas Time Projection Chambers (TPCs) can enable directional recoil detection if the readout granularity is sufficiently high, as is the case when micro-pattern gaseous detectors (MPGDs) are utilized. A key challenge in such detectors is identifying and rejecting background electron recoil events caused by gamma rays from radioactive contaminants in the detector materials and the environment. We define new observables that can distinguish electron and nuclear recoils, even at keV-scale energies, based on the simulated ionization's topology. We perform a simulation study that shows these observables outperform the traditionally used discriminant, dE/dx, by up to three orders of magnitude. Furthermore, these new observables work well even at ionization energies well below 10 keV and remain robust even in the regime where directionality fails.


title: A Theory of Updating Ambiguous Information

abstract: We introduce a new updating rule, the conditional maximum likelihood rule (CML) for updating ambiguous information. The CML formula replaces the likelihood term in Bayes' rule with the maximal likelihood of the given signal conditional on the state. We show that CML satisfies a new axiom, increased sensitivity after updating, while other updating rules do not. With CML, a decision maker's posterior is unaffected by the order in which independent signals arrive. CML also accommodates recent experimental findings on updating signals of unknown accuracy and has simple predictions on learning with such signals. We show that an information designer can almost achieve her maximal payoff with a suitable ambiguous information structure whenever the agent updates according to CML.


title: Computing the nc-rank via discrete convex optimization on CAT(0) spaces

abstract: In this paper, we address the noncommutative rank (nc-rank) computation of a linear symbolic matrix \[ A = A_1 x_1 + A_2 x_2 + \cdots + A_m x_m, \] where each $A_i$ is an $n \times n$ matrix over a field $\mathbb{K}$, and $x_i$ $(i=1,2,\ldots,m)$ are noncommutative variables. For this problem, polynomial time algorithms were given by Garg, Gurvits, Oliveira, and Wigderson for $\mathbb{K} = \mathbb{Q}$, and by Ivanyos, Qiao, and Subrahmanyam for an arbitrary field $\mathbb{K}$. We present a significantly different polynomial time algorithm that works on an arbitrary field $\mathbb{K}$. Our algorithm is based on a combination of submodular optimization on modular lattices and convex optimization on CAT(0) spaces.


title: Spherical geometry -- a survey on width and thickness of convex bodies

abstract: We present a survey article about the geometry of convex bodies on the $d$-dimensional sphere $S^d$. We concentrate on the results based on the notion of the width of a convex body $C \subset S^d$ determined by a supporting hemisphere of $C$. Important tools are the lunes containing $C$. The supporting hemispheres take over the role of the supporting half-spaces of a convex body in Euclidean space, and lunes the role of strips. Also essential is the notion of thickness of $C$, i.e, its minimum width. In particular, we describe properties of reduced spherical convex bodies and spherical bodies of constant width. The last notion coincides with the notions of complete bodies and bodies of constant diameter on $S^d$. The reminded and commented here results concern mostly the width, thickness, diameter, perimeter, area and extreme points of spherical convex bodies, reduced bodies and bodies of constant width.


title: Successive Estimations of Bilateral Bounds and Trapping/Stability Regions of Solution to Some Nonlinear Non-autonomous Systems

abstract: Estimation of the degree of stability and the bounds of solutions to non-autonomous nonlinear systems present major concerns in numerous applied problems. Yet, current techniques are frequently yield overconservative conditions which are unable to effectively gage these characteristics in time-varying nonlinear systems. This paper develops a novel methodology providing successive approximations to solutions that are stemmed from the trapping and stability regions of these systems and estimate the errors of such approximations. In turn, this leads to successive approximations of both the bilateral bounds of solutions and the boundaries of trapping and stability regions of the underlying systems. Along these lines we formulate enhanced stability and boundedness criteria and contrast our inferences with inclusive simulations.


title: Inverse scattering transform and multiple high-order pole solutions for the Gerdjikov-Ivanov equation under the zero/nonzero background

abstract: In this article, the inverse scattering transform is considered for the Gerdjikov-Ivanov equation with zero and non-zero boundary conditions by a matrix Riemann-Hilbert (RH) method. The formula of the soliton solutions are established by Laurent expansion to the RH problem. The method we used is different from computing solution with simple poles since the residue conditions here are hard to obtained. The formula of multiple soliton solutions with one high-order pole and $N$ multiple high-order poles are obtained respectively. The dynamical properties and characteristic for the high-order pole solutions are further analyzed.


title: Primitivity index bounds in free groups, and the second Chebyshev function

abstract: Motivated by results about "untangling" closed curves on hyperbolic surfaces, Gupta and Kapovich introduced the primitivity and simplicity index functions for finitely generated free groups, $d_{prim}(g;F_N)$ and $d_{simp}(g;F_N)$, where $1\ne g\in F_N$, and obtained some upper and lower bounds for these functions. In this paper, we study the behavior of the sequence $d_{prim}(a^nb^n; F(a,b))$ as $n\to\infty$. Answering a question of Kapovich, we prove that this sequence is unbounded and that for $n_i=lcm(1,2,\dots,i)$, we have $|d_{prim}(a^{n_i}b^{n_i}; F(a,b))-\log(n_i)|\le o(\log(n_i))$. By contrast, we show that for all $n\ge 2$, one has $d_{simp}(a^nb^n; F(a,b))=2$. In addition to topological and group-theoretic arguments, number-theoretic considerations, particularly the use of asymptotic properties of the second Chebyshev function, turn out to play a key role in the proofs.


title: Distribution Dependent Stochastic Differential Equations

abstract: Due to their intrinsic link with nonlinear Fokker-Planck equations and many other applications, distribution dependent stochastic differential equations (DDSDEs for short) have been intensively investigated. In this paper we summarize some recent progresses in the study of DDSDEs, which include the correspondence of weak solutions and nonlinear Fokker-Planck equations, the well-posedness, regularity estimates, exponential ergodicity, long time large deviations, and comparison theorems.


title: Negative votes to depolarize politics

abstract: The controversies around the 2020 US presidential elections certainly casts serious concerns on the efficiency of the current voting system in representing the people's will. Is the naive Plurality voting suitable in an extremely polarized political environment? Alternate voting schemes are gradually gaining public support, wherein the voters rank their choices instead of just voting for their first preference. However they do not capture certain crucial aspects of voter preferences like disapprovals and negativities against candidates. I argue that these unexpressed negativities are the predominant source of polarization in politics. I propose a voting scheme with an explicit expression of these negative preferences, so that we can simultaneously decipher the popularity as well as the polarity of each candidate. The winner is picked by an optimal tradeoff between the most popular and the least polarizing candidate. By penalizing the candidates for their polarization, we can discourage the divisive campaign rhetorics and pave way for potential third party candidates.


title: Locally Persistent Exploration in Continuous Control Tasks with Sparse Rewards

abstract: A major challenge in reinforcement learning is the design of exploration strategies, especially for environments with sparse reward structures and continuous state and action spaces. Intuitively, if the reinforcement signal is very scarce, the agent should rely on some form of short-term memory in order to cover its environment efficiently. We propose a new exploration method, based on two intuitions: (1) the choice of the next exploratory action should depend not only on the (Markovian) state of the environment, but also on the agent's trajectory so far, and (2) the agent should utilize a measure of spread in the state space to avoid getting stuck in a small region. Our method leverages concepts often used in statistical physics to provide explanations for the behavior of simplified (polymer) chains in order to generate persistent (locally self-avoiding) trajectories in state space. We discuss the theoretical properties of locally self-avoiding walks and their ability to provide a kind of short-term memory through a decaying temporal correlation within the trajectory. We provide empirical evaluations of our approach in a simulated 2D navigation task, as well as higher-dimensional MuJoCo continuous control locomotion tasks with sparse rewards.


title: Non-thermalized Dynamics of Flat-Band Many-Body Localization

abstract: We find that a flat-band fermion system with interactions and without disorders exhibits non-thermalized ergodicity-breaking dynamics, an analog of many-body localization (MBL). In the previous works, we observed flat-band many-body localization (FMBL) in the Creutz ladder model. The origin of FMBL is a compact localized state governed by local integrals of motion (LIOMs), which are to be obtained explicitly. In this work, we clarify the dynamical aspects of FMBL. We first study dynamics of two-particles, and find that the states are not substantially modified by weak interactions, but the periodic time evolution of entanglement entropy emerges as a result of a specific mechanism inherent in the system. On the other hand, as the strength of the interactions is increased, the modification of the states takes place with inducing instability of the LIOMs. Furthermore, many-body dynamics of the system at finite fillings is numerically investigated by time-evolving block decimation (TEBD) method. For a suitable choice of the filling, non-thermal and low entangled dynamics appears. This behavior is a typical example of the disorder-free FMBL.


title: Moduli of Admissible Pairs for Arbitrary Dimension, II: Functors and Moduli

abstract: Admissible pairs $((\widetilde S, \widetilde L), \widetilde E)$ consisting of an $N$-dimensional projective scheme~$\widetilde S$ of certain class with a special ample invertible sheaf $\widetilde L$ and a locally free ${\cal O}_{\widetilde S}$-sheaf $\widetilde E$ are considered. An admissible pair can be produced in the procedure of a transformation (which is called a resolution) of a torsion-free coherent sheaf $E$ on a nonsingular $N$-dimensional projective algebraic variety $S$ to a locally free sheaf $\widetilde E$ on some projective scheme $\widetilde S$. Notions of stability and semistability of admissible pairs and a moduli functor for semistable admissible pairs are introduced. Also the relation of the stability and semistability for admissible pairs to the classical stability and semistability for coherent sheaves under the resolution is examined. Morphisms between the moduli functor of admissible semistable pairs and the Gieseker--Maruyama moduli functor (of semistable coherent torsion-free sheaves) with the same Hilbert polynomial on a nonsingular $N$-dimensional projective algebraic variety are constructed. Examining these morphisms it is shown that the moduli scheme for semistable admissible pairs $((\widetilde S, \widetilde L), \widetilde E)$ is isomorphic to the Gieseker--Maruyama moduli scheme for coherent sheaves. The considerations involve all the existing components of these moduli functors and of their corresponding moduli schemes. Bibliography: 25 items.


title: On the growth of the wallpaper groups

abstract: We develop further Cannon's method of cone types for finding the growth function of a group, which can also be used to find the coordination sequences of certain infinite graphs. We then apply this method to compute the growth functions and series of the wallpaper groups (the 2 dimensional crystallographic groups). The paper has a number of illustrating colored figures and tables summarizing the results.


title: Coarse to Fine: Multi-label Image Classification with Global/Local Attention

abstract: In our daily life, the scenes around us are always with multiple labels especially in a smart city, i.e., recognizing the information of city operation to response and control. Great efforts have been made by using Deep Neural Networks to recognize multi-label images. Since multi-label image classification is very complicated, people seek to use the attention mechanism to guide the classification process. However, conventional attention-based methods always analyzed images directly and aggressively. It is difficult for them to well understand complicated scenes. In this paper, we propose a global/local attention method that can recognize an image from coarse to fine by mimicking how human-beings observe images. Specifically, our global/local attention method first concentrates on the whole image, and then focuses on local specific objects in the image. We also propose a joint max-margin objective function, which enforces that the minimum score of positive labels should be larger than the maximum score of negative labels horizontally and vertically. This function can further improve our multi-label image classification method. We evaluate the effectiveness of our method on two popular multi-label image datasets (i.e., Pascal VOC and MS-COCO). Our experimental results show that our method outperforms state-of-the-art methods.


title: Analyzing Age of Information in Multiaccess Networks by Fluid Limits

abstract: In this paper, we adopt the fluid limits to analyze Age of Information (AoI) in a wireless multiaccess network with many users. We consider the case wherein users have heterogeneous i.i.d. channel conditions and the statuses are generate-at-will. Convergence of the AoI occupancy measure to the fluid limit, represented by a Partial Derivative Equation (PDE), is proved within an approximation error inversely proportional to the number of users. Global convergence to the equilibrium of the PDE, i.e., stationary AoI distribution, is also proved. Based on this framework, it is shown that an existing AoI lower bound in the literature is in fact asymptotically tight, and a simple threshold policy, with the thresholds explicitly derived, achieves the optimum asymptotically. The proposed threshold-based policy is also much easier to decentralize than the widely-known index-based policies which require comparing user indices. To showcase the usability of the framework, we also use it to analyze the average non-linear AoI functions (with power and logarithm forms) in wireless networks. Again, explicit optimal threshold-based policies are derived, and average age functions proven. Simulation results show that even when the number of users is limited, e.g., $10$, the proposed policy and analysis are still effective.