title: Symmetries of Cosmological Cauchy Horizons with Non-Closed Orbits

abstract: We consider analytic, vacuum spacetimes that admit compact, non-degenerate Cauchy horizons. Many years ago we proved that, if the null geodesic generators of such a horizon were all \textit{closed} curves, then the enveloping spacetime would necessarily admit a non-trivial, horizon-generating Killing vector field. Using a slightly extended version of the Cauchy-Kowaleski theorem one could establish the existence of infinite dimensional, analytic families of such `generalized Taub-NUT' spacetimes and show that, generically, they admitted \textit{only} the single (horizon-generating) Killing field alluded to above. In this article we relax the closure assumption and analyze vacuum spacetimes in which the generic horizon generating null geodesic densely fills a 2-torus lying in the horizon. In particular we show that, aside from some highly exceptional cases that we refer to as `ergodic', the non-closed generators always have this (densely 2-torus-filling) geometrical property in the analytic setting. By extending arguments we gave previously for the characterization of the Killing symmetries of higher dimensional, stationary black holes we prove that analytic, 4-dimensional, vacuum spacetimes with such (non-ergodic) compact Cauchy horizons always admit (at least) two independent, commuting Killing vector fields of which a special linear combination is horizon generating. We also discuss the \textit{conjectures} that every such spacetime with an \textit{ergodic} horizon is trivially constructable from the flat Kasner solution by making certain `irrational' toroidal compactifications and that degenerate compact Cauchy horizons do not exist in the analytic case.


title: The Age of the Old Metal-Poor Globular Cluster NGC6397 Using WFC3/IR Photometry

abstract: Globular Clusters (GCs) in the Milky Way represent the ideal laboratory to establish the age of the oldest stellar populations and to measure the color-magnitude relation of stars. Infrared (IR) photometry of these objects provides a new opportunity to accomplish this task. In particular, at low stellar masses, the stellar main sequence (MS) in an IR color-magnitude diagram (CMD) exhibits a sharp "kink" (due to opacity effects in M dwarfs), such that lower mass and cooler dwarfs become bluer in the F110W - F160W color baseline and not redder. This inversion of the color-magnitude relation offers the possibility to fit GC properties using IR imaging, and to reduce their uncertainties. Here, we used the IR channel of the Wide Field Camera 3 onboard the Hubble Space Telescope to obtain new, deep high-resolution photometry of the old metal-poor GC NGC6397. From the analysis of the GC CMD, we revealed below the MS "kink" the presence of two MSs with different chemical composition. We derived the cluster fiducial line and we compared it with a grid of isochrones over a large range of parameter space, allowing age, metallicity, distance and reddening to vary freely within reasonable selected ranges. We derived an age of 12.6 Gyr with a random uncertainty sigma ~ 0.7 Gyr. These results confirm that the analysis of the IR color-magnitude of stars provide a valuable tool to measure the GC ages and offers a new venue to determine their absolute age to sub-Gyr accuracy with next generation IR telescopes.


title: Lattice Boltzmann study of the one-dimensional boost-invariant expansion with anisotropic initial conditions

abstract: A numerical algorithm for the implementation of anisotropic distributions in the frame of the relativistic Boltzmann equation is presented. The implementation relies on the expansion of the Romatschke-Strickland distribution with respect to orthogonal polynomials, which is evolved using the lattice Boltzmann algorithm. The validation of our proposed scheme is performed in the context of the one-dimensional boost invariant expansion (Bjorken flow) at various values of the ratio $\eta / s$ of the shear viscosity to the entropy density. This study is limited to the case of massless particles obeying Maxwell-J\"uttner statistics.


title: Decay rates for the Viscous Incompressible MHD with and without Surface Tension

abstract: In this paper, we consider a layer of a viscous incompressible electrically conducting fluid interacting with the magnetic filed in a horizontally periodic setting. The upper boundary bounded by a free boundary and below bounded by a flat rigid interface. We prove the global well-posedness of the problem for both the case with and without surface tension. Moreover, we show that the global solution decays to the equilibrium exponentially in the case with surface tension, however the global solution decays to the equilibrium at an almost exponential rate in the case without surface tension.


title: Dimension-free estimates for the vector-valued variational operators

abstract: In this paper, We study dimension-free $L^p$ estimates for UMD lattice-valued $q$-variations of Hardy-Littlewood averaging operators associated with the Euclidean balls.


title: Absorption and Emission Dependences on Defect in CLC

abstract: The influence of the defect position on absorption and emission in the cholesteric liquid crystal with an isotropic defect inside is studied. It is shown that for non-diffracting circularly polarized incident light absorption/emission is maximum if the defect is in the centre of the system; and for diffracting circularly polarized incident light absorption/emission is maximum if the defect is shifted from the centre of the system to its left border from where light is incident. The influence of anisotropic absorption in the cholesteric liquid crystal layer on photonic states of density was investigated, too.


title: Data-Oriented Algorithm for Real-Time Estimation of Flow Rates and Flow Directions in a Water Distribution Network

abstract: The aim of this paper is to present how data collected from a water distribution network (WDN) can be used to reconstruct flow rate and flow direction all over the network to enhance knowledge and detection of unforeseen events. The methodological approach consists in modeling the WDN and all available sensor data related to the management of such a network in the form of a flow network graph G = (V, E, s, t, c), with V a set of nodes, E a set of edges whose elements are ordered pairs of distinct nodes, s a source node, t a sink node and c a capacity function on edges. Our objective is to reconstruct a real-valued function f(u,v): VxV => R on all the edges E in VxV from partial observations on a small number of nodes V = {1, ..., n}. This reconstruction method consists in a data-driven Ford-Fulkerson maximum-flow problem in a multi-source, multi-sink context using a constrained bidirectional breadth-first search based on Edmonds-Karp method. The innovative approach is its application in the context of smart cities to operate from sensor data, structural data from a geographical information system (GIS) and consumption estimates.


title: Deformations of Pre-Symplectic Structures: a Dirac Geometry Approach

abstract: We explain the geometric origin of the $L_{\infty}$-algebra controlling deformations of pre-symplectic structures.


title: Algorithmic simulation of far-from-equilibrium dynamics using quantum computer

abstract: We point out that superconducting quantum computers are prospective for the simulation of the dynamics of spin models far from equilibrium, including nonadiabatic phenomena and quenches. The important advantage of these machines is that they are programmable, so that different spin models can be simulated in the same chip, as well as various initial states can be encoded into it in a controllable way. This opens an opportunity to use superconducting quantum computers in studies of fundamental problems of statistical physics such as the absence or presence of thermalization in the free evolution of a closed quantum system depending on the choice of the initial state as well as on the integrability of the model. In the present paper, we performed proof-of-principle digital simulations of two spin models, which are the central spin model and the transverse-field Ising model, using 5- and 16-qubit superconducting quantum computers of the IBM Quantum Experience. We found that these devices are able to reproduce some important consequences of the symmetry of the initial state for the system's subsequent dynamics, such as the excitation blockade. However, lengths of algorithms are currently limited due to quantum gate errors. We also discuss some heuristic methods which can be used to extract valuable information from the imperfect experimental data.


title: On the sum of a prime power and a power in short intervals

abstract: Let $R_{k,\ell}(N)$ be the representation function for the sum of the $k$-th power of a prime and the $\ell$-th power of a positive integer. Languasco and Zaccagnini (2017) proved an asymptotic formula for the average of $R_{1,2}(N)$ over short intervals $(X,X+H]$ of the length $H$ slightly shorter than $X^{\frac{1}{2}}$, which is shorter than the length $H=X^{\frac{1}{2}+\epsilon}$ in the exceptional set estimates of Mikawa (1993) and of Perelli and Pintz (1995). In this paper, we prove that the same asymptotic formula for $R_{1,2}(N)$ holds for $H$ of the size $X^{0.337}$. Recently, Languasco and Zaccagnini (2018) extended their result to more general $(k,\ell)$. We also consider this general case, and as a corollary, we prove a conditional result of Languasco and Zaccagnini (2018) for the case $\ell=2$ unconditionally up to some small factors.


title: Superiorization of Preconditioned Conjugate Gradient Algorithms for Tomographic Image Reconstruction

abstract: Properties of Superiorized Preconditioned Conjugate Gradient (SupPCG) algorithms in image reconstruction from projections are examined. Least squares (LS) is usually chosen for measuring data-inconsistency in these inverse problems. Preconditioned Conjugate Gradient algorithms are fast methods for finding an LS solution. However, for ill-posed problems, such as image reconstruction, an LS solution may not provide good image quality. This can be taken care of by superiorization. A superiorized algorithm leads to images with the value of a secondary criterion (a merit function such as the total variation) improved as compared to images with similar data-inconsistency obtained by the algorithm without superiorization. Numerical experimentation shows that SupPCG can lead to high-quality reconstructions within a remarkably short time. A theoretical analysis is also provided.


title: Morphological and dynamical properties of semiflexible filaments driven by molecular motors

abstract: We consider an explicit model of a semiflexible filament moving in two dimensions on a gliding assay of motor proteins, which attach to and detach from filament segments stochastically, with a detachment rate that depends on the local load experienced. Attached motor proteins move along the filament to one of its ends with a velocity that varies non-linearly with the motor protein extension. The resultant force on the filament drives it out of equilibrium. The distance from equilibrium is reflected in the end-to-end distribution, modified bending stiffness, and a transition to spiral morphology of the polymer. The local stress dependence of activity results in correlated fluctuations in the speed and direction of the center of mass leading to a series of ballistic-diffusive crossovers in its dynamics.


title: Solar energetic particles and galactic cosmic rays over millions of years as inferred from data on cosmogenic $^{26}$Al in lunar samples

