title: Multifraction reduction IV: Padding and Artin-Tits groups of sufficiently large type

abstract: We investigate the padded version of reduction, an extension of multifraction reduction as defined in arXiv:1606.08991, and connect it both with ordinary reduction and with the so-called Property $\mathrm{H}$. As an application, we show that all Artin-Tits groups of sufficiently large type satisfy some weakening Conjecture $\mathrm{A^{padded}}$ of Conjecture $\mathrm{A}$, thus showing that the reduction approach is relevant for these groups.


title: Planar photonic crystals for express analysis of liquids

abstract: The metamaterial based on two planar photonic crystals was used on experimental express analysis of liquids. The metamaterial operates at a frequency of about 9.5 GHz, and has a small size. It was shown experimentally that when the liquid in container was placed in the resonance region at the interface of the two photonic crystals the parameters of resonance peak of transmission coefficient were changed. It was shown experimentally that different liquids have a different character of depending of the inverse Q-factor and the resonance frequency of the resonance peak on the distance from the interface of the photonic crystals to the container with liquid, and this dependence leads to one-to-one identification of such liquid. Thus, the ability of express analysis of liquids in a container by using a metamaterial based on two planar photonic crystals is demonstrated experimentally.


title: Steady state availability general equations of decision and sequential processes in Continuous Time Markov Chain models

abstract: Continuous Time Markov Chain (CMTC) is widely used to describe and analyze systems in several knowledge areas. Steady state availability is one important analysis that can be made through Markov chain formalism that allows researchers generate equations for several purposes, such as channel capacity estimation in wireless networks as well as system performance estimations. The problem with this kind of analysis is the complex process to generating these equations. In this letter, we have developed general equations for decision and sequential processes of CMTC Models, aiming to help researchers to develop steady state availability equations. We also have developed the general equation here termed as Closed Decision Process.


title: On the Binary Lossless Many-Help-One Problem with Independently Degraded Helpers

abstract: Although the rate region for the lossless many-help-one problem with independently degraded helpers is already "solved", its solution is given in terms of a convex closure over a set of auxiliary random variables. Thus, for any such a problem in particular, an optimization over the set of auxiliary random variables is required to truly solve the rate region. Providing the solution is surprisingly difficult even for an example as basic as binary sources. In this work, we derive a simple and tight inner bound on the rate region's lower boundary for the lossless many-help-one problem with independently degraded helpers when specialized to sources that are binary, uniformly distributed, and interrelated through symmetric channels. This scenario finds important applications in emerging cooperative communication schemes in which the direct-link transmission is assisted via multiple lossy relaying links. Numerical results indicate that the derived inner bound proves increasingly tight as the helpers become more degraded.


title: Probing the possibility of hotspots on the central neutron star in HESS J1731-347

abstract: The X-ray spectra of the neutron stars located in the centers of supernova remnants Cas A and HESS J1731-347 are well fit with carbon atmosphere models. These fits yield plausible neutron star sizes for the known or estimated distances to these supernova remnants. The evidence in favor of the presence of a pure carbon envelope at the neutron star surface is rather indirect and is based on the assumption that the emission is generated uniformly by the entire stellar surface. Although this assumption is supported by the absence of pulsations, the observational upper limit on the pulsed fraction is not very stringent. In an attempt to quantify this evidence, we investigate the possibility that the observed spectrum of the neutron star in HESS J1731-347 is a combination of the spectra produced in a hydrogen atmosphere of the hotspots and of the cooler remaining part of the neutron star surface. The lack of pulsations in this case has to be explained either by a sufficiently small angle between the neutron star spin axis and the line of sight, or by a sufficiently small angular distance between the hotspots and the neutron star rotation poles. As the observed flux from a non-uniformly emitting neutron star depends on the angular distribution of the radiation emerging from the atmosphere, we have computed two new grids of pure carbon and pure hydrogen atmosphere model spectra accounting for Compton scattering. Using new hydrogen models, we have evaluated the probability of a geometry that leads to a pulsed fraction below the observed upper limit to be about 8.2 %. Such a geometry thus seems to be rather improbable but cannot be excluded at this stage.


title: On the invariant Cantor sets of period doubling type of infinitely renormalizable area-preserving maps

abstract: In this paper we show that the invariant Cantor set of period doubling type of any infinitely renormalizable area-preserving map in the universality class of the Eckmann-Koch-Wittwer renormalization fixed point is always contained in a Lipschitz curve but never contained in a smooth curve. This extends previous results by de Carvalho, Lyubich and Martens about strongly dissipative maps of the plane close to unimodal maps to the area-preserving setting. The method used for constructing the Lipschitz curve is very similar to the method used in the dissipative case but proving the nonexistence of smooth curves requires new techniques.


title: Coarse graining a non-Markovian collisional model

abstract: The dynamics of systems subjected to noise is called Markovian in the absence of memory effects, i.e. when its immediate future only depends on its present. Time correlations in the noise source may generate non-Markovian effects that, sometimes, can be erased by appropriately coarse graining the time evolution of the system. In general, the coarse graining time $t_\text{CG}$ is taken to be much larger than the correlation time $\tau$ but no direct relation between them is established. Here we analytically obtain a relation between $t_\text{CG}$ and $\tau$ for the dynamics of a qubit subjected to a time correlated environment. Our results can be applied in principle to any distribution of the environmental correlations and can be tested through a collisional model where the qubit sequentially interacts with correlated qutrits.


title: Neurostream: Scalable and Energy Efficient Deep Learning with Smart Memory Cubes

abstract: High-performance computing systems are moving towards 2.5D and 3D memory hierarchies, based on High Bandwidth Memory (HBM) and Hybrid Memory Cube (HMC) to mitigate the main memory bottlenecks. This trend is also creating new opportunities to revisit near-memory computation. In this paper, we propose a flexible processor-in-memory (PIM) solution for scalable and energy-efficient execution of deep convolutional networks (ConvNets), one of the fastest-growing workloads for servers and high-end embedded systems. Our codesign approach consists of a network of Smart Memory Cubes (modular extensions to the standard HMC) each augmented with a many-core PIM platform called NeuroCluster. NeuroClusters have a modular design based on NeuroStream coprocessors (for Convolution-intensive computations) and general-purpose RISCV cores. In addition, a DRAM-friendly tiling mechanism and a scalable computation paradigm are presented to efficiently harness this computational capability with a very low programming effort. NeuroCluster occupies only 8% of the total logic-base (LoB) die area in a standard HMC and achieves an average performance of 240 GFLOPS for complete execution of full-featured state-of-the-art (SoA) ConvNets within a power budget of 2.5W. Overall 11 W is consumed in a single SMC device, with 22.5 GFLOPS/W energy-efficiency which is 3.5X better than the best GPU implementations in similar technologies. The minor increase in system-level power and the negligible area increase make our PIM system a cost-effective and energy efficient solution, easily scalable to 955 GFLOPS with a small network of just four SMCs.


title: Comparative study on supervised learning methods for identifying phytoplankton species

abstract: Phytoplankton plays an important role in marine ecosystem. It is defined as a biological factor to assess marine quality. The identification of phytoplankton species has a high potential for monitoring environmental, climate changes and for evaluating water quality. However, phytoplankton species identification is not an easy task owing to their variability and ambiguity due to thousands of micro and pico-plankton species. Therefore, the aim of this paper is to build a framework for identifying phytoplankton species and to perform a comparison on different features types and classifiers. We propose a new features type extracted from raw signals of phytoplankton species. We then analyze the performance of various classifiers on the proposed features type as well as two other features types for finding the robust one. Through experiments, it is found that Random Forest using the proposed features gives the best classification results with average accuracy up to 98.24%.


title: Spatially-resolved measurements of micro-deformations in granular materials using DWS

abstract: This article is a tutorial on the practical implementation of a method of measurement of minute deformations based on multiple scattering. This technic has been recently developed and has proven to give new insights on the spatial repartition of strain in a granular material. We provide here the basics to understand the method by giving a synthetic review on Diffusing Wave Spectroscopy and multiple scattering in granular materials. We detail a simple experiment using standard lab equipment to pedagogically demonstrate the implementation of the method. Finally we give a few examples of measurements that have been obtained in other works to discuss the potential of the method.


title: Quantum mean field asymptotics and multiscale analysis

abstract: We study, via multiscale analysis, some defect of compactness phenomena which occur in bosonic and fermionic quantum mean-field problems. The approach relies on a combination of mean-field asymptotics and second microlocalized semiclassical measures. The phase space geometric description is illustrated by various examples.


title: Scheming in the SMEFT... and a reparameterization invariance!

abstract: We explain a reparameterization invariance in the Standard Model Effective Field Theory present when considering $\bar{\psi} \psi \rightarrow \bar{\psi} \psi$ scatterings (with $\psi$ a fermion) and how this leads to unconstrained combinations of Wilson coefficients in global data analyses restricted to these measurements. We develop a $\{\hat{m}_W, \hat{m}_Z,\hat{G}_F\}$ input parameter scheme and compare results to the case when an input parameter set $\{\hat{\alpha}, \hat{m}_Z,\hat{G}_F\}$ is used to constrain this effective theory from the global data set, confirming the input parameter independence of the unconstrained combinations of Wilson coefficients, and supporting the reparameterization invariance explanation. We discuss some conceptual issues related to these degeneracies that are relevant for LHC data reporting and analysis.


title: The Joint Diffusion of a Digital Platform and its Complementary Goods: The Effects of Product Ratings and Observational Learning

