title: A new provably stable weighted state redistribution algorithm

abstract: We propose a practical finite volume method on cut cells using state redistribution. Our algorithm is provably monotone, total variation diminishing, and GKS stable in many situations, and shuts off continuously as the cut cell size approaches a target value. Our analysis reveals why original state redistribution works so well: it results in a monotone scheme for most configurations, though at times subject to a slightly smaller CFL condition. Our analysis also explains why a pre-merging step is beneficial. We show computational experiments in two and three dimensions.


title: Multiple Augmented Reduced Rank Regression for Pan-Cancer Analysis

abstract: Statistical approaches that successfully combine multiple datasets are more powerful, efficient, and scientifically informative than separate analyses. To address variation architectures correctly and comprehensively for high-dimensional data across multiple sample sets (i.e., cohorts), we propose multiple augmented reduced rank regression (maRRR), a flexible matrix regression and factorization method to concurrently learn both covariate-driven and auxiliary structured variation. We consider a structured nuclear norm objective that is motivated by random matrix theory, in which the regression or factorization terms may be shared or specific to any number of cohorts. Our framework subsumes several existing methods, such as reduced rank regression and unsupervised multi-matrix factorization approaches, and includes a promising novel approach to regression and factorization of a single dataset (aRRR) as a special case. Simulations demonstrate substantial gains in power from combining multiple datasets, and from parsimoniously accounting for all structured variation. We apply maRRR to gene expression data from multiple cancer types (i.e., pan-cancer) from TCGA, with somatic mutations as covariates. The method performs well with respect to prediction and imputation of held-out data, and provides new insights into mutation-driven and auxiliary variation that is shared or specific to certain cancer types.


title: Charge Asymmetry Suppresses Coarsening Dynamics in Polyelectrolyte Complex Coacervation

abstract: Mixing solutions of oppositely charged macromolecules can result in liquid-liquid phase separation into a polymer-rich coacervate phase and a polymer-poor supernatant phase. Here we show that charge asymmetry in the constituent polymers can slow down the coarsening dynamics, with an apparent growth exponent that deviates from the well-known 1/3 for neutral systems and decreases with increasing degrees of charge asymmetry. Decreasing solvent quality accelerates the coarsening dynamics for asymmetric mixtures, but slows down the coarsening dynamics for symmetric mixtures. We rationalize these results by examining the interaction potential between merging droplets.


title: A Combinatorial Structure for Many Hierarchically Hyperbolic Spaces

abstract: The combinatorial hierarchical hyperbolicity criterion is a very useful way of constructing new hierarchically hyperbolic spaces (HHSs). We show that, conversely, HHSs satisfying natural assumptions (satisfied, for example, by mapping class groups) admit a combinatorial HHS structure. This can be useful in constructions of new HHSs, and also our construction clarifies how to apply the combinatorial HHS criterion to suspected examples. We also uncover connections between HHS notions and lattice theory notions.


title: ToddlerBERTa: Exploiting BabyBERTa for Grammar Learning and Language Understanding

abstract: We present ToddlerBERTa, a BabyBERTa-like language model, exploring its capabilities through five different models with varied hyperparameters. Evaluating on BLiMP, SuperGLUE, MSGS, and a Supplement benchmark from the BabyLM challenge, we find that smaller models can excel in specific tasks, while larger models perform well with substantial data. Despite training on a smaller dataset, ToddlerBERTa demonstrates commendable performance, rivalling the state-of-the-art RoBERTa-base. The model showcases robust language understanding, even with single-sentence pretraining, and competes with baselines that leverage broader contextual information. Our work provides insights into hyperparameter choices, and data utilization, contributing to the advancement of language models.


title: Generalized $q$-Fock spaces and structural identities

abstract: Using $q$-calculus we study a family of reproducing kernel Hilbert spaces which interpolate between the Hardy space and the Fock space. We give characterizations of these spaces in terms of classical operators such as integration and backward-shift operators, and their $q$-calculus counterparts. Furthermore, these new spaces allow us to study intertwining operators between classic backward-shift operators and the q-Jackson derivative.


title: Formation of random singlets in the nanocrystalline quasi-one-dimensional spin-1/2 antiferromagnet Sr21Bi8Cu2(CO3)2O41

abstract: Induced by quenched disorder, random-singlet states occur in a variety of low-dimensional spin-1/2 antiferromagnets, some of them candidates for quantum spin liquids. Here we report measurements of the specific heat, magnetization, and magnetic susceptibility of nanocrystalline Sr21Bi8Cu2(CO3)2O41, a quasi-one-dimensional spin-1/2 antiferromagnet with alternating bonds. The results uncover the predominant presence of random-singlet spin pairs in this material, with a logarithmic probability distribution, P(J), of the renormalized, emergent exchange interaction, J, in zero magnetic field and P(J) proportional to 1/J in magnetic fields. We postulate that these unexpected J dependences, in contrast to the usual P(J) \propto 1/$J^\gamma$ with 0 < $\gamma$ < 1, and possibly also the dichotomy, arise from the finite size of the nanocrystals. Scaling functions for the specific heat and magnetization reproduce our magnetocaloric-effect data, with no adjustable parameters.


title: Open and Closed-Loop Weight Selection for Pattern Control of Paraboloidal Reflector Antennas with Reconfigurable Rim Scattering

abstract: It has been demonstrated that modifying the rim scattering of a paraboloidal reflector antenna through the use of reconfigurable elements along the rim facilitates sidelobe modification including cancelling sidelobes. In this work we investigate several open questions with respect to algorithms for determining the weights. First, we derive the general weight values needed at each reconfigurable element to place nulls at arbitrary angles. Second, since in many cases these weights require gains other than one, we develop a technique for determining unit-modulus weights so as to allow for surfaces which merely modify the phase of the scattered field, while substantially reducing the gain at arbitrary angles. Specifically, it is shown that despite the large search space (and non-convexity in the presence of discrete weights), weights can be found with reasonable computational complexity which provide useful cancellation capability. Third, it is demonstrated that this can be done using open-loop (i.e., with pattern knowledge), closed-loop (without pattern knowledge), or hybrid (with inexact pattern knowledge) techniques both quantized and unquantized phases. A primary finding is that sufficiently deep nulls are possible with essentially no change in the main lobe gain with practical (binary or quaternary) phase-only weights.


title: On the total perimeter of disjoint convex bodies

abstract: In this note we introduce a pseudometric on convex planar curves based on distances between normal lines and show its basic properties. Then we use this pseudometric to give a short proof of the theorem by Pinchasi that the sum of perimeters of $k$ convex planar bodies with disjoint interiors contained in a convex body of perimeter $p$ and diameter $d$ is not greater than $p+2(k-1)d$.


title: Triple Points of Gravitational AdS Solitons and Black Holes

abstract: We present a triple point of a new kind for General Relativity, at which two gravitational solitons can coexist with a planar black hole in anti de Sitter space. Working in the context of non-linear electrodynamics, we obtain simple, sensible spacetimes for which the thermodynamics can be studied in an analytic manner. The spacetimes are charged under the non-linear electrodynamics leading to an electric charge for black holes and a magnetic flux for solitons. In the grand-canonical ensemble, we show that the phase space of the theory is very rich, containing re-entrant phase transitions, as well as triple points, for small values of the coupling controlling the non-linearity of the electrodynamics Lagrangian.


title: The abundance of core--collapsed subhalos in SIDM: insights from structure formation in $\Lambda$CDM

abstract: Dark matter halos can enter a phase of gravothermal core--collapse in the presence of self-interactions. This phase that follows a core--expansion phase is thought to be subdominant due to the long time-scales involved. However, it has been shown that the collapse can be accelerated in tidal environments particularly for halos that are centrally concentrated. Cosmological simulations in $\Lambda$CDM give us the full distribution of satellite orbits and halo profiles in the universe. We use properties of the orbits and profiles of subhalos from simulations to estimate the fraction of the subhalos in different host halo environments, ranging from the Large Magellanic cloud(LMC)--like hosts to clusters, that are in the core--collapse phase. We use fluid simulations of self--interacting dark matter (SIDM) to evolve subhalos in their hosts including the effect of tidal truncation at the time of their pericenter crossing. We find that for parameters that allow the interaction cross-section to be high at dwarf scales, at least $10~\%$ of all subhalos are expected to have intrinsically collapsed within Hubble time up to the group mass host scales. This fraction increases significantly, becoming at least 20$\%$ when tidal interactions are considered. To identify these objects we find that we either need to measure their densities at very small radial scales, where the subhalos show a bimodal distribution of densities, or alternatively we need to measure the slopes of their inner density profiles near the scale radius, which are much steeper than NFW slopes expected in cold dark matter halos. Current measurements of central slopes of classical dwarfs do not show a preference for collapsed objects, however this is consistent with an SIDM scenario where the classical dwarfs are expected to be in a cored phase.


title: Almost generalized uniform matroids and excluded minors

abstract: We establish that matroids characterized by the Tutte polynomial $\sum_{i,j\ge 0}t_{i,j}x^iy^j$ with coefficients $t_{i,j}$ vanishing for $(i,j)\ge (k,l)$ precisely coincide with $(k,l)$-uniform matroids. This characterization implies that almost $(k,l)$-uniform matroids are exactly matroids with $t_{k,l}\le 1$ and $t_{i,j}=0$ if $(i,j)>(k,l)$. We also characterize excluded minors of almost $(k,l)$-uniform matroids in terms of Tutte polynomial coefficients. Finally, we construct an infinite family of excluded minors of almost $(k,l)$-uniform matroids which extend previously known cases of almost uniform and almost paving matroids.


title: Experimental setup for synchronized surface and magnetic loss studies of grain oriented FeSi steel sheets

abstract: We present technical details on an experimental setup that allows to measure magnetic losses in electrical steel sheets and the movement of magnetic domains on the sample surface simultaneously. The setup is suitable to investigate grain oriented electrical sheets in the polarization range 0.05 T to 2.3 T and at excitation frequencies between 50 Hz and 4 kHz. The screened surface area is 13 mm x 18 mm.


