title: The equivalence theory for infinite type hypersurfaces in $\mathbb C^2$

abstract: We develop a classification theory for real-analytic hypersurfaces in $\mathbb C^2$ in the case when the hypersurface is of {\em infinite type} at the reference point. This is the remaining, not yet understood case in $\mathbb C^2$ in the {\it Probl\`eme local}, formulated by H.\,Poincar\'e in 1907 and asking for a complete biholomorphic classification of real hypersurfaces in complex space. One novel aspect of our results, appearing in this revised version, is a notion of {\em smooth normal forms} for real-analytic hypersurfaces. We rely fundamentally on the recently developed CR -- DS technique in CR-geometry.


title: First ALMA maps of HCO, an important precursor of complex organic molecules, towards IRAS 16293-2422

abstract: The formyl radical HCO has been proposed as the basic precursor of many complex organic molecules such as methanol (CH$_3$OH) or glycolaldehyde (CH$_2$OHCHO). Using ALMA, we have mapped, for the first time at high angular resolution ($\sim$1$^{\prime\prime}$, $\sim$140 au), HCO towards the Solar-type protostellar binary IRAS 16293$-$2422, where numerous complex organic molecules have been previously detected. We also detected several lines of the chemically related species H$_2$CO, CH$_3$OH and CH$_2$OHCHO. The observations revealed compact HCO emission arising from the two protostars. The line profiles also show redshifted absorption produced by foreground material of the circumbinary envelope that is infalling towards the protostars. Additionally, IRAM 30m single-dish data revealed a more extended HCO component arising from the common circumbinary envelope. The comparison between the observed molecular abundances and our chemical model suggests that whereas the extended HCO from the envelope can be formed via gas-phase reactions during the cold collapse of the natal core, the HCO in the hot corinos surrounding the protostars is predominantly formed by the hydrogenation of CO on the surface of dust grains and subsequent thermal desorption during the protostellar phase. The derived abundance of HCO in the dust grains is high enough to produce efficiently more complex species such as H$_2$CO, CH$_3$OH, and CH$_2$OHCHO by surface chemistry. We found that the main formation route of CH$_2$OHCHO is the reaction between HCO and CH$_2$OH.


title: Probabilistic Parameterized Polynomial Time

abstract: We examine a parameterized complexity class for randomized computation where only the error bound and not the full runtime is allowed to depend more than polynomially on the parameter, based on a proposal by Kwisthout in [15,16]. We prove that this class, for which we propose the shorthand name PPPT, has a robust definition and is in fact equal to the intersection of the classes paraBPP and PP. This result is accompanied by a Cook-style proof of completeness for the corresponding promise class (under a suitable notion of reduction) for parameterized approximation versions of the inference problem in Bayesian networks, which is known to be PP-complete. With these definitions and results in place, we proceed by showing how it follows from this that derandomization is equivalent to efficient deterministic approximation methods for the inference problem. Furthermore, we observe as a straightforward application of a result due to Drucker in [8] that these problems cannot have polynomial size randomized kernels unless the polynomial hierarchy collapses to the third level. We conclude by indicating potential avenues for further exploration and application of this framework.


title: On some modifications of n-th von Neumann-Jordan constant for banach spaces

abstract: There are discussed some modifications of n-th von Neumann-Jordan constant considered by M. Kato, Y. Takahashi and K. Hashimoto. We study, among others, upper, lower, upper modified and lower modified n-th von Neumann-Jordan constant and relationships between them. There are characterized uniformly non-l_{n}^{1} Banach spaces in terms of the upper modified n-th von Neumann-Jordan constant. Moreover, this constant is calculated explicitly for Lebesgue spaces L^{p} and l^{p} (1\leq p\leq oo).


title: Comment on "A continuous topological phase transition between 1D antiferromagnetic spin-1 boson superfluids" by W. Ji and X.-G. Wen

abstract: This is a comment on the preprint arXiv:1809.07771v2 by W. Ji and X.-G. Wen.


title: Ramanujan expansions of arithmetic functions of several variables over $\mathbb{F}_{q}[T]$

abstract: Let $\mathbb{A}=\mathbb{F}_{q}[T]$ be the polynomial ring over finite field $\mathbb{F}_{q}$, and $\mathbb{A}_{+}$ be the set of monic polynomials in $\mathbb{A}$. In this paper, we show that a large class of arithmetic functions in multi-variables over $\mathbb{A}_{+}$ can be expanded through the polynomial Ramanujan sums and the unitary polynomial Ramanujan sums. These are analogues of classical results over $\mathbb{N}$ by Winter, Delange and T\'oth.


title: Revisiting size effects in higher education research productivity

abstract: The potential occurrence of variable returns to size in research activity is a factor to be considered in choices about the size of research organizations and also in the planning of national research assessment exercises, so as to avoid favoring those organizations that would benefit from such occurrence. The aim of the current work is to improve on weaknesses in past inquiries concerning returns to size through application of a research productivity measurement methodology that is more accurate and robust. The method involves field-standardized measurements that are free of the typical distortions of aggregate measurement by discipline or organization. The analysis is conducted for 183 hard science fields in all 77 Italian universities (time period 2004-2008) and allows detection of potential differences by field.


title: Curved spacetime effective field theory (cEFT) -- construction with the heat kernel method

abstract: In the presented paper we tackle the problem of the effective field theory in curved spacetime (cEFT) construction. To this end, we propose to use the heat kernel method. After introducing the general formalism based on the well established formulas known from the application of the heat kernel method to deriving the one-loop effective action in curved spacetime, we tested it on selected problems. The discussed examples were chosen to serve as a check of validity of the derived formulas by comparing the obtained results to the known flat spacetime calculations. On the other hand, they allowed us to obtain new results concerning the influence of the gravity induced operators on the effective field theory without unnecessary calculational complications.


title: Relationship between Rheology and Structure of Interpenetrating, Deforming and Compressing Microgels

abstract: Thermosensitive microgels are widely studied hybrid systems combining properties of polymers and colloidal particles in a unique way. Due to their complex morphology their interactions and packing, and consequentially the viscoelastcity of suspensions made from microgels, are still not fully understood, in particular under dense packing conditions. Here we study the frequency-dependent linear viscoelastic properties of dense microgel suspensions in conjunction with an analysis of the local particle structure and morphology based on superresolution microscopy. By identifying the dominating mechanisms that control the elastic and dissipative response, we propose a unified framework that can explain the rheology of these widely studied soft particle assemblies from the onset of elasticity deep into the overpacked regime. Our results clarify the transition and coupling between the regime dominated by fuzzy shell interactions and the one controlled by the densely cross-linked core.


title: A sensitivity analysis of researchers' productivity rankings to the time of citation observation

abstract: In this work we investigate the sensitivity of individual researchers' productivity rankings to the time of citation observation. The analysis is based on observation of research products for the 2001-2003 triennium for all research staff of Italian universities in the hard sciences, with the year of citation observation varying from 2004 to 2008. The 2008 rankings list is assumed the most accurate, as citations have had the longest time to accumulate and thus represent the best possible proxy of impact. By comparing the rankings lists from each year against the 2008 benchmark we provide policy-makers and research organization managers a measure of trade-off between timeliness of evaluation execution and accuracy of performance rankings. The results show that with variation in the evaluation citation window there are variable rates of inaccuracy across the disciplines of researchers. The inaccuracy results negligible for Physics, Biology and Medicine.


title: Power-law energy level-spacing distributions in fractals

abstract: In this article we investigate the energy spectrum statistics of fractals at the quantum level. We show that the energy-level distribution of a fractal follows a power-law behaviour, if its energy spectrum is a limit set of piece-wise linear functions. We propose that such a behaviour is a general feature of fractals, which can not be described properly by random matrix theory. Several other arguments for the power-law behaviour of the energy level-spacing distributions are proposed.


title: Data Integration for Supporting Biomedical Knowledge Graph Creation at Large-Scale

abstract: In recent years, following FAIR and open data principles, the number of available big data including biomedical data has been increased exponentially. In order to extract knowledge, these data should be curated, integrated, and semantically described. Accordingly, several semantic integration techniques have been developed; albeit effective, they may suffer from scalability in terms of different properties of big data. Even scaled-up approaches may be highly costly because tasks of semantification, curation and integration are performed independently. In order to overcome these issues, we devise ConMap, a semantic integration approach which exploits knowledge encoded in ontology in order to describe mapping rules to perform these tasks at the same time. Experimental results performed on different data sets suggest that ConMap can significantly reduce the time required for knowledge graph creation by up to 70\% of the time that is consumed following a traditional approach.


title: Exact multiplicative updates for convolutional $\beta$-NMF in 2D

abstract: In this paper, we extend the $\beta$-CNMF to two dimensions and derive exact multiplicative updates for its factors. The new updates generalize and correct the nonnegative matrix factor deconvolution previously proposed by Schmidt and M{\o}rup. We show by simulation that the updates lead to a monotonically decreasing $\beta$-divergence in terms of the mean and the standard deviation and that the corresponding convergence curves are consistent across the most common values for $\beta$.


title: Matrix Completion With Variational Graph Autoencoders: Application in Hyperlocal Air Quality Inference

abstract: Inferring air quality from a limited number of observations is an essential task for monitoring and controlling air pollution. Existing inference methods typically use low spatial resolution data collected by fixed monitoring stations and infer the concentration of air pollutants using additional types of data, e.g., meteorological and traffic information. In this work, we focus on street-level air quality inference by utilizing data collected by mobile stations. We formulate air quality inference in this setting as a graph-based matrix completion problem and propose a novel variational model based on graph convolutional autoencoders. Our model captures effectively the spatio-temporal correlation of the measurements and does not depend on the availability of additional information apart from the street-network topology. Experiments on a real air quality dataset, collected with mobile stations, shows that the proposed model outperforms state-of-the-art approaches.


title: On the geometric structures of transmission eigenfunctions with a conductive boundary condition and applications

abstract: This paper is concerned with the intrinsic geometric structures of conductive transmission eigenfunctions. The geometric properties of interior transmission eigenfunctions were first studied in [9]. It is shown in two scenarios that the interior transmission eigenfunction must be locally vanishing near a corner of the domain with an interior angle less than $\pi$. We significantly extend and generalize those results in several aspects. First, we consider the conductive transmission eigenfunctions which include the interior transmission eigenfunctions as a special case. The geometric structures established for the conductive transmission eigenfunctions in this paper include the results in [9] as a special case. Second, the vanishing property of the conductive transmission eigenfunctions is established for any corner as long as its interior angle is not $\pi$ when the conductive transmission eigenfunctions satisfy certain Herglotz functions approximation properties. That means, as long as the corner singularity is not degenerate, the vanishing property holds if the underlying conductive transmission eigenfunctions can be approximated by a sequence of Herglotz functions under mild approximation rates. Third, the regularity requirements on the interior transmission eigenfunctions in [9] are significantly relaxed in the present study for the conductive transmission eigenfunctions. Finally, as an interesting and practical application of the obtained geometric results, we establish a unique recovery result for the inverse problem associated with the transverse electromagnetic scattering by a single far-field measurement in simultaneously determining a polygonal conductive obstacle and its surface conductive parameter.


title: The equivalence of two tax processes

abstract: We introduce two models of taxation, the latent and natural tax processes, which have both been used to represent loss-carry-forward taxation on the capital of an insurance company. In the natural tax process, the tax rate is a function of the current level of capital, whereas in the latent tax process, the tax rate is a function of the capital that would have resulted if no tax had been paid. Whereas up to now these two types of tax processes have been treated separately, we show that, in fact, they are essentially equivalent. This allows a unified treatment, translating results from one model to the other. Significantly, we solve the question of existence and uniqueness for the natural tax process, which is defined via an integral equation. Our results clarify the existing literature on processes with tax.


title: The mass of Albireo Aa and the nature of Albireo AB: New aspects from Gaia DR2

abstract: Aims: We aim to clarify the nature of Albireo AB and specifically to decipher whether it is an optical or physical pair. We also try to determine the mass of Albireo Aa. Methods: We scrutinize and compare the available absolute astrometric data (from Hipparcos and Gaia DR2) of Albireo A and B, and we investigate the relative orbit of the pair Albireo Aa,Ac using orbit solutions based on ground-based interferometric measurements. Results: The mass of Albireo Aa (K3 II) is surprisingly small; only an upper limit of about 0.7 solar masses could be derived. The systemic proper motion of Aa,Ac differs from that of component B by about 10 mas/year with an uncertainty of less than 2 mas/year. Albireo AB is therefore most probably an optical double. Conclusions: Specific astrometric and spectroscopic follow-up observations clarifying the surprising mass estimate for Albireo Aa are recommended.


title: Non-thermal emission from massive star forming regions: A possible SNR candidate G351.7-1.2?

abstract: We present low frequency wide band observations (300-500 MHz) of the star forming complex G351.7-1.2 using upgraded Giant Metrewave Radio Telescope (uGMRT), India. Combining this with the optical, infrared and submillimeter data, we analyse the large scale diffuse radio emission associated with the region that exhibits a broken shell morphology. The spectral index of the emission in the shell is -0.8, indicating non-thermal emission. H-alpha emission that mimics the morphology of the radio shell on a smaller scale is also detected here. Based on the non-thermal emission from the radio shell and the presence of its optical counterpart, we classify G351.7-1.2 as a candidate SNR. A gamma-ray source detected by Fermi LAT (1FGLJ1729.1-3641c) is located towards the south-west of the radio shell and could have a possible origin in the interaction between high velocity particles from the SNR and the ambient molecular cloud.


title: Localization in spin chains with facilitation constraints and disordered interactions

abstract: Quantum many-body systems with kinetic constraints exhibit intriguing relaxation dynamics. Recent experimental progress in the field of cold atomic gases offers a handle for probing collective behavior of such systems, in particular for understanding the interplay between constraints and disorder. Here we explore a spin chain with facilitation constraints --- a feature which is often used to model classical glass formers --- together with disorder that originates from spin-spin interactions. The specific model we study, which is realized in a natural fashion in Rydberg quantum simulators, maps onto an XX-chain with non-local disorder. Our study shows that the combination of constraints and seemingly unconventional disorder may lead to interesting non-equilibrium behaviour in experimentally relevant setups.


title: The Leutwyler-Smilga relation on the lattice

abstract: According to the Leutwyler-Smilga relation, in Quantum Chromodynamics (QCD) the topological susceptibility vanishes linearly with the quark masses. Calculations of the topological susceptibility in the context of lattice QCD, extrapolated to zero quark masses, show a remnant non-zero value as a lattice artefact. Employing the Atiyah-Singer theorem in the framework of Symanzik's effective action and chiral perturbation theory, we show the validity of the Leutwyler-Smilga relation in lattice QCD with lattice artefacts of order $a^2$ in the lattice spacing $a$.


title: Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels

abstract: Pregel's vertex-centric model allows us to implement many interesting graph algorithms, where optimization plays an important role in making it practically useful. Although many optimizations have been developed for dealing with different performance issues, it is hard to compose them together to optimize complex algorithms, where we have to deal with multiple performance issues at the same time. In this paper, we propose a new approach to composing optimizations, by making use of the \emph{channel} interface, as a replacement of Pregel's message passing and aggregator mechanism, which can better structure the communication in Pregel algorithms. We demonstrate that it is convenient to optimize a Pregel program by simply using a proper channel from the channel library or composing them to deal with multiple performance issues. We intensively evaluate the approach through many nontrivial examples. By adopting the channel interface, our system achieves an all-around performance gain for various graph algorithms. In particular, the composition of different optimizations makes the S-V algorithm 2.20x faster than the current best implementation.


title: Fast and exact analysis for LRU caches

abstract: For applications in worst-case execution time analysis and in security, it is desirable to statically classify memory accesses into those that result in cache hits, and those that result in cache misses. Among cache replacement policies, the least recently used (LRU) policy has been studied the most and is considered to be the most predictable. The state-of-the-art in LRU cache analysis presents a tradeoff between precision and analysis efficiency: The classical approach to analyzing programs running on LRU caches, an abstract interpretation based on a range abstraction, is very fast but can be imprecise. An exact analysis was recently presented, but, as a last resort, it calls a model checker, which is expensive. In this paper, we develop an analysis based on abstract interpretation that comes close to the efficiency of the classical approach, while achieving exact classification of all memory accesses as the model-checking approach. Compared with the model-checking approach we observe speedups of several orders of magnitude. As a secondary contribution we show that LRU cache analysis problems are in general NP-complete.


title: Quantum spin liquid at finite temperature: proximate dynamics and persistent typicality

abstract: Quantum spin liquids are long-range entangled states of matter with emergent gauge fields and fractionalized excitations. While candidate materials, such as the Kitaev honeycomb ruthenate $\alpha$-RuCl$_3$, show magnetic order at low temperatures $T$, here we demonstrate numerically a dynamical crossover from magnon-like behavior at low $T$ and frequencies $\omega$ to long-lived fractionalized fermionic quasiparticles at higher $T$ and $\omega$. This crossover is akin to the presence of spinon continua in quasi-1D spin chains. It is further shown to go hand in hand with persistent typicality down to very low $T$. This aspect, which has also been observed in the spin-1/2 kagome Heisenberg antiferromagnet, is a signature of proximate spin liquidity and emergent gauge degrees of freedom more generally, and can be the basis for the numerical study of many finite-$T$ properties of putative spin liquids.


title: The distributed complexity of locally checkable problems on paths is decidable

abstract: Consider a computer network that consists of a path with $n$ nodes. The nodes are labeled with inputs from a constant-sized set, and the task is to find output labels from a constant-sized set subject to some local constraints---more formally, we have an LCL (locally checkable labeling) problem. How many communication rounds are needed (in the standard LOCAL model of computing) to solve this problem? It is well known that the answer is always either $O(1)$ rounds, or $\Theta(\log^* n)$ rounds, or $\Theta(n)$ rounds. In this work we show that this question is decidable (albeit PSPACE-hard): we present an algorithm that, given any LCL problem defined on a path, outputs the distributed computational complexity of this problem and the corresponding asymptotically optimal algorithm.


title: Gradedness of the set of rook placements in $A_{n-1}$

abstract: A rook placement is a subset of a root system consisting of positive roots with pairwise non-positive inner products. To each rook placement in a root system one can assign the coadjoint orbit of the Borel subgroup of a reductive algebraic group with this root system. Degenerations of such orbits induce a natural partial order on the set of rook placements. We study combinatorial structure of the set of rook placements in $A_{n-1}$ with respect to a slightly different order and prove that this poset is graded.


title: Bounding the number of vertices in the degree graph of a finite group

abstract: Let $G$ be a finite group, and let ${\rm{cd}}(G)$ denote the set of degrees of the irreducible complex characters of $G$. The degree graph $\Delta(G)$ of $G$ is defined as the simple undirected graph whose vertex set ${\rm{V}}(G)$ consists of the prime divisors of the numbers in ${\rm{cd}}(G)$, two distinct vertices $p$ and $q$ being adjacent if and only if $pq$ divides some number in ${\rm{cd}}(G)$. In this note, we provide an upper bound on the size of ${\rm{V}}(G)$ in terms of the clique number $\omega(G)$ (i.e., the maximum size of a subset of ${\rm{V}}(G)$ inducing a complete subgraph) of $\Delta(G)$. Namely, we show that $|{\rm{V}}(G)|\leq{\rm{max}}\{2\omega(G)+1,\;3\omega(G)-4\}$. Examples are given in order to show that the bound is best possible. This completes the analysis carried out in [1] where the solvable case was treated, extends the results in [3,4,9], and answers a question posed by the first author and H.P. Tong-Viet in [4].


title: The dispersion of research performance within and between universities as a potential indicator of the competitive intensity in higher education systems

abstract: Higher education systems in competitive environments generally present top universities, that are able to attract top scientists, top students and public and private financing, with notable socio-economic benefits in their region. The same does not hold true for non-competitive systems. In this study we will measure the dispersion of research performance within and between universities in the Italian university system, typically non-competitive. We will also investigate the level of correlation that occurs between performance in research and its dispersion in universities. The findings may represent a first benchmark for similar studies in other nations. Furthermore, they lead to policy indications, questioning the effectiveness of selective funding of universities based on national research assessment exercises. The field of observation is composed of all Italian universities active in the hard sciences. Research performance will be evaluated using a bibliometric approach, through publications indexed in the Web of Science between 2004 and 2008.


title: Rationality problem for norm one tori

abstract: We classify stably/retract rational norm one tori in dimension $p-1$ where $p$ is a prime number and in dimension up to ten with some minor exceptions.


title: Transfer entropy computation using the Perron-Frobenius operator

abstract: We propose a method for computing the transfer entropy between time series using Ulam's approximation of the Perron-Frobenius (transfer) operator associated with the map generating the dynamics. Our method differs from standard transfer entropy estimators in that the invariant measure is estimated not directly from the data points but from the invariant distribution of the transfer operator approximated from the data points. For sparse time series and low embedding dimension, the transfer operator is approximated using a triangulation of the attractor, whereas for data-rich time series or higher embedding dimension we use a faster grid approach. We compare the performance of our methods with existing estimators such as the k nearest neighbors method and kernel density estimation method, using coupled instances of well known chaotic systems: coupled logistic maps and a coupled R\"ossler-Lorenz system. We find that our estimators are robust against moderate levels of noise. For sparse time series with less than a hundred observations and low embedding dimension, our triangulation estimator shows improved ability to detect coupling directionality, relative to standard transfer entropy estimators.


title: Percolation of finite clusters and shielded paths

abstract: In independent bond percolation on $\mathbb{Z}^d$ with parameter $p$, if one removes the vertices of the infinite cluster (and incident edges), for which values of $p$ does the remaining graph contain an infinite cluster? Grimmett-Holroyd-Kozma used the triangle condition to show that for $d \geq 19$, the set of such $p$ contains values strictly larger than the percolation threshold $p_c$. With the work of Fitzner-van der Hofstad, this has been reduced to $d \geq 11$. We improve this result by showing that for $d \geq 10$ and some $p>p_c$, there are infinite paths consisting of "shielded" vertices --- vertices all whose adjacent edges are closed --- which must be in the complement of the infinite cluster. Using numerical values of $p_c$, this bound can be reduced to $d \geq 7$. Our methods are elementary and do not require the triangle condition.


title: Magnifications of paired micro-images emerging from a micro-lensing critical curve

abstract: Studies of the inner regions of micro-lensed AGN during caustic crossing events have often relied upon the approximation that the magnification near a fold caustic is inversely proportional to the square root of the source-caustic distance. We examine here the behavior of the individual micro-images (one a micro-minimum, the other a micro-saddle) that emerge as a point source crosses a micro-fold caustic. We provide a variety of statistics on both the behavior of the two newly created micro-images, and some parameters which appear in higher order approximations for the magnification. We compare the predictions of these higher order approximations to the actual image magnifications of our simulations.


title: Biased landscapes for random Constraint Satisfaction Problems

abstract: The typical complexity of Constraint Satisfaction Problems (CSPs) can be investigated by means of random ensembles of instances. The latter exhibit many threshold phenomena besides their satisfiability phase transition, in particular a clustering or dynamic phase transition (related to the tree reconstruction problem) at which their typical solutions shatter into disconnected components. In this paper we study the evolution of this phenomenon under a bias that breaks the uniformity among solutions of one CSP instance, concentrating on the bicoloring of k-uniform random hypergraphs. We show that for small k the clustering transition can be delayed in this way to higher density of constraints, and that this strategy has a positive impact on the performances of Simulated Annealing algorithms. We characterize the modest gain that can be expected in the large k limit from the simple implementation of the biasing idea studied here. This paper contains also a contribution of a more methodological nature, made of a review and extension of the methods to determine numerically the discontinuous dynamic transition threshold.


title: Retrieving Temperatures and Abundances of Exoplanet Atmospheres with High-Resolution Cross-Correlation Spectroscopy

abstract: Hi-resolution spectroscopy (R > 25,000) has recently emerged as one of the leading methods to detect atomic and molecular species in the atmospheres of exoplanets. However, it has so far been lacking in a robust method to extract quantitative constraints on temperature structure and molecular/atomic abundances. In this work we present a novel Bayesian atmospheric retrieval framework applicable to high resolution cross-correlation spectroscopy (HRCCS) that relies upon the cross-correlation between data and models to extract the planetary spectral signal. We successfully test the framework on simulated data and show that it can correctly determine Bayesian credibility intervals on atmospheric temperatures and abundances allowing for a quantitative exploration of the inherent degeneracies. Furthermore, our new framework permits us to trivially combine and explore the synergies between HRCCS and low-resolution spectroscopy (LRS) to provide maximal leverage on the information contained within each. This framework also allows us to quantitatively assess the impact of molecular line opacities at high resolution. We apply the framework to VLT CRIRES K-band spectra of HD 209458 b and HD 189733 b and retrieve abundant carbon monoxide but sub-solar abundances for water, largely invariant under different model assumptions. This confirms previous analysis of these datasets, but is possibly at odds with detections of water at different wavelengths and spectral resolutions. The framework presented here is the first step towards a true synergy between space observatories and ground-based hi-resolution observations.


title: Compact highly efficient 2.1-W continuous-wave mid-IR Fe:ZnSe coherent source pumped by Er:ZBLAN fiber laser

abstract: We report the compact and robust coherent source operating in mid-IR based on Fe:ZnSe chalcogenide gain medium optically pumped by Er:ZBLAN fiber laser. The output power of 2.1 W with 59% slope efficiency with respect to absorbed pump power at liquid nitrogen cooling is achieved. We show that strong re-absorption at high pump power and iron ion doping concentrations leads to the continuous tuning of central wavelength from 4012 to 4198 nm. Robustness of high power Er:ZBLAN fiber laser combined with prominent spectroscopic properties of Fe:ZnSe media pave the way for the development of reliable tunable CW mid-IR sources for scientific and industrial purposes.


title: Supply Chain Management analysis: a simulation approach of the Value Chain Operations Reference model (VCOR)

abstract: The impact of globalization and worldwide competition has forced firms to modify their strategies towards a real time operation with respect to customer's requirements. This behaviour, together with the communication possibilities offered by the actual Information and Communication Technologies, allows the top management to move towards the concept of extended enterprise in which a collaborative link is established among suppliers, commercial partners and customers. When the information flows involve each actor of the chain, from suppliers to the final distribution centers, the extended enterprise becomes a virtual firm, that can be defined as a set of stand-alone operational units that acts to reconfigure themselves as a value chain in order to adapt to the business opportunities given by the market. The present work is intended to verify through a simulation approach the quantitative advantages that can be obtained by the introduction of the Value Chain concept into the Supply Chain Management (SCM). The paper, after a description of the two most known (SCM) methods - SCOR and VCOR - makes a comparison between them by the customer's point of view. In the second part of the work a simulation model has been developed to verify the advantage that the VCOR is able to obtain, validating it on an industrial case study.


title: ${\cal{(P,T)}}$-Odd Tensor-Pseudotensor Interactions in atomic {$^{199}$Hg} and {$^{225}$Ra}

abstract: Highly correlated pure {\it{ab initio}} relativistic configuration interaction theory is in the present paper applied to the calculation of the tensor-pseudotensor ${\cal{(P,T)}}$-violating nucleon-electron interaction constant in the electronic ground states of atomic mercury and radium. The final best obtained results are $R_T$(Hg) = $-4.43$\, [$10^{-20}$ $\left<\sigma_N\right>$ $e$ cm] and $R_T$(Ra) = $-15.0$\, [$10^{-20}$ $\left<\sigma_N\right>$ $e$ cm]. The accuracy of the employed electronic-structure models are confirmed by determining the static electric dipole polarizability $\alpha_d$(Hg) = $35.7$ {\it{a.u.}} which is in accord with the experimental value to about $5$\%. $R_T$(Ra) will be useful for constraining (or obtaining) the ${\cal{(CP)}}$-violating parameter $C_T$ when combined with future measurements of the electric dipole moment of the radium atom.


title: Transitioning from equal-time to light-front quantization in $\phi_2^4$ theory

abstract: We use the interpolating coordinates studied by Hornbostel to investigate a transition from equal-time quantization to light-front quantization, in the context of two-dimensional $\phi^4$ theory. A consistent treatment is found to require careful consideration of vacuum bubbles, in a nonperturbative extension of the analysis by Collins. Numerical calculations of the spectrum at fixed box size are shown to yield results equivalent to those of equal-time quantization, except when the interpolating coordinates are pressed toward the light-front limit. In that regime, a fixed box size is inconsistent with an accurate representation of vacuum-bubble contributions and causes a spurious divergence in the spectrum. The light-front limit instead requires the continuum momentum-space limit of infinite box size. The calculation of the vacuum energy density is then shown to be independent of the interpolation parameter, which implies that the light-front limit yields the same spectrum as an equal-time calculation. This emphasizes the importance of zero modes and near-zero modes in a light-front analysis of any theory with nontrivial vacuum structure.


title: GEMRank: Global Entity Embedding For Collaborative Filtering

abstract: Recently, word embedding algorithms have been applied to map the entities of recommender systems, such as users and items, to new feature spaces using textual element-context relations among them. Unlike many other domains, this approach has not achieved a desired performance in collaborative filtering problems, probably due to unavailability of appropriate textual data. In this paper we propose a new recommendation framework, called GEMRank that can be applied when the user-item matrix is the sole available souce of information. It uses the concept of profile co-occurrence for defining relations among entities and applies a factorization method for embedding the users and items. GEMRank then feeds the extracted representations to a neural network model to predict user-item like/dislike relations which the final recommendations are made based on. We evaluated GEMRank in an extensive set of experiments against state of the art recommendation methods. The results show that GEMRank significantly outperforms the baseline algorithms in a variety of data sets with different degrees of density.


title: Matroid-minor Hopf algebra: a cancellation-free antipode formula and other applications of sign-reversing involutions

abstract: In this paper, we give a cancellation-free antipode formula for the matroid-minor Hopf algebra. We then explore applications of this formula. For example, the cancellation-free formula expresses the antipode of uniform matroids as a sum over certain ordered set partitions. We also prove that all matroids over any hyperfield (in the sense of Baker and Bowler) have cancellation-free antipode formulas; furthermore, the cancellations in the antipode are independent of the hyperfield structure and only depend on the underlying matroid.


title: Collaboration and integration through information technologies in supply chains

abstract: Supply chain management encompasses various processes including various conventional logistics activities, and various other processes These processes are supported -- to a certain limit -- by coordination and integration mechanisms which are long-term strategies that give competitive advantage through overall supply chain efficiency. Information Technology, by the way of collecting, sharing and gathering data, exchanging information, optimising process through package software, is becoming one of the key developments and success of these collaboration strategies. This paper proposes a study to identify the methods used for collaborative works in the supply chain and focuses on some of its areas, as between a company and its suppliers (i.e., inventory sharing) and its customers (i.e., customer demand, forecasting), and also the integration of product information in the value chain.


title: A Data-Driven Customer Segmentation Strategy Based on Contribution to System Peak Demand

abstract: Advanced metering infrastructure (AMI) enables utilities to obtain granular energy consumption data, which offers a unique opportunity to design customer segmentation strategies based on their impact on various operational metrics in distribution grids. However, performing utility-scale segmentation for unobservable customers with only monthly billing information, remains a challenging problem. To address this challenge, we propose a new metric, the coincident monthly peak contribution (CMPC), that quantifies the contribution of individual customers to system peak demand. Furthermore, a novel multi-state machine learning-based segmentation method is developed that estimates CMPC for customers without smart meters (SMs): first, a clustering technique is used to build a databank containing typical daily load patterns in different seasons using the SM data of observable customers. Next, to associate unobservable customers with the discovered typical load profiles, a classification approach is leveraged to compute the likelihood of daily consumption patterns for different unobservable households. In the third stage, a weighted clusterwise regression (WCR) model is utilized to estimate the CMPC of unobservable customers using their monthly billing data and the outcomes of the classification module. The proposed segmentation methodology has been tested and verified using real utility data.


title: Cycle-consistency training for end-to-end speech recognition

abstract: This paper presents a method to train end-to-end automatic speech recognition (ASR) models using unpaired data. Although the end-to-end approach can eliminate the need for expert knowledge such as pronunciation dictionaries to build ASR systems, it still requires a large amount of paired data, i.e., speech utterances and their transcriptions. Cycle-consistency losses have been recently proposed as a way to mitigate the problem of limited paired data. These approaches compose a reverse operation with a given transformation, e.g., text-to-speech (TTS) with ASR, to build a loss that only requires unsupervised data, speech in this example. Applying cycle consistency to ASR models is not trivial since fundamental information, such as speaker traits, are lost in the intermediate text bottleneck. To solve this problem, this work presents a loss that is based on the speech encoder state sequence instead of the raw speech signal. This is achieved by training a Text-To-Encoder model and defining a loss based on the encoder reconstruction error. Experimental results on the LibriSpeech corpus show that the proposed cycle-consistency training reduced the word error rate by 14.7% from an initial model trained with 100-hour paired data, using an additional 360 hours of audio data without transcriptions. We also investigate the use of text-only data mainly for language modeling to further improve the performance in the unpaired data training scenario.


title: Decays of Pentaquarks in Hadrocharmonium and Molecular Pictures

abstract: We consider decays of the hidden charm LHCb pentaquarks in the hadrocharmonium and molecular scenarios. In both pictures the LHCb pentaquarks are essentially nonrelativistic bound states. We develop a semirelativistic framework for calculation of the partial decay widths that allows the final particles to be relativistic. Using this approach we calculate the decay widths in the hadrocharmonium and molecular pictures. Molecular hidden charm pentaquarks are constructed as loosely bound states of charmed and anticharmed hadrons. Calculations show that molecular pentaquarks decay predominantly into states with open charm. Strong suppression of the molecular pentaquark decays into states with hidden charm is qualitatively explained by a relatively large size of the molecular pentaquark. The decay pattern of hadrocharmonium pentaquarks that are interpreted as loosely bound states of excited charmonium $\psi'$ and nucleons is quite different. This time dominate decays into states with hidden charm, but suppression of the decays with charm exchange is weaker than in the respective molecular case. The weaker suppression is explained by a larger binding energy and respectively smaller size of the hadrocharmonium pentaquarks. These results combined with the experimental data on partial decay widths could allow to figure out which of the two theoretical scenarios for pentaquarks (if either) is chosen by nature.


title: The External Interface for Extending WASP

abstract: Answer set programming (ASP) is a successful declarative formalism for knowledge representation and reasoning. The evaluation of ASP programs is nowadays based on the Conflict-Driven Clause Learning (CDCL) backtracking search algorithm. Recent work suggested that the performance of CDCL-based implementations can be considerably improved on specific benchmarks by extending their solving capabilities with custom heuristics and propagators. However, embedding such algorithms into existing systems requires expert knowledge of the internals of ASP implementations. The development of effective solver extensions can be made easier by providing suitable programming interfaces. In this paper, we present the interface for extending the CDCL-based ASP solver WASP. The interface is both general, i.e. it can be used for providing either new branching heuristics and propagators, and external, i.e. the implementation of new algorithms requires no internal modifications of WASP. Moreover, we review the applications of the interface witnessing it can be successfully used to extend WASP for solving effectively hard instances of both real-world and synthetic problems. Under consideration in Theory and Practice of Logic Programming (TPLP).


title: The electronic interface for quantum processors

abstract: Quantum computers can potentially provide an unprecedented speed-up with respect to traditional computers. However, a significant increase in the number of quantum bits (qubits) and their performance is required to demonstrate such quantum supremacy. While scaling up the underlying quantum processor is extremely challenging, building the electronics required to interface such large-scale processor is just as relevant and arduous. This paper discusses the challenges in designing a scalable electronic interface for quantum processors. To that end, we discuss the requirements dictated by different qubit technologies and present existing implementations of the electronic interface. The limitations in scaling up such state-of-the-art implementations are analyzed, and possible solutions to overcome those hurdles are reviewed. The benefits offered by operating the electronic interface at cryogenic temperatures in close proximity to the low-temperature qubits are discussed. Although several significant challenges must still be faced by researchers in the field of cryogenic control for quantum processors, a cryogenic electronic interface appears the viable solution to enable large-scale quantum computers able to address world-changing computational problems.


title: Scalar curvature and an infinite-dimensional hyperk\"ahler reduction

abstract: We discuss a natural extension of the K\"ahler reduction of Fujiki and Donaldson, which realises the scalar curvature of K\"ahler metrics as a moment map, to a hyperk\"ahler reduction. Our approach is based on an explicit construction of hyperk\"ahler metrics due to Biquard and Gauduchon. This extension is reminiscent of how one derives Hitchin's equations for harmonic bundles, and yields real and complex moment map equations which deform the constant scalar curvature K\"ahler (cscK) condition. In the special case of complex curves we recover previous results of Donaldson. We focus on the case of complex surfaces. In particular we show the existence of solutions to the moment map equations on a class of ruled surfaces which do not admit cscK metrics.


title: Giant exciton-phonon coupling and zero-point renormalization in hexagonal monolayer boron nitride

abstract: We report here a giant zero-point energy renormalization of 273 meV in the direct band-gap at $\textbf{K}$ and a 571 meV of blue-shifting in the position of the doubly-degenerate brightest excitonic peak in monolayer hexagonal boron nitride. The non-radiative exciton linewidth is found to be 97 meV at 0K with a large coupling strength of 1.1 eV. This linewidth is found to be mainly dominated by the scattering from the longitudinal optical phonons near the degenerate LO-TO mode, with negligible contributions from other lower branches. Additionally, the band-gap has a temperature dependent slope of -0.53 meVK$^{-1}$, which we found to be in excellent agreement with the reported experimental data on large diameter boron nitride nanotubes. We obtained our results by solving a coupled electron-hole Bethe-Salpeter equation including the lattice vibrational dynamics, purely using ab-initio formalism.


title: Hodge-Riemann relations for Potts model partition functions

abstract: We prove that the Hessians of nonzero partial derivatives of the (homogenous) multivariate Tutte polynomial of any matroid have exactly one positive eigenvalue on the positive orthant when $0<q\leq 1$. Consequences are proofs of the strongest conjecture of Mason and negative dependence properties for $q$-state Potts model partition functions.


title: Learning to Explicitate Connectives with Seq2Seq Network for Implicit Discourse Relation Classification

abstract: Implicit discourse relation classification is one of the most difficult steps in discourse parsing. The difficulty stems from the fact that the coherence relation must be inferred based on the content of the discourse relational arguments. Therefore, an effective encoding of the relational arguments is of crucial importance. We here propose a new model for implicit discourse relation classification, which consists of a classifier, and a sequence-to-sequence model which is trained to generate a representation of the discourse relational arguments by trying to predict the relational arguments including a suitable implicit connective. Training is possible because such implicit connectives have been annotated as part of the PDTB corpus. Along with a memory network, our model could generate more refined representations for the task. And on the now standard 11-way classification, our method outperforms previous state of the art systems on the PDTB benchmark on multiple settings including cross validation.


title: An experimental proposal to study collapse of the wave function in travelling-wave parametric amplifiers

abstract: The read-out of a microwave qubit state occurs using an amplification chain that enlarges the quantum state to a signal detectable with a classical measurement apparatus. However, at what point in this process is the quantum state really 'measured'? In order to investigate whether the `measurement' takes place in the amplification chain, in which a parametric amplifier is often chosen as the first amplifier, it is proposed to construct a microwave interferometer that has such an amplifier added to each of its arms. Feeding the interferometer with single photons, the interference visibility depends on the gain of the amplifiers and whether a measurement collapse has taken place during the amplification process. The visibility as given by standard quantum mechanics is calculated as a function of gain, insertion loss and temperature. We find a visibility of 1/3 in the limit of large gain without taking into account losses, which is reduced to 0.26 in case the insertion loss of the amplifiers is 2.2 dB at a temperature of 50 mK. It is shown that if the wave function collapses within the interferometer, the measured visibility is reduced compared to its magnitude predicted by standard quantum mechanics once this collapse process sets in.


title: A sensitivity analysis of research institutions' productivity rankings to the time of citation observation

abstract: One of the critical issues in bibliometric research assessments is the time required to achieve maturity in citations. Citation counts can be considered a reliable proxy of the real impact of a work only if they are observed after sufficient time has passed from publication date. In the present work the authors investigate the effect of varying the time of citation observation on accuracy of productivity rankings for research institutions. Research productivity measures are calculated for all Italian universities active in the hard sciences in the 2001-2003 period, by individual field and discipline, with the time of the citation observation varying from 2004 to 2008. The objective is to support policy-makers in choosing a citation window that optimizes the tradeoff between accuracy of rankings and timeliness of the exercise.


title: Combining Subgoal Graphs with Reinforcement Learning to Build a Rational Pathfinder

abstract: In this paper, we present a hierarchical path planning framework called SG-RL (subgoal graphs-reinforcement learning), to plan rational paths for agents maneuvering in continuous and uncertain environments. By "rational", we mean (1) efficient path planning to eliminate first-move lags; (2) collision-free and smooth for agents with kinematic constraints satisfied. SG-RL works in a two-level manner. At the first level, SG-RL uses a geometric path-planning method, i.e., Simple Subgoal Graphs (SSG), to efficiently find optimal abstract paths, also called subgoal sequences. At the second level, SG-RL uses an RL method, i.e., Least-Squares Policy Iteration (LSPI), to learn near-optimal motion-planning policies which can generate kinematically feasible and collision-free trajectories between adjacent subgoals. The first advantage of the proposed method is that SSG can solve the limitations of sparse reward and local minima trap for RL agents; thus, LSPI can be used to generate paths in complex environments. The second advantage is that, when the environment changes slightly (i.e., unexpected obstacles appearing), SG-RL does not need to reconstruct subgoal graphs and replan subgoal sequences using SSG, since LSPI can deal with uncertainties by exploiting its generalization ability to handle changes in environments. Simulation experiments in representative scenarios demonstrate that, compared with existing methods, SG-RL can work well on large-scale maps with relatively low action-switching frequencies and shorter path lengths, and SG-RL can deal with small changes in environments. We further demonstrate that the design of reward functions and the types of training environments are important factors for learning feasible policies.


title: Role of Awareness and Universal Context in a Spiking Conscious Neural Network (SCNN): A New Perspective and Future Directions

abstract: Awareness plays a major role in human cognition and adaptive behaviour, though mechanisms involved remain unknown. Awareness is not an objectively established fact, therefore, despite extensive research, scientists have not been able to fully interpret its contribution in multisensory integration and precise neural firing, hence, questions remain: (1) How the biological neuron integrates the incoming multisensory signals with respect to different situations? (2) How are the roles of incoming multisensory signals defined (selective amplification/attenuation) that help neuron(s) to originate a precise neural firing complying with the anticipated behavioural-constraint of the environment? (3) How are the external environment and anticipated behaviour integrated? Recently, scientists have exploited deep learning to integrate multimodal cues and capture context-dependent meanings. Yet, these methods suffer from imprecise behavioural representation. In this research, we introduce a new theory on the role of awareness and universal context that can help answering the aforementioned crucial neuroscience questions. Specifically, we propose a class of spiking conscious neuron in which the output depends on three functionally distinctive integrated input variables: receptive field (RF), local contextual field (LCF), and universal contextual field (UCF). The RF defines the incoming ambiguous sensory signal, LCF defines the modulatory signal coming from other parts of the brain, and UCF defines the awareness. It is believed that the conscious neuron inherently contains enough knowledge about the situation in which the problem is to be solved based on past learning and reasoning and it defines the precise role of incoming multisensory signals to originate a precise neural firing (exhibiting switch-like behaviour). It is shown that the conscious neuron helps modelling a more precise human behaviour.


title: An integralgeometric approach to Dorronsoro estimates

abstract: A theorem of Dorronsoro from 1985 quantifies the fact that a Lipschitz function $f \colon \mathbb{R}^{n} \to \mathbb{R}$ can be approximated by affine functions almost everywhere, and at sufficiently small scales. This paper contains a new, purely geometric, proof of Dorronsoro's theorem. In brief, it reduces the problem in $\mathbb{R}^{n}$ to a problem in $\mathbb{R}^{n - 1}$ via integralgeometric considerations. For the case $n = 1$, a short geometric proof already exists in the literature. A similar proof technique applies to parabolic Lipschitz functions $f \colon \mathbb{R}^{n - 1} \times \mathbb{R} \to \mathbb{R}$. A natural Dorronsoro estimate in this class is known, due to Hofmann. The method presented here allows one to reduce the parabolic problem to the Euclidean one, and to obtain an elementary proof also in this setting. As a corollary, I deduce an analogue of Rademacher's theorem for parabolic Lipschitz functions.


title: National research assessment exercises: a comparison of peer review and bibliometrics rankings

abstract: Development of bibliometric techniques has reached such a level as to suggest their integration or total substitution for classic peer review in the national research assessment exercises, as far as the hard sciences are concerned. In this work we compare rankings lists of universities captured by the first Italian evaluation exercise, through peer review, with the results of bibliometric simulations. The comparison shows the great differences between peer review and bibliometric rankings for excellence and productivity.


title: ReLeQ: A Reinforcement Learning Approach for Deep Quantization of Neural Networks

abstract: Deep Neural Networks (DNNs) typically require massive amount of computation resource in inference tasks for computer vision applications. Quantization can significantly reduce DNN computation and storage by decreasing the bitwidth of network encodings. Recent research affirms that carefully selecting the quantization levels for each layer can preserve the accuracy while pushing the bitwidth below eight bits. However, without arduous manual effort, this deep quantization can lead to significant accuracy loss, leaving it in a position of questionable utility. As such, deep quantization opens a large hyper-parameter space (bitwidth of the layers), the exploration of which is a major challenge. We propose a systematic approach to tackle this problem, by automating the process of discovering the quantization levels through an end-to-end deep reinforcement learning framework (ReLeQ). We adapt policy optimization methods to the problem of quantization, and focus on finding the best design decisions in choosing the state and action spaces, network architecture and training framework, as well as the tuning of various hyperparamters. We show how ReLeQ can balance speed and quality, and provide an asymmetric general solution for quantization of a large variety of deep networks (AlexNet, CIFAR-10, LeNet, MobileNet-V1, ResNet-20, SVHN, and VGG-11) that virtually preserves the accuracy (=< 0.3% loss) while minimizing the computation and storage cost. With these DNNs, ReLeQ enables conventional hardware to achieve 2.2x speedup over 8-bit execution. Similarly, a custom DNN accelerator achieves 2.0x speedup and energy reduction compared to 8-bit runs. These encouraging results mark ReLeQ as the initial step towards automating the deep quantization of neural networks.


title: Assessing the varying level of impact measurement accuracy as a function of the citation window length

abstract: With the passage of more time from the original date of publication, the measure of the impact of scientific works using subsequent citation counts becomes more accurate. However the measurement of individual and organizational research productivity should ideally refer to a period with closing date just prior to the evaluation exercise. Therefore it is necessary to compromise between accuracy and timeliness. This work attempts to provide an order of magnitude for the error in measurement that occurs with decreasing the time lapse between date of publication and citation count. The analysis is conducted by scientific discipline on the basis of publications indexed in the Thomson Reuters Italian National Citation Report.


title: Estimates by gap potentials of free homotopy decompositions of critical Sobolev maps

abstract: A free homotopy decomposition of any continuous map from a compact Riemmanian manifold $\mathcal{M}$ to a compact Riemannian manifold $\mathcal{N}$ into a finite number maps belonging to a finite set is constructed, in such a way that the number of maps in this free homotopy decomposition and the number of elements of the set to which they belong can be estimated a priori by the critical Sobolev energy of the map in $W^{s,p} (\mathcal{M}, \mathcal{N})$, with $sp = m = \dim \mathcal{M}$. In particular, when the fundamental group $\pi_1 (\mathcal{N})$ acts trivially on the homotopy group $\pi_m (\mathcal{N})$, the number of homotopy classes to which a map can belong can be estimated by its Sobolev energy. The estimates are particular cases of estimates under a boundedness assumption on gap potentials of the form $$\iint\limits_{\substack{(x, y) \in \mathcal{M} \times \mathcal{M} \\ d_\mathcal{N} (f (x), f (y)) \ge \varepsilon}}\frac{1}{d_\mathcal{M} (x, y)^{2 m}} \, \mathrm{d} x \, \mathrm{d} y.$$ When $m \ge 2$, the estimates scale optimally as $\varepsilon \to 0$. Linear estimates on the Hurewicz homorphism and the induced cohomology homomorphism are also obtained.


title: Black holes/naked singularities in four-dimensional non-static space-time and the energy-momentum distributions

abstract: In this article, we discuss four dimensional non-static space-times in the background of de-Sitter and anti-de Sitter spaces with the matter-energy sources a stiff fluid, anisotropic fluid, and an electromagnetic field. Under various parameter conditions the solutions may represent models of naked singularity and/or black holes. Finally, the energy-momentum distributions using the complexes of Landau-Lifshitz, Einstein, Papapetrou, and M{\o}ller prescriptions, were evaluated.


title: On the separate treatment of mixing and spreading by the reactive-particle-tracking algorithm: An example of accurate upscaling of reactive Poiseuille flow

abstract: The Eulerian advection-dispersion-reaction equation (ADRE) suffers the well-known scale-effect of reduced apparent reaction rates between chemically dissimilar fluids at larger scales (or dimensional averaging). The dispersion tensor in the ADRE must equally and simultaneously account for both solute mixing and spreading. Recent reactive-particle-tracking (RPT) algorithms can, by separate mechanisms, simulate 1) smaller-scale mixing by inter-particle mass transfer, and 2) mass spreading by traditional random walks. To test the supposition that the RPT can accurately track these separate mechanisms, we upscale reactive transport in Hagen-Poiseuille flow between two plates. The simple upscaled 1-D RPT model with one velocity value, an upscaled Taylor macro-dispersivity, and the local molecular diffusion coefficient matches the results obtained from a detailed 2-D model with fully described velocity and diffusion. Both models use the same thermodynamic reaction rate, because the rate is not forced to absorb the loss of information upon upscaling. Analytic and semi-analytic upscaling is also performed using volume averaging and ensemble streamtube techniques. Volume averaging does not perform as well as the RPT, while ensemble streamtubes (using an effective dispersion coefficient along with macro-dispersion) perform almost exactly the same as RPT.