abstract: Aims. Lunar soil and rocks are not protected by a magnetic field or an atmosphere and are continuously irradiated by energetic particles that can produce cosmogenic radioisotopes directly inside rocks at different depths depending on the particle's energy. This allows the mean fluxes of solar and galactic cosmic rays to be assessed on the very long timescales of millions of years. Methods. Here we show that lunar rocks can serve as a very good particle integral spectrometer in the energy range 20-80 MeV. We have developed a new method based on precise modeling, that is applied to measurements of $^{26}$Al (half-life ~0.7 megayears) in lunar samples from the Apollo mission, and present the first direct reconstruction (i.e., without any a priori assumptions) of the mean energy spectrum of solar and galactic energetic particles over a million of years. Results. We show that the reconstructed spectrum of solar energetic particles is totally consistent with that over the last decades, despite the very different levels of solar modulation of galactic cosmic rays ($\phi=496\pm 40$ MV over a million years versus $\phi= 660\pm 20$ MV for the modern epoch). We also estimated the occurrence probability of extreme solar events and argue that no events with the F(>30 MeV) fluence exceeding $5*10^{10}$ and $10^{11}$ cm$^2$ are expected on timescales of a thousand and million years, respectively. Conclusions. We conclude that the mean flux of solar energetic particles hardly depends on the level of solar activity, in contrast to the solar modulation of galactic cosmic rays. This puts new observational constraints on solar physics and becomes important for assessing radiation hazards for the planned space missions.


title: GenoM3 Templates: from Middleware Independence to Formal Models Synthesis

abstract: GenoM is an approach to develop robotic software components, which can be controlled, and assembled to build complex applications. Its latest version GenoM3, provides a template mechanism which is versatile enough to deploy components for different middleware without any change in the specification and user code. But this same template mechanism also enables us to automatically synthesize formal models (for two Validation and Verification frameworks) of the final components. We illustrate our approach on a real deployed example of a drone flight controller for which we prove offline real-time properties, and an outdoor robot for which we synthesize a controller to perform runtime verification.


title: An answer to Furstenberg's problem on topological disjointness

abstract: In this paper we give an answer to Furstenberg's problem on topological disjointness. Namely, we show that a transitive system $(X,T)$ is disjoint from all minimal systems if and only if $(X,T)$ is weakly mixing and there is some countable dense subset $D$ of $X$ such that for any minimal system $(Y,S)$, any point $y\in Y$ and any open neighbourhood $V$ of $y$, and for any nonempty open subset $U\subset X$, there is $x\in D\cap U$ satisfying that $\{n\in{ \mathbb Z}_+: T^nx\in U, S^ny\in V\}$ is syndetic. Some characterization for the general case is also described. As applications we show that if a transitive system $(X,T)$ is disjoint from all minimal systems, then so are $(X^n,T^{(n)})$ and $(X, T^n)$ for any $n\in { \mathbb N}$. It turns out that a transitive system $(X,T)$ is disjoint from all minimal systems if and only if the hyperspace system $(K(X),T_K)$ is disjoint from all minimal systems.


title: A Common Source for Scalars: Axiflavon-Higgs Unification

abstract: We propose a unified model of scalar particles that addresses the flavour hierarchies, solves the strong CP problem, delivers a dark matter candidate, and provides the trigger for electroweak symmetry breaking. Besides furnishing a unification of the recently proposed axiflavon with a Goldstone-Higgs sector, the scenario can also be seen as adding a model of flavour (and strong CP conservation along with axion dark matter) to elementary Goldstone-Higgs setups. In particular, we derive bounds on the axion decay constant from the need to generate a SM-like Higgs potential at low energies, which we confront with constraints from flavour physics and cosmology. In the minimal implementation, we find that the axion decay constant is restricted to a thin stripe of $f_a \approx (10^{11}-10^{12})$ GeV, while adding right-handed neutrinos allows to realize a heavy-axion model at lower energies, down to $f_a \sim 10$ TeV.


title: Population III microquasars

abstract: We present the first results obtained in the elaboration of a complete model of a microquasar where the donor star is from Population III. These stars do not produce stellar winds so we consider that the mass loss is due exclusively to matter overflowing the Roche lobe towards the compact object, a maximally rotating black hole. The rate of accretion is extremely super-Eddington, with an intense mass loss from the system in the form of winds and jets. We calculate the relativistic particle content of the jet and the corresponding spectral energy distribution (SED) considering a lepto-hadronic model. Prospects for the cosmological implications of these objects are briefly discussed.


title: Combined error signal in Ramsey spectroscopy of clock transitions

abstract: We have developed a universal method to form the reference signal for the stabilization of arbitrary atomic clocks based on Ramsey spectroscopy. Our approach uses an interrogation scheme of the atomic system with two different Ramsey periods and a specially constructed combined error signal (CES) computed by subtracting two error signals with the appropriate calibration factor. CES spectroscopy allows for perfect elimination of probe-induced light shifts and does not suffer from the effects of relaxation, time-dependent pulse fluctuations and phase-jump modulation errors and other imperfections of the interrogation procedure. The method is simpler than recently developed auto-balanced Ramsey spectroscopy techniques [Ch. Sanner, et al., Phys. Rev. Lett. 120, 053602 (2018); V. I. Yudin, et al., Phys. Rev. Appl. 9, 054034 (2018)], because it uses a single error signal that feeds back on the clock frequency. CES universal technique can be applied to many applications of precision spectroscopy.


title: Comment on the manuscript 1806.02080v1 entitled "Spurious finite-size instabilities of a new Gogny interaction suitable for astrophysical applications"

abstract: The conclusions of the manuscript 1806.02080v1 questioning the adequacy of the recently proposed Gogny D1M* interaction for finite nuclei calculations using harmonic oscillator (HO) basis are revised. Several convergence and stability studies are performed with HO basis of different sizes and oscillator parameters and the results show the robustness of the D1M* results for finite nuclei. This analysis is also extended to beyond mean-field calculations of generator-coordinate-method type with D1M*. On the other hand, the existence of a finite-size instability in finite nuclei when coordinate space methods are used to solve the HF equations (as shown in 1806.02080v1) is independently confirmed for D1M* using an in-house computer code based on a quasilocal approximation to the HF exchange potential. We confirm that the most affected quantity in the coordinate space calculation is the spatial density at the origin, but integrated quantities like binding energies or radii show a plateau against the number of iterations, where they are consistent with the values from the HO basis calculation, before diverging for a larger number of iterations. A connection between the last occupied s-orbital in the nucleus and the appearance of instabilities in coordinate space is observed.


title: Adaptively Transforming Graph Matching

abstract: Recently, many graph matching methods that incorporate pairwise constraint and that can be formulated as a quadratic assignment problem (QAP) have been proposed. Although these methods demonstrate promising results for the graph matching problem, they have high complexity in space or time. In this paper, we introduce an adaptively transforming graph matching (ATGM) method from the perspective of functional representation. More precisely, under a transformation formulation, we aim to match two graphs by minimizing the discrepancy between the original graph and the transformed graph. With a linear representation map of the transformation, the pairwise edge attributes of graphs are explicitly represented by unary node attributes, which enables us to reduce the space and time complexity significantly. Due to an efficient Frank-Wolfe method-based optimization strategy, we can handle graphs with hundreds and thousands of nodes within an acceptable amount of time. Meanwhile, because transformation map can preserve graph structures, a domain adaptation-based strategy is proposed to remove the outliers. The experimental results demonstrate that our proposed method outperforms the state-of-the-art graph matching algorithms.


title: Discrete time crystals in the absence of manifest symmetries or disorder in open quantum systems

abstract: We establish a link between metastability and a discrete time-crystalline phase in a periodically driven open quantum system. The mechanism we highlight requires neither the system to display any microscopic symmetry nor the presence of disorder, but relies instead on the emergence of a metastable regime. We investigate this in detail in an open quantum spin system, which is a canonical model for the exploration of collective phenomena in strongly interacting dissipative Rydberg gases. Here, a semi-classical approach reveals the emergence of a robust discrete time-crystalline phase in the thermodynamic limit in which metastability, dissipation, and inter-particle interactions play a crucial role. We perform large-scale numerical simulations in order to investigate the dependence on the range of interactions, from all-to-all to short ranged, and the scaling with system size of the lifetime of the time crystal.


title: Fast and Accurate Intrinsic Symmetry Detection

abstract: In computer vision and graphics, various types of symmetries are extensively studied since symmetry present in objects is a fundamental cue for understanding the shape and the structure of objects. In this work, we detect the intrinsic reflective symmetry in triangle meshes where we have to find the intrinsically symmetric point for each point of the shape. We establish correspondences between functions defined on the shapes by extending the functional map framework and then recover the point-to-point correspondences. Previous approaches using the functional map for this task find the functional correspondences matrix by solving a non-linear optimization problem which makes them slow. In this work, we propose a closed form solution for this matrix which makes our approach faster. We find the closed-form solution based on our following results. If the given shape is intrinsically symmetric, then the shortest length geodesic between two intrinsically symmetric points is also intrinsically symmetric. If an eigenfunction of the Laplace-Beltrami operator for the given shape is an even (odd) function, then its restriction on the shortest length geodesic between two intrinsically symmetric points is also an even (odd) function. The sign of a low-frequency eigenfunction is the same on the neighboring points. Our method is invariant to the ordering of the eigenfunctions and has the least time complexity. We achieve the best performance on the SCAPE dataset and comparable performance with the state-of-the-art methods on the TOSCA dataset.


title: Dark Energy Survey Year 1 Results: Measurement of the Galaxy Angular Power Spectrum

