title: Region Proposal Network with Graph Prior and IoU-Balance Loss for Landmark Detection in 3D Ultrasound

abstract: 3D ultrasound (US) can facilitate detailed prenatal examinations for fetal growth monitoring. To analyze a 3D US volume, it is fundamental to identify anatomical landmarks of the evaluated organs accurately. Typical deep learning methods usually regress the coordinates directly or involve heatmap-matching. However, these methods struggle to deal with volumes with large sizes and the highly-varying positions and orientations of fetuses. In this work, we exploit an object detection framework to detect landmarks in 3D fetal facial US volumes. By regressing multiple parameters of the landmark-centered bounding box (B-box) with a strict criteria, the proposed model is able to pinpoint the exact location of the targeted landmarks. Specifically, the model uses a 3D region proposal network (RPN) to generate 3D candidate regions, followed by several 3D classification branches to select the best candidate. It also adopts an IoU-balance loss to improve communications between branches that benefits the learning process. Furthermore, it leverages a distance-based graph prior to regularize the training and helps to reduce false positive predictions. The performance of the proposed framework is evaluated on a 3D US dataset to detect five key fetal facial landmarks. Results showed the proposed method outperforms some of the state-of-the-art methods in efficacy and efficiency.


title: Revisiting the Sun's Strong Differential Rotation along Radial Lines

