title: Parton-Hadron-Quantum-Molecular Dynamics (PHQMD) -- A Novel Microscopic N-Body Transport Approach for Heavy-Ion Collisions, Dynamical Cluster Formation and Hypernuclei Production

abstract: Cluster and hypernuclei production in heavy-ion collisions is presently under active experimental and theoretical investigation. Since clusters are weekly bound objects, their production is very sensitive to the dynamical evolution of the system and its interactions. The theoretical description of cluster formation is related to the n-body problem. Here we present the novel n-body dynamical transport approach PHQMD (Parton-Hadron-Quantum-Molecular Dynamics) which is designed to provide a microscopic description of nuclear cluster and hypernucleus formation as well as of general particle production in heavy-ion reactions at relativistic energies. In difference to the coalescence or statistical models, often used for the cluster formation, in PHQMD clusters are formed dynamically due to the interactions between baryons described on a basis of Quantum Molecular Dynamics (QMD)which allows to propagate the n-body Wigner density and n-body correlations in phase-space, essential for the cluster formation. The clusters are identified by the MST (Minimum Spanning Tree) or the SACA ('Simulated Annealing Cluster Algorithm') algorithm which finds the most bound configuration of nucleons and clusters. Collisions among hadrons as well as Quark-Gluon-Plasma formation and parton dynamics in PHQMD are treated in the same way as in the established PHSD (Parton-Hadron-String Dynamics)transport approach. In order to verify our approach with respect to the general dynamics we present here the first PHQMD results for general 'bulk' observables such as rapidity distributions and transverse mass spectra for hadrons ($\pi, K, \bar K, p, \bar p, \Lambda, \bar \Lambda$) from SIS to RHIC energies. We find a good description of the 'bulk' dynamics which allows us to proceed with the results on cluster production, including hypernuclei.


title: Large fronts in nonlocally coupled systems using Conley-Floer homology

abstract: In this paper we study travelling front solutions for nonlocal equations of the type \begin{equation} \partial_t u = N * S(u) + \nabla F(u), \qquad u(t,x) \in \mathbf{R}^d. \end{equation} Here $N *$ denotes a convolution-type operator in the spatial variable $x \in \mathbf{R}$, either continuous or discrete. We develop a Morse-type theory, the Conley--Floer homology, which captures travelling front solutions in a topologically robust manner, by encoding fronts in the boundary operator of a chain complex. The equations describing the travelling fronts involve both forward and backward delay terms, possibly of infinite range. Consequently, these equations lack a natural phase space, so that classic dynamical systems tools are not at our disposal. We therefore develop, from scratch, a general transversality theory, and a classification of bounded solutions, in the absence of a phase space. In various cases the resulting Conley--Floer homology can be interpreted as a homological Conley index for multivalued vector fields. Using the Conley--Floer homology we derive existence and multiplicity results on travelling front solutions.


title: Task and Bandwidth Allocation for UAV-Assisted Mobile Edge Computing with Trajectory Design

abstract: In this paper, we investigate a mobile edge computing (MEC) architecture with the assistance of an unmanned aerial vehicle (UAV). The UAV acts as a computing server to help the user equipment (UEs) compute their tasks as well as a relay to further offload the UEs' tasks to the access point (AP) for computing. The total energy consumption of the UAV and UEs is minimized by jointly optimizing the task allocation, the bandwidth allocation and the UAV's trajectory, subject to the task constraints, the information-causality constraints, the bandwidth allocation constraints, and the UAV's trajectory constraints. The formulated optimization problem is nonconvex, and we propose an alternating algorithm to optimize the parameters iteratively. The effectiveness of the algorithm is verified by the simulation results, where great performance gain is achieved in comparison with some practical baselines, especially in handling the computation-intensive and latency-critical tasks.


title: The Densest k Subgraph Problem in b-Outerplanar Graphs

abstract: We give an exact $O(nk^2)$ algorithm for finding the densest k subgraph in outerplanar graphs. We extend this to an exact $O(nk^2 8^b)$ algorithm for finding the densest k subgraph in b-outerplanar graphs. Finally, we hypothesize that Baker's PTAS technique will not work for the densest k subgraph problem in planar graphs.


title: Real-time calibration with spectator qubits

abstract: Accurate control of quantum systems requires precise measurement of the parameters that govern the dynamics, including control fields and interactions with the environment. Parameters will drift in time and experiments interleave protocols that perform parameter estimation with protocols that measure the dynamics of interest. Here we specialize to a system made of qubits where the dynamics correspond to a quantum computation. We propose setting aside some qubits, which we call spectator qubits, to be measured periodically during the computation, to act as probes of the changing experimental and environmental parameters. By using control strategies that minimize the sensitivity of the qubits involved in the computation, we can acquire sufficient information from the spectator qubits to update our estimates of the parameters and improve our control. As a result, we can increase the length of experiment where the dynamics of the data qubits are highly reliable. In particular, we simulate how spectator qubits can keep the error level of operations on data qubits below a $10^{-4}$ threshold in two scenarios involving coherent errors: a classical magnetic field gradient dynamically decoupled with sequences of two or four $\pi$-pulses, and laser beam instability detected via crosstalk with neighboring atoms in an ion trap.


title: Brain Tissues Segmentation on MR Perfusion Images Using CUSUM Filter for Boundary Pixels

abstract: The fully automated and relatively accurate method of brain tissues segmentation on T2-weighted magnetic resonance perfusion images is proposed. Segmentation with this method provides a possibility to obtain perfusion region of interest on images with abnormal brain anatomy that is very important for perfusion analysis. In the proposed method the result is presented as a binary mask, which marks two regions: brain tissues pixels with unity values and skull, extracranial soft tissue and background pixels with zero values. The binary mask is produced based on the location of boundary between two studied regions. Each boundary point is detected with CUSUM filter as a change point for iteratively accumulated points at time of moving on a sinusoidal-like path along the boundary from one region to another. The evaluation results for 20 clinical cases showed that proposed segmentation method could significantly reduce the time and efforts required to obtain desirable results for perfusion region of interest detection on T2-weighted magnetic resonance perfusion images with abnormal brain anatomy.


title: Hopfions emerge in ferroelectrics

abstract: Paradigmatic knotted solitons, Hopfions, that are characterized by topological Hopf invariant, are widely investigated in the diverse areas ranging from high energy physics, cosmology and astrophysics to biology, magneto- and hydrodynamics and condensed matter physics. Yet, while holding high promise for applications, they remain elusive and under-explored. Here we demonstrate that Hopfions emerge as a basic configuration of polarization field in confined ferroelectric nanoparticles. Our findings establish that Hopfions govern a wealth of novel functionalities in the electromagnetic response of composite nanomaterials opening route to unprecedented technological applications.


title: SAGE: A Proposal for a Space Atomic Gravity Explorer

abstract: The proposed mission "Space Atomic Gravity Explorer" (SAGE) has the scientific objective to investigate gravitational waves, dark matter, and other fundamental aspects of gravity as well as the connection between gravitational physics and quantum physics using new quantum sensors, namely, optical atomic clocks and atom interferometers based on ultracold strontium atoms.

categories: astro-ph.IM gr-qc physics.atom-ph quant-ph


title: Annotary: A Concolic Execution System for Developing Secure Smart Contracts

abstract: Ethereum smart contracts are executable programs, deployed on a peer-to-peer network and executed in a consensus-based fashion. Their bytecode is public, immutable and once deployed to the blockchain, cannot be patched anymore. As smart contracts may hold Ether worth of several million dollars, they are attractive targets for attackers and indeed some contracts have successfully been exploited in the recent past, resulting in tremendous financial losses. The correctness of smart contracts is thus of utmost importance. While first approaches on formal verification exist, they demand users to be well-versed in formal methods which are alien to many developers and are only able to analyze individual contracts, without considering their execution environment, i.e., calls to external contracts, sequences of transaction, and values from the actual blockchain storage. In this paper, we present Annotary, a concolic execution framework to analyze smart contracts for vulnerabilities, supported by annotations which developers write directly in the Solidity source code. In contrast to existing work, Annotary supports analysis of inter-transactional, inter-contract control flows and combines symbolic execution of EVM bytecode with a resolution of concrete values from the public Ethereum blockchain. While the analysis of Annotary tends to weight precision higher than soundness, we analyze inter-transactional call chains to eliminate false positives from unreachable states that traditional symbolic execution would not be able to handle. We present the annotation and analysis concepts of Annotary, explain its implementation on top of the Laser symbolic virtual machine, and demonstrate its usage as a plugin for the Sublime Text editor.


title: Unexplainability and Incomprehensibility of Artificial Intelligence

abstract: Explainability and comprehensibility of AI are important requirements for intelligent systems deployed in real-world domains. Users want and frequently need to understand how decisions impacting them are made. Similarly it is important to understand how an intelligent system functions for safety and security reasons. In this paper, we describe two complementary impossibility results (Unexplainability and Incomprehensibility), essentially showing that advanced AIs would not be able to accurately explain some of their decisions and for the decisions they could explain people would not understand some of those explanations.


title: Profiling Players with Engagement Predictions

abstract: The possibility of using player engagement predictions to profile high spending video game users is explored. In particular, individual-player survival curves in terms of days after first login, game level reached and accumulated playtime are used to classify players into different groups. Lifetime value predictions for each player---generated using a deep learning method based on long short-term memory---are also included in the analysis, and the relations between all these variables are thoroughly investigated. Our results suggest this constitutes a promising approach to user profiling.


title: A Study of the Effect of Resolving Negation and Sentiment Analysis in Recognizing Text Entailment for Arabic

