title: Compression and phase diagram of lithium hydrides at elevated pressures and temperatures by first-principles calculations

abstract: High pressure and high temperature properties of AB (A = $^6$Li, $^7$Li; B = H, D, T) are investigated with first-principles method comprehensively. It is found that the H$^{-}$ sublattice features in the low-pressure electronic structure near the Fermi level of LiH are shifted to that dominated by the Li$^{+}$ sublattice in compression. The lattice dynamics is studied in quasi-harmonic approximation, from which the phonon contribution to the free energy and the isotopic effects are accurately modelled with the aid of a parameterized double-Debye model. The obtained equation of state (EOS) matches perfectly with available static experimental data. The calculated principal Hugoniot is also in accordance with that derived from shock wave experiments. Using the calculated principal Hugoniot and the previous theoretical melting curve, we predict a shock melting point at 56 GPa and 1923 K. In order to establish the phase diagram for LiH, the phase boundaries between the B1 and B2 solid phases are explored. The B1-B2-liquid triple point is determined at about 241 GPa and 2413 K. The remarkable shift in the phase boundaries by isotopic effect and temperature reveal the significant role played by lattice vibrations. Furthermore, the Hugoniot of the static-dynamic coupling compression is assessed. Our EOS suggests that a precompression of the sample to 50 GPa will allow the shock Hugoniot passing through the triple point and entering the B2 solid phase. This transition leads to a discontinuity with 4.6% volume collapse, about four times greater than the same B1-B2 transition at zero temperature.


title: Superimposition of eye fundus images for longitudinal analysis from large public health databases

abstract: In this paper, a method is presented for superimposition (i.e. registration) of eye fundus images from persons with diabetes screened over many years for diabetic retinopathy. The method is fully automatic and robust to camera changes and colour variations across the images both in space and time. All the stages of the process are designed for longitudinal analysis of cohort public health databases where retinal examinations are made at approximately yearly intervals. The method relies on a model correcting two radial distortions and an affine transformation between pairs of images which is robustly fitted on salient points. Each stage involves linear estimators followed by non-linear optimisation. The model of image warping is also invertible for fast computation. The method has been validated (1) on a simulated montage and (2) on public health databases with 69 patients with high quality images (271 pairs acquired mostly with different types of camera and 268 pairs acquired mostly with the same type of camera) with success rates of 92% and 98%, and five patients (20 pairs) with low quality images with a success rate of 100%. Compared to two state-of-the-art methods, ours gives better results.


title: Age velocity dispersion relations and heating histories in disc galaxies

abstract: We analyse the heating of stellar discs by non axisymmetric structures and giant molecular clouds (GMCs) in N-body simulations of growing disc galaxies. The analysis resolves long-standing discrepancies between models and data by demonstrating the importance of distinguishing between measured age-velocity dispersion relations (AVRs) and the heating histories of the stars that make up the AVR. We fit both AVRs and heating histories with formulae proportional to t^beta and determine the exponents beta_R and beta_z derived from in-plane and vertical AVRs and ~beta_R and ~beta_z from heating histories. Values of beta_z are in almost all simulations larger than values of ~beta_z, whereas values of beta_R are similar to or mildly larger than values of ~beta_R. Moreover, values of beta_z (~beta_z) are generally larger than values of beta_R (~beta_R). The dominant cause of these relations is the decline over the life of the disc in importance of GMCs as heating agents relative to spiral structure and the bar. We examine how age errors and biases in solar neighbourhood surveys influence the measured AVR: they tend to decrease beta values by smearing out ages and thus measured dispersions. We compare AVRs and velocity ellipsoid shapes sigma_z/sigma_R from simulations to Solar neighbourhood data. We conclude that for the expected disc mass and dark halo structure, combined GMC and spiral/bar heating can explain the AVR of the Galactic thin disc. Strong departures of the disc mass or the dark halo structure from expectation spoil fits to the data.


title: On the relation between hyperrings and fuzzy rings

abstract: We construct a full embedding of the category of hyperfields into Dress's category of fuzzy rings and explicitly characterize the essential image --- it fails to be essentially surjective in a very minor way. This embedding provides an identification of Baker's theory of matroids over hyperfields with Dress's theory of matroids over fuzzy rings (provided one restricts to those fuzzy rings in the essential image). The embedding functor extends from hyperfields to hyperrings, and we study this extension in detail. We also analyze the relation between hyperfields and Baker's partial demifields.


title: Does Eulerian percolation on $Z^2$ percolate ?

abstract: Eulerian percolation on Z 2 with parameter p is the classical Bernoulli bond percolation with parameter p conditioned on the fact that every site has an even degree. We first explain why Eulerian percolation with parameter p coincides with the contours of the Ising model for a well-chosen parameter $\beta$(p). Then we study the percolation properties of Eulerian percolation.


title: Kinetic theory of particle interactions mediated by dynamical networks

abstract: We provide a detailed multiscale analysis of a system of particles interacting through a dynamical network of links. Starting from a microscopic model, via the mean field limit, we formally derive coupled kinetic equations for the particle and link densities, following the approach of [Degond et al., M3AS, 2016]. Assuming that the process of remodelling the network is very fast, we simplify the description to a macroscopic model taking the form of single aggregation-diffusion equation for the density of particles. We analyze qualitatively this equation, addressing the stability of a homogeneous distribution of particles for a general potential. For the Hookean potential we obtain a precise condition for the phase transition, and, using the central manifold reduction, we characterize the type of bifurcation at the instability onset.


title: Neutron monitors and muon detectors for solar modulation studies: 2. $\phi$ time series

abstract: The level of solar modulation at different times (related to the solar activity) is a central question of solar and galactic cosmic-ray physics. In the first paper of this series, we have established a correspondence between the uncertainties on ground-based detectors count rates and the parameter $\phi$ (modulation level in the force-field approximation) reconstructed from these count rates. In this second paper, we detail a procedure to obtain a reference $\phi$ time series from neutron monitor data. We show that we can have an unbiased and accurate $\phi$ reconstruction ($\Delta\phi/\phi\simeq 10\%$). We also discuss the potential of Bonner spheres spectrometers and muon detectors to provide $\phi$ time series. Two by-products of this calculation are updated $\phi$ values for the cosmic-ray database and a web interface to retrieve and plot $\phi$ from the 50's to today (\url{http://lpsc.in2p3.fr/crdb}).


title: Deep Depth Super-Resolution : Learning Depth Super-Resolution using Deep Convolutional Neural Network

abstract: Depth image super-resolution is an extremely challenging task due to the information loss in sub-sampling. Deep convolutional neural network have been widely applied to color image super-resolution. Quite surprisingly, this success has not been matched to depth super-resolution. This is mainly due to the inherent difference between color and depth images. In this paper, we bridge up the gap and extend the success of deep convolutional neural network to depth super-resolution. The proposed deep depth super-resolution method learns the mapping from a low-resolution depth image to a high resolution one in an end-to-end style. Furthermore, to better regularize the learned depth map, we propose to exploit the depth field statistics and the local correlation between depth image and color image. These priors are integrated in an energy minimization formulation, where the deep neural network learns the unary term, the depth field statistics works as global model constraint and the color-depth correlation is utilized to enforce the local structure in depth images. Extensive experiments on various depth super-resolution benchmark datasets show that our method outperforms the state-of-the-art depth image super-resolution methods with a margin.


title: Multiple zeta functions of Kaneko-Tsumura type and their values at positive integers

abstract: Kaneko and Tsumura introduced a new kind of multiple zeta functions $\eta(k_1,\ldots,k_r;s_1,\ldots,s_r)$. This is an analytic function of complex variables $s_1,\ldots,s_r$, while $k_1,\ldots,k_r$ are non-positive integer parameters. In this paper, we first extend this function to an analytic function $\eta(s'_1,\ldots,s'_r;s_1,\ldots,s_r)$ of $2r$ complex variables. Then we investigate its special values at positive integers. In particular, we prove some linear relations among these $\eta$-values and the multiple zeta values $\zeta(k_1,\ldots,k_r)$ of Euler-Zagier type.


title: Untrimmed Video Classification for Activity Detection: submission to ActivityNet Challenge

abstract: Current state-of-the-art human activity recognition is focused on the classification of temporally trimmed videos in which only one action occurs per frame. We propose a simple, yet effective, method for the temporal detection of activities in temporally untrimmed videos with the help of untrimmed classification. Firstly, our model predicts the top k labels for each untrimmed video by analysing global video-level features. Secondly, frame-level binary classification is combined with dynamic programming to generate the temporally trimmed activity proposals. Finally, each proposal is assigned a label based on the global label, and scored with the score of the temporal activity proposal and the global score. Ultimately, we show that untrimmed video classification models can be used as stepping stone for temporal detection.


title: Joint reconstruction strategy for structured illumination microscopy with unknown illuminations

abstract: The blind structured illumination microscopy (SIM) strategy proposed in (Mudry et al., 1992) is fully re-founded in this paper, unveiling the central role of the sparsity of the illumination patterns in the mechanism that drives super-resolution in the method. A numerical analysis shows that the resolving power of the method can be further enhanced with optimized one-photon or two-photon speckle illuminations. A much improved numerical implementation is provided for the reconstruction problem under the image positivity constraint. This algorithm rests on a new preconditioned proximal iteration faster than existing solutions, paving the way to 3D and real-time 2D reconstruction


title: Nesterov's Accelerated Gradient and Momentum as approximations to Regularised Update Descent

abstract: We present a unifying framework for adapting the update direction in gradient-based iterative optimization methods. As natural special cases we re-derive classical momentum and Nesterov's accelerated gradient method, lending a new intuitive interpretation to the latter algorithm. We show that a new algorithm, which we term Regularised Gradient Descent, can converge more quickly than either Nesterov's algorithm or the classical momentum algorithm.


title: Gamma factors root numbers and distinction

abstract: We study a relation between distinction and special values of local invariants for representations of the general linear group over a quadratic extension of $p$-adic fields. We show that the local Rankin-Selberg root number of any pair of distinguished representation is trivial and as a corollary we obtain an analogue for the global root number of any pair of distinguished cuspidal representations. We further study the extent to which the gamma factor at $1/2$ is trivial for distinguished representations as well as the converse problem.


