title: Electroferrofluids with non-equilibrium voltage-controlled magnetism, interfaces, and patterns

abstract: Materials with continuous dissipation can exhibit responses and functionalities that are not possible in thermodynamic equilibrium. While this concept is well-known, a major challenge has been the implementation: how to rationally design materials with functional non-equilibrium states and quantify the dissipation? Here we address these questions for the widely used colloidal nanoparticles that convey several functionalities. We propose that useful non-equilibrium states can be realised by creating and maintaining steady-state nanoparticle concentration gradients by continuous injection and dissipation of energy. We experimentally demonstrate this with superparamagnetic iron oxide nanoparticles that in thermodynamic equilibrium form a homogeneous functional fluid with a strong magnetic response (a ferrofluid). To create non-equilibrium functionalities, we charge the nanoparticles with anionic charge control agents to create electroferrofluids where nanoparticles act as charge carriers that can be driven with electric fields and current to non-homogeneous dissipative steady-states. The dissipative steady-states exhibit voltage-controlled magnetic properties and emergent diffuse interfaces. The diffuse interfaces respond strongly to external magnetic fields, leading to dissipative patterns that are not possible in the equilibrium state. We identify the closest non-dissipative analogues of these dissipative patterns, discuss the differences, and highlight how pattern formation in electroferrofluids is linked to dissipation that can be directly quantified. Beyond electrically controlled ferrofluids and patterns, we foresee that the concept can be generalized to other functional nanoparticles to create various scientifically and technologically relevant non-equilibrium states with optical, electrical, catalytic, and mechanical responses that are not possible in thermodynamic equilibrium.


title: Limit theorems for continuous-state branching processes with immigration

abstract: We prove and extend some results stated by Mark Pinsky: Limit theorems for continuous state branching processes with immigration [Bull. Amer. Math. Soc. 78(1972), 242--244]. Consider a continuous-state branching process with immigration $(Y_t,t\geq 0)$ with branching mechanism $\Psi$ and immigration mechanism $\Phi$ (CBI$(\Psi,\Phi)$ for short). We shed some light on two different asymptotic regimes occurring when $\int_{0}\frac{\Phi(u)}{|\Psi(u)|}du<\infty$ or $\int_{0}\frac{\Phi(u)}{|\Psi(u)|}du=\infty$. We first observe that when $\int_{0}\frac{\Phi(u)}{|\Psi(u)|}du<\infty$, supercritical CBIs have a growth rate dictated by the branching dynamics, namely there is a renormalization $\tau(t)$, only depending on $\Psi$, such that $(\tau(t)Y_t,t\geq 0)$ converges almost-surely to a finite random variable. When $\int_{0}\frac{\Phi(u)}{|\Psi(u)|}du=\infty$, it is shown that the immigration overwhelms the branching dynamics and that no linear renormalization of the process can exist. Asymptotics in the second regime are studied in details for all non-critical CBI processes via a nonlinear time-dependent renormalization in law. Three regimes of weak convergence are then exhibited, where a misprint in Pinsky's paper is corrected. CBI processes with critical branching mechanisms subject to a regular variation assumption are also studied.


title: Metaphor Detection using Deep Contextualized Word Embeddings

abstract: Metaphors are ubiquitous in natural language, and their detection plays an essential role in many natural language processing tasks, such as language understanding, sentiment analysis, etc. Most existing approaches for metaphor detection rely on complex, hand-crafted and fine-tuned feature pipelines, which greatly limit their applicability. In this work, we present an end-to-end method composed of deep contextualized word embeddings, bidirectional LSTMs and multi-head attention mechanism to address the task of automatic metaphor detection. Our method, unlike many other existing approaches, requires only the raw text sequences as input features to detect the metaphoricity of a phrase. We compare the performance of our method against the existing baselines on two benchmark datasets, TroFi, and MOH-X respectively. Experimental evaluations confirm the effectiveness of our approach.


title: An Explainable Model for EEG Seizure Detection based on Connectivity Features

abstract: Epilepsy which is characterized by seizures is studied using EEG signals by recording the electrical activity of the brain. Different types of communication between different parts of the brain are characterized by many state of the art connectivity measures which can be directed and undirected. We propose to employ a set of undirected (spectral matrix, the inverse of the spectral matrix, coherence, partial coherence, and phaselocking value) and directed features (directed coherence, the partial directed coherence) to learn a deep neural network that detects whether a particular data window belongs to a seizure or not, which is a new approach to standard seizure classification. Taking our data as a sequence of ten sub-windows, we aim at designing an optimal deep learning model using attention, CNN, BiLstm, and fully connected layers. We also compute the relevance using the weights of the learned model based on the activation values of the receptive fields at a particular layer. Our best model architecture resulted in 97.03% accuracy using balanced MITBIH data subset. Also, we were able to explain the relevance of each feature across all patients. We were able to experimentally validate some of the scientific facts concerning seizures by studying the impact of the contributions of the activations on the decision.


title: Gradients of Connectivity as Graph Fourier Bases of Brain Activity

abstract: The application of graph theory to model the complex structure and function of the brain has shed new light on its organization and function, prompting the emergence of network neuroscience. Despite the tremendous progress that has been achieved in this field, still relatively few methods exploit the topology of brain networks to analyze brain activity. Recent attempts in this direction have leveraged on graph spectral analysis and graph signal processing to decompose brain activity in connectivity eigenmodes or gradients. If results are promising in terms of interpretability and functional relevance, methodologies and terminology are sometimes confusing. The goals of this paper are twofold. First, we summarize recent contributions related to connectivity gradients and graph signal processing, and attempt a clarification of the terminology and methods used in the field, while pointing out current methodological limitations. Second, we discuss the perspective that the functional relevance of connectivity gradients could be fruitfully exploited by considering them as graph Fourier bases of brain activity.


title: Quantum measurements with, and yet without an Observer

abstract: It is argued that Feynman's rules for evaluating probabilities, combined with von Neumann's principle of psycho-physical parallelism, help avoid inconsistencies, often associated with quantum theory. The former allows one to assign probabilities to entire sequences of hypothetical Observers' experiences, without mentioning the problem of wave function collapse.The latter limits the Observer's (e.g., Wigner's friend's) participation in a measurement to the changes produced in material objects,thus leaving his/her consciousness outside the picture.


title: DT-Net: A novel network based on multi-directional integrated convolution and threshold convolution

abstract: Since medical image data sets contain few samples and singular features, lesions are viewed as highly similar to other tissues. The traditional neural network has a limited ability to learn features. Even if a host of feature maps is expanded to obtain more semantic information, the accuracy of segmenting the final medical image is slightly improved, and the features are excessively redundant. To solve the above problems, in this paper, we propose a novel end-to-end semantic segmentation algorithm, DT-Net, and use two new convolution strategies to better achieve end-to-end semantic segmentation of medical images. 1. In the feature mining and feature fusion stage, we construct a multi-directional integrated convolution (MDIC). The core idea is to use the multi-scale convolution to enhance the local multi-directional feature maps to generate enhanced feature maps and to mine the generated features that contain more semantics without increasing the number of feature maps. 2. We also aim to further excavate and retain more meaningful deep features reduce a host of noise features in the training process. Therefore, we propose a convolution thresholding strategy. The central idea is to set a threshold to eliminate a large number of redundant features and reduce computational complexity. Through the two strategies proposed above, the algorithm proposed in this paper produces state-of-the-art results on two public medical image datasets. We prove in detail that our proposed strategy plays an important role in feature mining and eliminating redundant features. Compared with the existing semantic segmentation algorithms, our proposed algorithm has better robustness.


title: Quantifying the effect of image compression on supervised learning applications in optical microscopy

abstract: The impressive growth of data throughput in optical microscopy has triggered a widespread use of supervised learning (SL) models running on compressed image datasets for efficient automated analysis. However, since lossy image compression risks to produce unpredictable artifacts, quantifying the effect of data compression on SL applications is of pivotal importance to assess their reliability, especially for clinical use. We propose an experimental method to evaluate the tolerability of image compression distortions in 2D and 3D cell segmentation SL tasks: predictions on compressed data are compared to the raw predictive uncertainty, which is numerically estimated from the raw noise statistics measured through sensor calibration. We show that predictions on object- and image-specific segmentation parameters can be altered by up to 15% and more than 10 standard deviations after 16-to-8 bits downsampling or JPEG compression. In contrast, a recently developed lossless compression algorithm provides a prediction spread which is statistically equivalent to that stemming from raw noise, while providing a compression ratio of up to 10:1. By setting a lower bound to the SL predictive uncertainty, our technique can be generalized to validate a variety of data analysis pipelines in SL-assisted fields.


title: Bayesian inference of quark star equation of state using the NICER PSR J0030+0451 data

abstract: We constrain the equation of state of quark stars within the Bayesian statistical approach using the mass and radius measurements of PSR J0030+0451 from NICER. Three types of bag models, with and without non-zero finite quark mass and/or superfluidity, are employed for quark stars made up with self-bound strange quark matter. We find the $90\%$ posterior credible boundary around the most probable values of the quark star maximum mass is $M_{\rm TOV}=2.38_{-0.23}^{+0.26}\,M_{\odot}$, within the model flexibility of the finite quark mass, the quark pairing gap, and the perturbative contribution from the one-gluon exchange. The radius of a canonical $1.4\,M_{\odot}$ quark star is $R_{\rm 1.4}\sim12.3\,{\rm km}$, smaller than the results based on neutron star models.


title: Kerr nonlinearity effect on light transmission in one dimensional photonic crystal