abstract: The authors study the interdependent diffusion of an open source software (OSS) platform and its software complements. They quantify the role of OSS governance, quality signals such as product ratings, observational learning, and user actions upon adoption. To do so they extend the Bass Diffusion Model and apply it to a unique data set of 6 years of daily downloads of the Firefox browser and 52 of its add-ons. The study then re-casts the resulting differential equations into non-linear, discrete-time, state space forms; and estimate them using an MCMC approach to the Extended Kalman Filtern (EKF-MCMC). Unlike continuous-time filters, the EKF-MCMC approach avoids numerical integration, and so is more computational efficient, given the length of our time-series, high dimension of our state space and need to model heterogeneity. Results show, for example, that observational learning and add-on ratings increase the demand for Firefox add-ons; add-ons can increase the market potential of the Firefox platform; a slow add-on review process can diminish platform success; and OSS platforms (i.e. Chrome and Firefox) compete rather than complement each other.


title: Tackling Corruption With Agents & ICT: A Vision

abstract: Corruption is universally considered as an undesirable characteristic of public services. But despite attempts to simplify and automate such services, there is very little prior work to detect, handle or prevent corruption in computation literature. This is particularly surprising given the significant advances made in detecting fraud, a relevant but different form of public impropriety afflicting businesses. In this paper, we paint a vision of how information and communications technology (ICT), and specifically agent-based methods, can help tackle corruption in public services and identify challenges to achieve the vision.


title: A Survey on Data Processing Methods and Cloud Computation

abstract: As new technologies move to the fore, our understanding of the world may seem to have shrunk in comparison, for despite new developments in research, much of it is reduced or rather, abstracted for marketability. Thus, the purpose of this work is to provide a brief study of current techniques used in data analysis that will yield some clarity and encourage new research. Several applications of which are discussed in relation to the high data volume fields e.g. health care and economics. Particular attention will be given to recent developments in health care.


title: Ujian Online Mahasiswa Ilmu Komputer Berbasis Smartphone

abstract: Information technology influence higher education in various aspects, including education sector. This article discusses how smartphones facilitate online examination in computer science and information systems students. The research objective to be achieved by the researchers through the research, are as follows: 1) Utilizing smartphone as a media test online exam, 2) How to make use of social technologies in online test, and 3) Identify the features or facilities that could be used for the implementation of an online exam. Observations was conducted with 87 early year students as respondents. Author develop the online questions by using google forms, and facebook to disseminate online examination questions. Research findings show that Android are dominantly gadgets used by students for their online examination. Smartphone based online exam help students concentration in online exam. Social information technology like facebook and google forms have rich features in supporting online examination for computer science students. The use of smartphones, google forms, and facebook can create an atmosphere of exams modern, efficient, and environmentally friendly.


title: A Participatory Sensing Framework for Environment Pollution Monitoring and Management

