title: Skip-Thought Memory Networks

abstract: Question Answering (QA) is fundamental to natural language processing in that most nlp problems can be phrased as QA (Kumar et al., 2015). Current weakly supervised memory network models that have been proposed so far struggle at answering questions that involve relations among multiple entities (such as facebook's bAbi qa5-three-arg-relations in (Weston et al., 2015)). To address this problem of learning multi-argument multi-hop semantic relations for the purpose of QA, we propose a method that combines the jointly learned long-term read-write memory and attentive inference components of end-to-end memory networks (MemN2N) (Sukhbaatar et al., 2015) with distributed sentence vector representations encoded by a Skip-Thought model (Kiros et al., 2015). This choice to append Skip-Thought Vectors to the existing MemN2N framework is motivated by the fact that Skip-Thought Vectors have been shown to accurately model multi-argument semantic relations (Kiros et al., 2015).


title: Deep Manifold Traversal: Changing Labels with Convolutional Features

abstract: Many tasks in computer vision can be cast as a "label changing" problem, where the goal is to make a semantic change to the appearance of an image or some subject in an image in order to alter the class membership. Although successful task-specific methods have been developed for some label changing applications, to date no general purpose method exists. Motivated by this we propose deep manifold traversal, a method that addresses the problem in its most general form: it first approximates the manifold of natural images then morphs a test image along a traversal path away from a source class and towards a target class while staying near the manifold throughout. The resulting algorithm is surprisingly effective and versatile. It is completely data driven, requiring only an example set of images from the desired source and target domains. We demonstrate deep manifold traversal on highly diverse label changing tasks: changing an individual's appearance (age and hair color), changing the season of an outdoor image, and transforming a city skyline towards nighttime.


title: All you need is a good init

abstract: Layer-sequential unit-variance (LSUV) initialization - a simple method for weight initialization for deep net learning - is proposed. The method consists of the two steps. First, pre-initialize weights of each convolution or inner-product layer with orthonormal matrices. Second, proceed from the first to the final layer, normalizing the variance of the output of each layer to be equal to one. Experiment with different activation functions (maxout, ReLU-family, tanh) show that the proposed initialization leads to learning of very deep nets that (i) produces networks with test accuracy better or equal to standard methods and (ii) is at least as fast as the complex schemes proposed specifically for very deep nets such as FitNets (Romero et al. (2015)) and Highway (Srivastava et al. (2015)). Performance is evaluated on GoogLeNet, CaffeNet, FitNets and Residual nets and the state-of-the-art, or very close to it, is achieved on the MNIST, CIFAR-10/100 and ImageNet datasets.


title: An Information Retrieval Approach to Finding Dependent Subspaces of Multiple Views

abstract: Finding relationships between multiple views of data is essential both for exploratory analysis and as pre-processing for predictive tasks. A prominent approach is to apply variants of Canonical Correlation Analysis (CCA), a classical method seeking correlated components between views. The basic CCA is restricted to maximizing a simple dependency criterion, correlation, measured directly between data coordinates. We introduce a new method that finds dependent subspaces of views directly optimized for the data analysis task of \textit{neighbor retrieval between multiple views}. We optimize mappings for each view such as linear transformations to maximize cross-view similarity between neighborhoods of data samples. The criterion arises directly from the well-defined retrieval task, detects nonlinear and local similarities, is able to measure dependency of data relationships rather than only individual data coordinates, and is related to well understood measures of information retrieval quality. In experiments we show the proposed method outperforms alternatives in preserving cross-view neighborhood similarities, and yields insights into local dependencies between multiple views.


title: Resonant Rydberg Dressing of Alkaline-Earth Atoms via Electromagnetically Induced Transparency

abstract: We develop an approach to generate finite-range atomic interactions via optical Rydberg-state excitation and study the underlying excitation dynamics in theory and experiment. In contrast to previous work, the proposed scheme is based on resonant optical driving and the establishment of a dark state under conditions of electromagnetically induced transparency (EIT). Analyzing the driven dissipative dynamics of the atomic gas, we show that the interplay between coherent light coupling, radiative decay and strong Rydberg-Rydberg atom interactions leads to the emergence of sizeable effective interactions while providing remarkably long coherence times. The latter are studied experimentally in a cold gas of strontium atoms for which the proposed scheme is most efficient. Our measured atom loss is in agreement with the theoretical prediction based on binary effective interactions between the driven atoms.


title: First Step toward Model-Free, Anonymous Object Tracking with Recurrent Neural Networks

abstract: In this paper, we propose and study a novel visual object tracking approach based on convolutional networks and recurrent networks. The proposed approach is distinct from the existing approaches to visual object tracking, such as filtering-based ones and tracking-by-detection ones, in the sense that the tracking system is explicitly trained off-line to track anonymous objects in a noisy environment. The proposed visual tracking model is end-to-end trainable, minimizing any adversarial effect from mismatches in object representation and between the true underlying dynamics and learning dynamics. We empirically show that the proposed tracking approach works well in various scenarios by generating artificial video sequences with varying conditions; the number of objects, amount of noise and the match between the training shapes and test shapes.


title: Reasoning in Vector Space: An Exploratory Study of Question Answering

abstract: Question answering tasks have shown remarkable progress with distributed vector representation. In this paper, we investigate the recently proposed Facebook bAbI tasks which consist of twenty different categories of questions that require complex reasoning. Because the previous work on bAbI are all end-to-end models, errors could come from either an imperfect understanding of semantics or in certain steps of the reasoning. For clearer analysis, we propose two vector space models inspired by Tensor Product Representation (TPR) to perform knowledge encoding and logical reasoning based on common-sense inference. They together achieve near-perfect accuracy on all categories including positional reasoning and path finding that have proved difficult for most of the previous approaches. We hypothesize that the difficulties in these categories are due to the multi-relations in contrast to uni-relational characteristic of other categories. Our exploration sheds light on designing more sophisticated dataset and moving one step toward integrating transparent and interpretable formalism of TPR into existing learning paradigms.


title: Fluctuations between high- and low-modularity topology in time-resolved functional connectivity

abstract: Modularity is an important topological attribute for functional brain networks. Recent studies have reported that modularity of functional networks varies not only across individuals being related to demographics and cognitive performance, but also within individuals co-occurring with fluctuations in network properties of functional connectivity, estimated over short time intervals. However, characteristics of these time-resolved functional networks during periods of high and low modularity have remained largely unexplored. In this study we investigate spatiotemporal properties of time-resolved networks in the high and low modularity periods during rest, with a particular focus on their spatial connectivity patterns, temporal homogeneity and test-retest reliability. We show that spatial connectivity patterns of time-resolved networks in the high and low modularity periods are represented by increased and decreased dissociation of the default mode network module from task-positive network modules, respectively. We also find that the instances of time-resolved functional connectivity sampled from within the high (low) modularity period are relatively homogeneous (heterogeneous) over time, indicating that during the low modularity period the default mode network interacts with other networks in a variable manner. We confirmed that the occurrence of the high and low modularity periods varies across individuals with moderate inter-session test-retest reliability and that it is correlated with previously-reported individual differences in the modularity of functional connectivity estimated over longer timescales. Our findings illustrate how time-resolved functional networks are spatiotemporally organized during periods of high and low modularity, allowing one to trace individual differences in long-timescale modularity to the variable occurrence of network configurations at shorter timescales.


title: A Controller-Recognizer Framework: How necessary is recognition for control?

abstract: Recently there has been growing interest in building active visual object recognizers, as opposed to the usual passive recognizers which classifies a given static image into a predefined set of object categories. In this paper we propose to generalize these recently proposed end-to-end active visual recognizers into a controller-recognizer framework. A model in the controller-recognizer framework consists of a controller, which interfaces with an external manipulator, and a recognizer which classifies the visual input adjusted by the manipulator. We describe two most recently proposed controller-recognizer models: recurrent attention model and spatial transformer network as representative examples of controller-recognizer models. Based on this description we observe that most existing end-to-end controller-recognizers tightly, or completely, couple a controller and recognizer. We ask a question whether this tight coupling is necessary, and try to answer this empirically by building a controller-recognizer model with a decoupled controller and recognizer. Our experiments revealed that it is not always necessary to tightly couple them and that by decoupling a controller and recognizer, there is a possibility of building a generic controller that is pretrained and works together with any subsequent recognizer.


title: Patterns for Learning with Side Information

abstract: Supervised, semi-supervised, and unsupervised learning estimate a function given input/output samples. Generalization of the learned function to unseen data can be improved by incorporating side information into learning. Side information are data that are neither from the input space nor from the output space of the function, but include useful information for learning it. In this paper we show that learning with side information subsumes a variety of related approaches, e.g. multi-task learning, multi-view learning and learning using privileged information. Our main contributions are (i) a new perspective that connects these previously isolated approaches, (ii) insights about how these methods incorporate different types of prior knowledge, and hence implement different patterns, (iii) facilitating the application of these methods in novel tasks, as well as (iv) a systematic experimental evaluation of these patterns in two supervised learning tasks.


title: Deconstructing the Ladder Network Architecture

abstract: The Manual labeling of data is and will remain a costly endeavor. For this reason, semi-supervised learning remains a topic of practical importance. The recently proposed Ladder Network is one such approach that has proven to be very successful. In addition to the supervised objective, the Ladder Network also adds an unsupervised objective corresponding to the reconstruction costs of a stack of denoising autoencoders. Although the empirical results are impressive, the Ladder Network has many components intertwined, whose contributions are not obvious in such a complex architecture. In order to help elucidate and disentangle the different ingredients in the Ladder Network recipe, this paper presents an extensive experimental investigation of variants of the Ladder Network in which we replace or remove individual components to gain more insight into their relative importance. We find that all of the components are necessary for achieving optimal performance, but they do not contribute equally. For semi-supervised tasks, we conclude that the most important contribution is made by the lateral connection, followed by the application of noise, and finally the choice of what we refer to as the `combinator function' in the decoder path. We also find that as the number of labeled training examples increases, the lateral connections and reconstruction criterion become less important, with most of the improvement in generalization being due to the injection of noise in each layer. Furthermore, we present a new type of combinator function that outperforms the original design in both fully- and semi-supervised tasks, reducing record test error rates on Permutation-Invariant MNIST to 0.57% for the supervised setting, and to 0.97% and 1.0% for semi-supervised settings with 1000 and 100 labeled examples respectively.


title: An ISA-Tab specification for protein titration data exchange

abstract: Data curation presents a challenge to all scientific disciplines to ensure public availability and reproducibility of experimental data. Standards for data preservation and exchange are central to addressing this challenge: the Investigation-Study-Assay Tabular (ISA-Tab) project has developed a widely used template for such standards in biological research. This paper describes the application of ISA-Tab to protein titration data. Despite the importance of titration experiments for understanding protein structure, stability, and function and for testing computational approaches to protein electrostatics, no such mechanism currently exists for sharing and preserving biomolecular titration data. We have adapted the ISA-Tab template to provide a structured means of supporting experimental structural chemistry data with a particular emphasis on the calculation and measurement of pKa values. This activity has been performed as part of the broader pKa Cooperative effort, leveraging data that has been collected and curated by the Cooperative members. In this article, we present the details of this specification and its application to a broad range of pKa and electrostatics data obtained for multiple protein systems. The resulting curated data is publicly available at http://pkacoop.org.


title: Delving Deeper into Convolutional Networks for Learning Video Representations

abstract: We propose an approach to learn spatio-temporal features in videos from intermediate visual representations we call "percepts" using Gated-Recurrent-Unit Recurrent Networks (GRUs).Our method relies on percepts that are extracted from all level of a deep convolutional network trained on the large ImageNet dataset. While high-level percepts contain highly discriminative information, they tend to have a low-spatial resolution. Low-level percepts, on the other hand, preserve a higher spatial resolution from which we can model finer motion patterns. Using low-level percepts can leads to high-dimensionality video representations. To mitigate this effect and control the model number of parameters, we introduce a variant of the GRU model that leverages the convolution operations to enforce sparse connectivity of the model units and share parameters across the input spatial locations. We empirically validate our approach on both Human Action Recognition and Video Captioning tasks. In particular, we achieve results equivalent to state-of-art on the YouTube2Text dataset using a simpler text-decoder model and without extra 3D CNN features.


title: Blending LSTMs into CNNs

abstract: We consider whether deep convolutional networks (CNNs) can represent decision functions with similar accuracy as recurrent networks such as LSTMs. First, we show that a deep CNN with an architecture inspired by the models recently introduced in image recognition can yield better accuracy than previous convolutional and LSTM networks on the standard 309h Switchboard automatic speech recognition task. Then we show that even more accurate CNNs can be trained under the guidance of LSTMs using a variant of model compression, which we call model blending because the teacher and student models are similar in complexity but different in inductive bias. Blending further improves the accuracy of our CNN, yielding a computationally efficient model of accuracy higher than any of the other individual models. Examining the effect of "dark knowledge" in this model compression task, we find that less than 1% of the highest probability labels are needed for accurate model compression.


title: Unsupervised Representation Learning with Deep Convolutional Generative Adversarial Networks

abstract: In recent years, supervised learning with convolutional networks (CNNs) has seen huge adoption in computer vision applications. Comparatively, unsupervised learning with CNNs has received less attention. In this work we hope to help bridge the gap between the success of CNNs for supervised learning and unsupervised learning. We introduce a class of CNNs called deep convolutional generative adversarial networks (DCGANs), that have certain architectural constraints, and demonstrate that they are a strong candidate for unsupervised learning. Training on various image datasets, we show convincing evidence that our deep convolutional adversarial pair learns a hierarchy of representations from object parts to scenes in both the generator and discriminator. Additionally, we use the learned features for novel tasks - demonstrating their applicability as general image representations.


title: Comparative Study of Deep Learning Software Frameworks

abstract: Deep learning methods have resulted in significant performance improvements in several application domains and as such several software frameworks have been developed to facilitate their implementation. This paper presents a comparative study of five deep learning frameworks, namely Caffe, Neon, TensorFlow, Theano, and Torch, on three aspects: extensibility, hardware utilization, and speed. The study is performed on several types of deep learning architectures and we evaluate the performance of the above frameworks when employed on a single machine for both (multi-threaded) CPU and GPU (Nvidia Titan X) settings. The speed performance metrics used here include the gradient computation time, which is important during the training phase of deep networks, and the forward time, which is important from the deployment perspective of trained networks. For convolutional networks, we also report how each of these frameworks support various convolutional algorithms and their corresponding performance. From our experiments, we observe that Theano and Torch are the most easily extensible frameworks. We observe that Torch is best suited for any deep architecture on CPU, followed by Theano. It also achieves the best performance on the GPU for large convolutional and fully connected networks, followed closely by Neon. Theano achieves the best performance on GPU for training and deployment of LSTM networks. Caffe is the easiest for evaluating the performance of standard deep architectures. Finally, TensorFlow is a very flexible framework, similar to Theano, but its performance is currently not competitive compared to the other studied frameworks.


title: On the robust hardness of Gr\"obner basis computation

abstract: The computation of Gr\"obner bases is an established hard problem. By contrast with many other problems, however, there has been little investigation of whether this hardness is robust. In this paper, we frame and present results on the problem of approximate computation of Gr\"obner bases. We show that it is NP-hard to construct a Gr\"obner basis of the ideal generated by a set of polynomials, even when the algorithm is allowed to discard a $(1 - \epsilon)$ fraction of the generators, and likewise when the algorithm is allowed to discard variables (and the generators containing them). Our results shows that computation of Gr\"obner bases is robustly hard even for simple polynomial systems (e.g. maximum degree 2, with at most 3 variables per generator). We conclude by greatly strengthening results for the Strong $c$-Partial Gr\"obner problem posed by De Loera et al. Our proofs also establish interesting connections between the robust hardness of Gr\"obner bases and that of SAT variants and graph-coloring.


title: A convnet for non-maximum suppression

abstract: Non-maximum suppression (NMS) is used in virtually all state-of-the-art object detection pipelines. While essential object detection ingredients such as features, classifiers, and proposal methods have been extensively researched surprisingly little work has aimed to systematically address NMS. The de-facto standard for NMS is based on greedy clustering with a fixed distance threshold, which forces to trade-off recall versus precision. We propose a convnet designed to perform NMS of a given set of detections. We report experiments on a synthetic setup, and results on crowded pedestrian detection scenes. Our approach overcomes the intrinsic limitations of greedy NMS, obtaining better recall and precision.


title: Joint Word Representation Learning using a Corpus and a Semantic Lexicon

abstract: Methods for learning word representations using large text corpora have received much attention lately due to their impressive performance in numerous natural language processing (NLP) tasks such as, semantic similarity measurement, and word analogy detection. Despite their success, these data-driven word representation learning methods do not consider the rich semantic relational structure between words in a co-occurring context. On the other hand, already much manual effort has gone into the construction of semantic lexicons such as the WordNet that represent the meanings of words by defining the various relationships that exist among the words in a language. We consider the question, can we improve the word representations learnt using a corpora by integrating the knowledge from semantic lexicons?. For this purpose, we propose a joint word representation learning method that simultaneously predicts the co-occurrences of two words in a sentence subject to the relational constrains given by the semantic lexicon. We use relations that exist between words in the lexicon to regularize the word representations learnt from the corpus. Our proposed method statistically significantly outperforms previously proposed methods for incorporating semantic lexicons into word representations on several benchmark datasets for semantic similarity and word analogy.


title: Modulation of Spin Accumulation by Nanoscale Confinement using Electromigration in a Metallic Lateral Spin Valve

abstract: We study spin transport in lateral spin valves with constricted channels. Using electromigration, we modulate the spin accumulation by continuously varying the width of the non-magnetic channel at a single location. By fitting the non-local spin signal data as a function of the non-magnetic channel resistance, we extract all the relevant parameters regarding spin transport from a single device. Simulations show that constricting the channel blocks the diffusion of the accumulated spins rather than causing spin flipping. This result could be used to improve the design of future spintronic devices devoted to information processing.


title: Towards Principled Unsupervised Learning

abstract: General unsupervised learning is a long-standing conceptual problem in machine learning. Supervised learning is successful because it can be solved by the minimization of the training error cost function. Unsupervised learning is not as successful, because the unsupervised objective may be unrelated to the supervised task of interest. For an example, density modelling and reconstruction have often been used for unsupervised learning, but they did not produced the sought-after performance gains, because they have no knowledge of the supervised tasks. In this paper, we present an unsupervised cost function which we name the Output Distribution Matching (ODM) cost, which measures a divergence between the distribution of predictions and distributions of labels. The ODM cost is appealing because it is consistent with the supervised cost in the following sense: a perfect supervised classifier is also perfect according to the ODM cost. Therefore, by aggressively optimizing the ODM cost, we are almost guaranteed to improve our supervised performance whenever the space of possible predictions is exponentially large. We demonstrate that the ODM cost works well on number of small and semi-artificial datasets using no (or almost no) labelled training cases. Finally, we show that the ODM cost can be used for one-shot domain adaptation, which allows the model to classify inputs that differ from the input distribution in significant ways without the need for prior exposure to the new domain.


title: A parallel algorithm for the constrained shortest path problem on lattice graphs

abstract: The edges of a graph are assigned weights and passage times which are assumed to be positive integers. We present a parallel algorithm for finding the shortest path whose total weight is smaller than a pre-determined value. In each step the processing elements are not analyzing the entire graph. Instead they are focusing on a subset of vertices called {\em active vertices}. The set of active vertices at time $t$ is related to the boundary of the ball $B_t$ of radius $t$ in the first passage percolation metric. Although it is believed that the number of active vertices is an order of magnitude smaller than the size of the graph, we prove that this need not be the case with an example of a graph for which the active vertices form a large fractal. We analyze an OpenCL implementation of the algorithm on GPU for cubes in $\mathbb Z^d$.


title: Fast Metric Learning For Deep Neural Networks

abstract: Similarity metrics are a core component of many information retrieval and machine learning systems. In this work we propose a method capable of learning a similarity metric from data equipped with a binary relation. By considering only the similarity constraints, and initially ignoring the features, we are able to learn target vectors for each instance using one of several appropriately designed loss functions. A regression model can then be constructed that maps novel feature vectors to the same target vector space, resulting in a feature extractor that computes vectors for which a predefined metric is a meaningful measure of similarity. We present results on both multiclass and multi-label classification datasets that demonstrate considerably faster convergence, as well as higher accuracy on the majority of the intrinsic evaluation tasks and all extrinsic evaluation tasks.


title: Neural Network Matrix Factorization

abstract: Data often comes in the form of an array or matrix. Matrix factorization techniques attempt to recover missing or corrupted entries by assuming that the matrix can be written as the product of two low-rank matrices. In other words, matrix factorization approximates the entries of the matrix by a simple, fixed function---namely, the inner product---acting on the latent feature vectors for the corresponding row and column. Here we consider replacing the inner product by an arbitrary function that we learn from the data at the same time as we learn the latent feature vectors. In particular, we replace the inner product by a multi-layer feed-forward neural network, and learn by alternating between optimizing the network for fixed latent features, and optimizing the latent features for a fixed network. The resulting approach---which we call neural network matrix factorization or NNMF, for short---dominates standard low-rank techniques on a suite of benchmark but is dominated by some recent proposals that take advantage of the graph features. Given the vast range of architectures, activation functions, regularizers, and optimization techniques that could be used within the NNMF framework, it seems likely the true potential of the approach has yet to be reached.


title: Universal halting times in optimization and machine learning

abstract: The authors present empirical distributions for the halting time (measured by the number of iterations to reach a given accuracy) of optimization algorithms applied to two random systems: spin glasses and deep learning. Given an algorithm, which we take to be both the optimization routine and the form of the random landscape, the fluctuations of the halting time follow a distribution that, after centering and scaling, remains unchanged even when the distribution on the landscape is changed. We observe two qualitative classes: A Gumbel-like distribution that appears in Google searches, human decision times, the QR eigenvalue algorithm and spin glasses, and a Gaussian-like distribution that appears in conjugate gradient method, deep network with MNIST input data and deep network with random input data. This empirical evidence suggests presence of a class of distributions for which the halting time is independent of the underlying distribution under some conditions.


title: Tautological rings for high dimensional manifolds

abstract: We study tautological rings for high dimensional manifolds, that is, for each smooth manifold $M$ the ring $R^*(M)$ of those of characteristic classes of smooth fibre bundles with fibre $M$ which is generated by generalised Miller--Morita--Mumford classes. We completely describe these rings modulo nilpotent elements, when $M$ is a connected sum of copies of $S^n \times S^n$ for $n$ odd.


title: Galois Groups of Generic Polynomials

abstract: We show that the Galois group of a random monic polynomial %of degree $d>12$ with integer coefficients between $-N$ and $N$ is NOT $S_d$ with probability $\ll \frac{\log^{\Omega(d)}N}{N}.$ Conditionally on NOTbeing the full symmetric group, we have a hierarchy of possibilities each of which has polylog probability of occurring. These results also apply to random polynomials with only a subset of the coefficients allowed to vary. This settles a question going back to 1936.


title: The Definitive X-ray Light Curve of Swift J164449.3+573451

abstract: On March 28, 2011, the Swift Burst Alert Telescope triggered on an object that had no analog in over six years of Swift operations. Follow-up observations by the Swift X-ray Telescope (XRT) found a new, bright X-ray source covering 3 orders of magnitude in flux over the first few days, that was much more persistent (and variable) than gamma-ray burst afterglows. Ground-based spectroscopy found a redshift of 0.35, implying extremely high luminosity, with integrated isotropic-equivalent energy output in the X-ray band alone exceeding $10^{53}$ ergs in the first two weeks after discovery. Strong evidence for a collimated outflow or beamed emission was found. The observational properties of this object are unlike anything ever before observed. We interpret these unique properties as the result of emission from a relativistic jet produced in the aftermath of the tidal disruption of a main sequence star by a massive black hole (BH) in the center of the host galaxy. The source decayed slowly as the stellar remnants were accreted onto the BH, before abruptly shutting off. Here we present the definitive XRT team light curve for Swift J164449.3+573451 and discuss its implications. We show that the unabsorbed flux decayed roughly as a $t^{-1.5}$ power law up to August 17, 2012. The steep turnoff of an order of magnitude in 24 hours seems to be consistent with the shutdown of the jet as the accretion disk transitioned from a thick disk to a thin disk. Swift continues to monitor this source in case the jet reactivates.


title: Learning Representations from EEG with Deep Recurrent-Convolutional Neural Networks

abstract: One of the challenges in modeling cognitive events from electroencephalogram (EEG) data is finding representations that are invariant to inter- and intra-subject differences, as well as to inherent noise associated with such data. Herein, we propose a novel approach for learning such representations from multi-channel EEG time-series, and demonstrate its advantages in the context of mental load classification task. First, we transform EEG activities into a sequence of topology-preserving multi-spectral images, as opposed to standard EEG analysis techniques that ignore such spatial information. Next, we train a deep recurrent-convolutional network inspired by state-of-the-art video classification to learn robust representations from the sequence of images. The proposed approach is designed to preserve the spatial, spectral, and temporal structure of EEG which leads to finding features that are less sensitive to variations and distortions within each dimension. Empirical evaluation on the cognitive load classification task demonstrated significant improvements in classification accuracy over current state-of-the-art approaches in this field.


title: Learning to decompose for object detection and instance segmentation

abstract: Although deep convolutional neural networks(CNNs) have achieved remarkable results on object detection and segmentation, pre- and post-processing steps such as region proposals and non-maximum suppression(NMS), have been required. These steps result in high computational complexity and sensitivity to hyperparameters, e.g. thresholds for NMS. In this work, we propose a novel end-to-end trainable deep neural network architecture, which consists of convolutional and recurrent layers, that generates the correct number of object instances and their bounding boxes (or segmentation masks) given an image, using only a single network evaluation without any pre- or post-processing steps. We have tested on detecting digits in multi-digit images synthesized using MNIST, automatically segmenting digits in these images, and detecting cars in the KITTI benchmark dataset. The proposed approach outperforms a strong CNN baseline on the synthesized digits datasets and shows promising results on KITTI car detection.


title: The standard electroweak model in the noncommutative $DFR$ space-time

abstract: The noncommutative (NC) framework elaborated by Doplicher, Fredenhagen and Roberts (DFR) has a Lorentz invariant spacetime structure in order to be considered as a candidate to understand the physics of the early Universe. In DFR formalism the NC parameter ($\theta^{\mu\nu}$) is a coordinate operator in an extended Hilbert space and it has a conjugate momentum. Since $x$ and $\theta^{\mu\nu}$ are independent coordinates, the Weyl-Moyal (WM) product can be used in this framework. With these elements, in this work, we have constructed the standard electroweak model. To accomplish this task we have begun with the WM-product basis group of symmetry. After that we have introduced the spontaneous symmetry breaking and the hypercharge in DFR framework. The electroweak symmetry breaking was analyzed and the masses of the new bosons were computed. Finally, the gauge symmetry and gauge transformations were discussed.


title: Constraining the Strength and CP Structure of Dark Production at the LHC: the Associated Top-Pair Channel

abstract: We consider the production of dark matter in association with a pair of top quarks, mediated by a scalar or pseudoscalar particle in a generic Simplified Model. We demonstrate that the difference of azimuthal angle between the two leptons $\Delta \phi_{ll}$, in the dileptonic top decay mode, can directly probe the CP-properties of the mediator. We estimate the constraints to strength and CP-structure of dark matter production for these well-motivated Simplified Models from the LHC Run II.


title: Deep Metric Learning via Lifted Structured Feature Embedding

abstract: Learning the distance metric between pairs of examples is of great importance for learning and visual recognition. With the remarkable success from the state of the art convolutional neural networks, recent works have shown promising results on discriminatively training the networks to learn semantic feature embeddings where similar examples are mapped close to each other and dissimilar examples are mapped farther apart. In this paper, we describe an algorithm for taking full advantage of the training batches in the neural network training by lifting the vector of pairwise distances within the batch to the matrix of pairwise distances. This step enables the algorithm to learn the state of the art feature embedding by optimizing a novel structured prediction objective on the lifted problem. Additionally, we collected Online Products dataset: 120k images of 23k classes of online products for metric learning. Our experiments on the CUB-200-2011, CARS196, and Online Products datasets demonstrate significant improvement over existing deep feature embedding methods on all experimented embedding sizes with the GoogLeNet network.


title: Invariants Related to the Tree Property

abstract: We consider global analogues of model-theoretic tree properties. The main objects of study are the invariants related to Shelah's tree property $\kappa_{\text{cdt}}(T)$, $\kappa_{\text{sct}}(T)$, and $\kappa_{\text{inp}}(T)$ and the relations that obtain between them. From strong colorings, we construct theories $T$ with $\kappa_{\text{cdt}}(T) > \kappa_{\text{sct}}(T) + \kappa_{\text{inp}}(T)$. We show that these invariants have distinct structural consequences, by investigating the decay of saturation in ultrapowers of models of $T$, where $T$ is some theory with $\kappa_{\text{cdt}}(T)$, $\kappa_{\text{sct}}(T)$, or $\kappa_{\text{inp}}(T)$ large and bounded. This answers some questions of Shelah.


title: A simple framework for the axiomatization of exponential and quasi-hyperbolic discounting

abstract: The main goal of this paper is to investigate which normative requirements, or axioms, lead to exponential and quasi-hyperbolic forms of discounting. Exponential discounting has a well-established axiomatic foundation originally developed by Koopmans (1960, 1972) and Koopmans et al. (1964) with subsequent contributions by several other authors, including Bleichrodt et al. (2008). The papers by Hayashi (2003) and Olea and Strzalecki (2014) axiomatize quasi-hyperbolic discounting. The main contribution of this paper is to provide an alternative foundation for exponential and quasi-hyperbolic discounting, with simple, transparent axioms and relatively straightforward proofs. Using techniques by Fishburn (1982) and Harvey (1986), we show that Anscombe and Aumann's (1963) version of Subjective Expected Utility theory can be readily adapted to axiomatize the aforementioned types of discounting, in both finite and infinite horizon settings.


title: Variational Auto-encoded Deep Gaussian Processes

abstract: We develop a scalable deep non-parametric generative model by augmenting deep Gaussian processes with a recognition model. Inference is performed in a novel scalable variational framework where the variational posterior distributions are reparametrized through a multilayer perceptron. The key aspect of this reformulation is that it prevents the proliferation of variational parameters which otherwise grow linearly in proportion to the sample size. We derive a new formulation of the variational lower bound that allows us to distribute most of the computation in a way that enables to handle datasets of the size of mainstream deep learning tasks. We show the efficacy of the method on a variety of challenges including deep unsupervised learning and deep Bayesian optimization.


title: Task Loss Estimation for Sequence Prediction

abstract: Often, the performance on a supervised machine learning task is evaluated with a emph{task loss} function that cannot be optimized directly. Examples of such loss functions include the classification error, the edit distance and the BLEU score. A common workaround for this problem is to instead optimize a emph{surrogate loss} function, such as for instance cross-entropy or hinge loss. In order for this remedy to be effective, it is important to ensure that minimization of the surrogate loss results in minimization of the task loss, a condition that we call emph{consistency with the task loss}. In this work, we propose another method for deriving differentiable surrogate losses that provably meet this requirement. We focus on the broad class of models that define a score for every input-output pair. Our idea is that this score can be interpreted as an estimate of the task loss, and that the estimation error may be used as a consistent surrogate loss. A distinct feature of such an approach is that it defines the desirable value of the score for every input-output pair. We use this property to design specialized surrogate losses for Encoder-Decoder models often used for sequence prediction tasks. In our experiment, we benchmark on the task of speech recognition. Using a new surrogate loss instead of cross-entropy to train an Encoder-Decoder speech recognizer brings a significant ~13% relative improvement in terms of Character Error Rate (CER) in the case when no extra corpora are used for language modeling.


title: DOC: Deep OCclusion Estimation From a Single Image

abstract: Recovering the occlusion relationships between objects is a fundamental human visual ability which yields important information about the 3D world. In this paper we propose a deep network architecture, called DOC, which acts on a single image, detects object boundaries and estimates the border ownership (i.e. which side of the boundary is foreground and which is background). We represent occlusion relations by a binary edge map, to indicate the object boundary, and an occlusion orientation variable which is tangential to the boundary and whose direction specifies border ownership by a left-hand rule. We train two related deep convolutional neural networks, called DOC, which exploit local and non-local image cues to estimate this representation and hence recover occlusion relations. In order to train and test DOC we construct a large-scale instance occlusion boundary dataset using PASCAL VOC images, which we call the PASCAL instance occlusion dataset (PIOD). This contains 10,000 images and hence is two orders of magnitude larger than existing occlusion datasets for outdoor images. We test two variants of DOC on PIOD and on the BSDS occlusion dataset and show they outperform state-of-the-art methods. Finally, we perform numerous experiments investigating multiple settings of DOC and transfer between BSDS and PIOD, which provides more insights for further study of occlusion estimation.


title: Bayesian inference via rejection filtering

abstract: We provide a method for approximating Bayesian inference using rejection sampling. We not only make the process efficient, but also dramatically reduce the memory required relative to conventional methods by combining rejection sampling with particle filtering. We also provide an approximate form of rejection sampling that makes rejection filtering tractable in cases where exact rejection sampling is not efficient. Finally, we present several numerical examples of rejection filtering that show its ability to track time dependent parameters in online settings and also benchmark its performance on MNIST classification problems.


title: QINL: Query-integrated Languages

abstract: We describe an alternative solution to the impedance-mismatch problem between programming and query languages: rather than embed queries in a programming language, as done in LINQ systems, we embed programs in a query language, and dub the result QINL.


title: Thermodynamic Origin of the Null Energy Condition

abstract: We derive the classical null energy condition, understood as a constraint on the Ricci tensor, from the second law of thermodynamics applied locally to Bekenstein-Hawking entropy associated with patches of null congruences. The derivation provides evidence that the null energy condition, which has usually been regarded as a condition on matter, is fundamentally a property of gravity.


title: Decay rates for stabilization of linear continuous-time systems with random switching

abstract: For a class of linear switched systems in continuous time a controllability condition implies that state feedbacks allow to achieve almost sure stabilization with arbitrary exponential decay rates. This is based on the Multiplicative Ergodic Theorem applied to an associated system in discrete time. This result is related to the stabilizability problem for linear persistently excited systems.


title: Joint Inverse Covariances Estimation with Mutual Linear Structure

abstract: We consider the problem of joint estimation of structured inverse covariance matrices. We perform the estimation using groups of measurements with different covariances of the same unknown structure. Assuming the inverse covariances to span a low dimensional linear subspace in the space of symmetric matrices, our aim is to determine this structure. It is then utilized to improve the estimation of the inverse covariances. We propose a novel optimization algorithm discovering and exploiting the underlying structure and provide its efficient implementation. Numerical simulations are presented to illustrate the performance benefits of the proposed algorithm.


title: MaxOutProbe: An Algorithm for Increasing the Size of Partially Observed Networks

abstract: Networked representations of real-world phenomena are often partially observed, which lead to incomplete networks. Analysis of such incomplete networks can lead to skewed results. We examine the following problem: given an incomplete network, which $b$ nodes should be probed to bring the largest number of new nodes into the observed network? Many graph-mining tasks require having observed a considerable amount of the network. Examples include community discovery, belief propagation, influence maximization, etc. For instance, consider someone who has observed a portion (say 1%) of the Twitter retweet network via random tweet sampling. She wants to estimate the size of the largest connected component of the fully observed retweet network. To improve her estimate, how should she use her limited budget to reduce the incompleteness of the network? In this work, we propose a novel algorithm, called MaxOutProbe, which uses a budget $b$ (on nodes probed) to increase the size of the observed network in terms of the number of nodes. Our experiments, across a range of datasets and conditions, demonstrate the advantages of MaxOutProbe over existing methods.


title: Unitary Evolution Recurrent Neural Networks

abstract: Recurrent neural networks (RNNs) are notoriously difficult to train. When the eigenvalues of the hidden to hidden weight matrix deviate from absolute value 1, optimization becomes difficult due to the well studied issue of vanishing and exploding gradients, especially when trying to learn long-term dependencies. To circumvent this problem, we propose a new architecture that learns a unitary weight matrix, with eigenvalues of absolute value exactly 1. The challenge we address is that of parametrizing unitary matrices in a way that does not require expensive computations (such as eigendecomposition) after each weight update. We construct an expressive unitary weight matrix by composing several structured matrices that act as building blocks with parameters to be learned. Optimization with this parameterization becomes feasible only when considering hidden states in the complex domain. We demonstrate the potential of this architecture by achieving state of the art results in several hard tasks involving very long-term dependencies.


title: Sobolev functions in the critical case are uniformly continuous in $s$-Ahlfors regular metric spaces when $s \le 1$

abstract: We prove that functions in the Haj\l{}asz-Sobolev space $M^{1,s}$ on an $s$-Ahlfors regular metric space are uniformly continuous when $s\le 1$.


title: Topological Susceptibility in Three-Flavor Quark Meson Model at Finite Temperature

abstract: We study $U_A(1)$ symmetry and its relation to chiral symmetry at finite temperature through the application of functional renormalization group to the $SU(3)$ quark meson model. Very different from the mass gap and mixing angel between $\eta$ and $\eta'$ mesons which are defined at mean field level and behavior like the chiral condensates, the topological susceptibility includes a fluctuations induced part which becomes dominant at high temperature. As a result, the $U_A(1)$ symmetry is still considerably broken in the chiral symmetry restoration phase.


title: A direct basis approach to nonorthogonality in second quantization. Theory and application

abstract: We present a direct basis formalism for using nonorthogonal basis sets in the second quantization framework. As an alternative to the dual basis formalism, a direct basis retains the Hermiticity relation between the creation and annihilation operators, with which the form of quantum operators -- e.g. the number operator and the Hamiltonian -- can be readily interpreted and manipulated. To tackle the difficulty of formulating quantum operators in the direct basis, we introduce the coefficient matrix and the generalized creation and annihilation operators, with which an arbitrary N-particle operator can be generated by simple matrix manipulations with the metric tensor of a general basis set. We illustrate the application of the direct basis formalism with the Hubbard Hamiltonian and a dynamical study with the Heisenberg equations of motion


title: Faster Parallel Solver for Positive Linear Programs via Dynamically-Bucketed Selective Coordinate Descent

abstract: We provide improved parallel approximation algorithms for the important class of packing and covering linear programs. In particular, we present new parallel $\epsilon$-approximate packing and covering solvers which run in $\tilde{O}(1/\epsilon^2)$ expected time, i.e., in expectation they take $\tilde{O}(1/\epsilon^2)$ iterations and they do $\tilde{O}(N/\epsilon^2)$ total work, where $N$ is the size of the constraint matrix and $\epsilon$ is the error parameter, and where the $\tilde{O}$ hides logarithmic factors. To achieve our improvement, we introduce an algorithmic technique of broader interest: dynamically-bucketed selective coordinate descent (DB-SCD). At each step of the iterative optimization algorithm, the DB-SCD method dynamically buckets the coordinates of the gradient into those of roughly equal magnitude, and it updates all the coordinates in one of the buckets. This dynamically-bucketed updating permits us to take steps along several coordinates with similar-sized gradients, thereby permitting more appropriate step sizes at each step of the algorithm. In particular, this technique allows us to use in a straightforward manner the recent analysis from the breakthrough results of Allen-Zhu and Orecchia [2] to achieve our still-further improved bounds. More generally, this method addresses "interference" among coordinates, by which we mean the impact of the update of one coordinate on the gradients of other coordinates. Such interference is a core issue in parallelizing optimization routines that rely on smoothness properties. Since our DB-SCD method reduces interference via updating a selective subset of variables at each iteration, we expect it may also have more general applicability in optimization.


title: Five-wave-packet quantum error correction based on continuous-variable cluster entanglement

abstract: Quantum error correction protects the quantum state against noise and decoherence in quantum communication and quantum computation, which enables one to perform fault-torrent quantum information processing. We experimentally demonstrate a quantum error correction scheme with a five-wave-packet code against a single stochastic error, the original theoretical model of which is firstly proposed by S. L. Braunstein and T. A. Walker. Five submodes of a continuous variable cluster entangled state of light are used for five encoding channels. Especially, in our encoding scheme the information of the input state is only distributed on three of the five channels and thus any error appearing in the remained two channels never affects the output state, i.e. the output quantum state is immune from the error in the two channels. The stochastic error on a single channel is corrected for both vacuum and squeezed input states and the achieved fidelities of the output states are beyond the corresponding classical limit.


title: Comment on Two schemes for Secure Outsourcing of Linear Programming

abstract: Recently, Wang et al. [IEEE INFOCOM 2011, 820-828], and Nie et al. [IEEE AINA 2014, 591-596] have proposed two schemes for secure outsourcing of large-scale linear programming (LP). They did not consider the standard form: minimize c^{T}x, subject to Ax=b, x>0. Instead, they studied a peculiar form: minimize c^{T}x, subject to Ax = b, Bx>0, where B is a non-singular matrix. In this note, we stress that the proposed peculiar form is unsolvable and meaningless. The two schemes have confused the functional inequality constraints Bx>0 with the nonnegativity constraints x>0 in the linear programming model. But the condition x>0 is indispensable to the simplex method. Therefore, both two schemes failed.


title: The Enigmatic and Ephemeral M Dwarf System KOI 6705: Cheshire Cat or Wild Goose?

abstract: We confirm a 0.995 d periodic planetary transit-like signal, KOI 6705.01, in the Kepler lightcurve of the star KIC 6423922. Optical and infrared spectra show that this star is a mid M-type dwarf with an effective temperature $= 3327 \pm 60$K, metallicity [Fe/H] $= -0.08 \pm 0.10$, radius $= 0.31 \pm 0.03 R_{\odot}$, and mass $= 0.28 \pm 0.05 M_{\odot}$. The star is $\approx 70$ pc away and its space motion, rotation period, and lack of H$\alpha$ emission indicate it is an older member of the "thin disk" population. On the other hand, the star exhibits excess infrared emission suggesting a dust disk more typical of a very young star. If the KOI 6705.01 signal is produced by a planet, the transit depth of 60 ppm means its radius is only $0.26^{+0.034}_{-0.029} R_{\oplus}$, or about the size of the Moon. However, the duration ($\gtrsim 3$~hr) and time variation of KOI 6705.01 are anomalous: the signal was undetected in the first two years of the mission and increased through the latter two years. These characteristics require implausible orbits and material properties for any planet and rule out such an explanation, although a dust cloud is possible. We excluded several false positive scenarios including background stars, scattered light from stars that are nearby on the sky, and electronic cross-talk between detector readout channels. We find the most likely explanation to be that KOI 6705.01 is a false positive created by charge transfer inefficiency in a detector column on which KIC 6423922 and a 1.99 d eclipsing binary both happened to fall.


title: Enhancing the Performance of the T-Peel Test for Thin and Flexible Adhered Laminates

abstract: Symmetrically bonded thin and flexible T-peel specimens, when tested on vertical travel machines, can be subject to significant gravitational loading; with the associated asymmetry and mixed-mode failure during peeling. This can cause erroneously high experimental peel forces to be recorded which leads to uncertainty in estimating interfacial fracture toughness and failure mode. To overcome these issues, a mechanical test fixture has been designed for use with vertical test machines, that supports the unpeeled portion of the test specimen and suppresses parasitic loads due to gravity from affecting the peel test. The mechanism, driven by the test machine cross-head, moves at one-half of the velocity of the cross-head such that the unpeeled portion always lies in the plane of the instantaneous center of motion. Several specimens such as bonded polymeric films, laminates, and commercial tapes were tested with and without the fixture, and the importance of the proposed T-peel procedure has been demonstrated.


title: Perinormality in pullbacks

abstract: We further develop the notion of perinormality from our last paper, showing that it is preserved by many pullback constructions. In doing so, we introduce the concepts of relative perinormality and fragility for ring extensions.


title: Study of the conformal region of the SU(3) gauge theory with domain-wall fermions

abstract: We investigate the phase structure of the SU(3) gauge theory with $N_f=8$ by numerical simulations employing the massless Domain-Wall fermions.Our aim is to study directly the massless quark region, since it is the most important region to clarify the properties of conformal theories. When the number of flavor is within the conformal window, it is claimed recently with Wilson quarks that there is the conformal region at the small quark mass region in the parameter space in addition to the confining phase and the deconfining phase. We study the properties of the conformal region investing the spatial Polyakov loops and the temporal meson propagators. Our data imply that there is the conformal region, and a phase transition between the confining phase and the conformal region takes place. These results are consistent with the claim that the conformal window is between $7$ and $16$. Progress reports on other related studies are also presented.


title: Secondary electrons emitted during nuclear $\beta^{-}$ decay in few-electron atoms

abstract: `Additional' ionization of light atoms and ions during nuclear $\beta^{-}$ decay is investigated. The procedure which can be used to determine the corresponding transition probabilities and the velocity/energy spectrum of secondary electrons is developed. Emission of very fast secondary electrons ($\delta-$electrons) from $\beta^{-}$-decaying atoms is also briefly discussed.


title: Nonperturbative contribution to the strange-antistrange asymmetry of the nucleon sea

abstract: We give predictions for the nonperturbative (intrinsic) contribution to the $s(x) - \bar{s}(x)$ asymmetry of the nucleon sea. For this purpose we use different light-front wave functions inspired by the AdS/QCD formalism, together with a model of the nucleon in terms of meson-baryon fluctuations. The holographic wave functions for an arbitrary number of constituents, recently derived by us, give results quite close to known parametrizations that appear in the literature.


title: On Cooperative Behavior of Open Homogeneous Chemical Reaction Systems in the Extent Domain

abstract: Material balance equations describe the dynamics of the species in open reaction systems and contain information regarding reaction topology, kinetics and operation mode. For reaction systems, the state variables (the numbers of moles, or concentrations) have recently been transformed into decoupled reaction variants (extents of reaction), and reaction invariants (extents of flow) (Amrhein et al., AIChE Journal, 2010). This paper analyses the conditions under which an open homogeneous reaction system is cooperative in the extents domain. Further, it is shown that the dynamics of the extents of flow exhibit cooperative behavior. Further, we provide the conditions under which the dynamics of the extents of reaction exhibit cooperative behavior. Our results provide physical insights into cooperative and competitive nature of the underlying reaction system in the presence of material exchange with surrounding (i.e., inlet and outlet flows). The results of the article are demonstrated via examples.


title: Every finite set of integers is an asymptotic approximate group

abstract: A set $A$ is an $(r,\ell)$-approximate group in the additive abelian group $G$ if $A$ is a nonempty subset of $G$ and there exists a subset $X$ of $G$ such that $|X| \leq \ell$ and $rA \subseteq X+A$. The set $A$ is an asymptotic $(r,\ell)$-approximate group if the sumset $hA$ is an $(r,\ell)$-approximate group for all sufficiently large integers $h$. It is proved that every finite set of integers is an asymptotic $(r,r+1)$-approximate group for every integer $r \geq 2$.


title: Dynamics for a diffusive prey-predator model with different free boundaries

abstract: To understand the spreading and interaction of prey and predator, in this paper we study the dynamics of the diffusive Lotka-Volterra type prey-predator model with different free boundaries. These two free boundaries, which may intersect each other as time evolves, are used to describe the spreading of prey and predator. We investigate the existence and uniqueness, regularity and uniform estimates, and long time behaviors of global solution. Some sufficient conditions for spreading and vanishing are established. When spreading occurs, we provide the more accurate limits of (u,v) as t\to\infty, and give some estimates of asymptotic spreading speeds of u,v and asymptotic speeds of g,h. Some realistic and significant spreading phenomena are found.


title: On Binary Embedding using Circulant Matrices

abstract: Binary embeddings provide efficient and powerful ways to perform operations on large scale data. However binary embedding typically requires long codes in order to preserve the discriminative power of the input space. Thus binary coding methods traditionally suffer from high computation and storage costs in such a scenario. To address this problem, we propose Circulant Binary Embedding (CBE) which generates binary codes by projecting the data with a circulant matrix. The circulant structure allows us to use Fast Fourier Transform algorithms to speed up the computation. For obtaining $k$-bit binary codes from $d$-dimensional data, this improves the time complexity from $O(dk)$ to $O(d\log{d})$, and the space complexity from $O(dk)$ to $O(d)$. We study two settings, which differ in the way we choose the parameters of the circulant matrix. In the first, the parameters are chosen randomly and in the second, the parameters are learned using the data. For randomized CBE, we give a theoretical analysis comparing it with binary embedding using an unstructured random projection matrix. The challenge here is to show that the dependencies in the entries of the circulant matrix do not lead to a loss in performance. In the second setting, we design a novel time-frequency alternating optimization to learn data-dependent circulant projections, which alternatively minimizes the objective in original and Fourier domains. In both the settings, we show by extensive experiments that the CBE approach gives much better performance than the state-of-the-art approaches if we fix a running time, and provides much faster computation with negligible performance degradation if we fix the number of bits in the embedding.


title: Variance Reduction in SGD by Distributed Importance Sampling

abstract: Humans are able to accelerate their learning by selecting training materials that are the most informative and at the appropriate level of difficulty. We propose a framework for distributing deep learning in which one set of workers search for the most informative examples in parallel while a single worker updates the model on examples selected by importance sampling. This leads the model to update using an unbiased estimate of the gradient which also has minimum variance when the sampling proposal is proportional to the L2-norm of the gradient. We show experimentally that this method reduces gradient variance even in a context where the cost of synchronization across machines cannot be ignored, and where the factors for importance sampling are not updated instantly across the training set.


title: Modular Bond-graph Modelling and Analysis of Biomolecular Systems

abstract: Bond graphs can be used to build thermodynamically-compliant hierarchical models of biomolecular systems. As bond graphs have been widely used to model, analyse and synthesise engineering systems, this paper suggests that they can play the same role in the modelling, analysis and synthesis of biomolecular systems. The particular structure of bond graphs arising from biomolecular systems is established and used to elucidate the relation between thermodynamically closed and open systems. Block diagram representations of the dynamics implied by these bond graphs are used to reveal implicit feedback structures and are linearised to allow the application of control-theoretical methods. Two concepts of modularity are examined: computational modularity where physical correctness is retained and behavioural modularity where module behaviour (such as ultrasensitivity) is retained. As well as providing computational modularity, bond graphs provide a natural formulation of behavioural modularity and reveal the sources of retroactivity. A bond graph approach to reducing retroactivity, and thus inter-module interaction, is shown to require a power supply such as that provided by the ATP = ADP + Pi reaction. The MAPK cascade (Raf-MEK-ERK pathway) is used as an illustrative example.


title: Directional Initial Access for Millimeter Wave Cellular Systems

abstract: The millimeter wave (mmWave) bands have recently attracted considerable interest for next-generation cellular systems due to the massive available bandwidths at these frequencies. However, a key challenge in designing mmWave cellular systems is initial access -- the procedure by which a mobile establishes an initial link-layer connection to a base station cell. MmWave communication relies on highly directional transmissions and the initial access procedure must thus provide a mechanism by which initial transmission directions can be searched in a potentially large angular space. Design options are compared considering different scanning and signaling procedures to evaluate access delay and system overhead. The channel structure and multiple access issues are also considered. The analysis demonstrates significant benefits of low-resolution fully digital architectures in comparison to single stream analog beamforming.


title: Quasipolynomial Solutions to the Hofstadter Q-Recurrence

abstract: In 1991, Solomon Golomb discovered a quasilinear solution to Hofstadter's Q-recurrence. In this paper, we construct eventual quasipolynomial solutions of all positive degrees to Hofstadter's recurrence.


title: On the energy landscape of deep networks

abstract: We introduce "AnnealSGD", a regularized stochastic gradient descent algorithm motivated by an analysis of the energy landscape of a particular class of deep networks with sparse random weights. The loss function of such networks can be approximated by the Hamiltonian of a spherical spin glass with Gaussian coupling. While different from currently-popular architectures such as convolutional ones, spin glasses are amenable to analysis, which provides insights on the topology of the loss function and motivates algorithms to minimize it. Specifically, we show that a regularization term akin to a magnetic field can be modulated with a single scalar parameter to transition the loss function from a complex, non-convex landscape with exponentially many local minima, to a phase with a polynomial number of minima, all the way down to a trivial landscape with a unique minimum. AnnealSGD starts training in the relaxed polynomial regime and gradually tightens the regularization parameter to steer the energy towards the original exponential regime. Even for convolutional neural networks, which are quite unlike sparse random networks, we empirically show that AnnealSGD improves the generalization error using competitive baselines on MNIST and CIFAR-10.


title: Non-commutative hypergroup of order five

abstract: We prove that all hypergroups of order four are commutative and that there exists a non-comutative hypergroup of order five. These facts imply that the minimum order of non-commutative hypergroups is five even though the minimum order of non-commutative groups is six.


title: mplrs: A scalable parallel vertex/facet enumeration code

abstract: We describe a new parallel implementation, mplrs, of the vertex enumeration code lrs that uses the MPI parallel environment and can be run on a network of computers. The implementation makes use of a C wrapper that essentially uses the existing lrs code with only minor modifications. mplrs was derived from the earlier parallel implementation plrs, written by G. Roumanis in C++. plrs uses the Boost library and runs on a shared memory machine. In developing mplrs we discovered a method of balancing the parallel tree search, called budgeting, that greatly improves parallelization beyond the bottleneck encountered previously at around 32 cores. This method can be readily adapted for use in other reverse search enumeration codes. We also report some preliminary computational results comparing parallel and sequential codes for vertex/facet enumeration problems for convex polyhedra. The problems chosen span the range from simple to highly degenerate polytopes. For most problems tested, the results clearly show the advantage of using the parallel implementation mplrs of the reverse search based code lrs, even when as few as 8 cores are available. For some problems almost linear speedup was observed up to 1200 cores, the largest number of cores tested.


title: Resiliency of Deep Neural Networks under Quantization

abstract: The complexity of deep neural network algorithms for hardware implementation can be much lowered by optimizing the word-length of weights and signals. Direct quantization of floating-point weights, however, does not show good performance when the number of bits assigned is small. Retraining of quantized networks has been developed to relieve this problem. In this work, the effects of retraining are analyzed for a feedforward deep neural network (FFDNN) and a convolutional neural network (CNN). The network complexity is controlled to know their effects on the resiliency of quantized networks by retraining. The complexity of the FFDNN is controlled by varying the unit size in each hidden layer and the number of layers, while that of the CNN is done by modifying the feature map configuration. We find that the performance gap between the floating-point and the retrain-based ternary (+1, 0, -1) weight neural networks exists with a fair amount in 'complexity limited' networks, but the discrepancy almost vanishes in fully complex networks whose capability is limited by the training data, rather than by the number of connections. This research shows that highly complex DNNs have the capability of absorbing the effects of severe weight quantization through retraining, but connection limited networks are less resilient. This paper also presents the effective compression ratio to guide the trade-off between the network size and the precision when the hardware resource is limited.


title: A Simple Hierarchical Pooling Data Structure for Loop Closure

abstract: We propose a data structure obtained by hierarchically averaging bag-of-word descriptors during a sequence of views that achieves average speedups in large-scale loop closure applications ranging from 4 to 20 times on benchmark datasets. Although simple, the method works as well as sophisticated agglomerative schemes at a fraction of the cost with minimal loss of performance.


title: Superfluidity of 4He nanoclusters in confinement

abstract: Structure and superfluid response of nanoscale size helium-four clusters enclosed in spherical cavities are studied by computer simulations. The curved surface causes the formation of well-defined concentric shells, thus imparting to the system a very different structure from that of free standing clusters. On a strongly attractive substrate, superfluidity is only observed at low density, in the single layer coating the inner surface of the cavity. If the substrate is very weak (e.g., Li), on the other hand, a superfluid two-shell structure can form, whose physical properties interpolate between two and three dimensions. It is shown how experimental signatures of this physical behavior can be detected through measurements of the momentum distribution.


title: eBear: An Expressive Bear-Like Robot

abstract: This paper presents an anthropomorphic robotic bear for the exploration of human-robot interaction including verbal and non-verbal communications. This robot is implemented with a hybrid face composed of a mechanical faceplate with 10 DOFs and an LCD-display-equipped mouth. The facial emotions of the bear are designed based on the description of the Facial Action Coding System as well as some animal-like gestures described by Darwin. The mouth movements are realized by synthesizing emotions with speech. User acceptance investigations have been conducted to evaluate the likability of these facial behaviors exhibited by the eBear. Multiple Kernel Learning is proposed to fuse different features for recognizing user's facial expressions. Our experimental results show that the developed Bear-Like robot can perceive basic facial expressions and provide emotive conveyance towards human beings.


title: Strong optical force acting on a dipolar particle over a multilayer substrate

abstract: Optical forces acting on nano-sized particles are typically too small to be useful for particle manipulation. We theoretically and numerically demonstrate a mechanism that can significantly enhance the optical force acting on a small particle through a special type of resonant particle-substrate coupling. The resonance arises from the singular behavior of the particle's effective polarizablity in the presence of a metal-dielectric-metal multilayer substrate. We show that this phenomenon is closely related to the existence of a flat-band plasmon mode supported by the multilayer substrate.


title: Embarrassingly Parallel Time Series Analysis for Large Scale Weak Memory Systems

abstract: Second order stationary models in time series analysis are based on the analysis of essential statistics whose computations follow a common pattern. In particular, with a map-reduce nomenclature, most of these operations can be modeled as mapping a kernel that only depends on short windows of consecutive data and reducing the results produced by each computation. This computational pattern stems from the ergodicity of the model under consideration and is often referred to as weak or short memory when it comes to data indexed with respect to time. In the following we will show how studying weak memory systems can be done in a scalable manner thanks to a framework relying on specifically designed overlapping distributed data structures that enable fragmentation and replication of the data across many machines as well as parallelism in computations. This scheme has been implemented for Apache Spark but is certainly not system specific. Indeed we prove it is also adapted to leveraging high bandwidth fragmented memory blocks on GPUs.


title: Bidirectional Warping of Active Appearance Model

abstract: Active Appearance Model (AAM) is a commonly used method for facial image analysis with applications in face identification and facial expression recognition. This paper proposes a new approach based on image alignment for AAM fitting called bidirectional warping. Previous approaches warp either the input image or the appearance template. We propose to warp both the input image, using incremental update by an affine transformation, and the appearance template, using an inverse compositional approach. Our experimental results on Multi-PIE face database show that the bidirectional approach outperforms state-of-the-art inverse compositional fitting approaches in extracting landmark points of faces with shape and pose variations.


title: Physics Opportunities of a 100 TeV Proton-Proton Collider

abstract: The discovery of the Higgs boson at the LHC exposes some of the most profound mysteries fundamental physics has encountered in decades, opening the door to the next phase of experimental exploration. More than ever, this will necessitate new machines to push us deeper into the energy frontier. In this article, we discuss the physics motivation and present the physics potential of a proton-proton collider running at an energy significantly beyond that of the LHC and a luminosity comparable to that of the LHC. 100 TeV is used as a benchmark of the center of mass energy, with integrated luminosities from 3 inverse ab to 30 inverse ab.


title: Molecular beam epitaxy growth of SrO buffer layers on graphite and graphene for the integration of complex oxides

abstract: We report the successful growth of high-quality SrO films on highly-ordered pyrolytic graphite (HOPG) and single-layer graphene by molecular beam epitaxy. The SrO layers have (001) orientation as confirmed by x-ray diffraction (XRD) while atomic force microscopy measurements show continuous pinhole-free films having rms surface roughness of <1.5 {\AA}. Transport measurements of exfoliated graphene after SrO deposition show a strong dependence between the Dirac point and Sr oxidation. Subsequently, the SrO is leveraged as a buffer layer for more complex oxide integration via the demonstration of (001) oriented SrTiO3 grown atop a SrO/HOPG stack.


title: Photoionization Models of the Inner Gaseous Disk of the Herbig Be Star BD+65 1637

abstract: We attempt to constrain the physical properties of the inner, gaseous disk of the Herbig Be star BD+65 1637 using non-LTE, circumstellar disk codes and observed spectra (3700 to 10,500 \r{A}) from the ESPaDOnS instrument on CFHT. The photoionizing radiation of the central star is assumed to be the sole source of input energy for the disk. We model optical and near-infrared emission lines that are thought to form in this region using standard techniques that have been successful in modeling the spectra of Classical Be stars. By comparing synthetic line profiles of hydrogen, helium, iron and calcium with the observed line profiles, we try to constrain the geometry, density structure, and kinematics of the gaseous disk. Reasonable matches have been found for all line profiles individually; however, no disk density model based on a single power-law for the equatorial density was able to simultaneously fit all of the observed emission lines. Amongst the emission lines, the metal lines, especially the Ca II IR triplet, seem to require higher disk densities than the other lines. Excluding the Ca II lines, a model in which the equatorial disk density falls as $10^{-10} (R_{*}/R)^3 g\,cm^{-3}$ seen at an inclination of 45{\deg} for a $50\,R_{*}$ disk provides reasonable matches to the overall line shapes and strengths. The Ca II lines seem to require a shallower drop off as $10^{-10} (R_{*}/R)^2 g\,cm^{-3}$ to match their strength. More complex disk density models are likely required to refine the match to the BD+65 1637 spectrum.


title: Direct imaging of topological edge states at a bilayer graphene domain wall

abstract: The AB-BA domain wall in gapped graphene bilayers is a rare naked structure hosting topological electronic states. Here we show, for the first time, direct imaging of its topological edge states by using scanning tunneling microscope. The simultaneously obtained atomic-resolution images of the domain wall provide us unprecedented opportunities to measure the spatially-varying edge states within it. The one-dimensional conducting channels are observed to be mainly located around the two edges of the domain wall, which is reproduced quite well by our theoretical calculations. Our experiment further demonstrates that the one-dimensional topological states are quite robust even in the presence of high magnetic fields.


title: The Variational Gaussian Process

abstract: Variational inference is a powerful tool for approximate inference, and it has been recently applied for representation learning with deep generative models. We develop the variational Gaussian process (VGP), a Bayesian nonparametric variational family, which adapts its shape to match complex posterior distributions. The VGP generates approximate posterior samples by generating latent inputs and warping them through random non-linear mappings; the distribution over random mappings is learned during inference, enabling the transformed outputs to adapt to varying complexity. We prove a universal approximation theorem for the VGP, demonstrating its representative power for learning any model. For inference we present a variational objective inspired by auto-encoders and perform black box inference over a wide class of models. The VGP achieves new state-of-the-art results for unsupervised learning, inferring models such as the deep latent Gaussian model and the recently proposed DRAW.


title: Achieving Consistent Doppler Measurements from SDO/HMI Vector Field Inversions

abstract: NASA's Solar Dynamics Observatory is delivering vector field observations of the full solar disk with unprecedented temporal and spatial resolution; however, the satellite is in a highly inclined geostationary orbit. The relative spacecraft-Sun velocity varies by $\pm3$~km/s over a day which introduces major orbital artifacts in the Helioseismic Magnetic Imager data. We demonstrate that the orbital artifacts contaminate all spatial and temporal scales in the data. We describe a newly-developed three stage procedure for mitigating these artifacts in the Doppler data derived from the Milne-Eddington inversions in the HMI Pipeline. This procedure was applied to full disk images of AR11084 to produce consistent Dopplergrams. The data adjustments reduce the power in the orbital artifacts by 31dB. Furthermore, we analyze in detail the corrected images and show that our procedure greatly improve the temporal and spectral properties of the data without adding any new artifacts. We conclude that this new and easily implemented procedure makes a dramatic improvement in the consistency of the HMI data and in its usefulness for precision scientific studies.


title: Short-time evolution of Lagrangian velocity gradient correlations in isotropic turbulence

abstract: We show by direct numerical simulation (DNS) that the Lagrangian cross correlation of velocity gradients in homogeneous isotropic turbulence increases at short times, whereas its auto-correlation decreases. Kinematic considerations allow to show that two invariants of the turbulent velocity field determine the short-time velocity gradient correlations. In order to get a more intuitive understanding of the dynamics for longer times, heuristic models are proposed involving the combined action of local shear and rotation. These models quantitatively reproduce the effects and disentangle the different physical mechanisms leading to the observations in the DNS.


title: ExpressionBot: An Emotive Lifelike Robotic Face for Face-to-Face Communication

abstract: This article proposes an emotive lifelike robotic face, called ExpressionBot, that is designed to support verbal and non-verbal communication between the robot and humans, with the goal of closely modeling the dynamics of natural face-to-face communication. The proposed robotic head consists of two major components: 1) a hardware component that contains a small projector, a fish-eye lens, a custom-designed mask and a neck system with 3 degrees of freedom; 2) a facial animation system, projected onto the robotic mask, that is capable of presenting facial expressions, realistic eye movement, and accurate visual speech. We present three studies that compare Human-Robot Interaction with Human-Computer Interaction with a screen-based model of the avatar. The studies indicate that the robotic face is well accepted by users, with some advantages in recognition of facial expression and mutual eye gaze contact.


