title: Nuclear matter properties with nucleon-nucleon forces up to fifth order in the chiral expansion

abstract: The properties of nuclear matter are studied using state-of-the-art nucleon-nucleon forces up to fifth order in chiral effective field theory. The equations of state of symmetric nuclear matter and pure neutron matter are calculated in the framework of the Brueckner-Hartree-Fock theory. We discuss in detail the convergence pattern of the chiral expansion and the regulator dependence of the calculated equations of state and provide an estimation of the truncation uncertainty. For all employed values of the regulator, the fifth-order chiral two-nucleon potential is found to generate nuclear saturation properties similar to the available phenomenological high precision potentials. We also extract the symmetry energy of nuclear matter, which is shown to be quite robust with respect to the chiral order and the value of the regulator.


title: Structure of chambers cut out by Veronese arrangements of hyperplanes in the real projective spaces

abstract: We study arrangements of $m$ hyperplanes in the $n$-dimensional real projective space, with a special focus on $m=n+3$ and $n=3$ or $n=4$.


title: Some Remarks on Preconditioning Molecular Dynamics

abstract: We consider a Preconditioned Overdamped Langevin algorithm that does not alter the invariant distribution (up to controllable discretisation errors) and ask whether preconditioning improves the standard model in terms of reducing the asymptotic variance and of accelerating convergence to equilibrium. We present a detailed study of the dependence of the asymptotic variance on preconditioning in some elementary toy models related to molecular simulation. Our theoretical results are supported by numerical simulations.


title: Beyond Volkov: Solving the Second-Order Klein-Gordon Equation

abstract: Whether monochromatic, pulsed, or even constant and crossed, the field used to describe the interaction of charged fermions with an intense laser beam is mainly assumed to be of plane-wave form. We consider a simple extension to plane-wave fields and consider a scalar particle in a non-lightlike, univariate and transverse propagating electromagnetic wave. The existence of some known exact solutions in this case allows us to analyse various proposed approximations in the literature as well as the plane wave model. The results also describe some of the quantum dynamics of a scalar particle in a standing wave background.


title: Utilising optimised operators and distillation to extract scattering phase shifts

abstract: In this investigation, we examine how the precision of energy spectra and scattering phase shifts, extracted in lattice QCD, depend upon the degree of distillation type smearing. We use the variational method to extract energy spectra for the isospin-1, $J^{PC}=1^{--}$ channel and use the L\"{u}scher method to compute scattering amplitudes, relevant for the $\rho$ resonance, in $\pi\pi$ elastic scattering. Optimised interpolating operators for a single ground state pion are constructed and these are used to construct two pion operators. Calculations are performed on an anisotropic lattice with a pion mass of $m_\pi=236$ MeV. We provide a comprehensive comparison of energy spectra and scattering phase shifts across distillation spaces of varying rank.


title: Arithmetic properties of blocks of consecutive integers

abstract: This paper provides a survey of results on the greatest prime factor, the number of distinct prime factors, the greatest squarefree factor and the greatest m-th powerfree part of a block of consecutive integers, both without any assumption and under assumption of the abc-conjecture. Finally we prove that the explicit abc-conjecture implies the Erd\H{o}s-Woods conjecture for each k>2.


title: Divergences in Holographic Complexity

abstract: We study the UV divergences in the action of the "Wheeler-de Witt patch" in asymptotically AdS spacetimes, which has been conjectured to be dual to the computational complexity of the state of the dual field theory on a spatial slice of the boundary. We show that including a surface term in the action on the null boundaries which ensures invariance under coordinate transformations has the additional virtue of removing a stronger than expected divergence, making the leading divergence proportional to the proper volume of the boundary spatial slice. We compare the divergences in the action to divergences in the volume of a maximal spatial slice in the bulk, finding that the qualitative structure is the same, but subleading divergences have different relative coefficients in the two cases.


title: Best Friends Forever (BFF): Finding Lasting Dense Subgraphs

abstract: Graphs form a natural model for relationships and interactions between entities, for example, between people in social and cooperation networks, servers in computer networks, or tags and words in documents and tweets. But, which of these relationships or interactions are the most lasting ones? In this paper, we study the following problem: given a set of graph snapshots, which may correspond to the state of an evolving graph at different time instances, identify the set of nodes that are the most densely connected in all snapshots. We call this problem the Best Friends For Ever (BFF) problem. We provide definitions for density over multiple graph snapshots, that capture different semantics of connectedness over time, and we study the corresponding variants of the BFF problem. We then look at the On-Off BFF (O^2BFF) problem that relaxes the requirement of nodes being connected in all snapshots, and asks for the densest set of nodes in at least $k$ of a given set of graph snapshots. We show that this problem is NP-complete for all definitions of density, and we propose a set of efficient algorithms. Finally, we present experiments with synthetic and real datasets that show both the efficiency of our algorithms and the usefulness of the BFF and the O^2BFF problems.


title: A Message Passing Algorithm for the Minimum Cost Multicut Problem

abstract: We propose a dual decomposition and linear program relaxation of the NP -hard minimum cost multicut problem. Unlike other polyhedral relaxations of the multicut polytope, it is amenable to efficient optimization by message passing. Like other polyhedral elaxations, it can be tightened efficiently by cutting planes. We define an algorithm that alternates between message passing and efficient separation of cycle- and odd-wheel inequalities. This algorithm is more efficient than state-of-the-art algorithms based on linear programming, including algorithms written in the framework of leading commercial software, as we show in experiments with large instances of the problem from applications in computer vision, biomedical image analysis and data mining.


title: Dynamical system modeling fermionic limit

abstract: The existence of multiple radial solutions to the elliptic equation modeling fermionic cloud of interacting particles is proved for the limiting Planck constant and intermediate values of mass parameters. It is achieved by considering the related nonautonomous dynamical system for which the passage to the limit can be established due to the continuity of the solutions with respect to the parameter going to zero.

categories: math.DS astro-ph.GA cond-mat.stat-mech math.AP


title: Weak and variational entropy solutions to the system describing steady flow of a compressible reactive mixture

abstract: We consider a system of partial differential equations which describes steady flow of a compressible heat conducting chemically reacting gaseous mixture. We extend the result from Giovangigli, Pokorn\'y, Zatorska (2015) in the sense that we introduce the variational entropy solution for this model and prove existence of a weak solution for $\gamma >\frac 43$ and existence of a variational entropy solution for any $\gamma >1$. The proof is based on improved density estimates.


title: Occulting Light Concentrators in Liquid Scintillator Neutrino Detectors

abstract: The experimental efforts characterizing the era of precision neutrino physics revolve around collecting high-statistics neutrino samples and attaining an excellent energy and position resolution. Next generation liquid-based neutrino detectors, such as JUNO, HyperKamiokande, etc, share the use of a large target mass, and the need of pushing light collection to the edge for maximal calorimetric information. Achieving high light collection implies considerable costs, especially when considering detector masses of several kt. A traditional strategy to maximize the effective photo-coverage with the minimum number of PMTs relies on Light Concentrators (LC), such as Winston Cones. In this paper, the authors introduce a novel concept called Occulting Light Concentrators (OLC), whereby a traditional LC gets tailored to a conventional PMT, by taking into account its single-photoelectron collection efficiency profile and thus occulting the worst performing portion of the photocathode. Thus, the OLC shape optimization takes into account not only the optical interface of the PMT, but also the maximization of the PMT detection performances. The light collection uniformity across the detector is another advantage of the OLC system. By considering the case of JUNO, we will show OLC capabilities in terms of light collection and energy resolution.


title: Projection Pursuit for non-Gaussian Independent Components

abstract: In independent component analysis it is assumed that the observed random variables are linear combinations of latent, mutually independent random variables called the independent components. Our model further assumes that only the non-Gaussian independent components are of interest, the Gaussian components being treated as noise. In this paper projection pursuit is used to extract the non-Gaussian components and to separate the corresponding signal and noise subspaces. Our choice for the projection index is a convex combination of squared third and fourth cumulants and we estimate the non-Gaussian components either one-by-one (deflation-based approach) or simultaneously (symmetric approach). The properties of both estimates are considered in detail through the corresponding optimization problems, estimating equations, algorithms and asymptotic properties. Various comparisons of the estimates show that the two approaches separate the signal and noise subspaces equally well but the symmetric one is generally better in extracting the individual non-Gaussian components.


title: Exact Scalar-Tensor Cosmological Models

abstract: Scalar-tensor gravitational theories are important extensions of standard general relativity, which can explain both the initial inflationary evolution, as well as the late accelerating expansion of the Universe. In the present paper we investigate the cosmological solution of a scalar-tensor gravitational theory, in which the scalar field $\phi $ couples to the geometry via an arbitrary function $F(\phi $). The kinetic energy of the scalar field as well as its self-interaction potential $V(\phi )$ are also included in the gravitational action. By using a standard mathematical procedure, the Lie group approach, and Noether symmetry techniques, we obtain several exact solutions of the gravitational field equations describing the time evolutions of a flat Friedman-Robertson-Walker Universe in the framework of the scalar-tensor gravity. The obtained solutions can describe both accelerating and decelerating phases during the cosmological expansion of the Universe.


title: Deep holes and MDS extensions of Reed-Solomon codes

abstract: We study the problem of classifying deep holes of Reed-Solomon codes. We show that this problem is equivalent to the problem of classifying MDS extensions of Reed-Solomon codes by one digit. This equivalence allows us to improve recent results on the former problem. In particular, we classify deep holes of Reed-Solomon codes of dimension greater than half the alphabet size. We also give a complete classification of deep holes of Reed Solomon codes with redundancy three in all dimensions.


title: Effect of the Coulomb interaction on the liquid-gas phase transition of nuclear matter

