title: Deep Learning Based Resource Assignment for Wireless Networks

abstract: This paper studies a deep learning approach for binary assignment problems in wireless networks, which identifies binary variables for permutation matrices. This poses challenges in designing a structure of a neural network and its training strategies for generating feasible assignment solutions. To this end, this paper develop a new Sinkhorn neural network which learns a non-convex projection task onto a set of permutation matrices. An unsupervised training algorithm is proposed where the Sinkhorn neural network can be applied to network assignment problems. Numerical results demonstrate the effectiveness of the proposed method in various network scenarios.


title: Large Binocular Telescope observations of new six compact star-forming galaxies with [NeV] 3426A emission

abstract: We report the discovery of [NeV]3426 emission, in addition to HeII4686 emission, in six compact star-forming galaxies. These observations considerably increase the sample of eight such galaxies discovered earlier by our group. For four of the new galaxies, the optical observations are supplemented by near-infrared spectra. All galaxies, but one, have HII regions that are dense, with electron number densities of ~300-700 cm-3. They are all characterised by high Hbeta equivalent widths EW(Hbeta)~190-520A and high O32=[OIII]5007/[OII]3727 ratios of 10-30, indicating young starburst ages and the presence of high ionization radiation. All are low-metallicity objects with 12+logO/H=7.46-7.88. The spectra of all galaxies show a low-intensity broad component of the Halpha line and five out of six objects show Wolf-Rayet features. Comparison with photoionization models shows that pure stellar ionization radiation from massive stars is not hard enough to produce such strong [NeV] and HeII emission in our galaxies. The [NeV]3426/HeII4686 flux ratio of ~1.2 in J1222+3602 is consistent with some contribution of active galactic nucleus ionizing radiation. However, in the remaining five galaxies, this ratio is considerably lower, <0.4. The most plausible models are likely to be non-uniform in density, where HeII and [NeV] lines are emitted in low-density channels made by outflows and illuminated by harder ionizing radiation from radiative shocks propagating through these channels, whereas [OIII] emission originates in denser regions exposed to softer stellar ionizing sources.


title: Ap\'ery limits and Mahler measures

abstract: It is the first paper which relates Ap\'ery limits to Mahler measures.


title: Numerical model for 32-bit magnonic ripple carry adder

abstract: In CMOS-based electronics, the most straightforward way to implement a summation operation is to use the ripple carry adder (RCA). Magnonics, the field of science concerned with data processing by spin-waves and their quanta magnons, recently proposed a magnonic half-adder that can be considered as the simplest magnonic integrated circuit. Here, we develop a computation model for the magnonic basic blocks to enable the design and simulation of magnonic gates and magnonic circuits of arbitrary complexity and demonstrate its functionality on the example of a 32-bit integrated RCA. It is shown that the RCA requires the utilization of additional regenerators based on magnonic directional couplers with embedded amplifiers to normalize the magnon signals in-between the half-adders. The benchmarking of large-scale magnonic integrated circuits is performed. The energy consumption of 30 nm-based magnonic 32-bit adder can be as low as 961aJ per operation with taking into account all required amplifiers.


title: Bilateral Trade: A Regret Minimization Perspective

abstract: Bilateral trade, a fundamental topic in economics, models the problem of intermediating between two strategic agents, a seller and a buyer, willing to trade a good for which they hold private valuations. In this paper, we cast the bilateral trade problem in a regret minimization framework over $T$ rounds of seller/buyer interactions, with no prior knowledge on their private valuations. Our main contribution is a complete characterization of the regret regimes for fixed-price mechanisms with different feedback models and private valuations, using as a benchmark the best fixed-price in hindsight. More precisely, we prove the following tight bounds on the regret: - $\Theta(\sqrt{T})$ for full-feedback (i.e., direct revelation mechanisms). - $\Theta(T^{2/3})$ for realistic feedback (i.e., posted-price mechanisms) and independent seller/buyer valuations with bounded densities. - $\Theta(T)$ for realistic feedback and seller/buyer valuations with bounded densities. - $\Theta(T)$ for realistic feedback and independent seller/buyer valuations. - $\Theta(T)$ for the adversarial setting.


title: Towards a Theory of Bullshit Visualization

abstract: In this unhinged rant, I lay out my suspicion that a lot of visualizations are bullshit: charts that do not have even the common decency to intentionally lie but are totally unconcerned about the state of the world or any practical utility. I suspect that bullshit charts take up a large fraction of the time and attention of actual visualization producers and consumers, and yet are seemingly absent from academic research into visualization design.


title: Retrofitting Meetings for Psychological Safety

abstract: Meetings are the fuel of organizations' productivity. At times, however, they are perceived as wasteful vaccums that deplete employee morale and productivity. Current meeting tools, to a great extent, have simplified and augmented the ways meetings are conducted by enabling participants to ``get things done'' and experience a comfortable physical environment. However, an important yet less explored element of these tools' design space is that of psychological safety -- the extent to which participants feel listened to, or motivated to be part of a meeting. We argue that an interdisciplinary approach would benefit the creation of new tools designed for retrofitting meetings for psychological safety. This approach comes with not only research opportunities -- ranging from sensing to modeling to user interface design -- but also challenges -- ranging from privacy to workplace surveillance.


title: Unravelling CO adsorption on model single-atom catalysts

abstract: Understanding how the local environment of a single-atom catalyst affects stability and reactivity remains a significant challenge. We present an in-depth study of Cu1, Ag1, Au1, Ni1, Pd1, Pt1, Rh1, and Ir1 species on Fe3O4(001); a model support where all metals occupy the same 2-fold coordinated adsorption site upon deposition at room temperature. Surface science techniques revealed that CO adsorption strength at single metal sites differs from the respective metal surfaces and supported clusters. Charge transfer into the support modifies the d-states of the metal atom and the strength of the metal-CO bond. These effects could strengthen the bond (as for Ag1-CO) or weaken it (as for Ni1-CO), but CO-induced structural distortions reduce adsorption energies from those expected based on electronic structure alone. The extent of the relaxations depends on the local geometry and could be predicted by analogy to coordination chemistry.


title: Application of graph theory in quantum computer science

abstract: In this dissertation we demonstrate that the continuous-time quantum walk models remain powerful for nontrivial graph structures. We consider two aspects of this problem. First, it is known that the standard Continuous-Time Quantum Walk (CTQW), proposed by Childs and Goldstone, can propagate quickly on the infinite path graph. However, the Schr\"odinger equation requires the Hamiltonian to be symmetric, and thus only undirected graphs can be implemented. In this thesis, we address the question, whether it is possible to construct a continuous-time quantum walk on general directed graphs, preserving its propagation properties. Secondly, the quantum spatial search defined through CTQW has been proven to work well on various undirected graphs. However, most of these graphs have very simple structures. The most advanced results concerned the Erd\H{o}s-R\'enyi model of random graphs, which is the most popular but not realistic random graph model, and Barab\'asi-Albert random graphs, for which full quadratic speed-up was not confirmed. In the scope of this aspect we analyze, whether quantum speed-up is observed for complicated graph structures as well.


title: CT-ICP: Real-time Elastic LiDAR Odometry with Loop Closure

abstract: Multi-beam LiDAR sensors are increasingly used in robotics, particularly with autonomous cars for localization and perception tasks, both relying on the ability to build a precise map of the environment. For this, we propose a new real-time LiDAR-only odometry method called CT-ICP (for Continuous-Time ICP), completed into a full SLAM with a novel loop detection procedure. The core of this method, is the introduction of the combined continuity in the scan matching, and discontinuity between scans. It allows both the elastic distortion of the scan during the registration for increased precision, and the increased robustness to high frequency motions from the discontinuity. We build a complete SLAM on top of this odometry, using a fast pure LiDAR loop detection based on elevation image 2D matching, providing a pose graph with loop constraints. To show the robustness of the method, we tested it on seven datasets: KITTI, KITTI-raw, KITTI-360, KITTI-CARLA, ParisLuco, Newer College, and NCLT in driving and high-frequency motion scenarios. Both the CT-ICP odometry and the loop detection are made available online. CT-ICP is currently first, among those giving access to a public code, on the KITTI odometry leaderboard, with an average Relative Translation Error (RTE) of 0.59% and an average time per scan of 60ms on a CPU with a single thread.


title: On the nature of monetary and price inflation and hyperinflation

abstract: Monetary inflation is a sustained increase in the money supply than can result in price inflation, which is a rise in the general level of prices of goods and services. The objectives of this paper were to develop economic models to (1) predict the annual rate of growth in the US consumer price index (CPI), based on the annual growth in the US broad money supply (BMS), the annual growth in US real GDP, and the annual growth in US savings, over the time period 2001 to 2019; (2) investigate the means by which monetary and price inflation can develop into monetary and price hyperinflation. The hypothesis that the annual rate of growth in the US CPI is a function of the annual growth in the US BMS minus the annual growth in US real GDP minus the annual growth in US savings, over the time period investigated, has been shown to be the case. However, an exact relationship required the use of a non-zero residual term. A mathematical statistical formulation of a hyperinflationary process has been provided and used to quantify the period of hyperinflation in the Weimar Republic, from July 1922 until the end of November 1923.


title: On stable equivalences, perfect exact sequences and Gorenstein-projective modules

abstract: We consider the equivalence from the stable module category to a subcategory $\mathcal{L}_A$ of the homotopy category constructed by Kato. This equivalence induces a correspondence between distinguished triangles in the homotopy category and perfect exact sequences in the module category. We show that an exact equivalence between categories $\mathcal{L}_A$ and $\mathcal{L}_B$ induces a stable equivalence of Morita type between two finite dimensional algebra A and B under a separability assumption. Moreover, we provide further sufficient conditions for a stable equivalence induced by an exact functor to be of Morita type. This is shown using perfect exact sequences. In particular, we study when a stable equivalence preserves perfect exact sequences up to projective direct summands. As an application, we show that a stable equivalence preserves the category of stable Gorenstein-projective modules if it preserves perfect exact sequences.


