title: Robust Graphical Modeling with t-Distributions

abstract: Graphical Gaussian models have proven to be useful tools for exploring network structures based on multivariate data. Applications to studies of gene expression have generated substantial interest in these models, and resulting recent progress includes the development of fitting methodology involving penalization of the likelihood function. In this paper we advocate the use of the multivariate t and related distributions for more robust inference of graphs. In particular, we demonstrate that penalized likelihood inference combined with an application of the EM algorithm provides a simple and computationally efficient approach to model selection in the t-distribution case.


title: Approximate inference on planar graphs using Loop Calculus and Belief Propagation

abstract: We introduce novel results for approximate inference on planar graphical models using the loop calculus framework. The loop calculus (Chertkov and Chernyak, 2006b) allows to express the exact partition function Z of a graphical model as a finite sum of terms that can be evaluated once the belief propagation (BP) solution is known. In general, full summation over all correction terms is intractable. We develop an algorithm for the approach presented in Chertkov et al. (2008) which represents an efficient truncation scheme on planar graphs and a new representation of the series in terms of Pfaffians of matrices. We analyze in detail both the loop series and the Pfaffian series for models with binary variables and pairwise interactions, and show that the first term of the Pfaffian series can provide very accurate approximations. The algorithm outperforms previous truncation schemes of the loop series and is competitive with other state-of-the-art methods for approximate inference.


title: Quantum Annealing for Clustering

abstract: This paper studies quantum annealing (QA) for clustering, which can be seen as an extension of simulated annealing (SA). We derive a QA algorithm for clustering and propose an annealing schedule, which is crucial in practice. Experiments show the proposed QA algorithm finds better clustering assignments than SA. Furthermore, QA is as easy as SA to implement.


title: Characterizing predictable classes of processes

