title: Target search by active particles

abstract: Active particles, which are self-propelled nonequilibrium systems, are modelled by overdamped Langevin equations with colored noise, emulating the self-propulsion. In this chapter, we present a review of the theoretical results for the target search problem of these particles. We focus on three most well-known models, namely, run-and-tumble particles, active Brownian particles, and direction reversing active Brownian particles, which differ in their self-propulsion dynamics. For each of these models, we discuss the first-passage and survival probabilities in the presence of an absorbing target. We also discuss how resetting helps the active particles find targets in a finite time.


title: Maximum Entropy Model Correction in Reinforcement Learning

abstract: We propose and theoretically analyze an approach for planning with an approximate model in reinforcement learning that can reduce the adverse impact of model error. If the model is accurate enough, it accelerates the convergence to the true value function too. One of its key components is the MaxEnt Model Correction (MoCo) procedure that corrects the model's next-state distributions based on a Maximum Entropy density estimation formulation. Based on MoCo, we introduce the Model Correcting Value Iteration (MoCoVI) algorithm, and its sampled-based variant MoCoDyna. We show that MoCoVI and MoCoDyna's convergence can be much faster than the conventional model-free algorithms. Unlike traditional model-based algorithms, MoCoVI and MoCoDyna effectively utilize an approximate model and still converge to the correct value function.

categories: cs.LG cs.AI cs.SY eess.SY math.OC stat.ML


title: Leveraging Graph Diffusion Models for Network Refinement Tasks

abstract: Most real-world networks are noisy and incomplete samples from an unknown target distribution. Refining them by correcting corruptions or inferring unobserved regions typically improves downstream performance. Inspired by the impressive generative capabilities that have been used to correct corruptions in images, and the similarities between "in-painting" and filling in missing nodes and edges conditioned on the observed graph, we propose a novel graph generative framework, SGDM, which is based on subgraph diffusion. Our framework not only improves the scalability and fidelity of graph diffusion models, but also leverages the reverse process to perform novel, conditional generation tasks. In particular, through extensive empirical analysis and a set of novel metrics, we demonstrate that our proposed model effectively supports the following refinement tasks for partially observable networks: T1: denoising extraneous subgraphs, T2: expanding existing subgraphs and T3: performing "style" transfer by regenerating a particular subgraph to match the characteristics of a different node or subgraph.


title: Gaussian Shell Maps for Efficient 3D Human Generation

abstract: Efficient generation of 3D digital humans is important in several industries, including virtual reality, social media, and cinematic production. 3D generative adversarial networks (GANs) have demonstrated state-of-the-art (SOTA) quality and diversity for generated assets. Current 3D GAN architectures, however, typically rely on volume representations, which are slow to render, thereby hampering the GAN training and requiring multi-view-inconsistent 2D upsamplers. Here, we introduce Gaussian Shell Maps (GSMs) as a framework that connects SOTA generator network architectures with emerging 3D Gaussian rendering primitives using an articulable multi shell--based scaffold. In this setting, a CNN generates a 3D texture stack with features that are mapped to the shells. The latter represent inflated and deflated versions of a template surface of a digital human in a canonical body pose. Instead of rasterizing the shells directly, we sample 3D Gaussians on the shells whose attributes are encoded in the texture features. These Gaussians are efficiently and differentiably rendered. The ability to articulate the shells is important during GAN training and, at inference time, to deform a body into arbitrary user-defined poses. Our efficient rendering scheme bypasses the need for view-inconsistent upsamplers and achieves high-quality multi-view consistent renderings at a native resolution of $512 \times 512$ pixels. We demonstrate that GSMs successfully generate 3D humans when trained on single-view datasets, including SHHQ and DeepFashion.


title: On the Limits of Regression Adjustment

abstract: Regression adjustment, sometimes known as Controlled-experiment Using Pre-Experiment Data (CUPED), is an important technique in internet experimentation. It decreases the variance of effect size estimates, often cutting confidence interval widths in half or more while never making them worse. It does so by carefully regressing the goal metric against pre-experiment features to reduce the variance. The tremendous gains of regression adjustment begs the question: How much better can we do by engineering better features from pre-experiment data, for example by using machine learning techniques or synthetic controls? Could we even reduce the variance in our effect sizes arbitrarily close to zero with the right predictors? Unfortunately, our answer is negative. A simple form of regression adjustment, which uses just the pre-experiment values of the goal metric, captures most of the benefit. Specifically, under a mild assumption that observations closer in time are easier to predict that ones further away in time, we upper bound the potential gains of more sophisticated feature engineering, with respect to the gains of this simple form of regression adjustment. The maximum reduction in variance is $50\%$ in Theorem 1, or equivalently, the confidence interval width can be reduced by at most an additional $29\%$.


title: $\mathbb{Z}_{2}=0$ is topological too

abstract: The electronic ground state of a three-dimensional (3D) band insulator with time-reversal ($\Theta$) symmetry or time-reversal times a discrete translation ($\Theta T_{1/2}$) symmetry is classified by a $\mathbb{Z}_{2}$-valued topological invariant and characterized by quantized magnetoelectric response. Here we demonstrate by explicit calculation in model $\mathbb{Z}_{2}$ topological insulator thin-films that whereas the magnetoelectric response is localized at the surface in the $\Theta$ symmetry (non-magnetic) case, it is non-universally partitioned between surface and interior contributions in the $\Theta T_{1/2}$ (anti-ferromagnetic) case, while remaining quantized. Within our model the magnetic field induced polarization arises entirely from an anomalous ${\cal N}=0$ Landau level subspace within which the projected Hamiltonian is a generalized Su-Schrieffer-Heeger model whose topological properties are consistent with those of the starting 3D model.


title: On the Verification of the Correctness of a Subgraph Construction Algorithm

abstract: We automatically verify the crucial steps in the original proof of correctness of an algorithm which, given a geometric graph satisfying certain additional properties removes edges in a systematic way for producing a connected graph in which edges do not (geometrically) intersect. The challenge in this case is representing and reasoning about geometric properties of graphs in the Euclidean plane, about their vertices and edges, and about connectivity. For modelling the geometric aspects, we use an axiomatization of plane geometry; for representing the graph structure we use additional predicates; for representing certain classes of paths in geometric graphs we use linked lists.


title: Method for robotic motion compensation during PET imaging of mobile subjects

abstract: Studies of the human brain during natural activities, such as locomotion, would benefit from the ability to image deep brain structures during these activities. While Positron Emission Tomography (PET) can image these structures, the bulk and weight of current scanners are not compatible with the desire for a wearable device. This has motivated the design of a robotic system to support a PET imaging system around the subject's head and to move the system to accommodate natural motion. We report here the design and experimental evaluation of a prototype robotic system that senses motion of a subject's head, using parallel string encoders connected between the robot-supported imaging ring and a helmet worn by the subject. This measurement is used to robotically move the imaging ring (coarse motion correction) and to compensate for residual motion during image reconstruction (fine motion correction). Minimization of latency and measurement error are the key design goals, respectively, for coarse and fine motion correction. The system is evaluated using recorded human head motions during locomotion, with a mock imaging system consisting of lasers and cameras, and is shown to provide an overall system latency of about 80 ms, which is sufficient for coarse motion correction and collision avoidance, as well as a measurement accuracy of about 0.5 mm for fine motion correction.


title: A Pilot Search for Gravitational Self-Lensing Binaries with the Zwicky Transient Facility

abstract: Binary systems containing a compact object may exhibit periodic brightening episodes due to gravitational lensing as the compact object transits the companion star. Such "self-lensing" signatures have been detected before for white dwarf binaries. We attempt to use these signatures to identify detached stellar-mass neutron star and black hole binaries using data from the Zwicky Transient Facility (ZTF). We present a systematic search for self-lensing signals in Galactic binaries from a subset of high-cadence ZTF data taken in 2018. We identify 19 plausible candidates from the search, although because each candidate is observed to only brighten once, other origins such as stellar flares are more likely. We discuss prospects for more comprehensive future searches of the ZTF data.


title: Evaluation of a motion measurement system for PET imaging studies

abstract: Positron Emission Tomography (PET) enables functional imaging of deep brain structures, but the bulk and weight of current systems preclude their use during many natural human activities, such as locomotion. The proposed long-term solution is to construct a robotic system that can support an imaging system surrounding the subject's head, and then move the system to accommodate natural motion. This requires a system to measure the motion of the head with respect to the imaging ring, for use by both the robotic system and the image reconstruction software. We report here the design and experimental evaluation of a parallel string encoder mechanism for sensing this motion. Our preliminary results indicate that the measurement system may achieve accuracy within 0.5 mm, especially for small motions, with improved accuracy possible through kinematic calibration.


title: Direct Fabrication of Atomically Defined Pores in MXenes

abstract: Controlled fabrication of nanopores in atomically thin two-dimensional material offers the means to create robust membranes needed for ion transport, nanofiltration, and DNA sensing. Techniques for creating nanopores have relied upon either plasma etching or direct irradiation using electrons or ions; however, aberration-corrected scanning transmission electron microscopy (STEM) offers the advantage of combining a highly energetic, sub-angstrom sized electron beam for atomic manipulation along with atomic resolution imaging. Here, we utilize a method for automated nanopore fabrication with real-time atomic visualization to enhance our mechanistic understanding of beam-induced transformations. Additionally, an electron beam simulation technique, Electron-Beam Simulator (E-BeamSim) was developed to observe the atomic movements and interactions resulting from electron beam irradiation. Using the 2D MXene Ti3C2Tx, we explore the influence of temperature on nanopore fabrication by tracking atomic transformation pathways and find that at room temperature, electron beam irradiation induces random displacement of atoms and results in a pileup of titanium atoms at the nanopore edge. This pileup was confirmed and demonstrated in E-BeamSim simulations around the small, milled area in the MXene monolayer. At elevated temperatures, the surface functional groups on MXene are effectively removed, and the mobility of atoms increases, which results in atomic transformations that lead to the selective removal of atoms layer by layer. Through controllable manufacture using e-beam milling fabrication, the production and then characterization of the fabricated defects can be better understood for future work. This work can lead to the development of defect engineering techniques within functionalized MXene layers.


