title: Scrutinizing Shipment Records To Thwart Illegal Timber Trade

abstract: Timber and forest products made from wood, like furniture, are valuable commodities, and like the global trade of many highly-valued natural resources, face challenges of corruption, fraud, and illegal harvesting. These grey and black market activities in the wood and forest products sector are not limited to the countries where the wood was harvested, but extend throughout the global supply chain and have been tied to illicit financial flows, like trade-based money laundering, document fraud, species mislabeling, and other illegal activities. The task of finding such fraudulent activities using trade data, in the absence of ground truth, can be modelled as an unsupervised anomaly detection problem. However existing approaches suffer from certain shortcomings in their applicability towards large scale trade data. Trade data is heterogeneous, with both categorical and numerical attributes in a tabular format. The overall challenge lies in the complexity, volume and velocity of data, with large number of entities and lack of ground truth labels. To mitigate these, we propose a novel unsupervised anomaly detection -- Contrastive Learning based Heterogeneous Anomaly Detection (CHAD) that is generally applicable for large-scale heterogeneous tabular data. We demonstrate our model CHAD performs favorably against multiple comparable baselines for public benchmark datasets, and outperforms them in the case of trade data. More importantly we demonstrate our approach reduces assumptions and efforts required hyperparameter tuning, which is a key challenging aspect in an unsupervised training paradigm. Specifically, our overarching objective pertains to detecting suspicious timber shipments and patterns using Bill of Lading trade record data. Detecting anomalous transactions in shipment records can enable further investigation by government agencies and supply chain constituents.


title: Quasisymmetric maps, shears, lambda lengths and flips

abstract: We study quasisymmetric maps, which act on the boundary of the hyperbolic plane, by looking at their action on the Farey triangulation. Our main results identify exactly which quasisymmetric maps correspond to pinched lambda lengths in terms of shearing coordinates and, separately, in terms of (simultaneous) flip distance of the Farey triangulation and its image by the map. These extend and clarify previous results of Penner and Sullivan.


title: Multi-Modal Multi-Agent Optimization for LIMMS, A Modular Robotics Approach to Delivery Automation

abstract: In this paper we present a motion planner for LIMMS, a modular multi-agent, multi-modal package delivery platform. A single LIMMS unit is a robot that can operate as an arm or leg depending on how and what it is attached to, e.g., a manipulator when it is anchored to walls within a delivery vehicle or a quadruped robot when 4 are attached to a box. Coordinating amongst multiple LIMMS, when each one can take on vastly different roles, can quickly become complex. For such a planning problem we first compose the necessary logic and constraints. The formulation is then solved for skill exploration and can be implemented on hardware after refinement. To solve this optimization problem we use alternating direction method of multipliers (ADMM). The proposed planner is experimented under various scenarios which shows the capability of LIMMS to enter into different modes or combinations of them to achieve their goal of moving shipping boxes.


title: Wigglite: Low-cost Information Collection and Triage

abstract: Consumers conducting comparison shopping, researchers making sense of competitive space, and developers looking for code snippets online all face the challenge of capturing the information they find for later use without interrupting their current flow. In addition, during many learning and exploration tasks, people need to externalize their mental context, such as estimating how urgent a topic is to follow up on, or rating a piece of evidence as a "pro" or "con," which helps scaffold subsequent deeper exploration. However, current approaches incur a high cost, often requiring users to select, copy, context switch, paste, and annotate information in a separate document without offering specific affordances that capture their mental context. In this work, we explore a new interaction technique called "wiggling," which can be used to fluidly collect, organize, and rate information during early sensemaking stages with a single gesture. Wiggling involves rapid back-and-forth movements of a pointer or up-and-down scrolling on a smartphone, which can indicate the information to be collected and its valence, using a single, light-weight gesture that does not interfere with other interactions that are already available. Through implementation and user evaluation, we found that wiggling helped participants accurately collect information and encode their mental context with a 58% reduction in operational cost while being 24% faster compared to a common baseline.


title: Fast Floating-Point Filters for Robust Predicates

abstract: Geometric predicates are at the core of many algorithms, such as the construction of Delaunay triangulations, mesh processing and spatial relation tests. These algorithms have applications in scientific computing, geographic information systems and computer-aided design. With floating-point arithmetic, these geometric predicates can incur round-off errors that may lead to incorrect results and inconsistencies, causing computations to fail. This issue has been addressed using a combination of exact arithmetic for robustness and floating-point filters to mitigate the computational cost of exact computations. The implementation of exact computations and floating-point filters can be a difficult task, and code generation tools have been proposed to address this. We present a new C++ meta-programming framework for the generation of fast, robust predicates for arbitrary geometric predicates based on polynomial expressions. We combine and extend different approaches to filtering, branch reduction, and overflow avoidance that have previously been proposed. We show examples of how this approach produces correct results for data sets that could lead to incorrect predicate results with naive implementations. Our benchmark results demonstrate that our implementation surpasses state-of-the-art implementations.


title: DNNShield: Dynamic Randomized Model Sparsification, A Defense Against Adversarial Machine Learning

abstract: DNNs are known to be vulnerable to so-called adversarial attacks that manipulate inputs to cause incorrect results that can be beneficial to an attacker or damaging to the victim. Recent works have proposed approximate computation as a defense mechanism against machine learning attacks. We show that these approaches, while successful for a range of inputs, are insufficient to address stronger, high-confidence adversarial attacks. To address this, we propose DNNSHIELD, a hardware-accelerated defense that adapts the strength of the response to the confidence of the adversarial input. Our approach relies on dynamic and random sparsification of the DNN model to achieve inference approximation efficiently and with fine-grain control over the approximation error. DNNSHIELD uses the output distribution characteristics of sparsified inference compared to a dense reference to detect adversarial inputs. We show an adversarial detection rate of 86% when applied to VGG16 and 88% when applied to ResNet50, which exceeds the detection rate of the state of the art approaches, with a much lower overhead. We demonstrate a software/hardware-accelerated FPGA prototype, which reduces the performance impact of DNNSHIELD relative to software-only CPU and GPU implementations.


title: Interface Engineering Enabled Low Temperature Growth of Magnetic Insulator on Topological Insulator

abstract: Combining topological insulators (TIs) and magnetic materials in heterostructures is crucial for advancing spin-based electronics. Magnetic insulators (MIs) can be deposited on TIs using the spin-spray process, which is a unique non-vacuum, low-temperature growth process. TIs have highly reactive surfaces that oxidize upon exposure to atmosphere, making it challenging to grow spin-spray ferrites on TIs. In this work, it is demonstrated that a thin titanium capping layer on TI, followed by oxidation in atmosphere to produce a thin TiOx interfacial layer, protects the TI surface, without significantly compromising spin transport from the magnetic material across the TiOx to the TI surface states. First, it was demonstrated that in Bi2Te3/TiOx/Ni80Fe20 heterostructures that TiOx provided an excellent barrier against diffusion of magnetic species, yet maintained a large spin-pumping effect. Second, the TiOx was also used as a protective capping layer on Bi2Te3, followed by the spin-spray growth of the MI, NixZnyFe2O4 (NZFO). For the thinnest TiOx barriers, Bi2Te3/TiOx/NZFO samples had AFM disordered interfacial layer because of diffusion. With increasing TiOx barrier thickness, the diffusion was reduced, but still maintained strong interfacial spin-pumping interaction. These experimental results demonstrate a novel method of low-temperature growth of magnetic insulators on TIs enabled by interface engineering.


title: A Scotogenic Model with Two Inert Doublets

abstract: In this work, we present a scotogenic model, where the neutrino mass is generated at one-loop diagrams. The standard model (SM) is extended by three singlet Majorana fermions and two inert scalar doublets instead of one doublet as in the minimal scotogenic model. The model scalar sector includes two CP-even, two CP-odd and two charged scalars in addition to the Higgs. The dark matter (DM) candidate could be either the light Majorana fermion (Majorana DM), or the lightest among the CP-even and the CP-odd scalars (scalar DM). We show that the model accommodates both Majorana and scalar DM within a significant viable parameter space, while considering all the relevant theoretical and experimental constraints such as perturbativity, vacuum stability, unitarity, the di-photon Higgs decay, electroweak precision tests and lepton flavor violating constraints. In addition to the collider signatures predicted by the minimal scotogenic model, our model predicts some novel signatures that can be probed through some final states such as $8~jets+\slashed{E}_T$, $1\ell+4~jets+\slashed{E}_T$ and $4b+\slashed{E}_T$.


title: A New Structure in the Deuteron

abstract: We demonstrate that a paradigm shift from considering the deuteron as a system of bound proton and neutron to considering it as a pseudo-vector system in which we observe proton and neutron, results in a possibility of probing a new "incomplete" P-state like structure on the light-front (LF), at extremely large internal momenta, which can be achieved in high energy transfer electro-disintegration of the deuteron. Investigating the deuteron on the light-front, where the vacuum-fluctuations are suppressed, we found that this new structure, together with conventional S- and D- states, is a leading order in transferred energy of the reaction, thus it is not suppressed on the light-front.The incompleteness of the observed P-state results in a violation of angular condition which can happen only if deuteron contains non-nucleonic structures such as $\Delta$$\Delta$, $N^*N$ or hidden color components. We demonstrate that experimentally verifiable signatures of "incomplete" P-states are angular anisotropy of LF momentum distribution of the nucleon in the deuteron as well as an enhancement of the tensor polarization strength beyond the S- and D- wave predictions at large internal momenta in the deuteron.


title: Formal guarantees for heuristic optimization algorithms used in machine learning

