title: On properties of Bernstein functions of several complex variables

abstract: A multidimensional generalization of the Bernstein class of functions and the properties of functions of the introduced class are examined. In particular, a new proof of the integral representation of Bernstein functions of many variables is given. Examples are considered.


title: Discontinuities in driven spin-boson systems due to coherent destruction of tunneling: breakdown of the Floquet-Gibbs distribution

abstract: We show that the probability distribution of the stationary state of a dissipative ac-driven two-level system exhibits discontinuities, i.e. jumps, for parameters at which coherent destruction of tunneling takes place. These discontinuities can be observed as jumps in the emission of the Mollow triplet. The jumps are the consequence of discontinuities in the transition rates, which we calculate numerically and analytically based on the secular Floquet-Redfield formalism.


title: MIPS-Core Application Specific Instruction-Set Processor for IDEA Cryptography - Comparison between Single-Cycle and Multi-Cycle Architectures

abstract: A single-cycle processor completes the execution of an instruction in only one clock cycle. However, its clock period is usually rather long. On the contrary, although clock frequency is higher in a multi-cycle processor, it takes several clock cycles to finish an instruction. Therefore, their runtime efficiencies depend on which program is executed. This paper presents a new processor for International Data Encryption Algorithm (IDEA) cryptography. The new design is an Application Specific Instruction-set Processor (ASIP) in which both general-purpose and special instructions are supported. It is a single-cycle MIPS-core architecture, whose average Clocks Per Instruction (CPI) is 1. Furthermore, a comparison is provided in this paper to show the differences between the proposed single-cycle processor and another comparable multi-cycle crypto processor. FPGA implementation results show that both architectures have almost the same encoding/decoding throughput. However, the previous processor consumes nearly twice as many resources as the new one does.


title: Nuclear Gamma Radiation Caused by a Muon at Rest in 152Sm

abstract: Investigation of the interaction of muons with complex nuclei yields important results on the properties of nuclei and on their electromagnetic interaction with muons happening to be in the Coulomb field of the nucleus. The muon serves as a unique instrument in studies of the charge distribution and of other properties of nuclei. The following are processes which yield information relevant to the properties of nuclei. This work is the first (and unique) investigation of the dynamic E0 excitation of nucleus at muon - decay on the K-orbit of muonic atom.This excitation mechanism permits one to get per se nuclear monopole excitation. Study of nuclear excitation by the decay of the bound muon is of independent interest - discovery of a new process and validation of ideas about it in the future can provide a new complementary method for studying nuclear monopole states.


title: Discrete Uncertainty Principle in Quaternion Setting and Application in Signal Reconstruction

abstract: In this paper, the uncertainty principle of discrete signals associated with Quaternion Fourier transform is investigated. It suggests how sparsity helps in the recovery of missing frequency.


title: Should All Temporal Difference Learning Use Emphasis?

abstract: Emphatic Temporal Difference (ETD) learning has recently been proposed as a convergent off-policy learning method. ETD was proposed mainly to address convergence issues of conventional Temporal Difference (TD) learning under off-policy training but it is different from conventional TD learning even under on-policy training. A simple counterexample provided back in 2017 pointed to a potential class of problems where ETD converges but TD diverges. In this paper, we empirically show that ETD converges on a few other well-known on-policy experiments whereas TD either diverges or performs poorly. We also show that ETD outperforms TD on the mountain car prediction problem. Our results, together with a similar pattern observed under off-policy training in prior works, suggest that ETD might be a good substitute over conventional TD.


title: Divergence of the Floquet-Magnus expansion in a periodically driven one-body system with energy localization

abstract: The Floquet-Magnus expansion is a useful tool to calculate an effective Hamiltonian for periodically driven systems. In this study, we investigate the convergence of the expansion for a one-body nonlinear system in a continuous space, a driven anharmonic oscillator. In this model, all eigenstates of the time evolution operator are found to be localized in energy space, and the expectation value of the energy is bounded from above. We first propose a general procedure to estimate the radius of convergence of the Floquet-Magnus expansion for periodically driven systems with an unbounded energy spectrum. By applying it to the driven anharmonic oscillator, we numerically show that the expansion diverges for all driving frequencies even if the anharmonicity is arbitrarily small. This conclusion contradicts the widely accepted belief that the divergence of the Floquet-Magnus expansion is a direct consequence of quantum ergodicity, which implies that each eigenstate of the time evolution operator is a linear combination of all available eigenstates of the unperturbed Hamiltonian and the system heats up to infinite temperature after long intervals.


title: Inter-frequency radio signal quality prediction for handover, evaluated in 3GPP LTE

abstract: Radio resource management in cellular networks is typically based on device measurements reported to the serving base station. Frequent measuring of signal quality on available frequencies would allow for highly reliable networks and optimal connection at all times. However, these measurements are associated with costs, such as dedicated device time for performing measurements when the device will be unavailable for communication. To reduce the costs, we consider predictions of inter-frequency radio quality measurements that are useful to assess potential inter-frequency handover decisions. In this contribution, we have considered measurements from a live 3GPP LTE network. We demonstrate that straightforward applications of the most commonly used machine learning models are unable to provide high accuracy predictions. Instead, we propose a novel approach with a duo-threshold for high accuracy decision recommendations. Our approach leads to class specific prediction accuracies as high as 92% and 95%, still drastically reducing the need for inter-frequency measurements.


title: Outcome-Driven Clustering of Acute Coronary Syndrome Patients using Multi-Task Neural Network with Attention

abstract: Cluster analysis aims at separating patients into phenotypically heterogenous groups and defining therapeutically homogeneous patient subclasses. It is an important approach in data-driven disease classification and subtyping. Acute coronary syndrome (ACS) is a syndrome due to sudden decrease of coronary artery blood flow, where disease classification would help to inform therapeutic strategies and provide prognostic insights. Here we conducted outcome-driven cluster analysis of ACS patients, which jointly considers treatment and patient outcome as indicators for patient state. Multi-task neural network with attention was used as a modeling framework, including learning of the patient state, cluster analysis, and feature importance profiling. Seven patient clusters were discovered. The clusters have different characteristics, as well as different risk profiles to the outcome of in-hospital major adverse cardiac events. The results demonstrate cluster analysis using outcome-driven multi-task neural network as promising for patient classification and subtyping.


title: Unidentified FRBs in archival data

abstract: Recently Zhang et al. (2019) reported the discovery of FRB 010312 in a dataset previously searched for FRBs. Here we explain how and why this FRB was initially missed, and highlight several caveats relevant to FRB search completeness. It is possible that up to $\sim40$% of discoverable FRBs remain undiscovered in some existing public domain archival data sets. The situation could be even more pronounced given that FRB search pipelines generally look for temporally-symmetric broadband flat-spectrum pulses; most FRBs do not look like that.


title: Bounding and Estimating the Classical Information Rate of Quantum Channels with Memory

abstract: We consider the scenario of classical communication over a finite-dimensional quantum channel with memory using a separable-state input ensemble and local output measurements. We propose algorithms for estimating the information rate of such communication setups, along with algorithms for bounding the information rate based on so-called auxiliary channels. Some of the algorithms are extensions of their counterparts for (classical) finite-state-machine channels. Notably, we discuss suitable graphical models for doing the relevant computations. Moreover, the auxiliary channels are learned in a data-driven approach; i.e., only input/output sequences of the true channel are needed, but not the channel model of the true channel.


title: Modeling the non-trivial behavior of anisotropic beams: a simple Timoshenko beam with enhanced stress recovery and constitutive relations

abstract: This paper analyzes the non-trivial influence of the material anisotropy on the structural behavior of an anisotropic multilayer planar beam. Indeed, analytical results available in literature are limited to homogeneous beams and several aspects has not been addressed yet, impeding an in-depth understanding of the mechanical response of anisotropic structural elements. This paper proposes an effective recovery of stress distribution and an energetically consistent evaluation of constitutive relations to be used within a planar Timoshenko beam model. The resulting structural-analysis tool highlights the following peculiarities of anisotropic beams: (i) the axial stress explicitly depends on transversal internal force, which can weigh up to 30% on the maximal magnitude of axial stress, and (ii) the anisotropy influences the beam displacements more than standard shear deformation and even for extremely slender beams. A rigorous comparison with analytical and accurate 2D Finite Element solutions confirms the accuracy of the proposed approach that leads to errors exceptionally greater than 5%.


title: Non-linear ICA based on Cramer-Wold metric

abstract: Non-linear source separation is a challenging open problem with many applications. We extend a recently proposed Adversarial Non-linear ICA (ANICA) model, and introduce Cramer-Wold ICA (CW-ICA). In contrast to ANICA we use a simple, closed--form optimization target instead of a discriminator--based independence measure. Our results show that CW-ICA achieves comparable results to ANICA, while foregoing the need for adversarial training.


title: Quasi-regular representations of discrete groups and associated C*-algebras

abstract: Let $G$ be a countable group. We introduce several equivalence relations on the set ${\rm Sub}(G)$ of subgroups of $G$, defined by properties of the quasi-regular representations $\lambda_{G/H}$ associated to $H\in {\rm Sub}(G)$ and compare them to the relation of $G$-conjugacy of subgroups. We define a class ${\rm Sub}_{\rm sg}(G)$ of subgroups (these are subgroups with a certain spectral gap property) and show that they are rigid, in the sense that the equivalence class of $H\in {\rm Sub}_{\rm sg}(G)$ for any one of the above equivalence relations coincides with the $G$-conjugacy class of $H$. Next, we introduce a second class ${\rm Sub}_{\rm w-par}(G)$ of subgroups (these are subgroups which are weakly parabolic in some sense) and we establish results concerning the ideal structure of the $C^*$-algebra $C^*_{\lambda_{G/H}}(G)$ generated by $\lambda_{G/H}$ for subgroups $H$ which belong to either one of the classes ${\rm Sub}_{\rm w-par}(G)$ and ${\rm Sub}_{\rm sg}(G)$. Our results are valid, more generally, for induced representations ${\rm Ind}_H^G \sigma$, where $\sigma$ is a representation of $H\in {\rm Sub}(G)$.


