title: Detecting Multiple Communities Using Quantum Annealing on the D-Wave System

abstract: A very important problem in combinatorial optimization is partitioning a network into communities of densely connected nodes; where the connectivity between nodes inside a particular community is large compared to the connectivity between nodes belonging to different ones. This problem is known as community detection, and has become very important in various fields of science including chemistry, biology and social sciences. The problem of community detection is a twofold problem that consists of determining the number of communities and, at the same time, finding those communities. This drastically increases the solution space for heuristics to work on, compared to traditional graph partitioning problems. In many of the scientific domains in which graphs are used, there is the need to have the ability to partition a graph into communities with the ``highest quality'' possible since the presence of even small isolated communities can become crucial to explain a particular phenomenon. We have explored community detection using the power of quantum annealers, and in particular the D-Wave 2X and 2000Q machines. It turns out that the problem of detecting at most two communities naturally fits into the architecture of a quantum annealer with almost no need of reformulation. This paper addresses a systematic study of detecting two or more communities in a network using a quantum annealer.


title: Time delay measurement of Mg II line in CTS C30.10 with SALT

abstract: We report 6 yr monitoring of a distant bright quasar CTS C30.10 (z = 0.90052) with the Southern African Large Telescope (SALT). We measured the rest-frame time-lag of $562\pm 2$ days between the continuum variations and the response of the Mg II emission line, using the Javelin approach. More conservative approach, based on five different methods, imply the time delay of $564^{+109}_{-71}$ days. This time delay, combined with other available measurements of Mg II line delay, mostly for lower redshift sources, shows that the Mg II line reverberation implies a radius-luminosity relation very similar to the one based on a more frequently studied H$\beta$ line.


title: Exponential decay of the resonance error in numerical homogenization via parabolic and elliptic cell problems

abstract: This paper presents two new approaches for finding the homogenized coefficients of multiscale elliptic PDEs. Standard approaches for computing the homogenized coefficients suffer from the so-called resonance error, originating from a mismatch between the true and the computational boundary conditions. Our new methods, based on solutions of parabolic and elliptic cell-problems, result in an exponential decay of the resonance error.


title: Computational Analysis of Composition-Structure-Property-Relationships in NZP-type Materials for Li-Ion Batteries

abstract: Compounds crystallizing in the structure of NaZr$_2$(PO$_4$)$_3$ (NZP) are considered as promising materials for solid state electrolytes in Li-ion batteries. Using density functional theory (DFT), a systematic computational screening of 18 NZP compounds, namely LiX$_2$(LO$_4$)$_3$ with X = Ti, V, Fe, Zr, Nb, Ru, Hf, Ta, Os, and L = P, Mn is performed with respect to their activation energies for vacancy-mediated Li migration. It is shown how the different ionic radii of the cationic substitutions influence structural characteristics such as the octahedron volumes around Li ions on the initial and transition state sites, which affect the activation energies (''composition-structure-property'' relationships). The prevalent assumption that structural bottlenecks formed by triangularly arranged oxygen atoms at a certain location along the migration path determine the energy barriers for Li migration is not supported by the DFT results. Instead, the ionic neighborhood of the migrating ion in the initial and in the transition state needs to be taken into account to relate the structure to the activation energies. This conclusion applies to Na containing NZP compounds as well.


title: Light Bending in Models with a Generic Scalar Field

abstract: We study the deflection and time delay of light by the Sun in general scalar extensions of the Standard Model which may violate the equivalence principle. Despite the presence of the interaction $\phi FF$ or $\phi F \tilde{F}$ between the scalar field and photon, we show that the bending and time delay of light are the same as in Einstein's general relativity. The bending angle is obtained using geometrical optics and compared with the angle obtained using another method based on scattering amplitude. It is pointed out that the method based on scattering amplitude can lead to wrong conclusions about potential energy and light polarization. Also, we obtain a constraint on the generic scalar particle from the parametrized post-Newtonian parameter $\gamma$, noting that planet motions are affected by the scalar field as in scalar-tensor theories with some modifications to the scalar field's couplings to the Sun and planets.


title: Heavy hybrids and tetraquarks in effective field theory

abstract: We report on an effective field theory (EFT) description of exotic quarkonia as bound states on the spectrum of hybrid and tetraquark static energies. We provide expressions for hybrid and tetraquark static energies in terms of Wilson loops. The former have been computed in quenched lattice calculations but the latter are yet unavailable. From the few simulations with dynamical light-quarks we argue that the overall picture from hybrid static energies does not change but additional states, such as heavy meson pairs, need to be considered for a full description. In this EFT framework for quarkonium hybrids, we report on recent results for mixing with standard quarkonium, spin-dependent contributions, and semi-inclusive decays.


title: Disorderless quasi-localization of polar gases in one-dimensional lattices

abstract: One-dimensional polar gases in deep optical lattices present a severely constrained dynamics due to the interplay between dipolar interactions, energy conservation, and finite bandwidth. The appearance of dynamically-bound nearest-neighbor dimers enhances the role of the $1/r^3$ dipolar tail, resulting, in the absence of external disorder, in quasi-localization via dimer clustering for very low densities and moderate dipole strengths. Furthermore, even weak dipoles allow for the formation of self-bound superfluid lattice droplets with a finite doping of mobile, but confined, holons. Our results, which can be extrapolated to other power-law interactions, are directly relevant for current and future lattice experiments with magnetic atoms and polar molecules.


title: Li-Yau gradient estimates for curvature flows in positively curved manifolds

abstract: We prove differential Harnack inequalities for flows of strictly convex hypersurfaces by powers $p$, $0<p<1$, of the mean curvature in Einstein manifolds with a positive lower bound on the sectional curvature. We assume that this lower bound is sufficiently large compared to the derivatives of the curvature tensor of the ambient space and that the mean curvature of the initial hypersurface is sufficiently large compared to the ambient geometry. We also obtain some new Harnack inequalities for more general curvature flows in the sphere, as well as a monotonicity estimate for the mean curvature flow in non-negatively curved, locally symmetric spaces.


title: CollaGAN : Collaborative GAN for Missing Image Data Imputation

abstract: In many applications requiring multiple inputs to obtain a desired output, if any of the input data is missing, it often introduces large amounts of bias. Although many techniques have been developed for imputing missing data, the image imputation is still difficult due to complicated nature of natural images. To address this problem, here we proposed a novel framework for missing image data imputation, called Collaborative Generative Adversarial Network (CollaGAN). CollaGAN converts an image imputation problem to a multi-domain images-to-image translation task so that a single generator and discriminator network can successfully estimate the missing data using the remaining clean data set. We demonstrate that CollaGAN produces the images with a higher visual quality compared to the existing competing approaches in various image imputation tasks.


title: Thermodynamic Formalism for Quantum Channels: Entropy, Pressure, Gibbs channels and generic properties

abstract: Denote $M_k$ the set of complex $k$ by $k$ matrices. We will analyze here quantum channels $\phi_L$ of the following kind: given a measurable function $L:M_k\to M_k$ and the measure $\mu$ on $M_k$ we define the linear operator $\phi_L:M_k \to M_k$, via the expression $\rho \,\to\,\phi_L(\rho) = \int_{M_k} L(v) \rho {L(v)}^\dagger \, \dm(v)$. A recent paper by T. Benoist, M. Fraas, Y. Pautrat, and C. Pellegrini is our starting point. They considered the case where $L$ was the identity. Under some mild assumptions on the quantum channel $\phi_L$ we analyze the eigenvalue property for $\phi_L$ and we define entropy for such channel. For a fixed $\mu$ (the \textit{a priori} measure) and for a given a Hamiltonian $H: M_k \to M_k$ we present a version of the Ruelle Theorem: a variational principle of pressure (associated to such $H$) related to an eigenvalue problem for the Ruelle operator. We introduce the concept of Gibbs channel. We also show that for a fixed $\mu$ (with more than one point in the support) the set of $L$ such that it is $\phi$-Erg (also irreducible) for $\mu$ is a generic set. We describe a related process $X_n$, $n\in \mathbb{N}$, taking values on the projective space $ P(\C^k)$ and analyze the question of the existence of invariant probabilities. We also consider an associated process $\rho_n$, $n\in \mathbb{N}$, with values on $\mathcal{D}_k$ ($\mathcal{D}_k$ is the set of density operators). Via the barycenter we associate the invariant probabilities mentioned above with the density operator which is fixed for $\phi_L$.

categories: math.DS math-ph math.MP math.PR quant-ph


title: Phenomenological NLO analysis of eta(c) production at the LHC in the collider and fixed-target modes

abstract: In view of the good agreement between the LHCb prompt-eta(c) data at sqrt(s)=7 and 8 TeV and the NLO colour-singlet model predictions --i.e. the leading v^2 NRQCD contribution--, we provide predictions in the LHCb acceptance for the forthcoming 13 TeV analysis bearing on data taken during the LHC Run2. We also provide predictions for sqrt(s)=115 GeV for proton-hydrogen collisions in the fixed-target mode which could be studied during the LHC Run3. Our predictions are complemented by a full theoretical uncertainty analysis. In addition to cross section predictions, we elaborate on the uncertainties on the p bar-p branching ratio --necessary for data-theory comparison-- and discuss other usable branching fractions for future studies.


title: Cosmic acceleration from quantum Friedmann equations

abstract: We consider a simplified model of quantum gravity using a mini-superspace description of an isotropic and homogeneous universe with dust. We derive the corresponding Friedmann equations for the scale factor, which now contain a dependence on the wave function. We identify wave functions for which the quantum effects lead to a period of accelerated expansion that is in agreement with the apparent evolution of our universe, without introducing a cosmological constant.


title: Extremal and optimal properties of B-bases Collocation Matrices