abstract: We investigate the role of the Coulomb interaction on the liquid-gas phase transition of nuclear matter with three different values of proton fraction ($Y_p$=0.5,0.3 and 0.1), relevant for heavy-ion physics as well as various astrophysical scenarios, within the framework of quantum molecular dynamics. We perform simulations for a wide range of density and temperature with and without the Coulomb interaction and calculate the two-point correlation functions of nucleon density fluctuations for all the configurations to determine the phase transition region. We also determine the critical end point of the liquid-gas phase transition for all three values of proton fraction considered. We observe that the Coulomb interaction reduces the transition temperature by about 2 MeV for nuclear matter with $Y_p$=0.5 and 0.3 and by about 1 MeV for nuclear matter with $Y_p$=0.1. However, the critical density is found to be more or less insensitive to the Coulomb interaction.


title: Effective bounds for the number of MMP-series of a smooth threefold

abstract: We prove that the number of MMP-series of a smooth projective threefold of positive Kodaira dimension and of Picard number equal to three is at most two.


title: Persistent vs. arrested spreading of biofilms at solid-gas interfaces - the role of surface forces

abstract: We introduce and analyze a model for osmotically spreading biofilm colonies at solid-air interfaces that includes wetting phenomena, i.e. surface forces. The model combines a hydrodynamic description for biologically passive liquid suspensions with bioactive processes. We show that wetting effects are responsible for a transition between persistent and arrested spreading and provide experimental evidence for the existence of this transition for Bacillus subtilis biofilms growing on agar substrates. In the case of arrested spreading, the biofilm is non-invasive albeit being biologically active. However, a small reduction in the surface tension of the biofilm is sufficient to induce spreading.


title: Massive Star Evolution: What we do (not) know

abstract: The modelling of massive star evolution is a complex task, and is very sensitive to the way physical processes (such as convection, rotation, mass loss, etc.) are included in stellar evolution code. Moreover, the very high observed fraction of binary systems among massive stars makes the comparison with observations difficult. In this paper, we focus on discussing the uncertainties linked to the modelling of convection and rotation in single massive stars.


title: Dealing with missing data in the MICROSCOPE space mission: An adaptation of inpainting to handle colored-noise data

abstract: The MICROSCOPE space mission, launched on April 25, 2016, aims to test the weak equivalence principle (WEP) with a 10^-15 precision. To reach this performance requires an accurate and robust data analysis method, especially since the possible WEP violation signal will be dominated by a strongly colored noise. An important complication is brought by the fact that some values will be missing -therefore, the measured time series will not be strictly regularly sampled. Those missing values induce a spectral leakage that significantly increases the noise in Fourier space, where the WEP violation signal is looked for, thereby complicating scientific returns. Recently, we developed an inpainting algorithm to correct the MICROSCOPE data for missing values. This code has been integrated in the official MICROSCOPE data processing pipeline because it enables us to significantly measure an equivalence principle violation (EPV) signal in a model-independent way, in the inertial satellite configuration. In this work, we present several improvements to the method that may allow us now to reach the MICROSCOPE requirements for both inertial and spin satellite configurations. The main improvement has been obtained using a prior on the power spectrum of the colored-noise that can be directly derived from the incomplete data. We show that after reconstructing missing values with this new algorithm, a least-squares fit may allow us to significantly measure an EPV signal with a 0.96x10^-15 precision in the inertial mode and 1.2x10^-15 precision in the spin mode. Although, the inpainting method presented in this paper has been optimized to the MICROSCOPE data, it remains sufficiently general to be used in the general context of missing data in time series dominated by an unknown colored-noise. The improved inpainting software, called ICON, is freely available at http://www.cosmostat.org/software/icon.


title: Probability Densities of the effective neutrino masses $m_{\beta }$ and $m_{\beta \beta}$

abstract: We compute the probability densities of the effective neutrino masses $m_{\beta }$ and $m_{\beta \beta}$ using the Kernel Density Estimate (KDE) approach applied to a distribution of points in the $(m_{\min}, m_{\beta\beta })$ and $(m_{\beta }, m_{\beta\beta })$ planes, obtained using the available Probability Distribution Functions (PDFs) of the neutrino mixing and mass differences, with the additional constraints coming from cosmological data on the sum of the neutrino masses. We show that the reconstructed probability densities strongly depend on the assumed set of cosmological data: for $\sum_j m_j \leq 0.68\ @\ 95\% \ \mathrm{CL}$ a sensitive portion of the allowed values are already excluded by null results of experiments searching for $m_{\beta \beta}$ and $m_{\beta }$, whereas in the case $\sum_j m_j \leq 0.23\ @\ 95\% \ \mathrm{CL}$ the bulk of the probability densities are below the current bounds.


title: Two components of critical current in YBa$_2$Cu$_3$O$_{7-\delta}$ films

abstract: Combined action of weak and strong pinning centers on the vortex lattice complicates magnetic behavior of a superconductor since temperature and magnetic field differently affect weak and strong pinning. In this paper we show that contributions of weak and strong pinning into magnetization of the layered superconductor YBa$_2$Cu$_3$O$_{7-\delta}$ can be separated and analyzed individually. We performed a careful analysis of temperature behavior of the relaxed superconducting current $J$ in YBa$_2$Cu$_3$O$_{7-\delta}$ films which revealed two components of the current $J = J_1 +J_2$. A simple method of separation of the components and their temperature dependence in low magnetic fields are discussed. We found that $J_1$ is produced by weak collective pinning on the oxygen vacancies in CuO$_2$ planes while $J_2$ is caused by strong pinning on the Y$_2$O$_3$ precipitates. $J_1$ component weakly changes with field and quasi-exponentially decays with temperature, disappearing at $T \simeq 30$--40~K. Rapid relaxation of $J_1$ causes formation of the normalized relaxation rate peak at $T \simeq 20$~K. $J_2$ component is suppressed by field as $J_2\propto B^{-0.54}$ and decays with temperature following to the power law $J_2\propto(1 - T/T_\mathrm{dp} )^\alpha$ where $T_\mathrm{dp}$ is the depinning temperature. Detailed comparison of the experimental data with pinning theories is presented.


title: On the Weber integral equation and solution to the Weber-Titchmarsh problem

abstract: We derive sufficient conditions for the existence of the Weber formal solution of the corresponding integral equation, related to the familiar Weber-Orr integral transforms. This gives a solution to the old Weber-Titchmarsh problem (posed in Proc. Lond. Math. Soc. 22(2) (1924), pp.15, 16.) Our method involves properties of the inverse Mellin transform of integrable functions. The Mellin-Parseval equality and some integrals with the associated Legendre functions are used.


title: Verification of Data-aware Business Processes in the Presence of Ontologies

abstract: The meet up between data, processes and structural knowledge in modeling enterprise systems is a challenging task that has led to the study of combining formalisms from knowledge representation, database theory, and process management. To ensure system correctness, formal verification also comes into play and offers well-established techniques. In line with this, significant results have been obtained within the research on data-aware business processes (DABP), which studies the marriage between static and dynamic aspects of a system within a unified framework. Here, we investigate the verification of DABP in the presence of ontologies, and provide the following contributions: (1) We propose a formal framework called Golog-KABs (GKABs), by leveraging on the state of the art formalisms for DABP equipped with ontologies. GKABs enable us to specify semantically-rich DABP, where the system dynamics are specified using a high-level action language inspired by the Golog programming language. (2) We propose a parametric execution semantics for GKABs that is able to elegantly accommodate a plethora of inconsistency-aware semantics based on the well-known notion of repair, and this leads us to several variants of inconsistency-aware GKABs. (3) We enhance GKABs towards context-sensitive GKABs. (4) We introduce the so-called Alternating-GKABs that allow for a more fine-grained analysis over the systems. (5) We introduce a novel framework called Semantically-Enhanced Data-Aware Processes (SEDAPs) that, by utilizing ontologies, enable us to have a high-level conceptual view over the evolution of the underlying system. We also provide reductions for the verification of sophisticated first-order temporal properties over all of the settings above, and show that verification can be addressed using existing techniques developed for Data-Centric Dynamic Systems (a well-established DABP framework).


title: On Natural Deduction for Herbrand Constructive Logics II: Curry-Howard Correspondence for Markov's Principle in First-Order Logic and Arithmetic

abstract: Intuitionistic first-order logic extended with a restricted form of Markov's principle is constructive and admits a Curry-Howard correspondence, as shown by Herbelin. We provide a simpler proof of that result and then we study intuitionistic first-order logic extended with unrestricted Markov's principle. Starting from classical natural deduction, we restrict the excluded middle and we obtain a natural deduction system and a parallel Curry-Howard isomorphism for the logic. We show that proof terms for existentially quantified formulas reduce to a list of individual terms representing all possible witnesses. As corollary, we derive that the logic is Herbrand constructive: whenever it proves any existential formula, it proves also an Herbrand disjunction for the formula. Finally, using the techniques just introduced, we also provide a new computational interpretation of Arithmetic with Markov's principle.


title: Schr\"odinger operators with guided potentials on periodic graphs

abstract: We consider discrete Schr\"odinger operators with periodic potentials on periodic graphs perturbed by guided non-positive potentials, which are periodic in some directions and finitely supported in other ones. The spectrum of the unperturbed operator is a union of a finite number of non-degenerate bands and eigenvalues of infinite multiplicity. We show that the spectrum of the perturbed operator consists of the unperturbed one plus the additional guided spectrum, which is a union of a finite number of bands. We estimate the position of the guided bands and their length in terms of graph geometric parameters. We also determine the asymptotics of the guided bands for large guided potentials. Moreover, we show that the possible number of the guided bands, their length and position can be rather arbitrary for some specific potentials.


title: On the spectrum of an operator in truncated Fock space

abstract: We study the spectrum of an operator matrix arising in the spectral analysis of the energy operator of the spin-boson model of radioactive decay with two bosons on the torus. An analytic description of the essential spectrum is established. Further, a criterion for the finiteness of the number of eigenvalues below the bottom of the essential spectrum is derived.


title: A Dual Ascent Framework for Lagrangean Decomposition of Combinatorial Problems