title: Hyperfine interaction mediated electric-dipole spin resonance: the role of frequency modulation

abstract: The electron spin in a semiconductor quantum dot can be coherently controlled by an external electric field, an effect called electric-dipole spin resonance (EDSR). Several mechanisms can give rise to the EDSR effect, among which there is a hyperfine mechanism, where the spin-electric coupling is mediated by the electron-nucleus hyperfine interaction. Here, we investigate the influence of frequency modulation (FM) on the spin-flip efficiency. Our results reveal that FM plays an important role in the hyperfine mechanism. Without FM, the electric field almost cannot flip the electron spin; the spin-flip probability is only about 20%. While under FM, the spin-flip probability can be improved to approximately 70%. In particular, we find that the modulation amplitude has a lower bound, which is related to the width of the fluctuated hyperfine field.


title: Stochastic Duty Cycling for Heterogenous Energy Harvesting Networks

abstract: In recent years, there have been several kinds of energy harvesting networks containing some tiny devices, such as ambient backscatter, ring and renewable sensor networks. During energy harvesting, such networks suffer from the energy heterogeneity, dynamics and prediction hardness because the access to natural resources is often spatiotemporal different and timely changing among the devices. Meanwhile, the charging efficiency is quite low especially when the power of the harvested energy is weak. It results in the energy waste to store the harvested energy indirectly. These features bring challenging and interesting issues on efficient allocation of the harvested energy. This paper studies the \emph{stochastic duty cycling} by considering these features with the objective characterized by maximizing the common active time. We consider two cases: offline and online stochastic duty cycling. For the offline case, we design an optimal solution: offline duty cycling algorithm. For the online case, we design an online duty cycling algorithm, which achieves the approximation ratio with at least $1-e^{-\gamma^2}$, where $\gamma$ is the probability able to harvest energy. We also evaluate our algorithms with the experiment on a real energy harvesting network. The experiment results show that the performance of the online algorithm can be very close to the offline algorithm.