title: Synchronization Detection in Networks of Coupled Oscillators for Pattern Recognition

abstract: Coupled oscillator-based networks are an attractive approach for implementing hardware neural networks based on emerging nanotechnologies. However, the readout of the state of a coupled oscillator network is a difficult challenge in hardware implementations, as it necessitates complex signal processing to evaluate the degree of synchronization between oscillators, possibly more complicated than the coupled oscillator network itself. In this work, we focus on a coupled oscillator network particularly adapted to emerging technologies, and evaluate two schemes for reading synchronization patterns that can be readily implemented with basic CMOS circuits. Through simulation of a simple generic coupled oscillator network, we compare the operation of these readout techniques with a previously proposed full statistics evaluation scheme. Our approaches provide results nearly identical to the mathematical method, but also show better resilience to moderate noise, which is a major concern for hardware implementations. These results open the door to widespread realization of hardware coupled oscillator-based neural systems.


title: Many-body decoherence dynamics and optimised operation of a single-photon switch

abstract: We develop a theoretical framework to characterize the decoherence dynamics due to multi-photon scattering in an all-optical switch based on Rydberg atom induced nonlinearities. By incorporating the knowledge of this decoherence process into optimal photon storage and retrieval strategies, we establish optimised switching protocols for experimentally relevant conditions, and evaluate the corresponding limits in the achievable fidelities. Based on these results we work out a simplified description that reproduces recent experiments [arXiv:1511.09445] and provides a new interpretation in terms of many-body decoherence involving multiple incident photons and multiple gate excitations forming the switch. Aside from offering insights into the operational capacity of realistic photon switching capabilities, our work provides a complete description of spin wave decoherence in a Rydberg quantum optics setting, and has immediate relevance to a number of further applications employing photon storage in Rydberg media.


title: A Common Derivation for Markov Chain Monte Carlo Algorithms with Tractable and Intractable Targets

abstract: Markov chain Monte Carlo is a class of algorithms for drawing Markovian samples from high-dimensional target densities to approximate the numerical integration associated with computing statistical expectation, especially in Bayesian statistics. However, many Markov chain Monte Carlo algorithms do not seem to share the same theoretical support and each algorithm is proven in a different way. This incurs many terminologies and ancillary concepts, which makes Markov chain Monte Carlo literature seems to be scattered and intimidating to researchers from many other fields, including new researchers of Bayesian statistics. A generalised version of the Metropolis-Hastings algorithm is constructed with a random number generator and a self-reverse mapping. This formulation admits many other Markov chain Monte Carlo algorithms as special cases. A common derivation for many Markov chain Monte Carlo algorithms is useful in drawing connections and comparisons between these algorithms. As a result, we now can construct many novel combinations of multiple Markov chain Monte Carlo algorithms that amplify the efficiency of each individual algorithm. Specifically, we propose two novel sampling schemes that combine slice sampling with directional or Hamiltonian sampling. Our Hamiltonian slice sampling scheme is also applicable in the pseudo-marginal context where the target density is intractable but can be unbiasedly estimated, e.g. using particle filtering.


title: On multiscale Gevrey and q-Gevrey asymptotics for some linear q-difference differential initial value Cauchy problems

abstract: We study the asymptotic behavior of the solutions related to a singularly perturbed q-difference-differential problem in the complex domain. The analytic solution can be splitted according to the nature of the equation and its geometry so that both, Gevrey and q-Gevrey asymptotic phenomena are observed and can be distinguished, relating the analytic and the formal solution. The proof leans on a two level novel version of Ramis-Sibuya theorem under Gevrey and q-Gevrey orders.


title: Numerical study of blow-up and stability of line solitons for the Novikov-Veselov equation

abstract: We study numerically the evolution of perturbed Korteweg-de Vries solitons and of well localized initial data by the Novikov-Veselov (NV) equation at different levels of the "energy" parameter $ E $. We show that as $ |E| \to \infty $, NV behaves, as expected, similarly to its formal limit, the Kadomtsev-Petviashvili equation. However at intermediate regimes, i.e. when $ | E | $ is not very large, more varied scenarios are possible, in particular, blow-ups are observed. The mechanism of the blow-up is studied.


title: Note on the Coulomb blockade of a weak tunnel junction with Nyquist noise: Conductance formula for a broad temperature range

abstract: We revisit the Coulomb blockade of the tunnel junction with conductance much smaller than $e^2/\hbar$. We study the junction with capacitance $C$, embedded in an Ohmic electromagnetic environment modelled by a series resistance $R$ which produces the Nyquist noise. In the semiclassical limit the Nyquist noise charges the junction by a random charge with a Gaussian distribution. Assuming the Gaussian distribution, we derive analytically the temperature-dependent junction conductance $G(T)$ valid for temperatures $k_BT \gtrsim (R_K/2\pi R)E_c$ and resistances $R \gtrsim R_K$, where $R_K = h/e^2$ and $E_c=e^2/2C \ \text{is}$ the single-electron charging energy. Our analytical result shows the leading dependence $G(T) \propto e^{-E_c/4k_BT}$, so far believed to exist only if $(R_K/\pi R)E_c \ll k_BT \ll E_c$ and $R \gg R_K$. The validity of our result for $k_BT \gtrsim (R_K/2\pi R)E_c$ and $R \gtrsim R_K$ is confirmed by a good agreement with the numerical studies which do not assume the semiclassical limit, and by a reasonable agreement with experimental data for $R$ as low as $R_K$. Our result also reproduces various asymptotic formulae derived in the past. The factor of $1/4$ in the activation energy $E_c/4$ is due to the semiclassical Nyquist noise.


title: Demand-Flow of Agents with Gross-Substitute Valuations

abstract: We consider the class of valuations on indivisible items called gross-substitute (GS). This class was introduced by Kelso and Crawford (1982) and is widely used in studies of markets with indivisibilities. GS is a condition on the demand-flow in a specific scenario: some items become more expensive while other items retain their price. We prove that GS implies a much stronger condition, describing the demand-flow in the general scenario in which all prices may change. We prove that the demand of GS agents always flows (weakly) downwards, i.e, from items with higher price-increase to items with lower price-increase. We show that this property is equivalent to GS and is not true when there are complementarities.


title: A Maturity Model for Public Administration as Open Translation Data Providers

abstract: Any public administration that produces translation data can be a provider of useful reusable data to meet its own translation needs and the ones of other public organizations and private companies that work with texts of the same domain. These data can also be crucial to produce domain-tuned Machine Translation systems. The organization's management of the translation process, the characteristics of the archives of the generated resources and of the infrastructure available to support them determine the efficiency and the effectiveness with which the materials produced can be converted into reusable data. However, it is of utmost importance that the organizations themselves first become aware of the goods they are producing and, second, adapt their internal processes to become optimal providers. In this article, we propose a Maturity Model to help these organizations to achieve it by identifying the different stages of the management of translation data that determine the path to the aforementioned goal.


title: Distributed optimal control of a nonstandard nonlocal phase field system with double obstacle potential

