title: Reputation System for Online Communities (in Russian)

abstract: Understanding the principles of consensus in communities and finding ways to optimal solutions beneficial for entire community becomes crucial as the speeds and scales of interaction in modern distributed systems increase. Such systems can be both social and information computer networks that unite the masses of people as well as multi-agent computing platforms based on peer-to-peer interactions including those operating on the basis of distributed ledgers. It is now becoming possible for hybrid ecosystems to emerge, having such systems including both humans and computer systems using artificial intelligence. We propose a new form of consensus for all of the listed systems, based on the reputation of the participants, calculated according to the principle of "liquid democracy". We believe that such a system will be more resistant to social engineering and reputation manipulation than the existing systems. In this article, we discuss the basic principles and options for implementing such a system, and also present preliminary practical results.


title: Effect of Depth and Width on Local Minima in Deep Learning

abstract: In this paper, we analyze the effects of depth and width on the quality of local minima, without strong over-parameterization and simplification assumptions in the literature. Without any simplification assumption, for deep nonlinear neural networks with the squared loss, we theoretically show that the quality of local minima tends to improve towards the global minimum value as depth and width increase. Furthermore, with a locally-induced structure on deep nonlinear neural networks, the values of local minima of neural networks are theoretically proven to be no worse than the globally optimal values of corresponding classical machine learning models. We empirically support our theoretical observation with a synthetic dataset as well as MNIST, CIFAR-10 and SVHN datasets. When compared to previous studies with strong over-parameterization assumptions, the results in this paper do not require over-parameterization, and instead show the gradual effects of over-parameterization as consequences of general results.


title: Moduli spaces of manifolds: a user's guide

abstract: We survey recent work on moduli spaces of manifolds with an emphasis on the role played by (stable and unstable) homotopy theory. The theory is illustrated with several worked examples.


title: How You See Me

abstract: Convolution Neural Networks is one of the most powerful tools in the present era of science. There has been a lot of research done to improve their performance and robustness while their internal working was left unexplored to much extent. They are often defined as black boxes that can map non-linear data very effectively. This paper tries to show how CNN has learned to look at an image. The proposed algorithm exploits the basic math of CNN to backtrack the important pixels it is considering to predict. This is a simple algorithm which does not involve any training of its own over a pre-trained CNN which can classify.


title: De Sitter Horizons & Holographic Liquids

abstract: We explore asymptotically AdS$_2$ solutions of a particular two-dimensional dilaton-gravity theory. In the deep interior, these solutions flow to the cosmological horizon of dS$_2$. We calculate various matter perturbations at the linearised and non-linear level. We consider both Euclidean and Lorentzian perturbations. The results can be used to characterise the features of a putative dual quantum mechanics. The chaotic nature of the de Sitter horizon is assessed through the soft mode action at the AdS$_2$ boundary, as well as the behaviour of shockwave type solutions.


title: Reducing parasitic resonances in particle accelerators components by broadband Higher Order Mode couplers

abstract: In particle accelerator components, parasitic resonances must be reduced because they heat up the equipment and cause beam instabilities. In this paper, a method for designing and characterizing Higher Order Mode (HOM) couplers for reducing such resonances in a broad bandwidth is proposed. A case study is considered for a specific component, called QuattroTank, showing geometrical discontinuities and thus causing significant electro-magnetic resonances. Results of numerical simulation and experimental emulation prove the capability of the proposed method to reduce the peaks and the $Q-factor of the resonances.


title: Cosmological Inference from Galaxy-Clustering Power Spectrum: Gaussianization and Covariance Decomposition

abstract: Likelihood fitting to two-point clustering statistics made from galaxy surveys usually assumes a multivariate normal distribution for the measurements, with justification based on the central limit theorem given the large number of overdensity modes. However, this assumption cannot hold on the largest scales where the number of modes is low. Whilst more accurate distributions have previously been developed in idealized cases, we derive a procedure suitable for analysing measured monopole power spectra with window effects, stochastic shot noise, and the dependence of the covariance matrix on the model being fitted all taken into account. A data transformation is proposed to give an approximately Gaussian likelihood, with a variance--correlation decomposition of the covariance matrix to account for its cosmological dependence. By comparing with the modified-$t$ likelihood derived under the usual normality assumption, we find in numerical tests that our new procedure gives more accurate constraints on the local non-Gaussianity parameter $f_\mathrm{NL}$, which is sensitive to the large-scale power. A simple data analysis pipeline is provided for straightforward application of this new approach in preparation for forthcoming large galaxy surveys such as DESI and Euclid.


title: Virtual social science

abstract: Can we describe social systems quantitatively and predictively, when we know all the actions, interactions, and states of individuals? We interpret human societies as co-evolutionary systems of individuals and their interactions. Based on unique data of a society of computer game players, where all actions and interactions between all players are known, we show that this might indeed be possible. Within this framework we address a number of sociological classics, including formation of social networks, strength of relations, group formation, hierarchical organization, aggression management, gender differences, mobility, and wealth-inequality. We discover behavioral and organizational patterns of the homo sapiens and its society that were not visible with traditional methodology from the social sciences.


title: Embedding Riemann surfaces with isolated punctures into the complex plane

abstract: We enlarge the class of open Riemann surfaces known to be holomorphically embeddable into the plane by allowing them to have additional isolated punctures compared to the known embedding results.


title: Recent advances in structural and dynamical propertiesof simplified industrial nanocomposites

abstract: A large body of experimental work on the microstructure and dynamics of simplifiedindustrial nanocomposites made of disordered silica filler in a styrene-butadiene matrixby solid-phase mixing is regrouped and critically discussed in this feature article. Recentresults encompass systems with varying polymer mass, grafting functionality, and fillercontent. They have been obtained by simulation-based structural modelling of nanoparticleaggregate size and mass deduced from small-angle scattering and transmission electronmicroscopy. Our model has been validated by independent swelling experiments.Comparison of structurally-close nanocomposites of widely different chain mass led tothe identification of a unique structure-determining parameter, the grafting density, aswell as to a unified picture of aggregate formation mechanisms in complex nanocompositesduring mixing. In addition, low-field proton NMR allowed for the characterization ofdynamically slowed-down ('glassy') polymer layers, which were shown not to dominatethe rheological response, unlike the structural contribution. Finally, broadband dielectricspectroscopy was used in an innovative manner to identify filler percolation -- also identifiedby rheology -- via dynamics along filler surfaces.


title: Machine Learning Distinguishes Neurosurgical Skill Levels in a Virtual Reality Tumor Resection Task

abstract: Background: Virtual reality simulators and machine learning have the potential to augment understanding, assessment and training of psychomotor performance in neurosurgery residents. Objective: This study outlines the first application of machine learning to distinguish "skilled" and "novice" psychomotor performance during a virtual reality neurosurgical task. Methods: Twenty-three neurosurgeons and senior neurosurgery residents comprising the "skilled" group and 92 junior neurosurgery residents and medical students the "novice" group. The task involved removing a series of virtual brain tumors without causing injury to surrounding tissue. Over 100 features were extracted and 68 selected using t-test analysis. These features were provided to 4 classifiers: K-Nearest Neighbors, Parzen Window, Support Vector Machine, and Fuzzy K-Nearest Neighbors. Equal Error Rate was used to assess classifier performance. Results: Ratios of train set size to test set size from 10% to 90% and 5 to 30 features, chosen by the forward feature selection algorithm, were employed. A working point of 50% train to test set size ratio and 15 features resulted in an equal error rates as low as 8.3% using the Fuzzy K-Nearest Neighbors classifier. Conclusion: Machine learning may be one component helping realign the traditional apprenticeship educational paradigm to a more objective model based on proven performance standards. Keywords: Artificial intelligence, Classifiers, Machine learning, Neurosurgery skill assessment, Surgical education, Tumor resection, Virtual reality simulation


title: Topological integrability, classical and quantum chaos, and the theory of dynamical systems in the physics of condensed matter

abstract: The paper is devoted to the questions connected with the investigation of the S.P. Novikov problem of the description of the geometry of level lines of quasiperiodic functions on a plane with different numbers of quasiperiods. We consider here the history of the question, the current state of research in this field, and a number of applications of this problem to various physical problems. The main attention is paid to the applications of the results obtained in the field under consideration to the theory of transport phenomena in electron systems.


title: Fast Non-Adiabatic Dynamics of Many-Body Quantum Systems

abstract: Modeling many-body quantum systems with strong interactions is one of the core challenges of modern physics. A range of methods has been developed to approach this task, each with its own idiosyncrasies, approximations, and realm of applicability. Perhaps the most successful and ubiquitous of these approaches is density functional theory (DFT). Its Kohn-Sham formulation has been the basis for many fundamental physical insights, and it has been successfully applied to fields as diverse as quantum chemistry, condensed matter and dense plasmas. Despite the progress made by DFT and related schemes, however, there remain many problems that are intractable for existing methods. In particular, many approaches face a huge computational barrier when modeling large numbers of coupled electrons and ions at finite temperature. Here, we address this shortfall with a new approach to modeling many-body quantum systems. Based on the Bohmian trajectories formalism, our new method treats the full particle dynamics with a considerable increase in computational speed. As a result, we are able to perform large-scale simulations of coupled electron-ion systems without employing the adiabatic Born-Oppenheimer approximation.


title: DeepZip: Lossless Data Compression using Recurrent Neural Networks

abstract: Sequential data is being generated at an unprecedented pace in various forms, including text and genomic data. This creates the need for efficient compression mechanisms to enable better storage, transmission and processing of such data. To solve this problem, many of the existing compressors attempt to learn models for the data and perform prediction-based compression. Since neural networks are known as universal function approximators with the capability to learn arbitrarily complex mappings, and in practice show excellent performance in prediction tasks, we explore and devise methods to compress sequential data using neural network predictors. We combine recurrent neural network predictors with an arithmetic coder and losslessly compress a variety of synthetic, text and genomic datasets. The proposed compressor outperforms Gzip on the real datasets and achieves near-optimal compression for the synthetic datasets. The results also help understand why and where neural networks are good alternatives for traditional finite context models