abstract: We use data from the first-year (Y1) observations of the DES collaboration to measure the galaxy angular power spectrum (APS), and search for its BAO feature using a template-fitting method. We test our methodology in a sample of 1800 DES Y1-like mock catalogs. The APS is measured with the pseudo-$C_\ell$ method, using pixelized maps constructed from the mock catalogs and the DES mask. The covariance matrix of the $C_\ell$'s in these tests are also obtained from the mock catalogs. We use templates to model the measured spectra and estimate template parameters firstly from the $C_\ell$'s of the mocks using two different methods, a maximum likelihood estimator and a MCMC, finding consistent results with a good reduced $\chi^2$. Robustness tests are performed to estimate the impact of different choices of settings used in our analysis. After these tests on mocks, we apply our method to a galaxy sample constructed from DES Y1 data specifically for LSS studies. This catalog comprises galaxies within an effective area of 1318 deg$^2$ and $0.6<z<1.0$. We fit the observed spectra with our optimized templates, considering models with and without BAO features. We find that the DES Y1 data favors a model with BAO at the $2.6\,\sigma$ C.L. with a best-fit shift parameter of $\alpha=1.023\pm 0.047$. However, the goodness-of-fit is somewhat poor, with $\chi^2/$(dof) = 1.49. We identify a possible cause of this issue and show that using a theoretical covariance matrix obtained from $C_\ell$'s that are better adjusted to data results in an improved value of $\chi^2/$(dof) = 1.36 which is similar to the value obtained with the real-space analysis. Our results correspond to a distance measurement of $D_A(z_{\rm eff} = 0.81)/r_d = 10.65 \pm 0.49$, consistent with the main DES BAO findings. This is a companion paper to the main DES BAO article showing the details of the harmonic space analysis.


title: A broad pseudovector glueball from holographic QCD

abstract: We study the decay of a pseudovector glueball with quantum numbers $J^{PC}=1^{+-}$, the lightest glueball with spin different from zero or two, in the top-down holographic Witten-Sakai-Sugimoto model. This glueball is dual to the string-theoretic Kalb-Ramond tensor field, which completely fixes all its couplings by gauge invariance and $D$-brane anomaly inflow. The dominant decay channels are determined by a Chern-Simons-like action for the flavor branes; couplings from the Dirac-Born-Infeld action turn out to be subdominant. While the resulting width is parametrically of order $N_c^{-2}\lambda^{-1}$ for $N_c$ colors and 't Hooft coupling $\lambda$, when extrapolated to $N_c=3$ and with $\lambda$ matched to experimental data, the prediction is that the pseudovector glueball is an extremely broad resonance.


title: UNet++: A Nested U-Net Architecture for Medical Image Segmentation

abstract: In this paper, we present UNet++, a new, more powerful architecture for medical image segmentation. Our architecture is essentially a deeply-supervised encoder-decoder network where the encoder and decoder sub-networks are connected through a series of nested, dense skip pathways. The re-designed skip pathways aim at reducing the semantic gap between the feature maps of the encoder and decoder sub-networks. We argue that the optimizer would deal with an easier learning task when the feature maps from the decoder and encoder networks are semantically similar. We have evaluated UNet++ in comparison with U-Net and wide U-Net architectures across multiple medical image segmentation tasks: nodule segmentation in the low-dose CT scans of chest, nuclei segmentation in the microscopy images, liver segmentation in abdominal CT scans, and polyp segmentation in colonoscopy videos. Our experiments demonstrate that UNet++ with deep supervision achieves an average IoU gain of 3.9 and 3.4 points over U-Net and wide U-Net, respectively.


title: Rademacher Generalization Bounds for Classifier Chains

abstract: In this paper, we propose a new framework to study the generalization property of classifier chains trained over observations associated with multiple and interdependent class labels. The results are based on large deviation inequalities for Lipschitz functions of weakly dependent sequences proposed by Rio in 2000. We believe that the resulting generalization error bound brings many advantages and could be adapted to other frameworks that consider interdependent outputs. First, it explicitly exhibits the dependencies between class labels. Secondly, it provides insights of the effect of the order of the chain on the algorithm generalization performances. Finally, the two dependency coefficients that appear in the bound could also be used to design new strategies to decide the order of the chain.


title: Growth of matter perturbations in non-minimal teleparallel dark energy

abstract: We study the growth rate of matter perturbations in the context of teleparallel dark energy in a flat universe. We investigate the dynamics of different theoretical scenarios based on specific forms of the scalar field potential. Allowing for non-minimal coupling between torsion scalar and scalar field, we perform a phase-space analysis of the autonomous systems of equations through the study of critical points. We thus analyze the stability of the critical points, and discuss the cosmological implications searching for possible attractor solutions at late times. Furthermore, combing the growth rate data and the Hubble rate measurements, we place observational constraints on the cosmological parameters of the models through Monte Carlo numerical method. We find that the scenario with a non-minimal coupling is favoured with respect to the standard quintessence case. Adopting the best-fit results, we show that the dark energy equation of state parameter can cross the phantom divide. Finally, we compare our results with the predictions of the concordance $\Lambda$CDM paradigm by performing Bayesian model selection.


title: Projective symmetries and induced electromagnetism in metric-affine gravity

abstract: We present a framework in which the projective symmetry of the Einstein-Hilbert action in metric-affine gravity is used to induce an effective coupling between the Dirac lagrangian and the Maxwell field. The effective $U(1)$ gauge potential arises as the trace of the non-metricity tensor $Q_{\mu a}{}^a$ and couples in the appropriate way to the Dirac fields to in order to allow for local phase shifts. On shell, the obtained theory is equivalent to Einstein-Cartan-Maxwell theory in presence of Dirac spinors.


title: Performance Analysis of Integrated Power-Line/Visible-Light Communication Systems with AF Relaying

abstract: Reliable data transmissions and offering better mobility to the end user can be achieved by integrating different communication systems. In this paper, we investigate the performance of a cascaded indoor power line communication (PLC)/visible light communication (VLC) system with the presence of an amplify-and-forward (AF) relay. Using the pre-installed infrastructure of electricity wiring networks gives the advantage to use PLC as a backbone for VLCs. The performance of the proposed hybrid system is discussed in terms of the average capacity. A mathematical method is developed for this network to formulate the capacity by exploiting the statistical properties of both the PLC and VLC channels. The derived analytical expressions are validated by Monte Carlo simulations. The results showed that there is a considerable improvement in the performance of the hybrid system as the relay gain increases whereas it deteriorates with increasing the end-to-end distance. A comparison between the performance of a parallel hybrid/PLC and hybrid systems is also provided. It is found that the hybrid/PLC system outperforms the hybrid one. However, the user mobility offered by the latter system remains the main advantage over the former approach.


title: Dark Sectors at fixed targets: The example of NA62

abstract: If new physics manifests itself in the existence of very weakly coupled particles of MeV-GeV mass-scale, fixed-target experiments can be an excellent instrument to discover it. In these proceedings, we review especially the sensitivity of the NA62 experiment to this physics scenario.


title: Section problems for configurations of points on the Riemann sphere

abstract: This paper contains a suite of results concerning the problem of adding $m$ distinct new points to a configuration of $n$ distinct points on the Riemann sphere, such that the new points depend continuously on the old. Altogether, the results of the paper provide a complete answer to the following question: given $n \ne 5$, for which $m$ can one continuously add $m$ points to a configuration of $n$ points? For $n \ge 6$, we find that $m$ must be divisible by $n(n-1)(n-2)$, and we provide a construction based on the idea of cabling of braids. For $n = 3,4$, we give some exceptional constructions based on the theory of elliptic curves.


title: A Note on Schoen's Calabi--Yau Threefolds

abstract: We study the topology of a real Lagrangian in Schoen's Calabi--Yau threefold $X$ and compute its mod $2$ cohomology using two methods; first via a concrete Mayer--Vietoris calculation, then by an exact sequence relating the mod $2$ cohomology of the real Lagrangian to the cohomology of $X$. We conclude that these two methods agree. This in particular corrects a previous computation made by Casta\~{n}o-Bernard--Matessi.


title: Differential Analysis of Directed Networks

abstract: We developed a novel statistical method to identify structural differences between networks characterized by structural equation models. We propose to reparameterize the model to separate the differential structures from common structures, and then design an algorithm with calibration and construction stages to identify these differential structures. The calibration stage serves to obtain consistent prediction by building the L2 regularized regression of each endogenous variables against pre-screened exogenous variables, correcting for potential endogeneity issue. The construction stage consistently selects and estimates both common and differential effects by undertaking L1 regularized regression of each endogenous variable against the predicts of other endogenous variables as well as its anchoring exogenous variables. Our method allows easy parallel computation at each stage. Theoretical results are obtained to establish nonasymptotic error bounds of predictions and estimates at both stages, as well as the consistency of identified common and differential effects. Our studies on synthetic data demonstrated that our proposed method performed much better than independently constructing the networks. A real data set is analyzed to illustrate the applicability of our method.


title: Superpixel Sampling Networks

abstract: Superpixels provide an efficient low/mid-level representation of image data, which greatly reduces the number of image primitives for subsequent vision tasks. Existing superpixel algorithms are not differentiable, making them difficult to integrate into otherwise end-to-end trainable deep neural networks. We develop a new differentiable model for superpixel sampling that leverages deep networks for learning superpixel segmentation. The resulting "Superpixel Sampling Network" (SSN) is end-to-end trainable, which allows learning task-specific superpixels with flexible loss functions and has fast runtime. Extensive experimental analysis indicates that SSNs not only outperform existing superpixel algorithms on traditional segmentation benchmarks, but can also learn superpixels for other tasks. In addition, SSNs can be easily integrated into downstream deep networks resulting in performance improvements.


title: Unraveling Modular Microswimmers: From Self-Assembly to Ion-Exchange Driven Motors

abstract: Active systems contain self-propelled particles and can spontaneously self-organize into patterns making them attractive candidates for the self-assembly of smart soft materials. One key limitation of our present understanding of these materials hinges on the complexity of the microscopic mechanisms driving its components forward. Here, by combining experiments, analytical theory and simulations we explore such a mechanism for a class of active system, modular microswimmers, which self-assemble from colloids and ion-exchange resins on charged substrates. Our results unveil the self-assembly processes and the working mechanism of the ion-exchange driven motors underlying modular microswimmers, which have so far been illusive, even qualitatively. We apply these motors to show that modular microswimmers can circumvent corners in complex environments and move uphill. Our work closes a central knowledge gap in modular microswimmers and provides a facile route to extract mechanical energy from ion-exchange processes.


title: Spreading of entanglement and correlations after a quench with intertwined quasiparticles

