title: Forward-Secure Group Signatures from Lattices

abstract: Group signature is a fundamental cryptographic primitive, aiming to protect anonymity and ensure accountability of users. It allows group members to anonymously sign messages on behalf of the whole group, while incorporating a tracing mechanism to identify the signer of any suspected signature. Most of the existing group signature schemes, however, do not guarantee security once secret keys are exposed. To reduce potential damages caused by key exposure attacks, Song (ACMCCS 2001) put forward the concept of forward-secure group signature (FSGS), which prevents attackers from forging group signatures pertaining to past time periods even if a secret group signing key is revealed at the current time period. For the time being, however, all known secure FSGS schemes are based on number-theoretic assumptions, and are vulnerable against quantum computers. In this work, we construct the first lattice-based FSGS scheme. Our scheme is proven secure under the Short Integer Solution and Learning With Errors assumptions. At the heart of our construction is a scalable lattice-based key evolving mechanism, allowing users to periodically update their secret keys and to efficiently prove in zero-knowledge that key evolution process is done correctly. To realize this essential building block, we first employ the Bonsai tree structure by Cash et al. (EUROCRYPT 2010) to handle the key evolution process, and then develop Langlois et al.'s construction (PKC 2014) to design its supporting zero-knowledge protocol.


title: Sensitivity of ferromagnetic resonance in PdCo alloyed films to hydrogen gas

abstract: In this work we studied the ferromagnetic resonance response of Co(x)Pd(1-x) alloy samples with different cobalt contents (x = 0.65, 0.39, 0.24 & 0.14). We found significant differences in the response of the samples to the presence of hydrogen gas in the samples' environment. Two particular films (with x=0.39 and 0.24) demonstrated behaviour which is promising for application in hydrogen gas sensing. Using the Co(39)Pd(61) alloy thin film, we were able to measure hydrogen gas concentration in a very broad range (from <0.1% to 100%) at a fixed value of the external magnetic field. Finally, we demonstrate that the Co(24)Pd(76) alloy thin film is sensitive to ultra-low hydrogen gas concentrations - from 10 to 10000 ppm.


title: New relatives of the Sierpinski gasket

abstract: By slight modification of the data of the Sierpinski gasket, keeping the open set condition fulfilled, we obtain self-similar sets with very dense parts, similar to fractals in nature and in random models. This is caused by a complicated structure of the open set and is revealed only under magnification. Thus the family of self-similar sets with separation condition is much richer and has higher modelling potential than usually expected. An interactive computer search for such examples and new properties for their classification are discussed.


title: Geometric properties of Dirichlet forms under order isomorphisms

abstract: We study pairs of Dirichlet forms related by an intertwining order isomorphisms between the associated $L^2$-spaces. We consider the measurable, the topological and the geometric setting respectively. In the measurable setting, we deal with arbitrary (irreducible) Dirichlet forms and show that any intertwining order isomorphism is necessarily unitary (up to a constant). In the topological setting we deal with quasi-regular forms and show that any intertwining order isomorphism induces a quasi-homeomorphism between the underlying spaces. In the geometric setting we deal with both regular Dirichlet forms as well as resistance forms and essentially show that the geometry defined by these forms is preserved by intertwining order isomorphisms. In particular, we prove in the strongly local regular case that intertwining order isomorphisms induce isometries with respect to the intrinsic metrics between the underlying spaces under fairly mild assumptions. This applies to a wide variety of metric measure spaces including $\mathrm{RCD}(K,N)$-spaces, complete weighted Riemannian manifolds and complete quantum graphs. In the non-local regular case our results cover in particular graphs as well as fractional Laplacians as arising in the treatment of $\alpha$-stable L\'evy processes. For resistance forms we show that intertwining order isomorphisms are isometries with respect to the resistance metrics. Our results can can be understood as saying that diffusion always determines the Hilbert space, and -- under natural compatibility assumptions -- the topology and the geometry respectively. As special instances they cover earlier results for manifolds and graphs.


title: On Behaviors of Maximal Dimension

abstract: In this paper, we investigate behaviors of Maximal Dimension, a group invariant involving certain configuration of maximal subgroups, which we denote by MaxDim. We prove that in some special cases, MaxDim(G\times H) = MaxDim(G) + MaxDim(H). We also prove a conjecture stated by Ellie Thieu which shows that groups with m < MaxDim can be constructed from groups with m < i.


title: Spatially-resolved measurement of plasmon dispersion using Fourier-plane spectral imaging

abstract: We show that Fourier-plane imaging in conjunction with the Kretschmann-Raether configuration can be used for measuring polariton dispersion with spatial discrimination of the sample, over the whole visible spectral range. We demonstrate the functionality of our design on several architectures, including plasmonic waveguides, and show that our new design enables the measurement of plasmonic dispersion curves of spatially-inhomogeneous structures with features as small as 3{\mu}m, in a single shot.


title: Using Deep Autoencoders for Facial Expression Recognition

abstract: Feature descriptors involved in image processing are generally manually chosen and high dimensional in nature. Selecting the most important features is a very crucial task for systems like facial expression recognition. This paper investigates the performance of deep autoencoders for feature selection and dimension reduction for facial expression recognition on multiple levels of hidden layers. The features extracted from the stacked autoencoder outperformed when compared to other state-of-the-art feature selection and dimension reduction techniques.


title: Superoscillations in solar MHD waves and their possible role in heating coronal loops

abstract: Aims: To study the presence of superoscillations in coronal magnetoacoustic waves and its possible role in heating coronal loops through the strong and localized gradients they generate on the wave. Methods: An analytic model is built for the transition between a sausage and a kink wave modes propagating along field lines in the corona. We compute in this model the local frequencies, the wave gradients and the associated heating rates due to compressive viscosity. Results: We find superoscillations associated with the transition between wave modes accompanying the wave dislocation that shifts through the wave domain. Frequencies 10 times higher than the normal frequency are found. This means that a typical 3-minute coronal wave will locally oscillate in 10 to 20 seconds. Such high frequencies bring up strong gradients that efficiently dissipate the wave through compressive viscosity. We compute the associated heating rates. Locally, they are very strong, largely compensating typical radiative losses. Conclusions: We find a new heating mechanism associated to magnetoacoustic waves in the corona. Heating due to superoscillations only happens along particular field lines with small cross sections, comparable in size to coronal loops, inside the much larger magnetic flux tubes and wave propagation domain.


title: Cosmology in the era of Euclid and the Square Kilometre Array

abstract: Theoretical uncertainties on non-linear scales are among the main obstacles to exploit the sensitivity of forthcoming galaxy and hydrogen surveys like Euclid or the Square Kilometre Array (SKA). Here, we devise a new method to model the theoretical error that goes beyond the usual cut-off on small scales. The advantage of this more efficient implementation of the non-linear uncertainties is tested through a Markov-Chain-Monte-Carlo (MCMC) forecast of the sensitivity of Euclid and SKA to the parameters of the standard $\Lambda$CDM model, including massive neutrinos with total mass $M_\nu$, and to 3 extended scenarios, including 1) additional relativistic degrees of freedom ($\Lambda$CDM + $M_\nu$ + $N_\mathrm{eff}$), 2) a deviation from the cosmological constant ($\Lambda$CDM + $M_\nu$ + $w_0$), and 3) a time-varying dark energy equation of state parameter ($\Lambda$CDM + $M_\nu$ + $\left(w_0,w_a \right)$). We compare the sensitivity of 14 different combinations of cosmological probes and experimental configurations. For Euclid combined with Planck, assuming a plain cosmological constant, our method gives robust predictions for a high sensitivity to the primordial spectral index $n_{\rm s}$ ($\sigma(n_s)=0.00085$), the Hubble constant $H_0$ ($\sigma(H_0)=0.141 \, {\rm km/s/Mpc}$), the total neutrino mass $M_\nu$ ($\sigma(M_\nu)=0.020 \, {\rm eV}$). Assuming dynamical dark energy we get $\sigma(M_\nu)=0.030 \, {\rm eV}$ for the mass and $(\sigma(w_0), \sigma(w_a)) = (0.0214, 0.071)$ for the equation of state parameters. The predicted sensitivity to $M_\nu$ is mostly stable against the extensions of the cosmological model considered here. Interestingly, a significant improvement of the constraints on the extended model parameters is also obtained when combining Euclid with a low redshift HI intensity mapping survey by SKA1, demonstrating the importance of the synergy of Euclid and SKA.


title: The optical properties of galaxies in the Ophiuchus cluster

abstract: We investigate the optical properties of Ophiuchus to obtain clues on the formation epoch of this cluster, and compare them to those of the Coma cluster, which is comparable in mass to Ophiuchus but much more disturbed dynamically. Based on a deep image of the Ophiuchus cluster in the r' band obtained at the Canada France Hawaii Telescope with the MegaCam camera, we have applied an iterative process to subtract the contribution of the numerous stars that pollute the image, due to the low Galactic latitude of the cluster, and obtained a photometric catalogue of 2818 galaxies fully complete at r'=20.5 mag and still 91% complete at r'=21.5 mag. We use this catalogue to derive the cluster Galaxy Luminosity Function (GLF) for the overall image and for a region (hereafter the "rectangle" region) covering exactly the same physical size as the region in which the GLF of the Coma cluster was studied by Adami et al. (2007). We then compute density maps based on an adaptive kernel technique, for different magnitude limits, and define three circular regions covering 0.08, 0.08 and 0.06 deg^2 respectively centered on the cluster (C), northwest (NW) and southeast (SE) of the cluster, in which we compute the GLFs. The GLF fits are much better when a Gaussian is added to the usual Schechter function, to account for the excess of very bright galaxies. Compared to Coma, Ophiuchus shows a strong excess of bright galaxies. The properties of the two nearby very massive clusters Ophiuchus and Coma are quite comparable, though they seem embedded in different large scale environments. Our interpretation is that Ophiuchus has built up long ago, as confirmed by its relaxed state (see paper I) while Coma is still in the process of forming.


title: Quasi-pullback of Borcherds products

abstract: Quasi-pullback of Borcherds products is an operation of renormalized restriction. It produces a meromorphic modular form on a lower dimensional symmetric domain which is again a Borcherds product. We give an explicit formula for the weakly holomorphic modular form of Weil representation type whose Borcherds lift is the quasi-pullback of the given Borcherds product.


