title: Spectral Properties of Limit-Periodic Operators

abstract: We survey results concerning the spectral properties of limit-periodic operators. The main focus is on discrete one-dimensional Schr\"odinger operators, but other classes of operators, such as Jacobi and CMV matrices, continuum Schr\"odinger operators and multi-dimensional Schr\"odinger operators, are discussed as well. We explain that each basic spectral type occurs, and it does so for a dense set of limit-periodic potentials. The spectrum has a strong tendency to be a Cantor set, but there are also cases where the spectrum has no gaps at all. The possible regularity properties of the integrated density of states range from extremely irregular to extremely regular. Additionally, we present background about periodic Schr\"odinger operators and almost-periodic sequences. In many cases we outline the proofs of the results we present.


title: Duality Gap in Interval Linear Programming

abstract: This paper deals with the problem of linear programming with inexact data represented by real closed intervals. Optimization problems with interval data arise in practical computations and they are of theoretical interest for more than forty years. We extend the concept of duality gap (DG), the difference between the primal and its dual optimal value, into interval linear programming. We consider two situations: First, DG is zero for every realization of interval parameters (the so called strongly zero DG) and, second, DG is zero for at least one realization of interval parameters (the so called weakly zero DG). We characterize strongly and weakly zero DG and its special case where the matrix of coefficients is real. We discuss computational complexity of testing weakly and strongly zero DG for commonly used types of interval linear programs and their variants with the real matrix of coefficients. We distinguish the NP-hard cases and the cases that are efficiently decidable. Based on DG conditions, we extend previous results about the bounds of the optimal value set given by Rohn. We provide equivalent statements for the bounds


title: Local yield stress statistics in model amorphous solids

abstract: We develop and extend a method presented in [S. Patinet, D. Vandembroucq, and M. L. Falk, Phys. Rev. Lett., 117, 045501 (2016)] to compute the local yield stresses at the atomic scale in model two-dimensional Lennard-Jones glasses produced via differing quench protocols. This technique allows us to sample the plastic rearrangements in a non-perturbative manner for different loading directions on a well-controlled length scale. Plastic activity upon shearing correlates strongly with the locations of low yield stresses in the quenched states. This correlation is higher in more structurally relaxed systems. The distribution of local yield stresses is also shown to strongly depend on the quench protocol: the more relaxed the glass, the higher the local plastic thresholds. Analysis of the magnitude of local plastic relaxations reveals that stress drops follow exponential distributions, justifying the hypothesis of an average characteristic amplitude often conjectured in mesoscopic or continuum models. The amplitude of the local plastic rearrangements increases on average with the yield stress, regardless of the system preparation. The local yield stress varies with the shear orientation tested and strongly correlates with the plastic rearrangement locations when the system is sheared correspondingly. It is thus argued that plastic rearrangements are the consequence of shear transformation zones encoded in the glass structure that possess weak slip planes along different orientations. Finally, we justify the length scale employed in this work and extract the yield threshold statistics as a function of the size of the probing zones. This method makes it possible to derive physically grounded models of plasticity for amorphous materials by directly revealing the relevant details of the shear transformation zones that mediate this process.


title: Security and Privacy Approaches in Mixed Reality: A Literature Survey

abstract: Mixed reality (MR) technology development is now gaining momentum due to advances in computer vision, sensor fusion, and realistic display technologies. With most of the research and development focused on delivering the promise of MR, there is only barely a few working on the privacy and security implications of this technology. This survey paper aims to put in to light these risks, and to look into the latest security and privacy work on MR. Specifically, we list and review the different protection approaches that have been proposed to ensure user and data security and privacy in MR. We extend the scope to include work on related technologies such as augmented reality (AR), virtual reality (VR), and human-computer interaction (HCI) as crucial components, if not the origins, of MR, as well as numerous related work from the larger area of mobile devices, wearables, and Internet-of-Things (IoT). We highlight the lack of investigation, implementation, and evaluation of data protection approaches in MR. Further challenges and directions on MR security and privacy are also discussed.


title: Detecting Anomalous Faces with 'No Peeking' Autoencoders

abstract: Detecting anomalous faces has important applications. For example, a system might tell when a train driver is incapacitated by a medical event, and assist in adopting a safe recovery strategy. These applications are demanding, because they require accurate detection of rare anomalies that may be seen only at runtime. Such a setting causes supervised methods to perform poorly. We describe a method for detecting an anomalous face image that meets these requirements. We construct a feature vector that reliably has large entries for anomalous images, then use various simple unsupervised methods to score the image based on the feature. Obvious constructions (autoencoder codes; autoencoder residuals) are defeated by a 'peeking' behavior in autoencoders. Our feature construction removes rectangular patches from the image, predicts the likely content of the patch conditioned on the rest of the image using a specially trained autoencoder, then compares the result to the image. High scores suggest that the patch was difficult for an autoencoder to predict, and so is likely anomalous. We demonstrate that our method can identify real anomalous face images in pools of typical images, taken from celeb-A, that is much larger than usual in state-of-the-art experiments. A control experiment based on our method with another set of normal celebrity images - a 'typical set', but nonceleb-A are not identified as anomalous; confirms this is not due to special properties of celeb-A.


title: Horovod: fast and easy distributed deep learning in TensorFlow

abstract: Training modern deep learning models requires large amounts of computation, often provided by GPUs. Scaling computation from one GPU to many can enable much faster training and research progress but entails two complications. First, the training library must support inter-GPU communication. Depending on the particular methods employed, this communication may entail anywhere from negligible to significant overhead. Second, the user must modify his or her training code to take advantage of inter-GPU communication. Depending on the training library's API, the modification required may be either significant or minimal. Existing methods for enabling multi-GPU training under the TensorFlow library entail non-negligible communication overhead and require users to heavily modify their model-building code, leading many researchers to avoid the whole mess and stick with slower single-GPU training. In this paper we introduce Horovod, an open source library that improves on both obstructions to scaling: it employs efficient inter-GPU communication via ring reduction and requires only a few lines of modification to user code, enabling faster, easier distributed training in TensorFlow. Horovod is available under the Apache 2.0 license at https://github.com/uber/horovod


title: Tree-CNN: A Hierarchical Deep Convolutional Neural Network for Incremental Learning

abstract: Over the past decade, Deep Convolutional Neural Networks (DCNNs) have shown remarkable performance in most computer vision tasks. These tasks traditionally use a fixed dataset, and the model, once trained, is deployed as is. Adding new information to such a model presents a challenge due to complex training issues, such as "catastrophic forgetting", and sensitivity to hyper-parameter tuning. However, in this modern world, data is constantly evolving, and our deep learning models are required to adapt to these changes. In this paper, we propose an adaptive hierarchical network structure composed of DCNNs that can grow and learn as new data becomes available. The network grows in a tree-like fashion to accommodate new classes of data, while preserving the ability to distinguish the previously trained classes. The network organizes the incrementally available data into feature-driven super-classes and improves upon existing hierarchical CNN models by adding the capability of self-growth. The proposed hierarchical model, when compared against fine-tuning a deep network, achieves significant reduction of training effort, while maintaining competitive accuracy on CIFAR-10 and CIFAR-100.


title: Uniform-in-Submodel Bounds for Linear Regression in a Model Free Framework

abstract: For the last two decades, high-dimensional data and methods have proliferated throughout the literature. Yet, the classical technique of linear regression has not lost its usefulness in applications. In fact, many high-dimensional estimation techniques can be seen as variable selection that leads to a smaller set of variables (a ``sub-model'') where classical linear regression applies. We analyze linear regression estimators resulting from model-selection by proving estimation error and linear representation bounds uniformly over sets of submodels. Based on deterministic inequalities, our results provide ``good'' rates when applied to both independent and dependent data. These results are useful in meaningfully interpreting the linear regression estimator obtained after exploring and reducing the variables and also in justifying post model-selection inference. All results are derived under no model assumptions and are non-asymptotic in nature.


title: End-to-end Analysis and Design of a Drone Flight Controller

abstract: Timing guarantees are crucial to cyber-physical applications that must bound the end-to-end delay between sensing, processing and actuation. For example, in a flight controller for a multirotor drone, the data from a gyro or inertial sensor must be gathered and processed to determine the attitude of the aircraft. Sensor data fusion is followed by control decisions that adjust the flight of a drone by altering motor speeds. If the processing pipeline between sensor input and actuation is not bounded, the drone will lose control and possibly fail to maintain flight. Motivated by the implementation of a multithreaded drone flight controller on the Quest RTOS, we develop a composable pipe model based on the system's task, scheduling and communication abstractions. This pipe model is used to analyze two semantics of end-to-end time: reaction time and freshness time. We also argue that end-to-end timing properties should be factored in at the early stage of application design. Thus, we provide a mathematical framework to derive feasible task periods that satisfy both a given set of end-to-end timing constraints and the schedulability requirement. We demonstrate the applicability of our design approach by using it to port the Cleanflight flight controller firmware to Quest on the Intel Aero board. Experiments show that Cleanflight ported to Quest is able to achieve end-to-end latencies within the predicted time bounds derived by analysis.


title: MPC-Inspired Neural Network Policies for Sequential Decision Making

abstract: In this paper we investigate the use of MPC-inspired neural network policies for sequential decision making. We introduce an extension to the DAgger algorithm for training such policies and show how they have improved training performance and generalization capabilities. We take advantage of this extension to show scalable and efficient training of complex planning policy architectures in continuous state and action spaces. We provide an extensive comparison of neural network policies by considering feed forward policies, recurrent policies, and recurrent policies with planning structure inspired by the Path Integral control framework. Our results suggest that MPC-type recurrent policies have better robustness to disturbances and modeling error.


title: Automorphism groups of superextensions of groups