abstract: We extend the semiclassical picture for the spreading of entanglement and correlations to quantum quenches with several species of quasiparticles that have non-trivial pair correlations in momentum space. These pair correlations are, for example, relevant in inhomogeneous lattice models with a periodically-modulated Hamiltonian parameter. We provide explicit predictions for the spreading of the entanglement entropy in the space-time scaling limit. We also predict the time evolution of one- and two-point functions of the order parameter for quenches within the ordered phase. We test all our predictions against exact numerical results for quenches in the Ising chain with a modulated transverse field and we find perfect agreement.


title: Hypergraphs with few Berge paths of fixed length between vertices

abstract: In this paper we study the maximum number of hyperedges which may be in an $r$-uniform hypergraph under the restriction that no pair of vertices has more than $t$ Berge paths of length $k$ between them. When $r=t=2$, this is the even-cycle problem asking for $\mathrm{ex}(n, C_{2k})$. We extend results of F\"uredi and Simonovits and of Conlon, who studied the problem when $r=2$. In particular, we show that for fixed $k$ and $r$, there is a constant $t$ such that the maximum number of edges can be determined in order of magnitude.


title: On Generation of Virtual Outputs via Signal Injection: Application to Observer Design for Electromechanical Systems

abstract: Probing signal injection is a well-established technique to extract additional information from a weakly (or non) observable dynamical system. Using averaging theory, a framework to analyse such schemes for general nonlinear systems has been recently proposed in [Combes et. al., 2016], where it is shown that the signal injection may be used to generate a new high frequency component of the systems output that can be used for state observation or controller design. A key step for the success of this technique is the implementation of a filter to reconstruct this virtual output from the measurement of the overall systems output. The main contribution of this paper is to propose a new filter with guaranteed convergence properties that outperforms the classical designs. The method is applied to a general class of electromechanical systems, and its performance is assessed via simulations and experiments on the benchmark example of a 1-dof magnetic levitation system.


title: Entanglement in spatial adiabatic processes for interacting atoms

abstract: We study the dynamics of the non-classical correlations for few atom systems in the presence of strong interactions for a number of recently developed adiabatic state preparation protocols. We show that entanglement can be created in a controlled fashion and can be attributed to two distinct sources, the atom-atom interaction and the distribution of atoms among different traps.


title: Global optimization using Gaussian Processes to estimate biological parameters from image data

abstract: Parameter estimation is a major challenge in computational modeling of biological processes. This is especially the case in image-based modeling where the inherently quantitative output of the model is measured against image data, which is typically noisy and non-quantitative. In addition, these models can have a high computational cost, limiting the number of feasible simulations, and therefore rendering most traditional parameter estimation methods unsuitable. In this paper, we present a pipeline that uses Gaussian process learning to estimate biological parameters from noisy, non-quantitative image data when the model has a high computational cost. This approach is first successfully tested on a parametric function with the goal of retrieving the original parameters. We then apply it to estimating parameters in a biological setting by fitting artificial in-situ hybridization (ISH) data of the developing murine limb bud. We expect that this method will be of use in a variety of modeling scenarios where quantitative data is missing and the use of standard parameter estimation approaches in biological modeling is prohibited by the computational cost of the model.


title: Gradient estimates, Bakry-Emery Ricci curvature and ellipticity for unbounded graph Laplacians

abstract: In this article, we prove gradient estimates under Bakry-Emery curvature bounds for unbounded graph Laplacians which satisfy an ellipticity assumption. As applications, we study completeness and finiteness of stochastically complete graphs under Bakry-Emery curvature bounds.


title: The laser synthesis of linear carbon chains

abstract: We synthesize macroscopically long linear carbon chains (carbynes) in a colloidal solution, then deposit them on a surface. The method is based on the formation of carbon threads by laser ablation in a colloid accompanied by the stabilization of resulting linear carbon chains by golden nanoparticles. We observe the signatures of the polyyne allotrope of carbyne in the photoluminescence and Raman spectra of the solutions. We deposit the synthesized carbyne threads on fused quartz glass substrates. The transmission electron microscopy images of the deposited threads with golden nanoparticles attached to their ends demonstrate the straight linear parts of the monoatomic carbon chains varying in length between 8 and 24 carbon atoms. This method paves the way to fabrication of an ultimate one-dimensional crystal: a monoatomic carbon wire.


title: Solar energetic particle events observed by the PAMELA mission

abstract: Despite the significant progress achieved in recent years, the physical mechanisms underlying the origin of solar energetic particles (SEPs) are still a matter of debate. The complex nature of both particle acceleration and transport poses challenges to developing a universal picture of SEP events that encompasses both the low-energy (from tens of keV to a few hundreds of MeV) observations made by space-based instruments and the GeV particles detected by the worldwide network of neutron monitors in ground-level enhancements (GLEs). The high-precision data collected by the Payload for Antimatter Matter Exploration and Light-nuclei Astrophysics (PAMELA) satellite experiment offer a unique opportunity to study the SEP fluxes between $\sim$80 MeV and a few GeV, significantly improving the characterization of the most energetic events. In particular, PAMELA can measure for the first time with good accuracy the spectral features at moderate and high energies, providing important constraints for current SEP models. In addition, the PAMELA observations allow the relationship between low and high-energy particles to be investigated, enabling a clearer view of the SEP origin. No qualitative distinction between the spectral shapes of GLE, sub-GLE and non-GLE events is observed, suggesting that GLEs are not a separate class, but are the subset of a continuous distribution of SEP events that are more intense at high energies. While the spectral forms found are to be consistent with diffusive shock acceleration theory, which predicts spectral rollovers at high energies that are attributed to particles escaping the shock region during acceleration, further work is required to explore the relative influences of acceleration and transport processes on SEP spectra.


title: Subtleties of witnessing quantum coherence in non-isolated systems

abstract: Identifying non-classicality unambiguously and inexpensively is a long-standing open challenge in physics. The No-Signalling-In-Time protocol was developed as an experimental test for macroscopic realism, and serves as a witness of quantum coherence in isolated quantum systems by comparing the quantum state to its completely dephased counterpart. We show that it provides a lower bound on a certain resource-theoretic coherence monotone. We go on to generalise the protocol to the case where the system of interest is coupled to an environment. Depending on the manner of the generalisation, the resulting witness either reports on system coherence alone, or on a disjunction of system coherence with either (i) the existence of non-classical system-environment correlations or (ii) non-negligible dynamics in the environment. These are distinct failure modes of the Born approximation in non-isolated systems.


title: An Example on $s$-H-Convexity in $\mathbb{C}^2$

abstract: We construct a bounded domain $\Omega$ in $\mathbb{C}^2$ with boundary of class $\mathcal{C}^{1,1}$, such that $\overline{\Omega}$ has a Stein neighborhood basis, but is not $s$-H-convex for any real number $s\geq{1}$.


title: Full perturbative calculation of spectral correlation functions for chaotic systems in the unitary symmetry class

abstract: Starting from a semiclassical approach recently developed for spectral correlation functions of quantum systems whose classical dynamics is chaotic, we focus on the case of broken time-reversal symmetry, the so-called unitary class. We obtain to all orders in perturbation theory the non-oscillatory parts of all correlation functions, showing that the off-diagonal contributions to these correlation functions cancel and the conjectured universailty holds. The innovation that allows this calculation to be performed is the introduction of an auxiliary matrix model which is governed by the same diagrammatic rules as the semiclassical approach and which can be exactly solved.


title: A note on the Grinberg condition in the cycle spaces

abstract: Finding a Hamilton graph from simple connected graphs is an important problem in discrete mathematics and computer science. Grinberg Theorem is a well-known necessary condition for planar Hamilton graphs. It divides a plane into two parts: inside and outside faces. The sum of inside faces in a Hamilton graph is a Hamilton cycle. In this paper, using a basis of the cycle space to represent a graph and by the Inclusion-Exclusion Principle, we derive the equality with respect to the inside faces that can be also obtained from Grinberg Theorem. By further investigating the cycle structure of inside faces, we give a new combinatorial interpretation to Grinberg's condition, which explains why Grinberg Theorem is not sufficient for Hamilton graphs. Our results will improve deriving an efficient condition for Hamilton graphs.


title: Is there a left-handed magnetic field in the solar neighborhood? Exploring helical magnetic fields in the interstellar medium through dust polarization power spectra

abstract: The full-sky Planck polarization data at 850um revealed unexpected properties of the E and B mode power spectra of dust emission in the interstellar medium (ISM). The positive cross-correlation between the total dust intensity, T, with the B modes has raised new questions about the physical mechanisms that affect dust polarization, such as the Galactic magnetic-field structure. This is key both to better understanding ISM dynamics and to accurately describing Galactic foregrounds to the polarization of the Cosmic Microwave Background (CMB). In this theoretical paper we investigate the possibility that the observed cross-correlations in the dust polarization power spectra, and specifically between T and B, can be related to a parity-odd quantity in the ISM such as the magnetic helicity. We produce synthetic dust polarization data, derived from 3D analytical toy models of density structures and helical magnetic fields, to compare with the E and B modes of observations. Focusing on the observed T-B correlation, we propose a new line of interpretation of the Planck observations based on a large-scale helical component of the Galactic magnetic field in the solar neighborhood. Our analysis shows that: I) the sign of magnetic helicity does not affect E and B modes for isotropic magnetic-field configurations; II) helical magnetic fields threading interstellar filaments cannot reproduce the Planck results; III) a weak helical left-handed magnetic field structure in the solar neighborhood may explain the T-B correlation seen in the Planck data. This work suggests a new perspective for the interpretation of the dust polarization power spectra, which strongly supports the imprint of a large-scale structure of the Galactic magnetic field in the solar neighborhood.


title: Active energy transport and the role of symmetry breaking in microscopic power grid

