title: Minimax adaptive wavelet estimator for the anisotropic functional deconvolution model with unknown kernel

abstract: In the present paper, we consider the estimation of a periodic two-dimensional function $f(\cdot,\cdot)$ based on observations from its noisy convolution, and convolution kernel $g(\cdot,\cdot)$ unknown. We derive the minimax lower bounds for the mean squared error assuming that $f$ belongs to certain Besov space and the kernel function $g$ satisfies some smoothness properties. We construct an adaptive hard-thresholding wavelet estimator that is asymptotically near-optimal within a logarithmic factor in a wide range of Besov balls. The proposed estimation algorithm implements a truncation to estimate the wavelet coefficients, in addition to the conventional hard-thresholds. A limited simulations study confirms theoretical claims of the paper.


title: A geometrical interpretation of the Thomas theorem and the Efimov States

abstract: Using a generalized Bohr model and the hyper-spherical formalism for a three-body system, we derive the Thomas theorem assuming a simple interaction depending on the range of the potential. We discuss the conditions for which an unbound two-body system produces a bound three-body system and derive universal energy functions. We apply our model to $^{4}$He and Triton atoms as well as to the triton nucleus. Using their scattering lengths and effective ranges, we are able to reproduce the two-body or the three-body binding energies with only one parameter fitted. Prediction for excited (Efimov) levels are also given and in particular we demonstrate that for some hyper-angles two equal minima appear which indicate a phase (shape) transition similar to the Landau's theory of phase transition. We suggest that the observed excited levels in two different experiments for the triton nucleus are indeed Efimov levels and there may be more surprises.


title: Structured Binary Neural Networks for Accurate Image Classification and Semantic Segmentation

