title: The gradient flow coupling from numerical stochastic perturbation theory

abstract: Perturbative calculations of gradient flow observables are technically challenging. Current results are limited to a few quantities and, in general, to low perturbative orders. Numerical stochastic perturbation theory is a potentially powerful tool that may be applied in this context. Precise results using these techniques, however, require control over both statistical and systematic uncertainties. In this contribution, we discuss some recent algorithmic developments that lead to a substantial reduction of the cost of the computations. The matching of the ${\overline{\rm MS}}$ coupling with the gradient flow coupling in a finite box with Schr\"odinger functional boundary conditions is considered for illustration.


title: Cloud Dictionary: Sparse Coding and Modeling for Point Clouds

abstract: With the development of range sensors such as LIDAR and time-of-flight cameras, 3D point cloud scans have become ubiquitous in computer vision applications, the most prominent ones being gesture recognition and autonomous driving. Parsimony-based algorithms have shown great success on images and videos where data points are sampled on a regular Cartesian grid. We propose an adaptation of these techniques to irregularly sampled signals by using continuous dictionaries. We present an example application in the form of point cloud denoising.


title: Algorithmic Correspondence and Canonicity for Possibility Semantics

abstract: The present paper develops a unified correspondence treatment of the Sahlqvist theory for possibility semantics, extending the results in \cite{Ya16} from Sahlqvist formulas to the strictly larger class of inductive formulas, and from the full possibility frames to filter-descriptive possibility frames. Specifically, we define the possibility semantics version of the algorithm ALBA, and an adapted interpretation of the expanded modal language used in the algorithm. We prove the soundness of the algorithm with respect to both (the dual algebras of) full possibility frames and (the dual algebras of) filter-descriptive possibility frames. We make some comparisons among different semantic settings in the design of the algorithms, and fit possibility semantics into this broader picture. One notable feature of the adaptation of ALBA to possibility frames setting is that the so-called nominal variables, which are interpreted as complete join-irreducibles in the standard setting, are interpreted as regular open closures of "singletons" in the present setting.


title: QoS-Based Linear Transceiver Optimization for Full-Duplex Multi-User Communications

abstract: In this paper, we consider a multi-user wireless system with one full duplex (FD) base station (BS) serving a set of half duplex (HD) mobile users.To cope with the in-band self-interference (SI) and co-channel interference, we formulate a quality-of-service (QoS) based linear transceiver design problem. The problem jointly optimizes the downlink (DL) and uplink (UL) beamforming vectors of the BS and the transmission powers of UL users so as to provide both the DL and UL users with guaranteed signal-to-interference-plus-noise ratio performance, using a minimum UL and DL transmission sum power.The considered system model not only takes into account noise caused by non-ideal RF circuits, analog/digital SI cancellation but also constrains the maximum signal power at the input of the analog-to-digital converter (ADC) for avoiding signal distortion due to finite ADC precision. The formulated design problem is not convex and challenging to solve in general. We first show that for a special case where the SI channel estimation errors are independent and identically distributed, the QoS-based linear transceiver design problem is globally solvable by a polynomial-time bisection algorithm.For the general case, we propose a suboptimal algorithm based on alternating optimization (AO). The AO algorithm is guaranteed to converge to a Karush-Kuhn-Tucker solution.To reduce the complexity of the AO algorithm, we further develop a fixed-point method by extending the classical uplink-downlink duality in HD systems to the FD system.Simulation results are presented to demonstrate the performance of the proposed algorithms and the comparison with HD systems.


title: Kinematic restrictions on particle collisions near extremal black holes: A unified picture

abstract: In 2009, Banados, Silk and West (BSW) pointed out the possibility of having an unbounded limit of centre-of-mass collision energy for test particles in the field of an extremal Kerr black hole, if one of them has fine-tuned parameters and the collision point is approaching the horizon. The possibility of this "BSW effect" attracted much attention: it was generalised to arbitrary ("dirty") rotating black holes and an analogy was found for collisions of charged particles in the field of non-rotating charged black holes. Our work considers the unification of these two mechanisms, which have so far been studied only separately. Exploring the enlarged parameter space, we find kinematic restrictions that may prevent the fine-tuned particles from reaching the limiting collision point. These restrictions are first presented in a general form, which can be used with an arbitrary black-hole model, and then visualised for the Kerr-Newman solution by plotting the "admissible region" in the parameter space of critical particles, reproducing some known results and obtaining a number of new ones. For example, we find that (marginally) bounded critical particles with enormous values of angular momentum can, curiously enough, approach the degenerate horizon, if the charge of the black hole is very small. Such "mega-BSW" behaviour is excluded in the case of a vacuum black hole, or a black hole with large charge. It may be interesting in connection with the small "Wald charge" induced on rotating black holes in external magnetic fields.


title: An overpartition analogue of the Andrews-G\"ollnitz-Gordon theorem

abstract: In 1967, Andrews found a combinatorial generalization of the G\"ollnitz-Gordon theorem, which can be called the Andrews-G\"ollnitz-Gordon theorem. In 1980, Bressoud derived a multisum Rogers-Ramanujan-type identity, which can be considered as the generating function counterpart of the Andrews-G\"ollnitz-Gordon theorem. Lovejoy gave an overpartition analogue of the Andrews-G\"ollnitz-Gordon theorem for $i=k$. In this paper, we give an overpartition analogue of this theorem in the general case. By using Bailey's lemma and a change of base formula due to Bressoud, Ismail and Stanton, we obtain an overpartition analogue of Bressoud's identity. We then give a combinatorial interpretation of this identity by introducing the G\"ollnitz-Gordon marking of an overpartition, which yields an overpartition analogue of the Andrews-G\"ollnitz-Gordon theorem.


title: Magnetic excitations in the normal and nematic phases of iron pnictides

abstract: In this paper, we study theoretically the behaviors of the magnetic excitations(MEs) in the normal and nematic phases of iron pnictides. The normal state MEs exhibit commensurability to diamond and to square-like structure transition with the increase of energy. This structure transition persists in the spin and orbital scenarios of nematic phases, although the MEs show anisotropic behaviors due to the C4 symmetry breaking induced by the nematic orders. The MEs exhibit distinct energy evolution behaviors between the spin and orbital scenarios of nematicity. For the spinnematic scenario, the anisotropy of the MEs persists up to the high energy region. In contrast, for the orbital-nematic scenario, it reduces dramatically in the low energy region and is negligible in the high energy region. These distinct behaviors of the MEs are attributed to the different origins between the spin and orbital scenarios of nematic orders.


title: The Effect of Transient Accretion on the Spin-Up of Millisecond Pulsars

abstract: A millisecond pulsar is a neutron star that has been substantially spun up by accretion from a binary companion. A previously unrecognized factor governing the spin evolution of such pulsars is the crucial effect of non-steady or transient accretion. We numerically compute the evolution of accreting neutron stars through a series of outburst and quiescent phases considering the drastic variation of the accretion rate and the standard disk-magnetosphere interaction. We find that, for the same long-term average accretion rate, X-ray transients can spin up pulsars to rates several times higher than can persistent accretors, even when the spin down due to electromagnetic radiation during quiescence is included. We also compute an analytical expression for the equilibrium spin frequency in transients, by taking spin equilibrium to mean that no net angular momentum is transferred to the neutron star in each outburst cycle. We find that the equilibrium spin rate for transients, which depends on the peak accretion rate during outbursts, can be much higher than that for persistent sources. This explains our numerical finding. This finding implies that any meaningful study of neutron star spin and magnetic field distributions requires the inclusion of the transient accretion effect, since most accreting neutron star sources are transients. Our finding also implies the existence of a submillisecond pulsar population, which is not observed. This may point to the need for a competing spin-down mechanism for the fastest-rotating accreting pulsars, such as gravitational radiation.


title: A universal property for groupoid C*-algebras. I

abstract: We describe representations of groupoid C*-algebras on Hilbert modules over arbitrary C*-algebras by a universal property. For Hilbert space representations, our universal property is equivalent to Renault's Integration-Disintegration Theorem. For a locally compact group, it is related to the automatic continuity of measurable group representations. It implies known descriptions of groupoid C*-algebras as crossed products for \'etale groupoids and transformation groupoids of group actions on spaces.


title: Non-equilibrium thermal transport and vacuum expansion in the Hubbard model

abstract: One of the most straightforward ways to study thermal properties beyond linear response is to monitor the relaxation of an arbitrarily large left-right temperature gradient $T_L-T_R$. In one-dimensional systems which support ballistic thermal transport, the local energy currents $\langle j(t)\rangle$ acquire a non-zero value at long times, and it was recently investigated whether or not this steady state fulfills a simple additive relation $\langle j(t\to\infty)\rangle=f(T_L)-f(T_R)$ in integrable models. In this paper, we probe the non-equilibrium dynamics of the Hubbard chain using density matrix renormalization group (DMRG) numerics. We show that the above form provides an effective description of thermal transport in this model; violations are below the finite-time accuracy of the DMRG. As a second setup, we study how an initially equilibrated system radiates into different non-thermal states (such as the vacuum).


title: Probability Sampling Designs: Principles for Choice of Design and Balancing

abstract: The aim of this paper is twofold. First, three theoretical principles are formalized: randomization, overrepresentation and restriction. We develop these principles and give a rationale for their use in choosing the sampling design in a systematic way. In the model-assisted framework, knowledge of the population is formalized by modelling the population and the sampling design is chosen accordingly. We show how the principles of overrepresentation and of restriction naturally arise from the modelling of the population. The balanced sampling then appears as a consequence of the modelling. Second, a review of probability balanced sampling is presented through the model-assisted framework. For some basic models, balanced sampling can be shown to be an optimal sampling design. Emphasis is placed on new spatial sampling methods and their related models. An illustrative example shows the advantages of the different methods. Throughout the paper, various examples illustrate how the three principles can be applied in order to improve inference.


title: Design of Image Matched Non-Separable Wavelet using Convolutional Neural Network