abstract: We study the transfer of energy through a network of coupled oscillators, which represents a minimalmicroscopic power grid connecting multiple active quantum machines. We evaluate the resulting energy currentsin the macroscopic, thermal, and quantum regime and describe how transport is affected by the competitionbetween coherent and incoherent processes and nonlinear saturation effects. Specifically, we show that thetransfer of energy through such networks is strongly influenced by a nonequilibrium phase transition between anoise-dominated and a coherent transport regime. This transition is associated with the formation and breakingof spatial symmetries and is identified as a generic feature of active networks. Therefore, these findings haveimportant practical consequences for the distribution of energy over coherent microwave, optical, or phononicchannels, in particular close to or at the quantum limit


title: Anomalous triple-gauge-boson interactions in diboson production

abstract: Diboson production is of prime interest at the LHC particularly due to its sensitivity to the gauge-boson self interaction, allowing to test its Standard Model prediction with high precision and to search for possible deviations with respect to the Standard Model. We report on the results of arXiv:1804.01477, where we computed WW, WZ and ZZ production (including the leptonic decays of the vector bosons) in the effective field theory framework at NLO QCD accuracy. The impact of the higher-dimensional operators is compared to the NLO QCD and NLO EW corrections in the Standard Model. Our calculation is the first application of RECOLA2 in the effective field theory framework.


title: Joint Optimization of Fronthaul Compression and Bandwidth Allocation in Uplink H-CRAN with Large System Analysis

abstract: In this paper, we consider an uplink heterogeneous cloud radio access network (H-CRAN), where a macro base station (BS) coexists with many remote radio heads (RRHs). For cost-savings, only the BS is connected to the baseband unit (BBU) pool via fiber links. The RRHs, however, are associated with the BBU pool through wireless fronthaul links, which share the spectrum resource with radio access networks. Due to the limited capacity of fronthaul, the compress-and-forward scheme is employed, such as point-to-point compression or Wyner-Ziv coding. Different decoding strategies are also considered. This work aims to maximize the uplink ergodic sum-rate (SR) by jointly optimizing quantization noise matrix and bandwidth allocation between radio access networks and fronthaul links, which is a mixed time-scale issue. To reduce computational complexity and communication overhead, we introduce an approximation problem of the joint optimization problem based on large-dimensional random matrix theory, which is a slow time-scale issue because it only depends on statistical channel information. Finally, an algorithm based on Dinkelbach's algorithm is proposed to find the optimal solution to the approximate problem. In summary, this work provides an economic solution to the challenge of constrained fronthaul capacity, and also provides a framework with less computational complexity to study how bandwidth allocation and fronthaul compression can affect the SR maximization problem.


title: First Observation of $P$-odd $\gamma$ Asymmetry in Polarized Neutron Capture on Hydrogen

abstract: We report the first observation of the parity-violating 2.2 MeV gamma-ray asymmetry $A^{np}_\gamma$ in neutron-proton capture using polarized cold neutrons incident on a liquid parahydrogen target at the Spallation Neutron Source at Oak Ridge National Laboratory. $A^{np}_\gamma$ isolates the $\Delta I=1$, \mbox{$^{3}S_{1}\rightarrow {^{3}P_{1}}$} component of the weak nucleon-nucleon interaction, which is dominated by pion exchange and can be directly related to a single coupling constant in either the DDH meson exchange model or pionless EFT. We measured $A^{np}_\gamma = [-3.0 \pm 1.4 (stat) \pm 0.2 (sys)]\times 10^{-8}$, which implies a DDH weak $\pi NN$ coupling of $h_{\pi}^{1} = [2.6 \pm 1.2(stat) \pm 0.2(sys)] \times 10^{-7}$ and a pionless EFT constant of $C^{^{3}S_{1}\rightarrow ^{3}P_{1}}/C_{0}=[-7.4 \pm 3.5 (stat) \pm 0.5 (sys)] \times 10^{-11}$ MeV$^{-1}$. We describe the experiment, data analysis, systematic uncertainties, and the implications of the result.


title: Rings of differential operators as enveloping algebras of Hasse--Schmidt derivations

abstract: Let $k$ be a commutative ring and $A$ a commutative $k$-algebra. In this paper we introduce the notion of enveloping algebra of Hasse--Schmidt derivations of $A$ over $k$ and we prove that, under suitable smoothness hypotheses, the canonical map from the above enveloping algebra to the ring of differential operators $\mathcal{D}_{A/k}$ is an isomorphism. This result generalizes the characteristic 0 case in which the ring $\mathcal{D}_{A/k}$ appears as the enveloping algebra of the Lie-Rinehart algebra of the usual $k$-derivations of $A$ provided that $A$ is smooth over $k$.


title: Linkage between piecewise constant Mumford-Shah model and ROF model and its virtue in image segmentation

abstract: The piecewise constant Mumford-Shah (PCMS) model and the Rudin-Osher-Fatemi (ROF) model are two important variational models in image segmentation and image restoration, respectively. In this paper, we explore a linkage between these models. We prove that for the two-phase segmentation problem a partial minimizer of the PCMS model can be obtained by thresholding the minimizer of the ROF model. A similar linkage is still valid for multiphase segmentation under specific assumptions. Thus it opens a new segmentation paradigm: image segmentation can be done via image restoration plus thresholding. This new paradigm, which circumvents the innate non-convex property of the PCMS model, therefore improves the segmentation performance in both efficiency (much faster than state-of-the-art methods based on PCMS model, particularly when the phase number is high) and effectiveness (producing segmentation results with better quality) due to the flexibility of the ROF model in tackling degraded images, such as noisy images, blurry images or images with information loss. As a by-product of the new paradigm, we derive a novel segmentation method, called thresholded-ROF (T-ROF) method, to illustrate the virtue of managing image segmentation through image restoration techniques. The convergence of the T-ROF method is proved, and elaborate experimental results and comparisons are presented.


title: An Advanced NCRF Linac Concept for a High Energy e$^+$e$^-$ Linear Collider

abstract: We have explored a concept for an advanced Normal-Conducting Radio-Frequency (NCRF) C-band linear accelerator (linac) structure to achieve a high gradient, high power e$^+$e$^-$ linear collider in the TeV class. This design study represents the first comprehensive investigation for an emerging class of distributed coupling accelerator topology exploring nominal cavity geometries, frequency and temperature of operation. The structure features internal manifolds for distributing RF power separately to each cell, permitting the full structure geometry to be designed for high shunt impedance and low breakdown. Optimized within operational constraints, we find that it is advantageous for the structure to be cooled directly by liquid nitrogen (LN), further increasing the shunt impedance. A crucial part of this design process has been cost optimization, which is largely driven by the cost of peak RF power. The first operation of a distributed coupling structure at cryogenic temperatures and the nominal operating gradient 120 MeV/m is also presented, demonstrating the feasibility of achieving high-gradient performance with a cryogenically-cooled normal-conducting accelerating structure.


title: A Multigrid Method for Unfitted Finite Element Discretizations of Elliptic Interface Problems

abstract: We consider discrete Poisson interface problems resulting from linear unfitted finite elements, also called cut finite elements (CutFEM). Three of these unfitted finite element methods known from the literature are studied. All three methods rely on Nitsche s method to incorporate the interface conditions. The main topic of the paper is the development of a multigrid method, based on a novel prolongation operator for the unfitted finite element space and an interface smoother that is designed to yield robustness for large jumps in the diffusion coefficients. Numerical results are presented which illustrate efficiency of this multigrid method and demonstrate its robustness properties with respect to variation of the mesh size, location of the interface and contrast in the diffusion coefficients.


title: Reduced hadronic uncertainty in the determination of $V_{ud}$

abstract: We analyze the universal radiative correction $\Delta_R^V$ to neutron and superallowed nuclear $\beta$ decay by expressing the hadronic $\gamma W$-box contribution in terms of a dispersion relation, which we identify as an integral over the first Nachtmann moment of the $\gamma W$ interference structure function $F_3^{(0)}$. By connecting the needed input to existing data on neutrino and antineutrino scattering, we obtain an updated value of $\Delta_R^V = 0.02467(22)$, wherein the hadronic uncertainty is reduced. Assuming other Standard Model theoretical calculations and experimental measurements remain unchanged, we obtain an updated value of $|V_{ud}| = 0.97366(15)$, raising tension with the first row CKM unitarity constraint. We comment on ways current and future experiments can provide input to our dispersive analysis.


title: On Simultaneous Linearization

abstract: Given a uniformly quasiregular mapping, there is typically no reason to assume any relationship between linearizers at different repelling periodic points. However, in the current paper we prove that in the case where the uqr map arises as a solution of a Schr\"oder equation then, with some further natural assumptions, if $L$ is a linearizer at one repelling periodic point, then $L\circ T$ is a linearizer at another repelling periodic point, where $T$ is a translation. In this sense we say $L$ simultaneously linearizes $f$. In the plane, an example would be that $e^z$ simultaneously linearizes $z^2$. Our methods utilize generalized derivatives for quasiregular mappings, including a chain rule and inverse derivative formula, which may be of independent interest.


title: Thermonuclear explosions of rapidly differentially rotating white dwarfs: Candidates for superluminous Type Ia supernovae?

abstract: The observed sub-class of "superluminous" Type Ia supernovae lacks a convincing theoretical explanation. If the emission of such objects were powered exclusively by radioactive decay of 56Ni formed in the explosion, a progenitor mass close to or even above the Chandrasekhar limit for a non-rotating white dwarf star would be required. Masses significantly exceeding this limit can be supported by differential rotation. We, therefore, explore explosions and predict observables for various scenarios resulting from differentially rotating carbon-oxygen white dwarfs close to their respective limit of stability. Specifically, we have investigated a prompt detonation model, detonations following an initial deflagration phase ("delayed detonation" models), and a pure deflagration model. In postprocessing steps, we performed nucleosynthesis and three-dimensional radiative transfer calculations, that allow us, for the first time, to consistently derive synthetic observables from our models. We find that all explosion scenarios involving detonations produce very bright events. The observables predicted for them, however, are inconsistent with any known subclass of Type Ia supernovae. Pure deflagrations resemble 2002cx-like supernovae and may contribute to this class. We discuss implications of our findings for the explosion mechanism and for the existence of differentially rotating white dwarfs as supernova progenitors.


