title: Passivity-based control of mechanical systems with linear damping identification

abstract: We propose a control approach for a class of nonlinear mechanical systems to stabilize the system under study while ensuring that the oscillations of the transient response are reduced. The approach is twofold: (i) we apply our technique for linear viscous damping identification of the system to improve the accuracy of the selected control technique, and (ii) we implement a passivity-based controller to stabilize and reduce the oscillations by selecting the control parameters properly in accordance with the identified damping. Moreover, we provide an analysis for a particular passivity-based control approach that has been shown successfully for reducing such oscillations. Also, we validate the methodology by implementing it experimentally in a planar manipulator.


title: Search for dark matter annihilation in the dwarf irregular galaxy WLM with H.E.S.S

abstract: We search for an indirect signal of dark matter through very high-energy gamma rays from the Wolf-Lundmark-Melotte (WLM) dwarf irregular galaxy. The pair annihilation of dark matter particles would produce Standard Model particles in the final state such as gamma rays, which might be detected by ground-based Cherenkov telescopes. Dwarf irregular galaxies represent promising targets as they are dark matter dominated objects with well measured kinematics and small uncertainties on their dark matter distribution profiles. In 2018, the H.E.S.S. five-telescope array observed the dwarf irregular galaxy WLM for 18 hours. We present the first analysis based on data obtained from an imaging atmospheric Cherenkov telescope for this subclass of dwarf galaxy. As we do not observe any significant excess in the direction of WLM, we interpret the result in terms of constraints on the velocity-weighted cross section for dark matter pair annihilation as a function of the dark matter particle mass for various continuum channels as well as the prompt gamma-gamma emission. For the $\tau^+\tau^-$ channel the limits reach a $\langle \sigma v \rangle$ value of about $4\times 10^{-22}$ cm3s-1 for a dark matter particle mass of 1 TeV. For the prompt gamma-gamma channel, the upper limit reaches a $\langle \sigma v \rangle$ value of about $5 \times10^{-24}$ cm3s-1 for a mass of 370 GeV. These limits represent an improvement of up to a factor 200 with respect to previous results for the dwarf irregular galaxies for TeV dark matter search.


title: A Spin $1/2$ Fermions Chain with $XY$ Interaction

abstract: We consider a chain of spinful fermions with nearest neighbor hopping in the presence of a $XY$ antiferromagnetic interaction. The $XY$ term is mapped onto a Kitaev chain at half-filling such that displays a bosonic zero mode topologically protected and long-range order. As the strength of the hopping amplitude is changed, the system undergoes a quantum phase transition from the topological non-trivial to the trivial phase. We apply the finite-size scaling method to determinate the phase diagram of the model.


title: Valley polarization of trions in monolayer MoSe$_2$ interfaced with bismuth iron garnet

abstract: Interfacing atomically thin van der Waals semiconductors with magnetic substrates enables additional control on their intrinsic valley degree of freedom and provides a promising platform for the development of novel valleytronic devices for information processing and storage. Here we study circularly polarized photoluminescence in heterostructures of monolayer MoSe$_2$ and thin films of ferrimagnetic bismuth iron garnet. We observe strong emission from charged excitons with negative valley polarization, which switches sign with increasing temperature, and demonstrate contrasting response to left and right circularly polarized excitation, associated with finite out-of-plane magnetization in the substrate. We propose a theoretical model accounting for magnetization-induced imbalance of charge carriers in the two valleys of MoSe$_2$, as well as for valley-switching scattering from B to A excitons and fast formation of trions with extended valley relaxation times, which shows excellent agreement with the experimental data. Our results provide new insights into valley physics in 2D semiconductors interfaced with magnetic substrates.


title: An Autonomous Drone for Search and Rescue in Forests using Airborne Optical Sectioning

abstract: Drones will play an essential role in human-machine teaming in future search and rescue (SAR) missions. We present a first prototype that finds people fully autonomously in densely occluded forests. In the course of 17 field experiments conducted over various forest types and under different flying conditions, our drone found 38 out of 42 hidden persons; average precision was 86% for predefined flight paths, while adaptive path planning (where potential findings are double-checked) increased confidence by 15%. Image processing, classification, and dynamic flight-path adaptation are computed onboard in real-time and while flying. Our finding that deep-learning-based person classification is unaffected by sparse and error-prone sampling within one-dimensional synthetic apertures allows flights to be shortened and reduces recording requirements to one-tenth of the number of images needed for sampling using two-dimensional synthetic apertures. The goal of our adaptive path planning is to find people as reliably and quickly as possible, which is essential in time-critical applications, such as SAR. Our drone enables SAR operations in remote areas without stable network coverage, as it transmits to the rescue team only classification results that indicate detections and can thus operate with intermittent minimal-bandwidth connections (e.g., by satellite). Once received, these results can be visually enhanced for interpretation on remote mobile devices.


title: Inductive rectilinear frame dragging and local coupling to the gravitational field of the universe

abstract: There is a drag force on objects moving in the background cosmological metric, known from galaxy cluster dynamics. The force is quite small over laboratory timescales, yet it applies in principle to all moving bodies in the universe. It means it is possible for matter to exchange momentum and energy with the gravitational field of the universe, and that the cosmological metric can be determined in principle from local measurements on moving bodies. The drag force can be understood as inductive rectilinear frame dragging. This dragging force exists in the rest frame of a moving object, and arises from the off-diagonal components induced in the boosted-frame metric. Unlike the Kerr metric or other typical frame-dragging geometries, cosmological inductive dragging occurs at uniform velocity, along the direction of motion, and dissipates energy. Proposed gravito-magnetic invariants formed from contractions of the Riemann tensor do not appear to capture inductive dragging effects, and this might be the first identification of inductive rectilinear dragging.


title: Efficient Peer Effects Estimators with Group Effects

abstract: We study linear peer effects models where peers interact in groups, individual's outcomes are linear in the group mean outcome and characteristics, and group effects are random. Our specification is motivated by the moment conditions imposed in Graham 2008. We show that these moment conditions can be cast in terms of a linear random group effects model and lead to a class of GMM estimators that are generally identified as long as there is sufficient variation in group size. We also show that our class of GMM estimators contains a Quasi Maximum Likelihood estimator (QMLE) for the random group effects model, as well as the Wald estimator of Graham 2008 and the within estimator of Lee 2007 as special cases. Our identification results extend insights in Graham 2008 that show how assumptions about random group effects as well as variation in group size can be used to overcome the reflection problem in identifying peer effects. Our QMLE and GMM estimators accommodate additional covariates and are valid in situations with a large but finite number of different group sizes or types. Because our estimators are general moment based procedures, using instruments other than binary group indicators in estimation is straight forward. Our QMLE estimator accommodates group level covariates in the spirit of Mundlak and Chamberlain and offers an alternative to fixed effects specifications. Monte-Carlo simulations show that the bias of the QMLE estimator decreases with the number of groups and the variation in group size, and increases with group size. We also prove the consistency and asymptotic normality of the estimator under reasonable assumptions.


title: A Multiobjective State Transition Algorithm Based on Decomposition

abstract: Aggregation functions largely determine the convergence and diversity performance of multi-objective evolutionary algorithms in decomposition methods. Nevertheless, the traditional Tchebycheff function does not consider the matching relationship between the weight vectors and candidate solutions. In this paper, the concept of matching degree is proposed which employs vectorial angles between weight vectors and candidate solutions. Based on the matching degree, a new modified Tchebycheff aggregation function is proposed, which integrates matching degree into the Tchebycheff aggregation function. Moreover, the proposed decomposition method has the same functionality with the Tchebycheff aggregation function. Based on the proposed decomposition approach, a new multiobjective optimization algorithm named decomposition-based multi-objective state transition algorithm is proposed. Relevant experimental results show that the proposed algorithm is highly competitive in comparison with other state-of-the-art multiobjetive optimization algorithms.


title: Bayesian Optimistic Optimisation with Exponentially Decaying Regret

abstract: Bayesian optimisation (BO) is a well-known efficient algorithm for finding the global optimum of expensive, black-box functions. The current practical BO algorithms have regret bounds ranging from $\mathcal{O}(\frac{logN}{\sqrt{N}})$ to $\mathcal O(e^{-\sqrt{N}})$, where $N$ is the number of evaluations. This paper explores the possibility of improving the regret bound in the noiseless setting by intertwining concepts from BO and tree-based optimistic optimisation which are based on partitioning the search space. We propose the BOO algorithm, a first practical approach which can achieve an exponential regret bound with order $\mathcal O(N^{-\sqrt{N}})$ under the assumption that the objective function is sampled from a Gaussian process with a Mat\'ern kernel with smoothness parameter $\nu > 4 +\frac{D}{2}$, where $D$ is the number of dimensions. We perform experiments on optimisation of various synthetic functions and machine learning hyperparameter tuning tasks and show that our algorithm outperforms baselines.


title: Lagrangian based heat conduction

abstract: Based on the Lagrangian description of the dissipative oscillator, the Hamiltonian description of Fourier heat conduction is treated here. The method enables us to calculate the solution of thermal propagation involving the Maxwell-Cattaneo-Vernotte (MCV) telegrapher type also, in which both the initial and the boundary conditions are taken into account. The presented study offers a new kind of solution to certain partial differential equations.


title: Asymptotic Analysis of q-Recursive Sequences

abstract: For an integer $q\ge2$, a $q$-recursive sequence is defined by recurrence relations on subsequences of indices modulo some powers of~$q$. In this article, $q$-recursive sequences are studied and the asymptotic behavior of their summatory functions is analyzed. It is shown that every $q$-recursive sequence is $q$-regular in the sense of Allouche and Shallit and that a $q$-linear representation of the sequence can be computed easily by using the coefficients from the recurrence relations. Detailed asymptotic results for $q$-recursive sequences are then obtained based on a general result on the asymptotic analysis of $q$-regular sequences. Three particular sequences are studied in detail: We discuss the asymptotic behavior of the summatory functions of Stern's diatomic sequence, the number of non-zero elements in some generalized Pascal's triangle and the number of unbordered factors in the Thue--Morse sequence. For the first two sequences, our analysis even leads to precise formul\ae{} without error terms.