abstract: We propose a general dual ascent framework for Lagrangean decomposition of combinatorial problems. Although methods of this type have shown their efficiency for a number of problems, so far there was no general algorithm applicable to multiple problem types. In his work, we propose such a general algorithm. It depends on several parameters, which can be used to optimize its performance in each particular setting. We demonstrate efficacy of our method on graph matching and multicut problems, where it outperforms state-of-the-art solvers including those based on subgradient optimization and off-the-shelf linear programming solvers.


title: Least reliable messages based early termination method for LT soft decoder

abstract: In this paper, we propose a new early termination method (ETM) for Luby transform (LT) belief propagation (BP) decoder. The proposed ETM, which we call least reliable messages (LRM), observes only sign alterations of a small cluster in log-likelihood ratio (LLR) messages passing between nodes in BP decoder. Simulation results and complexity analyzes show that LRM significantly lower computational complexity of early termination section in decoder without any performance degradation and decreases the average decoding iteration amounts compared to conventional ETMs in literature. The method can be easily applied to code families which can be decoded by BP such as low density parity check (LDPC) codes, polar codes and Raptor codes.


title: A note on confidence intervals for parameter estimates of a spatio-temporal Ornstein-Uhlenbeck process

abstract: We compare two ways of constructing confidence intervals for the moments-matching parameter estimates of a Gaussian spatio-temporal Ornstein-Uhlenbeck process. It was found that those obtained via pairwise likelihood approximations had lower coverages and were more prone to the curse of dimensionality as opposed to those from a parametric bootstrap procedure.


title: Growth over time-correlated disorder: a spectral approach to Mean-field

abstract: We generalize a model of growth over a disordered environment, to a large class of It\=o processes. In particular, we study how the microscopic properties of the noise influence the macroscopic growth rate. The present model can account for growth processes in large dimensions, and provides a bed to understand better the trade-off between exploration and exploitation. An additional mapping to the Schr\"ordinger equation readily provides a set of disorders for which this model can be solved exactly. This mean-field approach exhibits interesting features, such as a freezing transition and an optimal point of growth, that can be studied in details, and gives yet another explanation for the occurrence of the $\textit{Zipf law}$ in complex, well-connected systems.

categories: q-bio.PE cond-mat.dis-nn cond-mat.stat-mech physics.soc-ph


title: Electromagnetic radiation and collectivity in small quark-gluon droplets

abstract: We study the multiplicity and rapidity dependence of thermal and prompt photon production in p+Pb collisions at 5.02 TeV, using a (3+1)D viscous hydrodynamic framework. Direct photon anisotropic flow coefficients $v^\gamma_{2,3}$ and nuclear modification factor $R^\gamma_\mathrm{pPb}(p_T)$ are presented in both the p-going (backward) and the Pb-going (forward) directions. The interplay between initial state cold nuclear effect and final state thermal enhancement at different rapidity regions is discussed. The proposed rapidity dependent thermal photon enhancement and direct photon anisotropic flow observables can elucidate non-trivial longitudinal dynamics of hot quark-gluon plasma droplets created in small collision systems.


title: Atomic Gas in Debris Discs

abstract: We have conducted a search for optical circumstellar absorption lines in the spectra of 16 debris disc host stars. None of the stars in our sample showed signs of emission line activity in either H$_{\alpha}$, Ca II or Na I, confirming their more evolved nature. Four stars were found to exhibit narrow absorption features near the cores of the photospheric Ca II and Na I D lines (when Na I D data were available). We analyse the characteristics of these spectral features to determine whether they are of circumstellar or interstellar origins. The strongest evidence for circumstellar gas is seen in the spectrum of HD110058, which is known to host a debris disc observed close to edge-on. This is consistent with a recent ALMA detection of molecular gas in this debris disc, which shows many similarities to the $\beta$ Pictoris system.


title: Partition-free approach to open quantum systems in harmonic environments: an exact stochastic Liouville equation

abstract: We present a partition-free approach to the evolution of density matrices for open quantum systems coupled to a harmonic environment. The influence functional formalism combined with a two-time Hubbard-Stratonovich transformation allows us to derive a set of exact differential equations for the reduced density matrix of an open system, termed the Extended Stochastic Liouville-von Neumann equation. Our approach generalises previous work based on Caldeira-Leggett models and a partitioned initial density matrix. This provides a simple, yet exact, closed-form description for the evolution of open systems from equilibriated initial conditions. The applicability of this model and the potential for numerical implementations are also discussed.


title: Single-photon interference due to motion in an atomic collective excitation

abstract: We experimentally demonstrate the generation of heralded bi-chromatic single photons from an atomic collective spin excitation (CSE). The photon arrival times display collective quantum beats, a novel interference effect resulting from the relative motion of atoms in the CSE. A combination of velocity-selective excitation with strong laser dressing and the addition of a magnetic field allows for exquisite control of this collective beat phenomenon. The present experiment uses a diamond scheme with near-IR photons that can be extended to include telecommunications-wavelengths or modified to allow storage and retrieval in an inverted-Y scheme.


title: From Multisets to Sets in Hotmotopy Type Theory

abstract: We give a model of set theory based on multisets in homotopy type theory. The equality of the model is the identity type. The underlying type of iterative sets can be formulated in Martin-L\"of type theory, without Higher Inductive Types (HITs), and is a sub-type of the underlying type of Aczel's 1978 model of set theory in type theory. The Voevodsky Univalence Axiom and mere set quotients (a mild kind of HITs) are used to prove the axioms of constructive set theory for the model. We give an equivalence to the model provided in Chapter 10 of "Homotopy Type Theory" by the Univalent Foundations Program.


title: Truncated linear statistics associated with the eigenvalues of random matrices II. Partial sums over proper time delays for chaotic quantum dots

abstract: Invariant ensembles of random matrices are characterized by the distribution of their eigenvalues $\{\lambda_1,\cdots,\lambda_N\}$. We study the distribution of truncated linear statistics of the form $\tilde{L}=\sum_{i=1}^p f(\lambda_i)$ with $p<N$. This problem has been considered by us in a previous paper when the $p$ eigenvalues are further constrained to be the largest ones (or the smallest). In this second paper we consider the same problem without this restriction which leads to a rather different analysis. We introduce a new ensemble which is related, but not equivalent, to the "thinned ensembles" introduced by Bohigas and Pato. This question is motivated by the study of partial sums of proper time delays in chaotic quantum dots, which are characteristic times of the scattering process. Using the Coulomb gas technique, we derive the large deviation function for $\tilde{L}$. Large deviations of linear statistics $L=\sum_{i=1}^N f(\lambda_i)$ are usually dominated by the energy of the Coulomb gas, which scales as $\sim N^2$, implying that the relative fluctuations are of order $1/N$. For the truncated linear statistics considered here, there is a whole region (including the typical fluctuations region), where the energy of the Coulomb gas is frozen and the large deviation function is purely controlled by an entropic effect. Because the entropy scales as $\sim N$, the relative fluctuations are of order $1/\sqrt{N}$. Our analysis relies on the mapping on a problem of $p$ fictitious non-interacting fermions in $N$ energy levels, which can exhibit both positive and negative effective (absolute) temperatures. We determine the large deviation function characterizing the distribution of the truncated linear statistics, and show that, for the case considered here ($f(\lambda)=1/\lambda$), the corresponding phase diagram is separated in three different phases.

categories: cond-mat.stat-mech cond-mat.mes-hall math-ph math.MP


title: Holographic quantum imaging: reconstructing spatial properties via two-particle interference

abstract: Two particle interference phenomena, such as the Hong-Ou-Mandel effect, are a direct manifestation of the nature of the symmetry properties of indistinguishable particles as described by quantum mechanics. The Hong-Ou-Mandel effect has recently been applied as a tool for pure state tomography of a single photon. In this article, we generalise the method to extract additional information for a pure state and extend this to the full tomography of mixed states as well. The formalism is kept general enough to apply to both boson and fermion based interferometry. Our theoretical discussion is accompanied by two proposals of interferometric setups that allow the measurement of a tomographically complete set of observables for single photon quantum states.


title: Resolved Stellar Populations as Tracers of Outskirts

abstract: Galaxy haloes contain fundamental clues about the galaxy formation and evolution process: hierarchical cosmological models predict haloes to be ubiquitous, and to be (at least in part) the product of past merger and/or accretion events. The advent of wide-field surveys in the last two decades has revolutionized our view of our own Galaxy and its closest "sister", Andromeda, revealing copious tidal streams from past and ongoing accretion episodes, as well as doubling the number of their known faint satellites. The focus shall now be shifted to galaxy haloes beyond the Local Group: resolving individual stars over significant areas of galaxy haloes will enable estimates of their ages, metallicities and gradients. The valuable information collected for galaxies with a range of masses, morphologies and within diverse environments will ultimately test and quantitatively inform theoretical models of galaxy formation, and shed light onto the many challenges faced by simulations on galactic scales.


title: Edge rotation from momentum transport by neutrals

abstract: Due to their high cross field mobility, neutral atoms can have a strong effect on transport even at the low relative densities found inside the separatrix. We use a charge-exchange dominated model for the neutrals, coupled to neoclassical ions, to calculate momentum transport when it is dominated by the neutrals. We can then calculate self-consistently the radial electric field and predict the intrinsic rotation in an otherwise torque-free plasma. Using a numerical solver for the ion distribution to allow arbitrary collisionality, we investigate the effects of inverse aspect ratio and elongation on plasma rotation. We also calculate the rotation of a trace carbon impurity, to facilitate future comparison to experiments using charge exchange recombination spectroscopy diagnostics.


title: $\eta$-$\eta'$ Mixing in Large-$N_c$ Chiral Perturbation Theory

