title: MINS: Efficient and Robust Multisensor-aided Inertial Navigation System

abstract: Robust multisensor fusion of multi-modal measurements such as IMUs, wheel encoders, cameras, LiDARs, and GPS holds great potential due to its innate ability to improve resilience to sensor failures and measurement outliers, thereby enabling robust autonomy. To the best of our knowledge, this work is among the first to develop a consistent tightly-coupled Multisensor-aided Inertial Navigation System (MINS) that is capable of fusing the most common navigation sensors in an efficient filtering framework, by addressing the particular challenges of computational complexity, sensor asynchronicity, and intra-sensor calibration. In particular, we propose a consistent high-order on-manifold interpolation scheme to enable efficient asynchronous sensor fusion and state management strategy (i.e. dynamic cloning). The proposed dynamic cloning leverages motion-induced information to adaptively select interpolation orders to control computational complexity while minimizing trajectory representation errors. We perform online intrinsic and extrinsic (spatiotemporal) calibration of all onboard sensors to compensate for poor prior calibration and/or degraded calibration varying over time. Additionally, we develop an initialization method with only proprioceptive measurements of IMU and wheel encoders, instead of exteroceptive sensors, which is shown to be less affected by the environment and more robust in highly dynamic scenarios. We extensively validate the proposed MINS in simulations and large-scale challenging real-world datasets, outperforming the existing state-of-the-art methods, in terms of localization accuracy, consistency, and computation efficiency. We have also open-sourced our algorithm, simulator, and evaluation toolbox for the benefit of the community: https://github.com/rpng/mins.


title: A Risk-Ratio-Based Marginal Sensitivity Model for Causal Effects in Observational Studies

abstract: In observational studies, the identification of causal estimands depends on the no unmeasured confounding (NUC) assumption. As this assumption is not testable from observed data, sensitivity analysis plays an important role in observational studies to investigate the impact of unmeasured confounding on the causal conclusions. In this paper, we proposed a risk-ratio-based sensitivity analysis framework by introducing a modified marginal sensitivity model for observational studies with binary treatments. We further extended the proposed framework to the multivalued treatment setting.We then showed how the point estimate intervals and the corresponding percentile bootstrap confidence intervals can be constructed efficiently under the proposed framework. Simulation results suggested that the proposed framework of sensitivity analysis performs well in the presence of adequate overlap among the treatment groups. Lastly, we demonstrated our proposed sensitivity analysis framework by estimating the causal effect of maternal education on female fertility in Bangladesh.


title: Clean realization of the Hund physics near the Mott transition: $\mathrm{NiS_2}$ under pressure

abstract: Strong correlation effects caused by Hund's coupling have been actively studied during the past decade. Hund's metal, strongly correlated while far from the Mott insulating limit, was studied as a representative example. However, recently, it was revealed that a typical Mott system also exhibits a sign of Hund physics by investigating the kink structure in the spectral function of $\mathrm{NiS_{2-x}Se_x}$. Therefore, to understand the Hund physics in a half-filled multi-orbital system near the metal-insulator transition, we studied pressure-induced metallic states of $\mathrm{NiS_2}$ by using density functional theory plus dynamical mean-field theory. Hund physics, responsible for suppressing local spin fluctuation, gives low-energy effective correlations, separated from Mott physics, which suppresses charge fluctuation at higher energy. This effect is prominent when $J$ becomes comparable to the quasiparticle kinetic energy, showing apparent scaling behavior of the kink position $E_{kink} \sim J \cdot Z$. We suggest that the Hund effect can also be observed in the optical conductivity as a non-Drude-like tail with $1/\omega$ frequency dependence and non-monotonic temperature evolution of the integrated optical spectral weight at a fixed frequency. Our study demonstrates the important role of Hund's coupling for electronic correlations even in a half-filled system.


title: A statistical physics and dynamical systems perspective on geophysical extreme events

abstract: Statistical physics and dynamical systems theory are key tools to study high-impact geophysical events such as temperature extremes, cyclones, thunderstorms, geomagnetic storms and many more. Despite the intrinsic differences between these events, they all originate as temporary deviations from the typical trajectories of a geophysical system, resulting in well-organised, coherent structures at characteristic spatial and temporal scales. While statistical extreme value analysis techniques are capable to provide return times and probabilities of occurrence of certain geophysical events, they are not apt to account for their underlying physics. Their focus is to compute the probability of occurrence of events that are large or small with respect to some specific observable (e.g. temperature, precipitation, solar wind), rather than to relate rare or extreme phenomena to the underlying anomalous geophysical regimes. This paper delineates this knowledge gap, presenting some related challenges and new formalisms which arise in the study of geophysical extreme events and may help better understand them.


title: KDD-LOAM: Jointly Learned Keypoint Detector and Descriptors Assisted LiDAR Odometry and Mapping

abstract: Sparse keypoint matching based on distinct 3D feature representations can improve the efficiency and robustness of point cloud registration. Existing learning-based 3D descriptors and keypoint detectors are either independent or loosely coupled, so they cannot fully adapt to each other. In this work, we propose a tightly coupled keypoint detector and descriptor (TCKDD) based on a multi-task fully convolutional network with a probabilistic detection loss. In particular, this self-supervised detection loss fully adapts the keypoint detector to any jointly learned descriptors and benefits the self-supervised learning of descriptors. Extensive experiments on both indoor and outdoor datasets show that our TCKDD achieves state-of-the-art performance in point cloud registration. Furthermore, we design a keypoint detector and descriptors-assisted LiDAR odometry and mapping framework (KDD-LOAM), whose real-time odometry relies on keypoint descriptor matching-based RANSAC. The sparse keypoints are further used for efficient scan-to-map registration and mapping. Experiments on KITTI dataset demonstrate that KDD-LOAM significantly surpasses LOAM and shows competitive performance in odometry.


title: Model-Free, Regret-Optimal Best Policy Identification in Online CMDPs

abstract: This paper considers the best policy identification (BPI) problem in online Constrained Markov Decision Processes (CMDPs). We are interested in algorithms that are model-free, have low regret, and identify an approximately optimal policy with a high probability. Existing model-free algorithms for online CMDPs with sublinear regret and constraint violation do not provide any convergence guarantee to an optimal policy and provide only average performance guarantees when a policy is uniformly sampled at random from all previously used policies. In this paper, we develop a new algorithm, named Pruning-Refinement-Identification (PRI), based on a fundamental structural property of CMDPs proved before, which we call limited stochasticity. The property says for a CMDP with $N$ constraints, there exists an optimal policy with at most $N$ stochastic decisions. The proposed algorithm first identifies at which step and in which state a stochastic decision has to be taken and then fine-tunes the distributions of these stochastic decisions. PRI achieves trio objectives: (i) PRI is a model-free algorithm; and (ii) it outputs an approximately optimal policy with a high probability at the end of learning; and (iii) PRI guarantees $\tilde{\mathcal{O}}(H\sqrt{K})$ regret and constraint violation, which significantly improves the best existing regret bound $\tilde{\mathcal{O}}(H^4 \sqrt{SA}K^{\frac{4}{5}})$ under a model-free algorithm, where $H$ is the length of each episode, $S$ is the number of states, $A$ is the number of actions, and the total number of episodes during learning is $2K+\tilde{\cal O}(K^{0.25}).$ We further present a matching lower via an example that shows under any online learning algorithm, there exists a well-separated CMDP instance such that either the regret or violation has to be $\Omega(H\sqrt{K}),$ which matches the upper bound by a polylogarithmic factor.


title: Fluctuations of eigenvalues of a polynomial on Haar unitary and finite rank matrices

abstract: This paper calculates the fluctuations of eigenvalues of polynomials on large Haar unitaries cut by finite rank deterministic matrices. When the eigenvalues are all simple, we can give a complete algorithm for computing the fluctuations. When multiple eigenvalues are involved, we present several examples suggesting that a general algorithm would be much more complex.


title: Short-Term Postsynaptic Plasticity Facilitates Predictive Tracking in Continuous Attractors

abstract: The N-methyl-D-aspartate receptor (NMDAR) is a crucial component of synaptic transmission, and its dysfunction is implicated in many neurological diseases and psychiatric conditions. NMDAR-based short-term postsynaptic plasticity (STPP) is a newly discovered postsynaptic response facilitation mechanism. Our group has suggested that long-lasting glutamate binding of NMDAR allows input information to be held for up to 500 ms or longer in brain slices, which contributes to response facilitation. However, the implications of STPP in the dynamics of neuronal populations remain unknown. In this study, we implemented STPP in a continuous attractor neural network (CANN) model to describe the neural information encoded in neuronal populations. Unlike short-term facilitation, which is a kind of presynaptic plasticity, the temporally enhanced synaptic efficacy induced by STPP destabilizes the network state of the CANN by increasing the mobility of the system. This nontrivial dynamical effect enables a CANN with STPP to track a moving stimulus predictively, i.e., the network state responds to the anticipated stimulus. Our findings reveal a novel STPP-based mechanism for sensory prediction that can help develop brain-inspired computational algorithms for prediction.


title: Finite convergence of Moment-SOS relaxations with non-real radical ideals

abstract: We consider the linear conic optimization problem with the cone of nonnegative polynomials. Its dual optimization problem is the generalized moment problem. Moment-SOS relaxations are powerful for solving them. This paper studies finite convergence of the Moment-SOS hierarchy when the constraining set is defined by equations whose ideal may not be real radical. Under the archimedeanness, we show that the Moment-SOS hierarchy has finite convergence if some classical optimality conditions hold at every minimizer of the optimal nonnegative polynomial for the linear conic optimization problem. When the archimedeanness fails (this is the case for unbounded sets), we propose a homogenized Moment-SOS hierarchy and prove its finite convergence under similar assumptions. Furthermore, we also prove the finite convergence of the Moment-SOS hierarchy with denominators. In particular, this paper resolves a conjecture posed in the earlier work.


title: Generating fuzzy measures from additive measures

