title: Eigendecompositions of Transfer Operators in Reproducing Kernel Hilbert Spaces

abstract: Transfer operators such as the Perron--Frobenius or Koopman operator play an important role in the global analysis of complex dynamical systems. The eigenfunctions of these operators can be used to detect metastable sets, to project the dynamics onto the dominant slow processes, or to separate superimposed signals. We extend transfer operator theory to reproducing kernel Hilbert spaces and show that these operators are related to Hilbert space representations of conditional distributions, known as conditional mean embeddings in the machine learning community. Moreover, numerical methods to compute empirical estimates of these embeddings are akin to data-driven methods for the approximation of transfer operators such as extended dynamic mode decomposition and its variants. One main benefit of the presented kernel-based approaches is that these methods can be applied to any domain where a similarity measure given by a kernel is available. We illustrate the results with the aid of guiding examples and highlight potential applications in molecular dynamics as well as video and text data analysis.


title: Queues on a dynamically evolving graph

abstract: This paper considers a population process on a dynamically evolving graph, which can be alternatively interpreted as a queueing network. The queues are of infinite-server type, entailing that at each node all customers present are served in parallel. The links that connect the queues have the special feature that they are unreliable, in the sense that their status alternates between 'up' and 'down'. If a link between two nodes is down, with a fixed probability each of the clients attempting to use that link is lost; otherwise the client remains at the origin node and reattempts using the link (and jumps to the destination node when it finds the link restored). For these networks we present the following results: (a) a system of coupled partial differential equations that describes the joint probability generating function corresponding to the queues' time-dependent behavior (and a system of ordinary differential equations for its stationary counterpart), (b) an algorithm to evaluate the (time-dependent and stationary) moments, and procedures to compute user-perceived performance measures which facilitate the quantification of the impact of the links' outages, (c) a diffusion limit for the joint queue length process.We include explicit results for a series relevant special cases, such as tandem networks and symmetric fully connected networks.


title: Strong coupling constants of negative parity heavy baryons with $\pi$ and $K$ mesons

abstract: The strong coupling constants of negative parity heavy baryons belonging to a sextet and antitriplet representations of $SU_f(3)$ with light $\pi$ and $K$ mesons are estimated within the light cone QCD sum rules. It is observed that each class of the sextet-sextet, sextet-antitriplet, and antitriplet-antitriplet transitions can be described by only one corresponding function. The pollutions arising from the positive to positive, positive to negative, and negative to positive parity baryons transitions are eliminated by constructing sum rules for different Lorentz structures. The obtained coupling constants are compared with the ones for the positive parity heavy baryons.


title: Ziegler Spectra of Self Injective Algebras of Polynomial Growth

abstract: A description of the Ziegler spectrum is given for trivial extensions of tubular algebras and related self-injective algebras of tubular type.


title: Current fluctuations across a nanopore

abstract: The frequency-dependent spectrum of current fluctuations through nano-scale channels is studied using analytical and computational techniques. Using a stochastic Nernst-Planck description and neglecting the interactions between the ions inside the channel, an expression is derived for the current fluctuations, assuming that the geometry of the channel can be incorporated through the lower limits for various wave-vector modes. Since the resulting expression turns out to be quite complex, a number of further approximations are discussed such that relatively simple expressions can be used for practical purposes. The analytical results are validated using Langevin dynamics simulations.


title: Transformer coupling and its modelling for the flux-ramp modulation of rf-SQUIDs

abstract: Microwave frequency domain multiplexing is a suitable technique to read out a large number of detector channels using only a few connecting lines. In the HOLMES experiment this is based on inductively coupled rf-SQUIDs (Superconducting QUantum Interference Devices) fed by TES (Transition Edge Sensors). Biasing of the whole rf-SQUID chain is provided with a single transmission line by means of the recently introduced flux-ramp modulation technique, a sawtooth signal which allows signal reconstruction while operating the rf-SQUIDs in open loop condition. Due to the crucial role of the sawtooth signal, it is very important that it does not suffer from ground loop disturbances and EMI. Introducing a transformer between the biasing source and the SQUIDs is very effective in suppressing disturbances. The sawtooth signal has slow and fast components, and the period can vary between a few kHz up to MHz depending on the TES signal and SQUID characteristics. A transformer able to face such a broad range of conditions must have very stringent characteristics and needs to be custom designed. Our solution exploits standard commercial, and inexpensive, transformers for LAN networks used in a suitable combination. A model that allows to take care of the low as well as of the high frequency operating range has been developed.


title: Inducing and Manipulating Magnetization in Two-Dimensional ZnO by Strain and External Gating

abstract: Two-dimensional structures that exhibit intriguing magnetic phenomena such as perpendicular magnetic anisotropy and switchable magnetization are of great interests in spintronics research. Herein, the density-functional theory studies reveal the critical impacts of strain and external gating on vacancy-induced magnetism and its spin direction in a graphene-like single layer of zinc oxide (ZnO). In contrast to the pristine and defective ZnO with an O-vacancy, the presence of a Zn-vacancy induces significant magnetic moments to its first neighboring O and Zn atoms due to the charge deficit. We further predict that the direction of magnetization easy axis reverses from an in-plane to perpendicular orientation under a practically achieved biaxial compressive strain of $\sim$1--2\% or applying an electric-field by means of the charge density modulation. This magnetization reversal is driven by the strain- and electric-field-induced changes in the spin-orbit coupled \emph{d} states of the first-neighbor Zn atom to the Zn-vacancy. These findings open interesting prospects for exploiting strain and electric-field engineering to manipulate magnetism and magnetization orientation of two-dimensional materials.


title: The Chiral Separation Effect in quenched finite-density QCD

abstract: We present results of a study of the Chiral Separation Effect (CSE) in quenched finite-density QCD. Using a recently developed numerical method we calculate the conserved axial current for exactly chiral overlap fermions at finite density for the first time. We compute the anomalous transport coefficient for the CSE in the confining and de-confining phase and investigate possible deviations from the universal value. In both phases we find that non-perturbative corrections to the CSE are absent and we reproduce the universal value for the transport coefficient within small statistical errors. Our results suggest that the CSE can be used to determine the renormalisation factor of the axial current.


title: The Lifting Bifurcation Problem on Feed-Forward Networks

abstract: We consider feed-forward networks, that is, networks where cells can be divided into layers, such that every edge targeting a layer, excluding the first one, starts in the prior layer. A feed-forward system is a dynamical system that respects the structure of a feed-forward network. The synchrony subspaces for a network, are the subspaces defined by equalities of some cells coordinates, that are flow-invariant by all the network systems. The restriction of each network system to each synchrony subspace is a system associated with a smaller network, which may be, or not, a feed-forward network. The original network is then said to be a lift of the smaller network. We show that a feed-forward lift of a feed-forward network is given by the composition of two types of lifts: lifts that create new layers and lifts inside a layer. Furthermore, we address the lifting bifurcation problem on feed-forward systems. More precisely, the comparison of the possible codimension-one local steady-state bifurcations of a feed-forward system and those of the corresponding lifts is considered. We show that for most of the feed-forward lifts, the increase of the center subspace is a sufficient condition for the existence of additional bifurcating branches of solutions, which are not lifted from the restricted system. However, when the bifurcation condition is associated with the internal dynamics and the lifts occurs inside an intermediate layer, we prove that the existence of bifurcating branches of solutions that are not lifted from the restricted system does depend generically on the particular feed-forward system.


title: Correlating the nanostructure of Al-oxide with deposition conditions and dielectric contributions of two-level systems in perspective of superconducting quantum circuits

abstract: This work is concerned with Al/Al-oxide(AlO$_{x}$)/Al-layer systems which are important for Josephson-junction-based superconducting devices such as quantum bits. The device performance is limited by noise, which has been to a large degree assigned to the presence and properties of two-level tunneling systems in the amorphous AlO$_{x}$ tunnel barrier. The study is focused on the correlation of the fabrication conditions, nanostructural and nanochemical properties and the occurrence of two-level tunneling systems with particular emphasis on the AlO$_{x}$-layer. Electron-beam evaporation with two different processes and sputter deposition were used for structure fabrication, and the effect of illumination by ultraviolet light during Al-oxide formation is elucidated. Characterization was performed by analytical transmission electron microscopy and low-temperature dielectric measurements. We show that the fabrication conditions have a strong impact on the nanostructural and nanochemical properties of the layer systems and the properties of two-level tunneling systems. Based on the understanding of the observed structural characteristics, routes are derived towards the fabrication of Al/AlO$_{x}$/Al-layers systems with improved properties.


title: Approximate robust output regulation of boundary control systems

abstract: We extend the internal model principle for systems with boundary control and boundary observation, and construct a robust controller for this class of systems. However, as a consequence of the internal model principle, any robust controller for a plant with infinite-dimensional output space necessarily has infinite-dimensional state space. We proceed to formulate the approximate robust output regulation problem and present a finite-dimensional controller structure to solve it. Our main motivating example is a wave equation on a bounded multidimensional spatial domain with force control and velocity observation at the boundary. In order to illustrate the theoretical results, we construct an approximate robust controller for the wave equation on an annular domain and demonstrate its performance with numerical simulations.


title: Relative automorphism groups of right-angled Artin groups

abstract: We study the outer automorphism group of a right-angled Artin group $A_\Gamma$ with finite defining graph $\Gamma$. We construct a subnormal series for $Out(A_\Gamma)$ such that each consecutive quotient is either finite, free-abelian, $GL(n,\mathbb{Z})$, or a Fouxe-Rabinovitch group. The last two types act respectively on a symmetric space or a deformation space of trees, so that there is a geometric way of studying each piece. As a consequence we prove that the group $Out(A_\Gamma)$ is type VF (it has a finite index subgroup with a finite classifying space). The main technical work is a study of relative outer automorphism groups of RAAGs and their restriction homomorphisms, refining work of Charney, Crisp, and Vogtmann. We show that the images and kernels of restriction homomorphisms are always simpler examples of relative outer automorphism groups of RAAGs. We also give generators for relative automorphism groups of RAAGs, in the style of Laurence's theorem.