abstract: We investigate numerically the effect of Kerr nonlinearity on the transmission spectrum of a one dimensional $\delta$-function photonic crystal. It is found that the photonic band gap (PBG) width either increases or decreases depending on both sign and strength of Kerr nonlinearity. We found that any amount of self-focusing nonlinearity $(\alpha >0)$ leads to an increase of the PBG width leading to light localization. However, for defocusing nonlinearity, we found a range of non-linearity strengths for which the photonic band gap width decreases when the nonlinearity strength increases and a critical non-linearity strength $|\alpha_{c}|$ above which the behaviour is reversed. At this critical value the photonic crystal become transparent and the photonic band gap is suppressed. We have also studied the dependence on the angle of incidence and polarization in the transmission spectrum of our one-dimensional photonic crystal. We found that the minimum of the transmission increases with incident angle but seems to be polarization-independent. We also found that position of the photonic band gap (PBG) shifts to lower wavelengths when the angle of incidence increases for TE mode while it shifts to longer wavelengths for TM mode.


title: Expressibility of comb tensor network states (CTNS) for the P-cluster and the FeMo-cofactor of nitrogenase

abstract: Polynuclear transition metal complexes such as the P-cluster and the FeMo-cofactor of nitrogenase with eight transition metal centers represent a great challenge for current electronic structure methods. In this work, we initiated the use of comb tensor network states (CTNS), whose underlying topology has a one-dimensional backbone and several one-dimensional branches, as a many-body wavefunction ansatz to tackle these challenging systems. As an important first step, we explored the expressive power of CTNS with different underlying topologies. To this end, we presented an algorithm to express a configuration interaction (CI) wavefunction into CTNS based on the Schmidt decomposition. The algorithm was illustrated for representing approximate CI wavefunctions obtained from selected CI calculations for the P-cluster and the FeMo-cofactor into CTNS with three chemically meaningful comb structures, which successively group orbitals belonging to the same atom into branches. The conventional matrix product states (MPS) representation was obtained as a special case. We also discussed the insights gained from such decompositions, which shed some light on the future developments of efficient numerical tools for polynuclear transition metal complexes.


title: An optimization problem for continuous submodular functions

abstract: Real continuous submodular functions, as a generalization of the corresponding discrete notion to the continuous domain, gained considerable attention recently. The analog notion for entropy functions requires additional properties: a real function defined on the non-negative orthant of $\mathbb R^n$ is entropy-like (EL) if it is submodular, takes zero at zero, non-decreasing, and has the Diminishing Returns property. Motivated by problems concerning the Shannon complexity of multipartite secret sharing, a special case of the following general optimization problem is considered: find the minimal cost of those EL functions which satisfy certain constraints. In our special case the cost of an EL function is the maximal value of the $n$ partial derivatives at zero. Another possibility could be the supremum of the function range. The constraints are specified by a smooth bounded surface $S$ cutting off a downward closed subset. An EL function is feasible if at the internal points of $S$ the left and right partial derivatives of the function differ by at least one. A general lower bound for the minimal cost is given in terms of the normals of the surface $S$. The bound is tight when $S$ is linear. In the two-dimensional case the same bound is tight for convex or concave $S$. It is shown that the optimal EL function is not necessarily unique. The paper concludes with several open problems.


title: Physics-Guided Recurrent Graph Networks for Predicting Flow and Temperature in River Networks

abstract: This paper proposes a physics-guided machine learning approach that combines advanced machine learning models and physics-based models to improve the prediction of water flow and temperature in river networks. We first build a recurrent graph network model to capture the interactions among multiple segments in the river network. Then we present a pre-training technique which transfers knowledge from physics-based models to initialize the machine learning model and learn the physics of streamflow and thermodynamics. We also propose a new loss function that balances the performance over different river segments. We demonstrate the effectiveness of the proposed method in predicting temperature and streamflow in a subset of the Delaware River Basin. In particular, we show that the proposed method brings a 33\%/14\% improvement over the state-of-the-art physics-based model and 24\%/14\% over traditional machine learning models (e.g., Long-Short Term Memory Neural Network) in temperature/streamflow prediction using very sparse (0.1\%) observation data for training. The proposed method has also been shown to produce better performance when generalized to different seasons or river segments with different streamflow ranges.


title: Inverse Rational Control with Partially Observable Continuous Nonlinear Dynamics

abstract: A fundamental question in neuroscience is how the brain creates an internal model of the world to guide actions using sequences of ambiguous sensory information. This is naturally formulated as a reinforcement learning problem under partial observations, where an agent must estimate relevant latent variables in the world from its evidence, anticipate possible future states, and choose actions that optimize total expected reward. This problem can be solved by control theory, which allows us to find the optimal actions for a given system dynamics and objective function. However, animals often appear to behave suboptimally. Why? We hypothesize that animals have their own flawed internal model of the world, and choose actions with the highest expected subjective reward according to that flawed model. We describe this behavior as rational but not optimal. The problem of Inverse Rational Control (IRC) aims to identify which internal model would best explain an agent's actions. Our contribution here generalizes past work on Inverse Rational Control which solved this problem for discrete control in partially observable Markov decision processes. Here we accommodate continuous nonlinear dynamics and continuous actions, and impute sensory observations corrupted by unknown noise that is private to the animal. We first build an optimal Bayesian agent that learns an optimal policy generalized over the entire model space of dynamics and subjective rewards using deep reinforcement learning. Crucially, this allows us to compute a likelihood over models for experimentally observable action trajectories acquired from a suboptimal agent. We then find the model parameters that maximize the likelihood using gradient ascent.


title: A Few-shot Learning Approach for Historical Ciphered Manuscript Recognition

abstract: Encoded (or ciphered) manuscripts are a special type of historical documents that contain encrypted text. The automatic recognition of this kind of documents is challenging because: 1) the cipher alphabet changes from one document to another, 2) there is a lack of annotated corpus for training and 3) touching symbols make the symbol segmentation difficult and complex. To overcome these difficulties, we propose a novel method for handwritten ciphers recognition based on few-shot object detection. Our method first detects all symbols of a given alphabet in a line image, and then a decoding step maps the symbol similarity scores to the final sequence of transcribed symbols. By training on synthetic data, we show that the proposed architecture is able to recognize handwritten ciphers with unseen alphabets. In addition, if few labeled pages with the same alphabet are used for fine tuning, our method surpasses existing unsupervised and supervised HTR methods for ciphers recognition.


title: Superconductivity emerging from a stripe charge order in IrTe2 nanoflakes

abstract: Superconductivity in the vicinity of a competing electronic order often manifests itself with a superconducting dome, centred at a presumed quantum critical point in the phase diagram. This common feature, found in many unconventional superconductors, has supported a prevalent scenario that fluctuations or partial melting of a parent order are essential for inducing or enhancing superconductivity. Here we present a contrary example, found in IrTe2 nanoflakes of which the superconducting dome is identified well inside the parent stripe charge ordering phase in the thickness-dependent phase diagram. The coexisting stripe charge order in IrTe2 nanoflakes significantly increases the out-of-plane coherence length and the coupling strength of superconductivity, in contrast to the doped bulk IrTe2. These findings clarify that the inherent instabilities of the parent stripe phaseare sufficient to induce superconductivity in IrTe2 without its complete or partial melting. Our study highlights the thickness control as an effective means to unveil intrinsic phase diagrams of correlated vdW materials.

categories: cond-mat.supr-con cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el


title: Theory on polarization-averaged core-level molecular-frame photoelectron angular distributions: II. Extracting the X-ray induced fragmentation dynamics of carbon monoxide dication from forward and backward intensities

abstract: Recent developments of high-reputation-rate X-ray free electron lasers (XFELs) such as European XFEL and LSCS-II, combined with coincidence measurements at the COLTRIMS-Reaction Microscope, is now opening a door to realize a long-standing dream to create molecular movies of photo-induced chemical reactions of gas-phase molecules. In this paper, we theoretically propose a new method to experimentally visualize dissociation of diatomic molecules via time-resolved polarization-averaged molecular-frame photoelectron angular distributions (PA-MFPADs) measurements using the COLTRIMs--Reaction Microscope and two-color XFEL pump-probe set-up. The first and second order scattering theories with the Muffin-tin approximation give us simple EXAFS type formula for the forward and backward scattering peaks in the PA-MFPADs structure. This formula acts as an experimentally applicable "bond length ruler" by adjusting only three semi-empirical parameters from the time-resolved measurements. The accuracy and applicability of a new ruler equation are numerically examined against the PA-MFPADs of CO2+ calculated by Full-potential multiple scattering theory as a function of the C-O bond length reported in the preceding work. The bond lengths retrieved from the PA-MFPADs via the EXAFS formula well reproduce the original C-O bond lengths used in the reference ab-initio PA-MFPADs with accuracy of 0.1 {\AA}. We expect that time-resolved PA-MFPADs will be a new attractive tool to make molecular movies visualizing intramolecular reactions.


title: An experimental evaluation and characterization of VoIP over an LTE-A network

abstract: Mobile telecommunications are converging towards all-IP solutions. This is the case of the Long Term Evolution (LTE) technology that, having no circuit-switched bearer to support voice traffic, needs a dedicated VoIP infrastructure, which often relies on the IP Multimedia Subsystem architecture. Most telecom operators implement LTE-A, an advanced version of LTE often marketed as 4G+, which achieves data rate peaks of 300 Mbps. Yet, although such novel technology boosts the access to advanced multimedia contents and services, telco operators continue to consider the VoIP market as the major revenue for their business. In this work, the authors propose a detailed performance assessment of VoIP traffic by carrying out experimental trials across a real LTE-A environment. The experimental campaign consists of two stages. First, we characterize VoIP calls between fixed and mobile terminals, based on a dataset that includes more than 750,000 data-voice packets. We analyze quality-of-service metrics such as round-trip time (RTT) and jitter, to capture the influence of uncontrolled factors that typically appear in real-world settings. In the second stage, we further consider VoIP flows across a range of codecs, looking at the trade-offs between quality and bandwidth consumption. Moreover, we propose a statistical characterization of jitter and RTT (representing the most critical parameters), identifying the optimal approximating distribution, namely the Generalized Extreme Value (GEV). The estimation of parameters through the Maximum Likelihood criterion, leads us to reveal both the short- and long-tail behaviour for jitter and RTT, respectively.