abstract: Fuzzy measures, also referred to as nonadditive measures, emerge from the foundational concept of additive measures by transforming additivity into monotonicity. In comparison to the expansive $2^n$ coefficients of fuzzy measures, additive measures encompass just $n$ coefficients, enabling them to efficiently provide initial viable solutions across various domains including normal, super/submodular, super/subadditive, (anti)buoyant, and other specialized fuzzy measures. To further enhance the effectiveness of these measures, techniques such as allowable range adjustments and random walks have been introduced, aiming to decrease the redundancy in linear extensions and bolster the random or uniform nature of the generated measures. In addition to innovating the ideas of random generation and adjustment strategies for multiple types of fuzzy measures, this paper also sheds light on the profound connection between additive and fuzzy measures.


title: Interpretable AI-Driven Discovery of Terrain-Precipitation Relationships for Enhanced Climate Insights

abstract: Despite the remarkable strides made by AI-driven models in modern precipitation forecasting, these black-box models cannot inherently deepen the comprehension of underlying mechanisms. To address this limitation, we propose an AI-driven knowledge discovery framework known as genetic algorithm-geographic weighted regression (GA-GWR). Our approach seeks to unveil the explicit equations that govern the intricate relationship between precipitation patterns and terrain characteristics in regions marked by complex terrain. Through this AI-driven knowledge discovery, we uncover previously undisclosed explicit equations that shed light on the connection between terrain features and precipitation patterns. These equations demonstrate remarkable accuracy when applied to precipitation data, outperforming conventional empirical models. Notably, our research reveals that the parameters within these equations are dynamic, adapting to evolving climate patterns. Ultimately, the unveiled equations have practical applications, particularly in fine-scale downscaling for precipitation predictions using low-resolution future climate data. This capability offers invaluable insights into the anticipated changes in precipitation patterns across diverse terrains under future climate scenarios, which enhances our ability to address the challenges posed by contemporary climate science.


title: Semi-Global Practical Extremum Seeking with Practical Safety

abstract: We introduce a type of safe extremum seeking (ES) controller, which minimizes an unknown objective function while also maintaining practical positivity of an unknown barrier function. We show semi-global practical asymptotic stability of our algorithm and present an analogous notion of practical safety. The dynamics of the controller are inspired by the quadratic program (QP) based safety filter designs which, in the literature, are more commonly used in cases where the barrier function is known. Conditions on the barrier and objective function are explored showing that non convex problems can be solved. A Lyapunov argument is proposed to achieve the main results of the paper. Finally, an example is given of the algorithm which solves the constrained optimization problem.


title: Navigate through Enigmatic Labyrinth A Survey of Chain of Thought Reasoning: Advances, Frontiers and Future

abstract: Reasoning, a fundamental cognitive process integral to human intelligence, has garnered substantial interest within artificial intelligence. Notably, recent studies have revealed that chain-of-thought prompting significantly enhances LLM's reasoning capabilities, which attracts widespread attention from both academics and industry. In this paper, we systematically investigate relevant research, summarizing advanced methods through a meticulous taxonomy that offers novel perspectives. Moreover, we delve into the current frontiers and delineate the challenges and future directions, thereby shedding light on future research. Furthermore, we engage in a discussion about open questions. We hope this paper serves as an introduction for beginners and fosters future research. Resources have been made publicly available at https://github.com/zchuz/CoT-Reasoning-Survey


title: 180$^\circ$-twisted bilayer ReSe$_2$ as an artificial noncentrosymmetric semiconductor

abstract: We have fabricated a 180$^\circ$-twisted bilayer ReSe$_2$ by stacking two centrosymmetric monolayer ReSe$_2$ flakes in opposite directions, which is expected to lose spatial inversion symmetry. By the second harmonic generation and angle-resolved photoemission spectroscopy, we successfully observed spatial inversion symmetry breaking and emergent band dispersions. The band calculation shows the finite lifting of spin degeneracy (~50 meV) distinct from natural monolayer and bilayer ReSe$_2$. Our results demonstrate that the spin-momentum locked state, which leads to spintronic functions and Berry-curvature-related phenomena, can be realized even with the stacking of centrosymmetric monolayers.


title: Dynamical Systems of Correspondences on the Projective Line II: Degrees of Multiplier Maps

abstract: This paper is a sequel of arXiv:2109.06394. In this paper, we consider a kind of inverse problem of multipliers. The problem is to count number of isospectral correspondences, correspondences which has the same combination of multipliers. We give a primitive explicit upper bound. In particular, for a generic rational map of degree $d$, there are at most $O(d^{10d})$ rational maps with the same combination of multipliers for the fixed points and the 3-periodic points. This paper also includes two proofs of a correction in the errata of a Hutz-Tepper's result, which states that the multipliers of the fixed and 2-periodic points determines generic cubic morphism uniquely. One is done by proceeding the computation in Hutz-Tepper's proof. The other is done by more explicit computation with the help of invariant theory.


title: Teach and Repeat Navigation: A Robust Control Approach

abstract: Robot navigation requires an autonomy pipeline that is robust to environmental changes and effective in varying conditions. Teach and Repeat (T&R) navigation has shown high performance in autonomous repeated tasks under challenging circumstances, but research within T&R has predominantly focused on motion planning as opposed to motion control. In this paper, we propose a novel T&R system based on a robust motion control technique for a skid-steering mobile robot using sliding-mode control that effectively handles uncertainties that are particularly pronounced in the T&R task, where sensor noises, parametric uncertainties, and wheel-terrain interaction are common challenges. We first theoretically demonstrate that the proposed T&R system is globally stable and robust while considering the uncertainties of the closed-loop system. When deployed on a Clearpath Jackal robot, we then show the global stability of the proposed system in both indoor and outdoor environments covering different terrains, outperforming previous state-of-the-art methods in terms of mean average trajectory error and stability in these challenging environments. This paper makes an important step towards long-term autonomous T&R navigation with ensured safety guarantees.


title: SOCI^+: An Enhanced Toolkit for Secure OutsourcedComputation on Integers

abstract: Secure outsourced computation is critical for cloud computing to safeguard data confidentiality and ensure data usability. Recently, secure outsourced computation schemes following a twin-server architecture based on partially homomorphic cryptosystems have received increasing attention. The Secure Outsourced Computation on Integers (SOCI) [1] toolkit is the state-of-the-art among these schemes which can perform secure computation on integers without requiring the costly bootstrapping operation as in fully homomorphic encryption; however, SOCI suffers from relatively large computation and communication overhead. In this paper, we propose SOCI+ which significantly improves the performance of SOCI. Specifically, SOCI+ employs a novel (2, 2)-threshold Paillier cryptosystem with fast encryption and decryption as its cryptographic primitive, and supports a suite of efficient secure arithmetic computation on integers protocols, including a secure multiplication protocol (SMUL), a secure comparison protocol (SCMP), a secure sign bit-acquisition protocol (SSBA), and a secure division protocol (SDIV), all based on the (2, 2)-threshold Paillier cryptosystem with fast encryption and decryption. In addition, SOCI+ incorporates an offline and online computation mechanism to further optimize its performance. We perform rigorous theoretical analysis to prove the correctness and security of SOCI+. Compared with SOCI, our experimental evaluation shows that SOCI+ is up to 5.4 times more efficient in computation and 40% less in communication overhead.


title: The force-freeness of the solar photosphere: Revisit with new approach and large datasets

abstract: Although it is generally believed that the solar photosphere is not magnetically force-free owning to its high plasma $\beta$, the estimations of force-freeness using observed magnetograms have produced disputable results. Some studies confirmed that the photosphere is largely not force-free whereas some authors argued that the photosphere is not far away from being force-free. In a previous paper of ours we demonstrated that, due to the fact that the noise levels of the transverse field in the magnetograms are much larger than those of the vertical field, wrong judgements on the force-freeness could be made: a truly force-free field could be judged as being not-force-free and a truly not-force-free field could be judged as being force-free. Here in this letter we propose an approach to overcome this serious problem. By reducing the spatial resolution to lower the noise level, the heavy influence of the measurement noise on the force-freeness judgement can be significantly suppressed. We first use two analytical solutions to show the success and the effectiveness of this approach. Then we apply this new approach to two large datasets of active region magnetograms, obtained with the HMI/SDO and SP/Hinode, respectively. Our analysis shows that the photospheric magnetic fields are actually far away from being force-free. Particularly and most notably, the mean value of Fz/Fp (where Fz the net Lorentz force in the vertical direction and Fp the total Lorentz force) is as low as -0.47, with more than 98% of the active regions having |Fz/Fp|>0.1, when using the SP/Hinode magnetograms of true field strength.


title: A smoothed-Bayesian approach to frequency recovery from sketched data

abstract: We provide a novel statistical perspective on a classical problem at the intersection of computer science and information theory: recovering the empirical frequency of a symbol in a large discrete dataset using only a compressed representation, or sketch, obtained via random hashing. Departing from traditional algorithmic approaches, recent works have proposed Bayesian nonparametric (BNP) methods that can provide more informative frequency estimates by leveraging modeling assumptions about the distribution of the sketched data. In this paper, we propose a {\em smoothed-Bayesian} method, inspired by existing BNP approaches but designed in a frequentist framework to overcome the computational limitations of the BNP approaches when dealing with large-scale data from realistic distributions, including those with power-law tail behaviors. For sketches obtained with a single hash function, our approach is supported by rigorous frequentist properties, including unbiasedness and optimality under a squared error loss function within an intuitive class of linear estimators. For sketches with multiple hash functions, we introduce an approach based on \emph{multi-view} learning to construct computationally efficient frequency estimators. We validate our method on synthetic and real data, comparing its performance to that of existing alternatives.


title: The Sierpi\'{n}ski Domination Number