abstract: Current state-of-the-art models of the solar convection zone consist of solutions to the Navier-Stokes equations in rotating, 3D spherical shells. Such models are highly sensitive to the choice of boundary conditions. Here, we present two suites of simulations differing only in their outer thermal boundary condition, which is either one of fixed-entropy or fixed-entropy-gradient. We find that the resulting differential rotation is markedly different between the two sets. The fixed-entropy-gradient simulations have strong differential rotation contrast and isocontours tilted along radial lines (in good agreement with the Sun's interior rotation revealed by helioseismology), whereas the fixed-entropy simulations have weaker contrast and contours tilted in the opposite sense. We examine in detail the force balances in our models and find that the poleward transport of heat by Busse columns drives a thermal wind responsible for the different rotation profiles. We conclude that the Sun's strong differential rotation along radial lines may result from the solar emissivity being invariant with latitude (which is similar to the fixed-entropy-gradient condition in our models) and the poleward transport of heat by Busse columns. In future work on convection in the solar context, we strongly advise modelers to use a fixed-gradient outer boundary condition.


title: Inventory Loops (i.e. Counting Sequences) have Pre-period $2\max S_1+60$

abstract: An Inventory Sequence $(S_0, S_1, S_2, ...)$ is the iteration of the map $f$ defined roughly by taking an integer to its numericized description (e.g. $f(1381)=211318$ since "$1381$" has two $1$'s, one $3$, and one $8$). Our work analyzes the iteration under the infinite base. Any starting value of positive digits is known to be ultimately periodic [1] (e.g. $S_0=1381$ reaches the 1-cycle $f(3122331418)=3122331418$). Parametrizations of all possible cycles are also known [2,3]. We answer Bronstein and Fraenkel's open question of 26 years showing the pre-period of any such starting value is no more than $2M+60$ where $M=\max S_1$. And oddly the period of the cycle can be determined after only $O(\log\log M)$ iterations.


title: Estimation of losses in a 300 m filter cavity and quantum noise reduction in the KAGRA gravitational-wave detector

abstract: The sensitivity of the gravitational-wave detector KAGRA, presently under construction, will be limited by quantum noise in a large fraction of its spectrum. The most promising technique to increase the detector sensitivity is the injection of squeezed states of light, where the squeezing angle is dynamically rotated by a Fabry-P\'erot filter cavity. One of the main issues in the filter cavity design and realization is the optical losses due to the mirror surface imperfections. In this work we present a study of the specifications for the mirrors to be used in a 300 m filter cavity for the KAGRA detector. A prototype of the cavity will be constructed at the National Astronomical Observatory of Japan, inside the infrastructure of the former TAMA interferometer. We also discuss the potential improvement of the KAGRA sensitivity, based on a model of various realistic sources of losses and their influence on the squeezing amplitude.


title: Implementation of geometric quantum gates on microwave-driven semiconductor charge qubits

abstract: A semiconductor-based charge qubit, confined in double quantum dots, can be a platform to implement quantum computing. However, it suffers severely from charge noises. Here, we provide a theoretical framework to implement universal geometric quantum gates in this system. We find that, while the detuning noise can be suppressed by operating near its corresponding sweet spot, the tunneling noise, on the other hand, is amplified and becomes the dominant source of error for single-qubit gates, a fact previously insufficiently appreciated. We demonstrate, through numerical simulation, that the geometric gates outperform the dynamical gates across a wide range of tunneling noise levels, making them particularly suitable to be implemented in conjunction with microwave driving. To obtain a nontrivial two-qubit gate, we introduce a hybrid system with charge qubits coupled by a superconducting resonator. When each charge qubit is in resonance with the resonator, it is possible to construct an entangling geometric gate with fidelity higher than that of the dynamical gate for experimentally relevant noise levels. Therefore, our results suggest that geometric quantum gates are powerful tools to achieve high-fidelity manipulation for the charge qubit.


title: Implementation of muon pair production in PHITS and verification by comparing with the muon shielding experiment at SLAC

abstract: We implemented a model of muon pair production through a real photon in PHITS and compared our calculations with data of the muon shielding experiment conducted at SLAC to verify the validity of the implemented model. Our predictions of the muon fluence induced by electrons are in good agreement with the experimental data. To understand the known differences between the calculations of the muon fluence, which have been determined using other Monte-Carlo codes, we quantitatively evaluate the fluctuations in the Monte-Carlo results due to systematic errors in multiple Coulomb scattering, differences in the approximation methods and energy loss models, and whether incoherent production is considered.


title: Experimental observation of a first order phase transition in a complex plasma mono-layer crystal

abstract: The formation and melting of a mono-layered charged dust particle crystal in a DC glow discharge Argon plasma is studied. The nature of the melting/formation process is established as a first order phase transition from the nature of the variations in the Coulomb coupling parameter, the dust temperature, the structural order parameter and from the existence of a hysteresis behavior. Our experimental results are distinctly different from existing theoretical predictions for 2D crystals based on the KTHNY mechanism or the Grain boundary induced melting and indicate a novel mechanism that is akin to a fluctuation induced first order phase transition that has not been observed before in complex plasmas.


title: BCNet: Learning Body and Cloth Shape from A Single Image

abstract: In this paper, we consider the problem to automatically reconstruct garment and body shapes from a single near-front view RGB image. To this end, we propose a layered garment representation on top of SMPL and novelly make the skinning weight of garment independent of the body mesh, which significantly improves the expression ability of our garment model. Compared with existing methods, our method can support more garment categories and recover more accurate geometry. To train our model, we construct two large scale datasets with ground truth body and garment geometries as well as paired color images. Compared with single mesh or non-parametric representation, our method can achieve more flexible control with separate meshes, makes applications like re-pose, garment transfer, and garment texture mapping possible. Code and some data is available at https://github.com/jby1993/BCNet.


title: Streaming Temporal Graphs: Subgraph Matching

abstract: We investigate solutions to subgraph matching within a temporal stream of data. We present a high-level language for describing temporal subgraphs of interest, the Streaming Analytics Language (SAL). SAL programs are translated into C++ code that is run in parallel on a cluster. We call this implementation of SAL the Streaming Analytics Machine (SAM). SAL programs are succinct, requiring about 20 times fewer lines of code than using the SAM library directly, or writing an implementation using Apache Flink. To benchmark SAM we calculate finding temporal triangles within streaming netflow data. Also, we compare SAM to an implementation written for Flink. We find that SAM is able to scale to 128 nodes or 2560 cores, while Apache Flink has max throughput with 32 nodes and degrades thereafter. Apache Flink has an advantage when triangles are rare, with max aggregate throughput for Flink at 32 nodes greater than the max achievable rate of SAM. In our experiments, when triangle occurrence was faster than five per second per node, SAM performed better. Both frameworks may miss results due to latencies in network communication. SAM consistently reported an average of 93.7% of expected results while Flink decreases from 83.7% to 52.1% as we increase to the maximum size of the cluster. Overall, SAM can obtain rates of 91.8 billion netflows per day.


title: Heterogeneous Network Representation Learning: A Unified Framework with Survey and Benchmark

abstract: Since real-world objects and their interactions are often multi-modal and multi-typed, heterogeneous networks have been widely used as a more powerful, realistic, and generic superclass of traditional homogeneous networks (graphs). Meanwhile, representation learning (\aka~embedding) has recently been intensively studied and shown effective for various network mining and analytical tasks. In this work, we aim to provide a unified framework to deeply summarize and evaluate existing research on heterogeneous network embedding (HNE), which includes but goes beyond a normal survey. Since there has already been a broad body of HNE algorithms, as the first contribution of this work, we provide a generic paradigm for the systematic categorization and analysis over the merits of various existing HNE algorithms. Moreover, existing HNE algorithms, though mostly claimed generic, are often evaluated on different datasets. Understandable due to the application favor of HNE, such indirect comparisons largely hinder the proper attribution of improved task performance towards effective data preprocessing and novel technical design, especially considering the various ways possible to construct a heterogeneous network from real-world application data. Therefore, as the second contribution, we create four benchmark datasets with various properties regarding scale, structure, attribute/label availability, and \etc.~from different sources, towards handy and fair evaluations of HNE algorithms. As the third contribution, we carefully refactor and amend the implementations and create friendly interfaces for 13 popular HNE algorithms, and provide all-around comparisons among them over multiple tasks and experimental settings.


title: Molecular docking studies on Jensenone from eucalyptus essential oil as a potential inhibitor of COVID 19 corona virus infection

abstract: COVID-19, a member of corona virus family is spreading its tentacles across the world due to lack of drugs at present. However, the main viral proteinase (Mpro/3CLpro) has recently been regarded as a suitable target for drug design against SARS infection due to its vital role in polyproteins processing necessary for coronavirus reproduction. The present in silico study was designed to evaluate the effect of Jensenone, a essential oil component from eucalyptus oil, on Mpro by docking study. In the present study, molecular docking studies were conducted by using 1-click dock and swiss dock tools. Protein interaction mode was calculated by Protein Interactions Calculator.The calculated parameters such as binding energy, and binding site similarity indicated effective binding of Jensenone to COVID-19 proteinase. Active site prediction further validated the role of active site residues in ligand binding. PIC results indicated that, Mpro/ Jensenone complexes forms hydrophobic interactions, hydrogen bond interactions and strong ionic interactions. Therefore, Jensenone may represent potential treatment potential to act as COVID-19 Mpro inhibitor. However, further research is necessary to investigate their potential medicinal use.


title: 3D Deep Learning on Medical Images: A Review

abstract: The rapid advancements in machine learning, graphics processing technologies and the availability of medical imaging data have led to a rapid increase in the use of deep learning models in the medical domain. This was exacerbated by the rapid advancements in convolutional neural network (CNN) based architectures, which were adopted by the medical imaging community to assist clinicians in disease diagnosis. Since the grand success of AlexNet in 2012, CNNs have been increasingly used in medical image analysis to improve the efficiency of human clinicians. In recent years, three-dimensional (3D) CNNs have been employed for the analysis of medical images. In this paper, we trace the history of how the 3D CNN was developed from its machine learning roots, we provide a brief mathematical description of 3D CNN and provide the preprocessing steps required for medical images before feeding them to 3D CNNs. We review the significant research in the field of 3D medical imaging analysis using 3D CNNs (and its variants) in different medical areas such as classification, segmentation, detection and localization. We conclude by discussing the challenges associated with the use of 3D CNNs in the medical imaging domain (and the use of deep learning models in general) and possible future trends in the field.


title: Spatial distributions of non-conservatively interacting particles

abstract: Certain types of active systems can be treated as an equilibrium system with excess non-conservative forces driving some of the microscopic degrees of freedom. We derive results for how many particles interacting with each other with both conservative and non-conservative forces will behave. Treating non-conservative forces perturbatevily, we show how the probability distribution of the microscopic degrees of freedom is modified from the Boltzmann distribution. We compare the perturbative expansion to an exactly solvable non-conservative system. We then derive approximate forms of this distribution through analyzing the nature of our perturbations. Finally, we consider how the approximate forms for the microscopic distributions we have derived lead to different macroscopic states when coarse grained, and compare it qualitatively to simulation of non-conservatively interacting particles. In particular we note by introducing non-conservative interactions between particles we modify densities through extra terms which couple to surfaces


title: Decoherence and the Transactional Interpretation

abstract: This paper presents an analysis of decoherence resulting from the physically real non-unitarity, or 'objective reduction,' that occurs in the Transactional Interpretation (TI). Two distinct aspects of the decoherence process are identified and disambiguated; specifically, (i) the resolution of the basic measurement interaction with respect to the observable under study, and (ii) the effect on the measured system of repetition of the measurement interaction. It is shown that the measurement interaction as described in TI leads naturally to the same quantitative expression for the decoherence function as in the standard unitary-only account. However, unlike in the unitary-only approach, under TI, the reduced density operator for the measured system can legitimately be interpreted as representing the occurrence of an actual measurement result.


title: NBDT: Neural-Backed Decision Trees

abstract: Machine learning applications such as finance and medicine demand accurate and justifiable predictions, barring most deep learning methods from use. In response, previous work combines decision trees with deep learning, yielding models that (1) sacrifice interpretability for accuracy or (2) sacrifice accuracy for interpretability. We forgo this dilemma by jointly improving accuracy and interpretability using Neural-Backed Decision Trees (NBDTs). NBDTs replace a neural network's final linear layer with a differentiable sequence of decisions and a surrogate loss. This forces the model to learn high-level concepts and lessens reliance on highly-uncertain decisions, yielding (1) accuracy: NBDTs match or outperform modern neural networks on CIFAR, ImageNet and better generalize to unseen classes by up to 16%. Furthermore, our surrogate loss improves the original model's accuracy by up to 2%. NBDTs also afford (2) interpretability: improving human trustby clearly identifying model mistakes and assisting in dataset debugging. Code and pretrained NBDTs are at https://github.com/alvinwan/neural-backed-decision-trees.


title: Video Anomaly Detection for Smart Surveillance

abstract: In modern intelligent video surveillance systems, automatic anomaly detection through computer vision analytics plays a pivotal role which not only significantly increases monitoring efficiency but also reduces the burden on live monitoring. Anomalies in videos are broadly defined as events or activities that are unusual and signify irregular behavior. The goal of anomaly detection is to temporally or spatially localize the anomaly events in video sequences. Temporal localization (i.e. indicating the start and end frames of the anomaly event in a video) is referred to as frame-level detection. Spatial localization, which is more challenging, means to identify the pixels within each anomaly frame that correspond to the anomaly event. This setting is usually referred to as pixel-level detection. In this paper, we provide a brief overview of the recent research progress on video anomaly detection and highlight a few future research directions.


title: Novel quantum phases of two-component bosons with pair hopping in synthetic dimension

abstract: We study two-component (or pseudospin-1/2) bosons with pair hopping interactions in synthetic dimension, for which a feasible experimental scheme on a square optical lattice is also presented. Previous studies have shown that two-component bosons with on-site interspecies interaction can only generate nontrivial interspecies paired superfluid (super-counter-fluidity or pair-superfluid) state. In contrast, apart from interspecies paired superfluid, we reveal two new phases by considering this additional pair hopping interaction. These novel phases are intraspecies paired superfluid (molecular superfluid) and an exotic non-integer Mott insulator which shows a non-integer atom number at each site for each species, but an integer for total atom number.


title: Understanding GPU-Based Lossy Compression for Extreme-Scale Cosmological Simulations

abstract: To help understand our universe better, researchers and scientists currently run extreme-scale cosmology simulations on leadership supercomputers. However, such simulations can generate large amounts of scientific data, which often result in expensive costs in data associated with data movement and storage. Lossy compression techniques have become attractive because they significantly reduce data size and can maintain high data fidelity for post-analysis. In this paper, we propose to use GPU-based lossy compression for extreme-scale cosmological simulations. Our contributions are threefold: (1) we implement multiple GPU-based lossy compressors to our opensource compression benchmark and analysis framework named Foresight; (2) we use Foresight to comprehensively evaluate the practicality of using GPU-based lossy compression on two real-world extreme-scale cosmology simulations, namely HACC and Nyx, based on a series of assessment metrics; and (3) we develop a general optimization guideline on how to determine the best-fit configurations for different lossy compressors and cosmological simulations. Experiments show that GPU-based lossy compression can provide necessary accuracy on post-analysis for cosmological simulations and high compression ratio of 5~15x on the tested datasets, as well as much higher compression and decompression throughput than CPU-based compressors.


title: MetaPoison: Practical General-purpose Clean-label Data Poisoning

abstract: Data poisoning -- the process by which an attacker takes control of a model by making imperceptible changes to a subset of the training data -- is an emerging threat in the context of neural networks. Existing attacks for data poisoning neural networks have relied on hand-crafted heuristics, because solving the poisoning problem directly via bilevel optimization is generally thought of as intractable for deep models. We propose MetaPoison, a first-order method that approximates the bilevel problem via meta-learning and crafts poisons that fool neural networks. MetaPoison is effective: it outperforms previous clean-label poisoning methods by a large margin. MetaPoison is robust: poisoned data made for one model transfer to a variety of victim models with unknown training settings and architectures. MetaPoison is general-purpose, it works not only in fine-tuning scenarios, but also for end-to-end training from scratch, which till now hasn't been feasible for clean-label attacks with deep nets. MetaPoison can achieve arbitrary adversary goals -- like using poisons of one class to make a target image don the label of another arbitrarily chosen class. Finally, MetaPoison works in the real-world. We demonstrate for the first time successful data poisoning of models trained on the black-box Google Cloud AutoML API. Code and premade poisons are provided at https://github.com/wronnyhuang/metapoison


title: Synthesis and Edition of Ultrasound Images via Sketch Guided Progressive Growing GANs

abstract: Ultrasound (US) is widely accepted in clinic for anatomical structure inspection. However, lacking in resources to practice US scan, novices often struggle to learn the operation skills. Also, in the deep learning era, automated US image analysis is limited by the lack of annotated samples. Efficiently synthesizing realistic, editable and high resolution US images can solve the problems. The task is challenging and previous methods can only partially complete it. In this paper, we devise a new framework for US image synthesis. Particularly, we firstly adopt a sketch generative adversarial networks (Sgan) to introduce background sketch upon object mask in a conditioned generative adversarial network. With enriched sketch cues, Sgan can generate realistic US images with editable and fine-grained structure details. Although effective, Sgan is hard to generate high resolution US images. To achieve this, we further implant the Sgan into a progressive growing scheme (PGSgan). By smoothly growing both generator and discriminator, PGSgan can gradually synthesize US images from low to high resolution. By synthesizing ovary and follicle US images, our extensive perceptual evaluation, user study and segmentation results prove the promising efficacy and efficiency of the proposed PGSgan.


title: Uncertainty quantification in imaging and automatic horizon tracking: a Bayesian deep-prior based approach

abstract: In inverse problems, uncertainty quantification (UQ) deals with a probabilistic description of the solution nonuniqueness and data noise sensitivity. Setting seismic imaging into a Bayesian framework allows for a principled way of studying uncertainty by solving for the model posterior distribution. Imaging, however, typically constitutes only the first stage of a sequential workflow, and UQ becomes even more relevant when applied to subsequent tasks that are highly sensitive to the inversion outcome. In this paper, we focus on how UQ trickles down to horizon tracking for the determination of stratigraphic models and investigate its sensitivity with respect to the imaging result. As such, the main contribution of this work consists in a data-guided approach to horizon tracking uncertainty analysis. This work is fundamentally based on a special reparameterization of reflectivity, known as "deep prior". Feasible models are restricted to the output of a convolutional neural network with a fixed input, while weights and biases are Gaussian random variables. Given a deep prior model, the network parameters are sampled from the posterior distribution via a Markov chain Monte Carlo method, from which the conditional mean and point-wise standard deviation of the inferred reflectivities are approximated. For each sample of the posterior distribution, a reflectivity is generated, and the horizons are tracked automatically. In this way, uncertainty on model parameters naturally translates to horizon tracking. As part of the validation for the proposed approach, we verified that the estimated confidence intervals for the horizon tracking coincide with geologically complex regions, such as faults.


title: Ultralocally Closed Clones

abstract: Given a clone C on a set A, we characterize the clone of operations on A which are local term operations of every ultrapower of the algebra $(A; C)$.


title: The effect of high nitrogen pressures on the habitable zone and an appraisal of greenhouse states

abstract: The habitable zone is the main tool that mission architectures utilize to select potentially habitable planets for follow up spectroscopic observation. Given its importance, the precise size and location of the habitable zone remains a hot topic, as many studies, using a hierarchy of models, have assessed various factors including: atmospheric composition, time, and planetary mass. However, little work has assessed how the habitable zone changes with variations in background nitrogen pressure, which is directly connected to the habitability and life bearing potential of planets. Here, I use an advanced energy balance model with clouds to show that our solar system habitable zone is about 0.9 to 1.7 AU, assuming a 5 bar nitrogen background pressure and a maximum 100 percent cloud cover at the inner edge. This width is about 20 percent wider than the conservative habitable zone estimate. Similar extensions are calculated for A to M stars. I also show that cooling clouds and hazes and high background pressures can decrease the runaway greenhouse threshold temperature to approximately 300 K (or less) for planets orbiting any star type. This is because the associated increase in planetary albedo enables stable climates closer to the star, where rapid destabilization can be triggered from a lower mean surface temperature. Enhanced longwave emission for planets with very high stratospheric temperatures also permits stable climates at smaller orbital distances. The model predicts a runaway greenhouse above approximately 330 K for planets orbiting the Sun, which is consistent with previous work. However, moist greenhouses only occur for planets orbiting A-stars.


title: Pose-guided Visible Part Matching for Occluded Person ReID

abstract: Occluded person re-identification is a challenging task as the appearance varies substantially with various obstacles, especially in the crowd scenario. To address this issue, we propose a Pose-guided Visible Part Matching (PVPM) method that jointly learns the discriminative features with pose-guided attention and self-mines the part visibility in an end-to-end framework. Specifically, the proposed PVPM includes two key components: 1) pose-guided attention (PGA) method for part feature pooling that exploits more discriminative local features; 2) pose-guided visibility predictor (PVP) that estimates whether a part suffers the occlusion or not. As there are no ground truth training annotations for the occluded part, we turn to utilize the characteristic of part correspondence in positive pairs and self-mining the correspondence scores via graph matching. The generated correspondence scores are then utilized as pseudo-labels for visibility predictor (PVP). Experimental results on three reported occluded benchmarks show that the proposed method achieves competitive performance to state-of-the-art methods. The source codes are available at https://github.com/hh23333/PVPM