title: Pseudo-Hermitian Systems Constructed by Transformation Optics with Robustly Balanced Loss and Gain

abstract: Non-Hermitian systems with parity-time symmetry have been found to exhibit real spectra of eigenvalues, indicating a balance between the loss and gain. However, such a balance is not only dependent on the magnitude of loss and gain, but also easily broken due to external disturbance. Here, the authors propose a transformation-optics approach to construct a unique class of non-Hermitian systems with robustly balanced loss and gain, irrespective of the magnitude of loss/gain and the environmental disturbance. Through transformation-optics operators like space folding and stretching, loss and gain can be generated and separated in the real space. While in the virtual space, the loss and gain are still combined to each other, rendering a balance of energy that is far more robust than other non-Hermitian systems. This amazing feature is verified by finite-element simulations. This work reveals a class of non-Hermitian systems in which loss and gain are balanced robustly, thereby denoted as pseudo-Hermitian systems.


title: Tenfold Way for Holography : AdS/CFT and Beyond

abstract: The main purpose of the present paper is to lay the foundations of generalizing the AdS/CFT (holography) idea beyond the conformal setting. The main tool is to find suitable realizations of the bulk and boundary via group theory. We use all ten families of classical real semisimple Lie groups $G$ and Lie algebras $\cal G$. For this are used several group and algebra decompositions: the global Iwasawa decomposition and the local Bruhat and Sekiguchi-like decomposititions. The same analysis is applied to the exceptional real semisimple Lie algebras.


title: Small Data, Big Decisions: Model Selection in the Small-Data Regime

abstract: Highly overparametrized neural networks can display curiously strong generalization performance - a phenomenon that has recently garnered a wealth of theoretical and empirical research in order to better understand it. In contrast to most previous work, which typically considers the performance as a function of the model size, in this paper we empirically study the generalization performance as the size of the training set varies over multiple orders of magnitude. These systematic experiments lead to some interesting and potentially very useful observations; perhaps most notably that training on smaller subsets of the data can lead to more reliable model selection decisions whilst simultaneously enjoying smaller computational costs. Our experiments furthermore allow us to estimate Minimum Description Lengths for common datasets given modern neural network architectures, thereby paving the way for principled model selection taking into account Occams-razor.


title: Wetting boundary conditions for multicomponent pseudopotential lattice Boltzmann

abstract: The implementation of boundary conditions is among the most challenging parts of modeling fluid flow through channels and complex media. Here, we show that the existing methods to deal with liquid-wall interactions using multicomponent Lattice Boltzmann are accurate when the wall is aligned with the main axes of the lattice but fail otherwise. To solve this problem, we extend a strategy previously developed for multiphase models. As an example, we study the coalescence of two droplets on a curved surface in two dimensions. The strategy proposed here is of special relevance for binary flows in complex geometries.


title: Inductive Graph Embeddings through Locality Encodings

abstract: Learning embeddings from large-scale networks is an open challenge. Despite the overwhelming number of existing methods, is is unclear how to exploit network structure in a way that generalizes easily to unseen nodes, edges or graphs. In this work, we look at the problem of finding inductive network embeddings in large networks without domain-dependent node/edge attributes. We propose to use a set of basic predefined local encodings as the basis of a learning algorithm. In particular, we consider the degree frequencies at different distances from a node, which can be computed efficiently for relatively short distances and a large number of nodes. Interestingly, the resulting embeddings generalize well across unseen or distant regions in the network, both in unsupervised settings, when combined with language model learning, as well as in supervised tasks, when used as additional features in a neural network. Despite its simplicity, this method achieves state-of-the-art performance in tasks such as role detection, link prediction and node classification, and represents an inductive network embedding method directly applicable to large unattributed networks.


title: Impact-Parameter Description of High-Energy Deuteron-Nucleus Collisions

abstract: A theoretical analysis using an impact-parameter description of the collisions of deuterons with nuclei is carried out in the high-energy diffraction approximation. It is used to obtain the intensities and integrated cross sections for elastic scattering, for the emergence of the two incident nucleons from the collision whether they appear as an elastically scattered deuteron or as two unbound nucleons, and for the diffraction-induced dissociation of the deuteron into a free neutron and a free proton, as well as the total cross section. The cross section for collisions in which one or both of the nucleons is absorbed is derived in terms of the sum of the neutron-nucleus and proton-nucleus effective phase shifts. Expressions for the cross section for processes in which the proton (or neutron) is absorbed whether the neutron (or proton) is absorbed or not, and for the cross section for processes in which the neutron (or proton) is absorbed and the proton (or neutron) remains free are derived. A reduced form of a two-particle density matrix is introduced to directly derive expressions for the cross section for two-particle absorption in which both the proton and neutron are absorbed and for the cross section for stripping processes in which the proton (or neutron) is absorbed and the neutron (or proton) emerges as a free particle. The expression for the cross section for the breakup of the deuteron and the resulting emergence of one or two free nucleons is also derived. The mechanism by which the diffraction dissociation of the deuteron is induced is understood in an approximate semi-quantitative basis in classical terms (primarily the radial derivative of the radial impulse), allowing an estimate of where in the nuclear potential (beyond the "radius", near the "surface") the dissociation process tends to predominantly occur.


title: Heat vortexes of ballistic, diffusive and hydrodynamic phonon transport in two-dimensional materials

abstract: In this work, the heat vortexes in two-dimensional porous or ribbon structures are investigated based on the phonon Boltzmann transport equation (BTE) under the Callaway model. First, the separate thermal effects of normal (N) scattering and resistive (R) scattering are investigated with frequency-independent assumptions. And then the heat vortexes in graphene are studied as a specific example. It is found that the heat vortexes can appear in both ballistic (rare R/N scattering) and hydrodynamic (N scattering dominates) regimes but disappear in the diffusive (R scattering dominates) regime. As long as there is not sufficient R scattering, the heat vortexes can appear in present simulations.


title: Infection Risk Score: Identifying the risk of infection propagation based on human contact

abstract: A wide range of approaches have been applied to manage the spread of global pandemic events such as COVID-19, which have met with varying degrees of success. Given the large-scale social and economic impact coupled with the increasing time span of the pandemic, it is important to not only manage the spread of the disease but also put extra efforts on measures that expedite resumption of social and economic life. It is therefore important to identify situations that carry high risk, and act early whenever such situations are identified. While a large number of mobile applications have been developed, they are aimed at obtaining information that can be used for contact tracing, but not at estimating the risk of social situations. In this paper, we introduce an infection risk score that provides an estimate of the infection risk arising from human contacts. Using a real-world human contact dataset, we show that the proposed risk score can provide a realistic estimate of the level of risk in the population. We also describe how the proposed infection risk score can be implemented on smartphones. Finally, we identify representative use cases that can leverage the risk score to minimize infection propagation.


title: Additive manufacturing introduced substructure and computational determination of metamaterials parameters by means of the asymptotic homogenization

abstract: Metamaterials exhibit materials response deviation from conventional elasticity. This phenomenon is captured by the generalized elasticity as a result of extending the theory at the expense of introducing additional parameters. These parameters are linked to internal length scales. Describing on a macroscopic level a material possessing a substructure at a microscopic length scale calls for introducing additional constitutive parameters. Therefore, in principle, an asymptotic homogenization is feasible to determine these parameters given an accurate knowledge on the substructure. Especially in additive manufacturing, known under the infill ratio, topology optimization introduces a substructure leading to higher order terms in mechanical response. Hence, weight reduction creates a metamaterial with an accurately known substructure. Herein, we develop a computational scheme using both scales for numerically identifying metamaterials parameters. As a specific example we apply it on a honeycomb substructure and discuss the infill ratio. Such a computational approach is applicable to a wide class substructures and makes use of open-source codes; we make it publicly available for a transparent scientific exchange.


title: TraceSim: A Method for Calculating Stack Trace Similarity

abstract: Many contemporary software products have subsystems for automatic crash reporting. However, it is well-known that the same bug can produce slightly different reports. To manage this problem, reports are usually grouped, often manually by developers. Manual triaging, however, becomes infeasible for products that have large userbases, which is the reason for many different approaches to automating this task. Moreover, it is important to improve quality of triaging due to the big volume of reports that needs to be processed properly. Therefore, even a relatively small improvement could play a significant role in overall accuracy of report bucketing. The majority of existing studies use some kind of a stack trace similarity metric, either based on information retrieval techniques or string matching methods. However, it should be stressed that the quality of triaging is still insufficient. In this paper, we describe TraceSim -- a novel approach to address this problem which combines TF-IDF, Levenshtein distance, and machine learning to construct a similarity metric. Our metric has been implemented inside an industrial-grade report triaging system. The evaluation on a manually labeled dataset shows significantly better results compared to baseline approaches.


title: ProDOMA: improve PROtein DOMAin classification for third-generation sequencing reads using deep learning

abstract: Motivation: With the development of third-generation sequencing technologies, people are able to obtain DNA sequences with lengths from 10s to 100s of kb. These long reads allow protein domain annotation without assembly, thus can produce important insights into the biological functions of the underlying data. However, the high error rate in third-generation sequencing data raises a new challenge to established domain analysis pipelines. The state-of-the-art methods are not optimized for noisy reads and have shown unsatisfactory accuracy of domain classification in third-generation sequencing data. New computational methods are still needed to improve the performance of domain prediction in long noisy reads. Results: In this work, we introduce ProDOMA, a deep learning model that conducts domain classification for third-generation sequencing reads. It uses deep neural networks with 3-frame translation encoding to learn conserved features from partially correct translations. In addition, we formulate our problem as an open-set problem and thus our model can reject unrelated DNA reads such as those from noncoding regions. In the experiments on simulated reads of protein coding sequences and real reads from the human genome, our model outperforms HMMER and DeepFam on protein domain classification. In summary, ProDOMA is a useful end-to-end protein domain analysis tool for long noisy reads without relying on error correction. Availability: The source code and the trained model are freely available at https://github.com/strideradu/ProDOMA. Contact: yannisun@cityu.edu.hk


