title: Structure and growth of $\mathbb{R}$-bonacci words

abstract: A binary word is called $q$-decreasing, for $q>0$, if every of its length maximal factors of the form $0^a1^b$, $a>0$, satisfies $q \cdot a > b$. We bijectively link $q$-decreasing words with certain prefixes of the cutting sequence of the line $y=qx$. We show that the number of $q$-decreasing words of length $n$ grows as $\Phi(q)^{n} C_q $ for some constant $C_q$ which depends on $q$ but not on $n$. We demonstrate that $\Phi(1)$ is the golden ratio, $\Phi(2)$ is equal to the tribonacci constant, $\Phi(k)$ is $(k+1)$-bonacci constant. Furthermore, we prove that the function $\Phi(q)$ is strictly increasing, discontinuous at every positive rational point, exhibits a fractal structure related to the Stern--Brocot tree and Minkowski's question mark function.


title: Uniqueness and nondegeneracy of least-energy solutions to fractional Dirichlet problems

abstract: We prove the uniqueness and nondegeneracy of least-energy solutions of a fractional Dirichlet semilinear problem in sufficiently large balls and in more general symmetric domains. Our proofs rely on uniform estimates on growing domains, on the uniqueness and nondegeneracy of the ground state of the problem in RN , and on a new symmetry characterization of the eigenfunctions of the linearized eigenvalue problem in domains which are convex in the x1 - direction and symmetric with respect to a hyperplane reflection.


title: Convergence proof for first-order position-based dynamics: An efficient scheme for inequality constrained ODEs

abstract: NVIDIA researchers have pioneered an explicit method, position-based dynamics (PBD), for simulating systems with contact forces, gaining widespread use in computer graphics and animation. While the method yields visually compelling real-time simulations with surprising numerical stability, its scientific validity has been questioned due to a lack of rigorous analysis. In this paper, we introduce a new mathematical convergence analysis specifically tailored for PBD applied to first-order dynamics. Utilizing newly derived bounds for projections onto uniformly prox-regular sets, our proof extends classical compactness arguments. Our work paves the way for the reliable application of PBD in various scientific and engineering fields, including particle simulations with volume exclusion, agent-based models in mathematical biology or inequality-constrained gradient-flow models.


title: Mixed multiplicity and Converse of Rees' theorem for modules

abstract: In this paper, we prove the converse of Rees' mixed multiplicity theorem for modules, which extends the converse of the classical Rees' mixed multiplicity theorem for ideals given by Swanson - Theorem \ref{SwansonTheorem}. Specifically, we demonstrate the following result: Let $(R,\mathfrak{m})$ be a $d$-dimensional formally equidimensional Noetherian local ring and $E_1,\dots,E_k$ be finitely generated $R$-submodules of a free $R$-module $F$ of positive rank $p$, with $x_i\in E_i$ for $i=1,\dots,k$. Consider \(S\), the symmetric algebra of \(F\), and \(I_{E_i}\), the ideal generated by the homogeneous component of degree 1 in the Rees algebra \([\mathscr{R}(E_i)]_1\). Assuming that $(x_1,\ldots,x_k)S$ and $I_{E_i}$ have the same height $k$ and the same radical, if the Buchsbaum-Rim multiplicity of $(x_1,\dots,x_k)$ and the mixed Buchsbaum-Rim multiplicity of the family $E_1,\dots,E_k$ are equal, i.e., ${\rm e_{BR}}((x_1,\dots,x_k)_{\mathfrak{p}};R_{\mathfrak{p}}) = {\rm e_{BR}}({E_1}_{\mathfrak{p}},\dots, {E_k}_{\mathfrak{p}},R_{\mathfrak{p}})$ for all prime ideals $\mathfrak{p}$ minimal over $((x_1,\ldots,x_k):_RF)$, then $(x_1,\ldots,x_k)$ is a joint reduction of $(E_1,\dots,E_k)$. In addition to proving this theorem, we establish several properties that relate joint reduction and mixed Buchsbaum-Rim multiplicities.


title: ScaLearn: Simple and Highly Parameter-Efficient Task Transfer by Learning to Scale

abstract: Multi-task learning (MTL) has shown considerable practical benefits, particularly when using language models (LMs). While this is commonly achieved by learning $n$ tasks under a joint optimization procedure, some methods, such as AdapterFusion, divide the problem into two stages: (i) task learning, where knowledge specific to a task is encapsulated within sets of parameters (e.g., adapters), and (ii) transfer, where this already learned knowledge is leveraged for a target task. This separation of concerns provides numerous benefits (e.g., promoting reusability). However, current two-stage MTL introduces a substantial number of additional parameters. We address this issue by leveraging the usefulness of linearly scaling the output representations of source adapters for transfer learning. We introduce ScaLearn, a simple and highly parameter-efficient two-stage MTL method that capitalizes on the knowledge of the source tasks by learning a minimal set of scaling parameters that enable effective transfer to a target task. Our experiments on three benchmarks (GLUE, SuperGLUE, and HumSet) and two encoder LMs show that ScaLearn consistently outperforms strong baselines with a small number of transfer parameters (~ $0.35$% of those of AdapterFusion). Remarkably, we observe that ScaLearn maintains its strong abilities even when further reducing parameters, achieving competitive results with only $8$ transfer parameters per target task. Our proposed approach thus demonstrates the power of simple scaling as a promise for more efficient task transfer.


title: Making LLaMA SEE and Draw with SEED Tokenizer

abstract: The great success of Large Language Models (LLMs) has expanded the potential of multimodality, contributing to the gradual evolution of General Artificial Intelligence (AGI). A true AGI agent should not only possess the capability to perform predefined multi-tasks but also exhibit emergent abilities in an open-world context. However, despite the considerable advancements made by recent multimodal LLMs, they still fall short in effectively unifying comprehension and generation tasks, let alone open-world emergent abilities. We contend that the key to overcoming the present impasse lies in enabling text and images to be represented and processed interchangeably within a unified autoregressive Transformer. To this end, we introduce SEED, an elaborate image tokenizer that empowers LLMs with the ability to SEE and Draw at the same time. We identify two crucial design principles: (1) Image tokens should be independent of 2D physical patch positions and instead be produced with a 1D causal dependency, exhibiting intrinsic interdependence that aligns with the left-to-right autoregressive prediction mechanism in LLMs. (2) Image tokens should capture high-level semantics consistent with the degree of semantic abstraction in words, and be optimized for both discriminativeness and reconstruction during the tokenizer training phase. With SEED tokens, LLM is able to perform scalable multimodal autoregression under its original training recipe, i.e., next-word prediction. SEED-LLaMA is therefore produced by large-scale pretraining and instruction tuning on the interleaved textual and visual data, demonstrating impressive performance on a broad range of multimodal comprehension and generation tasks. More importantly, SEED-LLaMA has exhibited compositional emergent abilities such as multi-turn in-context multimodal generation, acting like your AI assistant.


title: The Novikov conjecture, the group of diffeomorphisms and continuous fields of Hilbert-Hadamard spaces

abstract: In this paper, we prove the Novikov conjecture for a class of highly non-linear groups, namely discrete subgroups of the diffeomorphism group of a compact smooth manifold. This removes the volume-preserving condition in a previous work. This result is proved by studying operator $K$-theory and group actions on continuous fields of infinite dimensional non-positively curved spaces.


title: The benefits and costs of explainable artificial intelligence in visual quality control: Evidence from fault detection performance and eye movements

abstract: Visual inspection tasks often require humans to cooperate with AI-based image classifiers. To enhance this cooperation, explainable artificial intelligence (XAI) can highlight those image areas that have contributed to an AI decision. However, the literature on visual cueing suggests that such XAI support might come with costs of its own. To better understand how the benefits and cost of XAI depend on the accuracy of AI classifications and XAI highlights, we conducted two experiments that simulated visual quality control in a chocolate factory. Participants had to decide whether chocolate moulds contained faulty bars or not, and were always informed whether the AI had classified the mould as faulty or not. In half of the experiment, they saw additional XAI highlights that justified this classification. While XAI speeded up performance, its effects on error rates were highly dependent on (X)AI accuracy. XAI benefits were observed when the system correctly detected and highlighted the fault, but XAI costs were evident for misplaced highlights that marked an intact area while the actual fault was located elsewhere. Eye movement analyses indicated that participants spent less time searching the rest of the mould and thus looked at the fault less often. However, we also observed large interindividual differences. Taken together, the results suggest that despite its potentials, XAI can discourage people from investing effort into their own information analysis.


title: Nonlocal diffusion model with maximum principle

abstract: In this paper, we propose nonlocal diffusion models with Dirichlet boundary. These nonlocal diffusion models preserve the maximum principle and also have corresponding variational form. With these good properties, It is relatively easy to prove the well-posedness and the vanishing nonlocality convergence. Furthermore, by specifically designed weight function, we can get a nonlocal diffusion model with second order convergence which is optimal for nonlocal diffusion models.


title: Future-null singularity due to gravitational collapse

abstract: In the case of unhindered gravitational collapse of matter cloud governed by the Lemaitre-Tolman-Bondi (LTB) spacetime, the end-state singularity is either locally visible, globally visible or completely hidden. We have a past-null singularity in the first two cases while a future-spacelike singularity in the last case. Here, we show an example of a gravitational collapse model whose end-state is a future-null-singularity (it has a causal property that is unlike the cases involving LTB spacetime). We depict such a distinct causal structure of the singularity by conformal diagrams.


title: The Exact Solution of Lagrange's Gyroscope

