title: Quark mass dependence of quarkonium properties at finite temperature

abstract: Quarkonium properties at finite temperature have been studied with quark masses of the charm and bottom quarks. Our simulations have been performed in quenched QCD with the $O(a)$-improved Wilson quarks on large and fine isotropic lattices with the spatial lattice extents $N_\sigma =$ 96, 192 and the corresponding lattice spacings $a =$ 0.0190, 0.00967 fm, respectively, at temperatures in a range between about 0.7$T_c$ and 1.4$T_c$. We show temperature and quark mass dependence of quarkonium correlation functions and related physical quantities: the quark number susceptibility and the heavy quark diffusion constant.


title: Efficient, Optimal $k$-Leader Selection for Coherent, One-Dimensional Formations

abstract: We study the problem of optimal leader selection in consensus networks with noisy relative information. The objective is to identify the set of $k$ leaders that minimizes the formation's deviation from the desired trajectory established by the leaders. An optimal leader set can be found by an exhaustive search over all possible leader sets; however, this approach is not scalable to large networks. In recent years, several works have proposed approximation algorithms to the $k$-leader selection problem, yet the question of whether there exists an efficient, non-combinatorial method to identify the optimal leader set remains open. This work takes a first step towards answering this question. We show that, in one-dimensional weighted graphs, namely path graphs and ring graphs, the $k$-leader selection problem can be solved in polynomial time (in both $k$ and the network size $n$). We give an $O(n^3)$ solution for optimal $k$-leader selection in path graphs and an $O(kn^3)$ solution for optimal $k$-leader selection in ring graphs.


title: Training Deep Neural Networks on Noisy Labels with Bootstrapping

abstract: Current state-of-the-art deep learning systems for visual object recognition and detection use purely supervised training with regularization such as dropout to avoid overfitting. The performance depends critically on the amount of labeled examples, and in current practice the labels are assumed to be unambiguous and accurate. However, this assumption often does not hold; e.g. in recognition, class labels may be missing; in detection, objects in the image may not be localized; and in general, the labeling may be subjective. In this work we propose a generic way to handle noisy and incomplete labeling by augmenting the prediction objective with a notion of consistency. We consider a prediction consistent if the same prediction is made given similar percepts, where the notion of similarity is between deep network features computed from the input data. In experiments we demonstrate that our approach yields substantial robustness to label noise on several datasets. On MNIST handwritten digits, we show that our model is robust to label corruption. On the Toronto Face Database, we show that our model handles well the case of subjective labels in emotion recognition, achieving state-of-the- art results, and can also benefit from unlabeled face images with no modification to our method. On the ILSVRC2014 detection challenge data, we show that our approach extends to very deep networks, high resolution images and structured outputs, and results in improved scalable detection.


title: An Analysis of Unsupervised Pre-training in Light of Recent Advances

abstract: Convolutional neural networks perform well on object recognition because of a number of recent advances: rectified linear units (ReLUs), data augmentation, dropout, and large labelled datasets. Unsupervised data has been proposed as another way to improve performance. Unfortunately, unsupervised pre-training is not used by state-of-the-art methods leading to the following question: Is unsupervised pre-training still useful given recent advances? If so, when? We answer this in three parts: we 1) develop an unsupervised method that incorporates ReLUs and recent unsupervised regularization techniques, 2) analyze the benefits of unsupervised pre-training compared to data augmentation and dropout on CIFAR-10 while varying the ratio of unsupervised to supervised samples, 3) verify our findings on STL-10. We discover unsupervised pre-training, as expected, helps when the ratio of unsupervised to supervised samples is high, and surprisingly, hurts when the ratio is low. We also use unsupervised pre-training with additional color augmentation to achieve near state-of-the-art performance on STL-10.


title: Automatic Discovery and Optimization of Parts for Image Classification

abstract: Part-based representations have been shown to be very useful for image classification. Learning part-based models is often viewed as a two-stage problem. First, a collection of informative parts is discovered, using heuristics that promote part distinctiveness and diversity, and then classifiers are trained on the vector of part responses. In this paper we unify the two stages and learn the image classifiers and a set of shared parts jointly. We generate an initial pool of parts by randomly sampling part candidates and selecting a good subset using L1/L2 regularization. All steps are driven "directly" by the same objective namely the classification loss on a training set. This lets us do away with engineered heuristics. We also introduce the notion of "negative parts", intended as parts that are negatively correlated with one or more classes. Negative parts are complementary to the parts discovered by other methods, which look only for positive correlations.


title: Hot Swapping for Online Adaptation of Optimization Hyperparameters