abstract: Effective monitoring and management of environment pollution is key to the development of modern metropolitan cities. To sustain and to cope with the exponential growth of the cities with high industrialization, expert decision making is very essential in this process. A good governance system must be supported by an actively participating population. In participatory sensing, individuals and groups engages in the data collection actively and the helps the city governance to make proper decisions. In this paper, we propose a participatory sensing based three-tier framework to fight environment pollution in urban areas of Bangladesh. The framework includes an android application named `My City, My Environment', a server for storage and computation and also a web server for the authority to monitor and maintain environmental issues through expert decision making. We have already developed a prototype system and deployed it to a small scale and demonstrated the effectiveness of this framework.


title: An Upper Bound of the Minimal Dispersion via Delta Covers

abstract: For a point set of $n$ elements in the $d$-dimensional unit cube and a class of test sets we are interested in the largest volume of a test set which does not contain any point. For all natural numbers $n$, $d$ and under the assumption of a $delta$-cover with cardinality $\vert \Gamma_\delta \vert$ we prove that there is a point set, such that the largest volume of such a test set without any point is bounded by $\frac{\log \vert \Gamma_\delta \vert}{n} + \delta$. For axis-parallel boxes on the unit cube this leads to a volume of at most $\frac{4d}{n}\log(\frac{9n}{d})$ and on the torus to $\frac{4d}{n}\log (2n)$.


title: Feasibility Study of Social Media for Public Health Behaviour Changes

abstract: Social networking sites such as Twitter and Facebook have been shown to function as effective social sensors that can "feel the pulse" of a community. The aim of the current study is to test the feasibility of designing, implementing and evaluating a bespoke social media-enabled intervention that can be effective for sharing and changing knowledge, attitudes and behaviours in meaningful ways to promote public health, specifically with regards to prevention of skin cancer. We present the design and implementation details of the campaign followed by summary findings and analysis.


title: On profile reconstruction of Euler-Bernoulli beams by means of an energy based genetic algorithm

abstract: This paper studies the inverse problem related to the identification of the flexural stiffness of an Euler Bernoulli beam in order to reconstruct its profile starting from available response data. The proposed identification procedure makes use of energy measurements and is based on the application of a closed form solution for the static displacements of multi-stepped beams. This solution allows to easily calculate the energy related to beams modeled with arbitrary multi-step shapes subjected to a transversal roving force, and to compare it with the correspondent data obtained through direct measurements on real beams. The optimal solution which minimizes the difference between measured and calculated data is then sought by means of genetic algorithms. In the paper several different stepped beams are investigated showing that the proposed procedure allows in many cases to identify the exact beam profile. However it is shown that in some other cases different multi-step profiles may correspond to very similar static responses, and therefore to comparable minima in the optimization problem, thus complicating the profile identification problem.


title: Individual and Social Requirement Aspects of Sustainable eLearning Systems

abstract: Internationalization of the higher education has created the so-called borderless university, which provides better opportunities for learning and increases the human and social sustainability. eLearning systems are a special kind of software systems, developed to provide a platform for accessible teaching and learning, including also online access to learning materials and online support for learning and teaching. The aim of our current work is to extract, analyse, and combine the results from multiple studies in order to develop an RE framework for sustainable eLearning systems. We call a system sustainable, if it has a positive effect on and whose direct and indirect negative impacts resulting from its development, deployment, and usage are minimal. Sustainability has various dimensions. We classify sustainability requirements of eLearning system to five dimensions: individual (human), social, technical, environmental, and economic. In this paper, we focus on human and social aspects (i.e., individual needs the relationship of people within society), as the eLearning systems have a very strong impact on human dimension of sustainability, where their impact on environmental dimension is rather small. This also provides us a basis to identify the corresponding requirements for sustainable eLearning systems. These requirements include collaboration, learner-centred features, leadership development and the reuse of the learning materials. As a result, achieving individual and social requirements for eLearning systems would provide higher quality of leaning and teaching, as well as better opportunities for learning and increasing the human and social sustainability.


title: Second-order Cyclostationarity-based Detection of LTE SC-FDMA Signals for Cognitive Radio Systems

abstract: In this paper, we investigate the detection of long term evolution (LTE) single carrier-frequency division multiple access (SC-FDMA) signals, with application to cognitive radio systems. We explore the second-order cyclostationarity of the LTE SC-FDMA signals, and apply results obtained for the cyclic autocorrelation function to signal detection. The proposed detection algorithm provides a very good performance under various channel conditions, with a short observation time and at low signal-to-noise ratios, with reduced complexity. The validity of the proposed algorithm is verified using signals generated and acquired by laboratory instrumentation, and the experimental results show a good match with computer simulation results.


title: Exotic Lifshitz transitions in topological materials

abstract: Topological Lifshitz transitions involve many types of topological structures in momentum and frequency-momentum spaces: Fermi surfaces, Dirac lines, Dirac and Weyl points, etc. Each of these structures has their own topological invariant ($N_1$, $N_2$, $N_3$, $\tilde N_3$, etc.), which supports the stability of a given topological structure. The topology of the shape of Fermi surfaces and Dirac lines, as well as the interconnection of the objects of different dimensions, lead to numerous classes of Lifshitz transitions. The consequences of Lifshitz transitions are important in different areas of physics. The singularities emerging at the transition may enhance the transition temperature to superconductivity; the Lifshitz transition can be in the origin of the small masses of elementary particles in our Universe; the black hole horizon serves as the surface of Lifshitz transition between the vacua with type-I and type-II Weyl points; etc.


title: Radial positive definite functions and spectral theory of the Schr\"odinger operators with point interactions

abstract: We complete the classical Schoenberg representation theorem for radial positive definite functions. We apply this result to study spectral properties of self-adjoint realizations of two- and three-dimensional Schr\"odinger operators with point interactions on a finite set. In particular, we prove that any realization has purely absolutely continuous non-negative spectrum.


title: Almost Optimal Phaseless Compressed Sensing with Sublinear Decoding Time

abstract: In the problem of compressive phase retrieval, one wants to recover an approximately $k$-sparse signal $x \in \mathbb{C}^n$, given the magnitudes of the entries of $\Phi x$, where $\Phi \in \mathbb{C}^{m \times n}$. This problem has received a fair amount of attention, with sublinear time algorithms appearing in \cite{cai2014super,pedarsani2014phasecode,yin2015fast}. In this paper we further investigate the direction of sublinear decoding for real signals by giving a recovery scheme under the $\ell_2 / \ell_2$ guarantee, with almost optimal, $\Oh(k \log n )$, number of measurements. Our result outperforms all previous sublinear-time algorithms in the case of real signals. Moreover, we give a very simple deterministic scheme that recovers all $k$-sparse vectors in $\Oh(k^3)$ time, using $4k-1$ measurements.


title: Robust Distributed Control Protocols for Large Vehicular Platoons with Prescribed Transient and Steady State Performance

abstract: In this paper, we study the longitudinal control problem for a platoon of vehicles with unknown nonlinear dynamics under both the predecessor-following and the bidirectional control architectures. The proposed control protocols are fully distributed in the sense that each vehicle utilizes feedback from its relative position with respect to its preceding and following vehicles as well as its own velocity, which can all be easily obtained by onboard sensors. Moreover, no previous knowledge of model nonlinearities/disturbances is incorporated in the control design, enhancing in that way the robustness of the overall closed loop system against model imperfections. Additionally, certain designer-specified performance functions determine the transient and steady-state response, thus preventing connectivity breaks due to sensor limitations as well as inter-vehicular collisions. Finally, extensive simulation studies and a real-time experiment conducted with mobile robots clarify the proposed control protocols and verify their effectiveness.


title: Segmentation-free Vehicle License Plate Recognition using ConvNet-RNN

abstract: While vehicle license plate recognition (VLPR) is usually done with a sliding window approach, it can have limited performance on datasets with characters that are of variable width. This can be solved by hand-crafting algorithms to prescale the characters. While this approach can work fairly well, the recognizer is only aware of the pixels within each detector window, and fails to account for other contextual information that might be present in other parts of the image. A sliding window approach also requires training data in the form of presegmented characters, which can be more difficult to obtain. In this paper, we propose a unified ConvNet-RNN model to recognize real-world captured license plate photographs. By using a Convolutional Neural Network (ConvNet) to perform feature extraction and using a Recurrent Neural Network (RNN) for sequencing, we address the problem of sliding window approaches being unable to access the context of the entire image by feeding the entire image as input to the ConvNet. This has the added benefit of being able to perform end-to-end training of the entire model on labelled, full license plate images. Experimental results comparing the ConvNet-RNN architecture to a sliding window-based approach shows that the ConvNet-RNN architecture performs significantly better.


title: Plasma flows and magnetic field interplay during the formation of a pore

abstract: We studied the formation of a pore in AR NOAA 11462. We analysed data obtained with the IBIS at the DST on April 17, 2012, consisting of full Stokes measurements of the Fe I 617.3 nm lines. Furthermore, we analysed SDO/HMI observations in the continuum and vector magnetograms derived from the Fe I 617.3 nm line data taken from April 15 to 19, 2012. We estimated the magnetic field strength and vector components and the LOS and horizontal motions in the photospheric region hosting the pore formation. We discuss our results in light of other observational studies and recent advances of numerical simulations. The pore formation occurs in less than 1 hour in the leading region of the AR. The evolution of the flux patch in the leading part of the AR is faster (< 12 hour) than the evolution (20-30 hour) of the more diffuse and smaller scale flux patches in the trailing region. During the pore formation, the ratio between magnetic and dark area decreases from 5 to 2. We observe strong downflows at the forming pore boundary and diverging proper motions of plasma in the vicinity of the evolving feature that are directed towards the forming pore. The average values and trends of the various quantities estimated in the AR are in agreement with results of former observational studies of steady pores and with their modelled counterparts, as seen in recent numerical simulations of a rising-tube process. The agreement with the outcomes of the numerical studies holds for both the signatures of the flux emergence process (e.g. appearance of small-scale mixed polarity patterns and elongated granules) and the evolution of the region. The processes driving the formation of the pore are identified with the emergence of a magnetic flux concentration and the subsequent reorganization of the emerged flux, by the combined effect of velocity and magnetic field, in and around the evolving structure.


title: A high-precision method for general nonlinear initial-boundary value problems

abstract: A high precision, and space time fully decoupled, wavelet formulation numerical method is developed for a class of nonlinear initial boundary value problems. This method is established based on a proposed Coiflet based approximation scheme with an adjustable high order for a square integrable function over a bounded interval, which allows expansion coefficients to be explicitly expressed by function values at a series of single points. In applying the solution method, the nonlinear initial boundary value problems are first spatially discretized into a nonlinear initial value problem by combining the proposed wavelet approximation scheme and the conventional Galerkin method. A novel high order step by step time integrating approach is then developed for the resulting nonlinear initial value problem using the same function approximation scheme based on wavelet theory. The solution method is shown to have Nth-order accuracy, as long as the Coiflet with [0, 3N-1] compact support is adopted, where N can be any positive even number. In addition, the stability property of the method is analyzed, and the stable domain is determined. Numerical examples are considered to justify both the accuracy and efficiency of the method. Results show that the proposed solution method has better accuracy and efficiency than most other methods.


title: Dimension and basis construction for analysis-suitable $G^1$ two-patch parameterizations

abstract: We study the dimension and construct a basis for $C^1$-smooth isogeometric function spaces over two-patch domains. In this context, an isogeometric function is a function defined on a B-spline domain, whose graph surface also has a B-spline representation. We consider constructions along one interface between two patches. We restrict ourselves to a special case of planar B-spline patches of bidegree (p,p) with $p \geq 3$, so-called analysis-suitable $G^1$ geometries, which are derived from a specific geometric continuity condition. This class of two-patch geometries is exactly the one which allows, under certain additional assumptions, $C^1$ isogeometric spaces with optimal approximation properties (Collin et al., 2016). Such spaces are of interest when solving numerically fourth-order PDE problems, such as the biharmonic equation, using the isogeometric method. In particular, we analyze the dimension of the $C^1$-smooth isogeometric space and present an explicit representation for a basis of this space. Both the dimension of the space and the basis functions along the common interface depend on the considered two-patch parameterization. Such an explicit, geometry dependent basis construction is important for an efficient implementation of the isogeometric method. The stability of the constructed basis is numerically confirmed for an example configuration.


title: The magic of universal quantum computing with permutations

abstract: The role of permutation gates for universal quantum computing is investigated. The \lq magic' of computation is clarified in the permutation gates, their eigenstates, the Wootters discrete Wigner function and state-dependent contextuality (following many contributions on this subject). A first classification of main types of resulting magic states in low dimensions $d \le 9$ is performed.


title: On Modules over a G-set

abstract: Let R be a commutative ring with unity, M a module over R and let S be a G-set for a finite group G. We define a set MS to be the set of elements expressed as the formal finite sum of the form similar to the elements of group ring RG. The set MS is a module over the group ring RG under the addition and the scalar multiplication similar to the RG-module MG. With this notion, we not only generalize but also unify the theories of both of the group algebra and the group module, and we also establish some significant properties of MS. In particular, we describe a method for decomposing a given RG-module MS as a direct sum of RG-submodules. Furthermore, we prove the semisimplicity problem of MS with regard to the properties of M, S and G.


title: Contrast Agent Quantification by Using Spatial Information in Dynamic Contrast Enhanced MRI

abstract: The purpose of this study is to investigate a method, using simulations, to improve contrast agent quantification in Dynamic Contrast Enhanced MRI. Bayesian hierarchical models (BHMs) are applied to smaller images ($10\times10\times10$) such that spatial information can be incorporated. Then exploratory analysis is done for larger images ($64\times64\times64$) by using maximum a posteriori (MAP). For smaller images: the estimators of proposed BHMs show improvements in terms of the root mean squared error compared to the estimators in existing method for a noise level equivalent of a 12-channel head coil at 3T. Moreover, Leroux model outperforms Besag models. For larger images: MAP estimators also show improvements by assigning Leroux prior.


title: Algorithm for an arbitrary-order cumulant tensor calculation in a sliding window of data streams

abstract: High order cumulant tensors carry information about statistics of non-normally distributed multivariate data. In this work we present a new efficient algorithm for calculation of cumulants of arbitrary order in a sliding window for data streams. We showed that this algorithms enables speedups of cumulants updates compared to current algorithms. This algorithm can be used for processing on-line high-frequency multivariate data and can find applications in, e.g., on-line signal filtering and classification of data streams. To present an application of this algorithm, we propose an estimator of non-Gaussianity of a data stream based on the norms of high-order cumulant tensors. We show how to detect the transition from Gaussian distributed data to non-Gaussian ones in a~data stream. In order to achieve high implementation efficiency of operations on super-symmetric tensors, such as cumulant tensors, we employ the block structure to store and calculate only one hyper-pyramid part of such tensors.


title: L^2-Betti numbers of rigid C*-tensor categories and discrete quantum groups

abstract: We compute the $L^2$-Betti numbers of the free $C^*$-tensor categories, which are the representation categories of the universal unitary quantum groups $A_u(F)$. We show that the $L^2$-Betti numbers of the dual of a compact quantum group $G$ are equal to the $L^2$-Betti numbers of the representation category $Rep(G)$ and thus, in particular, invariant under monoidal equivalence. As an application, we obtain several new computations of $L^2$-Betti numbers for discrete quantum groups, including the quantum permutation groups and the free wreath product groups. Finally, we obtain upper bounds for the first $L^2$-Betti number in terms of a generating set of a $C^*$-tensor category.


title: Variational integrators for anelastic and pseudo-incompressible flows

abstract: The anelastic and pseudo-incompressible equations are two well-known soundproof approximations of compressible flows useful for both theoretical and numerical analysis in meteorology, atmospheric science, and ocean studies. In this paper, we derive and test structure-preserving numerical schemes for these two systems. The derivations are based on a discrete version of the Euler-Poincar\'e variational method. This approach relies on a finite dimensional approximation of the (Lie) group of diffeomorphisms that preserve weighted-volume forms. These weights describe the background stratification of the fluid and correspond to the weighed velocity fields for anelastic and pseudo-incompressible approximations. In particular, we identify to these discrete Lie group configurations the associated Lie algebras such that elements of the latter correspond to weighted velocity fields that satisfy the divergence-free conditions for both systems. Defining discrete Lagrangians in terms of these Lie algebras, the discrete equations follow by means of variational principles. Descending from variational principles, the schemes exhibit further a discrete version of Kelvin circulation theorem, are applicable to irregular meshes, and show excellent long term energy behavior. We illustrate the properties of the schemes by performing preliminary test cases.


title: Random walks on activity-driven networks with attractiveness

abstract: Virtually all real-world networks are dynamical entities. In social networks, the propensity of nodes to engage in social interactions (activity) and their chances to be selected by active nodes (attractiveness) are heterogeneously distributed. Here, we present a time-varying network model where each node and the dynamical formation of ties are characterised by these two features. We study how these properties affect random walk processes unfolding on the network when the time scales describing the process and the network evolution are comparable. We derive analytical solutions for the stationary state and the mean first passage time of the process and we study cases informed by empirical observations of social networks. Our work shows that previously disregarded properties of real social systems such heterogeneous distributions of activity and attractiveness as well as the correlations between them, substantially affect the dynamical process unfolding on the network.


title: Identification of Unmodeled Objects from Symbolic Descriptions

abstract: Successful human-robot cooperation hinges on each agent's ability to process and exchange information about the shared environment and the task at hand. Human communication is primarily based on symbolic abstractions of object properties, rather than precise quantitative measures. A comprehensive robotic framework thus requires an integrated communication module which is able to establish a link and convert between perceptual and abstract information. The ability to interpret composite symbolic descriptions enables an autonomous agent to a) operate in unstructured and cluttered environments, in tasks which involve unmodeled or never seen before objects; and b) exploit the aggregation of multiple symbolic properties as an instance of ensemble learning, to improve identification performance even when the individual predicates encode generic information or are imprecisely grounded. We propose a discriminative probabilistic model which interprets symbolic descriptions to identify the referent object contextually w.r.t.\ the structure of the environment and other objects. The model is trained using a collected dataset of identifications, and its performance is evaluated by quantitative measures and a live demo developed on the PR2 robot platform, which integrates elements of perception, object extraction, object identification and grasping.


title: A Stability Theorem for Matchings in Tripartite 3-Graphs

abstract: It follows from known results that every regular tripartite hypergraph of positive degree, with $n$ vertices in each class, has matching number at least $n/2$. This bound is best possible, and the extremal configuration is unique. Here we prove a stability version of this statement, establishing that every regular tripartite hypergraph with matching number at most $(1 + \varepsilon)n/2$ is close in structure to the extremal configuration, where "closeness" is measured by an explicit function of $\varepsilon$. We also answer a question of Aharoni, Kotlar and Ziv about matchings in hypergraphs with a more general degree condition.


title: Learning what to look in chest X-rays with a recurrent visual attention model

abstract: X-rays are commonly performed imaging tests that use small amounts of radiation to produce pictures of the organs, tissues, and bones of the body. X-rays of the chest are used to detect abnormalities or diseases of the airways, blood vessels, bones, heart, and lungs. In this work we present a stochastic attention-based model that is capable of learning what regions within a chest X-ray scan should be visually explored in order to conclude that the scan contains a specific radiological abnormality. The proposed model is a recurrent neural network (RNN) that learns to sequentially sample the entire X-ray and focus only on informative areas that are likely to contain the relevant information. We report on experiments carried out with more than $100,000$ X-rays containing enlarged hearts or medical devices. The model has been trained using reinforcement learning methods to learn task-specific policies.


title: Type Ia Supernovae keep memory of their progenitor metallicity

abstract: The ultimate understanding of Type Ia Supernovae diversity is one of the most urgent issues to exploit thermonuclear explosions of accreted White Dwarfs (WDs) as cosmological yardsticks. In particular, we investigate the impact of the progenitor system metallicity on the physical and chemical properties of the WD at the explosion epoch. We analyze the evolution of CO WDs through the accretion and simmering phases by using evolutionary models based on time-dependent convective mixing and an extended nuclear network including the most important electron captures, beta decays and URCA processes. We find that, due to URCA processes and electron-captures, the neutron excess and density at which the thermal runaway occurs are substantially larger than previously claimed. Moreover, we find that the higher the progenitor metallicity, the larger the neutron excess variation during the accretion and simmering phases and the higher the central density and the convective velocity at the explosion. Hence, the simmering phase acts as an amplifier of the differences existing in SNe Ia progenitors. When applying our results to the neutron excess estimated for the Tycho and Kepler young Supernova remnants, we derive that the metallicity of the progenitors should be in the range Z=0.030-0.032, close to the average metallicity value of the thin disk of the Milky Way. As the amount of ${^{56}}$Ni produced in the explosion depends on the neutron excess and central density at the thermal runaway, our results suggest that the light curve properties depend on the progenitor metallicity.


title: Evaluating navigational RDF queries over the Web

abstract: Semantic Web, and its underlying data format RDF, lend themselves naturally to navigational querying due to their graph-like structure. This is particularly evident when considering RDF data on the Web, where various separately published datasets reference each other and form a giant graph known as the Web of Linked Data. And while navigational queries over singular RDF datasets are supported through SPARQL property paths, not much is known about evaluating them over Linked Data. In this paper we propose a method for evaluating property path queries over the Web based on the classical AI search algorithm A*, show its optimality in the open world setting of the Web, and test it using real world queries which access a variety of RDF datasets available online.


title: Dealing with seasonal variability and inter-site dependence in regional flood frequency analysis

abstract: This paper considers the regional estimation of high quantiles of annual maximal river flow distributions $F$, an important problem from flood frequency analysis. Even though this particular problem has been addressed by many papers, less attention has been payed to incorporating seasonal variability and spatial dependence into the methods. We are going to discuss two regional estimators of high quantiles of local distributions $F$ that are able to deal with these important features, namely, a parametric approach based on so-called two-component extreme value distributions and a semi-parametric approach based on regional estimation of a tail index. The asymptotic normality of the estimators is derived for both procedures, which for instance enables us to account for estimation uncertainty without the need of parametric dependence models or bootstrap procedures. A comprehensive simulation study is conducted and our main findings are illustrated on river flow series from the Mulde basin in Germany, where people have suffered several times from severe floods over the last 100 years.


title: Group Invariant Bounded Linear Functions on Dedekind Complete Totally Ordered Riesz Spaces

abstract: In this paper we consider the set of all bounded subsets of totally ordered Dedekind complete Riesz spaces, equipped with the order topology. We show the existence of bounded linear functions on this set, that are invariant under group actions of the symmetric group of it.


title: Observations and Modelling of the Pre-Flare Period of the 29 March 2014 X1 Flare

abstract: On the 29 March 2014 NOAA active region (AR) 12017 produced an X1 flare which was simultaneously observed by an unprecedented number of observatories. We have investigated the pre-flare period of this flare from 14:00 UT until 19:00 UT using joint observations made by the Interface Region Imaging Spectrometer (IRIS) and the Hinode Extreme Ultraviolet Imaging Spectrometer (EIS). Spectral lines providing coverage of the solar atmosphere from chromosphere to the corona were analysed to investigate pre-flare activity within the AR. The results of the investigation have revealed evidence of strongly blue-shifted plasma flows, with velocities up to 200 km/s, being observed 40 minutes prior to flaring. These flows are located along the filament present in the active region and are both spatially discrete and transient. In order to constrain the possible explanations for this activity, we undertake non-potential magnetic field modelling of the active region. This modelling indicates the existence of a weakly twisted flux rope along the polarity inversion line in the region where a filament and the strong pre-flare flows are observed. We then discuss how these observations relate to the current models of flare triggering. We conclude that the most likely drivers of the observed activity are internal reconnection in the flux rope, early onset of the flare reconnection, or tether cutting reconnection along the filament.


title: Low-Complexity Puncturing and Shortening of Polar Codes

abstract: In this work, we address the low-complexity construction of shortened and punctured polar codes from a unified view. While several independent puncturing and shortening designs were attempted in the literature, our goal is a unique, low-complexity construction encompassing both techniques in order to achieve any code length and rate. We observe that our solution significantly reduces the construction complexity as compared to state-of-the-art solutions while providing a block error rate performance comparable to constructions that are highly optimized for specific lengths and rates. This makes the constructed polar codes highly suitable for practical application in future communication systems requiring a large set of polar codes with different lengths and rates.


title: Dendroidal spaces, $\Gamma$-spaces and the special Barratt-Priddy-Quillen theorem

abstract: We study the covariant model structure on dendroidal spaces and establish direct relations to the homotopy theory of algebras over a simplicial operad as well as to the homotopy theory of special $\Gamma$-spaces. As an important tool in the latter comparison, we present a sharpening of the classical Barratt-Priddy-Quillen theorem.


title: Comment on "Eshelby twist and correlation effects in diffraction from nanocrystals" [J. Appl. Phys. 117, 164304 (2015)]

abstract: The aim of this comment is to show that anisotropic effects and image fields should not be omitted as they are in the publication of A. Leonardi, S. Ryu, N. M. Pugno, and P. Scardi (LRPS) [J. Appl. Phys. 117, 164304 (2015)] on Pd <011> cylindrical nanowires containing an axial screw dislocation. Indeed, according to our previous study [Phys. Rev. B 88, 224101 (2013)], the axial displacement field along the nanowire exhibits both a radial and an azimuthal dependence with a twofold symmetry due the <011> orientation. As a consequence, the deviatoric strain term used by LRPS is not suitable to analyze the anisotropic strain fields that should be observed in their atomistic simulations. In this comment, we first illustrate the importance of anisotropy in <011> Pd nanowire by calculating the azimuthal dependence of the deviatoric strain term. Then the expression of the anisotropic elastic field is recalled in term of strain tensor components to show that image fields should be also considered. The other aspect of this comment concerns the supposedly loss of correlation along the nanorod caused by the twist. It is claimed for instance by LRPS that : "As an effect of the dislocation strain and twist, if the cylinder is long enough, upper/lower regions tend to lose correlation, as if the rod were made of different sub-domains.". This assertion appears to us misleading since for any twist the position of all the atoms in the nanorod is perfectly defined and therefore prevents any loss of correlation. To clarify this point, it should be specified that this apparent loss of correlation can not be ascribed to the twisted state of the nanowire but is rather due to a limitation of the X-ray powder diffraction. Considering for instance coherent X-ray diffraction, we show an example of high twist where the simulated diffractogram presents a clear signature of the perfect correlation.


title: Classical Casimir interaction of perfectly conducting sphere and plate

abstract: We study the Casimir interaction between perfectly conducting sphere and plate in the classical limit of high temperatures. By taking the small-distance expansion of the exact scattering formula, we compute the leading correction to the Casimir energy beyond the commonly employed proximity force approximation. We find that for a sphere of radius $R$ at distance $d$ from the plate the correction is of the form $\ln^2 (d/R)$, in agreement with indications from recent large-scale numerical computations. We develop a fast-converging numerical scheme for computing the Casimir interaction to high precision, based on bispherical partial waves, and we verify that the short-distance formula provides precise values of the Casimir energy also for fairly large distances.


title: Using Convolutional Neural Networks to Count Palm Trees in Satellite Images

abstract: In this paper we propose a supervised learning system for counting and localizing palm trees in high-resolution, panchromatic satellite imagery (40cm/pixel to 1.5m/pixel). A convolutional neural network classifier trained on a set of palm and no-palm images is applied across a satellite image scene in a sliding window fashion. The resultant confidence map is smoothed with a uniform filter. A non-maximal suppression is applied onto the smoothed confidence map to obtain peaks. Trained with a small dataset of 500 images of size 40x40 cropped from satellite images, the system manages to achieve a tree count accuracy of over 99%.


title: Nearest-Neighbor Based Non-Parametric Probabilistic Forecasting with Applications in Photovoltaic Systems

abstract: The present contribution offers a simple methodology for the obtainment of data-driven interval forecasting models by combining pairs of quantile regressions. Those regressions are created without the usage of the non-differentiable pinball-loss function, but through a k-nearest-neighbors based training set transformation and traditional regression approaches. By leaving the underlying training algorithms of the data mining techniques unchanged, the presented approach simplifies the creation of quantile regressions with more complex techniques (e.g. artificial neural networks). The quality of the presented methodology is tested on the usecase of photovoltaic power forecasting, for which quantile regressions using polynomial models as well as artificial neural networks and support vector regressions are created. From the resulting evaluation values it can be concluded that acceptable interval forecasting models are created.


title: Irradiation study of UV Silicon Photomultipliers for the Mu2e Calorimeter

abstract: The Mu2e calorimeter is composed of 1400 un-doped CsI crystals, coupled to large area UV extended Silicon Photomultipliers (SiPMs), arranged in two annular disks. This calorimeter has to provide precise information on energy, timing and position resolutions. It should also be fast enough to handle the high rate background and it must operate and survive in the high radiation environment. Simulation studies estimated that, in the highest irradiated regions, each photo-sensor will absorb a dose of 20 krad and will be exposed to a neutron fluency of 5.5x10^11 n_(1MeV)/cm^2 in three years of running, with a safety factor of 3 included. At the end of 2015, we have concluded an irradiation campaign at the Frascati Neutron Generator (FNG, Frascati, Italy) measuring the response of two different 16 array models from Hamamatsu, which differ for the protection windows and a SiPM from FBK. In 2016, we have carried out two additional irradiation campaigns with neutrons and photons at the Helmholtz-Zentrum Dresden-Rossendorf (HZDR, Dresden, Germany) and at the Calliope gamma irradiation facility at ENEA-Casaccia, respectively. A negligible increment of the leakage current and no gain change have been observed with the dose irradiation. On the other hand, at the end of the neutron irradiation, the gain does not show large changes whilst the leakage current increases by around a factor of 2000. In these conditions, the too high leakage current makes problematic to bias the SiPMs, thus requiring to cool them down to a running temperature of ~0 {\deg}C.


title: Large host-galaxy dispersion measure of fast radio bursts

abstract: Fast radio bursts (FRBs) have excessive dispersion measures (DMs) and an all-sky distribution, which point toward an extragalactic or even a cosmological origin. We develop a method to extract the mean host galaxy DM ($\left\langle{\rm DM_{HG,loc}}\right\rangle$) and the characterized luminosity ($L$) of FRBs using the observed DM-Flux data, based on the assumption of a narrow luminosity distribution. Applying Bayesian inference to the data of 21 FRBs, we derive a relatively large mean host DM, i.e. $\left\langle{\rm DM_{HG,loc}}\right\rangle \sim 270~\rm{pc~cm^{-3}}$ with a large dispersion. A relatively large ${\rm DM_{HG}}$ of FRBs is also supported by the millisecond scattering times of some FRBs and the relatively small redshift $z=0.19273$ of FRB 121102 (which gives ${\rm DM_{HG,loc}} \sim 210 ~\rm{pc~cm^{-3}}$). The large host galaxy DM may be contributed by the ISM or a near-source plasma in the host galaxy. If it is contributed by the ISM, the type of the FRB host galaxies would not be Milky Way (MW)-like, consistent with the detected host of FRB 121102. We also discuss the possibility of having a near-source supernova remnant (SNR), pulsar wind nebula (PWN) or HII region that gives a significant contribution to the observed ${\rm DM_{HG}}$.


title: A stochastic model for cell adhesion to the vascular wall

abstract: This paper deals with the adhesive interaction arising between a cell circulating in the blood flow and the vascular wall. The purpose of this work is to investigate the effect of the blood flow velocity on the cell dynamics, and in particular on its possible adhesion to the vascular wall. We formulate a model that takes into account the stochastic variability of the formation of bonds, and the influence of the cell velocity on the binding dynamics: the faster the cell goes, the more likely existing bonds are to disassemble. The model is based on a nonlinear birth-and-death-like dynamics, in the spirit of Joffe and Metivier (1986); Ethier and Kurtz (2009). We prove that, under different scaling regimes, the cell velocity follows either an ordinary differential equation or a stochastic differential equation, that we both analyse. We obtain both the identification of a shear-velocity threshold associated with the transition from cell sliding and its firm adhesion, and the expression of the cell mean stopping time as a function of its adhesive dynamics.


title: Non null controllability of the Grushin equation in 2D

abstract: We are interested in the exact null controllability of the equation $\partial_t f - \partial_x^2 f - x^2 \partial_y^2f = \mathbf 1_\omega u$, with control $u$ supported on $\omega$. We show that, when $\omega$ does not intersect a horizontal band, the considered equation is never null-controllable. The main idea is to interpret the associated observability inequality as an $L^2$ estimate on entire functions, which Runge's theorem disproves. To that end, we study in particular the first eigenvalue of the operator $-\partial_x^2 + (nx)^2$ with Dirichlet conditions on $(-1,1)$ and we show a quite precise estimation it satisfies, even when $n$ is in some complex domain.


title: Size Effects of Ferroelectric and Magnetoelectric Properties of Semi-ellipsoidal Bismuth Ferrite Nanoparticles

abstract: Bismuth ferrite (BiFeO3) is one of the most promising multiferroics with a sufficiently high ferroelectric (FE) and antiferromagnetic transition temperatures, and magnetoelectric (ME) coupling coefficient at room temperature, and thus it is highly sensitive to the impact of cross-influence of applied electric and magnetic fields. According to the urgent demands of nanotechnology miniaturization for ultra-high density data storage in advanced nonvolatile memory cells, it is very important to reduce the sizes of multiferroic nanoparticles in the self-assembled arrays without serious deterioration of their properties. We study size effects of the phase diagrams, FE and ME properties of semi-ellipsoidal BiFeO3 nanoparticles clamped to a rigid conductive substrate. The spatial distribution of the spontaneous polarization vector inside the nanoparticles, phase diagrams and paramagnetoelectric (PME) coefficient were calculated in the framework of modified Landau-Ginzburg-Devonshire (LGD) approach. Analytical expressions were derived for the dependences of the FE transition temperature, average polarization, linear dielectric susceptibility and PME coefficient on the particle sizes for a general case of a semi-ellipsoidal nanoparticles with three different semi-axes a, b and height c. The analyses of the obtained results leads to the conclusion that the size effect of the phase diagrams, spontaneous polarization and PME coefficient is rather sensitive to the particle sizes aspect ratio in the polarization direction, and less sensitive to the absolute values of the sizes per se.


title: An uncountable family of almost nilpotent varieties of polynomial growth

abstract: A non-nilpotent variety of algebras is almost nilpotent if any proper subvariety is nilpotent. Let the base field be of characteristic zero. It has been shown that for associative or Lie algebras only one such variety exists. Here we present infinite families of such varieties. More precisely we shall prove the existence of 1) a countable family of almost nilpotent varieties of at most linear growth and 2) an uncountable family of almost nilpotent varieties of at most quadratic growth.


title: Nanophotonic Lithium Niobate Electro-optic Modulators

abstract: Modern communication networks require high performance and scalable electro-optic modulators that convert electrical signals to optical signals at high speed. Existing lithium niobate modulators have excellent performance but are bulky and prohibitively expensive to scale up. Here we demonstrate scalable and high-performance nanophotonic electro-optic modulators made of single-crystalline lithium niobate microring resonators and micro-Mach-Zehnder interferometers. We show a half-wave electro-optic modulation efficiency of 1.8V$\cdot$cm and data rates up to 40 Gbps.


title: The Gibbons-Hawking ansatz over a wedge

abstract: We discuss the Ricci-flat `model metrics' on $\mathbb{C}^2$ with cone singularities along the conic $\{zw=1\}$ constructed by Donaldson using the Gibbons-Hawking ansatz over wedges in $\mathbb{R}^3$. In particular we describe their asymptotic behavior at infinity and compute their energies.


