title: Super-Trajectory for Video Segmentation

abstract: We introduce a novel semi-supervised video segmentation approach based on an efficient video representation, called as "super-trajectory". Each super-trajectory corresponds to a group of compact trajectories that exhibit consistent motion patterns, similar appearance and close spatiotemporal relationships. We generate trajectories using a probabilistic model, which handles occlusions and drifts in a robust and natural way. To reliably group trajectories, we adopt a modified version of the density peaks based clustering algorithm that allows capturing rich spatiotemporal relations among trajectories in the clustering process. The presented video representation is discriminative enough to accurately propagate the initial annotations in the first frame onto the remaining video frames. Extensive experimental analysis on challenging benchmarks demonstrate our method is capable of distinguishing the target objects from complex backgrounds and even reidentifying them after long-term occlusions.


title: Learning What Data to Learn

abstract: Machine learning is essentially the sciences of playing with data. An adaptive data selection strategy, enabling to dynamically choose different data at various training stages, can reach a more effective model in a more efficient way. In this paper, we propose a deep reinforcement learning framework, which we call \emph{\textbf{N}eural \textbf{D}ata \textbf{F}ilter} (\textbf{NDF}), to explore automatic and adaptive data selection in the training process. In particular, NDF takes advantage of a deep neural network to adaptively select and filter important data instances from a sequential stream of training data, such that the future accumulative reward (e.g., the convergence speed) is maximized. In contrast to previous studies in data selection that is mainly based on heuristic strategies, NDF is quite generic and thus can be widely suitable for many machine learning tasks. Taking neural network training with stochastic gradient descent (SGD) as an example, comprehensive experiments with respect to various neural network modeling (e.g., multi-layer perceptron networks, convolutional neural networks and recurrent neural networks) and several applications (e.g., image classification and text understanding) demonstrate that NDF powered SGD can achieve comparable accuracy with standard SGD process by using less data and fewer iterations.


title: Robustness of topological states to lattice instability in non-symmorphic topological insulator KHgSb

abstract: We report a polarized Raman scattering study of non-symmorphic topological insulator KHgSb with hourglass-like electronic dispersion. Supported by theoretical calculations, we show that the lattice of the previously assigned space group $P6_3/mmc$ (No. 194) is unstable in KHgSb. While we observe one of two calculated Raman active E$_{2g}$ phonons of space group $P6_3/mmc$ at room temperature, an additional A$_{1g}$ peak appears at 99.5 ~cm$^{-1}$ upon cooling below $T^*$ = 150 K, which suggests a lattice distortion. Several weak peaks associated with two-phonon excitations emerge with this lattice instability. We also show that the sample is very sensitive to high temperature and high laser power, conditions under which it quickly decomposes, leading to the formation of Sb. Our first-principles calculations indicate that space group $P6_3mc$ (No. 186), corresponding to a vertical displacement of the Sb atoms with respect to the Hg atoms that breaks the inversion symmetry, is lower in energy than the presumed $P6_3/mmc$ structure and preserves the glide plane symmetry necessary to the formation of hourglass fermions.


title: Fast random field generation with $H$-matrices

abstract: We use the $H$-matrix technology to compute the approximate square root of a covariance matrix in linear cost. This allows us to generate normal and log-normal random fields on general point sets with optimal cost. We derive rigorous error estimates which show convergence of the method. Our approach requires only mild assumptions on the covariance function and on the point set. Therefore, it might be also a nice alternative to the circulant embedding approach which applies only to regular grids and stationary covariance functions.


title: Single-lead f-wave extraction using diffusion geometry

abstract: A novel single-lead f-wave extraction algorithm based on the modern diffusion geometry data analysis framework is proposed. The algorithm is essentially an averaged beat subtraction algorithm, where the ventricular activity template is estimated by combining a newly designed metric, the "diffusion distance," and the non-local Euclidean median based on the non-linear manifold setup. We coined the algorithm DD-NLEM. Two simulation schemes are considered, and the new algorithm DD-NLEM outperforms traditional algorithms, including the average beat subtraction, principal component analysis, and adaptive singular value cancellation, in different evaluation metrics with statistical significance. The clinical potential is shown in the real Holter signal, and we introduce a new score to evaluate the performance of the algorithm.


title: Fluorination-Enriched Electronic and Magnetic Properties in Graphene Nanoribbons

abstract: The feature-rich electronic and magnetic properties of fluorine-doped graphene nanoribbons are investigated by the first-principles calculations. They arise from the cooperative or competitive relations among the significant chemical bonds, finite-size quantum confinement and edge structure. There exist C-C, C-F, and F-F bonds with the multi-orbital hybridizations. Fluorine adatoms can create the p-type metals or the concentration- and distribution-dependent semiconductors, depending on whether the $\pi$ bonding is seriously suppressed by the top-site chemical bonding. Furthermore, five kinds of spin-dependent electronic and magnetic properties cover the non-magnetic and ferromagnetic metals, the non-magnetic semiconductors, and the anti-ferromagnetic semiconductors with/without the spin splitting. The diverse essential properties are clearly revealed in the spatial charge distribution, the spin density, and the orbital-projected density of states.


title: Selective Video Object Cutout

abstract: Conventional video segmentation approaches rely heavily on appearance models. Such methods often use appearance descriptors that have limited discriminative power under complex scenarios. To improve the segmentation performance, this paper presents a pyramid histogram based confidence map that incorporates structure information into appearance statistics. It also combines geodesic distance based dynamic models. Then, it employs an efficient measure of uncertainty propagation using local classifiers to determine the image regions where the object labels might be ambiguous. The final foreground cutout is obtained by refining on the uncertain regions. Additionally, to reduce manual labeling, our method determines the frames to be labeled by the human operator in a principled manner, which further boosts the segmentation performance and minimizes the labeling effort. Our extensive experimental analyses on two big benchmarks demonstrate that our solution achieves superior performance, favorable computational efficiency, and reduced manual labeling in comparison to the state-of-the-art.


title: Statistical Information Fusion for Multiple-View Sensor Data in Multi-Object Tracking

abstract: This paper presents a novel statistical information fusion method to integrate multiple-view sensor data in multi-object tracking applications. The proposed method overcomes the drawbacks of the commonly used Generalized Covariance Intersection method, which considers constant weights allocated for sensors. Our method is based on enhancing the Generalized Covariance Intersection with adaptive weights that are automatically tuned based on the amount of information carried by the measurements from each sensor. To quantify information content, Cauchy-Schwarz divergence is used. Another distinguished characteristic of our method lies in the usage of the Labeled Multi-Bernoulli filter for multi-object tracking, in which the weight of each sensor can be separately adapted for each Bernoulli component of the filter. The results of numerical experiments show that our proposed method can successfully integrate information provided by multiple sensors with different fields of view. In such scenarios, our method significantly outperforms the state of art in terms of inclusion of all existing objects and tracking accuracy.


title: Quantum mechanics in a metric sheaf: a model theoretic approach

abstract: We study model-theoretical structures for prototypical physical systems. First, a summary of the model theory of sheaves, adapted to the metric case, is presented. In particular, we provide conditions for a generalization of the generic model theorem to metric sheaves. The essentials of the model theory of metric sheaves appeared in the form of Conference Proceedings. We provide a version of those results, for the sake of completeness, and then build metric sheaves for physical systems in the second part of the paper. Specifically, metric sheaves for quantum mechanical systems with pure point and continuous spectra are constructed. In the former case, every fiber is a finite projective Hilbert space determined by the family of invariant subspaces of a given operator with pure point spectrum, and we also consider unitary transformations in a finite-dimensional space. For an operator with continuous spectrum, every fiber is a two sorted structure of subsets of the Schwartz space of rapidly decreasing functions that includes imperfect representations of position and momentum states. The imperfection character is parametrically determined by the elements on the base space and refined in the generic model. Position and momentum operators find a simple representation in every fiber as well as their corresponding unitary operators. These results follow after recasting the algebraic properties of the integral transformations frequently invoked in the description of quantum mechanical systems with continuous spectra. Finally, we illustrate how this construction permits the calculation of the quantum mechanical propagator for a free particle.


title: Free transport for interpolated free group factors

abstract: In this article, we study a form of free transport for the interpolated free group factors, extending the work of Guionnet and Shlyakhtenko for the usual free group factors. Our model for the interpolated free group factors comes from a canonical finite von Neumann algebra $\mathcal{M}(\Gamma, \mu)$ associated to a finite, connected, weighted graph $(\Gamma,V,E, \mu)$. With this model, we use an operator-valued version of Voiculescu's free difference quotient to state a Schwinger-Dyson equation which is valid for the generators of $\mathcal{M}(\Gamma, \mu)$. We construct free transport for appropriate perturbations of this equation. Also, $\mathcal{M}(\Gamma, \mu)$ can be constructed using the machinery of Shlyakhtenko's operator-valued semicircular systems


title: A flaring magnetar in FRB 121102?

abstract: The persistent radio counterpart of FRB 121102 is estimated to have $N\sim 10^{52}$ particles, energy $E_N\sim 10^{48}$ erg, and size $R\sim 10^{17}$ cm. The source can be a nebula inflated and heated by an intermittent outflow from a magnetar --- a neutron star powered by its magnetic (rather than rotational) energy. The object is young and frequently liberating energy in magnetic flares driven by accelerated ambipolar diffusion in the neutron star core, feeding the nebula and producing bright millisecond bursts. The particle number in the nebula is consistent with ion ejecta from giant flares. The nebula may also contain the freeze-out of electron-positron pairs $N_\pm\sim 10^{51}$ created months after the neutron star birth; the same mechanism offers an explanation for $N_\pm$ in the Crab nebula. The persistent source around FRB 121102 is likely heated by magnetic dissipation and internal waves excited by the magnetar ejecta. The volumetric heating by waves explains the nebula's enormous efficiency in producing radio emission. The repeating radio bursts are suggested to occur much closer to the magnetar, whose flaring magnetosphere drives ultrarelativistic internal shocks into the magnetar wind. The shocks are mediated by Larmor rotation that forms a GHz maser with the observed ms duration. Furthermore, the flare ejecta can become charge-starved and then convert to electromagnetic waves.