abstract: We present a calculation of the $\eta$-$\eta'$ mixing in the framework of large-$N_c$ chiral perturbation theory. A general expression for the $\eta$-$\eta'$ mixing at next-to-next-to-leading order (NNLO) is derived, including higher-derivative terms up to fourth order in the four momentum, kinetic and mass terms. In addition, the axial-vector decay constants of the $\eta$-$\eta'$ system are determined at NNLO. The numerical analysis of the results is performed successively at LO, NLO, and NNLO. We investigate the influence of one-loop corrections, OZI-rule-violating parameters, and $\mathcal{O}(N_c p^6)$ contact terms.


title: A Generalized Approximation Framework for Fractional Network Flow and Packing Problems

abstract: We generalize the fractional packing framework of Garg and Koenemann to the case of linear fractional packing problems over polyhedral cones. More precisely, we provide approximation algorithms for problems of the form $\max\{c^T x : Ax \leq b, x \in C \}$, where the matrix $A$ contains no negative entries and $C$ is a cone that is generated by a finite set $S$ of non-negative vectors. While the cone is allowed to require an exponential-sized representation, we assume that we can access it via one of three types of oracles. For each of these oracles, we present positive results for the approximability of the packing problem. In contrast to other frameworks, the presented one allows the use of arbitrary linear objective functions and can be applied to a large class of packing problems without much effort. In particular, our framework instantly allows to derive fast and simple fully polynomial-time approximation algorithms (FPTASs) for a large set of network flow problems, such as budget-constrained versions of traditional network flows, multicommodity flows, or generalized flows. Some of these FPTASs represent the first ones of their kind, while others match existing results but offer a much simpler proof.


title: Jet transverse fragmentation momentum from h-h correlations in pp and p-Pb collisions

abstract: QCD color coherence phenomena, like angular ordering, can be studied by looking at jet fragmentation. As the jet is fragmenting, it is expected to go through two different phases. First, there is QCD branching that is calculable in perturbative QCD. Next, the produced partons hadronize in a non-perturbative way later in a hadronization process. The jet fragmentation can be studied using the method of two particle correlations. A useful observable is the jet transverse fragmentation momentum $j_{\mathrm{T}}$, which describes the angular width of the jet. In this contribution, a differential study will be presented in which separate $j_{\mathrm{T}}$ components for branching and hadronization will be distinguished from the data measured by the ALICE experiment. The $p_{\mathrm{Tt}}$ dependence of the hadronization component $\sqrt{\left<j_{\mathrm{T}}^{2}\right>}$ is found to be rather flat, which is consistent with universal hadronization assumption. However, the branching component shows slightly rising trend in $p_{\mathrm{Tt}}$. The $\sqrt{s} = 7\,\mathrm{TeV}$ pp and $\sqrt{s_{\mathrm{NN}}} = 5.02\,\mathrm{TeV}$ p-Pb data give the same results within error bars, suggesting that this observable is not affected by cold nuclear matter effects in p-Pb collisions. The measured data will also be compared to the results obtained from PYTHIA8 simulations.


title: A Study of Lagrangean Decompositions and Dual Ascent Solvers for Graph Matching

abstract: We study the quadratic assignment problem, in computer vision also known as graph matching. Two leading solvers for this problem optimize the Lagrange decomposition duals with sub-gradient and dual ascent (also known as message passing) updates. We explore s direction further and propose several additional Lagrangean relaxations of the graph matching problem along with corresponding algorithms, which are all based on a common dual ascent framework. Our extensive empirical evaluation gives several theoretical insights and suggests a new state-of-the-art any-time solver for the considered problem. Our improvement over state-of-the-art is particularly visible on a new dataset with large-scale sparse problem instances containing more than 500 graph nodes each.


title: ALPINE: A Bayesian System for Cloud Performance Diagnosis and Prediction

abstract: Cloud performance diagnosis and prediction is a challenging problem due to the stochastic nature of the cloud systems. Cloud performance is affected by a large set of factors including (but not limited to) virtual machine types, regions, workloads, wide area network delay and bandwidth. Therefore, necessitating the determination of complex relationships between these factors. The current research in this area does not address the challenge of building models that capture the uncertain and complex relationships between these factors. Further, the challenge of cloud performance prediction under uncertainty has not garnered sufficient attention. This paper proposes develops and validates ALPINE, a Bayesian system for cloud performance diagnosis and prediction. ALPINE incorporates Bayesian networks to model uncertain and complex relationships between several factors mentioned above. It handles missing, scarce and sparse data to diagnose and predict stochastic cloud performance efficiently. We validate our proposed system using extensive real data and trace-driven analysis and show that it predicts cloud performance with high accuracy of 91.93%.


title: Video Propagation Networks

abstract: We propose a technique that propagates information forward through video data. The method is conceptually simple and can be applied to tasks that require the propagation of structured information, such as semantic labels, based on video content. We propose a 'Video Propagation Network' that processes video frames in an adaptive manner. The model is applied online: it propagates information forward without the need to access future frames. In particular we combine two components, a temporal bilateral network for dense and video adaptive filtering, followed by a spatial network to refine features and increased flexibility. We present experiments on video object segmentation and semantic video segmentation and show increased performance comparing to the best previous task-specific methods, while having favorable runtime. Additionally we demonstrate our approach on an example regression task of color propagation in a grayscale video.


title: Simultaneous multi-slice reconstruction by Regularized Nonlinear Inversion

abstract: Increasing imaging speed is of utmost importance in in-vivo magnetic resonance imaging (MRI). With simultaneous multi-slice (SMS) MRI we can simultaneously acquire several slices of an object, which allows for higher undersampling factors compared to single- or conventional multi-slice measurements by exploiting axial coil sensitivity information. In this thesis, we give a short introduction to the physical principles of MRI, cover the basics of a FLASH based SMS MRI sequence and perform tests to verify its accuracy: We check the fidelity of the slice distance as well as the flip angle and confirm the square-root-like signal-to-noise ratio benefit of SMS compared to conventional multi-slice experiments. A g-factor analysis is used to determine a favorable Cartesian undersampling scheme for multi-slice data. Common reconstruction strategies for SMS MRI make use of previously estimated coil sensitivities to solve a linear equation. Here, we propose a new method of SMS MRI based on Regularized Nonlinear Inversion (NLINV): SMS-NLINV. This method does not require a priori knowledge about the coil sensitivities and is attractive especially for real-time imaging where coil sensitivities may change due to motion or interactive changes to the slice position. We characterize the algorithm and present reconstructed phantom and in-vivo images.


title: Qualitative study in Loop Quantum Cosmology

abstract: This work contains a detailed qualitative analysis, in General Relativity and in Loop Quantum Cosmology, of the dynamics in the associated phase space of a scalar field minimally coupled with gravity, whose potential mimics the dynamics of a perfect fluid with a linear Equation of State (EoS). Dealing with the orbits (solutions) of the system, we will see that there are analytic ones, which lead to the same dynamics as the perfect fluid, and our goal is to check their stability, depending on the value of the EoS parameter, i.e., to show whether the other orbits converge or diverge to these analytic solutions at early and late times.


title: A point particle model of lightly bound skyrmions

abstract: A simple model of the dynamics of lightly bound skyrmions is developed in which skyrmions are replaced by point particles, each carrying an internal orientation. The model accounts well for the static energy minimizers of baryon number $1\leq B\leq 8$ obtained by numerical simulation of the full field theory. For $9\leq B\leq 23$, a large number of static solutions of the point particle model are found, all closely resembling size $B$ subsets of a face centred cubic lattice, with the particle orientations dictated by a simple colouring rule. Rigid body quantization of these solutions is performed, and the spin and isospin of the corresponding ground states extracted. As part of the quantization scheme, an algorithm to compute the symmetry group of an oriented point cloud, and to determine its corresponding Finkelstein-Rubinstein constraints, is devised.


title: Fluid-solid-electric energy transport along piezoelectric flags

abstract: The fluid-solid-electric dynamics of a flexible plate covered by interconnected piezoelectric patches in an axial steady flow are investigated using numerical simulations based on a reduced-order model of the fluid loading for slender structures. Beyond a critical flow velocity, the fluid-solid instability results in large amplitude flapping of the structure. Short piezoelectric patches positioned continuously along the plate convert its local deformation into electrical currents that are used within a single internal electrical network acting as an electric generator for the external output circuit. The relative role of the internal and external impedance on the energy harvesting of the system is presented and analyzed in the light of a full modeling of the electric and mechanical energy exchanges and transport along the structure.


title: The role of homophily in the emergence of opinion controversies

abstract: Understanding the emergence of strong controversial issues in modern societies is a key issue in opinion studies. A commonly diffused idea is the fact that the increasing of homophily in social networks, due to the modern ICT, can be a driving force for opinion polariation. In this paper we address the problem with a modelling approach following three basic steps. We first introduce a network morphogenesis model to reconstruct network structures where homophily can be tuned with a parameter. We show that as homophily increases the emergence of marked topological community structures in the networks raises. Secondly, we perform an opinion dynamics process on homophily dependent networks and we show that, contrary to the common idea, homophily helps consensus formation. Finally, we introduce a tunable external media pressure and we show that, actually, the combination of homophily and media makes the media effect less effective and leads to strongly polarized opinion clusters.


title: Production of $e^{+}e^{-}$ from U+U collisions at $\sqrt{s_{NN}}$ = 193 GeV and Au+Au collisions at $\sqrt{s_{NN}}$ = 19.6, 27, 39, 62.4, and 200 GeV as measured by STAR

abstract: We present STAR's measurement of the $e^{+}e^{-}$ continuum as a function of centrality, invariant mass, and transverse momentum for U+U collisions at $\sqrt{s_{NN}}$ = 193 GeV. Also reported are the acceptance-corrected $e^{+}e^{-}$ invariant mass spectra for minimum-bias Au+Au collisions at $\sqrt{s_{NN}}$ = 27, 39, and 62.4 GeV and U+U collisions at $\sqrt{s_{NN}}$ = 193 GeV. The connection between the integrated $e^{+}e^{-}$ excess yields normalized by charge particle multiplicity ($dN_{ch}/dy$) at mid-rapidity and the lifetime of the fireball is discussed.


