title: Properties of Elementary Fermions of the Standard Model deduced from Linear Canonical Transformations

abstract: This paper is a continuation of our works concerning Linear Canonical Transformations (LCT) and Phase Space Representation of Quantum Theory. The purpose is to study the spinorial representation of some particular LCT called Isodispersion LCT (ILCT) and to deduce a relation between them and the elementary fermions of the Standard Model of Particle Physics. After giving the definition of ILCT for the case of a general pseudo-Euclidean space and constructing their spinorial representation, we consider the particular case of a pentadimensional space with signature (1, 4). We then deduce a classification of quarks, leptons and their antiparticles according to the values of electric charge, weak hypercharge, weak isospin and colors after the introduction of appropriate operators defined from the generators of the Clifford Algebra corresponding to the ILCT spinorial representation. It is established that the electric charge is the sum of four terms, the weak hypercharge of five terms and the weak isospin of two terms.Existence of sterile neutrinos is suggested and the possibility of describing a fermions generation with a single field is discussed.


title: Universal behavior of quantum spin liquid and optical conductivity in the insulator herbertsmithite

abstract: We analyze optical conductivity with the goal to demonstrate experimental manifestation of a new state of matter, the so-called fermion condensate. Fermion condensates are realized in quantum spin liquids, exhibiting typical behavior of heavy fermion metals. Measurements of the low-frequency optical conductivity collected on the geometrically frustrated insulator herbertsmithite provide important experimental evidence of the nature of its quantum spin liquid composed of spinons. To analyze recent measurements of the herbertsmithite optical conductivity at different temperatures, we employ a model of strongly correlated quantum spin liquid located near the fermion condensation phase transition. Our theoretical analysis of the optical conductivity allows us to expose the physical mechanism of its temperature dependence. We also predict a dependence of the optical conductivity on a magnetic field. We consider an experimental manifestation (optical conductivity) of a new state of matter (so-called fermion condensate) realized in quantum spin liquids, for, in many ways, they exhibit typical behavior of heavy-fermion metals. Measurements of the low-frequency optical conductivity collected on the geometrically frustrated insulator herbertsmithite produce important experimental evidence of the nature of its quantum spin liquid composed of spinons. To analyze recent measurements of the herbertsmithite optical conductivity at different temperatures, we employ a model of strongly correlated quantum spin liquid located near the fermion condensation phase transition. Our theoretical analysis of the optical conductivity allows us to reveal the physical mechanism of its temperature dependence. We also predict a dependence of the optical conductivity on a magnetic field.


title: A computational proof of locality in entanglement

abstract: In this paper the design and proof of concept (POC) coding of a local hidden variables computer model is presented. The program violates the Clauser, Horne, Shimony and Holt inequality $|$CHSH$|$ $\leq 2$. In our numerical experiment, we find with our local computer program, CHSH $\approx 1 + \sqrt{2}$.


title: On the fractional regularity for degenerate equations with $(p,q)$-growth

abstract: This paper addresses the gain of global fractional regularity in Nikolskii spaces for solutions of a class of quasilinear degenerate equations with $(p,q)$-growth. Indeed, we investigate the effects of the datum on the derivatives of order greater than one of the solutions of the $(p,q)$-Laplacian operator, under Dirichlet's boundary conditions. As it turns out, even in the absence of the so-called Lavrentiev phenomenon and without variations on the order of ellipticity of the equations, the fractional regularity of these solutions ramifies depending on the interplay between the growth parameters $p$, $q$ and the data. Indeed, we are going to exploit the absence of this phenomenon in order to prove the validity up to the boundary of some regularity results, which are known to hold locally, and as well provide new fractional regularity for the associated solutions. In turn, there are obtained certain global regularity results by means of the combination between new a priori estimates and approximations of the differential operators, whereas the nonstandard boundary terms are handled by means of a careful choice for the local frame.


title: FRT presentation of classical Askey-Wilson algebras

abstract: Automorphisms of the infinite dimensional Onsager algebra are introduced. Certain quotients of the Onsager algebra are formulated using a polynomial in these automorphisms. In the simplest case, the quotient coincides with the classical analog of the Askey-Wilson algebra. In the general case, generalizations of the classical Askey-Wilson algebra are obtained. The corresponding class of solutions of the non-standard classical Yang-Baxter algebra are constructed, from which a generating function of elements in the commutative subalgebra is derived. We provide also another presentation of the Onsager algebra and of the classical Askey-Wilson algebras.


title: Poisson structures for difference equations

abstract: We study the existence of log-canonical Poisson structures that are preserved by difference equations of special form. We also study the inverse problem, given a log-canonical Poisson structure to find a difference equation preserving this structure. We give examples of quadratic Poisson structures that arise for the Kadomtsev-Petviashvili (KP) type maps which follow from a travelling-wave reduction of the corresponding integrable partial difference equation.


title: Non-existence of certain type of convex functions on a Riemannian manifold with a pole

abstract: This paper is devoted to the study of non-existence of certain type of convex functions on a Riemannian manifold with a pole. To this end, we have developed the notion of odd and even function on a Riemannian manifold with a pole and proved the non-existence of non-trivial and non-negative differentiable odd convex function whose gradient is complete. Finally, we have deduced some isoperimetric type inequality related with convex function.


title: Efficient solution of symmetric eigenvalue problems from families of coupled systems

abstract: Efficient solution of the lowest eigenmodes is studied for a family of related eigenvalue problems with common $2\times 2$ block structure. It is assumed that the upper diagonal block varies between different versions while the lower diagonal block and the range of the coupling blocks remains unchanged. Such block structure naturally arises when studying the effect of a subsystem to the eigenmodes of the full system. The proposed method is based on interpolation of the resolvent function after some of its singularities have been removed by a spectral projection. Singular value decomposition can be used to further reduce the dimension of the computational problem. Error analysis of the method indicates exponential convergence with respect to the number of interpolation points. Theoretical results are illustrated by two numerical examples related to finite element discretisation of the Laplace operator.


title: Understanding the electromagnetic 4-potential in the tetrad bundle

abstract: Separation of the spin and orbital angular momenta of the electromagnetic field has been discussed frequently in recent years. The spin and orbital angular momenta cannot be made simultaneously gauge invariant and Lorentz covariant and are not conserved separately. After analyzing the source of the problem, we find that the electromagnetic 4-potential depends on the local reference frame instead of the global reference frame. The transformation of the local reference frame is the intrinsic degree of freedom of the electromagnetic field. Therefore, considering only the Lorentz transformation of the global reference frame and neglecting the Lorentz transformation of the local reference frame may lead to the noncovariance of the electromagnetic 4-potential. Accordingly, we redescribe these difficulties of the electromagnetic field from the perspective of quantum field theory. By using the behavior of the electromagnetic 4-potential that satisfies the Coulomb gauge in Lorentz coordinate transformation, we can construct the electromagnetic vector in the tetrad bundle. The various physical quantities that are induced by this electromagnetic vector satisfy Lorentz covariance in the tetrad bundle. This electromagnetic vector, which is projected onto space-time, is an electromagnetic 4-potential that satisfies the Coulomb gauge; thus, the electromagnetic vector is gauge invariant.


title: Magnetic Resonance Spectroscopy Quantification using Deep Learning

abstract: Magnetic resonance spectroscopy (MRS) is an important technique in biomedical research and it has the unique capability to give a non-invasive access to the biochemical content (metabolites) of scanned organs. In the literature, the quantification (the extraction of the potential biomarkers from the MRS signals) involves the resolution of an inverse problem based on a parametric model of the metabolite signal. However, poor signal-to-noise ratio (SNR), presence of the macromolecule signal or high correlation between metabolite spectral patterns can cause high uncertainties for most of the metabolites, which is one of the main reasons that prevents use of MRS in clinical routine. In this paper, quantification of metabolites in MR Spectroscopic imaging using deep learning is proposed. A regression framework based on the Convolutional Neural Networks (CNN) is introduced for an accurate estimation of spectral parameters. The proposed model learns the spectral features from a large-scale simulated data set with different variations of human brain spectra and SNRs. Experimental results demonstrate the accuracy of the proposed method, compared to state of the art standard quantification method (QUEST), on concentration of 20 metabolites and the macromolecule.


title: Equivalent photons in proton-proton and ion-ion collisions at the LHC

abstract: Equivalent photon approximation is used to calculate fiducial cross sections for dimuon production in ultraperipheral proton-proton and lead-lead collisions. Analytical formulae taking into account experimental cuts are derived. The results are compared with the measurements reported by the ATLAS collaboration.


title: PaMpeR: Proof Method Recommendation System for Isabelle/HOL

abstract: Deciding which sub-tool to use for a given proof state requires expertise specific to each ITP. To mitigate this problem, we present PaMpeR, a Proof Method Recommendation system for Isabelle/HOL. Given a proof state, PaMpeR recommends proof methods to discharge the proof goal and provides qualitative explanations as to why it suggests these methods. PaMpeR generates these recommendations based on existing hand-written proof corpora, thus transferring experienced users' expertise to new users. Our evaluation shows that PaMpeR correctly predicts experienced users' proof methods invocation especially when it comes to special purpose proof methods.


title: The Fermilab Test Beam Facility Data Acquisition System Based on otsdaq