title: uGMRT HI 21-cm absorption observations of two extremely inverted spectrum sources

abstract: We report the detection of HI 21-cm absorption in a member of the rare and recently discovered class of compact radio sources, 'Extremely Inverted Spectrum Extragalactic Radio Sources (EISERS)'. EISERS conceivably form a special sub-class of the inverted spectrum radio galaxies since the spectral index of the optically thick part of the spectrum for these sources crosses the synchrotron self absorption limit of $\alpha=+2.5$ (S($\nu$) $\propto$ $\nu^{\alpha}$). We have searched for HI absorption in two EISERS using the recently upgraded Giant Metrewave Radio Telescope (uGMRT) and detected an absorption feature in one of them. The strong associated HI absorption detected against the source J1209$-$2032 ($z$=0.4040) implies an optical depth of 0.178$\pm$0.02 corresponding to an HI column density of 34.8$\pm$2.9 $\times$10$^{20}$ cm$^{-2}$, for an assumed HI spin temperature of 100 K and covering factor of 1. This is among the highest known optical depth and HI column densities found for compact radio sources of GPC/CSS type and supports the free-free absorption model for the steeply inverted radio spectrum of this source. For the other source, J1549$+$5038 ($z$ = 2.171), no HI absorption was detected in our observations.


title: Tur\'an and Ramsey numbers for $3$-uniform minimal paths of length $4$

abstract: We determine Tur\'an numbers for the family of 3-uniform minimal paths of length four \emph{for all $n$}. We also establish the second and third order Tur\'an numbers and use them to compute the corresponding Ramsey numbers for up to four colors.


title: Real zeros of the Barnes double zeta function in the interval $(1, 2)$

abstract: Let $a, w_1, w_2,\cdot\cdot\cdot, w_r >0$ and $s \in \mathbb{C}$. We put $w= (w_1,\cdot\cdot\cdot,w_r)$. Then the Barnes $r$-ple zeta function is defined by $\zeta_r(s, w, a) = \sum_{m_1=0}^{\infty} \cdot\cdot\cdot \sum_{m_r=0}^{\infty} 1/(a+m_1w_1+\cdot\cdot\cdot +m_rw_r)^s$ when $\sigma := \Re(s)>r$. In this paper, we show that the Barnes double zeta function $\zeta_2(\sigma, w, a)$ has real zeros in the interval $(1,2)$ if and only if $0< a < (w_1+w_2)/2$ and the number of such zero is precisely one if $0< a< (w_1+w_2)/2$.


title: Bose condensation and spin superfluidity of magnons in a perpendicularly magnetized film of yttrium iron garnet

abstract: The formation of a Bose condensate of magnons in a perpendicularly magnetized film of yttrium iron garnet under radio-frequency pumping in a strip line is studied experimentally. The characteristics of nonlinear magnetic resonance and the spatial distribution of the Bose condensate of magnons in the magnetic field gradient are investigated. In these experiments, the Bosonic system of magnons behaves similarly to the Bose condensate of magnons in the antiferromagnetic superfluid 3He-B, which was studied in detail earlier. Magnonic BEC forms a coherently precessing state with the properties of magnonic superfluidity. Its stability is determined by the repulsive potential between excited magnons, which compensates for the inhomogeneity of the magnetic field.


title: Few-shot Object Detection with Self-adaptive Attention Network for Remote Sensing Images

abstract: In remote sensing field, there are many applications of object detection in recent years, which demands a great number of labeled data. However, we may be faced with some cases where only limited data are available. In this paper, we proposed a few-shot object detector which is designed for detecting novel objects provided with only a few examples. Particularly, in order to fit the object detection settings, our proposed few-shot detector concentrates on the relations that lie in the level of objects instead of the full image with the assistance of Self-Adaptive Attention Network (SAAN). The SAAN can fully leverage the object-level relations through a relation GRU unit and simultaneously attach attention on object features in a self-adaptive way according to the object-level relations to avoid some situations where the additional attention is useless or even detrimental. Eventually, the detection results are produced from the features that are added with attention and thus are able to be detected simply. The experiments demonstrate the effectiveness of the proposed method in few-shot scenes.


title: Potential Features of ICU Admission in X-ray Images of COVID-19 Patients

abstract: X-ray images may present non-trivial features with predictive information of patients that develop severe symptoms of COVID-19. If true, this hypothesis may have practical value in allocating resources to particular patients while using a relatively inexpensive imaging technique. The difficulty of testing such a hypothesis comes from the need for large sets of labelled data, which need to be well-annotated and should contemplate the post-imaging severity outcome. This paper presents an original methodology for extracting semantic features that correlate to severity from a data set with patient ICU admission labels through interpretable models. The methodology employs a neural network trained to recognise lung pathologies to extract the semantic features, which are then analysed with low-complexity models to limit overfitting while increasing interpretability. This analysis points out that only a few features explain most of the variance between patients that developed severe symptoms. When applied to an unrelated larger data set with pathology-related clinical notes, the method has shown to be capable of selecting images for the learned features, which could translate some information about their common locations in the lung. Besides attesting separability on patients that eventually develop severe symptoms, the proposed methods represent a statistical approach highlighting the importance of features related to ICU admission that may have been only qualitatively reported. While handling limited data sets, notable methodological aspects are adopted, such as presenting a state-of-the-art lung segmentation network and the use of low-complexity models to avoid overfitting. The code for methodology and experiments is also available.


title: Galois criterion for torsion points of Drinfeld modules

abstract: In this paper, we formulate the Drinfeld module analogue of a question raised by Lang and studied by Katz on the existence of rational points on abelian varieties over number fields. Given a maximal ideal $\fl$ of $\F_q[T]$, the question essentially asks whether, up to isogeny, a Drinfeld module $\phi$ over $\F_q(T)$ contains a rational $\fl$-torsion point if the reduction of $\phi$ at almost all primes of $\F_q[T]$ contains a rational $\fl$-torsion point. Similar to the case of abelian varieties, we show that the answer is positive if the rank of the Drinfeld module is $2$, but negative if the rank is $3$. Moreover, for rank $3$ Drinfeld modules we classify those cases where the answer is positive.


title: Contract-based Time-of-use Pricing for Energy Storage Investment

abstract: Time-of-use (ToU) pricing is widely used by the electricity utility. A carefully designed ToU pricing can incentivize end-users' energy storage deployment, which helps shave the system peak load and reduce the system social cost. However, the optimization of ToU pricing is highly non-trivial, and an improperly designed ToU pricing may lead to storage investments that are far from the social optimum. In this paper, we aim at designing the optimal ToU pricing, jointly considering the social cost of the utility and the storage investment decisions of users. Since the storage investment costs are users' private information, we design low-complexity contracts to elicit the necessary information and induce the proper behavior of users' storage investment. The proposed contracts only specify three contract items, which guides users of arbitrarily many different storage-cost types to invest in full, partial, or no storage capacity with respect to their peak demands. Our contracts can achieve the social optimum when the utility knows the aggregate demand of each storage-cost type (but not the individual user's type). When the utility only knows the distribution of each storage-cost type's demand, our contracts can lead to a near-optimal solution. The gap with the social optimum is as small as 1.5% based on the simulations using realistic data. We also show that the proposed contracts can reduce the system social cost by over 30%, compared with no storage investment benchmark.


title: Online Learning of Non-Markovian Reward Models

abstract: There are situations in which an agent should receive rewards only after having accomplished a series of previous tasks, that is, rewards are non-Markovian. One natural and quite general way to represent history-dependent rewards is via a Mealy machine, a finite state automaton that produces output sequences from input sequences. In our formal setting, we consider a Markov decision process (MDP) that models the dynamics of the environment in which the agent evolves and a Mealy machine synchronized with this MDP to formalize the non-Markovian reward function. While the MDP is known by the agent, the reward function is unknown to the agent and must be learned. Our approach to overcome this challenge is to use Angluin's $L^*$ active learning algorithm to learn a Mealy machine representing the underlying non-Markovian reward machine (MRM). Formal methods are used to determine the optimal strategy for answering so-called membership queries posed by $L^*$. Moreover, we prove that the expected reward achieved will eventually be at least as much as a given, reasonable value provided by a domain expert. We evaluate our framework on three problems. The results show that using $L^*$ to learn an MRM in a non-Markovian reward decision process is effective.


title: Detection of the Occultation of 55 Cancri e with TESS

abstract: 55 Cancri e is an ultra-short period transiting Super-Earth observed by TESS in Sector 21. Using this photometry, we measure the occultation depth in the TESS bandpass, leveraging the precise transit light curve and comparing multiple detrending methods. We measure the occultation depth to be $(15.0\pm4.8)$ppm - a staggeringly small change in brightness, yet one detected by TESS in just a single sector of data. This implies a brightness temperature of $2800_{-160}^{+130}$K, which is around 1.5$\sigma$ greater than expected given the mean depth measured with Spitzer. This is not a formally significant difference, and may be accounted for by the known variability, or by an albedo of ~0.5. In any case, future TESS observations of this system will provide an exciting opportunity to further study this diminutive world's atmosphere.


title: fMRI Multiple Missing Values Imputation Regularized by a Recurrent Denoiser

abstract: Functional Magnetic Resonance Imaging (fMRI) is a neuroimaging technique with pivotal importance due to its scientific and clinical applications. As with any widely used imaging modality, there is a need to ensure the quality of the same, with missing values being highly frequent due to the presence of artifacts or sub-optimal imaging resolutions. Our work focus on missing values imputation on multivariate signal data. To do so, a new imputation method is proposed consisting on two major steps: spatial-dependent signal imputation and time-dependent regularization of the imputed signal. A novel layer, to be used in deep learning architectures, is proposed in this work, bringing back the concept of chained equations for multiple imputation. Finally, a recurrent layer is applied to tune the signal, such that it captures its true patterns. Both operations yield an improved robustness against state-of-the-art alternatives.