title: Sustainable Urban Mobility in the Post-Pandemic Era (position paper)

abstract: COVID-19 is the first pandemic of the modern world causing significant changes to the everyday life of billions of people in all continents. To reduce its expansion, most governments decided to mitigate a great percentage of daily movements of their citizens. For instance, they enforced strict controls (in space, time, etc.) on urban movement whereas they selectively prohibited international air and ground connections. In this short study, we briefly discuss some lessons learned out of this process based on recorded mobility figures, and we raise challenges that are emerging in the post-pandemic era, in the intersection of the sustainable urban mobility and movement data science fields.


title: EdgePier: P2P-based Container Image Distribution in Edge Computing Environments

abstract: Edge and fog computing architectures utilize container technologies in order to offer a lightweight application deployment. Container images are stored in registry services and operated by orchestration platforms to download and start the respective applications on nodes of the infrastructure. During large application rollouts, the connection to the registry is prone to become a bottleneck, which results in longer provisioning times and deployment latencies. Previous work has mainly addressed this problem by proposing scalable registries, leveraging the BitTorrent protocol or distributed storage to host container images. However, for lightweight and dynamic edge environments the overhead of several dedicated components is not feasible in regard to its interference of the actual workload and is subject to failures due to the introduced complexity. In this paper we introduce a fully decentralized container registry called EdgePier, that can be deployed across edge sites and is able to decrease container deployment times by utilizing peer-to-peer connections between participating nodes. Image layers are shared without the need for further centralized orchestration entities. The conducted evaluation shows that the provisioning times are improved by up to 65% in comparison to a baseline registry, even with limited bandwidth to the cloud.


title: Degradation and Failure Mechanisms of Complex Systems: Principles

abstract: A cyber physical human complex system failure prevents the accomplishment of the systems intended function. The failure of a complex system could be a breakdown of any system hardware, human related factors, application software, or the interaction between these components. Having knowledge about all these three components would allow us to better understand the behavior, interactions, and the associated failure mechanisms of the cyber physical human systems as a whole. In this study, degradation mechanisms in these three components are classified and discussed. The main categories are hardware related degradation mechanisms including mechanical, thermal, chemical, electronic and radiation effects degradation mechanisms. In addition to hardware related degradation mechanisms, human failure modes, software errors, and the failures due to cyber physical human interactions are presented and discussed. This paper covers the main types of failure mechanisms in complex systems and is beneficial for developing conceptual risk and reliability models for complex systems.


title: Synerise at RecSys 2021: Twitter user engagement prediction with a fast neural model

abstract: In this paper we present our 2nd place solution to ACM RecSys 2021 Challenge organized by Twitter. The challenge aims to predict user engagement for a set of tweets, offering an exceptionally large data set of 1 billion data points sampled from over four weeks of real Twitter interactions. Each data point contains multiple sources of information, such as tweet text along with engagement features, user features, and tweet features. The challenge brings the problem close to a real production environment by introducing strict latency constraints in the model evaluation phase: the average inference time for single tweet engagement prediction is limited to 6ms on a single CPU core with 64GB memory. Our proposed model relies on extensive feature engineering performed with methods such as the Efficient Manifold Density Estimator (EMDE) - our previously introduced algorithm based on Locality Sensitive Hashing method, and novel Fourier Feature Encoding, among others. In total, we create numerous features describing a user's Twitter account status and the content of a tweet. In order to adhere to the strict latency constraints, the underlying model is a simple residual feed-forward neural network. The system is a variation of our previous methods which proved successful in KDD Cup 2021, WSDM Challenge 2021, and SIGIR eCom Challenge 2020. We release the source code at: https://github.com/Synerise/recsys-challenge-2021


title: Findings of the NLP4IF-2021 Shared Tasks on Fighting the COVID-19 Infodemic and Censorship Detection

abstract: We present the results and the main findings of the NLP4IF-2021 shared tasks. Task 1 focused on fighting the COVID-19 infodemic in social media, and it was offered in Arabic, Bulgarian, and English. Given a tweet, it asked to predict whether that tweet contains a verifiable claim, and if so, whether it is likely to be false, is of general interest, is likely to be harmful, and is worthy of manual fact-checking; also, whether it is harmful to society, and whether it requires the attention of policy makers. Task~2 focused on censorship detection, and was offered in Chinese. A total of ten teams submitted systems for task 1, and one team participated in task 2; nine teams also submitted a system description paper. Here, we present the tasks, analyze the results, and discuss the system submissions and the methods they used. Most submissions achieved sizable improvements over several baselines, and the best systems used pre-trained Transformers and ensembles. The data, the scorers and the leaderboards for the tasks are available at http://gitlab.com/NLP4IF/nlp4if-2021.


title: Overview of the CLEF--2021 CheckThat! Lab on Detecting Check-Worthy Claims, Previously Fact-Checked Claims, and Fake News

abstract: We describe the fourth edition of the CheckThat! Lab, part of the 2021 Conference and Labs of the Evaluation Forum (CLEF). The lab evaluates technology supporting tasks related to factuality, and covers Arabic, Bulgarian, English, Spanish, and Turkish. Task 1 asks to predict which posts in a Twitter stream are worth fact-checking, focusing on COVID-19 and politics (in all five languages). Task 2 asks to determine whether a claim in a tweet can be verified using a set of previously fact-checked claims (in Arabic and English). Task 3 asks to predict the veracity of a news article and its topical domain (in English). The evaluation is based on mean average precision or precision at rank k for the ranking tasks, and macro-F1 for the classification tasks. This was the most popular CLEF-2021 lab in terms of team registrations: 132 teams. Nearly one-third of them participated: 15, 5, and 25 teams submitted official runs for tasks 1, 2, and 3, respectively.


title: Electromagnetic Vortex Topologies from Sparse Circular Phased Arrays

abstract: Structured vortex waves have numerous applications in optics, plasmonics, radio-wave technologies and acoustics. We present a theoretical study of a method for generating vortex states based on coherent superposition of waves from discrete elements of planar phased arrays, given limitations on an element number. Using Jacobi-Anger expansion, we analyze emerging vortex topologies and derive a constraint for the least number of elements needed to generate a vortex with a given leading-order topological charge.


title: HyperQB: A QBF-Based Bounded Model Checker for Hyperproperties

abstract: We present HyperQB, a push-button QBF-based bounded model checker for hyperproperties. HyperQB takes as input a NuSMV model and a formula expressed in the temporal logic HyperLTL. Our QBF-based technique allows HyperQB to seamlessly deal with quantifier alternations. Based on the selection of either bug hunting or synthesis, the instances of counterexamples (for negated formula) or witnesses (for synthesis of positive formulas) are returned. We report on successful and effective verification for a rich set of experiments on a variety of case studies, including information-flow security, concurrent data structures, path planning for robots, co-termination, deniability, intransitivity of non-interference, and secrecy-preserving refinement. We also rigorously compare and contrast HyperQB with existing tools for model checking hyperporperties.


title: Optimal Team Economic Decisions in Counter-Strike

abstract: The outputs of win probability models are often used to evaluate player actions. However, in some sports, such as the popular esport Counter-Strike, there exist important team-level decisions. For example, at the beginning of each round in a Counter-Strike game, teams decide how much of their in-game dollars to spend on equipment. Because the dollars are a scarce resource, different strategies have emerged concerning how teams should spend in particular situations. To assess team purchasing decisions in-game, we introduce a game-level win probability model to predict a team's chance of winning a game at the beginning of a given round. We consider features such as team scores, equipment, money, and spending decisions. Using our win probability model, we investigate optimal team spending decisions for important game scenarios. We identify a pattern of sub-optimal decision-making for CSGO teams. Finally, we introduce a metric, Optimal Spending Error (OSE), to rank teams by how closely their spending decisions follow our predicted optimal spending decisions.


title: Tuning of Silicon Nitride Micro Cavities by Controlled Nanolayer Deposition

abstract: Integration of single-photon emitters (SPEs) with resonant photonic structures is a promising approach for realizing compact and efficient single-photon sources for quantum communications, computing, and sensing. Efficient interaction between the SPE and the photonic cavity requires that the cavity's resonance matches the SPE emission line. Here we demonstrate a new method for tuning silicon nitride (Si3N4) microring cavities via controlled deposition of the cladding layers. Guided by numerical simulations, we deposit silicon dioxide (SiO2) nanolayers onto Si3N4 ridge structures in steps of 50 nm. We show tuning of the cavity resonance over a free spectral range (FSR) without degradation of the quality-factor (Q-factor) of the cavity. We then complement this method with localized laser heating for fine-tuning of the cavity. Finally, we verify that the cladding deposition does not alter the position of nanoparticles placed on the cavity, which suggests that our method can be useful for integrating SPEs with photonic structures.


title: Refined regularity of SLE

abstract: We prove refined (variation and H\"older-type) regularity statements for the SLE trace (under capacity parametrisation). More precisely, we show that the trace has finite $\psi$-variation for $\psi(x) = x^d(\log 1/x)^{-d-\varepsilon}$ and H\"older-type modulus $\varphi(t) = t^\alpha(\log 1/t)^{\beta}$ where $d$ and $\alpha$ are the optimal $p$-variation and H\"older exponents of SLE$_\kappa$ which have been previously identified by Viklund, Lawler (2011) and Friz, Tran (2017). For SLE$_8$, we simplify a step in the proof by Kavvadias, Miller, and Schoug (2021), and get the modulus $\varphi(t) = (\log 1/t)^{-1/4}(\log\log 1/t)^{2+\varepsilon}$. Finally, for $\kappa \ge 8$, we prove regularity estimates for the uniformising maps that hold uniformly in time, namely $\sup_t |\hat f_t'(u+iv)| \lesssim v^{2\alpha-1}(\log 1/v)^\beta$ in case $\kappa>8$ and $v^{-1}(\log 1/v)^{-1/4}(\log\log 1/v)^{1+\varepsilon}$ in case $\kappa=8$. Our results are obtained from analysing the forward Loewner differential equation (in contrast to the other mentioned works which analyse the backward equation).


title: Constructing bounded degree graphs with prescribed degree and neighbor degree sequences

abstract: Let $D = d_1, d_2, \ldots, d_n$ and $F = f_1, f_2,\ldots, f_n$ be two sequences of positive integers. We consider the following decision problems: is there a $i)$ multigraph, $ii)$ loopless multigraph, $iii)$ simple graph, $iv)$ connected simple graph, $v)$ tree, $vi)$ caterpillar $G = (V,E)$ such that for all $k$, $d(v_k) = d_k$ and $\sum_{w\in \mathcal{N}(v_k)} d(w) = f_k$ ($d(v)$ is the degree of $v$ and $\mathcal{N}(v)$ is the set of neighbors of $v$). Here we show that all these decision problems can be solved in polynomial time if $\max_{k} d_k$ is bounded. The problem is motivated by NMR spectroscopy of hydrocarbons.