abstract: The closed form solution is found for the fully nonlinear dynamics of the gyroscope with a fixed point at the tip. The solution is found by using Cardano's formulae to factor a cubic, in the case where all roots are known to be real. From this, the nutation angle is solved first in terms of Jacobi's elliptic integral of the first kind. A simple change of variables then transforms the dependent variable of the remaining equations from time to the projection of the nutation angle onto the vertical axis. After this transformation, the remaining equations can be integrated exactly, giving solutions expressed in Jacobi's elliptic integrals of the third kind. Reduced energy, angular momentum, moment of inertia and Cardano's discriminant are defined. The thresholds are found, separating looping, cuspidial, and unidirectional domains of nutation.


title: Revisiting Mobility Modeling with Graph: A Graph Transformer Model for Next Point-of-Interest Recommendation

abstract: Next Point-of-Interest (POI) recommendation plays a crucial role in urban mobility applications. Recently, POI recommendation models based on Graph Neural Networks (GNN) have been extensively studied and achieved, however, the effective incorporation of both spatial and temporal information into such GNN-based models remains challenging. Extracting distinct fine-grained features unique to each piece of information is difficult since temporal information often includes spatial information, as users tend to visit nearby POIs. To address the challenge, we propose \textbf{\underline{Mob}}ility \textbf{\underline{G}}raph \textbf{\underline{T}}ransformer (MobGT) that enables us to fully leverage graphs to capture both the spatial and temporal features in users' mobility patterns. MobGT combines individual spatial and temporal graph encoders to capture unique features and global user-location relations. Additionally, it incorporates a mobility encoder based on Graph Transformer to extract higher-order information between POIs. To address the long-tailed problem in spatial-temporal data, MobGT introduces a novel loss function, Tail Loss. Experimental results demonstrate that MobGT outperforms state-of-the-art models on various datasets and metrics, achieving 24\% improvement on average. Our codes are available at \url{https://github.com/Yukayo/MobGT}.


title: A path-norm toolkit for modern networks: consequences, promises and challenges

abstract: This work introduces the first toolkit around path-norms that fully encompasses general DAG ReLU networks with biases, skip connections and any operation based on the extraction of order statistics: max pooling, GroupSort etc. This toolkit notably allows us to establish generalization bounds for modern neural networks that are not only the most widely applicable path-norm based ones, but also recover or beat the sharpest known bounds of this type. These extended path-norms further enjoy the usual benefits of path-norms: ease of computation, invariance under the symmetries of the network, and improved sharpness on layered fully-connected networks compared to the product of operator norms, another complexity measure most commonly used. The versatility of the toolkit and its ease of implementation allow us to challenge the concrete promises of path-norm-based generalization bounds, by numerically evaluating the sharpest known bounds for ResNets on ImageNet.


title: Modeling the Galactic center gamma-ray emission with more realistic cosmic-ray dynamics

abstract: Very-high-energy gamma-ray observations of the Galactic center (GC) show extended emission that is strongly correlated with the morphology of the central molecular zone (CMZ). The best explanation for that emission is a hadronic interaction between cosmic rays (CRs) and ambient gas, where a CR central and continuous source accelerates protons up to 1 PeV ("PeVatron"). However, current models assume very simplistic CR dynamics. Our goal is to verify if more realistic CR dynamics for the GC environment are consistent with current gamma-ray observations, and whether they could be constrained by upcoming observations with the Cherenkov Telescope Array (CTA). We generated synthetic gamma-ray maps using a CR transport model with spherical injection, different diffusion regimes (in and out of the CMZ), polar advection, and mono-energetic particles of 1 PeV, and including different CR populations injected from the Arches, Quintuplet, and nuclear clusters of young massive stars, plus supernova Sgr A East. We adopted two different 3D gas distributions consistent with the observed gas column density, either with or without an inner cavity. In order to reproduce the existing observations detected by the High Energy Stereoscopic System (HESS), a ring-like gas distribution, with its mass set by the standard Galactic CO-to-H$_2$ conversion factor, and CR acceleration from all relevant sources are required. For a conversion factor one order of magnitude lower, injection rates that are ten times higher are needed. We show that CTA will be able to differentiate between models with different CR dynamics, proton sources, and CMZ morphology, owing to its unprecedented sensitivity and angular resolution. More realistic CR dynamics suggest that the CMZ has a large inner cavity and that the GC PeVatron is a composite CR population accelerated by the Arches, Quintuplet, and nuclear star clusters, and Sgr A East.


title: Reconstructing Atmospheric Parameters of Exoplanets Using Deep Learning

abstract: Exploring exoplanets has transformed our understanding of the universe by revealing many planetary systems that defy our current understanding. To study their atmospheres, spectroscopic observations are used to infer essential atmospheric properties that are not directly measurable. Estimating atmospheric parameters that best fit the observed spectrum within a specified atmospheric model is a complex problem that is difficult to model. In this paper, we present a multi-target probabilistic regression approach that combines deep learning and inverse modeling techniques within a multimodal architecture to extract atmospheric parameters from exoplanets. Our methodology overcomes computational limitations and outperforms previous approaches, enabling efficient analysis of exoplanetary atmospheres. This research contributes to advancements in the field of exoplanet research and offers valuable insights for future studies.


title: Reconstructing 3D Human Pose from RGB-D Data with Occlusions

abstract: We propose a new method to reconstruct the 3D human body from RGB-D images with occlusions. The foremost challenge is the incompleteness of the RGB-D data due to occlusions between the body and the environment, leading to implausible reconstructions that suffer from severe human-scene penetration. To reconstruct a semantically and physically plausible human body, we propose to reduce the solution space based on scene information and prior knowledge. Our key idea is to constrain the solution space of the human body by considering the occluded body parts and visible body parts separately: modeling all plausible poses where the occluded body parts do not penetrate the scene, and constraining the visible body parts using depth data. Specifically, the first component is realized by a neural network that estimates the candidate region named the "free zone", a region carved out of the open space within which it is safe to search for poses of the invisible body parts without concern for penetration. The second component constrains the visible body parts using the "truncated shadow volume" of the scanned body point cloud. Furthermore, we propose to use a volume matching strategy, which yields better performance than surface matching, to match the human body with the confined region. We conducted experiments on the PROX dataset, and the results demonstrate that our method produces more accurate and plausible results compared with other methods.


title: High-energy picosecond pulses with a single spatial mode from a passively mode-locked, broad-area semiconductor laser

abstract: We present a mode-locked semiconductor laser oscillator that emits few picosecond pulses (5-8ps at 379MHz repetition) with record peak power (112W) and pulse energy (0.5nJ) directly out of the oscillator (with no amplifier). To achieve this high power performance we employ a high-current broad-area, spatially multi-mode diode amplifier (0.3x5mm), placed in an external cavity that enforces oscillation in a single spatial mode. Consequently, the brightness of the beam is near-ideal ($M^2 = 1.3$). Mode locking is achieved by dividing the large diode chip (edge emitter) into two sections with independent electrical control: one large section for gain and another small section for a saturable absorber. Precise tuning of the reverse voltage on the absorber section allows to tune the saturation level and recovery time of the absorber, which provides a convenient control knob to optimize the mode-locking performance for various cavity conditions.


title: Vehicle Fuel Consumption Virtual Sensing from GNSS and IMU Measurements

abstract: This paper presents a vehicle-independent, non-intrusive, and light monitoring system for accurately measuring fuel consumption in road vehicles from longitudinal speed and acceleration derived continuously in time from GNSS and IMU sensors mounted inside the vehicle. In parallel to boosting the transition to zero-carbon cars, there is an increasing interest in low-cost instruments for precise measurement of the environmental impact of the many internal combustion engine vehicles still in circulation. The main contribution of this work is the design and comparison of two innovative black-box algorithms, one based on a reduced complexity physics modeling while the other relying on a feedforward neural network for black-box fuel consumption estimation using only velocity and acceleration measurements. Based on suitable metrics, the developed algorithms outperform the state of the art best approach, both in the instantaneous and in the integral fuel consumption estimation, with errors smaller than 1\% with respect to the fuel flow ground truth. The data used for model identification, testing, and experimental validation is composed of GNSS velocity and IMU acceleration measurements collected during several trips using a diesel fuel vehicle on different roads, in different seasons, and with varying numbers of passengers. Compared to built-in vehicle monitoring systems, this methodology is not customized, uses off-the-shelf sensors, and is based on two simple algorithms that have been validated offline and could be easily implemented in a real-time environment.


title: Jupiter Mass Binary Objects in the Trapezium Cluster

abstract: A key outstanding question in star and planet formation is how far the initial mass function of stars and sub-stellar objects extends, and whether or not there is a cut-off at the very lowest masses. Isolated objects in the planetary-mass domain below 13 Jupiter masses, where not even deuterium can fuse, are very challenging to observe as these objects are inherently faint. Nearby star-forming regions provide the best opportunity to search for them though: while they are young, they are still relatively warm and luminous at infrared wavelengths. Previous surveys have discovered a handful of such sources down to 3--5 Jupiter masses, around the minimum mass limit established for formation via the fragmentation of molecular clouds, but does the mass function extend further? In a new James Webb Space Telescope near-infrared survey of the inner Orion Nebula and Trapezium Cluster, we have discovered and characterised a sample of 540 planetary-mass candidates with masses down to 0.6 Jupiter masses, demonstrating that there is indeed no sharp cut-off in the mass function. Furthermore, we find that 9\% of the planetary-mass objects are in wide binaries, a result that is highly unexpected and which challenges current theories of both star and planet formation.


title: Modality-aware Transformer for Financial Time series Forecasting