abstract: The superextension $\lambda(X)$ of a set $X$ consists of all maximal linked families on $X$. Any associative binary operation $*: X\times X \to X$ can be extended to an associative binary operation $*: \lambda(X)\times\lambda(X)\to\lambda(X)$. In the paper we study isomorphisms of superextensions of groups and prove that two groups are isomorphic if and only if their superextensions are isomorphic. Also we describe the automorphism groups of superextensions of all groups of cardinality $\leq 5$.


title: OSSOS IX: two objects in Neptune's 9:1 resonance -- implications for resonance sticking in the scattering population

abstract: We discuss the detection in the Outer Solar System Origins Survey (OSSOS) of two objects in Neptune's distant 9:1 mean motion resonance at semimajor axis $a\approx~130$~au. Both objects are securely resonant on 10~Myr timescales, with one securely in the 9:1 resonance's leading asymmetric libration island and the other in either the symmetric or trailing asymmetric island. These objects are the largest semimajor axis objects with secure resonant classifications, and their detection in a carefully characterized survey allows for the first robust resonance population estimate beyond 100~au. The detection of these objects implies a 9:1 resonance population of $1.1\times10^4$ objects with $H_r<8.66$ ($D~\gtrsim~100$~km) on similar orbits (95\% confidence range of $\sim0.4-3\times10^4$). Integrations over 4~Gyr of an ensemble of clones spanning these objects' orbit fit uncertainties reveal that they both have median resonance occupation timescales of $\sim1$~Gyr. These timescales are consistent with the hypothesis that these objects originate in the scattering population but became transiently stuck to Neptune's 9:1 resonance within the last $\sim1$~Gyr of solar system evolution. Based on simulations of a model of the current scattering population, we estimate the expected resonance sticking population in the 9:1 resonance to be 1000-4500 objects with $H_r<8.66$; this is marginally consistent with the OSSOS 9:1 population estimate. We conclude that resonance sticking is a plausible explanation for the observed 9:1 population, but we also discuss the possibility of a primordial 9:1 population, which would have interesting implications for the Kuiper belt's dynamical history.


title: Duty-cycle and energetics of remnant radio-loud AGN

abstract: Deriving the energetics of remnant and restarted active galactic nuclei (AGNs) is much more challenging than for active sources due to the complexity in accurately determining the time since the nucleus switched-off. I resolve this problem using a new approach that combines spectral ageing and dynamical models to tightly constrain the energetics and duty-cycles of dying sources. Fitting the shape of the integrated radio spectrum yields the fraction of the source age the nucleus is active; this, in addition to the flux density, source size, axis ratio, and properties of the host environment, provides a constraint on dynamical models describing the remnant radio source. This technique is used to derive the intrinsic properties of the well-studied remnant radio source B2 0924+30. This object is found to spend $50^{+14}_{-12}$ Myr in the active phase and a further $28^{+6}_{-5}$ Myr in the quiescent phase, have a jet kinetic power of $3.6^{+3.0}_{-1.7}\times 10^{37}$ W, and a lobe magnetic field strength below equipartition at the $8\sigma$ level. The integrated spectra of restarted and intermittent radio sources is found to yield a 'steep-shallow' shape when the previous outburst occurred within 100 Myr. The duty-cycle of B2 0924+30 is hence constrained to be $\delta < 0.15$ by fitting the shortest time to the previous comparable outburst that does not appreciably modify the remnant spectrum. The time-averaged feedback energy imparted by AGNs into their host galaxy environments can in this manner be quantified.


title: Optimal Actuator Design for Semi-linear Systems

abstract: Actuator location and design are important choices in controller design for distributed parameter systems. Semi-linear partial differential equations model a wide spectrum of physical systems with distributed parameters. It is shown that under certain conditions on the nonlinearity and the cost function, an optimal control input together with an optimal actuator choice exists. First-order necessary optimality conditions are derived. The results are applied to optimal actuator and controller design in a nonlinear railway track model as well as semi-linear wave models.


title: Nearly associative deformation quantization

abstract: We study several classes of non-associative algebras as possible candidates for deformation quantization in the direction of a Poisson bracket that does not satisfy Jacobi identities. We show that in fact alternative deformation quantization algebras require the Jacobi identities on the Poisson bracket and, under very general assumptions, are associative. At the same time, flexible deformation quantization algebras exist for any Poisson bracket.


title: Two-scale series expansions for travelling wave packets in one-dimensional periodic media

abstract: Starting from the wave equation for a medium with material properties that vary periodically, we study a system of recurrence relations that describe propagation of wave packets that oscillate on the microscale (i.e. on lengths of the order of the period of the medium) and vary slowly on the macroscale (i.e. on lengths that contain a large number of periods). The resulting equations contain a version of the geometric optics and the overall energy transport description for periodic media. We illustrate the developed asymptotic theory using the example of a point pulse propagating through a periodic arrangement of two materials with highly contrasting elastic moduli.


title: Implementation of nearly arbitrary spatially-varying polarization transformations: a non-diffractive and non-interferometric approach using spatial light modulators

abstract: A fast and automated scheme for general polarization transformations holds great value in adaptive optics, quantum information, and virtually all applications involving light-matter and light-light interactions. We present an experiment that uses a liquid crystal on silicon spatial light modulator (LCOS-SLM) to perform polarization transformations on a light field. We experimentally demonstrate the point-by-point conversion of uniformly polarized light fields across the wave front to realize arbitrary, spatially varying polarization states. Additionally, we demonstrate that a light field with an arbitrary spatially varying polarization can be transformed to a spatially invariant (i.e., uniform) polarization.


title: Distributed Stochastic Optimization via Adaptive SGD

abstract: Stochastic convex optimization algorithms are the most popular way to train machine learning models on large-scale data. Scaling up the training process of these models is crucial, but the most popular algorithm, Stochastic Gradient Descent (SGD), is a serial method that is surprisingly hard to parallelize. In this paper, we propose an efficient distributed stochastic optimization method by combining adaptivity with variance reduction techniques. Our analysis yields a linear speedup in the number of machines, constant memory footprint, and only a logarithmic number of communication rounds. Critically, our approach is a black-box reduction that parallelizes any serial online learning algorithm, streamlining prior analysis and allowing us to leverage the significant progress that has been made in designing adaptive algorithms. In particular, we achieve optimal convergence rates without any prior knowledge of smoothness parameters, yielding a more robust algorithm that reduces the need for hyperparameter tuning. We implement our algorithm in the Spark distributed framework and exhibit dramatic performance gains on large-scale logistic regression problems.


title: Minimal dissipation model for bipartite quantum systems at finite temperature

abstract: We consider the reduced dynamics in a bipartite quantum system (consisting of a central system and an intermediate environment) coupled to a heat bath at finite temperature. To describe this situation, in the simplest possible -- yet physically meaningful way, we introduce the "depolarizing heat bath" as a new minimal dissipation model. We conjecture that at sufficiently strong dissipation, any other dissipation model implemented in the form of a Markovian quantum master equation will yield the same reduced dynamics of the central system, as the minimal model. To support this conjecture, we study a two-level system coupled to an oscillator mode. For the coupling between the two parts, we consider the Jaynes-Cummings or a dephasing coupling, while the coupling to the heat bath is modeled by the quantum optical or the Caldeira-Leggett master equation (neglecting any direct coupling between central system and heat bath). We then provide ample numerical evidence, for both, model-independence and accuracy of the depolarizing heat bath model. Alongside with our study, we investigate different regimes, where the strong coupling condition leads to coherence and/or population stabilization.


title: Chain Posets

abstract: A chain poset, by definition, consists of chains of ordered elements in a poset. We study the chain posets associated to two posets: the Boolean algebra and the poset of isotropic flags. We prove that, in both cases, the chain posets satisfy the strong Sperner property and are rank-log concave.


title: Variational Autoencoders for Collaborative Filtering

abstract: We extend variational autoencoders (VAEs) to collaborative filtering for implicit feedback. This non-linear probabilistic model enables us to go beyond the limited modeling capacity of linear factor models which still largely dominate collaborative filtering research.We introduce a generative model with multinomial likelihood and use Bayesian inference for parameter estimation. Despite widespread use in language modeling and economics, the multinomial likelihood receives less attention in the recommender systems literature. We introduce a different regularization parameter for the learning objective, which proves to be crucial for achieving competitive performance. Remarkably, there is an efficient way to tune the parameter using annealing. The resulting model and learning algorithm has information-theoretic connections to maximum entropy discrimination and the information bottleneck principle. Empirically, we show that the proposed approach significantly outperforms several state-of-the-art baselines, including two recently-proposed neural network approaches, on several real-world datasets. We also provide extended experiments comparing the multinomial likelihood with other commonly used likelihood functions in the latent factor collaborative filtering literature and show favorable results. Finally, we identify the pros and cons of employing a principled Bayesian inference approach and characterize settings where it provides the most significant improvements.


title: Robust Eco-Driving Control of Autonomous Vehicles Connected to Traffic Lights

abstract: This paper focuses on the speed planning problem for connected and automated vehicles (CAVs) communicating to traffic lights. The uncertainty of traffic signal timing for signalized intersections on the road is considered. The eco-driving problem is formulated as a data-driven chance constrained robust optimization problem. Effective red light duration (ERD) is defined as a random variable, and describes the feasible passing time through the signalized intersections. In practice, the true probability distribution for ERD is usually unknown. Consequently, a data-driven approach is adopted to formulate chance constraints based on empirical sample data. This incorporates robustness into the eco-driving control problem with respect to uncertain signal timing. Dynamic programming (DP) is employed to solve the optimization problem. Simulation results demonstrate that the proposed method can generate optimal speed reference trajectories with 40% less vehicle fuel consumption, while maintaining the arrival time at a similar level when compared to a modified intelligent driver model (IDM). The proposed control approach significantly improves the controller robustness in the face of uncertain signal timing, without requiring to know the distribution of the random variable a priori.


