title: Object Detection with Mask-based Feature Encoding

abstract: Region-based Convolutional Neural Networks (R-CNNs) have achieved great success in the field of object detection. The existing R-CNNs usually divide a Region-of-Interest (ROI) into grids, and then localize objects by utilizing the spatial information reflected by the relative position of each grid in the ROI. In this paper, we propose a novel feature-encoding approach, where spatial information is represented through the spatial distributions of visual patterns. In particular, we design a Mask Weight Network (MWN) to learn a set of masks and then apply channel-wise masking operations to ROI feature map, followed by a global pooling and a cheap fully-connected layer. We integrate the newly designed feature encoder into the Faster R-CNN architecture. The resulting new Faster R-CNNs can preserve the object-detection accuracy of the standard Faster R-CNNs by using substantially fewer parameters. Compared to R-FCNs using state-of-art PS ROI pooling and deformable PS ROI pooling, the new Faster R-CNNs can produce higher object-detection accuracy with good run-time efficiency. We also show that a specifically designed and learned MWN can capture global contextual information and further improve the object-detection accuracy. Validation experiments are conducted on both PASCAL VOC and MS COCO datasets.


title: Dynamic monopolies for interval graphs with bounded thresholds

abstract: For a graph $G$ and an integer-valued threshold function $\tau$ on its vertex set, a dynamic monopoly is a set of vertices of $G$ such that iteratively adding to it vertices $u$ of $G$ that have at least $\tau(u)$ neighbors in it eventually yields the vertex set of $G$. We show that the problem of finding a dynamic monopoly of minimum order can be solved in polynomial time for interval graphs with bounded threshold functions, but is NP-hard for chordal graphs allowing unbounded threshold functions.


title: On the Needs for Rotations in Hypercubic Quantization Hashing

abstract: The aim of this paper is to endow the well-known family of hypercubic quantization hashing methods with theoretical guarantees. In hypercubic quantization, applying a suitable (random or learned) rotation after dimensionality reduction has been experimentally shown to improve the results accuracy in the nearest neighbors search problem. We prove in this paper that the use of these rotations is optimal under some mild assumptions: getting optimal binary sketches is equivalent to applying a rotation uniformizing the diagonal of the covariance matrix between data points. Moreover, for two closed points, the probability to have dissimilar binary sketches is upper bounded by a factor of the initial distance between the data points. Relaxing these assumptions, we obtain a general concentration result for random matrices. We also provide some experiments illustrating these theoretical points and compare a set of algorithms in both the batch and online settings.


title: Compression for Multiple Reconstructions

abstract: In this work we propose a method for optimizing the lossy compression for a network of diverse reconstruction systems. We focus on adapting a standard image compression method to a set of candidate displays, presenting the decompressed signals to viewers. Each display is modeled as a linear operator applied after decompression, and its probability to serve a network user. We formulate a complicated operational rate-distortion optimization trading-off the network's expected mean-squared reconstruction error and the compression bit-cost. Using the alternating direction method of multipliers (ADMM) we develop an iterative procedure where the network structure is separated from the compression method, enabling the reliance on standard compression techniques. We present experimental results showing our method to be the best approach for adjusting high bit-rate image compression (using the state-of-the-art HEVC standard) to a set of displays modeled as blur degradations.


title: Revisiting the Vector Space Model: Sparse Weighted Nearest-Neighbor Method for Extreme Multi-Label Classification

abstract: Machine learning has played an important role in information retrieval (IR) in recent times. In search engines, for example, query keywords are accepted and documents are returned in order of relevance to the given query; this can be cast as a multi-label ranking problem in machine learning. Generally, the number of candidate documents is extremely large (from several thousand to several million); thus, the classifier must handle many labels. This problem is referred to as extreme multi-label classification (XMLC). In this paper, we propose a novel approach to XMLC termed the Sparse Weighted Nearest-Neighbor Method. This technique can be derived as a fast implementation of state-of-the-art (SOTA) one-versus-rest linear classifiers for very sparse datasets. In addition, we show that the classifier can be written as a sparse generalization of a representer theorem with a linear kernel. Furthermore, our method can be viewed as the vector space model used in IR. Finally, we show that the Sparse Weighted Nearest-Neighbor Method can process data points in real time on XMLC datasets with equivalent performance to SOTA models, with a single thread and smaller storage footprint. In particular, our method exhibits superior performance to the SOTA models on a dataset with 3 million labels.


title: On the convergence of FK-Ising Percolation to SLE$(16/3, 16/3-6)$

abstract: We give a simplified and complete proof of the convergence of the chordal exploration process in critical FK-Ising percolation to chordal SLE$_\kappa( \kappa-6)$ with $\kappa=16/3$. Our proof follows the classical excursion-construction of SLE$_\kappa(\kappa-6)$ processes in the continuum and we are thus led to introduce suitable cut-off stopping times in order to analyse the behaviour of the driving function of the discrete system when Dobrushin boundary condition collapses to a single point. Our proof is very different from [KS15, KS16] as it only relies on the convergence to the chordal SLE$_{\kappa}$ process in Dobrushin boundary condition and does not require the introduction of a new observable. Still, it relies crucially on several ingredients: a) the powerful topological framework developed in [KS17] as well as its follow-up paper [CDCH$^+$14], b) the strong RSW Theorem from [CDCH16], c) the proof is inspired from the appendix A in [BH16]. One important emphasis of this paper is to carefully write down some properties which are often considered {\em folklore} in the literature but which are only justified so far by hand-waving arguments. The main examples of these are: 1) the convergence of natural discrete stopping times to their continuous analogues. (The usual hand-waving argument destroys the spatial Markov property). 2) the fact that the discrete spatial Markov property is preserved in the the scaling limit. (The enemy being that $\mathbb{E}[X_n |\, Y_n]$ does not necessarily converge to $\mathbb{E}[X|\, Y]$ when $(X_n,Y_n)\to (X,Y)$). We end the paper with a detailed sketch of the convergence to radial SLE$_\kappa( \kappa-6)$ when $\kappa=16/3$ as well as the derivation of Onsager's one-arm exponent $1/8$.


title: Lorentz-boost eigenmodes

abstract: Plane waves and cylindrical or spherical vortex modes are important sets of solutions of quantum and classical wave equations. These are eigenmodes of the energy-momentum and angular-momentum operators, i.e., generators of spacetime translations and spatial rotations, respectively. Here we describe another set of wave modes: eigenmodes of the "boost momentum" operator, i.e., a generator of Lorentz boosts (spatio-temporal rotations). Akin to the angular momentum, only one (say, z) component of the boost momentum can have a well-defined quantum number. The boost eigenmodes exhibit invariance with respect to the Lorentz transformations along the z-axis, leading to scale-invariant wave forms and step-like singularities moving with the speed of light. We describe basic properties of the Lorentz-boost eigenmodes and argue that these can serve as a convenient basis for problems involving causal propagation of signals.


title: Consequences of strong stability of minimal submanifolds

abstract: In this note we show that the recent dynamical stability result for small $C^1$-perturbations of strongly stable minimal submanifolds of C.-J. Tsai and M.-T. Wang directly extends to the enhanced Brakke flows of Ilmanen. We illustrate applications of this result, including a local uniqueness statement for strongly stable minimal submanifolds amongst stationary varifolds, and a mechanism to flow through some singularities of Lagrangian mean curvature flow which are proved to occur by Neves.


title: On long time behavior of periodic entropy solutions of a degenerate non-linear parabolic equation

abstract: We prove the asymptotic convergence of a space-periodic entropy solution of a one-dimensional degenerate parabolic equation to a traveling wave. It is also shown that on a segment containing the essential range of the limit profile the flux function is linear (with the slope equaled to the speed of the traveling wave) and the diffusion function is constant.


title: Temporal and volumetric denoising via quantile sparse image prior

abstract: This paper introduces an universal and structure-preserving regularization term, called quantile sparse image (QuaSI) prior. The prior is suitable for denoising images from various medical imaging modalities. We demonstrate its effectiveness on volumetric optical coherence tomography (OCT) and computed tomography (CT) data, which show different noise and image characteristics. OCT offers high-resolution scans of the human retina but is inherently impaired by speckle noise. CT on the other hand has a lower resolution and shows high-frequency noise. For the purpose of denoising, we propose a variational framework based on the QuaSI prior and a Huber data fidelity model that can handle 3-D and 3-D+t data. Efficient optimization is facilitated through the use of an alternating direction method of multipliers (ADMM) scheme and the linearization of the quantile filter. Experiments on multiple datasets emphasize the excellent performance of the proposed method.


title: A 1Mbps Real-time NLOS UV Scattering Communication System with Receiver Diversity over 1km

abstract: In the non-line of sight (NLOS) ultraviolet (UV) scattering communication, the received signals exhibit the characteristics of discrete photoelectrons due to the extremely large path loss. We design and demonstrate an NLOS UV scattering communication system in this work, where the receiver-side signal detection is designed based on a discrete-time Poisson channel model. In our system, a laser and multiple photomultiplier tubes are employed as the optical transmitter and detector, respectively. Furthermore, we design algorithms for pulse-counting, synchronization, channel estimation and $LLR$ computation for hardware realization in FPGA board. Simulation results are provided to evaluate the proposed system design and specify the system key parameters. We perform field tests for real-time communication with the transmission range over $1$km, where the system throughput reaches $1$Mbps.


title: Estimating Diffusion With Compound Poisson Jumps Based On Self-normalized Residuals

abstract: We consider parametric estimation of the continuous part of a class of ergodic diffusions with jumps based on high-frequency samples. Various papers previously proposed threshold based methods, which enable us to distinguish whether observed increments have jumps or not at each small-time interval, hence to estimate the unknown parameters separately. However, a data-adapted and quantitative choice of the threshold parameter is known to be a subtle and sensitive problem. In this paper, we present a simple alternative based on the Jarque-Bera normality test for the Euler residuals. Different from the threshold based method, the proposed method does not require any sensitive fine tuning, hence is of practical value. It is shown that under suitable conditions the proposed estimator is asymptotically equivalent to an estimator constructed by the unobserved fluctuation of the continuous part of the solution process, hence is asymptotically efficient. Some numerical experiments are conducted to observe finite-sample performance of the proposed method.