title: Event-by-event picture for the medium-induced jet evolution

abstract: We discuss the evolution of an energetic jet which propagates through a dense quark-gluon plasma and radiates gluons due to its interactions with the medium. Within perturbative QCD, this evolution can be described as a stochastic branching process, that we have managed to solve exactly. We present exact, analytic, results for the gluon spectrum (the average gluon distribution) and for the higher n-point functions, which describe correlations and fluctuations. Using these results, we construct the event-by-event picture of the gluon distribution produced via medium-induced gluon branching. In contrast to what happens in a usual QCD cascade in vacuum, the medium-induced branchings are quasi-democratic, with offspring gluons carrying sizable fractions of the energy of their parent parton. We find large fluctuations in the energy loss and in the multiplicity of soft gluons. The multiplicity distribution is predicted to exhibit KNO (Koba-Nielsen-Olesen) scaling. These predictions can be tested in Pb+Pb collisions at the LHC, via event-by-event measurements of the di-jet asymmetry. Based on JHEP 1605 (2016) 008 and arXiv:1609.06104


title: Optimizing Stochastic Scheduling in Fork-Join Queueing Models: Bounds and Applications

abstract: Fork-Join (FJ) queueing models capture the dynamics of system parallelization under synchronization constraints, for example, for applications such as MapReduce, multipath transmission and RAID systems. Arriving jobs are first split into tasks and mapped to servers for execution, such that a job can only leave the system when all of its tasks are executed. In this paper, we provide computable stochastic bounds for the waiting and response time distributions for heterogeneous FJ systems under general parallelization benefit. Our main contribution is a generalized mathematical framework for probabilistic server scheduling strategies that are essentially characterized by a probability distribution over the number of utilized servers, and the optimization thereof. We highlight the trade-off between the scaling benefit due to parallelization and the FJ inherent synchronization penalty. Further, we provide optimal scheduling strategies for arbitrary scaling regimes that map to different levels of parallelization benefit. One notable insight obtained from our results is that different applications with varying parallelization benefits result in different optimal strategies. Finally, we complement our analytical results by applying them to various applications showing the optimality of the proposed scheduling strategies.


title: Observational evidence for the associated formation of blobs and raining inflows in the solar Corona

abstract: The origin of the slow solar wind is still a topic of much debate. The continual emergence of small transient structures from helmet streamers is thought to constitute one of the main sources of the slow wind. Determining the height at which these transients are released is an important factor in determining the conditions under which the slow solar wind forms. To this end, we have carried out a multipoint analysis of small transient structures released from a north-south tilted helmet streamer into the slow solar wind over a broad range of position angles during Carrington Rotation 2137. Combining the remote-sensing observations taken by the Solar-TErrestrial RElations Observatory (STEREO) mission with coronagraphic observations from the Solar and Heliospheric Observatory (SoHO) spacecraft, we show that the release of such small transient structures (often called blobs), which subsequently move away from the Sun, is associated with the concomitant formation of transient structures collapsing back towards the Sun; the latter have been referred to by previous authors as raining inflows. This is the first direct association between outflowing blobs and raining inflows, which locates the formation of blobs above the helmet streamers and gives strong support that the blobs are released by magnetic reconnection.


title: Twin GEM-TPC Prototype (HGB4) Beam Test at GSI - a Development for the Super-FRS at FAIR

abstract: The GEM-TPC detector will be part of the standard Super-FRS detection system, as tracker detectors at several focal stations along the separator and its three branches.


title: On-bird Sound Recordings: Automatic Acoustic Recognition of Activities and Contexts

abstract: We introduce a novel approach to studying animal behaviour and the context in which it occurs, through the use of microphone backpacks carried on the backs of individual free-flying birds. These sensors are increasingly used by animal behaviour researchers to study individual vocalisations of freely behaving animals, even in the field. However such devices may record more than an animals vocal behaviour, and have the potential to be used for investigating specific activities (movement) and context (background) within which vocalisations occur. To facilitate this approach, we investigate the automatic annotation of such recordings through two different sound scene analysis paradigms: a scene-classification method using feature learning, and an event-detection method using probabilistic latent component analysis (PLCA). We analyse recordings made with Eurasian jackdaws (Corvus monedula) in both captive and field settings. Results are comparable with the state of the art in sound scene analysis; we find that the current recognition quality level enables scalable automatic annotation of audio logger data, given partial annotation, but also find that individual differences between animals and/or their backpacks limit the generalisation from one individual to another. we consider the interrelation of 'scenes' and 'events' in this particular task, and issues of temporal resolution.


title: Searches for $t\bar{t}H$ and $tH$ with $H\to b\bar b$

abstract: The associated production of a Higgs boson with a top quark-antiquark pair ($\text{t}\bar{\text{t}}\text{H}$ production) or with a single top quark ($\text{tH}$ production) allows a direct measurement of the top-Higgs-Yukawa coupling with minimal model dependence. In this article, recent results of searches for $\text{t}\bar{\text{t}}\text{H}$ and $\text{tH}$ production in the $\text{H}\rightarrow\text{b}\bar{\text{b}}$ channel performed by the ATLAS and CMS experiments are reviewed. The analyses use pp collision data collected at a centre-of-mass energy of 13$\,$TeV corresponding to an integrated luminosity of up to 13.2$\,$fb${}^{-1}$.


title: Strong Federations: An Interoperable Blockchain Solution to Centralized Third-Party Risks

abstract: Bitcoin, the first peer-to-peer electronic cash system, opened the door to permissionless, private, and trustless transactions. Attempts to repurpose Bitcoin's underlying blockchain technology have run up against fundamental limitations to privacy, faithful execution, and transaction finality. We introduce \emph{Strong Federations}: publicly verifiable, Byzantine-robust transaction networks that facilitate movement of any asset between disparate markets, without requiring third-party trust. \emph{Strong Federations} enable commercial privacy, with support for transactions where asset types and amounts are opaque, while remaining publicly verifiable. As in Bitcoin, execution fidelity is cryptographically enforced; however, \emph{Strong Federations} significantly lower capital requirements for market participants by reducing transaction latency and improving interoperability. To show how this innovative solution can be applied today, we describe \emph{\liquid}: the first implementation of \emph{Strong Federations} deployed in a Financial Market.


title: Flaxion: a minimal extension to solve puzzles in the standard model

abstract: We propose a minimal extension of the standard model which includes only one additional complex scalar field, flavon, with flavor-dependent global U(1) symmetry. It not only explains the hierarchical flavor structure in the quark and lepton sector (including neutrino sector), but also solves the strong CP problem by identifying the CP-odd component of the flavon as the QCD axion, which we call flaxion. Furthermore, the flaxion model solves the cosmological puzzles in the standard model, i.e., origin of dark matter, baryon asymmetry of the universe, and inflation. We show that the radial component of the flavon can play the role of inflaton without isocurvature nor domain wall problems. The dark matter abundance can be explained by the flaxion coherent oscillation, while the baryon asymmetry of the universe is generated through leptogenesis.


title: Oblique dual Fusion Frames

abstract: We introduce and develop the concept of oblique duality for fusion frames. This concept provides a mathematical framework to deal with problems in distributed signal processing where the signals, considered as elements in a Hilbert space and under certain consistency requirements, are analyzed in one subspace and are reconstructed in another subspace.


title: Type Inference of Simulink Hierarchical Block Diagrams in Isabelle

abstract: Simulink is a de-facto industrial standard for the design of embedded systems. In previous work, we developed a compositional analysis framework for Simulink models in Isabelle -- the Refinement Calculus of Reactive Systems (RCRS), which allows checking compatibility and substitutability of components. However, standard type checking was not considered in that work. In this paper we present a method for the type inference of hierarchical block diagrams using the Isabelle theorem prover. A Simulink diagram is translated into an (RCRS) Isabelle theory. Then the Isabelle's powerful type inference mechanism is used to infer the types of the diagram based on the types of the basic blocks. One of the aims is to handle formally as many diagrams as possible. In particular, we want to be able to handle even those diagrams that may have typing ambiguities, provided that they are accepted by Simulink. This method is implemented in our toolset that translates Simulink diagrams into Isabelle theories and simplifies them. We evaluate our technique on several case studies, most notably, an automotive fuel control system benchmark provided by Toyota.


title: Pair correlations and equidistribution

abstract: A deterministic sequence of real numbers in the unit interval is called \emph{equidistributed} if its empirical distribution converges to the uniform distribution. Furthermore, the limit distribution of the pair correlation statistics of a sequence is called Poissonian if the number of pairs $x_k,x_l \in (x_n)_{1 \leq n \leq N}$ which are within distance $s/N$ of each other is asymptotically $\sim 2sN$. A randomly generated sequence has both of these properties, almost surely. There seems to be a vague sense that having Poissonian pair correlations is a "finer" property than being equidistributed. In this note we prove that this really is the case, in a precise mathematical sense: a sequence whose asymptotic distribution of pair correlations is Poissonian must necessarily be equidistributed. Furthermore, for sequences which are not equidistributed we prove that the square-integral of the asymptotic density of the sequence gives a lower bound for the asymptotic distribution of the pair correlations.


title: A Low-Rank Multigrid Method for the Stochastic Steady-State Diffusion Problem

abstract: We study a multigrid method for solving large linear systems of equations with tensor product structure. Such systems are obtained from stochastic finite element discretization of stochastic partial differential equations such as the steady-state diffusion problem with random coefficients. When the variance in the problem is not too large, the solution can be well approximated by a low-rank object. In the proposed multigrid algorithm, the matrix iterates are truncated to low rank to reduce memory requirements and computational effort. The method is proved convergent with an analytic error bound. Numerical experiments show its effectiveness in solving the Galerkin systems compared to the original multigrid solver, especially when the number of degrees of freedom associated with the spatial discretization is large.


title: A correlation coefficient of belief functions

