title: Extending rotational coherence of interacting polar molecules in a spin-decoupled magic trap

abstract: Superpositions of rotational states in polar molecules induce strong, long-range dipolar interactions. Here we extend the rotational coherence by nearly one order of magnitude to 8.7(6) ms in a dilute gas of polar $^{23}$Na$^{40}$K molecules in an optical trap. We demonstrate spin-decoupled magic trapping, which cancels first-order and reduces second-order differential light shifts. The latter is achieved with a dc electric field that decouples nuclear spin, rotation and trapping light field. We observe density-dependent coherence times, which can be explained by dipolar interactions in the bulk gas.


title: Formal Concept Analysis with Many-sorted Attributes

abstract: This paper unites two problem-solving traditions in computer science: (1) constraint-based reasoning, and (2) formal concept analysis. For basic definitions and properties of networks of constraints, we follow the foundational approach of Montanari and Rossi. This paper advocates distributed relations as a more semantic version of networks of constraints. The theory developed here uses the theory of formal concept analysis, pioneered by Rudolf Wille and his colleagues, as a key for unlocking the hidden semantic structure within distributed relations. Conversely, this paper offers distributed relations as a seamless many-sorted extension to the formal contexts of formal concept analysis. Some of the intuitions underlying our approach were discussed in a preliminary fashion by Freuder and Wallace.


title: The Kruskal-Katona Theorem for Graphs

abstract: In graph theory, knowing the number of complete subgraphs with r vertices that a graph g has, limits the number of its complete subgraphs with s vertices, for s > r. A useful upper bound is provided by the Kruskal-Katona theorem, but this bound is often not tight. In this note, we add to the known cases where this bound is tight and also investigate cases where it is not. Finally we look at a useful technique for actually finding the numbers of complete subgraphs of a graph.


title: Can evolution paths be explained by chance alone?

abstract: We propose a purely probabilistic model to explain the evolution path of a population maximum fitness. We show that after $n$ births in the population there are about $\ln n$ upwards jumps. This is true for any mutation probability and any fitness distribution and therefore suggests a general law for the number of upwards jumps. Simulations of our model show that a typical evolution path has first a steep rise followed by long plateaux. Moreover, independent runs show parallel paths. This is consistent with what was observed by Lenski and Travisano (1994) in their bacteria experiments.


title: Light-ray Operators and the BMS Algebra

abstract: We study light-ray operators constructed from the energy-momentum tensor in $d$-dimensional Lorentzian conformal field theory. These include in particular the average null energy operator. The commutators of parallel light-ray operators on a codimension one light-sheet form an infinite-dimensional algebra. We determine this light-ray algebra and find that the $d$-dimensional (generalized) BMS algebra, including both the supertranslation and the superrotation, is a subalgebra. We verify this algebra in correlation functions of free scalar field theory. We also determine the infinite-dimensional algebra of light-ray operators built from non-abelian spin-one conserved currents.


title: Lipschitz subtype

abstract: We give necessary and sufficient conditions for a Lipschitz map, or more generally a uniformly Lipschitz family of maps, to factor the Hamming cubes. This is an extension to Lipschitz maps of a particular spatial result of Bourgain, Milman, and Wolfson.


title: Response to an External Magnetic Field of the Decay Rate of a Neutral Scalar Field into a Charged Fermion Pair

abstract: In this work we explore the effects of a weak magnetic field on the decay process of a neutral scalar boson into a pair of charged fermions in vacuum. Since the analytical computation of the decay width needs of some approximation, following two different approaches, we study the low and high transverse momentum limits. Our findings indicate that the magnetic field effect depends on the kinematics of the scalar particle.


title: Tracking the variable jets of V404 Cygni during its 2015 outburst

abstract: We present multi-frequency monitoring observations of the black hole X-ray binary V404 Cygni throughout its June 2015 outburst. Our data set includes radio and mm/sub-mm photometry, taken with the Karl G. Jansky Very Large Array, Arc-Minute MicroKelvin Imager Large Array, Sub-millimeter Array, James Clerk Maxwell Telescope, and the Northern Extended Millimetre Array, combined with publicly available infrared, optical, UV, and X-ray measurements. With these data, we report detailed diagnostics of the spectral and variability properties of the jet emission observed during different stages of this outburst. These diagnostics show that emission from discrete jet ejecta dominated the jet emission during the brightest stages of the outburst. We find that the ejecta became fainter, slower, less frequent, and less energetic, before the emission transitioned (over 1--2 days) to being dominated by a compact jet, as the outburst decayed toward quiescence. While the broad-band spectrum of this compact jet showed very little evolution throughout the outburst decay (with the optically thick to thin synchrotron jet spectral break residing in the near-infrared/optical bands; $\sim2-5\times10^{14}$ Hz), the emission still remained intermittently variable at mm/sub-mm frequencies. Additionally, we present a comparison between the radio jet emission throughout the 2015 and previous 1989 outbursts, confirming that the radio emission in the 2015 outburst decayed significantly faster than in 1989. Lastly, we detail our sub-mm observations taken during the December 2015 mini-outburst of V404 Cygni, which demonstrate that, similar to the main outburst, the source was likely launching jet ejecta during this short period of renewed activity.


title: Numerical radius inequalities for Hilbert Space Operators

abstract: In this work, an improvement of H\"{o}lder-McCarty inequality is established. Based on that, several refinements of the generalized mixed Schwarz inequality are obtained. Consequently, some new numerical radius inequalities are proved. New inequalities for numerical radius of $n\times n$ matrix of Hilbert space operators are proved as well. Some refinements of some earlier results were proved in literature are also given. Some of the presented results are refined and it shown to be better than earlier results were proved in literature.


title: ProPatrol: Attack Investigation via Extracted High-Level Tasks

abstract: Kernel audit logs are an invaluable source of information in the forensic investigation of a cyber-attack. However, the coarse granularity of dependency information in audit logs leads to the construction of huge attack graphs which contain false or inaccurate dependencies. To overcome this problem, we propose a system, called ProPatrol, which leverages the open compartmentalized design in families of enterprise applications used in security-sensitive contexts (e.g., browser, chat client, email client). To achieve its goal, ProPatrol infers a model for an application's high-level tasks as input-processing compartments using purely the audit log events generated by that application. The main benefit of this approach is that it does not rely on source code or binary instrumentation, but only on a preliminary and general knowledge of an application's architecture to bootstrap the analysis. Our experiments with enterprise-level attacks demonstrate that ProPatrol significantly cuts down the forensic investigation effort and quickly pinpoints the root- cause of attacks. ProPatrol incurs less than 2% runtime overhead on a commodity operating system.


title: Methane on Mars: New insights into the sensitivity of CH4 with the NOMAD/ExoMars spectrometer through its first in-flight calibration

abstract: The Nadir and Occultation for MArs Discovery instrument (NOMAD), onboard the ExoMars Trace Gas Orbiter (TGO) spacecraft was conceived to observe Mars in solar occultation, nadir, and limb geometries, and will be able to produce an outstanding amount of diverse data, mostly focused on properties of the atmosphere. The infrared channels of the instrument operate by combining an echelle grating spectrometer with an Acousto-Optical Tunable Filter (AOTF). Using in-flight data, we characterized the instrument performance and parameterized its calibration. In particular: an accurate frequency calibration was achieved, together with its variability due to thermal effects on the grating. The AOTF properties and transfer function were also quantified, and we developed and tested a realistic method to compute the spectral continuum transmitted through the coupled grating + AOTF system. The calibration results enabled unprecedented insights into the important problem of the sensitivity of NOMAD to methane abundances in the atmosphere. We also deeply characterized its performance under realistic conditions of varying aerosol abundances, diverse albedos and changing illumination conditions as foreseen over the nominal mission. The results show that, in low aerosol conditions, NOMAD single spectrum, 1-sigma sensitivity to CH4 is around 0.33 ppbv at 20 km of altitude when performing solar occultations, and better than 1 ppbv below 30 km. In dusty conditions, we show that the sensitivity drops to 0 below 10 km. In Nadir geometry, results demonstrate that NOMAD will be able to produce seasonal maps of CH4 with a sensitivity around 5 ppbv over most of planet's surface with spatial integration over 5x5 degrees bins. Results show also that such numbers can be improved by a factor of 10 to 30 by data binning. Overall, our results quantify NOMAD's capability to address the variable aspects of Martian climate.


title: Improving Generalization of Sequence Encoder-Decoder Networks for Inverse Imaging of Cardiac Transmembrane Potential

abstract: Deep learning models have shown state-of-the-art performance in many inverse reconstruction problems. However, it is not well understood what properties of the latent representation may improve the generalization ability of the network. Furthermore, limited models have been presented for inverse reconstructions over time sequences. In this paper, we study the generalization ability of a sequence encoder decoder model for solving inverse reconstructions on time sequences. Our central hypothesis is that the generalization ability of the network can be improved by 1) constrained stochasticity and 2) global aggregation of temporal information in the latent space. First, drawing from analytical learning theory, we theoretically show that a stochastic latent space will lead to an improved generalization ability. Second, we consider an LSTM encoder-decoder architecture that compresses a global latent vector from all last-layer units in the LSTM encoder. This model is compared with alternative LSTM encoder-decoder architectures, each in deterministic and stochastic versions. The results demonstrate that the generalization ability of an inverse reconstruction network can be improved by constrained stochasticity combined with global aggregation of temporal information in the latent space.


title: Equivalent Norms in a Banach Function Space and the Subsequence Property

abstract: Given a finite measure space $(\Omega,\Sigma,\mu)$, we show that any Banach space $X(\mu)$ consisting of (equivalence classes of) real measurable functions defined on $\Omega$ such that $f \chi_A \in X(\mu) $ and $ \|f \chi_A \| \leq \|f\|, \, f \in X(\mu), \ A \in \Sigma$, and having the subsequence property, is in fact an ideal of measurable functions and has an equivalent norm under which it is a Banach function space. As an application we characterize norms that are equivalent to a Banach function space norm.


title: First observation of the $\mathrm{t\bar{t}H}$ process at CMS