title: Linear potentials in galaxy halos by Asymmetric Wormholes

abstract: A spherically symmetric space-time solution for a diffusive two measures theory is studied. An asymmetric wormhole geometry is obtained where the metric coefficients have a linear term for galactic distances and the analysis of Mannheim and collaborators, can then be used to describe the galactic rotation curves. For cosmological distances, a de-Sitter space-time is realized. Centre of gravity coordinates for the wormhole is introduced which are the most suitable for the collective motion of a wormhole. The wormholes connect universes with different vacuum energy densities which may represent different universes in a "landscape scenario". The metric coefficients depend on the asymmetric wormhole parameters. The coefficient of the linear potential is proportional to both the mass of the wormhole and the cosmological constant of the observed universe. Similar results are also expected in other theories like $k$-essence theories, that may support wormholes.


title: Arc-smooth functions on closed sets

abstract: By an influential theorem of Boman, a function $f$ on an open set $U$ in $\mathbb R^d$ is smooth ($\mathcal C^\infty$) if and only if it is arc-smooth, i.e., $f\circ c$ is smooth for every smooth curve $c : \mathbb R \to U$. In this paper we investigate the validity of this result on closed sets. Our main focus is on sets which are the closure of their interior, so-called fat sets. We obtain an analogue of Boman's theorem on fat closed sets with H\"older boundary and on fat closed subanalytic sets with the property that every boundary point has a basis of neighborhoods each of which intersects the interior in a connected set. If $X \subseteq \mathbb R^d$ is any such set and $f : X \to \mathbb R$ is arc-smooth, then $f$ extends to a smooth function defined on $\mathbb R^d$. We also get a version of the Bochnak-Siciak theorem on all closed fat subanalytic and all closed sets with H\"older boundary: if $f : X \to \mathbb R$ is the restriction of a smooth function on $\mathbb R^d$ which is real analytic along all real analytic curves in $X$, then $f$ extends to a holomorphic function on a neighborhood of $X$ in $\mathbb C^d$. Similar results hold for non-quasianalytic Denjoy-Carleman classes (of Roumieu type). We will also discuss sharpness and applications of these results.


title: Big Data Visualization Tools

abstract: Data visualization and analytics are nowadays one of the corner-stones of Data Science, turning the abundance of Big Data being produced through modern systems into actionable knowledge. Indeed, the Big Data era has realized the availability of voluminous datasets that are dynamic, noisy and heterogeneous in nature. Transforming a data-curious user into someone who can access and analyze that data is even more burdensome now for a great number of users with little or no support and expertise on the data processing part. Thus, the area of data visualization and analysis has gained great attention recently, calling for joint action from different research areas and communities such as information visualization, data management and mining, human-computer interaction, and computer graphics. This article presents the limitations of traditional visualization systems in the Big Data era. Additionally, it discusses the major prerequisites and challenges that should be addressed by modern visualization systems. Finally, the state-of-the-art methods that have been developed in the context of the Big Data visualization and analytics are presented, considering methods from the Data Management and Mining, Information Visualization and Human-Computer Interaction communities


title: Continuous Space Reordering Models for Phrase-based MT

abstract: Bilingual sequence models improve phrase-based translation and reordering by overcoming phrasal independence assumption and handling long range reordering. However, due to data sparsity, these models often fall back to very small context sizes. This problem has been previously addressed by learning sequences over generalized representations such as POS tags or word clusters. In this paper, we explore an alternative based on neural network models. More concretely we train neuralized versions of lexicalized reordering and the operation sequence models using feed-forward neural network. Our results show improvements of up to 0.6 and 0.5 BLEU points on top of the baseline German->English and English->German systems. We also observed improvements compared to the systems that used POS tags and word clusters to train these models. Because we modify the bilingual corpus to integrate reordering operations, this allows us to also train a sequence-to-sequence neural MT model having explicit reordering triggers. Our motivation was to directly enable reordering information in the encoder-decoder framework, which otherwise relies solely on the attention model to handle long range reordering. We tried both coarser and fine-grained reordering operations. However, these experiments did not yield any improvements over the baseline Neural MT systems.


title: Fierz-complete NJL model study II: towards the fixed-point and phase structure of hot and dense two-flavor QCD

abstract: Nambu-Jona-Lasinio-type models are often employed as low-energy models for the theory of the strong interaction to analyze its phase structure at finite temperature and quark chemical potential. In particular at low temperature and large chemical potential, where the application of fully first-principles approaches is currently difficult at best, this class of models still plays a prominent role to guide our understanding of the dynamics of dense strong-interaction matter. In this work, we consider a Fierz-complete version of the Nambu-Jona-Lasinio model with two massless quark flavors and study its renormalization group flow and fixed-point structure at leading order of the derivative expansion of the effective action. Sum rules for the various four-quark couplings then allow us to monitor the strength of the breaking of the axial $U_{\rm A}(1)$ symmetry close to and above the phase boundary. We find that the dynamics in the ten-dimensional Fierz-complete space of four-quark couplings can only be reduced to a one-dimensional space associated with the scalar-pseudoscalar coupling in the strict large-$N_{\rm c}$ limit. Still, the interacting fixed point associated with this one-dimensional subspace appears to govern the dynamics at small quark chemical potential even beyond the large-$N_{\rm c}$ limit. At large chemical potential, corrections beyond the large-$N_{\rm c}$ limit become important and the dynamics is dominated by diquarks, favoring the formation of a chirally symmetric diquark condensate. In this regime, our study suggests that the phase boundary is shifted to higher temperatures when a Fierz-complete set of four-quark interactions is considered.


title: Surface theory in discrete projective differential geometry. I. A canonical frame and an integrable discrete Demoulin system

abstract: We present the first steps of a procedure which discretises surface theory in classical projective differential geometry in such a manner that underlying integrable structure is preserved. We propose a canonical frame in terms of which the associated projective Gauss-Weingarten and Gauss-Mainardi-Codazzi equations adopt compact forms. Based on a scaling symmetry which injects a parameter into the linear Gauss-Weingarten equations, we set down an algebraic classification scheme of discrete projective minimal surfaces which turns out to admit a geometric counterpart formulated in terms of discrete notions of Lie quadrics and their envelopes. In the case of discrete Demoulin surfaces, we derive a Backlund transformation for the underlying discrete Demoulin system and show how the latter may be formulated as a two-component generalisation of the integrable discrete Tzitzeica equation which has originally been derived in a different context. At the geometric level, this connection leads to the retrieval of the standard discretisation of affine spheres in affine differential geometry.


title: State space reconstruction of spatially extended systems and of time delayed systems from the time series of a scalar variable

abstract: The space-time representation of high-dimensional dynamical systems that have a well defined characteristic time scale has proven to be very useful to deepen the understanding of such systems and to uncover hidden features in their output signals. Genuine analogies between one-dimensional (1D) spatially extended systems (1D SESs) and time delayed systems (TDSs) have been observed, including similar pattern formation and propagation of localized structures. An open question is if such analogies are limited to the space-time representation, or, if it is possible to reconstruct similar attractors, from the time series of an observed variable. In this work we address this issue by considering a bistable 1D SES and two TDSs (a bistable system and a model of two lasers with time delayed coupling). In these three examples we find that we can reconstruct the underlying attractor in a three-dimensional pseudo-space, where the evolution is governed by a polynomial potential. We also discuss the limitations of the analogy between 1D SESs and TDSs.


title: The Price of Indivisibility in Cake Cutting

abstract: We consider the problem of envy-free cake cutting, which is the distribution of a continuous heterogeneous resource among self interested players such that nobody prefers what somebody else receives to what they get. Existing work has focused on two distinct classes of solutions to this problem - allocations which give each player a continuous piece of cake and allocations which give each player arbitrarily many disjoint pieces of cake. Our aim is to investigate allocations between these two extremes by parameterizing the maximum number of disjoint pieces each player may receive. We characterize the Price of Indivisibility (POI) as the gain achieved in social welfare (utilitarian and egalitarian), by moving from allocations which give each player a continuous piece of cake to allocations that may give each player up to $k$ disjoint pieces of cake. Our results contain bounds for the Price of Indivisibility for utilitarian as well as egalitarian social welfare, and for envy-free cake cutting as well as cake cutting without any fairness constraints.


title: On the approximation of weakly plurifinely plurisubharmonic functions

abstract: In this note, we study the approximation of singular plurifinely plurisubharmonic function $u$ defined on a plurifinely domain $\Omega$. Under some conditions, we prove that $u$ can be approximated by an increasing sequence of plurisubharmonic functions defined on Euclidean neighborhoods of $\Omega$.


title: A note on fractional powers of the Hermite operator

abstract: We give a very short proof of a result proved by Cappiello-Rodino-Toft on the Weyl symbol of the inverse of the Harmonic oscillator. We also extend their results to fractional powers.


title: On the junction conditions in $f(R)$-gravity with torsion

abstract: Junction conditions are discussed within the framework of $f(R)$-gravity with torsion. After deriving general junction conditions, the cases of coupling to a Dirac field and a spin fluid are explicitly dealt with. The main differences with respect to Einstein--Cartan--Sciama--Kibble theory $\left(f(R)=R\right)$ are outlined.


title: Existence of connected regular and nearly regular graphs

abstract: For integers $k \geq 2$ and $n \geq k+1$, we prove the following: If $n\cdot k$ is even, there is a connected $k$-regular graph on $n$ vertices. If $n\cdot k$ is odd, there is a connected nearly $k$-regular graph on $n$ vertices.


title: Valuation of Currency Options in Markets with a Crunch

abstract: This work studies the valuation of currency options in markets suffering from a financial crisis. We consider a European option where the underlying asset is a foreign currency. We assume that the value of the underlying asset is a stochastic process that follows a modified Black-Scholes model with an augmented stochastic volatility. Under these settings, we provide a closed form solution for the option-pricing problem on foreign currency for the European call and put options. A mathematical proof is provided for the underlying solution. In addition, simulation results and an application are provided.


title: Noise-dependent optimal strategies for quantum metrology