abstract: How to manage conflict is still an open issue in Dempster-Shafer evidence theory. The correlation coefficient can be used to measure the similarity of evidence in Dempster-Shafer evidence theory. However, existing correlation coefficients of belief functions have some shortcomings. In this paper, a new correlation coefficient is proposed with many desirable properties. One of its applications is to measure the conflict degree among belief functions. Some numerical examples and comparisons demonstrate the effectiveness of the correlation coefficient.


title: Proton spin: a topological invariant

abstract: Proton spin problem is given a new perspective with the proposition that spin is a topological invariant represented by a de Rham 3-period. The idea is developed generalizing Finkelstein-Rubinstein theory for Skyrmions/kinks to topological defects, and using nonabelian de Rham theorems. Two kinds of de Rham theorems are discussed applicable to matrix valued differential forms, and traces. Physical and mathematical interpretations of de Rham periods are presented. It is suggested that Wilson lines and loop operators probe the local properties of the topology, and spin as a topological invariant in pDIS measurements could appear with any value from 0 to $\frac{\hbar}{2}$, i. e. proton spin decomposition has no meaning in this approach.


title: Saturn rings: fractal structure and random field model

abstract: This study is motivated by the observation, based on photographs from the Cassini mission, that Saturn's rings have a fractal structure in radial direction. Accordingly, two questions are considered: (1) What Newtonian mechanics argument in support of that fractal structure is possible? (2) What kinematics model of such fractal rings can be formulated? Both challenges are based on taking Saturn's rings' spatial structure as being statistically stationarity in time and statistically isotropic in space, but statistically non-stationary in space. An answer to the first challenge is given through the calculus in non-integer dimensional spaces and basic mechanics arguments (Tarasov (2006) \textit{Celest. Mech. Dyn. Astron.} \textbf{94}). The second issue is approached in Section~3 by taking the random field of angular velocity vector of a rotating particle of the ring as a random section of a special vector bundle. Using the theory of group representations, we prove that such a field is completely determined by a sequence of continuous positive-definite matrix-valued functions defined on the Cartesian square $F^{2}$ of the radial cross-section $F$ of the rings, where $F$ is a fat fractal.


title: Higher derivative corrections to incoherent metallic transport in holography

abstract: Transport in strongly-disordered, metallic systems is governed by diffusive processes. Based on quantum mechanics, it has been conjectured that these diffusivities obey a lower bound $D/v^2\gtrsim \hbar/k_B T$, the saturation of which provides a mechanism for the T-linear resistivity of bad metals. This bound features a characteristic velocity $v$, which was later argued to be the butterfly velocity $v_B$, based on holographic models of transport. This establishes a link between incoherent metallic transport, quantum chaos and Planckian timescales. Here we study higher derivative corrections to an effective holographic action of homogeneous disorder. The higher derivative terms involve only the charge and translation symmetry breaking sector. We show that they have a strong impact on the bound on charge diffusion $D_c/v_B^2\gtrsim \hbar/k_B T$, by potentially making the coefficient of its right-hand side arbitrarily small. On the other hand, the bound on energy diffusion is not affected.


title: The Bayesian analysis of contingency table data using the bayesloglin R package

abstract: For log-linear analysis, the hyper Dirichlet conjugate prior is available to work in the Bayesian paradigm. With this prior, the MC3 algorithm allows for exploration of the space of models to try to find those with the highest posterior probability. Once top models have been identified, a block Gibbs sampler can be constructed to sample from the posterior distribution and to estimate parameters of interest. Our aim in this paper, is to introduce the bayesloglin R package \citep{R} which contains functions to carry out these tasks.


title: Defensive Player Classification in the National Basketball Association

abstract: The National Basketball Association(NBA) has expanded their data gathering and have heavily invested in new technologies to gather advanced performance metrics on players. This expanded data set allows analysts to use unique performance metrics in models to estimate and classify player performance. Instead of grouping players together based on physical attributes and positions played, analysts can group together players that play similar to each other based on these tracked metrics. Existing methods for player classification have typically used offensive metrics for clustering [1]. There have been attempts to classify players using past defensive metrics, but the lack of quality metrics has not produced promising results. The classifications presented in the paper use newly introduced defensive metrics to find different defensive positions for each player. Without knowing the number of categories that players can be cast into, Gaussian Mixture Models (GMM) can be applied to find the optimal number of clusters. In the model presented, five different defensive player types can be identified.


title: Probing Seesaw with Parity Restoration

abstract: We present a novel way of testing the seesaw origin of neutrino mass in the context of the minimal Left-Right Symmetric Model. It is based on the connection between the leptonic interactions of the doubly charged scalars, whose presence is at the core of the seesaw mechanism, and the neutrino Dirac Yukawa couplings which govern, among other processes, the right-handed neutrino decays into left-handed charged leptons. We prove that any physical quantity depending on these couplings is a function of the hermitian part only which can significantly simplify their future experimental determination.


title: Canonical Weierstrass representations for minimal space-like surfaces in $\RR^4_1$

abstract: A space-like surface in Minkowski space-time is minimal if its mean curvature vector field is zero. Any minimal space-like surface of general type admits special isothermal parameters - canonical parameters. For any minimal surface of general type parameterized by canonical parameters we obtain Weierstrass representations - canonical Weierstrass representations via two holomorphic functions. We find the expressions of the Gauss curvature and the normal curvature of the surface with respect to this pair of holomorphic functions. We find the relation between two pairs of holomorphic functions generating one and the same minimal space-like surface of general type. The canonical Weierstrass formulas allow us to establish geometric correspondence between minimal space-like surfaces of general type and classes of pairs of holomorphic functions in the Gauss plane.


title: Super-Walk Formulae for Even and Odd Laplacians in Finite Graphs

abstract: The number of walks from one vertex to another in a finite graph can be counted by the adjacency matrix. In this paper, we prove two theorems that connect the graph Laplacian with two types of walks in a graph. By defining two types of walks and giving orientation to a finite graph, one can easily count the number of the total signs of each kind of walk from one element to another of a fixed length.


title: Cache-Enabled Heterogeneous Cellular Networks: Optimal Tier-Level Content Placement

abstract: Caching popular contents at base stations (BSs) of a heterogeneous cellular network (HCN) avoids frequent information passage from content providers to the network edge, thereby reducing latency and alleviating traffic congestion in backhaul links. In general, the optimal strategies for content placement in HCNs remain largely unknown and deriving them forms the theme of this paper. To this end, we adopt the popular random HCN model where $K$ tiers of BSs are modelled as independent Poisson point processes distributed in the plane with different densities. Further, the random caching scheme is considered where each of a given set of $M$ files with corresponding popularity measures is placed at each BS of a particular tier with a corresponding probability, called placement probability. The probabilities are identical for all BSs in the same tier but vary over tiers, giving the name tier-level content placement. We consider the network performance metric, hit probability, defined as the probability that a file requested by the typical user is delivered successfully to the user. We maximize the hit probability over content placement probabilities, which yields the optimal tier-level placement policies. For the case of uniform received signal-to-interference thresholds for successful transmissions for BSs in different tiers, the policy is in closed-form where the placement probability for a particular file is proportional to the square-root of the corresponding popularity measure with an offset depending on BS caching capacities. For the general case of non-uniform SIR thresholds, the optimization problem is non-convex and a sub-optimal placement policy is designed by approximation, which has a similar structure as in the case of uniform SIR thresholds and shown by simulation to be close-to-optimal.


title: A new technique for infrared scintillation measurements

abstract: We propose a new technique to measure the infrared scintillation light yield of rare earth (RE) doped crystals by comparing it to near UV-visible scintillation of a calibrated Pr:(Lu$_{0.75}$Y$_{0.25}$)$_{3}$Al$_5$O$_{12}$ sample. As an example, we apply this technique to provide the light yield in visible and infrared range up to \SI{1700}{nm} of this crystal.


title: Exact solutions for the denoising problem of piecewise constant images in dimension one

abstract: In this paper we propose a method to determine explicitly the solution of the total variation denoising problem with an $L^p$ fidelity term, where $p>1$, for piecewise constant initial data in dimension one.


title: Cavity-enhanced single photon source based on the silicon vacancy center in diamond

abstract: Single photon sources are an integral part of various quantum technologies, and solid state quantum emitters at room temperature appear as a promising implementation. We couple the fluorescence of individual silicon vacancy centers in nanodiamonds to a tunable optical microcavity to demonstrate a single photon source with high efficiency, increased emission rate, and improved spectral purity compared to the intrinsic emitter properties. We use a fiber-based microcavity with a mode volume as small as $3.4~\lambda^3$ and a quality factor of $1.9\times 10^4$ and observe an effective Purcell factor of up to 9.2. We furthermore study modifications of the internal rate dynamics and propose a rate model that closely agrees with the measurements. We observe lifetime changes of up to 31%, limited by the finite quantum efficiency of the emitters studied here. With improved materials, our achieved parameters predict single photon rates beyond 1 GHz.


title: Linearized gravity in terms of differential forms

abstract: A technique to linearize gravitational field equations is developed in which the perturbation metric coefficients are treated as second rank, symmetric, 1-form fields belonging to the Minkowski background spacetime by using the exterior algebra of differential forms.


title: Electroweak single-pion production off the nucleon: from threshold to high invariant masses