title: Variance Suppression: Balanced Training Process in Deep Learning

abstract: Stochastic gradient descent updates parameters with summation gradient computed from a random data batch. This summation will lead to unbalanced training process if the data we obtained is unbalanced. To address this issue, this paper takes the error variance and error mean both into consideration. The adaptively adjusting approach of two terms trading off is also given in our algorithm. Due to this algorithm can suppress error variance, we named it Variance Suppression Gradient Descent (VSSGD). Experimental results have demonstrated that VSSGD can accelerate the training process, effectively prevent overfitting, improve the networks learning capacity from small samples.


title: Weakly Supervised Estimation of Shadow Confidence Maps in Fetal Ultrasound Imaging

abstract: Detecting acoustic shadows in ultrasound images is important in many clinical and engineering applications. Real-time feedback of acoustic shadows can guide sonographers to a standardized diagnostic viewing plane with minimal artifacts and can provide additional information for other automatic image analysis algorithms. However, automatically detecting shadow regions using learning-based algorithms is challenging because pixel-wise ground truth annotation of acoustic shadows is subjective and time consuming. In this paper we propose a weakly supervised method for automatic confidence estimation of acoustic shadow regions. Our method is able to generate a dense shadow-focused confidence map. In our method, a shadow-seg module is built to learn general shadow features for shadow segmentation, based on global image-level annotations as well as a small number of coarse pixel-wise shadow annotations. A transfer function is introduced to extend the obtained binary shadow segmentation to a reference confidence map. Additionally, a confidence estimation network is proposed to learn the mapping between input images and the reference confidence maps. This network is able to predict shadow confidence maps directly from input images during inference. We use evaluation metrics such as DICE, inter-class correlation and etc. to verify the effectiveness of our method. Our method is more consistent than human annotation, and outperforms the state-of-the-art quantitatively in shadow segmentation and qualitatively in confidence estimation of shadow regions. We further demonstrate the applicability of our method by integrating shadow confidence maps into tasks such as ultrasound image classification, multi-view image fusion and automated biometric measurements.


title: Unsupervised Learning of Shape Concepts - From Real-World Objects to Mental Simulation

abstract: An unsupervised shape analysis is proposed to learn concepts reflecting shape commonalities. Our approach is two-fold: i) a spatial topology analysis of point cloud segment constellations within objects is used in which constellations are decomposed and described in a hierarchical and symbolic manner. ii) A topology analysis of the description space is used in which segment decompositions are exposed in. Inspired by Persistent Homology, groups of shape commonality are revealed. Experiments show that extracted persistent commonality groups can feature semantically meaningful shape concepts; the generalization of the proposed approach is evaluated by different real-world datasets. We extend this by not only learning shape concepts using real-world data, but by also using mental simulation of artificial abstract objects for training purposes. This extended approach is unsupervised in two respects: label-agnostic (no label information is used) and instance-agnostic (no instances preselected by human supervision are used for training). Experiments show that concepts generated with mental simulation, generalize and discriminate real object observations. Consequently, a robot may train and learn its own internal representation of concepts regarding shape appearance in a self-driven and machine-centric manner while omitting the tedious process of supervised dataset generation including the ambiguity in instance labeling and selection.


title: Elliptic surfaces over $\mathbb{P}^1$ and large class groups of number fields

abstract: Given a non-isotrivial elliptic curve over $\mathbb{Q}(t)$ with large Mordell-Weil rank, we explain how one can build, for suitable small primes $p$, infinitely many fields of degree $p^2-1$ whose ideal class group has a large $p$-torsion subgroup. As an example, we show the existence of infinitely many cubic fields whose ideal class group contains a subgroup isomorphic to $(\mathbb{Z}/2\mathbb{Z})^{11}$.


title: Bayesian Inference for Structural Vector Autoregressions Identified by Markov-Switching Heteroskedasticity

abstract: In this study, Bayesian inference is developed for structural vector autoregressive models in which the structural parameters are identified via Markov-switching heteroskedasticity. In such a model, restrictions that are just-identifying in the homoskedastic case, become over-identifying and can be tested. A set of parametric restrictions is derived under which the structural matrix is globally or partially identified and a Savage-Dickey density ratio is used to assess the validity of the identification conditions. The latter is facilitated by analytical derivations that make the computations fast and numerical standard errors small. As an empirical example, monetary models are compared using heteroskedasticity as an additional device for identification. The empirical results support models with money in the interest rate reaction function.


title: Uncountably many solutions for nonlinear Helmholtz and curl-curl equations with general nonlinearities

abstract: We obtain uncountably many solutions of nonlinear Helmholtz and curl-curl equations on the entire space using a fixed point approach. As an auxiliary tool a Limiting Absorption Principle for the curl-curl operator is proved.


title: A covariance formula for topological events of smooth Gaussian fields