abstract: Recognizing the entailment relation showed that its influence to extract the semantic inferences in wide-ranging natural language processing domains (text summarization, question answering, etc.) and enhanced the results of their output. For Arabic language, few attempts concerns with Arabic entailment problem. This paper aims to increase the entailment accuracy for Arabic texts by resolving negation of the text-hypothesis pair and determining the polarity of the text-hypothesis pair whether it is Positive, Negative or Neutral. It is noticed that the absence of negation detection feature gives inaccurate results when detecting the entailment relation since the negation revers the truth. The negation words are considered stop words and removed from the text-hypothesis pair which may lead wrong entailment decision. Another case not solved previously, it is impossible that the positive text entails negative text and vice versa. In this paper, in order to classify the text-hypothesis pair polarity, a sentiment analysis tool is used. We show that analyzing the polarity of the text-hypothesis pair increases the entailment accuracy. to evaluate our approach we used a dataset for Arabic textual entailment (ArbTEDS) consisted of 618 text-hypothesis pairs and showed that the Arabic entailment accuracy is increased by resolving negation for entailment relation and analyzing the polarity of the text-hypothesis pair.


title: Approximating integrals with respect to stationary probability measures of iterated function systems

abstract: We study fast approximation of integrals with respect to stationary probability measures associated to iterated functions systems on the unit interval. We provide an algorithm for approximating the integrals under certain conditions on the iterated function system and on the function that is being integrated. We apply this technique to estimate Hausdorff moments, Wasserstein distances and Lyapunov exponents of stationary probability measures.


title: A fast simple algorithm for computing the potential of charges on a line

abstract: We present a fast method for evaluating expressions of the form $$ u_j = \sum_{i = 1,i \not = j}^n \frac{\alpha_i}{x_i - x_j}, \quad \text{for} \quad j = 1,\ldots,n, $$ where $\alpha_i$ are real numbers, and $x_i$ are points in a compact interval of $\mathbb{R}$. This expression can be viewed as representing the electrostatic potential generated by charges on a line in $\mathbb{R}^3$. While fast algorithms for computing the electrostatic potential of general distributions of charges in $\mathbb{R}^3$ exist, in a number of situations in computational physics it is useful to have a simple and extremely fast method for evaluating the potential of charges on a line; we present such a method in this paper, and report numerical results for several examples.


title: Space Telescope and Optical Reverberation Mapping Project. VIII. Time Variability of Emission and Absorption in NGC 5548 Based on Modeling the Ultraviolet Spectrum

abstract: We model the ultraviolet spectra of the Seyfert 1 galaxy NGC~5548 obtained with the Hubble Space Telescope during the 6-month reverberation-mapping campaign in 2014. Our model of the emission from NGC 5548 corrects for overlying absorption and deblends the individual emission lines. Using the modeled spectra, we measure the response to continuum variations for the deblended and absorption-corrected individual broad emission lines, the velocity-dependent profiles of Ly$\alpha$ and C IV, and the narrow and broad intrinsic absorption features. We find that the time lags for the corrected emission lines are comparable to those for the original data. The velocity-binned lag profiles of Ly$\alpha$ and C IV have a double-peaked structure indicative of a truncated Keplerian disk. The narrow absorption lines show delayed response to continuum variations corresponding to recombination in gas with a density of $\sim 10^5~\rm cm^{-3}$. The high-ionization narrow absorption lines decorrelate from continuum variations during the same period as the broad emission lines. Analyzing the response of these absorption lines during this period shows that the ionizing flux is diminished in strength relative to the far-ultraviolet continuum. The broad absorption lines associated with the X-ray obscurer decrease in strength during this same time interval. The appearance of X-ray obscuration in $\sim\,2012$ corresponds with an increase in the luminosity of NGC 5548 following an extended low state. We suggest that the obscurer is a disk wind triggered by the brightening of NGC 5548 following the decrease in size of the broad-line region during the preceding low-luminosity state.


title: Multi-Scale Vector Quantization with Reconstruction Trees

abstract: We propose and study a multi-scale approach to vector quantization. We develop an algorithm, dubbed reconstruction trees, inspired by decision trees. Here the objective is parsimonious reconstruction of unsupervised data, rather than classification. Contrasted to more standard vector quantization methods, such as K-means, the proposed approach leverages a family of given partitions, to quickly explore the data in a coarse to fine-- multi-scale-- fashion. Our main technical contribution is an analysis of the expected distortion achieved by the proposed algorithm, when the data are assumed to be sampled from a fixed unknown distribution. In this context, we derive both asymptotic and finite sample results under suitable regularity assumptions on the distribution. As a special case, we consider the setting where the data generating distribution is supported on a compact Riemannian sub-manifold. Tools from differential geometry and concentration of measure are useful in our analysis.


title: Deep Active Inference as Variational Policy Gradients

abstract: Active Inference is a theory of action arising from neuroscience which casts action and planning as a bayesian inference problem to be solved by minimizing a single quantity - the variational free energy. Active Inference promises a unifying account of action and perception coupled with a biologically plausible process theory. Despite these potential advantages, current implementations of Active Inference can only handle small, discrete policy and state-spaces and typically require the environmental dynamics to be known. In this paper we propose a novel deep Active Inference algorithm which approximates key densities using deep neural networks as flexible function approximators, which enables Active Inference to scale to significantly larger and more complex tasks. We demonstrate our approach on a suite of OpenAIGym benchmark tasks and obtain performance comparable with common reinforcement learning baselines. Moreover, our algorithm shows similarities with maximum entropy reinforcement learning and the policy gradients algorithm, which reveals interesting connections between the Active Inference framework and reinforcement learning.


title: Pitako -- Recommending Game Design Elements in Cicero

abstract: Recommender Systems are widely and successfully applied in e-commerce. Could they be used for design? In this paper, we introduce Pitako1, a tool that applies the Recommender System concept to assist humans in creative tasks. More specifically, Pitako provides suggestions by taking games designed by humans as inputs, and recommends mechanics and dynamics as outputs. Pitako is implemented as a new system within the mixed-initiative AI-based Game Design Assistant, Cicero. This paper discusses the motivation behind the implementation of Pitako as well as its technical details and presents usage examples. We believe that Pitako can influence the use of recommender systems to help humans in their daily tasks.


title: Counting Superstrata

abstract: We count the number of regular supersymmetric solutions in supergravity, called superstrata, that represent non-linear completion of linear fluctuations around empty AdS_3 x S^3. These solutions carry the same charges as the D1-D5-P black hole and represent its microstates. We estimate the entropy using thermodynamic approximation and find that it is parametrically smaller than the area-entropy of the D1-D5-P black hole. Therefore, these superstrata based on AdS_3 x S^3 are not typical microstates of the black hole. What are missing in the superstrata based on AdS_3 x S^3 are higher and fractional modes in the dual CFT language. We speculate on what kind of other configurations to look at as possible realization of those modes in gravity picture, such as superstrata based on other geometries, as well as other brane configurations.


title: Zero-one laws for existential first order sentences of bounded quantifier depth

abstract: For any fixed positive integer $k$, let $\alpha_{k}$ denote the smallest $\alpha \in (0,1)$ such that the random graph sequence $\left\{G\left(n, n^{-\alpha}\right)\right\}$ does not satisfy the zero-one law for the set $\mathcal{E}_{k}$ of all existential first order sentences that are of quantifier depth at most $k$. This paper finds upper and lower bounds on $\alpha_{k}$, showing that as $k \rightarrow \infty$, we have $\alpha_{k} = \left(k - 2 - t(k)\right)^{-1}$ for some function $t(k) = \Theta(k^{-2})$. We also establish the precise value of $\alpha_{k}$ when $k = 4$.


title: Swarm Engineering Through Quantitative Measurement of Swarm Robotic Principles in a 10,000 Robot Swarm

abstract: When designing swarm-robotic systems, systematic comparison of algorithms from different domains is necessary to determine which is capable of scaling up to handle the target problem size and target operating conditions. We propose a set of quantitative metrics for scalability, flexibility, and emergence which are capable of addressing these needs during the system design process. We demonstrate the applicability of our proposed metrics as a design tool by solving a large object gathering problem in temporally varying operating conditions using iterative hypothesis evaluation. We provide experimental results obtained in simulation for swarms of over 10,000 robots.


title: Kostka Numbers and Longest Increasing Subsequences

abstract: A classical bijection relates certain Kostka numbers, the Catalan numbers, and permutations of length $n$ with longest increasing subsequence (LIS) of length at most $2.$ We generalize this bijection and find Kostka numbers which count the number of permutations of $n$ with LIS length at most $w,$ the number of permutations with $(1, \cdots, w)$ as a LIS, and other similar subsets of permutations.


title: One can hear the shape of ellipses of small eccentricity

abstract: We show that if the eccentricity of an ellipse is sufficiently small then up to isometries it is spectrally unique among all smooth domains. We do not assume any symmetry, convexity, or closeness to the ellipse, on the class of domains. In the course of the proof we also show that for nearly circular domains, the lengths of periodic orbits that are shorter than the perimeter of the domain must belong to the singular support of the wave trace. As a result we also obtain a Laplace spectral rigidity result for the class of axially symmetric nearly circular domains.


title: Schwinger's Picture of Quantum Mechanics II: Algebras and Observables

abstract: The kinematical foundations of Schwinger's algebra of selective measurements were discussed in a previous paper (arXiv:1905.12274) and, as a consequence of this, a new picture of quantum mechanics based on groupoids was proposed. In this paper, the dynamical aspects of the theory are analysed. For that, the algebra generated by the observables, as well as the notion of state, are dicussed, and the structure of the transition functions, that plays an instrumental role in Schwinger's picture, is elucidated. A Hamiltonian picture of dynamical evolution emerges naturally, and the formalism offers a simple way to discuss the quantum-to-classical transition. Some basic examples, the qubit and the harmonic oscillator, are examined, and the relation with the standard Dirac-Schr\"odinger and Born-Jordan-Heisenberg pictures is discussed.


title: Systematic parameterization of heat-assisted magnetic recording switching probabilities and the consequences for the resulting SNR