title: Peculiarities of the electronic transport in half-metallic Co-based Heusler alloys

abstract: Electrical, magnetic and galvanomagnetic properties of half-metallic Heusler alloys of Co$_2$YZ (Y = Ti, V, Cr, Mn, Fe, Ni, and Z = Al, Si, Ga, Ge, In, Sn, Sb) were studied in the temperature range 4.2--900 K and in magnetic fields of up to 100 kOe. It was found that varying Y in affects strongly the electric resistivity and its temperature dependence $\rho(T)$, while this effect is not observed upon changing Z. When Y is varied, extrema (maximum or minimum) are observed in $\rho(T)$ near the Curie temperature $T_C$. At $T < T_C$, the $\rho(T)$ behavior can be ascribed to a change in electronic energy spectrum near the Fermi level. The coefficients of the normal and anomalous Hall effect were determined. It was shown that the latter coefficient, $R_S$, is related to the residual resistivity $\rho_0$ by a power law $R_S \sim \rho_0^k/M_S$ with $M_S$ the spontaneous magnetization. The exponent $k$ was found to be 1.8 for Co$_2$FeZ alloys, which is typical for asymmetric scattering mechanisms, and 2.9 for Co$_2$YAl alloys, which indicates an additional contribution to the anomalous Hall effect. The temperature dependence of resistivity at low temperatures is analyzed and discussed in the framework of the two-magnon scattering theory.


title: Studies of CoFeB crystalline structure grown on PbSnTe topological insulator substrate

abstract: Co40Fe40B20 layers were grown on the Pb0.71Sn0.29Te topological insulator substrates by laser molecular beam epitaxy (LMBE) method, and the growth conditions were studied. The possibility of growing epitaxial layers of a ferromagnet on the surface of a topological insulator was demonstrated for the first time. The Co40Fe40B20 layers obtained have a bcc crystal structure with a crystalline (111) plane parallel to the (111) PbSnTe plane. The use of three-dimensional mapping in the reciprocal space of reflection high electron diffraction (RHEED) patterns made it possible to determine the epitaxial relationship of main crystallographic axes between the film and the substrate of topological insulator. Quenching of some reflections in diffraction pattern allows confirmation of the substrate stoichiometry.


title: Deep Semantic Role Labeling with Self-Attention

abstract: Semantic Role Labeling (SRL) is believed to be a crucial step towards natural language understanding and has been widely studied. Recent years, end-to-end SRL with recurrent neural networks (RNN) has gained increasing attention. However, it remains a major challenge for RNNs to handle structural information and long range dependencies. In this paper, we present a simple and effective architecture for SRL which aims to address these problems. Our model is based on self-attention which can directly capture the relationships between two tokens regardless of their distance. Our single model achieves F$_1=83.4$ on the CoNLL-2005 shared task dataset and F$_1=82.7$ on the CoNLL-2012 shared task dataset, which outperforms the previous state-of-the-art results by $1.8$ and $1.0$ F$_1$ score respectively. Besides, our model is computationally efficient, and the parsing speed is 50K tokens per second on a single Titan X GPU.


title: $G$-birational rigidity of the projective plane

abstract: Given a surface $S$ and a finite group $G$ of automorphisms of $S$, consider the birational maps $S\dashrightarrow S'$ that commute with the action of $G$. This leads to the notion of a $G$-minimal variety. A natural question arises: for a fixed group $G$, is there a birational $G$-map between two different $G$-minimal surfaces? If no such map exists, the surface is said to be $G$-birationally rigid. This paper determines the $G$-rigidity of the projective plane for every finite subgroup $G\subset\mbox{PGL}_3\left(\mathbb{C}\right)$.


title: Harnessing Electrical Power from Vortex-Induced Vibration of a Circular Cylinder

abstract: The generation of electrical power from Vortex-Induced Vibration (VIV) of a cylinder is investigated numerically. The cylinder is free to oscillate in the direction transverse to the incoming flow. The cylinder is attached to a magnet that can move along the axis of a coil made from conducting wire. The magnet and the coil together constitute a basic electrical generator. When the cylinder undergoes VIV, the motion of the magnet creates a voltage across the coil, which is connected to a resistive load. By Lenz's law, induced current in the coil applies a retarding force to the magnet. Effectively, the electrical generator applies a damping force on the cylinder with a spatially varying damping coefficient. For the initial investigation reported here, the Reynolds number is restricted to Re < 200, so that the flow is laminar and two-dimensional (2D). The incompressible 2D Navier-Stokes equations are solved using an extensively validated spectral-element based solver. The effects of the electromagnetic (EM) damping constant xi_m, coil dimensions (radius a, length L), and mass ratio on the electrical power extracted are quantified. It is found that there is an optimal value of xi_m (xi_opt) at which maximum electrical power is generated. As the radius or length of the coil is increased, the value of xi_opt is observed to increase. Although the maximum average power remains the same, a larger coil radius or length results in a more robust system in the sense that a relatively large amount of power can be extracted when xi_m is far from xi_opt, unlike the constant damping ratio case. The average power output is also a function of Reynolds number, primarily through the increased maximum oscillation amplitude that occurs with increased Reynolds number at least within the laminar range, although the general qualitative findings seem likely to carry across to high Reynolds number VIV.


title: Micro solid oxide fuel cells: a new generation of micro-power sources for portable applications

abstract: Portable electronic devices are already an indispensable part of our daily life; and their increasing number and demand for higher performance is becoming a challenge for the research community. In particular, a major concern is the way to efficiently power these energy-demanding devices, assuring long grid independency with high efficiency, sustainability and cheap production. In this context, technologies beyond Li-ion are receiving increasing attention, among which the development of micro solid oxide fuel cells ({\mu}SOFC) stands out. In particular, {\mu}SOFC provides a high energy density, high efficiency and opens the possibility to the use of different fuels, such as hydrocarbons. Yet, its high operating temperature has typically hindered its application as miniaturized portable device. Recent advances have however set a completely new range of lower operating temperatures, i.e. 350-450C, as compared to the typical >900C needed for classical bulk SOFC systems. In this work, a comprehensive review of the status of the technology is presented. The main achievements, as well as the most important challenges still pending are discussed, regarding (i.) the cell design and microfabrication, and (ii.) the integration of functional electrolyte and electrode materials. To conclude, the different strategies foreseen for a wide deployment of the technology as new portable power source are underlined.


title: Synchrony Branching Lemma for Regular Networks

abstract: Coupled cell systems are dynamical systems associated to a network and synchrony subspaces, given by balanced colorings of the network, are invariant subspaces for every coupled cell systems associated to that network. Golubitsky and Lauterbach (SIAM J. Applied Dynamical Systems, 8 (1) 2009, 40-75) prove an analogue of the Equivariant Branching Lemma in the context of regular networks. We generalize this result proving the generic existence of steady-state bifurcation branches for regular networks with maximal synchrony. We also give necessary and sufficient conditions for the existence of steady-state bifurcation branches with some submaximal synchrony. Those conditions only depend on the network structure, but the lattice structure of the balanced colorings is not sufficient to decide which synchrony subspaces support a steady-state bifurcation branch.


title: Kinetic equations and anisotropic hydrodynamics for quark and gluon fluids

abstract: The mixture of quark and gluon fluids is studied in a one-dimensional boost-invariant setup using the set of relativistic kinetic equations treated in the relaxation time approximation. Effects of a finite quark mass, non-zero baryon number density, and quantum statistics are discussed. Comparisons between the exact kinetic-theory results and anisotropic hydrodynamics predictions are performed and a very good agreement between the two are found.


title: Resolvent expansion for the Schr\"odinger operator on a graph with infinite rays

abstract: We consider the Schr\"odinger operator on a combinatorial graph consisting of a finite graph and a finite number of discrete half-lines, all jointed together, and compute an asymptotic expansion of its resolvent around the threshold $0$. Precise expressions are obtained for the first few coefficients of the expansion in terms of the generalized eigenfunctions. This result justifies the classification of threshold types solely by growth properties of the generalized eigenfunctions. By choosing an appropriate free operator a priori possessing no zero eigenvalue or zero resonance we can simplify the expansion procedure as much as that on the single discrete half-line.


title: $R_{K^{(*)}}$ and $R(D^{(*)})$ anomalies resolved with lepton mixing

abstract: In a recent paper arXiv:1706.08437, we have advanced a minimal resolution of some of the persistent anomalies in semileptonic $B$-decays. These include the neutral-current observables $R_K$ and $R_{K^*}$, as well as the charged-current observables $R(D)$ and $R(D^*)$. Recently, it has been observed that the semileptonic decays of the $B_c$ meson also hint at a similar type of anomaly. In this longer version, we discuss in detail why, if the anomalies are indeed there, it is a challenging task to explain the data consistently in terms of a simple and compelling new physics scenario. We find that the minimal scheme to achieve a reasonable fit involves the inclusion of just two (or, at worst, three with a possible symmetry relationship between their Wilson coefficients) new current-current operators, constructed in terms of the flavour eigenstates, augmented by a change of basis for the charged lepton fields. With only three unknown parameters, this class of models not only explain all the anomalies (including that in $B_c \to J/\psi \, \ell \nu$) to a satisfactory level but also predict some interesting signatures, like $B\to K\mu\tau$, $B_s\to \tau\tau$, or $B\to K$ plus missing energy, that can be observed at LHCb or Belle-II.


title: Spin raising and lowering operators for Rarita-Schwinger fields

abstract: Spin raising and lowering operators for massless field equations constructed from twistor spinors are considered. Solutions of the spin-$\frac{3}{2}$ massless Rarita-Schwinger equation from source-free Maxwell fields and twistor spinors are constructed. It is shown that this construction requires Ricci-flat backgrounds due to the gauge invariance of the massless Rarita-Schwinger equation. Constraints to construct spin raising and lowering operators for Rarita-Schwinger fields are found. Symmetry operators for Rarita-Schwinger fields via twistor spinors are obtained.