title: Transition to chaos in wave memory dynamics in a harmonic well : deterministic and noise-driven behaviour

abstract: A walker is the association of a sub-millimetric bouncing drop moving along with a co-evolving Faraday wave. When confined in a harmonic potential, its stable trajectories are periodic and quantised both in extension and mean angular momentum. In this article we present the rest of the story, specifically the chaotic paths. They are chaotic and show intermittent behaviours between unstable quantised set of attractors. First, we present the two possible situations we find experimentally. Then we emphasise theoretically two mechanisms that lead to unstable situations. It corresponds either to noise-driven chaos or low-dimensional deterministic chaos. Finally we characterise experimentally each of these distinct situations. This article aims at presenting a comprehensive investigation of the unstable paths in order to complete the picture of walkers in a two-dimensional harmonic potential.


title: Weakly Supervised Grammatical Error Correction using Iterative Decoding

abstract: We describe an approach to Grammatical Error Correction (GEC) that is effective at making use of models trained on large amounts of weakly supervised bitext. We train the Transformer sequence-to-sequence model on 4B tokens of Wikipedia revisions and employ an iterative decoding strategy that is tailored to the loosely-supervised nature of the Wikipedia training corpus. Finetuning on the Lang-8 corpus and ensembling yields an F0.5 of 58.3 on the CoNLL'14 benchmark and a GLEU of 62.4 on JFLEG. The combination of weakly supervised training and iterative decoding obtains an F0.5 of 48.2 on CoNLL'14 even without using any labeled GEC data.


