title: Structure Formation in Nonlocal MOND

abstract: We consider structure formation in a nonlocal, metric-based realization of Milgrom's MOdified Newtonian Dynamics (MOND). We derive the general equations for linearized scalar perturbations about the $\Lambda$CDM expansion history. These equations are considerably simplified for sub-horizon modes, and it becomes obvious (in this model) that the MOND enhancement is not sufficient to allow ordinary matter to drive structure formation. We discuss ways in which the model might be changed to correct the problem.


title: Cancelable Indexing Based on Low-rank Approximation of Correlation-invariant Random Filtering for Fast and Secure Biometric Identification

abstract: A cancelable biometric scheme called correlation-invariant random filtering (CIRF) is known as a promising template protection scheme. This scheme transforms a biometric feature represented as an image via the 2D number theoretic transform (NTT) and random filtering. CIRF has perfect secrecy in that the transformed feature leaks no information about the original feature. However, CIRF cannot be applied to large-scale biometric identification, since the 2D inverse NTT in the matching phase requires high computational time. Furthermore, existing biometric indexing schemes cannot be used in conjunction with template protection schemes to speed up biometric identification, since a biometric index leaks some information about the original feature. In this paper, we propose a novel indexing scheme called "cancelable indexing" to speed up CIRF without losing its security properties. The proposed scheme is based on fast computation of CIRF via low-rank approximation of biometric images and via a minimum spanning tree representation of low-rank matrices in the Fourier domain. We prove that the transformed index leaks no information about the original index and the original biometric feature (i.e., perfect secrecy), and thoroughly discuss the security of the proposed scheme. We also demonstrate that it significantly reduces the one-to-many matching time using a finger-vein dataset that includes six fingers from 505 subjects.


title: Singularities of a surface given by Kenmotsu-type formula in Euclidean three-space

abstract: We study singularities of surfaces which are given by Kenmotsu-type formula with prescribed unbounded mean curvature.


title: On the unattainability of absolute zero temperature and the Nernst heat theorem

abstract: It is sometimes argued that the unattainability of zero temperature is a consequence of the second law of thermodynamics. Historically, the independence of the unattainability of zero temperature from the second law was proven more than 80 years ago, yet this assertion was repeated in the literature. This assertion naturally leads to a doubt that the unattainability of zero temperature is not equivalent to the Nernst heat theorem. The apparent contradiction between the Nernst heat theorem and residual entropy further complicates the problems of the third law. Totally, the validity of the third law seems to lose, giving an impression of somewhat ambiguous hypothesis to it. The author has recently settled the apparent contradiction between residual entropy and the Nernst heat theorem by refining the statement of the third law. Based on this refinement, two controversial problems, the independence of the unattainability of zero temperature from the second law and the equivalence of the unattainability with the Nernst heat theorem, have been solved.


title: High-resolution near-IR Spectral mapping with H$_{2}$ and [Fe II] lines of Multiple Outflows around LkH$\alpha$ 234

abstract: We present a high-resolution, near-IR spectroscopic study of multiple outflows in the LkH$\alpha$ 234 star formation region using the Immersion GRating INfrared Spectrometer (IGRINS). Spectral mapping over the blueshifted emission of HH 167 allowed us to distinguish at least three separate, spatially overlapped, outflows in H${_2}$ and [Fe II] emission. We show that the H${_2}$ emission represents not a single jet, but complex multiple outflows driven by three known embedded sources: MM1, VLA 2, and VLA 3. There is a redshifted H${_2}$ outflow at a low velocity, $\VLSR$ $<$ $+$50 {\kms}, with respect to the systemic velocity of $\VLSR$ $=$ $-$11.5 {\kms}, that coincides with the H${_2}$O masers seen in earlier radio observations two arcseconds southwest of VLA 2. We found that the previously detected [Fe II] jet with $|$$\VLSR$$|$ $>$ 100 {\kms} driven by VLA 3B is also detected in H${_2}$ emission, and confirm that this jet has a position angle about 240$\degree$. Spectra of the redshifted knots at 14$\arcsec$$-$65$\arcsec$ northeast of LkH$\alpha$ 234 are presented for the first time. These spectra also provide clues to the existence of multiple outflows. We detected high-velocity (50$-$120 {\kms}) H${_2}$ gas in the multiple outflows around LkH$\alpha$ 234. Since these gases move at speeds well over the dissociation velocity ($>$ 40 {\kms}), the emission must originate from the jet itself rather than H${_2}$ gas in the ambient medium. Also, position-velocity diagrams and excitation diagram indicate that emission from knot C in HH 167 come from two different phenomena, shocks and photodissociation.


title: Confidence regions in Cox proportional hazards model with measurement errors and unbounded parameter set

abstract: Cox proportional hazards model with measurement errors is considered. In Kukush and Chernova (2017), we elaborated a simultaneous estimator of the baseline hazard rate $\lambda(\cdot)$ and the regression parameter $\beta$, with the unbounded parameter set $\varTheta=\varTheta_{\lambda}\times\varTheta_{\beta}$, where $\varTheta_{\lambda}$ is a closed convex subset of $C[0,\tau]$ and $\varTheta_{\beta}$ is a compact set in $\mathbb{R}^m$. The estimator is consistent and asymptotically normal. In the present paper, we construct confidence intervals for integral functionals of $\lambda(\cdot)$ and a confidence region for $\beta$ under restrictions on the error distribution. In particular, we handle the following cases: (a) the measurement error is bounded, (b) it is a normally distributed random vector, and (c) it has independent components which are shifted Poisson random variables.


title: Semi-Supervised Classification for oil reservoir

abstract: This paper addresses the general problem of accurate identification of oil reservoirs. Recent improvements in well or borehole logging technology have resulted in an explosive amount of data available for processing. The traditional methods of analysis of the logs characteristics by experts require significant amount of time and money and is no longer practicable. In this paper, we use the semi-supervised learning to solve the problem of ever-increasing amount of unlabelled data available for interpretation. The experts are needed to label only a small amount of the log data. The neural network classifier is first trained with the initial labelled data. Next, batches of unlabelled data are being classified and the samples with the very high class probabilities are being used in the next training session, bootstrapping the classifier. The process of training, classifying, enhancing the labelled data is repeated iteratively until the stopping criteria are met, that is, no more high probability samples are found. We make an empirical study on the well data from Jianghan oil field and test the performance of the neural network semi-supervised classifier. We compare this method with other classifiers. The comparison results show that our neural network semi-supervised classifier is superior to other classification methods.


title: Predictive modeling of stock indices closing from web search trends

abstract: The study aims to explore the strength of causal relationship between stock price search interest and real stock market outcomes on worldwide equity market indices. Such a phenomenon could also be mediated by investor behavior and extent of news coverage. The stock-specific internet search trends data and corresponding index close values from different countries stock exchanges are collected and analyzed. Empirical findings show global stock price search interests correlates more with developing economies with fewer effects in south asian stock exchanges apart from strong influence in western countries. Finally this study calls for development in expert decision support systems with the synthesis of using big data sources on forecasting market outcomes


title: Fractional Cox--Ingersoll--Ross process with non-zero <<mean>>

abstract: In this paper we define the fractional Cox-Ingersoll-Ross process as $X_t:=Y_t^2\mathbf{1}_{\{t<\inf\{s>0:Y_s=0\}\}}$, where the process $Y=\{Y_t,t\ge0\}$ satisfies the SDE of the form $dY_t=\frac{1}{2}(\frac{k}{Y_t}-aY_t)dt+\frac{\sigma}{2}dB_t^H$, $\{B^H_t,t\ge0\}$ is a fractional Brownian motion with an arbitrary Hurst parameter $H\in(0,1)$. We prove that $X_t$ satisfies the stochastic differential equation of the form $dX_t=(k-aX_t)dt+\sigma\sqrt{X_t}\circ dB_t^H$, where the integral with respect to fractional Brownian motion is considered as the pathwise Stratonovich integral. We also show that for $k>0$, $H>1/2$ the process is strictly positive and never hits zero, so that actually $X_t=Y_t^2$. Finally, we prove that in the case of $H<1/2$ the probability of not hitting zero on any fixed finite interval by the fractional Cox-Ingersoll-Ross process tends to 1 as $k\rightarrow\infty$.


title: Modified Starobinsky Inflation

abstract: Starobinsky has suggested an inflation model which is obtained from the vacuum Einstein's equations modified by the one-loop corrections due to quantized matter fields. Although the one-loop gravitational action is not known for a general FRW background, it can be obtained in a de Sitter space to give $\Mp^2 R + \alpha R^2 + \beta R^2 \ln (R/M^2)$. Thus, one needs to investigate the inflationary behavior of this model compared to the Starobinsky model (i.e. $\beta = 0$). The coefficient $\alpha$ can be changed by varying the renormalization scale $M^2$ and $\beta$ is obtained from the quantum anomaly which is related to the numbers of quantum fields. It has been assumed that $\alpha \gg \beta$. We investigate the viable values of $\alpha$ and $\beta$ based on the CMB observation. We also scrutinize the reheating process in this model.


title: Computing Stieltjes constants using complex integration

abstract: The generalized Stieltjes constants $\gamma\_n(v)$ are, up to a simple scaling factor, the Laurent series coefficients of the Hurwitz zeta function $\zeta(s,v)$ about its unique pole $s = 1$. In this work, we devise an efficient algorithm to compute these constants to arbitrary precision with rigorous error bounds, for the first time achieving this with low complexity with respect to the order~$n$. Our computations are based on an integral representation with a hyperbolic kernel that decays exponentially fast. The algorithm consists of locating an approximate steepest descent contour and then evaluating the integral numerically in ball arithmetic using the Petras algorithm with a Taylor expansion for bounds near the saddle point. An implementation is provided in the Arb library. We can, for example, compute $\gamma\_n(1)$ to 1000 digits in a minute for any $n$ up to $n=10^{100}$. We also provide other interesting integral representations for $\gamma\_n(v)$, $\zeta(s)$, $\zeta(s,v)$, some polygamma functions and the Lerch transcendent.


title: Electron drift properties in high pressure gaseous xenon