abstract: Image-matched nonseparable wavelets can find potential use in many applications including image classification, segmen- tation, compressive sensing, etc. This paper proposes a novel design methodology that utilizes convolutional neural net- work (CNN) to design two-channel non-separable wavelet matched to a given image. The design is proposed on quin- cunx lattice. The loss function of the convolutional neural network is setup with total squared error between the given input image to CNN and the reconstructed image at the output of CNN, leading to perfect reconstruction at the end of train- ing. Simulation results have been shown on some standard images.


title: Driven Bose-Hubbard Model with a Parametrically Modulated Harmonic Trap

abstract: We investigate a one-dimensional Bose-Hubbard model in a parametrically driven global harmonic trap. The delicate interplay of both the local atom interaction and the global driving allows to control the dynamical stability of the trapped quantum many-body state. The mechanism is illustrated for weak interaction by a discretized Gross-Pitaevskii equation within a Gaussian variational ansatz, yielding to a Mathieu equation for the condensate width. The parametric resonance condition can be tuned by the atom interaction strength. For stronger interaction, this mechanism is confirmed by results of the numerically exact time-evolving block decimation scheme. The global modulation also induces an effective time-independent inhomogeneous hopping strength for the atoms.


title: Doping-dependent magnetization plateaus of a coupled spin-electron chain: exact results

abstract: A coupled spin-electron chain composed of localized Ising spins and mobile electrons is exactly solved in an external magnetic field within the transfer-matrix method. The ground-state phase diagram involves in total seven different ground states, which differ in the number of mobile electrons per unit cell and the respective spin arrangements. A rigorous analysis of the low-temperature magnetization process reveals doping-dependent magnetization plateaus, which may be tuned through the density of mobile electrons. It is demonstrated that the fractional value of the electron density is responsible for an enhanced magnetocaloric effect due to an annealed bond disorder of the mobile electrons.


title: On ill-posedness of nonparametric instrumental variable regression with convexity constraints

abstract: This note shows that adding monotonicity or convexity constraints on the regression function does not restore well-posedness in nonparametric instrumental variable regression. The minimum distance problem without regularisation is still locally ill-posed.


title: Improving Neural Network Generalization by Combining Parallel Circuits with Dropout

abstract: In an attempt to solve the lengthy training times of neural networks, we proposed Parallel Circuits (PCs), a biologically inspired architecture. Previous work has shown that this approach fails to maintain generalization performance in spite of achieving sharp speed gains. To address this issue, and motivated by the way Dropout prevents node co-adaption, in this paper, we suggest an improvement by extending Dropout to the PC architecture. The paper provides multiple insights into this combination, including a variety of fusion approaches. Experiments show promising results in which improved error rates are achieved in most cases, whilst maintaining the speed advantage of the PC approach.


title: Viable models for large non-standard neutrino interactions

abstract: Thanks to high precision long baseline neutrino experiments such as NO$\nu$A and DUNE, possible effects of Non-Standard neutrino Interactions (NSI) on neutrino oscillation data have received renewed interest in the last two years. It is however challenging to build models that can give rise to NSI with sizeable couplings discernible at neutrino oscillation experiments without violating the various existing experimental bounds. We introduce two viable models that can lead to neutral current NSI with sizable couplings. Both models are based on a new $U(1)^\prime$ gauge symmetry with $Z^\prime$ gauge boson of mass $O(10~{\rm MeV})$. We will highlight the common phenomenological features of these models and suggest ways to test them.


title: Willmore orbits for isometric Lie actions

abstract: In this work, we study the Willmore submanifolds in a closed connected Riemannian manifold which are orbits for the isometric action of a compact connected Lie group. We call them homogeneous Willmore submanifolds or Willmore orbits. The criteria for these special Willmore submanifolds is much easier than the general theory which requires a complicated Euler-Lagrange equation. Our main theorem claims, when the orbit type stratification for the group action satisfies certain conditions, then we can find a Willmore orbit in each stratified subset. Some classical examples of special importance, like Willmore torus, Veronese surface, etc., can be interpreted as Willmore orbits and easily verified with our method. Our theorems provide a large number of new examples for Willmore submanifolds, as well as estimates for their numbers which are sharp in some classical cases.


title: A Compositional Framework for Preference-Aware Agents

abstract: A formal description of a Cyber-Physical system should include a rigorous specification of the computational and physical components involved, as well as their interaction. Such a description, thus, lends itself to a compositional model where every module in the model specifies the behavior of a (computational or physical) component or the interaction between different components. We propose a framework based on Soft Constraint Automata that facilitates the component-wise description of such systems and includes the tools necessary to compose subsystems in a meaningful way, to yield a description of the entire system. Most importantly, Soft Constraint Automata allow the description and composition of components' preferences as well as environmental constraints in a uniform fashion. We illustrate the utility of our framework using a detailed description of a patrolling robot, while highlighting methods of composition as well as possible techniques to employ them.


title: Output Feedback Controller Design with Symbolic Observers for Cyber-physical Systems

abstract: In this paper, we design a symbolic output feedback controller of a cyber-physical system (CPS). The physical plant is modeled by an infinite transition system. We consider the situation that a finite abstracted system of the physical plant, called a c-abstracted system, is given. There exists an approximate alternating simulation relation from the c-abstracted system to the physical plant. A desired behavior of the c-abstracted system is also given, and we have a symbolic state feedback controller of the physical plant. We consider the case where some states of the plant are not measured. Then, to estimate the states with abstracted outputs measured by sensors, we introduce a finite abstracted system of the physical plant, called an o-abstracted system, such that there exists an approximate simulation relation. The relation guarantees that an observer designed based on the state of the o-abstracted system estimates the current state of the plant. We construct a symbolic output feedback controller by composing these systems. By a relation-based approach, we proved that the controlled system approximately exhibits the desired behavior.


title: Towards an Approximate Conformance Relation for Hybrid I/O Automata

abstract: Several notions of conformance have been proposed for checking the behavior of cyber-physical systems against their hybrid systems models. In this paper, we explore the initial idea of a notion of approximate conformance that allows for comparison of both observable discrete actions and (sampled) continuous trajectories. As such, this notion will consolidate two earlier notions, namely the notion of Hybrid Input-Output Conformance (HIOCO) by M. van Osch and the notion of Hybrid Conformance by H. Abbas and G.E. Fainekos. We prove that our proposed notion of conformance satisfies a semi-transitivity property, which makes it suitable for a step-wise proof of conformance or refinement.


title: On Nonlinear Prices in Timed Automata

abstract: Priced timed automata provide a natural model for quantitative analysis of real-time systems and have been successfully applied in various scheduling and planning problems. The optimal reachability problem for linearly-priced timed automata is known to be PSPACE-complete. In this paper we investigate priced timed automata with more general prices and show that in the most general setting the optimal reachability problem is undecidable. We adapt and implement the construction of Audemard, Cimatti, Kornilowicz, and Sebastiani for non-linear priced timed automata using state-of-the-art theorem prover Z3 and present some preliminary results.


title: Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments

abstract: There is an increasing necessity to deploy autonomous systems in highly heterogeneous, dynamic environments, e.g. service robots in hospitals or autonomous cars on highways. Due to the uncertainty in these environments, the verification results obtained with respect to the system and environment models at design-time might not be transferable to the system behavior at run time. For autonomous systems operating in dynamic environments, safety of motion and collision avoidance are critical requirements. With regard to these requirements, Macek et al. [6] define the passive safety property, which requires that no collision can occur while the autonomous system is moving. To verify this property, we adopt a two phase process which combines static verification methods, used at design time, with dynamic ones, used at run time. In the design phase, we exploit UPPAAL to formalize the autonomous system and its environment as timed automata and the safety property as TCTL formula and to verify the correctness of these models with respect to this property. For the runtime phase, we build a monitor to check whether the assumptions made at design time are also correct at run time. If the current system observations of the environment do not correspond to the initial system assumptions, the monitor sends feedback to the system and the system enters a passive safe state.


title: Using the Context of User Feedback in Recommender Systems

abstract: Our work is generally focused on recommending for small or medium-sized e-commerce portals, where explicit feedback is absent and thus the usage of implicit feedback is necessary. Nonetheless, for some implicit feedback features, the presentation context may be of high importance. In this paper, we present a model of relevant contextual features affecting user feedback, propose methods leveraging those features, publish a dataset of real e-commerce users containing multiple user feedback indicators as well as its context and finally present results of purchase prediction and recommendation experiments. Off-line experiments with real users of a Czech travel agency website corroborated the importance of leveraging presentation context in both purchase prediction and recommendation tasks.


title: A Note on One Less Known Class of Generated Residual Implications

abstract: This paper builds on our contribution [Havlena and Hlinena, 2016] which studied modelling of the conjunction in human language. We have discussed three different ways of constructing conjunction. We have dealt with generated t-norms, generated means and Choquet integral. In this paper we construct the residual operators based on the above conjunctions. The only operator based on a t-norm is an implication. We show that this implication belongs to the class of generated implications I^g_N which was introduced in [Smutna, 1999] and studied in [Biba and Hlinena, 2012]. We study its properties. More, we investigate this class of generated implications. Some important properties, including relations between some classes of implications, are given.


title: Characterizing DAG-depth of Directed Graphs

abstract: We study DAG-depth, a structural depth measure of directed graphs, which naturally extends the tree-depth of ordinary graphs. We define a DAG-depth decomposition as a strategy for the cop player in the lift-free version of the cops-and-robber game on directed graphs and prove its correctness. The DAG-depth decomposition is related to DAG-depth in a similar way as an elimination tree is related to the tree-depth. We study the size aspect of DAG-depth decomposition and provide a definition of mergeable and optimally mergeable vertices in order to make the decomposition smaller and acceptable for the cop player as a strategy. We also provide a way to find the closure of a DAG-depth decomposition, which is the largest digraph for which the given decomposition represents a winning strategy for the cop player.


title: Reducing Nondeterministic Tree Automata by Adding Transitions

