title: Entropy production of non-reciprocal interactions

abstract: Non-reciprocal interactions are present in many systems out of equilibrium. The rate of entropy production is a measure that quantifies the time irreversibility of a system, and thus how far it is from equilibrium. In this work, we introduce a non-motile active particle system where activity originates from asymmetric, pairwise interaction forces that result in an injection of energy at the microscopic scale. We calculate stationary correlation functions and entropy production rate in three exactly solvable cases, and analyse a more general case in a perturbation theory as an expansion in weak interactions using a fully microscopic description. Our results show that equilibrium may be recovered by adjusting the diffusion constants despite non-reciprocity, revealing an equivalence in the absolute amplitude of the force and diffusivity. We support our analytical results with numerical simulations.


title: NLP-based Automated Compliance Checking of Data Processing Agreements against GDPR

abstract: Processing personal data is regulated in Europe by the General Data Protection Regulation (GDPR) through data processing agreements (DPAs). Checking the compliance of DPAs contributes to the compliance verification of software systems as DPAs are an important source of requirements for software development involving the processing of personal data. However, manually checking whether a given DPA complies with GDPR is challenging as it requires significant time and effort for understanding and identifying DPA-relevant compliance requirements in GDPR and then verifying these requirements in the DPA. In this paper, we propose an automated solution to check the compliance of a given DPA against GDPR. In close interaction with legal experts, we first built two artifacts: (i) the "shall" requirements extracted from the GDPR provisions relevant to DPA compliance and (ii) a glossary table defining the legal concepts in the requirements. Then, we developed an automated solution that leverages natural language processing (NLP) technologies to check the compliance of a given DPA against these "shall" requirements. Specifically, our approach automatically generates phrasal-level representations for the textual content of the DPA and compares it against predefined representations of the "shall" requirements. Over a dataset of 30 actual DPAs, the approach correctly finds 618 out of 750 genuine violations while raising 76 false violations, and further correctly identifies 524 satisfied requirements. The approach has thus an average precision of 89.1%, a recall of 82.4%, and an accuracy of 84.6%. Compared to a baseline that relies on off-the-shelf NLP tools, our approach provides an average accuracy gain of ~20 percentage points. The accuracy of our approach can be improved to ~94% with limited manual verification effort.


title: GANet: Goal Area Network for Motion Forecasting

abstract: Predicting the future motion of road participants is crucial for autonomous driving but is extremely challenging due to staggering motion uncertainty. Recently, most motion forecasting methods resort to the goal-based strategy, i.e., predicting endpoints of motion trajectories as conditions to regress the entire trajectories, so that the search space of solution can be reduced. However, accurate goal coordinates are hard to predict and evaluate. In addition, the point representation of the destination limits the utilization of a rich road context, leading to inaccurate prediction results in many cases. Goal area, i.e., the possible destination area, rather than goal coordinate, could provide a more soft constraint for searching potential trajectories by involving more tolerance and guidance. In view of this, we propose a new goal area-based framework, named Goal Area Network (GANet), for motion forecasting, which models goal areas rather than exact goal coordinates as preconditions for trajectory prediction, performing more robustly and accurately. Specifically, we propose a GoICrop (Goal Area of Interest) operator to effectively extract semantic lane features in goal areas and model actors' future interactions, which benefits a lot for future trajectory estimations. GANet ranks the 1st on the leaderboard of Argoverse Challenge among all public literature (till the paper submission), and its source codes will be released.


title: Advanced Data Protection Control (ADPC): An Interdisciplinary Overview

abstract: The Advanced Data Protection Control (ADPC) is a technical specification - and a set of sociotechnical mechanisms surrounding it - that can change the current practice of Internet-based personal data protection and consenting by providing novel and standardized means for the communication of privacy and consenting data, meta-data, information, requests, preferences, and decisions. The ADPC supports humans in practicing their rights to privacy and agency by giving them more human-centric control over the processing of their personal data and consent. It helps the data controllers to improve their users' experiences and provides them with easy-to-adopt means to comply with the relevant legal and ethical requirements and expectations.


title: OC-PM: Analyzing Object-Centric Event Logs and Process Models

abstract: Object-centric process mining is a novel branch of process mining that aims to analyze event data from mainstream information systems (such as SAP) more naturally, without being forced to form mutually exclusive groups of events with the specification of a case notion. The development of object-centric process mining is related to exploiting object-centric event logs, which includes exploring and filtering the behavior contained in the logs and constructing process models which can encode the behavior of different classes of objects and their interactions (which can be discovered from object-centric event logs). This paper aims to provide a broad look at the exploration and processing of object-centric event logs to discover information related to the lifecycle of the different objects composing the event log. Also, comprehensive tool support (OC-PM) implementing the proposed techniques is described in the paper.


title: Storage Management with Multi-Version Partitioned B-Trees

abstract: Database Management Systems and K/V-Stores operate on updatable datasets -- massively exceeding the size of available main memory. Tree-based K/V storage management structures became particularly popular in storage engines. B+ Trees allow constant search performance, however write-heavy workloads yield in inefficient write patterns to secondary storage devices and poor performance characteristics. LSM-Trees overcome this issue by horizontal partitioning fractions of data - small enough to fully reside in main memory, but require frequent maintenance to sustain search performance. Firstly, we propose Multi-Version Partitioned BTrees (MV-PBT) as sole storage and index management structure in key-sorted storage engines like K/V-Stores. Secondly, we compare MV-PBT against LSM-Trees. The logical horizontal partitioning in MV-PBT allows leveraging recent advances in modern B$^+$-Tree techniques in a small transparent and memory resident portion of the structure. Structural properties sustain steady read performance, yielding efficient write patterns and reducing write amplification. We integrated MV-PBT in the WiredTiger KV storage engine. MV-PBT offers an up to 2x increased steady throughput in comparison to LSM-Trees and several orders of magnitude in comparison to B+ Trees in a YCSB workload.


title: Non-abelian aether-like term and applications at finite temperature

abstract: The Yang-Mills-aether theory is considered. Implications of the non-abelian aether-like term, which introduces violation of Lorentz symmetry, is investigated in a thermal quantum field theory. The Thermofield Dynamics formalism is used to introduce the temperature effects and spatial compactification. As a consequence, corrections due to the non-abelian aether term are calculated for the non-abelian Stefan-Boltzmann law and for the non-abelian Casimir energy and pressure at zero and finite temperature.


title: Rotation inside convex Kakeya sets

abstract: Let $K$ be a convex body (a compact convex set) in $\mathbb{R}^d$, that contains a copy of another body $S$ in every possible orientation. Is it always possible to continuously move any one copy of $S$ into another, inside $K$? As a stronger question, is it always possible to continuously select, for each orientation, one copy of $S$ in that orientation? These questions were asked by Croft. We show that, in two dimensions, the stronger question always has an affirmative answer. We also show that in three dimensions the answer is negative, even for the case when $S$ is a line segment -- but that in any dimension the first question has a positive answer when $S$ is a line segment. And we prove that, surprisingly, the answer to the first question is negative in dimension four for general $S$.


title: Staged Compilation with Two-Level Type Theory

abstract: The aim of staged compilation is to enable metaprogramming in a way such that we have guarantees about the well-formedness of code output, and we can also mix together object-level and meta-level code in a concise and convenient manner. In this work, we observe that two-level type theory (2LTT), a system originally devised for the purpose of developing synthetic homotopy theory, also serves as a system for staged compilation with dependent types. 2LTT has numerous good properties for this use case: it has a concise specification, well-behaved model theory, and it supports a wide range of language features both at the object and the meta level. First, we give an overview of 2LTT's features and applications in staging. Then, we present a staging algorithm and prove its correctness. Our algorithm is "staging-by-evaluation", analogously to the technique of normalization-by-evaluation, in that staging is given by the evaluation of 2LTT syntax in a semantic domain. The staging algorithm together with its correctness constitutes a proof of strong conservativity of 2LLT over the object theory. To our knowledge, this is the first description of staged compilation which supports full dependent types and unrestricted staging for types.


title: Large Rashba parameter for 4d strongly correlated perovskite oxide SrNbO3 ultrathin films

abstract: To elucidate the spin relaxation mechanism of SrNbO3 (SNO) ultrathin films, the transport properties of a series of SNO films with various thicknesses were measured on both sides of the metal insulator transition. The spin orbit scattering time was deduced from the analysis of the magnetoresistance with weak antilocalization theory, and it was found that the spin orbit scattering time was inversely proportional to the momentum scattering time. This result was explained in terms of the D`Yakonov Perel` mechanism, indicative of the dominant Rashba effect. The values of the Rashba parameter were largest in the values reported for other ultrathin films of metallic oxides.


title: Application Experiences on a GPU-Accelerated Arm-based HPC Testbed

abstract: This paper assesses and reports the experience of ten teams working to port,validate, and benchmark several High Performance Computing applications on a novel GPU-accelerated Arm testbed system. The testbed consists of eight NVIDIA Arm HPC Developer Kit systems built by GIGABYTE, each one equipped with a server-class Arm CPU from Ampere Computing and A100 data center GPU from NVIDIA Corp. The systems are connected together using Infiniband high-bandwidth low-latency interconnect. The selected applications and mini-apps are written using several programming languages and use multiple accelerator-based programming models for GPUs such as CUDA, OpenACC, and OpenMP offloading. Working on application porting requires a robust and easy-to-access programming environment, including a variety of compilers and optimized scientific libraries. The goal of this work is to evaluate platform readiness and assess the effort required from developers to deploy well-established scientific workloads on current and future generation Arm-based GPU-accelerated HPC systems. The reported case studies demonstrate that the current level of maturity and diversity of software and tools is already adequate for large-scale production deployments.


title: Neural Graph Databases