title: Metrical irrationality results related to values of the Riemann $\zeta$-function

abstract: We introduce a one-parameter family of series associated to the Riemann $\zeta$-function and prove that the values of the elements of this family at integers are linearly independent over the rationals for almost all values of the parameter, where almost all is with respect to any sufficiently nice measure. We also give similar results for the Euler--Mascheroni constant, for $\sum_{n=1}^\infty \frac{1}{n^n}$ and for $\sum_{n=1}^\infty \frac{1}{n! +1}$. Finally, specialising the criteria used, we give some new criteria for the irrationality of $\zeta(k)$, the Euler--Mascheroni constant and the latter two series.


title: Optimizing Bivariate Partial Information Decomposition

abstract: None of the BROJA information decomposition measures $\mbox{SI}, \mbox{CI}, \mbox{UIy}, \mbox{UIz}$ are convex or concave over the probability simplex. In this paper, we provide formulas for the sub-gradient and super-gradients of any of the information decomposition measures. Then we apply these results to obtain an optimum of some of these information decomposition measures when optimized over a constrained set of probability distributions.


title: Fast and rigorous arbitrary-precision computation of Gauss-Legendre quadrature nodes and weights

abstract: We describe a strategy for rigorous arbitrary-precision evaluation of Legendre polynomials on the unit interval and its application in the generation of Gauss-Legendre quadrature rules. Our focus is on making the evaluation practical for a wide range of realistic parameters, corresponding to the requirements of numerical integration to an accuracy of about 100 to 100 000 bits. Our algorithm combines the summation by rectangular splitting of several types of expansions in terms of hypergeometric series with a fixed-point implementation of Bonnet's three-term recurrence relation. We then compute rigorous enclosures of the Gauss-Legendre nodes and weights using the interval Newton method. We provide rigorous error bounds for all steps of the algorithm. The approach is validated by an implementation in the Arb library, which achieves order-of-magnitude speedups over previous code for computing Gauss-Legendre rules with simultaneous high degree and precision.


title: Spontaneous domain formation in disordered copolymers as a mechanism for chromosome structuring

abstract: Motivated by the problem of domain formation in chromosomes, we studied a co--polymer model where only a subset of the monomers feel attractive interactions. These monomers are displaced randomly from a regularly-spaced pattern, thus introducing some quenched disorder in the system. Previous work has shown that in the case of regularly-spaced interacting monomers this chain can fold into structures characterized by multiple distinct domains of consecutive segments. In each domain, attractive interactions are balanced by the entropy cost of forming loops. We show by advanced replica-exchange simulations that adding disorder in the position of the interacting monomers further stabilizes these domains. The model suggests that the partitioning of the chain into well-defined domains of consecutive monomers is a spontaneous property of heteropolymers. In the case of chromosomes, evolution could have acted on the spacing of interacting monomers to modulate in a simple way the underlying domains for functional reasons.


title: Quasi-Optimal Partial Order Reduction

abstract: A dynamic partial order reduction (DPOR) algorithm is optimal when it always explores at most one representative per Mazurkiewicz trace. Existing literature suggests that the reduction obtained by the non-optimal, state-of-the-art Source-DPOR (SDPOR) algorithm is comparable to optimal DPOR. We show the first program with $\mathop{\mathcal{O}}(n)$ Mazurkiewicz traces where SDPOR explores $\mathop{\mathcal{O}}(2^n)$ redundant schedules and identify the cause of the blow-up as an NP-hard problem. Our main contribution is a new approach, called Quasi-Optimal POR, that can arbitrarily approximate an optimal exploration using a provided constant k. We present an implementation of our method in a new tool called Dpu using specialised data structures. Experiments with Dpu, including Debian packages, show that optimality is achieved with low values of k, outperforming state-of-the-art tools.


title: From continuous to discontinuous transitions in social diffusion

abstract: Models of social diffusion reflect processes of how new products, ideas or behaviors are adopted in a population. These models typically lead to a continuous or a discontinuous phase transition of the number of adopters as a function of a control parameter. We explore a simple model of social adoption where the agents can be in two states, either adopters or non-adopters, and can switch between these two states interacting with other agents through a network. The probability of an agent to switch from non-adopter to adopter depends on the number of adopters in her network neighborhood, the adoption threshold $T$ and the adoption coefficient $a$, two parameters defining a Hill function. In contrast, the transition from adopter to non-adopter is spontaneous at a certain rate $\mu$. In a mean-field approach, we derive the governing ordinary differential equations and show that the nature of the transition between the global non-adoption and global adoption regimes depends mostly on the balance between the probability to adopt with one and two adopters. The transition changes from continuous, via a transcritical bifurcation, to discontinuous, via a combination of a saddle-node and a transcritical bifurcation, through a supercritical pitchfork bifurcation. We characterize the full parameter space. Finally, we compare our analytical results with Montecarlo simulations on annealed and quenched degree regular networks, showing a better agreement for the annealed case. Our results show how a simple model is able to capture two seemingly very different types of transitions, i.e., continuous and discontinuous and thus unifies underlying dynamics for different systems. Furthermore the form of the adoption probability used here is based on empirical measurements.


title: Quadrature formulae for the positive real axis in the setting of Mellin analysis: Sharp error estimates in terms of the Mellin distance

abstract: The general Poisson summation formula of Mellin analysis can be considered as a quadrature formula for the positive real axis with remainder. For Mellin bandlimited functions it becomes an exact quadrature formula. Our main aim is to study the speed of convergence to zero of the remainder for a function $f$ in terms of its distance from a space of Mellin bandlimited functions. The resulting estimates turn out to be of best possible order. Moreover, we characterize certain rates of convergence in terms of Mellin--Sobolev and Mellin--Hardy type spaces that contain $f$. Some numerical experiments illustrate and confirm these results.


title: The Lattice of Idempotent States on a Locally Compact Quantum Group

abstract: We study lattice operations on the set of idempotent states on a locally compact quantum group corresponding to the operations of intersection of compact subgroups and forming the subgroup generated by two compact subgroups. Normal ($\sigma$-weakly continuous) idempotent states are investigated and a duality between normal idempotent states on a locally compact quantum group $\mathbb{G}$ and on its dual $\widehat{\mathbb{G}}$ is established. Additionally we analyze the question when a left coideal corresponding canonically to an idempotent state is finite dimensional and give a characterization of normal idempotent states on compact quantum groups.


title: On Dynamic Programming Principle for Stochastic Control under Expectation Constraints

abstract: This paper studies the dynamic programming principle using the measurable selection method for stochastic control of continuous processes. The novelty of this work is to incorporate intermediate expectation constraints on the canonical space at each time t. Motivated by some financial applications, we show that several types of dynamic trading constraints can be reformulated into expectation constraints on paths of controlled state processes. Our results can therefore be employed to recover the dynamic programming principle for these optimal investment problems under dynamic constraints, possibly path-dependent, in a non-Markovian framework.


title: Diffusion equations from kinetic models with non-conserved momentum

abstract: We derive diffusive macroscopic equations for the particle and energy density of a system whose time evolution is described by a kinetic equation for the one particle position and velocity function f(r,v,t) that consists of a part that conserves energy and momentum such as the Boltzmann equation and an external randomization of the particle velocity directions that breaks the momentum conservation. Rescaling space and time by epsilon and epsilon square respectively and carrying out a Hilbert expansion in epsilon around a local equilibrium Maxwellian yields coupled diffusion equations with specified Onsager coefficients for the particle and energy density. Our analysis includes a system of hard disks at intermediate densities by using the Enskog equation for the collision kernel.


title: Moduli spaces of bundles and Hilbert schemes of scrolls over $\nu$-gonal curves

abstract: The aim of this paper is two--fold. We first strongly improve our previous main result Theorem 3.1 in Arxiv 1702.00918v3 12Feb2018 ("Brill-Noether loci of rank two vector bundles on a general $\nu$-gonal curve"), concerning classification of irreducible components of the Brill--Noether locus parametrizing rank 2 semistable vector bundles of suitable degrees $d$, with at least $d-2g+4$ independent global sections, on a general $\nu$--gonal curve $C$ of genus $g$. We then uses this classification to study several properties of the Hilbert scheme of suitable surface scrolls in projective space, which turn out to be special and stable.


title: Critical N=(1,1) General Massive Supergravity

abstract: In this paper we study the supermultiplet structure of $\mathcal{N}=(1,1)$ General Massive Supergravity at non-critical and critical points of its parameter space. To do this, we first linearize the theory around its maximally supersymmetric AdS$_3$ vacuum and obtain the full linearized Lagrangian including fermionic terms. At generic values, linearized modes can be organized as two massless and 2 massive multiplets where supersymmetry relates them in the standard way. At critical points logarithmic modes appear and we find that in three of such points some of the supersymmetry transformations are non-invertible in logarithmic multiplets. However, in the fourth critical point, there is a massive logarithmic multiplet with invertible supersymmetry transformations.


title: Signal Processing for High Throughput Satellite Systems: Challenges in New Interference-Limited Scenarios

abstract: The field of satellite communications is enjoying a renewed interest in the global telecom market, and very high throughput satellites (V/HTS), with their multiple spot-beams, are key for delivering the future rate demands. In this article, the state-of-the-art and open research challenges of signal processing techniques for V/HTS systems are presented for the first time, with focus on novel approaches for efficient interference mitigation. The main signal processing topics for the ground, satellite, and user segment are addressed. Also, the critical components for the integration of satellite and terrestrial networks are studied, such as cognitive satellite systems and satellite-terrestrial backhaul for caching. All the reviewed techniques are essential in empowering satellite systems to support the increasing demands of the upcoming generation of communication networks.