abstract: This paper is concerned with a distributed optimal control problem for a nonlocal phase field model of Cahn-Hilliard type, which is a nonlocal version of a model for two-species phase segregation on an atomic lattice under the presence of diffusion. The local model has been investigated in a series of papers by P. Podio-Guidugli and the present authors; the nonlocal model studied here consists of a highly nonlinear parabolic equation coupled to an ordinary differential inclusion of subdifferential type. The inclusion originates from a free energy containing the indicator function of the interval in which the order parameter of the phase segregation attains its values. It also contains a nonlocal term modeling long-range interactions. Due to the strong nonlinear couplings between the state variables (which even involve products with time derivatives), the analysis of the state system is difficult. In addition, the presence of the differential inclusion is the reason that standard arguments of optimal control theory cannot be applied to guarantee the existence of Lagrange multipliers. In this paper, we employ recent results proved for smooth logarithmic potentials and perform a so-called `deep quench' approximation to establish existence and first-order necessary optimality conditions for the nonsmooth case of the double obstacle potential.


title: The 0.7 anomaly in quantum point contact; many-body or single-electron effect?

abstract: Apart from usual quantization steps on the ballistic conductance of a quasi-one-dimensional conductor, an additional plateau-like feature appears at a fraction of about 0.7 below the first conductance step in GaAs-based quantum point contacts (QPCs). Despite a tremendous amount of research on this anomalous feature, its origin remains still unclear. Here, a unique model of this anomaly is proposed relied on fundamental principles of quantum mechanics. It is noticed that just after opening a quasi-1D conducting channel in the QPC a single electron travels the channel at a time, and such electron can be - in principle - observed. The act of observation destroys superposition of spin states, in which the electron otherwise exists, and this suppresses their quantum interference. It is shown that the QPC-conductance is then reduded by a factor of 0.74. "Visibility" of electron is enhanced if the electron spends some time in the channel due to resonant transmission. Electron's resonance can also explain an unusual temperature behaviour of the anomaly, as well as its recently discovered feature: oscillatory modulation as a function of the channel length and electrostatic potential. A recipe for experimental verification of the model is given.


title: Biabduction (and Related Problems) in Array Separation Logic

abstract: We investigate array separation logic (ASL), a variant of symbolic-heap separation logic in which the data structures are either pointers or arrays, i.e., contiguous blocks of allocated memory. This logic provides a language for compositional memory safety proofs of imperative array programs. We focus on the biabduction problem for this logic, which has been established as the key to automatic specification inference at the industrial scale. We present an NP decision procedure for biabduction in ASL that produces solutions of reasonable quality, and we also show that the problem of finding a consistent solution is NP-hard. Along the way, we study satisfiability and entailment in our logic, giving decision procedures and complexity bounds for both problems. We show satisfiability to be NP-complete, and entailment to be decidable with high complexity. The somewhat surprising fact that biabduction is much simpler than entailment is explained by the fact that, as we show, the element of choice over biabduction solutions enables us to dramatically reduce the search space.


title: Sobolev spaces on non-Lipschitz subsets of $\mathbb{R}^n$ with application to boundary integral equations on fractal screens

abstract: We study properties of the classical fractional Sobolev spaces (or Bessel potential spaces) on non-Lipschitz subsets of $\mathbb{R}^n$. We investigate the extent to which the properties of these spaces, and the relations between them, that hold in the well-studied case of a Lipschitz open set, generalise to non-Lipschitz cases. Our motivation is to develop the functional analytic framework in which to formulate and analyse integral equations on non-Lipschitz sets. In particular we consider an application to boundary integral equations for wave scattering by planar screens that are non-Lipschitz, including cases where the screen is fractal or has fractal boundary.


title: Improper signaling and symbol extensions: How far can we go with Gaussian P2P codebooks in the interfering MAC with TIN?

abstract: Meeting the challenges of 5G demands better exploitation of the available spectrum by allowing multiple parties to share resources. For instance, a secondary unlicensed system can share resources with the cellular uplink of a primary licensed system for an improved spectral efficiency. This induces interference which has to be taken into account when designing such a system. A simple yet robust strategy is treating interference as noise (TIN), which is widely adapted in practice. It is thus important to study the capabilities and limitations of TIN in such scenarios. In this paper, we study this scenario modelled as Multiple Access Channel (MAC) interfered by a Point-to-Point (P2P) channel. Here, we focus on rate maximization and power minimization problems separately. We use improper Gaussian signaling (instead of proper) at the transmitters to increase the design flexibility, which offers the freedom of optimizing the transmit signal pseudo-variance in addition to its variance. Furthermore, we allow correlation among the transmitted signals over orthogonal resource basis (i.e., time or frequency) for the purpose of optimal signaling design over the extended channel. We formulate the rate maximization problem as a semidefinite program, and use semidefinite relaxation (SDR) to obtain a near-optimal solution. Numerical optimizations show that, by improper Gaussian signaling the achievable rates can be improved upto three times depending on the strength of the interfering links. Furthermore, we observe significant benefits in power consumption by improper Gaussian signaling with symbol extensions compared to the traditional proper Gaussian signaling. Interestingly, by minimizing sum power given the solution of the rate maximization problem improves the energy efficiency significantly.


title: Optimizing Access Mechanisms for QoS Provisioning in Hardware Constrained Dynamic Spectrum Access

abstract: One of the major challenges in Dynamic Spectrum Access (DSA) systems is to guarantee a required level of Quality of Service (QoS) to secondary users of the spectrum. In this paper, we propose efficient algorithms for deriving optimal policies for the sensing / transmitting trade-off in hardware-constrained DSA systems. Unlike previous approaches which seek to maximize mean data rate for the secondary users, the proposed algorithms derive policies which minimize the probability of excessive queuing delays. Large Deviations (LD) asymptotics are used to approximate the probability of interest and policies maximizing the associated LD exponent are proposed. Although dynamic programming is not able to identify the optimal policy in this case, much more efficient algorithms than exhaustive search are proposed. These algorithms are based on specific properties of the optimal policy which are described and proven in this paper.


title: On the semi-convergence of regularized HSS iteration methods for singular saddle point problems from the Stokes equations

abstract: Recently, Bai and Benzi proposed a class of regularized Hermitian and skew-Hermitian splitting methods (RHSS) iteration methods for solving the nonsingular saddle point problem. In this paper, we apply this method to solve the singular saddle point problem from the Stokes equations. In the process of the semi-convergence analysis, we get that the RHSS method and the HSS method are unconditionally semi-convergent, which weaken the previous results. Then some spectral properties of the corresponding preconditioned matrix and a class of improved preconditioned matrix are analyzed. Finally, some numerical experiments on linear systems arising from the discretization of the Stokes equations are presented to illustrate the feasibility and effectiveness of this method and preconditioners.


title: On the Ages of Resonant, Eroded and Fossil Asteroid Families

abstract: In this work we have estimated 10 collisional ages of 9 families for which for different reasons our previous attempts failed. In general, these are difficult cases that required dedicated effort, such as a new family classifications for asteroids in mean motion resonances, as well as a revision of the classification inside the $3/2$ resonance. Of the families locked in mean motion resonances, we succeeded in determining ages of the families of (1911) Schubart and of the "super-Hilda" family, assuming this is actually a severely eroded original family of (153) Hilda. In the Trojan region we found families with almost no Yarkovsky evolution, for which we could compute only physically implausible ages. Hence, we interpreted their modest dispersions of proper eccentricities and inclinations as implying that the Trojan asteroid families are fossil families, frozen at their proper elements determined by the original ejection velocity field. We have found a new family, among the Griquas locked in the 2/1 resonance with Jupiter: (11097) 1994 UD1. We have estimated the ages of 6 families affected by secular resonances: families of (5) Astraea, (25) Phocaea, (283) Emma, (363) Padua, (686) Gersuind, and (945) Barcelona. By using a numerical calibration method, we have shown that the secular resonances do not affect significanly the secular change of proper a. For the family of (145) Adeona we could estimate the age only after removal of a number of assumed interlopers. With the present paper we have concluded the series dedicated to the determination of asteroid ages with a uniform method. We computed the ages for a total of 57 families with $>100$ members. There remain families too small at present to provide reliable estimates, as well as some complex families (221, 135, 298) which may have more ages than we could currently estimate.


title: Inferring the contiguity matrix for spatial autoregressive analysis with applications to house price prediction

abstract: Inference methods in traditional statistics, machine learning and data mining assume that data is generated from an independent and identically distributed (iid) process. Spatial data exhibits behavior for which the iid assumption must be relaxed. For example, the standard approach in spatial regression is to assume the existence of a contiguity matrix which captures the spatial autoregressive properties of the data. However all spatial methods, till now, have assumed that the contiguity matrix is given apriori or can be estimated by using a spatial similarity function. In this paper we propose a convex optimization formulation to solve the spatial autoregressive regression (SAR) model in which both the contiguity matrix and the non-spatial regression parameters are unknown and inferred from the data. We solve the problem using the alternating direction method of multipliers (ADMM) which provides a solution which is both robust and efficient. While our approach is general we use data from housing markets of Boston and Sydney to both guide the analysis and validate our results. A novel side effect of our approach is the automatic discovery of spatial clusters which translate to submarkets in the housing data sets.


title: On Centres of 3-blocks of the Ree groups $^2G_2(q)$

abstract: Let $G:={^2G_2}(q)$ be the simple Ree group with $q=3^{2k+1}$ and $k$ a positive integer. We show that the centre of the principal block $Z(kGe_0)$, where $k$ is an algebraically closed field of characteristic $3$, is not isomorphic to the centre of the Brauer corresponding block $Z(kN_G(P))$, where $N_G(P)$ is the normaliser in $G$ of a Sylow $3$-subgroup. As part of the proof, we compute the conjugacy classes of elements and the character tables of the maximal parabolic subgroups of $G$.


title: Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems

abstract: Collective Adaptive Systems (CAS) consist of a large number of spatially distributed heterogeneous entities with decentralised control and varying degrees of complex autonomous behaviour that may be competing for shared resources even when collaborating to reach common goals. It is important to carry out thorough quantitative modelling and analysis and verification of their design to investigate all aspects of their behaviour before they are put into operation. This requires combinations of formal methods and applied mathematics which moreover scale to large-scale CAS. The primary goal of FORECAST is to raise awareness in the software engineering and formal methods communities of the particularities of CAS and the design and control problems which they bring.


title: Recent development in parton shower multijet merging

abstract: Higher order calculations are necessary to predict and describe measurements in high energy collider physics. In recent years multiple approaches to combine multiple next-to-leading (NLO) order corrections with parton showers had been presented. We present on recent developments and future perspective. We highlight similarities and ambiguities in the procedure of achieving a multijet merging at NLO.


title: Tubelets: Unsupervised action proposals from spatiotemporal super-voxels

abstract: This paper considers the problem of localizing actions in videos as a sequences of bounding boxes. The objective is to generate action proposals that are likely to include the action of interest, ideally achieving high recall with few proposals. Our contributions are threefold. First, inspired by selective search for object proposals, we introduce an approach to generate action proposals from spatiotemporal super-voxels in an unsupervised manner, we call them Tubelets. Second, along with the static features from individual frames our approach advantageously exploits motion. We introduce independent motion evidence as a feature to characterize how the action deviates from the background and explicitly incorporate such motion information in various stages of the proposal generation. Finally, we introduce spatiotemporal refinement of Tubelets, for more precise localization of actions, and pruning to keep the number of Tubelets limited. We demonstrate the suitability of our approach by extensive experiments for action proposal quality and action localization on three public datasets: UCF Sports, MSR-II and UCF101. For action proposal quality, our unsupervised proposals beat all other existing approaches on the three datasets. For action localization, we show top performance on both the trimmed videos of UCF Sports and UCF101 as well as the untrimmed videos of MSR-II.


title: Hyperbolic rigidity of higher rank lattices

abstract: We prove that any action of a higher rank lattice on a Gromov-hyperbolic space is elementary. More precisely, it is either elliptic or parabolic. This is a large generalization of the fact that any action of a higher rank lattice on a tree has a fixed point. A consequence is that any quasi-action of a higher rank lattice on a tree is elliptic, i.e. it has Manning's property (QFA). Moreover, we obtain a new proof of the theorem of Farb-Kaimanovich-Masur that any morphism from a higher rank lattice to a mapping class group has finite image, without relying on the Margulis normal subgroup theorem nor on bounded cohomology. More generally, we prove that any morphism from a higher rank lattice to a hierarchically hyperbolic group has finite image. In the Appendix, Vincent Guirardel and Camille Horbez deduce rigidity results for morphisms from a higher rank lattice to various outer automorphism groups.


title: Working Locally Thinking Globally - Part I: Theoretical Guarantees for Convolutional Sparse Coding

abstract: The celebrated sparse representation model has led to remarkable results in various signal processing tasks in the last decade. However, despite its initial purpose of serving as a global prior for entire signals, it has been commonly used for modeling low dimensional patches due to the computational constraints it entails when deployed with learned dictionaries. A way around this problem has been proposed recently, adopting a convolutional sparse representation model. This approach assumes that the global dictionary is a concatenation of banded Circulant matrices. Although several works have presented algorithmic solutions to the global pursuit problem under this new model, very few truly-effective guarantees are known for the success of such methods. In the first of this two-part work, we address the theoretical aspects of the sparse convolutional model, providing the first meaningful answers to corresponding questions of uniqueness of solutions and success of pursuit algorithms. To this end, we generalize mathematical quantities, such as the $\ell_0$ norm, the mutual coherence and the Spark, to their counterparts in the convolutional setting, which intrinsically capture local measures of the global model. In a companion paper, we extend the analysis to a noisy regime, addressing the stability of the sparsest solutions and pursuit algorithms, and demonstrate practical approaches for solving the global pursuit problem via simple local processing.


title: A sharp bound on the Lebesgue constant for Leja points in the unit disk

abstract: We give a sharp bound for the Lebesgue constant associated to Leja sequences in the complex unit disk, confirming a conjecture made by Calvi and Phung in 2011


title: Optimal convection cooling flows in general geometries

abstract: We generalize a recent method for computing optimal 2D convection cooling flows in a horizontal layer to a wide range of geometries, including those relevant for technological applications. We write the problem in a conformal pair of coordinates which are the pure conduction temperature and its harmonic conjugate. We find optimal flows for cooling a cylinder in an annular domain, a hot plate embedded in a cold surface, and a channel with hot interior and cold exterior. With a constraint of fixed kinetic energy, the optimal flows are all essentially the same in the conformal coordinates. In the physical coordinates, they consist of vortices ranging in size from the length of the hot surface to a small cutoff length at the interface of the hot and cold surfaces. With the constraint of fixed enstrophy (or fixed rate of viscous dissipation), a geometry-dependent metric factor appears in the equations. The conformal coordinates are useful here because they map the problems to a rectangular domain, facilitating numerical solutions. With a small enstrophy budget, the optimal flows are dominated by vortices which have the same size as the flow domain.


title: Signatures of Steady Heating in Time Lag Analysis of Coronal Emission

abstract: Among the many ways of investigating coronal heating, the time lag method of Viall & Klimchuk (2012) is becoming increasingly prevalent as an analysis technique complementary to those traditionally used. The time lag method cross correlates light curves at a given spatial location obtained in spectral bands that sample different temperature plasmas. It has been used most extensively with data from the Atmospheric Imaging Assembly on the Solar Dynamics Observatory. We have previously applied the time lag method to entire active regions and surrounding quiet Sun and create maps of the results (Viall & Klimchuk 2012; Viall & Klimchuk 2015). We find that the majority of time lags are consistent with the cooling of coronal plasma that has been impulsively heated. Additionally, a significant fraction of the map area has a time lag of zero. This does not indicate a lack of variability. Rather, strong variability must be present, and it must occur in phase in the different channels. We have shown previously that these zero time lags are consistent with the transition region response to coronal nanoflares (Viall & Klimchuk 2015; Bradshaw & Viall 2016), but other explanations are possible. A common misconception is that the zero time lag indicates steady emission resulting from steady heating. Using simulated and observed light curves, we demonstrate here that highly correlated light curves at zero time lag are not compatible with equilibrium solutions. Such light curves can only be created by evolution.


title: Working Locally Thinking Globally - Part II: Stability and Algorithms for Convolutional Sparse Coding

abstract: The convolutional sparse model has recently gained increasing attention in the signal and image processing communities, and several methods have been proposed for solving the pursuit problem emerging from it -- in particular its convex relaxation, Basis Pursuit. In the first of this two-part work, we have provided a theoretical back-bone for this model, providing guarantees for the uniqueness of the sparsest solution and for the success of pursuit algorithms by introducing the notion of stripe sparsity and other related measures. Herein, we extend the analysis to a noisy regime, thereby considering signal perturbations and model deviations. We address questions of stability of the sparsest solutions and the success of pursuit algorithms, both greedy and convex. Classical definitions such as the RIP are generalized to the convolutional model, and existing notions such as the ERC are connected to our setting. On the algorithmic side, we demonstrate how to solve the global pursuit problem by using simple local processing, thus offering a first of its kind bridge between global modeling of signals and their patch-based local treatment.


title: Topological invariance of the Collet-Eckmann condition for one-dimensional maps

abstract: This paper is devoted to study the topological invariance of several non-uniform hyperbolicity conditions of one-dimensional maps. In contrast with the case of maps with only one critical point, it is known that for maps with several critical points the Collet-Eckmann condition is not in itself invariance under topological conjugacy. We show that the Collet-Eckmann condition together with any of several slow recurrence conditions is invariant under topological conjugacy. This extends and gives a new proof of a result by Luzzatto and Wang that also applies to the complex setting.


title: Kernel Bayesian Inference with Posterior Regularization

abstract: We propose a vector-valued regression problem whose solution is equivalent to the reproducing kernel Hilbert space (RKHS) embedding of the Bayesian posterior distribution. This equivalence provides a new understanding of kernel Bayesian inference. Moreover, the optimization problem induces a new regularization for the posterior embedding estimator, which is faster and has comparable performance to the squared regularization in kernel Bayes' rule. This regularization coincides with a former thresholding approach used in kernel POMDPs whose consistency remains to be established. Our theoretical work solves this open problem and provides consistency analysis in regression settings. Based on our optimizational formulation, we propose a flexible Bayesian posterior regularization framework which for the first time enables us to put regularization at the distribution level. We apply this method to nonparametric state-space filtering tasks with extremely nonlinear dynamics and show performance gains over all other baselines.


title: Analysis of the Very Inner Milky Way Dark Matter Distribution and Gamma-Ray Signals

abstract: We analyze the possibility that the HESS gamma-ray source at the Galactic Center could be explained as the secondary flux produced by annihilation of TeV Dark Matter (TeVDM) particles with locally enhanced density, in a region spatially compatible with the HESS observations themselves. We study the inner 100 pc considering (i) the extrapolation of several density profiles from state-of-the-art N-body + Hydrodynamics simulations of Milky Way-like galaxies, (ii) the DM spike induced by the black hole, and (iii) the DM particles scattering off by bulge stars. We show that in some cases the DM spike may provide the enhancement in the flux required to explain the cut-off in the HESS J1745-290 gamma-ray spectra as TeVDM. In other cases, it may helps to describe the spatial tail reported by HESS II at angular scales < 0.54 degrees towards Sgr A.

categories: astro-ph.HE astro-ph.CO astro-ph.IM hep-ph


title: Waveguide metacouplers for in-plane polarimetry

abstract: The state of polarization (SOP) is an inherent property of the vectorial nature of light and a crucial parameter in a wide range of remote sensing applications. Nevertheless, the SOP is rather cumbersome to probe experimentally, as conventional detectors only respond to the intensity of the light, hence loosing the phase information between orthogonal vector components. In this work, we propose a new type of polarimeter that is compact and well-suited for in-plane optical circuitry, while allowing for immediate determination of the SOP through simultaneous retrieval of the associated Stokes parameters. The polarimeter is based on plasmonic phase-gradient birefringent metasurfaces that facilitate normal incident light to launch in-plane photonic waveguide modes propagating in six predefined directions with the coupling efficiencies providing a direct measure of the incident SOP. The functionality and accuracy of the polarimeter, which essentially is an all-polarization sensitive waveguide metacoupler, is confirmed through full-wave simulations at the operation wavelength of 1.55$\mu$m.


title: Computationally Efficient Covert Communication

abstract: In this paper, we design the first computationally efficient codes for simultaneously reliable and covert communication over Binary Symmetric Channels (BSCs). Our setting is as follows: a transmitter Alice wishes to potentially reliably transmit a message to a receiver Bob, while ensuring that the transmission taking place is covert with respect to an eavesdropper Willie (who hears Alice's transmission over a noisier BSC). Prior works show that Alice can reliably and covertly transmit O(\sqrt{n}) bits over n channel uses without any shared secret between Alice and Bob. One drawback of prior works is that the computational complexity of the codes designed scales as 2^{\Theta(\sqrt{n})}. In this work we provide the first computationally tractable codes with provable guarantees on both reliability and covertness, while simultaneously achieving the best known throughput for the problem.


title: Extending the Nanbu Collision Algorithm to Non-Spitzer Systems and Application to Laser Heating and Damage

abstract: We have generalized the Nanbu collision algorithm to accommodate arbitrary collision rates, enabling accurate kinetic modeling of short range particle interactions in non-Spitzer systems. With this extension, we explore the effect of different collision models on the simulation of how ultra-intense lasers first begin to heat a target. The effect of collisions on plasma evolution is crucial for treating particle slowing, energy transport, and thermalization. The widely used Nanbu collision algorithm provides a fast and computationally efficient method to include the effects of collisions between charged particles in kinetic simulations without requiring that the particles already be in local thermal equilibrium. However, it is "hardwired" to use Spitzer collision rates appropriate for hot, relatively dilute plasmas. This restriction prevents the Nanbu collision algorithm from accurately describing the initial heating of a cold target, a key problem for the study of laser damage or the generation of the warm dense matter state. We describe our approach for modifying the Nanbu collision algorithm and demonstrate the improved accuracy for copper targets.


title: Numeric Deduction in Symbolic Computation. Application to Normalizing Transformations

abstract: Algorithms of numeric (in exact arithmetic) deduction of analytical expressions, proposed and described by Shevchenko and Vasiliev (1993), are developed and implemented in a computer algebra code. This code is built as a superstructure for the computer algebra package by Shevchenko and Sokolsky (1993a) for normalization of Hamiltonian systems of ordinary differential equations, in order that high complexity problems of normalization could be solved. As an example, a resonant normal form of a Hamiltonian describing the hyperboloidal precession of a dynamically symmetric satellite is derived by means of the numeric deduction technique. The technique provides a considerable economy, about 30 times in this particular application, in computer memory consumption. It is naturally parallelizable. Thus the economy of memory consumption is convertible into a gain in computation speed.


title: Detection of periodicity in functional time series

abstract: We derive several tests for the presence of a periodic component in a time series of functions. We consider both the traditional setting in which the periodic functional signal is contaminated by functional white noise, and a more general setting of a contaminating process which is weakly dependent. Several forms of the periodic component are considered. Our tests are motivated by the likelihood principle and fall into two broad categories, which we term multivariate and fully functional. Overall, for the functional series that motivate this research, the fully functional tests exhibit a superior balance of size and power. Asymptotic null distributions of all tests are derived and their consistency is established. Their finite sample performance is examined and compared by numerical studies and application to pollution data.


title: Mapping Data to Ontologies with Exceptions Using Answer Set Programming

abstract: In ontology-based data access, databases are connected to an ontology via mappings from queries over the database to queries over the ontology. In this paper, we consider mappings from relational databases to first-order ontologies, and define an ASP-based framework for GLAV mappings with queries over the ontology in the mapping rule bodies. We show that this type of mappings can be used to express constraints and exceptions, as well as being a powerful mechanism for succinctly representing OBDA mappings. We give an algorithm for brave reasoning in this setting, and show that this problem has either the same data complexity as ASP (NP- complete), or it is at least as hard as the complexity of checking entailment for the ontology queries. Furthermore, we show that for ontologies with UCQ-rewritable queries there exists a natural reduction from mapping programs to \exists-ASP, an extension of ASP with existential variables that itself admits a natural reduction to ASP.


title: Perrin-Riou's main conjecture for elliptic curves at supersingular primes

abstract: In 1987, B. Perrin-Riou formulated a Heegner point main conjecture for elliptic curves at primes of ordinary reduction. In this paper, we formulate an analogue of Perrin-Riou's main conjecture for supersingular primes. We then prove this conjecture under mild hypotheses, and deduce from this result a $\Lambda$-adic extension of Kobayashi's $p$-adic Gross-Zagier formula, new cases of B.-D. Kim's doubly-signed main conjectures, and a strengthened version of Skinner's converse to the Gross-Zagier-Kolyvagin theorem for supersingular primes.


title: A Functional Complexity Framework for the Analysis of Telecommunication Networks

abstract: The rapid evolution of network services demands new paradigms for studying and designing networks. In order to understand the underlying mechanisms that provide network functions, we propose a framework which enables the functional analysis of telecommunication networks. This framework allows us to isolate and analyse a network function as a complex system. We propose functional topologies to visualise the relationships between system entities and enable the systematic study of interactions between them. We also define a complexity metric $C_F$ (functional complexity) which quantifies the variety of structural patterns and roles of nodes in the topology. This complexity metric provides a wholly new approach to study the operation of telecommunication networks. We study the relationship between $C_F$ and different graph structures by analysing graph theory metrics in order to recognize complex organisations. $C_F$ is equal to zero for both a full mesh topology and a disconnected topology. We show that complexity is very high for a dense structure that shows high integration (shorter average path length and high average clustering coefficient). We make a connection between functional complexity, robustness and response to changes that may appear in the system configuration. We also make a connection between the implementation and the outcome of a network function which correlates the characteristics of the outcome with the complex relationships that underpin the functional structure.


title: Self-consistent Bogoliubov de Gennes theory of the vortex lattice state in a two-dimensional strong type-II superconductor at high magnetic fields

abstract: A self-consistent Bogoliubov deGennes theory of the vortex lattice state in a 2D strong type-II superconductor at high magnetic fields reveals a novel quantum mixed state around the semiclassical Hc2, characterized by a well-defined Landau--Bloch band structure in the quasi-particle spectrum and suppressed order-parameter amplitude, which sharply crossover into the well-known semiclassical (Helfand-Werthamer) results upon decreasing magnetic field. Application to the 2D superconducting state observed recently on the surface of the topological insulator Sb2Te3, accounts well for the experimental data, revealing a strong type-II superconductor, with unusually low carrier density and very small cyclotron mass, which can be realized only in the strong coupling superconductor limit.


title: Reply to "Comment on Generalized Exclusion Processes: Transport Coefficients"

abstract: We reply to the comment of Becker, Nelissen, Cleuren, Partoens, and Van den Broeck, Phys. Rev. E 93, 046101 (2016) on our article, Phys. Rev. E 90, 052108 (2014) about transport properties of a class of generalized exclusion processes.


title: Hamiltonian Coupling of Electromagnetic Field and Matter

abstract: Reversible part of evolution equations of physical systems is often generated by a Poisson bracket. We discuss geometric means of construction of Poisson brackets and their mutual coupling (direct, semidirect and matched-pair products) as well as projections of Poisson brackets to less detailed Poisson brackets. This way the Hamiltonian coupling between transport of mixtures and electrodynamics is elucidated.


title: Mini-Batch Spectral Clustering

abstract: The cost of computing the spectrum of Laplacian matrices hinders the application of spectral clustering to large data sets. While approximations recover computational tractability, they can potentially affect clustering performance. This paper proposes a practical approach to learn spectral clustering based on adaptive stochastic gradient optimization. Crucially, the proposed approach recovers the exact spectrum of Laplacian matrices in the limit of the iterations, and the cost of each iteration is linear in the number of samples. Extensive experimental validation on data sets with up to half a million samples demonstrate its scalability and its ability to outperform state-of-the-art approximate methods to learn spectral clustering for a given computational budget.


title: Submaximally Symmetric Almost Quaternionic Structures

abstract: The symmetry dimension of a geometric structure is the dimension of its symmetry algebra. We investigate symmetries of almost quaternionic structures of quaternionic dimension $n$. The maximal possible symmetry is realized by the quaternionic projective space $\mathbb{H}P^n$, which is flat and has the symmetry algebra $\mathfrak{sl}(n+1,\mathbb{H})$ of dimension $4n^2+8n+3$. For non-flat almost quaternionic manifolds we compute the next biggest (submaximal) symmetry dimension. We show that it is equal to $4n^2-4n+9$ for $n>1$ (it is equal to 8 for $n=1$). This is realized both by a quaternionic structure (torsion--free) and by an almost quaternionic structure with vanishing quaternionic Weyl curvature.


title: Nuclear shape phase transition within a conjonction of {\gamma}-rigid and {\gamma}-stable collective behaviours in deformation dependent mass formalism

abstract: In this paper, we present a theoretical study of a conjonction of $\gamma$-rigid and $\gamma$-stable collective motions in critical point symmetries of the phase transitions from spherical to deformed shapes of nuclei using exactly separable version of the Bohr Hamiltonian with deformation-dependent mass term. The deformation-dependent mass is applied simultaneously to $\gamma$-rigid and $\gamma$-stable parts of this famous collective Hamiltonian. Moreover, the $\beta$ part of the problem is described by means of Davidson potential, while the $\gamma$-angular part corresponding to axially symmetric shapes is treated by a Harmonic Osillator potential. The energy eigenvalues and normalized eigenfunctions of the problem are obtained in compact forms by making use of the asymptotic iteration method. The combined effect of the deformation-dependent mass and rigidity as well as harmonic oscillator stiffness parameters on the energy spectrum and wave functions is duly investigated. Also, the electric quadrupole transition ratios and energy sprectrum of some $\gamma$-stable and prolate nuclei are calculated and compared with the experimental data as well as with other theoretical models.


title: On semi-exclusive measurement of $\gamma\gamma\to\gamma\gamma$ scattering

abstract: The two-photon production of photon pairs, i.e. the $\gamma\gamma\to\gamma\gamma$ process, is studied. Different production modes regarding the elastic or inelastic coupling of the intermediate-state photons to the protons are considered. The semi-exclusive measurement, where one intact proton is registered by a dedicated forward proton detector, is discussed. As an example, the signal and background simulations are performed for the $\gamma\gamma\to\gamma\gamma$ process mediated by the hypothetical 750 GeV resonance.


title: Artificial neural networks and fuzzy logic for recognizing alphabet characters and mathematical symbols

abstract: Optical Character Recognition software (OCR) are important tools for obtaining accessible texts. We propose the use of artificial neural networks (ANN) in order to develop pattern recognition algorithms capable of recognizing both normal texts and formulae. We present an original improvement of the backpropagation algorithm. Moreover, we describe a novel image segmentation algorithm that exploits fuzzy logic for separating touching characters.


title: Effect of plasmonic near field on the emittance of plasmon-enhanced photocathode

abstract: The introduction of the surface plasmon polarizations makes the emittance of the photocathode complicated. In this paper, the emittance of plasmon-enhanced photocathode is analyzed. It is first demonstrated that the plasmonic near field can increase the emittance of the plasmon-enhanced photocathode. A simulation method has been used to estimate the emittance caused by plasmonic near field, and the suppression method also has been discussed, both of which are significant for the design of high performance plasmon-enhanced photocathode.


title: Critical $O(N)$ models in the complex field plane

abstract: Local and global scaling solutions for $O(N)$ symmetric scalar field theories are studied in the complexified field plane with the help of the renormalisation group. Using expansions of the effective action about small, large, and purely imaginary fields, we obtain and solve exact recursion relations for all couplings and determine the $3d$ Wilson-Fisher fixed point analytically. For all $O(N)$ universality classes, we further establish that Wilson-Fisher fixed point solutions display singularities in the complex field plane, which dictate the radius of convergence for real-field expansions of the effective action. At infinite $N$, we find closed expressions for the convergence-limiting singularities and prove that local expansions of the effective action are powerful enough to uniquely determine the global Wilson-Fisher fixed point for any value of the fields. Implications of our findings for interacting fixed points in more complicated theories are indicated.


title: Parabolic induction and extensions

abstract: Let $G$ be a $p$-adic reductive group. We determine the extensions between admissible smooth mod $p$ representations of $G$ parabolically induced from supersingular representations of Levi subgroups of $G$, in terms of extensions between representations of Levi subgroups of $G$ and parabolic induction. This proves for the most part a conjecture formulated by the author in a previous article and gives some strong evidence for the remaining part. In order to do so, we use the derived functors of the left and right adjoints of the parabolic induction functor, both related to Emerton's $\delta$-functor of derived ordinary parts. We compute the latter on parabolically induced representations of $G$ by pushing to their limits the methods initiated and expanded by the author in previous articles.


title: $K_2$ of Kac-Moody Groups

abstract: Ulf Rehmann and Jun Morita, in their 1989 paper "A Matsumoto-type theorem for Kac-Moody groups", gave a presentation of $K_2(A,F)$ for any generalised Cartan matrix $A$ and field $F$. The purpose of this paper is to use this presentation to compute $K_2(A,F)$ more explicitly in the case when $A$ is hyperbolic. In particular, we shall show that these $K_2(A,F)$ can always be expressed as a product of quotients of $K_2(F)$ and $K_2(2,F)$. Along the way, we shall also prove a similar result in the case when $A$ has an odd entry in each column.


title: Measurement of the inelastic proton-proton cross section at $\sqrt{s}$ = 13 TeV

abstract: A measurement of the inelastic proton-proton cross section at a centre-of-mass energy of $\sqrt{s}$ = 13 TeV is presented. The analysis is performed using the CMS detector, in particular with information from forward calorimetry at pseudorapidities of 3.0 < {\eta} < 5.2 and -6.6 < {\eta} < -3.0. A visible cross section is measured in two different detector acceptances and finally extrapolated to the full inelastic phase space domain. The results are compared with those of other experiments, and with models used to describe high-energy hadronic interactions.


title: Low temperature Hall effect in bismuth chalcogenides thin films

abstract: Bismuth chalcogenides are the most studied 3D topological insulators. As a rule, at low temperatures thin films of these materials demonstrate positive magnetoresistance due to weak antilocalization. Weak antilocalization should lead to resistivity decrease at low temperatures; in experiments, however, resistivity grows as temperature decreases. From transport measurements for several thin films (with various carrier density, thickness, and carrier mobility), and by using purely phenomenological approach, with no microscopic theory, we show that the low temperature growth of the resistivity is accompanied by growth of the Hall coefficient, in agreement with diffusive electron-electron interaction correction mechanism. Our data reasonably explain the low-temperature resistivity upturn.


title: Secular resonances with Ceres and Vesta

abstract: In this work we explore dynamical perturbations induced by the massive asteroids Ceres and Vesta on main-belt asteroids through secular resonances. First we determine the location of the linear secular resonances with Ceres and Vesta in the main belt, using a purely numerical technique. Then we use a set of numerical simulations of fictitious asteroids to investigate the importance of these secular resonances in the orbital evolution of main-belt asteroids. We found, evaluating the magnitude of the perturbations in the proper elements of the test particles, that in some cases the strength of these secular resonances is comparable to that of known non-linear secular resonances with the giant planets. Finally we explore the asteroid families that are crossed by the secular resonances we studied, and identified several cases where the latter seem to play an important role in their post-impact evolution.


title: On the volume measure of non-smooth spaces with Ricci curvature bounded below

abstract: We prove that, given an $RCD^{*}(K,N)$-space $(X,d,m)$, then it is possible to $m$-essentially cover $X$ by measurable subsets $(R_{i})_{i\in \mathbb{N}}$ with the following property: for each $i$ there exists $k_{i} \in \mathbb{N}\cap [1,N]$ such that $m\llcorner R_{i}$ is absolutely continuous with respect to the $k_{i}$-dimensional Hausdorff measure. We also show that a Lipschitz differentiability space which is bi-Lipschitz embeddable into a euclidean space is rectifiable as a metric measure space, and we conclude with an application to Alexandrov spaces.


title: Refinement of the Equilibrium of Public Goods Games over Networks: Efficiency and Effort of Specialized Equilibria

abstract: Recently Bramoulle and Kranton presented a model for the provision of public goods over a network and showed the existence of a class of Nash equilibria called specialized equilibria wherein some agents exert maximum effort while other agents free ride. We examine the efficiency, effort and cost of specialized equilibria in comparison to other equilibria. Our main results show that the welfare of a particular specialized equilibrium approaches the maximum welfare amongst all equilibria as the concavity of the benefit function tends to unity. For forest networks a similar result also holds as the concavity approaches zero. Moreover, without any such concavity conditions, there exists for any network a specialized equilibrium that requires the maximum weighted effort amongst all equilibria. When the network is a forest, a specialized equilibrium also incurs the minimum total cost amongst all equilibria. For well-covered forest networks we show that all welfare maximizing equilibria are specialized and all equilibria incur the same total cost. Thus we argue that specialized equilibria may be considered as a refinement of the equilibrium of the public goods game. We show several results on the structure and efficiency of equilibria that highlight the role of dependants in the network.


title: Multiparticle correlation expansion of relative entropy in lattice systems

abstract: This paper deals with the construction of the multiparticle correlation expansion of relative entropy for lattice systems. Thanks to this analysis we are able to express the statistical distance between two systems as a series built over clusters of increasing dimension. Each addend is written in terms of correlation functions and expresses the contribution to the relative entropy due to structural information inside the selected cluster. We present a general procedure for the explicit construction of all the terms of the series. As a first application of this result, we show that the coefficients of the multiparticle correlation expansion of the excess entropy can be computed from our formula, as a particular case.


title: Rigid cylindrical frameworks with two coincident points

abstract: We develop a rigidity theory for frameworks in $\mathbb{R}^3$ which have two coincident points but are otherwise generic and only infinitesimal motions which are tangential to a family of cylinders induced by the realisation are considered. We then apply our results to show that vertex splitting, under the additional assumption that the new edge is redundant, preserves the property of being generically globally rigid on families of concentric cylinders.


title: Universal scaling of gluon and ghost propagators in the infrared

abstract: A universal behavior is predicted for ghost and gluon propagators in the infrared. The universal behavior is shown to be a signature of a one-loop approximation and emerges naturally by the massive expansion that predicts universal analytical functions for the inverse dressing functions that do not depend on any parameter or color number. By a scaling of units and by adding an integration constant, all lattice data, for different color numbers (and even quark content for the ghosts), collapse on the same universal curves predicted by the massive expansion.


title: Pointwise convergence of almost periodic Fourier series and associated series of dilates

abstract: Let $\mathcal S^2$ be the Stepanov space and let $ \lambda_n\uparrow\infty$. Let $(a_n)_{n\ge 1}$ be satisfying Wiener's condition $A:= \sum_{n\ge 1} \big(\sum_{k\, :\, n\le \lambda_k \le n+1}|a_k|\big)^2 <\infty$. We prove that $\big\| \sup_{N\ge 1} \big|\sum_{n=1}^Na_n{\rm e}^{i\lambda_n t}\big| \, \big\|_{\mathcal S^2}\le C\, A^{1/2} $ where $C>0$ denotes a universal constant. Moreover, the series $\sum_{n\ge 1} a_n{\rm e}^{it\lambda_n }$ converges for $\lambda$-a.e. $t\in \mathbb R$. This contains as a special case Hedenmalm and Saksman result for Dirichlet series. We also obtain maximal inequalities for corresponding series of dilates. Let $1\le p,q\le 2$ be such that $1/p+1/q=3/2$. Then for any sequence $(\alpha_n)_{n\ge 1}$ and $(\beta_n)_{n\ge 1}$ of complex numbers such that $K:=\sum_{n\ge 1} \big(\sum_{k\,:\, n\le \lambda_k< n+1}|\alpha_k|\,\big)^p <\infty$ and $L:=\sum_{n\ge 1} \big(\sum_{k\,:\, n\le \mu_k< n+1} |\beta_k|\,\big)^q <\infty$, we have $$ \Big\|\sup_{N\ge 1} \big|\sum_{n=1}^N \alpha_n D(\lambda_n t)\big|\, \Big\|_{\mathcal S^2} \le C\, K^{1/p}\, L^{1/q } $$ where $D(t)= \sum_{n\ge 1}\beta_n {\rm e}^{i\mu_n t}$ is defined in $\mathcal S^2$. Moreover, the series $\sum_{n\ge 1} \alpha_n D(\lambda_nt)$ converges in $\mathcal S^2$ and for $\lambda$-a.e. $t\in \mathbb R$. We further show that if $\{\lambda_k, k\ge 1\}$ satisfies the following condition $$\sum_{ k\not=\ell\,,\, k'\not=\ell'\atop (k,\ell)\neq(k',\ell')}\big(1-|(\lambda_k-\lambda_\ell)-(\lambda_{k'}-\lambda_{\ell'}) |\big)_+^2 \, <\infty,$$ then the series $\sum_{k} a_k {\rm e}^{i\lambda_kt}$ converges on a set of positive Lebesgue measure, only if the series $\sum_{k=1}^\infty |a_k|^2$ converges. The above condition is in particular fulfilled when $\{\lambda_k, k\ge 1\}$ is a Sidon sequence.


title: Damping of Alfven waves by Turbulence and its Consequences: from Cosmic-Rays Streaming to Launching Winds

abstract: This paper considers turbulent damping of Alfven waves in magnetized plasmas. We identify two cases of damping, one related to damping of cosmic rays streaming instability, the other related to damping of Alfven waves emitted by a macroscopic wave source, e.g. stellar atmosphere. The physical difference between the two cases is that in the former case the generated waves are emitted in respect to the local direction of magnetic field, in the latter in respect to the mean field. The scaling of damping is different in the two cases. We the regimes of turbulence ranging from subAlfvenic to superAlfvenic we obtain analytical expressions for the damping rates and define the ranges of applicability of these expressions. Describing the damping of the streaming instability, we find that for subAlfvenic turbulence the range of cosmic ray energies influenced by weak turbulence is unproportionally large compared to the range of scales that the weak turbulence is present. On the contrary, the range of cosmic ray energies affected by strong Alfvenic turbulence is rather limited. A number of astrophysical applications of the process ranging from launching of stellar and galactic winds to propagation of cosmic rays in galaxies and clusters of galaxies is considered. In particular, we discuss how to reconcile the process of turbulent damping with the observed isotropy of the Milky Way cosmic rays.


title: Jets of SS433 on scales of dozens parsecs

abstract: The radio nebula W50 harbours the relativistic binary system SS433, which is a source of the powerful wind and jets. The origin of W50 is wrapped in the interplay of the wind, supernova remnant and jets. The evolution of the jets on the scales of the nebula is a Rosetta stone for its origin. To disentangle the roles of these components, we study physical conditions of the jets propagation inside W50, and determine deceleration of the jets. The morphology and parameters of the interior of W50 are analyzed using the available observations of the eastern X-ray lobe, which traces the jet. In order to estimate deceleration of this jet, we devised a simplistic model of the viscous interaction, via turbulence, of a jet with the ambient medium, which would fit mass entrainment from the ambient medium into the jets of the radio galaxy 3C31, the well studied case of continuously decelerating jets. X-ray observations suggest that the eastern jet persists through W50 as hollow one, and is recollimated to the opening $\sim 30^\circ$. From the thermal emission of the eastern X-ray lobe, we determine a pressure of $P \sim 3\cdot 10^{-11}$ erg/cm$^3$ inside W50. In the frame of a theory of the dynamics of radiative supernova remnants and stellar wind bubbles, this pressure in combination with other known parameters restricts W50's origin to a supernova happened $\sim 100\,000$ yr ago. Also, this pressure in our entrainment model gives a deceleration of the jet by $\sim 60\%$ in the bounds of W50's spherical component, of radius $\sim 40$ pc. In this case, the age of the jet should be $\ll 27\,000$ yr so as to satisfy the sphericity of W50. The entrainment model comes to the viscous stress in a jet of a form $\sigma = \alpha P$, where the viscosity parameter $\alpha$ is predefined by the model.


title: Proof of de Smit's conjecture: a freeness criterion

abstract: Let $A\to B$ be a morphism of Artin local rings with the same embedding dimension. We prove that any $A$-flat $B$-module is $B$-flat. This freeness criterion was conjectured by de Smit in 1997 and improves Diamond's Theorem 2.1 from his 1997 paper "The Taylor-Wiles construction and multiplicity one". We also prove that if there is a nonzero $A$-flat $B$-module, then $A\to B$ is flat and is a relative complete intersection (i.e. $B/\mathfrak{m}_AB$ is a complete intersection). Then we explain how this result allows to simplify Wiles's proof of Fermat's Last Theorem: we do not need the so-called "Taylor-Wiles systems" anymore.


title: A Novel Distributed Pseudo TDMA Channel Access Protocol for Multi-Transmit-Receive Wireless Mesh Networks

abstract: Wireless Mesh Networks (WMNs) technology has been used in recent years for broadband access in both cities and rural areas. A key development is to equip routers with multiple directional antennas so that these routers can transmit to, or receive from multiple neighbors simultaneously. The Multi-Transmit-Receive (MTR) feature can boost network capacity significantly if suitable scheduling policy is applied. In this paper, we propose a distributed link scheduler called PCP-TDMA that fully utilizes the MTR capability. In particular, it activates every link at least once within the shortest period of time. We evaluated the performance of PCP-TDMA in various network topologies, and compared it against a centralized algorithm called ALGO-2, and two distributed approaches: JazzyMAC and ROMA. The results show that PCP-TDMA achieves similar performance with the centralized algorithm in all scenarios, and outperforms the distributed approaches significantly. Specifically, in a fully connected network, the resulting superframe length of PCP-TDMA is less than 1/3 and 1/2 of JazzyMAC and ROMA, respectively.


title: MoCap-guided Data Augmentation for 3D Pose Estimation in the Wild

abstract: This paper addresses the problem of 3D human pose estimation in the wild. A significant challenge is the lack of training data, i.e., 2D images of humans annotated with 3D poses. Such data is necessary to train state-of-the-art CNN architectures. Here, we propose a solution to generate a large set of photorealistic synthetic images of humans with 3D pose annotations. We introduce an image-based synthesis engine that artificially augments a dataset of real images with 2D human pose annotations using 3D Motion Capture (MoCap) data. Given a candidate 3D pose our algorithm selects for each joint an image whose 2D pose locally matches the projected 3D pose. The selected images are then combined to generate a new synthetic image by stitching local image patches in a kinematically constrained manner. The resulting images are used to train an end-to-end CNN for full-body 3D pose estimation. We cluster the training data into a large number of pose classes and tackle pose estimation as a K-way classification problem. Such an approach is viable only with large training sets such as ours. Our method outperforms the state of the art in terms of 3D pose estimation in controlled environments (Human3.6M) and shows promising results for in-the-wild images (LSP). This demonstrates that CNNs trained on artificial images generalize well to real images.


title: A no-go theorem for the dark matter interpretation of the positron anomaly

abstract: The overabundance of high-energy cosmic positrons, observed by PAMELA and AMS-02, can be considered as the consequence of dark matter decays or annihilations. We show that recent FERMI/LAT measurements of the isotropic diffuse gamma-ray background impose severe constraints on dark matter explanations and make them practically inconsistent.


title: Tests of quark-hadron duality in tau-decays

abstract: An exhaustive number of QCD finite energy sum rules for $\tau$-decay together with the latest updated ALEPH data is used to test the assumption of global duality. Typical checks are the absence of the dimension $d=2$ condensate, the equality of the gluon condensate extracted from vector or axial vector spectral functions, the Weinberg sum rules, the chiral condensates of dimensions $d=6$ and $d=8$, as well as the extraction of some low-energy parameters of chiral perturbation theory. Suitable pinched linear integration kernels are introduced in the sum rules in order to suppress potential quark-hadron duality violations and experimental errors. We find no compelling indications of duality violations in hadronic $\tau$-decay in the kinematic region above $s\simeq2.2$ GeV$^{2}$ for these kernels.


title: First Evaluation of Dynamic Aperture at Injection for FCC-hh

abstract: In the Hadron machine option, proposed in the context of the Future Circular Colliders (FCC) study, the dipole field quality is expected to play an important role, as in the LHC. A preliminary evaluation of the field quality of dipoles, based on the Nb$_{3}$Sn technology, has been provided by the magnet group. The effect of these field imperfections on the dynamic aperture, using the present lattice design, is presented and first tolerances on the b$_3$ and b$_5$ multipole components are evaluated.


title: Scalar versus fermionic top partner interpretations of $t\bar t + E_T^{\rm miss}$ searches at the LHC

abstract: We assess how different ATLAS and CMS searches for supersymmetry in the $t\bar t + E_T^{\rm miss}$ final state at Run 1 of the LHC constrain scenarios with a fermionic top partner and a dark matter candidate. We find that the efficiencies of these searches in all-hadronic, 1-lepton and 2-lepton channels are quite similar for scalar and fermionic top partners. Therefore, in general, efficiency maps for stop-neutralino simplified models can also be applied to fermionic top-partner models, provided the narrow width approximation holds in the latter. Owing to the much higher production cross-sections of heavy top quarks as compared to stops, masses up to $m_T\approx 850$ GeV can be excluded from the Run 1 stop searches. Since the simplified-model results published by ATLAS and CMS do not extend to such high masses, we provide our own efficiency maps obtained with CheckMATE and MadAnalysis 5 for these searches. Finally, we also discuss how generic gluino/squark searches in multi-jet final states constrain heavy top partner production.


title: Deciphering chemical order/disorder and material properties at the single-atom level

abstract: Correlating 3D arrangements of atoms and defects with material properties and functionality forms the core of several scientific disciplines. Here, we determined the 3D coordinates of 6,569 iron and 16,627 platinum atoms in a model iron-platinum nanoparticle system to correlate 3D atomic arrangements and chemical order/disorder with material properties at the single-atom level. We identified rich structural variety and chemical order/disorder including 3D atomic composition, grain boundaries, anti-phase boundaries, anti-site point defects and swap defects. We show for the first time that experimentally measured 3D atomic coordinates and chemical species with 22 pm precision can be used as direct input for first-principles calculations of material properties such as atomic magnetic moments and local magnetocrystalline anisotropy. This work not only opens the door to determining 3D atomic arrangements and chemical order/disorder of a wide range of nanostructured materials with high precision, but also will transform our understanding of structure-property relationships at the most fundamental level.


title: Fast and robust mesh generation on the sphere Application to coastal domains

abstract: This paper presents a fast an robust mesh generation procedure that is able to generate meshes of the earth system (ocean and continent) in matters of seconds. Our algorithm takes as input a standard shape-file i.e. geospatial vector data format for geographic information system (GIS) software. The input is initially coarsened in order to automatically remove unwanted channels that are under a desired resolution. A valid non-overlapping 1D mesh is then created on the sphere using the Euclidian coordinates system $x,y,z$. A modified Delaunay kernel is then proposed that enables to generate meshes on the sphere in a straightforward manner without parametrization. One of the main difficulty in dealing with geographical data is the over-sampled nature of coastline representations. We propose here an algorithm that automatically unrefines coastline data. Small features are automatically removed while always keeping a valid (non-overlapping) geometrical representation of the domain. A Delaunay refinement procedure is subsequently applied to the domain. The refinement scheme is also multi-threaded at a fine grain level, allowing to generate about a million points per second on 8 threads. Examples of meshes of the Baltic sea as well as of the global ocean are presented.


title: Peak of spectral energy distribution play an important role in intra-day variability of Blazars?

abstract: Blazars can be divided into two sub-classes namely high energy and low energy peaked blazars. In spectral energy distribution, the first synchrotron hump of the former class peaks in UV/X-rays and in IR/optical bands for the latter class. The peak of the spectral energy distribution seems to be responsible for variability properties of these classes of blazars in X-ray and optical bands. Since, in low energy peaked blazars, the X-ray bands lies well below the synchrotron hump, one expects that the highest energy electrons available for the synchrotron emission would have slower effect of variability on X-ray intra-day timescale. In this paper, by taking the advantage of a sample of 12 low energy peaked blazars with total 50 observations from XMM$-$Newton since its launch, we confirm that this class is less variable in X-ray bands. We found that out of 50 observational light curves, genuine intra-day variability is present in only two of light curves i.e 4%. Similar results we obtained from our earlier optical intra-day variability studies of high energy peaked blazars where out of 144 light curves, only genuine intra-day variability was detected in 6 light curves i.e ~ 4%. Since, X-ray bands lie below the peak of the spectral energy distribution of LSPs where inverse Compton mechanism is dominating rather than synchrotron radiation at the peak of the optical band, leads to slower variability in the X-ray bands. Hence, reducing their intra-day variability in X-ray bands as compared to the variability in optical bands.


title: [OIII] emission line as a tracer of star-forming galaxies at high redshifts: Comparison between H$\alpha$ and [OIII] emitters at $z$=2.23 in HiZELS

abstract: We investigate the properties of $z$=2.23 H$\alpha$ and [OIII]$\lambda$5007 emitters using the narrow-band-selected samples obtained from the High-$z$ Emission Line Survey (HiZELS: Sobral et al. 2013). We construct two samples of the H$\alpha$ and [OIII] emitters and compare their integrated physical properties. We find that the distribution of stellar masses, dust extinction, star formation rates (SFRs), and specific SFRs, is not statistically different between the two samples. When we separate the full galaxy sample into three subsamples according to the detections of the H$\alpha$ and/or [OIII] emission lines, most of the sources detected with both H$\alpha$ and [OIII] show ${\rm log(sSFR_{UV})}$$\gtrsim$-9.5. The comparison of the three subsamples suggests that sources with strong [OIII] line emission tend to have the highest star-forming activity out all galaxies that we study. We argue that the [OIII] emission line can be used as a tracer of star-forming galaxies at high redshift, and that it is especially useful to investigate star-forming galaxies at $z$$>$3, for which H$\alpha$ emission is no longer observable from the ground.


title: Time-domain quantum interference in graphene

abstract: The electron momentum density obtained from the Schwinger-like mechanism is evaluated for a graphene sample immersed in a homogeneous time-dependent electric field. Based on the analogy between graphene low-energy electrons and quantum electrodynamics (QED), numerical techniques borrowed from strong field QED are employed and compared to approximate analytical approaches. It is demonstrated that for some range of experimentally accessible parameters, the pair production proceeds by sequences of adiabatic evolutions followed by non-adiabatic Landau-Zener transitions, reminiscent of the Kibble-Zurek mechanism describing topological defect density in second order phase transitions. For some field configurations, this yields interference patterns in momentum space which are explained in terms of the adiabatic-impulse model and the Landau-Zener-St\"{u}ckelberg interferometry.


title: Shear Nulling after PSF Gaussianisation: moment-based weak lensing measurements with subpercent noise bias

abstract: Current optical imaging surveys for cosmology are covering large areas of sky. To exploit the statistical power of these surveys for weak lensing measurements requires shape measurement methods with subpercent systematic errors. We introduce a new weak lensing shear measurement algorithm, Shear Nulling after PSF Gaussianisation (SNAPG), designed to avoid the noise biases that affect most other methods. SNAPG operates on images that have been convolved with a kernel that renders the Point Spread Function (PSF) a circular Gaussian, and uses weighted second moments of the sources. The response of such second moments to a shear of the pre-seeing galaxy image can be predicted analytically, allowing us to construct a shear nulling scheme that finds the shear parameters for which the observed galaxies are consistent with an unsheared, isotropically oriented population of sources. The inverse of this nulling shear is then an estimate of the gravitational lensing shear. We identify the uncertainty of the estimated centre of each galaxy as the source of noise bias, and incorporate an approximate estimate of the centroid covariance into the scheme. We test the method on extensive suites of simulated galaxies of increasing complexity, and find that it is capable of shear measurements with multiplicative bias below 0.5 percent.


title: On the linearized log-KdV equation

abstract: The logarithmic KdV (log-KdV) equation admits global solutions in an energy space and exhibits Gaussian solitary waves. Orbital stability of Gaussian solitary waves is known to be an open problem. We address properties of solutions to the linearized log-KdV equation at the Gaussian solitary waves. By using the decomposition of solutions in the energy space in terms of Hermite functions, we show that the time evolution is related to a Jacobi difference operator with a limit circle at infinity. This exact reduction allows us to characterize both spectral and linear orbital stability of solitary waves. We also introduce a convolution representation of solutions to the log-KdV equation with the Gaussian weight and show that the time evolution in such a weighted space is dissipative with the exponential rate of decay.


title: On the structure observed in the in-flight ${}^{3}\text{He} ( K^{-} , \, \Lambda p ) n$ reaction at J-PARC

abstract: A theoretical investigation is done to clarify the origin of the peak structure observed near the $K^{-} p p$ threshold in the in-flight ${}^{3}\text{He} ( K^{-}, \, \Lambda p ) n$ reaction of the J-PARC E15 experiment, which could be a signal of the lightest kaonic nuclei, that is, the $\bar{K} N N (I=1/2)$ state. For the investigation, we evaluate the $\Lambda p$ invariant mass spectrum assuming two possible scenarios to interpret the experimental peak. One assumes that the $\Lambda (1405)$ resonance is generated after the emission of an energetic neutron from the absorption of the initial $K^-$, not forming a bound state with the remaining proton. This uncorrelated $\Lambda (1405) p$ system subsequently decays into the final $\Lambda p$. The other scenario implies that, after the emission of the energetic neutron, a $\bar{K} N N$ bound state is formed, decaying eventually into a $\Lambda p$ pair. Our results show that the experimental signal observed in the in-flight ${}^{3}\text{He} ( K^{-} , \, \Lambda p ) n$ reaction at J-PARC is qualitatively well reproduced by the assumption that a $\bar{K} N N$ bound state is generated in the reaction, definitely discarding the interpretation in terms of an uncorrelated $\Lambda (1405) p$ state.


title: HIRAX: A Probe of Dark Energy and Radio Transients

abstract: The Hydrogen Intensity and Real-time Analysis eXperiment (HIRAX) is a new 400-800MHz radio interferometer under development for deployment in South Africa. HIRAX will comprise 1024 six meter parabolic dishes on a compact grid and will map most of the southern sky over the course of four years. HIRAX has two primary science goals: to constrain Dark Energy and measure structure at high redshift, and to study radio transients and pulsars. HIRAX will observe unresolved sources of neutral hydrogen via their redshifted 21-cm emission line (`hydrogen intensity mapping'). The resulting maps of large-scale structure at redshifts 0.8-2.5 will be used to measure Baryon Acoustic Oscillations (BAO). HIRAX will improve upon current BAO measurements from galaxy surveys by observing a larger cosmological volume (larger in both survey area and redshift range) and by measuring BAO at higher redshift when the expansion of the universe transitioned to Dark Energy domination. HIRAX will complement CHIME, a hydrogen intensity mapping experiment in the Northern Hemisphere, by completing the sky coverage in the same redshift range. HIRAX's location in the Southern Hemisphere also allows a variety of cross-correlation measurements with large-scale structure surveys at many wavelengths. Daily maps of a few thousand square degrees of the Southern Hemisphere, encompassing much of the Milky Way galaxy, will also open new opportunities for discovering and monitoring radio transients. The HIRAX correlator will have the ability to rapidly and eXperimentciently detect transient events. This new data will shed light on the poorly understood nature of fast radio bursts (FRBs), enable pulsar monitoring to enhance long-wavelength gravitational wave searches, and provide a rich data set for new radio transient phenomena searches. This paper discusses the HIRAX instrument, science goals, and current status.