title: Geometrical Characterization of Sensor Placement for Cone-Invariant and Multi-Agent Systems against Undetectable Zero-Dynamics Attacks

abstract: Undetectable attacks are an important class of malicious attacks threatening the security of cyber-physical systems, which can modify a system's state but leave the system output measurements unaffected, and hence cannot be detected from the output. This paper studies undetectable attacks on cone-invariant systems and multi-agent systems. We first provide a general characterization of zero-dynamics attacks, which characterizes fully undetectable attacks targeting the non-minimum phase zeros of a system. This geometrical characterization makes it possible to develop a defense strategy seeking to place a minimal number of sensors to detect and counter the zero-dynamics attacks on the system's actuators. The detect and defense scheme amounts to computing a set containing potentially vulnerable actuator locations and nodes, and a defense union for feasible placement of sensors based on the geometrical properties of the cones under consideration.


title: Quantum indistinguishability through exchangeable desirable gambles

abstract: Two particles are identical if all their intrinsic properties, such as spin and charge, are the same, meaning that no quantum experiment can distinguish them. In addition to the well known principles of quantum mechanics, understanding systems of identical particles requires a new postulate, the so called symmetrization postulate. In this work, we show that the postulate corresponds to exchangeability assessments for sets of observables (gambles) in a quantum experiment, when quantum mechanics is seen as a normative and algorithmic theory guiding an agent to assess her subjective beliefs represented as (coherent) sets of gambles. Finally, we show how sets of exchangeable observables (gambles) may be updated after a measurement and discuss the issue of defining entanglement for indistinguishable particle systems.


title: Some remarks on the Maslov index

abstract: It is a classical fact that Wall's index of a triplet of Lagrangians in a symplectic space over a field $k$ defines a $2$-cocycle $\mu_W$ on the associated symplectic group with values in the Witt group of $k$. Moreover, modulo the square of the fundamental ideal this is a trivial $2$-cocycle. In this work we revisit this fact from the viewpoint of the theory of Sturm sequences and Sylvester matrices developed by J.~Barge and J.~Lannes in teir book Suites de Sturm, indice de Maslov et p\'eriodicit\'e de Bott, volume 267 of Progress in Mathematics. Birkh\"auser Verlag, Basel, 2008. We define a refinement by a factor of $2$ of Wall's cocycle and use the technology of Sylvester matrices to give an explicit formula for the coboundary associated to the mod $I^2$ reduction of the cocycle which is valid for any field of characteristic different from $2$. Finally we explicitly compute the values of the coboundary on standard elements of the symplectic group.


title: Quantum Teleportation between Remote Qubit Memories with Only a Single Photon as a Resource

abstract: Quantum teleportation enables the deterministic exchange of qubits via lossy channels. While it is commonly believed that unconditional teleportation requires a preshared entangled qubit pair, here we demonstrate a protocol that is in principle unconditional and requires only a single photon as an ex-ante prepared resource. The photon successively interacts, first, with the receiver and then with the sender qubit memory. Its detection, followed by classical communication, heralds a successful teleportation. We teleport six mutually unbiased qubit states with average fidelity $\overline{\text{F}}=(88.3\pm1.3)\%$ at a rate of $6\,\mathrm{Hz}$ over $60\,\mathrm{m}$.


title: DefSent: Sentence Embeddings using Definition Sentences

abstract: Sentence embedding methods using natural language inference (NLI) datasets have been successfully applied to various tasks. However, these methods are only available for limited languages due to relying heavily on the large NLI datasets. In this paper, we propose DefSent, a sentence embedding method that uses definition sentences from a word dictionary, which performs comparably on unsupervised semantics textual similarity (STS) tasks and slightly better on SentEval tasks than conventional methods. Since dictionaries are available for many languages, DefSent is more broadly applicable than methods using NLI datasets without constructing additional datasets. We demonstrate that DefSent performs comparably on unsupervised semantics textual similarity (STS) tasks and slightly better on SentEval tasks to the methods using large NLI datasets. Our code is publicly available at https://github.com/hpprc/defsent .


abstract: Major accidents (e.g., the Space Shuttle Challenger disaster in the USA, the Bhopal Disaster in India, Fukushima nuclear accident in Japan, Tianjin Port fire and explosion accident in China) have occurred all over the world. Safety scientists are always trying to understand why these accidents happened and how to prevent these accidents. Accident models and theories form the basis for many safety research fields and practices such as investigation of accidents, design of a safer system and decision making on safety related field. There is no universally accepted model with useful elements relating to understanding accident causation, although many accident causation models exist. Based on STAMP and RMF, we proposed a new theory named the Interaction Theory of Hazard-Target System (ITHTS) that incorporate human, organisational and technological characteristics in the same framework. Accident analysis methods provide the necessary information to analysis the accident in a specific setting. In order to solve the issues that current accident analysis methods still face, we proposed a new systemic accident analysis method based on ITHTS and STPA. We choose Tianjin Port fire and explosion accident in China as a case study to demonstrate the viability of the Interaction Theory of Hazard-target System and the applicability of the new accident analysis method. It is concluded that ITHTS can explain the phenomena in safety practice and the new accident analysis method can be application in the explanation and analysis of major accident.


title: Quantum networks based on color centers in diamond

abstract: With the ability to transfer and process quantum information, large-scale quantum networks will enable a suite of fundamentally new applications, from quantum communications to distributed sensing, metrology, and computing. This perspective reviews requirements for quantum network nodes and color centers in diamond as suitable node candidates. We give a brief overview of state-of-the-art quantum network experiments employing color centers in diamond, and discuss future research directions, focusing in particular on the control and coherence of qubits that distribute and store entangled states, and on efficient spin-photon interfaces. We discuss a route towards large-scale integrated devices combining color centers in diamond with other photonic materials and give an outlook towards realistic future quantum network protocol implementations and applications.


title: Exploring open-ended gameplay features with Micro RollerCoaster Tycoon

abstract: This paper introduces MicroRCT, a novel open source simulator inspired by the theme park sandbox game RollerCoaster Tycoon. The goal in MicroRCT is to place rides and shops in an amusement park to maximize profit earned from park guests. Thus, the challenges for game AI include both selecting high-earning attractions and placing them in locations that are convenient to guests. In this paper, the MAP-Elites algorithm is used to generate a diversity of park layouts, exploring two theoretical questions about evolutionary algorithms and game design: 1) Is there a benefit to starting from a minimal starting point for evolution and complexifying incrementally? and 2) What are the effects of resource limitations on creativity and optimization? Results indicate that building from scratch with no costs results in the widest diversity of high-performing designs.


title: Concentration phenomena for fractional magnetic NLS equations

abstract: We study the multiplicity and concentration of complex valued solutions for a fractional magnetic Schr\"odinger equation involving a scalar continuous electric potential satisfying a local condition and a continuous nonlinearity with subcritical growth. The main results are obtained by applying a penalization technique, generalized Nehari manifold method and Ljusternik-Schnirelman theory. We also prove a Kato's inequality for the fractional magnetic Laplacian which we believe to be useful in the study of other fractional magnetic problems.


title: Data-driven Langevin modeling of nonequilibrium processes

abstract: Given nonstationary data from molecular dynamics simulations, a Markovian Langevin model is constructed that aims to reproduce the time evolution of the underlying process. While at equilibrium the free energy landscape is sampled, nonequilibrium processes can be associated with a biased energy landscape, which accounts for finite sampling effects and external driving. Extending the data-driven Langevin equation (dLE) approach [Phys.\ Rev.\ Lett.\ {\bf 115}, 050602 (2015)] to the modeling of nonequilibrium processes, an efficient way to calculate multidimensional Langevin fields is outlined. The dLE is shown to correctly account for various nonequilibrium processes, including the enforced dissociation of sodium chloride in water, the pressure-jump induced nucleation of a liquid of hard spheres, and the conformational dynamics of a helical peptide sampled from nonstationary short trajectories.


title: Prospects for diffractive dijet photoproduction at the EIC

abstract: We discuss the prospects of diffractive dijet photoproduction at the EIC to distinguish different fits of diffractive proton PDFs, different schemes of factorization breaking, to determine diffractive nuclear PDFs and pion PDFs from leading neutron production.


title: Time crystals made of electron-positron pairs

abstract: It is shown that in the greatly simplified model of the mutually interacting electron-positron pairs and the electric field time-crystal structures can spontaneously form. For a special choice of parameters we find a periodic modulation of the pair number and the electric field.


title: Representatives for unipotent classes and nilpotent orbits

abstract: Let $G$ be a simple algebraic group over an algebraically closed field $k$ of characteristic $p$. The classification of the conjugacy classes of unipotent elements of $G(k)$ and nilpotent orbits of $G$ on $\operatorname{Lie}(G)$ is well-established. One knows there are representatives of every unipotent class as a product of root group elements and every nilpotent orbit as a sum of root elements. We give explicit representatives in terms of a Chevalley basis for the eminent classes. A unipotent (resp. nilpotent) element is said to be eminent if it is not contained in any subsystem subgroup (resp. subalgebra), or a natural generalisation if $G$ is of type $D_n$. From these representatives, it is straightforward to generate representatives for any given class. Along the way we also prove recognition theorems for identifying both the unipotent classes and nilpotent orbits of exceptional algebraic groups.


title: A Case against a Significant Detection of Precession in the Galactic Warp