title: Polar and magnetic order in GaV4Se8

abstract: In the present work, we provide results from specific heat, magnetic susceptibility, dielectric constant, ac conductivity, and electrical polarization measurements performed on the lacunar spinel GaV4Se8. With decreasing temperature, we observe a transition from the paraelectric and paramagnetic cubic state into a polar, probably ferroelectric state at 42 K followed by magnetic ordering at 18 K. The polar transition is likely driven by the Jahn-Teller effect due to the degeneracy of the V4 cluster orbitals. The excess polarization arising in the magnetic phase indicates considerable magnetoelectric coupling. Overall, the behavior of GaV4Se8 in many respects is similar to that of the skyrmion host GaV4S8, exhibiting a complex interplay of orbital, spin, lattice, and polar degrees of freedom. However, its dielectric behavior at the polar transition markedly differs from that of the Jahn-Teller driven ferroelectric GeV4S8, which can be ascribed to the dissimilar electronic structure of the Ge compound.


title: The stochastic spectator

abstract: We study the stochastic distribution of spectator fields predicted in different slow-roll inflation backgrounds. Spectator fields have a negligible energy density during inflation but may play an important dynamical role later, even giving rise to primordial density perturbations within our observational horizon today. During de-Sitter expansion there is an equilibrium solution for the spectator field which is often used to estimate the stochastic distribution during slow-roll inflation. However slow roll only requires that the Hubble rate varies slowly compared to the Hubble time, while the time taken for the stochastic distribution to evolve to the de-Sitter equilibrium solution can be much longer than a Hubble time. We study both chaotic (monomial) and plateau inflaton potentials, with quadratic, quartic and axionic spectator fields. We give an adiabaticity condition for the spectator field distribution to relax to the de-Sitter equilibrium, and find that the de-Sitter approximation is never a reliable estimate for the typical distribution at the end of inflation for a quadratic spectator during monomial inflation. The existence of an adiabatic regime at early times can erase the dependence on initial conditions of the final distribution of field values. In these cases, spectator fields acquire sub-Planckian expectation values. Otherwise spectator fields may acquire much larger field displacements than suggested by the de-Sitter equilibrium solution. We quantify the information about initial conditions that can be obtained from the final field distribution. Our results may have important consequences for the viability of spectator models for the origin of structure, such as the simplest curvaton models.