title: The effect of anode emitter injection capability on characteristics of hybrid SIT-MOS transistors

abstract: The possibility of optimization of high voltage hybrid SIT-MOS transistors (HSMT) by local reduction of the lifetime near anode emitter and/or reduction of the anode emitter injection ability by three different ways has been investigated using two-dimensional numerical simulation. It has been shown that all of these methods proposed previously for optimization of insulated-gate bipolar transistor (IGBT) are physically equivalent and makes it possible to reduce turn-off energy losses $E_{off}$ in HSMT by 30-40%. Importantly that energy $E_{off}$ in optimized HSMT appears to be 15-35% less than in equivalent trench IGBT under other equal conditions.


title: Spin-orbit splitting of valence and conduction bands in HgTe quantum wells near the Dirac point

abstract: Energy spectra both of the conduction and valence bands of the HgTe quantum wells with a width close to the Dirac point were studied experimentally. Simultaneous analysis of the Shubnikov-de Haas oscillations and Hall effect over a wide range of electron and hole densities gives surprising result: the top of the valence band is strongly split by spin-orbit interaction while the splitting of the conduction band is absent, within experimental accuracy. Astonishingly, but such a ratio of the splitting values is observed as for structures with normal spectrum so for structures with inverted one. These results do not consistent with the results of kP calculations, in which the smooth electric filed across the quantum well is only reckoned in. It is shown that taking into account the asymmetry of the quantum well interfaces within a tight-binding method gives reasonable agreement with the experimental data.