abstract: The signal-to-noise ratio (SNR) of a bit series written with heat-assisted magnetic recording (HAMR) on granular media depends on a large number of different parameters. The choice of material properties is essential for the obtained switching probabilities of single grains and therefore for the written bits' quality in terms of SNR. Studies where the effects of different material compositions on transition jitter and the switching probability are evaluated were done, but it is not obvious, how significant those improvements will finally change the received SNR. To investigate that influence, we developed an analytical model of the switching probability phase diagram, which contains independent parameters for, inter alia, transition width, switching probability and curvature. Different values lead to corresponding bit patterns on granular media, where a reader model detects the resulting signal, which is finally converted to a parameter dependent SNR value. For grain diameters between 4 and 8nm, we show an increase of ~10dB for bit lengths between 4 and 12nm, an increase of ~9dB for maximum switching probabilities between 0.64 and 1.00, a decrease of ~5dB for down-track-jitter parameters between 0 and 4nm and an increase of ~1dB for reduced bit curvature. Those results are furthermore compared to the theoretical formulas for the SNR. We obtain a good agreement, even though we show slight deviations.


title: An Intrinsic Nearest Neighbor Analysis of Neural Machine Translation Architectures

abstract: Earlier approaches indirectly studied the information captured by the hidden states of recurrent and non-recurrent neural machine translation models by feeding them into different classifiers. In this paper, we look at the encoder hidden states of both transformer and recurrent machine translation models from the nearest neighbors perspective. We investigate to what extent the nearest neighbors share information with the underlying word embeddings as well as related WordNet entries. Additionally, we study the underlying syntactic structure of the nearest neighbors to shed light on the role of syntactic similarities in bringing the neighbors together. We compare transformer and recurrent models in a more intrinsic way in terms of capturing lexical semantics and syntactic structures, in contrast to extrinsic approaches used by previous works. In agreement with the extrinsic evaluations in the earlier works, our experimental results show that transformers are superior in capturing lexical semantics, but not necessarily better in capturing the underlying syntax. Additionally, we show that the backward recurrent layer in a recurrent model learns more about the semantics of words, whereas the forward recurrent layer encodes more context.


title: A Doubly-Randomized Block-Coordinate Primal-Dual Method for Large-scale Saddle Point Problems

abstract: In this paper, we consider a large-scale convex-concave saddle point problem in a finite-sum form that arises in machine learning problems involving empirical risk minimization, e.g., robust classification, kernel matrix learning, etc. To contend with the challenges in computing full gradients, we employ a block-coordinate primal-dual scheme in which randomly selected primal and dual blocks of variables are updated at every iteration. When the number of component functions in the finite sum is massive, we can derive further efficiency by utilizing an increasing batch-size of gradients, leading to progressive variance reduction. An ergodic convergence rate of $\mathcal{O}(\log(K)/K)$ is obtained using variance reduction which is the first known rate result for a special purpose method to deal with finite-sum non-bilinear saddle point problems, matching the best-known rate (up to a log factor) associated with deterministic primal-dual schemes using full gradients. Using an acceleration for the setting where a single component gradient is utilized, a non-asymptotic rate of $\mathcal{O}(\log(K)/\sqrt{K})$ is obtained. Finally, for both single and increasing sample size scenarios, almost sure convergence of the iterate sequence to a saddle point is shown.


title: Tunable skyrmion-skyrmion binding on the surface of a topological insulator

abstract: We show that skyrmions on the surface of a magnetic topological insulator may experience an attractive interaction that leads to the formation of a skyrmion-skyrmion bound state. This is in contrast to the case of skyrmions in a conventional chiral ferromagnet, for which the intrinsic interaction is repulsive. The origin of skyrmion binding in our model is the molecular hybridization of topologically protected electronic orbitals associated with each skyrmion. Attraction between the skyrmions can therefore be controlled by tuning a chemical potential that populates/depopulates the lowest-energy molecular orbital. We find that the skyrmion-skyrmion bound state can be made stable, unstable, or metastable depending on the chemical potential, magnetic field, and easy-axis anisotropy of the underlying ferromagnet, resulting in a rich phase diagram. Finally, we discuss the possibility to realize this effect in a recently synthesized Cr doped ${\left(\mathrm{Bi}_{2-y}\mathrm{Sb}_{y}\right)}_{2}\mathrm{Te}_3$ heterostructure.


title: Residual Entropy

abstract: We describe an approach to improving model fitting and model generalization that considers the entropy of distributions of modelling residuals. We use simple simulations to demonstrate the observational signatures of overfitting on ordered sequences of modelling residuals, via the autocorrelation and power spectral density. These results motivate the conclusion that, as commonly applied, the least squares method assumes too much when it assumes that residuals are uncorrelated for all possible models or values of the model parameters. We relax these too-stringent assumptions in favour of imposing an entropy prior on the (unknown, model-dependent, but potentially marginalizable) distribution function for residuals. We recommend a simple extension to the Mean Squared Error loss function that approximately incorporates this prior and can be used immediately for modelling applications where meaningfully-ordered sequences of observations or training data can be defined.


title: Variational Bayes' method for functions with applications to some inverse problems

abstract: Bayesian approach, as a useful tool for quantifying uncertainties, has been widely used for solving inverse problems of partial differential equations (PDEs). One of the key difficulties for employing Bayesian approach for the issue is how to extract information from the posterior probability measure. Variational Bayes' method (VBM) is firstly and broadly studied in the field of machine learning, which has the ability to extract posterior information approximately by using much lower computational resources compared with the conventional sampling type methods. In this paper, we generalize the usual finite-dimensional VBM to infinite-dimensional space, which makes the usage of VBM for inverse problems of PDEs rigorously. We further establish general infinite-dimensional mean-field approximate theory, and apply this theory to abstract linear inverse problems with Gaussian and Laplace noise assumptions. The results on some numerical examples substantiate the effectiveness of the proposed approach.


title: Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts

abstract: An effective way to maximize code coverage in software tests is through dynamic symbolic execution$-$a technique that uses constraint solving to systematically explore a program's state space. We introduce an open-source dynamic symbolic execution framework called Manticore for analyzing binaries and Ethereum smart contracts. Manticore's flexible architecture allows it to support both traditional and exotic execution environments, and its API allows users to customize their analysis. Here, we discuss Manticore's architecture and demonstrate the capabilities we have used to find bugs and verify the correctness of code for our commercial clients.


title: Quantitative Immunology for Physicists

abstract: The adaptive immune system is a dynamical, self-organized multiscale system that protects vertebrates from both pathogens and internal irregularities, such as tumours. For these reason it fascinates physicists, yet the multitude of different cells, molecules and sub-systems is often also petrifying. Despite this complexity, as experiments on different scales of the adaptive immune system become more quantitative, many physicists have made both theoretical and experimental contributions that help predict the behaviour of ensembles of cells and molecules that participate in an immune response. Here we review some recent contributions with an emphasis on quantitative questions and methodologies. We also provide a more general methods section that presents some of the wide array of theoretical tools used in the field.


title: Fast Visual Object Tracking with Rotated Bounding Boxes

abstract: In this paper, we demonstrate a novel algorithm that uses ellipse fitting to estimate the bounding box rotation angle and size with the segmentation(mask) on the target for online and real-time visual object tracking. Our method, SiamMask_E, improves the bounding box fitting procedure of the state-of-the-art object tracking algorithm SiamMask and still retains a fast-tracking frame rate (80 fps) on a system equipped with GPU (GeForce GTX 1080 Ti or higher). We tested our approach on the visual object tracking datasets (VOT2016, VOT2018, and VOT2019) that were labeled with rotated bounding boxes. By comparing with the original SiamMask, we achieved an improved Accuracy of 0.652 and 0.309 EAO on VOT2019, which is 0.056 and 0.026 higher than the original SiamMask. The implementation is available on GitHub: https://github.com/baoxinchen/siammask_e.


title: A Projective Phase Space Generator for Hadronic Vector Boson Plus One Jet Production

abstract: In this paper we use our previously developed projective phase space generator for the calculation of the hadronic production of a vector boson with one additional jet at Next-to-Leading Order. The projective phase space generator allows us to make physical predictions in novel ways, speeding up both evaluation time and attainable accuracy. For the numerical evaluation we explore a computational model which combines the use of both multi-threading and distributed resources through the use of grid or cloud computing without depending on local institutional computer availability. The projective phase space method is well suited for this approach and gives through the use of cloud computing instant access to a large pool of resources.


title: Classifying induced superconductivity in atomically thin Dirac-cone materials

abstract: Recently, Kayyalha et al. (2019 Phys. Rev. Lett. 122 047003) reported on anomalous enhancement of the self-field critical currents, Ic(sf,T), at low temperatures in Nb/BiSbTeSe2-nanoribbon/Nb Josephson junctions. The enhancement was attributed to the low-energy Andreev bound states arising from winding of the electronic wave function around the circumference of the topological insulator BiSbTeSe2 nanoribbon. In this paper, we show that identical enhancement in Ic(sf,T) and in the upper critical field, Bc2(T), at approximately same reduced temperatures, were reported by several research groups in atomically thin junctions based on a variety of Dirac-cone materials (DCM) earlier. Our analysis shows that in all these S/DCM/S systems the enhancement is due to a new superconducting band opening. Taking in account that several intrinsic superconductors also exhibit the effect of new superconducting band(s) opening when sample thickness becomes thinner than the ground state out-of-plane coherence length, we strength our previous proposal that there is a new phenomenon of additional superconducting band(s) opening in atomically thin films.


title: Evolution of star formation rate-density relation over cosmic time in a simulated universe: the observed reversal reproduced

abstract: We use the IllustrisTNG cosmological hydrodynamical simulation to study the evolution of star formation rate (SFR)-density relation over cosmic time. We construct several samples of galaxies at different redshifts from $z=2.0$ to $z=0.0$, which have the same comoving number density. The SFR of galaxies decreases with local density at $z=0.0$, but its dependence on local density becomes weaker with redshift. At $z\gtrsim1.0$, the SFR of galaxies increases with local density (reversal of the SFR-density relation), and its dependence becomes stronger with redshift. This change of SFR-density relation with redshift still remains even when fixing the stellar masses of galaxies. The dependence of SFR on the distance to a galaxy cluster also shows a change with redshift in a way similar to the case based on local density, but the reversal happens at a higher redshift, $z\sim1.5$, in clusters. On the other hand, the molecular gas fraction always decreases with local density regardless of redshift at $z=0.0-2.0$ even though the dependence becomes weaker when we fix the stellar mass. Our study demonstrates that the observed reversal of the SFR-density relation at $z\gtrsim1.0$ can be successfully reproduced in cosmological simulations. Our results are consistent with the idea that massive, star-forming galaxies are strongly clustered at high redshifts, forming larger structures. These galaxies then consume their gas faster than those in low-density regions through frequent interactions with other galaxies, ending up being quiescent in the local universe.