abstract: We derive a covariance formula for the class of `topological events' of smooth Gaussian fields on manifolds; these are events that depend only on the topology of the level sets of the field, for example (i) crossing events for level or excursion sets, (ii) events measurable with respect to the number of connected components of level or excursion sets of a given diffeomorphism class, and (iii) persistence events. As an application of the covariance formula, we derive strong mixing bounds for topological events, as well as lower concentration inequalities for additive topological functionals (e.g. the number of connected components) of the level sets that satisfy a law of large numbers. The covariance formula also gives an alternate justification of the Harris criterion, which conjecturally describes the boundary of the percolation university class for level sets of stationary Gaussian fields. Our work is inspired by a recent paper by Rivera and Vanneuville, in which a correlation inequality was derived for certain topological events on the plane, as well as by an old result of Piterbarg, in which a similar covariance formula was established for finite-dimensional Gaussian vectors.


title: Sketch-R2CNN: An Attentive Network for Vector Sketch Recognition

abstract: Freehand sketching is a dynamic process where points are sequentially sampled and grouped as strokes for sketch acquisition on electronic devices. To recognize a sketched object, most existing methods discard such important temporal ordering and grouping information from human and simply rasterize sketches into binary images for classification. In this paper, we propose a novel single-branch attentive network architecture RNN-Rasterization-CNN (Sketch-R2CNN for short) to fully leverage the dynamics in sketches for recognition. Sketch-R2CNN takes as input only a vector sketch with grouped sequences of points, and uses an RNN for stroke attention estimation in the vector space and a CNN for 2D feature extraction in the pixel space respectively. To bridge the gap between these two spaces in neural networks, we propose a neural line rasterization module to convert the vector sketch along with the attention estimated by RNN into a bitmap image, which is subsequently consumed by CNN. The neural line rasterization module is designed in a differentiable way to yield a unified pipeline for end-to-end learning. We perform experiments on existing large-scale sketch recognition benchmarks and show that by exploiting the sketch dynamics with the attention mechanism, our method is more robust and achieves better performance than the state-of-the-art methods.


title: On the structure of abelian profinite groups

abstract: A subgroup $G$ of a product $\prod\limits_{i\in\mathbb{N}}G_i$ is \emph{rectangular} if there are subgroups $H_i$ of $G_i$ such that $G=\prod\limits_{i\in\mathbb{N}}H_i$. We say that $G$ is \emph{weakly rectangular} if there are finite subsets $F_i\subseteq \mathbb{N}$ and subgroups $H_i$ of $\bigoplus\limits_{j\in F_i} G_j$ that satisfy $G=\prod\limits_{i\in\mathbb{N}}H_i$. %We say that $G$ is a \emph{subdirect product} of the family $\{G_i\}_{i\in I}$ if $G$ is weakly rectangular and %$G\cap\bigoplus\limits_{i\in I} G_i=\bigoplus\limits_{i\in\mathbb{N}}H_i$. In this paper we discuss when a closed subgroup of a product is weakly rectangular. Some possible applications to the theory of group codes are also highlighted.


title: Cross-linker mediated compaction and local morphologies in a model chromosome

abstract: Chromatin and associated proteins constitute the highly folded structure of chromosomes. We consider a self-avoiding polymer model of the chromatin, segments of which may get cross-linked via protein binders that repel each other. The binders cluster together via the polymer mediated attraction, in turn, folding the polymer. Using molecular dynamics simulations, and a mean field description, we explicitly demonstrate the continuous nature of the folding transition, characterized by unimodal distributions of the polymer size across the transition. At the transition point the chromatin size and cross-linker clusters display large fluctuations, and a maximum in their negative cross-correlation, apart from a critical slowing down. Along the transition, we distinguish the local chain morphologies in terms of topological loops, inter-loop gaps, and zippering. The topologies are dominated by simply connected loops at the criticality, and by zippering in the folded phase.


title: Friedel oscillations and dynamical density of states of an inhomogeneous Luttinger liquid

abstract: In this work, the four-point Green functions relevant to the study of Friedel oscillations are calculated for a Luttinger liquid with a cluster of impurities around an origin using the powerful Non chiral bosonization technique (NCBT). The two-point functions obtained using the same method are used to calculate the dynamical density of states (DDOS), which exhibits a power law in energy and closed analytical expressions for the DDOS exponent is calculated. These results interpolates between the weak barrier and weak link cases which are typically studied in the literature. The dependence of the DDOS on the nature of interactions and the strength of the impurity clusters are highlighted. Finally the special case of the Luttinger parameter g=1/2 is studied and compared with existing results.


title: Ergodic Poisson Splittings

abstract: In this paper we study splittings of a Poisson point process which are equivariant under a conservative transformation. We show that, if the Cartesian powers of this transformation are all ergodic, the only ergodic splitting is the obvious one, that is, a collection of independent Poisson processes. We apply this result to the case of a marked Poisson process: under the same hypothesis, the marks are necessarily independent of the point process and i.i.d. Under additional assumptions on the transformation, a further application is derived, giving a full description of the structure of a random measure invariant under the action of the transformation.


title: Transport properties of a Luttinger liquid with a cluster of impurities

abstract: In this work, the correlation functions of a Luttinger liquid with a cluster of impurities around an origin obtained using the Non chiral bosonization technique (NCBT) are used to study two important physical phenomena, viz., conductance and resonant tunneling. The latter is studied when the cluster consists of two impurities separated by a distance (measured in units of the Fermi wavelength). Conductance is studied both in the Kubo formalism, which relates it to current-current correlations (four-point functions), as well as the outcome of a tunneling phenomena (two-point functions). In both the cases, closed analytical expressions for conductance are calculated and a number of interesting physical observations are discussed, besides presenting a favorable comparison with the existing literature.


title: Cosmography and the redshift drift in Palatini $f({\cal R})$ theories

abstract: We present an application to cosmological models in $f({\cal R})$ theories within the Palatini formalism of a method that combines cosmography and the explicit form of the field equations in the calculation of the redshift drift. The method yields a sequence of constraint equations which lead to limits on the parameter space of a given $f({\cal R})$-model. Two particular families of $f({\cal R})$-cosmologies capable of describing the current dynamics of the universe are explored here: (i) power law theories of the type $f({\cal R})={\cal R}-\beta /{\cal R}^n$, and (ii) theories of the form $f({\cal R})={\cal R}+\alpha \ln{{\cal R}} -\beta$. The constraints on $(n,\beta)$ and $(\alpha,\beta)$, respectively, limit the values to intervals that are narrower than the ones previously obtained. As a byproduct, we show that when applied to General Relativity, the method yields values of the kinematic parameters with much smaller errors that those obtained directly from observations.


title: Hong-Ou-Mandel heat noise in the quantum Hall regime

abstract: We investigate heat current fluctuations induced by a periodic train of Lorentzian-shaped pulses, carrying an integer number of electronic charges, in a Hong-Ou-Mandel interferometer implemented in a quantum Hall bar in the Laughlin sequence. We demonstrate that the noise in this collisional experiment cannot be reproduced in a setup with a single drive, in contrast to what is observed in the charge noise case. Nevertheless, the simultaneous collision of two identical levitons always leads to a total suppression even for the Hong-Ou-Mandel heat noise at all filling factors, despite the presence of emergent anyonic quasi-particle excitations in the fractional regime. Interestingly, the strong correlations characterizing the fractional phase are responsible for a remarkable oscillating pattern in the HOM heat noise, which is completely absent in the integer case. These oscillations can be related to the recently predicted crystallization of levitons in the fractional quantum Hall regime.


title: Topological Fermi-arc surface resonances in bcc iron

abstract: The topological classification of matter has been extended to include semimetallic phases characterized by the presence of topologically protected band degeneracies. In Weyl semimetals, the foundational gapless topological phase, chiral degeneracies are isolated near the Fermi level and give rise to the Fermi-arc surface states. However, it is now recognized that chiral degeneracies are ubiquitous in the band structures of systems with broken spatial inversion ($\mathcal{P}$) or time-reversal ($\mathcal{T}$) symmetry. This leads to a broadly defined notion of topological metals, which implies the presence of disconnected Fermi surface sheets characterized by non-zero Chern numbers inherited from the enclosed chiral degeneracies. Here, we address the possibility of experimentally observing surface-related signatures of chiral degeneracies in metals. As a representative system we choose bcc iron, a well-studied archetypal ferromagnetic metal with two nontrivial electron pockets. We find that the (110) surface presents arc-like resonances attached to the topologically nontrivial electron pockets. These Fermi-arc resonances are due to two different chiral degeneracies, a type-I elementary Weyl point and a type-II composite (Chern numbers $\pm 2$) Weyl point, located at slightly different energies close to the Fermi level. We further show that these surface resonances can be controlled by changing the orientation of magnetization, eventually being eliminated following a topological phase transition. Our study thus shows that the intricate Fermi-arc features can be observed in materials as simple as ferromagnetic iron, and are possibly very common in polar and magnetic materials broadly speaking. Our study also provides methodological guidelines to identifying Fermi-arc surface states and resonances, establishing their topological origin and designing control protocols.


title: Coffee stains, cell receptors, and time crystals: Lessons from the old literature

abstract: Perhaps the most important reason to understand the deep history of a field is that it is the right thing to do.


title: Attributing Fake Images to GANs: Learning and Analyzing GAN Fingerprints

abstract: Recent advances in Generative Adversarial Networks (GANs) have shown increasing success in generating photorealistic images. But they also raise challenges to visual forensics and model attribution. We present the first study of learning GAN fingerprints towards image attribution and using them to classify an image as real or GAN-generated. For GAN-generated images, we further identify their sources. Our experiments show that (1) GANs carry distinct model fingerprints and leave stable fingerprints in their generated images, which support image attribution; (2) even minor differences in GAN training can result in different fingerprints, which enables fine-grained model authentication; (3) fingerprints persist across different image frequencies and patches and are not biased by GAN artifacts; (4) fingerprint finetuning is effective in immunizing against five types of adversarial image perturbations; and (5) comparisons also show our learned fingerprints consistently outperform several baselines in a variety of setups.


title: HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings

abstract: To cope with the intractability of answering Conjunctive Queries (CQs) and solving Constraint Satisfaction Problems (CSPs), several notions of hypergraph decompositions have been proposed -- giving rise to different notions of width, noticeably, plain, generalized, and fractional hypertree width (hw, ghw, and fhw). Given the increasing interest in using such decomposition methods in practice, a publicly accessible repository of decomposition software, as well as a large set of benchmarks, and a web-accessible workbench for inserting, analysing, and retrieving hypergraphs are called for. We address this need by providing (i) concrete implementations of hypergraph decompositions (including new practical algorithms), (ii) a new, comprehensive benchmark of hypergraphs stemming from disparate CQ and CSP collections, and (iii) HyperBench, our new web-inter\-face for accessing the benchmark and the results of our analyses. In addition, we describe a number of actual experiments we carried out with this new infrastructure.


title: Topological states on the breathing kagome lattice

abstract: We theoretically study the topological properties of the tight-binding model on the breathing kagome lattice with antisymmetric spin-orbit coupling (SOC) between nearest neighbors. We show that the system hosts nontrivial topological phases even without second-nearest-neighbor hopping, and that the weakly dispersing band of the kagome lattice can become topological. The main results are presented in the form of phase diagrams, where the $\mathbb{Z}_2$ topological index is shown as a function of SOC (intrinsically allowed and Rashba) and lattice trimerization. In addition, exact diagonalization is compared with effective low-energy theories around the high-symmetry points. We find that the weakly dispersing band has a very robust topological property associated with it. Moreover, the Rashba SOC can produce a topological phase rather than hinder it, in contrast to the honeycomb lattice. Finally, we consider the case of a fully spin polarized (ferromagnetic) system, breaking time-reversal symmetry. We find a phase diagram that includes systems with finite Chern numbers. In this case too, the weakly dispersing band is topologically robust to trimerization.


title: Radially excited $\psi$ mesons and the $Y$ enhancements

abstract: While many properties of the vector charmonium first excitations are yet to be measured, enhancements at unexpected energies are intriguing, alias the $Y$ states. In order to understand the naturally unquenched mesonic line-shapes, the influence of the most relevant hadronic decay channels must be taken into account. Within an unitary effective approach we present results where mesonic loops are included in an equivalent manner to coupled-channels. We show results for the $\psi(3770)$ and $\psi(4160)$ systems, where we find the nonperturbative effects of dynamical generation of poles and line-shape distortion.


title: A combinatorial formula for the coefficient of $q$ in Kazhdan-Lusztig polynomials

abstract: We propose a combinatorial interpretation of the coefficient of $q$ in Kazhdan- Lusztig polynomials and we prove it for finite simply-laced Weyl groups.


title: Approximation Algorithm for the Partial Set Multi-Cover Problem

abstract: Partial set cover problem and set multi-cover problem are two generalizations of set cover problem. In this paper, we consider the partial set multi-cover problem which is a combination of them: given an element set $E$, a collection of sets $\mathcal S\subseteq 2^E$, a total covering ratio $q$ which is a constant between 0 and 1, each set $S\in\mathcal S$ is associated with a cost $c_S$, each element $e\in E$ is associated with a covering requirement $r_e$, the goal is to find a minimum cost sub-collection $\mathcal S'\subseteq\mathcal S$ to fully cover at least $q|E|$ elements, where element $e$ is fully covered if it belongs to at least $r_e$ sets of $\mathcal S'$. Denote by $r_{\max}=\max\{r_e\colon e\in E\}$ the maximum covering requirement. We present an $(O(\frac{r_{\max}\log^2n}{\varepsilon}),1-\varepsilon)$-bicriteria approximation algorithm, that is, the output of our algorithm has cost at most $O(\frac{r_{\max}\log^2 n}{\varepsilon})$ times of the optimal value while the number of fully covered elements is at least $(1-\varepsilon)q|E|$.


title: Analysing Results from AI Benchmarks: Key Indicators and How to Obtain Them

abstract: Item response theory (IRT) can be applied to the analysis of the evaluation of results from AI benchmarks. The two-parameter IRT model provides two indicators (difficulty and discrimination) on the side of the item (or AI problem) while only one indicator (ability) on the side of the respondent (or AI agent). In this paper we analyse how to make this set of indicators dual, by adding a fourth indicator, generality, on the side of the respondent. Generality is meant to be dual to discrimination, and it is based on difficulty. Namely, generality is defined as a new metric that evaluates whether an agent is consistently good at easy problems and bad at difficult ones. With the addition of generality, we see that this set of four key indicators can give us more insight on the results of AI benchmarks. In particular, we explore two popular benchmarks in AI, the Arcade Learning Environment (Atari 2600 games) and the General Video Game AI competition. We provide some guidelines to estimate and interpret these indicators for other AI benchmarks and competitions.


title: Three Topics in Non-decomposability of Generalized Multiplicative Connectives

abstract: Danos and Regnier introduced generalized (non-binary) multiplicative connectives in (Danes and Regnier, 1989). They showed that there exist the generalized multiplicative connectives which cannot be defined by any combinations of the tensor and par rules in the multiplicative fragment of linear logic. These connectives are called non-decomposable generalized multiplicative connectives (ibid, p.192). Non-decomposability of logical connecives can be considered as a proof-theoretical and syntactical counterpart of the functional-completeness on cut-free proofs. In this short note, we investigate the notion of Danes and Regnier's non-decomposability and give three results concerning (non-)decomposability of generalized multiplicative connectives.


title: Orthographic Feature Transform for Monocular 3D Object Detection

abstract: 3D object detection from monocular images has proven to be an enormously challenging task, with the performance of leading systems not yet achieving even 10\% of that of LiDAR-based counterparts. One explanation for this performance gap is that existing systems are entirely at the mercy of the perspective image-based representation, in which the appearance and scale of objects varies drastically with depth and meaningful distances are difficult to infer. In this work we argue that the ability to reason about the world in 3D is an essential element of the 3D object detection task. To this end, we introduce the orthographic feature transform, which enables us to escape the image domain by mapping image-based features into an orthographic 3D space. This allows us to reason holistically about the spatial configuration of the scene in a domain where scale is consistent and distances between objects are meaningful. We apply this transformation as part of an end-to-end deep learning architecture and achieve state-of-the-art performance on the KITTI 3D object benchmark.\footnote{We will release full source code and pretrained models upon acceptance of this manuscript for publication.


title: Spectra Analysis to Stretching of ADB Structure Metamaterial

abstract: Asymmetric-double-bars (ADB) structure is one of the most interesting plasmonic metamaterials that has been broadly investigated. Here we propose to manufacture ADB on top of elastic material, to get direct control to the dimension of ADB elements. To analyze the spectra numerically, simulation by commercial software (COMSOL) are carried out. We successfully modify the characteristic spectra and enhance Q-factor of the peak near infrared by introducing angular and amplitude parameters of the stretching of substrate in the simulation. At the mean time, we significantly restrain red shift in the absorption spectra by applying flipped-configuration and substrate etching configuration to ADB structure. Intriguing quadratic functions between stretching ratio and the absorption peak wavelength are obtained when stretching in x and y direction. For other directions, EIT lineshape appears in transmission spectra. These results might contribute to future application of plasmonic metamaterial in laser controlling and sensors.


title: Angular distribution as an effective probe of new physics in semi-hadronic three-body meson decays

abstract: We analyze, in a fully model-independent manner, the effects of new physics on a few semi-hadronic three-body meson decays of the type $P_i \to P_f f_1 f_2$, where $P_i$, $P_f$ are well chosen pseudo-scalar mesons and $f_{1,2}$ denote fermions out of which at least one gets detected in experiments. We find that the angular distribution of events of these decays can probe many interesting new physics, such as the nature of the intermediate particle that can cause lepton-flavor violation, or presence of heavy sterile neutrino, or new intermediate particles, or new interactions. We also provide angular asymmetries which can quantify the effects of new physics in these decays. We illustrate the effectiveness of our proposed methodology with a few well chosen decay modes showing effects of certain new physics possibilities without any hadronic uncertainties.


title: Effect of correlation on the traffic capacity of Time Varying Communication Network

abstract: The network topology and the routing strategy are major factors to affect the traffic dynamics of the network. In this work, we aim to design an optimal time-varying network structure and an efficient route is allocated to each user in the network. The network topology is designed by considering addition, removal, and rewiring of links. At each time instants, a new node connects with an existing node based on the degree and correlation with its neighbor. Traffic congestion is handled by rewiring of some congested links along with the removal of the anti-preferential and correlated links. Centrality plays an important role to find the most important node in the network. The more a node is central, the more it can be used for the shortest route of the user pairs and it can be congested due to a large number of data coming from its neighborhood. Therefore, routes of the users are selected such that the sum of the centrality of the nodes appearing in the user's route is minimum. Thereafter, we analyze the network structure by using various network properties such as the clustering coefficient, centrality, average shortest path, rich club coefficient, average packet travel time and order parameter.


title: Taming higher-derivative interactions and bootstrapping gravity with soft theorems

abstract: On-shell constructibility is redefining our understanding of perturbative quantum field theory. The tree-level S-matrix of constructible theories is completely determined by a set of recurrence relations and a reduced number of scattering amplitudes. In this paper, we revisit the on-shell constructibility of gravitational theories making use of new results on soft theorems and recurrence relations. We show that using a double complex shift and an all-line soft deformation allows us to relax the technical conditions for constructibility, in order to include more general propagators and higher-derivative interactions that prevent using conventional Britto-Cachazo-Feng-Witten (BCFW) shifts. From this result we extract a set of criteria that guarantee that a given gravitational action has the same tree-level S-matrix in Minkowski spacetime as general relativity, which implies the equivalence at all orders in perturbation theory between these classical field theories on asymptotically flat spacetimes. As a corollary we deduce that the scattering amplitudes of general relativity and unimodular gravity are the same for an arbitrary number of external particles (as long as the S-matrix of the latter is unitary), thus extending previous works that were able to deal only with $n=4$ and $n=5$ amplitudes.


title: Characterization of equivariant maps and application to entanglement detection

abstract: We study equivariant linear maps between finite-dimensional matrix algebras, as introduced by Bhat. These maps satisfy an algebraic property which makes it easy to study their positivity or k-positivity. They are therefore particularly suitable for applications to entanglement detection in quantum information theory. We characterize their Choi matrices. In particular, we focus on a subfamily that we call (a, b)-unitarily equivariant. They can be seen as both a generalization of maps invariant under unitary conjugation as studied by Bhat and as a generalization of the equivariant maps studied by Collins et al. Using representation theory, we fully compute them and study their graphical representation, and show that they are basically enough to study all equivariant maps. We finally apply them to the problem of entanglement detection and prove that they form a sufficient (infinite) family of positive maps to detect all k-entangled density matrices.


title: LoTSS DR1: Double-double radio galaxies in the HETDEX field

abstract: Double-double radio galaxies (DDRGs) represent a short but unique phase in the life-cycle of some of the most powerful radio-loud active galactic nuclei (RLAGN). These galaxies display large-scale remnant radio plasma in the intergalactic medium left behind by a past episode of active galactic nuclei (AGN) activity, and meanwhile, the radio jets have restarted in a new episode. The knowledge of what causes the jets to switch off and restart is crucial to our understanding of galaxy evolution, while it is important to know if DDRGs form a host galaxy dichotomy relative to RLAGN. We utilised the LOFAR Two-Metre Sky Survey DR1, using a visual identification method to compile a sample of morphologically selected candidate DDRGs, showing two pairs of radio lobes. To confirm the restarted nature in each of the candidate sources, we obtained follow-up observations with the VLA at higher resolution to observe the inner lobes or restarted jets, the confirmation of which created a robust sample of 33 DDRGs. We created a comparison sample of 777 RLAGN from the DR1 catalogue, and compared the optical and infrared magnitudes and colours of their host galaxies. We find that there is no statistically significant difference in the brightness of the host galaxies between double-doubles and single-cycle RLAGN. The DDRG and RLAGN samples also have similar distributions in WISE mid-infrared colours, indicating similar ages of stellar populations and dust levels in the hosts of DDRGs. We conclude that DDRGs and 'normal' RLAGN are hosted by galaxies of the same type, and that DDRG activity is simply a normal part of the life cycle of RLAGN. Restarted jets, particularly for the class of low-excitation radio galaxies, rather than being a product of a particular event in the life of a host galaxy, must instead be caused by smaller scale changes, such as in the accretion system surrounding the black hole.


title: On general convergence behaviours of finite-dimensional approximants for abstract linear inverse problems

abstract: In the framework of abstract linear inverse problems in infinitedimensional Hilbert space we discuss generic convergence behaviours of approximate solutions determined by means of general projection methods, namely outside the standard assumptions of Petrov-Galerkin truncation schemes. This includes a discussion of the mechanisms why the error or the residual generically fail to vanish in norm, and the identification of practically plausible sufficient conditions for such indicators to be small in some weaker sense. The presentation is based on theoretical results together with a series of model examples and numerical tests.


title: SpherePHD: Applying CNNs on a Spherical PolyHeDron Representation of 360 degree Images

abstract: Omni-directional cameras have many advantages overconventional cameras in that they have a much wider field-of-view (FOV). Accordingly, several approaches have beenproposed recently to apply convolutional neural networks(CNNs) to omni-directional images for various visual tasks.However, most of them use image representations defined inthe Euclidean space after transforming the omni-directionalviews originally formed in the non-Euclidean space. Thistransformation leads to shape distortion due to nonuniformspatial resolving power and the loss of continuity. Theseeffects make existing convolution kernels experience diffi-culties in extracting meaningful information.This paper presents a novel method to resolve such prob-lems of applying CNNs to omni-directional images. Theproposed method utilizes a spherical polyhedron to rep-resent omni-directional views. This method minimizes thevariance of the spatial resolving power on the sphere sur-face, and includes new convolution and pooling methodsfor the proposed representation. The proposed method canalso be adopted by any existing CNN-based methods. Thefeasibility of the proposed method is demonstrated throughclassification, detection, and semantic segmentation taskswith synthetic and real datasets.


title: Identifiers in Registers - Describing Network Algorithms with Logic

abstract: We propose a formal model of distributed computing based on register automata that captures a broad class of synchronous network algorithms. The local memory of each process is represented by a finite-state controller and a fixed number of registers, each of which can store the unique identifier of some process in the network. To underline the naturalness of our model, we show that it has the same expressive power as a certain extension of first-order logic on graphs whose nodes are equipped with a total order. Said extension lets us define new functions on the set of nodes by means of a so-called partial fixpoint operator. In spirit, our result bears close resemblance to a classical theorem of descriptive complexity theory that characterizes the complexity class PSPACE in terms of partial fixpoint logic (a proper superclass of the logic we consider here).


title: A Simflowny-based high-performance 3D code for the generalized induction equation

abstract: In the interior of neutron stars, the induction equation regulates the long-term evolution of the magnetic fields by means of resistivity, Hall dynamics and ambipolar diffusion. Despite the apparent simplicity and compactness of the equation, the dynamics it describes is not trivial and its understanding relies on accurate numerical simulations. While a few works in 2D have reached a mature stage and a consensus on the general dynamics at least for some simple initial data, only few attempts have been performed in 3D, due to the computational costs and the need for a proper numerical treatment of the intrinsic non-linearity of the equation. Here, we carefully analyze the general induction equation, studying its characteristic structure, and we present a new Cartesian 3D code, generated by the user-friendly, publicly available {\em Simflowny} platform. The code uses high-order numerical schemes for the time and spatial discretization, and relies on the highly-scalable {\em SAMRAI} architecture for the adaptive mesh refinement. We present the application of the code to several benchmark tests, showing the high order of convergence and accuracy achieved and the capabilities in terms of magnetic shock resolution and three-dimensionality. This paper paves the way for the applications to a realistic, 3D long-term evolution of neutron stars interior and, possibly, of other astrophysical sources.


title: On symmetries of the Gibbons-Tsarev equation

abstract: We study the Gibbons-Tsarev equation $z_{yy} + z_x z_{xy} - z_y z_{xx} + 1 = 0$ and, using the known Lax pair, we construct infinite series of conservation laws and the algebra of nonlocal symmetries in the covering associated with these conservation laws. We prove that the algebra is isomorphic to the Witt algebra. Finally, we show that the constructed symmetries are unique in the class of polynomial ones.


title: Constraints on dimension-seven operators with a derivative in effective field theory for Dirac dark matter

abstract: The effective field theory (EFT) for dark matter (DM) has been widely used to investigate dark matter detection in both theoretical prediction and experimental analysis. To form a complete basis of effective operators for Dirac DM EFT at dimension seven, eight new four-fermion operators with a derivative in DM currents have recently been introduced. We discuss the experimental observables and constraints for the theoretical predictions of these new operators to constrain the DM mass and relevant energy scale. The observables from thermal relic abundance, indirect and direct detection, and LHC constraints are presented.


title: CGNet: A Light-weight Context Guided Network for Semantic Segmentation

abstract: The demand of applying semantic segmentation model on mobile devices has been increasing rapidly. Current state-of-the-art networks have enormous amount of parameters hence unsuitable for mobile devices, while other small memory footprint models follow the spirit of classification network and ignore the inherent characteristic of semantic segmentation. To tackle this problem, we propose a novel Context Guided Network (CGNet), which is a light-weight and efficient network for semantic segmentation. We first propose the Context Guided (CG) block, which learns the joint feature of both local feature and surrounding context, and further improves the joint feature with the global context. Based on the CG block, we develop CGNet which captures contextual information in all stages of the network and is specially tailored for increasing segmentation accuracy. CGNet is also elaborately designed to reduce the number of parameters and save memory footprint. Under an equivalent number of parameters, the proposed CGNet significantly outperforms existing segmentation networks. Extensive experiments on Cityscapes and CamVid datasets verify the effectiveness of the proposed approach. Specifically, without any post-processing and multi-scale testing, the proposed CGNet achieves 64.8% mean IoU on Cityscapes with less than 0.5 M parameters. The source code for the complete system can be found at https://github.com/wutianyiRosun/CGNet.


title: On Krylov solutions to infinite-dimensional inverse linear problems

abstract: We discuss, in the context of inverse linear problems in Hilbert space, the notion of the associated infinite-dimensional Krylov subspace and we produce necessary and sufficient conditions for the Krylov-solvability of a given inverse problem, together with a series of model examples and numerical experiments.


title: Attentive Neural Architecture Incorporating Song Features For Music Recommendation

abstract: Recommender Systems are an integral part of music sharing platforms. Often the aim of these systems is to increase the time, the user spends on the platform and hence having a high commercial value. The systems which aim at increasing the average time a user spends on the platform often need to recommend songs which the user might want to listen to next at each point in time. This is different from recommendation systems which try to predict the item which might be of interest to the user at some point in the user lifetime but not necessarily in the very near future. Prediction of the next song the user might like requires some kind of modeling of the user interests at the given point of time. Attentive neural networks have been exploiting the sequence in which the items were selected by the user to model the implicit short-term interests of the user for the task of next item prediction, however we feel that the features of the songs occurring in the sequence could also convey some important information about the short-term user interest which only the items cannot. In this direction, we propose a novel attentive neural architecture which in addition to the sequence of items selected by the user, uses the features of these items to better learn the user short-term preferences and recommend the next song to the user.


title: Lectures on Linear Stability of Rotating Black Holes

abstract: These lecture notes are concerned with linear stability of the non-extreme Kerr geometry under perturbations of general spin. After a brief review of the Kerr black hole and its symmetries, we describe these symmetries by Killing fields and work out the connection to conservation laws. The Penrose process and superradiance effects are discussed. Decay results on the long-time behavior of Dirac waves are outlined. It is explained schematically how the Maxwell equations and the equations for linearized gravitational waves can be decoupled to obtain the Teukolsky equation. It is shown how the Teukolsky equation can be fully separated to a system of coupled ordinary differential equations. Linear stability of the non-extreme Kerr black hole is stated as a pointwise decay result for solutions of the Cauchy problem for the Teukolsky equation. The stability proof is outlined, with an emphasis on the underlying ideas and methods.


title: Simulating Random Walks on Graphs in the Streaming Model

abstract: We study the problem of approximately simulating a $t$-step random walk on a graph where the input edges come from a single-pass stream. The straightforward algorithm using reservoir sampling needs $O(nt)$ words of memory. We show that this space complexity is near-optimal for directed graphs. For undirected graphs, we prove an $\Omega(n\sqrt{t})$-bit space lower bound, and give a near-optimal algorithm using $O(n\sqrt{t})$ words of space with $2^{-\Omega(\sqrt{t})}$ simulation error (defined as the $\ell_1$-distance between the output distribution of the simulation algorithm and the distribution of perfect random walks). We also discuss extending the algorithms to the turnstile model, where both insertion and deletion of edges can appear in the input stream.


title: Continuous projections onto ideal convergent sequences

abstract: Let $\mathcal{I}\subseteq\mathcal{P}(\omega)$ be a meager ideal. Then there are no continuous projections from $\ell_\infty$ onto the set of bounded sequences which are $\mathcal{I}$-convergent to $0$. In particular, it follows that the set of bounded sequences statistically convergent to $0$ is not isomorphic to $\ell_\infty$.


title: Analysis of Stellar Spectra from LAMOST DR5 with Generative Spectrum Networks

abstract: In this study, the fundamental stellar atmospheric parameters (Teff, log g, [Fe/H] and [{\alpha}/Fe]) were derived for low-resolution spectroscopy from LAMOST DR5 with Generative Spectrum Networks (GSN). This follows the same scheme as a normal artificial neural network with stellar parameters as the input and spectra as the output. The GSN model was effective in producing synthetic spectra after training on the PHOENIX theoretical spectra. In combination with Bayes framework, the application for analysis of LAMOST observed spectra exhibited improved efficiency on the distributed computing platform, Spark. In addition, the results were examined and validated by a comparison with reference parameters from high-resolution surveys and asteroseismic results. Our results show good consistency with the results from other survey and catalogs. Our proposed method is reliable with a precision of 80 K for Teff, 0.14 dex for log g, 0.07 dex for [Fe/H] and 0.168 dex for [{\alpha}/Fe], for spectra with a signal-to-noise in g bands (SNRg) higher than 50. The parameters estimated as a part of this work are available at http://paperdata.china-vo.org/GSN_parameters/GSN_parameters.csv.


title: NMR shifts in $^3$He in aerogel induced by demagnetizing fields

abstract: Magnetic materials generate demagnetizing field that depends on geometry of the sample and results in a shift of magnetic resonance frequency. This phenomenon should occur in porous nanostructures as well, e.g., in globally anisotropic aerogels. Here we report results of nuclear magnetic resonance (NMR) experiments with liquid $^3$He confined in anisotropic aerogels with different types of anisotropy (nematic and planar aerogels). Strands of aerogels in pure $^3$He are covered by a few atomic layers of paramagnetic solid $^3$He which magnetization follows the Curie-Weiss law. We have found that in our samples the NMR shift in solid $^3$He is clearly seen at ultralow temperatures and depends on value and orientation of the magnetic field. The obtained results are well described by a model of a system of non-interacting paramagnetic cylinders. The shift is proportional to the magnetization of solid $^3$He and may complicate NMR experiments with superfluid $^3$He in aerogel.


title: Non-perturbative renormalization and O$(a)$-improvement of the non-singlet vector current with $N_{\mathrm{f}}=2+1$ Wilson fermions and tree-level Symanzik improved gauge action

abstract: In calculating hadronic contributions to precision observables for tests of the Standard Model in lattice QCD, the electromagnetic current plays a central role. Using a Wilson action with O($a$) improvement in QCD with $N_{\mathrm{f}}$ flavors, a counterterm must be added to the vector current in order for its on-shell matrix elements to be O($a$) improved. In addition, the local vector current, which has support on one lattice site, must be renormalized. At O($a$), the breaking of the SU($N_{\mathrm{f}}$) symmetry by the quark mass matrix leads to a mixing between the local currents of different quark flavors. We present a non-perturbative calculation of all the required improvement and renormalization constants needed for the local and the conserved electromagnetic current in QCD with $N_{\mathrm{f}}=2+1$ O($a$)-improved Wilson fermions and tree-level Symanzik improved gauge action, with the exception of one coefficient, which we show to be order $g_0^6$ in lattice perturbation theory. The method is based on the vector and axial Ward identities imposed at finite lattice spacing and in the chiral limit. We make use of lattice ensembles generated as part of the Coordinated Lattice Simulations (CLS) initiative.


title: Brain-Inspired Stigmergy Learning

abstract: Stigmergy has proved its great superiority in terms of distributed control, robustness and adaptability, thus being regarded as an ideal solution for large-scale swarm control problems. Based on new discoveries on astrocytes in regulating synaptic transmission in the brain, this paper has mapped stigmergy mechanism into the interaction between synapses and investigated its characteristics and advantages. Particularly, we have divided the interaction between synapses which are not directly connected into three phases and proposed a stigmergic learning model. In this model, the state change of a stigmergy agent will expand its influence to affect the states of others. The strength of the interaction is determined by the level of neural activity as well as the distance between stigmergy agents. Inspired by the morphological and functional changes in astrocytes during environmental enrichment, it is likely that the regulation of distance between stigmergy agents plays a critical role in the stigmergy learning process. Simulation results have verified its importance and indicated that the well-regulated distance between stigmergy agents can help to obtain stigmergy learning gain.


title: Tailored laser pulse chirp to maintain optimum radiation pressure acceleration of ions

abstract: Ion beams generated with ultra-intense lasers-plasma accelerators hold promises to provide compact and affordable beams of relativistic ions. One of the most efficient acceleration setups was demonstrated to be direct acceleration by the laser's radiation pressure. Due to plasma instabilities developing in the ultra-thin foils required for radiation pressure acceleration, however, it is challenging to maintain stable acceleration over long distances. Recent studies demonstrated, on the other hand, that specially tailored laser pulses can shorten the required acceleration distance suppressing the onset of plasma instabilities. Here we extend the concept of specific laser pulse shapes to the experimentally accessible parameter of a frequency chirp. We present a novel analysis of how a laser pulse chirp may be used to drive a foil target constantly maintaining optimal radiation pressure acceleration conditions for in dependence on the target's areal density and the laser's local field strength. Our results indicate that an appropriately frequency chirped laser pulse yields a significantly enhanced acceleration to higher energies and over longer distances suppressing the onset of plasma instabilities.


title: Computer-Assisted Fraud Detection, From Active Learning to Reward Maximization

abstract: The automatic detection of frauds in banking transactions has been recently studied as a way to help the analysts finding fraudulent operations. Due to the availability of a human feedback, this task has been studied in the framework of active learning: the fraud predictor is allowed to sequentially call on an oracle. This human intervention is used to label new examples and improve the classification accuracy of the latter. Such a setting is not adapted in the case of fraud detection with financial data in European countries. Actually, as a human verification is mandatory to consider a fraud as really detected, it is not necessary to focus on improving the classifier. We introduce the setting of 'Computer-assisted fraud detection' where the goal is to minimize the number of non fraudulent operations submitted to an oracle. The existing methods are applied to this task and we show that a simple meta-algorithm provides competitive results in this scenario on benchmark datasets.


title: Duality between static spherically or hyperbolically symmetric solutions and cosmological solutions in scalar-tensor gravity

abstract: We study static spherically and hyperbolically symmetric solutions of the Einstein equations in the presence of a conformally coupled scalar field and compare them with those in the space filled with a minimally coupled scalar field. We then study the Kantowski-Sachs cosmological solutions, which are connected with the static solutions by the duality relations. The main ingredient of these relations is an exchange of roles between the radial and the temporal coordinates, combined with the exchange between the spherical and hyperbolical two-dimensional geometries. A brief discussion of questions such as the relation between the Jordan and the Einstein frames and the description of the singularity crossing is also presented.


title: Contingency Training

abstract: When applied to high-dimensional datasets, feature selection algorithms might still leave dozens of irrelevant variables in the dataset. Therefore, even after feature selection has been applied, classifiers must be prepared to the presence of irrelevant variables. This paper investigates a new training method called Contingency Training which increases the accuracy as well as the robustness against irrelevant attributes. Contingency training is classifier independent. By subsampling and removing information from each sample, it creates a set of constraints. These constraints aid the method to automatically find proper importance weights of the dataset's features. Experiments are conducted with the contingency training applied to neural networks over traditional datasets as well as datasets with additional irrelevant variables. For all of the tests, contingency training surpassed the unmodified training on datasets with irrelevant variables and even outperformed slightly when only a few or no irrelevant variables were present.


title: 2 Higgs Doublet Model Evolver -- Manual

abstract: Two-Higgs-Doublet Model Evolver (2HDME) is a C++ program that provides the functionality to perform fast renormalization group equation running of the general, potentially CP-violating, 2 Higgs Doublet Model at 2-loop order. Simple tree-level calculations of masses; calculations of the oblique parameters S, T and U; different parameterizations of the scalar potential; tests of perturbativity, unitarity and tree-level stability of the scalar potential are also implemented. We briefly describe the 2HDME's structure, provide a demonstration of how to use it and list some of the most useful functions.


title: $p$-adic Gross-Zagier formula at critical slope and a conjecture of Perrin-Riou

abstract: Let $p$ be an odd prime. Given an imaginary quadratic field $K=\mathbb{Q}(\sqrt{-D_K})$ where $p$ splits with $D_K>3$, and a $p$-ordinary newform $f \in S_k(\Gamma_0(N))$ such that $N$ verifies the Heegner hypothesis relative to $K$, we prove a $p$-adic Gross-Zagier formula for the critical slope $p$-stabilization of $f$ (assuming that it is non-$\theta$-critical). In the particular case when $f=f_A$ is the newform of weight $2$ associated to an elliptic curve $A$ that has good ordinary reduction at $p$, this allows us to verify a conjecture of Perrin-Riou. The $p$-adic Gross-Zagier formula we prove has applications also towards the Birch and Swinnerton-Dyer formula for elliptic curves of analytic rank one.


title: Eigenvalue asymptotics for weighted Laplace equations on rough Riemannian manifolds with boundary

abstract: Our topological setting is a smooth compact manifold of dimension two or higher with smooth boundary. Although this underlying topological structure is smooth, the Riemannian metric tensor is only assumed to be bounded and measurable. This is known as a rough Riemannian manifold. For a large class of boundary conditions we demonstrate a Weyl law for the asymptotics of the eigenvalues of the Laplacian associated to a rough metric. Moreover, we obtain eigenvalue asymptotics for weighted Laplace equations associated to a rough metric. Of particular novelty is that the weight function is not assumed to be of fixed sign, and thus the eigenvalues may be both positive and negative. Key ingredients in the proofs were demonstrated by Birman and Solomjak nearly fifty years ago in their seminal work on eigenvalue asymptotics. In addition to determining the eigenvalue asymptotics in the rough Riemannian manifold setting for weighted Laplace equations, we also wish to promote their achievements which may have further applications to modern problems.


title: Characterization of edge states in perturbed honeycomb structures

abstract: This paper is a mathematical analysis of conduction effects at interfaces between insulators. Motivated by work of Haldane-Raghu , we continue the study of a linear PDE initiated in papers of Fefferman-Lee-Thorp-Weinstein. This PDE is induced by a continuous honeycomb Schrodinger operator with a line defect. This operator exhibits remarkable connections between topology and spectral theory. It has essential spectral gaps about the Dirac point energies of the honeycomb background. In a perturbative regime, Fefferman-Lee-Thorp-Weinstein construct edge states: time-harmonic waves propagating along the interface, localized transversely. At leading order, these edge states are adiabatic modulations of the Dirac point Bloch modes. Their envelops solve a Dirac equation that emerges from a multiscale procedure. We develop a scattering-oriented approach that derives all possible edge states, at arbitrary precision. The key component is a resolvent estimate connecting the Schrodinger operator to the emerging Dirac equation. We discuss topological implications via the computation of the spectral flow, or edge index.


title: Rota-Baxter operators on a sum of fields

abstract: We count the number of all Rota-Baxter operators on a finite direct sum $A = F\oplus F\oplus \ldots \oplus F$ of fields and count all of them up to conjugation with an automorphism. We also study Rota-Baxter operators on $A$ corresponding to a decomposition of $A$ into a direct vector space sum of two subalgebras. We show that every algebra structure induced on $A$ by a Rota-Baxter of nonzero weight is isomorphic to $A$.


title: Non-Markovian dynamics of the electronic subsystem in a laser-driven molecule: Characterization and connections with electronic-vibrational entanglement and electronic coherence

abstract: Non-Markovian quantum evolution of the electronic subsystem in a laser-driven molecule is characterized through the appearance of negative decoherence rates in the canonical form of the electronic master equation. For a driven molecular system described in a bipartite Hilbert space H=Hel x Hvib of dimension 2 x Nv, we derive the canonical form of the electronic master equation, deducing the canonical measures of non-Markovianity and the Bloch volume of accessible states. We find that one of the decoherence rates is always negative, accounting for the inherent non-Markovian character of the electronic evolution in the vibrational environment. Enhanced non-Markovian behavior, characterized by two negative decoherence rates, appears if there is a coupling between the electronic states g, e, such that the evolution of the electronic populations obeys d(PgPe)/dt > 0. Non-Markovianity of the electronic evolution is analyzed in relation to temporal behaviors of the electronic-vibrational entanglement and electronic coherence, showing that enhanced non-Markovian behavior accompanies entanglement increase. Taking as an example the coupling of two electronic states by a laser pulse in the Cs2 molecule, we analyze non-Markovian dynamics under laser pulses of various strengths, finding that the weaker pulse stimulates the bigger amount of non-Markovianity. We show that increase of the electronic-vibrational entanglement over a time interval is correlated to the growth of the total amount of non-Markovianity calculated over the same interval using canonical measures and connected with the increase of the Bloch volume. After the pulse, non-Markovian behavior is correlated to electronic coherence, such that vibrational motion in the electronic potentials which diminishes the nuclear overlap, implicitly increasing the linear entropy of entanglement, brings a memory character to dynamics.


title: Stability of planets in triple star systems

abstract: Context: Numerous theoretical studies of the stellar dynamics of triple systems have been carried out, but fewer purely empirical studies that have addressed planetary orbits within these systems. Most of these empirical studies have been for coplanar orbits and with a limited number of orbital parameters. Aims: Our objective is to provide a more generalized empirical mapping of the regions of planetary stability in triples by considering both prograde and retrograde motion of planets and the outer star; investigating highly inclined orbits of the outer star; extending the parameters used to all relevant orbital elements of the triple's stars and expanding these elements and mass ratios to wider ranges that will accommodate recent and possibly future observational discoveries. Methods: Using N-body simulations, we integrated numerically the various four-body configurations over the parameter space, using a symplectic integrator designed specifically for the integration of hierarchical multiple stellar systems. The triples were then reduced to binaries and the integrations repeated to highlight the differences between these two types of system. Results: This established the regions of secular stability and resulted in 24 semi-empirical models describing the stability bounds for planets in each type of triple orbital configuration. The results were then compared with the observational extremes discovered to date to identify regions that may contain undiscovered planets.


title: The fate of axial U(1) in 2+1 flavor QCD towards the chiral limit

abstract: The region of the Columbia plot with two light quark flavors is not yet conclusively understood. Non-perturbative effects, e.g. the magnitude of the anomalous U(1) axial symmetry breaking, decides on the nature of the phase transition in this region. We report on our study of this region of the Columbia plot using lattice techniques. We use gauge field ensembles generated within the Highly Improved Staggered Quark discretization scheme, with the strange quark mass fixed at its physical value and the light quark mass varied such that $m_l=m_s/27$ and $m_s/40$, where $m_l=m_s/27$ corresponds to the physical light quark mass. We study the eigenvalue spectrum of QCD using the overlap Dirac operator on these gauge field ensembles at finite temperature around the chiral transition temperature $T_c$, as the light quark masses approach the chiral limit, and infer about the fate of the anomalous $U_A(1)$ symmetry breaking.


title: A Semi-supervised Spatial Spectral Regularized Manifold Local Scaling Cut With HGF for Dimensionality Reduction of Hyperspectral Images

abstract: Hyperspectral images (HSI) contain a wealth of information over hundreds of contiguous spectral bands, making it possible to classify materials through subtle spectral discrepancies. However, the classification of this rich spectral information is accompanied by the challenges like high dimensionality, singularity, limited training samples, lack of labeled data samples, heteroscedasticity and nonlinearity. To address these challenges, we propose a semi-supervised graph based dimensionality reduction method named `semi-supervised spatial spectral regularized manifold local scaling cut' (S3RMLSC). The underlying idea of the proposed method is to exploit the limited labeled information from both the spectral and spatial domains along with the abundant unlabeled samples to facilitate the classification task by retaining the original distribution of the data. In S3RMLSC, a hierarchical guided filter (HGF) is initially used to smoothen the pixels of the HSI data to preserve the spatial pixel consistency. This step is followed by the construction of linear patches from the nonlinear manifold by using the maximal linear patch (MLP) criterion. Then the inter-patch and intra-patch dissimilarity matrices are constructed in both spectral and spatial domains by regularized manifold local scaling cut (RMLSC) and neighboring pixel manifold local scaling cut (NPMLSC) respectively. Finally, we obtain the projection matrix by optimizing the updated semi-supervised spatial-spectral between-patch and total-patch dissimilarity. The effectiveness of the proposed DR algorithm is illustrated with publicly available real-world HSI datasets.