abstract: The top quark and the Higgs boson play a special role in the fundamental interactions of the standard model. The observation of the top quark pair production in association with the Higgs boson establishes the first direct measurement of the tree-level coupling of the Higgs boson to the top quark. The analysis of the data collected by the CMS detector results in the overall observed significance of 5.2 standard deviations for this process.


title: Does Haze Removal Help CNN-based Image Classification?

abstract: Hazy images are common in real scenarios and many dehazing methods have been developed to automatically remove the haze from images. Typically, the goal of image dehazing is to produce clearer images from which human vision can better identify the object and structural details present in the images. When the ground-truth haze-free image is available for a hazy image, quantitative evaluation of image dehazing is usually based on objective metrics, such as Peak Signal-to-Noise Ratio (PSNR) and Structural Similarity (SSIM). However, in many applications, large-scale images are collected not for visual examination by human. Instead, they are used for many high-level vision tasks, such as automatic classification, recognition and categorization. One fundamental problem here is whether various dehazing methods can produce clearer images that can help improve the performance of the high-level tasks. In this paper, we empirically study this problem in the important task of image classification by using both synthetic and real hazy image datasets. From the experimental results, we find that the existing image-dehazing methods cannot improve much the image-classification performance and sometimes even reduce the image-classification performance.


title: Classifying fusion categories $\otimes$-generated by an object of small Frobenius-Perron dimension

abstract: The goal of this paper is to classify fusion categories $\otimes$-generated by a $K$-normal object (defined in this paper) of Frobenius-Perron dimension less than 2. This classification has recently become accessible due to a result of Morrison and Snyder, showing that any such category must be a cyclic extension of a category of adjoint $ADE$ type. Our main tools in this classification are the results of Etingof, Ostrik, and Nikshych, classifying cyclic extensions of a given category in terms of data computed from the Brauer-Picard group, and Drinfeld centre of that category, and the results of the author, which compute the Brauer-Picard group and Drinfeld centres of the categories of adjoint $ADE$ type. Our classification includes the expected categories, constructed from cyclic groups and the categories of $ADE$ type. More interestingly we have categories in our classification that are non-trivial de-equivariantizations of these expected categories. Most interesting of all, our classification includes three infinite families constructed from the exceptional quantum subgroups $\mathcal{E}_4$ of $\mathcal{C}( \mathfrak{sl}_4, 4)$, and $\mathcal{E}_{16,6}$ of $\mathcal{C}( \mathfrak{sl}_2, 16)\boxtimes \mathcal{C}( \mathfrak{sl}_3,6)$.


title: Inversion of a Non-uniform Difference Operator

abstract: The problem of applying Nash-Moser Newton methods to obtain periodic solutions of the compressible Euler equations has led authors to identify the main obstacle, namely, how to invert operators which impose periodicity when they are based on non-uniform shift operators. Here we begin a theory for finding the inverses of such operators by proving that a scalar non-uniform difference operator does in fact have a bounded inverse on its range. We argue that this is the simplest example which demonstrates the need to use direct rather than Fourier methods to analyze inverses of linear operators involving nonuniform shifts.


title: One-Shot PIR: Refinement and Lifting

abstract: We study a class of private information retrieval (PIR) methods that we call one-shot schemes. The intuition behind one-shot schemes is the following. The user's query is regarded as a dot product of a query vector and the message vector (database) stored at multiple servers. Privacy, in an information theoretic sense, is then achieved by encrypting the query vector using a secure linear code, such as secret sharing. Several PIR schemes in the literature, in addition to novel ones constructed here, fall into this class. One-shot schemes provide an insightful link between PIR and data security against eavesdropping. However, their download rate is not optimal, i.e., they do not achieve the PIR capacity. Our main contribution is two transformations of one-shot schemes, which we call refining and lifting. We show that refining and lifting one-shot schemes gives capacity-achieving schemes for the cases when the PIR capacity is known. In the other cases, when the PIR capacity is still unknown, refining and lifting one-shot schemes gives the best download rate so far.


title: Room temperature cavity polaritons with 3D hybrid perovskite - Towards low-cost polaritonic devices

abstract: Hybrid halide perovskites are now considered as low-cost materials for contemporary research in photovoltaics and nanophotonics. In particular, because these materials can be solution processed, they represent a great hope for obtaining low-cost devices. While the potential of 2D layered hybrid perovskites for polaritonic devices operating at room temperature has been demonstrated in the past, the potential of the 3D perovskites has been much less explored for this particular application. Here, we report the strong exciton-photon coupling with 3D bromide hybrid perovskite. Cavity polaritons are experimentallly demonstrated from both reflectivity and photoluminescence experiments, at room temperature, in a 3$\lambda$/2 planar microcavity containing a large surface spin-coated $CH_3NH_3PbBr_3$ thin film. A microcavity quality factor of 92 was found and a large Rabi splitting of 70 meV was measured. This result paves the way to low-cost polaritonic devices operating at room temperature, potentially electrically injectable as 3D hybrid perovskites present good transport properties.


title: Tensor $O(N)$ model near six dimensions: fixed points and conformal windows from four loops

abstract: In search of non-trivial field theories in high dimensions, we study further the tensor representation of the $O(N)$-symmetric $\phi^4$ field theory introduced by Herbut and Janssen (Phys. Rev. D. 93, 085005 (2016)), by using four-loop perturbation theory in two cubic interaction coupling constants near six dimensions. For infinitesimal values of the parameter $\epsilon=(6-d)/2$ we find infrared-stable fixed point with two relevant quadratic operators for $N$ within the conformal windows $1<N<2.653$ and $2.999<N<4$, and compute critical exponents at this fixed point to the order $\epsilon^4$. Taking the four-loop beta-functions at their face value we determine the higher-order corrections to the edges of the above conformal windows at finite $\epsilon$, to find both intervals to shrink to zero above $\epsilon\approx 0.15$. The disappearance of the conformal windows with the increase of $\epsilon$ is due to the collision of the Wilson-Fisher $\mathcal{O}(\epsilon)$ infrared fixed point with the $\mathcal{O}(1)$ mixed-stable fixed point that appears at two and persists at higher loops. The latter may be understood as a Banks-Zaks type fixed point that becomes weakly coupled near the right edge of either conformal window. The consequences and issues raised by such an evolution of the flow with dimension are discussed. It is also shown both within the perturbation theory and exactly that the tensor representation at $N=3$ and right at the $\mathcal{O}(\epsilon)$ infrared-stable fixed point exhibits an emergent $U(3)$ symmetry. A role of this enlarged symmetry in possible protection of the infrared fixed point at $N=3$ is noted.

categories: hep-th cond-mat.stat-mech cond-mat.str-el hep-lat


title: A quick description for engineering students of distributions (generalized functions) and their Fourier transforms

abstract: These brief lecture notes are intended mainly for undergraduate students in engineering or physics or mathematics who have met or will soon be meeting the Dirac delta function and some other objects related to it. These students might have already felt - or might in the near future feel - not entirely comfortable with the usual intuitive explanations about how to "integrate" or "differentiate" or take the "Fourier transform" of these objects. These notes will reveal to these students that there is a precise and rigorous way, and this also means a more useful and reliable way, to define these objects and the operations performed upon them. This can be done without any prior knowledge of functional analysis or of Lebesgue integration. Readers of these notes are assumed to only have studied basic courses in linear algebra, and calculus of functions of one and two variables, and an introductory course about the Fourier transform of functions of one variable. Most of the results and proofs presented here are in the setting of the space of tempered distributions introduced by Laurent Schwartz. But there are also some very brief mentions of other approaches to distributions or generalized functions.


title: Post-training 4-bit quantization of convolution networks for rapid-deployment