abstract: Gaseous time projection chambers (TPC) are a very attractive detector technology for particle tracking. Characterization of both drift velocity and diffusion is of great importance to correctly assess their tracking capabilities. NEXT-White is a High Pressure Xenon gas TPC with electroluminescent amplification, a 1:2 scale model of the future NEXT-100 detector, which will be dedicated to neutrinoless double beta decay searches. NEXT-White has been operating at Canfranc Underground Laboratory (LSC) since December 2016. The drift parameters have been measured using $^{83m}$Kr for a range of reduced drift fields at two different pressure regimes, namely 7.2 bar and 9.1 bar. The results have been compared with Magboltz simulations. Agreement at the 5% level or better has been found for drift velocity, longitudinal diffusion and transverse diffusion.


title: Hallucinated-IQA: No-Reference Image Quality Assessment via Adversarial Learning

abstract: No-reference image quality assessment (NR-IQA) is a fundamental yet challenging task in low-level computer vision community. The difficulty is particularly pronounced for the limited information, for which the corresponding reference for comparison is typically absent. Although various feature extraction mechanisms have been leveraged from natural scene statistics to deep neural networks in previous methods, the performance bottleneck still exists. In this work, we propose a hallucination-guided quality regression network to address the issue. We firstly generate a hallucinated reference constrained on the distorted image, to compensate the absence of the true reference. Then, we pair the information of hallucinated reference with the distorted image, and forward them to the regressor to learn the perceptual discrepancy with the guidance of an implicit ranking relationship within the generator, and therefore produce the precise quality prediction. To demonstrate the effectiveness of our approach, comprehensive experiments are evaluated on four popular image quality assessment benchmarks. Our method significantly outperforms all the previous state-of-the-art methods by large margins. The code and model will be publicly available on the project page https://kwanyeelin.github.io/projects/HIQA/HIQA.html.


title: On the Axiomatizability of Quantitative Algebras

abstract: Quantitative algebras (QAs) are algebras over metric spaces defined by quantitative equational theories as introduced by the same authors in a related paper presented at LICS 2016. These algebras provide the mathematical foundation for metric semantics of probabilistic, stochastic and other quantitative systems. This paper considers the issue of axiomatizability of QAs. We investigate the entire spectrum of types of quantitative equations that can be used to axiomatize theories: (i) simple quantitative equations; (ii) Horn clauses with no more than $c$ equations between variables as hypotheses, where $c$ is a cardinal and (iii) the most general case of Horn clauses. In each case we characterize the class of QAs and prove variety/quasivariety theorems that extend and generalize classical results from model theory for algebras and first-order structures.


title: Maximum Quantum Entropy Method

abstract: Maximum entropy method for analytic continuation is extended by introducing quantum relative entropy. This new method is formulated in terms of matrix-valued functions and therefore invariant under arbitrary unitary transformation of input matrix. As a result, the continuation of off-diagonal elements becomes straightforward. Without introducing any further ambiguity, the Bayesian probabilistic interpretation is maintained just as in the conventional maximum entropy method. The applications of our generalized formalism to a model spectrum and a real material demonstrate its usefulness and superiority.


title: Using a Classifier Ensemble for Proactive Quality Monitoring and Control: the impact of the choice of classifiers types, selection criterion, and fusion process

abstract: In recent times, the manufacturing processes are faced with many external or internal (the increase of customized product rescheduling , process reliability,..) changes. Therefore, monitoring and quality management activities for these manufacturing processes are difficult. Thus, the managers need more proactive approaches to deal with this variability. In this study, a proactive quality monitoring and control approach based on classifiers to predict defect occurrences and provide optimal values for factors critical to the quality processes is proposed. In a previous work (Noyel et al. 2013), the classification approach had been used in order to improve the quality of a lacquering process at a company plant; the results obtained are promising, but the accuracy of the classification model used needs to be improved. One way to achieve this is to construct a committee of classifiers (referred to as an ensemble) to obtain a better predictive model than its constituent models. However, the selection of the best classification methods and the construction of the final ensemble still poses a challenging issue. In this study, we focus and analyze the impact of the choice of classifier types on the accuracy of the classifier ensemble; in addition, we explore the effects of the selection criterion and fusion process on the ensemble accuracy as well. Several fusion scenarios were tested and compared based on a real-world case. Our results show that using an ensemble classification leads to an increase in the accuracy of the classifier models. Consequently, the monitoring and control of the considered real-world case can be improved.


title: Image Domain Dual Material Decomposition for Dual-Energy CT using Butterfly Network

abstract: Dual-energy CT (DECT) has been increasingly used in imaging applications because of its capability for material differentiation. However, material decomposition suffers from magnified noise from two CT images of independent scans, leading to severe degradation of image quality. Existing algorithms achieve suboptimal decomposition performance since they fail to accurately depict the mapping relationship between DECT and the basis material images. Inspired by the impressive potential of CNN, we developed a new Butterfly network to perform the image domain dual material decomposition due to its strong approximation ability to the mapping functions in DECT. The Butterfly network is derived from the image domain DECT decomposition model by exploring the geometric relationship between mapping functions of data model and network components. The network is designed as the double-entry double-out crossover architecture based on the decomposition formulation. It enters a pair of dual-energy images as inputs and defines the ground true decomposed images as each label. The crossover architecture, which plays an important role in material decomposition, is designed to implement the information exchange between the two material generation pathways in the network. Network components exhibit different sensitivity to basis materials in the visualization. By analyzing their sensitivity to different basis materials, we determined the roles of network components in material decomposition. This visualization evaluation reveals what the network can learn and verifies the rationality of network design. The qualitative and quantitative evaluations in material decomposition of patient data indicate that the proposed network outperforms its counterpart.


title: A survey on Polynomial in momenta integrals for billiard problems

abstract: In this paper we give a short survey of recent results on algebraic version of the Birkhoff conjecture for integrable billiards on surfaces of constant curvature. We also discuss integrable magnetic billiards. As a new application of the algebraic technique we study the existence of polynomial integrals for the two-sided magnetic billiards introduced by Kozlov and Polikarpov.


title: Infinitely many non-radial solutions to a critical equation on annulus

abstract: In this paper, we build infinitely many non-radial sign-changing solutions to the critical problem: \begin{equation*} \left\{\begin{array}{rlll} -\Delta u&=|u|^{\frac{4}{N-2}}u, &\hbox{ in }\Omega,\\ u&=0, &\hbox{ on }\partial\Omega. \end{array}\right. \eqno(P) \end{equation*} on the annulus $\Omega:=\{x\in \mathbb{R}^N: a<|x|<b\}$, $N\geq 3.$ In particular, for any integer $k$ large enough, we build a non-radial solution which look like the unique positive solution $u_0$ to $(P)$ crowned by $k$ negative bubbles arranged on a regular polygon with radius $r_0$ such that $r_0^{\frac{N-2}{2}}u_0(r_0)=:\displaystyle\max_{a\leq r\leq b}r^{\frac{N-2}{2}}u_0(r).$


title: Advances in optical coherence tomography for dermatology

abstract: This paper reports on advances in optical coherence tomography (OCT) for application in dermatology. Full-field OCT is a particular approach of OCT based on white-light interference microscopy. FF-OCT produces en face tomographic images by arithmetic combination of interferometric images acquired with an area camera and by illuminating the whole field of view with low-coherence light. The major interest of FF-OCT lies in its high imaging spatial resolution ($\sim$ 1.0 $\mu$m) in both lateral and axial directions, using a simple and robust experimental arrangement. Line-field OCT (LF-OCT) is a recent evolution of FF-OCT with line illumination and line detection using a broadband spatially coherent light source and a line-scan camera in an interference microscope. LF-OCT and FF-OCT are similar in terms of spatial resolution. LF-OCT has a significant advantage over FF-OCT in terms of imaging penetration depth due to the confocal gate achieved by line illumination and detection. B-scan imaging using FF-OCT requires the acquisition of a stack of en face images, which usually prevents in vivo applications. B-scan imaging using LF-OCT can be considerably faster due to the possibility of using a spatially coherent light source with much higher brightness along with a high-speed line camera. Applied in the field of dermatology, the LF-OCT images reveal a comprehensive morphological mapping of skin tissues in vivo at a cellular level similar to histological images.


title: Finite time blow up for wave equations with strong damping in an exterior domain

abstract: We consider the initial boundary value problem in exterior domain for semilinear wave equations with power-type nonlinearity |u| p. We will establish blow-up results when p is less than or equal to Strauss' exponent which is the same one for the whole space case R n .


title: Channel Hardening in Massive MIMO - A Measurement Based Analysis

abstract: Wireless-controlled robots, cars and other critical applications are in need of technologies that offer high reliability and low latency. Massive MIMO, Multiple-Input Multiple-Output, is a key technology for the upcoming 5G systems and is one part of the solution to increase the reliability of wireless systems. More specifically, when increasing the number of base station antennas in a massive MIMO systems the channel variations decrease and the so-called channel hardening effect appears. This means that the variations of the channel gain in time and frequency decrease. In this paper, channel hardening in massive MIMO systems is assessed based on analysis of measurement data. For an indoor scenario, the channels are measured with a 128-port cylindrical array for nine single-antenna users. The analysis shows that in a real scenario a channel hardening of 3.2-4.6 dB, measured as a reduction of the standard deviation of the channel gain, can be expected depending on the amount of user interaction. Also, some practical implications and insights are presented.


title: Telegraph noise in Markovian master equation for electron transport through molecular junctions

abstract: We present a theoretical approach to solve Markovian master equation for quantum transport with stochastic telegraph noise. Considering probabilities as functionals of a random telegraph process we use the Novikov's functional method to convert stochastic master equation to a set of deterministic differential equations. The equations are then solved in the Laplace space and the expression for the probability vector averaged over ensemble of realisations of stochastic process is obtained. We apply the theory to study manifestations of telegraph noise in transport properties of molecular junctions. We consider the quantum electron transport in a resonant-level molecule as well as polaronic regime transport in a molecular junction with electron-vibration interaction.


title: Surface Step Defect in 3D Topological Insulators: Electric Manipulation of Spin and Quantum Spin Hall Effect

abstract: We study the influence of step defect on surface states in three-dimensional topological insulators subject to a perpendicular magnetic field. By calculating the energy spectrum of the surface states, we find that Landau levels (LLs) can form on flat regions of the surface and are distant from the step defect, and several subbands emerge at side surface of the step defect. The subband which connects to the two zeroth LLs is spin-polarized and chiral. In particular, when the electron transports along the side surface, the electron spin direction can be manipulated arbitrarily by gate voltage. And no reflection occurs even if the electron spin direction is changed. This provides a fascinating avenue to control the electron spin easily and coherently. In addition, regarding the subbands with high LL index, there exist spin-momentum locking helical states and the quantum spin Hall effect can appear.


title: On backward Kolmogorov equation related to CIR process

abstract: We consider the existence of a classical smooth solution to the backward Kolmogorov equation \begin{align*} \begin{cases} \partial_t u(t,x)=Au(t,x),& x\ge0,\ t\in[0,T],\\ u(0,x)=f(x),& x\ge0, \end{cases} \end{align*} where $A$ is the generator of the CIR process, the solution to the stochastic differential equation \begin{equation*} X^x_t=x+\int_0^t\theta \bigl(\kappa-X^x_s\bigr)\,ds+\sigma\int _0^t\sqrt {X^x_s} \,dB_s, \quad x\ge0,\ t\in[0,T], \end{equation*} that is, $Af(x)=\theta(\kappa-x)f'(x)+\frac{1}{2}\sigma^2xf''(x)$, $ x\ge0$ ($\theta,\kappa,\sigma>0$). Alfonsi \cite{Alfonsi} showed that the equation has a smooth solution with partial derivatives of polynomial growth, provided that the initial function $f$ is smooth with derivatives of polynomial growth. His proof was mainly based on the analytical formula for the transition density of the CIR process in the form of a~rather complicated function series. In this paper, for a CIR process satisfying the condition $\sigma^2\le4\theta\kappa$, we present a direct proof based on the representation of a CIR process in terms of a~squared Bessel process and its additivity property.


title: Feedback GAN (FBGAN) for DNA: a Novel Feedback-Loop Architecture for Optimizing Protein Functions

abstract: Generative Adversarial Networks (GANs) represent an attractive and novel approach to generate realistic data, such as genes, proteins, or drugs, in synthetic biology. Here, we apply GANs to generate synthetic DNA sequences encoding for proteins of variable length. We propose a novel feedback-loop architecture, called Feedback GAN (FBGAN), to optimize the synthetic gene sequences for desired properties using an external function analyzer. The proposed architecture also has the advantage that the analyzer need not be differentiable. We apply the feedback-loop mechanism to two examples: 1) generating synthetic genes coding for antimicrobial peptides, and 2) optimizing synthetic genes for the secondary structure of their resulting peptides. A suite of metrics demonstrate that the GAN generated proteins have desirable biophysical properties. The FBGAN architecture can also be used to optimize GAN-generated datapoints for useful properties in domains beyond genomics.