title: Mimicking alternatives to inflation with interacting spectator fields

abstract: It has been argued that oscillatory features from spectator fields in the primordial power spectrum could be a probe of alternatives to inflation. In this work, we soften this claim by showing that the frequency and amplitude dependence of the patterns appearing in these scenarios could be mimicked by field interactions during inflation. The degeneracy of the frequency holds for the $n$-point correlation functions, while the degeneracy of the amplitude is broken at the level of non-gaussianities.


title: Self Organizing Classifiers: First Steps in Structured Evolutionary Machine Learning

abstract: Learning classifier systems (LCSs) are evolutionary machine learning algorithms, flexible enough to be applied to reinforcement, supervised and unsupervised learning problems with good performance. Recently, self organizing classifiers were proposed which are similar to LCSs but have the advantage that in its structured population no balance between niching and fitness pressure is necessary. However, more tests and analysis are required to verify its benefits. Here, a variation of the first algorithm is proposed which uses a parameterless self organizing map (SOM). This algorithm is applied in challenging problems such as big, noisy as well as dynamically changing continuous input-action mazes (growing and compressing mazes are included) with good performance. Moreover, a genetic operator is proposed which utilizes the topological information of the SOM's population structure, improving the results. Thus, the first steps in structured evolutionary machine learning are shown, nonetheless, the problems faced are more difficult than the state-of-art continuous input-action multi-step ones.