title: Some remarks in elementary prime number theory

abstract: We give an outline of a generalization of the Gelfond-Schnirelmann method in elementary number theory. It is related to an integral of Selberg (1944) generalizing the Euler beta integral. The result we explain was obtained by Nair and Chudnovsky independently in the early eighties.


title: Domain and range for angelic and demonic compositions

abstract: We give finite axiomatizations for the varieties generated by representable domain--range algebras when the semigroup operation is interpreted as angelic or demonic composition, respectively.


title: Word Mover's Embedding: From Word2Vec to Document Embedding

abstract: While the celebrated Word2Vec technique yields semantically rich representations for individual words, there has been relatively less success in extending to generate unsupervised sentences or documents embeddings. Recent work has demonstrated that a distance measure between documents called \emph{Word Mover's Distance} (WMD) that aligns semantically similar words, yields unprecedented KNN classification accuracy. However, WMD is expensive to compute, and it is hard to extend its use beyond a KNN classifier. In this paper, we propose the \emph{Word Mover's Embedding } (WME), a novel approach to building an unsupervised document (sentence) embedding from pre-trained word embeddings. In our experiments on 9 benchmark text classification datasets and 22 textual similarity tasks, the proposed technique consistently matches or outperforms state-of-the-art techniques, with significantly higher accuracy on problems of short length.