abstract: Recently, Stochastic Gradient Descent (SGD) and its variants have become the dominant methods in the large-scale optimization of machine learning (ML) problems. A variety of strategies have been proposed for tuning the step sizes, ranging from adaptive step sizes to heuristic methods to change the step size in each iteration. Also, momentum has been widely employed in ML tasks to accelerate the training process. Yet, there is a gap in our theoretical understanding of them. In this work, we start to close this gap by providing formal guarantees to a few heuristic optimization methods and proposing improved algorithms. First, we analyze a generalized version of the AdaGrad (Delayed AdaGrad) step sizes in both convex and non-convex settings, showing that these step sizes allow the algorithms to automatically adapt to the level of noise of the stochastic gradients. We show for the first time sufficient conditions for Delayed AdaGrad to achieve almost sure convergence of the gradients to zero. Moreover, we present a high probability analysis for Delayed AdaGrad and its momentum variant in the non-convex setting. Second, we analyze SGD with exponential and cosine step sizes, which are empirically successful but lack theoretical support. We provide the very first convergence guarantees for them in the smooth and non-convex setting, with and without the Polyak-{\L}ojasiewicz (PL) condition. We also show their good property of adaptivity to noise under the PL condition. Third, we study the last iterate of momentum methods. We prove the first lower bound in the convex setting for the last iterate of SGD with constant momentum. Moreover, we investigate a class of Follow-The-Regularized-Leader-based momentum algorithms with increasing momentum and shrinking updates. We show that their last iterate has optimal convergence for unconstrained convex stochastic optimization problems.


title: On the geometry of a $(q + 1)$-arc of $\mathrm{PG}(3, q)$, q even

abstract: In $\mathrm{PG}(3, q)$, $q = 2^n$, $n \ge 3$, let ${\cal A} = \{(1,t,t^{2^h},t^{2^h+1}) \mid t \in \mathbb{F}_q\} \cup \{(0,0,0,1)\}$, with $\mathrm{gcd}(n,h) = 1$, be a $(q+1)$-arc and let $G_h \simeq \mathrm{PGL}(2, q)$ be the stabilizer of $\cal A$ in $\mathrm{PGL}(4, q)$. The $G_h$-orbits on points, lines and planes of $\mathrm{PG}(3, q)$, together with the point-plane incidence matrix with respect to the $G_h$-orbits on points and planes of $\mathrm{PG}(3, q)$ are determined. The point-line incidence matrix with respect to the $G_1$-orbits on points and lines of $\mathrm{PG}(3, q)$ is also considered. In particular, for a line $\ell$ belonging to a given line $G_1$-orbits, say $\cal L$, the point $G_1$-orbit distribution of $\ell$ is either explicitly computed or it is shown to depend on the number of elements $x$ in $\mathbb{F}_q$ (or in a subset of $\mathbb{F}_q$) such that $\mathrm{Tr}_{q|2}(g(x)) = 0$, where $g$ is an $\mathbb{F}_q$-map determined by $\cal L$.


title: New embedding results for double phase problems with variable exponents and a priori bounds for corresponding generalized double phase problems

abstract: In this paper we present new embedding results for Musielak-Orlicz Sobolev spaces of double phase type. Based on the continuous embedding of $W^{1,\mathcal{H}}(\Omega)$ into $L^{\mathcal{H}_*}(\Omega)$, where $\mathcal{H}_*$ is the Sobolev conjugate function of $\mathcal{H}$, we present much stronger embeddings as known in the literature. Based on these results, we consider generalized double phase problems involving such new type of growth with Dirichlet and nonlinear boundary condition and prove appropriate boundedness results of corresponding weak solutions based on the De Giorgi iteration along with localization arguments.


title: Wigner Analysis of Operators. Part II: Schr\"odinger equations

abstract: We study the phase-space concentration of the so-called generalized metaplectic operators whose main examples are Schr\"odinger equations with bounded perturbations. To reach this goal, we perform a so-called $\mathcal{A}$-Wigner analysis of the previous equations, as started in Part I, cf. [14]. Namely, the classical Wigner distribution is extended by considering a class of time-frequency representations constructed as images of metaplectic operators acting on symplectic matrices $\mathcal{A}\in Sp(2d,\mathbb{R})$. Sub-classes of these representations, related to covariant symplectic matrices, reveal to be particularly suited for the time-frequency study of the Schr\"odinger evolution. This testifies the effectiveness of this approach for such equations, highlighted by the development of a related wave front set. We first study the properties of $\mathcal{A}$-Wigner representations and related pseudodifferential operators needed for our goal. This approach paves the way to new quantization procedures. As a byproduct, we introduce new quasi-algebras of generalized metaplectic operators containing Schr\"odinger equations with more general potentials, extending the results contained in the previous works [8,9].


title: On (strongly) ($\Theta$-)discrete homogeneous spaces

abstract: We introduce the classes of (strongly) ($\Theta$-)discrete homogeneous spaces. We discuss the relationships of these classes to other classes of spaces possessing homogeneity-related properties, such as (strongly) ($n$-)homogeneous spaces. Many examples are given distinguishing discrete homogeneity and other types of homogeneity.


title: Integral functionals on nonseparable Banach spaces with applications

abstract: In this paper, we study integral functionals defined on spaces of functions with values on general (non-separable) Banach spaces. We introduce a new class of integrands and multifunctions for which we obtain measurable selection results. Then, we provide an interchange formula between integration and infimum, which enables us to get explicit formulas for the conjugate and Clarke subdifferential of integral functionals. Applications to expected functionals from stochastic programming, optimality conditions for a calculus of variation problem and sweeping processes are given.


title: Deep Active Learning with Budget Annotation

abstract: Digital data collected over the decades and data currently being produced with use of information technology is vastly the unlabeled data or data without description. The unlabeled data is relatively easy to acquire but expensive to label even with use of domain experts. Most of the recent works focus on use of active learning with uncertainty metrics measure to address this problem. Although most uncertainty selection strategies are very effective, they fail to take informativeness of the unlabeled instances into account and are prone to querying outliers. In order to address these challenges we propose an hybrid approach of computing both the uncertainty and informativeness of an instance, then automaticaly label the computed instances using budget annotator. To reduce the annotation cost, we employ the state-of-the-art pre-trained models in order to avoid querying information already contained in those models. Our extensive experiments on different sets of datasets demonstrate the efficacy of the proposed approach.


title: Autohomeomorphisms of the finite powers of the double arrow

abstract: Let $\mathbb{A}$ and $\mathbb{S}$ denote the double arrow of Alexandroff and the Sorgenfrey line, respectively. We show that any homeomorphism $h:^m\mathbb{A}\to^m\mathbb{A} $ is locally (outside of a nowhere dense set) a product of monotone embeddings $h_i:J_i\subseteq \mathbb{A}\to\mathbb{A} (i\in m)$ followed by a permutation of the coordinates. We also prove that the symmetric products $\mathcal{F}_m(\mathbb{A})$ are not homogeneous for any $m\geq 2$. This partially solves an open question of A. Arhangel'ski\v{i}. In contrast, we show that symmetric product $\mathcal{F}_2(\mathbb{S})$ is homogeneous.


title: Public Sector Platforms going Open: Creating and Growing an Ecosystem with Open Collaborative Development

abstract: Background: By creating ecosystems around platforms of Open Source Software (OSS) and Open Data (OD), and adopting open collaborative development practices, platform providers may exploit open innovation benefits. However, adopting such practices in a traditionally closed organization is a maturity process that we hypothesize cannot be undergone without friction. Objective: This study aims to investigate what challenges may occur for a newly-turned platform provider in the public sector, aiming to adopt open collaborative practices to create an ecosystem around the development of the underpinning platform. Method: An exploratory case-study is conducted at a Swedish public sector platform provider, which is creating an ecosystem around OSS and OD, related to the labor market. Data is collected through interviews, document studies, and prolonged engagement. Results: Findings highlight a fear among developers of being publicly questioned for their work, as they represent a government agency undergoing constant scrutiny. Issue trackers, roadmaps, and development processes are generally closed, while multiple channels are used for communication, causing internal and external confusion. Some developers are reluctant to communicate externally as they believe it interferes with their work. Lack of health metrics limits possibilities to follow ecosystem growth and for actors to make investment decisions. Further, an autonomous team structure is reported to complicate internal communication and enforcement of the common vision, as well as collaboration. A set of interventions for addressing the challenges are proposed, based on related work. Conclusions: We conclude that several cultural, organizational, and process-related challenges may reside, and by understanding these early on, platform providers can be preemptive in their work of building healthy ecosystems.


title: Aggretriever: A Simple Approach to Aggregate Textual Representations for Robust Dense Passage Retrieval

abstract: Pre-trained language models have been successful in many knowledge-intensive NLP tasks. However, recent work has shown that models such as BERT are not ``structurally ready'' to aggregate textual information into a [CLS] vector for dense passage retrieval (DPR). This ``lack of readiness'' results from the gap between language model pre-training and DPR fine-tuning. Previous solutions call for computationally expensive techniques such as hard negative mining, cross-encoder distillation, and further pre-training to learn a robust DPR model. In this work, we instead propose to fully exploit knowledge in a pre-trained language model for DPR by aggregating the contextualized token embeddings into a dense vector, which we call agg*. By concatenating vectors from the [CLS] token and agg*, our Aggretriever model substantially improves the effectiveness of dense retrieval models on both in-domain and zero-shot evaluations without introducing substantial training overhead. Code is available at https://github.com/castorini/dhr


title: On the structure of repeated-root polycyclic codes over local rings

abstract: This paper provides the Generalized Mattson Solomon polynomial for repeated-root polycyclic codes over local rings that gives an explicit decomposition of them in terms of idempotents that completes the single root study. It also states some structural properties of repeated-root polycyclic codes over finite fields in terms of matrix product codes. Both approaches provide a description of the $\perp_0$-dual code of a given polycyclic code.


title: Non-equilibrium attractor in high-temperature QCD plasmas

abstract: We establish the existence of a far-from-equilibrium attractor in weakly-coupled gauge theory undergoing 0+1d Bjorken expansion which goes beyond the energy-momentum tensor to the detailed form of the one-particle distribution function. We then demonstrate that the dynamics can be re-scaled at intermediate times and represented by universal exponents. Finally, we assess different procedures for reconstructing the full one-particle distribution function from the energy-momentum tensor along the attractor and discuss implications for the freeze-out procedure used in the phenomenological analysis of ultra-relativistic nuclear collisions


title: Post-Lie algebras in Regularity Structures