title: Three-dimensional Self-assembled Columnar Arrays of AlInP Quantum Wires for Polarized Micron-sized Amber Light Emitting Diodes

abstract: A three-dimensional ordered and self-organized semiconductor system emitting highly-polarized light in the yellow-orange visible range (580-650 nm) is presented, comprising self-assembled in-plane AlInP wires vertically stacked in regularly-spaced columns. More than 200 wires per column without detectable defect formation could be stacked. Theoretical simulations and temperature-dependent photoluminescence provided a benchmark to engineer multilayered structures showing internal quantum efficiency at room temperature larger than comparable quantum wells emitting at similar wavelengths. Finally, proof-of-concept light emitting diodes (LED) showed a high degree of light polarization and lower surface parasitic currents than comparable quantum well LEDs, providing an interesting perspective for high-efficiency polarized yellow-orange light emitting devices.


title: Large deviations for the maximum of a branching random walk

abstract: We consider real-valued branching random walks and prove a large deviation result for the position of the rightmost particle. The position of the rightmost particle is the maximum of a collection of a random number of dependent random walks. We characterise the rate function as the solution of a variational problem. We consider the same random number of independent random walks, and show that the maximum of the branching random walk is dominated by the maximum of the independent random walks. For the maximum of independent random walks, we derive a large deviation principle as well. It turns out that the rate functions for upper large deviations coincide, but in general the rate functions for lower large deviations do not.


title: Matter Lagrangian of particles and fluids

abstract: We consider a model where particles are described as localized concentrations of energy, with fixed rest mass and structure, which are not significantly affected by their self-induced gravitational field. We show that the volume average of the on-shell matter Lagrangian ${\mathcal L_m}$ describing such particles, in the proper frame, is equal to the volume average of the trace $T$ of the energy-momentum tensor in the same frame, independently of the particle's structure and constitution. Since both ${\mathcal L_m}$ and $T$ are scalars, and thus independent of the reference frame, this result is also applicable to collections of moving particles and, in particular, to those which can be described by a perfect fluid. Our results are expected to be particularly relevant in the case of modified theories of gravity with nonminimal coupling to matter where the matter Lagrangian appears explicitly in the equations of motion of the gravitational and matter fields, such as $f(R,{\mathcal L_m})$ and $f(R,T)$ gravity. In particular, they indicate that, in this context, $f(R,{\mathcal L_m})$ theories may be regarded as a subclass of $f(R,T)$ gravity.


title: An extension of Laplace's method

abstract: Asymptotic expansions are obtained for contour integrals of the form \[ \int_a^b \exp \left( - zp(t) + z^{\nu /\mu } r(t) \right)q(t)dt, \] in which $z$ is a large real or complex parameter, $p(t)$, $q(t)$ and $r(t)$ are analytic functions of $t$, and the positive constants $\mu$ and $\nu$ are related to the local behaviour of the functions $p(t)$ and $r(t)$ near the endpoint $a$. Our main theorem includes as special cases several important asymptotic methods for integrals such as those of Laplace, Watson, Erd\'elyi and Olver. Asymptotic expansions similar to ours were derived earlier by Dingle using formal, non-rigorous methods. The results of the paper also serve to place Dingle's investigations on a rigorous mathematical foundation. The new results have potential applications in the asymptotic theory of special functions in transition regions, and we illustrate this by two examples.


title: Asymptotic behavior of ground states of generalized pseudo-relativistic Hartree equation

abstract: With appropriate hypotheses on the nonlinearity $f$, we prove the existence of a ground state solution $u$ for the problem \[\sqrt{-\Delta+m^2}\, u+Vu=\left(W*F(u)\right)f(u)\ \ \text{in }\ \mathbb{R}^{N},\] where $V$ is a bounded potential, not necessarily continuous, and $F$ the primitive of $f$. We also show that any of this problem is a classical solution. Furthermore, we prove that the ground state solution has exponential decay.


title: Linear response approach to active Brownian particles in time-varying activity fields

abstract: In a theoretical and simulation study, active Brownian particles (ABPs) in three-dimensional bulk systems are exposed to time-varying sinusoidal activity waves that are running through the system. A linear response (Green-Kubo) formalism is applied to derive fully analytical expressions for the torque-free polarization profiles of the particles. The activity waves induce fluxes that strongly depend on the particle size and may be employed to de-mix mixtures of ABPs or to drive the particles into selected areas of the system. Three-dimensional Langevin dynamics simulations are carried out to verify the accuracy of the linear response formalism, which is shown to work best when the particles are small (i.e., highly Brownian) or operating at low activity levels.


title: Optimality Conditions in Variational Form for Non-Linear Constrained Stochastic Control Problems

abstract: Optimality conditions in the form of a variational inequality are proved for a class of constrained optimal control problems of stochastic differential equations. The cost function and the inequality constraints are functions of the probability distribution of the state variable at the final time. The analysis uses in an essential manner a convexity property of the set of reachable probability distributions. An augmented Lagrangian method based on the obtained optimality conditions is proposed and analyzed for solving iteratively the problem. At each iteration of the method, a standard stochastic optimal control problem is solved by dynamic programming. Two academical examples are investigated.


title: From the difference of structures to the structure of the difference

abstract: When dealing with evolving or multi-dimensional complex systems, network theory provides with elegant ways of describing their constituting components, through respectively time-varying and multi-layer complex networks. Nevertheless, the analysis of how these components are related is still an open problem. We here propose a framework for analysing the evolution of a (complex) system, by describing the structure created by the difference between multiple networks by means of the Information Content metric. As opposed to other approaches, as for instance the use of global overlap or entropies, the proposed one allows to understand if the observed changes are due to random noise, or to structural (targeted) modifications. We validate the framework by means of sets of synthetic networks, as well as networks representing real technological, social and biological evolving systems. We further propose a way of reconstructing network correlograms, which allow to convert the system's evolution to the frequency domain.


title: Self-exciting Point Processes: Infections and Implementations

abstract: This is a comment on Reinhart's "Review of Self-Exciting Spatio-Temporal Point Processes and Their Applications" (arXiv:1708.02647v1). I contribute some experiences from modelling the spread of infectious diseases. Furthermore, I try to complement the review with regard to the availability of software for the described models, which I think is essential in "paving the way for new uses".


title: Analytical model for the uncorrelated emittance evolution of externally injected beams in plasma-based accelerators

abstract: This article introduces an analytical formalism for the calculation of the evolution of beam moments and the transverse emittance for beams which are externally injected into plasma wakefield accelerators. This formalism is then applied to two scenarios with increasing complexity - a single beam slice without energy gain and a single beam slice with energy gain, both propagating at a fixed co-moving position behind the driver. The obtained results are then compared to particle-in-cell (PIC) simulations as well as results obtained using an semi-analytic numerical approach (SANA). We find excellent agreement between results from the analytical model and from SANA and PIC.


title: A framework for epidemic spreading in multiplex networks of metapopulations

abstract: We propose a theoretical framework for the study of epidemics in structured metapopulations, with heterogeneous agents, subjected to recurrent mobility patterns. We propose to represent the heterogeneity in the composition of the metapopulations as layers in a multiplex network, where nodes would correspond to geographical areas and layers account for the mobility patterns of agents of the same class. We analyze both the classical Susceptible-Infected-Susceptible and the Susceptible-Infected-Removed epidemic models within this framework, and compare macroscopic and microscopic indicators of the spreading process with extensive Monte Carlo simulations. Our results are in excellent agreement with the simulations. We also derive an exact expression of the epidemic threshold on this general framework revealing a non-trivial dependence on the mobility parameter. Finally, we use this new formalism to address the spread of diseases in real cities, specifically in the city of Medellin, Colombia, whose population is divided into six socio-economic classes, each one identified with a layer in this multiplex formalism.


title: Probing the exchange statistics of one-dimensional anyon models

abstract: We propose feasible scenarios for revealing the modified exchange statistics in one-dimensional anyon models in optical lattices based on an extension of the multicolor lattice-depth modulation scheme introduced in [{Phys. Rev. A 94, 023615 (2016)}]. We show that the fast modulation of a two-component fermionic lattice gas in the presence a magnetic field gradient, in combination with additional resonant microwave fields, allows for the quantum simulation of hardcore anyon models with periodic boundary conditions. Such a semi-synthetic ring set-up allows for realizing an interferometric arrangement sensitive to the anyonic statistics. Moreover, we show as well that simple expansion experiments may reveal the formation of anomalously bound pairs resulting from the anyonic exchange.


title: Email Classification into Relevant Category Using Neural Networks

abstract: In the real world, many online shopping websites or service provider have single email-id where customers can send their query, concern etc. At the back-end service provider receive million of emails every week, how they can identify which email is belonged of a particular department? This paper presents an artificial neural network (ANN) model that is used to solve this problem and experiments are carried out on user personal Gmail emails datasets. This problem can be generalised as typical Text Classification or Categorization.


title: Quantitatively consistent computation of coherent and incoherent radiation in particle-in-cell codes - a general form factor formalism for macro-particles

abstract: Quantitative predictions from synthetic radiation diagnostics often have to consider all accelerated particles. For particle-in-cell (PIC) codes, this not only means including all macro-particles but also taking into account the discrete electron distribution associated with them. This paper presents a general form factor formalism that allows to determine the radiation from this discrete electron distribution in order to compute the coherent and incoherent radiation self-consistently. Furthermore, we discuss a memory-efficient implementation that allows PIC simulations with billions of macro-particles. The impact on the radiation spectra is demonstrated on a large scale LWFA simulation.


title: SSH model with long-range hoppings: topology, driving and disorder