title: Tight-binding model and ab initio calculation of silicene with strong spin-orbit coupling in low-energy limit

abstract: We carry out both the tight-binding model and the $ab\ initio$ to study the layered silicene, the spin, valley, sublattice degrees of freedom are taken into consider and the effects of electric field, magnetic field, and even the light in finite frequency together with its interesting optical propertice, which are all closely related to the spin-orbit coupling and Rashba coupling and lead to the tunable phase transitions (between the nontrivial topological phase which has nonzero Chern number or nonzero spin Chern number and the trivial phase). An exotic quantum anomalous Hall insulator phase are found which has nonzero spin Chern number and nonzero valley Chern number and as a giant-application-potential spintronic and valleytronics in the two-ternimate devices based on the monolayer silicene for the information transmission. In fact, the gap-out action can be understanded by analyse the Dirac mass as well as the Zeeman splitting or the external-field-induced symmetry-broken, and the changes of gap has a general nonmonotone-variation characteristic under both the effects of electron filed-induced Rashba-coupling $R_{2}(E_{\perp})$ and the electron field-induced band gap, and the band inversion related to the spin-orbit coupling which absorbs both the spin and orbital angular of momentum may happen during this process. The quantized Hall/longitudinal conductivity together with the optical conductivity are also explored, we see that even in the quantum spin Hall phase without any magnetic field, the two-terminate conductivity can be reduced to the value $e^{2}/h$ by controlling the helical edge model, and it can be further reduced to $e^{2}/2h$ by applying the magnetic field which similar to the graphene.


title: Threshold Response to Stochasticity in Morphogenesis

abstract: During development of biological organisms, multiple complex structures are formed. In many instances, these structures need to exhibit a high degree of order to be functional, although many of their constituents are intrinsically stochastic. Hence, it has been suggested that biological robustness ultimately must rely on complex gene regulatory networks and clean-up mechanisms. Here we explore developmental processes that have evolved inherent robustness against stochasticity. In the context of the Drosophila eye disc, multiple optical units, ommatidia, develop into crystal-like patterns. During the larva-to-pupa stage of metamorphosis, the centers of the ommatidia are specified initially through the diffusion of morphogens, followed by the specification of R8 cells. Establishing the R8 cell is crucial in setting up the geometric, and functional, relationships of cells within an ommatidium and among neighboring ommatidia. Here we study a mathematical model of these spatio-temporal processes in the presence of stochasticity, defining and applying measures that quantify order within the resulting spatial patterns. We observe a universal sigmoidal response to increasing transcriptional noise. Ordered patterns persist up to a threshold noise level in the model parameters. As the noise is further increased past a threshold point of no return, these ordered patterns rapidly become disordered. Such robustness in development allows for the accumulation of genetic variation without any observable changes in phenotype. We argue that the observed sigmoidal dependence introduces robustness allowing for sizable amounts of genetic variation and transcriptional noise to be tolerated in natural populations without resulting in phenotype variation.


title: Generating nonclassical states of motion using spontaneous emission

abstract: Nonclassical motional states of matter are of interest both from a fundamental perspective but also for their potential technological applications as resources in various quantum processing tasks such as quantum teleportation, sensing, communication, and computation. In this work we explore the motional effects of a harmonically trapped, excited two-level emitter coupled to a one-dimensional (1D) photonic system. As the emitter decays it experiences a momentum recoil that entangles its motion with the emitted photon pulse. In the long-time limit the emitter relaxes to its electronic ground state, while its reduced motional state remains entangled with the outgoing photon. We find photonic systems where the long-time reduced motional state of the emitter, though mixed, is highly nonclassical and in some cases approaches a pure motional Fock state. Motional recoil engineering can be simpler to experimentally implement than complex measurement and feedback based methods to engineer novel quantum mechanical states of motion.


title: High-performance sparse matrix-matrix products on Intel KNL and multicore architectures

abstract: Sparse matrix-matrix multiplication (SpGEMM) is a computational primitive that is widely used in areas ranging from traditional numerical applications to recent big data analysis and machine learning. Although many SpGEMM algorithms have been proposed, hardware specific optimizations for multi- and many-core processors are lacking and a detailed analysis of their performance under various use cases and matrices is not available. We firstly identify and mitigate multiple bottlenecks with memory management and thread scheduling on Intel Xeon Phi (Knights Landing or KNL). Specifically targeting multi- and many-core processors, we develop a hash-table-based algorithm and optimize a heap-based shared-memory SpGEMM algorithm. We examine their performance together with other publicly available codes. Different from the literature, our evaluation also includes use cases that are representative of real graph algorithms, such as multi-source breadth-first search or triangle counting. Our hash-table and heap-based algorithms are showing significant speedups from libraries in the majority of the cases while different algorithms dominate the other scenarios with different matrix size, sparsity, compression factor and operation type. We wrap up in-depth evaluation results and make a recipe to give the best SpGEMM algorithm for target scenario. A critical finding is that hash-table-based SpGEMM gets a significant performance boost if the nonzeros are not required to be sorted within each row of the output matrix.


title: Discovery of a vast ionized gas cloud in the M51 system

abstract: We present the discovery of a vast cloud of ionized gas 13$^{\prime}$ (32 kpc) north of the interacting system M51. We detected this cloud via deep narrow-band imaging with the Burrell Schmidt Telescope, where it appears as an extended, diffuse H$\alpha$-emitting feature with no embedded compact regions. The Cloud spans $\sim$10$^{\prime}\times$3$^{\prime}$ (25$\times$7.5 kpc) in size and has no stellar counterpart; comparisons with our previous deep broadband imaging show no detected continuum light to a limit of $\mu_{\rm lim, B} \sim$30 mag arcsec$^{-2}$. WIYN SparsePak observations confirm the cloud's kinematic association with M51, and the high NII/H$\alpha$, SII/H$\alpha$, and OI/H$\alpha$ line ratios we measure imply a hard ionization source such as AGN photoionization or shock heating rather than photoionization due to young stars. Given the strong NII emission, we infer roughly solar metallicity for the cloud, ruling out an origin due to infall of primordial gas. Instead we favor models where the gas has been expelled from the inner regions of the M51 system due to tidal stripping or starburst/AGN winds and has been subsequently ionized either by shocks or a fading AGN. This latter scenario raises the intriguing possibility that M51 may be the nearest example of an AGN fossil nebula or light echo, akin to the famous "Hanny's Voorwerp" in the IC 2497 system.


title: Integrating Software Engineering Key Practices into an OOP Massive In-Classroom Course: an Experience Report

abstract: Programming and software engineering courses in computer science curricula typically focus on both providing theoretical knowledge of programming languages and best-practices, and developing practical development skills. In a massive course - several hundred students - the teachers are not able to adequately attend to the practical part, therefore process automation and incentives to students must be used to drive the students in the right direction. Our goals was to design an automated programming assignment infrastructure capable of supporting massive courses. The infrastructure should encourage students to apply the key software engineering (SE) practices - automated testing, con guration management, and Integrated Development Environment (IDE) - and acquire the basic skills for using the corresponding tools. We selected a few widely adopted development tools used to support the key software engineering practices and mapped them to the basic activities in our exam assignment management process. This experience report describes the results from the past academic year. The infrastructure we built has been used for a full academic year and supported four exam sessions for a total of over a thousand students. The satisfaction level reported by the students is generally high.