abstract: In this work, we construct the deformed Butcher-Connes-Kreimer Hopf algebra coming from the theory of Regularity Structures as the universal envelope of a post-Lie algebra. We show that this can be done using either of the two combinatorial structures that have been proposed in the context of singular SPDEs: decorated trees and multi-indices. Our construction is inspired from multi-indices where the Hopf algebra was obtained as the universal envelope of a Lie algebra and it has been proved that one can find a basis that is symmetric with respect to certain elements. We show that this Lie algebra comes from an underlying post-Lie structure.


title: Random zeros entire functions

abstract: We propose the construction of entire functions with a given random collection of zeros. There are considered two particular cases. In the first one we are dealing with simple zeros. And the second corresponds to random zeros with random multiplicity.


title: Learning an Interpretable Model for Driver Behavior Prediction with Inductive Biases

abstract: To plan safe maneuvers and act with foresight, autonomous vehicles must be capable of accurately predicting the uncertain future. In the context of autonomous driving, deep neural networks have been successfully applied to learning predictive models of human driving behavior from data. However, the predictions suffer from cascading errors, resulting in large inaccuracies over long time horizons. Furthermore, the learned models are black boxes, and thus it is often unclear how they arrive at their predictions. In contrast, rule-based models, which are informed by human experts, maintain long-term coherence in their predictions and are human-interpretable. However, such models often lack the sufficient expressiveness needed to capture complex real-world dynamics. In this work, we begin to close this gap by embedding the Intelligent Driver Model, a popular hand-crafted driver model, into deep neural networks. Our model's transparency can offer considerable advantages, e.g., in debugging the model and more easily interpreting its predictions. We evaluate our approach on a simulated merging scenario, showing that it yields a robust model that is end-to-end trainable and provides greater transparency at no cost to the model's predictive accuracy.


title: Searches for Lorentz and CPT Violation with Confined Particles

abstract: An overview of recent progress on searches for Lorentz- and CPT-violating signals with confined particles and antiparticles in Penning traps is presented. In the context of the Standard-Model Extension (SME), leading-order shifts in the cyclotron and anomaly frequencies of a confined particle and antiparticle due to Lorentz and CPT violation are provided. The two frequencies are then related to comparisons of charge-to-mass ratios and magnetic moments between particles and antiparticles. Applying reported results from Penning-trap experiments leads to new limits on various coefficients for Lorentz violation.


title: Explicit conditions for the CLT and related results for non-uniformly partially expanding random dynamical systems via effective RPF rates

abstract: The purpose of this paper is to provide a first class of explicit sufficient conditions for the central limit theorem and related results in the setup of non-uniformly (partially) expanding non iid random transformations, considered as stochastic processes together with some random Gibbs measure. More precisely, we prove a central limit theorem (CLT), an almost sure invariance principle, a moderate deviations principle, Berry-Esseen type estimates and a moderate local central limit theorem for random Birkhoff sums generated by a non-uniformly partially expanding dynamical systems $T_\omega$ and a random Gibbs measure $\mu_\omega$ corresponding to a random potential $\phi_\omega$ with a sufficiently regular variation.


title: Assessing The Performance of YOLOv5 Algorithm for Detecting Volunteer Cotton Plants in Corn Fields at Three Different Growth Stages

abstract: The boll weevil (Anthonomus grandis L.) is a serious pest that primarily feeds on cotton plants. In places like Lower Rio Grande Valley of Texas, due to sub-tropical climatic conditions, cotton plants can grow year-round and therefore the left-over seeds from the previous season during harvest can continue to grow in the middle of rotation crops like corn (Zea mays L.) and sorghum (Sorghum bicolor L.). These feral or volunteer cotton (VC) plants when reach the pinhead squaring phase (5-6 leaf stage) can act as hosts for the boll weevil pest. The Texas Boll Weevil Eradication Program (TBWEP) employs people to locate and eliminate VC plants growing by the side of roads or fields with rotation crops but the ones growing in the middle of fields remain undetected. In this paper, we demonstrate the application of computer vision (CV) algorithm based on You Only Look Once version 5 (YOLOv5) for detecting VC plants growing in the middle of corn fields at three different growth stages (V3, V6, and VT) using unmanned aircraft systems (UAS) remote sensing imagery. All the four variants of YOLOv5 (s, m, l, and x) were used and their performances were compared based on classification accuracy, mean average precision (mAP), and F1-score. It was found that YOLOv5s could detect VC plants with a maximum classification accuracy of 98% and mAP of 96.3 % at the V6 stage of corn while YOLOv5s and YOLOv5m resulted in the lowest classification accuracy of 85% and YOLOv5m and YOLOv5l had the least mAP of 86.5% at the VT stage on images of size 416 x 416 pixels. The developed CV algorithm has the potential to effectively detect and locate VC plants growing in the middle of corn fields as well as expedite the management aspects of TBWEP.


title: Early results from GLASS-JWST. VII: evidence for lensed, gravitationally bound proto-globular clusters at z=4 in the Hubble Frontier Field A2744

abstract: We investigate the blue and optical rest-frame sizes (lambda~2300A-4000A) of three compact star-forming regions in a galaxy at z=4 strongly lensed (x30, x45, x100) by the Hubble Frontier Field galaxy cluster A2744 using GLASS-ERS JWST/NIRISS imaging at 1.15um, 1.50mu and 2.0mu with PSF < 0.1". In particular, the Balmer break is probed in detail for all multiply-imaged sources of the system. With ages of a few tens of Myr, stellar masses in the range (0.7-4.0) x 10^6 Msun and optical/ultraviolet effective radii spanning the interval 3 < R_eff < 20 pc, such objects are currently the highest redshift (spectroscopically-confirmed) gravitationally-bound young massive star clusters (YMCs), with stellar mass surface densities resembling those of local globular clusters. Optical (4000A, JWST-based) and ultraviolet (1600A, HST-based) sizes are fully compatible. The contribution to the ultraviolet underlying continuum emission (1600A) is ~30%, which decreases by a factor of two in the optical for two of the YMCs (~4000A rest-frame), reflecting the young ages (<30 Myr) inferred from the SED fitting and supported by the presence of high-ionization lines secured with VLT/MUSE. Such bursty forming regions enhance the sSFR of the galaxy, which is ~10 Gyr^-1. This galaxy would be among the extreme analogs observed in the local Universe having high star formation rate surface density and high occurrence of massive stellar clusters in formation.


title: Dynamics of a particle in the generalised Ellis-Bronnikov wormhole on the rotating Archimede's spiral

abstract: A particle moving on curved magnetic field lines in the wormhole metrics is considered. The dynamics of a single particle is studied on a co-rotating parameterized magnetic field line. Being interested in the force-free dynamics we choose the rotating Archimedes' spiral embedded in the generalized Ellis-Bronnikov metrics. By analysing the phase space, we explore how the physical parameters affect the motion of the particle and it is shown that the particles may reach the force free regime, eventually escaping the wormhole.


title: Online Decentralized Frank-Wolfe: From theoretical bound to applications in smart-building

abstract: The design of decentralized learning algorithms is important in the fast-growing world in which data are distributed over participants with limited local computation resources and communication. In this direction, we propose an online algorithm minimizing non-convex loss functions aggregated from individual data/models distributed over a network. We provide the theoretical performance guarantee of our algorithm and demonstrate its utility on a real life smart building.


title: Differential inclusions for the Schouten tensor and nonlinear eigenvalue problems in conformal geometry