title: ISEC: Iterative over-Segmentation via Edge Clustering

abstract: Several image pattern recognition tasks rely on superpixel generation as a fundamental step. Image analysis based on superpixels facilitates domain-specific applications, also speeding up the overall processing time of the task. Recent superpixel methods have been designed to fit boundary adherence, usually regulating the size and shape of each superpixel in order to mitigate the occurrence of undersegmentation failures. Superpixel regularity and compactness sometimes imposes an excessive number of segments in the image, which ultimately decreases the efficiency of the final segmentation, specially in video segmentation. We propose here a novel method to generate superpixels, called iterative over-segmentation via edge clustering (ISEC), which addresses the over-segmentation problem from a different perspective in contrast to recent state-of-the-art approaches. ISEC iteratively clusters edges extracted from the image objects, providing adaptive superpixels in size, shape and quantity, while preserving suitable adherence to the real object boundaries. All this is achieved at a very low computational cost. Experiments show that ISEC stands out from existing methods, meeting a favorable balance between segmentation stability and accurate representation of motion discontinuities, which are features specially suitable to video segmentation.


title: Role of typical elements in Nd$_{2}$Fe$_{14}$$X$ ($X$ = B, C, N, O, F)

abstract: The magnetic properties and structural stability of Nd$_{2}$Fe$_{14}X$ ($X$ = B, C, N, O, F) are theoretically studied by first-principles calculations focusing on the role of $X$. We find that B reduces the magnetic moment (per formula unit) and magnetization (per volume) in Nd$_{2}$Fe$_{14}$B. The crystal-field parameter $A_2^0 \langle r^2 \rangle$ of Nd is not enhanced either, suggesting that B has minor roles in the uniaxial magnetocrystalline anisotropy of Nd. These findings are in contrast to the long-held belief that B works positively for the magnetic properties of Nd$_{2}$Fe$_{14}$B. As $X$ changes from B to C, N, O and F, both the magnetic properties and stability vary significantly. The formation energies of Nd$_{2}$Fe$_{14}X$ and $\alpha$-Fe relative to that of Nd$_{2}$Fe$_{17}X$ are negative for $X$ = B and C, whereas they are positive when $X$ = N, O and F. This indicates that B plays an important role in stabilizing the Nd$_{2}$Fe$_{14}$B phase.


title: Disentangling Aspect and Opinion Words in Target-based Sentiment Analysis using Lifelong Learning

abstract: Given a target name, which can be a product aspect or entity, identifying its aspect words and opinion words in a given corpus is a fine-grained task in target-based sentiment analysis (TSA). This task is challenging, especially when we have no labeled data and we want to perform it for any given domain. To address it, we propose a general two-stage approach. Stage one extracts/groups the target-related words (call t-words) for a given target. This is relatively easy as we can apply an existing semantics-based learning technique. Stage two separates the aspect and opinion words from the grouped t-words, which is challenging because we often do not have enough word-level aspect and opinion labels. In this work, we formulate this problem in a PU learning setting and incorporate the idea of lifelong learning to solve it. Experimental results show the effectiveness of our approach.


title: Nuclear Structure of Two-Proton Halo-Nucleus 17Ne

abstract: Theoretical investigation of two-proton halo-nucleus 17Ne has revealed that the valence protons are more likely to be positioned in the d-state than the s-state. In this study, this finding is clarified by calculation of the binding energy, it is found that the theoretical values for the d-state are closer to the experimental values, in contrast with those obtained for the s-state. The three-body model and MATLAB software are utilised to obtain theoretical values for the three-body-model 17Ne binding energy and matter radius. 17Ne has halo properties of a weakly bound valence proton, a binding energy of less than 1 MeV, and a large matter radius. The core deformation parameter has zero and negative values; thus, the 17Ne core exhibits both spherical and oblate shapes depending on the binding energy of the three-body system. This suggests 17Ne has two-proton halo.


title: Phonemic evidence reveals interwoven evolution of Chinese dialects

abstract: Han Chinese experienced substantial population migrations and admixture in history, yet little is known about the evolutionary process of Chinese dialects. Here, we used phylogenetic approaches and admixture inference to explicitly decompose the underlying structure of the diversity of Chinese dialects, based on the total phoneme inventories of 140 dialect samples from seven traditional dialect groups: Mandarin, Wu, Xiang, Gan, Hakka, Min and Yue. We found a north-south gradient of phonemic differences in Chinese dialects induced from historical population migrations. We also quantified extensive horizontal language transfers among these dialects, corresponding to the complicated socio-genetic history in China. We finally identified that the middle latitude dialects of Xiang, Gan and Hakka were formed by admixture with other four dialects. Accordingly, the middle-latitude areas in China were a linguistic melting pot of northern and southern Han populations. Our study provides a detailed phylogenetic and historical context against family-tree model in China.


title: Learning Latent Features with Pairwise Penalties in Low-Rank Matrix Completion

abstract: Low-rank matrix completion has achieved great success in many real-world data applications. A matrix factorization model that learns latent features is usually employed and, to improve prediction performance, the similarities between latent variables can be exploited by pairwise learning using the graph regularized matrix factorization (GRMF) method. However, existing GRMF approaches often use the squared loss to measure the pairwise differences, which may be overly influenced by dissimilar pairs and lead to inferior prediction. To fully empower pairwise learning for matrix completion, we propose a general optimization framework that allows a rich class of (non-)convex pairwise penalty functions. A new and efficient algorithm is developed to solve the proposed optimization problem, with a theoretical convergence guarantee under mild assumptions. In an important situation where the latent variables form a small number of subgroups, its statistical guarantee is also fully considered. In particular, we theoretically characterize the performance of the complexity-regularized maximum likelihood estimator, as a special case of our framework, which is shown to have smaller errors when compared to the standard matrix completion framework without pairwise penalties. We conduct extensive experiments on both synthetic and real datasets to demonstrate the superior performance of this general framework.


title: Auto-Encoding Total Correlation Explanation

abstract: Advances in unsupervised learning enable reconstruction and generation of samples from complex distributions, but this success is marred by the inscrutability of the representations learned. We propose an information-theoretic approach to characterizing disentanglement and dependence in representation learning using multivariate mutual information, also called total correlation. The principle of total Cor-relation Ex-planation (CorEx) has motivated successful unsupervised learning applications across a variety of domains, but under some restrictive assumptions. Here we relax those restrictions by introducing a flexible variational lower bound to CorEx. Surprisingly, we find that this lower bound is equivalent to the one in variational autoencoders (VAE) under certain conditions. This information-theoretic view of VAE deepens our understanding of hierarchical VAE and motivates a new algorithm, AnchorVAE, that makes latent codes more interpretable through information maximization and enables generation of richer and more realistic samples.


title: Single Transits and Eclipses Observed by K2

abstract: Photometric survey data from the Kepler mission have been used to discover and characterize thousands of transiting exoplanet and eclipsing binary (EB) systems. These discoveries have enabled empirical studies of occurrence rates which reveal that exoplanets are ubiquitous and found in a wide variety of system architectures and physical compositions. Because the detection strategy of these missions is most sensitive to short orbital periods, the vast majority of these objects reside within 1 AU of their host star. Although other detection techniques have successfully identified exoplanets at wider orbits beyond the snow lines of their respective host stars (e.g., radial velocity, microlensing, direct imaging), occurrence rates within this population remain poorly constrained. As such, identifying long period objects (LPOs) from archival Kepler and K2 data is valuable from both a statistical and theoretical standpoint, particularly for massive gas giants which are thought to heavily influence the formation and evolution dynamics of their respective systems. Here we present a catalog of 164 single transit and eclipse candidates detected during a comprehensive survey of all currently available K2 data.


title: Combinatorial minimal surfaces in pseudomanifolds

abstract: We define combinatorial analogues of stable and unstable minimal surfaces in the setting of weighted pseudomanifolds. We prove that, under mild conditions, such combinatorial minimal surfaces always exist. We use a technique, adapted from work of Johnson and Thompson, called thin position. Thin position is defined using orderings of the cells of a pseudomanifold. In addition to defining and finding combinatorial minimal surfaces, from thin orderings, we derive invariants of even-dimensional closed simplicial pseudomanifolds called width and trunk. We study additivity properties of these invariants under connected sum and prove theorems analogous to those in knot theory and 3-manifold theory.


title: A Comparison of Constraint Handling Techniques for Dynamic Constrained Optimization Problems

abstract: Dynamic constrained optimization problems (DCOPs) have gained researchers attention in recent years because a vast majority of real world problems change over time. There are studies about the effect of constrained handling techniques in static optimization problems. However, there lacks any substantial study in the behavior of the most popular constraint handling techniques when dealing with DCOPs. In this paper we study the four most popular used constraint handling techniques and apply a simple Differential Evolution (DE) algorithm coupled with a change detection mechanism to observe the behavior of these techniques. These behaviors were analyzed using a common benchmark to determine which techniques are suitable for the most prevalent types of DCOPs. For the purpose of analysis, common measures in static environments were adapted to suit dynamic environments. While an overall superior technique could not be determined, certain techniques outperformed others in different aspects like rate of optimization or reliability of solutions.


title: Dealing with indistinguishable particles and their entanglement

