title: Field-driven transition from quantum spin liquid to magnetic order in triangular-lattice antiferromagnets

abstract: Recently several triangular-lattice magnets with delafossite structure have been found to display spin-liquid behavior down to the lowest temperatures. Remarkably, applying a magnetic field destroys the spin liquid which then gives way to symmetry-breaking states, identified as semiclassical coplanar states including a magnetization plateau at 1/3 total magnetization. Here we provide a theoretical approach rationalizing this dichotomy, utilizing a Schwinger-boson theory that captures both ordered and disordered magnetic phases. We show that a zero-field spin liquid, driven by strong frustration, is naturally destabilized in a magnetic field via spinon condensation. Symmetry-breaking order akin to the standard triangular-lattice Heisenberg model then arises via an order-by-disorder mechanism. We discuss implications for pertinent experiments.


title: On the Destabilization of High-Mass Neutron Stars by the Emergence of $d^*$-Hexaquarks

abstract: We study the effects of the first nontrivial hexaquark, $d^*$(2380), on the equation of state of dense neutron star matter and investigate the consequences of its existence for neutron stars. The matter in the core regions of neutron stars is described using density-dependent relativistic mean-field theory. Our results show that within the parameter spaces examined in our paper, (i) the critical density at which the $d^*$ condensate emerges lies between 4 and 5 times the nuclear saturation density, (ii) $d^*$ hexaquarks are found to exist only in rather massive neutron stars, (iii) only relatively small fractions of the matter in the core of a massive neutron star may contain hexaquarks.


title: FoMo Rewards: Can we cast foundation models as reward functions?

abstract: We explore the viability of casting foundation models as generic reward functions for reinforcement learning. To this end, we propose a simple pipeline that interfaces an off-the-shelf vision model with a large language model. Specifically, given a trajectory of observations, we infer the likelihood of an instruction describing the task that the user wants an agent to perform. We show that this generic likelihood function exhibits the characteristics ideally expected from a reward function: it associates high values with the desired behaviour and lower values for several similar, but incorrect policies. Overall, our work opens the possibility of designing open-ended agents for interactive tasks via foundation models.


title: Signal Detection in Ambient Backscatter Systems: Fundamentals, Methods, and Trends

abstract: Internet-of-Things (IoT) is rapidly growing in wireless technology, aiming to connect vast numbers of devices to gather and distribute vital information. Despite individual devices having low energy consumption, the cumulative demand results in significant energy usage. Consequently, the concept of ultra-low-power tags gains appeal. Such tags communicate by reflecting rather than generating the radio frequency (RF) signals by themselves. Thus, these backscatter tags can be low-cost and battery-free. The RF signals can be ambient sources such as wireless-fidelity (Wi-Fi), cellular, or television (TV) signals, or the system can generate them externally. Backscatter channel characteristics are different from conventional point-to-point or cooperative relay channels. These systems are also affected by a strong interference link between the RF source and the tag besides the direct and backscattering links, making signal detection challenging. This paper provides an overview of the fundamentals, challenges, and ongoing research in signal detection for AmBC networks. It delves into various detection methods, discussing their advantages and drawbacks. The paper's emphasis on signal detection sets it apart and positions it as a valuable resource for IoT and wireless communication professionals and researchers.


title: The Gailitis-Damburg oscillations in the three-body $e^-e^+\bar{p}$ system

abstract: We study the near threshold behavior of cross sections of low-energy antiproton scattering off the ground and excited states of positronium with zero total orbital momentum $L=0$. In our computational experiment, the existence of singularities called the Gailitis-Damburg oscillations above the thresholds of excited states of positronium and antihydrogen atoms is confirmed. In the future the obtained results can be useful for developing proposals for improving the conditions of experiments with antimatter.


title: WonderJourney: Going from Anywhere to Everywhere

abstract: We introduce WonderJourney, a modularized framework for perpetual 3D scene generation. Unlike prior work on view generation that focuses on a single type of scenes, we start at any user-provided location (by a text description or an image) and generate a journey through a long sequence of diverse yet coherently connected 3D scenes. We leverage an LLM to generate textual descriptions of the scenes in this journey, a text-driven point cloud generation pipeline to make a compelling and coherent sequence of 3D scenes, and a large VLM to verify the generated scenes. We show compelling, diverse visual results across various scene types and styles, forming imaginary "wonderjourneys". Project website: https://kovenyu.com/WonderJourney/


title: Adapting Newton's Method to Neural Networks through a Summary of Higher-Order Derivatives

abstract: We consider a gradient-based optimization method applied to a function $\mathcal{L}$ of a vector of variables $\boldsymbol{\theta}$, in the case where $\boldsymbol{\theta}$ is represented as a tuple of tensors $(\mathbf{T}_1, \cdots, \mathbf{T}_S)$. This framework encompasses many common use-cases, such as training neural networks by gradient descent. First, we propose a computationally inexpensive technique providing higher-order information on $\mathcal{L}$, especially about the interactions between the tensors $\mathbf{T}_s$, based on automatic differentiation and computational tricks. Second, we use this technique at order 2 to build a second-order optimization method which is suitable, among other things, for training deep neural networks of various architectures. This second-order method leverages the partition structure of $\boldsymbol{\theta}$ into tensors $(\mathbf{T}_1, \cdots, \mathbf{T}_S)$, in such a way that it requires neither the computation of the Hessian of $\mathcal{L}$ according to $\boldsymbol{\theta}$, nor any approximation of it. The key part consists in computing a smaller matrix interpretable as a "Hessian according to the partition", which can be computed exactly and efficiently. In contrast to many existing practical second-order methods used in neural networks, which perform a diagonal or block-diagonal approximation of the Hessian or its inverse, the method we propose does not neglect interactions between layers. Finally, we can tune the coarseness of the partition to recover well-known optimization methods: the coarsest case corresponds to Cauchy's steepest descent method, the finest case corresponds to the usual Newton's method.


title: On The Fairness Impacts of Hardware Selection in Machine Learning

abstract: In the machine learning ecosystem, hardware selection is often regarded as a mere utility, overshadowed by the spotlight on algorithms and data. This oversight is particularly problematic in contexts like ML-as-a-service platforms, where users often lack control over the hardware used for model deployment. How does the choice of hardware impact generalization properties? This paper investigates the influence of hardware on the delicate balance between model performance and fairness. We demonstrate that hardware choices can exacerbate existing disparities, attributing these discrepancies to variations in gradient flows and loss surfaces across different demographic groups. Through both theoretical and empirical analysis, the paper not only identifies the underlying factors but also proposes an effective strategy for mitigating hardware-induced performance imbalances.


title: The necessity of the sausage-string structure for mode-locking regions of piecewise-linear maps

abstract: Piecewise-smooth maps are used as discrete-time models of dynamical systems whose evolution is governed by different equations under different conditions (e.g.~switched control systems). By assigning a symbol to each region of phase space where the map is smooth, any period-$p$ solution of the map can be associated to an itinerary of $p$ symbols. As parameters of the map are varied, changes to this itinerary occur at border-collision bifurcations (BCBs) where one point of the periodic solution collides with a region boundary. It is well known that BCBs conform broadly to two cases: {\em persistence}, where the symbolic itinerary of a periodic solution changes by one symbol, and a {\em nonsmooth-fold}, where two solutions differing by one symbol collide and annihilate. This paper derives new properties of periodic solutions of piecewise-linear continuous maps on $\mathbb{R}^n$ to show that under mild conditions BCBs of mode-locked solutions on invariant circles must be nonsmooth-folds. This explains why Arnold tongues of piecewise-linear maps exhibit a sausage-string structure whereby changes to symbolic itineraries occur at codimension-two pinch points instead of codimension-one persistence-type BCBs. But the main result is based on the combinatorical properties of the itineraries, so the impossibility of persistence-type BCBs also holds when the periodic solution is unstable or there is no invariant circle.


title: On the required mass for exoplanetary radio emission

abstract: The detection of radio emission from an exoplanet would constitute the best way to determine its magnetic field. Indeed, the presence of a planetary magnetic field is a necessary condition for radio emission via the Cyclotron Maser Instability. The presence of a magnetic field is, however, not sufficient. At the emission site, the local cyclotron frequency has to be sufficiently high compared to the local plasma frequency. As strong stellar insolation on a low-mass planet can lead to an extended planetary atmosphere, the magnetospheric plasma frequency depends on the planetary mass, its orbital distance, and its host star. We show that an extended planetary atmosphere can quench the radio emission. This seems to be true, in particular, for an important fraction of the planets less massive than approximately two Jupiter masses and with orbital distances below $\sim$0.2 AU. Most of the best candidates suggested by radio scaling laws lie in this parameter space. Taking this effect quenching into account will have important implications for the target selection of observation campaigns. At the same time, this effect will have consequences for the interpretation of observational data.


title: A Masked Pruning Approach for Dimensionality Reduction in Communication-Efficient Federated Learning Systems

abstract: Federated Learning (FL) represents a growing machine learning (ML) paradigm designed for training models across numerous nodes that retain local datasets, all without directly exchanging the underlying private data with the parameter server (PS). Its increasing popularity is attributed to notable advantages in terms of training deep neural network (DNN) models under privacy aspects and efficient utilization of communication resources. Unfortunately, DNNs suffer from high computational and communication costs, as well as memory consumption in intricate tasks. These factors restrict the applicability of FL algorithms in communication-constrained systems with limited hardware resources. In this paper, we develop a novel algorithm that overcomes these limitations by synergistically combining a pruning-based method with the FL process, resulting in low-dimensional representations of the model with minimal communication cost, dubbed Masked Pruning over FL (MPFL). The algorithm operates by initially distributing weights to the nodes through the PS. Subsequently, each node locally trains its model and computes pruning masks. These low-dimensional masks are then transmitted back to the PS, which generates a consensus pruning mask, broadcasted back to the nodes. This iterative process enhances the robustness and stability of the masked pruning model. The generated mask is used to train the FL model, achieving significant bandwidth savings. We present an extensive experimental study demonstrating the superior performance of MPFL compared to existing methods. Additionally, we have developed an open-source software package for the benefit of researchers and developers in related fields.