abstract: We introduce saturation of nondeterministic tree automata, a technique that consists of adding new transitions to an automaton while preserving its language. We implemented our algorithm on minotaut - a module of the tree automata library libvata that reduces the size of automata by merging states and removing superfluous transitions - and we show how saturation can make subsequent merge and transition-removal operations more effective. Thus we obtain a Ptime algorithm that reduces the size of tree automata even more than before. Additionally, we explore how minotaut alone can play an important role when performing hard operations like complementation, allowing to both obtain smaller complement automata and lower computation times. We then show how saturation can extend this contribution even further. We tested our algorithms on a large collection of automata from applications of libvata in shape analysis, and on different classes of randomly generated automata.


title: Sending Money Like Sending E-mails: Cryptoaddresses, The Universal Decentralised Identities

abstract: Sending money in cryptocurrencies is majorly based on public keys or their hashed forms -- "addresses." These long random-looking strings are user unfriendly for transferring by other means than via copy-and-paste or QR codes. Replacing such strings with identifiers chosen by users themselves would significantly improve usability of cryptocurrencies. Such identifiers could be memorable, easier to write on paper or to dictate over phone. Main challenge lies in designing a practically usable decentralised system for providing these identifiers. Former solutions have been built as centralised systems or come with nonnegligible limitations. Our solution is reminiscent of a prevalent e-mail system, which is an already user friendly and desirably decentralised system. It is shown that our approach is directly applicable also to other systems that use long cryptographic identifiers.


title: A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker

abstract: Verifying multi-threaded programs is becoming more and more important, because of the strong trend to increase the number of processing units per CPU socket. We introduce a new configurable program analysis for verifying multi-threaded programs with a bounded number of threads. We present a simple and yet efficient implementation as component of the existing program-verification framework CPAchecker. While CPAchecker is already competitive on a large benchmark set of sequential verification tasks, our extension enhances the overall applicability of the framework. Our implementation of handling multiple threads is orthogonal to the abstract domain of the data-flow analysis, and thus, can be combined with several existing analyses in CPAchecker, like value analysis, interval analysis, and BDD analysis. The new analysis is modular and can be used, for example, to verify reachability properties as well as to detect deadlocks in the program. This paper includes an evaluation of the benefit of some optimization steps (e.g., changing the iteration order of the reachability algorithm or applying partial-order reduction) as well as the comparison with other state-of-the-art tools for verifying multi-threaded programs.


title: Avalanche Effect in Improperly Initialized CAESAR Candidates

abstract: Cryptoprimitives rely on thorough theoretical background, but often lack basic usability features making them prone to unintentional misuse by developers. We argue that this is true even for the state-of-the-art designs. Analyzing 52 candidates of the current CAESAR competition has shown none of them have an avalanche effect in authentication tag strong enough to work properly when partially misconfigured. Although not directly decreasing their security profile, this hints at their security usability being less than perfect. Paper details available at crcs.cz/papers/memics2016


title: Anti-Path Cover on Sparse Graph Classes

abstract: We show that it is possible to use Bondy-Chvatal closure to design an FPT algorithm that decides whether or not it is possible to cover vertices of an input graph by at most k vertex disjoint paths in the complement of the input graph. More precisely, we show that if a graph has tree-width at most w and its complement is closed under Bondy-Chvatal closure, then it is possible to bound neighborhood diversity of the complement by a function of w only. A simpler proof where tree-depth is used instead of tree-width is also presented.


title: HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems

abstract: HADES is a fully automated verification tool for pipeline-based microprocessors that aims at flaws caused by improperly handled data hazards. It focuses on single-pipeline microprocessors designed at the register transfer level (RTL) and deals with read-after-write, write-after-write, and write-after-read hazards. HADES combines several techniques, including data-flow analysis, error pattern matching, SMT solving, and abstract regular model checking. It has been successfully tested on several microprocessors for embedded applications.


title: Some Hopf algebras of dimension $72$ without the Chevalley property

abstract: In this paper, we consider the Drinfeld double $\D$ of a $12$-dimensional Hopf algebra $\C$ over an algebraically closed field of characteristic zero whose coradical is not a subalgebra and describe its simple modules, projective covers of the simple modules and show that it is of wild representation type. Moreover, we show that the Nichols algebras associated to non-simple indecomposable modules are infinite-dimensional. In particular, for any object $V$ in $\CYD$, if $\BN(V)$ is finite-dimensional, then $V$ must be semisimple. Finally, we describe the Nichols algebras associated to partial simple modules in terms of generators and relations. As a byproduct, we obtain some Hopf algebras of dimension $72$ without the Chevalley property, that is, the coradical is not a subalgebra.


title: TeKnowbase: Towards Construction of a Knowledge-base of Technical Concepts

abstract: In this paper, we describe the construction of TeKnowbase, a knowledge-base of technical concepts in computer science. Our main information sources are technical websites such as Webopedia and Techtarget as well as Wikipedia and online textbooks. We divide the knowledge-base construction problem into two parts -- the acquisition of entities and the extraction of relationships among these entities. Our knowledge-base consists of approximately 100,000 triples. We conducted an evaluation on a sample of triples and report an accuracy of a little over 90\%. We additionally conducted classification experiments on StackOverflow data with features from TeKnowbase and achieved improved classification accuracy.


title: Electronic correlation effects and Coulomb gap in the Si(111)-$(\sqrt{3}\times\sqrt{3})$-Sn surface

abstract: Electronic transport properties of the Si(111)-$(\sqrt{3}\times\sqrt{3})$-Sn surface formed on low doped Si substrates are studied using two-probe conductivity measurements and tunnelling spectroscopy. We demonstrate that the ground state corresponds to Mott-Hubbard insulator with a band gap $2\Delta = 70$meV, which vanishes quickly upon temperature increase. The temperature dependence of the surface conductivity above $T > 50$K corresponds to the Efros-Shklovskii hopping conduction law. The energy gap at the Fermi level observed in tunnelling spectroscopy measurements at higher temperatures could be described in terms of dynamic Coulomb blockade approximation. The obtained localization length of electron is $\xi = 7$\AA.


title: A diagnostic criterion for approximate factor structure

abstract: We build a simple diagnostic criterion for approximate factor structure in large cross-sectional equity datasets. Given a model for asset returns with observable factors, the criterion checks whether the error terms are weakly cross-sectionally correlated or share at least one unobservable common factor. It only requires computing the largest eigenvalue of the empirical cross-sectional covariance matrix of the residuals of a large unbalanced panel. A general version of this criterion allows us to determine the number of omitted common factors. The panel data model accommodates both time-invariant and time-varying factor structures. The theory applies to random coefficient panel models with interactive fixed effects under large cross-section and time-series dimensions. The empirical analysis runs on monthly and quarterly returns for about ten thousand US stocks from January 1968 to December 2011 for several time-invariant and time-varying specifications. For monthly returns, we can choose either among time-invariant specifications with at least four financial factors, or a scaled three-factor specification. For quarterly returns, we cannot select macroeconomic models without the market factor.


title: Enhancing the charging power of quantum batteries

abstract: Can collective quantum effects make a difference in a meaningful thermodynamic operation? Focusing on energy storage and batteries, we demonstrate that quantum mechanics can lead to an enhancement in the amount of work deposited per unit time, i.e., the charging power, when $N$ batteries are charged collectively. We first derive analytic upper bounds for the collective \emph{quantum advantage} in charging power for two choices of constraints on the charging Hamiltonian. We then highlight the importance of entanglement by proving that the quantum advantage vanishes when the collective state of the batteries is restricted to be in the separable ball. Finally, we provide an upper bound to the achievable quantum advantage when the interaction order is restricted, i.e., at most $k$ batteries are interacting. Our result is a fundamental limit on the advantage offered by quantum technologies over their classical counterparts as far as energy deposition is concerned.


title: Partially conserved axial vector current and applications

abstract: We investigate implications of the use of the point-split axial vector current derived from a Wilson like fermionic action. We compute the corresponding renormalization factor nonperturbatively for one beta value. The axial charge gA calculated from this nonlocal current is found to be nearer to the physical value than computed with the local axial vector current -- computed both on the same lattice with the same action.


title: Tracing transient charges in expanding clusters

abstract: We study transient charges formed in methane clusters following ionization by intense near-infrared laser pulses. Cluster ionization by 400 fs ($I=1 \times 10^{14}$ W/cm$^2$) pulses is highly efficient, resulting in the observation of a dominant C$^{3+}$ ion contribution. The C$^{4+}$ ion yield is very small, but is strongly enhanced by applying a time-delayed weak near-infrared pulse. We conclude that most of the valence electrons are removed from their atoms during the laser-cluster interaction, and that electrons from the nanoplasma recombine with ions and populate Rydberg states when the cluster expands, leading to a \textit{decrease} of the average charge state of individual ions. Furthermore, we find clear bound-state signatures in the electron kinetic energy spectrum, which we attribute to Auger decay taking place in expanding clusters. Such nonradiative processes lead to an \textit{increase} of the final average ion charge state that is measured in experiments. Our results suggest that it is crucial to include both recombination and nonradiative decay processes for the understanding of recorded ion charge spectra.

categories: physics.atm-clus cond-mat.mes-hall physics.atom-ph physics.plasm-ph


title: Top Quark Mass Measurements at the LHC

abstract: This document highlights a number of top-quark mass measurements carried out by the ATLAS and CMS collaborations based on the combined LHC Run 1 datasets at centre-of-mass energies of $\sqrt{s}=$7 and 8 TeV. A wide range of analysis strategies are employed for a number of final-state signatures. Measurements of both the pole mass as well as the value of the top-quark mass as defined by the Monte Carlo generator in simulated signal samples are discussed.


title: An analysis of star formation with Herschel in the Hi-GAL Survey. II. The tips of the Galactic bar