title: Global existence results and duality for non-linear models of plates and shells

abstract: In this article firstly we develop a new proof for global existence of minimizers for the Kirchhoff-Love plate model. We also present a duality principle and relating sufficient optimality conditions for such a variational plate model. In a second step, we present a global existence result for a non-linear model of shells. For this model, we also develop a duality principle and concerning sufficient conditions of optimality.


title: Contribution of the pre-ionized H$_2$ and the ionized H$_2^+$ subsystems to the HHG Spectra of H$_2$ in intense laser fields

abstract: Contributions of the pre-ionized H$_2$ (PI-H$_2$) and ionized H$_2^+$ subsystems of the two-electron H$_2$ system to its high-order harmonic generation in 8-cycle $\sin^{2}$-like ultrafast intense laser pulses are calculated and analyzed based on the solution of the time-dependent Schr\"{o}dinger equation (TDSE) for the one-dimensional two-electronic H$_2$ system with fixed nuclei. The laser pulses have $\lambda\ =\ 390\ \&\ 532$ nm wavelengths and $I=1\times 10^{14}$, 5$\times 10^{14}$, 1$\times 10^{15}$ \&\ 5$\times 10^{15}$ Wcm$^{-2}$ intensities. It is found that at the two lower intensities, the PI-H$_2$ subsystem dominantly produces the HHG spectra. While, at the two higher intensities, both PI-H$_2$ and ionized H$_2^+$ subsystems contribute comparably to the HHG spectra. In the H$_2^+$ subsystem, the symmetry of the populations of H$_2^+$(I) and H$_2^+$(II) regions (left and right regions of H$_2^+$ subsystem) is broken by increasing the laser intensity. Complex patterns and even harmonics also appear at these two higher intensities. For instance, at $1\times 10^{15}$ Wcm$^{-2}$ intensity and $\lambda$ = 532 nm, the even harmonics are appeared near cut-off region. Interestingly, at $5\times 10^{15}$ Wcm$^{-2}$ intensity and $\lambda$ = 390 nm, the even harmonics replaced by the odd harmonics with red shift. At $\lambda$ = 390 \&\ 532 nm and $I=1\times 10^{15}$ intensity, the two-electron cutoffs corresponding to nonsequential double-recombination (NSDR) with maximum return kinetic energy of 4.70$U_p$ are detected. The HHG spectra of the whole H$_2$ system obtained with and without nuclear dynamics treated classically are approximately similar. However, at $1\times 10^{15}$ Wcm$^{-2}$ intensity and $\lambda$ = 532 nm, if we take into account nuclear dynamics, the even harmonics which are appeared near cutoff region, replaced by the odd harmonics with blue shift.


title: KAM for the nonlinear wave equation on the circle: small amplitude solution

abstract: In this paper we consider the nonlinear wave equation on the circle:\begin{equation} \nonumberu\_{tt} - u\_{xx} + m u = g(x,u), \quad t \in \mathbb{R},\: x \in \mathbb{S}^1,\end{equation}where $m \in [1,2]$ is a mass and $g(x,u)=4u^3+ O(u^4)$. This equation will be treated as a perturbation of the integrable Hamiltonian:\begin{equation} \tag{$\ast$} \label{first equation}u\_t= v, \quad v\_t = - u\_{xx} + m u.\end{equation}Near the origin and for generic $m$, we prove the existence of small amplitude quasi-periodic solutions close to the solution of the linear equation\eqref{first equation}. For the proof we use an abstract KAM theorem in infinite dimension and a Birkhoff normal form result.


title: NoiSense: Detecting Data Integrity Attacks on Sensor Measurements using Hardware based Fingerprints

abstract: In recent years fingerprinting of various physical and logical devices has been proposed with the goal of uniquely identifying users or devices of mainstream IT systems such as PCs, Laptops and smart phones. On the other hand, the application of such techniques in Cyber-Physical Systems (CPS) is less explored due to various reasons, such as difficulty of direct access to critical systems and the cost involved in faithfully reproducing realistic scenarios. In this work we evaluate the feasibility of using fingerprinting techniques in the context of realistic Industrial Control Systems related to water treatment and distribution. Based on experiments conducted with 44 sensors of six different types, it is shown that noise patterns due to microscopic imperfections in hardware manufacturing can be used to uniquely identify sensors in a CPS with up to 97% accuracy. The proposed technique can be used in to detect physical attacks, such as the replacement of legitimate sensors by faulty or manipulated sensors. We also show that, unexpectedly, sensor fingerprinting can effectively detect advanced physical attacks such as analog sensor spoofing due to variations in received energy at the transducer of an active sensor. Also, it can be leveraged to construct a novel challenge-response protocol that exposes cyber-attacks.


title: KAM for the nonlinear wave equation on the circle: a normal form theorem

abstract: In this paper we prove a KAM theorem in infinite dimension which treats the case of multiple eigenvalues (or frequencies) of finite order. More precisely, we consider a Hamiltonian normal form in infinite dimension:\begin{equation} \nonumberh(\rho)=\omega(\rho).r + \frac{1}{2} \langle \zeta,A(\rho)\zeta \rangle,\end{equation}where $ r \in \mathbb{R}^n $, $\zeta=((p\_s,q\_s)\_{s \in \mathcal{L}})$ and $ \mathcal{L}$ is a subset of $\mathbb{Z}$. We assume that the infinite matrix $A(\rho)$ satisfies $A(\rho)= D(\rho)+N(\rho)$, where $D(\rho) =\operatorname{diag} \left\lbrace \lambda\_{i} (\rho) I\_2,\: 1\leq i \leq m\right\rbrace$ and $N$ is a bloc diagonal matrix. We assume that the size of each bloc of $N$ is the multiplicity of the corresponding eigenvalue in $D$.In this context, if we start from a torus, then the solution of the associated Hamiltonian system remains on that torus. Under certain conditions emitted on the frequencies, we can affirm that the trajectory of the solution fills the torus. In this context, the starting torus is an invariant torus. Then, we perturb this integrable Hamiltonian and we want to prove that the starting torus is a persistent torus. We show that, if the perturbation is small and under certain conditions of non-resonance of the frequencies, then the starting torus is a persistent torus.


title: Deep learning for semantic segmentation of remote sensing images with rich spectral content

abstract: With the rapid development of Remote Sensing acquisition techniques, there is a need to scale and improve processing tools to cope with the observed increase of both data volume and richness. Among popular techniques in remote sensing, Deep Learning gains increasing interest but depends on the quality of the training data. Therefore, this paper presents recent Deep Learning approaches for fine or coarse land cover semantic segmentation estimation. Various 2D architectures are tested and a new 3D model is introduced in order to jointly process the spatial and spectral dimensions of the data. Such a set of networks enables the comparison of the different spectral fusion schemes. Besides, we also assess the use of a " noisy ground truth " (i.e. outdated and low spatial resolution labels) for training and testing the networks.


title: Rooted tree maps and the derivation relation for multiple zeta values

abstract: Rooted tree maps assign to an element of the Connes-Kreimer Hopf algebra of rooted trees a linear map on the noncommutative polynomial algebra in two letters. Evaluated at any admissible word these maps induce linear relations between multiple zeta values. In this note we show that the derivation relations for multiple zeta values are contained in this class of linear relations.


title: Measurement of differential cross-sections of a single top quark produced in association with a $W$ boson at $\sqrt{s}=13$ TeV with ATLAS

abstract: The differential cross-section for the production of a $W$ boson in association with a top quark is measured for several particle-level observables. The measurements are performed using 36.1 fb$^{-1}$ of $pp$ collision data collected with the ATLAS detector at the LHC in 2015 and 2016. Differential cross-sections are measured in a fiducial phase space defined by the presence of two charged leptons and exactly one jet matched to a $b$-hadron, and are normalised with the fiducial cross-section. Results are found to be in good agreement with predictions from several Monte Carlo event generators.


title: Supersymmetry and Fermionic Modes in an Oscillon Background

abstract: The excitations referred to as oscillons are long-lived time-dependent field configurations which emerge dynamically from non-linear field theories. Such long-lived solutions are of interest in applications that include systems of Condensed Matter Physics, the Standard Model of Particle Physics, Lorentz-symmetry violating scenarios and Cosmology. In this work, we show how oscillons may be accommodated in a supersymmetric scenario. We adopt as our framework simple ($\mathcal{N}=1$) supersymmetry in $D=1+1$ dimensions. We focus on the bosonic sector with oscillon configurations and their (classical) effects on the corresponding fermionic modes, (supersymmetric) partners of the oscillons. The particular model we adopt to pursue our investigation displays cubic self-interactions in the scalar sector.


title: Modelling the formation of the galactic bulge

abstract: In this work we have assumed a Hernquist model with an inside-out formation for the Galactic bulge and, using a chemical evolution model, we were able obtain the bulge metallicity distribution function (MDF) for different radial regions. The preliminary results show that in the inner regions of the bulge the MDF has a higher fraction of metal poor stars, while this fraction is progressively diminished as moving outwards in the bulge. These results may explain the metallicity gradient observed in the Galactic bulge.


title: Supersolvable simplicial arrangements

abstract: Simplicial arrangements are classical objects in discrete geometry. Their classification remains an open problem but there is a list conjectured to be complete at least for rank three. A further important class in the theory of hyperplane arrangements with particularly nice geometric, algebraic, topological, and combinatorial properties are the supersolvable arrangements. In this paper we give a complete classification of supersolvable simplicial arrangements (in all ranks). For each fixed rank, our classification already includes almost all known simplicial arrangements. Surprisingly, for irreducible simplicial arrangements of rank greater than three, our result shows that supersolvability imposes a strong integrality property; such an arrangement is called crystallographic. Furthermore we introduce Coxeter graphs for simplicial arrangements which serve as our main tool of investigation.


title: Deep Learning for automatic sale receipt understanding