title: Transition from inhomogeneous to homogeneous broadening at a lasing prethreshold

abstract: The emission linewidth in active medium emerges due to homogeneous and inhomogeneous broadening. We demonstrate that in lasers with inhomogeneous broadening there is a critical pump rate, above which the special mode forms. This mode consists of locked-in oscillations of cavity mode and of the active particles with different transition frequencies. Below the critical value of the pump rate, the radiation spectrum of the laser has a Gaussian profile, provided that inhomogeneous broadening is dominant. Above the critical value of pump rate, the special mode mostly determines the laser radiation spectrum. As the result, the spectrum attains Lorentz shape characteristic for homogeneous broadening. We demonstrate that the formation of the special mode precedes lasing and that the critical pump rate plays the role of lasing prethreshold. We obtain expressions for the threshold and generation frequency of single-mode laser where both homogeneous and inhomogeneous broadening are present.


title: Evaluation of Infrastructure-based Warning System on Driving Behaviors-A Roundabout Study

abstract: Smart intersections have the potential to improve road safety with sensing, communication, and edge computing technologies. Perception sensors installed at a smart intersection can monitor the traffic environment in real time and send infrastructure-based warnings to nearby travelers through V2X communication. This paper investigated how infrastructure-based warnings can influence driving behaviors and improve roundabout safety through a driving-simulator study - a challenging driving scenario for human drivers. A co-simulation platform integrating Simulation of Urban Mobility (SUMO) and Webots was developed to serve as the driving simulator. A real-world roundabout in Ann Arbor, Michigan was built in the co-simulation platform as the study area, and the merging scenarios were investigated. 36 participants were recruited and asked to navigate the roundabout under three danger levels (e.g., low, medium, high) and three collision warning designs (e.g., no warning, warning issued 1 second in advance, warning issued 2 seconds in advance). Results indicated that advanced warnings can significantly enhance safety by minimizing potential risks compared to scenarios without warnings. Earlier warnings enabled smoother driver responses and reduced abrupt decelerations. In addition, a personalized intention prediction model was developed to predict drivers' stop-or-go decisions when the warning is displayed. Among all tested machine learning models, the XGBoost model achieved the highest prediction accuracy with a precision rate of 95.56% and a recall rate of 97.73%.


title: A minimal model for the role of the reaction rate on the initiation and self-sustenance of curved detonations

abstract: A minimal model for curved detonations is studied, illustrating the role of the reaction rate on the detonation speed and its propagation limits. The model is based on a simple extension of the minimal Fickett toy model for detonations based on the kinematic wave equation. The use of a simple depletion rate conditioned on the shock speed serves to illustrate its role in the quasi-steady structure of curved waves and their initiation from a strong blast wave. Calculations of strong initiation from a self-similar explosion illustrate the various asymptotic regimes of the transition to self-sustenance and their link to the steady wave structure. We recover the asymptotic regimes of detonation formation suggested by He and Clavin and modelled in the context of Detonation Shock Dynamics by Stewart and collaborators. Following an analysis using the shock change equation, we identify a unique criterion that permits to infer the critical energy for initiation from the competition between energy release and geometric decay.


title: Deliberative Technology for Alignment

abstract: For humanity to maintain and expand its agency into the future, the most powerful systems we create must be those which act to align the future with the will of humanity. The most powerful systems today are massive institutions like governments, firms, and NGOs. Deliberative technology is already being used across these institutions to help align governance and diplomacy with human will, and modern AI is poised to make this technology significantly better. At the same time, the race to superhuman AGI is already underway, and the AI systems it gives rise to may become the most powerful systems of the future. Failure to align the impact of such powerful AI with the will of humanity may lead to catastrophic consequences, while success may unleash abundance. Right now, there is a window of opportunity to use deliberative technology to align the impact of powerful AI with the will of humanity. Moreover, it may be possible to engineer a symbiotic coupling between powerful AI and deliberative alignment systems such that the quality of alignment improves as AI capabilities increase.


title: Zero-Class Poisson for Rare-Event Studies

abstract: We developed a statistical theory of zero-count-detector (ZCD), which is defined as a zero-class Poisson under conditions outlined in the paper. ZCD is often encountered in the studies of rare events in physics, health physics, and many other fields where counting of events occurs. We found no acceptable solution to ZCD in classical statistics and affirmed the need for the Bayesian statistics. Several uniform and reference priors were studied and we derived Bayesian posteriors, point estimates, and upper limits. It was showed that the maximum-entropy prior, containing the most information, resulted in the smallest bias and the lowest risk, making it the most admissible and acceptable among the priors studied. We also investigated application of zero-inflated Poisson and Negative-binomial distributions to ZCD. It was showed using Bayesian marginalization that, under limited information, these distributions reduce to the Poisson distribution.


title: HLoOP -- Hyperbolic 2-space Local Outlier Probabilities

abstract: Hyperbolic geometry has recently garnered considerable attention in machine learning due to its capacity to embed hierarchical graph structures with low distortions for further downstream processing. This paper introduces a simple framework to detect local outliers for datasets grounded in hyperbolic 2-space referred to as HLoOP (Hyperbolic Local Outlier Probability). Within a Euclidean space, well-known techniques for local outlier detection are based on the Local Outlier Factor (LOF) and its variant, the LoOP (Local Outlier Probability), which incorporates probabilistic concepts to model the outlier level of a data vector. The developed HLoOP combines the idea of finding nearest neighbors, density-based outlier scoring with a probabilistic, statistically oriented approach. Therefore, the method consists in computing the Riemmanian distance of a data point to its nearest neighbors following a Gaussian probability density function expressed in a hyperbolic space. This is achieved by defining a Gaussian cumulative distribution in this space. The HLoOP algorithm is tested on the WordNet dataset yielding promising results. Code and data will be made available on request for reproductibility.


title: A Tight Threshold Bound for Search Trees with 2-way Comparisons

abstract: We study search trees with 2-way comparisons (2WCST's), which involve separate less-than and equal-to tests in their nodes, each test having two possible outcomes, yes and no. These trees have a much subtler structure than standard search trees with 3-way comparisons (3WCST's) and are still not well understood, hampering progress towards designing an efficient algorithm for computing minimum-cost trees. One question that attracted attention in the past is whether there is an easy way to determine which type of comparison should be applied at any step of the search. Anderson, Kannan, Karloff and Ladner studied this in terms of the ratio between the maximum and total key weight, and defined two threshold values: $\lambda^-$ is the largest ratio that forces the less-than test, and $\lambda^+$ is the smallest ratio that forces the equal-to test. They determined that $\lambda^- = 1/4$, but for the higher threshold they only showed that $\lambda^+\in [3/7,4/9]$. We give the tight bound for the higher threshold, by proving that in fact $\lambda^+ = 3/7$.


title: Revisiting the Optimality of Word Lengths

abstract: Zipf (1935) posited that wordforms are optimized to minimize utterances' communicative costs. Under the assumption that cost is given by an utterance's length, he supported this claim by showing that words' lengths are inversely correlated with their frequencies. Communicative cost, however, can be operationalized in different ways. Piantadosi et al. (2011) claim that cost should be measured as the distance between an utterance's information rate and channel capacity, which we dub the channel capacity hypothesis (CCH) here. Following this logic, they then proposed that a word's length should be proportional to the expected value of its surprisal (negative log-probability in context). In this work, we show that Piantadosi et al.'s derivation does not minimize CCH's cost, but rather a lower bound, which we term CCH-lower. We propose a novel derivation, suggesting an improved way to minimize CCH's cost. Under this method, we find that a language's word lengths should instead be proportional to the surprisal's expectation plus its variance-to-mean ratio. Experimentally, we compare these three communicative cost functions: Zipf's, CCH-lower , and CCH. Across 13 languages and several experimental settings, we find that length is better predicted by frequency than either of the other hypotheses. In fact, when surprisal's expectation, or expectation plus variance-to-mean ratio, is estimated using better language models, it leads to worse word length predictions. We take these results as evidence that Zipf's longstanding hypothesis holds.


title: The Cost Function of a Two-Level Inventory System with identical retailers benefitting from Information Sharing

abstract: This paper investigates a two-echelon inventory system with a central warehouse and N (N > 2) retailers managed by a centralized information-sharing mechanism. In particular, the paper mathematically models an easy-to-implement inventory control system that facilitates making use of information. Some assumptions of the paper include: a) constant delivery time for retailers and the central warehouse and b) Poisson demand with identical rates for retailers. The inventory policy comprises continuous review (R,Q)-policy on the part of retailers and triggering the system with m batches (of a given size Q) at the central warehouse. Besides, the central warehouse monitors retailers' inventory and may order batches sooner than retailers' reorder point, when their inventory position reaches R + s. An earlier study proposed the policy and its cost function approximation. This paper derives an exact mathematical model of the cost function for the aforementioned problem.


title: An Extension of the Non-Inferior Set Estimation Algorithm for Many Objectives

abstract: This work proposes a novel multi-objective optimization approach that globally finds a representative non-inferior set of solutions, also known as Pareto-optimal solutions, by automatically formulating and solving a sequence of weighted sum method scalarization problems. The approach is called MONISE (Many-Objective NISE) because it represents an extension of the well-known non-inferior set estimation (NISE) algorithm, which was originally conceived to deal with two-dimensional objective spaces. The proposal is endowed with the following characteristics: (1) uses a mixed-integer linear programming formulation to operate in two or more dimensions, thus properly supporting many (i.e., three or more) objectives; (2) relies on an external algorithm to solve the weighted sum method scalarization problem to optimality; and (3) creates a faithful representation of the Pareto frontier in the case of convex problems, and a useful approximation of it in the non-convex case. Moreover, when dealing specifically with two objectives, some additional properties are portrayed for the estimated non-inferior set. Experimental results validate the proposal and indicate that MONISE is competitive, in convex and non-convex (combinatorial) problems, both in terms of computational cost and the overall quality of the non-inferior set, measured by the acquired hypervolume.