abstract: We describe a general framework for online adaptation of optimization hyperparameters by `hot swapping' their values during learning. We investigate this approach in the context of adaptive learning rate selection using an explore-exploit strategy from the multi-armed bandit literature. Experiments on a benchmark neural network show that the hot swapping approach leads to consistently better solutions compared to well-known alternatives such as AdaDelta and stochastic gradient with exhaustive hyperparameter search.


title: Generation of Ensembles of Individually Resolvable Nitrogen Vacancies Using Nanometer-Scale Apertures in Ultrahigh-Aspect Ratio Planar Implantation Masks

abstract: A central challenge in developing magnetically coupled quantum registers in diamond is the fabrication of nitrogen vacancy (NV) centers with localization below ~20 nm to enable fast dipolar interaction compared to the NV decoherence rate. Here, we demonstrate the targeted, high throughput formation of NV centers using masks with a thickness of 270 nm and feature sizes down to ~1 nm. Super-resolution imaging resolves NVs with a full-width maximum distribution of $26\pm7$ nm and a distribution of NV-NV separations of $16\pm5$ nm.


title: Using Neural Networks for Click Prediction of Sponsored Search

abstract: Sponsored search is a multi-billion dollar industry and makes up a major source of revenue for search engines (SE). click-through-rate (CTR) estimation plays a crucial role for ads selection, and greatly affects the SE revenue, advertiser traffic and user experience. We propose a novel architecture for solving CTR prediction problem by combining artificial neural networks (ANN) with decision trees. First we compare ANN with respect to other popular machine learning models being used for this task. Then we go on to combine ANN with MatrixNet (proprietary implementation of boosted trees) and evaluate the performance of the system as a whole. The results show that our approach provides significant improvement over existing models.


title: Generative Modeling of Hidden Functional Brain Networks

abstract: Functional connectivity refers to the temporal statistical relationship between spatially distinct brain regions and is usually inferred from the time series coherence/correlation in brain activity between regions of interest. In human functional brain networks, the network structure is often inferred from functional magnetic resonance imaging (fMRI) blood oxygen level dependent (BOLD) signal. Since the BOLD signal is a proxy for neuronal activity, it is of interest to learn the latent functional network structure. Additionally, despite a core set of observations about functional networks such as small-worldness, modularity, exponentially truncated degree distributions, and presence of various types of hubs, very little is known about the computational principles which can give rise to these observations. This paper introduces a Hidden Markov Random Field framework for the purpose of representing, estimating, and evaluating latent neuronal functional relationships between different brain regions using fMRI data.


title: Second order Method for Solving 3D Elasticity Equations with Complex and Sharp Interfaces

abstract: Elastic materials are ubiquitous in nature and indispensable components in man-made devices and equipments. When a device or equipment involves composite or multiple elastic materials, elasticity interface problems come into play. The solution of three dimensional (3D) elasticity interface problems is significantly more difficult than that of elliptic counterparts due to the coupled vector components and cross derivatives in the governing elasticity equation. This work introduces the matched interface and boundary (MIB) method for solving 3D elasticity interface problems. The proposed MIB method utilizes fictitious values on irregular grid points near the material interface to replace function values in the discretization so that the elasticity equation can be discretized using the standard finite difference schemes as if there were no material interface. The interface jump conditions are rigorously enforced on the intersecting points between the interface and the mesh lines. Such an enforcement determines the fictitious values. A number of new technique are developed to construct efficient MIB schemes for dealing with cross derivative in coupled governing equations. The proposed method is extensively validated over both weak and strong discontinuity of the solution, both piecewise constant and position-dependent material parameters, both smooth and nonsmooth interface geometries, and both small and large contrasts in the Poisson's ratio and shear modulus across the interface. Numerical experiments indicate that the present MIB method is of second order convergence in both $L_\infty$ and $L_2$ error norms.


title: Video (language) modeling: a baseline for generative models of natural videos

abstract: We propose a strong baseline model for unsupervised feature learning using video data. By learning to predict missing frames or extrapolate future frames from an input video sequence, the model discovers both spatial and temporal correlations which are useful to represent complex deformations and motion patterns. The models we propose are largely borrowed from the language modeling literature, and adapted to the vision domain by quantizing the space of image patches into a large dictionary. We demonstrate the approach on both a filling and a generation task. For the first time, we show that, after training on natural videos, such a model can predict non-trivial motions over short video sequences.


title: Micro-Navigation for Urban Bus Passengers: Using the Internet of Things to Improve the Public Transport Experience

abstract: Public bus services are widely deployed in cities around the world because they provide cost-effective and economic public transportation. However, from a passenger point of view urban bus systems can be complex and difficult to navigate, especially for disadvantaged users, i.e. tourists, novice users, older people, and people with impaired cognitive or physical abilities. We present Urban Bus Navigator (UBN), a reality-aware urban navigation system for bus passengers with the ability to recognize and track the physical public transport infrastructure such as buses. Unlike traditional location-aware mobile transport applications, UBN acts as a true navigation assistant for public transport users. Insights from a six-month long trial in Madrid indicate that UBN removes barriers for public transport usage and has a positive impact on how people feel about public transport journeys.


title: Competing with the Empirical Risk Minimizer in a Single Pass

abstract: In many estimation problems, e.g. linear and logistic regression, we wish to minimize an unknown objective given only unbiased samples of the objective function. Furthermore, we aim to achieve this using as few samples as possible. In the absence of computational constraints, the minimizer of a sample average of observed data -- commonly referred to as either the empirical risk minimizer (ERM) or the $M$-estimator -- is widely regarded as the estimation strategy of choice due to its desirable statistical convergence properties. Our goal in this work is to perform as well as the ERM, on every problem, while minimizing the use of computational resources such as running time and space usage. We provide a simple streaming algorithm which, under standard regularity assumptions on the underlying problem, enjoys the following properties: * The algorithm can be implemented in linear time with a single pass of the observed data, using space linear in the size of a single sample. * The algorithm achieves the same statistical rate of convergence as the empirical risk minimizer on every problem, even considering constant factors. * The algorithm's performance depends on the initial error at a rate that decreases super-polynomially. * The algorithm is easily parallelizable. Moreover, we quantify the (finite-sample) rate at which the algorithm becomes competitive with the ERM.


title: Visual Scene Representations: Contrast, Scaling and Occlusion

abstract: We study the structure of representations, defined as approximations of minimal sufficient statistics that are maximal invariants to nuisance factors, for visual data subject to scaling and occlusion of line-of-sight. We derive analytical expressions for such representations and show that, under certain restrictive assumptions, they are related to features commonly in use in the computer vision community. This link highlights the condition tacitly assumed by these descriptors, and also suggests ways to improve and generalize them. This new interpretation draws connections to the classical theories of sampling, hypothesis testing and group invariance.


title: Regression Analysis with Response-biased Sampling

abstract: Response-biased sampling, in which samples are drawn from a popula- tion according to the values of the response variable, is common in biomedical, epidemiological, economic and social studies. In particular, the complete obser- vations in data with censoring, truncation or missing covariates can be regarded as response-biased sampling under certain conditions. This paper proposes to use transformation models, known as the generalized accelerated failure time model in econometrics, for regression analysis with response-biased sampling. With unknown error distribution, the transformation models are broad enough to cover linear re- gression models, the Cox's model and the proportional odds model as special cases. To the best of our knowledge, except for the case-control logistic regression, there is no report in the literature that a prospective estimation approach can work for biased sampling without any modification. We prove that the maximum rank corre- lation estimation is valid for response-biased sampling and establish its consistency and asymptotic normality. Unlike the inverse probability methods, the proposed method of estimation does not involve the sampling probabilities, which are often difficult to obtain in practice. Without the need of estimating the unknown trans- formation function or the error distribution, the proposed method is numerically easy to implement with the Nelder-Mead simplex algorithm, which does not require convexity or continuity. We propose an inference procedure using random weight- ing to avoid the complication of density estimation when using the plug-in rule for variance estimation. Numerical studies with supportive evidence are presented. Applications are illustrated with the Forbes Global 2000 data and the Stanford heart transplant data.


title: Rigidity percolation by next-nearest-neighbor braces on generic and regular isostatic lattices

abstract: We study rigidity percolation transitions in two-dimensional central-force isostatic lattices, including the square and the kagome lattices, as next-nearest-neighbor bonds ("braces") are randomly added to the system. In particular, we focus on the differences between regular lattices, which are perfectly periodic, and generic lattices with the same topology of bonds but whose sites are at random positions in space. We find that the regular square and kagome lattices exhibit a rigidity percolation transition when the number of braces is $\sim L\ln L$, where $L$ is the linear size of the lattice. This transition exhibits features of both first order and second order transitions: the whole lattice becomes rigid at the transition, whereas there exists a diverging length scale. In contrast, we find that the rigidity percolation transition in the generic lattices occur when the number of braces is very close to the number obtained from the Maxwell's law for floppy modes, which is $\sim L$. The transition in generic lattices is a very sharp first-order-like transition, at which the addition of one brace connects all small rigid regions in the bulk of the lattice, leaving only floppy modes on the edge. We characterize these transitions using numerical simulations and develop analytic theories capturing each transition. Our results relate to other interesting problems including jamming and bootstrap percolation.


title: Scoring and Classifying with Gated Auto-encoders

abstract: Auto-encoders are perhaps the best-known non-probabilistic methods for representation learning. They are conceptually simple and easy to train. Recent theoretical work has shed light on their ability to capture manifold structure, and drawn connections to density modelling. This has motivated researchers to seek ways of auto-encoder scoring, which has furthered their use in classification. Gated auto-encoders (GAEs) are an interesting and flexible extension of auto-encoders which can learn transformations among different images or pixel covariances within images. However, they have been much less studied, theoretically or empirically. In this work, we apply a dynamical systems view to GAEs, deriving a scoring function, and drawing connections to Restricted Boltzmann Machines. On a set of deep learning benchmarks, we also demonstrate their effectiveness for single and multi-label classification.


title: Dynamics of impurity attraction and repulsion of an intrinsic localized mode in a driven 1-D cantilever array

abstract: Both low frequency and high frequency impurity modes have been produced in a SiN micromechanical cantilever array by illumination with either an infrared or visible laser. When such laser-induced impurities are placed near a driven intrinsic localized mode (ILM) it is either repelled or attracted. By measuring the linear response spectrum for these two cases it was found that vibrational hopping of the ILM takes place when the natural frequency of the ILM and an even symmetry linear local mode are symmetrically located about the driven ILM frequency so that parametric excitation of these two linear modes is enhanced, amplifying the lateral motion of the ILM. Numerical simulations are consistent with these signature findings. It is also demonstrated that the correct sign of the observed interaction can be found with a harmonic lattice-impurity model but the magnitude of the effect is enhanced in a nonlinear lattice.


title: The Vapnik-Chervonenkis dimension of cubes in $\mathbb{R}^d$

abstract: The Vapnik-Chervonenkis (VC) dimension of a collection of subsets of a set is an important combinatorial concept in settings such as discrete geometry and machine learning. In this paper we prove that the VC dimension of the family of $d$-dimensional cubes in $\mathbb R^d$ is $\lfloor(3d+1)/2\rfloor$.


title: Resource Allocation for Statistical Estimation

abstract: Statistical estimation in many contemporary settings involves the acquisition, analysis, and aggregation of datasets from multiple sources, which can have significant differences in character and in value. Due to these variations, the effectiveness of employing a given resource (e.g., a sensing device or computing power) for gathering or processing data from a particular source depends on the nature of that source. As a result, the appropriate division and assignment of a collection of resources to a set of data sources can substantially impact the overall performance of an inferential strategy. In this expository article, we adopt a general view of the notion of a resource and its effect on the quality of a data source, and we describe a framework for the allocation of a given set of resources to a collection of sources in order to optimize a specified metric of statistical efficiency. We discuss several stylized examples involving inferential tasks such as parameter estimation and hypothesis testing based on heterogeneous data sources, in which optimal allocations can be computed either in closed form or via efficient numerical procedures based on convex optimization.


title: In Search of the Real Inductive Bias: On the Role of Implicit Regularization in Deep Learning

abstract: We present experiments demonstrating that some other form of capacity control, different from network size, plays a central role in learning multilayer feed-forward networks. We argue, partially through analogy to matrix factorization, that this is an inductive bias that can help shed light on deep learning.


title: Explorations on high dimensional landscapes

abstract: Finding minima of a real valued non-convex function over a high dimensional space is a major challenge in science. We provide evidence that some such functions that are defined on high dimensional domains have a narrow band of values whose pre-image contains the bulk of its critical points. This is in contrast with the low dimensional picture in which this band is wide. Our simulations agree with the previous theoretical work on spin glasses that proves the existence of such a band when the dimension of the domain tends to infinity. Furthermore our experiments on teacher-student networks with the MNIST dataset establish a similar phenomenon in deep networks. We finally observe that both the gradient descent and the stochastic gradient descent methods can reach this level within the same number of steps.


title: Outperforming Word2Vec on Analogy Tasks with Random Projections

abstract: We present a distributed vector representation based on a simplification of the BEAGLE system, designed in the context of the Sigma cognitive architecture. Our method does not require gradient-based training of neural networks, matrix decompositions as with LSA, or convolutions as with BEAGLE. All that is involved is a sum of random vectors and their pointwise products. Despite the simplicity of this technique, it gives state-of-the-art results on analogy problems, in most cases better than Word2Vec. To explain this success, we interpret it as a dimension reduction via random projection.


title: Understanding Minimum Probability Flow for RBMs Under Various Kinds of Dynamics

abstract: Energy-based models are popular in machine learning due to the elegance of their formulation and their relationship to statistical physics. Among these, the Restricted Boltzmann Machine (RBM), and its staple training algorithm contrastive divergence (CD), have been the prototype for some recent advancements in the unsupervised training of deep neural networks. However, CD has limited theoretical motivation, and can in some cases produce undesirable behavior. Here, we investigate the performance of Minimum Probability Flow (MPF) learning for training RBMs. Unlike CD, with its focus on approximating an intractable partition function via Gibbs sampling, MPF proposes a tractable, consistent, objective function defined in terms of a Taylor expansion of the KL divergence with respect to sampling dynamics. Here we propose a more general form for the sampling dynamics in MPF, and explore the consequences of different choices for these dynamics for training RBMs. Experimental results show MPF outperforming CD for various RBM configurations.


title: Permutohedral Lattice CNNs

abstract: This paper presents a convolutional layer that is able to process sparse input features. As an example, for image recognition problems this allows an efficient filtering of signals that do not lie on a dense grid (like pixel position), but of more general features (such as color values). The presented algorithm makes use of the permutohedral lattice data structure. The permutohedral lattice was introduced to efficiently implement a bilateral filter, a commonly used image processing operation. Its use allows for a generalization of the convolution type found in current (spatial) convolutional network architectures.


title: Planar lower envelope of monotone polygonal chains

abstract: A simple linear search algorithm running in $O(n+mk)$ time is proposed for constructing the lower envelope of $k$ vertices from $m$ monotone polygonal chains in 2D with $n$ vertices in total. This can be applied to output-sensitive construction of lower envelopes for arbitrary line segments in optimal $O(n\log k)$ time, where $k$ is the output size. Compared to existing output-sensitive algorithms for lower envelopes, this is simpler to implement, does not require complex data structures, and is a constant factor faster.


title: Coronal turbulence and the angular broadening of radio sources - the role of the structure function

abstract: The amplitude of density turbulence in the extended solar corona, especially near the dissipation scale, impinges on several problems of current interest. Radio sources observed through the turbulent solar wind are broadened due to refraction by and scattering off density inhomogeneities, and observations of scatter broadening are often employed to constrain the turbulence amplitude. The extent of such scatter broadening is usually computed using the structure function, which gives a measure of the spatial correlation measured by an interferometer. Most such treatments have employed analytical approximations to the structure function that are valid in the asymptotic limits $s \gg l_{i}$ or $s \ll l_{i}$, where $s$ is the interferometer spacing and $l_{i}$ is the inner scale of the density turbulence spectrum. We instead use a general structure function (GSF) that straddles these regimes, and quantify the errors introduced by the use of these approximations. We have included the effects of anisotropic scattering for distant cosmic sources viewed through the solar wind at small elongations. We show that the regimes where the GSF predictions are more accurate than those of the asymptotic expressions are not only of practical relevance, but are where inner scale effects influence estimates of scatter broadening. Taken together, we argue that the GSF should henceforth be used for scatter broadening calculations and estimates of turbulence amplitudes in the solar corona and solar wind.


title: Why does Deep Learning work? - A perspective from Group Theory

abstract: Why does Deep Learning work? What representations does it capture? How do higher-order representations emerge? We study these questions from the perspective of group theory, thereby opening a new approach towards a theory of Deep learning. One factor behind the recent resurgence of the subject is a key algorithmic step called pre-training: first search for a good generative model for the input samples, and repeat the process one layer at a time. We show deeper implications of this simple principle, by establishing a connection with the interplay of orbits and stabilizers of group actions. Although the neural networks themselves may not form groups, we show the existence of {\em shadow} groups whose elements serve as close approximations. Over the shadow groups, the pre-training step, originally introduced as a mechanism to better initialize a network, becomes equivalent to a search for features with minimal orbits. Intuitively, these features are in a way the {\em simplest}. Which explains why a deep learning network learns simple features first. Next, we show how the same principle, when repeated in the deeper layers, can capture higher order representations, and why representation complexity increases as the layers get deeper.


title: Deep metric learning using Triplet network

abstract: Deep learning has proven itself as a successful set of models for learning useful semantic representations of data. These, however, are mostly implicitly learned as part of a classification task. In this paper we propose the triplet network model, which aims to learn useful representations by distance comparisons. A similar model was defined by Wang et al. (2014), tailor made for learning a ranking for image information retrieval. Here we demonstrate using various datasets that our model learns a better representation than that of its immediate competitor, the Siamese network. We also discuss future possible usage as a framework for unsupervised learning.


title: Word Representations via Gaussian Embedding

abstract: Current work in lexical distributed representations maps each word to a point vector in low-dimensional space. Mapping instead to a density provides many interesting advantages, including better capturing uncertainty about a representation and its relationships, expressing asymmetries more naturally than dot product or cosine similarity, and enabling more expressive parameterization of decision boundaries. This paper advocates for density-based distributed embeddings and presents a method for learning representations in the space of Gaussian distributions. We compare performance on various word embedding benchmarks, investigate the ability of these embeddings to model entailment and other asymmetric relationships, and explore novel properties of the representation.


title: Constrained $\sqrt{\hat{S}_{min}}$ and reconstructing with semi-invisible production at hadron colliders

abstract: Mass variable \sqrt{\hat{S}_{min}} and its variants were constructed by minimising the parton level center of mass energy that is consistent with all inclusive measurements. They were proposed to have the ability to measure mass scale of new physics in a fully model independent way. In this work we relax the criteria by assuming the availability of partial informations of new physics events and thus constraining this mass variable even further. Starting with two different classes of production topology, i.e. antler and non-antler, we demonstrate the usefulness of these variables to constrain the unknown masses. This discussion is illustrated with different examples, from the standard model Higgs production and beyond standard model resonance productions leading to semi-invisible production. We also utilise these constrains to reconstruct the semi-invisible events with the momenta of invisible particles and thus improving the measurements to reveal the properties of new physics.


title: Relative Flux Calibration of the LAMOST Spectroscopic Survey of the Galactic Anti-center

abstract: We have developed and implemented an iterative algorithm of flux calibration for the LAMOST Spectroscopic Survey of the Galactic anti-center (LSS-GAC). For a given LSS-GAC plate, the spectra are first processed with a set of nominal spectral response curves (SRCs) and used to derive initial stellar atmospheric parameters (effective temperature $T_{\rm eff}$, surface gravity log\,$g$ and metallicity [Fe/H]) as well as dust reddening $E(B-V)$ of all targeted stars. For each of the sixteen spectrographs, several F-type stars of good signal-to-noise ratios (SNRs) are then selected as flux standard stars for further, iterative spectral flux calibration. Comparison of spectrophotometric colours, deduced from the flux-calibrated spectra, with the photometric measurements yields average differences of 0.02$\pm$0.07 and $-$0.04$\pm$0.09\,mag for the $(g-r)$ and $(g-i)$, respectively. The relatively large negative offset in $(g-i)$ is due to the fact that we have opted not to correct for the telluric bands, most notably the atmospheric A-band in the wavelength range of $i$-band. Comparison of LSS-GAC multi-epoch observations of duplicate targets indicates that the algorithm has achieved an accuracy of about 10 per cent in relative flux calibration for the wavelength range 4000 -- 9000\,\AA. The shapes of SRC deduced for the individual LAMOST spectrographs are found to vary by up to 30 per cent for a given night, and larger for different nights, indicating that the derivation of SRCs for the individual plates is essential in order to achieve accurate flux calibration for the LAMOST spectra.


title: The local low-dimensionality of natural images

abstract: We develop a new statistical model for photographic images, in which the local responses of a bank of linear filters are described as jointly Gaussian, with zero mean and a covariance that varies slowly over spatial position. We optimize sets of filters so as to minimize the nuclear norms of matrices of their local activations (i.e., the sum of the singular values), thus encouraging a flexible form of sparsity that is not tied to any particular dictionary or coordinate system. Filters optimized according to this objective are oriented and bandpass, and their responses exhibit substantial local correlation. We show that images can be reconstructed nearly perfectly from estimates of the local filter response covariances alone, and with minimal degradation (either visual or MSE) from low-rank approximations of these covariances. As such, this representation holds much promise for use in applications such as denoising, compression, and texture representation, and may form a useful substrate for hierarchical decompositions.


title: The LAMOST Stellar Parameter Pipeline at Peking University --- LSP3

abstract: We introduce the LAMOST Stellar Parameter Pipeline at Peking University --- LSP3, developed and implemented for the determinations of radial velocity $V_{\rm r}$ and stellar atmospheric parameters (effective temperature $T_{\rm eff}$, surface gravity log\,$g$, metallicity [Fe/H]) for the LAMOST Spectroscopic Survey of the Galactic Anti-center (LSS-GAC). We describe the algorithms of LSP3 and examine the accuracy of parameters yielded by it. The precision and accuracy of parameters yielded are investigated by comparing results of multi-epoch observations and of candidate members of open and globular clusters, with photometric calibration, as well as with independent determinations available from a number of external databases, including the PASTEL archive, the APOGEE, SDSS and RAVE surveys, as well as those released in the LAMOST DR1. The uncertainties of LSP3 parameters are characterized and quantified as a function of the spectral signal-to-noise ratio (SNR) and stellar atmospheric parameters. We conclude that the current implementation of LSP3 has achieved an accuracy of 5.0\,km\,s$^{-1}$, 150\,K, 0.25\,dex, 0.15\,dex for the radial velocity, effective temperature, surface gravity and metallicity, respectively, for LSS-GAC spectra of FGK stars of SNRs per pixel higher than 10. The LSP3 has been applied to over a million LSS-GAC spectra collected hitherto. Stellar parameters yielded by the LSP3 will be released to the general public following the data policy of LAMOST, together with estimates of the interstellar extinction $E(B-V)$ and stellar distances, deduced by combining spectroscopic and multi-band photometric measurements using a variety of techniques.


title: LAMOST Spectroscopic Survey of the Galactic Anti-centre (LSS-GAC): target selection and the first release of value-added catalogues

abstract: As a major component of the LAMOST Galactic surveys, the LAMOST Spectroscopic Survey of the Galactic Anti-centre (LSS-GAC) aims to survey a significant volume of the Galactic thin/thick discs and halo for a contiguous sky area of over 3,400 deg$^2$ centred on the Galactic anti-centre ($|b| \leq 30^{\circ}$, $150 \leq l \leq 210^{\circ}$), and obtain $\lambda\lambda$3700 -- 9000 low resolution ($R \sim 1,800$) spectra for a statistically complete sample of $\sim 3$\,M stars of all colours down to a limiting magnitued of $r$ $\sim$ 17.8\,mag (to 18.5\,mag for limited fields). Together with Gaia, the LSS-GAC will yield a unique dataset to advance our understanding of the structure and assemblage history of the Galaxy, in particular its disk(s). In addition to the main survey, the LSS-GAC will also target hundreds of thousands objects in the vicinity fields of M\,31 and M\,33 and survey a significant fraction (over a million) of randomly selected very bright stars (VB; $r \le 14$ mag) in the northern hemisphere. During the Pilot and the first year Regular Surveys of LAMOST, a total of 1,042,586 [750,867] spectra of a signal to noise ratio S/N(7450\AA) $\ge$ 10 [S/N(4650\AA) $\ge$ 10] have been collected. In this paper, we present a detailed description of the target selection algorithm, survey design, observations and the first data release of value-added catalogues (including radial velocities, effective temperatures, surface gravities, metallicities, values of interstellar extinction, distances, proper motions and orbital parameters) of the LSS-GAC.


title: Semantic Modelling with Long-Short-Term Memory for Information Retrieval

abstract: In this paper we address the following problem in web document and information retrieval (IR): How can we use long-term context information to gain better IR performance? Unlike common IR methods that use bag of words representation for queries and documents, we treat them as a sequence of words and use long short term memory (LSTM) to capture contextual dependencies. To the best of our knowledge, this is the first time that LSTM is applied to information retrieval tasks. Unlike training traditional LSTMs, the training strategy is different due to the special nature of information retrieval problem. Experimental evaluation on an IR task derived from the Bing web search demonstrates the ability of the proposed method in addressing both lexical mismatch and long-term context modelling issues, thereby, significantly outperforming existing state of the art methods for web document retrieval task.


title: Neural Network Regularization via Robust Weight Factorization

abstract: Regularization is essential when training large neural networks. As deep neural networks can be mathematically interpreted as universal function approximators, they are effective at memorizing sampling noise in the training data. This results in poor generalization to unseen data. Therefore, it is no surprise that a new regularization technique, Dropout, was partially responsible for the now-ubiquitous winning entry to ImageNet 2012 by the University of Toronto. Currently, Dropout (and related methods such as DropConnect) are the most effective means of regularizing large neural networks. These amount to efficiently visiting a large number of related models at training time, while aggregating them to a single predictor at test time. The proposed FaMe model aims to apply a similar strategy, yet learns a factorization of each weight matrix such that the factors are robust to noise.


title: Visualizing and Comparing Convolutional Neural Networks

abstract: Convolutional Neural Networks (CNNs) have achieved comparable error rates to well-trained human on ILSVRC2014 image classification task. To achieve better performance, the complexity of CNNs is continually increasing with deeper and bigger architectures. Though CNNs achieved promising external classification behavior, understanding of their internal work mechanism is still limited. In this work, we attempt to understand the internal work mechanism of CNNs by probing the internal representations in two comprehensive aspects, i.e., visualizing patches in the representation spaces constructed by different layers, and visualizing visual information kept in each layer. We further compare CNNs with different depths and show the advantages brought by deeper architecture.


title: Deep Captioning with Multimodal Recurrent Neural Networks (m-RNN)

abstract: In this paper, we present a multimodal Recurrent Neural Network (m-RNN) model for generating novel image captions. It directly models the probability distribution of generating a word given previous words and an image. Image captions are generated by sampling from this distribution. The model consists of two sub-networks: a deep recurrent neural network for sentences and a deep convolutional network for images. These two sub-networks interact with each other in a multimodal layer to form the whole m-RNN model. The effectiveness of our model is validated on four benchmark datasets (IAPR TC-12, Flickr 8K, Flickr 30K and MS COCO). Our model outperforms the state-of-the-art methods. In addition, we apply the m-RNN model to retrieval tasks for retrieving images or sentences, and achieves significant performance improvement over the state-of-the-art methods which directly optimize the ranking objective function for retrieval. The project page of this work is: www.stat.ucla.edu/~junhua.mao/m-RNN.html .


title: On a perturbation determinant for accumulative operators

abstract: For a purely imaginary sign-definite perturbation of a self-adjoint operator, we obtain exponential representations for the perturbation determinant in both upper and lower half-planes and derive respective trace formulas.


title: Multiply Degenerate Exceptional Points and Quantum Phase Transitions

abstract: The realization of a genuine phase transition in quantum mechanics requires that at least one of the Kato's exceptional-point parameters becomes real. A new family of finite-dimensional and time-parametrized quantum-lattice models with such a property is proposed and studied. All of them exhibit, at a real exceptional-point time $t=0$, the Jordan-block spectral degeneracy structure of some of their observables sampled by Hamiltonian $H(t)$ and site-position $Q(t)$. The passes through the critical instant $t=0$ are interpreted as schematic simulations of non-equivalent versions of the Big-Bang-like quantum catastrophes.


title: The total external length of the evolving Kingman coalescent

abstract: The evolving Kingman coalescent is the tree-valued process which records the time evolution undergone by the genealogies of Moran populations. We consider the associated process of total external tree length of the evolving Kingman coalescent and its asymptotic behaviour when the number of leaves of the tree tends to infinity. We show that on the time-scale of the Moran model slowed down by a factor equal to the population size, the (centred and rescaled) external length process converges to a stationary Gaussian process with almost surely continuous paths and covariance function $c(s,t)=\Big( \frac 2 {2+|s-t|} \Big)^2$. A key role in the evolution of the external length is played by the internal lengths of finite orders in the coalescent at a fixed time which behave asymptotically in a multivariate Gaussian manner (see Dahmer and Kersting (2015)). A coupling of the Moran model with a critical branching process is used. We also derive a central limit result for normally distributed sums endowed with independent random coefficients.


title: Coherent view of crystal chemistry and ab initio analyses of Pb(II) and Bi(III) Lone Pair in square planar coordination

abstract: The stereochemistry of 6s2 (E) lone pair of divalent Pb and trivalent Bi (PbII and BiIII designated by M*) in structurally related PbO, PbFX (X= Cl, Br, I), BiOX (X= F, Cl, Br, I) and Bi2NbO5F is rationalized. The lone pair LP presence determined by its sphere of influence E, equal to those of oxygen or fluorine anions, was settled by its center then giving M*-E directions and distances. Detailed description of structural features of both elements in the title compounds characterized by [PbEO]n and [BiEO]n layers allowed to show the evolution of M*-E distance versus the changes with the square pyramidal SP coordination polyhedra. All are different, in red PbO one finds {PbEO4E4} square antiprism, a {[Bi.E]O4X4Xapical} monocapped square antiprism in PbFX and BiOX and {BiEO4F4}square antiprism in Bi2NbO5F. To analyze the crystal chemistry results, the electronic structures of these compounds were calculated within density functional theory DFT. Real space analyses of electron localization illustrate a full volume development of the lone pair on PbII within {PbEO4E4} in PbOE, {PbEF4X4} in PbFXE and Bi(III) within {BiEO4X4} square antiprisms, contrary to Bi(III) within {[Bi.E]O4F4Fapical} monocapped square antiprism. Larger hardness (larger bulk modules B0) and band gap characterize BiOF versus PbO due to the presence of F which brings antibonding Bi-F interactions oppositely to mainly bonding Bi-O. In PbFX and BiOX series there is a systematic decrease of B0 with the increasing volume following the nature and size of X which is decreasingly electronegative and increasingly large. The electronic densities of states mirror these effects through the relative energy position and relative electronegativities of F/X and O/X leading to decrease the band gap.


title: Achievable polarization for Heat-Bath Algorithmic Cooling

abstract: Pure quantum states play a central role in applications of quantum information, both as initial states for many algorithms and as resources for quantum error correction. Preparation of highly pure states that satisfy the threshold for quantum error correction remains a challenge, not only for ensemble implementations like NMR or ESR but also for other technologies. Heat-Bath Algorithmic Cooling is a method to increase the purity of set of qubits coupled to a bath. We investigated the achievable polarization by analyzing the state when no more entropy can be extracted. In particular we give an analytic form for the maximum polarization of the purified qubit and corresponding state of the whole system for the case when the initial state of the qubits is totally mixed. It is however possible to reach higher polarization while starting with other states with higher polarization, thus our result provides an achievable lower bound. We also give an upper bound of the number of steps needed to get a certain required polarization.


title: Artifact Centric Business Process Management Logging Schema

abstract: Understanding the evolution of business artifacts will enable business analyst to discover more insight from process execution data. In this context, describing how the artifacts are wired, helps in understanding, predicting and optimizing the behavior of dynamic processes. In many cases, however, process artifacts evolve over time, as they pass through the business's operations. Consequently, understanding the evolution of artifacts becomes challenging and requires analyzing the provenance of business artifacts. In this paper our aim is to analyze and classify existing challenges in artifact centric business processes. We propose to extend Provenance techniques to artifact centric BPMs in order to perform cross cutting concerns on BPMs. Provenance is pre-requirement of addressing cross cutting concerns, which will provide information regarding artifact instance creation and its evolution during its life cycle. Due to dynamic nature of dynamic processes and declarative structure of Artifact Centric BPM systems, it's vital to make sure how an artifact instance actually executed and evolved during its processing in run time.


title: A geometric Hall-type theorem

abstract: We introduce a geometric generalization of Hall's marriage theorem. For any family $F = \{X_1, \dots, X_m\}$ of finite sets in $\mathbb{R}^d$, we give conditions under which it is possible to choose a point $x_i\in X_i$ for every $1\leq i \leq m$ in such a way that the points $\{x_1,...,x_m\}\subset \mathbb{R}^d$ are in general position. We give two proofs, one elementary proof requiring slightly stronger conditions, and one proof using topological techniques in the spirit of Aharoni and Haxell's celebrated generalization of Hall's theorem.


title: A Dynamical System Analysis of $f(R,T)$ Gravity

abstract: We investigate equations of motion and future singularities of $f(R,T)$ gravity where $R$ is the Ricci scalar and $T$ is the trace of stress-energy tensor. Future singularities for two kinds of equation of state (barotropic perfect fluid and generalized form of equation of state) are studied. While no future singularity is found for the first case, some kind of singularity is found to be possible for the second. We also investigate $f(R,T)$ gravity by the method of dynamical systems and obtain some fixed points. Finally, the effect of the Noether symmetry on $f(R,T)$ is studied and the consistent form of $f(R,T)$ function is found using the symmetry and the conserved charge.


title: Deterministic Randomness Extraction from Generalized and Distributed Santha-Vazirani Sources

abstract: A Santha-Vazirani (SV) source is a sequence of random bits where the conditional distribution of each bit, given the previous bits, can be partially controlled by an adversary. Santha and Vazirani show that deterministic randomness extraction from these sources is impossible. In this paper, we study the generalization of SV sources for non-binary sequences. We show that unlike the binary case, deterministic randomness extraction in the generalized case is sometimes possible. We present a necessary condition and a sufficient condition for the possibility of deterministic randomness extraction. These two conditions coincide in "non-degenerate" cases. Next, we turn to a distributed setting. In this setting the SV source consists of a random sequence of pairs $(a_1, b_1), (a_2, b_2), \ldots$ distributed between two parties, where the first party receives $a_i$'s and the second one receives $b_i$'s. The goal of the two parties is to extract common randomness without communication. Using the notion of maximal correlation, we prove a necessary condition and a sufficient condition for the possibility of common randomness extraction from these sources. Based on these two conditions, the problem of common randomness extraction essentially reduces to the problem of randomness extraction from (non-distributed) SV sources. This result generalizes results of G\'acs and K\"orner, and Witsenhausen about common randomness extraction from i.i.d. sources to adversarial sources.


title: Universal spectral correlations in ensembles of random normal matrices

abstract: We consider non-gaussian ensembles of random normal matrices with the constraint that the ensembles are invariant under unitary transformations. We show that the level density of eigenvalues exhibits disk to ring transition in the complex plane. We also show that the n-eigenvalue correlation and the spacing distribution are universal and identical to that of complex (Gaussian) Ginibre ensemble. Our results are confirmed by Monte Carlo calculations. We verify the universality for dissipative quantum kicked rotor system.


title: Localized concentration of semi-classical states for nonlinear Dirac equations

abstract: The present paper studies concentration phenomena of semiclassical approximation of a massive Dirac equation with general nonlinear self-coupling: \[ -i\hbar\alpha\cdot\nabla w+a\beta w+V(x)w=g(|w|)w \,. \] Compared with some existing issues, the most interesting results obtained here are twofold: the solutions concentrating around local minima of the external potential; and the nonlinearities assumed to be either super-linear or asymptotically linear at the infinity. As a consequence one sees that, if there are $k$ bounded domains $\Lambda_j\subset\mathbb{R}^3$ such that $-a<\min_{\Lambda_j} V=V(x_j)<\min_{\partial\Lambda_j}V$, $x_j\in\Lambda_j$, then the $k$-families of solutions $w_\hbar^j$ concentrates around $x_j$ as $\hbar\to 0$, respectively. The proof relies on variational arguments: the solutions are found as critical points of an energy functional. The Dirac operator has a continuous spectrum which is not bounded from below and above, hence the energy functional is strongly indefinite. A penalization technique is developed here to obtain the desired solutions.


title: Parity and Time-Reversal Violation in Atomic Systems

abstract: Studying the violation of parity and time-reversal invariance in atomic systems has proven to be a very effective means for testing the electroweak theory at low energy and searching for physics beyond it. Recent developments in both atomic theory and experimental methods have led to the ability to make extremely precise theoretical calculations and experimental measurements of these effects. Such studies are complementary to direct high-energy searches, and can be performed for just a fraction of the cost. We review the recent progress in the field of parity and time-reversal violation in atoms, molecules, and nuclei, and examine the implications for physics beyond the Standard Model, with an emphasis on possible areas for development in the near future.


title: Weakly Supervised Multi-Embeddings Learning of Acoustic Models

abstract: We trained a Siamese network with multi-task same/different information on a speech dataset, and found that it was possible to share a network for both tasks without a loss in performance. The first task was to discriminate between two same or different words, and the second was to discriminate between two same or different talkers.


title: Strong Equivalence of the Interleaving and Functional Distortion Metrics for Reeb Graphs

abstract: The Reeb graph is a construction that studies a topological space through the lens of a real valued function. It has widely been used in applications, however its use on real data means that it is desirable and increasingly necessary to have methods for comparison of Reeb graphs. Recently, several methods to define metrics on the space of Reeb graphs have been presented. In this paper, we focus on two: the functional distortion distance and the interleaving distance. The former is based on the Gromov--Hausdorff distance, while the latter utilizes the equivalence between Reeb graphs and a particular class of cosheaves. However, both are defined by constructing a near-isomorphism between the two graphs of study. In this paper, we show that the two metrics are strongly equivalent on the space of Reeb graphs. In particular, this gives an immediate proof of bottleneck stability for persistence diagrams in terms of the Reeb graph interleaving distance.


title: On the characterization of breather and rogue wave solutions and modulation instability of a coupled generalized nonlinear Schr\"odinger equations

abstract: We construct Darboux transformation of a coupled generalized nonlinear Schr\"odinger (CGNLS) equations and obtain exact analytic expressions of breather and rogue wave solutions. We also formulate the conditions for isolating these solutions. We show that the rogue wave solution can be found only when the four wave mixing parameter becomes real. We also investigate the modulation instability of the steady state solution of CGNLS system and demonstrate that it can occur only when the four wave mixing parameter becomes real. Our results give an evidence for the connection between the occurrence of rogue wave solution and the modulation instability.


title: Self-Fourier transform and self-Fourier beams due to parabolic potential

abstract: We investigate the propagation of light beams including Hermite-Gauss, Bessel-Gauss and finite energy Airy beams in a linear medium with parabolic potential. Expectedly, the beams undergo oscillation during propagation, but quite unexpectedly they also perform automatic Fourier transform, that is, periodic change from the beam to its Fourier transform and back. The oscillating period of parity-asymmetric beams is twice that of the parity-symmetric beams. In addition to oscillation, the finite-energy Airy beams exhibit periodic inversion during propagation. Based on the propagation in parabolic potential, we introduce a class of optically-interesting beams that are self-Fourier beams -- that is, the beams whose Fourier transforms are the beams themselves.


title: Qualitative shape representation based on the qualitative relative direction and distance calculus eOPRAm

abstract: This document serves as a brief technical report, detailing the processes used to represent and reconstruct simplified polygons using qualitative spatial descriptions, as defined by the eOPRAm qualitative spatial calculus.


title: Incremental Adaptation Strategies for Neural Network Language Models

abstract: It is today acknowledged that neural network language models outperform backoff language models in applications like speech recognition or statistical machine translation. However, training these models on large amounts of data can take several days. We present efficient techniques to adapt a neural network language model to new data. Instead of training a completely new model or relying on mixture approaches, we propose two new methods: continued training on resampled data or insertion of adaptation layers. We present experimental results in an CAT environment where the post-edits of professional translators are used to improve an SMT system. Both methods are very fast and achieve significant improvements without overfitting the small adaptation data.


title: Deep learning with Elastic Averaging SGD

abstract: We study the problem of stochastic optimization for deep learning in the parallel computing environment under communication constraints. A new algorithm is proposed in this setting where the communication and coordination of work among concurrent processes (local workers), is based on an elastic force which links the parameters they compute with a center variable stored by the parameter server (master). The algorithm enables the local workers to perform more exploration, i.e. the algorithm allows the local variables to fluctuate further from the center variable by reducing the amount of communication between local workers and the master. We empirically demonstrate that in the deep learning setting, due to the existence of many local optima, allowing more exploration can lead to the improved performance. We propose synchronous and asynchronous variants of the new algorithm. We provide the stability analysis of the asynchronous variant in the round-robin scheme and compare it with the more common parallelized method ADMM. We show that the stability of EASGD is guaranteed when a simple stability condition is satisfied, which is not the case for ADMM. We additionally propose the momentum-based version of our algorithm that can be applied in both synchronous and asynchronous settings. Asynchronous variant of the algorithm is applied to train convolutional neural networks for image classification on the CIFAR and ImageNet datasets. Experiments demonstrate that the new algorithm accelerates the training of deep architectures compared to DOWNPOUR and other common baseline approaches and furthermore is very communication efficient.


title: The BBGKY Hierarchy and Fokker-Planck Equation for Many-Body Dissipative Randomly Driven Systems

abstract: By generalizing Bogolyubov's reduced description method, we suggest a formalism to derive kinetic equations for many-body dissipative systems in external stochastic field. As a starting point, we use a stochastic Liouville equation obtained from Hamilton's equations taking dissipation and stochastic perturbations into account. The Liouville equation is then averaged over realizations of the stochastic field by an extension of the Furutsu-Novikov formula to the case of a non-Gaussian field. As the result, a generalization of the classical Bogolyubov-Born-Green-Kirkwood-Yvon (BBGKY) hierarchy is derived. In order to get a kinetic equation for the one-particle distribution function, we use a regular cut off procedure of the BBGKY hierarchy by assuming weak interaction between the particles and weak intensity of the field. Within this approximation we get the corresponding Fokker-Planck equation for the system in a non-Gaussian stochastic field. Two particular cases by assuming either Gaussian statistics of external perturbation or homogeneity of the system are discussed.


title: Asymptotic geometry of discrete interlaced patterns: Part I

abstract: A discrete Gelfand-Tsetlin pattern is a configuration of particles in Z^2. The particles are arranged in a finite number of consecutive rows, numbered from the bottom. There is one particle on the first row, two particles on the second row, three particles on the third row, etc, and particles on adjacent rows satisfy an interlacing constraint. We consider the uniform probability measure on the set of all discrete Gelfand-Tsetlin patterns of a fixed size where the particles on the top row are in deterministic positions. This measure arises naturally as an equivalent description of the uniform probability measure on the set of all tilings of certain polygons with lozenges. We prove a determinantal structure, and calculate the correlation kernel. We consider the asymptotic behaviour of the system as the size increases under the assumption that the empirical distribution of the deterministic particles on the top row converges weakly. We consider the asymptotic `shape' of such systems. We provide parameterisations of the asymptotic boundaries and investigate the local geometric properties of the resulting curves. We show that the boundary can be partitioned into natural sections which are determined by the behaviour of the roots of a function related to the correlation kernel. This paper should be regarded as a companion piece to the upcoming paper, [4], in which we resolve some of the remaining issues. Both of these papers serve as background material for the upcoming papers, [5] and [6], in which we examine the edge asymptotic behaviour.