title: Least squares moment identification of binary regression mixtures models

abstract: We consider finite mixtures of generalized linear models with binary output. We prove that cross moment (between the output and the regression variables) until order 3 are sufficient to identify all parameters of the model. We propose a least-squares estimation method based on those moments and we prove the consistency and the Gaussian asymptotic behavior of the estimator. We provide simulation results and comparisons with likelihood methods. Numerical experiments were conducted using the R-package Morpheus that we developed for our least-squares moment method and with the R-package flexmix for likelihood methods. We then give some possible extensions to finite mixtures of regressions with binary output including both continuous and categorical covariates, and possibly longitudinal data.


title: Multi-armed Bandits with Compensation

abstract: We propose and study the known-compensation multi-arm bandit (KCMAB) problem, where a system controller offers a set of arms to many short-term players for $T$ steps. In each step, one short-term player arrives to the system. Upon arrival, the player aims to select an arm with the current best average reward and receives a stochastic reward associated with the arm. In order to incentivize players to explore other arms, the controller provides a proper payment compensation to players. The objective of the controller is to maximize the total reward collected by players while minimizing the compensation. We first provide a compensation lower bound $\Theta(\sum_i {\Delta_i\log T\over KL_i})$, where $\Delta_i$ and $KL_i$ are the expected reward gap and Kullback-Leibler (KL) divergence between distributions of arm $i$ and the best arm, respectively. We then analyze three algorithms to solve the KCMAB problem, and obtain their regrets and compensations. We show that the algorithms all achieve $O(\log T)$ regret and $O(\log T)$ compensation that match the theoretical lower bound. Finally, we present experimental results to demonstrate the performance of the algorithms.