title: Self Organizing Classifiers and Niched Fitness

abstract: Learning classifier systems are adaptive learning systems which have been widely applied in a multitude of application domains. However, there are still some generalization problems unsolved. The hurdle is that fitness and niching pressures are difficult to balance. Here, a new algorithm called Self Organizing Classifiers is proposed which faces this problem from a different perspective. Instead of balancing the pressures, both pressures are separated and no balance is necessary. In fact, the proposed algorithm possesses a dynamical population structure that self-organizes itself to better project the input space into a map. The niched fitness concept is defined along with its dynamical population structure, both are indispensable for the understanding of the proposed method. Promising results are shown on two continuous multi-step problems. One of which is yet more challenging than previous problems of this class in the literature.


title: Analytic Network Learning

abstract: Based on the property that solving the system of linear matrix equations via the column space and the row space projections boils down to an approximation in the least squares error sense, a formulation for learning the weight matrices of the multilayer network can be derived. By exploiting into the vast number of feasible solutions of these interdependent weight matrices, the learning can be performed analytically layer by layer without needing of gradient computation after an initialization. Possible initialization schemes include utilizing the data matrix as initial weights and random initialization. The study is followed by an investigation into the representation capability and the output variance of the learning scheme. An extensive experimentation on synthetic and real-world data sets validates its numerical feasibility.