title: Pinning down top dipole moments with ultra-boosted tops

abstract: We investigate existing and future hadron-collider constraints on the top dipole chromomagnetic and chromoelectric moments, two quantities that are expected to be modified in the presence of new physics. We focus first on recent measurements of the inclusive top pair production cross section at the Tevatron and at the Large Hadron Collider. We then analyse the role of top-antitop events produced at very large invariant masses, in the context of the forthcoming 13-14 TeV runs of the LHC, and at a future 100 TeV proton-proton collider. In this latter case, the selection of semileptonic decays to hard muons allows to tag top quarks boosted to the multi-TeV regime, strongly reducing the QCD backgrounds and leading to a significant improvement in the sensitivity to anomalous top couplings.


title: The VELO Upgrade

abstract: A significant upgrade of the LHCb detector is scheduled to be installed in 2018-2019. Afterwards all sub-detectors will be read out at the LHC bunch crossing frequency of 40 MHz and the trigger will be fully implemented in software. The silicon strip vertex detector will be replaced by a hybrid pixel detector. In these proceedings the following items are discussed: frontend ASIC, data rates, data transmission, cooling, radiation hard sensors, module design and simulated performance.


title: Beltrami-Bernoulli Equilibria in Plasmas with Degenerate Electrons

abstract: A new class of Double Beltrami-Bernoulli equilibria, sustained by electron degeneracy pressure, are investigated. It is shown that due to electron degeneracy, a nontrivial Beltrami-Bernoulli equilibrium state is possible even for a zero temperature plasma. These states are, conceptually, studied to show the existence of new energy transformation pathways converting, for instance, the degeneracy energy into fluid kinetic energy. Such states may be of relevance to compact astrophysical objects like white dwarfs, neutron stars etc.