title: Data-Assisted Non-Intrusive Model Reduction for Forced Nonlinear Finite Elements Models

abstract: Spectral submanifolds (SSMs) have emerged as accurate and predictive model reduction tools for dynamical systems defined either by equations or data sets. While finite-elements (FE) models belong to the equation-based class of problems, their implementations in commercial solvers do not generally provide information on the nonlinearities required for the analytical construction of SSMs. Here, we overcome this limitation by developing a data-driven construction of SSM-reduced models from a small number of unforced FE simulations. We then use these models to predict the forced response of the FE model without performing any costly forced simulation. This approach yields accurate forced response predictions even in the presence of internal resonances or quasi-periodic forcing, as we illustrate on several FE models. Our examples range from simple structures, such as beams and shells, to more complex geometries, such as a micro-resonator model containing more than a million degrees of freedom. In the latter case, our algorithm predicts accurate forced response curves in a small fraction of the time it takes to verify just a few points on those curves by simulating the full forced-response.


title: Rabinowitz Floer homology for prequantization bundles and Floer Gysin sequence

abstract: Let $Y$ be a prequantization bundle over a closed spherically monotone symplectic manifold $\Sigma$. Adapting an idea due to Diogo and Lisi, we study a split version of Rabinowitz Floer homology for $Y$ in the following two settings. First, $\Sigma$ is a symplectic hyperplane section of a closed symplectic manifold $X$ satisfying a certain monotonicity condition; in this case, $X \setminus \Sigma$ is a Liouville filling of $Y$. Second, the minimal Chern number of $\Sigma$ is greater than one, which is the case where the Rabinowitz Floer homology of the symplectization $\mathbb{R} \times Y$ is defined. In both cases, we construct a Gysin-type exact sequence connecting the Rabinowitz Floer homology of $X\setminus\Sigma$ or $\mathbb{R} \times Y$ and the quantum homology of $\Sigma$. As applications, we discuss the invertibility of a symplectic hyperplane section class in quantum homology, the isotopy problem for fibered Dehn twists, the orderability problem for prequantization bundles, and the existence of translated points. We also provide computational results based on the exact sequence that we construct.


title: A Class of Directed Acyclic Graphs with Mixed Data Types in Mediation Analysis

abstract: We propose a unified class of generalized structural equation models (GSEMs) with data of mixed types in mediation analysis, including continuous, categorical, and count variables. Such models extend substantially the classical linear structural equation model to accommodate many data types arising from the application of mediation analysis. Invoking the hierarchical modeling approach, we specify GSEMs by a copula joint distribution of outcome variable, mediator and exposure variable, in which marginal distributions are built upon generalized linear models (GLMs) with confounding factors. We discuss the identifiability conditions for the causal mediation effects in the counterfactual paradigm as well as the issue of mediation leakage, and develop an asymptotically efficient profile maximum likelihood estimation and inference for two key mediation estimands, natural direct effect and natural indirect effect, in different scenarios of mixed data types. The proposed new methodology is illustrated by a motivating epidemiological study that aims to investigate whether the tempo of reaching infancy BMI peak (delay or on time), an important early life growth milestone, may mediate the association between prenatal exposure to phthalates and pubertal health outcomes.


title: Space-Optimal Profile Estimation in Data Streams with Applications to Symmetric Functions

abstract: We revisit the problem of estimating the profile (also known as the rarity) in the data stream model. Given a sequence of $m$ elements from a universe of size $n$, its profile is a vector $\phi$ whose $i$-th entry $\phi_i$ represents the number of distinct elements that appear in the stream exactly $i$ times. A classic paper by Datar and Muthukrishan from 2002 gave an algorithm which estimates any entry $\phi_i$ up to an additive error of $\pm \epsilon D$ using $O(1/\epsilon^2 (\log n + \log m))$ bits of space, where $D$ is the number of distinct elements in the stream. In this paper, we considerably improve on this result by designing an algorithm which simultaneously estimates many coordinates of the profile vector $\phi$ up to small overall error. We give an algorithm which, with constant probability, produces an estimated profile $\hat\phi$ with the following guarantees in terms of space and estimation error: - For any constant $\tau$, with $O(1 / \epsilon^2 + \log n)$ bits of space, $\sum_{i=1}^\tau |\phi_i - \hat\phi_i| \leq \epsilon D$. - With $O(1/ \epsilon^2\log (1/\epsilon) + \log n + \log \log m)$ bits of space, $\sum_{i=1}^m |\phi_i - \hat\phi_i| \leq \epsilon m$. In addition to bounding the error across multiple coordinates, our space bounds separate the terms that depend on $1/\epsilon$ and those that depend on $n$ and $m$. We prove matching lower bounds on space in both regimes. Application of our profile estimation algorithm gives estimates within error $\pm \epsilon D$ of several symmetric functions of frequencies in $O(1/\epsilon^2 + \log n)$ bits. This generalizes space-optimal algorithms for the distinct elements problems to other problems including estimating the Huber and Tukey losses as well as frequency cap statistics.


title: SAIBench: A Structural Interpretation of AI for Science Through Benchmarks

abstract: Artificial Intelligence for Science (AI4S) is an emerging research field that utilizes machine learning advancements to tackle complex scientific computational issues, aiming to enhance computational efficiency and accuracy. However, the data-driven nature of AI4S lacks the correctness or accuracy assurances of conventional scientific computing, posing challenges when deploying AI4S models in real-world applications. To mitigate these, more comprehensive benchmarking procedures are needed to better understand AI4S models. This paper introduces a novel benchmarking approach, known as structural interpretation, which addresses two key requirements: identifying the trusted operating range in the problem space and tracing errors back to their computational components. This method partitions both the problem and metric spaces, facilitating a structural exploration of these spaces. The practical utility and effectiveness of structural interpretation are illustrated through its application to three distinct AI4S workloads: machine-learning force fields (MLFF), jet tagging, and precipitation nowcasting. The benchmarks effectively model the trusted operating range, trace errors, and reveal novel perspectives for refining the model, training process, and data sampling strategy. This work is part of the SAIBench project, an AI4S benchmarking suite.


title: Light controlled THz plasmonic time varying media: momentum gaps, entangled plasmon pairs, and pulse induced time reversal

abstract: Floquet driven quantum matter exhibits a wealth of non-equilibrium correlated and topological states. Recently, attention has been drawn to the unusual wave propagation properties in these systems. This letter establishes a Floquet engineering framework in which coherent infrared light sources with a time dependent amplitude can be used to parametrically amplify plasmonic THz signals, mirror plasmonic wave packets in time, generate momemtum-gapped plasmonic band structures, entangled plasmon pairs, and THz radiation in two dimensional Dirac systems.


title: Estimation of Dynamic Gaussian Processes

abstract: Gaussian processes provide a compact representation for modeling and estimating an unknown function, that can be updated as new measurements of the function are obtained. This paper extends this powerful framework to the case where the unknown function dynamically changes over time. Specifically, we assume that the function evolves according to an integro-difference equation and that the measurements are obtained locally in a spatial sense. In this setting, we will provide the expressions for the conditional mean and covariance of the process given the measurements, which results in a generalized estimation framework, for which we coined the term Dynamic Gaussian Process (DGP) estimation. This new framework generalizes both Gaussian process regression and Kalman filtering. For a broad class of kernels, described by a set of basis functions, fast implementations are provided. We illustrate the results on a numerical example, demonstrating that the method can accurately estimate an evolving continuous function, even in the presence of noisy measurements and disturbances.


title: Assessing the reliability of multistate flow networks considering distance constraints

abstract: Evaluating the reliability of complex technical networks, such as those in energy distribution, logistics, and transportation systems, is of paramount importance. These networks are often represented as multistate flow networks (MFNs). While there has been considerable research on assessing MFN reliability, many studies still need to pay more attention to a critical factor: transmission distance constraints. These constraints are typical in real-world applications, such as Internet infrastructure, where controlling the distances between data centers, network nodes, and end-users is vital for ensuring low latency and efficient data transmission. This paper addresses the evaluation of MFN reliability under distance constraints. Specifically, it focuses on determining the probability that a minimum of $d$ flow units can be transmitted successfully from a source node to a sink node, using only paths with lengths not exceeding a predefined distance limit of $\lambda $. We introduce an effective algorithm to tackle this challenge, provide a benchmark example to illustrate its application and analyze its computational complexity.


title: Detecting cosmological scalar fields using orbital networks of quantum sensors

abstract: In this Letter, we propose to detect the interaction of a hypothetical coherently evolving cosmological scalar field with an orbital network of quantum sensors, focusing on the GPS satellite network as a test example. Cosmological scenarios, such as a scalar-tensor theory for dark energy or the axi-Higgs model, suggest that such a field may exist. As this field would be (approximately) at rest in the CMB frame, it would exhibit a dipole as a result of the movement of our terrestrial observers relative to the CMB. While the current sensitivity of the GPS network is insufficient to detect a cosmological dipole, future networks of quantum sensors on heliocentric orbits, using state-of-the-art atomic clocks, can reach and exceed this requirement.

categories: gr-qc astro-ph.CO astro-ph.IM hep-ph hep-th


title: FisherRF: Active View Selection and Uncertainty Quantification for Radiance Fields using Fisher Information