title: Phase Diagram for a model of Spin-Crossover in Molecular Crystals

abstract: Spin-crossover has a wide range of applications from memory devices to sensors. This has to do mainly with the nature of the transition, which may be abrupt, gradual or incomplete and may also present hysteresis. This transition alters the properties of a given sample, such as magnetic moment, color and electric resistance to name some. Yet, a thorough understanding of the phenomenon is still lacking. In this work a simple model is provided to mimic some of the properties known to occur in spin-crossover. A detailed study of the model parameters is presented using a mean field approach and exhaustive Monte Carlo simulations. A good agreement is found between the analytical results and the simulations for certain regions in the parameter-space. This mean field approach breaks down in parameter regions where the correlations and cooperativity may no longer be averaged over.


title: Future Prospects for Probing Scalar-Tensor Theories with Gravitational Waves from Mixed Binaries

abstract: The extreme-gravity collisions of binaries with one black hole and one neutron star provide for excellent tests of general relativity. We here study how well one can constrain theories beyond general relativity with additional scalar fields that allow for spontaneous scalarization of neutron stars, and those motivated from string theory. We find that existing bounds can be improved with current gravitational-wave detectors if the black hole mass is sufficiently small. Bounds will further improve by many orders of magnitude with future detections, especially by combining multiple events.


title: Parametrically Amplified Low-Power MEMS Capacitive Humidity Sensor

abstract: We present the design, fabrication, and response of a polymer-based Laterally Amplified Chemo-Mechanical (LACM) humidity sensor based on mechanical leveraging and parametric amplification. The device consists of a sense cantilever asymmetrically patterned with a polymer and flanked by two stationary electrodes on the sides. When exposed to a humidity change, the polymer swells after absorbing the analyte and causes the central cantilever to bend laterally towards one side, causing a change in the measured capacitance. The device features an intrinsic gain due to parametric amplification resulting in an enhanced signal-to-noise ratio (SNR). 11-fold magnification in sensor response was observed via voltage biasing of the side electrodes without the use of conventional electronic amplifiers. The sensor showed a repeatable and recoverable capacitance change of 11% when exposed to a change in relative humidity from 25-85%. The dynamic characterization of the device also revealed a response time ~1s and demonstrated a competitive response with respect to a commercially available reference chip.


title: Topology of SmB$_6$ determined by dynamical mean field theory

abstract: Whether SmB6 is a topological insulator remains hotly debated. Our density functional theory plus dynamical mean field theory calculations are in excellent agreement with a large range of experiments, from the 4f5.5 intermediate valency to x-ray and photoemission spectra. Using the pole extended (PE) Hamiltonian, which fully captures the self-energy, we show that SmB6 is a strongly correlated topological insulator, albeit not a Kondo insulator. The PE Hamiltonian is proved to be topological (in)equivalent to the topological Hamiltonian for (non-)local self-energies. The topological surface states are analyzed, addressing conflicting interpretations of photoemission data.


title: Leonard pairs, spin models, and distance-regular graphs

abstract: A Leonard pair is an ordered pair of diagonalizable linear maps on a finite-dimensional vector space, that each act on an eigenbasis for the other one in an irreducible tridiagonal fashion. In the present paper we consider a type of Leonard pair, said to have spin. The notion of a spin model was introduced by V.F.R. Jones to construct link invariants. A spin model is a symmetric matrix over $\mathbb{C}$ that satisfies two conditions, called the type II and type III conditions. It is known that a spin model $\sf W$ is contained in a certain finite-dimensional algebra $N({\sf W})$, called the Nomura algebra. It often happens that a spin model $\sf W$ satisfies ${\sf W} \in {\sf M} \subseteq N({\sf W})$, where $\sf M$ is the Bose-Mesner algebra of a distance-regular graph $\Gamma$; in this case we say that $\Gamma$ affords $\sf W$. If $\Gamma$ affords a spin model, then each irreducible module for every Terwilliger algebra of $\Gamma$ takes a certain form, recently described by Caughman, Curtin, Nomura, and Wolff. In the present paper we show that the converse is true; if each irreducible module for every Terwilliger algebra of $\Gamma$ takes this form, then $\Gamma$ affords a spin model. We explicitly construct this spin model when $\Gamma$ has $q$-Racah type. The proof of our main result relies heavily on the theory of spin Leonard pairs.


title: Arithmetic topology of 4-manifolds

abstract: We construct a functor from the smooth 4-dimensional manifolds to the hyper-algebraic number fields, i.e. fields with non-commutative multiplication. It is proved that that the simply connected 4-manifolds correspond to the abelian extensions. We recover the Rokhlin and Donaldson's Theorems from the Galois theory of the non-commutative fields.


title: The emergence of informative higher scales in complex networks

abstract: The connectivity of a network contains information about the relationships between nodes, which can denote interactions, associations, or dependencies. We show that this information can be analyzed by measuring the uncertainty (and certainty) contained in paths along nodes and links in a network. Specifically, we derive from first principles a measure known as effective information and describe its behavior in common network models. Networks with higher effective information contain more information in the relationships between nodes. We show how subgraphs of nodes can be grouped into macro-nodes, reducing the size of a network while increasing its effective information (a phenomenon known as causal emergence). We find that informative higher scales are common in simulated and real networks across biological, social, informational, and technological domains. These results show that the emergence of higher scales in networks can be directly assessed and that these higher scales offer a way to create certainty out of uncertainty.


title: Chain Formation in a 2-Dimensional System of Hard Spheres with a Short Range, Anisotropic Interaction

abstract: We analyze a generalization of the hard sphere dipole system in two dimensions in which the interaction range of the interaction can be varied. We focus on the system in the limit the interaction becomes increasingly short-ranged, while the temperature becomes low. By using a cluster expansion and taking advantage of low temperatures to perform saddle-point approximations, we argue that a well defined double limit exists in which the only structures which contribute to the free energy are chains. We then argue that the dominance of chain structures is equivalent to the dominance of chain diagrams in a cluster expansion, but only if the expansion is performed around a hard sphere system (rather than the standard ideal gas). We show that this leads to non-standard factorization rules for diagrams, and use this to construct a closed-form expression for the free energy at low densities. We then compare this construction to several models previously developed for the hard sphere dipole system in the regime where chain structures dominate, and argue that the comparison provides evidence in favor of one model over the others. We also use this construction to incorporate some finite density effects though the hard sphere radial distribution function, and analyze the impact of these effects on chain length and the equation of state.


title: Secure IoT access at scale using blockchains and smart contracts

abstract: Blockchains and smart contracts are an emerging, promising technology, that has received considerable attention. We use the blockchain technology, and in particular Ethereum, to implement a large-scale event-based Internet of Things (IoT) control system. We argue that the distributed nature of the "ledger," as well as, Ethereum's capability of parallel execution of replicated "smart contracts", provide the sought after automation, generality, flexibility, resilience, and high availability. We design a realistic blockchain-based IoT architecture, using existing technologies while by taking into consideration the characteristics and limitations of IoT devices and applications. Furthermore, we leverage blockchain's immutability and Ethereum's support for custom tokens to build a robust and efficient token-based access control mechanism. Our evaluation shows that our solution is viable and offers significant security and usability advantages.


title: Temperature Dependence of a Width of $\Delta$H = $\Delta$B Region in 5 wt.\% (Fe, Ti) Paticle-Doped MgB$_2$ Superconductor

abstract: A temperature dependence of a width of $\Delta$H = $\Delta$B region has been studied for 5 wt.\% (Fe, Ti) particle-doped MgB$_2$ superconductor. The result revealed that widths of the region are linear along temperature. Here we show the meaning of the result and details of the calculation. In previous report, we represented a theory that a width of $\Delta$H = $\Delta$B region is related with upper critical field of the superconductor, which is that pinned fluxes at volume defect are picked out and move in $\Delta$H = $\Delta$B region when a distance between them is the same as that of upper critical field. Thus, we inspected the relationship between a width of the region and upper critical field along temperature. The theory would gain another justification if temperature dependence of a width of the region is proportional to that of upper critical field. We discussed several topics for $\Delta$H = $\Delta$B region of 5 wt.\% (Fe, Ti) particle-doped MgB$_2$ superconductor, which are Fe of (Fe, Ti) particle, Bean model, volume dependence of the region, etc..


title: Effects of setting the temperatures in the parallel tempering Monte Carlo algorithm

abstract: Parallel tempering Monte Carlo has proven to be an efficient method in optimization and sampling applications. Having an optimized temperature set enhances the efficiency of the algorithm through more-frequent replica visits to the temperature limits. The approaches for finding an optimal temperature set can be divided into two main categories. The methods of the first category distribute the replicas such that the swapping ratio between neighbouring replicas is constant and independent of the temperature values. The second-category techniques including the feedback-optimized method, on the other hand, aim for a temperature distribution that has higher density at simulation bottlenecks, resulting in temperature-dependent replica-exchange probabilities. In this paper, we compare the performance of various temperature setting methods on both sparse and fully-connected spin-glass problems as well as fully-connected Wishart problems that have planted solutions. These include two classes of problems that have either continuous or discontinuous phase transitions in the order parameter. Our results demonstrate that there is no performance advantage for the methods that promote nonuniform swapping probabilities on spin-glass problems where the order parameter has a smooth transition between phases at the critical temperature. However, on Wishart problems that have a first-order phase transition at low temperatures, the feedback-optimized method exhibits a time-to-solution speedup of at least a factor of two over the other approaches.


title: Latent ODEs for Irregularly-Sampled Time Series