title: Topological dynamics of automorphism group of countably categorical structures

abstract: We consider automorphism groups of some countably categorical structures and their precompact expansions. We prove that automorphism groups of omega-stable omega-categorical structures have metrizable universal minimal flows. We also study amenability of these groups. This is a draft of a paper which will be extended by some other results.


title: Three competing patterns

abstract: Assuming repeated independent sampling from a Bernoulli distribution with two possible outcomes S and F, there are formulas for computing the probability of one specific pattern of consecutive outcomes (such as SSFFSS) winning (i.e. being generated first) over another such pattern (e.g. SFSSFS). In this article we will extend the theory to three competing patterns.


title: On isometry and isometric embeddability between ultrametric Polish spaces

abstract: We study the complexity with respect to Borel reducibility of the relations of isometry and isometric embeddability between ultrametric Polish spaces for which a set $D$ of possible distances is fixed in advance. These are, respectively, an analytic equivalence relation and an analytic quasi-order and we show that their complexity depends only on the order type of $D$. When $D$ contains a decreasing sequence, isometry is Borel bireducible with countable graph isomorphism and isometric embeddability has maximal complexity among analytic quasi-orders. If $D$ is well-ordered the situation is more complex: for isometry we have an increasing sequence of Borel equivalence relations of length $\omega_1$ which are cofinal among Borel equivalence relations classifiable by countable structures, while for isometric embeddability we have an increasing sequence of analytic quasi-orders of length at least $\omega+3$. We then apply our results to solve various open problems in the literature. For instance, we answer a long-standing question of Gao and Kechris by showing that the relation of isometry on locally compact ultrametric Polish spaces is Borel bireducible with countable graph isomorphism.