title: Determination of the exciton binding energy and effective masses for the methylammonium and formamidinium lead tri-halide perovskite family

abstract: The family of organic-inorganic halide perovskite materials has generated tremendous interest in the field of photovoltaics due to their high power conversion efficiencies. There has been intensive development of cells based on the archetypal methylammonium (MA)and recently introduced formamidinium (FA) materials, however, there is still considerable controversy over their fundamental electronic properties. Two of the most important parameters are the binding energy of the exciton (R$^{*}$) and its reduced effective mass $\mu$. Here we present extensive magneto optical studies of Cl assisted grown MAPbI$_{3}$ as well as MAPbBr$_{3}$ and the FA based materials FAPbI$_{3}$ and FAPbBr$_{3}$. We fit the excitonic states as a hydrogenic atom in magnetic field and the Landau levels for free carriers to give R$^{*}$ and $\mu$. The values of the exciton binding energy are in the range 14 - 25 meV in the low temperature phase and fall considerably at higher temperatures for the tri-iodides, consistent with free carrier behaviour in all devices made from these materials. Both R$^{*}$ and $\mu$ increase approximately proportionally to the band gap, and the mass values, 0.09-0.117 m$_{0}$, are consistent with a simple \textbf{k.p} perturbation approach to the band structure which can be generalized to predict values for the effective mass and binding energy for other members of this perovskite family of materials.