title: Community Detection in High-Dimensional Graph Ensembles

abstract: Detecting communities in high-dimensional graphs can be achieved by applying random matrix theory where the adjacency matrix of the graph is modeled by a Stochastic Block Model (SBM). However, the SBM makes an unrealistic assumption that the edge probabilities are homogeneous within communities, i.e., the edges occur with the same probabilities. The Degree-Corrected SBM is a generalization of the SBM that allows these edge probabilities to be different, but existing results from random matrix theory are not directly applicable to this heterogeneous model. In this paper, we derive a transformation of the adjacency matrix that eliminates this heterogeneity and preserves the relevant eigenstructure for community detection. We propose a test based on the extreme eigenvalues of this transformed matrix and (1) provide a method for controlling the significance level, (2) formulate a conjecture that the test achieves power one for all positive significance levels in the limit as the number of nodes approaches infinity, and (3) provide empirical evidence and theory supporting these claims.


title: Redrawing the 2012 map of the Maryland congressional districts

abstract: Gerrymandering is the practice of drawing biased electoral maps that manipulate the voter population to gain an advantage. The most recent time gerrymandering became an issue was 2019 when the U.S. Federal Supreme Court decided that the court does not have the authority to dictate how to draw the district map and state legislators are the ones who should come up with an electoral district plan. We solve the political districting problem and redraw the 2012 map of Maryland congressional districts which raised the issue in 2019.


title: Structural Chirality and Electronic Chirality in Quantum Materials

abstract: In chemistry and biochemistry, chirality represents the structural asymmetry characterized by non-superimposable mirror images for a material like DNA. In physics, however, chirality commonly refers to the spin-momentum locking of a particle or quasiparticle in the momentum space. While seemingly disconnected, structural chirality in molecules and crystals can drive electronic chirality through orbital-momentum locking, i.e. chirality can be transferred from the atomic geometry to electronic orbitals. Electronic chirality provides an insightful understanding of the chirality-induced spin selectivity (CISS), in which electrons exhibit salient spin polarization after going through a chiral material, and electric magnetochiral anisotropy (EMCA), which is characterized by the diode-like transport. It further gives rise to new phenomena, such as anomalous circularly polarized light emission (ACPLE), in which the light handedness relies on the emission direction. These chirality-driven effects will generate broad impacts in fundamental science and technology applications in spintronics, optoelectronics, and biochemistry.


title: Adaptive Dependency Learning Graph Neural Networks

abstract: Graph Neural Networks (GNN) have recently gained popularity in the forecasting domain due to their ability to model complex spatial and temporal patterns in tasks such as traffic forecasting and region-based demand forecasting. Most of these methods require a predefined graph as input, whereas in real-life multivariate time series problems, a well-predefined dependency graph rarely exists. This requirement makes it harder for GNNs to be utilised widely for multivariate forecasting problems in other domains such as retail or energy. In this paper, we propose a hybrid approach combining neural networks and statistical structure learning models to self-learn the dependencies and construct a dynamically changing dependency graph from multivariate data aiming to enable the use of GNNs for multivariate forecasting even when a well-defined graph does not exist. The statistical structure modeling in conjunction with neural networks provides a well-principled and efficient approach by bringing in causal semantics to determine dependencies among the series. Finally, we demonstrate significantly improved performance using our proposed approach on real-world benchmark datasets without a pre-defined dependency graph.


title: Cosmological parameters estimated from velocity -- density comparisons: Calibrating 2M++

abstract: Cosmological parameters can be measured by comparing peculiar velocities with those predicted from a galaxy density field. Previous work has tested the accuracy of this approach with N-body simulations, but generally on idealised mock galaxy surveys. However, systematic biases may arise solely due to survey selection effects such as flux-limited samples, edge-effects, and complications due to the obscuration of the Galactic plane. In this work, we explore the impact of each of these effects individually well as collectively, using the semi-analytic models from numerical simulations to generate mock catalogues that mimic the 2M++ density field. We find the reconstruction and analysis methods used for our 2M++ mocks produce a value of fsigma_8 that is biased high by a factor 1.04 \pm 0.01 compared to the true value. Moreover, a cosmic volume matching that of 2M++ has a cosmic variance uncertainty in fsigma_8 of ~5%. The systematic bias is a function of distance: it is unbiased close to the origin but is biased slightly high for distances in the range 100-180 Mpc/h. Correcting for this small bias, we find the linear fsigma_8 = 0.362 \pm 0.023. The predicted peculiar velocities from 2M++ have an error of 170 km/s that slowly increases with distance, exceeding 200 km/s only at distances of 180-200 Mpc/h. Finally, the residual bulk flow speeds found in previous work are shown to be not in conflict with those expected in the Lambda cold dark matter model.


title: A Pseudo-Semantic Loss for Autoregressive Models with Logical Constraints

abstract: Neuro-symbolic AI bridges the gap between purely symbolic and neural approaches to learning. This often requires maximizing the likelihood of a symbolic constraint w.r.t the neural network's output distribution. Such output distributions are typically assumed to be fully-factorized. This limits the applicability of neuro-symbolic learning to the more expressive autoregressive distributions, e.g., transformers. Under such distributions, computing the likelihood of even simple constraints is #P-hard. Instead of attempting to enforce the constraint on the entire output distribution, we propose to do so on a random, local approximation thereof. More precisely, we optimize the likelihood of the constraint under a pseudolikelihood-based approximation centered around a model sample. Our approximation is factorized, allowing the reuse of solutions to sub-problems, a main tenet for efficiently computing neuro-symbolic losses. Moreover, it is a local, high-fidelity approximation of the likelihood, exhibiting low entropy and KL-divergence around the model sample. We evaluate our approach on Sudoku and shortest-path prediction cast as autoregressive generation, and observe that we greatly improve upon the base model's ability to predict logically-consistent outputs. We also evaluate on the task of detoxifying large language models. Using a simple constraint disallowing a list of toxic words, we are able to steer the model's outputs away from toxic generations, achieving SoTA detoxification compared to previous approaches.


title: Computing the Volume of a Restricted Independent Set Polytope Deterministically

abstract: We construct a quasi-polynomial time deterministic approximation algorithm for computing the volume of an independent set polytope with restrictions. Randomized polynomial time approximation algorithms for computing the volume of a convex body have been known now for several decades, but the corresponding deterministic counterparts are not available, and our algorithm is the first of this kind. The class of polytopes for which our algorithm applies arises as linear programming relaxation of the independent set problem with the additional restriction that each variable takes value in the interval $[0,1-\alpha]$ for some $\alpha<1/2$. (We note that the $\alpha\ge 1/2$ case is trivial). We use the correlation decay method for this problem applied to its appropriate and natural discretization. The method works provided $\alpha> 1/2-O(1/\Delta^2)$, where $\Delta$ is the maximum degree of the graph. When $\Delta=3$ (the sparsest non-trivial case), our method works provided $0.488<\alpha<0.5$. Interestingly, the interpolation method, which is based on analyzing complex roots of the associated partition functions, fails even in the trivial case when the underlying graph is a singleton.


title: H\'enon maps: a list of open problems

abstract: We propose a set of questions on the dynamics of H\'enon maps from the real, complex, algebraic and arithmetic points of view.


title: A Theory of Irrotational Contact Fields

abstract: We present a framework that enables to write a family of convex approximations of complex contact models. Within this framework, we show that we can incorporate well established and experimentally validated contact models such as the Hunt & Crossley model. Moreover, we show how to incorporate Coulomb's law and the principle of maximum dissipation using a regularized model of friction. Contrary to common wisdom that favors the use of rigid contact models, our convex formulation is robust and performant even at high stiffness values far beyond that of materials such as steel. Therefore, the same formulation enables the modeling of compliant surfaces such as rubber gripper pads or robot feet as well as hard objects. We characterize and evaluate our approximations in a number of tests cases. We report their properties and highlight limitations. Finally, we demonstrate robust simulation of robotic tasks at interactive rates, with accurately resolved stiction and contact transitions, as required for meaningful sim-to-real transfer. Our method is implemented in the open source robotics toolkit Drake.


title: Thermodynamic Bethe Ansatz and Generalised Hydrodynamics in the sine-Gordon model

abstract: We set up a hydrodynamic description of the non-equilibrium dynamics of sine-Gordon quantum field theory for generic coupling. It is built upon an explicit form of the Bethe Ansatz description of general thermodynamic states, with the structure of the resulting coupled integral equations encoded in terms of graphical diagrams. The resulting framework is applied to derive results for the Drude weights of charge and energy. Quantities associated with the charge universally have fractal dependence on the coupling, which is notably absent from those associated with energy, a feature explained by the different roles played by reflective scattering in transporting these quantities. We then present far-from-equilibrium results, including explicit time evolution starting from bipartite initial states and dynamical correlation functions. Our framework can be applied to explore numerous other aspects of non-equilibrium dynamics, which opens the way to a wide array of theoretical studies and potential novel experimental predictions.


title: High-Precision Frequency-Controlled Optical Phase Shifter with Acousto Optic Devices

abstract: A fundamental parameter to determine how electromagnetic waves interfere is their relative phase. Therefore, achieving a fine control over it enables a wide range of interferometric applications. Existing phase control methods rely on modifying the optical path length by either changing the path followed by the light or by altering the thickness or index of refraction of an optical element in the setup. In this work we present a novel method, based on acousto-optic modulators (AOM), which allows adjusting the phase by shifting the frequency of the light in a segment of its path. Since the amount of phase-shift depends on the length of the segment, an optical fiber is used to realize a \boldmath$2\pi$ shift. Two experimental implementations are described which deal with different sources of phase fluctuations. The first addresses fluctuations resulting from the optical fiber while the second also tackles unwanted variations originating from the AOMs.


title: Improving Gradient-guided Nested Sampling for Posterior Inference