title: Effect of fermion indistinguishability on optical absorption of doped two-dimensional semiconductors

abstract: We study the optical absorption spectrum of a doped two-dimensional semiconductor in the spin-valley polarized limit. In this configuration, the carriers in the Fermi sea are indistinguishable from one of the two carriers forming the exciton. Most notably, this indistinguishability requires the three-body trion state to have p-wave symmetry. To explore the consequences of this, we evaluate the system's optical properties within a polaron description, which can interpolate from the low density limit -- where the relevant excitations are few-body bound states -- to higher density many-body states. In the parameter regime where the trion is bound, we demonstrate that the spectrum is characterized by an attractive quasiparticle branch, a repulsive branch, and a many-body continuum, and we evaluate the doping dependence of the corresponding energies and spectral weights. In particular, at low doping we find that the oscillator strength of the attractive branch scales with the square of the Fermi energy as a result of the trion's p-wave symmetry. Upon increasing density, we find that both the repulsive and attractive branches blueshift, and that the orbital character of the states associated with these branches interchanges. We compare our results with previous investigations of the scenario where the Fermi sea involves carriers distinguishable from those in the exciton, for which the trion ground state is s-wave.


title: Analytic investigation of the compatibility condition and the initial evolution of a smooth velocity field for the Navier-Stokes equation in a channel configuration

abstract: A partial differential equation has usually a regular solution at the initial time if the initial condition is smooth in space, fulfills the governing equations and is compatible with the boundary condition. In the case of Navier-Stokes equation, the initial velocity field must also be divergence--free. It is common belief that the initial condition is compatible with the boundary condition if the initial condition fulfills the boundary condition but this is not sufficient. Such a field does not necessarily fulfill the full compatibility condition of the Navier-Stokes equation. If the condition is violated, the solution is not regular at the initial time. This issue has been known for a while but not in the full breadth of the fluid dynamics community. In this paper, a practical calculation method is presented for checking the compatibility condition. Furthermore, a smooth initial condition is presented in a periodic channel flow that violates the condition and has no spatially smooth solution at initial time. The calculations were were performed in an analytical framework. The results for a channel configuration show that in the absence of wall--normal velocity the condition is always fulfilled and the problem has a regular solution. If the wall--normal velocity component is non--zero, the condition is usually not fulfilled but with optimization methods counter-examples can be generated. The generation procedure of such a field is useful to provide correct initial conditions for sensitive time-dependent numerical simulations. The presented methods can provide insight about the applicability of the chosen initial conditions.


title: Context-guided Triple Matching for Multiple Choice Question Answering

abstract: The task of multiple choice question answering (MCQA) refers to identifying a suitable answer from multiple candidates, by estimating the matching score among the triple of the passage, question and answer. Despite the general research interest in this regard, existing methods decouple the process into several pair-wise or dual matching steps, that limited the ability of assessing cases with multiple evidence sentences. To alleviate this issue, this paper introduces a novel Context-guided Triple Matching algorithm, which is achieved by integrating a Triple Matching (TM) module and a Contrastive Regularization (CR). The former is designed to enumerate one component from the triple as the background context, and estimate its semantic matching with the other two. Additionally, the contrastive term is further proposed to capture the dissimilarity between the correct answer and distractive ones. We validate the proposed algorithm on several benchmarking MCQA datasets, which exhibits competitive performances against state-of-the-arts.


title: Benchmarking the Status of Default Pseudorandom Number Generators in Common Programming Languages

abstract: The ever-increasing need for random numbers is clear in many areas of computer science, from neural networks to optimization. As such, most common programming language provide easy access to Pseudorandom Number Generators. However, these generators are not all made equal, and empirical verification has previously shown some to be flawed in key ways. Because of the constant changes in programming languages, we perform the same empirical benchmarking using large batteries of statistcal tests on a wide array of PRNGs, and identify that while some languages have improved significantly over the years, there are still cases where the default PRNG fails to deliver sufficiently random results.


title: Algebraic Semantics of Generalized RIFs

abstract: A number of numeric measures like rough inclusion functions (RIFs) are used in general rough sets and soft computing. But these are often intrusive by definition, and amount to making unjustified assumptions about the data. The contamination problem is also about recognizing the domains of discourses involved in this, specifying errors and reducing data intrusion relative to them. In this research, weak quasi rough inclusion functions (wqRIFs) are generalized to general granular operator spaces with scope for limiting contamination. New algebraic operations are defined over collections of such functions, and are studied by the present author. It is shown by her that the algebras formed by the generalized wqRIFs are ordered hemirings with additional operators. By contrast, the generalized rough inclusion functions lack similar structure. This potentially contributes to improving the selection (possibly automatic) of such functions, training methods, and reducing contamination (and data intrusion) in applications. The underlying framework and associated concepts are explained in some detail, as they are relatively new.


title: A Multiscale Method for the Heterogeneous Signorini Problem

abstract: In this paper, we develop a multiscale method for solving the Signorini problem with a heterogeneous field. The Signorini problem is encountered in many applications, such as hydrostatics, thermics, and solid mechanics. It is well-known that numerically solving this problem requires a fine computational mesh, which can lead to a large number of degrees of freedom. The aim of this work is to develop a new hybrid multiscale method based on the framework of the generalized multiscale finite element method (GMsFEM). The construction of multiscale basis functions requires local spectral decomposition. Additional multiscale basis functions related to the contact boundary are required so that our method can handle the unilateral condition of the Signorini type naturally. A complete analysis of the proposed method is provided and a result of the spectral convergence is shown. Numerical results are provided to validate our theoretical findings.


title: High-energy spectra of the atmospheric neutrinos: predictions and measurements

abstract: Statistical analysis is performed of the atmospheric neutrino flux models as compared with the data of Frejus, AMANDA-II, IceCube, ANTARES, and Super-Kamiokande experiments. The analysis enables the evaluation of the confidence level of the flux models in comparison with atmospheric neutrino flux measurements. The flux calculations were performed in the framework of single computational scheme using a set of hadronic models combined with parameterizations of the cosmic rays spectrum by Zatsepin & Sokolskaya, and Hillas & Gaisser. The analysis showed satisfactory agreement of the conventional $\nu_\mu$ flux models with the measurements. The prompt neutrinos conrtibution obtained with a set of charm production models (QGSM, SIBYLL 2.3c, PROSA, GRRST, BEJKRSS, and GM-VFNS) is statistically negligible in the energy range covered by the neutrino telescopes.


title: I$\heartsuit$LA: Compilable Markdown for Linear Algebra

abstract: Communicating linear algebra in written form is challenging: mathematicians must choose between writing in languages that produce well-formatted but semantically-underdefined representations such as LaTeX; or languages with well-defined semantics but notation unlike conventional math, such as C++/Eigen. In both cases, the underlying linear algebra is obfuscated by the requirements of esoteric language syntax (as in LaTeX) or awkward APIs due to language semantics (as in C++). The gap between representations results in communication challenges, including underspecified and irreproducible research results, difficulty teaching math concepts underlying complex numerical code, as well as repeated, redundant, and error-prone translations from communicated linear algebra to executable code. We introduce I$\heartsuit$LA, a language with syntax designed to closely mimic conventionally-written linear algebra, while still ensuring an unambiguous, compilable interpretation. Inspired by Markdown, a language for writing naturally-structured plain text files that translate into valid HTML, I$\heartsuit$LA allows users to write linear algebra in text form and compile the same source into LaTeX, C++/Eigen, Python/NumPy/SciPy, and MATLAB, with easy extension to further math programming environments. We outline the principles of our language design and highlight design decisions that balance between readability and precise semantics, and demonstrate through case studies the ability for I$\heartsuit$LA to bridge the semantic gap between conventionally-written linear algebra and unambiguous interpretation in math programming environments.


title: The edge labeling of higher order Voronoi diagrams

abstract: We present an edge labeling of order-$k$ Voronoi diagrams, $V_k(S)$, of point sets $S$ in the plane, and study properties of the regions defined by them. Among them, we show that $V_k(S)$ has a small orientable cycle and path double cover, and we identify configurations that cannot appear in $V_k(S)$ for small values of $k$. This paper also contains a systematic study of well-known and new properties of $V_k(S)$, all whose proofs only rely on elementary geometric arguments in the plane. The maybe most comprehensive study of structural properties of $V_k(S)$ was done by D.T. Lee (On k-nearest neighbor Voronoi diagrams in the plane) in 1982. Our work reviews and extends the list of properties of higher order Voronoi diagrams.


title: Stationary Markov Nash equilibria for nonzero-sum constrained ARAT Markov games

abstract: We consider a nonzero-sum Markov game on an abstract measurable state space with compact metric action spaces. The goal of each player is to maximize his respective discounted payoff function under the condition that some constraints on a discounted payoff are satisfied. We are interested in the existence of a Nash or noncooperative equilibrium. Under suitable conditions, which include absolute continuity of the transitions with respect to some reference probability measure, additivity of the payoffs and the transition probabilities (ARAT condition), and continuity in action of the payoff functions and the density function of the transitions of the system, we establish the existence of a constrained stationary Markov Nash equilibrium, that is, the existence of stationary Markov strategies for each of the players yielding an optimal profile within the class of all history-dependent profiles.