title: Towards Massive Connectivity Support for Scalable mMTC Communications in 5G networks

abstract: The fifth generation of cellular communication systems is foreseen to enable a multitude of new applications and use cases with very different requirements. A new 5G multiservice air interface needs to enhance broadband performance as well as provide new levels of reliability, latency and supported number of users. In this paper we focus on the massive Machine Type Communications (mMTC) service within a multi-service air interface. Specifically, we present an overview of different physical and medium access techniques to address the problem of a massive number of access attempts in mMTC and discuss the protocol performance of these solutions in a common evaluation framework.


title: Regularised Kalb-Ramond Magnetic Monopole with Finite Energy

abstract: In a previous work we suggested a self-gravitating electromagnetic monopole solution in a string-inspired model involving global spontaneous breaking of a $SO(3)$ internal symmetry and Kalb-Ramond (KR) axions, stemming from an antisymmetric tensor field in the massless string multiplet. These axions carry a charge, which, in our model, also plays the r\^ole of the magnetic charge. The resulting geometry is close to that of a Reissner-Nordstr\"om (RN) black hole with charge proportional to the KR-axion charge. We proposed the existence of a thin shell structure inside a (large) core radius as the dominant mass contribution to the energy functional. The resulting energy was finite, and proportional to the KR-axion charge; however, the size of the shell was not determined and left as a phenomenological parameter. In the current article, we can calculate the mass-shell size, on proposing a regularisation of the black hole singularity via a matching procedure between the RN metric in the outer region and, in the inner region, a de Sitter space with a (positive) cosmological constant proportional to the scale of the spontaneous symmetry breaking of $SO(3)$ . The matching, which involves the Israel junction conditions for the metric and its first derivatives at the inner surface of the shell, determines the inner mass-shell radius. The axion charge plays an important r\^ole in guaranteeing positivity of the "mass coefficient" of the gravitational potential term appearing in the metric component; so the KR electromagnetic monopole shows normal attractive gravitational effects. This is to be contrasted with the global monopole case (in the absence of KR axions) where such a matching is known to yield a negative "mass coefficient" (and, hence, repulsive gravitational effects). The total energy of the monopole within the shell is calculated.


title: Nonperturbative and non-Markovian F\"{o}rster-interaction in waveguiding systems

abstract: An exact solution to the interaction between two emitters mediated by F\"{o}rster resonance energy transfer is presented. The system is comprised of a one-dimensional optical waveguide with two embedded two-level systems and is analyzed using a recently developed quantum-field theoretical approach. This exactly solvable model features several competing mechanisms that lead to a rich physical behavior such as, for instance, the possibility to change from an attractive to a repulsive interaction. Our nonperturbative analysis allows on very general grounds to describe the interaction as a truly non-Markovian phenomenon mediated by the atom-photon bound states of the system. These results are of direct relevance for energy or information transfer processes as well as for atom trapping more complex systems.


title: Review: the development of neural stem cell biology and technology in regenerative medicine

abstract: In the middle of the last century, it has been known that neural stem cells (NSCs) play a key role in regenerative medicine to cure the neurodegenerative disease. This review article covers about the introduction to neural stem cell biology and the isolation, differentiation and transplantation methods/techniques of neural stem cells. The neural stem cells can be transplanted into the human brain in the future to replace the damaged and dead neurons. The highly limited access to embryonic stem cells and ethical issues have escalated the search for other NSC sources. The developing technologies are indicating that it can be achieved before the end of this century. In addition, the differentiation and the maturation of NSCs can artificially accelerate by modern methods.


title: Symmetric strong diameter two property

abstract: We study Banach spaces with the property that, given a finite number of slices of the unit ball, there exists a direction such that all these slices contain a line segment of length almost 2 in this direction. This property was recently named the symmetric strong diameter two property by Abrahamsen, Nygaard, and P\~oldvere. The symmetric strong diameter two property is not just formally stronger than the strong diameter two property (finite convex combinations of slices have diameter 2). We show that the symmetric strong diameter two property is only preserved by $\ell_\infty$-sums, and working with weak star slices we show that $\text{Lip}_0(M)$ have the weak star version of the property for several classes of metric spaces $M$.


title: Spatially coupled turbo-like codes: a new trade-off between waterfall and error floor

abstract: Spatially coupled turbo-like codes (SC-TCs) have been shown to have excellent decoding thresholds due to the threshold saturation effect. Furthermore, even for moderate block lengths, simulation results demonstrate very good bit error rate performance (BER) in the waterfall region. In this paper, we discuss the effect of spatial coupling on the performance of TCs in the finite block-length regime. We investigate the effect of coupling on the error-floor performance of SC-TCs by establishing conditions under which spatial coupling either preserves or improves the minimum distance of TCs. This allows us to investigate the error-floor performance of SC-TCs by performing a weight enumerator function (WEF) analysis of the corresponding uncoupled ensembles. While uncoupled TC ensembles with close-to-capacity performance exhibit a high error floor, our results show that SC-TCs can simultaneously approach capacity and achieve very low error floor.


title: A formula for the associated Buchsbaum-Rim multiplicities of a direct sum of cyclic modules

abstract: In this article, we compute the Buchsbaum-Rim function of two variables associated to a direct sum of cyclic modules and give a formula for the last positive associated Buchsbaum-Rim multiplicity in terms of the ordinary Hilbert-Samuel multiplicity of an ideal. This is a generalization of a formula for the last positive Buchsbaum-Rim multiplicity given by Kirby and Rees.


title: Markerless Inside-Out Tracking for Interventional Applications

abstract: Tracking of rotation and translation of medical instruments plays a substantial role in many modern interventions. Traditional external optical tracking systems are often subject to line-of-sight issues, in particular when the region of interest is difficult to access or the procedure allows only for limited rigid body markers. The introduction of inside-out tracking systems aims to overcome these issues. We propose a marker-less tracking system based on visual SLAM to enable tracking of instruments in an interventional scenario. To achieve this goal, we mount a miniature multi-modal (monocular, stereo, active depth) vision system on the object of interest and relocalize its pose within an adaptive map of the operating room. We compare state-of-the-art algorithmic pipelines and apply the idea to transrectal 3D Ultrasound (TRUS) compounding of the prostate. Obtained volumes are compared to reconstruction using a commercial optical tracking system as well as a robotic manipulator. Feature-based binocular SLAM is identified as the most promising method and is tested extensively in challenging clinical environment under severe occlusion and for the use case of prostate US biopsies.


title: Observation-driven scheduling for remote estimation of two Gaussian sources

abstract: Joint estimation and scheduling for sensor networks is considered in a system formed by two sensors, a scheduler and a remote estimator. Each sensor observes a Gaussian source, which may be correlated. The scheduler observes the output of both sensors and chooses which of the two is revealed to the remote estimator. The goal is to jointly design scheduling and estimation policies that minimize a mean-squared estimation error criterion. The person-by-person optimality of a policy pair called "max-scheduling/mean-estimation" is established, where the measurement with the largest absolute value is revealed to the estimator, which uses a corresponding conditional mean operator. This result is obtained for independent sources, and in the case of correlated sources and symmetric variances. We also consider the joint design of scheduling and linear estimation policies for two correlated Gaussian sources with an arbitrary correlation structure. In this case, the optimization problem can be cast a difference-of-convex program, and locally optimal solutions can be efficiently found using a simple numerical procedure.


title: Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains

abstract: Valued constraint satisfaction problems (VCSPs) are a large class of combinatorial optimisation problems. It is desirable to classify the computational complexity of VCSPs depending on a fixed set of allowed cost functions in the input. Recently, the computational complexity of all VCSPs for finite sets of cost functions over finite domains has been classified in this sense. Many natural optimisation problems, however, cannot be formulated as VCSPs over a finite domain. We initiate the systematic investigation of infinite-domain VCSPs by studying the complexity of VCSPs for piecewise linear homogeneous cost functions. We show that such VCSPs can be solved in polynomial time when the cost functions are additionally submodular, and that this is indeed a maximally tractable class: adding any cost function that is not submodular leads to an NP-hard VCSP.


title: Time Blocks Decomposition of Multistage Stochastic Optimization Problems

abstract: Multistage stochastic optimization problems are, by essence, complex as their solutions are indexed both by stages and by uncertainties. Their large scale nature makes decomposition methods appealing, like dynamic programming which is a sequential decomposition using a state variable defined at all stages. In this paper, we introduce the notion of state reduction by time blocks, that is, at stages that are not necessarily all the original stages. Then, we prove a reduced dynamic programming equation. We position our result with respect to the most well-known mathematical frameworks for dynamic programming. We illustrate our contribution by showing its potential for applied problems with two time scales.


title: Variational Rejection Sampling

abstract: Learning latent variable models with stochastic variational inference is challenging when the approximate posterior is far from the true posterior, due to high variance in the gradient estimates. We propose a novel rejection sampling step that discards samples from the variational posterior which are assigned low likelihoods by the model. Our approach provides an arbitrarily accurate approximation of the true posterior at the expense of extra computation. Using a new gradient estimator for the resulting unnormalized proposal distribution, we achieve average improvements of 3.71 nats and 0.21 nats over state-of-the-art single-sample and multi-sample alternatives respectively for estimating marginal log-likelihoods using sigmoid belief networks on the MNIST dataset.


title: Wilsonian effective field theory of 2D van Hove singularities

abstract: We study 2D fermions with a short-range interaction in the presence of a van Hove singularity. It is shown that this system can be consistently described by an effective field theory whose Fermi surface is subdivided into regions as defined by a factorization scale, and that the theory is renormalizable in the sense that all of the counterterms are well defined in the IR limit. The theory has the unusual feature that the renormalization group equation for the coupling has an explicit dependence on the renormalization scale, much as in theories of Wilson lines. In contrast to the case of a round Fermi surface, there are multiple marginal interactions with nontrivial RG flow. The Cooper instability remains strongest in the BCS channel. We also show that the marginal Fermi liquid scenario for the quasiparticle width is a robust consequence of the van Hove singularity. Our results are universal in the sense that they do not depend on the detailed properties of the Fermi surface away from the singularity.