abstract: The Su-Schrieffer-Heeger (SSH) model describes a finite one-dimensional dimer lattice with first-neighbour hoppings populated by non-interacting electrons. In this work we study a generalization of the SSH model including longer-range hoppings, what we call the extended SSH model. We show that the presence of odd and even hoppings has a very different effect on the topology of the chain. On one hand, even hoppings break particle-hole and sublattice symmetry, making the system topologically trivial, but the Zak phase is still quantized due to the presence of inversion symmetry. On the other hand, odd hoppings allow for phases with a larger topological invariant. This implies that the system supports more edge states in the band's gap. We propose how to engineer those topological phases with a high-frequency driving. Finally, we include a numerical analysis on the effect of diagonal and off-diagonal disorder in the edge states properties.


title: McKean-Vlasov SDEs under Measure Dependent Lyapunov Conditions

abstract: We prove the existence of weak solutions to McKean-Vlasov SDEs defined on a domain $D \subseteq \mathbb{R}^d$ with continuous and unbounded coefficients that satisfy Lyapunov type conditions, where the Lyapunov function may depend on measure. We propose a new type of {\em integrated} Lyapunov condition, where the inequality is only required to hold when integrated against the measure on which the Lyapunov function depends , and we show that this is sufficient for the existence of weak solutions to McKean-Vlasov SDEs defined on $D$. The main tool used in the proofs is the concept of a measure derivative due to Lions. We prove results on uniqueness under weaker assumptions than that of global Lipschitz continuity of the coefficients.


title: Review on the conversion of thermoacoustic power into electricity

abstract: Thermoacoustic engines convert heat energy into high amplitude acoustic waves and subsequently into electric power. This article provides a review of the four main methods to convert the (thermo)acoustic power into electricity. First, loudspeakers and linear alternators are discussed in a section on electromagnetic devices. This is followed by sections on piezoelectric transducers, magnetohydrodynamic generators, and bidirectional turbines. Each segment provides a literature review of the given technology for the field of thermoacoustics, focusing on possible configurations, operating characteristics, output performance, and analytical and numerical methods to study the devices. This information is used as an input to discuss the performance and feasibility of each method, and to identify challenges that should be overcome for a more successful implementation in thermoacoustic engines. The work is concluded by a comparison of the four technologies, concentrating on the possible areas of application, the conversion efficiency, maximum electrical power output and more generally the suggested focus for future work in the field.


title: Reinforcement Learning with Wasserstein Distance Regularisation, with Applications to Multipolicy Learning

abstract: We describe an application of Wasserstein distance to Reinforcement Learning. The Wasserstein distance in question is between the distribution of mappings of trajectories of a policy into some metric space, and some other fixed distribution (which may, for example, come from another policy). Different policies induce different distributions, so given an underlying metric, the Wasserstein distance quantifies how different policies are. This can be used to learn multiple polices which are different in terms of such Wasserstein distances by using a Wasserstein regulariser. Changing the sign of the regularisation parameter, one can learn a policy for which its trajectory mapping distribution is attracted to a given fixed distribution.


title: Anosov diffeomorphism with a horseshoe that attracts almost any point

abstract: We present an example of a C1 Anosov diffeomorphism of a two-torus with a physical measure such that its basin has full Lebesgue measure and its support is a horseshoe of zero measure.


title: Crossed modules, double group-groupoids and crossed squares

abstract: In this paper using split extensions of group-groupoids we obtain the notion of crossed modules over group-grouoids which are also called 2-groups and we prove a categorical equivalence of these types of crossed modules and double group-groupoids which are internal to the category of group-groupoids. This equivalence enables us to produce more examples of double groupoids.


title: Gyrotropic resonance of individual N\'eel skyrmions in Ir/Fe/Co/Pt multilayers

abstract: Magnetic skyrmions are nanoscale spin structures recently discovered at room temperature (RT) in multilayer films. Employing their novel topological properties towards exciting technological prospects requires a mechanistic understanding of the excitation and relaxation mechanisms governing their stability and dynamics. Here we report on the magnetization dynamics of RT N\'eel skyrmions in Ir/Fe/Co/Pt multilayer films. We observe a ubiquitous excitation mode in the microwave absorption spectrum, arising from the gyrotropic resonance of topological skyrmions, and robust over a wide range of temperatures and sample compositions. A combination of simulations and analytical calculations establish that the spectrum is shaped by the interplay of interlayer and interfacial magnetic interactions unique to multilayers, yielding skyrmion resonances strongly renormalized to lower frequencies. Our work provides fundamental spectroscopic insights on the spatiotemporal dynamics of topological spin structures, and crucial directions towards their functionalization in nanoscale devices.


title: Integration of Absolute Orientation Measurements in the KinectFusion Reconstruction pipeline

abstract: In this paper, we show how absolute orientation measurements provided by low-cost but high-fidelity IMU sensors can be integrated into the KinectFusion pipeline. We show that integration improves both runtime, robustness and quality of the 3D reconstruction. In particular, we use this orientation data to seed and regularize the ICP registration technique. We also present a technique to filter the pairs of 3D matched points based on the distribution of their distances. This filter is implemented efficiently on the GPU. Estimating the distribution of the distances helps control the number of iterations necessary for the convergence of the ICP algorithm. Finally, we show experimental results that highlight improvements in robustness, a speed-up of almost 12%, and a gain in tracking quality of 53% for the ATE metric on the Freiburg benchmark.


title: Spectral Filtering for General Linear Dynamical Systems

abstract: We give a polynomial-time algorithm for learning latent-state linear dynamical systems without system identification, and without assumptions on the spectral radius of the system's transition matrix. The algorithm extends the recently introduced technique of spectral filtering, previously applied only to systems with a symmetric transition matrix, using a novel convex relaxation to allow for the efficient identification of phases.


title: A fallback accretion model for the unusual type II-P supernova iPTF14hls

abstract: The Intermediate Palomar Transient Factory reported the discovery of an unusual type II-P supernova iPTF14hls. Instead of a ~100-day plateau as observed for ordinary type II-P supernovae, the light curve of iPTF14hls has at least five distinct peaks, followed by a steep decline at ~1000 days since discovery. Until 500 days since discovery, the effective temperature of iPTF14hls is roughly constant at 5000-6000K . In this paper we propose that iPTF14hls is likely powered by intermittent fallback accretion. It is found that the light curve of iPTF14hls can be well fit by the usual t^{-5/3} accretion law until ~1000 days post discovery when the light curve transitions to a steep decline. To account for this steep decline, we suggest a power-law density profile for the late accreted material, rather than the constant profile as appropriated for the t^{-5/3} accretion law. Detailed modeling indicates that the total fallback mass is ~0.2M_{sun}, with an ejecta mass M_{ej}~21M_{sun}. We find the third peak of the light curve cannot be well fit by the fallback model, indicating that there could be some extra rapid energy injection. We suggest that this extra energy injection may be a result of a magnetic outburst if the central object is a neutron star. These results indicate that the progenitor of iPTF14hls could be a massive red supergiant.


title: A Projected Entropy Controller for Transition Matrix Calculations

abstract: We define the projected entropy S(T) at a given temperature T in the context of an Ising model transition matrix calculation as the entropy associated with the distribution of Markov chain realizations in energy-magnetization, E-H, space. An even sampling of states is achieved by accumulating the results from multiple Markov chains while decrementing 1/T at a rate proportional to the inverse of the effective number, exp(S(T)), of accessible projected states. Such a procedure is both highly accurate and far simpler to implement than a previously suggested method based on monitoring the evolution of the E-H distribution at each temperature. [1] We further demonstrate a transition matrix procedure that instead ensures uniform sampling in physical entropy.


title: SPINE: Structural Identity Preserved Inductive Network Embedding

abstract: Recent advances in the field of network embedding have shown that low-dimensional network representation is playing a critical role in network analysis. Most existing network embedding methods encode the local proximity of a node, such as the first- and second-order proximities. While being efficient, these methods are short of leveraging the global structural information between nodes distant from each other. In addition, most existing methods learn embeddings on one single fixed network, and thus cannot be generalized to unseen nodes or networks without retraining. In this paper we present SPINE, a method that can jointly capture the local proximity and proximities at any distance, while being inductive to efficiently deal with unseen nodes or networks. Extensive experimental results on benchmark datasets demonstrate the superiority of the proposed framework over the state of the art.


title: X-ray counterpart candidates for six new $\gamma$-ray pulsars

abstract: Using archival X-ray data we have found point-like X-ray counterpart candidates positionally coincident with six $\gamma$-ray pulsars discovered recently in the Fermi Gamma-ray Space Telescope data by the Einstein@Home project. The candidates for PSRs J0002$+$6216, J0554$+$3107, J1844$-$0346 and J1105$-$6037 are detected with Swift, and those for PSRs J0359$+$5414 and J2017$+$3625 are detected with Chandra. Despite a low count statistics for some candidates, assuming plausible constraints on the absorbing column density towards the pulsars, we show that X-ray spectral properties for all of them are consistent with those observed for other pulsars. J0359$+$5414 is the most reliably identified object. We detect a nebula around it, whose spectrum and extent suggest that this is a pulsar wind nebula powered by the pulsar. Associations of J0002$+$6216 and J1844$-$0346 with supernova remnants CTB 1 and G28.6$-$0.1 are proposed.


title: The all-loop conjecture for integrands of reggeon amplitudes in N=4 SYM

abstract: In this paper we present the all-loop conjecture for integrands of Wilson line form factors, also known as reggeon amplitudes, in N=4 SYM. In particular we present a new gluing operation in momentum twistor space used to obtain reggeon tree-level amplitudes and loop integrands starting from corresponding expressions for on-shell amplitudes. The introduced gluing procedure is used to derive BCFW recursions both for tree-level reggeon amplitudes and their loop integrands. In addition we provide predictions for reggeon loop integrands written in the basis of local integrals. As a check of the correctness of gluing operation at loop level we derive the expression for LO BFKL kernel in N=4 SYM.


title: Latent Variable Time-varying Network Inference