abstract: This study addresses the challenging problem of active view selection and uncertainty quantification within the domain of Radiance Fields. Neural Radiance Fields (NeRF) have greatly advanced image rendering and reconstruction, but the limited availability of 2D images poses uncertainties stemming from occlusions, depth ambiguities, and imaging errors. Efficiently selecting informative views becomes crucial, and quantifying NeRF model uncertainty presents intricate challenges. Existing approaches either depend on model architecture or are based on assumptions regarding density distributions that are not generally applicable. By leveraging Fisher Information, we efficiently quantify observed information within Radiance Fields without ground truth data. This can be used for the next best view selection and pixel-wise uncertainty quantification. Our method overcomes existing limitations on model architecture and effectiveness, achieving state-of-the-art results in both view selection and uncertainty quantification, demonstrating its potential to advance the field of Radiance Fields. Our method with the 3D Gaussian Splatting backend could perform view selections at 70 fps.


title: Interaction uncertainty in financial networks

abstract: A minimal stochastic dynamical model of the interbank network is introduced, with linear interactions mediated by an integral of recent variations. Defining stress as the variance over the banks' states, the interaction correction to the stress expectation is derived and studied on the short-medium timescale in an expansion. It is shown that, while different interaction matrices can amplify or absorb fluctuations, on average interactions increase the stress expectation. More in general, this analytical framework enables to estimate the impact of uncertainty about financial exposures, and to draw conclusions about the importance of disclosure.


title: Enhancing Post-Hoc Explanation Benchmark Reliability for Image Classification

abstract: Deep neural networks, while powerful for image classification, often operate as "black boxes," complicating the understanding of their decision-making processes. Various explanation methods, particularly those generating saliency maps, aim to address this challenge. However, the inconsistency issues of faithfulness metrics hinder reliable benchmarking of explanation methods. This paper employs an approach inspired by psychometrics, utilizing Krippendorf's alpha to quantify the benchmark reliability of post-hoc methods in image classification. The study proposes model training modifications, including feeding perturbed samples and employing focal loss, to enhance robustness and calibration. Empirical evaluations demonstrate significant improvements in benchmark reliability across metrics, datasets, and post-hoc methods. This pioneering work establishes a foundation for more reliable evaluation practices in the realm of post-hoc explanation methods, emphasizing the importance of model robustness in the assessment process.


title: Heavy vector-like quarks decaying to exotic scalars: a case study with triplets

abstract: We investigate the pair production of a vector-like quark triplet with hypercharge 5/3 decaying into top quark and a complex scalar triplet with hypercharge 1 at the LHC. This novel scenario, featuring particles with exotic charges - two quarks with charge 8/3 and 5/3 and a scalar with charge 2 - serves as a unique window to models based on the framework of partial compositeness, where these particles naturally emerge as bound states around the TeV scale. Leveraging on the LHC data we establish exclusion limits on the masses of the vector-like quark and the scalar triplet. Subsequently, we design an analysis strategy aimed at improving sensitivity in the region which is still allowed. Our analysis focuses on two specific regions in the parameter space: the first entails a large mass gap between the vector-like quarks and the scalars, so that the vector-like quarks can decay into the scalars; the second involves a small mass gap, such that this decay is forbidden. To simplify the parameter space, both vector-like quarks and scalars are assumed to be degenerate or almost degenerate within the triplets, such that chain decays between fermions and scalars are suppressed. As a result, we found that final states characterized by a same-sign lepton pair, multiple jets, and high net transverse momentum (i.e. effective mass) will play a pivotal role to unveil this model and, more in general, models characterised by multiple vector-like quarks around the same mass scale during the high luminosity LHC phase.


title: TSDF-Sampling: Efficient Sampling for Neural Surface Field using Truncated Signed Distance Field

abstract: Multi-view neural surface reconstruction has exhibited impressive results. However, a notable limitation is the prohibitively slow inference time when compared to traditional techniques, primarily attributed to the dense sampling, required to maintain the rendering quality. This paper introduces a novel approach that substantially reduces the number of samplings by incorporating the Truncated Signed Distance Field (TSDF) of the scene. While prior works have proposed importance sampling, their dependence on initial uniform samples over the entire space makes them unable to avoid performance degradation when trying to use less number of samples. In contrast, our method leverages the TSDF volume generated only by the trained views, and it proves to provide a reasonable bound on the sampling from upcoming novel views. As a result, we achieve high rendering quality by fully exploiting the continuous neural SDF estimation within the bounds given by the TSDF volume. Notably, our method is the first approach that can be robustly plug-and-play into a diverse array of neural surface field models, as long as they use the volume rendering technique. Our empirical results show an 11-fold increase in inference speed without compromising performance. The result videos are available at our project page: https://tsdf-sampling.github.io/


title: S 308 and other X-ray emitting bubbles around Wolf-Rayet stars

abstract: S 308 is an X-ray emitting bubble that surrounds the Wolf-Rayet star WR6. The structure shines in the optical as well and is thus known as the Dolphin Nebula. Due to its large angular extent, it has been covered at only 90% with past XMM-Newton observations. Thanks to the unique dataset provided by the all-sky survey performed in X-rays by SRG/eROSITA, we can show for the first time the image of the bubble in its entire extent in this band, together with its spectral characterization. Moreover, we have tried to apply the same procedure for other wind-blown bubbles detected in the optical/IR and we searched for X-ray extended emission around them. We first analyzed the diffuse emission of S308, providing a detailed spectral analysis. We then considered a sample of 22 optical/IR selected wind-blown bubbles from a previous study based on WISE data, providing an estimate of the X-ray flux for the first time. We obtained the best fit for S308 with a two-temperature non-equilibrium plasma model (kT$_{1}=0.8_{-0.3}^{+0.8}$ keV and kT$_{2}=2_{-1}^{+3}$ keV) showing super-solar N abundance and low absorption. We did not detect any of the 22 optical/IR emitting bubbles in X-rays, but using our best fit model, we estimated the 3$\sigma$ flux upper limits for each bubble. We demonstrate the new possibility offered by SRG/eROSITA to study known wind-blown bubbles and look for other ones. A two-temperature plasma description seems to fit the data quite well for S308. Since all of the 22 bubbles studied still remain undetected by SRG/eROSITA, it is very likely that absorption effects and spatial compactness are responsible for the challenges standing in the way of detecting these bubbles in soft X-rays.


title: Atomically thin current pathways in graphene through Kekul\'e-O engineering

abstract: We demonstrate that the current flow in graphene can be guided on atomically thin current pathways by means of the engineering of Kekul\'e-O distortions. A grain boundary in these distortions separates the system into topological distinct regions and induces a ballistic domain-wall state. The state does not depend on the precise orientation of the grain boundary with respect to the graphene sublattice and therefore, permits to guide the current on arbitrary paths through the system. As the state is gapped, the current flow can be switched by electrostatic gates. Our findings can be explained by a generalization of the Jackiw-Rebbi model, where the electrons behave in one region of the system as fermions with an effective complex mass, making the device not only promising for technological applications but also a test-ground for concepts from high-energy physics. An atomic model supported by DFT calculations demonstrates that the proposed system can be realized by decorating graphene with Ti atoms.


title: Concatenations in subshifts defined by linear orders and poles of the Artin-Mazur zeta function

abstract: For certain pairs of unimodal maps on the interval with periodic critical orbits, it is known that one can combine them to create another map whose entropy is close to one while the poles of Artin-Mazur $\zeta$ function outside the unit circles can be made close to the other. We provided a formulation and proof of this result in symbolic dynamics setting, which allow us to generalize this fact to certain families of maps on finite trees.


title: Organizational economic sustainability via process optimization and human capital: a Soft Systems Methodology (SSM) approach

abstract: This review paper focuses on enhancing organizational economic sustainability through process optimization and human capital effective management utilizing the soft systems methodology (SSM) approach which offers a holistic approach for understanding complex real-world challenges. By emphasizing systems thinking and engaging diverse stakeholders in problem-solving, SSM provides a comprehensive understanding of the problem's context and potential solutions. The approach guides a systematic process of inquiry that leads to feasible and desirable changes in tackling complex problems effectively. Our paper employs the bibliometric analysis based on the sample of 5171 research articles, proceedings papers, and book chapters indexed in Web of Science (WoS) database. We carry out the network cluster analysis using the text data and the bibliometric data with the help of VOSViewer software. Our results confirm that as the real-world situations are becoming more complex and the new challenges such as the global warming and climate change are threatening many economic and social processes, SSM approach is currently getting back at the forefront of academic research related to such topics as organizational management and sustainable human capital efficiency.


title: A Chinese remainder theorem and Carlson's theorem for monoidal triangulated categories

abstract: In this paper the authors prove fundamental decomposition theorems pertaining to the internal structure of monoidal triangulated categories (M$\Delta$Cs). The tensor structure of an M$\Delta$C enables one to view these categories like (noncommutative) rings and to attempt to extend the key results for the latter to the categorical setting. The main theorem is an analogue of the Chinese Remainder Theorem involving the Verdier quotients for coprime thick ideals. This result is used to obtain orthogonal decompositions of the extended endomorphism rings of idempotent algebra objects of M$\Delta$Cs. The authors also provide topological characterizations on when an M$\Delta$C contains a pair of coprime proper thick ideals, and additionally, when the latter are complementary in the sense that their intersection is contained in the prime radical of the category. As an application of the aforementioned results, the authors establish for arbitrary M$\Delta$Cs a general version of Carlson's theorem on the connnectedness of supports for indecomposable objects. Examples of our results are given at the end of the paper for the derived category of schemes and for the stable module categories for finite group schemes.


title: Stochastic Ordering of Symmetric Core Event Probabilities With Respect To Row Margins For Multiple Hypergeometric Random Variables

abstract: Suppose X is a frequency vector that follows a central multiple hyper-geometric distribution, such as arises in random sampling of an m-category attribute from a finite population without replacement. We show that the probability that X satisfies some symmetrical, but otherwise arbitrary, interval constraints in each component decreases as the sample size increases or decreases away from one-half of the population size.


title: Are Ensembles Getting Better all the Time?