title: A comment on "A test of general relativity using the LARES and LAGEOS satellites and a GRACE Earth gravity model", by I. Ciufolini et al

abstract: Recently, Ciufolini et al. reported on a test of the general relativistic gravitomagnetic Lense-Thirring effect by analyzing about 3.5 years of laser ranging data to the LAGEOS, LAGEOS II, LARES geodetic satellites orbiting the Earth. By using the GRACE-based GGM05S Earth's global gravity model and a linear combination of the nodes $\Omega$ of the three satellites designed to remove the impact of errors in the first two even zonal harmonic coefficients $J_2,~J_4$ of the multipolar expansion of the Newtonian part of the Earth's gravitational potential, they claimed an overall accuracy of $5\%$ for the Lense-Thirring caused node motion. We show that the scatter in the nominal values of the uncancelled even zonals of degree $\ell = 6,~8,~10$ from some of the most recent global gravity models does not yet allow to reach unambiguously and univocally the expected $\approx 1\%$ level, being large up to $\lesssim 15\%~(\ell=6),~6\%~(\ell=8),~36\%~(\ell=10)$ for some pairs of models.


title: Modules with Pure Resolutions

abstract: We show that the property of a standard graded algebra R being Cohen-Macaulay is characterized by the existence of a pure Cohen-Macaulay R-module corresponding to any degree sequence of length at most depth(R). We also give a relation in terms of graded Betti numbers, called the Herzog-Kuhl equations, for a pure R-module M to satisfy the condition dim(R) - depth(R) = dim(M) - depth(M). When R is Cohen-Macaulay, we prove an analogous result characterizing all graded Cohen-Macaulay R-modules.