abstract: We show that for some noisy channels, the optimal entanglement-assisted strategy depends on the noise level. We note that there is a non-trivial crossover between the parallel-entangled strategy and the ancilla-assisted strategy - in the former the probes are all entangled, the latter the probes are entangled with a noiseless ancilla but not amongst themselves. The transition can be explained by the fact that, separable states are more robust against noise and therefore are optimal in the high noise limit, but they are in turn outperformed by ancilla-assisted ones.


title: The convergence of boundary expansions and the analyticity of minimal surfaces in the hyperbolic space

abstract: We study expansions near the boundary of solutions to the Dirichlet problem for minimal graphs in the hyperbolic space and prove the local convergence of such expansions if the boundary is locally analytic. As a consequence, we prove a conjecture by F.-H. Lin that the minimal graph is analytic up to the boundary if the boundary is analytic and the minimal graph is smooth up to the boundary.


title: Spin-relaxation anisotropy in a nanowire quantum dot with strong spin-orbit coupling

abstract: We study the impacts of the magnetic field direction on the spin-manipulation and the spin-relaxation in a one-dimensional quantum dot with strong spin-orbit coupling. The energy spectrum and the corresponding eigenfunctions in the quantum dot are obtained exactly. We find that no matter how large the spin-orbit coupling is, the electric-dipole spin transition rate as a function of the magnetic field direction always has a $\pi$ periodicity. However, the phonon-induced spin relaxation rate as a function of the magnetic field direction has a $\pi$ periodicity only in the weak spin-orbit coupling regime, and the periodicity is prolonged to $2\pi$ in the strong spin-orbit coupling regime.


title: Theory of higher order interpretations and application to Basic Feasible Functions

abstract: Interpretation methods and their restrictions to polynomials have been deeply used to control the termination and complexity of first-order term rewrite systems. This paper extends interpretation methods to a pure higher order functional language. We develop a theory of higher order functions that is well-suited for the complexity analysis of this programming language. The interpretation domain is a complete lattice and, consequently, we express program interpretation in terms of a least fixpoint. As an application, by bounding interpretations by higher order polynomials, we characterize Basic Feasible Functions at any order.


title: A Statistical Approach for RF Exposure Compliance Boundary Assessment in Massive MIMO Systems

abstract: Massive multiple-input multiple-output (MIMO) is a fundamental enabler to provide high data throughput in next generation cellular networks. By equipping the base stations (BSs) with tens or hundreds of antenna elements, narrow and high gain beams can be used to spatially multiplex several user equipment (UE) devices. While increasing the achievable performance, focusing the transmit power into specific UE directions also poses new issues when performing the radio frequency (RF) exposure assessment. In fact, the spatial distribution of the actual BS transmit power strongly depends on the deployment scenario and on the position of the UEs. Traditional methods for assessing the RF exposure compliance boundaries around BS sites are generally based on maximum transmit power and static beams. In massive MIMO systems, these approaches tend to be very conservative, in particular when time averaging is properly considered. In this work, we propose to leverage the three dimensional spatial channel model standardized by the Third Generation Partnership Project in order to assess reasonably foreseeable compliance boundaries of massive MIMO BSs. The analysis is performed by considering BSs fully loaded and different configurations of active UEs per cell. Numerical results show that the statistical approach developed in this paper allows reducing to nearly half the compliance distance when compared to the traditional method.


title: Numerical investigation on the fixed-stress splitting scheme for Biot's equations: Optimality of the tuning parameter

abstract: We study the numerical solution of the quasi-static linear Biot's equations solved iteratively by the fixed-stress splitting scheme. In each iteration the mechanical and flow problems are decoupled, where the flow problem is solved by keeping an artificial mean stress fixed. This introduces a numerical tuning parameter which can be optimized. We investigate numerically the optimality of the parameter and compare our results with physically and mathematically motivated values from the literature, which commonly only depend on mechanical material parameters. We demonstrate, that the optimal value of the tuning parameter is also affected by the boundary conditions and material parameters associated to the fluid flow problem suggesting the need for the integration of those in further mathematical analyses optimizing the tuning parameter.


title: A Secure and Privacy-preserving Protocol for Smart Metering Operational Data Collection

abstract: In this paper we propose a novel protocol that allows suppliers and grid operators to collect users' aggregate metering data in a secure and privacy-preserving manner. We use secure multiparty computation to ensure privacy protection. In addition, we propose three different data aggregation algorithms that offer different balances between privacy-protection and performance. Our protocol is designed for a realistic scenario in which the data need to be sent to different parties, such as grid operators and suppliers. Furthermore, it facilitates an accurate calculation of transmission, distribution and grid balancing fees in a privacy-preserving manner. We also present a security analysis and a performance evaluation of our protocol based on well known multiparty computation algorithms implemented in C++.


title: Secure and Privacy-Friendly Local Electricity Trading and Billing in Smart Grid

abstract: This paper proposes two decentralised, secure and privacy-friendly protocols for local electricity trading and billing, respectively. The trading protocol employs a bidding algorithm based upon secure multiparty computations and allows users to trade their excess electricity among themselves. The bid selection and calculation of the trading price are performed in a decentralised and oblivious manner. The billing protocol is based on a simple privacy-friendly aggregation technique that allows suppliers to compute their customers' monthly bills without learning their fine-grained electricity consumption data. We also implemented and tested the performance of the trading protocol with realistic data. Our results show that it can be performed for 2500 bids in less than five minutes in the on-line phase, showing its feasibility for a typical electricity trading period of 30 minutes.


title: Geometry and elasticity of a knitted fabric

abstract: Knitting is not only a mere art and craft hobby but also a thousand year old technology. Unlike weaving, it can produce loose yet extremely stretchable fabrics with almost vanishing rigidity, a desirable property exhibited by hardly any bulk material. It also enables the engineering of arbitrarily shaped two and three-dimensional objects with tunable mechanical response. In contrast with the extensive body of related empirical knowledge and despite a growing industrial interest, the physical ingredients underlying these intriguing mechanical properties remain poorly understood. To make some progress in this direction, we study a model tricot made of a single elastic thread knitted into the common pattern called \textit{stockinette}. On the one hand, we experimentally investigate its tensile response and measure local displacements of the stitches during deformation. On the other hand, we derive a first-principle mechanical model for the displacement field based on the yarn bending energy, the conservation of its total length and the topological constraints on the constitutive stitches. Our model solves both the shape and mechanical response of the knit and agrees quantitatively with our measurements. This study thus provides a fundamental framework for the understanding of knitted fabrics, paving the way to thread-based smart materials.


title: Constant Slope Models and Perturbation

abstract: We sharpen an estimate for the growth rate of preimages of a point under a transitive piecewise monotone interval map. Then we apply our estimate to study the continuity of the operator which assigns to such a map its constant slope model.


title: Spotting high-z molecular absorbers using neutral carbon: Results from a complete spectroscopic survey with the VLT

abstract: While molecular quasar absorption systems provide unique probes of the physical and chemical properties of the gas as well as original constraints on fundamental physics and cosmology, their detection remains challenging. Here we present the results from a complete survey for molecular gas in thirty-nine absorption systems selected solely upon the detection of neutral carbon lines in SDSS spectra, without any prior knowledge of the atomic or molecular gas content. H2 is found in all twelve systems (including seven new detections) where the corresponding lines are covered by the instrument setups and measured to have log N(H2)>=18, indicating a self-shielded regime. We also report seven CO detections (7/39) down to log N(CO)~13.5, including a new one, and put stringent constraints on N(CO) for the remaining 32 systems. N(CO) and N(CI) are found to be strongly correlated with N(CO)/N(CI)~1/10. This suggests that the CI-selected absorber population is probing gas deeper than the HI-H2 transition in which a substantial fraction of the total hydrogen in the cloud is in the form of H2. We conclude that targeting CI-bearing absorbers is a very efficient way to find high-metallicity molecular absorbers. However, probing the molecular content in lower metallicity regimes as well as high column density neutral gas remains to be undertaken to unravel the processes of gas conversion in normal high-z galaxies


title: New definition of complexity for self-gravitating fluid distributions: The spherically symmetric, static case

abstract: We put forward a new definition of complexity, for static and spherically symmetric self--gravitating systems, based on a quantity, hereafter referred to as complexity factor, that appears in the orthogonal splitting of the Riemann tensor, in the context of general relativity. We start by assuming that the homogeneous (in the energy density) fluid, with isotropic pressure is endowed with minimal complexity. For this kind of fluid distribution, the value of complexity factor is zero. So, the rationale behind our proposal for the definition of complexity factor stems from the fact that it measures the departure, in the value of the active gravitational mass (Tolman mass), with respect to its value for a zero complexity system. Such departure is produced by a specific combination of energy density inhomogeneity and pressure anisotropy. Thus, zero complexity factor may also be found in self--gravitating systems with inhomogeneous energy density and anisotropic pressure, provided the effects of these two factors, on the complexity factor, cancel each other. Some exact interior solutions to the Einstein equations satisfying the zero complexity criterium are found, and prospective applications of this newly defined concept, to the study of the structure and evolution of compact objects, are discussed.


title: Rotating Bowen-York initial data with a positive cosmological constant

abstract: A generalization of the Bowen-York initial data to the case with a positive cosmological constant is investigated. We follow the construction presented recently by Bizo\'n, Pletka and Simon, and solve numerically the Lichnerowicz equation on a compactified domain $\mathbb S^1 \times \mathbb S^2$. In addition to two branches of solutions depending on the polar variable on $\mathbb S^2$ that were already known, we find branches of solutions depending on two variables: the polar variable on $\mathbb S^2$ and the coordinate on $\mathbb S^1$. Using Vanderbauwhede's results concerning bifurcations from symmetric solutions, we show the existence of the corresponding bifurcation points. By linearizing the Lichnerowicz equation and solving the resulting eigenvalue problem, we collect numerical evidence suggesting the absence of additional branches of solutions.


title: Dual Asymmetric Deep Hashing Learning