title: Relativistic quantum reference frames: the operational meaning of spin

abstract: The spin is the prime example of a qubit. Encoding and decoding information in the spin qubit is operationally well defined through the Stern-Gerlach set-up in the non-relativistic (i.e., low velocity) limit. However, an operational definition of the spin in the relativistic regime is missing. The origin of this difficulty lies in the fact that, on the one hand, the spin gets entangled with the momentum in Lorentz-boosted reference frames, and on the other hand, for a particle moving in a superposition of velocities, it is impossible to "jump" to its rest frame, where spin is unambiguously defined. Here, we find a quantum reference frame transformation corresponding to a "superposition of Lorentz boosts," allowing us to transform to the rest frame of a particle that is in a superposition of relativistic momenta with respect to the laboratory frame. This enables us to first move to the particle's rest frame, define the spin measurements there (via the Stern-Gerlach experimental procedure), and then move back to the laboratory frame. In this way, we find a set of "relativistic Stern-Gerlach measurements" in the laboratory frame, and a set of observables satisfying the spin $\mathfrak{su}(2)$ algebra. This operational procedure offers a concrete way of testing the relativistic features of the spin, and opens up the possibility of devising quantum information protocols for spin in the special-relativistic regime.


title: Modeling and Optimal Control of an Octopus Tentacle