title: Recent progress on conditional randomness

abstract: In this article, recent progress on ML-randomness with respect to conditional probabilities is reviewed. In particular a new result of conditional randomness with respect to mutually singular probabilities are shown, which is a generalization of Hanssen's result (2010) for Bernoulli processes.


title: Proving uniformity and independence by self-composition and coupling

abstract: Proof by coupling is a classical proof technique for establishing probabilistic properties of two probabilistic processes, like stochastic dominance and rapid mixing of Markov chains. More recently, couplings have been investigated as a useful abstraction for formal reasoning about relational properties of probabilistic programs, in particular for modeling reduction-based cryptographic proofs and for verifying differential privacy. In this paper, we demonstrate that probabilistic couplings can be used for verifying non-relational probabilistic properties. Specifically, we show that the program logic pRHL---whose proofs are formal versions of proofs by coupling---can be used for formalizing uniformity and probabilistic independence. We formally verify our main examples using the EasyCrypt proof assistant.


title: Correcting Two Deletions and Insertions in Racetrack Memory

abstract: Racetrack memory is a non-volatile memory engineered to provide both high density and low latency, that is subject to synchronization or shift errors. This paper describes a fast coding solution, in which delimiter bits assist in identifying the type of shift error, and easily implementable graph-based codes are used to correct the error, once identified. A code that is able to detect and correct double shift errors is described in detail.


title: The action of the \'etale fundamental group scheme on the connected component of the essentially finite one

abstract: We follow the pattern in a recent paper of Otabe [Ota15] to define an action of the \'etale fundamental group scheme $\pi^\text{et}(X)$ on the local component of the essentially finite fundamental group scheme $\pi^{\mathrm{EF}}(X)$ of Nori. We show that the associated representation is faithful when $X$ is a curve of genus $\geq 2$.


title: Characterization for stability in planar conductivities

abstract: We find a complete characterization for sets of isotropic conductivities with stable recovery in the $L^2$ norm when the data of the Calder\'on Inverse Conductivity Problem is obtained in the boundary of a disk and the conductivities are constant in a neighborhood of its boundary. To obtain this result, we present minimal a priori assumptions which turn to be sufficient for sets of conductivities to have stable recovery in a bounded and rough domain. The condition is presented in terms of the modulus of continuity of the coefficients involved and their ellipticity bound.


title: Security Analysis of Cache Replacement Policies

abstract: Modern computer architectures share physical resources between different programs in order to increase area-, energy-, and cost-efficiency. Unfortunately, sharing often gives rise to side channels that can be exploited for extracting or transmitting sensitive information. We currently lack techniques for systematic reasoning about this interplay between security and efficiency. In particular, there is no established way for quantifying security properties of shared caches. In this paper, we propose a novel model that enables us to characterize important security properties of caches. Our model encompasses two aspects: (1) The amount of information that can be absorbed by a cache, and (2) the amount of information that can effectively be extracted from the cache by an adversary. We use our model to compute both quantities for common cache replacement policies (FIFO, LRU, and PLRU) and to compare their isolation properties. We further show how our model for information extraction leads to an algorithm that can be used to improve the bounds delivered by the CacheAudit static analyzer.


title: Surgical Data Science: Enabling Next-Generation Surgery

abstract: This paper introduces Surgical Data Science as an emerging scientific discipline. Key perspectives are based on discussions during an intensive two-day international interactive workshop that brought together leading researchers working in the related field of computer and robot assisted interventions. Our consensus opinion is that increasing access to large amounts of complex data, at scale, throughout the patient care process, complemented by advances in data science and machine learning techniques, has set the stage for a new generation of analytics that will support decision-making and quality improvement in interventional medicine. In this article, we provide a consensus definition for Surgical Data Science, identify associated challenges and opportunities and provide a roadmap for advancing the field.


title: OMEGA -- OSIRIS Mapping of Emission-line Galaxies in A901/2: II. -- Environmental influence on integrated star formation properties and AGN activity

abstract: We present a study of the star formation and AGN activity for galaxies in the Abell 901/2 multi-cluster system at z~0.167 as part of the OMEGA survey. Using Tuneable Filter data obtained with the OSIRIS instrument at the GTC we produce spectra covering the Halpha and [N II] spectral lines for more than 400 galaxies. Using optical emission-line diagnostics, we identify a significant number of galaxies hosting AGN, which tend to have high masses and a broad range of morphologies. Moreover, within the environmental densities probed by our study, we find no environmental dependence on the fraction of galaxies hosting AGN. The analysis of the integrated Halpha emission shows that the specific star formation rates (SSFRs) of a majority of the cluster galaxies are below the field values for a given stellar mass. We interpret this result as evidence for a slow decrease in the star formation activity of star-forming galaxies as they fall into higher-density regions, contrary to some previous studies which suggested a rapid truncation of star formation. We find that most of the intermediate- and high-mass spiral galaxies go through a phase in which their star formation is suppressed but still retain significant star-formation activity. During this phase, these galaxies tend to retain their spiral morphology while their colours become redder. The presence of this type of galaxies in high density regions indicates that the physical mechanism responsible for suppressing star-formation affects mainly the gas component of the galaxies, suggesting that ram-pressure stripping or starvation are potentially responsible.


title: COTS software in science operations, is it worth it?

abstract: Often, perhaps not often enough, we choose Common Off the Shelf (COTS) software for integration in our systems. These range from repositories to databases and tools we use on a daily basis. It is very hard to assess the effectiveness of these choices. While none of us would consider a project specific word processing solution when LaTeX (or even Word) many will consider writing their own data management systems. We will look at some of the COTS we have used and attempt to explain how we came to the decision and if it was worth it.


title: Time-reversal symmetry breaking hidden order in Sr$_2$(Ir,Rh)O$_4$

abstract: Layered 5$d$ transition iridium oxides, Sr$_2$(Ir,Rh)O$_4$, are described as unconventional Mott insulators with strong spin-orbit coupling. The undoped compound, Sr$_2$IrO$_4$, is a nearly ideal two-dimensional pseudospin-$1/2$ Heisenberg antiferromagnet, similarly to the insulating parent compound of high-temperature superconducting copper oxides. Using polarized neutron diffraction, we here report a hidden magnetic order in pure and doped Sr$_2$(Ir,Rh)O$_4$, distinct from the usual antiferromagnetic pseudo-spin ordering. We find that time-reversal symmetry is broken while the lattice translation invariance is preserved in the hidden order phase. The onset temperature matches that of the odd-parity hidden order recently highlighted using optical second harmonic generation experiments. The novel magnetic order and broken symmetries can be explained by the loop-current model, previously predicted for the copper oxide superconductors.


