title: Some mixed character sum identities of Katz II

abstract: A conjecture connected with quantum physics led N. Katz to discover some amazing mixed character sum identities over a field of q elements, where q is a power of a prime p > 3. His proof required deep algebro-geometric techniques, and he expressed interest in finding a more straightforward direct proof. The first author recently gave such a proof of his identities when q = 1 (mod 4), and this paper provides such a proof for the remaining case q = 3 (mod 4). Our proofs are valid for all characteristics p > 2. Along the way we prove some elegant new character sum identities.


title: Potential landscape and flux field theory for turbulence and nonequilibrium fluid systems

abstract: Turbulence is a paradigm for far-from-equilibrium systems without time reversal symmetry. To capture the nonequilibrium irreversible nature of turbulence and investigate its implications, we develop a potential landscape and flux field theory for turbulent flow and more general nonequilibrium fluid systems governed by stochastic Navier-Stokes equations. We find that equilibrium fluid systems with time reversibility are characterized by a detailed balance constraint that quantifies the detailed balance condition. In nonequilibrium fluid systems with nonequilibrium steady states, detailed balance breaking leads directly to a pair of interconnected consequences, namely, the non-Gaussian potential landscape and the irreversible probability flux, forming a 'nonequilibrium trinity'. The nonequilibrium trinity characterizes the nonequilibrium irreversible essence of fluid systems with intrinsic time irreversibility and is manifested in various aspects of these systems. The nonequilibrium stochastic dynamics of fluid systems including turbulence with detailed balance breaking is shown to be driven by both the non-Gaussian potential landscape gradient and the irreversible probability flux, together with the reversible convective force and the stochastic stirring force. We reveal an underlying connection of the energy flux essential for turbulence energy cascade to the irreversible probability flux and the non-Gaussian potential landscape generated by detailed balance breaking. Using the energy flux as a center of connection, we demonstrate that the four-fifths law in fully developed turbulence is a consequence and reflection of the nonequilibrium trinity. We also show how the nonequilibrium trinity can affect the scaling laws in turbulence.


title: Traveling fronts in space-time periodic media