title: A field-standardized application of DEA to national-scale research assessment of universities

abstract: The current work proposes an application of DEA methodology for measurement of technical and allocative efficiency of university research activity. The analysis is based on bibliometric data from the Italian university system for the five year period 2004-2008. Technical and allocative efficiency is measured with input being considered as a university's research staff, classified according to academic rank, and with output considered as the field-standardized impact of the research product realized by these staff. The analysis is applied to all scientific disciplines of the so-called hard sciences, and conducted at subfield level, thus at a greater level of detail than ever before achieved in national-scale research assessments.


title: Modified newtonian dynamics and non-relativistic ChSAS gravity

abstract: In the context of the non-relativistic theories, a generalization of the Chern--Weil-theorem allows us to show that extended Chern--Simons actions for gravity in d=4 invariant under some specific non-relativistic groups lead to modified Poisson equations. In some particular cases, these modified equations have the form of the so-called MOND approach to gravity. The modifications could be understood as due to the effects of dark matter. This result could leads us to think that dark matter can be interpreted as a non-relativistic limit of dark energy.


title: Computation of homogenized stiffnesses of thin corrugated plates

abstract: The homogenized stiffnesses of a corrugated plate are calculated by solving the periodicity cell problem of the homogenization theory by using two-steps dimension reduction procedure. The three-dimensional periodicity cell problem first reduces to a two-dimensional problem on the plate cross-sections. Then, provided that the plate is thin, the two-dimensional problem reduces to a one-dimensional problem, similar to the problem of curvilinear beam bending. Using the specifics of the arising one-dimensional problem, we construct its solution, depending on several constants. As a result, the solution of the cell problem and the calculation of the homogenized stiffnesses are reduced to solving algebraic equations. It is found that essential calculations are necessary only for finding the tension stiffness in the direction orthogonal to the corrugation profile. The remaining effective stiffnesses are easily calculated by numerically computing integrals of known functions. For some effective stiffnesses exact formulas are obtained.