abstract: As a general rule, data analytics are now mandatory for companies. Scanned document analysis brings additional challenges introduced by paper damages and scanning quality.In an industrial context, this work focuses on the automatic understanding of sale receipts which enable access to essential and accurate consumption statistics. Given an image acquired with a smart-phone, the proposed work mainly focuses on the first steps of the full tool chain which aims at providing essential information such as the store brand, purchased products and related prices with the highest possible confidence. To get this high confidence level, even if scanning is not perfectly controlled, we propose a double check processing tool-chain using Deep Convolutional Neural Networks (DCNNs) on one hand and more classical image and text processings on another hand.The originality of this work relates in this double check processing and in the joint use of DCNNs for different applications and text analysis.


title: Laboratory X-ray Study of the Phospholipid Monolayers at the Water Surface

abstract: The possibility of laboratory X-ray reflectometry study of the structure of dimyristoyl phosphatidylserine (DMPS) phospholipid monolayers on the water surface in various phase states has been demonstrated.


title: Holographic calcualtion of the magneto-transport coefficients in Dirac semimetals

abstract: Based on the gauge/gravity correspondence we have calculated the thermoelectric kinetic and transport characteristics of the strongly interacting materials in the presence of perpendicular magnetic field. The 3+1 dimensional system with Dirac-like spectrum is considered as a strongly interacting one if it is close to the particle-hole symmetry point. Transport in such system has been modeled by the two interacting vector fields. In the holographic theory the momentum relaxation is caused by axion field and leads to finite values of the direct current transport coefficients. We have calculated conductivity tensor in the presence of mutually perpendicular electric and magnetic fields and temperature gradient. The geometry differs from that in which magnetic field lies in the same plane as an electric one and temperature gradient.


title: Simulation of Quantum Walks and Fast Mixing with Classical Processes

abstract: We compare discrete-time quantum walks on graphs to their natural classical equivalents, which we argue are lifted Markov chains, that is, classical Markov chains with added memory. We show that these can simulate quantum walks, allowing us to answer an open question on how the graph topology ultimately bounds their mixing performance, and that of any stochastic local evolution. The results highlight that speedups in mixing and transport phenomena are not necessarily diagnostic of quantum effects, although superdiffusive spreading is more prominent with quantum walks.


title: Bistability in Two Simple Symmetrically Coupled Oscillators with Symmetry-broken Amplitude- and Phase-Locking

abstract: In the model system of two instantaneously and symmetrically coupled identical Stuart-Landau oscillators we demonstrate that there exist stable solutions with symmetry-broken amplitude- and phase-locking. These states are characterized by a non-trivial fixed phase and amplitude relationship between both oscillators, while simultaneously maintaining perfectly harmonic oscillations of the same frequency. While some of the surrounding bifurcations have been previously described, we present the first detailed analytical and numerical description of these states and present analytically and numerically how they are embedded in the bifurcation structure of the system, arising both from the in-phase as well as the anti-phase solutions, as well as through a saddle-node bifurcation. The dependence of both the amplitude and the phase on parameters can be expressed explicitly with analytic formulas. As opposed to previous reports, we find that these symmetry-broken states are stable, which can even be shown analytically. As an example of symmetry-breaking solutions in a simple and symmetric system, these states have potential applications as bistable states for switches in a wide array of coupled oscillatory systems.


title: Memory-based Combination PUFs for Device Authentication in Embedded Systems

abstract: Embedded systems play a crucial role in fueling the growth of the Internet-of-Things (IoT) in application domains such as healthcare, home automation, transportation, etc. However, their increasingly network-connected nature, coupled with their ability to access potentially sensitive/confidential information, has given rise to many security and privacy concerns. An additional challenge is the growing number of counterfeit components in these devices, resulting in serious reliability and financial implications. Physically Unclonable Functions (PUFs) are a promising security primitive to help address these concerns. Memory-based PUFs are particularly attractive as they require minimal or no additional hardware for their operation. However, current memory-based PUFs utilize only a single memory technology for constructing the PUF, which has several disadvantages including making them vulnerable to security attacks. In this paper, we propose the design of a new memory-based combination PUF that intelligently combines two memory technologies, SRAM and DRAM, to overcome these shortcomings. The proposed combination PUF exhibits high entropy, supports a large number of challenge-response pairs, and is intrinsically reconfigurable. We have implemented the proposed combination PUF using a Terasic TR4-230 FPGA board and several off-the-shelf SRAMs and DRAMs. Experimental results demonstrate substantial improvements over current memory-based PUFs including the ability to resist various attacks. Extensive authentication tests across a wide temperature range (20 - 60 deg. Celsius) and accelerated aging (12 months) demonstrate the robustness of the proposed design, which achieves a 100% true-positive rate and 0% false-positive rate for authentication across these parameter ranges.


title: Ergodic optimization of Birkhoff averages and Lyapunov exponents

abstract: Ergodic optimization is the study of extremal values of asymptotic dynamical quantities such as Birkhoff averages or Lyapunov exponents, and of the orbits or invariant measures that attain them. We discuss some results and problems.


title: Weighted vector-valued functions and the $\varepsilon$-product

abstract: We introduce a new class $\mathcal{FV}(\Omega,E)$ of spaces of weighted functions on a set $\Omega$ with values in a locally convex Hausdorff space $E$ which covers many classical spaces of vector-valued functions like continuous, smooth, holomorphic or harmonic functions. Then we exploit the construction of $\mathcal{FV}(\Omega,E)$ to derive sufficient conditions such that $\mathcal{FV}(\Omega,E)$ can be linearised, i.e. that $\mathcal{FV}(\Omega,E)$ is topologically isomorphic to the $\varepsilon$-product $\mathcal{FV}(\Omega)\varepsilon E$ where $\mathcal{FV}(\Omega):=\mathcal{FV}(\Omega,\mathbb{K})$ and $\mathbb{K}$ is the scalar field of $E$.


title: Two Forms of Inconsistency in Quantum Foundations

abstract: Recently, there has been some discussion of how Dutch Book arguments might be used to demonstrate the rational incoherence of certain hidden variable models of quantum theory (Feintzeig and Fletcher 2017). In this paper, we argue that the 'form of inconsistency' underlying this alleged irrationality is deeply and comprehensively related to the more familiar 'inconsistency' phenomenon of contextuality. Our main result is that the hierarchy of contextuality due to Abramsky and Brandenburger (2011) corresponds to a hierarchy of additivity/convexity-violations which yields formal Dutch Books of different strengths. We then use this result to provide a partial assessment of whether these formal Dutch Books can be interpreted normatively.


title: Teleportation simulation of bosonic Gaussian channels: Strong and uniform convergence

abstract: We consider the Braunstein-Kimble protocol for continuous variable teleportation and its application for the simulation of bosonic channels. We discuss the convergence properties of this protocol under various topologies (strong, uniform, and bounded-uniform) clarifying some typical misinterpretations in the literature. We then show that the teleportation simulation of an arbitrary single-mode Gaussian channel is uniformly convergent to the channel if and only if its noise matrix has full rank. The various forms of convergence are then discussed within adaptive protocols, where the simulation error must be propagated to the output of the protocol by means of a "peeling" argument, following techniques from PLOB [arXiv:1510.08863]. Finally, as an application of the peeling argument and the various topologies of convergence, we provide complete rigorous proofs for recently-claimed strong converse bounds for private communication over Gaussian channels.

categories: quant-ph cond-mat.other math-ph math.MP physics.optics


title: Characterization of Fundamental Networks

abstract: In the framework of coupled cell systems, a coupled cell network describes graphically the dynamical dependencies between individual dynamical systems, the cells. The fundamental network of a network reveals the hidden symmetries of that network. Subspaces defined by equalities of coordinates which are flow-invariant for any coupled cell system consistent with a network structure are called the network synchrony subspaces. Moreover, for every synchrony subspaces, each network admissible system restricted to that subspace is a dynamical systems consistent with a smaller network. The original network is then said to be a lift of the smaller network. We characterize networks such that: its fundamental network is a lift of the network; the network is a subnetwork of its fundamental network, and the network is a fundamental network. The size of cycles in a network and the distance of a cell to a cycle are two important properties concerning the description of the network architecture. In this paper, we relate these two architectural properties in a network and its fundamental network.


title: Surface plasmon-mediated nanoscale localization of laser-driven sub-THz spin dynamics in magnetic dielectrics

abstract: Ultrafast all-optical control of spins with femtosecond laser pulses is one of the hot topics at the crossroads of photonics and magnetism with a direct impact on future magnetic recording. Unveiling light-assisted recording mechanisms for an increase of the bit density beyond the diffraction limit without excessive heating of the recording medium is an open challenge. Here we show that surface plasmon-polaritons in hybrid metal-dielectric structures can provide spatial confinement of the inverse Faraday effect, mediating the excitation of localized coherent spin precession with 0.41 THz frequency. We demonstrate a two orders of magnitude enhancement of the excitation efficiency at the surface plasmon resonance within the 100 nm layer in dielectric garnet. Our findings broaden the horizons of ultrafast spin-plasmonics and open pathways towards non-thermal opto-magnetic recording at the nano-scale.


title: Cubical-like geometry of quasi-median graphs and applications to geometric group theory

abstract: The class of quasi-median graphs is a generalisation of median graphs, or equivalently of CAT(0) cube complexes. The purpose of this thesis is to introduce these graphs in geometric group theory. In the first part of our work, we extend the definition of hyperplanes from CAT(0) cube complexes, and we show that the geometry of a quasi-median graph essentially reduces to the combinatorics of its hyperplanes. In the second part, we exploit the specific structure of the hyperplanes to state combination results. The main idea is that if a group acts in a suitable way on a quasi-median graph so that clique-stabilisers satisfy some non-positively curved property $\mathcal{P}$, then the whole group must satisfy $\mathcal{P}$ as well. The properties we are interested in are mainly (relative) hyperbolicity, (equivariant) $\ell^p$-compressions, CAT(0)-ness and cubicality. In the third part, we apply our general criteria to several classes of groups, including graph products, Guba and Sapir's diagram products, some wreath products, and some graphs of groups. Graph products are our most natural examples, where the link between the group and its quasi-median graph is particularly strong and explicit; in particular, we are able to determine precisely when a graph product is relatively hyperbolic.