title: Instability for Axisymmetric Blow-up Solutions to Incompressible Euler Equations

abstract: It is still not known whether a solution to the incompressible Euler equation, endowed with a smooth initial value, can blow-up in finite time. In [{\em Comm. Math. Phys.}, 378:557--568, 2020] it has been shown that, if it exists, such a solution becomes linearly unstable close to the blow-up time. In this paper, we show that the same phenomenon holds even in the more rigid axisymmetric case. To obtain this result, we first prove a blow-up criterion involving only the toroidal component of the vorticity. The instability of blow-up profiles is also investigated.


title: Graph neural induction of value iteration

abstract: Many reinforcement learning tasks can benefit from explicit planning based on an internal model of the environment. Previously, such planning components have been incorporated through a neural network that partially aligns with the computational graph of value iteration. Such network have so far been focused on restrictive environments (e.g. grid-worlds), and modelled the planning procedure only indirectly. We relax these constraints, proposing a graph neural network (GNN) that executes the value iteration (VI) algorithm, across arbitrary environment models, with direct supervision on the intermediate steps of VI. The results indicate that GNNs are able to model value iteration accurately, recovering favourable metrics and policies across a variety of out-of-distribution tests. This suggests that GNN executors with strong supervision are a viable component within deep reinforcement learning systems.


title: Critical spin periods of sub-km-sized cohesive rubble-pile asteroids: dependencies on material parameters

abstract: In this work, we employ a soft-sphere discrete element method with a cohesion implementation to model the dynamical process of sub-km-sized cohesive rubble piles under continuous spinup. The dependencies of critical spin periods $T_c$ on several material parameters for oblate rubble piles with different bulk diameters $D$ are explored. Our numerical simulations show that both the increase of interparticle cohesion and particle shape parameter in our model can strengthen the bodies, especially for the smaller ones. In addition, we find there exists some critical diameter $D_{cri,\rho}$ at which the variation trend of $T_c$ with the bulk density $\rho$ reverses. Though a greater static friction coefficient $\mu_S$ can strengthen the body, this effect attains a minimum at a critical diameter $D_{cri,\phi}$ close to $D_{cri,\rho}$. The continuum theory (analytical method) is used for comparison and two equivalent critical diameters are obtained. The numerical results were fitted with the analytical method and the ratio of the interparticle cohesion $c$ to the bulk cohesion $C$ is estimated to be roughly 88.3. We find this ratio keeps constant for different $c$ and $\rho$, while it strongly depends on the friction angle $\phi$. Also, our numerical results further show that the dependency of $T_c$ on $\phi$ is opposite from that predicted by the continuum theory when $D$ < $D_{cri,\phi}$. Finally, we find that the two critical diameters happen to be close to the diameter when the mean normal stress of the body equals zero, which is the separation between the compressive regime and the tensile regime.


title: Grasp Proposal Networks: An End-to-End Solution for Visual Learning of Robotic Grasps

abstract: Learning robotic grasps from visual observations is a promising yet challenging task. Recent research shows its great potential by preparing and learning from large-scale synthetic datasets. For the popular, 6 degree-of-freedom (6-DOF) grasp setting of parallel-jaw gripper, most of existing methods take the strategy of heuristically sampling grasp candidates and then evaluating them using learned scoring functions. This strategy is limited in terms of the conflict between sampling efficiency and coverage of optimal grasps. To this end, we propose in this work a novel, end-to-end \emph{Grasp Proposal Network (GPNet)}, to predict a diverse set of 6-DOF grasps for an unseen object observed from a single and unknown camera view. GPNet builds on a key design of grasp proposal module that defines \emph{anchors of grasp centers} at discrete but regular 3D grid corners, which is flexible to support either more precise or more diverse grasp predictions. To test GPNet, we contribute a synthetic dataset of 6-DOF object grasps; evaluation is conducted using rule-based criteria, simulation test, and real test. Comparative results show the advantage of our methods over existing ones. Notably, GPNet gains better simulation results via the specified coverage, which helps achieve a ready translation in real test. We will make our dataset publicly available.


title: Pell and Pell-Lucas numbers as sums of three repdigits

abstract: In this study, we find all Pell and Pell-Lucas numbers which are sums of three base 10 repdigits. The proof of our main theorem uses lower bounds for linear forms in logarithms of algebraic numbers and a version of the Baker-Davenport reduction method.


title: Dolbeault and $J$-invariant cohomologies on almost complex manifolds

abstract: In this paper we relate the cohomology of $J$-invariant forms to the Dolbeault cohomology of an almost complex manifold. We find necessary and sufficient condition for the inclusion of the former into the latter to be true up to isomorphism. We also extend some results obtained by J. Cirici and S.O. Wilson about the computation of the left-invariant cohomology of nilmanifolds to the setting of solvmanifolds. Several examples are given.


title: LOC program for line radiative transfer

abstract: Radiative transfer modelling is part of many astrophysical simulations and is used to make synthetic observations and to assist analysis of observations. We concentrate on the modelling of the radio lines emitted by the interstellar medium. In connection with high-resolution models, this can be significant computationally challenge. Our goal is a line radiative transfer (RT) program that makes good use of multi-core CPUs and GPUs. Parallelisation is essential to speed up computations and to enable the tackling of large modelling tasks with personal computers. The program LOC is based on ray-tracing and uses standard accelerated lambda iteration (ALI) methods for faster convergence. The program works on 1D and 3D grids. The 1D version makes use of symmetries to speed up the RT calculations. The 3D version works with octree grids and, to enable calculations with large models, is optimised for low memory usage. Tests show that LOC gives results that are in agreement with other RT codes to within ~2%. This is typical of code-to-code differences, which often are related to different interpretations of the model set-up. LOC run times compare favourably with those of Monte Carlo codes. In 1D tests, LOC runs were by up to a factor ~20 faster on a GPU than on a single CPU core. In spite of the complex path calculations, up to ~10 speed-up was observed also for 3D models using octree discretisation. GPUs enable calculations of models with hundreds of millions of cells, as encountered in the context of large-scale simulations of interstellar clouds. LOC shows good performance and accuracy and and is able to handle many RT modelling tasks on personal computers. Being written in Python, with the computing-intensive parts implemented as compiled OpenCL kernels, it can also a serve as a platform for further experimentation with alternative RT implementations.


title: Deep Learning-based Four-region Lung Segmentation in Chest Radiography for COVID-19 Diagnosis

abstract: Purpose. Imaging plays an important role in assessing severity of COVID 19 pneumonia. However, semantic interpretation of chest radiography (CXR) findings does not include quantitative description of radiographic opacities. Most current AI assisted CXR image analysis framework do not quantify for regional variations of disease. To address these, we proposed a four region lung segmentation method to assist accurate quantification of COVID 19 pneumonia. Methods. A segmentation model to separate left and right lung is firstly applied, and then a carina and left hilum detection network is used, which are the clinical landmarks to separate the upper and lower lungs. To improve the segmentation performance of COVID 19 images, ensemble strategy incorporating five models is exploited. Using each region, we evaluated the clinical relevance of the proposed method with the Radiographic Assessment of the Quality of Lung Edema (RALE). Results. The proposed ensemble strategy showed dice score of 0.900, which is significantly higher than conventional methods (0.854 0.889). Mean intensities of segmented four regions indicate positive correlation to the extent and density scores of pulmonary opacities under the RALE framework. Conclusion. A deep learning based model in CXR can accurately segment and quantify regional distribution of pulmonary opacities in patients with COVID 19 pneumonia.


title: Reconstruction of a coloring from its homogeneous sets

abstract: We study a reconstruction problem for colorings. Given a finite or countable set $X$, a coloring on $X$ is a function $\varphi: [X]^{2}\to \{0,1\}$, where $[X]^{2}$ is the collection of all 2-elements subsets of $X$. A set $H\subseteq X$ is homogeneous for $\varphi$ when $\varphi$ is constant on $[H]^2$. Let $hom(\varphi)$ be the collection of all homogeneous sets for $\varphi$. The coloring $1-\varphi$ is called the complement of $\varphi$. We say that $\varphi$ is {\em reconstructible} up to complementation from its homogeneous sets, if for any coloring $\psi$ on $X$ such that $hom(\varphi)=hom(\psi)$ we have that either $\psi=\varphi$ or $\psi=1-\varphi$. We present several conditions for reconstructibility and non reconstructibility. We show that there is a Borel way to reconstruct a coloring from its homogeneous sets.


title: Neurosymbolic Reinforcement Learning with Formally Verified Exploration

abstract: We present Revel, a partially neural reinforcement learning (RL) framework for provably safe exploration in continuous state and action spaces. A key challenge for provably safe deep RL is that repeatedly verifying neural networks within a learning loop is computationally infeasible. We address this challenge using two policy classes: a general, neurosymbolic class with approximate gradients and a more restricted class of symbolic policies that allows efficient verification. Our learning algorithm is a mirror descent over policies: in each iteration, it safely lifts a symbolic policy into the neurosymbolic space, performs safe gradient updates to the resulting policy, and projects the updated policy into the safe symbolic subset, all without requiring explicit verification of neural networks. Our empirical results show that Revel enforces safe exploration in many scenarios in which Constrained Policy Optimization does not, and that it can discover policies that outperform those learned through prior approaches to verified exploration.


title: Effect of Inner Crust EoS on Neutron star properties

abstract: The neutron star maximum mass and the radius are investigated within the framework of the relativistic mean-field (RMF) model. The variation in the radius at the canonical mass, $R_{1.4}$, using different inner crust equation of state (EoS) with different symmetry energy slope parameter is studied. It is found that although the NS maximum mass and the corresponding radius do not vary much with different inner crust EoSs, the radius and the tidal deformability at 1.4$M_{\odot}$ vary with the different choice of crust EoS and variation of about 1-2 km is seen in the radius at the canonical mass. For non-unified EoSs, the crust with a low symmetry energy slope parameter produces a low NS radius at the canonical mass. The properties of maximally rotating neutron stars are also studied. The variation in the radius of rotating star at the canonical mass 1.4$M_{\odot}$ is also seen with the slope parameter. Similar to the static neutron star, the radius at 1.4$M_{\odot}$ of rotating neutron star is affected by slope parameter of the inner crust. Other important quantities like moment of inertia, frequency, rotational kinetic energy to gravitational energy ratio are also calculated. The variation in these quantities with the crust slope parameter is found to be more proportional to the mass and the radius of NS.