title: A robust and efficient algorithm to find profile likelihood confidence intervals

abstract: Profile likelihood confidence intervals are a robust alternative to Wald's method if the asymptotic properties of the maximum likelihood estimator are not met. However, the constrained optimization problem defining profile likelihood confidence intervals can be difficult to solve in these situations, because the likelihood function may exhibit unfavorable properties. As a result, existing methods may be inefficient and yield misleading results. In this paper, we address this problem by computing profile likelihood confidence intervals via a trust-region approach, where steps computed based on local approximations are constrained to regions where these approximations are sufficiently precise. As our algorithm also accounts for numerical issues arising if the likelihood function is strongly non-linear or parameters are not estimable, the method is applicable in many scenarios where earlier approaches are shown to be unreliable. To demonstrate its potential in applications, we apply our algorithm to benchmark problems and compare it with 6 existing approaches to compute profile likelihood confidence intervals. Our algorithm consistently achieved higher success rates than any competitor while also being among the quickest methods. As our algorithm can be applied to compute both confidence intervals of parameters and model predictions, it is useful in a wide range of scenarios.


title: Machine Learning for Multi-fidelity Scale Bridging and Dynamical Simulations of Materials

abstract: Molecular dynamics (MD) is a powerful and popular tool for understanding the dynamical evolution of materials at the nano and mesoscopic scales. There are various flavors of MD ranging from the high fidelity albeit computationally expensive ab-initio MD to relatively lower fidelity but much more efficient classical MD such as atomistic and coarse-grained models. Each of these different flavors of MD have been independently used by materials scientists to bring about breakthroughs in materials discovery and design. A significant gulf exists between the various MD flavors, each having varying levels of fidelity. The accuracy of DFT or ab-initio MD is generally much higher than that of classical atomistic simulations which is higher than that of coarse-grained models. Multi-fidelity scale bridging to combine the accuracy and flexibility of ab-initio MD with efficiency classical MD has been a longstanding goal. The advent of big-data analytics has brought to the forefront powerful machine learning methods that can be deployed to achieve this goal. Here, we provide our perspective on the challenges in multi-fidelity scale bridging and trace the developments leading up to the use of machine learning algorithms and data-science towards addressing this grand challenge.


title: An irreducible class of polynomials over integers

abstract: In this article, we consider polynomials of the form $f(x)=a_0+a_{n_1}x^{n_1}+a_{n_2}x^{n_2}+\dots+a_{n_r}x^{n_r}\in \mathbb{Z}[x],$ where $|a_0|\ge |a_{n_1}|+\dots+|a_{n_r}|,$ $|a_0|$ is a prime power and $|a_0|\nmid |a_{n_1}a_{n_r}|$. We will show that under the strict inequality these polynomials are irreducible for certain values of $n_1$. In the case of equality, apart from its cyclotomic factors, they have exactly one irreducible non-reciprocal factor.


title: Botnet Detection Using Recurrent Variational Autoencoder

abstract: Botnets are increasingly used by malicious actors, creating increasing threat to a large number of internet users. To address this growing danger, we propose to study methods to detect botnets, especially those that are hard to capture with the commonly used methods, such as the signature based ones and the existing anomaly-based ones. More specifically, we propose a novel machine learning based method, named Recurrent Variational Autoencoder (RVAE), for detecting botnets through sequential characteristics of network traffic flow data including attacks by botnets. We validate robustness of our method with the CTU-13 dataset, where we have chosen the testing dataset to have different types of botnets than those of training dataset. Tests show that RVAE is able to detect botnets with the same accuracy as the best known results published in literature. In addition, we propose an approach to assign anomaly score based on probability distributions, which allows us to detect botnets in streaming mode as the new networking statistics becomes available. This on-line detection capability would enable real-time detection of unknown botnets.


title: You can do RLAs for IRV

abstract: The City and County of San Francisco, CA, has used Instant Runoff Voting (IRV) for some elections since 2004. This report describes the first ever process pilot of Risk Limiting Audits for IRV, for the San Francisco District Attorney's race in November, 2019. We found that the vote-by-mail outcome could be efficiently audited to well under the 0.05 risk limit given a sample of only 200 ballots. All the software we developed for the pilot is open source.


title: Global strong solutions to the inhomogeneous incompressible Navier-Stokes system in the exterior of a cylinder

abstract: In this paper, the global strong axisymmetric solutions for the inhomogeneous incompressible Navier-Stokes system are established in the exterior of a cylinder subject to the Dirichlet boundary conditions. Moreover, the vacuum is allowed in these solutions. One of the key ingredients of the analysis is to obtain the ${L^{2}(s,T;L^{\infty}(\Omega))}$ bound for the velocity field, where the axisymmetry of the solutions plays an important role.


title: The space $D$ in several variables: random variables and higher moments

abstract: We study the Banach space $D([0,1]^m)$ of functions of several variables that are (in a certain sense) right-continuous with left limits, and extend several results previously known for the standard case $m=1$. We give, for example, a description of the dual space, and we show that a bounded multilinear form always is measurable with respect to the $\sigma$-field generated by the point evaluations. These results are used to study random functions in the space. (I.e., random elements of the space.) In particular, we give results on existence of moments (in different senses) of such random functions, and we give an application to the Zolotarev distance between two such random functions.


title: Lithium intercalation in MoS$_2$ bilayers and implications for moir\'e flat bands

abstract: Intercalation of lithium atoms between layers of 2D materials can alter their atomic and electronic structure. We investigate effects of Li intercalation in twisted bilayers of the transition metal dichalcogenide MoS$_2$ through first-principles calculations, tight-binding parameterization based on the Wannier transformation, and analysis of moir\'e band structures through an effective continuum model. The energetic stability of different intercalation sites for Li between layers of MoS$_2$ are classified according to the local coordination type and the number of vertically aligned Mo atoms, suggesting that the Li atoms will cluster in certain regions of the moir\'e superlattice. The proximity of a Li atom has a dramatic influence on the interlayer interaction between sulfur atoms, deepening the moir\'e potential well and leading to better isolation of the flat bands in the energy spectrum. These results point to the usefulness for the use of chemical intercalation as a powerful means for controlling moir\'e flat-band physics in 2D semiconductors.


title: Exponentially Stable First Order Control on Matrix Lie Groups

abstract: We present a novel first order controller for systems evolving on matrix Lie groups, a major use case of which is Cartesian velocity control on robot manipulators. This controller achieves global exponential trajectory tracking on a number of commonly used Lie groups including the Special Orthogonal Group SO(n), the Special Euclidean Group SE(n), and the General Linear Group over complex numbers GL(n, C). Additionally, this controller achieves local exponential trajectory tracking on all matrix Lie groups. We demonstrate the effectiveness of this controller in simulation on a number of different Lie groups as well as on hardware with a 7-DOF Sawyer robot arm.


title: The effects of within-neuron degree correlations in networks of spiking neurons