title: Detecting Communities under Differential Privacy

abstract: Complex networks usually expose community structure with groups of nodes sharing many links with the other nodes in the same group and relatively few with the nodes of the rest. This feature captures valuable information about the organization and even the evolution of the network. Over the last decade, a great number of algorithms for community detection have been proposed to deal with the increasingly complex networks. However, the problem of doing this in a private manner is rarely considered. In this paper, we solve this problem under differential privacy, a prominent privacy concept for releasing private data. We analyze the major challenges behind the problem and propose several schemes to tackle them from two perspectives: input perturbation and algorithm perturbation. We choose Louvain method as the back-end community detection for input perturbation schemes and propose the method LouvainDP which runs Louvain algorithm on a noisy super-graph. For algorithm perturbation, we design ModDivisive using exponential mechanism with the modularity as the score. We have thoroughly evaluated our techniques on real graphs of different sizes and verified their outperformance over the state-of-the-art.


title: Representing Verbs with Rich Contexts: an Evaluation on Verb Similarity

abstract: Several studies on sentence processing suggest that the mental lexicon keeps track of the mutual expectations between words. Current DSMs, however, represent context words as separate features, thereby loosing important information for word expectations, such as word interrelations. In this paper, we present a DSM that addresses this issue by defining verb contexts as joint syntactic dependencies. We test our representation in a verb similarity task on two datasets, showing that joint contexts achieve performances comparable to single dependencies or even better. Moreover, they are able to overcome the data sparsity problem of joint feature spaces, in spite of the limited size of our training corpus.