title: On the wonderfulness of Noether's theorems, 100 years later, and Routh reduction

abstract: This paper is written in honour of the centenary of Emmy Amalie Noether's famous article entitled Invariante Variationsprobleme. It firstly aims to give an exposition of what we believe to be the most significant and elegant issues regarding her theorems, through the lens of classical mechanics. Despite the limitation to this field, we try to illustrate the key ideas of her work in a rather complete and pedagogical manner which, we hope, presents some original aspects. The notion of symmetry coming naturally with the idea of simplification, the last part is devoted to the interplay between Noether point symmetries and the reduction procedure introduced by Edward John Routh in 1877.

categories: physics.hist-ph math-ph math.HO math.MP physics.class-ph


title: Combining STPA and BDD for Safety Analysis and Verification in Agile Development: A Controlled Experiment

abstract: Context: Agile development is in widespread use, even in safety-critical domains. Motivation: However, there is a lack of an ap- propriate safety analysis and verification method in agile development. Objective: In this paper, we investigate the use of Behavior Driven De- velopment (BDD) instead of standard User Acceptance Testing (UAT) for safety verification with System-Theoretic Process Analysis (STPA) for safety analysis in agile development. Method: We evaluate the effect of this combination in a controlled experiment with 44 students in terms of productivity, test thoroughness, fault detection effectiveness and com- munication effectiveness. Results: The results show that BDD is more effective for safety verification regarding the impact on communication effectiveness than standard UAT, whereas productivity, test thorough- ness and fault detection effectiveness show no statistically significant difference in our controlled experiment. Conclusion: The combination of BDD and STPA seems promising with an enhancement on communica- tion, but its impact needs more research.


title: Boundary regularity for nonlocal operators with kernels of variable orders

abstract: We study the boundary regularity of solutions of the Dirichlet problem for the nonlocal operator with a kernel of variable orders. Since the order of differentiability of the kernel is not represented by a single number, we consider the generalized H\"older space. We prove that there exists a unique viscosity solution of $Lu = f$ in $D$, $u=0$ in $\mathbb{R}^n \setminus D$, where $D$ is a bounded $C^{1,1}$ open set, and that the solution $u$ satisfies $u \in C^V(D)$ and $u/V(d_D) \in C^\alpha (D)$ with the uniform estimates, where $V$ is the renewal function and $d_D(x) = \mbox{dist}(x, \partial D)$.


title: Application of Symmetry Groups to the Observability Analysis of Partial Differential Equations

abstract: Symmetry groups of PDEs allow to transform solutions continuously into other solutions. In this paper, we use this property for the observability analysis of nonlinear PDEs with input and output. Based on a differential-geometric representation of the nonlinear system, we derive conditions for the existence of special symmetry groups that do not change the trajectories of the input and the output. If such a symmetry group exists, every solution can be transformed into other solutions with the same input and output trajectories but different initial conditions, and this property can be used to prove that the system is not observable. We also put emphasis on showing how the approach simplifies for linear systems, and how it is related to the well-known observability concepts from infinite-dimensional linear systems theory.


title: Computing the dipole polarizability of 48Ca with increased precision

abstract: We compute the electric dipole polarizability of 48Ca with an increased precision by including more correlations than in previous studies. Employing the coupled-cluster method we go beyond singles and doubles excitations and include leading-order three-particle-three-hole (3p-3h) excitations for the ground state, excited states, and the similarity transformed operator. We study electromagnetic sum rules, such as the bremsstrahlung sum rule m_0 and the polarizability sum rule alpha_D using interactions from chiral effective field theory. To gauge the quality of our coupled-cluster approximations we perform several benchmarks with the effective interaction hyperspherical harmonics approach in 4He and with self consistent Green's function in 16O. We compute the dipole polarizability of 48Ca employing the chiral interaction N2LOsat [Ekstroem et al., Phys. Rev. C 91, 051301 (2015)] and the 1.8/2.0 (EM) [Hebeler et al., Phys. Rev. C 83, 031301 (2011)]. We find that the effect of 3p-3h excitations in the ground state is small for 1.8/2.0 (EM) but non-negligible for N2LOsat. The addition of these new correlations allows us to improve the precision of our 48Ca calculations and reconcile the recently reported discrepancy between coupled-cluster results based on these interactions and the experimentally determined alpha_D from proton inelastic scattering in 48Ca [Birkhan et al., Phys. Rev. Lett. 118, 252501 (2017)]. For the computation of electromagnetic and polarizability sum rules, the inclusion of leading-order 3p-3h excitations in the ground state is important, while less so for the excited states and the similarity-transformed dipole operator.


title: Kobayashi hyperbolicity of the complements of general hypersurfaces of high degree

abstract: In this paper, we prove that in any projective manifold, the complements of general hypersurfaces of sufficiently large degree are Kobayashi hyperbolic. We also provide an effective lower bound on the degree. This confirms a conjecture by S. Kobayashi in 1970. Our proof, based on the theory of jet differentials, is obtained by reducing the problem to the construction of a particular example with strong hyperbolicity properties. This approach relies the construction of higher order logarithmic connections allowing us to construct logarithmic Wronskians. These logarithmic Wronskians are the building blocks of the more general logarithmic jet differentials we are able to construct. As a byproduct of our proof, we prove a more general result on the orbifold hyperbolicity for generic geometric orbifolds in the sense of Campana, with only one component and large multiplicities. We also establish a Second Main theorem type result for holomorphic entire curves intersecting general hypersurfaces, and we prove the Kobayashi hyperbolicity of the cyclic cover of a general hypersurface, again with an explicit lower bound on the degree of all these hypersurfaces.


title: Finding beans in burgers: Deep semantic-visual embedding with localization

abstract: Several works have proposed to learn a two-path neural network that maps images and texts, respectively, to a same shared Euclidean space where geometry captures useful semantic relationships. Such a multi-modal embedding can be trained and used for various tasks, notably image captioning. In the present work, we introduce a new architecture of this type, with a visual path that leverages recent space-aware pooling mechanisms. Combined with a textual path which is jointly trained from scratch, our semantic-visual embedding offers a versatile model. Once trained under the supervision of captioned images, it yields new state-of-the-art performance on cross-modal retrieval. It also allows the localization of new concepts from the embedding space into any input image, delivering state-of-the-art result on the visual grounding of phrases.


title: Refractive index measurements of single, spherical cells using digital holographic microscopy

abstract: In this chapter, we introduce digital holographic microscopy (DHM) as a marker-free method to determine the refractive index of single, spherical cells in suspension. The refractive index is a conclusive measure in a biological context. Cell conditions, such as differentiation or infection, are known to yield significant changes in the refractive index. Furthermore, the refractive index of biological tissue determines the way it interacts with light. Besides the biological relevance of this interaction in the retina, a lot of methods used in biology, including microscopy, rely on light-tissue or light-cell interactions. Hence, determining the refractive index of cells using DHM is valuable in many biological applications. This chapter covers the main topics which are important for the implementation of DHM: setup, sample preparation and analysis. First, the optical setup is described in detail including notes and suggestions for the implementation. Following that, a protocol for the sample and measurement preparation is explained. In the analysis section, an algorithm for the determination of the quantitative phase map is described. Subsequently, all intermediate steps for the calculation of the refractive index of suspended cells are presented, exploiting their spherical shape. In the last section, a discussion of possible extensions to the setup, further measurement configurations and additional analysis methods are given. Throughout this chapter, we describe a simple, robust, and thus easily reproducible implementation of DHM. The different possibilities for extensions show the diverse fields of application for this technique.


title: Role of the effective payoff function in evolutionary game dynamics

abstract: In most studies regarding evolutionary game dynamics, the effective payoff, a quantity that translates the payoff derived from game interactions into reproductive success, is usually assumed to be a specific function of the payoff. Meanwhile, the effect of different function forms of effective payoff on evolutionary dynamics is always left in the basket. With introducing a generalized mapping that the effective payoff of individuals is a non-negative function of two variables on selection intensity and payoff, we study how different effective payoff functions affect evolutionary dynamics in a symmetrical mutation-selection process. For standard two-strategy two-player games, we find that under weak selection the condition for one strategy to dominate the other depends not only on the classical {\sigma}-rule, but also on an extra constant that is determined by the form of the effective payoff function. By changing the sign of the constant, we can alter the direction of strategy selection. Taking the Moran process and pairwise comparison process as specific models in well-mixed populations, we find that different fitness or imitation mappings are equivalent under weak selection. Moreover, the sign of the extra constant determines the direction of one-third law and risk-dominance for sufficiently large populations. This work thus helps to elucidate how the effective payoff function as another fundamental ingredient of evolution affect evolutionary dynamics.


title: Dynamics of vitrimers: defects as a highway to stress relaxation

abstract: We propose a coarse-grained model to investigate stress relaxation in star-polymer networks induced by dynamic bond exchange processes. We show how the swapping mechanism, once activated, allows the network to reconfigure, exploring distinct topological configurations, all of them characterised by complete extent of reaction. Our results reveal the important role played by topological defects in mediating the exchange reaction and speeding up stress relaxation. The model provides a representation of the dynamics in vitrimers, a new class of polymers characterized by bond swap mechanisms which preserve the total number of bonds, as well as in other bond-exchange materials.


title: Stochastic ferrimagnetic Landau-Lifshitz-Bloch equation for finite magnetic structures

abstract: Precise modeling of the magnetization dynamics of nanoparticles with finite size effects at fast varying temperatures is a computationally challenging task. Based on the Landau-Lifshitz-Bloch (LLB) equation we derive a coarse grained model for disordered ferrimagnets, which is both fast and accurate. First, we incorporate stochastic fluctuations to the existing ferrimagnetic LLB equation. Further, we derive a thermodynamic expression for the temperature dependent susceptibilities, which is essential to model finite size effects. Together with the zero field equilibrium magnetization the susceptibilities are used in the stochastic ferrimagnetic LLB to simulate a $5\times10$ nm$^2$ ferrimagnetic GdFeCo particle with 70 % FeCo and 30 % Gd under various external applied fields and heat pulses. The obtained trajectories agree well with those of an atomistic model, which solves the stochastic Landau-Lifshitz-Gilbert equation for each atom. Additionally, we derive an expression for the intergrain exchange field which couple the ferromagnetic sublattices of a ferrimagnet. A comparison of the magnetization dynamics obtained from this simpler model with those of the ferrimagnetic LLB equation shows a perfect agreement.