abstract: We consider the effects of correlations between the in- and out-degrees of individual neurons on the dynamics of a network of neurons. By using theta neurons, we can derive a set of coupled differential equations for the expected dynamics of neurons with the same in-degree. A Gaussian copula is used to introduce correlations between a neuron's in- and out-degree and numerical bifurcation analysis is used determine the effects of these correlations on the network's dynamics. For excitatory coupling we find that inducing positive correlations has a similar effect to increasing the coupling strength between neurons, while for inhibitory coupling it has the opposite effect. We also determine the propensity of various two- and three-neuron motifs to occur as correlations are varied and give a plausible explanation for the observed changes in dynamics.


title: Regret Bounds for LQ Adaptive Control Under Database Attacks (Extended Version)

abstract: This paper is concerned with understanding and countering the effects of database attacks on a learning-based linear quadratic adaptive controller. This attack targets neither sensors nor actuators, but just poisons the learning algorithm and parameter estimator that is part of the regulation scheme. We focus on the adaptive optimal control algorithm introduced by Abbasi-Yadkori and Szepesvari and provide regret analysis in the presence of attacks as well as modifications that mitigate their effects. A core step of this algorithm is the self-regularized on-line least squares estimation, which determines a tight confidence set around the true parameters of the system with high probability. In the absence of malicious data injection, this set provides an appropriate estimate of parameters for the aim of control design. However, in the presence of attack, this confidence set is not reliable anymore. Hence, we first tackle the question of how to adjust the confidence set so that it can compensate for the effect of the poisonous data. Then, we quantify the deleterious effect of this type of attack on the optimality of control policy by bounding regret of the closed-loop system under attack.


title: Cassini states of a rigid body with a liquid core

abstract: The purpose of this work is to determine the location and stability of the Cassini states of a celestial body with an inviscid fluid core surrounded by a perfectly rigid mantle. Both situations where the rotation speed is either non-resonant or trapped in a p:1 spin-orbit resonance where p is a half integer are addressed. The rotation dynamics is described by the Poincar\'e-Hough model which assumes a simple motion of the core. The problem is written in a non-canonical Hamiltonian formalism. The secular evolution is obtained without any truncation in obliquity, eccentricity nor inclination. The condition for the body to be in a Cassini state is written as a set of two equations whose unknowns are the mantle obliquity and the tilt angle of the core spin-axis. Solving the system with Mercury's physical and orbital parameters leads to a maximum of 16 different equilibrium configurations, half of them being spectrally stable. In most of these solutions the core is highly tilted with respect to the mantle. The model is also applied to Io and the Moon.


title: Efficient Implementation of Multi-Channel Convolution in Monolithic 3D ReRAM Crossbar

abstract: Convolutional neural networks (CNNs) demonstrate promising accuracy in a wide range of applications. Among all layers in CNNs, convolution layers are the most computation-intensive and consume the most energy. As the maturity of device and fabrication technology, 3D resistive random access memory (ReRAM) receives substantial attention for accelerating large vector-matrix multiplication and convolution due to its high parallelism and energy efficiency benefits. However, implementing multi-channel convolution naively in 3D ReRAM will either produce incorrect results or exploit only partial parallelism of 3D ReRAM. In this paper, we propose a 3D ReRAM-based convolution accelerator architecture, which efficiently maps multi-channel convolution to monolithic 3D ReRAM. Our design has two key principles. First, we exploit the intertwined structure of 3D ReRAM to implement multi-channel convolution by using a state-of-the-art convolution algorithm. Second, we propose a new approach to efficiently implement negative weights by separating them from non-negative weights using configurable interconnects. Our evaluation demonstrates that our mapping scheme in 16-layer 3D ReRAM achieves a speedup of 5.79X, 927.81X, and 36.8X compared with a custom 2D ReRAM baseline and state-of-the-art CPU and GPU. Our design also reduces energy consumption by 2.12X, 1802.64X, and 114.1X compared with the same baseline.


title: A Collapsing Distribution of Axion Dark Matter

abstract: The manuscript deals with an interacting scalar field that mimics the evolution of the so-called Axion Scalar Dark Matter or Axion like particles with ultra-light masses. It is discussed that such a scalar alongwith an ordinary fluid description can collapse under strong gravity. The end state of the collapse depends on how the Axion interacts with geometry and ordinary matter. For a self-interacting Axion and an Axion interacting with geometry the collapse may lead to a zero proper volume singularity or a bounce and total dispersal of the Axion. However, for an Axion interacting with the ordinary fluid description, there is no formation of singularity and the Axion field exhibits periodic behavior before radiating away to zero value. Usually this collapse and dispersal is accompanied by a violation of the Null Energy Condition.


title: Depth Selection for Deep ReLU Nets in Feature Extraction and Generalization

abstract: Deep learning is recognized to be capable of discovering deep features for representation learning and pattern recognition without requiring elegant feature engineering techniques by taking advantage of human ingenuity and prior knowledge. Thus it has triggered enormous research activities in machine learning and pattern recognition. One of the most important challenge of deep learning is to figure out relations between a feature and the depth of deep neural networks (deep nets for short) to reflect the necessity of depth. Our purpose is to quantify this feature-depth correspondence in feature extraction and generalization. We present the adaptivity of features to depths and vice-verse via showing a depth-parameter trade-off in extracting both single feature and composite features. Based on these results, we prove that implementing the classical empirical risk minimization on deep nets can achieve the optimal generalization performance for numerous learning tasks. Our theoretical results are verified by a series of numerical experiments including toy simulations and a real application of earthquake seismic intensity prediction.


title: On minimal model theory for algebraic log surfaces

abstract: We introduce the notion of generalized MR log canonical surfaces and establish the minimal model theory for generalized MR log canonical surfaces in full generality.


title: Modulations in magnetostructural coupling in C and Sn deficient Mn$_3$SnC

abstract: The structural and magnetic interactions in stoichiometric (Mn$_3$SnC), carbon deficient (Mn$_3$SnC$_{0.8}$) and tin deficient (Mn$_3$Sn$_{0.85}$C) antiperovskite compounds are studied using x-ray absorption fine structure spectroscopy and neutron diffraction. The study confirms the presence of local structural distortions only around Mn atoms in the antiperovskite compounds irrespective of their stoichiometry. The distortions in the Mn$_6$C octahedra are such that only Mn atoms are displaced from their crystallographic positions resulting in long and short Mn-Mn bonds. These long and short Mn-Mn bonds are responsible for presence of ferromagnetic and antiferromagnetic moments on Mn atoms. The C deficiency at the center of the octahedra increases the strain on the Mn$_6$C octahedra and results in a wide variation of Mn-Mn bond distances as a function of temperature and large hysteresis in magnetic properties. On the other hand, Sn deficiency tends to relax strain by giving more space for the octahedra to distort leading to temperature independent Mn-Mn bond distances.


title: Adversarial Transfer Learning for Punctuation Restoration

abstract: Previous studies demonstrate that word embeddings and part-of-speech (POS) tags are helpful for punctuation restoration tasks. However, two drawbacks still exist. One is that word embeddings are pre-trained by unidirectional language modeling objectives. Thus the word embeddings only contain left-to-right context information. The other is that POS tags are provided by an external POS tagger. So computation cost will be increased and incorrect predicted tags may affect the performance of restoring punctuation marks during decoding. This paper proposes adversarial transfer learning to address these problems. A pre-trained bidirectional encoder representations from transformers (BERT) model is used to initialize a punctuation model. Thus the transferred model parameters carry both left-to-right and right-to-left representations. Furthermore, adversarial multi-task learning is introduced to learn task invariant knowledge for punctuation prediction. We use an extra POS tagging task to help the training of the punctuation predicting task. Adversarial training is utilized to prevent the shared parameters from containing task specific information. We only use the punctuation predicting task to restore marks during decoding stage. Therefore, it will not need extra computation and not introduce incorrect tags from the POS tagger. Experiments are conducted on IWSLT2011 datasets. The results demonstrate that the punctuation predicting models obtain further performance improvement with task invariant knowledge from the POS tagging task. Our best model outperforms the previous state-of-the-art model trained only with lexical features by up to 9.2% absolute overall F_1-score on test set.


title: Learning to Place Objects onto Flat Surfaces in Upright Orientations

abstract: We study the problem of placing a grasped object on an empty flat surface in an upright orientation, such as placing a cup on its bottom rather than on its side. We aim to find the required object rotation such that when the gripper is opened after the object makes contact with the surface, the object would be stably placed in the upright orientation. We iteratively use two neural networks. At every iteration, we use a convolutional neural network to estimate the required object rotation, which is executed by the robot, and then a separate convolutional neural network to estimate the quality of a placement in its current orientation. Our approach places previously unseen objects in upright orientations with a success rate of 98.1% in free space and 90.3% with a simulated robotic arm, using a dataset of 50 everyday objects in simulation experiments. Real-world experiments were performed, which achieved an 88.0% success rate, which serves as a proof-of-concept for direct sim-to-real transfer.


title: Improving resolution-sensitivity trade off in sub-shot noise imaging

abstract: One of the challenges of quantum technologies is realising the quantum advantage, predicted for ideal systems, in real applications, which have to cope with decoherence and inefficiencies. In quantum metrology, sub-shot-noise imaging (SSNI) and sensing methods can provide genuine quantum enhancement in realistic situations. However, wide field SSNI schemes realized so far suffer a trade-off between the resolution and the sensitivity gain over classical counterpart: small pixels or integrating area, are necessary to achieve high imaging resolution, but larger pixels allow a better detection efficiency of quantum correlations, which means a larger quantum advantage. Here we show how the SSNI protocol can be optimized to significantly improve the resolution without giving up the quantum advantage in the sensitivity. We show a linear resolution improvement (up to a factor 3) with respect to the simple protocol used in previous demonstrations.


title: Self-Augmentation: Generalizing Deep Networks to Unseen Classes for Few-Shot Learning