abstract: Ensemble methods combine the predictions of several base models. We study whether or not including more models always improves their average performance. This question depends on the kind of ensemble considered, as well as the predictive metric chosen. We focus on situations where all members of the ensemble are a priori expected to perform as well, which is the case of several popular methods such as random forests or deep ensembles. In this setting, we show that ensembles are getting better all the time if, and only if, the considered loss function is convex. More precisely, in that case, the average loss of the ensemble is a decreasing function of the number of models. When the loss function is nonconvex, we show a series of results that can be summarised as: ensembles of good models keep getting better, and ensembles of bad models keep getting worse. To this end, we prove a new result on the monotonicity of tail probabilities that may be of independent interest. We illustrate our results on a medical prediction problem (diagnosing melanomas using neural nets) and a "wisdom of crowds" experiment (guessing the ratings of upcoming movies).


title: An algebraic geometry of paths via the iterated-integrals signature

abstract: Contrary to previous approaches bringing together algebraic geometry and signatures of paths, we introduce a Zariski topology on the space of paths itself, and study path varieties consisting of all paths whose iterated-integrals signature satisfies certain polynomial equations. Particular emphasis lies on the role of the non-associative halfshuffle, which makes it possible to describe varieties of paths that satisfy certain relations all along their trajectory. Specifically, we may understand the set of paths on a given classical algebraic variety in $\mathbb{R}^d$ starting from a fixed point as a path variety, e.g. paths on a sphere. While the characteristic geometric property of halfshuffle varieties is that they are stable under stopping paths at an earlier time, we furthermore study varieties which are stable under the natural (semi)group operation of concantenation of paths. We point out how the notion of dimension for path varieties crucially depends on the fact that they may be reducible into countably infinitely many subvarieties. Finally, we see that studying halfshuffle varieties naturally leads to a generalization of classical algebraic curves, surfaces and affine varieties in finite dimensional space. These generalized algebraic sets, an example being the graph of the exponential function, are now described through iterated-integral equations. Keywords: path variety; shuffle ideal; halfshuffle; deconcatenation coproduct; tensor algebra; Zariski topology; concatenation of paths; Chen's identity; subpath; tree-like equivalence; regular map; generalized variety


title: Spectroscopic distance, mass, and age estimations for APOGEE DR17

abstract: We derive distances and masses of stars from the Sloan Digital Sky Survey (SDSS) Apache Point Observatory Galactic Evolution Experiment (APOGEE) Data Release 17 (DR17) using simple neural networks. Training data for distances comes from Gaia EDR3, supplemented by literature distances for star clusters. For masses, the network is trained using asteroseismic masses for evolved stars and isochrone masses for main sequence stars. The models are trained on effective temperature, surface gravity, metallicity and carbon and nitrogen abundances. We found that our distance predictions have median fractional errors that range from $\approx 20\%$ at low log g and $\approx 10\%$ at higher log g with a standard deviation of $\approx 11\%$. The mass predictions have a standard deviation of $\pm 12\%$. Using the masses, we derive ages for evolved stars based on the correspondence between mass and age for giant stars given by isochrones. The results are compiled into a Value Added Catalog (VAC) called DistMass that contains distances and masses for 733901 independent spectra, plus ages for 396548 evolved stars.


title: BCFT One-point Functions of Coulomb Branch Operators

abstract: We show that supersymmetry can be used to compute the BCFT one-point function coefficients for chiral primary operators, in 4d $\mathcal{N}=2$ SCFTs with $\frac{1}{2}$-BPS boundary conditions. The main ingredient is the hemisphere partition function, with the boundary condition on the equatorial $S^3$. A supersymmetric Ward identity relates derivatives with respect to the chiral coupling constants to the insertion of the primaries at the pole of the hemisphere. Exact results for the one-point functions can be then obtained in terms of the localization matrix model. We discuss in detail the example of the super Maxwell theory in the bulk, interacting with 3d $\mathcal{N}=2$ SCFTs on the boundary. In particular we derive the action of the SL(2,$\mathbb{Z}$) duality on the one-point functions.


title: Scale Ratio Tuning of Group Based Job Scheduling in HPC Systems

abstract: During the initialization of a supercomputer job, no useful calculations are performed. A high proportion of initialization time results in idle computing resources and less computational efficiency. Certain methods and algorithms combining jobs into groups are used to optimize scheduling of jobs with high initialization proportion. The article considers the influence of the scale ratio setting in algorithm for the job groups formation, on the performance metrics of the workload manager. The study was carried out on the developed by authors Aleabased workload manager model. The model makes it possible to conduct a large number of experiments in reasonable time without losing the accuracy of the simulation. We performed a series of experiments involving various characteristics of the workload. The article represents the results of a study of the scale ratio influence on efficiency metrics for different initialization time proportions and input workflows with varying intensity and homogeneity. The presented results allow the workload managers administrators to set a scale ratio that provides an appropriate balance with contradictory efficiency metrics.


title: Universal Homotopy Theories and Associated Homological Algebras

abstract: Let $\mathscr{C}$ be a small category. For every commutative ring $R$ with unity, we associate an $R\mathrm{-linear}$ abelian category with the universal homotopy category of $\mathscr{C}$, where we can do the corresponding homological algebra.


title: Pose Anything: A Graph-Based Approach for Category-Agnostic Pose Estimation

abstract: Traditional 2D pose estimation models are limited by their category-specific design, making them suitable only for predefined object categories. This restriction becomes particularly challenging when dealing with novel objects due to the lack of relevant training data. To address this limitation, category-agnostic pose estimation (CAPE) was introduced. CAPE aims to enable keypoint localization for arbitrary object categories using a single model, requiring minimal support images with annotated keypoints. This approach not only enables object pose generation based on arbitrary keypoint definitions but also significantly reduces the associated costs, paving the way for versatile and adaptable pose estimation applications. We present a novel approach to CAPE that leverages the inherent geometrical relations between keypoints through a newly designed Graph Transformer Decoder. By capturing and incorporating this crucial structural information, our method enhances the accuracy of keypoint localization, marking a significant departure from conventional CAPE techniques that treat keypoints as isolated entities. We validate our approach on the MP-100 benchmark, a comprehensive dataset comprising over 20,000 images spanning more than 100 categories. Our method outperforms the prior state-of-the-art by substantial margins, achieving remarkable improvements of 2.16% and 1.82% under 1-shot and 5-shot settings, respectively. Furthermore, our method's end-to-end training demonstrates both scalability and efficiency compared to previous CAPE approaches.


title: A Pipeline For Discourse Circuits From CCG