title: Issues in the software implementation of stochastic numerical Runge-Kutta

abstract: This paper discusses stochastic numerical methods of Runge-Kutta type with weak and strong convergences for systems of stochastic differential equations in It\^o form. At the beginning we give a brief overview of the stochastic numerical methods and information from the theory of stochastic differential equations. Then we motivate the approach to the implementation of these methods using source code generation. We discuss the implementation details and the used programming languages and libraries


title: Capture and Recovery of Connected Vehicle Data: A Compressive Sensing Approach

abstract: Connected vehicles (CVs) can capture and transmit detailed data through vehicle-to-vehicle and vehicle-to-infrastructure communications, which bring new opportunities to improve the safety, mobility, and sustainability of transportation systems. However, the potential data explosion is likely to over-burden storage and communication systems. We design a compressive sensing (CS) approach which allows CVs to capture and compress data in real-time and later recover the original data accurately and efficiently. We have evaluated our approach using two case studies. In the first case study, the CS approach is applied to re-capture 10 million CV Basic Safety Message (BSM) speed samples from the Safety Pilot Model Deployment program. The recovery performances of our approach regarding several BSM variables are explored in detail. In the second case study, a freeway traffic simulation model is built to evaluate the impact of our approach on travel time estimation. Multiple scenarios with various CV market penetration rates, On-board Unit (OBU) capacities, compression ratios, arrival rate patterns, and data capture rates are simulated. The results show the potential of saving large amounts of OBU hardware cost. Furthermore, our approach can greatly improve the accuracy of travel time estimation when CVs are in traffic congestion.


title: Rethinking floating point for deep learning

abstract: Reducing hardware overhead of neural networks for faster or lower power inference and training is an active area of research. Uniform quantization using integer multiply-add has been thoroughly investigated, which requires learning many quantization parameters, fine-tuning training or other prerequisites. Little effort is made to improve floating point relative to this baseline; it remains energy inefficient, and word size reduction yields drastic loss in needed dynamic range. We improve floating point to be more energy efficient than equivalent bit width integer hardware on a 28 nm ASIC process while retaining accuracy in 8 bits with a novel hybrid log multiply/linear add, Kulisch accumulation and tapered encodings from Gustafson's posit format. With no network retraining, and drop-in replacement of all math and float32 parameters via round-to-nearest-even only, this open-sourced 8-bit log float is within 0.9% top-1 and 0.2% top-5 accuracy of the original float32 ResNet-50 CNN model on ImageNet. Unlike int8 quantization, it is still a general purpose floating point arithmetic, interpretable out-of-the-box. Our 8/38-bit log float multiply-add is synthesized and power profiled at 28 nm at 0.96x the power and 1.12x the area of 8/32-bit integer multiply-add. In 16 bits, our log float multiply-add is 0.59x the power and 0.68x the area of IEEE 754 float16 fused multiply-add, maintaining the same signficand precision and dynamic range, proving useful for training ASICs as well.