abstract: This paper is concerned with the existence of pulsating traveling fronts for the equation: $\partial_t u - \nabla \cdot (A(t, x)\nabla u) + q(t, x) \cdot \nabla u = f (t, x, u)$, (1) where the diffusion matrix $A$, the advection term $q$ and the reaction term $f$ are periodic in $t$ and $x$. We prove that there exist some speeds $c^*$ and $c^{**}$ such that there exists a pulsating traveling front of speed $c$ for all $c\ge c^{**}$ and that there exists no such front of speed $c<c^*$. We also give some spreading properties for front-like initial data. In the case of a KPP-type reaction term, we prove that $c^* = c^{**}$ and we characterize this speed with the help of a family of eigenvalues associated with the equation. If $f$ is concave with respect to $u$, we prove some Lipschitz continuity for the profile of the pulsating traveling front. Cet articl{\'e} etudie l'existence de fronts pulsatoires pour l'\'equation : $\partial_t u - \nabla \cdot (A(t, x)\nabla u) + q(t, x) \cdot \nabla u = f (t, x, u)$, (2) o\`u la matrice de diffusion A, le terme d'advection $q$ et le terme de r{\'e}action $f$ sont p{\'e}riodiques en $t$ et en $x$. Nous prouvons l'existence de deux vitesses $c^*$ et $c^{**}$ telles qu'il existe un front pulsatoire de vitesse $c$ pour tout $c \ge c^{**}$ et qu'il n'existe pas de tel front de vitesse $c<c^*$. Nous donnons egalement des propri{\'e}t{\'e}s de spreading pour des donn{\'e}es initiales ressemblant a des fronts. Dans le cas d'un terme de r{\'e}action de type KPP, nous prouvons que $c^* = c^{**}$ et nous caract{\'e}risons cette vitess{\`e} a l'aide d'une famille de valeurs propres associ{\'e}{\`e} a l'\'equation. Si $f$ est concave en $u$, nous montrons que le profil du front pulsatoire construit est lipschitzien.


title: Observation of two distinct pairs fluctuation lifetimes and supercurrents in the pseudogap regime of cuprate junctions

abstract: Pairs fluctuation supercurrents and inverse lifetimes were measured on epitaxial c-axis junctions of the cuprates in the pseudogap regime, with a $PrBa_2Cu_3O_{7-\delta}$ barrier sandwiched in between two $YBa_2Cu_3O_{7-\delta}$ or doped $YBa_2Cu_3O_y$ electrodes, with or without magnetic fields parallel to the a-b planes. All junctions had a $\rm T_c(high)\approx 85-90$ K and a $\rm T_c(low)\approx 50-55$ K electrodes, allowing us to study pairs fluctuation supercurrents and inverse life times in between these two temperatures. In junctions with a pseudogap electrode under zero field, an excesss current due to pair fluctuations was observed which persisted at temperatures above $\rm T_c(low)$, in the pseudogap regime, and up to about $\rm T_c(high)$. No such excess current was observed in junctions without a pseudo-gap in the electrode. The measured conductance spectra at temperatures above $\rm T_c(low)$ were fitted using a modified fluctuations model by Scalapino [Phys. Rev. Lett. \textbf{24}, 1052(1970)] of a junction with a serial resistance. We found that in the pseudo-gap regime, the conductance vs voltage consists of a narrow peak sitting on top of a very broad peak. This yielded two distinct pairs fluctuation lifetimes in the pseudogap electrode which differ by an order of magnitude up to about $\rm T_c(high)$. Under in-plane fields, these two lifetime values remain separated in two distinct groups, which varied with increasing field moderately. We also found that detection of Amperian pairing [Phys. Rev. X \textbf{4}, 031017 (2014)] in our cuprate junctions is not feasible, due to Josephson vortices penetration into the superconducting electrodes which drove the necessary field above the depairing field.


title: Correlation Effects on Charge Order and Zero-Gap State in the Organic Conductor \alpha-(BEDT-TTF)2I3

abstract: The effects of electron correlation in the quasi-two-dimensional organic conductor \alpha-(BEDT-TTF)2I3 are investigated theoretically by using an extended Hubbard model with on-site and nearest-neighbor Coulomb interactions. A variational Monte Carlo method is applied to study its ground-state properties. We show that there appears a nonmagnetic horizontal-stripe charge order in which nearest-neighbor correlation functions indicate a tendency toward a spin-singlet formation on the bonds with large transfer integrals along the charge-rich stripe. Under uniaxial pressure, a first-order transition from the nonmagnetic charge order to a zero-gap state occurs. Our results on a spin correlation length in the charge-ordered state suggest that a spin gap is almost unaffected by the uniaxial pressure in spite of the suppression of the charge disproportionation. The relevance of these contrasting behaviors in spin and charge degrees of freedom to recent experimental observations is discussed.


title: Confirmation of Kramers-Henneberger Atoms

abstract: In a remarkable experiment, Eichmann et al. attained unprecedented acceleration of neutral atoms by strong short-pulse IR laser fields. The driving mechanism was identified as the ponderomotive force on excited electrons bound in Rydberg orbits that survive long enough to enable the atoms to reach the detector. However, the observed velocities lie somewhat above the theoretical prediction. The systematic discrepancy was attributed to "absolute laser intensity uncertainties or a slightly non-Gaussian intensity distribution". Here, we examine the process by transforming to the Kramers-Henneberger (KH) reference frame. We find that in addition to the ponderomotive potential there exists a smaller but significant term that comes from the binding energy of the KH atom. Including this KH term brings the calculated maximum velocities to a close match with experimental results over the full range of laser pulse durations.


title: Operator self-similar processes and functional central limit theorems

abstract: Let $\{X_k:k\ge1\}$ be a linear process with values in the separable Hilbert space $L_2(\mu)$ given by $X_k=\sum_{j=0}^\infty(j+1)^{-D}\varepsilon_{k-j}$ for each $k\ge1$, where $D$ is defined by $Df=\{d(s)f(s):s\in\mathbb S\}$ for each $f\in L_2(\mu)$ with $d:\mathbb S\to\mathbb R$ and $\{\varepsilon_k:k\in\mathbb Z\}$ are independent and identically distributed $L_2(\mu)$-valued random elements with $\operatorname E\varepsilon_0=0$ and $\operatorname E\|\varepsilon_0\|^2<\infty$. We establish sufficient conditions for the functional central limit theorem for $\{X_k:k\ge1\}$ when the series of operator norms $\sum_{j=0}^\infty\|(j+1)^{-D}\|$ diverges and show that the limit process generates an operator self-similar process.


title: Numerical Convergence Rate for a Diffusive Limit of Hyperbolic Systems: p-System with Damping

abstract: This paper deals with diffusive limit of the p-system with damping and its approximation by an Asymptotic Preserving (AP) Finite Volume scheme. Provided the system is endowed with an entropy-entropy flux pair, we give the convergence rate of classical solutions of the p-system with damping towards the smooth solutions of the porous media equation using a relative entropy method. Adopting a semi-discrete scheme, we establish that the convergence rate is preserved by the approximated solutions. Several numerical experiments illustrate the relevance of this result.


title: A multi-layer market for vehicle-to-grid energy trading in the smart grid

abstract: In this work, we propose a multi-layer market for vehicle-to-grid energy trading. In the macro layer, we consider a double auction mechanism, under which the utility company act as an auctioneer and energy buyers and sellers interact. This double auction mechanism is strategy-proof and converges asymptotically. In the micro layer, the aggregators, which are the sellers in the macro layer, are paid with commissions to sell the energy of plug-in hybrid electric vehicles (PHEVs) and to maximize their utilities. We analyze the interaction between the macro and micro layers and study some simplified cases. Depending on the elasticity of supply and demand, the utility is analyzed under different scenarios. Simulation results show that our approach can significantly increase the utility of PHEVs.


title: Four-body correlation embedded in antisymmetrized geminal power wave function

abstract: We extend the Coleman's antisymmetrized geminal power (AGP) to develop a wave function theory that can incorporate up to four-body correlation in a region of strong correlation. To facilitate the variational determination of the wave function, the total energy is rewritten in terms of the traces of geminals. This novel trace formula is applied to a simple model system consisting of one dimensional Hubbard ring with a site of strong correlation. Our scheme significantly improves the result obtained by the AGP-CI scheme of Uemura et al. and also achieves more efficient compression of the degrees of freedom of the wave function. We regard the result as a step toward a first-principles wave function theory for a strongly correlated point defect or adsorbate embedded in an AGP-based mean-field medium.


title: Premelting-Induced Smoothening of the Ice-Vapor Interface

abstract: We perform computer simulations of the quasiliquid layer of ice formed at the ice-vapor interface close to the ice Ih-liquid-vapor triple point of water. Our study shows that the two distinct surfaces bounding the film behave at small wavelengths as atomically rough and independent ice-water and water-vapor interfaces. For long wavelengths, however, the two surfaces couple, large scale parallel fluctuations are inhibited, and the ice-vapor interface becomes smooth. Our results could help explain the complex morphology of ice crystallites.


title: Existence of weak solutions of an unsteady thermistor problem with p-Laplacian type equation

abstract: We prove the existence of weak solutions to an unsteady thermistor system with p-Laplacian type equation for the electrostatic potential, where the electrical conductivity of the thermistor material is a monotone function of the electric field density.


title: How does the spreading speed associated with the Fisher-KPP equation depend on random stationary diffusion and reaction terms?

abstract: We consider one-dimensional reaction-diffusion equations of Fisher-KPP type with random stationary ergodic coefficients. A classical result of Freidlin and Gartner [16] yields that the solutions of the initial value problems associated with compactly supported initial data admit a linear spreading speed almost surely. We use in this paper a new characterization of this spreading speed recently proved in [8] in order to investigate the dependence of this speed with respect to the heterogeneity of the diffusion and reaction terms. We prove in particular that adding a reaction term with null average or rescaling the coefficients by the change of variables x $\rightarrow$ x/L, with L \textgreater{} 1, speeds up the propagation. From a modelling point of view, these results mean that adding some heterogeneity in the medium gives a higher invasion speed, while fragmentation of the medium slows down the invasion.


title: The Effect of the Schwarz Rearrangement on the Periodic Principal Eigenvalue of a Nonsymmetric Operator

abstract: This paper is concerned with the periodic principal eigenvalue $k_\lambda(\mu)$ associated with the operator $- {d^2\over dx^2} - 2\lambda {d\over dx} - \mu(x) - \lambda^2$ , (1) where $\lambda\in \mathbb{R}$ and $\mu$ is continuous and periodic in $x\in\mathbb{R}$. Our main result is that $k_\lambda(\mu^*) \le k_\lambda(\mu)$, where $\mu^*$ is the Schwarz rearrangement of the function $\mu$. From a population dynamics point of view, using reaction-diffusion modeling, this result means that the fragmentation of the habitat of an invading population slows down the invasion. We prove that this property does not hold in higher dimension, if $\mu^*$ is the Steiner symmetrization of $\mu$. For heterogeneous diffusion and advection, we prove that increasing the period of the coefficients decreases $k_\lambda$ and we compute the limit of $k_\lambda$ when the period of the coefficients goes to 0. Lastly, we prove that, in dimension 1, rearranging the diffusion term decreases $k_\lambda$. These results rely on some new formula for the periodic principal eigenvalue of a nonsymmetric operator.


title: Coexistence in 5G: Analysis of Cross-Interference between OFDM/OQAM and Legacy Users

abstract: To optimize the use of the spectrum, it is expected that the next generation of wireless networks (5G) will enable coexistence of newly introduced services with legacy cellular networks. These new services, like Device-To-Device (D2D) communication, should require limited synchronization with the legacy cell to limit the amount of signaling overhead in the network. However, it is known that Cyclic Prefix-Orthogonal Frequency Division Multiplexing (CP-OFDM) used in Long Term Evolution-Advanced (LTE-A) is not fit for asynchronous environments. This has motivated the search for a new waveform, able to enhance coexistence with CP-OFDM. Namely, it has been widely suggested that new devices could use OFDM/Offset-Quadrature Amplitude Modulation (OFDM/OQAM) to reduce the interference they inject to legacy cellular users. However, values of interference are usually measured at the input antenna of the receiver, based on the PSD of the interfering signal. We showed in previous works that this measurement is not representative of the actual interference that is seen after the demodulation operations. Building on this finding, we provide in this paper the first exact closed forms of cross-interference between OFDM/OQAM and CP-OFDM users. Our results prove that using OFDM/OQAM only marginally reduces interference to legacy users, in contradiction with many results in the literature.


title: Square-mean S-asymptotically $\omega$-periodic solution for a stochastic fractional evolution equation driven by L\'{e}vy noise with piecewise constant argument

abstract: In this paper, we introduce some concepts of square-mean S-asymptotically $\omega$-periodic stochastic processes. Using the stochastic analysis method and the Banach contraction mapping principle, we establish the existence and uniqueness results of the mild solution and the square-mean S-asymptotically $\omega$-periodic solution for a semilinear nonautonomous stochastic fractional evolution equation driven by L\'{e}vy noise.


title: NLO QCD+EW for V+jets

abstract: In this contribution recent results regarding the NLO electroweak corrections for vector boson production in association with jets are presented. Besides discussing the phenomenology of the fixed-order results, their corporation in existing NLO QCD parton shower matched and merged calculations, which can directly be used in experimental analyses, will be shown.


title: A note on the rank of a restricted Lie algebra

abstract: In this short note, we study the rank of a restricted Lie algebra $(\mathfrak{g},[p])$ and give some applications, which concerns the dimensions of non-trivial irreducible modules. We also compute the rank of the restricted contact algebra $K(n)$.


title: Global stabilization of a Korteweg-de Vries equation with a distributed control saturated in L 2 -norm

abstract: This article deals with the design of saturated controls in the context of partial differential equations. It is focused on a Korteweg-de Vries equation, which is a nonlinear mathematical model of waves on shallow water surfaces. The aim of this article is to study the influence of a saturating in L 2-norm distributed control on the well-posedness and the stability of this equation. The well-posedness is proven applying a Banach fixed point theorem. The proof of the asymptotic stability of the closed-loop system is tackled with a Lyapunov function together with a sector condition describing the saturating input. Some numerical simulations illustrate the stability of the closed-loop nonlinear partial differential equation.


title: Renormalization Group Approach to Stability of Two-dimensional Interacting Type-II Dirac Fermions

abstract: The type-II Weyl/Dirac fermions are a generalization of conventional or type-I Weyl/Dirac fermions, whose conic spectrum is tilted such that the Fermi surface becomes lines in two dimensions, and surface in three dimensions rather than discrete points of the conventional Weyl/Dirac fermions. The mass-independent renormalization group calculations show that the tilting parameter decreases monotonically with respect to the length scale, which leads to a transition from two dimensional type-II Weyl/Dirac fermions to the type-I ones. Because of the non-trivial Fermi surface, a photon gains a finite mass partially via the chiral anomaly, leading to the strong screening effect of the Weyl/Dirac fermions. Consequently, anisotropic type-II Dirac semimetals become stable against the Coulomb interaction. This work provides deep insight into the interplay between the geometry of Fermi surface and the Coulomb interaction.


title: Coexistence of Filter Banks and CP-OFDM: What are the Real Gains?

abstract: A coexistence scenario between filter bank (FB) based waveforms and legacy Cyclic Prefix-Orthogonal Frequency Division Multiplexing (CP-OFDM) is studied. It is shown that studies available on that matter use a wrong metric to rate the interference between the coexisting systems. Specifically, it is shown that even well spectrally localized FB waveforms interfere at a high level with incumbent CP-OFDM receivers. The presented results invalidate a number of studies in the literature, which stated that FB based waveforms could be very efficiently used to insert communications in parts of spectrum left free by incumbent legacy CP-OFDM users.


title: Linear extension operators between spaces of Lipschitz maps and optimal transport

abstract: Motivated by the notion of K-gentle partition of unity introduced in [12] and the notion of K-Lipschitz retract studied in [17], we study a weaker notion related to the Kantorovich-Rubinstein transport distance, that we call K-random projection. We show that K-random projections can still be used to provide linear extension operators for Lipschitz maps. We also prove that the existence of these random projections is necessary and sufficient for the existence of weak* continuous operators. Finally we use this notion to characterize the metric spaces (X, d) such that the free space F(X) has the bounded approximation propriety.


title: Mild Solutions and Harnack Inequality for Functional SPDEs with Dini Drift

abstract: The existence and uniqueness of the mild solution for a class of functional SPDEs with multiplicative noise and a locally Dini continuous drift are proved. In addition, under a reasonable condition the solution is non-explosive. Moreover, Harnack inequalities are derived for the associated semigroup under certain global conditions, which is new even in the case without delay.


title: Evidence of radius inflation in stars approaching the slow-rotator sequence

abstract: Average stellar radii in open clusters can be estimated from rotation periods and projected rotational velocities under the assumption of random orientation of the spin axis. Such estimates are independent of distance, interstellar absorption, and models, but their validity can be limited by missing data (truncation) or data that only represent upper/lower limits (censoring). We present a new statistical analysis method to estimate average stellar radii in the presence of censoring and truncation. We use theoretical distribution functions of the projected stellar radius $R \sin i$ to define a likelihood function in the presence of censoring and truncation. Average stellar radii in magnitude bins are then obtained by a maximum likelihood parametric estimation procedure. This method is capable of recovering the average stellar radius within a few percent with as few as $\approx$ 10 measurements. Here it is applied for the first time to the dataset available for the Pleiades. We find an agreement better than $\approx$ 10 percent between the observed $R$ vs $M_K$ relationship and current standard stellar models for 1.2 $\ge M/M_{\odot} \ge$ 0.85 with no evident bias. Evidence of a systematic deviation at $2\sigma$ level are found for stars with 0.8 $\ge M/M_{\odot} \ge$ 0.6 approaching the slow-rotator sequence. Fast-rotators ($P$ < 2 d) agree with standard models within 15 percent with no systematic deviations in the whole 1.2 $\ge M/M_{\odot} \ge$ 0.5 range. The evidence found of a possible radius inflation just below the lower mass limit of the slow-rotator sequence indicates a possible connection with the transition from the fast to the slow-rotator sequence.


abstract: In this paper, we introduce the concepts of S-asymptotically $\omega$-periodic solutions in distribution for a class of stochastic fractional functional differential equations. The existence and uniqueness results for the S-asymptotically $\omega$-periodic solutions in distribution are obtained by means of the successive approximation and the Banach contraction mapping principle, respectively.


title: Attention-Based Recurrent Neural Network Models for Joint Intent Detection and Slot Filling

abstract: Attention-based encoder-decoder neural network models have recently shown promising results in machine translation and speech recognition. In this work, we propose an attention-based neural network model for joint intent detection and slot filling, both of which are critical steps for many speech understanding and dialog systems. Unlike in machine translation and speech recognition, alignment is explicit in slot filling. We explore different strategies in incorporating this alignment information to the encoder-decoder framework. Learning from the attention mechanism in encoder-decoder model, we further propose introducing attention to the alignment-based RNN models. Such attentions provide additional information to the intent classification and slot label prediction. Our independent task models achieve state-of-the-art intent detection error rate and slot filling F1 score on the benchmark ATIS task. Our joint training model further obtains 0.56% absolute (23.8% relative) error reduction on intent detection and 0.23% absolute gain on slot filling over the independent task models.


title: Untangling the role of diverse social dimensions in the diffusion of microfinance

abstract: Ties between individuals on a social network can represent different dimensions of interactions, and the spreading of information and innovations on these networks could potentially be driven by some dimensions more than by others. In this paper we investigate this issue by studying the diffusion of microfinance within rural India villages and accounting for the whole multilayer structure of the underlying social networks. We define a new measure of node centrality, diffusion versatility, and show that this is a better predictor of microfinance participation rate than previously introduced measures defined on aggregated single-layer social networks. Moreover, we untangle the role played by each social dimension and find that the most prominent role is played by the nodes that are central on layers concerned with trust, shedding new light on the key triggers of the diffusion of microfinance.


title: Slow dynamics in a quasi-two-dimensional binary complex plasma

abstract: Slow dynamics in an amorphous quasi-two-dimensional complex plasma, comprised of microparticles of two different sizes, was studied experimentally. The motion of individual particles was observed using video microscopy, and the self-part of the intermediate scattering function as well as the mean-squared particle displacement was calculated. The long-time structural relaxation reveals the characteristic behavior near the glass transition. Our results suggest that binary complex plasmas can be an excellent model system to study slow dynamics in classical supercooled fluids.


title: Vertical dynamics of a horizontally-oscillating active object in a 2D granular medium

abstract: We use a DEM simulation and analytical considerations to study the dynamics of a self-energised object, modelled as a disc, oscillating horizontally within a two-dimesional bed of denser and smaller particles. We find that, for given material parameters, the immersed object (IO) may rise, sink or not change depth, depending on the oscillation amplitude and frequency, as well as on the initial depth. With time, the IO settles at a specific depth that depends on the oscillation parameters. We construct a phase diagram of this behaviour in the oscillation frequency and velocity amplitude variable space. We explain the observed rich behaviour by two competing effects: climbing on particles, which fill voids opening under the disc, and sinking due to bed fluidisation. We present a cavity model that allows us to derive analytically general results, which agree very well with the observations and explain quantitatively the phase diagram. Our specific analytical results are the following. (i) Derivation of a critical frequency, $f_c$, above which the IO cannot float up against gravity. We show that this frequency depends only on the gravitational acceleration and the IO size. (ii) Derivation of a minimal amplitude, $A_{min}$, below which the IO cannot rise even if the frequency is below $f_c$. We show that this amplitude also depends only on the gravitational acceleration and the IO size. (iii) Derivation of a critical value, $g_c$, of the IO's acceleration amplitude, below which the IO cannot sink. We show that the value of $g_c$ depends on the characteristics of both the IO and the granular bed,as well as on the initial IO's depth.


title: On a Distributed Computation of Supervisors in Modular Supervisory Control

abstract: In this paper, we discuss a supervisory control problem of modular discrete-event systems that allows for a distributed computation of supervisors. We provide a characterization and an algorithm to compute the supervisors. If the specification does not satisfy the properties, we make use of a relaxation of coordination control to compute a sublanguage of the specification for which the supervisors can be computed in a distributed way.


title: Deviant Learning Algorithm: Learning Sparse Mismatch Representations through Time and Space

abstract: Predictive coding (PDC) has recently attracted attention in the neuroscience and computing community as a candidate unifying paradigm for neuronal studies and artificial neural network implementations particularly targeted at unsupervised learning systems. The Mismatch Negativity (MMN) has also recently been studied in relation to PC and found to be a useful ingredient in neural predictive coding systems. Backed by the behavior of living organisms, such networks are particularly useful in forming spatio-temporal transitions and invariant representations of the input world. However, most neural systems still do not account for large number of synapses even though this has been shown by a few machine learning researchers as an effective and very important component of any neural system if such a system is to behave properly. Our major point here is that PDC systems with the MMN effect in addition to a large number of synapses can greatly improve any neural learning system's performance and ability to make decisions in the machine world. In this paper, we propose a novel bio-mimetic computational intelligence algorithm -- the Deviant Learning Algorithm, inspired by these key ideas and functional properties of recent brain-cognitive discoveries and theories. We also show by numerical experiments guided by theoretical insights, how our invented bio-mimetic algorithm can achieve competitive predictions even with very small problem specific data.


title: Knuth's Coherent Presentations of Plactic Monoids of Type A

abstract: We construct finite coherent presentations of plactic monoids of type A. Such coherent presentations express a system of generators and relations for the monoid extended in a coherent way to give a family of generators of the relations amongst the relations. Such extended presentations are used for representations of monoids, in particular, it is a way to describe actions of monoids on categories. Moreover, a coherent presentation provides the first step in the computation of a categorical cofibrant replacement of a monoid. Our construction is based on a rewriting method introduced by Squier that computes a coherent presentation from a convergent one. We compute a finite coherent presentation of a plactic monoid from its column presentation that is known to be finite and convergent. Finally, we show how to reduce this coherent presentation to a Tietze equivalent one having Knuth's generators.


title: Statistical Meta-Analysis of Presentation Attacks for Secure Multibiometric Systems

abstract: Prior work has shown that multibiometric systems are vulnerable to presentation attacks, assuming that their matching score distribution is identical to that of genuine users, without fabricating any fake trait. We have recently shown that this assumption is not representative of current fingerprint and face presentation attacks, leading one to overestimate the vulnerability of multibiometric systems, and to design less effective fusion rules. In this paper, we overcome these limitations by proposing a statistical meta-model of face and fingerprint presentation attacks that characterizes a wider family of fake score distributions, including distributions of known and, potentially, unknown attacks. This allows us to perform a thorough security evaluation of multibiometric systems against presentation attacks, quantifying how their vulnerability may vary also under attacks that are different from those considered during design, through an uncertainty analysis. We empirically show that our approach can reliably predict the performance of multibiometric systems even under never-before-seen face and fingerprint presentation attacks, and that the secure fusion rules designed using our approach can exhibit an improved trade-off between the performance in the absence and in the presence of attack. We finally argue that our method can be extended to other biometrics besides faces and fingerprints.


title: Joint Online Spoken Language Understanding and Language Modeling with Recurrent Neural Networks

abstract: Speaker intent detection and semantic slot filling are two critical tasks in spoken language understanding (SLU) for dialogue systems. In this paper, we describe a recurrent neural network (RNN) model that jointly performs intent detection, slot filling, and language modeling. The neural network model keeps updating the intent estimation as word in the transcribed utterance arrives and uses it as contextual features in the joint model. Evaluation of the language model and online SLU model is made on the ATIS benchmarking data set. On language modeling task, our joint model achieves 11.8% relative reduction on perplexity comparing to the independent training language model. On SLU tasks, our joint model outperforms the independent task training model by 22.3% on intent detection error rate, with slight degradation on slot filling F1 score. The joint model also shows advantageous performance in the realistic ASR settings with noisy speech input.


title: Radio Diagnostics of Electron Acceleration Sites During the Eruption of a Flux Rope in the Solar Corona

abstract: Electron acceleration in the solar corona is often associated with flares and the eruption of twisted magnetic structures known as flux ropes. However, the locations and mechanisms of such particle acceleration during the flare and eruption are still subject to much investigation. Observing the exact sites of particle acceleration can help confirm how the flare and eruption are initiated and how they evolve. Here we use the Atmospheric Imaging Assembly to analyse a flare and erupting flux rope on 2014-April-18, while observations from the Nancay Radio Astronomy Facility allows us to diagnose the sites of electron acceleration during the eruption. Our analysis shows evidence for a pre-formed flux rope which slowly rises and becomes destabilised at the time of a C-class flare, plasma jet and the escape of >75 keV electrons from rope center into the corona. As the eruption proceeds, continued acceleration of electrons with energies of ~5 keV occurs above the flux rope for a period over 5 minutes. At flare peak, one site of electron acceleration is located close to the flare site while another is driven by the erupting flux rope into the corona at speeds of up to 400 km/s. Energetic electrons then fill the erupting volume, eventually allowing the flux rope legs to be clearly imaged from radio sources at 150-445MHz. Following the analysis of Joshi et al. (2015), we conclude that the sites of energetic electrons are consistent with flux rope eruption via a tether-cutting or flux cancellation scenario inside a magnetic fan-spine structure. In total, our radio observations allow us to better understand the evolution of a flux rope eruption and its associated electron acceleration sites, from eruption initiation to propagation into the corona.


title: Hub Identification of the Metro Manila Road Network Using PageRank

abstract: We attempt to identify the different node hubs of a road network using PageRank for preparation for possible random terrorist attacks. The robustness of a road network against such attack is crucial to be studied because it may cripple its connectivity by simply shutting down these hubs. We show the important hubs in a road network based on network structure and propose a model for robustness analysis. By identifying important hubs in a road network, possible preparation schemes may be done earlier to mitigate random terrorist attacks, including defense reinforcement and transportation security. A case study of the Metro Manila road network is also presented. The case study shows that the most important hubs in the Metro Manila road network are near airports, piers, major highways and expressways


title: Multi-instance Dynamic Ordinal Random Fields for Weakly-Supervised Pain Intensity Estimation

abstract: In this paper, we address the Multi-Instance-Learning (MIL) problem when bag labels are naturally represented as ordinal variables (Multi--Instance--Ordinal Regression). Moreover, we consider the case where bags are temporal sequences of ordinal instances. To model this, we propose the novel Multi-Instance Dynamic Ordinal Random Fields (MI-DORF). In this model, we treat instance-labels inside the bag as latent ordinal states. The MIL assumption is modelled by incorporating a high-order cardinality potential relating bag and instance-labels,into the energy function. We show the benefits of the proposed approach on the task of weakly-supervised pain intensity estimation from the UNBC Shoulder-Pain Database. In our experiments, the proposed approach significantly outperforms alternative non-ordinal methods that either ignore the MIL assumption, or do not model dynamic information in target data.


title: Joint Alignment of Multiple Point Sets with Batch and Incremental Expectation-Maximization

abstract: This paper addresses the problem of registering multiple point sets. Solutions to this problem are often approximated by repeatedly solving for pairwise registration, which results in an uneven treatment of the sets forming a pair: a model set and a data set. The main drawback of this strategy is that the model set may contain noise and outliers, which negatively affects the estimation of the registration parameters. In contrast, the proposed formulation treats all the point sets on an equal footing. Indeed, all the points are drawn from a central Gaussian mixture, hence the registration is cast into a clustering problem. We formally derive batch and incremental EM algorithms that robustly estimate both the GMM parameters and the rotations and translations that optimally align the sets. Moreover, the mixture's means play the role of the registered set of points while the variances provide rich information about the contribution of each component to the alignment. We thoroughly test the proposed algorithms on simulated data and on challenging real data collected with range sensors. We compare them with several state-of-the-art algorithms, and we show their potential for surface reconstruction from depth data.


title: Numerical study of optimal partitioning problems in relation to an anisotropic perimeter

abstract: We present a ${\Gamma}$-convergence approximation for the total anisotropic length of a partition. This theoretical result gives rise to a numerical method which allows the study of minimal partitions with respect to different anisotropies. We also give a numerical framework for the study of isoperimetric problems with density.


title: Q-Learning with Basic Emotions

abstract: Q-learning is a simple and powerful tool in solving dynamic problems where environments are unknown. It uses a balance of exploration and exploitation to find an optimal solution to the problem. In this paper, we propose using four basic emotions: joy, sadness, fear, and anger to influence a Qlearning agent. Simulations show that the proposed affective agent requires lesser number of steps to find the optimal path. We found when affective agent finds the optimal path, the ratio between exploration to exploitation gradually decreases, indicating lower total step count in the long run


title: Application of iterative phase-retrieval algorithms to ARPES orbital tomography

abstract: Electronic wave functions of planar molecules can be reconstructed via inverse Fourier transform of angle-resolved photoelectron spectroscopy (ARPES) data, provided the phase of the electron wave in the detector plane is known. Since the recorded intensity is proportional to the absolute square of the Fourier transform of the initial state wave function, information about the phase distribution is lost in the measurement. It was shown that the phase can be retrieved in some cases by iterative algorithms using a priori information about the object such as its size and symmetry. We suggest a more generalized and robust approach for the reconstruction of molecular orbitals based on state-of-the-art phase-retrieval algorithms currently used in coherent diffraction imaging. We draw an analogy between the phase problem in molecular orbital imaging by ARPES and of that in optical coherent diffraction imaging by performing an optical analogue experiment on micrometer-sized structures. We successfully reconstruct amplitude and phase of both the micrometer-sized objects and a molecular orbital from the optical and photoelectron far-field intensity distributions, respectively, without any prior information about the shape of the objects.


title: Localisation in Quantum Field Theory

abstract: In nonrelatistic quantum mechanics, Born's principle of localistion is as follows: For a single particle, if a wave function $\psi_K$ vanishes outside a spatial region $K$, it is said to be localised in $K$. In particular if a spatial region $K'$ is disjoint from $K$, a wave function $\psi_{K'}$ localised in $K'$ is orthogonal to $\psi_K$. Such a principle of localisation does not exist compatibly with relativity and causality in quantum field theory (Newton and Wigner) or interacting point particles (Currie,Jordan and Sudarshan).It is replaced by symplectic localisation of observables as shown by Brunetti, Guido and Longo, Schroer and others. This localisation gives a simple derivation of the spin-statistics theorem and the Unruh effect, and shows how to construct quantum fields for anyons and for massless particles with `continuous' spin. This review outlines the basic principles underlying symplectic localisation and shows or mentions its deep implications. In particular, it has the potential to affect relativistic quantum information theory and black hole physics.


title: Importance of the H2 abundance in protoplanetary disk ices for the molecular layer chemical composition

abstract: Protoplanetary disks are the target of many chemical studies (both observational and theoretical) as they contain the building material for planets. Their large vertical and radial gradients in density and temperature make them challenging objects for chemical models. In the outer part of these disks, the large densities and low temperatures provide a particular environment where the binding of species onto the dust grains can be very efficient and can affect the gas-phase chemical composition. We attempt to quantify to what extent the vertical abundance profiles and the integrated column densities of molecules predicted by a detailed gas-grain code are affected by the treatment of the molecular hydrogen physisorption at the surface of the grains. We performed three different models using the Nautilus gas-grain code. One model uses a H2 binding energy on the surface of water (440 K) and produces strong sticking of H2. Another model uses a small binding energy of 23 K (as if there were already a monolayer of H2), and the sticking of H$_2$ is almost negligible. Finally, the remaining model is an intermediate solution known as the encounter desorption mechanism. We show that the efficiency of molecular hydrogen binding (and thus its abundance at the surface of the grains) can have a quantitative effect on the predicted column densities in the gas phase of major species such as CO, CS, CN, and HCN.


title: OpenTripPlanner, OpenStreetMap, General Transit Feed Specification: Tools for Disaster Relief and Recovery

abstract: Open Trip Planner was identified as the most promising open source multi-modal trip planning software. Open Street Map, which provides mapping data to Open Trip Planner, is one of the most well-known open source international repository of geographic data. General Transit Feed Specification, which provides transportation data to Open Trip Planner, has been the standard for describing transit systems and platform for numerous applications. Together, when used to implement an instance of Open Trip Planner, these software has been helping in traffic decongestion all over the world by assisting commuters to shift from using private transportation modes to public ones. Their potential however goes beyond providing multi-modal public transportation routes. This paper aims to first discuss the researchers' experience in implementing a public transportation route planner for the purpose of traffic decongestion.The researchers would examine the prospective of using the system for disaster preparedness and recovery and concrete ways on how to realize them.


title: Covariant open bosonic string field theory on multiple D-branes in the proper-time gauge

abstract: We construct a covariant open bosonic string field theory on multiple D-branes, which reduces to a non-Abelian group Yang-Mills gauge theory in the zero-slope limit. Making use of the first quantized open bosonic string in the proper time gauge, we convert the string amplitudes given by the Polyakov path integrals on string world sheets into those of the second quantized theory. The world sheet diagrams generated by the constructed open string field theory are planar in contrast to those of the Witten's cubic string field theory. However, the constructed string field theory is yet equivalent to the Witten's cubic string field theory. Having obtained planar diagrams, we may adopt the light-cone string field theory technique to calculate the multi-string scattering amplitudes with an arbitrary number of external strings. We examine in detail the three-string vertex diagram and the effective four-string vertex diagrams generated perturbatively by the three-string vertex at tree level. In the zero-slope limit, the string scattering amplitudes are identified precisely as those of non-Abelian Yang-Mills gauge theory if the external states are chosen to be massless vector particles.


title: Goldstone-Type Pseudoscalar Mesons: Instantaneous Bethe-Salpeter Models

abstract: A nontrivial instantaneous variant of the Bethe-Salpeter formalism allows us to discuss massless pseudoscalar mesons from a configuration-space-potential point of view.


title: Multi Exit Configuration of Mesoscopic Pedestrian Simulation

abstract: A mesoscopic approach to modeling pedestrian simulation with multiple exits is proposed in this paper. A floor field based on Qlearning Algorithm is used. Attractiveness of exits to pedestrian typically is based on shortest path. However, several factors may influence pedestrian choice of exits. Scenarios with multiple exits are presented and effect of Q-learning rewards system on navigation is investigated


title: Can decay be ascribed to classical noise?

abstract: No.


title: Holographic dark energy in Brans-Dicke theory with logarithmic form of scalar field

abstract: In this paper, an interacting holographic dark energy model with Hubble horizon as an infra-red cut-off is considered in the framework of Brans-Dicke theory. We propose a logarithmic form $\phi \propto ln(\alpha+\beta a)$ of the Brans-Dicke scalar field to alleviate the problems of interacting holographic dark energy models in Brans-Dicke theory. We find that the equation of state parameter $w_h$ and deceleration parameter $q$ are negative in the early time which shows the early time inflation. During the evolution the sign of parameter $q$ changes from negative to positive which means that the Universe expands with decelerated rate whereas the sign of $w_h$ may change or remain negative throughout the evolution depending on the values of parameters. It is also observed that $w_h$ may cross the phantom divide line in the late time evolution. The sign of $q$ changes from positive to negative during late time of evolution which explains the late time accelerated expansion of the Universe. Thus, we present a unified model of holographic dark energy which explains the early time acceleration (inflation), medieval time deceleration and late time acceleration. We also discuss the cosmic coincidence problem. We obtain a time-varying density ratio of holographic dark energy to dark matter which is a constant of order one ($r\sim \mathcal{O}(1)$) during early and late time evolution. Therefore, our model successfully resolves the cosmic coincidence problem.


title: Photoexcitation of electron wave packets in quantum spin Hall edge states: effects of chiral anomaly from a localised electric pulse

abstract: We show that, when a spatially localised electric pulse is applied at the edge of a quantum spin Hall system, electron wavepackets of the helical states can be photoexcited by purely intra-branch electrical transitions, without invoking the bulk states or the magnetic Zeeman coupling. In particular, as long as the electric pulse remains applied, the photoexcited densities lose their character of right- and left-movers, whereas after the ending of the pulse they propagate in opposite directions without dispersion, i.e. maintaining their space profile unaltered. Notably we find that, while the momentum distribution of the photoexcited wave packets depends on the temperature $T$ and the chemical potential $\mu$ of the initial equilibrium state and displays a non-linear behavior on the amplitude of the applied pulse, in the mesoscopic regime the space profile of the wave packets is independent of $T$ and $\mu$. Instead, it depends purely on the applied electric pulse, in a linear manner, as a signature of the chiral anomaly characterising massless Dirac electrons. We also discuss how the photoexcited wave packets can be tailored with the electric pulse parameters, for both low and finite frequencies.


title: A Lightweight Approach to Performance Portability with targetDP

abstract: Leading HPC systems achieve their status through use of highly parallel devices such as NVIDIA GPUs or Intel Xeon Phi many-core CPUs. The concept of performance portability across such architectures, as well as traditional CPUs, is vital for the application programmer. In this paper we describe targetDP, a lightweight abstraction layer which allows grid-based applications to target data parallel hardware in a platform agnostic manner. We demonstrate the effectiveness of our pragmatic approach by presenting performance results for a complex fluid application (with which the model was co-designed), plus a separate lattice QCD particle physics code. For each application, a single source code base is seen to achieve portable performance, as assessed within the context of the Roofline model. TargetDP can be combined with MPI to allow use on systems containing multiple nodes: we demonstrate this through provision of scaling results on traditional and GPU-accelerated large scale supercomputers.


title: SimCADO - an instrument data simulator package for MICADO at the E-ELT

abstract: MICADO will be the first-light wide-field imager for the European Extremely Large Telescope (E-ELT) and will provide difiraction limited imaging (7mas at 1.2mm) over a ~53 arcsecond field of view. In order to support various consortium activities we have developed a first version of SimCADO: an instrument simulator for MICADO. SimCADO uses the results of the detailed simulation efforts conducted for each of the separate consortium-internal work packages in order to generate a model of the optical path from source to detector readout. SimCADO is thus a tool to provide scientific context to both the science and instrument development teams who are ultimately responsible for the final design and future capabilities of the MICADO instrument. Here we present an overview of the inner workings of SimCADO and outline our plan for its further development.


title: Methods for calculation of the coupling coefficients in the Coupling Cavity Model of arbitrary chain of resonators

abstract: We present the short description of the methods for calculation of the coupling coefficients in the Coupling Cavity Model of arbitrary chain of resonators. In the first part the procedure that is based on the Mode Matching Method is given. Then we present the new method that used only one eigen vector.


title: Existence and stability of almost periodic solutions to impulsive stochastic differential evolution equations with infinite delay

abstract: In this paper, we investigate a class of nonlinear impulsive stochastic differential evolution equations with infinite delay in Banach space. Based on the Krasnoselskii's fixed point theorem, sufficient conditions of the existence of the square mean piecewise almost periodic solutions to this type of equations are derived. Moreover, the exponential stability of the square mean piecewise almost periodic solution is investigated.


title: Joint Beamforming and Feature Detection for Enhanced Visualization of Spinal Bone Surfaces in Ultrasound Images

abstract: We propose a framework for extracting the bone surface from B-mode images employing the eigenspace minimum variance (ESMV) beamformer and a ridge detection method. We show that an ESMV beamformer with a rank-1 signal subspace can preserve the bone anatomy and enhance the edges, despite an image which is less visually appealing due to some speckle pattern distortion. The beamformed images are post-processed using the phase symmetry (PS) technique. We validate this framework by registering the ultrasound images of a vertebra (in a water bath) against the corresponding Computed Tomography (CT) dataset. The results show a bone localization error in the same order of magnitude as the standard delay-and-sum (DAS) technique, but with approximately 20% smaller standard deviation (STD) of the image intensity distribution around the bone surface. This indicates a sharper bone surface detection. Further, the noise level inside the bone shadow is reduced by 60%. In in-vivo experiments, this framework is used for imaging the spinal anatomy. We show that PS images obtained from this beamformer setup have sharper bone boundaries in comparison with the standard DAS ones, and they are reasonably well separated from the surrounding soft tissue.


title: A Markov Chain based Ensemble Method for Crowdsourced Clustering

abstract: In presence of multiple clustering solutions for the same dataset, a clustering ensemble approach aims to yield a single clustering of the dataset by achieving a consensus among the input clustering solutions. The goal of this consensus is to improve the quality of clustering. It has been seen that there are some image clustering tasks that cannot be easily solved by computer. But if these images can be outsourced to the general people (crowd workers) to group them based on some similar features, and opinions are collected from them, then this task can be managed in an efficient manner and time effective way. In this work, the power of crowd has been used to annotate the images so that multiple clustering solutions can be obtained from them and thereafter a Markov chain based ensemble method is introduced to make a consensus of multiple clustering solutions.


title: The Morse index of the critical catenoid

abstract: We show that the rotationally symmetric free boundary minimal catenoid in the unit ball in $\Bbb{R}^3$ has Morse index equal to $4$.


title: Stability in terms of two measures of solutions to stochastic partial differential delay equations with switching

abstract: In this paper, the problem of stability in terms of two measures is considered for a class of stochastic partial differential delay equations with switching. Sufficient conditions for stability in terms of two measures are obtained based on the technique of constructing a proper approximating strong solution system and carrying out a limiting type of argument to pass on stability of strong solutions to mild ones obtained by Bao, Truman and Yuan [ J. Bao, A. Truman,C. Yuan, Stability in distribution of mild solutions to stochastic partial differential delay equations with jumps, Proc. R. Soc. A, 465, 2111-2134 (2009)]. In particular, the stochastic stability under the fixed-index sequence monotonicity condition and under the average dwell-time switching are considered.


title: Nanoscale thermal imaging of dissipation in quantum systems

abstract: Energy dissipation is a fundamental process governing the dynamics of physical, chemical, and biological systems. It is also one of the main characteristics distinguishing quantum and classical phenomena. In condensed matter physics, in particular, scattering mechanisms, loss of quantum information, or breakdown of topological protection are deeply rooted in the intricate details of how and where the dissipation occurs. Despite its vital importance the microscopic behavior of a system is usually not formulated in terms of dissipation because the latter is not a readily measureable quantity on the microscale. Although nanoscale thermometry is gaining much recent interest, the existing thermal imaging methods lack the necessary sensitivity and are unsuitable for low temperature operation required for study of quantum systems. Here we report a superconducting quantum interference nano-thermometer device with sub 50 nm diameter that resides at the apex of a sharp pipette and provides scanning cryogenic thermal sensing with four orders of magnitude improved thermal sensitivity of below 1 {\mu}K/Hz1/2. The non-contact non-invasive thermometry allows thermal imaging of very low nanoscale energy dissipation down to the fundamental Landauer limit of 40 fW for continuous readout of a single qubit at 1 GHz at 4.2 K. These advances enable observation of dissipation due to single electron charging of individual quantum dots in carbon nanotubes and reveal a novel dissipation mechanism due to resonant localized states in hBN encapsulated graphene, opening the door to direct imaging of nanoscale dissipation processes in quantum matter.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.supr-con physics.ins-det


title: Stochastic Monotonicity of Markovian Multi-class Queueing Networks

abstract: Multi-class queueing networks (McQNs) extend the classical concept of Jackson network by allowing jobs of different classes to visit the same server. While such a generalization seems rather natural, from a structural perspective there is a significant gap between the two concepts. Nice analytical features of Jackson networks, such as stability conditions, product-form equilibrium distributions, and stochastic monotonicity do not immediately carry over to the multi-class framework. The aim of this paper is to shed some light on this structural gap, focusing on monotonicity properties. To this end, we introduce and study a class of Markov processes, which we call \emph{Q-processes}, modeling the time evolution of the network configuration of any open, work-conservative McQN having exponential service times and {Poisson input}. We define a new monotonicity notion tailored for this class of processes. Our main result is that we show monotonicity for a large class of McQN models, covering virtually all instances of practical interest. This leads to interesting properties which are commonly encountered for `traditional' queueing processes, such as (i)~monotonicity with respect to external arrival rates and (ii)~star-convexity of the stability region (with respect to the external arrival rates); such properties are well known for Jackson networks, but had not been established at this level of generality. This research was partly motivated by the recent development of a simulation-based method which allows one to numerically determine the stability region of a McQN parametrized in terms of the arrival rates vector.


title: Nonstandard transitions in the Kuramoto model: A role of asymmetry in natural frequency distributions

abstract: We study transitions in the Kuramoto model by shedding light on asymmetry in the natural frequency distribution, which has been assumed to be symmetric in many previous studies. The asymmetry brings two nonstandard bifurcation diagrams, with the aid of bimodality. The first diagram consists of stationary states, and has the standard continuous synchronization transition and a subsequent discontinuous transition as the coupling strength increases. Such a bifurcation diagram has been also reported in a variant model, which breaks the odd symmetry of the coupling function by introducing the phase lag. The second diagram includes the oscillatory state emerging from the partially synchronized state and followed by a discontinuous transition. This diagram is firstly revealed in this study. The two bifurcation diagrams are obtained by employing the Ott-Antonsen ansatz, and are verified by direct $N$-body simulations. We conclude that the asymmetry in distribution, with the bimodality, plays a similar role to the phase lag, and diversifies the transitions.


title: A Non-linear GPU Thread Map for Triangular Domains

abstract: There is a stage in the GPU computing pipeline where a grid of thread-blocks, in \textit{parallel space}, is mapped onto the problem domain, in \textit{data space}. Since the parallel space is restricted to a box type geometry, the mapping approach is typically a $k$-dimensional bounding box (BB) that covers a $p$-dimensional data space. Threads that fall inside the domain perform computations while threads that fall outside are discarded at runtime. In this work we study the case of mapping threads efficiently onto triangular domain problems and propose a block-space linear map $\lambda(\omega)$, based on the properties of the lower triangular matrix, that reduces the number of unnnecessary threads from $\mathcal{O}(n^2)$ to $\mathcal{O}(n)$. Performance results for global memory accesses show an improvement of up to $18\%$ with respect to the \textit{bounding-box} approach, placing $\lambda(\omega)$ on second place below the \textit{rectangular-box} approach and above the \textit{recursive-partition} and \textit{upper-triangular} approaches. For shared memory scenarios $\lambda(\omega)$ was the fastest approach achieving $7\%$ of performance improvement while preserving thread locality. The results obtained in this work make $\lambda(\omega)$ an interesting map for efficient GPU computing on parallel problems that define a triangular domain with or without neighborhood interactions. The extension to tetrahedral domains is analyzed, with applications to triplet-interaction n-body applications.


title: Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation

abstract: Cyber-physical systems (CPS), which integrate algorithmic control with physical processes, often consist of physically distributed components communicating over a network. A malfunctioning or compromised component in such a CPS can lead to costly consequences, especially in the context of public infrastructure. In this short paper, we argue for the importance of constructing invariants (or models) of the physical behaviour exhibited by CPS, motivated by their applications to the control, monitoring, and attestation of components. To achieve this despite the inherent complexity of CPS, we propose a new technique for learning invariants that combines machine learning with ideas from mutation testing. We present a preliminary study on a water treatment system that suggests the efficacy of this approach, propose strategies for establishing confidence in the correctness of invariants, then summarise some research questions and the steps we are taking to investigate them.


title: First search for dark matter annihilations in the Earth with the IceCube Detector

abstract: We present the results of the first IceCube search for dark matter annihilation in the center of the Earth. Weakly Interacting Massive Particles (WIMPs), candidates for dark matter, can scatter off nuclei inside the Earth and fall below its escape velocity. Over time the captured WIMPs will be accumulated and may eventually self-annihilate. Among the annihilation products only neutrinos can escape from the center of the Earth. Large-scale neutrino telescopes, such as the cubic kilometer IceCube Neutrino Observatory located at the South Pole, can be used to search for such neutrino fluxes. Data from 327 days of detector livetime during 2011/ 2012 were analyzed. No excess beyond the expected background from atmospheric neutrinos was detected. The derived upper limits on the annihilation rate of WIMPs in the Earth and the resulting muon flux are an order of magnitude stronger than the limits of the last analysis performed with data from IceCube's predecessor AMANDA. The limits can be translated in terms of a spin-independent WIMP-nucleon cross section. For a WIMP mass of 50 GeV this analysis results in the most restrictive limits achieved with IceCube data.


title: Axiomatizing Category Theory in Free Logic

abstract: Starting from a generalization of the standard axioms for a monoid we present a stepwise development of various, mutually equivalent foundational axiom systems for category theory. Our axiom sets have been formalized in the Isabelle/HOL interactive proof assistant, and this formalization utilizes a semantically correct embedding of free logic in classical higher-order logic. The modeling and formal analysis of our axiom sets has been significantly supported by series of experiments with automated reasoning tools integrated with Isabelle/HOL. We also address the relation of our axiom systems to alternative proposals from the literature, including an axiom set proposed by Freyd and Scedrov for which we reveal a technical issue (when encoded in free logic where free variables range over defined and undefined objects): either all operations, e.g. morphism composition, are total or their axiom system is inconsistent. The repair for this problem is quite straightforward, however.


title: Harnessing Poly(ionic liquid)s for Sensing Applications

abstract: The interest in poly(ionic liquids) for sensing applications are derived from their strong interactions to a variety of analytes. By combining the desirable mechanical properties of polymers with the physical and chemical properties of ILs, new materials can be created. The tunable nature of both ionic liquids and polymers allows for incredible diversity, which is exemplified in their broad applicability. In this article we examine the new field of poly(ionic liquid) sensors by providing a detailed look at the current state-of-the-art sensing devices for solvents, gasses, biomolecules, pH, and anions.


title: The Malliavin derivative and compactness: application to a degenerate PDE-SDE coupling

abstract: Compactness is one of the most versatile tools in the analysis of nonlinear PDEs and systems. Usually, compactness is established by means of some embedding theorem between functional spaces. Such theorems, in turn, rely on appropriate estimates for a function and its derivatives. While a similar result based on simultaneous estimates for the Malliavin and weak Sobolev derivatives is available for the Wiener-Sobolev spaces, it seems that it has not yet been widely used in the analysis of highly nonlinear parabolic problems with stochasticity. In the present work we apply this result in order to study compactness, existence of global solutions, and, as a by-product, the convergence of a semi-discretisation scheme for a prototypical degenerate PDE-SDE coupling.


title: Quantum physics, fields and closed timelike curves: The D-CTC condition in quantum field theory

abstract: The D-CTC condition is a condition originally proposed by David Deutsch as a condition on states of a quantum communication network that contains "backward time-steps" in some of its branches. It has been argued that this is an analogue for quantum processes in the presence of closed timelike curves (CTCs). The unusual properties of states of quantum communication networks that fulfill the D-CTC condition have been discussed extensively in recent literature. In this work, the D-CTC condition is investigated in the framework of quantum field theory in the local, operator-algebraic approach due to Haag and Kastler. It is shown that the D-CTC condition cannot be fulfilled in states which are analytic for the energy, or satisfy the Reeh-Schlieder property, for a certain class of processes and initial conditions. On the other hand, if a quantum field theory admits sufficiently many uncorrelated states across acausally related spacetime regions (as implied by the split property), then the D-CTC condition can always be fulfilled approximately to arbitrary precision. As this result pertains to quantum field theory on globally hyperbolic spacetimes where CTCs are absent, one may conclude that interpreting the D-CTC condition as characteristic for quantum processes in the presence of CTCs could be misleading, and should be regarded with caution. Furthermore, a construction of the quantized massless Klein-Gordon field on the Politzer spacetime, often viewed as spacetime analogue for quantum communication networks with backward time-steps, is proposed in this work.


title: Trochoidal trajectories of self-propelled Janus particles in a diverging laser beam

abstract: We describe colloidal Janus particles with metallic and dielectric faces that swim vigorously when illuminated by defocused optical tweezers without consuming any chemical fuel. Rather than wandering randomly, these optically-activated colloidal swimmers circulate back and forth through the beam of light, tracing out sinuous rosette patterns. We propose a model for this mode of light-activated transport that accounts for the observed behavior through a combination of self-thermophoresis and optically-induced torque. In the deterministic limit, this model yields trajectories that resemble rosette curves known as hypotrochoids.


title: Fluorinated surfaces: towards a universal matrix-free substrates for Laser Desorption Ionization

abstract: Matrix Assisted Laser Desorption Ionization (MALDI) is a soft ionization method that finds widespread applications in high-throughput mass spectrometric analysis. One of the main limit of this technique is that it requires the use of matrices: these molecules enable the analytes desorption and ionization (D/I) processes but also generate strong interfering signals in the low mass spectral region, preventing a suitable detection of low molecular weight compounds. The possibility to avoid their use will ease both sample preparation and mass spectrum (MS) interpretation. In recent years nanostructured surfaces have been proposed as a viable method to achieve such goal but the results are limited to specific classes of chemical compounds and the approach lacks in generality. Here we demonstrate that the fluorination of surfaces is the only step needed to activate the target and to achieve matrix-free operation with the same detection limit obtained using nanostructured chips. The results of this work suggest that D/I is a purely interfacial effect, with negligible contribution from chemical nature of the underlying substrate, provided that the substrate is conductive and able to efficiently absorb the UV laser beam.


title: Depth Estimation Through a Generative Model of Light Field Synthesis

abstract: Light field photography captures rich structural information that may facilitate a number of traditional image processing and computer vision tasks. A crucial ingredient in such endeavors is accurate depth recovery. We present a novel framework that allows the recovery of a high quality continuous depth map from light field data. To this end we propose a generative model of a light field that is fully parametrized by its corresponding depth map. The model allows for the integration of powerful regularization techniques such as a non-local means prior, facilitating accurate depth map estimation.


title: Magnonic Weyl semimetal in pyrochlore ferromagnets

abstract: Topological states of matter have been a subject of intensive studies in recent years because of their exotic properties such as the topologically protected edge and surface states. The initial studies were exclusively for electron systems. It is now known that topological states can also exist for other particles. Indeed, topologically protected edge states have already been found for phonons and photons. In spite of active searching for topological states in many fields, the studies in magnetism are relatively rare although topological states are apparently important and useful in magnonics. Here we show that the pyrochlore ferromagnets with the Dzyaloshinskii-Moriya interaction are intrinsic magnonic Weyl semimetals. Similar to the electronic Weyl semimetals, the magnon bands in a magnonic Weyl semimetal are nontrivially crossing in pairs at special points (called Weyl nodes) in momentum space. The equal energy contour around the Weyl nodes gives rise to the Fermi arcs on sample surfaces due to the topologically protected surface states between each pair of Weyl nodes. Additional Weyl nodes and Fermi arcs can be generated in lower energy magnon bands when an anisotropic exchange interaction is introduced.


title: Origin of space-separated charges in photoexcited organic heterojunctions on ultrafast time scales

abstract: We present a detailed investigation of ultrafast (subpicosecond) exciton dynamics in the lattice model of a donor/acceptor heterojunction. Exciton generation by means of a photoexcitation, exciton dissociation, and further charge separation are treated on equal footing. The experimentally observed presence of space-separated charges at $\lesssim 100$ fs after the photoexcitation is usually attributed to ultrafast transitions from excitons in the donor to charge transfer and charge separated states. Here, we show, however, that the space-separated charges appearing on $\lesssim 100$-fs time scales are predominantly directly optically generated. Our theoretical insights into the ultrafast pump-probe spectroscopy challenge usual interpretations of pump-probe spectra in terms of ultrafast population transfer from donor excitons to space-separated charges.


title: Compressibility regularizes the "$\mu(I)$" rheology for granular flows

abstract: The $\mu(I)$-rheology has been recently proposed as a potential candidate to model the flow of frictional grains in a dense inertial regime. However, this rheology was shown to be ill-posed in the mathematical sense for a large range of parameters, notably in the slow and fast flow limits \citep{Barker2015}. In this rapid communication, we extend the stability analysis to compressible flows. We show that compressibility regularizes mostly the equations, making them well-posed for all parameters, at the condition that sufficient dissipation is associated with volume changes. In addition to the usual Coulomb shear friction coefficient $\mu$, we introduce a bulk friction coefficient $\mu_b$, associated to volume changes and show that the equations are well-posed in two dimensions if $\mu_b>2-2\mu$ ($\mu_b>3-7\mu/2$ in three dimensions). Moreover, we show that the ill-posed domain defined in \citep{Barker2015} transforms into a domain where the equations are unstable but stay well-posed when compressibility is taken into account. These results suggest thus the importance of compressibility in dense granular flows.


title: Cosmological models in modified gravity theories with extended nonminimal derivative couplings

abstract: We construct gravitational modifications that go beyond Horndeski, namely theories with extended nonminimal derivative couplings, in which the coefficient functions depend not only on the scalar field but also on its kinetic energy. Such theories prove to be ghost-free in a cosmological background. We investigate the early-time cosmology and show that a de Sitter inflationary phase can be realized as a pure result of the novel gravitational couplings. Additionally, we study the late-time evolution, where we obtain an effective dark energy sector which arises from the scalar field and its extended couplings to gravity. We extract various cosmological observables and analyse their behavior at small redshifts for three choices of potentials, namely, for the exponential, the power-law, and the Higgs potential. We show that the Universe passes from deceleration to acceleration in the recent cosmological past, while the effective dark-energy equation-of-state parameter tends to the cosmological-constant value at present. Finally, the effective dark energy can be phantom-like, although the scalar field is canonical, which is an advantage of the model.


title: Two-loop Induced Majorana Neutrino Mass in a Radiatively Induced Quark and Lepton Mass Model

abstract: A two-loop induced radiative neutrino model is proposed as an extension of our previous work in which the first and second generation standard model fermion masses are generated at one-loop level in both quark and lepton sectors. Then we discuss current neutrino oscillation data, lepton flavor violations, muon anomalous magnetic moment, and a bosonic dark matter candidate, for both the normal and inverted neutrino mass hierarchy. Our numerical analysis shows that less hierarchical Yukawa coupling constants can fit the experimental data with TeV scale dark matter.


title: Study of Parametric Instability of gravitational wave detectors using silicon test masses

abstract: Parametric instability is an intrinsic risk in high power laser interferometer gravitational wave detectors, in which the optical cavity modes interact with the acoustic modes of the mirrors leading to exponential growth of the acoustic vibration. In this paper, we investigate the potential parametric instability for a proposed next generation gravitational wave detector based on cooled silicon test masses. It is shown that there would be about 2 unstable modes per test mass, with the highest parametric gain of ~76. The importance of developing suitable instability suppression schemes is emphasized.


title: Molecular Gas Kinematics and Line Diagnostics in Early-type Galaxies: NGC4710 and NGC5866

abstract: We present interferometric observations of CO lines (12CO(1-0, 2-1) and 13CO(1-0, 2-1)) and dense gas tracers (HCN(1-0), HCO+(1-0), HNC(1-0) and HNCO(4-3)) in two nearby edge-on barred lenticular galaxies, NGC 4710 and NGC 5866, with most of the gas concentrated in a nuclear disc and an inner ring in each galaxy. We probe the physical conditions of a two-component molecular interstellar medium in each galaxy and each kinematic component by using molecular line ratio diagnostics in three complementary ways. First, we measure the ratios of the position-velocity diagrams of different lines, second we measure the ratios of each kinematic component's integrated line intensities as a function of projected position, and third we model these line ratios using a non-local thermodynamic equilibrium radiative transfer code. Overall, the nuclear discs appear to have a tenuous molecular gas component that is hotter, optically thinner and with a larger dense gas fraction than that in the inner rings, suggesting more dense clumps immersed in a hotter more diffuse molecular medium. This is consistent with evidence that the physical conditions in the nuclear discs are similar to those in photo-dissociation regions. A similar picture emerges when comparing the observed molecular line ratios with those of other galaxy types. The physical conditions of the molecular gas in the nuclear discs of NGC4710 and NGC5866 thus appear intermediate between those of spiral galaxies and starbursts, while the star formation in their inner rings is even milder.


title: Extreme Scale-out SuperMUC Phase 2 - lessons learned

abstract: In spring 2015, the Leibniz Supercomputing Centre (Leibniz-Rechenzentrum, LRZ), installed their new Peta-Scale System SuperMUC Phase2. Selected users were invited for a 28 day extreme scale-out block operation during which they were allowed to use the full system for their applications. The following projects participated in the extreme scale-out workshop: BQCD (Quantum Physics), SeisSol (Geophysics, Seismics), GPI-2/GASPI (Toolkit for HPC), Seven-League Hydro (Astrophysics), ILBDC (Lattice Boltzmann CFD), Iphigenie (Molecular Dynamic), FLASH (Astrophysics), GADGET (Cosmological Dynamics), PSC (Plasma Physics), waLBerla (Lattice Boltzmann CFD), Musubi (Lattice Boltzmann CFD), Vertex3D (Stellar Astrophysics), CIAO (Combustion CFD), and LS1-Mardyn (Material Science). The projects were allowed to use the machine exclusively during the 28 day period, which corresponds to a total of 63.4 million core-hours, of which 43.8 million core-hours were used by the applications, resulting in a utilization of 69%. The top 3 users were using 15.2, 6.4, and 4.7 million core-hours, respectively.

categories: cs.DC astro-ph.IM physics.comp-ph physics.flu-dyn


title: Low-rank Bandits with Latent Mixtures

abstract: We study the task of maximizing rewards from recommending items (actions) to users sequentially interacting with a recommender system. Users are modeled as latent mixtures of C many representative user classes, where each class specifies a mean reward profile across actions. Both the user features (mixture distribution over classes) and the item features (mean reward vector per class) are unknown a priori. The user identity is the only contextual information available to the learner while interacting. This induces a low-rank structure on the matrix of expected rewards r a,b from recommending item a to user b. The problem reduces to the well-known linear bandit when either user or item-side features are perfectly known. In the setting where each user, with its stochastically sampled taste profile, interacts only for a small number of sessions, we develop a bandit algorithm for the two-sided uncertainty. It combines the Robust Tensor Power Method of Anandkumar et al. (2014b) with the OFUL linear bandit algorithm of Abbasi-Yadkori et al. (2011). We provide the first rigorous regret analysis of this combination, showing that its regret after T user interactions is $\tilde O(C\sqrt{BT})$, with B the number of users. An ingredient towards this result is a novel robustness property of OFUL, of independent interest.


title: Rigidity and Vanishing Theorems for Almost Even-Clifford Hermitian Manifolds

abstract: We prove the rigidity and vanishing of several indices of "geometrically natural" twisted Dirac operators on almost even-Clifford Hermitian manifolds admitting circle actions by automorphisms.


title: Upper Domination: towards a dichotomy through boundary properties

abstract: An upper dominating set in a graph is a minimal (with respect to set inclusion) dominating set of maximum cardinality. The problem of finding an upper dominating set is generally NP-hard. We study the complexity of this problem in classes of graphs defined by finitely many forbidden induced subgraphs and conjecture that the problem admits a dichotomy in this family, i.e. it is either NP-hard or polynomial-time solvable for each class in the family. A helpful tool to study the complexity of an algorithmic problem on finitely defined classes of graphs is the notion of boundary classes. However, none of such classes has been identified so far for the upper dominating set problem. In the present paper, we discover the first boundary class for this problem and prove the dichotomy for classes defined by a single forbidden induced subgraph.


title: In-situ absolute calibration of electric-field amplitude measurements with the LPDA radio detector stations of the Pierre Auger Observatory

abstract: With the Auger Engineering Radio Array (AERA) located at the Pierre Auger Observatory, radio emission of extensive air showers is observed. To exploit the physics potential of AERA, electric-field amplitude measurements with the radio detector stations need to be well-calibrated on an absolute level. A convenient tool for far-field calibration campaigns is a flying drone. Here we make use of an octocopter to place a calibrated source at freely chosen positions above the radio detector array. Special emphasis is put on the reconstruction of the octocopter position and its accuracy during the flights. The antenna response pattern of the radio detector stations was measured in a recent calibration campaign. Results of these measurements are presented and compared to simulations. It is found that measurements and simulations are in good agreement.


title: On a singular Liouville-type equation and the Alexandrov isoperimetric inequality

abstract: We obtain a generalized version of an inequality, first derived by C. Bandle in the analytic setting, for weak subsolutions of a singular Liouville-type equation. As an application we obtain a new proof of the Alexandrov isoperimetric inequality on singular abstract surfaces. Interestingly enough, motivated by this geometric problem, we obtain a seemingly new characterization of local metrics on Alexandrov's surfaces of bounded curvature. At least to our knowledge, the characterization of the equality case in the isoperimetric inequality in such a weak framework is new as well.


title: Results and Perspectives of the Auger Engineering Radio Array

abstract: The Auger Engineering Radio Array (AERA) is an extension of the Pierre Auger Cosmic-Ray Observatory. It is used to detect radio emission from extensive air showers with energies beyond $10^{17}~$eV in the $30 - 80~$MHz frequency band. After three phases of deployment, AERA now consists of more than 150 autonomous radio stations with different spacings, covering an area of about $17~$km$^2$. It is located at the same site as other Auger low-energy detector extensions enabling combinations with various other measurement techniques. The radio array allows different technical schemes to be explored as well as cross-calibration of our measurements with the established baseline detectors of the Auger Observatory. We report on the most recent technological developments and give an overview of the experimental results obtained with AERA. In particular, we will present the measurement of the radiation energy, i.e., the amount of energy that is emitted by the air shower in the form of radio emission, and its dependence on the cosmic-ray energy by comparing with the measurement of the the well-calibrated Auger surface detector. Furthermore, we outline the relevance of this result for the absolute calibration of the energy scale of cosmic-ray observatories.


title: Spectropolarimetric observations of an arch filament system with the GREGOR solar telescope

abstract: Arch filament systems occur in active sunspot groups, where a fibril structure connects areas of opposite magnetic polarity, in contrast to active region filaments that follow the polarity inversion line. We used the GREGOR Infrared Spectrograph (GRIS) to obtain the full Stokes vector in the spectral lines Si I 1082.7 nm, He I 1083.0 nm, and Ca I 1083.9 nm. We focus on the near-infrared calcium line to investigate the photospheric magnetic field and velocities, and use the line core intensities and velocities of the helium line to study the chromospheric plasma. The individual fibrils of the arch filament system connect the sunspot with patches of magnetic polarity opposite to that of the spot. These patches do not necessarily coincide with pores, where the magnetic field is strongest. Instead, areas are preferred not far from the polarity inversion line. These areas exhibit photospheric downflows of moderate velocity, but significantly higher downflows of up to 30 km/s in the chromospheric helium line. Our findings can be explained with new emerging flux where the matter flows downward along the fieldlines of rising flux tubes, in agreement with earlier results.


title: The age of the young bulge-like population in the stellar system Terzan5: linking the Galactic bulge to the high-z Universe

abstract: The Galactic bulge is dominated by an old, metal rich stellar population. The possible presence and the amount of a young (a few Gyr old) minor component is one of the major issues debated in the literature. Recently, the bulge stellar system Terzan 5 was found to harbor three sub-populations with iron content varying by more than one order of magnitude (from 0.2 up to 2 times the solar value), with chemical abundance patterns strikingly similar to those observed in bulge field stars. Here we report on the detection of two distinct main sequence turn-off points in Terzan 5, providing the age of the two main stellar populations: 12 Gyr for the (dominant) sub-solar component and 4.5 Gyr for the component at super-solar metallicity. This discovery classifies Terzan 5 as a site in the Galactic bulge where multiple bursts of star formation occurred, thus suggesting a quite massive progenitor possibly resembling the giant clumps observed in star forming galaxies at high redshifts. This connection opens a new route of investigation into the formation process and evolution of spheroids and their stellar content.


title: Exponential-square integrability, weighted inequalities for the square functions associated to operators and applications

abstract: Let $X$ be a metric space with a doubling measure. Let $L$ be a nonnegative self-adjoint operator acting on $L^2(X)$, hence $L$ generates an analytic semigroup $e^{-tL}$. Assume that the kernels $p_t(x,y)$ of $e^{-tL}$ satisfy Gaussian upper bounds and H\"older's continuity in $x$ but we do not require the semigroup to satisfy the preservation condition $e^{-tL}1 = 1$. In this article we aim to establish the exponential-square integrability of a function whose square function associated to an operator $L$ is bounded, and the proof is new even for the Laplace operator on the Euclidean spaces ${\mathbb R^n}$. We then apply this result to obtain: (i) estimates of the norm on $L^p$ as $p$ becomes large for operators such as the square functions or spectral multipliers; (ii) weighted norm inequalities for the square functions; and (iii) eigenvalue estimates for Schr\"odinger operators on ${\mathbb R}^n$ or Lipschitz domains of ${\mathbb R}^n$.


title: Faster O(|V|^2|E|W)-Time Energy Algorithms for Optimal Strategy Synthesis in Mean Payoff Games

abstract: This study strengthens the links between Mean Payoff Games (\MPG{s}) and Energy Games (EG{s}). Firstly, we offer a faster $O(|V|^2|E|W)$ pseudo-polynomial time and $\Theta(|V|+|E|)$ space deterministic algorithm for solving the Value Problem and Optimal Strategy Synthesis in \MPG{s}. This improves the best previously known estimates on the pseudo-polynomial time complexity to: \[ O(|E|\log |V|) + \Theta\Big(\sum_{v\in V}\texttt{deg}_{\Gamma}(v)\cdot\ell_{\Gamma}(v)\Big) = O(|V|^2|E|W), \] where $\ell_{\Gamma}(v)$ counts the number of times that a certain energy-lifting operator $\delta(\cdot, v)$ is applied to any $v\in V$, along a certain sequence of Value-Iterations on reweighted \EG{s}; and $\texttt{deg}_{\Gamma}(v)$ is the degree of $v$. This improves significantly over a previously known pseudo-polynomial time estimate, i.e. $\Theta\big(|V|^2|E|W + \sum_{v\in V}\texttt{deg}_{\Gamma}(v)\cdot\ell_{\Gamma}(v)\big)$ \citep{CR15, CR16}, as the pseudo-polynomiality is now confined to depend solely on $\ell_\Gamma$. Secondly, we further explore on the relationship between Optimal Positional Strategies (OPSs) in \MPG{s} and Small Energy-Progress Measures (SEPMs) in reweighted \EG{s}. It is observed that the space of all OPSs, $\texttt{opt}_{\Gamma}\Sigma^M_0$, admits a unique complete decomposition in terms of extremal-SEPM{s} in reweighted EG{s}. This points out what we called the "Energy-Lattice $\mathcal{X}^*_{\Gamma}$ associated to $\texttt{opt}_{\Gamma}\Sigma^M_0$". Finally, it is offered a pseudo-polynomial total-time recursive procedure for enumerating (w/o repetitions) all the elements of $\mathcal{X}^*_{\Gamma}$, and for computing the corresponding partitioning of $\texttt{opt}_{\Gamma}\Sigma^M_0$.


title: Infrared Peak-Splitting from phonon localization in Solid Hydrogen

abstract: We show that the isotope effect leads to a completely different spectroscopic signal in hydrogen-deuterium mixtures, compared to pure elements that have the same crystal structure. This is particularly true for molecular vibrations, which are the main source of information about the structure of high-pressure hydrogen. Mass disorder breaks translational symmetry, meaning that vibrations are localized almost to single molecules, and are not zone-center phonons. In mixtures, each observable IR peak corresponds to a collection of many such molecular vibrations, which have a distribution of frequencies depending on local environment. Furthermore discrete groups of environments cause the peaks to split. We illustrate this issue by considering the IR spectrum of the high pressure Phase III structure of hydrogen, recently interpreted as showing novel phases in isotopic mixtures. We calculate the IR spectrum of hydrogen/deuterium mixtures in the $C2/c$ and $Cmca$-12 structures, showing that isotopic disorder gives rise to mode localization of the high frequency vibrons. The local coordination of the molecules leads to discrete IR peaks. The spread of frequencies is strongly enhanced with pressure, such that more peaks become resolvable at higher pressures, in agreement with the recent measurements.


title: Radial Velocity Data Analysis with Compressed Sensing Techniques

abstract: We present a novel approach for analysing radial velocity data that combines two features: all the planets are searched at once and the algorithm is fast. This is achieved by utilizing compressed sensing techniques, which are modified to be compatible with the Gaussian processes framework. The resulting tool can be used like a Lomb-Scargle periodogram and has the same aspect but with much fewer peaks due to aliasing. The method is applied to five systems with published radial velocity data sets: HD 69830, HD 10180, 55 Cnc, GJ 876 and a simulated very active star. The results are fully compatible with previous analysis, though obtained more straightforwardly. We further show that 55 Cnc e and f could have been respectively detected and suspected in early measurements from the Lick observatory and Hobby-Eberly Telescope available in 2004, and that frequencies due to dynamical interactions in GJ 876 can be seen.


title: Multiple Rabi Splittings under Ultra-Strong Vibrational Coupling

abstract: From the high vibrational dipolar strength offered by molecular liquids, we demonstrate that a molecular vibration can be ultra-strongly coupled to multiple IR cavity modes, with Rabi splittings reaching $24\%$ of the vibration frequencies. As a proof of the ultra-strong coupling regime, our experimental data unambiguously reveal the contributions to the polaritonic dynamics coming from the anti-resonant terms in the interaction energy and from the dipolar self-energy of the molecular vibrations themselves. In particular, we measure the opening of a genuine vibrational polaritonic bandgap of ca. $60$ meV. We also demonstrate that the multimode splitting effect defines a whole vibrational ladder of heavy polaritonic states perfectly resolved. These findings reveal the broad possibilities in the vibrational ultra-strong coupling regime which impact both the optical and the molecular properties of such coupled systems, in particular in the context of mode-selective chemistry.


title: Star polymers as unit cells for coarse-graining cross-linked networks

abstract: Reducing the complexity of cross-linked polymer networks by preserving their main macroscale properties, is key to understanding them, and a crucial issue is to relate individual properties of the polymer constituents to those of the reduced network. Here we study polymer networks in a good solvent, by considering star polymers as their unit elements, and first quantify the interaction between their centers of masses. We then reduce the complexity of a network by replacing sets of its bridged star polymers by equivalent effective soft particles with dense cores. Our coarse graining allows us to approximate complex polymer networks by much simpler ones, keeping their relevant mechanical properties, as illustrated in computer experiments on an isotropic compression.


title: Made-to-measure galaxy modelling utilising absorption line strength data

abstract: We enhance the Syer & Tremaine made-to-measure (M2M) particle method of stellar dynamical modelling to model simultaneously both kinematic data and absorption line strength data thus creating a `chemo-M2M' modelling scheme. We apply the enhanced method to four galaxies (NGC 1248, NGC 3838, NGC 4452, NGC 4551) observed using the SAURON integral-field spectrograph as part of the ATLAS3D programme. We are able to reproduce successfully the 2D line strength data achieving mean chi^2 per bin values of ~1 with >95\% of particles having converged weights. Because M2M uses a 3D particle system, we are also able to examine the underlying 3D line strength distributions. The extent to which these distributions are plausible representations of real galaxies requires further consideration. Overall we consider the modelling exercise to be a promising first step in developing a `chemo-M2M' modelling system and in understanding some of the issues to be addressed. Whilst the made-to-measure techniques developed have been applied to absorption line strength data, they are in fact general and may be of value in modelling other aspects of galaxies.