abstract: We present a control model for an octopus tentacle, based on the dynamics of an inextensible string with curvature constraints and curvature controls. We derive the equations of motion together with an appropriate set of boundary conditions, and we characterize the corresponding equilibria. The model results in a system of fourth-order evolutive nonlinear controlled PDEs, generalizing the classic Euler's dynamic elastica equation, that we approximate and solve numerically introducing a consistent finite difference scheme. We proceed investigating a reachability optimal control problem associated to our tentacle model. We first focus on the stationary case, by establishing a relation with the celebrated Dubins' car problem. Moreover, we propose an augmented Lagrangian method for its numerical solution. Finally, we address the evolutive case obtaining first order optimality conditions, then we numerically solve the optimality system by means of an adjoint-based gradient descent method.


title: Event-based High Dynamic Range Image and Very High Frame Rate Video Generation using Conditional Generative Adversarial Networks

abstract: Event cameras have a lot of advantages over traditional cameras, such as low latency, high temporal resolution, and high dynamic range. However, since the outputs of event cameras are the sequences of asynchronous events overtime rather than actual intensity images, existing algorithms could not be directly applied. Therefore, it is demanding to generate intensity images from events for other tasks. In this paper, we unlock the potential of event camera-based conditional generative adversarial networks to create images/videos from an adjustable portion of the event data stream. The stacks of space-time coordinates of events are used as inputs and the network is trained to reproduce images based on the spatio-temporal intensity changes. The usefulness of event cameras to generate high dynamic range(HDR) images even in extreme illumination conditions and also non blurred images under rapid motion is also shown.In addition, the possibility of generating very high frame rate videos is demonstrated, theoretically up to 1 million frames per second (FPS) since the temporal resolution of event cameras are about 1{\mu}s. Proposed methods are evaluated by comparing the results with the intensity images captured on the same pixel grid-line of events using online available real datasets and synthetic datasets produced by the event camera simulator.


title: Avoiding conjugacy classes on the 5-letter alphabet

abstract: We construct an infinite word $w$ over the $5$-letter alphabet such that for every factor $f$ of $w$ of length at least two, there exists a cyclic permutation of $f$ that is not a factor of $w$. In other words, $w$ does not contain a non-trivial conjugacy class. This proves the conjecture in Gamard et al. [TCS 2018]


title: Einstein-Maxwell fields with vanishing higher-order corrections