title: G{\'e}n{\'e}ralisation d'un th{\'e}or{\`e}me de Greenberg

abstract: We formulate a general conjecture on the characteristic polynomials of S-decomposed T-ramified Iwasawa modules over the cyclotomic Z {\ell}-extension of a number field. We show that this conjecture is equivalent to the conjunctions of the classical conjectures of Leopoldt and of Gross-Kuz'min. We so extend a result of semi-simplicity of Greenberg and, by the way, an isomorphism of Kuz'min.


title: The strong decays of the light scalar mesons $f_0(500)$ and $f_0(980)$

abstract: The partial width of the decay channels $f_0(500) \to \pi \pi$, $f_0(980) \to \pi \pi$ and $f_0(980) \to K \bar K$ are calculated using QCD light-cone sum rules method and a technique of the soft meson approximation. The scalar particles are treated as mixtures of the heavy $|H\rangle =([su][\bar s \bar u]+[sd][\bar s \bar d])/\sqrt 2$ and light $|L\rangle =[ud][\bar u \bar d]$ scalar diquark-antidiquark components. Obtained results for the full width of the $f_0(500)$ meson $\Gamma_{\mathrm{th}.}=434.7\pm 72.3~\mathrm{MeV}$ and for the $f_0(980)$ meson $\Gamma_{\mathrm{th.}}=42.12\pm 6.70~\mathrm{MeV }$ are compared with the world averages for these parameters, and a reasonable agreement between them is found.


title: Multiple front standing waves in the FitzHugh-Nagumo equations

abstract: There have been several existence results for the standing waves of FitzHugh-Nagumo equations. Such waves are the connecting orbits of an autonomous second-order Lagrangian system and the corresponding kinetic energy is an indefinite quadratic form in the velocity terms. When the system has two stable hyperbolic equilibria, there exist two stable standing fronts, which will be used in this paper as building blocks, to construct stable standing waves with multiple fronts in case the equilibria are of saddle-focus type. The idea to prove existence is somewhat close in spirit to [Buffoni-Sere, CPAM 49, 285-305]. However several differences are required in the argument: facing a strongly indefinite functional, we need to perform a nonlo-cal Lyapunov-Schmidt reduction; in order to justify the stability of multiple front standing waves, we rely on a more precise variational characterization of such critical points. Based on this approach, both stable and unstable standing waves are established.


title: Identifying Cross-Depicted Historical Motifs

abstract: Cross-depiction is the problem of identifying the same object even when it is depicted in a variety of manners. This is a common problem in handwritten historical documents image analysis, for instance when the same letter or motif is depicted in several different ways. It is a simple task for humans yet conventional heuristic computer vision methods struggle to cope with it. In this paper we address this problem using state-of-the-art deep learning techniques on a dataset of historical watermarks containing images created with different methods of reproduction, such as hand tracing, rubbing, and radiography. To study the robustness of deep learning based approaches to the cross-depiction problem, we measure their performance on two different tasks: classification and similarity rankings. For the former we achieve a classification accuracy of 96% using deep convolutional neural networks. For the latter we have a false positive rate at 95% true positive rate of 0.11. These results outperform state-of-the-art methods by a significant margin.


title: Lattice thermal conductivities of two SiO$_2$ polymorphs by first-principles calculation and phonon Boltzmann transport equation

abstract: Lattice thermal conductivities of two SiO$_2$ polymorphs, i.e., $\alpha$-quartz (low) and $\alpha$-cristobalite (low), were studied using first-principles anharmonic phonon calculation and linearized phonon Boltzmann transport equation. Although $\alpha$-quartz and $\alpha$-cristobalite have similar phonon densities of states, phonon frequency dependencies of phonon group velocities and lifetimes are dissimilar, which results in largely different anisotropies of the lattice thermal conductivities. For $\alpha$-quartz and $\alpha$-cristobalite, distributions of the phonon lifetimes effective to determine the lattice thermal conductivities are well described by energy and momentum conservations of three phonon scatterings weighted by phonon occupation numbers and one parameter that represents the phonon-phonon interaction strengths.


title: Hypercyclic algebras

abstract: We prove the existence of algebras of hypercyclic vectors in three cases: convolution operators, composition operators, and backward shift operators.


title: General Relativity solutions in modified gravity

abstract: Recent gravitational wave observations of binary black hole mergers and a binary neutron star merger by LIGO and Virgo Collaborations associated with its optical counterpart constrain deviation from General Relativity (GR) both on strong-field regime and cosmological scales with high accuracy, and further strong constraints are expected by near-future observations. Thus, it is important to identify theories of modified gravity that intrinsically possess the same solutions as in GR among a huge number of theories. We clarify the three conditions for theories of modified gravity to allow GR solutions, i.e., solutions with the metric satisfying the Einstein equations in GR and the constant profile of the scalar fields. Our analysis is quite general, as it applies a wide class of single-/multi-field scalar-tensor theories of modified gravity in the presence of matter component, and any spacetime geometry including cosmological background as well as spacetime around black hole and neutron star, for the latter of which these conditions provide a necessary condition for no-hair theorem. The three conditions will be useful for further constraints on modified gravity theories as they classify general theories of modified gravity into three classes, each of which possesses i) unique GR solutions (i.e., no-hair cases), ii) only hairy solutions (except the cases that GR solutions are realized by cancellation between singular coupling functions in the Euler-Lagrange equations), and iii) both GR and hairy solutions, for the last of which one of the two solutions may be selected dynamically.


title: On the Continuous Cohomology of a semi-direct product Lie group

abstract: Let $G$ be a Lie group and $H$ be a subgroup of it. We can construct a bisimplicial manifold $NG(*) \rtimes NH(*)$ and the de Rham complex $\Omega^*(NG(*) \rtimes NH(*))$ on it. This complex is a triple complex and the cohomology of its total complex is isomorphic to $H^*(B(G \rtimes H))$. In this paper, we show that the total complex of the double complex $\Omega^q(NG(*) \rtimes NH(*))$ is isomorphic to the continuous cohomology $H_c^*(G \rtimes H;S^q{\mathcal G}^* \otimes S^q{\mathcal H}^*)$ for any fixed $q$.


title: Ground states of groupoid C*-algebras, phase transitions and arithmetic subalgebras for Hecke algebras