abstract: Time series with non-uniform intervals occur in many applications, and are difficult to model using standard recurrent neural networks (RNNs). We generalize RNNs to have continuous-time hidden dynamics defined by ordinary differential equations (ODEs), a model we call ODE-RNNs. Furthermore, we use ODE-RNNs to replace the recognition network of the recently-proposed Latent ODE model. Both ODE-RNNs and Latent ODEs can naturally handle arbitrary time gaps between observations, and can explicitly model the probability of observation times using Poisson processes. We show experimentally that these ODE-based models outperform their RNN-based counterparts on irregularly-sampled data.


title: Semi-classical analysis for Fractional Schr\"{o}dinger Equations with fast decaying potenials

abstract: We study the following fractional Schr\"{o}dinger equation \begin{equation*}\label{eq0.1} \epsilon^{2s}(-\Delta)^s u + V(x)u = |u|^{p - 2}u, \,\,x\in\,\,\mathbb{R}^N, \end{equation*} where $s\in (0,\,1)$, $N>2s$, $p>1$ is subcritical and $V(x)$ is a nonnegative continuous potential. We use penalized technique to show that the problem has a family of solutions concentrating at a positive local minimum of $V(x)$ provided that $\frac{2s}{N-2s}+2<p<\frac{2N}{N-2s}$. The novelty is that $V$ can decay arbitrarily or even be compactly supported.


title: Collaborative Machine Learning at the Wireless Edge with Blind Transmitters

abstract: We study wireless collaborative machine learning (ML), where mobile edge devices, each with its own dataset, carry out distributed stochastic gradient descent (DSGD) over-the-air with the help of a wireless access point acting as the parameter server (PS). At each iteration of the DSGD algorithm wireless devices compute gradient estimates with their local datasets, and send them to the PS over a wireless fading multiple access channel (MAC). Motivated by the additive nature of the wireless MAC, we propose an analog DSGD scheme, in which the devices transmit scaled versions of their gradient estimates in an uncoded fashion. We assume that the channel state information (CSI) is available only at the PS. We instead allow the PS to employ multiple antennas to alleviate the destructive fading effect, which cannot be cancelled by the transmitters due to the lack of CSI. Theoretical analysis indicates that, with the proposed DSGD scheme, increasing the number of PS antennas mitigates the fading effect, and, in the limit, the effects of fading and noise disappear, and the PS receives aligned signals used to update the model parameter. The theoretical results are then corroborated with the experimental ones.


title: Reverberation-mapping of distant quasars: time-lag determination using different methods

abstract: By applying different statistically robust methods, we analyze the time-lag between the continuum and ionized line-emission (Mg II line) light curves for the distant bright quasar CTS C$30.10$ (redshift $z \sim 0.9$). The data were obtained by the 10-meter SALT telescope in South Africa. In detail, we demonstrate the application of several methods using interpolated cross-correlation function (ICCF), discrete correlation function (DCF), z-transformed discrete correlation function (zDCF), von Neumann estimator, and the JAVELIN code package. In particular, we discuss the uncertainties of these methods. In conclusion, we find that the quasar lies on the broad-line region (BLR) size -- monochromatic luminosity power-law scaling, $R_{\rm BLR}\propto L_{5100}^{1/2}$, which was already confirmed for low-redshift sources. In case the BLR size-luminosity relation holds for other distant sources, quasars could be used for probing cosmological models as ``standard candles'' complementary to supernovae Ia.


title: Ultra Lightweight Multiple-time Digital Signature for the Internet of Things Devices

abstract: Digital signatures are basic cryptographic tools to provide authentication and integrity in the emerging ubiquitous systems in which resource-constrained devices are expected to operate securely and efficiently. However, existing digital signatures might not be fully practical for such resource-constrained devices (e.g., medical implants) that have energy limitations. Some other computationally efficient alternatives (e.g., one-time/multiple-time signatures) may introduce high memory and/or communication overhead due to large private key and signature sizes. In this paper, our contributions are two-fold: First, we develop a new lightweight multiple-time digital signature scheme called Signer Efficient Multiple-time Elliptic Curve Signature (SEMECS), which is suitable for resource-constrained embedded devices. SEMECS achieves optimal signature and private key sizes for an EC-based signature without requiring any EC operation (e.g., EC scalar multiplication or addition) at the signer. We prove SEMECS is secure (in random oracle model) with a tight security reduction. Second, we fully implemented SEMECS on 8-bit AVR microprocessor with a comprehensive energy consumption analysis and comparison. Our experiments confirm up to 19x less battery-consumption for SEMECS as compared to its fastest (full-time) counterpart, SchnorrQ, while offering significant performance advantages over its multiple-time counterparts in various fronts. We open-source our implementation for public testing and adoption.


title: UAV Access Point Placement for Connectivity to a User with Unknown Location Using Deep RL

abstract: In recent years, unmanned aerial vehicles (UAVs) have been considered for telecommunications purposes as relays, caches, or IoT data collectors. In addition to being easy to deploy, their maneuverability allows them to adjust their location to optimize the capacity of the link to the user equipment on the ground or of the link to the basestation. The majority of the previous work that analyzes the optimal placement of such a UAV makes at least one of two assumptions: the channel can be predicted using a simple model or the locations of the users on the ground are known. In this paper, we use deep reinforcement learning (deep RL) to optimally place a UAV serving a ground user in an urban environment, without the previous knowledge of the channel or user location. Our algorithm relies on signal-to-interference-plus-noise ratio (SINR) measurements and a 3D map of the topology to account for blockage and scatterers. Furthermore, it is designed to operate in any urban environment. Results in conditions simulated by a ray tracing software show that with the constraint on the maximum number of iterations our algorithm has a 90% success rate in converging to a target SINR.


title: Independent Sets in n-vertex k-chromatic, \ell-connected graphs

abstract: We study the problem of maximizing the number of independent sets in $n$-vertex $k$-chromatic $\ell$-connected graphs. First we consider maximizing the total number of independent sets in such graphs with $n$ sufficiently large, and for this problem we use a stability argument to find the unique extremal graph. We show that our result holds within the larger family of $n$-vertex $k$-chromatic graphs with minimum degree at least $\ell$, again for $n$ sufficiently large. We also maximize the number of independent sets of each fixed size in $n$-vertex 3-chromatic 2-connected graphs. We finally address maximizing the number of independent sets of size 2 (equivalently, minimizing the number of edges) over all $n$-vertex $k$-chromatic $\ell$-connected graphs.


title: Structure Factors of The Unitary Gas Under Supernova Conditions

abstract: We compute with lattice field theory the vector and axial static structure factors of the unitary gas for arbitrary temperature above the superfluid transition and for fugacities 0.1 < z < 1.0. Using the lattice formulation, we calculate beyond the validity of the virial expansion, a commonly used technique in many-body physics. We find qualitative differences in the behavior of the structure factors at high fugacity compared to the predictions of the virial expansion. Due to the large scattering length of neutrons, we expect the unitary gas structure factors to approximate the structure factors of hot neutron gases, and we therefore expect our calculations to be useful in supernova simulations, where neutron gas structure factors are needed to compute in-medium neutrino-neutron scattering rates.

categories: nucl-th astro-ph.HE cond-mat.quant-gas hep-lat quant-ph


title: The automorphic discrete spectrum of $\mathrm{Mp}_4$

abstract: We prove the multiplicity formula for the automorphic discrete spectrum of the metaplectic group $\mathrm{Mp}_4$ of rank $2$.


title: Guided droplet transport on synthetic slippery surfaces inspired by a pitcher plant

abstract: We show how anisotropic, grooved features facilitate the trapping and directed transport of droplets on lubricated, liquid-shedding surfaces. Capillary action pins droplets to topographic surface features, enabling transport along the feature while inhibiting motion across (or detachment from) the feature. We demonstrate the robustness of this capillary-based mechanism for directed droplet transport on slippery surfaces by combining experiments on synthetic, lubricant-infused surfaces with observations on the natural trapping surface of a carnivorous pitcher plant. Controlling liquid navigation on synthetic surfaces promises to unlock significant potential in droplet-based technologies. Our observations also offer novel insight into the evolution of the Nepenthes pitcher plant, indicating that the `pitfall' trapping mechanism is enhanced by the lubricant-infused, macroscopic grooves on the slippery peristome surface, which guide prey into the trap in a way that is more tightly controlled than previously considered.


title: Polyhomog\'eni\'et\'e des m\'etriques compatibles avec une structure de Lie \`a l'infini le long du flot de Ricci

abstract: Along the Ricci flow, we study the polyhomogeneity of complete Riemannian metrics endowed with "a Lie structure fibred at infinity", that is, a class of Lie structures at infinity that induce in a precise way a fibre bundle structure on a certain compactification by a manifold with corners. When the compactification is a manifold with boundary, this class of metrics contains, in particular, the b-metrics of Melrose, the fibred boundary metrics of Melrose and Mazzeo and the edge metrics of Mazzeo. Our main result consists in showing that the polyhomogeneity of the metrics compatible with a Lie structure fibered at infinity is locally preserved by the Ricci-DeTurck flow. If the initial metric is asymptotically Einstein, the polyhomogeneity of the metrics solutions is obtained as long as the flow exists. Moreover, if the initial metric is "smooth up to the boundary", then it will be also preserved by the normalized Ricci flow and the Ricci-DeTurck flow.


title: Towards Orientation Learning and Adaptation in Cartesian Space

abstract: As a promising branch of robotics, imitation learning emerges as an important way to transfer human skills to robots, where human demonstrations represented in Cartesian or joint spaces are utilized to estimate task/skill models that can be subsequently generalized to new situations. While learning Cartesian positions suffices for many applications, the end-effector orientation is required in many others. Despite recent advances in learning orientations from demonstrations, several crucial issues have not been adequately addressed yet. For instance, how can demonstrated orientations be adapted to pass through arbitrary desired points that comprise orientations and angular velocities? In this paper, we propose an approach that is capable of learning multiple orientation trajectories and adapting learned orientation skills to new situations (e.g., via-points and end-points), where both orientation and angular velocity are considered. Specifically, we introduce a kernelized treatment to alleviate explicit basis functions when learning orientations, which allows for learning orientation trajectories associated with high-dimensional inputs. In addition, we extend our approach to the learning of quaternions with angular acceleration or jerk constraints, which allows for generating smoother orientation profiles for robots. Several examples including experiments with real 7-DoF robot arms are provided to verify the effectiveness of our method.


title: A Comparative Evaluation of Animation and Small Multiples for Trend Visualization on Mobile Phones

abstract: We compare the efficacy of animated and small multiples variants of scatterplots on mobile phones for comparing trends in multivariate datasets. Visualization is increasingly prevalent in mobile applications and mobile-first websites, yet there is little prior visualization research dedicated to small displays. In this paper, we build upon previous experimental research carried out on larger displays that assessed animated and non-animated variants of scatterplots. Incorporating similar experimental stimuli and tasks, we conducted an experiment where 96 crowdworker participants performed nine trend comparison tasks using their mobile phones. We found that those using a small multiples design consistently completed tasks in less time, albeit with slightly less confidence than those using an animated design. The accuracy results were more task-dependent, and we further interpret our results according to the characteristics of the individual tasks, with a specific focus on the trajectories of target and distractor data items in each task. We identify cases that appear to favor either animation or small multiples, providing new questions for further experimental research and implications for visualization design on mobile devices. Lastly, we provide a reflection on our evaluation methodology.


title: Hahahahaha, Duuuuude, Yeeessss!: A two-parameter characterization of stretchable words and the dynamics of mistypings and misspellings

abstract: Stretched words like `heellllp' or `heyyyyy' are a regular feature of spoken language, often used to emphasize or exaggerate the underlying meaning of the root word. While stretched words are rarely found in formal written language and dictionaries, they are prevalent within social media. In this paper, we examine the frequency distributions of `stretchable words' found in roughly 100 billion tweets authored over an 8 year period. We introduce two central parameters, `balance' and `stretch', that capture their main characteristics, and explore their dynamics by creating visual tools we call `balance plots' and `spelling trees'. We discuss how the tools and methods we develop here could be used to study the statistical patterns of mistypings and misspellings, along with the potential applications in augmenting dictionaries, improving language processing, and in any area where sequence construction matters, such as genetics.