abstract: Recent studies of warp kinematics using Gaia DR2 data have produced detections of warp precession for the first time, which greatly exceeds theoretical predictions of models. However, this detection assumes a warp model derived for a young population (few tens of megayears) to fit velocities of an average older stellar population of the thin disk (several gigayears) in Gaia-DR2 observations, which may lead to unaccounted systematic errors. Here, we recalculate the warp precession with the same approach and Gaia DR2 kinematic data, but using different warp parameters based on the fit of star counts of the Gaia DR2 sample, which has a much lower warp amplitude than the young population. When we take into account this variation of the warp amplitude with the age of the population, we find that there is no need for precession. We find the value of warp precession $\beta = 4^{+6}_{-4}$ km s$^{-1}$ kpc$^{-1}$, which does not exclude nonprecessing warp.


title: Generative Adversarial Registration for Improved Conditional Deformable Templates

abstract: Deformable templates are essential to large-scale medical image registration, segmentation, and population analysis. Current conventional and deep network-based methods for template construction use only regularized registration objectives and often yield templates with blurry and/or anatomically implausible appearance, confounding downstream biomedical interpretation. We reformulate deformable registration and conditional template estimation as an adversarial game wherein we encourage realism in the moved templates with a generative adversarial registration framework conditioned on flexible image covariates. The resulting templates exhibit significant gain in specificity to attributes such as age and disease, better fit underlying group-wise spatiotemporal trends, and achieve improved sharpness and centrality. These improvements enable more accurate population modeling with diverse covariates for standardized downstream analyses and easier anatomical delineation for structures of interest.


title: tFold-TR: Combining Deep Learning Enhanced Hybrid Potential Energy for Template-Based Modeling Structure Refinement

abstract: Protein structure prediction has been a grand challenge for over 50 years, owing to its broad scientific and application interests. There are two primary types of modeling algorithms, template-free modeling and template-based modeling. The latter one is suitable for easy prediction tasks and is widely adopted in computer-aided drug discoveries for drug design and screening. Although it has been several decades since its first edition, the current template-based modeling approach suffers from two critical problems: 1) there are many missing regions in the template-query sequence alignment, and 2) the accuracy of the distance pairs from different regions of the template varies, and this information is not well introduced into the modeling. To solve these two problems, we propose a structural optimization process based on template modeling, introducing two neural network models to predict the distance information of the missing regions and the accuracy of the distance pairs of different regions in the template modeling structure. The predicted distances and residue pairwise-specific deviations are incorporated into the potential energy function for structural optimization, which significantly improves the qualities of the original template modeling decoys.


title: Attacks on a Privacy-Preserving Publish-Subscribe System and a Ride-Hailing Service

abstract: A privacy-preserving Context-Aware Publish-Subscribe System (CA-PSS) enables an intermediary (broker) to match the content from a publisher and the subscription by a subscriber based on the current context while preserving confidentiality of the subscriptions and notifications. While a privacy-preserving Ride-Hailing Service (RHS) enables an intermediary (service provider) to match a ride request with a taxi driver in a privacy-friendly manner. In this work, we attack a privacy-preserving CA-PSS proposed by Nabeel et al. (2013), where we show that any entity in the system including the broker can learn the confidential subscriptions of the subscribers. We also attack a privacy-preserving RHS called lpRide proposed by Yu et al. (2019), where we show that any rider/driver can efficiently recover the secret keys of all other riders and drivers. Also, we show that any rider/driver will be able to learn the location of any rider. The attacks are based on our cryptanalysis of the modified Paillier cryptosystem proposed by Nabeel et al. that forms a building block for both the above protocols.


title: A non-Archimedean analogue of Campana's notion of specialness

abstract: Let $K$ be an algebraically closed, complete, non-Archimedean valued field of characteristic zero, and let $\mathscr{X}$ be a $K$-analytic space (in the sense of Huber). In this work, we pursue a non-Archimedean characterization of Campana's notion of specialness. We say $\mathscr{X}$ is $K$-analytically special if there exists a connected, finite type algebraic group $G/K$, a dense open subset $\mathscr{U}\subset G^{\text{an}}$ with $\text{codim}(G^{\text{an}}\setminus \mathscr{U}) \geq 2$, and an analytic morphism $\mathscr{U} \to \mathscr{X}$ which is Zariski dense. With this definition, we prove several results which illustrate that this definition correctly captures Campana's notion of specialness in the non-Archimedean setting. These results inspire us to make non-Archimedean counterparts to conjectures of Campana. As preparation for our proofs, we prove auxiliary results concerning the indeterminacy locus of a meromorphic mapping between $K$-analytic spaces, the notion of pseudo-$K$-analytically Brody hyperbolic, and extensions of meromorphic maps from smooth, irreducible $K$-analytic spaces to the analytification of a semi-abelian variety.


title: On the sum of chemical reactions

abstract: It is standard in chemistry to represent a sequence of reactions by a single overall reaction, often called a complex reaction in contrast to an elementary reaction. Photosynthesis $6 \text{CO}_2+6 \text{H}_2\text{O} \to \ \text{C}_6\text{H}_{12}\text{O}_6$ $+\ 6 \text{O}_2$ is an example of such complex reaction. We introduce a mathematical operation that corresponds to summing two chemical reactions. Specifically, we define an associative and non-communicative operation on the product space $\mathbb{N}_0^n\times \mathbb{N}_0^n$ (representing the reactant and the product of a chemical reaction, respectively). The operation models the overall effect of two reactions happening in succession, one after the other. We study the algebraic properties of the operation and apply the results to stochastic reaction networks, in particular to reachability of states, and to reduction of reaction networks.


title: AFINet: Attentive Feature Integration Networks for Image Classification

abstract: Convolutional Neural Networks (CNNs) have achieved tremendous success in a number of learning tasks including image classification. Recent advanced models in CNNs, such as ResNets, mainly focus on the skip connection to avoid gradient vanishing. DenseNet designs suggest creating additional bypasses to transfer features as an alternative strategy in network design. In this paper, we design Attentive Feature Integration (AFI) modules, which are widely applicable to most recent network architectures, leading to new architectures named AFI-Nets. AFI-Nets explicitly model the correlations among different levels of features and selectively transfer features with a little overhead.AFI-ResNet-152 obtains a 1.24% relative improvement on the ImageNet dataset while decreases the FLOPs by about 10% and the number of parameters by about 9.2% compared to ResNet-152.


title: Situated Transition Systems

abstract: We construct a monoidal category of open transition systems that generate material history as transitions unfold, which we call situated transition systems. The material history generated by a composite system is composed of the material history generated by each component. The construction is parameterized by a symmetric strict monoidal category, understood as a resource theory, from which material histories are drawn. We pay special attention to the case in which this category is compact closed. In particular, if we begin with a compact closed category of integers then the resulting situated transition systems can be understood as systems of double-entry bookkeeping accounts.


title: Coconut trees detection and segmentation in aerial imagery using mask region-based convolution neural network

abstract: Food resources face severe damages under extraordinary situations of catastrophes such as earthquakes, cyclones, and tsunamis. Under such scenarios, speedy assessment of food resources from agricultural land is critical as it supports aid activity in the disaster hit areas. In this article, a deep learning approach is presented for the detection and segmentation of coconut tress in aerial imagery provided through the AI competition organized by the World Bank in collaboration with OpenAerialMap and WeRobotics. Maked Region-based Convolutional Neural Network approach was used identification and segmentation of coconut trees. For the segmentation task, Mask R-CNN model with ResNet50 and ResNet1010 based architectures was used. Several experiments with different configuration parameters were performed and the best configuration for the detection of coconut trees with more than 90% confidence factor was reported. For the purpose of evaluation, Microsoft COCO dataset evaluation metric namely mean average precision (mAP) was used. An overall 91% mean average precision for coconut trees detection was achieved.


title: TRAP: The Bait of Rational Players to Solve Byzantine Consensus

abstract: It is impossible to solve the Byzantine consensus problem in an open network of $n$ participants if only $2n/3$ or less of them are correct. As blockchains need to solve consensus, one might think that blockchains need more than $2n/3$ correct participants. But it is yet unknown whether consensus can be solved when less than $2n/3$ participants are correct and $k$ participants are rational players, which misbehave if they can gain the loot. Trading correct participants for rational players may not seem helpful to solve consensus since rational players can misbehave whereas correct participants, by definition, cannot. In this paper, we show that consensus is actually solvable in this model, even with less than $2n/3$ correct participants. The key idea is a baiting strategy that lets rational players pretend to misbehave in joining a coalition but rewards them to betray this coalition before the loot gets stolen. We propose TRAP, a protocol that builds upon recent advances in the theory of accountability to solve consensus as soon as $n>\max\bigl(\frac{3}{2}k+3t,2(k+t)\bigr)$: by assuming that private keys cannot be forged, this protocol is an equilibrium where no coalition of $k$ rational players can coordinate to increase their expected utility regardless of the arbitrary behavior of up to $t$ Byzantine players. Finally, we show that a baiting strategy is necessary and sufficient to solve this, so-called rational agreement problem. First, we show that it is impossible to solve this rational agreement problem without implementing a baiting strategy. Second, the existence of TRAP demonstrates the sufficiency of the baiting strategy. Our TRAP protocol finds applications in blockchains to prevent players from disagreeing, that could otherwise lead to "double spending".


title: Dynamical low-rank approximation for Burgers' equation with uncertainty

abstract: Quantifying uncertainties in hyperbolic equations is a source of several challenges. First, the solution forms shocks leading to oscillatory behaviour in the numerical approximation of the solution. Second, the number of unknowns required for an effective discretization of the solution grows exponentially with the dimension of the uncertainties, yielding high computational costs and large memory requirements. An efficient representation of the solution via adequate basis functions permits to tackle these difficulties. The generalized polynomial chaos (gPC) polynomials allow such an efficient representation when the distribution of the uncertainties is known. These distributions are usually only available for input uncertainties such as initial conditions, therefore the efficiency of this ansatz can get lost during runtime. In this paper, we make use of the dynamical low-rank approximation (DLRA) to obtain a memory-wise efficient solution approximation on a lower dimensional manifold. We investigate the use of the matrix projector-splitting integrator and the unconventional integrator for dynamical low-rank approximation, deriving separate time evolution equations for the spatial and uncertain basis functions, respectively. This guarantees an efficient approximation of the solution even if the underlying probability distributions change over time. Furthermore, filters to mitigate the appearance of spurious oscillations are implemented, and a strategy to enforce boundary conditions is introduced. The proposed methodology is analyzed for Burgers' equation equipped with uncertain initial values represented by a two-dimensional random vector. The numerical results show a reduction of the memory requirements, and that the important characteristics of the original system are well captured.