abstract: Due to the impressive learning power, deep learning has achieved a remarkable performance in supervised hash function learning. In this paper, we propose a novel asymmetric supervised deep hashing method to preserve the semantic structure among different categories and generate the binary codes simultaneously. Specifically, two asymmetric deep networks are constructed to reveal the similarity between each pair of images according to their semantic labels. The deep hash functions are then learned through two networks by minimizing the gap between the learned features and discrete codes. Furthermore, since the binary codes in the Hamming space also should keep the semantic affinity existing in the original space, another asymmetric pairwise loss is introduced to capture the similarity between the binary codes and real-value features. This asymmetric loss not only improves the retrieval performance, but also contributes to a quick convergence at the training phase. By taking advantage of the two-stream deep structures and two types of asymmetric pairwise functions, an alternating algorithm is designed to optimize the deep features and high-quality binary codes efficiently. Experimental results on three real-world datasets substantiate the effectiveness and superiority of our approach as compared with state-of-the-art.


title: Collaborative Large-Scale Dense 3D Reconstruction with Online Inter-Agent Pose Optimisation

abstract: Reconstructing dense, volumetric models of real-world 3D scenes is important for many tasks, but capturing large scenes can take significant time, and the risk of transient changes to the scene goes up as the capture time increases. These are good reasons to want instead to capture several smaller sub-scenes that can be joined to make the whole scene. Achieving this has traditionally been difficult: joining sub-scenes that may never have been viewed from the same angle requires a high-quality camera relocaliser that can cope with novel poses, and tracking drift in each sub-scene can prevent them from being joined to make a consistent overall scene. Recent advances, however, have significantly improved our ability to capture medium-sized sub-scenes with little to no tracking drift: real-time globally consistent reconstruction systems can close loops and re-integrate the scene surface on the fly, whilst new visual-inertial odometry approaches can significantly reduce tracking drift during live reconstruction. Moreover, high-quality regression forest-based relocalisers have recently been made more practical by the introduction of a method to allow them to be trained and used online. In this paper, we leverage these advances to present what to our knowledge is the first system to allow multiple users to collaborate interactively to reconstruct dense, voxel-based models of whole buildings using only consumer-grade hardware, a task that has traditionally been both time-consuming and dependent on the availability of specialised hardware. Using our system, an entire house or lab can be reconstructed in under half an hour and at a far lower cost than was previously possible.


title: Numerical Relativity Investigation of the Effects of Gravitational Waves on the Inhomogeneity of the Universe

abstract: We numerically integrate the Einstein's equations for a spatially flat Friedmann-Lemaire-Robertson-Walker (FLRW) background spacetime with a spatial curvature perturbation and evolving primordial tensor perturbations using the Einstein Toolkit. We find that although the primordial tensor perturbation doesn't play an important role in the evolution of the overdensity produced by the scalar perturbation, there is an obvious imprint left by the primordial tensor perturbation on the distribution of the fractional density perturbation in the nonlinear region. This imprint may be a possible probe of a gravitational waves background in the future.


title: Light Absorption Properties of the High Quality Linear Alkylbenzene for the JUNO Experiment

abstract: The Jiangmen Underground Neutrino Observatory (JUNO), a 20 kton multi-purpose underground liquid scintillator detector designed to determine the neutrino mass hierarchy, and measure the neutrino oscillation parameters. The excellent energy resolution and the large fiducial volume anticipated for the JUNO detector offer exciting opportunities for addressing many important topics in neutrino and astro-particle physics. Linear alkylbenzene (LAB) will be used as the solvent for the liquid scintillation system in the central detector of JUNO. The light attenuation lengths of LAB should be comparable to the diameter of the JUNO detector, hence very good optical transparency is required. However, the presence of impurities in the LAB renders an intrinsic limit for the transparency. This work focuses on the study of the effects of organic impurities in the LAB, and their light absorption properties particularly in the wavelength region of 350 to 450 nm. we have prepared LAB samples and measured their light attenuation lengths. These samples were then analyzed by a gas chromatography mass spectrometry, and the structure formulas of organic impurities were ascertained. These impurities' light absorption properties in the wavelength region of 350 to 550 nm were theoretically investigated with PCM TDDFT. The overall optical transparency of the LAB samples was studied, which would further help us in promoting the LAB preparation technique for the mass production thereof, thus improving the transparency of the high quality LAB samples in the near future.


title: Model selection and local geometry

abstract: We consider problems in model selection caused by the geometry of models close to their points of intersection. In some cases---including common classes of causal or graphical models, as well as time series models---distinct models may nevertheless have identical tangent spaces. This has two immediate consequences: first, in order to obtain constant power to reject one model in favour of another we need local alternative hypotheses that decrease to the null at a slower rate than the usual parametric $n^{-1/2}$ (typically we will require $n^{-1/4}$ or slower); in other words, to distinguish between the models we need large effect sizes or very large sample sizes. Second, we show that under even weaker conditions on their tangent cones, models in these classes cannot be made simultaneously convex by a reparameterization. This shows that Bayesian network models, amongst others, cannot be learned directly with a convex method similar to the graphical lasso. However, we are able to use our results to suggest methods for model selection that learn the tangent space directly, rather than the model itself. In particular, we give a generic algorithm for learning Bayesian network models.


title: Probabilistic Planning by Probabilistic Programming

abstract: Automated planning is a major topic of research in artificial intelligence, and enjoys a long and distinguished history. The classical paradigm assumes a distinguished initial state, comprised of a set of facts, and is defined over a set of actions which change that state in one way or another. Planning in many real-world settings, however, is much more involved: an agent's knowledge is almost never simply a set of facts that are true, and actions that the agent intends to execute never operate the way they are supposed to. Thus, probabilistic planning attempts to incorporate stochastic models directly into the planning process. In this article, we briefly report on probabilistic planning through the lens of probabilistic programming: a programming paradigm that aims to ease the specification of structured probability distributions. In particular, we provide an overview of the features of two systems, HYPE and ALLEGRO, which emphasise different strengths of probabilistic programming that are particularly useful for complex modelling issues raised in probabilistic planning. Among other things, with these systems, one can instantiate planning problems with growing and shrinking state spaces, discrete and continuous probability distributions, and non-unique prior distributions in a first-order setting.


title: Networks of piecewise linear neural mass models

abstract: Neural mass models are ubiquitous in large scale brain modelling. At the node level they are written in terms of a set of ODEs with a nonlinearity that is typically a sigmoidal shape. Using structural data from brain atlases they may be connected into a network to investigate the emergence of functional dynamic states, such as synchrony. With the simple restriction of the classic sigmoidal nonlinearity to a piecewise linear caricature we show that the famous Wilson-Cowan neural mass model can be analysed at both the node and network level. The construction of periodic orbits at the node level is achieved by patching together matrix exponential solutions, and stability is determined using Floquet theory. For networks with interactions described by circulant matrices, we show that the stability of the synchronous state can be determined in terms of a low-dimensional Floquet problem parameterised by the eigenvalues of the interaction matrix. This network Floquet problem is readily solved using linear algebra, to predict the onset of spatio-temporal network patterns arising from a synchronous instability. We consider the case of a discontinuous choice for the node nonlinearity, namely the replacement of the sigmoid by a Heaviside nonlinearity. This gives rise to a continuous-time switching network. At the node level this allows for the existence of unstable sliding periodic orbits, which we construct. The stability of a periodic orbit is now treated with a modification of Floquet theory to treat the evolution of small perturbations through switching manifolds via saltation matrices. At the network level the stability analysis of the synchronous state is considerably more challenging. Here we report on the use of ideas originally developed for the study of Glass networks to treat the stability of periodic network states in neural mass models with discontinuous interactions.


title: Testing lepton flavour universality in semileptonic $\Lambda_b \to \Lambda_c^*$ decays

abstract: Lepton Flavour Universality tests with semileptonic $\Lambda_b\to\Lambda_c^*$ decays are important to corroborate the present anomalies in the similar ratios $R_{D^{(*)}}$, and can provide complementary constraints on possible origins of these anomalies beyond the Standard Model. In this paper we provide - for the first time - all the necessary theoretical ingredients to perform and interpret measurements of $R_{\Lambda_c^*}$ at the LHCb experiment. For this, we revisit the heavy-quark expansion of the relevant hadronic matrix elements, and provide their expressions to order $\alpha_s$ and $1/m$ accuracy. Moreover, we study the sensitivity to the form factor parameters given the projected size and purity of upcoming and future LHCb datasets of $\Lambda_b\to \Lambda_c^*\mu\bar{\nu}$ decays. We demonstrate explicitly the need to perform a simultaneous fit to both $\Lambda_c^*$ final states. Finally, we provide projections for the uncertainty of $R_{\Lambda_c^*}$ based on the form factor analysis from semimuonic decays and theoretical relations based on the heavy-quark expansion.


title: On the origin of two X-class flares in active region NOAA 12673 - Shear flows and head-on collision of new and pre-existing flux

abstract: Flare-prolific active region NOAA 12673 produced consecutive X2.2 and X9.3 flares on 06/09/2017. To scrutinize the morphological, magnetic, and horizontal flow properties associated with these flares, a 7-hour time-series was used consisting of continuum images, line-of-sight/vector magnetograms, and 1600 {\AA} UV images. These data were acquired with the SDO HMI and AIA. The white-light flare emission differed for both flares, while the X2.2 flare displayed localized, confined flare kernels, the X9.3 flare exhibited a two-ribbon structure. In contrast, the excess UV emission exhibited a similar structure for both flares, but with larger areal extent for the X9.3 flare. These two flares represented a scenario, where the first confined flare acted as precursor, setting up the stage for the more extended flare. Difference maps for continuum and magnetograms revealed locations of significant changes, i.e., penumbral decay and umbral strengthening. The curved magnetic polarity inversion line in the {\delta}-spot was the fulcrum of most changes. Horizontal proper motions were computed using the DAVE4VM. Persistent flow features included (1) strong shear flows along the polarity inversion line, where the negative, parasitic polarity tried to bypass the majority, positive-polarity part of the {\delta}-spot in the north, (2) a group of positive-polarity spots, which moved around the {\delta}-spot in the south, moving away from the {\delta}-spot with significant horizontal flow speeds, and (3) intense moat flows partially surrounding the penumbra of several sunspots, which became weaker in regions with penumbral decay. The enhanced flare activity has its origin in the head-on collision of newly emerging flux with an already existing regular, {\alpha}-spot.