title: Empirically Analyzing the Effect of Dataset Biases on Deep Face Recognition Systems

abstract: It is unknown what kind of biases modern in the wild face datasets have because of their lack of annotation. A direct consequence of this is that total recognition rates alone only provide limited insight about the generalization ability of a Deep Convolutional Neural Networks (DCNNs). We propose to empirically study the effect of different types of dataset biases on the generalization ability of DCNNs. Using synthetically generated face images, we study the face recognition rate as a function of interpretable parameters such as face pose and light. The proposed method allows valuable details about the generalization performance of different DCNN architectures to be observed and compared. In our experiments, we find that: 1) Indeed, dataset bias has a significant influence on the generalization performance of DCNNs. 2) DCNNs can generalize surprisingly well to unseen illumination conditions and large sampling gaps in the pose variation. 3) Using the presented methodology we reveal that the VGG-16 architecture outperforms the AlexNet architecture at face recognition tasks because it can much better generalize to unseen face poses, although it has significantly more parameters. 4) We uncover a main limitation of current DCNN architectures, which is the difficulty to generalize when different identities to not share the same pose variation. 5) We demonstrate that our findings on synthetic data also apply when learning from real-world data. Our face image generator is publicly available to enable the community to benchmark other DCNN architectures.


title: Efficient sequential experimental design for surrogate modeling of nested codes

abstract: Thanks to computing power increase, the certification and the conception of complex systems relies more and more on simulation. To this end, predictive codes are needed, which have generally to be evaluated in a huge number of input points. When the computational cost of these codes is high, surrogate models are introduced to emulate the response of these codes. In this paper, we consider the situation when the system response can be modeled by two nested computer codes. By two nested computer codes, we mean that some inputs of the second code are outputs of the first code. More precisely, the idea is to propose sequential designs to improve the accuracy of the nested code's predictor by exploiting the nested structure of the codes. In particular, a selection criterion is proposed to allow the modeler to choose the code to call, depending on the expected learning rate and the computational cost of each code. The sequential designs are based on the minimization of the prediction variance, so adaptations of the Gaussian process formalism are proposed for this particular configuration in order to quickly evaluate the mean and the variance of the predictor. The proposed methods are then applied to examples.


title: A Finite-Time Cutting Plane Algorithm for Distributed Mixed Integer Linear Programming

abstract: Many problems of interest for cyber-physical network systems can be formulated as Mixed Integer Linear Programs in which the constraints are distributed among the agents. In this paper we propose a distributed algorithm to solve this class of optimization problems in a peer-to-peer network with no coordinator and with limited computation and communication capabilities. In the proposed algorithm, at each communication round, agents solve locally a small LP, generate suitable cutting planes, namely intersection cuts and cost-based cuts, and communicate a fixed number of active constraints, i.e., a candidate optimal basis. We prove that, if the cost is integer, the algorithm converges to the lexicographically minimal optimal solution in a finite number of communication rounds. Finally, through numerical computations, we analyze the algorithm convergence as a function of the network size.


title: Groups acting on quasi-median graphs. An introduction

abstract: Quasi-median graphs have been introduced by Mulder in 1980 as a generalisation of median graphs, known in geometric group theory to naturally coincide with the class of CAT(0) cube complexes. In his PhD thesis, the author showed that quasi-median graphs may be useful to study groups as well. In the present paper, we propose a gentle introduction to the theory of groups acting on quasi-median graphs.


title: Bubble propagation on a rail: a concept for sorting bubbles by size

abstract: We demonstrate experimentally that the introduction of a rail, a small height constriction, within the cross-section of a rectangular channel could be used as a robust passive sorting device in two-phase fluid flows. Single air bubbles carried within silicone oil are generally transported on one side of the rail. However, for flow rates marginally larger than a critical value, a narrow band of bubble sizes can propagate (stably) over the rail, while bubbles of other sizes segregate to the side of the rail. The width of this band of bubble sizes increases with flow rate and the size of the most stable bubble can be tuned by varying the rail width. We present a complementary theoretical analysis based on a depth-averaged theory, which is in qualitative agreement with the experiments. The theoretical study reveals that the mechanism relies on a non-trivial interaction between capillary and viscous forces that is fully dynamic, rather than being a simple modification of capillary static solutions.


title: How to pin down the pairing interaction for high Tc superconductivity in cuprates

abstract: The normal and pairing self-energies are the microscopic quantities which reflect and characterize the underlying interaction in superconductors. The momentum and frequency dependence of the self-energies, therefore, provides the experimental criteria which can single out the long sought-after pairing interaction among many proposed ideas. This line of research to pin down the pairing interaction for the cuprate superconductors has been carried out with some success by analyzing the momentum distribution curves of laser angle-resolved photo-emission spectroscopy (ARPES) data. Some progress and results are presented and compared with theoretical calculations based on leading proposals. Comments are made on the proposed scenarios from the comparisons.


title: Refined a posteriori error estimation for classical and pressure-robust Stokes finite element methods

abstract: Recent works showed that pressure-robust modifications of mixed finite element methods for the Stokes equations outperform their standard versions in many cases. This is achieved by divergence-free reconstruction operators and results in pressure independent velocity error estimates which are robust with respect to small viscosities. In this paper we develop a posteriori error control which reflects this robustness. The main difficulty lies in the volume contribution of the standard residual-based approach that includes the $L^2$-norm of the right-hand side. However, the velocity is only steered by the divergence-free part of this source term. An efficient error estimator must approximate this divergence-free part in a proper manner, otherwise it can be dominated by the pressure error. To overcome this difficulty a novel approach is suggested that uses arguments from the stream function and vorticity formulation of the Navier--Stokes equations. The novel error estimators only take the $\mathrm{curl}$ of the right-hand side into account and so lead to provably reliable, efficient and pressure-independent upper bounds in case of a pressure-robust method in particular in pressure-dominant situations. This is also confirmed by some numerical examples with the novel pressure-robust modifications of the Taylor--Hood and mini finite element methods.


title: Autonomous development and learning in artificial intelligence and robotics: Scaling up deep learning to human--like learning

abstract: Autonomous lifelong development and learning is a fundamental capability of humans, differentiating them from current deep learning systems. However, other branches of artificial intelligence have designed crucial ingredients towards autonomous learning: curiosity and intrinsic motivation, social learning and natural interaction with peers, and embodiment. These mechanisms guide exploration and autonomous choice of goals, and integrating them with deep learning opens stimulating perspectives. Deep learning (DL) approaches made great advances in artificial intelligence, but are still far away from human learning. As argued convincingly by Lake et al., differences include human capabilities to learn causal models of the world from very little data, leveraging compositional representations and priors like intuitive physics and psychology. However, there are other fundamental differences between current DL systems and human learning, as well as technical ingredients to fill this gap, that are either superficially, or not adequately, discussed by Lake et al. These fundamental mechanisms relate to autonomous development and learning. They are bound to play a central role in artificial intelligence in the future. Current DL systems require engineers to manually specify a task-specific objective function for every new task, and learn through off-line processing of large training databases. On the contrary, humans learn autonomously open-ended repertoires of skills, deciding for themselves which goals to pursue or value, and which skills to explore, driven by intrinsic motivation/curiosity and social learning through natural interaction with peers. Such learning processes are incremental, online, and progressive. Human child development involves a progressive increase of complexity in a curriculum of learning where skills are explored, acquired, and built on each other, through particular ordering and timing. Finally, human learning happens in the physical world, and through bodily and physical experimentation, under severe constraints on energy, time, and computational resources. In the two last decades, the field of Developmental and Cognitive Robotics (Cangelosi and Schlesinger, 2015, Asada et al., 2009), in strong interaction with developmental psychology and neuroscience, has achieved significant advances in computational


title: Influence of deformation and annealing twinning on the microstructure and texture evolution of face-centered cubic high-entropy alloys

abstract: The influence of the physical mechanisms activated during deformation and annealing on the microstructure and texture evolution as well as on the mechanical properties in the equiatomic CoCrFeMnNi high-entropy alloy (HEA) were investigated. A combination of cold rolling and annealing was used to investigate the HEA in the deformed, recovered, partially recrystallized, and fully recrystallized states. Detailed microstructure and texture analysis was performed by electron backscatter diffraction, transmission electron microscopy, and X-ray diffraction. The mechanical properties were evaluated using uniaxial tensile testing. A specific focus of this investigation was put on studying the influence of deformation and annealing twinning on the material behavior. It was substantiated that during cold rolling deformation, twinning facilitates the transition from the Cu-type to the Brass-type texture, whereas annealing-twinning leads to a strong modification of the texture formed during recrystallization. The formation of specific twin orientations and the randomization of the recrystallization texture were proven by experiments as well as by cellular automaton simulations. During tension of the cold-rolled and annealed material high work-hardenability was observed. We attribute this behavior primarily to the dominance of planar dislocation slip and reduced tendency for dynamic recovery, since deformation twinning was observed to activate only in the non-recrystallized grains and thus, contributed minimally to the overall plasticity. The correlation between deformation/annealing twinning and the material behavior was discussed in detail.


title: On Deterministic Sampling Patterns for Robust Low-Rank Matrix Completion

abstract: In this letter, we study the deterministic sampling patterns for the completion of low rank matrix, when corrupted with a sparse noise, also known as robust matrix completion. We extend the recent results on the deterministic sampling patterns in the absence of noise based on the geometric analysis on the Grassmannian manifold. A special case where each column has a certain number of noisy entries is considered, where our probabilistic analysis performs very efficiently. Furthermore, assuming that the rank of the original matrix is not given, we provide an analysis to determine if the rank of a valid completion is indeed the actual rank of the data corrupted with sparse noise by verifying some conditions.


title: Effects of Renormalizing the chiral SU(2) Quark-Meson-Model