title: Supersymmetry and multicriticality in a ladder of constrained fermions

abstract: Supersymmetric lattice models of constrained fermions are known to feature exotic phenomena such as superfrustration, with an extensive degeneracy of ground states, the nature of which is however generally unknown. Here we address this issue by considering a superfrustrated model, which we deform from the supersymetric point. By numerically studying its two-parameter phase diagram, we reveal a rich phenomenology. The vicinity of the supersymmetric point features period-4 and period-5 density waves which are connected by a floating phase (incommensurate Luttinger liquid) with smoothly varying density. The supersymmetric point emerges as a multicritical point between these three phases. Inside the period-4 phase we report a valence-bond solid type ground state that persists up to the supersymmetric point. Our numerical data for transitions out of density-wave phases are consistent with the Pokrovsky-Talapov universality class. Furthermore, our analysis unveiled a period-3 phase with a boundary determined by a competition between single and two-particle instabilities accompanied by a doubling of the wavevector of the density profiles along a line in the phase diagram.


title: A translation of the paper: On the question of avoiding the infinite "self-reaction" of the electron, by V. Ambarzumian and D. Ivanenko (1930)

abstract: An attempt is made to avoid the difficulty of the infinite reaction of the electron on itself, which occurs in quantum electrodynamics, by introducing difference equations instead of differential equations. This vision allows the difficulty of the relativistic wave equation emphasised by Klein, for example, to be essentially eliminated.


title: Extension of the single-nonlinear-mode theory by linear attachments and application to exciter-structure interaction

abstract: Under certain conditions, the dynamics of a nonlinear mechanical system can be represented by a single nonlinear modal oscillator. The properties of the modal oscillator can be determined by computational or experimental nonlinear modal analysis. The simplification to a single-nonlinear-mode model facilitates qualitative and global analysis, and substantially reduces the computational effort required for probabilistic methods and design optimization. Important limitations of this theory are that only purely mechanical systems can be analyzed and that the respective nonlinear mode has to be recomputed when the system's structural properties are varied. With the theoretical extension proposed in this work, it becomes feasible to attach linear subsystems to the primary mechanical system, and to approximate the dynamics of this coupled system using only the nonlinear mode of the primary mechanical system. The attachments must be described by linear ordinary or differential-algebraic equations with time-invariant coefficient matrices. The attachments do not need to be of purely mechanical nature, but may contain, for instance, electric, magnetic, acoustic, thermal or aerodynamic models. This considerably extends the range of utility of nonlinear modes to applications as diverse as model updating or vibration energy harvesting. As long as the attachments do not significantly deteriorate the host system's modal deflection shape, it is shown that their effect can be reduced to a complex-valued modal impedance and an imposed modal forcing term. In the present work, the proposed approach is computationally assessed for the analysis of exciter-structure interaction. More specifically, the force drop typically encountered in frequency response testing is revisited.


title: Incorporating the Coulomb potential into a finite, unitary perturbation theory

abstract: We have constructed a perturbation theory to treat interactions that can include the Coulomb interaction, describing a physical problem that is often encountered in nuclear physics. The Coulomb part is not treated perturbatively; the exact solutions are employed. The method is an extension of the results presented in Hoffmann (2021 J. Math. Phys. 62 032105). It is designed to calculate phase shifts directly rather than the full form of the wavefunctions in position space. We present formulas that allow calculation of the phase shifts to second order in the perturbation. The phase shift results to second order, for a short-range potential, were compared with the exact solution, where we found an error of third order in the coupling strength. A different model, meant as a simple approximation of nuclear scattering of a proton on Helium-4 and including a Coulomb potential and a spherical well, was constructed to test the theory. The wavepacket scattering formalism of Hoffmann (2017 J. Phy. B: At. Mol. Opt. Phys 50 215302), known to give everywhere finite results, was employed. We found physically acceptable results and a cross section of the correct order of magnitude.


title: Globally rigid graphs are fully reconstructible

abstract: A $d$-dimensional framework is a pair $(G,p)$, where $G=(V,E)$ is a graph and $p$ is a map from $V$ to $\mathbb{R}^d$. The length of an edge $uv\in E$ in $(G,p)$ is the distance between $p(u)$ and $p(v)$. The framework is said to be globally rigid in $\mathbb{R}^d$ if the graph $G$ and its edge lengths uniquely determine $(G,p)$, up to congruence. A graph $G$ is called globally rigid in $\mathbb{R}^d$ if every $d$-dimensional generic framework $(G,p)$ is globally rigid. In this paper, we consider the problem of reconstructing a graph from the set of edge lengths arising from a generic framework. Roughly speaking, a graph $G$ is strongly reconstructible in $\mathbb{C}^d$ if the set of (unlabeled) edge lengths of any generic framework $(G,p)$ in $d$-space, along with the number of vertices of $G$, uniquely determine both $G$ and the association between the edges of $G$ and the set of edge lengths. It is known that if $G$ is globally rigid in $\mathbb{R}^d$ on at least $d+2$ vertices, then it is strongly reconstructible in $\mathbb{C}^d$. We strengthen this result and show that under the same conditions, $G$ is in fact fully reconstructible in $\mathbb{C}^d$, which means that the set of edge lengths alone is sufficient to uniquely reconstruct $G$, without any constraint on the number of vertices (although still under the assumption that the edge lengths come from a generic realization). As a key step in our proof, we also prove that if $G$ is globally rigid in $\mathbb{R}^d$ on at least $d+2$ vertices, then the $d$-dimensional generic rigidity matroid of $G$ is connected. Finally, we provide new families of fully reconstructible graphs and use them to answer some questions regarding unlabeled reconstructibility posed in recent papers.


title: Ordering leads to multiple fast tracks in simulated collective escape of human crowds

abstract: Elucidating emergent regularities in intriguing crowd dynamics is a fundamental scientific problem arising in multiple fields. In this work, based on the social force model, we simulate the typical scenario of collective escape towards a single exit and reveal the striking analogy of crowd dynamics and crystallisation. With the outflow of the pedestrians, crystalline order emerges in the compact crowd. In this process, the local misalignment and global rearrangement of pedestrians are well rationalized in terms of the characteristic motions of topological defects in the crystal. Exploiting the notions from the physics of crystallisation further reveals the emergence of multiple fast tracks in the collective escape.


title: Development of a Prediction Model for Indoor Rolling Noise

abstract: This work presents a prediction model for rolling noise in multi-story buildings, such as that generated by a rolling delivery trolley. Until now, mechanical excitation in multi-story buildings has been limited to impact sources such as the tapping machine. Rolling noise models have been limited to outdoor sources such as trains and automotive vehicles. The model presented here is able to represent the physical phenomena unique to indoor rolling noise, taking into account influencing factors such as the roughness of the wheel and the floor, the material and geometric properties of the wheel and the floor, the rolling velocity of the trolley, and the load on the trolley. The model may be used as a tool to investigate how different flooring systems (including multi-layer systems) respond to rolling excitation, for the purpose of developing multi-story building solutions which are better equipped to combat this kind of noise source.


title: A rotary plasmonic nanoclock

abstract: One of the fundamental challenges in nanophotonics is to gain full control over nanoscale optical elements. The precise spatiotemporal arrangement determines their interactions and collective behavior. To this end, DNA nanotechnology is employed as an unprecedented tool to create nanophotonic devices with excellent spatial addressability and temporal programmability. However, most of the current DNA-assembled nanophotonic devices can only reconfigure among random or very few defined states. Here, we demonstrate a DNA-assembled rotary plasmonic nanoclock. In this system, a rotor gold nanorod can carry out directional and reversible 360 degree rotation with respect to a stator gold nanorod, transitioning among 16 well-defined configurations powered by DNA fuels. The full-turn rotation process is monitored by optical spectroscopy in real time. We further demonstrate autonomous rotation of the plasmonic nanoclock powered by DNAzyme-RNA interactions. Such assembly approaches pave a viable route towards advanced nanophotonic systems entirely from the bottom-up.


title: Generation of Switchable Singular Beams with Dynamic Metasurfaces

abstract: Singular beams have attracted great attention due to their optical properties and broad applications from light manipulation to optical communications. However, there has been a lack of practical schemes with which to achieve switchable singular beams with sub-wavelength resolution using ultrathin and flat optical devices. In this work, we demonstrate the generation of switchable vector and vortex beams utilizing dynamic metasurfaces at visible frequencies. The dynamic functionality of the metasurface pixels is enabled by the utilization of magnesium nanorods, which possess plasmonic reconfigurability upon hydrogenation and dehydrogenation. We show that switchable vector beams of different polarization states and switchable vortex beams of different topological charges can be implemented through simple hydrogenation and dehydrogenation of the same metasurfaces. Furthermore, we demonstrate a two-cascade metasurface scheme for holographic pattern switching, taking inspiration from orbital angular momentum-shift keying. Our work provides an additional degree of freedom to develop high-security optical elements for anti-counterfeiting applications.


title: DNA nanotechnology for building artificial dynamic systems