title: Global Linear and Nonlinear Gyrokinetic Simulations of Tearing Modes

abstract: To better understand the interaction of global tearing modes and microturbulence in the Madison Symmetric Torus (MST) reversed-field pinch (RFP), the global gyrokinetic code \textsc{Gene} is modified to describe global tearing mode instability via a shifted Maxwellian distribution consistent with experimental equilibria. The implementation of the shifted Maxwellian is tested and benchmarked by comparisons with different codes and models. Good agreement is obtained in code-code and code-theory comparisons. Linear stability of tearing modes of a non-reversed MST discharge is studied. A collisionality scan is performed to the lowest order unstable modes ($n=5$, $n=6$) and shown to behave consistently with theoretical scaling. The nonlinear evolution is simulated, and saturation is found to arise from mode coupling and transfer of energy from the most unstable tearing mode to small-scale stable modes mediated by the $m=2$ tearing mode. The work described herein lays the foundation for nonlinear simulation and analysis of the interaction of tearing modes and gyroradius-scale instabilities in RFP plasmas.


title: Recent examples of hypersemitoric systems and first steps towards a classification: a brief survey

abstract: Hypersemitoric systems are 2-degree-of-freedom integrable systems on 4-dimensional manifolds that have an underlying $S^1$-symmetry and no degenerate singularities apart from maybe a finite number of families of so-called parabolic singularities. We give a short overview of recent examples displaying various bifurcations and sketch a topological-combinatorial classification of the connected components of fibers of hypersemitoric systems.


title: A sharp trace Adams' inequality in $\mathbb{R}^{4}$ and Existence of the extremals

abstract: Let $\Omega\subseteq \mathbb{R}^{4}$ be a bounded domain with smooth boundary $\partial\Omega$. In this paper, we establish the following sharp form of the trace Adams' inequality in $W^{2,2}(\Omega)$ with zero mean value and zero Neumann boundary condition: \begin{equation*} S({\alpha})=\underset{\int_{\Omega}udx=0,\frac{\partial u}{\partial\nu}|_{\partial\Omega}=0,\Vert\Delta u\Vert_{2}\leq{1}}{\underset {u\in{W^{2,2}(\Omega)\setminus\{0\}}}{\sup}}\int_{\partial \Omega} e^{\alpha u^{2}}d\sigma<\infty \end{equation*} holds if and only if $ \alpha\leq12\pi^2$. Moreover, we prove a classification theorem for the solutions of a class of nonlinear boundary value problem of bi-harmonic equations on the half space $\mathbb{R}^4_{+}$. With this classification result, we can show that $S({12\pi^2})$ is attained by using the blow-up analysis and capacitary estimate. As an application, we prove a sharp trace Adams-Onofri type inequality in general four dimensional bounded domains with smooth boundary.


title: Anomalous and ultraslow diffusion of a particle driven by power-law-correlated and distributed-order noises

abstract: We study the generalized Langevin equation approach to anomalous diffusion for a harmonic oscillator and a free particle driven by different forms of internal noises, such as power-law-correlated and distributed-order noises that fulfil generalized versions of the fluctuation-dissipation theorem. The mean squared displacement and the normalized displacement correlation function are derived for the different forms of the friction memory kernel. The corresponding overdamped generalized Langevin equations for these cases are also investigated. It is shown that such models can be used to describe anomalous diffusion in complex media, giving rise to subdiffusion, superdiffusion, ultraslow diffusion, strong anomaly, and other complex diffusive behaviors.


title: Affective Visual Dialog: A Large-Scale Benchmark for Emotional Reasoning Based on Visually Grounded Conversations

abstract: We introduce Affective Visual Dialog, an emotion explanation and reasoning task as a testbed for research on understanding the formation of emotions in visually grounded conversations. The task involves three skills: (1) Dialog-based Question Answering (2) Dialog-based Emotion Prediction and (3) Affective emotion explanation generation based on the dialog. Our key contribution is the collection of a large-scale dataset, dubbed AffectVisDial, consisting of 50K 10-turn visually grounded dialogs as well as concluding emotion attributions and dialog-informed textual emotion explanations, resulting in a total of 27,180 working hours. We explain our design decisions in collecting the dataset and introduce the questioner and answerer tasks that are associated with the participants in the conversation. We train and demonstrate solid Affective Visual Dialog baselines adapted from state-of-the-art models. Remarkably, the responses generated by our models show promising emotional reasoning abilities in response to visually grounded conversations. Our project page is available at https://affective-visual-dialog.github.io.


title: A Lean-Congruence Format for EP-Bisimilarity

abstract: Enabling preserving bisimilarity is a refinement of strong bisimilarity, which preserves safety as well as liveness properties. To define it properly, labelled transition systems needed to be upgraded with a successor relation, capturing concurrency between transitions enabled in the same state. We enrich the well-known De Simone format to handle inductive definitions of this successor relation. We then establish that ep-bisimilarity is a congruence for the operators, as well as lean congruence for recursion, for all (enriched) De Simone languages.


title: Time Calibration of the Baikal-GVD Neutrino Telescope with Atmospheric Muons

abstract: We present a new procedure for time calibration of the Baikal-GVD neutrino telescope. The track reconstruction quality depends on accurate measurements of arrival times of Cherenkov photons. Therefore, it is crucial to achieve a high precision in time calibration. For that purpose, in addition to other calibration methods, we employ a new procedure using atmospheric muons reconstructed in a single-cluster mode. The method is based on iterative determination of effective time offsets for each optical module. This paper focuses on the results of the iterative reconstruction procedure with time offsets from the previous iteration and the verification of the method developed. The theoretical muon calibration precision is estimated to be around 1.5-1.6ns.


title: Downlink and Uplink NOMA-ISAC with Signal Alignment

abstract: Integrated Sensing and Communications (ISAC) surpasses the conventional frequency-division sensing and communications (FDSAC) in terms of spectrum, energy, and hardware efficiency, with potential for greater enhancement through integration of NOMA and signal alignment techniques. Leveraging these advantages, this paper proposes a multiple-input multiple-output-NOMA-ISAC framework with signal alignment and thoroughly analyzes its performance for both downlink and uplink. 1) The downlink ISAC is investigated under three different precoding designs: sensing-centric (S-C) design, communications-centric (C-C) design, and Pareto optimal design. 2) For the uplink case, two scenarios are investigated: S-C design and C-C design, based on the interference cancellation order of the communication signal and the sensing signal. In each of these scenarios, key performance metrics including sensing rate (SR), communication rate (CR), and outage probability are investigated. For a deeper understanding, the asymptotic performance of the system in the high signal-to-noise ratio (SNR) region is also explored, with a focus on the high-SNR slope and diversity order. Finally, the SR-CR rate regions achieved by ISAC and FDSAC are studied. Numerical results reveal that in both downlink and uplink cases, ISAC outperforms FDSAC in terms of sensing and communications performance and is capable of achieving a broader rate region, clearly showcasing its superiority over the conventional FDSAC.


title: Metrics-Based Evaluation and Comparison of Visualization Notations

abstract: A visualization notation is a recurring pattern of symbols used to author specifications of visualizations, from data transformation to visual mapping. Programmatic notations use symbols defined by grammars or domain-specific languages (e.g., ggplot2, dplyr, Vega-Lite) or libraries (e.g., Matplotlib, Pandas). Designers and prospective users of grammars and libraries often evaluate visualization notations by inspecting galleries of examples. While such collections demonstrate usage and expressiveness, their construction and evaluation are usually ad hoc, making comparisons of different notations difficult. More rarely, experts analyze notations via usability heuristics, such as the Cognitive Dimensions of Notations framework. These analyses, akin to structured close readings of text, can reveal design deficiencies, but place a burden on the expert to simultaneously consider many facets of often complex systems. To alleviate these issues, we introduce a metrics-based approach to usability evaluation and comparison of notations in which metrics are computed for a gallery of examples across a suite of notations. While applicable to any visualization domain, we explore the utility of our approach via a case study considering statistical graphics that explores 40 visualizations across 9 widely used notations. We facilitate the computation of appropriate metrics and analysis via a new tool called NotaScope. We gathered feedback via interviews with authors or maintainers of prominent charting libraries (n=6). We find that this approach is a promising way to formalize, externalize, and extend evaluations and comparisons of visualization notations.


title: Catalog Phrase Grounding (CPG): Grounding of Product Textual Attributes in Product Images for e-commerce Vision-Language Applications

abstract: We present Catalog Phrase Grounding (CPG), a model that can associate product textual data (title, brands) into corresponding regions of product images (isolated product region, brand logo region) for e-commerce vision-language applications. We use a state-of-the-art modulated multimodal transformer encoder-decoder architecture unifying object detection and phrase-grounding. We train the model in self-supervised fashion with 2.3 million image-text pairs synthesized from an e-commerce site. The self-supervision data is annotated with high-confidence pseudo-labels generated with a combination of teacher models: a pre-trained general domain phrase grounding model (e.g. MDETR) and a specialized logo detection model. This allows CPG, as a student model, to benefit from transfer knowledge from these base models combining general-domain knowledge and specialized knowledge. Beyond immediate catalog phrase grounding tasks, we can benefit from CPG representations by incorporating them as ML features into downstream catalog applications that require deep semantic understanding of products. Our experiments on product-brand matching, a challenging e-commerce application, show that incorporating CPG representations into the existing production ensemble system leads to on average 5% recall improvement across all countries globally (with the largest lift of 11% in a single country) at fixed 95% precision, outperforming other alternatives including a logo detection teacher model and ResNet50.


title: A Recycling Training Strategy for Medical Image Segmentation with Diffusion Denoising Models