abstract: The Real-Time Systems Engineering Department of the Scientific Computing Division at Fermilab has deployed set of customizations to our Off-The-Shelf Data Acquisition solution (otsdaq) at the Fermilab Test Beam Facility (FTBF) to read out the beamline instrumentation in support of FTBF users. In addition to reading out several detectors which use various detection technologies and readout hardware, the FTBF Data Acquisition system (DAQ) can perform basic track reconstruction through the facility in real time and provide data to facility users. An advanced prototype smart coincidence module, known as the NIM+, performs trigger distribution and throttling, allowing the beamline instrumentation to be read out at different rates. Spill data are saved to disk for studies of the facility performance, and hit data are also made available on the FTBF network for experiments' use. A web-based run control and configuration GUI are provided, and the online monitoring snapshots created after each beam spill are viewable from any computer connected to the Fermilab network. The integrated DAQ system for the facility provides users with high-precision tracking data along the beamline and a single location for obtaining data from the facility detectors, which set the baseline for testing their own detectors.


title: NISQ circuit compilation is the travelling salesman problem on a torus

abstract: Noisy, intermediate-scale quantum (NISQ) computers are expected to execute quantum circuits of up to a few hundred qubits. The circuits have to conform to NISQ architectural constraints regarding qubit allocation and the execution of multi-qubit gates. Quantum circuit compilation (QCC) takes a nonconforming circuit and outputs a compatible circuit. Can classical optimisation methods be used for QCC? Compilation is a known combinatorial problem shown to be solvable by two types of operations: 1) qubit allocation, and 2) gate scheduling. We show informally that the two operations form a discrete ring. The search landscape of QCC is a two dimensional discrete torus where vertices represent configurations of how circuit qubits are allocated to NISQ registers. Torus edges are weighted by the cost of scheduling circuit gates. The novelty of our approach uses the fact that a circuit's gate list is circular: compilation can start from any gate as long as all the gates will be processed, and the compiled circuit has the correct gate order. Our work bridges a theoretical and practical gap between classical circuit design automation and the emerging field of quantum circuit optimisation.


title: Complexity growth and shock wave geometry in AdS-Maxwell-power-Yang-Mills theory

abstract: We study effects of non-abelian gauge fields on the holographic characteristics for instance the evolution of computational complexity. To do so we choose Maxwell-power-Yang-Mills theory defined in the AdS space-time. Then we seek the impact of charge of the YM field on the complexity growth rate by using $complexity=action$ (CA) conjecture. We also investigate the spreading of perturbations near the horizon and the complexity growth rate in local shock wave geometry in presence of the YM charge. At last we check validity regime of Lloyd bound.


title: Learning Conditioned Graph Structures for Interpretable Visual Question Answering

abstract: Visual Question answering is a challenging problem requiring a combination of concepts from Computer Vision and Natural Language Processing. Most existing approaches use a two streams strategy, computing image and question features that are consequently merged using a variety of techniques. Nonetheless, very few rely on higher level image representations, which can capture semantic and spatial relationships. In this paper, we propose a novel graph-based approach for Visual Question Answering. Our method combines a graph learner module, which learns a question specific graph representation of the input image, with the recent concept of graph convolutions, aiming to learn image representations that capture question specific interactions. We test our approach on the VQA v2 dataset using a simple baseline architecture enhanced by the proposed graph learner module. We obtain promising results with 66.18% accuracy and demonstrate the interpretability of the proposed method. Code can be found at github.com/aimbrain/vqa-project.


title: vsgoftest: An Package for Goodness-of-Fit Testing Based on Kullback-Leibler Divergence

abstract: The R-package vsgoftest performs goodness-of-fit (GOF) tests, based on Shannon entropy and Kullback-Leibler divergence, developed by Vasicek (1976) and Song (2002), of various classical families of distributions. The theoretical framework of the so-called Vasicek-Song (VS) tests is summarized and followed by a detailed description of the different features of the package. The power and computational time performances of VS tests are studied through their comparison with other GOF tests. Application to real datasets illustrates the easy-to-use functionalities of the vsgoftest package.


title: CAMIRADA: Cancer microRNA association discovery algorithm, a case study on breast cancer

abstract: In recent studies, non-coding protein RNAs have been identified as microRNA that can be used as biomarkers for early diagnosis and treatment of cancer, that decrease mortality in cancer. A microRNA may target hundreds or thousands of genes and a gene may regulate several microRNAs, so determining which microRNA is associated with which cancer is a big challenge. Many computational methods have been performed to detect micoRNAs association with cancer, but more effort is needed with higher accuracy. Increasing research has shown that relationship between microRNAs and TFs play a significant role in the diagnosis of cancer. Therefore, we developed a new computational framework (CAMIRADA) to identify cancer-related microRNA based on the relationship between microRNAs and disease genes (DG) in the protein network, the functional relationships between microRNAs and Transcription Factors (TF) on the co-expression network, and the relationship between microRNAs and the Differential Expression Gene (DEG) on co-expression network. The CAMIRADA was applied to assess breast cancer data from two HMDD and miR2Disease databases. In this study, the AUC for the 65 microRNA of the top of the list was 0.95, which was more accurate than the similar methods used to detect microRNA associated with the cancer artery.


title: Non-singular model universe from a perfect fluid scalar-metric cosmology

abstract: To seek for a singularity free model universe from a perfect fluid scalar-metric cosmology, we work in the "\emph{Emergent Cosmology}" (EC) paradigm which is a non-singular alternative for cosmological inflation. By using two methods including Linear Stability Theory and Effective Potential Formalism, we perform a classical analysis on the possible static solutions (that are called usually as Einstein Static Universes (ESU)in literature) in order to study EC paradigm in a FRW background. Our model contains a kinetic term of the scalar field minimally coupled to the background geometry without a potential term. The matter content of the model consists of a perfect fluid plus a cosmological constant $\Lambda$ as a separate source. In the framework of a local dynamical system analysis, we show that in the absence or presence of $\Lambda$, depending on some adopted values for the free parameters of the underlying cosmological model with flat and non-flat spatial geometries, one gets some static solutions which are viable under classical linear perturbations. By extending our study to a global dynamical system analysis, we show that in the presence of $\Lambda$ with non-flat spatial geometries there is a future global de Sitter attractor in this model. Following the second method, we derive a new static solution that represents a stable ESU but this time without dependence on the free parameters of the cosmological model at hand. As a whole, our analysis suggests the possibility of graceful realization of a non-singular EC paradigm (i.e. leaving the initial static phase and entering the inflation period as the universe is evolving) through either preserving or violation of the strong energy condition.


title: Tensor-Tensor Product Toolbox

abstract: The tensor-tensor product (t-product) [M. E. Kilmer and C. D. Martin, 2011] is a natural generalization of matrix multiplication. Based on t-product, many operations on matrix can be extended to tensor cases, including tensor SVD, tensor spectral norm, tensor nuclear norm [C. Lu, et al., 2018] and many others. The linear algebraic structure of tensors are similar to the matrix cases. We develop a Matlab toolbox to implement several basic operations on tensors based on t-product. The toolbox is available at https://github.com/canyilu/tproduct.


title: Internal characterization of Brezis -- Lieb spaces

abstract: In order to find an extension of Brezis -- Lieb's lemma to the case of nets, we replace the almost everywhere convergence by the unbounded order convergence and introduce the Brezis -- Lieb property in normed lattices. Then we identify a wide class of Banach lattices in which the Brezis -- Lieb lemma holds true. Among other things, it gives an extension of the Brezis -- Lieb lemma for nets in $L^p$ for $p\in [1,\infty)$.


title: Lectures on Entropy. Part I

abstract: These lecture notes concern information-theoretic notions of entropy. They are intended for, and have been successfully taught to, undergraduate students interested inresearch careers. Besides basic notions of analysis related to convergence that are typically taught in the first or second year of undergraduate studies, no other background is needed to read the notes. The notes might be also of interest to any mathematically inclined reader who wishes to learn basic facts about notions of entropy in an elementary setting.


title: Flexible and Scalable Data-Acquisition Using the artdaq Toolkit

abstract: The Real-Time Systems Engineering Department of the Scientific Computing Division at Fermilab is developing a flexible, scalable, and powerful data-acquisition (DAQ) toolkit which serves the needs of experiments from bench-top hardware tests to large high-energy physics experiments. The toolkit provides data transport and event building capabilities with the option for experimenters to inject art analysis code at key points in the DAQ for filtering or monitoring. The toolkit also provides configuration management, run control, and low-level hardware communication utilities. Firmware blocks for several commercial data acquisition boards are provided, allowing experimenters to approach the DAQ from a high level. A fully-functional DAQ "solution" of the toolkit is provided in otsdaq, sacrificing some flexibility in favor of being ready-to-use. artdaq is being used for several current and upcoming experiments, and will continue to be refined and expanded for use in the next generation of neutrino and muon experiments.


title: Decoherence in a quantum neural network

abstract: In this study, we propose a spin-star model for spin-(1/2) particles in order to examine the coherence dynamics of a quantum neural network (QNN) unit. Since quantum computing paradigm promises advantages over their classical counterparts, quantum versions of neural networks can be examined in this context. We focus on quantum coherence as a natural resource for quantum computing and investigate the central spin coherence of a spin star model in the time domain in a dissipative environment. More particularly, we investigate the extend to which the central spin coherence time would be prolonged under specific parameters and spin-coupling Hamiltonians in a Markov environment. We show that Ising-type spin coupling is not desirable since it rapidly diminishes the coherence time in a dissipative environment.


title: Collective conical intersections through light-matter coupling in a cavity

abstract: The ultrafast non-radiative relaxation of a molecular ensemble coupled to a cavity mode is considered theoretically and by real-time quantum dynamics. For equal coupling strength of single molecules to the cavity mode, the non-radiative relaxation rate from the upper to the lower polariton states is found to strongly depend on the number of coupled molecules. For N>2 molecules, the N-1 dark light-matter states between the two optically active polaritons feature true collective conical intersection crossings, whose location depends on the internal atomic coordinates of each molecule in the ensemble, and which contribute to the ultrafast non-radiative decay from the upper polariton. At least N=3 coupled molecules are necessary for cavity-induced collective conical intersections to exist and, for identical molecules, they constitute a special case of the Jahn-Teller effect.