title: Infinite-dimensional Polish groups and Property (T)

abstract: We show that all groups of a distinguished class of \guillemotleft large\guillemotright\ topological groups, that of Roelcke precompact Polish groups, have Kazhdan's Property (T). This answers a question of Tsankov and generalizes previous results by Bekka (for the infinite-dimensional unitary group) and by Evans and Tsankov (for oligomorphic groups). Further examples include the group $\operatorname{Aut}(\mu)$ of measure-preserving transformations of the unit interval and the group $\operatorname{Aut}^*(\mu)$ of non-singular transformations of the unit interval. More precisely, we prove that the smallest cocompact normal subgroup $G^\circ$ of any given non-compact Roelcke precompact Polish group $G$ has a free subgroup $F\leq G^\circ$ of rank two with the following property: every unitary representation of $G^\circ$ without invariant unit vectors restricts to a multiple of the left-regular representation of $F$. The proof is model-theoretic and does not rely on results of classification of unitary representations. Its main ingredient is the construction, for any $\aleph_0$-categorical metric structure, of an action of a free group on a system of elementary substructures with suitable independence conditions.


title: Isomorphism between the R-matrix and Drinfeld presentations of quantum affine algebra: type C

abstract: An explicit isomorphism between the $R$-matrix and Drinfeld presentations of the quantum affine algebra in type $A$ was given by Ding and I. Frenkel (1993). We show that this result can be extended to types $B$, $C$ and $D$ and give a detailed construction for type $C$ in this paper. In all classical types the Gauss decomposition of the generator matrix in the $R$-matrix presentation yields the Drinfeld generators. To prove that the resulting map is an isomorphism we follow the work of E. Frenkel and Mukhin (2002) in type $A$ and employ the universal $R$-matrix to construct the inverse map. A key role in our construction is played by a homomorphism theorem which relates the quantum affine algebra of rank $n-1$ in the $R$-matrix presentation with a subalgebra of the corresponding algebra of rank $n$ of the same type.


title: Secure Users Oriented Downlink MISO NOMA

abstract: This paper proposes a secure users oriented multiple-input and single-output (MISO) non-orthogonal multiple access (NOMA) downlink transmission scheme, where multiple legitimate users are categorized as quality of service (QoS)-required users (QU) and the security-required users (SU) overheard by a passive eavesdropper. The basic idea is to exploit zero-forcing beamforming (ZFBF) to cancel interference among SUs, and then several QUs are efficiently scheduled based on the obtained beamforming vectors to divide the legitimate users into several user clusters, in such a way that the QUs could share the concurrent transmissions and help to interfere with the eavesdropper to enhance SU secrecy. The goal is to maximize the achievable minimum secrecy rate (MSR) and sum secrecy rate (SSR) of all SUs, respectively, subject to the secrecy outage probability (SOP) constraint of each SU and the QoS constraint of each QU. To provide a comprehensive investigation we consider two extreme cases that the eavesdropper has perfect multiuser detection ability (lower bound of secrecy) or does not have multiuser detection ability (upper bound of secrecy). In the lower bound case, the Dinkelbach algorithm and the monotonic optimization (MO)-based outer polyblock approximation algorithm are proposed to solve the max-min secrecy rate (MMSR) and max-sum secrecy rate (MSSR) problems, respectively. As for the upper bound case, an alternative optimization (AO)-based algorithm is proposed to solve the two non-convex problems. Finally, the superiority of the proposed cases to the conventional orthogonal multiple access (OMA) one is verified by numerical results.


title: Evaluation Mechanism of Collective Intelligence for Heterogeneous Agents Group

abstract: Collective intelligence is manifested when multiple agents coherently work in observation, interaction, decision-making and action. In this paper, we define and quantify the intelligence level of heterogeneous agents group with the improved Anytime Universal Intelligence Test(AUIT), based on an extension of the existing evaluation of homogeneous agents group. The relationship of intelligence level with agents composition, group size, spatial complexity and testing time is analyzed. The intelligence level of heterogeneous agents groups is compared with the homogeneous ones to analyze the effects of heterogeneity on collective intelligence. Our work will help to understand the essence of collective intelligence more deeply and reveal the effect of various key factors on group intelligence level.


title: Long-distance and large-time asymptotic behaviour of dynamic correlation functions in the massless regime of the XXZ spin-1/2 chain

abstract: Starting from the massless form factor expansion for the two-point dynamical correlation functions obtained recently, I extract the long-distance and large-time asymptotics of these correlators. The analysis yields the critical exponents and associated amplitudes characterising the asymptotics. The results are obtained on the basis of exact and first principle based considerations: they \textit{do not rely, at any stage}, on some hypothetical correspondence with a field theory or the use of any other phenomenological approach. Being based on form factor expansion, the method allows one to clearly identify which contributions to the asymptotics issues from which class of excited states. All this permits to settle the long-standing question of the contribution of bound states to the asymptotics of two-point functions. For instance, when considering the long-distance $m$ behaviour of equal-time correlators, the analysis shows that while, \textit{in fine}, the bound states only produce contributions that are exponentially small in $m$, they also play a key role in cancelling out certain power-law contributions which, should they be present, would break explicitly the universality structure of the long-distance behaviour.

categories: math-ph cond-mat.stat-mech math.MP nlin.SI


title: Detecting an odd hole

abstract: A hole in a graph G is an induced cycle of length at least four; an antihole is a hole in the complement of G. In 2005, Chudnovsky, Cornuejols, Liu, Seymour and Vuskovic showed that it is possible to test in polynomial time whether a graph contains an odd hole or antihole (and thus whether G is perfect). However, the complexity of testing for odd holes has remained open. Indeed, it seemed quite likely that testing for an odd hole was NP-complete: for instance, Bienstock showed that testing if a graph has an odd hole containing a given vertex is NP-complete. In this paper we resolve the question, by giving a polynomial-time algorithm to test whether a graph contains an odd hole. This also gives a new and considerably simpler polynomial-time algorithm that tests for perfection.


title: The topological rigidity theorem for submanifolds in space forms

abstract: Let $M$ be an $n(\geq 4)$-dimensional compact submanifold in the simply connected space form $F^{n+p}(c)$ with constant curvature $c\geq 0$, where $H$ is the mean curvature of $M$. We verify that if the scalar curvature of $M$ satisfies $R>n(n-2)(c+H^2)$, and if $Ric_M\geq (n-2-\frac{2\sigma_n}{2n-\sigma_n})(c+H^2)$, then $M$ is homeomorphic to a sphere. Here $\sigma_n=sgn(n-4)((-1)^n+3)$, and $sgn(\cdot)$ is the standard sign function. This improves our previous sphere theorem \cite{XG2}. It should be emphasized that our pinching conditions above are optimal. We also obtain some new topological sphere theorems for submanifolds with pinched scalar curvature and Ricci curvature.


title: Use of a Night-Tracking Camera for Characterization and Orbit improvement of Defunct Spacecraft

abstract: The precise knowledge of the positions of space debris objects and in particular of defunct satellites is fundamental for satellite operations. Several studies showed that it is possible to improve the accuracy of the orbit determination results by fusing different types of observables, i.e. classical astrometric positions and range measurements. Particularly promising in the space debris field are the ranges provided by a satellite laser ranging system. The factors that limit the applicability of the satellite laser ranging (SLR) techniques are the altitude of the target, the accuracy of the predicted ephemeris of the target, the energy of the laser pulse, and the laser field of view. In this paper we will show a way to overcome the mentioned challenges by using a night-tracking camera for the real time correction of the pointing of the SLR system (active tracking), and for the simultaneous acquisition of measurements used to improve the orbits and to study the attitude of the target. After presenting the basic functionalities, the performance of the night-tracking camera, and the procedure to acquire the measurements, we will also show the potential of this tool to allow improving orbits in real-time. This study is carried out for defunct or recently decommissioned satellites. Only real angular/laser measurements provided by the sensors of the Swiss Optical Ground Station and Geodynamics Observatory Zimmerwald (SwissOGS) owned by the Astronomical Institute of the University of Bern (AIUB) are used.


title: Introduction to geometric control

abstract: Lecture notes of a short course on geometric control theory given in Brasov, Romania (August 2018) and in Jyv\"askyl\"a, Finland (February 2019).


title: Parametric amplification and noise-squeezing in room temperature atomic vapours

abstract: We report on the use of parametric excitation to coherently manipulate the collective spin state of an atomic vapour at room temperature. Signatures of the parametric excitation are detected in the ground-state spin evolution. These include the excitation spectrum of the atomic coherences, which contains resonances at frequencies characteristic of the parametric process. The amplitudes of the signal quadratures show amplification and attenuation, and their noise distribution is characterized by a strong asymmetry, similarly to those observed in mechanical oscillators. The parametric excitation is produced by periodic modulation of the pumping beam, exploiting a Bell-Bloom-like technique widely used in atomic magnetometry. Notably, we find that the noise-squeezing obtained by this technique enhances the signal-to-noise ratio of the measurements up to a factor of 10, and improves the performance of a Bell-Bloom magnetometer by a factor of 3.


title: Analysis of User Dwell Time on Non-News Pages

abstract: There is dwell time as one of the indicators of user's behavior, and this indicates how long a user looked at a page. Dwell time is especially useful in fields where user ratings are important, such as search engines, recommender systems, and advertisements are important. Despite the importance of this index, however, its characteristics are not well known. In this paper, we analyze the dwell times of various websites by desktop and mobile devices using data of one year. Our aim is to clarify the characteristics of dwell time on non-news websites in order to discover which features are effective for predicting the dwell time. In this analysis, we focus on device types, access times, behavior on the website, and scroll depth. The results indicated that the number of sessions decreased as the dwell time increased, for both desktop and mobile devices. We also found that hour and month greatly affected the dwell time, but day of the week had little effect. Moreover, we discovered that inside and click users tended to have longer dwell times than outside and non-click users. However, we can not find a relationship between dwell time and scroll depth. This is because even if a user browsed the bottom of the page, the user might not necessarily have read the entire page.