abstract: We present a performant, general-purpose gradient-guided nested sampling algorithm, ${\tt GGNS}$, combining the state of the art in differentiable programming, Hamiltonian slice sampling, clustering, mode separation, dynamic nested sampling, and parallelization. This unique combination allows ${\tt GGNS}$ to scale well with dimensionality and perform competitively on a variety of synthetic and real-world problems. We also show the potential of combining nested sampling with generative flow networks to obtain large amounts of high-quality samples from the posterior distribution. This combination leads to faster mode discovery and more accurate estimates of the partition function.


title: Collaboration or Corporate Capture? Quantifying NLP's Reliance on Industry Artifacts and Contributions

abstract: Impressive performance of pre-trained models has garnered public attention and made news headlines in recent years. Almost always, these models are produced by or in collaboration with industry. Using them is critical for competing on natural language processing (NLP) benchmarks and correspondingly to stay relevant in NLP research. We surveyed 100 papers published at EMNLP 2022 to determine the degree to which researchers rely on industry models, other artifacts, and contributions to publish in prestigious NLP venues and found that the ratio of their citation is at least three times greater than what would be expected. Our work serves as a scaffold to enable future researchers to more accurately address whether: 1) Collaboration with industry is still collaboration in the absence of an alternative or 2) if NLP inquiry has been captured by the motivations and research direction of private corporations.


abstract: Synthesizing semantic-aware, long-horizon, human-object interaction is critical to simulate realistic human behaviors. In this work, we address the challenging problem of generating synchronized object motion and human motion guided by language descriptions in 3D scenes. We propose Controllable Human-Object Interaction Synthesis (CHOIS), an approach that generates object motion and human motion simultaneously using a conditional diffusion model given a language description, initial object and human states, and sparse object waypoints. While language descriptions inform style and intent, waypoints ground the motion in the scene and can be effectively extracted using high-level planning methods. Naively applying a diffusion model fails to predict object motion aligned with the input waypoints and cannot ensure the realism of interactions that require precise hand-object contact and appropriate contact grounded by the floor. To overcome these problems, we introduce an object geometry loss as additional supervision to improve the matching between generated object motion and input object waypoints. In addition, we design guidance terms to enforce contact constraints during the sampling process of the trained diffusion model.


title: Fully closed maps and LUR renormability

abstract: We show that the space of continuous functions over a compact space X admits an equivalent pointwise-lowersemicontinuous locally uniformly rotund norm whenever X admits a fully closed map onto a compact Y such that C(Y) and the spaces of continuous functions over the fibers all admit such norms. A map is called fully closed if the intersection of the images of any two closed disjoint sets is finite. As a main corollary we obtain that C(X) is LUR renormable whenever X is a Fedorchuk compact of finite spectral height.


title: Alternative models for FX, arbitrage opportunities and efficient pricing of double barrier options in L\'evy models

abstract: We analyze the qualitative differences between prices of double barrier no-touch options in the Heston model and pure jump KoBoL model calibrated to the same set of the empirical data, and discuss the potential for arbitrage opportunities if the correct model is a pure jump model. We explain and demonstrate with numerical examples that accurate and fast calculations of prices of double barrier options in jump models are extremely difficult using the numerical methods available in the literature. We develop a new efficient method (GWR-SINH method) based of the Gaver-Wynn-Rho acceleration applied to the Bromwich integral; the SINH-acceleration and simplified trapezoid rule are used to evaluate perpetual double barrier options for each value of the spectral parameter in GWR-algorithm. The program in Matlab running on a Mac with moderate characteristics achieves the precision of the order of E-5 and better in several several dozen of milliseconds; the precision E-07 is achievable in about 0.1 sec. We outline the extension of GWR-SINH method to regime-switching models and models with stochastic parameters and stochastic interest rates.


title: Quantum algorithm for linear non-unitary dynamics with near-optimal dependence on all parameters

abstract: We introduce a family of identities that express general linear non-unitary evolution operators as a linear combination of unitary evolution operators, each solving a Hamiltonian simulation problem. This formulation can exponentially enhance the accuracy of the recently introduced linear combination of Hamiltonian simulation (LCHS) method [An, Liu, and Lin, Physical Review Letters, 2023]. For the first time, this approach enables quantum algorithms to solve linear differential equations with both optimal state preparation cost and near-optimal scaling in matrix queries on all parameters.


title: [\ion{O}{III}]\,$\lambda$5007 emissions in extremely red quasars (ERQs) are compact

abstract: ``Extremely red quasars'' (ERQs) are a non-radio-selected, intrinsically luminous population of quasars at cosmic noon selected by their extremely red colour from rest-frame UV to mid-IR. ERQs are uniquely associated with exceptionally broad and blueshifted [\ion{O}{III}]\,$\lambda$5007 emission reaching speeds $>$6000\,km\,s$^{-1}$. We obtained laser-guided adaptive optics integral-field spectroscopic observations using Keck/OSIRIS and Gemini/NIFS of a sample of 10 ERQs with bolometric luminosities (10$^{47.0}$\textendash10$^{47.9}$)\,erg\,s$^{-1}$ at $z\sim$~(2.3\textendash3.0). The goal is to measure the sizes and spatially-resolved kinematics of the [\ion{O}{III}]-emitting regions. We study the surface brightness maps and aperture-extracted spectra and model the point-spread functions. We identify signs of merger activities in the continuum emissions. We identify physically distinct [\ion{O}{III}] kinematic components that are bimodal and respectively trace ERQ-driven outflows of velocity dispersion $\gtrsim$250\,km\,s$^{-1}$ and dynamically quiescent interstellar media. We find that the ERQ-driven ionized outflows are typically at $\sim$1\,kpc scales whereas the quiescent ionized gas extend to a few kpc. Compared to other luminous quasars the extremely fast ERQ-driven [\ion{O}{III}] outflows tend to be more compact, supporting the notion that ERQs are in a young stage of quasar/galaxy evolution and represent systems with unique physical conditions beyond orientation differences with other quasar populations. The kinematically quiescent [\ion{O}{III}] emissions in ERQs tend to be spatially-resolved but less extended than in other luminous quasars, which can be explained by global and patchy dust obscuration. The hint of ionization cones suggests some of the obscuration can be partially explained by a patchy torus.


title: Data Safety vs. App Privacy: Comparing the Usability of Android and iOS Privacy Labels

abstract: Privacy labels -- standardized, compact representations of data collection and data use practices -- are often presented as a solution to the shortcomings of privacy policies. Apple introduced mandatory privacy labels for apps in its App Store in December 2020; Google introduced mandatory labels for Android apps in July 2022. iOS app privacy labels have been evaluated and critiqued in prior work. In this work, we evaluated Android Data Safety Labels and explored how differences between the two label designs impact user comprehension and label utility. We conducted a between-subjects, semi-structured interview study with 12 Android users and 12 iOS users. While some users found Android Data Safety Labels informative and helpful, other users found them too vague. Compared to iOS App Privacy Labels, Android users found the distinction between data collection groups more intuitive and found explicit inclusion of omitted data collection groups more salient. However, some users expressed skepticism regarding elided information about collected data type categories. Most users missed critical information due to not expanding the accordion interface, and they were surprised by collection practices excluded from Android's definitions. Our findings also revealed that Android users generally appreciated information about security practices included in the labels, and iOS users wanted that information added.


title: Indivisibility and uniform computational strength

abstract: A countable structure is indivisible if for every coloring with finite range there is a monochromatic isomorphic subcopy of the structure. Each indivisible structure naturally corresponds to an indivisibility problem which outputs such a subcopy given a presentation and coloring. We investigate the Weihrauch complexity of the indivisibility problems for two structures: the rational numbers $\mathbb{Q}$ as a linear order, and the equivalence relation $\mathscr{E}$ with countably many equivalence classes each having countably many members. We separate the Weihrauch degrees of both corresponding indivisibility problems from several benchmarks, showing in particular that the indivisibility problem for $\mathbb{Q}$ cannot solve the problem of finding a monochromatic rational interval given a coloring for which there is one; and that the Weihrauch degree of the indivisibility problem for $\mathscr{E}$ is strictly between those of $\mathsf{RT}^2$ and $\mathsf{SRT}^2$, two widely studied variants of Ramsey's theorem for pairs whose reverse-mathematical separation was open until recently.


title: Optimizing Closed Payment Networks on the Lightning Network: Dual Central Node Approach

abstract: The Lightning Network, known for its millisecond settlement speeds and low transaction fees, offers a compelling alternative to traditional payment processors, which often have higher fees and longer processing times. This is particularly significant for the unbanked population, which lacks access to standard financial services. Our research targets businesses looking to shift their client to client payment processes, such as B2B invoicing, remittances, and cross-border transactions, to the Lightning Network. We compare the efficiency of interconnected mesh nodes (complete graph topology) with central routing nodes (star graph topology), with a specific focus on the dual central node approach. This approach introduces features like circular rebalancing, redundancy, and a closed network system. Through a basic SimPy model, we assess the network's throughput in a 100 node scenario. While this approach centralizes a technology initially designed for decentralization, it fosters broader enterprise adoption of Bitcoin-based payment networks and encourages participation in the decentralized financial ecosystem. Our study also considers the regulatory implications of using central routing nodes, possibly classified as payment processors under Money Transmission Laws (MTL). These findings aim to contribute to the discourse on the Lightning Network's application in business, highlighting its potential to drive shifts in financial technology towards more decentralized systems.


title: Feynman's method in chiral nanorod-based metamaterial nanoplasmonics

abstract: We propose a theoretical approach to some of the nanorod-based metamaterial implementations that does not depend on macroscopic electrodynamics. The approach is motivated by the fact that in actual experiments the incident electromagnetic wave encounters a metamaterial structure which is planar in its shape, contains a layer or two of artificially created building blocks, and therefore cannot be regarded as a three-dimensional continuous medium. This leads to a theoretical framework in which the phenomenological concept of refractive index loses its principled meaning, and the deeper concept of scattering is taking center stage. Our proposal and its mathematical realization rely heavily on Feynman's explanation of the physical origin of the index of refraction and on his formula for the field of a plane of oscillating charges. We provide a complete proof of Feynman's formula, filling in some steps that were missing in the original derivation, and then generalize it to the case of a finite disk, which may be relevant to the actual experiments involving laser beams. We then show how the formula can be applied to metamaterial nanoplasmonics by considering some subtle interference effects in narrow laser beams striking metamaterial plates. The first two effects use a single layer of aligned plasmonic nanorods, while the third uses a single layer of gyrotropic elements that may conveniently be described by the celebrated Born-Kuhn oscillator model. The considered effects can potentially be used in the development of quality standards for various metamaterial devices.