title: On the relation between Sion's minimax theorem and existence of Nash equilibrium in asymmetric multi-players zero-sum game with only one alien

abstract: We consider the relation between Sion's minimax theorem for a continuous function and a Nash equilibrium in an asymmetric multi-players zero-sum game in which only one player is different from other players, and the game is symmetric for the other players. Then, 1. The existence of a Nash equilibrium, which is symmetric for players other than one player, implies Sion's minimax theorem for pairs of this player and one of other players with symmetry for the other players. 2. Sion's minimax theorem for pairs of one player and one of other players with symmetry for the other players implies the existence of a Nash equilibrium which is symmetric for the other players. Thus, they are equivalent.


title: Emergent Open-Endedness from Contagion of the Fittest

abstract: In this paper, we study emergent irreducible information in populations of randomly generated computable systems that are networked and follow a "Susceptible-Infected-Susceptible" contagion model of imitation of the fittest neighbor. We show that there is a lower bound for the stationary prevalence (or average density of "infected" nodes) that triggers an unlimited increase of the expected local emergent algorithmic complexity (or information) of a node as the population size grows. We call this phenomenon expected (local) emergent open-endedness. In addition, we show that static networks with a power-law degree distribution following the Barab\'asi-Albert model satisfy this lower bound and, thus, display expected (local) emergent open-endedness.


title: Analysis of parametric models for coupled systems