title: An extension of the Erd\H{o}s-Tetali theorem

abstract: Given a sequence $\mathscr{A}=\{a_0<a_1<a_2\ldots\}\subseteq \mathbb{N}$, let $r_{\mathscr{A},h}(n)$ denote the number of ways $n$ can be written as the sum of $h$ elements of $\mathscr{A}$. Fixing $h\geq 2$, we show that if $f$ is a suitable real function (namely: locally integrable, $O$-regularly varying and of positive increase) satisfying \[ x^{1/h}\log(x)^{1/h} \ll f(x) \ll \frac{x^{1/(h-1)}}{\log(x)^{\varepsilon}} \text{ for some } \varepsilon > 0, \] then there must exist $\mathscr{A}\subseteq\mathbb{N}$ with $|\mathscr{A}\cap [0,x]|=\Theta(f(x))$ for which $r_{\mathscr{A},h+\ell}(n) = \Theta(f(n)^{h+\ell}/n)$ for all $\ell \geq 0$. Furthermore, for $h=2$ this condition can be weakened to $x^{1/2}\log(x)^{1/2} \ll f(x) \ll x$. The proof is somewhat technical and the methods rely on ideas from regular variation theory, which are presented in an appendix with a view towards the general theory of additive bases. We also mention an application of these ideas to Schnirelmann's method.


title: A Style-Aware Content Loss for Real-time HD Style Transfer

abstract: Recently, style transfer has received a lot of attention. While much of this research has aimed at speeding up processing, the approaches are still lacking from a principled, art historical standpoint: a style is more than just a single image or an artist, but previous work is limited to only a single instance of a style or shows no benefit from more images. Moreover, previous work has relied on a direct comparison of art in the domain of RGB images or on CNNs pre-trained on ImageNet, which requires millions of labeled object bounding boxes and can introduce an extra bias, since it has been assembled without artistic consideration. To circumvent these issues, we propose a style-aware content loss, which is trained jointly with a deep encoder-decoder network for real-time, high-resolution stylization of images and videos. We propose a quantitative measure for evaluating the quality of a stylized image and also have art historians rank patches from our approach against those from previous work. These and our qualitative results ranging from small image patches to megapixel stylistic images and videos show that our approach better captures the subtle nature in which a style affects content.


title: Simple security analysis of phase-matching measurement-device-independent quantum key distribution

abstract: Variations of phase-matching measurement-device-independent quantum key distribution (PM-MDI QKD) protocols have been investigated before, but it was recently discovered that this type of protocol (under the name of twin-field QKD) can beat the linear scaling of the repeaterless bound on secret key rate capacity. We propose a variation of PM-MDI QKD protocol, which reduces the sifting cost and uses non-phase-randomized coherent states as test states. We provide a security proof in the infinite key limit. Our proof is conceptually simple and gives tight key rates. We obtain an analytical key rate formula for the loss-only scenario, confirming the square root scaling and also showing the loss limit. We simulate the key rate for realistic imperfections and show that PM-MDI QKD can overcome the repeaterless bound with currently available technology.


title: A degree sequence Koml\'{o}s theorem

abstract: An important result of Koml\'os [Tiling Tur\'an theorems, Combinatorica, 2000] yields the asymptotically exact minimum degree threshold that ensures a graph $G$ contains an $H$-tiling covering an $x$th proportion of the vertices of $G$ (for any fixed $x \in (0,1)$ and graph $H$). We give a degree sequence strengthening of this result which allows for a large proportion of the vertices in the host graph $G$ to have degree substantially smaller than that required by Koml\'os' theorem. We also demonstrate that for certain graphs $H$, the degree sequence condition is essentially best possible in more than one sense.


title: Visual Display and Retrieval of Music Information

abstract: This paper describes computational methods for the visual display and analysis of music information. We provide a concise description of software, music descriptors and data visualization techniques commonly used in music information retrieval. Finally, we provide use cases where the described software, descriptors and visualizations are showcased.


title: De-projection of radio observations of axi-symmetric expanding circumstellar envelopes

abstract: The problem of de-projection of radio line observations of axi-symmetric expanding circumstellar envelopes is studied with the aim of easing their analysis in terms of physics models. The arguments developed rest on the remark that, in principle, when the wind velocity distribution is known, the effective emissivity can be calculated at any point in space. The paper provides a detailed study of how much this is true in practice. The wind velocity distribution assumed to be axi-symmetric and in expansion, is described by four parameters: the angles defining the orientation of the symmetry axis, an overall velocity scale and a parameter measuring the elongation (prolateness) of the distribution. Tools are developed that allow for measuring, or at least constraining, each of the four parameters. The use of effective emissivity as relevant quantity, rather than temperature and density being considered separately, implies important assumptions and simplifications meaning that the approach being considered here is only a preliminary to, and by no means a replacement for, a physics analysis accounting for radiative transfer and hydrodynamics arguments. While most considerations are developed using simulated observations as examples, two case studies (EP Aqr, observed with ALMA, and RS Cnc, with NOEMA) are presented that illustrate their usefulness in practical cases.


title: Plasmon-polaron of the topological metallic surface states

abstract: We report a plasmon-polaron mode of a 2D electron gas occupying surface states of a 3D topological crystal. This new, low-frequency, acoustic plasmon mode splits-off from the conventional spin-plasmon mode as a result of strong interactions of the surface electrons with bulk phonons. We show that, like in the case of the conventional spin-plasmon, the scattering of this mode is strongly suppressed in some regions of the phase space. This signature of the topological protection leads to an Umklapp-free mode dispersion at the Brillouin zone boundary. Such a plasmon polaron mode has indeed been recently observed in the topological metal Be2Se3.


title: Fusion asymptotics for Liouville correlation functions

abstract: David-Kupiainen-Rhodes-Vargas introduced a probabilistic framework based on the Gaussian Free Field and Gaussian Multiplicative Chaos in order to make sense rigorously of the path integral approach to Liouville Conformal Field Theory (LCFT). We use this setting to compute fusion estimates for the four-point correlation function on the Riemann sphere, and find that it is consistent with predictions from the framework of theoretical physics known as the conformal bootstrap. This result fits naturally into the famous KPZ conjecture which relates the four-point function to the expected density of points around the root of a large random planar map weighted by some statistical mechanics model. From a purely probabilistic point of view, we give non-trivial results on negative moments of GMC. We give exact formulae based on the DOZZ formula in the Liouville case and asymptotic behaviours in the other cases, with a probabilistic representation of the limit. Finally, we show how to extend our results to boundary LCFT, treating the cases of the fusion of two boundary or bulk insertions as well as the absorption of a bulk insertion on the boundary.


title: Time-resolved observation of competing attractive and repulsive short-range correlations in strongly interacting Fermi gases

abstract: We exploit a time-resolved pump-probe spectroscopic technique to study the out-of-equilibrium dynamics of an ultracold two-component Fermi gas, selectively quenched to strong repulsion along the upper branch of a broad Feshbach resonance. For critical interactions, we find the rapid growth of short-range anti-correlations between repulsive fermions to initially overcome concurrent pairing processes. At longer evolution times, these two competing mechanisms appear to macroscopically coexist in a short-range correlated state of fermions and pairs, unforeseen thus far. Our work provides fundamental insights into the fate of a repulsive Fermi gas, and offers new perspectives towards the exploration of complex dynamical regimes of fermionic matter.


title: On the number of excursion sets of planar Gaussian fields

abstract: The Nazarov-Sodin constant describes the average number of nodal set components of Gaussian fields on large scales. We generalise this to a functional describing the corresponding number of level set components for arbitrary levels. Using results from Morse theory, we express this functional as an integral over the level densities of different types of critical points, and as a result deduce the absolute continuity of the functional as the level varies. We further give upper and lower bounds showing that the functional is at least bimodal for certain isotropic fields, including the important special case of the random plane wave.


title: A Parity Game Tale of Two Counters

abstract: Parity games are simple infinite games played on finite graphs with a winning condition that is expressive enough to capture nested least and greatest fixpoints. Through their tight relationship to the modal mu-calculus, they are used in practice for the model-checking and synthesis problems of the mu-calculus and related temporal logics like LTL and CTL. Solving parity games is a compelling complexity theoretic problem, as the problem lies in the intersection of UP and co-UP and is believed to admit a polynomial-time solution, motivating researchers to either find such a solution or to find superpolynomial lower bounds for existing algorithms to improve the understanding of parity games. We present a parameterized parity game called the Two Counters game, which provides an exponential lower bound for a wide range of attractor-based parity game solving algorithms. We are the first to provide an exponential lower bound to priority promotion with the delayed promotion policy, and the first to provide such a lower bound to tangle learning.


title: Robust Tracking via Weighted Online Extreme Learning Machine

abstract: The tracking method based on the extreme learning machine (ELM) is efficient and effective. ELM randomly generates input weights and biases in the hidden layer, and then calculates and computes the output weights by reducing the iterative solution to the problem of linear equations. Therefore, ELM offers the satisfying classification performance and fast training time than other discriminative models in tracking. However, the original ELM method often suffers from the problem of the imbalanced classification distribution, which is caused by few target objects, leading to under-fitting and more background samples leading to over-fitting. Worse still, it reduces the robustness of tracking under special conditions including occlusion, illumination, etc. To address above problems, in this paper, we present a robust tracking algorithm. First, we introduce the local weight matrix that is the dynamic creation from the data distribution at the current frame in the original ELM so as to balance between the empirical and structure risk, and fully learn the target object to enhance the classification performance. Second, we improve it to the incremental learning method ensuring tracking real-time and efficient. Finally, the forgetting factor is used to strengthen the robustness for changing of the classification distribution with time. Meanwhile, we propose a novel optimized method to obtain the optimal sample as the target object, which avoids tracking drift resulting from noisy samples. Therefore, our tracking method can fully learn both of the target object and background information to enhance the tracking performance, and it is evaluated in 20 challenge image sequences with different attributes including illumination, occlusion, deformation, etc., which achieves better performance than several state-of-the-art methods in terms of effectiveness and robustness.