abstract: Denoising diffusion models have found applications in image segmentation by generating segmented masks conditioned on images. Existing studies predominantly focus on adjusting model architecture or improving inference, such as test-time sampling strategies. In this work, we focus on improving the training strategy and propose a novel recycling method. During each training step, a segmentation mask is first predicted given an image and a random noise. This predicted mask, which replaces the conventional ground truth mask, is used for denoising task during training. This approach can be interpreted as aligning the training strategy with inference by eliminating the dependence on ground truth masks for generating noisy samples. Our proposed method significantly outperforms standard diffusion training, self-conditioning, and existing recycling strategies across multiple medical imaging data sets: muscle ultrasound, abdominal CT, prostate MR, and brain MR. This holds for two widely adopted sampling strategies: denoising diffusion probabilistic model and denoising diffusion implicit model. Importantly, existing diffusion models often display a declining or unstable performance during inference, whereas our novel recycling consistently enhances or maintains performance. We show that, under a fair comparison with the same network architectures and computing budget, the proposed recycling-based diffusion models achieved on-par performance with non-diffusion-based supervised training. By ensembling the proposed diffusion and the non-diffusion models, significant improvements to the non-diffusion models have been observed across all applications, demonstrating the value of this novel training method. This paper summarizes these quantitative results and discusses their values, with a fully reproducible JAX-based implementation, released at https://github.com/mathpluscode/ImgX-DiffSeg.


title: Quantum Improved Regular Kerr Black Holes

abstract: We study the quantum improvement of Kerr black holes with mass-dependent scale identifications in asymptotically safe gravity. We find that a physically sensible identification can only be a function of $Mr$ and the area $A=4\pi(r^2+a^2)$ where $M$ is the mass of the black hole and $a$ is an angular momentum parameter. We then discuss various properties of the rotating quantum black holes for a simple choice of the identification. We show that the resulting regular rotating black holes have the following nice properties: (i) admitting a consistent black hole thermodynamics at the horizon, (ii) resolving the ring singularity, (iii) partially eliminating closed time-like curves present in the classical Kerr black holes.


title: Droplet jumping by modulated electrowetting

abstract: We investigate jumping of sessile droplets from a solid surface in ambient oil using modulated electrowetting actuation. We focus on the case in which the electrowetting effect is activated to cause droplet spreading and then deactivated exactly at the moment the droplet reaches its maximum deformation. By systematically varying the control parameters such as the droplet radius, liquid viscosity, and applied voltage, we provide detailed characterisation of the resulting behaviours including a comprehensive phase diagram separating detachment from non-detachment behaviours, as well as how the detach velocity and detach time, i.e, duration leading to detachment, depend on the control parameters. We then construct a theoretical model predicting the detachment condition using energy conservation principles. We finally validate our theoretical analysis by experimental data obtained in the explored ranges of the control parameters.


title: Investigation of W-SiC compositionally graded films as a divertor material

abstract: W-SiC composite material is a promising plasma-facing material candidate alternative to pure W due to the low neutron activation, low impurity radiation, and low tritium diffusivity of SiC while leveraging the high erosion resistance of the W armor. Additionally, W and SiC have high thermomechanical compatibility given their similar thermal expansion rates. The present study addresses the synthesis and performance of compositionally graded W-SiC films fabricated by pulsed-DC magnetron sputtering. Compositional gradients were characterized using transmission electron microscopy (TEM) and energy-dispersive X-ray spectroscopy (EDS), and crystallographic information was obtained using electron diffraction and X-ray diffraction (XRD). Samples were exposed to L-mode deuterium plasma discharges in the DIII-D tokamak using the Divertor Material Evaluation System (DiMES). Post-mortem characterizations were performed using scanning electron microscopy (SEM) and XRD. Electron diffraction and XRD showed that the compositionally graded W-SiC films were composed of polycrystalline W and amorphous SiC with amorphous W+SiC interlayers. No macroscopic delamination or microstructural changes were observed under mild exposure conditions. This study serves as a preliminary examination of W-SiC compositionally graded composites as a potential candidate divertor material in future tokamak devices.


title: Recognition and constructive membership for purely hyperbolic groups acting on trees

abstract: We present an algorithm which takes as input a finite set $X$ of automorphisms of a simplicial tree, and outputs a generating set $X'$ of $\langle X \rangle$ such that either $\langle X \rangle$ is purely hyperbolic and $X'$ is a free basis of $\langle X \rangle$, or $X'$ contains a non-trivial elliptic element. As a special case, the algorithm decides whether a finitely generated group acting on a locally finite tree is discrete and free. This algorithm, which is based on Nielsen's reduction method, works by repeatedly applying Nielsen transformations to $X$ to minimise the generators of $X'$ with respect to a given pre-well-ordering. We use this algorithm to solve the constructive membership problem for finitely generated purely hyperbolic automorphism groups of trees. We provide a Magma implementation of these algorithms, and report its performance.


title: Emoji Promotes Developer Participation and Issue Resolution on GitHub

abstract: Although remote working is increasingly adopted during the pandemic, many are concerned by the low-efficiency in the remote working. Missing in text-based communication are non-verbal cues such as facial expressions and body language, which hinders the effective communication and negatively impacts the work outcomes. Prevalent on social media platforms, emojis, as alternative non-verbal cues, are gaining popularity in the virtual workspaces well. In this paper, we study how emoji usage influences developer participation and issue resolution in virtual workspaces. To this end, we collect GitHub issues for a one-year period and apply causal inference techniques to measure the causal effect of emojis on the outcome of issues, controlling for confounders such as issue content, repository, and author information. We find that emojis can significantly reduce the resolution time of issues and attract more user participation. We also compare the heterogeneous effect on different types of issues. These findings deepen our understanding of the developer communities, and they provide design implications on how to facilitate interactions and broaden developer participation.


title: Large Language Models as Data Preprocessors

abstract: Large Language Models (LLMs), typified by OpenAI's GPT series and Meta's LLaMA variants, have marked a significant advancement in artificial intelligence. Trained on vast amounts of text data, LLMs are capable of understanding and generating human-like text across a diverse range of topics. This study expands on the applications of LLMs, exploring their potential in data preprocessing, a critical stage in data mining and analytics applications. We delve into the applicability of state-of-the-art LLMs such as GPT-3.5, GPT-4, and Vicuna-13B for error detection, data imputation, schema matching, and entity matching tasks. Alongside showcasing the inherent capabilities of LLMs, we highlight their limitations, particularly in terms of computational expense and inefficiency. We propose an LLM-based framework for data preprocessing, which integrates cutting-edge prompt engineering techniques, coupled with traditional methods like contextualization and feature selection, to improve the performance and efficiency of these models. The effectiveness of LLMs in data preprocessing is evaluated through an experimental study spanning 12 datasets. GPT-4 emerged as a standout, achieving 100\% accuracy or F1 score on 4 datasets, suggesting LLMs' immense potential in these tasks. Despite certain limitations, our study underscores the promise of LLMs in this domain and anticipates future developments to overcome current hurdles.


title: A Unified Analysis for the Subgradient Methods Minimizing Composite Nonconvex, Nonsmooth and Non-Lipschitz Functions

abstract: In this paper we propose a proximal subgradient method (Prox-SubGrad) for solving nonconvex and nonsmooth optimization problems without assuming Lipschitz continuity conditions. A number of subgradient upper bounds and their relationships are presented. By means of these upper bounding conditions, we establish some uniform recursive relations for the Moreau envelopes for weakly convex optimization. This uniform scheme simplifies and unifies the proof schemes to establish rate of convergence for Prox-SubGrad without assuming Lipschitz continuity. We present a novel convergence analysis in this context. Furthermore, we propose some new stochastic subgradient upper bounding conditions and establish convergence and iteration complexity rates for the stochastic subgradient method (Sto-SubGrad) to solve non-Lipschitz and nonsmooth stochastic optimization problems. In particular, for both deterministic and stochastic subgradient methods on weakly convex optimization problems without Lipschitz continuity, under any of the subgradient upper bounding conditions to be introduced in the paper, we show that $O(1/\sqrt{T})$ convergence rate holds in terms of the square of gradient of the Moreau envelope function, which further improves to be $O(1/{T})$ if, in addition, the uniform KL condition with exponent $1/2$ holds.


title: A Mathematical Framework for Citation Disruption

abstract: Many theories of scientific and technological progress imagine science as an iterative, developmental process periodically interrupted by innovations which disrupt and restructure the status quo. Due to the immense societal value created by these disruptive scientific and technological innovations, accurately operationalizing this perspective into quantifiable terms represents a key challenge for researchers seeking to understand the history and mechanisms underlying scientific and technological progress. Researchers have recently proposed a number of quantitative measures that seek to quantify the extent to which works in science and technology are disruptive with respect to their scientific context. While these disruption measures show promise in their ability to quantify potentially disruptive works of science and technology, their definitions are bespoke to the science of science and lack a broader theoretical framework, obscuring their interrelationships and limiting their adoption within broader network science paradigms. We propose a mathematical framework for conceptualizing and measuring disruptive scientific contributions within citation networks through the lens of network centrality, and formally relate the CD Index disruption measure and its variants to betweenness centrality. By reinterpreting disruption through the lens of centrality, we unify a number of existing citation-based disruption measures while simultaneously providing natural generalizations which enjoy empirical and computational efficiencies. We validate these theoretical observations by computing a variety of disruption measures on real citation data and find that computing these centrality-based disruption measures over ego networks of increasing radius results in better discernment of award-winning scientific innovations relative to conventional disruption metrics which rely on local citation context alone.


title: Strengthening the EU AI Act: Defining Key Terms on AI Manipulation

abstract: The European Union's Artificial Intelligence Act aims to regulate manipulative and harmful uses of AI, but lacks precise definitions for key concepts. This paper provides technical recommendations to improve the Act's conceptual clarity and enforceability. We review psychological models to define "personality traits," arguing the Act should protect full "psychometric profiles." We urge expanding "behavior" to include "preferences" since preferences causally influence and are influenced by behavior. Clear definitions are provided for "subliminal," "manipulative," and "deceptive" techniques, considering incentives, intent, and covertness. We distinguish "exploiting individuals" from "exploiting groups," emphasising different policy needs. An "informed decision" is defined by four facets: comprehension, accurate information, no manipulation, and understanding AI's influence. We caution the Act's therapeutic use exemption given the lack of regulation of digital therapeutics by the EMA. Overall, the recommendations strengthen definitions of vague concepts in the EU AI Act, enhancing precise applicability to regulate harmful AI manipulation.