abstract: There is a significant disconnect between linguistic theory and modern NLP practice, which relies heavily on inscrutable black-box architectures. DisCoCirc is a newly proposed model for meaning that aims to bridge this divide, by providing neuro-symbolic models that incorporate linguistic structure. DisCoCirc represents natural language text as a `circuit' that captures the core semantic information of the text. These circuits can then be interpreted as modular machine learning models. Additionally, DisCoCirc fulfils another major aim of providing an NLP model that can be implemented on near-term quantum computers. In this paper we describe a software pipeline that converts English text to its DisCoCirc representation. The pipeline achieves coverage over a large fragment of the English language. It relies on Combinatory Categorial Grammar (CCG) parses of the input text as well as coreference resolution information. This semantic and syntactic information is used in several steps to convert the text into a simply-typed $\lambda$-calculus term, and then into a circuit diagram. This pipeline will enable the application of the DisCoCirc framework to NLP tasks, using both classical and quantum approaches.


title: Betrayed by Attention: A Simple yet Effective Approach for Self-supervised Video Object Segmentation

abstract: In this paper, we propose a simple yet effective approach for self-supervised video object segmentation (VOS). Our key insight is that the inherent structural dependencies present in DINO-pretrained Transformers can be leveraged to establish robust spatio-temporal correspondences in videos. Furthermore, simple clustering on this correspondence cue is sufficient to yield competitive segmentation results. Previous self-supervised VOS techniques majorly resort to auxiliary modalities or utilize iterative slot attention to assist in object discovery, which restricts their general applicability and imposes higher computational requirements. To deal with these challenges, we develop a simplified architecture that capitalizes on the emerging objectness from DINO-pretrained Transformers, bypassing the need for additional modalities or slot attention. Specifically, we first introduce a single spatio-temporal Transformer block to process the frame-wise DINO features and establish spatio-temporal dependencies in the form of self-attention. Subsequently, utilizing these attention maps, we implement hierarchical clustering to generate object segmentation masks. To train the spatio-temporal block in a fully self-supervised manner, we employ semantic and dynamic motion consistency coupled with entropy normalization. Our method demonstrates state-of-the-art performance across multiple unsupervised VOS benchmarks and particularly excels in complex real-world multi-object video segmentation tasks such as DAVIS-17-Unsupervised and YouTube-VIS-19. The code and model checkpoints will be released at https://github.com/shvdiwnkozbw/SSL-UVOS.


title: Learning and Controlling Silicon Dopant Transitions in Graphene using Scanning Transmission Electron Microscopy

abstract: We introduce a machine learning approach to determine the transition dynamics of silicon atoms on a single layer of carbon atoms, when stimulated by the electron beam of a scanning transmission electron microscope (STEM). Our method is data-centric, leveraging data collected on a STEM. The data samples are processed and filtered to produce symbolic representations, which we use to train a neural network to predict transition probabilities. These learned transition dynamics are then leveraged to guide a single silicon atom throughout the lattice to pre-determined target destinations. We present empirical analyses that demonstrate the efficacy and generality of our approach.


title: Measurements of the Thermal and Ionization State of the Intergalactic Medium during the Cosmic Afternoon

abstract: We perform the first measurement of the thermal and ionization state of the intergalactic medium (IGM) across 0.9 < z < 1.5 using 301 \lya absorption lines fitted from 12 HST STIS quasar spectra, with a total pathlength of \Delta z=2.1. We employ the machine-learning-based inference method that uses joint b-N distributions obtained from \lyaf decomposition. Our results show that the HI photoionization rates, \Gamma, are in good agreement with the recent UV background synthesis models, with \log (\Gamma/s^{-1})={-11.79}^{0.18}_{-0.15}, -11.98}^{0.09}_{-0.09}, and {-12.32}^{0.10}_{-0.12} at z=1.4, 1.2, and 1 respectively. We obtain the IGM temperature at the mean density, T_0, and the adiabatic index, \gamma, as [\log (T_0/K), \gamma]= [{4.13}^{+0.12}_{-0.10}, {1.34}^{+0.10}_{-0.15}], [{3.79}^{+0.11}_{-0.11}, {1.70}^{+0.09}_{-0.09}] and [{4.12}^{+0.15}_{-0.25}, {1.34}^{+0.21}_{-0.26}] at z=1.4, 1.2 and 1 respectively. Our measurements of T_0 at z=1.4 and 1.2 are consistent with the expected trend from z<3 temperature measurements as well as theoretical expectations that, in the absence of any non-standard heating, the IGM should cool down after HeII reionization. Whereas, our T_0 measurements at z=1 show unexpectedly high IGM temperature. However, because of the relatively large uncertainty in these measurements of the order of \Delta T_0~5000 K, mostly emanating from the limited redshift path length of available data in these bins, we can not definitively conclude whether the IGM cools down at z<1.5. Lastly, we generate a mock dataset to test the constraining power of future measurement with larger datasets. The results demonstrate that, with redshift pathlength \Delta z \sim 2 for each redshift bin, three times the current dataset, we can constrain the T_0 of IGM within 1500K. Such precision would be sufficient to conclusively constrain the history of IGM thermal evolution at z < 1.5.


title: On the geometry of tensor products over finite fields

abstract: In this paper we study finite dimensional algebras, in particular finite semifields, through their correspondence with nonsingular threefold tensors. We introduce a alternative embedding of the tensor product space into a projective space. This model allows us to understand tensors and their contractions in a new geometric way, relating the contraction of a tensor with a natural subspace of a subgeometry. This leads us to new results on invariants and classifications of tensors and algebras and on nonsingular fourfold tensors. A detailed study of the geometry of this setup for the case of the threefold tensor power of a vector space of dimension two over a finite field surprisingly leads to a new construction of quasi-hermitian varieties in $\mathrm{PG}(3,q^2)$.


title: Coboundary expansion for the union of determinantal hypertrees

abstract: We prove that for any large enough constant $k$, the union of $k$ independent $d$-dimensional determinantal hypertrees is a coboundary expander with high probability.


title: Knowledge Pursuit Prompting for Zero-Shot Multimodal Synthesis

abstract: Hallucinations and unfaithful synthesis due to inaccurate prompts with insufficient semantic details are widely observed in multimodal generative models. A prevalent strategy to align multiple modalities is to fine-tune the generator with a large number of annotated text-image pairs. However, such a procedure is labor-consuming and resource-draining. The key question we ask is: can we enhance the quality and faithfulness of text-driven generative models beyond extensive text-image pair annotations? To address this question, we propose Knowledge Pursuit Prompting (KPP), a zero-shot framework that iteratively incorporates external knowledge to help generators produce reliable visual content. Instead of training generators to handle generic prompts, KPP employs a recursive knowledge query process to gather informative external facts from the knowledge base, instructs a language model to compress the acquired knowledge for prompt refinement, and utilizes text-driven generators for visual synthesis. The entire process is zero-shot, without accessing the architectures and parameters of generative models. We evaluate the framework across multiple text-driven generative tasks (image, 3D rendering, and video) on datasets of different domains. We further demonstrate the extensibility and adaptability of KPP through varying foundation model bases and instructions. Our results show that KPP is capable of generating faithful and semantically rich content across diverse visual domains, offering a promising solution to improve multimodal generative models.


title: SYZ mirror symmetry of solvmanifolds

abstract: We present an effective construction of non-Kaehler supersymmetric mirror pairs in the sense of Lau,Tseng and Yau starting from left-invariant affine structures on Lie groups. Applying this construction we explicitly find SYZ mirror symmetric partners of all known compact 6-dimensional completely solvable solvmanifolds that admit a semi-flat type IIA structure.


title: Mysteries of supercooled water elucidated by studies of aqueous solutions

abstract: The most abundant form of water in the universe probably is its supercooled state, staying non-crystalline down to lowest temperatures. The many peculiarities of liquid water, like its partly negative thermal expansion, have been traced back to prominent anomalies occurring in its supercooled form - especially under elevated pressure - and to the presence of two variants of supercooled water and of amorphous, glassy ice. However, the bare existence of these different liquid states and of a related liquid-liquid crossover at ambient pressure are controversially debated since decades, just as the absolute value of water's glass-transition temperature. Their direct experimental detection is hampered by the inevitable crystallization of pure water in a certain temperature range, termed "no-man's land". To tackle these problems, we have applied dielectric spectroscopy and differential scanning calorimetry to aqueous LiCl solutions. By covering a frequency range of up to 14 decades and by quenching some of the solutions to avoid crystallization, here we show that there are indeed strong hints at two forms of water, occurring in different temperature ranges and having different glass-transition temperatures, even at ambient pressure: A so-called "fragile" liquid, characterized by super-Arrhenius temperature dependence of the molecular dynamics at high temperatures, and a "strong" liquid, nearly following Arrhenius behaviour, at low temperatures.


title: SODA: Bottleneck Diffusion Models for Representation Learning

abstract: We introduce SODA, a self-supervised diffusion model, designed for representation learning. The model incorporates an image encoder, which distills a source view into a compact representation, that, in turn, guides the generation of related novel views. We show that by imposing a tight bottleneck between the encoder and a denoising decoder, and leveraging novel view synthesis as a self-supervised objective, we can turn diffusion models into strong representation learners, capable of capturing visual semantics in an unsupervised manner. To the best of our knowledge, SODA is the first diffusion model to succeed at ImageNet linear-probe classification, and, at the same time, it accomplishes reconstruction, editing and synthesis tasks across a wide range of datasets. Further investigation reveals the disentangled nature of its emergent latent space, that serves as an effective interface to control and manipulate the model's produced images. All in all, we aim to shed light on the exciting and promising potential of diffusion models, not only for image generation, but also for learning rich and robust representations.


title: Language-conditioned Detection Transformer

abstract: We present a new open-vocabulary detection framework. Our framework uses both image-level labels and detailed detection annotations when available. Our framework proceeds in three steps. We first train a language-conditioned object detector on fully-supervised detection data. This detector gets to see the presence or absence of ground truth classes during training, and conditions prediction on the set of present classes. We use this detector to pseudo-label images with image-level labels. Our detector provides much more accurate pseudo-labels than prior approaches with its conditioning mechanism. Finally, we train an unconditioned open-vocabulary detector on the pseudo-annotated images. The resulting detector, named DECOLA, shows strong zero-shot performance in open-vocabulary LVIS benchmark as well as direct zero-shot transfer benchmarks on LVIS, COCO, Object365, and OpenImages. DECOLA outperforms the prior arts by 17.1 AP-rare and 9.4 mAP on zero-shot LVIS benchmark. DECOLA achieves state-of-the-art results in various model sizes, architectures, and datasets by only training on open-sourced data and academic-scale computing. Code is available at https://github.com/janghyuncho/DECOLA.


title: Ce$_3$Bi$_4$Ni$_3$ $-$ A large hybridization-gap variant of Ce$_3$Bi$_4$Pt$_3$

abstract: The family of cubic noncentrosymmetric 3-4-3 compounds has become a fertile ground for the discovery of novel correlated metallic and insulating phases. Here, we report the synthesis of a new heavy fermion compound, Ce$_3$Bi$_4$Ni$_3$. It is an isoelectronic analog of the prototypical Kondo insulator Ce$_3$Bi$_4$Pt$_3$ and of the recently discovered Weyl-Kondo semimetal Ce$_3$Bi$_4$Pd$_3$. In contrast to the volume-preserving Pt-Pd substitution, structural and chemical analyses reveal a positive chemical pressure effect in Ce$_3$Bi$_4$Ni$_3$ relative to its heavier counterparts. Based on the results of electrical resistivity, Hall effect, magnetic susceptibility, and specific heat measurements, we identify an energy gap of 65-70 meV, about eight times larger than that in Ce$_3$Bi$_4$Pt$_3$ and about 45 times larger than that of the Kondo-insulating background hosting the Weyl nodes in Ce$_3$Bi$_4$Pd$_3$. We show that this gap as well as other physical properties do not evolve monotonically with increasing atomic number, i.e., in the sequence Ce$_3$Bi$_4$Ni$_3$-Ce$_3$Bi$_4$Pd$_3$-Ce$_3$Bi$_4$Pt$_3$, but instead with increasing partial electronic density of states of the $d$ orbitals at the Fermi energy. To understand under which condition topological states form in these materials is a topic for future studies.


title: Number count of Gravitational Waves and Supernovae in Luminosity Distance space for LCDM and Scalar-Tensor theories

abstract: The clustering of gravitational waves in luminosity distance space is emerging as a promising probe of the growth of structure. Just like for galaxies, its osbervation is subject to a number of relativistic corrections that affect the measured signal and need to be accounted for when fitting theoretical models to the data. We derive the full expression for the number count of gravitational waves in luminosity distance space, including all relativistic corrections, in LCDM and in scalar-tensor theories with luminal propagation of tensors. We investigate the importance of each relativistic effect and the detectability of the total signal by current and planned GW detectors. We consider also supernovae in luminosity distance space, highlighting the differences with gravitational waves in the case of scalar-tensor theories. We carry out a thorough comparison among the number count of gravitational waves and supernovae in luminosity distance space, and that of galaxies in redshift space. We show how the relativistic corrections contain useful complementary information on the growth of perturbations and on the underlying theory of gravity, highlighting the synergy with other cosmological probes.


title: SLO/GO Degradation-Loss Sensitivity in Climate-Human System Coupling

abstract: The potential of extreme environmental change driven by a destabilized climate system is an alarming prospect for humanity. But the intricate, subtle ways Earth's climate couples to social and economic systems raise the question of when more incremental climate change signals the need for alarm. Questions about incremental sensitivity are particularly crucial for human systems that are organized by optimization. Optimization is most valuable in resolving complex interactions among multiple factors, however, those interactions can obscure coupling to underlying drivers such as environmental degradation. Here, using Multi-Objective Land Allocation as an example, we show that model features that are common across non-convex optimization problems drive hypersensitivities in climate-induced degradation--loss response. We show that catastrophic losses in human systems can occur well before catastrophic climate collapse. We find punctuated insensitive/hypersensitive degradation--loss response, which we trace to the contrasting effects of environmental degradation on subleading, local versus global optima (SLO/GO). We argue that the SLO/GO response we identify in land-allocation problems traces to features that are common across non-convex optimization problems more broadly. Given the broad range of human systems that rely on non-convex optimization, our results therefore suggest that substantial social and economic risks could be lurking in a broad range in human systems that are coupled to the environment, even in the absence of catastrophic changes to the environment itself.


title: Baryon Transport in Color Flux Tubes

abstract: Color flux tubes are a standard perspective from which to understand stopping in high-energy collisions. Mechanisms for baryon transport and polarization within a tube are considered here, both in regards to the the transport of baryons from the target and projectile toward mid-rapidity, and in regards to the correlations of baryon-antibaryon pairs created in the tube. The roles of tube merging and gluon radiation with a tube are emphasized.


title: CG3D: Compositional Generation for Text-to-3D via Gaussian Splatting

abstract: With the onset of diffusion-based generative models and their ability to generate text-conditioned images, content generation has received a massive invigoration. Recently, these models have been shown to provide useful guidance for the generation of 3D graphics assets. However, existing work in text-conditioned 3D generation faces fundamental constraints: (i) inability to generate detailed, multi-object scenes, (ii) inability to textually control multi-object configurations, and (iii) physically realistic scene composition. In this work, we propose CG3D, a method for compositionally generating scalable 3D assets that resolves these constraints. We find that explicit Gaussian radiance fields, parameterized to allow for compositions of objects, possess the capability to enable semantically and physically consistent scenes. By utilizing a guidance framework built around this explicit representation, we show state of the art results, capable of even exceeding the guiding diffusion model in terms of object combinations and physics accuracy.


title: Spin Dynamics of Planets in Resonant Chains

abstract: About a dozen exoplanetary systems have been discovered with three or more planets participating in a sequence of mean-motion resonances. The unique and complex architectures of these so-called "resonant chains" motivate efforts to characterize their planets holistically. In this work, we perform a comprehensive exploration of the spin-axis dynamics of planets in resonant chains. Planetary spin states are closely linked with atmospheric dynamics and habitability and are thus especially relevant to resonant chains like TRAPPIST-1, which hosts several temperate planets. Considering a set of observed resonant chains, we calculate the equilibrium states of the planetary axial tilts ("obliquities"). We show that high obliquity states exist for $\sim60\%$ of planets in our sample, and many of these states can be stable in the presence of tidal dissipation. Using case studies of two observed systems (Kepler-223 and TOI-1136), we demonstrate how these high obliquity states could have been attained during the initial epoch of disk-driven orbital migration that established the resonant orbital architectures. We show that the TRAPPIST-1 planets most likely have zero obliquities, with the possible exception of planet d. Overall, our results highlight that both the orbital and spin states of resonant chains are valuable relics of the early stages of planet formation and evolution.


title: Distance-coupling as an Approach to Position and Formation Control

abstract: Studies of coordinated motion in autonomous vehicle groups have become a significant topic of interest in recent years. In this paper, we study the case when the agents are limited to distance measurements from predetermined reference points, or anchors. A novel approach, referred to as distance-coupling, is proposed for approximating agent positions from anchor distances. By taking the difference between squared distance functions, we cancel out the quadratic term and obtain a linear function of the position for the point of interest. We apply this method to the homing problem and prove Lyapunov stability with and without anchor placement error; defining bounds on the region of attraction when the anchors are linearly transformed from their desired positions. To further increase complexity, we show how the policy can be implemented on the formation control problem for a set of autonomous agents. In this context, we prove the existence of the set of equilibria for the distance-coupled formation controller and make preliminary claims on its convergence. The performance for both controllers are subsequently validated through simulation.


title: HUGS: Human Gaussian Splats

abstract: Recent advances in neural rendering have improved both training and rendering times by orders of magnitude. While these methods demonstrate state-of-the-art quality and speed, they are designed for photogrammetry of static scenes and do not generalize well to freely moving humans in the environment. In this work, we introduce Human Gaussian Splats (HUGS) that represents an animatable human together with the scene using 3D Gaussian Splatting (3DGS). Our method takes only a monocular video with a small number of (50-100) frames, and it automatically learns to disentangle the static scene and a fully animatable human avatar within 30 minutes. We utilize the SMPL body model to initialize the human Gaussians. To capture details that are not modeled by SMPL (e.g. cloth, hairs), we allow the 3D Gaussians to deviate from the human body model. Utilizing 3D Gaussians for animated humans brings new challenges, including the artifacts created when articulating the Gaussians. We propose to jointly optimize the linear blend skinning weights to coordinate the movements of individual Gaussians during animation. Our approach enables novel-pose synthesis of human and novel view synthesis of both the human and the scene. We achieve state-of-the-art rendering quality with a rendering speed of 60 FPS while being ~100x faster to train over previous work. Our code will be announced here: https://github.com/apple/ml-hugs


title: OPERA: Alleviating Hallucination in Multi-Modal Large Language Models via Over-Trust Penalty and Retrospection-Allocation

abstract: Hallucination, posed as a pervasive challenge of multi-modal large language models (MLLMs), has significantly impeded their real-world usage that demands precise judgment. Existing methods mitigate this issue with either training with specific designed data or inferencing with external knowledge from other sources, incurring inevitable additional costs. In this paper, we present OPERA, a novel MLLM decoding method grounded in an Over-trust Penalty and a Retrospection-Allocation strategy, serving as a nearly free lunch to alleviate the hallucination issue without additional data, knowledge, or training. Our approach begins with an interesting observation that, most hallucinations are closely tied to the knowledge aggregation patterns manifested in the self-attention matrix, i.e., MLLMs tend to generate new tokens by focusing on a few summary tokens, but not all the previous tokens. Such partial over-trust inclination results in the neglecting of image tokens and describes the image content with hallucination. Based on the observation, OPERA introduces a penalty term on the model logits during the beam-search decoding to mitigate the over-trust issue, along with a rollback strategy that retrospects the presence of summary tokens in the previously generated tokens, and re-allocate the token selection if necessary. With extensive experiments, OPERA shows significant hallucination-mitigating performance on different MLLMs and metrics, proving its effectiveness and generality. Our code is available at: https://github.com/shikiw/OPERA.


title: Beyond Signal and Noise: Unraveling Scale Invariance in Neuroscience and Financial Networks with Topological Data Analysis

abstract: This exploratory study delves into persistent homology, an integral component of TDA that initially aimed at differentiating between signal and noise. We explore two methodologies for this differentiation: the conventional cycle length approach and the novel death-birth ratio method proposed by Bobrowski and Skraba. Analyzing comprehensive rs-fMRI data from the Human Connectome Project and daily S\&P 500 financial networks, our study compares these methods in identifying significant cycles. A pivotal discovery of this paper is a robust relationship between z-score thresholds applied to bar lengths or ratios and, respectively, behavioural traits in brain networks and market volatility in financial networks. In the brain, this is evident in the strong correlation between the number of significant 1-cycles in brain networks, brain volumes, and sex-based differences. In financial markets, a fractal pattern emerges, where market volatility consistently negatively correlates with the number of significant cycles, indicating that more intricate market topologies are associated with increased stability and less susceptibility to rapid shifts. Our findings also imply a fractal nature of 1-cycles at both population levels and across multiple days in the stock market. Notably, the distribution of significant loops, marked by high z-scores, remains consistent across various z-score thresholds, revealing a scale-invariant, fractal structure in both data sets. Given the scale invariance in these fractal structures, the traditional TDA distinction between signal and noise becomes less meaningful. The fractal nature of 1-cycles suggests that all scales of cycle length are relevant, challenging the conventional approach of segregating signal from noise. This realization broadens the scope of TDA, underscoring its potential to reveal intricate, scale-invariant relationships in complex systems.


title: Angling for Insights: Illuminating Light New Physics at Mu3e through Angular Correlations

abstract: We examine the capability of Mu3e to probe light new physics scenarios that produce a prompt electron-positron resonance and demonstrate how angular observables are instrumental in enhancing the experimental sensitivity. We systematically investigate the effect of Mu3e's expected sensitivity on the parameter space of the dark photon, as well as on axion-like particles and light scalars with couplings to muons and electrons.


title: Reconstruction of electromagnetic showers in calorimeters using Deep Learning

abstract: The precise reconstruction of properties of photons and electrons in modern high energy physics detectors, such as the CMS or Atlas experiments, plays a crucial role in numerous physics results. Conventional geometrical algorithms are used to reconstruct the energy and position of these particles from the showers they induce in the electromagnetic calorimeter. Despite their accuracy and efficiency, these methods still suffer from several limitations, such as low-energy background and limited capacity to reconstruct close-by particles. This paper introduces an innovative machine-learning technique to measure the energy and position of photons and electrons based on convolutional and graph neural networks, taking the geometry of the CMS electromagnetic calorimeter as an example. The developed network demonstrates a significant improvement in resolution both for photon energy and position predictions compared to the algorithm used in CMS. Notably, one of the main advantages of this new approach is its ability to better distinguish between multiple close-by electromagnetic showers.


title: A Robust Search for Lepton Flavour Violating Axions at Mu3e

abstract: We propose a search at Mu3e for lepton flavor violating axion(-like) particles in $\mu\to 3e + a$ decays. By requiring an additional $e^+e^-$ pair from internal conversion, one can circumvent the calibration challenges which plague the $\mu \to e+a$ channel for axions lighter than 20 MeV. Crucially, the corresponding reduction in signal rate is to a large extent compensated for by Mu3e's ability to resolve highly collimated tracks. For phase I of Mu3e, we project a sensitivity to decay constants as high as $6\times 10^9$ GeV which probes uncharted parameter space in scenarios of axion dark matter. The sensitivity to axions which couple primarily to right-handed leptons can be further improved by leveraging the polarisation of the muon beam.


title: WyCryst: Wyckoff Inorganic Crystal Generator Framework

abstract: Generative design marks a significant data-driven advancement in the exploration of novel inorganic materials, which entails learning the symmetry equivalent to the crystal structure prediction (CSP) task and subsequent learning of their target properties. Generative models have been developed in the last few years that use custom Variational Autoencoders (VAEs), Generative Adversarial Networks (GANs), and diffusion models. While periodicity and global Euclidian symmetry in three dimensions through translations, rotations and reflections have recently been accounted for, symmetry constraints within allowed space groups have not. This is especially important because the final step involves energy relaxation on the generated crystal structures to find the relaxed crystal structure, typically using Density Functional Theory (DFT). To address this explicitly, we introduce a generative design framework (WyCryst), composed of three pivotal components: 1) a Wyckoff position based inorganic crystal representation, 2) a property-directed VAE model and 3) an automated DFT workflow for structure refinement. Our model selectively generates materials that follow the ground truth of unit cell space group symmetry by encoding the Wyckoff representation for each space group. We successfully reproduce a variety of existing materials: CaTiO3 (space group, SG No. 62 and 221), CsPbI3 (SG No. 221), BaTiO3 (SG No. 160), and CuInS2 (SG No.122) for both ground state as well as polymorphic structure predictions. We also generate several new ternary materials not found in the inorganic materials database (Materials Project), which are proved to be stable, retaining their symmetry, and we also check their phonon stability, using our automated DFT workflow highlighting the validity of our approach. We believe our symmetry-aware WyCryst takes a vital step towards AI-driven inorganic materials discovery.


title: AvatarStudio: High-fidelity and Animatable 3D Avatar Creation from Text

abstract: We study the problem of creating high-fidelity and animatable 3D avatars from only textual descriptions. Existing text-to-avatar methods are either limited to static avatars which cannot be animated or struggle to generate animatable avatars with promising quality and precise pose control. To address these limitations, we propose AvatarStudio, a coarse-to-fine generative model that generates explicit textured 3D meshes for animatable human avatars. Specifically, AvatarStudio begins with a low-resolution NeRF-based representation for coarse generation, followed by incorporating SMPL-guided articulation into the explicit mesh representation to support avatar animation and high resolution rendering. To ensure view consistency and pose controllability of the resulting avatars, we introduce a 2D diffusion model conditioned on DensePose for Score Distillation Sampling supervision. By effectively leveraging the synergy between the articulated mesh representation and the DensePose-conditional diffusion model, AvatarStudio can create high-quality avatars from text that are ready for animation, significantly outperforming previous methods. Moreover, it is competent for many applications, e.g., multimodal avatar animations and style-guided avatar creation. For more results, please refer to our project page: http://jeff95.me/projects/avatarstudio.html


title: Driving into the Future: Multiview Visual Forecasting and Planning with World Model for Autonomous Driving

abstract: In autonomous driving, predicting future events in advance and evaluating the foreseeable risks empowers autonomous vehicles to better plan their actions, enhancing safety and efficiency on the road. To this end, we propose Drive-WM, the first driving world model compatible with existing end-to-end planning models. Through a joint spatial-temporal modeling facilitated by view factorization, our model generates high-fidelity multiview videos in driving scenes. Building on its powerful generation ability, we showcase the potential of applying the world model for safe driving planning for the first time. Particularly, our Drive-WM enables driving into multiple futures based on distinct driving maneuvers, and determines the optimal trajectory according to the image-based rewards. Evaluation on real-world driving datasets verifies that our method could generate high-quality, consistent, and controllable multiview videos, opening up possibilities for real-world simulations and safe planning.


title: Visual Anagrams: Generating Multi-View Optical Illusions with Diffusion Models

abstract: We address the problem of synthesizing multi-view optical illusions: images that change appearance upon a transformation, such as a flip or rotation. We propose a simple, zero-shot method for obtaining these illusions from off-the-shelf text-to-image diffusion models. During the reverse diffusion process, we estimate the noise from different views of a noisy image, and then combine these noise estimates together and denoise the image. A theoretical analysis suggests that this method works precisely for views that can be written as orthogonal transformations, of which permutations are a subset. This leads to the idea of a visual anagram--an image that changes appearance under some rearrangement of pixels. This includes rotations and flips, but also more exotic pixel permutations such as a jigsaw rearrangement. Our approach also naturally extends to illusions with more than two views. We provide both qualitative and quantitative results demonstrating the effectiveness and flexibility of our method. Please see our project webpage for additional visualizations and results: https://dangeng.github.io/visual_anagrams/


title: Autoencoder-based analytic continuation method for strongly correlated quantum systems

abstract: The single particle Green's function provides valuable information on the momentum and energy-resolved spectral properties for a strongly correlated system. In large-scale numerical calculations using quantum Monte Carlo (QMC), dynamical mean field theory (DMFT), including cluster-DMFT, one usually obtains the Green's function in imaginary-time $G(\tau)$. The process of inverting a Laplace transform to obtain the spectral function $A(\omega)$ in real-frequency is an ill-posed problem and forms the core of the analytic continuation problem. In this Letter, we propose to use a completely unsupervised autoencoder-type neural network to solve the analytic continuation problem. We introduce an encoder-decoder approach that, together with only minor physical assumptions, can extract a high-quality frequency response from the imaginary time domain. With a deeply tunable architecture, this method can, in principle, locate sharp features of spectral functions that might normally be lost using already well-established methods, such as maximum entropy (MaxEnt) methods. We demonstrate the strength of the autoencoder approach by applying it to QMC results of $G(\tau)$ for a single-band Hubbard model. The proposed method is general and can also be applied to other ill-posed inverse problems.


title: Do text-free diffusion models learn discriminative visual representations?

abstract: While many unsupervised learning models focus on one family of tasks, either generative or discriminative, we explore the possibility of a unified representation learner: a model which addresses both families of tasks simultaneously. We identify diffusion models, a state-of-the-art method for generative tasks, as a prime candidate. Such models involve training a U-Net to iteratively predict and remove noise, and the resulting model can synthesize high-fidelity, diverse, novel images. We find that the intermediate feature maps of the U-Net are diverse, discriminative feature representations. We propose a novel attention mechanism for pooling feature maps and further leverage this mechanism as DifFormer, a transformer feature fusion of features from different diffusion U-Net blocks and noise steps. We also develop DifFeed, a novel feedback mechanism tailored to diffusion. We find that diffusion models are better than GANs, and, with our fusion and feedback mechanisms, can compete with state-of-the-art unsupervised image representation learning methods for discriminative tasks - image classification with full and semi-supervision, transfer for fine-grained classification, object detection and segmentation, and semantic segmentation. Our project website (https://mgwillia.github.io/diffssl/) and code (https://github.com/soumik-kanad/diffssl) are available publicly.


title: A Simple Recipe for Language-guided Domain Generalized Segmentation

abstract: Generalization to new domains not seen during training is one of the long-standing challenges in deploying neural networks in real-world applications. Existing generalization techniques either necessitate external images for augmentation, and/or aim at learning invariant representations by imposing various alignment constraints. Large-scale pretraining has recently shown promising generalization capabilities, along with the potential of binding different modalities. For instance, the advent of vision-language models like CLIP has opened the doorway for vision models to exploit the textual modality. In this paper, we introduce a simple framework for generalizing semantic segmentation networks by employing language as the source of randomization. Our recipe comprises three key ingredients: (i) the preservation of the intrinsic CLIP robustness through minimal fine-tuning, (ii) language-driven local style augmentation, and (iii) randomization by locally mixing the source and augmented styles during training. Extensive experiments report state-of-the-art results on various generalization benchmarks. Code is accessible at https://github.com/astra-vision/FAMix .


title: Enhanced Generative Adversarial Networks for Unseen Word Generation from EEG Signals

abstract: Recent advances in brain-computer interface (BCI) technology, particularly based on generative adversarial networks (GAN), have shown great promise for improving decoding performance for BCI. Within the realm of Brain-Computer Interfaces (BCI), GANs find application in addressing many areas. They serve as a valuable tool for data augmentation, which can solve the challenge of limited data availability, and synthesis, effectively expanding the dataset and creating novel data formats, thus enhancing the robustness and adaptability of BCI systems. Research in speech-related paradigms has significantly expanded, with a critical impact on the advancement of assistive technologies and communication support for individuals with speech impairments. In this study, GANs were investigated, particularly for the BCI field, and applied to generate text from EEG signals. The GANs could generalize all subjects and decode unseen words, indicating its ability to capture underlying speech patterns consistent across different individuals. The method has practical applications in neural signal-based speech recognition systems and communication aids for individuals with speech difficulties.


title: Unrolling Virtual Worlds for Immersive Experiences

abstract: This research pioneers a method for generating immersive worlds, drawing inspiration from elements of vintage adventure games like Myst and employing modern text-to-image models. We explore the intricate conversion of 2D panoramas into 3D scenes using equirectangular projections, addressing the distortions in perception that occur as observers navigate within the encompassing sphere. Our approach employs a technique similar to "inpainting" to rectify distorted projections, enabling the smooth construction of locally coherent worlds. This provides extensive insight into the interrelation of technology, perception, and experiential reality within human-computer interaction.


title: Free energy along drug-protein binding pathways interactively sampled in virtual reality

abstract: We describe a two-step approach for combining interactive molecular dynamics in virtual reality (iMD-VR) with free energy (FE) calculation to explore the dynamics of biological processes at the molecular level. We refer to this combined approach as iMD-VR-FE. Stage one involves using a state-of-the-art iMD-VR framework to generate a diverse range of protein-ligand unbinding pathways, benefitting from the sophistication of human spatial and chemical intuition. Stage two involves using the iMD-VR-sampled pathways as initial guesses for defining a path-based reaction coordinate from which we can obtain a corresponding free energy profile using FE methods. To investigate the performance of the method, we apply iMD-VR-FE to investigate the unbinding of a benzamidine ligand from a trypsin protein. The binding free energy calculated using iMD-VR-FE is similar for each pathway, indicating internal consistency. Moreover, the resulting free energy profiles can distinguish energetic differences between pathways corresponding to various protein-ligand conformations (e.g., helping to identify pathways that are more favourable) and enable identification of metastable states along the pathways. The two-step iMD-VR-FE approach offers an intuitive way for researchers to test hypotheses for candidate pathways in biomolecular systems, quickly obtaining both qualitative and quantitative insight.


title: Grid-Forming Control of Power Converters: Equivalence Proof through Simplified Models

abstract: This work establishes the equivalence of selected grid-forming control algorithms within the context of simplified theoretical models. Considered algorithms are droop control, Virtual Synchronous Machine (VSM) and matching control. It is shown that nodal and network dynamics under those regulators boil down to the same equations near the selected (trivial) nominal operating point. Finally, some practical insights on each regulator dynamics and an outlook are provided.


title: Closed-Loop Ramp-Comparison Current Regulator for an Induction Machine with a PWM Voltage-Source Inverter

abstract: This paper addresses the closed-loop ramp comparison current regulation in an induction machine fed by a pulse width modulated voltage source inverter. The regulator is implemented in a synchronous frame, serving as a foundation for an overarching vector control of the induction machine. First, the effect of PI regulator gains on the controller performance is analyzed both theoretically and numerically using the developed Simulink model of the system. Next, the paper deals with high speed and/or low-voltage operating conditions of the machine, introducing the concept of overmodulation and analyzing its impact on the regulator performance. Obtained simulation results coincide with model-based theoretical predictions and literature findings. Finally, the work proposes an outlook for the high-speed system enhancements in terms of power electronics topology, control and modulation.


title: Hierarchical Multiverse of Sets

abstract: In this paper, I develop a novel version of the multiverse theory of sets called hierarchical pluralism by introducing the notion of `degrees of intentionality' of theories. The presented view is articulated for the purpose of reconciling epistemological realism and the multiverse theory of sets so as to preserve a considerable amount of epistemic objectivity when working with the multiverse theory. I give some arguments in favour of a hierarchical picture of the multiverse in which theories or models are thought to be ordered with respect to their plausibility, as a manifestation of endorsing the idea that some set theories are more plausible than others. The proposed multiverse account settles the pluralist's dilemma, the dichotomy that there is a trade-off between the richness of mathematical ontology and the objectivity of mathematical truth. The view also extends and serves as an alternative position to Balaguer's intention-based Platonism from which he claims that a certain version of mathematical pluralism follows.


