title: A decade of movement ecology

abstract: Movement is fundamental to life, shaping population dynamics, biodiversity patterns, and ecosystem structure. Recent advances in tracking technology have enabled fundamental questions about movement to be tackled, leading to the development of the movement ecology framework (MEF), considered a milestone in the field [1]. The MEF introduced an integrative theory of organismal movement, linking internal state, motion capacity and navigation capacity to external factors. Here, a decade later, we investigated the current state of research in the field. Using a text mining approach on >8000 peer-reviewed papers in movement ecology, we explored the main research topics, evaluated the impact of the MEF, and assessed changes in the use of technological devices, software and statistical methods. The number of publications has increased considerably and there have been major technological changes in the past decade (i.e.~increased use of GPS devices, accelerometers and video cameras, and a convergence towards R), yet we found that research focuses on the same questions, specifically, on the effect of environmental factors on movement and behavior. In practice, it appears that movement ecology research does not reflect the MEF. We call on researchers to transform the field from technology-driven to embrace interdisciplinary collaboration, in order to reveal key processes underlying movement (e.g.~navigation), as well as evolutionary, physiological and life-history consequences of particular strategies.


title: Global Short-Term Forecasting of Covid-19 Cases

abstract: The continuously growing number of COVID-19 cases pressures healthcare services worldwide. Accurate short-term forecasting is thus vital to support country-level policy making. The strategies adopted by countries to combat the pandemic vary, generating different uncertainty levels about the actual number of cases. Accounting for the hierarchical structure of the data and accommodating extra-variability is therefore fundamental. We introduce a new modelling framework to describe the course of the pandemic with great accuracy, and provide short-term daily forecasts for every country in the world. We show that our model generates highly accurate forecasts up to six days ahead, and use estimated model components to cluster countries based on recent events. We introduce statistical novelty in terms of modelling the autoregressive parameter as a function of time, increasing predictive power and flexibility to adapt to each country. Our model can also be used to forecast the number of deaths, study the effects of covariates (such as lockdown policies), and generate forecasts for smaller regions within countries. Consequently, it has strong implications for global planning and decision making. We constantly update forecasts and make all results freely available to any country in the world through an online Shiny dashboard.


title: Approximating the Ideal Observer for joint signal detection and localization tasks by use of supervised learning methods

abstract: Medical imaging systems are commonly assessed and optimized by use of objective measures of image quality (IQ). The Ideal Observer (IO) performance has been advocated to provide a figure-of-merit for use in assessing and optimizing imaging systems because the IO sets an upper performance limit among all observers. When joint signal detection and localization tasks are considered, the IO that employs a modified generalized likelihood ratio test maximizes observer performance as characterized by the localization receiver operating characteristic (LROC) curve. Computations of likelihood ratios are analytically intractable in the majority of cases. Therefore, sampling-based methods that employ Markov-Chain Monte Carlo (MCMC) techniques have been developed to approximate the likelihood ratios. However, the applications of MCMC methods have been limited to relatively simple object models. Supervised learning-based methods that employ convolutional neural networks have been recently developed to approximate the IO for binary signal detection tasks. In this paper, the ability of supervised learning-based methods to approximate the IO for joint signal detection and localization tasks is explored. Both background-known-exactly and background-known-statistically signal detection and localization tasks are considered. The considered object models include a lumpy object model and a clustered lumpy model, and the considered measurement noise models include Laplacian noise, Gaussian noise, and mixed Poisson-Gaussian noise. The LROC curves produced by the supervised learning-based method are compared to those produced by the MCMC approach or analytical computation when feasible. The potential utility of the proposed method for computing objective measures of IQ for optimizing imaging system performance is explored.


title: A frame semantics based approach to comparative study of digitized corpus

abstract: in this paper, we present a corpus linguistics based approach applied to analyzing digitized classical multilingual novels and narrative texts, from a semantic point of view. Digitized novels such as "the hobbit (Tolkien J. R. R., 1937)" and "the hound of the Baskervilles (Doyle A. C. 1901-1902)", which were widely translated to dozens of languages, provide rich materials for analyzing languages differences from several perspectives and within a number of disciplines like linguistics, philosophy and cognitive science. Taking motion events conceptualization as a case study, this paper, focus on the morphologic, syntactic, and semantic annotation process of English-Arabic aligned corpus created from a digitized novels, in order to re-examine the linguistic encodings of motion events in English and Arabic in terms of Frame Semantics. The present study argues that differences in motion events conceptualization across languages can be described with frame structure and frame-to-frame relations.


title: Design and Implementation of a Virtual 3D Educational Environment to improve Deaf Education

abstract: Advances in NLP, knowledge representation and computer graphic technologies can provide us insights into the development of educational tool for Deaf people. Actual education materials and tools for deaf pupils present several problems, since textbooks are designed to support normal students in the classroom and most of them are not suitable for people with hearing disabilities. Virtual Reality (VR) technologies appear to be a good tool and a promising framework in the education of pupils with hearing disabilities. In this paper, we present a current research tasks surrounding the design and implementation of a virtual 3D educational environment based on X3D and H-Anim standards. The system generates and animates automatically Sign language sentence from a semantic representation that encode the whole meaning of the Arabic input text. Some aspects and issues in Sign language generation will be discussed, including the model of Sign representation that facilitate reuse and reduces the time of Sign generation, conversion of semantic components to sign features representation with regard to Sign language linguistics characteristics and how to generate realistic smooth gestural sequences using X3D content to performs transition between signs for natural-looking of animated avatar. Sign language sentences were evaluated by Algerian native Deaf people. The goal of the project is the development of a machine translation system from Arabic to Algerian Sign Language that can be used as educational tool for Deaf children in algerian primary schools.


title: Overview of Scanner Invariant Representations

abstract: Pooled imaging data from multiple sources is subject to bias from each source. Studies that do not correct for these scanner/site biases at best lose statistical power, and at worst leave spurious correlations in their data. Estimation of the bias effects is non-trivial due to the paucity of data with correspondence across sites, so called "traveling phantom" data, which is expensive to collect. Nevertheless, numerous solutions leveraging direct correspondence have been proposed. In contrast to this, Moyer et al. (2019) proposes an unsupervised solution using invariant representations, one which does not require correspondence and thus does not require paired images. By leveraging the data processing inequality, an invariant representation can then be used to create an image reconstruction that is uninformative of its original source, yet still faithful to the underlying structure. In the present abstract we provide an overview of this method.


title: First passage time distribution of active thermal particles in potentials

abstract: We introduce a perturbative method to calculate all moments of the first-passage time distribution in stochastic one-dimensional processes which are subject to both white and coloured noise. This class of non-Markovian processes is at the centre of the study of thermal active matter, that is self-propelled particles subject to diffusion. The perturbation theory about the Markov process considers the effect of self-propulsion to be small compared to that of thermal fluctuations. To illustrate our method, we apply it to the case of active thermal particles (i) in a harmonic trap (ii) on a ring. For both we calculate the first-order correction of the moment-generating function of first-passage times, and thus to all its moments. Our analytical results are compared to numerics.


title: Recovery of a Time-Dependent Bottom Topography Function from the Shallow Water Equations via an Adjoint Approach

abstract: We develop an adjoint approach for recovering the topographical function included in the source term of one-dimensional hyperbolic balance laws. We focus on a specific system, namely the shallow water equations, in an effort to recover the riverbed topography. The novelty of this work is the ability to robustly recover the bottom topography using only noisy boundary data from one measurement event and the inclusion of two regularization terms in the iterative update scheme. The adjoint scheme is determined from a linearization of the forward system and is used to compute the gradient of a cost function. The bottom topography function is recovered through an iterative process given by a three-operator splitting method which allows the feasibility to include two regularization terms. Numerous numerical tests demonstrate the robustness of the method regardless of the choice of initial guess and in the presence of discontinuities in the solution of the forward problem.


title: 3d Mirror Symmetry and Quantum $K$-theory of Hypertoric Varieties

abstract: Following the idea of Aganagic--Okounkov \cite{AOelliptic}, we study vertex functions for hypertoric varieties, defined by $K$-theoretic counting of quasimaps from $\mathbb{P}^1$. We prove the 3d mirror symmetry statement that the two sets of $q$-difference equations of a 3d hypertoric mirror pairs are equivalent to each other, with K\"ahler and equivariant parameters exchanged, and the opposite choice of polarization. Vertex functions of a 3d mirror pair, as solutions to the $q$-difference equations, satisfying particular asymptotic conditions, are related by the elliptic stable envelopes. Various notions of quantum $K$-theory for hypertoric varieties are also discussed.


title: Constructing Explainable Opinion Graphs from Review

abstract: The Web is a major resource of both factual and subjective information. While there are significant efforts to organize factual information into knowledge bases, there is much less work on organizing opinions, which are abundant in subjective data, into a structured format. We present ExplainIt, a system that extracts and organizes opinions into an opinion graph, which are useful for downstream applications such as generating explainable review summaries and facilitating search over opinion phrases. In such graphs, a node represents a set of semantically similar opinions extracted from reviews and an edge between two nodes signifies that one node explains the other. ExplainIt mines explanations in a supervised method and groups similar opinions together in a weakly supervised way before combining the clusters of opinions together with their explanation relationships into an opinion graph. We experimentally demonstrate that the explanation relationships generated in the opinion graph are of good quality and our labeled datasets for explanation mining and grouping opinions are publicly available.


title: Three generations of stars: a possible case of triggered star formation