title: Photoproduction of $\Lambda (1405)$ with the $N^*$ and $t$-channel Regge contributions

abstract: We investigate the photoproduction of $\Lambda(1405)\equiv\Lambda^*$ hyperon resonance, i.e., $\gamma p\to K^+\Lambda^*$, employing the effective Lagrangian approach with the $t$-channel Regge trajectories at tree level. We extensively explore the effects from the nucleon resonances in the vicinity of the threshold $\sqrt{s}_\mathrm{th}\approx1900$ MeV, i.e., $N(2000)$, $N(2030)$, $N(2055)$, $N(2095)$, and $N(2100)$, and observe that they are of great importance to reproduce the recent CLAS/Jlab experimental data. Total and differential cross sections are given as numerical results and compared with the experimental data, in addition to the $t$-channel momentum transfer and photon-beam asymmetry. The invariant-mass plots for $\gamma p\to K^+\pi^0\Sigma^0$ via $\Lambda^*$ are also extracted from the two-body process results, showing a qualitative agreement with the data. We also discuss the constituent-counting rule for the internal structure of $\Lambda^*$, resulting in that $\Lambda^*$ appears to be different from a simple three-quark $(uds)$ state.


title: Boundary Flow: A Siamese Network that Predicts Boundary Motion without Training on Motion

abstract: Using deep learning, this paper addresses the problem of joint object boundary detection and boundary motion estimation in videos, which we named boundary flow estimation. Boundary flow is an important mid-level visual cue as boundaries characterize objects spatial extents, and the flow indicates objects motions and interactions. Yet, most prior work on motion estimation has focused on dense object motion or feature points that may not necessarily reside on boundaries. For boundary flow estimation, we specify a new fully convolutional Siamese network (FCSN) that jointly estimates object-level boundaries in two consecutive frames. Boundary correspondences in the two frames are predicted by the same FCSN with a new, unconventional deconvolution approach. Finally, the boundary flow estimate is improved with an edgelet-based filtering. Evaluation is conducted on three tasks: boundary detection in videos, boundary flow estimation, and optical flow estimation. On boundary detection, we achieve the state-of-the-art performance on the benchmark VSB100 dataset. On boundary flow estimation, we present the first results on the Sintel training dataset. For optical flow estimation, we run the recent approach CPMFlow but on the augmented input with our boundary-flow matches, and achieve significant performance improvement on the Sintel benchmark.


title: Magnetic ground state of SrRuO$_3$ thin film and applicability of standard first-principles approximations to metallic magnetism

abstract: A systematic first-principles study has been performed to understand the magnetism of thin film SrRuO$_3$ which lots of research efforts have been devoted to but no clear consensus has been reached about its ground state properties. The relative t$_{2g}$ level difference, lattice distortion as well as the layer thickness play together in determining the spin order. In particular, it is important to understand the difference between two standard approximations, namely LDA and GGA, in describing this metallic magnetism. Landau free energy analysis and the magnetization-energy-ratio plot clearly show the different tendency of favoring the magnetic moment formation, and it is magnified when applied to the thin film limit where the experimental information is severely limited. As a result, LDA gives a qualitatively different prediction from GGA in the experimentally relevant region of strain whereas both approximations give reasonable results for the bulk phase. We discuss the origin of this difference and the applicability of standard methods to the correlated oxide and the metallic magnetic systems.


title: Auto-clustering Output Layer: Automatic Learning of Latent Annotations in Neural Networks

abstract: In this paper, we discuss a different type of semi-supervised setting: a coarse level of labeling is available for all observations but the model has to learn a fine level of latent annotation for each one of them. Problems in this setting are likely to be encountered in many domains such as text categorization, protein function prediction, image classification as well as in exploratory scientific studies such as medical and genomics research. We consider this setting as simultaneously performed supervised classification (per the available coarse labels) and unsupervised clustering (within each one of the coarse labels) and propose a novel output layer modification called auto-clustering output layer (ACOL) that allows concurrent classification and clustering based on Graph-based Activity Regularization (GAR) technique. As the proposed output layer modification duplicates the softmax nodes at the output layer for each class, GAR allows for competitive learning between these duplicates on a traditional error-correction learning framework to ultimately enable a neural network to learn the latent annotations in this partially supervised setup. We demonstrate how the coarse label supervision impacts performance and helps propagate useful clustering information between sub-classes. Comparative tests on three of the most popular image datasets MNIST, SVHN and CIFAR-100 rigorously demonstrate the effectiveness and competitiveness of the proposed approach.


title: Foundations of gauge and perspective duality

abstract: We revisit the foundations of gauge duality and demonstrate that it can be explained using a modern approach to duality based on a perturbation framework. We therefore put gauge duality and Fenchel-Rockafellar duality on equal footing, including explaining gauge dual variables as sensitivity measures, and showing how to recover primal solutions from those of the gauge dual. This vantage point allows a direct proof that optimal solutions of the Fenchel-Rockafellar dual of the gauge dual are precisely the primal solutions rescaled by the optimal value. We extend the gauge duality framework to the setting in which the functional components are general nonnegative convex functions, including problems with piecewise linear quadratic functions and constraints that arise from generalized linear models used in regression.


title: Stable Schottky-Jacobi Forms

abstract: In this article, we prove that there do not exist stable Schottky-Jacobi forms for the universal Jacobian locus and also prove that there exist non-trivial stable Schottky-Jacobi forms for the universal hyperelliptic locus.


title: Speeding Up Latent Variable Gaussian Graphical Model Estimation via Nonconvex Optimizations

abstract: We study the estimation of the latent variable Gaussian graphical model (LVGGM), where the precision matrix is the superposition of a sparse matrix and a low-rank matrix. In order to speed up the estimation of the sparse plus low-rank components, we propose a sparsity constrained maximum likelihood estimator based on matrix factorization, and an efficient alternating gradient descent algorithm with hard thresholding to solve it. Our algorithm is orders of magnitude faster than the convex relaxation based methods for LVGGM. In addition, we prove that our algorithm is guaranteed to linearly converge to the unknown sparse and low-rank components up to the optimal statistical precision. Experiments on both synthetic and genomic data demonstrate the superiority of our algorithm over the state-of-the-art algorithms and corroborate our theory.


title: Scene Flow to Action Map: A New Representation for RGB-D based Action Recognition with Convolutional Neural Networks

abstract: Scene flow describes the motion of 3D objects in real world and potentially could be the basis of a good feature for 3D action recognition. However, its use for action recognition, especially in the context of convolutional neural networks (ConvNets), has not been previously studied. In this paper, we propose the extraction and use of scene flow for action recognition from RGB-D data. Previous works have considered the depth and RGB modalities as separate channels and extract features for later fusion. We take a different approach and consider the modalities as one entity, thus allowing feature extraction for action recognition at the beginning. Two key questions about the use of scene flow for action recognition are addressed: how to organize the scene flow vectors and how to represent the long term dynamics of videos based on scene flow. In order to calculate the scene flow correctly on the available datasets, we propose an effective self-calibration method to align the RGB and depth data spatially without knowledge of the camera parameters. Based on the scene flow vectors, we propose a new representation, namely, Scene Flow to Action Map (SFAM), that describes several long term spatio-temporal dynamics for action recognition. We adopt a channel transform kernel to transform the scene flow vectors to an optimal color space analogous to RGB. This transformation takes better advantage of the trained ConvNets models over ImageNet. Experimental results indicate that this new representation can surpass the performance of state-of-the-art methods on two large public datasets.


title: Scaffolding Networks: Incremental Learning and Teaching Through Questioning

abstract: We introduce a new paradigm of learning for reasoning, understanding, and prediction, as well as the scaffolding network to implement this paradigm. The scaffolding network embodies an incremental learning approach that is formulated as a teacher-student network architecture to teach machines how to understand text and do reasoning. The key to our computational scaffolding approach is the interactions between the teacher and the student through sequential questioning. The student observes each sentence in the text incrementally, and it uses an attention-based neural net to discover and register the key information in relation to its current memory. Meanwhile, the teacher asks questions about the observed text, and the student network gets rewarded by correctly answering these questions. The entire network is updated continually using reinforcement learning. Our experimental results on synthetic and real datasets show that the scaffolding network not only outperforms state-of-the-art methods but also learns to do reasoning in a scalable way even with little human generated input.


title: An Improved Lower Bound for General Position Subset Selection

abstract: In the General Position Subset Selection (GPSS) problem, the goal is to find the largest possible subset of a set of points such that no three of its members are collinear. If $s_{\mathrm{GPSS}}$ is the size of the optimal solution, $\sqrt{s_{\mathrm{GPSS}}}$ is the current best guarantee for the size of the solution obtained using a polynomial time algorithm. In this paper we present an algorithm for GPSS to improve this bound based on the number of collinear pairs of points. We experimentally evaluate this and few other GPSS algorithms; the result of these experiments suggests further opportunities for obtaining tighter lower bounds for GPSS.


title: Role of spatial higher order derivatives in momentum space entanglement

abstract: We study the momentum space entanglement between different energy modes of interacting scalar fields propagating in general (D + 1)-dimensional flat space-time. As opposed to some of the recent works [1], we use Lorentz invariant normalized ground state to obtain the momentum space entanglement entropy. We show that the Lorenz invariant definition removes the spurious power-law behaviour obtained in the earlier works [1]. More specifically, we show that the cubic interacting scalar field in (1 + 1) dimensions leads to logarithmic divergence of the entanglement entropy and consistent with the results from real space entanglement calculations. We study the effects of the introduction of the Lorentz violating higher derivative terms in the presence of non-linear self inter- acting scalar field potential and show that the divergence structure of the entanglement entropy is improved in the presence of spatial higher derivative terms.