title: A family of Beckner inequalities under various curvature-dimension conditions

abstract: In this paper, we offer a proof for a family of functional inequalities interpolating between the Poincar{\'e} and the logarithmic Sobolev (standard and weighted) inequalities. The proofs rely both on entropy flows and on a CD($\rho$, n) condition, either with $\rho$ = 0 and n > 0, or with $\rho$ > 0 and n $\in$ R. As such, results are valid in the case of a Riemannian manifold, which constitutes a generalization to what was proved in [BGS18, Ngu18].


title: Eigenvalue Approximation for Krein-Feller-Operators

abstract: We study the limiting behavior of the eigenvalues of Krein-Feller-Operators with respect to weakly convergent probability measures. Therefore, we give a representation of the eigenvalues as zeros of measure theoretic sine functions. Further, we make a proposition about the limiting behavior of the previously determined eigenfunctions. With the main results we finally determine the speed of convergence of eigenvalues and -functions for sequences which converge to invariant measures on the Cantor set.


title: KT-Speech-Crawler: Automatic Dataset Construction for Speech Recognition from YouTube Videos

abstract: In this paper, we describe KT-Speech-Crawler: an approach for automatic dataset construction for speech recognition by crawling YouTube videos. We outline several filtering and post-processing steps, which extract samples that can be used for training end-to-end neural speech recognition systems. In our experiments, we demonstrate that a single-core version of the crawler can obtain around 150 hours of transcribed speech within a day, containing an estimated 3.5% word error rate in the transcriptions. Automatically collected samples contain reading and spontaneous speech recorded in various conditions including background noise and music, distant microphone recordings, and a variety of accents and reverberation. When training a deep neural network on speech recognition, we observed around 40\% word error rate reduction on the Wall Street Journal dataset by integrating 200 hours of the collected samples into the training set. The demo (http://emnlp-demo.lakomkin.me/) and the crawler code (https://github.com/EgorLakomkin/KTSpeechCrawler) are publicly available.


title: Probing the adsorption/desorption of amphiphilic polymers at the air-water interface during large interfacial deformations

abstract: Hydrophobically modified polymers are good candidates for the stabilization of liquid interfaces thanks to the high anchoring energy of the hydrophobic parts. In this article we probe the interfacial anchoring of a series of home-made hydrophobically modified polymers of controlled degree of grafting by studying their behavior upon large area dilations and compressions. By comparing the measured interfacial tension to the one that we expect in the case of a constant number of adsorbed monomers, we are able to deduce whether desorption or adsorption occurs during area variations. We find that the polymer chains with the longest hydrophobic grafts desorb for larger compressions than the polymers with the shortest grafts, because of their larger desorption energy. Furthermore, we observe more desorption for polymers with the highest grafting densities. We attribute this counter intuitive result to the fact that for high grafting densities, the length of the polymer loops is shorter, hence the elastic penalty upon compression is larger for these layers, leading to a faster desorption. The dilatation experiments reveal that the number of adsorbed anchors remains constant in the case of chains with low grafting density while chains with the highest degree of grafting seem to show some degree of adsorption during the dilatation. Therefore for these highly grafted chains there may be unadsorbed grafts remaining in the vicinity of the interface, which may adsorb quickly to the interface upon dilatation.


title: Accelerating invasions along an environmental gradient

abstract: We consider a population structured by a space variable and a phenotypical trait, submitted to dispersion, mutations, growth and nonlocal competition. This population is facing an environmental gradient: the optimal trait for survival depends linearly on the spatial variable. The survival or extinction depends on the sign of an underlying principal eigenvalue. We investigate the survival case when the initial data satisfies a so-called heavy tail condition in the space-trait plane. Under these assumptions, we show that the solution propagates in the favorable direction of survival by accelerating. We derive some precise estimates on the location of the level sets corresponding to the total population in the space variable, regardless of their traits. Our analysis also reveals that the orientation of the initial heavy tail is of crucial importance.


title: Model-Free Cluster Analysis of Physical Property Data using Information Maximizing Self-Argument Training

abstract: We present the semi-supervised IMSAT, a versatile classification method that works without labeled data and can be tuned by little additional information. We demonstrate how semi-supervised IMSAT can classify XRD patterns and thermoelectric hysteresis curves in the same way even though their shape and dimensions are different. Our algorithm will accelerate automation of big data collection and open a way to study artificial intelligent driven material development.


title: Approximate Robust Control of Uncertain Dynamical Systems

abstract: This work studies the design of safe control policies for large-scale non-linear systems operating in uncertain environments. In such a case, the robust control framework is a principled approach to safety that aims to maximize the worst-case performance of a system. However, the resulting optimization problem is generally intractable for non-linear systems with continuous states. To overcome this issue, we introduce two tractable methods that are based either on sampling or on a conservative approximation of the robust objective. The proposed approaches are applied to the problem of autonomous driving.


title: Entangling two magnon modes via magnetostrictive interaction

abstract: We present a scheme to entangle two magnon modes in a cavity magnomechanical system. The two magnon modes are embodied by collective motions of a large number of spins in two macroscopic ferrimagnets, and couple to a single microwave cavity mode via magnetic dipole interaction. We show that by activating the nonlinear magnetostrictive interaction in one ferrimagnet, realized by driving the magnon mode with a strong red-detuned microwave field, the two magnon modes can be prepared in an entangled state. The entanglement is achieved by exploiting the nonlinear magnon-phonon coupling and the linear magnon-cavity coupling, and is in the steady state and robust against temperature. The entangled magnon modes in two massive ferrimagnets represent genuinely macroscopic quantum states, and may find applications in the study of macroscopic quantum mechanics and quantum information processing based on magnonics.


title: Infinite Automaton Semigroups and Groups Have Infinite Orbits

abstract: We show that an automaton group or semigroup is infinite if and only if it admits an $\omega$-word (i. e. a right-infinite word) with an infinite orbit, which solves an open problem communicated to us by Ievgen V. Bondarenko. In fact, we prove a generalization of this result, which can be applied to show that finitely generated subgroups and subsemigroups as well as principal left ideals of automaton semigroups are infinite if and only if there is an $\omega$ -word with an infinite orbit under their action. The proof also shows some interesting connections between the automaton semigroup and its dual. Finally, our result is interesting from an algorithmic perspective as it allows for a reformulation of the finiteness problem for automaton groups and semigroups.


title: The gravitational magnetoelectric effect

abstract: Electromagnetism in spacetime can be treated in terms of an analogue linear dielectric medium. In this paper, we discuss the gravitational analogue of the linear magnetoelectric effect, which can be found in multiferroic materials. While this is known to occur for metrics with non-zero mixed components, we show how it depends on the choice of spatial formalism for the electromagnetic fields, including in differences in tensor weight, and also on the choice of coordinate chart. This is illustrated for Langevin-Minkowski, four charts of Schwarzschild spacetime, and two charts of pp gravitational waves.


title: 2X8 Multilayer Microstrip Patch Array Antenna for C-Band Radar Micro-SAR

abstract: A Microstrip patch array antenna has been designed for 5.62 GHz on FR4 substrate having a dielectric constant of 4.4 and thickness is 1.6 mm.The antenna is used to design for use with a low cost imaging radar MicroSAR. The antenna composed of an array having 16 patch elements could achieve the simulated gain of 17.5 dB with a bandwidth of 5 percent.The antenna consists of multilayer structure where two double side copper cladded substrates FR4 are used.The substrates are put in contact with each other and the common copper layer forms ground plane.The patch elements are placed on the top of one of the substrate and feed network is placed back side of the substrate.To increase the bandwidth of the antenna the height of the substrate is increased.The Foam material is placed between the two substrate to increase the height of the antenna.The corporate feed network is used to smoothly transfer the power from main port to the feed of antenna.


title: Engineering Transport in Manganites by Tuning Local Non-Stoichiometry in Grain Boundaries

abstract: Interface-dominated materials such as nanocrystalline thin films have emerged as an enthralling class of materials able to engineer functional properties of transition metal oxides widely used in energy and information technologies. In particular, it has been proved that strain-induced defects in grain boundaries of manganites deeply impact their functional properties by boosting their oxygen mass transport while abating their electronic and magnetic order. In this work, the origin of these dramatic changes is correlated for the first time with strong modifications of the anionic and cationic composition in the vicinity of strained grain boundary regions. We are also able to alter the grain boundary composition by tuning the overall cationic content in the films, which represents a new and powerful tool, beyond the classical space charge layer effect, for engineering electronic and mass transport properties of metal oxide thin films useful for a collection of relevant solid state devices.


title: A Trichotomy for Regular Trail Queries

abstract: Regular path queries (RPQs) are an essential component of graph query languages. Such queries consider a regular expression r and a directed edge-labeled graph G and search for paths in G for which the sequence of labels is in the language of r. In order to avoid having to consider infinitely many paths, some database engines restrict such paths to be trails, that is, they only consider paths without repeated edges. In this paper we consider the evaluation problem for RPQs under trail semantics, in the case where the expression is fixed. We show that, in this setting, there exists a trichotomy. More precisely, the complexity of RPQ evaluation divides the regular languages into the finite languages, the class Ttract (for which the problem is tractable), and the rest. Interestingly, the tractable class in the trichotomy is larger than for the trichotomy for simple paths, discovered by Bagan, Bonifati, and Groz [JCSS 2020]. In addition to this trichotomy result, we also study characterizations of the tractable class, its expressivity, the recognition problem, closure properties, and show how the decision problem can be extended to the enumeration problem, which is relevant to practice.


title: Parallel Weighted Random Sampling

abstract: Data structures for efficient sampling from a set of weighted items are an important building block of many applications. However, few parallel solutions are known. We close many of these gaps both for shared-memory and distributed-memory machines. We give efficient, fast, and practicable parallel algorithms for building data structures that support sampling single items (alias tables, compressed data structures). This also yields a simplified and more space-efficient sequential algorithm for alias table construction. Our approaches to sampling $k$ out of $n$ items with/without replacement and to subset (Poisson) sampling are output-sensitive, i.e., the sampling algorithms use work linear in the number of different samples. This is also interesting in the sequential case. Weighted random permutation can be done by sorting appropriate random deviates. We show that this is possible with linear work using a nonlinear transformation of these deviates. Finally, we give a communication-efficient, highly scalable approach to (weighted and unweighted) reservoir sampling. This algorithm is based on a fully distributed model of streaming algorithms that might be of independent interest. Experiments for alias tables and sampling with replacement show near linear speedups both for construction and queries using up to 158 threads of shared-memory machines. An experimental evaluation of distributed weighted reservoir sampling on up to 256 nodes (5120 cores) also shows good speedups.


title: Improving Data Efficiency of Self-supervised Learning for Robotic Grasping

abstract: Given the task of learning robotic grasping solely based on a depth camera input and gripper force feedback, we derive a learning algorithm from an applied point of view to significantly reduce the amount of required training data. Major improvements in time and data efficiency are achieved by: Firstly, we exploit the geometric consistency between the undistorted depth images and the task space. Using a relative small, fully-convolutional neural network, we predict grasp and gripper parameters with great advantages in training as well as inference performance. Secondly, motivated by the small random grasp success rate of around 3%, the grasp space was explored in a systematic manner. The final system was learned with 23000 grasp attempts in around 60h, improving current solutions by an order of magnitude. For typical bin picking scenarios, we measured a grasp success rate of 96.6%. Further experiments showed that the system is able to generalize and transfer knowledge to novel objects and environments.


title: Smoothness of functions vs. smoothness of approximation processes

abstract: We provide a comprehensive study of interrelations between different measures of smoothness of functions on various domains and smoothness properties of approximation processes. Two general approaches to this problem have been developed: the first based on geometric properties of Banach spaces and the second on Littlewood-Paley and H\"{o}rmander type multiplier theorems. In particular, we obtain new sharp inequalities for measures of smoothness given by the $K$-functionals or moduli of smoothness. As examples of approximation processes we consider best polynomial and spline approximations, Fourier multiplier operators on $\mathbb{T}^d$, $\mathbb{R}^d$, $[-1, 1]$, nonlinear wavelet approximation, etc.


title: Exploration of long-period oscillations in an H$\alpha$ prominence

abstract: Context. In previous work, we studied a prominence which appeared like a tornado in a movie made from 193 {\AA} filtergrams obtained with the Atmospheric Imaging Assembly (AIA) imager aboard the Solar Dynamics Observatory (SDO). The observations in H$\alpha$ obtained simultaneously during two consecutive sequences of one hour with the Multi-channel Subtractive Double Pass Spectrograph (MSDP) operating at the solar tower in Meudon showed that the cool plasma inside the tornado was not rotating around its vertical axis. Furthermore, the evolution of the Dopplershift pattern suggested the existence of oscillations of periods close to the time-span of each sequence. Aims. The aim of the present work is to assemble the two sequences of H$\alpha$ observations as a full data set lasting two hours to confirm the existence of oscillations, and determine their nature. Methods. After having coaligned the Doppler maps of the two sequences, we use a Scargle periodogram analysis and cosine fitting to compute the periods and the phase of the oscillations in the full data set. Results. Our analysis confirms the existence of oscillations with periods between 40 and 80 minutes. In the Dopplershift maps, we identify large areas with strong spectral power. In two of them, the oscillations of individual pixels are in phase. However, in the top area of the prominence, the phase is varying slowly, suggesting wave propagation. Conclusions. We conclude that the prominence does not oscillate as a whole structure but exhibits different areas with their own oscillation periods and characteristics: standing or propagating waves. We discuss the nature of the standing oscillations and the propagating waves. These can be interpreted in terms of gravito-acoustic modes and magnetosonic waves, respectively.


title: Single Image Deblurring and Camera Motion Estimation with Depth Map

abstract: Camera shake during exposure is a major problem in hand-held photography, as it causes image blur that destroys details in the captured images.~In the real world, such blur is mainly caused by both the camera motion and the complex scene structure.~While considerable existing approaches have been proposed based on various assumptions regarding the scene structure or the camera motion, few existing methods could handle the real 6 DoF camera motion.~In this paper, we propose to jointly estimate the 6 DoF camera motion and remove the non-uniform blur caused by camera motion by exploiting their underlying geometric relationships, with a single blurry image and its depth map (either direct depth measurements, or a learned depth map) as input.~We formulate our joint deblurring and 6 DoF camera motion estimation as an energy minimization problem which is solved in an alternative manner. Our model enables the recovery of the 6 DoF camera motion and the latent clean image, which could also achieve the goal of generating a sharp sequence from a single blurry image. Experiments on challenging real-world and synthetic datasets demonstrate that image blur from camera shake can be well addressed within our proposed framework.


title: A Framework for Detecting Event related Sentiments of a Community

abstract: Social media has revolutionized human communication and styles of interaction. Due to its easiness and effective medium, people share and exchange information, carry out discussion on various events, and express their opinions. For effective policy making and understanding the response of a community on different events, we need to monitor and analyze the social media. In social media, there are some users who are more influential, for example, a famous politician may have more influence than a common person. These influential users belong to specific communities. The main object of this research is to know the sentiments of a specific community on various events. For detecting the event based sentiments of a community we propose a generic framework. Our framework identifies the users of a specific community on twitter. After identifying the users of a community, we fetch their tweets and identify tweets belonging to specific events. The event based tweets are pre-processed. Pre-processed tweets are then analyzed for detecting sentiments of a community for specific events. Qualitative and quantitative evaluation confirms the effectiveness and usefulness of our proposed framework.


title: Accurate GPS-based timestamp facility for Gran Sasso National Laboratory

abstract: A new system to assign accurate timestamps to events recorded by experiments running underground has been designed, installed and tested at INFN Gran Sasso National Laboratory, Italy. This facility is based on a Master unit installed on surface and receiving time information from a GPS receiver, and Slave units placed underground which get data packet from the Master via optical fiber and assign the timestamps. The system is able to provide a time accuracy of 15 ns (1 $\sigma$) and precise reference frequencies to the experiments. It is now part of the infrastructure of the Laboratory for all the experimental activities which need accurate timestamps.


title: Exoplanet host-star properties: the active environment of exoplanets

abstract: The primary objectives of the ExoplANETS-A project are to: establish new knowledge on exoplanet atmospheres; establish new insight on influence of the host star on the planet atmosphere; disseminate knowledge, using online, web-based platforms. The project, funded under the EU's Horizon-2020 programme, started in January 2018 and has a duration ~3 years. We present an overview of the project, the activities concerning the host stars and some early results on the host stars.


title: Unraveling Bulk and Grain Boundary Electrical Properties in La0.8Sr0.2Mn1-yO3 Thin Films

abstract: Grain boundaries in Sr-doped LaMnO3 thin films have been shown to strongly influence the electronic and oxygen mass transport properties, being able to profoundly modify the nature of the material. The unique behaviour of the grain boundaries can be correlated with substantial modifications of the cation concentration at the interfaces, which can be tuned by changing the overall cationic ratio in the films. In this work, we study the electronic properties of La0.8Sr0.2Mn1-yO3 thin films with variable Mn content. The influence of the cationic composition on the grain boundary and grain bulk electronic properties is elucidated by studying the manganese valence state evolution using spectroscopy techniques and by confronting the electronic properties of epitaxial and polycrystalline films. Substantial differences in the electronic conduction mechanism are found in the presence of grain boundaries and depending on the manganese content. Moreover, the unique defect chemistry of the nanomaterial is elucidated by measuring the electrical resistance of the thin films as a function of oxygen partial pressure, disclosing the importance of the cationic local non-stoichiometry on the thin films behavior.


title: Exact Penalty Functions for Optimal Control Problems I: Main Theorem and Free-Endpoint Problems

abstract: In this two-part study we develop a general approach to the design and analysis of exact penalty functions for various optimal control problems, including problems with terminal and state constraints, problems involving differential inclusions, as well as optimal control problems for linear evolution equations. This approach allows one to simplify an optimal control problem by removing some (or all) constraints of this problem with the use of an exact penalty function, thus allowing one to reduce optimal control problems to equivalent variational problems, apply numerical methods for solving, e.g. problems without state constraints, to problems including such constraints, etc. In the first part of our study we strengthen some existing results on exact penalty functions for optimisation problems in infinite dimensional spaces and utilise them to study exact penalty functions for free-endpoint optimal control problems, which reduce these problems to equivalent variational ones. We also prove several auxiliary results on integral functionals and Nemytskii operators that are helpful for verifying the assumptions under which the proposed penalty functions are exact.


title: Dominant Dataset Selection Algorithms for Electricity Consumption Time-Series Data Analysis Based on Affine Transformation

abstract: The explosive growth of time-series data, the scale of time-series data (TSD) suggests that the scale and capability of many Internet of Things (IoT)-based applications has already been exceeded. Moreover, redundancy persists in TSD due to the correlation between information acquired via different sources. In this paper, we propose a cohort of dominant dataset selection algorithms for electricity consumption time-series data with a focus on discriminating the dominant dataset that is small dataset but capable of representing the kernel information carried by time-series data with an arbitrarily small error rate less than ". Furthermore, we prove that the selection problem of the minimum dominant dataset is an NP-complete problem. The affine transformation model is introduced to define the linear correlation relationship between time-series data objects. Our proposed framework consists of the scanning selection algorithm with O(n3) time complexity and the greedy selection algorithm with O(n4) time complexity, which are respectively proposed to select the dominant dataset based on the linear correlation distance between time-series data objects. The proposed algorithms are evaluated on the real electricity consumption data Harbin city in China. The experimental results show that the proposed algorithms not only reduce the size of the extracted kernel dataset but also ensure the time-series data integrity in terms of accuracy and efficiency.


title: Completing density functional theory by machine-learning hidden messages from molecules

abstract: Kohn-Sham density functional theory is the base of modern computational approaches to electronic structures. Their accuracy vitally relies on the exchange-correlation energy functional, which encapsulates electron-electron interaction beyond the classical one. The functional provides a way to obtain the density and energy without solving the many-body equation and can, in principle, be determined to reproduce the exact ones universally. However, the past approaches are dependent on the theoretical development, which limits the possibility of the functional to human's intuition. Here, we demonstrate a systematic way to machine-learn a functional from a database, without complicated assumptions. The density and energy are related with a flexible feed-forward neural network, which is trained to reproduce accurate dataset, and the KS-DFT is solved by taking the functional derivatives with the back-propagation technique. Surprisingly, a trial functional, trained for just a few molecules, has been shown to be applicable to hundreds of molecular systems with comparable accuracy to the standard functionals. Also, by adding the nodes connected to the hidden layers, a non-local term is straightforwardly included to improve accuracy, which has been hitherto impractically difficult. Utilizing the strategy of rapidly advancing machine learning techniques, this novel approach is expected to enrich the DFT framework by constructing a functional just from a database for materials conventionally difficult to calculate accurately.


title: Searching for Gamma-Ray Millisecond Pulsars: Selection of Candidates Revisited

abstract: We are starting a project to find $\gamma$-ray millisecond pulsars (MSPs) among the unidentified sources detected by the Large Area Telescope (LAT) onboard the {Fermi Gamma-Ray Space Telescope (Fermi)}, by radio observations. The selection of good candidates from analysis of the LAT data is an important part of the project. Given that there is more than 10 years worth of LAT data and the advent of the newly released LAT 8-year point source list (FL8Y), we have conducted a selection analysis, on the basis of our previous analysis, and report the results here. Setting the requirements for the unidentified sources in FL8Y of Galactic latitudes $|b|>$ 5$^\circ$ and curvature significances $>$3$\sigma$, there are 202 sources with detection signficances $>$6$\sigma$. We select 57 relatively bright ones (detection significances $>$15$\sigma$) and analyze their 10.2 years of LAT data. Their variability is checked to exclude variable sources (likely~blazars), test statistic maps are constructed to avoid contaminated sources, and curvature significances are re-obtained and compared to their $\gamma$-ray spectra to exclude non-significant sources. In the end, 48 candidates are found. Based on the available information, mostly from multi-wavelength studies, we discuss the possible nature of several of the candidates. Most of these candidates are currently being observed with the 65-meter Shanghai Tian Ma Radio Telescope.


title: Alternative to Morse-Novikov Theory for closed 1-form (I)

abstract: This paper extends the Alternative to Morse-Novikov theory we have proposed in Burghelea (New topological invariants for real- and angle valued maps, World Scientific, Hackensack, 2018) from real- and angle-valued map to closed 1-forms. For a topological closed 1-form on a compact ANR (= absolute neighborhood retract), a concept generalizing closed differential 1-form on a compact manifold, under the mild hypothesis of tameness, a field and a non-negative integer we propose two configurations of points, the first on the real line the second on the positive real line, which recover Novikov-Betti numbers and the Novikov complex associated with a Morse closed 1-form with non-degenerated zeros. Precisely, the sum of the multiplicities of the points in the support of the first configuration which correspond to the integer r equals the r-th Novikov-Betti number and that of the points in the support of second configuration which corresponds to the integer r equals the rank of the boundary map in the Novikov complex. We formulate the basic properties of these configurations, the stability property and the Poincare duality property when the compact ANR is a closed orientable topological manifold, which in full generality will be proven in the second and third part of this work.


title: Mask Scoring R-CNN

abstract: Letting a deep network be aware of the quality of its own predictions is an interesting yet important problem. In the task of instance segmentation, the confidence of instance classification is used as mask quality score in most instance segmentation frameworks. However, the mask quality, quantified as the IoU between the instance mask and its ground truth, is usually not well correlated with classification score. In this paper, we study this problem and propose Mask Scoring R-CNN which contains a network block to learn the quality of the predicted instance masks. The proposed network block takes the instance feature and the corresponding predicted mask together to regress the mask IoU. The mask scoring strategy calibrates the misalignment between mask quality and mask score, and improves instance segmentation performance by prioritizing more accurate mask predictions during COCO AP evaluation. By extensive evaluations on the COCO dataset, Mask Scoring R-CNN brings consistent and noticeable gain with different models, and outperforms the state-of-the-art Mask R-CNN. We hope our simple and effective approach will provide a new direction for improving instance segmentation. The source code of our method is available at \url{https://github.com/zjhuang22/maskscoring_rcnn}.


title: A quantum pathway to overcome the trilemma of magnetic data storage

abstract: The three essential pillars of magnetic data storage devices are readability, writeability, and stability. However, these requirements compete as magnetic domain sizes reach the fundamental limit of single atoms and molecules. The proven magnetic bistability of individual holmium atoms on magnesium oxide appeared to operate within this magnetic trilemma, sacrificing writeability for unprecedented stability. Using the magnetic stray field created by the tip of a spin-polarized scanning tunneling microscope (SP-STM), we controllably move the Ho state into the quantum regime, allowing us to write its state via the quantum tunneling of magnetization (QTM). We find that the hyperfine interaction causes both the excellent magnetic bistability, even at zero applied magnetic field, and the avoided level crossings which we use to control the magnetic state via QTM. We explore how to use such a system to realize a high-fidelity single atom NOT gate (inverter). Our approach reveals the prospect of combining the best traits of the classical and quantum worlds for next generation data storage.


title: The seed-to-solution method for the Einstein constraints and the asymptotic localization problem

abstract: We establish the existence of a class of asymptotically Euclidean solutions to Einstein's constraint equations, whose asymptotic behavior at infinity is arbitrarily prescribed. The proposed seed-to-solution method relies on iterations based on the linearized Einstein operator and its dual. It generates a Riemannian manifold (with finitely many asymptotically Euclidean ends) from any seed data set consisting of (1): a Riemannian metric and a symmetric two-tensor and (2): a (density) field and a (momentum) vector field representing the matter content. We distinguish between tame and strongly tame seed data sets, depending whether the data provides a rough or an accurate asymptotic Ansatz at infinity. We encompass classes of metrics and matter fields with low decay (with infinite ADM mass) or strong decay (with Schwarzschild behavior). Our analysis is motivated by Carlotto and Schoen's pioneering work on the localization problem for Einstein's vacuum equations. Dealing with metrics with very low decay and establishing estimates beyond harmonic decay require significantly new arguments. We analyze the nonlinear coupling between the Hamiltonian and momentum constraints. By establishing elliptic estimates for the linearized Einstein operator, we uncover the notion of mass-momentum correctors which is related to the ADM mass of the manifold. We derive precise estimates for the difference between the seed data and the actual solution, a result that should be of interest for future numerical investigation. Furthermore, we introduce here and study the asymptotic localization problem in which we replace Carlotto-Schoen's exact localization requirement by an asymptotic condition at a super-harmonic rate. With a suitably constructed, parametrized family of seed data, we solve this problem by exhibiting mass-momentum correctors with harmonic decay.


title: The vanishing discount problem for monotone systems of Hamilton-Jacobi equations. Part 1: linear coupling

abstract: We establish a convergence theorem for the vanishing discount problem for a weakly coupled system of Hamilton-Jacobi equations. The crucial step is the introduction of Mather measures and their relatives for the system, which we call respectively viscosity Mather and Green-Poisson measures. This is done by the convex duality and the duality between the space of continuous functions on a compact set and the space of Borel measures on it. This is part 1 of our study of the vanishing discount problem for systems, which focuses on the linear coupling, while part 2 will be concerned with nonlinear coupling.


title: Large cliques in hypergraphs with forbidden substructures

abstract: A result due to Gy\'arf\'as, Hubenko, and Solymosi (answering a question of Erd\"os) states that if a graph $G$ on $n$ vertices does not contain $K_{2,2}$ as an induced subgraph yet has at least $c\binom{n}{2}$ edges, then $G$ has a complete subgraph on at least $\frac{c^2}{10}n$ vertices. In this paper we suggest a "higher-dimensional" analogue of the notion of an induced $K_{2,2}$ which allows us to generalize their result to $k$-uniform hypergraphs. Our result also has an interesting consequence in discrete geometry. In particular, it implies that the fractional Helly theorem can be derived as a purely combinatorial consequence of the colorful Helly theorem.


title: Quantum Thermal Hall effect of chiral spinons on a Kagome strip

abstract: We develop a theory for the thermal Hall coefficient in a spin-$\frac{1}{2}$ system on a strip of Kagome lattice, where a chiral spin-interaction term is present. To this end, we model the Kagome strip as a three-leg $XXZ$ spin-ladder, and use Bosonization to derive a low-energy theory for the spinons in this system. Introducing further a Dzyaloshinskii-Moriya interaction ($D$) and a tunable magnetic field ($B$), we identify three distinct $B$-dependent quantum phases: a valence-bond crystal (VBC), a "metallic" spin liquid (MSL) and a chiral spin liquid (CSL). In the presence of a temperature difference $\Delta T$ between the top and the bottom edges of the strip, we evaluate the net heat current $J_h$ along the strip, and consequently the thermal Hall conductivity $\kappa_{xy}$. We find that the VBC-MSL-CSL transitions are accompanied by a pronounced qualitative change in the behavior of $\kappa_{xy}$ as a function of $B$. In particular, analogously to the quantum Hall effect, $\kappa_{xy}$ in the CSL phase exhibits a quantized plateau centered around a commensurate value of the spinon filling factor $\nu_s\propto B/D$.


title: Antiduality and M\"obius monotonicity: Generalized Coupon Collector Problem

abstract: For a given absorbing Markov chain $X^*$ on a finite state space, a chain $X$ is a sharp antidual of $X^*$ if the fastest strong stationary time of $X$ is equal, in distribution, to the absorption time of $X^*$. In this paper we show a systematic way of finding such an antidual based on some partial ordering of the state space. We use a theory of strong stationary duality developed recently for M\"obius monotone Markov chains. We give several sharp antidual chains for Markov chain corresponding to a generalized coupon collector problem. As a consequence - utilizing known results on a limiting distribution of the absorption time - we indicate a separation cutoff (with its window size) in several chains. We also present a chain which (under some conditions) has a prescribed stationary distribution and its fastest strong stationary time is distributed as a prescribed mixture of sums of geometric random variables.


title: Maximizing spreading influence via measuring influence overlap for social networks

abstract: Influence overlap is a universal phenomenon in influence spreading for social networks. In this paper, we argue that the redundant influence generated by influence overlap cause negative effect for maximizing spreading influence. Firstly, we present a theoretical method to calculate the influence overlap and record the redundant influence. Then in term of eliminating redundant influence, we present two algorithms, namely, Degree-Redundant-Influence (DRS) and Degree-Second-Neighborhood (DSN) for multiple spreaders identification. The experiments for four empirical social networks successfully verify the methods, and the spreaders selected by the DSN algorithm show smaller degree and k-core values.


title: A Semismooth Newton Method for Support Vector Classification and Regression

abstract: Support vector machine is an important and fundamental technique in machine learning. In this paper, we apply a semismooth Newton method to solve two typical SVM models: the L2-loss SVC model and the \epsilon-L2-loss SVR model. The semismooth Newton method is widely used in optimization community. A common belief on the semismooth Newton method is its fast convergence rate as well as high computational complexity. Our contribution in this paper is that by exploring the sparse structure of the models, we significantly reduce the computational complexity, meanwhile keeping the quadratic convergence rate. Extensive numerical experiments demonstrate the outstanding performance of the semismooth Newton method, especially for problems with huge size of sample data (for news20.binary problem with 19996 features and 1355191 samples, it only takes three seconds). In particular, for the \epsilon-L2-loss SVR model, the semismooth Newton method significantly outperforms the leading solvers including DCD and TRON.


title: Series representation of a cotangent sum related to the Estermann zeta function

abstract: In this paper, we are interested by the cotangent sum c0(q/p) related to the Estermann zeta function for the special case when q = 1 and get explicit formula for its series expansion, which represents an improvement of the identity (2:1) Theorem (2:1) in the recent work [11].


title: A surrogate model for estimating extreme tower loads on wind turbines based on random forest proximities

abstract: In the present paper we present a surrogate model, which can be used to estimate extreme tower loads on a wind turbine from a number of signals and a suitable simulation tool. Due to the requirements of the International Electrotechnical Commission (IEC) Standard 61400-1, assessing extreme tower loads on wind turbines constitutes a key component of the design phase. The proposed model imputes tower loads by matching observed signals with simulated quantities using proximities induced by random forests. In this way the algorithm's adaptability to high-dimensional and sparse settings is exploited without using regression-based surrogate loads (which may display misleading probabilistic characteristics). Finally, the model is applied to estimate tower loads on an operating wind turbine from data on its operational statistics.


title: Optimal Projection Guided Transfer Hashing for Image Retrieval

abstract: Recently, learning to hash has been widely studied for image retrieval thanks to the computation and storage efficiency of binary codes. For most existing learning to hash methods, sufficient training images are required and used to learn precise hashing codes. However, in some real-world applications, there are not always sufficient training images in the domain of interest. In addition, some existing supervised approaches need a amount of labeled data, which is an expensive process in term of time, label and human expertise. To handle such problems, inspired by transfer learning, we propose a simple yet effective unsupervised hashing method named Optimal Projection Guided Transfer Hashing (GTH) where we borrow the images of other different but related domain i.e., source domain to help learn precise hashing codes for the domain of interest i.e., target domain. Besides, we propose to seek for the maximum likelihood estimation (MLE) solution of the hashing functions of target and source domains due to the domain gap. Furthermore,an alternating optimization method is adopted to obtain the two projections of target and source domains such that the domain hashing disparity is reduced gradually. Extensive experiments on various benchmark databases verify that our method outperforms many state-of-the-art learning to hash methods. The implementation details are available at https://github.com/liuji93/GTH.


title: Frequency-dependent ab initio Resonance Raman Spectroscopy

abstract: We present a new method to compute resonance Raman spectra based on ab initio level calculations using the frequency-dependent Placzek approximation. We illustrate the efficiency of our hybrid quantum-classical method by calculating the Raman spectra of several materials with different crystal structures. Results obtained from our approach agree very well with experimental data in the literature. We argue that our method offers an affordable and far more accurate alternative to the widely used static Placzek approximation.


title: The unirational components of the strata of genus $11$ curves with several pencils of degree $6$ in $\mathcal{M}_{11}$

abstract: We show that the strata $ \mathcal{M}_{11,6}(k) \subset \mathcal{M}_{11} $ of $ 6-$gonal curves of genus $ 11 $, equipped with $k$ mutually independent and type I pencils of degree six, have a unirational irreducible component for $5\leq k\leq 9$. The unirational families arise from degree $ 9 $ plane curves with $ 4 $ ordinary triple and $ 5 $ ordinary double points that dominate an irreducible component of expected dimension. We will further show that the family of degree $ 8 $ plane curves with $ 10 $ ordinary double points covers an irreducible component of excess dimension in $ \mathcal{M}_{11,6}(10) $.


title: A quantitative version of the theorem on Khintchine's constant

abstract: In the paper we provide measure estimates for the set of numbers whose sequence of products of continued fraction partial quotients $M_n = a_1 \ldots a_n$ has exponential growth with rate close to the one predicted by Khintchine's theorem, i.e. for which \begin{equation*} e^{(\kappa - T)n} \leqslant M_n \leqslant e^{(\kappa + T)n} \end{equation*} for a fixed $T > 0$ and all $n$ greater than some fixed integer $N$, where $e^\kappa = 2.685\ldots$ is the Khintchine constant. Choosing $N$ large enough the measure can be made arbitrarily close to full, for any given $T$. The bounds are not of asymptotic nature, but explicit in terms of the parameters involved. In the proof we compile several known result of large deviations theory, employing the cumulant method in particular. We also discuss the numerical values of the quantities involved.


title: Room temperature Silicon detector for IR range coated with Ag2S Quantum Dots

abstract: We present an elegant and effective technology of extending the photoresponse of Si towards the IR range. Our approach is based on the use of Ag2S quantum dots planted on the surface of Si to create impurity states in Si band gap. Given the variety of available QDs and the ease of extending the photoresponse of Si towards the IR range, our findings open a path towards the future study and development of Si detectors for technological applications. The current research at the interface of physics and chemistry is also of fundamental importance to the development of Si optoelectronics of the IR range.


title: Technique for Surface Background Rejection in Liquid Argon Dark Matter Detectors using Layered Wavelength-Shifting and Scintillating Thin Films

abstract: A technique using layered wavelength shifting, scintillating and non-scintillating films is presented to achieve discrimination of surface $\alpha$ events from low-energy nuclear recoils in liquid argon detectors. A discrimination power greater than $10^{8}$, similar to the discrimination possible for electronic recoils in argon, can be achieved by adding a 50 micron layer of scintillator with a suitably slow decay time, approximately 300 ns or greater, to a wavelength-shifter coated surface. The technique would allow suppression of surface $\alpha$ events in a very large next-generation argon dark matter experiment (with hundreds of square meters of surface area) without the requirement for position reconstruction, thus allowing utilization of more of the instrumented mass in the dark matter search. The technique could also be used to suppress surface backgrounds in compact argon detectors of low-energy nuclear recoils, for example in measurements of coherent neutrino-nucleus scattering or for sensitive measurements of neutron fluxes.


title: Crowding in humans is unlike that in convolutional neural networks

abstract: Object recognition is a primary function of the human visual system. It has recently been claimed that the highly successful ability to recognise objects in a set of emergent computer vision systems---Deep Convolutional Neural Networks (DCNNs)---can form a useful guide to recognition in humans. To test this assertion, we systematically evaluated visual crowding, a dramatic breakdown of recognition in clutter, in DCNNs and compared their performance to extant research in humans. We examined crowding in three architectures of DCNNs with the same methodology as that used among humans. We manipulated multiple stimulus factors including inter-letter spacing, letter colour, size, and flanker location to assess the extent and shape of crowding in DCNNs. We found that crowding followed a predictable pattern across architectures that was different from that in humans. Some characteristic hallmarks of human crowding, such as invariance to size, the effect of target-flanker similarity, and confusions between target and flanker identities, were completely missing, minimised or even reversed. These data show that DCNNs, while proficient in object recognition, likely achieve this competence through a set of mechanisms that are distinct from those in humans. They are not necessarily equivalent models of human or primate object recognition and caution must be exercised when inferring mechanisms derived from their operation.


title: Extension of KNTZ trick to non-rectangular representations

abstract: We claim that the recently discovered universal-matrix precursor for the $F$ functions, which define the differential expansion of colored polynomials for twist and double braid knots, can be extended from rectangular to non-rectangular representations. This case is far more interesting, because it involves multiplicities and associated mysterious gauge invariance of arborescent calculus. In this paper we make the very first step -- reformulate in this form the previously known formulas for the simplest non-rectangular representations [r,1] and demonstrate their drastic simplification after this reformulation.


title: SHG (532 nm)-induced spontaneous parametric downconversion noise in 1064 nm-pumped IR upconversion detectors

abstract: As a novel technique for infrared detection, frequency upconversion has been successfully deployed in many applications. However, investigations into the noise properties of upconversion detectors (UCDs) have also received considerable attention. In this letter, we present a new noise source - second harmonic generation (SHG)-induced spontaneous parametric downconversion (SPDC) - experimentally and theoretically shown to exist in short-wavelength-pumped UCDs. We investigate the noise properties of two UCDs based on single-pass 1064 nm-pumped periodically poled LiNbO$_{3}$ bulk crystals. One UCD is designed to detect signals in the telecom band and the other in the mid-infrared regime. Our experimental demonstration and theoretical analysis reveal the basic properties of this newly discovered UCD noise source, including its dependence on crystal temperature and pump power. Furthermore, the principle behind the generation of this noise source can also be applied to other UCDs, which utilize nonlinear crystals either in waveguide form or with different bulk materials. This study may also aid in developing methods to suppress the newly identified noise in future UCD designs.


title: Stealed-bid Auctions: Detecting Bid Leakage via Semi-Supervised Learning

abstract: Bid leakage is a corrupt scheme in a first-price sealed-bid auction in which the procurer leaks the opponents' bids to a favoured participant. The rational behaviour of such participant is to bid close to the deadline in order to receive all bids, which allows him to ensure his win at the best price possible. While such behaviour does leave detectable traces in the data, the absence of bid leakage labels makes supervised classification impossible. Instead, we reduce the problem of the bid leakage detection to a positive-unlabeled classification. The key idea is to regard the losing participants as fair and the winners as possibly corrupted. This allows us to estimate the prior probability of bid leakage in the sample, as well as the posterior probability of bid leakage for each specific auction. We extract and analyze the data on 600,000 Russian procurement auctions between 2014 and 2018. We find that around 9% of the auctions are exposed to bid leakage, which results in an overall 1.5% price increase. The predicted probability of bid leakage is higher for auctions with a higher reserve price, with too low or too high number of participants, and if the winner has met the auctioneer in earlier auctions.


title: The construction of Green currents and singular theta lifts for unitary groups

abstract: With applications in the Kudla program in mind we employ singular theta lifts for the reductive dual pair $U(p,q)\times U(1,1)$ to construct two different kinds of Green forms for codimension $q$-cycles in Shimura varieties associated to unitary groups. We establish an adjointness result between our singular theta lift and the Kudla-Millson lift. Further, we compare the two Greens forms and obtain modularity for the generating function of the difference of the two Green forms. Finally, we show that the Green forms obtained by the singular theta lift satisfy an eigenvalue equation for the Laplace operator and conclude that our Green forms coincide with the ones constructed by Oda and Tsuzuki by different means.


title: Finite Temperature Landau Gauge Lattice Quark Propagator

abstract: The quark propagator at finite temperature is investigated using quenched gauge configurations. The propagator form factors are investigated for temperatures above and below the gluon deconfinement temperature $T_c$ and for the various Matsubara frequencies. Significant differences between the functional behaviour below and above $T_c$ are observed both for the quark wave function and the running quark mass. The results for the running quark mass indicate a strong link between gluon dynamics, the mechanism for chiral symmetry breaking and the deconfinement mechanism. For temperatures above $T_c$ and for low momenta, our results support also a description of quarks as free quasi-particles.


title: Robust Heteroclinic Tangencies

abstract: We construct diffeomorphisms in dimension $d\geq 2$ exhibiting $C^1$-robust heteroclinic tangencies.


title: The Martin-Benito-Mena Marugan-Olmedo prescription for the Dapor-Liegener model of Loop Quantum Cosmology

abstract: Recently, an alternative Hamiltonian constraint for Loop Quantum Cosmology has been put forward by Dapor and Liegener, inspired by previous work on regularization due to Thiemann. Here, we quantize this Hamiltonian following a prescription for cosmology proposed by Mart\'{\i}n-Benito, Mena Marug\'an, and Olmedo. To this effect, we first regularize the Euclidean and Lorentzian parts of the Hamiltonian constraint separately in the case of a Bianchi I cosmology. This allows us to identify a natural symmetrization of the Hamiltonian which is apparent in anisotropic scenarios. Preserving this symmetrization in isotropic regimes, we then determine the Hamiltonian constraint corresponding to a Friedmann-Lema\^itre-Robertson-Walker cosmology, which we proceed to quantize. We compute the action of this Hamiltonian operator in the volume eigenbasis and show that it takes the form of a fourth-order difference equation, unlike in standard Loop Quantum Cosmology, where it is known to be of second order. We investigate the superselection sectors of our constraint operator, proving that they are semilattices supported only on either the positive or the negative semiaxis, depending on the triad orientation. Remarkably, the decoupling between semiaxes allows us to write a closed expression for the generalized eigenfunctions of the geometric part of the constraint. This expression is totally determined by the values at the two points of the semilattice that are closest to the origin, namely the two contributions with smallest eigenvolume. This is in clear contrast with the situation found for the standard Hamiltonian of Loop Quantum Cosmology, where only the smallest value is free. This result indicates that the degeneracy of the new geometric Hamiltonian operator is equal to two, doubling the possible number of solutions with respect to the conventional quantization considered until now.


title: Invariants of the Weyl Group of Type $A_{2l}^{(2)}$

abstract: In this note, we show the polynomiality of the ring of invariants with respect to the Weyl group of type $A_{2l}^{(2)}$.


title: On fractional calculus with general analytic kernels

abstract: Many possible definitions have been proposed for fractional derivatives and integrals, starting from the classical Riemann-Liouville formula and its generalisations and modifying it by replacing the power function kernel with other kernel functions. We demonstrate, under some assumptions, how all of these modifications can be considered as special cases of a single, unifying, model of fractional calculus. We provide a fundamental connection with classical fractional calculus by writing these general fractional operators in terms of the original Riemann-Liouville fractional integral operator. We also consider inversion properties of the new operators, prove analogues of the Leibniz and chain rules in this model of fractional calculus, and solve some fractional differential equations using the new operators.


title: Volumetric Instance-Aware Semantic Mapping and 3D Object Discovery

abstract: To autonomously navigate and plan interactions in real-world environments, robots require the ability to robustly perceive and map complex, unstructured surrounding scenes. Besides building an internal representation of the observed scene geometry, the key insight toward a truly functional understanding of the environment is the usage of higher-level entities during mapping, such as individual object instances. We propose an approach to incrementally build volumetric object-centric maps during online scanning with a localized RGB-D camera. First, a per-frame segmentation scheme combines an unsupervised geometric approach with instance-aware semantic object predictions. This allows us to detect and segment elements both from the set of known classes and from other, previously unseen categories. Next, a data association step tracks the predicted instances across the different frames. Finally, a map integration strategy fuses information about their 3D shape, location, and, if available, semantic class into a global volume. Evaluation on a publicly available dataset shows that the proposed approach for building instance-level semantic maps is competitive with state-of-the-art methods, while additionally able to discover objects of unseen categories. The system is further evaluated within a real-world robotic mapping setup, for which qualitative results highlight the online nature of the method.


title: Covariance-Aided CSI Acquisition with Non-Orthogonal Pilots in Massive MIMO: A Large-System Performance Analysis

abstract: Massive multiple-input multiple-output (MIMO) systems use antenna arrays with a large number of antenna elements to serve many different users simultaneously. The large number of antennas in the system makes, however, the channel state information (CSI) acquisition strategy design critical and particularly challenging. Interestingly, in the context of massive MIMO systems, channels exhibit a large degree of spatial correlation which results in strongly rank-deficient spatial covariance matrices at the base station (BS). With the final objective of analyzing the benefits of covariance-aided uplink multi-user CSI acquisition in massive MIMO systems, here we compare the channel estimation mean-square error (MSE) for (i) conventional CSI acquisition, which does not assume any knowledge on the user spatial covariance matrices and uses orthogonal pilot sequences; and (ii) covariance-aided CSI acquisition, which exploits the individual covariance matrices for channel estimation and enables the use of non-orthogonal pilot sequences. We apply a large-system analysis to the latter case, for which new asymptotic MSE expressions are established under various assumptions on the distributions of the pilot sequences and on the covariance matrices. We link these expressions to those describing the estimation MSE of conventional CSI acquisition with orthogonal pilot sequences of some equivalent length. This analysis provides insights on how much training overhead can be reduced with respect to the conventional strategy when a covariance-aided approach is adopted.


title: Dynamics of Crime In and Out of Prisons

abstract: The accumulated criminal records shows that serious and minor crimes differ in many measures and are related in a complex way. While some of those who have committed minor crime spontaneously evolve into serious criminals, the transition from minor crime to major crime involves many social factors and have not been fully understood yet. In this work, we present a mathematical model to describe how minor criminals turns in to major criminals inside and outside of prisons. The model is design to implement two social effects which respectively have been conceptualized in popular terms "broken windows effect" and "prison as a crime school." Analysis of the system shows how the crime-related parameters such as the arrest rate, the period of imprisonment and the in-prison contact rate affect the criminal distribution at equilibrium. Without proper control of contact between prisoners, the longer imprisonment rather increases occurrence of serious crimes in society. An optimal allocation of the police resources to suppress crimes is also discussed.


title: Frequency Domain Transformer Networks for Video Prediction

abstract: The task of video prediction is forecasting the next frames given some previous frames. Despite much recent progress, this task is still challenging mainly due to high nonlinearity in the spatial domain. To address this issue, we propose a novel architecture, Frequency Domain Transformer Network (FDTN), which is an end-to-end learnable model that estimates and uses the transformations of the signal in the frequency domain. Experimental evaluations show that this approach can outperform some widely used video prediction methods like Video Ladder Network (VLN) and Predictive Gated Pyramids (PGP).


title: Strict Superstablity and Decidability of Certain Generic Graphs

abstract: We show that the Hrushovski-\fraisse limit of certain classes of trees lead to strictly superstable theories of various U-ranks. In fact, for each $ \alpha\in\omega+1\backslash\{0\} $ we introduce a strictly superstable theory of U-rank $ \alpha. $ Furthermore, we show that these theories are decidable and pseudofinite.


title: CO, H2O, H2O+ line and dust emission in a z = 3.63 strongly lensed starburst merger at sub-kiloparsec scales

abstract: Using ALMA, we report high angular-resolution observations of the redshift z=3.63 galaxy, G09v1.97, one of the most luminous strongly lensed galaxies discovered by the H-ATLAS survey. We present 0"2-0"4 resolution images of the rest-frame 188 and 419$\mu$m dust continuum and the CO(6-5), H2O(211-202) and J=2 H2O+ line emission. We also report the detection of H$_2^{18}$O in this source. The dust continuum and molecular gas emission are resolved into a nearly complete ~1"5 diameter Einstein ring plus a weaker image in the center, which is caused by a special dual deflector lensing configuration. The observed line profiles of the CO, H2O and H2O+ lines are strikingly similar. In the source plane, we reconstruct the dust continuum images and the spectral cubes of the line emission at sub-kpc scales. The reconstructed dust emission in the source plane is dominated by a compact disk with an effective radius of 0.7kpc plus an overlapping extended disk with a radius twice as large. While the average magnification for the dust continuum is $\mu$~10-11, the magnification of the line emission varies 5 to 22 across different velocity components. The emission lines have similar spatial and kinematic distributions. The molecular gas and dust content reveal that G09v1.97 is a gas-rich major merger in its pre-coalescence phase. Both of the merging companions are intrinsically ULIRGs with LIR reaching $\gtrsim 4\times10^{12}L_\odot$, and the total LIR of G09v1.97 is $1.4\times10^{13}L_\odot$. The approaching southern galaxy shows no obvious kinematic structure with a semi-major half-light radius a_s=0.4kpc, while the receding galaxy resembles an a_s=1.2kpc rotating disk. The two galaxies are separated by a projected distance of 1.3kpc, bridged by weak line emission that is co-spatially located with the cold-dust-emission peak, suggesting a large amount of cold ISM in the interacting region. (abridged)


title: Boundary matrices for the higher spin six vertex model

abstract: In this paper we consider solutions to the reflection equation related to the higher spin stochastic six vertex model. The corresponding higher spin $R$-matrix is associated with the affine quantum algebra $U_q(\widehat{sl(2)})$. The explicit formulas for boundary $K$-matrices for spins $s=1/2,1$ are well known. We derive difference equations for the generating function of matrix elements of the $K$-matrix for any spin $s$ and solve them in terms of hypergeometric functions. As a result we derive the explicit formula for matrix elements of the $K$-matrix for arbitrary spin. In the lower- and upper- triangular cases, the $K$-matrix simplifies and reduces to simple products of $q$-Pochhammer symbols.


title: Robust Hybrid Output Regulation for Linear Systems with Periodic Jumps: the non-semiclassical case

abstract: This paper solves the robust hybrid output regulation problem for arbitrary uncertain hybrid MIMO linear systems with periodic jumps without the restrictive assumptions used in all previous works on the subject. A necessary condition for solving the problem is that the regulator must incorporate an internal model of the flow zero-dynamics, which is typically affected by uncertainties and then unknown. Hence, the proposed regulator consists of three units: a data-driven estimator of the dynamics that are invisible from the regulated output during flows, a flow internal model in charge of achieving regulation during flows, and a jump internal model in charge of imposing a suitable reset of the state at each jump.


title: Phase transitions in filtration of real gases

abstract: Steady adiabatic filtration of real gases is studied. Thermodynamical states of real gases are presented by Legendrian surfaces in 5-dimensional thermodynamical contact space. The relation between phase transitions and singularities of projection of the Legendrian surfaces on the plane of intensive variables is shown. The constructive method of finding solutions of the Dirichlet filtration problem together with analysis of critical phenomena is presented. Cases of van der Waals and Peng-Robinson gases are discussed in details.


title: Adversarial Generation of Handwritten Text Images Conditioned on Sequences

abstract: State-of-the-art offline handwriting text recognition systems tend to use neural networks and therefore require a large amount of annotated data to be trained. In order to partially satisfy this requirement, we propose a system based on Generative Adversarial Networks (GAN) to produce synthetic images of handwritten words. We use bidirectional LSTM recurrent layers to get an embedding of the word to be rendered, and we feed it to the generator network. We also modify the standard GAN by adding an auxiliary network for text recognition. The system is then trained with a balanced combination of an adversarial loss and a CTC loss. Together, these extensions to GAN enable to control the textual content of the generated word images. We obtain realistic images on both French and Arabic datasets, and we show that integrating these synthetic images into the existing training data of a text recognition system can slightly enhance its performance.


title: Continuous Integration of Machine Learning Models with ease.ml/ci: Towards a Rigorous Yet Practical Treatment

abstract: Continuous integration is an indispensable step of modern software engineering practices to systematically manage the life cycles of system development. Developing a machine learning model is no difference - it is an engineering process with a life cycle, including design, implementation, tuning, testing, and deployment. However, most, if not all, existing continuous integration engines do not support machine learning as first-class citizens. In this paper, we present ease.ml/ci, to our best knowledge, the first continuous integration system for machine learning. The challenge of building ease.ml/ci is to provide rigorous guarantees, e.g., single accuracy point error tolerance with 0.999 reliability, with a practical amount of labeling effort, e.g., 2K labels per test. We design a domain specific language that allows users to specify integration conditions with reliability constraints, and develop simple novel optimizations that can lower the number of labels required by up to two orders of magnitude for test conditions popularly used in real production systems.


title: Molecular understanding of charge storage and charging dynamics in supercapacitors with MOF electrodes and ionic liquid electrolytes

abstract: We present a computational microscopy analysis (targeted molecular dynamics simulations) of the structure and performance of conductive metal organic framework (MOF) electrodes in supercapacitors with room temperature ionic liquids. The molecular modeling predicts the characteristic shapes of the potential dependence of electrode capacitance, relying on the structure of MOF electrodes and particularly how ions transport and reside in MOFs under polarization. Transmission line model was adopted to characterize the charging dynamics process and build up a bridge to evaluate the capacitive performance of practical supercapacitor devices at macroscale from the simulation-obtained data at nanoscale. Such nanoscale-to-macroscale analysis demonstrates the potential of MOF supercapacitors for achieving unprecedentedly high volumetric energy and power densities. The investigation gives molecular insights into the preferred structures of MOF for achieving these results, which could provide a blueprint for future experimental characterization of these new systems.


title: A non-trivial connection for the metric-affine Gauss-Bonnet theory in $D = 4$

abstract: We study non-trivial (i.e. non-Levi-Civita) connections in metric-affine Lovelock theories. First we study the projective invariance of general Lovelock actions and show that all connections constructed by acting with a projective transformation of the Levi-Civita connection are allowed solutions, albeit physically equivalent to Levi-Civita. We then show that the (non-integrable) Weyl connection is also a solution for the specific case of the four-dimensional metric-affine Gauss-Bonnet action, for arbritrary vector fields. The existence of this solution is related to a two-vector family of transformations, that leaves the Gauss-Bonnet action invariant when acting on metric-compatible connections. We argue that this solution is physically inequivalent to the Levi-Civita connection, giving thus a counterexample to the statement that the metric and the Palatini formalisms are equivalent for Lovelock gravities. We discuss the mathematical structure of the set of solutions within the space of connections.


title: Decentralized AP selection using Multi-Armed Bandits: Opportunistic {\epsilon}-Greedy with Stickiness

abstract: WiFi densification leads to the existence of multiple overlapping coverage areas, which allows user stations (STAs) to choose between different Access Points (APs). The standard WiFi association method makes the STAs select the AP with the strongest signal, which in many cases leads to underutilization of some APs while overcrowding others. To mitigate this situation, Reinforcement Learning techniques such as Multi-Armed Bandits can be used to dynamically learn the optimal mapping between APs and STAs, and so redistribute the STAs among the available APs accordingly. This is an especially challenging problem since the network response observed by a given STA depends on the behavior of the others, and so it is very difficult to predict without a global view of the network. In this paper, we focus on solving this problem in a decentralized way, where STAs independently explore the different APs inside their coverage range, and select the one that better satisfy its needs. To do it, we propose a novel approach called Opportunistic {\epsilon}-greedy with Stickiness that halts the exploration when a suitable AP is found, then, it remains associated to it while the STA is satisfied, only resuming the exploration after several unsatisfactory association periods. With this approach, we reduce significantly the network response variability, improving the ability of the STAs to find a solution faster, as well as achieving a more efficient use of the network resources.


title: Unifying notions of pasting diagrams

abstract: In this work, we relate the three main formalisms for the notion of pasting diagram in strict $\omega$-categories: Street's parity complexes, Johnson's pasting schemes and Steiner's augmented directed complexes. In the process, we show that the axioms of parity complexes and pasting schemes are not strong enough for them to correctly represent pasting diagrams, and we do so by providing a counter-example. Then, we introduce a new formalism, called torsion-free complexes, which aims at encompassing the three other ones. We prove its correctness by providing a detailed proof that an instance induces a free $\omega$-category. Next, we prove that the three other formalisms can be embedded in some sense in the new one. Finally, we show that there are no other embedding between these four formalisms.


title: Visualizing Multiple Process Attributes in one 3D Process Representation

abstract: Business process models are usually visualized using 2D representations. However, multiple attributes contained in the models such as time, data, and resources can quickly lead to cluttered and complex representations. To address these challenges, this paper proposes techniques utilizing the 3D space (e.g., visualizing swim lanes as third dimension). All techniques are implemented in a 3D process viewer. On top of showing the feasibility of the proposed techniques, the 3D process viewer served as live demonstration after which 42 participants completed a survey. The survey results support that 3D representations are well-suited to convey information on multiple attributes in business process models.