title: Chemical tracers in proto-brown dwarfs: CO, ortho-H$_{2}$CO, para-H$_{2}$CO, HCO$^{+}$, CS observations

abstract: We present a study of the CO isotopologues and the high-density tracers H$_{2}$CO, HCO$^{+}$, and CS in Class 0/I proto-brown dwarfs (proto-BDs). We have used the IRAM 30m telescope to observe the $^{12}$CO (2-1), $^{13}$CO (2-1), C$^{18}$O (2-1), C$^{17}$O (2-1), H$_{2}$CO (3-2), HCO$^{+}$ (3-2), and CS (5-4) lines in 7 proto-BDs. The hydrogen column density for the proto-BDs derived from the CO gas emission is $\sim$2-15 times lower than that derived from the dust continuum emission, indicating CO depletion from the gas-phase. The mean H$_{2}$CO ortho-to-para ratio is $\sim$3 for the proto-BDs and indicates gas-phase formation for H$_{2}$CO. We have investigated the correlations in the molecular abundances between the proto-BDs and protostars. Proto-BDs on average show a factor of $\sim$2 higher ortho-to-para H$_{2}$CO ratio than the protostars. Possible explanations include a difference in the H$_{2}$CO formation mechanism, spin-selective photo-dissociation, self-shielding effects, or different emitting regions for the ortho and para species. There is a tentative trend of a decline in the HCO$^{+}$ and H$_{2}$CO abundances with decreasing bolometric luminosity, while the CS and CO abundances show no particular difference between the proto-BDs and protostars. These trends reflect the scaled-down physical structures for the proto-BDs compared to protostars and differences in the peak emitting regions for these species. The C$^{17}$O isotopologue is detected in all of the proto-BDs as well as the more evolved Class Flat/Class II BDs in our sample, and can probe the quiescent gas at both early and late evolutionary stages.


title: Estimates of Reverse Shock Emission from Short Gamma-ray Bursts

abstract: We investigate the expected radio emission from the reverse shock of short GRBs, using the afterglow parameters derived from the observed short GRB light curves. In light of recent results suggesting that in some cases the radio afterglow is due to emission from the reverse shock, we examine the extent to which this component is detectable for short GRBs. In some GRBs, the standard synchrotron shock model predicts detectable radio emission from the reverse shock when none was seen. Because many physical parameters play a role in these estimates, our results highlight the need to more deeply explore the fundamental processes involved in GRB particle acceleration and emission. However, with more rapid follow-up, we can test our standard model of GRBs, which predicts an early, radio bright reverse shock in many cases.


title: On the Ricci iteration for homogeneous metrics on spheres and projective spaces

abstract: We study the Ricci iteration for homogeneous metrics on spheres and complex projective spaces. Such metrics can be described in terms of modifying the canonical metric on the fibers of a Hopf fibration. When the fibers of the Hopf fibration are circles or spheres of dimension 2 or 7, we observe that the Ricci iteration as well as all ancient Ricci iterations can be completely described using known results. The remaining and most challenging case is when the fibers are spheres of dimension 3. On the 3-sphere itself, using a result of Hamilton on the prescribed Ricci curvature equation, we establish existence and convergence of the Ricci iteration and confirm in this setting a conjecture on the relationship between ancient Ricci iterations and ancient solutions to the Ricci flow. In higher dimensions we obtain sufficient conditions for the solvability of the prescribed Ricci curvature equation as well as partial results on the behavior of the Ricci iteration.


title: Lower and upper bounds for strong approximation errors for numerical approximations of stochastic heat equations

abstract: Optimal upper and lower error estimates for strong full-discrete numerical approximations of the stochastic heat equation driven by space-time white noise are obtained. In particular, we establish the optimality of strong convergence rates for full-discrete approximations of stochastic Allen-Cahn equations with space-time white noise which have recently been obtained in [Becker, S., Gess, B., Jentzen, A., and Kloeden, P. E., Strong convergence rates for explicit space-time discrete numerical approximations of stochastic Allen-Cahn equations. arXiv:1711.02423 (2017)].


title: Quantum Circuit Design Methodology for Multiple Linear Regression

abstract: Multiple linear regression assumes an imperative role in supervised machine learning. In 2009, Harrow et al. [Phys. Rev. Lett. 103, 150502 (2009)] showed that their HHL algorithm can be used to sample the solution of a linear system $\mathbf{Ax=b}$ exponentially faster than any existing classical algorithm, with some manageable caveats. The entire field of quantum machine learning gained considerable traction after the discovery of this celebrated algorithm. However, effective practical applications and experimental implementations of HHL are still sparse in the literature. Here, we demonstrate a potential practical utility of HHL, in the context of regression analysis, using the remarkable fact that there exists a natural reduction of any multiple linear regression problem to an equivalent linear systems problem. We put forward a $7$-qubit quantum circuit design, motivated from an earlier work by Cao et al. [Mol. Phys. 110, 1675 (2012)], to solve a $3$-variable regression problem, using only elementary quantum gates. We also implement the Group Leaders Optimization Algorithm (GLOA) [Mol. Phys. 109 (5), 761 (2011)] and elaborate on the advantages of using such stochastic algorithms in creating low-cost circuit approximations for the Hamiltonian simulation. We believe that this application of GLOA and similar stochastic algorithms in circuit approximation will boost time- and cost-efficient circuit designing for various quantum machine learning protocols. Further, we discuss our Qiskit simulation and explore certain generalizations to the circuit design.


title: AttentionXML: Label Tree-based Attention-Aware Deep Model for High-Performance Extreme Multi-Label Text Classification

abstract: Extreme multi-label text classification (XMTC) is an important problem in the era of big data, for tagging a given text with the most relevant multiple labels from an extremely large-scale label set. XMTC can be found in many applications, such as item categorization, web page tagging, and news annotation. Traditionally most methods used bag-of-words (BOW) as inputs, ignoring word context as well as deep semantic information. Recent attempts to overcome the problems of BOW by deep learning still suffer from 1) failing to capture the important subtext for each label and 2) lack of scalability against the huge number of labels. We propose a new label tree-based deep learning model for XMTC, called AttentionXML, with two unique features: 1) a multi-label attention mechanism with raw text as input, which allows to capture the most relevant part of text to each label; and 2) a shallow and wide probabilistic label tree (PLT), which allows to handle millions of labels, especially for "tail labels". We empirically compared the performance of AttentionXML with those of eight state-of-the-art methods over six benchmark datasets, including Amazon-3M with around 3 million labels. AttentionXML outperformed all competing methods under all experimental settings. Experimental results also show that AttentionXML achieved the best performance against tail labels among label tree-based methods. The code and datasets are available at http://github.com/yourh/AttentionXML .


title: Two new approaches to the anomalous limit of Brans-Dicke to Einstein gravity

abstract: Contrary to common belief, (electro)vacuum Brans-Dicke gravity does not reduce to general relativity for large Brans-Dicke coupling $\omega$, a problem which has never been fully solved. Two new approaches, independent from each other, shed light on this issue producing the same result: in the limit $\omega \rightarrow \infty $ an (electro)vacuum Brans-Dicke spacetime reduces to a solution of the Einstein equations sourced, not by (electro)vacuum, but by a minimally coupled scalar field. The latter is shown to coincide with the Einstein frame scalar field. The first method employs a direct analysis of the Einstein frame, while the second (complementary and independent) method uses an imperfect fluid representation of Brans-Dicke gravity together with a little known 1-parameter symmetry group of this theory.


title: Improved study of the $\beta$-function of $SU(3)$ gauge theory with $N_f = 10 $ massless domain-wall fermions

abstract: I perform an improved study of the $\beta$-function of $ SU(3) $ lattice gauge theory with $N_f=10$ massless optimal domain-wall fermions in the fundamental representation, which serves as a check to what extent the scenario in the previous work [arXiv:1603.08854; Proc. Sci. LATTICE2016 (2017) 228] is valid. In the finite-volume gradient flow scheme with $ c = \sqrt{8t}/L = 0.3 $, the renormalized couplings $g^2 (L,a) $ of four primary lattices ($ L/a = \{ 8, 10, 12, 16 \}$) are tuned (in $ 6/g_0^2 $) to the same $ g_c^2 $ with statistical error less than $0.5 \% $, in contrast to the previous work where $ g^2(L,a) $ were obtained by the cubic-spline interpolation. Then the renormalized couplings $ g^2(sL, a) $ of the scaled lattices ($ sL/a = \{16, 20, 24, 32\} $ with $s=2$) are computed at the same $ 6/g_0^2 $ of the corresponding primary lattices. Using the renormalized couplings of four lattice pairs $ (sL,L)/a = \{ (16,8), (20,10), (24,12), (32,16) \} $, the step-scaling $\beta$-function $ [g^2(sL,a) - g^2(L,a)]/\ln (s^2) $ is computed and extrapolated to the continuum limit $ \beta(s,g_c^2) $, as summarized in Table III. Based on the four data points of $ \beta(s,g_c^2) $ at $ g_c^2 = \{ 6.86(2), \ 6.92(3), \ 7.03(2), \ 7.16(2) \} $, I infer that the theory is infrared near-conformal, or conformal with the fixed-point $ g_*^2 = 7.55(36) $. This corrects the scenario in the previous work with $ g_*^2 \sim 7.0 $, and also suggests that the interpolation method cannot give a reliable determination of the $\beta$-function, especially in the regime close to the infrared fixed-point.