abstract: We present the physical and evolutionary properties of prestellar and protostellar clumps in the Herschel Infrared GALactic plane survey (Hi-GAL) in two large areas centered in the Galactic plane and covering the tips of the long Galactic bar at the intersection with the spiral arms. The areas fall in the longitude ranges 19 < l < 33 and 340 < l < 350, while latitude is -1 < b < 1. Newly formed high mass stars and prestellar objects are identified and their properties derived and compared. A study is also presented on five giant molecular complexes at the further edge of the bar. The star-formation rate was estimated from the quantity of proto-stars expected to form during the collapse of massive turbulent clumps into star clusters. This new method was developed by applying a Monte Carlo procedure to an evolutionary model of turbulent cores and takes into account the wide multiplicity of sources produced during the collapse. The star-formation rate density values at the tips are 1.2 +- 0.3 10-3 Msol/yr/kpc2 and 1.5+-0.3 10-3 Msol/yr/kpc2 in the first and fourth quadrant, respectively. The same values estimated on the entire field of view, that is including the tips of the bar and background and foreground regions, are 0.9+-0.2 10-3 Msol/yr/kpc2 and 0.8+-0.2 10-3 Msol/yr/kpc2. The conversion efficiency is approximately 0.8% in the first quadrant and 0.5% in the fourth quadrant, and does not show a significant difference in proximity of the bar. The star forming regions identified through CO contours at the further edge of the bar show star-formation rate densities larger than the surrounding regions but their conversion efficiencies are comparable. Our results suggest that the star-formation activity at the bar is due to a large amount of dust and molecular material rather than being due to a triggering process.


title: A simple test for white noise in functional time series

abstract: We propose a new procedure for white noise testing of a functional time series. Our approach is based on an explicit representation of the $L^2$-distance between the spectral density operator and its best ($L^2$-)approximation by a spectral density operator corresponding to a white noise process. The estimation of this distance can be easily accomplished by sums of periodogram kernels and it is shown that an appropriately standardized version of the estimator is asymptotically normal distributed under the null hypothesis (of functional white noise) and under the alternative. As a consequence we obtain a very simple test (using the quantiles of the normal distribution) for the hypothesis of a white noise functional process. In particular the test does neither require the estimation of a long run variance (including a fourth order cumulant) nor resampling procedures to calculate critical values. Moreover, in contrast to all other methods proposed in the literature our approach also allows to test for "relevant" deviations from white noise and to construct confidence intervals for a measure which measures the discrepancy of the underlying process from a functional white noise process.


title: Scalable Byzantine Consensus via Hardware-assisted Secret Sharing

abstract: The surging interest in blockchain technology has revitalized the search for effective Byzantine consensus schemes. In particular, the blockchain community has been looking for ways to effectively integrate traditional Byzantine fault-tolerant (BFT) protocols into a blockchain consensus layer allowing various financial institutions to securely agree on the order of transactions. However, existing BFT protocols can only scale to tens of nodes due to their $O(n^2)$ message complexity. In this paper, we propose FastBFT, a fast and scalable BFT protocol. At the heart of FastBFT is a novel message aggregation technique that combines hardware-based trusted execution environments (TEEs) with lightweight secret sharing primitives. Combining this technique with several other optimizations (i.e., optimistic execution, tree topology and failure detection), FastBFT achieves low latency and high throughput even for large scale networks. Via systematic analysis and experiments, we demonstrate that FastBFT has better scalability and performance than previous BFT protocols.


title: A Generalization of Gauge Invariance

abstract: We consider perturbative quantum field theory in the causal framework. Gauge invariance is, in this framework, an identity involving chronological products of the interaction Lagrangian; it express the fact that the scattering matrix must leave invariant the sub-space of physical states. We are interested in generalizations of such identity involving Wick sub-monomials of the interaction Lagrangian. The analysis can be performed by direct computation in the lower orders of perturbation theory; guided by these computations we conjecture a generalization for arbitrary orders.


title: Multiple-scale stochastic processes: decimation, averaging and beyond

abstract: The recent experimental progresses in handling microscopic systems have allowed to probe them at levels where fluctuations are prominent, calling for stochastic modeling in a large number of physical, chemical and biological phenomena. This has provided fruitful applications for established stochastic methods and motivated further developments. These systems often involve processes taking place on widely separated time scales. For an efficient modeling one usually focuses on the slower degrees of freedom and it is of great importance to accurately eliminate the fast variables in a controlled fashion, carefully accounting for their net effect on the slower dynamics. This procedure in general requires to perform two different operations: decimation and coarse-graining. We introduce the asymptotic methods that form the basis of this procedure and discuss their application to a series of physical, biological and chemical examples. We then turn our attention to functionals of the stochastic trajectories such as residence times, counting statistics, fluxes, entropy production, etc. which have been increasingly studied in recent years. For such functionals, the elimination of the fast degrees of freedom can present additional difficulties and naive procedures can lead to blatantly inconsistent results. Homogenization techniques for functionals are less covered in the literature and we will pedagogically present them here, as natural extensions of the ones employed for the trajectories. We will also discuss recent applications of these techniques to the thermodynamics of small systems and their interpretation in terms of information-theoretic concepts.


title: Development of a Real-time Colorectal Tumor Classification System for Narrow-band Imaging zoom-videoendoscopy

abstract: Colorectal endoscopy is important for the early detection and treatment of colorectal cancer and is used worldwide. A computer-aided diagnosis (CAD) system that provides an objective measure to endoscopists during colorectal endoscopic examinations would be of great value. In this study, we describe a newly developed CAD system that provides real-time objective measures. Our system captures the video stream from an endoscopic system and transfers it to a desktop computer. The captured video stream is then classified by a pretrained classifier and the results are displayed on a monitor. The experimental results show that our developed system works efficiently in actual endoscopic examinations and is medically significant.


title: Graph-based semi-supervised learning for relational networks

abstract: We address the problem of semi-supervised learning in relational networks, networks in which nodes are entities and links are the relationships or interactions between them. Typically this problem is confounded with the problem of graph-based semi-supervised learning (GSSL), because both problems represent the data as a graph and predict the missing class labels of nodes. However, not all graphs are created equally. In GSSL a graph is constructed, often from independent data, based on similarity. As such, edges tend to connect instances with the same class label. Relational networks, however, can be more heterogeneous and edges do not always indicate similarity. For instance, instead of links being more likely to connect nodes with the same class label, they may occur more frequently between nodes with different class labels (link-heterogeneity). Or nodes with the same class label do not necessarily have the same type of connectivity across the whole network (class-heterogeneity), e.g. in a network of sexual interactions we may observe links between opposite genders in some parts of the graph and links between the same genders in others. Performing classification in networks with different types of heterogeneity is a hard problem that is made harder still when we do not know a-priori the type or level of heterogeneity. Here we present two scalable approaches for graph-based semi-supervised learning for the more general case of relational networks. We demonstrate these approaches on synthetic and real-world networks that display different link patterns within and between classes. Compared to state-of-the-art approaches, ours give better classification performance without prior knowledge of how classes interact. In particular, our two-step label propagation algorithm gives consistently good accuracy and runs on networks of over 1.6 million nodes and 30 million edges in around 12 seconds.


title: A coalgebraic treatment of conditional transition systems with upgrades

abstract: We consider conditional transition systems, that model software product lines with upgrades, in a coalgebraic setting. By using Birkhoff's duality for distributive lattices, we derive two equivalent Kleisli categories in which these coalgebras live: Kleisli categories based on the reader and on the so-called lattice monad over $\mathsf{Poset}$. We study two different functors describing the branching type of the coalgebra and investigate the resulting behavioural equivalence. Furthermore we show how an existing algorithm for coalgebra minimisation can be instantiated to derive behavioural equivalences in this setting.


title: Superconductivity in Type-II Weyl Semimetals

abstract: We study superconductivity in a Weyl semimetal with a tilted dispersion around two Weyl points of opposite chirality. In the absence of any tilt, the state with zero momentum pairing between two Fermi sheets enclosing each Weyl point has four point nodes in the superconducting gap function. Moreover, the surface of the superconductor hosts Fermi arc states and Majorana flat bands. We show that a quantum phase transition occurs at a critical value of the tilt, at which two gap nodes disappear by merging at the center of the first Brillouin zone, or by escaping at its edges, depending on the direction of the tilt. The region in the momentum space that the Majorana flat band occupies is found to increase as the tilt parameter is made larger. Additionally, the superconducting critical temperature and electronic specific heat can be enhanced in the vicinity of the quantum phase transition due to the singularity in the electronic density of states.


title: Two short proofs of the Perfect Forest Theorem

abstract: A perfect forest is a spanning forest of a connected graph $G$, all of whose components are induced subgraphs of $G$ and such that all vertices have odd degree in the forest. A perfect forest generalised a perfect matching since, in a matching, all components are trees on one edge. Scott first proved the Perfect Forest Theorem, namely, that every connected graph of even order has a perfect forest. Gutin then gave another proof using linear algebra. We give here two very short proofs of the Perfect Forest Theorem which use only elementary notions from graph theory. Both our proofs yield polynomial-time algorithms for finding a perfect forest in a connected graph of even order.


title: A Multilinear Tongue Model Derived from Speech Related MRI Data of the Human Vocal Tract

abstract: We present a multilinear statistical model of the human tongue that captures anatomical and tongue pose related shape variations separately. The model is derived from 3D magnetic resonance imaging data of 11 speakers sustaining speech related vocal tract configurations. The extraction is performed by using a minimally supervised method that uses as basis an image segmentation approach and a template fitting technique. Furthermore, it uses image denoising to deal with possibly corrupt data, palate surface information reconstruction to handle palatal tongue contacts, and a bootstrap strategy to refine the obtained shapes. Our evaluation concludes that limiting the degrees of freedom for the anatomical and speech related variations to 5 and 4, respectively, produces a model that can reliably register unknown data while avoiding overfitting effects. Furthermore, we show that it can be used to generate a plausible tongue animation by tracking sparse motion capture data.


title: Weakly coupled map lattice models for multicellular patterning and collective normalization of abnormal single-cell states