title: New Online Communities: Graph Deep Learning on Anonymous Voting Networks to Identify Sybils in Polycentric Governance

abstract: This research examines the polycentric governance of digital assets in blockchain-based Decentralized Autonomous Organizations (DAOs). It offers a theoretical framework and addresses a critical challenge facing decentralized governance by developing a method to identify Sybils, or spurious identities. Sybils pose significant organizational sustainability threats to DAOs and other, commons-based online communities, and threat models are identified. The experimental method uses an autoencoder architecture and graph deep learning techniques to identify Sybil activity in a DAO governance dataset (snapshot.org). Specifically, a Graph Convolutional Neural Network (GCNN) learned voting behaviours and a fast vector clustering algorithm used high-dimensional embeddings to identify similar nodes in a graph. The results reveal that deep learning can effectively identify Sybils, reducing the voting graph by 2-5%. This research underscores the importance of Sybil resistance in DAOs, identifies challenges and opportunities for forensics and analysis of anonymous networks, and offers a novel perspective on decentralized governance, informing future policy, regulation, and governance practices.


title: Pragmatic Nonsense

abstract: Inspired by the early Wittgenstein's concept of nonsense (meaning that which lies beyond the limits of language), we define two different, yet complementary, types of nonsense: formal nonsense and pragmatic nonsense. The simpler notion of formal nonsense is initially defined within Tarski's semantic theory of truth; the notion of pragmatic nonsense, by its turn, is formulated within the context of the theory of pragmatic truth, also known as quasi-truth, as formalized by da Costa and his collaborators. While an expression will be considered formally nonsensical if the formal criteria required for the assignment of any truth-value (whether true, false, pragmatically true, or pragmatically false) to such sentence are not met, a (well-formed) formula will be considered pragmatically nonsensical if the pragmatic criteria (inscribed within the context of scientific practice) required for the assignment of any truth-value to such sentence are not met. Thus, in the context of the theory of pragmatic truth, any (well-formed) formula of a formal language interpreted on a simple pragmatic structure will be considered pragmatically nonsensical if the set of primary sentences of such structure is not well-built, that is, if it does not include the relevant observational data and/or theoretical results, or if it does include sentences that are inconsistent with such data.