abstract: Time series forecasting presents a significant challenge, particularly when its accuracy relies on external data sources rather than solely on historical values. This issue is prevalent in the financial sector, where the future behavior of time series is often intricately linked to information derived from various textual reports and a multitude of economic indicators. In practice, the key challenge lies in constructing a reliable time series forecasting model capable of harnessing data from diverse sources and extracting valuable insights to predict the target time series accurately. In this work, we tackle this challenging problem and introduce a novel multimodal transformer-based model named the \textit{Modality-aware Transformer}. Our model excels in exploring the power of both categorical text and numerical timeseries to forecast the target time series effectively while providing insights through its neural attention mechanism. To achieve this, we develop feature-level attention layers that encourage the model to focus on the most relevant features within each data modality. By incorporating the proposed feature-level attention, we develop a novel Intra-modal multi-head attention (MHA), Inter-modal MHA and Target-modal MHA in a way that both feature and temporal attentions are incorporated in MHAs. This enables the MHAs to generate temporal attentions with consideration of modality and feature importance which leads to more informative embeddings. The proposed modality-aware structure enables the model to effectively exploit information within each modality as well as foster cross-modal understanding. Our extensive experiments on financial datasets demonstrate that Modality-aware Transformer outperforms existing methods, offering a novel and practical solution to the complex challenges of multi-modal financial time series forecasting.


title: Distributional Extension and Invertibility of the $k$-Plane Transform and Its Dual

abstract: We investigate the distributional extension of the $k$-plane transform in $\mathbb{R}^d$ and of related operators. We parameterize the $k$-plane domain as the Cartesian product of the Stiefel manifold of orthonormal $k$-frames in $\mathbb{R}^d$ with $\mathbb{R}^{d-k}$. This parameterization imposes an isotropy condition on the range of the $k$-plane transform which is analogous to the even condition on the range of the Radon transform. We use our distributional formalism to investigate the invertibility of the dual $k$-plane transform (the "backprojection" operator). We provide a systematic construction (via a completion process) to identify Banach spaces in which the backprojection operator is invertible and present some prototypical examples. These include the space of isotropic finite Radon measures and isotropic $L^p$-functions for $1 < p < \infty$. Finally, we apply our results to study a new form of regularization for inverse problems.


title: Back-Propagation Optimization and Multi-Valued Artificial Neural Networks for Highly Vivid Structural Color Filter Metasurfaces

abstract: We introduce a novel technique for designing color filter metasurfaces using a data-driven approach based on deep learning. Our innovative approach employs inverse design principles to identify highly efficient designs that outperform all the configurations in the dataset, which consists of 585 distinct geometries solely. By combining Multi-Valued Artificial Neural Networks and back-propagation optimization, we overcome the limitations of previous approaches, such as poor performance due to extrapolation and undesired local minima. Consequently, we successfully create reliable and highly efficient configurations for metasurface color filters capable of producing exceptionally vivid colors that go beyond the sRGB gamut. Furthermore, our deep learning technique can be extended to design various pixellated metasurface configurations with different functionalities.


title: COIN-LIO: Complementary Intensity-Augmented LiDAR Inertial Odometry

abstract: We present COIN-LIO, a LiDAR Inertial Odometry pipeline that tightly couples information from LiDAR intensity with geometry-based point cloud registration. The focus of our work is to improve the robustness of LiDAR-inertial odometry in geometrically degenerate scenarios, like tunnels or flat fields. We project LiDAR intensity returns into an intensity image, and propose an image processing pipeline that produces filtered images with improved brightness consistency within the image as well as across different scenes. To effectively leverage intensity as an additional modality, we present a novel feature selection scheme that detects uninformative directions in the point cloud registration and explicitly selects patches with complementary image information. Photometric error minimization in the image patches is then fused with inertial measurements and point-to-plane registration in an iterated Extended Kalman Filter. The proposed approach improves accuracy and robustness on a public dataset. We additionally publish a new dataset, that captures five real-world environments in challenging, geometrically degenerate scenes. By using the additional photometric information, our approach shows drastically improved robustness against geometric degeneracy in environments where all compared baseline approaches fail.


title: Mirror Diffusion Models for Constrained and Watermarked Generation

abstract: Modern successes of diffusion models in learning complex, high-dimensional data distributions are attributed, in part, to their capability to construct diffusion processes with analytic transition kernels and score functions. The tractability results in a simulation-free framework with stable regression losses, from which reversed, generative processes can be learned at scale. However, when data is confined to a constrained set as opposed to a standard Euclidean space, these desirable characteristics appear to be lost based on prior attempts. In this work, we propose Mirror Diffusion Models (MDM), a new class of diffusion models that generate data on convex constrained sets without losing any tractability. This is achieved by learning diffusion processes in a dual space constructed from a mirror map, which, crucially, is a standard Euclidean space. We derive efficient computation of mirror maps for popular constrained sets, such as simplices and $\ell_2$-balls, showing significantly improved performance of MDM over existing methods. For safety and privacy purposes, we also explore constrained sets as a new mechanism to embed invisible but quantitative information (i.e., watermarks) in generated data, for which MDM serves as a compelling approach. Our work brings new algorithmic opportunities for learning tractable diffusion on complex domains. Our code is available at https://github.com/ghliu/mdm


title: Fitted finite element methods for singularly perturbed elliptic problems of convection-diffusion type

abstract: Fitted finite element methods are constructed for a singularly perturbed convection-diffusion problem in two space dimensions. Exponential splines as basis functions are combined with Shishkin meshes to obtain a stable parameter-uniform numerical method. These schemes satisfy a discrete maximum principle. In the classical case, the numerical approximations converge, in the maximum pointwise norm, at a rate of second order and the approximations converge at a rate of first order for all values of the singular perturbation parameter.


title: Quick and Consistent Sparsity Estimation for Streaming Images with Noise

abstract: Given fruitful works in the image monitoring, there is a lack of data-driven tools guiding the practitioners to select proper monitoring procedures. The potential model mismatch caused by the arbitrary selection could deviate the empirical detection delay from their theoretical analysis and bias the prognosis. In the image monitoring, the sparsity of the underlying anomaly is one of the attributes on which the development of many monitoring procedures is highly based. This paper proposes a computational-friendly sparsity index, the corrected Hoyer index, to estimate the sparsity of the underlying anomaly interrupted by noise. We theoretically prove the consistency of the constructed sparsity index. We use simulations to validate the consistency and demonstrate the robustness against the noise. We also provide the insights on how to guide the real applications with the proposed sparsity index.


title: Dislocation dynamics in Ni-based superalloys: Parameterising dislocation trajectories from atomistic simulations

abstract: Nanoscale precipitates in the microstructure of nickel-based superalloys hinder dislocation motion, which results in an extraordinary strengthening effect at elevated temperatures. We used molecular dynamics (MD) with classical effective potential to observe the movement of an $\frac{a}{2}\langle110\rangle\{111\}$ edge dislocation under shear in pure Ni, which represents the Ni solid solution matrix, and extracted the locations of the dislocations. We show how a Differential Evolution Monte Carlo (DE-MC) analysis is an effective way to find the parameters of an equation of motion for the dislocation lines with quantified uncertainties. The parameters of interest were the effective mass, drag coefficient, and force experienced by the dislocation. The marginal parameter and joint posterior distributions were estimated from the accepted samples produced by the DE-MC algorithm. The equation of motion and parameter distributions were used to predict the dislocation positions and velocities at the simulation timesteps, and the mean fit was found to match the MD trajectories with a root mean square error (RMSE) of \SI{0.2}{\nano\metre}. We also discuss how the selected model can be extended to account for the presence of multiple dislocations as well as dislocation-precipitate interactions. This work serves as the first step towards building a predictive surrogate model that describes the deformation behaviour of Ni-based superalloys.


title: Detection of long-lasting aurora-like radio emission above a sunspot

abstract: Auroral radio emissions in planetary magnetospheres typically feature highly polarized, intense radio bursts, usually attributed to electron cyclotron maser (ECM) emission from energetic electrons in the planetary polar region that features a converging magnetic field. Similar bursts have been observed in magnetically active low-mass stars and brown dwarfs, often prompting analogous interpretations. Here we report observations of long-lasting solar radio bursts with high brightness temperature, wide bandwidth, and high circular polarization fraction akin to these auroral/exo-auroral radio emissions, albeit two to three orders of magnitude weaker than those on certain low-mass stars. Spatially, spectrally, and temporally resolved analysis suggests that the source is located above a sunspot where a strong, converging magnetic field is present. The source morphology and frequency dispersion are consistent with ECM emission due to precipitating energetic electrons produced by recurring flares nearby. Our findings offer new insights into the origin of such intense solar radio bursts and may provide an alternative explanation for auroral-like radio emissions on other flare stars with large starspots.


title: Magnetogenesis in non-local models during inflation