title: Duality for generic algebras

abstract: We prove that double dualization into the generic algebra for an algebraic theory has some Gelfand- or Stone- duality properties


title: Galactic nebular lines in the fiber spectra of background QSOs: Reaching a hundred QSO-galaxy pairs with spectroscopic and photometric measurements

abstract: We present photometric and spectroscopic measurements of 53 QSO-galaxy pairs from the Sloan Digital Sky Survey, where nebular emission lines from a 0<z<0.84 foreground galaxy are detected in the fiber spectra of a background QSO, bringing the overall sample to 103 QSO-galaxy pairs detected in the SDSS. We here study the nature of these systems. Detected foreground galaxies appear at impact parameters between 0.37 kpc and 12.68 kpc. The presence of oxygen and Balmer emission lines allows us to determine the emission line metallicities for our sample, which are on average super-solar in value. Star formation rates for our sample are in the range 0.01-12 M_sol yr^-1. We utilize photometric redshift fitting techniques to estimate the M_stellar values of our galaxies (log M_stellar = 7.34 - 11.54), and extrapolate this relationship to those galaxies with no imaging detections. Where available, we measure the absorption features present in the QSO spectrum due to the foreground galaxy and the relationships between their rest equivalent widths. We report an anti-correlation between impact parameter and E(B-V)_(g-i), as well as a correlation between galaxy color (u-r) and E(B-V)_(g-i). We find that our sample is one of late-type, star forming galaxies comparable to field galaxies in a similar redshift range, providing important clues to better understand absorption systems. These galaxies represent a sample of typical galaxies in the local Universe for which abundances, extinction, morphology, and absorption properties may be measured using background QSOs with great potential for follow-up observations.