title: First-principles calculations of Raman vibrational modes in the fingerprint region for connective tissue

abstract: Vibrational spectroscopy has been widely employed to unravel physical-chemical properties of biological systems. Due to its high sensitivity to monitor real time "in situ" changes, Raman spectroscopy has been successfully employed, e.g., in biomedicine, metabolomics, and biomedical engineering. The grounds of interpretation of Raman spectra in these cases is the isolated macromolecules constituent vibrational assignment. Due to this, probe the anharmonic interactions or the mutual interactions among specific moieties/side chains to name but a few is a challenge. We present a complete vibrational modes calculation for connective tissue in the fingerprint region ($800-1800$ cm$^{-1}$) using first-principles Density Functional Theory. Our results indicated that important spectral features correlated to molecular characteristics have been ignored within the usual tissue spectral bands assignments. In particular, we found that the presence of confined water is the main responsible for the observed spectral complexity. Our calculations accounted for the inherent complexity of the spectral features in this region and useful spectral markers for biological processes were unambiguously identified.


title: On the abundance of silting modules

abstract: Silting modules are abundant. Indeed, they parametrise the definable torsion classes over a noetherian ring, and the hereditary torsion pairs of finite type over a commutative ring. Also the universal localisations of a hereditary ring, or of a finite dimensional algebra of finite representation type, can be parametrised by silting modules. In these notes, we give a brief introduction to the fairly recent concepts of silting and cosilting module, and we explain the classification results mentioned above.


title: Numerical construction of multipartite entanglement witnesses

abstract: Entanglement in multipartite systems is a key resource for quantum information and communication protocols, making its verification in complex systems a necessity. Because an exact calculation of arbitrary entanglement probes is impossible, we derive and implement a numerical method to construct multipartite witnesses to uncover entanglement in arbitrary systems. Our technique is based on a substantial generalization of the power iteration, an essential tool for computing eigenvalues, and it is a solver for the separability eigenvalue equations, enabling the general formulation of optimal entanglement witnesses. Beyond our rigorous derivation and direct implementation of this method, we also apply our approach to several examples of complexly quantum-correlated states and benchmark its general performance. Consequently, we provide an generally applicable numerical tool for the identification of multipartite entanglement.


title: decryst: an efficient software suite for structure determination from powder diffraction

abstract: Presented here is decryst, a software suite for structure determination from powder diffraction, which uses the direct space method, and is able to apply anti-bump constraints automatically and efficiently during the procedure of global optimisation using the crystallographic collision detection algorithm in arXiv:1708.03180. decryst employs incremental computation in its global optimisation cycles, which results in dramatic performance enhancement; it is also designed with parallel and distributed computing in mind, allowing for even better performance by simultaneous use of multiple processors. decryst is free and open source software, and can be obtained at https://gitlab.com/CasperVector/decryst/; it strives to be simple yet flexible, in the hope that the underlying techniques could be adopted in more crystallographic applications.


title: On the subtelties of nonrelativistic reduction and applications

abstract: Various subtleties and problems associated with nonrelativistic (NR) reduction of a scalar field theory to the Schroedinger theory are discussed. Contrary to the usual approaches that discuss the mapping among the equations of motion or the actions, we highlight the mapping among the space time generators. Using a null reduction we show the embedding of the conformal generators of the Schroedinger theory to that of a complex scalar theory in one higher dimension. As applications we reveal the conformal symmetry in hydrodynamics and the obtention of NR diffeomorphism symmetry from the relativistic one. A geometrical connection based on Horava-Lifshitz and Newton-Cartan spacetime is discussed.


title: Maximal subgroups of ${}^2E_6(2)$ and its automorphism groups

abstract: We give a new computer-assisted proof of the classification of maximal subgroups of the simple group ${}^2E_6(2)$ and its extensions by any subgroup of the outer automorphism group $S_3$. This is not a new result, but no earlier proof exists in the literature. A large part of the proof consists of a computational analysis of subgroups generated by an element of order 2 and an element of order 3. This method can be effectively automated, and via statistical analysis also provides a sanity check on results that may have been obtained by delicate theoretical arguments.


title: Theory of high-resolution tunneling spin transport on a magnetic skyrmion

abstract: Tunneling spin transport characteristics of a magnetic skyrmion are described theoretically in magnetic scanning tunneling microscopy (STM). The spin-polarized charge current in STM (SP-STM) and tunneling spin transport vector quantities, the longitudinal spin current and the spin transfer torque, are calculated in high spatial resolution within the same theoretical framework. A connection between the conventional charge current SP-STM image contrasts and the magnitudes of the spin transport vectors is demonstrated that enables the estimation of tunneling spin transport properties based on experimentally measured SP-STM images. A considerable tunability of the spin transport vectors by the involved spin polarizations is also highlighted. These possibilities and the combined theory of tunneling charge and vector spin transport pave the way for gaining deep insight into electric-current-induced tunneling spin transport properties in SP-STM and to the related dynamics of complex magnetic textures at surfaces.


title: Persistent Betti numbers of random \v{C}ech complexes

abstract: We study the persistent homology of random \v{C}ech complexes. Generalizing a method of Penrose for studying random geometric graphs, we first describe an appropriate theoretical framework in which we can state and address our main questions. Then we define the kth persistent Betti number of a random \v{C}ech complex and determine its asymptotic order in the subcritical regime. This extends a result of Kahle on the asymptotic order of the ordinary kth Betti number of such complexes to the persistent setting.


title: Asteroseismology of red giant stars

abstract: If appropriately excited, a star will oscillate like a giant spherical instrument. In most stars, including the Sun, surface convection provides the excitation mechanism (Goldreich and Keeley, 1977). With turbulent velocities reaching speeds comparable to the local sound speed near the surface of the star, the vigorous convective motions can excite standing acoustic waves. These are known as pressure or p modes because the restoring force arises from the pressure gradient. The broad frequency spectrum of this excitation mechanism gives rise to many oscillation modes, both radial and non-radial, excited simultaneously. These stochastically excited and intrinsically damped oscillations were first detected in the Sun (Leighton et al., 1962), and hence are commonly known as solar-like oscillations. When stars grow old and the supply of hydrogen fuel is exhausted in the core, their envelopes expand and cool: they become subgiants and eventually red giants. Like the Sun, low-mass red giants have convective outer envelopes but the much longer convective time scales drives oscillation modes at much lower frequencies. The expansion and contraction of different parts of the stellar surface when a star oscillates gives rise to variations in temperature -- and hence also luminosity -- across the stellar surface. In this chapter asteroseismology of low-mas (M<3M_Sun) is described.


title: On the local integrability condition for generalised translation-invariant systems

abstract: This paper considers the local integrability condition for generalised translation-invariant systems and its relation to the Calder\'on integrability condition, the temperateness condition and the uniform counting estimate. It is shown that sufficient and necessary conditions for satisfying the local integrability condition are closely related to lower and upper bounds on the number of lattice points that intersect with the translates of a compact set. The results are complemented by examples that illustrate the crucial interplay between the translation subgroups and the generating functions of the system.


title: DeepWriting: Making Digital Ink Editable via Deep Generative Modeling

abstract: Digital ink promises to combine the flexibility and aesthetics of handwriting and the ability to process, search and edit digital text. Character recognition converts handwritten text into a digital representation, albeit at the cost of losing personalized appearance due to the technical difficulties of separating the interwoven components of content and style. In this paper, we propose a novel generative neural network architecture that is capable of disentangling style from content and thus making digital ink editable. Our model can synthesize arbitrary text, while giving users control over the visual appearance (style). For example, allowing for style transfer without changing the content, editing of digital ink at the word level and other application scenarios such as spell-checking and correction of handwritten text. We furthermore contribute a new dataset of handwritten text with fine-grained annotations at the character level and report results from an initial user evaluation.


title: Hardness of Approximation for Morse Matching

abstract: Discrete Morse theory has emerged as a powerful tool for a wide range of problems, including the computation of (persistent) homology. In this context, discrete Morse theory is used to reduce the problem of computing a topological invariant of an input simplicial complex to computing the same topological invariant of a (significantly smaller) collapsed cell or chain complex. Consequently, devising methods for obtaining gradient vector fields on complexes to reduce the size of the problem instance has become an emerging theme over the last decade. While computing the optimal gradient vector field on a simplicial complex is NP-hard, several heuristics have been observed to compute near-optimal gradient vector fields on a wide variety of datasets. Understanding the theoretical limits of these strategies is therefore a fundamental problem in computational topology. In this paper, we consider the approximability of maximization and minimization variants of the Morse matching problem, posed as open problems by Joswig and Pfetsch. We establish hardness results for Max-Morse matching and Min-Morse matching. In particular, we show that, for a simplicial complex with n simplices and dimension $d \leq 3$, it is NP-hard to approximate Min-Morse matching within a factor of $O(n^{1-\epsilon})$, for any $\epsilon > 0$. Moreover, using an L-reduction from Degree 3 Max-Acyclic Subgraph to Max-Morse matching, we show that it is both NP-hard and UGC-hard to approximate Max-Morse matching for simplicial complexes of dimension $d \leq 2$ within certain explicit constant factors.


title: Stability and Invariant Random Subgroups

abstract: Consider $\operatorname{Sym}(n)$, endowed with the normalized Hamming metric $d_n$. A finitely-generated group $\Gamma$ is \emph{P-stable} if every almost homomorphism $\rho_{n_k}\colon \Gamma\rightarrow\operatorname{Sym}(n_k)$ (i.e., for every $g,h\in\Gamma$, $\lim_{k\rightarrow\infty}d_{n_k}( \rho_{n_k}(gh),\rho_{n_k}(g)\rho_{n_k}(h))=0$) is close to an actual homomorphism $\varphi_{n_k} \colon\Gamma\rightarrow\operatorname{Sym}(n_k)$. Glebsky and Rivera observed that finite groups are P-stable, while Arzhantseva and P\u{a}unescu showed the same for abelian groups and raised many questions, especially about P-stability of amenable groups. We develop P-stability in general, and in particular for amenable groups. Our main tool is the theory of invariant random subgroups (IRS), which enables us to give a characterization of P-stability among amenable groups, and to deduce stability and instability of various families of amenable groups.