title: Simulations of a High-Contrast Single-Mode Fiber Coronagraphic Multi-Object Spectrograph for Future Space Telescopes

abstract: Directly imaging and characterizing Earth-like exoplanets is a tremendously difficult instrumental challenge. Present coronagraphic systems have yet to achieve the required $10^{-10}$ broadband contrast in a laboratory environment, but promising progress towards this goal continues. A new approach to starlight suppression is the use of a single-mode fiber behind a coronagraph. By using deformable mirrors to create a mismatch between incoming starlight and the fiber mode, a single-mode fiber can be turned into an integral part of the starlight suppression system. In this paper, we present simulation results of a system with five single-mode fibers coupled to shaped pupil and vortex coronagraphs. We investigate the properties of the system, including its spectral bandwidth, throughput, and sensitivity to low-order aberrations. We also compare the performance of the single-mode fiber configuration with conventional imaging and multi-object modes, finding improved spectral bandwidth, raw contrast, background-limited SNR, and demonstrate a wavefront control algorithm which is robust to tip/tilt errors.


title: Are deep ResNets provably better than linear predictors?

abstract: Recent results in the literature indicate that a residual network (ResNet) composed of a single residual block outperforms linear predictors, in the sense that all local minima in its optimization landscape are at least as good as the best linear predictor. However, these results are limited to a single residual block (i.e., shallow ResNets), instead of the deep ResNets composed of multiple residual blocks. We take a step towards extending this result to deep ResNets. We start by two motivating examples. First, we show that there exist datasets for which all local minima of a fully-connected ReLU network are no better than the best linear predictor, whereas a ResNet has strictly better local minima. Second, we show that even at the global minimum, the representation obtained from the residual block outputs of a 2-block ResNet do not necessarily improve monotonically over subsequent blocks, which highlights a fundamental difficulty in analyzing deep ResNets. Our main theorem on deep ResNets shows under simple geometric conditions that, any critical point in the optimization landscape is either (i) at least as good as the best linear predictor; or (ii) the Hessian at this critical point has a strictly negative eigenvalue. Notably, our theorem shows that a chain of multiple skip-connections can improve the optimization landscape, whereas existing results study direct skip-connections to the last hidden layer or output layer. Finally, we complement our results by showing benign properties of the "near-identity regions" of deep ResNets, showing depth-independent upper bounds for the risk attained at critical points as well as the Rademacher complexity.


title: Generalized bornological coarse spaces and coarse motivic spectra

abstract: We generalize the notion of a bornology by omitting the condition that a one-point-subset is bounded and obtain a complete and co-complete generalization of the category of bornological coarse spaces. Then we imitate the construction of motivic coarse spectra in this new setting and show that the inclusion functor from the category of bornological coarse spaces to its generalization induces an equivalence of motivic coarse spectra. In particular, for any stable co-complete $\infty$-category $C$, it induces an equivalence between the category of $C$-valued coarse homology theories on bornological coarse spaces and the category of $C$-valued coarse homology theories on generalized bornological coarse spaces.


title: Dynamics of Reaction-Diffusion Oscillators in Star Networks

abstract: We experimentally and theoretically investigate the dynamics of inhibitory coupled self-driven oscillators on a star network in which a single central hub node is connected to $k$ peripheral arm nodes. The system consists of water-in-oil Belousov-Zhabotinsky $\sim$100$\mu$m emulsion drops contained in storage wells etched in silicon wafers. We observed three dynamical attractors by varying the number of arms in the star graph and the coupling strength; ($i$) unlocked; uncorrelated phase shifts between all oscillators, ($ii$) locked; arm-hubs synchronized in-phase with a $k$-dependent phase shift between the arm and central hub, and ($iii$) center silent; central hub stopped oscillating and the arm-hubs oscillated without synchrony. We compare experiment to theory. For case ($ii$), we identified a logarithmic dependence of the phase shift on star degree, and were able to discriminate between contributions to the phase shift arising from star topology and oscillator chemistry.


title: Non-technical Loss Detection with Statistical Profile Images Based on Semi-supervised Learning

abstract: In order to keep track of the operational state of power grid, the world's largest sensor systems, smart grid, was built by deploying hundreds of millions of smart meters. Such system makes it possible to discover and make quick response to any hidden threat to the entire power grid. Non-technical losses (NTLs) have always been a major concern for its consequent security risks as well as immeasurable revenue loss. However, various causes of NTL may have different characteristics reflected in the data. Accurately capturing these anomalies faced with such large scale of collected data records is rather tricky as a result. In this paper, we proposed a new methodology of detecting abnormal electricity consumptions. We did a transformation of the collected time-series data which turns it into an image representation that could well reflect users' relatively long term consumption behaviors. Inspired by the excellent neural network architecture used for objective detection in computer vision domain, we designed our deep learning model that takes the transformed images as input and yields joint featured inferred from the multiple aspects the input provides. Considering the limited labeled samples, especially the abnormal ones, we used our model in a semi-supervised fashion that is brought out in recent years. The model is tested on samples which are verified by on-field inspections and our method showed significant improvement.


title: Silicon Photomultiplier for Medical Imaging -Analysis of SiPM characteristics-

abstract: This paper proposes an automatic procedure, based on ROOT data Analysis Framework, for the analysis of Silicon Photomultipliers (SiPM) characteristics. In particular, it can be used to analyze experimental waveforms, from oscilloscope, containing SiPM pulses acquired at different temperatures and bias voltages. Important SiPMs characteristics such as: charge distribution, gain, breakdown voltage, pulse shape (rise time and recovery time) and overvoltage can been calculated. Developed procedure can be easily used to analyze any type of SiPM detectors.


title: NTT's Machine Translation Systems for WMT19 Robustness Task

abstract: This paper describes NTT's submission to the WMT19 robustness task. This task mainly focuses on translating noisy text (e.g., posts on Twitter), which presents different difficulties from typical translation tasks such as news. Our submission combined techniques including utilization of a synthetic corpus, domain adaptation, and a placeholder mechanism, which significantly improved over the previous baseline. Experimental results revealed the placeholder mechanism, which temporarily replaces the non-standard tokens including emojis and emoticons with special placeholder tokens during translation, improves translation accuracy even with noisy texts.


title: Characterising Probabilistic Alternating Simulation for Concurrent Games

abstract: Probabilistic game structures combine both nondeterminism and stochasticity, where players repeatedly take actions simultaneously to move to the next state of the concurrent game. Probabilistic alternating simulation is an important tool to compare the behaviour of different probabilistic game structures. In this paper, we present a sound and complete modal characterisation of this simulation relation by proposing a new logic based on probabilistic distributions. The logic enables a player to enforce a property in the next state or distribution. Its extension with fixpoints, which also characterises the simulation relation, can express a lot of interesting properties in practical applications.


title: Functional Brain Networks Discovery Using Dictionary Learning with Correlated Sparsity

abstract: Analysis of data from functional magnetic resonance imaging (fMRI) results in constructing functional brain networks. Principal component analysis (PCA) and independent component analysis (ICA) are widely used to generate functional brain networks. Moreover, dictionary learning and sparse representation provide some latent patterns that rules brain activities and they can be interpreted as brain networks. However, these methods lack modeling dependencies of the discovered networks. In this study an alternative to these conventional methods is presented in which dependencies of the networks are considered via correlated sparsity patterns. We formulate this challenge as a new dictionary learning problem and propose two approaches to solve the problem effectively.


title: Modulation of crystal and electronic structures in topological insulators by rare-earth doping

abstract: We study magnetotransport in a rare earth doped topological insulator, Sm0.1Sb1.9Te3 single crystals, under magnetic fields up to 14 T. It is found that that the crystals exhibit Shubnikov de Haas oscillations in their magneto-transport behaviour at low temperatures and high magnetic fields. The SdH oscillations result from the mixed contributions of bulk and surface states. We also investigate the SdH oscillations in different orientations of the magnetic field, which reveals a three dimensional Fermi surface topology. By fitting the oscillatory resistance with the Lifshitz Kosevich theory, we draw a Landau-level fan diagram that displays the expected nontrivial phase. In addition, the density functional theory calculations shows that Sm doping changes the crystal structure and electronic structure compared with pure Sb2Te3. This work demonstrates that rare earth doping is an effective way to manipulate the Fermi surface of topological insulators. Our results hold potential for the realization of exotic topological effects in magnetic topological insulators.