abstract: Let $g_0$ be a smooth Riemannian metric on a closed manifold $M^n$ of dimension $n\geq 3$. We study the existence of a smooth metric $g$ conformal to $g_0$ whose Schouten tensor $A_g$ satisfies the differential inclusion $\lambda(g^{-1}A_g)\in\Gamma$ on $M^n$, where $\Gamma\subset\mathbb{R}^n$ is a cone satisfying standard assumptions. Inclusions of this type are often assumed in the existence theory for fully nonlinear elliptic equations in conformal geometry. We assume the existence of a continuous metric $g_1$ conformal to $g_0$ satisfying $\lambda(g_1^{-1}A_{g_1})\in\bar{\Gamma'}$ in the viscosity sense on $M^n$, together with a nondegenerate ellipticity condition, where $\Gamma' = \Gamma$ or $\Gamma'$ is a cone slightly smaller than $\Gamma$. In fact, we prove not only the existence of metrics satisfying such differential inclusions, but also existence and uniqueness results for fully nonlinear eigenvalue problems for the Schouten tensor. We also give a number of geometric applications of our results. We show that the solvability of the $\sigma_2$-Yamabe problem is equivalent to positivity of a nonlinear eigenvalue for the $\sigma_2$-operator in three dimensions. We also give a generalisation of a theorem of Aubin and Ehrlick on pinching of the Ricci curvature, and an application in the study of Green's functions for fully nonlinear Yamabe problems.


title: CloudAttention: Efficient Multi-Scale Attention Scheme For 3D Point Cloud Learning

abstract: Processing 3D data efficiently has always been a challenge. Spatial operations on large-scale point clouds, stored as sparse data, require extra cost. Attracted by the success of transformers, researchers are using multi-head attention for vision tasks. However, attention calculations in transformers come with quadratic complexity in the number of inputs and miss spatial intuition on sets like point clouds. We redesign set transformers in this work and incorporate them into a hierarchical framework for shape classification and part and scene segmentation. We propose our local attention unit, which captures features in a spatial neighborhood. We also compute efficient and dynamic global cross attentions by leveraging sampling and grouping at each iteration. Finally, to mitigate the non-heterogeneity of point clouds, we propose an efficient Multi-Scale Tokenization (MST), which extracts scale-invariant tokens for attention operations. The proposed hierarchical model achieves state-of-the-art shape classification in mean accuracy and yields results on par with the previous segmentation methods while requiring significantly fewer computations. Our proposed architecture predicts segmentation labels with around half the latency and parameter count of the previous most efficient method with comparable performance. The code is available at https://github.com/YigeWang-WHU/CloudAttention.


title: Learning to generate Reliable Broadcast Algorithms

abstract: Modern distributed systems are supported by fault-tolerant algorithms, like Reliable Broadcast and Consensus, that assure the correct operation of the system even when some of the nodes of the system fail. However, the development of distributed algorithms is a manual and complex process, resulting in scientific papers that usually present a single algorithm or variations of existing ones. To automate the process of developing such algorithms, this work presents an intelligent agent that uses Reinforcement Learning to generate correct and efficient fault-tolerant distributed algorithms. We show that our approach is able to generate correct fault-tolerant Reliable Broadcast algorithms with the same performance of others available in the literature, in only 12,000 learning episodes.


title: Groupes de surface dans les r\'eseaux des groupes de Lie semi-simples [d'apr\`es J. Kahn, V. Markovi\'c, U. Hamenst\"adt, F. Labourie et S. Mozes]

abstract: A cocompact lattice in a semisimple Lie group $G$ is a discrete subgroup $\Gamma$ such that the quotient $G/\Gamma$ is compact. Does such a lattice always contain a surface group, i.e. a subgroup isomorphic to the fundamental group of a compact hyperbolic surface? If so, does it contain surface subgroups close (in a precise quantitative sense) to Fuchsian subgroups of $G$, i.e to discrete subgroups of $G$ contained in a copy of $\operatorname{(P)SL}(2,\mathbf{R})$ in $G$? The case $G=\operatorname{PSL}(2,\mathbf{C})$ corresponds to a famous conjecture of Thurston on 3-dimensional hyperbolic manifolds, and the quantitative version of the case $G=\operatorname{PSL}(2,\mathbf{R}) \times \operatorname{PSL}(2,\mathbf{R})$ implies a conjecture of Ehrenpreis on pairs of compact hyperbolic surfaces; these two conjectures were proved by Kahn and Markovi\'c around ten years ago. Motivated by a question of Gromov, Hamenst\"adt solved the case that $G$ has real rank one, except for $G=\operatorname{SO}(2n,1)$. In a recent preprint (arXiv:1805.10189), Kahn, Labourie, and Mozes treat the case of a large class of semisimple Lie groups, including in particular all complex simple Lie groups; the surface groups they obtain are images of representations that are Anosov in the sense of Labourie. We present some of the ideas of their proof.


title: Constraining the photon mass via Schumann resonances

abstract: The photon is the paradigm for a massless particle and current experimental tests set severe upper bounds on its mass. Probing such a small mass, or equivalently large Compton wavelength, is challenging at laboratory scales, but planetary or astrophysical phenomena may potentially reach much better sensitivities. In this work we consider the effect of a finite photon mass on Schumann resonances in the Earth-ionosphere cavity, since the TM modes circulating Earth have eigen-frequencies of order $\mathcal{O} (10 \, {\rm Hz})$ that could be sensitive to $m_\gamma \approx 10^{-14} \, {\rm eV/c}^2$. In particular, we update the limit from Kroll [Phys. Rev. Lett. 27, 340 (1971)], $m_\gamma \leq 2.4 \times 10^{-13} \, {\rm eV/c}^2$, by considering realistic conductivity profiles for the atmosphere. We find the conservative upper bound $m_\gamma \leq 2.5 \times 10^{-14} \, {\rm eV/c}^2$, a factor 9.6 more strict than Kroll's earlier projection.


title: The BCC lattice in a long range interaction system

abstract: While the hexagonal lattice is ubiquitous in two dimensions, the body centered cubic lattice and the face centered lattice are both commonly observed in three dimensions. A geometric variational problem motivated by the diblock copolymer theory consists of a short range interaction energy and a long range interaction energy. In three dimensions, and when the long range interaction is given by the nonlocal operator $(-\Delta)^{-3/2}$, it is proved that the body centered cubic lattice is the preferred structure.


title: Ion source and LEBT of KAHVELab proton beamline

abstract: The KAHVE Laboratory, at Bo\u{g}azi\c{c}i University, Istanbul, Turkey is home to an educational proton linac project. The proton beam will originate from a 20 keV H+ source and will be delivered to a two module Radio Frequency Quadrupole (RFQ) operating at 800 MHz via a low energy beam transport (LEBT) line. Currently, the design phase being over, commissioning and stability tests are ongoing for the proton beamline which is already produced and installed except the RFQ which is being manufactured. This work summarizes the design, production and test phases of the ion source and LEBT line components.


title: Sampling the proteome by emerging single-molecule and mass-spectrometry methods

abstract: Mammalian cells have about 30,000-fold more protein molecules than mRNA molecules. This larger number of molecules and the associated larger dynamic range have major implications in the development of proteomics technologies. We examine these implications for both liquid chromatography-tandem mass spectrometry (LC-MS/MS) and single-molecule counting and provide estimates on how many molecules are routinely measured in proteomics experiments by LC-MS/MS. We review strategies that have been helpful for counting billions of protein molecules by LC-MS/MS and suggest that these strategies can benefit single-molecule methods, especially in mitigating the challenges of the wide dynamic range of the proteome. We also examine the theoretical possibilities for scaling up single-molecule and mass spectrometry proteomics approaches to quantifying the billions of protein molecules that make up the proteomes of our cells.


title: Orientation effects on near-field radiative heat transfer between complex-shaped dielectric particles

abstract: The effect of orientation on near-field radiative heat transfer between two complex-shaped superellipsoid particles of SiO2 is presented. The particles under study are 50 nm in radius and of variable concavity. Orientation is characterized by the degree of rotational symmetry in the two-particle systems, and the radiative conductance is calculated using the discrete system Green's function approach to account for all electromagnetic interactions. Results reveal that the total conductance in some orientations can be up to twice that of other orientations when particles are at center-of-mass separation distances of 110 nm. Orientation effects are not significantly correlated with system rotational symmetries but are strongly correlated with the minimum vacuum gap distance between particles. As such, orientation effects on near-field radiative heat transfer are a consequence of particle topology, with more extreme topologies leading to a continuation of orientation effects at larger particle center-of-mass separation distances. The concave superellipsoid particles display significant orientation effects up to a center-of-mass separation distance approximately equal to 3.9 times the particle radius, while the convex superellipsoid particles display significant orientation effects up to a center-of-mass separation distance approximately equal to 3.2 times the particle radius. In contrast to previous anisotropic, spheroidal dipole studies, these results of complex-shaped superellipsoid particles suggest that orientation effects become negligible when heat transfer is a volumetric process for all orientations. This work is essential for understanding radiative transport between particles that have non-regular geometries or that may have geometrical defects or abnormalities.


title: Unveiling the outer core composition with neutrino oscillation tomography

abstract: In the last 70 years, geophysics has established that the Earth's outer core is an FeNi alloy containing a few percent of light elements, whose nature and amount remain controversial today. Besides the classical combinations of silicon and oxygen, hydrogen has been advocated as the only light element that could account alone for both the density and velocity profiles of the outer core. Here we show how this question can be addressed from an independant viewpoint, by exploiting the tomographic information provided by atmospheric neutrinos, weakly-interacting particles produced in the atmosphere and constantly traversing the Earth. We evaluate the potential of the upcoming generation of atmospheric neutrino detectors for such a measurement, showing that they could efficiently detect the presence of 1 wt% of hydrogen in an FeNi core in 50 years of concomitant data taking. We then identify the main requirements for a next-generation detector to perform this measurement in a few years timescale, with the further capability to efficiently discriminate between FeNiH and FeNiSi(x)O(y) models in less than 15 years.


title: Identifying Interstellar Object Impact Craters

abstract: The discoveries of two Interstellar Objects (ISOs) in recent years has generated significant interest in constraining their physical properties and the mechanisms behind their formation. However, their ephemeral passages through our Solar System permitted only incomplete characterization. We investigate avenues for identifying craters that may have been produced by ISOs impacting terrestrial Solar System bodies, with particular attention towards the Moon. A distinctive feature of ISOs is their relatively high encounter velocity compared to asteroids and comets. Local stellar kinematics indicate that terrestrial Solar System bodies should have experienced of order unity ISO impacts exceeding 100 km/s. By running hydrodynamical simulations for projectiles of different masses and impact velocities, up to 100 km/s, we show how late-stage equivalence dictates that transient crater dimensions are alone insufficient for inferring the projectile's velocity. On the other hand, the melt volume within craters of a fixed diameter may be a potential route for identifying ISO craters, as faster impacts produce more melt. This method requires that the melt volume scales with the energy of the projectile, while crater diameter scales with the point-source limit (sub-energy). Given that there are probably only a few ISO craters in the Solar System at best, and that transient crater dimensions are not a distinguishing feature for impact velocities at least up to 100 km/s, identification of an ISO crater proves a challenging task. Melt volume and high-pressure petrology may be diagnostic features once large volumes of material can be analyzed in situ.


title: Generalized Luttinger surgery and other cut-and-paste constructions in generalized complex geometry

abstract: Exploiting the affinity between stable generalized complex structures and symplectic structures, we explain how certain constructions coming from symplectic geometry can be performed in the generalized complex setting. We introduce generalized Luttinger surgery and generalized Gluck twist along $\mathcal{J}$-symplectic submanifolds. We also export branched coverings to the generalized complex setting. As an application, stable generalized complex structures are produced on a variety of high-dimensional manifolds. Remarkably, some of them have non-homotopy-equivalent path-connected components of their type change locus.


title: Midpoint and trapezoid type inequalities for multiplicatively convex functions

abstract: In this paper, we first prove two new identities for multiplicative differentiable functions. Based on this identity, we establish a midpoint and trapezoid type inequalities for multiplicatively convex functions. Applications to special means are also given.


title: Countdown $\mu$-calculus

abstract: We introduce the countdown $\mu$-calculus, an extension of the modal $\mu$-calculus with ordinal approximations of fixpoint operators. In addition to properties definable in the classical calculus, it can express (un)boundedness properties such as the existence of arbitrarily long sequences of specific actions. The standard correspondence with parity games and automata extends to suitably defined countdown games and automata. However, unlike in the classical setting, the scalar fragment is provably weaker than the full vectorial calculus and corresponds to automata satisfying a simple syntactic condition. We establish some facts, in particular decidability of the model checking problem and strictness of the hierarchy induced by the maximal allowed nesting of our new operators.


title: Mitigation of the Turbulence within an Arteriovenous Fistula with a Stent Implantation

abstract: The transitional flow which initiates within the junction (anastomosis) of an arteriovenous fistula (AVF) is known to be a contributing factor in the onset of vascular disease. A novel treatment method involving the implantation of a flexible stent across the anastomosis has enabled the retention of a large proportion of functioning AVFs, despite the propensity for stent malapposition to occur at the sharp inner curve of the anastomosis. Large Eddy Simulations (LES) of a patient-specific AVF with and without the presence of a stent captured oscillatory flow behaviour emanating from the interface of the two inlet flows in the stent-absent case, however, these oscillatory features were subdued in the stented case. The stent-absent case generally had higher Turbulent Kinetic Energy (TKE) in the anastomosis which led to larger cycle-to-cycle variations in wall shear stress (WSS). The significantly lower TKE generated at the heel of the stented AVF was contained within the malapposed stent, thereby resulting in lower WSS fluctuations. However, a slight increase in turbulence downstream of the malapposed stent edge was noted. This detailed study reveals a significant decrease in turbulence within the AVF in the presence of the stent, thereby, providing a level of understanding underpinning the success of the treatment strategy from a fluid dynamic perspective.


title: Rogue waves in quantum lattices with correlated disorder

abstract: We investigate the outbreak of anomalous quantum wavefunction amplitudes in a one-dimensional tight-binding lattice featuring correlated diagonal disorder. Such rogue-wave-like behavior is fostered by a competition between localization and mobility. The effective correlation length of the disorder is ultimately responsible for bringing the local disorder strength to a minimum, fuelling the occurrence of extreme events of much higher amplitudes, specially when compared to the case of uncorrelated disorder. Our findings are valid for a class of discrete one-dimensional systems and reveal profound aspects of the role of randomness in rogue-wave generation.


title: Is current research on adversarial robustness addressing the right problem?

abstract: Short answer: Yes, Long answer: No! Indeed, research on adversarial robustness has led to invaluable insights helping us understand and explore different aspects of the problem. Many attacks and defenses have been proposed over the last couple of years. The problem, however, remains largely unsolved and poorly understood. Here, I argue that the current formulation of the problem serves short term goals, and needs to be revised for us to achieve bigger gains. Specifically, the bound on perturbation has created a somewhat contrived setting and needs to be relaxed. This has misled us to focus on model classes that are not expressive enough to begin with. Instead, inspired by human vision and the fact that we rely more on robust features such as shape, vertices, and foreground objects than non-robust features such as texture, efforts should be steered towards looking for significantly different classes of models. Maybe instead of narrowing down on imperceptible adversarial perturbations, we should attack a more general problem which is finding architectures that are simultaneously robust to perceptible perturbations, geometric transformations (e.g. rotation, scaling), image distortions (lighting, blur), and more (e.g. occlusion, shadow). Only then we may be able to solve the problem of adversarial vulnerability.


title: The Uchuu-SDSS galaxy lightcones: a clustering, RSD and BAO study

abstract: We present the data release of the Uchuu-SDSS galaxies: a set of 32 high-fidelity galaxy lightcones constructed from the large Uchuu 2.1 trillion particle $N$-body simulation using Planck cosmology. We adopt subhalo abundance matching to populate the Uchuu-box halo catalogues with SDSS galaxy luminosities. These cubic box galaxy catalogues generated at several redshifts are combined to create the set of lightcones with redshift-evolving galaxy properties. The Uchuu-SDSS galaxy lightcones are built to reproduce the footprint and statistical properties of the SDSS main galaxy survey, along with stellar masses and star formation rates. This facilitates direct comparison of the observed SDSS and simulated Uchuu-SDSS data. Our lightcones reproduce a large number of observational results, such as the distribution of galaxy properties, the galaxy clustering, the stellar mass functions, and the halo occupation distributions. Using the simulated and real data we select samples of bright red galaxies at $z_\mathrm{eff}=0.15$ to explore Redshift Space Distortions and Baryon Acoustic Oscillations (BAO) utilizing a full-shape analytical model of the two-point correlation function. We create a set of 5100 galaxy lightcones using GLAM N-body simulations to compute covariance errors. We report a $\sim 30\%$ precision increase on $f\sigma_8$, due to our better estimate of the covariance matrix. From our BAO-inferred $\alpha_{\parallel}$ and $\alpha_{\perp}$ parameters, we obtain the first SDSS measurements of the Hubble and angular diameter distances $D_\mathrm{H}(z=0.15) / r_d = 27.9^{+3.1}_{-2.7}$, $D_\mathrm{M}(z=0.15) / r_d = 5.1^{+0.4}_{-0.4}$. Overall, we conclude that the Planck LCDM cosmology nicely explains the observed large-scale structure statistics of SDSS. All data sets are made publicly available.


title: On the reconstruction of unknown driving forces from low-mode observations in the 2D Navier-Stokes Equations

abstract: This article is concerned with the problem of determining an unknown source of non-potential, external time-dependent perturbations of an incompressible fluid from large-scale observations on the flow field. A relaxation-based approach is proposed for accomplishing this, which leverages a nonlinear property of the equations of motions to asymptotically enslave small scales to large scales. In particular, an algorithm is introduced that systematically produces approximations of the flow field on the unobserved scales in order to generate an approximation to the unknown force; the process is then repeated to generate an improved approximation of the unobserved scales, and so on. A mathematical proof of convergence of this algorithm is established in the context of the two-dimensional Navier-Stokes equations with periodic boundary conditions under the assumption that the force belongs to the observational subspace of phase space; at each stage in the algorithm, it is shown that the model error, represented as the difference between the approximating and true force, asymptotically decrements to zero in a geometric fashion provided that sufficiently many scales are observed and certain parameters of the algorithm are appropriately tuned; the issue of the sharpness of the assumptions, among other practical considerations such as the transient periods between updates, are also discussed.


title: DeScoD-ECG: Deep Score-Based Diffusion Model for ECG Baseline Wander and Noise Removal

abstract: Objective: Electrocardiogram (ECG) signals commonly suffer noise interference, such as baseline wander. High-quality and high-fidelity reconstruction of the ECG signals is of great significance to diagnosing cardiovascular diseases. Therefore, this paper proposes a novel ECG baseline wander and noise removal technology. Methods: We extended the diffusion model in a conditional manner that was specific to the ECG signals, namely the Deep Score-Based Diffusion model for Electrocardiogram baseline wander and noise removal (DeScoD-ECG). Moreover, we deployed a multi-shots averaging strategy that improved signal reconstructions. We conducted the experiments on the QT Database and the MIT-BIH Noise Stress Test Database to verify the feasibility of the proposed method. Baseline methods are adopted for comparison, including traditional digital filter-based and deep learning-based methods. Results: The quantities evaluation results show that the proposed method obtained outstanding performance on four distance-based similarity metrics with at least 20\% overall improvement compared with the best baseline method. Conclusion: This paper demonstrates the state-of-the-art performance of the DeScoD-ECG for ECG baseline wander and noise removal, which has better approximations of the true data distribution and higher stability under extreme noise corruptions. Significance: This study is one of the first to extend the conditional diffusion-based generative model for ECG noise removal, and the DeScoD-ECG has the potential to be widely used in biomedical applications.


title: ERC-20R and ERC-721R: Reversible Transactions on Ethereum

abstract: Blockchains are meant to be persistent: posted transactions are immutable and cannot be changed. When a theft takes place, there are limited options for reversing the disputed transaction, and this has led to significant losses in the blockchain ecosystem. In this paper we propose reversible versions of ERC-20 and ERC-721, the most widely used token standards. With these new standards, a transaction is eligible for reversal for a short period of time after it has been posted on chain. After the dispute period has elapsed, the transaction can no longer be reversed. Within the short dispute period, a sender can request to reverse a transaction by convincing a decentralized set of judges to first freeze the disputed assets, and then later convincing them to reverse the transaction. Supporting reversibility in the context of ERC-20 and ERC-721 raises many interesting technical challenges. This paper explores these challenges and proposes a design for our ERC-20R and ERC-721R standards, the reversible versions of ERC-20 and ERC-721. We also provide a prototype implementation. Our goal is to initiate a deeper conversation about reversibility in the hope of reducing some of the losses in the blockchain ecosystem.


title: Analysis of Semi-Supervised Methods for Facial Expression Recognition

abstract: Training deep neural networks for image recognition often requires large-scale human annotated data. To reduce the reliance of deep neural solutions on labeled data, state-of-the-art semi-supervised methods have been proposed in the literature. Nonetheless, the use of such semi-supervised methods has been quite rare in the field of facial expression recognition (FER). In this paper, we present a comprehensive study on recently proposed state-of-the-art semi-supervised learning methods in the context of FER. We conduct comparative study on eight semi-supervised learning methods, namely Pi-Model, Pseudo-label, Mean-Teacher, VAT, MixMatch, ReMixMatch, UDA, and FixMatch, on three FER datasets (FER13, RAF-DB, and AffectNet), when various amounts of labeled samples are used. We also compare the performance of these methods against fully-supervised training. Our study shows that when training existing semi-supervised methods on as little as 250 labeled samples per class can yield comparable performances to that of fully-supervised methods trained on the full labeled datasets. To facilitate further research in this area, we make our code publicly available at: https://github.com/ShuvenduRoy/SSL_FER


title: Distributed Intelligence in Wireless Networks

abstract: The cloud-based solutions are becoming inefficient due to considerably large time delays, high power consumption, security and privacy concerns caused by billions of connected wireless devices and typically zillions bytes of data they produce at the network edge. A blend of edge computing and Artificial Intelligence (AI) techniques could optimally shift the resourceful computation servers closer to the network edge, which provides the support for advanced AI applications (e.g., video/audio surveillance and personal recommendation system) by enabling intelligent decision making on computing at the point of data generation as and when it is needed, and distributed Machine Learning (ML) with its potential to avoid the transmission of large dataset and possible compromise of privacy that may exist in cloud-based centralized learning. Therefore, AI is envisioned to become native and ubiquitous in future communication and networking systems. In this paper, we conduct a comprehensive overview of recent advances in distributed intelligence in wireless networks under the umbrella of native-AI wireless networks, with a focus on the basic concepts of native-AI wireless networks, on the AI-enabled edge computing, on the design of distributed learning architectures for heterogeneous networks, on the communication-efficient technologies to support distributed learning, and on the AI-empowered end-to-end communications. We highlight the advantages of hybrid distributed learning architectures compared to the state-of-art distributed learning techniques. We summarize the challenges of existing research contributions in distributed intelligence in wireless networks and identify the potential future opportunities.


title: Interior Dynamics of Fatou Sets

abstract: In this paper, we investigate the precise behavior of orbits inside attracting basins. Let $f$ be a holomorphic polynomial of degree $m\geq2$ in $\mathbb{C}$, $\mathcal {A}(p)$ be the basin of attraction of an attracting fixed point $p$ of $f$, and $\Omega_i (i=1, 2, \cdots)$ be the connected components of $\mathcal{A}(p)$. We prove that there is a constant $C$ so that for every point $z_0$ inside any $\Omega_i$, there exists a point $q\in \cup_k f^{-k}(p)$ inside $\Omega_i$ such that $d_{\Omega_i}(z_0, q)\leq C$, where $d_{\Omega_i}$ is the Kobayashi distance on $\Omega_i.$


title: All polytopes are coset geometries: characterizing automorphism groups of k-orbit abstract polytopes

abstract: Abstract polytopes generalize the classical notion of convex polytopes to more general combinatorial structures. The most studied ones are regular and chiral polytopes, as it is well-known, they can be constructed as coset geometries from their automorphism groups. This is also known to be true for 2- and 3- orbit 3-polytopes. In this paper we show that every abstract $n$-polytope can be constructed as a coset geometry. This construction is done by giving a characterization, in terms of generators, relations and intersection conditions, of the automorphism group of a $k$-orbit polytope with given symmetry type graph. Furthermore, we use these results to show that for all $k\neq 2$, there exist $k$-orbit $n$-polytopes with Boolean automorphism groups, for all $n\geq 3$.


title: Safer Traffic Recovery from the Pandemic in London -- Spatiotemporal Data Mining of Car Crashes

abstract: In the aim to support London's safer recovery from the pandemic by improving road safety intelligently, this study investigated the spatiotemporal patterns of age-involved car crashes and affecting factors, upon answering two main research questions: (1)"What are the spatial and temporal patterns of car crashes as well as their changes in two typical years, 2019 and 2020, in London, and how the influential factors work?"; (2)"What are the spatiotemporal patterns of casualty by age groups, and how people's daily activities affect the patterns pre- and para- the pandemic"? Three approaches, i.e., spatial analysis (network Kernel Density Estimation, NetKDE), factor analysis, and spatiotemporal data mining (tensor decomposition), had been implemented to identify the temporal patterns of car crashes on weekly and daily basis respectively, detect the crashes' hot spots, and to gain better understanding the effect from citizens' daily activity on crashes' patterns pre- and para- the pandemic. It had been found from the study that car crashes mainly clustered in the central part of London, especially busier areas around denser hubs of point-of-interest (POIs); the POIs, as a reflector for citizens' daily activities and travel behaviours, can be of help to gain a better understanding of the crashes' patterns, upon further assessment on interactions through the geographical detector; the crashes' casualty patterns varied by age group, with distinctive relationships between POIs and crashes' pattern for corresponding age group categorised. In all, the paper provided an in-depth exploratory analysis of car crashes and their casualty patterns in London to facilitate deployment policies towards post-pandemic safer recovery upon COVID-19.


title: Unifying Approaches in Active Learning and Active Sampling via Fisher Information and Information-Theoretic Quantities

abstract: Recently proposed methods in data subset selection, that is active learning and active sampling, use Fisher information, Hessians, similarity matrices based on gradients, and gradient lengths to estimate how informative data is for a model's training. Are these different approaches connected, and if so, how? We revisit the fundamentals of Bayesian optimal experiment design and show that these recently proposed methods can be understood as approximations to information-theoretic quantities: among them, the mutual information between predictions and model parameters, known as expected information gain or BALD in machine learning, and the mutual information between predictions of acquisition candidates and test samples, known as expected predictive information gain. We develop a comprehensive set of approximations using Fisher information and observed information and derive a unified framework that connects seemingly disparate literature. Although Bayesian methods are often seen as separate from non-Bayesian ones, the sometimes fuzzy notion of "informativeness" expressed in various non-Bayesian objectives leads to the same couple of information quantities, which were, in principle, already known by Lindley (1956) and MacKay (1992).


title: Classifying Space via Homotopy Coherent Nerve

abstract: We prove that the classifying space of a simplicial group is modeled by its homotopy coherent nerve.


title: Dimensionless solutions of the wave equation

abstract: Plane waves are regarded as the general solution of the wave equation. However the plane wave expansion of standing waves by means of complex phasors leads to a theory in which the time coordinate does not receive the same treatment as the three space coordinates. An equal treatment is possible using our alternative approach built upon the dimensionless version of the wave equation. As a result, the usual standing wave solution written as sum of plane waves is just one of the available geometrical projections and therefore removes a part of the available information. The existence of these alternative projections and the constraints that they introduce, produce verifiable consequences. We present an experimental verification of one of this consequences by means of acoustic waves. In particular a resonant cavity is radiated from an external source through a squared aperture. The predicted flows of phase based on P\'olya potentials allow us to find the direction of arrival without using temporal coordinates. Although this work is limited to the wave equation, the background concept is the relationship between space and time and therefore could have far reaching consequences in other physical models.


title: The Effect of Omitted Variables on the Sign of Regression Coefficients

abstract: Omitted variables are a common concern in empirical research. We distinguish between two ways omitted variables can affect baseline estimates: by driving them to zero or by reversing their sign. We show that, depending on how the impact of omitted variables is measured, it can be substantially easier for omitted variables to flip coefficient signs than to drive them to zero. Consequently, results which are considered robust to being "explained away" by omitted variables are not necessarily robust to sign changes. We show that this behavior occurs with "Oster's delta" (Oster 2019), a commonly reported measure of regression coefficient robustness to the presence of omitted variables. Specifically, we show that any time this measure is large--suggesting that omitted variables may be unimportant--a much smaller value reverses the sign of the parameter of interest. Relatedly, we show that selection bias adjusted estimands can be extremely sensitive to the choice of the sensitivity parameter. Specifically, researchers commonly compute a bias adjustment under the assumption that Oster's delta equals one. Under the alternative assumption that delta is very close to one, but not exactly equal to one, we show that the bias can instead be arbitrarily large. To address these concerns, we propose a modified measure of robustness that accounts for such sign changes, and discuss best practices for assessing sensitivity to omitted variables. We demonstrate this sign flipping behavior in an empirical application to social capital and the rise of the Nazi party, where we show how it can overturn conclusions about robustness, and how our proposed modifications can be used to regain robustness. We analyze three additional empirical applications as well. We implement our proposed methods in the companion Stata module regsensitivity for easy use in practice.


title: Search for or Navigate to? Dual Adaptive Thinking for Object Navigation

abstract: "Search for" or "Navigate to"? When finding an object, the two choices always come up in our subconscious mind. Before seeing the target, we search for the target based on experience. After seeing the target, we remember the target location and navigate to. However, recently methods in object navigation field almost only consider using object association to enhance "search for" phase while neglect the importance of "navigate to" phase. Therefore, this paper proposes the dual adaptive thinking (DAT) method to flexibly adjust the different thinking strategies at different navigation stages. Dual thinking includes search thinking with the object association ability and navigation thinking with the target location ability. To make the navigation thinking more effective, we design the target-oriented memory graph (TOMG) to store historical target information and the target-aware multi-scale aggregator (TAMSA) to encode the relative target position. We assess our methods on the AI2-Thor dataset. Compared with the state-of-the-art (SOTA) method, our method reports 10.8%, 21.5% and 15.7% increase in success rate (SR), success weighted by path length (SPL) and success weighted by navigation efficiency (SNE), respectively.


title: A Diamond Structure in the Transducer Hierarchy

abstract: We answer an open question in the theory of transducer degrees initially posed in [1] on the existence of a diamond structure in the transducer hierarchy. Transducer degrees are the equivalence classes formed by word transformations which can be realized by a finite state transducer, which form an order based on which words can be transformed into other words. We provide a construction which proves the existence of a diamond structure, while also introducing a new function on streams which may be useful for proving more results about the transducer hierarchy.


title: Evo* 2022 -- Late-Breaking Abstracts Volume

abstract: Volume with the Late-Breaking Abstracts submitted to the Evo* 2022 Conference, held in Madrid (Spain), from 20 to 22 of April. These papers present ongoing research and preliminary results investigating on the application of different approaches of Bioinspired Methods (mainly Evolutionary Computation) to different problems, most of them real world ones.


title: The integral Chow rings of the stacks of hyperelliptic Weierstrass points

abstract: We compute the integral Chow rings of the stacks ${\mathcal H}_{g,n}^w$ parametrizing hyperelliptic curves with $n$ marked Weierstrass points. We prove that the integral Chow rings of each of these stacks is generated as an algebra by any of the $\Psi$-classes and that all relations live in degree one.


title: The factorization effect in $\Lambda_C\to \Lambda\pi$ and $\Lambda_C\to \Lambda K$

abstract: We calculated the branch ratios of $\Lambda_C\to \Lambda K$ and $\Lambda_C\to \Lambda \pi$ within factorization approximation. It is found that the results suffers from the uncertainties of form factors. To reduce such uncertainties, we checked the ratio of the two channels, which is obtained as $R=0.0743\pm 0.0014$. It is found that the uncertainty caused by form factors is significantly reduced. This note is prepared for the BESIII collaboration.


title: Bound states in microwave QED: Crossover from waveguide to cavity regime

abstract: Light-matter interaction at the single-quantum level is the heart of many regimes of high fundamental importance to modern quantum technologies. Strong interaction of a qubit with a single photon of an electromagnetic field mode is described by the cavity/circuit electrodynamics (QED) regime which is one of the most advanced platforms for quantum computing. The opposite regime of the waveguide QED, where qubits interact with a continuum of modes in an infinite one-dimensional space, is also at the focus of recent research revealing novel quantum phenomena. Despite the demonstration of several key features of waveguide QED, the transition from an experimentally realizable finite-size system to the theoretically assumed infinite device size is neither rigorously justified nor fully understood. In this paper, we formulate a unifying theory which under a minimal set of standard approximations accounts for physical boundaries of a system in all parameter domains. Considering two qubits in a rectangular waveguide which naturally exhibits a low frequency cutoff we are able to account for infinite number of modes and obtain an accurate description of the waveguide transmission, a life-time of a qubit-photon bound state and the exchange interaction between two qubit-photon bounds states. For verification, we compare our theory to experimental data obtained for two superconducting qubits in a rectangular waveguide demonstrating how the infinite size limit of waveguide QED emerges in a finite-size system. Our theory can be straightforwardly extended to other waveguides such as the photonic crystal and coupled cavity arrays.


title: Scaling of electron heating by magnetization during reconnection and applications to dipolarization fronts and super-hot solar flares

abstract: Electron ring velocity space distributions have previously been seen in numerical simulations of magnetic reconnection exhausts and have been suggested to be caused by the magnetization of the electron outflow jet by the compressed reconnected magnetic fields [Shuster et al., ${\it Geophys.~Res.~Lett.}, {\bf 41}$, 5389 (2014)]. We present a theory of the dependence of the major and minor radii of the ring distributions solely in terms of upstream (lobe) plasma conditions, thereby allowing a prediction of the associated temperature and temperature anisotropy of the rings in terms of upstream parameters. We test the validity of the prediction using 2.5-dimensional particle-in-cell (PIC) simulations with varying upstream plasma density and temperature, finding excellent agreement between the predicted and simulated values. We confirm the Shuster et al. suggestion for the cause of the ring distributions, and also find that the ring distributions are located in a region marked by a plateau, or shoulder, in the reconnected magnetic field profile. The predictions of the temperature are consistent with observed electron temperatures in dipolarization fronts, and may provide an explanation for the generation of plasma with temperatures in the 10s of MK in super-hot solar flares. A possible extension of the model to dayside reconnection is discussed. Since ring distributions are known to excite whistler waves, the present results should be useful for quantifying the generation of whistler waves in reconnection exhausts.


title: Cohomology, deformations and extensions of Rota-Baxter Leibniz algebras

abstract: A Rota-Baxter Leibniz algebra is a Leibniz algebra $(\mathfrak{g},[~,~]_{\mathfrak{g}})$ equipped with a Rota-Baxter operator $T : \mathfrak{g} \rightarrow \mathfrak{g}$. We define representation and dual representation of Rota-Baxter Leibniz algebras. Next, we define a cohomology theory of Rota-Baxter Leibniz algebras. We also study the infinitesimal and formal deformation theory of Rota-Baxter Leibniz algebras and show that our cohomology is deformation cohomology. Moreover, We define an abelian extension of Rota-Baxter Leibniz algebras and show that equivalence classes of such extensions are related to the cohomology groups.


title: AvatarGen: a 3D Generative Model for Animatable Human Avatars

abstract: Unsupervised generation of clothed virtual humans with various appearance and animatable poses is important for creating 3D human avatars and other AR/VR applications. Existing methods are either limited to rigid object modeling, or not generative and thus unable to synthesize high-quality virtual humans and animate them. In this work, we propose AvatarGen, the first method that enables not only non-rigid human generation with diverse appearance but also full control over poses and viewpoints, while only requiring 2D images for training. Specifically, it extends the recent 3D GANs to clothed human generation by utilizing a coarse human body model as a proxy to warp the observation space into a standard avatar under a canonical space. To model non-rigid dynamics, it introduces a deformation network to learn pose-dependent deformations in the canonical space. To improve geometry quality of the generated human avatars, it leverages signed distance field as geometric representation, which allows more direct regularization from the body model on the geometry learning. Benefiting from these designs, our method can generate animatable human avatars with high-quality appearance and geometry modeling, significantly outperforming previous 3D GANs. Furthermore, it is competent for many applications, e.g., single-view reconstruction, reanimation, and text-guided synthesis. Code and pre-trained model will be available.


title: A short resolution of the diagonal for smooth projective toric varieties of Picard rank 2

abstract: Given a smooth projective toric variety $X$ of Picard rank 2, we resolve the diagonal sheaf on $X \times X$ by a linear complex of length $\dim{X}$ consisting of finite direct sums of line bundles. As applications, we prove a new case of a conjecture of Berkesch-Erman-Smith that predicts a version of Hilbert's Syzygy Theorem for virtual resolutions, and we obtain a Horrocks-type splitting criterion for vector bundles over smooth projective toric varieties of Picard rank 2, extending a result of Eisenbud-Erman-Schreyer. We also apply our results to give a new proof, in the case of smooth projective toric varieties of Picard rank 2, of a conjecture of Orlov concerning the Rouquier dimension of derived categories.


title: Deep Fidelity in DNN Watermarking: A Study of Backdoor Watermarking for Classification Models

abstract: Backdoor watermarking is a promising paradigm to protect the copyright of deep neural network (DNN) models. In the existing works on this subject, researchers have intensively focused on watermarking robustness, while the concept of fidelity, which is concerned with the preservation of the model's original functionality, has received less attention. In this paper, focusing on deep image classification models, we show that the existing shared notion of the sole measurement of learning accuracy is inadequate to characterize backdoor fidelity. Meanwhile, we show that the analogous concept of embedding distortion in multimedia watermarking, interpreted as the total weight loss (TWL) in DNN backdoor watermarking, is also problematic for fidelity measurement. To address this challenge, we propose the concept of deep fidelity, which states that the backdoor watermarked DNN model should preserve both the feature representation and decision boundary of the unwatermarked host model. To achieve deep fidelity, we propose two loss functions termed penultimate feature loss (PFL) and softmax probability-distribution loss (SPL) to preserve feature representation, while the decision boundary is preserved by the proposed fix last layer (FixLL) treatment, inspired by the recent discovery that deep learning with a fixed classifier causes no loss of learning accuracy. With the above designs, both embedding from scratch and fine-tuning strategies are implemented to evaluate the deep fidelity of backdoor embedding, whose advantages over the existing methods are verified via experiments using ResNet18 for MNIST and CIFAR-10 classifications, and wide residual network (i.e., WRN28_10) for CIFAR-100 task. PyTorch codes are available at https://github.com/ghua-ac/dnn_watermark.


title: Quantum Adaptive Fourier Features for Neural Density Estimation

abstract: Density estimation is a fundamental task in statistics and machine learning applications. Kernel density estimation is a powerful tool for non-parametric density estimation in low dimensions; however, its performance is poor in higher dimensions. Moreover, its prediction complexity scale linearly with more training data points. This paper presents a method for neural density estimation that can be seen as a type of kernel density estimation, but without the high prediction computational complexity. The method is based on density matrices, a formalism used in quantum mechanics, and adaptive Fourier features. The method can be trained without optimization, but it could be also integrated with deep learning architectures and trained using gradient descent. Thus, it could be seen as a form of neural density estimation method. The method was evaluated in different synthetic and real datasets, and its performance compared against state-of-the-art neural density estimation methods, obtaining competitive results.


title: Modeling Human Response to Robot Errors for Timely Error Detection

abstract: In human-robot collaboration, robot errors are inevitable -- damaging user trust, willingness to work together, and task performance. Prior work has shown that people naturally respond to robot errors socially and that in social interactions it is possible to use human responses to detect errors. However, there is little exploration in the domain of non-social, physical human-robot collaboration such as assembly and tool retrieval. In this work, we investigate how people's organic, social responses to robot errors may be used to enable timely automatic detection of errors in physical human-robot interactions. We conducted a data collection study to obtain facial responses to train a real-time detection algorithm and a case study to explore the generalizability of our method with different task settings and errors. Our results show that natural social responses are effective signals for timely detection and localization of robot errors even in non-social contexts and that our method is robust across a variety of task contexts, robot errors, and user responses. This work contributes to robust error detection without detailed task specifications.


title: Atomistic characterization of the SiO2 high-density liquid/low-density liquid interface

abstract: The equilibrium silica liquid-liquid interface between the high-density liquid (HDL) phase and the low-density liquid (LDL) phase is examined using molecular-dynamics simulation. The structure, thermodynamics, and dynamics within the interfacial region are characterized in detail and compared with previous studies on the liquid-liquid phase transition (LLPT) in bulk silica, as well as traditional crystal-melt interfaces. We find that the silica HDL-LDL interface exhibits a spatial fragile-to-strong transition across the interface. Calculations of dynamics properties reveal three types of dynamical heterogeneity hybridizing within the silica HDL-LDL interface. We also observe that as the interface is traversed from HDL to LDL, the Si/O coordination number ratio jumps to an unexpectedly large value, defining a thin region of the interface where HDL and LDL exhibit significant mixing. In addition, the LLPT phase coexistence is interpreted in the framework of the traditional thermodynamics of alloys and phase equilibria.


title: Exact and efficient Lanczos method on a quantum computer

abstract: We present an algorithm that uses block encoding on a quantum computer to exactly construct a Krylov space, which can be used as the basis for the Lanczos method to estimate extremal eigenvalues of Hamiltonians. While the classical Lanczos method has exponential cost in the system size to represent the Krylov states for quantum systems, our efficient quantum algorithm achieves this in polynomial time and memory. The construction presented is exact in the sense that the resulting Krylov space is identical to that of the Lanczos method, so the only approximation with respect to the exact method is due to finite sample noise. This is possible because, unlike previous quantum Krylov methods, our algorithm does not require simulating real or imaginary time evolution. We provide an explicit error bound for the resulting ground state energy estimate in the presence of noise. For our method to be successful efficiently, the only requirement on the input problem is that the overlap of the initial state with the true ground state must be $\Omega(1/\text{poly}(n))$ for $n$ qubits.


title: Calculating incidence of Influenza-like and COVID-like symptoms from Flutracking participatory survey data

abstract: This article describes a new method for estimating weekly incidence (new onset) of symptoms consistent with Influenza and COVID-19, using data from the Flutracking survey. The method mitigates some of the known self-selection and symptom-reporting biases present in existing approaches to this type of participatory longitudinal survey data. The key novel steps in the analysis are: 1) Identifying new onset of symptoms for three different Symptom Groupings: COVID-like illness (CLI1+, CLI2+), and Influenza-like illness (ILI), for responses reported in the Flutracking survey. 2) Adjusting for symptom reporting bias by restricting the analysis to a sub-set of responses from those participants who have consistently responded for a number of weeks prior to the analysis week. 3) Weighting responses by age to adjust for self-selection bias in order to account for the under- and over-representation of different age groups amongst the survey participants. This uses the survey package in R. 4) Constructing 95% point-wise confidence bands for incidence estimates using weighted logistic regression from the survey package in R. In addition to describing these steps, the article demonstrates an application of this method to Flutracking data for the 12 months from 27th April 2020 until 25th April 2021.


title: Dynamic stability for steady Prandtl solutions

abstract: By establishing an invariant set (1.11) for the Prandtl equation in Crocco transformation, we prove orbital and asymptotic stability of Blasius-like steady states against Oleinik's monotone solutions.


title: The quasar luminosity function at $z\sim5$ via deep learning and Bayesian information criterion

abstract: Understanding the faint end of quasar luminosity function at a high redshift is important since the number density of faint quasars is a critical element in constraining ultraviolet (UV) photon budgets for ionizing the intergalactic medium (IGM) in the early universe. Here, we present quasar LF reaching $M_{1450} \sim -22.0$ AB mag at $z\sim5$, about one magnitude deeper than previous UV LFs. We select quasars at $z\sim5$ with a deep learning technique from deep data taken by the Hyper Suprime-Cam Subaru Strategic Program (HSC-SSP), covering a 15.5 deg$^2$ area. Beyond the traditional color selection method, we improved the quasar selection by training an artificial neural network for distinguishing $z\sim5$ quasars from non-quasar sources based on their colors and adopting the Bayesian information criterion that can further remove high-redshift galaxies from the quasar sample. When applied to a small sample of spectroscopically identified quasars and galaxies, our method is successful in selecting quasars at $\sim83 \%$ efficiency ($5/6$) while minimizing the contamination rate of high-redshift galaxies ($1/8$) by up to three times compared to the selection using color selection alone ($3/8$). The number of our final quasar candidates with $M_{1450} < -22.0$ mag is 35. Our quasar UV LF down to $M_{1450} = -22$ mag or even fainter ($M_{1450} = -21$ mag) suggests a rather low number density of faint quasars and the faint-end slope of $-1.6^{+0.21}_{-0.19}$, favoring a scenario where quasars play a minor role in ionizing the IGM at high redshift.


title: CLIFF: Carrying Location Information in Full Frames into Human Pose and Shape Estimation

abstract: Top-down methods dominate the field of 3D human pose and shape estimation, because they are decoupled from human detection and allow researchers to focus on the core problem. However, cropping, their first step, discards the location information from the very beginning, which makes themselves unable to accurately predict the global rotation in the original camera coordinate system. To address this problem, we propose to Carry Location Information in Full Frames (CLIFF) into this task. Specifically, we feed more holistic features to CLIFF by concatenating the cropped-image feature with its bounding box information. We calculate the 2D reprojection loss with a broader view of the full frame, taking a projection process similar to that of the person projected in the image. Fed and supervised by global-location-aware information, CLIFF directly predicts the global rotation along with more accurate articulated poses. Besides, we propose a pseudo-ground-truth annotator based on CLIFF, which provides high-quality 3D annotations for in-the-wild 2D datasets and offers crucial full supervision for regression-based methods. Extensive experiments on popular benchmarks show that CLIFF outperforms prior arts by a significant margin, and reaches the first place on the AGORA leaderboard (the SMPL-Algorithms track). The code and data are available at https://github.com/huawei-noah/noah-research/tree/master/CLIFF.


title: A continuous analog of the binary Darboux transformation for the Korteweg-de Vries equation

abstract: In the KdV context we put forward a continuous version of the binary Darboux transformation (aka the double commutation method). Our approach is based on the Riemann-Hilbert problem and yields a new explicit formula for perturbation of the negative spectrum of a wide class of step-type potentials without changing the rest of the scattering data. This extends the previously known formulas for inserting/removing finitely many bound states to arbitrary sets of negative spectrum of arbitrary nature. In the KdV context our method offers same benefits as the classical binary Darboux transformation does.


title: Non-thermal evolution of dense plasmas driven by intense x-ray fields

abstract: The advent of x-ray free-electron lasers (XFELs) has enabled a range of new experimental investigations into the properties of matter driven to extreme conditions via intense x-ray-matter interactions. The femtosecond timescales of these interactions lead to the creation of transient high-energy-density plasmas, where both the electrons and the ions may be far from local thermodynamic equilibrium (LTE). Predictive modelling of such systems remains challenging because of the substantially different timescales on which electrons and ions thermalize, and because of the vast number of atomic configurations that are required to describe the resulting highly-ionized plasmas. Here we explore the evolution of systems driven to high energy densities using CCFLY, a non-LTE, Fokker-Planck collisional-radiative code. We use CCFLY to investigate the evolution dynamics of a solid-density plasma driven by an XFEL, and explore the relaxation of the plasma to local thermodynamic equilibrium on femtosecond timescales in terms of the charge state distribution, electron density, and temperature.


title: Mathieu moonshine and Borcherds products

abstract: The twisted elliptic genera of a $K3$ surface associated with the conjugacy classes of the Mathieu group $M_{24}$ are known to be weak Jacobi forms of weight $0$. In 2010, Cheng constructed formal infinite products from the twisted elliptic genera and conjectured that they define Siegel modular forms of degree two. In this paper we prove that for each conjugacy class of level $N_g$ the associated product is a meromorphic Borcherds product on the lattice $U(N_g)\oplus U \oplus A_1$ in a strict sense. We also compute the divisors of these products and determine for which conjugacy classes the product can be realized as an additive (generalized Saito--Kurokawa) lift.


title: A primal finite element scheme of the Hodge Laplace problem

abstract: In this paper, a unified family, for any $n\geqslant 2$ and $1\leqslant k\leqslant n-1$, of nonconforming finite element schemes are presented for the primal weak formulation of the $n$-dimensional Hodge-Laplace equation on $H\Lambda^k\cap H^*_0\Lambda^k$ and on the simplicial subdivisions of the domain. The finite element scheme possesses an $\mathcal{O}(h)$-order convergence rate for sufficiently regular data, and an $\mathcal{O}(h^s)$-order rate on any $s$-regular domain, $0<s\leqslant 1$, no matter what topology the domain has.


title: Conserved charges in the quantum simulation of integrable spin chains

abstract: When simulating the time evolution of quantum many-body systems on a digital quantum computer, one faces the challenges of quantum noise and of the Trotter error due to time discretization. The Trotter error in integrable spin chains can be under control if the discrete time evolution preserves integrability. In this work we implement, on a real quantum computer and on classical simulators, the integrable Trotterization of the spin-1/2 Heisenberg XXX spin chain. We study how quantum noise affects the time evolution of several conserved charges, and observe the decay of the expectation values. We in addition study the early time behaviors of the time evolution, which can potentially be used to benchmark quantum devices and algorithms in the future. We also provide an efficient method to generate the conserved charges at higher orders.

categories: quant-ph cond-mat.stat-mech hep-lat hep-th math-ph math.MP


title: A conjectured formula for the rational $q,t$-Catalan polynomial

abstract: We conjecture a formula for the rational $q,t$-Catalan polynomial $\mathcal{C}_{r/s}$ that is symmetric in $q$ and $t$ by definition. The conjecture posits that $\mathcal{C}_{r/s}$ can be written in terms of symmetric monomial strings indexed by maximal Dyck paths. We show that for any finite $d^*$, giving a combinatorial proof of our conjecture on the infinite set of functions $\{ \mathcal{C}_{r/s}^d: r\equiv 1 \mod s, \,\,\, d \leq d^*\}$ is equivalent to a finite counting problem.


title: Construction of general symmetric-informationally-complete-positive-operator-valued measures by using a complete orthogonal basis

abstract: A general symmetric-informationally-complete (GSIC)-positive-operator-valued measure (POVM) is known to provide an optimal quantum state tomography among minimal IC POVMs with a fixed average purity. In this paper we provide a general construction of a GSIC POVM by means of a complete orthogonal basis (COB), also interpreted as a normal quasiprobability representation. A spectral property of a COB is shown to play a key role in the construction of SIC POVMs and also for the bound of the mean-square error of the state tomography. In particular, a necessary and sufficient condition to construct a SIC POVM for any d is constructively given by the power of traces of a COB. We give three simple constructions of COBs from which one can systematically obtain GSIC POVMs.


title: Momentum Transformer: Closing the Performance Gap Between Self-attention and Its Linearization

abstract: Transformers have achieved remarkable success in sequence modeling and beyond but suffer from quadratic computational and memory complexities with respect to the length of the input sequence. Leveraging techniques include sparse and linear attention and hashing tricks; efficient transformers have been proposed to reduce the quadratic complexity of transformers but significantly degrade the accuracy. In response, we first interpret the linear attention and residual connections in computing the attention map as gradient descent steps. We then introduce momentum into these components and propose the \emph{momentum transformer}, which utilizes momentum to improve the accuracy of linear transformers while maintaining linear memory and computational complexities. Furthermore, we develop an adaptive strategy to compute the momentum value for our model based on the optimal momentum for quadratic optimization. This adaptive momentum eliminates the need to search for the optimal momentum value and further enhances the performance of the momentum transformer. A range of experiments on both autoregressive and non-autoregressive tasks, including image generation and machine translation, demonstrate that the momentum transformer outperforms popular linear transformers in training efficiency and accuracy.


title: Rigidity of Acute Triangulations of the Plane

abstract: We show that a uniformly acute triangulation of the plane is rigid under Luo's discrete conformal change, extending previous results on hexagonal triangulations. Our result is a discrete analogue of the conformal rigidity of the plane. We followed He's analytical approach in his work on the rigidity of disk patterns. The main tools include maximum principles, a discrete Liouville theorem, smooth and discrete extremal lengths on networks. The key step is relating the Euclidean discrete conformality to the hyperbolic discrete conformality, to obtain an L-infinity bound on the discrete conformal factor.