title: Optimising for Interpretability: Convolutional Dynamic Alignment Networks

abstract: We introduce a new family of neural network models called Convolutional Dynamic Alignment Networks (CoDA Nets), which are performant classifiers with a high degree of inherent interpretability. Their core building blocks are Dynamic Alignment Units (DAUs), which are optimised to transform their inputs with dynamically computed weight vectors that align with task-relevant patterns. As a result, CoDA Nets model the classification prediction through a series of input-dependent linear transformations, allowing for linear decomposition of the output into individual input contributions. Given the alignment of the DAUs, the resulting contribution maps align with discriminative input patterns. These model-inherent decompositions are of high visual quality and outperform existing attribution methods under quantitative metrics. Further, CoDA Nets constitute performant classifiers, achieving on par results to ResNet and VGG models on e.g. CIFAR-10 and TinyImagenet. Lastly, CoDA Nets can be combined with conventional neural network models to yield powerful classifiers that more easily scale to complex datasets such as Imagenet whilst exhibiting an increased interpretable depth, i.e., the output can be explained well in terms of contributions from intermediate layers within the network.


title: Efficiently Training On-Policy Actor-Critic Networks in Robotic Deep Reinforcement Learning with Demonstration-like Sampled Exploration

abstract: In complex environments with high dimension, training a reinforcement learning (RL) model from scratch often suffers from lengthy and tedious collection of agent-environment interactions. Instead, leveraging expert demonstration to guide RL agent can boost sample efficiency and improve final convergence. In order to better integrate expert prior with on-policy RL models, we propose a generic framework for Learning from Demonstration (LfD) based on actor-critic algorithms. Technically, we first employ K-Means clustering to evaluate the similarity of sampled exploration with demonstration data. Then we increase the likelihood of actions in similar frames by modifying the gradient update strategy to leverage demonstration. We conduct experiments on 4 standard benchmark environments in Mujoco and 2 self-designed robotic environments. Results show that, under certain condition, our algorithm can improve sample efficiency by 20% ~ 40%. By combining our framework with on-policy algorithms, RL models can accelerate convergence and obtain better final mean episode rewards especially in complex robotic context where interactions are expensive.


title: RuleBert: Teaching Soft Rules to Pre-trained Language Models

abstract: While pre-trained language models (PLMs) are the go-to solution to tackle many natural language processing problems, they are still very limited in their ability to capture and to use common-sense knowledge. In fact, even if information is available in the form of approximate (soft) logical rules, it is not clear how to transfer it to a PLM in order to improve its performance for deductive reasoning tasks. Here, we aim to bridge this gap by teaching PLMs how to reason with soft Horn rules. We introduce a classification task where, given facts and soft rules, the PLM should return a prediction with a probability for a given hypothesis. We release the first dataset for this task, and we propose a revised loss function that enables the PLM to learn how to predict precise probabilities for the task. Our evaluation results show that the resulting fine-tuned models achieve very high performance, even on logical rules that were unseen at training. Moreover, we demonstrate that logical notions expressed by the rules are transferred to the fine-tuned model, yielding state-of-the-art results on external datasets.


title: Some Properties of the Intersection of Free Boundary Minimal Hypersurfaces in Euclidean Balls

abstract: In this work, we prove that any two free boundary minimal hypersurfaces in the unit Euclidean ball have an intersection point in any half-ball. This is a strong version of the Frankel property proved by A. Fraser and M. Li \cite{FRLI}. As a consequence, we obtain the two-piece property for free boundary minimal hypersurfaces in the unit ball: every equatorial disk divides any compact minimal hypersurface with free boundary in the unit ball in two connected pieces.


title: Quantum integrable systems and concentration of plasmon resonance

abstract: We are concerned with the quantitative mathematical understanding of surface plasmon resonance (SPR) when $d \geq 3$. SPR is the resonant oscillation of conducting electrons at the interface between negative and positive permittivity materials and forms the fundamental basis of many cutting-edge applications of metamaterials. It is recently found that the SPR concentrates due to curvature effect. In this paper, we derive sharper and more explicit characterisations of the SPR concentration at high-curvature places in both the static and quasi-static regimes. The study can be boiled down to analyzing the geometries of the so-called Neumann-Poincar\'e (NP) operators, which are certain pseudo-differential operators sitting on the interfacial boundary. We propose to study the joint Hamiltonian flow of an integral system given by the moment map defined by the NP operator. Via considering the Heisenberg picture and lifting the joint flow to a joint wave propagator, we establish a more general version of quantum ergodicity on each leaf of the foliation of this integrable system, which can then be used to establish the desired SPR concentration results. The mathematical framework developed in this paper leverages the Heisenberg picture of quantization and extends some results of quantum integrable system via generalising the concept of quantum ergodicity, which can be of independent interest to the spectral theory and the potential theory.


title: LOS: Local-Optimistic Scheduling of Periodic Model Training For Anomaly Detection on Sensor Data Streams in Meshed Edge Networks

abstract: Anomaly detection is increasingly important to handle the amount of sensor data in Edge and Fog environments, Smart Cities, as well as in Industry 4.0. To ensure good results, the utilized ML models need to be updated periodically to adapt to seasonal changes and concept drifts in the sensor data. Although the increasing resource availability at the edge can allow for in-situ execution of model training directly on the devices, it is still often offloaded to fog devices or the cloud. In this paper, we propose Local-Optimistic Scheduling (LOS), a method for executing periodic ML model training jobs in close proximity to the data sources, without overloading lightweight edge devices. Training jobs are offloaded to nearby neighbor nodes as necessary and the resource consumption is optimized to meet the training period while still ensuring enough resources for further training executions. This scheduling is accomplished in a decentralized, collaborative and opportunistic manner, without full knowledge of the infrastructure and workload. We evaluated our method in an edge computing testbed on real-world datasets. The experimental results show that LOS places the training executions close to the input sensor streams, decreases the deviation between training time and training period by up to 40% and increases the amount of successfully scheduled training jobs compared to an in-situ execution.


title: Some Morse-type inequalities for symplectic manifolds

abstract: Morse-type inequalities are given for the symplectic versions of the Bott-Chern and Aeppli cohomology groups defined by Tseng and Yau.


title: Recent advances of MXene saturable absorber for near-infrared mode-locked fiber laser

abstract: To date, MXene has been discovered for its viability as alternatives to conventional saturable absorber such as carbon nanotube and graphene. The characteristics of high nonlinear saturable absorption, astounding modulation depth, flexible bandgap tunability, and high electron density near Fermi level are the fundamentals of the MXene as an excellent saturable absorber candidate. In particular, the research effort contributed to MXene in nonlinear ul-trafast optics are extensively growing because MXene comprises one of the largest families in 2D nanomaterials that provides huge combination possibilities by forming a class of metal carbide or metal nitride with 2D layered structure. Herein, this review summarizes the recent development on synthesis and material characterization of the MXene, the studies on its nonlinear saturable absorption and the application of the MXene saturable absorber in near-infrared mode-locked fiber laser. Finally, some issues and challenges as well as future perspectives of this novel material are discussed.


title: Federated Deep Learning with Bayesian Privacy

abstract: Federated learning (FL) aims to protect data privacy by cooperatively learning a model without sharing private data among users. For Federated Learning of Deep Neural Network with billions of model parameters, existing privacy-preserving solutions are unsatisfactory. Homomorphic encryption (HE) based methods provide secure privacy protections but suffer from extremely high computational and communication overheads rendering it almost useless in practice . Deep learning with Differential Privacy (DP) was implemented as a practical learning algorithm at a manageable cost in complexity. However, DP is vulnerable to aggressive Bayesian restoration attacks as disclosed in the literature and demonstrated in experimental results of this work. To address the aforementioned perplexity, we propose a novel Bayesian Privacy (BP) framework which enables Bayesian restoration attacks to be formulated as the probability of reconstructing private data from observed public information. Specifically, the proposed BP framework accurately quantifies privacy loss by Kullback-Leibler (KL) Divergence between the prior distribution about the privacy data and the posterior distribution of restoration private data conditioning on exposed information}. To our best knowledge, this Bayesian Privacy analysis is the first to provides theoretical justification of secure privacy-preserving capabilities against Bayesian restoration attacks. As a concrete use case, we demonstrate that a novel federated deep learning method using private passport layers is able to simultaneously achieve high model performance, privacy-preserving capability and low computational complexity. Theoretical analysis is in accordance with empirical measurements of information leakage extensively experimented with a variety of DNN networks on image classification MNIST, CIFAR10, and CIFAR100 datasets.


title: Stochastic homogenization of degenerate integral functionals and their Euler-Lagrange equations

abstract: We prove stochastic homogenization for integral functionals defined on Sobolev spaces, where the stationary, ergodic integrand satisfies a degenerate growth condition of the form \begin{equation*} c|\xi A(\omega,x)|^p\leq f(\omega,x,\xi)\leq |\xi A(\omega,x)|^p+\Lambda(\omega,x) \end{equation*} for some $p\in (1,+\infty)$ and with a stationary and ergodic diagonal matrix $A$ such that its norm and the norm of its inverse satisfy minimal integrability assumptions. We also consider the convergence when Dirichlet boundary conditions or an obstacle condition are imposed. Assuming the strict convexity and differentiability of $f$ with respect to its last variable, we further prove that the homogenized integrand is also strictly convex and differentiable. These properties allow us to show homogenization of the associated Euler-Lagrange equations.


title: Objective metrics for language lateralization of fMRI examinations: a new model for the classification of hemispheric dominance in healthy subjects and epileptic patients