abstract: Graph databases (GDBs) enable processing and analysis of unstructured, complex, rich, and usually vast graph datasets. Despite the large significance of GDBs in both academia and industry, little effort has been made into integrating them with the predictive power of graph neural networks (GNNs). In this work, we show how to seamlessly combine nearly any GNN model with the computational capabilities of GDBs. For this, we observe that the majority of these systems are based on, or support, a graph data model called the Labeled Property Graph (LPG), where vertices and edges can have arbitrarily complex sets of labels and properties. We then develop LPG2vec, an encoder that transforms an arbitrary LPG dataset into a representation that can be directly used with a broad class of GNNs, including convolutional, attentional, message-passing, and even higher-order or spectral models. In our evaluation, we show that the rich information represented as LPG labels and properties is properly preserved by LPG2vec, and it increases the accuracy of predictions regardless of the targeted learning task or the used GNN model, by up to 34% compared to graphs with no LPG labels/properties. In general, LPG2vec enables combining predictive power of the most powerful GNNs with the full scope of information encoded in the LPG model, paving the way for neural graph databases, a class of systems where the vast complexity of maintained data will benefit from modern and future graph machine learning methods.


title: Metal Inpainting in CBCT Projections Using Score-based Generative Model

abstract: During orthopaedic surgery, the inserting of metallic implants or screws are often performed under mobile C-arm systems. Due to the high attenuation of metals, severe metal artifacts occur in 3D reconstructions, which degrade the image quality greatly. To reduce the artifacts, many metal artifact reduction algorithms have been developed and metal inpainting in projection domain is an essential step. In this work, a score-based generative model is trained on simulated knee projections and the inpainted image is obtained by removing the noise in conditional resampling process. The result implies that the inpainted images by score-based generative model have more detailed information and achieve the lowest mean absolute error and the highest peak-signal-to-noise-ratio compared with interpolation and CNN based method. Besides, the score-based model can also recover projections with big circlar and rectangular masks, showing its generalization in inpainting task.


title: Phase randomness in a semiconductor laser: Issue of quantum random-number generation

abstract: Gain-switched lasers are in demand in numerous quantum applications, particularly, in systems of quantum key distribution and in various optical quantum random number generators. The reason for this popularity is natural phase randomization between gain-switched laser pulses. The idea of such randomization has become so familiar that most authors use it without regard to the features of the laser operation mode they use. However, at high repetition rates of laser pulses or when pulses are generated at a bias current close to the threshold, the phase randomization condition may be violated. This paper describes theoretical and experimental methods for estimating the degree of phase randomization in a gain-switched laser. We consider in detail different situations of laser pulse interference and show that the interference signal remains quantum in nature even in the presence of classical phase drift in the interferometer provided that the phase diffusion in a laser is efficient enough. Moreover, we formulate the relationship between the previously introduced quantum reduction factor and the leftover hash lemma. Using this relationship, we develop a method to estimate the quantum noise contribution to the interference signal in the presence of phase correlations. Finally, we introduce a simple experimental method based on the analysis of statistical interference fringes, providing more detailed information about the probabilistic properties of laser pulse interference.


title: Relaxed Attention for Transformer Models

abstract: The powerful modeling capabilities of all-attention-based transformer architectures often cause overfitting and - for natural language processing tasks - lead to an implicitly learned internal language model in the autoregressive transformer decoder complicating the integration of external language models. In this paper, we explore relaxed attention, a simple and easy-to-implement smoothing of the attention weights, yielding a two-fold improvement to the general transformer architecture: First, relaxed attention provides regularization when applied to the self-attention layers in the encoder. Second, we show that it naturally supports the integration of an external language model as it suppresses the implicitly learned internal language model by relaxing the cross attention in the decoder. We demonstrate the benefit of relaxed attention across several tasks with clear improvement in combination with recent benchmark approaches. Specifically, we exceed the former state-of-the-art performance of 26.90% word error rate on the largest public lip-reading LRS3 benchmark with a word error rate of 26.31%, as well as we achieve a top-performing BLEU score of 37.67 on the IWSLT14 (DE$\rightarrow$EN) machine translation task without external language models and virtually no additional model parameters. Code and models will be made publicly available.


title: Vanishing results in Chow groups for the modified diagonal cycles

abstract: We prove a sufficient condition for the vanishing of the modified diagonal cycle in the Chow group (with $\mathbb{Q}$-coefficients) of the triple product of a curve over $\mathbb{C}$. We exhibit infinitely many non-hyperelliptic curves, including the Fricke--Macbeath curve, the Bring curve, and two 1-dimensional families parameterized by certain Hurwitz spaces, for which our condition is satisfied.


title: Sharp $\ell^p$ inequalities for discrete singular integrals

abstract: This paper constructs a collection of discrete operators on the $d$-dimensional lattice $\mathbb{Z}^{d}$, $d\geq 1$, which result from the conditional expectation of martingale transform in the upper half-space $\mathbb{R}^{d+1}_{+}$ constructed from Doob $h$-processes. Special cases of these operators are what we call \textit{the probabilistic discrete Riesz transforms.} When $d=1,$ they reduce to \textit{the probabilistic discrete Hilbert transform} used by the first and third authors to resolve the long-standing open problem concerning the $\ell^p$ norm, $1<p<\infty$, of the discrete Hilbert transform on the integers $\mathbb{Z}$. The construction for $d>1$ is motivated by a similar problem, Conjecture 5.5, concerning the norm of the discrete Riesz transforms arising from discretizing singular integrals on $\mathbb{R}^d$ as in the original paper of A. P. Calder\'on and A. Zygmund, and subsequent works of A. Magyar, E. M. Stein, S. Wainger, L. B. Pierce and many others, concerning operator norms in discrete harmonic analysis. For any $d\geq 1$, it is shown that the probabilistic discrete Riesz transforms have the same $\ell^p$ norm as the continuous Riesz transforms on $\mathbb{R}^d$ which is dimension independent and equals the norm of the classical Hilbert transform on $\mathbb{R}$. Along the way we give a different proof, based on Fourier transform techniques, of the key estimate used to identify the norm of the discrete Hilbert transform.


title: Possible origin of the interface field in spintronic experiments

abstract: The effective field at the interface between ferromagnetic and metal layers is often observed in spintronic experiments. It is common to ascribe it to specific exchange interactions caused by spin-orbit coupling, namely, Rashba field, Dzyaloshinskiy-Moriya interaction, spin currents, etc. Alternative view involves the global magnetic field (Oersted field) generated by current both inside and outside the conductor. It is shown here that the inhomogeneous stray field surrounding ferromagnetic layers can produce significant contribution into the observed interface field. This mechanism should be taken into account for better understanding the current-induced phenomena in magnetic multilayers.


title: Hyperonic equation of state at finite temperature for neutron stars

abstract: We review the composition and the equation of state of the hyperonic core of neutron stars at finite temperature within a relativistic mean-field approach. We make use of the new FSU2H* model, which is built upon the FSU2H scheme by improving on the Xi potential according to the recent analysis on the Xi atoms, and we extend it to include finite temperature corrections. The calculations are done for a wide range of densities, temperatures and charge fractions, thus exploring the different conditions that can be found in protoneutron stars, binary mergers remnants and supernovae explosions. The inclusion of hyperons has a strong effect on the composition and the equation of state at finite temperature, which consequently would lead to significant changes in the properties and evolution of hot neutron stars.


title: Field-Induced Spin Nematic Liquid of the $S=1/2$ Bond-Alternating Chain with the Anisotropy

abstract: The $S=1/2$ ferromagnetic-antiferromagnetic bond-alternating spin chain with the anisotropy on the ferromagnetic exchange interaction in magnetic field is investigated using the numerical diagonalization and the density matrix renormalization group analyses. It is found that the nematic-spin-dominant Tomonaga-Luttinger liquid phase is induced by the external magnetic field for sufficiently large anisotropy. The phase diagram with respect to the anisotropy and the magnetization is presented.


title: Gain-compensated cavities for the dynamic control of light-matter interactions

abstract: We propose an efficient approach for actively controlling the Rabi oscillations in emitter-cavity hybrids based on the presence of an element with optical gain. Inspired by recent developments in parity-time ($\mathcal{PT}$)-symmetry photonics, we show that nano- or micro-cavities where intrinsic losses are partially or fully compensated by an externally controllable amount of gain offer unique capabilities for manipulating the dynamics of emitters. In particular, one can drastically modify the dynamics of the system, increase the overall occupation numbers, enhance the longevity of the Rabi oscillations, and even decelerate them to the point where their experimental observation becomes less challenging. Furthermore, we show that there is a specific gain value that leads to an exceptional point, where both emitter and cavity occupation oscillate practically in phase, with occupation numbers that can significantly exceed unity. By revisiting a recently-introduced Rabi-visibility measure, we provide robust guidelines for quantifying the coupling strength and achieving strong-coupling with adaptable Rabi frequency via loss compensation.


title: Yet Another Format of Universal Dependencies for Korean

abstract: In this study, we propose a morpheme-based scheme for Korean dependency parsing and adopt the proposed scheme to Universal Dependencies. We present the linguistic rationale that illustrates the motivation and the necessity of adopting the morpheme-based format, and develop scripts that convert between the original format used by Universal Dependencies and the proposed morpheme-based format automatically. The effectiveness of the proposed format for Korean dependency parsing is then testified by both statistical and neural models, including UDPipe and Stanza, with our carefully constructed morpheme-based word embedding for Korean. morphUD outperforms parsing results for all Korean UD treebanks, and we also present detailed error analyses.


title: Electrostatic Catalysis of a Click Reaction in a Microfluidic Cell

abstract: Electric fields have been highlighted as a smart reagent in nature's enzymatic machinery, as they can directly trigger or accelerate redox and/or non-redox chemical processes with stereo- and regio-specificity. In natural catalysis, controlled mass transport of chemical species in confined spaces is also key in facilitating the transport of reactants into the active reaction site. Despite the opportunities the above offers in developing strategies for a new, clean electrostatic catalysis exploiting oriented electric fields, research in this area has been mostly limited to theoretical and experimental studies at the level of single molecules or small molecular ensembles, where both the control over mass transport and scalability cannot be tested. Here, we quantify the electrostatic catalysis of a prototypical Huisgen cycloaddition in a large-area electrode surface and directly compare its performance to the traditional Cu(I)-catalyzed method of the same reaction. Mass diffusion control is achieved in a custom-built microfluidic cell, which enhances reagent transport towards the electrified reactive interface while avoiding both turbulent flow conditions and poor control of the convective mass transport. This unprecedented electrostatic continuous-flow microfluidic reactor is an example of an electric-field driven platform where clean large-scale electrostatic catalytic processes can be efficiently implemented and regulated.