title: The conjugacy problem for positive homogeneously presented monoids

abstract: Let $M$ be a positive homogeneously presented monoid ${\langle L \mid R\,\rangle}_{mo}$. If $M$ satisfies the cancellation condition and carries certain particular elements similar to the \emph{fundamental elements} in Artin monoids, then the solvability of the conjugacy problem for $M$ implies that in the corresponding group ${\langle L \mid R\,\rangle}$. In addition to these conditions, if $M$ satisfies the LCM condition (i.e. any two elements $\alpha$ and $\beta$ in $M$ admit the left (resp.~right) least common multiple), then the solution to the conjugacy problem for $M$ is known. We will give two kinds of examples that do not satisfy only the LCM condition. For these examples, we will give a solution to the conjugacy problem by improving the method given by E. Brieskorn and K. Saito.


title: Search for charged Higgs bosons decaying via $H^{\pm} \rightarrow \tau^{\pm}\nu$ in fully hadronic final states using $pp$ collision data at $\sqrt{s} = 8$ TeV with the ATLAS detector

abstract: The results of a search for charged Higgs bosons decaying to a $\tau$ lepton and a neutrino, $H^{\pm} \rightarrow \tau^{\pm} \nu$, are presented. The analysis is based on 19.5 fb$^{-1}$ of proton-proton collision data at $\sqrt{s}=8$ TeV collected by the ATLAS experiment at the Large Hadron Collider. Charged Higgs bosons are searched for in events consistent with top-quark pair production or in associated production with a top quark. The final state is characterised by the presence of a hadronic $\tau$ decay, missing transverse momentum, $b$-tagged jets, a hadronically decaying $W$ boson, and the absence of any isolated electrons or muons with high transverse momenta. The data are consistent with the expected background from Standard Model processes. A statistical analysis leads to 95\% confidence-level upper limits on the product of branching ratios $ {\cal B}(t\rightarrow bH^\pm) \times {\cal B} (H^\pm\rightarrow \tau^{\pm}\nu) $, between 0.23% and 1.3% for charged Higgs boson masses in the range 80-160 GeV. It also leads to 95% confidence-level upper limits on the production cross section times branching ratio, $\sigma(pp \rightarrow tH^{\pm} + X) \times {\cal B}(H^{\pm} \rightarrow \tau^{\pm} \nu)$, between 0.76 pb and 4.5 fb, for charged Higgs boson masses ranging from 180 GeV to 1000 GeV. In the context of different scenarios of the Minimal Supersymmetric Standard Model, these results exclude nearly all values of $\tan\beta$ above one for charged Higgs boson masses between 80 GeV and 160 GeV, and exclude a region of parameter space with high $\tan\beta$ for $H^{\pm}$ masses between 200 GeV and 250 GeV.


title: Accuracy of the box-counting algorithm for noisy fractals

abstract: The box-counting (BC) algorithm is applied to calculate fractal dimensions of four fractal sets. The sets are contaminated with an additive noise with amplitude $\gamma = 10^{-5} \div 10^{-1}$. The accuracy of calculated numerical values of the fractal dimensions is analyzed as a function of $\gamma$ for different sizes of the data sample ($n_{tot}$). In particular, it has been found that a tiny ($10^{-5}$) addition of noise generates much larger (three orders of magnitude) error of the calculated fractal exponents. Natural saturation of the error for larger noise values prohibits the power-like scaling. Moreover, the noise effect cannot be cured by taking larger data samples.


title: Formation of hypermatter and hypernuclei within transport models in relativistic ion collisions

abstract: Within a combined approach we investigate the main features of the production of hyper-fragments in relativistic heavy-ion collisions. The formation of hyperons is modelled within the UrQMD and HSD transport codes. To describe the hyperon capture by nucleons and nuclear residues a coalescence of baryons (CB) model was developed. We demonstrate that the origin of hypernuclei of various masses can be explained by typical baryon interactions, and that it is similar to processes leading to the production of conventional nuclei. At high beam energies we predict a saturation of the yields of all hyper-fragments, therefore, this kind of reactions can be studied with high yields even at the accelerators of moderate relativistic energies.


title: An alternative for teaching and learning the simple diffusion process using Algodoo animations