abstract: We investigate the restoration of chiral symmetry at finite temperature in the SU(2) quark meson model where the mean field approximation is compared to the renormalized version for quarks and mesons. In a combined approach at finite temperature all the renormalized versions show a crossover transition. The inclusion of different renormalization scales leave the order parameter and the mass spectra nearly untouched, but strongly influence the thermodynamics at low temperatures and around the phase transition. We find unphysical results for the renormalized version of mesons and the combined one.


title: Subrelativistic electron source for Dielectric Laser Acceleration, elements of design

abstract: We describe and discuss solutions for an innovating sub-relativistic electron source, based on pulsed DC gun, including linear (1D) Field Emitter Array (FEA) associated immediately with Laser Dielectric Accelerator (DLA) stage. That setup is designed to avoid any standard accelerator component (electrostatic or magnetic macroscopic dipole ...) Parts of the diagnostics, including spectrometer and all diagnostics, are planned to rely on nano-structures. Then the entire setup -pulsed source, laser and measurements ends excepted- should be enclosed inside a decimeter range vacuum chamber. The goal of that paper is to suggest experimental orientations, which are discussed inside our laboratory. However we shall also notice the theoretical issues among which we actually work, these one could be presented in a next work.


title: Revisiting concurrent separation logic

abstract: We present a new soundness proof of Concurrent Separation Logic (CSL) based on a structural operational semantics (SOS). We build on two previous proofs and develop new auxiliary notions to achieve the goal. One uses a denotational semantics (based on traces). The other is based on SOS, but was obtained only for a fragment of the logic - the Disjoint CSL - which disallows modifying shared variables between concurrent threads. In this work, we lift such a restriction, proving the soundness of full CSL with respect to a SOS. Thus contributing to the development of tools able of ensuring the correctness of realistic concurrent programs. Moreover, given that we used SOS, such tools can be well-integrated in programming environments and even incorporated in compilers.


title: Higgs Pair Productions in the CP-violating Two-Higgs-Doublet Model

abstract: The SM-like Higgs pair productions are discussed in the framework of the general CP-violating two-Higgs-doublet model, where we find the CP-violating mixing angles can be related to the Higgs self couplings. Therefore, the future experimental searches for Higgs boson pairs can be constrained by the improved precision of the electric dipole moment measurements. Based on a series constraints of the SM-like Higgs boson signal fits, the perturbative unitarity and stability bounds to the Higgs potential, and the most recent LHC searches for the heavy Higgs bosons, we suggest a set of benchmark models for the future high-energy collider searches for the Higgs pair productions. The $e^+ e^-$ colliders operating at $\sqrt{s}=$ (500 GeV, 1 TeV) are capable of measuring the Higgs cubic self couplings of the benchmark models directly. We also estimate the cross sections of the resonance contributions to the Higgs pair productions for the benchmark models at the future LHC and SppC/Fcc-hh runs.


title: Tensor Approximation of Advanced Metrics for Sensitivity Analysis

abstract: Following up on the success of the analysis of variance (ANOVA) decomposition and the Sobol indices (SI) for global sensitivity analysis, various related quantities of interest have been defined in the literature including the effective and mean dimensions, the dimension distribution, and the Shapley values. Such metrics combine up to exponential numbers of SI in different ways and can be of great aid in uncertainty quantification and model interpretation tasks, but are computationally challenging. We focus on surrogate based sensitivity analysis for independently distributed variables, namely via the tensor train (TT) decomposition. This format permits flexible and scalable surrogate modeling and can efficiently extract all SI at once in a compressed TT representation of their own. Based on this, we contribute a range of novel algorithms that compute more advanced sensitivity metrics by selecting and aggregating certain subsets of SI in the tensor compressed domain. Drawing on an interpretation of the TT model in terms of deterministic finite automata, we are able to construct explicit auxiliary TT tensors that encode exactly all necessary index selection masks. Having both the SI and the masks in the TT format allows efficient computation of all aforementioned metrics, as we demonstrate in a number of example models.


title: A review on anisotropy analysis of spatial point patterns

abstract: A spatial point pattern is called anisotropic if its spatial structure depends on direction. Several methods for anisotropy analysis have been introduced in the literature. In this paper, we give an overview of nonparametric methods for anisotropy analysis of (stationary) point patterns in $\mathbf{R}^2$ and $\mathbf{R}^3$. We discuss methods based on nearest neighbour and second order summary statistics as well as spectral and wavelet analysis. All techniques are illustrated on both a clustered and a regular example. Finally, we discuss methods for testing for isotropy as well as for estimating preferred directions in a point pattern.


title: Keypoint-based object tracking and localization using networks of low-power embedded smart cameras

abstract: Object tracking and localization is a complex task that typically requires processing power beyond the capabilities of low-power embedded cameras. This paper presents a new approach to real-time object tracking and localization using multi-view binary keypoints descriptor. The proposed approach offers a compromise between processing power, accuracy and networking bandwidth and has been tested using multiple distributed low-power smart cameras. Additionally, multiple optimization techniques are presented to improve the performance of the keypoints descriptor for low-power embedded systems.


title: Generalization of Deep Neural Networks for Chest Pathology Classification in X-Rays Using Generative Adversarial Networks

abstract: Medical datasets are often highly imbalanced with over-representation of common medical problems and a paucity of data from rare conditions. We propose simulation of pathology in images to overcome the above limitations. Using chest X-rays as a model medical image, we implement a generative adversarial network (GAN) to create artificial images based upon a modest sized labeled dataset. We employ a combination of real and artificial images to train a deep convolutional neural network (DCNN) to detect pathology across five classes of chest X-rays. Furthermore, we demonstrate that augmenting the original imbalanced dataset with GAN generated images improves performance of chest pathology classification using the proposed DCNN in comparison to the same DCNN trained with the original dataset alone. This improved performance is largely attributed to balancing of the dataset using GAN generated images, where image classes that are lacking in example images are preferentially augmented.


title: Semi-Cartesian squares and the Snake Lemma