title: Stationary solutions to the boundary value problem for relativistic BGK model in a slab

abstract: In this paper, we are concerned with the boundary value problem in a slab for the stationary relativistic BGK model of Marle type, which is a relaxation model of the relativistic Boltzmann equation. In the case of fixed inflow boundary conditions, we establish the existence of unique stationary solutions.


title: Data-Driven Impulse Response Regularization via Deep Learning

abstract: We consider the problem of impulse response estimation of stable linear single-input single-output systems. It is a well-studied problem where flexible non-parametric models recently offered a leap in performance compared to the classical finite-dimensional model structures. Inspired by this development and the success of deep learning we propose a new flexible data-driven model. Our experiments indicate that the new model is capable of exploiting even more of the hidden patterns that are present in the input-output data as compared to the non-parametric models.


title: Numerical investigation of transient, low-power metal vapour discharges occurring in near limit ignitions of flammable gas

abstract: This article presents an investigation of a transient (30 {\mu}s - 5 ms) electrical discharge in metal vapour with low voltage (< 50 V) and current (< 1 A), drawn between two separating electrodes. Discharges of this type are rarely studied, but are important in electrical explosion safety, as they can ignite flammable gasses. An empirical model is developed based on transient recordings of discharge voltages and currents and high speed broadband image data. The model is used for predicting the electrical waveforms and spatial power distribution of the discharge. The predicted electrical waveforms show good accuracy under various scenarios. To further investigate the underlying physics, the model is then incorporated into a simplified 3-D gas dynamics simulation including molecular diffusion, heat transfer and evaporation of metal from the electrode surface. The local thermodynamic equilibrium (LTE) assumption is next used to calculate electrical conductivity from the simulated temperature fields, which in turn is integrated to produce electrical resistance over time. This resistance is then compared to that implied by the voltage and current waveforms predicted by the empirical model. The comparison shows a significant discrepancy, yielding the important insight that the studied discharge very likely deviates strongly from LTE.


title: Role of Coherence in Excitation Transfer Efficiency to the Reaction Center in Photosynthetic Bacteria Chlorobium Tepidum

abstract: We investigate the effect of coherence to the excitation transfer efficiency (ETE) in photosynthetic bacteria Chlorobium Tepidum. We have modeled the monomer of Fenna-Matthews-Olson (FMO) complex as consisting of eight bacteriochlorophyll-a sites, while explicitly consider reaction center core complex (RCC) as an additional site. With the use of realistic bath spectrum and several dominant vibronic modes in the non-Markovian master equation, in an effective 9-site model, we have compared the ETE for an initial pure state and an initial mixed state. We observe that the initial pure state relaxes efficiently to increase the trapping at the RCC. We further illustrate that the coherence play a competitive role to block the back transfer of excitation from RCC pigment to FMO complex and hence to maximize the ETE.


title: Conserved energies for the one dimensional Gross-Pitaevskii equation

abstract: We prove the global-in-time well-posedness of the one dimensional Gross-Pitaevskii equation in the energy space, which is a complete metric space equipped with a newly introduced metric and with the energy norm describing the $H^s$ regularities of the solutions. We establish a family of conserved energies for the one dimensional Gross-Pitaevskii equation, such that the energy norms of the solutions are conserved globally in time. This family of energies is also conserved by the complex modified Korteweg-de Vries flow.


title: The $(2,5)$ minimal model on genus two surfaces

abstract: In the $(2,5)$ minimal model, the partition function for genus $g=2$ Riemann surfaces is given by a $5$-tuple of functions with appropriate transformation under the mapping class group. These functions generalise the two Rogers-Ramanujan functions for the torus. Their expansions around a locus of surfaces with conical singularities in the interior of the $g=2$ Siegel upper half plane are obtained in terms of standard modular forms. The dependence on the metric is controlled by a canonical choice of flat surface metrics. In the alternative case where a handle of the $g=2$ surface is pinched, our method requires knowledge of the two-point function of the fundamental lowest-weight vector in the non-vacuum representation of the Virasoro algebra, for which we derive a $3$\ts{rd} order ODE. In order to make the paper more accessible to mathematicians, the exposition includes a short introduction to conformal field theory on Riemann surfaces, which may be of independent interest.


title: A Benchmark and Evaluation of Non-Rigid Structure from Motion

abstract: Non-Rigid structure from motion (NRSfM), is a long standing and central problem in computer vision and its solution is necessary for obtaining 3D information from multiple images when the scene is dynamic. A main issue regarding the further development of this important computer vision topic, is the lack of high quality data sets. We here address this issue by presenting a data set created for this purpose, which is made publicly available, and considerably larger than the previous state of the art. To validate the applicability of this data set, and provide an investigation into the state of the art of NRSfM, including potential directions forward, we here present a benchmark and a scrupulous evaluation using this data set. This benchmark evaluates 18 different methods with available code that reasonably spans the state of the art in sparse NRSfM. This new public data set and evaluation protocol will provide benchmark tools for further development in this challenging field.


title: Sodium storage via single epoxy group on graphene - The role of surface doping

abstract: Due to its unique physical and chemical properties, graphene is being considered as a promising material for energy conversion and storage applications. Introduction of functional groups and dopants on/in graphene is a useful strategy for tuning its properties. In order to fully exploit its potential, atomic-level understanding of its interaction with species of importance for such applications is required. We present a DFT study of the interaction of sodium atoms with epoxy-graphene and analyze how this interaction is affected upon doping with boron and nitrogen. We demonstrate how the dopants, combined with oxygen-containing groups alter the reactivity of graphene towards Na. Dopants act as attractors of epoxy groups, enhancing the sodium adsorption on doped oxygen-functionalized graphene when compared to the case of non-doped epoxy-graphene. Furthermore, by considering thermodynamics of the Na interaction with doped epoxy-graphene it has been concluded that such materials are good candidates for Na storage applications. Therefore, we suggest that controlled oxidation of doped carbon materials could lead to the development of advanced anode materials for rechargeable Na-ion batteries.


title: Global and Local Consistent Age Generative Adversarial Networks

abstract: Age progression/regression is a challenging task due to the complicated and non-linear transformation in human aging process. Many researches have shown that both global and local facial features are essential for face representation, but previous GAN based methods mainly focused on the global feature in age synthesis. To utilize both global and local facial information, we propose a Global and Local Consistent Age Generative Adversarial Network (GLCA-GAN). In our generator, a global network learns the whole facial structure and simulates the aging trend of the whole face, while three crucial facial patches are progressed or regressed by three local networks aiming at imitating subtle changes of crucial facial subregions. To preserve most of the details in age-attribute-irrelevant areas, our generator learns the residual face. Moreover, we employ an identity preserving loss to better preserve the identity information, as well as age preserving loss to enhance the accuracy of age synthesis. A pixel loss is also adopted to preserve detailed facial information of the input face. Our proposed method is evaluated on three face aging datasets, i.e., CACD dataset, Morph dataset and FG-NET dataset. Experimental results show appealing performance of the proposed method by comparing with the state-of-the-art.


title: Understanding Human Behaviors in Crowds by Imitating the Decision-Making Process

abstract: Crowd behavior understanding is crucial yet challenging across a wide range of applications, since crowd behavior is inherently determined by a sequential decision-making process based on various factors, such as the pedestrians' own destinations, interaction with nearby pedestrians and anticipation of upcoming events. In this paper, we propose a novel framework of Social-Aware Generative Adversarial Imitation Learning (SA-GAIL) to mimic the underlying decision-making process of pedestrians in crowds. Specifically, we infer the latent factors of human decision-making process in an unsupervised manner by extending the Generative Adversarial Imitation Learning framework to anticipate future paths of pedestrians. Different factors of human decision making are disentangled with mutual information maximization, with the process modeled by collision avoidance regularization and Social-Aware LSTMs. Experimental results demonstrate the potential of our framework in disentangling the latent decision-making factors of pedestrians and stronger abilities in predicting future trajectories.


title: Preliminary Planck constant measurements via UME oscillating - magnet Kibble balance

abstract: The UME Kibble balance project was initiated at the second half of 2014. During this period we have studied the theoretical aspects of Kibble balances in which an oscillating magnet generates AC Faraday voltage in a stationary coil and constructed a trial version to implement this idea. The remarkable feature of this approach is that it can establish the link between the Planck constant and a macroscopic mass by one single experiment in the most natural way. Weak dependences on variations of environmental and experimental conditions, small sizes and other useful features offered by this novel approach reduce the complexity of the experimental setup. This paper describes the principles of oscillating magnet Kibble balance and gives details of the preliminary Planck constant measurements. The value of the Planck constant determined with our apparatus is h/h_90=1.000004 with a relative standard uncertainty of 6 ppm.


title: Critique of Feynman Propagator, the $\E \cdot x$ gauge

abstract: Consider M\o{}ller scattering. Electrons with momentum $p$ and $-p$ scatter by exchange of photon say in $z$ direction to $p+q$ and $-(p+q)$. The scattering amplitude is well known, given as Feynman propagator $ \M = \frac{(e \hbar c)^2}{\epsilon_0 V} \frac{\bar{u}(p+q) \gamma^{\mu} u(p) \ \bar{u}(-(p+q)) \gamma_{\mu} u(-p)}{q^2}$, where $V$ is the volume of the scattering electrons, $e$ elementary charge and $\epsilon_0$ permitivity of vacuum. But this is not completely correct. Since we exchange photon momentum in $z$ direction, we have two photon polarization $x,y$ and hence the true scattering amplitude should be $$ \M_1 = \frac{(e \hbar c)^2}{\epsilon_0 V} \frac{ \bar{u}(p+q) \gamma^{x} u(p) \ \bar{u}(-(p+q)) \gamma_{x} u(-p)\ \ + \bar{u}(p+q) \gamma^{y} u(p) \ \bar{u}(-(p+q)) \gamma_{y} u(-p) \ }{q^2}. $$ But when electrons are non-relativistic, $\M_1 \sim 0$. This is disturbing, how will we ever get the coulomb potential, where $\M \sim \frac{(e \hbar c)^2}{\epsilon_0 V q^2}$. Where is the problem ? The problem is with the gauge in Dirac equation. For a plane wave along $z$ direction, with electric field $E_x \sin (kz - \omega t)$, the Lorentz gauge is $$ (A_0, A_x, A_y, A_z) = \frac{E_x}{\omega} \cos(kz-\omega t)(0, 1, 0, 0)$$. But this gauge is not suited for calculating optical transitions, because we don't recover the Rabi frequency $q E_x d$ ($d$ electric dipole moment). What we find is something orders of magnitude smaller. Nor is it suitable for calculating electron electron scattering because we don't recover Coulomb potential. What we find is something orders of magnitude smaller. Instead, we work with $\E \cdot x$ gauge $$ (A_0, A_x, A_y, A_z) = \frac{-E_x}{2} ( x\ \sin(kz-\omega t), -\frac{\cos(kz-\omega t)}{\omega}, 0, \frac{x}{c} \sin(kz-\omega t) ) $$ ($c$ light velocity) to find everything correct. What we get is new propagator.