abstract: In this work animations of the random walk movement using a freeware Algodoo were done in order to support teaching the concepts of Brownian Motion. The random walk movement were simulate considering elastic collision between the particles in suspension in a fluid, and the particles which constitute the fluid. The intensity of velocities where defined in an arbitrary range, and we have a random distribution of the velocity directions. Using two methods, the distribution histogram of displacements (DHD) and the mean-square-displacement ${\langle{\Delta r^{2}}\rangle}$ (MSD), it was possible to measure the diffusion coefficient of the system, and determine the regions where the system presents ballistic regime or diffusive transport regime. The ballistic regime was observed graphically when the MSD has a parabolic dependence with time, which differing from the typical diffusive regime where MSD has a linear dependence. The didactical strategy for combining analytical approaches as graphic analysis, and animations in software's with easy implementation supports the teaching and learning processes, especially in Physics were we want to explain experimental results within theoretical models.


title: Stability and Resolution Analysis of Topological Derivative Based Localization of Small Electromagnetic Inclusions

abstract: The aim of this article is to elaborate and rigorously analyze a topological derivative based imaging framework for locating an electromagnetic inclusion of diminishing size from boundary measurements of the tangential component of scattered magnetic field at a fixed frequency. The inverse problem of inclusion detection is formulated as an optimization problem in terms of a filtered discrepancy functional and the topological derivative based imaging functional obtained therefrom. The sensitivity and resolution analysis of the imaging functional is rigorously performed. It is substantiated that the Rayleigh resolution limit is achieved. Further, the stability of the reconstruction with respect to measurement and medium noises is investigated and the signal-to-noise ratio is evaluated in terms of the imaginary part of free space fundamental magnetic solution.


title: A HHL 3-point correlation function in the \eta-deformed AdS_5 x S^5

abstract: We derive the 3-point correlation function between two giant magnons heavy string states and the light dilaton operator with zero momentum in the \eta-deformed AdS_5 x S^5 valid for any J_1 and \eta in the semiclassical limit. We show that this result satisfies a consistency relation between the 3-point correlation function and the conformal dimension of the giant magnon. We also provide a leading finite J_1 correction explicitly.


title: Differential smoothness of affine Hopf algebras of Gelfand-Kirillov dimension two

abstract: Two-dimensional integrable differential calculi for classes of Ore extensions of the polynomial ring and the Laurent polynomial ring in one variable are constructed. Thus it is concluded that all affine pointed Hopf domains of Gelfand-Kirillov dimension two which are not polynomial identity rings are differentially smooth.


title: Extended Theories of Gravity with Generalized Energy Conditions

abstract: We address the problem of the energy conditions in modified gravity taking into account the additional degrees of freedom related to scalar fields and curvature invariants. The latter are usually interpreted as generalized {\it geometrical fluids} that differ in meaning with respect to the matter fluids generally considered as sources of the field equations. In extended gravity theories the curvature terms are encapsulated in a tensor $H^{ab}$ and a coupling $g(\Psi^i)$ that can be recast as effective Einstein field equations, with corrections to the energy-momentum tensor of matter. The formal validity of standard energy inequalities does not assure basic requirements such as the attractive nature of gravity, so we argue that the energy conditions have to be considered in a wider sense.


title: Testing Lambda CDM cosmology at turnaround: where to look for violations of the bound?

abstract: In $\Lambda$CDM cosmology, structure formation is halted shortly after dark energy dominates the mass/energy budget of the Universe. A manifestation of this effect is that in such a cosmology the turnaround radius has an upper bound. Recently, a new, local, test for the existence of dark energy in the form of a cosmological constant was proposed based on this turnaround bound. Before designing an experiment that, through high-precision determination of masses and turnaround radii, will challenge $\Lambda$CDM cosmology, we have to answer two important questions: first, when turnaround-scale structures are predicted to be close enough to their maximum size, so that a possible violation of the bound may be observable. Second, which is the best mass scale to target for possible violations of the bound. Using the Press-Schechter formalism, we find that turnaround structures have in practice already stopped forming, and consequently, the turnaround radius of structures must be very close to the maximum value today. We also find that the mass scale of $\sim 10^{13} M_\odot$ characterizes turnaround structures that start to form in a statistically important number density today. This mass scale also separates turnaround structures with different cosmological evolution: smaller structures are no longer readjusting their mass distribution inside the turnaround scale, they asymptotically approach their ultimate abundance from higher values, and they are common enough to have, at some epoch, experienced major mergers with structures of comparable mass; larger structures exhibit the opposite behavior. We call this mass scale the transitional mass scale and we argue that it is the optimal for the purpose outlined above. As a corollary result, we explain the different accretion behavior of small and larger structures observed in already conducted numerical simulations.


title: Competing Orders in a Dipolar Bose-Fermi Mixture on a Square Optical Lattice: Mean-Field Perspective

abstract: We consider a mixture of a two-component Fermi gas and a single-component dipolar Bose gas in a square optical lattice and reduce it into an effective Fermi system where the Fermi-Fermi interaction includes the attractive interaction induced by the phonons of a uniform dipolar Bose-Einstein condensate. Focusing on this effective Fermi system in the parameter regime that preserves the symmetry of $D_4$, the point group of a square, we explore, within the Hartree-Fock-Bogoliubov mean-field theory, the phase competition among density wave orderings and superfluid pairings. We construct the matrix representation of the linearized gap equation in the irreducible representations of $D_4$. We show that in the weak coupling regime, each matrix element, which is a four-dimensional (4D) integral in momentum space, can be put in a separable form involving a 1D integral, which is only a function of temperature and the chemical potential, and a pairing-specific "effective" interaction, which is an analytical function of the parameters that characterize the Fermi-Fermi interactions in our system. We analyze the critical temperatures of various competing orders as functions of different system parameters in both the absence and presence of the dipolar interaction. We find that close to half filling, the d_{x^{2}-y^{2}}-wave pairing with a critical temperature in the order of a fraction of Fermi energy (at half filling) may dominate all other phases, and at a higher filling factor, the p-wave pairing with a critical temperature in the order of a hundredth of Fermi energy may emerge as a winner. We find that tuning a dipolar interaction can dramatically enhance the pairings with $d_{xy}$- and g-wave symmetries but not enough for them to dominate other competing phases.


title: An Extensible Benchmarking Infrastructure for Motion Planning Algorithms

abstract: Sampling-based planning algorithms are the most common probabilistically complete algorithms and are widely used on many robot platforms. Within this class of algorithms, many variants have been proposed over the last 20 years, yet there is still no characterization of which algorithms are well-suited for which classes of problems. This has motivated us to develop a benchmarking infrastructure for motion planning algorithms. It consists of three main components. First, we have created an extensive benchmarking software framework that is included with the Open Motion Planning Library (OMPL), a C++ library that contains implementations of many sampling-based algorithms. Second, we have defined extensible formats for storing benchmark results. The formats are fairly straightforward so that other planning libraries could easily produce compatible output. Finally, we have created an interactive, versatile visualization tool for compact presentation of collected benchmark data. The tool and underlying database facilitate the analysis of performance across benchmark problems and planners.


title: Characterization of the irregularity of a terrain using fractal dimension of lakes' boundaries

abstract: Even though many objects and phenomena of importance in geophysics have been shown to have fractal character, there are still many of them which show self-similar character and yet to be studied. The objective of the present work is to demonstrate that the fractal dimension of the boundary of a natural water body can be used to shed light on irregularity as well as other properties of a region. Owing to easy availability of satellite images and image processing softwares this turns out to be a handy tool. In this study, we have analyzed several lakes in India mostly around the Western Ghats region. We find that the fractal dimension of their boundaries for the length scales between around 40 meters to 2 kilometers, in general, has broad variation from 1.2 to 1.6. But when they are grouped into three categories, viz., lakes along the ridge of Western Ghats, lakes in the planes and lakes in the mountain region, we find the first two groups to have a narrower distribution of dimensions.


title: Enabling Interactivity on Displays of Multivariate Time Series and Longitudinal Data

abstract: Temporal data is information measured in the context of time. This contextual structure provides components that need to be explored to understand the data and that can form the basis of interactions applied to the plots. In multivariate time series we expect to see temporal dependence, long term and seasonal trends and cross-correlations. In longitudinal data we also expect within and between subject dependence. Time series and longitudinal data, although analyzed differently, are often plotted using similar displays. We provide a taxonomy of interactions on plots that can enable exploring temporal components of these data types, and describe how to build these interactions using data transformations. Because temporal data is often accompanied other types of data we also describe how to link the temporal plots with other displays of data. The ideas are conceptualized into a data pipeline for temporal data, and implemented into the R package cranvas. This package provides many different types of interactive graphics that can be used together to explore data or diagnose a model fit.


title: On the Richter-Thomassen Conjecture about Pairwise Intersecting Closed Curves

abstract: A long standing conjecture of Richter and Thomassen states that the total number of intersection points between any $n$ simple closed Jordan curves in the plane, so that any pair of them intersect and no three curves pass through the same point, is at least $(1-o(1))n^2$. We confirm the above conjecture in several important cases, including the case (1) when all curves are convex, and (2) when the family of curves can be partitioned into two equal classes such that each curve from the first class is touching every curve from the second class. (Two curves are said to be touching if they have precisely one point in common, at which they do not properly cross.) An important ingredient of our proofs is the following statement: Let $S$ be a family of the graphs of $n$ continuous real functions defined on $\mathbb{R}$, no three of which pass through the same point. If there are $nt$ pairs of touching curves in $S$, then the number of crossing points is $\Omega(nt\sqrt{\log t/\log\log t})$.


title: System Architecture and Key Technologies for 5G Heterogeneous Cloud Radio Access Networks