abstract: A fundamental design rule that nature has developed for biological machines is the intimate correlation between motion and function. One class of biological machines is molecular motors in living cells, which directly convert chemical energy into mechanical work. They coexist in every eukaryotic cell, but differ in their types of motion, the filaments they bind to, the cargos they carry, as well as the work they perform. Such natural structures offer inspiration and blueprints for constructing DNA-assembled artificial systems, which mimic their functionality. In this article, we describe two groups of cytoskeletal motors, linear and rotary motors. We discuss how their artificial analogues can be built using DNA nanotechnology. Finally, we summarize ongoing research directions and conclude that DNA origami has a bright future ahead.


title: Ligand-dependent nano-mechanical properties of CdSe nanoplatelets: calibrating nanobalances for ligands affinity monitoring

abstract: The influence of ligands on the low frequency vibration of different thicknesses cadmium selenide colloidal nanoplatelets is investigated using resonant low frequency Raman scattering. The strong vibration frequency shifts induced by ligand modifications as well as the sharp spectral linewidths make low frequency Raman scattering a tool of choice to follow ligand exchange as well as the nano-mechanical properties of the NPLs, as evidenced by a carboxylate to thiolate exchange study. Apart from their molecular weight, the nature of the ligands, such as the sulfur to metal bond of thiols, induces a modification of the NPLs as a whole, increasing the thickness by one monolayer. Moreover, as the weight of the ligands increases, the discrepancy between the massload model and the experimental measurements increase. These effects are all the more important when the number of layers is small and can only be explained by a modification of the longitudinal sound velocity. This modification takes its origin in a change of lattice structure of the NPLs, that reflects on its elastic properties. These nanobalances are finally used to characterize ligands affinity with the surface using binary thiols mixtures, illustrating the potential of low frequency Raman scattering to finely characterize nanocrystals surfaces.


title: An improvement of the Hasse-Weil bound for Artin-Schreier curves via cyclotomic function fields

abstract: The corresponding Hasse-Weil bound was a major breakthrough in history of mathematics. It has found many applications in mathematics, coding theory and theoretical computer science. In general, the Hasse-Weil bound is tight and cannot be improved. However, the Hasse-Weil bound is no longer tight when it is applied to some specific classes of curves. One of the examples where the Hasse-Weil bound is not tight is the family of Artin-Schreier curves. Due to various applications of Artin-Schreier curves to coding, cryptography and theoretical computer science, researchers have made great effort to improve the Hasse-Weil bound for Artin-Schreier curves. In this paper, we focus on the number of rational places of the Artin-Schreier curve defined by $y^p-y=f(x)$ over the finite field $\mathbb{F}_q$ of characteristic $p$, where $f(x)$ is a polynomial in $\mathbb{F}_q[x]$. Our road map for attacking this problem works as follows. We first show that the function field $E_f:=\mathbb{F}_q(x,y)$ of the Artin-Schreier curve $y^p-y=f(x)$ is a subfield of some cyclotomic function field. We then make use of the class field theory to prove that the number of points of the curve is upper bounded by a function of a minimum distance of a linear code. By analyzing the minimum distance of this linear code, we can improve the Hasse-Weil bound and Serre bound for Artin-Schreier curves.


title: Poolingformer: Long Document Modeling with Pooling Attention

abstract: In this paper, we introduce a two-level attention schema, Poolingformer, for long document modeling. Its first level uses a smaller sliding window pattern to aggregate information from neighbors. Its second level employs a larger window to increase receptive fields with pooling attention to reduce both computational cost and memory consumption. We first evaluate Poolingformer on two long sequence QA tasks: the monolingual NQ and the multilingual TyDi QA. Experimental results show that Poolingformer sits atop three official leaderboards measured by F1, outperforming previous state-of-the-art models by 1.9 points (79.8 vs. 77.9) on NQ long answer, 1.9 points (79.5 vs. 77.6) on TyDi QA passage answer, and 1.6 points (67.6 vs. 66.0) on TyDi QA minimal answer. We further evaluate Poolingformer on a long sequence summarization task. Experimental results on the arXiv benchmark continue to demonstrate its superior performance.


title: Gravitational Dark Matter and Primordial Black Holes

abstract: Let's be frank: we all love WIMP dark matter (DM). However, thermal equilibrium may not be reached between the visible and dark sectors. The only interaction guaranteed between them is gravity. Gravitational DM could be generated by the Hawking evaporation of primordial black holes. It is typically assumed that after production, DM abundance freezes and remains constant. However, thermalization and number-changing processes in the dark sector can have a strong impact, in particular enhancing the DM population by several orders of magnitude. Here we review the impact of self-interactions from general arguments such as the conservation of energy and entropy, independently from the underlying particle physics details of the dark sector. Additionally, we study the interplay with other purely gravitational DM production mechanisms, such as the scattering of standard model states or inflatons, mediated by the $s$-channel exchange of gravitons. We show that the latter mechanism sets strong bounds, excluding large regions of the parameter space favored by primordial black hole production.


title: Combinatorial Multi-armed Bandits for Resource Allocation

abstract: We study the sequential resource allocation problem where a decision maker repeatedly allocates budgets between resources. Motivating examples include allocating limited computing time or wireless spectrum bands to multiple users (i.e., resources). At each timestep, the decision maker should distribute its available budgets among different resources to maximize the expected reward, or equivalently to minimize the cumulative regret. In doing so, the decision maker should learn the value of the resources allocated for each user from feedback on each user's received reward. For example, users may send messages of different urgency over wireless spectrum bands; the reward generated by allocating spectrum to a user then depends on the message's urgency. We assume each user's reward follows a random process that is initially unknown. We design combinatorial multi-armed bandit algorithms to solve this problem with discrete or continuous budgets. We prove the proposed algorithms achieve logarithmic regrets under semi-bandit feedback.


title: Warped Gradient-Enhanced Gaussian Process Surrogate Models for Exponential Family Likelihoods with Intractable Normalizing Constants

abstract: Markov chain Monte Carlo methods for exponential family models with intractable normalizing constant, such as the exchange algorithm, require simulations of the sufficient statistics at every iteration of the Markov chain, which often result in expensive computations. Surrogate models for the likelihood function have been developed to accelerate inference algorithms in this context. However, these surrogate models tend to be relatively inflexible, and often provide a poor approximation to the true likelihood function. In this article, we propose the use of a warped, gradient-enhanced, Gaussian process surrogate model for the likelihood function, which jointly models the sample means and variances of the sufficient statistics, and uses warping functions to capture covariance nonstationarity in the input parameter space. We show that both the consideration of nonstationarity and the inclusion of gradient information can be leveraged to obtain a surrogate model that outperforms the conventional stationary Gaussian process surrogate model when making inference, particularly in regions where the likelihood function exhibits a phase transition. We also show that the proposed surrogate model can be used to improve the effective sample size per unit time when embedded in exact inferential algorithms. The utility of our approach in speeding up inferential algorithms is demonstrated on simulated and real-world data.


title: $1/x$ Probability Distribution in a Close Proximity of the Bak-Tang-Wiesenfeld Sandpile

abstract: The mechanism of self-organized criticality is based on a steady slow loading and a quick huge stress-release. We add the clustering of the events in space and time to the Bak-Tang-Wiesenfeld cellular automaton and obtain the truncated $1/x$ probability distribution of the events over their sizes.


title: Recommendations for Item Set Completion: On the Semantics of Item Co-Occurrence With Data Sparsity, Input Size, and Input Modalities

abstract: We address the problem of recommending relevant items to a user in order to "complete" a partial set of items already known. We consider the two scenarios of citation and subject label recommendation, which resemble different semantics of item co-occurrence: relatedness for co-citations and diversity for subject labels. We assess the influence of the completeness of an already known partial item set on the recommender performance. We also investigate data sparsity through a pruning parameter and the influence of using additional metadata. As recommender models, we focus on different autoencoders, which are particularly suited for reconstructing missing items in a set. We extend autoencoders to exploit a multi-modal input of text and structured data. Our experiments on six real-world datasets show that supplying the partial item set as input is helpful when item co-occurrence resembles relatedness, while metadata are effective when co-occurrence implies diversity. This outcome means that the semantics of item co-occurrence is an important factor. The simple item co-occurrence model is a strong baseline for citation recommendation. However, autoencoders have the advantage to enable exploiting additional metadata besides the partial item set as input and achieve comparable performance. For the subject label recommendation task, the title is the most important attribute. Adding more input modalities sometimes even harms the result. In conclusion, it is crucial to consider the semantics of the item co-occurrence for the choice of an appropriate recommendation model and carefully decide which metadata to exploit.


title: On geodesic extendibility and the space of compact balls of length spaces

abstract: In this work we study the issue of geodesic extendibility on complete and locally compact metric length spaces. We focus on the geometric structure of the space $(\Sigma (X),d_H)$ of compact balls endowed with the Hausdorff distance and give an explicit isometry between $(\Sigma (X),d_H)$ and the closed half-space $ X\times \mathbb{R}_{\ge 0}$ endowed with a taxicab metric. Among the applications we establish a group isometry between $\mbox{Iso} (X,d)$ and $\mbox{Iso} (\Sigma (X),d_H)$ when $(X,d)$ is a Hadamard space.


title: The Typical Non-Linear Code over Large Alphabets

abstract: We consider the problem of describing the typical (possibly) non-linear code of minimum distance bounded from below over a large alphabet. We concentrate on block codes with the Hamming metric and on subspace codes with the injection metric. In sharp contrast with the behavior of linear block codes, we show that the typical non-linear code in the Hamming metric of cardinality $q^{n-d+1}$ is far from having minimum distance $d$, i.e., from being MDS. We also give more precise results about the asymptotic proportion of block codes with good distance properties within the set of codes having a certain cardinality. We then establish the analogous results for subspace codes with the injection metric, showing also an application to the theory of partial spreads in finite geometry.


title: Gradient-based Bayesian Experimental Design for Implicit Models using Mutual Information Lower Bounds