abstract: In many applications of finance, biology and sociology, complex systems involve entities interacting with each other. These processes have the peculiarity of evolving over time and of comprising latent factors, which influence the system without being explicitly measured. In this work we present latent variable time-varying graphical lasso (LTGL), a method for multivariate time-series graphical modelling that considers the influence of hidden or unmeasurable factors. The estimation of the contribution of the latent factors is embedded in the model which produces both sparse and low-rank components for each time point. In particular, the first component represents the connectivity structure of observable variables of the system, while the second represents the influence of hidden factors, assumed to be few with respect to the observed variables. Our model includes temporal consistency on both components, providing an accurate evolutionary pattern of the system. We derive a tractable optimisation algorithm based on alternating direction method of multipliers, and develop a scalable and efficient implementation which exploits proximity operators in closed form. LTGL is extensively validated on synthetic data, achieving optimal performance in terms of accuracy, structure learning and scalability with respect to ground truth and state-of-the-art methods for graphical inference. We conclude with the application of LTGL to real case studies, from biology and finance, to illustrate how our method can be successfully employed to gain insights on multivariate time-series data.


title: First FBK Production of 50$\mu$m Ultra-Fast Silicon Detectors

abstract: Fondazione Bruno Kessler (FBK, Trento, Italy) has recently delivered its first 50 $\mu$m thick production of Ultra-Fast Silicon Detectors (UFSD), based on the Low-Gain Avalanche Diode design. These sensors use high resistivity Si-on-Si substrates, and have a variety of gain layer doping profiles and designs based on Boron, Gallium, Carbonated Boron and Carbonated Gallium to obtain a controlled multiplication mechanism. Such variety of gain layers will allow identifying the most radiation hard technology to be employed in the production of UFSD, to extend their radiation resistance beyond the current limit of $\phi \sim$ 10$^{15}$ n$_{eq}$/cm$^2$. In this paper, we present the characterisation, the timing performances, and the results on radiation damage tolerance of this new FBK production.


abstract: This paper proposes a novel method for solving one-class classification problems. The proposed approach, namely Subspace Support Vector Data Description, maps the data to a subspace that is optimized for one-class classification. In that feature space, the optimal hypersphere enclosing the target class is then determined. The method iteratively optimizes the data mapping along with data description in order to define a compact class representation in a low-dimensional feature space. We provide both linear and non-linear mappings for the proposed method. Experiments on 14 publicly available datasets indicate that the proposed Subspace Support Vector Data Description provides better performance compared to baselines and other recently proposed one-class classification methods.


title: Improving baryon acoustic oscillation measurement with the combination of cosmic voids and galaxies

abstract: We develop a methodology to optimise the measurement of Baryon Acoustic Oscillation (BAO) from a given galaxy sample. In our previous work, we demonstrated that one can measure BAO from tracers in under-dense regions (voids). In this study, we combine the over-dense and under-dense tracers (galaxies & voids) to obtain better constraints on the BAO scale. To this end, we modify the de-wiggled BAO model with an additional parameter to describe both the BAO peak and the underlying exclusion pattern of void 2PCFs. We show that after applying BAO reconstruction to galaxies, the BAO peak scale of both galaxies and voids are unbiased using the modified model. Furthermore, we use a new 2PCF estimator for a multi-tracer analysis with galaxies and voids. In simulations, the joint sample improves by about 10% the constraint for the post-reconstruction BAO peak position compared to the result from galaxies alone, which is equivalent to an enlargement of the survey volume by 20%. Applying this method to the BOSS DR12 data, we have an 18% improvement for the low-z sample (0.2<z<0.5), but a worse constraint for the high-z sample (0.5<z<0.75), which is consistent with statistical fluctuations for the current survey volume. Future larger samples will give more robust improvements due to less statistical fluctuations.


title: Hybrid TDOA/RSS Based Localization for Visible Light Systems

abstract: In a visible light positioning (VLP) system, a receiver can estimate its location based on signals transmitted by light emitting diodes (LEDs). In this manuscript, we investigate a quasi-synchronous VLP system, in which the LED transmitters are synchronous among themselves but are not synchronized with the receiver. In quasi-synchronous VLP systems, position estimation can be performed by utilizing time difference of arrival (TDOA) information together with channel attenuation information, leading to a hybrid localization system. To specify accuracy limits for quasi-synchronous VLP systems, the Cramer-Rao lower bound (CRLB) on position estimation is derived in a generic three-dimensional scenario. Then, a direct positioning approach is adopted to obtain the maximum likelihood (ML) position estimator based directly on received signals from LED transmitters. In addition, a two-step position estimator is proposed, where TDOA and received signal strength (RSS) estimates are obtained in the first step and the position estimation is performed, based on the TDOA and RSS estimates, in the second step. The performance of the two-step positioning technique is shown to converge to that of direct positioning at high signal-to-noise ratios based on asymptotic properties of ML estimation. Finally, CRLBs and performance of the proposed positioning techniques are investigated through simulations.


title: Targeted Damage to Interdependent Networks

abstract: The giant mutually connected component (GMCC) of an interdependent or multiplex network collapses with a discontinuous hybrid transition under random damage to the network. If the nodes to be damaged are selected in a targeted way, the collapse of the GMCC may occur significantly sooner. Finding the minimal damage set which destroys the largest mutually connected component of a given interdependent network is a computationally prohibitive simultaneous optimization problem. We introduce a simple heuristic strategy -- Effective Multiplex Degree -- for targeted attack on interdependent networks that leverages the indirect damage inherent in multiplex networks to achieve a damage set smaller than that found by any other non computationally intensive algorithm. We show that the intuition from single layer networks that decycling (damage of the $2$-core) is the most effective way to destroy the giant component, does not carry over to interdependent networks, and in fact such approaches are worse than simply removing the highest degree nodes.


title: Symmetries of Quantified Boolean Formulas

abstract: While symmetries are well understood for Boolean formulas and successfully exploited in practical SAT solving, less is known about symmetries in quantified Boolean formulas (QBF). There are some works introducing adaptions of propositional symmetry breaking techniques, with a theory covering only very specific parts of QBF symmetries. We present a general framework that gives a concise characterization of symmetries of QBF. Our framework naturally incorporates the duality of universal and existential symmetries resulting in a general basis for QBF symmetry breaking.


title: Asymmetry-driven plasmon instabilities in confined hydrodynamic electron flows

abstract: Direct current in confined two-dimensional (2d) electron systems can become unstable with respect to the excitation of plasmons. Numerous experiments and simulations hint that structural asymmetry somehow promotes plasmon generation, but a constitutive relation between asymmetry and instability has been missing. We provide such relation in the present paper and show that bounded perfect 2d electron fluids in asymmetric structures are unstable under arbitrarily weak drive currents. To this end, we develop a perturbation theory for hydrodynamic plasmons and evaluate corrections to their eigenfrequency induced by carrier drift, scattering, and viscosity. We show that plasmon gain continuously increases with degree of plasmon mode asymmetry until it surrenders to viscous dissipation that also benefits from asymmetry. The developed formalism allows us to put a lower bound on the instability threshold current, which corresponds to the Reynolds number $R_{\min} = 2\sqrt{3}$ for one-dimensional plasmons in 2d channel under constant voltage bias.


title: First scattered light detection of a nearly edge-on transition disk around the T Tauri star RY Lup

abstract: Transition disks are considered sites of ongoing planet formation, and their dust and gas distributions could be signposts of embedded planets. The transition disk around the T Tauri star RY Lup has an inner dust cavity and displays a strong silicate emission feature. Using high-resolution imaging we study the disk geometry, including non-axisymmetric features, and its surface dust grain, to gain a better understanding of the disk evolutionary process. Moreover, we search for companion candidates, possibly connected to the disk. We obtained high-contrast and high angular resolution data in the near-infrared with the VLT/SPHERE extreme adaptive optics instrument whose goal is to study the planet formation by detecting and characterizing these planets and their formation environments through direct imaging. We performed polarimetric imaging of the RY~Lup disk with IRDIS (at 1.6 microns), and obtained intensity images with the IRDIS dual-band imaging camera simultaneously with the IFS spectro-imager (0.9-1.3 microns). We resolved for the first time the scattered light from the nearly edge-on circumstellar disk around RY~Lup, at projected separations in the 100 \,au range. The shape of the disk and its sharp features are clearly detectable at wavelengths ranging from 0.9 to 1.6 microns. We show that the observed morphology can be interpreted as spiral arms in the disk. This interpretation is supported by in-depth numerical simulations. We also demonstrate that these features can be produced by one planet interacting with the disk. We also detect several point sources which are classified as probable background objects.


title: Know Your Mind: Adaptive Brain Signal Classification with Reinforced Attentive Convolutional Neural Networks

abstract: Electroencephalography (EEG) signals reflect activities on certain brain areas. Effective classification of time-varying EEG signals is still challenging. First, EEG signal processing and feature engineering are time-consuming and highly rely on expert knowledge. In addition, most existing studies focus on domain-specific classification algorithms which may not be applicable to other domains. Moreover, the EEG signal usually has a low signal-to-noise ratio and can be easily corrupted. In this regard, we propose a generic EEG signal classification framework that accommodates a wide range of applications to address the aforementioned issues. The proposed framework develops a reinforced selective attention model to automatically choose the distinctive information among the raw EEG signals. A convolutional mapping operation is employed to dynamically transform the selected information to an over-complete feature space, wherein implicit spatial dependency of EEG samples distribution is able to be uncovered. We demonstrate the effectiveness of the proposed framework using three representative scenarios: intention recognition with motor imagery EEG, person identification, and neurological diagnosis. Three widely used public datasets and a local dataset are used for our evaluation. The experiments show that our framework outperforms the state-of-the-art baselines and achieves the accuracy of more than 97% on all the datasets with low latency and good resilience of handling complex EEG signals across various domains. These results confirm the suitability of the proposed generic approach for a range of problems in the realm of Brain-Computer Interface applications.