title: Stepping Forward with Exoskeletons: Team IHMC's Design and Approach in the 2016 Cybathlon

abstract: Exoskeletons are a promising technology that enables individuals with mobility limitations to walk again. As the 2016 Cybathlon illustrated, however, the community has a considerable way to go before exoskeletons have the necessary capabilities to be incorporated into daily life. While most exoskeletons power only hip and knee flexion, Team Institute for Human and Machine Cognition (IHMC) presents a new exoskeleton, Mina v2, which includes a powered ankle dorsi/plantar flexion. As our entry to the 2016 Cybathlon Powered Exoskeleton Competition, Mina v2's performance allowed us to explore the effectiveness of its powered ankle compared to other powered exoskeletons for pilots with paraplegia. We designed our gaits to incorporate powered ankle plantar flexion to help improve mobility, which allowed our pilot to navigate the given Cybathlon tasks quickly, including those that required ascending movements, and reliably achieve average, conservative walking speeds of 1.04 km/h (0.29 m/s). This enabled our team to place second overall in the Powered Exoskeleton Competition in the 2016 Cybathlon.


title: Dual Horadam Octonions

abstract: In this study, we investigate Horadam sequence as generalization of linear recurrence equations of order two. By the aid of this sequence we obtain a new generalization for sequences of dual quaternions and dual octonions. Moreover, we derive some important identities such as Binet formula, generating function, Cassini identity, sum formula and norm formula by their Binet forms. We generalize all studied linear second order recurrence relations over dual octonions and quaternions in a single formula.


title: Towards Deeper Understanding of Variational Autoencoding Models

abstract: We propose a new family of optimization criteria for variational auto-encoding models, generalizing the standard evidence lower bound. We provide conditions under which they recover the data distribution and learn latent features, and formally show that common issues such as blurry samples and uninformative latent features arise when these conditions are not met. Based on these new insights, we propose a new sequential VAE model that can generate sharp samples on the LSUN image dataset based on pixel-wise reconstruction loss, and propose an optimization criterion that encourages unsupervised learning of informative latent features.


title: Multipole superconductivity in nonsymmorphic Sr$_2$IrO$_4$

abstract: Discoveries of marked similarities to high-$T_{\text{c}}$ cuprate superconductors point to the realization of superconductivity in the doped $J_{\text{eff}} = 1 / 2$ Mott insulator Sr$_2$IrO$_4$. Contrary to the mother compound of cuprate superconductors, several stacking patterns of in-plane canted antiferromagnetic moments have been reported, which are distinguished by the ferromagnetic components as $-++-$, $++++$, and $-+-+$. In this paper, we clarify unconventional features of the superconductivity coexisting with $-++-$ and $-+-+$ structures. Combining the group theoretical analysis and numerical calculations for an effective $J_{\text{eff}} = 1 / 2$ model, we show unusual superconducting gap structures in the $-++-$ state protected by nonsymmorphic magnetic space group symmetry. Furthermore, our calculation shows that the Fulde-Ferrell-Larkin-Ovchinnikov superconductivity is inevitably stabilized in the $-+-+$ state since the odd-parity magnetic $-+-+$ order makes the band structure asymmetric by cooperating with spin-orbit coupling. These unusual superconducting properties are signatures of magnetic multipole order in nonsymmorphic crystal.


title: Complexity of short generating functions

abstract: We give complexity analysis of the class of short generating functions (GF). Assuming $\#P \not\subseteq FP/poly$, we show that this class is not closed under taking many intersections, unions or projections of GFs, in the sense that these operations can increase the bitlength of coefficients of GFs by a super-polynomial factor. We also prove that truncated theta functions are hard in this class.


title: Sampled-Data Boundary Feedback Control of 1-D Hyperbolic PDEs with Non-Local Terms

abstract: The paper provides results for the application of boundary feedback control with Zero-Order-Hold (ZOH) to 1-D linear, first-order, hyperbolic systems with non-local terms on bounded domains. It is shown that the emulation design based on the recently proposed continuous-time, boundary feedback, designed by means of backstepping, guarantees closed-loop exponential stability, provided that the sampling period is sufficiently small. It is also shown that, contrary to the parabolic case, a smaller sampling period implies a faster convergence rate with no upper bound for the achieved convergence rate. The obtained results provide stability estimates for the sup-norm of the state and robustness with respect to perturbations of the sampling schedule is guaranteed.


title: The computational complexity of integer programming with alternations

abstract: We prove that integer programming with three quantifier alternations is $NP$-complete, even for a fixed number of variables. This complements earlier results by Lenstra and Kannan, which together say that integer programming with at most two quantifier alternations can be done in polynomial time for a fixed number of variables. As a byproduct of the proof, we show that for two polytopes $P,Q \subset \mathbb{R}^4$ , counting the projection of integer points in $Q \backslash P$ is $\#P$-complete. This contrasts the 2003 result by Barvinok and Woods, which allows counting in polynomial time the projection of integer points in $P$ and $Q$ separately.


title: Geometry and Arithmetic on the Siegel-Jacobi Space

abstract: The Siegel-Jacobi space is a non-symmetric homogeneous space which is very important geometrically and arithmetically. In this paper, we discuss the theory of the geometry and the arithmetic of the Siegel-Jacobi space.


title: Decomposition of polynomial sets into characteristic pairs

abstract: A characteristic pair is a pair (G,C) of polynomial sets in which G is a reduced lexicographic Groebner basis, C is the minimal triangular set contained in G, and C is normal. In this paper, we show that any finite polynomial set P can be decomposed algorithmically into finitely many characteristic pairs with associated zero relations, which provide representations for the zero set of P in terms of those of Groebner bases and those of triangular sets. The algorithm we propose for the decomposition makes use of the inherent connection between Ritt characteristic sets and lexicographic Groebner bases and is based essentially on the structural properties and the computation of lexicographic Groebner bases. Several nice properties about the decomposition and the resulting characteristic pairs, in particular relationships between the Groebner basis and the triangular set in each pair, are established. Examples are given to illustrate the algorithm and some of the properties.


title: On rank-critical matrix spaces

abstract: A matrix space of size $m\times n$ is a linear subspace of the linear space of $m\times n$ matrices over a field $\mathbb{F}$. The rank of a matrix space is defined as the maximal rank over matrices in this space. A matrix space $\mathcal{A}$ is called rank-critical, if any matrix space which properly contains it has rank strictly greater than that of $\mathcal{A}$. In this note, we first exhibit a necessary and sufficient condition for a matrix space $\mathcal{A}$ to be rank-critical, when $\mathbb{F}$ is large enough. This immediately implies the sufficient condition for a matrix space to be rank-critical by Draisma (Bull. Lond. Math. Soc. 38(5):764--776, 2006), albeit requiring the field to be slightly larger. We then study rank-critical spaces in the context of compression and primitive matrix spaces. We first show that every rank-critical matrix space can be decomposed into a rank-critical compression matrix space and a rank-critical primitive matrix space. We then prove, using our necessary and sufficient condition, that the block-diagonal direct sum of two rank-critical matrix spaces is rank-critical if and only if both matrix spaces are primitive, when the field is large enough.


title: LHCb anomaly and $B$ physics in flavored Z$^{\prime}$ models with flavored Higgs doublets

abstract: We study an extended Standard Model with a gauged U(1)$^{\prime}$ flavor symmetry, motivated not only by the fermion mass hierarchy but also by the excesses in $B \to K^{(*)} l l$ reported by the LHCb collaborations. The U(1)$^{\prime}$ charges are assigned to quarks and leptons in a flavor-dependent manner, and flavored Higgs doublets are also introduced in order to detail the Yukawa couplings at the renormalizable level. Then, the fermion mass hierarchy is realized by the vacuum alignment of the Higgs doublets. In this model, flavor-changing currents involving the gauge boson of U(1)$^{\prime}$ and the scalars generated by the Higgs doublets are predicted and the observables in the $B \to K^{(*)} l l$ process possibly deviate from the Standard Model predictions. We study the possibility that these new flavor-changing interactions can explain the excesses in the $B \to K^{(*)} l l$ process, and we derive some predictions for the other flavor-violating processes based on the analysis. We specifically investigate the $\Delta F=2$ processes and the other $B$ decays: e.g., $B \to X_s \gamma$ and $B \to D^{(*)} \tau \nu$, where the deviations are reported by the Belle and $BABAR$ collaborations.


title: Theta sums of higher index

abstract: In this paper, we obtain some behaviours of theta sums of higher index for the Schroedinger-Weil representation of the Jacobi group associated with a positive definite symmetric real matrix of degree m.


title: Optimal entanglement witnesses in a split spin-squeezed Bose-Einstein condensate

abstract: How to detect quantum correlations in bi-partite scenarios using a split many-body system and collective measurements on each party? We address this question by deriving entanglement witnesses using either only first or first and second order moments of local collective spin components. In both cases, we derive optimal witnesses for spatially split spin squeezed states in the presence of local white noise. We then compare the two optimal witnesses with respect to their resistance to various noise sources operating either at the preparation or at the detection level. We finally evaluate the statistics required to estimate the value of these witnesses when measuring a split spin-squeezed Bose-Einstein condensate. Our results can be seen as a step towards Bell tests with many-body systems.


title: Gorenstein projective bimodules via monomorphism categories and filtration categories