title: Dust emission, extinction, and scattering in LDN 1642

abstract: We study the near-infrared (NIR) scattering in LDN 1642, its correlation with the cloud structure, and the ability of dust models to simultaneously explain sub-millimetre emission, NIR extinction, and NIR scattering. We use observations from the HAWK-I instrument to measure the NIR surface brightness and extinction. These are compared with Herschel data on dust emission and, with radiative transfer modelling, with predictions calculated for different dust models. We find an optical depth ratio $\tau(250\,\mu{\rm m})/\tau(J)\approx 10^{-3}$, confirming earlier findings of high sub-millimetre emissivity. The relationships between the column density derived from dust emission and the NIR colour excesses is linear and consistent with the standard NIR extinction curve. The extinction peaks at $A_J=2.6\,$mag, the NIR surface brightness remaining correlated with $N({\rm H}_2)$ without saturation. Radiative transfer models can fit the sub-millimetre data with any of the tested dust models. However, these predict a NIR extinction that is higher and a NIR surface brightness that is lower than in observations. If the dust sub-millimetre emissivity is rescaled to the observed value of $\tau(250\,\mu{\rm m})/\tau(J)$, dust models with high NIR albedo can reach the observed level of NIR surface brightness. The NIR extinction of the models tends to be higher than directly measured, which is reflected in the shape of the NIR surface brightness spectra. The combination of emission, extinction, and scattering measurements provides strong constraints on dust models. The observations of LDN 1642 indicate clear dust evolution, including a strong increase in the sub-millimetre emissivity, not yet fully explained by the current dust models.


title: ARPA: Armenian Paraphrase Detection Corpus and Models

abstract: In this work, we employ a semi-automatic method based on back translation to generate a sentential paraphrase corpus for the Armenian language. The initial collection of sentences is translated from Armenian to English and back twice, resulting in pairs of lexically distant but semantically similar sentences. The generated paraphrases are then manually reviewed and annotated. Using the method train and test datasets are created, containing 2360 paraphrases in total. In addition, the datasets are used to train and evaluate BERTbased models for detecting paraphrase in Armenian, achieving results comparable to the state-of-the-art of other languages.


title: Symmetry Factors of Feynman Diagrams and the Homological Perturbation Lemma

abstract: We discuss the symmetry factors of Feynman diagrams of scalar field theories with polynomial potential. After giving a concise general formula for them, we present an elementary and direct proof that when computing scattering amplitudes using the homological perturbation lemma, each contributing Feynman diagram is indeed included with the correct symmetry factor.


title: Particle Mesh Ewald for Molecular Dynamics in OpenCL on an FPGA Cluster

abstract: Molecular Dynamics (MD) simulations play a central role in physics-driven drug discovery. MD applications often use the Particle Mesh Ewald (PME) algorithm to accelerate electrostatic force computations, but efficient parallelization has proven difficult due to the high communication requirements of distributed 3D FFTs. In this paper, we present the design and implementation of a scalable PME algorithm that runs on a cluster of Intel Stratix 10 FPGAs and can handle FFT sizes appropriate to address real-world drug discovery projects (grids up to $128^3$). To our knowledge, this is the first work to fully integrate all aspects of the PME algorithm (charge spreading, 3D FFT/IFFT, and force interpolation) within a distributed FPGA framework. The design is fully implemented with OpenCL for flexibility and ease of development and uses 100 Gbps links for direct FPGA-to-FPGA communications without the need for host interaction. We present experimental data up to 4 FPGAs (e.g., 206 microseconds per timestep for a 65536 atom simulation and $64^3$ 3D FFT), outperforming GPUs. Additionally, we discuss design scalability on clusters with differing topologies up to 64 FPGAs (with expected performance greater than all known GPU implementations) and integration with other hardware components to form a complete molecular dynamics application. We predict best-case performance of 6.6 microseconds per timestep on 64 FPGAs.


title: Positive Scalar Curvature on Noncompact Manifolds and the Liouville Theorem

abstract: Using minimal hypersurfaces, we obtain topological obstructions to admitting complete metrics with positive scalar curvature on a given class of non-compact n-manifolds with n less than 8. We show that the Liouville theorem for a locally conformally flat n-manifold of non-negative scalar curvature follows from the impossibility of there being a positive scalar curvature metric on its connect sum with the n-torus. With the recent work of Chodosh-Li, the Liouville theorem is now proved in all remaining cases. Finally, using MOTS instead of minimal hypersurfaces, we show an Initial Data Set version of these results with the Dominant Energy Scalar appearing instead of positive scalar curvature.


title: Sensing Technologies for Crowd Management, Adaptation, and Information Dissemination in Public Transportation Systems: A Review

abstract: Management of crowd information in public transportation (PT) systems is crucial, both to foster sustainable mobility, by increasing the user's comfort and satisfaction during normal operation, as well as to cope with emergency situations, such as pandemic crises, as recently experienced with COVID-19 limitations. This paper presents a taxonomy and review of sensing technologies based on Internet of Things (IoT) for real-time crowd analysis, which can be adopted in the different segments of the PT system (buses/trams/trains, railway/metro stations, and bus/tram stops). To discuss such technologies in a clear systematic perspective, we introduce a reference architecture for crowd management, which employs modern information and communication technologies (ICT) in order to: (i) monitor and predict crowding events; (ii) implement crowd-aware policies for real-time and adaptive operation control in intelligent transportation systems (ITSs); (iii) inform in real-time the users of the crowding status of the PT system, by means of electronic displays installed inside vehicles or at bus/tram stops/stations, and/or by mobile transport applications. It is envisioned that the innovative crowd management functionalities enabled by ICT/IoT sensing technologies can be incrementally implemented as an add-on to state-of-the-art ITS platforms, which are already in use by major PT companies operating in urban areas. Moreover, it is argued that, in this new framework, additional services can be delivered to the passengers, such as, e.g., on-line ticketing, vehicle access control and reservation in severely crowded situations, and evolved crowd-aware route planning.


title: A fake Interacting Dark Energy detection?

abstract: Models involving an interaction between the Dark Matter and the Dark Energy sectors have been proposed to alleviate the long standing Hubble constant tension. In this paper we analyze whether the constraints and potential hints obtained for these interacting models remain unchanged when using simulated Planck data. Interestingly, our simulations indicate that a dangerous fake detection for a non-zero interaction among the Dark Matter and the Dark Energy fluids could arise when dealing with current CMB Planck measurements alone. The very same hypothesis is tested against future CMB observations, finding that only cosmic variance limited polarization experiments, such as PICO or PRISM, could be able to break the existing parameter degeneracies and provide reliable cosmological constraints. This paper underlines the extreme importance of confronting the results arising from data analyses with those obtained with simulations when extracting cosmological limits within exotic cosmological scenarios.


title: A Titan mission using the Direct Fusion Drive

abstract: The main purpose of this work is to perform an analysis of realistic new trajectories for a robotic mission to Saturn's largest moon, Titan, in order to demonstrate the great advantages related to the Direct Fusion Drive (DFD). The DFD is a D -$^3$He fuelled, aneutronic, thermonuclear fusion propulsion system. This fusion propulsion concept is based on a magnetically confined field reversed configuration plasma, where the deuterium propellant is heated by fusion products, and then expanded into a magnetic nozzle, providing both thrust and electrical energy to the spacecraft [1]. The trajectories calculations and analysis for the Titan mission are obtained based on the characteristics provided by the PPPL [1]. Two different profile missions are considered: the first one is a thrust-coast-thrust profile with constant thrust and specific impulse; the second scenario is a continuous and constant thrust profile mission. Each mission study is divided into four different phases, starting from the initial low Earth orbit departure, the interplanetary trajectory, Saturn orbit insertion and the Titan orbit insertion. For all mission phases, maneuver time and propellant consumption are calculated. The results of calculations and mission analysis offer a complete overview of the advantages in term of payload mass and travel time. It is important to emphasize that the deceleration capability is one of the DFD game changer: in fact, the DFD performance allows to rapidly reach high velocities and decelerate in even shorter time period. This capability results in a total trip duration of 2.6 years for the thrust-coast-thrust profile and less than 2 years considering the continuous thrust profile. The high payload enabling capability, combined with the huge electrical power available from the fusion reactor, leads to a tremendous advantage compared to present technology.


title: Automatic Arabic Dialect Identification Systems for Written Texts: A Survey

abstract: Arabic dialect identification is a specific task of natural language processing, aiming to automatically predict the Arabic dialect of a given text. Arabic dialect identification is the first step in various natural language processing applications such as machine translation, multilingual text-to-speech synthesis, and cross-language text generation. Therefore, in the last decade, interest has increased in addressing the problem of Arabic dialect identification. In this paper, we present a comprehensive survey of Arabic dialect identification research in written texts. We first define the problem and its challenges. Then, the survey extensively discusses in a critical manner many aspects related to Arabic dialect identification task. So, we review the traditional machine learning methods, deep learning architectures, and complex learning approaches to Arabic dialect identification. We also detail the features and techniques for feature representations used to train the proposed systems. Moreover, we illustrate the taxonomy of Arabic dialects studied in the literature, the various levels of text processing at which Arabic dialect identification are conducted (e.g., token, sentence, and document level), as well as the available annotated resources, including evaluation benchmark corpora. Open challenges and issues are discussed at the end of the survey.


title: Lossy Checkpoint Compression in Full Waveform Inversion: a case study with ZFPv0.5.5 and the Overthrust Model