title: On the Robustness of Coordinated Beamforming to Uncoordinated Interference and CSI Uncertainty

abstract: As network deployments become denser, interference arises as a dominant performance degradation factor. To confront with this trend, Long Term Evolution (LTE) incorporated features aiming at enabling cooperation among different base stations, a technique termed as Coordinated Multi Point (CoMP). Recent field trial results and theoretical studies of the performance of CoMP schemes revealed, however, that their gains are not as high as initially expected, despite their large coordination overhead. In this paper, we review recent advanced Coordinated Beamforming (CB) schemes, a special family of CoMP that reduces the coordination overhead through a joint choice of transmit and receive linear filters. We focus on assessing their resilience to uncoordinated interference and Channel State Information (CSI) imperfections, which both severely limit the performance gains of all CoMP schemes. We present a simple yet encompassing system model that aims at incorporating different parameters of interest in the relative interference power and CSI errors, and then utilize it for the performance evaluation of the state-of-the-art in CB schemes. It is shown that blindly applying CB in all system scenarios can indeed be counter-productive.


title: Dirty Pixels: Towards End-to-End Image Processing and Perception

abstract: Real-world imaging systems acquire measurements that are degraded by noise, optical aberrations, and other imperfections that make image processing for human viewing and higher-level perception tasks challenging. Conventional cameras address this problem by compartmentalizing imaging from high-level task processing. As such, conventional imaging involves processing the RAW sensor measurements in a sequential pipeline of steps, such as demosaicking, denoising, deblurring, tone-mapping and compression. This pipeline is optimized to obtain a visually pleasing image. High-level processing, on the other hand, involves steps such as feature extraction, classification, tracking, and fusion. While this siloed design approach allows for efficient development, it also dictates compartmentalized performance metrics, without knowledge of the higher-level task of the camera system. For example, today's demosaicking and denoising algorithms are designed using perceptual image quality metrics but not with domain-specific tasks such as object detection in mind. We propose an end-to-end differentiable architecture that jointly performs demosaicking, denoising, deblurring, tone-mapping, and classification. The architecture learns processing pipelines whose outputs differ from those of existing ISPs optimized for perceptual quality, preserving fine detail at the cost of increased noise and artifacts. We demonstrate on captured and simulated data that our model substantially improves perception in low light and other challenging conditions, which is imperative for real-world applications. Finally, we found that the proposed model also achieves state-of-the-art accuracy when optimized for image reconstruction in low-light conditions, validating the architecture itself as a potentially useful drop-in network for reconstruction and analysis tasks beyond the applications demonstrated in this work.


title: A Combinatoric Shortcut to Evaluate CHY-forms

abstract: In \cite{Chen:2016fgi} we proposed a differential operator for the evaluation of the multi-dimensional residues on isolated (zero-dimensional) poles.In this paper we discuss some new insight on evaluating the (generalized) Cachazo-He-Yuan (CHY) forms of the scattering amplitudes using this differential operator. We introduce a tableau representation for the coefficients appearing in the proposed differential operator. Combining the tableaux with the polynomial forms of the scattering equations, the evaluation of the generalized CHY form becomes a simple combinatoric problem. It is thus possible to obtain the coefficients arising in the differential operator in a straightforward way. We present the procedure for a complete solution of the $n$-gon amplitudes at one-loop level in a generalized CHY form. We also apply our method to fully evaluate the one-loop five-point amplitude in the maximally supersymmetric Yang-Mills theory; the final result is identical to the one obtained by Q-Cut.


title: Plane quartics over $\mathbb{Q}$ with complex multiplication

abstract: We give examples of smooth plane quartics over $\mathbb{Q}$ with complex multiplication over $\overline{\mathbb{Q}}$ by a maximal order with primitive CM type. We describe the required algorithms as we go, these involve the reduction of period matrices, the fast computation of Dixmier-Ohno invariants, and reconstruction from these invariants. Finally, we discuss some of the reduction properties of the curves that we obtain.


title: Charge and spin transport on graphene grain boundaries in a quantizing magnetic field

abstract: We study charge and spin transport along grain boundaries in single layer graphene in the presence of a quantizing magnetic field. Transport states in a grain boundary are produced by hybridization of Landau zero modes with interfacial states. In selected energy regimes quantum Hall edge states can be deflected either fully or partially into grain boundary states. The degree of edge state deflection is studied in the nonlocal conductance and in the shot noise. We also consider the possibility of grain boundaries as gate-switchable spin filters, a functionality enabled by counterpropagating transport channels laterally confined in the grain boundary.


title: Performance Limits of Solutions to Network Utility Maximization Problems

abstract: We study performance limits of solutions to utility maximization problems (e.g., max-min problems) in wireless networks as a function of the power budget $\bar{p}$ available to transmitters. Special focus is devoted to the utility and the transmit energy efficiency (i.e., utility over transmit power) of the solution. Briefly, we show tight bounds for the general class of network utility optimization problems that can be solved by computing conditional eigenvalues of standard interference mappings. The proposed bounds, which are based on the concept of asymptotic functions, are simple to compute, provide us with good estimates of the performance of networks for any value of $\bar{p}$ in many real-world applications, and enable us to determine points in which networks move from a noise limited regime to an interference limited regime. Furthermore, they also show that the utility and the transmit energy efficiency scales as $\Theta(1)$ and $\Theta(1/\bar{p})$, respectively, as $\bar{p}\to\infty$.


title: Binding energies: new values and impact on the efficiency of chemical desorption

abstract: Recent laboratory measurements have confirmed that chemical desorption (desorption of products due to exothermic surface reactions) can be an efficient process. The impact of including this process into gas-grain chemical models entirely depends on the formalism used and the associated parameters. Among these parameters, binding energies are probably the most uncertain ones for the moment. We propose a new model to compute binding energy of species to water ice surfaces. We have also compared the model results using either the new chemical desorption model proposed by Minissale et al. (2016) or the one of Garrod et al. (2007). The new binding energies have a strong impact on the formation of complex organic molecules. In addition, the new chemical desorption model from Minissale produces a much smaller desorption of these species and also of methanol. Combining the two effects, the abundances of CH3OH and COMs observed in cold cores cannot be reproduced by astrochemical models anymore.


title: In situ X-ray diffraction studies of graphite oxidation reaction indicating different exfoliation mechanism than ex site studies

abstract: We offer a brief overview of the solvent-based graphene production and summarize the current knowledge on the formation mechanism of graphite oxide that proceeds via graphite intercalation compounds. In addition, the results of our in situ X-ray diffraction investigation into this process are presented, discussed and contrasted to the findings by other authors, who employed the same oxidation protocol but examined the samples by ex situ X-ray diffraction. Our results suggest that, contrary to the numerous reports by other authors, no strong crystalline order, unique to graphite intercalation compounds as well as graphite oxide, develops if they remain in concentrated acid. Furthermore, it also appears that, depending on the concentration, sulfuric acid molecules significantly weaken graphene-graphene interactions in graphite. Consequently, concentrated sulfuric acid may be a good solvent for graphene dispersions, if only there is sufficient energy input to separate the layers of graphene.


title: Path integral molecular dynamics with surface hopping for thermal equilibrium sampling of nonadiabatic systems

abstract: In this work, a novel ring polymer representation for multi-level quantum system is proposed for thermal average calculations. The proposed presentation keeps the discreteness of the electronic states: besides position and momentum, each bead in the ring polymer is also characterized by a surface index indicating the electronic energy surface. A path integral molecular dynamics with surface hopping (PIMD-SH) dynamics is also developed to sample the equilibrium distribution of ring polymer configurational space. The PIMD-SH sampling method is validated theoretically and by numerical examples.


title: The irreversible thermodynamics of curved lipid membranes

abstract: The theory of irreversible thermodynamics for arbitrarily curved lipid membranes is presented here. The coupling between elastic bending and irreversible processes such as intra-membrane lipid flow, intra-membrane phase transitions, and protein binding and diffusion is studied. The forms of the entropy production for the irreversible processes are obtained, and the corresponding thermodynamic forces and fluxes are identified. Employing the linear irreversible thermodynamic framework, the governing equations of motion along with appropriate boundary conditions are provided.


title: Harmonic decomposition of three-particle azimuthal correlations at RHIC

abstract: We present measurements of three-particle correlations for various harmonics in Au+Au collisions at energies ranging from $\sqrt{s_{{\rm NN}}}=7.7$ to 200 GeV using the STAR detector. The quantity $\langle\cos(m\phi_1+n\phi_2-(m+n)\phi_3)\rangle$ is evaluated as a function of $\sqrt{s_{{\rm NN}}}$, collision centrality, transverse momentum, $p_T$, pseudo-rapidity difference, $\Delta\eta$, and harmonics ($m$ and $n$). These data provide detailed information on global event properties like the three-dimensional structure of the initial overlap region, the expansion dynamics of the matter produced in the collisions, and the transport properties of the medium. A strong dependence on $\Delta\eta$ is observed for most harmonic combinations consistent with breaking of longitudinal boost invariance. Data reveal changes with energy in the two-particle correlation functions relative to the second-harmonic event-plane and provide ways to constrain models of heavy-ion collisions over a wide range of collision energies.


title: Constraining the initial conditions and temperature dependent transport with three-particle correlations in Au+Au collisions