abstract: Few-shot learning aims to classify unseen classes with a few training examples. While recent works have shown that standard mini-batch training with a carefully designed training strategy can improve generalization ability for unseen classes, well-known problems in deep networks such as memorizing training statistics have been less explored for few-shot learning. To tackle this issue, we propose self-augmentation that consolidates self-mix and self-distillation. Specifically, we exploit a regional dropout technique called self-mix, in which a patch of an image is substituted into other values in the same image. Then, we employ a backbone network that has auxiliary branches with its own classifier to enforce knowledge sharing. Lastly, we present a local representation learner to further exploit a few training examples for unseen classes. Experimental results show that the proposed method outperforms the state-of-the-art methods for prevalent few-shot benchmarks and improves the generalization ability.


title: Higher representation stability for ordered configuration spaces and twisted commutative factorization algebras

abstract: Using factorization homology with coefficients in twisted commutative algebras (TCAs), we prove two flavors of higher representation stability for the cohomology of (generalized) configuration spaces of a scheme/topological space $X$. First, we provide an iterative procedure to study higher representation stability using actions coming from the cohomology of $X$ and prove that all the modules involved are finitely generated over the corresponding TCAs. More quantitatively, we compute explicit bounds for the derived indecomposables in the sense of Galatius-Kupers-Randal-Williams. Secondly, when certain $C_\infty$-operations on the cohomology of $X$ vanish, we prove that the cohomology of its configuration spaces forms a free module over a TCA built out of the configuration spaces of the affine space. This generalizes a result of Church-Ellenberg-Farb on the freeness of $\mathrm{FI}$-modules arising from the cohomology of configuration spaces of open manifolds and, moreover, resolves the various conjectures of Miller-Wilson under these conditions.


title: Leveraging Data Preparation, HBase NoSQL Storage, and HiveQL Querying for COVID-19 Big Data Analytics Projects

abstract: Epidemiologist, Scientists, Statisticians, Historians, Data engineers and Data scientists are working on finding descriptive models and theories to explain COVID-19 expansion phenomena or on building analytics predictive models for learning the apex of COVID-19 confimed cases, recovered cases, and deaths evolution curves. In CRISP-DM life cycle, 75% of time is consumed only by data preparation phase causing lot of pressions and stress on scientists and data scientists building machine learning models. This paper aims to help reducing data preparation efforts by presenting detailed schemas design and data preparation technical scripts for formatting and storing Johns Hopkins University COVID-19 daily data in HBase NoSQL data store, and enabling HiveQL COVID-19 data querying in a relational Hive SQL-like style.


title: Analyses of residual accelerations for TianQin based on the global MHD simulation

abstract: TianQin is a proposed space-based gravitational wave observatory. It is designed to detect the gravitational wave signals in the frequency range of 0.1 mHz -- 1 Hz. At a geocentric distance of $10^5$ km, the plasma in the earth magnetosphere will contribute as the main source of environmental noises. Here, we analyze the acceleration noises that are caused by the magnetic field of space plasma for the test mass of TianQin. The real solar wind data observed by the Advanced Composition Explorer are taken as the input of the magnetohydrodynamic simulation. The Space Weather Modeling Framework is used to simulate the global magnetosphere of the earth, from which we obtain the plasma and magnetic field parameters on the detector's orbits. We calculate the time series of the residual accelerations and the corresponding amplitude spectral densities on these orbit configurations. We find that the residual acceleration produced by the interaction between the TM's magnetic moment induced by the space magnetic field and the spacecraft magnetic field ($\bm{a}_{\rm M1}$) is the dominant term, which can approach $10^{-15}$ m/s$^2$/Hz$^{1/2}$ at $f \approx$ 0.2 mHz for the nominal values of the magnetic susceptibility ($\chi_{\rm m} = 10^{-5}$) and the magnetic shielding factor ($\xi_{\rm m} = 10$) of the test mass. The ratios between the amplitude spectral density of the acceleration noise caused by the space magnetic field and the preliminary goal of the inertial sensor are 0.38 and 0.08 at 1 mHz and 10 mHz, respectively. We discuss the further reduction of this acceleration noise by decreasing $\chi_{\rm m}$ and/or increasing $\xi_{\rm m}$ in the future instrumentation development for TianQin.


title: Progressive Multi-Stage Learning for Discriminative Tracking

abstract: Visual tracking is typically solved as a discriminative learning problem that usually requires high-quality samples for online model adaptation. It is a critical and challenging problem to evaluate the training samples collected from previous predictions and employ sample selection by their quality to train the model. To tackle the above problem, we propose a joint discriminative learning scheme with the progressive multi-stage optimization policy of sample selection for robust visual tracking. The proposed scheme presents a novel time-weighted and detection-guided self-paced learning strategy for easy-to-hard sample selection, which is capable of tolerating relatively large intra-class variations while maintaining inter-class separability. Such a self-paced learning strategy is jointly optimized in conjunction with the discriminative tracking process, resulting in robust tracking results. Experiments on the benchmark datasets demonstrate the effectiveness of the proposed learning framework.


title: Importance of site occupancy and absence of strain glassy phase in Ni$_{2-x}$Fe$_{x}$Mn$_{1.5}$In$_{0.5}$

abstract: Martensitic transition temperature steadily decreases in Ni$_{2-x}$Fe$_{x}$Mn$_{1.5}$In$_{0.5}$ and is completely suppressed at $x$ = 0.2. Despite suppression of martensitic transition, Ni$_{1.8}$Fe$_{0.2}$Mn$_{1.5}$In$_{0.5}$ does not display the expected strain glassy phase. Instead, a ground state with dominant ferromagnetic interactions is observed. A study of structural and magnetic properties of $x$ = 0.2 reveal that the alloy consists of a major Fe rich cubic phase and a minor Fe deficient monoclinic phase favoring a ferromagnetic ground state. This is exactly opposite of that observed in Ni$_2$Mn$_{1-y}$Fe$_{y}$In$_{0.5}$ wherein a strain glassy phase is observed for $y$ = 0.1. The change in site symmetry of Fe when doped for Ni in contrast to Mn in the Heusler composition seems to support the growth of the ferromagnetic phase.


title: Concat Convolutional Neural Network for Pulsar Candidate Selection

abstract: Pulsar searching is essential for the scientific research in the field of physics and astrophysics. As the development of the radio telescope, the exploding volume and it growth speed of candidates growth have brought about several challenges. Therefore, there is an urgent demand for developing an automatic, accurate and efficient pulsar candidate selection method. To meet this need, this work designed a Concat Convolutional Neural Network (CCNN) to identify the candidates collected from the Five-hundred-meter Aperture Spherical Telescope (FAST) data. The CCNN extracts some "pulsar-like" patterns from the diagnostic subplots using Convolutional Neural Network (CNN) and combines these CNN features by a concatenate layer. Therefore, the CCNN is an end-to-end learning model without any need for any intermediate labels, which makes CCNN suitable for the online learning pipeline of pulsar candidate selection. Experimental results on FAST data show that the CCNN outperforms the available state-of-the-art models in similar scenario. It only misses 4 real pulsars out of 326 totally.


title: Packing fraction related distortion of Mn$_6$C octahedra and its effect on the first order magnetic transition in Mn based antiperovskites

abstract: In this paper, we attempt to understand the cause of magnetostructural transformation in Mn-based antiperovskites by calculating EXAFS at the K edges of constituent metal atoms in three antiperovskite compounds, Mn$_3$GaC, Mn$_3$SnC and Mn$_3$InC. These three compounds have very different magnetic ground states despite the similar cubic structure. Our calculations show that the distortions of Mn$_6$C octahedra, which are responsible for the first-order magnetic transition to antiferromagnetic state, depends on the packing fraction of the lattice.


title: Demixing Sines and Spikes Using Multiple Measurement Vectors

abstract: In this paper, we address the line spectral estimation problem with multiple measurement corrupted vectors. Such scenarios appear in many practical applications such as radar, optics, and seismic imaging in which the signal of interest can be modeled as the sum of a spectrally sparse and a blocksparse signal known as outlier. Our aim is to demix the two components and for that, we design a convex problem whose objective function promotes both of the structures. Using positive trigonometric polynomials (PTP) theory, we reformulate the dual problem as a semi-definite program (SDP). Our theoretical results states that for a fixed number of measurements N and constant number of outliers, up to O(N) spectral lines can be recovered using our SDP problem as long as a minimum frequency separation condition is satisfied. Our simulation results also show that increasing the number of samples per measurement vectors, reduces the minimum required frequency separation for successful recovery.


title: A Generalised Sextic Freud Weight

abstract: We discuss the recurrence coefficients of orthogonal polynomials with respect to a generalised sextic Freud weight \[\omega(x;t,\lambda)=|x|^{2\lambda+1}\exp\left(-x^6+tx^2\right),\qquad x\in\mathbb{R},\] with parameters $\lambda>-1$ and $t\in\mathbb{R}$. We show that the coefficients in these recurrence relations can be expressed in terms of Wronskians of generalised hypergeometric functions ${}_1F_2(a_1;b_1,b_2;z)$. We derive a nonlinear discrete as well as a system of differential equations satisfied by the recurrence coefficients and use these to investigate their asymptotic behaviour. We conclude by highlighting a fascinating connection between generalised quartic, sextic, octic and decic Freud weights when expressing their first moments in terms of generalised hypergeometric functions.


title: Five rules for friendly rivalry in direct reciprocity

abstract: Direct reciprocity is one of the key mechanisms accounting for cooperation in our social life. According to recent understanding, most of classical strategies for direct reciprocity fall into one of two classes, `partners' or `rivals'. A `partner' is a generous strategy achieving mutual cooperation, and a `rival' never lets the co-player become better off. They have different working conditions: For example, partners show good performance in a large population, whereas rivals do in head-to-head matches. By means of exhaustive enumeration, we demonstrate the existence of strategies that act as both partners and rivals. Among them, we focus on a human-interpretable strategy, named `CAPRI' after its five characteristic ingredients, i.e., cooperate, accept, punish, recover, and defect otherwise. Our evolutionary simulation shows excellent performance of CAPRI in a broad range of environmental conditions.


