title: Control Software for the SST-1M Small-Size Telescope prototype for the Cherenkov Telescope Array

abstract: The SST-1M is a 4-m Davies--Cotton atmospheric Cherenkov telescope optimized to provide gamma-ray sensitivity above a few TeV. The SST-1M is proposed as part of the Small-Size Telescope array for the Cherenkov Telescope Array (CTA), the first prototype has already been deployed. The SST-1M control software of all subsystems (active mirror control, drive system, safety system, photo-detection plane, DigiCam, CCD cameras) and the whole telescope itself (master controller) uses the standard software design proposed for all CTA telescopes based on the ALMA Common Software (ACS) developed to control the Atacama Large Millimeter Array (ALMA). Each subsystem is represented by a separate ACS component, which handles the communication to and the operation of the subsystem. Interfacing with the actual hardware is performed via the OPC UA communication protocol, supported either natively by dedicated industrial standard servers (PLCs) or separate service applications developed to wrap lower level protocols (e.g. CAN bus, camera slow control) into OPC UA. Early operations of the telescope without the camera were already carried out. The camera is fully assembled and is capable to perform data acquisition using artificial light source.


title: Studies of the nature of the low-energy, gamma-like background for Cherenkov Telescope Array

abstract: The upcoming Cherenkov Telescope Array (CTA) project is expected to provide unprecedented sensitivity in the low-energy ( <~100 GeV) range for Cherenkov telescopes. In order to exploit fully the potential of the telescopes the standard analysis methods for gamma/hadron separation might need to be revised. We study the composition of the background by identifying events composed mostly of a single electromagnetic subcascade or double subcascade from a {\pi}0 (or another neutral meson) decay. We apply the standard simulation and analysis chain of CTA to evaluate the potential of the standard analysis to reject such events.


title: The ARCADE Raman Lidar and atmospheric simulations for the Cherenkov Telescope Array

abstract: The CTA is the next generation of ground based very high energy gamma ray Imaging Atmospheric Cherenkov Telescopes. Since observations with this technique are affected by atmospheric conditions, an accurate knowledge of the atmospheric properties is fundamental to improve the precision and duty cycle of the CTA. Measurements of absorption and scattering properties of the atmosphere due to aerosols and molecules can be used in the event reconstruction or in MODTRAN, an analytical code designed to model the propagation of electromagnetic radiation. MODTRAN output is used as an input for the air shower simulation and Cherenkov light production, giving the optical depth profiles that together with the refractive index allow the proper simulation of the gamma ray induced signals and a correct measurement of the primary energy from the detected signals. The ARCADE Raman Lidar will be used for the on site characterization of the aerosol attenuation profiles of the UV light. The collected data will be used in preparation for the full operation of the array, providing nightly information about the aerosol properties such as the vertical aerosol optical depth and the water vapour mixing ratio with an altitude resolution better than 100 m from about 400 m to 10 km above ground level. These measurements will help to define the needs for Monte Carlo simulations of the shower development and of the detector response. This instrument will also be used for the intercalibration of the future Raman Lidars that are expected to operate at the CTA sites. This contribution includes a description of the ARCADE Lidar and the characterization of the performance of the system. The system is expected to be shipped to the northern site of the CTA (La Palma) before the end of 2017, to acquire data locally for 1 year before being moved to the southern site (Chile).


title: $\chi_{c1}$ and $\chi_{c2}$ resonance parameters with the decays $\chi_{c1,c2}\to J/\psi\mu^+\mu^-$

abstract: The decays $\chi_{c1} \rightarrow J/\psi \mu^+ \mu^-$ and $\chi_{c2} \rightarrow J/\psi \mu^+ \mu^-$ are observed and used to study the resonance parameters of the $\chi_{c1}$ and $\chi_{c2}$ mesons. The masses of these states are measured to be m(\chi_{c1}) = 3510.71 \pm 0.04(stat) \pm 0.09(syst)MeV\,, m(\chi_{c2}) = 3556.10 \pm 0.06(stat) \pm 0.11(syst)MeV\,, where the knowledge of the momentum scale for charged particles dominates the systematic uncertainty. The momentum-scale uncertainties largely cancel in the mass difference m(\chi_{c2}) - m(\chi_{c1}) = 45.39 \pm 0.07(stat) \pm 0.03(syst)MeV\,. The natural width of the $\chi_{c2}$ meson is measured to be $$\Gamma(\chi_{c2}) = 2.10 \pm 0.20(stat) \pm 0.02(syst)MeV\,.$$ These results are in good agreement with and have comparable precision to the current world averages.


title: Spectral Efficiency of Multi-User Adaptive Cognitive Radio Networks