title: Variability and Jet Activity in the YSO MHO~3252~Y3 in Serpens South

abstract: The infrared young stellar outflow source MHO 3252 Y3 in the Serpens South star-forming region was found to be variable. The available photometric data can be fitted with a double peaked light curve of 904 d period. Color variations are consistent with variable extinction with a flatter wavelength dependence than interstellar extinction, i.e., larger grains. MHO 3252 Y3 is the source of a large scale bipolar outflow, but the most recent outflow activity has produced a microjet detectable in the shock excited H_2 1--0 S(1) line while [FeII] emission appears confined to the immediate vicinity of the central star. The proper motion of individual shock fronts in the H_2 microjet has been measured and traces these knots back to ejection events in the past two centuries. Integral field spectroscopy with the Keck 1 adaptive optics system and the OSIRIS instrument shows velocity components near the launch region that are distinct from the microjet both in radial velocity and apparent proper motion. They match the prediction of dual wind models with a distinct low velocity disk wind component. We find evidence for the entrainment of this low velocity component into the high velocity microjet, leading to shock excited emission at intermediate velocities in an envelope around the microjet.


title: Remarks on replica diagonal collective field condensations in SYK

abstract: In the Sachdev-Ye-Kitaev model with generic order $q \ge 4$ random couplings, we compute the critical temperature relating the Majorana fermions high temperature perturbative vacuum to the vacuum where the replica diagonal collective field $G(\tau, \tau')$ condenses. We study, by a finite temperature diagrammatic analysis, the effective action of an auxiliary Hubbard-Stratonovich bilocal field related to $G(\tau, \tau')$ in the large $N$ limit. Subtelties that arise in switching from the operatorial to the functional integral representation of the SYK thermal partition function are also discussed.


title: Cloud Storage Forensic: hubiC as a Case-Study

abstract: In today society where we live in a world of constant connectivity, many people are now looking to cloud services in order to store their files so they can have access to them wherever they are. By using cloud services, users can access files anywhere with an internet connection. However, while cloud storage is convenient, it also presents security risks. From a forensics perspective, the increasing popularity of cloud storage platforms, makes investigation into such exploits much more difficult, especially since many platforms such as mobile devices as well as computers are able to use these services. This paper presents investigation of hubiC as one of popular cloud platforms running on Microsoft Windows 8.1. Remaining artefacts pertaining different usage of hubiC namely upload, download, installation and uninstallation on Microsoft Windows 8.1are presented.


title: DeepSPINE: Automated Lumbar Vertebral Segmentation, Disc-level Designation, and Spinal Stenosis Grading Using Deep Learning

abstract: The high prevalence of spinal stenosis results in a large volume of MRI imaging, yet interpretation can be time-consuming with high inter-reader variability even among the most specialized radiologists. In this paper, we develop an efficient methodology to leverage the subject-matter-expertise stored in large-scale archival reporting and image data for a deep-learning approach to fully-automated lumbar spinal stenosis grading. Specifically, we introduce three major contributions: (1) a natural-language-processing scheme to extract level-by-level ground-truth labels from free-text radiology reports for the various types and grades of spinal stenosis (2) accurate vertebral segmentation and disc-level localization using a U-Net architecture combined with a spine-curve fitting method, and (3) a multi-input, multi-task, and multi-class convolutional neural network to perform central canal and foraminal stenosis grading on both axial and sagittal imaging series inputs with the extracted report-derived labels applied to corresponding imaging level segments. This study uses a large dataset of 22796 disc-levels extracted from 4075 patients. We achieve state-of-the-art performance on lumbar spinal stenosis classification and expect the technique will increase both radiology workflow efficiency and the perceived value of radiology reports for referring clinicians and patients.


title: Social Connection Induces Cultural Contraction: Evidence from Hyperbolic Embeddings of Social and Semantic Networks

abstract: Research has repeatedly demonstrated the influence of social connection and communication on convergence in cultural tastes, opinions and ideas. Here we review recent studies and consider the implications of social connection on cultural, epistemological and ideological contraction, then formalize these intuitions within the language of information theory. To systematically examine connectivity and cultural diversity, we introduce new methods of manifold learning to map both social networks and topic combinations into comparable, two-dimensional hyperbolic spaces or Poincar\'e disks, which represent both hierarchy and diversity within a system. On a Poincar\'e disk, radius from center traces the position of an actor in a social hierarchy or an idea in a cultural hierarchy. The angle of the disk required to inscribe connected actors or ideas captures their diversity. Using this method in the epistemic culture of 21st Century physics, we empirically demonstrate that denser university collaborations systematically contract the space of topics discussed and ideas investigated more than shared topics drive collaboration, despite the extreme commitments academic physicists make to research programs over the course of their careers. Dense connections unleash flows of communication that contract otherwise fragmented semantic spaces into convergent hubs or polarized clusters. We theorize the dynamic interplay between structural expansion and cultural contraction and explore how this introduces an essential tension between the enjoyment and protection of difference.


title: Combinatorics of Fourier transforms for type A quiver representations

abstract: We describe two new combinatorial algorithms (using the language of "triangular arrays") for computing the Fourier transforms of simple perverse sheaves on the moduli space of representations of an equioriented quiver of type A. (A rather different solution to this problem was previously obtained by Knight-Zelevinsky.) Along the way, we also show that the closure partial order and the dimensions of orbits have especially concise descriptions in the language of triangular arrays.


title: CloudMe Forensics: A Case of Big-Data Investigation

abstract: The issue of increasing volume, variety and velocity of has been an area of concern in cloud forensics. The high volume of data will, at some point, become computationally exhaustive to be fully extracted and analysed in a timely manner. To cut down the size of investigation, it is important for a digital forensic practitioner to possess a well-rounded knowledge about the most relevant data artefacts from the cloud product investigating. In this paper, we seek to tackle on the residual artefacts from the use of CloudMe cloud storage service. We demonstrate the types and locations of the artefacts relating to the installation, uninstallation, log-in, log-off, and file synchronisation activities from the computer desktop and mobile clients. Findings from this research will pave the way towards the development of data mining methods for cloud-enabled big data endpoint forensics investigation.


title: Matter parametric neutrino flavor transformation through Rabi resonances

abstract: We consider the flavor transformation of neutrinos through oscillatory matter profiles. We show that the neutrino oscillation Hamiltonian in this case describes a Rabi system with an infinite number of Rabi modes. We further show that, in a given physics problem, the majority of the Rabi modes have too small amplitudes to be relevant. We also go beyond the rotating wave approximation and derive the relative detuning of the Rabi resonance when multiple Rabi modes with small amplitudes are present. We provide an explicit criterion of whether an off-resonance Rabi mode can affect the parametric flavor transformation of the neutrino.


title: La stabilit\'e des lunes de Saturne, Janus et \'Epim\'eth\'ee: de l'observation astronomique \`a la th\'eorie KAM

abstract: Popular science article associated with the work `On the co-orbital motion in the three-body problem: existence of quasi-periodic horseshoe-shaped orbits" (arXiv:1806.07262) from the same authors. Janus and Epimetheus are two moons of Saturn which exhibit a really peculiar dynamics. As they orbit on circular trajectories whose radii are only 50 km apart (less than their respective diameters), every four (terrestrial) years the bodies are getting closer and their mutual gravitational influence leads to a swapping of the orbits: the outer moon becoming the inner one and vice-versa. In this article, we describe how, from this specific astronomical problem to the KAM theory, we came to prove the existence of perpetually stable trajectories associated with the Janus and Epimetheus orbits.


title: Unified Perceptual Parsing for Scene Understanding