abstract: In this paper, we propose to train convolutional neural networks (CNNs) with both binarized weights and activations, leading to quantized models specifically} for mobile devices with limited power capacity and computation resources. Previous works on quantizing CNNs seek to approximate the floating-point information using a set of discrete values, which we call value approximation, but typically assume the same architecture as the full-precision networks. In this paper, however, we take a novel 'structure approximation' view for quantization---it is very likely that a different architecture may be better for best performance. In particular, we propose a `network decomposition' strategy, named \textbf{Group-Net}, in which we divide the network into groups. In this way, each full-precision group can be effectively reconstructed by aggregating a set of homogeneous binary branches. In addition, we learn effective connections among groups to improve the representational capability. Moreover, the proposed Group-Net shows strong generalization to other tasks. For instance, we extend Group-Net for highly accurate semantic segmentation by embedding rich context into the binary structure. Experiments on both classification and semantic segmentation tasks demonstrate the superior performance of the proposed methods over various popular architectures. In particular, we outperform the previous best binary neural networks in terms of accuracy and major computation savings.


title: Radiative dynamical mass of planar charged fermion in a constant homogeneous magnetic field

abstract: The effective Lagrangian and mass operator are calculated for planar charged massive and massless fermions in a constant external homogeneous magnetic field in the one-loop approximation of the 2+1 dimensional quantum electrodynamics (QED$_{2+1}$). We obtain the renormalizable effective Lagrangian and the fermion mass operator for a charged fermion of mass $m$ and then calculate these quantities for the massless case. The radiative corrections to the mass of charged massless fermion when it occupies the lowest Landau level are found for the cases of the pure QED$_{2+1}$ as well as the so-called reduced QED$_{3+1}$ on a 2-brane. The fermion masses were found can be generated dynamically by an external magnetic field in the pure QED$_{2+1}$ if the charged fermion has small bare mass $m_0$ and in the reduced QED$_{3+1}$ on a 2-brane even at $m_0=0$. The dynamical mass seems to be likely to be revealed in monolayer graphene in the presence of constant homogeneous magnetic field (normal to the graphene sample).


title: Towards Machine Learning Prediction of Deep Brain Stimulation (DBS) Intra-operative Efficacy Maps

abstract: Deep brain stimulation (DBS) has the potential to improve the quality of life of people with a variety of neurological diseases. A key challenge in DBS is in the placement of a stimulation electrode in the anatomical location that maximizes efficacy and minimizes side effects. Pre-operative localization of the optimal stimulation zone can reduce surgical times and morbidity. Current methods of producing efficacy probability maps follow an anatomical guidance on magnetic resonance imaging (MRI) to identify the areas with the highest efficacy in a population. In this work, we propose to revisit this problem as a classification problem, where each voxel in the MRI is a sample informed by the surrounding anatomy. We use a patch-based convolutional neural network to classify a stimulation coordinate as having a positive reduction in symptoms during surgery. We use a cohort of 187 patients with a total of 2,869 stimulation coordinates, upon which 3D patches were extracted and associated with an efficacy score. We compare our results with a registration-based method of surgical planning. We show an improvement in the classification of intraoperative stimulation coordinates as a positive response in reduction of symptoms with AUC of 0.670 compared to a baseline registration-based approach, which achieves an AUC of 0.627 (p < 0.01). Although additional validation is needed, the proposed classification framework and deep learning method appear well-suited for improving pre-surgical planning and personalize treatment strategies.


title: Spectral Theory of Sparse Non-Hermitian Random Matrices

abstract: Sparse non-Hermitian random matrices arise in the study of disordered physical systems with asymmetric local interactions, and have applications ranging from neural networks to ecosystem dynamics. The spectral characteristics of these matrices provide crucial information on system stability and susceptibility, however, their study is greatly complicated by the twin challenges of a lack of symmetry and a sparse interaction structure. In this review we provide a concise and systematic introduction to the main tools and results in this field. We show how the spectra of sparse non-Hermitian matrices can be computed via an analogy with infinite dimensional operators obeying certain recursion relations. With reference to three illustrative examples -- adjacency matrices of regular oriented graphs, adjacency matrices of oriented Erd\H{o}s-R\'{e}nyi graphs, and adjacency matrices of weighted oriented Erd\H{o}s-R\'{e}nyi graphs -- we demonstrate the use of these methods to obtain both analytic and numerical results for the spectrum, the spectral distribution, the location of outlier eigenvalues, and the statistical properties of eigenvectors.

categories: cond-mat.stat-mech cond-mat.dis-nn math-ph math.MP


title: A fractional generalized Cauchy process

abstract: This paper presents a fractional generalized Cauchy process (FGCP) with an additive and a multiplicative Gaussian white noise for describing subordinated anomalous fluctuations. The FGCP displays intermittent dynamics during random time durations, whose analytical representation is given by the It$\hat{\rm o}$ stochastic integral. The associated probability density function is given by the Tsallis $q$-Gaussian distribution at the stationary state. The method of fractional Feynman-Kac formula shows that weak ergodicity breaking of the FGCP depends on the existence of the subordinator and/or the divergence of variance.


title: Combining neural and knowledge-based approaches to Named Entity Recognition in Polish

abstract: Named entity recognition (NER) is one of the tasks in natural language processing that can greatly benefit from the use of external knowledge sources. We propose a named entity recognition framework composed of knowledge-based feature extractors and a deep learning model including contextual word embeddings, long short-term memory (LSTM) layers and conditional random fields (CRF) inference layer. We use an entity linking module to integrate our system with Wikipedia. The combination of effective neural architecture and external resources allows us to obtain state-of-the-art results on recognition of Polish proper names. We evaluate our model on data from PolEval 2018 NER challenge on which it outperforms other methods, reducing the error rate by 22.4% compared to the winning solution. Our work shows that combining neural NER model and entity linking model with a knowledge base is more effective in recognizing named entities than using NER model alone.


title: Multi-Task Generative Adversarial Network for Handling Imbalanced Clinical Data

abstract: We propose a new generative adversarial architecture to mitigate imbalance data problem for the task of medical image semantic segmentation where the majority of pixels belong to a healthy region and few belong to lesion or non-health region. A model trained with imbalanced data tends to bias towards healthy data which is not desired in clinical applications. We design a new conditional GAN with two components: a generative model and a discriminative model to mitigate imbalanced data problem through selective weighted loss. While the generator is trained on sequential magnetic resonance images (MRI) to learn semantic segmentation and disease classification, the discriminator classifies whether a generated output is real or fake. The proposed architecture achieved state-of-the-art results on ACDC-2017 for cardiac segmentation and diseases classification. We have achieved competitive results on BraTS-2017 for brain tumor segmentation and brain diseases classification.


title: Real numbers as infinite decimals -- theory and computation

abstract: In the 16th century, Simon Stevin initiated a modern approach to decimal representation of measuring numbers, marking a transition from the discrete arithmetic practised by the Greeks to the arithmetic of the continuum taken for granted today. However, how to perform arithmetic directly on infinite decimals remains a long-standing problem, which has seen the popular degeometrisation of real numbers since the first constructions were published in around 1872. Our article is devoted to solving this historical problem. An issue that Hardy called "a fatal defect" is also settled.


title: A New Counterexample to Nguyen's Conjecture on Surface Fibration

abstract: Suppose $f:S\rightarrow\mathbb{P}^1$ is a surface fibration of genus $g$ with $3$ singular fibers and two of the fibers are semistable. In 1998, K. V. Nguyen conjectured that such kind of fibration does not exist for $g\ge2$. But in 2013, C. Gong, X. Lu, and S.-L. Tan found a counterexample to Nguyen's conjecture for $g=2$. Note that such kind of fibration shows strong arithmetic properties, and as such the counterexamples are important, but rare in fact. In this paper, a new counterexample to Nguyen's conjecture for $g=2$ is constructed.


title: Creating a contemporary corpus of similes in Serbian by using natural language processing

abstract: Simile is a figure of speech that compares two things through the use of connection words, but where comparison is not intended to be taken literally. They are often used in everyday communication, but they are also a part of linguistic cultural heritage. In this paper we present a methodology for semi-automated collection of similes from the World Wide Web using text mining and machine learning techniques. We expanded an existing corpus by collecting 442 similes from the internet and adding them to the existing corpus collected by Vuk Stefanovic Karadzic that contained 333 similes. We, also, introduce crowdsourcing to the collection of figures of speech, which helped us to build corpus containing 787 unique similes.


title: Dynamic Ecological System Measures

abstract: The system decomposition theory has recently been developed for the dynamic analysis of nonlinear compartmental systems. The application of this theory to the ecosystem analysis has also been introduced in a separate article. Based on this methodology, multiple new dynamic ecological system measures and indices of matrix, vector, and scalar types are systematically introduced in the present paper. These mathematical system analysis tools are quantitative ecological indicators that monitor the flow distribution and storage organization, quantify the direct, indirect, acyclic, cycling, and transfer (diact) effects and utilities of one compartment on another, identify the system efficiencies and stress, measure the compartmental exposures to system flows, determine the residence times and compartmental activity levels, and ascertain the system resilience and resistance in the case of disturbances. The proposed dynamic system measures and indices, thus, extract detailed information about ecosystems' characteristics, as well as their functions, properties, behaviors, and various other system attributes that are potentially hidden in and even obscured by data. A dynamic technique for the quantitative characterization and classification of main interspecific interactions and the determination of their strength within food webs is also developed based on the diact effect and utility indices. Moreover, major concepts and quantities in the current static network analyses are also extended to nonlinear dynamic settings and integrated with the proposed dynamic measures and indices in this unifying mathematical framework. We consider that the proposed methodology brings a novel complex system theory to the service of urgent and challenging environmental problems of the day and has the potential to lead the way to a more formalistic ecological science.


title: Sheffer homeomorphisms of spaces of entire functions in infinite dimensional analysis

abstract: For certain Sheffer sequences $(s_n)_{n=0}^\infty$ on $\mathbb C$, Grabiner (1988) proved that, for each $\alpha\in[0,1]$, the corresponding Sheffer operator $z^n\mapsto s_n(z)$ extends to a linear self-homeomorphism of $\mathcal E^{\alpha}_{\mathrm{min}}(\mathbb C)$, the Fr\'echet topological space of entire functions of order at most $\alpha$ and minimal type (when the order is equal to $\alpha>0$). In particular, every function $f\in \mathcal E^{\alpha}_{\mathrm{min}}(\mathbb C)$ admits a unique decomposition $f(z)=\sum_{n=0}^\infty c_n s_n(z)$, and the series converges in the topology of $\mathcal E^{\alpha}_{\mathrm{min}}(\mathbb C)$. Within the context of a complex nuclear space $\Phi$ and its dual space $\Phi'$, in this work we generalize Grabiner's result to the case of Sheffer operators corresponding to Sheffer sequences on $\Phi'$. In particular, for $\Phi=\Phi'=\mathbb C^n$ with $n\ge2$, we obtain the multivariate extension of Grabiner's theorem. Furthermore, for an Appell sequence on a general co-nuclear space $\Phi'$, we find a sufficient condition for the corresponding Sheffer operator to extend to a linear self-homeomorphism of $\mathcal E^{\alpha}_{\mathrm{min}}(\Phi')$ when $\alpha>1$. The latter result is new even in the one-dimensional case.


title: Quantum Complementarity and Operator Structures

abstract: We establish operator structure identities for quantum channels and their error-correcting and private codes, emphasizing the complementarity relationship between the two perspectives. Relevant structures include correctable and private operator algebras, and operator spaces such as multiplicative domains and nullspaces of quantum channels and their complementary maps. For the case of privatizing to quantum states, we also derive related dimension inequalities that may be viewed as operator algebra uncertainty relations.


title: General decay rate of solution for nonlinear Love-Equation with infinite memory

abstract: In this paper, we consider a nonlinear Love-equation with infinite memory. By certain properties of convex functions, we use an appropriate Lyapunov functional to find a very general rate of decay for energy (2.3).


title: MR-GAN: Manifold Regularized Generative Adversarial Networks

abstract: Despite the growing interest in generative adversarial networks (GANs), training GANs remains a challenging problem, both from a theoretical and a practical standpoint. To address this challenge, in this paper, we propose a novel way to exploit the unique geometry of the real data, especially the manifold information. More specifically, we design a method to regularize GAN training by adding an additional regularization term referred to as manifold regularizer. The manifold regularizer forces the generator to respect the unique geometry of the real data manifold and generate high quality data. Furthermore, we theoretically prove that the addition of this regularization term in any class of GANs including DCGAN and Wasserstein GAN leads to improved performance in terms of generalization, existence of equilibrium, and stability. Preliminary experiments show that the proposed manifold regularization helps in avoiding mode collapse and leads to stable training.


title: Semiclassical Defect Measures and Observability Estimate for Schr\"odinger Operators with Homogeneous Potentials of Order Zero

abstract: We study the asymptotic behavior as |x| \to \infty of Schr\"odinger operators with homogeneous potentials. For this purpose, we use methods from semiclassical analysis and investigate semiclassical defect mesures. We prove their localization in direction which we apply in order to obtain a necessary condition of observability.


title: The four-propagator three-loop vacuum integral by the hypergeometry

abstract: Hypergeometric function method is proposed to calculate the scalar integrals of Feynman diagrams. For the scalar integral of three-loop vacuum diagram with four-propagator, we verify the equivalency of Feynman parametrization and the hypergeometric technique. The result can be described as generalized hypergeometric functions of triple variables. Based on the triple hypergeometric functions, we also establish the systems of homogeneous linear partial differential equations(PDEs) satisfied by the mentioned scalar integral. The continuation of the scalar integral from its convergent regions to whole kinematic domains can be made numerically through the system of homogeneous linear PDEs with the help of the element method.


title: Two Models of Latent Consensus in Multi-Agent Systems

abstract: In this paper, we propose several consensus protocols of the first and second order for networked multi-agent systems and provide explicit representations for their asymptotic states. These representations involve the eigenprojection of the Laplacian matrix of the dependency digraph. In particular, we study regularization models for the problem of coordination when the dependency digraph does not contain a converging tree. In such models of the first kind, the system is supplemented by a dummy agent, a "hub" that uniformly, but very weakly influences the agents and, in turn, depends on them. In the models of the second kind, we assume the presence of very weak background links between the agents. Besides that, we present a description of the asymptotics of the classical second-order consensus protocol.


title: Two Cognitive Transitions Underlying the Capacity for Cultural Evolution

abstract: This paper proposes that the distinctively human capacity for cumulative, adaptive, open-ended cultural evolution came about through two temporally-distinct cognitive transitions. First, the origin of Homo-specific culture over two MYA was made possible by the onset of a finer-grained associative memory that allowed episodes to be encoded in greater detail. This in turn meant more overlap amongst the distributed representations of these episodes, such that they could more readily evoke one another through self-triggered recall (STR). STR enabled representational redescription, the chaining of thoughts and actions, and the capacity for a stream of thought. Second, fully cognitive modernity following the appearance of anatomical modernity after 200,000 BP, was made possible by the onset of contextual focus (CF): the ability to shift between an explicit convergent mode conducive to logic and refinement of ideas, and an implicit divergent mode conducive to free-association, viewing situations from radically new perspectives, concept combination, analogical thinking, and insight. This paved the way for an integrated, creative internal network of understandings, and behavioral modernity. We discuss feasible neural mechanisms for this two-stage proposal, and outline how STR and CF differ from other proposals. We provide computational evidence for the proposal obtained with an agent-based model of cultural evolution in which agents invent ideas for actions and imitate the fittest of their neighbors' actions. Mean fitness and diversity of actions across the artificial society increased with STR, and even more so with CF, but CF was only effective if STR was already in place. CF was most effective following a change in task, which supports its hypothesized role in escaping mental fixation. The proposal is discussed in the context of transition theory in the life sciences.


title: Small-scale clustering of nano-dust grains in turbulent interstellar molecular clouds [Extended version]

abstract: Clustering and dynamics of nano-sized particles (nano dust) is investigated using high-resolution ($1024^3$) simulations of compressible isothermal hydrodynamic turbulence, intended to mimic the conditions inside cold molecular clouds in the interstellar medium. Nano-sized grains may cluster in a turbulent flow (small-scale clustering), which increases the local grain density significantly. Together with the increased interaction rate due to turbulent motions, aggregation of interstellar nano-dust may be plausible.


title: Compact and Efficient Encodings for Planning in Factored State and Action Spaces with Learned Binarized Neural Network Transition Models

abstract: In this paper, we leverage the efficiency of Binarized Neural Networks (BNNs) to learn complex state transition models of planning domains with discretized factored state and action spaces. In order to directly exploit this transition structure for planning, we present two novel compilations of the learned factored planning problem with BNNs based on reductions to Weighted Partial Maximum Boolean Satisfiability (FD-SAT-Plan+) as well as Binary Linear Programming (FD-BLP-Plan+). Theoretically, we show that our SAT-based Bi-Directional Neuron Activation Encoding is asymptotically the most compact encoding relative to the current literature and supports Unit Propagation (UP) -- an important property that facilitates efficiency in SAT solvers. Experimentally, we validate the computational efficiency of our Bi-Directional Neuron Activation Encoding in comparison to an existing neuron activation encoding and demonstrate the ability to learn complex transition models with BNNs. We test the runtime efficiency of both FD-SAT-Plan+ and FD-BLP-Plan+ on the learned factored planning problem showing that FD-SAT-Plan+ scales better with increasing BNN size and complexity. Finally, we present a finite-time incremental constraint generation algorithm based on generalized landmark constraints to improve the planning accuracy of our encodings through simulated or real-world interaction.


title: Linear versus spin: representation theory of the symmetric groups

abstract: We relate the linear asymptotic representation theory of the symmetric groups to its spin counterpart. In particular, we give explicit formulas which express the normalized irreducible spin characters evaluated on a strict partition $\xi$ with analogous normalized linear characters evaluated on the double partition $D(\xi)$. We also relate some natural filtration on the usual (linear) Kerov-Olshanski algebra of polynomial functions on the set of Young diagrams with its spin counterpart. Finally, we give a spin counterpart to Stanley formula for the characters of the symmetric groups.


title: On Filter Size in Graph Convolutional Networks

abstract: Recently, many researchers have been focusing on the definition of neural networks for graphs. The basic component for many of these approaches remains the graph convolution idea proposed almost a decade ago. In this paper, we extend this basic component, following an intuition derived from the well-known convolutional filters over multi-dimensional tensors. In particular, we derive a simple, efficient and effective way to introduce a hyper-parameter on graph convolutions that influences the filter size, i.e. its receptive field over the considered graph. We show with experimental results on real-world graph datasets that the proposed graph convolutional filter improves the predictive performance of Deep Graph Convolutional Networks.


title: Explicit genus formula for any separable cubic global function field

abstract: In the present work, we determine explicitly the genus of any separable cubic extension of any global function field given the minimal polynomial of the extension. We give algorithms computing the ramification data and the genus of any separable cubic extension of any global rational function field.


title: A Novel Learning-based Global Path Planning Algorithm for Planetary Rovers

abstract: Autonomous path planning algorithms are significant to planetary exploration rovers, since relying on commands from Earth will heavily reduce their efficiency of executing exploration missions. This paper proposes a novel learning-based algorithm to deal with global path planning problem for planetary exploration rovers. Specifically, a novel deep convolutional neural network with double branches (DB-CNN) is designed and trained, which can plan path directly from orbital images of planetary surfaces without implementing environment mapping. Moreover, the planning procedure requires no prior knowledge about planetary surface terrains. Finally, experimental results demonstrate that DB-CNN achieves better performance on global path planning and faster convergence during training compared with the existing Value Iteration Network (VIN).


title: The nonlinear distribution of employment across municipalities

abstract: In this paper, the nonlinear distribution of employment across Spanish municipalities is analyzed. In addition, we explore the properties of the family of generalized power law (GPL) distributions, and test its adequacy for modelling employment data. The hierarchical structure of the GPL family that includes the hierarchy of Pareto (power law) distributions is deeply studied. A new subfamily of heavy-tailed GPL distributions that is right tail equivalent to a Pareto (power law) model is derived. Our findings show on the one hand that the distribution of employment across Spanish municipalities follows a power law behavior in the upper tail and, on the other hand, the adequacy of GPL models for modelling employment data in the whole range of the distribution.


title: Signal strength based scheme for following mobile IoT devices in dynamic environments

abstract: The increased maturity level of technological achievements towards the realization of the Internet of Things (IoT) vision allowed sophisticated solutions to emerge, offering reliable monitoring in highly dynamic environments that lack well-defined and well-designed infrastructures. In this paper, we use a bio-inspired IoT architecture, which allows flexible creation and discovery of sensor-based services offering self-organization and self-optimization properties to the dynamic network, in order to make the required monitoring information available. The main contribution of the paper is the introduction of a new algorithm for following mobile monitored targets/individuals in the context of an IoT system, especially a dynamic one as the aforementioned. The devised technique, called Hot-Cold, is able to ensure proximity maintenance by the tracking robotic device solely based on the strength of the RF signal broadcasted by the target to communicate its sensors' data. Complete geometrical, numerical, simulation, and convergence analyses of the proposed technique are thoroughly presented, along with a detailed simulation-based evaluation that reveals the higher following accuracy of Hot-Cold compared to the popular concept of trilateration-based tracking. Finally, a prototype of the full architecture was implemented not only to demonstrate the applicability of the presented approach for monitoring in dynamic environments, but also the operability of the introduced tracking technique.


title: High-resolution MEGARA IFU spectroscopy and structural analysis of a fast-rotating, disky bulge in NGC 7025

abstract: Disky bulges in spiral galaxies are commonly thought to form out of disk materials (mainly) via bar driven secular processes, they are structurally and dynamically distinct from `classical bulges' built in violent merger events. We use high-resolution GTC/MEGARA integral-field unit spectroscopic observations of the Sa galaxy NGC 7025, obtained during the MEGARA commissioning run, together with detailed 1D and 2D decompositions of this galaxy's SDSS $i$-band data to investigate the formation of its disky (bulge) component which makes up $\sim 30\%$ of the total galaxy light. With a S\'ersic index $n \sim 1.80 \pm 0.24$, half-light radius $R_{\rm e} \sim 1.70 \pm 0.43$ kpc and stellar mass $M_{*} \sim (4.34 \pm 1.70) \times10^{10} M_{\odot}$, this bulge dominates the galaxy light distribution in the inner $R \sim 15"$ ($\sim 4.7$ kpc). Measuring the spins ($\lambda$) and ellipticities ($\epsilon$) enclosed within nine different circular apertures with radii $R \le R_{\rm e}$, we show that the bulge, which exhibits a spin track of an outwardly rising $\lambda$ and $\epsilon$, is a fast rotator for all the apertures considered. Our findings suggest that this inner disky component is a pseudo-bulge, consistent with the stellar and dust spiral patterns seen in the galaxy down to the innermost regions but in contrast to the classical bulge interpretation favored in the past. We propose that a secular process involving the tightly wound stellar spiral arms of NGC 7025 may drive gas and stars out of the disk into the inner regions of the galaxy, building up the massive pseudo-bulge.