abstract: Convolutional neural networks require significant memory bandwidth and storage for intermediate computations, apart from substantial computing resources. Neural network quantization has significant benefits in reducing the amount of intermediate results, but it often requires the full datasets and time-consuming fine tuning to recover the accuracy lost after quantization. This paper introduces the first practical 4-bit post training quantization approach: it does not involve training the quantized model (fine-tuning), nor it requires the availability of the full dataset. We target the quantization of both activations and weights and suggest three complementary methods for minimizing quantization error at the tensor level, two of whom obtain a closed-form analytical solution. Combining these methods, our approach achieves accuracy that is just a few percents less the state-of-the-art baseline across a wide range of convolutional models. The source code to replicate all experiments is available on GitHub: \url{https://github.com/submission2019/cnn-quantization}.


title: Unpaired High-Resolution and Scalable Style Transfer Using Generative Adversarial Networks

abstract: Neural networks have proven their capabilities by outperforming many other approaches on regression or classification tasks on various kinds of data. Other astonishing results have been achieved using neural nets as data generators, especially in settings of generative adversarial networks (GANs). One special application is the field of image domain translations. Here, the goal is to take an image with a certain style (e.g. a photography) and transform it into another one (e.g. a painting). If such a task is performed for unpaired training examples, the corresponding GAN setting is complex, the neural networks are large, and this leads to a high peak memory consumption during, both, training and evaluation phase. This sets a limit to the highest processable image size. We address this issue by the idea of not processing the whole image at once, but to train and evaluate the domain translation on the level of overlapping image subsamples. This new approach not only enables us to translate high-resolution images that otherwise cannot be processed by the neural network at once, but also allows us to work with comparably small neural networks and with limited hardware resources. Additionally, the number of images required for the training process is significantly reduced. We present high-quality results on images with a total resolution of up to over 50 megapixels and emonstrate that our method helps to preserve local image details while it also keeps global consistency.


title: Neural Network based classification of bone metastasis by primary cacinoma

abstract: Neural networks have been known for a long time as a tool for different types of classification, but only just in the last decade they have showed their entire power. Along with appearing of hardware that is capable to support demanding matrix operations and parallel algorithms, the neural network, as a universal function approximation framework, turns out to be the most successful classification method widely used in all fields of science. On the other side, multifractal (MF) approach is an efficient way for quantitative description of complex structures [1] such as metastatic carcinoma, which recommends this method as an accurate tool for medical diagnostics. The only part that is missing is classification method. The goal of this research is to describe and apply a feed-forward neural network as an auxiliary diagnostic method for classification of multifractal parameters in order to determine primary cancer.


title: DeepWeeds: A Multiclass Weed Species Image Dataset for Deep Learning

abstract: Robotic weed control has seen increased research of late with its potential for boosting productivity in agriculture. Majority of works focus on developing robotics for croplands, ignoring the weed management problems facing rangeland stock farmers. Perhaps the greatest obstacle to widespread uptake of robotic weed control is the robust classification of weed species in their natural environment. The unparalleled successes of deep learning make it an ideal candidate for recognising various weed species in the complex rangeland environment. This work contributes the first large, public, multiclass image dataset of weed species from the Australian rangelands; allowing for the development of robust classification methods to make robotic weed control viable. The DeepWeeds dataset consists of 17,509 labelled images of eight nationally significant weed species native to eight locations across northern Australia. This paper presents a baseline for classification performance on the dataset using the benchmark deep learning models, Inception-v3 and ResNet-50. These models achieved an average classification accuracy of 95.1% and 95.7%, respectively. We also demonstrate real time performance of the ResNet-50 architecture, with an average inference time of 53.4 ms per image. These strong results bode well for future field implementation of robotic weed control methods in the Australian rangelands.


title: Automatic Segmentation of Thoracic Aorta Segments in Low-Dose Chest CT

abstract: Morphological analysis and identification of pathologies in the aorta are important for cardiovascular diagnosis and risk assessment in patients. Manual annotation is time-consuming and cumbersome in CT scans acquired without contrast enhancement and with low radiation dose. Hence, we propose an automatic method to segment the ascending aorta, the aortic arch and the thoracic descending aorta in low-dose chest CT without contrast enhancement. Segmentation was performed using a dilated convolutional neural network (CNN), with a receptive field of 131X131 voxels, that classified voxels in axial, coronal and sagittal image slices. To obtain a final segmentation, the obtained probabilities of the three planes were averaged per class, and voxels were subsequently assigned to the class with the highest class probability. Two-fold cross-validation experiments were performed where ten scans were used to train the network and another ten to evaluate the performance. Dice coefficients of 0.83, 0.86 and 0.88, and Average Symmetrical Surface Distances (ASSDs) of 2.44, 1.56 and 1.87 mm were obtained for the ascending aorta, the aortic arch, and the descending aorta, respectively. The results indicate that the proposed method could be used in large-scale studies analyzing the anatomical location of pathology and morphology of the thoracic aorta.


title: Estimating Information Flow in Deep Neural Networks

abstract: We study the flow of information and the evolution of internal representations during deep neural network (DNN) training, aiming to demystify the compression aspect of the information bottleneck theory. The theory suggests that DNN training comprises a rapid fitting phase followed by a slower compression phase, in which the mutual information $I(X;T)$ between the input $X$ and internal representations $T$ decreases. Several papers observe compression of estimated mutual information on different DNN models, but the true $I(X;T)$ over these networks is provably either constant (discrete $X$) or infinite (continuous $X$). This work explains the discrepancy between theory and experiments, and clarifies what was actually measured by these past works. To this end, we introduce an auxiliary (noisy) DNN framework for which $I(X;T)$ is a meaningful quantity that depends on the network's parameters. This noisy framework is shown to be a good proxy for the original (deterministic) DNN both in terms of performance and the learned representations. We then develop a rigorous estimator for $I(X;T)$ in noisy DNNs and observe compression in various models. By relating $I(X;T)$ in the noisy DNN to an information-theoretic communication problem, we show that compression is driven by the progressive clustering of hidden representations of inputs from the same class. Several methods to directly monitor clustering of hidden representations, both in noisy and deterministic DNNs, are used to show that meaningful clusters form in the $T$ space. Finally, we return to the estimator of $I(X;T)$ employed in past works, and demonstrate that while it fails to capture the true (vacuous) mutual information, it does serve as a measure for clustering. This clarifies the past observations of compression and isolates the geometric clustering of hidden representations as the true phenomenon of interest.


title: UOLO - automatic object detection and segmentation in biomedical images

abstract: We propose UOLO, a novel framework for the simultaneous detection and segmentation of structures of interest in medical images. UOLO consists of an object segmentation module which intermediate abstract representations are processed and used as input for object detection. The resulting system is optimized simultaneously for detecting a class of objects and segmenting an optionally different class of structures. UOLO is trained on a set of bounding boxes enclosing the objects to detect, as well as pixel-wise segmentation information, when available. A new loss function is devised, taking into account whether a reference segmentation is accessible for each training image, in order to suitably backpropagate the error. We validate UOLO on the task of simultaneous optic disc (OD) detection, fovea detection, and OD segmentation from retinal images, achieving state-of-the-art performance on public datasets.


title: CRH: A Simple Benchmark Approach to Continuous Hashing

abstract: In recent years, the distinctive advancement of handling huge data promotes the evolution of ubiquitous computing and analysis technologies. With the constantly upward system burden and computational complexity, adaptive coding has been a fascinating topic for pattern analysis, with outstanding performance. In this work, a continuous hashing method, termed continuous random hashing (CRH), is proposed to encode sequential data stream, while ignorance of previously hashing knowledge is possible. Instead, a random selection idea is adopted to adaptively approximate the differential encoding patterns of data stream, e.g., streaming media, and iteration is avoided for stepwise learning. Experimental results demonstrate our method is able to provide outstanding performance, as a benchmark approach to continuous hashing.


title: Image Super-Resolution Using VDSR-ResNeXt and SRCGAN

abstract: Over the past decade, many Super Resolution techniques have been developed using deep learning. Among those, generative adversarial networks (GAN) and very deep convolutional networks (VDSR) have shown promising results in terms of HR image quality and computational speed. In this paper, we propose two approaches based on these two algorithms: VDSR-ResNeXt, which is a deep multi-branch convolutional network inspired by VDSR and ResNeXt; and SRCGAN, which is a conditional GAN that explicitly passes class labels as input to the GAN. The two methods were implemented on common SR benchmark datasets for both quantitative and qualitative assessment.


title: A Novel Domain Adaptation Framework for Medical Image Segmentation

abstract: We propose a segmentation framework that uses deep neural networks and introduce two innovations. First, we describe a biophysics-based domain adaptation method. Second, we propose an automatic method to segment white and gray matter, and cerebrospinal fluid, in addition to tumorous tissue. Regarding our first innovation, we use a domain adaptation framework that combines a novel multispecies biophysical tumor growth model with a generative adversarial model to create realistic looking synthetic multimodal MR images with known segmentation. Regarding our second innovation, we propose an automatic approach to enrich available segmentation data by computing the segmentation for healthy tissues. This segmentation, which is done using diffeomorphic image registration between the BraTS training data and a set of prelabeled atlases, provides more information for training and reduces the class imbalance problem. Our overall approach is not specific to any particular neural network and can be used in conjunction with existing solutions. We demonstrate the performance improvement using a 2D U-Net for the BraTS'18 segmentation challenge. Our biophysics based domain adaptation achieves better results, as compared to the existing state-of-the-art GAN model used to create synthetic data for training.


title: Learning Optimal Deep Projection of $^{18}$F-FDG PET Imaging for Early Differential Diagnosis of Parkinsonian Syndromes

abstract: Several diseases of parkinsonian syndromes present similar symptoms at early stage and no objective widely used diagnostic methods have been approved until now. Positron emission tomography (PET) with $^{18}$F-FDG was shown to be able to assess early neuronal dysfunction of synucleinopathies and tauopathies. Tensor factorization (TF) based approaches have been applied to identify characteristic metabolic patterns for differential diagnosis. However, these conventional dimension-reduction strategies assume linear or multi-linear relationships inside data, and are therefore insufficient to distinguish nonlinear metabolic differences between various parkinsonian syndromes. In this paper, we propose a Deep Projection Neural Network (DPNN) to identify characteristic metabolic pattern for early differential diagnosis of parkinsonian syndromes. We draw our inspiration from the existing TF methods. The network consists of a (i) compression part: which uses a deep network to learn optimal 2D projections of 3D scans, and a (ii) classification part: which maps the 2D projections to labels. The compression part can be pre-trained using surplus unlabelled datasets. Also, as the classification part operates on these 2D projections, it can be trained end-to-end effectively with limited labelled data, in contrast to 3D approaches. We show that DPNN is more effective in comparison to existing state-of-the-art and plausible baselines.


title: A Data-Driven Framework for Assessing Cold Load Pick-up Demand in Service Restoration

abstract: Cold load pick-up (CLPU) has been a critical concern to utilities. Researchers and industry practitioners have underlined the impact of CLPU on distribution system design and service restoration. The recent large-scale deployment of smart meters has provided the industry with a huge amount of data that is highly granular, both temporally and spatially. In this paper, a data-driven framework is proposed for assessing CLPU demand of residential customers using smart meter data. The proposed framework consists of two interconnected layers: 1) At the feeder level, a nonlinear auto-regression model is applied to estimate the diversified demand during the system restoration and calculate the CLPU demand ratio. 2) At the customer level, Gaussian Mixture Models (GMM) and probabilistic reasoning are used to quantify the CLPU demand increase. The proposed methodology has been verified using real smart meter data and outage cases.


title: InfiNet: Fully Convolutional Networks for Infant Brain MRI Segmentation

abstract: We present a novel, parameter-efficient and practical fully convolutional neural network architecture, termed InfiNet, aimed at voxel-wise semantic segmentation of infant brain MRI images at iso-intense stage, which can be easily extended for other segmentation tasks involving multi-modalities. InfiNet consists of double encoder arms for T1 and T2 input scans that feed into a joint-decoder arm that terminates in the classification layer. The novelty of InfiNet lies in the manner in which the decoder upsamples lower resolution input feature map(s) from multiple encoder arms. Specifically, the pooled indices computed in the max-pooling layers of each of the encoder blocks are related to the corresponding decoder block to perform non-linear learning-free upsampling. The sparse maps are concatenated with intermediate encoder representations (skip connections) and convolved with trainable filters to produce dense feature maps. InfiNet is trained end-to-end to optimize for the Generalized Dice Loss, which is well-suited for high class imbalance. InfiNet achieves the whole-volume segmentation in under 50 seconds and we demonstrate competitive performance against multiple state-of-the art deep architectures and their multi-modal variants.