title: Near-optimal Repair of Reed-Solomon Codes with Low Sub-packetization

abstract: Minimum storage regenerating (MSR) codes are MDS codes which allow for recovery of any single erased symbol with optimal repair bandwidth, based on the smallest possible fraction of the contents downloaded from each of the other symbols. Recently, certain Reed-Solomon codes were constructed which are MSR. However, the sub-packetization of these codes is exponentially large, growing like $n^{\Omega(n)}$ in the constant-rate regime. In this work, we study the relaxed notion of $\epsilon$-MSR codes, which incur a factor of $(1+\epsilon)$ higher than the optimal repair bandwidth, in the context of Reed-Solomon codes. We give constructions of constant-rate $\epsilon$-MSR Reed-Solomon codes with polynomial sub-packetization of $n^{O(1/\epsilon)}$ and thereby giving an explicit tradeoff between the repair bandwidth and sub-packetization.


title: Convex ancient solutions to mean curvature flow

abstract: X.-J. Wang proved a series of remarkable results on the structure of convex ancient solutions to mean curvature flow. Some of his results do not appear to be widely known, however, possibly due to the technical nature of his arguments and his exploitation of methods which are not widely used in mean curvature flow. In this expository article, we present Wang's structure theory and some of its consequences. We shall simplify some of Wang's analysis by making use of the monotonicity formula and the differential Harnack inequality, and obtain an important additional structure result by exploiting the latter. We conclude by showing that various rigidity results for convex ancient solutions and convex translators follow quite directly from the structure theory, including the new result of Corollary 8.3}. We recently provided a complete classification of convex ancient solutions to curve shortening flow by exploiting similar arguments.


title: Surrogate modeling of indoor down-link human exposure based on sparse polynomial chaos expansion

abstract: Human exposure induced by wireless communication systems increasingly draws the public attention. Here, an indoor down-link scenario is concerned and the exposure level is statistically analyzed. The electromagnetic field (EMF) emitted by a WiFi box is measured and electromagnetic dosimetry features are evaluated from the whole-body specific absorption rate as computed with a Finite-Difference Time-Domain (a.k.a. FDTD) code. Due to computational cost, a statistical analysis is performed based on a surrogate model, which is constructed by means of so-called sparse polynomial chaos expansion (PCE), where the inner cross validation (ICV) is used to select the optimal hyperparameters during the model construction and assess the model performance. However, the ICV error is optimized and the model assessment tends to be overly optimistic with small data sets. The method of cross-model validation is used and outer cross validation is carried out for the model assessment. The effects of the data preprocessing are investigated as well. Based on the surrogate model, the global sensitivity of the exposure to input parameters is analyzed from Sobol' indices.


title: On intersections of polynomial semigroups orbits with plane lines

abstract: We study intersections of orbits in polynomial semigroup dynamics with lines on the affine plane over a number field, extending previous work of D. Ghioca, T. Tucker, M. Zieve (2008)


title: The Kelvin-Helmholtz instability and smoothed particle hydrodynamics