abstract: Totally positive matrices are related with the shape preserving representations of a space of functions. The normalized B-basis of the space has optimal shape preserving properties. B-splines and rational Bernstein bases are examples of normalized B-bases. Some results on the optimal conditioning and on extremal properties of the minimal eigenvalue and singular value of the collocation matrices of normalized B-bases are proved. Numerical examples confirm the theoretical results and answer related questions.


title: Do Not Return Similarity: Face Recovery with Distance

abstract: Machine Learning (ML) already has been integrated into all kinds of systems, helping developers to solve problems with even higher accuracy than human beings. However, when integrating ML models into a system, developers may accidentally take not enough care of the outputs of ML models, mainly because of their unfamiliarity with ML and AI, resulting in severe consequences like hurting data owners' privacy. In this work, we focus on understanding the risks of abusing embeddings of ML models, an important and popular way of using ML. To show the consequence, we reveal several kinds of channels in which embeddings are accidentally leaked. As our study shows, a face verification system deployed by a government organization leaking only distance to authentic users allows an attacker to exactly recover the embedding of the verifier's pre-installed photo. Further, as we discovered, with the leaked embedding, attackers can easily recover the input photo with negligible quality losses, indicating devastating consequences to users' privacy. This is achieved with our devised GAN-like structure model, which showed 93.65% success rate on popular face embedding model under black box assumption.


title: A note on geodesics in inhomogeneous expanding spacetimes

abstract: There are several solutions of Einstein field equations that describe an inhomogeneity in an expanding universe. Among these solutions, the McVittie metric and its generalizations have been investigated through decades, though a full understanding of them is still lacking. In this note, we explore the trajectories of photons and massive particles in generalized McVittie spacetimes. In the case of massless particles, we show that no circular orbits are possible for those models that admit cosmological singularities. We also analyze the trajectory of particles for a specific generalized McVittie spacetime that is conformal to the Schwarzschild metric. By integrating the equations of motion in the Newtonian approximation, we show that particles behave in quite distinctive ways in different cosmological black hole solutions. We conclude that the analysis of the geodetic motion in inhomogeneous expanding metrics can help to discriminate those solutions that represent real cosmological black holes in the universe.


title: Two-term spectral asymptotics for the Dirichlet Laplacian in a Lipschitz domain

abstract: We prove a two-term Weyl-type asymptotic formula for sums of eigenvalues of the Dirichlet Laplacian in a bounded open set with Lipschitz boundary. Moreover, in the case of a convex domain we obtain a universal bound which correctly reproduces the first two terms in the asymptotics.


title: Optimal verification and fidelity estimation of maximally entangled states

abstract: We study the verification of maximally entangled states by virtue of the simplest measurement settings: local projective measurements without adaption. We show that optimal protocols are in one-to-one correspondence with complex projective 2-designs constructed from orthonormal bases. Optimal protocols with minimal measurement settings are in one-to-one correspondence with complete sets of mutually unbiased bases. Based on this observation, optimal protocols are constructed explicitly for any local dimension, which can also be applied to estimating the fidelity with the target state and to detecting entanglement. In addition, we show that incomplete sets of mutually unbiased bases are optimal for verifying maximally entangled states when the number of measurement settings is restricted. Moreover, we construct optimal protocols for the adversarial scenario in which state preparation is not trusted. The number of tests has the same scaling behavior as the counterpart for the nonadversarial scenario; the overhead is no more than three times. We also show that the entanglement of the maximally entangled state can be certified with any given significance level using only one test as long as the local dimension is large enough.


title: Shape effect on the valley splitting in lead selenide nanowires

abstract: We study the cross-section shape and size effects on the valley splitting in PbSe nanowires within the framework of empirical $sp^3d^5s^*$ tight-binding method. We consider ideallized prismatic nanowires, grown along [110], with the cross-section shape varying from rectangular (terminated by $\{001\}$ and $\{110\}$ facets) to rhombic (terminated mostly by $\{111\}$ facets). The valley splitting energies have the maximal value (up to hundreds meV) in rectangular nanowires, while in rhombic ones they are almost absent. The shape dependence is shown to be similar for a wide range cross-section sizes and different point symmetries of nanowires.


title: Attribute-Guided Sketch Generation

abstract: Facial attributes are important since they provide a detailed description and determine the visual appearance of human faces. In this paper, we aim at converting a face image to a sketch while simultaneously generating facial attributes. To this end, we propose a novel Attribute-Guided Sketch Generative Adversarial Network (ASGAN) which is an end-to-end framework and contains two pairs of generators and discriminators, one of which is used to generate faces with attributes while the other one is employed for image-to-sketch translation. The two generators form a W-shaped network (W-net) and they are trained jointly with a weight-sharing constraint. Additionally, we also propose two novel discriminators, the residual one focusing on attribute generation and the triplex one helping to generate realistic looking sketches. To validate our model, we have created a new large dataset with 8,804 images, named the Attribute Face Photo & Sketch (AFPS) dataset which is the first dataset containing attributes associated to face sketch images. The experimental results demonstrate that the proposed network (i) generates more photo-realistic faces with sharper facial attributes than baselines and (ii) has good generalization capability on different generative tasks.


title: RefCurv: A Software for the Construction of Pediatric Reference Curves

abstract: In medicine, reference curves serve as an important tool for everyday clinical practice. Pediatricians assess the growth process of children with the help of percentile curves serving as norm references. The mathematical methods for the construction of these reference curves are sophisticated and often require technical knowledge beyond the scope of physicians. An easy-to-use software for life scientists and physicians is missing. As a consequence, most medical publications do not document the construction properly. This project aims to develop a software that enables non-technical users to apply modern statistical methods to create and analyze reference curves. In this paper, we present RefCurv, a software that facilitates the construction of reference curves. The software comprises functionalities to select and visualize data. Users can fit models to the data and graphically present them as percentile curves. Furthermore, the software provides features to highlight possible outliers, perform model selection, and analyze the sensitivity. RefCurv is an open-source software with a graphical user interface (GUI) written in Python. It uses R and the gamlss add-on package (Rigby and Stasinopoulos (2005)) as the underlying statistical engine. In summary, RefCurv is the first software based on the gamlss package, which enables practitioners to construct and analyze reference curves in a user-friendly GUI. In broader terms, the software brings together the fields of statistical learning and medical application. Consequently, RefCurv can help to establish the construction of reference curves in other medical fields.


title: Existence and Uniqueness of the Karcher Mean on Unital $C^*$-algebras

abstract: The Karcher mean on the cone $\Omega$ of invertible positive elements of the $C^*$-algebra $\mathcal{B}(E)$ of bounded operators on a Hilbert space $E$ has recently been extended to a contractive barycentric map on the space of $L^1$- probability measures on $\Omega$. In this paper we first show that the barycenter satisfies the Karcher equation and then establish the uniqueness of the solution. Next we establish that the Karcher mean is real analytic in each of its coordinates, and use this fact to show that boththe Karcher mean and Karcher barycenter map exist and are unique on any unital $C^*$-algebra. The proof depends crucially on a recent result of the author giving a converse of the inverse function theorem.


title: SimBlock: A Blockchain Network Simulator

abstract: Blockchain, which is a technology for distributedly managing ledger information over multiple nodes without a centralized system, has elicited increasing attention. Performing experiments on actual blockchains are difficult because a large number of nodes in wide areas are necessary. In this study, we developed a blockchain network simulator SimBlock for such experiments. Unlike the existing simulators, SimBlock can easily change behavior of node, so that it enables to investigate the influence of nodes' behavior on blockchains. We compared some simulation results with the measured values in actual blockchains to demonstrate the validity of this simulator. Furthermore, to show practical usage, we conducted two experiments which clarify the influence of neighbor node selection algorithms and relay networks on the block propagation time. The simulator could depict the effects of the two techniques on block propagation time. The simulator will be publicly available in a few months.


title: A Diagrammatic Approach for Determining the Braid Index of Alternating Links

abstract: It is well known that the braid index of a link equals the minimum number of Seifert circles among all link diagrams representing it. For a link with a reduced alternating diagram $D$, $s(D)$, the number of Seifert circles in $D$, equals the braid index $\textbf{b}(D)$ of $D$ if $D$ contains no {\em lone crossings} (a crossing in $D$ is called a {\em lone crossing} if it is the only crossing between two Seifert circles in $D$). If $D$ contains lone crossings, then $\textbf{b}(D)$ is strictly less than $s(D)$. However in general it is not known how $s(D)$ is related to $\textbf{b}(D)$. In this paper, we derive explicit formulas for many alternating links based on any minimum projections of these links. As an application of our results, we are able to determine the braid index for any alternating Montesinos link explicitly (which include all rational links and all alternating pretzel links).


title: Shannon's entropy and its Generalizations towards Statistics, Reliability and Information Science during 1948-2018

abstract: Starting from the pioneering works of Shannon and Weiner in 1948, a plethora of works have been reported on entropy in different directions. Entropy-related review work in the direction of statistics, reliability and information science, to the best of our knowledge, has not been reported so far. Here we have tried to collect all possible works in this direction during the period 1948-2018 so that people interested in entropy, specially the new researchers, get benefited.


title: Leveraging Outdoor Webcams for Local Descriptor Learning

abstract: We present AMOS Patches, a large set of image cut-outs, intended primarily for the robustification of trainable local feature descriptors to illumination and appearance changes. Images contributing to AMOS Patches originate from the AMOS dataset of recordings from a large set of outdoor webcams. The semiautomatic method used to generate AMOS Patches is described. It includes camera selection, viewpoint clustering and patch selection. For training, we provide both the registered full source images as well as the patches. A new descriptor, trained on the AMOS Patches and 6Brown datasets, is introduced. It achieves state-of-the-art in matching under illumination changes on standard benchmarks.


title: An open-source software platform for translational photoacoustic research and its application to motion-corrected blood oxygenation estimation