title: Multiphoton Photoelectron Circular Dichroism of Limonene with Independent Polarization State Control of the Bound-Bound and Bound-Continuum Transitions

abstract: Photoionization of randomly oriented chiral molecules with circularly polarized light leads to a strong forward/backward asymmetry in the photoelectron angular distribution. This chiroptical effect, referred to as Photoelectron Circular Dichroism (PECD), was shown to take place in all ionization regimes, from single photon to tunnel ionization. In the Resonance Enhanced Multiphoton Ionisation (REMPI) regime, where most of the table-top PECD experiments have been performed, understanding the role of the intermediate resonances is currently the subject of experimental and theoretical investigations. In an attempt to decouple the role of bound-bound and bound-continuum transitions in REMPI-PECD, we photoionized the (+)-limonene enantiomer using two-color laser fields in [1+1'] and [2+2'] ionization schemes, where the polarization state of each color can be controlled independently. We demonstrate that the main effect of the bound-bound transition is to break the sample isotropy by orientation-dependent photoexcitation, in agreement with recent theoretical pre- dictions. We show that the angular distribution of PECD strongly depends on the anisotropy of photoexcitation to the intermediate state, which is different for circularly and linearly polarized laser pulses. On the contrary, the helicity of the pulse that drives the bound-bound transition is shown to have a negligible effect on the PECD.


title: Effect of optical crosstalk on performance of ILD AHCAL

abstract: The design of the ILD AHCAL is optimized to make the best use of the PFA and its active layers are composed of about eight million scintillator tiles readout by SiPMs. If there is optical crosstalk between the tiles, the calorimeter performance can be worsened. Simulation studies on the effect of the optical crosstalk on the calorimeter performance were performed to define the requirement for the active layer design.


title: Dark Matter: The Problem of Motion

abstract: Equations of non-geodesic and non-geodesic deviations for different particles are obtained, using a specific type of classes of the Bazanski Lagrangian. Such type of paths has been found to describe the problem of variable mass in the presence of Riemannian geometry. This may give rise to detect the effect of dark matter which reveals the mystery of motion of celestial objects that are not responding neither to Newtonian nor Einsteinian gravity. An important link between non-geodesic equations and the dipolar particle or fluids has been introduced to apply the concept of geometization of physics. This concept has been already extended to represent the hydrodynamic equations in a geometric way. Such an approach, demands to seek for an appropriate theory of gravity able to describe different regions, eligible for detecting dark matter. Using different versions of bi-metric theory of gravity, to examine their associate non-geodesic paths. Due to implementing the geometrization concept, the stability problem of non-geodesic equations are essential to be studied for detecting the behavior of those objects in the presence of dark matter.


title: On the extraction of the boundary conditions and the boundary ports in second-order field theories

abstract: In this paper we consider second-order field theories in a variational setting. From the variational principle the Euler-Lagrange equations follow in an unambiguous way, but it is well known that this is not true for the Cartan form. This has also consequences on the derivation of the boundary conditions when non trivial variations are allowed on the boundary. By posing extra conditions on the set of possible boundary terms we exploit the degree of freedom in the Cartan form to extract physical meaningful boundary expressions. The same mathematical machinery will be applied to derive the boundary ports in a Hamiltonian representation of the partial differential equations which is crucial for energy based control approaches. Our results will be visualized for mechanical systems such as beam and plate models.


title: Results on TOP physics from CMS

abstract: After the discovery of the top quark more than 20 years ago, top quark production cross sections have been meticulously studied. The rich variety of results from the LHC experiments are complemented with increasingly accurate theoretical predictions of heavy quark production and decay. Measurements of the top quark production provide a benchmark test of perturbative quantum chromodynamics and the standard model (SM), constraining at the same time the background in Higgs boson searches as well as extensions beyond the SM. Recent top quark measurements from CMS are reviewed, illustrating past and current experimental methods along with their attained precision. A perspective of top quark physics at the High-Luminosity LHC and at future colliders is briefly given.


title: Optical frequency comb Faraday rotation spectroscopy

abstract: We demonstrate optical frequency comb Faraday rotation spectroscopy (OFC-FRS) for broadband interference-free detection of paramagnetic species. The system is based on a femtosecond doubly resonant optical parametric oscillator and a fast-scanning Fourier transform spectrometer (FTS). The sample is placed in a DC magnetic field parallel to the light propagation. Efficient background suppression is implemented via switching the direction of the field on consecutive FTS scans and subtracting the consecutive spectra, which enables long term averaging. In this first demonstration, we measure the entire Q- and R-branches of the fundamental band of nitric oxide in the 5.2-5.4 {\mu}m range and achieve good agreement with a theoretical model.


title: Generation of semigroup for symmetric matrix Schr\"odinger operators in $L^p$-spaces

abstract: In this paper we establish generation of analytic strongly continuous semigroup in $L^p$--spaces for the symmetric matrix Schr\"odinger operator $div(Q\nabla u)-Vu$, where, for every $x\in\mathbb{R}^d$, $V(x)=(v_{ij}(x))$ is a semi-definite positive and symmetric matrix. The diffusion matrix $Q(\cdot)$ is supposed to be strongly elliptic and bounded and the potential $V$ satisfies the weak condition $v_{ij}\in L^1_{loc}(\mathbb{R}^d)$, for all $i,j\in\{1,\dots,m\}$. We also characterize positivity of the semigroup and we investigate on its compactness.


title: The SysCalc code: A tool to derive theoretical systematic uncertainties

abstract: Undisputedly, derivation of theoretical systematic uncertainties is an inseparable ingredient of any robust analysis dealing with experimental data. However, it is not uncommon, even for those analyses that use state of the art methods and tools to suffer from insufficient statistics when it comes to the simulated datasets used to estimate systematic uncertainties. This practically limits the power, and sometimes the robustness of the analysis. In this paper, we present SysCalc, a code which is able to derive weights for various important theoretical systematic uncertainties, including those related to the choice of the Parton Distribution Function sets and the various scale choices. SysCalc utilizes the central sample generated events to estimate the related systematic uncertainties, thus, omitting the need for generating dedicated systematics datasets, and with only a minimal added cost in terms of computing resources. In this paper we discuss the working principles of the code accompanied by various validation plots. We also discuss the structure of the code followed by a practical guide for how to use the tool.


title: Dynamical System Analysis of a Five-Dimensional Cosmological Model

abstract: A five-dimensional cosmological model including a single perfect fluid is studied in the framework of dynamical system analysis. All the critical points of the system with their stability properties are listed and some representative phase diagrams are explicitly shown. It is found that the stabilization of the extra dimension is possible and the observed flatness of the three-dimensional space is provided for certain ranges of the equation of state parameter of the fluid during the evolution of the universe. The model suggested here can be considered as a simplified model for examining the possible effects of the extra dimensions in the early universe.


title: Al/Ti/Al phonon-mediated KIDs for UV-VIS light detection over large areas

abstract: The development of wide-area cryogenic light detectors with baseline energy resolution lower than 20 eV RMS is essential for next generation bolometric experiments searching for rare interactions. Indeed the simultaneous readout of the light and heat signals will enable background suppression through particle identification. Because of their excellent intrinsic energy resolution, as well as their well-established reproducibility, Kinetic Inductance Detectors (KIDs) are good candidates for the development of next generation light detectors. The CALDER project is investigating the potential of phonon-mediated KIDs. The first phase of the project allowed to reach a baseline resolution of 80 eV using a single KID made of aluminium on a 2x2 cm\tmrsup{$2$} silicon substrate acting as photon absorber. In this paper we present a new prototype detector implementing a trilayer aluminium-titanium-aluminium KID. Taking advantage of the superconducting proximity effect the baseline resolution improves down to 26 eV.


title: Observation of ultrafast solid-density plasma dynamics using femtosecond X-ray pulses from a free-electron laser

abstract: The complex physics of the interaction between short pulse high intensity lasers and solids is so far hardly accessible by experiments. As a result of missing experimental capabilities to probe the complex electron dynamics and competing instabilities, this impedes the development of compact laser-based next generation secondary radiation sources, e.g. for tumor therapy [Bulanov2002,ledingham2007], laboratory-astrophysics [Remington1999,Bulanov2015], and fusion [Tabak2014]. At present, the fundamental plasma dynamics that occur at the nanometer and femtosecond scales during the laser-solid interaction can only be elucidated by simulations. Here we show experimentally that small angle X-ray scattering of femtosecond X-ray free-electron laser pulses facilitates new capabilities for direct in-situ characterization of intense short-pulse laser plasma interaction at solid density that allows simultaneous nanometer spatial and femtosecond temporal resolution, directly verifying numerical simulations of the electron density dynamics during the short pulse high intensity laser irradiation of a solid density target. For laser-driven grating targets, we measure the solid density plasma expansion and observe the generation of a transient grating structure in front of the pre-inscribed grating, due to plasma expansion, which is an hitherto unknown effect. We expect that our results will pave the way for novel time-resolved studies, guiding the development of future laser-driven particle and photon sources from solid targets.


title: A smaller cover for closed unit curves