title: Crafty: Efficient, HTM-Compatible Persistent Transactions

abstract: Byte-addressable persistent memory, such as Intel/Micron 3D XPoint, is an emerging technology that bridges the gap between volatile memory and persistent storage. Data in persistent memory survives crashes and restarts; however, it is challenging to ensure that this data is consistent after failures. Existing approaches incur significant performance costs to ensure crash consistency. This paper introduces Crafty, a new approach for ensuring consistency and atomicity on persistent memory operations using commodity hardware with existing hardware transactional memory (HTM) capabilities, while incurring low overhead. Crafty employs a novel technique called nondestructive undo logging that leverages commodity HTM to control persist ordering. Our evaluation shows that Crafty outperforms state-of-the-art prior work under low contention, and performs competitively under high contention.


title: Measurement of the $e^+e^- \to\pi^+\pi^- $ process cross section with the SND detector at the VEPP-2000 collider in the energy region $0.525<\sqrt{s}<0.883$ GeV

abstract: The cross section of the process $e^+ e^-\to\pi^+\pi^-$ has been measured in the Spherical Neutral Detector (SND) experiment at the VEPP-2000 $e^+e^-$ collider VEPP-2000 in the energy region $525 <\sqrt[]{s} <883$ MeV. The measurement is based on data with an integrated luminosity of about 4.6 pb$^{-1}$. The systematic uncertainty of the cross section determination is 0.8 % at $\sqrt{s}>0.600$ GeV. The $\rho$ meson parameters are obtained as $m_\rho = 775.3\pm 0.5\pm 0.6$ MeV, $\Gamma_\rho = 145.6\pm 0.6\pm 0.8$ MeV, $B_{\rho\to e^+ e^-}\times B_{\rho\to\pi^+\pi^-} = (4.89\pm 0.02\pm 0.04)\times 10^{-5}$, and the parameters of the $e^+ e^-\to\omega\to\pi^+\pi^-$ process, suppressed by $G$-parity, as $B_{\omega\to e^+ e^-}\times B_{\omega\to\pi^+\pi^-}= (1.32\pm 0.06\pm 0.02)\times 10^{-6} $ and $\phi_{\rho\omega} = 110.7\pm 1.5\pm1.0$ degrees.


abstract: Let $\mathbb{D}$ be the open unit disk in $\mathbb{C}$, let $H^2$ denote the Hardy space on $\mathbb{D}$ and let $\varphi : \mathbb{D} \rightarrow \mathbb{D}$ be a holomorphic self map of $\mathbb{D}$. The composition operator $C_{\varphi}$ on $H^2$ is defined by \[ (C_{\varphi} f)(z)=f(\varphi(z)) \quad \quad (f \in H^2,\, z \in \mathbb{D}). \] Denote by $\mathcal{S}(\mathbb{D})$ the set of all functions that are holomorphic and bounded by one in modulus on $\mathbb{D}$, that is \[ \mathcal{S}(\mathbb{D}) = \{\psi \in H^\infty(\mathbb{D}): \|\psi\|_{\infty} := \sup_{z \in \mathbb{D}} |\psi(z)| \leq 1\}. \] The elements of $\mathcal{S}(\mathbb{D})$ are called Schur functions. The aim of this paper is to answer the following question concerning invariant subspaces of composition operators: Characterize $\varphi$, holomorphic self maps of $\mathbb{D}$, and inner functions $\theta \in H^\infty(\mathbb{D})$ such that the Beurling type invariant subspace $\theta H^2$ is an invariant subspace for $C_{\varphi}$. We prove the following result: $C_{\varphi} (\theta H^2) \subseteq \theta H^2$ if and only if \[ \frac{\theta \circ \varphi}{\theta} \in \mathcal{S}(\mathbb{D}). \] This classification also allows us to recover or improve some known results on Beurling type invariant subspaces of composition operators.


title: Learning Constitutive Relations using Symmetric Positive Definite Neural Networks

abstract: We present the Cholesky-factored symmetric positive definite neural network (SPD-NN) for modeling constitutive relations in dynamical equations. Instead of directly predicting the stress, the SPD-NN trains a neural network to predict the Cholesky factor of a tangent stiffness matrix, based on which the stress is calculated in the incremental form. As a result of the special structure, SPD-NN weakly imposes convexity on the strain energy function, satisfies time consistency for path-dependent materials, and therefore improves numerical stability, especially when the SPD-NN is used in finite element simulations. Depending on the types of available data, we propose two training methods, namely direct training for strain and stress pairs and indirect training for loads and displacement pairs. We demonstrate the effectiveness of SPD-NN on hyperelastic, elasto-plastic, and multiscale fiber-reinforced plate problems from solid mechanics. The generality and robustness of the SPD-NN make it a promising tool for a wide range of constitutive modeling applications.


title: Topological Photonic Crystal of Large Valley Chern Numbers

abstract: The recent realizations of topological valley phase in photonic crystal, an analog of gapped valleytronic materials in electronic system, are limited to the valley Chern number of one. In this letter, we present a new type of valley phase that can have large valley Chern number of two or three. The valley phase transitions between the different valley Chern numbers (from one to three) are realized by changing the configuration of the unit cell. We demonstrate that these new topological phases can guide the wave propagation robustly along the domain wall of sharp bent. Our results are promising for the exploration of new topological phenomena in photonic systems.


title: Map-Based Visualization of 2D/3D Spatial Data via Stylization and Tuning of Information Emphasis

abstract: In Geographical Information search, map visualization can challenge the user because results can consist of a large set of heterogeneous items, increasing visual complexity. We propose a novel visualization model to address this issue. Our model represents results as markers, or as geometric objects, on 2D/3D layers, using stylized and highly colored shapes to enhance their visibility. Moreover, the model supports interactive information filtering in the map by enabling the user to focus on different data categories, using transparency sliders to tune the opacity, and thus the emphasis, of the corresponding data items. A test with users provided positive results concerning the efficacy of the model.


title: The Impact of Dynamics of Collaborative Software Engineering on Introverts: A Study Protocol

abstract: Background: Collaboration among software engineers through face-to-face discussions in teams has been promoted since the adoption of agile methods. However, these discussions might demote the contribution of software engineers who are introverts, possibly leading to sub-optimal solutions and creating work environments that benefit extroverts. Objective: We aim to evaluate whether providing software engineers with time to work individually and reason about a collective problem is a setting that makes introverts more comfortable to interact and contribute more, ultimately leading to better solutions. Method: We plan to conduct a between-subjects study, with teams in a control group that design a software architecture in a team discussion meeting and teams in a treatment group in which subjects work individually before engaging in a meeting. We will assess and compare the amount of contribution of introverts, their subjective experiences, and the designed solutions. Limitations: As extroverts will be present in both groups, we will not be able to conclude that better solutions are solely due to the increased participation of introverts. The analyses of their subjective experience and amount of contributions might provide evidence to suggest the reasons for observed differences.


title: Coupling of localization and depth data for mapping using Intel RealSense T265 and D435i cameras

abstract: We propose to couple two types of Intel RealSense sensors (tracking T265 and depth D435i) in order to obtain localization and 3D occupancy map of the indoor environment. We implemented a python-based observer pattern with multi-threaded approach for camera data synchronization. We compared different point cloud (PC) alignment methods (using transformations obtained from tracking camera and from ICP family methods). Tracking camera and PC alignment allow us to generate a set of transformations between frames. Based on these transformations we obtained different trajectories and provided their analysis. Finally, having poses for all frames, we combined depth data. Firstly we obtained a joint PC representing the whole scene. Then we used Octomap representation to build a map.


title: Anisotropic and crystalline mean curvature flow of mean-convex sets

abstract: We consider a variational scheme for the anisotropic (including crystalline) mean curvature flow of sets with strictly positive anisotropic mean curvature. We show that such condition is preserved by the scheme, and we prove the strict convergence in BV of the time-integrated perimeters of the approximating evolutions, extending a recent result of De Philippis and Laux to the anisotropic setting. We also prove uniqueness of the flat flow obtained in the limit.


title: The fundamental group of quotients of products of some topological spaces by a finite group -- A generalization of a Theorem of Bauer-Catanese-Grunewald-Pignatelli

abstract: We provide a description of the fundamental group of the quotient of a product of topological spaces $X_i$, each admitting a universal cover, by a finite group $G$, provided that there is only a finite number of path-connected components in $X_i^g$ for every $g\in G$. This generalizes previous work of Bauer-Catanese-Grunewald-Pignatelli and Dedieu-Perroni.


title: An Efficient Agreement Mechanism in CapsNets By Pairwise Product

abstract: Capsule networks (CapsNets) are capable of modeling visual hierarchical relationships, which is achieved by the "routing-by-agreement" mechanism. This paper proposes a pairwise agreement mechanism to build capsules, inspired by the feature interactions of factorization machines (FMs). The proposed method has a much lower computation complexity. We further proposed a new CapsNet architecture that combines the strengths of residual networks in representing low-level visual features and CapsNets in modeling the relationships of parts to wholes. We conduct comprehensive experiments to compare the routing algorithms, including dynamic routing, EM routing, and our proposed FM agreement, based on both architectures of original CapsNet and our proposed one, and the results show that our method achieves both excellent performance and efficiency under a variety of situations.


title: Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning

abstract: Probabilistic Computation Tree Logic (PCTL) is frequently used to formally specify control objectives such as probabilistic reachability and safety. In this work, we focus on model checking PCTL specifications statistically on Markov Decision Processes (MDPs) by sampling, e.g., checking whether there exists a feasible policy such that the probability of reaching certain goal states is greater than a threshold. We use reinforcement learning to search for such a feasible policy for PCTL specifications, and then develop a statistical model checking (SMC) method with provable guarantees on its error. Specifically, we first use upper-confidence-bound (UCB) based Q-learning to design an SMC algorithm for bounded-time PCTL specifications, and then extend this algorithm to unbounded-time specifications by identifying a proper truncation time by checking the PCTL specification and its negation at the same time. Finally, we evaluate the proposed method on case studies.