abstract: In this correspondence, the comprehensive problem of joint power, rate, and subcarrier allocation have been investigated for enhancing the spectral efficiency of multi-user orthogonal frequency-division multiple access (OFDMA) cognitive radio (CR) networks subject to satisfying total average transmission power and aggregate interference constraints. We propose novel optimal radio resource allocation (RRA) algorithms under different scenarios with deterministic and probabilistic interference violation limits based on a perfect and imperfect availability of cross-link channel state information (CSI). In particular, we propose a probabilistic approach to mitigate the total imposed interference on the primary service under imperfect cross-link CSI. A closed-form mathematical formulation of the cumulative density function (cdf) for the received signal-to-interference-plus-noise ratio (SINR) is formulated to evaluate the resultant average spectral efficiency (ASE). Dual decomposition is utilized to obtain sub-optimal solutions for the non-convex optimization problems. Through simulation results, we investigate the achievable performance and the impact of parameters uncertainty on the overall system performance. Furthermore, we present that the developed RRA algorithms can considerably improve the cognitive performance whilst abide the imposed power constraints. In particular, the performance under imperfect cross-link CSI knowledge for the proposed `probabilistic case' is compared to the conventional scenarios to show the potential gain in employing this scheme.


title: Observable traces of non-metricity: new constraints on metric-affine gravity

abstract: Relaxing the Riemannian condition to incorporate geometric quantities such as torsion and non-metricity may allow to explore new physics associated with defects in a hypothetical space-time microstructure. Here we show that non-metricity produces observable effects in quantum fields in the form of 4-fermion contact interactions, thereby allowing us to constrain the scale of non-metricity to be greater than 1 TeV by using results on Bhabha scattering. Our analysis is carried out in the framework of a wide class of theories of gravity in the metric-affine approach. The bound obtained represents an improvement of several orders of magnitude to previous experimental constraints.


title: Dialogue Act Sequence Labeling using Hierarchical encoder with CRF

abstract: Dialogue Act recognition associate dialogue acts (i.e., semantic labels) to utterances in a conversation. The problem of associating semantic labels to utterances can be treated as a sequence labeling problem. In this work, we build a hierarchical recurrent neural network using bidirectional LSTM as a base unit and the conditional random field (CRF) as the top layer to classify each utterance into its corresponding dialogue act. The hierarchical network learns representations at multiple levels, i.e., word level, utterance level, and conversation level. The conversation level representations are input to the CRF layer, which takes into account not only all previous utterances but also their dialogue acts, thus modeling the dependency among both, labels and utterances, an important consideration of natural dialogue. We validate our approach on two different benchmark data sets, Switchboard and Meeting Recorder Dialogue Act, and show performance improvement over the state-of-the-art methods by $2.2\%$ and $4.1\%$ absolute points, respectively. It is worth noting that the inter-annotator agreement on Switchboard data set is $84\%$, and our method is able to achieve the accuracy of about $79\%$ despite being trained on the noisy data.


title: Stability of DNA molecule in conical shaped cellular environment

abstract: DNA inside the cellular environment works under a confined space. An intense research of the transcription and replication of DNA in the confined state is structurally significant to command the self assembly of DNA in a chamber or channel. In this work, we consider double stranded DNA (dsDNA) molecules of different length and sequence and study the thermal stability of the molecule in a confined space of conical geometry. Using the Peyrard-Bishop-Dauxois (PBD) model, we evaluate the melting profile of dsDNA that is confined on one side of the conical wall that mimics cellular boundary. Our results show that not only the confinement, but also the geometry of the confined space plays a prominent role in the stability of the molecule.


title: Inflationary attractors from nonminimal coupling

abstract: We show explicitly how the E model attractor is obtained from the general scalar-tensor theory of gravity with arbitrary conformal factors in the strong coupling limit. By using conformal transformations, any attractor with the observables $n_s$ and $r$ can be obtained. The existence of attractors imposes a challenge to distinguish different models.


title: Ultrafast spin-lattice relaxation in ferromagnets including effective spin-orbit fields

abstract: We investigate ultrafast demagnetization due to electron-phonon interaction in a model band-ferromagnet. We show that the microscopic mechanism behind the spin dynamics due to electron-phonon interaction is the interplay of scattering and the precession around momentum-dependent effective internal spin-orbit magnetic fields. The resulting magnetization dynamics can only be mimicked by spin-flip transitions if the spin precession around the internal fields is sufficiently fast (compared to the scattering time) so that it averages out the transverse spin components.


title: Generation and properties of nut graphs

abstract: A nut graph is a graph on at least 2 vertices whose adjacency matrix has nullity 1 and for which non-trivial kernel vectors do not contain a zero. Chemical graphs are connected, with maximum degree at most three. We present a new algorithm for the exhaustive generation of non-isomorphic nut graphs. Using this algorithm, we determined all nut graphs up to 13 vertices and all chemical nut graphs up to 22 vertices. Furthermore, we determined all nut graphs among the cubic polyhedra up to 34 vertices and all nut fullerenes up to 250 vertices. Nut graphs are of interest in chemistry of conjugated systems, in models of electronic structure, radical reactivity and molecular conduction. The relevant mathematical properties of chemical nut graphs are the position of the zero eigenvalue in the graph spectrum, and the dispersion in magnitudes of kernel eigenvector entries ($r$: the ratio of maximum to minimum magnitude of entries). Statistics are gathered on these properties for all the nut graphs generated here. We also show that all chemical nut graphs have $r \ge 2$ and that there is at least one chemical nut graph with $r = 2$ for every order $n \ge 9$ (with the exception of $n = 10$).


title: On the Generation of Initial Contexts for Effective Deadlock Detection

abstract: It has been recently proposed that testing based on symbolic execution can be used in conjunction with static deadlock analysis to define a deadlock detection framework that: (i) can show deadlock presence, in that case a concrete test-case and trace are obtained, and (ii) can also prove deadlock freedom. Such symbolic execution starts from an initial distributed context, i.e., a set of locations and their initial tasks. Considering all possibilities results in a combinatorial explosion on the different distributed contexts that must be considered. This paper proposes a technique to effectively generate initial contexts that can lead to deadlock, using the possible conflicting task interactions identified by static analysis, discarding other distributed contexts that cannot lead to deadlock. The proposed technique has been integrated in the above-mentioned deadlock detection framework hence enabling it to analyze systems without the need of any user supplied initial context.


title: Upper limits on gamma-ray emission from Supernovae serendipitously observed with H.E.S.S

abstract: Recent theoretical models suggest that young supernovae might be able to accelerate particles, which in turn might generate very high energy gamma-ray emission. We search for gamma-ray emission towards supernovae in nearby galaxies which were serendipitously within the field of view of the High Energy Stereoscopic System (H.E.S.S.) within a year of the supernova event. H.E.S.S. data collected between December 2003 and March 2015 were considered and compared to recent catalogs. Nine candidate supernovae were identified and analyzed. No significant emission from these objects has been found. Gamma-ray emission upper limits, which are of the order $\sim$10$^{-13}$ cm$^{-2}$s$^{-1}$ above 1 TeV, are reported.


title: Multifunctional meta-mirror: polarization splitting and focusing

abstract: Metasurfaces are paving the way to improve traditional optical components by integrating multiple functionalities into one optically flat metasurface design. We demonstrate the implementation of a multifunctional gap surface plasmon-based metasurface which, in reflection mode, splits orthogonal linear light polarizations and focuses into different focal spots. The fabricated configuration consists of 50 nm thick gold nanobricks with different lateral dimensions, organized in an array of 240 nm x 240 nm unit cells on the top of a 50 nm thick silicon dioxide layer, which is deposited on an optically thick reflecting gold substrate. Our device features high efficiency (up to ~65%) and polarization extinction ratio (up to ~30 dB), exhibiting broadband response in the near-infrared band (750-950 nm wavelength) with the focal length dependent on the wavelength of incident light. The proposed optical component can be forthrightly integrated into photonic circuits or fiber optic devices.


title: Effects of spatial curvature and anisotropy on the asymptotic regimes in Einstein-Gauss-Bonnet gravity

abstract: In this paper we address two important issues which could affect reaching the exponential and Kasner asymptotes in Einstein-Gauss-Bonnet cosmologies -- spatial curvature and anisotropy in both three- and extra-dimensional subspaces. In the first part of the paper we consider cosmological evolution of spaces being the product of two isotropic and spatially curved subspaces. It is demonstrated that the dynamics in $D=2$ (the number of extra dimensions) and $D \geqslant 3$ is different. It was already known that for the $\Lambda$-term case there is a regime with "stabilization" of extra dimensions, where the expansion rate of the three-dimensional subspace as well as the scale factor (the "size") associated with extra dimensions reach constant value. This regime is achieved if the curvature of the extra dimensions is negative. We demonstrate that it take place only if the number of extra dimensions is $D \geqslant 3$. In the second part of the paper we study the influence of initial anisotropy. Our study reveals that the transition from Gauss-Bonnet Kasner regime to anisotropic exponential expansion (with expanding three and contracting extra dimensions) is stable with respect to breaking the symmetry within both three- and extra-dimensional subspaces. However, the details of the dynamics in $D=2$ and $D \geqslant 3$ are different. Combining the two described affects allows us to construct a scenario in $D \geqslant 3$, where isotropisation of outer and inner subspaces is reached dynamically from rather general anisotropic initial conditions.


title: Quantum criticality in many-body parafermion chains

abstract: We construct local generalizations of 3-state Potts models with exotic critical points. We analytically show that these are described by non-diagonal modular invariant partition functions of products of $Z_3$ parafermion or $u(1)_6$ conformal field theories (CFTs). These correspond either to non-trivial permutation invariants or block diagonal invariants, that one can understand in terms of anyon condensation. In terms of lattice parafermion operators, the constructed models correspond to parafermion chains with many-body terms. Our construction is based on how the partition function of a CFT depends on symmetry sectors and boundary conditions. This enables to write the partition function corresponding to one modular invariant as a linear combination of another over different sectors and boundary conditions, which translates to a general recipe how to write down a microscopic model, tuned to criticality. We show that the scheme can also be extended to construct critical generalizations of $k$-state clock type models.


title: Quantifying Bell non-locality with the trace distance

abstract: Measurements performed on distant parts of an entangled quantum state can generate correlations incompatible with classical theories respecting the assumption of local causality. This is the phenomenon known as quantum non-locality that, apart from its fundamental role, can also be put to practical use in applications such as cryptography and distributed computing. Clearly, developing ways of quantifying non-locality is an important primitive in this scenario. Here, we propose to quantify the non-locality of a given probability distribution via its trace distance to the set of classical correlations. We show that this measure is a monotone under the free operations of a resource theory and that furthermore can be computed efficiently with a linear program. We put our framework to use in a variety of relevant Bell scenarios also comparing the trace distance to other standard measures in the literature.


title: On continuity of solutions for parabolic control systems and input-to-state stability

abstract: We study minimal conditions under which mild solutions of linear evolutionary control systems are continuous for arbitrary bounded input functions. This question naturally appears when working with boundary controlled, linear partial differential equations. Here, we focus on parabolic equations which allow for operator-theoretic methods such as the holomorphic functional calculus. Moreover, we investigate stronger conditions than continuity leading to input-to-state stability with respect to Orlicz spaces. This also implies that the notions of input-to-state stability and integral-input-to-state stability coincide if additionally the uncontrolled equation is dissipative and the input space is finite-dimensional.


title: Lower Bounds for Approximating Graph Parameters via Communication Complexity

abstract: In a celebrated work, Blais, Brody, and Matulef developed a technique for proving property testing lower bounds via reductions from communication complexity. Their work focused on testing properties of functions, and yielded new lower bounds as well as simplified analyses of known lower bounds. Here, we take a further step in generalizing the methodology of Blais et al. to analyze the query complexity of graph parameter estimation problems. In particular, our technique decouples the lower bound arguments from the representation of the graph, allowing it to work with any query type. We illustrate our technique by providing new simpler proofs of previously known tight lower bounds for the query complexity of several graph problems: estimating the number of edges in a graph, sampling edges from an almost-uniform distribution, estimating the number of triangles (and more generally, $r$-cliques) in a graph, and estimating the moments of the degree distribution of a graph. We also prove new lower bounds for estimating the edge connectivity of a graph and estimating the number of instances of any fixed subgraph in a graph. We show that the lower bounds for estimating the number of triangles and edge connectivity also hold in a strictly stronger computational model that allows access to uniformly random edge samples.


title: Deformation of the Galactic Centre stellar cusp due to the gravity of a growing gas disc

abstract: The nuclear star cluster surrounding the massive black hole at the Galactic Centre consists of young and old stars, with most of the stellar mass in an extended, cuspy distribution of old stars. The compact cluster of young stars was probably born in situ in a massive accretion disc around the black hole. We investigate the effect of the growing gravity of the disc on the orbits of the old stars, using an integrable model of the deformation of a spherical star cluster with anisotropic velocity dispersions. A formula for the perturbed phase space distribution function is derived using linear theory, and new density and surface density profiles are computed. The cusp undergoes a spheroidal deformation with the flattening increasing strongly at smaller distances from the black hole; the intrinsic axis ratio ~ 0.8 at ~ 0.15 pc. Stellar orbits are deformed such that they spend more time near the disc plane and sample the dense inner parts of the disc; this could result in enhanced stripping of the envelopes of red giant stars. Linear theory accounts only for orbits whose apsides circulate. The non-linear theory of adiabatic capture into resonance is needed to understand orbits whose apsides librate. The mechanism is a generic dynamical process, and it may be common in galactic nuclei.


title: Flexible End-to-End Dialogue System for Knowledge Grounded Conversation

abstract: In knowledge grounded conversation, domain knowledge plays an important role in a special domain such as Music. The response of knowledge grounded conversation might contain multiple answer entities or no entity at all. Although existing generative question answering (QA) systems can be applied to knowledge grounded conversation, they either have at most one entity in a response or cannot deal with out-of-vocabulary entities. We propose a fully data-driven generative dialogue system GenDS that is capable of generating responses based on input message and related knowledge base (KB). To generate arbitrary number of answer entities even when these entities never appear in the training set, we design a dynamic knowledge enquirer which selects different answer entities at different positions in a single response, according to different local context. It does not rely on the representations of entities, enabling our model deal with out-of-vocabulary entities. We collect a human-human conversation data (ConversMusic) with knowledge annotations. The proposed method is evaluated on CoversMusic and a public question answering dataset. Our proposed GenDS system outperforms baseline methods significantly in terms of the BLEU, entity accuracy, entity recall and human evaluation. Moreover,the experiments also demonstrate that GenDS works better even on small datasets.


title: Pollicott-Ruelle spectrum and Witten Laplacians

abstract: We study the asymptotic behaviour of eigenvalues and eigenmodes of the Witten Laplacian on a smooth compact Riemannian manifold without boundary. We show that they converge to the Pollicott-Ruelle spectrum of the corresponding gradient flow acting on appropriate anisotropic Sobolev spaces. In particular, our results relate the approach of Laudenbach and Harvey--Lawson to Morse theory using currents, which was discussed in previous work of the authors, and Witten's point of view based on semiclassical analysis and tunneling. As an application of our methods, we also construct a natural family of quasimodes satisfying the Witten-Helffer-Sj\"ostrand tunneling formulas and the Fukaya conjecture on Witten deformation of the wedge product.


title: Strong local optimality for generalized L1 optimal control problems

abstract: In this paper, we analyse control affine optimal control problems with a cost functional involving the absolute value of the control. The Pontryagin extremals associated with such systems are given by (possible) concatenations of bang arcs with singular arcs and with inactivated arcs, that is, arcs where the control is identically zero. Here we consider Pontryagin extremals given by a bang-inactive-bang concatenation. We establish sufficient optimality conditions for such extremals, in terms of some regularity conditions and of the coercivity of a suitable finite-dimensional second variation.


title: A cram\'er type moderate deviation theorem for the critical curie-weiss model

abstract: In this paper we study the moderate deviations for the magnetization of critical Curie-Weiss model. Chen, Fang and Shao considered a similar problem for non-critical model by using Stein method. By direct and simple arguments based on Laplace method, we provide an explicit formula of the error and deduce a Cram\'er-type result.


title: Strong and radiative decays of the low-lying $S$- and $P$-wave singly heavy baryons

abstract: The strong and radiative decays of the low-lying $S$- and $P$-wave $\Lambda_{c(b)}$, $\Sigma_{c(b)}$, $\Xi_{c(b)}$, $\Xi_{c(b)}'$ and $\Omega_{c(b)}$ baryons are systematically studied in a constituent quark model. We find that the radiative decay mode $\Lambda_b^0\gamma$ could be very useful for us to establish the missing neutral states $\Sigma_b^{0}$ and $\Sigma_b^{*0}$. Our calculation shows that most of those missing $\lambda$-mode $P$-wave singly heavy baryons have relatively narrow decay width of less than 30 MeV. Their dominant strong and radiative decay channels can be ideal for searching for their signals in future experiment. Configuration mixings between the $J^P=1/2^-$ states $|^2P_{\lambda} \frac{1}{2}^- \rangle$ and $|^4P_{\lambda} \frac{1}{2}^- \rangle$ of the $\mathbf{6}_F$ multiplet are discussed. The $\Xi_c(2930)^0$ state seems to favor the mixed state $|\Xi_c'~ P_{\lambda}\frac{1}{2}^-\rangle_2$ with $J^P=1/2^-$. The $\Sigma_c(2800)$ resonance may be assigned to $|\Sigma_c~ ^2P_{\lambda} \frac{3}{2}^- \rangle$ with $J^P=3/2^-$ or $|\Sigma_c~ ^4P_{\lambda} \frac{5}{2}^- \rangle$ with $J^P=5/2^-$. In general, the excitations of $|^2P_{\lambda} \frac{3}{2}^- \rangle$ and $|^4P_{\lambda} \frac{5}{2}^- \rangle$ of the $\mathbf{6}_F$ multiplet have similar strong decay properties. In order to to identify them, angular distributions of their decays in either strong decay modes or radiative transitions should be needed.


title: Intrinsic time lags in blazar flares and the search of Lorentz Invariance Violation signatures

abstract: Some Quantum Gravity models predict a violation of Lorentz invariance. Namely, the velocity of photons in vacuum could depend on their energies. One possibility for Lorentz Invariance Violation (LIV) searches is to look for energy-dependent delays in the arrival time of very high energy (VHE) photons coming from distant sources such as TeV emitting Active Galactic Nuclei (AGN), mainly blazars. Up to now, observations of flaring AGN have only provided upper limits on LIV energy scale since no significant time-delay was found and confirmed. However, AGN are not perfect sources for such LIV searches because intrinsic temporal effects can be produced by emission processes, similarly to what has been observed with gamma-ray bursts. With the beginning of the Cherenkov Telescope Array (CTA) operations in the coming decade, significant lags should be measured and the question of the origin of these lags will arise. In particular, propagation effects (LIV) will have to be disentangled from source-intrinsic effects. A precise time-dependent modeling of blazar flares becomes necessary to understand the different origins of these time-delays. In this contribution we report on time-delay studies for blazars in the VHE domain. Using dif- ferent time-dependent emission scenarios of blazar flares, we illustrate their resulting intrinsic spectral lags and provide tools for further analyses of the fine temporal and spectral behavior of such astrophysical sources. Tightly constraining intrinsic effects should then allow to better high- light any extrinsic contribution due to LIV. Conversely, any significant detection of a time-delay should provide new constraints on emission scenarios.


title: On cobordism maps on periodic Floer homology

abstract: In this article, we investigate the cobordism maps on periodic Floer homology (PFH). In the first part of the paper, we define the cobordism maps on PFH via Seiberg Witten theory as well as the isomorphism between PFH and Seiberg Witten cohomology. Furthermore, we show that the maps satisfy the holomorphic curve axiom. In the second part of the paper, we give an alternative definition of these maps by using holomorphic curve method, provided that the symplectic cobordisms are Lefschetz fibration satisfying certain nice conditions. Under additionally certain monotonicity assumptions, we show that these two definitions are equivalent.


title: Action Schema Networks: Generalised Policies with Deep Learning

abstract: In this paper, we introduce the Action Schema Network (ASNet): a neural network architecture for learning generalised policies for probabilistic planning problems. By mimicking the relational structure of planning problems, ASNets are able to adopt a weight-sharing scheme which allows the network to be applied to any problem from a given planning domain. This allows the cost of training the network to be amortised over all problems in that domain. Further, we propose a training method which balances exploration and supervised training on small problems to produce a policy which remains robust when evaluated on larger problems. In experiments, we show that ASNet's learning capability allows it to significantly outperform traditional non-learning planners in several challenging domains.


title: Embryology of the eye

abstract: In order to better understand the mechanisms underlying the physiology of vision, it is a necessary prerequisite to know the embryological bases of eye development and associated tissues. Eye formation starts during the fourth week of human embryonic life, when the ocular primordium can be distinguished from the lateral diverticula of the anterior brain by complex morphogenetic movements. It requires the input of various germ layers of the embryo: neuroectoderm, surface ectoderm, mesoderm and neural crest cells, in order to elaborate the different components. Perturbations of the cellular interactions and molecular mechanisms mobilized during these critical steps are responsible for varied congenital anomalies. We will discuss, relative to this, the embryological processes where their misregulation are at the root of ocular malformations and which are developed in more detail in other chapters of this book.


title: Atmospheric calibration of the Cherenkov Telescope Array

abstract: Atmospheric monitoring is an integral part of the design of the Cherenkov Telescope Array (CTA), as atmospheric conditions affect the observations by Imaging Atmospheric Cherenkov Telescopes (IACT) in multiple ways. The variable optical properties of the atmosphere are a major contribution to the systematic uncertainty in the determination of the energy and flux of the gamma photons. Both the development of the air-shower and the production of Cherenkov light depend on the molecular profile of the atmosphere. Additionally, the rapidly changing aerosol profile, affecting the transmission of the Cherenkov light, needs to be monitored on short time scales. Establishing a procedure to select targets based on current atmospheric conditions can increase the efficiency of the use of the observation time. The knowledge of atmospheric properties of the future CTA locations and their annual and short-term variations in advance is essential so that the atmospheric calibration can be readily applied to first scientific data. To this end, some devices are already installed at one or both of the selected sites...


title: Delay-robust control design for two heterodirectional linear coupled hyperbolic PDEs

abstract: We detail in this article the necessity of a change of paradigm for the delay-robust control of systems composed of two linear first order hyperbolic equations. One must go back to the classical trade-off between convergence rate and delay-robustness. More precisely, we prove that, for systems with strong reflections, canceling the reflection at the actuated boundary will yield zero delay-robustness. Indeed, for such systems, using a backstepping-controller, the corresponding target system should preserve a small amount of this reflection to ensure robustness to a small delay in the loop. This implies, in some cases, giving up finite time convergence.


title: Moduli of $p$-adic representations of a profinite group

abstract: Let $X$ be a smooth and proper scheme over an algebraically closed field. The purpose of the current text is twofold. First, we construct the moduli stack parametrizing rank $n$ continuous $p$-adic representations of the \'etale fundamental group $\pi_1^\textrm{\'et}(X)$. Our construction realizes such object as a $\mathbb{Q}_p$-analytic stack, denoted $\mathrm{LocSys}_{p,n } (X)$. Secondly, we prove that $\mathrm{LocSys}_{p,n}(X)$ admits a canonical derived structure. This derived structure allow us to intrinsically recover the deformation theory of continuous $p$-adic representations, studied in [GV18]. Our proof of geometricity of $\mathrm{LocSys}_{p,n}(X)$ uses in an essential way the $\mathbb{Q}_p$-analytic analogue of Lurie-Artin representability, proved in [PY17].


title: On the Cubic Lowest Landau Level Equation

abstract: We study dynamical properties of the cubic lowest Landau level equation, which is used in the modeling of fast rotating Bose-Einstein condensates. We obtain bounds on the decay of general stationary solutions. We then provide a classification of stationary waves with a finite number of zeros. Finally, we are able to establish which of these stationary waves are stable, through a variational analysis.


title: Finite Element Method For Solving The Dirac Eigenvalue Problem With Linear Basis Functions

abstract: In this work we will treat the spurious eigenvalues obstacle that appears in the computation of the radial Dirac eigenvalue problem using numerical methods. The treatment of the spurious solution is based on applying Petrov-Galerkin finite element method. The significance of this work is the employment of just continuous basis functions, thus the need of a continuous function which has a continuous first derivative as a basis, as in [ALMAN,ALMANA,ALMA], is no longer required. The Petrov-Galerkin finite element method for the Dirac eigenvalue problem strongly depends on a stability parameter, $\tau$, that controls the size of the diffusion terms added to the finite element formulation for the problem. The mesh-dependent parameter $\tau$ is derived based on the given problem with the particular basis functions.


title: Generalized Long-Moody functors

abstract: In this paper, we generalize the principle of the Long-Moody construction for representations of braid groups to other groups, such as mapping class groups of surfaces. Namely, we introduce endofunctors over a functor category that encodes representations of a family of groups. They are called Long-Moody functors and provide new representations. In this context, notions of polynomial functors are defined and play an important role in the study of homological stability. We prove that, under additional assumptions, a Long-Moody functor increases the very strong and weak polynomial degrees of functors by one.


title: Enumeration of permutations avoiding a triple of 4-letter patterns is all done

abstract: This paper completes a project to enumerate permutations avoiding a triple T of 4-letter patterns, in the sense of classical pattern avoidance, for every T. There are 317 symmetry classes of such triples T and previous papers have enumerated avoiders for all but 14 of them. One of these 14 is conjectured not to have an algebraic generating function. Here, we find the generating function for each of the remaining 13, and it is algebraic in each case.


title: Dual simulation of the massless lattice Schwinger model with topological term and non-zero chemical potential

abstract: We discuss simulation strategies for the massless lattice Schwinger model with a topological term and finite chemical potential. The simulation is done in a dual representation where the complex action problem is solved and the partition function is a sum over fermion loops, fermion dimers and plaquette-occupation numbers. We explore strategies to update the fermion loops coupled to the gauge degrees of freedom and check our results with conventional simulations (without topological term and at zero chemical potential), as well as with exact summation on small volumes. Some physical implications of the results are discussed.


title: VEXPA: Validated EXPonential Analysis through regular sub-sampling

abstract: We present a procedure that adds a number of desirable features to standard exponential analysis algorithms, among which output reliability, a divide-and-conquer approach, the automatic detection of the exponential model order, robustness against some outliers, and the possibility to parallelize the analysis. The key enabler for these features is the introduction of uniform sub-Nyquist sampling through decimation of the dense signal data. We actually make use of possible aliasing effects to recondition the problem statement rather than that we avoid aliasing. In Section 2 the standard exponential analysis is described, including a sensitivity analysis. In Section 3 the ingredients for the new approach are collected, of which good use is made in Section 4 where we essentially bring everything together in what we call VEXPA. Some numerical examples of the new procedure illustrate in Section 5 that the additional features are indeed realized and that VEXPA is a valuable add-on to any stand-alone exponential analysis. While returning a lot of additional output, it maintains a favourable comparison to the CRLB of the underlying method, for which we here choose a matrix pencil method. Moreover, the output reliability of VEXPA is similar to that of atomic norm minimization, whereas its computational complexity is far less.


title: Families of non-linear subdivision schemes for scattered data fitting and their non-tensor product extensions

abstract: In this article, families of non-linear subdivision schemes are presented that are based on univariate polynomials up to degree three. Theses families of schemes are constructed by using dynamic iterative re-weighed least squares method. These schemes are suitable for fitting scattered data with noise and outliers. Although these schemes are non-interpolatory, but have the ability to preserve the shape of the initial polygon in case of non-noisy initial data. The numerical examples illustrate that the schemes constructed by non-linear polynomials give better performance than the schemes that are constructed by linear polynomials (Computer-Aided Design, 58, 189-199). Moreover, the numerical examples show that these schemes have the ability to reproduce polynomials and do not cause over and under fitting of the data. Furthermore, families of non-linear bivariate subdivision schemes are also presented that are based on linear and non-linear bivariate polynomials.


title: Finite connected components in infinite directed and multiplex networks with arbitrary degree distributions

abstract: This work presents exact expressions for size distributions of weak/multilayer connected components in two generalisations of the configuration model: networks with directed edges and multiplex networks with arbitrary number of layers. The expressions are computable in a polynomial time, and, under some restrictions, are tractable from the asymptotic theory point of view. If first partial moments of the degree distribution are finite, the size distribution for two-layer connected components in multiplex networks exhibits exponent $-\frac{3}{2}$ in the critical regime, whereas the size distribution of weakly connected components in directed networks exhibits two critical exponents, $-\frac{1}{2}$ and $-\frac{3}{2}$.


title: Accelerating Analytical Processing in MVCC using Fine-Granular High-Frequency Virtual Snapshotting

abstract: Efficient transactional management is a delicate task. As systems face transactions of inherently different types, ranging from point updates to long running analytical computations, it is hard to satisfy their individual requirements with a single processing component. Unfortunately, most systems nowadays rely on such a single component that implements its parallelism using multi-version concurrency control (MVCC). While MVCC parallelizes short-running OLTP transactions very well, it struggles in the presence of mixed workloads containing long-running scan-centric OLAP queries, as scans have to work their way through large amounts of versioned data. To overcome this problem, we propose a system, which reintroduces the concept of heterogeneous transaction processing: OLAP transactions are outsourced to run on separate (virtual) snapshots while OLTP transactions run on the most recent representation of the database. Inside both components, MVCC ensures a high degree of concurrency. The biggest challenge of such a heterogeneous approach is to generate the snapshots at a high frequency. Previous approaches heavily suffered from the tremendous cost of snapshot creation. In our system, we overcome the restrictions of the OS by introducing a custom system call vm_snapshot, that is hand-tailored to our precise needs: it allows fine-granular snapshot creation at very high frequencies, rendering the snapshot creation phase orders of magnitudes faster than state-of-the-art approaches. Our experimental evaluation on a heterogeneous workload based on TPC-H transactions and handcrafted OLTP transactions shows that our system enables significantly higher analytical transaction throughputs on mixed workloads than homogeneous approaches. In this sense, we introduce a system that accelerates Analytical processing by introducing custom Kernel functionalities: AnKerDB.


title: Estimation of the marginal expected shortfall under asymptotic independence

abstract: We study the asymptotic behavior of the marginal expected shortfall when the two random variables are asymptotic independent but positive associated, which is modeled by the so-called tail dependent coefficient. We construct an estimator of the marginal expected shortfall which is shown to be asymptotically normal. The finite sample performance of the estimator is investigated in a small simulation study. The method is also applied to estimate the expected amount of rainfall at a weather station given that there is a once every 100 years rainfall at another weather station nearby.


title: Disagreement percolation for Gibbs ball models

abstract: We generalise disagreement percolation to Gibbs point processes of balls with varying radii. This allows to establish the uniqueness of the Gibbs measure and exponential decay of pair correlations in the low activity regime by comparison with a sub-critical Boolean model. Applications to the Continuum Random Cluster model and the Quermass-interaction model are presented. At the core of our proof lies an explicit dependent thinning from a Poisson point process to a dominated Gibbs point process.


title: Sharp nonexistence results for curvature equations with four singular sources on rectangular tori

abstract: In this paper, we prove that there are no solutions for the curvature equation \[ \Delta u+e^{u}=8\pi n\delta_{0}\text{ on }E_{\tau}, \quad n\in\mathbb{N}, \] where $E_{\tau}$ is a flat rectangular torus and $\delta_{0}$ is the Dirac measure at the lattice points. This confirms a conjecture in \cite{CLW2} and also improves a result of Eremenko and Gabrielov \cite{EG}. The nonexistence is a delicate problem because the equation always has solutions if $8\pi n$ in the RHS is replaced by $2\pi \rho$ with $0<\rho\notin 4\mathbb{N}$. Geometrically, our result implies that a rectangular torus $E_{\tau}$ admits a metric with curvature $+1$ acquiring a conic singularity at the lattice points with angle $2\pi\alpha$ if and only if $\alpha$ is not an odd integer. Unexpectedly, our proof of the nonexistence result is to apply the spectral theory of finite-gap potential, or equivalently the algebro-geometric solutions of stationary KdV hierarchy equations. Indeed, our proof can also yield a sharp nonexistence result for the curvature equation with singular sources at three half periods and the lattice points.


title: Area anomaly in the rough path Brownian scaling limit of hidden Markov walks

abstract: We study the convergence in rough path topology of a certain class of discrete processes, the hidden Markov walks, to a Brownian motion with an area anomaly. This area anomaly, which is a new object, keeps track of the time-correlation of the discrete models and brings into light the question of embeddings of discrete processes into continuous time. We also identify an underlying combinatorial structure in the hidden Markov walks, which turns out to be a generalization of the occupation time from the classical ergodic theorem in the spirit of rough paths.


title: Measurement of b quark EW couplings at ILC

abstract: This paper describes an analysis performed at 250 GeV centre of mass energy for the reaction e+e- -> bbbar with the International Linear Collider, ILC, assuming an integrated luminosity of 500 fb-1. This measurement requires determining the b quark charge, which can be optimally performed using the precise micro-vertex detector of the detector ILD and the charged kaon identification provided by the dE/dx information of its TPC. Given that the forward backward asymmetry is maximal for e-L (Left-handed electron polarisation), it has been necessary to develop a new method to correct for unavoidable angular migration due to b charge mis-measurements. This correction is based on the reconstructed events themselves without introducing external corrections which would induce large uncertainties. With polarized beams, one can separate the Z and photon vector and axial couplings to b quarks. The precision reached is at the few per mill level, and should allow to confirm/discard the deviation observed at LEP1 on the ZbRbR coupling. Model independent upper bounds on the tensor couplings, F2V and F2A, are derived using the shape of the angular distribution.


title: Approximate Integration of streaming data

abstract: We approximate analytic queries on streaming data with a weighted reservoir sampling. For a stream of tuples of a Datawarehouse we show how to approximate some OLAP queries. For a stream of graph edges from a Social Network, we approximate the communities as the large connected components of the edges in the reservoir. We show that for a model of random graphs which follow a power law degree distribution, the community detection algorithm is a good approximation. Given two streams of graph edges from two Sources, we define the {\em Community Correlation} as the fraction of the nodes in communities in both streams. Although we do not store the edges of the streams, we can approximate the Community Correlation and define the {\em Integration of two streams}. We illustrate this approach with Twitter streams, associated with TV programs.


title: Flora robotica -- An Architectural System Combining Living Natural Plants and Distributed Robots

abstract: Key to our project flora robotica is the idea of creating a bio-hybrid system of tightly coupled natural plants and distributed robots to grow architectural artifacts and spaces. Our motivation with this ground research project is to lay a principled foundation towards the design and implementation of living architectural systems that provide functionalities beyond those of orthodox building practice, such as self-repair, material accumulation and self-organization. Plants and robots work together to create a living organism that is inhabited by human beings. User-defined design objectives help to steer the directional growth of the plants, but also the system's interactions with its inhabitants determine locations where growth is prohibited or desired (e.g., partitions, windows, occupiable space). We report our plant species selection process and aspects of living architecture. A leitmotif of our project is the rich concept of braiding: braids are produced by robots from continuous material and serve as both scaffolds and initial architectural artifacts before plants take over and grow the desired architecture. We use light and hormones as attraction stimuli and far-red light as repelling stimulus to influence the plants. Applied sensors range from simple proximity sensing to detect the presence of plants to sophisticated sensing technology, such as electrophysiology and measurements of sap flow. We conclude by discussing our anticipated final demonstrator that integrates key features of flora robotica, such as the continuous growth process of architectural artifacts and self-repair of living architecture.


title: Nearly finite Chacon Transformation

abstract: We construct an infinite-measure preserving version of Chacon transformation, and prove that it has a property similar to Minimal Self-Joinings in finite measure: its Cartesian powers have as few invariant Radon measures as possible.


title: Rotating black hole geometries in a two-dimensional photon superfluid

abstract: Analogue gravity studies the physics of curved spacetime in laboratory experiments, where the propagation of elementary excitations in inhomogeneous flows is mapped to those of scalar fields in a curved spacetime metric. While most analogue gravity experiments are performed in 1+1 dimensions (one spatial plus time) and thus can only mimic only 1+1D spacetime, we present a 2+1D photon (room temperature) superfluid where the geometry of a rotating acoustic black hole can be realized in 2+1D dimensions. By measuring the local flow velocity and speed of waves in the superfluid, we identify a 2D region surrounded by an ergo sphere and a spatially separated event horizon. This provides the first direct experimental evidence of an ergosphere and horizon in any system, and the possibility in the future to study the analogue of Penrose superradiance from rotating black holes with quantised angular momentum and modified dispersion relations.


title: Sterile Neutrinos or Flux Uncertainties? - Status of the Reactor Anti-Neutrino Anomaly

abstract: The $\sim 3\sigma$ discrepancy between the predicted and observed reactor anti-neutrino flux, known as the reactor anti-neutrino anomaly, continues to intrigue. The recent discovery of an unexpected bump in the reactor anti-neutrino spectrum, as well as indications that the flux deficit is different for different fission isotopes seems to disfavour the explanation of the anomaly in terms of sterile neutrino oscillations. We critically review this conclusion in view of all available data on electron (anti)neutrino disappearance. We find that the sterile neutrino hypothesis cannot be rejected based on global data and is only mildly disfavored compared to an individual rescaling of neutrino fluxes from different fission isotopes. The main reason for this is the presence of spectral features in recent data from the NEOS and DANSS experiments. If state-of-the-art predictions for reactor fluxes are taken at face value, sterile neutrino oscillations allow a consistent description of global data with a significance close to $3\sigma$ relative to the no-oscillation case. Even if reactor fluxes and spectra are left free in the fit, a $2\sigma$ hint in favour of sterile neutrinos remains, with allowed parameter regions consistent with an explanation of the anomaly in terms of oscillations.


title: Densely tracking sequences of 3D face scans

abstract: 3D face dense tracking aims to find dense inter-frame correspondences in a sequence of 3D face scans and constitutes a powerful tool for many face analysis tasks, e.g., 3D dynamic facial expression analysis. The majority of the existing methods just fit a 3D face surface or model to a 3D target surface without considering temporal information between frames. In this paper, we propose a novel method for densely tracking sequences of 3D face scans, which ex- tends the non-rigid ICP algorithm by adding a novel specific criterion for temporal information. A novel fitting framework is presented for automatically tracking a full sequence of 3D face scans. The results of experiments carried out on the BU4D-FE database are promising, showing that the proposed algorithm outperforms state-of-the-art algorithms for 3D face dense tracking.


title: Testing Lorentz symmetry violation with an invariant minimum speed

abstract: This work presents an experimental test of Lorentz invariance violation in the infrared (IR) regime by means of an invariant minimum speed in the spacetime and its effects on the time when an atomic clock given by a certain radioactive single-atom (e.g.: isotope $Na^{25}$) is a thermometer for a ultracold gas like the dipolar gas $Na^{23}K^{40}$. So, according to a Deformed Special Relativity (DSR) so-called Symmetrical Special Relativity (SSR), where there emerges an invariant minimum speed $V$ in the subatomic world, one expects that the proper time of such a clock moving close to $V$ in thermal equilibrium with the ultracold gas is dilated with respect to the improper time given in lab, i.e., the proper time at ultracold systems elapses faster than the improper one for an observer in lab, thus leading to the so-called {\it proper time dilation} so that the atomic decay rate of a ultracold radioactive sample (e.g: $Na^{25}$) becomes larger than the decay rate of the same sample at room temperature. This means a suppression of the half-life time of a radioactive sample thermalized with a ultracold cloud of dipolar gas to be investigated by NASA in the Cold Atom Lab (CAL).


title: A Discontinuous Ritz Method for a Class of Calculus of Variations Problems

abstract: This paper develops an analogue (or counterpart) to discontinuous Galerkin (DG) methods for approximating a general class of calculus of variations problems. The proposed method, called the discontinuous Ritz (DR) method, constructs a numerical solution by minimizing a discrete energy over DG function spaces. The discrete energy includes standard penalization terms as well as the DG finite element (DG-FE) numerical derivatives developed recently by Feng, Lewis, and Neilan in [Feng2013]. It is proved that the proposed DR method converges and that the DG-FE numerical derivatives exhibit a compactness property which is desirable and crucial for applying the proposed DR method to problems with more complex energy functionals. Numerical tests are provided on the classical $p$-Laplace problem to gauge the performance of the proposed DR method.


title: Evaluation of different methods for determining the angle of attack on wind turbine blades with CFD results under axial inflow conditions

abstract: This work presents an investigation on different methods for the calculation of the angle of attack and the underlying induced velocity on wind turbine blades using data obtained from three-dimensional Computational Fluid Dynamics (CFD). Several methods are examined and their advantages, as well as shortcomings, are presented. The investigations are performed for two 10MW reference wind turbines under axial inflow conditions, namely the turbines designed in the EU AVATAR and INNWIND.EU projects. The results show that the evaluated methods are in good agreement with each other at the mid-span, though some deviations are observed at the root and tip regions of the blades. This indicates that CFD results can be used for the calibration of induction modeling for Blade Element Momentum (BEM) tools. Moreover, using any of the proposed methods, it is possible to obtain airfoil characteristics for lift and drag coefficients as a function of the angle of attack.


title: A Survey of Calibration Methods for Optical See-Through Head-Mounted Displays

abstract: Optical see-through head-mounted displays (OST HMDs) are a major output medium for Augmented Reality, which have seen significant growth in popularity and usage among the general public due to the growing release of consumer-oriented models, such as the Microsoft Hololens. Unlike Virtual Reality headsets, OST HMDs inherently support the addition of computer-generated graphics directly into the light path between a user's eyes and their view of the physical world. As with most Augmented and Virtual Reality systems, the physical position of an OST HMD is typically determined by an external or embedded 6-Degree-of-Freedom tracking system. However, in order to properly render virtual objects, which are perceived as spatially aligned with the physical environment, it is also necessary to accurately measure the position of the user's eyes within the tracking system's coordinate frame. For over 20 years, researchers have proposed various calibration methods to determine this needed eye position. However, to date, there has not been a comprehensive overview of these procedures and their requirements. Hence, this paper surveys the field of calibration methods for OST HMDs. Specifically, it provides insights into the fundamentals of calibration techniques, and presents an overview of both manual and automatic approaches, as well as evaluation methods and metrics. Finally, it also identifies opportunities for future research. % relative to the tracking coordinate system, and, hence, its position in 3D space.


title: Is Smaller Better: A Proposal To Consider Bacteria For Biologically Inspired Modeling

abstract: Bacteria are easily characterizable model organisms with an impressively complicated set of capabilities. Among their capabilities is quorum sensing, a detailed cell-cell signaling system that may have a common origin with eukaryotic cell-cell signaling. Not only are the two phenomena similar, but quorum sensing, as is the case with any bacterial phenomenon when compared to eukaryotes, is also easier to study in depth than eukaryotic cell-cell signaling. This ease of study is a contrast to the only partially understood cellular dynamics of neurons. Here we review the literature on the strikingly neuron-like qualities of bacterial colonies and biofilms, including ion-based and hormonal signaling, and action potential-like behavior. This allows them to feasibly act as an analog for neurons that could produce more detailed and more accurate biologically-based computational models. Using bacteria as the basis for biologically feasible computational models may allow models to better harness the tremendous ability of biological organisms to make decisions and process information. Additionally, principles gleaned from bacterial function have the potential to influence computational efforts divorced from biology, just as neuronal function has in the abstract influenced countless machine learning efforts.


title: Quantum error correction for non-maximally entangled states

abstract: Quantum states have high affinity for errors and hence error correction is of utmost importance to realise a quantum computer. Laflamme showed that 5 qubits are necessary to correct a single error on a qubit. In a Pauli error model, four different types of errors can occur on a qubit. Maximally entangled states are orthogonal to each other and hence can be uniquely distinguished by a measurement in the Bell basis. Thus a measurement in Bell basis and a unitary transformation is sufficient to correct error in Bell states. However, such a measurement is not possible for non-maximally entangled states. In this work we show that the 16 possible errors for a non-maximally entangled two qubit system map to only 8 distinct error states. Hence, it is possible to correct the error without perfect knowledge of the type of error. Furthermore, we show that the possible errors can be grouped in such a way that all 4 errors can occur on one qubit, whereas only bit flip error can occur on the second qubit. As a consequence, instead of 10, only 8 qubits are sufficient to correct a single error. We propose an 8-qubit error correcting code to correct a single error in a non-maximally entangled state. We further argue that for an $n$-qubit non-maximally entangled state of the form $a|0>^{n} + b|1>^{n}$, it is always possible to correct a single error with fewer than $5n$ qubits, in fact only $3n+2$ qubits suffice.


title: On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms

abstract: Uniquely closable skeletons of lambda terms are Motzkin-trees that predetermine the unique closed lambda term that can be obtained by labeling their leaves with de Bruijn indices. Likewise, uniquely typable skeletons of closed lambda terms predetermine the unique simply-typed lambda term that can be obtained by labeling their leaves with de Bruijn indices. We derive, through a sequence of logic program transformations, efficient code for their combinatorial generation and study their statistical properties. As a result, we obtain context-free grammars describing closable and uniquely closable skeletons of lambda terms, opening the door for their in-depth study with tools from analytic combinatorics. Our empirical study of the more difficult case of (uniquely) typable terms reveals some interesting open problems about their density and asymptotic behavior. As a connection between the two classes of terms, we also show that uniquely typable closed lambda term skeletons of size $3n+1$ are in a bijection with binary trees of size $n$.


title: Reading Scene Text with Attention Convolutional Sequence Modeling

abstract: Reading text in the wild is a challenging task in the field of computer vision. Existing approaches mainly adopted Connectionist Temporal Classification (CTC) or Attention models based on Recurrent Neural Network (RNN), which is computationally expensive and hard to train. In this paper, we present an end-to-end Attention Convolutional Network for scene text recognition. Firstly, instead of RNN, we adopt the stacked convolutional layers to effectively capture the contextual dependencies of the input sequence, which is characterized by lower computational complexity and easier parallel computation. Compared to the chain structure of recurrent networks, the Convolutional Neural Network (CNN) provides a natural way to capture long-term dependencies between elements, which is 9 times faster than Bidirectional Long Short-Term Memory (BLSTM). Furthermore, in order to enhance the representation of foreground text and suppress the background noise, we incorporate the residual attention modules into a small densely connected network to improve the discriminability of CNN features. We validate the performance of our approach on the standard benchmarks, including the Street View Text, IIIT5K and ICDAR datasets. As a result, state-of-the-art or highly-competitive performance and efficiency show the superiority of the proposed approach.


title: Mesh-based Autoencoders for Localized Deformation Component Analysis

abstract: Spatially localized deformation components are very useful for shape analysis and synthesis in 3D geometry processing. Several methods have recently been developed, with an aim to extract intuitive and interpretable deformation components. However, these techniques suffer from fundamental limitations especially for meshes with noise or large-scale deformations, and may not always be able to identify important deformation components. In this paper we propose a novel mesh-based autoencoder architecture that is able to cope with meshes with irregular topology. We introduce sparse regularization in this framework, which along with convolutional operations, helps localize deformations. Our framework is capable of extracting localized deformation components from mesh data sets with large-scale deformations and is robust to noise. It also provides a nonlinear approach to reconstruction of meshes using the extracted basis, which is more effective than the current linear combination approach. Extensive experiments show that our method outperforms state-of-the-art methods in both qualitative and quantitative evaluations.


title: Automated Cloud Provisioning on AWS using Deep Reinforcement Learning

abstract: As the use of cloud computing continues to rise, controlling cost becomes increasingly important. Yet there is evidence that 30\% - 45\% of cloud spend is wasted. Existing tools for cloud provisioning typically rely on highly trained human experts to specify what to monitor, thresholds for triggering action, and actions. In this paper we explore the use of reinforcement learning (RL) to acquire policies to balance performance and spend, allowing humans to specify what they want as opposed to how to do it, minimizing the need for cloud expertise. Empirical results with tabular, deep, and dueling double deep Q-learning with the CloudSim simulator show the utility of RL and the relative merits of the approaches. We also demonstrate effective policy transfer learning from an extremely simple simulator to CloudSim, with the next step being transfer from CloudSim to an Amazon Web Services physical environment.


title: The 4-Dimensional Light Bulb Theorem (after David Gabai)

abstract: In this note I present my understanding of, that is to say the way I look at, David Gabai's proof of his recent 4-Dimensional Light Bulb Theorem (4D-LBT). His construction, entirely smooth, is an ingenious amalgam of classical moves, and represents the first new hands-on advance in constructive smooth 4-manifold theory, that I am aware of, in a long time.


title: Variational Autoencoders for Deforming 3D Mesh Models

abstract: 3D geometric contents are becoming increasingly popular. In this paper, we study the problem of analyzing deforming 3D meshes using deep neural networks. Deforming 3D meshes are flexible to represent 3D animation sequences as well as collections of objects of the same category, allowing diverse shapes with large-scale non-linear deformations. We propose a novel framework which we call mesh variational autoencoders (mesh VAE), to explore the probabilistic latent space of 3D surfaces. The framework is easy to train, and requires very few training examples. We also propose an extended model which allows flexibly adjusting the significance of different latent variables by altering the prior distribution. Extensive experiments demonstrate that our general framework is able to learn a reasonable representation for a collection of deformable shapes, and produce competitive results for a variety of applications, including shape generation, shape interpolation, shape space embedding and shape exploration, outperforming state-of-the-art methods.


title: CFHQSIR: a Y-band extension of the CFHTLS-Wide survey

abstract: The Canada-France-Hawaii Telescope Legacy Survey (CFHTLS) has been conducted over a five-year period at the CFHT with the MegaCam instrument, totaling 450 nights of observations. The Wide Synoptic Survey is one component of the CFHTLS, covering 155 square degrees in four patches of 23 to 65 square degrees through the whole MegaCam filter set (u*, g', r', i', z') down to i'$_{AB}$ = 24.5. With the motivation of searching for high-redshift quasars at redshifts above 6.5, we extend the multi-wavelength CFHTLS-Wide data in the Y-band down to magnitudes of $\sim$ 22.5 for point sources (5$\sigma$). We observed the four CFHTLS-Wide fields (except one quarter of the W3 field) in the Y-band with the WIRCam instrument at the CFHT. Each field was visited twice, at least three weeks apart. Each visit consisted of two dithered exposures. The images are reduced with the Elixir software used for the CFHTLS and modified to account for the properties of near-InfraRed (IR) data. Two series of image stacks are subsequently produced: four-image stacks for each WIRCam pointing, and one-square-degree tiles matched to the format of the CFHTLS data release. Photometric calibration is performed on stars by fitting stellar spectra to their CFHTLS photometric data and extrapolating their Y-band magnitudes. We measure a limiting magnitude of Y$_{AB} \simeq 22.4$ for point sources (5$\sigma$) in an aperture diameter of 0.93", over 130 square degrees. We produce a multi-wavelength catalogue combining the CFHTLS-Wide optical data with our CFHQSIR (Canada-France High-z quasar survey in the near-InfraRed) Y-band data. We derive the Y-band number counts and compare them to the VIDEO survey. We find that the addition of the CFHQSIR Y-band data to the CFHTLS optical data increases the accuracy of photometric redshifts and reduces the outlier rate from 13.8% to 8.8% in the redshift range 1.05 $\lesssim$ z $\lesssim$ 1.2.


title: Far-Field Inversion for the Deep Interior Scanning CubeSat

abstract: This study aims at advancing mathematical and computational techniques for reconstructing the interior structure of a near earth asteroid (NEA) via Computed Radar Tomography (CRT). We introduce a far-field model for full-wave CRT and validate it numerically for sparse and limited-angle data and an orbiting distance of about 5 km. As a potential future application of the proposed method, we consider the Deep Interior Scanning CUbeSat (DISCUS) concept in which two small spacecraft carrying a bistatic radar localize internal macropores inside a rubble pile asteroid.


title: Chaotic dynamics in a macrospin spin-torque nano-oscillator with delayed feedback

abstract: A theoretical study of delayed feedback in spin-torque nano-oscillators is presented. A macrospin geometry is considered, where self-sustained oscillations are made possible by spin transfer torques associated with spin currents flowing perpendicular to the film plane. By tuning the delay and amplification of the self-injected signal, we identify dynamical regimes in this system such as chaos, switching between precession modes with complex transients, and oscillator death. Such delayed feedback schemes open up a new field of exploration for such oscillators, where the complex transient states might find important applications in information processing.


title: Equilibration and diffusion for a dynamical Lorentz gas

abstract: We consider a model of a dynamical Lorentz gaz : a single particle is moving in $\mathbb{R}^d$ through an array of fixed an soft scatterers each possessing an internal degree of freedom coupled to the particle. Assuming the initial velocity is sufficiently high and modelling the parameters of the scatterers as random variables, we describe the evolution of the kinetic energy of the particle by a Markov chain for which each step corresponds to a collision. We show that the momentum distribution of the particle approaches a Maxwell-Boltzmann distribution with effective temperature $T$ such that $k_BT$ corresponds to an average of the scatterers' kinetic energy.


title: Exploring the Photon-Number Distribution of Bimodal Microlasers

abstract: A photon-number resolving transition edge sensor (TES) is used to measure the photon-number distribution of two microcavity lasers. The investigated devices are bimodal microlasers with similar emission intensity and photon statistics with respect to the photon auto-correlation. Both high-$\beta$ microlasers show partly thermal and partly coherent emission around the lasing threshold. For higher pump powers, the strong mode of microlaser A emits Poissonian distributed photons while the emission of the weak mode is thermal. In contrast, laser B shows a bistability resulting in overlayed thermal and Poissonian distributions. While a standard Hanbury Brown and Twiss experiment cannot distinguish between simple thermal emission of laser A and the mode switching of laser B, a TES allows us to measure the photon-number distribution which provides important insight into the underlying emission processes. Indeed, our experimental data and its theoretical description by a master equation approach show that TESs are capable of revealing subtle effects like temporal mode switching of bimodal microlasers. As such our studies clearly demonstrate the huge benefit and importance of investigating nanophotonic devices via photon-number resolving sensors.


title: Generalized Entanglement Entropies of Quantum Designs

abstract: The entanglement properties of random quantum states or dynamics are important to the study of a broad spectrum of disciplines of physics, ranging from quantum information to high energy and many-body physics. This work investigates the interplay between the degrees of entanglement and randomness in pure states and unitary channels. We reveal strong connections between designs (distributions of states or unitaries that match certain moments of the uniform Haar measure) and generalized entropies (entropic functions that depend on certain powers of the density operator), by showing that R\'enyi entanglement entropies averaged over designs of the same order are almost maximal. This strengthens the celebrated Page's theorem. Moreover, we find that designs of an order that is logarithmic in the dimension maximize all R\'enyi entanglement entropies, and so are completely random in terms of the entanglement spectrum. Our results relate the behaviors of R\'enyi entanglement entropies to the complexity of scrambling and quantum chaos in terms of the degree of randomness, and suggest a generalization of the fast scrambling conjecture.


title: The influence of solvent representation on nuclear shielding calculations of protonation states of small biological molecules

abstract: In this study, we assess the influence of solvation on the accuracy and reliability of nuclear shielding calculations for amino acids in comparison to experimental data. We focus particularly on the performance of solvation methods for different protonation states, as biological molecules occur almost exclusively in aqueous solution and are subject to protonation with pH. We identify significant shortcomings of current implicit solvent models and present a hybrid solvation approach that improves agreement with experimental data by taking into account the presence of direct interactions between amino acid protonation state and water molecules.


title: Field-free perpendicular magnetization switching through domain wall motion in Pt/Co/Cr racetracks by spin orbit torques with the assistance of accompanying Joule heating effect

abstract: Heavy metal/ferromagnetic layers with perpendicular magnetic anisotropy (PMA) have potential applications for high-density information storage in racetrack memories and nonvolatile magnetic random access memories. Writing and erasing of information in these devices are carried out by domain wall (DW) motion and deterministic magnetization switching via electric current generated spin orbital torques (SOTs) with an assistance of in-plane bias field to break the symmetry. Improvements in energy efficiency could be obtained when the switching of perpendicular magnetization is controlled by an electric current generated SOTs without the in-plane bias fields. Here, we report on reversible electric-current-driven magnetization switching through DW motion in Pt/Co/Cr trilayers with PMA at room temperature due to the formation of homochiral Neel-type domain, in which an in-plane effective Dzyaloshinskii-Moriya interaction field exists. Fully deterministic magnetic magnetization switching in this trilayers is based on the enhancement of SOTs from a dedicated design of Pt/Co/Cr structures with two heavy metals Pt and Cr which show the opposite sign of spin Hall angles. We also demonstrated that the simultaneously accompanying Joule heating effect also plays a key role for field-free magnetization switching through the decrease of the propagation field.


title: Regularity of quasi-n-harmonic mappings into NPC spaces

abstract: We prove local Holder continuity of quasi-n-harmonic mappings from Euclidean domains into metric spaces with non-positive curvature in the sense of Alexandrov. We also obtain global Holder continuity of such mappings from bounded Lipschitz domains.


title: Pattern Recognition using Artificial Immune System

abstract: In this thesis, the uses of Artificial Immune Systems (AIS) in Machine learning is studded. the thesis focus on some of immune inspired algorithms such as clonal selection algorithm and artificial immune network. The effect of changing the algorithm parameter on its performance is studded. Then a new immune inspired algorithm for unsupervised classification is proposed. The new algorithm is based on clonal selection principle and named Unsupervised Clonal Selection Classification (UCSC). The new proposed algorithm is almost parameter free. The algorithm parameters are data driven and it adjusts itself to make the classification as fast as possible. The performance of UCSC is evaluated. The experiments show that the proposed UCSC algorithm has a good performance and more reliable.


title: Predictive modeling of die filling of the pharmaceutical granules using the flexible neural tree

abstract: In this work, a computational intelligence (CI) technique named flexible neural tree (FNT) was developed to predict die filling performance of pharmaceutical granules and to identify significant die filling process variables. FNT resembles feedforward neural network, which creates a tree-like structure by using genetic programming. To improve accuracy, FNT parameters were optimized by using differential evolution algorithm. The performance of the FNT-based CI model was evaluated and compared with other CI techniques: multilayer perceptron, Gaussian process regression, and reduced error pruning tree. The accuracy of the CI model was evaluated experimentally using die filling as a case study. The die filling experiments were performed using a model shoe system and three different grades of microcrystalline cellulose (MCC) powders (MCC PH 101, MCC PH 102, and MCC DG). The feed powders were roll-compacted and milled into granules. The granules were then sieved into samples of various size classes. The mass of granules deposited into the die at different shoe speeds was measured. From these experiments, a dataset consisting true density, mean diameter (d50), granule size, and shoe speed as the inputs and the deposited mass as the output was generated. Cross-validation (CV) methods such as 10FCV and 5x2FCV were applied to develop and to validate the predictive models. It was found that the FNT-based CI model (for both CV methods) performed much better than other CI models. Additionally, it was observed that process variables such as the granule size and the shoe speed had a higher impact on the predictability than that of the powder property such as d50. Furthermore, validation of model prediction with experimental data showed that the die filling behavior of coarse granules could be better predicted than that of fine granules.


title: Enhanced Particle Swarm Optimization Algorithms for Multiple-Input Multiple-Output System Modelling using Convolved Gaussian Process Models

abstract: Convolved Gaussian Process (CGP) is able to capture the correlations not only between inputs and outputs but also among the outputs. This allows a superior performance of using CGP than standard Gaussian Process (GP) in the modelling of Multiple-Input Multiple-Output (MIMO) systems when observations are missing for some of outputs. Similar to standard GP, a key issue of CGP is the learning of hyperparameters from a set of input-output observations. It typically performed by maximizing the Log-Likelihood (LL) function which leads to an unconstrained nonlinear and non-convex optimization problem. Algorithms such as Conjugate Gradient (CG) or Broyden-Fletcher-Goldfarb-Shanno (BFGS) are commonly used but they often get stuck in local optima, especially for CGP where there are more hyperparameters. In addition, the LL value is not a reliable indicator for judging the quality intermediate models in the optimization process. In this paper, we propose to use enhanced Particle Swarm Optimization (PSO) algorithms to solve this problem by minimizing the model output error instead. This optimization criterion enables the quality of intermediate solutions to be directly observable during the optimization process. Two enhancements to the standard PSO algorithm which make use of gradient information and the multi- start technique are proposed. Simulation results on the modelling of both linear and nonlinear systems demonstrate the effectiveness of minimizing the model output error to learn hyperparameters and the performance of using enhanced algorithms.


title: An efficient genetic algorithm for large-scale transmit power control of dense industrial wireless networks

abstract: The industrial wireless local area network (IWLAN) is increasingly dense, not only due to the penetration of wireless applications into factories and warehouses, but also because of the rising need of redundancy for robust wireless coverage. Instead of powering on all the nodes with the maximal transmit power, it becomes an unavoidable challenge to control the transmit power of all wireless nodes on a large scale, in order to reduce interference and adapt coverage to the latest shadowing effects in the environment. Therefore, this paper proposes an efficient genetic algorithm (GA) to solve this transmit power control (TPC) problem for dense IWLANs, named GATPC. Effective population initialization, crossover and mutation, parallel computing as well as dedicated speedup measures are introduced to tailor GATPC for the large-scale optimization that is intrinsically involved in this problem. In contrast to most coverage-related optimization algorithms which cannot deal with the prevalent shadowing effects in harsh industrial indoor environments, an empirical one-slope path loss model considering three-dimensional obstacle shadowing effects is used in GATPC, in order to enable accurate yet simple coverage prediction. Experimental validation and numerical experiments in real industrial cases show the promising performance of GATPC in terms of scalability to a hyper-large scale, up to 37-times speedup in resolution runtime, and solution quality to achieve adaptive coverage and to minimize interference.


title: An efficient genetic algorithm for large-scale planning of robust industrial wireless networks

abstract: An industrial indoor environment is harsh for wireless communications compared to an office environment, because the prevalent metal easily causes shadowing effects and affects the availability of an industrial wireless local area network (IWLAN). On the one hand, it is costly, time-consuming, and ineffective to perform trial-and-error manual deployment of wireless nodes. On the other hand, the existing wireless planning tools only focus on office environments such that it is hard to plan IWLANs due to the larger problem size and the deployed IWLANs are vulnerable to prevalent shadowing effects in harsh industrial indoor environments. To fill this gap, this paper proposes an overdimensioning model and a genetic algorithm based over-dimensioning (GAOD) algorithm for deploying large-scale robust IWLANs. As a progress beyond the state-of-the-art wireless planning, two full coverage layers are created. The second coverage layer serves as redundancy in case of shadowing. Meanwhile, the deployment cost is reduced by minimizing the number of access points (APs); the hard constraint of minimal inter-AP spatial paration avoids multiple APs covering the same area to be simultaneously shadowed by the same obstacle. The computation time and occupied memory are dedicatedly considered in the design of GAOD for large-scale optimization. A greedy heuristic based over-dimensioning (GHOD) algorithm and a random OD algorithm are taken as benchmarks. In two vehicle manufacturers with a small and large indoor environment, GAOD outperformed GHOD with up to 20% less APs, while GHOD outputted up to 25% less APs than a random OD algorithm. Furthermore, the effectiveness of this model and GAOD was experimentally validated with a real deployment system.


title: Power Optimizations in MTJ-based Neural Networks through Stochastic Computing

abstract: Artificial Neural Networks (ANNs) have found widespread applications in tasks such as pattern recognition and image classification. However, hardware implementations of ANNs using conventional binary arithmetic units are computationally expensive, energy-intensive and have large area overheads. Stochastic Computing (SC) is an emerging paradigm which replaces these conventional units with simple logic circuits and is particularly suitable for fault-tolerant applications. Spintronic devices, such as Magnetic Tunnel Junctions (MTJs), are capable of replacing CMOS in memory and logic circuits. In this work, we propose an energy-efficient use of MTJs, which exhibit probabilistic switching behavior, as Stochastic Number Generators (SNGs), which forms the basis of our NN implementation in the SC domain. Further, error resilient target applications of NNs allow us to introduce Approximate Computing, a framework wherein accuracy of computations is traded-off for substantial reductions in power consumption. We propose approximating the synaptic weights in our MTJ-based NN implementation, in ways brought about by properties of our MTJ-SNG, to achieve energy-efficiency. We design an algorithm that can perform such approximations within a given error tolerance in a single-layer NN in an optimal way owing to the convexity of the problem formulation. We then use this algorithm and develop a heuristic approach for approximating multi-layer NNs. To give a perspective of the effectiveness of our approach, a 43% reduction in power consumption was obtained with less than 1% accuracy loss on a standard classification problem, with 26% being brought about by the proposed algorithm.


title: Observation of $e^+ e^- \to \eta Y(2175)$ at center-of-mass energies above 3.7$\sim$GeV

abstract: The state $Y(2175)$ is observed in the process $e^+ e^- \to \eta Y(2175)$ at center-of-mass energies between 3.7 and 4.6$\sim$GeV with a statistical significance larger than $10\sigma$ using data collected with the BESIII detector operating at the BEPCII storage ring. This is the first observation of the $Y(2175)$ in this process. The mass and width of the $Y(2175)$ are determined to be ($2135\pm 8\pm 9$)~MeV/$c^2$ and ($104\pm 24\pm 12$)~MeV, respectively, and the production cross section of $e^+ e^- \to \eta Y(2175)\to \eta\phi f_{0}(980)\to \eta\phi \pi^+ \pi^-$ is at a several hundred femtobarn level. No significant signal for the process $e^+ e^- \to \eta' Y(2175)$ is observed and the upper limit on $\sigma(e^+ e^- \to \eta' Y(2175))/\sigma(e^+ e^- \to \eta Y(2175))$ is estimated to be 0.43 at the 90\% confidence level. We also search for $\psi(3686) \to \eta Y(2175)$. No significant signal is observed, indicating a strong suppression relative to the corresponding $J/\psi$ decay, in violation of the "12\% rule."


title: A short-term planning model for high-speed train assignment and maintenance scheduling

abstract: This paper considers the simultaneous high-speed train assignment and maintenance scheduling problem. For the maintenance scheduling module, our focus is the second-level maintenance, which is carried out once a month on average. We propose a binary non-linear programming model to mathematically describe the problem. The objective aims to minimize the mileage losses for all high-speed trains and the constraints cover various operational requirements and capacity restrictions. To model the difficult operational requirements, a novel cumulative mileage update function is developed; meanwhile, to describe the depot maintenance capacity restriction, we employ a state function that is able to identify whether a train is in the maintenance state or in the operation state.


title: Pion distribution amplitude from Euclidean correlation functions

abstract: Following the proposal in [1], we study the feasibility to calculate the pion distribution amplitude (DA) from suitably chosen Euclidean correlation functions at large momentum. In our lattice study we employ the novel momentum smearing technique [2,3]. This approach is complementary to the calculations of the lowest moments of the DA using the Wilson operator product expansion and avoids mixing with lower dimensional local operators on the lattice. The theoretical status of this method is similar to that of quasi-distributions [4], which has recently been applied to the same problem in [5]. The similarities and differences between these two techniques are highlighted.


abstract: Multi-agent settings are quickly gathering importance in machine learning. This includes a plethora of recent work on deep multi-agent reinforcement learning, but also can be extended to hierarchical RL, generative adversarial networks and decentralised optimisation. In all these settings the presence of multiple learning agents renders the training problem non-stationary and often leads to unstable training or undesired final results. We present Learning with Opponent-Learning Awareness (LOLA), a method in which each agent shapes the anticipated learning of the other agents in the environment. The LOLA learning rule includes a term that accounts for the impact of one agent's policy on the anticipated parameter update of the other agents. Results show that the encounter of two LOLA agents leads to the emergence of tit-for-tat and therefore cooperation in the iterated prisoners' dilemma, while independent learning does not. In this domain, LOLA also receives higher payouts compared to a naive learner, and is robust against exploitation by higher order gradient-based methods. Applied to repeated matching pennies, LOLA agents converge to the Nash equilibrium. In a round robin tournament we show that LOLA agents successfully shape the learning of a range of multi-agent learning algorithms from literature, resulting in the highest average returns on the IPD. We also show that the LOLA update rule can be efficiently calculated using an extension of the policy gradient estimator, making the method suitable for model-free RL. The method thus scales to large parameter and input spaces and nonlinear function approximators. We apply LOLA to a grid world task with an embedded social dilemma using recurrent policies and opponent modelling. By explicitly considering the learning of the other agent, LOLA agents learn to cooperate out of self-interest. The code is at github.com/alshedivat/lola.


title: Data processing pipeline for Herschel HIFI

abstract: {Context}. The HIFI instrument on the Herschel Space Observatory performed over 9100 astronomical observations, almost 900 of which were calibration observations in the course of the nearly four-year Herschel mission. The data from each observation had to be converted from raw telemetry into calibrated products and were included in the Herschel Science Archive. {Aims}. The HIFI pipeline was designed to provide robust conversion from raw telemetry into calibrated data throughout all phases of the HIFI missions. Pre-launch laboratory testing was supported as were routine mission operations. {Methods}. A modular software design allowed components to be easily added, removed, amended and/or extended as the understanding of the HIFI data developed during and after mission operations. {Results}. The HIFI pipeline processed data from all HIFI observing modes within the Herschel automated processing environment as well as within an interactive environment. The same software can be used by the general astronomical community to reprocess any standard HIFI observation. The pipeline also recorded the consistency of processing results and provided automated quality reports. Many pipeline modules were in use since the HIFI pre-launch instrument level testing. {Conclusions}. Processing in steps facilitated data analysis to discover and address instrument artefacts and uncertainties. The availability of the same pipeline components from pre-launch throughout the mission made for well-understood, tested, and stable processing. A smooth transition from one phase to the next significantly enhanced processing reliability and robustness.


title: Generating OWA weights using truncated distributions

abstract: Ordered weighted averaging (OWA) operators have been widely used in decision making these past few years. An important issue facing the OWA operators' users is the determination of the OWA weights. This paper introduces an OWA determination method based on truncated distributions that enables intuitive generation of OWA weights according to a certain level of risk and trade-off. These two dimensions are represented by the two first moments of the truncated distribution. We illustrate our approach with the well-know normal distribution and the definition of a continuous parabolic decision-strategy space. We finally study the impact of the number of criteria on the results.


title: GLAD: Global-Local-Alignment Descriptor for Pedestrian Retrieval

abstract: The huge variance of human pose and the misalignment of detected human images significantly increase the difficulty of person Re-Identification (Re-ID). Moreover, efficient Re-ID systems are required to cope with the massive visual data being produced by video surveillance systems. Targeting to solve these problems, this work proposes a Global-Local-Alignment Descriptor (GLAD) and an efficient indexing and retrieval framework, respectively. GLAD explicitly leverages the local and global cues in human body to generate a discriminative and robust representation. It consists of part extraction and descriptor learning modules, where several part regions are first detected and then deep neural networks are designed for representation learning on both the local and global regions. A hierarchical indexing and retrieval framework is designed to eliminate the huge redundancy in the gallery set, and accelerate the online Re-ID procedure. Extensive experimental results show GLAD achieves competitive accuracy compared to the state-of-the-art methods. Our retrieval framework significantly accelerates the online Re-ID procedure without loss of accuracy. Therefore, this work has potential to work better on person Re-ID tasks in real scenarios.


title: Algebraic diagrammatic construction formalism with three-body interactions

abstract: Self-consistent Green's function theory has recently been extended to the basic formalism needed to account for three-body interactions [A. Carbone, A. Cipollone, C. Barbieri, A. Rios, and A. Polls, (Phys. Rev. C 88, 054326 (2013))]. The contribution of three-nucleon forces has so far been included in ab initio calculations on nuclear matter and finite nuclei only as averaged two-nucleon forces. We derive the working equations for all possible two- and three-nucleon terms that enter the expansion of the self-energy up to the third order, thus including the interaction-irreducible (i.e., not averaged) diagrams with three-nucleon forces that have been previously neglected. We employ the algebraic diagrammatic construction up to the third order as an organization scheme for generating a non perturbative self-energy, in which ring (particle-hole) and ladder (particle-particle) diagrams are resummed to all orders. We derive expressions of the static and dynamic self-energy up to the third order, by taking into account the set of diagrams required when either the skeleton or nonskeleton expansions of the single-particle propagator are assumed. A hierarchy of importance among different diagrams is revealed, and a particular emphasis is given to a third-order diagram (see Fig. 2c) that is expected to play a significant role among those featuring an interaction-irreducible three-nucleon force. A consistent formalism to resum at infinite order correlations induced by three-nucleon forces in the self-consistent Green's function theory is now available and ready to be implemented in the many-body solvers.


title: Classifying blocks with abelian defect groups of rank $3$ for the prime $2$

abstract: In this paper we classify all blocks with defect group $C_{2^n}\times C_2\times C_2$ up to Morita equivalence. Together with a recent paper of Wu, Zhang and Zhou, this completes the classification of Morita equivalence classes of $2$-blocks with abelian defect groups of rank at most $3$. The classification holds for blocks over a suitable discrete valuation ring as well as for those over an algebraically closed field. The case considered in this paper is significant because it involves comparison of Morita equivalence classes between a group and a normal subgroup of index $2$, so requires novel reduction techniques which we hope will be of wider interest. We note that this also completes the classification of blocks with abelian defect groups of order dividing $16$ up to Morita equivalence. A consequence is that Broue's abelian defect group conjecture holds for all blocks mentioned above.


title: Adiabatic Limit and the Fr\"olicher Spectral Sequence

abstract: Motivated by our conjecture of an earlier work predicting the degeneration at the second page of the Fr\"olicher spectral sequence of any compact complex manifold supporting an SKT metric $\omega$ (i.e. such that $\partial\bar\partial\omega=0$), we prove degeneration at $E_2$ whenever the manifold admits a Hermitian metric whose torsion operator $\tau$ and its adjoint vanish on $\Delta''$-harmonic forms of positive degrees up to $\mbox{dim}_\C X$. Besides the pseudo-differential Laplacian inducing a Hodge theory for $E_2$ that we constructed in earlier work and Demailly's Bochner-Kodaira-Nakano formula for Hermitian metrics, a key ingredient is a general formula for the dimensions of the vector spaces featuring in the Fr\"olicher spectral sequence in terms of the asymptotics, as a positive constant $h$ decreases to zero, of the small eigenvalues of a rescaled Laplacian $\Delta_h$, introduced here in the present form, that we adapt to the context of a complex structure from the well-known construction of the adiabatic limit and from the analogous result for Riemannian foliations of \'Alvarez L\'opez and Kordyukov.