abstract: Here we discuss a particle-based approach to deal with systems of many identical quantum objects (particles) which never employs labels to mark them. We show that it avoids both methodological problems and drawbacks in the study of quantum correlations associated to the standard quantum mechanical treatment of identical particles. The core of this approach is represented by the multiparticle probability amplitude whose structure in terms of single-particle amplitudes we here derive by first principles. To characterise entanglement among the identical particles, this new method utilises the same notions, such as partial trace, adopted for nonidentical ones. We highlight the connection between our approach and second quantization. We also define spin-exchanged multipartite states (SPES) which contain a generalisation of W states to identical particles. We prove that their spatial overlap plays a role on the distributed entanglement within multipartite systems and is responsible for the appearance of nonlocal quantum correlations.


title: Single-Track Melt-Pool Measurements and Microstructures in Inconel 625

abstract: We use single track laser melting experiments and simulations on Inconel 625 to estimate the dimensions and microstructures of the resulting melt pools. Our work is based on a design-of-experiments approach which uses multiple laser power and scan speed combinations. Single track experiments generate melt pools of certain dimensions. These dimensions reasonably agree with our finite element calculations. Phase-field simulations predict the size and segregation of the cellular microstructures that form along the melt pool boundaries for the solidification conditions that change as a function of melt pool dimensions.


title: Improving Power Grid Resilience Through Predictive Outage Estimation

abstract: In this paper, in an attempt to improve power grid resilience, a machine learning model is proposed to predictively estimate the component states in response to extreme events. The proposed model is based on a multi-dimensional Support Vector Machine (SVM) considering the associated resilience index, i.e., the infrastructure quality level and the time duration that each component can withstand the event, as well as predicted path and intensity of the upcoming extreme event. The outcome of the proposed model is the classified component state data to two categories of outage and operational, which can be further used to schedule system resources in a predictive manner with the objective of maximizing its resilience. The proposed model is validated using \"A-fold cross-validation and model benchmarking techniques. The performance of the model is tested through numerical simulations and based on a well-defined and commonly-used performance measure.


title: Magnetic Field Analysis of the Bow and Terminal Shock of the SS433 Jet

abstract: We report a polarization analysis of the eastern region of W50, observed with the Australia Telescope Compact Array (ATCA) at 1.4 - 3.0 GHz. In order to study the physical structures in the region where the SS433 jet and W50 interact, we obtain an intrinsic magnetic field vector map of that region. We find that the orientation of the intrinsic magnetic field vectors are aligned along the total intensity structures, and that there are characteristic, separate structures related to the jet, the bow shock, and the terminal shock. The Faraday rotation measures (RMs), and the results of Faraday Tomography suggest that a high intensity, filamentary structure in the north-south direction of the eastern-edge region can be separated into at least two parts to the north and south. The results of Faraday Tomography also show that there are multiple components along the line of sight and/or within the beam area. In addition, we also analyze the X-ray ring-like structure observed with XMM-Newton. While the possibility still remains that this X-ray ring is real, it seems that the structure is not ring-like at radio wavelengths. Finally, we suggest that the structure is a part of the helical structure that coils the eastern ear of W50.


title: Teichm\"uller theory of the universal hyperbolic lamination

abstract: We construct an Ahlfors-Bers complex analytic model for the Teichm\"uller space of the universal hyperbolic lamination (also known as Sullivan's Teichm\"uller space) and the renormalized Weil-Petersson metric on it as an extension of the usual one. In this setting, we prove that Sullivan's Teichm\"uller space is K\"ahler isometric biholomorphic to the space of continuous functions from the profinite completion of the fundamental group of a compact Riemann surface of genus greater than or equal to two to the Teichm\"uller space of this surface; i.e. We find natural K\"ahler coordinates for the Sullivan's Teichm\"uller space. This is the main result. As a corollary, we show the expected fact that the Nag-Verjovsky embedding is transversal to the Sullivan's Teichm\"uller space contained in the universal one.


title: Component Outage Estimation based on Support Vector Machine

abstract: Predicting power system component outages in response to an imminent hurricane plays a major role in preevent planning and post-event recovery of the power system. An exact prediction of components states, however, is a challenging task and cannot be easily performed. In this paper, a Support Vector Machine (SVM) based method is proposed to help estimate the components states in response to anticipated path and intensity of an imminent hurricane. Components states are categorized into three classes of damaged, operational, and uncertain. The damaged components along with the components in uncertain class are then considered in multiple contingency scenarios of a proposed Event-driven Security-Constrained Unit Commitment (E-SCUC), which considers the simultaneous outage of multiple components under an N-m-u reliability criterion. Experimental results on the IEEE 118-bus test system show the merits and the effectiveness of the proposed SVM classifier and the E-SCUC model in improving power system resilience in response to extreme events.


title: A Reputation-based Stackelberg Game Model to Enhance Secrecy Rate in Spectrum Leasing to Selfish IoT Devices

abstract: The problem of cooperative spectrum leasing to unlicensed Internet of Things (IoT) devices is studied to account for potential selfish behavior of these devices. A distributed game theoretic framework for spectrum leasing is proposed where the licensed users can willingly lease a portion of their spectrum access to unlicensed IoT devices, and in return the IoT devices provide cooperative services, firstly to enhance information secrecy of licensed users via adding intentional jamming to protect them from potential eavesdroppers, and secondly to enhance the quality of communication through cooperative relaying. The cooperative behavior of the potentially selfish IoT devices is monitored using a reputation-based mechanism to enable the primary users to only interact with the reliable IoT devices. The simulation results show that using the proposed reputation-based method enhances the secrecy rate of the primary users by reducing the possibility of attacks from selfish IoT devices. Hence, this model can offer a practical solution for spectrum leasing with mobile IoT devices when assuring the required quality of communication and information secrecy for the spectrum owners.


title: Load Curtailment Estimation in Response to Extreme Events

abstract: A machine learning model is proposed in this paper to help estimate potential nodal load curtailment in response to an extreme event. This is performed through identifying which grid components will fail as a result of an extreme event, and consequently, which parts of the power system will encounter a supply interruption. The proposed model to predict component outages is based on a Support Vector Machine (SVM) model. This model considers the category and the path of historical hurricanes, as the selected extreme event in this paper, and accordingly trains the SVM. Once trained, the model is capable of classifying the grid components into two categories of outage and operational in response to imminent hurricanes. The obtained component outages are then integrated into a load curtailment minimization model to estimate the nodal load curtailments. The merits and the effectiveness of the proposed models are demonstrated using the standard IEEE 30-bus system based on various hurricane path/intensity scenarios.


title: On discrete Wigner transforms

abstract: In this work, we derive a discrete analog of the Wigner transform over the space $(\mathbb{C}^p)^{\otimes N}$ for any prime $p$ and any positive integer $N$. We show that the Wigner transform over this space can be constructed as the inverse Fourier transform of the standard Pauli matrices for $p=2$ or more generally of the Heisenberg-Weyl group elements for $p > 2$. We connect our work to a previous construction by Wootters of a discrete Wigner transform by showing that for all $p$, Wootters' construction corresponds to taking the inverse symplectic Fourier transform instead of the inverse Fourier transform. Finally, we discuss some implications of these results for the numerical simulation of many-body quantum spin systems.


title: An Anytime Algorithm for Task and Motion MDPs

abstract: Integrated task and motion planning has emerged as a challenging problem in sequential decision making, where a robot needs to compute high-level strategy and low-level motion plans for solving complex tasks. While high-level strategies require decision making over longer time-horizons and scales, their feasibility depends on low-level constraints based upon the geometries and continuous dynamics of the environment. The hybrid nature of this problem makes it difficult to scale; most existing approaches focus on deterministic, fully observable scenarios. We present a new approach where the high-level decision problem occurs in a stochastic setting and can be modeled as a Markov decision process. In contrast to prior efforts, we show that complete MDP policies, or contingent behaviors, can be computed effectively in an anytime fashion. Our algorithm continuously improves the quality of the solution and is guaranteed to be probabilistically complete. We evaluate the performance of our approach on a challenging, realistic test problem: autonomous aircraft inspection. Our results show that we can effectively compute consistent task and motion policies for the most likely execution-time outcomes using only a fraction of the computation required to develop the complete task and motion policy.


title: Impacts of nuclear-physics uncertainties in the s-process determined by Monte-Carlo variations

abstract: The s-process, a production mechanism based on slow-neutron capture during stellar evolution, is the origin of about half the elements heavier than iron. Abundance predictions for s-process nucleosynthesis depend strongly on the relevant neutron-capture and $\beta$-decay rates, as well as on the details of the stellar model being considered. Here, we have used a Monte-Carlo approach to evaluate the nuclear uncertainty in s-process nucleosynthesis. We considered the helium burning of massive stars for the weak s-process and low-mass asymptotic-giant-branch stars for the main s-process. Our calculations include a realistic and general prescription for the temperature dependent uncertainty for the reaction cross sections. We find that the adopted uncertainty for (${\rm n},\gamma$) rates, tens of per cent on average, effects the production of s-process nuclei along the line of $\beta$-stability, and that the uncertainties in $\beta$-decay from excited state contributions, has the strongest impact on branching points.


title: Sensitivity to neutron captures and beta-decays of the enhanced s-process in rotating massive stars at low metallicities

abstract: The s-process in massive stars, producing nuclei up to $A\approx 90$, has a different behaviour at low metallicity if stellar rotation is significant. This enhanced s-process is distinct from the s-process in massive stars around solar metallicity, and details of the nucleosynthesis are poorly known. We investigated nuclear physics uncertainties in the enhanced s-process in metal-poor stars within a Monte-Carlo framework. We applied temperature-dependent uncertainties of reaction rates, distinguishing contributions from the ground state and from excited states. We found that the final abundance of several isotopes shows uncertainties larger than a factor of 2, mostly due to the neutron capture uncertainties. A few nuclei around branching points are affected by uncertainties in the $\beta$-decay.


title: Mode Analysis for Energetics of a Moving Charge In Lorentz- and CPT-Violating Electrodynamics