title: On the complete monotonicity of the three parameter generalized Mittag-Leffler function $E_{\alpha, \beta}^{\gamma}(-x)$

abstract: Using the Bernstein theorem we give a simple proof of the complete monotonicity of the three parameter generalized Mittag-Leffler function $E_{\alpha, \beta}^{\gamma}(-x)$ for $x \geq 0$ and suitably adjusted parameters $\alpha$, $\beta$ and $\gamma$


title: Casimir Effect for Nonlocal Field Theories with Continuum Massive Modes

abstract: In this paper, we study the Casimir force for a class of Lorentzian nonlocal field theories. These theories include a continuum of massive excitations. In this regard, the effect of continuum massive modes on Casimir force is of interest. We focus on the simplest case of two absorbing parallel planes in 1+1 dimensions, and we show that unlike local field theories, the thickness of the absorbing "walls" changes the value of Casimir force.


title: Sparse spectral estimation with missing and corrupted measurements

abstract: Supervised learning methods with missing data have been extensively studied not just due to the techniques related to low-rank matrix completion. Also in unsupervised learning one often relies on imputation methods. As a matter of fact, missing values induce a bias in various estimators such as the sample covariance matrix. In the present paper, a convex method for sparse subspace estimation is extended to the case of missing and corrupted measurements. This is done by correcting the bias instead of imputing the missing values. The estimator is then used as an initial value for a nonconvex procedure to improve the overall statistical performance. The methodological as well as theoretical frameworks are applied to a wide range of statistical problems. These include sparse Principal Component Analysis with different types of randomly missing data and the estimation of eigenvectors of low-rank matrices with missing values. Finally, the statistical performance is demonstrated on synthetic data.


title: Orbital angular momentum and energy loss characterization of plasmonic excitations in metallic nanostructures in TEM

abstract: Recently, a new device to measure the Orbital Angular Momentum (OAM) electronic spectrum after elastic/inelastic scattering in a transmission electron microscope has been introduced. We modified the theoretical framework needed to describe conventional low loss electron energy loss spectroscopy (EELS) experiments in transmission electron microscopes (TEM) to study surface plasmons in metallic nanostructures, to allow for an OAM post selection and devise new experiments for the analysis of these excitations in nanostructures. We found that unprecedented information on the symmetries and on the chirality of the plasmonic modes can be retrieved even with limited OAM and energy resolutions.


title: Influence of the Metals and Ligands in Dinuclear Complexes on Phosphopeptide Sequencing by Electron Transfer Dissociation Tandem Mass Spectrometry

abstract: Phosphorylation is one of the most important protein modifications, and electron-transfer dissociation tandem mass spectrometry (ETD-MS/MS) is a potentially useful method for the sequencing of phosphopeptides, including determination of the phosphorylation site. Notably, ETD-MS/MS typically provides useful information when the precursor contains more than three positive charges. It is not yet used as an analysis method for large-scale phosphopeptide production due to difficulties occurring in the production of acidic phosphopeptides having more than three positive charges. To increase the charge state of phosphopeptides, we used dinuclear metal complexes, which selectively bind to the phosphate group in phosphopeptides with the addition of positive charge(s). Dinuclear copper, zinc, and gallium complexes were tested and it was found that the type of metal present in the complex strongly affected the affinity of the phosphorylated compounds and their ETD fragmentation. The dinuclear copper complex interacted weakly with the phosphate groups and ETD-induced peptide fragmentation was largely suppressed by the presence of Cu2+, which worked as an electron trap. The dinuclear gallium complex was strongly bound to a phosphate group. However, the ligand binding to gallium acted as an electron trap and the presence of dinuclear gallium complex in the precursor for ETD-MS/MS hampered the sequencing of the phosphopeptides, as in the case of dinuclear copper complexes. In contrast, dinuclear zinc complexes efficiently bind to phosphopeptides with an increase in the charge state, facilitating phosphopeptide sequencing by ETD-MS/MS. The fragmentation of the ligand and peptide backbone in the dinuclear zinc--phosphopeptide complex were competitively induced by ETD. These processes are influenced by the ligand structure and so the detailed ETD fragmentation pathways were investigated using density functional theory calculations.


title: Non-deterministic inference using random set models: theory, approximation, and sampling method

abstract: A random set is a generalisation of a random variable, i.e. a set-valued random variable. The random set theory allows a unification of other uncertainty descriptions such as interval variable, mass belief function in Dempster-Shafer theory of evidence, possibility theory, and set of probability distributions. The aim of this work is to develop a non-deterministic inference framework, including theory, approximation and sampling method, that deals with the inverse problems in which uncertainty is represented using random sets. The proposed inference method yields the posterior random set based on the intersection of the prior and the measurement induced random sets. That inference method is an extension of Dempster's rule of combination, and a generalisation of Bayesian inference as well. A direct evaluation of the posterior random set might be impractical. We approximate the posterior random set by a random discrete set whose domain is the set of samples generated using a proposed probability distribution. We use the capacity transform density function of the posterior random set for this proposed distribution. This function has a special property: it is the posterior density function yielded by Bayesian inference of the capacity transform density function of the prior random set. The samples of such proposed probability distribution can be directly obtained using the methods developed in the Bayesian inference framework. With this approximation method, the evaluation of the posterior random set becomes tractable.