abstract: [Background] Neutrino-induced single-pion production (SPP) provides an important contribution to neutrino-nucleus interactions, ranging from intermediate to high energies. There exists a good number of low-energy models in the literature to describe the neutrinoproduction of pions in the region around the Delta resonance. Those models consider only lowest-order interaction terms and, therefore, fail in the high-energy region (pion-nucleon invariant masses, $W$>2 GeV). [Purpose] Our goal is to develop a model for electroweak SPP off the nucleon, which is applicable to the entire energy range of interest for present and future neutrino-oscillation experiments. [Method] We start with the low-energy model of [Phys.Rev.D76,033005(2007)], which includes resonant contributions and background terms derived from the pion-nucleon Lagrangian of chiral-perturbation theory. Then, from the background contributions, we build a high-energy model using a Regge approach. The low- and high-energy models are combined, in a phenomenological way, into a hybrid model. [Results] The Hybrid model is identical to the low-energy model in the low-W region, but, for W>2 GeV, it implements the desired high-energy behavior dictated by Regge theory. We have tested the high-energy model by comparing with one-pion production data from electron and neutrino reactions. The Hybrid model is compared with electron-proton scattering data, with neutrino SPP data and with the predictions of the NuWro Monte Carlo event generator. [Conclusions] Our model is able to provide satisfactory predictions of the electroweak one-pion production cross section from pion threshold to high $W$. Further investigation and more data are needed to better understand the mechanisms playing a role in the electroweak SPP process in the high-W region, in particular, those involving the axial current contributions.


title: Five-loop quark mass and field anomalous dimensions for a general gauge group

abstract: We present analytical five-loop results for the quark mass and quark field anomalous dimensions, for a general gauge group and in the MSbar scheme. We confirm the values known for the gauge group SU(3) from an independent calculation, and find full agreement with results available from large-Nf studies.


title: Multiscale Modelling of Lytic Polysaccharide Monooxygenases

abstract: Lytic polysaccharide monooxygenase (LPMO) enzymes have attracted considerable attention due to their ability to enhance polysaccharide depolymerization, making them interesting in respect to production of biofuel from cellulose. The LPMOs are metalloenzymes that contain a mononuclear copper active site that can active dioxygen. However, many details of this activation are unclear, and have previously been investigated from a computational angle. Yet, these studies have either employed only molecular mechanics (MM), which are inaccurate for metal active sites, or they have described only the active site with quantum mechanics (QM) and neglected the effect of the protein. Here, we employ hybrid QM and MM (QM/MM) methods to investigate the first steps of the LPMO mechanism, which is reduction of of Cu(II) to Cu(I) and formation of a Cu(II)-superoxide complex. In the latter complex, the superoxide can bind either in an equatorial or an axial position. For both steps we obtain structures that are markedly different from previous suggestions, based on vacuum calculations. Our calculations show that the equatorial isomer of the superoxide complex is over 60 kJ/mol more stable than the axial isomer, being stabilized by interactions with a second-coordination-sphere Gln residue, showing a possible role for this residue. Coordination of superoxide in this manner is in agreement with recent experimental suggestions.


title: Durfee rectangles and pseudo-Wronskian equivalences for Hermite polynomials

abstract: We study an equivalence class of iterated rational Darboux transformations applied on the harmonic oscillator, showing that many choices of state adding and state deleting transformations lead to the same transformed potential. As a by-product, we derive new identities between determinants whose entries are Hermite polynomials. These identities have a combinatorial interpretation in terms of Maya diagrams, partitions and Durfee rectangles, and serve to characterize the equivalence class of rational Darboux transformations. Since the determinants have different orders, we analyze the problem of finding the minimal order determinant in each equivalence class, or equivalently, the minimum number of Darboux transformations. The solution to this problem has an elegan graphical interpretation. The results are applied to provide alternative and more efficient representations for exceptional Hermite polynomials and rational solutions of the Painlev\'e IV equation.


title: On the crucial impact of the coupling projector-backprojector in iterative tomographic reconstruction

abstract: The performance of an iterative reconstruction algorithm for X-ray tomography is strongly determined by the features of the used forward and backprojector. For this reason, a large number of studies has focused on the to design of projectors with increasingly higher accuracy and speed. To what extent the accuracy of an iterative algorithm is affected by the mathematical affinity and the similarity between the actual implementation of the forward and backprojection, referred here as "coupling projector-backprojector", has been an overlooked aspect so far. The experimental study presented here shows that the reconstruction quality and the convergence of an iterative algorithm greatly rely on a good matching between the implementation of the tomographic operators. In comparison, other aspects like the accuracy of the standalone operators, the usage of physical constraints or the choice of stopping criteria may even play a less relevant role.


title: Radiative heat transfer between metallic gratings using adaptive spatial resolution

abstract: We calculate the radiative heat transfer between two identical metallic one-dimensional lamellar gratings. To this aim we present and exploit a modification to the widely-used Fourier modal method, known as adaptive spatial resolution, based on a stretch of the coordinate associated to the periodicity of the grating. We first show that this technique dramatically improves the rate of convergence when calculating the heat flux, allowing to explore smaller separations. We then present a study of heat flux as a function of the grating height, highlighting a remarkable amplification of the exchanged energy, ascribed to the appearance of spoof-plasmon modes, whose behavior is also spectrally investigated. Differently from previous works, our method allows us to explore a range of grating heights extending over several orders of magnitude. By comparing our results to recent studies we find a consistent quantitative disagreement with some previously obtained results going up to 50\%. In some cases, this disagreement is explained in terms of an incorrect connection between the reflection operators of the two gratings.


title: Bulk viscous corrections to photon production in the quark-gluon plasma

abstract: Photons radiated in heavy-ion collisions are a penetrating probe, and as such can play an important role in the determination of the quark-gluon plasma (QGP) transport coefficients. In this work we calculate the bulk viscous correction to photon production in two-to-two scattering reactions. Phase-space integrals describing the bulk viscous correction are evaluated explicitly in order to avoid the forward scattering approximation which is shown to be poor for photons at lower energies. We furthermore present hydrodynamical simulations of AA collisions focusing on the effect of this calculation on photonic observables. Bulk corrections are shown to reduce the elliptic flow of photons at higher $p_T$.


title: Computing solutions of linear Mahler equations

abstract: Mahler equations relate evaluations of the same function $f$ at iterated $b$th powers of the variable. They arise in particular in the study of automatic sequences and in the complexity analysis of divide-and-conquer algorithms. Recently, the problem of solving Mahler equations in closed form has occurred in connection with number-theoretic questions. A difficulty in the manipulation of Mahler equations is the exponential blow-up of degrees when applying a Mahler operator to a polynomial. In this work, we present algorithms for solving linear Mahler equations for series, polynomials, and rational functions, and get polynomial-time complexity under a mild assumption. Incidentally, we develop an algorithm for computing the gcrd of a family of linear Mahler operators.


title: Edge-exchangeable graphs and sparsity (NIPS 2016)

abstract: Many popular network models rely on the assumption of (vertex) exchangeability, in which the distribution of the graph is invariant to relabelings of the vertices. However, the Aldous-Hoover theorem guarantees that these graphs are dense or empty with probability one, whereas many real-world graphs are sparse. We present an alternative notion of exchangeability for random graphs, which we call edge exchangeability, in which the distribution of a graph sequence is invariant to the order of the edges. We demonstrate that edge-exchangeable models, unlike models that are traditionally vertex exchangeable, can exhibit sparsity. To do so, we outline a general framework for graph generative models; by contrast to the pioneering work of Caron and Fox (2015), models within our framework are stationary across steps of the graph sequence. In particular, our model grows the graph by instantiating more latent atoms of a single random measure as the dataset size increases, rather than adding new atoms to the measure.


title: Origin of doping-induced suppression and reemergence of magnetism in LaFeAsO$_{1-x}$H$_x$

abstract: We investigate the evolution of magnetic properties as a function of hydrogen doping in iron based superconductor LaFeAsO$_{1-x}$H$_x$ using the dynamical mean-field theory combined with the density-functional theory. We find that two independent consequences of the doping, the increase of the electron occupation and the structural modification, have the opposite effects on the strength of electron correlation and magnetism, resulting in the minimum of the calculated magnetic moment around the intermediate doping level as a function of $x$. Our result provides a natural explanation for the puzzling recent experimental discovery of the two separated antiferromagnetic phases at low and high doping limits. Furthermore, the increase of orbital occupation and correlation strength with the doping results in reduced orbital polarization of $d_{xz/yz}$ orbitals and the enhanced role of $d_{xy}$ orbital in the magnetism at high doping levels, and their possible implications to the superconductivity are discussed in line with the essential role of the magnetism.


title: Relation-theoretic contraction principle in metric-like as well as partial metric spaces

abstract: In this paper, we extend the Banach contraction principle to metric-like as well as partial metric spaces (not essentially complete) equipped with an arbitrary binary relation. Thereafter, we derive some fixed point results which are sharper versions of the corresponding known results of the existing literature. Finally, we use an example to demonstrate our main result.


title: Unimodal Gorenstein h-vectors without the Stanley-Iarrobino property

abstract: The study of the $h$-vectors of graded Gorenstein algebras is an important topic in combinatorial commutative algebra, which despite the large amount of literature produced during the last several years, still presents many interesting open questions. In this note, we commence a study of those unimodal Gorenstein $h$-vectors that do \emph{not} satisfy the Stanley-Iarrobino property. Our main results, which are characteristic free, show that such $h$-vectors exist: 1) In socle degree $e$ if and only if $e\ge 6$; and 2) In every codimension five or greater. The main case that remains open is that of codimension four, where no Gorenstein $h$-vector is known without the Stanley-Iarrobino property. We conclude by proposing the following very general conjecture: The existence of any arbitrary level $h$-vector is \emph{independent} of the characteristic of the base field.


title: Two-weight codes from trace codes over $R_k$

abstract: We construct a family of two-Lee-weight codes over the ring $R_k,$ which is defined as trace codes with algebraic structure of abelian codes. The Lee weight distribution of the two-weight codes is given. Taking the Gray map, we obtain optimal abelian binary two-weight codes by using the Griesmer bound. An application to secret sharing schemes is also given.


title: Homotopy invariance of the Conley index and local Morse homology in Hilbert spaces

abstract: In this paper we introduce a new compactness condition - Property (C) - for flows in (not necessary locally compact) metric spaces. For such flows a Conley type theory can be developed. For example (regular) index pairs always exist for Property-(C) flows and a Conley index can be defined. An important class of flows satisfying this compactness condition are LS-flows. We apply E-cohomology to index pairs of LS-flows and obtain the E-cohomological Conley index. We formulate a continuation principle for the E-cohomological Conley index and show that all LS-flows can be continued to LS-gradient flows. We show that the Morse homology of LS-gradient flows computes the E-cohomological Conley index. We use Lyapunov functions to define the Morse-Conley-Floer cohomology in this context, and show that it is also isomorphic to the E-cohomological Conley index.