title: A Nomizu-van Est theorem in Ekedahl's derived $\ell$-adic setting

abstract: A theorem of Nomizu and van Est computes the cohomology of a compact nilmanifold, or equivalently the group cohomology of an arithmetic subgroup of a unipotent linear algebraic group over $\mathbb{Q}$. We prove a similar result for the cohomology of a compact open subgroup of a unipotent linear algebraic group over $\mathbb{Q}_{\ell}$ with coefficients in a complex of continuous $\ell$-adic representations. We work with the triangulated categories defined by Ekedahl which play the role of ``derived categories of continuous $\ell$-adic representations''. This is motivated by Pink's formula computing the derived direct image of an $\ell$-adic local system on a Shimura variety in its minimal compactification, and its application to automorphic perverse sheaves on Shimura varieties. The key technical result is the computation of the cohomology with coefficients in a unipotent representation with torsion coefficients by an explicit complex of polynomial cochains which is of finite type.


title: Parallel transport modeling of linear divertor simulators with fundamental ion cyclotron heating

abstract: The Material Plasma Exposure eXperiment (MPEX) is a steady state linear device with the goal to perform plasma material interaction (PMI) studies at future fusion reactor relevant conditions. A prototype of MPEX referred as Porto-MPEX is designed to carry out research and development related to source, heating and transport concepts on the planned full MPEX device. The auxiliary heating schemes in MPEX are based on cyclotron resonance heating with radio frequency (RF) waves. Ion cyclotron heating (ICH) and electron cyclotron heating (ECH) in MPEX are used to independently heat the ions and electrons and provide fusion divertor conditions ranging from sheath-limited to fully detached divertor regimes at a material target. A Hybrid Particle-In-Cell code- PICOS++ is developed and applied to understand the plasma parallel transport during ICH heating in MPEX Proto-MPEX to the target. With this tool, evolution of the distribution function of MPEX/Proto-MPEX ions is modeled in the presence of (1) Coulomb collisions, (2) volumetric particle sources and (3) quasi-linear RF-based ICH. The code is benchmarked against experimental data from Proto-MPEX and simulation data from B2.5 EIRENE. The experimental observation of density-drop near the target in Proto-MPEX and MPEX during ICH heating is demonstrated and explained via physics-based arguments using PICOS++ modeling. In fact, the density drops at the target during ICH in Proto-MPEX/MPEX to conserve the flux and to compensate for the increased flow during ICH. Furthermore, sensitivity scans of various plasma parameters with respect to ICH power are performed for MPEX to investigate its role on plasma transport and particle and energy fluxes at the target. Finally, we discuss the pathway to model ECH in MPEX using the Hybrid PIC formulation herein presented for kinetic electrons and fluid ions.


abstract: Prior studies addressing target-oriented conversational tasks lack a crucial notion that has been intensively studied in the context of goal-oriented artificial intelligence agents, namely, planning. In this study, we propose the task of Target-Guided Open-Domain Conversation Planning (TGCP) task to evaluate whether neural conversational agents have goal-oriented conversation planning abilities. Using the TGCP task, we investigate the conversation planning abilities of existing retrieval models and recent strong generative models. The experimental results reveal the challenges facing current technology.


title: Tunable spectral narrowing enabling the functionality of graphene qubit circuits at room temperature