title: New bounds on the generalized Ramsey number $f(n,5,8)$

abstract: Let $f(n,p,q)$ denote the minimum number of colors needed to color the edges of $K_n$ so that every copy of $K_p$ receives at least $q$ distinct colors. In this note, we show $\frac{6}{7}(n-1) \leq f(n,5,8) \leq n + o(n)$. The upper bound is proven using the "conflict-free hypergraph matchings method" which was recently used by Mubayi and Joos to prove $f(n,4,5) = \frac{5}{6}n + o(n)$.


title: The double dihedral Dunkl total angular momentum algebra

abstract: The Dunkl deformation of the Dirac operator is part of a realisation of an orthosymplectic Lie superalgebra inside the tensor product of a rational Cherednik algebra and a Clifford algebra. The Dunkl total angular momentum algebra (TAMA) occurs as the supercentraliser, or dual partner, of this Lie superalgebra. In this paper, we consider the case when the reflection group associated with the Dunkl operators is a product of two dihedral groups acting on a four-dimensional Euclidean space. We introduce a subalgebra of the total angular momentum algebra that admits a triangular decomposition and, in analogy to the celebrated theory of semisimple Lie algebras, we use this triangular subalgebra to give precise necessary conditions that a finite-dimensional irreducible representation must obey, in terms of weights. Furthermore, we construct a basis for representations of the TAMA with explicit actions. Examples of these modules occur in the kernel of the Dunkl--Dirac operator in the context of deformations of Howe dual pairs.


title: Automatic continuity of new generalized derivations

abstract: Let $\mathcal{A}$ and $\mathcal{B}$ be two algebras and let $n$ be a positive integer. A linear mapping $D:\mathcal{A} \rightarrow \mathcal{B}$ is called a \emph{strongly generalized derivation of order $n$} if there exist families of linear mappings $\{E_k:\mathcal{A} \rightarrow \mathcal{B}\}_{k = 1}^{n}$, $\{F_k:\mathcal{A} \rightarrow \mathcal{B}\}_{k = 1}^{n}$, $\{G_k:\mathcal{A} \rightarrow \mathcal{B}\}_{k = 1}^{n}$ and $\{H_k:\mathcal{A} \rightarrow \mathcal{B}\}_{k = 1}^{n}$ which satisfy $D(ab) = \sum_{k = 1}^{n}\left[E_k(a) F_k(b) + G_k(a)H_k(b)\right]$ for all $a, b \in \mathcal{A}$. The purpose of this article is to study the automatic continuity of such derivations on Banach algebras and $C^{\ast}$-algebras.


title: Prescribed-Time Control in Switching Systems with Resets: A Hybrid Dynamical Systems Approach

abstract: We consider the problem of achieving prescribed-time stability (PT-S) in a class of hybrid dynamical systems that incorporate switching nonlinear dynamics, exogenous inputs, and resets. By "prescribed-time stability", we refer to the property of having the states converge to a particular compact set of interest before a given time defined a priori by the user. We focus on dynamical systems that achieve this property via time-varying gains. For continuous-time systems, this approach has received significant attention in recent years, with various applications in control, optimization, and estimation problems. However, its extensions beyond continuous-time systems have been limited. This gap motivates this paper, which introduces a novel class of switching conditions for switching systems with resets that incorporate time-varying gains, ensuring the PT-S property even in the presence of unstable modes. The analysis leverages tools from hybrid dynamical system's theory, and a contraction-dilation property that is established for the hybrid time domains of the solutions of the system. We present the model and main results in a general framework and subsequently apply them to three novel applications: (a) PT regulation of switching plants with no common Lyapunov functions; (b) PT control of dynamic plants with uncertainty and intermittent feedback; and (c) PT decision-making in non-cooperative switching games via hybrid Nash seeking dynamics.


title: SARATHI: Efficient LLM Inference by Piggybacking Decodes with Chunked Prefills

abstract: Large Language Model (LLM) inference consists of two distinct phases - prefill phase which processes the input prompt and decode phase which generates output tokens autoregressively. While the prefill phase effectively saturates GPU compute at small batch sizes, the decode phase results in low compute utilization as it generates one token at a time per request. The varying prefill and decode times also lead to imbalance across micro-batches when using pipeline parallelism, resulting in further inefficiency due to bubbles. We present SARATHI to address these challenges. SARATHI employs chunked-prefills, which splits a prefill request into equal sized chunks, and decode-maximal batching, which constructs a batch using a single prefill chunk and populates the remaining slots with decodes. During inference, the prefill chunk saturates GPU compute, while the decode requests 'piggyback' and cost up to an order of magnitude less compared to a decode-only batch. Chunked-prefills allows constructing multiple decode-maximal batches from a single prefill request, maximizing coverage of decodes that can piggyback. Furthermore, the uniform compute design of these batches ameliorates the imbalance between micro-batches, significantly reducing pipeline bubbles. Our techniques yield significant improvements in inference performance across models and hardware. For the LLaMA-13B model on A6000 GPU, SARATHI improves decode throughput by up to 10x, and accelerates end-to-end throughput by up to 1.33x. For LLaMa-33B on A100 GPU, we achieve 1.25x higher end-to-end-throughput and up to 4.25x higher decode throughput. When used with pipeline parallelism on GPT-3, SARATHI reduces bubbles by 6.29x, resulting in an end-to-end throughput improvement of 1.91x.


title: SieveJoin: Boosting Multi-Way Joins with Reusable Bloom Filters

abstract: Improving data systems' performance for join operations has long been an issue of great importance. More recently, a lot of focus has been devoted to multi-way join performance and especially on reducing the negative impact of producing intermediate tuples, which in the end do not make it in the final result. We contribute a new multi-way join algorithm, coined SieveJoin, which extends the well-known Bloomjoin algorithm to multi-way joins and achieves state-of-the-art performance in terms of join query execution efficiency. SieveJoin's salient novel feature is that it allows the propagation of Bloom filters in the join path, enabling the system to `stop early' and eliminate useless intermediate join results. The key design objective of SieveJoin is to efficiently `learn' the join results, based on Bloom filters, with negligible memory overheads. We discuss the bottlenecks in delaying multi-way joins, and how Bloom filters are used to remove the generation of unnecessary intermediate join results. We provide a detailed experimental evaluation using various datasets, against a state-of-the-art column-store database and a multi-way worst-case optimal join algorithm, showcasing SieveJoin's gains in terms of response time.


title: The Measurement Problem Is a Feature, Not a Bug--Schematising the Observer and the Concept of an Open System on an Informational, or (Neo-)Bohrian, Approach