abstract: Purpose: to compare different methods to calculate Laterality Index (LI), a metric which allows to evaluate hemispheric brain language dominance in functional MRI examinations (fMRI). Methods: Two methods were considered for calculating LI: LI AVE and LI VOL , respectively based on the differences between measurements of average and volume of fMRI signal in brain hemispheres. Laterality curves were obtained calculating values of LI VOL with increasing thresholds of fMRI signal and fitted with sigmoidal functions. A model for dominant and co-dominant classification based on fit parameters has been developed. The two methods and the sigmoidal model were applied to two cohorts of 93 epileptic patients and 27 healthy subjects undergoing language fMRI examinations with association, understanding and fluency tasks. Results: Despite the different definitions, LI AVE and LI VOL resulted in equivalent classification of language lateralization. The agreement of neuroradiological clinical reports with classification of language lateralization resulting from the proposed methods ranged from 94.6% to 89.2% for LI metrics and up to 100% for the sigmoidal model. The fit parameters of the sigmoidal function defined empirical thresholds useful for classification between dominant and co-dominant, providing similar values for subjects and epileptic patients for fluency and association tasks. This result supports the idea of a unique model for language lateralization classification in epileptic patients and healthy subjects. Conclusions: Language lateralization in fMRI can be effectively assessed by objective metrics. A novel approach based on sigmoidal fit of laterality curves resulted in higher agreement with clinical reports providing further information about the strength of language lateralization.


title: The Probabilistic Explanation of the Cohort Component Population Projection Method

abstract: The probabilistic explanation of the direct and reverse cohort component population projection methods is presented. The main characteristics determining the probability distribution of the values for the direct and reverse component methods are found.


abstract: Domain adaptation is a potential method to train a powerful deep neural network, which can handle the absence of labeled data. More precisely, domain adaptation solving the limitation called dataset bias or domain shift when the training dataset and testing dataset are extremely different. Adversarial adaptation method becoming popular among other domain adaptation methods. Relies on the idea of GAN, adversarial domain adaptation tries to minimize the distribution between training and testing datasets base on the adversarial object. However, some conventional adversarial domain adaptation methods cannot handle large domain shifts between two datasets or the generalization ability of these methods are inefficient. In this paper, we propose an improved adversarial domain adaptation method called Semi-Supervised Adversarial Discriminative Domain Adaptation (SADDA), which can overcome the limitation of other domain adaptation. We also show that SADDA has better performance than other adversarial adaptation methods and illustrate the promise of our method on digit classification and emotion recognition problems.


title: Logarithmic Fourier decay for self conformal measures

abstract: We prove that the Fourier transform of a self conformal measure on $\mathbb{R}$ decays to $0$ at infinity at a logarithmic rate, unless the following holds: The underlying IFS is smoothly conjugated to an IFS that both acts linearly on its attractor and contracts by scales that are not Diophantine. Our key technical result is an effective version of a local limit Theorem for cocycles with moderate deviations due to Benoist-Quint (2016), that is of independent interest.


title: Quantifying Qubit Magic Resource with Gottesman-Kitaev-Preskill Encoding

abstract: Quantum resource theories are a powerful framework to characterize and quantify relevant quantum phenomena and identify processes that optimize their use for different tasks. Here, we define a resource measure for magic, the sought-after property in most fault-tolerant quantum computers. In contrast to previous literature, our formulation is based on bosonic codes, well-studied tools in continuous-variable quantum computation. Particularly, we use the Gottesman-Kitaev-Preskill code to represent multi-qubit states and consider the resource theory for the Wigner negativity. Our techniques are useful to find resource lower bounds for different applications as state conversion and general unitary synthesis, in which measurements, auxiliary states, and classical feed-forward are allowed. The analytical expression of our magic measure allows us to extend current analysis limited to small dimensions, easily addressing systems of up to 12 qubits.


title: Orbital entanglement mechanism of superconductivity in cuprates

abstract: We utilize a 1d Hubbard model to show that the superconductivity in cuprate superconductors likely arises due to the orbital entanglement between holes in the copper oxide plane mediated by orbitally-selective charge hopping. The main role of doping required to achieve superconductivity in cuprates is to suppress the Mott correlations and orbital ordering. The proposed mechanism explains superconductivity in other unconventional superconductors, and provides guidance in the search for new high-temperature superconductors.


title: Temporal Variations of the Three Geomagnetic Field Components at Colaba Observatory around the Carrington Storm in 1859

abstract: The Carrington storm in 1859 September has been arguably identified as the greatest geomagnetic storm ever recorded. However, its exact magnitude and chronology remain controversial, while their source data have been derived from the Colaba H magnetometer. Here, we have located the Colaba 1859 yearbook, containing hourly measurements and spot measurements. We have reconstructed the Colaba geomagnetic disturbances in the horizontal component ({\Delta}H), the eastward component ({\Delta}Y), and the vertical component ({\Delta}Z) around the time of the Carrington storm. On their basis, we have chronologically revised the ICME transit time as =< 17.1 hrs and located the {\Delta}H peak at 06:20 -- 06:25 UT, revealing a magnitude discrepancy between the hourly and spot measurements (-1691 nT vs. -1263 nT). Furthermore, we have newly derived the time series of {\Delta}Y and {\Delta}Z, which peaked at {\Delta}Y ~ 378 nT (05:50 UT) and 377 nT (06:25 UT), and {\Delta}Z ~ -173 nT (06:40 UT). We have also computed the hourly averages and removed the solar quiet (Sq) field variations from each geomagnetic component to derive their hourly variations with latitudinal weighting. Our calculations have resulted in the disturbance variations (Dist) with latitudinal weighting of Dist Y ~ 328 nT and Dist Z ~ -36 nT, and three scenarios of Dist H ~ -918, -979, and -949 nT, which also approximate the minimum Dst. These data may suggest preconditioning of the geomagnetic field after the August storm ({\Delta}H =< -570 nT), which made the September storm even more geoeffective.


title: Attention Gate in Traffic Forecasting

abstract: Because of increased urban complexity and growing populations, more and more challenges about predicting city-wide mobility behavior are being organized. Traffic Map Movie Forecasting Challenge 2020 is secondly held in the competition track of the Thirty-fourth Conference on Neural Information Processing Systems (NeurIPS). Similar to Traffic4Cast 2019, the task is to predict traffic flow volume, average speed in major directions on the geographical area of three big cities: Berlin, Istanbul, and Moscow. In this paper, we apply the attention mechanism on U-Net based model, especially we add an attention gate on the skip-connection between contraction path and expansion path. An attention gates filter features from the contraction path before combining with features on the expansion path, it enables our model to reduce the effect of non-traffic region features and focus more on crucial region features. In addition to the competition data, we also propose two extra features which often affect traffic flow, that are time and weekdays. We experiment with our model on the competition dataset and reproduce the winner solution in the same environment. Overall, our model archives better performance than recent methods.


title: ECG Beat Representation and Delineation by means of Variable Projection

abstract: The electrocardiogram (ECG) follows a characteristic shape, which has led to the development of several mathematical models for extracting clinically important information. Our main objective is to resolve limitations of previous approaches, that means to simultaneously cope with various noise sources, perform exact beat segmentation, and to retain diagnostically important morphological information. Methods: We therefore propose a model that is based on Hermite and sigmoid functions combined with piecewise polynomial interpolation for exact segmentation and low-dimensional representation of individual ECG beat segments. Hermite and sigmoidal functions enable reliable extraction of important ECG waveform information while the piecewise polynomial interpolation captures noisy signal features like the BLW. For that we use variable projection, which allows the separation of linear and nonlinear morphological variations of the according ECG waveforms. The resulting ECG model simultaneously performs BLW cancellation, beat segmentation, and low-dimensional waveform representation. Results: We demonstrate its BLW denoising and segmentation performance in two experiments, using synthetic and real data (Physionet QT database). Compared to state-of-the-art algorithms, the experiments showed less diagnostic distortion in case of denoising and a more robust delineation for the P and T wave. Conclusion: This work suggests a novel concept for ECG beat representation, easily adaptable to other biomedical signals with similar shape characteristics, such as blood pressure and evoked potentials. Significance: Our method is able to capture linear and nonlinear wave shape changes. Therefore, it provides a novel methodology to understand the origin of morphological variations caused, for instance, by respiration, medication, and abnormalities.


title: An Enhanced Span-based Decomposition Method for Few-Shot Sequence Labeling

abstract: Few-Shot Sequence Labeling (FSSL) is a canonical paradigm for the tagging models, e.g., named entity recognition and slot filling, to generalize on an emerging, resource-scarce domain. Recently, the metric-based meta-learning framework has been recognized as a promising approach for FSSL. However, most prior works assign a label to each token based on the token-level similarities, which ignores the integrality of named entities or slots. To this end, in this paper, we propose ESD, an Enhanced Span-based Decomposition method for FSSL. ESD formulates FSSL as a span-level matching problem between test query and supporting instances. Specifically, ESD decomposes the span matching problem into a series of span-level procedures, mainly including enhanced span representation, class prototype aggregation and span conflicts resolution. Extensive experiments show that ESD achieves the new state-of-the-art results on two popular FSSL benchmarks, FewNERD and SNIPS, and is proven to be more robust in the nested and noisy tagging scenarios. Our code is available at https://github.com/Wangpeiyi9979/ESD.


title: Mono-elemental saturable absorber in mode-locked fiber laser: A review

abstract: Two-dimensional mono-elemental material is an excellent saturable absorber candidate with low saturation intensity, large modulation depth, high nonlinearities, and fast recovery time of excited carriers. Typically, these mono-elemental material with two-dimensional structure possesses tunable bandgap from metallic to semiconducting according to different number of layers. The successful application of these materials as the saturable absorber has exploited the development of mode-locked fiber lasers. Therefore, this review is intended to provide an up-to-date information to the development of mono-elemental saturable absorber for the advances in mode-locked fiber laser, with emphasis on their material properties, synthesis process and material characterization. Meanwhile, issues and challenges of the review research topic will be highlighted and addressed with several concrete recommendations.


title: Finiteness Theorems for Gromov-Hyperbolic Spaces and Groups