abstract: Electrically controllable quantum coherence in quantum dot clusters and arrays based on graphene stripes with zigzag atomic edges (ZZ-stripes) is studied using the Dirac equation and S-matrix technique. We find that respective multiqubit circuits promise stable operation up to room temperatures when the coherence time is prolonged up by a few orders of magnitude through the intrinsic spectral narrowing owing to electron transport between at bands in adjacent sections. Respectively, the coupling of qubits to a noisy environment is diminished, while the inelastic electron-phonon scattering is suppressed. The Stark splitting technique enables a broad range of operations such as all{electrical tuning of the energy level positions and width, level splitting, controlling of the inter-qubit coupling, and the coherence time. At the resonant energies, the phase coherence spreads over thousands of periods. Such phenomena potentially can be utilized in quantum computing and communication applications at room temperature.


title: Minimal parabolic subgroups and automorphism groups of Schubert varieties

abstract: Let $G$ be a simple simply-laced algebraic group of adjoint type over the field $\mathbb{C}$ of complex numbers, $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G.$ In this article, we show that $\omega_\alpha$ is a minuscule fundamental weight if and only if for any parabolic subgroup $Q$ containing $B$ properly, there is no Schubert variety $X_{Q}(w)$ in $G/Q$ such that the minimal parabolic subgroup $P_{\alpha}$ of $G$ is the connected component, containing the identity automorphism of the group of all algebraic automorphisms of $X_{Q}(w).$


title: Reachable elements in basic classical Lie superalgebras

abstract: Let \mathfrak{g}=\mathfrak{g}_{\bar{0}}\oplus\mathfrak{g}_{\bar{1}} be a basic classical Lie superalgebra over \mathbb{C}, e\in\mathfrak{g}_{\bar{0}} a nilpotent element and \mathfrak{g}^{e} the centralizer of e in \mathfrak{g}. We study various properties of nilpotent elements in \mathfrak{g}, which have previously only been considered in the case of Lie algebras. In particular, we prove that e is reachable if and only if e satisfies the Panyushev property for \mathfrak{g}=\mathfrak{sl}(m|n), m\neq n or \mathfrak{psl}(n|n) and \mathfrak{osp}(m|2n). For exceptional Lie superalgebras \mathfrak{g}=D(2,1;\alpha), G(3), F(4), we give the classification of e which are reachable, strongly reachable or satisfy the Panyushev property. In addition, we give bases for \mathfrak{g}^{e} and its centre \mathfrak{z}(\mathfrak{g}^{e}) for \mathfrak{g}=\mathfrak{psl}(n|n), which completes results of Han on the relationship between \dim\mathfrak{g}^{e}, \dim\mathfrak{z}(\mathfrak{g}^{e}) and the labelled Dynkin diagrams for all basic classical Lie superalgebras.


title: Deep Physics Corrector: A physics enhanced deep learning architecture for solving stochastic differential equations

abstract: We propose a novel gray-box modeling algorithm for physical systems governed by stochastic differential equations (SDE). The proposed approach, referred to as the Deep Physics Corrector (DPC), blends approximate physics represented in terms of SDE with deep neural network (DNN). The primary idea here is to exploit DNN to model the missing physics. We hypothesize that combining incomplete physics with data will make the model interpretable and allow better generalization. The primary bottleneck associated with training surrogate models for stochastic simulators is often associated with selecting the suitable loss function. Among the different loss functions available in the literature, we use the conditional maximum mean discrepancy (CMMD) loss function in DPC because of its proven performance. Overall, physics-data fusion and CMMD allow DPC to learn from sparse data. We illustrate the performance of the proposed DPC on four benchmark examples from the literature. The results obtained are highly accurate, indicating its possible application as a surrogate model for stochastic simulators.


title: Global pseudo-differential operators on the Lie group $G= (-1,1)^n$

abstract: In this work we characterise the H\"ormander classes $\symbClassOn{m}{\rho}{\delta}{\group,\textnormal{H\"or}}$ on the open manifold $\group = (-1,1)^n$. We show that by endowing the open manifold $\group = (-1,1)^n$ with a group structure, the corresponding global Fourier analysis on the group allows one to define a global notion of symbol on the phase space $\group \times \R^n$. Then, the class of pseudo-differential operators associated to the global H\"ormander classes $\symbClassOn{m}{\rho}{\delta}{\group \times \R^n}$ recovers the H\"ormander classes $\symbClassOn{m}{\rho}{\delta}{\group,\textnormal{loc}}$ defined by local coordinate systems. The analytic and qualitative properties of the classes $\symbClassOn{m}{\rho}{\delta}{\group \times \R^n}$ are presented in terms of the corresponding global symbols. In particular, $L^p$-Fefferman type estimates and Calder\'on-Vaillancourt theorems are analysed, as well as the spectral properties of the operators.


title: Making Digital Objects FAIR in High Energy Physics: An Implementation for Universal FeynRules Output (UFO) Models

abstract: Research in the data-intensive discipline of high energy physics (HEP) often relies on domain-specific digital contents. Reproducibility of research relies on proper preservation of these digital objects. This paper reflects on the interpretation of principles of Findability, Accessibility, Interoperability, and Reusability (FAIR) in such context and demonstrates its implementation by describing the development of an end-to-end support infrastructure for preserving and accessing Universal FeynRules Output (UFO) models guided by the FAIR principles. UFO models are custom-made python libraries used by the HEP community for Monte Carlo simulation of collider physics events. Our framework provides simple but robust tools to preserve and access the UFO models and corresponding metadata in accordance with the FAIR principles.


title: Floquet Engineering of Nonequilibrium Valley-Polarized Quantum Anomalous Hall Effect with Tunable Chern Number

abstract: Numerous attempts have been made so far to explore the quantum anomalous Hall effect (QAHE), but the ultralow observed temperature strongly hinders its practical applications. Hence, it is of great interest to go beyond the existing paradigm of QAHE. Here, we propose that Floquet engineering offers a strategy to realize the QAHE via hybridization of Floquet-Bloch bands. Based on first-principles calculations and Floquet theorem, we unveil that nonequilibrium valley-polarized QAHE (VP-QAHE), independent of magnetic orders, is widely present in ferromagnetic and nonmagnetic members of two-dimensional family materials $M$Si$_2$$Z_4$ ($M$ = Mo, W, V; $Z$ = N, P, As) by irradiating circularly polarized light (CPL). Remarkably, by tuning the frequency, intensity, and handedness of incident CPL, the Chern number of VP-QAHE is highly tunable and up to $\mathcal{C}=\pm 4$. We reveal that such Chern number tunable VP-QAHE attributes to light-induced trigonal warping and multiple band inversion at different valleys. The valley-resolved chiral edge states and quantized plateau of Hall conductance, which facilitates the experimental measurement, are visible inside the global band gap. Our work not only establishes Floquet Engineering of nonequilibrium VP-QAHE with tunable Chern number in realistic materials, but also provides a promising avenue to explore emergent topological phases under light irradiation.


title: Mean-square convergence and stability of the backward Euler method for stochastic differential delay equations with highly nonlinear growing coefficients

abstract: Over the last few decades, the numerical methods for stochastic differential delay equations (SDDEs) have been investigated and developed by many scholars. Nevertheless, there is still little work to be completed. By virtue of the novel technique, this paper focuses on the mean-square convergence and stability of the backward Euler method (BEM) for SDDEs whose drift and diffusion coefficients can both grow polynomially. The upper mean-square error bounds of BEM are obtained. Then the convergence rate, which is one-half, is revealed without using the moment boundedness of numerical solutions. Furthermore, under fairly general conditions, the novel technique is applied to prove that the BEM can inherit the exponential mean-square stability with a simple proof. At last, two numerical experiments are implemented to illustrate the reliability of the theories.


title: Multiscale modeling of solute diffusion in triblock copolymer membranes

abstract: We develop a multiscale simulation model for diffusion of solutes through porous triblock copolymer membranes. The approach combines two techniques: self-consistent field theory (SCFT) to predict the structure of the self-assembled, solvated membrane and on-lattice kinetic Monte Carlo (kMC) simulations to model diffusion of solutes. Solvation is simulated in SCFT by constraining the glassy membrane matrix while relaxing the brush-like membrane pore coating against the solvent. The kMC simulations capture the resulting solute spatial distribution and concentration-dependent local diffusivity in the polymer-coated pores; we parameterize the latter using particle-based simulations. We apply our approach to simulate solute diffusion through nonequilibrium morphologies of a model triblock copolymer, and we correlate diffusivity with structural descriptors of the morphologies. We also compare the model's predictions to alternative approaches based on simple lattice random walks and find our multiscale model to be more robust and systematic to parameterize. Our multiscale modeling approach is general and can be readily extended in the future to other chemistries, morphologies, and models for the local solute diffusivity and interactions with the membrane.


title: ESPnet-ONNX: Bridging a Gap Between Research and Production

abstract: In the field of deep learning, researchers often focus on inventing novel neural network models and improving benchmarks. In contrast, application developers are interested in making models suitable for actual products, which involves optimizing a model for faster inference and adapting a model to various platforms (e.g., C++ and Python). In this work, to fill the gap between the two, we establish an effective procedure for optimizing a PyTorch-based research-oriented model for deployment, taking ESPnet, a widely used toolkit for speech processing, as an instance. We introduce different techniques to ESPnet, including converting a model into an ONNX format, fusing nodes in a graph, and quantizing parameters, which lead to approximately 1.3-2$\times$ speedup in various tasks (i.e., ASR, TTS, speech translation, and spoken language understanding) while keeping its performance without any additional training. Our ESPnet-ONNX will be publicly available at https://github.com/espnet/espnet_onnx


title: Language Varieties of Italy: Technology Challenges and Opportunities

abstract: Italy is characterized by a one-of-a-kind linguistic diversity landscape in Europe, which implicitly encodes local knowledge, cultural traditions, artistic expressions and history of its speakers. However, most local languages and dialects in Italy are at risk of disappearing within few generations. The NLP community has recently begun to engage with endangered languages, including those of Italy. Yet, most efforts assume that these varieties are under-resourced language monoliths with an established written form and homogeneous functions and needs, and thus highly interchangeable with each other and with high-resource, standardized languages. In this paper, we introduce the linguistic context of Italy and challenge the default machine-centric assumptions of NLP for Italy's language varieties. We advocate for a shift in the paradigm from machine-centric to speaker-centric NLP, and provide recommendations and opportunities for work that prioritizes languages and their speakers over technological advances. To facilitate the process, we finally propose building a local community towards responsible, participatory efforts aimed at supporting vitality of languages and dialects of Italy.


title: Single-crystalline PbTe film growth through reorientation

abstract: Heteroepitaxy enables the engineering of novel properties, which do not exist in a single material. Two principle growth modes are identified for material combinations with large lattice mismatch, Volmer-Weber and Stranski-Krastanov. Both lead to the formation of three-dimensional islands, hampering the growth of flat defect-free thin films. This limits the number of viable material combinations. Here, we report a distinct growth mode found in molecular beam epitaxy of PbTe on InP initiated by pre-growth surface treatments. Early nucleation forms islands analogous to the Volmer-Weber growth mode, but film closure exhibits a flat surface with atomic terracing. Remarkably, despite multiple distinct crystal orientations found in the initial islands, the final film is single-crystalline. This is possible due to a reorientation process occurring during island coalescence, facilitating high quality heteroepitaxy despite the large lattice mismatch, difference in crystal structures and diverging thermal expansion coefficients of PbTe and InP. This growth mode offers a new strategy for the heteroepitaxy of dissimilar materials and expands the realm of possible material combinations.


title: Structured transverse orbital angular momentum probed by a levitated optomechanical sensor

abstract: The momentum carried by structured light fields exhibits a rich array of surprising features. In this work, we generate transverse orbital angular momentum (TOAM) in the interference field of two parallel and counterpropagating linearly-polarised focused beams, synthesising an array of identical handedness vortices carrying intrinsic TOAM. We explore this structured light field using an optomechanical sensor, consisting of an optically levitated silicon nanorod, whose rotation is a probe of the optical angular momentum, which generates an exceptionally large torque. This simple creation and direct observation of TOAM will have applications in studies of fundamental physics, the optical manipulation of matter and quantum optomechanics.


title: Dynamic Graph Message Passing Networks for Visual Recognition

abstract: Modelling long-range dependencies is critical for scene understanding tasks in computer vision. Although convolution neural networks (CNNs) have excelled in many vision tasks, they are still limited in capturing long-range structured relationships as they typically consist of layers of local kernels. A fully-connected graph, such as the self-attention operation in Transformers, is beneficial for such modelling, however, its computational overhead is prohibitive. In this paper, we propose a dynamic graph message passing network, that significantly reduces the computational complexity compared to related works modelling a fully-connected graph. This is achieved by adaptively sampling nodes in the graph, conditioned on the input, for message passing. Based on the sampled nodes, we dynamically predict node-dependent filter weights and the affinity matrix for propagating information between them. This formulation allows us to design a self-attention module, and more importantly a new Transformer-based backbone network, that we use for both image classification pretraining, and for addressing various downstream tasks (object detection, instance and semantic segmentation). Using this model, we show significant improvements with respect to strong, state-of-the-art baselines on four different tasks. Our approach also outperforms fully-connected graphs while using substantially fewer floating-point operations and parameters. Code and models will be made publicly available at https://github.com/fudan-zvg/DGMN2


title: Non-local interaction effects in models of interacting populations

abstract: We consider a couple of models for the dynamics of the populations of two interacting species, inspired by Lotka-Volterra's classical equations. The novelty of this work is that the interaction terms are non local and the interaction occurs within a bounded range. These terms include the competitive intraspecific interaction among individuals and the interspecific terms for which we consider two cases: Competition and predation. The results show that not only the non-locality induces spatial structures but also allows for the survival of the species when due to predation or the competitive exclusion extinction was expected, and even promotes spatio-temporal patterns not linked to eventual temporal oscillations in the local case. In this work we also explore some interesting details about the behavior of the population dynamics that shows spatial patterns that interfere in a way that leads to non-trivial results.


title: Muon capture on deuteron using local chiral potentials

abstract: The muon capture reaction $\mu^- + d \rightarrow n + n + \nu_{\mu}$ in the doublet hyperfine state is studied using nuclear potentials and consistent currents derived in chiral effective field theory, which are local and expressed in coordinate-space (the so-called Norfolk models). Only the largest contribution due to the $^1S_0$ $nn$ scattering state is considered. Particular attention is given to the estimate of the theoretical uncertainty, for which four sources have been identified: (i) the model dependence, (ii) the chiral order convergence for the weak nuclear current, (iii) the uncertainty in the single-nucleon axial form factor, and (iv) the numerical technique adopted to solve the bound and scattering $A=2$ systems. This last source of uncertainty has turned out essentially negligible. The $^1S_0$ doublet muon capture rate $\Gamma^D(^1S_0)$ has been found to be $\Gamma^D(^1S_0)=255.8(0.6)(4.4)(2.9)$ s$^{-1}$, where the three errors come from the first three sources of uncertainty. The value for $\Gamma^D(^1S_0)$ obtained within this local chiral framework is compared with previous calculations and found in very good agreement.


title: The Einstein Probe Mission

abstract: The Einstein Probe (EP) is a mission designed to monitor the sky in the soft X-ray band. It will perform systematic surveys and characterisation of high-energy transients and monitoring of variable objects at unprecedented sensitivity and monitoring cadences. It has a large instantaneous field-of-view (3,600 sq. deg.), that is realised via the lobster-eye micro-pore X-ray focusing optics. EP also carries a conventional X-ray focusing telescope with a larger effective area to perform followup observations and precise positioning of newly-discovered transients. Alerts for transient objects will be issued publicly and timely. The scientific goals of EP are concerned with discovering faint, distant or rare types of high-energy transients and variable sources. Within the confines of a modest-sized mission, EP will cover a wide range of scientific topics, from the nearby to high-redshift Universe. The Einstein Probe is a mission of the Chinese Academy of Sciences, and also an international collaborative project. This paper presents the background, scientific objectives, and the mission design including the micro-pore optics and CMOS technologies adopted, the instruments and their expected performance, and the mission profile. The development status of the project is also presented.


title: Thermodynamic pressure for massless QCD and the trace anomaly

abstract: From statistical mechanics the trace of the thermal average of any energy-momentum tensor is $\langle T^{\mu}_{\;\;\mu}\rangle =T\partial P/\partial T-4P$. The renormalization group formula $\langle T^{\mu}_{\;\;\mu}\rangle =\beta(g_{M})\partial P/\partial g_{M}$ for QCD with massless fermions requires the pressure to have the structure \begin{equation} P=T^{4}\sum_{n=0}^{\infty} \phi_{n}(g_{M})\big[\ln\big({M\over 4\pi T}\big)\big]^{n},\end{equation} where the factor $4\pi$ is for later convenience. The functions $\phi_{n}(g_{M})$ for $n\ge 1$ may be calculated from $\phi_{0}(g_{M})$ using the recursion relation $n\,\phi_{n}(g_{M})=-\beta(g_{M})d\phi_{n-1}/dg_{M}$. This is checked against known perturbation theory results by using the terms of order $(g_{M})^{2}, (g_{M})^{3}$, $(g_{M})^{4}$ in $\phi_{0}(g_{M})$ to obtain the known terms of order $(g_{M})^{4}, (g_{M})^{5}$, $(g_{M})^{6}$ in $\phi_{1}(g_{M})$ and the known term of order $(g_{M})^{6}$ in $\phi_{2}(g_{M})$. The above series may be summed and gives the same result as choosing $M=4\pi T$, viz. $T^{4}\phi_{0}(g_{4\pi T})$.


title: Characterizations of ordinal analysis

abstract: Ordinal analysis is a research program wherein recursive ordinals are assigned to axiomatic theories. According to conventional wisdom, ordinal analysis measures the strength of theories. Yet what is the attendant notion of strength? In this paper we present abstract characterizations of ordinal analysis that address this question. First, we characterize ordinal analysis as a partition of $\Sigma^1_1$-definable and $\Pi^1_1$-sound theories, namely, the partition whereby two theories are equivalent if they have the same proof-theoretic ordinal. We show that no equivalence relation $\equiv$ is finer than the ordinal analysis partition if both: (1) $T\equiv U$ whenever $T$ and $U$ prove the same $\Pi^1_1$ sentences; (2) $T\equiv T+U$ for every set $U$ of true $\Sigma^1_1$ sentences. In fact, no such equivalence relation makes a single distinction that the ordinal analysis partition does not make. Second, we characterize ordinal analysis as an ordering on arithmetically-definable and $\Pi^1_1$-sound theories, namely, the ordering wherein $T< U$ if the proof-theoretic ordinal of $T$ is less than the proof-theoretic ordinal of $U$. The standard ways of measuring the strength of theories are consistency strength and inclusion of $\Pi^0_1$ theorems. We introduce analogues of these notions -- $\Pi^1_1$-reflection strength and inclusion of $\Pi^1_1$ theorems -- in the presence of an oracle for $\Sigma^1_1$ truths, and prove that they coincide with the ordering induced by ordinal analysis.


title: Large Deviation Principle for Backward Stochastic Differential Equations with a stochastic Lipschitz condition on $z$

abstract: In this paper, a probabilistic interpretation for the viscosity solution of a parabolic partial differential equation is obtained by virtue of the solution of a class of quadratic backward stochastic differential equations (BSDEs, for short). Furthermore, we prove the convergence and the large deviation principle for the solution of this class of quadratic BSDEs, which is associated with a family of Markov processes with the diffusion coefficients that tend to be zero.


title: On additive MDS codes with linear projections

abstract: We support some evidence that a long additive MDS code over a finite field must be equivalent to a linear code. More precisely, let $C$ be an $\mathbb F_q$-linear $(n,q^{hk},n-k+1)_{q^h}$ MDS code over $\mathbb F_{q^h}$. If $k=3$, $h \in \{2,3\}$, $n > \max \{q^{h-1},h q -1\} + 3$, and $C$ has three coordinates from which its projections are equivalent to linear codes, we prove that $C$ itself is equivalent to a linear code. If $k>3$, $n > q+k$, and there are two disjoint subsets of coordinates whose combined size is at most $k-2$ from which the projections of $C$ are equivalent to linear codes, we prove that $C$ is equivalent to a code which is linear over a larger field than $\mathbb F_q$.


title: An Efficient End-to-End Transformer with Progressive Tri-modal Attention for Multi-modal Emotion Recognition

abstract: Recent works on multi-modal emotion recognition move towards end-to-end models, which can extract the task-specific features supervised by the target task compared with the two-phase pipeline. However, previous methods only model the feature interactions between the textual and either acoustic and visual modalities, ignoring capturing the feature interactions between the acoustic and visual modalities. In this paper, we propose the multi-modal end-to-end transformer (ME2ET), which can effectively model the tri-modal features interaction among the textual, acoustic, and visual modalities at the low-level and high-level. At the low-level, we propose the progressive tri-modal attention, which can model the tri-modal feature interactions by adopting a two-pass strategy and can further leverage such interactions to significantly reduce the computation and memory complexity through reducing the input token length. At the high-level, we introduce the tri-modal feature fusion layer to explicitly aggregate the semantic representations of three modalities. The experimental results on the CMU-MOSEI and IEMOCAP datasets show that ME2ET achieves the state-of-the-art performance. The further in-depth analysis demonstrates the effectiveness, efficiency, and interpretability of the proposed progressive tri-modal attention, which can help our model to achieve better performance while significantly reducing the computation and memory cost. Our code will be publicly available.


title: Peer-group Behaviour Analytics of Windows Authentications Events Using Hierarchical Bayesian Modelling

abstract: Cyber-security analysts face an increasingly large number of alerts received on any given day. This is mainly due to the low precision of many existing methods to detect threats, producing a substantial number of false positives. Usually, several signature-based and statistical anomaly detectors are implemented within a computer network to detect threats. Recent efforts in User and Entity Behaviour Analytics modelling shed a light on how to reduce the burden on Security Operations Centre analysts through a better understanding of peer-group behaviour. Statistically, the challenge consists of accurately grouping users with similar behaviour, and then identifying those who deviate from their peers. This work proposes a new approach for peer-group behaviour modelling of Windows authentication events, using principles from hierarchical Bayesian models. This is a two-stage approach where in the first stage, peer-groups are formed based on a data-driven method, given the user's individual authentication pattern. In the second stage, the counts of users authenticating to different entities are aggregated by an hour and modelled by a Poisson distribution, taking into account seasonality components and hierarchical principles. Finally, we compare grouping users based on their human resources records against the data-driven methods and provide empirical evidence about alert reduction on a real-world authentication data set from a large enterprise network.


title: Approximation of Sums of Locally Dependent Random Variables via Perturbation of Stein Operator

abstract: Let $(X_{i}, i\in J)$ be a family of locally dependent nonnegative integer-valued random variables, and consider the sum $W=\sum\nolimits_{i\in J}X_i$. We first establish a general error upper bound for $d_{TV}(W, M)$ using Stein's method, where the target variable $M$ is either the mixture of Poisson distribution and binomial or negative binomial distribution. As applications, we attain $O(|J|^{-1})$ error bounds for ($k_{1},k_{2}$)-runs and $k$-runs under some special cases. Our results are significant improvements of the existing results in literature, say $O(|J|^{-0.5})$ in Pek\"{o}z [Bernoulli, 19 (2013)] and $O(1)$ in Upadhye, et al. [Bernoulli, 23 (2017)].


title: Brownian non-Gaussian diffusion of self-avoiding walks

abstract: Three-dimensional Monte Carlo simulations provide a striking confirmation to a recent theoretical prediction: the Brownian non-Gaussian diffusion of critical self-avoiding walks. Although the mean square displacement of the polymer center of mass grows linearly with time (Brownian behavior), the initial probability density function is strongly non-Gaussian and crosses over to Gaussianity only at large time. Full agreement between theory and simulations is achieved without the employment of fitting parameters. We discuss simulation techniques potentially capable of addressing the study of anomalous diffusion under complex conditions like adsorption- or Theta-transition.


title: A Deep Reinforcement Learning-Based Charging Scheduling Approach with Augmented Lagrangian for Electric Vehicle

abstract: This paper addresses the problem of optimizing charging/discharging schedules of electric vehicles (EVs) when participate in demand response (DR). As there exist uncertainties in EVs' remaining energy, arrival and departure time, and future electricity prices, it is quite difficult to make charging decisions to minimize charging cost while guarantee that the EV's battery state-of-the-charge (SOC) is within certain range. To handle with this dilemma, this paper formulates the EV charging scheduling problem as a constrained Markov decision process (CMDP). By synergistically combining the augmented Lagrangian method and soft actor critic algorithm, a novel safe off-policy reinforcement learning (RL) approach is proposed in this paper to solve the CMDP. The actor network is updated in a policy gradient manner with the Lagrangian value function. A double-critics network is adopted to synchronously estimate the action-value function to avoid overestimation bias. The proposed algorithm does not require strong convexity guarantee of examined problems and is sample efficient. Comprehensive numerical experiments with real-world electricity price demonstrate that our proposed algorithm can achieve high solution optimality and constraints compliance.


title: Solving a Dirichlet problem for unbounded domains via a conformal transformation

abstract: In this paper, we solve the $p$-Dirichlet problem for Besov boundary data on unbounded uniform domains with bounded boundaries when the domain is equipped with a doubling measure satisfying a Poincar\'{e} inequality. This is accomplished by studying a class of transformations that have been recently shown to render the domain bounded while maintaining uniformity. These transformations conformally deform the metric and measure in a way that depends on the distance to the boundary of the domain and, for the measure, a parameter $p$. We show that the transformed measure is doubling and the transformed domain supports a Poincar\'{e} inequality. This allows us to transfer known results for bounded uniform domains to unbounded ones, including trace results and Adams-type inequalities, culminating in a solution to the Dirichlet problem for boundary data in a Besov class.


title: Long-range data transmission in a fault-tolerant quantum bus architecture

abstract: We propose a scheme for fault-tolerant long-range entanglement generation at the ends of a rectangular array of qubits of length $R$ and a square cross section of size $d\times d$ with $d=O(\log R)$. Up to an efficiently computable Pauli correction, the scheme generates a maximally entangled state of two qubits using a depth-$6$ circuit consisting of nearest-neighbor Clifford gates and local measurements only. Compared with existing fault-tolerance schemes for quantum communication, the protocol is distinguished by its low latency: starting from a product state, the entangled state is prepared in a time $O(t_{\textrm{local}})$ determined only by the local gate and measurement operation time $t_{\textrm{local}}$. Furthermore, the requirements on local repeater stations are minimal: Each repeater uses only $\Theta(\log^2 R)$ qubits with a lifetime of order $O(t_{\textrm{local}})$. We prove a converse bound $\Omega(\log R)$ on the number of qubits per repeater among all low-latency schemes for fault-tolerant quantum communication over distance $R$. Furthermore, all operations within a repeater are local when the qubits are arranged in a square lattice. The noise-resilience of our scheme relies on the fault-tolerance properties of the underlying cluster state. We give a full error analysis, establishing a fault-tolerance threshold against general (circuit-level) local stochastic noise affecting preparation, entangling operations and measurements. This includes, in particular, errors correlated in time and space. Our conservative analytical estimates are surprisingly optimistic, suggesting that the scheme is suited for long-range entanglement generation both in and between near-term quantum computing devices.


title: FedToken: Tokenized Incentives for Data Contribution in Federated Learning

abstract: Incentives that compensate for the involved costs in the decentralized training of a Federated Learning (FL) model act as a key stimulus for clients' long-term participation. However, it is challenging to convince clients for quality participation in FL due to the absence of: (i) full information on the client's data quality and properties; (ii) the value of client's data contributions; and (iii) the trusted mechanism for monetary incentive offers. This often leads to poor efficiency in training and communication. While several works focus on strategic incentive designs and client selection to overcome this problem, there is a major knowledge gap in terms of an overall design tailored to the foreseen digital economy, including Web 3.0, while simultaneously meeting the learning objectives. To address this gap, we propose a contribution-based tokenized incentive scheme, namely \texttt{FedToken}, backed by blockchain technology that ensures fair allocation of tokens amongst the clients that corresponds to the valuation of their data during model training. Leveraging the engineered Shapley-based scheme, we first approximate the contribution of local models during model aggregation, then strategically schedule clients lowering the communication rounds for convergence and anchor ways to allocate \emph{affordable} tokens under a constrained monetary budget. Extensive simulations demonstrate the efficacy of our proposed method.


title: IRS Assisted NOMA Aided Mobile Edge Computing with Queue Stability: Heterogeneous Multi-Agent Reinforcement Learning

abstract: By employing powerful edge servers for data processing, mobile edge computing (MEC) has been recognized as a promising technology to support emerging computation-intensive applications. Besides, non-orthogonal multiple access (NOMA)-aided MEC system can further enhance the spectral-efficiency with massive tasks offloading. However, with more dynamic devices brought online and the uncontrollable stochastic channel environment, it is even desirable to deploy appealing technique, i.e., intelligent reflecting surfaces (IRS), in the MEC system to flexibly tune the communication environment and improve the system energy efficiency. In this paper, we investigate the joint offloading, communication and computation resource allocation for IRS-assisted NOMA MEC system. We firstly formulate a mixed integer energy efficiency maximization problem with system queue stability constraint. We then propose the Lyapunov-function-based Mixed Integer Deep Deterministic Policy Gradient (LMIDDPG) algorithm which is based on the centralized reinforcement learning (RL) framework. To be specific, we design the mixed integer action space mapping which contains both continuous mapping and integer mapping. Moreover, the award function is defined as the upper-bound of the Lyapunov drift-plus-penalty function. To enable end devices (EDs) to choose actions independently at the execution stage, we further propose the Heterogeneous Multi-agent LMIDDPG (HMA-LMIDDPG) algorithm based on distributed RL framework with homogeneous EDs and heterogeneous base station (BS) as heterogeneous multi-agent. Numerical results show that our proposed algorithms can achieve superior energy efficiency performance to the benchmark algorithms while maintaining the queue stability. Specially, the distributed structure HMA-LMIDDPG can acquire more energy efficiency gain than centralized structure LMIDDPG.


title: WGICP: Differentiable Weighted GICP-Based Lidar Odometry

abstract: We present a novel differentiable weighted generalized iterative closest point (WGICP) method applicable to general 3D point cloud data, including that from Lidar. Our method builds on differentiable generalized ICP (GICP), and we propose using the differentiable K-Nearest Neighbor (KNN) algorithm to enhance differentiability. The differentiable GICP algorithm provides the gradient of output pose estimation with respect to each input point, which allows us to train a neural network to predict its importance, or weight, in estimating the correct pose. In contrast to the other ICP-based methods that use voxel-based downsampling or matching methods to reduce the computational cost, our method directly reduces the number of points used for GICP by only selecting those with the highest weights and ignoring redundant ones with lower weights. We show that our method improves both accuracy and speed of the GICP algorithm for the KITTI dataset and can be used to develop a more robust and efficient SLAM system.


title: Counterexamples to elliptic Harnack inequality for isotropic unimodal L\'{e}vy processes

abstract: Until now, it has been an open question whether every subordinated Brownian motion (SBM) satisfies the elliptic Harnack inequality (EHI). In this paper, we show that the answer is ``no." In our first theorem, we show that if $X=(X_t)_{t \geq 0}$ is an isotropic unimodal L\'{e}vy process, and $X$ satisfies certain criteria (involving the jump kernel of $X$ and the distribution of the location upon first exiting balls of various sizes) then $X$ does not satisfy EHI. (Note that the class of isotropic unimodal L\'{e}vy processes is larger than the class of SBMs.) We then check that many specific SBMs do indeed satisfy the criteria, and thus do not satify EHI.


title: Enhanced Dirac node separation in strained Cd3As2 topological semimetal

abstract: In topological semimetals, nodes appear at symmetry points in the Brillouin zone as a result of band inversion, and yield quasi-relativistic massless fermions at low energies. Cd3As2 is a three-dimensional topological semimetal that hosts two Dirac cones responsible for a variety of quantum phenomena. In this work, we demonstrate the strain tuning of the Dirac nodes of Cd3As2 through a combination of magnetooptical infrared spectroscopy and high-resolution X-ray diffraction studies performed on epitaxial films. In these thin films, we observe a giant enhancement of the node separation in momentum space by close to a factor of 4. A combination of experimental measurements and theoretical modelling allows relate the origin of this enhancement to a strengthening of the topological band inversion driven by lattice strain. Our results demonstrate how strain can be used as a knob to tune the topological properties of semimetals and to potentially enhance their performance and response for various applications.


title: Dislocated Accountabilities in the AI Supply Chain: Modularity and Developers' Notions of Responsibility

abstract: Responsible artificial intelligence guidelines ask engineers to consider how their systems might harm. However, contemporary artificial intelligence systems are built by composing many preexisting software modules that pass through many hands before becoming a finished product or service. How does this shape responsible artificial intelligence practice? In interviews with 27 artificial intelligence engineers across industry, open source, and academia, our participants often did not see the questions posed in responsible artificial intelligence guidelines to be within their agency, capability, or responsibility to address. We use Suchman's "located accountability" to show how responsible artificial intelligence labor is currently organized and to explore how it could be done differently. We identify cross-cutting social logics, like modularizability, scale, reputation, and customer orientation, that organize which responsible artificial intelligence actions do take place and which are relegated to low status staff or believed to be the work of the next or previous person in the imagined "supply chain." We argue that current responsible artificial intelligence interventions, like ethics checklists and guidelines that assume panoptical knowledge and control over systems, could be improved by taking a located accountability approach, recognizing where relations and obligations might intertwine inside and outside of this supply chain.


title: Amplification of the Primordial Gravitational Waves Energy Spectrum by a Kinetic Scalar in $F(R)$ Gravity

abstract: In this work we consider a combined theoretical framework comprised by $F(R)$ gravity and a kinetic scalar field. The kinetic energy of the scalar field dominates over its potential for all cosmic times, and the kinetic scalar potential is chosen to be small and non-trivial. In this case, we show that the primordial gravitational wave energy spectrum of vacuum $F(R)$ gravity is significantly enhanced and can be detectable in future interferometers. The kinetic scalar thus affects significantly the inflationary era, since it extends its duration, but also has an overall amplifying effect on the energy spectrum of pure $F(R)$ gravity primordial gravitational waves. The form of the signal is characteristic for all these theories, since it is basically flat and should be detectable from all future gravitational wave experiments for a wide range of frequencies, unless some unknown damping factor occurs due to some unknown physical process.


title: Dark Energy Survey Year 3 results: Magnification modeling and impact on cosmological constraints from galaxy clustering and galaxy-galaxy lensing

abstract: We study the effect of magnification in the Dark Energy Survey Year 3 analysis of galaxy clustering and galaxy-galaxy lensing, using two different lens samples: a sample of Luminous red galaxies, redMaGiC, and a sample with a redshift-dependent magnitude limit, MagLim. We account for the effect of magnification on both the flux and size selection of galaxies, accounting for systematic effects using the Balrog image simulations. We estimate the impact of magnification on the galaxy clustering and galaxy-galaxy lensing cosmology analysis, finding it to be a significant systematic for the MagLim sample. We show cosmological constraints from the galaxy clustering auto-correlation and galaxy-galaxy lensing signal with different magnifications priors, finding broad consistency in cosmological parameters in $\Lambda$CDM and $w$CDM. However, when magnification bias amplitude is allowed to be free, we find the two-point correlations functions prefer a different amplitude to the fiducial input derived from the image simulations. We validate the magnification analysis by comparing the cross-clustering between lens bins with the prediction from the baseline analysis, which uses only the auto-correlation of the lens bins, indicating systematics other than magnification may be the cause of the discrepancy. We show adding the cross-clustering between lens redshift bins to the fit significantly improves the constraints on lens magnification parameters and allows uninformative priors to be used on magnification coefficients, without any loss of constraining power or prior volume concerns.


title: Elastic anisotropy of lizardite at subduction zone conditions

abstract: Subduction zones transport water into Earth's deep interior through slab subduction. Serpentine minerals, the primary hydration product of ultramafic peridotite, are abundant in most subduction zones. Characterization of their high-temperature elasticity, particularly their anisotropy, will help us better estimate the extent of mantle serpentinization and the Earth's deep water cycle. Lizardite, the low-temperature polymorph of serpentine, is stable under the P-T conditions of cold subduction slabs (< 260{\deg}C at 2 GPa), and its high-temperature elasticity remains unknown. Here we report ab initio elasticity and acoustic wave velocities of lizardite at P-T conditions of subduction zones. Our static results agree with previous studies. Its high-temperature velocities are much higher than previous experimental-based lizardite estimates with chrysotile but closer to antigorite velocities. The elastic anisotropy of lizardite is much larger than that of antigorite and could better account for the observed large shear-wave splitting in some cold slabs such as Tonga.


title: Reaction-limited quantum reaction-diffusion dynamics

abstract: We consider the quantum nonequilibrium dynamics of systems where fermionic particles coherently hop on a one-dimensional lattice and are subject to dissipative processes analogous to those of classical reaction-diffusion models. Particles can either annihilate in pairs, $A+A \to \emptyset$, coagulate upon contact, $A+A \to A$, and possibly also branch, $A \to A+A$. In classical settings, the interplay between these processes and particle diffusion leads to critical dynamics as well as to absorbing-state phase transitions. Here, we analyze the impact of coherent hopping and of quantum superposition, focusing on the so-called reaction-limited regime. Here, spatial density fluctuations are quickly smoothed out due to fast hopping, which for classical systems is described by a mean-field approach. By exploiting the time-dependent generalized Gibbs ensemble method, we demonstrate that quantum coherence and destructive interference play a crucial role in these systems and are responsible for the emergence of locally protected dark states and collective behavior beyond mean-field. This can manifest both at stationarity and during the relaxation dynamics. Our results highlight fundamental differences between classical nonequilibrium dynamics and their quantum counterpart and show that quantum effects indeed change collective universal behavior.


title: Gamma-ray observations of MAXI J1820+070 during the 2018 outburst

abstract: MAXI J1820+070 is a low-mass X-ray binary with a black hole as a compact object. This binary underwent an exceptionally bright X-ray outburst from March to October 2018, showing evidence of a non-thermal particle population through its radio emission during this whole period. The combined results of 59.5 hours of observations of the MAXI J1820+070 outburst with the H.E.S.S., MAGIC and VERITAS experiments at energies above 200 GeV are presented, together with Fermi-LAT data between 0.1 and 500 GeV, and multiwavelength observations from radio to X-rays. Gamma-ray emission is not detected from MAXI J1820+070, but the obtained upper limits and the multiwavelength data allow us to put meaningful constraints on the source properties under reasonable assumptions regarding the non-thermal particle population and the jet synchrotron spectrum. In particular, it is possible to show that, if a high-energy gamma-ray emitting region is present during the hard state of the source, its predicted flux should be at most a factor of 20 below the obtained Fermi-LAT upper limits, and closer to them for magnetic fields significantly below equipartition. During the state transitions, under the plausible assumption that electrons are accelerated up to ~ 500 GeV, the multiwavelength data and the gamma-ray upper limits lead consistently to the conclusion that a potential high-energy and very-high-energy gamma-ray emitting region should be located at a distance from the black hole ranging between 10^11 and 10^13 cm. Similar outbursts from low-mass X-ray binaries might be detectable in the near future with upcoming instruments such as CTA.


title: An Outlier Exposure Approach to Improve Visual Anomaly Detection Performance for Mobile Robots

abstract: We consider the problem of building visual anomaly detection systems for mobile robots. Standard anomaly detection models are trained using large datasets composed only of non-anomalous data. However, in robotics applications, it is often the case that (potentially very few) examples of anomalies are available. We tackle the problem of exploiting these data to improve the performance of a Real-NVP anomaly detection model, by minimizing, jointly with the Real-NVP loss, an auxiliary outlier exposure margin loss. We perform quantitative experiments on a novel dataset (which we publish as supplementary material) designed for anomaly detection in an indoor patrolling scenario. On a disjoint test set, our approach outperforms alternatives and shows that exposing even a small number of anomalous frames yields significant performance improvements.


title: Exploring Human-robot Interaction by Simulating Robots

abstract: As collaborative robots enter industrial shop floors, logistics, and manufacturing, rapid and flexible evaluation of human-machine interaction has become more important. The availability of consumer headsets for virtual and augmented realities has lowered the barrier of entry for virtual environments. In this paper, we explore the different aspects of using such environments for simulating robots in user studies and present the first findings from our own research work. Finally, we recommend directions for applying and using simulation in human-robot interaction.


title: VEST is W[2]-hard

abstract: In this short note, we show that the problem of VEST is $W[2]$-hard for parameter $k$. This strengthens a result of Matou\v{s}ek, who showed $W[1]$-hardness of that problem. The consequence of this result is that computing the $k$-th homotopy group of a $d$-dimensional space for $d > 3$ is $W[2]$-hard for parameter $k$.


title: Tailoring negative pressure by crystal defects: Crack induced hydride formation in Al alloys

abstract: Climate change motivates the search for non-carbon-emitting energy generation and storage solutions. Metal hydrides show promising characteristics for this purpose. They can be further stabilized by tailoring the negative pressure of microstructural and structural defects. Using systematic ab initio and atomistic simulations, we demonstrate that an enhancement in the formation of hydrides at the negatively pressurized crack tip region is feasible by increasing the mechanical tensile load on the specimen. The theoretical predictions have been used to reassess and interpret atom probe tomography experiments for a high-strength 7XXX-aluminium alloy that show a substantial enhancement of hydrogen concentration at structural defects near a stress-corrosion crack tip. These results contain important implications for enhancing the capability of metals as H-storage materials.


title: Genetic algorithm for searching bipolar Single-Flux-Quantum pulse sequences for qubit control

abstract: Nowadays most of superconducting quantum processors use charge qubits of a transmon type. They require implementation of energy efficient qubit state control scheme. A promising approach is the use of superconducting digital circuits operating with single-flux-quantum (SFQ) pulses. The duration of SFQ pulse control sequence is typically larger than that of conventional microwave drive pulses but its length can be optimized for the system with known parameters. Here we introduce a genetic algorithm for unipolar or bipolar SFQ control sequence search that minimize qubit state leakage from the computational subspace. The algorithm is also able to find a solution in the form of a repeating subsequence in order to save memory on the control chip. Its parallel implementation can find the appropriate sequence for arbitrary system parameters from a practical range in a reasonable time. The algorithm is illustrated by the example of the rotation gate around the axis by an angle $\pi/2$ with fidelity over 99.99%. In this paper, we present the results for a single-qubit system, but in the future we will apply the developed approach to study a system of two qubits.


title: Dimensionality reduction with variational encoders based on subsystem purification

abstract: Efficient methods for encoding and compression are likely to pave way towards the problem of efficient trainability on higher dimensional Hilbert spaces overcoming issues of barren plateaus. Here we propose an alternative approach to variational autoencoders to reduce the dimensionality of states represented in higher dimensional Hilbert spaces. To this end we build a variational based autoencoder circuit that takes as input a dataset and optimizes the parameters of Parameterized Quantum Circuit (PQC) ansatz to produce an output state that can be represented as tensor product of 2 subsystems by minimizing Tr(\rho^2). The output of this circuit is passed through a series of controlled swap gates and measurements to output a state with half the number of qubits while retaining the features of the starting state, in the same spirit as any dimension reduction technique used in classical algorithms. The output obtained is used for supervised learning to guarantee the working of the encoding procedure thus developed. We make use of Bars and Stripes dataset (BAS) for an 8x8 grid to create efficient encoding states and report a classification accuracy of 95% on the same. Thus the demonstrated example shows a proof for the working of the method in reducing states represented in large Hilbert spaces while maintaining the features required for any further machine learning algorithm that follow.


title: Optical properties of SiV and GeV color centers in nanodiamonds under hydrostatic pressures up to 180 GPa

abstract: We investigate the optical properties of silicon-vacancy (SiV) and germanium-vacancy (GeV) color centers in nanodiamonds under hydrostatic pressure up to 180 GPa. The nanodiamonds were synthetized by Si or Ge-doped plasma assisted chemical vapor deposition and, for our experiment, pressurized in a diamond anvil cell. Under hydrostatic pressure we observe blue-shifts of the SiV and GeV zero-phonon lines by 17 THz (70 meV) and 78 THz (320 meV), respectively. These measured pressure induced shifts are in good agreement with ab initio calculations that take into account the lattice compression based on the equation of state of diamond and that are extended to the case of the tin-vacancy (SnV) center. This work provides guidance on the use of group-IV-vacancy centers as quantum sensors under extreme pressures that will exploit their specific optical and spin properties induced by their intrinsic inversion-symmetric structure.


title: Recovering feasibility in real-time conflict-free vehicle routing

abstract: Conflict-Free Vehicle Routing Problems (CF-VRPs) arise in manufacturing, transportation and logistics facilities where Automated Guided Vehicles (AGVs) are utilized to move loads. Unlike \textit{Vehicle Routing Problems} arising in distribution management, CF-VRPs explicitly consider the limited capacity of the arcs of the guide path network to avoid collisions among vehicles. AGV applications have two peculiar features. First, the uncertainty affecting both travel times and machine ready times may result in vehicle delays or anticipations with respect to the fleet nominal plan. Second, the relatively high vehicle speed (in the order of one or two meters per second) requires vehicle plans to be revised in a very short amount of time (usually few milliseconds) in order to avoid collisions. In this paper we present fast exact algorithms to recover plan feasibility in real-time. In particular, we identify two corrective actions that can be implemented in real-time and formulate the problem as a linear program with the aim to optimize four common performance measures (total vehicle delay, total weighted delay, maximum route duration and total lateness). Moreover, we develop tailored algorithms which, tested on randomly generated instances of various sizes, prove to be three orders of magnitude faster than using off-the-shelf solvers.


title: Low latency communication over commercially available LTE and remote driving

abstract: In addition to autonomous car operation, in many cases it is desirable to let a human drive the vehicle remotely. To make remote operation possible, it is very critical to have a low and predictable latency to transmit video from the car cameras and receive control commands back. In this paper, we analyze the problem and present a communication and video streaming system that addresses the latency challenges and enables teleoperation of a real car over commercially available LTE network; demonstrating sub-50ms roundtrip latencies for 720p, 60FPS video, with average PSNR 36db.


title: Multi-Robot-Assisted Human Crowd Evacuation using Navigation Velocity Fields

abstract: This work studies a robot-assisted crowd evacuation problem where we control a small group of robots to guide a large human crowd to safe locations. The challenge lies in how to model human-robot interactions and design robot controls to indirectly control a human population that significantly outnumbers the robots. To address the challenge, we treat the crowd as a continuum and formulate the evacuation objective as driving the crowd density to target locations. We propose a novel mean-field model which consists of a family of microscopic equations that explicitly model how human motions are locally guided by the robots and an associated macroscopic equation that describes how the crowd density is controlled by the navigation velocity fields generated by all robots. Then, we design density feedback controllers for the robots to dynamically adjust their states such that the generated navigation velocity fields drive the crowd density to a target density. Stability guarantees of the proposed controllers are proven. Agent-based simulations are included to evaluate the proposed evacuation algorithms.


title: 400 kHz repetition rate THz-TDS with 24 mW of average power driven by a compact industrial Yb-laser

abstract: We demonstrate a high average power terahertz time-domain (THZ-TDS) spectrometer based on optical rectification in the tilted-pulse front geometry in lithium niobate at room temperature, driven by a commercial, industrial femtosecond-laser operating with flexible repetition rate between 40 kHz - 400 kHz. The driving laser provides a pulse energy of 41 uJ for all repetition rates, at a pulse duration of 310 fs, allowing us to explore repetition rate dependent effects in our TDS. At the maximum repetition rate of 400 kHz, up to 16.5 W of average power are available to drive our THz source, resulting in a maximum of 24 mW of THz average power with a conversion efficiency of ~ 0.15 % and electric field strength of several tens of kV/cm. At the other available lower repetition rates, we show that the pulse strength and bandwidth of our TDS is unchanged, showing that the THz generation is not affected by thermal effects in this average power region of several tens of watts. The resulting combination of high electric field strength with flexible and high repetition rate is very attractive for spectroscopy, in particular since the system is driven by an industrial, compact laser without the need for external compressors or other specialized pulse manipulation.


title: Tuning the hysteresis loop for the anomalous Hall effect in Pt ultrathin films on $\rm{CoFe_2O_4}$ by electrolyte gating

abstract: Pt ultrathin films on ferromagnetic insulators have been widely studied for spintronics applications, and magnetic moments of interface Pt atoms were considered to be ferromagnetically ordered due to a magnetic proximity effect (MPE). An anomalous Hall effect (AHE) is usually used to examine an out-of-plane magnetic moments of the Pt layer. To tune ferromagnetic properties of an Pt ultrathin film, we fabricated electric double layer transistors on Pt thin films with thicknesses of 5.9 nm and 7.0 nm on a $\rm{CoFe_2O_4}$ (CFO) ferrimagnetic insulator. For the Pt (7.0 nm)/CFO sample, a hysteresis loop was observed in the anomalous Hall resistivity without the gate bias, and the coercive field was tuned by applying the gate bias. For the Pt (5.9 nm)/CFO sample, a hysteresis loop was not observed without a gate bias, but was opened by applying a gate bias ($V\rm{_G} =$ $\pm$3 V). This indicated that the long-range ferromagnetic ordering of magnetic moments in the Pt film was switched on and off by the electric field effect. The hysteresis loop was observed up to 19.5 K for a $V\rm{_G}$ of +3 V, while the AHE was observed up to approximately room temperature.


title: Quantization of Nambu Brackets from Operator Formalism in Classical Mechanics

abstract: This paper proposes a novel approach to quantizing Nambu brackets in classical mechanics using operator formalism. The approach employs the ``Planck derivative'' to represent Nambu brackets, from which we derive a commutation relation for their quantization. Notably, this commutation relation aligns with that emerging from the T-duality of closed strings in a twisted torus with a B-field, thereby hinting at a potential connection with Double Field Theory.


title: Quantum and Non-local Effects Offer LiDAR over 40dB Advantage

abstract: Non-local effects have the potential to radically move forward quantum enhanced LiDAR to provide an advantage over classical LiDAR not only in laboratory environments but practical implementation. In this work, we demonstrate a 43dB lower signal-to-noise ratio using a quantum enhanced LiDAR based on time-frequency entanglement compared with a classical phase-insensitive LiDAR system. Our system can tolerate more than 3 orders of magnitude higher noise than classical singlephoton counting LiDAR systems before detector saturation. To achieve these advantages, we use non-local cancellation of dispersion to take advantage of the strong temporal correlations in photon pairs in spite of the orders of magnitude larger detector temporal uncertainty. We go on to incorporate this scheme with purpose-built scanning collection optics to image non-reflecting targets in an environment with noise.


title: A tight bound for the number of edges of matchstick graphs

abstract: A matchstick graph is a plane graph with edges drawn as unit-distance line segments. Harborth introduced these graphs in 1981 and conjectured that the maximum number of edges for a matchstick graph on $n$ vertices is $\lfloor 3n-\sqrt{12n-3} \rfloor$. In this paper we prove this conjecture for all $n\geq 1$. The main geometric ingredient of the proof is an isoperimetric inequality related to L'Huilier's inequality.


title: Effect of Volume Fraction and Fiber Distribution on Stress Transfer in a Stochastic Framework of Continuous Fiber Composite: A Micromechanical Study

abstract: In fiber Reinforced Composites (FRC) fiber breakage is a common phenomenon resulting in stress concentration. This high stress gets transfer in the vicinity of the breakage which is quantified by Stress Transfer Coefficient (STC). In this paper, an attempt is made to check the effect of fiber volume fraction and the distribution of the fibers on STC and ineffective length. The fiber volume fraction is changed considering three cases: 1) by changing the number of fibers, 2) by changing the dimension of the Represntative Volume Element (RVE) and 3) by changing the fiber radius. Cases with change in dimension of RVE and change in fiber radius, periodic and semi-random arrangents of fibers are considered. From the analysis of 200 RVE's for each volume fraction in random and semi-random arrangements, it is observed that the distribution of STC does not follow any standard distribution, even if the fiber arrangement follows the normal distribution. The fiber cross-sectional dimension plays a critical role in regaining the broken fiber strength. The periodic arrangement of fibers can be said to be beneficial over the random arrangement considering the stress transfer from the broken fiber.