abstract: Evidence for triggered star formation linking three generations of stars is difficult to assemble, as it requires convincingly associating evolved massive stars with Hii regions that, in turn, would need to present signs of active star formation. We present observational evidence for triggered star formation relating three generations of stars in the neighbourhood of the star LS II +26 8. We carried out new spectroscopic observations of LS II +26 8, revealing that it is a B0 III-type star. We note that LS II +26 8 is located exactly at the geometric centre of a semi-shell-like Hii region complex. The most conspicuous component of this complex is the Hii region Sh2-90, which is probably triggering a new generation of stars. The distances to LS II +26 8 and to Sh2-90 are in agreement (between 2.6 and 3 kpc). Analysis of the interstellar medium on a larger spatial scale shows that Hii region complex lies on the northwestern border of an extended H2 shell. The radius of this molecular shell is about 13 pc, which is in agreement with what an O9V star (the probable initial spectral type of LS II +26 8 as inferred from evolutive tracks) can generate through its winds in the molecular environment. In conclusion, the spatial and temporal correspondences derived in our analysis enable us to propose a probable triggered star formation scenario initiated by the evolved massive star LS II +26 8 during its main sequence stage, followed by stars exciting the Hii region complex formed in the molecular shell, and culminating in the birth of YSOs around Sh2-90.


title: Factorization length distribution for affine semigroups III: modular equidistribution for numerical semigroups with arbitrarily many generators

abstract: For numerical semigroups with a specified list of (not necessarily minimal) generators, we describe the asymptotic distribution of factorization lengths with respect to an arbitrary modulus. In particular, we prove that the factorization lengths are equidistributed across all congruence classes that are not trivially ruled out by modular considerations.


title: Stick-Slip model for actin-driven cell protrusions, cell polarisation and crawling

abstract: Cell crawling requires the generation of intracellular forces by the cytoskeleton and their transmission to an extracellular substrate through specific adhesion molecules. Crawling cells show many features of excitable systems, such as spontaneous symmetry breaking and crawling in the absence of external cues, and periodic and propagating waves of activity. Mechanical instabilities in the active cytoskeleton network and feedback loops in the biochemical network of activators and repressors of cytoskeleton dynamics have been invoked to explain these dynamical features. Here, we show that the interplay between the dynamics of cell-substrate adhesion and linear cellular mechanics is sufficient to reproduce many non-linear dynamical patterns observed in spreading and crawling cells. Using an analytical formalism of the molecular clutch model of cell adhesion, regulated by local mechanical forces, we show that cellular traction forces exhibit a stick-slip dynamics resulting in periodic waves of protrusion/retraction and propagating waves along the cell edge. This can explain spontaneous symmetry breaking and polarisation of spreading cells, leading to steady crawling or bipedal motion, and bistability, where persistent cell motion requires a sufficiently strong transient external stimulus. The model also highlight the role of membrane tension in providing the long-range mechanical communication across the cell required for symmetry breaking.


title: Machine Learning Fund Categorizations

abstract: Given the surge in popularity of mutual funds (including exchange-traded funds (ETFs)) as a diversified financial investment, a vast variety of mutual funds from various investment management firms and diversification strategies have become available in the market. Identifying similar mutual funds among such a wide landscape of mutual funds has become more important than ever because of many applications ranging from sales and marketing to portfolio replication, portfolio diversification and tax loss harvesting. The current best method is data-vendor provided categorization which usually relies on curation by human experts with the help of available data. In this work, we establish that an industry wide well-regarded categorization system is learnable using machine learning and largely reproducible, and in turn constructing a truly data-driven categorization. We discuss the intellectual challenges in learning this man-made system, our results and their implications.


title: A Windowed Green Function method for elastic scattering problems on a half-space

abstract: This paper presents a windowed Green function (WGF) method for the numerical solution of problems of elastic scattering by "locally-rough surfaces" (i.e., local perturbations of a half space), under either Dirichlet or Neumann boundary conditions, and in both two and three spatial dimensions. The proposed WGF method relies on an integral-equation formulation based on the free-space Green function, together with smooth operator windowing (based on a "slow-rise" windowing function) and efficient high-order singular-integration methods. The approach avoids the evaluation of the expensive layer Green function for elastic problems on a half-space, and it yields uniformly fast convergence for all incident angles. Numerical experiments for both two and three dimensional problems are presented, demonstrating the accuracy and super-algebraically fast convergence of the proposed method as the window-size grows.


title: On Regularizability and its Application to Online Control of Unstable LTI Systems

abstract: Learning, say through direct policy updates, often requires assumptions such as knowing a priori that the initial policy (gain) is stabilizing, or persistently exciting (PE) input-output data, is available. In this paper, we examine online regulation of (possibly unstable) partially unknown linear systems with no prior access to an initial stabilizing controller nor PE input-output data; we instead leverage the knowledge of the input matrix for online regulation. First, we introduce and characterize the notion of "regularizability" for linear systems that gauges the extent by which a system can be regulated in finite-time in contrast to its asymptotic behavior (commonly characterized by stabilizability/controllability). Next, having access only to the input matrix, we propose the Data-Guided Regulation (DGR) synthesis procedure that -- as its name suggests -- regulates the underlying state while also generating informative data that can subsequently be used for data-driven stabilization or system identification. We further improve the computational performance of DGR via a rank-one update and demonstrate its utility in online regulation of the X-29 aircraft.


title: Position Sensitive Response of a Single-Pixel Large-Area SNSPD

abstract: Superconducting nanowire single photon detectors (SNSPDs) are typically used as single-mode-fiber-coupled single-pixel detectors, but large area detectors are increasingly critical for applications ranging from microscopy to free-space quantum communications. Here, we explore changes in the rising edge of the readout pulse for large-area SNSPDs as a function of the bias current, optical spot size on the detector, and number of photons per pulse. We observe a bimodal distribution of rise times and show that the probability of a slow rise time increases in the limit of large spot sizes and small photon number. In the limit of low bias currents, the dark-count readout pulse is most similar to the combined large spot size and small-photon-number bright-count readout pulse. These results are consistent with a simple model of traveling microwave modes excited by single photons incident at varying positions along the length of the nanowire.


title: Automatic Generation of Topic Labels

abstract: Topic modelling is a popular unsupervised method for identifying the underlying themes in document collections that has many applications in information retrieval. A topic is usually represented by a list of terms ranked by their probability but, since these can be difficult to interpret, various approaches have been developed to assign descriptive labels to topics. Previous work on the automatic assignment of labels to topics has relied on a two-stage approach: (1) candidate labels are retrieved from a large pool (e.g. Wikipedia article titles); and then (2) re-ranked based on their semantic similarity to the topic terms. However, these extractive approaches can only assign candidate labels from a restricted set that may not include any suitable ones. This paper proposes using a sequence-to-sequence neural-based approach to generate labels that does not suffer from this limitation. The model is trained over a new large synthetic dataset created using distant supervision. The method is evaluated by comparing the labels it generates to ones rated by humans.


title: Reduction of the Coulomb logarithm due to electron-neutral collisions

abstract: The frictional force (stopping power) acting on a test electron moving through the ideal electron gas is calculated taking into account electron-neutral atom collisions using the linear plasma response formalism. This allows us to elucidate how the effective Coulomb logarithm is affected by electron-neutral collisions. In agreement with a recent investigation by Hagelaar, Donko, and Dyatko [Phys. Rev. Lett. {\bf 123}, 025004 (2019)] we observe that the effective Coulomb logarithm decreases considerably due to electron-neutral collisions and becomes inversely proportional to the collision frequency in the highly collisional limit.


title: Theory and Simulations of condensin mediated loop extrusion in DNA

abstract: Condensation of hundreds of mega-base-pair-long human chromosomes in a small nuclear volume is a spectacular phenomenon. This process is driven by the formation of chromosome loops. ATP consuming motor, condensin, interacts with chromatin segments to actively extrude loops. Motivated by real-time imaging of loop extrusion (LE) and measurements using magnetic tweezer experiments, we created an analytically solvable model, predicting the LE velocity and step size distribution as a function of external load. The theory fits the experimental data quantitatively, and suggests that condensin must undergo a large conformational change, induced by ATP binding, bringing distant parts of the motor to proximity. Simulations using a simple model confirm that the motor transitions between an open to closed state in order to extrude loops by a scrunching mechanism, similar to that proposed in DNA bubble formation during bacterial transcription. Changes in the orientation of the motor domains are transmitted over $\sim$ 50 nm, connecting the motor head and the hinge, thus providing an allosteric basis for LE.


title: Fiducial displacements with improved accuracy for the global network of gravitational wave detectors

abstract: As sensitivities improve and more detectors are added to the global network of gravitational wave observatories, calibration accuracy and precision are becoming increasingly important. Photon calibrators, relying on power-modulated auxiliary laser beams reflecting from suspended interferometer optics, enable continuous calibration by generating displacement fiducials proportional to the modulated laser power. Developments in the propagation of laser power calibration via transfer standards to on-line power sensors monitoring the modulated laser power have enabled generation of length fiducials with improved accuracy. Estimated uncertainties are almost a factor of two smaller than the lowest values previously reported. This is partly due to improvements in methodology that have increased confidence in the results reported. Referencing the laser power calibration standards for each observatory to a single transfer standard enables reducing relative calibration errors between elements of the detector network. Efforts within the national metrology institute community to realize improved laser power sensor calibration accuracy are ongoing.


title: Classical and Quantum Data Interaction in Programming Languages: A Runtime Architecture

abstract: We propose a runtime architecture that can be used in the development of a quantum programming language and its programming environment. The proposed runtime architecture enables dynamic interaction between classical and quantum data following the restriction that a quantum computer is available in the cloud as a batch computer, with no interaction with the classical computer during its execution. It is done by leaving the quantum code generation for the runtime and introducing the concept of futures for quantum measurements. When implemented in a quantum programming language, those strategies aim to facilitate the development of quantum applications, especially for beginning programmers and students. Being suitable for the current Noisy Intermediate-Scale Quantum (NISQ) Computers, the runtime architecture is also appropriate for simulation and future Fault-Tolerance Quantum Computers.


title: Extensions of C*-algebas by a small ideal

