title: Streaming supercomputing needs workflow-enabled programming-in-the-large

abstract: This is a position paper, submitted to the Future Online Analysis Platform Workshop (https://press3.mcs.anl.gov/futureplatform/), which argues that simple data analysis applications are common today, but future online supercomputing workloads will need to couple multiple advanced technologies (streams, caches, analysis, and simulations) to rapidly deliver scientific results. Each of these technologies are active research areas when integrated with high-performance computing. These components will interact in complex ways, therefore coupling them needs to be programmed. Programming in the large, on top of existing applications, enables us to build much more capable applications and to productively manage this complexity.


title: Control of the Correlation of Spontaneous Neuron Activity in Biological and Noise-activated CMOS Artificial Neural Microcircuits

abstract: There are several indications that brain is organized not on a basis of individual unreliable neurons, but on a micro-circuital scale providing Lego blocks employed to create complex architectures. At such an intermediate scale, the firing activity in the microcircuits is governed by collective effects emerging by the background noise soliciting spontaneous firing, the degree of mutual connections between the neurons, and the topology of the connections. We compare spontaneous firing activity of small populations of neurons adhering to an engineered scaffold with simulations of biologically plausible CMOS artificial neuron populations whose spontaneous activity is ignited by tailored background noise. We provide a full set of flexible and low-power consuming silicon blocks including neurons, excitatory and inhibitory synapses, and both white and pink noise generators for spontaneous firing activation. We achieve a comparable degree of correlation of the firing activity of the biological neurons by controlling the kind and the number of connection among the silicon neurons. The correlation between groups of neurons, organized as a ring of four distinct populations connected by the equivalent of interneurons, is triggered more effectively by adding multiple synapses to the connections than increasing the number of independent point-to-point connections. The comparison between the biological and the artificial systems suggests that a considerable number of synapses is active also in biological populations adhering to engineered scaffolds.


title: Freeness characterizations on free chaos spaces

abstract: This paper deals with characterizing the freeness and asymptotic freeness of free multiple integrals with respect to a free Brownian motion or a free Poisson process. We obtain three characterizations of freeness, in terms of contraction operators, covariance conditions, and free Malliavin gradients. We show how these characterizations can be used in order to obtain limit theorems, transfer principles, and asymptotic properties of converging sequences.


title: Rotational splitting and asteroseismic modelling of the delta Scuti star EE Camelopardalis

abstract: According to the rotational splitting law of g modes, the frequency spectra of EE Cam can be disentangled only with oscillation modes of $\ell$ = 0, 1, and 2. Fifteen sets of rotational splits are found, containing five sets of $\ell=1$ multiplets and ten sets of $\ell=2$ multiplets. The rotational period of EE Cam is deduced to be $P_{\rm rot}$ = $1.84_{-0.05}^{+0.07}$ days. When we do model fittings, we use two nonradial oscillation modes ($f_{11}$ and $f_{32}$) and the fundamental radial mode $f_{1}$. The fitting results show that $\chi^{2}$ of the best-fitting model is much smaller than those of other theoretical models. The physical parameters of the best-fitting model are $M$ = 2.04 $M_{\odot}$, $Z=0.028$, $T_{\rm eff}$ = 6433 K, $\log L/L_{\odot}$ = 1.416, $R$ = 4.12 $R_{\odot}$, $\log g$ = 3.518, and $\chi^{2}$ = 0.00035. Furthermore, we find $f_{11}$ and $f_{32}$ are mixed mode, which mainly characterize the features of the helium core. The fundamental radial mode $f_{1}$ mainly restrict the features of the stellar envelope. Finally, the acoustic radius $\tau_{0}$ and the period separation $\Pi_{0}$ are determined to be 5.80 hr and 463.7 s respectively, and the size of the helium core of EE Cam is estimated to be $M_{\rm He}$ = 0.181 $M_{\odot}$ and $R_{\rm He}$ = 0.0796 $R_{\odot}$.


title: On the Optimality of Secret Key Agreement via Omniscience

abstract: For the multiterminal secret key agreement problem under a private source model, it is known that the maximum key rate, i.e., the secrecy capacity, can be achieved through communication for omniscience, but the omniscience strategy can be strictly suboptimal in terms of minimizing the public discussion rate. While a single-letter characterization is not known for the minimum discussion rate needed for achieving the secrecy capacity, we derive single-letter lower and upper bounds that yield some simple conditions for omniscience to be discussion-rate optimal. These conditions turn out to be enough to deduce the optimality of omniscience for a large class of sources including the hypergraphical sources. Through conjectures and examples, we explore other source models to which our methods do not easily extend.


title: An R-process enhanced star in the dwarf galaxy Tucana III

abstract: Chemically peculiar stars in dwarf galaxies provide a window for exploring the birth environment of stars with varying chemical enrichment. We present a chemical abundance analysis of the brightest star in the newly discovered ultra-faint dwarf galaxy candidate Tucana III. Because it is particularly bright for a star in an ultra-faint Milky Way satellite, we are able to measure the abundance of 28 elements, including 13 neutron-capture species. This star, DES J235532.66$-$593114.9 (DES J235532), shows a mild enhancement in neutron-capture elements associated with the $r$-process and can be classified as an $r$-I star. DES J235532 is the first $r$-I star to be discovered in an ultra-faint satellite, and Tuc III is the second extremely low-luminosity system found to contain $r$-process enriched material, after Reticulum II. Comparison of the abundance pattern of DES J235532 with $r$-I and $r$-II stars found in other dwarf galaxies and in the Milky Way halo suggests a common astrophysical origin for the neutron-capture elements seen in all $r$-process enhanced stars. We explore both internal and external scenarios for the $r$-process enrichment of Tuc III and show that with abundance patterns for additional stars it should be possible to distinguish between them.


title: A Debt-Aware Learning Approach for Resource Adaptations in Cloud Elasticity Management

abstract: Elasticity is a cloud property that enables applications and its execution systems to dynamically acquire and release shared computational resources on demand. Moreover, it unfolds the advantage of economies of scale in the cloud through a drop in the average costs of these shared resources. However, it is still an open challenge to achieve a perfect match between resource demand and provision in autonomous elasticity management. Resource adaptation decisions essentially involve a trade-off between economics and performance, which produces a gap between the ideal and actual resource provisioning. This gap, if not properly managed, can negatively impact the aggregate utility of a cloud customer in the long run. To address this limitation, we propose a technical debt-aware learning approach for autonomous elasticity management based on a reinforcement learning of elasticity debts in resource provisioning; the adaptation pursues strategic decisions that trades off economics against performance. We extend CloudSim and Burlap to evaluate our approach. The evaluation shows that a reinforcement learning of technical debts in elasticity obtains a higher utility for a cloud customer, while conforming expected levels of performance.


title: Multi-Context Attention for Human Pose Estimation

abstract: In this paper, we propose to incorporate convolutional neural networks with a multi-context attention mechanism into an end-to-end framework for human pose estimation. We adopt stacked hourglass networks to generate attention maps from features at multiple resolutions with various semantics. The Conditional Random Field (CRF) is utilized to model the correlations among neighboring regions in the attention map. We further combine the holistic attention model, which focuses on the global consistency of the full human body, and the body part attention model, which focuses on the detailed description for different body parts. Hence our model has the ability to focus on different granularity from local salient regions to global semantic-consistent spaces. Additionally, we design novel Hourglass Residual Units (HRUs) to increase the receptive field of the network. These units are extensions of residual units with a side branch incorporating filters with larger receptive fields, hence features with various scales are learned and combined within the HRUs. The effectiveness of the proposed multi-context attention mechanism and the hourglass residual units is evaluated on two widely used human pose estimation benchmarks. Our approach outperforms all existing methods on both benchmarks over all the body parts.


title: Entanglement Entropy in Excited States of the Quantum Lifshitz Model

abstract: We investigate the entanglement properties of an infinite class of excited states in the quantum Lifshitz model (QLM). The presence of a conformal quantum critical point in the QLM makes it unusually tractable for a model above one spatial dimension, enabling the ground state entanglement entropy for an arbitrary domain to be expressed in terms of geometrical and topological quantities. Here we extend this result to excited states and find that the entanglement can be naturally written in terms of quantities which we dub "entanglement propagator amplitudes" (EPAs). EPAs are geometrical probabilities that we explicitly calculate and interpret. A comparison of lattice and continuum results demonstrates that EPAs are universal. This work shows that the QLM is an example of a 2+1d field theory where the universal behavior of excited-state entanglement may be computed analytically.

categories: cond-mat.stat-mech hep-th math-ph math.MP


title: Preferred alignments of angular momentum vectors of galaxies in six dynamically unstable Abell clusters

abstract: A spatial orientation of angular momentum vectors of galaxies in six dynamically unstable Abell clusters (S1171, S0001, A1035, A1373, A1474 and A4053) is studied. For this, two-dimensional observed parameters (e.g., positions, diameters, position angles) are converted into three-dimensional rotation axes of the galaxy using `position angle - inclination' method. The expected isotropic distribution curves for angular momentum vectors are obtained by performing random simulations. The observed and expected distributions are compared using several statistical tests. No preferred alignments of angular momentum vectors of galaxies are noticed in all six dynamically unstable clusters supporting hierarchy model of galaxy formation. These clusters have a larger value of velocity dispersion. However, local effects are noticed in the clusters that have substructures in the 1D-3D number density maps.


title: Capacitated Center Problems with Two-Sided Bounds and Outliers

abstract: In recent years, the capacitated center problems have attracted a lot of research interest. Given a set of vertices $V$, we want to find a subset of vertices $S$, called centers, such that the maximum cluster radius is minimized. Moreover, each center in $S$ should satisfy some capacity constraint, which could be an upper or lower bound on the number of vertices it can serve. Capacitated $k$-center problems with one-sided bounds (upper or lower) have been well studied in previous work, and a constant factor approximation was obtained. We are the first to study the capacitated center problem with both capacity lower and upper bounds (with or without outliers). We assume each vertex has a uniform lower bound and a non-uniform upper bound. For the case of opening exactly $k$ centers, we note that a generalization of a recent LP approach can achieve constant factor approximation algorithms for our problems. Our main contribution is a simple combinatorial algorithm for the case where there is no cardinality constraint on the number of open centers. Our combinatorial algorithm is simpler and achieves better constant approximation factor compared to the LP approach.


title: Glimmers: Resolving the Privacy/Trust Quagmire

abstract: Many successful services rely on trustworthy contributions from users. To establish that trust, such services often require access to privacy-sensitive information from users, thus creating a conflict between privacy and trust. Although it is likely impractical to expect both absolute privacy and trustworthiness at the same time, we argue that the current state of things, where individual privacy is usually sacrificed at the altar of trustworthy services, can be improved with a pragmatic $Glimmer$ $of$ $Trust$, which allows services to validate user contributions in a trustworthy way without forfeiting user privacy. We describe how trustworthy hardware such as Intel's SGX can be used client-side -- in contrast to much recent work exploring SGX in cloud services -- to realize the Glimmer architecture, and demonstrate how this realization is able to resolve the tension between privacy and trust in a variety of cases.


title: How Gamification Affects Physical Activity: Large-scale Analysis of Walking Challenges in a Mobile Application

abstract: Gamification represents an effective way to incentivize user behavior across a number of computing applications. However, despite the fact that physical activity is essential for a healthy lifestyle, surprisingly little is known about how gamification and in particular competitions shape human physical activity. Here we study how competitions affect physical activity. We focus on walking challenges in a mobile activity tracking application where multiple users compete over who takes the most steps over a predefined number of days. We synthesize our findings in a series of game and app design implications. In particular, we analyze nearly 2,500 physical activity competitions over a period of one year capturing more than 800,000 person days of activity tracking. We observe that during walking competitions, the average user increases physical activity by 23%. Furthermore, there are large increases in activity for both men and women across all ages, and weight status, and even for users that were previously fairly inactive. We also find that the composition of participants greatly affects the dynamics of the game. In particular, if highly unequal participants get matched to each other, then competition suffers and the overall effect on the physical activity drops significantly. Furthermore, competitions with an equal mix of both men and women are more effective in increasing the level of activities. We leverage these insights to develop a statistical model to predict whether or not a competition will be particularly engaging with significant accuracy. Our models can serve as a guideline to help design more engaging competitions that lead to most beneficial behavioral changes.


title: Dicke Phase Transition and Collapse of Superradiant Phase in Optomechanical Cavity with Arbitrary Number of Atoms

abstract: We in this paper derive the analytical expressions of ground-state energy, average photon-number, and the atomic population by means of the spin-coherent-state variational method for arbitrary number of atoms in an optomechanical cavity. It is found that the existence of mechanical oscil- lator does not affect the phase boundary between the normal and superradiant phases. However, the superradiant phase collapses by the resonant damping of the oscillator when the atom-field coupling increases to a so-called turning point. As a consequence the system undergoes at this point an additional phase transition from the superradiant phase to a new normal phase of the atomic population-inversion state. The region of superradiant phase decreases with the increase of photon-phonon coupling. It shrinks to zero at a critical value of the coupling and a direct atomic population transfer appears between two atom-levels. Moreover we find an unstable nonzero-photon state, which is the counterpart of the superradiant state. In the absence of oscillator our result re- duces exactly to that of Dicke model. Particularly the ground-state energy for N = 1 (i.e. the Rabi model) is in perfect agreement with the numerical diagonalization in a wide region of coupling constant for both red and blue detuning. The Dicke phase transition remains for the Rabi model in agreement with the recent observation.


title: Angle-dependence and optimal design for magnetic bubblecade with maximum speed

abstract: Unidirectional magnetic domain-wall motion is a key concept underlying next-generation application devices. Such motion has been recently demonstrated by applying an alternating magnetic field, resulting in the coherent unidirectional motion of magnetic bubbles. Here we report the optimal configuration of applied magnetic field for the magnetic bubblecade, the coherent unidirectional motion of magnetic bubbles, driven by a tilted alternating magnetic field. The tilted alternating magnetic field induces asymmetric expansion and shrinkage of the magnetic bubbles under the influence of the Dzyaloshinskii-Moriya interaction, resulting in continuous shift of the bubbles in time. By realizing the magnetic bubblecade in PtCoPt films, we find that the bubblecade speed is sensitive to the tilt angle with a maximum at an angle, which can be explained well by a simple analytical form within the context of the domain-wall creep theory. A simplified analytic formula for the angle for maximum speed is then given as a function of the amplitude of the alternating magnetic field. The present observation provides a practical design rule for memory and logic devices based on the magnetic bubblecade.


title: Event-by-event mean $p_{\rm T}$ fluctuations and transverse size of color flux tube generated in $p$-$p$ collisions at $\sqrt{s}$=0.90TeV

abstract: We propose a novel phenomenological model of mean transverse momentum fluctuations based on the Geometrical Scaling hypothesis. Bose-Einstein correlations between two gluons generated from an identical color flux tube are taken into account as a source of the fluctuation. We calculate an event-by-event fluctuation measure $\sqrt{C_m}/\langle p_{\rm T}\rangle$ and show that ALICE data observed at $\sqrt s=$0.90 TeV for $p$+$p$ collisions are reproduced. By fitting our model to the experimental data, we evaluate the transverse size of the color flux tube as a function of the multiplicity.


title: Approximations of Geometrically Ergodic Reversible Markov Chains

abstract: A common tool in the practice of Markov Chain Monte Carlo is to use approximating transition kernels to speed up computation when the desired kernel is slow to evaluate or intractable. A limited set of quantitative tools exist to assess the relative accuracy and efficiency of such approximations. We derive a set of tools for such analysis based on the Hilbert space generated by the stationary distribution we intend to sample, $L_2(\pi)$. Our results apply to approximations of reversible chains which are geometrically ergodic, as is typically the case for applications to Markov Chain Monte Carlo. The focus of our work is on determining whether the approximating kernel will preserve the geometric ergodicity of the exact chain, and whether the approximating stationary distribution will be close to the original stationary distribution. For reversible chains, our results extend the results of Johndrow et al. [18] from the uniformly ergodic case to the geometrically ergodic case, under some additional regularity conditions. We then apply our results to a number of approximate MCMC algorithms.


title: Electronic properties and applications of MXenes: a theoretical review

abstract: Recent chemical exfoliation of layered MAX phase compounds to novel two-dimensional transition metal carbides and nitrides, so called MXenes, has brought new opportunity to materials science and technology. This review highlights the computational attempts that have been made to understand the physics and chemistry of this very promising family of advanced two-dimensional materials, and to exploit their novel and exceptional properties for electronic and energy harvesting applications.


title: Global solvability of the rotating Navier-Stokes equations with fractional Laplacian in a periodic domain

abstract: We consider existence of global solutions to equations for three-dimensional rotating fluids in a periodic frame provided by a sufficiently large Coriolis force. The Coriolis force appears in almost all of the models of meteorology and geophysics dealing with large-scale phenomena. In the spatially decaying case, Koh, Lee and Takada (2014) showed existence for the large times of solutions of the rotating Euler equations provided by the large Coriolis force. In this case the resonant equation does not appear anymore. In the periodic case, however, the resonant equation appears, and thus the main subject in this case is to show existence of global solutions to the resonant equation. Research in this direction was initiated by Babin, Mahalov and Nicolaenko (1999) who treated the rotating Navier-Stokes equations on general periodic domains. On the other hand, Golse, Mahalov and Nicolaenko (2008) considered bursting dynamics of the resonant equation in the case of a cylinder with no viscosity. Thus we may not expect to show global existence of solutions to the resonant equation without viscosity in the periodic case. In this paper we show existence of global solutions for fractional Laplacian case (with its power strictly less than the usual Laplacian) in the periodic domain with the same period in each direction. The main ingredient is an improved estimate on resonant three-wave interactions, which is based on a combinatorial argument.


title: Bandits with Movement Costs and Adaptive Pricing

abstract: We extend the model of Multi-armed Bandit with unit switching cost to incorporate a metric between the actions. We consider the case where the metric over the actions can be modeled by a complete binary tree, and the distance between two leaves is the size of the subtree of their least common ancestor, which abstracts the case that the actions are points on the continuous interval $[0,1]$ and the switching cost is their distance. In this setting, we give a new algorithm that establishes a regret of $\widetilde{O}(\sqrt{kT} + T/k)$, where $k$ is the number of actions and $T$ is the time horizon. When the set of actions corresponds to whole $[0,1]$ interval we can exploit our method for the task of bandit learning with Lipschitz loss functions, where our algorithm achieves an optimal regret rate of $\widetilde{\Theta}(T^{2/3})$, which is the same rate one obtains when there is no penalty for movements. As our main application, we use our new algorithm to solve an adaptive pricing problem. Specifically, we consider the case of a single seller faced with a stream of patient buyers. Each buyer has a private value and a window of time in which they are interested in buying, and they buy at the lowest price in the window, if it is below their value. We show that with an appropriate discretization of the prices, the seller can achieve a regret of $\widetilde{O}(T^{2/3})$ compared to the best fixed price in hindsight, which outperform the previous regret bound of $\widetilde{O}(T^{3/4})$ for the problem.


title: Assessment of Prediction Techniques: The Impact of Human Uncertainty

abstract: Many data mining approaches aim at modelling and predicting human behaviour. An important quantity of interest is the quality of model-based predictions, e.g. for finding a competition winner with best prediction performance. In real life, human beings meet their decisions with considerable uncertainty. Its assessment and resulting implications for statistically evident evaluation of predictive models are in the main focus of this contribution. We identify relevant sources of uncertainty as well as the limited ability of its accurate measurement, propose an uncertainty-aware methodology for more evident evaluations of data mining approaches, and discuss its implications for existing quality assessment strategies. Specifically, our approach switches from common point-paradigm to more appropriate distribution-paradigm. This is exemplified in the context of recommender systems and their established metrics of prediction quality. The discussion is substantiated by comprehensive experiments with real users, large-scale simulations, and discussion of prior evaluation campaigns (i.a. Netflix Prize) in the light of human uncertainty aspects.


title: Thermal motions in complex liquids: the 2D Lennard-Jones liquid

abstract: Thermal motions in the 2D Lennard-Jones liquid near solidification are studied at equilibrium and under shear flow conditions. At the temperatures of the study, the liquid is significantly aggregated. On times of few to few tens of particles vibration periods, the dominant features are particles in-cage vibrations and the highest frequency longitudinal and transverse Hypersound. On time-scales of hundreds to thousands of vibration periods, the liquid appears spatially heterogeneous. On these times, slow non-oscillatory fluctuating currents persist for surprisingly long times; the hierarchical dynamics of the heterogeneous liquid results in changing temperature, density, and velocity profiles across the system. Heterogeneity fades, and a crossover to non-fluctuational Hydrodynamics is observed for smoothing times of many tens of thousands vibration periods. On these asymptotically-large times, the liquid is spatially homogeneous except for thin layers near the boundaries where the degree of crystallinity increases and the mobility decreases due to liquid-boundary interactions.


title: From a normal insulator to a topological insulator in plumbene

abstract: Plumbene, similar to silicene, has a buckled honeycomb structure with a large band gap ($\sim 400$ meV). All previous studies have shown that it is a normal insulator. Here, we perform first-principles calculations and employ a sixteen-band tight-binding model with nearest-neighbor and next-nearest-neighbor hopping terms to investigate electronic structures and topological properties of the plumbene monolayer. We find that it can become a topological insulator with a large bulk gap ($\sim 200$ meV) through electron doping, and the nontrivial state is very robust with respect to external strain. Plumbene can be an ideal candidate for realizing the quantum spin Hall effect at room temperature. By investigating effects of external electric and magnetic fields on electronic structures and transport properties of plumbene, we present two rich phase diagrams with and without electron doping, and propose a theoretical design for a four-state spin-valley filter.


title: Optimal Bayesian Minimax Rates for Unconstrained Large Covariance Matrices

abstract: We obtain the optimal Bayesian minimax rate for the unconstrained large covariance matrix of multivariate normal sample with mean zero, when both the sample size, n, and the dimension, p, of the covariance matrix tend to infinity. Traditionally the posterior convergence rate is used to compare the frequentist asymptotic performance of priors, but defining the optimality with it is elusive. We propose a new decision theoretic framework for prior selection and define Bayesian minimax rate. Under the proposed framework, we obtain the optimal Bayesian minimax rate for the spectral norm for all rates of p. We also considered Frobenius norm, Bregman divergence and squared log-determinant loss and obtain the optimal Bayesian minimax rate under certain rate conditions on p. A simulation study is conducted to support the theoretical results.


title: Characterizing Spatiotemporal Transcriptome of Human Brain via Low Rank Tensor Decomposition

abstract: Spatiotemporal gene expression data of the human brain offer insights on the spa- tial and temporal patterns of gene regulation during brain development. Most existing methods for analyzing these data consider spatial and temporal profiles separately with the implicit assumption that different brain regions develop in similar trajectories, and that the spatial patterns of gene expression remain similar at different time points. Al- though these analyses may help delineate gene regulation either spatially or temporally, they are not able to characterize heterogeneity in temporal dynamics across different brain regions, or the evolution of spatial patterns of gene regulation over time. In this article, we develop a statistical method based on low rank tensor decomposition to more effectively analyze spatiotemporal gene expression data. We generalize the clas- sical principal component analysis (PCA) which is applicable only to data matrices, to tensor PCA that can simultaneously capture spatial and temporal effects. We also propose an efficient algorithm that combines tensor unfolding and power iteration to estimate the tensor principal components, and provide guarantees on their statistical performances. Numerical experiments are presented to further demonstrate the mer- its of the proposed method. An application of our method to a spatiotemporal brain expression data provides insights on gene regulation patterns in the brain.


title: Strongly-Typed Agents are Guaranteed to Interact Safely

abstract: As artificial agents proliferate, it is becoming increasingly important to ensure that their interactions with one another are well-behaved. In this paper, we formalize a common-sense notion of when algorithms are well-behaved: an algorithm is safe if it does no harm. Motivated by recent progress in deep learning, we focus on the specific case where agents update their actions according to gradient descent. The paper shows that that gradient descent converges to a Nash equilibrium in safe games. The main contribution is to define strongly-typed agents and show they are guaranteed to interact safely, thereby providing sufficient conditions to guarantee safe interactions. A series of examples show that strong-typing generalizes certain key features of convexity, is closely related to blind source separation, and introduces a new perspective on classical multilinear games based on tensor decomposition.


title: Viewpoint Adaptation for Rigid Object Detection

abstract: An object detector performs suboptimally when applied to image data taken from a viewpoint different from the one with which it was trained. In this paper, we present a viewpoint adaptation algorithm that allows a trained single-view object detector to be adapted to a new, distinct viewpoint. We first illustrate how a feature space transformation can be inferred from a known homography between the source and target viewpoints. Second, we show that a variety of trained classifiers can be modified to behave as if that transformation were applied to each testing instance. The proposed algorithm is evaluated on a person detection task using images from the PETS 2007 and CAVIAR datasets, as well as from a new synthetic multi-view person detection dataset. It yields substantial performance improvements when adapting single-view person detectors to new viewpoints, and simultaneously reduces computational complexity. This work has the potential to improve detection performance for cameras viewing objects from arbitrary viewpoints, while simplifying data collection and feature extraction.


title: Software Defined Media: Virtualization of Audio-Visual Services

abstract: Internet-native audio-visual services are witnessing rapid development. Among these services, object-based audio-visual services are gaining importance. In 2014, we established the Software Defined Media (SDM) consortium to target new research areas and markets involving object-based digital media and Internet-by-design audio-visual environments. In this paper, we introduce the SDM architecture that virtualizes networked audio-visual services along with the development of smart buildings and smart cities using Internet of Things (IoT) devices and smart building facilities. Moreover, we design the SDM architecture as a layered architecture to promote the development of innovative applications on the basis of rapid advancements in software-defined networking (SDN). Then, we implement a prototype system based on the architecture, present the system at an exhibition, and provide it as an SDM API to application developers at hackathons. Various types of applications are developed using the API at these events. An evaluation of SDM API access shows that the prototype SDM platform effectively provides 3D audio reproducibility and interactiveness for SDM applications.


title: Effects of Pre-ionisation in Radiative Shocks I: Self-Consistent Models

abstract: In this paper we treat the pre-ionisation problem in shocks over the velocity range $10 < v_{\rm s} < 1500$\,km/s in a self-consistent manner. We identify four distinct classes of solution controlled by the value of the shock precursor parameter, $\Psi = {\cal Q}/v_s$, where ${\cal Q}$ is the ionization parameter of the UV photons escaping upstream. This parameter determines both the temperature and the degree of ionisation of the gas entering the shock. In increasing velocity the shock solution regimes are cold neutral precursors ($v_s \lesssim 40$\,km/s), warm neutral precursors ($40 \lesssim v_s \lesssim 75$\,km/s), warm partly-ionized precursors ($75 \lesssim v_s \lesssim 120$\,km/s), and fast shocks in which the pre-shock gas is in photoionisation equilibrium, and is fully ionized. The main effect of a magnetic field is to push these velocity ranges to higher values, and to limit the post-shock compression. In order to facilitate comparison with observations of shocks, we provide a number of convenient scaling relationships for parameters such as post-shock temperature, compression factors, cooling lengths, and H$\beta$ and X-ray luminosity.


title: Monge-Amp\`ere operators on complex varieties in $\C^n

abstract: The main goal of this article is to find, following the approach given in [Ce1] and [Ce2], the largest possible sub-class of plurisubharmornic functions on a complex variety on which the complex Monge-Amp\`ere operator can be reasonably defined. Moreover, we are also interested in giving sufficient condition for solvability of the Monge-Amp\`ere operator Monge-Amp\`ere operators on complex varieties.


title: Quantum spin ice under a [111] magnetic field: from pyrochlore to kagom\'e

abstract: Quantum spin ice, modeled for magnetic rare-earth pyrochlores, has attracted great interest for hosting a U(1) quantum spin liquid, which involves spin-ice monopoles as gapped deconfined spinons, as well as gapless excitations analogous to photons. However, the global phase diagram under a [111] magnetic field remains open. Here we uncover by means of unbiased quantum Monte-Carlo simulations that a supersolid of monopoles, showing both a superfluidity and a partial ionization, intervenes the kagom\'e spin ice and a fully ionized monopole insulator, in contrast to classical spin ice where a direct discontinuous phase transition takes place. We also show that on cooling, kagom\'e spin ice evolves towards a valence bond solid similar to what appears in the associated kagom\'e lattice model [S. V. Isakov et al., Phys. Rev. Lett. 97, 147202 (2006)]. Possible relevance to experiments is discussed.


title: Efficient Hidden Vector Encryptions and Its Applications

abstract: Predicate encryption is a new paradigm of public key encryption that enables searches on encrypted data. Using the predicate encryption, we can search keywords or attributes on encrypted data without decrypting the ciphertexts. In predicate encryption, a ciphertext is associated with attributes and a token corresponds to a predicate. The token that corresponds to a predicate $f$ can decrypt the ciphertext associated with attributes $x$ if and only if $f(x)=1$. Hidden vector encryption (HVE) is a special kind of predicate encryption. In this thesis, we consider the efficiency, the generality, and the security of HVE schemes. The results of this thesis are described as follows. The first results of this thesis are efficient HVE schemes where the token consists of just four group elements and the decryption only requires four bilinear map computations, independent of the number of attributes in the ciphertext. The construction uses composite order bilinear groups and is selectively secure under the well-known assumptions. The second results are efficient HVE schemes that are secure under any kind of pairing types. To achieve our goals, we proposed a general framework that converts HVE schemes from composite order bilinear groups to prime order bilinear groups. Using the framework, we convert the previous HVE schemes from composite order bilinear groups to prime order bilinear groups. The third results are fully secure HVE schemes with short tokens. Previous HVE schemes were proven to be secure only in the selective security model where the capabilities of the adversaries are severely restricted. Using the dual system encryption techniques, we construct fully secure HVE schemes with match revealing property in composite order groups.


title: Continued fractions of certain Mahler functions

abstract: We investigate the continued fraction expansion of the infinite products $g(x) = x^{-1}\prod_{t=0}^\infty P(x^{-d^t})$ where polynomials $P(x)$ satisfy $P(0)=1$ and $\deg(P)<d$. We construct relations between partial quotients of $g(x)$ which can be used to get recurrent formulae for them. We provide that formulae for the cases $d=2$ and $d=3$. As an application, we prove that for $P(x) = 1+ux$ where $u$ is an arbitrary rational number except 0 and 1, and for any integer $b$ with $|b|>1$ such that $g(b)\neq0$ the irrationality exponent of $g(b)$ equals two. In the case $d=3$ we provide a partial analogue of the last result with several collections of polynomials $P(x)$ giving the irrationality exponent of $g(b)$ strictly bigger than two.


title: Small-space encoding LCE data structure with constant-time queries

abstract: The \emph{longest common extension} (\emph{LCE}) problem is to preprocess a given string $w$ of length $n$ so that the length of the longest common prefix between suffixes of $w$ that start at any two given positions is answered quickly. In this paper, we present a data structure of $O(z \tau^2 + \frac{n}{\tau})$ words of space which answers LCE queries in $O(1)$ time and can be built in $O(n \log \sigma)$ time, where $1 \leq \tau \leq \sqrt{n}$ is a parameter, $z$ is the size of the Lempel-Ziv 77 factorization of $w$ and $\sigma$ is the alphabet size. This is an \emph{encoding} data structure, i.e., it does not access the input string $w$ when answering queries and thus $w$ can be deleted after preprocessing. On top of this main result, we obtain further results using (variants of) our LCE data structure, which include the following: - For highly repetitive strings where the $z\tau^2$ term is dominated by $\frac{n}{\tau}$, we obtain a \emph{constant-time and sub-linear space} LCE query data structure. - Even when the input string is not well compressible via Lempel-Ziv 77 factorization, we still can obtain a \emph{constant-time and sub-linear space} LCE data structure for suitable $\tau$ and for $\sigma \leq 2^{o(\log n)}$. - The time-space trade-off lower bounds for the LCE problem by Bille et al. [J. Discrete Algorithms, 25:42-50, 2014] and by Kosolobov [CoRR, abs/1611.02891, 2016] can be "surpassed" in some cases with our LCE data structure.


title: The Glauber model and heavy ion reaction and elastic scattering cross sections

abstract: We revisit the Glauber model to study the heavy ion reaction cross sections and elastic scattering angular distributions at low and intermediate energies. The Glauber model takes nucleon-nucleon cross sections and nuclear densities as inputs and has no free parameter and thus can predict the cross sections for unknown systems. The Glauber model works at low energies down to Coulomb barrier with very simple modifications. We present new parametrization of measured total cross sections as well as ratio of real to imaginary parts of the scattering amplitudes for pp and np collisions as a function of nucleon kinetic energy. The nuclear (charge) densities obtained by electron scattering form factors measured in large momentum transfer range are used in the calculations. The heavy ion reaction cross sections are calculated for light and heavy systems and are compared with available data measured over large energy range. The model gives excellent description of the data. The elastic scattering angular distributions are calculated for various systems at different energies. The model gives good description of the data at small momentum transfer but the calculations deviate from the data at large momentum transfer.


title: Tuning transcriptional regulation through signaling: A predictive theory of allosteric induction

abstract: Allosteric regulation is found across all domains of life, yet we still lack simple, predictive theories that directly link the experimentally tunable parameters of a system to its input-output response. To that end, we present a general theory of allosteric transcriptional regulation using the Monod-Wyman-Changeux model. We rigorously test this model using the ubiquitous simple repression motif in bacteria by first predicting the behavior of strains that span a large range of repressor copy numbers and DNA binding strengths and then constructing and measuring their response. Our model not only accurately captures the induction profiles of these strains but also enables us to derive analytic expressions for key properties such as the dynamic range and $[EC_{50}]$. Finally, we derive an expression for the free energy of allosteric repressors which enables us to collapse our experimental data onto a single master curve that captures the diverse phenomenology of the induction profiles.


title: On Relation between Constraint Answer Set Programming and Satisfiability Modulo Theories

abstract: Constraint answer set programming is a promising research direction that integrates answer set programming with constraint processing. It is often informally related to the field of satisfiability modulo theories. Yet, the exact formal link is obscured as the terminology and concepts used in these two research areas differ. In this paper, we connect these two research areas by uncovering the precise formal relation between them. We believe that this work will booster the cross-fertilization of the theoretical foundations and the existing solving methods in both areas. As a step in this direction we provide a translation from constraint answer set programs with integer linear constraints to satisfiability modulo linear integer arithmetic that paves the way to utilizing modern satisfiability modulo theories solvers for computing answer sets of constraint answer set programs.


title: Hidden Community Detection in Social Networks

abstract: We introduce a new paradigm that is important for community detection in the realm of network analysis. Networks contain a set of strong, dominant communities, which interfere with the detection of weak, natural community structure. When most of the members of the weak communities also belong to stronger communities, they are extremely hard to be uncovered. We call the weak communities the hidden community structure. We present a novel approach called HICODE (HIdden COmmunity DEtection) that identifies the hidden community structure as well as the dominant community structure. By weakening the strength of the dominant structure, one can uncover the hidden structure beneath. Likewise, by reducing the strength of the hidden structure, one can more accurately identify the dominant structure. In this way, HICODE tackles both tasks simultaneously. Extensive experiments on real-world networks demonstrate that HICODE outperforms several state-of-the-art community detection methods in uncovering both the dominant and the hidden structure. In the Facebook university social networks, we find multiple non-redundant sets of communities that are strongly associated with residential hall, year of registration or career position of the faculties or students, while the state-of-the-art algorithms mainly locate the dominant ground truth category. In the Due to the difficulty of labeling all ground truth communities in real-world datasets, HICODE provides a promising approach to pinpoint the existing latent communities and uncover communities for which there is no ground truth. Finding this unknown structure is an extremely important community detection problem.


title: Sequence Modeling via Segmentations

abstract: Segmental structure is a common pattern in many types of sequences such as phrases in human languages. In this paper, we present a probabilistic model for sequences via their segmentations. The probability of a segmented sequence is calculated as the product of the probabilities of all its segments, where each segment is modeled using existing tools such as recurrent neural networks. Since the segmentation of a sequence is usually unknown in advance, we sum over all valid segmentations to obtain the final probability for the sequence. An efficient dynamic programming algorithm is developed for forward and backward computations without resorting to any approximation. We demonstrate our approach on text segmentation and speech recognition tasks. In addition to quantitative results, we also show that our approach can discover meaningful segments in their respective application contexts.


title: Deep Models Under the GAN: Information Leakage from Collaborative Deep Learning

abstract: Deep Learning has recently become hugely popular in machine learning, providing significant improvements in classification accuracy in the presence of highly-structured and large databases. Researchers have also considered privacy implications of deep learning. Models are typically trained in a centralized manner with all the data being processed by the same training algorithm. If the data is a collection of users' private data, including habits, personal pictures, geographical positions, interests, and more, the centralized server will have access to sensitive information that could potentially be mishandled. To tackle this problem, collaborative deep learning models have recently been proposed where parties locally train their deep learning structures and only share a subset of the parameters in the attempt to keep their respective training sets private. Parameters can also be obfuscated via differential privacy (DP) to make information extraction even more challenging, as proposed by Shokri and Shmatikov at CCS'15. Unfortunately, we show that any privacy-preserving collaborative deep learning is susceptible to a powerful attack that we devise in this paper. In particular, we show that a distributed, federated, or decentralized deep learning approach is fundamentally broken and does not protect the training sets of honest participants. The attack we developed exploits the real-time nature of the learning process that allows the adversary to train a Generative Adversarial Network (GAN) that generates prototypical samples of the targeted training set that was meant to be private (the samples generated by the GAN are intended to come from the same distribution as the training data). Interestingly, we show that record-level DP applied to the shared parameters of the model, as suggested in previous work, is ineffective (i.e., record-level DP is not designed to address our attack).


title: PairClone: A Bayesian Subclone Caller Based on Mutation Pairs

abstract: Tumor cell populations can be thought of as being composed of homogeneous cell subpopulations, with each subpopulation being characterized by overlapping sets of single nucleotide variants (SNVs). Such subpopulations are known as subclones and are an important target for precision medicine. Reconstructing such subclones from next-generation sequencing (NGS) data is one of the major challenges in precision medicine. We present PairClone as a new tool to implement this reconstruction. The main idea of PairClone is to model short reads mapped to pairs of proximal SNVs. In contrast, most existing methods use only marginal reads for unpaired SNVs. Using Bayesian nonparametric models, we estimate posterior probabilities of the number, genotypes and population frequencies of subclones in one or more tumor sample. We use the categorical Indian buffet process (cIBP) as a prior probability model for subclones that are represented as vectors of categorical matrices that record the corresponding sets of mutation pairs. Performance of PairClone is assessed using simulated and real datasets. An open source software package can be obtained at http://www.compgenome.org/pairclone.


title: How to categorify the ring of integers localized at two

abstract: We construct a triangulated monoidal Karoubi closed category with the Grothendieck ring, naturally isomorphic to the ring of integers localized at two.


title: Optimization Study for the Experimental Configuration of CMB-S4

abstract: The CMB Stage 4 (CMB-S4) experiment is a next-generation, ground-based experiment that will measure the cosmic microwave background (CMB) polarization to unprecedented accuracy, probing the signature of inflation, the nature of cosmic neutrinos, relativistic thermal relics in the early universe, and the evolution of the universe. To advance the progress towards designing the instrument for CMB-S4, we have established a framework to optimize the instrumental configuration to maximize its scientific output. In this paper, we report our first results from this framework, using simplified instrumental and cost models. We have primarily studied two classes of instrumental configurations: arrays of large aperture telescopes with diameters ranging from 2-10 m, and hybrid arrays that combine small-aperture telescopes (0.5 m diameter) with large-aperture telescopes. We explore performance as a function of the telescope aperture size, the distribution of the detectors into different microwave frequencies, the survey strategy and survey area, the low-frequency noise performance, and the balance between small and large aperture telescopes for the hybrid configurations. We also examine the impact from the uncertainties of the instrumental model. There are several areas that deserve further improvement. In our forecasting framework, we adopt a simple two-component foregrounds model with spacially varying power-law spectral indices. We estimate delensing performance statistically and ignore possible non-idealities. Instrumental systematics, which is not accounted for in our study, may influence the design. Further study of the instrumental and cost models will be one of the main areas of study by the whole CMB-S4 community. We hope that our framework will be useful for estimating the influence of these improvement in future, and we will incorporate them in order to improve the optimization further.


title: On the area of constrained polygonal linkages

abstract: We study configuration spaces of linkages whose underlying graph are polygons with diagonal constrains, or more general, partial two-trees. We show that (with an appropriate definition) the oriented area is a Bott-Morse function on the configuration space. Its critical points are described and Bott-Morse indices are computed. This paper is a generalization of analogous results for polygonal linkages (obtained earlier by G. Khimshiashvili, G. Panina, and A. Zhukova).


title: Manipulation and amplification of the Casimir force through surface fields using helicity

abstract: We present both exact and numerical results for the behavior of the Casimir force in $O(n)$ systems with a finite extension in one direction when the system is subjected to surface fields that induce helicity in the order parameter. We show that for such systems the Casimir force in certain temperature ranges is of the order of $L^{-2}$, both above and below the critical temperature, $T_c$, of the bulk system. An example of such a system would be one with chemically modulated bounding surfaces, in which the modulation couples directly to the system's order parameter. We demonstrate that, depending on the parameters of the system, the Casimir force can be either attractive or repulsive. The exact calculations presented are for the one dimensional $XY$ and Heisenberg models under twisted boundary conditions resulting from finite surface fields that differ in direction by a specified angle and the three dimensional Gaussian model with surface fields in the form of plane waves that are shifted in phase with respect to each other. Additionally, we present exact and numerical results for the mean field version of the three dimensional $O(2)$ model with finite surface fields on the bounding surfaces. We find that all significant results are consistent with the expectations of finite size scaling.


title: Exact Synthesis of Reversible Logic Circuits using Model Checking

abstract: Synthesis of reversible logic circuits has gained great atten- tion during the last decade. Various synthesis techniques have been pro- posed, some generate optimal solutions (in gate count) and are termed as exact, while others are scalable in the sense that they can handle larger functions but generate sub-optimal solutions. Although scalable synthe- sis is very much essential for circuit design, exact synthesis is also of great importance as it helps in building design library for the synthesis of larger functions. In this paper, we propose an exact synthesis technique for re- versible circuits using model checking. We frame the synthesis problem as a model checking instance and propose an iterative bounded model checking calls for an optimal synthesis. Experiments on reversible logic benchmarks shows successful synthesis of optimal circuits. We also illus- trate optimal synthesis of random functions with as many as 10 variables and up to 10 gates.


title: Holographic complexity: A tool to probe the property of reduced fidelity susceptibility

abstract: Quantum information theory along with holography play central roles in our understanding of quantum gravity. Exploring their connections will lead to profound impacts on our understanding of the modern physics and is thus a key challenge for present theory and experiments. In this paper, we investigate a recent conjectured connection between reduced fidelity susceptibility and holographic complexity (the RFS/HC duality for short). We give a quantitative proof of the duality by performing both holographic and field theoretical computations. In addition, holographic complexity in $AdS_{2+1}$ are explored and several important properties are obtained. These properties allow us, via the RFS/HC duality, to obtain a set of remarkable identities of the reduced fidelity susceptibility, which may have significant implications for our understanding of the reduced fidelity susceptibility. Moreover, utilizing these properties and the recent proposed diagnostic tool based on the fidelity susceptibility, experimental verification of the RFS/HC duality becomes possible.


title: Learning Non-local Image Diffusion for Image Denoising

abstract: Image diffusion plays a fundamental role for the task of image denoising. Recently proposed trainable nonlinear reaction diffusion (TNRD) model defines a simple but very effective framework for image denoising. However, as the TNRD model is a local model, the diffusion behavior of which is purely controlled by information of local patches, it is prone to create artifacts in the homogenous regions and over-smooth highly textured regions, especially in the case of strong noise levels. Meanwhile, it is widely known that the non-local self-similarity (NSS) prior stands as an effective image prior for image denoising, which has been widely exploited in many non-local methods. In this work, we are highly motivated to embed the NSS prior into the TNRD model to tackle its weaknesses. In order to preserve the expected property that end-to-end training is available, we exploit the NSS prior by a set of non-local filters, and derive our proposed trainable non-local reaction diffusion (TNLRD) model for image denoising. Together with the local filters and influence functions, the non-local filters are learned by employing loss-specific training. The experimental results show that the trained TNLRD model produces visually plausible recovered images with more textures and less artifacts, compared to its local versions. Moreover, the trained TNLRD model can achieve strongly competitive performance to recent state-of-the-art image denoising methods in terms of peak signal-to-noise ratio (PSNR) and structural similarity index (SSIM).


title: Orthogonality and duality of frames over locally compact abelian groups

abstract: Motivated by the recent work of Bownik and Ross \cite{BR}, and Jakobsen and Lemvig \cite{JL}, this article generalizes latest results on reproducing formulas for generalized translation invariant (GTI) systems to the setting of super-spaces over a second countable locally compact abelian (LCA) group $G$. To do so, we introduce the notion of a super-GTI system with finite sequences as generators from a super-space $L^2(G) \oplus \cdots \oplus L^2(G) $ ($N$ summands). We characterize the generators of two super-GTI systems in the super-space such that they form a super-dual frame pair. For this, we first give necessary and sufficient conditions for two Bessel families to be orthogonal frames (we call as GTI-orthogonal frame systems) when the Bessel families have the form of GTI systems in $L^2(G)$. As a consequence, we deduce similar results for several function systems including the case of TI systems, and GTI systems on compact abelian groups. As an application, we apply our duality result for super-GTI systems to the Bessel families with a wave-packet structure (combination of wavelet as well as Gabor structure), and hence a characterization for dual super wave-packet systems on LCA groups is obtained. In addition, we relate the well established theory from literature with our results by observing several deductions in context of wavelet and Gabor systems over LCA groups with $G=\mathbb{R}^d,\mathbb{Z}^d$, etc.


title: Simultaneous Feature and Body-Part Learning for Real-Time Robot Awareness of Human Behaviors

abstract: Robot awareness of human actions is an essential research problem in robotics with many important real-world applications, including human-robot collaboration and teaming. Over the past few years, depth sensors have become a standard device widely used by intelligent robots for 3D perception, which can also offer human skeletal data in 3D space. Several methods based on skeletal data were designed to enable robot awareness of human actions with satisfactory accuracy. However, previous methods treated all body parts and features equally important, without the capability to identify discriminative body parts and features. In this paper, we propose a novel simultaneous Feature And Body-part Learning (FABL) approach that simultaneously identifies discriminative body parts and features, and efficiently integrates all available information together to enable real-time robot awareness of human behaviors. We formulate FABL as a regression-like optimization problem with structured sparsity-inducing norms to model interrelationships of body parts and features. We also develop an optimization algorithm to solve the formulated problem, which possesses a theoretical guarantee to find the optimal solution. To evaluate FABL, three experiments were performed using public benchmark datasets, including the MSR Action3D and CAD-60 datasets, as well as a Baxter robot in practical assistive living applications. Experimental results show that our FABL approach obtains a high recognition accuracy with a processing speed of the order-of-magnitude of 10e4 Hz, which makes FABL a promising method to enable real-time robot awareness of human behaviors in practical robotics applications.


title: Sequence-based Multimodal Apprenticeship Learning For Robot Perception and Decision Making

abstract: Apprenticeship learning has recently attracted a wide attention due to its capability of allowing robots to learn physical tasks directly from demonstrations provided by human experts. Most previous techniques assumed that the state space is known a priori or employed simple state representations that usually suffer from perceptual aliasing. Different from previous research, we propose a novel approach named Sequence-based Multimodal Apprenticeship Learning (SMAL), which is capable to simultaneously fusing temporal information and multimodal data, and to integrate robot perception with decision making. To evaluate the SMAL approach, experiments are performed using both simulations and real-world robots in the challenging search and rescue scenarios. The empirical study has validated that our SMAL approach can effectively learn plans for robots to make decisions using sequence of multimodal observations. Experimental results have also showed that SMAL outperforms the baseline methods using individual images.


title: Renyi Differential Privacy

abstract: We propose a natural relaxation of differential privacy based on the Renyi divergence. Closely related notions have appeared in several recent papers that analyzed composition of differentially private mechanisms. We argue that the useful analytical tool can be used as a privacy definition, compactly and accurately representing guarantees on the tails of the privacy loss. We demonstrate that the new definition shares many important properties with the standard definition of differential privacy, while additionally allowing tighter analysis of composite heterogeneous mechanisms.


title: Instability of gravitational baryogenesis with fermions

abstract: The derivative coupling of baryonic current to the curvature scalar in gravitational baryogenesis scenarios leads to higher order equations for gravitational field. It is shown that these equations are strongly unstable and destroy standard cosmology. This is a generalization of our earlier results obtained for scalar baryons to realistic fermions.


title: Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC

abstract: We propose an extension with immediate multiactions of discrete time stochastic Petri Box Calculus (dtsPBC), presented by I.V. Tarasyuk. The resulting algebra dtsiPBC is a discrete time analogue of stochastic Petri Box Calculus (sPBC) with immediate multiactions, designed by H. Maci\`a, V. Valero et al. within a continuous time domain. The step operational semantics is constructed via labeled probabilistic transition systems. The denotational semantics is based on labeled discrete time stochastic Petri nets with immediate transitions. To evaluate performance, the corresponding semi-Markov chains are analyzed. We define step stochastic bisimulation equivalence of expressions that is applied to reduce their transition systems and underlying semi-Markov chains while preserving the functionality and performance characteristics. We explain how this equivalence can be used to simplify performance analysis of the algebraic processes. In a case study, a method of modeling, performance evaluation and behaviour reduction for concurrent systems is outlined and applied to the shared memory system.


title: Thermal phase transition with full 2-loop effective potential

abstract: Theories with extended Higgs sectors constructed in view of cosmological ramifications (gravitational wave signal, baryogenesis, dark matter) are often faced with conflicting requirements for their couplings; in particular those influencing the strength of a phase transition may be large. Large couplings compromise perturbative studies, as well as the high-temperature expansion that is invoked in dimensionally reduced lattice investigations. With the example of the inert doublet extension of the Standard Model (IDM), we show how a resummed 2-loop effective potential can be computed without a high-T expansion, and use the result to scrutinize its accuracy. With the exception of Tc, which is sensitive to contributions from heavy modes, the high-T expansion is found to perform well. 2-loop corrections weaken the transition in IDM, but they are moderate, whereby a strong transition remains an option.


title: Automation in Human-Machine Networks: How Increasing Machine Agency Affects Human Agency

abstract: Efficient human-machine networks require productive interaction between human and machine actors. In this study, we address how a strengthening of machine agency, for example through increasing levels of automation, affect the human actors of the networks. Findings from case studies within air traffic management, crisis management, and crowd evacuation are presented, exemplifying how automation may strengthen the agency of human actors in the network through responsibility sharing and task allocation, and serve as a needed prerequisite of innovation and change.


title: Mapping Patent Classifications: Portfolio and Statistical Analysis, and the Comparison of Strengths and Weaknesses

abstract: The Cooperative Patent Classifications (CPC) jointly developed by the European and US Patent Offices provide a new basis for mapping and portfolio analysis. This update provides an occasion for rethinking the parameter choices. The new maps are significantly different from previous ones, although this may not always be obvious on visual inspection. Since these maps are statistical constructs based on index terms, their quality--as different from utility--can only be controlled discursively. We provide nested maps online and a routine for portfolio overlays and further statistical analysis. We add a new tool for "difference maps" which is illustrated by comparing the portfolios of patents granted to Novartis and MSD in 2016.


title: Speckle Reduction with Trained Nonlinear Diffusion Filtering

abstract: Speckle reduction is a prerequisite for many image processing tasks in synthetic aperture radar (SAR) images, as well as all coherent images. In recent years, predominant state-of-the-art approaches for despeckling are usually based on nonlocal methods which mainly concentrate on achieving utmost image restoration quality, with relatively low computational efficiency. Therefore, in this study we aim to propose an efficient despeckling model with both high computational efficiency and high recovery quality. To this end, we exploit a newly-developed trainable nonlinear reaction diffusion(TNRD) framework which has proven a simple and effective model for various image restoration problems. {In the original TNRD applications, the diffusion network is usually derived based on the direct gradient descent scheme. However, this approach will encounter some problem for the task of multiplicative noise reduction exploited in this study. To solve this problem, we employed a new architecture derived from the proximal gradient descent method.} {Taking into account the speckle noise statistics, the diffusion process for the despeckling task is derived. We then retrain all the model parameters in the presence of speckle noise. Finally, optimized nonlinear diffusion filtering models are obtained, which are specialized for despeckling with various noise levels. Experimental results substantiate that the trained filtering models provide comparable or even better results than state-of-the-art nonlocal approaches. Meanwhile, our proposed model merely contains convolution of linear filters with an image, which offers high level parallelism on GPUs. As a consequence, for images of size $512 \times 512$, our GPU implementation takes less than 0.1 seconds to produce state-of-the-art despeckling performance.}


title: A Theory of Complex Stochastic Systems with Two Types of Counteracting Entities

abstract: Many complex systems share two characteristics: 1) they are stochastic in nature, and 2) they are characterized by a large number of factors. At the same time, various natural complex systems appear to have two types of intertwined constituents that exhibit counteracting effects on their equilibrium. In this study, we employ these few characteristics to lay the groundwork for analyzing such complex systems. The equilibrium point of these systems is generally studied either through the kinetic notion of equilibrium or its energetic notion, but not both. We postulate that these systems attempt to regulate the state vector of their constituents such that both the kinetic and the energetic notions of equilibrium are met. Based on this postulate, we prove: 1) the existence of a point such that the kinetic notion of equilibrium is met for the less abundant constituents and, at the same time, the state vector of more abundant entities is regulated to minimize the energetic notion of equilibrium; 2) the effect of unboundedly increasing less (more) abundant constituents stabilizes (destabilizes) the system; and 3) the (unrestricted) equilibrium of the system is the point at which the number of stabilizing and destabilizing entities increase unboundedly with the same rate.


title: Featured Weighted Automata

abstract: A featured transition system is a transition system in which the transitions are annotated with feature expressions: Boolean expressions on a finite number of given features. Depending on its feature expression, each individual transition can be enabled when some features are present, and disabled for other sets of features. The behavior of a featured transition system hence depends on a given set of features. There are algorithms for featured transition systems which can check their properties for all sets of features at once, for example for LTL or CTL properties. Here we introduce a model of featured weighted automata which combines featured transition systems and (semiring-) weighted automata. We show that methods and techniques from weighted automata extend to featured weighted automata and devise algorithms to compute quantitative properties of featured weighted automata for all sets of features at once. We show applications to minimum reachability and to energy properties.


title: Intrinsic Phase Diagram of Superconductivity in the BiCh2-based System Without In-plane Disorder

abstract: We have investigated the crystal structure and physical properties of LaO1-xFxBiSSe to reveal the intrinsic superconductivity phase diagram of the BiCh2-based layered compound family. From synchrotron X-ray diffraction and Rietveld refinements with anisotropic displacement parameters, we clearly found that the in-plane disorder in the BiSSe layer was fully suppressed for all x. In LaO1-xFxBiSSe, metallic conductivity and superconductivity are suddenly induced by electron doping even at x = 0.05 and 0.1 with a monoclinic structure. In addition, x (F concentration) dependence of the transition temperature (Tc) for x = 0.2-0.5 with a tetragonal structure shows an anomalously flat phase diagram. With these experimental facts, we have proposed the intrinsic phase diagram of the ideal BiCh2-based superconductors with less in-plane disorder.


title: Deep representation learning for human motion prediction and classification

abstract: Generative models of 3D human motion are often restricted to a small number of activities and can therefore not generalize well to novel movements or applications. In this work we propose a deep learning framework for human motion capture data that learns a generic representation from a large corpus of motion capture data and generalizes well to new, unseen, motions. Using an encoding-decoding network that learns to predict future 3D poses from the most recent past, we extract a feature representation of human motion. Most work on deep learning for sequence prediction focuses on video and speech. Since skeletal data has a different structure, we present and evaluate different network architectures that make different assumptions about time dependencies and limb correlations. To quantify the learned features, we use the output of different layers for action classification and visualize the receptive fields of the network units. Our method outperforms the recent state of the art in skeletal motion prediction even though these use action specific training data. Our results show that deep feedforward networks, trained from a generic mocap database, can successfully be used for feature extraction from human motion data and that this representation can be used as a foundation for classification and prediction.


title: Black Holes: Eliminating Information or Illuminating New Physics?

abstract: Black holes, initially thought of as very interesting geometric constructions of nature, over time, have learnt to (often) come up with surprises and challenges. From the era of being described as merely some interesting and exotic solutions of \gr, they have, in modern times, really started to test our confidence in everything else, we thought we know about the nature. They have in this process, also earned a dreadsome reputation in some corners of theoretical physics. The most serious charge on the black holes is that they eat up information, never to release and subsequently erase it. This goes absolutely against the sacred principles of all other branches of fundamental sciences. This realization has shaken the very base of foundational concepts, both in quantum theory and gravity, which we always took for granted. Attempts to exorcise black holes of this charge, have led us to crossroads with concepts, hold dearly in quantum theory. The sphere of black hole's tussle with quantum theory has readily and steadily grown, from the advent of the Hawking radiation some four decades back, into domain of quantum information theory in modern times, most aptly, recently put in the form of the firewall puzzle. Do black holes really indicate something sinister about their existence or do they really take the lid off our comfort with ignoring the fundamental issues, our modern theories are seemingly plagued with? In this review, we focus on issues pertaining to black hole evaporation, the development of the information loss paradox, its recent formulation, the leading debates and promising directions in the community.


title: Some inequalities of matrix power and Karcher means for positive linear maps

abstract: In this paper, we generalize some matrix inequalities involving matrix power and Karcher means of positive definite matrices. Among other inequalities, it is shown that if ${\mathbb A}=(A_{1},...,A_{n})$ is a $n$-tuple of positive definite matrices such that $0<m\leq A_{i}\leq M\, (i=1,\cdots,n)$ for some scalars $m< M$ and $\omega=(w_{1},\cdots,w_{n})$ is a weight vector with $w_{i}\geq0$ and $\sum_{i=1}^{n}w_{i}=1$, then \begin{align*} \Phi^{p}\Big(\sum_{i=1}^{n}w_{i}A_{i}\Big)\leq \alpha^{p}\Phi^{p}(P_{t}(\omega; {\mathbb A})) \end{align*} and \begin{align*} \Phi^{p}\Big(\sum_{i=1}^{n}w_{i}A_{i}\Big)\leq \alpha^{p}\Phi^{p}(\Lambda(\omega; {\mathbb A})), \end{align*} where $p>0$, $\alpha=\max\Big\{\frac{(M+m)^{2}}{4Mm}, \frac{(M+m)^{2}}{4^{\frac{2}{p}}Mm}\Big\}$, $\Phi$ is a positive unital linear map and $t\in [-1, 1]\backslash \{0\}$.


title: SIFM: A network architecture for seamless flow mobility between LTE and WiFi networks - Analysis and Testbed Implementation

abstract: This paper deals with cellular (e.g. LTE) networks that selectively offload the mobile data traffic onto WiFi (IEEE 802.11) networks to improve network performance. We propose the Seamless Internetwork Flow Mobility (SIFM) architecture that provides seamless flow-mobility support using concepts of Software Defined Networking (SDN). The SDN paradigm decouples the control and data plane, leading to a centralized network intelligence and state. The SIFM architecture utilizes this aspect of SDN and moves the mobility decisions to a centralized Flow Controller (FC). This provides a global network view while making mobility decisions and also reduces the complexity at the PGW. We implement and evaluate both basic PMIPv6 and the SIFM architectures by incorporating salient LTE and WiFi network features in the ns-3 simulator. Performance experiments validate that seamless mobility is achieved. Also, the SIFM architecture shows an improved network performance when compared to the base PMIPv6 architecture. A proof-of-concept prototype of the SIFM architecture has been implemented on an experimental testbed. The LTE network is emulated by integrating USRP B210x with the OpenLTE eNodeB and OpenLTE EPC. The WiFi network is emulated using hostapd and dnsmasq daemons running on Ubuntu 12.04. An off-the-shelf LG G2 mobile phone running Android 4.2.2 is used as the user equipment. We demonstrate seamless mobility between the LTE network and the WiFi network with the help of ICMP ping and a TCP chat application.


abstract: The efficiency of reinforcement learning algorithms depends critically on a few meta-parameters that modulates the learning updates and the trade-off between exploration and exploitation. The adaptation of the meta-parameters is an open question in reinforcement learning, which arguably has become more of an issue recently with the success of deep reinforcement learning in high-dimensional state spaces. The long learning times in domains such as Atari 2600 video games makes it not feasible to perform comprehensive searches of appropriate meta-parameter values. We propose the Online Meta-learning by Parallel Algorithm Competition (OMPAC) method. In the OMPAC method, several instances of a reinforcement learning algorithm are run in parallel with small differences in the initial values of the meta-parameters. After a fixed number of episodes, the instances are selected based on their performance in the task at hand. Before continuing the learning, Gaussian noise is added to the meta-parameters with a predefined probability. We validate the OMPAC method by improving the state-of-the-art results in stochastic SZ-Tetris and in standard Tetris with a smaller, 10$\times$10, board, by 31% and 84%, respectively, and by improving the results for deep Sarsa($\lambda$) agents in three Atari 2600 games by 62% or more. The experiments also show the ability of the OMPAC method to adapt the meta-parameters according to the learning progress in different tasks.


title: R$^3$PUF: A Highly Reliable Memristive Device based Reconfigurable PUF

abstract: We present a memristive device based R$ ^3 $PUF construction achieving highly desired PUF properties, which are not offered by most current PUF designs: (1) High reliability, almost 100\% that is crucial for PUF-based cryptographic key generations, significantly reducing, or even eliminating the expensive overhead of on-chip error correction logic and the associated helper on-chip data storage or off-chip storage and transfer. (2) Reconfigurability, while current PUF designs rarely exhibit such an attractive property. We validate our R$ ^3 $PUF via extensive Monte-Carlo simulations in Cadence based on parameters of real devices. The R$ ^3 $PUF is simple, cost-effective and easy to manage compared to other PUF constructions exhibiting high reliability or reconfigurability. None of previous PUF constructions is able to provide both desired high reliability and reconfigurability concurrently.


title: Robot gains Social Intelligence through Multimodal Deep Reinforcement Learning

abstract: For robots to coexist with humans in a social world like ours, it is crucial that they possess human-like social interaction skills. Programming a robot to possess such skills is a challenging task. In this paper, we propose a Multimodal Deep Q-Network (MDQN) to enable a robot to learn human-like interaction skills through a trial and error method. This paper aims to develop a robot that gathers data during its interaction with a human and learns human interaction behaviour from the high-dimensional sensory information using end-to-end reinforcement learning. This paper demonstrates that the robot was able to learn basic interaction skills successfully, after 14 days of interacting with people.


title: The radius of uniform convexity of Bessel functions

abstract: In this paper, we determine the radius of uniform convexity for three kinds of normalized Bessel functions of the first kind. In the mentioned cases the normalized Bessel functions are uniformly convex on the determined disks. Moreover, necessary and sufficient conditions are given for the parameters of the three normalized functions such that they to be uniformly convex in the open unit disk. The basic tool of this study is the development of Bessel functions in function series.


title: Interface defect-assisted phonon scattering of hot carriers in graphene

abstract: The broadband and ultrafast photoresponse of graphene has been extensively studied in recent years, although the photoexcited carrier dynamics is still far from being completely understood. Different experimental approaches imply either one of two fundamentally different scattering mechanisms for hot electrons. One is high-energy optical phonons, while the other is disorder-driven supercollisions with acoustic phonons. However, the concurrent relaxation via both optical and acoustic phonons has not been considered so far, hindering the interpretation of different experiments within a unified framework. Here we expand the optical phonon-mediated cooling model, to include electron scattering with the acoustic phonons. By assuming the enhancement of electron-acoustic phonon supercollisions from the localized defect at the photothermoelectric current-generating interface, we provide a broader perspective to the ultrafast photoresponse of graphene, highlighting the previously overlooked effect of the interface for cooling dynamics. We show that the transient photothermoelectric response, which has been attributed exclusively to supercollisions, can be successfully explained without rejecting the established optical phonon relaxation pathway, demonstrating that the two cooling mechanisms are not mutually exclusive but complement each other.


title: Dirichlet-vMF Mixture Model

abstract: This document is about the multi-document Von-Mises-Fisher mixture model with a Dirichlet prior, referred to as VMFMix. VMFMix is analogous to Latent Dirichlet Allocation (LDA) in that they can capture the co-occurrence patterns acorss multiple documents. The difference is that in VMFMix, the topic-word distribution is defined on a continuous n-dimensional hypersphere. Hence VMFMix is used to derive topic embeddings, i.e., representative vectors, from multiple sets of embedding vectors. An efficient Variational Expectation-Maximization inference algorithm is derived. The performance of VMFMix on two document classification tasks is reported, with some preliminary analysis.


title: The characteristic function for complex doubly infinite Jacobi matrices

abstract: We introduce a class of doubly infinite complex Jacobi matrices determined by a simple convergence condition imposed on the diagonal and off-diagonal sequences. For each Jacobi matrix belonging to this class, an analytic function, called a characteristic function, is associated with it. It is shown that the point spectrum of the corresponding Jacobi operator restricted to a suitable domain coincides with the zero set of the characteristic function. Also, coincidence regarding the order of a zero of the characteristic function and the algebraic multiplicity of the corresponding eigenvalue is proved. Further, formulas for the entries of eigenvectors, generalized eigenvectors, a summation identity for eigenvectors, and matrix elements of the resolvent operator are provided. The presented method is illustrated by several concrete examples.


title: Curvature properties of generalized pp-wave metric

abstract: The main objective of the present paper is to investigate the curvature properties of generalized pp-wave metric. It is shown that generalized pp-wave spacetime is Ricci generalized pseudosymmetric, 2-quasi-Einstein and generalized quasi-Einstein in the sense of Chaki. As a special case it is shown that pp-wave spacetime is semisymmetric, semisymmetric due to conformal and projective curvature tensors, $R$-space by Venzi and satisfies the pseudosymmetric type condition $P\cdot P = -\frac{1}{3}Q(S, P)$. Again we investigate the sufficient condition for which a generalized pp-wave spacetime turns into pp-wave spacetime, pure radiation spacetime, locally symmetric and recurrent. Finally, it is shown that the energy-momentum tensor of pp-wave spacetime is parallel if and only if it is cyclic parallel. And the energy momentum tensor is Codazzi type if it is cyclic parallel but the converse is not true as shown by an example. Finally we make a comparison between the curvature properties of the Robinson-Trautman metric and generalized pp-wave metric.


title: Secure Clustered Distributed Storage Against Eavesdroppers

abstract: This paper considers the security issue of practical distributed storage systems (DSSs) which consist of multiple clusters of storage nodes. Noticing that actual storage nodes constituting a DSS are distributed in multiple clusters, two novel eavesdropper models - the node-restricted model and the cluster-restricted model - are suggested which reflect the clustered nature of DSSs. In the node-restricted model, an eavesdropper cannot access the individual nodes, but can eavesdrop incoming/outgoing data for $L_c$ compromised clusters. In the cluster-restricted model, an eavesdropper can access a total of $l$ individual nodes but the number of accessible clusters is limited to $L_c$. We provide an upper bound on the securely storable data for each model, while a specific network coding scheme which achieves the upper bound is obtained for the node-restricted model, given some mild condition on the node storage size.


title: Cograph Editing: Merging Modules is equivalent to Editing P4's

abstract: The modular decomposition of a graph $G=(V,E)$ does not contain prime modules if and only if $G$ is a cograph, that is, if no quadruple of vertices induces a simple connected path $P_4$. The cograph editing problem consists in inserting into and deleting from $G$ a set $F$ of edges so that $H=(V,E\Delta F)$ is a cograph and $|F|$ is minimum. This NP-hard combinatorial optimization problem has recently found applications, e.g., in the context of phylogenetics. Efficient heuristics are hence of practical importance. The simple characterization of cographs in terms of their modular decomposition suggests that instead of editing $G$ one could operate directly on the modular decomposition. We show here that editing the induced $P_4$s is equivalent to resolving prime modules by means of a suitable defined merge operation on the submodules. Moreover, we characterize so-called module-preserving edit sets and demonstrate that optimal pairwise sequences of module-preserving edit sets exist for every non-cograph. This eventually leads to an exact algorithm for the cograph editing problem as well as fixed-parameter tractable (FPT) results when cograph editing is parameterized by the so-called modular-width. In addition, we provide two heuristics with time complexity $O(|V|^3)$, resp., $O(|V|^2)$.


title: New $2$-designs from strong difference families

abstract: Strong difference families are an interesting class of discrete structures which can be used to derive relative difference families. Relative difference families are closely related to $2$-designs, and have applications in constructions for many significant codes, such as optical orthogonal codes and optical orthogonal signature pattern codes. In this paper, with a careful use of cyclotomic conditions attached to strong difference families, we improve the lower bound on the asymptotic existence results of $(\mathbb{F}_{p}\times \mathbb{F}_{q},\mathbb{F}_{p}\times \{0\},k,\lambda)$-DFs for $k\in\{p,p+1\}$. We improve Buratti's existence results for $2$-$(13q,13,\lambda)$ designs and $2$-$(17q,17,\lambda)$ designs, and establish the existence of seven new $2$-$(v,k,\lambda)$ designs for $(v,k,\lambda)\in\{(694,7,2),(1576,8,1),(2025,9,1),(765,9,2),(1845,9,2),(459,9,4)$, $(783,9,4)\}$.


title: Characterizing Classes of Potential Outliers through Traffic Data Set Data Signature 2D nMDS Projection

abstract: This paper presents a formal method for characterizing the potential outliers from the data signature projection of traffic data set using Non-Metric Multidimensional Scaling (nMDS) visualization. Previous work had only relied on visual inspection and the subjective nature of this technique may derive false and invalid potential outliers. The identification of correct potential outliers had already been an open problem proposed in literature. This is due to the fact that they pinpoint areas and time frames where traffic incidents/accidents occur along the North Luzon Expressway (NLEX) in Luzon. In this paper, potential outliers are classified into (1) absolute potential outliers; (2) valid potential outliers; and (3) ambiguous potential outliers through the use of confidence bands and confidence ellipse. A method is also described to validate cluster membership of identified ambiguous potential outliers. Using the 2006 NLEX Balintawak Northbound (BLK-NB) data set, we were able to identify two absolute potential outliers, nine valid potential outliers, and five ambiguous potential outliers. In a literature where Vector Fusion was used, 10 potential outliers were identified. Given the results for the nMDS visualization using the confidence bands and confidence ellipses, all of these 10 potential outliers were also found and 8 new potential outliers were also found.


title: Yet Another Pseudorandom Number Generator

abstract: We propose a novel pseudorandom number generator based on R\"ossler attractor and bent Boolean function. We estimated the output bits properties by number of statistical tests. The results of the cryptanalysis show that the new pseudorandom number generation scheme provides a high level of data security.


title: Efficient high-resolution RF pulse design applied to simultaneous multi-slice excitation

abstract: RF pulse design via optimal control is typically based on gradient and quasi-Newton approaches and therefore suffers from slow convergence. We present a flexible and highly efficient method that uses exact second-order information within a globally convergent trust-region CG-Newton method to yield an improved convergence rate. The approach is applied to the design of RF pulses for single- and simultaneous multi-slice (SMS) excitation and validated using phantom and in-vivo experiments on a 3T scanner using a modified gradient echo sequence.


title: Magnetic order and spin dynamics across a ferromagnetic quantum critical point: $\mu$SR investigations of YbNi$_4$(P$_{1-x}$As$_x$)$_2$

abstract: In the quasi-1D heavy-fermion system YbNi$_4$(P$_{1-x}$As$_x$)$_2$ the presence of a ferromagnetic (FM) quantum critical point (QCP) at $x_c$ $\approx 0.1$ with unconventional quantum critical exponents in the thermodynamic properties has been recently reported. Here, we present muon-spin relaxation ($\mu$SR) experiments on polycrystals of this series to study the magnetic order and the low energy 4$f$-electronic spin dynamics across the FM QCP. The zero field $\mu$SR measurements on pure YbNi$_4$(P$_{2}$ proved static long range magnetic order and suggested a strongly reduced ordered Yb moment of about 0.04$\mu_B$. With increasing As substitution the ordered moment is reduced by half at $x = 0.04$ and to less than 0.005 $\mu_B$ at $x=0.08$. The dynamic behavior in the $\mu$SR response show that magnetism remains homogeneous upon As substitution, without evidence for disorder effect. In the paramagnetic state across the FM QCP the dynamic muon-spin relaxation rate follows 1/$T_{1}T\propto T^{-n}$ with $1.01 \pm 0.04 \leq n \leq 1.13 \pm 0.06$. The critical fluctuations are very slow and are even becoming slower when approaching the QCP.


title: A convex penalty for switching control of partial differential equations

abstract: A convex penalty for promoting switching controls for partial differential equations is introduced; such controls consist of an arbitrary number of components of which at most one should be simultaneously active. Using a Moreau-Yosida approximation, a family of approximating problems is obtained that is amenable to solution by a semismooth Newton method. The efficiency of this approach and the structure of the obtained controls are demonstrated by numerical examples.


title: Out-of-plane easy-axis in thin films of diluted magnetic semiconductor Ba1-xKx(Zn1-yMny)2As2

abstract: Single-phased, single-oriented thin films of Mn-doped ZnAs-based diluted magnetic semiconductor (DMS) Ba1-xKx(Zn1-yMny)2As2 (x = 0.03, 0.08; y = 0.15) have been deposited on Si, SrTiO3, LaAlO3, (La,Sr)(Al,Ta)O3, and MgAl2O4 substrates, respectively. Utilizing a combined synthesis and characterization system excluding the air and further optimizing the deposition parameters, high-quality thin films could be obtained and be measured showing that they can keep inactive-in-air up to more than 90 hours characterized by electrical transport measurements. In comparison with films of x = 0.03 which possess relatively higher resistivity, weaker magnetic performances, and larger energy gap, thin films of x = 0.08 show better electrical and magnetic performances. Strong magnetic anisotropy was found in films of x = 0.08 grown on (La,Sr)(Al,Ta)O3 substrate with their magnetic polarization aligned almost solely on the film growth direction.


title: Use Generalized Representations, But Do Not Forget Surface Features

abstract: Only a year ago, all state-of-the-art coreference resolvers were using an extensive amount of surface features. Recently, there was a paradigm shift towards using word embeddings and deep neural networks, where the use of surface features is very limited. In this paper, we show that a simple SVM model with surface features outperforms more complex neural models for detecting anaphoric mentions. Our analysis suggests that using generalized representations and surface features have different strength that should be both taken into account for improving coreference resolution.


title: Toward high-performance online HCCR: a CNN approach with DropDistortion, path signature and spatial stochastic max-pooling

abstract: This paper presents an investigation of several techniques that increase the accuracy of online handwritten Chinese character recognition (HCCR). We propose a new training strategy named DropDistortion to train a deep convolutional neural network (DCNN) with distorted samples. DropDistortion gradually lowers the degree of character distortion during training, which allows the DCNN to better generalize. Path signature is used to extract effective features for online characters. Further improvement is achieved by employing spatial stochastic max-pooling as a method of feature map distortion and model averaging. Experiments were carried out on three publicly available datasets, namely CASIA-OLHWDB 1.0, CASIA-OLHWDB 1.1, and the ICDAR2013 online HCCR competition dataset. The proposed techniques yield state-of-the-art recognition accuracies of 97.67%, 97.30%, and 97.99%, respectively.


title: Counterexamples to containment problems for fat points schemes in the projective plane via multiplier ideals

abstract: In this note we address the relation between symbolic and ordinary powers of the ideal of a reduced set or points in projective space: the so-called containment problem. In particular, we obtain sharp lower bounds on the Waldschmidt constants of ideals of points in the plane not satisfying $I^{(2r-1)} \subseteq I^r$.


title: High Throughput Probabilistic Shaping with Product Distribution Matching

abstract: Product distribution matching (PDM) is proposed to generate target distributions over large alphabets by combining the output of several parallel distribution matchers (DMs) with smaller output alphabets. The parallel architecture of PDM enables low-complexity and high-throughput implementation. PDM is used as a shaping device for probabilistic amplitude shaping (PAS). For 64-ASK and a spectral efficiency of 4.5 bits per channel use (bpcu), PDM is as power efficient as a single full-fledged DM. It is shown how PDM enables PAS for parallel channels present in multi-carrier systems like digital subscriber line (DSL) and orthogonal frequency-division multiplexing (OFDM). The key feature is that PDM shares the DMs for lower bit-levels among different sub-carriers, which improves the power efficiency significantly. A representative parallel channel example shows that PAS with PDM is 0.93 dB more power efficient than conventional uniform signaling and PDM is 0.35 dB more power efficient than individual per channel DMs.


title: Quantum simulation of a Fermi-Hubbard model using a semiconductor quantum dot array

abstract: Interacting fermions on a lattice can develop strong quantum correlations, which lie at the heart of the classical intractability of many exotic phases of matter. Seminal efforts are underway in the control of artificial quantum systems, that can be made to emulate the underlying Fermi-Hubbard models. Electrostatically confined conduction band electrons define interacting quantum coherent spin and charge degrees of freedom that allow all-electrical pure-state initialisation and readily adhere to an engineerable Fermi-Hubbard Hamiltonian. Until now, however, the substantial electrostatic disorder inherent to solid state has made attempts at emulating Fermi-Hubbard physics on solid-state platforms few and far between. Here, we show that for gate-defined quantum dots, this disorder can be suppressed in a controlled manner. Novel insights and a newly developed semi-automated and scalable toolbox allow us to homogeneously and independently dial in the electron filling and nearest-neighbour tunnel coupling. Bringing these ideas and tools to fruition, we realize the first detailed characterization of the collective Coulomb blockade transition, which is the finite-size analogue of the interaction-driven Mott metal-to-insulator transition. As automation and device fabrication of semiconductor quantum dots continue to improve, the ideas presented here show how quantum dots can be used to investigate the physics of ever more complex many-body states.