abstract: The well-known snake lemma is proved entirely within category theory, without the help of "points with value in..." \`a la Grothendieck, nor pseudo-elements as in Guglielmetti & Zaganidis. Instead, we define and use consistently semi-cartesian squares, which were promoted by C. Chevalley.


title: A Method to Improve the Resolution of the Acoustic Microscopy

abstract: In this report, we demonstrate a new principle to improve the resolution of the acoustic microscopy, which is based on the sub-wavelength focusing of acoustic wave passing through an acoustically transparent mesoscale particle. In the principle, the width of the acoustic focal area can be less than one wavelength. The sub-wavelength focusing effect is verified by the FEM simulation.


title: Can CNN Construct Highly Accurate Models Efficiently for High-Dimensional Problems in Complex Product Designs?

abstract: With the increase of the nonlinearity and dimension, it is difficult for the present popular metamodeling techniques to construct reliable metamodels. To address this problem, Convolutional Neural Network (CNN) is introduced to construct a highly accurate metamodel efficiently. Considering the inherent characteristics of the CNN, it is a potential modeling tool to handle highly nonlinear and dimensional problems (hundreds-dimensional problems) with the limited training samples. In order to evaluate the proposed CNN metamodel for hundreds-dimensional and strong nonlinear problems, CNN is compared with other metamodeling techniques. Furthermore, several high-dimensional analytical functions are also employed to test the CNN metamodel. Testing and comparisons confirm the efficiency and capability of the CNN metamodel for hundreds-dimensional and strong nonlinear problems. Moreover, the proposed CNN metamodel is also applied to IsoGeometric Analysis (IGA)-based optimization successfully.


title: Automatic Spine Segmentation using Convolutional Neural Network via Redundant Generation of Class Labels for 3D Spine Modeling

abstract: There has been a significant increase from 2010 to 2016 in the number of people suffering from spine problems. The automatic image segmentation of the spine obtained from a computed tomography (CT) image is important for diagnosing spine conditions and for performing surgery with computer-assisted surgery systems. The spine has a complex anatomy that consists of 33 vertebrae, 23 intervertebral disks, the spinal cord, and connecting ribs. As a result, the spinal surgeon is faced with the challenge of needing a robust algorithm to segment and create a model of the spine. In this study, we developed an automatic segmentation method to segment the spine, and we compared our segmentation results with reference segmentations obtained by experts. We developed a fully automatic approach for spine segmentation from CT based on a hybrid method. This method combines the convolutional neural network (CNN) and fully convolutional network (FCN), and utilizes class redundancy as a soft constraint to greatly improve the segmentation results. The proposed method was found to significantly enhance the accuracy of the segmentation results and the system processing time. Our comparison was based on 12 measurements: the Dice coefficient (94%), Jaccard index (93%), volumetric similarity (96%), sensitivity (97%), specificity (99%), precision (over segmentation; 8.3 and under segmentation 2.6), accuracy (99%), Matthews correlation coefficient (0.93), mean surface distance (0.16 mm), Hausdorff distance (7.4 mm), and global consistency error (0.02). We experimented with CT images from 32 patients, and the experimental results demonstrated the efficiency of the proposed method.


title: Fully Convolutional Measurement Network for Compressive Sensing Image Reconstruction

abstract: Recently, deep learning methods have made a significant improvement in compressive sensing image reconstruction task. In the existing methods, the scene is measured block by block due to the high computational complexity. This results in block-effect of the recovered images. In this paper, we propose a fully convolutional measurement network, where the scene is measured as a whole. The proposed method powerfully removes the block-effect since the structure information of scene images is preserved. To make the measure more flexible, the measurement and the recovery parts are jointly trained. From the experiments, it is shown that the results by the proposed method outperforms those by the existing methods in PSNR, SSIM, and visual effect.


title: Color Face Recognition using High-Dimension Quaternion-based Adaptive Representation

abstract: Recently, quaternion collaborative representation-based classification (QCRC) and quaternion sparse representation-based classification (QSRC) have been proposed for color face recognition. They can obtain correlation information among different color channels. However, their performance is unstable in different conditions. For example, QSRC performs better than than QCRC on some situations but worse on other situations. To benefit from quaternion-based $e_2$-norm minimization in QCRC and quaternion-based $e_1$-norm minimization in QSRC, we propose the quaternion-based adaptive representation (QAR) that uses a quaternion-based $e_p$-norm minimization ($1 \le p \le 2$) for color face recognition. To obtain the high dimension correlation information among different color channels, we further propose the high-dimension quaternion-based adaptive representation (HD-QAR). The experimental results demonstrate that the proposed QAR and HD-QAR achieve better recognition rates than QCRC, QSRC and several state-of-the-art methods.


title: Discriminant Projection Representation-based Classification for Vision Recognition

abstract: Representation-based classification methods such as sparse representation-based classification (SRC) and linear regression classification (LRC) have attracted a lot of attentions. In order to obtain the better representation, a novel method called projection representation-based classification (PRC) is proposed for image recognition in this paper. PRC is based on a new mathematical model. This model denotes that the 'ideal projection' of a sample point $x$ on the hyper-space $H$ may be gained by iteratively computing the projection of $x$ on a line of hyper-space $H$ with the proper strategy. Therefore, PRC is able to iteratively approximate the 'ideal representation' of each subject for classification. Moreover, the discriminant PRC (DPRC) is further proposed, which obtains the discriminant information by maximizing the ratio of the between-class reconstruction error over the within-class reconstruction error. Experimental results on five typical databases show that the proposed PRC and DPRC are effective and outperform other state-of-the-art methods on several vision recognition tasks.


title: On the hyperbolicity locus of a real curve

abstract: Given a real algebraic curve in the projective 3-space, its hyperbolicity locus is the set of lines with respect to which the curve is hyperbolic. We give an example of a smooth irreducible curve whose hyperbolicity locus is disconnected but the connected components are not distinguished by the linking numbers with the connected components of the curve.


title: Vision Recognition using Discriminant Sparse Optimization Learning

abstract: To better select the correct training sample and obtain the robust representation of the query sample, this paper proposes a discriminant-based sparse optimization learning model. This learning model integrates discriminant and sparsity together. Based on this model, we then propose a classifier called locality-based discriminant sparse representation (LDSR). Because discriminant can help to increase the difference of samples in different classes and to decrease the difference of samples within the same class, LDSR can obtain better sparse coefficients and constitute a better sparse representation for classification. In order to take advantages of kernel techniques, discriminant and sparsity, we further propose a nonlinear classifier called kernel locality-based discriminant sparse representation (KLDSR). Experiments on several well-known databases prove that the performance of LDSR and KLDSR is better than that of several state-of-the-art methods including deep learning based methods.


title: Archimedian Theorems for Composite Solids

abstract: We consider the Center of Gravity of a solid, partly filled with some homogeneous material, and find its qualitative and quantitative properties. In particular, we prove that the Center of Gravity has its lowest position when it lies on the top surface of the material inside the solid and find a differential equation for the first moments that explains this result in both mathematical and physics terms. We make explicit calculations of this lowest position in a number of cases, such as cylinders, cones, solids of revolution, power solids, spheres and half spheres.


title: Impulse Control in Finance: Numerical Methods and Viscosity Solutions

abstract: The goal of this thesis is to provide efficient and provably convergent numerical methods for solving partial differential equations (PDEs) coming from impulse control problems motivated by finance. Impulses, which are controlled jumps in a stochastic process, are used to model realistic features in financial problems which cannot be captured by ordinary stochastic controls. The dynamic programming equations associated with impulse control problems are Hamilton-Jacobi-Bellman quasi-variational inequalities (HJBQVIs) Other than in certain special cases, the numerical schemes that come from the discretization of HJBQVIs take the form of complicated nonlinear matrix equations also known as Bellman problems. We prove that a policy iteration algorithm can be used to compute their solutions. In order to do so, we employ the theory of weakly chained diagonally dominant (w.c.d.d.) matrices. As a byproduct of our analysis, we obtain some new results regarding a particular family of Markov decision processes which can be thought of as impulse control problems on a discrete state space and the relationship between w.c.d.d. matrices and M-matrices. Since HJBQVIs are nonlocal PDEs, we are unable to directly use the seminal result of Barles and Souganidis (concerning the convergence of monotone, stable, and consistent numerical schemes to the viscosity solution) to prove the convergence of our schemes. We address this issue by extending the work of Barles and Souganidis to nonlocal PDEs in a manner general enough to apply to HJBQVIs. We apply our schemes to compute the solutions of various classical problems from finance concerning optimal control of the exchange rate, optimal consumption with fixed and proportional transaction costs, and guaranteed minimum withdrawal benefits in variable annuities.


title: The Role of Compliance in Heterogeneous Interacting Agents: Data from Observations

abstract: The dynamics of agent-based systems provide a framework to face the complexity of pedestrian-vehicle interactions in future cities, in which the compliance to traffic norms plays a fundamental role. The data of an observation performed at a non-signalized intersection are presented to provide useful insights for supporting the future development of agent-based models. Results focus on drivers' compliance to crossing pedestrians, describing potentially conflictual interactions among heterogeneous agents. The discussion closes with the potential applications of the collected data set for modelling the phenomenon.


title: Longitudinal compression and transverse matching of electron bunch for external injection LPWA at ESCULAP

abstract: We present theoretical and numerical studies of longitudinal compression and transverse matching of electron bunch before injecting into the Laser-plasma Wake Field Accelerator (LWFA) foreseen at the ESCULAP project in ORSAY. Longitudinal compression is performed with a dogleg chicane, the chicane is designed based on theory of beam optics, beam dynamics in dogleg is studied with ImpactT and cross checked with CSRtrack, both 3D space charge (SC) and coherent synchrotron radiation (CSR) effects are included. Simulation results show that the energy chirp at the dogleg entrance should be smaller than the nominal optic design value, in order to compensate the negative energy chirp increase caused by longitudinal SC, while CSR can be ignored in our case. With an optimized configuration, the electron bunch ($\sim$10MeV, 10pC) is compressed from 0.9ps RMS to 70fs RMS (53fs FWHM), with a peak current of 152A. Transverse matching is realized with a doublet and a triplet, they are matched with Madx and the electron bunch is tracked with ImpactT, simulation results show little difference with the nominal design values, that is due to the SC effect. Finally, by simply adjusting the quadrupole strength, a preliminary optimized configuration has been achieved, that matches the Courant-Snyder (C-S) parameters to $\alpha_{x}=0.01$,$\alpha_{y}=-0.02$, $\beta_{x}=0.014$m,$\beta_{y}=0.012$m at the plasma entrance.


title: Isomorphisms of graded path algebras

abstract: We prove that if two path algebras with homogeneous relations are isomorphic as algebras, then they are isomorphic as graded path algebras. This extends a result by Bell and Zhang in the connected case.


title: Dilated FCN for Multi-Agent 2D/3D Medical Image Registration

abstract: 2D/3D image registration to align a 3D volume and 2D X-ray images is a challenging problem due to its ill-posed nature and various artifacts presented in 2D X-ray images. In this paper, we propose a multi-agent system with an auto attention mechanism for robust and efficient 2D/3D image registration. Specifically, an individual agent is trained with dilated Fully Convolutional Network (FCN) to perform registration in a Markov Decision Process (MDP) by observing a local region, and the final action is then taken based on the proposals from multiple agents and weighted by their corresponding confidence levels. The contributions of this paper are threefold. First, we formulate 2D/3D registration as a MDP with observations, actions, and rewards properly defined with respect to X-ray imaging systems. Second, to handle various artifacts in 2D X-ray images, multiple local agents are employed efficiently via FCN-based structures, and an auto attention mechanism is proposed to favor the proposals from regions with more reliable visual cues. Third, a dilated FCN-based training mechanism is proposed to significantly reduce the Degree of Freedom in the simulation of registration environment, and drastically improve training efficiency by an order of magnitude compared to standard CNN-based training method. We demonstrate that the proposed method achieves high robustness on both spine cone beam Computed Tomography data with a low signal-to-noise ratio and data from minimally invasive spine surgery where severe image artifacts and occlusions are presented due to metal screws and guide wires, outperforming other state-of-the-art methods (single agent-based and optimization-based) by a large margin.


title: Three-Stream Convolutional Networks for Video-based Person Re-Identification

abstract: This paper aims to develop a new architecture that can make full use of the feature maps of convolutional networks. To this end, we study a number of methods for video-based person re-identification and make the following findings: 1) Max-pooling only focuses on the maximum value of a receptive field, wasting a lot of information. 2) Networks with different streams even including the one with the worst performance work better than networks with same streams, where each one has the best performance alone. 3) A full connection layer at the end of convolutional networks is not necessary. Based on these studies, we propose a new convolutional architecture termed Three-Stream Convolutional Networks (TSCN). It first uses different streams to learn different aspects of feature maps for attentive spatio-temporal fusion of video, and then merges them together to study some union features. To further utilize the feature maps, two architectures are designed by using the strategies of multi-scale and upsampling. Comparative experiments on iLIDS-VID, PRID-2011 and MARS datasets illustrate that the proposed architectures are significantly better for feature extraction than the state-of-the-art models.


title: Context Augmentation for Convolutional Neural Networks

abstract: Recent enhancements of deep convolutional neural networks (ConvNets) empowered by enormous amounts of labeled data have closed the gap with human performance for many object recognition tasks. These impressive results have generated interest in understanding and visualization of ConvNets. In this work, we study the effect of background in the task of image classification. Our results show that changing the backgrounds of the training datasets can have drastic effects on testing accuracies. Furthermore, we enhance existing augmentation techniques with the foreground segmented objects. The findings of this work are important in increasing the accuracies when only a small dataset is available, in creating datasets, and creating synthetic images.


title: Can $\Lambda$CDM model reproduce MOND-like behavior?

abstract: It is usually believed that MOND can describe the galactic rotational curves with only baryonic matter and without any dark matter very well, while the $\Lambda$CDM model is expected to have difficulty in reproducing MOND-like behavior. Here, we use EAGLE's data to learn whether the $\Lambda$CDM model can reproduce MOND-like behavior. EAGLE's simulation result clearly reproduces the MOND-like behavior for $a_b\gtrapprox 10^{-12}\text{m/s}^2$ at $z=0$, although the acceleration constant, $a_0$, is a little larger than the observational data indicate. We find that $a_0$ increases with the redshift in a way different from what Milgrom proposed ($a_0\propto H$). Therefore, while galaxy rotation curves can be fitted by MOND's empirical function in the $\Lambda$CDM model, there is no clear connection between $a_0$ and the Hubble constant. We also find that $a_0$ at $z\gtrapprox 1$ is well separated from $a_0$ at $z=0$. Once we have enough galaxies observed at high redshifts, we will be able to rule out the modified gravity model based on MOND-like empirical function with a z-independent $a_0$.


title: A Pitfall of Unsupervised Pre-Training

abstract: The point of this paper is to question typical assumptions in deep learning and suggest alternatives. A particular contribution is to prove that even if a Stacked Convolutional Auto-Encoder is good at reconstructing pictures, it is not necessarily good at discriminating their classes. When using Auto-Encoders, intuitively one assumes that features which are good for reconstruction will also lead to high classification accuracy. Indeed, it became research practice and is a suggested strategy by introductory books. However, we prove that this is not always the case. We thoroughly investigate the quality of features produced by Stacked Convolutional Auto-Encoders when trained to reconstruct their input. In particular, we analyze the relation between the reconstruction and classification capabilities of the network, if we were to use the same features for both tasks. Experimental results suggest that in fact, there is no correlation between the reconstruction score and the quality of features for a classification task. This means, more formally, that the sub-dimension representation space learned from the Stacked Convolutional Auto-Encoder (while being trained for input reconstruction) is not necessarily better separable than the initial input space. Furthermore, we show that the reconstruction error is not a good metric to assess the quality of features, because it is biased by the decoder quality. We do not question the usefulness of pre-training, but we conclude that aiming for the lowest reconstruction error is not necessarily a good idea if afterwards one performs a classification task.


title: Open Evaluation Tool for Layout Analysis of Document Images

abstract: This paper presents an open tool for standardizing the evaluation process of the layout analysis task of document images at pixel level. We introduce a new evaluation tool that is both available as a standalone Java application and as a RESTful web service. This evaluation tool is free and open-source in order to be a common tool that anyone can use and contribute to. It aims at providing as many metrics as possible to investigate layout analysis predictions, and also provide an easy way of visualizing the results. This tool evaluates document segmentation at pixel level, and support multi-labeled pixel ground truth. Finally, this tool has been successfully used for the ICDAR2017 competition on Layout Analysis for Challenging Medieval Manuscripts.


title: Constrained Manifold Learning for Hyperspectral Imagery Visualization

abstract: Displaying the large number of bands in a hyper- spectral image (HSI) on a trichromatic monitor is important for HSI processing and analysis system. The visualized image shall convey as much information as possible from the original HSI and meanwhile facilitate image interpretation. However, most existing methods display HSIs in false color, which contradicts with user experience and expectation. In this paper, we propose a visualization approach based on constrained manifold learning, whose goal is to learn a visualized image that not only preserves the manifold structure of the HSI but also has natural colors. Manifold learning preserves the image structure by forcing pixels with similar signatures to be displayed with similar colors. A composite kernel is applied in manifold learning to incorporate both the spatial and spectral information of HSI in the embedded space. The colors of the output image are constrained by a corresponding natural-looking RGB image, which can either be generated from the HSI itself (e.g., band selection from the visible wavelength) or be captured by a separate device. Our method can be done at instance-level and feature-level. Instance-level learning directly obtains the RGB coordinates for the pixels in the HSI while feature-level learning learns an explicit mapping function from the high dimensional spectral space to the RGB space. Experimental results demonstrate the advantage of the proposed method in information preservation and natural color visualization.


title: Flexible on-chip mode-division switching with a new mode converter design

abstract: There have been some significant advances in optical-fiber multimode communications. And important effort in on-chip communication has also been recently reported for realizing mode-division multiplexing (MDM). Because of the difficulty in lack of mode converter which can freely perform mode converting function among different waveguide modes, flexible on-chip mode-division switching communication has been rarely reported. Here we show the first demonstration of mode converter which can convert an arbitrary waveguide mode into any other modes with the help of phase tuning. With that mode converter, two flexible on-chip mode-division switching architectures are proposed. That architecture is compatible with wavelength-division multiplexing (WDM) and can enable further scaling of the on-chip communication bandwidth. Our demonstration suggests great potential of mode-divisional switching in the vision of fully flexible, dense, on-chip optical networks.


title: Shifted Poisson geometry and meromorphic matrix algebras over an elliptic curve

abstract: In this paper we classify symplectic leaves of the regular part of the projectivization of the space of meromorphic endomorphisms of a stable vector bundle on an elliptic curve, using the study of shifted Poisson structures on the moduli of complexes from our previous work \cite{HP17}. This Poisson ind-scheme is closely related to the ind Poisson-Lie group associated to Belavin's elliptic $r$-matrix, studied by Sklyanin, Cherednik and Reyman and Semenov-Tian-Shansky. Our result leads to a classification of symplectic leaves on the regular part of meromorphic matrix algebras over an elliptic curve, which can be viewed as the Lie algebra of the above-mentioned ind Poisson-Lie group. We also describe the decomposition of the product of leaves under the multiplication morphism and show the invariance of Poisson structures under autoequivalences of the derived category of coherent sheaves on an elliptic curve.


title: On the Kramers-Fokker-Planck equation with decreasing potentials in dimension one

abstract: For quickly decreasing potentials with one position variable, the first threshold zero is always a resonance of the Kramers-Fokker-Planck operator. In this article we study low-energy spectral properties of the operator and calculate large time asymptotics of solutions in terms of the Maxwellian.


title: Recognizing Gender from Human Facial Regions using Genetic Algorithm

abstract: Recently, recognition of gender from facial images has gained a lot of importance. There exist a handful of research work that focus on feature extraction to obtain gender specific information from facial images. However, analyzing different facial regions and their fusion help in deciding the gender of a person from facial images. In this paper, we propose a new approach to identify gender from frontal facial images that is robust to background, illumination, intensity, and facial expression. In our framework, first the frontal face image is divided into a number of distinct regions based on facial landmark points that are obtained by the Chehra model proposed by Asthana et al. The model provides 49 facial landmark points covering different regions of the face, e.g. forehead, left eye, right eye, lips. Next, a face image is segmented into facial regions using landmark points and features are extracted from each region. The Compass LBP feature, a variant of LBP feature, has been used in our framework to obtain discriminative gender-specific information. Following this, a Support Vector Machine based classifier has been used to compute the probability scores from each facial region. Finally, the classification scores obtained from individual regions are combined with a genetic algorithm based learning to improve the overall classification accuracy. The experiments have been performed on popular face image datasets such as Adience, cFERET (color FERET), LFW and two sketch datasets, namely CUFS and CUFSF. Through experiments, we have observed that, the proposed method outperforms existing approaches.


title: Optimizing colormaps with consideration for color vision deficiency to enable accurate interpretation of scientific data

abstract: Color vision deficiency (CVD) affects more than 4% of the population and leads to a different visual perception of colors. Though this has been known for decades, colormaps with many colors across the visual spectra are often used to represent data, leading to the potential for misinterpretation or difficulty with interpretation by someone with this deficiency. Until the creation of the module presented here, there were no colormaps mathematically optimized for CVD using modern color appearance models. While there have been some attempts to make aesthetically pleasing or subjectively tolerable colormaps for those with CVD, our goal was to make optimized colormaps for the most accurate perception of scientific data by as many viewers as possible. We developed a Python module, cmaputil, to create CVD-optimized colormaps, which imports colormaps and modifies them to be perceptually uniform in CVD-safe colorspace while linearizing and maximizing the brightness range. The module is made available to the science community to enable others to easily create their own CVDoptimized colormaps. Here, we present an example CVD-optimized colormap created with this module that is optimized for viewing by those without a CVD as well as those with redgreen colorblindness. This colormap, cividis, enables nearly-identical visual-data interpretation to both groups, is perceptually uniform in hue and brightness, and increases in brightness linearly.


title: Chemical Bond-Based Representation of Materials

abstract: This paper introduces a new representation method that is mainly based on chemical bonds among atoms in materials. Each chemical bond and its surrounded atoms are considered as a unified unit or a local structure that is expected to reflect a part of materials' nature. First, a material is separated into local structures; and then represented as matrices, each of which is computed by using information about the corresponding chemical bond as well as orbital-field matrices of two related atoms. After that, all local structures of the material are utilized by using the statistics point of view. In the experiment, the new method was applied into a materials informatics application that aims at predicting atomization energies using QM7 data set. The results of the experiment show that the new method is more effective than two state-of-the-art representation methods in most of the cases.


title: Learning a Generative Model for Validity in Complex Discrete Structures

abstract: Deep generative models have been successfully used to learn representations for high-dimensional discrete spaces by representing discrete objects as sequences and employing powerful sequence-based deep models. Unfortunately, these sequence-based models often produce invalid sequences: sequences which do not represent any underlying discrete structure; invalid sequences hinder the utility of such models. As a step towards solving this problem, we propose to learn a deep recurrent validator model, which can estimate whether a partial sequence can function as the beginning of a full, valid sequence. This validator provides insight as to how individual sequence elements influence the validity of the overall sequence, and can be used to constrain sequence based models to generate valid sequences -- and thus faithfully model discrete objects. Our approach is inspired by reinforcement learning, where an oracle which can evaluate validity of complete sequences provides a sparse reward signal. We demonstrate its effectiveness as a generative model of Python 3 source code for mathematical expressions, and in improving the ability of a variational autoencoder trained on SMILES strings to decode valid molecular structures.