title: Model Theory of Ultrafinitism II: Deconstructing the Term Model (First Draft)

abstract: This paper presents a novel possible worlds semantics, designed to elucidate the underpinnings of ultrafinitism. By constructing a careful modification of the well-known Kripke models for inuitionistic logic, we seek to extend our comprehension of the ultra-finite mindset. As it turns out, the passage from standard constructivist mathematics to the ultrafinite is in a sense an operation of deconstruction of familiar mathematical entities, most notably clear when it comes to N.


title: Swallowing the Bitter Pill: Simplified Scalable Conformer Generation

abstract: We present a novel way to predict molecular conformers through a simple formulation that sidesteps many of the heuristics of prior works and achieves state of the art results by using the advantages of scale. By training a diffusion generative model directly on 3D atomic positions without making assumptions about the explicit structure of molecules (e.g. modeling torsional angles) we are able to radically simplify structure learning, and make it trivial to scale up the model sizes. This model, called Molecular Conformer Fields (MCF), works by parameterizing conformer structures as functions that map elements from a molecular graph directly to their 3D location in space. This formulation allows us to boil down the essence of structure prediction to learning a distribution over functions. Experimental results show that scaling up the model capacity leads to large gains in generalization performance without enforcing inductive biases like rotational equivariance. MCF represents an advance in extending diffusion models to handle complex scientific problems in a conceptually simple, scalable and effective manner.