title: Approximating Pointwise Products of Laplacian Eigenfunctions

abstract: We consider Laplacian eigenfunctions on a $d-$dimensional bounded domain $M$ (or a $d-$dimensional compact manifold $M$) with Dirichlet conditions. These operators give rise to a sequence of eigenfunctions $(e_\ell)_{\ell \in \mathbb{N}}$. We study the subspace of all pointwise products $$ A_n = \mbox{span} \left\{ e_i(x) e_j(x): 1 \leq i,j \leq n\right\} \subseteq L^2(M).$$ Clearly, that vector space has dimension $\mbox{dim}(A_n) = n(n+1)/2$. We prove that products $e_i e_j$ of eigenfunctions are simple in a certain sense: for any $\varepsilon > 0$, there exists a low-dimensional vector space $B_n$ that almost contains all products. More precisely, denoting the orthogonal projection $\Pi_{B_n}:L^2(M) \rightarrow B_n$, we have $$ \forall~1 \leq i,j \leq n~ \qquad \|e_ie_j - \Pi_{B_n}( e_i e_j) \|_{L^2} \leq \varepsilon$$ and the size of the space $\mbox{dim}(B_n)$ is relatively small: for every $\delta > 0$, $$ \mbox{dim}(B_n) \lesssim_{M,\delta} \varepsilon^{-\delta} n^{1+\delta}.$$ We obtain the same sort of bounds for products of arbitrary length, as well for approximation in $H^{-1}$ norm. Pointwise products of eigenfunctions are low-rank. This has implications, among other things, for the validity of fast algorithms in electronic structure computations.


title: ConsiDroid: A Concolic-based Tool for Detecting SQL Injection Vulnerability in Android Apps

abstract: In this paper, we present a concolic execution technique for detecting SQL injection vulnerabilities in Android apps, with a new tool we called ConsiDroid. We extend the source code of apps with mocking technique, such that the execution of original source code is not affected. The extended source code can be treated as Java applications and may be executed by SPF with concolic execution. We automatically produce a DummyMain class out of static analysis such that the essential functions are called sequentially and, the events leading to vulnerable functions are triggered. We extend SPF with taint analysis in ConsiDroid. For making taint analysis possible, we introduce a new technique of symbolic mock classes in order to ease the propagation of tainted values in the code. An SQL injection vulnerability is detected through receiving a tainted value by a vulnerable function. Besides, ConsiDroid takes advantage of static analysis to adjust SPF in order to inspect only suspicious paths. To illustrate the applicability of ConsiDroid, we have inspected randomly selected 140 apps from F-Droid repository. From these apps, we found three apps vulnerable to SQL injection. To verify their vulnerability, we analyzed the apps manually based on ConsiDroid's reports by using Robolectric.


title: Deep Laplacian Pyramid Network for Text Images Super-Resolution

abstract: Convolutional neural networks have recently demonstrated interesting results for single image super-resolution. However, these networks were trained to deal with super-resolution problem on natural images. In this paper, we adapt a deep network, which was proposed for natural images superresolution, to single text image super-resolution. To evaluate the network, we present our database for single text image super-resolution. Moreover, we propose to combine Gradient Difference Loss (GDL) with L1/L2 loss to enhance edges in super-resolution image. Quantitative and qualitative evaluations on our dataset show that adding the GDL improves the super-resolution results.


title: Optimal input potential functions in the interacting particle system method

abstract: The assessment of the probability of a rare event with a naive Monte-Carlo method is computationally intensive, so faster estimation or variance reduction methods are needed. We focus on one of these methods which is the interacting particle system (IPS) method. The method is not intrusive in the sense that the random Markov system under consideration is simulated with its original distribution, but selection steps are introduced that favor trajectories (particles) with high potential values. An unbiased estimator with reduced variance can then be proposed. The method requires to specify a set of potential functions. The choice of these functions is crucial, because it determines the magnitude of the variance reduction. So far, little information was available on how to choose the potential functions. This paper provides the expressions of the optimal potential functions minimizing the asymptotic variance of the estimator of the IPS method and it proposes recommendations for the practical design of the potential functions.


title: Compact laser system for a laser-cooled ytterbium ion microwave frequency standard

abstract: The development of a transportable microwave frequency standard based on the ground-state transition of $^{171}\mathrm{Yb^{+}}$ at ~12.6 GHz requires a compact laser system for cooling the ions, clearing out of long-lived states and also for photoionisation. In this paper, we describe the development of a suitable compact laser system based on a 6U height rack-mounted arrangement with overall dimensions $260 \times 194 \times 335$ mm. Laser outputs at 369 nm (for cooling), 399 nm (photoionisation), 935 nm (repumping) and 760 nm (state clearout) are combined in a fiber arrangement for delivery to our linear ion trap and we demonstrate this system by cooling of $^{171}\mathrm{Yb^{+}}$ ions. Additionally, we demonstrate that the lasers at 935 nm and 760 nm are close in frequency to water vapor and oxygen absorption lines respectively; specifically, at 760 nm, we show that one $^{171}\mathrm{Yb^{+}}$ transition is within the pressure broadened profile of an oxygen line. These molecular transitions form convenient wavelength references for the stabilization of lasers for a $^{171}\mathrm{Yb^{+}}$ frequency standard.


title: Context-Aware Crowd Counting

abstract: State-of-the-art methods for counting people in crowded scenes rely on deep networks to estimate crowd density. They typically use the same filters over the whole image or over large image patches. Only then do they estimate local scale to compensate for perspective distortion. This is typically achieved by training an auxiliary classifier to select, for predefined image patches, the best kernel size among a limited set of choices. As such, these methods are not end-to-end trainable and restricted in the scope of context they can leverage. In this paper, we introduce an end-to-end trainable deep architecture that combines features obtained using multiple receptive field sizes and learns the importance of each such feature at each image location. In other words, our approach adaptively encodes the scale of the contextual information required to accurately predict crowd density. This yields an algorithm that outperforms state-of-the-art crowd counting methods, especially when perspective effects are strong.


title: Bayesian kernel machine regression-causal mediation analysis

abstract: Greater understanding of the pathways through which an environmental mixture operates is important to design effective interventions. We present new methodology to estimate natural direct and indirect effects and controlled direct effects of a complex mixture exposure on an outcome through a mediator variable. We implement Bayesian Kernel Machine Regression (BKMR) to allow for all possible interactions and nonlinear effects of (1) the co-exposures on the mediator, (2) the co-exposures and mediator on the outcome, and (3) selected covariates on the mediator and/or outcome. From the posterior predictive distributions of the mediator and outcome, we simulate counterfactuals to obtain posterior samples, estimates, and credible intervals of the mediation effects. Our simulation study demonstrates that when the exposure-mediator and exposure-mediator-outcome relationships are complex, BKMR--Causal Mediation Analysis performs better than current mediation methods. We applied our methodology to quantify the contribution of birth length as a mediator between in utero co-exposure to arsenic, manganese and lead, and children's neurodevelopmental scores, in a prospective birth cohort in Bangladesh. Among younger children, we found a negative (adverse) association between the metal mixture and neurodevelopment. We also found evidence that birth length mediates the effect of exposure to the metal mixture on neurodevelopment for younger children. If birth length were fixed to its $75^{th}$ percentile value, the harmful effect of the metal mixture on neurodevelopment is attenuated, suggesting nutritional interventions to help increase fetal growth, and thus birth length, could potentially block the harmful effect of the metal mixture on neurodevelopment.


title: Square Kilometre Array Science Data Challenge 1