abstract: The problem is sequence prediction in the following setting. A sequence x1,..., xn,... of discrete-valued observations is generated according to some unknown probabilistic law (measure) mu. After observing each outcome, it is required to give the conditional probabilities of the next observation. The measure mu belongs to an arbitrary class C of stochastic processes. We are interested in predictors ? whose conditional probabilities converge to the 'true' mu-conditional probabilities if any mu { C is chosen to generate the data. We show that if such a predictor exists, then a predictor can also be obtained as a convex combination of a countably many elements of C. In other words, it can be obtained as a Bayesian predictor whose prior is concentrated on a countable set. This result is established for two very different measures of performance of prediction, one of which is very strong, namely, total variation, and the other is very weak, namely, prediction in expected average Kullback-Leibler divergence.


title: Quantum Annealing for Variational Bayes Inference

abstract: This paper presents studies on a deterministic annealing algorithm based on quantum annealing for variational Bayes (QAVB) inference, which can be seen as an extension of the simulated annealing for variational Bayes (SAVB) inference. QAVB is as easy as SAVB to implement. Experiments revealed QAVB finds a better local optimum than SAVB in terms of the variational free energy in latent Dirichlet allocation (LDA).


title: A direct method for estimating a causal ordering in a linear non-Gaussian acyclic model

abstract: Structural equation models and Bayesian networks have been widely used to analyze causal relations between continuous variables. In such frameworks, linear acyclic models are typically used to model the datagenerating process of variables. Recently, it was shown that use of non-Gaussianity identifies a causal ordering of variables in a linear acyclic model without using any prior knowledge on the network structure, which is not the case with conventional methods. However, existing estimation methods are based on iterative search algorithms and may not converge to a correct solution in a finite number of steps. In this paper, we propose a new direct method to estimate a causal ordering based on non-Gaussianity. In contrast to the previous methods, our algorithm requires no algorithmic parameters and is guaranteed to converge to the right solution within a small fixed number of steps if the data strictly follows the model.


title: Incorporating Side Information in Probabilistic Matrix Factorization with Gaussian Processes

abstract: Probabilistic matrix factorization (PMF) is a powerful method for modeling data associ- ated with pairwise relationships, Finding use in collaborative Filtering, computational bi- ology, and document analysis, among other areas. In many domains, there are additional covariates that can assist in prediction. For example, when modeling movie ratings, we might know when the rating occurred, where the user lives, or what actors appear in the movie. It is difficult, however, to incorporate this side information into the PMF model. We propose a framework for incorporating side information by coupling together multi- ple PMF problems via Gaussian process priors. We replace scalar latent features with func- tions that vary over the covariate space. The GP priors on these functions require them to vary smoothly and share information. We apply this new method to predict the scores of professional basketball games, where side information about the venue and date of the game are relevant for the outcome.


title: Prediction with Advice of Unknown Number of Experts

abstract: In the framework of prediction with expert advice, we consider a recently introduced kind of regret bounds: the bounds that depend on the effective instead of nominal number of experts. In contrast to the Normal- Hedge bound, which mainly depends on the effective number of experts but also weakly depends on the nominal one, we obtain a bound that does not contain the nominal number of experts at all. We use the defensive forecasting method and introduce an application of defensive forecasting to multivalued supermartingales.


title: GraphLab: A New Framework For Parallel Machine Learning

abstract: Designing and implementing efficient, provably correct parallel machine learning (ML) algorithms is challenging. Existing high-level parallel abstractions like MapReduce are insufficiently expressive while low-level tools like MPI and Pthreads leave ML experts repeatedly solving the same design challenges. By targeting common patterns in ML, we developed GraphLab, which improves upon abstractions like MapReduce by compactly expressing asynchronous iterative algorithms with sparse computational dependencies while ensuring data consistency and achieving a high degree of parallel performance. We demonstrate the expressiveness of the GraphLab framework by designing and implementing parallel versions of belief propagation, Gibbs sampling, Co-EM, Lasso and Compressed Sensing. We show that using GraphLab we can achieve excellent parallel performance on large scale real-world problems.


title: Gaussian Process Structural Equation Models with Latent Variables

abstract: In a variety of disciplines such as social sciences, psychology, medicine and economics, the recorded data are considered to be noisy measurements of latent variables connected by some causal structure. This corresponds to a family of graphical models known as the structural equation model with latent variables. While linear non-Gaussian variants have been well-studied, inference in nonparametric structural equation models is still underdeveloped. We introduce a sparse Gaussian process parameterization that defines a non-linear structure connecting latent variables, unlike common formulations of Gaussian process latent variable models. The sparse parameterization is given a full Bayesian treatment without compromising Markov chain Monte Carlo efficiency. We compare the stability of the sampling procedure and the predictive ability of the model against the current practice.


title: Maxwell Strata and Conjugate Points in the Sub-Riemannian Problem on the Lie Group SH(2)

abstract: We study local and global optimality of geodesics in the left invariant sub-Riemannian problem on the Lie group $\mathrm{SH}(2)$. We obtain the complete description of the Maxwell points corresponding to the discrete symmetries of the vertical subsystem of the Hamiltonian system. An effective upper bound on the cut time is obtained in terms of the first Maxwell times. We study the local optimality of extremal trajectories and prove the lower and upper bounds on the first conjugate times. We also obtain the generic time interval for the $n$-th conjugate time which is important in the study of sub-Riemannian wavefront. Based on our results of $n$-th conjugate time and $n$-th Maxwell time, we prove a generalization of Rolle's theorem that between any two consecutive Maxwell points, there is exactly one conjugate point along any geodesic.


title: Matrix Coherence and the Nystrom Method

abstract: The Nystrom method is an efficient technique used to speed up large-scale learning applications by generating low-rank approximations. Crucial to the performance of this technique is the assumption that a matrix can be well approximated by working exclusively with a subset of its columns. In this work we relate this assumption to the concept of matrix coherence, connecting coherence to the performance of the Nystrom method. Making use of related work in the compressed sensing and the matrix completion literature, we derive novel coherence-based bounds for the Nystrom method in the low-rank setting. We then present empirical results that corroborate these theoretical bounds. Finally, we present more general empirical results for the full-rank setting that convincingly demonstrate the ability of matrix coherence to measure the degree to which information can be extracted from a subset of columns.


title: Efficient Clustering with Limited Distance Information

abstract: Given a point set S and an unknown metric d on S, we study the problem of efficiently partitioning S into k clusters while querying few distances between the points. In our model we assume that we have access to one versus all queries that given a point s 2 S return the distances between s and all other points. We show that given a natural assumption about the structure of the instance, we can efficiently find an accurate clustering using only O(k) distance queries. We use our algorithm to cluster proteins by sequence similarity. This setting nicely fits our model because we can use a fast sequence database search program to query a sequence against an entire dataset. We conduct an empirical study that shows that even though we query a small fraction of the distances between the points, we produce clusterings that are close to a desired clustering given by manual classification.


title: Decentralized Data Fusion and Active Sensing with Mobile Sensors for Modeling and Predicting Spatiotemporal Traffic Phenomena

abstract: The problem of modeling and predicting spatiotemporal traffic phenomena over an urban road network is important to many traffic applications such as detecting and forecasting congestion hotspots. This paper presents a decentralized data fusion and active sensing (D2FAS) algorithm for mobile sensors to actively explore the road network to gather and assimilate the most informative data for predicting the traffic phenomenon. We analyze the time and communication complexity of D2FAS and demonstrate that it can scale well with a large number of observations and sensors. We provide a theoretical guarantee on its predictive performance to be equivalent to that of a sophisticated centralized sparse approximation for the Gaussian process (GP) model: The computation of such a sparse approximate GP model can thus be parallelized and distributed among the mobile sensors (in a Google-like MapReduce paradigm), thereby achieving efficient and scalable prediction. We also theoretically guarantee its active sensing performance that improves under various practical environmental conditions. Empirical evaluation on real-world urban road network data shows that our D2FAS algorithm is significantly more time-efficient and scalable than state-oftheart centralized algorithms while achieving comparable predictive performance.


title: Bayesian Structure Learning for Markov Random Fields with a Spike and Slab Prior

abstract: In recent years a number of methods have been developed for automatically learning the (sparse) connectivity structure of Markov Random Fields. These methods are mostly based on L1-regularized optimization which has a number of disadvantages such as the inability to assess model uncertainty and expensive crossvalidation to find the optimal regularization parameter. Moreover, the model's predictive performance may degrade dramatically with a suboptimal value of the regularization parameter (which is sometimes desirable to induce sparseness). We propose a fully Bayesian approach based on a "spike and slab" prior (similar to L0 regularization) that does not suffer from these shortcomings. We develop an approximate MCMC method combining Langevin dynamics and reversible jump MCMC to conduct inference in this model. Experiments show that the proposed model learns a good combination of the structure and parameter values without the need for separate hyper-parameter tuning. Moreover, the model's predictive performance is much more robust than L1-based methods with hyper-parameter settings that induce highly sparse model structures.


title: Selecting Computations: Theory and Applications

abstract: Sequential decision problems are often approximately solvable by simulating possible future action sequences. Metalevel decision procedures have been developed for selecting which action sequences to simulate, based on estimating the expected improvement in decision quality that would result from any particular simulation; an example is the recent work on using bandit algorithms to control Monte Carlo tree search in the game of Go. In this paper we develop a theoretical basis for metalevel decisions in the statistical framework of Bayesian selection problems, arguing (as others have done) that this is more appropriate than the bandit framework. We derive a number of basic results applicable to Monte Carlo selection problems, including the first finite sampling bounds for optimal policies in certain cases; we also provide a simple counterexample to the intuitive conjecture that an optimal policy will necessarily reach a decision in all cases. We then derive heuristic approximations in both Bayesian and distribution-free settings and demonstrate their superiority to bandit-based heuristics in one-shot decision problems and in Go.


title: Optimally-Weighted Herding is Bayesian Quadrature

abstract: Herding and kernel herding are deterministic methods of choosing samples which summarise a probability distribution. A related task is choosing samples for estimating integrals using Bayesian quadrature. We show that the criterion minimised when selecting samples in kernel herding is equivalent to the posterior variance in Bayesian quadrature. We then show that sequential Bayesian quadrature can be viewed as a weighted version of kernel herding which achieves performance superior to any other weighted herding method. We demonstrate empirically a rate of convergence faster than O(1/N). Our results also imply an upper bound on the empirical error of the Bayesian quadrature estimate.


title: Stellar origin of the 182Hf cosmochronometer and the presolar history of solar system matter

abstract: Among the short-lived radioactive nuclei inferred to be present in the early solar system via meteoritic analyses, there are several heavier than iron whose stellar origin has been poorly understood. In particular, the abundances inferred for 182Hf (half-life = 8.9 million years) and 129I (half-life = 15.7 million years) are in disagreement with each other if both nuclei are produced by the rapid neutron-capture process. Here, we demonstrate that contrary to previous assumption, the slow neutron-capture process in asymptotic giant branch stars produces 182Hf. This has allowed us to date the last rapid and slow neutron-capture events that contaminated the solar system material at roughly 100 million years and 30 million years, respectively, before the formation of the Sun.


title: Algorithms for Approximate Minimization of the Difference Between Submodular Functions, with Applications

abstract: We extend the work of Narasimhan and Bilmes [30] for minimizing set functions representable as a dierence between submodular functions. Similar to [30], our new algorithms are guaranteed to monotonically reduce the objective function at every step. We empirically and theoretically show that the per-iteration cost of our algorithms is much less than [30], and our algorithms can be used to efficiently minimize a dierence between submodular functions under various combinatorial constraints, a problem not previously addressed. We provide computational bounds and a hardness result on the multiplicative inapproximability of minimizing the dierence between submodular functions. We show, however, that it is possible to give worst-case additive bounds by providing a polynomial time computable lower-bound on the minima. Finally we show how a number of machine learning problems can be modeled as minimizing the dierence between submodular functions. We experimentally show the validity of our algorithms by testing them on the problem of feature selection with submodular cost features.


title: Markov Chains on Orbits of Permutation Groups

abstract: We present a novel approach to detecting and utilizing symmetries in probabilistic graphical models with two main contributions. First, we present a scalable approach to computing generating sets of permutation groups representing the symmetries of graphical models. Second, we introduce orbital Markov chains, a novel family of Markov chains leveraging model symmetries to reduce mixing times. We establish an insightful connection between model symmetries and rapid mixing of orbital Markov chains. Thus, we present the first lifted MCMC algorithm for probabilistic graphical models. Both analytical and empirical results demonstrate the effectiveness and efficiency of the approach.


title: Predicting the behavior of interacting humans by fusing data from multiple sources

abstract: Multi-fidelity methods combine inexpensive low-fidelity simulations with costly but highfidelity simulations to produce an accurate model of a system of interest at minimal cost. They have proven useful in modeling physical systems and have been applied to engineering problems such as wing-design optimization. During human-in-the-loop experimentation, it has become increasingly common to use online platforms, like Mechanical Turk, to run low-fidelity experiments to gather human performance data in an efficient manner. One concern with these experiments is that the results obtained from the online environment generalize poorly to the actual domain of interest. To address this limitation, we extend traditional multi-fidelity approaches to allow us to combine fewer data points from high-fidelity human-in-the-loop experiments with plentiful but less accurate data from low-fidelity experiments to produce accurate models of how humans interact. We present both model-based and model-free methods, and summarize the predictive performance of each method under dierent conditions.


title: Non-Convex Rank Minimization via an Empirical Bayesian Approach

abstract: In many applications that require matrix solutions of minimal rank, the underlying cost function is non-convex leading to an intractable, NP-hard optimization problem. Consequently, the convex nuclear norm is frequently used as a surrogate penalty term for matrix rank. The problem is that in many practical scenarios there is no longer any guarantee that we can correctly estimate generative low-rank matrices of interest, theoretical special cases notwithstanding. Consequently, this paper proposes an alternative empirical Bayesian procedure build upon a variational approximation that, unlike the nuclear norm, retains the same globally minimizing point estimate as the rank function under many useful constraints. However, locally minimizing solutions are largely smoothed away via marginalization, allowing the algorithm to succeed when standard convex relaxations completely fail. While the proposed methodology is generally applicable to a wide range of low-rank applications, we focus our attention on the robust principal component analysis problem (RPCA), which involves estimating an unknown low-rank matrix with unknown sparse corruptions. Theoretical and empirical evidence are presented to show that our method is potentially superior to related MAP-based approaches, for which the convex principle component pursuit (PCP) algorithm (Candes et al., 2011) can be viewed as a special case.


title: Guess Who Rated This Movie: Identifying Users Through Subspace Clustering

abstract: It is often the case that, within an online recommender system, multiple users share a common account. Can such shared accounts be identified solely on the basis of the userprovided ratings? Once a shared account is identified, can the different users sharing it be identified as well? Whenever such user identification is feasible, it opens the way to possible improvements in personalized recommendations, but also raises privacy concerns. We develop a model for composite accounts based on unions of linear subspaces, and use subspace clustering for carrying out the identification task. We show that a significant fraction of such accounts is identifiable in a reliable manner, and illustrate potential uses for personalized recommendation.


title: Active Sensing as Bayes-Optimal Sequential Decision Making

abstract: Sensory inference under conditions of uncertainty is a major problem in both machine learning and computational neuroscience. An important but poorly understood aspect of sensory processing is the role of active sensing. Here, we present a Bayes-optimal inference and control framework for active sensing, C-DAC (Context-Dependent Active Controller). Unlike previously proposed algorithms that optimize abstract statistical objectives such as information maximization (Infomax) [Butko & Movellan, 2010] or one-step look-ahead accuracy [Najemnik & Geisler, 2005], our active sensing model directly minimizes a combination of behavioral costs, such as temporal delay, response error, and effort. We simulate these algorithms on a simple visual search task to illustrate scenarios in which context-sensitivity is particularly beneficial and optimization with respect to generic statistical objectives particularly inadequate. Motivated by the geometric properties of the C-DAC policy, we present both parametric and non-parametric approximations, which retain context-sensitivity while significantly reducing computational complexity. These approximations enable us to investigate the more complex problem involving peripheral vision, and we notice that the difference between C-DAC and statistical policies becomes even more evident in this scenario.


title: Scoring and Searching over Bayesian Networks with Causal and Associative Priors

abstract: A significant theoretical advantage of search-and-score methods for learning Bayesian Networks is that they can accept informative prior beliefs for each possible network, thus complementing the data. In this paper, a method is presented for assigning priors based on beliefs on the presence or absence of certain paths in the true network. Such beliefs correspond to knowledge about the possible causal and associative relations between pairs of variables. This type of knowledge naturally arises from prior experimental and observational data, among others. In addition, a novel search-operator is proposed to take advantage of such prior knowledge. Experiments show that, using path beliefs improves the learning of the skeleton, as well as the edge directions in the network.


title: POMDPs under Probabilistic Semantics

abstract: We consider partially observable Markov decision processes (POMDPs) with limit-average payoff, where a reward value in the interval [0,1] is associated to every transition, and the payoff of an infinite path is the long-run average of the rewards. We consider two types of path constraints: (i) quantitative constraint defines the set of paths where the payoff is at least a given threshold lambda_1 in (0,1]; and (ii) qualitative constraint which is a special case of quantitative constraint with lambda_1=1. We consider the computation of the almost-sure winning set, where the controller needs to ensure that the path constraint is satisfied with probability 1. Our main results for qualitative path constraint are as follows: (i) the problem of deciding the existence of a finite-memory controller is EXPTIME-complete; and (ii) the problem of deciding the existence of an infinite-memory controller is undecidable. For quantitative path constraint we show that the problem of deciding the existence of a finite-memory controller is undecidable.


title: Vector-Circulant Matrices over Finite Fields and Related Codes

abstract: A vector-circulant matrix is a natural generalization of the classical circulant matrix and has applications in constructing additive codes. This article formulates the concept of a vector-circulant matrix over finite fields and gives an algebraic characterization for this kind of matrix. Finally, a construction of additive codes with vector-circulant based over $\mathbb{F}_4$ is given together with some examples of good half-rate additive codes.


title: Parallel Gaussian Process Regression with Low-Rank Covariance Matrix Approximations

abstract: Gaussian processes (GP) are Bayesian non-parametric models that are widely used for probabilistic regression. Unfortunately, it cannot scale well with large data nor perform real-time predictions due to its cubic time cost in the data size. This paper presents two parallel GP regression methods that exploit low-rank covariance matrix approximations for distributing the computational load among parallel machines to achieve time efficiency and scalability. We theoretically guarantee the predictive performances of our proposed parallel GPs to be equivalent to that of some centralized approximate GP regression methods: The computation of their centralized counterparts can be distributed among parallel machines, hence achieving greater time efficiency and scalability. We analytically compare the properties of our parallel GPs such as time, space, and communication complexity. Empirical evaluation on two real-world datasets in a cluster of 20 computing nodes shows that our parallel GPs are significantly more time-efficient and scalable than their centralized counterparts and exact/full GP while achieving predictive performances comparable to full GP.


title: Warped Mixtures for Nonparametric Cluster Shapes

abstract: A mixture of Gaussians fit to a single curved or heavy-tailed cluster will report that the data contains many clusters. To produce more appropriate clusterings, we introduce a model which warps a latent mixture of Gaussians to produce nonparametric cluster shapes. The possibly low-dimensional latent mixture model allows us to summarize the properties of the high-dimensional clusters (or density manifolds) describing the data. The number of manifolds, as well as the shape and dimension of each manifold is automatically inferred. We derive a simple inference scheme for this model which analytically integrates out both the mixture parameters and the warping function. We show that our model is effective for density estimation, performs better than infinite Gaussian mixture models at recovering the true number of clusters, and produces interpretable summaries of high-dimensional datasets.


title: The Lovasz-Bregman Divergence and connections to rank aggregation, clustering, and web ranking

abstract: We extend the recently introduced theory of Lovasz-Bregman (LB) divergences (Iyer & Bilmes 2012) in several ways. We show that they represent a distortion between a "score" and an "ordering", thus providing a new view of rank aggregation and order based clustering with interesting connections to web ranking. We show how the LB divergences have a number of properties akin to many permutation based metrics, and in fact have as special cases forms very similar to the Kendall-tau metric. We also show how the LB divergences subsume a number of commonly used ranking measures in information retrieval, like NDCG and AUC. Unlike the traditional permutation based metrics, however, the LB divergence naturally captures a notion of "confidence" in the orderings, thus providing a new representation to applications involving aggregating scores as opposed to just orderings. We show how a number of recently used web ranking models are forms of Lovasz-Bregman rank aggregation and also observe that a natural form of Mallow's model using the LB divergence has been used as conditional ranking models for the "Learning to Rank" problem.


title: From Ordinary Differential Equations to Structural Causal Models: the deterministic case

abstract: We show how, and under which conditions, the equilibrium states of a first-order Ordinary Differential Equation (ODE) system can be described with a deterministic Structural Causal Model (SCM). Our exposition sheds more light on the concept of causality as expressed within the framework of Structural Causal Models, especially for cyclic models.


title: One-Class Support Measure Machines for Group Anomaly Detection

abstract: We propose one-class support measure machines (OCSMMs) for group anomaly detection which aims at recognizing anomalous aggregate behaviors of data points. The OCSMMs generalize well-known one-class support vector machines (OCSVMs) to a space of probability measures. By formulating the problem as quantile estimation on distributions, we can establish an interesting connection to the OCSVMs and variable kernel density estimators (VKDEs) over the input space on which the distributions are defined, bridging the gap between large-margin methods and kernel density estimators. In particular, we show that various types of VKDEs can be considered as solutions to a class of regularization problems studied in this paper. Experiments on Sloan Digital Sky Survey dataset and High Energy Particle Physics dataset demonstrate the benefits of the proposed framework in real-world applications.


title: Normalized Online Learning

abstract: We introduce online learning algorithms which are independent of feature scales, proving regret bounds dependent on the ratio of scales existent in the data rather than the absolute scale. This has several useful effects: there is no need to pre-normalize data, the test-time and test-space complexity are reduced, and the algorithms are more robust.


title: Scalable Matrix-valued Kernel Learning for High-dimensional Nonlinear Multivariate Regression and Granger Causality

abstract: We propose a general matrix-valued multiple kernel learning framework for high-dimensional nonlinear multivariate regression problems. This framework allows a broad class of mixed norm regularizers, including those that induce sparsity, to be imposed on a dictionary of vector-valued Reproducing Kernel Hilbert Spaces. We develop a highly scalable and eigendecomposition-free algorithm that orchestrates two inexact solvers for simultaneously learning both the input and output components of separable matrix-valued kernels. As a key application enabled by our framework, we show how high-dimensional causal inference tasks can be naturally cast as sparse function estimation problems, leading to novel nonlinear extensions of a class of Graphical Granger Causality techniques. Our algorithmic developments and extensive empirical studies are complemented by theoretical analyses in terms of Rademacher generalization bounds.


title: Probabilistic inverse reinforcement learning in unknown environments

abstract: We consider the problem of learning by demonstration from agents acting in unknown stochastic Markov environments or games. Our aim is to estimate agent preferences in order to construct improved policies for the same task that the agents are trying to solve. To do so, we extend previous probabilistic approaches for inverse reinforcement learning in known MDPs to the case of unknown dynamics or opponents. We do this by deriving two simplified probabilistic models of the demonstrator's policy and utility. For tractability, we use maximum a posteriori estimation rather than full Bayesian inference. Under a flat prior, this results in a convex optimisation problem. We find that the resulting algorithms are highly competitive against a variety of other methods for inverse reinforcement learning that do have knowledge of the dynamics.


title: Many-Body Localization Transition in Random Quantum Spin Chains with Long-Range Interactions

abstract: While there are well established methods to study delocalization transitions of single particles in random systems, it remains a challenging problem how to characterize many body delocalization transitions. Here, we use a generalized real-space renormalization group technique to study the anisotropic Heisenberg model with long-range interactions, decaying with a power $\alpha$, which are generated by placing spins at random positions along the chain. This method permits a large-scale finite-size scaling analysis. We examine the full distribution function of the excitation energy gap from the ground state and observe a crossover with decreasing $\alpha$. At $\alpha_c$ the full distribution coincides with a critical function. Thereby, we find strong evidence for the existence of a many body localization transition in disordered antiferromagnetic spin chains with long range interactions.


title: B-urns

abstract: The fringe of a B-tree with parameter $m$ is considered as a particular P\'olya urn with $m$ colors. More precisely, the asymptotic behaviour of this fringe, when the number of stored keys tends to infinity, is studied through the composition vector of the fringe nodes. We establish its typical behaviour together with the fluctuations around it. The well known phase transition in P\'olya urns has the following effect on B-trees: for $m\leq 59$, the fluctuations are asymptotically Gaussian, though for $m\geq 60$, the composition vector is oscillating; after scaling, the fluctuations of such an urn strongly converge to a random variable $W$. This limit is $\mathbb C$-valued and it does not seem to follow any classical law. Several properties of $W$ are shown: existence of exponential moments, characterization of its distribution as the solution of a smoothing equation, existence of a density relatively to the Lebesgue measure on $\mathbb C$, support of $W$. Moreover, a few representations of the composition vector for various values of $m$ illustrate the different kinds of convergence.


title: Integrated Quantum Controlled-NOT Gate Based on Dielectric-Loaded Surface Plasmon Polariton Waveguide

abstract: It has been proved that surface plasmon polariton (SPP) can well conserve and transmit the quantum nature of entangled photons. Therefore, further utilization and manipulation of such quantum nature of SPP in a plasmonic chip will be the next task for scientists in this field. In quantum logic circuits, the controlled-NOT (CNOT) gate is the key building block. Here, we implement the first plasmonic quantum CNOT gate with several-micrometer footprint by utilizing a single polarization-dependent beam-splitter (PDBS) fabricated on the dielectric-loaded SPP waveguide (DLSPPW). The quantum logic function of the CNOT gate is characterized by the truth table with an average fidelity of. Its entangling ability to transform a separable state into an entangled state is demonstrated with the visibilities of and for non-orthogonal bases. The DLSPPW based CNOT gate is considered to have good integratability and scalability, which will pave a new way for quantum information science.


title: Near-Constant-Time Distributed Algorithms on a Congested Clique

abstract: This paper presents constant-time and near-constant-time distributed algorithms for a variety of problems in the congested clique model. We show how to compute a 3-ruling set in expected $O(\log \log \log n)$ rounds and using this, we obtain a constant-approximation to metric facility location, also in expected $O(\log \log \log n)$ rounds. In addition, assuming an input metric space of constant doubling dimension, we obtain constant-round algorithms to compute constant-factor approximations to the minimum spanning tree and the metric facility location problems. These results significantly improve on the running time of the fastest known algorithms for these problems in the congested clique setting.


title: Formation of General Position by Asynchronous Mobile Robots

abstract: The traditional distributed model of autonomous, homogeneous, mobile point robots usually assumes that the robots do not create any visual obstruction for the other robots, i.e., the robots are see through. In this paper, we consider a slightly more realistic model, by incorporating the notion of obstructed visibility (i.e., robots are not see through) for other robots. Under the new model of visibility, a robot may not have the full view of its surroundings. Many of the existing algorithms demand that each robot should have the complete knowledge of the positions of other robots. Since, vision is the only mean of their communication, it is required that the robots are in general position (i.e., no three robots are collinear). We consider asynchronous robots. They also do not have common chirality (or any agreement on a global coordinate system). In this paper, we present a distributed algorithm for obtaining a general position for the robots in finite time from any arbitrary configuration. The algorithm also assures collision free motion for each robot. This algorithm may also be used as a preprocessing module for many other subsequent tasks performed by the robots.


title: The Extended Thermodynamic Properties of Taub-NUT/Bolt-AdS spaces

abstract: We investigate the extended thermodynamic properties of higher-dimensional Taub-NUT/Bolt-AdS spaces where a cosmological constant is treated as a pressure. We find a general form for thermodynamic volumes of Taub-NUT/Bolt-AdS black holes for arbitrary dimensions. Interestingly, it is found that the Taub-NUT-AdS metric has a thermodynamically stable range when the total number of dimensions is a multiple of 4 (4, 8, 12, ...). We also explore their phase structure and find the first order phase transition holds for higher-dimensional cases.


title: Extensions in Jacobian Algebras and Cluster Categories of Marked Surfaces

abstract: In the context of representation theory of finite dimensional algebras, string algebras have been extensively studied and most aspects of their representation theory are well-understood. One exception to this is the classification of extensions between indecomposable modules. In this paper we explicitly describe such extensions for a class of string algebras, namely gentle algebras associated to surface triangulations. These algebras arise as Jacobian algebras of unpunctured surfaces. We relate the extension spaces of indecomposable modules to crossings of arcs in the surface and give explicit bases of the extension spaces for indecomposable modules in almost all cases. We show that the dimensions of these extension spaces are given in terms of crossing arcs in the surface. Our approach is new and consists of interpreting snake graphs as indecomposable modules. In order to show that our basis is a spanning set, we need to work in the associated cluster category where we explicitly calculate the middle terms of extensions and give bases of their extension spaces. We note that not all extensions in the cluster category give rise to extensions for the Jacobian algebra.


title: Interpretation of van der Waals density functionals

abstract: The nonlocal correlation energy in the van der Waals density functional (vdW-DF) method [Phys. Rev. Lett. 92, 246401 (2004); Phys. Rev. B 76, 125112 (2007); Phys. Rev. B 89, 035412 (2014)] can be interpreted in terms of a coupling of zero-point energies of characteristic modes of semilocal exchange-correlation (xc) holes. These xc holes reflect the internal functional in the framework of the vdW-DF method [Phys. Rev. B 82, 081101(2010)]. We explore the internal xc hole components, showing that they share properties with those of the generalized-gradient approximation. We use these results to illustrate the nonlocality in the vdW-DF description and analyze the vdW-DF formulation of nonlocal correlation.


title: Spectral Properties of Schr\"odinger Operators on Perturbed Lattices

abstract: We study the spectral properties of Schr\"{o}dinger operators on perturbed lattices. We shall prove the non-existence or the discreteness of embedded eigenvalues, the limiting absorption principle for the resolvent, construct a spectral representation, and define the S-matrix. Our theory covers the square, triangular, diamond, Kagome lattices, as well as the ladder, the graphite and the subdivision of square lattice.


title: On the strong orderability of overtwisted 3-folds

abstract: In this article we address the existence of positive loops of contactomorphisms in overtwisted contact 3-folds. We present a construction of such positive loops in the contact fibered connected sum of certain contact 3-folds along transverse knots. In particular, we obtain positive loops of contactomorphisms in overtwisted contact structures.


title: Primary User-aware Network Coding for Multi-hop Cognitive Radio Networks

abstract: Network coding has proved its efficiency in increasing the network performance for traditional ad-hoc networks. In this paper, we investigate using network coding for enhancing the throughput of multi-hop cognitive radio networks. We formulate the network coding throughput maximization problem as a graph theory problem, where different constraints and primary users' characteristics are mapped to the graph structure. We then show that the optimal solution to this problem in NP-hard and propose a heuristic algorithm to efficiently solve it. Evaluation of the proposed algorithm through NS2 simulations shows that we can increase the throughput of the constrained secondary users' network by 150\% to 200\% for a wide range of scenarios covering different primary users' densities, traffic loads, and spectrum availability.


title: Source finding, parametrization and classification for the extragalactic Effelsberg-Bonn HI Survey

abstract: Context. Source extraction for large-scale HI surveys currently involves large amounts of manual labor. For data volumes expected from future HI surveys with upcoming facilities, this approach is not feasible any longer. Aims. We describe the implementation of a fully automated source finding, parametrization, and classification pipeline for the Effelsberg-Bonn HI Survey (EBHIS). With future radio astronomical facilities in mind, we want to explore the feasibility of a completely automated approach to source extraction for large-scale HI surveys. Methods. Source finding is implemented using wavelet denoising methods, which previous studies show to be a powerful tool, especially in the presence of data defects. For parametrization, we automate baseline fitting, mask optimization, and other tasks based on well-established algorithms, currently used interactively. For the classification of candidates, we implement an artificial neural network which is trained on a candidate set comprised of false positives from real data and simulated sources. Using simulated data, we perform a thorough analysis of the algorithms implemented. Results. We compare the results from our simulations to the parametrization accuracy of the HI Parkes All-Sky Survey (HIPASS) survey. Even though HIPASS is more sensitive than EBHIS in its current state, the parametrization accuracy and classification reliability match or surpass the manual approach used for HIPASS data.


title: Crossover behavior in interface depinning

abstract: We study the crossover scaling behavior of the height-height correlation function in interface depinning in random media. We analyze experimental data from a fracture experiment and simulate an elastic line model with non-linear couplings and disorder. Both exhibit a crossover between two different universality classes. For the experiment, we fit a functional form to the universal crossover scaling function. For the model, we vary the system size and the strength of the non-linear term, and describe the crossover between the two universality classes with a multiparameter scaling function. Our method provides a general strategy to extract scaling properties in depinning systems exhibiting crossover phenomena.


title: On the BDD/FC Conjecture

abstract: Bounded Derivation Depth property (BDD) and Finite Controllability (FC) are two properties of sets of datalog rules and tuple generating dependencies (known as Datalog +/- programs), which recently attracted some attention. We conjecture that the first of these properties implies the second, and support this conjecture by some evidence proving, among other results, that it holds true for all theories over binary signature.


title: Dark Stars: Improved Models and First Pulsation Results

abstract: We use the stellar evolution code MESA to study dark stars. Dark stars (DSs), which are powered by dark matter (DM) self-annihilation rather than by nuclear fusion, may be the first stars to form in the Universe. We compute stellar models for accreting DSs with masses up to 10^6 M_{sun}. The heating due to DM annihilation is self-consistently included, assuming extended adiabatic contraction of DM within the minihalos in which DSs form. We find remarkably good overall agreement with previous models, which assumed polytropic interiors. There are some differences in the details, with positive implications for observability. We found that, in the mass range of 10^4 -10^5 M_{sun}, our DSs are hotter by a factor of 1.5 than those in Freese et al.(2010), are smaller in radius by a factor of 0.6, denser by a factor of 3 - 4, and more luminous by a factor of 2. Our models also confirm previous results, according to which supermassive DSs are very well approximated by (n=3)-polytropes. We also perform a first study of dark star pulsations. Our DS models have pulsation modes with timescales ranging from less than a day to more than two years in their rest frames, at z ~ 15, depending on DM particle mass and overtone number. Such pulsations may someday be used to identify bright, cool objects uniquely as DSs; if properly calibrated, they might, in principle, also supply novel standard candles for cosmological studies.

categories: astro-ph.CO astro-ph.GA astro-ph.SR hep-ph


title: Moonshine and the Meaning of Life

abstract: With a jocund air, we present an observation on the first 24 coefficients of the modular invariant and of the modular discriminant. The observation is purely for the sake of entertainment and could be of some diversion to a mathematical audience.


title: Future asymptotics and geodesic completeness of polarized T2-symmetric spacetimes

abstract: We investigate the late-time asymptotics of future expanding, polarized vacuum Einstein spacetimes with T2-symmetry on T3, which, by definition, admit two spacelike Killing fields. Our main result is the existence of a stable asymptotic regime within this class, that is, we provide here a full description of the late-time asymptotics of the solutions to the Einstein equations when the initial data set is close to the asymptotic regime. Our proof is based on several energy functionals with lower order corrections (as is standard for such problems) and the derivation of a simplified model which we exhibit here. Roughly speaking, the Einstein equations in the symmetry class under consideration consists of a system of wave equations coupled to constraint equations plus a system of ordinary differential equations. The unknowns involved in the system of ordinary equations are blowing up in the future timelike directions. One of our main contributions is the derivation of novel effective equations for suitably renormalized unknowns. Interestingly, this renormalization is not performed with respect to a fixed background, but does involve the energy of the coupled system of wave equations. In addition, we construct an open set of initial data which are arbitrarily close to the expected asymptotic behavior. We emphasize that, in comparison, the class of Gowdy spacetimes exhibits a very different dynamical behavior to the one we uncover in the present work for general polarized T2-symmetric spacetimes. Furthermore, all the conclusions of this paper are valid within the framework of weakly T2-symmetric spacetimes previously introduced by the authors.


title: The physics of hearing: fluid mechanics and the active process of the inner ear

abstract: Most sounds of interest consist of complex, time-dependent admixtures of tones of diverse frequencies and variable amplitudes. To detect and process these signals, the ear employs a highly nonlinear, adaptive, real-time spectral analyzer: the cochlea. Sound excites vibration of the eardrum and the three miniscule bones of the middle ear, the last of which acts as a piston to initiate oscillatory pressure changes within the liquid-filled chambers of the cochlea. The basilar membrane, an elastic band spiraling along the cochlea between two of these chambers, responds to these pressures by conducting a largely independent traveling wave for each frequency component of the input. Because the basilar membrane is graded in mass and stiffness along its length, however, each traveling wave grows in magnitude and decreases in wavelength until it peaks at a specific, frequency-dependent position: low frequencies propagate to the cochlear apex, whereas high frequencies culminate at the base. The oscillations of the basilar membrane deflect hair bundles, the mechanically sensitive organelles of the ear's sensory receptors, the hair cells. As mechanically sensitive ion channels open and close, each hair cell responds with an electrical signal that is chemically transmitted to an afferent nerve fiber and thence into the brain. In addition to transducing mechanical inputs, hair cells amplify them [...]

categories: q-bio.NC nlin.AO physics.bio-ph q-bio.TO


title: Stability of capillary hypersurfaces in a Euclidean ball

abstract: We study the stability of capillary hypersurfaces in a unit Euclidean ball. It is proved that if the mass center of the generalized body enclosed by the immersed capillary hypersurface and the wetted part of the sphere is located at the origin, then the hypersurface is unstable. An immediate result is that all known examples except the totally geodesic ones and spherical caps are unstable.


title: Coherent control of multipartite entanglement

abstract: Quantum entanglement between an arbitrary number of remote qubits is examined analytically. We show that there is a non-probabilistic way to address in one context the management of entanglement of an arbitrary number of mixed-state qubits by engaging quantitative measures of entanglement and a specific external control mechanism. Both all-party entanglement and weak inseparability are considered. We show that for $N\ge4$, the death of all-party entanglement is permanent after an initial collapse. In contrast, weak inseparability can be deterministically managed for an arbitrarily large number of qubits almost indefinitely. Our result suggests a picture of the path that the system traverses in the Hilbert space.

categories: quant-ph math-ph math.MP physics.atom-ph


title: Emergent BCS regime of the two-dimensional fermionic Hubbard model: ground-state phase diagram

abstract: A significant part of the phase diagram of the two-dimensional fermionic Hubbard model for moderate interactions and filling factors ($U < 4, \, n<0.7$) is governed by effective Fermi liquid physics with weak BCS-type instabilities. We access this regime in a controlled way by a combination of the bold-line diagrammatic Monte Carlo method with an additional ladder-diagram summation trick and semi-analytic treatment of the weak instability in the Cooper channel. We obtain the corresponding ground-state phase diagram in the $(n,U)$ plane describing the competition between the $p-$ and $d-$wave superfluid states. We also claim the values of the dimensionless BCS coupling constants controlling the superfluid $T_c$ at the phase boundaries, which prove to be very small up to $U=4, n = 0.6$.


title: Rigidity and non-rigidity results for conformal immersions

abstract: In this paper we show a quantitative rigidity result for the minimizer of the Willmore functional among all projective planes in $\mathbb{R}^n$ with $n\ge 4$. We also construct an explicit counterexample to a corresponding rigidity result in codimension one, by showing that an Enneper surface might split-off during a blow-up process. For conformal immersions of spheres with large enough Willmore energies, we construct explicit counterexamples to a quantitative rigidity result and this complements the recently obtained rigidity results in [LaNg13].


title: Single top quark production as a probe of anomalous $tq\gamma$ and $tqZ$ couplings at the FCC-ee

abstract: In this paper, a detailed study to probe the top quark Flavour-Changing Neutral Currents (FCNC) $tq\gamma$ and $tqZ$ at the future $e^{-}e^{+}$ collider FCC-ee in three different center-of-mass energies of 240, 350 and 500 GeV is presented. A set of useful variables are proposed and used in a multivariate technique to separate signal $e^- e^+ \rightarrow Z/\gamma \rightarrow t \bar{q} ~ ( \bar{t} q )$ from standard model background processes. The study includes a fast detector simulation based on the {\sc delphes} package to consider the detector effects. The $3 \sigma$ discovery regions and the upper limits on the FCNC branching ratios at 95\% confidence level (CL) in terms of the integrated luminosity are presented. It is shown that with 300 fb$^{-1}$ of integrated luminosity of data, FCC-ee would be able to exclude the effective coupling strengths above ${\cal O} (10^{-4}-10^{-5})$ which is corresponding to branching fraction of ${\cal O}(0.01-0.001)$\%. We show that moving to a high-luminosity regime leads to a significant improvement on the upper bounds on the top quark FCNC couplings to a photon or a $Z$ boson.


title: Competition and boundary formation in heterogeneous media: Application to neuronal differentiation

abstract: We analyze an inhomogeneous system of coupled reaction-diffusion equations representing the dynamics of gene expression during differentiation of nerve cells. The outcome of this developmental phase is the formation of distinct functional areas separated by sharp and smooth boundaries. It proceeds through the competition between the expression of two genes whose expression is driven by monotonic gradients of chemicals, and the products of gene expression undergo local diffusion and drive gene expression in neighboring cells. The problem therefore falls in a more general setting of species in competition within a non-homogeneous medium. We show that in the limit of arbitrarily small diffusion, there exists a unique monotonic stationary solution, which splits the neural tissue into two winner-take-all parts at a precise boundary point: on both sides of the boundary, different neuronal types are present. In order to further characterize the location of this boundary, we use a blow-up of the system and define a traveling wave problem parametrized by the position within the monotonic gradient: the precise boundary location is given by the unique point in space at which the speed of the wave vanishes.


title: Webbing and orchestration. Two interrelated views on digital tools in mathematics education

abstract: The integration of digital tools in mathematics education is considered both promising and problematic. To deal with this issue, notions of webbing and instrumental orchestration are developed. However, the two seemed to be disconnected, and having different cultural and theoretical roots. In this article, we investigate the distinct and joint journeys of these two theoretical perspectives. Taking some key moments in recent history as points of de- parture, we conclude that the two perspectives share an importance attributed to digital tools, and that initial differences, such as different views on the role of digital tools and the role of the teacher, have become more nuances. The two approaches share future chal- lenges to the organization of teachers'collaborative work and their use of digital resources.


title: Why Current Interpretations of Quantum Mechanics are Deficient

abstract: Quantum mechanics under the Copenhagen interpretation is one of the most experimentally well verified formalisms. However, it is known that the interpretation makes explicit reference to external observation or "measurement." One says that the Copenhagen interpretation suffers from the measurement problem. This deficiency of the interpretation excludes it as a viable fundamental formalism and prevents the use of standard quantum mechanics in discussions of quantum cosmology. Numerous alternative interpretations have been developed with the goals of reproducing its predictive success while obviating the measurement problem. While several interpretations make distinct, falsifiable, predictions, many claim to precisely reproduce the results of standard quantum mechanics. The sheer number of interpretations raises several issues. If the experimental predictions are identical, how are they to be assessed? On what grounds can an interpretation be said to trump another? Without recourse to experimental findings, one may continue to assess an interpretation on its logical structure, self-consistency, and simplicity (number and plausibility of its assumptions). We argue, and where possible, demonstrate, that all common interpretations have unresolved deficiencies. Among these deficiencies are failures to resolve the measurement problem, fine-tuning problems, logical/mathematical inconsistencies, disagreement with experiment, and others. Shortcomings as severe as these call into question the viability of any of the common interpretations. When appropriate, we indicate where future work may resolve some of these issues.


title: Une nouvelle d\'emonstration d'irrationalit\'e de racine carr\'ee de 2 d'apr\`es les Analytiques d'Aristote

abstract: To account for the first proof of existence of an irrational magnitude, historians of science as well as commentators of Aristotle refer to the texts on the incommensurability of the diagonal in Prior Analytics, since they are the most ancient on the subject. The usual proofs suggested by the historians of science derive from a proposition found at the end of Book X of Euclid's Elements. But its conclusions, using the representation of fractions as a ratio of two integers relatively prime i.e. the proposition VII.22 of the Elements, do not match the Aristotelian texts. In this article, we propose a new demonstration conformed to these texts. They are based on very old results of the odd/even theory. Since they use neither the proposition VII.22, nor any other result proved by a reductio ad absurdum, it seems to be the first result which was impossible to prove in another way. The significance of this result, revealing a complete new territory in Mathematics, the field of irrational magnitudes, accounts for the centrality gained afterwards by this kind of reasoning, firstly in Mathematics, then in all forms of rational discourse. From the consequences of this new proof, we can construe very simply the lecture on the irrationals in the mathematical text in Plato's Theaetetus (147d-148b). It will be done in an article to appear in a forthcoming volume.


title: A Point Counting Algorithm for Cyclic Covers of the Projective Line

abstract: We present a Kedlaya-style point counting algorithm for cyclic covers $y^r = f(x)$ over a finite field $\mathbb{F}_{p^n}$ with $p$ not dividing $r$, and $r$ and $\deg{f}$ not necessarily coprime. This algorithm generalizes the Gaudry-G\"urel algorithm for superelliptic curves to a more general class of curves, and has essentially the same complexity. Our practical improvements include a simplified algorithm exploiting the automorphism of $\mathcal{C}$, refined bounds on the $p$-adic precision, and an alternative pseudo-basis for the Monsky-Washnitzer cohomology which leads to an integral matrix when $p \geq 2r$. Each of these improvements can also be applied to the original Gaudry-G\"urel algorithm. We include some experimental results, applying our algorithm to compute Weil polynomials of some large genus cyclic covers.


title: CMB statistical anisotropies of classical and quantum origins

abstract: We examine the impact of different anisotropic relics on inflation, in particular the predictions on the density perturbations. These relics can be the source of the large scale anomalies in the cosmic microwave background. There are two different types of background relics, one from the matter sector and the other purely from the metric. Although the angular-dependence of the statistical anisotropy in both cases are degenerate, the scale-dependence are observationally distinctive. In addition, we demonstrate that non-Bunch-Davies vacuum states can extend the statistical anisotropy to much shorter scales, and leave a scale-dependence that is insensitive to the different backgrounds but sensitive to the initial quantum state.


title: On continuous Polish group actions and equivalence relations

abstract: Let $X = \left\{P \in [0,1]^{\bf N} : \left(\forall \nu \in {\bf N} \right) \left(P \left(\{\nu \} \right) > 0 \right) \wedge \sum\limits_{\nu = 0}^{\infty} P \left(\{\nu \} \right) = 1 \right\} $ be the Polish space of probability measures on ${\bf N}$, each of which assigns positive probability to every elementary event, while for any $P \in X$, let ${\Gamma}_{P} = \left\{\xi \in L^{1}({\bf N}, P) : \left(\forall \nu \in {\bf N} \right) \left(\xi (\nu) > 0 \right) \wedge \sum\limits_{\nu = 0}^{\infty} \xi (\nu) P \left(\{\nu \} \right) = 1 \right\} $ and let ${\Phi}_{P} : {\Gamma}_{P} \ni \xi \mapsto {\Phi}_{P}(\xi) \in X$ be defined by the relation $\left({\Phi}_{P}(\xi) \right) \left(\{\nu \} \right) = \xi (\nu) P \left(\{\nu \} \right) $, whenever $\nu \in {\bf N}$. If we consider the equivalence relation $E = \left\{(P,Q) \in X^{2} : \left(\exists \xi \in {\Gamma}_{P} \right) \left(Q = {\Phi}_{P}(\xi) \right) \right\} $, the Polish space ${\bf P} = \left\{{\bf x} \in {\ell}^{1} \left({\bf R} \right) : \left(\forall n \in {\bf N} \right) \left({\bf x}(n) > 0 \right) \right\} $ and the commutative Polish group ${\bf G} = \left\{{\bf g} \in (0, \infty)^{\bf N} : \lim\limits_{n \rightarrow \infty}{\bf g}(n) = 1 \right\} $, while we set $\left({\bf g} \cdot {\bf x} \right) (n) = {\bf g}(n){\bf x}(n)$, whenever ${\bf g} \in {\bf G}$, ${\bf x} \in {\bf P}$ and $n \in {\bf N}$, then $E$ is definable and it admits a strong approximation by the turbulent Polish group action of ${\bf G}$ on ${\bf P}$.


title: Adaptive Millimeter Wave Beam Alignment for Dual-Polarized MIMO Systems

abstract: Fifth generation wireless systems are expected to employ multiple antenna communication at millimeter wave (mmWave) frequencies using small cells within heterogeneous cellular networks. The high path loss of mmWave as well as physical obstructions make communication challenging. To compensate for the severe path loss, mmWave systems may employ a beam alignment algorithm that facilitates highly directional transmission by aligning the beam direction of multiple antenna arrays. This paper discusses a mmWave system employing dual-polarized antennas. First, we propose a practical soft-decision beam alignment (soft-alignment) algorithm that exploits orthogonal polarizations. By sounding the orthogonal polarizations in parallel, the equality criterion of the Welch bound for training sequences is relaxed. Second, the analog beamforming system is adapted to the directional characteristics of the mmWave link assuming a high Ricean K-factor and poor scattering environment. The soft-algorithm enables the mmWave system to align innumerable narrow beams to channel subspace in an attempt to effectively scan the mmWave channel. Thirds, we propose a method to efficiently adapt the number of channel sounding observations to the specific channel environment based on an approximate probability of beam misalignment. Simulation results show the proposed soft-alignment algorithm with adaptive sounding time effectively scans the channel subspace of a mobile user by exploiting polarization diversity.


title: Energy conservation and numerical stability for the reduced MHD models of the non-linear JOREK code

abstract: In this paper we present a rigorous derivation of the reduced MHD models with and without parallel velocity that are implemented in the non-linear MHD code JOREK. The model we obtain contains some terms that have been neglected in the implementation but might be relevant in the non-linear phase. These are necessary to guarantee exact conservation with respect to the full MHD energy. For the second part of this work, we have replaced the linearized time stepping of JOREK by a non-linear solver based on the Inexact Newton method including adaptive time stepping. We demonstrate that this approach is more robust especially with respect to numerical errors in the saturation phase of an instability and allows to use larger time steps in the non-linear phase.


title: The B Fields in OB Stars (BOB) Survey

abstract: The B fields in OB stars (BOB) survey is an ESO large programme collecting spectropolarimetric observations for a large number of early-type stars in order to study the occurrence rate, properties, and ultimately the origin of magnetic fields in massive stars. As of July 2014, a total of 98 objects were observed over 20 nights with FORS2 and HARPSpol. Our preliminary results indicate that the fraction of magnetic OB stars with an organised, detectable field is low. This conclusion, now independently reached by two different surveys, has profound implications for any theoretical model attempting to explain the field formation in these objects. We discuss in this contribution some important issues addressed by our observations (e.g., the lower bound of the field strength) and the discovery of some remarkable objects.


title: Expoential bounds on the number of causal triangulations

abstract: We prove that the number of combinatorially distinct causal 3-dimensional triangulations homeomorphic to the 3-dimensional sphere is bounded by an exponential function of the number of tetrahedra. It is also proven that the number of combinatorially distinct causal 4-dimensional triangulations homeomorphic to the 4-sphere is bounded by an exponential function of the number of 4-simplices provided the number of all combinatorially distinct triangulations of the 3-sphere is bounded by an exponential function of the number of tetrahedra.


title: Topology optimisation for natural convection problems

abstract: This paper demonstrates the application of the density-based topology optimisation approach for the design of heat sinks and micropumps based on natural convection effects. The problems are modelled under the assumptions of steady-state laminar flow using the incompressible Navier-Stokes equations coupled to the convection-diffusion equation through the Boussinesq approximation. In order to facilitate topology optimisation, the Brinkman approach is taken to penalise velocities inside the solid domain and the effective thermal conductivity is interpolated in order to accommodate differences in thermal conductivity of the solid and fluid phases. The governing equations are discretised using stabilised finite elements and topology optimisation is performed for two different problems using discrete adjoint sensitivity analysis. The study shows that topology optimisation is a viable approach for designing heat sink geometries cooled by natural convection and micropumps powered by natural convection.


title: A Critical Review of "Automatic Patch Generation Learned from Human-Written Patches": Essay on the Problem Statement and the Evaluation of Automatic Software Repair

abstract: At ICSE'2013, there was the first session ever dedicated to automatic program repair. In this session, Kim et al. presented PAR, a novel template-based approach for fixing Java bugs. We strongly disagree with key points of this paper. Our critical review has two goals. First, we aim at explaining why we disagree with Kim and colleagues and why the reasons behind this disagreement are important for research on automatic software repair in general. Second, we aim at contributing to the field with a clarification of the essential ideas behind automatic software repair. In particular we discuss the main evaluation criteria of automatic software repair: understandability, correctness and completeness. We show that depending on how one sets up the repair scenario, the evaluation goals may be contradictory. Eventually, we discuss the nature of fix acceptability and its relation to the notion of software correctness.


title: New orderings for effective mass Hamiltonians and associated wavefunction matching conditions at abrupt heterojunctions

abstract: We show that for a given setting of the Von Roos ambiguity parameters, it is not required that the Morrow and Brownstein condition be satisfied to achieve physically acceptable transport properties at abrupt heterojunctions. We have derived two such settings and corresponding envelope function matching conditions.


title: Computations and Equations for Segre-Grassmann hypersurfaces

abstract: In 2013, Abo and Wan studied the analogue of Waring's problem for systems of skew-symmetric forms and identified several defective systems. Of particular interest is when a certain secant variety of a Segre-Grassmann variety is expected to fill the natural ambient space, but is actually a hypersurface. Algorithms implemented in Bertini are used to determine the degrees of several of these hypersurfaces, and representation-theoretic descriptions of their equations are given. We answer Problem 6.5 [Abo-Wan2013], and confirm their speculation that each member of an infinite family of hypersurfaces is minimally defined by a (known) determinantal equation. While led by numerical evidence, we provide non-numerical proofs for all of our results.


title: Extending two-Higgs-doublet models by a singlet scalar field - the Case for Dark Matter

abstract: We extend the two-Higgs doublet models of Type I and Type II by adding a real gauge-singlet scalar S dark matter candidate (2HDMS models). We impose theoretical constraints deriving from perturbativity, stability, unitarity and correct electroweak symmetry breaking and require that the lightest CP-even Higgs, h, fit the LHC data for the $\sim 125.5$ GeV state at the $68\%$~C.L. after including existing constraints from LEP and B physics and LHC limits on the heavier Higgs bosons. We find that these models are easily consistent with the LUX and SuperCDMS limits on dark-matter-Nucleon scattering and the observed $\Omega h^2$ for S masses above about 55 GeV. At lower $m_S$, the situation is more delicate. For points with $m_S$ in the 6-25 GeV range corresponding to the CDMS~II and CRESST-II positive signal ranges, the dark-matter-Nucleon cross sections predicted by the Type I and Type II models more or less automatically fall within the $95\%-99\%$~C.L. signal region boundaries. Were it not for the LUX and SuperCDMS limits, which exclude all (almost all) such points in the case of Type I (Type II), this would be a success for the 2HDMS models. In fact, in the case of Type II there are a few points with 5.5 GeV $\leq m_S \leq$ 6.2 GeV that survive the LUX and SuperCDMS limits and fall within the CDMS~II 99\% C.L. signal region. Possibilities for dark matter to be isospin-violating in this 2HDMS context are also examined.


title: Expected volume and Euler characteristic of random submanifolds

abstract: In a closed manifold of positive dimension $n$, we estimate the expected volume and Euler characteristic for random submanifolds of codimension $r\in \{1,...,n\}$ in two different settings. On one hand, we consider a closed Riemannian manifold and some positive $\lambda$. Then we take $r$ independent random functions in the direct sum of the eigenspaces of the Laplace-Beltrami operator associated to eigenvalues less than $\lambda$ and consider the random submanifold defined as the common zero set of these $r$ functions. We compute asymptotics for the mean volume and Euler characteristic of this random submanifold as $\lambda$ goes to infinity. On the other hand, we consider a complex projective manifold defined over the reals, equipped with an ample line bundle $\mathcal{L}$ and a rank $r$ holomorphic vector bundle $\mathcal{E}$ that are also defined over the reals. Then we get asymptotics for the expected volume and Euler characteristic of the real vanishing locus of a random real holomorphic section of $\mathcal{E}\otimes\mathcal{L}^d$ as $d$ goes to infinity. The same techniques apply to both settings.


title: The Matsumoto and Yor process and infinite dimensional hyperbolic space

abstract: The Matsumoto\,--Yor process is $\int\_0^t \exp(2B\_s-B\_t)\, ds$, where $(B\_t)$ is a Brownian motion. It is shown that it is the limit of the radial part of the Brownian motion at the bottom of the spectrum on the hyperbolic space of dimension $q$, when $q$ tends to infinity. Analogous processes on infinite series of non compact symmetric spaces and on regular trees are described.


title: Spectral non-self-adjoint analysis of complex Dirac, Pauli and Schr\"odinger operators of full rank with constant magnetic fields

abstract: We consider Dirac, Pauli and Schr\"odinger quantum magnetic Hamiltonians of full rank in ${\rm L}^2 \big(\mathbb{R}^{2d} \big)$, $d \ge 1$, perturbed by non-self-adjoint (matrix-valued) potentials. On the one hand, we show the existence of non-self-adjoint perturbations, generating near each point of the essential spectrum of the operators, infinitely many (complex) eigenvalues. In particular, we establish point spectrum analogous of B\"ogli results [B\"og17] obtained for non-magnetic Laplacians, and hence showing that classical Lieb-Thirring inequalities cannot hold for our magnetic models. On the other hand, we give asymptotic behaviours of the number of the (complex) eigenvalues. In particular, for compactly supported potentials, our results establish non-self-adjoint extensions of Raikov-Warzel [RW02] and Melgaard-Rozenblum [MR03] results. So, we show how the (complex) eigenvalues converge to the points of the essential spectrum asymptotically, i.e., up to a multiplicative explicit constant, as $$ \frac{1}{d!} \Bigg(\frac{\vert \ln r \vert}{\ln \vert \ln r \vert} \Bigg)^d, \quad r \searrow 0, $$ in small annulus of radius $r > 0$ around the points of the essential spectrum.


title: Conjugacy of unimodular pisot substitutions subshifts to domain exchanges

abstract: We prove that any unimodular Pisot substitution subshift is measurably conjugate to a domain exchange in an Euclidean space which is a finite topological extension of a translation on a torus.This generalizes the pioneer works of Rauzy and Arnoux-Ito providing geometric realizations to any unimodular Pisot substitution without any additional combinatorial condition.


title: Fonctions arithm\'etiques et formes binaires irr\'eductibles de degr\'e $3$

abstract: Let $F(X_1,X_2)\in\mathbb{Z}[X_1,X_2] $ be an irreducible binary form of degree $3$ and $h$ an arithmetic function. We give some estimates for the average order $\sum_{\substack{|n_1|\leq x,|n_2|\leq x}}h(F(n_1,n_2))$ when $h$ satisfy certain conditions. As an application, we provide some asymptotic formula for the number of $y$-friable values of $F(n_1,n_2)$ when the variables $n_1,n_2$ lies in the square $[1,x]^2$ and uniformly in the region $\exp\left(\frac{\log x}{(\log\log x)^{1/2-\varepsilon}}\right)\leq y\leq x$. This improves a result of Balog, Blomer, Dartyge and Tenenbaum (2012).


title: Eigenvalues and strong orbit equivalence

abstract: We give conditions on the subgroups of the circle to be realized as the subgroups of eigenvalues of minimal Cantor systems belonging to a determined strong orbit equivalence class. Actually, the additive group of continuous eigenvalues E(X,T) of the minimal Cantor system (X,T) is a subgroup of the intersection I(X,T) of all the images of the dimension group by its traces. We show, whenever the infinitesimal subgroup of the dimension group associated to (X,T) is trivial, the quotient group I(X,T)/E(X,T) is torsion free. We give examples with non trivial infinitesimal subgroups where this property fails. We also provide some realization results.


title: Expansion of the almost sure spectrum in the weak disorder regime

abstract: The spectrum of random ergodic Schr\"odinger-type operators is almost surely a deterministic subset of the real line. The random operator can be considered as a perturbation of a periodic one. As soon as the disorder is switched on via a global coupling constant, the spectrum expands. We estimate how much the spectrum expands at its bottom for operators on $\ell^2(\mathbb Z^d)$.


title: Complete RNA inverse folding: computational design of functional hammerhead ribozymes

abstract: Nanotechnology and synthetic biology currently constitute one of the most innovative, interdisciplinary fields of research, poised to radically transform society in the 21st century. This paper concerns the synthetic design of ribonucleic acid molecules, using our recent algorithm, RNAiFold, which can determine all RNA sequences whose minimum free energy secondary structure is a user-specified target structure. Using RNAiFold, we design ten cis-cleaving hammerhead ribozymes, all of which are shown to be functional by a cleavage assay. We additionally use RNAiFold to design a functional cis-cleaving hammerhead as a modular unit of a synthetic larger RNA. Analysis of kinetics on this small set of hammerheads suggests that cleavage rate of computationally designed ribozymes may be correlated with positional entropy, ensemble defect, structural flexibility/rigidity and related measures. Artificial ribozymes have been designed in the past either manually or by SELEX (Systematic Evolution of Ligands by Exponential Enrichment); however, this appears to be the first purely computational design and experimental validation of novel functional ribozymes. RNAiFold is available at http://bioinformatics.bc.edu/clotelab/RNAiFold/.


title: Bounds on the deficit in the logarithmic Sobolev inequality

abstract: The de cit in the logarithmic Sobolev inequality for the Gaussian measure is considered and estimated by means of transport and information-theoretic distances.


title: Self-stabilizing algorithms for Connected Vertex Cover and Clique decomposition problems

abstract: In many wireless networks, there is no fixed physical backbone nor centralized network management. The nodes of such a network have to self-organize in order to maintain a virtual backbone used to route messages. Moreover, any node of the network can be a priori at the origin of a malicious attack. Thus, in one hand the backbone must be fault-tolerant and in other hand it can be useful to monitor all network communications to identify an attack as soon as possible. We are interested in the minimum \emph{Connected Vertex Cover} problem, a generalization of the classical minimum Vertex Cover problem, which allows to obtain a connected backbone. Recently, Delbot et al.~\cite{DelbotLP13} proposed a new centralized algorithm with a constant approximation ratio of $2$ for this problem. In this paper, we propose a distributed and self-stabilizing version of their algorithm with the same approximation guarantee. To the best knowledge of the authors, it is the first distributed and fault-tolerant algorithm for this problem. The approach followed to solve the considered problem is based on the construction of a connected minimal clique partition. Therefore, we also design the first distributed self-stabilizing algorithm for this problem, which is of independent interest.


title: Compactification and trees of spheres covers

abstract: We already saw in [A1] that the space of dynamically marked rational maps can be identified to a subspace of the space of covers between trees of spheres on which there is a notion of convergence that makes it sequentially compact. In the following we describe a topology on this space quotiented by the natural action of its group of isomorphisms. This topology corresponds to the previous convergence notion and makes this space compact.


title: Approximability of dynamical systems between trees of spheres

abstract: We study sequences of analytic conjugacy classes of rational maps which diverge in moduli space. In particular, we are interested in the notion of rescaling limits introduced by Jan Kiwi. In the continuity of [A1] we recall the notion of dynamical covers between trees of spheres for which a periodic sphere corresponds to a rescaling limit. We study necessary conditions for such a dynamical cover to be the limit of dynamically marked rational maps. With these conditions we classify them for the case of bicritical maps and we recover the second main result of Jan Kiwi regarding rescaling limits.


title: Lin\'earisation d'une it\'eration born\'ee dans Rd par des fonctions de Weierstrass

abstract: In this paper, we study an iteration in defined by a diffeomorphism polynomial bounded. Semi invariant curves tend to curves with parametric Weierstrass-Mandelbrot's functions. So, self-similarity and fractal dimension are justified. We apply these results to partial differential calculus. On \'etudie une it\'eration de Rd dans Rd d\'efinie par un diff\'eomorphisme polynomial born\'e. On montre que les courbes semi invariantes tendent asymptotiquement vers des courbes param\'etr\'ees par des fonctions de Weierstrass. Cela justifie les calculs d'\'echelle d'autosimilarit\'e et de dimension fractale comme le pratiquent des praticiens \`a partir d'intuitions pertinentes sur des it\'erations chaotiques. On applique ces r\'esultats au calcul diff\'erentiel.


title: Cut locus and heat kernel at Grushin points of 2 dimensional almost Riemannian metrics

abstract: This article deals with 2d almost Riemannian structures, which are generalized Riemannian structures on manifolds of dimension 2. Such sub-Riemannian structures can be locally defined by a pair of vector fields (X,Y), playing the role of orthonormal frame, that may become colinear on some subset. We denote D = span(X,Y). After a short introduction, I first give a description of the local cut and conjugate loci at a Grushin point q (where Dq has dimension 1 and Dq = TqM) that makes appear that the cut locus may have an angle at q. In a second time I describe the local cut and conjugate loci at a Riemannian point x in a neighborhood of a Grushin point q. Finally, applying results of [6], I give the asymptotics in small time of the heat kernel p_t(x,y) for y in the same neighborhood of q.


title: Spin-valley relaxation and quantum transport regimes in two-dimensional transition metal dichalcogenides

abstract: Quantum transport and spintronics regimes are studied in p- and n-doped atomic layers of hexagonal transition metal dichalcogenides (TMDCs), subject to the interplay between the valley structure and spin-orbit coupling. We find how spin relaxation of carriers depends on their areal density and show that it vanishes for holes near the band edge, leading to the density-independent spin diffusion length, and we develop a theory of weak localisation/antilocalisation, describing the crossovers between the orthogonal, double-unitary and symplectic regimes of quantum transport in TMDCs.


title: The Astrometric Foundation of Astrophysics

abstract: Astrophysical studies require a knowledge of very accurate positions, motions and distances of stars. A brief overview is given of the significance and development of astrometry by ESA's two astrometric satellites, Hipparcos and Gaia, launched in respectively 1989 and 2013. The astrometric foundation of all branches of astronomy from the solar system and stellar systems to compact galaxies, quasars and dark matter is being revolutionized by the observations from these satellites. The future of fundamental astrometry must be considered in a time frame of 50 years, therefore science issues for a Gaia successor mission in twenty years are discussed in an extensive report: "Absolute astrometry in the next 50 years" available at http://arxiv.org/abs/1408.2190


title: Case Studies and Challenges in Reproducibility in the Computational Sciences

abstract: This paper investigates the reproducibility of computational science research and identifies key challenges facing the community today. It is the result of the First Summer School on Experimental Methodology in Computational Science Research (https://blogs.cs.st-andrews.ac.uk/emcsr2014/). First, we consider how to reproduce experiments that involve human subjects, and in particular how to deal with different ethics requirements at different institutions. Second, we look at whether parallel and distributed computational experiments are more or less reproducible than serial ones. Third, we consider reproducible computational experiments from fields outside computer science. Our final case study looks at whether reproducibility for one researcher is the same as for another, by having an author attempt to have others reproduce their own, reproducible, paper. This paper is open, executable and reproducible: the whole process of writing this paper is captured in the source control repository hosting both the source of the paper, supplementary codes and data; we are providing setup for several experiments on which we were working; finally, we try to describe what we have achieved during the week of the school in a way that others may reproduce (and hopefully improve) our experiments.


title: Escape Kinetics of Self-Propelled Janus Particles from a Cavity: Numerical Simulations

abstract: We numerically investigate the escape kinetics of elliptic Janus particles from narrow two-dimensional cavities with reflecting walls. The self-propulsion velocity of the Janus particle is directed along either their major (prolate) or minor axis (oblate). We show that the mean exit time is very sensitive to the cavity geometry, particle shape and self-propulsion strength. The mean exit time is found to be a minimum when the self-propulsion length is equal to the cavity size. We also find the optimum mean escape time as a function of the self-propulsion velocity, translational diffusion, and particle shape. Thus, effective transport control mechanisms for Janus particles in a channel can be implemented.


title: A Correspondence between Maximal Abelian Sub-Algebras and Linear Logic Fragments

abstract: We show a correspondence between a classification of maximal abelian sub-algebras (MASAs) proposed by Jacques Dixmier and fragments of linear logic. We expose for this purpose a modified construction of Girard's hyperfinite geometry of interaction which interprets proofs as operators in a von Neumann algebra. The expressivity of the logic soundly interpreted in this model is dependent on properties of a MASA which is a parameter of the interpretation. We also unveil the essential role played by MASAs in previous geometry of interaction constructions.


title: Lagrangian quantum turbulence model based on alternating superfluid/ normal fluid stochastic dynamics

abstract: Inpired by recent measurements of the velocity and acceleration statistics of Lagrangian tracer particles embedded in a turbulent quantum liquid we propose a new superstatistical model for the dynamics of tracer particles in quantum turbulence. Our model consists of random sequences S/N/S/... where the particle spends some time in the superfluid (S) and some time in the normal fluid (N). This model leads to a superposition of power law distributions generated in the superfluid and Gaussian distributions in the normal liquid, in excellent agreement with experimental measurements. We include memory effects into our analysis and present analytic predictions for probability densities and correlation functions.


title: Sporadic Examples of Directed Strongly Regular Graphs Obtained by Computer Algebra Experimentation (Extended version)

abstract: We report about the results of the application of modern computer algebra tools for construction of directed strongly regular graphs. The suggested techniques are based on the investigation of non-commutative association schemes and Cayley graphs over non-Abelian groups. We demonstrate examples of directed strongly regular graphs for 28 different parameter sets, for which the existence of a corresponding digraph has not been known before.


title: High-dimensional unsupervised classification via parsimonious contaminated mixtures

abstract: The contaminated Gaussian distribution represents a simple heavy-tailed elliptical generalization of the Gaussian distribution; unlike the often-considered t-distribution, it also allows for automatic detection of mild outlying or "bad" points in the same way that observations are typically assigned to the groups in the finite mixture model context. Starting from this distribution, we propose the contaminated factor analysis model as a method for dimensionality reduction and detection of bad points in higher dimensions. A mixture of contaminated Gaussian factor analyzers (MCGFA) model follows therefrom, and extends the recently proposed mixture of contaminated Gaussian distributions to high-dimensional data. We introduce a family of 32 parsimonious models formed by introducing constraints on the covariance and contamination structures of the general MCGFA model. We outline a variant of the expectation-maximization algorithm for parameter estimation. Various implementation issues are discussed, and the novel family of models is compared to well-established approaches on both simulated and real data.


title: Negational Fragment of Intuitionistic Control Logic

abstract: We investigate properties of monadic purely negational fragment of Intuitionistic Control Logic (ICL). This logic arises from Intuitionistic Propositional Logic (IPL) by extending language of IPL by additional new constant for falsum. Having two different falsum constants enables to define two forms of negation. We analyse implicational relations between negational monadic formulae and present a poset of non equivalent formulae of this fragment of ICL.


title: Solution of the Voter Model by Spectral Analysis

abstract: An exact spectral analysis of the Markov Propagator for the Voter model is presented for the complete graph, and extended to the complete bipartite graph and uncorrelated random networks. Using a well-defined Martingale approximation in diffusion-dominated regions of phase space, which is almost everywhere for the Voter model, this method is applied to compute analytically several key quantities such as exact expressions for the $m$ time step propagator of the Voter model, all moments of consensus times, and the local times for each macrostate. This spectral method is motivated by a related method for solving the Ehrenfest Urn problem and by formulating the Voter model on the complete graph as an Urn model. Comparisons of the analytical results from the spectral method and numerical results from Monte-Carlo simulations are presented to validate the spectral method.


title: Convex polynomial approximation in $R^d$ with Freud weights

abstract: We show that for multivariate Freud-type weights $W_\alpha(x)=\exp(-|x|^\alpha)$, $\alpha>1$, any convex function $f$ on $R^d$ satisfying $fW_\alpha\in L_p(R^d)$ if $1\le p<\infty$, or $\lim_{|x|\to\infty}f(x)W_\alpha(x)=0$ if $p=\infty$, can be approximated in the weighted norm by a sequence $P_n$ of algebraic polynomials convex on $R^d$ such that $\|(f-P_n)W_\alpha\|_{L_p(R^d)}\to0$ as $n\to\infty$. This extends the previously known result for $d=1$ and $p=\infty$ obtained by the first author to higher dimensions and integral norms using a completely different approach.


title: Discrete Approximations of Metric Measure Spaces of Controlled Geometry

abstract: We find a necessary and sufficient condition for a doubling metric space to carry a (1,p)-Poincare inequality. The condition involves discretizations of the metric space and Poincare inequalities on graphs.


title: The center of $Dist(GL(m|n))$ in positive characteristic

abstract: The purpose of this paper is to investigate central elements in distribution algebras $Dist(G)$ of general linear supergroups $G=GL(m|n)$. As an application, we compute explicitly the center of $Dist(GL(1|1))$ and its image under Harish-Chandra homomorphism.


title: Equivariant cohomology Chern numbers determine equivariant unitary bordism for torus groups

abstract: This paper shows that the integral equivariant cohomology Chern numbers completely determine the equivariant geometric unitary bordism classes of closed unitary $G$-manifolds, which gives an affirmative answer to the conjecture posed by Guillemin--Ginzburg--Karshon in [20, Remark H.5, $\S3$, Appendix H], where $G$ is a torus. As a further application, we also obtain a satisfactory solution of [20, Question (A), $\S1.1$, Appendix H] on unitary Hamiltonian $G$-manifolds. Our key ingredients in the proof are the universal toric genus defined by Buchstaber--Panov--Ray and the Kronecker pairing of bordism and cobordism. Our approach heavily exploits Quillen's geometric interpretation of homotopic unitary cobordism theory. Moreover, this method can also be applied to the study of $({\Bbb Z}_2)^k$-equivariant unoriented bordism and can still derive the classical result of tom Dieck.


title: On Godbersen's Conjecture

abstract: We provide a natural generalization of a geometric conjecture of F\'{a}ry and R\'{e}dei regarding the volume of the convex hull of $K \subset {\mathbb R}^n$, and its negative image $-K$. We show that it implies Godbersen's conjecture regarding the mixed volumes of the convex bodies $K$ and $-K$. We then use the same type of reasoning to produce the currently best known upper bound for the mixed volumes $V(K[j], -K[n-j])$, which is not far from Godbersen's conjectured bound. To this end we prove a certain functional inequality generalizing Colesanti's difference function inequality.


title: Determinants of incidence and Hessian matrices arising from the vector space lattice

abstract: Let $\mathcal{V}=\bigsqcup_{i=0}^n\mathcal{V}_i$ be the lattice of subspaces of the $n$-dimensional vector space over the finite field $\mathbb{F}_q$ and let $\mathcal{A}$ be the graded Gorenstein algebra defined over $\mathbb{Q}$ which has $\mathcal{V}$ as a $\mathbb{Q}$ basis. Let $F$ be the Macaulay dual generator for $\mathcal{A}$. We compute explicitly the Hessian determinant $|\frac{\partial ^2F}{\partial X_i \partial X_j}|$ evaluated at the point $X_1 = X_2 = \cdots = X_N=1$ and relate it to the determinant of the incidence matrix between $\mathcal{V}_1$ and $\mathcal{V}_{n-1}$. Our exploration is motivated by the fact that both of these matrices arise naturally in the study of the Sperner property of the lattice and the Lefschetz property for the graded Artinian Gorenstein algebra associated to it.


title: Countable dense homogeneity in powers of zero-dimensional definable spaces

abstract: We show that, for a coanalytic subspace $X$ of $2^\omega$, the countable dense homogeneity of $X^\omega$ is equivalent to $X$ being Polish. This strengthens a result of Hru\v{s}\'ak and Zamora Avil\'es. Then, inspired by results of Hern\'andez-Guti\'errez, Hru\v{s}\'ak and van Mill, using a technique of Medvedev, we construct a non-Polish subspace $X$ of $2^\omega$ such that $X^\omega$ is countable dense homogeneous. This gives the first $\mathsf{ZFC}$ answer to a question of Hru\v{s}\'ak and Zamora Avil\'es. Furthermore, since our example is consistently analytic, the equivalence result mentioned above is sharp. Our results also answer a question of Medini and Milovich. Finally, we show that if every countable subset of a zero-dimensional separable metrizable space $X$ is included in a Polish subspace of $X$ then $X^\omega$ is countable dense homogeneous.


title: How the Taxonomy of Products Drives the Economic Development of Countries

abstract: We introduce an algorithm able to reconstruct the relevant network structure on which the time evolution of country-product bipartite networks takes place. The significant links are obtained by selecting the largest values of the projected matrix. We first perform a number of tests of this filtering procedure on synthetic cases and a toy model. Then we analyze the bipartite network constituted by countries and exported products, using two databases for a total of almost 50 years. It is then possible to build a hierarchically directed network, in which the taxonomy of products emerges in a natural way. We study the influence of the structure of this taxonomy network on countries' development; in particular, guided by an example taken from the industrialization of South Korea, we link the structure of the taxonomy network to the empirical temporal connections between product activations, finding that the most relevant edges for countries' development are the ones suggested by our network. These results suggest paths in the product space which are easier to achieve, and so can drive countries' policies in the industrialization process.