title: Arbitrary Controlled Re-Orientation of a Spinning Body by Evolving its Tensor of Inertia

abstract: Bodies with the nonspherical tensor of inertia exhibit a variety of rotational motion patterns, including chaotic motion, stable periodic (quasi-periodic) rotation, unstable rotation around the direction close to the body's second principal axis, featuring a well-known tennis-racket (also known as Garriott-Dzhanibekov) effect -- series of seemingly spontaneous 180 degrees flips. These patterns are even more complex if the body's tensor of inertia (TOI) is changing with time. Changing a body's TOI has been discussed recently as a tool to perform controllable Garriott-Dzhanibekov flips and similar maneuvers. In this work, the optimal control of the TOI of the body (spacecraft, or any other device that admits free rotation in three dimensions) is used as a means to perform desirable re-orientations of a body with respect to its angular velocity. Using the spherical TOI as the initial and final point of the maneuver, we optimize the parameters of the maneuver to achieve and stabilize the desired orientation of the body's principal axes with respect to spin angular velocity. It appears that such a procedure allows for finding arbitrarily complex maneuver trajectories of a spinning body. In particular, intermediate axis instability can be used to break the alignment of the body's principal axis and the axis of rotation. Such maneuvers do not require utilization of propellants and could be straightforwardly used for attitude control of a spin-stabilized spacecraft. The capabilities of such a method of angular maneuvering are demonstrated in numerical simulations.


title: An extension of the Stone's duality theorem for general lattices

abstract: In this document, we study the Stone's duality theorem in the form proposed by Acosta, Balbes, Dwinger and Stone for distributive lattices. Generalice them to the context of general lattices and study some characterization of the distributive lattices in this theory.


title: Strategic Workforce Planning in Crowdsourced Delivery with Hybrid Driver Fleets

abstract: Nowadays, logistics service providers (LSPs) increasingly consider using a crowdsourced workforce on the last mile to fulfill customers' expectations regarding same-day or on-demand delivery at reduced costs. The crowdsourced workforce's availability is, however, uncertain. Therefore, LSPs often hire additional fixed employees to perform deliveries when the availability of crowdsourced drivers is low. In this context, the reliability versus flexibility trade-off which LSPs face over a longer period, e.g., a year, remains unstudied. Against this background, we jointly study a workforce planning problem that considers fixed drivers (FDs) and the temporal development of the crowdsourced driver (CD) fleet over a long-term time horizon. We consider two types of CDs, gigworkers (GWs) and occasional drivers (ODs). While GWs are not sensitive to the request's destination and typically exhibit high availability, ODs only serve requests whose origin and destination coincide with their own private route's origin and destination. Moreover, to account for time horizon-specific dynamics, we consider stochastic turnover for both FDs and CDs as well as stochastic CD fleet growth. We formulate the resulting workforce planning problem as a Markov decision process (MDP) whose reward function reflects total costs, i.e., wages and operational costs arising from serving demand with FDs and CDs, and solve it via approximate dynamic programming (ADP). Applying our approach to an environment based on real-world demand data from GrubHub, we find that in fleets consisting of FDs and CDs, ADP-based hiring policies can outperform myopic hiring policies by up to 19% in total costs. In the studied setting, we observed that GWs reduce the LSP's total costs more than ODs. When we account for CDs' increased resignation probability when not being matched with enough requests, the amount of required FDs increases.