abstract: Compared with the fourth generation (4G) cellular systems, the fifth generation wireless communication systems (5G) are anticipated to provide spectral and energy efficiency growth by a factor of at least 10, and the area throughput growth by a factor of at least 25. To achieve these goals, a heterogeneous cloud radio access network (H-CRAN) is presented in this article as the advanced wireless access network paradigm, where cloud computing is used to fulfill the centralized large-scale cooperative processing for suppressing co-channel interferences. The state-of-the-art research achievements in aspects of system architecture and key technologies for H-CRANs are surveyed. Particularly, Node C as a new communication entity is defined to converge the existing ancestral base stations and act as the base band unit (BBU) pool to manage all accessed remote radio heads (RRHs), and the software-defined H-CRAN system architecture is presented to be compatible with software-defined networks (SDN). The principles, performance gains and open issues of key technologies including adaptive large-scale cooperative spatial signal processing, cooperative radio resource management, network function virtualization, and self-organization are summarized. The major challenges in terms of fronthaul constrained resource allocation optimization and energy harvesting that may affect the promotion of H-CRANs are discussed as well.


title: Algorithms and error bounds for noisy phase retrieval with low-redundancy frames

abstract: The main objective of this paper is to find algorithms accompanied by explicit error bounds for phase retrieval from noisy magnitudes of frame coefficients when the underlying frame has a low redundancy. We achieve these goals with frames consisting of $N=6d-3$ vectors spanning a $d$-dimensional complex Hilbert space. The two algorithms we use, phase propagation or the kernel method, are polynomial time in the dimension $d$. To ensure a successful approximate recovery, we assume that the noise is sufficiently small compared to the squared norm of the vector to be recovered. In this regime, the error bound is inverse proportional to the signal-to-noise ratio. Upper and lower bounds on the sample values of trigonometric polynomials are a central technique in our error estimates.


title: Analysis of the top-quark charged-current coupling at the LHeC

abstract: In the context of $SU(2)_L\times U(1)$ dimension six operators we study the potential of the LHeC to provide information on top quark effective interactions. We focus on single antitop production and how it is affected not only by the effective $tbW$ coupling but also by four-fermion operators. Compared to the LHC, the LHeC provides a cleaner environment to make a precise measurement of the top quark production cross section. Therefore, this machine would give a much better assesment of $V_{tb}$ in the context of the SM or $V_L$ in the context of higher dimension operators. The LHeC could also give a slightly better measurement for $V_R$. For $g_R$ the HL-LHC precise measurements of $F_L$ and $F_R$ (the $W$-boson helicity decay ratios of top) would yield better constraints than those obtained by the LHeC. Lepton-quark contact interactions would also be significantly better probed by the LHeC, since the only way of measuring them at the LHC would be through leptonic top decay which is hardly sensitive to these interactions.


title: Network Coded Multi-Hop Wireless Communication Networks: Channel Estimation and Training Design

abstract: User cooperation based multi-hop wireless communication networks (MH-WCNs) as the key communication technological component of mobile social networks (MSNs) should be exploited to enhance the capability of accumulating data rates and extending coverage flexibly. As one of the most promising and efficient user cooperation techniques, network coding can increase the potential cooperation performance gains among selfishly driven users in MSNs. To take full advantages of network coding in MH-WCNs, a network coding transmission strategy and its corresponding channel estimation technique are studied in this paper. Particularly, a $4-$hop network coding transmission strategy is presented first, followed by an extension strategy for the arbitrary $2N-$hop scenario ($N\geq 2$). The linear minimum mean square error (LMMSE) and maximum-likelihood (ML) channel estimation methods are designed to improve the transmission quality in MH-WCNs. Closed form expressions in terms of the mean squared error (MSE) for the LMMSE channel estimation method are derived, which allows the design of the optimal training sequence. Unlike the LMMSE method, it is difficult to obtain closed-form MSE expressions for the nonlinear ML channel estimation method. In order to accomplish optimal training sequence design for the ML method, the Cram\'{e}r-Rao lower bound (CRLB) is employed. Numerical results are provided to corroborate the proposed analysis, and the results demonstrate that the analysis is accurate and the proposed methods are effective.


title: Background to Higgs-boson searches from internal conversions of off-shell photons associated with $Z/\gamma ^*$-boson production at the LHC

abstract: This paper presents the studies of the background contribution to the $H \rightarrow 4l$ searches originating from the processes of off-shell (virtual) photon emissions and their conversions into lepton pairs accompanying the production of $Z/ \gamma ^*$-bosons at the LHC. They extend the analyses of the irreducible background presented in the ATLAS and CMS Higgs papers by taking into account the emissions of off-shell photons by parton showers. Including these effects does not change significantly the Higgs-searches background level, provided that the transverse momentum of each of the final-state leptons is restricted to the range of $p_{T, l} > 7$ GeV. In the kinematical region extended towards lower lepton transverse momenta the parton-shower contribution becomes important. A measurement method for pinning down the parton-shower effects is proposed.


title: PAPR Reduction Scheme In MIMO-OFDM Systems With Efficient Embedded Signaling

abstract: Multiple Input Multiple Output (MIMO) Orthogonal Frequency Division Multiplexing (OFDM) is a promising transmission scheme for high performance broadband wireless communications. However, this technique suffers from a major drawback which is the high Peak to Average Power Ratio (PAPR) of the output signals. In order to overcome this issue, several methods that require the transmission of explicit Side Information (SI) bits have been proposed. In fact, the transmitted bits must be channel-encoded as they are particularly critical to the performance of the considered OFDM system. This channel-encoding highly increases the system complexity and also decreases the transmission data rate. For these reasons, we propose in this paper, two robust blind techniques that embed the (SI) implicitly into the OFDM frame. First, we investigate a new technique referred as Blind Space Time Bloc Codes (BSTBC) that is inspired from the conventional Selected Mapping (SLM) approach. This technique banks on an adequate embedded signaling that mainly consist on a specific Space Time Bloc Codes (STBC) patterns and a precoding sequences codebook. Second, in order to improve the signal detection process and the PAPR gain, we propose a new efficient combined Blind SLM-STBC (BSLM-STBC) method. Both methods have the benefit of resulting in an optimized scheme during the signal estimation process that is based on the Max-Log-Maximum A Posteriori (MAP) algorithm. Finally, the obtained performance evaluation results show that our proposed methods result in a spectacular PAPR reduction and furthermore lead to a perfect signal recovery at the receiver side.


title: Knowledge Integration and Diffusion: Measures and Mapping of Diversity and Coherence

abstract: I present a framework based on the concepts of diversity and coherence for the analysis of knowledge integration and diffusion. Visualisations that help understand insights gained are also introduced. The key novelty offered by this framework compared to previous approaches is the inclusion of cognitive distance (or proximity) between the categories that characterise the body of knowledge under study. I briefly discuss the different methods to map the cognitive dimension.


title: On the relationship between interdisciplinarity and impact: different modalities of interdisciplinarity lead to different types of impact

abstract: There is increasing interest among funding agencies to understand how they can best contribute to enhancing the socio-economic impact of research. Interdisciplinarity is often presented as a research mode that can facilitate impact but there exist a limited number of analytical studies that have attempted to examine whether or how interdisciplinarity can affect the societal relevance of research. We investigate fifteen Social Sciences research investments in the UK to examine how they have achieved impact. We analyse research drivers, cognitive distances, degree of integration, collaborative practices, stakeholder engagement and the type of impact generated. The analysis suggests that interdisciplinarity cannot be associated with a single type of impact mechanism. Also, interdisciplinarity is neither a sufficient nor a necessary condition for achieving societal relevance and impact. However, we identify a specific modality -- "long-range" interdisciplinarity, which appears more likely to be associated with societal impact because of its focused problem-orientation and its strong interaction with stakeholders.


title: Spin-Imbalanced Quasi-Two-Dimensional Fermi Gases

abstract: We measure the density profiles for a Fermi gas of $^6$Li containing $N_1$ spin-up atoms and $N_2$ spin-down atoms, confined in a quasi-two-dimensional geometry. The spatial profiles are measured as a function of spin-imbalance $N_2/N_1$ and interaction strength, which is controlled by means of a collisional (Feshbach) resonance. The measured cloud radii and central densities are in disagreement with mean-field Bardeen-Cooper-Schrieffer theory for a true two-dimensional system. We find that the data for normal-fluid mixtures are reasonably well fit by a simple two-dimensional polaron model of the free energy. Not predicted by the model is a phase transition to a spin-balanced central core, which is observed above a critical value of $N_2/N_1$. Our observations provide important benchmarks for predictions of the phase structure of quasi-two-dimensional Fermi gases.


title: On the Entity Hardening Problem in Multi-layered Interdependent Networks

abstract: The power grid and the communication network are highly interdependent on each other for their well being. In recent times the research community has shown significant interest in modeling such interdependent networks and studying the impact of failures on these networks. Although a number of models have been proposed, many of them are simplistic in nature and fail to capture the complex interdependencies that exist between the entities of these networks. To overcome the limitations, recently an Implicative Interdependency Model that utilizes Boolean Logic, was proposed and a number of problems were studied. In this paper we study the entity hardening problem, where by entity hardening we imply the ability of the network operator to ensure that an adversary (be it Nature or human) cannot take a network entity from operative to inoperative state. Given that the network operator with a limited budget can only harden k entities, the goal of the entity hardening problem is to identify the set of k entities whose hardening will ensure maximum benefit for the operator, i.e. maximally reduce the ability of the adversary to degrade the network. We show that the problem is solvable in polynomial time for some cases, whereas for others it is NP-complete. We provide the optimal solution using ILP, and propose a heuristic approach to solve the problem. We evaluate the efficacy of our heuristic using power and communication network data of Maricopa County, Arizona. The experiments show that our heuristic almost always produces near optimal results.