abstract: Humans recognize the visual world at multiple levels: we effortlessly categorize scenes and detect objects inside, while also identifying the textures and surfaces of the objects along with their different compositional parts. In this paper, we study a new task called Unified Perceptual Parsing, which requires the machine vision systems to recognize as many visual concepts as possible from a given image. A multi-task framework called UPerNet and a training strategy are developed to learn from heterogeneous image annotations. We benchmark our framework on Unified Perceptual Parsing and show that it is able to effectively segment a wide range of concepts from images. The trained networks are further applied to discover visual knowledge in natural scenes. Models are available at \url{https://github.com/CSAILVision/unifiedparsing}.


title: Newtonian and single layer potentials for the Stokes system with $L^{\infty}$ coefficients and the exterior Dirichlet problem

abstract: A mixed variational formulation of some problems in $L^2$-based Sobolev spaces is used to define the Newtonian and layer potentials for the Stokes system with $L^{\infty}$ coefficients on Lipschitz domains in ${\mathbb R}^3$. Then the solution of the exterior Dirichlet problem for the Stokes system with $L^{\infty}$ coefficients is presented in terms of these potentials and the inverse of the corresponding single layer operator.


title: Integral Hasse principle and strong approximation for Markoff surfaces

abstract: We study the failure of the integral Hasse principle and strong approximation for Markoff surfaces, as studied by Ghosh and Sarnak, using the Brauer-Manin obstruction.


title: Low- and high-energy phenomenology of a doubly charged scalar

abstract: We explore the phenomenology of an $SU(2)$-singlet doubly charged scalar at the high and low energy frontier. Such a particle is predicted in different new physics models, like left-right symmetric models or the Zee-Babu model. Nonetheless, since its interactions with Standard Model (SM) leptons are gauge invariant, it can be consistently studied as a UV complete SM extension. Its signatures range from same-sign di-lepton pairs to flavour changing decays of charged leptons to muonium-antimuonium oscillations. In this article, we use a systematic effective-field-theory approach for studying the low-energy observables and comparing them consistently to collider bounds. For this purpose, experimental searches for doubly charged scalars at the Large Hadron Collider are reinterpreted, including large width effects, and projections for exclusion and discovery reaches in the high-luminosity phase are provided. The sensitivities of the future International Linear Collider and Compact Linear Collider for the doubly charged scalar are presented with focus on di-lepton final states and resonant production. Theoretically and phenomenologically motivated benchmark scenarios are considered showing the different impact of low- and high-energy observables. We find that future low- and high-energy experiments display strong complementarity in studying the parameter space of the model.


title: Medical Image Synthesis for Data Augmentation and Anonymization using Generative Adversarial Networks

abstract: Data diversity is critical to success when training deep learning models. Medical imaging data sets are often imbalanced as pathologic findings are generally rare, which introduces significant challenges when training deep learning models. In this work, we propose a method to generate synthetic abnormal MRI images with brain tumors by training a generative adversarial network using two publicly available data sets of brain MRI. We demonstrate two unique benefits that the synthetic images provide. First, we illustrate improved performance on tumor segmentation by leveraging the synthetic images as a form of data augmentation. Second, we demonstrate the value of generative models as an anonymization tool, achieving comparable tumor segmentation results when trained on the synthetic data versus when trained on real subject data. Together, these results offer a potential solution to two of the largest challenges facing machine learning in medical imaging, namely the small incidence of pathological findings, and the restrictions around sharing of patient data.


title: 77 New Thermodynamic Identities among Crystalline Elastic Material Properties Leading to a Shear Modulus Constitutive Law in Isotropic Solids

abstract: Thermodynamics of crystalline materials is analyzed using strain volumes, an incremental tensorial state variable which is the volume per unit mass multiplied by the incremental strain.


title: Fast adiabatic evolution by oscillating initial Hamiltonians

abstract: We propose a method to produce fast transitionless dynamics for finite-dimensional quantum systems without requiring additional Hamiltonian components not included in the initial control setup, remaining close to the true adiabatic path at all times. The strategy is based on the introduction of an effective counterdiabatic scheme: a correcting Hamiltonian is constructed which approximatively cancels nonadiabatic effects, inducing an evolution tracking the adiabatic states closely. This can be absorbed into the initial Hamiltonian by adding a fast oscillation in the control parameters. We show that a consistent speedup can be achieved without requiring strong control Hamiltonians, using it both as a stand-alone shortcut-to-adiabaticity and as a weak correcting field. A number of examples are treated, dealing with quantum state transfer in avoided-crossing problems and entanglement creation.


title: Low-energy effective theory of non-thermal fixed points in a multicomponent Bose gas

abstract: Non-thermal fixed points in the evolution of a quantum many-body system quenched far out of equilibrium manifest themselves in a scaling evolution of correlations in space and time. We develop a low-energy effective theory of non-thermal fixed points in a bosonic quantum many-body system by integrating out long-wave-length density fluctuations. The system consists of $N$ distinguishable spatially uniform Bose gases with $\mathrm{U}(N)$-symmetric interactions. The effective theory describes interacting Goldstone modes of the total and relative-phase excitations. It is similar in character to the non-linear Luttinger-liquid description of low-energy phonons in a single dilute Bose gas, with the markable difference of a universal non-local coupling function depending, in the large-$N$ limit, only on momentum, single-particle mass, and density of the gas. Our theory provides a perturbative description of the non-thermal fixed point, technically easy to apply to experimentally relevant cases with a small number of fields $N$. Numerical results for $N=3$ allow us to characterize the analytical form of the scaling function and confirm the analytically predicted scaling exponents. The fixed point which is dominated by the relative phases is found to be Gaussian, while a non-Gaussian fixed point is anticipated to require scaling evolution with a distinctly lower power of time.


title: On Optimizing Power Allocation For Reliable Communication over Fading Channels with Uninformed Transmitter

abstract: We investigate energy efficient packet scheduling and power allocation problem for the services which require reliable communication to guarantee a certain quality of experience (QoE). We establish links between average transmit power and reliability of data transfer, which depends on both average amount of data transfer and short term rate guarantees. We consider a slow-fading point-to-point channel without channel state information at the transmitter side (CSIT). In the absence of CSIT, the slow fading channel has an outage probability associated with every transmit power. As a function of data loss tolerance parameters, and minimum rate and peak power constraints, we formulate an optimization problem that adapts rate and power to minimize the average transmit power for the user equipment (UE). Then, a relaxed optimization problem is formulated where transmission rate is assumed to be fixed for each packet transmission. We use Markov chain to model constraints of the optimization problem. The corresponding problem is not convex for both of the formulated problems, therefore a stochastic optimization technique, namely the simulated annealing algorithm, is used to solve them. The numerical results quantify the effect of various system parameters on average transmit power and show significant energy savings when the service has less stringent requirements on timely and reliable communication.


title: Random walks, WPD actions, and the Cremona group

abstract: We study random walks on groups of isometries of non-proper delta-hyperbolic spaces under the assumption that at least one element in the group satisfies Bestvina-Fujiwara's WPD condition. We show that in this case typical elements are WPD, and the Poisson boundary coincides with the Gromov boundary. Moreover, we show that the random walk satisfies a form of asymptotic acylindricality, and we use this to show that the normal closure of random elements yields almost surely infinitely many different normal subgroups. Moreover, the probability that the normal closure is free tends to 1 if and only if the maximal normal subgroup coincides with the center of the group. We apply such techniques to the Cremona group, thus obtaining that the dynamical degree of random Cremona transformations grows exponentially fast, producing many different normal subgroups, and identifying the Poisson boundary. We also give a new identification of the Poisson boundary of Out(F_n). Our methods give bounds on the rates of convergence for these results.


title: Polyominoes with maximally many holes

abstract: What is the maximum number of holes that a polyomino with $n$ tiles can enclose? Call this number $f(n)$. We show that if $n_k = \left( 2^{2k+1} + 3 \cdot 2^{k+1}+4 \right) / 3$ and $h_k = \left( 2^{2k}-1 \right) /3$, then $f(n_k) = h_k$ for $k \ge 1$. We also give nearly matching upper and lower bounds for large $n$, showing as a corollary that $f(n) \approx n/2$.


title: Affine Hecke algebras and the conjectures of Hiraga, Ichino and Ikeda

abstract: Hiraga, Ichino and Ikeda have conjectured an explicit expression for the Plancherel density of the group of points of a reductive group defined over a local field $F$, in terms of local Langlands parameters. In these lectures we shall present a proof of these conjectures for Lusztig's class of representations of unipotent reduction if $F$ is $p$-adic and $G$ is of adjoint type and splits over an unramified extension of $F$. This is based on the author's paper [Spectral transfer morphisms for unipotent affine Hecke algebras, Selecta Math. (N.S.) 22 (2016), no. 4, 2143--2207]. More generally for $G$ connected reductive (still assumed to be split over an unramified extension of $F$), we shall show that the requirement of compatibility with the conjectures of Hiraga, Ichino and Ikeda essentially determines the Langlands parameterisation for tempered representations of unipotent reduction. We shall show that there exist parameterisations for which the conjectures of Hiraga, Ichino and Ikeda hold up to rational constant factors. The main technical tool is that of spectral transfer maps between normalised affine Hecke algebras used in op. cit.


title: High-dimensional Kuramoto models on Stiefel manifolds synchronize complex networks almost globally

abstract: The Kuramoto model of coupled phase oscillators is often used to describe synchronization phenomena in nature. Some applications, e.g., quantum synchronization and rigid-body attitude synchronization, involve high-dimensional Kuramoto models where each oscillator lives on the n-sphere or SO(n). These manifolds are special cases of the compact, real Stiefel manifold St(p,n). Using tools from optimization and control theory, we prove that the generalized Kuramoto model on St(p,n) converges to a synchronized state for any connected graph and from almost all initial conditions provided (p,n) satisfies p<=2n/3-1 and all oscillator frequencies are equal. This result could not have been predicted based on knowledge of the Kuramoto model in complex networks over the circle. In that case, almost global synchronization is graph dependent; it applies if the network is acyclic or sufficiently dense. This paper hence identifies a property that distinguishes many high-dimensional generalizations of the Kuramoto models from the original model.


title: RADIS: Remote Attestation of Distributed IoT Services

abstract: Remote attestation is a security technique through which a remote trusted party (i.e., Verifier) checks the trustworthiness of a potentially untrusted device (i.e., Prover). In the Internet of Things (IoT) systems, the existing remote attestation protocols propose various approaches to detect the modified software and physical tampering attacks. However, in an interoperable IoT system, in which IoT devices interact autonomously among themselves, an additional problem arises: a compromised IoT service can influence the genuine operation of other invoked service, without changing the software of the latter. In this paper, we propose a protocol for Remote Attestation of Distributed IoT Services (RADIS), which verifies the trustworthiness of distributed IoT services. Instead of attesting the complete memory content of the entire interoperable IoT devices, RADIS attests only the services involved in performing a certain functionality. RADIS relies on a control-flow attestation technique to detect IoT services that perform an unexpected operation due to their interactions with a malicious remote service. Our experiments show the effectiveness of our protocol in validating the integrity status of a distributed IoT service.


title: Dynamical criticality in open systems: non-perturbative physics, microscopic origin and direct observation

abstract: Driven diffusive systems may undergo phase transitions to sustain atypical values of the current. This leads in some cases to symmetry-broken space-time trajectories which enhance the probability of such fluctuations. Here we shed light on both the macroscopic large deviation properties and the microscopic origin of such spontaneous symmetry breaking in the open weakly asymmetric exclusion process. By studying the joint fluctuations of the current and a collective order parameter, we uncover the full dynamical phase diagram for arbitrary boundary driving, which is reminiscent of a $\mathbb{Z}_2$ symmetry-breaking transition. The associated joint large deviation function becomes non-convex below the critical point, where a Maxwell-like violation of the additivity principle is observed. At the microscopic level, the dynamical phase transition is linked to an emerging degeneracy of the ground state of the microscopic generator, from which the optimal trajectories in the symmetry-broken phase follow. In addition, we observe this new symmetry-breaking phenomenon in extensive rare-event simulations, confirming our macroscopic and microscopic results.