abstract: Photoacoustic (PA) imaging systems based on clinical linear ultrasound arrays have become increasingly popular in translational PA research. Such systems can be more easily integrated in a clinical workflow due to the simultaneous access to ultrasonic imaging and their familiarity of use to clinicians. In contrast to more complex setups, hand held linear probes can be applied to a large variety of clinical use cases. However, most translational work with such scanners is based on proprietary development and as such not accessible to the community. In this contribution, we present a custom-built, hybrid, multispectral, real-time photoacoustic and ultrasonic imaging system with a linear array probe that is controlled by software developed within the Medical Imaging Interaction Toolkit (MITK) a highly customizable and extendable open-source software platform. Our software offers direct control of both the laser and the ultrasonic system and may serve as a starting point for various translational research projects and developments. To demonstrate the applicability of the platform, we used it to implement a new method for blood oxygenation estimation in the presence of non-rigid inter-frame motion caused by pulsing arteries. Initial results from experiments with healthy human volunteers demonstrate the suitability of the method with the sample clinical application of imaging the common carotid artery as well as peripheral extremity vessels.


title: Optimal and Automated Deployment for Microservices

abstract: Microservices are highly modular and scalable Service Oriented Architectures. They underpin automated deployment practices like Continuous Deployment and Autoscaling. In this paper, we formalize these practices and show that automated deployment - proven undecidable in the general case - is algorithmically treatable for microservices. Our key assumption is that the configuration life-cycle of a microservice is split into two phases: (i) creation, which entails establishing initial connections with already available microservices, and (ii) subsequent binding/unbinding with other microservices. To illustrate the applicability of our approach, we implement an automatic optimal deployment tool and compute deployment plans for a realistic microservice architecture, modeled in the Abstract Behavioral Specification (ABS) language.


title: Efficient verification of bipartite pure states

abstract: We propose practical and efficient protocols for verifying bipartite pure states for any finite dimension, which can also be applied to fidelity estimation. Our protocols are based on adaptive local projective measurements with either one-way or two-way communications, which are very easy to implement in practice. They can extract the key information much more efficiently than known protocols based on tomography or direct fidelity estimation, and their efficiencies are comparable to the best protocols based on entangling measurements. These protocols highlight the significance of mutually unbiased bases (MUBs) and complex projective 2-designs in quantum state verification and fidelity estimation. Moreover, our protocols can be applied to the adversarial scenario, in which states are controlled by a malicious adversary. In this case, surprisingly, one of our protocols based on local measurements is even optimal among protocols without locality restriction.


title: OWA aggregation of multi-criteria with mixed uncertain fuzzy satisfactions

abstract: We apply the Ordered Weighted Averaging (OWA) operator in multi-criteria decision-making. To satisfy different kinds of uncertainty, measure based dominance has been presented to gain the order of different criterion. However, this idea has not been applied in fuzzy system until now. In this paper, we focus on the situation where the linguistic satisfactions are fuzzy measures instead of the exact values. We review the concept of OWA operator and discuss the order mechanism of fuzzy number. Then we combine with measure-based dominance to give an overall score of each alternatives. An example is illustrated to show the whole procedure.


title: Evaluating Word Embedding Models: Methods and Experimental Results

abstract: Extensive evaluation on a large number of word embedding models for language processing applications is conducted in this work. First, we introduce popular word embedding models and discuss desired properties of word models and evaluation methods (or evaluators). Then, we categorize evaluators into intrinsic and extrinsic two types. Intrinsic evaluators test the quality of a representation independent of specific natural language processing tasks while extrinsic evaluators use word embeddings as input features to a downstream task and measure changes in performance metrics specific to that task. We report experimental results of intrinsic and extrinsic evaluators on six word embedding models. It is shown that different evaluators focus on different aspects of word models, and some are more correlated with natural language processing tasks. Finally, we adopt correlation analysis to study performance consistency of extrinsic and intrinsic evalutors.


title: AlteregoNets: a way to human augmentation

abstract: A person dependent network, called an AlterEgo net, is proposed for development. The networks are created per person. It receives at input an object descriptions and outputs a simulation of the internal person's representation of the objects. The network generates a textual stream resembling the narrative stream of consciousness depicting multitudinous thoughts and feelings related to a perceived object. In this way, the object is described not by a 'static' set of its properties, like a dictionary, but by the stream of words and word combinations referring to the object. The network simulates a person's dialogue with a representation of the object. It is based on an introduced algorithmic scheme, where perception is modeled by two interacting iterative cycles, reminding one respectively the forward and backward propagation executed at training convolution neural networks. The 'forward' iterations generate a stream representing the 'internal world' of a human. The 'backward' iterations generate a stream representing an internal representation of the object. People perceive the world differently. Tuning AlterEgo nets to a specific person or group of persons, will allow simulation of their thoughts and feelings. Thereby these nets is potentially a new human augmentation technology for various applications.


title: Viscous Cosmologies

abstract: We probe into universes filled with Quark Gluon Plasma with non-zero viscosities. In particular, we study the evolution of a universe with non-zero shear viscosity motivated by the theoretical result of a non-vanishing shear viscosity in the Quark Gluon Plasma due to quantum-mechanical effects. We first review the consequences of a non-zero bulk viscosity and show explicitly the non-singular nature of the bulk-viscosity-universe by calculating the cosmological scale factor $R(t)$ which goes to zero only asymptotically. We further extend the model of bulk viscosity to include a Cosmological Constant. We contrast the previous results with the cosmology of universes with non-zero shear viscosity. We first clarify under which conditions shear viscosity terms are compatible with the Friedmann-Lama\^itre-Robertson-Walker metric. To this end we use a version of the energy-momentum tensor from the M\"uller-Isreal-Stewart theory which leads to causal Navier-Stoke equations. We then derive the corresponding Friedmann equations and show under which conditions the universe emerges non-singular.


title: The "Wrong Minimal Surface Equation" does not have the Bernstein property

abstract: A celebrated result of S. Bernstein states that every solution of the minimal surface equation over the entire plane has to be an affine linear function. Since the paper of Bernstein appeared in 1927, many different proofs and generalizations of this beautiful theorem were given, namely to higher dimensions and to more general equations, for a careful account we refer to the paper by Simo and to the monograph by Dierkes-Hildebrandt-Tromba. In his paper Simon posed the question whether the equation \begin{equation} (1+{u_x}^2)u_{xx}+2u_x u_y u_{xy}+ (1+{u_y}^2)u_{yy} = 0 \label{toll} \end{equation} has the Bernstein property i.e. whether every $C^2$-solution defined over the entire plane necessarily has to be affine. We here show by a very simple argument that this is not the case.


title: On the effects of firing memory in the dynamics of conjunctive networks

abstract: Boolean networks are one of the most studied discrete models in the context of the study of gene expression. In order to define the dynamics associated to a Boolean network, there are several \emph{update schemes} that range from parallel or \emph{synchronous} to \emph{asynchronous.} However, studying each possible dynamics defined by different update schemes might not be efficient. In this context, considering some type of temporal delay in the dynamics of Boolean networks emerges as an alternative approach. In this paper, we focus in studying the effect of a particular type of delay called \emph{firing memory} in the dynamics of Boolean networks. Particularly, we focus in symmetric (non-directed) conjunctive networks and we show that there exist examples that exhibit attractors of non-polynomial period. In addition, we study the prediction problem consisting in determinate if some vertex will eventually change its state, given an initial condition. We prove that this problem is {\bf PSPACE}-complete.


title: A model for prohibition and obligation dilemmas generation in virtual environments

abstract: Under the project Maccoy Critical, we would like to train individuals, in virtual environments, to handle critical situations such as dilemmas. These latter refer to situations where there is no ``good'' solution. In other words, situations that lead to negative consequences whichever choice is made. Our objective is to use Knowledge Models to extract necessary properties for dilemmas to emerge. To do so, our approach consists in developing a Scenario Orchestration System that generates dilemma situations dynamically without having to write them beforehand. In this paper we present this approach and expose a proof of concept of the generation process.


title: Practical Algorithms for Multi-Stage Voting Rules with Parallel Universes Tiebreaking

abstract: STV and ranked pairs (RP) are two well-studied voting rules for group decision-making. They proceed in multiple rounds, and are affected by how ties are broken in each round. However, the literature is surprisingly vague about how ties should be broken. We propose the first algorithms for computing the set of alternatives that are winners under some tiebreaking mechanism under STV and RP, which is also known as parallel-universes tiebreaking (PUT). Unfortunately, PUT-winners are NP-complete to compute under STV and RP, and standard search algorithms from AI do not apply. We propose multiple DFS-based algorithms along with pruning strategies, heuristics, sampling and machine learning to prioritize search direction to significantly improve the performance. We also propose novel ILP formulations for PUT-winners under STV and RP, respectively. Experiments on synthetic and real-world data show that our algorithms are overall faster than ILP.


title: Sensorimotor learning for artificial body perception

abstract: Artificial self-perception is the machine ability to perceive its own body, i.e., the mastery of modal and intermodal contingencies of performing an action with a specific sensors/actuators body configuration. In other words, the spatio-temporal patterns that relate its sensors (e.g. visual, proprioceptive, tactile, etc.), its actions and its body latent variables are responsible of the distinction between its own body and the rest of the world. This paper describes some of the latest approaches for modelling artificial body self-perception: from Bayesian estimation to deep learning. Results show the potential of these free-model unsupervised or semi-supervised crossmodal/intermodal learning approaches. However, there are still challenges that should be overcome before we achieve artificial multisensory body perception.


title: Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints

abstract: Many constraints restricting the result of some computations over an integer sequence can be compactly represented by register automata. We improve the propagation of the conjunction of such constraints on the same sequence by synthesising a database of linear and non-linear invariants using their register-automaton representation. The obtained invariants are formulae parameterised by a function of the sequence length and proven to be true for any long enough sequence. To assess the quality of such linear invariants, we developed a method to verify whether a generated linear invariant is a facet of the convex hull of the feasible points. This method, as well as the proof of non-linear invariants, are based on the systematic generation of constant-size deterministic finite automata that accept all integer sequences whose result verifies some simple condition. We apply such methodology to a set of 44 time-series constraints and obtain 1400 linear invariants from which 70% are facet defining, and 600 non-linear invariants, which were tested on short-term electricity production problems.


title: X-ray diffraction analysis to support phase identification in FeSe and Fe$_7$Se$_8$ epitaxial thin films

abstract: X-ray diffraction (XRD) data and analysis for epitaxial iron selenide thin films grown by pulsed laser deposition (PLD) are presented. The films contain ${\beta}$-FeSe and Fe$_7$Se$_8$ phases in a double epitaxy configuration with the ${\beta}$-FeSe phase (001) oriented on the (001) MgO growth substrate. Fe$_7$Se$_8$ simultaneously takes on two different epitaxial orientations in certain growth conditions, exhibiting both (101)- and (001)- orientations. Each of these orientations are verified with the presented XRD data. Additionally, XRD data used to determine the PLD target composition as well as mosaic structure of the ${\beta}$-FeSe phase are shown.


title: Lost in Diversification

abstract: As financial instruments grow in complexity more and more information is neglected by risk optimization practices. This brings down a curtain of opacity on the origination of risk, that has been one of the main culprits in the 2007-2008 global financial crisis. We discuss how the loss of transparency may be quantified in bits, using information theoretic concepts. We find that {\em i)} financial transformations imply large information losses, {\em ii)} portfolios are more information sensitive than individual stocks only if fundamental analysis is sufficiently informative on the co-movement of assets, that {\em iii)} securitisation, in the relevant range of parameters, yields assets that are less information sensitive than the original stocks and that {\em iv)} when diversification (or securitisation) is at its best (i.e. when assets are uncorrelated) information losses are maximal. We also address the issue of whether pricing schemes can be introduced to deal with information losses. This is relevant for the transmission of incentives to gather information on the risk origination side. Within a simple mean variance scheme, we find that market incentives are not generally sufficient to make information harvesting sustainable.


title: Relation between heterogeneous frozen regions in supercooled liquids and non-Debye spectrum in the corresponding glasses

abstract: Recent numerical studies on glassy systems provide evidences for a population of non-Goldstone modes (NGMs) in the low-frequency spectrum of the vibrational density of states $D(\omega)$. Similarly to Goldstone modes (GMs), i. e., phonons in solids, NGMs are soft low-energy excitations. However, differently from GMs, NGMs are localized excitations. Here we first show that the parental temperature $T^*$ modifies the GM/NGM ratio in $D(\omega)$. In particular, the phonon attenuation is reflected in a parental temperature dependency of the exponent $s(T^*)$ in the low-frequency power law $D(\omega) \sim \omega^{s(T^*)}$, with $2 \leq s(T^*) \leq 4 $. Secondly, by comparing $s(T^*)$ with $s(p)$, i. e., the same quantity obtained by pinning \mttp{a} $p$ particle fraction, we suggest that $s(T^*)$ reflects the presence of dynamical heterogeneous regions of size $\xi^3 \propto p$. Finally, we provide an estimate of $\xi$ as a function of $T^*$, finding a mild power law divergence, $\xi \sim (T^* - T_d)^{-\alpha/3}$, with $T_d$ the dynamical crossover temperature and $\alpha$ falling in the range $\alpha \in [0.8,1.0]$.


title: A multidimensional generalization of Symanzik polynomials

abstract: Symanzik polynomials are defined on Feynman graphs and they are used in quantum field theory to compute Feynman amplitudes. They also appear in mathematics from different perspectives. For example, recent results show that they allow to describe asymptotic limits of geometric quantities associated to families of Riemann surfaces. In this paper, we propose a generalization of Symanzik polynomials to the setting of higher dimensional simplicial complexes and study their basic properties and applications. We state a duality relation between these generalized Symanzik polynomials and what we call Kirchhoff polynomials, which have been introduced in recent generalizations of Kirchhoff's matrix-tree theorem to simplicial complexes. Moreover, we obtain geometric invariants which compute interesting data on triangulable manifolds. As the name indicates, these invariants do not depend on the chosen triangulation. We furthermore prove a stability theorem concerning the ratio of Symanzik polynomials which extends a stability theorem of Amini to higher dimensional simplicial complexes. In order to show that theorem, we will make great use of matroids, and provide a complete classification of the connected components of the exchange graph of a matroid, a graph which encodes the exchange properties between independent sets of the matroid. We hope that this result could be of independent interest. Finally, we explain how to generalize Symanzik polynomials to the setting of matroids over hyperfields defined recently by Baker and Bowler.


title: Reconciling the Bayes Factor and Likelihood Ratio for Two Non-Nested Model Selection Problems

abstract: In statistics, there are a variety of methods for performing model selection that all stem from slightly different paradigms of statistical inference. The reasons for choosing one particular method over another seem to be based entirely on philosophical preferences. In the case of non-nested model selection, two of the prevailing techniques are the Bayes Factor and the likelihood ratio. This article focuses on reconciling the likelihood ratio and the Bayes Factor for comparing a pair of non-nested models under two different problem frameworks typical in forensic science, the common-source and the specific-source problem. We show that the Bayes Factor can be expressed as the expected value of the corresponding likelihood ratio function with respect to the posterior distribution for the parameters given the entire set of data where the set(s) of unknown-source observations has been generated according to the second model. This expression leads to a number of useful theoretic and practical results relating the two statistical approaches. This relationship is quite meaningful in many scientific applications where there is a general confusion between the various statistical methods, and particularly in the case of forensic science.


title: On the Incompressible Limit for the Compressible Free-Boundary Euler Equations with Surface Tension in the Case of a Liquid

abstract: In this paper we establish the incompressible limit for the compressible free-boundary Euler equations with surface tension in the case of a liquid. Compared to the case without surface tension treated recently, the presence of surface tension introduces severe new technical challenges, in that several boundary terms that automatically vanish when surface tension is absent now contribute at top order. Combined with the necessity of producing estimates uniform in the sound speed in order to pass to the limit, such difficulties imply that neither the techniques employed for the case without surface tension, nor estimates previously derived for a liquid with surface tension and fixed sound speed, are applicable here. In order to obtain our result, we devise a suitable weighted energy that takes into account the coupling of the fluid motion with the boundary geometry. Estimates are closed by exploiting the full non-linear structure of the Euler equations and invoking several geometric properties of the boundary in order to produce some remarkable cancellations. We stress that we do not assume the fluid to be irrotational.


title: An Enormous Class of Double Half-Heusler Compounds with Low Thermal Conductivity