abstract: We present a weakly coupled map lattice model for patterning that explores the effects exerted by weakening the local dynamic rules on model biological and artificial networks composed of two-state building blocks (cells). To this end, we use two cellular automata models based on: (i) a smooth majority rule (model I) and (ii) a set of rules similar to those of Conway's Game of Life (model II). The normal and abnormal cell states evolve according with local rules that are modulated by a parameter $\kappa$. This parameter quantifies the effective weakening of the prescribed rules due to the limited coupling of each cell to its neighborhood and can be experimentally controlled by appropriate external agents. The emergent spatio-temporal maps of single-cell states should be of significance for positional information processes as well as for intercellular communication in tumorigenesis where the collective normalization of abnormal single-cell states by a predominantly normal neighborhood may be crucial.


title: Coherent coupling of a single molecule to a scanning Fabry-Perot microcavity

abstract: Organic dye molecules have been used in great many scientific and technological applications, but their wider use in quantum optics has been hampered by transitions to short-lived vibrational levels, which limit their coherence properties. To remedy this, one can take advantage of optical resonators. Here we present the first results on coherent molecule-resonator coupling, where a single polycyclic aromatic hydrocarbon molecule extinguishes 38\% of the light entering a microcavity at liquid helium temperature. We also demonstrate four-fold improvement of single-molecule stimulated emission compared to free-space focusing and set the ground for coherent mechanical manipulation of the molecular transition. Our experimental approach based on a microcavity of low mode volume and low quality factor paves the way for the realization of various nonlinear and collective quantum optical effects with molecules.


title: The Shimura-Waldspurger correspondence for Mp(2n)

abstract: We describe some recent developments and formulate some conjectures in the genuine representation theory and the study of automorphic forms of the metaplectic group $\mathrm{Mp}(2n)$, from the point of view of the theta correspondence as well as from the point of view of the theory of endoscopy and the trace formula.


title: Szeg\"o kernels and asymptotic expansions for Legendre polynomials

abstract: We present a geometric approach to the asymptotics of the Legendre polynomials $P_{k,n+1}$, based on the Szeg\"o kernel of the Fermat quadric hypersurface, and leading to complete asymptotic expansions holding on expanding subintervals of $[-1,1]$.


title: Precision physics with QCD

abstract: The four-loop determination of the strong coupling from fully inclusive observables is reviewed. Special attention is given to the low-energy measurement extracted from the hadronic $\tau$ decay width. A recent exhaustive analysis of the ALEPH data, exploring several complementary methodologies with very different sensitivities to inverse power corrections and duality violations, confirms the strong suppression of non-perturbative contributions to $R_\tau$. It gives the value $\alpha_s(m_\tau^2)= 0.328 \pm 0.013$, which implies $\alpha_s(M_Z^2)= 0.1197 \pm 0.0015$. The excellent agreement with the direct measurement at the $Z$ peak, $\alpha_s(M_Z^2)= 0.1196 \pm 0.0030$, provides a beautiful test of asymptotic freedom. Together with the most recent lattice average from FLAG and the NNLO determinations from $e^+e^-$, PDFs and collider data quoted by the PDG, these two inclusive determinations imply a world average value $\alpha_s(M_Z^2)= 0.1180 \pm 0.0010$.


title: On the rate of mixing of circle extensions of Anosov maps

abstract: We study circle extensions of analytic Anosov maps on the two torus: these are examples of partially hyperbolic maps for which the qualitative ergodic theory is well understood. In this paper we investigate rates of mixing (for the SRB measure) and prove explicit lower bounds involving the topological pressure of two times the unstable Jacobian. In particular we study the case when the extension function ("roof function") is given by a random trigonometric polynomial.


title: A new class of integrable deformations of CFTs

abstract: We construct a new class of integrable $\sigma$-models based on current algebra theories for a general semisimple group $G$ by utilizing a left-right asymmetric gauging. Their action can be thought of as the all-loop effective action of two independent WZW models for $G$ both at level $k$, perturbed by current bilinears mixing the different WZW models. A non-perturbative symmetry in the couplings parametric space is revealed. We perform the Hamiltonian analysis of the action and demonstrate integrability in several cases. We extend our construction to deformations of $G/H$ CFTs and show integrability when $G/H$ is a symmetric space. Our method resembles that used for constructing the $\lambda$-deformed integrable $\sigma$-models, but the results are distinct and novel.


title: Gaia FGK Benchmark stars: Opening the black box of stellar element abundance determination

abstract: Gaia and its complementary spectroscopic surveys combined will yield the most comprehensive database of kinematic and chemical information of stars in the Milky Way. The Gaia FGK benchmark stars play a central role in this matter as they are calibration pillars for the atmospheric parameters and chemical abundances for various surveys. The spectroscopic analyses of the benchmark stars are done by combining different methods, and the results will be affected by the systematic uncertainties inherent in each method. In this paper we explore some of these systematic uncertainties. We determined line abundances of Ca, Cr, Mn and Co for four benchmark stars using six different methods. We changed the default input parameters of the different codes in a systematic way and found in some cases significant differences between the results. Since there is no consensus on the correct values for many of these default parameters, we urge the community to raise discussions towards standard input parameters that could alleviate the difference in abundances obtained by different methods. In this work we provide quantitative estimates of uncertainties in elemental abundances due to the effect of differing technical assumptions in spectrum modelling.


title: Lepton-Flavor-Dependent Angular Analysis of $B\to K^\ast \ell^+\ell^-$

abstract: We present a measurement of angular observables and a test of lepton flavor universality in the $B\to K^\ast \ell^+\ell^-$ decay, where $\ell$ is either $e$ or $\mu$. The analysis is performed on a data sample corresponding to an integrated luminosity of $711~\mathrm{fb}^{-1}$ containing $772\times 10^{6}$ $B\bar B$ pairs, collected at the $\Upsilon(4S)$ resonance with the Belle detector at the asymmetric-energy $e^+e^-$ collider KEKB. The result is consistent with Standard Model (SM) expectations, where the largest discrepancy from a SM prediction is observed in the muon modes with a local significance of $2.6\sigma$.


title: Equivalent Semi-Norms of Non-Local Dirichlet Forms on the Sierpi\'nski Gasket and Applications

abstract: We construct equivalent semi-norms of non-local Dirichlet forms on the Sierpi\'nski gasket and apply these semi-norms to a convergence problem and a trace problem. We also construct explicitly a sequence of non-local Dirichlet forms with jumping kernels equivalent to $|x-y|^{-\alpha-\beta}$ that converges exactly to local Dirichlet form.


title: Research performance of UNU - A bibliometric analysis of the United Nations University

abstract: The scientific paper output of the United Nations University (UNU) was bibliometrically analysed. It was found that (i) a noticeable continous paper output starts in 1995, (ii) about 65% of the research papers have been published as international cooperations and 18% as single-authored papers, (iv) the research papers rank above world average according to Pudovkin-Garfield Percentile Rank Index, and (v) paper content indicate the wide variety of scientific topics UNU has been and is working on.


title: Topics on modular Galois representations modulo prime powers

abstract: This article surveys modularity, level raising and level lowering questions for two-dimensional representations modulo prime powers of the absolute Galois group of the rational numbers. It contributes some new results and describes algorithms and a database of modular forms orbits and higher congruences.


title: Complementary mode analyses between sub- and super-diffusions

abstract: Several sub-diffusive stochastic processes in nature, e.g., motion of tagged monomer in polymers, height fluctuation of interfaces and particle dynamics in single-file diffusion etc. can be described rigorously or approximately by the superposition of various modes whose relaxation times are broadly distributed. In this paper, we propose a mode analysis generating super-diffusion, which is paired or complementary with that for sub-diffusion. The key point in our discussion lies in the identification of a pair of conjugated variables, which undergoes sub- and super-diffusion, respectively. We provide a simple interpretation for the sub- and superdiffusion duality for these variables using the language of polymer physics. The analysis also suggests the usefulness to look at the force fluctuation in experiments, where a polymer is driven by a constant velocity.


title: An early sign of satisfiability

abstract: This note considers checking satisfiability of sets of propositional clauses (SAT instances). It shows that "unipolar sets" of clauses (containing no positive or no negative clauses) provide an "early sign" of satisfiability of SAT instances before all the clauses become satisfied in the course of solving SAT problems. At this sign the processing can be terminated by "unipolar set termination", UST thus before it is usually done by SAT solvers (Table 1). An analysis of benchmark SAT instances used at SAT Competitions shows that UST can speed up solving SAT instances stemming from many real-world problems. The efficiency of UST increases with the "skewness" of the SAT set being checked, that is the difference between probabilities of negated and unnegated literals in the set. Many real-world problems, by virtue of their semantics, are skewed (Table 2). The efficiency of UST can be increased by revealing the "hidden skewness" of SAT sets (Table 3).


title: Equivalence of Cauchy-Riemann manifolds and multisummability theory

abstract: We prove that if two real-analytic hypersurfaces in $\mathbb C^2$ are equivalent formally, then they are also $C^\infty$ CR-equivalent at the respective point. As a corollary, we prove that all formal equivalences between real-algebraic Levi-nonflat hypersurfaces in $\mathbb C^2$ are algebraic (in particular are convergent). The result is obtained by using the recent {\em CR - DS technique}, connecting degenerate CR-manifolds and Dynamical Systems, and employing subsequently the {\em multisummability theory} of divergent power series used in the Dynamical Systems theory.


title: Dynamic Modeling of Price Responsive Demand in Real-time Electricity Market: Empirical Analysis

abstract: In this paper, we study the price responsiveness of electricity consumption from empirical commercial and industrial load data obtained from Texas. Employing a dynamical system perspective, we show that price responsive demand can be modeled as a hybrid of a Hammerstein model with delay following a price surge, and a linear ARX model under moderate price changes. It is observed that electricity consumption therefore has unique characteristics including (1) qualitatively distinct response between moderate and extremely high prices; and (2) a time delay associated with the response to high prices. It is shown that these observed features may render traditional approaches to demand response and retail pricing based on classical economic theories ineffective. In particular, ultimate real-time retail pricing may be limitedly beneficial than as considered in classical economic theories.


title: Single soliton solution to the extended KdV equation over uneven depth

abstract: In this note we look at the influence of a shallow, uneven riverbed on a soliton. The idea consists in approximate transformation of the equation governing wave motion over uneven bottom to equation for flat one for which the exact solution exists. The calculation is one space dimensional, and so corresponding to long trenches or banks under wide rivers or else oceans.