abstract: The generation of magnetic fields during inflation in an electromagnetic model with a non-local form factor in Maxwell`s action is studied. The equations of motion for the electromagnetic field are derived and solved. It is found that the conformal symmetry breaking due to the non-local form factor does not lead to the generation of magnetic fields during inflation in the absence of interaction with the inflaton field. If such a coupling takes place, then the presence of the form factor inhibits the generation of primordial magnetic fields compared to the case where the non-local form factor is absent.


title: Characterizing the Velocity-Space Signature of Electron Landau Damping

abstract: Plasma turbulence plays a critical role in the transport of energy from large-scale magnetic fields and plasma flows to small scales, where the dissipated turbulent energy ultimately leads to heating of the plasma species. A major goal of the broader heliophysics community is to identify the physical mechanisms responsible for the dissipation of the turbulence and to quantify the consequent rate of plasma heating. One of the mechanisms proposed to damp turbulent fluctuations in weakly collisional space and astrophysical plasmas is electron Landau damping. The velocity-space signature of electron energization by Landau damping can be identified using the recently developed field-particle correlation technique. Here, we perform a suite of gyrokinetic turbulence simulations with ion plasma beta values of 0.01, 0.1, 1, and 10 and use the field-particle correlation technique to characterize the features of the velocity-space signatures of electron Landau damping in turbulent plasma conditions consistent with those observed in the solar wind and planetary magnetospheres. We identify the key features of the velocity-space signatures of electron Landau damping as a function of varying plasma \beta_i to provide a critical framework for interpreting the results of field-particle correlation analysis of in situ spacecraft observations of plasma turbulence.


title: Kinetic trapping of charge-transfer molecules at metal interfaces

abstract: Despite the common expectation that conjugated organic molecules on metals tend to adsorb in a flat-lying wetting layer, several recent studies have found strong indications for coverage-dependent transitions to upright-standing phases, which exhibit notably different physical properties. In this work, we argue that from an energetic perspective, thermodynamically stable upright-standing phases may be more common than hitherto thought. However, for kinetic reasons this phase may often not be observed experimentally. Indeed, using first principles kinetic Monte Carlo simulations, we find that the structure with lower molecular density is (almost) always formed first, reminiscent of Ostwalds rule of stages. The phase transitions to the thermodynamically stable upright-standing phase are likely to be kinetically hindered under conditions typically used in surface science (gas phase adsorption at low flux). This provides a possible explanation why they are commonly not observed. Investigating both the role of the growth conditions and the energetics of the interface, we find that the time for the phase transition is determined mostly by the deposition rate and, thus, mostly independent of the nature of the molecule.


title: Rationality and arithmetic of the moduli of abelian varieties

abstract: We study the rationality properties of the moduli space $\mathcal{A}_g$ of principally polarised abelian $g$-folds over $\mathbb{Q}$ and apply the results to arithmetic questions. In particular we show that any principally polarised abelian threefold over $\mathbb{F}_p$ may be lifted to an abelian variety over $\mathbb{Q}$. This is a phenomenon of low dimension: assuming the Bombieri-Lang conjecture we also show that this is not the case for abelian varieties of dimension at least seven. About moduli spaces, we show that $\mathcal{A}_g$ is unirational over $\mathbb{Q}$ for $g \leq 5$ and stably rational for $g=3$. This also allows us to make unconditional one of the results of Masser and Zannier about the existence of abelian varieties over $\mathbb{Q}$ that are not isogenous to Jacobians.


title: The double fermionic contribution to the four-loop quark-to-gluon splitting function

abstract: We have computed the first 30 even-N moments for the double fermionic (nf^2) part of the quark-to-gluon splitting function P_{gq} at the fourth order of perturbative QCD via the renormalization of off-shell operator matrix elements. From these results we have determined the all-N form, and hence the exact x-space expression, using systems of Diophantine equations for its coefficients. The dominant and subdominant leading small-x nf^2 contributions to P_{gq}^(3)(x) are of the form 1/x ln x and ln^4 x, respectively; the leading large-x term is ln^4 (1-x). The coefficient of the first of these is new, the other two agree with results obtained before and thus provide checks of our results.


title: Heat bath in a quantum circuit

abstract: We discuss the concept and realization of a heat bath in solid state quantum systems. First we demonstrate that, unlike a true resistor, a finite one-dimensional Josephson junction array or analogously a transmission line with non-vanishing frequency spacing does not strictly qualify as a Caldeira-Leggett type dissipative environment. We then consider a set of quantum two-level systems as a bath, which can be realized as a collection of qubits. We demonstrate that only a dense and wide distribution of energies of the two-level systems can secure long Poincare recurrence times characteristic of a proper heat bath. An alternative for this bath is a collection of harmonic oscillators, for instance in form of superconducting resonators.


title: Self-supervised Learning for Anomaly Detection in Computational Workflows

abstract: Anomaly detection is the task of identifying abnormal behavior of a system. Anomaly detection in computational workflows is of special interest because of its wide implications in various domains such as cybersecurity, finance, and social networks. However, anomaly detection in computational workflows~(often modeled as graphs) is a relatively unexplored problem and poses distinct challenges. For instance, when anomaly detection is performed on graph data, the complex interdependency of nodes and edges, the heterogeneity of node attributes, and edge types must be accounted for. Although the use of graph neural networks can help capture complex inter-dependencies, the scarcity of labeled anomalous examples from workflow executions is still a significant challenge. To address this problem, we introduce an autoencoder-driven self-supervised learning~(SSL) approach that learns a summary statistic from unlabeled workflow data and estimates the normal behavior of the computational workflow in the latent space. In this approach, we combine generative and contrastive learning objectives to detect outliers in the summary statistics. We demonstrate that by estimating the distribution of normal behavior in the latent space, we can outperform state-of-the-art anomaly detection methods on our benchmark datasets.


title: Improving Emotional Expression and Cohesion in Image-Based Playlist Description and Music Topics: A Continuous Parameterization Approach

abstract: Text generation in image-based platforms, particularly for music-related content, requires precise control over text styles and the incorporation of emotional expression. However, existing approaches often need help to control the proportion of external factors in generated text and rely on discrete inputs, lacking continuous control conditions for desired text generation. This study proposes Continuous Parameterization for Controlled Text Generation (CPCTG) to overcome these limitations. Our approach leverages a Language Model (LM) as a style learner, integrating Semantic Cohesion (SC) and Emotional Expression Proportion (EEP) considerations. By enhancing the reward method and manipulating the CPCTG level, our experiments on playlist description and music topic generation tasks demonstrate significant improvements in ROUGE scores, indicating enhanced relevance and coherence in the generated text.


title: Probing nontensorial gravitational waves with a next-generation ground-based detector network

abstract: In General Relativity, there are only two polarizations for gravitational waves. However, up to six polarizations are possible in a generic metric theory of gravity. Therefore, measuring the polarization content of gravitational waves provides an efficient way to test theories of gravity. We analyze the sensitivity of a next-generation ground-based detector network to nontensorial polarizations. We present our method to localize GW signals in the time-frequency domain and construct the model-independent null stream for events with known sky locations. We obtain results based on simulations of binary neutron star mergers in a six-detector network. For a single event at a luminosity distance $D_L=100 \, {\rm Mpc}$, at $5\sigma$ confidence, the smallest amplitude for detection of scalar and vector modes relative to tensor modes are respectively $A_{s}=0.045 $ and $A_{v}=0.014 $. For multiple events in an averaged observing run of 10 years, the detection limits at $5\sigma$ confidence are $A_s=0.05$ and $A_v=0.02$. If we are fortunate, a few strong events might significantly improve the limits.


title: Impact of large-scale hydrogen electrification and retrofitting of natural gas infrastructure on the European power system

abstract: In this paper, we aim to analyse the impact of hydrogen production decarbonisation and electrification scenarios on the infrastructure development, generation mix, $CO_{2}$ emissions, and system costs of the European power system, considering the retrofit of the natural gas infrastructure. We define a reference scenario for the European power system in 2050 and use scenario variants to obtain additional insights by breaking down the effects of different assumptions. The scenarios were analysed using the European electricity market model COMPETES, including a proposed formulation to consider retrofitting existing natural gas networks to transport hydrogen instead of methane. According to the results, 60% of the EU's hydrogen demand is electrified, and approximately 30% of the total electricity demand will be to cover that hydrogen demand. The primary source of this electricity would be non-polluting technologies. Moreover, hydrogen flexibility significantly increases variable renewable energy investment and production, and reduces $CO_{2}$ emissions. In contrast, relying on only electricity transmission increases costs and $CO_{2}$ emissions, emphasising the importance of investing in an $H_{2}$ network through retrofitting or new pipelines. In conclusion, this paper shows that electrifying hydrogen is necessary and cost-effective to achieve the EU's objective of reducing long-term emissions.


title: Generating 3D Brain Tumor Regions in MRI using Vector-Quantization Generative Adversarial Networks

abstract: Medical image analysis has significantly benefited from advancements in deep learning, particularly in the application of Generative Adversarial Networks (GANs) for generating realistic and diverse images that can augment training datasets. However, the effectiveness of such approaches is often limited by the amount of available data in clinical settings. Additionally, the common GAN-based approach is to generate entire image volumes, rather than solely the region of interest (ROI). Research on deep learning-based brain tumor classification using MRI has shown that it is easier to classify the tumor ROIs compared to the entire image volumes. In this work, we present a novel framework that uses vector-quantization GAN and a transformer incorporating masked token modeling to generate high-resolution and diverse 3D brain tumor ROIs that can be directly used as augmented data for the classification of brain tumor ROI. We apply our method to two imbalanced datasets where we augment the minority class: (1) the Multimodal Brain Tumor Segmentation Challenge (BraTS) 2019 dataset to generate new low-grade glioma (LGG) ROIs to balance with high-grade glioma (HGG) class; (2) the internal pediatric LGG (pLGG) dataset tumor ROIs with BRAF V600E Mutation genetic marker to balance with BRAF Fusion genetic marker class. We show that the proposed method outperforms various baseline models in both qualitative and quantitative measurements. The generated data was used to balance the data in the brain tumor types classification task. Using the augmented data, our approach surpasses baseline models by 6.4% in AUC on the BraTS 2019 dataset and 4.3% in AUC on our internal pLGG dataset. The results indicate the generated tumor ROIs can effectively address the imbalanced data problem. Our proposed method has the potential to facilitate an accurate diagnosis of rare brain tumors using MRI scans.


title: Pre-training Contextual Location Embeddings in Personal Trajectories via Efficient Hierarchical Location Representations

abstract: Pre-training the embedding of a location generated from human mobility data has become a popular method for location based services. In practice, modeling the location embedding is too expensive, due to the large number of locations to be trained in situations with fine-grained resolution or extensive target regions. Previous studies have handled less than ten thousand distinct locations, which is insufficient in the real-world applications. To tackle this problem, we propose a Geo-Tokenizer, designed to efficiently reduce the number of locations to be trained by representing a location as a combination of several grids at different scales. In the Geo-Tokenizer, a grid at a larger scale shares the common set of grids at smaller scales, which is a key factor in reducing the size of the location vocabulary. The sequences of locations preprocessed with the Geo-Tokenizer are utilized by a causal location embedding model to capture the temporal dependencies of locations. This model dynamically calculates the embedding vector of a target location, which varies depending on its trajectory. In addition, to efficiently pre-train the location embedding model, we propose the Hierarchical Auto-regressive Location Model objective to effectively train decomposed locations in the Geo-Tokenizer. We conducted experiments on two real-world user trajectory datasets using our pre-trained location model. The experimental results show that our model significantly improves the performance of downstream tasks with fewer model parameters compared to existing location embedding methods.


title: Oxysulfide Perovskites: Reduction of the Electronic Band Gap of RbTaO3 by Sulfur Substitution to Enhance Prospective Solar Cell and Thermoelectric Performances

abstract: In this study, the effects of sulfur substitution on the structural, mechanical, electronic, optical, and thermodynamic properties of RbTaO3-xSx have been investigated using the WIEN2k code in the framework of density functional theory (DFT). The cubic phase of RbTaO3 transforms to tetragonal for RbTaO2S and RbTaOS2, the later transforms again to a cubic phase with added sulfur for RbTaS3. The results showed that substituting S for O anions in RbTaO3 effectively decreased the band gap from 2.717 eV to 1.438 eV, 0.286 eV, and 0.103 eV for the RbTaO3,RbTaO2S, RbTaOS2, and RbTaS3 compounds, respectively. The optical constants such as dielectric constants, refractive index, absorption coefficient, photoconductivity, reflectivity and loss function have been calculated and analyzed. The elastic constants and moduli, and their anisotropic nature were also investigated. Finally, the Debye temperature, thermal conductivity, melting temperature, specific capacities and thermal expansion coefficients were computed and analyzed using established formalisms. The reduced band gap (1.438 eV) and high absorption coefficient (~106 cm-1) of RbTaO2S makes it suitable for solar cell applications and for other visible light devices. Reduction of the band gap and phonon thermal conductivity owing to Ssubstitution is expected to enhance thermoelectric performances of the S-containing phases


title: Containment for Binary Guarded Monotone SNP

abstract: Guarded Monotone Strict NP (GMSNP) extends the class of Monotone Monadic Strict NP (MMSNP) by allowing existentially quantified relations of arities greater than 1 but restricting them to always be guarded by input relations. The containment problem is characterized for MMSNP by the existence of a recoloring which is a mapping between the sets of second-order variables of the two given logical sentences that satisfies some specific properties. This paper extends this characterization to GMSNP problems, where the input signature consists of unary and binary relation symbols.


title: Physics-Dynamics-Chemistry Coupling Across Different Meshes in LFRic-Atmosphere: Formulation and Idealised Tests

abstract: The main components of an atmospheric model for numerical weather prediction are the dynamical core, which describes the resolved flow, and the physical parametrisations, which capture the effects of unresolved processes. Additionally, models used for air quality or climate applications may include a component that represents the evolution of chemicals and aerosols within the atmosphere. While traditionally all these components use the same mesh with the same resolution, we present a formulation for the different components to use a series of nested meshes, with different horizontal resolutions. This gives the model greater flexibility in the allocation of computational resources, so that resolution can be targeted to those parts which provide the greatest benefits in accuracy. The formulation presented here concerns the methods for mapping fields between meshes, and is designed for the compatible finite element discretisation used by LFRic-Atmosphere, the Met Office's next-generation atmosphere model. Key properties of the formulation include the consistent and conservative transport of tracers on a mesh that is coarser than the dynamical core, and the handling of moisture to ensure mass conservation without generation of unphysical negative values. Having presented the formulation, it is then demonstrated through a series of idealised test cases which show the feasibility of this approach.


title: The Gevrey class implicit mapping theorem with application to UQ of semilinear elliptic PDEs

abstract: This article is concerned with a regularity analysis of parametric operator equations with a perspective on uncertainty quantification. We study the regularity of mappings between Banach spaces near branches of isolated solutions that are implicitly defined by a residual equation. Under $s$-Gevrey assumptions on on the residual equation, we establish $s$-Gevrey bounds on the Fr\'echet derivatives of the local data-to-solution mapping. This abstract framework is illustrated in a proof of regularity bounds for a semilinear elliptic partial differential equation with parametric and random field input.


title: EvenQuads Game and Error-Correcting Codes

abstract: EvenQuads is a new card game that is a generalization of the SET game, where each card is characterized by three attributes, each taking four possible values. Four cards form a quad when, for each attribute, the values are the same, all different, or half and half. Given $\ell$ cards from the deck of EvenQuads, we can build an error-correcting linear binary code of length $\ell$ and Hamming distance 4. The quads correspond to codewords of weight 4. Error-correcting codes help us calculate the possible number of quads when given up to 8 cards. We also estimate the number of cards that do not contain quads for decks of different sizes. In addition, we discuss properties of error-correcting codes built on semimagic, magic, and strongly magic quad squares.


title: MobileNVC: Real-time 1080p Neural Video Compression on a Mobile Device

abstract: Neural video codecs have recently become competitive with standard codecs such as HEVC in the low-delay setting. However, most neural codecs are large floating-point networks that use pixel-dense warping operations for temporal modeling, making them too computationally expensive for deployment on mobile devices. Recent work has demonstrated that running a neural decoder in real time on mobile is feasible, but shows this only for 720p RGB video. This work presents the first neural video codec that decodes 1080p YUV420 video in real time on a mobile device. Our codec relies on two major contributions. First, we design an efficient codec that uses a block-based motion compensation algorithm available on the warping core of the mobile accelerator, and we show how to quantize this model to integer precision. Second, we implement a fast decoder pipeline that concurrently runs neural network components on the neural signal processor, parallel entropy coding on the mobile GPU, and warping on the warping core. Our codec outperforms the previous on-device codec by a large margin with up to 48% BD-rate savings, while reducing the MAC count on the receiver side by $10 \times$. We perform a careful ablation to demonstrate the effect of the introduced motion compensation scheme, and ablate the effect of model quantization.


title: Faster and Accurate Neural Networks with Semantic Inference

abstract: Deep neural networks (DNN) usually come with a significant computational burden. While approaches such as structured pruning and mobile-specific DNNs have been proposed, they incur drastic accuracy loss. In this paper we leverage the intrinsic redundancy in latent representations to reduce the computational load with limited loss in performance. We show that semantically similar inputs share many filters, especially in the earlier layers. Thus, semantically similar classes can be clustered to create cluster-specific subgraphs. To this end, we propose a new framework called Semantic Inference (SINF). In short, SINF (i) identifies the semantic cluster the object belongs to using a small additional classifier and (ii) executes the subgraph extracted from the base DNN related to that semantic cluster for inference. To extract each cluster-specific subgraph, we propose a new approach named Discriminative Capability Score (DCS) that finds the subgraph with the capability to discriminate among the members of a specific semantic cluster. DCS is independent from SINF and can be applied to any DNN. We benchmark the performance of DCS on the VGG16, VGG19, and ResNet50 DNNs trained on the CIFAR100 dataset against 6 state-of-the-art pruning approaches. Our results show that (i) SINF reduces the inference time of VGG19, VGG16, and ResNet50 respectively by up to 35%, 29% and 15% with only 0.17%, 3.75%, and 6.75% accuracy loss (ii) DCS achieves respectively up to 3.65%, 4.25%, and 2.36% better accuracy with VGG16, VGG19, and ResNet50 with respect to existing discriminative scores (iii) when used as a pruning criterion, DCS achieves up to 8.13% accuracy gain with 5.82% less parameters than the existing state of the art work published at ICLR 2023 (iv) when considering per-cluster accuracy, SINF performs on average 5.73%, 8.38% and 6.36% better than the base VGG16, VGG19, and ResNet50.


title: SPELL: Semantic Prompt Evolution based on a LLM

abstract: Prompt engineering is a new paradigm for enhancing the performance of trained neural network models. For optimizing text-style prompts, existing methods usually individually operate small portions of a text step by step, which either breaks the fluency or could not globally adjust a prompt. Since large language models (LLMs) have powerful ability of generating coherent texts token by token, can we utilize LLMs for improving prompts? Based on this motivation, in this paper, considering a trained LLM as a text generator, we attempt to design a black-box evolution algorithm for automatically optimizing texts, namely SPELL (Semantic Prompt Evolution based on a LLM). The proposed method is evaluated with different LLMs and evolution parameters in different text tasks. Experimental results show that SPELL could rapidly improve the prompts indeed. We further explore the evolution process and discuss on the limitations, potential possibilities and future work.


title: $\mu$2mech: a Software Package Combining Microstructure Modeling and Mechanical Property Prediction

abstract: We have developed a graphical user interface (GUI) based package $\mu$2mech to perform phase-field simulation for predicting microstructure evolution. The package can take inputs from ab initio calculations and CALPHAD (Calculation of Phase Diagrams) tools for quantitative microstructure prediction. The package also provides a seamless connection to transfer output from the mesoscale phase field method to the microscale finite element analysis for mechanical property prediction. Such a multiscale simulation package can facilitate microstructure-property correlation, one of the cornerstones in accelerated materials development within the integrated computational materials engineering (ICME) framework.


title: Non-Exchangeable Conformal Risk Control

abstract: Split conformal prediction has recently sparked great interest due to its ability to provide formally guaranteed uncertainty sets or intervals for predictions made by black-box neural models, ensuring a predefined probability of containing the actual ground truth. While the original formulation assumes data exchangeability, some extensions handle non-exchangeable data, which is often the case in many real-world scenarios. In parallel, some progress has been made in conformal methods that provide statistical guarantees for a broader range of objectives, such as bounding the best $F_1$-score or minimizing the false negative rate in expectation. In this paper, we leverage and extend these two lines of work by proposing non-exchangeable conformal risk control, which allows controlling the expected value of any monotone loss function when the data is not exchangeable. Our framework is flexible, makes very few assumptions, and allows weighting the data based on its relevance for a given test example; a careful choice of weights may result on tighter bounds, making our framework useful in the presence of change points, time series, or other forms of distribution drift. Experiments with both synthetic and real world data show the usefulness of our method.


title: Systematic effects on the upcoming NIKA2 LPSZ scaling relation

abstract: In cluster cosmology, cluster masses are the main parameter of interest. They are needed to constrain cosmological parameters through the cluster number count. As the mass is not an observable, a scaling relation is needed to link cluster masses to the integrated Compton parameters Y, i.e. the Sunyaev-Zeldovich observable (SZ). Planck cosmological results obtained with cluster number counts are based on a scaling relation measured with clusters at low redshift ($z$<0.5) observed in SZ and X-ray. In the SZ Large Program (LPSZ) of the NIKA2 collaboration, the scaling relation will be obtained with a sample of 38 clusters at intermediate to high redshift ($0.5<z<0.9$) and observed at high angular resolution in both SZ and X-ray. Thanks to analytical simulation of LPSZ-like samples, we take into account the LPSZ selection function and correct for its effects. Besides, we show that white and correlated noises in the SZ maps do not affect the scaling relation estimation.


title: Cell-Free Bistatic Backscatter Communication: Channel Estimation, Optimization, and Performance Analysis

abstract: This study introduces and investigates the integration of a cell-free architecture with bistatic backscatter communication (BiBC), referred to as cell-free BiBC or distributed access point (AP)-assisted BiBC, which can enable potential applications in future (EH)-based Internet-of-Things (IoT) networks. To that purpose, we first present a pilot-based channel estimation scheme for estimating the direct, cascaded, forward channels of the proposed system setup. We next utilize the channel estimates for designing the optimal beamforming weights at the APs, reflection coefficients at the tags, and reception filters at the reader to maximize the tag sum rate while meeting the tags' minimum energy requirements. Because the proposed maximization problem is non-convex, we propose a solution based on alternative optimization, fractional programming, and Rayleigh quotient techniques. We also quantify the computational complexity of the developed algorithms. Finally, we present extensive numerical results to validate the proposed channel estimation scheme and optimization framework, as well as the performance of the integration of these two technologies. Compared to the random beamforming/combining benchmark, our algorithm yields impressive gains. For example, it achieves $\sim$ 64.8\% and $\sim$ 253.5\% gains in harvested power and tag sum rate, respectively, for 10 dBm with 36 APs and 3 tags.


title: Assessing the drag implications of hydrogen fuel utilization in small aircraft: a preliminary numerical analysis

abstract: The urgent need for cleaner, sustainable aviation fuels has driven interest in the use of hydrogen as a potential replacement for traditional hydrocarbon fuels in aviation. However, transitioning to hydrogen presents significant challenges due to its lower volumetric energy density which requires a larger fuel volume for equivalent energy. This study uses Computational Fluid Dynamics (CFD) simulations, utilizing the ANSYS Fluent 2022 R1 solver, to conduct a preliminary investigation on the aerodynamic implications of adopting hydrogen fuel in small aircraft, specifically the Bonanza G36. Three different types of hydrogen fuel - gaseous hydrogen at 350 bar, gaseous hydrogen at 700 bar, and liquid hydrogen - were considered. Despite a promising 64% reduction in fuel weight in comparison to gasoline, the volume required for hydrogen fuel was found to increase significantly, with values ranging from 263% to 896% compared to the base case. The aerodynamic impact was quantified in terms of drag, with the study revealing increases of 67.32%, 48.42%, and 27.05% for gaseous hydrogen at 350 bar, gaseous hydrogen at 700 bar, and liquid hydrogen respectively. While the findings present a challenge, they also set a platform for exploring innovative fuel tank designs and drag reduction technologies to mitigate these effects. This study underscores the complexities involved in transitioning to hydrogen fuel in aviation, contributing valuable insights to guide further research towards sustainable aviation.


title: Stabilizing the calculation of the self-energy in dynamical mean-field theory using constrained residual minimization

abstract: We propose a simple and efficient method to calculate the electronic self-energy in dynamical mean-field theory (DMFT), addressing a numerical instability often encountered when solving the Dyson equation. Our approach formulates the Dyson equation as a constrained optimization problem with a simple quadratic objective. The constraints on the self-energy are obtained via direct measurement of the leading order terms of its asymptotic expansion within a continuous time quantum Monte Carlo framework, and the use of the compact discrete Lehmann representation of the self-energy yields an optimization problem in a modest number of unknowns. We benchmark our method for the non-interacting Bethe lattice, as well as DMFT calculations for both model systems and \textit{ab-initio} applications.


title: Cooperative Graph Neural Networks

abstract: Graph neural networks are popular architectures for graph machine learning, based on iterative computation of node representations of an input graph through a series of invariant transformations. A large class of graph neural networks follow a standard message-passing paradigm: at every layer, each node state is updated based on an aggregate of messages from its neighborhood. In this work, we propose a novel framework for training graph neural networks, where every node is viewed as a player that can choose to either 'listen', 'broadcast', 'listen and broadcast', or to 'isolate'. The standard message propagation scheme can then be viewed as a special case of this framework where every node 'listens and broadcasts' to all neighbors. Our approach offers a more flexible and dynamic message-passing paradigm, where each node can determine its own strategy based on their state, effectively exploring the graph topology while learning. We provide a theoretical analysis of the new message-passing scheme which is further supported by an extensive empirical analysis on a synthetic dataset and on real-world datasets.


title: Resistless EUV lithography: photon-induced oxide patterning on silicon

abstract: In this work, we show the feasibility of extreme ultraviolet (EUV) patterning on an HF-treated Si(100) surface in the absence of a photoresist. EUV lithography is the leading lithography technique in semiconductor manufacturing due to its high resolution and throughput, but future progress in resolution can be hampered because of the inherent limitations of the resists. We show that EUV photons can induce surface reactions on a partially H-terminated Si surface and assist the growth of an oxide layer, which serves as an etch mask. This mechanism is different from the H-desorption in scanning tunneling microscopy-based lithography. We achieve SiO2/Si gratings with 75 nm half-pitch and 31 nm height, demonstrating the efficacy of the method and the feasibility of patterning with EUV lithography without the use of a photoresist. Further development of the resistless EUV lithography method can be a viable approach to nm-scale lithography by overcoming the inherent resolution and roughness limitations of photoresist materials.


title: Nonlinear expansions in reproducing kernel Hilbert spaces

abstract: We introduce an expansion scheme in reproducing kernel Hilbert spaces, which as a special case covers the celebrated Blaschke unwinding series expansion for analytic functions. The expansion scheme is further generalized to cover Hardy spaces $H^p$, $1<p<\infty$, viewed as Banach spaces of analytic functions with bounded evaluation functionals. In this setting a dichotomy is more transparent: depending on the multipliers used, the expansion of $f \in H^p$ converges either to $f$ in $H^p$-norm or to its projection onto a model space generated by the corresponding multipliers. Some explicit instances of the general expansion scheme, which are not covered by the previously known methods, are also discussed.


title: Caylerian polynomials

abstract: The Eulerian polynomials enumerate permutations according to their number of descents. We initiate the study of descent polynomials over Cayley permutations, which we call Caylerian polynomials. Some classical results are generalized by linking Caylerian polynomials to Burge words and Burge matrices. The $\gamma$-nonegativity of the two-sided Eulerian polynomials is reformulated in terms of Burge structures. Finally, Cayley permutations with a prescribed ascent set are shown to be counted by Burge matrices with fixed row sums.


title: LEEC: A Legal Element Extraction Dataset with an Extensive Domain-Specific Label System

abstract: As a pivotal task in natural language processing, element extraction has gained significance in the legal domain. Extracting legal elements from judicial documents helps enhance interpretative and analytical capacities of legal cases, and thereby facilitating a wide array of downstream applications in various domains of law. Yet existing element extraction datasets are limited by their restricted access to legal knowledge and insufficient coverage of labels. To address this shortfall, we introduce a more comprehensive, large-scale criminal element extraction dataset, comprising 15,831 judicial documents and 159 labels. This dataset was constructed through two main steps: first, designing the label system by our team of legal experts based on prior legal research which identified critical factors driving and processes generating sentencing outcomes in criminal cases; second, employing the legal knowledge to annotate judicial documents according to the label system and annotation guideline. The Legal Element ExtraCtion dataset (LEEC) represents the most extensive and domain-specific legal element extraction dataset for the Chinese legal system. Leveraging the annotated data, we employed various SOTA models that validates the applicability of LEEC for Document Event Extraction (DEE) task. The LEEC dataset is available on https://github.com/THUlawtech/LEEC .


title: A Unified View on Neural Message Passing with Opinion Dynamics for Social Networks

abstract: Social networks represent a common form of interconnected data frequently depicted as graphs within the domain of deep learning-based inference. These communities inherently form dynamic systems, achieving stability through continuous internal communications and opinion exchanges among social actors along their social ties. In contrast, neural message passing in deep learning provides a clear and intuitive mathematical framework for understanding information propagation and aggregation among connected nodes in graphs. Node representations are dynamically updated by considering both the connectivity and status of neighboring nodes. This research harmonizes concepts from sociometry and neural message passing to analyze and infer the behavior of dynamic systems. Drawing inspiration from opinion dynamics in sociology, we propose ODNet, a novel message passing scheme incorporating bounded confidence, to refine the influence weight of local nodes for message propagation. We adjust the similarity cutoffs of bounded confidence and influence weights of ODNet and define opinion exchange rules that align with the characteristics of social network graphs. We show that ODNet enhances prediction performance across various graph types and alleviates oversmoothing issues. Furthermore, our approach surpasses conventional baselines in graph representation learning and proves its practical significance in analyzing real-world co-occurrence networks of metabolic genes. Remarkably, our method simplifies complex social network graphs solely by leveraging knowledge of interaction frequencies among entities within the system. It accurately identifies internal communities and the roles of genes in different metabolic pathways, including opinion leaders, bridge communicators, and isolators.


title: Learning manipulation of steep granular slopes for fast Mini Rover turning

abstract: Future planetary exploration missions will require reaching challenging regions such as craters and steep slopes. Such regions are ubiquitous and present science-rich targets potentially containing information regarding the planet's internal structure. Steep slopes consisting of low-cohesion regolith are prone to flow downward under small disturbances, making it very challenging for autonomous rovers to traverse. Moreover, the navigation trajectories of rovers are heavily limited by the terrain topology and future systems will need to maneuver on flowable surfaces without getting trapped, allowing them to further expand their reach and increase mission efficiency. In this work, we used a laboratory-scale rover robot and performed maneuvering experiments on a steep granular slope of poppy seeds to explore the rover's turning capabilities. The rover is capable of lifting, sweeping, and spinning its wheels, allowing it to execute leg-like gait patterns. The high-dimensional actuation capabilities of the rover facilitate effective manipulation of the underlying granular surface. We used Bayesian Optimization (BO) to gain insight into successful turning gaits in high dimensional search space and found strategies such as differential wheel spinning and pivoting around a single sweeping wheel. We then used these insights to further fine-tune the turning gait, enabling the rover to turn 90 degrees at just above 4 seconds with minimal slip. Combining gait optimization and human-tuning approaches, we found that fast turning is empowered by creating anisotropic torques with the sweeping wheel.


title: Constraining MeV Neutrino Emission of Bright Transients with IceCube

abstract: MeV neutrinos are produced in many astrophysical transients, such as stellar collapses and high-energy jets, where they play a role in sustaining and cooling energetic explosions. Detecting these neutrinos from sources outside the Milky Way is very difficult due to the small neutrino-nucleon cross section at MeV. Nevertheless, the non-observation of MeV neutrinos from high-energy transients may provide useful constraints on related neutrino production mechanisms where significant MeV production is expected. The IceCube Neutrino Observatory, a cubic kilometer neutrino detector operating with nearly 100% uptime at the South Pole, is sensitive to bursts of MeV neutrinos from astrophysical sources in and beyond the Milky Way. In this work, we describe the MeV neutrino detection system of IceCube and show results from several categories of astrophysical transients.


title: Correlation-induced phase transitions and mobility edges in an interacting non-Hermitian quasicrystal

abstract: Non-Hermitian quasicrystal constitutes a unique class of disordered open system with PT-symmetry breaking, localization and topological triple phase transitions. In this work, we uncover the effect of quantum correlation on phase transitions and entanglement dynamics in non-Hermitian quasicrystals. Focusing on two interacting bosons in a Bose-Hubbard lattice with quasiperiodically modulated gain and loss, we find that the onsite interaction between bosons could drag the PT and localization transition thresholds towards weaker disorder regions compared with the noninteracting case. Moreover, the interaction facilitates the expansion of the critical point of a triple phase transition in the noninteracting system into a critical phase with mobility edges, whose domain could be flexibly controlled by tuning the interaction strength. Systematic analyses of the spectrum, inverse participation ratio, topological winding number, wavepacket dynamics and entanglement entropy lead to consistent predictions about the correlation-driven phases and transitions in our system. Our findings pave the way for further studies of the interplay between disorder and interaction in non-Hermitian quantum matter.


title: The UNCOVER Survey: A First-look HST+JWST Catalog of Galaxy Redshifts and Stellar Population Properties Spanning $0.2 \lesssim z \lesssim 15$

abstract: The recent UNCOVER survey with the James Webb Space Telescope (JWST) exploits the nearby cluster Abell 2744 to create the deepest view of our universe to date by leveraging strong gravitational lensing. In this work, we perform photometric fitting of more than 50,000 robustly detected sources out to $z \sim 15$. We show the redshift evolution of stellar ages, star formation rates, and rest-frame colors across the full range of $0.2 \lesssim z \lesssim 15$. The galaxy properties are inferred using the Prospector Bayesian inference framework using informative Prospector-$\beta$ priors on masses and star formation histories to produce joint redshift and stellar population posteriors, and additionally lensing magnification is performed on-the-fly to ensure consistency with the scale-dependent priors. We show that this approach produces excellent photometric redshifts with $\sigma_{\rm NMAD} \sim 0.03$, of a similar quality to the established photometric redshift code EAzY. In line with the open-source scientific objective of the Treasury survey, we publicly release the stellar population catalog with this paper, derived from the photometric catalog adapting aperture sizes based on source profiles. This release includes posterior moments, maximum-likelihood spectra, star-formation histories, and full posterior distributions, offering a rich data set to explore the processes governing galaxy formation and evolution over a parameter space now accessible by JWST.


title: Characterization and Absolute Calibration of the Far Infrared Field Integral Line Spectrometer for SOFIA

abstract: We present the characterization and definitive flux calibration of the Far-Infrared Field Integral Line Spectrometer (FIFI-LS) instrument on-board SOFIA. The work is based on measurements made in the laboratory with an internal calibrator and on observations of planets, moons, and asteroids as absolute flux calibrators made during the entire lifetime of the instrument. We describe the techniques used to derive flat-fields, water vapor column estimates, detector linearity, spectral and spatial resolutions, and absolute flux calibration. Two sets of responses are presented, before and after the entrance filter window was changed in 2018 to improve the sensitivity at 52um, a wavelength range previously not covered by PACS on Herschel. The relative spectral response of each detector and the illumination pattern of the arrays of the FIFI-LS arrays are derived using the internal calibrator before each observational series. The linearity of the array response is estimated by considering observations of bright sources. We find that the deviation from linearity of the FIFI-LS arrays affects the flux estimations less than 1%. The flux calibration accuracy is estimated to be 15% or better across the entire wavelength range of the instrument. The limited availability of sky calibrators during each observational series is the major limiting factor of the flux calibration accuracy.


title: Open and Linked Data Model for Carbon Footprint Scenarios

abstract: Carbon footprint quantification is key to well-informed decision making over carbon reduction potential, both for individuals and for companies. Many carbon footprint case studies for products and services have been circulated recently. Due to the complex relationships within each scenario, however, the underlying assumptions often are difficult to understand. Also, re-using and adapting a scenario to local or individual circumstances is not a straightforward task. To overcome these challenges, we propose an open and linked data model for carbon footprint scenarios which improves data quality and transparency by design. We demonstrate the implementation of our idea with a web-based data interpreter prototype.


title: SPLENDAQ: A Detector-Agnostic Data Acquisition System for Small-Scale Physics Experiments

abstract: Many scientific applications from rare-event searches to condensed matter system characterization to high-rate nuclear experiments require time-domain triggering on a raw stream of data, where the triggering is generally threshold-based or randomly acquired. When carrying out detector R&D, there is a need for a general data acquisition (DAQ) system to quickly and efficiently process such data. In the SPLENDOR collaboration, we are developing the Python-based SPLENDAQ package for this exact purpose - it offers two main features for offline analysis of continuous data: a threshold-triggering algorithm based on the time-domain optimal filter formalism and an algorithm for randomly choosing nonoverlapping segments for noise measurements. Combined with the commercially available Moku platform, developed by Liquid Instruments, we have a full pipeline of event building off raw data with minimal setup. Here, we review the underlying principles of this detector-agnostic DAQ package and give concrete examples of its utility in various applications.


title: Emissive cathode immersed in a plasma: plasma-cathode interactions, operation and stability

abstract: Thermionic emission from a polycrystalline tungsten emissive cathode immersed in a magnetized plasma column is investigated experimentally and numerically. Electrical and optical measurements of the cathode temperature show a highly inhomogeneous cathode temperature profile due to plasma-cathode interactions. The spatially and temporally resolved cathode temperature profile provides an in-depth understanding of the thermionic electron current, in excellent agreement with experimental data. The plasma-cathode coupling leads to a sharp and heterogeneous rise in temperature along the cathode, which can eventually lead to unstable cathode operation, with divergent current growth. A detailed thermal modeling accurately reproduces the experimental measurements, and allows to quantify precisely the relative importance of heating and cooling mechanisms in the operation of the cathode immersed in the plasma. Numerical resolution of the resulting integro-differential equation highlights the essential role of heterogeneous ohmic heating and the importance of ion bombardment heating in the emergence of unstable regimes. Detailed thermal modelling enables operating regimes to be predicted in excellent agreement with experimental results.


title: An in-silico study of conventional and FLASH radiotherapy iso-effectiveness: Radiolytic oxygen depletion and its potential impact on tumor control probability

abstract: FLASH radiotherapy (FLASH-RT) has shown the potential to spare normal tissue while seemingly maintaining the effectiveness of conventional radiotherapy (CONV-RT). It has been suggested that the protective effect arises from the radiolytic oxygen depletion (ROD) caused by FLASH-RT, but it is not entirely clear why this protective effect is not observed in tumors. Iso-effectiveness has been experimentally observed in time-volume curves of preclinical tumors irradiated with FLASH and conventional radiotherapy, but it may not translate to clinical trials, where tumor control probability (TCP) is typically the investigated endpoint. In this work, we used mathematical models to investigate the iso-effectiveness of FLASH-RT/CONV-RT on tumors, focusing on the role of ROD. We used a spatiotemporal reaction-diffusion model, including ROD, to simulate tumor oxygenation. From those oxygen distributions we obtained surviving fractions (SFs), using the linear-quadratic model with oxygen enhancement ratios (OER). We then used the calculated SFs to describe the evolution of preclinical tumor volumes through a mathematical model of tumor response. We also calculated TCPs using the Poisson-LQ approach. Our study suggests that ROD causes differences in SF between FLASH-RT and CONV-RT, especially in low $\alpha$/$\beta$ and poorly oxygenated cells. These changes do not lead to significant differences in the evolution of preclinical tumors. However, when extrapolating this effect to TCP curves, we observed important differences between both techniques (TCP is lower in FLASH-RT). Nonetheless, it cannot be discarded that other effects not modeled in this work could contribute to tumor control and maintain the iso-effectiveness of FLASH-RT.


title: Grasping AI: experiential exercises for designers

abstract: Artificial intelligence (AI) and machine learning (ML) are increasingly integrated into the functioning of physical and digital products, creating unprecedented opportunities for interaction and functionality. However, there is a challenge for designers to ideate within this creative landscape, balancing the possibilities of technology with human interactional concerns. We investigate techniques for exploring and reflecting on the interactional affordances, the unique relational possibilities, and the wider social implications of AI systems. We introduced into an interaction design course (n=100) nine 'AI exercises' that draw on more than human design, responsible AI, and speculative enactment to create experiential engagements around AI interaction design. We find that exercises around metaphors and enactments make questions of training and learning, privacy and consent, autonomy and agency more tangible, and thereby help students be more reflective and responsible on how to design with AI and its complex properties in both their design process and outcomes.


title: The influence of coordinated behavior on toxicity

abstract: In the intricate landscape of social media genuine content dissemination may be altered by a number of threats. Coordinated Behavior (CB), defined as orchestrated efforts by entities to deceive or mislead users about their identity and intentions, emerges as a tactic to exploit or manipulate online discourse. This study delves into the relationship between CB and toxic conversation on Twitter. Using a dataset of 11 million tweets from 1 million users preceding the 2019 UK General Elections, we show that users displaying CB typically disseminate less harmful content, irrespective of political affiliation. However, distinct toxicity patterns emerge among different CB cohorts. Compared to their non-CB counterparts, CB participants show marginally elevated toxicity levels only when considering their original posts. We further show the effects of CB-driven toxic content on non-CB users, gauging its impact based on political leanings. Our findings suggest a nuanced but statistically significant influence of CB on digital discourse.


title: Pattern detection in bipartite networks: a review of terminology, applications and methods

abstract: Two dimensional matrices with binary (0/1) entries are a common data structure in many research fields. Examples include ecology, economics, mathematics, physics, psychometrics and others. Because the columns and rows of these matrices represent distinct entities, they can equivalently be expressed as a pair of bipartite networks that are linked by projection. A variety of diversity statistics and network metrics can then be used to quantify patterns in these matrices and networks. But what should these patterns be compared to? In all of these disciplines, researchers have recognized the necessity of comparing an empirical matrix to a benchmark set of "null" matrices created by randomizing certain elements of the original data. This common need has nevertheless promoted the independent development of methodologies by researchers who come from different backgrounds and use different terminology. Here, we provide a multidisciplinary review of randomization techniques for matrices representing binary, bipartite networks. We aim to translate the concepts from different technical domains into a common language that is accessible to a broad scientific audience. Specifically, after briefly reviewing examples of binary matrix structures across different fields, we introduce the major approaches and common strategies for randomizing these matrices. We then explore the details of and performance of specific techniques, and discuss their limitations and computational challenges. In particular, we focus on the conceptual importance and implementation of structural constraints on the randomization, such as preserving row or columns sums of the original matrix in each of the randomized matrices. Our review serves both as a guide for empiricists in different disciplines, as well as a reference point for researchers working on theoretical and methodological developments in matrix randomization methods.


title: Automated regime detection in multidimensional time series data using sliced Wasserstein k-means clustering

abstract: Recent work has proposed Wasserstein k-means (Wk-means) clustering as a powerful method to identify regimes in time series data, and one-dimensional asset returns in particular. In this paper, we begin by studying in detail the behaviour of the Wasserstein k-means clustering algorithm applied to synthetic one-dimensional time series data. We study the dynamics of the algorithm and investigate how varying different hyperparameters impacts the performance of the clustering algorithm for different random initialisations. We compute simple metrics that we find are useful in identifying high-quality clusterings. Then, we extend the technique of Wasserstein k-means clustering to multidimensional time series data by approximating the multidimensional Wasserstein distance as a sliced Wasserstein distance, resulting in a method we call `sliced Wasserstein k-means (sWk-means) clustering'. We apply the sWk-means clustering method to the problem of automated regime detection in multidimensional time series data, using synthetic data to demonstrate the validity of the approach. Finally, we show that the sWk-means method is effective in identifying distinct market regimes in real multidimensional financial time series, using publicly available foreign exchange spot rate data as a case study. We conclude with remarks about some limitations of our approach and potential complementary or alternative approaches.