abstract: In this article we prove that the set of torsion-free groups acting by isometries on a hyperbolic metric space whose entropy is bounded above and with a compact quotient is finite. The number of such groups can be estimated in terms of the hyperbolicity constant and of an upper bound of the entropy of the space and of an upper bound of the diameter of its quotient. As a consequence we show that the set of non cyclic torsion-free $\delta$-hyperbolic marked groups whose entropy is bounded above by a number $H$ is finite with cardinality depending on $\delta$ and $H$ alone. From these results, we draw homotopical and topological finiteness theorems for compact metric spaces and manifolds.


title: Production of light (anti)nuclei in pp collisions at $\sqrt{s} = 13$ TeV

abstract: Understanding the production mechanism of light (anti)nuclei is one of the key challenges of nuclear physics and has important consequences for astrophysics, since it provides an input for indirect dark-matter searches in space. In this paper, the latest results about the production of light (anti)nuclei in pp collisions at $\sqrt{s} = 13$ TeV are presented, focusing on the comparison with the predictions of coalescence and thermal models. For the first time, the coalescence parameters $B_2$ for deuterons and $B_3$ for helions are compared with parameter-free theoretical predictions that are directly constrained by the femtoscopic measurement of the source radius in the same event class. A fair description of the data with a Gaussian wave function is observed for both deuteron and helion, supporting the coalescence mechanism for the production of light (anti)nuclei in pp collisions. This method paves the way for future investigations of the internal structure of more complex nuclear clusters, including the hypertriton.


title: Experience feedback using Representation Learning for Few-Shot Object Detection on Aerial Images

abstract: This paper proposes a few-shot method based on Faster R-CNN and representation learning for object detection in aerial images. The two classification branches of Faster R-CNN are replaced by prototypical networks for online adaptation to new classes. These networks produce embeddings vectors for each generated box, which are then compared with class prototypes. The distance between an embedding and a prototype determines the corresponding classification score. The resulting networks are trained in an episodic manner. A new detection task is randomly sampled at each epoch, consisting in detecting only a subset of the classes annotated in the dataset. This training strategy encourages the network to adapt to new classes as it would at test time. In addition, several ideas are explored to improve the proposed method such as a hard negative examples mining strategy and self-supervised clustering for background objects. The performance of our method is assessed on DOTA, a large-scale remote sensing images dataset. The experiments conducted provide a broader understanding of the capabilities of representation learning. It highlights in particular some intrinsic weaknesses for the few-shot object detection task. Finally, some suggestions and perspectives are formulated according to these insights.


title: Investigation and comparison of measurement schemes in the low frequency biosensing regime using solid-state defect centers

abstract: Ensembles of solid state defects in diamond make promising quantum sensors with high sensitivity and spatiotemporal resolution. The inhomogeneous broadening and drive amplitude variations across such ensembles have differing impacts on the sensitivity depending on the sensing scheme used, adding to the challenge of choosing the optimal sensing scheme for a particular sensing regime. In this work, we numerically investigate and compare the predicted sensitivity of schemes based on continuous-wave (CW) optically detected magnetic resonance (ODMR) spectroscopy, pi-pulse ODMR and Ramsey interferometry for sensing using nitrogen-vacancy centers in the low-frequency (<10 kHz) range typical for signals from biological sources. We show that inhomogeneous broadening has the strongest impact on the sensitivity of Ramsey interferometry, and drive amplitude variations least impact the sensitivity of CW ODMR, with all methods constrained by the Rabi frequency. Based on our results, we can identify three different regions of interest. For inhomogeneous broadening less than 0.3 MHz, typical of diamonds used in state of the art sensing experiments, Ramsey interferometry yields the highest sensitivity. In the regime where inhomogeneous broadening is greater than 0.3 MHz, such as for standard optical grade diamonds or in miniaturized integrated devices, drive amplitude variations determine the optimal protocol to use. For low to medium drive amplitude variations, the highest sensitivity is reached using pi-pulse ODMR. For high drive amplitude variations, relevant for widefield microscopic imaging, CW ODMR can yield the best sensing performance.


title: Every time I fire a conversational designer, the performance of the dialog system goes down

abstract: Incorporating explicit domain knowledge into neural-based task-oriented dialogue systems is an effective way to reduce the need of large sets of annotated dialogues. In this paper, we investigate how the use of explicit domain knowledge of conversational designers affects the performance of neural-based dialogue systems. To support this investigation, we propose the Conversational-Logic-Injection-in-Neural-Network system (CLINN) where explicit knowledge is coded in semi-logical rules. By using CLINN, we evaluated semi-logical rules produced by a team of differently skilled conversational designers. We experimented with the Restaurant topic of the MultiWOZ dataset. Results show that external knowledge is extremely important for reducing the need of annotated examples for conversational systems. In fact, rules from conversational designers used in CLINN significantly outperform a state-of-the-art neural-based dialogue system.


title: GPU Accelerated Batch Multi-Convex Trajectory Optimization for a Rectangular Holonomic Mobile Robot