title: Structural stability of invasion graphs for Lotka--Volterra systems

abstract: In this paper, we study in detail the structure of the global attractor for the Lotka--Volterra system with a Volterra--Lyapunov stable structural matrix. We consider the invasion graph as recently introduced in [19] and prove that its edges represent all the heteroclinic connections between the equilibria of the system. We also study the stability of this structure with respect to the perturbation of the problem parameters. This allows us to introduce a definition of structural stability in ecology in coherence with the classical mathematical concept where there exists a detailed geometrical structure, robust under perturbation, that governs the transient and asymptotic dynamics.


title: Spillover of Antisocial Behavior from Fringe Platforms: The Unintended Consequences of Community Banning

abstract: Online platforms face pressure to keep their communities civil and respectful. Thus, the bannings of problematic online communities from mainstream platforms like Reddit and Facebook are often met with enthusiastic public reactions. However, this policy can lead users to migrate to alternative fringe platforms with lower moderation standards and where antisocial behaviors like trolling and harassment are widely accepted. As users of these communities often remain co-active across mainstream and fringe platforms, antisocial behaviors may spill over onto the mainstream platform. We study this possible spillover by analyzing around 70,000 users from three banned communities that migrated to fringe platforms: r/The_Donald, r/GenderCritical, and r/Incels. Using a difference-in-differences design, we contrast co-active users with matched counterparts to estimate the causal effect of fringe platform participation on users' antisocial behavior on Reddit. Our results show that participating in the fringe communities increases users' toxicity on Reddit (as measured by Perspective API) and involvement with subreddits similar to the banned community -- which often also breach platform norms. The effect intensifies with time and exposure to the fringe platform. In short, we find evidence for a spillover of antisocial behavior from fringe platforms onto Reddit via co-participation.