title: Algorithmics of Diffraction

abstract: We discuss novel ways to probe high energy diffraction, first inclusive diffraction and then central exclusive processes at the LHC. Our new Monte Carlo synthesis and analysis framework, Graniitti, includes differential screening, an expendable set of scattering amplitudes with adaptive Monte Carlo sampling, spin systematics and modern computational technology.


title: Research productivity: are higher academic ranks more productive than lower ones?

abstract: This work analyses the links between individual research performance and academic rank. A typical bibliometric methodology is used to study the performance of all Italian university researchers active in the hard sciences, for the period 2004-2008. The objective is to characterize the performance of the ranks of full, associate and assistant professors, along various dimensions, in order to verify the existence of performance differences among the ranks in general and for single disciplines.


title: Convergence of nonlocal geometric flows to anisotropic mean curvature motion

abstract: We consider nonlocal curvature functionals associated with positive interaction kernels, and we show that local anisotropic mean curvature functionals can be retrieved in a blow-up limit from them. As a consequence, we prove that the viscosity solutions to the rescaled nonlocal geometric flows locally uniformly converge to the viscosity solution to the anisotropic mean curvature motion. The result is achieved by combining a compactness argument and a set-theoretic approach related to the theory of De Giorgi's barriers for evolution equations.


title: Multi-resolution Progressive Computational Ghost Imaging

abstract: Ghost imaging needs massive measurements to obtain an image with good visibility and the imaging speed is usually very low. In order to realize real-time high-resolution ghost imaging of a target which is located in a scenario with a large field of view (FOV), we propose a high-speed multi-resolution progressive computational ghost imaging approach. The target area is firstly locked by a low-resolution image with a small number of measurements, then high-resolution imaging of the target can be obtained by only modulating the light fields corresponding to the target area. The experiments verify the feasibility of the approach. The influence of detection signal-to-noise ratio on the quality of multi-resolution progressive computational ghost imaging is also investigated experimentally. This approach may be applied to some practical application scenarios such as ground-to-air or air-to-air imaging with a large FOV.


title: Transductive Learning with String Kernels for Cross-Domain Text Classification

abstract: For many text classification tasks, there is a major problem posed by the lack of labeled data in a target domain. Although classifiers for a target domain can be trained on labeled text data from a related source domain, the accuracy of such classifiers is usually lower in the cross-domain setting. Recently, string kernels have obtained state-of-the-art results in various text classification tasks such as native language identification or automatic essay scoring. Moreover, classifiers based on string kernels have been found to be robust to the distribution gap between different domains. In this paper, we formally describe an algorithm composed of two simple yet effective transductive learning approaches to further improve the results of string kernels in cross-domain settings. By adapting string kernels to the test set without using the ground-truth test labels, we report significantly better accuracy rates in cross-domain English polarity classification.


title: A homogeneous polynomial associated with general hypergraphs and its applications

abstract: In this paper, we define a homogeneous polynomial for a general hypergraph, and establish a remarkable connection between clique number and the homogeneous polynomial of a general hypergraph. For a general hypergraph, we explore some inequality relations among spectral radius, clique number and the homogeneous polynomial. We also give lower and upper bounds on the spectral radius in terms of the clique number.


title: An analog of nilpotence arising from supercharacter theory

abstract: The goal of this paper is to generalize several group theoretic concepts such as the center and commutator subgroup, central series, and ultimately nilpotence to a supercharacter theoretic setting, and to use these concepts to show that there can be a strong connection between the structure of a group and the structure of its supercharacter theories. We then use these concepts to show that the upper and lower annihilator series of $J$ can be described in terms of certain central series for the algebra group $G=1+J$ defined by $\mathsf{S}$, when $\mathsf{S}$ is the algebra group supercharacter theory defined by Diaconis--Isaacs.


title: Linear response theory of Josephson junction arrays in a microwave cavity

abstract: Recent experiments on Josephson junction arrays (JJAs) in microwave cavities have opened up a new avenue for investigating the properties of these devices while minimising the amount of external noise coming from the measurement apparatus itself. These experiments have already shown promise for probing many-body quantum effects in JJAs. In this work, we develop a general theoretical description of such experiments by deriving a quantum phase model for planar JJAs containing quantized vortices. The dynamical susceptibility of this model is calculated for some simple circuits, and signatures of the injection of additional vortices are identified. The effects of decoherence are considered via a Lindblad master equation.


title: The field-standardized average impact of national research systems compared to world average: the case of Italy

abstract: The study presents a time-series analysis of field-standardized average impact of Italian research compared to the world average. The approach is purely bibliometric, based on census of the full scientific production from all Italian public research organizations active in 2001-2006 (hard sciences only). The analysis is conducted both at sectorial level (aggregated, by scientific discipline and for single fields within disciplines) and at organizational level (by type of organization and for single organizations). The essence of the methodology should be replicable in all other national contexts. Its offers support to policy-makers and administrators for strategic analysis aimed at identifying strengths and weaknesses of national research systems and institutions.


title: Deflection angle of light for an observer and source at finite distance from a rotating global monopole

abstract: By using a method improved with a generalized optical metric, the deflection of light for an observer and source at finite distance from a lens object in a stationary, axisymmetric and asymptotically flat spacetime has been recently discussed [Ono, Ishihara, Asada, Phys. Rev. D {\bf 96}, 104037 (2017)]. In this paper, we study a possible extension of this method to an asymptotically nonflat spacetime. We discuss a rotating global monopole. Our result of the deflection angle of light is compared with a recent work on the same spacetime but limited within the asymptotic source and observer [Jusufi et al., Phys. Rev. D {\bf 95}, 104012 (2017)], in which they employ another approach proposed by Werner with using the Nazim's osculating Riemannian construction method via the Randers-Finsler metric. We show that the two different methods give the same result in the asymptotically far limit. We obtain also the corrections to the deflection angle due to the finite distance from the rotating global monopole. Near-future observations of Sgr A${}^{*}$ will be able to put a bound on the global monopole parameter $\beta$ as $1- \beta < 10^{-3}$ for a rotating global monopole model, which is interpreted as the bound on the deficit angle $\delta < 8\times 10^{-4}$ [rad].


title: On the complexity of cache analysis for different replacement policies

abstract: Modern processors use cache memory: a memory access that "hits" the cache returns early, while a "miss" takes more time. Given a memory access in a program, cache analysis consists in deciding whether this access is always a hit, always a miss, or is a hit or a miss depending on execution. Such an analysis is of high importance for bounding the worst-case execution time of safety-critical real-time programs.There exist multiple possible policies for evicting old data from the cache when new data are brought in, and different policies, though apparently similar in goals and performance, may be very different from the analysis point of view. In this paper, we explore these differences from a complexity-theoretical point of view. Specifically, we show that, among the common replacement policies, LRU (Least Recently Used) is the only one whose analysis is NP-complete, whereas the analysis problems for the other policies are PSPACE-complete.


title: Learning Shared Dynamics with Meta-World Models

abstract: Humans have consciousness as the ability to perceive events and objects: a mental model of the world developed from the most impoverished of visual stimuli, enabling humans to make rapid decisions and take actions. Although spatial and temporal aspects of different scenes are generally diverse, the underlying physics among environments still work the same way, thus learning an abstract description of shared physical dynamics helps human to understand the world. In this paper, we explore building this mental world with neural network models through multi-task learning, namely the meta-world model. We show through extensive experiments that our proposed meta-world models successfully capture the common dynamics over the compact representations of visually different environments from Atari Games. We also demonstrate that agents equipped with our meta-world model possess the ability of visual self-recognition, i.e., recognize themselves from the reflected mirrored environment derived from the classic mirror self-recognition test (MSR).


title: META-DES.H: a dynamic ensemble selection technique using meta-learning and a dynamic weighting approach

abstract: In Dynamic Ensemble Selection (DES) techniques, only the most competent classifiers are selected to classify a given query sample. Hence, the key issue in DES is how to estimate the competence of each classifier in a pool to select the most competent ones. In order to deal with this issue, we proposed a novel dynamic ensemble selection framework using meta-learning, called META-DES. The framework is divided into three steps. In the first step, the pool of classifiers is generated from the training data. In the second phase the meta-features are computed using the training data and used to train a meta-classifier that is able to predict whether or not a base classifier from the pool is competent enough to classify an input instance. In this paper, we propose improvements to the training and generalization phase of the META-DES framework. In the training phase, we evaluate four different algorithms for the training of the meta-classifier. For the generalization phase, three combination approaches are evaluated: Dynamic selection, where only the classifiers that attain a certain competence level are selected; Dynamic weighting, where the meta-classifier estimates the competence of each classifier in the pool, and the outputs of all classifiers in the pool are weighted based on their level of competence; and a hybrid approach, in which first an ensemble with the most competent classifiers is selected, after which the weights of the selected classifiers are estimated in order to be used in a weighted majority voting scheme. Experiments are carried out on 30 classification datasets. Experimental results demonstrate that the changes proposed in this paper significantly improve the recognition accuracy of the system in several datasets.


title: On Meta-Learning for Dynamic Ensemble Selection

abstract: In this paper, we propose a novel dynamic ensemble selection framework using meta-learning. The framework is divided into three steps. In the first step, the pool of classifiers is generated from the training data. The second phase is responsible to extract the meta-features and train the meta-classifier. Five distinct sets of meta-features are proposed, each one corresponding to a different criterion to measure the level of competence of a classifier for the classification of a given query sample. The meta-features are computed using the training data and used to train a meta-classifier that is able to predict whether or not a base classifier from the pool is competent enough to classify an input instance. Three different training scenarios for the training of the meta-classifier are considered: problem-dependent, problem-independent and hybrid. Experimental results show that the problem-dependent scenario provides the best result. In addition, the performance of the problem-dependent scenario is strongly correlated with the recognition rate of the system. A comparison with state-of-the-art techniques shows that the proposed-dependent approach outperforms current dynamic ensemble selection techniques.