title: Extreme prices in electricity balancing markets from an approach of statistical physics

abstract: An increase in energy production from renewable energy sources is viewed as a crucial achievement in most industrialized countries. The higher variability of power production via renewables leads to a rise in ancillary service costs over the power system, in particular costs within the electricity balancing markets, mainly due to an increased number of extreme price spikes. This study focuses on forecasting the behavior of price and volumes of the Italian balancing market in the presence of an increased share of renewable energy sources. Starting from configurations of load and power production, which guarantee a stable performance, we implement fluctuations in the load and in renewables; in particular we artificially increase the contribution of renewables as compared to conventional power sources to cover the total load. We then forecast the amount of provided energy in the balancing market and its fluctuations, which are induced by production and consumption. Within an approach of agent based modeling we estimate the resulting energy prices and costs. While their average values turn out to be only slightly affected by an increased contribution from renewables, the probability for extreme price events is shown to increase along with undesired peaks in the costs.


title: Approximation of the Partition Number After Hardy and Ramanujan: An Application of Data Fitting Method in Combinatorics

abstract: Sometimes we need the approximate value of the partition number in a simple and efficient way. There are already several formulae to calculate the partition number p(n). But they are either inconvenient for most people (not majored in math) who do not want do write programs, or unsatisfying in accuracy. By bringing in two parameters in the Hardy-Ramanujan's Asymptotic formula and fitting the data of the two parameters by least square method, iteration method and some other special designed methods, several revised elementary estimation formulae with high accuracy for p(n) are obtained. With these estimation formulae, the approximate value of p(n) can be calculated by a pocket calculator without programming function. The main difficulty is that the usual methods to fit the data of the two parameters by an elementary function is defective here. These method could be used in finding the fitting functions of some other complex data.


title: Phase Diagram of Boron Carbide With Variable Carbon Composition

abstract: Boron carbide exhibits intrinsic substitutional disorder over a broad composition range. The structure consists of 12-atom icosahedra placed at the vertices of a rhombohedral lattice, together with a 3-atom chain along the 3-fold axis. In the high carbon limit, one or two carbons can replace borons on the icosahedra while the chains are primarily of type C-B-C. We fit an interatomic pair interaction model to density functional theory total energies to investigate the substitutional carbon disorder. Monte Carlo simulations with sampling improved by replica exchange and augmented by 2d multiple histogram analysis, predicts three phases. The low temperature, high carbon composition monoclinic Cm "tilted polar" structure disorders through a pair of phase transitions, first via an Ising-like transition to a "bipolar" state with space group C2/m, then via a first order 3-state Potts-like transition to the experimentally observed "nonpolar" \bar{R}3m symmetry.


title: Discrete Multichannel Scattering with step-like potential

abstract: We study direct and inverse scattering problem for systems of interacting particles, having web-like structure. Such systems consist of a finite number of semi-infinite chains attached to the central part formed by a finite number of particles. We assume that the semi-infinite channels are homogeneous at infinity, but the limit values of the coefficients may vary from one chain to another.


title: ARC: An open-source library for calculating properties of alkali Rydberg atoms

abstract: We present an object-oriented Python library for computation of properties of highly-excited Rydberg states of alkali atoms. These include single-body effects such as dipole matrix elements, excited-state lifetimes (radiative and black-body limited) and Stark maps of atoms in external electric fields, as well as two-atom interaction potentials accounting for dipole and quadrupole coupling effects valid at both long and short range for arbitrary placement of the atomic dipoles. The package is cross-referenced to precise measurements of atomic energy levels and features extensive documentation to facilitate rapid upgrade or expansion by users. This library has direct application in the field of quantum information and quantum optics which exploit the strong Rydberg dipolar interactions for two-qubit gates, robust atom-light interfaces and simulating quantum many-body physics, as well as the field of metrology using Rydberg atoms as precise microwave electrometers.

categories: physics.atom-ph physics.atm-clus physics.comp-ph quant-ph


title: Sojourn times and fixation dynamics in multi-player games with fluctuating environments

abstract: We study evolutionary multi-player games in finite populations, subject to fluctuating environments. The population undergoes a birth-death process with absorbing states, and the environment follows a Markovian process, resulting in a fluctuating payoff matrix for the evolutionary game. Our focus is on the fixation or extinction of a single mutant in a population of wildtypes. We show that the nonlinear nature of fitnesses in multi-player games gives rise to an intricate interplay of selection, genetic drift and environmental fluctuations. This generates effects not seen in simpler two-player games. To analyse trajectories towards fixation we analytically calculate sojourn times for general birth-death processes in populations of two types of individuals and in fluctuating environments.


title: A general purpose algorithm for counting simple cycles and simple paths of any length

abstract: We describe a general purpose algorithm for counting simple cycles and simple paths of any length $\ell$ on a (weighted di)graph on $N$ vertices and $M$ edges, achieving a time complexity of $O\left(N+M+\big(\ell^\omega+\ell\Delta\big) |S_\ell|\right)$. In this expression, $|S_\ell|$ is the number of (weakly) connected induced subgraphs of $G$ on at most $\ell$ vertices, $\Delta$ is the maximum degree of any vertex and $\omega$ is the exponent of matrix multiplication. We compare the algorithm complexity both theoretically and experimentally with most of the existing algorithms for the same task. These comparisons show that the algorithm described here is the best general purpose algorithm for the class of graphs where $(\ell^{\omega-1}\Delta^{-1}+1) |S_\ell|\leq |\text{Cycle}_\ell|$, with $|\text{Cycle}_\ell|$ the total number of simple cycles of length at most $\ell$, including backtracks and self-loops. On Erd\H{o}s-R\'enyi random graphs, we find empirically that this happens when the edge probability is larger than circa $4/N$. In addition, we show that some real-world networks also belong to this class. Finally, the algorithm permits the enumeration of simple cycles and simple paths on networks where vertices are labeled from an alphabet on $n$ letters with a time complexity of $O\left(N+M+\big(n^\ell\ell^\omega+\ell\Delta\big) |S_\ell|\right)$. A Matlab implementation of the algorithm proposed here is available for download.


title: Representation of the German transmission grid for Renewable Energy Sources impact analysis

abstract: The increasing impact of fossil energy generation on the Earth ecological balance is pointing to the need of a transition in power generation technology towards the more clean and sustainable Renewable Energy Sources (RES). This transition is leading to new paradigms and technologies useful for the effective energy transmission and distribution, which take into account the RES stochastic power output. In this scenario, the availability of up to date and reliable datasets regarding topological and operative parameters of power systems in presence of RES are needed, for both proposing and testing new solutions. In this spirit, I present here a dataset regarding the German 380 KV grid which contains fully DC Power Flow operative states of the grid in the presence of various amounts of RES share, ranging from realistic up to 60\%, which can be used as reference dataset for both steady state and dynamical analysis.


title: Deep Reinforcement Learning with Successor Features for Navigation across Similar Environments

abstract: In this paper we consider the problem of robot navigation in simple maze-like environments where the robot has to rely on its onboard sensors to perform the navigation task. In particular, we are interested in solutions to this problem that do not require localization, mapping or planning. Additionally, we require that our solution can quickly adapt to new situations (e.g., changing navigation goals and environments). To meet these criteria we frame this problem as a sequence of related reinforcement learning tasks. We propose a successor feature based deep reinforcement learning algorithm that can learn to transfer knowledge from previously mastered navigation tasks to new problem instances. Our algorithm substantially decreases the required learning time after the first task instance has been solved, which makes it easily adaptable to changing environments. We validate our method in both simulated and real robot experiments with a Robotino and compare it to a set of baseline methods including classical planning-based navigation.


title: Fundamental polytopes of metric trees via parallel connections of matroids

abstract: We tackle the problem of a combinatorial classification of finite metric spaces via their fundamental polytopes, as suggested by Vershik in 2010. In this paper we consider a hyperplane arrangement associated to every split pseudometric and, for tree-like metrics, we study the combinatorics of its underlying matroid. We give explicit formulas for the face numbers of fundamental polytopes and Lipschitz polytopes of all tree-like metrics, and we characterize the metric trees for which the fundamental polytope is simplicial.


title: Supervised Quantum Learning without Measurements

abstract: We propose a quantum machine learning algorithm for efficiently solving a class of problems encoded in quantum controlled unitary operations. The central physical mechanism of the protocol is the iteration of a quantum time-delayed equation that introduces feedback in the dynamics and eliminates the necessity of intermediate measurements. The performance of the quantum algorithm is analyzed by comparing the results obtained in numerical simulations with the outcome of classical machine learning methods for the same problem. The use of time-delayed equations enhances the toolbox of the field of quantum machine learning, which may enable unprecedented applications in quantum technologies.

categories: quant-ph cond-mat.mes-hall cond-mat.supr-con cs.AI stat.ML


title: A new cut-based genetic algorithm for graph partitioning applied to cell formation

abstract: Cell formation is a critical step in the design of cellular manufacturing systems. Recently, it was tackled using a cut-based-graph-partitioning model. This model meets real-life production systems requirements as it uses the actual amount of product flows, it looks for the suitable number of cells, and it takes into account the natural constraints such as operation sequences, maximum cell size, cohabitation and non-cohabitation constraints. Based on this model, we propose an original encoding representation to solve the problem by using a genetic algorithm. We discuss the performance of this new GA in comparison to some approaches taken from the literature on a set of medium sized instances. Given the results we obtained, it is reasonable to assume that the new GA will provide similar results for large real-life problems. Keywords: Group Technology, Manufacturing Cell Formation, Graph Partitioning, Graph Cuts, Genetic Algorithm, Encoding representation.