title: GEMSEC: Graph Embedding with Self Clustering

abstract: Modern graph embedding procedures can efficiently process graphs with millions of nodes. In this paper, we propose GEMSEC -- a graph embedding algorithm which learns a clustering of the nodes simultaneously with computing their embedding. GEMSEC is a general extension of earlier work in the domain of sequence-based graph embedding. GEMSEC places nodes in an abstract feature space where the vertex features minimize the negative log-likelihood of preserving sampled vertex neighborhoods, and it incorporates known social network properties through a machine learning regularization. We present two new social network datasets and show that by simultaneously considering the embedding and clustering problems with respect to social properties, GEMSEC extracts high-quality clusters competitive with or superior to other community detection algorithms. In experiments, the method is found to be computationally efficient and robust to the choice of hyperparameters.


title: Erlang Code Evolution Control (Use Cases)

abstract: The main goal of this work is to show how SecEr can be used in different scenarios. Concretely, we demonstrate how a user can run SecEr to obtain reports about the behaviour preservation between versions as well as how a user can use SecEr to find the source of a discrepancy. The use cases presented are three: two completely different versions of the same program, an improvement in the performance of a function and a program where an error has been introduced. A complete description of the technique and the tool is available at [1] and [2].


title: A question of Frohardt on $2$-groups, skew translation quadrangles of even order and cyclic STGQs

abstract: We solve a fundamental question posed in Frohardt's 1988 paper [8] on finite $2$-groups with Kantor familes, by showing that finite groups $K$ with a Kantor family $(\mathcal{F},\mathcal{F}^*)$ having distinct members $A, B \in \mathcal{F}$ such that $A^* \cap B^*$ is a central subgroup of $K$ and the quotient $K/(A^* \cap B^*)$ is abelian cannot exist if the center of $K$ has exponent $4$ and the members of $\mathcal{F}$ are elementary abelian. Then we give a short geometrical proof of a recent result of Ott which says that finite skew translation quadrangles of even order $(t,t)$ (where $t$ is not a square) are always translation generalized quadrangles. This is a consequence of a complete classification of finite cyclic skew translation quadrangles of order $(t,t)$ that we carry out in the present paper.


title: Invariant measures for the stochastic one-dimensional compressible Navier-Stokes equations

abstract: We investigate the long-time behavior of solutions to a stochastically forced one-dimensional Navier-Stokes system, describing the motion of a compressible viscous fluid, in the case of linear pressure law. We prove existence of an invariant measure for the Markov process generated by strong solutions. We overcome the difficulties of working with non-Feller Markov semigroups on non-complete metric spaces by generalizing the classical Krylov-Bogoliubov method, and by providing suitable polynomial and exponential moment bounds on the solution, together with pathwise estimates.


title: Red Giant evolution in Modified Gravity

abstract: In this paper, we study the chameleon profile in inhomogeneous density distributions and find that the fifth force in thin shell near the surface is weaker from what expected in homogeneous density distributions. Also, we check the validity of quasi-static approximation for the chameleon scalar field in the astrophysical time scales. We have investigated the rolling down behaviour of the scalar field on its effective potential inside a one solar mass red giant star by using MESA code. We have found that the scalar field is fast enough to follow the minimum of the potential. This adiabatic behaviour reduces the fifth force and extends the screened regions to lower densities where the field has smaller mass and was expected to be unscreened. As a consequence, the star evolution is similar to what expected from standard general relativity. In addition, considering the stability of star, an approximate constraint on the coupling constant $\beta$ is found.


title: Motion of the vitreous humour in a deforming eye -- fluid-structure interaction between a nonlinear elastic solid and a nonlinear viscoleastic fluid

abstract: We study the motion of vitreous humour in a deforming eyeball. From the mechanical and computational perspective this is a task to solve a fluid-structure interaction problem between a complex viscoelastic fluid (vitreour humour) and a nonlinear elastic solid (sclera and lens). We propose a numerical methodology capable of handling the fluid-structure interaction problem, and we demonstrate its applicability via solving the corresponding governing equations in a realistic geometrical setting and for realistic parameter values. It is shown that the choice of the rheological model for the vitreous humour has a negligible influence on the overall flow pattern in the domain of interest, whilst it is has a significant impact on the mechanical stress distribution in the domain of interest.


title: Nuclear magnetic shielding constants of Dirac one-electron atoms in some low-lying discrete energy eigenstates