abstract: We classify all essential extensions of the form $$0 \rightarrow \W \rightarrow \D \rightarrow A \rightarrow 0$$ where $\W$ is the unique separable simple C*-algebra with a unique tracial state, with finite nuclear dimension and with $K_i(\W)=\{0\}$ ($i=0,1$) which satisfies the Universal Coefficient theorem (UCT), and $A$ is a separable amenable $\W$-embeddable C*-algebra which satisfies the UCT. We actually prove more general results. We also classify a class of amenable \CA s which have only one proper closed ideal $\W.$


title: Vortex metrology using circular and elliptical Laguerre Gauss kernels

abstract: We propose a generalization of the Laguerre Gauss Transform to include elliptical kernels in vortices metrology. To that end, we broaden the original pseudo field obtained using Laguerre Gauss Transform (LGT) that usually includes circularly a symmetric Gaussian core to include two parameters, the widths of the Gaussian filter in two perpendicular directions, thus generating a family of slightly elliptical kernels. This permits the generation of a family of very close vortices that improves the identification of homologous ones and the precision and locality of the measurements. We show examples with laser generated speckle and in ultrasound images.


title: On the asymptotic dynamics of 2-D magnetic quantum systems

abstract: In this work we provide results on the long time localisation in space (dynamical localisation) of certain two-dimensional magnetic quantum systems. The underlying Hamiltonian may have the form $H=H_0+W$, where $H_0$ is rotationally symmetric, has dense point spectrum, and $W$ is a perturbation that breaks the rotational symmetry. In the latter case, we also give estimates for the growth of the angular momentum operator in time.


title: Continuous Time Individual-Level Models of Infectious Disease: a Package EpiILMCT

abstract: This paper describes the R package EpiILMCT, which allows users to study the spread of infectious disease using continuous time individual level models (ILMs). The package provides tools for simulation from continuous time ILMs that are based on either spatial demographic, contact network, or a combination of both of them, and for the graphical summarization of epidemics. Model fitting is carried out within a Bayesian Markov Chain Monte Carlo (MCMC) framework. The continuous time ILMs can be implemented within either susceptible-infected-removed (SIR) or susceptible-infected-notified-removed (SINR) compartmental frameworks. As infectious disease data is often partially observed, data uncertainties in the form of missing infection times - and in some situations missing removal times - are accounted for using data augmentation techniques. The package is illustrated using both simulated and an experimental data set on the spread of the tomato spotted wilt virus (TSWV) disease.


title: Quasiparticles and Band Transport in Organized Nanostructures of Donor-Acceptor Copolymers

abstract: The performance of organic semiconductor devices is linked to highly-ordered nanostructures of self-assembled molecules and polymers. We employ many-body perturbation theory and study the excited states in bulk compolymers. We discover that acceptors in the polymer scaffold introduce a, hitherto unrecognized, conduction impurity band. The donor units are surrounded by conjugated bands which are only mildly perturbed by the presence of acceptors. Along the polymer axis, mutual interactions among copolymer strands hinder efficient band transport, which is, however, strongly enhanced across individual chains. We find that holes are most effectively transported in the $\pi-\pi$ stacking while electrons in the impurity band follow the edge-to-edge directions. The copolymers exhibit regions with inverted transport polarity, in which electrons and holes are efficiently transported in mutually orthogonal directions.


title: A P-adic structure which does not interpret an infinite field but whose Shelah completion does

abstract: We give a $p$-adic example of a structure whose Shelah completion interprets $\mathbb{Q}_p$ but which does not (provided an extremely plausible conjecture holds) interpret an infinite field. In the final section we discuss the significance of such examples for a possible future geometric theory of $\mathrm{NIP}$ structures.


title: High voltage carbon-based cathodes for non-aqueous aluminium-ion batteries

abstract: Four different forms of carbon: activated carbon (AC) from human hair, AC from hemp fibers, a carbon fullerene extract consisting of C$_{60}$ and C$_{70}$ fullerene (CFEx) and Super-P carbon black were tested and compared as cathodes for non-aqueous aluminium-ion batteries (AIBs). These materials differ in their general structure, porosity and morphology. Fullerenes display a crystalline structure, whereas hemp fibers, Super-P and hair are amorphous in nature. Of all materials, AC obtained from hair recorded the highest specific capacity after 50 cycles at 103 mAh g$^{-1}$ with a Coulombic efficiency of $\sim$90% at a current rate of 50 mA g$^{-1}$. Both hemp fibers and Super-P achieved their highest specific capacities at 56 mAh g$^{-1}$ and 84 mAh g$^{-1}$ respectively. CFEx recorded its highest capacity at 78 mAh g$^{-1}$ and maintained it for 50 cycles. The cells were charged and discharged to 2.45 V and 0.2 V respectively.


title: Multi-fidelity machine-learning with uncertainty quantification and Bayesian optimization for materials design: Application to ternary random alloys

abstract: We present a scale-bridging approach based on a multi-fidelity (MF) machine-learning (ML) framework leveraging Gaussian processes (GP) to fuse atomistic computational model predictions across multiple levels of fidelity. Through the posterior variance of the MFGP, our framework naturally enables uncertainty quantification, providing estimates of confidence in the predictions. We used Density Functional Theory as high-fidelity prediction, while a ML interatomic potential is used as the low-fidelity prediction. Practical materials design efficiency is demonstrated by reproducing the ternary composition dependence of a quantity of interest (bulk modulus) across the full aluminum-niobium-titanium ternary random alloy composition space. The MFGP is then coupled to a Bayesian optimization procedure and the computational efficiency of this approach is demonstrated by performing an on-the-fly search for the global optimum of bulk modulus in the ternary composition space. The framework presented in this manuscript is the first application of MFGP to atomistic materials simulations fusing predictions between Density Functional Theory and classical interatomic potential calculations.


title: Citizens at the forefront of the constitutional debate: Participation determinants and emergent content in Chile

abstract: In the past few decades, constitution-making processes have shifted from closed elite writing to incorporating democratic mechanisms. Yet, little is known about democratic participation in deliberative constitution-making processes. Here, we study a deliberative constituent process held by the Chilean government between 2015 and 2016. The Chilean process had the highest level of citizen participation in the world ($204,402$ people, i.e., $1.3\%$ of the population) for such a process and covered $98\%$ of the national territory. In its participatory phase, people gathered in self-convoked groups of 10 to 30 members, and they collectively selected, deliberated, and wrote down an argument on why the new constitution should include those social rights. To understand the citizen participation drivers in this volunteer process, we first identify the determinants at the municipality level. We find the educational level, engagement in politics, support for the (left-wing) government, and Internet access increased participation. In contrast, population density and the share of evangelical Christians decreased participation. Moreover, we do not find evidence of political manipulation on citizen participation. In light of those determinants, we analyze the collective selection of social rights, and the content produced during the deliberative phase. The findings suggest that the knowledge embedded in cities, proxied using education levels and main economic activity, facilitates deliberation about themes, concepts, and ideas. These results can inform the organization of new deliberative processes that involve voluntary citizen participation, from citizen consultations to constitution-making processes.


title: Re-Examining the Evidence of the Hercules-Corona-Borealis Great Wall

abstract: In the {\Lambda}-CDM paradigm of cosmology, anisotropies larger than 260 Mpc shouldn't exist. However, the existence of the Hercules-Corona Borealis Great Wall (HCB) is purported to challenge this principle by some with an estimated size exceeding 2000 Mpc. Recently, some have challenged the assertion of the existence of the HCB, attributing the anisotropy to sky exposure effects. It has never been explained why the original methods purporting the existence of the HCB produce anisotropies, even if sky-exposure effects are taken into account. In this paper, I apply the methods of the original papers purporting the existence of the HCB in various Monte-Carlo simulations that assume isotropy to analyze the empirical meaning of the significance levels of the original tests used. I find that, although the statistical tests at first glance show significant anisotropies present in the suspect sample, Monte-Carlo simulations can easily reproduce the sample in most cases, and if not, the differences can be accounted for by other statistical considerations. An updated sample raises the probability of drawing the observed clustering from an isotropic sample ten-fold in some cases. Thus the statistical tests used in prior studies overestimate the significance of the observed anisotropy, and an updated sample returns even less significant probabilities. Given the ability to reproduce the observed anisotropy in Monte-Carlo simulations, the new, higher probabilities of being drawn from isotropy for an updated sample, and the work of previous papers attributing anisotropies to sky-selection effects, the existence of the HCB must be treated as doubtful at best.


title: A real-time multi-constraints obstacle avoidance method using LiDAR

abstract: Obstacle avoidance is one of the essential and indispensable functions for autonomous mobile robots. Most of the existing solutions are typically based on single condition constraint and cannot incorporate sensor data in a real-time manner, which often fail to respond to unexpected moving obstacles in dynamic unknown environments. In this paper, a novel real-time multi-constraints obstacle avoidance method using Light Detection and Ranging(LiDAR) is proposed, which is able to, based on the latest estimation of the robot pose and environment, find the sub-goal defined by a multi-constraints function within the explored region and plan a corresponding optimal trajectory at each time step iteratively, so that the robot approaches the goal over time. Meanwhile, at each time step, the improved Ant Colony Optimization(ACO) algorithm is also used to re-plan optimal paths from the latest robot pose to the latest defined sub-goal position. While ensuring convergence, planning in this method is done by repeated local optimizations, so that the latest sensor data from LiDAR and derived environment information can be fully utilized at each step until the robot reaches the desired position. This method facilitates real-time performance, also has little requirement on memory space or computational power due to its nature, thus our method has huge potentials to benefit small low-cost autonomous platforms. The method is evaluated against several existing technologies in both simulation and real-world experiments.


title: Deep Fusion Siamese Network for Automatic Kinship Verification