title: Slepian Beamforming: Broadband Beamforming using Streaming Least Squares

abstract: In this paper we revisit the classical problem of estimating a signal as it impinges on a multi-sensor array. We focus on the case where the impinging signal's bandwidth is appreciable and is operating in a broadband regime. Estimating broadband signals, often termed broadband (or wideband) beamforming, is traditionally done through filter and summation, true time delay, or a coupling of the two. Our proposed method deviates substantially from these paradigms in that it requires no notion of filtering or true time delay. We use blocks of samples taken directly from the sensor outputs to fit a robust Slepian subspace model using a least squares approach. We then leverage this model to estimate uniformly spaced samples of the impinging signal. Alongside a careful discussion of this model and how to choose its parameters we show how to fit the model to new blocks of samples as they are received, producing a streaming output. We then go on to show how this method naturally extends to adaptive beamforming scenarios, where we leverage signal statistics to attenuate interfering sources. Finally, we discuss how to use our model to estimate from dimensionality reducing measurements. Accompanying these discussions are extensive numerical experiments establishing that our method outperforms existing filter based approaches while being comparable in terms of computational complexity.


title: The concentration-compactness principle for fractional Orlicz-Sobolev spaces

abstract: In this paper, we delve into the well-known concentration-compactness principle in fractional Orlicz-Sobolev spaces, and we apply it to establish the existence of a weak solution for a critical elliptic problem involving the fractional $g-$Laplacian.


title: Integrating Traditional CS Class Activities with Computing for Social Good, Ethics, and Communication and Leadership Skills

abstract: Software and information technologies are becoming increasingly integrated and pervasive in human society and range from automated decision making and social media and entertainment, to running critical social and physical infrastructures like government programs, utilities, and financial institutions. As a result, there is a growing awareness of the need to develop professionals who will harness these technologies in fair and inclusive ways and use them to address global issues like health, water management, poverty, and human rights. In this regard, many academic researchers have expressed the need to complement traditional teaching of CS technical skills with computer and information ethics (computing for social good), as well as communication and leadership skills. In this paper, we describe our goals and some possible class activities we have developed and refined over the past few years with encouraging results, to help CS students understand the potential uses of computing for social good. In these carefully planned project assignments, we seamlessly integrate traditional approaches to develop technical skills with broader professional responsibility and soft skills. We then discuss the lessons learned from these activities and briefly outline future plans.


title: Pruning vineyards: updating barcodes by removing simplices

abstract: The barcode computation of a filtration can be computationally expensive. Therefore, it is useful to have methods to update a barcode if the associated filtration undergoes small changes, such as changing the entrance order, or adding and removing simplices. There is already a rich literature on how to efficiently update a barcode in the first two cases, but the latter case has not been investigated yet. In this work, we provide an algorithm to update a reduced boundary matrix when simplices are removed. We show that the complexity of this algorithm is lower than recomputing the barcode from scratch, with both theoretical and experimental methods.


title: Constraints on axion-like ultralight dark matter from observations of the HL Tauri protoplanetary disk

abstract: Dark matter may consist of axion-like particles (ALPs). When polarized electromagnetic radiation passes through the dark-matter media, interaction with background ALPs affects the polarization of photons. The condensate of axionic dark matter experiences periodic oscillations, and the period of the oscillations is of order of years for ultra-light dark matter. This would result in observable periodic changes in the polarization plane, determined by the phases of the ALP field at the Earth and at the source. In this paper, we use recent polarimetric observations of the HL Tauri protoplanetary disk performed in different years to demonstrate the lack of changes of polarization angles, and hence to constrain masses and photon couplings of the hypothetical axion-like ultralight dark matter.


title: A fast numerical algorithm for finding all real solutions to a system of N nonlinear equations in a finite domain

abstract: A highly recurrent traditional bottleneck in applied mathematics, for which the most popular codes (Mathematica and Matlab) do not offer a solution, is to find all the real solutions of a system of N nonlinear equations in a certain finite domain of the N-dimensional space of variables. We present an algorithm of minimum length and computational weight to solve this problem, resembling a graphical tool of edge detection in an image extended to N dimensions. Once the hypersurfaces (edges) defined by each nonlinear equation have been identified in a single, simultaneous step, the coincidence of the hypersurfaces in the vicinity of all the hyperpoints that constitute the solutions makes the final Newton-Raphson step rapidly convergent to all the solutions with the desired degree of accuracy. As long as N remains smaller than about five, which is often the case for physical systems that depend on fewer than five parameters, this approach demonstrates excellent effectiveness.


title: Adaptive Weighted Co-Learning for Cross-Domain Few-Shot Learning

abstract: Due to the availability of only a few labeled instances for the novel target prediction task and the significant domain shift between the well annotated source domain and the target domain, cross-domain few-shot learning (CDFSL) induces a very challenging adaptation problem. In this paper, we propose a simple Adaptive Weighted Co-Learning (AWCoL) method to address the CDFSL challenge by adapting two independently trained source prototypical classification models to the target task in a weighted co-learning manner. The proposed method deploys a weighted moving average prediction strategy to generate probabilistic predictions from each model, and then conducts adaptive co-learning by jointly fine-tuning the two models in an alternating manner based on the pseudo-labels and instance weights produced from the predictions. Moreover, a negative pseudo-labeling regularizer is further deployed to improve the fine-tuning process by penalizing false predictions. Comprehensive experiments are conducted on multiple benchmark datasets and the empirical results demonstrate that the proposed method produces state-of-the-art CDFSL performance.


title: Simulation of a L\'evy process, its extremum, and hitting time of the extremum via characteristic functions