title: Space-time nature of causality

abstract: In a causal world the direction of the time arrow dictates how past causal events in a variable $X$ produce future effects in $Y$. $X$ is said to cause an effect in $Y$, if the predictability (uncertainty) about the future states of $Y$ increases (decreases) as its own past and the past of $X$ are taken into consideration. Causality is thus intrinsic dependent on the observation of the past events of both variables involved, to the prediction (or uncertainty reduction) of future event of the other variable. We will show that this {{temporal}} notion of causality leads to another natural spatio-temporal definition for it, and that can be exploited to detect the arrow of influence from $X$ to $Y$, either by considering shorter time-series of $X$ and longer time-series of $Y$ (an approach that explores the time nature of causality) or lower precision measured time-series in $X$ and higher precision measured time-series in $Y$ (an approach that explores the spatial nature of causality). Causality has thus space and time signatures, causing a break of symmetry in the topology of the probabilistic space, or causing a break of symmetry in the length of the measured time-series, a consequence of the fact that information flows from $X$ to $Y$.


title: Optimal structure and parameter learning of Ising models

abstract: Reconstruction of structure and parameters of an Ising model from binary samples is a problem of practical importance in a variety of disciplines, ranging from statistical physics and computational biology to image processing and machine learning. The focus of the research community shifted towards developing universal reconstruction algorithms which are both computationally efficient and require the minimal amount of expensive data. We introduce a new method, Interaction Screening, which accurately estimates the model parameters using local optimization problems. The algorithm provably achieves perfect graph structure recovery with an information-theoretically optimal number of samples, notably in the low-temperature regime which is known to be the hardest for learning. The efficacy of Interaction Screening is assessed through extensive numerical tests on synthetic Ising models of various topologies with different types of interactions, as well as on a real data produced by a D-Wave quantum computer. This study shows that the Interaction Screening method is an exact, tractable and optimal technique universally solving the inverse Ising problem.

categories: cond-mat.stat-mech cs.LG physics.data-an stat.ML


title: On the Gruenberg-Kegel Graph of Integral Group Rings of Finite Groups

abstract: The prime graph question asks whether the Gruenberg-Kegel graph of an integral group ring $\mathbb Z G$ , i.e. the prime graph of the normalised unit group of $\mathbb Z G$ coincides with that one of the group $G$. In this note we prove for finite groups $G$ a reduction of the prime graph question to almost simple groups. We apply this reduction to finite groups $G$ whose order is divisible by at most three primes and show that the Gruenberg - Kegel graph of such groups coincides with the prime graph of $G$.


title: Solving graph coloring problems with the Douglas-Rachford algorithm

abstract: We present the Douglas-Rachford algorithm as a successful heuristic for solving graph coloring problems. Given a set of colors, these type of problems consist in assigning a color to each node of a graph, in such a way that every pair of adjacent nodes are assigned with different colors. We formulate the graph coloring problem as an appropriate feasibility problem that can be effectively solved by the Douglas-Rachford algorithm, despite the nonconvexity arising from the combinatorial nature of the problem. Different modifications of the graph coloring problem and applications are also presented. The good performance of the method is shown in various computational experiments.


title: The formation of secondary stellar generations in massive young star clusters from rapidly cooling shocked stellar winds

abstract: We study a model of rapidly cooling shocked stellar winds in young massive clusters and estimate the circumstances under which secondary star formation, out of the reinserted winds from a first stellar generation (1G), is possible. We have used two implementations of the model: a highly idealized computationally inexpensive spherically symmetric semi-analytic model, and a complex three-dimensional radiation-hydrodynamic simulations, and they are in a good mutual agreement. The results confirm our previous findings that in a cluster with 1G mass $10^7$ M$_\odot$ and half-mass radius $2.38$ pc, the shocked stellar winds become thermally unstable, collapse into dense gaseous structures that partially accumulate inside the cluster, self-shield against ionizing stellar radiation and form the second generation (2G) of stars. We have used the semi-analytic model to explore a subset of the parameter space covering a wide range of the observationally poorly constrained parameters: the heating efficiency, $\eta_\mathrm{he}$, and the mass loading, $\eta_\mathrm{ml}$. The results show that the fraction of the 1G stellar winds accumulating inside the cluster can be larger than $50$ % if $\eta_\mathrm{he} \lesssim 10$ % which is suggested by the observations. Furthermore, for low $\eta_\mathrm{he}$, the model provides a self-consistent mechanism predicting 2G stars forming only in the central zones of the cluster. Finally, we have calculated the accumulated warm gas emission in the H30$\alpha$ recombination line, analyzed its velocity profile and estimated its intensity for super star clusters in interacting galaxies NGC4038/9 (Antennae) showing that the warm gas should be detectable with ALMA.


title: Ontohub: A semantic repository for heterogeneous ontologies

abstract: Ontohub is a repository engine for managing distributed heterogeneous ontologies. The distributed nature enables communities to share and exchange their contributions easily. The heterogeneous nature makes it possible to integrate ontologies written in various ontology languages. Ontohub supports a wide range of formal logical and ontology languages, as well as various structuring and modularity constructs and inter-theory (concept) mappings, building on the OMG-standardized DOL language. Ontohub repositories are organised as Git repositories, thus inheriting all features of this popular version control system. Moreover, Ontohub is the first repository engine meeting a substantial amount of the requirements formulated in the context of the Open Ontology Repository (OOR) initiative, including an API for federation as well as support for logical inference and axiom selection.


title: Monte Carlo simulation of $\phi^4_2$ and $O(N)\phi^4_3$ theories

abstract: We report lattice simulations of $\phi^4_2$ and $O(N)\,\phi^4$ models, performed by means of a Monte Carlo method based on the all-order strong coupling expansion (worm algorithm). The investigation of the non-perturbative features of the $\phi^4$ continuum limit in two dimensions lead us to the result $g/\mu^2 = 11.15 \pm 0.06_{stat} \pm 0.03_{syst}$ for the critical coupling. Furthermore we present preliminary results for the three-dimensional $O(2)\phi^4\,$ model using the worm algorithm with the extention to $O(N)\phi^4\,$ in $D$ dimensions.


title: Runtime enforcement of reactive systems using synchronous enforcers

abstract: Synchronous programming is a paradigm of choice for the design of safety-critical reactive systems. Runtime enforcement is a technique to ensure that the output of a black-box system satisfies some desired properties. This paper deals with the problem of runtime enforcement in the context of synchronous programs. We propose a framework where an enforcer monitors both the inputs and the outputs of a synchronous program and (minimally) edits erroneous inputs/outputs in order to guarantee that a given property holds. We define enforceability conditions, develop an online enforcement algorithm, and prove its correctness. We also report on an implementation of the algorithm on top of the KIELER framework for the SCCharts synchronous language. Experimental results show that enforcement has minimal execution time overhead, which decreases proportionally with larger benchmarks.


title: Model Independent Constraints on Charges of New Particles

abstract: Any particle that is charged under $SU(3)_C$ and $U(1)_{EM}$ can mediate the $gg \rightarrow {\gamma}{\gamma}$ process through loops. Near the threshold for the new particle pair production, gauge boson exchanges necessitate the resummation of ladder diagrams. We discuss the leading log order matching of the one-loop result with non-relativistic effective theory resummed result. We show how the diphoton invariant mass spectrum varies depending on decay width, color representation and electric charge of the new particle. The exclusion limits on the product of $SU(3)_C$ and $U(1)_{EM}$ charges of the new scalar or fermion particle are obtained from current LHC data.


title: Mellin space bootstrap for global symmetry

abstract: We apply analytic conformal bootstrap ideas in Mellin space to conformal field theories with $O(N)$ symmetry and cubic anisotropy. We write down the conditions arising from the consistency between the operator product expansion and crossing symmetry in Mellin space. We solve the constraint equations to compute the anomalous dimension and the OPE coefficients of all operators quadratic in the fields in the epsilon expansion. We reproduce known results and derive new results up to $O(\epsilon^3)$. For the $O(N)$ case, we also study the large $N$ limit in general dimensions and reproduce known results at the leading order in $1/N$.

categories: hep-th cond-mat.stat-mech cond-mat.str-el hep-ph


title: Strain-balanced type-II superlattices for efficient multi-junction solar cells

abstract: We propose type-II GaAsSb/GaAsN superlattices (SLs) lattice-matched to GaAs as a novel material for the 1 eV sub-cells present in highly efficient GaAs/Ge-based multi-junction solar cells. We demonstrate that, among other benefits, the spatial separation of Sb and N allows a better control over composition and lattice matching, avoiding the growth problems related to the concomitant presence of both elements in GaAsSbN layers. This approach not only reduces clustering and improves crystal quality and interface abruptness, but also allows for additional control of the effective bandgap in the 1.0-1.15 eV spectral region through the SL period thickness. The optimized SL structure exhibits a type-II band alignment and strong electronic coupling at 0 V. Both effects cooperate to increase the minority carrier collection and leads to a net strong enhancement of the external quantum efficiency (EQE) under photovoltaic conditions with respect to bulk layers of equivalent thickness.


title: Multiparameter Quantum Minkowski Space-Time and Quantum Maxwell Equations Hierarchy

abstract: Earlier we have proposed new $q$ - Maxwell equations which are the first members of an infinite new hierarchy of $q$ - difference equations. We have used an indexless formulation in which all indices are traded for two conjugate variables, $z,\bar z$. Weproposed also new $q$ - Minkowski coordinates which together with $z,\bar z$ can be interpreted as the six local coordinates of a $SU_q(2,2)$ flag manifold. In the present paper we generalise the main ingredients of this construction to the multiparameter case using the seven-parameter quantum group deformation of $GL(4)$ and $U(gl(4))$ and the four-parameter quantum group deformation of $SL(4)$ and $U(sl(4))$. The main result is the explicit presentation of the multiparameter quantum Minkowski space-time within the corresponding deformed flag manifold.