abstract: Automatic kinship verification aims to determine whether some individuals belong to the same family. It is of great research significance to help missing persons reunite with their families. In this work, the challenging problem is progressively addressed in two respects. First, we propose a deep siamese network to quantify the relative similarity between two individuals. When given two input face images, the deep siamese network extracts the features from them and fuses these features by combining and concatenating. Then, the fused features are fed into a fully-connected network to obtain the similarity score between two faces, which is used to verify the kinship. To improve the performance, a jury system is also employed for multi-model fusion. Second, two deep siamese networks are integrated into a deep triplet network for tri-subject (i.e., father, mother and child) kinship verification, which is intended to decide whether a child is related to a pair of parents or not. Specifically, the obtained similarity scores of father-child and mother-child are weighted to generate the parent-child similarity score for kinship verification. Recognizing Families In the Wild (RFIW) is a challenging kinship recognition task with multiple tracks, which is based on Families in the Wild (FIW), a large-scale and comprehensive image database for automatic kinship recognition. The Kinship Verification (track I) and Tri-Subject Verification (track II) are supported during the ongoing RFIW2020 Challenge. Our team (ustc-nelslip) ranked 1st in track II, and 3rd in track I. The code is available at https://github.com/gniknoil/FG2020-kinship.


title: Understanding the Message Passing in Graph Neural Networks via Power Iteration Clustering

abstract: The mechanism of message passing in graph neural networks (GNNs) is still mysterious. Apart from convolutional neural networks, no theoretical origin for GNNs has been proposed. To our surprise, message passing can be best understood in terms of power iteration. By fully or partly removing activation functions and layer weights of GNNs, we propose subspace power iteration clustering (SPIC) models that iteratively learn with only one aggregator. Experiments show that our models extend GNNs and enhance their capability to process random featured networks. Moreover, we demonstrate the redundancy of some state-of-the-art GNNs in design and define a lower limit for model evaluation by a random aggregator of message passing. Our findings push the boundaries of the theoretical understanding of neural networks.


title: Asymptotically stable control problems by infinite horizon optimal control with negative discounting

abstract: In the paper, for the system which possesses both an attractor and a stable fixed point, we first formulate new stable control problems to find the asymptotically stable control function which realizes to transit a state moving around the attractor to the stable fixed point. Then by using the ordinary differential equation based on the infinite horizon optimal control model with negative discounts, we give one of answers for the stable control problem in a two-dimensional case. Furthermore, under some conditions, we verify that the phase space can be separated to some open connected components depending on the asymptotic behavior of the orbit starting from the initial point in their components. This classification of initial points suggests that it is enable to robustly achieve a stable control. Moreover, we illustrate some numerical results for the stable control obtained by applying our focused system for the Bonhoeffer-van der Pol model.


title: Photometrically-corrected global infrared mosaics of Enceladus: New implications for its spectral diversity and geological activity

abstract: Between 2004 and 2017, spectral observations have been gathered by the Visual and Infrared Mapping Spectrometer (VIMS) on-board Cassini (Brown et al., 2004) during 23 Enceladus close encounters, in addition to more distant surveys. The objective of the present study is to produce a global hyperspectral mosaic of the complete VIMS data set of Enceladus in order to highlight spectral variations among the different geological units. This requires the selection of the best observations in terms of spatial resolution and illumination conditions. We have carried out a detailed investigation of the photometric behavior at several key wavelengths (1.35, 1.5, 1.65, 1.8, 2.0, 2.25, 2.55 and 3.6 ${\mu}$m), characteristics of the infrared spectra of water ice. We propose a new photometric function, based on the model of Shkuratov et al. (2011). When combined, corrected mosaics at different wavelengths reveal heterogeneous areas, in particular in the terrains surrounding the Tiger Stripes on the South Pole and in the northern hemisphere around 30{\deg}N, 90{\deg}W. Those areas appear mainly correlated to tectonized units, indicating an endogenous origin, potentially driven by seafloor hotspots.


title: Spiral defect chaos in Rayleigh-B\'enard convection: Asymptotic and numerical studies of azimuthal flows induced by rotating spirals

abstract: Rotating spiral patterns in Rayleigh-B\'enard convection are known to induce azimuthal flows, which raises the question of how different neighboring spirals interact with each other in spiral chaos, and the role of hydrodynamics in this regime. Far from the core, we show that spiral rotations lead to an azimuthal body force that is irrotational and of magnitude proportional to the topological index of the spiral and its angular frequency. The force, although irrotational, cannot be included in the pressure field as it would lead to a nonphysical, multivalued pressure. We calculate the asymptotic dependence of the resulting flow, and show that it leads to a logarithmic dependence of the azimuthal velocity on distance r away from the spiral core in the limit of negligible damping coefficient. This solution dampens to approximately $1/r$ when accounting for no-slip boundary conditions for the convection cell's plate. This flow component can provide additional hydrodynamic interactions among spirals including those observed in spiral defect chaos. We show that the analytic prediction for the azimuthal velocity agrees with numerical results obtained from both two-dimensional generalized Swift-Hohenberg and three-dimensional Boussinesq models, and find that the velocity field is affected by the size and charges of neighboring spirals. Numerically, we identify a correlation between the appearance of spiral defect chaos and the balancing between the mean-flow advection and the diffusive dynamics related to roll unwinding.


title: Topic Detection and Summarization of User Reviews

abstract: A massive amount of reviews are generated daily from various platforms. It is impossible for people to read through tons of reviews and to obtain useful information. Automatic summarizing customer reviews thus is important for identifying and extracting the essential information to help users to obtain the gist of the data. However, as customer reviews are typically short, informal, and multifaceted, it is extremely challenging to generate topic-wise summarization.While there are several studies aims to solve this issue, they are heuristic methods that are developed only utilizing customer reviews. Unlike existing method, we propose an effective new summarization method by analyzing both reviews and summaries.To do that, we first segment reviews and summaries into individual sentiments. As the sentiments are typically short, we combine sentiments talking about the same aspect into a single document and apply topic modeling method to identify hidden topics among customer reviews and summaries. Sentiment analysis is employed to distinguish positive and negative opinions among each detected topic. A classifier is also introduced to distinguish the writing pattern of summaries and that of customer reviews. Finally, sentiments are selected to generate the summarization based on their topic relevance, sentiment analysis score and the writing pattern. To test our method, a new dataset comprising product reviews and summaries about 1028 products are collected from Amazon and CNET. Experimental results show the effectiveness of our method compared with other methods.


title: Dual-energy CT imaging from single-energy CT data with material decomposition convolutional neural network

abstract: Dual-energy computed tomography (DECT) is of great significance for clinical practice due to its huge potential to provide material-specific information. However, DECT scanners are usually more expensive than standard single-energy CT (SECT) scanners and thus are less accessible to undeveloped regions. In this paper, we show that the energy-domain correlation and anatomical consistency between standard DECT images can be harnessed by a deep learning model to provide high-performance DECT imaging from fully-sampled low-energy data together with single-view high-energy data, which can be obtained by using a scout-view high-energy image. We demonstrate the feasibility of the approach with contrast-enhanced DECT scans from 5,753 slices of images of twenty-two patients and show its superior performance on DECT applications. The deep learning-based approach could be useful to further significantly reduce the radiation dose of current premium DECT scanners and has the potential to simplify the hardware of DECT imaging systems and to enable DECT imaging using standard SECT scanners.


title: Random Spatial Forests

abstract: We introduce random spatial forests, a method of bagging regression trees allowing for spatial correlation. Our main contribution is the development of a computationally efficient tree building algorithm which selects each split of the tree adjusting for spatial correlation. We evaluate two different approaches for estimation of random spatial forests, a pseudo-likelihood approach combining random forests with kriging and a non-parametric version for a general class of spatial smoothers. We show improved prediction accuracy of our method compared to existing two-step approaches combining random forests and kriging across a range of numerical simulations and demonstrate its performance on elemental carbon, organic carbon, silicon, and sulfur measurements across the continental United States from 2009-2010.


title: Discrete Signaling and Treating Interference as Noise for the Gaussian Interference Channel

abstract: The two-user Gaussian interference channel (G-IC) is revisited, with a particular focus on practically amenable discrete input signalling and treating interference as noise (TIN) receivers. The corresponding deterministic interference channel (D-IC) is first investigated and coding schemes that can achieve the entire capacity region of D-IC under TIN are proposed. These schemes are then systematically translate into multi-layer superposition coding schemes based on purely discrete inputs for the real-valued G-IC. Our analysis shows that the proposed scheme is able to achieve the entire capacity region to within a constant gap for all channel parameters. To the best of our knowledge, this is the first constant-gap result under purely discrete signalling and TIN for the entire capacity region and all the interference regimes. Furthermore, the approach is extended to obtain coding scheme based on discrete inputs for the complex-valued G-IC. For such a scenario, the minimum distance and the achievable rate of the proposed scheme under TIN are analyzed, which takes into account the effects of random phase rotations introduced by the channels. Simulation results show that our scheme is capable of approaching the capacity region of the complex-valued G-IC and significantly outperforms Gaussian signalling with TIN in various interference regimes.


title: An Analytical Formula for Spectrum Reconstruction

abstract: We study the spectrum reconstruction technique. As is known to all, eigenvalues play an important role in many research fields and are foundation to many practical techniques such like PCA(Principal Component Analysis). We believe that related algorithms should perform better with more accurate spectrum estimation. There was an approximation formula proposed, however, they didn't give any proof. In our research, we show why the formula works. And when both number of features and dimension of space go to infinity, we find the order of error for the approximation formula, which is related to a constant $c$-the ratio of dimension of space and number of features.


title: Minimum 0-Extension Problems on Directed Metrics