abstract: We suggest a general framework for simulation of the triplet $(X_T,\bar X_ T,\tau_T)$ (L\'evy process, its extremum, and hitting time of the extremum), and, separately, $X_T,\bar X_ T$ and pairs $(X_T,\bar X_ T)$, $(\bar X_ T,\tau_T)$, $(\bar X_ T-X_T,\tau_T)$, via characteristic functions and conditional characteristic functions. The conformal deformations technique allows one to evaluate probability distributions, joint probability distributions and conditional probability distributions accurately and fast. For simulations in the far tails of the distribution, we precalculate and store the values of the (conditional) characteristic functions on multi-grids on appropriate surfaces in $C^n$, and use these values to calculate the quantiles in the tails. For simulation in the central part of a distribution, we precalculate the values of the cumulative distribution at points of a non-uniform (multi-)grid, and use interpolation to calculate quantiles.


title: Analysis and preconditioning of a probabilistic domain decomposition algorithm for elliptic boundary value problems

abstract: PDDSparse is a new hybrid parallelisation scheme for solving large-scale elliptic boundary value problems on supercomputers, which can be described as a Feynman-Kac formula for domain decomposition. At its core lies a stochastic linear, sparse system for the solutions on the interfaces, whose entries are generated via Monte Carlo simulations. Assuming small statistical errors, we show that the random system matrix ${\tilde G}(\omega)$ is near a nonsingular M-matrix $G$, i.e. ${\tilde G}(\omega)+E=G$ where $||E||/||G||$ is small. Using nonstandard arguments, we bound $||G^{-1}||$ and the condition number of $G$, showing that both of them grow moderately with the degrees of freedom of the discretisation. Moreover, the truncated Neumann series of $G^{-1}$ -- which is straightforward to calculate -- is the basis for an excellent preconditioner for ${\tilde G}(\omega)$. These findings are supported by numerical evidence.


title: Stochastic motion under nonlinear friction representing shear thinning

abstract: We study stochastic motion under a nonlinear frictional force that levels off with increasing velocity. Specifically, our frictional force is of the so-called Coulomb-tanh type. At small speed, it increases approximately linearly with velocity, while at large speed it approaches a constant magnitude, similarly to solid (dry, Coulomb) friction. In one spatial dimension, a formal analogy between the associated Fokker-Planck equation and the Schr\"odinger equation for a quantum-mechanical oscillator in a nonharmonic P\"oschl-Teller potential is revealed. Then, the stationary velocity statistics can be treated analytically. From such analytical considerations, we determine associated diffusion coefficients, which we confirm by agent-based simulations. Moreover, from such simulations and from numerically solving the associated Fokker-Planck equation, we find that the spatial distribution function, starting from an initial Gaussian shape, develops tails that appear exponential at intermediate time scales. At small magnitudes of stochastic driving, the velocity distribution resembles the case of linear friction, while at large magnitudes it rather approaches the case of solid (dry, Coulomb) friction. The same is true for diffusion coefficients. In a certain sense, thus interpolating between the two extreme cases of linear friction and solid (dry, Coulomb) friction, our approach should be useful to describe several cases of practical relevance. For instance, a reduced increase in friction with increasing relative speed is typical of shear-thinning behavior. Therefore, driven motion in shear-thinning environments is one specific example to which our description may be applied.


title: Stochastic Gravitational Wave Background Detection through NANOGrav 15-year Data Set in the View of Massive Gravity

abstract: Convincing evidence of a stochastic gravitational wave (GW) background has been found by the NANOGrav collaboration in the 15-year data set. From this signal, we can evaluate the possibility of its source being from the early universe through the tensor perturbations induced by a massive spin-2 graviton field. We consider a time-dependent model of the minimal theory of massive gravity (MG), and find values of the graviton mass, mass cutoff time, and Hubble rate of inflation that amplify the energy spectra of primordial GWs sufficiently to reproduce the signal from the NANOGrav data within 1-3 standard deviation. However, a suppression mechanism for high frequency modes must be introduced to conservatively obey the big bang nucleosynthesis (BBN) bound. While there are regions of the parameter space that reproduce the signal, it remains a challenge to simultaneously respect the BBN and cosmic microwave background (CMB) bounds without making the graviton mass cutoff time too deep into the matter dominated era.


title: Orbits under Dual Symplectic Transvections

abstract: Consider an arbitrary field $K$ and a finite-dimensional vector space $X$ over $K$ equipped with a, possibly degenerate, symplectic form $\omega$. Given a spanning subset $S$ of $X$, for each $k$ in $K$ and each vector $s$ in $S$, consider the symplectic transvection mapping a vector $x$ to $x+k\omega(x,s)s$. The group generated by these transvections has been extensively studied, and its orbit structure is known. In this paper, we obtain corresponding results for the orbits of the dual action on $X^\ast$. As for the non-dual case, the analysis gets harder when the field contains only two elements. For that field, the dual transvection group is equivalent to a game known as the lit-only sigma game, played on a graph. Our results provide a complete solution to the reachability problem of that game, previously solved only for some special cases.


title: Period-index in top cohomology over semiglobal fields

abstract: We prove a common slot lemma for symbols in top cohomology classes over semiglobal fields. Furthermore, we prove that period and index agree for general top cohomology classes over such fields. We discuss applications to quadratic forms and related open problems.


title: The ALMA Survey of 70 {\mu}m Dark High-mass Clumps in Early Stages (ASHES). X: Hot Gas Reveals Deeply Embedded Star Formation

abstract: Massive infrared dark clouds (IRDCs) are considered to host the earliest stages of high-mass star formation. In particular, 70 $\mu$m dark IRDCs are the colder and more quiescent clouds. At a scale of about 5000 au using formaldehyde (H2CO) emission, we investigate the kinetic temperature of dense cores in 12 IRDCs obtained from the pilot ALMA Survey of 70 $\mu$m dark High-mass clumps in Early Stages (ASHES). Compared to 1.3 mm dust continuum and other molecular lines, such as C18O and deuterated species, we find that H2CO is mainly sensitive to low-velocity outflow components rather than to quiescent gas expected in the early phases of star formation. The kinetic temperatures of these components range from 26 to 300 K. The Mach number reaches about 15 with an average value of about 4, suggesting that the velocity distribution of gas traced by H2CO is significantly influenced by a supersonic non-thermal component. In addition, we detect warm line emission from HC3N and OCS in 14 protostellar cores, which requires high excitation temperatures (Eu/k ~ 100 K). These results show that some of the embedded cores in the ASHES fields are in an advanced evolutionary stage, previously unexpected for 70 $\mu$m dark IRDCs.


title: The Potential of Vision-Language Models for Content Moderation of Children's Videos

abstract: Natural language supervision has been shown to be effective for zero-shot learning in many computer vision tasks, such as object detection and activity recognition. However, generating informative prompts can be challenging for more subtle tasks, such as video content moderation. This can be difficult, as there are many reasons why a video might be inappropriate, beyond violence and obscenity. For example, scammers may attempt to create junk content that is similar to popular educational videos but with no meaningful information. This paper evaluates the performance of several CLIP variations for content moderation of children's cartoons in both the supervised and zero-shot setting. We show that our proposed model (Vanilla CLIP with Projection Layer) outperforms previous work conducted on the Malicious or Benign (MOB) benchmark for video content moderation. This paper presents an in depth analysis of how context-specific language prompts affect content moderation performance. Our results indicate that it is important to include more context in content moderation prompts, particularly for cartoon videos as they are not well represented in the CLIP training data.


title: Mutual incidence matrix of two balanced incomplete block designs

abstract: We propose to consider a mutual incidence matrix $M$ of two balanced incomplete block designs built on the same finite set. In the simplest case, this matrix reduces to the standard incidence matrix of one block design. We find all eigenvalues of the matrices $MM^T$ and $M^TM$ and their eigenspaces.


title: Adapting HouseDiffusion for conditional Floor Plan generation on Modified Swiss Dwellings dataset

abstract: Automated floor plan generation has recently gained momentum with several methods that have been proposed. The CVAAD Floor Plan Auto-Completion workshop challenge introduced MSD, a new dataset that includes existing structural walls of the building as an additional input constraint. This technical report presents an approach for extending a recent work, HouseDiffusion (arXiv:2211.13287 [cs.CV]), to the MSD dataset. The adaption involves modifying the model's transformer layers to condition on a set of wall lines. The report introduces a pre-processing pipeline to extract wall lines from the binary mask of the building structure provided as input. Additionally, it was found that a data processing procedure that simplifies all room polygons to rectangles leads to better performance. This indicates that future work should explore better representations of variable-length polygons in diffusion models. The code will be made available at a later date.


title: On the scanning map and the space of smooth projective hypersurfaces

abstract: The space of degree d smooth projective hypersurfaces of CP n admits a scanning map to a certain space of sections. We compute a rational homotopy model of the action by conjugation of the group U (n + 1) on this space of sections, from which we deduce that the scanning map induces a monomorphism on cohomology when d > 2. Our main technique is the rational homotopy theory of Sullivan and, more specifically, a Sullivan model for the action by conjugation of a connected topological group on a space of sections.


title: PECANN: Parallel Efficient Clustering with Graph-Based Approximate Nearest Neighbor Search

abstract: This paper studies density-based clustering of point sets. These methods use dense regions of points to detect clusters of arbitrary shapes. In particular, we study variants of density peaks clustering, a popular type of algorithm that has been shown to work well in practice. Our goal is to cluster large high-dimensional datasets, which are prevalent in practice. Prior solutions are either sequential, and cannot scale to large data, or are specialized for low-dimensional data. This paper unifies the different variants of density peaks clustering into a single framework, PECANN, by abstracting out several key steps common to this class of algorithms. One such key step is to find nearest neighbors that satisfy a predicate function, and one of the main contributions of this paper is an efficient way to do this predicate search using graph-based approximate nearest neighbor search (ANNS). To provide ample parallelism, we propose a doubling search technique that enables points to find an approximate nearest neighbor satisfying the predicate in a small number of rounds. Our technique can be applied to many existing graph-based ANNS algorithms, which can all be plugged into PECANN. We implement five clustering algorithms with PECANN and evaluate them on synthetic and real-world datasets with up to 1.28 million points and up to 1024 dimensions on a 30-core machine with two-way hyper-threading. Compared to the state-of-the-art FASTDP algorithm for high-dimensional density peaks clustering, which is sequential, our best algorithm is 45x-734x faster while achieving competitive ARI scores. Compared to the state-of-the-art parallel DPC-based algorithm, which is optimized for low dimensions, we show that PECANN is two orders of magnitude faster. As far as we know, our work is the first to evaluate DPC variants on large high-dimensional real-world image and text embedding datasets.


title: Minimising Numbers of Losses and Abandonments in Small Call Centres Under a Transient Regime

abstract: In this paper, we show how to calculate transient performance measures in models for small call centres that employ skills-based routing. In particular, we calculate the expected number of customer losses and call abandonments in a fixed time. We use the results to compare how call allocation policies can minimise the expected numbers of losses and abandonments, and make recommendations about which policies should be employed.


title: The Width of Magnetic Ejecta Measured Near 1 au: Lessons from STEREO-A Measurements in 2021--2022

abstract: Coronal mass ejections (CMEs) are large-scale eruptions with a typical radial size at 1 au of 0.21 au but their angular width in interplanetary space is still mostly unknown, especially for the magnetic ejecta (ME) part of the CME. We take advantage of STEREO-A angular separation of 20$^\circ$-60$^\circ$ from the Sun-Earth line from October 2020 to August 2022, and perform a two-part study to constrain the angular width of MEs in the ecliptic plane: a) we study all CMEs that are observed remotely to propagate between the Sun-STEREO-A and the Sun-Earth lines and determine how many impact one or both spacecraft in situ, and b) we investigate all in situ measurements at STEREO-A or at L1 of CMEs during the same time period to quantify how many are measured by the two spacecraft. A key finding is that, out of 21 CMEs propagating within 30$^\circ$ of either spacecraft, only four impacted both spacecraft and none provided clean magnetic cloud-like signatures at both spacecraft. Combining the two approaches, we conclude that the typical angular width of a ME at 1 au is $\sim$ 20$^\circ$-30$^\circ$, or 2-3 times less than often assumed and consistent with a 2:1 elliptical cross-section of an ellipsoidal ME. We discuss the consequences of this finding for future multi-spacecraft mission designs and for the coherence of CMEs.


title: The Breakthrough Listen Search for Intelligent Life: Technosignature Search of 97 Nearby Galaxies

abstract: The Breakthrough Listen search for intelligent life is, to date, the most extensive technosignature search of nearby celestial objects. We present a radio technosignature search of the centers of 97 nearby galaxies, observed by Breakthrough Listen at the Robert C. Byrd Green Bank Telescope. We performed a narrowband Doppler drift search using the turboSETI pipeline with a minimum signal-to-noise parameter threshold of 10, across a drift rate range of $\pm$ 4 Hz\ $s^{-1}$, with a spectral resolution of 3 Hz and a time resolution of $\sim$ 18.25 s. We removed radio frequency interference by using an on-source/off-source cadence pattern of six observations and discarding signals with Doppler drift rates of 0. We assess factors affecting the sensitivity of the Breakthrough Listen data reduction and search pipeline using signal injection and recovery techniques and apply new methods for the investigation of the RFI environment. We present results in four frequency bands covering 1 -- 11 GHz, and place constraints on the presence of transmitters with equivalent isotropic radiated power on the order of $10^{26}$ W, corresponding to the theoretical power consumption of Kardashev Type II civilizations.


title: Voting models and tightness for a family of recursion equations