title: A Dynamic Macroscopic Framework for Pricing of Ride-hailing Services with an Optional Bus Lane Access for Pool Vehicles

abstract: On-demand trip sharing is an efficient solution to mitigate the negative impact e-hailing has on congestion. It motivates platform operators to reduce their fleet size, and serves the same demand level with a lower effective distance traveled. Users nevertheless prefer to travel solo and for shorter distances despite the fare discount they receive. By offering them the choice to pool and travel in high occupancy dedicated bus lanes, we provide them with a larger incentive to share their rides, yet this creates additional bus delays. In this work, we develop dynamic feedback-based control schemes that adjust the price gap between solo and pool trips to improve multi-modal delays. First, we develop a modal- and space-dependent aggregate model for private vehicles, ride-pooling, and buses, and we use this model to test different control strategies. To minimize the error between the target and actual speeds in the bus network, we design a PI controller and show that by adjusting pool trip fares, we can, with little input data, minimize this error. We also put forward a Model Predictive Control (MPC) framework to minimize the total Passenger Hours Traveled (PHT) and Waiting Times (WT) for the different travelers. Moreover, we show how the MPC framework can be utilized to impose a minimum speed in dedicated bus lanes to ensure that the buses operate on schedule. The results mark the possibility of improving the overall network conditions by incentivizing or discouraging pooling in the vehicle or bus network.