abstract: We present three-particle mixed-harmonic correlations $\la \cos (m\phi_a + n\phi_b - (m+n) \phi_c)\ra$ for harmonics $m,n=1-3$ for charged particles in $\sqrt{s_{NN}}=$200 GeV Au+Au collisions at RHIC. These measurements provide information on the three-dimensional structure of the initial collision zone and are important for constraining models of a subsequent low-viscosity quark-gluon plasma expansion phase. We investigate correlations between the first, second and third harmonics predicted as a consequence of fluctuations in the initial state. The dependence of the correlations on the pseudorapidity separation between particles show hints of a breaking of longitudinal invariance. We compare our results to a number of state-of-the art hydrodynamic calculations with different initial states and temperature dependent viscosities. These measurements provide important steps towards constraining the temperature dependent transport and the longitudinal structure of the initial state at RHIC.


title: Experimental demonstration of loop state-preparation-and-measurement tomography

abstract: We have performed an experiment demonstrating that loop state-preparation-and-measurement (SPAM) tomography [C. Jackson and S. J. van Enk, Phys. Rev. A 92, 042312 (2015)] is capable of detecting correlated errors between the preparation and the measurement of a quantum system. Specifically, we have prepared pure and mixed states of single qubits encoded in the polarization of heralded individual photons. By performing measurements using multiple state preparations and multiple measurement device settings we are able to detect if there are any correlated errors between them, and are also able to determine which state preparations are correlated with which measurements. This is accomplished by going around a 'loop' in parameter space, which allows us to check for self-consistency. No assumptions are made concerning either the state preparations or the measurements, other than that the dimensions of the states and the positive-operator-valued measures (POVM) describing the detector are known. In cases where no correlations are found we are able to perform quantum state tomography of the polarization qubits by using knowledge of the detector POVMs, or quantum detector tomography by using knowledge of the state preparations.


title: Dynamics of oscillators globally coupled via two mean fields

abstract: Many studies of synchronization properties of coupled oscillators, based on the classical Kuramoto approach, focus on ensembles coupled via a mean field. Here we introduce a setup of Kuramoto-type phase oscillators coupled via two mean fields. We derive stability properties of the incoherent state and find traveling wave solutions with different locking patterns; stability properties of these waves are found numerically. Mostly nontrivial states appear when the two fields compete, i.e. one tends to synchronize oscillators while the other one desynchronizes them. Here we identify normal branches which bifurcate from the incoherent state in a usual way, and anomalous branches, appearance of which cannot be described as a bifurcation. Furthermore, hybrid branches combining properties of both are described. In the situations where no stable traveling wave exists, modulated quasiperiodic in time dynamics is observed. Our results indicate that a competition between two coupling channels can lead to a complex system behavior, providing a potential generalized framework for understanding of complex phenomena in natural oscillatory systems.


title: Particles, Cutoffs and Inequivalent Representations. Fraser andWallace on Quantum Field Theory

abstract: We critically review the recent debate between Doreen Fraser and David Wallace on the interpretation of quantum field theory, with the aim of identifying where the core of the disagreement lies. We show that, despite appearances, their conflict does not concern the existence of particles or the occurrence of unitarily inequivalent representations. Instead, the dispute ultimately turns on the very definition of what a quantum field theory is. We further illustrate the fundamental differences between the two approaches by comparing them both to the Bohmian program in quantum field theory.


title: Maximum likelihood estimation of determinantal point processes

abstract: Determinantal point processes (DPPs) have wide-ranging applications in machine learning, where they are used to enforce the notion of diversity in subset selection problems. Many estimators have been proposed, but surprisingly the basic properties of the maximum likelihood estimator (MLE) have received little attention. The difficulty is that it is a non-concave maximization problem, and such functions are notoriously difficult to understand in high dimensions, despite their importance in modern machine learning. Here we study both the local and global geometry of the expected log-likelihood function. We prove several rates of convergence for the MLE and give a complete characterization of the case where these are parametric. We also exhibit a potential curse of dimensionality where the asymptotic variance of the MLE scales exponentially with the dimension of the problem. Moreover, we exhibit an exponential number of saddle points, and give evidence that these may be the only critical points.


title: Joint Optimization of Scheduling and Power Control in Wireless Networks: Multi-Dimensional Modeling and Decomposition

abstract: The energy efficiency of future networks is becoming a significant and urgent issue, calling for greener network designs. At the same time, rapid development of wireless networks shows a trend of increasing complexity in network structure and resource space, leading to that optimizing the energy efficiency of such networks requires a joint solution over multi-dimensional resource space. However, the coupled resource dimensions and growing problem scales bring great challenges in obtaining the optimal solutions. In this paper, we develop a multi-dimensional network model on the basis of tuple-links associated with transmission patterns (TPs) and formulate the optimization problem as a TP based scheduling problem which jointly solves transmission scheduling, routing, power control, radio and channel assignment. In order to tackle the complexity issues raised from coupled resource dimensions, we propose a novel algorithm that decomposes the coupling scheduling and power control by exploiting the delay column generation technique to recursively solve a master problem for scheduling and a sub-problem for power allocation. Further, we theoretically prove that the performance gap between the proposed algorithm and the optimum is upper bounded by that for the sub-problem solution, where the latter is derived by solving a relaxed version of the sub-problem. Numerical results demonstrate the effectiveness of the multi-dimensional framework and the benefit of the proposed joint optimization in improving network energy efficiency.


title: Adaptive Filtering to Enhance Noise Immunity of Impedance and Admittance Spectroscopy: Comparison with Fourier Transformation

abstract: The time-domain technique for impedance spectroscopy consists of computing the excitation voltage and current response Fourier images by fast or discrete Fourier transformation and calculating their relation. Here we propose an alternative method for excitation voltage and current response processing for deriving a system impedance spectrum based on a fast and flexible adaptive filtering method. We show the equivalence between the problem of adaptive filter learning and deriving the system impedance spectrum. To be specific, we express the impedance via the adaptive filter weight coefficients. The noise-canceling property of adaptive filtering is also justified. Using the RLC circuit as a model system, we experimentally show that adaptive filtering yields correct admittance spectra and elements ratings in the high-noise conditions when the Fourier-transform technique fails. Providing the additional sensitivity of impedance spectroscopy, adaptive filtering can be applied to otherwise impossible-to-interpret time-domain impedance data. The advantages of adaptive filtering are justified with practical living-cell impedance measurements.


title: On Spectral Coexistence of CP-OFDM and FB-MC Waveforms in 5G Networks

abstract: Future 5G networks will serve a variety of applications that will coexist on the same spectral band and geographical area, in an uncoordinated and asynchronous manner. It is widely accepted that using CP-OFDM, the waveform used by most current communication systems, will make it difficult to achieve this paradigm. Especially, CP-OFDM is not adapted for spectral coexistence because of its poor spectral localization. Therefore, it has been widely suggested to use filter bank based multi carrier (FB-MC) waveforms with enhanced spectral localization to replace CP-OFDM. Especially, FB-MC waveforms are expected to facilitate coexistence with legacy CP-OFDM based systems. However, this idea is based on the observation of the PSD of FB-MC waveforms only. In this paper, we demonstrate that this approach is flawed and show what metric should be used to rate interference between FB-MC and CP-OFDM systems. Finally, our results show that using FB-MC waveforms does not facilitate coexistence with CP-OFDM based systems to a high extent.


title: Unidirectional spin Hall magnetoresistance in topological insulator/ferromagnetic layer heterostructures

abstract: The large spin orbit coupling in topological insulators results in helical spin-textured Dirac surface states that are attractive for topological spintronics. These states generate an efficient spin-orbit torque on proximal magnetic moments at room temperature. However, memory or logic spin devices based upon such switching require a non-optimal three terminal geometry, with two terminals for the writing current and one for reading the state of the device. An alternative two terminal device geometry is now possible by exploiting the recent discovery of a unidirectional spin Hall magnetoresistance in heavy metal/ferromagnet bilayers and (at low temperature) in magnetically doped topological insulator heterostructures. We report the observation of unidirectional spin Hall magnetoresistance in a technologically relevant device geometry that combines a topological insulator with a conventional ferromagnetic metal. Our devices show a figure-of-merit (magnetoresistance per current density per total resistance) that is comparable to the highest reported values in all-metal Ta/Co bilayers.


title: Storage Allocation for Multi-Class Distributed Data Storage Systems

abstract: Distributed storage systems (DSSs) provide a scalable solution for reliably storing massive amounts of data coming from various sources. Heterogeneity of these data sources often means different data classes (types) exist in a DSS, each needing a different level of quality of service (QoS). As a result, efficient data storage and retrieval processes that satisfy various QoS requirements are needed. This paper studies storage allocation, meaning how data of different classes must be spread over the set of storage nodes of a DSS. More specifically, assuming a probabilistic access to the storage nodes, we aim at maximizing the weighted sum of the probability of successful data recovery of data classes, when for each class a minimum QoS (probability of successful recovery) is guaranteed. Solving this optimization problem for a general setup is intractable. Thus, we find the optimal storage allocation when the data of each class is spread minimally over the storage nodes, i.e. minimal spreading allocation (MSA). Using upper bounds on the performance of the optimal storage allocation, we show that the optimal MSA allocation approaches the optimal performance in many practical cases. Computer simulations are also presented to better illustrate the results.


title: Plausible Shading Decomposition For Layered Photo Retouching

abstract: Photographers routinely compose multiple manipulated photos of the same scene (layers) into a single image, which is better than any individual photo could be alone. Similarly, 3D artists set up rendering systems to produce layered images to contain only individual aspects of the light transport, which are composed into the final result in post-production. Regrettably, both approaches either take considerable time to capture, or remain limited to synthetic scenes. In this paper, we suggest a system to allow decomposing a single image into a plausible shading decomposition (PSD) that approximates effects such as shadow, diffuse illumination, albedo, and specular shading. This decomposition can then be manipulated in any off-the-shelf image manipulation software and recomposited back. We perform such a decomposition by learning a convolutional neural network trained using synthetic data. We demonstrate the effectiveness of our decomposition on synthetic (i.e., rendered) and real data (i.e., photographs), and use them for common photo manipulation, which are nearly impossible to perform otherwise from single images.