abstract: We perform simulations of the Kelvin-Helmholtz instability using smoothed particle hydrodynamics (SPH). The instability is studied both in the linear and strongly non-linear regimes. The smooth, well-posed initial conditions of Lecoanet et al. (2016) are used, along with an explicit Navier-Stokes viscosity and thermal conductivity to enforce the evolution in the non-linear regime. We demonstrate convergence to the reference solution using SPH. The evolution of the vortex structures and the degree of mixing, as measured by a passive scalar `colour' field, match the reference solution. Tests with an initial density contrast produce the correct qualitative behaviour. The L2 error of the SPH calculations decreases as the resolution is increased. The primary source of error is numerical dissipation arising from artificial viscosity, and tests with reduced artificial viscosity have reduced L2 error. A high-order smoothing kernel is needed in order to resolve the initial velocity amplitude of the seeded mode and inhibit excitation of spurious modes. We find that standard SPH with an artificial viscosity has no difficulty in correctly modelling the Kelvin-Helmholtz instability and yields convergent solutions.

categories: astro-ph.IM astro-ph.CO astro-ph.GA astro-ph.HE astro-ph.SR


title: Property Graph Exchange Format

abstract: Recently, a variety of database implementations adopting the property graph model have emerged. However, interoperable management of graph data on these implementations is challenging due to the differences in data models and formats. Here, we redefine the property graph model incorporating the differences in the existing models and propose interoperable serialization formats for property graphs. The model is independent of specific implementations and provides a basis of interoperable management of property graph data. The proposed serialization is not only general but also intuitive, thus it is useful for creating and maintaining graph data. To demonstrate the practical use of our model and serialization, we implemented converters from our serialization into existing formats, which can then be loaded into various graph databases. This work provides a basis of an interoperable platform for creating, exchanging, and utilizing property graph data.


title: Uniformly Accurate Machine Learning Based Hydrodynamic Models for Kinetic Equations

abstract: A new framework is introduced for constructing interpretable and truly reliable reduced models for multiscale problems in situations without scale separation. Hydrodynamic approximation to the kinetic equation is used as an example to illustrate the main steps and issues involved. To this end, a set of generalized moments are constructed first to optimally represent the underlying velocity distribution. The well-known closure problem is then solved with the aim of best capturing the associated dynamics of the kinetic equation. The issue of physical constraints such as Galilean invariance is addressed and an active learning procedure is introduced to help ensure that the dataset used is representative enough. The reduced system takes the form of a conventional moment system and works regardless of the numerical discretization used. Numerical results are presented for the BGK (Bhatnagar--Gross--Krook) model and binary collision of Maxwell molecules. We demonstrate that the reduced model achieves a uniform accuracy in a wide range of Knudsen numbers spanning from the hydrodynamic limit to free molecular flow.


title: Deep Learning-Aided Dynamic Read Thresholds Design For Multi-Level-Cell Flash Memories

abstract: The practical NAND flash memory suffers from various non-stationary noises that are difficult to be predicted. Furthermore, the data retention noise induced channel offset is unknown during the readback process. This severely affects the data recovery from the memory cell. In this paper, we first propose a novel recurrent neural network (RNN)-based detector to effectively detect the data symbols stored in the multi-level-cell (MLC) flash memory without any prior knowledge of the channel. However, compared with the conventional threshold detector, the proposed RNN detector introduces much longer read latency and more power consumption. To tackle this problem, we further propose an RNN-aided (RNNA) dynamic threshold detector, whose detection thresholds can be derived based on the outputs of the RNN detector. We thus only need to activate the RNN detector periodically when the system is idle. Moreover, to enable soft-decision decoding of error-correction codes, we first show how to obtain more read thresholds based on the hard-decision read thresholds derived from the RNN detector. We then propose integer-based reliability mappings based on the designed read thresholds, which can generate the soft information of the channel. Finally, we propose to apply density evolution (DE) combined with differential evolution algorithm to optimize the read thresholds for LDPC coded flash memory channels. Computer simulation results demonstrate the effectiveness of our RNNA dynamic read thresholds design, for both the uncoded and LDPC-coded flash memory channels, without any prior knowledge of the channel.


title: Time-Reversal Invariant Superconductivity of Sr$_{2}$RuO$_{4}$ Revealed by Josephson Effects

abstract: Sr$_{2}$RuO$_{4}$ is one of the most promising candidates of a topological superconductor with broken time-reversal symmetry, because a number of experiments have revealed evidences for a spin-triplet chiral $p$-wave superconductivity. In order to clarify the time-reversal symmetry of Sr$_{2}$RuO$_{4}$, we introduce a novel test that examines the invariance of the Josephson critical current under the inversion of both the current and magnetic fields, in contrast to the detection of a spontaneous magnetic field employed in past experiments. Analyses of the transport properties of the planar and corner Josephson junctions formed between Sr$_{2}$RuO$_{4}$ and Nb reveal the time-reversal invariant superconductivity, most probably helical $p$-wave, of Sr$_{2}$RuO$_{4}$. This state corresponds to a yet-to-be confirmed $topological crystalline superconductivity$ that can host two Majorana edge modes at the surface protected by crystalline mirror symmetry.


title: Characterizing linear mappings through zero products or zero Jordan products

abstract: Let $\mathcal{A}$ be a $*$-algebra and $\mathcal{M}$ be a $*$-$\mathcal A$-bimodule, we study the local properties of $*$-derivations and $*$-Jordan derivations from $\mathcal{A}$ into $\mathcal{M}$ under the following orthogonality conditions on elements in $\mathcal A$: $ab^*=0$, $ab^*+b^*a=0$ and $ab^*=b^*a=0$. We characterize the mappings on zero product determined algebras and zero Jordan product determined algebras. Moreover, we give some applications on $C^*$-algebras, group algebra, matrix algebras, algebras of locally measurable operators and von Neumann algebras.


title: Representations of surface groups with universally finite mapping class group orbit

abstract: Let $\Sigma_{g,n}$ be the orientable genus $g$ surface with $n$ punctures, where $2-2g-n<0$. Let $$\rho: \pi_1(\Sigma_{g,n})\to GL_m(\mathbb{C})$$ be a representation. Suppose that for each finite covering map $f: \Sigma_{g', n'}\to \Sigma_{g, n}$, the orbit of (the isomorphism class of) $f^*(\rho)$ under the mapping class group $MCG(\Sigma_{g',n'})$ of $\Sigma_{g',n'}$ is finite. Then we show that $\rho$ has finite image. The result is motivated by the Grothendieck-Katz $p$-curvature conjecture, and gives a reformulation of the $p$-curvature conjecture in terms of isomonodromy.


title: Electronic and structural properties of 3D Hopf-linked carbon allotrope: Hopfene

abstract: Electronic and structural properties of a 3D carbon allotrope made of Hopf-linked graphenes, which we call a Hopfene - a type of topological crystal, are examined by semi-empirical molecular-orbital and density-functional-theoretical methods, where band-structure analyses reveal very different properties from those of 2D graphenes. Furthermore, the analyses give an interesting finding that, depending on graphene-sheet spacings, Hopfenes exhibit different band features between primary-type Hopfene with a finite minimum sheet spacing and secondary type with its double-sized spacing. The primary type shows semi-metallic nature and the secondary type exhibits semi-metallic or semiconducting nature at different bands and also has flat bands; these conducting features can be utilised by Fermi-level control. A device application of Hopfenes is also provided.


title: Congruences with intervals and arbitrary sets

abstract: Given a prime $p$, an integer $H\in[1,p)$, and an arbitrary set $\cal M\subseteq \mathbb F_p^*$, where $\mathbb F_p$ is the finite field with $p$ elements, let $J(H,\cal M)$ denote the number of solutions to the congruence $$ xm\equiv yn\bmod p $$ for which $x,y\in[1,H]$ and $m,n\in\cal M$. In this paper, we bound $J(H,\cal M)$ in terms of $p$, $H$ and the cardinality of $\cal M$. In a wide range of parameters, this bound is optimal. We give two applications of this bound: to new estimates of trilinear character sums and to bilinear sums with Kloosterman sums, complementing some recent results of Kowalski, Michel and Sawin (2018).


title: More accurate numerical radius inequalities (II)

abstract: In a recent work of the authors, we showed some general inequalities governing numerical radius inequalities using convex functions. In this article, we present results that complement the aforementioned inequalities. In particular, the new versions can be looked at as refined and generalized forms of some well known numerical radius inequalities. Among many other results, we show that \[\left\| f\left( \frac{{{A}^{*}}A+A{{A}^{*}}}{4} \right) \right\|\le \left\| \int_{0}^{1}{f\left( \left( 1-t \right){{B}^{2}}+t{{C}^{2}} \right)dt} \right\|\le f\left( {{w}^{2}}\left( A \right) \right),\] when $A$ is a bounded linear operator on a Hilbert space having the Cartesian decomposition $A=B+iC.$ This result, for example, extends and refines a celebrated result by kittaneh.


title: Faraday patterns generated by Rabi oscillation in a binary Bose-Einstein condensate

abstract: The interaction between atoms in a two-component Bose-Einstein condensate (BEC) is effectively modulated by the Rabi oscillation. This periodic modulation of the effective interaction is shown to generate Faraday patterns through parametric resonance. We show that there are multiple resonances arising from the density and spin waves in a two-component BEC, and investigate the interplay between the Faraday-pattern formation and the phase separation.


title: Control of Ionic Mobility via Charge Size Asymmetry in Random Ionomers

abstract: Solid polymer electrolytes are considered a promising alternative to traditional liquid electrolytes in energy storage applications because of their good mechanical properties, and excellent thermal and chemical stability. A gap, however, still exists in understanding ion transport mechanisms and improving ion transport in solid polymer electrolytes. Therefore, it is crucial to bridge composition--structure and structure--property relationships. Here we demonstrate that size asymmetry, $\lambda$, represented by the ratio of counterion to charged monomer size, plays a key role in both the nanostructure and in the ionic dynamics. More specifically, when the nanostructure is modified by the external electric field such that the mobility cannot be described by linear response theory, two situations arise. The ionic mobility increases as $\lambda$ decreases (small counterions) in the weak electrostatics (high dielectric constant) regime. Whereas in systems with strong electrostatic interactions, ionomers with higher size symmetry ($\lambda \approx 1$) display higher ionic mobility. Moreover, ion transport is found to be dominated by the hopping of the ions and not by moving ionic clusters (also known as "vehicular'' charge transport). These results serve as a guide for designing ion-containing polymers for ion transport related applications.


title: Understanding Player Engagement and In-Game Purchasing Behavior with Ensemble Learning

abstract: As video games attract more and more players, the major challenge for game studios is to retain them. We present a deep behavioral analysis of churn (game abandonment) and what we called "purchase churn" (the transition from paying to non-paying user). A series of churning behavior profiles are identified, which allows a classification of churners in terms of whether they eventually return to the game (false churners)--or start purchasing again (false purchase churners)--and their subsequent behavior. The impact of excluding some or all of these churners from the training sample is then explored in several churn and purchase churn prediction models. Our results suggest that discarding certain combinations of "zombies" (players whose activity is extremely sporadic) and false churners has a significant positive impact in all models considered.


title: Stochastic heat equations with logarithmic nonlinearity

abstract: In this paper, we establish the existence and uniqueness of solutions to stochastic heat equations with logarithmic nonlinearity driven by Brownian motion on a bounded domain $D$ in the setting of $L^2(D)$ space. The result is valid for all initial values in $L^2(D)$. The logarithmic Sobolev inequality plays an important role.


title: Constraints on families of smooth 4-manifolds from Bauer-Furuta invariants

abstract: We obtain constraints on the topology of families of smooth $4$-manifolds arising from a finite dimensional approximation of the families Seiberg-Witten monopole map. Amongst other results these constraints include a families generalisation of Donaldson's diagonalisation theorem and Furuta's $10/8$ theorem. As an application we construct examples of continuous $\mathbb{Z}_p$-actions for any odd prime $p$, which can not be realised smoothly. As a second application we show that the inclusion of the group of diffeomorphisms into the group of homeomorphisms is not a weak homotopy equivalence for any compact, smooth, simply-connected indefinite $4$-manifold with signature of absolute value greater than $8$.


title: Learning by Abstraction: The Neural State Machine

abstract: We introduce the Neural State Machine, seeking to bridge the gap between the neural and symbolic views of AI and integrate their complementary strengths for the task of visual reasoning. Given an image, we first predict a probabilistic graph that represents its underlying semantics and serves as a structured world model. Then, we perform sequential reasoning over the graph, iteratively traversing its nodes to answer a given question or draw a new inference. In contrast to most neural architectures that are designed to closely interact with the raw sensory data, our model operates instead in an abstract latent space, by transforming both the visual and linguistic modalities into semantic concept-based representations, thereby achieving enhanced transparency and modularity. We evaluate our model on VQA-CP and GQA, two recent VQA datasets that involve compositionality, multi-step inference and diverse reasoning skills, achieving state-of-the-art results in both cases. We provide further experiments that illustrate the model's strong generalization capacity across multiple dimensions, including novel compositions of concepts, changes in the answer distribution, and unseen linguistic structures, demonstrating the qualities and efficacy of our approach.


title: Accurate Nuclear Segmentation with Center Vector Encoding

abstract: Nuclear segmentation is important and frequently demanded for pathology image analysis, yet is also challenging due to nuclear crowdedness and possible occlusion. In this paper, we present a novel bottom-up method for nuclear segmentation. The concepts of Center Mask and Center Vector are introduced to better depict the relationship between pixels and nuclear instances. The instance differentiation process are thus largely simplified and easier to understand. Experiments demonstrate the effectiveness of Center Vector Encoding, where our method outperforms state-of-the-arts by a clear margin.


title: Near-Infrared Polarimetric Study of Near-Earth Object 252P/LINEAR: An Implication of Scattered Light from the Evolved Dust Particles

abstract: Aims. We aim to constrain the size and porosity of ejected dust particles from comet 252P/LINEAR and their evolution near the perihelion via near-infrared multiband polarimetry. A close approach of the comet to the Earth in March 2016 (~0.036 au) provided a rare opportunity for the sampling of the comet with a high spatial resolution. Methods. We made NIR JHKS bands polarimetric observations of the comet for 12 days near perihelion, interspersed between broadband optical imaging observations over four months. In addition, dynamical simulation of the comet was performed 1000 yr backward in time. Results. We detected two discontinuous brightness enhancements. Before the first enhancement, the NIR polarization degrees were far lower than those of ordinary comets at a given phase angle. Soon after the activation, however, they increased by ~13 % at most, showing unusual blue polarimetric color over the J and H bands (-2.55 % / um on average) and bluing of both J-H and H-Ks dust color. Throughout the event, the polarization vector was marginally aligned perpendicular to the scattering plane. The subsequent postperihelion reactivation of the comet lasted for approximately 1.5 months, with a factor of ~30 times pre-activation dust mass-loss rates in the Rc band. Conclusions. The marked increase in the polarization degree with blue NIR polarimetric color is reminiscent of the behaviors of a fragmenting comet D/1999 S4 (LINEAR). The most plausible scenario for the observed polarimetric properties of 252P/LINEAR would be an ejection of predominantly large, compact dust particles from the desiccated surface layer. We conjecture that the more intense solar heating that the comet has received in the near-Earth orbit would cause the paucity of small, fluffy dust particles around the nucleus of the comet.


title: Efficient Cloth Simulation using Miniature Cloth and Upscaling Deep Neural Networks

abstract: Cloth simulation requires a fast and stable method for interactively and realistically visualizing fabric materials using computer graphics. We propose an efficient cloth simulation method using miniature cloth simulation and upscaling Deep Neural Networks (DNN). The upscaling DNNs generate the target cloth simulation from the results of physically-based simulations of a miniature cloth that has similar physical properties to those of the target cloth. We have verified the utility of the proposed method through experiments, and the results demonstrate that it is possible to generate fast and stable cloth simulations under various conditions.


title: Signet Ring Cell Detection With a Semi-supervised Learning Framework

abstract: Signet ring cell carcinoma is a type of rare adenocarcinoma with poor prognosis. Early detection leads to huge improvement of patients' survival rate. However, pathologists can only visually detect signet ring cells under the microscope. This procedure is not only laborious but also prone to omission. An automatic and accurate signet ring cell detection solution is thus important but has not been investigated before. In this paper, we take the first step to present a semi-supervised learning framework for the signet ring cell detection problem. Self-training is proposed to deal with the challenge of incomplete annotations, and cooperative-training is adapted to explore the unlabeled regions. Combining the two techniques, our semi-supervised learning framework can make better use of both labeled and unlabeled data. Experiments on large real clinical data demonstrate the effectiveness of our design. Our framework achieves accurate signet ring cell detection and can be readily applied in the clinical trails. The dataset will be released soon to facilitate the development of the area.