title: GenQuery: Supporting Expressive Visual Search with Generative Models

abstract: Designers rely on visual search to explore and develop ideas in early design stages. However, designers can struggle to identify suitable text queries to initiate a search or to discover images for similarity-based search that can adequately express their intent. We propose GenQuery, a novel system that integrates generative models into the visual search process. GenQuery can automatically elaborate on users' queries and surface concrete search directions when users only have abstract ideas. To support precise expression of search intents, the system enables users to generatively modify images and use these in similarity-based search. In a comparative user study (N=16), designers felt that they could more accurately express their intents and find more satisfactory outcomes with GenQuery compared to a tool without generative features. Furthermore, the unpredictability of generations allowed participants to uncover more diverse outcomes. By supporting both convergence and divergence, GenQuery led to a more creative experience.


title: Offline Tracking with Object Permanence

abstract: To reduce the expensive labor cost for manual labeling autonomous driving datasets, an alternative is to automatically label the datasets using an offline perception system. However, objects might be temporally occluded. Such occlusion scenarios in the datasets are common yet underexplored in offline auto labeling. In this work, we propose an offline tracking model that focuses on occluded object tracks. It leverages the concept of object permanence which means objects continue to exist even if they are not observed anymore. The model contains three parts: a standard online tracker, a re-identification (Re-ID) module that associates tracklets before and after occlusion, and a track completion module that completes the fragmented tracks. The Re-ID module and the track completion module use the vectorized map as one of the inputs to refine the tracking results with occlusion. The model can effectively recover the occluded object trajectories. It achieves state-of-the-art performance in 3D multi-object tracking by significantly improving the original online tracking result, showing its potential to be applied in offline auto labeling as a useful plugin to improve tracking by recovering occlusions.