title: Assisted Specification of Code Using Search

abstract: We describe an intelligent assistant based on mining existing software repositories to help the developer interactively create checkable specifications of code. To be most useful we apply this at the subsystem level, that is chunks of code of 1000-10000 lines that can be standalone or integrated into an existing application to provide additional functionality or capabilities. The resultant specifications include both a syntactic description of what should be written and a semantic specification of what it should do, initially in the form of test cases. The generated specification is designed to be used for automatic code generation using various technologies that have been proposed including machine learning, code search, and program synthesis. Our research goal is to enable these technologies to be used effectively for creating subsystems without requiring the developer to write detailed specifications from scratch.


title: Characterizing slopes for $5_2$

abstract: We prove that all rational slopes are characterizing for the knot $5_2$, except possibly for positive integers. Along the way, we classify the Dehn surgeries on knots in $S^3$ that produce the Brieskorn sphere $\Sigma(2,3,11)$, and we study knots on which large integral surgeries are almost L-spaces.


title: Soft and transferable pseudopotentials from multi-objective optimization

abstract: Ab initio pseudopotentials are a linchpin of modern molecular and condensed matter electronic structure calculations. In this work, we employ multi-objective optimization to maximize pseudopotential softness while maintaining high accuracy and transferability. To accomplish this, we develop a formulation in which softness and accuracy are simultaneously maximized, with accuracy determined by the ability to reproduce all-electron energy differences between Bravais lattice structures, whereupon the resulting Pareto frontier is scanned for the softest pseudopotential that provides the desired accuracy in established transferability tests. We employ an evolutionary algorithm to solve the multi-objective optimization problem and apply it to generate a comprehensive table of optimized norm-conserving Vanderbilt (ONCV) pseudopotentials (https://github.com/SPARC-X/SPMS-psps). We show that the resulting table is softer than existing tables of comparable accuracy, while more accurate than tables of comparable softness. The potentials thus afford the possibility to speed up calculations in a broad range of applications areas while maintaining high accuracy.