title: Lower Bounds for the Error of Quadrature Formulas for Hilbert Spaces

abstract: We prove lower bounds for the worst case error of quadrature formulas that use given sample points $\X_n = \{ x_1, \dots , x_n \}$. We are mainly interested in optimal point sets $\X_n$, but also prove lower bounds that hold with high probability for sets of independently and uniformly distributed points. As a tool, we use a recent result (and extensions thereof) of Vyb\'iral on the positive semi-definiteness of certain matrices related to the product theorem of Schur. The new technique also works for spaces of analytic functions where known methods based on decomposable kernels cannot be applied.


title: Differentially Private Algorithms for Statistical Verification of Cyber-Physical Systems

abstract: Statistical model checking is a class of sequential algorithms that can verify specifications of interest on an ensemble of cyber-physical systems (e.g., whether 99% of cars from a batch meet a requirement on their energy efficiency). These algorithms infer the probability that given specifications are satisfied by the systems with provable statistical guarantees by drawing sufficient numbers of independent and identically distributed samples. During the process of statistical model checking, the values of the samples (e.g., a user's car energy efficiency) may be inferred by intruders, causing privacy concerns in consumer-level applications (e.g., automobiles and medical devices). This paper addresses the privacy of statistical model checking algorithms from the point of view of differential privacy. These algorithms are sequential, drawing samples until a condition on their values is met. We show that revealing the number of the samples drawn can violate privacy. We also show that the standard exponential mechanism that randomizes the output of an algorithm to achieve differential privacy fails to do so in the context of sequential algorithms. Instead, we relax the conservative requirement in differential privacy that the sensitivity of the output of the algorithm should be bounded to any perturbation for any data set. We propose a new notion of differential privacy which we call expected differential privacy. Then, we propose a novel expected sensitivity analysis for the sequential algorithm and proposed a corresponding exponential mechanism that randomizes the termination time to achieve the expected differential privacy. We apply the proposed mechanism to statistical model checking algorithms to preserve the privacy of the samples they draw. The utility of the proposed algorithm is demonstrated in a case study.


title: Robust Non-Coherent Beamforming for FDD Downlink Massive MIMO

abstract: Designing beamforming techniques for the downlink (DL) of frequency division duplex (FDD) massive MIMO is known to be a challenging problem due to the difficulty of obtaining channel state information (CSI). Indeed, since the uplink-downlink bands are disjoint, the system cannot rely on channel reciprocity to estimate the channel from uplink (UL) pilots as in time division duplexing (TDD) system. Still, in this paper, we propose original designs for robust beamformers that do not require any feedback from the users and only rely on the transmission of UL pilots. The price to pay is that the beamformer is non-coherent in the sense that it does not leverage full knowledge of the phase of each multipath component. A large variety of novel designs are proposed under different criterion and partial phase knowledge.


title: Graph Structured Network for Image-Text Matching

abstract: Image-text matching has received growing interest since it bridges vision and language. The key challenge lies in how to learn correspondence between image and text. Existing works learn coarse correspondence based on object co-occurrence statistics, while failing to learn fine-grained phrase correspondence. In this paper, we present a novel Graph Structured Matching Network (GSMN) to learn fine-grained correspondence. The GSMN explicitly models object, relation and attribute as a structured phrase, which not only allows to learn correspondence of object, relation and attribute separately, but also benefits to learn fine-grained correspondence of structured phrase. This is achieved by node-level matching and structure-level matching. The node-level matching associates each node with its relevant nodes from another modality, where the node can be object, relation or attribute. The associated nodes then jointly infer fine-grained correspondence by fusing neighborhood associations at structure-level matching. Comprehensive experiments show that GSMN outperforms state-of-the-art methods on benchmarks, with relative Recall@1 improvements of nearly 7% and 2% on Flickr30K and MSCOCO, respectively. Code will be released at: https://github.com/CrossmodalGroup/GSMN.


title: A function from Stern's diatomic sequence, and its properties

abstract: We define a function by refining Stern's diatomic sequence. We name it the {\it assembly function}. It is strictly increasing continuous. The first and the second main theorems are on an action to the function. The third theorem is on differentiability of the function at rational points.


title: Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inference

abstract: In this paper, we propose conformal inference based approach for statistical verification of CPS models. Cyber-physical systems (CPS) such as autonomous vehicles, avionic systems, and medical devices operate in highly uncertain environments. This uncertainty is typically modeled using a finite number of parameters or input signals. Given a system specification in Signal Temporal Logic (STL), we would like to verify that for all (infinite) values of the model parameters/input signals, the system satisfies its specification. Unfortunately, this problem is undecidable in general. {\em Statistical model checking} (SMC) offers a solution by providing guarantees on the correctness of CPS models by statistically reasoning on model simulations. We propose a new approach for statistical verification of CPS models for user-provided distribution on the model parameters. Our technique uses model simulations to learn {\em surrogate models}, and uses {\em conformal inference} to provide probabilistic guarantees on the satisfaction of a given STL property. Additionally, we can provide prediction intervals containing the quantitative satisfaction values of the given STL property for any user-specified confidence level. We also propose a refinement procedure based on Gaussian Process (GP)-based surrogate models for obtaining fine-grained probabilistic guarantees over sub-regions in the parameter space. This in turn enables the CPS designer to choose assured validity domains in the parameter space for safety-critical applications. Finally, we demonstrate the efficacy of our technique on several CPS models.


title: Creating Something from Nothing: Unsupervised Knowledge Distillation for Cross-Modal Hashing

abstract: In recent years, cross-modal hashing (CMH) has attracted increasing attentions, mainly because its potential ability of mapping contents from different modalities, especially in vision and language, into the same space, so that it becomes efficient in cross-modal data retrieval. There are two main frameworks for CMH, differing from each other in whether semantic supervision is required. Compared to the unsupervised methods, the supervised methods often enjoy more accurate results, but require much heavier labors in data annotation. In this paper, we propose a novel approach that enables guiding a supervised method using outputs produced by an unsupervised method. Specifically, we make use of teacher-student optimization for propagating knowledge. Experiments are performed on two popular CMH benchmarks, i.e., the MIRFlickr and NUS-WIDE datasets. Our approach outperforms all existing unsupervised methods by a large margin.


title: A generalised OMP algorithm for feature selection with application to gene expression data

abstract: Feature selection for predictive analytics is the problem of identifying a minimal-size subset of features that is maximally predictive of an outcome of interest. To apply to molecular data, feature selection algorithms need to be scalable to tens of thousands of available features. In this paper, we propose gOMP, a highly-scalable generalisation of the Orthogonal Matching Pursuit feature selection algorithm to several directions: (a) different types of outcomes, such as continuous, binary, nominal, and time-to-event, (b) different types of predictive models (e.g., linear least squares, logistic regression), (c) different types of predictive features (continuous, categorical), and (d) different, statistical-based stopping criteria. We compare the proposed algorithm against LASSO, a prototypical, widely used algorithm for high-dimensional data. On dozens of simulated datasets, as well as, real gene expression datasets, gOMP is on par, or outperforms LASSO for case-control binary classification, quantified outcomes (regression), and (censored) survival times (time-to-event) analysis. gOMP has also several theoretical advantages that are discussed. While gOMP is based on quite simple and basic statistical ideas, easy to implement and to generalize, we also show in an extensive evaluation that it is also quite effective in bioinformatics analysis settings.


title: An Efficient Anonymous Authentication Scheme Using Registration List in VANETs

abstract: Nowadays, Vehicular Ad hoc Networks (VANETs) are popularly known as they can reduce traffic and road accidents. These networks need several security requirements, such as anonymity, data authentication, confidentiality, traceability and cancellation of offending users, unlinkability, integrity, undeniability and access control. Authentication is one of the most important security requirements in these networks. So many authentication schemes have been proposed up to now. One of the well-known techniques to provide users authentication in these networks is the authentication based on the smartcard (ASC). In this paper, we propose an ASC scheme that not only provides necessary security requirements such as anonymity, traceability and unlinkability in the VANETs but also is more efficient than the other schemes in the literatures.


title: Molecular fields and statistical field theory of fluids. Application to interface phenomena

abstract: Using the integral transformation, the field-theoretical Hamiltonian of the statistical field theory of fluids is obtained, along with the microscopic expressions for the coefficients of the Hamiltonian. Applying this approach to the liquid-vapor interface, we derive an explicit analytical expression for the surface tension in terms of temperature, density and parameters of inter-molecular potential. We also demonstrate that a clear physical interpretation may be given to the formal statistical field arising in the integral transformation - it may be associated with the one-body local microscopic potential. The results of the theory, lacking any ad-hoc or fitting parameters are in a good agreement with available simulation data.


title: A unified scheme of approach to the Ramanujan conjecture

abstract: The Ramanujan conjecture for modular forms of holomorphic type was proved by Deligne almost half a century ago: the proof, based on his earlier proof of Weil's conjectures, was an achievement of algebraic geometry. Quite recently, we proved the conjecture in the case of Maass forms of the full unimodular group: we show here that the proof given in this case works in the holomorphic case as well.


title: An action of the cactus group on shifted tableau crystals

abstract: Recently, Gillespie, Levinson and Purbhoo introduced a crystal-like structure for shifted tableaux, called the shifted tableau crystal. We introduce a shifted analogue of the crystal reflection operators, which coincides with the restriction of the shifted Sch\"utzenberger involution to any primed interval of two adjacent letters. Unlike type $A$ Young tableau crystals, these operators do not realize an action of the symmetric group on the shifted tableau crystal because braid relations do not hold. We exhibit a natural internal action of the cactus group, realized by restrictions of the shifted Sch\"utzenberger involution on primed intervals of the underlying crystal alphabet.


title: Higgs-mode resonance in third harmonic generation in NbN superconductors: multiband electron-phonon coupling, impurity scattering, and polarization-angle dependence

abstract: We theoretically investigate the resonance of third harmonic generation (THG) that has been observed at frequency being half of the superconducting gap in a multiband disordered superconductor NbN. The central question is whether the dominant contribution to the THG resonance comes from the Higgs mode (the collective amplitude mode of the superconducting order parameter) or quasiparticle excitations. To resolve this issue, we analyze a realistic three-band model with effective intraband and interband phonon-mediated interactions estimated from first-principles together with nonmagnetic impurity scatterings. Using the estimated pairing interactions with multiband impurity scattering rates being varied from clean to dirty regimes, we calculate the THG susceptibility for NbN in a channel-resolved manner by means of the BCS and self-consistent Born approximations. In the dirty regime, which is close to the experimental situation, the leading contribution is given by the paramagnetic channel of the Higgs mode having almost no polarization-angle dependence, while the second leading contribution comes from the paramagnetic channel of quasiparticles generally showing significant polarization-angle dependence. The result is consistent with the recent experimental observation of no polarization-angle dependence of THG, giving firm evidence that the Higgs mode dominantly contributes to the THG resonance in NbN superconductors.


title: Deferred Ces\`{a}ro conull FK spaces

abstract: In this paper, we study the (strongly) deferred Ces\`{a}ro conull FK-spaces and we give some characterizations. We also apply these results to summability domains.


title: CurricularFace: Adaptive Curriculum Learning Loss for Deep Face Recognition

abstract: As an emerging topic in face recognition, designing margin-based loss functions can increase the feature margin between different classes for enhanced discriminability. More recently, the idea of mining-based strategies is adopted to emphasize the misclassified samples, achieving promising results. However, during the entire training process, the prior methods either do not explicitly emphasize the sample based on its importance that renders the hard samples not fully exploited; or explicitly emphasize the effects of semi-hard/hard samples even at the early training stage that may lead to convergence issue. In this work, we propose a novel Adaptive Curriculum Learning loss (CurricularFace) that embeds the idea of curriculum learning into the loss function to achieve a novel training strategy for deep face recognition, which mainly addresses easy samples in the early training stage and hard ones in the later stage. Specifically, our CurricularFace adaptively adjusts the relative importance of easy and hard samples during different training stages. In each stage, different samples are assigned with different importance according to their corresponding difficultness. Extensive experimental results on popular benchmarks demonstrate the superiority of our CurricularFace over the state-of-the-art competitors.


title: A Case Study on Tool Support for Collaboration in Agile Development

abstract: We report on a longitudinal case study conducted at the Italian site of a large software company to further our understanding of how development and communication tools can be improved to better support agile practices and collaboration. After observing inconsistencies in the way communication tools (i.e., email, Skype, and Slack) were used, we first reinforced the use of Slack as the central hub for internal communication, while setting clear rules regarding tools usage. As a second main change, we refactored the Jira Scrum board into two separate boards, a detailed one for developers and a high-level one for managers, while also introducing automation rules and the integration with Slack. The first change revealed that the teams of developers used and appreciated Slack differently with the QA team being the most favorable and that the use of channels is hindered by automatic notifications from development tools (e.g., Jenkins). The findings from the second change show that 85\% of the interviewees reported perceived improvements in their workflow. Despite the limitations due to the single nature of the reported case, we highlight the importance for companies to reflect on how to properly set up their agile work environment to improve communication and facilitate collaboration.


title: Phantom maps and fibrations

abstract: Given pointed $CW$-complexes $X$ and $Y$, $\rmph(X, Y)$ denotes the set of homotopy classes of phantom maps from $X$ to $Y$ and $\rmsph(X, Y)$ denotes the subset of $\rmph(X, Y)$ consisting of homotopy classes of special phantom maps. In a preceding paper, we gave a sufficient condition such that $\rmph(X, Y)$ and $\rmsph(X, Y)$ have natural group structures and established a formula for calculating the groups $\rmph(X, Y)$ and $\rmsph(X, Y)$ in many cases where the groups $[X,\Omega \widehat{Y}]$ are nontrivial. In this paper, we establish a dual version of the formula, in which the target is the total space of a fibration, to calculate the groups $\rmph(X, Y)$ and $\rmsph(X, Y)$ for pairs $(X,Y)$ to which the formula or existing methods do not apply. In particular, we calculate the groups $\rmph(X,Y)$ and $\rmsph(X,Y)$ for pairs $(X,Y)$ such that $X$ is the classifying space $BG$ of a compact Lie group $G$ and $Y$ is a highly connected cover $Y' \langle n \rangle$ of a nilpotent finite complex $Y'$ or the quotient $\gbb / H$ of $\gbb = U, O$ by a compact Lie group $H$.


title: Recommandation ontologique multicrit\`ere pour la m\'etrologie

abstract: Matchmaking and information ranking are helping process for users, by offering them the best answers possible at their request. When there is no exact answer, giving them the closest proposition available is an efficient upgrade of that helping process. With a reasearch platform on metrology as a framework, we will discuss about ranking with knowledge representation, with an approach based on Description Logic, ontologies and multricriteria comparison. We present a reasonning to compare each proposition with the other, with semantic and syntaxic difference, by troncating the information in distinct component.


title: Evaluation of Model Selection for Kernel Fragment Recognition in Corn Silage

abstract: Model selection when designing deep learning systems for specific use-cases can be a challenging task as many options exist and it can be difficult to know the trade-off between them. Therefore, we investigate a number of state of the art CNN models for the task of measuring kernel fragmentation in harvested corn silage. The models are evaluated across a number of feature extractors and image sizes in order to determine optimal model design choices based upon the trade-off between model complexity, accuracy and speed. We show that accuracy improvements can be made with more complex meta-architectures and speed can be optimised by decreasing the image size with only slight losses in accuracy. Additionally, we show improvements in Average Precision at an Intersection over Union of 0.5 of up to 20 percentage points while also decreasing inference time in comparison to previously published work. This result for better model selection enables opportunities for creating systems that can aid farmers in improving their silage quality while harvesting.


title: Impact of Semantic Granularity on Geographic Information Search Support

abstract: The Information Retrieval research has used semantics to provide accurate search results, but the analysis of conceptual abstraction has mainly focused on information integration. We consider session-based query expansion in Geographical Information Retrieval, and investigate the impact of semantic granularity (i.e., specificity of concepts representation) on the suggestion of relevant types of information to search for. We study how different levels of detail in knowledge representation influence the capability of guiding the user in the exploration of a complex information space. A comparative analysis of the performance of a query expansion model, using three spatial ontologies defined at different semantic granularity levels, reveals that a fine-grained representation enhances recall. However, precision depends on how closely the ontologies match the way people conceptualize and verbally describe the geographic space.


title: Noise-induced synchronization in the Kuramoto model on finite 2D lattice

abstract: We consider the celebrated Kuramoto model with nearest neighbour interactions, arranged on a two-dimensional square lattice in presence of two kinds of noise - annealed and quenched. We focus on both the steady state and relaxation dynamics of the model. The bare model with annealed noise on finite $2D$ lattice, in the stationary state, exhibits a crossover from synchronization to desynchronization as noise strength varies. Finite-size scaling (FSS) analysis reveals that, in the thermodynamic limit, this crossover becomes a true phase transition, which is Kosterlitz-Thouless ($KT$)-type analogous to that of $2D$ $XY$ model. On the other hand, when the noise is quenched, it does not show any kind of synchronization-desynchronization phase transition in the thermodynamic limit. But we do observe a crossover from low noise-strength synchronization to high noise-strength desynchronization in finite lattices. We analyze the crossover phenomena through the linear stability of the stationary state solutions and obtain the crossover noise-strength from the onset of local instability of the unsynchronized one. The relaxation dynamics also differs for these two types of noise. In case of annealed noise, the system, in the critically ordered phase, exhibits algebraic relaxation which is described by the phenomenological Edwards-Wilkinson (EW) model of growing surface, yielding the same dynamic exponent $z =2$. In disordered phase, the system shows an exponential decay. On the contrary, the system with quenched noise, as opposed to the annealed one, always relaxes to the stationary state exponentially. Both the system-size and noise-strength dependency of the average relaxation time in the synchronized regime are also investigated.


title: Inhomogeneous phases in the Gross-Neveu model in 1+1 dimensions at finite number of flavors

abstract: We explore the thermodynamics of the 1+1-dimensional Gross-Neveu (GN) model at finite number of fermion flavors $N_f$, finite temperature and finite chemical potential using lattice field theory. In the limit $N_f \rightarrow \infty$ the model has been solved analytically in the continuum. In this limit three phases exist: a massive phase, in which a homogeneous chiral condensate breaks chiral symmetry spontaneously, a massless symmetric phase with vanishing condensate and most interestingly an inhomogeneous phase with a condensate, which oscillates in the spatial direction. In the present work we use chiral lattice fermions (naive fermions and SLAC fermions) to simulate the GN model with 2, 8 and 16 flavors. The results obtained with both discretizations are in agreement. Similarly as for $N_f \rightarrow \infty$ we find three distinct regimes in the phase diagram, characterized by a qualitatively different behavior of the two-point function of the condensate field. For $N_f = 8$ we map out the phase diagram in detail and obtain an inhomogeneous region smaller as in the limit $N_f \rightarrow \infty$, where quantum fluctuations are suppressed. We also comment on the existence or absence of Goldstone bosons related to the breaking of translation invariance in 1+1 dimensions.


title: Robust synchronization of heterogeneous robot swarms on the sphere

abstract: Synchronization on the sphere is important to certain control applications in swarm robotics. Of recent interest is the Lohe model, which generalizes the Kuramoto model from the circle to the sphere. The Lohe model is mainly studied in mathematical physics as a toy model of quantum synchronization. The model makes few assumptions, wherefore it is well-suited to represent a swarm. Previous work on this model has focused on the cases of complete and acyclic networks or the homogeneous case where all oscillator frequencies are equal. This paper concerns the case of heterogeneous oscillators connected by a non-trivial network. We show that any undesired equilibrium is exponentially unstable if the frequencies satisfy a given bound. This property can also be interpreted as a robustness result for small model perturbations of the homogeneous case with zero frequencies. As such, the Lohe model is a good choice for control applications in swarm robotics.