title: Modeling the light curves of ultraluminous X-ray sources as precession

abstract: We present a freely available xspec model for the modulations seen in the long-term light curves of multiple ultraluminous X-ray sources (ULXs). By incorporating the physics of multiple electron scatterings (ray traced with a Monte-Carlo routine), we go beyond analytical predictions and show that the geometrical beaming of radiation in the conical outflow can be more than a factor of 100 for opening angles smaller than $10^\circ$. We apply our new model to the long-term, well sampled Swift light curve of the recently confirmed ULX pulsar NGC 5907 X-1 with an established period of 78 days. Our results suggest that geometrical beaming together with a slight precession of the conical wind can describe the light curve with a consistent set of parameters for the wind. The small opening angle of roughly $10\mathrm{-}13^\circ$ implies a highly super-critical flow and boosting factors at the order of $\mathcal{B}=60\mathrm{-}90$ that would yield a fairly low surface magnetic field strength of $2\times 10^{10}\,$Gauss.


title: $p_t$-Angular power spectrum in ALICE events

abstract: We study the particles emitted in the fireball following a Relativistic Heavy Ion Collision with the traditional angular analysis employed in cosmology and earth sciences, producing Mollweide plots of the p_t distribution of a few actual, publically released ALICE-collaboration events and calculating their angular power spectrum. With the limited statistics at hand, we do not find evidence for acoustic peaks but a decrease of C_l that is reminiscent of viscous attenuation, but subject to a strong effect from the rapidity acceptance which probably dominates (so we also subtract the m=0 component). As an exercise, we still extract a characteristic Silk damping length (proportional to the square root of the viscosity over entropy density ratio). The absence of acoustic-like peaks is also compatible with a crossover from the QGP to the hadron gas (because a surface tension at domain boundaries would effect a restoring force that could have driven acoustic oscillations). Presently an unexpected depression appears in the l=6 multipole strength, which should be revisited by the ALICE collaboration with full statistics to confirm or discard it.


title: High-order harmonic generation from gapped graphene: perturbative response and transition to non-perturbative regime

abstract: We consider the interaction of gapped graphene in the two-band approximation using an explicit time-dependent approach. In addition to the full high-order harmonic generation (HHG) spectrum, we also obtain the perturbative harmonic response using the time-dependent method at photon energies covering all the significant features in the responses. The transition from the perturbative to the fully non-perturbative regime of HHG at these photon energies is studied in detail.


title: Objective Micro-Facial Movement Detection Using FACS-Based Regions and Baseline Evaluation

abstract: Micro-facial expressions are regarded as an important human behavioural event that can highlight emotional deception. Spotting these movements is difficult for humans and machines, however research into using computer vision to detect subtle facial expressions is growing in popularity. This paper proposes an individualised baseline micro-movement detection method using 3D Histogram of Oriented Gradients (3D HOG) temporal difference method. We define a face template consisting of 26 regions based on the Facial Action Coding System (FACS). We extract the temporal features of each region using 3D HOG. Then, we use Chi-square distance to find subtle facial motion in the local regions. Finally, an automatic peak detector is used to detect micro-movements above the newly proposed adaptive baseline threshold. The performance is validated on two FACS coded datasets: SAMM and CASME II. This objective method focuses on the movement of the 26 face regions. When comparing with the ground truth, the best result was an AUC of 0.7512 and 0.7261 on SAMM and CASME II, respectively. The results show that 3D HOG outperformed for micro-movement detection, compared to state-of-the-art feature representations: Local Binary Patterns in Three Orthogonal Planes and Histograms of Oriented Optical Flow.


title: Exploring the multifaceted circumstellar environment of the Luminous Blue Variable HR Carinae

abstract: We present a multi-wavelength study of the Galactic Luminous Blue Variable HR Carinae, based on new high resolution mid-infrared (IR) and radio images obtained with the Very Large Telescope (VLT) and the Australia Telescope Compact Array (ATCA), which have been complemented by far-infrared Herschel-PACS observations and ATCA archive data. The Herschel images reveal the large-scale distribution of the dusty emitting nebula, which extends mainly to the North-East direction, up to 70 arcsec from the central star, and is oriented along the direction of the space motion of the star. In the mid-infrared images, the brightness distribution is characterized by two arc-shaped structures, tracing an inner envelope surrounding the central star more closely. At radio wavelengths, the ionized gas emission lies on the opposite side of the cold dust with respect to the position of the star, as if the ionized front was confined by the surrounding medium in the North-South direction. The comparison with previous data indicates significant changes in the radio nebula morphology and in the mass-loss rate from the central star, which has increased from 6.1$\times10^{-6}$ M$_{\odot}$yr$^{-1}$ in 1994-1995 to $1.17\times10^{-5}$ M$_{\odot}$yr$^{-1}$ in 2014. We investigate possible scenarios that could have generated the complex circumstellar environment revealed by our multi-wavelength data.


title: Reachability of eigenspaces for interval circulant matrices in max-algebra

abstract: A nonnegative matrix A is said to be strongly robust if its max-algebraic eigencone is universally reachable, i.e., if the orbit of any initial vector ends up with a max-algebraic eigenvector of A. Consider the case when the initial vector is restricted to an interval and A can be any matrix from a given interval of nonnegative circulant matrices. The main aim of this paper is to classify and characterize the six types of interval robustness in this situation. This naturally leads us also to study the max-algebraic spectral theory of circulant matrices and the relation of inclusion between attraction cones of circulant matrices in max-algebra.


title: Ba2NiOsO6: A Dirac-Mott insulator with ferromagnetism near 100 K

abstract: The ferromagnetic semiconductor Ba2NiOsO6 (Tmag ~100 K) was synthesized at 6 GPa and 1500 {\deg}C. It crystallizes into a double perovskite structure [Fm-3m; a = 8.0428(1) {\AA}], where the Ni2+ and Os6+ ions are perfectly ordered at the perovskite B-site. We show that the spin-orbit coupling of Os6+ plays an essential role in opening the charge gap. The magnetic state was investigated by density functional theory calculations and powder neutron diffraction. The latter revealed a collinear ferromagnetic order in a >21 kOe magnetic field at 5 K. The ferromagnetic gapped state is fundamentally different from that of known dilute magnetic semiconductors such as (Ga,Mn)As and (Cd,Mn)Te (Tmag < 180 K), the spin-gapless semiconductor Mn2CoAl (Tmag ~720 K), and the ferromagnetic insulators EuO (Tmag ~70 K) and Bi3Cr3O11 (Tmag ~220 K). It is also qualitatively different from known ferrimagnetic insulator/semiconductors, which are characterized by an antiparallel spin arrangement. Our finding of the ferromagnetic semiconductivity of Ba2NiOsO6 should increase interest in the platinum group oxides, because this new class of materials should be useful in the development of spintronic, quantum magnetic, and related devices.


title: Accuracy of the component mass estimation methods in LMXB

abstract: There is a mismatch between modelled and observed distributions of optical stars masses in BH LMXB. Companion masses in BH LMXB are found in the mass range 0.1 - 1.6 $M_{\odot}$ with the peak at 0.6 $M_{\odot}$. The standard evolutionary scenarios require the donor mass distribution peaks to be at least $\sim 1\, M_{\odot}$ to eject a massive envelope of the black hole progenitor. Imperfect of the methods of optical stars masses determination may cause this difference. Two common used approximations of real Roche lobe filling star as distortion sources have been tested. On the one hand, there is the a approximation of real Roche lobe filling optical stars as sphere. We tested rotational broadening of absorption lines based on an exact calculation of CaI $\lambda 6439.075 \, \AA$ absorption profiles in the spectra of Roche lobe filling optical stars. There is overestimation of projected equatorial rotational velocity $V_{rot} \sin i$ and, accordingly, underestimation of mass ratio $q=M_x/M_v$ in the spherical star model. On the other hand, the approximation of a real Roche lobe filling star as disk with uniform local profile and linear limb darkening law is more rough. In this case overestimation of projected equatorial rotational velocity $V_{rot} \sin i$ is $ \sim 20\%$. Such overestimation of $V_{rot} \sin i$ can result in significant underestimation of mass ratio $q=M_x/M_v$ at hight value of $q=M_x/M_v$. Refined value of $q$ does not affect the mass of a black hole, but the mass of an optical star has shrunk 1.5 times. Hence, the masses of optical stars in BH LMXB must be corrected downward, despite the contradictions to the standard evolutionary scenarios.


title: Skew-rank of an oriented graph in terms of the rank and dimension of cycle space of its underlying graph

abstract: Let $G^{\sigma}$ be an oriented graph and $S(G^{\sigma})$ be its skew-adjacency matrix, where $G$ is called the underlying graph of $G^{\sigma}$. The skew-rank of $G^{\sigma}$, denoted by $sr(G^{\sigma})$, is the rank of $S(G^{\sigma})$. Denote by $d(G)=|E(G)|-|V(G)|+\theta(G)$ the dimension of cycle spaces of $G$, where $|E(G)|$, $|V(G)|$ and $\theta(G)$ are the edge number, vertex number and the number of connected components of $G$, respectively. Recently, Wong, Ma and Tian [European J. Combin. 54 (2016) 76--86] proved that $sr(G^{\sigma})\leq r(G)+2d(G)$ for an oriented graph $G^{\sigma}$, where $r(G)$ is the rank of the adjacency matrix of $G$, and characterized the graphs whose skew-rank attain the upper bound. However, the problem of the lower bound of $sr(G^{\sigma})$ of an oriented graph $G^{\sigma}$ in terms of $r(G)$ and $d(G)$ of its underlying graph $G$ is left open till now. In this paper, we prove that $sr(G^{\sigma})\geq r(G)-2d(G)$ for an oriented graph $G^{\sigma}$ and characterize the graphs whose skew-rank attain the lower bound.


title: A non-autonomous stochastic discrete time system with uniform disturbances