title: Review of Heavy-Ion Inertial Fusion Physics

abstract: In this review paper on heavy ion inertial fusion (HIF), the state-of-the-art scientific results are presented and discussed on the HIF physics, including physics of the heavy ion beam (HIB) transport in a fusion reactor, the HIBs-ion illumination on a direct-drive fuel target, the fuel target physics, the uniformity of the HIF target implosion, the smoothing mechanisms of the target implosion non- uniformity and the robust target implosion. The HIB has remarkable preferable features to release the fusion energy in inertial fusion: in particle accelerators HIBs are generated with a high driver efficiency of ~ 30-40%, and the HIB ions deposit their energy inside of materials. Therefore, a requirement for the fusion target energy gain is relatively low, that would be ~50-70 to operate a HIF fusion reactor with the standard energy output of 1GW of electricity. The HIF reactor operation frequency would be ~10~15 Hz or so. Several- MJ HIBs illuminate a fusion fuel target, and the fuel target is imploded to about a thousand times of the solid density. Then the DT fuel is ignited and burned. The HIB ion deposition range is defined by the HIB ions stopping length, which would be ~1 mm or so depending on the material. Therefore, a relatively large density-scale length appears in the fuel target material. One of the critical issues in inertial fusion would be a spherically uniform target compression, which would be degraded by a non-uniform implosion. The implosion non-uniformity would be introduced by the Rayleigh-Taylor (R-T) instability, and the large density-gradient-scale length helps to reduce the R-T growth rate.