abstract: In many instances one has to deal with parametric models. Such models in vector spaces are connected to a linear map. The reproducing kernel Hilbert space and affine- / linear- representations in terms of tensor products are directly related to this linear operator. This linear map leads to a generalised correlation operator, in fact it provides a factorisation of the correlation operator and of the reproducing kernel. The spectral decomposition of the correlation and kernel, as well as the associated Karhunen-Lo\`eve or proper orthogonal decomposition are a direct consequence. This formulation thus unifies many such constructions under a functional analytic view. Recursively applying factorisations in higher order tensor representations leads to hierarchical tensor decompositions. This format also allows refinements for cases when the parametric model has more structure. Examples are shown for vector- and tensor-fields with certain required properties. Another kind of structure is the parametric model of a coupled system. It is shown that this can also be reflected in the theoretical framework.


title: Microwave-to-optical frequency conversion based on the Lamb shift

abstract: We consider the microwave-to-optical frequency conversion based on the Lamb shift, fine structure and forbidden transitions. The theory of such a conversion is developed and the efficiency of the microwave-to-optical frequency conversion is calculated. We show that the ratio of the peak power of the induced optical emission to the power of the incident microwave, for a hydrogen atom, can reach 1000000.


title: On the existence of classical solution to the steady flows of generalized Newtonian fluid with concentration dependent power-law index

abstract: Steady flows of an incompressible homogeneous chemically reacting fluid are described by a coupled system, consisting of the generalized Navier--Stokes equations and convection - diffusion equation with diffusivity dependent on the concentration and the shear rate. Cauchy stress behaves like power-law fluid with the exponent depending on the concentration. We prove the existence of a classical solution for the two dimensional periodic case whenever the power law exponent is above one and less than infinity.


title: COUNTDOWN: a Run-time Library for Performance-Neutral Energy Saving in MPI Applications

abstract: Power and energy consumption is becoming key challenges to deploy the first exascale supercomputer successfully. Large-scale HPC applications waste a significant amount of power in communication and synchronization-related idle times. However, due to the time scale at which communication happens, transitioning in low power states during communication's idle times may introduce unacceptable overhead in applications' execution time. In this paper, we present COUNTDOWN, a runtime library, supported by a methodology and analysis tool for identifying and automatically reducing the power consumption of the computing elements during communication and synchronization. COUNTDOWN saves energy without imposing significant time-to-completion increase by lowering CPUs power consumption only during idle times for which power state transition overhead are negligible. This is done transparently to the user, without requiring labor-intensive and error-prone application code modifications, nor requiring recompilation of the application. We test our methodology in a production Tier-0 system. For the NAS benchmarks, COUNTDOWN saves between 6% and 50% energy, with a time-to-solution penalty lower than 5%. In a complete production --- Quantum ESPRESSO --- for a 3.5K cores run, COUNTDOWN saves 22.36% energy, with a performance penalty below 3%. Energy saving increases to 37% with a performance penalty of 6.38%, if the application is executed without communication tuning.


title: Learning Equations for Extrapolation and Control

abstract: We present an approach to identify concise equations from data using a shallow neural network approach. In contrast to ordinary black-box regression, this approach allows understanding functional relations and generalizing them from observed data to unseen parts of the parameter space. We show how to extend the class of learnable equations for a recently proposed equation learning network to include divisions, and we improve the learning and model selection strategy to be useful for challenging real-world data. For systems governed by analytical expressions, our method can in many cases identify the true underlying equation and extrapolate to unseen domains. We demonstrate its effectiveness by experiments on a cart-pendulum system, where only 2 random rollouts are required to learn the forward dynamics and successfully achieve the swing-up task.


title: The graphs with all but two eigenvalues equal to $2$ or $-1$

abstract: In this paper, all graphs whose adjacency matrix has at most two eigenvalues (multiplicities included) different from $2$ and $-1$ are determined. These graphs conclude a class of generalized friendship graphs $F_{t,r,k}, $ which is the graph of $k$ copies of the complete graph $K_t$ meeting in common $r$ vertices such that $t-r=3.$ Which of these graphs are determined by its spectrum is are also obtained.


title: The tensor t-function: a definition for functions of third-order tensors

abstract: A definition for functions of multidimensional arrays is presented. The definition is valid for third-order tensors in the tensor t-product formalism, which regards third-order tensors as block circulant matrices. The tensor function definition is shown to have similar properties as standard matrix function definitions in fundamental scenarios. To demonstrate the definition's potential in applications, the notion of network communicability is generalized to third-order tensors and computed for a small-scale example via block Krylov subspace methods for matrix functions. A complexity analysis for these methods in the context of tensors is also provided.


title: On the co-orbital motion in the three-body problem: existence of quasi-periodic horseshoe-shaped orbits

abstract: Janus and Epimetheus are two moons of Saturn with very peculiar motions. As they orbit around Saturn on quasi-coplanar and quasi-circular trajectories whose radii are only 50 km apart (less than their respective diameters), every four (terrestrial) years the bodies approach each other and their mutual gravitational influence lead to a swapping of the orbits: the outer moon becomes the inner one and vice-versa. This behavior generates horseshoe-shaped trajectories depicted in an appropriate rotating frame. In spite of analytical theories and numerical investigations developed to describe their long-term dynamics, so far very few rigorous long-time stability results on the "horseshoe motion" have been obtained even in the restricted three-body problem. Adapting the idea of Arnol'd (1963) to a resonant case (the co-orbital motion is associated with trajectories in 1:1 mean motion resonance), we provide a rigorous proof of existence of 2-dimensional elliptic invariant tori on which the trajectories are similar to those followed by Janus and Epimetheus. For this purpose, we apply KAM theory to the planar three-body problem.


title: The composition of singular integral operators with nonsmooth kernels

abstract: Let $T_1$, $T_2$ be two singular integral operators with nonsmooth kernels introduced by Duong and McIntosh. In this paper, by establishing certain bi-sublinear sparse domination, the authors obtain some quantitative bounds on $L^p(\mathbb{R}^n,\,w)$ with $p\in(1,\,\infty)$ and $w\in A_p(\mathbb{R}^n)$ for the composite operator $T_1T_2$. Some weighted weak type endpoint estimates are also given.


title: High-dimensional neutrino masses

abstract: For Majorana neutrino masses the lowest dimensional operator possible is the Weinberg operator at $d=5$. Here we discuss the possibility that neutrino masses originate from higher dimensional operators. Specifically, we consider all tree-level decompositions of the $d=9$, $d=11$ and $d=13$ neutrino mass operators. With renormalizable interactions only, we find 18 topologies and 66 diagrams for $d=9$, and 92 topologies plus 504 diagrams at the $d=11$ level. At $d=13$ there are already 576 topologies and 4199 diagrams. However, among all these there are only very few genuine neutrino mass models: At $d=(9,11,13)$ we find only (2,2,2) genuine diagrams and a total of (2,2,6) models. Here, a model is considered genuine at level $d$ if it automatically forbids lower order neutrino masses {\em without} the use of additional symmetries. We also briefly discuss how neutrino masses and angles can be easily fitted in these high-dimensional models.


title: Spectral curves for hypergeometric Hurwitz numbers

abstract: We consider multi-matrix models that are generating functions for the numbers of branched covers of the complex projective line ramified over $n$ fixed points $z_i$, $i=1,\dots,n$, (generalized Grotendieck's dessins d'enfants) of fixed genus, degree, and the ramification profiles at two points, $z_1$ and $z_n$. Ramifications at other $n-2$ points enter the sum with the length of the profile at $z_2$ and with the total length of profiles at the remaining $n-3$ points. We find the spectral curve of the model for $n=5$ using the loop equation technique for the above generating function represented as a chain of Hermitian matrices with a nearest-neighbor interaction of the type tr$M_iM_{i+1}^{-1}$. The obtained spectral curve is algebraic and provides all necessary ingredients for the topological recursion procedure producing all-genus terms of the asymptotic expansion of our model in $1/N^2$. We discuss braid-group symmetries of our model and perspectives of the proposed method.


title: Controlling distilleries in fault-tolerant quantum circuits: problem statement and analysis towards a solution

abstract: The failure susceptibility of the quantum hardware will force quantum computers to execute fault-tolerant quantum circuits. These circuits are based on quantum error correcting codes, and there is increasing evidence that one of the most practical choices is the surface code. Design methodologies of surface code based quantum circuits were focused on the layout of such circuits without emphasizing the reduced availability of hardware and its effect on the execution time. Circuit layout has not been investigated for practical scenarios, and the problem presented herein was neglected until now. For achieving fault-tolerance and implementing surface code based computations, a significant amount of computing resources (hardware and time) are necessary for preparing special quantum states in a procedure called distillation. This work introduces the problem of how distilleries (circuit portions responsible for state distillation) influence the layout of surface code protected quantum circuits, and analyses the trade-offs for reducing the resources necessary for executing the circuits. A first algorithmic solution is presented, implemented and evaluated for addition quantum circuits.


title: Neutron stars formation and Core Collapse Supernovae

abstract: In the last decade there has been a remarkable increase in our knowledge about core-collapse supernovae (CC-SNe), and the birthplace of neutron stars, from both the observational and the theoretical point of view. Since the 1930's, with the first systematic supernova search, the techniques for discovering and studying extragalactic SNe have improved. Many SNe have been observed, and some of them, have been followed through efficiently and with detail. Furthermore, there has been a significant progress in the theoretical modelling of the scenario, boosted by the arrival of new generations of supercomputers that have allowed to perform multidimensional numerical simulations with unprecedented detail and realism. The joint work of observational and theoretical studies of individual SNe over the whole range of the electromagnetic spectrum has allowed to derive physical parameters, which constrain the nature of the progenitor, and the composition and structure of the star's envelope at the time of the explosion. The observed properties of a CC-SN are an imprint of the physical parameters of the explosion such as mass of the ejecta, kinetic energy of the explosion, the mass loss rate, or the structure of the star before the explosion. In this chapter, we review the current status of SNe observations and theoretical modelling, the connection with their progenitor stars, and the properties of the neutron stars left behind.


title: Beyond Local Nash Equilibria for Adversarial Networks

abstract: Save for some special cases, current training methods for Generative Adversarial Networks (GANs) are at best guaranteed to converge to a `local Nash equilibrium` (LNE). Such LNEs, however, can be arbitrarily far from an actual Nash equilibrium (NE), which implies that there are no guarantees on the quality of the found generator or classifier. This paper proposes to model GANs explicitly as finite games in mixed strategies, thereby ensuring that every LNE is an NE. With this formulation, we propose a solution method that is proven to monotonically converge to a resource-bounded Nash equilibrium (RB-NE): by increasing computational resources we can find better solutions. We empirically demonstrate that our method is less prone to typical GAN problems such as mode collapse, and produces solutions that are less exploitable than those produced by GANs and MGANs, and closely resemble theoretical predictions about NEs.


title: Collapse to the Center and Ambiguity in the Asymptotic Behavior of the Off-Shell Scattering Amplitude in Singular Three-Body Problems

abstract: We discuss some examples of equations of the three-body problem with the oscillating asymptotics at large momentum: (i) the fixed-center approximation, (ii) the unitarized equation in the fixed-center approximation, (iii) Skornyakov--Ter-Martirosyan equation, and (iv) equations with operators used in the effective field theory, i.e., which can be expanded in power-series with positive powers of momentum. We show that in the aforementioned three-body problems the situation analogous to the falling down to the center in the two-body problem takes place -- there appears an infinite number of bound states. The energy of these states is not bounded from below. In that sense the situation is close to the falling down to the center in the two-body problem.


title: Revealing the Galactic Population of BHs

abstract: We discuss the case for using the Next Generation Very Large Array both to discover new black hole X-ray binaries astrometrically, and to characterize them. We anticipate that the ngVLA will be able to find $\sim$100 new black hole X-ray binaries, as well as a host of other interesting radio stars, in a few hundred hour survey. Parallax and astrometric wobble measurements will be achievable in feasible follow-up surveys especially using long baseline capabilities. The ngVLA's high angular resolution, high survey speed, and high frequency sensitivity give it a unique range of parameter space over which it is sensitive.


title: Age-Minimal Transmission for Energy Harvesting Sensors with Finite Batteries: Online Policies

abstract: An energy-harvesting sensor node that is sending status updates to a destination is considered. The sensor is equipped with a battery of finite size to save its incoming energy, and consumes one unit of energy per status update transmission, which is delivered to the destination instantly over an error-free channel. The setting is online in which the harvested energy is revealed to the sensor causally over time, and the goal is to design status update transmission policy such that the long term average age of information (AoI) is minimized. AoI is defined as the time elapsed since the latest update has reached at the destination. Two energy arrival models are considered: a random battery recharge (RBR) model, and an incremental battery recharge (IBR) model. In both models, energy arrives according to a Poisson process with unit rate, with values that completely fill up the battery in the RBR model, and with values that fill up the battery incrementally, unit-by-unit, in the IBR model. The key approach to characterizing the optimal status update policy for both models is showing the optimality of renewal policies, in which the inter-update times follow a specific renewal process that depends on the energy arrival model and the battery size. It is then shown that the optimal renewal policy has an energy-dependent threshold structure, in which the sensor sends a status update only if the AoI grows above a certain threshold that depends on the energy available. For both the RBR and the IBR models, the optimal energy-dependent thresholds are characterized explicitly, i.e., in closed-form, in terms of the optimal long term average AoI. It is also shown that the optimal thresholds are monotonically decreasing in the energy available in the battery, and that the smallest threshold, which comes in effect when the battery is full, is equal to the optimal long term average AoI.


title: Unsupervised Deep Multi-focus Image Fusion

abstract: Convolutional neural networks have recently been used for multi-focus image fusion. However, due to the lack of labeled data for supervised training of such networks, existing methods have resorted to adding Gaussian blur in focused images to simulate defocus and generate synthetic training data with ground-truth for supervised learning. Moreover, they classify pixels as focused or defocused and leverage the results to construct the fusion weight maps which then necessitates a series of post-processing steps. In this paper, we present unsupervised end-to-end learning for directly predicting the fully focused output image from multi-focus input image pairs. The proposed approach uses a novel CNN architecture trained to perform fusion without the need for ground truth fused images and exploits the image structural similarity (SSIM) to calculate the loss; a metric that is widely accepted for fused image quality evaluation. Consequently, we are able to utilize {\em real} benchmark datasets, instead of simulated ones, to train our network. The model is a feed-forward, fully convolutional neural network that can process images of variable sizes during test time. Extensive evaluations on benchmark datasets show that our method outperforms existing state-of-the-art in terms of visual quality and objective evaluations.


title: Complexity Growth in Flat Spacetimes

abstract: We use the complexity equals action proposal to calculate the rate of complexity growth for field theories that are the holographic duals of asymptotically flat spacetimes. To this aim, we evaluate the on-shell action of asymptotically flat spacetime on the Wheeler-DeWitt patch. This results in the same expression as can be found by taking the flat-space limit from the corresponding formula related to the asymptotically AdS spacetimes. For the bulk dimensions that are greater than three, the rate of complexity growth at late times approaches from above to Lloyd's bound. However, for the three-dimensional bulks, this rate is a constant and differs from Lloyd's bound by a logarithmic term.


title: Efficient data augmentation for multivariate probit models with panel data: An application to general practitioner decision-making about contraceptives

abstract: This article considers the problem of estimating a multivariate probit model in a panel data setting with emphasis on sampling a high-dimensional correlation matrix and improving the overall efficiency of the data augmentation approach. We reparameterise the correlation matrix in a principled way and then carry out efficient Bayesian inference using Hamiltonian Monte Carlo. We also propose a novel antithetic variable method to generate samples from the posterior distribution of the random effects and regression coefficients, resulting in significant gains in efficiency. We apply the methodology by analysing stated preference data obtained from Australian general practitioners evaluating alternative contraceptive products. Our analysis suggests that the joint probability of discussing combinations of contraceptive products with a patient shows medical practice variation among the general practitioners, which indicates some resistance to even discuss these products, let alone recommend them.


title: Upward confluence in the interaction calculus

abstract: The lambda calculus is not upward confluent, one of counterexamples known thanks to Plotkin. This paper investigates upward confluence in the interaction calculus. Can an interaction system have this property? We positively answer this question and also provide a necessary and sufficient condition for stronger one-step upward confluence which happens to be very restrictive. However, the provided condition is not necessary for upward confluence as we prove that the interaction system of the linear lambda calculus is upward confluent.


title: Inner bounds via simultaneous decoding in quantum network information theory

abstract: We prove new inner bounds for several multiterminal channels with classical inputs and quantum outputs. Our inner bounds are all proved in the one-shot setting, and are natural analogues of the best classical inner bounds for the respective channels. For some of these channels, similar quantum inner bounds were unknown even in the asymptotic iid setting. We prove our inner bounds by appealing to a new classical-quantum joint typicality lemma proved in a companion paper ("A one-shot quantum joint typicality lemma", Pranab Sen, arXiv:1806.07278). This lemma allows us to lift to the quantum setting many inner bound proofs for classical multiterminal channels that use intersections and unions of typical sets.


title: Some Consequences of the Phase Space Choice

abstract: In the literature, for semidynamical systems in infinite dimensional phase spaces, different topological structures are used (Hilbert, Banach, Sobolev, locally convex, Hausdorf topology etc.). That is because there are neither set rules nor understanding of the "right way" to choose the phase space and its topology starting from a system of partial differential equations. The goal of this paper is to reveal the influence of the choice of the phase space and its topology as concern the results obtained for the semidynamical system defined by the same system of partial differential equations. In the paper the linear 3D Euler equations are considered which are obtained by linearizing the non linear 3D Euler equations at a constant solution. The well posedness of the instantaneous perturbation propagation problem, that of the permanent source produced time harmonic perturbation propagation problem as well the stability of the null solution are analyzed in three different phase spaces. The idea is to derive explicit solutions for the linear 3D Euler equations, to build up different phase spaces by using explicit solutions and analyze the well-posedness as well the stability of the null solution. The obtained results present significant differences and some of them are surprising. For instance, in one phase space the stability of the null solution coexists with solutions having strictly positive exponential growth rate, but in other one the propagation problem is ill posed. This aspect is extremely important from the point of view of a real phenomenon modeled by the linear 3D Euler equations.


title: Unions, intersections and a one-shot quantum joint typicality lemma

abstract: A fundamental tool to prove inner bounds in classical network information theory is the so-called conditional joint typicality lemma. In addition to the lemma, one often uses unions and intersections of typical sets in the inner bound arguments without so much as giving them a second thought. These arguments do not work in the quantum setting. This bottleneck shows up in the fact that so-called simultaneous decoders, as opposed to successive cancellation decoders, are known for very few channels in quantum network information theory. Another manifestation of this bottleneck is the lack of so-called simultaneous smoothing theorems for quantum states. In this paper, we overcome the bottleneck by proving for the first time a one-shot quantum joint typicality lemma with robust union and intersection properties. To do so, we develop two novel tools in quantum information theory which may be of independent interest. The first tool is a simple geometric idea called tilting, which increases the angles between a family of subspaces in orthogonal directions. The second tool, called smoothing and augmentation, is a way of perturbing a multipartite quantum state such that the partial trace over any subset of registers does not increase the operator norm by much. Our joint typicality lemma allows us to construct simultaneous quantum decoders for many multiterminal quantum channels. It provides a powerful tool to extend many results in classical network information theory to the one-shot quantum setting.


title: Sliding along the Eddington Limit -- Heavy-Weight Central Stars of Planetary Nebulae

abstract: Due to thermal pulses, asymptotic giant branch (AGB) stars experience periods of convective mixing that provide ideal conditions for slow neutron-capture nucleosynthesis. These processes are affected by large uncertainties and are still not fully understood. By the lucky coincidence that about a quarter of all post-AGB stars turn hydrogen-deficient in a final flash of the helium-burning shell, they display nuclear processed material at the surface providing an unique insight to nucleosynthesis and mixing. We present results of non-local thermodynamic equilibrium spectral analyses of the extremely hot, hydrogen-deficient, PG 1159-type central stars of the Skull Nebula NGC 246 and the "Galactic Soccerballs" Abell 43 and NGC 7094.


title: Relativistic $GW$+BSE study of the optical properties of Ruddlesden-Popper iridates

abstract: We study the optical properties of the Ruddlesden-Popper series of iridates Sr$_{n+1}$Ir$_n$O$_{3n+1}$ ($n$=1, 2 and $\infty$) by solving the Bethe-Salpeter equation (BSE), where the quasiparticle (QP) energies and screened interactions $W$ are obtained by the $GW$ approximation including spin-orbit coupling. The computed optical conductivity spectra show strong excitonic effects and reproduce very well the experimentally observed double-peak structure, in particular for the spin-orbital Mott insulators Sr$_2$IrO$_4$ and Sr$_3$Ir$_2$O$_7$. However, $GW$ does not account well for the correlated metallic state of SrIrO$_3$ owing to a much too small band renormalization, and this affects the overall quality of the optical conductivity. Our analysis describes well the progressive redshift of the main optical peaks as a function of dimensionality ($n$), which is correlated with the gradual decrease of the electronic correlation (quantified by the constrained random phase approximation) towards the metallic $n=\infty$ limit. We have also assessed the quality of a computationally cheaper BSE approach that is based on a model dielectric function and conducted on top of DFT+$U$ one-electron energies. Unfortunately, this model BSE approach does not accurately reproduce the outcome of the full $GW$+BSE method and leads to larger deviations to the measured spectra.


title: The chemistry of phosphorus-bearing molecules under energetic phenomena

abstract: For decades, the detection of phosphorus-bearing molecules in the interstellar medium was restricted to high-mass star-forming regions (as e.g. SgrB2 and Orion KL) and the circumstellar envelopes of evolved stars. However, recent higher-sensitivity observations have revealed that molecules such as PN and PO are present not only toward cold massive cores and low-mass star-forming regions with PO/PN ratios >1, but also toward the Giant Molecular Clouds in the Galactic Center known to be exposed to highly energetic phenomena such as intense UV radiation fields, shock waves and cosmic rays. In this paper, we carry out a comprehensive study of the chemistry of phosphorus-bearing molecules across different astrophysical environments which cover a range of physical conditions (cold molecular dark clouds, warm clouds, hot cores/hot corinos) and are exposed to different physical processes and energetic phenomena (proto-stellar heating, shock waves, intense UV radiation and cosmic rays). We show how the measured PO/PN ratio (either >1 as in e.g. hot molecular cores, or <1 as in UV strongly illuminated environments) can provide constraints on the physical conditions and energetic processing of the source. We propose that the reaction P + OH --> PO + H, not included in previous works, could be an efficient gas-phase PO formation route in shocks. Our modelling provides a template with which to study the detectability of P-bearing species not only in regions in our own Galaxy but also in extragalactic sources.


title: Fermion masses, mass-mixing and the almost commutative geometry of the Standard Model

abstract: We investigate whether the Standard Model, within the accuracy of current experimental measurements, satisfies the Hodge duality condition introduced and studied in Dabrowski, D'Andrea, Sitarz, Lett Math Phys (2018) 108:1323. We show that the neutrino and quark mass-mixing and the difference of fermion masses is necessary for this property. We demonstrate that the current data supports the new geometric feature of the Standard Model, Hodge duality, provided that all neutrinos are massive.


title: Profile of a Galactic Spherical Cloud of Self-Gravitating Fermions

abstract: The field which binds a thermal fermionic cloud is defined as a Hartree integral upon its density. In turn, the density results from the field via a Thomas-Fermi occupation of the local phase space. This defines a complete theory of all properties and observables for the cloud. As an application to dark matter halos, comparisons with astronomic data on dwarf spheroidal galaxies are provided and discussed. Estimates of the elementary fermion mass are obtained, serving as a phase-space bound on fermionic dark matter.


title: A new approach for a safe car assistance system

abstract: Drowsiness, which is the state when drivers do not have scheduled breaks while traveling long distances, is the main reason behind serious motorway accidents. Accordingly, experts claim that drowsy state is hard to be recognized early enough to prevent serious accidents that may lead even to road deaths. In this work, we propose a new drowsiness state detection system based on physiological signals and eye blinking. An experiment has been directed to justify the utility of the proposed approach. This system uses a smart video camera that takes drivers faces images and supervises the eye blink (open and close); also, it uses the Emotiv EPOC headset to acquire the electroencephalogram (EEG) signals. Eye detection is done by Viola and Jones technique, EEG. Finally, we have chosen the fuzzy logic techniques to classify the EEG signals and eye blinking detection to analyze the results.


title: A Note on Tsallis Holographic Dark Energy

abstract: We explore the effects of considering various infrared (IR) cutoffs, including the particle horizon, Ricci horizon and Granda-Oliveros (GO) cutoffs, on the properties of Tsallis holographic dark energy (THDE) model, proposed inspired by Tsallis generalized entropy formalism \cite{THDE}. Interestingly enough, we find that for the particle horizon as IR cutoff, the obtained THDE model can describe the accelerated universe. This is in contrast to the usual HDE model which cannot lead to an accelerated universe, if one consider the particle horizon as IR cutoff. We also investigate the cosmological consequences of THDE under the assumption of a mutual interaction between the dark sectors of the Universe. It is shown that the evolution history of the Universe can be described by these IR cutoffs and thus the current cosmic acceleration can also been realized. The sound instability of THDE models for each cutoff are also explored, separately.


title: Drowsy Driver Detection by EEG Analysis Using Fast Fourier Transform

abstract: In this paper, we try to analyze drowsiness which is a major factor in many traffic accidents due to the clear decline in the attention and recognition of danger drivers. The object of this work is to develop an automatic method to evaluate the drowsiness stage by analysis of EEG signals records. The absolute band power of the EEG signal was computed by taking the Fast Fourier Transform (FFT) of the time series signal. Finally, the algorithm developed in this work has been improved on eight samples from the Physionet sleep-EDF database.


title: Alternating Phase Focusing for Dielectric Laser Acceleration

abstract: The concept of Dielectric Laser Acceleration (DLA) provides highest gradients among non-plasma particle accelerators. However, stable beam transport and staging have not been shown experimentally yet. We present a scheme that confines the beam longitudinally and in one transverse direction. Confinement in the other direction is obtained by a single conventional quadrupole magnet. Within the small aperture of 420 nm we find the matched distributions, which allow an optimized injection into pure transport, bunching, and accelerating structures. The combination of these resembles the photonics analogue of the Radio Frequency Quadrupole (RFQ), but since our setup is entirely twodimensional, it can be manufactured on a microchip by lithographic techniques. This is a crucial step towards relativistic electrons in the MeV range from low-cost, handheld devices.


title: 2D force constraints in the method of regularized Stokeslets

abstract: For many biological systems that involve elastic structures immersed in fluid, small length scales mean that inertial effects are also small, and the fluid obeys the Stokes equations. One way to solve the model equations representing such systems is through the Stokeslet, the fundamental solution to the Stokes equations, and its regularized counterpart, which treats the singularity of the velocity at points where force is applied. In two dimensions, an additional complication arises from Stokes' paradox, whereby the velocity from the Stokeslet is unbounded at infinity when the net hydrodynamic force within the domain is nonzero, invalidating the solutions. A straightforward computationally inexpensive method is presented for obtaining valid solutions to the Stokes equations for net nonzero forcing. The approach is based on imposing a mean zero velocity condition on a large curve that surrounds the domain of interest. The condition is shown to be equivalent to a net-zero force condition, where the opposite forces are applied on the large curve. The numerical method is applied to models of cellular motility and blebbing.


title: Naturalness, Extra-Empirical Theory Assessments, and the Implications of Skepticism

abstract: Naturalness is an extra-empirical quality that aims to assess plausibility of a theory. Finetuning measures are often deputized to quantify the task. However, knowing statistical distributions on parameters appears necessary. Such meta-theories are not known yet. A critical discussion of these issues is presented, including their possible resolutions in fixed points. Both agreement to and skepticism of naturalness's utility remains credible, as is skepticism to any extra-empirical theory assessment (SEETA) that claims to identify "more correct" theories that are equally empirically adequate. The severe implications of SEETA are set forward in some detail. We conclude with a summary and discussion of the viability of three main viewpoints toward naturalness and fine-tuning, where the "moderate naturalness position" is suggested to be most appealing, not suffering from the disquietudes of the extreme pro- and anti-naturalness positions.


title: On pathwise quadratic variation for cadlag functions

abstract: We revisit H. Foellmer's concept of quadratic variation of a cadlag function along a sequence of time partitions and discuss its relation with the Skorokhod topology. We show that in order to obtain a robust notion of pathwise quadratic variation applicable to sample paths of cadlag processes, one must reformulate the definition of pathwise quadratic variation as a limit in Skorokhod topology of discrete approximations along the partition. One then obtains a simpler definition of quadratic variation which implies the Lebesgue decomposition as a result, rather than requiring it as an extra condition.


title: Authentication as a service: Shamir Secret Sharing with byzantine components

abstract: We present a practical methodology for securing the password-based authentication scheme. We propose a solution based on the well-known (k,n) threshold scheme of Shamir for sharing a secret, where in our case the secret is the password itself and (k,n) threshold scheme means that n password-derived secrets (shares) are created and k less than n shares are necessary and sufficient for reconstructing the password, while k-1 are not sufficient. The scheme is information-theoretic secure. Since each of the n shares is stored on a different host (shareholder), an attacker will need to compromise k different shareholders for obtaining an amount of data sufficient for reconstructing the secret. Furthermore, in order to be resistant to the compromising of the server (dealer) coordinating the shareholders we define a variant of the classic Shamir, where the Shamir's abscissae are unknown to dealer and shareholders, making the reconstruction impossible even in the case of dealer and shareholders compromised. In addition we use the Pedersen technique for allowing the verification of shares. For the described scenario we have designed two protocols: the registration (user's sign-up, to be carried out once), and authentication (user's login). We analyse several scenarios where dealer and/or shareholders are partially/totally compromised and confirm that none of them is enabling the attacker to break the authentication. Furthermore we focus on cases where one or more byzantine servers are presented, analysing the impact on the framework and show the adopted mechanisms to be safe against these kinds of attacks. We have developed a prototype demonstrating that our framework works correctly, effectively and efficiently. It provides a first feasibility study that will provide a base for structured and engineered cloud-based implementations aiming at providing an authentication-as-a-service.


title: G-BAM: A Generalized Bandwidth Allocation Model for IP/MPLS/DS-TE Networks

abstract: Bandwidth Allocation Models (BAMs) configure and handle resource allocation (bandwidth, LSPs, fiber) in networks in general (IP/MPLS/DS-TE, optical domain, other). BAMs currently available for IP/MPLS/DS-TE networks (MAM, RDM, G-RDM and AllocTC-Sharing) basically define resource restrictions (bandwidth) by class (traffic class, application class, user class or other grouping criteria) and allocate on demand this resource. There is a BAM allocation policy inherent for each existing model which behaves differently under distinct network state, such as heavy traffic loads and dynamic traffic and/or application scenarios. A generalized Bandwidth Allocation Model (G-BAM) is proposed in this paper. G-BAM, firstly, incorporates the inherent behavior of currently used BAMs such as MAM, RDM, G-RDM and AllocTC-Sharing in IP/MPLS/DS-TE context. G-BAM, secondly, proposes a new policy/ behavior allocation in addition to existing ones in which additional private resources are incorporated. G-BAM, thirdly, allows a smoother BAM policy transition among existing policy alternatives resulting from MAM, RDM and AllocTC-Sharing adoption independently. The paper focuses on the first characteristics of G-BAM which is to reproduce MAM, RDM and AllocTC-Sharing behaviors. As such, the required configuration to achieve MAM, RDM and AllocTC-Sharing behaviors is presented followed by a proof of concept. Authors argue that the G-BAM reproducibility characteristics may improve overall network resource utilization under distinct traffic profiles.


title: A novel investigation of the small-scale magnetic activity of the quiet Sun via the Hanle effect in the Sr I 4607 \AA\ line

abstract: One of the key research problems in stellar physics is to decipher the small-scale magnetic activity of the quiet solar atmosphere. Recent magneto-convection simulations that account for small-scale dynamo action have provided three-dimensional (3D) models of the solar photosphere characterized by a high degree of small-scale magnetic activity, similar to that found through theoretical interpretation of the scattering polarization observed in the Sr I 4607 \AA\ line. Here we present the results of a novel investigation of the Hanle effect in this resonance line, based on 3D radiative transfer calculations in a high-resolution magneto-convection model having most of the convection zone magnetized close to the equipartition and a surface mean field strength ${\langle B \rangle}{\approx}170$ G. The Hanle effect produced by the model's magnetic field depolarizes the zero-field scattering polarization signals significantly, to the extent that the center-to-limb variation of the calculated spatially-averaged polarization amplitudes is compatible with the observations. The standard deviation of the horizontal fluctuations of the calculated scattering polarization signals is very sensitive to the model's magnetic field and we find that the predicted spatial variations are sufficiently sizable so as to be able to detect them, especially with the next generation of solar telescopes. We find that at all on-disk positions the theoretical scattering polarization signals are anti-correlated with the continuum intensity. To facilitate reaching new observational breakthroughs, we show how the theoretically predicted polarization signals and spatial variations are modified when deteriorating the signal-to-noise ratio and the spectral and spatial resolutions of the simulated observations.


title: Proximal Splitting Meets Variance Reduction

abstract: Despite the rise to fame of incremental variance-reduced methods in recent years, their use in nonsmooth optimization is still limited to few simple cases. This is due to the fact that existing methods require to evaluate the proximity operator for the nonsmooth terms, which can be a costly operation for complex penalties. In this work we introduce two variance-reduced incremental methods based on SAGA and SVRG that can efficiently take into account complex penalties which can be expressed as a sum of proximal terms. This includes penalties such as total variation, group lasso with overlap and trend filtering, to name a few. Furthermore, we also develop sparse variants of the proposed algorithms which can take advantage of sparsity in the input data. Like other incremental methods, it only requires to evaluate the gradient of a single sample per iteration, and so is ideally suited for large scale applications. We provide a convergence rate analysis for the proposed methods and show that they converge with a fixed step-size, achieving in some cases the same asymptotic rate as their full gradient variants. Empirical benchmarks on 3 different datasets illustrate the practical advantages of the proposed methods.


title: Dynamical Systems Perspective of Cosmological Finite-time Singularities in $f(R)$ Gravity and Interacting Multifluid Cosmology

abstract: In this work we shall investigate the occurrence of future cosmological finite-time singularities in the dynamical system corresponding to two cosmological theories, namely that of vacuum $f(R)$ gravity and that of three fluids. The vacuum $f(R)$ gravity is an example for which the variables we will choose to quantify the phase space dynamics, do not necessarily blow-up near a cosmological singularity. After appropriately choosing the variables, we shall investigate the behavior of the corresponding dynamical system near some types of cosmological finite-time singularities, for some limiting cases in which we can produce analytic solutions for the dynamical variables. The most interesting case from both a mathematical and physical point of view, is the Big Rip case, and particularly in the limiting case of a very strong singularity. The physically appealing outcome is that the resulting non-autonomous dynamical system is attracted asymptotically to an accelerating attractor solution, with equation of state parameter $w_{eff}=-1$. Our analytic results, show that an extremely strong Big Rip singularity in vacuum $f(R)$ gravity theories is always related to an accelerating solution, or tends to acceleration. The converse statement though may not be true. The second cosmology we shall study is a multifluid cosmology, consisting of three fluids, the interacting dark matter and dark energy fluids, and the baryonic fluid. By appropriately choosing the variables, we will show that the dynamical system can become an autonomous polynomial dynamical system, in which case, by using a dominant balance analysis, we shall investigate the occurrence of finite-time singularities in this system.


title: End-to-End Neural Ranking for eCommerce Product Search: an application of task models and textual embeddings

abstract: We consider the problem of retrieving and ranking items in an eCommerce catalog, often called SKUs, in order of relevance to a user-issued query. The input data for the ranking are the texts of the queries and textual fields of the SKUs indexed in the catalog. We review the ways in which this problem both resembles and differs from the problems of IR in the context of web search. The differences between the product-search problem and the IR problem of web search necessitate a different approach in terms of both models and datasets. We first review the recent state-of-the-art models for web search IR, distinguishing between two distinct types of model which we call the distributed type and the local-interaction type. The different types of relevance models developed for IR have complementary advantages and disadvantages when applied to eCommerce product search. Further, we explain why the conventional methods for dataset construction employed in the IR literature fail to produce data which suffices for training or evaluation of models for eCommerce product search. We explain how our own approach, applying task modeling techniques to the click-through logs of an eCommerce site, enables the construction of a large-scale dataset for training and robust benchmarking of relevance models. Our experiments consist of applying several of the models from the IR literature to our own dataset. Empirically, we have established that, when applied to our dataset, certain models of local-interaction type reduce ranking errors by one-third compared to the baseline tf-idf. Applied to our dataset, the distributed models fail to outperform the baseline. As a basis for a deployed system, the distributed models have several advantages, computationally, over the local-interaction models. This motivates an ongoing program of work, which we outline at the conclusion of the paper.


title: Canonical Tensor Decomposition for Knowledge Base Completion

abstract: The problem of Knowledge Base Completion can be framed as a 3rd-order binary tensor completion problem. In this light, the Canonical Tensor Decomposition (CP) (Hitchcock, 1927) seems like a natural solution; however, current implementations of CP on standard Knowledge Base Completion benchmarks are lagging behind their competitors. In this work, we attempt to understand the limits of CP for knowledge base completion. First, we motivate and test a novel regularizer, based on tensor nuclear $p$-norms. Then, we present a reformulation of the problem that makes it invariant to arbitrary choices in the inclusion of predicates or their reciprocals in the dataset. These two methods combined allow us to beat the current state of the art on several datasets with a CP decomposition, and obtain even better results using the more advanced ComplEx model.


title: A model to accommodate the $B$-physics anomalies

abstract: After briefly reviewing the status of the $B$-physics anomalies, describing the challenges of building a scenario of physics beyond the Standard Model that can accommodate the observed departures from lepton flavor universality, I discuss a new model, based on extending the Standard Model by two light [$\mathcal{O}(1\,\mathrm{TeV})$] scalar leptoquarks. That model, in addition to satisfying a number of flavor physics constraints both at low and high energies, also allows for a $SU(5)$ unification.


title: Global instability of wing shock buffet

abstract: Shock buffet on wings encountered in edge-of-the-envelope transonic flight remains an unresolved and disputed flow phenomenon, challenging both fundamental fluid mechanics and applied aircraft aerodynamics. The question of global instability leading to flow unsteadiness is addressed herein. It is shown for the first time that incipient three-dimensional shock buffet is governed by the dynamics of a single unstable linear eigenmode with its spatial structure describing previously reported buffet cells. An inner-outer Krylov approach is proposed to solve the arising large-scale eigenvalue problem iteratively using shift-and-invert spectral transformation and sparse iterative linear solver. The established numerical strategy with an industrial flow solver means that a practical non-canonical test case at high-$Re$ flow condition can be investigated. A modern wing design with publicly available geometry and experimental data for code validation is studied. The numerical findings can be exploited for routes to flow control and model reduction.


title: Forest Packing: Fast, Parallel Decision Forests

abstract: Machine learning has an emerging critical role in high-performance computing to modulate simulations, extract knowledge from massive data, and replace numerical models with efficient approximations. Decision forests are a critical tool because they provide insight into model operation that is critical to interpreting learned results. While decision forests are trivially parallelizable, the traversals of tree data structures incur many random memory accesses and are very slow. We present memory packing techniques that reorganize learned forests to minimize cache misses during classification. The resulting layout is hierarchical. At low levels, we pack the nodes of multiple trees into contiguous memory blocks so that each memory access fetches data for multiple trees. At higher levels, we use leaf cardinality to identify the most popular paths through a tree and collocate those paths in cache lines. We extend this layout with out-of-order execution and cache-line prefetching to increase memory throughput. Together, these optimizations increase the performance of classification in ensembles by a factor of four over an optimized C++ implementation and a actor of 50 over a popular R language implementation.


title: Effects of tangential velocity in the reactive relativistic Riemann problem

abstract: Type I X-ray bursts are thermonuclear burning events which occur on the surfaces of accreting neutron stars. Burning begins in a localised spot in the star's ocean layer before propagating across the entire surface as a deflagration. On the scale of the entire star, the burning front can be thought of as discontinuity. To model this, we investigated the reactive Riemann problem for relativistic deflagrations and detonations and developed a numerical solver. Unlike for the Newtonian Riemann problem, where only the velocity perpendicular to the interface is relevant, in the relativistic case the tangential velocity becomes coupled through the Lorentz factor and can alter the waves present in the solution. We investigated whether a fast tangential velocity may be able to cause a deflagration wave to transition to a detonation. We found that such a transition is possible, but only for tangential velocities that are a significant fraction of the speed of light or for systems already on the verge of transitioning. Consequently, it is highly unlikely that this transition would occur for a burning front in a neutron star ocean without significant contributions from additional multidimensional effects.


title: Trust Anchors in Software Defined Networks

abstract: Advances in software virtualization and network processing lead to increasing network softwarization. Software network elements running on commodity platforms replace or complement hardware components in cloud and mobile network infrastructure. However, such com- modity platforms have a large attack surface and often lack granular control and tight integration of the underlying hardware and software stack. Often, software network elements are either themselves vulnerable to software attacks or can be compromised through the bloated trusted computing base. To address this, we protect the core security assets of network elements - authentication credentials and cryptographic context - by provisioning them to and maintaining them exclusively in isolated execution environments. We complement this with a secure and scalable mechanism to enroll network elements into software defined networks. Our evaluation results show a negligible impact on run-time performance and only a moderate performance impact at the deployment stage.


title: A Variational Characterisation of the Second Eigenvalue of the p-Laplacian on Quasi Open Sets

abstract: In this article, we prove a minimax characterization of the second eigenvalue of the p-Laplacian operator on p-quasi-open sets, using a construction based on minimizing movements. This leads also to an existence theorem for spectral functionals depending on the first two eigenvalues of the p-Laplacian.


title: Dynamic Multi-Level Multi-Task Learning for Sentence Simplification

abstract: Sentence simplification aims to improve readability and understandability, based on several operations such as splitting, deletion, and paraphrasing. However, a valid simplified sentence should also be logically entailed by its input sentence. In this work, we first present a strong pointer-copy mechanism based sequence-to-sequence sentence simplification model, and then improve its entailment and paraphrasing capabilities via multi-task learning with related auxiliary tasks of entailment and paraphrase generation. Moreover, we propose a novel 'multi-level' layered soft sharing approach where each auxiliary task shares different (higher versus lower) level layers of the sentence simplification model, depending on the task's semantic versus lexico-syntactic nature. We also introduce a novel multi-armed bandit based training approach that dynamically learns how to effectively switch across tasks during multi-task learning. Experiments on multiple popular datasets demonstrate that our model outperforms competitive simplification systems in SARI and FKGL automatic metrics, and human evaluation. Further, we present several ablation analyses on alternative layer sharing methods, soft versus hard sharing, dynamic multi-armed bandit sampling approaches, and our model's learned entailment and paraphrasing skills.


title: NuSTAR rules out a cyclotron line in the accreting magnetar candidate 4U2206+54

abstract: Based on our new NuSTAR X-ray telescope data, we rule out any cyclotron line up to 60 keV in the spectra of the high mass X-ray binary 4U2206+54. In particular, we do not find any evidence of the previously claimed line around 30 keV, independently of the source flux, along the spin pulse. The spin period has increased significantly, since the last observation, up to $5750\pm10$ s, confirming the rapid spin down rate $\dot \nu=-1.8\times 10^{-14}$~Hz s$^{-1}$. This behaviour might be explained by the presence of a strongly magnetized neutron star ($B_{\rm s}>$ several times $10^{13}$ G) accreting from the slow wind of its main sequence O9.5 companion.


title: A variational approach to Data Assimilation in the Solar Wind

abstract: Variational Data Assimilation (DA) has enabled huge improvements in the skill of operational weather forecasting. In this study, we use a simple solar-wind propagation model to develop the first solar-wind variational DA scheme. This scheme enables solar-wind observations far from the Sun, such as at 1 AU, to update and improve the inner boundary conditions of the solar wind model (at $30$ solar radii). In this way, observational information can be used to improve estimates of the near-Earth solar wind, even when the observations are not directly downstream of the Earth. Using controlled experiments with synthetic observations we demonstrate this method's potential to improve solar wind forecasts, though the best results are achieved in conjunction with accurate initial estimates of the solar wind. The variational DA scheme is also applied to STEREO in-situ observations using initial solar wind conditions supplied by a coronal model of the observed photospheric magnetic field. We consider the period Oct 2010-Oct 2011, when the STEREO spacecraft were approximately $80^{\circ}$ ahead/behind Earth in its orbit. For 12 of 13 Carrington Rotations, assimilation of STEREO data improves the near-Earth solar wind estimate over the non-assimilated state, with a $18.4\%$ reduction in the root-mean-squared-error. The largest gains are made by the DA during times when the steady-state assumption of the coronal models breaks down. While applying this pure variational approach to complex solar-wind models is technically challenging, we discuss hybrid DA approaches which are simpler to implement and may retain many of the advantages demonstrated here.


title: Estimation from Non-Linear Observations via Convex Programming with Application to Bilinear Regression

abstract: We propose a computationally efficient estimator, formulated as a convex program, for a broad class of non-linear regression problems that involve difference of convex (DC) non-linearities. The proposed method can be viewed as a significant extension of the "anchored regression" method formulated and analyzed in [10] for regression with convex non-linearities. Our main assumption, in addition to other mild statistical and computational assumptions, is availability of a certain approximation oracle for the average of the gradients of the observation functions at a ground truth. Under this assumption and using a PAC-Bayesian analysis we show that the proposed estimator produces an accurate estimate with high probability. As a concrete example, we study the proposed framework in the bilinear regression problem with Gaussian factors and quantify a sufficient sample complexity for exact recovery. Furthermore, we describe a computationally tractable scheme that provably produces the required approximation oracle in the considered bilinear regression problem.


title: A Novel Mobile Data Contract Design with Time Flexibility

abstract: In conventional mobile data plans, the data is associated with a fixed period (e.g., one month) and the unused data will be cleared at the end of each period. To take advantage of consumers' heterogeneous demands across different periods and meanwhile to provide more time flexibility, some mobile data service providers (SP) have offered data plans with different lengths of period. In this paper, we consider the data plan design problem for a single SP, who provides data plans with different lengths of period for consumers with different characteristics of data demands. We propose a contract-theoretic approach, wherein the SP offers a period-price data plan contract which consists of a set of period and price combinations, indicating the prices for data with different periods. We study the optimal data plan contract designs under two different models: discrete and continuous consumer-type models, depending on whether the consumer type is discrete or continuous. In the former model, each type of consumers are assigned with a specific period-price combination. In the latter model, the consumers are first categorized into a finite number of groups, and each group of consumers (possibly with different types) are assigned with a specific period-price combination. We systematically analyze the incentive compatibility (IC) constraint and individual rationality (IR) constraint, which ensure each consumer to choose the data plan with the period-price combination intended for his type. We further derive the optimal contract that maximizes the SP's expected profit, meanwhile satisfying the IC and IR constraints of consumers. Our numerical results show that the proposed optimal contract can increase the SP's profit by 35%, comparing with the conventional fixed monthly-period data plan.


title: Recommending Scientific Videos based on Metadata Enrichment using Linked Open Data

abstract: The amount of available videos in the Web has significantly increased not only for entertainment etc., but also to convey educational or scientific information in an effective way. There are several web portals that offer access to the latter kind of video material. One of them is the TIB AV-Portal of the Leibniz Information Centre for Science and Technology (TIB), which hosts scientific and educational video content. In contrast to other video portals, automatic audiovisual analysis (visual concept classification, optical character recognition, speech recognition) is utilized to enhance metadata information and semantic search. In this paper, we propose to further exploit and enrich this automatically generated information by linking it to the Integrated Authority File (GND) of the German National Library. This information is used to derive a measure to compare the similarity of two videos which serves as a basis for recommending semantically similar videos. A user study demonstrates the feasibility of the proposed approach.


title: On Musielak N-functions

abstract: In this paper, the concept of Musielak N-functions and Musielak-Orlicz spaces generated by them well be introduced. Facts and results of the measure theory will be applied to consider properties, calculus and basic approximation of Musielak N-functions and their Musielak-Orlicz spaces. Finally, the relationship between Musielak N-functions and Musielak-Orlicz functions and thier Musielak-Orlicz spaces will be considered using facts and results of the measure theory too


title: Inclusive jet production as a probe of polarized PDFs at a future EIC

abstract: We present a detailed phenomenological study of polarized inclusive jet production in electron-proton collisions at a future Electron-Ion Collider (EIC). Our analysis is performed at next-to-leading order in perturbative QCD using the numerical code DISTRESS and includes all relevant partonic channels and resolved photon contributions. We elucidate the role of different kinematic regions in probing different aspects of proton and photon structure and study the impact of the EIC collision energy on the measurement of polarized parton distribution functions.


title: MOJAVE XVI: Multi-Epoch Linear Polarization Properties of Parsec-Scale AGN Jet Cores

abstract: We present an analysis of the core linear polarization properties of 387 parsec-scale active galactic nuclei (AGN) jets. Using 15 GHz VLBA data, we revisit the conclusions of the first paper in this series with multi-epoch measurements and more detailed analysis of a larger AGN sample which spans a broader range of synchrotron peak frequencies. Each AGN has been observed for at least five epochs between 1996 and 2017. We find that BL Lac objects have core electric vector position angles (EVPAs) which tend towards alignment with the local jet direction; compared to flat spectrum radio quasars (FSRQs), their EVPAs are also less variable over time. The AGN cores which are most fractionally polarized and least variable in polarization have EVPAs that are closely aligned with the local jet direction; they also have low variability in EVPA. These results support the popular model of a standing transverse shock at the base of the jet which collimates the jet magnetic field perpendicular to the jet direction, increasing the fractional polarization and leading to greater polarization stability over time. High-synchrotron-peaked (HSP) BL Lac objects form a low luminosity, low fractional polarization population. The five narrow-line Seyfert 1 galaxies in our sample have low fractional polarization and large EVPA-jet misalignments. Although AGN detected at gamma-rays are thought to be more Doppler boosted than non-detected AGN, we find no significant differences in fractional polarization based on detection by Fermi-LAT; the gamma-loud AGN are, however, more variable in core EVPAs.


title: Multielectron polarization effects in strong-field ionization: Narrowing of momentum distributions and imprints in interference structures

abstract: We extend the semiclassical two-step model [Phys. Rev. A 94, 013415 (2016)] to include a multielectron polarization-induced dipole potential. Using this model we investigate the imprints of multielectron effects in the momentum distributions of photoelectrons ionized by a linearly polarized laser pulse. We predict narrowing of the longitudinal momentum distributions due to electron focusing by the induced dipole potential. We show that the polarization of the core also modifies interference structures in the photoelectron momentum distributions. Specifically, the number of fanlike interference structures in the low-energy part of the electron momentum distribution may be altered. We analyze the mechanisms underlying this interference effect. The account of the multielectron dipole potential seems to improve the agreement between theory and experiment.


title: Cluster-Robust Standard Errors for Linear Regression Models with Many Controls

abstract: It is common practice in empirical work to employ cluster-robust standard errors when using the linear regression model to estimate some structural/causal effect of interest. Researchers also often include a large set of regressors in their model specification in order to control for observed and unobserved confounders. In this paper we develop inference methods for linear regression models with many controls and clustering. We show that inference based on the usual cluster-robust standard errors by Liang and Zeger (1986) is invalid in general when the number of controls is a non-vanishing fraction of the sample size. We then propose a new clustered standard errors formula that is robust to the inclusion of many controls and allows to carry out valid inference in a variety of high-dimensional linear regression models, including fixed effects panel data models and the semiparametric partially linear model. Monte Carlo evidence supports our theoretical results and shows that our proposed variance estimator performs well in finite samples. The proposed method is also illustrated with an empirical application that re-visits Donohue III and Levitt's (2001) study of the impact of abortion on crime.


title: Impact of strain on the excitonic linewidth in transition metal dichalcogenides

abstract: Monolayer transition metal dichalcogenides (TMDs) are known to be highly sensitive to externally applied tensile or compressive strain. In particular, strain can be exploited as a tool to control the optical response of TMDs. However, the role of excitonic effects under strain has not been fully understood yet. Utilizing the strain-induced modification of electron and phonon dispersion obtained by first principle calculations, we present in this work microscopic insights into the strain-dependent optical response of various TMD materials. In particular, we explain recent experiments on the change of excitonic linewidths in strained TMDs and predict their behavior for tensile and compressive strain at low temperatures.


title: NFV and SDN - Key Technology Enablers for 5G Networks

abstract: Communication networks are undergoing their next evolutionary step towards 5G. The 5G networks are envisioned to provide a flexible, scalable, agile and programmable network platform over which different services with varying requirements can be deployed and managed within strict performance bounds. In order to address these challenges a paradigm shift is taking place in the technologies that drive the networks, and thus their architecture. Innovative concepts and techniques are being developed to power the next generation mobile networks. At the heart of this development lie Network Function Virtualization and Software Defined Networking technologies, which are now recognized as being two of the key technology enablers for realizing 5G networks, and which have introduced a major change in the way network services are deployed and operated. For interested readers that are new to the field of SDN and NFV this paper provides an overview of both these technologies with reference to the 5G networks. Most importantly it describes how the two technologies complement each other and how they are expected to drive the networks of near future.


title: Impact of Non-Gaussian Beam Profiles in the Performance of Hadron Colliders

abstract: At the Large Hadron Collider (LHC), the interplay between a series of effects, including intrabeam scattering (IBS), synchrotron radiation, longitudinal beam manipulations, two beam effects (beam-beam, e-cloud) and machine non-linearities, can change the population of the core and tails and lead to non-Gaussian beam distributions, at different periods during the beam cycle. By employing generalised distribution functions, it can be demonstrated that the modified non-Gaussian beam profiles have an impact in the beam emittance evolution by itself and thereby to the collider luminosity. This paper focuses on the estimation of beam distribution modification and the resulting rms beam size due to the combined effect of IBS and synchrotron radiation by employing a Monte-Carlo simulation code which is able to track 3D generalised particle distributions (SIRE). The code is first benchmarked over classical semi-analytical IBS theories and then compared with measurements from the LHC at injection and collision energies, including projections for the High-Luminosity LHC (HL-LHC) high brightness regime. The impact of the distribution shape on the evolution of the bunch characteristics and machine performance is finally addressed.


title: Emittance reduction with variable bending magnet strengths: Analytical optics considerations and application to the Compact Linear Collider damping ring design

abstract: One of the main challenges of the lattice design of synchrotrons, used as light sources or damping rings (DRs), is the minimization of the emittance. The optimal lattice configurations for achieving the absolute minimum emittance are the theoretical minimum emittance (TME) cells. This paper elaborates the optimization strategy in order to further reduce the betatron emittance of a TME cell by using dipoles whose magnetic field varies longitudinally. Based on analytical results, the magnet design for the fabrication of variable bends with the optimal characteristics is discussed. In order to have a global understanding of all cell properties, an analytical approach for the theoretical minimum emittance (TME) cells with variable bends is elaborated. This approach is employed for the design optimization of the Compact Linear Collider (CLIC) DRs. The margin gained in the emittance including IBS based on this new design strategy enables the removal of a number of TME cells from the existing arcs while still keeping the requirements of the collider. The reduction of the circumference is further enhanced by the use of optimized high-field wigglers. The optimization strategy followed for the CLIC DRs is explained in detail and the output parameters of the new design are presented.