abstract: We consider recursion equations of the form $u_{n+1}(x)=Q[u_n](x),~n\ge 1,~x\in R$, with a non-local operator $Q[u](x)= g( u\ast q)$, where $g$ is a polynomial, satisfying $g(0)=0$, $g(1)=1$, $g((0,1)) \subseteq (0,1)$, and $q$ is a (compactly supported) probability density with $\ast$ denoting convolution. Motivated by a line of works for nonlinear PDEs initiated by Etheridge, Freeman and Penington (2017), we show that for general $g$, a probabilistic model based on branching random walk can be given to the solution of the recursion, while in case $g$ is also strictly monotone, a probabilistic threshold-based model can be given. In the latter case, we provide a conditional tightness result. We analyze in detail the bistable case and prove for it convergence of the solution shifted around a linear in $n$ centering.


title: Continuity of Limit Surfaces of Locally Uniform Random Permutations

abstract: A locally uniform random permutation is generated by sampling $n$ points independently from some absolutely continuous distribution $\rho$ on the plane and interpreting them as a permutation by the rule that $i$ maps to $j$ if the $i$th point from the left is the $j$th point from below. As $n$ tends to infinity, decreasing subsequences in the permutation will appear as curves in the plane, and by interpreting these as level curves, a union of decreasing subsequences gives rise to a surface. In a recent paper by the author it was shown that, for any $r\ge0$, under the correct scaling as $n$ tends to infinity, the surface of the largest union of $\lfloor r\sqrt{n}\rfloor$ decreasing subsequences approaches a limit in the sense that it will come close to a maximizer of a specific variational integral (and, under reasonable assumptions, that the maximizer is essentially unique). In the present paper we show that there exists a continuous maximizer, provided that $\rho$ has bounded density and support. The key ingredient in the proof is a new theorem about real functions of two variables that are increasing in both variables: We show that, for any constant $C$, any such function can be made continuous without increasing the diameter of its image or decreasing anywhere the product of its partial derivatives clipped by $C$, that is the minimum of the product and $C$.


title: A Layer-Wise Tokens-to-Token Transformer Network for Improved Historical Document Image Enhancement

abstract: Document image enhancement is a fundamental and important stage for attaining the best performance in any document analysis assignment because there are many degradation situations that could harm document images, making it more difficult to recognize and analyze them. In this paper, we propose \textbf{T2T-BinFormer} which is a novel document binarization encoder-decoder architecture based on a Tokens-to-token vision transformer. Each image is divided into a set of tokens with a defined length using the ViT model, which is then applied several times to model the global relationship between the tokens. However, the conventional tokenization of input data does not adequately reflect the crucial local structure between adjacent pixels of the input image, which results in low efficiency. Instead of using a simple ViT and hard splitting of images for the document image enhancement task, we employed a progressive tokenization technique to capture this local information from an image to achieve more effective results. Experiments on various DIBCO and H-DIBCO benchmarks demonstrate that the proposed model outperforms the existing CNN and ViT-based state-of-the-art methods. In this research, the primary area of examination is the application of the proposed architecture to the task of document binarization. The source code will be made available at https://github.com/RisabBiswas/T2T-BinFormer.


title: A modified chemostat exhibiting competitive exclusion "reversal"

abstract: The classical chemostat is an intensely investigated model in ecology and bio/chemical engineering, where n-species, say $x_{1}, x_{2}...x_{n}$ compete for a single growth limiting nutrient. Classical theory predicts that depending on model parameters, one species competitively excludes all others. Furthermore, this ''order'' of strongest to weakest is preserved, $x_{1} >> x_{2} >> ...x_{n}$, for say $D_{1} < D_{2} <...D_{n}$, where $D_{i}$ is the net removal of species $x_{i}$. Meaning $x_{1}$ is the strongest or most dominant species and $x_{n}$ is the weakest or least dominant. We propose a modified version of the classical chemostat, exhibiting certain counterintuitive dynamics. Herein we show that if only a certain proportion of the weakest species $x_{n}$'s population is removed at a ''very'' fast density dependent rate, it will in fact be able to competitively exclude all other species, for certain initial conditions. Numerical simulations are carried out to visualize these dynamics in the three species case.


title: Investigating the dark energy phenomenon in $f(R,L_m)$ cosmological models with observational constraints

abstract: This paper explores the dark energy phenomenon within the context of $f(R,L_m)$ gravity theory. Two specific non-linear $f (R, L_m)$ models are considered: $f(R,L_m)=\frac{R}{2}+L_m^\alpha$ and $f(R,L_m)=\frac{R}{2}+(1+\alpha R)L_m$, where the parameter $\alpha$ is free. Here, we adopt a parametrization form for the Hubble parameter in terms of redshift $z$ as $H(z)=H_0 \left[A(1+z)^3+B+\epsilon \log(1+z)\right]^\frac{1}{2}$, which allows for deviations from the standard $\Lambda$CDM model at both low and high redshifts. We then incorporate the Hubble parameter solution into the Friedmann equations for both models. We employ Bayesian analysis to estimate the constraints on the free parameters $H_0$, $A$, $B$, and $\epsilon$ using the Hubble measurements and the Pantheon dataset. Further, we investigate the evolution of key cosmological quantities, such as the deceleration parameter, energy density, pressure, EoS parameter, and energy conditions. The evolution of the deceleration parameter reveals a significant transition from a decelerating phase to an accelerating phase in the Universe. The EoS parameter exhibits quintessence-like behavior for both non-linear $f (R, L_m)$ models.


title: Product Formula of Artin Symbols in Non-abelian Extensions

abstract: The product formula of Artin symbols (norm residue symbols) is an important equality that connects local and global class field theory. Usually, the product formula of Artin symbols is considered in abelian extensions of global fields. In this paper, however, the product is considered in non-abelian extensions such that each symbol is well-defined. As an application, some properties on fundamental units of real quadratic fields are obtained and will be presented here.


title: A Scalable and Generalizable Pathloss Map Prediction

abstract: Large-scale channel prediction, i.e., estimation of the pathloss from geographical/morphological/building maps, is an essential component of wireless network planning. Ray tracing (RT)-based methods have been widely used for many years, but they require significant computational effort that may become prohibitive with the increased network densification and/or use of higher frequencies in B5G/6G systems. In this paper, we propose a data-driven, model-free pathloss map prediction (PMP) method, called PMNet. PMNet uses a supervised learning approach: it is trained on a limited amount of RT (or channel measurement) data and map data. Once trained, PMNet can predict pathloss over location with high accuracy (an RMSE level of $10^{-2}$) in a few milliseconds. We further extend PMNet by employing transfer learning (TL). TL allows PMNet to learn a new network scenario quickly (x5.6 faster training) and efficiently (using x4.5 less data) by transferring knowledge from a pre-trained model, while retaining accuracy. Our results demonstrate that PMNet is a scalable and generalizable ML-based PMP method, showing its potential to be used in several network optimization applications.


title: Understanding the Role of Optimization in Double Descent

abstract: The phenomenon of model-wise double descent, where the test error peaks and then reduces as the model size increases, is an interesting topic that has attracted the attention of researchers due to the striking observed gap between theory and practice \citep{Belkin2018ReconcilingMM}. Additionally, while double descent has been observed in various tasks and architectures, the peak of double descent can sometimes be noticeably absent or diminished, even without explicit regularization, such as weight decay and early stopping. In this paper, we investigate this intriguing phenomenon from the optimization perspective and propose a simple optimization-based explanation for why double descent sometimes occurs weakly or not at all. To the best of our knowledge, we are the first to demonstrate that many disparate factors contributing to model-wise double descent (initialization, normalization, batch size, learning rate, optimization algorithm) are unified from the viewpoint of optimization: model-wise double descent is observed if and only if the optimizer can find a sufficiently low-loss minimum. These factors directly affect the condition number of the optimization problem or the optimizer and thus affect the final minimum found by the optimizer, reducing or increasing the height of the double descent peak. We conduct a series of controlled experiments on random feature models and two-layer neural networks under various optimization settings, demonstrating this optimization-based unified view. Our results suggest the following implication: Double descent is unlikely to be a problem for real-world machine learning setups. Additionally, our results help explain the gap between weak double descent peaks in practice and strong peaks observable in carefully designed setups.


title: Deterministic Creation of Large Photonic Multipartite Entangled States with Group-IV Color Centers in Diamond

abstract: Measurement-based quantum computation relies on single qubit measurements of large multipartite entangled states, so-called lattice-graph or cluster states. Graph states are also an important resource for quantum communication, where tree cluster states are a key resource for one-way quantum repeaters. A photonic realization of this kind of state would inherit many of the benefits of photonic platforms, such as very little dephasing due to weak environmental interactions and the well-developed infrastructure to route and measure photonic qubits. In this work, a linear cluster state and GHZ state generation scheme is developed for group-IV color centers. In particular, this article focuses on an in-depth investigation of the required control operations, including the coherent spin and excitation gates. We choose an off-resonant Raman scheme for the spin gates, which can be much faster than microwave control. We do not rely on a reduced level scheme and use efficient approximations to design high-fidelity Raman gates. We benchmark the spin-control and excitation scheme using the tin vacancy color center coupled to a cavity, assuming a realistic experimental setting. Additionally, the article investigates the fidelities of the Raman and excitation gates in the presence of radiative and non-radiative decay mechanisms. Finally, a quality measure is devised, which emphasizes the importance of fast and high-fidelity spin gates in the creation of large entangled photonic states.


title: Norm convergence of confined fermionic systems at zero temperature

abstract: The semi-classical limit of ground states of large systems of fermions was studied by Fournais, Lewin and Solovej in (Calc. Var. Partial Differ. Equ., 2018). In particular, the authors prove weak convergence towards classical states associated to the minimizers of the Thomas-Fermi functional. In this paper, we revisit this limit, and show that under certain assumptions--and, using simple arguments--it is possible to prove that strong convergence holds true in relevant normed spaces.


title: Disentangling Fact from Grid Cell Fiction in Trained Deep Path Integrators