title: A hybridized discontinuous Galerkin method for 2D fractional convection-diffusion equations

abstract: A hybridized discontinuous Galerkin method is proposed for solving 2D fractional convection-diffusion equations containing derivatives of fractional order in space on a finite domain. The Riemann-Liouville derivative is used for the spatial derivative. Combining the characteristic method and the hybridized discontinuous Galerkin method, the symmetric variational formulation is constructed. The stability of the presented scheme is proved. Theoretically, the order of $\mathcal{O}(h^{k+1/2}+\Delta t)$ is established for the corresponding models and numerically the better convergence rates are detected by carefully choosing the numerical fluxes. Extensive numerical experiments are performed to illustrate the performance of the proposed schemes. The first numerical example is to display the convergence orders, while the second one justifies the benefits of the schemes. Both are tested with triangular meshes.


title: TOBE: Tangible Out-of-Body Experience

abstract: We propose a toolkit for creating Tangible Out-of-Body Experiences: exposing the inner states of users using physiological signals such as heart rate or brain activity. Tobe can take the form of a tangible avatar displaying live physiological readings to reflect on ourselves and others. Such a toolkit could be used by researchers and designers to create a multitude of potential tangible applications, including (but not limited to) educational tools about Science Technologies Engineering and Mathematics (STEM) and cognitive science, medical applications or entertainment and social experiences with one or several users or Tobes involved. Through a co-design approach, we investigated how everyday people picture their physiology and we validated the acceptability of Tobe in a scientific museum. We also give a practical example where two users relax together, with insights on how Tobe helped them to synchronize their signals and share a moment.