abstract: We obtain a full characterization of Einstein-Maxwell $p$-form solutions $(\boldsymbol{g},\boldsymbol{F})$ in $D$-dimensions for which all higher-order corrections vanish identically. These thus simultaneously solve a large class of Lagrangian theories including both modified gravities and (possibly non-minimally coupled) modified electrodynamics. Specifically, both $\boldsymbol{g}$ and $\boldsymbol{F}$ are fields with vanishing scalar invariants and further satisfy two simple tensorial conditions. They describe a family of gravitational and electromagnetic plane-fronted waves of the Kundt class and of Weyl type III (or more special). The local form of $(\boldsymbol{g},\boldsymbol{F})$ and a few examples are also provided.


title: Wigner - Weyl formalism and the propagator of Wilson fermions in the presence of varying external electromagnetic field

abstract: We develop Wigner - Weyl formalism for the lattice models. For the definiteness we consider Wilson fermions in the presence of $U(1)$ gauge field. The given technique reduces calculation of the two point fermionic Green function to solution of the Groenewold equation. It relates Wigner transformation of the Green function with the Weyl symbol $Q_W$ of Wilson Dirac operator. We derive the simple expression for $Q_W$ in the presence of varying external $U(1)$ gauge field. Next, we solve the Groenewold equation to all orders in powers of the derivatives of $Q_W$. Thus the given technique allows to calculate the fermion propagator in the lattice model with Wilson fermions in the presence of arbitrary background electromagnetic field. The generalization of this method to the other lattice models is straightforward.


title: Contextual and Granular Policy Enforcement in Database-backed Applications

abstract: Database-backed applications rely on inlined policy checks to process users' private and confidential data in a policy-compliant manner as traditional database access control mechanisms cannot enforce complex policies. However, application bugs due to missed checks are common in such applications, which result in data breaches. While separating policy from code is a natural solution, many data protection policies specify restrictions based on the context in which data is accessed and how the data is used. Enforcing these restrictions automatically presents significant challenges, as the information needed to determine context requires a tight coupling between policy enforcement and an application's implementation. We present Estrela, a framework for enforcing contextual and granular data access policies. Working from the observation that API endpoints can be associated with salient contextual information in most database-backed applications, Estrela allows developers to specify API-specific restrictions on data access and use. Estrela provides a clean separation between policy specification and the application's implementation, which facilitates easier auditing and maintenance of policies. Policies in Estrela consist of pre-evaluation and post-evaluation conditions, which provide the means to modulate database access before a query is issued, and to impose finer-grained constraints on information release after the evaluation of query, respectively. We build a prototype of Estrela and apply it to retrofit several real world applications (from 1000-80k LOC) to enforce different contextual policies. Our evaluation shows that Estrela can enforce policies with minimal overheads.


title: The effective dynamics of loop quantum $R^2$ cosmology

abstract: The effective dynamics of loop quantum $f (R)$ cosmology in Jordan frame is considered by using the dynamical system method and numerical method. To make the analyze in detail, we focus on $R^2$ model since it is simple and favored from observations. In classical theory, $(\phi = 1, \dot{\phi} = 0)$ is the unique fixed point in both contracting and expanding states, and all solutions are either starting from the fixed point or evolving to the fixed point; while in loop theory, there exists a new fixed point (saddle point) at $(\phi \simeq 2 / 3,\dot{\phi} = 0)$ in contracting state. We find the two critical solutions starting from the saddle point control the evolution of the solutions starting from the fixed point $(\phi = 1, \dot{\phi} = 0)$ to bounce at small values of scalar field in $0 <\phi < 1$. Other solutions, including the large field inflation solutions, all have the history with $\phi < 0$ which we think of as a problem of the effective theory of loop quantum $f(R)$ theory. Another different thing from loop quantum cosmology with Einstein-Hilbert action is that there exist many solutions do not have bouncing behavior.


title: A plausible explanation of $\Upsilon(10860)$

abstract: We show that a good description of the $\Upsilon(10860)$ properties, in particular the mass, the $e^+ e^-$ leptonic widths and the $\pi^{+}\pi^{-}\Upsilon(ns)$$\ (n=1,2,3)$ production rates, can be obtained under the assumption that $\Upsilon(10860)$ is a mixing of the conventional $\Upsilon(5s)$ quark model state with the lowest $P-$ wave hybrid state.


title: A Fast Randomized Geometric Algorithm for Computing Riemann-Roch Spaces

abstract: We propose a probabilistic variant of Brill-Noether's algorithm for computing a basis of the Riemann-Roch space $L(D)$ associated to a divisor $D$ on a projective nodal plane curve $\mathcal C$ over a sufficiently large perfect field $k$. Our main result shows that this algorithm requires at most $O(\max(\mathrm{deg}(\mathcal C)^{2\omega}, \mathrm{deg}(D_+)^\omega))$ arithmetic operations in $k$, where $\omega$ is a feasible exponent for matrix multiplication and $D_+$ is the smallest effective divisor such that $D_+\geq D$. This improves the best known upper bounds on the complexity of computing Riemann-Roch spaces. Our algorithm may fail, but we show that provided that a few mild assumptions are satisfied, the failure probability is bounded by $O(\max(\mathrm{deg}(\mathcal C)^4, \mathrm{deg}(D_+)^2)/\lvert \mathcal E\rvert)$, where $\mathcal E$ is a finite subset of $k$ in which we pick elements uniformly at random. We provide a freely available C++/NTL implementation of the proposed algorithm and we present experimental data. In particular, our implementation enjoys a speedup larger than 6 on many examples (and larger than 200 on some instances over large finite fields) compared to the reference implementation in the Magma computer algebra system. As a by-product, our algorithm also yields a method for computing the group law on the Jacobian of a smooth plane curve of genus $g$ within $O(g^\omega)$ operations in $k$, which equals the best known complexity for this problem.


title: A general framework for handling commitment in online throughput maximization

abstract: We study a fundamental online job admission problem where jobs with deadlines arrive online over time at their release dates, and the task is to determine a preemptive single-server schedule which maximizes the number of jobs that complete on time. To circumvent known impossibility results, we make a standard slackness assumption by which the feasible time window for scheduling a job is at least $1+\varepsilon$ times its processing time, for some $\varepsilon>0$. We quantify the impact that different provider commitment requirements have on the performance of online algorithms. Our main contribution is one universal algorithmic framework for online job admission both with and without commitments. Without commitment, our algorithm with a competitive ratio of $O(1/\varepsilon)$ is the best possible (deterministic) for this problem. For commitment models, we give the first non-trivial performance bounds. If the commitment decisions must be made before a job's slack becomes less than a $\delta$-fraction of its size, we prove a competitive ratio of $O(\varepsilon/((\varepsilon-\delta)\delta^2))$, for $0<\delta<\varepsilon$. When a provider must commit upon starting a job, our bound is $O(1/\varepsilon^2)$. Finally, we observe that for scheduling with commitment the restriction to the `unweighted' throughput model is essential; if jobs have individual weights, we rule out competitive deterministic algorithms.


title: P\'eclet number governs transition to acceleratory restart in drift-diffusion

abstract: First-passage processes can be divided in two classes: those that are accelerated by the introduction of restart and those that display an opposite response. In physical systems, a transition between the two classes may occur as governing parameters are varied to cross a universal tipping point. However, a fully tractable model system to teach us how this transition unfolds is still lacking. To bridge this gap, we quantify the effect of stochastic restart on the first-passage time of a drift-diffusion process to an absorbing boundary. There, we find that the transition is governed by the P\'eclet number ($Pe$) --- the ratio between the rates of advective and diffusive transport. When $Pe>1$ the process is drift-controlled and restart can only hinder its completion. In contrast, when $0\leq~Pe<1$ the process is diffusion-controlled and restart can speed-up its completion by a factor of $\sim1/Pe$. Such speedup occurs when the process is restarted at an optimal rate $r^{\star}\simeq r_0^{\star}\left(1-Pe\right)$, where $r_0^{\star}$ stands for the optimal restart rate in the pure-diffusion limit. The transition considered herein stands at the core of restart phenomena and is relevant to a large variety of processes that are driven to completion in the presence of noise. Each of these processes has unique characteristics, but our analysis reveals that the restart transition resembles other phase transitions --- some of its central features are completely generic.


title: On generalized equilogical spaces

abstract: In this paper we carry the construction of equilogical spaces into an arbitrary category $\mathsf{X}$ topological over $\mathsf{Set}$, introducing the category $\mathsf{X}$-$\mathsf{Equ}$ of equilogical objects. Similar to what is done for the category $\mathsf{Top}$ of topological spaces and continuous functions, we study some features of the new category as (co)completeness and regular (co-)well-poweredness, as well as the fact that, under some conditions, it is a quasitopos. We achieve these various properties of the category $\mathsf{X}$-$\mathsf{Equ}$ by representing it as a category of partial equilogical objects, as a reflective subcategory of the exact completion $\mathsf{X}_{_{{\rm ex}}}$, and as the regular completion $\mathsf{X}_{_{{\rm reg}}}$. We finish with examples in the particular cases, amongst others, of ordered, metric, and approach spaces, which can all be described using the $(\mathbb{T},\mathsf{V})$-$\mathsf{Cat}$ setting.


title: Geometry of Friston's active inference

abstract: We reconstruct Karl Friston's active inference and give a geometrical interpretation of it.


title: Quantum Networks with Deterministic Spin-Photon Interfaces

abstract: We consider how recent experimental progress on deterministic solid state spin-photon interfaces enable the construction of a number of key elements of quantum networks. After reviewing some of the recent experimental achievements, we discuss their integration into Bell state analyzers, quantum non-demolition detection, and photonic cluster state generation. Finally, we outline how these elements can be used for long-distance entanglement generation and quantum key distribution in a quantum network.


title: On Characterizations of Metric Regularity of Multi-valued Maps

abstract: We provide a new proof along the lines of the recent book of A. Ioffe of a 1990's result of H. Frankowska showing that metric regularity of a multi-valued map can be characterized by regularity of its contingent variation - a notion extending contingent derivative.