abstract: We consider the Hecke pair consisting of the group $P^+_K$ of affine transformations of a number field $K$ that preserve the orientation in every real embedding and the subgroup $P^+_O$ consisting of transformations with algebraic integer coefficients. The associated Hecke algebra $C^*(P^+_K,P^+_O)$ has a natural time evolution $\sigma$, and we describe the corresponding phase transition for KMS$_\beta$-states and for ground states. From work of Yalkinoglu and Neshveyev it is known that a Bost-Connes type system associated to $K$ has an essentially unique arithmetic subalgebra. When we import this subalgebra through the isomorphism of $C^*(P^+_K,P^+_O)$ to a corner in the Bost-Connes system established by Laca, Neshveyev and Trifkovic, we obtain an arithmetic subalgebra of $C^*(P^+_K,P^+_O)$ on which ground states exhibit the `fabulous' property with respect to an action of the Galois group $Gal(K^{ab}/H_+(K))$, where $H_+(K)$ is the narrow Hilbert class field. In order to characterize the ground states of the $C^*$-dynamical system $(C^*(P^+_K,P^+_O),\sigma)$, we obtain first a characterization of the ground states of a groupoid $C^*$-algebra, refining earlier work of Renault. This is independent from number theoretic considerations, and may be of interest by itself in other situations.


title: Discretisation of the Bloch Sphere, Fractal Invariant Sets and Bell's Theorem

abstract: An arbitrarily dense discretisation of the Bloch sphere of complex Hilbert states is constructed, where points correspond to bit strings of fixed finite length. Number-theoretic properties of trigonometric functions (not part of the quantum-theoretic canon) are used to show that this constructive discretised representation incorporates many of the defining characteristics of quantum systems: completementarity, uncertainty relationships and (with a simple Cartesian product of discretised spheres) entanglement. Unlike Meyer's earlier discretisation of the Bloch Sphere, there are no orthonormal triples, hence the Kocken-Specker theorem is not nullified. A physical interpretation of points on the discretised Bloch sphere is given in terms of ensembles of trajectories on a dynamically invariant fractal set in state space, where states of physical reality correspond to points on the invariant set. This deterministic construction provides a new way to understand the violation of the Bell inequality without violating statistical independence or factorisation, where these conditions are defined solely from states on the invariant set. In this finite representation there is an upper limit to the number of qubits that can be entangled, a property with potential experimental consequences.


title: ERA: Towards Privacy Preservation and Verifiability for Online Ad Exchanges

abstract: Ad exchanges are kind of the most popular online advertising marketplaces for trading ad spaces over the Internet. Ad exchanges run auctions to sell diverse ad spaces on the publishers' web-pages to advertisers, who want to display ads on ad spaces. However, the parties in an ad auction cannot verify whether the auction is carried out correctly or not. Furthermore, the advertisers are usually unwilling to reveal their sensitive bids and identities. In this paper, we jointly consider the auction verifiability and the advertisers' privacy preservation, and thus propose ERA, which is an Efficient, pRivacy-preserving, and verifiAble online auction mechanism for ad exchanges. ERA exploits an order preserving encryption scheme to guarantee privacy preservation, and achieves verifiability by constructing a novel protocol of privacy preserving integer comparison, which is built on the Paillier homomorphic encryption scheme. We extensively evaluate the performance of ERA, and our evaluation results show that ERA satisfies several desirable properties with low computation, communication, and storage overheads, so ERA can be easily deployed in today's ad exchanges.


title: Missing Slice Recovery for Tensors Using a Low-rank Model in Embedded Space

abstract: Let us consider a case where all of the elements in some continuous slices are missing in tensor data. In this case, the nuclear-norm and total variation regularization methods usually fail to recover the missing elements. The key problem is capturing some delay/shift-invariant structure. In this study, we consider a low-rank model in an embedded space of a tensor. For this purpose, we extend a delay embedding for a time series to a "multi-way delay-embedding transform" for a tensor, which takes a given incomplete tensor as the input and outputs a higher-order incomplete Hankel tensor. The higher-order tensor is then recovered by Tucker-based low-rank tensor factorization. Finally, an estimated tensor can be obtained by using the inverse multi-way delay embedding transform of the recovered higher-order tensor. Our experiments showed that the proposed method successfully recovered missing slices for some color images and functional magnetic resonance images.


title: Phase diagram of QCD chaos in linear sigma models and holography

abstract: Measuring chaos of QCD-like theories is a challenge for formulating a novel characterization of quantum gauge theories. We define a chaos phase diagram of QCD allowing us to locate chaos in the parameter space of energy of homogeneous meson condensates and the QCD parameters such as pion/quark mass. We draw the chaos phase diagrams obtained in two ways: first, by using a linear sigma model, varying parameters of the potential, and second, by using the D4/D6 holographic QCD, varying the number of colors $N_c$ and the 't Hooft coupling constant $\lambda$. A scaling law drastically simplifies our analyses, and we discovered that the chaos originates in the maximum of the potential, and larger $N_c$ or larger $\lambda$ diminishes the chaos.


title: Effects of Tensor Force in the Relativistic Scheme: A Case Study of Neutron Drops

abstract: Tensor force is an important component in the nucleon-nucleon interaction, nevertheless, the role of the tensor force in the spin properties in finite nuclei is much less clear. In this report, we mainly focus on our recent progress on this topic about the relativistic Brueckner-Hartree-Fock theory and the corresponding tensor effects on the spin-orbit splittings in neutron drops. This will serve as an important guide for future microscopic derivations of the relativistic and non-relativistic nuclear energy density functionals.


title: Dark halo structure in the Carina dwarf spheroidal galaxy: joint analysis of multiple stellar components

abstract: Photometric and spectroscopic observations of the Carina dSph revealed that this galaxy contains two dominant stellar populations of different age and kinematics. The co-existence of multiple populations provides new constraints on the dark halo structure of the galaxy, because different populations should be in equilibrium in the same dark matter potential well. We develop non-spherical dynamical models including such multiple stellar components and attempt to constrain the properties of the non-spherical dark halo of Carina. We find that Carina probably has a larger and denser dark halo than found in previous works and a less cuspy inner dark matter density profile, even though the uncertainties of dark halo parameters are still large due to small volume of data sample. Using our fitting results, we evaluate astrophysical factors for dark matter annihilation and decay and find that Carina should be one of the most promising detectable targets among classical dSph galaxies. We also calculate stellar velocity anisotropy profiles for both stellar populations and find that they are both radially anisotropic in the inner regions, while in the outer regions the older population becomes more tangentially biased than the intermediate one. This is consistent with the anisotropy predicted from tidal effects on the dynamical structure of a satellite galaxy and thereby can be considered as kinematic evidence for the tidal evolution of Carina.


title: On large primitive subsets of $\{1,2,\ldots,2n\}$

abstract: A subset of $\{1,2,\ldots,2n\}$ is said to be primitive if it does not contain any pair of elements $(u,v)$ such that $u$ is a divisor of $v$. Let $D(n)$ denote the number of primitive subsets of $\{1,2,\ldots,2n\}$ with $n$ elements. Numerical evidence suggests that $D(n)$ is roughly $(1.32)^n$. We show that for sufficiently large $n$, $$(1.303...)^n < D(n) < (1.408...)^n$$


title: Extragalactic Radio Sources as a Piece of the Cosmological Jigsaw

abstract: Early on, extragalactic radio sources have pointed to a cosmologically evolving Universe. They were also an important piece of evidence for the existence of supermassive black holes, now thought to be a key component of galaxies. The observation that the power of radio sources increases with redshift, whereas the cosmological assembly of mass proceeds vice versa means that radio sources have their strongest impact in the early Universe. Our simulations suggest that radio sources heat hot halo gas, boost star formation in disc galaxies and other cold gas in the vicinity, possibly filaments, by a surround and squash mechanism. They might cause gaseous outflows in connection with stellar feedback. This might be an important mode of star formation for forming massive galaxies. Analysis of the jet-environment interaction may provide insights into black-hole physics and jet formation, e.g., rotational energy extraction (Blandford-Znajek) or how frequent black-hole binaries or multiple systems are. The former relates to fundamental questions about the nature of black holes. The latter is expected from hierarchical cosmology. Extragalactic radio sources thus continue to corroborate the cosmological picture and lead the way towards new, exciting discoveries.


title: Semi linear elliptic systems with dependence on the gradient

abstract: We provide results on the existence, non-existence, multiplicity and localization of positive radial solutions for semi linear elliptic systems with Dirichlet or Robin boundary conditions on an annulus. Our approach is topological and relies on the classical fixed point index. We present an example to illustrate our theory.


title: Interaction potential and thermo-correction to the equation of state for thermally stable Schwarzschild Anti-de Sitter black holes

abstract: The microscopic structure of black holes remains a challenging subject. In this paper, based on the well-accepted fact that black holes can be mapped to thermodynamic systems, we make a preliminary exploration of the microscopic structure of the thermodynamically stable Schwarzschild anti-de-Sitter (SAdS) black hole. In accordance with the number density and thermodynamic scalar curvature, we give the interaction potential among the molecules of thermodynamically stable SAdS black holes and analyze its effectiveness. Moreover, we derive the thermo-correction to the equation of state for such black holes that arises from interactions among black-hole molecules using virial coefficients.


title: Fingerprint template protection using minutia-pair spectral representations

abstract: Storage of biometric data requires some form of template protection in order to preserve the privacy of people enrolled in a biometric database. One approach is to use a Helper Data System. Here it is necessary to transform the raw biometric measurement into a fixed-length representation. In this paper we extend the spectral function approach of Stanko and Skoric [WIFS2017], which provides such a fixed-length representation for fingerprints. First, we introduce a new spectral function that captures different information from the minutia orientations. It is complementary to the original spectral function, and we use both of them to extract information from a fingerprint image. Second, we construct a helper data system consisting of zero-leakage quantisation followed by the Code Offset Method. We show empirical data which demonstrates that applying our helper data system causes only a small performance penalty compared to fingerprint authentication based on the unprotected spectral functions.


title: Proof of a Conjecture of Wiegold

abstract: In this short note we confirm a conjecture of James Wiegold. We prove that if $G$ is a finite $p$-group and $|G'|>p^{n(n-1)/2}$ for some non-negative integer $n$, then the group $G$ can be generated by the elements of breadth at least $n$. The breadth $b(x)$ of an element $x$ of a finite $p$-group $G$ is defined by the equation $|G:C_G(x)| = p^{b(x)}$, where $C_G(x)$ is the centralizer of $x$ in $G$.


title: Large-time behavior and far field asymptotics of solutions to the Navier-Stokes equations

abstract: Asymptotic expansions of global solutions to the incompressible Navier-Stokes equation as $t$ tends to infinity with high-order is studied and large-time behavior of the expansion is clarified. Furthermore, far field asymptotics also is derived. Those expansions are provided without moment conditions on the initial velocity. The Biot-Savard law together with the renormalization for the vorticity equations yields those expansions.


title: Survey of Communication Protocols for Internet-of-Things and Related Challenges of Fog and Cloud Computing Integration

abstract: The fast increment in the number of IoT (Internet of Things) devices is accelerating the research on new solutions to make cloud services scalable. In this context, the novel concept of fog computing as well as the combined fog-to-cloud computing paradigm is becoming essential to decentralize the cloud, while bringing the services closer to the end-system. This paper surveys on the application layer communication protocols to fulfil the IoT communication requirements, and their potential for implementation in fog- and cloud-based IoT systems. To this end, the paper first presents a comparative analysis of the main characteristics of IoT communication protocols, including request-reply and publish-subscribe protocols. After that, the paper surveys the protocols that are widely adopted and implemented in each segment of the system (IoT, fog, cloud), and thus opens up the discussion on their interoperability and wider system integration. Finally, the paper reviews the main performance issues, including latency, energy consumption and network throughput. The survey is expected to be useful to system architects and protocol designers when choosing the communication protocols in an integrated IoT-to-fog-to-cloud system architecture.


title: Mr-Moose: An advanced SED-fitting tool for heterogeneous multi-wavelength datasets

abstract: We present the public release of MrMoose, a fitting procedure that is able to perform multi-wavelength and multi-object spectral energy distribution (SED) fitting in a Bayesian framework. This procedure is able to handle a large variety of cases, from an isolated source to blended multi-component sources from an heterogeneous dataset (i.e. a range of observation sensitivities and spectral/spatial resolutions). Furthermore, MrMoose handles upper-limits during the fitting process in a continuous way allowing models to be gradually less probable as upper limits are approached. The aim is to propose a simple-to-use, yet highly-versatile fitting tool fro handling increasing source complexity when combining multi-wavelength datasets with fully customisable filter/model databases. The complete control of the user is one advantage, which avoids the traditional problems related to the "black box" effect, where parameter or model tunings are impossible and can lead to overfitting and/or over-interpretation of the results. Also, while a basic knowledge of Python and statistics is required, the code aims to be sufficiently user-friendly for non-experts. We demonstrate the procedure on three cases: two artificially-generated datasets and a previous result from the literature. In particular, the most complex case (inspired by a real source, combining Herschel, ALMA and VLA data) in the context of extragalactic SED fitting, makes MrMoose a particularly-attractive SED fitting tool when dealing with partially blended sources, without the need for data deconvolution.


title: Solution of Baxter equation for the $q$-Toda and Toda$_2$ chains by NLIE

abstract: We construct a basis of solutions of the scalar $\boldsymbol{ \texttt{t} }- \boldsymbol{ \texttt{Q} }$ equation describing the spectrum of the $q$-Toda and Toda$_2$ chains by using auxiliary non-linear integral equations. Our construction allows us to provide quantisation conditions for the spectra of these models in the form of thermodynamic Bethe Ansatz-like equations.


title: Constituent-quark model with pionic contributions: electromagnetic $N\rightarrow\Delta$ transition

abstract: We report on ongoing work to determine the pion-cloud contribution to the electromagnetic $N\rightarrow\Delta$ transition form factors. The starting point is an $SU(6)$ spin-flavor symmetric constituent-quark model with instantaneous confinement that is augmented by dynamical pions which couple directly to the quarks. This system is treated in a relativistically invariant way within the framework of point-form quantum mechanics using a multichannel formulation. The first step is to determine the electromagnetic form factors of the bare particles that consist only of three quarks. These form factors are basic ingredients for calculating the pion-cloud contributions. Already without the pion cloud, electromagnetic nucleon and $N\rightarrow \Delta$ transition form factors compare reasonably well with the data. By inclusion of the pion-cloud contribution coming from the $\pi$-$N$ intermediate state the reproduction of the data is further improved.


title: A splitting theorem for scalar curvature

abstract: We show that a Riemannian $3$-manifold with non-negative scalar curvature is flat if it contains an area-minimizing cylinder. This scalar-curvature analogue of the classical splitting theorem of J.~Cheeger and D.~Gromollhas been conjectured by D.~Fischer-Colbrie and R.~Schoen and by M.~Cai and G.~Galloway.


title: Ergodic Control of Infinite Dimensional SDEs with Degenerate Noise

abstract: The present paper is devoted to the study of the asymptotic behavior of the value functions of both finite and infinite horizon stochastic control problems and to the investigation of their relation with suitable stochastic ergodic control problems. Our methodology is based only on probabilistic techniques, as for instance the so-called randomization of the control method, thus avoiding completely analytical tools from the theory of viscosity solutions. We are then able to treat with the case where the state process takes values in a general (possibly infinite dimensional) real separable Hilbert space and the diffusion coefficient is allowed to be degenerate.


title: Bringing Cartoons to Life: Towards Improved Cartoon Face Detection and Recognition Systems

abstract: Given the recent deep learning advancements in face detection and recognition techniques for human faces, this paper answers the question "how well would they work for cartoons'?" - a domain that remains largely unexplored until recently, mainly due to the unavailability of large scale datasets and the failure of traditional methods on these. Our work studies and extends multiple frameworks for the aforementioned tasks. For face detection, we incorporate the Multi-task Cascaded Convolutional Network (MTCNN) architecture and contrast it with conventional methods. For face recognition, our two-fold contributions include: (i) an inductive transfer learning approach combining the feature learning capability of the Inception v3 network and the feature recognizing capability of Support Vector Machines (SVMs), (ii) a proposed Hybrid Convolutional Neural Network (HCNN) framework trained over a fusion of pixel values and 15 manually located facial keypoints. All the methods are evaluated on the Cartoon Faces in the Wild (IIIT-CFW) database. We demonstrate that the HCNN model offers stability superior to that of Inception+SVM over larger input variations, and explore the plausible architectural principles. We show that the Inception+SVM model establishes a state-of-the-art F1 score on the task of gender recognition of cartoon faces. Further, we introduce a small database hosting location coordinates of 15 points on the cartoon faces belonging to 50 public figures of the IIIT-CFW database.


title: On the Energy Consumption Forecasting of Data Centers Based on Weather Conditions: Remote Sensing and Machine Learning Approach

abstract: The energy consumption of Data Centers (DCs) is a very important figure for the telecommunications operators, not only in terms of cost, but also in terms of operational reliability. A relation between the energy consumption and the weather conditions would indicate that weather forecast models could be used for predicting energy consumption of DCs. A reliable forecast would result in a more efficient management of the available energy and would make it easier to take advantage of the modern types of power-grid based on renewable energy resources. In this ,paper, we exploit the capabilities provided by the FIESTA-IoT platform in order to investigate the correlation between the weather conditions and the energy consumption in DCs. Then, by using multi-variable linear regression process, we model this correlation between the energy consumption and the dominant weather conditions parameters in order to effectively forecast the energy consumption based on the weather forecast. We have validated our results through live measurements from the RealDC testbed. Results from our proposed approach indicate that forecasting of energy consumption based on weather conditions could help not only DC operators in managing their cooling systems and power usage, but also electricity companies in optimizing their power distribution systems.


title: Three-Dimensional Structure of the Magellanic System

abstract: We have determined the three-dimensional structure of the Magellanic Clouds and Magellanic Bridge using over $9\,000$ Classical Cepheids (CCs) and almost $23\,000$ RR~Lyrae (RRL) stars from the fourth phase of the OGLE project. For the CCs we calculated distances based on period-luminosity relations. CCs in the LMC are situated mainly in the bar that shows no offset from the plane of the LMC. The northern arm is also very prominent with an additional smaller arm. Both are located closer to us than the entire sample. The SMC has a non-planar structure that can be described as an ellipsoid extended almost along the line of sight. We also classified nine of our CCs as Magellanic Bridge objects. These Cepheids show a large spread in three-dimensions. For the RRL stars, we calculated distances based on photometric metallicities and theoretical relations. Both Magellanic Clouds revealed a very regular structure. We fitted triaxial ellipsoids to our LMC and SMC samples. In the LMC we noticed a very prominent, non-physical blend-artifact that prevented us from analyzing the central parts of this galaxy. We do not see any evidence of a bridge-like connection between the Magellanic Clouds.


title: The Kanerva Machine: A Generative Distributed Memory

abstract: We present an end-to-end trained memory system that quickly adapts to new data and generates samples like them. Inspired by Kanerva's sparse distributed memory, it has a robust distributed reading and writing mechanism. The memory is analytically tractable, which enables optimal on-line compression via a Bayesian update-rule. We formulate it as a hierarchical conditional generative model, where memory provides a rich data-dependent prior distribution. Consequently, the top-down memory and bottom-up perception are combined to produce the code representing an observation. Empirically, we demonstrate that the adaptive memory significantly improves generative models trained on both the Omniglot and CIFAR datasets. Compared with the Differentiable Neural Computer (DNC) and its variants, our memory model has greater capacity and is significantly easier to train.


title: Effect of grid resolution on large eddy simulation of wall-bounded turbulence

abstract: The effect of grid resolution on large eddy simulation (LES) of wall-bounded turbulent flow is investigated. A channel flow simulation campaign involving systematic variation of the streamwise ($\Delta x$) and spanwise ($\Delta z$) grid resolution is used for this purpose. The main friction-velocity based Reynolds number investigated is 300. Near the walls, the grid cell size is determined by the frictional scaling, $\Delta x^+$ and $\Delta z^+$, and strongly anisotropic cells, with first $\Delta y^+ \sim 1$, thus aiming for wall-resolving LES. Results are compared to direct numerical simulations (DNS) and several quality measures are investigated, including the error in the predicted mean friction velocity and the error in cross-channel profiles of flow statistics. To reduce the total number of channel flow simulations, techniques from the framework of uncertainty quantification (UQ) are employed. In particular, generalized polynomial chaos expansion (gPCE) is used to create meta models for the errors over the allowed parameter ranges. The differing behavior of the different quality measures is demonstrated and analyzed. It is shown that friction velocity, and profiles of velocity and the Reynolds stress tensor, are most sensitive to $\Delta z^+$, while the error in the turbulent kinetic energy is mostly influenced by $\Delta x^+$. Recommendations for grid resolution requirements are given, together with quantification of the resulting predictive accuracy. The sensitivity of the results to subgrid-scale (SGS) model and varying Reynolds number is also investigated. All simulations are carried out with second-order accurate finite-volume based solver. The choice of numerical methods and SGS model is expected to influence the conclusions, but it is emphasized that the proposed methodology, involving gPCE, can be applied to other modeling approaches as well.


title: Processing of Electronic Health Records using Deep Learning: A review

abstract: Availability of large amount of clinical data is opening up new research avenues in a number of fields. An exciting field in this respect is healthcare, where secondary use of healthcare data is beginning to revolutionize healthcare. Except for availability of Big Data, both medical data from healthcare institutions (such as EMR data) and data generated from health and wellbeing devices (such as personal trackers), a significant contribution to this trend is also being made by recent advances on machine learning, specifically deep learning algorithms.


title: Experimental state control by fast non-Abelian holonomic gates with a superconducting qutrit

abstract: Quantum state manipulation with gates based on geometric phases acquired during cyclic operations promises inherent fault-tolerance and resilience to local fluctuations in the control parameters. Here we create a general non-Abelian and non-adiabatic holonomic gate acting in the $(\ket{0},\ket{2})$ subspace of a three-level transmon fabricated in a fully coplanar design. Experimentally, this is realized by simultaneously coupling the first two transitions by microwave pulses with amplitudes and phases defined such that the condition of parallel transport is fulfilled. We demonstrate the creation of arbitrary superpositions in this subspace by changing the amplitudes of the pulses and the relative phase between them. We use two-photon pulses acting in the holonomic subspace to reveal the coherence of the state created by the geometric gate pulses and to prepare different superposition states. We also test the action of holonomic NOT and Hadamard gates on superpositions in the $(\ket{0},\ket{2})$ subspace.


title: Domain Adaptation for Statistical Machine Translation

abstract: Statistical machine translation (SMT) systems perform poorly when it is applied to new target domains. Our goal is to explore domain adaptation approaches and techniques for improving the translation quality of domain-specific SMT systems. However, translating texts from a specific domain (e.g., medicine) is full of challenges. The first challenge is ambiguity. Words or phrases contain different meanings in different contexts. The second one is language style due to the fact that texts from different genres are always presented in different syntax, length and structural organization. The third one is the out-of-vocabulary words (OOVs) problem. In-domain training data are often scarce with low terminology coverage. In this thesis, we explore the state-of-the-art domain adaptation approaches and propose effective solutions to address those problems.