title: Planckian corrections to the Friedmann flat equations from thermodynamics at the apparent horizon

abstract: In this paper we use our recently generalized black hole entropy formula to propose a quantum version of the Friedmann equations. In particular, starting from the differential version of the first law of thermodynamics, we are able to find planckian (non commutative) corrections to the Friedmann flat equations. The so modified equations are formally similar to the ones present in Gauss-Bonnet gravity, but in the ordinary 3+1 dimensions. As a consequence of these corrections, by considering negative fluctuations in the internal energy that are allowed by quantum field theory, our equations imply a maximum value both for the energy density $\rho$ and for the Hubble flow $H$, i.e. the big bang is ruled out. Conversely, by considering positive quantum fluctuations, we found no maximum for $\rho$ and $H$. Nevertheless, by starting with an early time energy density $\rho\sim 1/t^2$, we obtain a value for the scale factor $a(t)\sim e^{\sqrt{t}}$, implying a finite planckian universe at $t=0$, i.e. the point-like big bang singularity is substituted by a universe of planckian size at $t=0$. Finally, we found possible higher order planckian terms to our equations together with the related corrections of our generalized Bekenstein-Hawking entropy.


title: Emergence of strongly connected giant components in continuum disk-spin percolation

abstract: We propose a continuum model of percolation in two dimensions for overlapping disks with spin. In this model the existence of bonds is determined by the distance between the centers of the disks, and by the scalar product of the (randomly) directed spin with the direction of the vector connecting the centers of neighboring disks. The direction of a single spin is controlled by a "temperature", representing the amount of polarization of the spins in the direction of an external field. Our model is inspired by biological neuronal networks and aims to characterize their topological properties when axonal guidance plays a major role. We numerically study the phase diagram of the model observing the emergence of a giant strongly connected component, representing the portion of neurons that are causally connected. We provide strong evidence that the critical exponents depend on the temperature.


title: On thurston's core entropy algorithm dedicated to the memory of tan lei

abstract: The core entropy of polynomials, recently introduced by W. Thurston, is a dy-namical invariant extending topological entropy for real maps to complex polynomials, whence providing a new tool to study the parameter space of polynomials. The base is a combinatorial algorithm allowing for the computation of the core entropy given by Thurston, but without supplying a proof. In this paper, we will describe his algorithm and prove its validity.


title: Theoretical Studies of Graphene Nanoribbon Quantum Dot Qubits

abstract: Graphene nanoribbon quantum dot qubits have been proposed as promising candidates for quantum computing applications to overcome the spin-decoherence problems associated with typical semiconductor (e.g. GaAs) quantum dot qubits. We perform theoretical studies of the electronic structures of graphene nanoribbon quantum dots by solving the Dirac equation with appropriate boundary conditions. We then evaluate the exchange splitting based on an unrestricted Hartree-Fock method for the Dirac particles. The electronic wave function and long-range exchange coupling due to the Klein tunneling and the Coulomb interaction are calculated for various gate configurations. It is found that the exchange coupling between qubits can be significantly enhanced by the Klein tunneling effect. The implications of our results for practical qubit construction and operation are discussed.