abstract: We generalize the monomorphism category from quiver (with monomial relations) to arbitrary finite dimensional algebras by a homological definition. Given two finite dimension algebras $A$ and $B$, we use the special monomorphism category Mon(B, A-Gproj) to describe some Gorenstein projective bimodules over the tensor product of $A$ and $B$. If one of the two algebras is Gorenstein, we give a sufficient and necessary condition for Mon(B, A-Gproj) being the category of all Gorenstein projective bimodules. In addition, If both $A$ and $B$ are Gorenstein, we can describe the category of all Gorenstein projective bimodules via filtration categories. Similarly, in this case, we get the same result for infinitely generated Gorenstein projective bimodules.


title: On architectural choices in deep learning: From network structure to gradient convergence and parameter estimation

abstract: We study mechanisms to characterize how the asymptotic convergence of backpropagation in deep architectures, in general, is related to the network structure, and how it may be influenced by other design choices including activation type, denoising and dropout rate. We seek to analyze whether network architecture and input data statistics may guide the choices of learning parameters and vice versa. Given the broad applicability of deep architectures, this issue is interesting both from theoretical and a practical standpoint. Using properties of general nonconvex objectives (with first-order information), we first build the association between structural, distributional and learnability aspects of the network vis-\`a-vis their interaction with parameter convergence rates. We identify a nice relationship between feature denoising and dropout, and construct families of networks that achieve the same level of convergence. We then derive a workflow that provides systematic guidance regarding the choice of network sizes and learning parameters often mediated4 by input statistics. Our technical results are corroborated by an extensive set of evaluations, presented in this paper as well as independent empirical observations reported by other groups. We also perform experiments showing the practical implications of our framework for choosing the best fully-connected design for a given problem.


title: On The Absolute Value of The Product and the Sum of Linear Operators

abstract: Let $A,B\in B(H)$. In the present paper, we establish simple and interesting facts on when we have $|A||B|=|B||A|$, $|AB|=|A||B|$, $|A\pm B|\leq |A|+|B|$, $||A|-|B||\leq |A\pm B|$ and $\||A|-|B|\|\leq \|A\pm B\|$, where $|\cdot|$ denotes the absolute value (or modulus) of an operator. The results give some other interesting consequences.


title: Quantum absorption refrigerator with trapped ions

abstract: Thermodynamics is one of the oldest and well-established branches of physics that sets boundaries to what can possibly be achieved in macroscopic systems. While it started as a purely classical theory, it was realized in the early days of quantum mechanics that large quantum devices, such as masers or lasers, can be treated with the thermodynamic formalism. Remarkable progress has been made recently in the miniaturization of heat engines all the way to the single Brownian particle as well as to a single atom. However, despite several theoretical proposals, the implementation of heat machines in the fully quantum regime remains a challenge. Here, we report an experimental realization of a quantum absorption refrigerator in a system of three trapped ions, with three of its normal modes of motion coupled by a trilinear Hamiltonian such that heat transfer between two modes refrigerates the third. We investigate the dynamics and steady-state properties of the refrigerator and compare its cooling capability when only thermal states are involved to the case when squeezing is employed as a quantum resource. We also study the performance of such a refrigerator in the single shot regime, and demonstrate cooling below both the steady-state energy and the benchmark predicted by the classical thermodynamics treatment.


title: Autonomous Quantum Error Correction and Application to Quantum Sensing with Trapped Ions

abstract: Quantum-enhanced measurements hold the promise to improve high-precision sensing ranging from the definition of time standards to the determination of fundamental constants of nature. However, quantum sensors lose their sensitivity in the presence of noise. To protect them, the use of quantum error correcting codes has been proposed. Trapped ions are an excellent technological platform for both quantum sensing and quantum error correction. Here we present a quantum error correction scheme that harnesses dissipation to stabilize a trapped-ion qubit. In our approach, always-on couplings to an engineered environment protect the qubit against spin- or phase flips. Our dissipative error correction scheme operates in a fully autonomous manner without the need to perform measurements or feedback operations. We show that the resulting enhanced coherence time translates into a significantly enhanced precision for quantum measurements. Our work constitutes a stepping stone towards the paradigm of self-correcting quantum information processing.


title: Identifying the presence of the critical end point in QCD phase diagram by higher order susceptibilities

abstract: For the first time, we investigate susceptibilities of dense quark matter up to $8$th order using an effective model. Generally higher order susceptibilities will have more sign changes and larger magnitude, thus should give more information about the presence and location of the conjectured QCD critical end point (CEP). Two cases are studied, one with the CEP and one being crossover phase transition throughout the QCD phase diagram. It is found that a rapid crossover transition can also give similar sign pattern as the case with the CEP and yield large signal. We propose that using several kinds of ions for collision to search for a wider range on the QCD phase diagram may help.


title: 3D Shape Segmentation via Shape Fully Convolutional Networks

abstract: We desgin a novel fully convolutional network architecture for shapes, denoted by Shape Fully Convolutional Networks (SFCN). 3D shapes are represented as graph structures in the SFCN architecture, based on novel graph convolution and pooling operations, which are similar to convolution and pooling operations used on images. Meanwhile, to build our SFCN architecture in the original image segmentation fully convolutional network (FCN) architecture, we also design and implement a generating operation} with bridging function. This ensures that the convolution and pooling operation we have designed can be successfully applied in the original FCN architecture. In this paper, we also present a new shape segmentation approach based on SFCN. Furthermore, we allow more general and challenging input, such as mixed datasets of different categories of shapes} which can prove the ability of our generalisation. In our approach, SFCNs are trained triangles-to-triangles by using three low-level geometric features as input. Finally, the feature voting-based multi-label graph cuts is adopted to optimise the segmentation results obtained by SFCN prediction. The experiment results show that our method can effectively learn and predict mixed shape datasets of either similar or different characteristics, and achieve excellent segmentation results.


title: Brightness temperature - obtaining physical properties of non-equipartition plasma

abstract: The limit on the intrinsic brightness temperature, attributed to `Compton catastrophe', has been established being $10^{12}$~K. Somewhat lower limit of the order of $10^{11.5}$~K is implied if we assume that the radiating plasma is in equipartition with the magnetic field --- the idea that explained why the observed cores of active galactic nuclei sustained the limit lower than the `Compton catastrophe'. Recent observations with unprecedented high resolution by the RADIOASTRON revealed systematic exceed in the observed brightness temperature. We propose means of estimating the degree of non-equipartition regime in AGN cores. Coupled with the core-shift measurements the method allows us to estimate independently the magnetic field strength and the particles number density at the core. We show that the ratio of magnetic energy to radiating plasma energy is of the order of $10^{-5}$, which means the flow in the core is dominated by the particle energy. We show that the magnetic field obtained by the brightness temperature measurements may be underestimated. We propose for the relativistic jets with small viewing angles the non-uniform MHD model, and obtain the expression for the magnetic field amplitude about two orders higher than that for the uniform model. These magnetic field amplitudes are consistent with the limiting magnetic field suggested by the `magnetically arrested disk' model.


title: Geometric phase of a moving dipole under a magnetic field at a distance

abstract: We predict a geometric quantum phase shift of a moving electric dipole in the presence of an external magnetic field at a distance. On the basis of the Lorentz-covariant field interaction approach, we show that a geometric phase appears under the condition that the dipole is moving in the field-free region, which is distinct from the topological He-McKellar-Wilkens phase generated by a direct overlap of the dipole and the field. We discuss the experimental feasibility of detecting this phase with atomic interferometry and argue that detection of this phase would result in a deeper understanding of the locality in quantum electromagnetic interaction.


title: Non-Close-Packed Three-Dimensional Quasicrystals

abstract: Quasicrystals are frequently encountered in condensed matter. They are important candidates for equilibrium phases from the atomic scale to the nanoscale. Here, we investigate the computational self-assembly of four quasicrystals in a single model system of identical particles interacting with a tunable isotropic pair potential. We reproduce a known icosahedral quasicrystal and report a decagonal quasicrystal, a dodecagonal quasicrystal, and an octagonal quasicrystal. The quasicrystals have low coordination number or occur in systems with mesoscale density variations. We also report a network gel phase.

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


title: Upper limits on the 21-cm Epoch of Reionization power spectrum from one night with LOFAR

abstract: We present the first limits on the Epoch of Reionization (EoR) 21-cm HI power spectra, in the redshift range $z=7.9-10.6$, using the Low-Frequency Array (LOFAR) High-Band Antenna (HBA). In total 13\,h of data were used from observations centred on the North Celestial Pole (NCP). After subtraction of the sky model and the noise bias, we detect a non-zero $\Delta^2_{\rm I} = (56 \pm 13 {\rm mK})^2$ (1-$\sigma$) excess variance and a best 2-$\sigma$ upper limit of $\Delta^2_{\rm 21} < (79.6 {\rm mK})^2$ at $k=0.053$$h$cMpc$^{-1}$ in the range $z=$9.6-10.6. The excess variance decreases when optimizing the smoothness of the direction- and frequency-dependent gain calibration, and with increasing the completeness of the sky model. It is likely caused by (i) residual side-lobe noise on calibration baselines, (ii) leverage due to non-linear effects, (iii) noise and ionosphere-induced gain errors, or a combination thereof. Further analyses of the excess variance will be discussed in forthcoming publications.


title: A Data-driven Approach for Furniture and Indoor Scene Colorization

abstract: We present a data-driven approach that colorizes 3D furniture models and indoor scenes by leveraging indoor images on the internet. Our approach is able to colorize the furniture automatically according to an example image. The core is to learn image-guided mesh segmentation to segment the model into different parts according to the image object. Given an indoor scene, the system supports colorization-by-example, and has the ability to recommend the colorization scheme that is consistent with a user-desired color theme. The latter is realized by formulating the problem as a Markov random field model that imposes user input as an additional constraint. We contribute to the community a hierarchically organized image-model database with correspondences between each image and the corresponding model at the part-level. Our experiments and a user study show that our system produces perceptually convincing results comparable to those generated by interior designers.


title: MIML-FCN+: Multi-instance Multi-label Learning via Fully Convolutional Networks with Privileged Information

abstract: Multi-instance multi-label (MIML) learning has many interesting applications in computer visions, including multi-object recognition and automatic image tagging. In these applications, additional information such as bounding-boxes, image captions and descriptions is often available during training phrase, which is referred as privileged information (PI). However, as existing works on learning using PI only consider instance-level PI (privileged instances), they fail to make use of bag-level PI (privileged bags) available in MIML learning. Therefore, in this paper, we propose a two-stream fully convolutional network, named MIML-FCN+, unified by a novel PI loss to solve the problem of MIML learning with privileged bags. Compared to the previous works on PI, the proposed MIML-FCN+ utilizes the readily available privileged bags, instead of hard-to-obtain privileged instances, making the system more general and practical in real world applications. As the proposed PI loss is convex and SGD compatible and the framework itself is a fully convolutional network, MIML-FCN+ can be easily integrated with state of-the-art deep learning networks. Moreover, the flexibility of convolutional layers allows us to exploit structured correlations among instances to facilitate more effective training and testing. Experimental results on three benchmark datasets demonstrate the effectiveness of the proposed MIML-FCN+, outperforming state-of-the-art methods in the application of multi-object recognition.


title: Stall force of a cargo driven by N interacting motor proteins

abstract: We study a generic one-dimensional model for an intracellular cargo driven by N motor proteins against an external applied force. The model includes motor-cargo and motor-motor interactions. The cargo motion is described by an over-damped Langevin equation, while motor dynamics is specified by hopping rates which follow a local detailed balance condition with respect to change in energy per hopping event. Based on this model, we show that the stall force, the mean external force corresponding to zero mean cargo velocity, is completely independent of the details of the interactions and is, therefore, always equal to the sum of the stall forces of the individual motors. This exact result is arrived on the basis of a simple assumption: the (macroscopic) state of stall of the cargo is analogous to a state of thermodynamic equilibrium, and is characterized by vanishing net probability current between any two microstates, with the latter specified by motor positions relative to the cargo. The corresponding probability distribution of the microstates under stall is also determined. These predictions are in complete agreement with numerical simulations, carried out using specific forms of interaction potentials.

categories: physics.bio-ph cond-mat.soft cond-mat.stat-mech q-bio.QM q-bio.SC


title: Anisotropic Orlicz-Sobolev spaces of vector valued functions and Lagrange equations

abstract: In this paper we study some properties of anisotropic Orlicz and anisotropic Orlicz-Sobolev spaces of vector valued functions for a special class of G-functions. We introduce a variational setting for a class of Lagrangian Systems. We give conditions which ensure that the principal part of variational functional is finitely defined and continuously differentiable on Orlicz-Sobolev space.


title: On the uniqueness of cellular injectives

abstract: A. Avil\'es and C. Brech proved a intriguing result about the existence and uniqueness of certain injective Boolean algebras or Banach spaces. Their result refines the standard existence and uniqueness of saturated models. They express a wish to obtain a unified approach in the context of category theory. We provide this in the framework of weak factorization systems. Our basic tool is the fat small object argument.


title: Carroll Limit of Non-BPS Dp-Brane

abstract: We find Carroll non-BPS Dp-brane action by performing Carroll limit of a canonical form of unstable Dp-brane action. We analyze different Carroll limits and discuss solutions of the equations of motion of Carroll non-BPS Dp-brane at the tachyon vacuum.


title: Fast and slow thermal processes in harmonic scalar lattices

abstract: An approach for analytical description of thermal processes in harmonic lattices is presented. We cover longitudinal and transverse vibrations of chains and out-of-plane vibrations of two-dimensional lattices with interactions of an arbitrary number of neighbors. Motion of each particle is governed by a single scalar equation and therefore the notion "scalar lattice" is used. Evolution of initial temperature field in an infinite lattice is investigated. An exact equation describing the evolution is derived. Continualization of this equation with respect to spatial coordinates is carried out. The resulting continuum equation is solved analytically. The solution shows that the kinetic temperature is represented as the sum of two terms, one describing short time behavior, the other large time behavior. At short times, the temperature performs high-frequency oscillations caused by redistribution of energy among kinetic and potential forms (fast process). Characteristic time of this process is of order of ten periods of atomic vibrations. At large times, changes of the temperature are caused by ballistic heat transfer (slow process). The temperature field is represented as a superposition of waves having the shape of initial temperature distribution and propagating with group velocities dependent on the wave vector. Expressions describing fast and slow processes are invariant with respect to substitution $t$ by $-t$. However examples considered in the paper demonstrate that these processes are irreversible. Numerical simulations show that presented theory describes the evolution of temperature field at short and large time scales with high accuracy.

categories: cond-mat.stat-mech cond-mat.mes-hall physics.class-ph physics.comp-ph


title: Binary sampling ghost imaging: add random noise to fight quantization caused image quality decline

abstract: When the sampling data of ghost imaging is recorded with less bits, i.e., experiencing quantization, decline of image quality is observed. The less bits used, the worse image one gets. Dithering, which adds suitable random noise to the raw data before quantization, is proved to be capable of compensating image quality decline effectively, even for the extreme binary sampling case. A brief explanation and parameter optimization of dithering are given.


title: Manifestation of T-Exciton Migration in the Kinetics of Singlet Fission in Organic Semiconductors

abstract: Kinetics of singlet fission in organic semiconductors, in which the excited singlet state (S_1) spontaneously splits into a pair of triplet (T) excitons, is known to be strongly influenced by back geminate annihilation of TT-pairs. We show that this influence can be properly described only by taking into account the diffusive exciton migration. The migration effect is treated in the model of two kinetically coupled states: the intermediate state of interacting TT-pairs and the state of migrating excitons. Within this model the singlet fission (including magnetic field effects) is studied as applied to the fluorescence decay kinetics (FDK) I_{S_1}(t) for S_1-state. The analysis shows that migration strongly affects the FDK resulting, in particular, in the universal long-time dependence I_{S_1}(t) \sim t^{-3/2}. The model accurately describes the FDK, recently observed for a number of systems. Possible applications of the considered model to the analysis of mechanisms of migration, using experimentally measured FDK, are briefly discussed.


title: Error identities for variational problems with obstacles

abstract: The paper is concerned with a class of nonlinear free boundary problems, which are usually solved by variational methods based on primal (or primal-dual) variational settings. We deduce and investigate special relations (error identities). They show that a certain nonlinear measure of the distance to the exact solution (specific for each problem) is equivalent to the respective duality gap, which minimization is a keystone of all variational numerical methods. Therefore, the identity defines the measure that contains maximal quantitative information on the quality of a numerical solution available through these methods. The measure has quadratic terms generated by the linear part of the differential operator and nonlinear terms associated with free boundaries. We obtain fully computable two sided bounds of this measure and show that they provide efficient estimates of the distance between the minimizer and any function from the corresponding energy space. Several examples show that for different minimization sequence the balance between different components of the overall error measure may be different and domination of nonlinear terms may indicate that coincidence sets are approximated incorrectly.


title: Borrowing Treasures from the Wealthy: Deep Transfer Learning through Selective Joint Fine-tuning

abstract: Deep neural networks require a large amount of labeled training data during supervised learning. However, collecting and labeling so much data might be infeasible in many cases. In this paper, we introduce a source-target selective joint fine-tuning scheme for improving the performance of deep learning tasks with insufficient training data. In this scheme, a target learning task with insufficient training data is carried out simultaneously with another source learning task with abundant training data. However, the source learning task does not use all existing training data. Our core idea is to identify and use a subset of training images from the original source learning task whose low-level characteristics are similar to those from the target learning task, and jointly fine-tune shared convolutional layers for both tasks. Specifically, we compute descriptors from linear or nonlinear filter bank responses on training images from both tasks, and use such descriptors to search for a desired subset of training samples for the source learning task. Experiments demonstrate that our selective joint fine-tuning scheme achieves state-of-the-art performance on multiple visual classification tasks with insufficient training data for deep learning. Such tasks include Caltech 256, MIT Indoor 67, Oxford Flowers 102 and Stanford Dogs 120. In comparison to fine-tuning without a source domain, the proposed method can improve the classification accuracy by 2% - 10% using a single model.


title: Generalized reduction formula for Discrete Wigner functions of multiqubit systems

abstract: Density matrices and Discrete Wigner Functions are equally valid representations of multiqubit quantum states. For density matrices, the partial trace operation is used to obtain the quantum state of subsystems, but an analogous prescription is not available for discrete Wigner Functions. Further, the discrete Wigner function corresponding to a density matrix is not unique but depends on the choice of the quantum net used for its reconstruction. In the present work, we derive a reduction formula for discrete Wigner functions of a general multiqubit state which works for arbitrary quantum nets. These results would be useful for the analysis and classification of entangled states and the study of decoherence purely in a discrete phase space setting and also in applications to quantum computing


title: Cascade one-vs-rest detection network for fine-grained recognition without part annotations

abstract: Fine-grained recognition is a challenging task due to the small intra-category variances. Most of top-performing fine-grained recognition methods leverage parts of objects for better performance. Therefore, part annotations which are extremely computationally expensive are required. In this paper, we propose a novel cascaded deep CNN detection framework for fine-grained recognition which is trained to detect the whole object without considering parts. Nevertheless, most of current top-performing detection networks use the N+1 class (N object categories plus background) softmax loss, and the background category with much more training samples dominates the feature learning progress so that the features are not good for object categories with fewer samples. To bridge this gap, we introduce a cascaded structure to eliminate background and exploit a one-vs-rest loss to capture more minute variances among different subordinate categories. Experiments show that our proposed recognition framework achieves comparable performance with state-of-the-art, part-free, fine-grained recognition methods on the CUB-200-2011 Bird dataset. Moreover, our method even outperforms most of part-based methods while does not need part annotations at the training stage and is free from any annotations at test stage.


title: A Holographic Study of the Gauged NJL Model

abstract: The Nambu Jona-Lasinio model of chiral symmetry breaking predicts a second order chiral phase transition. If the fermions in addition have non-abelian gauge interactions then the transition is expected to become a crossover as the NJL term enhances the IR chiral symmetry breaking of the gauge theory. We study this behaviour in the holographic Dynamic AdS/QCD description of a non-abelian gauge theory with the NJL interaction included using Witten's multi-trace prescription. We study the behaviour of the mesonic spectrum as a function of the NJL coupling and the ratio of the UV cut off scale to the dynamical scale of the gauge theory.


title: Finding Statistically Significant Interactions between Continuous Features

abstract: The search for higher-order feature interactions that are statistically significantly associated with a class variable is of high relevance in fields such as Genetics or Healthcare, but the combinatorial explosion of the candidate space makes this problem extremely challenging in terms of computational efficiency and proper correction for multiple testing. While recent progress has been made regarding this challenge for binary features, we here present the first solution for continuous features. We propose an algorithm which overcomes the combinatorial explosion of the search space of higher-order interactions by deriving a lower bound on the p-value for each interaction, which enables us to massively prune interactions that can never reach significance and to thereby gain more statistical power. In our experiments, our approach efficiently detects all significant interactions in a variety of synthetic and real-world datasets.


title: Online Robot Introspection via Wrench-based Action Grammars

abstract: Robotic failure is all too common in unstructured robot tasks. Despite well-designed controllers, robots often fail due to unexpected events. How do robots measure unexpected events? Many do not. Most robots are driven by the sense-plan act paradigm, however more recently robots are undergoing a sense-plan-act-verify paradigm. In this work, we present a principled methodology to bootstrap online robot introspection for contact tasks. In effect, we are trying to enable the robot to answer the question: what did I do? Is my behavior as expected or not? To this end, we analyze noisy wrench data and postulate that the latter inherently contains patterns that can be effectively represented by a vocabulary. The vocabulary is generated by segmenting and encoding the data. When the wrench information represents a sequence of sub-tasks, we can think of the vocabulary forming a sentence (set of words with grammar rules) for a given sub-task; allowing the latter to be uniquely represented. The grammar, which can also include unexpected events, was classified in offline and online scenarios as well as for simulated and real robot experiments. Multiclass Support Vector Machines (SVMs) were used offline, while online probabilistic SVMs were are used to give temporal confidence to the introspection result. The contribution of our work is the presentation of a generalizable online semantic scheme that enables a robot to understand its high-level state whether nominal or abnormal. It is shown to work in offline and online scenarios for a particularly challenging contact task: snap assemblies. We perform the snap assembly in one-arm simulated and real one-arm experiments and a simulated two-arm experiment. This verification mechanism can be used by high-level planners or reasoning systems to enable intelligent failure recovery or determine the next most optima manipulation skill to be used.


title: Degeneracies in quasi-categories

abstract: In this note we show that a semisimplicial set with the weak Kan condition admits a simplicial structure, provided any object allows an idempotent self-equivalence. Moreover, any two choices of simplicial structures give rise to equivalent quasi-categories. The method is purely combinatorial and extends to semisimplicial objects in other categories; in particular to semi-simplicial spaces satisfying the Segal condition (semi-Segal spaces).


title: A differential model for growing sandpiles on networks

abstract: We consider a system of differential equations of Monge-Kantorovich type which describes the equilibrium configurations of granular material poured by a constant source on a network. Relying on the definition of viscosity solution for Hamilton-Jacobi equations on networks, recently introduced by P.-L. Lions and P. E. Souganidis, we prove existence and uniqueness of the solution of the system and we discuss its numerical approximation. Some numerical experiments are carried out.


title: Moments of continuous-state branching processes with or without immigration

abstract: For a positive continuous function f satisfying some standard conditions, we study the f-moments of continuous-state branching processes with or without immigration. The main results give criteria for the existence of the f-moments. The characterization of the processes in terms of stochastic equations given by Dawson and Li (2012) plays an essential role in the proofs.


title: II-FCN for skin lesion analysis towards melanoma detection

abstract: Dermoscopy image detection stays a tough task due to the weak distinguishable property of the object.Although the deep convolution neural network signifigantly boosted the performance on prevelance computer vision tasks in recent years,there remains a room to explore more robust and precise models to the problem of low contrast image segmentation.Towards the challenge of Lesion Segmentation in ISBI 2017,we built a symmetrical identity inception fully convolution network which is based on only 10 reversible inception blocks,every block composed of four convolution branches with combination of different layer depth and kernel size to extract sundry semantic features.Then we proposed an approximate loss function for jaccard index metrics to train our model.To overcome the drawbacks of traditional convolution,we adopted the dilation convolution and conditional random field method to rectify our segmentation.We also introduced multiple ways to prevent the problem of overfitting.The experimental results shows that our model achived jaccard index of 0.82 and kept learning from epoch to epoch.


title: The arctangent law for a certain random time related to a one-dimensional diffusion

abstract: For a time-homogeneous, one-dimensional diffusion process $X(t),$ we investigate the distribution of the first instant, after a given time $r,$ at which $X(t)$ exceeds its maximum on the interval $[0,r],$ generalizing a result of Papanicolaou, which is valid for Brownian motion.


title: Learning rates for classification with Gaussian kernels

abstract: This paper aims at refined error analysis for binary classification using support vector machine (SVM) with Gaussian kernel and convex loss. Our first result shows that for some loss functions such as the truncated quadratic loss and quadratic loss, SVM with Gaussian kernel can reach the almost optimal learning rate, provided the regression function is smooth. Our second result shows that, for a large number of loss functions, under some Tsybakov noise assumption, if the regression function is infinitely smooth, then SVM with Gaussian kernel can achieve the learning rate of order $m^{-1}$, where $m$ is the number of samples.


title: The Henon-Heiles system defined on Lie-algebraically deformed Galilei space-time

abstract: In this article we provide the Henon-Heiles system defined on Lie-algebraically deformed nonrelativistic space-time with the commutator of two spatial directions proportional to time. Particularly, we demonstrate that in such a model the total energy is not conserved and for this reason the role of control parameter is taken by the initial energy value $E_{0,{\rm tot}} = E_{{\rm tot}}(t=0)$. Besides, we show that in contrast with the commutative case, for chosen values of deformation parameter $\kappa$, there appears chaos in the system for initial total energies $E_{0,{\rm tot}}$ below the threshold $E_{0,{\rm th}} = 1/6$.


title: Widely-Linear Precoding for Large-Scale MIMO with IQI: Algorithms and Performance Analysis

abstract: In this paper we study widely-linear precoding techniques to mitigate in-phase/quadrature-phase (IQ) imbalance (IQI) in the downlink of large-scale multiple-input multiple-output (MIMO) systems. We adopt a real-valued signal model which takes into account the IQI at the transmitter and then develop widely-linear zero-forcing (WL-ZF), widely-linear matched filter (WL-MF), widely-linear minimum mean-squared error (WL-MMSE) and widely-linear block-diagonalization (WL-BD) type precoding algorithms for both {\color{red} single- and multiple-antenna users.} We also present a performance analysis of WL-ZF and WL-BD. It is proved that without IQI, WL-ZF has exactly the same multiplexing gain and power offset as ZF, while when IQI exists, WL-ZF achieves the same multiplexing gain as ZF with ideal IQ branches, but with a minor power loss which is related to the system scale and the IQ parameters. We also compare the performance of WL-BD with BD. The analysis shows that with ideal IQ branches, WL-BD has the same data rate as BD, while when IQI exists, WL-BD achieves the same multiplexing gain as BD without IQ imbalance. Numerical results verify the analysis and show that the proposed widely-linear type precoding methods significantly outperform their conventional counterparts with IQI and approach those with ideal IQ branches.


title: Optimal algorithms for smooth and strongly convex distributed optimization in networks

abstract: In this paper, we determine the optimal convergence rates for strongly convex and smooth distributed optimization in two settings: centralized and decentralized communications over a network. For centralized (i.e. master/slave) algorithms, we show that distributing Nesterov's accelerated gradient descent is optimal and achieves a precision $\varepsilon > 0$ in time $O(\sqrt{\kappa_g}(1+\Delta\tau)\ln(1/\varepsilon))$, where $\kappa_g$ is the condition number of the (global) function to optimize, $\Delta$ is the diameter of the network, and $\tau$ (resp. $1$) is the time needed to communicate values between two neighbors (resp. perform local computations). For decentralized algorithms based on gossip, we provide the first optimal algorithm, called the multi-step dual accelerated (MSDA) method, that achieves a precision $\varepsilon > 0$ in time $O(\sqrt{\kappa_l}(1+\frac{\tau}{\sqrt{\gamma}})\ln(1/\varepsilon))$, where $\kappa_l$ is the condition number of the local functions and $\gamma$ is the (normalized) eigengap of the gossip matrix used for communication between nodes. We then verify the efficiency of MSDA against state-of-the-art methods for two problems: least-squares regression and classification by logistic regression.


title: Uranus' aurorae past equinox

abstract: The aurorae of Uranus were recently detected in the far ultraviolet with the Hubble Space Telescope (HST) providing a new, so far unique, means to remotely study the asymmetric Uranian magnetosphere from Earth. We analyze here two new HST Uranus campaigns executed in Sept. 2012 and Nov. 2014 with different temporal coverage and under variable solar wind conditions numerically predicted by three different MHD codes. Overall, HST images taken with the Space Telescope Imaging Spectrograph reveal auroral emissions in three pairs of successive images (one pair acquired in 2012 and two in 2014), hence six additional auroral detections in total, including the most intense Uranian aurorae ever seen with HST. The detected emissions occur close the expected arrival of interplanetary shocks. They appear as extended spots at southern latitudes, rotating with the planet. They radiate 5-24 kR and 1.3-8.8 GW of ultraviolet emission from H$_2$, last for tens of minutes and vary on timescales down to a few seconds. Fitting the 2014 observations with model auroral ovals constrains the longitude of the southern (northern) magnetic pole to 104+\-26{\deg} (284-\-26{\deg}) in the Uranian Longitude System. We suggest that the Uranian near-equinoctial aurorae are pulsed cusp emissions possibly triggered by large-scale magnetospheric compressions.


title: On the role of magnetosonic solitons in perpendicular collisionless shock reformation

abstract: The nature of the magnetic structure arising from ion specular reflection in shock compression studies is examined by means of 1d particle in cell simulations. Propagation speed, field profiles and supporting currents for this magnetic structure are shown to be consistent with a magnetosonic soliton. Coincidentally, this structure and its evolution are typical of foot structures observed in perpendicular shock reformation. To reconcile these two observations, we propose, for the first time, that shock reformation can be explained as the result of the formation, growth and subsequent transition to a super-critical shock of a magnetosonic soliton. This argument is further supported by the remarkable agreement found between the period of the soliton evolution cycle and classical reformation results. This new result suggests that the unique properties of solitons can be used to shed new light on the long-standing issue of shock non-stationarity and its role on particle acceleration.


title: Stability of Synchrony against Local Intermittent Fluctuations in Tree-like Power Grids

abstract: 80% of all Renewable Energy Power in Germany is installed in tree-like distribution grids. Intermittent power fluctuations from such sources introduce new dynamics into the lower grid layers. At the same time, distributed resources will have to contribute to stabilize the grid against these fluctuations in the future. In this paper, we model a system of distributed resources as oscillators on a tree-like, lossy power grid and its ability to withstand desynchronization from localized intermittent renewable infeed. We find a remarkable interplay of network structure and the position of the node at which the fluctuations are fed in. An important precondition for our findings is the presence of losses in distribution grids. Then, the most network central node splits the network into branches with different influence on network stability. Troublemakers, i.e. nodes at which fluctuations are especially exciting the grid, tend to be downstream branches with high net power outflow. For low coupling strength, we also find branches of nodes vulnerable to fluctuations anywhere in the network. These network regions can be predicted at high confidence using an eigenvector based network measure taking the turbulent nature of perturbations into account. While we focus here on tree-like networks, the observed effects also appear, albeit less pronounced, for weakly meshed grids. On the other hand the observed effects disappear for lossless power grids often studied in the complex systems literature.


title: Modulational instability in the full-dispersion Camassa-Holm equation

abstract: We determine the stability and instability of a sufficiently small and periodic traveling wave to long wavelength perturbations, for a nonlinear dispersive equation which extends a Camassa-Holm equation to include all the dispersion of water waves and the Whitham equation to include nonlinearities of medium amplitude waves. In the absence of the effects of surface tension, the result qualitatively agrees with the Benjamin-Feir instability of a Stokes wave. In the presence of the effects of surface tension, it qualitatively agrees with those from formal asymptotic expansions of the physical problem and it improves upon that for the Whitham equation, correctly predicting the limit of strong surface tension. We discuss the modulational stability and instability in the Camassa-Holm equation and related models.


title: Quantum Variational Principle and quantum multiform structure: the case of quadratic Lagrangians

abstract: A modern notion of integrability is that of multidimensional consistency (MDC), which classically implies the coexistence of (commuting) dynamical flows in several independent variables for one and the same dependent variable. This property holds for both continuous dynamical systems as well as for discrete ones defined in discrete space-time. Possibly the simplest example in the discrete case is that of a linear quadrilateral lattice equation, which can be viewed as a linearised version of the well-known lattice potential Korteweg-de Vries (KdV) equation. In spite of the linearity, the MDC property is non-trivial in terms of the parameters of the system. The Lagrangian aspects of such equations, and their nonlinear analogues, has led to the notion of Lagrangian multiform structures, where the Lagrangians are no longer scalar functions (or volume forms) but genuine forms in a multidimensional space of independent variables. The variational principle involves variations not only with respect to the field variables, but also with respect to the geometry in the space of independent variables. In this paper we consider a quantum analogue of this new variational principle by means of quantum propagators (or equivalently Feynman path integrals). In the case of quadratic Lagrangians these can be evaluated in terms of Gaussian integrals. We study also periodic reductions of the lattice leading to discrete multi-time dynamical commuting mappings, the simplest example of which is the discrete harmonic oscillator, which surprisingly reveals a rich integrable structure behind it. On the basis of this study we propose a new quantum variational principle in terms of multiform path integrals.


title: Highest $\ell$-Weight Representations and Functional Relations

abstract: We discuss highest $\ell$-weight representations of quantum loop algebras and the corresponding functional relations between integrability objects. In particular, we compare the prefundamental and $q$-oscillator representations of the positive Borel subalgebras of the quantum group $\mathrm{U}_q(\mathcal L(\mathfrak{sl}_{l+1}))$ for arbitrary values of $l$. Our article has partially the nature of a short review, but it also contains new results. These are the expressions for the $L$-operators, and the exact relationship between different representations, as a byproduct resulting in certain conclusions about functional relations.


title: Renormalization group equation analysis of a pseudoscalar portal dark matter model

abstract: We investigate the vacuum stability and perturbativity of a pseudoscalar portal dark matter model with a Dirac dark matter (DM) candidate, through the renormalization group equation analysis at one-loop order. The model has a particular feature which can evade the direct detection upper bounds measured by XENON100 and even that from planned experiment XENON1T. We first find the viable regions in the parameter space which will give rise to correct DM relic density and comply with the constraints from Higgs physics. We show that for a given mass of the pseudoscalar, the mixing angle plays no significant role in the running of the couplings. Then we study the running of the couplings for various pseudoscalar masses at mixing angle $\theta = 6^\circ$, and find the scale of validity in terms of the dark coupling, $\lambda_{d}$. Depending on our choice of the cutoff scale, the resulting viable parameter space will be determined.


title: Algorithmic stability and hypothesis complexity

abstract: We introduce a notion of algorithmic stability of learning algorithms---that we term \emph{argument stability}---that captures stability of the hypothesis output by the learning algorithm in the normed space of functions from which hypotheses are selected. The main result of the paper bounds the generalization error of any learning algorithm in terms of its argument stability. The bounds are based on martingale inequalities in the Banach space to which the hypotheses belong. We apply the general bounds to bound the performance of some learning algorithms based on empirical risk minimization and stochastic gradient descent.


title: Neutrino Emission from Supernovae

abstract: Supernovae are the most powerful cosmic sources of MeV neutrinos. These elementary particles play a crucial role when the evolution of a massive star is terminated by the collapse of its core to a neutron star or a black hole and the star explodes as supernova. The release of electron neutrinos, which are abundantly produced by electron captures, accelerates the catastrophic infall and causes a gradual neutronization of the stellar plasma by converting protons to neutrons as dominant constituents of neutron star matter. The emission of neutrinos and antineutrinos of all flavors carries away the gravitational binding energy of the compact remnant and drives its evolution from the hot initial to the cold final state. The absorption of electron neutrinos and antineutrinos in the surroundings of the newly formed neutron star can power the supernova explosion and determines the conditions in the innermost supernova ejecta, making them an interesting site for the nucleosynthesis of iron-group elements and trans-iron nuclei. In this Chapter the basic neutrino physics in supernova cores and nascent neutron stars will be discussed. This includes the most relevant neutrino production, absorption, and scattering processes, elementary aspects of neutrino transport in dense environments, the characteristic neutrino emission phases with their typical signal features, and the perspectives connected to a measurement of the neutrino signal from a future galactic supernova.


title: An assessment of Fe XX - Fe XXII emission lines in SDO/EVE data as diagnostics for high density solar flare plasmas using EUVE stellar observations

abstract: The Extreme Ultraviolet Variability Experiment (EVE) on the Solar Dynamics Observatory obtains extreme-ultraviolet (EUV) spectra of the full-disk Sun at a spectral resolution of ~1 A and cadence of 10 s. Such a spectral resolution would normally be considered to be too low for the reliable determination of electron density (N_e) sensitive emission line intensity ratios, due to blending. However, previous work has shown that a limited number of Fe XXI features in the 90-60 A wavelength region of EVE do provide useful N_e-diagnostics at relatively low flare densities (N_e ~ 10^11-10^12 cm^-3). Here we investigate if additional highly ionised Fe line ratios in the EVE 90-160 A range may be reliably employed as N_e-diagnostics. In particular, the potential for such diagnostics to provide density estimates for high N_e (~10^13 cm^-3) flare plasmas is assessed. Our study employs EVE spectra for X-class flares, combined with observations of highly active late-type stars from the Extreme Ultraviolet Explorer (EUVE) satellite plus experimental data for well-diagnosed tokamak plasmas, both of which are similar in wavelength coverage and spectral resolution to those from EVE. Several ratios are identified in EVE data which yield consistent values of electron density, including Fe XX 113.35/121.85 and Fe XXII 114.41/135.79, with confidence in their reliability as N_e-diagnostics provided by the EUVE and tokamak results. These ratios also allow the determination of density in solar flare plasmas up to values of ~10^13 cm^-3.


title: Building a Completely Reversible Computer

abstract: A critical analysis of the feasibility of reversible computing is performed. The key question is: Is it possible to build a completely reversible computer? A closer look into the internal aspects of the reversible computing as well as the external constraints such as the second law of thermodynamics has demonstrated that several difficulties would have to be solved before reversible computer is being built. It is shown that a conventional reversible computer would require energy for setting up the reversible inputs from irreversible signals, for the reading out of the reversible outputs, for the transport of the information between logic elements and finally for the control signals that will require more energy dissipating into the environment. A loose bound on the minimum amount of energy required to be dissipated during the physical implementation of a reversible computer is obtained and a generalization of the principles for reversible computing is provided.


title: On the Relationship between $k$-Planar and $k$-Quasi Planar Graphs

abstract: A graph is $k$-planar $(k \geq 1)$ if it can be drawn in the plane such that no edge is crossed more than $k$ times. A graph is $k$-quasi planar $(k \geq 2)$ if it can be drawn in the plane with no $k$ pairwise crossing edges. The families of $k$-planar and $k$-quasi planar graphs have been widely studied in the literature, and several bounds have been proven on their edge density. Nonetheless, only trivial results are known about the relationship between these two graph families. In this paper we prove that, for $k \geq 3$, every $k$-planar graph is $(k+1)$-quasi planar.


title: An Extensive Technique to Detect and Analyze Melanoma: A Challenge at the International Symposium on Biomedical Imaging (ISBI) 2017

abstract: An automated method to detect and analyze the melanoma is presented to improve diagnosis which will leads to the exact treatment. Image processing techniques such as segmentation, feature descriptors and classification models are involved in this method. In the First phase the lesion region is segmented using CIELAB Color space Based Segmentation. Then feature descriptors such as shape, color and texture are extracted. Finally, in the third phase lesion region is classified as melanoma, seborrheic keratosis or nevus using multi class O-A SVM model. Experiment with ISIC 2017 Archive skin image database has been done and analyzed the results.


title: The reference system and not completely positive open quantum dynamics

abstract: Open quantum dynamics in a tripartite scenario including a system, its environment and a passive reference is shown to resolve several open questions regarding not completely positive (NCP) dynamical maps as valid descriptions of open quantum evolution. The steering states of the system and the environment with respect to the reference, reduced down to a dense, compact set of states of the system alone, provides a well defined domain of action for a bonafide dynamical map describing the open evolution of the system. The map is not restricted to being completely positive (CP) but it preserves the positivity of all states in its domain. NCP open dynamics corresponding to different initial configurations of the tripartite system are explored.


title: Malware Guard Extension: Using SGX to Conceal Cache Attacks

abstract: In modern computer systems, user processes are isolated from each other by the operating system and the hardware. Additionally, in a cloud scenario it is crucial that the hypervisor isolates tenants from other tenants that are co-located on the same physical machine. However, the hypervisor does not protect tenants against the cloud provider and thus the supplied operating system and hardware. Intel SGX provides a mechanism that addresses this scenario. It aims at protecting user-level software from attacks from other processes, the operating system, and even physical attackers. In this paper, we demonstrate fine-grained software-based side-channel attacks from a malicious SGX enclave targeting co-located enclaves. Our attack is the first malware running on real SGX hardware, abusing SGX protection features to conceal itself. Furthermore, we demonstrate our attack both in a native environment and across multiple Docker containers. We perform a Prime+Probe cache side-channel attack on a co-located SGX enclave running an up-to-date RSA implementation that uses a constant-time multiplication primitive. The attack works although in SGX enclaves there are no timers, no large pages, no physical addresses, and no shared memory. In a semi-synchronous attack, we extract 96% of an RSA private key from a single trace. We extract the full RSA private key in an automated attack from 11 traces within 5 minutes.


title: Learning Discrete Representations via Information Maximizing Self-Augmented Training

abstract: Learning discrete representations of data is a central machine learning task because of the compactness of the representations and ease of interpretation. The task includes clustering and hash learning as special cases. Deep neural networks are promising to be used because they can model the non-linearity of data and scale to large datasets. However, their model complexity is huge, and therefore, we need to carefully regularize the networks in order to learn useful representations that exhibit intended invariance for applications of interest. To this end, we propose a method called Information Maximizing Self-Augmented Training (IMSAT). In IMSAT, we use data augmentation to impose the invariance on discrete representations. More specifically, we encourage the predicted representations of augmented data points to be close to those of the original data points in an end-to-end fashion. At the same time, we maximize the information-theoretic dependency between data and their predicted discrete representations. Extensive experiments on benchmark datasets show that IMSAT produces state-of-the-art results for both clustering and unsupervised hash learning.


title: Solving Boundary Value Problem for a Nonlinear Stationary Controllable System with Synthesizing Control

abstract: An algorithm for constructing a control function that transfers a wide class of stationary nonlinear systems of ordinary differential equations from an initial state to a final state under certain control restrictions is proposed. The algorithm is designed to be convenient for numerical implementation. A constructive criterion of the desired transfer possibility is presented. The problem of an interorbital flight is considered as a test example and it is simulated numerically with the presented method.


title: Nonlinear TM Modes of the Symmetric Hyperbolic Slab Waveguide

abstract: Guided wave modes in a symmetric slab waveguide formed by an isotropic dielectric layer with cubic nonlinear response placed in the hyperbolic surrounding medium are investigated theoretically. Optical axis of the hyperbolic medium is normal to the slab plane. If dielectric permittivity of the waveguide core is more than extraordinary permittivity of the hyperbolic medium each TM mode has two cut-off frequencies. The dispersion relations for these modes are found and numerically solved for cases of focusing and defocussing medium of the core. Number of possible modes at given frequency depends on the applied field intensity. It is shown that zero values of the TM modes propagation constants are possible in the waveguide. Moreover in the self-defocussing case they can be obtained by increasing field intensity. The dependence of a propagation constant and width of the mode on radiation intensity is obtained and analyzed.


title: Entropy of a box of gas in an external gravitational field $-$ revisited

abstract: Earlier it was shown that the entropy of an ideal gas, contained in a box and moving in a gravitational field, develops an area dependence when it approaches the horizon of a static, spherically symmetric spacetime. Here we extend the above result in two directions; viz., to (a) the stationary axisymmteric spacetimes and (b) time dependent cosmological spacetimes evolving asymptotically to the de Sitter or the Schwarzschild de Sitter spacetimes. While our calculations are exact for the stationary axisymmetric spacetimes, for the cosmological case we present an analytical expression of the entropy when the spacetime is close to the de Sitter or the Schwarzschild de Sitter spacetime. Unlike the static spacetimes, there is no hypersurface orthogonal timelike Killing vector field in these cases. Nevertheless, the results hold and the entropy develops an area dependence in the appropriate limit.


title: Constructing a neutron star in G2-QCD

abstract: The inner structure of neutron stars is still an open question. To make progress and understand the qualitative impact of gauge interactions on the neutron star structure we study neutron stars in a modified version of QCD. In this modification the gauge group of QCD is replaced by the exceptional Lie group G$_2$, which has neutrons and is accessible at finite density in lattice calculations. Using an equation of state constructed from lattice calculations we determine the mass-radius-relation for a neutron star in this theory using the Tolman-Oppenheimer-Volkoff equation. The results exhibit an influence of the non-trivial interactions on the mass-radius relation. However, the masses of the quarks are found to have little influence. We also give density profiles and the phase structure inside the neutron star. If the results carry over to full QCD, much of the internal structure of neutron stars could already be inferred from a precise measurement of the mass-radius relation.


title: Bayesian Verification under Model Uncertainty

abstract: Machine learning enables systems to build and update domain models based on runtime observations. In this paper, we study statistical model checking and runtime verification for systems with this ability. Two challenges arise: (1) Models built from limited runtime data yield uncertainty to be dealt with. (2) There is no definition of satisfaction w.r.t. uncertain hypotheses. We propose such a definition of subjective satisfaction based on recently introduced satisfaction functions. We also propose the BV algorithm as a Bayesian solution to runtime verification of subjective satisfaction under model uncertainty. BV provides user-definable stochastic bounds for type I and II errors. We discuss empirical results from an example application to illustrate our ideas.


title: Stacked Thompson Bandits

abstract: We introduce Stacked Thompson Bandits (STB) for efficiently generating plans that are likely to satisfy a given bounded temporal logic requirement. STB uses a simulation for evaluation of plans, and takes a Bayesian approach to using the resulting information to guide its search. In particular, we show that stacking multiarmed bandits and using Thompson sampling to guide the action selection process for each bandit enables STB to generate plans that satisfy requirements with a high probability while only searching a fraction of the search space.


title: Improving the Neural GPU Architecture for Algorithm Learning

abstract: Algorithm learning is a core problem in artificial intelligence with significant implications on automation level that can be achieved by machines. Recently deep learning methods are emerging for synthesizing an algorithm from its input-output examples, the most successful being the Neural GPU, capable of learning multiplication. We present several improvements to the Neural GPU that substantially reduces training time and improves generalization. We introduce a new technique - hard nonlinearities with saturation costs- that has general applicability. We also introduce a technique of diagonal gates that can be applied to active-memory models. The proposed architecture is the first capable of learning decimal multiplication end-to-end.


title: Differential cross-section measurements of boosted top quarks at $\sqrt{s} = 13$ TeV with the ATLAS detector

abstract: Differential cross-section measurements of highly boosted top quarks are presented. The dataset used has an integrated luminosity of $3.2$ fb$^{-1}$, recorded at a centre-of-mass energy of $\sqrt{s}=13$ TeV with the ATLAS detector at the CERN Large Hadron Collider in 2015. Events are selected in the lepton + jets channel, containing one isolated lepton and a large radius jet that is identified as originating from a top quark using substructure tagging techniques. The measured transverse momentum and absolute rapidity distributions are unfolded to remove detector effects and compared to a range of Monte Carlo simulations. The transverse momentum distribution shows that all Monte Carlo generators used predict a harder spectrum than observed in data, while the rapidity distribution agrees well between MC and data.