abstract: In isotropic but Lorentz- and CPT-violating electrodynamics, it is known that a charge in unifom motion does not lose any energy to Cerenkov radiation. This presents a puzzle, since the radiation appears to be kinematically allowed for many modes. Studying the Fourier transforms of the most important terms in the modified magnetic field and Poynting vector, we confirm the vanishing of the the radiation rate. Moreover, we show that the Fourier transform of the field changes sign between small and large wave numbers. This enables modes with very long wavelengths to carry negative energies, which cancel out the positive energies carried away by modes with shorter wavelengths. This cancelation had previously been inferred but never explicitly demonstrated.


title: New High Performance GPGPU Code Transformation Framework Applied to Large Production Weather Prediction Code

abstract: We introduce "Hybrid Fortran", a new approach that allows a high performance GPGPU port for structured grid Fortran codes. This technique only requires minimal changes for a CPU targeted codebase, which is a significant advancement in terms of productivity. It has been successfully applied to both dynamical core and physical processes of ASUCA, a Japanese mesoscale weather prediction model with more than 150k lines of code. By means of a minimal weather application that resembles ASUCA's code structure, Hybrid Fortran is compared to both a performance model as well as today's commonly used method, OpenACC. As a result, the Hybrid Fortran implementation is shown to deliver the same or better performance than OpenACC and its performance agrees with the model both on CPU and GPU. In a full scale production run, using an ASUCA grid with 1581 x 1301 x 58 cells and real world weather data in 2km resolution, 24 NVIDIA Tesla P100 running the Hybrid Fortran based GPU port are shown to replace more than 50 18-core Intel Xeon Broadwell E5-2695 v4 running the reference implementation - an achievement comparable to more invasive GPGPU rewrites of other weather models.


title: Nonlinear spherical perturbations in Quintessence Models of Dark Energy

abstract: Observations have confirmed the accelerated expansion of the universe. The accelerated expansion can be modelled by invoking a cosmological constant or a dynamical model of dark energy. A key difference between these models is that the equation of state parameter $w$ for dark energy differs from $-1$ in dynamical dark energy (DDE) models. Further, the equation of state parameter is not constant for a general DDE model. Such differences can be probed using the variation of scale factor with time by measuring distances. Another significant difference between the cosmological constant and DDE models is that the latter must cluster. Linear perturbation analysis indicates that perturbations in quintessence models of dark energy do not grow to have a significant amplitude at small length scales. In this paper we study the response of quintessence dark energy to non-linear perturbations in dark matter. We use a fully relativistic model for spherically symmetric perturbations. In this study we focus on thawing models. We find that in response to non-linear perturbations in dark matter, dark energy perturbations grow at a faster rate than expected in linear perturbation theory. We find that dark energy perturbation remains localised and does not diffuse out to larger scales. The dominant drivers of the evolution of dark energy perturbations are the local Hubble flow and a supression of gradients of the scalar field. We also find that the equation of state parameter $w$ changes in response to perturbations in dark matter such that it also becomes a function of position. The variation of $w$ in space is correlated with density contrast for matter. Variation of $w$ and perturbations in dark energy are more pronounced in response to large scale perturbations in matter while the dependence on the amplitude of matter perturbations is much weaker.


title: Rapid Bayesian optimisation for synthesis of short polymer fiber materials

abstract: The discovery of processes for the synthesis of new materials involves many decisions about process design, operation, and material properties. Experimentation is crucial but as complexity increases, exploration of variables can become impractical using traditional combinatorial approaches. We describe an iterative method which uses machine learning to optimise process development, incorporating multiple qualitative and quantitative objectives. We demonstrate the method with a novel fluid processing platform for synthesis of short polymer fibers, and show how the synthesis process can be efficiently directed to achieve material and process objectives.


title: Neural Granger Causality

abstract: While most classical approaches to Granger causality detection assume linear dynamics, many interactions in real-world applications, like neuroscience and genomics, are inherently nonlinear. In these cases, using linear models may lead to inconsistent estimation of Granger causal interactions. We propose a class of nonlinear methods by applying structured multilayer perceptrons (MLPs) or recurrent neural networks (RNNs) combined with sparsity-inducing penalties on the weights. By encouraging specific sets of weights to be zero--in particular, through the use of convex group-lasso penalties--we can extract the Granger causal structure. To further contrast with traditional approaches, our framework naturally enables us to efficiently capture long-range dependencies between series either via our RNNs or through an automatic lag selection in the MLP. We show that our neural Granger causality methods outperform state-of-the-art nonlinear Granger causality methods on the DREAM3 challenge data. This data consists of nonlinear gene expression and regulation time courses with only a limited number of time points. The successes we show in this challenging dataset provide a powerful example of how deep learning can be useful in cases that go beyond prediction on large datasets. We likewise illustrate our methods in detecting nonlinear interactions in a human motion capture dataset.


title: Minimal Algorithmic Information Loss Methods for Dimension Reduction, Feature Selection and Network Sparsification

abstract: We introduce a family of unsupervised, domain-free, and asymptotically optimal model-independent algorithms based on the principles of algorithmic probability and information theory designed to minimize the loss of algorithmic information, and thereby avoiding certain deceiving phenomena and distortions known to occur in statistics and entropy-based approaches. Our methods include a lossless-compression-based lossy compression algorithm that can select and coarse-grain data in an algorithmic-complexity fashion (without the use of popular compression algorithms) by collapsing regions that may procedurally be regenerated from a computable candidate model. We show that the method can perform dimension reduction, denoising, feature selection, and network sparsification, while preserving the properties of the objects. As validation case, we demonstrate the methods on image segmentation against popular methods like PCA and random selection, and also demonstrate that the method preserves the graph-theoretic indices measured on a well-known set of synthetic and real-world networks of very different nature, ranging from degree distribution and clustering coefficient to edge betweenness and degree and eigenvector centralities, achieving equal or significantly better results than other data reduction and the leading network sparsification methods (Spectral, Transitive).


title: A Unified View of Causal and Non-causal Feature Selection

abstract: In this paper, we aim to develop a unified view of causal and non-causal feature selection methods. The unified view will fill in the gap in the research of the relation between the two types of methods. Based on the Bayesian network framework and information theory, we first show that causal and non-causal feature selection methods share the same objective. That is to find the Markov blanket of a class attribute, the theoretically optimal feature set for classification. We then examine the assumptions made by causal and non-causal feature selection methods when searching for the optimal feature set, and unify the assumptions by mapping them to the restrictions on the structure of the Bayesian network model of the studied problem. We further analyze in detail how the structural assumptions lead to the different levels of approximations employed by the methods in their search, which then result in the approximations in the feature sets found by the methods with respect to the optimal feature set. With the unified view, we are able to interpret the output of non-causal methods from a causal perspective and derive the error bounds of both types of methods. Finally, we present practical understanding of the relation between causal and non-causal methods using extensive experiments with synthetic data and various types of real-word data.


title: Crystallization of Diblock Copolymer from Microphase Separated Melt

abstract: Diblock copolymers by virtue of the chemical dissimilarity between the constituting blocks exhibit microphase separation in the melt state. The phase separated melt can successfully be exploited to control the morphology of the final semi crystalline materials by allowing an extended thermal annealing. Thermal annealing accelerates coalescence of microdomains, yielding a phase separated melt that would exhibit a distinctly different crystallization behaviour than microphase separated melt without annealing. In this paper, we report simulation results on the crystallization behavior of A-B diblock copolymer, wherein the melting temperature of A-block is higher than B-block, instigated from microphase separated melt. During crystallization, the morphological evolution of microphase separated melt is extensively driven by thermal history. Annealing of microphase separated melt at high temperature successfully reorients melt morphology, and remains almost unaltered during the subsequent crystallization (isothermal and non-isothermal), which is attributed to the hard confinement resulted during microphase separation. Annealing induces a change in bond orientation of A-block, whereas there is no appreciable change in bond orientation of B-block keeping crystallinity and lamellar thickness unaffected. Isothermal crystallization confines crystallization in phase separated microdomain whereas non-isothermal crystallization results in morphological perturbation. The crystallization rate of annealed melt is much faster than the non-annealed melt due to less entanglement and more relaxed structure, achieved via annealing. At a higher composition of B-block, A-block produces thicker crystals, which is attributed to the dilution effect exhibited by B-block. Two-step compared to one-step isothermal crystallization yields thicker crystals with higher crystallinity of A-block.


title: Train on Validation: Squeezing the Data Lemon

abstract: Model selection on validation data is an essential step in machine learning. While the mixing of data between training and validation is considered taboo, practitioners often violate it to increase performance. Here, we offer a simple, practical method for using the validation set for training, which allows for a continuous, controlled trade-off between performance and overfitting of model selection. We define the notion of on-average-validation-stable algorithms as one in which using small portions of validation data for training does not overfit the model selection process. We then prove that stable algorithms are also validation stable. Finally, we demonstrate our method on the MNIST and CIFAR-10 datasets using stable algorithms as well as state-of-the-art neural networks. Our results show significant increase in test performance with a minor trade-off in bias admitted to the model selection process.


title: Interplay of phase boundary anisotropy and electro-autocatalytic surface reactions on the lithium intercalation dynamics in Li$_X$FePO$_4$ platelet-like nanoparticles