abstract: The Square Kilometre Array (SKA, https://skatelescope.org) will be the world's largest radio telescope. SKA Science Data Challenges will be regularly issued to the community as part of the science preparatory activities. The purpose of these challenges is to inform the development of the data reduction workflows, to allow the science community to get familiar with the standard products the SKA will deliver, and optimise their analyses to extract science from them. These challenges may consist of real data from currently operating radio facilities or of simulated SKA data. The purpose of this document is to provide information on how the SKA Science data challenge #1 (SDC1) has been produced and to set the challenge for the community. For more information on how to take part in the challenge and to download the data see https://astronomers.skatelescope.org/ska-science-data-challenge-1/


title: A Framework for Implementing Machine Learning on Omics Data

abstract: The potential benefits of applying machine learning methods to -omics data are becoming increasingly apparent, especially in clinical settings. However, the unique characteristics of these data are not always well suited to machine learning techniques. These data are often generated across different technologies in different labs, and frequently with high dimensionality. In this paper we present a framework for combining -omics data sets, and for handling high dimensional data, making -omics research more accessible to machine learning applications. We demonstrate the success of this framework through integration and analysis of multi-analyte data for a set of 3,533 breast cancers. We then use this data-set to predict breast cancer patient survival for individuals at risk of an impending event, with higher accuracy and lower variance than methods trained on individual data-sets. We hope that our pipelines for data-set generation and transformation will open up -omics data to machine learning researchers. We have made these freely available for noncommercial use at www.ccg.ai.


title: Spectroscopic experimental and theoretical study of Uranyl(VI) in an aqueous system - Molecular modelling meets environmental protection

abstract: Time-Resolved Laser-Induced Fluorescence Spectroscopy (TRLFS) and cryo-TRLFS are sensitive tools for \textit{in situ} speciation of low-level uranium in aqueous samples, including natural waters. To tailor, often ill-conditioned (i.e., leading to ambiguous interpretations), multi-linear analysis, first-principles based theoretical computation (Molecular Dynamics and Quantum Chemistry) of luminescence spectra would be beneficial. We present a methodology to simulate TRLFS and cryo-TRLFS spectra and present vibrationally resolved luminescence spectra for aquo complex [UO$_2$(H$_2$O)$_5$]$^{2+}$(aq). Comparison to experimental data, interpretation of spectra in the terms of a minimal non-redundant set of spectroscopic parameters (peak spacing \omega, the 0' $\rightarrow$ 0 peak position T$_{00}$, envelope shape parameter \Delta R, average peak width \sigma and luminescence life-times) and shifts due to ligand coordination are discussed. The minimum theory-experiment deviation in T$_{00}$ (exp. $\sim$ 20 485 cm$^{-1}$) has been reported for SORECP/TD-DFT with LB$\alpha$ functional - 20 cm$^{-1}$, 90 cm$^{-1}$ and 100 cm$^{-1}$ for different models, a similar level of agreement has been met for \omega$_{gs}$. The RMS along configuration space sampling CMD trajectory for T$_{00}$ corresponds well to \sigma. Preliminary predictivity study for a small set of uranyl complex species and comparison of pseudo-potential (SORECP) and all-electron results for [UO$_2$(H$_2$O)$_5$]$^{2+}$(g) are appended.


title: Expanders are counterexamples to the $\ell^p$ coarse Baum-Connes conjecture

abstract: We consider an $\ell^p$ coarse Baum-Connes assembly map for $1<p<\infty$, and show that it is not surjective for expanders arising from residually finite hyperbolic groups.


title: Bifurcation Dodge: Avoidance of a Thermoacoustic Instability under Transient Operation

abstract: Varying one of the governing parameters of a dynamical system may lead to a critical transition, where the new stable state is undesirable. In some cases, there is only a limited range of the bifurcation parameter that corresponds to that unwanted attractor, while the system runs problem-less otherwise. In this study, we present experimental results regarding a thermoacoustic system subject to two consecutive and mirrored supercritical Hopf bifurcations: the system exhibits high amplitude thermoacoustic limit cycles for intermediate values of the bifurcation parameter. Changing quickly enough the bifurcation parameter, it was possible to dodge the unwanted limit cycles. A low-order model of the complex thermoacoustic system was developed, in order to describe this interesting transient dynamics. It was afterward used to assess the risk of exceeding an oscillation amplitude threshold as a function of the rate of change of the bifurcation parameter.


title: ESASky : A Science-Driven Discovery Portal for Space-Based Astronomy Missions

abstract: In the era of "big data" and with the advent of web 2.0 technologies, ESASky (http://sky.esa.int) aims at providing a modern and visual way to access astronomical science-ready data products and metadata. The main goal of the application is to simplify the interaction between the scientific community and the ever-growing amount of data collected over the past decades from the most important astronomy missions. The ESASky concept is to offer a complementary scientific application to the more-traditional table-oriented exploitation of astronomical data, by allowing a more natural and visual approach and enabling the exploration of astronomical objects across the entire electromagnetic spectrum. To fulfill this goal, ESASky provides a multiwavelength interface to a set of astronomy data from an increasing number of missions and surveys, with the intention of becoming the single-point of entry to perform visual analysis and cross-matching among different energy ranges. A lot of effort has been invested on the design of a user-friendly, responsive Graphical User Interface (GUI) by the definition and optimisation of algorithms running behind each visual feature offered. In this contribution, we describe in detail the design and solutions adopted for the technical challenges arising during the development. We present the data services and features implemented in the latest version of ESASky (v2.1), including a Mission Planning Tool to support current James Webb Space Telescope (JWST) planning, the possibility to search for observations of Solar System Objects (planets, comets and moons) taken by astronomy missions, the integration of the SAO/NASA Astrophysics Data System (ADS) publication system in the ESASky GUI, and the retrieval of metadata and data products available within a specific region of the sky.


title: Up to homotopy algebras with strict units

abstract: We prove the existence of minimal models a la Sullivan for operads with non-trivial arity zero. So, up to homotopy algebras with strict units are just operad algebras over these minimal models. As an application we give another proof of the formality of the unitary n-little disks operad over the rationals.


title: Enumerative properties of restricted words and compositions

abstract: In this document we achieve exact and asymptotic enumeration of words, compositions over a finite group, and/or integer compositions characterized by local restrictions and, separately, subsequence pattern avoidance. We also count cyclically restricted and circular objects. This either fills gaps in the current literature by e.g. considering particular new patterns, or involves general progress, notably with locally restricted compositions over a finite group. We associate these compositions to walks on a covering graph whose structure is exploited to simplify asymptotic expressions. Specifically, we show that under certain conditions the number of locally restricted compositions of a group element is asymptotically independent of the group element. For some problems our results extend to the case of a positive number of subword pattern occurrences (instead of zero for pattern avoidance) or convergence in distribution of the normalized number of occurrences. We typically apply the more general propositions to concrete examples such as the familiar Carlitz compositions or simple subword patterns.


title: Projections for model-independent sensitivity estimates on top-quark anomalous electromagnetic couplings at the FCC-he

abstract: The measurement of the top-quark anomalous electromagnetic couplings is one of the most important goals of the top-quark physics program in the present and future collider experiments. This would provide direct information on the non-standard interactions of the top-quark. We study a top-quark pair production scenario at the Future Circular Collider Hadron-Electron (FCC-he) through $e^-p \to e^-\gamma^*\gamma^*p \to e^-t\bar t p$ collisions, which will provide information about sensitivities on anomalous $\hat a_V$ and $\hat a_A$ couplings at $95\%\hspace{0.8mm}C.L.$, and the possibility of probing new physics. Energy of the $e^-$ beams is taken to be $E_e=250\hspace{0.8mm}GeV$ and $500\hspace{0.8mm}GeV$ and the energy of the $p$ beams is taken to be $E_p=50\hspace{0.8mm}TeV$, with these energies the FCC-he may sensitivity estimates on top-quark electromagnetic dipole moments $\hat a_V$ and $\hat a_A$ of the order ${\cal O}(10^{-2}-10^{-1})$.


title: HRT Conjecture and Linear Independence of Translates on the Heisenberg Group

abstract: We prove that the HRT (Heil, Ramanathan, and Topiwala) conjecture is equivalent to the conjecture that finite translates of square-integrable functions on the Heisenberg group are linearly independent.


title: Scan2Mesh: From Unstructured Range Scans to 3D Meshes

abstract: We introduce Scan2Mesh, a novel data-driven generative approach which transforms an unstructured and potentially incomplete range scan into a structured 3D mesh representation. The main contribution of this work is a generative neural network architecture whose input is a range scan of a 3D object and whose output is an indexed face set conditioned on the input scan. In order to generate a 3D mesh as a set of vertices and face indices, the generative model builds on a series of proxy losses for vertices, edges, and faces. At each stage, we realize a one-to-one discrete mapping between the predicted and ground truth data points with a combination of convolutional- and graph neural network architectures. This enables our algorithm to predict a compact mesh representation similar to those created through manual artist effort using 3D modeling software. Our generated mesh results thus produce sharper, cleaner meshes with a fundamentally different structure from those generated through implicit functions, a first step in bridging the gap towards artist-created CAD models.


title: Fluorescence coherence with anodic aluminum oxide hybrid photonic-plasmonic structure

abstract: A class of hybrid photonic-plasmonic structures (HPPS) with vertical cylindrical cavities is proposed and its performance in providing a coherent light from spontaneous emission is investigated. It is shown that the proposed easy-to-fabricate and robust anodic aluminum oxide structure dramatically enhances the temporal and spatial coherence compared to the previously examined HPPS. The physical mechanism of achieving the temporal and spatial coherence is explained based on the special optical properties of the proposed HPPS and it is discussed how this structure enables one adjusting hybrid photonic-plasmonic optical modes to obtain coherence for emitters of different frequencies.


title: Entangling macroscopic light states by delocalized photon addition

abstract: We present the experimental generation of tunable entanglement between distinct field modes by the delocalized addition of a single photon. We show that one can preserve a high degree of entanglement even between macroscopically populated modes and illustrate this concept by adding a single photon to two modes containing identical coherent states of growing amplitude. Discorrelation, a new joint statistical property of multimode quantum states, is also experimentally demonstrated here for the first time.


title: Dynamical phase transitions to optomechanical superradiance

abstract: We theoretically analyze superradiant emission of light from an ultracold gas of bosonic atoms confined in a bad cavity. A metastable dipolar transition of the atoms couples to the cavity field and is incoherently pumped, the mechanical effects of cavity-atom interactions tend to order the atoms in the periodic cavity potential. By means of a mean-field model we determine the conditions on the cavity parameters and pump rate that lead to the buildup of a stable macroscopic dipole emitting coherent light. We show that this occurs when the superradiant decay rate and the pump rate exceed threshold values of the order of the photon recoil energy. Above these thresholds superradiant emission is accompanied by the formation of stable matter-wave gratings that diffract the emitted photons. Outside of this regime, instead, the optomechanical coupling can give rise to dephasing or chaos, for which the emitted light is respectively incoherent or chaotic. These behaviors exhibit the features of a dynamical phase transitions and emerge from the interplay between global optomechanical interactions, quantum fluctuations, and noise.


title: Compactly supported bounded frames on Lie groups

abstract: Let $G=NH$ be a Lie group where $N,H$ are closed connected subgroups of $G,$ and $N$ is an exponential solvable Lie group which is normal in $G.$ Suppose furthermore that $N$ admits a unitary character $\chi_{\lambda}$ corresponding to a linear functional $\lambda$ of its Lie algebra. We assume that the map $h\mapsto Ad\left( h^{-1}\right) ^{\ast}\lambda$ defines an immersion at the identity of $H$. Fixing a Haar measure on $H,$ we consider the unitary representation $\pi$ of $G$ obtained by inducing $\chi_{\lambda}.$ This representation which is realized as acting in $L^{2}\left( H,d\mu_{H}\right) $ is generally not irreducible, and we do not assume that it satisfies any integrability condition. One of our main results establishes the existence of a countable set $\Gamma\subset G$ and a function $\mathbf{f}\in L^{2}\left( H,d\mu_{H}\right) $ which is compactly supported and bounded such that $\left\{ \pi\left( \gamma\right) \mathbf{f}:\gamma\in\Gamma\right\} $ is a frame. Additionally, we prove that $\mathbf{f}$ can be constructed to be continuous. In fact, $\mathbf{f}$ can be taken to be as smooth as desired. Our findings extend the work started in \cite{oussa2018frames} to the more general case where $H$ is any connected Lie group. We also solve a problem left open in \cite{oussa2018frames}. Precisely, we prove that in the case where $H$ is an exponential solvable group, there exist a continuous (or smooth) function $\mathbf{f}$ and a countable set $\Gamma$ such that $\left\{ \pi\left( \gamma\right) \mathbf{f}:\gamma\in\Gamma\right\} $ is a Parseval frame. Since the concept of well-localized frames is central to time-frequency analysis, wavelet, shearlet and generalized shearlet theories, our results are relevant to these topics and our approach leads to new constructions which bear potential for applications.


title: How to improve the interpretability of kernel learning

abstract: In recent years, machine learning researchers have focused on methods to construct flexible and interpretable prediction models. However, an interpretability evaluation, a relationship between generalization performance and an interpretability of the model and a method for improving the interpretability have to be considered. In this paper, a quantitative index of the interpretability is proposed and its rationality is proved, and equilibrium problem between the interpretability and the generalization performance is analyzed. Probability upper bound of the sum of the two performances is analyzed. For traditional supervised kernel machine learning problem, a universal learning framework is put forward to solve the equilibrium problem between the two performances. The condition for global optimal solution based on the framework is deduced. The learning framework is applied to the least-squares support vector machine and is evaluated by some experiments.


title: Analysis of large sparse graphs using regular decomposition of graph distance matrices

abstract: Statistical analysis of large and sparse graphs is a challenging problem in data science due to the high dimensionality and nonlinearity of the problem. This paper presents a fast and scalable algorithm for partitioning such graphs into disjoint groups based on observed graph distances from a set of reference nodes. The resulting partition provides a low-dimensional approximation of the full distance matrix which helps to reveal global structural properties of the graph using only small samples of the distance matrix. The presented algorithm is inspired by the information-theoretic minimum description principle. We investigate the performance of this algorithm for selected real data sets and for synthetic graph data sets generated using stochastic block models and power-law random graphs, together with analytical considerations for sparse stochastic block models with bounded average degrees.


title: Online inverse reinforcement learning for nonlinear systems

abstract: This paper focuses on the development of an online inverse reinforcement learning (IRL) technique for a class of nonlinear systems. The developed approach utilizes observed state and input trajectories, and determines the unknown cost function and the unknown value function online. A parameter estimation technique is utilized to allow the developed IRL technique to determine the cost function weights in the presence of unknown dynamics. Simulation results are presented for a nonlinear system showing convergence of both unknown reward function weights and unknown dynamics.


title: On a converse theorem for $G_2$ over finite fields

abstract: In this paper, we prove certain multiplicity one theorems and define twisted gamma factors for irreducible generic cuspidal representations of split $G_2$ over finite fields $k$ of odd characteristic. Then we prove the first converse theorem for exceptional groups, namely, $GL_1$ and $GL_2$-twisted gamma factors will uniquely determine an irreducible generic cuspidal representation of $G_2(k)$.


title: The hyperbolic Ernst--Maxwell equations in a triangular domain

abstract: In a recent paper, we applied Riemann--Hilbert techniques to analyze the Goursat problem for the hyperbolic Ernst equation, which describes the interaction of two colliding gravitational plane waves. Here we generalize this approach to colliding electromagnetic plane waves in Einstein--Maxwell theory.


title: Measuring the gravitational field in General Relativity: From deviation equations and the gravitational compass to relativistic clock gradiometry

abstract: How does one measure the gravitational field? We give explicit answers to this fundamental question and show how all components of the curvature tensor, which represents the gravitational field in Einstein's theory of General Relativity, can be obtained by means of two different methods. The first method relies on the measuring the accelerations of a suitably prepared set of test bodies relative to the observer. The second methods utilizes a set of suitably prepared clocks. The methods discussed here form the basis of relativistic (clock) gradiometry and are of direct operational relevance for applications in geodesy.


title: Sentence Encoding with Tree-constrained Relation Networks

abstract: The meaning of a sentence is a function of the relations that hold between its words. We instantiate this relational view of semantics in a series of neural models based on variants of relation networks (RNs) which represent a set of objects (for us, words forming a sentence) in terms of representations of pairs of objects. We propose two extensions to the basic RN model for natural language. First, building on the intuition that not all word pairs are equally informative about the meaning of a sentence, we use constraints based on both supervised and unsupervised dependency syntax to control which relations influence the representation. Second, since higher-order relations are poorly captured by a sum of pairwise relations, we use a recurrent extension of RNs to propagate information so as to form representations of higher order relations. Experiments on sentence classification, sentence pair classification, and machine translation reveal that, while basic RNs are only modestly effective for sentence representation, recurrent RNs with latent syntax are a reliably powerful representational device.


title: Some differential equations for the Riemann $\theta$-function on Jacobians

abstract: We prove some differential equations for the Riemann theta function associated to the Jacobian of a Riemann surface. The proof is based on some variants of a formula by Fay for the theta function, which are motivated by their analogues in Arakelov theory of Riemann surfaces.


title: Null controllability from the exterior of a one-dimensional nonlocal heat equation

abstract: We consider the null controllability problem from the exterior for the one dimensional heat equation on the interval $(0,1)$ associated with the fractional Laplace operator $(-\partial_x^2)^s$, where $0<s<1$. We show that there is a control function which is localized in a non-empty open set $\mathcal{O}\subset \left(\mathbb{R}\setminus(0,1)\right)$, that is, at the exterior of the interval $(0,1)$, such that the system is null controllable at any time $T>0$ if and only if $\frac 12<s<1$.


title: Kissing numbers and the centered maximal operator

abstract: We prove that in a metric measure space $X$, if for some $p \in (1,\infty)$ there are uniform bounds (independent of the measure) for the weak type $(p,p)$ of the centered maximal operator, then $X$ satisfies a certain geometric condition, the Besicovitch intersection property, which in turn implies the uniform weak type $(1,1)$ of the centered operator. Thus, the following characterization is obtained: the centered maximal operator satisfies uniform weak type $(1,1)$ bounds if and only if the space $X$ has the Besicovitch intersection property. In $\mathbb{R}^d$ with any norm, the constants coming from the Besicovitch intersection property are bounded above by the translative kissing numbers. The extensive literature on kissing numbers allows us to obtain, first, sharp estimates on the uniform bounds satisfied by the centered maximal operators defined by arbitrary norms on the plane, second, sharp estimates in every dimension when the $\ell_\infty$ norm is used, and third, improved estimates in all dimensions when considering euclidean balls, as well as the sharp constant in dimension 3. Additionally, we prove that the existence of uniform $L^1$ bounds for the averaging operators associated to arbitrary measures and radii, is equivalent to a weaker variant of the Besicovitch intersection property.


title: Interference between $E1$ and $M1$ transition amplitudes on the $H$ to $C$ transition in ThO

abstract: Calculations of Stark interference between $E1$ and $M1$ transition amplitudes on the $H^3\Delta_1$ to $C^1\Pi$ transition in ThO is performed. Calculations are required for estimations of systematic errors in the experiment for electron electric dipole (eEDM) moment search due to imperfections in laser beams used to prepare the molecule and read out the (eEDM) signal.


title: Direct Coupling Analysis of Epistasis in Allosteric Materials

abstract: In allosteric proteins, the binding of a ligand modifies function at a distant active site. Such allosteric pathways can be used as target for drug design, generating considerable interest in inferring them from sequence alignment data. Currently, different methods lead to conflicting results, in particular on the existence of long-range evolutionary couplings between distant amino-acids mediating allostery. Here we propose a resolution of this conundrum, by studying epistasis and its inference in models where an allosteric material is evolved in silico to perform a mechanical task. We find in our model the four types of epistasis (Synergistic, Sign, Antagonistic, Saturation), which can be both short or long-range and have a simple mechanical interpretation. We perform a Direct Coupling Analysis (DCA) and find that DCA predicts well the cost of point mutations but is a rather poor generative model. Strikingly, it can predict short-range epistasis but fails to capture long-range epistasis, in consistence with empirical findings. We propose that such failure is generic when function requires subparts to work in concert. We illustrate this idea with a simple model, which suggests that other methods may be better suited to capture long-range effects.


title: ICPRAI 2018 SI: On dynamic ensemble selection and data preprocessing for multi-class imbalance learning

abstract: Class-imbalance refers to classification problems in which many more instances are available for certain classes than for others. Such imbalanced datasets require special attention because traditional classifiers generally favor the majority class which has a large number of instances. Ensemble of classifiers have been reported to yield promising results. However, the majority of ensemble methods applied to imbalanced learning are static ones. Moreover, they only deal with binary imbalanced problems. Hence, this paper presents an empirical analysis of dynamic selection techniques and data preprocessing methods for dealing with multi-class imbalanced problems. We considered five variations of preprocessing methods and fourteen dynamic selection schemes. Our experiments conducted on 26 multi-class imbalanced problems show that the dynamic ensemble improves the AUC and the G-mean as compared to the static ensemble. Moreover, data preprocessing plays an important role in such cases.


title: Electronic Structure of Beta-Ta Films from X-ray Photoelectron Spectroscopy and First-principles Calculations

abstract: The electronic structure and chemical bonding of Beta-Ta synthesized as a thin 001-oriented film (space group P421m) is investigated by 4f core level and valence band X-ray photoelectron spectroscopy and compared to alfa-Ta bulk. For the Beta-phase, the 4f7/2 peak is located at 21.91 eV and with the 4f5/2 at 23.81 eV which is 0.16 eV higher compared to the corresponding 4f peaks of the alfa-Ta reference. We suggest that this chemical shift originates from electron screening, higher resistivity or strain in the Beta-Ta film. Furthermore, the 5d-5s states at the bottom of the valence band are shifted by 0.75 eV towards higher binding energy in Beta-Ta compared to alfa-Ta. This is a consequence of the lower number of nearest neighbors with four in Beta-Ta compared to eight in the alfa-Ta phase. The difference in the electronic structures, spectral line shapes of the valence band and the energy positions of the Ta 4f, 5p core-levels of Beta-Ta versus alfa-Ta are discussed in relation to calculated states of Beta-Ta and alfa-Ta. In particular, the lower number of states at the Fermi level of Beta-Ta (0.557 states/eV/atom) versus alfa-Ta (1.032 states/eV/atom) that according to Mott's law should decrease the conductivity in metals and affect the stability by charge redistribution in the valence band. This is experimentally supported from resistivity measurements of the film yielding a value of ~170 micro-Ohm-cm in comparison to alfa-Ta bulk with a reported value of ~13.1 micro-Ohm-cm.


title: Genetic Algorithms for Lens Design: a Review

abstract: Genetic algorithms (GAs) have a long history of over four decades. GAs are adaptive heuristic search algorithms that provide solutions for optimization and search problems. The GA derives expression from the biological terminology of natural selection, crossover, and mutation. In fact, GAs simulate the processes of natural evolution. Due to their unique simplicity, GAs are applied to the search space to find optimal solutions to various problems in science and engineering. Using GAs for lens design was investigated mostly in the 1990s, but were not fully exploited. But in the past few years there have been a number of newer studies exploring the application of GAs or hybrid GAs in optical design. In this paper we discuss the basic ideas behind GAs and demonstrate their application in optical lens design.


title: Phase transfer between three visible lasers for coherent population trapping

abstract: Stringent conditions on the phase relation of multiple photons are a prerequisite for novel protocols of high-resolution coherent spectroscopy. In a recent experiment we have implemented an interrogation process of a Ca$^+$-ion cloud based on three-photon coherent population trapping, with the potential to serve as a frequency reference in the THz-range. This high-resolution interrogation has been made possible by phase-locking both laser sources for cooling and repumping of the trapped ions to a clock laser at 729~nm by means of an optical frequency comb. The clock laser, a titanium-sapphire laser built in our lab locked onto two high-finesse cavities reaches a linewidth of a few Hertz and a frequency stability below 10$^{-14}$ at one second, performances which can be copied onto the two other sources. In this paper we discuss the performances of the phase-transfer between the three involved lasers via the optical frequency comb.


title: Insights into the Periodic Gust Response of Airfoils

abstract: The unsteady lift response of an airfoil in a sinusoidal gust can be modeled by two transfer functions: the first-order Sears function and the second-order Atassi function, albeit leading to different results under certain conditions. Previous studies have shown that the Sears function holds in experiments, but recently Cordes et al. (2017) reported experimental data that corresponded to the Atassi function rather than the Sears function. In order to clarify the observed discrepancy, the specific differences between these models are isolated analytically in this study and are related to physical gust parameters. Gusts with these parameters are then produced in wind-tunnel experiments using an active-grid gust generator. Measurements of the unsteady gust loads on an airfoil in the wind tunnel at Reynolds numbers ($Re_c$) of $2.0\times 10^5$ and $2.6\times 10^5$ and reduced frequencies between 0.09 and 0.42 confirm that the decisive difference between the Sears and Atassi functions lies in the character of the gust and not in the characteristics of the airfoil. The differences in the gust-response data between Sears and Atassi gust conditions are shown to be significant only at low reduced frequencies. These findings are supported by numerical simulations of the experimental setup. Finally, the influence of boundary-layer turbulence on experimental convergence with model predictions is investigated. These results serve to clarify the conditions under which the Sears and Atassi functions can be applied, and they establish the validity of both in an experimental context.


title: Selected Methods for non-Gaussian Data Analysis

abstract: The basic goal of computer engineering is the analysis of data. Such data are often large data sets distributed according to various distribution models. In this manuscript we focus on the analysis of non-Gaussian distributed data. In the case of univariate data analysis we discuss stochastic processes with auto-correlated increments and univariate distributions derived from specific stochastic processes, i.e. Levy and Tsallis distributions. Deep investigation of multivariate non-Gaussian distributions requires the copula approach. A copula is an component of multivariate distribution that models the mutual interdependence between marginals. There are many copula families characterised by various measures of the dependence between marginals. Importantly, one of those are `tail' dependencies that model the simultaneous appearance of extreme values in many marginals. Those extreme events may reflect a crisis given financial data, outliers in machine learning, or a traffic congestion. Next we discuss higher order multivariate cumulants that are non-zero if multivariate distribution is non-Gaussian. However, the relation between cumulants and copulas is not straight forward and rather complicated. We discuss the application of those cumulants to extract information about non-Gaussian multivariate distributions, such that information about non-Gaussian copulas. The use of higher order multivariate cumulants in computer science is inspired by financial data analysis, especially by the safe investment portfolio evaluation. There are many other applications of higher order multivariate cumulants in data engineering, especially in: signal processing, non-linear system identification, blind sources separation, and direction finding algorithms of multi-source signals.


title: Auctioning Electricity under Deep Renewable Integration using a Penalty for Shortfall

abstract: We analyze the problem of a renewable generator who wants to sell its random generation in a two-stage market to a number of strategic, but flexible, load serving entities (LSEs). To offer an incentive to participate in the auction, the generator promises to pay a penalty associated with any shortfall in generation due to the uncertain nature of the traded resource. We devise an auction mechanism that efficiently allocates electricity among LSEs while eliciting their true valuations. We show that the consumer surplus of the LSEs and expected profit of the generator are positive, thereby creating a win-win situation for all market participants.


title: Identifying treatment effect heterogeneity in dose-finding trials using Bayesian hierarchical models

abstract: An important task in drug development is to identify patients, which respond better or worse to an experimental treatment. Identifying predictive covariates, which influence the treatment effect and can be used to define subgroups of patients, is a key aspect of this task. Analyses of treatment effect heterogeneity are however known to be challenging, since the number of possible covariates or subgroups is often large, while samples sizes in earlier phases of drug development are often small. In addition, distinguishing predictive covariates from prognostic covariates, which influence the response independent of the given treatment, can often be difficult. While many approaches for these types of problems have been proposed, most of them focus on the two-arm clinical trial setting, where patients are given either the treatment or a control. In this paper we consider parallel groups dose-finding trials, in which patients are administered different doses of the same treatment. To investigate treatment effect heterogeneity in this setting we propose a Bayesian hierarchical dose-response model with covariate effects on dose-response parameters. We make use of shrinkage priors to prevent overfitting, which can easily occur, when the number of considered covariates is large and sample sizes are small. We compare several such priors in simulations and also investigate dependent modeling of prognostic and predictive effects to better distinguish these two types of effects. We illustrate the use of our proposed approach using a Phase II dose-finding trial and show how it can be used to identify predictive covariates and subgroups of patients with increased treatment effects.


title: On the Performance of Backhaul Constrained Cell-Free Massive MIMO with Linear Receivers

abstract: Limited-backhaul cell-free Massive multiple-input multiple-output (MIMO), in which the fog radio access network (F-RAN) is implemented to exchange the information between access points (APs) and the central processing unit (CPU), is investigated. We introduce a novel approach where the APs estimate the channel and send back the quantized version of the estimated channel and the quantized version of the received signal to the central processing unit. The Max algorithm and the Bussgang theorem are exploited to model the optimum uniform quantization. The ergodic achievable rates are derived. We show that exploiting microwave wireless backhaul links and using a small number of bits to quantize the estimated channel and the received signal, the performance of limited-backhaul cell-free Massive MIMO closely approaches the performance of cell-free Massive MIMO with perfect backhaul links.


title: Water diffusion in rough carbon nanotubes

abstract: We use molecular dynamics simulations to study the diffusion of water inside deformed carbon nanotubes with different degrees of deformation at 300 K. We found that the number of hydrogen bonds that water forms depends on nanotube topology, leading to enhancement or suppression of water diffusion. The simulation results reveal that more realistic nanotubes should be considered to understand the confined water diffusion behavior, at least for the narrowest nanotubes, when the interaction between water molecules and carbon atoms is relevant.


title: A solvable quantum model of dynamic nuclear polarization in quantum dots

abstract: We present a quantum mechanical theory of optically induced dynamic nuclear polarization applicable to quantum dots and other interacting spin systems. The exact steady state of the optically driven coupled electron-nuclear system is calculated under the assumption of uniform hyperfine coupling strengths (box model) for an arbitrary number of nuclear spins. This steady state is given by a tractable expression that allows for an intuitive interpretation in terms of spin-flip rates. Based on this result, we investigate the nuclear spin behaviour for different experimental parameter regimes and find that our model reproduces the flat-top and triangular absorption line shapes seen in various experiments (line dragging) under the assumption of fast electron spin dephasing due to phonons and co-tunneling. The mechanism responsible for line dragging has been a matter of controversy so far; in contrast with previous works, we show that the effect can be explained solely in terms of the contact hyperfine interaction, without the need to introduce non-collinear terms or other types of electron-nuclear interactions. Furthermore we predict a novel nuclear spin polarization effect: under particular, experimentally realistic conditions, the nuclear spin system tends to become sharply polarized in such a way as to cancel the effect of the external magnetic field. This effect can therefore suppress electron spin dephasing due to inhomogeneous broadening, which could have important repercussions for quantum technological applications.


title: On decay properties and asymptotic behavior of solutions to a non-local perturbed KdV equation

abstract: We consider the \emph{KdV} equation with an additional non-local perturbation term defined through the Hilbert transform, also known as the OST-equation. We prove that the solutions $u(t,x)$ has a pointwise decay in spatial variable: $\vert u(t,x)\vert \lesssim \frac{1}{1 + |x|^{2}}$, provided that the initial data has the same decaying and moreover we find the asymptotic profile of $u(t,x)$ when $|x| \to +\infty$. Next, we show that decay rate given above is optimal when the initial data is not a zero-mean function and in this case we derive an estimate from below $\frac{1}{\vert x\vert^2} \lesssim \vert u(t,x)\vert$ for $\vert x \vert$ large enough. In the case when the initial datum is a zero-mean function, we prove that the decay rate above is improved to $\frac{1}{1+\vert x \vert^{2+\varepsilon}}$ for $0<\varepsilon \leq 1$. Finally, we study the local-well posedness of the OST-equation in the framework of Lebesgue spaces.


title: Robust Cross-View Gait Recognition with Evidence: A Discriminant Gait GAN (DiGGAN) Approach

abstract: Gait as a biometric trait has attracted much attention in many security and privacy applications such as identity recognition and authentication, during the last few decades. Because of its nature as a long-distance biometric trait, gait can be easily collected and used to identify individuals non-intrusively through CCTV cameras. However, it is very difficult to develop robust automated gait recognition systems, since gait may be affected by many covariate factors such as clothing, walking speed, camera view angle etc. Out of them, large view angle changes has been deemed as the most challenging factor as it can alter the overall gait appearance substantially. Existing works on gait recognition are far from enough to provide satisfying performances because of such view changes. Furthermore, very few works have considered evidences -- the demonstrable information revealing the reliabilities of decisions, which are regarded as important demands in machine learning-based recognition/authentication applications. To address these issues, in this paper we propose a Discriminant Gait Generative Adversarial Network, namely DiGGAN, which can effectively extract view-invariant features for cross-view gait recognition; and more importantly, to transfer gait images to different views -- serving as evidences and showing how the decisions have been made. Quantitative experiments have been conducted on the two most popular cross-view gait datasets, the OU-MVLP and CASIA-B, where the proposed DiGGAN has outperformed state-of-the-art methods. Qualitative analysis has also been provided and demonstrates the proposed DiGGAN's capability in providing evidences.


title: An open-source high-frequency lock-in amplifier

abstract: We present characterization of a lock-in amplifier based on a field programmable gate array capable of demodulation at up to 50 MHz. The system exhibits 90 nV/sqrt(Hz) of input noise at an optimum demodulation frequency of 500 kHz.The passband has a full-width half-maximum of 2.6 kHz for modulation frequencies above 100 kHz. Our code is opensource and operates on a commercially available platform.


title: ExpandNets: Linear Over-parameterization to Train Compact Convolutional Networks

abstract: We introduce an approach to training a given compact network. To this end, we leverage over-parameterization, which typically improves both neural network optimization and generalization. Specifically, we propose to expand each linear layer of the compact network into multiple consecutive linear layers, without adding any nonlinearity. As such, the resulting expanded network, or ExpandNet, can be contracted back to the compact one algebraically at inference. In particular, we introduce two convolutional expansion strategies and demonstrate their benefits on several tasks, including image classification, object detection, and semantic segmentation. As evidenced by our experiments, our approach outperforms both training the compact network from scratch and performing knowledge distillation from a teacher. Furthermore, our linear over-parameterization empirically reduces gradient confusion during training and improves the network generalization.


title: hynet: An Optimal Power Flow Framework for Hybrid AC/DC Power Systems

abstract: High-voltage direct current (HVDC) systems are increasingly incorporated into today's AC power grids, necessitating optimal power flow (OPF) tools for the analysis, planning, and operation of such hybrid systems. To this end, we introduce hynet, a Python-based open-source OPF framework for hybrid AC/DC grids with point-to-point and radial multi-terminal HVDC systems. hynet's design promotes ease of use and extensibility, which is supported by the particular mathematical model and software design presented in this paper. The system model features a unified representation of AC and DC subgrids as well as a concise and flexible converter model, which enable the compact description of a hybrid AC/DC power system and its OPF problem. To support convex relaxation based OPF solution techniques, a state space relaxation is introduced to obtain a unified OPF formulation that is analogous to the OPF of AC power systems. This enables the direct generalization of relaxation-related results for AC grids to hybrid AC/DC grids, which is shown for the semidefinite and second-order cone relaxation as well as associated results on exactness and locational marginal prices. Finally, hynet's object-oriented software design is discussed, which provides extensibility via inheritance and standard design patterns, and its robust and competitive performance is illustrated with case studies.


title: Universal and generalizable restoration strategies for degraded ecological networks

abstract: Humans are increasingly stressing ecosystems via habitat destruction, climate change and global population movements leading to the widespread loss of biodiversity and the disruption of key ecological services. Ecosystems characterized primarily by mutualistic relationships between species such as plant-pollinator interactions may be particularly vulnerable to such perturbations because the loss of biodiversity can cause extinction cascades that can compromise the entire network. Here, we develop a general restoration strategy based on network-science for degraded ecosystems. Specifically, we show that network topology can be used to identify the optimal sequence of species reintroductions needed to maximize biodiversity gains following partial and full ecosystem collapse. This restoration strategy generalizes across topologically-disparate and geographically-distributed ecosystems. Additionally, we find that although higher connectance and diversity promote persistence in pristine ecosystems, these attributes reduce the effectiveness of restoration efforts in degraded networks. Hence, focusing on restoring the factors that promote persistence in pristine ecosystems may yield suboptimal recovery strategies for degraded ecosystems. Overall, our results have important insights for designing effective ecosystem restoration strategies to preserve biodiversity and ensure the delivery of critical natural services that fuel economic development, food security and human health around the globe


title: An optimized Parallel Failure-less Aho-Corasick algorithm for DNA sequence matching

abstract: The Aho-Corasick algorithm is multiple patterns searching algorithm running sequentially in various applications like network intrusion detection and bioinformatics for finding several input strings within a given large input string. The parallel version of the Aho-Corasick algorithm is called as Parallel Failure-less Aho-Corasick algorithm because it doesn't need failure links like in the original Aho-Corasick algorithm. In this research, we implemented an application specific parallel failureless Aho-Corasick algorithm to the general purpose graphics processing unit by applying several cache optimization techniques for matching DNA sequences. Our parallel Aho-Corasick algorithm shows better performance than the available parallel Aho-Corasick algorithm library due to its simplicity and optimized cache memory usage of graphics processing units for matching DNA sequences.


title: Lectures on Moebius-Lie Geometry and its Extension

abstract: These lectures review the classical Moebius-Lie geometry and recent work on its extension. The latter considers ensembles of cycles (quadrics), which are interconnected through conformal-invariant geometric relations (e.g. "to be orthogonal", "to be tangent", etc.), as new objects in an extended Moebius--Lie geometry. It is shown on examples, that such ensembles of cycles naturally parameterise many other conformally-invariant families of objects, two examples---the Poincare extension and continued fractions are considered in detail. Further examples, e.g. loxodromes, wave fronts and integrable systems, are published elsewhere. The extended Moebius--Lie geometry is efficient due to a method, which reduces a collection of conformally invariant geometric relations to a system of linear equations, which may be accompanied by one fixed quadratic relation. The algorithmic nature of the method allows to implement it as a C++ library, which operates with numeric and symbolic data of cycles in spaces of arbitrary dimensionality and metrics with any signatures. Numeric calculations can be done in exact or approximate arithmetic. In the two- and three-dimensional cases illustrations and animations can be produced. An interactive Python wrapper of the library is provided as well.


title: Mayer-Vietoris systems and their applications

abstract: We introduce notions such as cdp presheaf, cds precosheaf, Mayer-Vietoris system, and investigate their properties. As applications, we study cohomologies with values in local systems on smooth manifolds and Dolbeault cohomologies with values in locally free sheaves on complex manifolds, where the compactness is not necessary for both cases. In particular, we write out explicit blow-up formulas for these cohomologies. Moreover, we compare the blow-up formula given by Rao, S., Yang, S. and Yang, X.-D. with ours, and then deduce that their formula is still an isomorphism in the noncompact case.


title: Deep Ensemble Tensor Factorization for Longitudinal Patient Trajectories Classification

abstract: We present a generative approach to classify scarcely observed longitudinal patient trajectories. The available time series are represented as tensors and factorized using generative deep recurrent neural networks. The learned factors represent the patient data in a compact way and can then be used in a downstream classification task. For more robustness and accuracy in the predictions, we used an ensemble of those deep generative models to mimic Bayesian posterior sampling. We illustrate the performance of our architecture on an intensive-care case study of in-hospital mortality prediction with 96 longitudinal measurement types measured across the first 48-hour from admission. Our combination of generative and ensemble strategies achieves an AUC of over 0.85, and outperforms the SAPS-II mortality score and GRU baselines.


title: Magnetic Dynamics in Heavy-Fermion Systems with Multipolar Ordering Studied by Neutron Scattering

abstract: Despite more than half a century of studies in heavy-fermion compounds, a full understanding of the various possible magnetic ordering phenomena is still far from complete. Some heavy-fermion materials show so-called hidden-order phases, which are invisible to conventional diffraction techniques. The multipolar moments of the $f$-electrons in their specific crystal field environment play a decisive role in the formation of these phases. Such hidden-order phases have been observed in a variety of compounds containing $4f$ and $5f$ elements, like URu$_2$Si$_2$, NpO$_2$, YbRu$_2$Ge$_2$, and CeB$_6$. The competition or coexistence of multipolar ordering with more conventional magnetic order parameters, such as ferro- or antiferromagnetism, gives rise to complex magnetic-field$-$temperature phase diagrams in these compounds that provide a rich playground for experimental and theoretical investigations. Here I examine the pure and La-doped $f$-electron system CeB$_6$, as well as Ce$_{3}$Pd$_{20}$Si$_{6}$, by means of neutron scattering. The magnetic field dependence of the zone center exciton mode in CeB$_6$ was studied in fields up to 14.5 T and compared with the existing theory. A long standing question of the applicability of the phenomenological temperature dependence $\Gamma=k_{\text B}T_{\text K}+A \sqrt{T}$, where $T_{\text K}$ is the Kondo temperature, for two limiting cases, the Kondo lattice and Kondo impurity, has been investigated on a set of samples diluted with lanthanum. In Ce$_{3}$Pd$_{20}$Si$_{6}$, the order parameter of the AFQ phase was uncovered, and its field dependence was studied in fields up to 9 T.