title: Chai's conjectures on base change conductors

abstract: The base change conductor is an invariant introduced by Chai which measures the failure of a semiabelian variety to have semiabelian reduction. We investigate the behaviour of this invariant in short exact sequences, as well as under duality and isogeny. Our results imply Chai's conjecture on the additivity of the base change conductor in short exact sequences, while also showing that a proposed generalisation of this conjecture fails. We use similar methods to show that the base change conductor is invariant under duality of Abelian varieties in equal positive characteristic (answering a question of Chai), as well as giving a new short proof of a formula due to Chai, Yu, and de Shalit which expresses the base change conductor of a torus in terms of its (rational) cocharacter module.


title: Knowledge Crosswords: Geometric Knowledge Reasoning with Large Language Models

abstract: We propose Knowledge Crosswords, a geometric knowledge reasoning benchmark consisting of incomplete knowledge networks bounded by structured factual constraints, where LLMs are tasked with inferring the missing facts to meet all constraints. The novel setting of geometric knowledge reasoning necessitates new LM abilities beyond existing atomic/linear multi-hop QA, such as backtracking, verifying facts and constraints, reasoning with uncertainty, and more. Knowledge Crosswords contains 2,101 individual problems, covering diverse knowledge domains, and is further divided into three difficulty levels. We conduct extensive experiments to evaluate existing LLMs and approaches on Knowledge Crosswords. Results demonstrate that baseline approaches struggle with larger knowledge networks and semantically-equivalent entity distractors. In light of their limitations, we propose two new approaches, Staged Prompting and Verify-All, to augment LLMs' abilities for error-aware backtracking and constraint verification. Our Verify-All significantly outperforms prior methods and is more robust towards problems in the hard subset. Further analysis shows that geometric knowledge reasoning poses new challenges to LLMs' knowledge abilities, particularly in robustness towards varying option orders, complex structural constraints in knowledge networks, "none of the above" scenarios, and more.