title: The integrated properties of the CALIFA galaxies: Model-derived galaxy parameters and quenching of star formation

abstract: We present a study of the integrated properties of the 835 galaxies in the CALIFA survey. To derive the main physical parameters of the galaxies we have fitted their UV-to-IR spectral energy distributions (SED) with sets of theoretical models using CIGALE. We perform a comparison of the integrated galaxy parameters derived from multi-band SED fitting with those obtained from modelling the Integral Field Unit (IFU) spectra and show the clear advantage of using the SED-derived star formation rates (SFR). A detailed analysis of galaxies in the SFR/Mstar plane as a function of their properties reveals that quenching of star formation is caused by a combination of gas deficiency and the inefficiency of the existing gas to form new stars. Exploring the plausible mechanisms that could produce this effect, we find a strong correlation with galaxy morphology and the build-up of central bulge. On the other hand, the presence of AGN and/or a stellar bar, as well as the local environment have only temporal effects on the current star formation, a result also consistent with their model-derived star formation histories.


title: Tunable Flux Vortices in 2D Dirac Superconductors

abstract: The non-trivial geometry encoded in the Quantum Mechanical wavefunctions has important consequences for its single-particle as well as many-body dynamics. Yet, our understanding of how the geometry of the single-particle eigenstates are manifest in the characteristics of a many-particle system is still incomplete. Here, we demonstrate how the single-particle Berry curvature modifies the fluxoid quantization of a two dimensional Bardeen-Cooper-Schrieffer (BCS) superconductor, and discuss the experimental scenarios where this anomalous quantization is expected to be realized.

categories: cond-mat.supr-con cond-mat.mes-hall cond-mat.quant-gas quant-ph


title: Limit shapes of local minimizers for the Alt-Caffarelli energy functional in inhomogeneous media

abstract: This paper considers the Alt-Caffarelli free boundary problem in a periodic medium. This is a convenient model for several interesting phenomena appearing in the study of contact lines on rough surfaces, pinning, hysteresis and the formation of facets. We show the existence of an interval of effective pinned slopes at each direction $e \in S^{d-1}$. In $d=2$ we characterize the regularity properties of the pinning interval in terms of the normal direction, including possible discontinuities at rational directions. These results require a careful study of the families of plane-like solutions available with a given slope. Using the same techniques we also obtain strong, in some cases optimal, bounds on the class of limit shapes of local minimizers in $d=2$, and preliminary results in $d \geq 3$.


title: MeanSum: A Neural Model for Unsupervised Multi-document Abstractive Summarization

abstract: Abstractive summarization has been studied using neural sequence transduction methods with datasets of large, paired document-summary examples. However, such datasets are rare and the models trained from them do not generalize to other domains. Recently, some progress has been made in learning sequence-to-sequence mappings with only unpaired examples. In our work, we consider the setting where there are only documents (product or business reviews) with no summaries provided, and propose an end-to-end, neural model architecture to perform unsupervised abstractive summarization. Our proposed model consists of an auto-encoder where the mean of the representations of the input reviews decodes to a reasonable summary-review while not relying on any review-specific features. We consider variants of the proposed architecture and perform an ablation study to show the importance of specific components. We show through automated metrics and human evaluation that the generated summaries are highly abstractive, fluent, relevant, and representative of the average sentiment of the input reviews. Finally, we collect a reference evaluation dataset and show that our model outperforms a strong extractive baseline.


title: A cohomology theory for Lie 2-algebras and Lie 2-groups

abstract: In this thesis, we introduce a new cohomology theory associated to a Lie 2-algebras and a new cohomology theory associated to a Lie 2-group. These cohomology theories are shown to extend the classical cohomology theories of Lie algebras and Lie groups in that their second groups classify extensions. We use this fact together with an adapted van Est map to prove the integrability of Lie 2-algebras anew.


title: Explaining Black Boxes on Sequential Data using Weighted Automata

abstract: Understanding how a learned black box works is of crucial interest for the future of Machine Learning. In this paper, we pioneer the question of the global interpretability of learned black box models that assign numerical values to symbolic sequential data. To tackle that task, we propose a spectral algorithm for the extraction of weighted automata (WA) from such black boxes. This algorithm does not require the access to a dataset or to the inner representation of the black box: the inferred model can be obtained solely by querying the black box, feeding it with inputs and analyzing its outputs. Experiments using Recurrent Neural Networks (RNN) trained on a wide collection of 48 synthetic datasets and 2 real datasets show that the obtained approximation is of great quality.


title: Assessment of full field crystal plasticity finite element method for forming limit diagram prediction