abstract: Since their discovery around a century ago, the structure and chemistry of the multi-functional half-Heusler semiconductors have been studied extensively as three component systems. The elemental groups constituting these ternary compounds with the nominal formula XYZ are well established. From the very same set of well-known elements we explore a phase space of quaternary double ($X'X''Y_2Z_2$, $X_2Y'Y''Z_2$, and $X_2Y_2Z'Z''$), triple ($X_2'X''Y_3Z_3$) and quadruple ($X_3'X''Y_4Z_4$) half-Heusler compositions which 10 times larger in size. Using a reliable, first-principles thermodynamics methodology on a selection of 347 novel compositions, we predict 127 new stable quaternary compounds, already more than the 89 reported almost exhaustively for ternary systems. Thermoelectric performance of the state-of-the-art ternary half-Heusler compounds are limited by their intrinsically high lattice thermal conductivity ($\kappa_{L}$). In comparison to ternary half-Heuslers, thermal transport in double half-Heuslers is dominated by low frequency phonon modes with smaller group velocities and limited by disorder scattering. The double half-Heusler composition Ti$_2$FeNiSb$_2$ was synthesized and confirmed to have a significantly lower lattice thermal conductivity (factor of 3 at room temperature) than TiCoSb, thereby providing a better starting point for thermoelectric efficiency optimization. We demonstrate a dependable strategy to assist the search for low thermal conductivity half-Heuslers and point towards a huge composition space for implementing it. Our findings can be extended for systematic discovery of other large families of multi-component intermetallic semiconductors.


title: Induced Saturation of $P_{6}$

abstract: A graph $G$ is called $H$-induced-saturated if $G$ does not contain an induced copy of $H$, but removing any edge from $G$ creates an induced copy of $H$ and adding any edge of $G^{c}$ to $G$ creates an induced copy of $H$. Martin and Smith showed that there does not exist a $P_{4}$-induced-saturated graph, where $P_{4}$ is the path on 4 vertices. Axenovich and Csik\'os studied related questions, and asked if there exists a $P_{n}$-induced-saturated graph for any $n\geq5$. Our aim in this short note is to show that there exists a $P_{6}$-induced-saturated graph.


title: Context-aware Monitoring in Robotic Surgery

abstract: Robotic-assisted minimally invasive surgery (MIS) has enabled procedures with increased precision and dexterity, but surgical robots are still open loop and require surgeons to work with a tele-operation console providing only limited visual feedback. In this setting, mechanical failures, software faults, or human errors might lead to adverse events resulting in patient complications or fatalities. We argue that impending adverse events could be detected and mitigated by applying context-specific safety constraints on the motions of the robot. We present a context-aware safety monitoring system which segments a surgical task into subtasks using kinematics data and monitors safety constraints specific to each subtask. To test our hypothesis about context specificity of safety constraints, we analyze recorded demonstrations of dry-lab surgical tasks collected from the JIGSAWS database as well as from experiments we conducted on a Raven II surgical robot. Analysis of the trajectory data shows that each subtask of a given surgical procedure has consistent safety constraints across multiple demonstrations by different subjects. Our preliminary results show that violations of these safety constraints lead to unsafe events, and there is often sufficient time between the constraint violation and the safety-critical event to allow for a corrective action.


title: On a Conjecture of Cai-Zhang-Shen for Figurate Primes

abstract: A conjecture of Cai-Zhang-Shen for figurate primes says that every integer $k>1$ is the sum of two figurate primes. In this paper we give an equivalent proposition to the conjecture. By considering extreme value problems with constraints about the conjecture in the cases of odd and even integers and using the method of Lagrange multipliers, Cardano formula for cubic equations and the contradiction, we prove the conjecture.


title: Is Privacy Controllable?

abstract: One of the major views of privacy associates privacy with the control over information. This gives rise to the question how controllable privacy actually is. In this paper, we adapt certain formal methods of control theory and investigate the implications of a control theoretic analysis of privacy. We look at how control and feedback mechanisms have been studied in the privacy literature. Relying on the control theoretic framework, we develop a simplistic conceptual control model of privacy, formulate privacy controllability issues and suggest directions for possible research.


title: Model for Classical Electron with Finite Mass and Action

abstract: It is shown in the tetrad representation that there are Reissner--Nordstr\"om solutions with a finite action and total inertial mass equal to the gravitational mass of the considered system. These solutions describe systems of electromagnetic and gravitational fields without any admixture of massive point-charges. The stress tensor for this solutions is shown to be identically zero. This means that there is no need in additional nonelectromagnetic surface-tension, existing in the Lorentz electron model, preventing the system disintegration. The hypothesis that gravitation can play a crucial role in the structure of elementary particles is discussed.


title: Models of Saturn's protoplanetary disk forming in-situ its regular satellites and innermost rings before the planet is formed

abstract: We fit an isothermal oscillatory density model of Saturn's protoplanetary disk to the present-day major satellites and innermost rings D/C and we determine the radial scale length of the disk, the equation of state and the central density of the primordial gas, and the rotational state of the Saturnian nebula. This disk does not look like the Jovian and Uranian disks that we modeled previously. Its power-law index is extremely steep ($k=-4.5$) and its radial extent is very narrow ($\Delta R\lesssim 0.9$ Gm), its rotation parameter that measures centrifugal support against self-gravity is somewhat larger ($\beta_0=0.0431$), as is its radial scale length (395 km); but, as was expected, the size of the Saturnian disk, $R_{\rm max}=3.6$ Gm, takes just an intermediate value. On the other hand, the central density of the compact Saturnian core and its angular velocity are both comparable to that of Jupiter's core (density of $\approx 0.3$~g~cm$^{-3}$ in both cases, and rotation period of 5.0 d versus 6.8 d); and significantly less than the corresponding parameters of Uranus' core. As with the other primordial nebulae, this rotation is sufficiently slow to guarantee the disk's long-term stability against self-gravity induced instabilities for millions of years of evolution.


title: Capacity-Achieving MIMO-NOMA: Iterative LMMSE Detection

abstract: This paper considers a low-complexity iterative Linear Minimum Mean Square Error (LMMSE) multi-user detector for the Multiple-Input and Multiple-Output system with Non-Orthogonal Multiple Access (MIMO-NOMA), where multiple single-antenna users simultaneously communicate with a multiple-antenna base station (BS). While LMMSE being a linear detector has a low complexity, it has suboptimal performance in multi-user detection scenario due to the mismatch between LMMSE detection and multi-user decoding. Therefore, in this paper, we provide the matching conditions between the detector and decoders for MIMO-NOMA, which are then used to derive the achievable rate of the iterative detection. We prove that a matched iterative LMMSE detector can achieve (i) the optimal capacity of symmetric MIMO-NOMA with any number of users, (ii) the optimal sum capacity of asymmetric MIMO-NOMA with any number of users, (iii) all the maximal extreme points in the capacity region of asymmetric MIMO-NOMA with any number of users, (iv) all points in the capacity region of two-user and three-user asymmetric MIMO-NOMA systems. In addition, a kind of practical low-complexity error-correcting multiuser code, called irregular repeat-accumulate code, is designed to match the LMMSE detector. Numerical results shows that the bit error rate performance of the proposed iterative LMMSE detection outperforms the state-of-art methods and is within 0.8dB from the associated capacity limit.


title: Cracking and Stability of Non-Rotating Relativistic Spheres with Anisotropic Internal Stresses

abstract: The stability of static uncharged spheres with anisotropic internal stresses is studied in general relativity. It has been noticed that pressure anisotropy plays an important role for stability of stellar structure. It is shown that radial profile of the stress anisotropy can be considered to decide potentially stable/unstable regions. Finally, pontentially stable/unstable regions of two known models of relativistic star have been examined.


title: Delay Compensated Control of the Stefan Problem and Robustness to Delay Mismatch

abstract: This paper presents a control design for the one-phase Stefan problem under actuator delay via a backstepping method. The Stefan problem represents a liquid-solid phase change phenomenon which describes the time evolution of a material's temperature profile and the interface position. The actuator delay is modeled by a first-order hyperbolic partial differential equation (PDE), resulting in a cascaded transport-diffusion PDE system defined on a time-varying spatial domain described by an ordinary differential equation (ODE). Two nonlinear backstepping transformations are utilized for the control design. The setpoint restriction is given to guarantee a physical constraint on the proposed controller for the melting process. This constraint ensures the exponential convergence of the moving interface to a setpoint and the exponential stability of the temperature equilibrium profile and the delayed controller in the ${\cal H}_1$ norm. Furthermore, robustness analysis with respect to the delay mismatch between the plant and the controller is studied, which provides analogous results to the exact compensation by restricting the control gain.


title: Optimizing Multi-Wavelength Blazar Studies through Fermi-LAT and Swift Synergy

abstract: Blazar flares seen by the Fermi Gamma-Ray Space Telescope Large Area Telescope (Fermi LAT) are often followed up by Target of Opportunity (ToO) requests to the Neil Gehrels Swift Observatory (Swift). Using flares identified in the daily light curves of Fermi LAT Monitored Sources, we investigated which follow-up Swift ToO requests resulted in refereed publications. The goal was to create criteria of what Swift should look for in following up a Fermi-LAT gamma-ray flare. Parameters tested were peak gamma-ray flux, flare duration (based on a Bayesian Block analysis), type of AGN (BL Lac or FSRQ), and pattern of activity (single flare or extensive activity). We found that historically active sources and high-photon-flux sources result in more publications, deeming these successful Swift ToOs, while flare duration and type of AGN had little or no impact on whether or not a ToO led to a publication.


title: Atomistic modeling of heat treatment processes for tuning the mechanical properties of disordered solids

abstract: We investigate the effect of a single heat treatment cycle on the potential energy states and mechanical properties of metallic glasses using molecular dynamics simulations. We consider the three-dimensional binary mixture, which was initially cooled with a computationally slow rate from the liquid state to the solid phase at a temperature well below the glass transition. It was found that a cycle of heating and cooling can relocate the glass to either rejuvenated or relaxed states, depending on the maximum temperature and the loading period. Thus, the lowest potential energy is attained after a cycle with the maximum temperature slightly below the glass transition temperature and the effective cooling rate slower than the initial annealing rate. In contrast, the degree of rejuvenation increases when the maximum temperature becomes greater than the glass transition temperature and the loading period is sufficiently small. It was further shown that the variation of the potential energy is inversely related to the dependence of the elastic modulus and the yield stress as functions of the maximum loading temperature. In addition, the heat treatment process causes subtle changes in the shape of the radial distribution function of small atoms. These results are important for optimization of thermal and mechanical processing of metallic glasses with predetermined properties.


title: Intuitionistic Non-Normal Modal Logics: A general framework

abstract: We define a family of intuitionistic non-normal modal logics; they can bee seen as intuitionistic counterparts of classical ones. We first consider monomodal logics, which contain only one between Necessity and Possibility. We then consider the more important case of bimodal logics, which contain both modal operators. In this case we define several interactions between Necessity and Possibility of increasing strength, although weaker than duality. For all logics we provide both a Hilbert axiomatisation and a cut-free sequent calculus, on its basis we also prove their decidability. We then give a semantic characterisation of our logics in terms of neighbourhood models. Our semantic framework captures modularly not only our systems but also already known intuitionistic non-normal modal logics such as Constructive K (CK) and the propositional fragment of Wijesekera's Constructive Concurrent Dynamic Logic.


title: Analogies Explained: Towards Understanding Word Embeddings

abstract: Word embeddings generated by neural network methods such as word2vec (W2V) are well known to exhibit seemingly linear behaviour, e.g. the embeddings of analogy "woman is to queen as man is to king" approximately describe a parallelogram. This property is particularly intriguing since the embeddings are not trained to achieve it. Several explanations have been proposed, but each introduces assumptions that do not hold in practice. We derive a probabilistically grounded definition of paraphrasing that we re-interpret as word transformation, a mathematical description of "$w_x$ is to $w_y$". From these concepts we prove existence of linear relationships between W2V-type embeddings that underlie the analogical phenomenon, identifying explicit error terms.


title: Coordinate deletion of zeroes

abstract: For a family $A\subseteq\left\{ 0,\dots,k\right\} ^{n}$, define the $\delta$-shadow of $A$ to be the set obtained from $A$ by removing from any of its vectors one coordinate that equals zero. Given the size of $A$, how should we choose $A$ to minimise its $\delta$-shadow? Our aim in this paper is to show that, for any $r$, the family of all sequences with at most $r$ zeros has minimal $\delta$-shadow. We actually give the exact best $A$ for every size.


title: Reaction kinetics in the few-encounter limit

abstract: The classical theory of chemical reactions can be understood in terms of diffusive barrier crossing, where the rate of a reaction is determined by the inverse of the mean first passage time (FPT) to cross a free energy barrier. Whenever a few reaction events suffice to trigger a response or the energy barriers are not high, the mean first passage time alone does not suffice to characterize the kinetics, i.e., the kinetics do not occur on a single time-scale. Instead, the full statistics of the FPT are required. We present a spectral representation of the FPT statistics that allows us to understand and accurately determine FPT distributions over several orders of magnitudes in time. A canonical narrowing of the first passage density is shown to emerge whenever several molecules are searching for the same target, which was termed the 'few-encounter limit'. The few-encounter limit is essential in all situations, in which already the first encounter triggers a response, such as misfolding-triggered aggregation of proteins or protein transcription regulation.


title: Diffusion- and reaction-limited cluster aggregation revisited

abstract: We simulated irreversible aggregation of non-interacting particles and of particles interacting via repulsive and attractive potentials explicitly implementing the rotational diffusion of aggregating clusters. Our study confirms that the attraction between particles influences neither the aggregation mechanism nor the structure of the aggregates, which are identical to those of non-interacting particles. In contrast, repulsive particles form more compact aggregates and their fractal dimension and aggregation times increase with the decrease of the temperature. A comparison of the fractal dimensions obtained for non-rotating clusters of non-interacting particles and for rotating clusters of repulsive particles provides an explanation for the conformity of the respective values obtained earlier in the well established model of diffusion-limited cluster aggregation neglecting rotational diffusion and in experiments on colloidal particles.


title: Controllable Defect Driven Symmetry Change and Domain Structure Evolution in BiFeO3 with Enhanced Tetragonality

abstract: Defect engineering has been a powerful tool to enable the creation of exotic phases and the discovery of intriguing phenomena in ferroelectric oxides. However, accurate control the concentration of defects remains a big challenge. In this work, ion implantation, that can provide controllable point defects, allows us the ability to produce a controlled defect-driven true super-tetragonal (T) phase with enhanced tetragonality in ferroelectric BiFeO3 thin films. This point defect engineering is found to drive the phase transition from the as-grown mixed rhombohedral-like (R) and tetragonal-like (MC) phase to true tetragonal (T) symmetry. By further increasing the injected dose of He ion, we demonstrate an enhanced tetragonality super-tetragonal (super-T) phase with the largest c/a ratio (~ 1.3) that has ever been experimentally achieved in BiFeO3. A combination of morphology change and domain evolution further confirm that the mixed R/MC phase structure transforms to the single-domain-state true tetragonal phase. Moreover, the re-emergence of R phase and in-plane stripe nanodomains after heat treatment reveal the memory effect and reversible phase transition. Our findings demonstrate the control of R-Mc-T-super T symmetry changes and the creation of true T phase BiFeO3 with enhanced tetragonality through controllable defect engineering. This work also provides a pathway to generate large tetragonality (or c/a ratio) that could be extended to other ferroelectric material systems (such as PbTiO3, BaTiO3 and HfO2) which may lead to strong polarization enhancement.


title: Variants of Base 3 over 2

abstract: We discuss two different systems of number representations that both can be called 'base 3/2'. We explain how they are connected. Unlike classical fractional extension, these two systems provide a finite representation for integers. We also discuss a connection between these systems and 3-free sequences.


title: Generalization of feature embeddings transferred from different video anomaly detection domains

abstract: Detecting anomalous activity in video surveillance often involves using only normal activity data in order to learn an accurate detector. Due to lack of annotated data for some specific target domain, one could employ existing data from a source domain to produce better predictions. Hence, transfer learning presents itself as an important tool. But how to analyze the resulting data space? This paper investigates video anomaly detection, in particular feature embeddings of pre-trained CNN that can be used with non-fully supervised data. By proposing novel cross-domain generalization measures, we study how source features can generalize for different target video domains, as well as analyze unsupervised transfer learning. The proposed generalization measures are not only a theorical approach, but show to be useful in practice as a way to understand which datasets can be used or transferred to describe video frames, which it is possible to better discriminate between normal and anomalous activity.


title: Some extensions for Ramanujan's circular summation formula

abstract: In this paper, we give some extensions for Ramanujan's circular summation formula with the mixed products of two Jacobi's theta functions. As some applications, we also obtain many interesting identities of Jacobi's theta functions.


title: Squeezed Very Deep Convolutional Neural Networks for Text Classification

abstract: Most of the research in convolutional neural networks has focused on increasing network depth to improve accuracy, resulting in a massive number of parameters which restricts the trained network to platforms with memory and processing constraints. We propose to modify the structure of the Very Deep Convolutional Neural Networks (VDCNN) model to fit mobile platforms constraints and keep performance. In this paper, we evaluate the impact of Temporal Depthwise Separable Convolutions and Global Average Pooling in the network parameters, storage size, and latency. The squeezed model (SVDCNN) is between 10x and 20x smaller, depending on the network depth, maintaining a maximum size of 6MB. Regarding accuracy, the network experiences a loss between 0.4% and 1.3% and obtains lower latencies compared to the baseline model.


title: Virtual Conditional Generative Adversarial Networks

abstract: When trained on multimodal image datasets, normal Generative Adversarial Networks (GANs) are usually outperformed by class-conditional GANs and ensemble GANs, but conditional GANs is restricted to labeled datasets and ensemble GANs lack efficiency. We propose a novel GAN variant called virtual conditional GAN (vcGAN) which is not only an ensemble GAN with multiple generative paths while adding almost zero network parameters, but also a conditional GAN that can be trained on unlabeled datasets without explicit clustering steps or objectives other than the adversary loss. Inside the vcGAN's generator, a learnable ``analog-to-digital converter (ADC)" module maps a slice of the inputted multivariate Gaussian noise to discrete/digital noise (virtual label), according to which a selector selects the corresponding generative path to produce the sample. All the generative paths share the same decoder network while in each path the decoder network is fed with a concatenation of a different pre-computed amplified one-hot vector and the inputted Gaussian noise. We conducted a lot of experiments on several balanced/imbalanced image datasets to demonstrate that vcGAN converges faster and achieves improved Frech\'et Inception Distance (FID). In addition, we show the training byproduct that the ADC in vcGAN learned the categorical probability of each mode and that each generative path generates samples of specific mode, which enables class-conditional sampling. Codes are available at \url{https://github.com/annonnymmouss/vcgan}


title: Extreme time-integrated geomagnetic activity: Ap index statistics

abstract: We analyze statistically extreme time-integrated Ap events in 1958-2007, which occurred during both strong and weak geomagnetic storms. The tail of the distribution of such events can be accurately fitted by a power-law with a sharp upper cutoff, in close agreement with a second fit inferred from Extreme Value Theory. Such a behavior is suggestive of a self-organization of the solar wind-magnetosphere-ionosphere system appearing during strong and sustained solar wind driving. The 1 in 10 years to 1 in 100 years return levels of such extreme events are calculated, taking into account possible solar cycle modulations. The huge October 2003 event turns out to be a 1 in 100 (+/- 40) years event. Comparisons with the distribution of extreme time-integrated aa events collected in 1870-2010 support the reliability of our results over the long run. Using data from Time History of Events and Macroscale Interactions during Substorms (THEMIS) satellites and the Van Allen Probes, we show that extreme time-integrated $ap$ events produce hard fluxes of energetic electrons and ions in the magnetotail and high fluxes (>1000 000 e/cm2/sr/s/MeV) of 1.8 MeV electrons in the heart of the outer radiation belt.


title: Stable resolutions of multi-parameter persistence modules

abstract: The theory of persistence, which arises from topological data analysis, has been intensively studied in the one-parameter case both theoretically and in its applications. However, its extension to the multi-parameter case raises numerous difficulties. Indeed, it has been shown that there exists no complete discrete invariant for persistence modules with many parameters, such as so-called barcodes in the one-parameter case. To tackle this problem, some new algebraic invariants have been proposed to study multi-parameter persistence modules, adapting classical ideas from commutative algebra and algebraic geometry to this context. Nevertheless, the crucial question of the stability of these invariants has raised few attention so far, and many of the proposed invariants do not satisfy a naive form of stability. In this paper, we equip the homotopy and the derived category of multi-parameter persistence modules with an appropriate interleaving distance. We prove that resolution functors are always isometric with respect to this distance, hence opening the door to performing homological algebra operations while "keeping track" of stability. This approach, we believe, can lead to the definition of new stable invariants for multi-parameter persistence, and to new computable lower bounds for the interleaving distance (which has been recently shown to be NP-hard to compute in the case with more than one parameter).


title: The International Linear Collider. A European Perspective

abstract: The International Linear Collider (ILC) being proposed in Japan is an electron-positron linear collider with an initial energy of 250 GeV. The ILC accelerator is based on the technology of superconducting radio-frequency cavities. This technology has reached a mature stage in the European XFEL project and is now widely used. The ILC will start by measuring the Higgs properties, providing high-precision and model-independent determinations of its parameters. The ILC at 250 GeV will also search for direct new physics in exotic Higgs decays and in pair-production of weakly interacting particles. The use of polarised electron and positron beams opens new capabilities and scenarios that add to the physics reach. The ILC can be upgraded to higher energy, enabling precision studies of the top quark and measurement of the top Yukawa coupling and the Higgs self-coupling. The international -- including European -- interest for the project is very strong. Europe has participated in the ILC project since its early conception and plays a major role in its present development covering most of its scientific and technological aspects: physics studies, accelerator and detectors. The potential for a wide participation of European groups and laboratories is thus high, including important opportunities for European industry. Following decades of technical development, R&D, and design optimisation, the project is ready for construction and the European particle physics community, technological centers and industry are prepared to participate in this challenging endeavour.


title: Quantum optical frequency up-conversion for polarisation entangled qubits: towards interconnected quantum information devices

abstract: Realising a global quantum network requires combining individual strengths of different quantum systems to perform universal tasks, notably using flying and stationary qubits. However, transferring coherently quantum information between different systems is challenging as they usually feature different properties, notably in terms of operation wavelength and wavepacket. To circumvent this problem for quantum photonics systems, we demonstrate a polarisation-preserving quantum frequency conversion device in which telecom wavelength photons are converted to the near infrared, at which a variety of quantum memories operate. Our device is essentially free of noise which we demonstrate through near perfect single photon state transfer tomography and observation of high-fidelity entanglement after conversion. In addition, our guided-wave setup is robust, compact, and easily adaptable to other wavelengths. This approach therefore represents a major building block towards advantageously connecting quantum information systems based on light and matter.


title: Depth creates no more spurious local minima

abstract: We show that for any convex differentiable loss, a deep linear network has no spurious local minima as long as it is true for the two layer case. This reduction greatly simplifies the study on the existence of spurious local minima in deep linear networks. When applied to the quadratic loss, our result immediately implies the powerful result in [Kawaguchi 2016]. Further, with the work in [Zhou and Liang 2018], we can remove all the assumptions in [Kawaguchi 2016]. This property holds for more general "multi-tower" linear networks too. Our proof builds on [Laurent and von Brecht 2018] and develops a new perturbation argument to show that any spurious local minimum must have full rank, a structural property which can be useful more generally.


title: A dynamic stochastic blockmodel for interaction lengths

abstract: We propose a new dynamic stochastic blockmodel that focuses on the analysis of interaction lengths in networks. The model does not rely on a discretization of the time dimension and may be used to analyze networks that evolve continuously over time. The framework relies on a clustering structure on the nodes, whereby two nodes belonging to the same latent group tend to create interactions and non-interactions of similar lengths. We introduce a fast variational expectation-maximization algorithm to perform inference, and adapt a widely used clustering criterion to perform model choice. Finally, we test our methodology on artificial data, and propose a demonstration on a dataset concerning face-to-face interactions between students in a high-school.


title: The International Linear Collider. A Global Project

abstract: A large, world-wide community of physicists is working to realise an exceptional physics program of energy-frontier, electron-positron collisions with the International Linear Collider (ILC). This program will begin with a central focus on high-precision and model-independent measurements of the Higgs boson couplings. This method of searching for new physics beyond the Standard Model is orthogonal to and complements the LHC physics program. The ILC at 250 GeV will also search for direct new physics in exotic Higgs decays and in pair-production of weakly interacting particles. Polarised electron and positron beams add unique opportunities to the physics reach. The ILC can be upgraded to higher energy, enabling precision studies of the top quark and measurement of the top Yukawa coupling and the Higgs self-coupling. The key accelerator technology, superconducting radio-frequency cavities, has matured. Optimised collider and detector designs, and associated physics analyses, were presented in the ILC Technical Design Report, signed by 2400 scientists. There is a strong interest in Japan to host this international effort. A detailed review of the many aspects of the project is nearing a conclusion in Japan. Now the Japanese government is preparing for a decision on the next phase of international negotiations, that could lead to a project start within a few years. The potential timeline of the ILC project includes an initial phase of about 4 years to obtain international agreements, complete engineering design and prepare construction, and form the requisite international collaboration, followed by a construction phase of 9 years.


title: The topological susceptibility of two-dimensional $U(N)$ gauge theories

abstract: In this paper we study the topological susceptibility of two-dimensional $U(N)$ gauge theories. We provide explicit expressions for the partition function and the topological susceptibility at finite lattice spacing and finite volume. We then examine the particularly simple case of the abelian $U(1)$ theory, the continuum limit, the infinite volume limit, and we finally discuss the large $N$ limit of our results.


title: Deep learning neural nets for detecting heart activity

abstract: The prediction of heart surface potentials using measurements from the body's surface is known as the inverse problem of electrocardiography. It is an ill-posed problem due to the multiple factors that affect the heart signal as it propagates through the body. This report details research performed into a machine learning solution to signal reconstruction as well as an analysis of optimal torso electrode positioning for prediction involving different areas of the heart. The dataset contains simultaneous measurements from a large number of body surface potential (BSP) and heart surface potential (HSP) electrodes, as well as their geometric locations, recorded from an experiment using a human model. Initially, Time Delayed Neural Nets were trained and tested across all BSP to HSP relationships resulting in a slight trend of increased reconstruction correlation with decreased separation of electrodes. However, the TDNNs had overfitted to the data and failed to predict alternate heartbeat pacings. Feed Forward Neural Nets (FFNNs) were tested in a many BSP to many HSP prediction method. Again overfitting occurred. To reduce overfitting, the number of training signals was reduced by analysing the optimal training BSPs for each HSP when using basic perceptrons. This analysis involved repeat sampling and ranking of different BSP combinations, initially, using a Monte Carlo approximation, until being replaced with a meta-heuristic which increased the yield of successful BSP combinations. Successful reconstructions across heartbeat pacings were produced using these optimal BSP combinations for 80 of the 108 HSPs, and future work exists for the testing of this method of prediction using real patient data.


title: Properties of counterexample to Robin hypothesis

abstract: Let $G(n)=\sigma (n)/(n \log \log n )$. Robin made hypothesis that $G(n)<e^\gamma$ for all integer $n>5040$. If there exists counterexample to Robin hypothesis, then there must exist finite number of counterexamples $n>5040$ such that $G(n)$ attains largest value. This article studies various properties of such number.


title: The Emergence of Complex Bodyguard Behavior Through Multi-Agent Reinforcement Learning

abstract: In this paper we are considering a scenario where a team of robot bodyguards are providing physical protection to a VIP in a crowded public space. We show that the problem involves a complex mesh of interactions between the VIP and the robots, between the robots themselves and the robots and the bystanders respectively. We show how recently proposed multi-agent policy gradient reinforcement learning algorithms such as MADDPG can be successfully adapted to learn collaborative robot behaviors that provide protection to the VIP.


title: Quantum groups under very strong axioms

abstract: We study the intermediate quantum groups $H_N\subset G\subset U_N^+$. The basic examples are $H_N,K_N,O_N,U_N,H_N^+,K_N^+,O_N^+,U_N^+$, which form a cube. Any other example $G$ sits inside the cube, and by using standard operations, namely intersection $\cap$ and generation $<\,,>$, can be projected on the faces and edges. We prove that under the strongest possible axioms, namely (1) easiness, (2) uniformity, and (3) geometric coherence of the various projection operations, the 8 basic solutions are the only ones.


title: Finite element simulation of nonlinear bending models for thin elastic rods and plates

abstract: Nonlinear bending phenomena of thin elastic structures arise in various modern and classical applications. Characterizing low energy states of elastic rods has been investigated by Bernoulli in 1738 and related models are used to determine configurations of DNA strands. The bending of a piece of paper has been described mathematically by Kirchhoff in 1850 and extensions of his model arise in nanotechnological applications such as the development of externally operated microtools. A rigorous mathematical framework that identifies these models as dimensionally reduced limits from three-dimensional hyperelasticity has only recently been established. It provides a solid basis for developing and analyzing numerical approximation schemes. The fourth order character of bending problems and a pointwise isometry constraint for large deformations require appropriate discretization techniques which are discussed in this article. Methods developed for the approximation of harmonic maps are adapted to discretize the isometry constraint and gradient flows are used to decrease the bending energy. For the case of elastic rods, torsion effects and a self-avoidance potential that guarantees injectivity of deformations are incorporated. The devised and rigorously analyzed numerical methods are illustrated by means of experiments related to the relaxation of elastic knots, the formation of singularities in a M\"obius strip, and the simulation of actuated bilayer plates.


title: The interaction of twisted Laguerre-Gaussian light with a GaAs photocathode to investigate photogenerated polarized electrons

abstract: The interaction of Laguerre-Gauusian light at select wavelengths from 690 to 810 nm with a p-type gallium arsenide (GaAs) photocathode photonic device and the production of photogenerated electrons was investigated. Spin angular momentum (SAM) and orbital angular momentum (OAM) were generated using linear or circular polarization and q-plates. The degree of polarization P from the photogenerated electron signal was measured. At an excitation of 695 nm ($E=1.78$ $eV$), $P_{OAM}=~2.1 \%$, $P_{SAM}=~1.3 \%$ and $P_{SAM, OAM (q=1)}= ~3.4\%$, whereas, at 800 nm ($E=1.55$ $eV$), near bandgap, $P_{OAM}=~-14.7\%$, $P_{SAM}=~-2.6\%$ and $P_{SAM,OAM (q=1)} = ~4.0\%$.


title: Designing a Multi-Objective Reward Function for Creating Teams of Robotic Bodyguards Using Deep Reinforcement Learning

abstract: We are considering a scenario where a team of bodyguard robots provides physical protection to a VIP in a crowded public space. We use deep reinforcement learning to learn the policy to be followed by the robots. As the robot bodyguards need to follow several difficult-to-reconcile goals, we study several primitive and composite reward functions and their impact on the overall behavior of the robotic bodyguards.


title: Semi-supervised Learning in Network-Structured Data via Total Variation Minimization

abstract: We propose and analyze a method for semi-supervised learning from partially-labeled network-structured data. Our approach is based on a graph signal recovery interpretation under a clustering hypothesis that labels of data points belonging to the same well-connected subset (cluster) are similar valued. This lends naturally to learning the labels by total variation (TV) minimization, which we solve by applying a recently proposed primal-dual method for non-smooth convex optimization. The resulting algorithm allows for a highly scalable implementation using message passing over the underlying empirical graph, which renders the algorithm suitable for big data applications. By applying tools of compressed sensing, we derive a sufficient condition on the underlying network structure such that TV minimization recovers clusters in the empirical graph of the data. In particular, we show that the proposed primal-dual method amounts to maximizing network flows over the empirical graph of the dataset. Moreover, the learning accuracy of the proposed algorithm is linked to the set of network flows between data points having known labels. The effectiveness and scalability of our approach is verified by numerical experiments.


title: Interpreting Deep Neural Networks Through Variable Importance

abstract: While the success of deep neural networks (DNNs) is well-established across a variety of domains, our ability to explain and interpret these methods is limited. Unlike previously proposed local methods which try to explain particular classification decisions, we focus on global interpretability and ask a universally applicable question: given a trained model, which features are the most important? In the context of neural networks, a feature is rarely important on its own, so our strategy is specifically designed to leverage partial covariance structures and incorporate variable dependence into feature ranking. Our methodological contributions in this paper are two-fold. First, we propose an effect size analogue for DNNs that is appropriate for applications with highly collinear predictors (ubiquitous in computer vision). Second, we extend the recently proposed "RelATive cEntrality" (RATE) measure (Crawford et al., 2019) to the Bayesian deep learning setting. RATE applies an information theoretic criterion to the posterior distribution of effect sizes to assess feature significance. We apply our framework to three broad application areas: computer vision, natural language processing, and social science.


title: Thermal forces from a microscopic perspective

abstract: Thermal gradients lead to macroscopic fluid motion if a confining surface is present along the gradient. This fundamental nonequilibrium effect, known as thermo-osmosis, is held responsible for particle thermophoresis in colloidal suspensions. A unified approach for thermo-osmosis in liquids and in gases is still lacking. Linear Response Theory is generalised to inhomogeneous systems,leading to an exact microscopic theory for the thermo-osmotic flow showing that the effect originates from two independent physical mechanisms, playing different roles in the gas and liquid phases, reducing to known expressions in the appropriate limits.


title: A Mechano-Chemical model for tumors growth

abstract: In this paper we present a study of local dynamics of the growth of cancer tumor and healthy cells considering the presence of nutrients in the system. We also analyze the evolution of system if we take indirectly into account the level of alkalinity (pH) in the system which shows that influences in tumor growth. The model consists in a set of differential equations of first order that involves a mechanical model added by a pair of differential equations for local oxygen and glucose.


title: Overbooking Microservices in the Cloud

abstract: We consider the problem of scheduling serverless-computing instances such as Amazon Lambda functions, or scheduling microservices within (privately held) virtual machines (VMs). Instead of a quota per tenant/customer, we assume demand for Lambda functions is modulated by token-bucket mechanisms per tenant. Such quotas are due to, e.g., limited resources (as in a fog/edge-cloud context) or to prevent excessive unauthorized invocation of numerous instances by malware. Based on an upper bound on the stationary number of active "Lambda servers" considering the execution-time distribution of Lambda functions, we describe an approach that the cloud could use to overbook Lambda functions for improved utilization of IT resources. An earlier bound for a single service tier is extended to multiple service tiers. For the context of scheduling microservices in a private setting, the framework could be used to determine the required VM resources for a token-bucket constrained workload stream. Finally, we note that the looser Markov inequality may be useful in settings where the job service times are dependent.


title: Sharp weighted Sobolev trace inequalities and fractional powers of the Laplacian

abstract: We establish a family of sharp Sobolev trace inequalities involving the $W^{k,2}(\mathbb{R}_+^{n+1},y^a)$-norm. These inequalities are closely related to the realization of fractional powers of the Laplacian on $\mathbb{R}^n=\partial\mathbb{R}_+^{n+1}$ as generalized Dirichlet-to-Neumann operators associated to powers of the weighted Laplacian in upper half space, generalizing observations of Caffarelli--Silvestre and of Yang.


title: Tradeoff Between Delay and High SNR Capacity in Quantized MIMO Systems

abstract: Analog-to-digital converters (ADCs) are a major contributor to the power consumption of multiple-input multiple-output (MIMO) communication systems with large number of antennas. Use of low resolution ADCs has been proposed as a means to decrease power consumption in MIMO receivers. However, reducing the ADC resolution leads to performance loss in terms of achievable transmission rates. In order to mitigate the rate-loss, the receiver can perform analog processing of the received signals before quantization. Prior works consider one-shot analog processing where at each channel-use, analog linear combinations of the received signals are fed to a set of one-bit threshold ADCs. In this paper, a receiver architecture is proposed which uses a sequence of delay elements to allow for blockwise linear combining of the received analog signals. In the high signal to noise ratio regime, it is shown that the proposed architecture achieves the maximum achievable transmission rate given a fixed number of one-bit ADCs. Furthermore, a tradeoff between transmission rate and the number of delay elements is identified which quantifies the increase in maximum achievable rate as the number of delay elements is increased.


title: Quantum Chaos and Quantum Randomness - Paradigms of Entropy Production on the Smallest Scales

abstract: Quantum chaos is presented as a paradigm of information processing by dynamical systems at the bottom of the range of phase-space scales. Starting with a brief review of classical chaos as entropy flow from micro- to macro-scales, I argue that quantum chaos came as an indispensable rectification, removing inconsistencies related to entropy in classical chaos: Bottom-up information currents require an inexhaustible entropy production and a diverging information density in phase space, reminiscent of Gibbs' paradox in Statistical Mechanics. It is shown how a mere discretization of the state space of classical models already entails phenomena similar to hallmarks of quantum chaos, and how the unitary time evolution in a closed system directly implies the ''quantum death'' of classical chaos. As complementary evidence, I discuss quantum chaos under continuous measurement. Here, the two-way exchange of information with a macroscopic apparatus opens an inexhaustible source of entropy and lifts the limitations implied by unitary quantum dynamics in closed systems. The infiltration of fresh entropy restores permanent chaotic dynamics in observed quantum systems. Could other instances of stochasticity in quantum mechanics be interpreted in a similar guise? Where observed quantum systems generate randomness, that is, produce entropy without discernible source, could it have infiltrated from the macroscopic meter? This speculation is worked out for the case of spin measurement.


title: On isogenies among certain abelian surfaces

abstract: We construct a three-parameter family of non-hyperelliptic and bielliptic plane genus-three curves whose associated Prym variety is two-isogenous to the Jacobian variety of a general hyperelliptic genus-two curve. Our construction is based on the existence of special elliptic fibrations with the section on the associated Kummer surfaces that provide a simple geometric interpretation for the rational double cover induced by the two-isogeny between the abelian surfaces.


title: Error Feedback Fixes SignSGD and other Gradient Compression Schemes

abstract: Sign-based algorithms (e.g. signSGD) have been proposed as a biased gradient compression technique to alleviate the communication bottleneck in training large neural networks across multiple workers. We show simple convex counter-examples where signSGD does not converge to the optimum. Further, even when it does converge, signSGD may generalize poorly when compared with SGD. These issues arise because of the biased nature of the sign compression operator. We then show that using error-feedback, i.e. incorporating the error made by the compression operator into the next step, overcomes these issues. We prove that our algorithm EF-SGD with arbitrary compression operator achieves the same rate of convergence as SGD without any additional assumptions. Thus EF-SGD achieves gradient compression for free. Our experiments thoroughly substantiate the theory and show that error-feedback improves both convergence and generalization. Code can be found at \url{https://github.com/epfml/error-feedback-SGD}.


title: A new evaluation framework for topic modeling algorithms based on synthetic corpora

abstract: Topic models are in widespread use in natural language processing and beyond. Here, we propose a new framework for the evaluation of probabilistic topic modeling algorithms based on synthetic corpora containing an unambiguously defined ground truth topic structure. The major innovation of our approach is the ability to quantify the agreement between the planted and inferred topic structures by comparing the assigned topic labels at the level of the tokens. In experiments, our approach yields novel insights about the relative strengths of topic models as corpus characteristics vary, and the first evidence of an "undetectable phase" for topic models when the planted structure is weak. We also establish the practical relevance of the insights gained for synthetic corpora by predicting the performance of topic modeling algorithms in classification tasks in real-world corpora.


title: Activation Adaptation in Neural Networks

abstract: Many neural network architectures rely on the choice of the activation function for each hidden layer. Given the activation function, the neural network is trained over the bias and the weight parameters. The bias catches the center of the activation, and the weights capture the scale. Here we propose to train the network over a shape parameter as well. This view allows each neuron to tune its own activation function and adapt the neuron curvature towards a better prediction. This modification only adds one further equation to the back-propagation for each neuron. Re-formalizing activation functions as CDF generalizes the class of activation function extensively. We aimed at generalizing an extensive class of activation functions to study: i) skewness and ii) smoothness of activation functions. Here we introduce adaptive Gumbel activation function as a bridge between Gumbel and sigmoid. A similar approach is used to invent a smooth version of ReLU. Our comparison with common activation functions suggests different data representation especially in early neural network layers. This adaptation also provides prediction improvement.


title: An Empirically Evaluated Checklist for Surveys in Software Engineering

abstract: Context: Over the past decade Software Engineering research has seen a steady increase in survey-based studies, and there are several guidelines providing support for those willing to carry out surveys. The need for auditing survey research has been raised in the literature. Checklists have been used to assess different types of empirical studies, such as experiments and case studies. Objective: This paper proposes a checklist to support the design and assessment of survey-based research in software engineering grounded in existing guidelines for survey research. We further evaluated the checklist in the research practice context. Method: To construct the checklist, we systematically aggregated knowledge from 14 methodological papers supporting survey-based research in software engineering. We identified the key stages of the survey process and its recommended practices through thematic analysis and vote counting. To improve our initially designed checklist we evaluated it using a mixed evaluation approach involving experienced researchers. Results: The evaluation provided insights regarding limitations of the checklist in relation to its understanding and objectivity. In particular, 19 of the 38 checklist items were improved according to the feedback received from its evaluation. Finally, a discussion on how to use the checklist and what its implications are for research practice is also provided. Conclusion: The proposed checklist is an instrument suitable for auditing survey reports as well as a support tool to guide ongoing research with regard to the survey design process.