abstract: For a metric $\mu$ on a finite set $T$, the minimum 0-extension problem 0-Ext$[\mu]$ is defined as follows: Given $V\supseteq T$ and $\ c:{V \choose 2}\rightarrow \mathbf{Q_+}$, minimize $\sum c(xy)\mu(\gamma(x),\gamma(y))$ subject to $\gamma:V\rightarrow T,\ \gamma(t)=t\ (\forall t\in T)$, where the sum is taken over all unordered pairs in $V$. This problem generalizes several classical combinatorial optimization problems such as the minimum cut problem or the multiterminal cut problem. Karzanov and Hirai established a complete classification of metrics $\mu$ for which 0-Ext$[\mu]$ is polynomial time solvable or NP-hard. This result can also be viewed as a sharpening of the general dichotomy theorem for finite-valued CSPs (Thapper and \v{Z}ivn\'{y} 2016) specialized to 0-Ext$[\mu]$. In this paper, we consider a directed version $\overrightarrow{0}$-Ext$[\mu]$ of the minimum 0-extension problem, where $\mu$ and $c$ are not assumed to be symmetric. We extend the NP-hardness condition of 0-Ext$[\mu]$ to $\overrightarrow{0}$-Ext$[\mu]$: If $\mu$ cannot be represented as the shortest path metric of an orientable modular graph with an orbit-invariant ``directed'' edge-length, then $\overrightarrow{0}$-Ext$[\mu]$ is NP-hard. We also show a partial converse: If $\mu$ is a directed metric of a modular lattice with an orbit-invariant directed edge-length, then $\overrightarrow{0}$-Ext$[\mu]$ is tractable. We further provide a new NP-hardness condition characteristic of $\overrightarrow{0}$-Ext$[\mu]$, and establish a dichotomy for the case where $\mu$ is a directed metric of a star.


title: Challenge report: Recognizing Families In the Wild Data Challenge

abstract: This paper is a brief report to our submission to the Recognizing Families In the Wild Data Challenge (4th Edition), in conjunction with FG 2020 Forum. Automatic kinship recognition has attracted many researchers' attention for its full application, but it is still a very challenging task because of the limited information that can be used to determine whether a pair of faces are blood relatives or not. In this paper, we studied previous methods and proposed our method. We try many methods, like deep metric learning-based, to extract deep embedding feature for every image, then determine if they are blood relatives by Euclidean distance or method based on classes. Finally, we find some tricks like sampling more negative samples and high resolution that can help get better performance. Moreover, we proposed a symmetric network with a binary classification based method to get our best score in all tasks.


title: Joint Person Objectness and Repulsion for Person Search

abstract: Person search targets to search the probe person from the unconstrainted scene images, which can be treated as the combination of person detection and person matching. However, the existing methods based on the Detection-Matching framework ignore the person objectness and repulsion (OR) which are both beneficial to reduce the effect of distractor images. In this paper, we propose an OR similarity by jointly considering the objectness and repulsion information. Besides the traditional visual similarity term, the OR similarity also contains an objectness term and a repulsion term. The objectness term can reduce the similarity of distractor images that not contain a person and boost the performance of person search by improving the ranking of positive samples. Because the probe person has a different person ID with its \emph{neighbors}, the gallery images having a higher similarity with the \emph{neighbors of probe} should have a lower similarity with the probe person. Based on this repulsion constraint, the repulsion term is proposed to reduce the similarity of distractor images that are not most similar to the probe person. Treating the Faster R-CNN as the person detector, the OR similarity is evaluated on PRW and CUHK-SYSU datasets by the Detection-Matching framework with six description models. The extensive experiments demonstrate that the proposed OR similarity can effectively reduce the similarity of distractor samples and further boost the performance of person search, e.g., improve the mAP from 92.32% to 93.23% for CUHK-SYSY dataset, and from 50.91% to 52.30% for PRW datasets.


title: Nonlinear Virtual Inertia Control of WTGs for Enhancing Primary Frequency Response and Suppressing Drive-Train Torsional Oscillations

abstract: Virtual inertia controllers (VICs) for wind turbine generators (WTGs) have been recently developed to compensate for the reduction of inertia in power systems. However, VICs can induce low-frequency torsional oscillations of the drive train of WTGs. This paper addresses this issue and develops a new nonlinear VIC based on objective holographic feedbacks theory. This approach allows transforming the objectives that require improvement into a completely controllable system of Brunovsky's type. Simulation results under various scenarios demonstrate that the proposed method outperforms existing VICs in terms of suppression of WTG low-frequency drive-train torsional oscillations, enhancement of system frequency nadir as well as fast and smooth recovery of WTG rotor speed to the original MPP before the disturbance. The proposed method is also able to coordinate multiple WTGs.


title: Symplectic Dirac cohomology and lifting of characters to metaplectic groups

abstract: We formulate the transfer factor of character lifting from orthogonal groups to symplectic groups by Adams in the framework of symplectic Dirac cohomology for the Lie superalgebras and the Rittenberg-Scheunert correspondence of representations of the Lie superalgebra $\fro\frsp(1|2n)$ and the Lie algebra $\fro(2n+1)$. This leads to formulation of a direct lifting of characters from the linear symplectic group $Sp(2n,\bbR)$ to its nonlinear covering metaplectic group $Mp(2n,\bbR)$.


title: The impacts of asymmetry on modeling and forecasting realized volatility in Japanese stock markets

abstract: This study investigates the impacts of asymmetry on the modeling and forecasting of realized volatility in the Japanese futures and spot stock markets. We employ heterogeneous autoregressive (HAR) models allowing for three types of asymmetry: positive and negative realized semivariance (RSV), asymmetric jumps, and leverage effects. The estimation results show that leverage effects clearly influence the modeling of realized volatility models. Leverage effects exist for both the spot and futures markets in the Nikkei 225. Although realized semivariance aids better modeling, the estimations of RSV models depend on whether these models have leverage effects. Asymmetric jump components do not have a clear influence on realized volatility models. While leverage effects and realized semivariance also improve the out-of-sample forecast performance of volatility models, asymmetric jumps are not useful for predictive ability. The empirical results of this study indicate that asymmetric information, in particular, leverage effects and realized semivariance, yield better modeling and more accurate forecast performance. Accordingly, asymmetric information should be included when we model and forecast the realized volatility of Japanese stock markets.


title: Commuting projector models for (3+1)d topological superconductors via string net of (1+1)d topological superconductors

abstract: We discuss a way to construct a commuting projector Hamiltonian model for a (3+1)d topological superconductor in class DIII. The wave function is given by a sort of string net of the Kitaev wire, decorated on the time reversal (T) domain wall. Our Hamiltonian is provided on a generic 3d manifold equipped with a discrete form of the spin structure. We will see how the 3d spin structure induces a 2d spin structure (called a Kasteleyn direction on a 2d lattice) on T domain walls, which makes possible to define fluctuating Kitaev wires on them. Upon breaking the T symmetry in our model, we find the unbroken remnant of the symmetry which is defined on the time reversal domain wall. The domain wall supports the 2d non-trivial SPT protected by the unbroken symmetry, which allows us to determine the SPT classification of our model, based on the recent QFT argument by Hason, Komargodski, and Thorngren.


title: Parametric Modeling of Quantile Regression Coefficient Functions with Longitudinal Data

abstract: In ordinary quantile regression, quantiles of different order are estimated one at a time. An alternative approach, which is referred to as quantile regression coefficients modeling (QRCM), is to model quantile regression coefficients as parametric functions of the order of the quantile. In this paper, we describe how the QRCM paradigm can be applied to longitudinal data. We introduce a two-level quantile function, in which two different quantile regression models are used to describe the (conditional) distribution of the within-subject response and that of the individual effects. We propose a novel type of penalized fixed-effects estimator, and discuss its advantages over standard methods based on $\ell_1$ and $\ell_2$ penalization. We provide model identifiability conditions, derive asymptotic properties, describe goodness-of-fit measures and model selection criteria, present simulation results, and discuss an application. The proposed method has been implemented in the R package qrcm.


title: Unsighted deconvolution ghost imaging

abstract: Ghost imaging (GI) is an unconventional imaging method that retrieves the image of an object by correlating a series of known illumination patterns with the total reflected (or transmitted) intensity. We here demonstrate a scheme which can remove the basic requirement of knowing the incident patterns on the object, enabling GI to non-invasively image objects through turbid media. As an experimental proof, we project a set of patterns towards an object hidden inside turbid media that scramble the illumination, making the patterns falling on the object completely unknown. We theoretically prove that the spatial frequency of the object is preserved in the measurement of GI, even though the spatial information of both the object and the illumination is lost. The image is then reconstructed with phase retrieval algorithms.


title: Relative primeness and Borel partition properties for equivalence relations

abstract: We introduce a notion of relative primeness for equivalence relations, strengthening the notion of non-reducibility, and show for many standard benchmark equivalence relations that non-reducibility may be strengthened to relative primeness. We introduce several analogues of cardinal properties for Borel equivalence relations, including the notion of a prime equivalence relation and Borel partition properties on quotient spaces. In particular, we introduce a notion of Borel weak compactness, and characterize partition properties for the equivalence relations ${\mathbb F}_2$ and ${\mathbb E}_1$. We also discuss dichotomies related to primeness, and see that many natural questions related to Borel reducibility of equivalence relations may be viewed in the framework of relative primeness and Borel partition properties.


title: Tracking Public Opinion in China through Various Stages of the COVID-19 Pandemic

abstract: In recent months, COVID-19 has become a global pandemic and had a huge impact on the world. People under different conditions have very different attitudes toward the epidemic. Due to the real-time and large-scale nature of social media, we can continuously obtain a massive amount of public opinion information related to the epidemic from social media. In particular, researchers may ask questions such as "how is the public reacting to COVID-19 in China during different stages of the pandemic?", "what factors affect the public opinion orientation in China?", and so on. To answer such questions, we analyze the pandemic related public opinion information on Weibo, China's largest social media platform. Specifically, we have first collected a large amount of COVID-19-related public opinion microblogs. We then use a sentiment classifier to recognize and analyze different groups of users' opinions. In the collected sentiment orientated microblogs, we try to track the public opinion through different stages of the COVID-19 pandemic. Furthermore, we analyze more key factors that might have an impact on the public opinion of COVID-19 (e.g., users in different provinces or users with different education levels). Empirical results show that the public opinions vary along with the key factors of COVID-19. Furthermore, we analyze the public attitudes on different public-concerning topics, such as staying at home and quarantine.


title: Spatial Pricing of Ride-sourcing Services in a CongestedTransportation Network

abstract: We investigate the impacts of spatial pricing for ride-sourcing services in a Stackelberg framework considering traffic congestion. In the lower level, we use combined distribution and assignment approaches to explicitly capture the interactions between drivers' relocation, riders' mode choice, and all travelers' routing decisions. In the upper level, a single transportation network company (TNC) determines spatial pricing strategies to minimize imbalance in a two-sided market. We show the existence of the optimal pricing strategies for locational imbalance minimization, and propose effective algorithms with reliable convergence properties. Furthermore, the optimal pricing is unique and can be solved in a convex reformulation when matching time can be ignored. We conduct numerical experiments on different scales of transportation networks with different TNC objectives to generate policy insights on how spatial pricing could impact transportation systems.


title: Cyber LOPA: An Integrated Approach for the Design of Dependable and Secure Cyber Physical Systems

abstract: Safety risk assessment is an essential process to ensure a dependable Cyber-Physical System (CPS) design. Traditional risk assessment considers only physical failures. For modern CPS, failures caused by cyber attacks are on the rise. The focus of latest research effort is on safety-security lifecycle integration and the expansion of modeling formalisms for risk assessment to incorporate security failures. The interaction between safety and security lifecycles and its impact on the overall system design, as well as the reliability loss resulting from ignoring security failures are some of the overlooked research questions. This paper addresses these research questions by presenting a new safety design method named Cyber Layer Of Protection Analysis (CLOPA) that extends existing LOPA framework to include failures caused by cyber attacks. The proposed method provides a rigorous mathematical formulation that expresses quantitatively the trade-off between designing a highly-reliable versus a highly-secure CPS. We further propose a co-design lifecycle process that integrates the safety and security risk assessment processes. We evaluate the proposed CLOPA approach and the integrated lifecycle on a practical case study of a process reactor controlled by an industrial control testbed, and provide a comparison between the proposed CLOPA and current LOPA risk assessment practice.


title: Analyzing and Learning from User Interactions for Search Clarification

abstract: Asking clarifying questions in response to search queries has been recognized as a useful technique for revealing the underlying intent of the query. Clarification has applications in retrieval systems with different interfaces, from the traditional web search interfaces to the limited bandwidth interfaces as in speech-only and small screen devices. Generation and evaluation of clarifying questions have been recently studied in the literature. However, user interaction with clarifying questions is relatively unexplored. In this paper, we conduct a comprehensive study by analyzing large-scale user interactions with clarifying questions in a major web search engine. In more detail, we analyze the user engagements received by clarifying questions based on different properties of search queries, clarifying questions, and their candidate answers. We further study click bias in the data, and show that even though reading clarifying questions and candidate answers does not take significant efforts, there still exist some position and presentation biases in the data. We also propose a model for learning representation for clarifying questions based on the user interaction data as implicit feedback. The model is used for re-ranking a number of automatically generated clarifying questions for a given query. Evaluation on both click data and human labeled data demonstrates the high quality of the proposed method.


title: The local-global principle for integral points on stacky curves

abstract: We construct a stacky curve of genus $1/2$ (i.e., Euler characteristic $1$) over $\mathbb{Z}$ that has an $\mathbb{R}$-point and a $\mathbb{Z}_p$-point for every prime $p$ but no $\mathbb{Z}$-point. This is best possible: we also prove that any stacky curve of genus less than $1/2$ over a ring of $S$-integers of a global field satisfies the local-global principle for integral points.


title: Optical Flow based Visual Potential Field for Autonomous Driving

abstract: Monocular vision-based navigation for automated driving is a challenging task due to the lack of enough information to compute temporal relationships among objects on the road. Optical flow is an option to obtain temporal information from monocular camera images and has been used widely with the purpose of identifying objects and their relative motion. This work proposes to generate an artificial potential field, i.e. visual potential field, from a sequence of images using sparse optical flow, which is used together with a gradient tracking sliding mode controller to navigate the vehicle to destination without collision with obstacles. The angular reference for the vehicle is computed online. This work considers that the vehicle does not require to have a priori information from the map or obstacles to navigate successfully. The proposed technique is tested both in synthetic and real images.


title: Sparsity-Adaptive Beamspace Channel Estimation for 1-Bit mmWave Massive MIMO Systems

abstract: We propose sparsity-adaptive beamspace channel estimation algorithms that improve accuracy for 1-bit data converters in all-digital millimeter-wave (mmWave) massive multiple-input multiple-output (MIMO) basestations. Our algorithms include a tuning stage based on Stein's unbiased risk estimate (SURE) that automatically selects optimal denoising parameters depending on the instantaneous channel conditions. Simulation results with line-of-sight (LoS) and non-LoS mmWave massive MIMO channel models show that our algorithms improve channel estimation accuracy with 1-bit measurements in a computationally-efficient manner.


title: Four-dimensional semimetals with tensor monopoles: From surface states to topological responses

abstract: Quantum anomalies offer a useful guide for the exploration of transport phenomena in topological semimetals. In this work, we introduce a model describing a semimetal in four spatial dimensions, whose nodal points act like tensor monopoles in momentum space. This system is shown to exhibit monopole-to-monopole phase transitions, as signaled by a change in the value of the topological Dixmier-Douady invariant as well as by the associated surface states on its boundary. We use this model to reveal an intriguing "4D parity magnetic effect", which stems from a parity-type anomaly. In this effect, topological currents are induced upon time-modulating the separation between the fictitious monopoles in the presence of a magnetic perturbation. Besides its theoretical implications in both condensed matter and quantum field theory, the peculiar 4D magnetic effect revealed by our model could be measured by simulating higher-dimensional semimetals in synthetic matter.


title: MetaInv-Net: Meta Inversion Network for Sparse View CT Image Reconstruction

abstract: X-ray Computed Tomography (CT) is widely used in clinical applications such as diagnosis and image-guided interventions. In this paper, we propose a new deep learning based model for CT image reconstruction with the backbone network architecture built by unrolling an iterative algorithm. However, unlike the existing strategy to include as many data-adaptive components in the unrolled dynamics model as possible, we find that it is enough to only learn the parts where traditional designs mostly rely on intuitions and experience. More specifically, we propose to learn an initializer for the conjugate gradient (CG) algorithm that involved in one of the subproblems of the backbone model. Other components, such as image priors and hyperparameters, are kept as the original design. Since a hypernetwork is introduced to inference on the initialization of the CG module, it makes the proposed model a certain meta-learning model. Therefore, we shall call the proposed model the meta-inversion network (MetaInv-Net). The proposed MetaInv-Net can be designed with much less trainable parameters while still preserves its superior image reconstruction performance than some state-of-the-art deep models in CT imaging. In simulated and real data experiments, MetaInv-Net performs very well and can be generalized beyond the training setting, i.e., to other scanning settings, noise levels, and data sets.

categories: eess.IV cs.CV cs.LG math.OC physics.med-ph


title: The role of mechanics in the growth and homeostasis of the intestinal crypt

abstract: We present a mechanical model of tissue homeostasis that is specialised to the intestinal crypt. Growth and deformation of the crypt, idealised as a line of cells on a substrate, are modelled using morphoelastic rod theory. Alternating between Lagrangian and Eulerian mechanical descriptions enables us precisely to characterise the dynamic nature of tissue homeostasis, whereby the proliferative structure and morphology are static in the Eulerian frame, but there is active migration of Lagrangian material points out of the crypt. Assuming mechanochemical growth, we identify the necessary conditions for homeostasis, reducing the full, time-dependent system to a static boundary value problem characterising a spatially heterogeneous "treadmilling" state. We extract essential features of crypt homeostasis, such as the morphology, the proliferative structure, the migration velocity, and the sloughing rate. We also derive closed-form solutions for growth and sloughing dynamics in homeostasis, and show that mechanochemical growth is sufficient to generate the observed proliferative structure of the crypt. Key to this is the concept of threshold-dependent mechanical feedback, that regulates an established Wnt signal for biochemical growth. Numerical solutions demonstrate the importance of crypt morphology on homeostatic growth, migration, and sloughing, and highlight the value of this framework as a foundation for studying the role of mechanics in homeostasis.


title: Characterization of water-based liquid scintillator for Cherenkov and scintillation separation

abstract: This paper presents measurements of the scintillation light yield and time profile for a number of concentration of water-based liquid scintillator, formulated from linear alkylbenzene (LAB) and 2,5-diphenyloxazole (PPO). We find that the scintillation light yield is linear with the concentration of liquid scintillator in water between 1 and 10% with a slope of 127.9+-17.0 ph/MeV/concentration and an intercept value of 108.3+-51.0 ph/MeV, the latter being illustrative of non-linearities with concentration at values less than 1%. This is larger than expected from a simple extrapolation of the pure liquid scintillator light yield. The measured time profiles are consistently faster than that of pure liquid scintillator, with rise times less than 250ps and prompt decay constants in the range of 2.1-2.85ns. Additionally, the separation between Cherenkov and scintillation light is quantified using cosmic muons in the CHESS experiment for each formulation, demonstrating an improvement in separation at the centimeter scale. Finally, we briefly discuss the prospects for large-scale detectors.


title: Retrieval of Family Members Using Siamese Neural Network

abstract: Retrieval of family members in the wild aims at finding family members of the given subject in the dataset, which is useful in finding the lost children and analyzing the kinship. However, due to the diversity in age, gender, pose and illumination of the collected data, this task is always challenging. To solve this problem, we propose our solution with deep Siamese neural network. Our solution can be divided into two parts: similarity computation and ranking. In training procedure, the Siamese network firstly takes two candidate images as input and produces two feature vectors. And then, the similarity between the two vectors is computed with several fully connected layers. While in inference procedure, we try another similarity computing method by dropping the followed several fully connected layers and directly computing the cosine similarity of the two feature vectors. After similarity computation, we use the ranking algorithm to merge the similarity scores with the same identity and output the ordered list according to their similarities. To gain further improvement, we try different combinations of backbones, training methods and similarity computing methods. Finally, we submit the best combination as our solution and our team(ustc-nelslip) obtains favorable result in the track3 of the RFIW2020 challenge with the first runner-up, which verifies the effectiveness of our method. Our code is available at: https://github.com/gniknoil/FG2020-kinship


title: Non supersymmetric femion boson symmetry

abstract: In this work we present symmetry transformations relating bosons to fermions which cannot be represented as a supersymmetric algebra. We present a symmetry transformation relating a complex scalar and a fermion in four dimensions and construct a theory defined by an action that respects the symmetry quantum mechanically. We next invoke gauge symmetry by adding a gauge field and a corresponding fermion and construct two different symmetry transformations with corresponding actions such that the corresponding theories respect the fermion boson symmetry transformations quantum mechanically. Unlike in a supersymmetric theory, the vacuum energy in the above theories could be negative. Phenomenological implications of the theories are open to research.


title: When2com: Multi-Agent Perception via Communication Graph Grouping

abstract: While significant advances have been made for single-agent perception, many applications require multiple sensing agents and cross-agent communication due to benefits such as coverage and robustness. It is therefore critical to develop frameworks which support multi-agent collaborative perception in a distributed and bandwidth-efficient manner. In this paper, we address the collaborative perception problem, where one agent is required to perform a perception task and can communicate and share information with other agents on the same task. Specifically, we propose a communication framework by learning both to construct communication groups and decide when to communicate. We demonstrate the generalizability of our framework on two different perception tasks and show that it significantly reduces communication bandwidth while maintaining superior performance.


title: The 'as Code' Activities: Development Anti-patterns for Infrastructure as Code

abstract: Context: The 'as code' suffix in infrastructure as code (IaC) refers to applying software engineering activities, such as version control, to maintain IaC scripts. Without the application of these activities, defects that can have serious consequences may be introduced in IaC scripts. A systematic investigation of the development anti-patterns for IaC scripts can guide practitioners in identifying activities to avoid defects in IaC scripts. Development anti-patterns are recurring development activities that relate with defective IaC scripts. Goal: The goal of this paper is to help practitioners improve the quality of infrastructure as code (IaC) scripts by identifying development activities that relate with defective IaC scripts. Methodology: We identify development anti-patterns by adopting a mixed-methods approach, where we apply quantitative analysis with 2,138 open source IaC scripts and conduct a survey with 51 practitioners. Findings: We observe five development activities to be related with defective IaC scripts from our quantitative analysis. We identify five development anti-patterns namely, 'boss is not around', 'many cooks spoil', 'minors are spoiler', 'silos', and 'unfocused contribution'. Conclusion: Our identified development anti-patterns suggest the importance of 'as code' activities in IaC because these activities are related to quality of IaC scripts.


title: On the Number of Almost Envy-Free Allocations

abstract: Envy-freeness is a standard benchmark of fairness in resource allocation. Since it cannot always be satisfied when the resource consists of indivisible items even when there are two agents, the relaxations envy-freeness up to one item (EF1) and envy-freeness up to any item (EFX) are often considered. We establish tight lower bounds on the number of allocations satisfying each of these benchmarks in the case of two agents. In particular, while there can be as few as two EFX allocations for any number of items, the number of EF1 allocations is always exponential in the number of items. Our results apply a version of the vertex isoperimetric inequality on the hypercube and help explain the large gap in terms of robustness between the two notions.


title: Chromospheric magnetic field: A comparison of He I 10830 A observations with nonlinear force-free field extrapolation

abstract: The nonlinear force-free field (NLFFF) modeling has been extensively used to infer the three-dimensional (3D) magnetic field in the solar corona. One of the assumptions in the NLFFF extrapolation is that the plasma beta is low, but this condition is considered to be incorrect in the photosphere. We examine direct measurements of the chromospheric magnetic field in two active regions through spectropolarimetric observations at He I 10830 A, which are compared with the potential fields and NLFFFs extrapolated from the photosphere. The comparisons allow quantitative estimation of the uncertainty in the NLFFF extrapolation from the photosphere. Our analysis shows that observed chromospheric magnetic field may have larger non-potentiality compared to the photospheric magnetic field. Moreover, the large non-potentiality in the chromospheric height may not be reproduced by the NLFFF extrapolation from the photospheric magnetic field. The magnitude of the underestimation of the non-potentiality at chromospheric heights may reach 30-40 degree in shear signed angle in some locations. This deviation may be caused by the non-force-freeness in the photosphere. Our study suggests the importance of the inclusion of measured chromospheric magnetic fields in the NLFFF modeling for the improvement of the coronal extrapolation.


title: Microscopic observation of carrier-transport dynamics in quantum-structure solar cells using a time-of-flight technique

abstract: In this study, we propose a carrier time-of-flight technique to evaluate the carrier transport time across a quantum structure in an active region of solar cells. By observing the time-resolved photoluminescence signal with a quantum-well probe inserted under the quantum structure at forward bias, the carrier transport time can be efficiently determined at room temperature. The averaged drift velocity shows linear dependence on the internal field, allowing us to estimate the quantum structure as a quasi-bulk material with low effective mobility containing the information of carrier dynamics. We show that this direct and real-time observation is more sensitive to carrier transport than other conventional techniques, providing better insights into microscopic carrier transport dynamics to overcome a device design difficulty.


title: Strong field induced electron density tide in high harmonic generation from solids

abstract: In strong laser fields, the electron density in solids can show up tidal motions caused by the laser ``pulling'' on the electrons, which forms an electron density tide (EDT). However, the strong field processes in solids are always explained by the single-active-electron (SAE) model and the fluctuation of background electrons is neglected previously. Here, we demonstrate the strong field induced EDT effect and propose a model for revealing its role in high harmoinc generation (HHG) from solids. We show that the EDT effect induces an additional polarization current beyond the SAE approximation. It gives a new mechanism for HHG and leads to new anisotropic structures, which are experimentally observed with MgO. Our experiment indicates that the EDT effect becomes more obvious with increasing the laser intensity. Our work establishes the bridge between the HHG and the microscopic EDT in solids induced by the strong laser field, which paves the way to probe the ultrafast electron dynamics.


title: Turbulent boundary layers over streamwise-preferential porous materials

abstract: Recent numerical simulations indicate that streamwise-preferential anisotropic porous materials have the potential to reduce skin friction in turbulent flows through a similar mechanism to riblets. This paper reports particle image velocimetry (PIV) measurements made in turbulent boundary layers at $Re_\tau \approx 360$ over 3D-printed porous substrates exhibiting such streamwise-preferential permeability. The porous material has normalized streamwise permeability $\sqrt{K_{xx}^+}\approx 3.0$ and wall-normal and spanwise permeabilities $\sqrt{K_{yy}^+} = \sqrt{K_{zz}^+} \approx 1.1$. This material is flush-mounted into a cutout in the downstream half of a flat-plate boundary layer setup in a water channel facility. Measurements made at several locations along the porous substrate provide insight into boundary layer development. For fully-developed conditions, the mean profiles show the presence of a logarithmic region over the porous material with similar constants to those found over a smooth wall. A technique that estimates the mean profile at single-pixel resolution from the particle images suggests the presence of an interfacial slip velocity of $U_s^+ \approx \sqrt{K_{xx}^+}$ over the porous substrate. Friction velocity estimates obtained from outer layer fits to the mean profile suggest a marginal increase in drag over the porous substrate. PIV measurements show a decrease in the intensity of streamwise velocity fluctuations in the near-wall region and an increase in the intensity of wall-normal velocity fluctuations. These observations are consistent with simulation results, which suggest that materials with $\sqrt{K_{yy}^+} > 0.4$ are susceptible to the emergence of spanwise rollers similar to Kelvin-Helmholtz vortices that degrade drag reduction performance. Velocity spectra indicate that such structures emerge in the experiments as well.


title: High-Throughput Screening for Band gap Engineering by Sublattice Mixing of Cs$_2$AgBiCl$_6$ from First-Principles

abstract: The lead-free double perovskite material (viz. Cs$_2$AgBiCl$_6$) has emerged as an efficient and environmentally friendly alternative to lead halide perovskites. To make Cs$_2$AgBiCl$_6$ optically active in the visible region of solar spectrum, band gap engineering approach has been undertaken. Using Cs$_2$AgBiCl$_6$ as a host, band gap and optical properties of Cs$_2$AgBiCl$_6$ have been modulated by alloying with M(I), M(II), and M(III) cations at Ag-/Bi-sites. Here, we have employed density functional theory (DFT) with suitable exchange-correlation functionals in light of spin-orbit coupling (SOC) to determine the stability, band gap and optical properties of different compositions, that are obtained on Ag-Cl and Bi-Cl sublattices mixing. On analyzing the 64 combinations within Cs$_2$AgBiCl$_6$, we have identified 19 promising configurations having band gap sensitive to solar cell applications. The most suitable configurations with Ge(II) and Sn(II) substitutions have spectroscopic limited maximum efficiency (SLME) of 32.08% and 30.91%, respectively, which are apt for solar cell absorber.


title: User Memory Reasoning for Conversational Recommendation

abstract: We study a conversational recommendation model which dynamically manages users' past (offline) preferences and current (online) requests through a structured and cumulative user memory knowledge graph, to allow for natural interactions and accurate recommendations. For this study, we create a new Memory Graph (MG) <--> Conversational Recommendation parallel corpus called MGConvRex with 7K+ human-to-human role-playing dialogs, grounded on a large-scale user memory bootstrapped from real-world user scenarios. MGConvRex captures human-level reasoning over user memory and has disjoint training/testing sets of users for zero-shot (cold-start) reasoning for recommendation. We propose a simple yet expandable formulation for constructing and updating the MG, and a reasoning model that predicts optimal dialog policies and recommendation items in unconstrained graph space. The prediction of our proposed model inherits the graph structure, providing a natural way to explain the model's recommendation. Experiments are conducted for both offline metrics and online simulation, showing competitive results.


title: New bounds on macroscopic scalar-field topological defects from non-transient signatures due to environmental dependence and spatial variations of the fundamental constants

abstract: We point out that in models of macroscopic topological defects composed of one or more scalar fields that interact with standard-model fields via scalar-type couplings, the back-action of ambient matter on the scalar field(s) produces an environmental dependence of the fundamental constants of nature, as well as spatial variations of the fundamental constants in the vicinity of dense bodies such as Earth due to the formation of a "bubble-like" defect structure surrounding the dense body. In sufficiently dense environments, spontaneous symmetry breaking may be inhibited altogether for $\phi^2$ interactions, potentially delaying the cosmological production of topological defects. We derive bounds on non-transient variations of the fundamental constants from torsion-pendulum experiments that search for equivalence-principle-violating forces, experiments comparing the frequencies of ground- and space-based atomic clocks, as well as ground-based clocks at different heights in the recent Tokyo Skytree experiment, and measurements comparing atomic and molecular transition frequencies in terrestrial and low-density astrophysical environments. Our results constrain the present-day mass-energy fraction of the Universe due to a network of infinite domain walls produced shortly after the BBN or CMB epochs to be $\Omega_{\textrm{walls},0} \ll 10^{-10}$ for the symmetron model with a $\phi^4$ potential and $\phi^2$ interactions, improving over CMB quadrupolar temperature anisotropy bounds by at least 5 orders of magnitude. Our newly derived bounds on domain walls with $\phi^2$ interactions via their effects of non-transient variations of the fundamental constants are significantly more stringent than previously reported clock- and cavity-based limits on passing domain walls via transient signatures and previous bounds from different types of non-transient signatures, under the same set of assumptions.

categories: hep-ph astro-ph.CO gr-qc physics.atom-ph


title: Advanced Single Image Resolution Upsurging Using a Generative Adversarial Network

abstract: The resolution of an image is a very important criterion for evaluating the quality of the image. A higher resolution of an image is always preferable as images of lower resolution are unsuitable due to fuzzy quality. A higher resolution of an image is important for various fields such as medical imaging; astronomy works and so on as images of lower resolution becomes unclear and indistinct when their sizes are enlarged. In recent times, various research works are performed to generate a higher resolution of an image from its lower resolution. In this paper, we have proposed a technique of generating higher resolution images form lower resolution using Residual in Residual Dense Block network architecture with a deep network. We have also compared our method with other methods to prove that our method provides better visual quality images.


title: An Efficient Planar Bundle Adjustment Algorithm

abstract: This paper presents an efficient algorithm for the least-squares problem using the point-to-plane cost, which aims to jointly optimize depth sensor poses and plane parameters for 3D reconstruction. We call this least-squares problem \textbf{Planar Bundle Adjustment} (PBA), due to the similarity between this problem and the original Bundle Adjustment (BA) in visual reconstruction. As planes ubiquitously exist in the man-made environment, they are generally used as landmarks in SLAM algorithms for various depth sensors. PBA is important to reduce drift and improve the quality of the map. However, directly adopting the well-established BA framework in visual reconstruction will result in a very inefficient solution for PBA. This is because a 3D point only has one observation at a camera pose. In contrast, a depth sensor can record hundreds of points in a plane at a time, which results in a very large nonlinear least-squares problem even for a small-scale space. Fortunately, we find that there exist a special structure of the PBA problem. We introduce a reduced Jacobian matrix and a reduced residual vector, and prove that they can replace the original Jacobian matrix and residual vector in the generally adopted Levenberg-Marquardt (LM) algorithm. This significantly reduces the computational cost. Besides, when planes are combined with other features for 3D reconstruction, the reduced Jacobian matrix and residual vector can also replace the corresponding parts derived from planes. Our experimental results verify that our algorithm can significantly reduce the computational time compared to the solution using the traditional BA framework. Besides, our algorithm is faster, more accuracy, and more robust to initialization errors compared to the start-of-the-art solution using the plane-to-plane cost


title: Equicontinuous mappings on finite trees

abstract: If $X$ is a finite tree and $f \colon X \longrightarrow X$ is a map, as the Main Theorem of this paper we find eight conditions, each of which is equivalent to the fact that $f$ is equicontinuous. To name just a few of the results obtained: the equicontinuity of $f$ is equivalent to the fact that there is no arc $A \subseteq X$ satisfying $A \subsetneq f^n[A]$ for some $n\in \mathbb{N}$. It is also equivalent to the fact that for some nonprincial ultrafilter $u$, the function $f^u \colon X \longrightarrow X$ is continuous (in other words, failure of equicontinuity of $f$ is equivalent to the failure of continuity of $every$ element of the Ellis remainder $g\in E(X,f)^*$). One of the tools used in the proofs is the Ramsey-theoretic result known as Hindman's theorem. Our results generalize the ones shown by Vidal-Escobar and Garc\'ia-Ferreira, and complement those of Bruckner and Ceder, Mai, and Camargo, Rinc\'on and Uzc\'ategui.


abstract: In this paper, we prove a conjecture which was presented in a recent paper [Linear Algebra Appl. 2016; 496: 549--593]. We derive some practical necessary and sufficient conditions for the existence of a solution to a system of coupled two-sided Sylvester-type quaternion matrix equations with arbitrary equations and arbitrary unknowns $A_{i}X_{i}B_{i}+C_{i}X_{i+1}D_{i}=E_{i},~i=\overline{1,k}$. As an application, we give some practical necessary and sufficient conditions for the existence of an $\eta$-Hermitian solution to the system of quaternion matrix equations $A_{i}X_{i}A^{\eta*}_{i}+C_{i}X_{i+1}C^{\eta*}_{i}=E_{i}$ in terms of ranks, $~i=\overline{1,k}$.


title: OPAL-Net: A Generative Model for Part-based Object Layout Generation

abstract: We propose OPAL-Net, a novel hierarchical architecture for part-based layout generation of objects from multiple categories using a single unified model. We adopt a coarse-to-fine strategy involving semantically conditioned autoregressive generation of bounding box layouts and pixel-level part layouts for objects. We use Graph Convolutional Networks, Deep Recurrent Networks along with custom-designed Conditional Variational Autoencoders to enable flexible, diverse and category-aware generation of object layouts. We train OPAL-Net on PASCAL-Parts dataset. The generated samples and corresponding evaluation scores demonstrate the versatility of OPAL-Net compared to ablative variants and baselines.


title: Secrecy Capacity of a Gaussian Wiretap Channel With ADCs is Always Positive

abstract: We consider a complex Gaussian wiretap channel with finite-resolution analog-to-digital converters (ADCs) at both the legitimate receiver and the eavesdropper. For this channel, we show that a positive secrecy rate is always achievable as long as the channel gains at the legitimate receiver and at the eavesdropper are different, regardless of the quantization levels of the ADCs. For the achievability, we first consider the case of one-bit ADCs at the legitimate receiver and apply a binary input distribution where the two input points have the same phase when the channel gain at the legitimate receiver is less than that at the eavesdropper, and otherwise the opposite phase. Then the result is generalized for the case of arbitrary finite-resolution ADCs at the legitimate receiver by translating the input distribution appropriately. For the special case of the real Gaussian wiretap channel with one-bit ADCs at both the legitimate receiver and the eavesdropper, we show that our choice of input distribution satisfies a necessary condition of optimal distributions for Wyner codes.


title: Robertson's conjecture I. Well-quasi-ordering bounded tree-width graphs by the topological minor relation

abstract: Robertson and Seymour's celebrated Graph Minor Theorem states that graphs are well-quasi-ordered by the minor relation. Unlike the minor relation, the topological minor relation does not well-quasi-order graphs in general. Among all known infinite antichains with respect to the topological containment, subdivisions of a graph obtained from an arbitrarily long path by duplicating each edge can be found. In the 1980's Robertson conjectured that this is the only obstruction. Formally, he conjectured that for every positive integer $k$, graphs that do not contain the graph obtained from a path of length $k$ by duplicating each edge as a topological minor are well-quasi-ordered by the topological minor relation. The case $k=1$ implies Kruskal's Tree Theorem, and the case $k=2$ implies a conjecture of V\'{a}zsonyi on subcubic graphs. This series of papers dedicates a proof of Robertson's conjecture. We prove Robertson's conjecture for graphs of bounded tree-width in this paper. It is an essential step toward the complete proof of Robertson's conjecture, and the machinery developed in this paper will be applied in future papers of the series. This bounded tree-width case proved in this paper implies all known results about well-quasi-ordering graphs by the topological minor relation that can be proved without using the Graph Minor Theorem, and our proof in this paper is self-contained.


title: Asymptotic stability of solitary waves of the 3D quadratic Zakharov-Kuznetsov equation

abstract: We consider the quadratic Zakharov-Kuznetsov equation $$ \partial_t u + \partial_x \Delta u + \partial_x u^2 =0 $$ on $\mathbb{R}^3$. A solitary wave solution is given by $Q(x-t,y,z)$, where $Q$ is the ground state solution to $-Q + \Delta Q + Q^2 =0$. We prove the asymptotic stability of these solitary wave solutions. Specifically, we show that initial data close to $Q$ in the energy space, evolves to a solution that, as $t\to\infty$, converges to a rescaling and shift of $Q(x-t,y,z)$ in $L^2$ in a rightward shifting region $x> \delta t -\tan \theta \sqrt{y^2+z^2} $ for $0 \leq \theta \leq \frac{\pi}{3}-\delta$.