abstract: This study is inspired by the recent development of "virtual material testing laboratory" in which the main equipment is a full field crystal plasticity modeling tool. Ample examples have demonstrated its applications to sheet forming operations. In those applications, the mechanical anisotropy originated from the crystallographic texture can be adequately described, such as r-values and earing. Formability is another important property in sheet metal forming, which has yet not been equipped in these virtual laboratories. Though theoretical models for formability can be dated back to 1885 due to Consid\`{e}re, all popular models at the moment suffer from their respective limitations. In this study, we explore the feasibility of applying full field crystal plasticity model for calculating forming limit diagram, avoiding using additional assumptions or models for determining the forming limits.


title: Skin-Friction and Forced Convection from Rough and Smooth Plates

abstract: Since the 1930s, theories of skin-friction drag from plates with rough surfaces have been based by analogy to turbulent flow in pipes with rough interiors. Failure of this analogy at slow velocities has frustrated attempts to create a comprehensive theory. Utilizing the concept of a self-similar roughness which disrupts the boundary layer at all scales, this investigation derives formulas for a rough or smooth plate's skin-friction coefficient and forced convection heat transfer given its characteristic length, root-mean-squared (RMS) height-of-roughness, isotropic spatial period, Reynolds number, and the fluid's Prandtl number. This novel theory was tested with 456 heat transfer and friction measurements in 32 data-sets from one book, six peer-reviewed studies, and the present apparatus. Compared with the present theory, the RMS relative error (RMSRE) values of the 32 data-sets span 0.75% through 8.2%, with only four data-sets exceeding 6%. Prior work formulas have smaller RMSRE on only four of the data-sets.


title: Characterization of Electro-Optical Devices with Low Jitter Single Photon Detectors -- Towards an Optical Sampling Oscilloscope Beyond 100 GHz

abstract: We showcase an optical random sampling scope that exploits single photon counting and apply it to characterize optical transceivers. We study single photon detectors with a jitter down to 40 ps. The method can be extended beyond 100 GHz.


title: Centrality and pseudorapidity dependence of the transverse energy density in pPb collisions at $\sqrt{s_\mathrm{NN}} =$ 5.02 TeV

abstract: The almost hermetic coverage of the CMS detector is used to measure the distribution of transverse energy, $E_\mathrm{T}$, over 13.2 units of pseudorapidity, $\eta$, for pPb collisions at a center-of-mass energy per nucleon pair of $\sqrt{s_\mathrm{NN}} =$ 5.02 TeV. The huge angular acceptance exploits the fact that the CASTOR calorimeter at $-6.6$ $<$ $\eta$ $<$ $-5.2$ is effectively present on both sides of the colliding system because of a switch in the proton-going and lead-going beam directions. This wide acceptance enables the study of correlations between well-separated angular regions and makes the measurement a particularly powerful test of event generators. For minimum bias pPb collisions the maximum value of d$E_\mathrm{T}/$d$\eta$ is 22 GeV, which implies an $E_\mathrm{T}$ per participant nucleon pair comparable to that of peripheral PbPb collisions at $\sqrt{s_\mathrm{NN}} =$ 2.76 TeV. The increase of d$E_\mathrm{T}/$d$\eta$ with centrality is much stronger for the lead-going side than for the proton-going side. The $\eta$ dependence of d$E_\mathrm{T}/$d$\eta$ is sensitive to the $\eta$ range in which the centrality variable is defined. Several modern generators are compared to these results but none is able to capture all aspects of the $\eta$ and centrality dependence of the data and the correlations observed between different $\eta$ regions.


title: On the nonlinearity of quantum dynamical entropy

abstract: Linearity of a dynamical entropy means that the dynamical entropy of the n-fold composition of a dynamical map with itself is equal to n times the dynamical entropy of the map for every positive integer n. We show that the quantum dynamical entropy introduced by Slomczynski and Zyczkowski is nonlinear in the time interval between successive measurements of a quantum dynamical system. This is in contrast to Kolmogorov-Sinai dynamical entropy for classical dynamical systems, which is linear in time. We also compute the exact values of quantum dynamical entropy for the Hadamard walk with varying Luders-von Neumann instruments and partitions.


title: A Kontsevich integral of order 1

abstract: We define a 1-cocycle in the space of long knots that is a natural generalization of the Kontsevich integral seen as a 0-cocycle. It involves a 2-form that generalizes the Knizhnik--Zamolodchikov connection. We show that the well-known close relationship between the Kontsevich integral and Vassiliev invariants (via the algebra of chord diagrams and 1T-4T relations) is preserved between our integral and Vassiliev 1-cocycles, via a change of variable similar to the one that led Birman--Lin to discover the 4T relations. We explain how this construction is related to Cirio--Faria Martins' categorification of the Knizhnik--Zamolodchikov connection.


title: Diamond-Like Carbon Coatings on Plasma Nitrided M2 Steel: effect of deposition parameters on adhesion properties

abstract: Diamond-like carbon (DLC) coatings have excellent mechanical and tribological properties, as well as good wear and corrosion resistance. They are well established in medical, metalworking and automotive applications. However, further improvements are needed and substrate pre-treatment plays an important role in supporting and enforcing the adhesion and service performance of the DLC coatings. In this work, the synergetic effect of low-pressure arc plasma-assisted-nitriding (PAN) treatment of M2 steel and plasma-enhanced chemical vapor deposition (PECVD) on the DLC coatings adhesion was analyzed. Adhesion strength of a duplex DLC + nitriding coating system was compared to the performance of DLC-coatings applied on non-nitrided M2 steel substrates. The nitrided layer was analyzed by optical microscopy, X-ray diffraction, Vickers microhardness and atomic force microscopy. DLC coatings were analyzed using Raman spectroscopy revealing that DLC a-C:H type was obtained. The adhesion properties were analyzed by scratch testing supported by optical microscopy and Scanning Electron Microscope. Results showed an improvement of the DLC adhesion on the plasma nitrided surfaces.


title: Graph HyperNetworks for Neural Architecture Search

abstract: Neural architecture search (NAS) automatically finds the best task-specific neural network topology, outperforming many manual architecture designs. However, it can be prohibitively expensive as the search requires training thousands of different networks, while each can last for hours. In this work, we propose the Graph HyperNetwork (GHN) to amortize the search cost: given an architecture, it directly generates the weights by running inference on a graph neural network. GHNs model the topology of an architecture and therefore can predict network performance more accurately than regular hypernetworks and premature early stopping. To perform NAS, we randomly sample architectures and use the validation accuracy of networks with GHN generated weights as the surrogate search signal. GHNs are fast -- they can search nearly 10 times faster than other random search methods on CIFAR-10 and ImageNet. GHNs can be further extended to the anytime prediction setting, where they have found networks with better speed-accuracy tradeoff than the state-of-the-art manual designs.


title: Topology of Z_3 equivariant Hilbert schemes

abstract: Motivated by work of Gusein-Zade, Luengo, and Melle-Hern\'andez, we study a specific generating series of arm and leg statistics on partitions, which is known to compute the Poincar\'e polynomials of Z_3-equivariant Hilbert schemes of points in the plane, where Z_3 acts diagonally. This generating series has a conjectural product formula, a proof of which has remained elusive over the last ten years. We introduce a new combinatorial correspondence between partitions of n and {1,2}-compositions of n, which behaves well with respect to the statistic in question. As an application, we use this correspondence to compute the highest Betti numbers of the Z_3 equivariant Hilbert schemes.


title: Policy Transfer with Strategy Optimization

abstract: Computer simulation provides an automatic and safe way for training robotic control policies to achieve complex tasks such as locomotion. However, a policy trained in simulation usually does not transfer directly to the real hardware due to the differences between the two environments. Transfer learning using domain randomization is a promising approach, but it usually assumes that the target environment is close to the distribution of the training environments, thus relying heavily on accurate system identification. In this paper, we present a different approach that leverages domain randomization for transferring control policies to unknown environments. The key idea that, instead of learning a single policy in the simulation, we simultaneously learn a family of policies that exhibit different behaviors. When tested in the target environment, we directly search for the best policy in the family based on the task performance, without the need to identify the dynamic parameters. We evaluate our method on five simulated robotic control problems with different discrepancies in the training and testing environment and demonstrate that our method can overcome larger modeling errors compared to training a robust policy or an adaptive policy.


title: Global Convergence of EM Algorithm for Mixtures of Two Component Linear Regression

abstract: The Expectation-Maximization algorithm is perhaps the most broadly used algorithm for inference of latent variable problems. A theoretical understanding of its performance, however, largely remains lacking. Recent results established that EM enjoys global convergence for Gaussian Mixture Models. For Mixed Linear Regression, however, only local convergence results have been established, and those only for the high SNR regime. We show here that EM converges for mixed linear regression with two components (it is known that it may fail to converge for three or more), and moreover that this convergence holds for random initialization. Our analysis reveals that EM exhibits very different behavior in Mixed Linear Regression from its behavior in Gaussian Mixture Models, and hence our proofs require the development of several new ideas.


title: Relative compression of trajectories

abstract: We present RCT, a new compact data structure to represent trajectories of objects. It is based on a relative compression technique called Relative Lempel-Ziv (RLZ), which compresses sequences by applying an LZ77 encoding with respect to an artificial reference. Combined with $O(z)$-sized data structures on the sequence of phrases that allows to solve trajectory and spatio-temporal queries efficiently. We plan that RCT improves in compression and time performance the previous compressed representations in the state of the art.


title: A Word-Complexity Lexicon and A Neural Readability Ranking Model for Lexical Simplification

abstract: Current lexical simplification approaches rely heavily on heuristics and corpus level features that do not always align with human judgment. We create a human-rated word-complexity lexicon of 15,000 English words and propose a novel neural readability ranking model with a Gaussian-based feature vectorization layer that utilizes these human ratings to measure the complexity of any given word or phrase. Our model performs better than the state-of-the-art systems for different lexical simplification tasks and evaluation datasets. Additionally, we also produce SimplePPDB++, a lexical resource of over 10 million simplifying paraphrase rules, by applying our model to the Paraphrase Database (PPDB).


title: Breathing Oscillations in a Global Simulation of a Thin Accretion Disk

abstract: We study the oscillations of an axisymmetric, viscous, radiative, general relativistic hydrodynamical simulation of a geometrically thin disk around a non-rotating, $6.62\,M_\odot$ black hole. The numerical setup is initialized with a Novikov-Thorne, gas-pressure-dominated accretion disk, with an initial mass accretion rate of $\dot{m} = 0.01\,L_\mathrm{Edd}/c^2$ (where $L_\mathrm{Edd}$ is the Eddington luminosity and $c$ is the speed of light). Viscosity is treated with the $\alpha$-prescription. The simulation was evolved for about $1000$ Keplerian orbital periods at three Schwarzschild radii (ISCO radius). Power density spectra of the radial and vertical fluid velocity components, the total (gas $+$ radiation) midplane pressure, and the vertical component of radiative flux from the photosphere, all reveal strong power at the local breathing oscillation frequency. The first, second and third harmonics of the breathing oscillation are also clearly seen in the data. We quantify the properties of these oscillations by extracting eigenfunctions of the radial and vertical velocity components and total pressure. This confirms that these oscillations are associated with breathing motion.


title: New constraints on sterile neutrino dark matter from the Galactic Center

abstract: We calculate the most stringent constraints up to date on the parameter space for sterile neutrino warm dark matter models possessing a radiative decay channel into X-rays. These constraints arise from the X-ray flux observations from the Galactic center (central parsec), taken by the XMM and NuSTAR missions. We compare the results obtained from using different dark matter density profiles for the Milky Way, such as NFW, Burkert or Einasto, to that produced by the Ruffini-Arg\"uelles-Rueda (RAR) fermionic model, which has the distinct feature of depending on the particle mass. We show that due to the novel core-halo morphology present in the RAR profile, the allowed particle mass window is narrowed down to $m_s\sim 10-15$ keV, when analyzed within the $\nu$MSM sterile neutrino model. We further discuss on the possible effects in the sterile neutrino parameter-space bounds due to a self-interacting nature of the dark matter candidates.


title: Physics of nuclei: Key role of an emergent symmetry

abstract: Exact symmetry and symmetry-breaking phenomena play a key role in providing a better understanding of the physics of many-particle systems, from quarks and atomic nuclei, to molecules and galaxies. In atomic nuclei, exact and dominant symmetries such as rotational invariance, parity, and charge independence have been clearly established. However, even when these symmetries are taken into account, the structure of nuclei remains illusive and only partially understood, with no additional symmetries immediately evident from the underlying nucleon-nucleon interaction. Here, we show through ab initio large-scale nuclear structure calculations that the special nature of the strong nuclear force determines additional highly regular patterns in nuclei that can be tied to an emergent approximate symmetry. We find that this symmetry is remarkably ubiquitous, regardless of its particular strong interaction heritage, and mathematically tracks with a symplectic group. Specifically, we show for light to intermediate-mass nuclei that the structure of a nucleus, along with its low-energy excitations, respects symplectic symmetry at about 70-80% level, unveiling the predominance of only a few equilibrium shapes, deformed or not, with associated vibrations and rotations. This establishes the symplectic symmetry as a remarkably good symmetry of the strong nuclear force, in the low-energy regime. This may have important implications to studies in astrophysics and neutrino physics that rely on nuclear structure information, especially where experimental measurements are incomplete or not available. A very important practical advantage is that this new symmetry can be utilized to dramatically reduce computational resources required in ab initio large-scale nuclear structure modeling. This, in turn, can be used to pioneer predictions, e.g., for short-lived isotopes along various nucleosynthesis pathways.


title: Shell Tableaux: A set partition analogue of vacillating tableaux

abstract: Schur-Weyl duality is a fundamental framework in combinatorial representation theory. It intimately relates the irreducible representations of a group to the irreducible representations of its centralizer algebra. We investigate the analog of Schur-Weyl duality for the group of unipotent upper triangular matrices over a finite field. In this case, the character theory of these upper triangular matrices is "wild" or unattainable. Thus we employ a generalization, known as supercharacter theory, that creates a striking variation on the character theory of the symmetric group with combinatorics built from set partitions. In this paper, we present a combinatorial formula for calculating a restriction and induction of supercharacters based on statistics of set partitions and seashell inspired diagrams. We use these formulas to create a graph that encodes the decomposition of a tensor space, and develop an analog of Young tableaux, known as shell tableaux, to index paths in this graph.


title: Topological Inference of Manifolds with Boundary

abstract: Given a set of data points sampled from some underlying space, there are two important challenges in geometric and topological data analysis when dealing with sampled data: reconstruction -- how to assemble discrete samples into global structures, and inference -- how to extract geometric and topological information from data that are high-dimensional, incomplete and noisy. Niyogi et al. (2008) have shown that by constructing an offset of the samples using a suitable offset parameter could provide reconstructions that preserve homotopy types therefore homology for densely sampled smooth submanifolds of Euclidean space without boundary. Chazal et al. (2009) and Attali et al. (2013) have introduced a parameterized set of sampling conditions that extend the results of Niyogi et al. to a large class of compact subsets of Euclidean space. Our work tackles data problems that fill a gap between the work of Niyogi et al. and Chazal et al. In particular, we give a probabilistic notion of sampling conditions for manifolds with boundary that could not be handled by existing theories. We also give stronger results that relate topological equivalence between the offset and the manifold as a deformation retract.


title: A geometrically converging dual method for distributed optimization over time-varying graphs

abstract: In this paper we consider a distributed convex optimization problem over time-varying undirected networks. We propose a dual method, primarily averaged network dual ascent (PANDA), that is proven to converge R-linearly to the optimal point given that the agents objective functions are strongly convex and have Lipschitz continuous gradients. Like dual decomposition, PANDA requires half the amount of variable exchanges per iterate of methods based on DIGing, and can provide with practical improved performance as empirically demonstrated.


title: Flexibility defines structure in crystals of amphiphilic DNA nanostars

abstract: DNA nanostructures with programmable shape and interactions can be used as building blocks for the self-assembly of crystalline materials with prescribed nanoscale features, holding a vast technological potential. Structural rigidity and bond directionality have been recognised as key design features for DNA motifs to sustain long-range order in 3D, but the practical challenges associated with prescribing building-block geometry with sufficient accuracy have limited the variety of available designs. We have recently introduced a novel platform for the one-pot preparation of crystalline DNA frameworks supported by a combination of Watson-Crick base pairing and hydrophobic forces [Nano Lett., 17(5):3276-3281, 2017]. Here we use small angle X-ray scattering and coarse-grained molecular simulations to demonstrate that, as opposed to available all- DNA approaches, amphiphilic motifs do not rely on structural rigidity to support long-range order. Instead, the flexibility of amphiphilic DNA building-blocks is a crucial feature for successful crystallisation.


title: GPU-Accelerated Robotic Simulation for Distributed Reinforcement Learning

abstract: Most Deep Reinforcement Learning (Deep RL) algorithms require a prohibitively large number of training samples for learning complex tasks. Many recent works on speeding up Deep RL have focused on distributed training and simulation. While distributed training is often done on the GPU, simulation is not. In this work, we propose using GPU-accelerated RL simulations as an alternative to CPU ones. Using NVIDIA Flex, a GPU-based physics engine, we show promising speed-ups of learning various continuous-control, locomotion tasks. With one GPU and CPU core, we are able to train the Humanoid running task in less than 20 minutes, using 10-1000x fewer CPU cores than previous works. We also demonstrate the scalability of our simulator to multi-GPU settings to train more challenging locomotion tasks.


title: Estimating Robot Strengths with Application to Selection of Alliance Members in FIRST Robotics Competitions

abstract: Since the inception of the FIRST Robotics Competition (FRC) and its special playoff system, robotics teams have longed to appropriately quantify the strengths of their designed robots. The FRC includes a playground draft-like phase (alliance selection), arguably the most game-changing part of the competition, in which the top-8 robotics teams in a tournament based on the FRC's ranking system assess potential alliance members for the opportunity of partnering in a playoff stage. In such a three-versus-three competition, several measures and models have been used to characterize actual or relative robot strengths. However, existing models are found to have poor predictive performance due to their imprecise estimates of robot strengths caused by a small ratio of the number of observations to the number of robots. A more general regression model with latent clusters of robot strengths is, thus, proposed to enhance their predictive capacities. Two effective estimation procedures are further developed to simultaneously estimate the number of clusters, clusters of robots, and robot strengths. Meanwhile, some measures are used to assess the predictive ability of competing models, the agreement between published FRC measures of strength and model-based robot strengths of all, playoff, and FRC top-8 robots, and the agreement between FRC top-8 robots and model-based top robots. Moreover, the stability of estimated robot strengths and accuracies is investigated to determine whether the scheduled matches are excessive or insufficient. In the analysis of qualification data from the 2018 FRC Houston and Detroit championships, the predictive ability of our model is also shown to be significantly better than those of existing models. Teams who adopt the new model can now appropriately rank their preferences for playoff alliance partners with greater predictive capability than before.


title: A Model for Auto-Programming for General Purposes

abstract: The Universal Turing Machine (TM) is a model for VonNeumann computers --- general-purpose computers. A human brain can inside-skull-automatically learn a universal TM so that he acts as a general-purpose computer and writes a computer program for any practical purposes. It is unknown whether a machine can accomplish the same. This theoretical work shows how the Developmental Network (DN) can accomplish this. Unlike a traditional TM, the TM learned by DN is a super TM --- Grounded, Emergent, Natural, Incremental, Skulled, Attentive, Motivated, and Abstractive (GENISAMA). A DN is free of any central controller (e.g., Master Map, convolution, or error back-propagation). Its learning from a teacher TM is one transition observation at a time, immediate, and error-free until all its neurons have been initialized by early observed teacher transitions. From that point on, the DN is no longer error-free but is always optimal at every time instance in the sense of maximal likelihood, conditioned on its limited computational resources and the learning experience. This letter also extends the Church-Turing thesis to automatic programming for general purposes and sketchily proved it.


title: A Giant Protocluster of Galaxies at Redshift 5.7

abstract: Galaxy clusters trace the largest structures of the Universe and provide ideal laboratories for studying galaxy evolution and cosmology. Clusters with extended X-ray emission have been discovered at redshifts up to z ~ 2.5. Meanwhile, there has been growing interest in hunting for protoclusters, the progenitors of clusters, at higher redshifts. It is, however, very challenging to find the largest protoclusters at early times when they start to assemble. Here we report a giant protocluster of galaxies at redshift z = 5.7, when the Universe was only one billion years old. This protocluster occupies a volume of about 35x35x35 cubic co-moving megaparsecs. It is embedded in an even larger overdense region with at least 41 spectroscopically confirmed, luminous Lyman-alpha emitting galaxies (Lyman-alpha Emitters, or LAEs), including several previously reported LAEs. Its LAE density is 6.6 times the average density at z ~ 5.7. It is the only one of its kind in an LAE survey in four square degrees on the sky. Such a large structure is also rarely seen in current cosmological simulations. This protocluster will collapse into a galaxy cluster with a mass of (3.6+/-0.9) x 10^{15} solar masses, comparable to those of the most massive clusters or protoclusters known to date.


title: Hierarchical Game-Theoretic Planning for Autonomous Vehicles

abstract: The actions of an autonomous vehicle on the road affect and are affected by those of other drivers, whether overtaking, negotiating a merge, or avoiding an accident. This mutual dependence, best captured by dynamic game theory, creates a strong coupling between the vehicle's planning and its predictions of other drivers' behavior, and constitutes an open problem with direct implications on the safety and viability of autonomous driving technology. Unfortunately, dynamic games are too computationally demanding to meet the real-time constraints of autonomous driving in its continuous state and action space. In this paper, we introduce a novel game-theoretic trajectory planning algorithm for autonomous driving, that enables real-time performance by hierarchically decomposing the underlying dynamic game into a long-horizon "strategic" game with simplified dynamics and full information structure, and a short-horizon "tactical" game with full dynamics and a simplified information structure. The value of the strategic game is used to guide the tactical planning, implicitly extending the planning horizon, pushing the local trajectory optimization closer to global solutions, and, most importantly, quantitatively accounting for the autonomous vehicle and the human driver's ability and incentives to influence each other. In addition, our approach admits non-deterministic models of human decision-making, rather than relying on perfectly rational predictions. Our results showcase richer, safer, and more effective autonomous behavior in comparison to existing techniques.


title: Radio-frequency reflectometry of a quantum dot using an ultra-low-noise SQUID amplifier

abstract: Fault-tolerant spin-based quantum computers will require fast and accurate qubit readout. This can be achieved using radio-frequency reflectometry given sufficient sensitivity to the change in quantum capacitance associated with the qubit states. Here, we demonstrate a 23-fold improvement in capacitance sensitivity by supplementing a cryogenic semiconductor amplifier with a SQUID preamplifier. The SQUID amplifier operates at a frequency near 200 MHz and achieves a noise temperature below 600 mK when integrated into a reflectometry circuit, which is within a factor 120 of the quantum limit. It enables a record sensitivity to capacitance of 0.07 aF/\sqrt{Hz}. The setup is used to acquire charge stability diagrams of a gate-defined double quantum dot in a short time with a signal-to-noise ration of about 38 in 1 microsecond of integration time.

categories: quant-ph cond-mat.mes-hall physics.app-ph physics.ins-det


title: Classification of non-Kahler surfaces and locally conformally Kahler geometry

abstract: We give a mostly self-contained proof of the classification of non-Kahler surfaces based on Buchdahl-Lamari theorem. We also prove that all non-Kahler surfaces which are not of class VII are locally conformally Kahler.


title: Stably Noetherian Algebras of Polynomial Growth

abstract: Let $A$ be a right noetherian algebra over a field $k$. If the base field extension $A \otimes_k K$ remains right noetherian for all extension fields $K$ of $k$, then $A$ is called stably right noetherian over $k$. We develop an inductive method to show that certain algebras of finite Gelfand-Kirillov dimension are stably noetherian, using critical composition series. We use this to characterize which algebras satisfying a polynomial identity are stably noetherian. The method also applies to many $\mathbb{N}$-graded rings of finite global dimension; in particular, we see that a noetherian Artin-Schelter regular algebra must be stably noetherian. In addition, we study more general variations of the stably noetherian property where the field extensions are restricted to those of a certain type, for instance purely transcendental extensions.


title: Noncontact Imaging of Ion Dynamics in Polymer Electrolytes with Time-Resolved Electrostatic Force Microscopy

abstract: Ionic transport processes govern performance in many classic and emerging devices, ranging from battery storage to modern mixed-conduction electrochemical transistors. Here, we study local ion transport dynamics in polymer films using time-resolved electrostatic force microscopy (trEFM). We establish a correspondence between local and macroscopic measurements using local trEFM and macroscopic electrical impedance spectroscopy (EIS). We use polymer films doped with lithium bis(trifluoromethane)sulfonimide (LiTFSI) as a model system where the polymer backbone has oxanorbornenedicarboximide repeat units with an oligomeric ethylene oxide side chain of length n. Our results show that the local polymer response measured in the time domain with trEFM follows stretched exponential relaxation kinetics, consistent with the Havriliak-Negami relaxation we measure in the frequency-domain EIS data for macroscopic samples of the same polymers. Furthermore, we show that the trEFM results capture the same trends as the EIS results-changes in ion dynamics with increasing temperature, increasing salt concentration, and increasing volume fraction of ethylene oxide side chains in the polymer matrix evolve with the same trends in both measurement techniques. We conclude from this correlation that trEFM data reflect, at the nanoscale, the same ionic processes probed in conventional EIS at the device level. Finally, as an example application for emerging materials syntheses, we use trEFM and infrared photoinduced force microscopy (PiFM) to image a novel diblock copolymer electrolyte for next-generation solid-state energy storage applications.


title: Broken Hermiticity phase transition in Bose-Hubbard model

abstract: A new version of the change of the "phase" (i.e., of the set of observable characteristics) of a quantum system is proposed. In a general scenario the evolution is assumed generated, before the phase transition, by some standard Hermitian Hamiltonian $H^{(before)}$, and, after the phase transition, by one of the recently very popular non-standard, non-Hermitian (but hiddenly Hermitian, i.e., still unitarity-guaranteeing) Hamiltonians $H^{(after)}$. For consistency, a smoothness of matching between the two operators as well as between the related physical Hilbert spaces must be guaranteed. The feasibility of the idea is illustrated via the two-mode $(N-1)-$bosonic Bose-Hubbard Hamiltonian. In $H^{(before)}=H^{(BH)}(\varepsilon)$ we use the decreasing real $\varepsilon^{(before)} \to 0$. In the hiddenly Hermitian continuation $H^{(after)}=H^{(BH)}(\tilde{\varepsilon})$ the imaginary part of the purely imaginary $\tilde{\varepsilon}^{(after)}$ grows. The smoothness of the transition occurring at the interface $\varepsilon=\tilde{\varepsilon}=0$ is then guaranteed by an {\it ad hoc\,} amendment of the inner product in Hilbert space "after". The trivial Hilbert-space metric $\Theta^{(before)}=I$ must match $\Theta^{(after)} \neq I$ smoothly. This is confirmed and illustrated by the explicit constructions of a few $\Theta^{(after)}$s in closed form.


title: $C_{2k}$-saturated graphs with no short odd cycles

abstract: The saturation number of a graph $F$, written $\textup{sat}(n,F)$, is the minimum number of edges in an $n$-vertex $F$-saturated graph. One of the earliest results on saturation numbers is due to Erd\H{o}s, Hajnal, and Moon who determined $\textup{sat}(n,K_r)$ for all $r \geq 3$. Since then, saturation numbers of various graphs and hypergraphs have been studied. Motivated by Alon and Shikhelman's generalized Tur\'an function, Kritschgau et.\ al.\ defined $\textup{sat}(n,H,F)$ to be the minimum number of copies of $H$ in an $n$-vertex $F$-saturated graph. They proved, among other things, that $\textup{sat}(n,C_3,C_{2k}) = 0$ for all $k \geq 3$ and $n \geq 2k +2$. We extend this result to all odd cycles by proving that for any odd integer $r \geq 5$, $\textup{sat}(n, C_r,C_{2k}) = 0$ for all $2k \geq r+5$ and $n \geq 2kr$.


title: Improved relative volume comparison for integral Ricci curvature and applications to volume entropy

abstract: We give several Bishop-Gromov relative volume comparisons with integral Ricci curvature which improve the results in \cite{PW1}. Using one of these volume comparisons, we derive an estimate for the volume entropy in terms of integral Ricci curvature which substantially improves an earlier estimate in \cite{Au2} and give an application on the algebraic entropy of its fundamental group. We also extend the almost minimal volume rigidity of \cite{BBCG} to integral Ricci curvature.


title: Maximizing Clearance Rate of Reputation-aware Auctions in Mobile Crowdsensing

abstract: Auctions have been employed as an effective framework for the management and the assignment of tasks in mobile crowdsensing (MCS). In auctions terminology, the clearance rate (CR) refers to the percentage of items that are sold over the duration of the auction. This research is concerned with maximizing the CR of reputation-aware (RA) auctions in centralized, participatory MCS systems. Recent techniques in the literature had focused on several challenges including untruthful bidding and malicious information that might be sent by the participants. Less attention has been given, though, to the number of completed tasks in such systems, even though it has a tangible impact on the satisfaction of service demanders. Towards the goal of maximizing CR in MCS systems, we propose two new formulations for the bidding procedure that is a part of the task allocation strategy. Simulations were carried out to evaluate the proposed methods and their impact on the user utility, under varying number of auctions, tasks, and participants. We demonstrate the effectiveness of the suggested methods through consistent and considerable increases (three times increase, in some cases) in the CR compared to the state-of-the-art.


title: The log-Brunn-Minkowski inequality in $\mathbb{R}^3$

abstract: B\"or\"oczky, Lutwak, Yang and Zhang recently proved the log-Brunn-Minkowski inequality which is stronger than the classical Brunn-Minkowski inequality for two origin-symmetric convex bodies in the plane. This paper establishes the log-Brunn-Minkowski, log-Minkowski, $L_p$-Minkowski and $L_p$-Brunn-Minkowski inequalities for two convex bodies in $\mathbb{R}^3$.


title: Atmospheric dynamics and the variable transit of KELT-9 b

abstract: We present a spectrally and temporally resolved detection of the optical Mg I triplet at 7.8$\sigma$ in the extended atmosphere of the ultra-hot Jupiter KELT-9 b, adding to the list of detected metal species in the hottest gas giant currently known. Constraints are placed on the density and radial extent of the excited hydrogen envelope using simultaneous observations of H$\alpha$ and H$\beta$ under the assumption of a spherically symmetric atmosphere. We find that planetary rotational broadening of $v_\text{rot} = 8.2^{+0.6}_{-0.7}$ km s$^{-1}$ is necessary to reproduce the Balmer line transmission profile shapes, where the model including rotation is strongly preferred over the non-rotating model using a Bayesian information criterion comparison. The time-series of both metal line and hydrogen absorption show remarkable structure, suggesting that the atmosphere observed during this transit is dynamic rather than static. We detect a relative emission feature near the end of the transit which exhibits a P-Cygni-like shape, evidence of material moving at $\approx 50-100$ km s$^{-1}$ away from the planet. We hypothesize that the in-transit variability and subsequent P-Cygni-like profiles are due to a flaring event that caused the atmosphere to expand, resulting in unbound material being accelerated to high speeds by stellar radiation pressure. Further spectroscopic transit observations will help establish the frequency of such events.


title: Counting Collisions in an $N$-Billiard System Using Angles Between Collision Subspaces

abstract: The principal angles between binary collision subspaces in an $N$-billiard system in $d$-dimensional Euclidean space are computed. These angles are computed for equal masses and arbitrary masses. We then provide a bound on the number of collisions in the planar 3-billiard system problem. Comparison of this result with known billiard collision bounds in lower dimensions is discussed.


title: CPNet: A Context Preserver Convolutional Neural Network for Detecting Shadows in Single RGB Images

abstract: Automatic detection of shadow regions in an image is a difficult task due to the lack of prior information about the illumination source and the dynamic of the scene objects. To address this problem, in this paper, a deep-learning based segmentation method is proposed that identifies shadow regions at the pixel-level in a single RGB image. We exploit a novel Convolutional Neural Network (CNN) architecture to identify and extract shadow features in an end-to-end manner. This network preserves learned contexts during the training and observes the entire image to detect global and local shadow patterns simultaneously. The proposed method is evaluated on two publicly available datasets of SBU and UCF. We have improved the state-of-the-art Balanced Error Rate (BER) on these datasets by 22\% and 14\%, respectively.


title: Three-dimensional force-field microscopy with optically levitated microspheres

abstract: We report on the use of 4.7-$\mu$m-diameter, optically levitated, charged microspheres to image the three-dimensional force field produced by charge distributions on an Au-coated, microfabricated Si beam in vacuum. An upward-propagating, single-beam optical trap, combined with an interferometric imaging technique, provides optimal access to the microspheres for microscopy. In this demonstration, the Au-coated surface of the Si beam can be brought as close as ${\sim}10~\mu$m from the center of the microsphere while forces are simultaneously measured along all three orthogonal axes, fully mapping the vector force field over a total volume of ${\sim}10^6~\mu$m$^3$. We report a force sensitivity of $(2.5 \pm 1.0) \times 10^{-17}~{\rm N / \sqrt{Hz}}$, in each of the three degrees of freedom, with a linear response to up to ${\sim}10^{-13}~{\rm N}$. While we discuss the case of mapping static electric fields using charged microspheres, it is expected that the technique can be extended to other force fields, using microspheres with different properties.


title: Pose Estimation for Objects with Rotational Symmetry

abstract: Pose estimation is a widely explored problem, enabling many robotic tasks such as grasping and manipulation. In this paper, we tackle the problem of pose estimation for objects that exhibit rotational symmetry, which are common in man-made and industrial environments. In particular, our aim is to infer poses for objects not seen at training time, but for which their 3D CAD models are available at test time. Previous work has tackled this problem by learning to compare captured views of real objects with the rendered views of their 3D CAD models, by embedding them in a joint latent space using neural networks. We show that sidestepping the issue of symmetry in this scenario during training leads to poor performance at test time. We propose a model that reasons about rotational symmetry during training by having access to only a small set of symmetry-labeled objects, whereby exploiting a large collection of unlabeled CAD models. We demonstrate that our approach significantly outperforms a naively trained neural network on a new pose dataset containing images of tools and hardware.


title: Stabilization and manipulation of multispin states in quantum-dot time crystals with Heisenberg interactions

abstract: A discrete time crystal is a recently discovered non-equilibrium phase of matter that has been shown to exist in disordered, periodically driven Ising spin chains. In this phase, if the system is initially prepared in one of a certain class of pure multispin product states, it periodically returns to this state over very long time scales despite the presence of interactions, disorder, and pulse imperfections. Here, we show that this phase occurs in GaAs quantum dot spin arrays containing as few as three quantum dots, each confining one electron spin, for naturally occurring levels of nuclear spin noise and charge noise. Although the physical interaction in these arrays is a nearest-neighbor Heisenberg exchange interaction, we show that this can be effectively converted into an Ising interaction by applying additional pulses during each drive period. We show that by changing the rotation axis of these pulses, we can select the direction of the Ising interaction and, consequently, the quantization axis of the stabilized multispin states. Moreover, we demonstrate that it is possible to perform coherent rotations of the stabilized states while remaining in the time crystal phase. These findings open up the intriguing possibility of using time crystal phases to extend the lifetime of quantum states for information applications.


title: Cloud Detection Algorithm for Remote Sensing Images Using Fully Convolutional Neural Networks

abstract: This paper presents a deep-learning based framework for addressing the problem of accurate cloud detection in remote sensing images. This framework benefits from a Fully Convolutional Neural Network (FCN), which is capable of pixel-level labeling of cloud regions in a Landsat 8 image. Also, a gradient-based identification approach is proposed to identify and exclude regions of snow/ice in the ground truths of the training set. We show that using the hybrid of the two methods (threshold-based and deep-learning) improves the performance of the cloud identification process without the need to manually correct automatically generated ground truths. In average the Jaccard index and recall measure are improved by 4.36% and 3.62%, respectively.


title: Gromov-Witten theory under degree-4 Type II Extremal Transitions

abstract: In this article, we study the change of genus zero Gromov-Witten invariants under Type II extremal transitions in degree 4.


title: Measuring Swampiness: Quantifying Chaos in Large Heterogeneous Data Repositories

abstract: As scientific data repositories and filesystems grow in size and complexity, they become increasingly disorganized. The coupling of massive quantities of data with poor organization makes it challenging for scientists to locate and utilize relevant data, thus slowing the process of analyzing data of interest. To address these issues, we explore an automated clustering approach for quantifying the organization of data repositories. Our parallel pipeline processes heterogeneous filetypes (e.g., text and tabular data), automatically clusters files based on content and metadata similarities, and computes a novel "cleanliness" score from the resulting clustering. We demonstrate the generation and accuracy of our cleanliness measure using both synthetic and real datasets, and conclude that it is more consistent than other potential cleanliness measures.


title: Phase stability and elastic properties in the $Al_{1-x-y}Cr_{x}Ti_{y}N$ system from first principles

abstract: Multicomponent nitrides are a hot research topic in the search of hard coatings. The effect of substitutions on the phase stabilities, magnetic, and elastic properties of $Al_{1-x-y}Cr_{x}Ti_{y}N$ $(0\leq x,y\leq1)$ was studied using first principles calculations based on the density functional theory. These calculations provide the lattice parameter, formation energy, mixing enthalpy and elastic constants. The calculated values are in good agreement with experiments and compare well with other theoretical results. A magnetic transition from antiferromagnetic to ferromagnetic state occurs at concentrations of B1-TiN higher than 60$\%$. The quaternary zone has a lower aluminum solubility than the constituent ternary systems. The Poisson's ratio, Shear and Young modulus were used as predictors of the hardness, indicating that the higher hardness values are found on the transition line from B1 to B4. The obtained results enable the design of new $Al_{1-x-y}Cr_{x}Ti_{y}N$-based materials for coating applications.


title: Learning to Globally Edit Images with Textual Description

abstract: We show how we can globally edit images using textual instructions: given a source image and a textual instruction for the edit, generate a new image transformed under this instruction. To tackle this novel problem, we develop three different trainable models based on RNN and Generative Adversarial Network (GAN). The models (bucket, filter bank, and end-to-end) differ in how much expert knowledge is encoded, with the most general version being purely end-to-end. To train these systems, we use Amazon Mechanical Turk to collect textual descriptions for around 2000 image pairs sampled from several datasets. Experimental results evaluated on our dataset validate our approaches. In addition, given that the filter bank model is a good compromise between generality and performance, we investigate it further by replacing RNN with Graph RNN, and show that Graph RNN improves performance. To the best of our knowledge, this is the first computational photography work on global image editing that is purely based on free-form textual instructions.


title: Approximation of the relaxed perimeter functional under a connectedness constraint by phase-fields

abstract: We develop a phase-field approximation of the relaxation of the perimeter functional in the plane under a connectedness constraint based on the classical Modica-Mortola functional and the connectedness constraint of (Dondl, Lemenant, Wojtowytsch 2017). We prove convergence of the approximating energies and present numerical results and applications to image segmentation.


title: Mixture of Expert/Imitator Networks: Scalable Semi-supervised Learning Framework

abstract: The current success of deep neural networks (DNNs) in an increasingly broad range of tasks involving artificial intelligence strongly depends on the quality and quantity of labeled training data. In general, the scarcity of labeled data, which is often observed in many natural language processing tasks, is one of the most important issues to be addressed. Semi-supervised learning (SSL) is a promising approach to overcoming this issue by incorporating a large amount of unlabeled data. In this paper, we propose a novel scalable method of SSL for text classification tasks. The unique property of our method, Mixture of Expert/Imitator Networks, is that imitator networks learn to "imitate" the estimated label distribution of the expert network over the unlabeled data, which potentially contributes a set of features for the classification. Our experiments demonstrate that the proposed method consistently improves the performance of several types of baseline DNNs. We also demonstrate that our method has the more data, better performance property with promising scalability to the amount of unlabeled data.


title: Analyzing and Disentangling Interleaved Interrupt-driven IoT Programs

abstract: In the Internet of Things (IoT) community, Wireless Sensor Network (WSN) is a key technique to enable ubiquitous sensing of environments and provide reliable services to applications. WSN programs, typically interrupt-driven, implement the functionalities via the collaboration of Interrupt Procedure Instances (IPIs, namely executions of interrupt processing logic). However, due to the complicated concurrency model of WSN programs, the IPIs are interleaved intricately and the program behaviours are hard to predicate from the source codes. Thus, to improve the software quality of WSN programs, it is significant to disentangle the interleaved executions and develop various IPI-based program analysis techniques, including offline and online ones. As the common foundation of those techniques, a generic efficient and real-time algorithm to identify IPIs is urgently desired. However, the existing instance-identification approach cannot satisfy the desires. In this paper, we first formally define the concept of IPI. Next, we propose a generic IPI-identification algorithm, and prove its correctness, real-time and efficiency. We also conduct comparison experiments to illustrate that our algorithm is more efficient than the existing one in terms of both time and space. As the theoretical analyses and empirical studies exhibit, our algorithm provides the groundwork for IPI-based analyses of WSN programs in IoT environment.


title: Exploring Bosonic Mediator of Interaction at BESIII

abstract: We present a comprehensive investigation on the possibility of the search for new force mediator $X$ boson in $e^+e^-$ collision and $J/\psi$ decay at the BESIII experiment. The typical interactions of $X$ boson coupling to leptons and quarks are explored. The production and decay properties of this $X$ particle, the product/decay chains $e^+e^-\to X\gamma \to e^+e^-\gamma$ and $J/\psi \to X\gamma\to\mu^+\mu^-\gamma$, and exclusion limits on the reduced coupling strength parameters as functions of $X$ boson mass are presented. With the data set of tens of fb$^{-1}~e^+e^-$ or $10^{10}~J/\psi$, we find that the exclusion limits on the coupling strength parameters fall in the range of $10^{-3}\sim10^{-4}$, depending on $m_X$ assuming the decay width 10 eV$<\Gamma_X<$100 eV reasonably, for various hypotheses in the literature. According to our estimation, the search for new force mediator $X$ boson in both $e^+e^-$ collision and $J/\psi$ decay are accessible in nowadays BESIII experiment.


title: Flavon Stabilization in Models with Discrete Flavor Symmetry

abstract: We propose a simple mechanism for stabilizing flavon fields with aligned vacuum structure in models with discrete flavor symmetry. The basic idea is that flavons are stabilized by the balance between the negative soft mass and non-renormalizable terms in the potential. We explicitly discuss how our mechanism works in $A_4$ flavor model, and show that the field content is significantly simplified. It also works as a natural solution to the cosmological domain wall problem.


title: Tuning the electronic structures and transport properties of zigzag blue phosphorene nanoribbons

abstract: In recent years, single element two-dimensional atom crystal materials have aroused extensive interest in many applications. Blue phosphorus, successfully synthesized on Au substrate by molecular beam epitaxy not long ago, shows unusual geometrical and electronic structures. We investigate the electronic structures and transport properties of zigzag blue phosphorene nanoribbons by using a first-principles method, which can be obviously tuned via different groups passivation on the both edges. The ZBPNRs-H and ZBPNRs-OH present a wide gap semiconductor property. While the ZBPNRs-O are metallic. Interestingly, the current-voltage curves of ZBPNRs-O show a negative differential resistive effect, which is independent on the ribbon width. The electric current through the ZBPNRs-O is mainly flowing along the both outside zigzag phosphorus chains via the way of P-P bond current. Through modifying the both edges with various functional groups, the ZBPNRs can display some important functional characteristics and become a candidate of NDR devices.

categories: cond-mat.mtrl-sci cond-mat.mes-hall cond-mat.other physics.chem-ph physics.comp-ph


title: Two-dimensional superintegrable systems from operator algebras in one dimension

abstract: We develop new constructions of 2D classical and quantum superintegrable Hamiltonians allowing separation of variables in Cartesian coordinates. In classical mechanics we start from two functions on a one-dimensional phase space, a natural Hamiltonian $H$ and a polynomial of order $N$ in the momentum $p.$ We assume that their Poisson commutator $\{H,K\}$ vanishes, is a constant, a constant times $H$, or a constant times $K$. In the quantum case $H$ and $K$ are operators and their Lie commutator has one of the above properties. We use two copies of such $(H,K)$ pairs to generate two-dimensional superintegrable systems in the Euclidean space $E_2$, allowing the separation of variables in Cartesian coordinates. All known separable superintegrable systems in $E_2$ can be obtained in this manner and we obtain new ones for $N=4.$


title: The Zakharov system in 4D radial energy space below the ground state

abstract: We prove dynamical dichotomy into scattering and blow-up (in a weak sense) for all radial solutions of the Zakharov system in the energy space of four spatial dimensions that have less energy than the ground state, which is written using the Aubin-Talenti function. The dichotomy is characterized by the critical mass of the wave component of the ground state. The result is similar to that by Kenig and Merle for the energy-critical nonlinear Schrodinger equation (NLS). Unlike NLS, however, the most difficult interaction in the proof stems from the free wave component. In order to control it, the main novel ingredient we develop in this paper is a uniform global Strichartz estimate for the linear Schrodinger equation with a potential of subcritical mass solving a wave equation. This estimate, as well as the proof, may be of independent interest. For the scattering proof, we follow the idea by Dodson and Murphy.