abstract: We introduce a framework for Bayesian experimental design (BED) with implicit models, where the data-generating distribution is intractable but sampling from it is still possible. In order to find optimal experimental designs for such models, our approach maximises mutual information lower bounds that are parametrised by neural networks. By training a neural network on sampled data, we simultaneously update network parameters and designs using stochastic gradient-ascent. The framework enables experimental design with a variety of prominent lower bounds and can be applied to a wide range of scientific tasks, such as parameter estimation, model discrimination and improving future predictions. Using a set of intractable toy models, we provide a comprehensive empirical comparison of prominent lower bounds applied to the aforementioned tasks. We further validate our framework on a challenging system of stochastic differential equations from epidemiology.


title: Forsage: Anatomy of a Smart-Contract Pyramid Scheme

abstract: Pyramid schemes are investment scams in which top-level participants in a hierarchical network recruit and profit from an expanding base of defrauded newer participants. Pyramid schemes have existed for over a century, but there have been no in-depth studies of their dynamics and communities because of the opacity of participants' transactions. In this paper, we present an empirical study of Forsage, a pyramid scheme implemented as a smart contract and at its peak one of the largest consumers of resources in Ethereum. As a smart contract, Forsage makes its (byte)code and all of its transactions visible on the blockchain. We take advantage of this unprecedented transparency to gain insight into the mechanics, impact on participants, and evolution of Forsage. We quantify the (multi-million-dollar) gains of top-level participants as well as the losses of the vast majority (around 88%) of users. We analyze Forsage code both manually and using a purpose-built transaction simulator to uncover the complex mechanics of the scheme. Through complementary study of promotional videos and social media, we show how Forsage promoters have leveraged the unique features of smart contracts to lure users with false claims of trustworthiness and profitability, and how Forsage activity is concentrated within a small number of national communities.


title: Did I delete my cookies? Cookies respawning with browser fingerprinting

abstract: Stateful and stateless web tracking gathered much attention in the last decade, however they were always measured separately. To the best of our knowledge, our study is the first to detect and measure cookie respawning with browser and machine fingerprinting. We develop a detection methodology that allows us to detect cookies dependency on browser and machine features. Our results show that 1,150 out of the top 30, 000 Alexa websites deploy this tracking mechanism. We further uncover how domains collaborate to respawn cookies through fingerprinting. We find out that this technique can be used to track users across websites even when third-party cookies are deprecated. Together with a legal scholar, we conclude that cookie respawning with browser fingerprinting lacks legal interpretation under the GDPR and the ePrivacy directive, but its use in practice may breach them, thus subjecting it to fines up to 20 million euro.


title: Numerical studies of CO$_2$ leakage remediation by micp-based plugging technology

abstract: Microbially induced calcite precipitation (MICP) is a technology for sealing leakage paths to ensure the safe storage of CO$_2$ in geological formations. In this work we introduce a numerical simulator of MICP for field-scale studies. This simulator is implemented in the open porous media (OPM) framework. We compare the numerical results to simulations using an upgraded implementation of the mathematical model in the MATLAB reservoir simulation toolbox (MRST). Finally, we consider a 3D system consisting of two aquifers separated by caprock with a leakage path across the width of the reservoir. We study a strategy where microbial solution is injected only at the beginning of the treatment and subsequently either growth solution or cementation solution is injected for biofilm development or calcite precipitation. By applying this strategy, the numerical results show that the MICP technology could be used to seal these leakage paths.


title: A framework for the automation of testing computer vision systems

abstract: Vision systems, i.e., systems that allow to detect and track objects in images, have gained substantial importance over the past decades. They are used in quality assurance applications, e.g., for finding surface defects in products during manufacturing, surveillance, but also automated driving, requiring reliable behavior. Interestingly, there is only little work on quality assurance and especially testing of vision systems in general. In this paper, we contribute to the area of testing vision software, and present a framework for the automated generation of tests for systems based on vision and image recognition. The framework makes use of existing libraries allowing to modify original images and to obtain similarities between the original and modified images. We show how such a framework can be used for testing a particular industrial application on identifying defects on riblet surfaces and present preliminary results from the image classification domain.


title: Semiclassics: The hidden theory behind the success of DFT