abstract: Work on deep learning-based models of grid cells suggests that grid cells generically and robustly arise from optimizing networks to path integrate, i.e., track one's spatial position by integrating self-velocity signals. In previous work, we challenged this path integration hypothesis by showing that deep neural networks trained to path integrate almost always do so, but almost never learn grid-like tuning unless separately inserted by researchers via mechanisms unrelated to path integration. In this work, we restate the key evidence substantiating these insights, then address a response to by authors of one of the path integration hypothesis papers. First, we show that the response misinterprets our work, indirectly confirming our points. Second, we evaluate the response's preferred "unified theory for the origin of grid cells" in trained deep path integrators and show that it is at best "occasionally suggestive," not exact or comprehensive. We finish by considering why assessing model quality through prediction of biological neural activity by regression of activity in deep networks can lead to the wrong conclusions.


title: Properties of Relativistic Bouncing Microbursts

abstract: Microbursts are short duration intensifications in precipitating electron flux that are believed to be a significant contributor to electron losses in the magnetosphere. Microbursts have been observed in the form of bouncing electron packets, which offer a unique opportunity to study the properties of microbursts and their importance as a loss process. We present a collection of bouncing microbursts observed by the HILT instrument on SAMPEX from 1994-2004.We analyze the locations of the bouncing microbursts in L and MLT and find they align well with the properties of relativistic microbursts as a whole. We find that that the majority of bouncing microbursts observed by SAMPEX have scale sizes of 30km at the point of observation, or about 1500km when mapped to the equator.The time separation between the peaks of these bouncing microbursts is usually either half a bounce period or a whole bounce period.


title: Smirnov words and the Delta Conjectures

abstract: We provide a combinatorial interpretation of the symmetric function $\left.\Theta_{e_k}\Theta_{e_l}\nabla e_{n-k-l}\right|_{t=0}$ in terms of segmented Smirnov words. The motivation for this work is the study of a diagonal coinvariant ring with one set of commuting and two sets of anti-commuting variables, whose Frobenius characteristic is conjectured to be the symmetric function in question. Furthermore, this function is related to the Delta conjectures. Our work is a step towards a unified formulation of the two versions, as we prove a unified Delta theorem at $t=0$.


title: PerSival: Neural-network-based visualisation for pervasive continuum-mechanical simulations in musculoskeletal biomechanics

abstract: This paper presents a novel neural network architecture for the purpose of pervasive visualisation of a 3D human upper limb musculoskeletal system model. Bringing simulation capabilities to resource-poor systems like mobile devices is of growing interest across many research fields, to widen applicability of methods and results. Until recently, this goal was thought to be out of reach for realistic continuum-mechanical simulations of musculoskeletal systems, due to prohibitive computational cost. Within this work we use a sparse grid surrogate to capture the surface deformation of the m.~biceps brachii in order to train a deep learning model, used for real-time visualisation of the same muscle. Both these surrogate models take 5 muscle activation levels as input and output Cartesian coordinate vectors for each mesh node on the muscle's surface. Thus, the neural network architecture features a significantly lower input than output dimension. 5 muscle activation levels were sufficient to achieve an average error of 0.97 +/- 0.16 mm, or 0.57 +/- 0.10 % for the 2809 mesh node positions of the biceps. The model achieved evaluation times of 9.88 ms per predicted deformation state on CPU only and 3.48 ms with GPU-support, leading to theoretical frame rates of 101 fps and 287 fps respectively. Deep learning surrogates thus provide a way to make continuum-mechanical simulations accessible for visual real-time applications.


title: On Distributed Nonconvex Optimisation Via Modified ADMM

abstract: This paper addresses the problem of nonconvex nonsmooth decentralised optimisation in multi-agent networks with undirected connected communication graphs. Our contribution lies in introducing an algorithmic framework designed for the distributed minimisation of the sum of a smooth (possibly nonconvex and non-separable) function and a convex (possibly nonsmooth and non-separable) regulariser. The proposed algorithm can be seen as a modified version of the ADMM algorithm where, at each step, an "inner loop" needs to be iterated for a number of iterations. The role of the inner loop is to aggregate and disseminate information across the network. We observe that a naive decentralised approach (one iteration of the inner loop) may not converge. We establish the asymptotic convergence of the proposed algorithm to the set of stationary points of the nonconvex problem where the number of iterations of the inner loop increases logarithmically with the step count of the ADMM algorithm. We present numerical results demonstrating the proposed method's correctness and performance.


title: Pop-Stack Operators for Torsion Classes and Cambrian Lattices

abstract: The pop-stack operator of a finite lattice $L$ is the map $\mathrm{pop}^{\downarrow}_L\colon L\to L$ that sends each element $x\in L$ to the meet of $\{x\}\cup\text{cov}_L(x)$, where $\text{cov}_L(x)$ is the set of elements covered by $x$ in $L$. We study several properties of the pop-stack operator of $\mathrm{tors}\Lambda$, the lattice of torsion classes of a $\tau$-tilting finite algebra $\Lambda$ over a field $K$. We describe the pop-stack operator in terms of certain mutations of 2-term simple-minded collections. This allows us to describe preimages of a given torsion class under the pop-stack operator. We then specialize our attention to Cambrian lattices of a finite irreducible Coxeter group $W$. Using tools from representation theory, we provide simple Coxeter-theoretic and lattice-theoretic descriptions of the image of the pop-stack operator of a Cambrian lattice (which can be stated without representation theory). When specialized to a bipartite Cambrian lattice of type A, this result settles a conjecture of Choi and Sun. We also settle a related enumerative conjecture of Defant and Williams. When $L$ is an arbitrary lattice quotient of the weak order on $W$, we prove that the maximum size of a forward orbit under the pop-stack operator of $L$ is at most the Coxeter number of $W$; when $L$ is a Cambrian lattice, we provide an explicit construction to show that this maximum forward orbit size is actually equal to the Coxeter number.


title: Global density-dependent $\alpha$-nucleon interaction for $\alpha$-nucleus elastic scattering

abstract: We provide a global density-dependent $^4$He-nucleon (DD-$\alpha N$) interaction to construct the $\alpha$-nucleus optical model potential (OMP) in a wide range of incident energies. The global parametrization for the DD-$\alpha N$ interaction is obtained based on the proton-$^4$He OMP which reproduces the elastic scattering cross-section data very well in the incident energies of 12.04--500 MeV per nucleon. We derive the $\alpha$-nucleus potential by a folding procedure with the point-nucleon density obtained by a microscopic mean-field model using the present DD-$\alpha N$ interaction. The density dependence of the DD-$\alpha N$ interaction is fixed phenomenologically to reproduce the $\alpha$-nucleus elastic scattering cross-section data by the $^{16}$O, $^{40}$Ca, $^{58}$Ni, $^{90}$Zr, and $^{208}$Pb targets at $E/A =$ 10--342.5 MeV. We also show the total reaction cross sections, which are helpful in fixing one free parameter, the renormalization factor for the imaginary part of the $\alpha$-nucleus potential. Lastly, we show some examples, which clearly demonstrate the validity and power of the present DD-$\alpha N$ approach.


title: Turbulent free-surface in self-aerated flows: Superposition of entrapped and entrained air

abstract: The characterisation and the modelling of air concentration distributions in self-aerated free-surface flows has been subject to sustained research interest since the 1970s. Recently, a novel two-state formulation of the structure of a self-aerated flow was proposed by Kramer & Valero [2023 J. Fluid Mech. 966, A37], which physically explains the air concentration through the weak interaction of two canonical flow momentum layers, comprising a Turbulent Boundary Layer (TBL) and a Turbulent Wavy Layer (TWL). The TWL was modelled using a Gaussian error function, assuming that the most dominant contribution are wave troughs. Here, it is shown that air bubbles form an integral part of the TWL, and its formulation is expanded by adopting a superposition principle of entrapped air (waves) and entrained air (bubbles). Combining the superposition principle with the two-state formulation, an expression for the depth-averaged (mean) air concentration is derived, which allows to quantify the contribution of different physical mechanisms to the mean air concentration. Overall, the presented concepts help to uncover new flow physics, thereby contributing fundamentally to our understanding of self-aerated flows.


title: Lyapunov exponents and shear-induced chaos for a Hopf bifurcation with additive noise

abstract: This paper considers the effect of additive white noise on the normal form for the supercritical Hopf bifurcation in 2 dimensions. The main results involve the asymptotic behavior of the top Lyapunov exponent lambda associated with this random dynamical system as one or more of the parameters in the system tend to 0 or infinity. This enables the construction of a bifurcation diagram in parameter space showing stable regions where lambda is negative (implying synchronization) and unstable regions where lambda is positive (implying chaotic behavior). The value of lambda depends strongly on the shearing effect of the twist factor of the deterministic Hopf bifurcation. If the twist factor is sufficiently small then lambda is negative regardless of all the other parameters in the system. But when all the parameters except the shear coefficient are fixed then lambda tends to infinity as the shear coefficient tends to infinity.


title: Regional Greening as a `Positive' Tipping Phenomenon

abstract: Earth system tipping elements have been predominantly investigated for their potential to trigger \textit{negative} ecological, climatic, and societal shifts. Yet, an overlooked but seminal avenue exists in the form of \textit{positive} tipping phenomena, whose underlying mechanisms and benefits remain largely underexplored. To bridge this gap, our research introduces a fundamental percolation-based framework to assess the criticality and resilience of planetary terrestrial vegetation systems. Leveraging high-resolution satellite data, we focus on greening-induced positive tipping dynamics driven by global warming. We feature the Qinghai-Tibetan Plateau (QTP) and the Sahel region as contrasting yet analogous case studies. Our analysis uncovers an intriguing phenomenon where vegetation fragmentation aligns with a percolation threshold, exhibiting a scale-invariant pattern characterized by nearly perfect power laws with three critical exponents. Remarkably, contrary to conventional destructive tipping elements, these regions act as favorable tipping elements, transitioning from fragmented to cohesive vegetation patterns due to anthropogenic climate change and afforestation efforts. Furthermore, we propose an \textit{optimal resilience enhancement model} to reinforce vegetation robustness while minimizing socio-economic costs. This study provides valuable insights into the favorable aspects of tipping elements under climate change and offers effective strategies for enhancing ecological resilience against environmental threats.