abstract: We present a batch trajectory optimizer that can simultaneously solve hundreds of different instances of the problem in real-time. We consider holonomic robots but relax the assumption of circular base footprint. Our main algorithmic contributions lie in: (i) improving the computational tractability of the underlying non-convex problem and (ii) leveraging batch computation to mitigate initialization bottlenecks and improve solution quality. We achieve both goals by deriving a multi-convex reformulation of the kinematics and collision avoidance constraints. We exploit these structures through an Alternating Minimization approach and show that the resulting batch operation reduces to computing just matrix-vector products that can be trivially accelerated over GPUs. We improve the state-of-the-art in three respects. First, we improve quality of navigation (success-rate, tracking) as compared to baseline approach that relies on computing a single locally optimal trajectory at each control loop. Second, we show that when initialized with trajectory samples from a Gaussian distribution, our batch optimizer outperforms state-of-the-art cross-entropy method in solution quality. Finally, our batch optimizer is several orders of magnitude faster than the conceptually simpler alternative of running different optimization instances in parallel CPU threads. \textbf{Codes:} \url{https://tinyurl.com/a3b99m8}


title: Rotating black holes in general relativity coupled to nonlinear electrodynamics

abstract: We find an exact spherically symmetric magnetically charged black hole solution to general relativity (GR) coupled to nonlinear electrodynamics (NED) with an appropriate Lagrangian density. In turn, starting with this spherical black hole as a seed metric, we construct a rotating spacetime, a modification of Kerr black hole, using the revised Newman-Janis algorithm that depends on mass, spin, and a NED parameter $g$. We find an exact expression for thermodynamic quantities of the black holes like the mass, Hawking temperature, entropy, heat capacity, and free energy expressed in terms of horizon radius, and they show significant deviations from the Kerr case owing to NED. We also calculate analytical expressions for effective Komar mass and angular momentum for the rotating black hole and demonstrate that the Komar conserved quantity corresponding to the null Killing vector at horizon obeys $\mathcal{K}_{\chi}=2S_+T_+.$ The radiating counterpart renders a generalization of Carmeli's spacetime as well as Vaidya's spacetime in the appropriate limits.


title: Patterns of Lexical Ambiguity in Contextualised Language Models

abstract: One of the central aspects of contextualised language models is that they should be able to distinguish the meaning of lexically ambiguous words by their contexts. In this paper we investigate the extent to which the contextualised embeddings of word forms that display multiplicity of sense reflect traditional distinctions of polysemy and homonymy. To this end, we introduce an extended, human-annotated dataset of graded word sense similarity and co-predication acceptability, and evaluate how well the similarity of embeddings predicts similarity in meaning. Both types of human judgements indicate that the similarity of polysemic interpretations falls in a continuum between identity of meaning and homonymy. However, we also observe significant differences within the similarity ratings of polysemes, forming consistent patterns for different types of polysemic sense alternation. Our dataset thus appears to capture a substantial part of the complexity of lexical ambiguity, and can provide a realistic test bed for contextualised embeddings. Among the tested models, BERT Large shows the strongest correlation with the collected word sense similarity ratings, but struggles to consistently replicate the observed similarity patterns. When clustering ambiguous word forms based on their embeddings, the model displays high confidence in discerning homonyms and some types of polysemic alternations, but consistently fails for others.


title: Adaptive Model Predictive Safety Certification for Learning-based Control -- Extended Version

abstract: We propose an adaptive Model Predictive Safety Certification (MPSC) scheme for learning-based control of linear systems with bounded disturbances and uncertain parameters where the true parameters are contained within an a priori known set of parameters. An MPSC is a modular framework which can be used in combination with any learning-based controller to ensure state and input constraint satisfaction of a dynamical system by solving an online optimisation problem. By continuously connecting the current system state with a safe terminal set using a robust tube, safety can be ensured. Thereby, the main sources of conservative safety interventions are model uncertainties and short planning horizons. We develop an adaptive mechanism to improve the system model, which leverages set-membership estimation to guarantee recursively feasible and non-decreasing safety performance improvements. In order to accommodate short prediction horizons, iterative safe set enlargements using previously computed robust backup plans are proposed. Finally, we illustrate the increase of the safety performance through the parameter and safe set adaptation for numerical examples with up to 16 state dimensions.


title: Triharmonic Curves in f-Kenmotsu Manifolds

abstract: The aim of this paper is to study triharmonic curves in three dimensional f-Kenmotsu manifolds. We investigate necessary and sufficient conditions for Frenet curves, and specifically for slant and Legendre curves to be triharmonic. Then we prove that triharmonic Frenet curves with constant curvature are Frenet helices in three dimensional f-Kenmotsu manifolds. Next, we give a nonexistence theorem that there is no triharmonic Legendre curve in three dimensional f-Kenmotsu manifolds.


title: Virtual planar braid groups and permutations

abstract: Twin groups and virtual twin groups are planar analogues of braid groups and virtual braid groups, respectively. These groups play the role of braid groups in the Alexander-Markov correspondence for the theory of stable isotopy classes of immersed circles on orientable surfaces. Motivated by the general idea of Artin and a recent work of Bellingeri and Paris \cite{BellingeriParis2020}, we obtain a complete description of homomorphisms between virtual twin groups and symmetric groups, which as an application gives us the precise structure of the automorphism group of the virtual twin group $VT_n$ on $n \ge 2$ strands. This is achieved by showing the existence of an irreducible right-angled Coxeter group $KT_n$ inside $VT_n$. As a by-product, it also follows that the twin group $T_n$ embeds inside the virtual twin group $VT_n$, which is an analogue of a similar result for braid groups.


title: Learning Attacker's Bounded Rationality Model in Security Games

abstract: The paper proposes a novel neuroevolutionary method (NESG) for calculating leader's payoff in Stackelberg Security Games. The heart of NESG is strategy evaluation neural network (SENN). SENN is able to effectively evaluate leader's strategies against an opponent who may potentially not behave in a perfectly rational way due to certain cognitive biases or limitations. SENN is trained on historical data and does not require any direct prior knowledge regarding the follower's target preferences, payoff distribution or bounded rationality model. NESG was tested on a set of 90 benchmark games inspired by real-world cybersecurity scenario known as deep packet inspections. Experimental results show an advantage of applying NESG over the existing state-of-the-art methods when playing against not perfectly rational opponents. The method provides high quality solutions with superior computation time scalability. Due to generic and knowledge-free construction of NESG, the method may be applied to various real-life security scenarios.


title: Language Invariant Properties in Natural Language Processing

abstract: Meaning is context-dependent, but many properties of language (should) remain the same even if we transform the context. For example, sentiment, entailment, or speaker properties should be the same in a translation and original of a text. We introduce language invariant properties: i.e., properties that should not change when we transform text, and how they can be used to quantitatively evaluate the robustness of transformation algorithms. We use translation and paraphrasing as transformation examples, but our findings apply more broadly to any transformation. Our results indicate that many NLP transformations change properties like author characteristics, i.e., make them sound more male. We believe that studying these properties will allow NLP to address both social factors and pragmatic aspects of language. We also release an application suite that can be used to evaluate the invariance of transformation applications.


title: Discrete Sampling of Extreme Events Modifies Their Statistics

abstract: Extreme value (EV) statistics of correlated systems are widely investigated in many fields, spanning the spectrum from weather forecasting to earthquake prediction. Does the unavoidable discrete sampling of a continuous correlated stochastic process change its EV distribution? We explore this question for correlated random variables modeled via Langevin dynamics for a particle in a potential field. For potentials growing at infinity faster than linearly and for long measurement times, we find that the EV distribution of the discretely sampled process diverges from that of the full continuous dataset and converges to that of independent and identically distributed random variables drawn from the process's equilibrium measure. However, for processes with sublinear potentials, the long-time limit is the EV statistics of the continuously sampled data. We treat processes whose equilibrium measures belong to the three EV attractors: Gumbel, Fr\'echet, and Weibull. Our work shows that the EV statistics can be extremely sensitive to the sampling rate of the data.


title: CR relatives Kaehler manifolds

abstract: In this paper we show that two K\"ahler manifolds which do not share a K\"ahler submanifold, do not share either a Levi degenerate CR-submanifold with constant dimension Levi kernel. In particular, they do not share a CR-product. Further, we obtain that a Levi degenerate CR-submanifold of $\mathbb C^n$ cannot be isometrically immersed into a flag manifold.


title: Fuzzy-set approach to invariant idempotent measures

abstract: We provide a new approach to the Hutchinson-Barnsley theory for idempotent measures first presented in N. Mazurenko, M. Zarichnyi, Invariant idempotent measures, Carpathian Math. Publ., 10 (2018), 1, 172--178. The main feature developed here is a metrization of the space of idempotent measures using the embedding of the space of idempotent measures to the space of fuzzy sets. The metric obtained induces a topology stronger than the canonical pointwise convergence topology. A key result is the existence of a bijection between idempotent measures and fuzzy sets and a conjugation between the Markov operator of an IFS on idempotent measures and the fuzzy fractal operator of the associated Fuzzy IFS. This allows to prove that the Markov operator for idempotent measures is a contraction w.r.t. the induced metric and, from this, to obtain a convergence theorem and algorithms that draw pictures of invariant measures as greyscale images.


title: The motion of an unbalanced circular foil in the field of a point source

abstract: Describing the phenomena of the surrounding world is an interesting task that has long attracted the attention of scientists. However, even in seemingly simple phenomena, complex dynamics can be revealed. In particular, leaves on the surface of various bodies of water exhibit complex behavior. This paper addresses an idealized description of the mentioned phenomenon. Namely, the problem of the plane-parallel motion of an unbalanced circular disk moving in a stream of simple structure created by a point source is considered. Note that using point sources, it is possible to approximately simulate the work of skimmers used for cleaning swimming pools. Equations of joint motion of the unbalanced circular disk and the point source. It is shown that in the case of a fixed source of constant intensity the equations of motion of the disk are Hamiltonian. In addition, in the case of a balanced circular disk the equations of motion are integrable. A bifurcation analysis of the integrable case is carried out. Using a scattering map, it is shown that the equations of motion of the unbalanced disk are nonintegrable. The nonintegrability found here can explain the complex motion of leaves in surface streams of bodies of water.


title: Locally Sparse Function on function Regression

abstract: In functional data analysis, functional linear regression has attracted significant attention recently. Herein, we consider the case where both the response and covariates are functions. There are two available approaches for addressing such a situation: concurrent and nonconcurrent functional models. In the former, the value of the functional response at a given domain point depends only on the value of the functional regressors evaluated at the same domain point, whereas, in the latter, the functional covariates evaluated at each point of their domain have a non-null effect on the response at any point of its domain. To balance these two extremes, we propose a locally sparse functional regression model in which the functional regression coefficient is allowed (but not forced) to be exactly zero for a subset of its domain. This is achieved using a suitable basis representation of the functional regression coefficient and exploiting an overlapping group-Lasso penalty for its estimation. We introduce efficient computational strategies based on majorization-minimization algorithms and discuss appealing theoretical properties regarding the model support and consistency of the proposed estimator. We further illustrate the empirical performance of the method through simulations and two applications related to human mortality and bidding the energy market.


title: Optimal quantum annealing: A variational shortcut to adiabaticity approach

abstract: Suppressing unwanted transitions out of the instantaneous ground state is a major challenge in unitary adiabatic quantum computation. A recent approach consists in building counterdiabatic potentials approximated using variational strategies. In this contribution, we extend this variational approach to Lindbladian dynamics, having as a goal the suppression of diabatic transitions between pairs of Jordan blocks in quantum annealing. We show that, surprisingly, unitary counterdiabatic ans\"atze are successful for dissipative dynamics as well, allowing for easier experimental implementations compared to Lindbladian ans\"atze involving dissipation. Our approach not only guarantees improvements of open-system adiabaticity but also enhances the success probability of quantum annealing.


title: Quasiparticle electronic structure of phthalocyanine:TMD interfaces from first-principles $GW$

abstract: Interfaces formed between monolayer transition metal dichalcogenides (TMDs) and (metallo)phthalocyanine molecules are promising in energy applications and provide a platform for studying mixed-dimensional molecule-semiconductor heterostructures in general. An accurate characterization of the frontier energy level alignment at these interfaces is key in the fundamental understanding of the charge transfer dynamics between the two photon absorbers. Here, we employ the first-principles substrate screening $GW$ approach to quantitatively characterize the quasiparticle electronic structure of a series of interfaces: metal-free phthalocyanine (H$_2$Pc) adsorbed on monolayer MX$_2$ (M=Mo, W; X=S, Se) and zinc phthalocyanine (ZnPc) adsorbed on MoX$_2$ (X=S, Se). Furthermore, we reveal the dielectric screening effect of the commonly used $\alpha$-quartz (SiO$_2$) substrate on the H$_2$Pc:MoS$_2$ interface, using the dielectric embedding $GW$ approach. Our calculations furnish the first set of $GW$ results for these interfaces, providing structure-property relationship across a series of similar systems and benchmarks for future experimental and theoretical studies.


title: Existence of invariant idempotent measures by contractivity of idempotent Markov operators

abstract: We prove that the idempotent Markov operator generated by contractive max plus normalized iterated function system (IFS) is also a contractive map w.r.t. natural metrics on the space of idempotent measures. This gives alternative proofs of the existence of invariant idempotent measures for such IFSs.


title: The Spread of Propaganda by Coordinated Communities on Social Media

abstract: Large-scale manipulations on social media have two important characteristics: (i) use of propaganda to influence others, and (ii) adoption of coordinated behavior to spread it and to amplify its impact. Despite the connection between them, these two characteristics have so far been considered in isolation. Here we aim to bridge this gap. In particular, we analyze the spread of propaganda and its interplay with coordinated behavior on a large Twitter dataset about the 2019 UK general election. We first propose and evaluate several metrics for measuring the use of propaganda on Twitter. Then, we investigate the use of propaganda by different coordinated communities that participated in the online debate. The combination of the use of propaganda and coordinated behavior allows us to uncover the authenticity and harmfulness of the different communities. Finally, we compare our measures of propaganda and coordination with automation (i.e., bot) scores and Twitter suspensions, revealing interesting trends. From a theoretical viewpoint, we introduce a methodology for analyzing several important dimensions of online behavior that are seldom conjointly considered. From a practical viewpoint, we provide new insights into authentic and inauthentic online activities during the 2019 UK general election.


title: A note on two classes of hyperideals

abstract: In this paper, we define the concepts of r-hyperideal and n-hyperideal of the multiplicative hyperring R which are two new classes of hyperideals. Several properties of them are provided.


title: Log Calabi-Yau surfaces and Jeffrey-Kirwan residues

abstract: We prove an equality, predicted in the physical literature, between the Jeffrey-Kirwan residues of certain explicit meromorphic forms attached to a quiver without loops or oriented cycles and its Donaldson-Thomas type invariants. In the special case of complete bipartite quivers we also show independently, using scattering diagrams and theta functions, that the same Jeffrey-Kirwan residues are determined by the the Gross-Hacking-Keel mirror family to a log Calabi-Yau surface.


title: A communication efficient distributed learning framework for smart environments

abstract: Due to the pervasive diffusion of personal mobile and IoT devices, many ``smart environments'' (e.g., smart cities and smart factories) will be, among others, generators of huge amounts of data. Currently, this is typically achieved through centralised cloud-based data analytics services. However, according to many studies, this approach may present significant issues from the standpoint of data ownership, and even wireless network capacity. One possibility to cope with these shortcomings is to move data analytics closer to where data is generated. In this paper, we tackle this issue by proposing and analyzing a distributed learning framework, whereby data analytics are performed at the edge of the network, i.e., on locations very close to where data is generated. Specifically, in our framework, partial data analytics are performed directly on the nodes that generate the data, or on nodes close by (e.g., some of the data generators can take this role on behalf of subsets of other nodes nearby). Then, nodes exchange partial models and refine them accordingly. Our framework is general enough to host different analytics services. In the specific case analysed in the paper, we focus on a learning task, considering two distributed learning algorithms. Using an activity recognition and a pattern recognition task, both on reference datasets, we compare the two learning algorithms between each other and with a central cloud solution (i.e., one that has access to the complete datasets). Our results show that using distributed machine learning techniques, it is possible to drastically reduce the network overhead, while obtaining performance comparable to the cloud solution in terms of learning accuracy. The analysis also shows when each distributed learning approach is preferable, based on the specific distribution of the data on the nodes.


title: Learning of Parameters in Behavior Trees for Movement Skills

abstract: Reinforcement Learning (RL) is a powerful mathematical framework that allows robots to learn complex skills by trial-and-error. Despite numerous successes in many applications, RL algorithms still require thousands of trials to converge to high-performing policies, can produce dangerous behaviors while learning, and the optimized policies (usually modeled as neural networks) give almost zero explanation when they fail to perform the task. For these reasons, the adoption of RL in industrial settings is not common. Behavior Trees (BTs), on the other hand, can provide a policy representation that a) supports modular and composable skills, b) allows for easy interpretation of the robot actions, and c) provides an advantageous low-dimensional parameter space. In this paper, we present a novel algorithm that can learn the parameters of a BT policy in simulation and then generalize to the physical robot without any additional training. We leverage a physical simulator with a digital twin of our workstation, and optimize the relevant parameters with a black-box optimizer. We showcase the efficacy of our method with a 7-DOF KUKA-iiwa manipulator in a task that includes obstacle avoidance and a contact-rich insertion (peg-in-hole), in which our method outperforms the baselines.