abstract: We present tabulated data for the nuclear magnetic shielding constants ($\sigma$) of the Dirac one-electron atoms with a pointlike, motionless and spinless nucleus of charge $Ze$. Utilizing the exact general analytical formula for $\sigma$ derived by us \mbox{[P. Stefa{\'n}ska, Phys. Rev. A. 94 (2016) 012508/1-15],} valid for an arbitrary discrete energy eigenstate, we have computed the numerical values of the magnetic shielding factors for the ground state and for the first and the second set of excited states, i.e.: 2s$_{1/2}$, 2p$_{1/2}$, 2p$_{3/2}$, 3s$_{1/2}$, 3p$_{1/2}$, 3p$_{3/2}$, 3d$_{3/2}$, and 3d$_{5/2}$, of the relativistic hydrogenic ions with the nuclear charge numbers from the range $1 \leqslant Z \leqslant 137$. The comparisons of our results with the numerical values reported by other authors for some atomic states are also presented.


title: Correlation of ICME Magnetic Fields at Radially Aligned Spacecraft

abstract: The B-field structures of two ICMEs each observed by a pair of spacecraft close to radial alignment have been analysed. The ICMEs were observed in situ by MESSENGER and STEREO-B in Nov. 2010 and Nov. 2011, while the spacecraft were separated by more than 0.6 AU in heliocentric distance, less than 4{\deg} in heliographic longitude, and less than 7{\deg} in heliographic latitude. Both ICMEs took around 2 days to travel between the spacecraft. The ICME B-field profiles observed by MESSENGER have been mapped to the heliocentric distance of STEREO-B and compared directly to the profiles observed by STEREO-B. Figures that result from this mapping allow for easy qualitative assessment of similarity in the profiles. Macroscale features in the profiles that varied on timescales of 1 hour, and which corresponded to the underlying flux rope structure of the ICMEs, were well correlated in the solar east-west and north-south directions, with Pearson's correlation coefficients of around 0.85 and 0.95, respectively; microscale features with timescales of 1 minute were uncorrelated. Overall correlation values in the profiles of one ICME were increased when an apparent change in the flux rope axis direction between the observing spacecraft was taken into account. The high degree of similarity seen in the B-field profiles may be interpreted in in two ways. If the spacecraft sampled the same region of each ICME (i.e. if the spacecraft angular separations can be neglected), the similarity indicates that there was little evolution in the underlying structure of the sampled region during propagation. Alternatively, if the spacecraft observed different, nearby regions within the ICMEs, it indicates that there was spatial homogeneity across those different regions. The field structure similarity observed in these ICMEs points to the value of placing in situ space weather monitors well upstream of the Earth.


title: Merits of the Incremental Method for modeling Piecewise Linear functions

abstract: Several techniques were proposed to model the Piecewise linear (PWL) functions, including convex combination, incremental and multiple choice methods. Although the incremental method was proved to be very efficient, the attention of the authors in this field was drawn to the convex combination method, especially for discontinuous PWL functions. In this work, we modify the incremental method to make it suitable for discontinuous functions. The numerical results indicate that the modified incremental method could have considerable reduction in computational time, mainly due to the reduction in the number of the required variables. Further, we propose a tighter formulation for optimization problems over separable univariate PWL functions with binary indicators by using the incremental method.


title: On the mu and lambda invariants of the logarithmic class group

abstract: Let $\ell$ be a rational prime number. Assuming the Gross-Kuz'min conjecture along a $\Zl$-extension $K\_{\infty}$ of a number field $K$, we show that there exist integers $\mut$, $\lat$ and $\widetilde{\nu}$ such that the exponent $\tilde{e}\_{n}$ of the order $\ell^{\tilde{e}\_{n}}$ of the logarithmic class group $\Clog{n}$ for the $n$-th layer $K\_{n}$ of $K\_{\infty}$ is given by $\tilde{e}\_{n}=\widetilde{\mu}\ell^{n}+\widetilde{\lambda} n + \widetilde{\nu}$, for $n$ big enough. We show some relations between the classical invariants $\mu$ and $\lambda$, and their logarithmic counterparts $\mut$ and $\lat$ for some class of $\Zl$-extensions. Additionally, we provide numerical examples for the cyclotomic and the non-cyclotomic case.


title: ProofWatch: Watchlist Guidance for Large Theories in E

abstract: Watchlist (also hint list) is a mechanism that allows related proofs to guide a proof search for a new conjecture. This mechanism has been used with the Otter and Prover9 theorem provers, both for interactive formalizations and for human-assisted proving of open conjectures in small theories. In this work we explore the use of watchlists in large theories coming from first-order translations of large ITP libraries, aiming at improving hammer-style automation by smarter internal guidance of the ATP systems. In particular, we (i) design watchlist-based clause evaluation heuristics inside the E ATP system, and (ii) develop new proof guiding algorithms that load many previous proofs inside the ATP and focus the proof search using a dynamically updated notion of proof matching. The methods are evaluated on a large set of problems coming from the Mizar library, showing significant improvement of E's standard portfolio of strategies, and also of the previous best set of strategies invented for Mizar by evolutionary methods.


title: Decay of local energy for solutions of the free Schr\"odinger equation in exterior domains

abstract: In this article, we study the decay of the solutions of Schr\"odinger equations in the exterior of an obstacle. The main situations we are interested in are the general case (no non-trapping assumptions) or some weakly trapping situations


title: Distinguishing Question Subjectivity from Difficulty for Improved Crowdsourcing

abstract: The questions in a crowdsourcing task typically exhibit varying degrees of difficulty and subjectivity. Their joint effects give rise to the variation in responses to the same question by different crowd-workers. This variation is low when the question is easy to answer and objective, and high when it is difficult and subjective. Unfortunately, current quality control methods for crowdsourcing consider only the question difficulty to account for the variation. As a result,these methods cannot distinguish workers personal preferences for different correct answers of a partially subjective question from their ability/expertise to avoid objectively wrong answers for that question. To address this issue, we present a probabilistic model which (i) explicitly encodes question difficulty as a model parameter and (ii) implicitly encodes question subjectivity via latent preference factors for crowd-workers. We show that question subjectivity induces grouping of crowd-workers, revealed through clustering of their latent preferences. Moreover, we develop a quantitative measure of the subjectivity of a question. Experiments show that our model(1) improves the performance of both quality control for crowd-sourced answers and next answer prediction for crowd-workers,and (2) can potentially provide coherent rankings of questions in terms of their difficulty and subjectivity, so that task providers can refine their designs of the crowdsourcing tasks, e.g. by removing highly subjective questions or inappropriately difficult questions.


title: On the occurrence of thermal non-equilibrium in coronal loops

abstract: Long-period EUV pulsations, recently discovered to be common in active regions, are understood to be the coronal manifestation of thermal non-equilibrium (TNE). The active regions previously studied with EIT/SOHO and AIA/SDO indicated that long-period intensity pulsations are localized in only one or two loop bundles. The basic idea of this study is to understand why. For this purpose, we tested the response of different loop systems, using different magnetic configurations, to different stratifications and strengths of the heating. We present an extensive parameter-space study using 1D hydrodynamic simulations (1,020 in total) and conclude that the occurrence of TNE requires specific combinations of parameters. Our study shows that the TNE cycles are confined to specific ranges in parameter space. This naturally explains why only some loops undergo constant periodic pulsations over several days: since the loop geometry and the heating properties generally vary from one loop to another in an active region, only the ones in which these parameters are compatible exhibits TNE cycles. Furthermore, these parameters (heating and geometry) are likely to vary significantly over the duration of a cycle, which potentially limits the possibilities of periodic behavior. This study also confirms that long-period intensity pulsations and coronal rain are two aspects of the same phenomenon: both phenomena can occur for similar heating conditions and can appear simultaneously in the simulations.


title: The $B=5$ Skyrmion as a two-cluster system

abstract: The classical $B=5$ Skyrmion can be approximated by a two-cluster system where a $B=1$ Skyrmion is attached to a core $B=4$ Skyrmion. We quantise this system, allowing the $B=1$ to freely orbit the core. The configuration space is 11-dimensional but simplifies significantly after factoring out the overall spin and isospin degrees of freedom. We exactly solve the free quantum problem and then include an interaction potential between the Skyrmions numerically. The resulting energy spectrum is compared to the corresponding nuclei -- the Helium-5/Lithium-5 isodoublet. We find approximate parity doubling not seen in the experimental data. In addition, we fail to obtain the correct ground state spin. The framework laid out for this two-cluster system can readily be modified for other clusters and in particular for other $B=4n+1$ nuclei, of which the $B=5$ is the simplest example.


title: Radiation in Bent Asymmetric Coupled Waveguides

abstract: A numerical study of the radiation in coupled bent waveguides is presented. Such arrangements of curved waveguides in reduced radiation-loss configurations can be used to enhance the quality factor of integrated micro-resonators. 3D full vector computations of the complex modal fields (and propagation constants) and the transient propagation effects have been performed. The results obtained agree qualitatively with former 2D FDTD analyses. At the same time, the calculations presented meet the accuracy requirements for the design of practical implementations that are unattainable with 2D approaches.


title: Dilute Bose gas in classical environment at low temperatures

abstract: The properties of a dilute Bose gas with the non-Gaussian quenched disorder are analysed. Being more specific we have considered a system of bosons immersed in the classical bath consisting of the non-interacting particles with infinite mass. Making use of perturbation theory up to second order we have studied the impact of environment on the ground-state thermodynamic and superfluid characteristics of the Bose component.


title: From expanders to hitting distributions and simulation theorems

abstract: Recently, Chattopadhyay et al. (\cite{chattopadhyay2017simulation}) proved that any gadget having so called \emph{hitting distributions} admits deterministic "query-to-communication" simulation theorem. They applied this result to Inner Product, Gap Hamming Distance and Indexing Function. They also demonstrated that previous works used hitting distributions implicitly (\cite{goos2015deterministic} for Indexing Function and \cite{wu2017raz} for Inner Product). In this paper we show that any expander in which any two distinct vertices have at most one common neighbor can be transformed into a gadget possessing good hitting distributions. We demonstrate that this result is applicable to affine plane expanders and to Lubotzky-Phillips-Sarnak construction of Ramanujan graphs . In particular, from affine plane expanders we extract a gadget achieving the best known trade-off between the arity of outer function and the size of gadget. More specifically, when this gadget has $k$ bits on input, it admits a simulation theorem for all outer function of arity roughly $2^{k/2}$ or less (the same was also known for $k$-bit Inner Product, (\cite{chattopadhyay2017simulation})). In addition we show that, unlike Inner Product, underlying hitting distributions in our new gadget are "polynomial-time listable" in the sense that their supports can be written down in time $2^{O(k)}$, i.e, in time polynomial in size of gadget's matrix.


title: Toward Architectural Knowledge Sustainability. New Opportunities to Extend the Longevity of Systems

abstract: Complex software systems must be maintained for years or decades, and the effort and cost to maintain them are often high, involving continuous refactoring to ensure their longevity in the face of changing requirements. In this article, we introduce the notion of architectural knowledge (AK) sustainability as a new concept to support architects dealing with the evolution of long-lived systems. Architecture sustainability refers to the ability of the architecture to endure over time with the minimum number of refactoring cycles possible. We suggest that sustainability of the AK is a function of how stable the decisions are, and we discuss a set of sustainability criteria and metrics useful to estimate the sustainability of this AK.


title: Geodesic Convolutional Shape Optimization

abstract: Aerodynamic shape optimization has many industrial applications. Existing methods, however, are so computationally demanding that typical engineering practices are to either simply try a limited number of hand-designed shapes or restrict oneself to shapes that can be parameterized using only few degrees of freedom. In this work, we introduce a new way to optimize complex shapes fast and accurately. To this end, we train Geodesic Convolutional Neural Networks to emulate a fluidynamics simulator. The key to making this approach practical is remeshing the original shape using a polycube map, which makes it possible to perform the computations on GPUs instead of CPUs. The neural net is then used to formulate an objective function that is differentiable with respect to the shape parameters, which can then be optimized using a gradient-based technique. This outperforms state- of-the-art methods by 5 to 20% for standard problems and, even more importantly, our approach applies to cases that previous methods cannot handle.


title: Crack initiation in viscoelastic materials

abstract: In viscoelastic materials, individually short-lived bonds collectively result in a mechanical resistance which is long-lived but finite, as ultimately cracks appear. Here we provide a microscopic mechanism by which cracks emerge from the nonlinear local bond dynamics. This mechanism is different from crack initiation in solids, which is governed by a competition between elastic and adhesion energy. We provide and numerically verify analytical equations for the dependence of the critical crack length on the bond kinetics and applied stress.


title: Resonant-light diffusion in a disordered atomic layer

abstract: Light scattering in dense media is a fundamental problem of many-body physics, which is also relevant for the development of optical devices. In this work we investigate experimentally light propagation in a dense sample of randomly positioned resonant scatterers confined in a layer of sub-wavelength thickness. We locally illuminate the atomic cloud and monitor spatially-resolved fluorescence away from the excitation region. We show that light spreading is well described by a diffusion process, involving many scattering events in the dense regime. For light detuned from resonance we find evidence that the atomic layer behaves as a graded-index planar waveguide. These features are reproduced by a simple geometrical model and numerical simulations of coupled dipoles.


title: High-resolution observations of IRAS 08544-4431. Detection of a disk orbiting a post-AGB star and of a slow disk wind

abstract: We are studying a class of binary post-AGB stars that seem to be systematically surrounded by equatorial disks and slow outflows. Although the rotating dynamics had only been well identified in three cases, the study of such structures is thought to be fundamental to the understanding of the formation of nebulae around evolved stars. We present ALMA maps of 12CO and 13CO J=3-2 lines in one of these sources, IRAS08544-4431. We analyzed the data by means of nebula models, which account for the expectedly composite source and can reproduce the data. From our modeling, we estimated the main nebula parameters, including the structure and dynamics and the density and temperature distributions. We discuss the uncertainties of the derived values and, in particular, their dependence on the distance. Our observations reveal the presence of an equatorial disk in rotation; a low-velocity outflow is also found, probably formed of gas expelled from the disk. The main characteristics of our observations and modeling of IRAS08544-4431 are similar to those of better studied objects, confirming our interpretation. The disk rotation indicates a total central mass of about 1.8 Mo, for a distance of 1100 pc. The disk is found to be relatively extended and has a typical diameter of ~ 4 10^16 cm. The total nebular mass is ~ 2 10^-2 Mo, of which ~ 90% corresponds to the disk. Assuming that the outflow is due to mass loss from the disk, we derive a disk lifetime of ~ 10000 yr. The disk angular momentum is found to be comparable to that of the binary system at present. Assuming that the disk angular momentum was transferred from the binary system, as expected, the high values of the disk angular momentum in this and other similar disks suggest that the size of the stellar orbits has significantly decreased as a consequence of disk formation.


title: Efficient Bias-Span-Constrained Exploration-Exploitation in Reinforcement Learning

abstract: We introduce SCAL, an algorithm designed to perform efficient exploration-exploitation in any unknown weakly-communicating Markov decision process (MDP) for which an upper bound $c$ on the span of the optimal bias function is known. For an MDP with $S$ states, $A$ actions and $\Gamma \leq S$ possible next states, we prove a regret bound of $\widetilde{O}(c\sqrt{\Gamma SAT})$, which significantly improves over existing algorithms (e.g., UCRL and PSRL), whose regret scales linearly with the MDP diameter $D$. In fact, the optimal bias span is finite and often much smaller than $D$ (e.g., $D=\infty$ in non-communicating MDPs). A similar result was originally derived by Bartlett and Tewari (2009) for REGAL.C, for which no tractable algorithm is available. In this paper, we relax the optimization problem at the core of REGAL.C, we carefully analyze its properties, and we provide the first computationally efficient algorithm to solve it. Finally, we report numerical simulations supporting our theoretical findings and showing how SCAL significantly outperforms UCRL in MDPs with large diameter and small span.


title: Field theoretical derivation of L\"uscher's formula and calculation of finite volume form factors

abstract: We initiate a systematic method to calculate both the finite volume energy levels and form factors from the momentum space finite volume two-point function. By expanding the two point function in the volume we extracted the leading exponential volume correction both to the energy of a moving particle state and to the simplest non-diagonal form factor. The form factor corrections are given in terms of a regularized infinite volume 3-particle form factor and terms related to the L\"usher correction of the momentum quantization. We tested these results against second order Lagrangian and Hamiltonian perturbation theory in the sinh-Gordon theory and we obtained perfect agreement.


title: Controllability Analysis of Threshold Graphs and Cographs

abstract: In this paper, we investigate the controllability of a linear time-invariant network following a Laplacian dynamics defined on a threshold graph. In this direction, an algorithm for deriving the modal matrix associated with the Laplacian matrix for this class of graphs is presented. Then, based on the Popov-Belevitch-Hautus criteria, a procedure for the selection of control nodes is proposed. The procedure involves partitioning the nodes of the graph into cells with the same degree; one node from each cell is then selected. We show that the remaining nodes can be chosen as the control nodes rendering the network controllable. Finally, we consider a wider class of graphs, namely cographs, and examine their controllability properties.


title: Fair and Diverse DPP-based Data Summarization

abstract: Sampling methods that choose a subset of the data proportional to its diversity in the feature space are popular for data summarization. However, recent studies have noted the occurrence of bias (under- or over-representation of a certain gender or race) in such data summarization methods. In this paper we initiate a study of the problem of outputting a diverse and fair summary of a given dataset. We work with a well-studied determinantal measure of diversity and corresponding distributions (DPPs) and present a framework that allows us to incorporate a general class of fairness constraints into such distributions. Coming up with efficient algorithms to sample from these constrained determinantal distributions, however, suffers from a complexity barrier and we present a fast sampler that is provably good when the input vectors satisfy a natural property. Our experimental results on a real-world and an image dataset show that the diversity of the samples produced by adding fairness constraints is not too far from the unconstrained case, and we also provide a theoretical explanation of it.


title: Universal Noise in Continuous Transport Measurements of Interacting Fermions

abstract: We propose and analyze continuous measurements of atom number and atomic currents using dispersive probing in an optical cavity. For an atom-number measurement in a closed system, we relate both the detection noise and the heating rate due to measurement back-action to Tan's contact, and identify an emergent universal quantum non-demolition (QND) regime in the good-cavity limit. We then show that such a continuous QND measurement of atom number serves as a quantum-limited current transducer in a two-terminal setup. We derive a universal bound on the precision of current measurement, which results from a tradeoff between detection noise and back-action of the atomic current measurement. Our results apply regardless of the strength of interaction or the state of matter and set fundamental bounds on future precision measurements of transport properties in cold-atom quantum simulators.


title: Can effective muon g-2 depend on the gravitational potential?

abstract: Contrary to the claim in a series of recent papers, we show that it cannot. A source of the error in those papers is misinterpretation of coordinate time as a physical time.


title: Multipliers between range spaces of co-analytic Toeplitz operators

abstract: In this paper we discuss the multipliers between range spaces of co-analytic Toeplitz operators.


title: Cosmological simulation with dust formation and destruction

abstract: To investigate the evolution of dust in a cosmological volume, we perform hydrodynamic simulations, in which the enrichment of metals and dust is treated self-consistently with star formation and stellar feedback. We consider dust evolution driven by dust production in stellar ejecta, dust destruction by sputtering, grain growth by accretion and coagulation, and grain disruption by shattering, and treat small and large grains separately to trace the grain size distribution. After confirming that our model nicely reproduces the observed relation between dust-to-gas ratio and metallicity for nearby galaxies, we concentrate on the dust abundance over the cosmological volume in this paper. The comoving dust mass density has a peak at redshift $z\sim 1$--2, coincident with the observationally suggested dustiest epoch in the Universe. {In the local Universe}, roughly 10 per cent of the dust is contained in the intergalactic medium (IGM), where only 1/3--1/4 of the dust survives against dust destruction by sputtering. We also show that the dust mass function is roughly reproduced at $\lesssim 10^8$ M$_\odot$, while the massive end still has a discrepancy, which indicates {the necessity of stronger feedback in massive galaxies}. %%The relation showed that accretion is essential for dusty galaxies. In addition, our model broadly reproduces the observed radial profile of dust surface density in the circum-galactic medium (CGM). While our model satisfies the observational constraints for the dust extinction {on cosmological scales}, it predicts that the dust in the CGM and IGM is dominated by large ($> 0.03~\mu$m) grains, which is in tension with the steep reddening curves {observed} in the CGM.


title: Automatic Generation of Language-Independent Features for Cross-Lingual Classification

abstract: Many applications require categorization of text documents using predefined categories. The main approach to performing text categorization is learning from labeled examples. For many tasks, it may be difficult to find examples in one language but easy in others. The problem of learning from examples in one or more languages and classifying (categorizing) in another is called cross-lingual learning. In this work, we present a novel approach that solves the general cross-lingual text categorization problem. Our method generates, for each training document, a set of language-independent features. Using these features for training yields a language-independent classifier. At the classification stage, we generate language-independent features for the unlabeled document, and apply the classifier on the new representation. To build the feature generator, we utilize a hierarchical language-independent ontology, where each concept has a set of support documents for each language involved. In the preprocessing stage, we use the support documents to build a set of language-independent feature generators, one for each language. The collection of these generators is used to map any document into the language-independent feature space. Our methodology works on the most general cross-lingual text categorization problems, being able to learn from any mix of languages and classify documents in any other language. We also present a method for exploiting the hierarchical structure of the ontology to create virtual supporting documents for languages that do not have them. We tested our method, using Wikipedia as our ontology, on the most commonly used test collections in cross-lingual text categorization, and found that it outperforms existing methods.


title: Growth Modes and Chiral Selectivity of Single-Walled Carbon Nanotubes

abstract: Chemical vapor deposition synthesis of single-walled carbon nanotubes experiments, using Fe catalyst, and alternating methane and carbon monoxide as carbon feedstocks, lead to the reversible formation of junctions between tubes of different diameters. Combined with an atomistic modeling of the tube / catalyst interface, this shows that the ratio of diameters of the tube and its seeding particle, denoting the growth mode, depends on the carbon fraction inside the catalyst. With carbon monoxide, nanoparticles are strongly carbon enriched, and tend to dewet the tube, in a perpendicular growth mode. Cross-checking our results with available reports from the literature of the last decade strongly suggests that these latter conditions should favor the near armchair chiral selectivity observed empirically.


title: Introducer Concepts in n-Dimensional Contexts

abstract: Concept lattices are well-known conceptual structures that organise interesting patterns-the concepts-extracted from data. In some applications, such as software engineering or data mining, the size of the lattice can be a problem, as it is often too large to be efficiently computed, and too complex to be browsed. For this reason, the Galois Sub-Hierarchy, a restriction of the concept lattice to introducer concepts, has been introduced as a smaller alternative. In this paper, we generalise the Galois Sub-Hierarchy to n-lattices, conceptual structures obtained from multidimensional data in the same way that concept lattices are obtained from binary relations.


title: Rack-Aware Regenerating Codes for Data Centers

abstract: Erasure coding is widely used for massive storage in data centers to achieve high fault tolerance and low storage redundancy. Since the cross-rack communication cost is often high, it is critical to design erasure codes that minimize the cross-rack repair bandwidth during failure repair. In this paper, we analyze the optimal trade-off between storage redundancy and cross-rack repair bandwidth specifically for data centers, subject to the condition that the original data can be reconstructed from a sufficient number of any non-failed nodes. We characterize the optimal trade-off curve under functional repair, and propose a general family of erasure codes called rack-aware regenerating codes (RRC), which achieve the optimal trade-off. We further propose exact repair constructions of RRC that have minimum storage redundancy and minimum cross-rack repair bandwidth, respectively. We show that (i) the minimum storage redundancy constructions support a wide range of parameters and have cross-rack repair bandwidth that is strictly less than that of the classical minimum storage regenerating codes in most cases, and (ii) the minimum cross-rack repair bandwidth constructions support all the parameters and have less cross-rack repair bandwidth than that of the minimum bandwidth regenerating codes for almost all of the parameters.


title: Average Size of Implicational Bases

abstract: Implicational bases are objects of interest in formal concept analysis and its applications. Unfortunately, even the smallest base, the Duquenne-Guigues base, has an exponential size in the worst case. In this paper, we use results on the average number of minimal transversals in random hypergraphs to show that the base of proper premises is, on average, of quasi-polynomial size.


title: Extension of holomorphic functions defined on singular complex hypersurfaces with growth estimates in strictly pseudoconvex domains of $C^n$

abstract: Let $D$ be a strictly pseudoconvex domain and $X$ be a singular analytic set of pure dimension $n-1$ in $C^n$ such that $X\cap D\neq \emptyset$ and $X\cap bD$ is transverse. We give sufficient conditions for a function holomorphic on $D\cap X$ to admit a holomorphic extension which belongs to $L^q(D),$ $q\in [1,+\infty[$, or to $BMO(D)$. The extension is given by mean of integral representation formulas and residue currents.