abstract: This paper proposes a new method that combines check-pointing methods with error-controlled lossy compression for large-scale high-performance Full-Waveform Inversion (FWI), an inverse problem commonly used in geophysical exploration. This combination can significantly reduce data movement, allowing a reduction in run time as well as peak memory. In the Exascale computing era, frequent data transfer (e.g., memory bandwidth, PCIe bandwidth for GPUs, or network) is the performance bottleneck rather than the peak FLOPS of the processing unit. Like many other adjoint-based optimization problems, FWI is costly in terms of the number of floating-point operations, large memory footprint during backpropagation, and data transfer overheads. Past work for adjoint methods has developed checkpointing methods that reduce the peak memory requirements during backpropagation at the cost of additional floating-point computations. Combining this traditional checkpointing with error-controlled lossy compression, we explore the three-way tradeoff between memory, precision, and time to solution. We investigate how approximation errors introduced by lossy compression of the forward solution impact the objective function gradient and final inverted solution. Empirical results from these numerical experiments indicate that high lossy-compression rates (compression factors ranging up to 100) have a relatively minor impact on convergence rates and the quality of the final solution.


title: Study of Cluster Structures in Nuclei through the Ratio Method. A Tribute to Mahir Hussein

abstract: For one-neutron halo nuclei, the cross section for elastic scattering and breakup at intermediate energy exhibit similar angular dependences. The Recoil Excitation and Breakup (REB) model of reactions elegantly explains this feature. It also leads to the idea of a new reaction observable to study the structure of loosely-bound nuclear systems: the Ratio. This observable consists of the ratio of angular distributions for different reaction channels, viz. elastic scattering and breakup, which cancels most of the dependence on the reaction mechanism; in particular it is insensitive to the choice of optical potentials that simulate the projectile-target interaction. This new observable is very sensitive to the structure of the projectile. In this article, we review the Ratio Method and its extension to low beam energies and proton-halo nuclei.


title: The impact of modelling choices on modelling outcomes: a spatio-temporal study of the association between COVID-19 spread and environmental conditions in Catalonia (Spain)

abstract: The choices that researchers make while conducting a statistical analysis usually have a notable impact on the results. This fact has become evident in the ongoing research of the association between the environment and the evolution of the COVID-19 pandemic, in light of the hundreds of contradictory studies that have already been published on this issue in just a few months. In this paper, a COVID-19 dataset containing the number of daily cases registered in the regions of Catalonia (Spain) since the start of the pandemic is analysed. Specifically, the possible effect of several environmental variables (solar exposure, mean temperature, and wind speed) on the number of cases is assessed. Thus, the first objective of the paper is to show how the choice of a certain type of statistical model to conduct the analysis can have a severe impact on the associations that are inferred between the covariates and the response variable. Secondly, it is shown how the use of spatio-temporal models accounting for the nature of the data allows understanding the evolution of the pandemic in space and time.


title: DWIE: an entity-centric dataset for multi-task document-level information extraction

abstract: This paper presents DWIE, the 'Deutsche Welle corpus for Information Extraction', a newly created multi-task dataset that combines four main Information Extraction (IE) annotation subtasks: (i) Named Entity Recognition (NER), (ii) Coreference Resolution, (iii) Relation Extraction (RE), and (iv) Entity Linking. DWIE is conceived as an entity-centric dataset that describes interactions and properties of conceptual entities on the level of the complete document. This contrasts with currently dominant mention-driven approaches that start from the detection and classification of named entity mentions in individual sentences. Further, DWIE presented two main challenges when building and evaluating IE models for it. First, the use of traditional mention-level evaluation metrics for NER and RE tasks on entity-centric DWIE dataset can result in measurements dominated by predictions on more frequently mentioned entities. We tackle this issue by proposing a new entity-driven metric that takes into account the number of mentions that compose each of the predicted and ground truth entities. Second, the document-level multi-task annotations require the models to transfer information between entity mentions located in different parts of the document, as well as between different tasks, in a joint learning setting. To realize this, we propose to use graph-based neural message passing techniques between document-level mention spans. Our experiments show an improvement of up to 5.5 F1 percentage points when incorporating neural graph propagation into our joint model. This demonstrates DWIE's potential to stimulate further research in graph neural networks for representation learning in multi-task IE. We make DWIE publicly available at https://github.com/klimzaporojets/DWIE.


title: On the extension problem for semiconcave functions with fractional modulus

abstract: Consider a locally Lipschitz function $u$ on the closure of a possibly unbounded open subset $\Omega$ of $\mathbb{R}^n$ with $C^{1,1}$ boundary. Suppose $u$ is semiconcave on $\overline \Omega$ with a fractional semiconcavity modulus. Is it possible to extend $u$ in a neighborhood of any boundary point retaining the same semiconcavity modulus? We show that this is indeed the case and we give two applications of this extension property. First, we derive an approximation result for semiconcave functions on closed domains. Then, we use the above extension property to study the propagation of singularities of semiconcave functions at boundary points.


title: Measurement of prompt $\mathrm{D}^0$ and $\overline{\mathrm{D}}^0$ meson azimuthal asymmetry and search for strong electric fields in PbPb collisions at $\sqrt{s_\mathrm{NN}} =$ 5.02 TeV

abstract: The strong Coulomb field created in ultrarelativistic heavy ion collisions is expected to produce a rapidity-dependent difference ($\Delta v_2$) in the second Fourier coefficient of the azimuthal distribution (elliptic flow, $v_2$) between $\mathrm{D}^0$ ($\mathrm{\bar{u}c}$) and $\overline{\mathrm{D}}^0$ ($\mathrm{u\bar{c}}$) mesons. Motivated by the search for evidence of this field, the CMS detector at the LHC is used to perform the first measurement of $\Delta v_2$. The rapidity-averaged value is found to be $\langle\Delta v_2 \rangle =$ 0.001 $\pm$ 0.001 (stat) $\pm$ 0.003 (syst) in PbPb collisions at $\sqrt{s_\mathrm{NN}} =$ 5.02 TeV. In addition, the influence of the collision geometry is explored by measuring the $\mathrm{D}^0$ and $\overline{\mathrm{D}}^0$ mesons $v_2$ and triangular flow coefficient ($v_3$) as functions of rapidity, transverse momentum ($p_\mathrm{T}$), and event centrality (a measure of the overlap of the two Pb nuclei). A clear centrality dependence of prompt $\mathrm{D}^0$ meson $v_2$ values is observed, while the $v_3$ is largely independent of centrality. These trends are consistent with expectations of flow driven by the initial-state geometry.


title: Computing Ex Ante Coordinated Team-Maxmin Equilibria in Zero-Sum Multiplayer Extensive-Form Games

abstract: Computational game theory has many applications in the modern world in both adversarial situations and the optimization of social good. While there exist many algorithms for computing solutions in two-player interactions, finding optimal strategies in multiplayer interactions efficiently remains an open challenge. This paper focuses on computing the multiplayer Team-Maxmin Equilibrium with Coordination device (TMECor) in zero-sum extensive-form games. TMECor models scenarios when a team of players coordinates ex ante against an adversary. Such situations can be found in card games (e.g., in Bridge and Poker), when a team works together to beat a target player but communication is prohibited; and also in real world, e.g., in forest-protection operations, when coordinated groups have limited contact during interdicting illegal loggers. The existing algorithms struggle to find a TMECor efficiently because of their high computational costs. To compute a TMECor in larger games, we make the following key contributions: (1) we propose a hybrid-form strategy representation for the team, which preserves the set of equilibria; (2) we introduce a column-generation algorithm with a guaranteed finite-time convergence in the infinite strategy space based on a novel best-response oracle; (3) we develop an associated-representation technique for the exact representation of the multilinear terms in the best-response oracle; and (4) we experimentally show that our algorithm is several orders of magnitude faster than prior state-of-the-art algorithms in large games.


title: Stringy K\"ahler Moduli for the Pfaffian-Grassmannian Correspondence

abstract: The Pfaffian-Grassmannian correspondence relates certain pairs of derived equivalent non-birational Calabi-Yau 3-folds. Given such a pair, I construct a set of derived equivalences corresponding to mutations of an exceptional collection on the relevant Grassmannian, and give a mirror symmetry interpretation, following a physical analysis of Eager, Hori, Knapp, and Romo.


title: Image quality enhancement in wireless capsule endoscopy with adaptive fraction gamma transformation and unsharp masking filter

abstract: Wireless Capsule Endoscopy (WCE) presented in 2001 as one of the key approaches to observe the entire gastrointestinal (GI) tract, generally the small bowels. It has been used to detect diseases in the gastrointestinal tract. Endoscopic image analysis is still a required field with many open problems. The quality of many images it produced is rather unacceptable due to the nature of this imaging system, which causes some issues to prognosticate by physicians and computer-aided diagnosis. In this paper, a novel technique is proposed to improve the quality of images captured by the WCE. More specifically, it enhanced the brightness, contrast, and preserve the color information while reducing its computational complexity. Furthermore, the experimental results of PSNR and SSIM confirm that the error rate in this method is near to the ground and negligible. Moreover, the proposed method improves intensity restricted average local entropy (IRMLE) by 22%, color enhancement factor (CEF) by 10%, and can keep the lightness of image effectively. The performances of our method have better visual quality and objective assessments in compare to the state-of-art methods.


title: Interactive White Balancing for Camera-Rendered Images