abstract: Experiments on single crystal Li$_X$FePO$_4$ (LFP) nanoparticles indicate rich nonequilibrium phase behavior, such as suppression of phase separation at high lithiation rates, striped patterns of coherent phase boundaries, nucleation by binarysolid surface wetting and intercalation waves. These observations have been successfully predicted (prior to the experiments) by 1D depth-averaged phase-field models, which neglect any subsurface phase separation. In this paper, using an electro-chemo-mechanical phase-field model, we investigate the coherent non-equilibrium subsurface phase morphologies that develop in the $ab$- plane of platelet-like single-crystal platelet-like Li$_X$FePO$_4$ nanoparticles. Finite element simulations are performed for 2D plane-stress conditions in the $ab$- plane, and validated by 3D simulations, showing similar results. We show that the anisotropy of the interfacial tension tensor, coupled with electroautocatalytic surface intercalation reactions, plays a crucial role in determining the subsurface phase morphology. With isotropic interfacial tension, subsurface phase separation is observed, independent of the reaction kinetics, but for strong anisotropy, phase separation is controlled by surface reactions, as assumed in 1D models. Moreover, the driven intercalation reaction suppresses phase separation during lithiation, while enhancing it during delithiation, by electro-autocatalysis, in quantitative agreement with {\it in operando} imaging experiments in single-crystalline nanoparticles, given measured reaction rate constants.


title: Homotopy type of Neighborhood Complexes of Kneser graphs, $KG_{2,k}$

abstract: Schrijver identified a family of vertex critical subgraphs of the Kneser graphs called the stable Kneser graphs $SG_{n,k}$. Bj\"{o}rner and de Longueville proved that the neighborhood complex of the stable Kneser graph $SG_{n,k}$ is homotopy equivalent to a $k-$sphere. In this article, we prove that the homotopy type of the neighborhood complex of the Kneser graph $KG_{2,k}$ is a wedge of $(k+4)(k+1)+1$ spheres of dimension $k$. We construct a maximal subgraph $S_{2,k}$ of $KG_{2,k}$, whose neighborhood complex is homotopy equivalent to the neighborhood complex of $SG_{2,k}$. Further, we prove that the neighborhood complex of $S_{2,k}$ deformation retracts onto the neighborhood complex of $SG_{2,k}$.


title: Phonon-induced decoherence of a charge quadrupole qubit

abstract: Many quantum dot qubits operate in regimes where the energy splittings between qubit states are large and phonons can be the dominant source of decoherence. The recently proposed charge quadrupole qubit, based on one electron in a triple quantum dot, employs a highly symmetric charge distribution to suppress the influence of charge noise. To study the effects of phonons on the charge quadrupole qubit, we consider Larmor and Ramsey pulse sequences to identify favorable operating parameters. We show that it is possible to implement typical gates with $>99.99\%$ fidelity in the presence of phonons and charge noise.


title: Study of Magnetized accretion flow with cooling processes

abstract: We have studied shock in magnetized accretion flow/funnel flow in case of neutron star with bremsstrahlung cooling and cyclotron cooling. All accretion solutions terminate with a shock close to the neutron star surface, but at some region of the parameter space, it also harbours a second shock away from the star surface. We have found that cyclotron cooling is necessary for correct accretion solutions which match the surface boundary conditions.


title: On triangle meshes with valence $6$ dominant vertices

abstract: We study triangulations $\cal T$ defined on a closed disc $X$ satisfying the following condition: In the interior of $X$, the valence of all vertices of $\cal T$ except one of them (the irregular vertex) is $6$. By using a flat singular Riemannian metric adapted to $\cal T$, we prove a uniqueness theorem when the valence of the irregular vertex is not a multiple of $6$. Moreover, for a given integer $k >1$, we exhibit non isomorphic triangulations on $X$ with the same boundary, and with a unique irregular vertex whose valence is $6k$.


title: Numerical stability of plasma sheath