abstract: I flesh out the sense in which the informational approach to interpreting quantum mechanics, as defended by Pitowsky and Bub and lately by a number of other authors, is (neo-)Bohrian. I argue that on this approach, quantum mechanics represents what Bohr called a ``natural generalisation of the ordinary causal description'' in the sense that the idea (which philosophers of science like Stein have argued for on the grounds of practical and epistemic necessity) that understanding a theory as a theory of physics requires that one be able to ``schematise the observer'' within it is elevated in quantum mechanics to the level of a postulate in the sense that interpreting the outcome of a measurement interaction, as providing us with information about the world, requires as a matter of principle, the specification of a schematic representation of an observer in the form of a `Boolean frame' -- the Boolean algebra representing the yes-or-no questions associated with a given observable representative of a given experimental context. I argue that the approach's central concern is with the methodological question of how to assign physical properties to what one takes to be a system in a given experimental context, rather than the metaphysical question of what a given state vector represents independently of any context, and I show how the quantum generalisation of the concept of an open system may be used to assuage Einstein's complaint that the orthodox approach to quantum mechanics runs afoul of the supposedly fundamental methodological requirement to the effect that one must always be able, according to Einstein, to treat spatially separated systems as isolated from one another.


title: Artificial to Spiking Neural Networks Conversion for Scientific Machine Learning

abstract: We introduce a method to convert Physics-Informed Neural Networks (PINNs), commonly used in scientific machine learning, to Spiking Neural Networks (SNNs), which are expected to have higher energy efficiency compared to traditional Artificial Neural Networks (ANNs). We first extend the calibration technique of SNNs to arbitrary activation functions beyond ReLU, making it more versatile, and we prove a theorem that ensures the effectiveness of the calibration. We successfully convert PINNs to SNNs, enabling computational efficiency for diverse regression tasks in solving multiple differential equations, including the unsteady Navier-Stokes equations. We demonstrate great gains in terms of overall efficiency, including Separable PINNs (SPINNs), which accelerate the training process. Overall, this is the first work of this kind and the proposed method achieves relatively good accuracy with low spike rates.


title: Entropy Estimate for Degenerate SDEs with Applications to Nonlinear Kinetic Fokker-Planck Equations

abstract: The relative entropy for two different degenerate diffusion processes is estimated by using the Wasserstein distance of initial distributions and the difference between coefficients. As applications, the entropy cost inequality and exponential ergodicity in entropy are derived for distribution dependent stochastic Hamiltonian systems associated with nonlinear kinetic Fokker Planck equations.


title: Accused: How students respond to allegations of using ChatGPT on assessments

abstract: This study explores student responses to allegations of cheating using ChatGPT, a popular software platform that can be used to generate grammatical and broadly correct text on virtually any topic. Forty-nine posts and the ensuing discussions were collected from Reddit, an online discussion forum, in which students shared their experiences of being accused (the majority falsely) and discussed how to navigate their situations. A thematic analysis was conducted with this material, and five themes were discerned: a legalistic stance, involving argument strategy and evidence gathering; the societal role of higher education as a high-stakes gatekeeper; the vicissitudes of trust in students vs. technology; questions of what constitutes cheating; and the need to rethink assessment. The findings from this study will help instructors and institutions to create more meaningful assessments in the age of AI and develop guidelines for student use of ChatGPT and other AI tools.


title: A Survey on Privacy in Graph Neural Networks: Attacks, Preservation, and Applications

abstract: Graph Neural Networks (GNNs) have gained significant attention owing to their ability to handle graph-structured data and the improvement in practical applications. However, many of these models prioritize high utility performance, such as accuracy, with a lack of privacy consideration, which is a major concern in modern society where privacy attacks are rampant. To address this issue, researchers have started to develop privacy-preserving GNNs. Despite this progress, there is a lack of a comprehensive overview of the attacks and the techniques for preserving privacy in the graph domain. In this survey, we aim to address this gap by summarizing the attacks on graph data according to the targeted information, categorizing the privacy preservation techniques in GNNs, and reviewing the datasets and applications that could be used for analyzing/solving privacy issues in GNNs. We also outline potential directions for future research in order to build better privacy-preserving GNNs.


title: Improving Multiple Sclerosis Lesion Segmentation Across Clinical Sites: A Federated Learning Approach with Noise-Resilient Training

abstract: Accurately measuring the evolution of Multiple Sclerosis (MS) with magnetic resonance imaging (MRI) critically informs understanding of disease progression and helps to direct therapeutic strategy. Deep learning models have shown promise for automatically segmenting MS lesions, but the scarcity of accurately annotated data hinders progress in this area. Obtaining sufficient data from a single clinical site is challenging and does not address the heterogeneous need for model robustness. Conversely, the collection of data from multiple sites introduces data privacy concerns and potential label noise due to varying annotation standards. To address this dilemma, we explore the use of the federated learning framework while considering label noise. Our approach enables collaboration among multiple clinical sites without compromising data privacy under a federated learning paradigm that incorporates a noise-robust training strategy based on label correction. Specifically, we introduce a Decoupled Hard Label Correction (DHLC) strategy that considers the imbalanced distribution and fuzzy boundaries of MS lesions, enabling the correction of false annotations based on prediction confidence. We also introduce a Centrally Enhanced Label Correction (CELC) strategy, which leverages the aggregated central model as a correction teacher for all sites, enhancing the reliability of the correction process. Extensive experiments conducted on two multi-site datasets demonstrate the effectiveness and robustness of our proposed methods, indicating their potential for clinical applications in multi-site collaborations.


title: Science Communications for Explainable Artificial Intelligence

abstract: Artificial Intelligence (AI) has a communication problem. XAI methods have been used to make AI more understandable and helped resolve some of the transparency issues that inhibit AI's broader usability. However, user evaluation studies reveal that the often numerical explanations provided by XAI methods have not always been effective for many types of users of AI systems. This article aims to adapt the major communications models from Science Communications into a framework for practitioners to understand, influence, and integrate the context of audiences both for their communications supporting AI literacy in the public and in designing XAI systems that are more adaptive to different users.


title: Unexpected Averages of Mixing Matrices

abstract: The (standard) average mixing matrix of a continuous-time quantum walk is computed by taking the expected value of the mixing matrices of the walk under the uniform sampling distribution on the real line. In this paper we consider alternative probability distributions, either discrete or continuous, and first we show that several algebraic properties that hold for the average mixing matrix still stand for this more general setting. Then, we provide examples of graphs and choices of distributions where the average mixing matrix behaves in an unexpected way: for instance, we show that there are probability distributions for which the average mixing matrices of the paths on three or four vertices have constant entries, opening a significant line of investigation about how to use classical probability distributions to sample quantum walks and obtain desired quantum effects. We present results connecting the trace of the average mixing matrix and quantum walk properties, and we show that the Gram matrix of average states is the average mixing matrix of a certain related distribution. Throughout the text, we employ concepts of classical probability theory not usually seen in texts about quantum walks.


title: Multi-Objective Decision Transformers for Offline Reinforcement Learning

abstract: Offline Reinforcement Learning (RL) is structured to derive policies from static trajectory data without requiring real-time environment interactions. Recent studies have shown the feasibility of framing offline RL as a sequence modeling task, where the sole aim is to predict actions based on prior context using the transformer architecture. However, the limitation of this single task learning approach is its potential to undermine the transformer model's attention mechanism, which should ideally allocate varying attention weights across different tokens in the input context for optimal prediction. To address this, we reformulate offline RL as a multi-objective optimization problem, where the prediction is extended to states and returns. We also highlight a potential flaw in the trajectory representation used for sequence modeling, which could generate inaccuracies when modeling the state and return distributions. This is due to the non-smoothness of the action distribution within the trajectory dictated by the behavioral policy. To mitigate this issue, we introduce action space regions to the trajectory representation. Our experiments on D4RL benchmark locomotion tasks reveal that our propositions allow for more effective utilization of the attention mechanism in the transformer model, resulting in performance that either matches or outperforms current state-of-the art methods.


title: 3D vision-based structural masonry damage detection

abstract: The detection of masonry damage is essential for preventing potentially disastrous outcomes. Manual inspection can, however, take a long time and be hazardous to human inspectors. Automation of the inspection process using novel computer vision and machine learning algorithms can be a more efficient and safe solution to prevent further deterioration of the masonry structures. Most existing 2D vision-based methods are limited to qualitative damage classification, 2D localization, and in-plane quantification. In this study, we present a 3D vision-based methodology for accurate masonry damage detection, which offers a more robust solution with a greater field of view, depth of vision, and the ability to detect failures in complex environments. First, images of the masonry specimens are collected to generate a 3D point cloud. Second, 3D point clouds processing methods are developed to evaluate the masonry damage. We demonstrate the effectiveness of our approach through experiments on structural masonry components. Our experiments showed the proposed system can effectively classify damage states and localize and quantify critical damage features. The result showed the proposed method can improve the level of autonomy during the inspection of masonry structures.


title: Wasserstein Distributionally Robust Chance Constrained Trajectory Optimization for Mobile Robots within Uncertain Safe Corridor

abstract: Safe corridor-based Trajectory Optimization (TO) presents an appealing approach for collision-free path planning of autonomous robots, offering global optimality through its convex formulation. The safe corridor is constructed based on the perceived map, however, the non-ideal perception induces uncertainty, which is rarely considered in trajectory generation. In this paper, we propose Distributionally Robust Safe Corridor Constraints (DRSCCs) to consider the uncertainty of the safe corridor. Then, we integrate DRSCCs into the trajectory optimization framework using Bernstein basis polynomials. Theoretically, we rigorously prove that the trajectory optimization problem incorporating DRSCCs is equivalent to a computationally efficient, convex quadratic program. Compared to the nominal TO, our method enhances navigation safety by significantly reducing the infeasible motions in presence of uncertainty. Moreover, the proposed approach is validated through two robotic applications, a micro Unmanned Aerial Vehicle (UAV) and a quadruped robot Unitree A1.


title: A stochastic block model for community detection in attributed networks

abstract: Community detection is an important content in complex network analysis. The existing community detection methods in attributed networks mostly focus on only using network structure, while the methods of integrating node attributes is mainly for the traditional community structures, and cannot detect multipartite structures and mixture structures in network. In addition, the model-based community detection methods currently proposed for attributed networks do not fully consider unique topology information of nodes, such as betweenness centrality and clustering coefficient. Therefore, a stochastic block model that integrates betweenness centrality and clustering coefficient of nodes for community detection in attributed networks, named BCSBM, is proposed in this paper. Different from other generative models for attributed networks, the generation process of links and attributes in BCSBM model follows the Poisson distribution, and the probability between community is considered based on the stochastic block model. Moreover, the betweenness centrality and clustering coefficient of nodes are introduced into the process of links and attributes generation. Finally, the expectation maximization algorithm is employed to estimate the parameters of the BCSBM model, and the node-community memberships is obtained through the hard division process, so the community detection is completed. By experimenting on six real-work networks containing different network structures, and comparing with the community detection results of five algorithms, the experimental results show that the BCSBM model not only inherits the advantages of the stochastic block model and can detect various network structures, but also has good data fitting ability due to introducing the betweenness centrality and clustering coefficient of nodes. Overall, the performance of this model is superior to other five compared algorithms.


title: Separate and Locate: Rethink the Text in Text-based Visual Question Answering

abstract: Text-based Visual Question Answering (TextVQA) aims at answering questions about the text in images. Most works in this field focus on designing network structures or pre-training tasks. All these methods list the OCR texts in reading order (from left to right and top to bottom) to form a sequence, which is treated as a natural language ``sentence''. However, they ignore the fact that most OCR words in the TextVQA task do not have a semantical contextual relationship. In addition, these approaches use 1-D position embedding to construct the spatial relation between OCR tokens sequentially, which is not reasonable. The 1-D position embedding can only represent the left-right sequence relationship between words in a sentence, but not the complex spatial position relationship. To tackle these problems, we propose a novel method named Separate and Locate (SaL) that explores text contextual cues and designs spatial position embedding to construct spatial relations between OCR texts. Specifically, we propose a Text Semantic Separate (TSS) module that helps the model recognize whether words have semantic contextual relations. Then, we introduce a Spatial Circle Position (SCP) module that helps the model better construct and reason the spatial position relationships between OCR texts. Our SaL model outperforms the baseline model by 4.44% and 3.96% accuracy on TextVQA and ST-VQA datasets. Compared with the pre-training state-of-the-art method pre-trained on 64 million pre-training samples, our method, without any pre-training tasks, still achieves 2.68% and 2.52% accuracy improvement on TextVQA and ST-VQA. Our code and models will be released at https://github.com/fangbufang/SaL.


title: On non-trivial $\Lambda$-submodules with finite index of the plus/minus Selmer group over anticyclotomic $\mathbb{Z}_{p}$-extension at inert primes

abstract: Let $K$ be an imaginary quadratic field where $p$ is inert. Let $E$ be an elliptic curve defined over $K$ and suppose that $E$ has good supersingular reduction at $p$. In this paper, we prove that the plus/minus Selmer group of $E$ over the anticyclotomic $\mathbb{Z}_{p}$-extension of $K$ has no non-trivial $\Lambda$-submodules of finite index under mild assumptions for $E$. This is an analogous result to R. Greenberg and B. D. Kim for the anticyclotomic $\mathbb{Z}_{p}$-extension essentially. By applying the results of A. Agboola--B. Howard or A. Burungale--K. B\"uy\"ukboduk--A. Lei, we can also construct examples satisfying the assumptions of our theorem.


title: BenchTemp: A General Benchmark for Evaluating Temporal Graph Neural Networks

abstract: To handle graphs in which features or connectivities are evolving over time, a series of temporal graph neural networks (TGNNs) have been proposed. Despite the success of these TGNNs, the previous TGNN evaluations reveal several limitations regarding four critical issues: 1) inconsistent datasets, 2) inconsistent evaluation pipelines, 3) lacking workload diversity, and 4) lacking efficient comparison. Overall, there lacks an empirical study that puts TGNN models onto the same ground and compares them comprehensively. To this end, we propose BenchTemp, a general benchmark for evaluating TGNN models on various workloads. BenchTemp provides a set of benchmark datasets so that different TGNN models can be fairly compared. Further, BenchTemp engineers a standard pipeline that unifies the TGNN evaluation. With BenchTemp, we extensively compare the representative TGNN models on different tasks (e.g., link prediction and node classification) and settings (transductive and inductive), w.r.t. both effectiveness and efficiency metrics. We have made BenchTemp publicly available at https://github.com/qianghuangwhu/benchtemp.


title: RGB-T Tracking via Multi-Modal Mutual Prompt Learning

abstract: Object tracking based on the fusion of visible and thermal im-ages, known as RGB-T tracking, has gained increasing atten-tion from researchers in recent years. How to achieve a more comprehensive fusion of information from the two modalities with fewer computational costs has been a problem that re-searchers have been exploring. Recently, with the rise of prompt learning in computer vision, we can better transfer knowledge from visual large models to downstream tasks. Considering the strong complementarity between visible and thermal modalities, we propose a tracking architecture based on mutual prompt learning between the two modalities. We also design a lightweight prompter that incorporates attention mechanisms in two dimensions to transfer information from one modality to the other with lower computational costs, embedding it into each layer of the backbone. Extensive ex-periments have demonstrated that our proposed tracking ar-chitecture is effective and efficient, achieving state-of-the-art performance while maintaining high running speeds.


title: Stability and instability for compressible Navier-Stokes equations with Yukawa potential

abstract: In this paper, we first consider global well-posedness and long time behavior of compressible Navier-Stokes equations with Yukawa-type potential in $L^p$-framework under the stability condition $P'(\bar\rho)+\gamma\bar\rho>0$. Here $\bar\rho>0$ is the background density, P is the pressure and $\gamma\in\mathbb{R}$ is Yukawa coefficient. This is a continuity work of Chikami \cite{chikami1} concerning on local existence and blow-up criterion. On the other hand, we study the instability of the linear and nonlinear problem of the system when $P'(\bar\rho)+\gamma\bar\rho<0$ in the Hadamard sense.


title: Is 'being above the median' a noise sensitive property?

abstract: Assign independent weights to the edges of the square lattice, from the uniform distribution on $\{a,b\}$ for some $0<a<b<\infty$. The weighted graph induces a random metric on $\mathbb{Z}^2$. Let $T_n$ denote the distance between $(0,0)$ and $(n,0)$ in this metric. The distribution of $T_n$ has a well-defined median. Itai Benjamini asked in 2011 if the sequence of Boolean functions encoding whether $T_n$ exceeds its median is noise sensitive? In this paper we present the first progress on Benjamini's problem. More precisely, we study the minimal weight along any path crossing an $n\times n$-square horizontally and whose vertical fluctuation is smaller than $n^{1/22}$, and show that for this observable, 'being above the median' is a noise sensitive property.


title: The Biased Journey of MSD_AUDIO.ZIP

abstract: The equitable distribution of academic data is crucial for ensuring equal research opportunities, and ultimately further progress. Yet, due to the complexity of using the API for audio data that corresponds to the Million Song Dataset along with its misreporting (before 2016) and the discontinuation of this API (after 2016), access to this data has become restricted to those within certain affiliations that are connected peer-to-peer. In this paper, we delve into this issue, drawing insights from the experiences of 22 individuals who either attempted to access the data or played a role in its creation. With this, we hope to initiate more critical dialogue and more thoughtful consideration with regard to access privilege in the MIR community.


title: Dark phase transition from WIMP: complementary tests from gravitational waves and colliders

abstract: A dark sector is an interesting place where a strong first-order phase transition, observable gravitational waves and/or a dark matter candidate could arise. However, the experimental tests for such a dark sector could be ambiguous due to the dark content, largely unconstrained parameter space and the connection to the visible world. We consider a minimal dark scalar-vector boson plasma to realize the three mentioned phenomena, with a unique connection to the Standard Model via the Higgs portal coupling. We discuss the important features of the Higgs portal in such a minimal dark sector, namely the dark thermalization, collider tests, and direct detection of dark matter. We perform numerical analyses of the dark phase transition associated with stochastic gravitational waves and dark matter, discussing the complementarity of collider detection, dark matter direct detection and space-based/terrestrial interferometers as a promising avenue to hear and see the minimal dark sector.


title: Improving Robustness and Accuracy of Ponzi Scheme Detection on Ethereum Using Time-Dependent Features

abstract: The rapid development of blockchain has led to more and more funding pouring into the cryptocurrency market, which also attracted cybercriminals' interest in recent years. The Ponzi scheme, an old-fashioned fraud, is now popular on the blockchain, causing considerable financial losses to many crypto-investors. A few Ponzi detection methods have been proposed in the literature, most of which detect a Ponzi scheme based on its smart contract source code or opcode. The contract-code-based approach, while achieving very high accuracy, is not robust: first, the source codes of a majority of contracts on Ethereum are not available, and second, a Ponzi developer can fool a contract-code-based detection model by obfuscating the opcode or inventing a new profit distribution logic that cannot be detected (since these models were trained on existing Ponzi logics only). A transaction-based approach could improve the robustness of detection because transactions, unlike smart contracts, are harder to be manipulated. However, the current transaction-based detection models achieve fairly low accuracy. We address this gap in the literature by developing new detection models that rely only on the transactions, hence guaranteeing the robustness, and moreover, achieve considerably higher Accuracy, Precision, Recall, and F1-score than existing transaction-based models. This is made possible thanks to the introduction of novel time-dependent features that capture Ponzi behaviours characteristics derived from our comprehensive data analyses on Ponzi and non-Ponzi data from the XBlock-ETH repository


title: Studies of Nonadiabatic Dynamics in the Singlet Fission Processes of Pentacene Dimer via Tensor Train Decomposition Method

abstract: Singlet fission (SF) is a very significant photophysical phenomenon and possesses potential applications. In this work, we try to give the rather detailed theoretical investigation of the SF process in the stacked polyacene dimer by combining the high-level quantum chemistry calculations, and the quantum dynamics simulations based on the tensor train decomposition method. Starting from the construction of the linear vibronic coupling model, we explore the pure electronic dynamics and the vibronic dynamics in the SF processes. The role of vibrational modes in nonadiabatic dynamics is addressed. The results show that the super-exchange mechanism mediated by the charge-transfer state is found in both pure electronic dynamics and the nonadiabatic dynamics. Particularly, the vibrational modes with the frequency resonance with the adiabatic energy gap play very import roles in the SF dynamics. This work not only provides a deep and detailed understanding of the SF process, but also verifies the efficiency of the tensor train decomposition method that can serve as the reference dynamics method to explore the dynamics behaviors of complex systems.


title: Parameterized multipartite entanglement measures

abstract: We investigate parameterized multipartite entanglement measures from the perspective of $k$-nonseparability in this paper. We present two types of entanglement measures in $n$-partite systems, $q$-$k$-ME concurrence $(q\geq2,~2\leq k\leq n)$ and $\alpha$-$k$-ME concurrence $(0\leq\alpha\leq\frac{1}{2},~2\leq k\leq n)$, which unambiguously detect all $k$-nonseparable states in arbitrary $n$-partite systems. Rigorous proofs show that the proposed $k$-nonseparable measures satisfy all the requirements for being an entanglement measure including the entanglement monotone, strong monotone, convexity, vanishing on all $k$-separable states, and being strictly greater than zero for all $k$-nonseparable states. In particular, the $q$-2-ME concurrence and $\alpha$-2-ME concurrence, renamed as $q$-GME concurrence and $\alpha$-GME concurrence, respectively, are two kinds of genuine entanglement measures corresponding the case where the systems are divided into bipartition $(k=2)$. The lower bounds of two classes $k$-nonseparable measures are obtained by employing the approach that takes into account the permutationally invariant part of a quantum state. And the relations between $q$-$n$-ME concurrence ($\alpha$-$n$-ME concurrence) and global negativity are established. In addition, we discuss the degree of separability and elaborate on an effective detection method with concrete examples. Moreover, we compare the $q$-GME concurrence defined by us to other genuine entanglement measures.


title: Linearly Edge-Reinforced Random Walks

abstract: This thesis examines linearly edge-reinforced random walks on infinite trees. In particular, recurrence and transience of such random walks on general (fixed) trees as well as on Galton-Watson trees (i.e. random trees) is characterized, and shown to be related to the branching number of these trees and a so-called reinforcement parameter. A phase transition from transience to recurrence takes place at a critical parameter value. As a tool, random walks in random environment are introduced and known results are repeated, together with detailed proofs. A result on quasi-independent percolation is proved as a by-product. Finally, for the edge-reinforced random walk on Z, the existence of a kind of stationary / limiting distribution with finite moments is shown.


title: Efficient Computation of Tucker Decomposition for Streaming Scientific Data Compression

abstract: The Tucker decomposition, an extension of singular value decomposition for higher-order tensors, is a useful tool in analysis and compression of large-scale scientific data. While it has been studied extensively for static datasets, there are relatively few works addressing the computation of the Tucker factorization of streaming data tensors. In this paper we propose a new streaming Tucker algorithm tailored for scientific data, specifically for the case of a data tensor whose size increases along a single streaming mode that can grow indefinitely, which is typical of time-stepping scientific applications. At any point of this growth, we seek to compute the Tucker decomposition of the data generated thus far, without requiring storing the past tensor slices in memory. Our algorithm accomplishes this by starting with an initial Tucker decomposition and updating its components--the core tensor and factor matrices--with each new tensor slice as it becomes available, while satisfying a user-specified threshold of norm error. We present an implementation within the TuckerMPI software framework, and apply it to synthetic and combustion simulation datasets. By comparing against the standard (batch) decomposition algorithm we show that our streaming algorithm provides significant improvements in memory usage. If the tensor rank stops growing along the streaming mode, the streaming algorithm also incurs less computational time compared to the batch algorithm.


title: Discrete universality for Matsumoto zeta-functions and the nontrivial zeros of the Riemann zeta-function

abstract: In 2017, Garunk\v{s}tis, Laurin\v{c}ikas and Macaitien\.{e} proved the discrete universality theorem for the Riemann zeta-function sifted by the nontrivial zeros of the Riemann zeta-function. This discrete universality has been extended in various zeta-functions and $L$-functions. In this paper, we generalize this discrete universality for Matsumoto zeta-functions.


title: The Impact of Downgrading Protected Areas (PAD) on Biodiversity

abstract: We quantitatively assess the impacts of Downgrading Protected Areas (PAD) on biodiversity in the U.S.. Results show that PAD events significantly reduce biodiversity. The proximity to PAD events decreases the biodiversity by 26.0% within 50 km compared with records of species further away from the PAD events. We observe an overall 32.3% decrease in abundance after those nearest PAD events are enacted. Abundance declines more in organisms living in contact with water and non-mammals. Species abundance is more sensitive to the negative impacts in areas where PAD events were later reversed, as well as in areas close to protected areas belonging to the International Union for Conservation of Nature (IUCN) category. The enacted PAD events between the period 1903 to 2018 in the U.S. lead to economic losses of approximately $689.95 million due to decrease in abundance. Our results contribute to the understanding on the impact of environmental interventions such as PAD events on biodiversity change and provide important implications on biodiversity conservation policies.


title: Two-dimensional metric spaces with curvature bounded above II

abstract: As a continuation of \cite{NSY:local}, we mainly discuss the global structure of two-dimensional locally compact geodesically complete metric spaces with curvature bounded above. We first obtain the result on the Lipschitz homotopy approximations of such spaces by polyhedral spaces. We define the curvature measures on our spaces making use of the convergence of the curvature measures, and establish Gauss-Bonnet Theorem. We also give a characterization of such spaces.


title: Complex quantum momentum due to correlation

abstract: Real numbers provide a sufficient description of classical physics and all measurable phenomena; however, complex numbers are occasionally utilized as a convenient mathematical tool to aid our calculations. On the other hand, the formalism of quantum mechanics integrates complex numbers within its fundamental principles, and whether this arises out of necessity or not is an important question that many have attempted to answer. Here, we will consider two electrons in a one-dimensional quantum well where the interaction potential between the two electrons is attractive as opposed to the usual repulsive coulomb potential. Pairs of electrons exhibiting such effective attraction towards each other occur in other settings, namely within superconductivity. We will demonstrate that this attractive interaction leads to the necessity of complex momentum solutions, which further emphasizes the significance of complex numbers in quantum theory. The complex momentum solutions are solved using a perturbative analysis approach in tandem with Newton's method. The probability densities arising from these complex momentum solutions allow for a comparison with the probability densities of the typical real momentum solutions occurring from the standard repulsive interaction potential.


title: Channel Estimation for XL-MIMO Systems with Polar-Domain Multi-Scale Residual Dense Network

abstract: Extremely large-scale multiple-input multiple-output (XL-MIMO) is a promising technique to enable versatile applications for future wireless communications.To realize the huge potential performance gain, accurate channel state information is a fundamental technical prerequisite. In conventional massive MIMO, the channel is often modeled by the far-field planar-wavefront with rich sparsity in the angular domain that facilitates the design of low-complexity channel estimation. However, this sparsity is not conspicuous in XL-MIMO systems due to the non-negligible near-field spherical-wavefront. To address the inherent performance loss of the angular-domain channel estimation schemes, we first propose the polar-domain multiple residual dense network (P-MRDN) for XL-MIMO systems based on the polar-domain sparsity of the near-field channel by improving the existing MRDN scheme. Furthermore, a polar-domain multi-scale residual dense network (P-MSRDN) is designed to improve the channel estimation accuracy. Finally, simulation results reveal the superior performance of the proposed schemes compared with existing benchmark schemes and the minimal influence of the channel sparsity on the proposed schemes.


title: Optimality and Constructions of Spanning Bipartite Block Designs

abstract: We consider a statistical problem to estimate variables (effects) that are associated with the edges of a complete bipartite graph $K_{v_1, v_2}=(V_1, V_2 \, ; E)$. Each data is obtained as a sum of selected effects, a subset of $E$. In order to estimate efficiently, we propose a design called Spanning Bipartite Block Design (SBBD). For SBBDs such that the effects are estimable, we proved that the estimators have the same variance (variance balanced). If each block (a subgraph of $K_{v_1, v_2}$) of SBBD is a semi-regular or a regular bipartite graph, we show that the design is A-optimum. We also show a construction of SBBD using an ($r,\lambda$)-design and an ordered design. A BIBD with prime power blocks gives an A-optimum semi-regular or regular SBBD. At last, we mention that this SBBD is able to use for deep learning.


title: GDD type Spanning Bipartite Block Designs

abstract: There is a one-to-one correspondence between the point set of a group divisible design (GDD) with $v_1$ groups of $v_2$ points and the edge set of a complete bipartite graph $K_{v_1,v_2}$. A block of GDD corresponds to a subgraph of $K_{v_1,v_2}$. A set of subgraphs of $K_{v_1,v_2}$ is constructed from a block set of GDDs. If the GDD satisfies the $\lambda_1, \lambda_2$ concurrence condition, then the set of subgraphs also satisfies the spanning bipartite block design (SBBD) conditions. We also propose a method to construct SBBD directly from an $(r,\lambda)$-design and a difference matrix over a group. Suppose the $(r,\lambda)$-design consists of $v_2$ points and $v_1$ blocks. When $v_1 >> v_2$, we show a method to construct a SBBD with $v_1$ is close to $v_2$ by partitioning the block set.


title: Balancing between the Local and Global Structures (LGS) in Graph Embedding

abstract: We present a method for balancing between the Local and Global Structures (LGS) in graph embedding, via a tunable parameter. Some embedding methods aim to capture global structures, while others attempt to preserve local neighborhoods. Few methods attempt to do both, and it is not always possible to capture well both local and global information in two dimensions, which is where most graph drawing live. The choice of using a local or a global embedding for visualization depends not only on the task but also on the structure of the underlying data, which may not be known in advance. For a given graph, LGS aims to find a good balance between the local and global structure to preserve. We evaluate the performance of LGS with synthetic and real-world datasets and our results indicate that it is competitive with the state-of-the-art methods, using established quality metrics such as stress and neighborhood preservation. We introduce a novel quality metric, cluster distance preservation, to assess intermediate structure capture. All source-code, datasets, experiments and analysis are available online.


title: Deformation Robust Text Spotting with Geometric Prior

abstract: The goal of text spotting is to perform text detection and recognition in an end-to-end manner. Although the diversity of luminosity and orientation in scene texts has been widely studied, the font diversity and shape variance of the same character are ignored in recent works, since most characters in natural images are rendered in standard fonts. To solve this problem, we present a Chinese Artistic Dataset, termed as ARText, which contains 33,000 artistic images with rich shape deformation and font diversity. Based on this database, we develop a deformation robust text spotting method (DR TextSpotter) to solve the recognition problem of complex deformation of characters in different fonts. Specifically, we propose a geometric prior module to highlight the important features based on the unsupervised landmark detection sub-network. A graph convolution network is further constructed to fuse the character features and landmark features, and then performs semantic reasoning to enhance the discrimination for different characters. The experiments are conducted on ARText and IC19-ReCTS datasets. Our results demonstrate the effectiveness of our proposed method.


title: On the departure from Monin-Obukhov surface similarity and transition to the convective mixed layer

abstract: Large-eddy simulations are used to evaluate mean profile similarity in the convective boundary layer (CBL). Particular care is taken regarding the grid sensitivity of the profiles and the mitigation of inertial oscillations in the simulation spin-up. The nondimensional gradients $\phi$ for wind speed and air temperature generally align with Monin-Obukhov similarity across cases but have a steeper slope than predicted within each profile. The same trend has been noted in several other recent studies. The Businger-Dyer relations are modified here with an exponential cutoff term to account for the decay in $\phi$ to first-order approximation, yielding improved similarity from approximately 0.05$z_i$ to above 0.3$z_i$, where $z_i$ is the CBL depth. The necessity for the exponential correction is attributed to an extended transition from surface scaling to zero gradient in the mixed layer, where the departure from Monin-Obukhov similarity may be negligible at the surface but becomes substantial well below the conventional surface layer height of 0.1$z_i$.


title: CktGNN: Circuit Graph Neural Network for Electronic Design Automation

abstract: The electronic design automation of analog circuits has been a longstanding challenge in the integrated circuit field due to the huge design space and complex design trade-offs among circuit specifications. In the past decades, intensive research efforts have mostly been paid to automate the transistor sizing with a given circuit topology. By recognizing the graph nature of circuits, this paper presents a Circuit Graph Neural Network (CktGNN) that simultaneously automates the circuit topology generation and device sizing based on the encoder-dependent optimization subroutines. Particularly, CktGNN encodes circuit graphs using a two-level GNN framework (of nested GNN) where circuits are represented as combinations of subgraphs in a known subgraph basis. In this way, it significantly improves design efficiency by reducing the number of subgraphs to perform message passing. Nonetheless, another critical roadblock to advancing learning-assisted circuit design automation is a lack of public benchmarks to perform canonical assessment and reproducible research. To tackle the challenge, we introduce Open Circuit Benchmark (OCB), an open-sourced dataset that contains $10$K distinct operational amplifiers with carefully-extracted circuit specifications. OCB is also equipped with communicative circuit generation and evaluation capabilities such that it can help to generalize CktGNN to design various analog circuits by producing corresponding datasets. Experiments on OCB show the extraordinary advantages of CktGNN through representation-based optimization frameworks over other recent powerful GNN baselines and human experts' manual designs. Our work paves the way toward a learning-based open-sourced design automation for analog circuits. Our source code is available at \url{https://github.com/zehao-dong/CktGNN}.


title: General Formula for the Green's Function Approach to the Spin-1/2 Antiferromagnetic Heisenberg Model

abstract: A wide range of analytical and numerical methods are available to study quantum spin systems. However, the complexity of spin correlations and interactions limits their applicability to specific temperature ranges. The analytical approach utilizing Green's function has proved advantageous, as it allows for formulation without restrictions on the presence of long-range order and facilitates estimation of the spin excitation spectrum and thermodynamic quantities across the entire temperature range. In this work, we present a generalized formulation of the Green's function method that can be applied to diverse spin systems. As specific applications, we consider the hypercubic lattice and the $J_1$-$J_2$ model. For the cubic lattice case, the Green's function approach provides a good estimation for the transition temperature. Regarding the $J_1$-$J_2$ model, we include nematic correlations in the analysis and find no signature of such correlations, though accurate numerical calculations are required in the presence of strong frustration. Although our focus is on the spin one-half antiferromagnetic Heisenberg model on an arbitrary lattice, the Green's function approach can be generalized to incorporate other interactions and higher spin values.


title: Last Mile Delivery with Drones and Sharing Economy

abstract: We consider a combined system of regular delivery trucks and crowdsourced drones, available via a sharing economy platform, to provide a technology-assisted crowd-based last-mile delivery experience. We develop analytical models and methods for a system in which package delivery is performed by a big truck carrying many packages to a neighborhood or a town in a metropolitan area and then the packages are assigned to crowdsourced drone operators to deliver them to their final destinations. We develop several optimization models for various cases of the problem and use a combination of heuristic algorithms to solve this NP-hard problem. Finally, we present computational results for the models and algorithms, and conduct an exhaustive sensitivity analysis to check the influence of different parameters and assumptions on the final results. We also provide extensive managerial insights on the benefits of our proposed model if implemented in practice.


title: Strong quantum nonlocality with genuine entanglement in an $N$-qutrit system

abstract: In this paper, we construct genuinely multipartite entangled bases in $(\mathbb{C}^{3})^{\otimes N}$ for $N\geq3$, where every state is one-uniform state. By modifying this construction, we successfully obtain strongly nonlocal orthogonal genuinely entangled sets and strongly nonlocal orthogonal genuinely entangled bases, which provide an answer to the open problem raised by Halder $et~al.$ [\href{https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.122.040403} {Phy. Rev. Lett. \textbf{122}, 040403 (2019)}]. The strongly nonlocal orthogonal genuine entangled set we constructed in $(\mathbb{C}^{3})^{\otimes N}$ contains much fewer quantum states than all known ones. When $N>3$, our result answers the open question given by Wang $et~al$. [\href{https://journals.aps.org/pra/abstract/10.1103/PhysRevA.104.012424} {Phys. Rev. A \textbf{104}, 012424 (2021)}].


title: Resurgence number of graded families of ideals

abstract: We define the resurgence and asymptotic resurgence numbers associated to a pair of graded families of ideals in a Noetherian ring. These notions generalize the well-studied resurgence and asymptotic resurgence of an ideal in a polynomial ring. We examine when these invariant are finite and rational. We investigate situations where these invariant can be computed via Rees valuations or realized as actual limits of well-defined sequences. We study how the asymptotic resurgence changes when a family is replaced by its integral closure. Many examples are given to illustrate that whether or not known properties of resurgence and asymptotic resurgence of an ideal would extend to that of a pair of graded families of ideals generally depends on the Noetherian property and finite generation of the Rees algebras of these families.


title: Keith Brueckner (1924-2014). A biographical memoir

abstract: Keith Brueckner was a theoretical physicist of considerable technical power who came of age as the mysteries of the atomic nucleus were coming into focus. His fundamental contributions to the "many-body problem" had a lasting impact on our understanding of how the macroscopic behavior of matter emerges from the underlying microscopic rules. A passionate and accomplished mountain climber, he listed the American Alpine Club below the National Academy of Sciences on his vitae. During decades of complex interactions between the physics community and the United States government, he helped build structures that allowed him and many others to provide advice on classified matters, but also actively raised funds to support opposition to the war in Vietnam. At the peak of his career, he left the Ivy League to help found and build a new university in a small village filled with Marines and retirees - La Jolla, California.


title: Instantaneous Symmetry Breaking to the Non-observed Dark Matter

abstract: A theory explaining the non-observation of the dark matter and the source of the dark energy is presented in this letter. By integrating the asymmetrical potential and the Higgs potential, we provide a model with instantaneous symmetrical breaking and stable symmetrical breaking, resulting in the non-observed dark matter and observed matter respectively. Two crucial parameters in this model are the frequency and strength of the symmetry breaking from the vacuum: the former helps explain the impact of the effective mass from the dark matter; the latter determines the source of the dark energy. The expected strength in a certain period varies, causing the accelerating or deccelerating expansions of the universe. Considering the expected strength correlated with the vacuum expectation value and basing on the possible variations of the measured masses of the fundamental particles such as Z boson over time, one can perhaps derive the exact stage of the current universe.


title: Edge-Assisted On-Device Model Update for Video Analytics in Adverse Environments

abstract: While large deep neural networks excel at general video analytics tasks, the significant demand on computing capacity makes them infeasible for real-time inference on resource-constrained end cam-eras. In this paper, we propose an edge-assisted framework that continuously updates the lightweight model deployed on the end cameras to achieve accurate predictions in adverse environments. This framework consists of three modules, namely, a key frame extractor, a trigger controller, and a retraining manager. The low-cost key frame extractor obtains frames that can best represent the current environment. Those frames are then transmitted and buffered as the retraining data for model update at the edge server. Once the trigger controller detects a significant accuracy drop in the selected frames, the retraining manager outputs the optimal retraining configuration balancing the accuracy and time cost. We prototype our system on two end devices of different computing capacities with one edge server. The results demonstrate that our approach significantly improves accuracy across all tested adverse environment scenarios (up to 24%) and reduces more than 50% of the retraining time compared to existing benchmarks.


title: Remarks on flat $S^1$-bundles, $C^\infty$ vs $C^\omega$

abstract: We describe low dimensional homology groups of $\mathrm{Diff}^\delta_+S^1$ in terms of Haefliger's classifying space $B\overline{\Gamma}_1$ by applying a theorem of Thurston. Then we consider the question whether some power of the rational Euler class vanishes for real analytic flat $S^1$-bundles. We show that if it occurs, then the homology group of $\mathrm{Diff}_+^{\omega,\delta} S^1$ should contain two kinds of many torsion classes which vanish in $\mathrm{Diff}^\delta_+S^1$. This is an informal note on our discussions about the above question.


title: Knowledge Distillation from Non-streaming to Streaming ASR Encoder using Auxiliary Non-streaming Layer

abstract: Streaming automatic speech recognition (ASR) models are restricted from accessing future context, which results in worse performance compared to the non-streaming models. To improve the performance of streaming ASR, knowledge distillation (KD) from the non-streaming to streaming model has been studied, mainly focusing on aligning the output token probabilities. In this paper, we propose a layer-to-layer KD from the teacher encoder to the student encoder. To ensure that features are extracted using the same context, we insert auxiliary non-streaming branches to the student and perform KD from the non-streaming teacher layer to the non-streaming auxiliary layer. We design a special KD loss that leverages the autoregressive predictive coding (APC) mechanism to encourage the streaming model to predict unseen future contexts. Experimental results show that the proposed method can significantly reduce the word error rate compared to previous token probability distillation methods.


title: Two-dimensional supersolidity in a planar dipolar Bose gas

abstract: We investigate the crystalline stationary states of a dipolar Bose-Einstein condensate in a planar trapping geometry. Our focus is on the ground state phase diagram in the thermodynamic limit, where triangular, honeycomb and stripe phases occur. We quantify the superfluid fraction by calculating the non-classical translational inertia, which allows us to identify favorable parameter regimes for observing supersolid ground states. We develop two simplified theories to approximately describe the ground states, and consider the relationship to roton softening in the uniform ground state. This also allows us to extend the phase diagram to the low density regime. While the triangular and honeycomb states have an isotropic superfluid response tensor, the stripe state exhibits anisotropic superfluidity.


title: Edge-Assisted Lightweight Region-of-Interest Extraction and Transmission for Vehicle Perception

abstract: To enhance on-road environmental perception for autonomous driving, accurate and real-time analytics on high-resolution video frames generated from on-board cameras be-comes crucial. In this paper, we design a lightweight object location method based on class activation mapping (CAM) to rapidly capture the region of interest (RoI) boxes that contain driving safety related objects from on-board cameras, which can not only improve the inference accuracy of vision tasks, but also reduce the amount of transmitted data. Considering the limited on-board computation resources, the RoI boxes extracted from the raw image are offloaded to the edge for further processing. Considering both the dynamics of vehicle-to-edge communications and the limited edge resources, we propose an adaptive RoI box offloading algorithm to ensure prompt and accurate inference by adjusting the down-sampling rate of each box. Extensive experimental results on four high-resolution video streams demonstrate that our approach can effectively improve the overall accuracy by up to 16% and reduce the transmission demand by up to 49%, compared with other benchmarks.