title: Electron-only Reconnection in Ion-scale Current Sheet at the Magnetopause

abstract: In the standard model of magnetic reconnection, both ions and electrons couple to the newly reconnected magnetic field lines and are ejected away from the reconnection diffusion region in the form of bidirectional burst ion and electron jets. Recent observations propose a new model: electron only magnetic reconnection without ion coupling in electron scale current sheet. Based on the data from Magnetospheric Multiscale (MMS) Mission, we observe a long extension inner electron diffusion region (EDR) at least 40 di away from the X line at the terrestrial Magnetopause, implying that the extension of EDR is much longer than the prediction of the theory and simulations. This inner EDR is embedded in an ion scale current sheet (the width of 4 di, di is ion inertial length). However, such ongoing magnetic reconnection was not accompanied with burst ion outflow, implying the presence of electron only reconnection in ion scale current sheet. Our observations present new challenge for understanding the model of standard magnetic reconnection and electron only reconnection model in electron scale current sheet.


title: Hadamard Matrix Torsion

abstract: We construct a series HMT$(n)$ of $2$-dimensional simplicial complexes with torsion $H_1($HMT$(n))=(\mathbb{Z}_2)^{{k}\choose{1}} \times (\mathbb{Z}_4)^{{k}\choose{2}} \times \cdots \times (\mathbb{Z}_{2^k})^{{k}\choose{k}}$, $|H_1($HMT$(n))|=|$det(H$(n))|=n^{n/2} \in \Theta(2^{n \log n})$, where the construction is based on the Hadamard matrices H$(n)$ for $n\geq 2$ a power of $2$, i.e., $n=2^k, \ k \geq 1$. The examples have linearly many vertices, their face vector is $f(HMT(n))=(5n-1,3n^2+9n-6,3n^2+4n-4)$. Our explicit series with torsion growth in $\Theta(2^{n \log n})$ is constructed in quadratic time $\Theta(n^{2})$ and improves a previous construction by Speyer with torsion growth in $\Theta(2^{n})$, narrowing the gap to the highest possible asymptotic torsion growth in $\Theta(2^{n^2})$ proved by Kalai via a probabilistic argument.


title: Observational scalings testing modified gravity

abstract: We consider different observational effects to test modified gravity approach involving the cosmological constant in the common description of the dark matter and the dark energy. We obtain upper limits for the cosmological constant by studying the scaling relations for 12 nearby galaxy clusters, the radiated power from gravitational waves and the Tully-Fisher relation for super spiral galaxies. Our estimations reveal that, for all these cases the upper limits for $\Lambda$ are consistent with its actual value predicted by the cosmological observations.


title: Fundamental parameters of the massive eclipsing binary HM1 8

abstract: We present a comprehensive study of the massive binary system HM1~8, based on multi-epoch high resolution spectroscopy, $V$-band photometry and archival X-ray data. Spectra from the OWN Survey, a high resolution optical monitoring of Southern O and WN stars, are used to analyse the spectral morphology and perform quantitative spectroscopic analysis of both stellar components. The primary and secondary components are classified as O4.5~IV(f) and O9.7~V, respectively. From a radial-velocity (RV) study we derived a set of orbital parameters for the system. We found an eccentric orbit ($e=0.14 \pm 0.01$) with a period of $P = 5.87820 \pm 0.00008$~days. Through the simultaneous analysis of the RVs and the $V$-band light curve we derived an orbital inclination of $70.0^{\circ} \pm 2.0$ and stellar masses of $M_a=33.6^{+1.4}_{-1.2}~\text{M}_{\sun}$ for the primary, and $M_b=17.7^{+0.5}_{-0.7}~\text{M}_{\sun}$ for the secondary. The components show projected rotational velocities $v_1\sin{i}=105 \pm 14~\text{km~s}^{-1}$ and $v_2\sin{i}=82 \pm 15~\text{km~s}^{-1}$, respectively. A tidal evolution analysis is also performed and found to be in agreement with the orbital characteristics. Finally, the available X-ray observations show no evidence of a colliding winds region, therefore the X-ray emission is attributed to stellar winds.


title: Minimax Mixing Time of the Metropolis-Adjusted Langevin Algorithm for Log-Concave Sampling

abstract: We study the mixing time of the Metropolis-adjusted Langevin algorithm (MALA) for sampling from a log-smooth and strongly log-concave distribution. We establish its optimal minimax mixing time under a warm start. Our main contribution is two-fold. First, for a $d$-dimensional log-concave density with condition number $\kappa$, we show that MALA with a warm start mixes in $\tilde O(\kappa \sqrt{d})$ iterations up to logarithmic factors. This improves upon the previous work on the dependency of either the condition number $\kappa$ or the dimension $d$. Our proof relies on comparing the leapfrog integrator with the continuous Hamiltonian dynamics, where we establish a new concentration bound for the acceptance rate. Second, we prove a spectral gap based mixing time lower bound for reversible MCMC algorithms on general state spaces. We apply this lower bound result to construct a hard distribution for which MALA requires at least $\tilde \Omega (\kappa \sqrt{d})$ steps to mix. The lower bound for MALA matches our upper bound in terms of condition number and dimension. Finally, numerical experiments are included to validate our theoretical results.


title: First principles study of electron transport through diarythylene transition metal dichalcogenide molecular switch

abstract: Computational methods are fast becoming an integral part of nanoelectronics design process. With increasing computational power, electron transport simulation methods such as Non-equilibrium Greens function (NEGF) methods now hold promise in study and design of new electronic devices. Single molecule circuits as optimized device size covers a significant electron transmission, which originated of intrinsic molecular properties. In this study, we study and design a single molecule switch based on a transition metal dichalcogenide (TMD) electrode (molybdenum disulphide (MoS2)) and a photochromic molecule. The chosen molecule, Diarylethene, is one of the only few thermally irreversible photochromes. The 1T phase of TMD monolayer has metallic properties and can act as a conducting electrode for these molecular switches. Further, the 1T phase can be functionalized using thiol chemistry, which leads to the formation of covalent C-S bonds that enable further addition of functional photochromic groups to the TMD surface. In this report, we compare and contrast different chemistry and spacer groups with respect to their response as a molecular switch, focusing on the ON/OFF transmission ratio at the Fermi level. We identify chemistries for further experimentation. If experimentally realized, these switches are expected to become integral part of various applications including molecular memories, photon detectors and logic devices.


title: Systematics of the heavy flavor hadronic molecules

abstract: With a quark level interaction, we give a unified description of the loosely bound molecular systems composed of the heavy flavor hadrons $(\bar{D},\bar{D}^*)$, $(\Lambda_c, \Sigma_c, \Sigma_c^*)$, and $(\Xi_c, \Xi_c^\prime,\Xi_c^*)$. Using the $P_c$ states as inputs to fix the interaction strength of light quark-quark pairs, we reproduce the observed $P_{cs}$ and $T_{cc}^+$ states and predict another narrow $T_{cc}^{\prime+}$ state with quantum numbers $[D^*D^*]_{J=1}^{I=0}$. If we require a satisfactory description of the $T_{cc}^+$ and $P_c$ states simultaneously, our framework prefers the assignments of the $P_{c}(4440)$ and $P_{c}(4457)$ as the $[\Sigma_c\bar{D}^*]_{J=1/2}^{I=1/2}$ and $[\Sigma_c\bar{D}^*]_{J=3/2}^{I=1/2}$ states, respectively. We propose the isospin criterion to explain naturally why the experimentally observed $T_{cc}$, $P_c$, and $P_{cs}$ molecular candidates prefer the lowest isospin numbers. We also predict the loosely bound states for the bottom di-hadrons.