title: Estimating the Dissemination of Social and Mobile Search in Categories of Information Needs Using Websites as Proxies

abstract: With the increasing popularity of social means to satisfy information needs using Social Media (e.g., Social Media Question Asking, SMQA) or Social Information Retrieval approaches, this paper tries to identify types of information needs which are inherently social and therefore better suited for those techniques. We describe an experiment where prominent websites from various content categories are used to represent their respective content area and allow to correlate attributes of the content areas. The underlying assumption is that successful websites for focused content areas perfectly align with the information seekers' requirements when satisfying information needs in the respective content areas. Based on a manually collected dataset of URLs from websites covering a broad range of topics taken from Alexa (http://www.alexa.com} (retrieved 2015-11-04)) (a company that publishes statistics about web traffic), a crowdsourcing approach is employed to rate the information needs that could get solved by the respective URLs according to several dimensions (incl. sociality and mobility) to investigate possible correlations with other attributes. Our results suggest that information needs which do not require a certain formal expertise play an important role in social information retrieval and that some content areas are better suited for social information retrieval (e.g., Factual Knowledge & News, Games, Lifestyle) than others (e.g., Health & Lifestyle).


title: Resonance fluorescence from a telecom-wavelength quantum dot

abstract: We report on resonance fluorescence from a single quantum dot emitting at telecom wavelengths. We perform high-resolution spectroscopy and observe the Mollow triplet in the Rabi regime--a hallmark of resonance fluorescence. The measured resonance-fluorescence spectra allow us to rule out pure dephasing as a significant decoherence mechanism in these quantum dots. Combined with numerical simulations, the experimental results provide robust characterisation of charge noise in the environment of the quantum dot. Resonant control of the quantum dot opens up new possibilities for on-demand generation of indistinguishable single photons at telecom wavelengths as well as quantum optics experiments and direct manipulation of solid-state qubits in telecom-wavelength quantum dots.

categories: cond-mat.mes-hall physics.atom-ph physics.optics quant-ph


title: A note on stable recollements

abstract: In this short \'etude, we observe that the full structure of a recollement on a stable infinity-category can be reconstructed from minimal data: that of a reflective and coreflective full subcategory. The situation has more symmetry than one would expect at a glance. We end with a practical lemma on gluing equivalences along a recollement.