abstract: Let $G$ and $H$ be graphs and let $f \colon V(G)\rightarrow V(H)$ be a function. The Sierpi\'{n}ski product of $G$ and $H$ with respect to $f$, denoted by $G \otimes _f H$, is defined as the graph on the vertex set $V(G)\times V(H)$, consisting of $|V(G)|$ copies of $H$; for every edge $gg'$ of $G$ there is an edge between copies $gH$ and $g'H$ of $H$ associated with the vertices $g$ and $g'$ of $G$, respectively, of the form $(g,f(g'))(g',f(g))$. In this paper, we define the Sierpi\'{n}ski domination number as the minimum of $\gamma(G\otimes _f H)$ over all functions $f \colon V(G)\rightarrow V(H)$. The upper Sierpi\'{n}ski domination number is defined analogously as the corresponding maximum. After establishing general upper and lower bounds, we determine the upper Sierpi\'{n}ski domination number of the Sierpi\'{n}ski product of two cycles, and determine the lower Sierpi\'{n}ski domination number of the Sierpi\'{n}ski product of two cycles in half of the cases and in the other half cases restrict it to two values.


title: The rectangular fractional integral operators

abstract: With rectangular doubling weight, a~generalized Hardy-Littlewood-Sobolev inequality for rectangular fractional integral operators is verified. The result is a~nice application of $M$-linear embedding theorem for dyadic rectangles.


title: 3D Multiple Object Tracking on Autonomous Driving: A Literature Review

abstract: 3D multi-object tracking (3D MOT) stands as a pivotal domain within autonomous driving, experiencing a surge in scholarly interest and commercial promise over recent years. Despite its paramount significance, 3D MOT confronts a myriad of formidable challenges, encompassing abrupt alterations in object appearances, pervasive occlusion, the presence of diminutive targets, data sparsity, missed detections, and the unpredictable initiation and termination of object motion trajectories. Countless methodologies have emerged to grapple with these issues, yet 3D MOT endures as a formidable problem that warrants further exploration. This paper undertakes a comprehensive examination, assessment, and synthesis of the research landscape in this domain, remaining attuned to the latest developments in 3D MOT while suggesting prospective avenues for future investigation. Our exploration commences with a systematic exposition of key facets of 3D MOT and its associated domains, including problem delineation, classification, methodological approaches, fundamental principles, and empirical investigations. Subsequently, we categorize these methodologies into distinct groups, dissecting each group meticulously with regard to its challenges, underlying rationale, progress, merits, and demerits. Furthermore, we present a concise recapitulation of experimental metrics and offer an overview of prevalent datasets, facilitating a quantitative comparison for a more intuitive assessment. Lastly, our deliberations culminate in a discussion of the prevailing research landscape, highlighting extant challenges and charting possible directions for 3D MOT research. We present a structured and lucid road-map to guide forthcoming endeavors in this field.


title: Derived categories of symmetric products and moduli spaces of vector bundles on a curve

abstract: We show that the derived categories of symmetric products of a curve are embedded into the derived categories of the moduli spaces of vector bundles of large ranks on the curve. It supports a prediction of the existence of a semiorthogonal decomposition of the derived category of the moduli space, expected by a motivic computation. As an application, we show that all Jacobian varieties, symmetric products of curves and all principally polarized abelian varieties of dimension at most three, are Fano visitors. We also obtain similar results for motives.


title: Inherit with Distillation and Evolve with Contrast: Exploring Class Incremental Semantic Segmentation Without Exemplar Memory

abstract: As a front-burner problem in incremental learning, class incremental semantic segmentation (CISS) is plagued by catastrophic forgetting and semantic drift. Although recent methods have utilized knowledge distillation to transfer knowledge from the old model, they are still unable to avoid pixel confusion, which results in severe misclassification after incremental steps due to the lack of annotations for past and future classes. Meanwhile data-replay-based approaches suffer from storage burdens and privacy concerns. In this paper, we propose to address CISS without exemplar memory and resolve catastrophic forgetting as well as semantic drift synchronously. We present Inherit with Distillation and Evolve with Contrast (IDEC), which consists of a Dense Knowledge Distillation on all Aspects (DADA) manner and an Asymmetric Region-wise Contrastive Learning (ARCL) module. Driven by the devised dynamic class-specific pseudo-labelling strategy, DADA distils intermediate-layer features and output-logits collaboratively with more emphasis on semantic-invariant knowledge inheritance. ARCL implements region-wise contrastive learning in the latent space to resolve semantic drift among known classes, current classes, and unknown classes. We demonstrate the effectiveness of our method on multiple CISS tasks by state-of-the-art performance, including Pascal VOC 2012, ADE20K and ISPRS datasets. Our method also shows superior anti-forgetting ability, particularly in multi-step CISS tasks.


title: Competitive Auctions with Imperfect Predictions

abstract: The competitive auction was first proposed by Goldberg, Hartline, and Wright. In their paper, they introduce the competitive analysis framework of online algorithm designing into the traditional revenue-maximizing auction design problem. While the competitive analysis framework only cares about the worst-case bound, a growing body of work in the online algorithm community studies the learning-augmented framework. In this framework, designers are allowed to leverage imperfect machine-learned predictions of unknown information and pursue better theoretical guarantees when the prediction is accurate(consistency). Meanwhile, designers also need to maintain a nearly-optimal worst-case ratio(robustness). In this work, we revisit the competitive auctions in the learning-augmented setting. We leverage the imperfect predictions of the private value of the bidders and design the learning-augmented mechanisms for several competitive auctions with different constraints, including digital good auctions, limited-supply auctions, and general downward-closed permutation environments. For all these auction environments, our mechanisms enjoy $1$-consistency against the strongest benchmark $OPT$, which is impossible to achieve $O(1)$-competitive without predictions. At the same time, our mechanisms also maintain the $O(1)$-robustness against all benchmarks considered in the traditional competitive analysis. Considering the possible inaccuracy of the predictions, we provide a reduction that transforms our learning-augmented mechanisms into an error-tolerant version, which enables the learning-augmented mechanism to ensure satisfactory revenue in scenarios where the prediction error is moderate.


title: Formation Wing-Beat Modulation (FWM): A Tool for Quantifying Bird Flocks Using Radar Micro-Doppler Signals

abstract: Radar echoes from bird flocks contain modulation signals, which we find are produced by the flapping gaits of birds in the flock, resulting in a group of spectral peaks with similar amplitudes spaced at a specific interval. We call this the formation wing-beat modulation (FWM) effect. FWM signals are micro-Doppler modulated by flapping wings and are related to the bird number, wing-beat frequency, and flight phasing strategy. Our X-band radar data show that FWM signals exist in radar signals of a seagull flock, providing tools for quantifying the bird number and estimating the mean wingbeat rate of birds. This new finding could aid in research on the quantification of bird migration numbers and estimation of bird flight behavior in radar ornithology and aero-ecology.


title: The Design and Implementation of an Extensible System Meta-Programming Language

abstract: System programming languages are typically compiled in a linear pipeline process, which is a completely opaque and isolated to end-users. This limits the possibilities of performing meta-programming in the same language and environment, and the extensibility of the compiler itself by end-users. We propose a novel redefinition of the compilation process in terms of interpreting the program definition as a script. This evaluation is performed in an environment where the full compilation pipeline is implemented and exposed to the user via a meta-object protocol, which forms the basis for a meta-circular definition and implementation of the programming language itself. We demonstrate the feasibility of this approach by bootstrapping a self-compiling implementation of Sysmel, a static and dynamic typed Smalltalk and C++ inspired programming language.


title: Parallel local time stepping for rigid bodies represented by triangulated meshes

abstract: Discrete Element Methods (DEM), i.e.~the simulation of many rigid particles, suffer from very stiff differential equations plus multiscale challenges in space and time. The particles move smoothly through space until they interact almost instantaneously due to collisions. Dense particle packings hence require tiny time step sizes, while free particles can advance with large time steps. Admissible time step sizes can span multiple orders of magnitudes. We propose an adaptive local time stepping algorithm which identifies clusters of particles that can be updated independently, advances them optimistically and independently in time, determines collision time stamps in space-time such that we maximise the time step sizes used, and resolves the momentum exchange implicitly. It is combined with various acceleration techniques which exploit multiscale geometry representations and multiscale behaviour in time. The collision time stamp detection in space-time in combination with the implicit solve of the actual collision equations avoids that particles get locked into tiny time step sizes, the clustering yields a high concurrency level, and the acceleration techniques plus local time stepping avoid unnecessary computations. This brings a scaling, adaptive time stepping for DEM for real-world challenges into reach.


title: Automatic Feature Fairness in Recommendation via Adversaries

abstract: Fairness is a widely discussed topic in recommender systems, but its practical implementation faces challenges in defining sensitive features while maintaining recommendation accuracy. We propose feature fairness as the foundation to achieve equitable treatment across diverse groups defined by various feature combinations. This improves overall accuracy through balanced feature generalizability. We introduce unbiased feature learning through adversarial training, using adversarial perturbation to enhance feature representation. The adversaries improve model generalization for under-represented features. We adapt adversaries automatically based on two forms of feature biases: frequency and combination variety of feature values. This allows us to dynamically adjust perturbation strengths and adversarial training weights. Stronger perturbations are applied to feature values with fewer combination varieties to improve generalization, while higher weights for low-frequency features address training imbalances. We leverage the Adaptive Adversarial perturbation based on the widely-applied Factorization Machine (AAFM) as our backbone model. In experiments, AAFM surpasses strong baselines in both fairness and accuracy measures. AAFM excels in providing item- and user-fairness for single- and multi-feature tasks, showcasing their versatility and scalability. To maintain good accuracy, we find that adversarial perturbation must be well-managed: during training, perturbations should not overly persist and their strengths should decay.


title: Hypergraph $p$-Laplacians and Scale Spaces

abstract: This paper introduces gradient, adjoint, and $p$-Laplacian definitions for oriented hypergraphs as well as differential and averaging operators for unoriented hypergraphs. These definitions are used to define gradient flows in the form of diffusion equations with applications in modelling group dynamics and information flow in social networks as well as performing local and non-local image processing.


title: The Triad of Failure Modes and a Possible Way Out

abstract: We present a novel objective function for cluster-based self-supervised learning (SSL) that is designed to circumvent the triad of failure modes, namely representation collapse, cluster collapse, and the problem of invariance to permutations of cluster assignments. This objective consists of three key components: (i) A generative term that penalizes representation collapse, (ii) a term that promotes invariance to data augmentations, thereby addressing the issue of label permutations and (ii) a uniformity term that penalizes cluster collapse. Additionally, our proposed objective possesses two notable advantages. Firstly, it can be interpreted from a Bayesian perspective as a lower bound on the data log-likelihood. Secondly, it enables the training of a standard backbone architecture without the need for asymmetric elements like stop gradients, momentum encoders, or specialized clustering layers. Due to its simplicity and theoretical foundation, our proposed objective is well-suited for optimization. Experiments on both toy and real world data demonstrate its effectiveness


title: Deep Learning in Deterministic Computational Mechanics

abstract: The rapid growth of deep learning research, including within the field of computational mechanics, has resulted in an extensive and diverse body of literature. To help researchers identify key concepts and promising methodologies within this field, we provide an overview of deep learning in deterministic computational mechanics. Five main categories are identified and explored: simulation substitution, simulation enhancement, discretizations as neural networks, generative approaches, and deep reinforcement learning. This review focuses on deep learning methods rather than applications for computational mechanics, thereby enabling researchers to explore this field more effectively. As such, the review is not necessarily aimed at researchers with extensive knowledge of deep learning -- instead, the primary audience is researchers at the verge of entering this field or those who attempt to gain an overview of deep learning in computational mechanics. The discussed concepts are, therefore, explained as simple as possible.


title: Computing Permanents and Counting Hamiltonian Cycles Faster

abstract: We show that the permanent of an $n\times n$ matrix of $\operatorname{poly}(n)$-bit integers and the number of Hamiltonian cycles of an $n$-vertex graph can both be computed in time $2^{n-\Omega(\sqrt{n})}$, improving an earlier algorithm of Bj\"orklund, Kaski, and Williams (Algorithmica 2019) that runs in time $2^{n - \Omega\left(\sqrt{n/\log \log n}\right)}$. A key tool of our approach is to design a data structure that supports fast "$r$-order evaluation" of permanent and Hamiltonian cycles, which cooperates with the new approach on multivariate multipoint evaluation by Bhargava, Ghosh, Guo, Kumar, and Umans (FOCS 2022).


title: Prosumers Participation in Markets: A Scalar-Parameterized Function Bidding Approach

abstract: In uniform-price markets, suppliers compete to supply a resource to consumers, resulting in a single market price determined by their competition. For sufficient flexibility, producers and consumers prefer to commit to a function as their strategies, indicating their preferred quantity at any given market price. Producers and consumers may wish to act as both, i.e., prosumers. In this paper, we examine the behavior of profit-maximizing prosumers in a uniform-price market for resource allocation with the objective of maximizing the social welfare. We propose a scalar-parameterized function bidding mechanism for the prosumers, in which we establish the existence and uniqueness of Nash equilibrium. Furthermore, we provide an efficient way to compute the Nash equilibrium through the computation of the market allocation at the Nash equilibrium. Finally, we present a case study to illustrate the welfare loss under different variations of market parameters, such as the market's supply capacity and inelastic demand.


title: On Positive Matching Decomposition Conjectures of Hypergraphs

abstract: In this paper, we prove the conjectures of Gharakhloo and Welker (2023) that the positive matching decomposition number (pmd) of a $3$-uniform hypergraph is bounded from above by a polynomial of degree $2$ in terms of the number of vertices. Moreover, we derive a lower bound for pmd specifically for complete $3$-uniform hypergraphs. Additionally, we obtain an upper bound for pmd of $r$-uniform hypergraphs. For a $r$-uniform hypergraphs $H=(V,E)$ such that $\lvert e_i\cap e_j\rvert \leq 1$ for all $e_i,e_j \in E$, we give a characterization of positive matching in terms of strong alternate closed walks. For specific classes of a hypergraph, we classify the radical and complete intersection Lov\'{a}sz$-$Saks$-$Schrijver ideals.


title: Quantitative Analysis of Social Influence & Digital Piracy Contagion with Differential Equations on Networks

abstract: Though the studies of social contagions are regularly borrowing network models to study the propagation of social influences and opinions to include social heterogeneity. Such studies provide valuable insights regarding these, but the social network structures cannot be well explored in their study. In this research, we methodically study the trends in online piracy with a continuous ODE approach and differential equations on graphs, to have a clear comparative view. We first formulate a compartmental model to mathematically study bifurcations and thresholds, and later move on with a network-based analysis to illustrate the proliferation of online piracy dynamic with an epidemiological approach over a social network. We figure out a solution for this online piracy problem by developing awareness among individuals by introducing media campaigns which could be a useful factor for the eradication and control of online piracy. Next, using degree-block approximation, network analysis has been performed to investigate the phenomena from a heterogeneous approach and to derive the threshold condition for the persistence of piracy in the population in a steady state. Based on the behavioral responses of individuals in a society due to the effect of media, we examine the system through the aid of realistic parameter selection to better understand the complexity of the dynamics and propose control strategies.


title: NeuRBF: A Neural Fields Representation with Adaptive Radial Basis Functions

abstract: We present a novel type of neural fields that uses general radial bases for signal representation. State-of-the-art neural fields typically rely on grid-based representations for storing local neural features and N-dimensional linear kernels for interpolating features at continuous query points. The spatial positions of their neural features are fixed on grid nodes and cannot well adapt to target signals. Our method instead builds upon general radial bases with flexible kernel position and shape, which have higher spatial adaptivity and can more closely fit target signals. To further improve the channel-wise capacity of radial basis functions, we propose to compose them with multi-frequency sinusoid functions. This technique extends a radial basis to multiple Fourier radial bases of different frequency bands without requiring extra parameters, facilitating the representation of details. Moreover, by marrying adaptive radial bases with grid-based ones, our hybrid combination inherits both adaptivity and interpolation smoothness. We carefully designed weighting schemes to let radial bases adapt to different types of signals effectively. Our experiments on 2D image and 3D signed distance field representation demonstrate the higher accuracy and compactness of our method than prior arts. When applied to neural radiance field reconstruction, our method achieves state-of-the-art rendering quality, with small model size and comparable training speed.


title: Graph Neural Prompting with Large Language Models

abstract: Large language models (LLMs) have shown remarkable generalization capability with exceptional performance in various language modeling tasks. However, they still exhibit inherent limitations in precisely capturing and returning grounded knowledge. While existing work has explored utilizing knowledge graphs (KGs) to enhance language modeling via joint training and customized model architectures, applying this to LLMs is problematic owing to their large number of parameters and high computational cost. Therefore, how to enhance pre-trained LLMs using grounded knowledge, e.g., retrieval-augmented generation, remains an open question. In this work, we propose Graph Neural Prompting (GNP), a novel plug-and-play method to assist pre-trained LLMs in learning beneficial knowledge from KGs. GNP encompasses various designs, including a standard graph neural network encoder, a cross-modality pooling module, a domain projector, and a self-supervised link prediction objective. Extensive experiments on multiple datasets demonstrate the superiority of GNP on both commonsense and biomedical reasoning tasks across different LLM sizes and settings. Code is available at https://github.com/meettyj/GNP.


title: Quasi-pure resolutions and some lower bounds of Hilbert coefficients of Cohen-Macaulay modules

abstract: Let $(A,\mathfrak{m})$ be a Gorenstein local ring and let $M$ be a finitely generated Cohen Macaulay $A$ module. Let $G(A)=\bigoplus_{n\geq 0}\mathfrak{m}^n/\mathfrak{m}^{n+1}$ be the associated graded ring of $A$ and $G(M)=\bigoplus_{n\geq 0}\mathfrak{m}^nM/\mathfrak{m}^{n+1}M$ be the associated graded module of $M$. If $A$ is regular and if $G(M)$ has a quasi-pure resolution then we show that $G(M)$ is Cohen-Macaulay. If $G(A)$ is Cohen-Macaulay and if $M$ has finite projective dimension then we give lower bounds on $e_0(M)$ and $e_1(M)$. Finally let $A = Q/(f_1, \ldots, f_c)$ be a strict complete intersection with $\text{ord}(f_i) = s$ for all $i$. Let $M$ be an Cohen-Macaulay module with $\text{cx}_A(M) = r < c$. We give lower bounds on $e_0(M)$ and $e_1(M)$.


title: Quasi-isometry between two almost contact metric manifolds

abstract: In this paper we introduce the notion of quasi-isometry between two almost contact metric manifolds of same dimension. We also impose this idea to study quasi-isometry between $N(k)-$ contact metric manifolds and Sasakian manifolds. Moving further, we investigate some curvature properties of two quasi-isometrically embedded almost contact metric manifolds, $N(k)-$contact metric manifolds and Sasakian manifolds. Next, an illustrative example of a quasi-isometry between two Sasakian structures is constructed. Finally, we establish a relationship between the scalar curvature and the quasi-isometric constants for two quasi-isometric Riemannian manifolds.


title: Evaluation of Constrained Reinforcement Learning Algorithms for Legged Locomotion

abstract: Shifting from traditional control strategies to Deep Reinforcement Learning (RL) for legged robots poses inherent challenges, especially when addressing real-world physical constraints during training. While high-fidelity simulations provide significant benefits, they often bypass these essential physical limitations. In this paper, we experiment with the Constrained Markov Decision Process (CMDP) framework instead of the conventional unconstrained RL for robotic applications. We perform a comparative study of different constrained policy optimization algorithms to identify suitable methods for practical implementation. Our robot experiments demonstrate the critical role of incorporating physical constraints, yielding successful sim-to-real transfers, and reducing operational errors on physical systems. The CMDP formulation streamlines the training process by separately handling constraints from rewards. Our findings underscore the potential of constrained RL for the effective development and deployment of learned controllers in robotics.


title: Local Compressed Video Stream Learning for Generic Event Boundary Detection

abstract: Generic event boundary detection aims to localize the generic, taxonomy-free event boundaries that segment videos into chunks. Existing methods typically require video frames to be decoded before feeding into the network, which contains significant spatio-temporal redundancy and demands considerable computational power and storage space. To remedy these issues, we propose a novel compressed video representation learning method for event boundary detection that is fully end-to-end leveraging rich information in the compressed domain, i.e., RGB, motion vectors, residuals, and the internal group of pictures (GOP) structure, without fully decoding the video. Specifically, we use lightweight ConvNets to extract features of the P-frames in the GOPs and spatial-channel attention module (SCAM) is designed to refine the feature representations of the P-frames based on the compressed information with bidirectional information flow. To learn a suitable representation for boundary detection, we construct the local frames bag for each candidate frame and use the long short-term memory (LSTM) module to capture temporal relationships. We then compute frame differences with group similarities in the temporal domain. This module is only applied within a local window, which is critical for event boundary detection. Finally a simple classifier is used to determine the event boundaries of video sequences based on the learned feature representation. To remedy the ambiguities of annotations and speed up the training process, we use the Gaussian kernel to preprocess the ground-truth event boundaries. Extensive experiments conducted on the Kinetics-GEBD and TAPOS datasets demonstrate that the proposed method achieves considerable improvements compared to previous end-to-end approach while running at the same speed. The code is available at https://github.com/GX77/LCVSL.


title: ComPile: A Large IR Dataset from Production Sources

abstract: Code is increasingly becoming a core data modality of modern machine learning research impacting not only the way we write code with conversational agents like OpenAI's ChatGPT, Google's Bard, or Anthropic's Claude, the way we translate code from one language into another, but also the compiler infrastructure underlying the language. While modeling approaches may vary and representations differ, the targeted tasks often remain the same within the individual classes of models. Relying solely on the ability of modern models to extract information from unstructured code does not take advantage of 70 years of programming language and compiler development by not utilizing the structure inherent to programs in the data collection. This detracts from the performance of models working over a tokenized representation of input code and precludes the use of these models in the compiler itself. To work towards the first intermediate representation (IR) based models, we fully utilize the LLVM compiler infrastructure, shared by a number of languages, to generate a 182B token dataset of LLVM IR. We generated this dataset from programming languages built on the shared LLVM infrastructure, including Rust, Swift, Julia, and C/C++, by hooking into LLVM code generation either through the language's package manager or the compiler directly to extract the dataset of intermediate representations from production grade programs. Statistical analysis proves the utility of our dataset not only for large language model training, but also for the introspection into the code generation process itself with the dataset showing great promise for machine-learned compiler components.


title: Cardinality Estimation of Subgraph Matching: A Filtering-Sampling Approach

abstract: Subgraph counting is a fundamental problem in understanding and analyzing graph structured data, yet computationally challenging. This calls for an accurate and efficient algorithm for Subgraph Cardinality Estimation, which is to estimate the number of all isomorphic embeddings of a query graph in a data graph. We present FaSTest, a novel algorithm that combines (1) a powerful filtering technique to significantly reduce the sample space, (2) an adaptive tree sampling algorithm for accurate and efficient estimation, and (3) a worst-case optimal stratified graph sampling algorithm for difficult instances. Extensive experiments on real-world datasets show that FaSTest outperforms state-of-the-art sampling-based methods by up to two orders of magnitude and GNN-based methods by up to three orders of magnitude in terms of accuracy.


title: Spectral Tur\'{a}n problem for $\mathcal{K}_5^{-}$-free signed graphs

abstract: The classical spectral Tur\'{a}n problem is to determine the maximum spectral radius of an $\mathcal{F}$-free graph of order $n.$ Let $\mathcal{K}_{k}^{-}$ be the set of all unbalanced $K_k.$ In this paper, we focus on the spectral Tur\'{a}n problem of $\mathcal{K}_{k}^{-}$-free unbalanced signed graph for $k\geq5$. Moreover, we give an answer for $k=5$ and completely characterize the corresponding extremal signed graph.


title: Semantics-Driven Cloud-Edge Collaborative Inference

abstract: With the proliferation of video data in smart city applications like intelligent transportation, efficient video analytics has become crucial but also challenging. This paper proposes a semantics-driven cloud-edge collaborative approach for accelerating video inference, using license plate recognition as a case study. The method separates semantics extraction and recognition, allowing edge servers to only extract visual semantics (license plate patches) from video frames and offload computation-intensive recognition to the cloud or neighboring edges based on load. This segmented processing coupled with a load-aware work distribution strategy aims to reduce end-to-end latency and improve throughput. Experiments demonstrate significant improvements in end-to-end inference speed (up to 5x faster), throughput (up to 9 FPS), and reduced traffic volumes (50% less) compared to cloud-only or edge-only processing, validating the efficiency of the proposed approach. The cloud-edge collaborative framework with semantics-driven work partitioning provides a promising solution for scaling video analytics in smart cities.


title: Lattice QCD calculation of the invisible decay $J/\psi \rightarrow \gamma \nu\bar{\nu}$

abstract: In this work, we present the first lattice QCD study on the invisible decay $J/\psi \rightarrow \gamma\nu\bar{\nu}$. The calculation is accomplished using $N_f=2$ twisted mass fermion ensembles. The excited-state effects are observed and eliminated using a multi-state fit. The impact of finite-volume effects is also examined and confirmed to be well-controlled. After a continuous extrapolation under three lattice spacings, we obtain the branching fraction as $\operatorname{Br}[J/\psi \rightarrow \gamma\nu\bar{\nu}]=1.00(9)(7)\times 10^{-10}$, where the first error is the statistical error and the second is an estimate of the systematics. The exact theoretical prediction can be used to remove the only invisible contamination from the standard model background in searching for the possible dark matter by the channel $J/\psi \rightarrow \gamma+\textrm{invisible}$


title: Stock network inference: A framework for market analysis from topology perspective

abstract: From a complex network perspective, investigating the stock market holds paramount significance as it enables the systematic revelation of topological features inherent in the market. This approach is crucial in exploring market interconnectivity, systemic risks, portfolio management, and structural evolution. However, prevailing methodologies for constructing networks based on stock data rely on threshold filtering, often needing help to uncover intricate underlying associations among stocks. To address this, we introduce the Stock Network Inference Framework (SNIF), which leverages a self-encoding mechanism. Specifically, the Stock Network Inference Encoder (SNIE) facilitates network construction, while the Movement Prediction Decoder (MPD) enhances movement forecasting. This integrated process culminates in the inference of a stock network, exhibiting remarkable performance across applications such as market structure analysis, stock movement prediction, portfolio construction, and community evolution analysis. Our approach streamlines the automatic construction of stock networks, liberating the process from threshold dependencies and eliminating the need for additional financial indicators. Incorporating Graph Convolutional Network (GCN) and Long Short-Term Memory (LSTM) models within the SNIF framework, we effectively unearth deep-seated associations among stocks, augmenting the toolset available for comprehensive financial market research. This integration empowers our methodology to automatically construct stock networks without threshold dependencies or reliance on additional economic indicators.


title: Spectrum and Decay Properties of Bottomonium Mesons

abstract: We calculate the spectrum and wave functions (WFs) of various states of bottomonium mesons ($b\overline{b}$) using a non-relativistic quark potential model (NRQPM). The calculated WFs are used to compute the radiative widths of various states of $b\overline{b}$. The strong decays widths of bottomonium states are also calculated using $^3P_0$ model by choosing simple harmonic oscillator wave functions (SHOWFs). The $\beta$ of SHOWFs for various states of the mesons are measured by fitting the numerical wave functions. The radiative and strong decay widths are used to calculate the branching ratios of $b\overline{b}$ mesons. We also compare our calculated masses and widths with available experimental data.


title: A new class of anisotropic rotating fluids and some throat-like sources for Kerr metric as examples

abstract: Motivated by the increasing interest in finding physically viable rotating sources, we present a new class of anisotropic rotating solutions. The energy-momentum tensor compatible with the metric is composed of anisotropic matter with a non-vanishing energy flow around the symmetry axis and vanishing viscosity. The new class of solutions can be used to find new possible sources for the Kerr metric, to obtain new regular black hole solutions and to study galaxies with a central rotating black hole and an halo of dark matter. As an example, we obtain a 5-parameter class of solutions representing a two-way traversable wormhole smoothly matched to the Kerr one and satisfying all energy conditions outside the wormhole for a wide range of parameters, in particular for compact objects. Finally, with a simple modification of the aforementioned solution, we obtain a source for Kerr metric with a throat geometry, non-representing a two-way traversable wormhole and satisfying all energy conditions.


title: On certain DG-algebra resolutions

abstract: In this paper we give several classes of Non-Gorenstein local rings $A$ which satisfy the property that $\text{Ext}^i_A(M, A) = 0$ for $i \gg 0$ then $\text{projdim}_A M$ is finite. We also show that if $\text{injdim}_A M = \infty$ then over such rings the bass-numbers of $M$ (with respect to $\mathfrak{m}$) are unbounded. When $A$ is a hypersurface ring we give an alternate proof of a result due to Takahashi regarding thick subcategories of the stable category of maximal Cohen-Macaulay $A$-modules. This result of Takahashi implies some results due to Avramov, Buchweitez, Huneke and Wiegand. The technique used to prove our results is that the minimal resolution of the relevant rings have an appropriate DG-algebra structure (philosophically this technique is due to Nasseh, Ono, and Yoshino).


title: Measuring Mass and Radius of the Maximum-mass Nonrotating Neutron Star

abstract: The mass ($M_{\rm TOV}$) and radius ($R_{\rm TOV}$) of the maximum-mass nonrotating neutron star (NS) play a crucial role in constraining the elusive equation of state of cold dense matter and in predicting the fate of remnants from binary neutron star (BNS) mergers. In this study, we introduce a novel method to deduce these parameters by examining the mergers of second-generation (2G) black holes (BHs) with NSs. These 2G BHs are assumed to originate from supramassive neutron stars (SMNSs) formed in BNS mergers. Since the properties of the remnant BHs arising from the collapse of SMNSs follow a universal relation governed by $M_{\rm TOV}$ and $R_{\rm TOV}$, we anticipate that by analyzing a series ($\sim 100$ detections) of mass and spin measurements of the 2G BHs using the third-generation ground-based gravitational-wave detectors, $M_{\rm TOV}$ and $R_{\rm TOV}$ can be determined with a precision of $\sim 0.01M_\odot$ and $\sim 0.6$ km, respectively.


title: Template Model Inspired Task Space Learning for Robust Bipedal Locomotion

abstract: This work presents a hierarchical framework for bipedal locomotion that combines a Reinforcement Learning (RL)-based high-level (HL) planner policy for the online generation of task space commands with a model-based low-level (LL) controller to track the desired task space trajectories. Different from traditional end-to-end learning approaches, our HL policy takes insights from the angular momentum-based linear inverted pendulum (ALIP) to carefully design the observation and action spaces of the Markov Decision Process (MDP). This simple yet effective design creates an insightful mapping between a low-dimensional state that effectively captures the complex dynamics of bipedal locomotion and a set of task space outputs that shape the walking gait of the robot. The HL policy is agnostic to the task space LL controller, which increases the flexibility of the design and generalization of the framework to other bipedal robots. This hierarchical design results in a learning-based framework with improved performance, data efficiency, and robustness compared with the ALIP model-based approach and state-of-the-art learning-based frameworks for bipedal locomotion. The proposed hierarchical controller is tested in three different robots, Rabbit, a five-link underactuated planar biped; Walker2D, a seven-link fully-actuated planar biped; and Digit, a 3D humanoid robot with 20 actuated joints. The trained policy naturally learns human-like locomotion behaviors and is able to effectively track a wide range of walking speeds while preserving the robustness and stability of the walking gait even under adversarial conditions.


title: On the Cauchy Problem for the Dispersion Generalized Camassa-Holm Equation

abstract: In this paper, we establish local well-posedness of the Cauchy problem for a recently proposed dispersion generalized Camassa-Holm equation by using Kato's semigroup approach for quasi-linear evolution equations. We show that for initial data in the Sobolev space $H^{s}(\mathbb{R})$ with $s>\frac{7}{2}+p$, the Cauchy problem is locally well-posed, where $p$ is an even real number determined by the order of the positive differential operator $L$ corresponding to the dispersive effect added to the Camassa-Holm equation.


title: Long-lived coherences in strongly interacting spin ensembles

abstract: Periodic driving has emerged as a powerful tool to control, engineer, and characterize many-body quantum systems. However, the required pulse sequences are often complex, long, or require the ability to control the individual degrees of freedom. In this work, we study how a simple Carr-Purcell Meiboom-Gill (CPMG)-like pulse sequence can be leveraged to enhance the coherence of a large ensemble of spin qubits and serve as an important characterization tool. We implement the periodic drive on an ensemble of dense nitrogen-vacancy (NV) centers in diamond and examine the effect of pulse rotation offset as a control parameter on the dynamics. We use a single diamond sample prepared with several spots of varying NV density, which, in turn, varies the NV-NV dipolar interaction strength. Counter-intuitively, we find that rotation offsets deviating from the ideal {\pi}-pulse in the CPMG sequence (often classified as pulse errors) play a critical role in preserving coherence even at nominally zero rotation offset. The cause of the coherence preservation is an emergent effective field that scales linearly with the magnitude of the rotation offset. In addition to extending coherence, we compare the rotation offset dependence of coherence to numerical simulations to measure the disorder and dipolar contributions to the Hamiltonian to quantitatively extract the densities of the constituent spin species within the diamond.


title: Goodenough-Kanamori-Anderson high-temperature ferromagnetism in tetragonal transition-metal xenes

abstract: Seminal Goodenough-Kanamori-Anderson (GKA) rules provide the inceptive understanding of the superexchange interaction of two magnetic metal ions bridged with an anion, and suggest fostered ferromagnetic interaction for orthogonal bridging bonds. However, there are no examples of two-dimensional (2D) materials with structure that optimizes the GKA arguments towards enhanced ferromagnetism and its critical temperature. Here we reveal that an ideally planar GKA ferromagnetism is indeed stable in selected tetragonal transition-metal xenes (tTMXs), with Curie temperature above 300~K found in CrC and MnC. We provide the general orbitally-resolved analysis of magnetic interactions that supports the claims and sheds light at the mechanisms dominating the magnetic exchange process in these structures. With recent advent of epitaxially-grown tetragonal 2D materials, our findings earmark tTMXs for facilitated spintronic and magnonic applications, or as a desirable magnetic constituent of functional 2D heterostructures.


title: Neutrino properties from the laboratory and the cosmos

abstract: Neutrinos are amongst the most abundant particles in the universe. The fact that they are massive particles proves that the Standard Model is an incomplete theory and needs to be extended. This thesis focuses on the study of neutrino properties from the available data from laboratory experiments and cosmological observations. It also presents sensitivity studies for future neutrino experiments. The first part covers the status of the determination of the oscillation parameters in the three-neutrino framework, the mass ordering and the absolute mass scale. A second part is devoted to other neutrino properties predicted in neutrino mass models. The topics covered include the study of spin-flavour precession in solar neutrinos from non-zero neutrino magnetic moments, the prospects for neutrino non-standard interactions with quarks from the solar sector and the expected limits on CPT violation from a separate analysis of neutrino and antineutrino data. Regarding cosmology, the impact of non-standard interactions with electrons and a non-unitary three-neutrino mixing matrix in the process of neutrino decoupling are addressed. Finally, a third part explores possible connections between dark matter and neutrinos. The existence of dark matter has been proven indirectly via its gravitational effects. This thesis presents two studies that explore how neutrinos could probe the fraction of dark matter that could exist in the form of primordial black holes and the experimental signatures expected from a hypothetical coupling between neutrinos and an ultralight scalar dark matter candidate.


title: A two-timescale model of plankton-oxygen dynamics predicts formation of Oxygen Minimum Zones and global anoxia

abstract: Decline of the dissolved oxygen in the ocean is a growing concern, as it may eventually lead to global anoxia, an elevated mortality of marine fauna and even a mass extinction. Deoxygenation of the ocean often results in the formation of Oxygen Minimum Zones (OMZ): large domains where the abundance of oxygen is much lower than that in the surrounding ocean environment. Factors and processes resulting in the OMZ formation remain controversial. We consider a conceptual model of coupled plankton-oxygen dynamics that, apart from the plankton growth and the oxygen production by phytoplankton, also accounts for the difference in the timescales for phyto and zooplankton (making it a "slow-fast system") and for the implicit effect of upper trophic levels. The model is investigated using a combination of analytical techniques and numerical simulations. We show that the system does not allow for persistent relaxation oscillations; instead, the blowup of the canard cycle results in plankton extinction and oxygen depletion. For the spatially explicit model, an initial non-uniform perturbation can lead to the formation of an OMZ, which then grows in size and spreads over space. For a sufficiently large timescale separation, the spread of the OMZ can result in global anoxia.


title: Bio-Inspired Strategies for Optimizing Radiation Therapy under Uncertainties

abstract: Radiation therapy is a critical component of cancer treatment. However, the delivery of radiation poses inherent challenges, particularly in minimizing radiation exposure to healthy organs surrounding the tumor site. One significant contributing factor to this challenge is the patient's respiration, which introduces uncertainties in the precise targeting of radiation. Managing these uncertainties during radiotherapy is essential to ensure effective tumor treatment while minimizing the adverse effects on healthy tissues. This research addresses the crucial objective of achieving a balanced dose distribution during radiation therapy under conditions of respiration uncertainty. To tackle this issue, we begin by developing a motion uncertainty model employing probability density functions that characterize breathing motion patterns. This model forms the foundation for our efforts to optimize radiation dose delivery. Next, we employ three bio-inspired optimization techniques: Cuckoo search optimization (CSO), flower pollination algorithm (FPA), and bat search Optimization (BSO). Our research evaluates the dose distribution in Gy on both the tumor and healthy organs by applying these bio-inspired optimization methods to identify the most effective approach. This research ultimately aids in refining the strategies used in radiation therapy planning under the challenging conditions posed by respiration uncertainty. Through the application of bio-inspired optimization techniques and a comprehensive evaluation of dose distribution, we seek to improve the precision and safety of radiation therapy, thereby advancing cancer treatment outcomes.


title: Spinal constructions for continuous type-space branching processes with interactions

abstract: We consider branching processes describing structured, interacting populations in continuous time. Dynamics of each individuals characteristics and branching properties can be influenced by the entire population. We propose a Girsanov-type result based on a spinal construction, and establish a many-to-one formula. By combining this result with the spinal decomposition, we derive a generalized continuous-time version of the Kesten-Stigum theorem that incorporates interactions. Additionally, we propose an alternative approach of the spine construction for exact simulations of stochastic size-dependent populations.


title: Environmental impacts on the rest-frame UV size and morphology ofstar-forming galaxies at $z\sim2$

abstract: We report the measurement of rest-frame UV size and morphology of H$\alpha$-emission-selected star-forming galaxies (HAEs) in four protoclusters at z $\sim$ 2 (PKS 1138-262, USS 1558-003, PHz G237.0+42.5, and CC 2.2) using archival Hubble Space Telescope Advanced Camera Surveys (HST/ACS) F814W data. We compare the measurement of 122 HAEs in protoclusters detected by HST/ACS to a coeval comparison field sample of 436 HAEs. We find the size distributions of protocluster and field HAEs are similar with typical half-light radius of $\sim$ 2.5 kpc. At fixed stellar mass, there is no significant difference between HAE in protocluster and in field, which is also supported by stacking analyses. This result suggests that the environment does not significantly affect the size of galaxies during the star-forming phase at this epoch. Based on S\'ersic index and non-parametric morphologies, HAE morphologies in both environments at $z\sim2$ in rest-frame UV are consistent with disk-like star-forming galaxies, although we also find $29\% \pm 4\%$ HAEs have peculiar or disturbed morphologies. The fraction of disturbed galaxies is higher in protocluster environment, with $39 \pm 8 \%$ protocluster HAEs showing disturbed morphologies, compared to $26\pm4\%$ in the comparison field. The apparent disturbed morphologies are correlated with higher star-formation activity and may be caused by either in situ giant clumps or mergers.


title: On a fully nonlinear elliptic equation with differential forms

abstract: We introduce a fully nonlinear PDE with a differential form $\Lambda$, which unifies several important equations in K\"ahler geometry including Monge-Amp\`ere equations, J-equations, inverse $\sigma_{k}$ equations, and the deformed Hermitian Yang-Mills (dHYM) equation. We pose some natural positivity conditions on $\Lambda$, and prove analytical and algebraic criterions for the solvability of the equation. Our results generalize previous works of G.Chen, J.Song, Datar-Pingali and others. As an application, we prove a conjecture of Collins-Jacob-Yau for the dHYM equation with small global phase.


title: On invariance of John domains under quasisymmetric mappings

abstract: In this paper, we prove that if a homeomorphism is quasisymmetric relative to the boundary of the domain then it maps a length John domain to a diameter John domain. Moreover, we prove a necessary and sufficient condition for a diameter John domain to be length John and thereby prove that if $f:G\rightarrow G'$ is $(M, C)-$CQH map, where $G$ is a John domain, and the map extends to the boundary such that the extension is $\eta-$QS relative to $\delta G$ then $G'$ is a John domain. In addition, we characterize distance John domains using the weak minimizing property.


title: Geometric Characterization of Rings with Krull Dimension $\leq 1$

abstract: In this paper, we provide a new characterization of noetherian rings with Krull dimension $\leq 1$ in terms of its spectrum.


title: The $st$-Planar Edge Completion Problem is Fixed-Parameter Tractable

abstract: The problem of deciding whether a biconnected planar digraph $G=(V,E)$ can be augmented to become an $st$-planar graph by adding a set of oriented edges $E' \subseteq V \times V$ is known to be NP-complete. We show that the problem is fixed-parameter tractable when parameterized by the size of the set $E'$.


title: In-Hand Re-grasp Manipulation with Passive Dynamic Actions via Imitation Learning

abstract: Re-grasp manipulation leverages on ergonomic tools to assist humans in accomplishing diverse tasks. In certain scenarios, humans often employ external forces to effortlessly and precisely re-grasp tools like a hammer. Previous development on controllers for in-grasp sliding motion using passive dynamic actions (e.g.,gravity) relies on apprehension of finger-object contact information, and requires customized design for individual objects with varied geometry and weight distribution. It limits their adaptability to diverse objects. In this paper, we propose an end-to-end sliding motion controller based on imitation learning (IL) that necessitates minimal prior knowledge of object mechanics, relying solely on object position information. To expedite training convergence, we utilize a data glove to collect expert data trajectories and train the policy through Generative Adversarial Imitation Learning (GAIL). Simulation results demonstrate the controller's versatility in performing in-hand sliding tasks with objects of varying friction coefficients, geometric shapes, and masses. By migrating to a physical system using visual position estimation, the controller demonstrated an average success rate of 86%, surpassing the baseline algorithm's success rate of 35% of Behavior Cloning(BC) and 20% of Proximal Policy Optimization (PPO).


title: Finite-nuclear-size effect in hydrogen-like ions with relativistic nuclear structure

abstract: The finite-nuclear-size (FNS) effect has a large contribution to the atomic spectral properties especially for heavy nuclei. By adopting the microscopic nuclear charge density distributions obtained from the relativistic continuum Hartree-Bogoliubov (RCHB) theory, we systematically investigate the FNS corrections to atomic energy levels and bound-electron $g$ factors of hydrogen-like ions with nuclear charge up to $118$. The comparison of the present numerical calculations with the predictions from empirical nuclear charge models, the non-relativistic Skyrme-Hartree-Fock calculations, and the results based on experimental charge densities indicate that both the nuclear charge radius and the detailed shape of charge density distribution play important roles in determining the FNS corrections. The variation of FNS corrections to energy levels and $g$ factors with respect to the nuclear charge are investigated for the lowest several bound states of hydrogen-like ions. It is shown that they both increase by orders of magnitude with increasing the nuclear charge, while the ratio between them has a relatively weak dependence on the nuclear charge. The FNS corrections to the $s_{1/2}$ and $p_{1/2}$ bound state energies from the RCHB calculations are generally in good agreement with the analytical estimations by Shabaev [J. Phys. B, 26, 1103 (1993)] based on the homogeneously charged sphere nuclear model, with the discrepancy indicating the distinct contribution of microscopic nuclear structure to the FNS effects.


title: Engineering the in-plane anomalous Hall effect in Cd$_3$As$_2$ thin films

abstract: We predict two topological phase transitions for cadmium arsenide (\ce{Cd3As2}) thin films under in-plane magnetic field, taking advantage of a four-band $k\cdot p$ model and effective $g$ factors calculated from first principles. Film thickness, growth direction and in-plane Zeeman coupling strength can all serve as control parameters to drive these phase transitions. For (001) oriented \ce{Cd3As2} thin films, a two dimensional Weyl semimetal phase protected by $C_{2z}\mathcal{T}$ symmetry can be realized using an in-plane magnetic field, which has recently been reported in our companion paper. We then put forth two pathways to achieve in-plane anomalous Hall effects (IPAHE). By either introducing a trigonal warping term or altering the growth orientation, the emergent $C_{2z} \mathcal{T}$ symmetry can be broken. Consequently, in the clean limit and at low temperatures, quantized Hall plateaus induced by in-plane Zeeman fields become observable.


title: LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints

abstract: Integrating first-order logic constraints (FOLCs) with neural networks is a crucial but challenging problem since it involves modeling intricate correlations to satisfy the constraints. This paper proposes a novel neural layer, LogicMP, whose layers perform mean-field variational inference over an MLN. It can be plugged into any off-the-shelf neural network to encode FOLCs while retaining modularity and efficiency. By exploiting the structure and symmetries in MLNs, we theoretically demonstrate that our well-designed, efficient mean-field iterations effectively mitigate the difficulty of MLN inference, reducing the inference from sequential calculation to a series of parallel tensor operations. Empirical results in three kinds of tasks over graphs, images, and text show that LogicMP outperforms advanced competitors in both performance and efficiency.


title: GAMMA: Graspability-Aware Mobile MAnipulation Policy Learning based on Online Grasping Pose Fusion

abstract: Mobile manipulation constitutes a fundamental task for robotic assistants and garners significant attention within the robotics community. A critical challenge inherent in mobile manipulation is the effective observation of the target while approaching it for grasping. In this work, we propose a graspability-aware mobile manipulation approach powered by an online grasping pose fusion framework that enables a temporally consistent grasping observation. Specifically, the predicted grasping poses are online organized to eliminate the redundant, outlier grasping poses, which can be encoded as a grasping pose observation state for reinforcement learning. Moreover, on-the-fly fusing the grasping poses enables a direct assessment of graspability, encompassing both the quantity and quality of grasping poses.


title: Rough weak solutions for singular L\'evy SDEs

abstract: We introduce a weak solution concept (called "rough weak solutions") for singular SDEs with additive alpha-stable L\'evy noise (including the Brownian noise case) and prove its equivalence to martingale solutions from Kremp, Perkowski '22 in the Young and rough regularity regime. In the rough regime this leads to the construction of certain rough stochastic sewing integrals involved. For rough weak solutions, we can then prove a generalized It\^o formula. Furthermore, we show that canonical weak solutions are wellposed in the Young case (and equivalent to rough weak solutions), while ill-posed in the rough case. For the latter, we construct a counterexample for uniqueness in law.


title: ChatCounselor: A Large Language Models for Mental Health Support

abstract: This paper presents ChatCounselor, a large language model (LLM) solution designed to provide mental health support. Unlike generic chatbots, ChatCounselor is distinguished by its foundation in real conversations between consulting clients and professional psychologists, enabling it to possess specialized knowledge and counseling skills in the field of psychology. The training dataset, Psych8k, was constructed from 260 in-depth interviews, each spanning an hour. To assess the quality of counseling responses, the counseling Bench was devised. Leveraging GPT-4 and meticulously crafted prompts based on seven metrics of psychological counseling assessment, the model underwent evaluation using a set of real-world counseling questions. Impressively, ChatCounselor surpasses existing open-source models in the counseling Bench and approaches the performance level of ChatGPT, showcasing the remarkable enhancement in model capability attained through high-quality domain-specific data.


title: DTC: Deep Tracking Control

abstract: Legged locomotion is a complex control problem that requires both accuracy and robustness to cope with real-world challenges. Legged systems have traditionally been controlled using trajectory optimization with inverse dynamics. Such hierarchical model-based methods are appealing due to intuitive cost function tuning, accurate planning, generalization, and most importantly, the insightful understanding gained from more than one decade of extensive research. However, model mismatch and violation of assumptions are common sources of faulty operation. Simulation-based reinforcement learning, on the other hand, results in locomotion policies with unprecedented robustness and recovery skills. Yet, all learning algorithms struggle with sparse rewards emerging from environments where valid footholds are rare, such as gaps or stepping stones. In this work, we propose a hybrid control architecture that combines the advantages of both worlds to simultaneously achieve greater robustness, foot-placement accuracy, and terrain generalization. Our approach utilizes a model-based planner to roll out a reference motion during training. A deep neural network policy is trained in simulation, aiming to track the optimized footholds. We evaluate the accuracy of our locomotion pipeline on sparse terrains, where pure data-driven methods are prone to fail. Furthermore, we demonstrate superior robustness in the presence of slippery or deformable ground when compared to model-based counterparts. Finally, we show that our proposed tracking controller generalizes across different trajectory optimization methods not seen during training. In conclusion, our work unites the predictive capabilities and optimality guarantees of online planning with the inherent robustness attributed to offline learning.


title: Tomography of entangling two-qubit logic operations in exchange-coupled donor electron spin qubits

abstract: Scalable quantum processors require high-fidelity universal quantum logic operations in a manufacturable physical platform. Donors in silicon provide atomic size, excellent quantum coherence and compatibility with standard semiconductor processing, but no entanglement between donor-bound electron spins has been demonstrated to date. Here we present the experimental demonstration and tomography of universal 1- and 2-qubit gates in a system of two weakly exchange-coupled electrons, bound to single phosphorus donors introduced in silicon by ion implantation. We surprisingly observe that the exchange interaction has no effect on the qubit coherence. We quantify the fidelity of the quantum operations using gate set tomography (GST), and we use the universal gate set to create entangled Bell states of the electrons spins, with fidelity ~ 93%, and concurrence 0.91 +/- 0.08. These results form the necessary basis for scaling up donor-based quantum computers.


title: On staticity of bifurcate Killing horizons

abstract: We show that bifurcate Killing horizons with closed torsion form, in spacetimes of arbitrary dimension satisfying a Ricci-structure condition, arise from static Killing vectors. The result applies in particular to $\Lambda$-vacuum spacetimes.


title: Cross-Dataset Experimental Study of Radar-Camera Fusion in Bird's-Eye View

abstract: By exploiting complementary sensor information, radar and camera fusion systems have the potential to provide a highly robust and reliable perception system for advanced driver assistance systems and automated driving functions. Recent advances in camera-based object detection offer new radar-camera fusion possibilities with bird's eye view feature maps. In this work, we propose a novel and flexible fusion network and evaluate its performance on two datasets: nuScenes and View-of-Delft. Our experiments reveal that while the camera branch needs large and diverse training data, the radar branch benefits more from a high-performance radar. Using transfer learning, we improve the camera's performance on the smaller dataset. Our results further demonstrate that the radar-camera fusion approach significantly outperforms the camera-only and radar-only baselines.


title: Observing gravitational redshift with X-Ray emission in galaxy clusters with Athena X-IFU

abstract: Context. The Doppler shift predicted by general relativity for light escaping a gravitational potential has been observed on Earth as well as in the direction of various stars and galaxy clusters at optical wavelengths. Aims. Observing the gravitational redshift in the X-ray band within galaxy clusters could provide information on their properties and, in particular, their gravitational potential. We present a feasibility study of such a measurement, using the capabilities of the next-generation European X-ray observatory Athena. Methods. We used a simple generalized Navarro-Frenk-White potential model along with a beta-model for the density of baryonic matter, which sets the emission to provide an estimation of the observed redshift in the simplest of cases. We generated mock observations with the Athena X-ray Integral Field Unit (X-IFU) for a nearby massive cluster, while seeking to recover the gravitational redshift along with other properties of the toy model cluster. Results. We investigated the observability of the gravitational redshift in an idealized test case of a nearby massive cluster with the Athena X-IFU instrument, as well as its use in probing the properties of the potential well. We were also able to constrain the mass to a 20 % level of precision and the cosmological redshift to less than 1%, within a simplified and idealized observational framework. More refined simulations accounting for further effects such as the internal gas motions and the actual shape of the potential well are required to fully investigate the feasibility of measuring the gravitational redshift for a single target or statistically over a sample of galaxy clusters.


title: Enabling Resource-efficient AIoT System with Cross-level Optimization: A survey

abstract: The emerging field of artificial intelligence of things (AIoT, AI+IoT) is driven by the widespread use of intelligent infrastructures and the impressive success of deep learning (DL). With the deployment of DL on various intelligent infrastructures featuring rich sensors and weak DL computing capabilities, a diverse range of AIoT applications has become possible. However, DL models are notoriously resource-intensive. Existing research strives to realize near-/realtime inference of AIoT live data and low-cost training using AIoT datasets on resource-scare infrastructures. Accordingly, the accuracy and responsiveness of DL models are bounded by resource availability. To this end, the algorithm-system co-design that jointly optimizes the resource-friendly DL models and model-adaptive system scheduling improves the runtime resource availability and thus pushes the performance boundary set by the standalone level. Unlike previous surveys on resource-friendly DL models or hand-crafted DL compilers/frameworks with partially fine-tuned components, this survey aims to provide a broader optimization space for more free resource-performance tradeoffs. The cross-level optimization landscape involves various granularity, including the DL model, computation graph, operator, memory schedule, and hardware instructor in both on-device and distributed paradigms. Furthermore, due to the dynamic nature of AIoT context, which includes heterogeneous hardware, agnostic sensing data, varying user-specified performance demands, and resource constraints, this survey explores the context-aware inter-/intra-device controllers for automatic cross-level adaptation. Additionally, we identify some potential directions for resource-efficient AIoT systems. By consolidating problems and techniques scattered over diverse levels, we aim to help readers understand their connections and stimulate further discussions.


title: Patterns Induce Injectivity: A New Thinking in Constructing Injective Local Rules of 1D Cellular Automata over $\mathbb{F}_2$

abstract: We discovered that certain patterns called injective patterns remain stable during the revolution process, allowing us to create many reversible CA simply by using them to design the revolution rules. By examining injective patterns, we investigated their structural stability during revolutions. This led us to discover extended patterns and pattern mixtures that can create more reversible cellular automata. Furthermore, our research proposed a new way to study the reversibility of CA by observing the structure of local rule $f$. In this paper, we will explicate our study and propose an efficient method for finding the injective patterns. Our algorithms can find injective rules and generate local rule $f$ by traversing $2^{N}$, instead of $2^{2^{N}}$ to check all injective rules and pick the injective ones.


title: Joint searches by FACT, H.E.S.S., MAGIC and VERITAS for VHE gamma-ray emission associated with neutrinos detected by IceCube

abstract: The sources of the astrophysical flux of high-energy neutrinos detected by IceCube are still largely unknown, but searches for temporal and spatial correlation between neutrinos and electromagnetic radiation are a promising approach in this endeavor. All major imaging atmospheric Cherenkov telescopes (IACTs) - FACT, H.E.S.S., MAGIC, and VERITAS - operate an active follow-up program of target-of-opportunity observations of neutrino alerts issued by IceCube. These programs use several complementary neutrino alert streams. A publicly distributed alert stream is formed by individual high-energy neutrino candidate events of potentially astrophysical origin, such as IceCube-170922A (which could be linked to the flaring blazar TXS\,0506+056). A privately distributed alert stream is formed by clusters of neutrino events in time and space around either pre-selected gamma-ray sources or anywhere in the sky. Here, we present joint searches for multi-wavelength emission associated with a set of IceCube alerts, both private and public, received through mid-January 2021. We will give an overview of the programs of the participating IACTs. We will showcase the various follow-up and data analysis strategies employed in response to the different alert types and various possible counterpart scenarios. Finally, we will present results from a combined analysis of the VHE gamma-ray observations obtained across all involved instruments, as well as relevant multi-wavelength data.


title: Explicit forms in lower degrees of rank 2 cluster scattering diagrams

abstract: In this paper, we study wall elements of rank 2 cluster scattering diagrams based on dilogarithm elements. We derive two major results. First, we give a method to calculate wall elements in lower degrees. By this method, we may see the explicit forms of wall elements including the Badlands, which is the complement of $G$-fan. In this paper, we write one up to 7 degrees. Also, by using this method, we derive some walls independent of their degrees. Second, we find a certain admissible form of them. In the proof of these facts, we introduce a matrix action on a structure group, which we call a similarity transformation, and we argue the relation between this action and ordered products.


title: ProFaaStinate: Delaying Serverless Function Calls to Optimize Platform Performance

abstract: Function-as-a-Service (FaaS) enables developers to run serverless applications without managing operational tasks. In current FaaS platforms, both synchronous and asynchronous calls are executed immediately. In this paper, we present ProFaaStinate, which extends serverless platforms to enable delayed execution of asynchronous function calls. This allows platforms to execute calls at convenient times with higher resource availability or lower load. ProFaaStinate is able to optimize performance without requiring deep integration into the rest of the platform, or a complex systems model. In our evaluation, our prototype built on top of Nuclio can reduce request response latency and workflow duration while also preventing the system from being overloaded during load peaks. Using a document preparation use case, we show a 54% reduction in average request response latency. This reduction in resource usage benefits both platforms and users as cost savings.


title: Voxel Graph Operators: Topological Voxelization, Graph Generation, and Derivation of Discrete Differential Operators from Voxel Complexes

abstract: In this paper, we present a novel workflow consisting of algebraic algorithms and data structures for fast and topologically accurate conversion of vector data models such as Boundary Representations into voxels (topological voxelization); spatially indexing them; constructing connectivity graphs from voxels; and constructing a coherent set of multivariate differential and integral operators from these graphs. Topological Voxelization is revisited and presented in the paper as a reversible mapping of geometric models from $\mathbb{R}^3$ to $\mathbb{Z}^3$ to $\mathbb{N}^3$ and eventually to an index space created by Morton Codes in $\mathbb{N}$ while ensuring the topological validity of the voxel models; namely their topological thinness and their geometrical consistency. In addition, we present algorithms for constructing graphs and hyper-graph connectivity models on voxel data for graph traversal and field interpolations and utilize them algebraically in elegantly discretizing differential and integral operators for geometric, graphical, or spatial analyses and digital simulations. The multi-variate differential and integral operators presented in this paper can be used particularly in the formulation of Partial Differential Equations for physics simulations.


title: Cumulant expansion for counting Eulerian orientations

abstract: An Eulerian orientation is an orientation of the edges of a graph such that every vertex is balanced: its in-degree equals its out-degree. Counting Eulerian orientations corresponds to the crucial partition function in so-called "ice-type models" in statistical physics and is known to be hard for general graphs. For all graphs with good expansion properties and degrees larger than $\log^8 n$, we derive an asymptotic expansion for this count that approximates it to precision $O(n^{-c})$ for arbitrary large $c$, where $n$ is the number of vertices. The proof relies on a new tail bound for the cumulant expansion of the Laplace transform, which is of independent interest.