abstract: We argue that the success of DFT can be understood in terms of a semiclassical expansion around a very specific limit. This limit was identified long ago by Lieb and Simon for the total electronic energy of a system. This is a universal limit of all electronic structure: atoms, molecules, and solids. For the total energy, Thomas-Fermi theory becomes relatively exact in the limit. The limit can also be studied for much simpler model systems, including non-interacting fermions in a one-dimensional well, where the WKB approximation applies for individual eigenvalues and eigenfunctions. Summation techniques lead to energies and densities that are functionals of the potential. We consider several examples in one dimension (fermions in a box, in a harmonic well, in a linear half-well, and in the P\"oschl-Teller well. The effects of higher dimension are also illustrated with the three-dimensional harmonic well and the Bohr atom, non-interacting fermions in a Coulomb well. Modern density functional calculations use the Kohn-Sham scheme almost exclusively. The same semiclassical limit can be studied for the Kohn-Sham kinetic energy, for the exchange energy, and for the correlation energy. For all three, the local density approximation appears to become relatively exact in this limit. Recent work, both analytic and numerical, explores how this limit is approached, in an effort to deduce the leading corrections to the local approximation. A simple scheme, using the Euler-Maclaurin summation formula, is the result of many different attempts at this problem. In very simple cases, the correction formulas are much more accurate than standard density functionals. Several functionals are already in widespread use in both chemistry and materials that incorporate these limits, and prospects for the future are discussed.


title: Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (extended version)

abstract: Universal quantifiers occur frequently in proof obligations produced by program verifiers, for instance, to axiomatize uninterpreted functions and to express properties of arrays. SMT-based verifiers typically reason about them via E-matching, an SMT algorithm that requires syntactic matching patterns to guide the quantifier instantiations. Devising good matching patterns is challenging. In particular, overly restrictive patterns may lead to spurious verification errors if the quantifiers needed for a proof are not instantiated; they may also conceal unsoundness caused by inconsistent axiomatizations. In this paper, we present the first technique that identifies and helps the users remedy the effects of overly restrictive matching patterns. We designed a novel algorithm to synthesize missing triggering terms required to complete a proof. Tool developers can use this information to refine their matching patterns and prevent similar verification errors, or to fix a detected unsoundness.


title: CMB from a Gauss-Bonnet-induced de Sitter fixed point

abstract: In the gravitational effective theories including higher curvature terms, cosmological solutions can have nontrivial de Sitter fixed points. We study phenomenological implications of such points, focusing on a theory in which a massive scalar field is nonminimally coupled to the Euler density. We first analyze the phase portrait of the dynamical system and show that the fixed point can be a sink or a saddle, depending on the strength of the coupling. Then, we compute the perturbation spectra generated in the vicinity of the fixed point in order to investigate whether the fixed point may be considered as cosmic inflation. We find parameter regions that are consistent with the cosmological data, given that the anisotropies in the cosmic microwave background are seeded by the fluctuations generated near the fixed point. Future observation may be used to further constrain the coupling function of this model. We also comment briefly on the swampland conjecture.


title: Recent Advances in Deep Learning Based Dialogue Systems: A Systematic Survey

abstract: Dialogue systems are a popular natural language processing (NLP) task as it is promising in real-life applications. It is also a complicated task since many NLP tasks deserving study are involved. As a result, a multitude of novel works on this task are carried out, and most of them are deep learning based due to the outstanding performance. In this survey, we mainly focus on the deep learning based dialogue systems. We comprehensively review state-of-the-art research outcomes in dialogue systems and analyze them from two angles: model type and system type. Specifically, from the angle of model type, we discuss the principles, characteristics, and applications of different models that are widely used in dialogue systems. This will help researchers acquaint these models and see how they are applied in state-of-the-art frameworks, which is rather helpful when designing a new dialogue system. From the angle of system type, we discuss task-oriented and open-domain dialogue systems as two streams of research, providing insight into the hot topics related. Furthermore, we comprehensively review the evaluation methods and datasets for dialogue systems to pave the way for future research. Finally, some possible research trends are identified based on the recent research outcomes. To the best of our knowledge, this survey is the most comprehensive and up-to-date one at present for deep learning based dialogue systems, extensively covering the popular techniques. We speculate that this work is a good starting point for academics who are new to the dialogue systems or those who want to quickly grasp up-to-date techniques in this area.


title: On the interaction of a Bonnor-Ebert sphere with a stellar wind

abstract: The structure of protostellar cores can often be approximated by isothermal Bonnor-Ebert spheres (BES) which are stabilized by an external pressure. For the typical pressure of $10^4k_B\,\mathrm{K\,cm^{-3}}$ to $10^5k_B\,\mathrm{K\,cm^{-3}}$ found in molecular clouds, cores with masses below $1.5\,{\rm M_\odot}$ are stable against gravitational collapse. In this paper, we analyze the efficiency of triggering a gravitational collapse by a nearby stellar wind, which represents an interesting scenario for triggered low-mass star formation. We derive analytically a new stability criterion for a BES compressed by a stellar wind, which depends on its initial nondimensional radius $\xi_{max}$. If the stability limit is violated the wind triggers a core collapse. Otherwise, the core is destroyed by the wind. We estimate its validity range to $2.5<\xi_{max}<4.2$ and confirm this in simulations with the SPH Code GADGET-3. The efficiency to trigger a gravitational collapse strongly decreases for $\xi_{max}<2.5$ since in this case destruction and acceleration of the whole sphere begin to dominate. We were unable to trigger a collapse for $\xi_{max}<2$, which leads to the conclusion that a stellar wind can move the smallest unstable stellar mass to $0.5\,\mathrm{M_\odot}$ and destabilizing even smaller cores would require an external pressure larger than $10^5k_B\,\mathrm{K\,cm^{-3}}$. For $\xi_{max}>4.2$ the expected wind strength according to our criterion is small enough so that the compression is slower than the sound speed of the BES and sound waves can be triggered. In this case our criterion underestimates somewhat the onset of collapse and detailed numerical analyses are required.


title: Flow-based Community Detection in Hypergraphs

abstract: To connect structure, dynamics and function in systems with multibody interactions, network scientists model random walks on hypergraphs and identify communities that confine the walks for a long time. The two flow-based community-detection methods Markov stability and the map equation identify such communities based on different principles and search algorithms. But how similar are the resulting communities? We explain both methods' machinery applied to hypergraphs and compare them on synthetic and real-world hypergraphs using various hyperedge-size biased random walks and time scales. We find that the map equation is more sensitive to time-scale changes and that Markov stability is more sensitive to hyperedge-size biases.


title: Statistical inference for continuous-time locally stationary processes using stationary approximations

abstract: We establish asymptotic properties of $M$-estimators, defined in terms of a contrast function and observations from a continuous-time locally stationary process. Using the stationary approximation of the sequence, $\theta$-weak dependence, and hereditary properties, we give sufficient conditions on the contrast function that ensure consistency and asymptotic normality of the $M$-estimator. As an example, we obtain consistency and asymptotic normality of a localized least squares estimator for observations from a sequence of time-varying L\'evy-driven Ornstein-Uhlenbeck processes. Furthermore, for a sequence of time-varying L\'evy-driven state space models, we show consistency of a localized Whittle estimator and an $M$-estimator that is based on a quasi maximum likelihood contrast. Simulation studies show the applicability of the estimation procedures.


title: Quantum magnetism of iron-based ladders: Blocks, spirals, and spin flux

abstract: Motivated by increasing experimental evidence of exotic magnetism in low-dimensional iron-based materials, we present a comprehensive theoretical analysis of magnetic states of the multiorbital Hubbard ladder in the orbital-selective Mott phase (OSMP). The model we used is relevant for iron-based compounds of the AFe$_2$X$_3$ family (where A${}={}$Cs, Rb, Ba, K are alkali metals and X${}={}$S, Se are chalcogenides). To reduce computational effort, and obtain almost exact numerical results in the ladder geometry, we utilize a low-energy description of the Hubbard model in the OSMP - the generalized Kondo-Heisenberg Hamiltonian. Our main result is the doping vs interaction magnetic phase diagram. We reproduce the experimental findings on the AFe$_2$X$_3$ materials, especially the exotic block magnetism of BaFe$_2$Se$_3$ (antiferromagnetically coupled $2\times 2$ ferromagnetic islands of the $\uparrow\uparrow\downarrow\downarrow$ form). As in recent studies of the chain geometry, we also unveil block magnetism beyond the $2 \times 2$ pattern (with block sizes varying as a function of the electron doping) and also an interaction-induced frustrated block-spiral state (a spiral order of rigidly rotating ferromagnetic islands). Moreover, we predict new phases beyond the one-dimensional system: a robust regime of phase separation close to half-filling, incommensurate antiferromagnetism for weak interaction, and a quantum spin-flux phase of staggered plaquette spin currents at intermediate doping. Finally, exploiting the bonding/antibonding band occupations, we provide an intuitive physical picture giving insight into the structure of the phase diagram.


title: Seshadri constants of equivariant vector bundles on toric varieties

abstract: We compute Seshadri constants of a torus equivariant nef vector bundle on a projective space satisfying certain conditions. As an application, we compute Seshadri constants of tangent bundles on projective spaces. We also consider equivariant nef vector bundles on Bott towers of height 2 (i.e. Hirzebruch surfaces) and Bott towers of height 3 respectively. Assuming some conditions on the minimal slope of the restrictions of these bundles to invariant curves, we give precise values of Seshadri constant at an arbitrary point. We also give several examples illustrating our results.


title: Breakdown of random matrix universality in Markov models

abstract: Biological systems need to react to stimuli over a broad spectrum of timescales. If and how this ability can emerge without external fine-tuning is a puzzle. We consider here this problem in discrete Markovian systems, where we can leverage results from random matrix theory. Indeed, generic large transition matrices are governed by universal results, which predict the absence of long timescales unless fine-tuned. We consider an ensemble of transition matrices and motivate a temperature-like variable that controls the dynamic range of matrix elements, which we show plays a crucial role in the applicability of the large matrix limit: as the dynamic range increases, a phase transition occurs whereby the random matrix theory result is avoided, and long relaxation times ensue, in the entire `ordered' phase. We furthermore show that this phase transition is accompanied by a drop in the entropy rate and a peak in complexity, as measured by predictive information (Bialek, Nemenman, Tishby Neural Computation 13(21) 2001). Extending the Markov model to a Hidden Markov model (HMM), we show that observable sequences inherit properties of the hidden sequences, allowing HMMs to be understood in terms of more accessible Markov models. We then apply our findings to fMRI data from 820 human subjects scanned at wakeful rest. We show that the data can be quantitatively understood in terms of the random model, and that brain activity lies close to the phase transition when engaged in unconstrained, task-free cognition -- supporting the brain criticality hypothesis in this context.


title: Efimov scenario for overlapping narrow Feshbach resonances

abstract: While Efimov physics in ultracold atoms is usually modeled with an isolated Feshbach resonance many real world resonances appear in close vicinity to each other and are therefore overlapping. Here we derive a realistic model based on the mutual coupling of an open channel and two closed molecular channels while neglecting short-range physics as permitted by the narrow character of the considered resonances. The model is applied to three distinct scenarios with experimental relevance. We show that the effect of overlapping resonances is manifested most strikingly at a narrow resonance in whose vicinity there is a slightly narrower one. In this system the Efimov ground state extends not only over the scattering length zero crossing between the two resonances but also over the pole of the second resonance to finally meet the dissociation threshold below it. In the opposite scenario, when a narrow resonance is considered in the vicinity of a slightly broader one, we observe that the Efimov features are pushed to lower binding energies and smaller scattering lengths by a significant factor facilitating their experimental investigation. Both scenarios are referenced to the case of two narrow resonances which are far enough away from each other to be effectively decoupled. In this case the two-channel model results are recovered. Finally, we analyze the rich excitation spectrum of the system and construct and explain its nodal pattern.


title: Aspects of a phase transition in high-dimensional random geometry

abstract: A phase transition in high-dimensional random geometry is analyzed as it arises in a variety of problems. A prominent example is the feasibility of a minimax problem that represents the extremal case of a class of financial risk measures, among them the current regulatory market risk measure Expected Shortfall. Others include portfolio optimization with a ban on short selling, the storage capacity of the perceptron, the solvability of a set of linear equations with random coefficients, and competition for resources in an ecological system. These examples shed light on various aspects of the underlying geometric phase transition, create links between problems belonging to seemingly distant fields and offer the possibility for further ramifications.

categories: cond-mat.stat-mech cond-mat.dis-nn q-fin.PM q-fin.RM


title: Stability Constrained Mobile Manipulation Planning on Rough Terrain

abstract: This paper presents a framework that allows online dynamic-stability-constrained optimal trajectory planning of a mobile manipulator robot working on rough terrain. First, the kinematics model of a mobile manipulator robot, and the Zero Moment Point (ZMP) stability measure are presented as theoretical background. Then, a sampling-based quasi-static planning algorithm modified for stability guarantee and traction optimization in continuous dynamic motion is presented along with a mathematical proof. The robot's quasi-static path is then used as an initial guess to warm-start a nonlinear optimal control solver which may otherwise have difficulties finding a solution to the stability-constrained formulation efficiently. The performance and computational efficiency of the framework are demonstrated through an application to a simulated timber harvesting mobile manipulator machine working on varying terrain. The results demonstrate feasibility of online trajectory planning on varying terrain while satisfying the dynamic stability constraint.


title: Why Aren't Regular Expressions a Lingua Franca? An Empirical Study on the Re-use and Portability of Regular Expressions

abstract: This paper explores the extent to which regular expressions (regexes) are portable across programming languages. Many languages offer similar regex syntaxes, and it would be natural to assume that regexes can be ported across language boundaries. But can regexes be copy/pasted across language boundaries while retaining their semantic and performance characteristics? In our survey of 158 professional software developers, most indicated that they re-use regexes across language boundaries and about half reported that they believe regexes are a universal language. We experimentally evaluated the riskiness of this practice using a novel regex corpus -- 537,806 regexes from 193,524 projects written in JavaScript, Java, PHP, Python, Ruby, Go, Perl, and Rust. Using our polyglot regex corpus, we explored the hitherto-unstudied regex portability problems: logic errors due to semantic differences, and security vulnerabilities due to performance differences. We report that developers' belief in a regex lingua franca is understandable but unfounded. Though most regexes compile across language boundaries, 15% exhibit semantic differences across languages and 10% exhibit performance differences across languages. We explained these differences using regex documentation, and further illuminate our findings by investigating regex engine implementations. Along the way we found bugs in the regex engines of JavaScript-V8, Python, Ruby, and Rust, and potential semantic and performance regex bugs in thousands of modules.


title: When Rooks Miss: Probability through Chess

abstract: A famous (and hard) chess problem asks what is the maximum number of safe squares possible in placing $n$ queens on an $n\times n$ board. We examine related problems from placing $n$ rooks. We prove that as $n\to\infty$, the probability rapidly tends to 1 that the fraction of safe squares from a random placement converges to $1/e^2$. Our interest in the problem is showing how to view the involved algebra to obtain the simple, closed form limiting fraction. In particular, we see the power of many of the key concepts in probability: binary indicator variables, linearity of expectation, variances and covariances, Chebyshev's inequality, and Stirling's formula.


title: On projection methods for functional time series forecasting

abstract: Two nonparametric methods are presented for forecasting functional time series (FTS). The FTS we observe is a curve at a discrete-time point. We address both one-step-ahead forecasting and dynamic updating. Dynamic updating is a forward prediction of the unobserved segment of the most recent curve. Among the two proposed methods, the first one is a straightforward adaptation to FTS of the $k$-nearest neighbors methods for univariate time series forecasting. The second one is based on a selection of curves, termed \emph{the curve envelope}, that aims to be representative in shape and magnitude of the most recent functional observation, either a whole curve or the observed part of a partially observed curve. In a similar fashion to $k$-nearest neighbors and other projection methods successfully used for time series forecasting, we ``project'' the $k$-nearest neighbors and the curves in the envelope for forecasting. In doing so, we keep track of the next period evolution of the curves. The methods are applied to simulated data, daily electricity demand, and NOx emissions and provide competitive results with and often superior to several benchmark predictions. The approach offers a model-free alternative to statistical methods based on FTS modeling to study the cyclic or seasonal behavior of many FTS.


title: Cyclic prime numbers

abstract: This work is meant to demonstrate new class of prime numbers -- cyclic prime numbers, that can be derived from any prime number at certain numeric systems. Cyclic prime numbers are also related to the cyclic numbers and full reptend prime numbers. Cyclic prime numbers, derived from the same prime number, could be grouped. Conditions and properties of those groups between different numeric systems are also the subjects of this paper.


title: Diabatic description of bottomoniumlike mesons

abstract: We apply the diabatic approach, specially suited for a QCD based study of conventional (quark-antiquark) and unconventional (quark-antiquark + meson-meson) meson states, to the description of hidden-bottom mesons. A spectral analysis of the $I=0$, $J^{++}$ and $1^{--}$ resonances with masses up to about $10.8$ GeV is carried out. Masses and widths of all the experimentally known resonances, including conventional and unconventional states, can be well reproduced. In particular, we predict a significant $B\bar{B}^{\ast}$ component in $\Upsilon(10580)$. We also predict the existence of a not yet discovered unconventional $1^{++}$ narrow state, with a significant $B_{s}\bar{B}_{s}^{\ast}$ content making it to decay into $\Upsilon(1S)\phi$, whose experimental discovery would provide definite support to our theoretical analysis.


title: AWCD: An Efficient Point Cloud Processing Approach via Wasserstein Curvature

abstract: In this paper, we introduce the adaptive Wasserstein curvature denoising (AWCD), an original processing approach for point cloud data. By collecting curvatures information from Wasserstein distance, AWCD consider more precise structures of data and preserves stability and effectiveness even for data with noise in high density. This paper contains some theoretical analysis about the Wasserstein curvature and the complete algorithm of AWCD. In addition, we design digital experiments to show the denoising effect of AWCD. According to comparison results, we present the advantages of AWCD against traditional algorithms.


title: Alexander Arhangel'skii

abstract: This is the opening article of the abstract book of conference "Set-Theoretic Topology and Topological Algebra" in honor of professor Alexander Arhangelskii on the occasion of his 80th birthday held in 2018 at Moscow State University.


title: Topological Uncertainty: Monitoring trained neural networks through persistence of activation graphs

abstract: Although neural networks are capable of reaching astonishing performances on a wide variety of contexts, properly training networks on complicated tasks requires expertise and can be expensive from a computational perspective. In industrial applications, data coming from an open-world setting might widely differ from the benchmark datasets on which a network was trained. Being able to monitor the presence of such variations without retraining the network is of crucial importance. In this article, we develop a method to monitor trained neural networks based on the topological properties of their activation graphs. To each new observation, we assign a Topological Uncertainty, a score that aims to assess the reliability of the predictions by investigating the whole network instead of its final layer only, as typically done by practitioners. Our approach entirely works at a post-training level and does not require any assumption on the network architecture, optimization scheme, nor the use of data augmentation or auxiliary datasets; and can be faithfully applied on a large range of network architectures and data types. We showcase experimentally the potential of Topological Uncertainty in the context of trained network selection, Out-Of-Distribution detection, and shift-detection, both on synthetic and real datasets of images and graphs.


title: A Critical Review of Information Bottleneck Theory and its Applications to Deep Learning

abstract: In the past decade, deep neural networks have seen unparalleled improvements that continue to impact every aspect of today's society. With the development of high performance GPUs and the availability of vast amounts of data, learning capabilities of ML systems have skyrocketed, going from classifying digits in a picture to beating world-champions in games with super-human performance. However, even as ML models continue to achieve new frontiers, their practical success has been hindered by the lack of a deep theoretical understanding of their inner workings. Fortunately, a known information-theoretic method called the information bottleneck theory has emerged as a promising approach to better understand the learning dynamics of neural networks. In principle, IB theory models learning as a trade-off between the compression of the data and the retainment of information. The goal of this survey is to provide a comprehensive review of IB theory covering it's information theoretic roots and the recently proposed applications to understand deep learning models.


title: Doublons, topology and interactions in a one-dimensional lattice

abstract: We investigate theoretically the Bose-Hubbard version of the celebrated Su-Schrieffer-Heeger topological model, which essentially describes a one-dimensional dimerized array of coupled oscillators with on-site interactions. We study the physics arising from the whole gamut of possible dimerizations of the chain, including both the weakly and the strongly dimerized limiting cases. Focusing on two-excitation subspace, we systematically uncover and characterize the different types of states which may emerge due to the competition between the inter-oscillator couplings, the intrinsic topology of the lattice, and the strength of the on-site interactions. In particular, we discuss the formation of scattering bands full of extended states, bound bands full of two-particle pairs (including so-called `doublons', when the pair occupies the same lattice site), and different flavors of topological edge states. The features we describe may be realized in a plethora of systems, including nanoscale architectures such as photonic cavities and optical lattices, and provide perspectives for topological many-body physics.


title: When the Quantum Energy Teleportation is Observable?

abstract: We want to investigate when the quantum energy teleportation is observable. The condition for observability is based on the minimum time value determined by the fundamental energy-time uncertainty relation.


title: The Challenges and Opportunities of Human-Centered AI for Trustworthy Robots and Autonomous Systems

abstract: The trustworthiness of Robots and Autonomous Systems (RAS) has gained a prominent position on many research agendas towards fully autonomous systems. This research systematically explores, for the first time, the key facets of human-centered AI (HAI) for trustworthy RAS. In this article, five key properties of a trustworthy RAS initially have been identified. RAS must be (i) safe in any uncertain and dynamic surrounding environments; (ii) secure, thus protecting itself from any cyber-threats; (iii) healthy with fault tolerance; (iv) trusted and easy to use to allow effective human-machine interaction (HMI), and (v) compliant with the law and ethical expectations. Then, the challenges in implementing trustworthy autonomous system are analytically reviewed, in respects of the five key properties, and the roles of AI technologies have been explored to ensure the trustiness of RAS with respects to safety, security, health and HMI, while reflecting the requirements of ethics in the design of RAS. While applications of RAS have mainly focused on performance and productivity, the risks posed by advanced AI in RAS have not received sufficient scientific attention. Hence, a new acceptance model of RAS is provided, as a framework for requirements to human-centered AI and for implementing trustworthy RAS by design. This approach promotes human-level intelligence to augment human's capacity. while focusing on contributions to humanity.


title: Background identification in cryogenic calorimeters through $\alpha-\alpha$ delayed coincidences

abstract: Localization and modeling of radioactive contaminations is a challenge that ultra-low background experiments are constantly facing. These are fundamental steps both to extract scientific results and to further reduce the background of the detectors. Here we present an innovative technique based on the analysis of $\alpha-\alpha$ delayed coincidences in $^{232}$Th and $^{238}$U decay chains, developed to investigate the contaminations of the ZnSe crystals in the CUPID-0 experiment. This method allows to disentangle surface and bulk contaminations of the detectors relying on the different probability to tag delayed coincidences as function of the $\alpha$ decay position.


title: Analytic theory of multicavity klystron

abstract: Multicavity Klystron (MCK) is a high power microwave (HPM) vacuum electronic device used to amplify radio-frequency (RF) signals with numerous applications, including radar, radio navigation, space communication, television, radio repeaters, and charged particle accelerators. The microwave-generating interactions in klystrons take place in resonant cavities at discrete locations along the beam. Importantly, there is no electromagnetic coupling between cavities, they are coupled only by the bunched electron beam, which drifts from one cavity to the next. We advance here an analytic theory of MCKs operating in voltage amplification mode associated with the maximal gain. This theory features in particular exact formulas for the MCK instability frequencies, its dispersion relations and optimal values of the MCK parameters providing for maximal gain.


title: Diagnosing Renyi and Tsallis Holographic Dark Energy Models with Hubble's Horizon Cutoff

abstract: In this work, I framed the Renyi and Tsallis Holographic Dark Energy (HDE) models within the presence of a spatially flat and isotropic FRW model filled with matter and dark energy in teleparallel gravity. The energy densities of Renyi HDE and Tsallis holographic dark energy (THDE) are increasing functions of z and validate the expanding conduct of the universe. It is worthwhile to note that for -1<z<0, the EoS parameter of Renyi HDE approaches to phantom region , while THDE confirms to Quintessence region. Further for 0<z, the EoS parameter of Renyi HDE slants to CDM model ,while THDE settles to Quintessence region. The model behaves like LCDM with the statefinder parameters having the values {1,0}.


title: Chimera states and frequency clustering in systems of coupled inner-ear hair cells

abstract: Coupled hair cells of the auditory and vestibular systems perform the crucial task of converting the energy of sound waves and ground-borne vibrations into ionic currents. We mechanically couple groups of living, active hair cells with artificial membranes, thus mimicking in vitro the coupled dynamical system. We identify chimera states and frequency clustering in the dynamics of these coupled nonlinear, autonomous oscillators. We find that these dynamical states can be reproduced by our numerical model with heterogeneity of the parameters. Further, we find that this model is most sensitive to external signals when poised at the onset of synchronization, where chimera and cluster states are likely to form. We therefore propose that the partial synchronization in our experimental system is a manifestation of a system poised at the verge of synchronization with optimal sensitivity.