abstract: White balance (WB) is one of the first photo-finishing steps used to render a captured image to its final output. WB is applied to remove the color cast caused by the scene's illumination. Interactive photo-editing software allows users to manually select different regions in a photo as examples of the illumination for WB correction (e.g., clicking on achromatic objects). Such interactive editing is possible only with images saved in a RAW image format. This is because RAW images have no photo-rendering operations applied and photo-editing software is able to apply WB and other photo-finishing procedures to render the final image. Interactively editing WB in camera-rendered images is significantly more challenging. This is because the camera hardware has already applied WB to the image and subsequent nonlinear photo-processing routines. These nonlinear rendering operations make it difficult to change the WB post-capture. The goal of this paper is to allow interactive WB manipulation of camera-rendered images. The proposed method is an extension of our recent work \cite{afifi2019color} that proposed a post-capture method for WB correction based on nonlinear color-mapping functions. Here, we introduce a new framework that links the nonlinear color-mapping functions directly to user-selected colors to enable {\it interactive} WB manipulation. This new framework is also more efficient in terms of memory and run-time (99\% reduction in memory and 3$\times$ speed-up). Lastly, we describe how our framework can leverage a simple illumination estimation method (i.e., gray-world) to perform auto-WB correction that is on a par with the WB correction results in \cite{afifi2019color}. The source code is publicly available at https://github.com/mahmoudnafifi/Interactive_WB_correction.


title: Exploration of trans-Neptunian objects using the Direct Fusion Drive

abstract: The Direct Fusion Drive (DFD) is a nuclear fusion engine that will provide thrust and electrical power for any spacecraft. It is a compact engine, based on the D -$^{3}$He aneutronic fusion reaction that uses the Princeton field reversed configuration for the plasma confinement and an odd parity rotating magnetic field as heating method to achieve nuclear fusion (Cohen et al., 2019), which will heat the deuterium, also used as propellant. \par In this work we present possibilities to explore the solar system outer border using the DFD. The objective is to reach some trans-Neptunian object, such as the dwarf planets Makemake, Eris and Haumea in less than 10 years with a payload mass of at least of 1500 kg, so that it would enable all kind of missions, from scientific observation to in-situ operations. For each mission a thrust-coast-thrust profile is considered. For this reason, each mission is divided into 3 phases: i. the spiral trajectory to escape Earth gravity; ii. the interplanetary travel, from the exit of Earth sphere of influence to the end of the coasting phase; iii. maneuvers to rendezvous with the dwarf planet. Propellant mass consumption, initial and final masses, velocities and $\Delta V$ for each maneuver are presented. Calculations to reach a vicinity at 125 AU for the study of Sun magnetosphere as well as Eris via flyby are also presented, with interest on the influence of different acceleration phases. Our calculations show that a spacecraft propelled by DFD will open unprecedented possibilities to explore the border of the solar system, in a limited amount of time and with a very high payload to propellant masses ratio.


title: Complementary Meta-Reinforcement Learning for Fault-Adaptive Control

abstract: Faults are endemic to all systems. Adaptive fault-tolerant control maintains degraded performance when faults occur as opposed to unsafe conditions or catastrophic events. In systems with abrupt faults and strict time constraints, it is imperative for control to adapt quickly to system changes to maintain system operations. We present a meta-reinforcement learning approach that quickly adapts its control policy to changing conditions. The approach builds upon model-agnostic meta learning (MAML). The controller maintains a complement of prior policies learned under system faults. This "library" is evaluated on a system after a new fault to initialize the new policy. This contrasts with MAML, where the controller derives intermediate policies anew, sampled from a distribution of similar systems, to initialize a new policy. Our approach improves sample efficiency of the reinforcement learning process. We evaluate our approach on an aircraft fuel transfer system under abrupt faults.


title: Group completion in the K-theory and Grothendieck-Witt theory of proto-exact categories

abstract: We study the algebraic $K$-theory and Grothendieck-Witt theory of proto-exact categories, with a particular focus on classes of examples of $\mathbb{F}_1$-linear nature. Our main results are analogues of theorems of Quillen and Schlichting, relating the $K$-theory or Grothendieck-Witt theories of proto-exact categories defined using the (hermitian) $Q$-construction and group completion.


title: Algebraic K-theory and Grothendieck-Witt theory of monoid schemes

abstract: We study the algebraic $K$-theory and Grothendieck-Witt theory of proto-exact categories of vector bundles over monoid schemes. Our main results are the complete description of the algebraic $K$-theory space of an integral monoid scheme $X$ in terms of its Picard group $\operatorname{Pic}(X)$ and pointed monoid of regular functions $\Gamma(X, \mathcal{O}_X)$ and a description of the Grothendieck-Witt space of $X$ in terms of an additional involution on $\operatorname{Pic}(X)$. We also prove space-level projective bundle formulae in both settings.


title: Applying Type Oriented Programming to the PGAS Memory Model

abstract: The Partitioned Global Address Space memory model has been popularised by a number of languages and applications. However this abstraction can often result in the programmer having to rely on some in built choices and with this implicit parallelism, with little assistance by the programmer, the scalability and performance of the code heavily depends on the compiler and choice of application. We propose an approach, type oriented programming, where all aspects of parallelism are encoded via types and the type system. The type information associated by the programmer will determine, for instance, how an array is allocated, partitioned and distributed. With this rich, high level of information the compiler can generate an efficient target executable. If the programmer wishes to omit detailed type information then the compiler will rely on well documented and safe default behaviour which can be tuned at a later date with the addition of types. The type oriented parallel programming language Mesham, which follows the PGAS memory model, is presented. We illustrate how, if so wished, with the use of types one can tune all parameters and options associated with this PGAS model in a clean and consistent manner without rewriting large portions of code. An FFT case study is presented and considered both in terms of programmability and performance - the latter we demonstrate by a comparison with an existing FFT solver.


title: A highly scalable approach to solving linear systems using two-stage multisplitting

abstract: Iterative methods for solving large sparse systems of linear equations are widely used in many HPC applications. Extreme scaling of these methods can be difficult, however, since global communication to form dot products is typically required at every iteration. To try to overcome this limitation we propose a hybrid approach, where the matrix is partitioned into blocks. Within each block, we use a highly optimised (parallel) conventional solver, but we then couple the blocks together using block Jacobi or some other multisplitting technique that can be implemented in either a synchronous or an asynchronous fashion. This allows us to limit the block size to the point where the conventional iterative methods no longer scale, and to avoid global communication (and possibly synchronisation) across all processes. Our block framework has been built to use PETSc, a popular scientific suite for solving sparse linear systems, as the synchronous intra-block solver, and we demonstrate results on up to 32768 cores of a Cray XE6 system. At this scale, the conventional solvers are still more efficient, though trends suggest that the hybrid approach may be beneficial at higher core counts.


title: A practical method for pupil segmentation in challenging conditions

abstract: Various methods have been proposed for authentication, including password or pattern drawing, which is clearly visible on personal electronic devices. However, these methods of authentication are more vulnerable, as passwords and cards can be forgotten, lost, or stolen. Therefore, a great curiosity has developed in individual authentication using biometric methods that are based on physical and behavioral features not possible to forget or be stolen. Authentication methods are used widely in portable devices since the lifetime of battery and time response are essential concerns in these devices. Due to the fact that these systems need to be fast and low power, designing efficient methods is still critical. We, in this paper, proposed a new low power and fast method for pupil segmentation based on approximate computing that under trading a minor level of accuracy, significant improvement in power assumption and time saving can be obtained and makes this algorithm suitable for hardware implementation. Furthermore, the experimental results of PSNR and SSIM show that the error rate in this method is negligible.


title: Majorana Zero Modes in Cylindrical Semiconductor Quantum Wire

abstract: We study Majorana zero modes properties in cylindrical cross-section semiconductor quantum wires based on the $k \cdot p$ theory and a discretized lattice model. Within this model, the influence of disorder potentials in the wire and amplitude and phase fluctuations of the superconducting order-parameter are discussed. We find that for typical wire geometries, pairing potentials, and spin-orbit coupling strengths, coupling between quasi-one-dimensional sub-bands is weak, low-energy quasiparticles near the Fermi energy are nearly completely spin-polarized, and the number of electrons in the active sub-bands of topological states is small.


title: A refinement of the binomial distribution using the quantum binomial theorem

abstract: $q$-analogs of special functions, including hypergeometric functions, play a central role in mathematics and have numerous applications in physics. In the theory of probability, $q$-analogs of various probability distributions have been introduced over the years, including the binomial distribution. Here, I propose a new refinement of the binomial distribution by way of the quantum binomial theorem (also known as the the noncommutative $q$-binomial theorem), where the $q$ is a formal variable in which information related to the sequence of successes and failures in the underlying binomial experiment is encoded in its exponent.


title: Retrodiction beyond the Heisenberg uncertainty relation

abstract: In quantum mechanics, the Heisenberg uncertainty relation presents an ultimate limit to the precision by which one can predict the outcome of position and momentum measurements on a particle. Heisenberg explicitly stated this relation for the prediction of "hypothetical future measurements", and it does not describe the situation where knowledge is available about the system both earlier and later than the time of the measurement. We study what happens under such circumstances with an atomic ensemble containing $10^{11}$ $^{87}\text{Rb}$ atoms, initiated nearly in the ground state in presence of a magnetic field. The collective spin observables of the atoms are then well described by canonical position and momentum observables, $\hat{x}_A$ and $\hat{p}_A$ that satisfy $[\hat{x}_A,\hat{p}_A]=i\hbar$. Quantum non-demolition measurements of $\hat{p}_A$ before and of $\hat{x}_A$ after time $t$ allow precise estimates of both observables at time $t$. The capability of assigning precise values to multiple observables and to observe their variation during physical processes may have implications in quantum state estimation and sensing.


title: Recurrent Inference in Text Editing

abstract: In neural text editing, prevalent sequence-to-sequence based approaches directly map the unedited text either to the edited text or the editing operations, in which the performance is degraded by the limited source text encoding and long, varying decoding steps. To address this problem, we propose a new inference method, Recurrence, that iteratively performs editing actions, significantly narrowing the problem space. In each iteration, encoding the partially edited text, Recurrence decodes the latent representation, generates an action of short, fixed-length, and applies the action to complete a single edit. For a comprehensive comparison, we introduce three types of text editing tasks: Arithmetic Operators Restoration (AOR), Arithmetic Equation Simplification (AES), Arithmetic Equation Correction (AEC). Extensive experiments on these tasks with varying difficulties demonstrate that Recurrence achieves improvements over conventional inference methods.