abstract: The main objective of this article is to present Bayesian optimal control over a class of non-autonomous linear stochastic discrete time systems with disturbances belonging to a family of the one parameter uniform distributions. It is proved that the Bayes control for the Pareto priors is the solution of a linear system of algebraic equations. For the case that this linear system is singular, we apply optimization techniques to gain the Bayesian optimal control. These results are extended to generalized linear stochastic systems of difference equations and provide the Bayesian optimal control for the case where the coefficients of these type of systems are non-square matrices. The paper extends the results of the authors developed for system with disturbances belonging to the exponential family.


title: The Super-FRS GEM-TPC prototype development - TDR

abstract: This document contains the pre-design of the beam diagnostics components Tracking Detectors for the Super-FRS. A GEM-TPC detector has been suggested as suitable tracking detector for the ion/fragment beams produced at the in-flight separator Super-FRS under construction at the FAIR facility. The detector concept combines two widely used approaches in gas filled detectors, the Time Projection Chamber (TPC) and the Gas Electron Multiplication (GEM). Three detector generations (prototypes) have been tested in 2011, 2012 and 2014 with relativistic ion beams at GSI. Due to the high-resolution achromatic mode of the Super-FRS, highly homogeneous transmission tracking detectors are crucial to tag the momentum of the ion/fragment beam. They must be able to provide precise information on the (horizontal and vertical) deviation from nominal beam optics, while operated with slow-extracted beam on event-by event basis, in order to provide unambiguous identification of the fragments. The main requirements are a maximum active area horizontally and vertically of (380x80) mm2, a position resolution of < 1 mm, a maximum rate capability of 1 MHz, a dynamic range of about 600 fC. About 32 tracking detectors operating in vacuum are needed along the Super-FRS beam line.


title: Control of Intramolecular Electron Transfer in Perylene Dihydrazides and Perylene Diimides: A Comparative Study by Time-Resolved Spectroscopy

abstract: Electron transfer (ET) in molecular donor-acceptor dye systems is crucial for charge transport in organic semiconductors. Classically, ET rates should decrease with increasing donor-acceptor distance while the microscopic mechanism is more complex and shows intricate dependencies on the excitation conditions. In this paper, we introduce highly soluble N,N'-dialkyl perylene dihydrazides (PDH) - perylene dyes with a dialkylamino -NR$_2$ donor functionality directly bonded to both of their imide nitrogen atoms. We compare the PDH electron-transfer dynamics with a group of classical N,N'-bisalkylperylene diimides (PDI) equipped with a -NR$_2$ donor linked to the PDI acceptor core via a varying number of alkylene -(CH$_2$)- spacer groups, thus at distinctively different distance. Special physicochemical design features of our study objects include: i) amine moieties as donor group to minimize spin-orbit coupling; ii) substitution solely at both imide positions to avoid major impact on HOMO and LUMO levels and distortions of the PDI backbone; iii) control of donor-acceptor separation by non-conjugated alkylene groups to exclude any additional effects due to delocalized $\pi$ electron systems. All materials show non-single-exponential photoluminescence decay dynamics. A rate equation analysis supported by electrochemical and absolute photoluminescence efficiency measurements yields evidence for efficient intersystem-crossing without heavy elements and reveals that the charge-transfer efficiency across the intramolecular interface strongly depends on the surplus excitation energy.


title: Casimir-Polder shifts on quantum levitation states

abstract: An ultracold atom above a horizontal mirror experiences quantum reflection from the attractive Casimir-Polder interaction, which holds it against gravity and leads to quantum levitation states. We analyze this system by using a Liouville transformation of the Schr\"odinger equation and a Langer coordinate adapted to problems with a classical turning point. Reflection on the Casimir-Polder attractive well is replaced by reflection on a repulsive wall and the problem is then viewed as an ultracold atom trapped inside a cavity with gravity and Casimir-Polder potentials acting respectively as top and bottom mirrors. We calculate numerically Casimir-Polder shifts of the energies of the cavity resonances and propose a new approximate treatment which is precise enough to discuss spectroscopy experiments aiming at tests of the weak equivalence principle on antihydrogen. We also discuss the lifetimes by calculating complex energies associated with cavity resonances.


title: Adversarial Message Passing For Graphical Models

abstract: Bayesian inference on structured models typically relies on the ability to infer posterior distributions of underlying hidden variables. However, inference in implicit models or complex posterior distributions is hard. A popular tool for learning implicit models are generative adversarial networks (GANs) which learn parameters of generators by fooling discriminators. Typically, GANs are considered to be models themselves and are not understood in the context of inference. Current techniques rely on inefficient global discrimination of joint distributions to perform learning, or only consider discriminating a single output variable. We overcome these limitations by treating GANs as a basis for likelihood-free inference in generative models and generalize them to Bayesian posterior inference over factor graphs. We propose local learning rules based on message passing minimizing a global divergence criterion involving cooperating local adversaries used to sidestep explicit likelihood evaluations. This allows us to compose models and yields a unified inference and learning framework for adversarial learning. Our framework treats model specification and inference separately and facilitates richly structured models within the family of Directed Acyclic Graphs, including components such as intractable likelihoods, non-differentiable models, simulators and generally cumbersome models. A key result of our treatment is the insight that Bayesian inference on structured models can be performed only with sampling and discrimination when using nonparametric variational families, without access to explicit distributions. As a side-result, we discuss the link to likelihood maximization. These approaches hold promise to be useful in the toolbox of probabilistic modelers and enrich the gamut of current probabilistic programming applications.


title: Complemented basic sequences in Frechet spaces with finite dimensional decomposition

abstract: Let $E$ be a Frechet-Montel space and $(E_n)_{n \in \mathbb{N}}$ be a finite dimensional unconditional decomposition of $E$ with $\dim(E_n)\leq k$ for some fixed $k \in \mathbb{N}$ and for all $n \in \mathbb{N}$. Consider a sequence $(x_n)_{n \in \mathbb{N}}$ formed by taking an element $x_n$ from each $E_n$ for all $n \in \mathbb{N}$. Then $(x_n)_{n \in \mathbb{N}}$ has a subsequence which is complemented in $E$


title: Towards Score Following in Sheet Music Images

abstract: This paper addresses the matching of short music audio snippets to the corresponding pixel location in images of sheet music. A system is presented that simultaneously learns to read notes, listens to music and matches the currently played music to its corresponding notes in the sheet. It consists of an end-to-end multi-modal convolutional neural network that takes as input images of sheet music and spectrograms of the respective audio snippets. It learns to predict, for a given unseen audio snippet (covering approximately one bar of music), the corresponding position in the respective score line. Our results suggest that with the use of (deep) neural networks -- which have proven to be powerful image processing models -- working with sheet music becomes feasible and a promising future research direction.


title: Rahman's biorthogonal functions and superconformal indices

abstract: We study biorthogonal functions related to basic hypergeometric integrals with coupled continuous and discrete components. Such integrals appear as superconformal indices for three-dimensional quantum field theories and also in the context of solvable lattice models. We obtain explicit biorthogonal systems given by products of two of Rahman's biorthogonal rational ${}_{10}W_9$-functions or their degenerate cases. We also give new bilateral extensions of the Jackson and $q$-Saalsch\"utz summation formulas and new continuous and discrete biorthogonality measures for Rahman's functions.


title: A reentrant superspin glass state and magnetization steps in the oxyborate Co2AlBO5

abstract: An oxyborate Co2AlBO5 belonging to the ludwigite family is investigated using structural, thermodynamic, dielectric and magnetic measurements. Magnetic measurements indicate that this system is seen to exhibit long range magnetic ordering at T{_N} = 42 K, signatures of which are also seen in the specific heat, dielectric susceptibility, and the lattice parameters. The absence of a structural phase transition down to the lowest measured temperatures, distinguishes it from the more extensively investigated Fe-based ludwigites. At low temperatures, the system is seen to stabilize in a reentrant superspin glass phase at T{_G} = 10.6 K from within the magnetically ordered state. This ground state is also characterized by magnetic field induced metamagnetic transitions, which at the lowest measured temperatures exhibit a number of sharp magnetization steps, reminiscent of that observed in the mixed valent manganites.


title: Expectation Propagation performs a smoothed gradient descent

abstract: Bayesian inference is a popular method to build learning algorithms but it is hampered by the fact that its key object, the posterior probability distribution, is often uncomputable. Expectation Propagation (EP) (Minka (2001)) is a popular algorithm that solves this issue by computing a parametric approximation (e.g: Gaussian) to the density of the posterior. However, while it is known empirically to quickly compute fine approximations, EP is extremely poorly understood which prevents it from being adopted by a larger fraction of the community. The object of the present article is to shed intuitive light on EP, by relating it to other better understood methods. More precisely, we link it to using gradient descent to compute the Laplace approximation of a target probability distribution. We show that EP is exactly equivalent to performing gradient descent on a smoothed energy landscape: i.e: the original energy landscape convoluted with some smoothing kernel. This also relates EP to algorithms that compute the Gaussian approximation which minimizes the reverse KL divergence to the target distribution, a link that has been conjectured before but has not been proved rigorously yet. These results can help practitioners to get a better feel for how EP works, as well as lead to other new results on this important method.


title: Graphical RNN Models

abstract: Many time series are generated by a set of entities that interact with one another over time. This paper introduces a broad, flexible framework to learn from multiple inter-dependent time series generated by such entities. Our framework explicitly models the entities and their interactions through time. It achieves this by building on the capabilities of Recurrent Neural Networks, while also offering several ways to incorporate domain knowledge/constraints into the model architecture. The capabilities of our approach are showcased through an application to weather prediction, which shows gains over strong baselines.


title: On the positivity preservation of the free Euclidean Dirac equation

abstract: We show that the free Euclidean Dirac equation can preserve the positivity of its initial data only in two spacetime dimensions.


title: Simplicity of Lyapunov spectrum for linear cocycles over non-uniformly hyperbolic systems

abstract: We prove that generic fiber-bunched and H\"older continuous linear cocycles over a non-uniformly hyperbolic system endowed with a u-Gibbs measure have simple Lyapunov spectrum. This gives an affirmative answer to a conjecture proposed by Viana in the context of fiber-bunched cocycles.