abstract: We are interested in developing a numerical method for capturing stationary sheaths, that a plasma forms in contact with a metallic wall. This work is based on a bi-species (ion/electron) Vlasov-Amp{\`e}re model proposed in [3]. The main question addressed in this work is to know if classical numerical schemes can preserve stationary solutions with boundary conditions, since these solutions are not a priori conserved at the discrete level. In the context of high-order semi-Lagrangian method, due to their large stencil, interpolation near the boundary of the domain requires also a specific treatment.


title: Articulatory information and Multiview Features for Large Vocabulary Continuous Speech Recognition

abstract: This paper explores the use of multi-view features and their discriminative transforms in a convolutional deep neural network (CNN) architecture for a continuous large vocabulary speech recognition task. Mel-filterbank energies and perceptually motivated forced damped oscillator coefficient (DOC) features are used after feature-space maximum-likelihood linear regression (fMLLR) transforms, which are combined and fed as a multi-view feature to a single CNN acoustic model. Use of multi-view feature representation demonstrated significant reduction in word error rates (WERs) compared to the use of individual features by themselves. In addition, when articulatory information was used as an additional input to a fused deep neural network (DNN) and CNN acoustic model, it was found to demonstrate further reduction in WER for the Switchboard subset and the CallHome subset (containing partly non-native accented speech) of the NIST 2000 conversational telephone speech test set, reducing the error rate by 12% relative to the baseline in both cases. This work shows that multi-view features in association with articulatory information can improve speech recognition robustness to spontaneous and non-native speech.


title: The K2 M67 Study: A Curiously Young Star in an Eclipsing Binary in an Old Open Cluster

abstract: We present an analysis of a slightly eccentric ($e=0.05$), partially eclipsing long-period ($P = 69.73$ d) main sequence binary system (WOCS 12009, Sanders 1247) in the benchmark old open cluster M67. Using Kepler K2 and ground-based photometry along with a large set of new and reanalyzed spectra, we derived highly precise masses ($1.111\pm0.015$ and $0.748\pm0.005 M_\odot$) and radii ($1.071\pm0.008\pm0.003$ and $0.713\pm0.019\pm0.026 R_\odot$, with statistical and systematic error estimates) for the stars. The radius of the secondary star is in agreement with theory. The primary, however, is approximately $15\%$ smaller than reasonable isochrones for the cluster predict. Our best explanation is that the primary star was produced from the merger of two stars, as this can also account for the non-detection of photospheric lithium and its higher temperature relative to other cluster main sequence stars at the same $V$ magnitude. To understand the dynamical characteristics (low measured rotational line broadening of the primary star and the low eccentricity of the current binary orbit), we believe that the most probable (but not the only) explanation is the tidal evolution of a close binary within a primordial triple system (possibly after a period of Kozai-Lidov oscillations), leading to merger approximately 1Gyr ago. This star appears to be a future blue straggler that is being revealed as the cluster ages and the most massive main sequence stars die out.


title: Hadronic decays of the (pseudo-)scalar charmonium states $\eta_c$ and $\chi_{c0}$ in the extended Linear Sigma Model

abstract: We study the phenomenology of the ground-state (pseudo-)scalar charmonia $\eta_c$ and $\chi_{c0}$ in the framework of a $U(4)_r \times U(4)_l$ symmetric linear sigma model with (pseudo-)scalar and (axial-) vector mesons. Based on previous results for the spectrum of charmonia and the spectrum and (OZI-dominant) strong decays of open charmed mesons, we extend the study of this model to OZI-suppressed charmonia decays. This includes decays into 'ordinary' mesons but also particularly interesting channels with scalar-isoscalar resonances $f_0(1370),\, f_0(1500),\, f_0(1710)$ that may include sizeable contributions from a scalar glueball. We study the variation of the corresponding decay widths assuming different mixings between glueball and quark-antiquark states. We also compute the decay width of the pseudoscalar $\eta_c$ into a pseudoscalar glueball. In general, our results for decay widths are in reasonable agreement with experimental data where available. Order of magnitude predictions for as yet unmeasured states and channels are potentially interesting for BESIII, Belle II, LHCb as well as the future PANDA experiment at the FAIR facility.


title: Algorithmic Complexity and Reprogrammability of Chemical Structure Networks

abstract: Here we address the challenge of profiling causal properties and tracking the transformation of chemical compounds from an algorithmic perspective. We explore the potential of applying a computational interventional calculus based on the principles of algorithmic probability to chemical structure networks. We profile the sensitivity of the elements and covalent bonds in a chemical structure network algorithmically, asking whether reprogrammability affords information about thermodynamic and chemical processes involved in the transformation of different compound classes. We arrive at numerical results suggesting a correspondence between some physical, structural and functional properties. Our methods are capable of separating chemical classes that reflect functional and natural differences without considering any information about atomic and molecular properties. We conclude that these methods, with their links to chemoinformatics via algorithmic, probability hold promise for future research.


title: Ising-QCD phenomenology close to the critical point

abstract: We employ the recently introduced Ising-QCD partition function (N.~G. Antoniou {\it et al.}, Phys. Rev. D 97, 034015 (2018)) to explore in detail the behaviour of the moments of the baryon-number, within the critical region around the critical endpoint. Our analysis is based on the relation of finite-size scaling in real space with intermittency in transverse momentum space. It demonstrates in practice the recent observation (N.~G. Antoniou {\it et al.}, Phys. Rev. D 97, 034015 (2018)) that combined measurements of the intermittency index $\phi_2$ and the freeze-out parameters $\mu_b$ (baryochemical potential), $T$ (temperature), provide us with a powerful tool to detect the critical point. We also show that the finite-size scaling (FSS) region, as a part of the critical region, is very narrow in both the chemical potential and the temperature direction, even for light nuclei. Furthermore, using published experimental results for $(\mu_b,T,\phi_2)$ in A+A collisions at $\sqrt{s_{NN}}=17.2$ GeV (NA49 experiment, CERN-SPS), we are able to make a set of predictions for the freeze-out states of Ar + Sc and Xe + La collisions at the same energy in the NA61/SHINE experiment (CERN-SPS). In particular, we find that the Ar + Sc system freezes out outside the FSS region but very close to its boundary, a property which may leave characteristic traces in intermittency analysis.


title: Quantitative modelling of nutrient-limited growth of bacterial colonies in microfluidic cultivation

abstract: Nutrient gradients and limitations play a pivotal role in the life of all microbes, both in their natural habitat as well as in artificial, microfluidic systems. Spatial concentration gradients of nutrients in densely packed cell configurations may locally affect the bacterial growth leading to heterogeneous micropopulations. A detailed understanding and quantitative modelling of cellular behaviour under nutrient limitations is thus highly desirable. We use microfluidic cultivations to investigate growth and microbial behaviour of the model organism Corynebacterium glutamicum under well-controlled conditions. With a reaction-diffusion type model, parameters are extracted from steady-state experiments with a one-dimensional nutrient gradient. Subsequentially, we employ particle-based simulations with these parameters to predict the dynamical growth of a colony in two dimensions. Comparing the results of those simulations with microfluidic experiments yields excellent agreement. Our modelling approach lays the foundation for a better understanding of dynamic microbial growth processes, both in nature and in applied biotechnology.


title: A Parameterized Strongly Polynomial Algorithm for Block Structured Integer Programs

abstract: The theory of $n$-fold integer programming has been recently emerging as an important tool in parameterized complexity. The input to an $n$-fold integer program (IP) consists of parameter $A$, dimension $n$, and numerical data of binary encoding length $L$. It was known for some time that such programs can be solved in polynomial time using $O(n^{g(A)}L)$ arithmetic operations where $g$ is an exponential function of the parameter. In 2013 it was shown that it can be solved in fixed-parameter tractable (FPT) time using $O(f(A)n^3L)$ arithmetic operations for a single-exponential function $f$. This, and a faster algorithm for a special case of combinatorial $n$-fold IP, have led to several very recent breakthroughs in the parameterized complexity of scheduling, stringology, and computational social choice. In 2015 it was shown that it can be solved in strongly polynomial time using $O(n^{g(A)})$ arithmetic operations. Here we establish a result which subsumes all three of the above results by showing that $n$-fold IP can be solved in strongly polynomial FPT time using $O(f(A)n^3)$ arithmetic operations. In fact, our results are much more general, briefly outlined as follows. - There is a strongly polynomial algorithm for ILP whenever a so-called Graver-best oracle is realizable for it. - Graver-best oracles for the large classes of multi-stage stochastic and tree-fold ILPs can be realized in FPT time. Together with the previous oracle algorithm, this newly shows two large classes of ILP to be strongly polynomial; in contrast, only few classes of ILP were previously known to be strongly polynomial. - We show that ILP is FPT parameterized by the largest coefficient $\|A\|_\infty$ and the primal or dual treedepth of $A$, and that this parameterization cannot be relaxed, signifying substantial progress in understanding the parameterized complexity of ILP.


title: On the maximal number of real embeddings of spatial minimally rigid graphs

abstract: The number of embeddings of minimally rigid graphs in $\mathbb{R}^D$ is (by definition) finite, modulo rigid transformations, for every generic choice of edge lengths. Even though various approaches have been proposed to compute it, the gap between upper and lower bounds is still enormous. Specific values and its asymptotic behavior are major and fascinating open problems in rigidity theory. Our work considers the maximal number of real embeddings of minimally rigid graphs in $\mathbb{R}^3$. We modify a commonly used parametric semi-algebraic formulation that exploits the Cayley-Menger determinant to minimize the {\em a priori} number of complex embeddings, where the parameters correspond to edge lengths. To cope with the huge dimension of the parameter space and find specializations of the parameters that maximize the number of real embeddings, we introduce a method based on coupler curves that makes the sampling feasible for spatial minimally rigid graphs. Our methodology results in the first full classification of the number of real embeddings of graphs with 7 vertices in $\mathbb{R}^3$, which was the smallest open case. Building on this and certain 8-vertex graphs, we improve the previously known general lower bound on the maximum number of real embeddings in $\mathbb{R}^3$.


title: Generalizing Bottleneck Problems

abstract: Given a pair of random variables $(X,Y)\sim P_{XY}$ and two convex functions $f_1$ and $f_2$, we introduce two bottleneck functionals as the lower and upper boundaries of the two-dimensional convex set that consists of the pairs $\left(I_{f_1}(W; X), I_{f_2}(W; Y)\right)$, where $I_f$ denotes $f$-information and $W$ varies over the set of all discrete random variables satisfying the Markov condition $W \to X \to Y$. Applying Witsenhausen and Wyner's approach, we provide an algorithm for computing boundaries of this set for $f_1$, $f_2$, and discrete $P_{XY}$. In the binary symmetric case, we fully characterize the set when (i) $f_1(t)=f_2(t)=t\log t$, (ii) $f_1(t)=f_2(t)=t^2-1$, and (iii) $f_1$ and $f_2$ are both $\ell^\beta$ norm function for $\beta \geq 2$. We then argue that upper and lower boundaries in (i) correspond to Mrs. Gerber's Lemma and its inverse (which we call Mr. Gerber's Lemma), in (ii) correspond to estimation-theoretic variants of Information Bottleneck and Privacy Funnel, and in (iii) correspond to Arimoto Information Bottleneck and Privacy Funnel.


title: Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation

abstract: This volume contains the formal proceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017), held on 8th September 2017 in Oxford, United Kingdom, and affiliated with the Second International Conference on Formal Structures for Computation and Deduction (FSCD 2017).


title: A Calculus for Modeling Floating Authorizations

abstract: Controlling resource usage in distributed systems is a challenging task given the dynamics involved in access granting. Consider, for instance, the setting of floating licenses where access can be granted if the request originates in a licensed domain and the number of active users is within the license limits, and where licenses can be interchanged. Access granting in such scenarios is given in terms of floating authorizations, addressed in this paper as first class entities of a process calculus model, encompassing the notions of domain, accounting and delegation. We present the operational semantics of the model in two equivalent alternative ways, each informing on the specific nature of authorizations. We also introduce a typing discipline to single out systems that never get stuck due to lacking authorizations, addressing configurations where authorization assignment is not statically prescribed in the system specification.


title: Search for Giant Pulses of radio pulsars at frequency 111 MHz with LPA radio telescope

abstract: We have used the unique low frequency sensitivity of the Large Phased Array radio telescope of Pushchino Radio Astronomy Observatory to collect dataset of the single pulse observations of second period pulsars of the Northern hemisphere. During observational sessions of 2011 - 2017 yrs. We have collected data on 71 pulsars at 111 MHz frequency using digital pulsar receiver. We have discovered Giant Radio Pulses (GRP) from pulsars B0301+09 and B1237+25, and confirmed early reported generation of anomalously strong (probable giant) pulses from B1133+16 on statistically significant dataset. Data for these pulsars and from B0950+08, B1112+50, early reported as pulsars generating GRPs were analyzed to evaluate their behavior on long time intervals. It was found that statistical criterion (power-law spectrum of GRPs distribution on energy and peak flux density) seems not to be strict for pulsars with the low magnetic field on light cylinder. Moreover, spectra of some of these pulsars demonstrate unstable behavior with the time and have complex multicomponent shape. In the dataset of B0950+08 we have detected strongest GRP from pulsars with the low magnetic field on light cylinder ever reported having the peak flux density as strong as 16.8 kJy.


title: Statistical Analysis of Metrics for Software Quality Improvement

abstract: Software product quality can be defined as the features and characteristics of the product that meet the user needs. The quality of any software can be achieved by following a well defined software process. These software process results into various metrics like Project metrics, Product metrics and Process metrics. Software quality depends on the process which is carried out to design and develop software. Even though the process can be carried out with utmost care, still it can introduce some error and defects. Process metrics are very useful from management point of view. Process metrics can be used for improving the software development and maintenance process for defect removal and also for reducing the response time. This paper describes the importance of capturing the Process metrics during the quality audit process and also attempts to categorize them based on the nature of error captured. To reduce such errors and defects found, steps for corrective actions are recommended.


title: Invariant prolongation of the Killing tensor equation

abstract: The Killing tensor equation is a first order differential equation on symmetric covariant tensors that generalises to higher rank the usual Killing vector equation on Riemannian manifolds. We view this more generally as an equation on any manifold equipped with an affine connection, and in this setting derive its prolongation to a linear connection. This connection has the property that parallel sections are in 1-1 correspondence with solutions of the Killing equation. Moreover this connection is projectively invariant and is derived entirely using the projectively invariant tractor calculus which reveals also further invariant structures linked to the prolongation.


title: Observation of Poiseuille Flow of Phonons in Black Phosphorus

abstract: The travel of heat in insulators is commonly pictured as a flow of phonons scattered along their individual trajectory. In rare circumstances, momentum-conserving collision events dominate, and thermal transport becomes hydrodynamic. One of these cases, dubbed the Poiseuille flow of phonons, can occur in a temperature window just below the peak temperature of thermal conductivity. We report on a study of heat flow in bulk black phosphorus between 0.1 and 80 K. We find a thermal conductivity showing a faster than cubic temperature dependence between 5 and 12 K. Consequently, the effective phonon mean free path shows a nonmonotonic temperature dependence at the onset of the ballistic regime, with a size-dependent Knudsen minimum. These are hallmarks of Poiseuille flow previously observed in a handful of solids. Comparing the phonon dispersion in black phosphorus and silicon, we showthat the phase space for normal scattering events in black phosphorus is much larger. Our results imply that the most important requirement for the emergence of Poiseuille flowis the facility ofmomentum exchange between acoustic phonon branches. Proximity to a structural transition can be beneficial for the emergence of this behavior in clean systems, even when they do not exceed silicon in purity.


title: Thermal transport and phonon hydrodynamics in strontium titanate

abstract: We present a study of thermal conductivity, $\kappa$, in undoped and doped strontium titanate in a wide temperature range (2-400 K) and detecting different regimes of heat flow. In undoped SrTiO$_{3}$, $\kappa$ evolves faster than cubic with temperature below its peak and in a narrow temperature window. Such a behavior, previously observed in a handful of solids, has been attributed to a Poiseuille flow of phonons, expected to arise when momentum-conserving scattering events outweigh momentum-degrading ones. The effect disappears in presence of dopants. In SrTi$_{1-x}$Nb$_{x}$O$_{3}$, a significant reduction in lattice thermal conductivity starts below the temperature at which the average interdopant distance and the thermal wavelength of acoustic phonons become comparable. In the high-temperature regime, thermal diffusivity becomes proportional to the inverse of temperature, with a prefactor set by sound velocity and Planckian time ($\tau_{p}=\frac{\hbar}{k_{B}T}$).


title: Carrier driven antiferromagnetism and exchange-bias in SrRuO3/CaRuO3 heterostructures

abstract: Oxide heterostructures exhibit a rich variety of magnetic and transport properties which arise due to contact at an interface. This can lead to surprising effects that are very different from the bulk properties of the materials involved. We report the magnetic properties of bilayers of SrRuO3, a well known ferromagnet, and CaRuO3, which is nominally a paramagnet. We find intriguing features that are consistent with CaRuO3 developing dual magnetic character, with both a net moment as well as antiferromagnetic order. We argue the ordered SrRuO3 layer induces an undulating polarization profile in the conduction electrons of CaRuO3, by a mechanism akin to Friedel oscillations. At low temperatures, this oscillating polarization is inherited by rigid local moments within CaRuO3, leading to a robust exchange bias. We present ab initio simulations in support of this picture. Our results demonstrate a new ordering mechanism and throw light on the magnetic character of CaRuO3 .


title: The dynamic impact of monetary policy on regional housing prices in the US: Evidence based on factor-augmented vector autoregressions

abstract: In this study interest centers on regional differences in the response of housing prices to monetary policy shocks in the US. We address this issue by analyzing monthly home price data for metropolitan regions using a factor-augmented vector autoregression (FAVAR) model. Bayesian model estimation is based on Gibbs sampling with Normal-Gamma shrinkage priors for the autoregressive coefficients and factor loadings, while monetary policy shocks are identified using high-frequency surprises around policy announcements as external instruments. The empirical results indicate that monetary policy actions typically have sizeable and significant positive effects on regional housing prices, revealing differences in magnitude and duration. The largest effects are observed in regions located in states on both the East and West Coasts, notably California, Arizona and Florida.


title: Non-negatively curved GKM orbifolds

abstract: In this paper we study non-negatively curved and rationally elliptic GKM$_4$ manifolds and orbifolds. We show that their rational cohomology rings are isomorphic to the rational cohomology of certain model orbifolds. These models are quotients of isometric actions of finite groups on non-negatively curved torus orbifolds. Moreover, we give a simplified proof of a characterisation of products of simplices among orbit spaces of locally standard torus manifolds. This characterisation was originally proved in [Wiemeler, Torus manifolds and non-negative curvature, arXiv:1401.0403] and was used there to obtain a classification of non-negatively curved torus manifolds.


title: Online Machine Learning in Big Data Streams

abstract: The area of online machine learning in big data streams covers algorithms that are (1) distributed and (2) work from data streams with only a limited possibility to store past data. The first requirement mostly concerns software architectures and efficient algorithms. The second one also imposes nontrivial theoretical restrictions on the modeling methods: In the data stream model, older data is no longer available to revise earlier suboptimal modeling decisions as the fresh data arrives. In this article, we provide an overview of distributed software architectures and libraries as well as machine learning models for online learning. We highlight the most important ideas for classification, regression, recommendation, and unsupervised modeling from streaming data, and we show how they are implemented in various distributed data stream processing systems. This article is a reference material and not a survey. We do not attempt to be comprehensive in describing all existing methods and solutions; rather, we give pointers to the most important resources in the field. All related sub-fields, online algorithms, online learning, and distributed data processing are hugely dominant in current research and development with conceptually new research results and software components emerging at the time of writing. In this article, we refer to several survey results, both for distributed data processing and for online machine learning. Compared to past surveys, our article is different because we discuss recommender systems in extended detail.


title: A Reallocation Algorithm for Online Split Packing of Circles

abstract: The Split Packing algorithm \cite{splitpacking_ws, splitpackingsoda, splitpacking} is an offline algorithm that packs a set of circles into triangles and squares up to critical density. In this paper, we develop an online alternative to Split Packing to handle an online sequence of insertions and deletions, where the algorithm is allowed to reallocate circles into new positions at a cost proportional to their areas. The algorithm can be used to pack circles into squares and right angled triangles. If only insertions are considered, our algorithm is also able to pack to critical density, with an amortised reallocation cost of $O(c\log \frac{1}{c})$ for squares, and $O(c(1+s^2)\log_{1+s^2}\frac{1}{c})$ for right angled triangles, where $s$ is the ratio of the lengths of the second shortest side to the shortest side of the triangle, when inserting a circle of area $c$. When insertions and deletions are considered, we achieve a packing density of $(1-\epsilon)$ of the critical density, where $\epsilon>0$ can be made arbitrarily small, with an amortised reallocation cost of $O(c(1+s^2)\log_{1+s^2}\frac{1}{c} + c\frac{1}{\epsilon})$.


title: Constrained Convolutional-Recurrent Networks to Improve Speech Quality with Low Impact on Recognition Accuracy

abstract: For a speech-enhancement algorithm, it is highly desirable to simultaneously improve perceptual quality and recognition rate. Thanks to computational costs and model complexities, it is challenging to train a model that effectively optimizes both metrics at the same time. In this paper, we propose a method for speech enhancement that combines local and global contextual structures information through convolutional-recurrent neural networks that improves perceptual quality. At the same time, we introduce a new constraint on the objective function using a language model/decoder that limits the impact on recognition rate. Based on experiments conducted with real user data, we demonstrate that our new context-augmented machine-learning approach for speech enhancement improves PESQ and WER by an additional 24.5% and 51.3%, respectively, when compared to the best-performing methods in the literature.


title: Detecting truth, just on parts

abstract: We introduce and discuss, through a computational algebraic geometry approach, the automatic reasoning handling of propositions that are simultaneously true and false over some relevant collections of instances. A rigorous, algorithmic criterion is presented for detecting such cases, and its performance is exemplified through the implementation of this test on the dynamic geometry program GeoGebra.


title: The design optimization and experimental investigation of the 4420 nm Raman laser based on hydrogen-filled revolver silica fiber

abstract: Optical properties of hollow-core revolver fibers are numerically investigated depending on various parameters: the hollow-core diameter, the capillary wall thickness, the values of the minimum gap between the capillaries, the number of capillaries in the cladding and the type of glass (silica and chalcogenide). Preliminary, similar calculations are made for simple models of hollow-core fibers. Based on the obtained results, the optimal design of the revolver fiber for Raman laser frequency conversion (1560 nm to 4420 nm in H2) was determined. As a result, efficient ns-pulsed 4420 nm Raman laser based on H2-filled revolver silica fiber is realized. Quantum efficiency as high as 36 % is achieved and output average power as high as 250 mW is demonstrated.


title: Exact analytical solution of Entanglement of Formation and Quantum Discord for Werner state and Generalized Werner-Like states

abstract: We obtained analytical expressions for Entangled of Formation (EoF) and Quantum Discord (QD) of Werner states and Generalized Werner-Like states. The optimization problem involved under the exact analytical form is obtained for both quantities. In order to illustrate the importance of our results we studied the EoF and the QD of these states. Using discrete formulation of continue states with the $f-$deformed coherent states obtained as deformed annihilation operator coherent states and as deformed displacement operator coherent states. The EoF and QD of bipartite Werner-Like states $f-$deformed coherent states are studied for the P\"{o}schl-Teller, Morse and quantum dot deformed potentials. The result obtained are compared with the case of bipartite Werner-Like coherent states.


title: SpaRTA - Tracking across occlusions via global partitioning of 3D clouds of points

abstract: Any 3D tracking algorithm has to deal with occlusions: multiple targets get so close to each other that the loss of their identities becomes likely. In the best case scenario, trajectories are interrupted, thus curbing the completeness of the data-set; in the worse case scenario, identity switches arise, potentially affecting in severe ways the very quality of the data. Here, we present a novel tracking method that addresses the problem of occlusions within large groups of featureless objects by means of three steps: i) it represents each target as a cloud of points in 3D; ii) once a 3D cluster corresponding to an occlusion occurs, it defines a partitioning problem by introducing a cost function that uses both attractive and repulsive spatio-temporal proximity links; iii) it minimizes the cost function through a semi-definite optimization technique specifically designed to cope with link frustration. The algorithm is independent of the specific experimental method used to collect the data. By performing tests on public data-sets, we show that the new algorithm produces a significant improvement over the state-of-the-art tracking methods, both by reducing the number of identity switches and by increasing the accuracy of the actual positions of the targets in real space.


title: Joint Estimation of Room Geometry and Modes with Compressed Sensing

abstract: Acoustical behavior of a room for a given position of microphone and sound source is usually described using the room impulse response. If we rely on the standard uniform sampling, the estimation of room impulse response for arbitrary positions in the room requires a large number of measurements. In order to lower the required sampling rate, some solutions have emerged that exploit the sparse representation of the room wavefield in the terms of plane waves in the low-frequency domain. The plane wave representation has a simple form in rectangular rooms. In our solution, we observe the basic axial modes of the wave vector grid for extraction of the room geometry and then we propagate the knowledge to higher order modes out of the low-pass version of the measurements. Estimation of the approximate structure of the $k$-space should lead to the reduction in the terms of number of required measurements and in the increase of the speed of the reconstruction without great losses of quality.