abstract: Forty years ago Schaer and Wetzel showed that a $\frac{1}{\pi}\times\frac {1}{2\pi}\sqrt{\pi^{2}-4}$ rectangle, whose area is about $0.122\,74,$ is the smallest rectangle that is a cover for the family of all closed unit arcs. More recently F\"{u}redi and Wetzel showed that one corner of this rectangle can be clipped to form a pentagonal cover having area $0.11224$ for this family of curves. Here we show that then the opposite corner can be clipped to form a hexagonal cover of area less than $0.11023$ for this same family. This irregular hexagon is the smallest cover currently known for this family of arcs.


title: C2MSNet: A Novel approach for single image haze removal

abstract: Degradation of image quality due to the presence of haze is a very common phenomenon. Existing DehazeNet [3], MSCNN [11] tackled the drawbacks of hand crafted haze relevant features. However, these methods have the problem of color distortion in gloomy (poor illumination) environment. In this paper, a cardinal (red, green and blue) color fusion network for single image haze removal is proposed. In first stage, network fusses color information present in hazy images and generates multi-channel depth maps. The second stage estimates the scene transmission map from generated dark channels using multi channel multi scale convolutional neural network (McMs-CNN) to recover the original scene. To train the proposed network, we have used two standard datasets namely: ImageNet [5] and D-HAZY [1]. Performance evaluation of the proposed approach has been carried out using structural similarity index (SSIM), mean square error (MSE) and peak signal to noise ratio (PSNR). Performance analysis shows that the proposed approach outperforms the existing state-of-the-art methods for single image dehazing.


title: Algebraic Geometric codes on minimal Hirzebruch surfaces

abstract: We define a linear code $C_\eta(\delta_T,\delta_X)$ by evaluating polynomials of bidegree $(\delta_T,\delta_X)$ in the Cox ring on $\mathbb{F}_q$-rational points of the Hirzebruch surface of parameter $\eta$ on the finite field $\mathbb{F}_q$. We give explicit parameters of the code, notably using Gr\"obner bases. The minimum distance provides an upper bound of the number of $\mathbb{F}_q$-rational points of a non-filling curve on a Hirzebruch surface.


title: Cyber-Induced Risk Modeling for Microprocessor-Based Relays in Substations

abstract: Once critical substations are compromised, attack agents can coordinate among their peers to plot for maximizing disruption using local control devices. For defenders, it is critical to enumerate and identify all digital relays to determine the systemic risks. Any combination of disruptive switching via the compromised relays can result in misoperation or immediate effect to the system. The resulting consequence of these attack's initial events would possibly incur cascading failure to a grid. This paper quantifies the criticality of substation protective relays with the combination of the outage level and its corresponding severity risk index. The proposed hypothesized outages are based on the type of protective relaying, bus configuration of a substation, and commonly implemented relaying schemes, such as bus differential, directional overcurrent, and distance relays, are studied. This preliminary work also provides three approaches of determination in probabilities for sensitivity analysis. The proposed risk indices are evaluated using IEEE test systems.


title: Computation of the State Bias and Initial States for Stochastic State Space Systems in the General 2-D Roesser Model Form

abstract: Recently \cite{Ramos2017a} presented a subspace system identification algorithm for 2-D purely stochastic state space models in the general Roesser form. However, since the exact problem requires an oblique projection of $Y_f^h$ projected onto $W_p^h$ along $\widehat{X}_f^{vh}$, where $W_p^h= \begin{bmatrix}\widehat{X}_p^{vh} \\ Y_p^h \end{bmatrix}$, this presents a problem since $\{\widehat{X}_p^{vh},\widehat{X}_f^{vh}\}$ are unknown. In the above mentioned paper, the authors found that by doing an orthogonal projection $Y_f^h/Y_p^h$, one can identify the future horizontal state matrix $\widehat{X}_f^{h}$ with a small bias due to the initial conditions that depend on $\{\widehat{X}_p^{vh},\widehat{X}_f^{vh}\}$. Nevertheless, the results on modeling 2-D images were very good despite lack of knowledge of $\{\widehat{X}_p^{vh},\widehat{X}_f^{vh}\}$. In this note we delve into the bias term and prove that it is insignificant, provided $i$ is chosen large enough and the vertical and horizontal states are uncorrelated. That is, the cross covariance of the state estimates $x_{r,s}^{h}$ and $x_{r,s}^{v}$ is zero, or $P_{hv}=0_{n_x\times n_x}$ and $P_{vh}=0_{n_x\times n_x}$. Our simulations use $i=30$. We also present a second iteration to improve the state estimates by including the vertical states computed from a vertical data processing step, i.e., by doing an orthogonal projection $Y_f^v/Y_p^v$. In this revised algorithm we include a step to compute the initial states. This new portion, in addition to the algorithm presented in \cite{Ramos2017a}, forms a complete 2-D stochastic subspace system identification algorithm.


title: Relaxed Conditions for Secrecy in a Role-Based Specification

abstract: In this paper, we look at the property of secrecy through the growth of the protocol. Intuitively, an increasing protocol preserves the secret. For that, we need functions to estimate the security of messages. Here, we give relaxed conditions on the functions and on the protocol and we prove that an increasing protocol is correct when analyzed with functions that meet these conditions.


title: Global existence of solutions to 2-D Navier-Stokes flow with non-decaying initial data in half-plane

abstract: We investigate the Navier-Stokes initial boundary value problem in the half-plane $R^2_+$ with initial data $u_0 \in L^\infty(R^2_+)\cap J_0^2(R^2_+)$ or with non decaying initial data $u_0\in L^\infty(R^2_+) \cap J_0^p(R^2_+), p > 2$ . We introduce a technique that allows to solve the two-dimesional problem, further, but not least, it can be also employed to obtain weak solutions, as regards the non decaying initial data, to the three-dimensional Navier-Stokes IBVP. This last result is the first of its kind.


title: Onset of fast "ideal" tearing in thin current sheets: dependence on the equilibrium current profile

abstract: In this paper we study the scaling relations for the triggering of the fast, or "ideal", tearing instability starting from equilibrium configurations relevant to astrophysical as well as laboratory plasmas that differ from the simple Harris current sheet configuration. We present the linear tearing instability analysis for equilibrium magnetic fields which a) go to zero at the boundary of the domain and b) contain a double current sheet system (the latter previously studied as a cartesian proxy for the m=1 kink mode in cylindrical plasmas). More generally, we discuss the critical aspect ratio scalings at which the growth rates become independent of the Lundquist number $S$, in terms of the dependence of the $\Delta'$ parameter on the wavenumber $k$ of unstable modes. The scaling $\Delta'(k)$ with $k$ at small $k$ is found to categorize different equilibria broadly: the critical aspect ratios may be even smaller than $L/a \sim S^{\alpha}$ with $\alpha=1/3$ originally found for the Harris current sheet, but there exists a general lower bound $\alpha\ge1/4$.


title: Mean-field risk sensitive control and zero-sum games for Markov chains

abstract: We establish existence of controlled Markov chain of mean-field type with unbounded jump intensities by means of a fixed point argument using the Wasserstein distance. Using a Markov chain entropic backward SDE approach, we further suggest conditions for existence of an optimal control and a saddle-point for respectively a control problem and a zero-sum differential game associated with risk sensitive payoff functionals of mean-field type.


title: First-order differential equations for a particle with spin $S = 1$

abstract: A system of first-order differential equations for a particle with nonzero mass and spin $S = 1$ is constructed. As distinct from the Proca-Duffin-Kemmer (PDK) equations, the system has the form of the dynamical equation $i\hbar\partial_t\hat{\Psi}=\hat{\mathrm{H}}\hat{\Psi}$ (with constraints) with a Hamiltonian linear in momentum. The six-component wave function yields the positive-definite probability density $\hat{\Psi}^{\dagger}\hat{\Psi}\geq 0$. The system of equations has much in common with the Dirac and Maxwell equations.


title: Convective evaporation of vertical films

abstract: Motivated by the evaporation of soap films, which has a significant effect on their lifetime, we performed an experimental study on the evaporation of vertical surfaces with model systems based on hydrogels. From the analogy between heat and mass transfer, we adopt a model describing the natural convection in the gas phase due to a density contrast between dry and saturated air. Our measurements show a good agreement with this model, both in terms of scaling law with the Grashof number and in terms of order of magnitude. We discuss the corrections to take into account, notably the contribution of edge effects, which have a small but visible contribution when lateral and bottom surface areas are not negligible compared to the main evaporating surface area.


title: Differential symbolic entropy in nonlinear dynamics complexity analysis

abstract: Differential symbolic entropy, a measure for nonlinear dynamics complexity, is proposed in our contribution. With flexible controlling parameter, the chaotic deterministic measure takes advantage of local nonlinear dynamical information among three adjacent elements to extract nonlinear complexity. In nonlinear complexity detections of chaotic logistic series, DSEn (differential symbolic entropy) has satisfied complexity extractions with the changes of chaotic features of logistic map. In nonlinear analysis of real-world physiological heart signals, three kinds of heart rates are significantly distinguished by DSEn in statistics, healthy young subjects > healthy elderly people > CHF (congestive heart failure) patients, highlighting the complex-losing theory of aging and heart diseases in cardiac nonlinearity. Moreover, DSEn does not have high demand on data length and can extract nonlinear complexity at short data sets; therefore, it is an efficient parameter to characterize nonlinear dynamic complexity.


title: Electromagnetic form factors of $\Lambda_c$ in the Bethe-Salpeter equation approach

abstract: We study the electromagnetic form factors (EMFFs) of $\Lambda_c$ and the quark and diquark current contributes to the EMFFs of $\Lambda_c$ in the space-like (SL) region in the Bethe-Salpeter equation approach. In this picture, the heavy baryon $\Lambda_c $ is regarded as composed of a heavy quark and a scalar diquark. We find that for different values of parameters the quark and diquark current contribute to the EMFFs of $\Lambda_c$ is very different, but the total contribute to the EMFFs of $\Lambda_c$ is similarly. The EMFFs of $\Lambda_c$ are similar to those of other baryons (proton, $\Xi^-$, $\Sigma^+$) with a peak at $\omega =1$ ($\omega=v^\prime \cdot v $ is the velocity transfer between the initial state (with velocity $v$) and the final state (with velocity $v^\prime$) of $\Lambda_c$).