title: Ejection Patterns in the DG Tau Jet Over the Last 40 Years: Insights into Mass Accretion Variability

abstract: We aim to clarify the link between mass accretion and ejection by analyzing DG Tau's jet observations from optical and near-infrared data spanning 1984 to 2019, alongside photometric variations between 1983 and 2015. We classified 12 moving knot groups among 17 total knot groups based on their constant proper motions and comparable radial velocities. A strong correlation emerges between deprojected flow velocities of the knots and the photometric magnitudes of DG Tau. From 1983 to 1995, as the deprojected ejection velocities surged from $\sim$ 273 $\pm$ 15 km s$^{-1}$ to $\sim$ 427 $\pm$ 16 km s$^{-1}$, the photometric magnitudes ($V$) concurrently brightened from 12.3 to 11.4. Notably, when DG Tau became brighter than 12.2 in the $V$ band, its ($B-V$) color shifted bluer than its intrinsic color range of K5 to M0. During this period, the launching point of the jet in the protoplanetary disk moved closer to 0.06 AU from the star in 1995. Following a $V$ magnitude drop from 11.7 to 13.4 in 1998, the star may have experienced significant extinction due to a dust wall created by the disk wind during the ejection of the high-velocity knot in 1999. Since then, the magnitude became fainter than 12.2, the ($B-V$) and ($V-R$) colors became redder, and the deprojected velocities consistently remained below 200 km s$^{-1}$. The launching point of the jet then moved away to $\sim$ 0.45 AU by 2008. The prevailing factor influencing photometric magnitude appears to be the active mass accretion causing the variable mass ejection velocities.


title: Regular maps from the lamplighter to metabelian groups

abstract: We prove that the lamplighter group admits an injective Lipschitz map to any finitely generated metabelian group which is not virtually nilpotent. This implies that finitely generated metabelian groups satisfy the ``analytically thin/analytically thick'' dichotomy recently introduced by Hume, Mackay and Tessera.


title: The Gaps between Pre-train and Downstream Settings in Bias Evaluation and Debiasing

abstract: The output tendencies of Pre-trained Language Models (PLM) vary markedly before and after Fine-Tuning (FT) due to the updates to the model parameters. These divergences in output tendencies result in a gap in the social biases of PLMs. For example, there exits a low correlation between intrinsic bias scores of a PLM and its extrinsic bias scores under FT-based debiasing methods. Additionally, applying FT-based debiasing methods to a PLM leads to a decline in performance in downstream tasks. On the other hand, PLMs trained on large datasets can learn without parameter updates via In-Context Learning (ICL) using prompts. ICL induces smaller changes to PLMs compared to FT-based debiasing methods. Therefore, we hypothesize that the gap observed in pre-trained and FT models does not hold true for debiasing methods that use ICL. In this study, we demonstrate that ICL-based debiasing methods show a higher correlation between intrinsic and extrinsic bias scores compared to FT-based methods. Moreover, the performance degradation due to debiasing is also lower in the ICL case compared to that in the FT case.


title: Singular vortex pairs follow magnetic geodesics

abstract: We consider pairs of point vortices having circulations $\Gamma_1$ and $\Gamma_2$ and confined to a two-dimensional surface $S$. In the limit of zero initial separation $\varepsilon$, we prove that they follow a magnetic geodesic in unison, if properly renormalized. Specifically, the ``singular vortex pair" moves as a single charged particle on the surface with a charge of order $1/\varepsilon^2$ in a magnetic field $B$ which is everywhere normal to the surface and of strength $|B|=\Gamma_1 +\Gamma_2$. In the case $\Gamma_1=-\Gamma_2$, this gives another proof of Kimura's conjecture (Kimura 1999) that singular dipoles follow geodesics.


title: X Hacking: The Threat of Misguided AutoML

abstract: Explainable AI (XAI) and interpretable machine learning methods help to build trust in model predictions and derived insights, yet also present a perverse incentive for analysts to manipulate XAI metrics to support pre-specified conclusions. This paper introduces the concept of X-hacking, a form of p-hacking applied to XAI metrics such as Shap values. We show how an automated machine learning pipeline can be used to search for 'defensible' models that produce a desired explanation while maintaining superior predictive performance to a common baseline. We formulate the trade-off between explanation and accuracy as a multi-objective optimization problem and illustrate the feasibility and severity of X-hacking empirically on familiar real-world datasets. Finally, we suggest possible methods for detection and prevention, and discuss ethical implications for the credibility and reproducibility of XAI research.


title: Beyond Weisfeiler-Lehman: A Quantitative Framework for GNN Expressiveness

abstract: Designing expressive Graph Neural Networks (GNNs) is a fundamental topic in the graph learning community. So far, GNN expressiveness has been primarily assessed via the Weisfeiler-Lehman (WL) hierarchy. However, such an expressivity measure has notable limitations: it is inherently coarse, qualitative, and may not well reflect practical requirements (e.g., the ability to encode substructures). In this paper, we introduce a unified framework for quantitatively studying the expressiveness of GNN architectures, addressing all the above limitations. Specifically, we identify a fundamental expressivity measure termed homomorphism expressivity, which quantifies the ability of GNN models to count graphs under homomorphism. Homomorphism expressivity offers a complete and practical assessment tool: the completeness enables direct expressivity comparisons between GNN models, while the practicality allows for understanding concrete GNN abilities such as subgraph counting. By examining four classes of prominent GNNs as case studies, we derive simple, unified, and elegant descriptions of their homomorphism expressivity for both invariant and equivariant settings. Our results provide novel insights into a series of previous work, unify the landscape of different subareas in the community, and settle several open questions. Empirically, extensive experiments on both synthetic and real-world tasks verify our theory, showing that the practical performance of GNN models aligns well with the proposed metric.


title: Apodized Slanted Grating Couplers for LiDAR Applications

abstract: Solid state LiDAR systems traditionally rely on costly active components for efficient beam scanning. In this study, we propose a cost-effective, purely passive steering approach using apodized slanted grating couplers. Through apodization, we achieve a uniform upward emission profile and enhanced upward transmission. Theoretical calculations indicate successful steering of 91.5$^\circ$x42.8$^\circ$. Experimental results closely match theoretical predictions, validating the capabilities of our passive steering concept. Additionally, the grating couplers, with a length of 3mm, enable a farfield FWHM of 0.026$^\circ$, further enhancing sensing resolution.


title: Quantum information scrambling in two-dimensional Bose-Hubbard lattices

abstract: It is a well-understood fact that the transport of excitations throughout a lattice is intimately governed by the underlying structures. Hence, it is only natural to recognize that also the dispersion of information has to depend on the lattice geometry. In the present work, we demonstrate that two-dimensional lattices described by the Bose-Hubbard model exhibit information scrambling for systems as little as two hexagons. However, we also find that the OTOC shows the exponential decay characteristic for quantum chaos only for a judicious choice of local observables. More generally, the OTOC is better described by Gaussian-exponential convolutions, which alludes to the close similarity of information scrambling and decoherence theory.


title: Supporting Student Decisions on Learning Recommendations: An LLM-Based Chatbot with Knowledge Graph Contextualization for Conversational Explainability and Mentoring

abstract: Student commitment towards a learning recommendation is not separable from their understanding of the reasons it was recommended to them; and their ability to modify it based on that understanding. Among explainability approaches, chatbots offer the potential to engage the student in a conversation, similar to a discussion with a peer or a mentor. The capabilities of chatbots, however, are still not sufficient to replace a human mentor, despite the advancements of generative AI (GenAI) and large language models (LLM). Therefore, we propose an approach to utilize chatbots as mediators of the conversation and sources of limited and controlled generation of explanations, to harvest the potential of LLMs while reducing their potential risks at the same time. The proposed LLM-based chatbot supports students in understanding learning-paths recommendations. We use a knowledge graph (KG) as a human-curated source of information, to regulate the LLM's output through defining its prompt's context. A group chat approach is developed to connect students with human mentors, either on demand or in cases that exceed the chatbot's pre-defined tasks. We evaluate the chatbot with a user study, to provide a proof-of-concept and highlight the potential requirements and limitations of utilizing chatbots in conversational explainability.


title: PPSURF: Combining Patches and Point Convolutions for Detailed Surface Reconstruction

abstract: 3D surface reconstruction from point clouds is a key step in areas such as content creation, archaeology, digital cultural heritage, and engineering. Current approaches either try to optimize a non-data-driven surface representation to fit the points, or learn a data-driven prior over the distribution of commonly occurring surfaces and how they correlate with potentially noisy point clouds. Data-driven methods enable robust handling of noise and typically either focus on a global or a local prior, which trade-off between robustness to noise on the global end and surface detail preservation on the local end. We propose PPSurf as a method that combines a global prior based on point convolutions and a local prior based on processing local point cloud patches. We show that this approach is robust to noise while recovering surface details more accurately than the current state-of-the-art. Our source code, pre-trained model and dataset are available at: https://github.com/cg-tuwien/ppsurf


title: From Graphs to Hypergraphs: Hypergraph Projection and its Remediation

abstract: We study the implications of the modeling choice to use a graph, instead of a hypergraph, to represent real-world interconnected systems whose constituent relationships are of higher order by nature. Such a modeling choice typically involves an underlying projection process that maps the original hypergraph onto a graph, and is common in graph-based analysis. While hypergraph projection can potentially lead to loss of higher-order relations, there exists very limited studies on the consequences of doing so, as well as its remediation. This work fills this gap by doing two things: (1) we develop analysis based on graph and set theory, showing two ubiquitous patterns of hyperedges that are root to structural information loss in all hypergraph projections; we also quantify the combinatorial impossibility of recovering the lost higher-order structures if no extra help is provided; (2) we still seek to recover the lost higher-order structures in hypergraph projection, and in light of (1)'s findings we propose to relax the problem into a learning-based setting. Under this setting, we develop a learning-based hypergraph reconstruction method based on an important statistic of hyperedge distributions that we find. Our reconstruction method is evaluated on 8 real-world datasets under different settings, and exhibits consistently good performance. We also demonstrate benefits of the reconstructed hypergraphs via use cases of protein rankings and link predictions.


title: SecPLF: Secure Protocols for Loanable Funds against Oracle Manipulation Attacks

abstract: The evolving landscape of Decentralized Finance (DeFi) has raised critical security concerns, especially pertaining to Protocols for Loanable Funds (PLFs) and their dependency on price oracles, which are susceptible to manipulation. The emergence of flash loans has further amplified these risks, enabling increasingly complex oracle manipulation attacks that can lead to significant financial losses. Responding to this threat, we first dissect the attack mechanism by formalizing the standard operational and adversary models for PLFs. Based on our analysis, we propose SecPLF, a robust and practical solution designed to counteract oracle manipulation attacks efficiently. SecPLF operates by tracking a price state for each crypto-asset, including the recent price and the timestamp of its last update. By imposing price constraints on the price oracle usage, SecPLF ensures a PLF only engages a price oracle if the last recorded price falls within a defined threshold, thereby negating the profitability of potential attacks. Our evaluation based on historical market data confirms SecPLF's efficacy in providing high-confidence prevention against arbitrage attacks that arise due to minor price differences. SecPLF delivers proactive protection against oracle manipulation attacks, offering ease of implementation, oracle-agnostic property, and resource and cost efficiency.


title: Exponential mixing of all orders for Arnol'd cat map lattices

abstract: We show that the recently introduced classical Arnol'd cat map lattice field theories, which are chaotic, are exponentially mixing to all orders. Their mixing times are well-defined and are expressed in terms of the Lyapunov exponents, more precisely by the combination that defines the inverse of the Kolmogorov-Sinai entropy of these systems. We prove by an explicit recursive construction of correlation functions, that these exhibit $l-$fold mixing for any $l= 3,4,5,\ldots$. This computation is relevant for Rokhlin's conjecture, which states that 2-fold mixing induces $l-$fold mixing for any $l>2$. Our results show that 2-fold exponential mixing, while being necessary for any $l-$fold mixing to hold it is nevertheless not sufficient for Arnol'd cat map lattice field theories. The correspondence principle implies that these mixing times, also, control the scrambling of the underlying quantum system for short times.


title: Video Quality Assessment Based on Swin TransformerV2 and Coarse to Fine Strategy

abstract: The objective of non-reference video quality assessment is to evaluate the quality of distorted video without access to reference high-definition references. In this study, we introduce an enhanced spatial perception module, pre-trained on multiple image quality assessment datasets, and a lightweight temporal fusion module to address the no-reference visual quality assessment (NR-VQA) task. This model implements Swin Transformer V2 as a local-level spatial feature extractor and fuses these multi-stage representations through a series of transformer layers. Furthermore, a temporal transformer is utilized for spatiotemporal feature fusion across the video. To accommodate compressed videos of varying bitrates, we incorporate a coarse-to-fine contrastive strategy to enrich the model's capability to discriminate features from videos of different bitrates. This is an expanded version of the one-page abstract.


title: Information and majorization theory for fermionic phase-space distributions

abstract: We put forward several information-theoretic measures for analyzing the uncertainty of fermionic phase-space distributions using the theory of supernumbers. In contrast to the bosonic case, the anti-commuting nature of Grassmann variables allows us to provide simple expressions for the Wigner $W$- and Husimi $Q$-distributions of the arbitrary state of a single fermionic mode. It appears that all physical states are Gaussian and thus can be described by positive or negative thermal distributions (over Grassmann variables). We are then able to prove several fermionic uncertainty relations, including notably the fermionic analogs of the (yet unproven) phase-space majorization and Wigner entropy conjectures for a bosonic mode, as well as the Lieb-Solovej theorem and the Wehrl-Lieb inequality. The central point is that, although fermionic phase-space distributions are Grassmann-valued and do not have a straightforward interpretation, the corresponding uncertainty measures are expressed as Berezin integrals which take on real values, hence are physically relevant.


title: Probing parton distributions in ep/eA and ultra-peripheral collisions

abstract: Real or virtual photons are excellent probes of nuclear structure, with a strong sensitivity to gluon distributions. Photonic reactions can be studied using ultra-peripheral collisions or at an electron-ion collider. Final states like dijets or open charm production are directly sensitive to the gluon distributions in nuclei. Exclusive reactions, like exclusive vector meson production or deeply virtual Compton scattering (DVCS) go further, requiring at least two gluons. In the Good-Walker paradigm, coherent exclusive photoproduction is sensitive to the average nuclear configuration (including gluonic hot spots), and the Fourier transform of the differential cross-section $d\sigma/dt$ gives the transverse distribution of partonic targets in a nucleus. The incoherent photoproduction cross-section is sensitive to partonic fluctuations, including gluonic hot spots. Some reactions, such as dijet production, involve multiple momentum scales, and thus may be able to probe the Wigner distribution of nuclear targets. Finally, incoherent photoproduction is sensitive to partonic fluctuations; an analysis of $J/\psi$ photoproduction on proton targets found that the data clearly preferred a fluctuating lumpy proton.


title: GATS: Gather-Attend-Scatter

abstract: As the AI community increasingly adopts large-scale models, it is crucial to develop general and flexible tools to integrate them. We introduce Gather-Attend-Scatter (GATS), a novel module that enables seamless combination of pretrained foundation models, both trainable and frozen, into larger multimodal networks. GATS empowers AI systems to process and generate information across multiple modalities at different rates. In contrast to traditional fine-tuning, GATS allows for the original component models to remain frozen, avoiding the risk of them losing important knowledge acquired during the pretraining phase. We demonstrate the utility and versatility of GATS with a few experiments across games, robotics, and multimodal input-output systems.


title: Genuinely ramified maps and monodromy

abstract: For any genuinely ramified morphism $f\, :\, Y\, \longrightarrow\, X$ between irreducible smooth projective curves we prove that $\overline{(Y\times_X Y) \setminus \Delta}$ is connected, where $\Delta\, \subset\, Y\times_X Y$ is the diagonal. Using this result the following are proved: If $f$ is further Morse then the Galois closure is the symmetric group $S_d$, where $d\,=\, \text{degree}(f)$. The Galois group of the general projection, to a line, of any smooth curve $X\,\subset\, \PP^n$ of degree $d$, which is not contained in a hyperplane and contains a non-flex point, is $S_d$.


title: MICA: Towards Explainable Skin Lesion Diagnosis via Multi-Level Image-Concept Alignment

abstract: Black-box deep learning approaches have showcased significant potential in the realm of medical image analysis. However, the stringent trustworthiness requirements intrinsic to the medical field have catalyzed research into the utilization of Explainable Artificial Intelligence (XAI), with a particular focus on concept-based methods. Existing concept-based methods predominantly apply concept annotations from a single perspective (e.g., global level), neglecting the nuanced semantic relationships between sub-regions and concepts embedded within medical images. This leads to underutilization of the valuable medical information and may cause models to fall short in harmoniously balancing interpretability and performance when employing inherently interpretable architectures such as Concept Bottlenecks. To mitigate these shortcomings, we propose a multi-modal explainable disease diagnosis framework that meticulously aligns medical images and clinical-related concepts semantically at multiple strata, encompassing the image level, token level, and concept level. Moreover, our method allows for model intervention and offers both textual and visual explanations in terms of human-interpretable concepts. Experimental results on three skin image datasets demonstrate that our method, while preserving model interpretability, attains high performance and label efficiency for concept detection and disease diagnosis.


title: Pebbling number of polymers

abstract: Let $G=(V,E)$ be a simple graph. A function $f:V\rightarrow \mathbb{N}\cup \{0\}$ is called a configuration of pebbles on the vertices of $G$ and the quantity $\vert f\vert=\sum_{u\in V}f(u)$ is called the weight of $f$ which is just the total number of pebbles assigned to vertices. A pebbling step from a vertex $u$ to one of its neighbors $v$ reduces $f(u)$ by two and increases $f(v)$ by one. A pebbling configuration $f$ is said to be solvable if for every vertex $ v $, there exists a sequence (possibly empty) of pebbling moves that results in a pebble on $v$. The pebbling number $ \pi(G) $ equals the minimum number $ k $ such that every pebbling configuration $ f $ with $ \vert f\vert = k $ is solvable. Let $ G $ be a connected graph constructed from pairwise disjoint connected graphs $ G_1,...,G_k $ by selecting a vertex of $ G_1 $, a vertex of $ G_2 $, and identifying these two vertices. Then continue in this manner inductively. We say that $ G $ is a polymer graph, obtained by point-attaching from monomer units $ G_1,...,G_k $. In this paper, we study the pebbling number of some polymers.


title: On the determinant in Bray-Moore's TAP complexity formula

abstract: In the computation of the TAP complexity, originally carried out by Bray and Moore, a fundamental step is to calculate the determinant of a random Hessian. As the replica method does not give a clear prescription, physicists debated how to perform this computation and its consequences on the TAP complexity for a long time. In this paper we prove the original Bray and Moore formula for the behaviour of the determinant at exponential scale to be correct, and compute an important prefactor coming from a small outlier in the spectrum.


title: Stochastic Inflation in General Relativity

abstract: We provide a formulation of Stochastic Inflation in full general relativity that goes beyond the slow-roll and separate universe approximations. We show how gauge invariant Langevin source terms can be obtained for the complete set of Einstein equations in their ADM formulation by providing a recipe for coarse-graining the spacetime in any small gauge. These stochastic source terms are defined in terms of the only dynamical scalar degree of freedom in single-field inflation and all depend simply on the first two time derivatives of the coarse-graining window function, on the gauge-invariant mode functions that satisfy the Mukhanov-Sasaki evolution equation, and on the slow-roll parameters. It is shown that this reasoning can also be applied to include gravitons as stochastic sources, thus enabling the study of all relevant degrees of freedom of general relativity for inflation. We validate the efficacy of these Langevin dynamics directly using an example in uniform field gauge, obtaining the stochastic e-fold number in the long wavelength limit without the need for a first-passage-time analysis. As well as investigating the most commonly used gauges in cosmological perturbation theory, we also derive stochastic source terms for the coarse-grained BSSN formulation of Einstein's equations, which enables a well-posed implementation for 3+1 numerical relativity simulations.


title: A note on uniqueness for linear evolution PDEs posed on the quarter-plane

abstract: In this paper, we announce a rigorous approach to establishing uniqueness results, under certain conditions, for initial-boundary-value problems for a class of linear evolution partial differential equations (PDEs) formulated in a quarter-plane. We also effectively propose an algorithm for constructing non-uniqueness counter-examples which do not satisfy the said conditions. Our approach relies crucially on the rigorous analysis of regularity and asymptotic properties of integral representations derived formally via the celebrated Unified Transform Method for each such PDE. For uniqueness, this boundary behavior analysis allows for a careful implementation of an energy-estimate argument on the semi-unbounded domain. Our ideas are elucidated via application of the present technique to two concrete examples, namely the heat equation and the linear KdV equation with Dirichlet data on the positive quadrant, under a particular set of conditions at the domain boundary and at infinity. Importantly, this is facilitated by delicate refinement of previous results concerning the boundary behavior analysis of these two celebrated models. In addition, we announce a uniqueness theorem for the linearized BBM equation, whose proof, in a similar spirit, will appear in a forthcoming paper. Finally, we briefly demonstrate how the general case of oblique Robin data can be recast as a Dirichlet problem. To the best of our knowledge, such well-posedness results appear for the first time in either the classical or the weak sense. Extensions to other classes of equations are underway and will appear elsewhere.


title: Essential dimension of cohomology classes via valuation theory

abstract: We give a formula for the essential dimension of a cohomology class $\alpha$ in $H^d(K, \mathbb{Q}_p/\mathbb{Z}_p (d))$ when $K$ is a strictly Henselian field. This formula is particularly explicit in the case, where $\alpha$ is a Brauer class (for $d = 2$). As an application of our bound with $d = 3$, we study the essential dimension of exceptional groups by examining the image of the Rost invariant.


title: Well-posedness and stability of abstract thermoelastic delayed systems

abstract: In this paper, we consider a stabilization problem of a generalized thermoelastic system (the so called $\alpha-\beta$ system) with delay in a part of the coupled system. For each case, we prove the well-posedness of the corresponding system using semigroup approach, then under some sufficient conditions we establish some results of exponential and polynomial stability of the system through a frequency-domain approach. The results are applied to concrete examples in thermoelasticity.


title: DiConStruct: Causal Concept-based Explanations through Black-Box Distillation

abstract: Model interpretability plays a central role in human-AI decision-making systems. Ideally, explanations should be expressed using human-interpretable semantic concepts. Moreover, the causal relations between these concepts should be captured by the explainer to allow for reasoning about the explanations. Lastly, explanation methods should be efficient and not compromise the performance of the predictive task. Despite the rapid advances in AI explainability in recent years, as far as we know to date, no method fulfills these three properties. Indeed, mainstream methods for local concept explainability do not produce causal explanations and incur a trade-off between explainability and prediction performance. We present DiConStruct, an explanation method that is both concept-based and causal, with the goal of creating more interpretable local explanations in the form of structural causal models and concept attributions. Our explainer works as a distillation model to any black-box machine learning model by approximating its predictions while producing the respective explanations. Because of this, DiConStruct generates explanations efficiently while not impacting the black-box prediction task. We validate our method on an image dataset and a tabular dataset, showing that DiConStruct approximates the black-box models with higher fidelity than other concept explainability baselines, while providing explanations that include the causal relations between the concepts.


title: Nil-Essential Ideals

abstract: The class of nil-essential ideals is a generalisation of the class of essential ideals. Every nil-essential ideal of a reduced ring is essential. Therefore the intersection of all nil-essential ideals over a reduced ring $R$ is the socle of $R$. In this note, we apply this generalisation to give a new criteria of semisimplicity in terms of nil-essentiality of ideals.


title: Dual-Loop Robust Control of Biased Koopman Operator Model by Noisy Data of Nonlinear Systems

abstract: The Koopman operator approach for data-driven control design of a nonlinear system is on the rise because of its capability to capture the behaviours of global dynamics. However, the measurement noises of inputs and outputs will bias the Koopman model identification and cause model mismatch from the actual nonlinear dynamics. The current work evaluates the bounds of the noise-induced model bias of the Koopman operator model and proposes a data-driven robust dual-loop control framework (Koopman based robust control-KROC) for the biased model. First, the model mismatch is found bounded under radial basis functions (RBF) and the bounded noises, and the bound of model mismatch is assessed. Second, the pitfalls of linear quadratic Gaussian (LQG) control based on the biased Koopman model of Van Der Pol oscillator are shown. Motivated from the pitfalls, the dual-loop control is proposed, which consist of an observer-based state-feedback control based on the nominal Koopman model and an additional robust loop to compensate model mismatch. A linear matrix inequality (LMI) is derived, which can guarantee robust stability and performance under bounded noises for the finite-dimensional Koopman operator model. Finally, the proposed framework is implemented to a nonlinear Van Der Pol oscillator to demonstrate enhanced control performance by the dual-loop robust control.


title: Spatial Entity Resolution between Restaurant Locations and Transportation Destinations in Southeast Asia

abstract: As a tech company, Grab has expanded from transportation to food delivery, aiming to serve Southeast Asia with hyperlocalized applications. Information about places as transportation destinations can help to improve our knowledge about places as restaurants, so long as the spatial entity resolution problem between these datasets can be solved. In this project, we attempted to recognize identical place entities from databases of Points-of-Interest (POI) and GrabFood restaurants, using their spatial and textual attributes, i.e., latitude, longitude, place name, and street address. Distance metrics were calculated for these attributes and fed to tree-based classifiers. POI-restaurant matching was conducted separately for Singapore, Philippines, Indonesia, and Malaysia. Experimental estimates demonstrate that a matching POI can be found for over 35% of restaurants in these countries. As part of these estimates, test datasets were manually created, and RandomForest, AdaBoost, Gradient Boosting, and XGBoost perform well, with most accuracy, precision, and recall scores close to or higher than 90% for matched vs. unmatched classification. To the authors' knowledge, there are no previous published scientific papers devoted to matching of spatial entities for the Southeast Asia region.


title: A Hidden Convexity of Nonlinear Elasticity

abstract: A technique for developing convex dual variational principles for the governing PDE of nonlinear elastostatics and elastodynamics is presented. This allows the definition of notions of a variational dual solution and a dual solution corresponding to the PDEs of nonlinear elasticity, even when the latter arise as formal Euler-Lagrange equations corresponding to non-quasiconvex elastic energy functionals whose energy minimizers do not exist. This is demonstrated rigorously in the case of elastostatics for the Saint-Venant Kirchhoff material (in all dimensions), where the existence of variational dual solutions is also proven. The existence of a variational dual solution for the incompressible neo-Hookean material in 2-d is also shown. Stressed and unstressed elastostatic and elastodynamic solutions in 1 space dimension corresponding to a non-convex, double-well energy are computed using the dual methodology. In particular, we show the stability of a dual elastodynamic equilibrium solution for which there are regions of non-vanishing length with negative elastic stiffness, i.e.~non-hyperbolic regions, for which the corresponding primal problem is ill-posed and demonstrates an explosive `Hadamard instability;' this appears to have implications for the modeling of physically observed softening behavior in macroscopic mechanical response.

categories: math.AP cond-mat.mtrl-sci math-ph math.MP


title: Mapping low-resolution edges to high-resolution paths: the case of traffic measurements in cities

abstract: We consider the following problem : we have a high-resolution street network of a given city, and low-resolution measurements of traffic within this city. We want to associate to each measurement the set of streets corresponding to the observed traffic. To do so, we take benefit of specific properties of these data to match measured links to links in the street network. We propose several success criteria for the obtained matching. They show that the matching algorithm generally performs very well, and they give complementary ways to detect data discrepancies that makes any matching highly dubious.


title: Asymptotic Equivalence of Identification Operators in Geometric Scattering Theory

abstract: Given two measures $\mu_1$ and $\mu_2$ on a measurable space $X$ such that $d\mu_2=\rho_{1,2} \, d\mu_1$ for some bounded measurable function $\rho_{1,2}:X\to (0,\infty)$, there exist two natural identification operators $J_{1,2},\tilde{J}_{1,2}:L^2(X,\mu_1)\to L^2(X,\mu_2)$, namely the unitary $J_{1,2}\psi:=\psi/\sqrt{\rho_{1,2}}$ and the trivial $\tilde{J}_{1,2}\psi:=\psi$. Given self-adjoint semibounded operators $H_j$ on $L^2(X,\mu_j)$, $j=1,2$, we prove a natural criterion in a topologic setting for the equality of the two-Hilbert-space wave operators $W_\pm(H_2,H_1;J_{1,2})$ and $W_\pm(H_2,H_1;\tilde{J}_{1,2})$, by showing that $J_{1,2}-\tilde{J}_{1,2}$ are asymptotically $H_1$-equivalent in the sense of Kato. It turns out that this criterion is automatically satisfied in typical situations on Riemannian manifolds and weighted infinite graphs in which one has the existence of completeness $W_\pm(H_2,H_1;\tilde{J}_{1,2})$ (and thus a-posteriori of $W_\pm(H_2,H_1;J_{1,2}))$.


title: Scalable Pre-training of Large Autoregressive Image Models

abstract: This paper introduces AIM, a collection of vision models pre-trained with an autoregressive objective. These models are inspired by their textual counterparts, i.e., Large Language Models (LLMs), and exhibit similar scaling properties. Specifically, we highlight two key findings: (1) the performance of the visual features scale with both the model capacity and the quantity of data, (2) the value of the objective function correlates with the performance of the model on downstream tasks. We illustrate the practical implication of these findings by pre-training a 7 billion parameter AIM on 2 billion images, that achieves 84.0% on ImageNet-1k with a frozen trunk. Interestingly, even at this scale, we observe no sign of saturation in performance, suggesting that AIM potentially represents a new frontier for training large-scale vision models. The pre-training of AIM is similar to the pre-training of LLMs, and does not require any image-specific strategy to stabilize the training at scale.


title: Tensor Renormalization Group for fermions

abstract: We review the basic ideas of the Tensor Renormalization Group method and show how they can be applied for lattice field theory models involving relativistic fermions and Grassmann variables in arbitrary dimensions. We discuss recent progress for entanglement filtering, loop optimization, bond-weighting techniques and matrix product decompositions for Grassmann tensor networks. The new methods are tested with two-dimensional Wilson--Majorana fermions and multi-flavor Gross--Neveu models. We show that the methods can also be applied to the fermionic Hubbard model in 1+1 and 2+1 dimensions.


title: Unambiguous fluctuation decomposition of the self-energy: pseudogap physics beyond spin fluctuations

abstract: Correlated electron systems may give rise to multiple effective interactions whose combined impact on quasiparticle properties can be difficult to disentangle. We introduce an unambiguous decomposition of the electronic self-energy which allows us to quantify the contributions of various effective interactions simultaneously. We use this tool to revisit the hole-doped Hubbard model within the dynamical cluster approximation, where commonly spin fluctuations are considered to be the origin of the pseudogap. While our fluctuation decomposition confirms that spin fluctuations indeed suppress antinodal electronic spectral weight, we show that they alone can not capture the pseudogap self-energy quantitatively. Nonlocal multi-boson Feynman diagrams yield substantial contributions and are needed for a quantitative description of the pseudogap.


title: N-Adaptive Ritz Method: A Neural Network Enriched Partition of Unity for Boundary Value Problems

abstract: Conventional finite element methods are known to be tedious in adaptive refinements due to their conformal regularity requirements. Further, the enrichment functions for adaptive refinements are often not readily available in general applications. This work introduces a novel neural network-enriched Partition of Unity (NN-PU) approach for solving boundary value problems via artificial neural networks with a potential energy-based loss function minimization. The flexibility and adaptivity of the NN function space are utilized to capture complex solution patterns that the conventional Galerkin methods fail to capture. The NN enrichment is constructed by combining pre-trained feature-encoded NN blocks with an additional untrained NN block. The pre-trained NN blocks learn specific local features during the offline stage, enabling efficient enrichment of the approximation space during the online stage through the Ritz-type energy minimization. The NN enrichment is introduced under the Partition of Unity (PU) framework, ensuring convergence of the proposed method. The proposed NN-PU approximation and feature-encoded transfer learning forms an adaptive approximation framework, termed the neural-refinement (n-refinement), for solving boundary value problems. Demonstrated by solving various elasticity problems, the proposed method offers accurate solutions while notably reducing the computational cost compared to the conventional adaptive refinement in the mesh-based methods.


title: Testing General Relativity with NuSTAR data of Galactic Black Holes : II

abstract: General Relativity predicts the spacetime metric around an astrophysical black hole to be described by Kerr solution which is a massive rotating black hole without any residual charge. In a previous paper, we analyzed the NuSTAR observations of six X-ray binaries to obtain constraints on deformation parameter $\alpha_{13}$ using a state-of-the-art relativistic model. In this work, we continue analyzing NuSTAR observations of four more X-ray Binaries; two of which are X-ray Transients very close to the supermassive black hole at the center of our galaxy. The other two sources have complicated absorption which is accounted by time-resolved and flux-resolved spectroscopy. The constraints obtained are consistent with the Kerr hypothesis and are comparable with those obtained in previous studies and those from gravitational events.


title: CO emission survey of asymptotic giant branch stars with ultraviolet excesses

abstract: Context. The transition from the spherically symmetric envelopes around asymptotic giant branch (AGB) stars to the asymmetric morphologies observed in planetary nebulae is still not well understood, and the shaping mechanisms are a subject of debate. Even though binarity is widely accepted as a promising option. Recently, the presence of ultraviolet excesses in AGB stars has been suggested as a potential indicator of binarity. Aims. Our main goals are to characterise the properties of the circumstellar envelopes (CSEs) around candidate AGB binary stars, specifically those selected based on their UV excess emission, and to compare these properties with those derived from previous CO-based studies of AGB stars. Methods. We observed the 12CO ($J$=1-0) and 12CO ($J$=2-1) millimetre-wavelength emission in a sample of 29 AGB binary candidates with the IRAM-30 m antenna. We explored different trends between the envelope parameters deduced and compared them with those previously derived from larger samples of AGB stars found in the literature. Results. We derived the average excitation temperature and column density of the CO-emitting layers, which we used to estimate self-consistently the average mass-loss rate and the CO photodissociation radius of our targets. We find a correlation between CO intensity and IRAS 60${\mu}$m fluxes, revealing a CO-to-IRAS 60${\mu}$m ratio lower than for AGB stars and closer to that found for pre-planetary nebulae (pPNe). Conclusions. For the first time we have studied the mass-loss properties of UV-excess AGB binary candidates and estimated their main CSE parameters. The different relationships between 12CO and IRAS 60{\mu}m, with NUV and FUV are consistent with an intrinsic origin of NUV emission, but potential dominance of an extrinsic process (e.g. presence of a binary companion) in FUV emission.


title: Unramified Brauer group of quotient spaces by finite groups

abstract: We provide a general algorithm for the computation of the unramified Brauer group of quotients of rational varieties by finite groups.


title: Fitting random cash management models to data

abstract: Organizations use cash management models to control balances to both avoid overdrafts and obtain a profit from short-term investments. Most management models are based on control bounds which are derived from the assumption of a particular cash flow probability distribution. In this paper, we relax this strong assumption to fit cash management models to data by means of stochastic and linear programming. We also introduce ensembles of random cash management models which are built by randomly selecting a subsequence of the original cash flow data set. We illustrate our approach by means of a real case study showing that a small random sample of data is enough to fit sufficiently good bound-based models.


title: Flux-charge symmetric theory of superconducting circuits

abstract: The quantum mechanics of superconducting circuits is derived by starting from a classical Hamiltonian dynamical system describing a dissipationless circuit, usually made of capacitive and inductive elements. However, standard approaches to circuit quantization treat fluxes and charges, which end up as the canonically conjugate degrees of freedom on phase space, asymmetrically. By combining intuition from topological graph theory with a recent symplectic geometry approach to circuit quantization, we present a theory of circuit quantization that treats charges and fluxes on a manifestly symmetric footing. For planar circuits, known circuit dualities are a natural canonical transformation on the classical phase space. We discuss the extent to which such circuit dualities generalize to non-planar circuits.


title: Expanding Hardware-Efficiently Manipulable Hilbert Space via Hamiltonian Embedding

abstract: Many promising quantum applications depend on the efficient quantum simulation of an exponentially large sparse Hamiltonian, a task known as sparse Hamiltonian simulation, which is fundamentally important in quantum computation. Although several theoretically appealing quantum algorithms have been proposed for this task, they typically require a black-box query model of the sparse Hamiltonian, rendering them impractical for near-term implementation on quantum devices. In this paper, we propose a technique named Hamiltonian embedding. This technique simulates a desired sparse Hamiltonian by embedding it into the evolution of a larger and more structured quantum system, allowing for more efficient simulation through hardware-efficient operations. We conduct a systematic study of this new technique and demonstrate significant savings in computational resources for implementing prominent quantum applications. As a result, we can now experimentally realize quantum walks on complicated graphs (e.g., binary trees, glued-tree graphs), quantum spatial search, and the simulation of real-space Schr\"odinger equations on current trapped-ion and neutral-atom platforms. Given the fundamental role of Hamiltonian evolution in the design of quantum algorithms, our technique markedly expands the horizon of implementable quantum advantages in the NISQ era.


title: Hot quark matter and merger remnants

abstract: This work investigates hot quark matter under the thermodynamic conditions characteristic of a binary neutron star (BNS) merger remnants. We use the density-dependent quark mass model (DDQM) to access the microscopic nuclear equation of state (EoS). The strange quark matter (SQM) is studied at finite temperature and entropy in the presence of electrons and muons and their neutrinos to simulate the BNS merger conditions. We observe that as the entropy of the SQM increases, the merger remnant becomes more massive, and increases in size whereas the neutrino population also increases. In the fixed temperature case, on the other hand, we observe that the entropy spreads from the surface towards the center of the remnant. We determine the particle distribution in the remnants' core, the remnant's structure, the temperature profile, sound velocity, and the polytropic index and discuss their effects. The strange quark (SQ) remnants satisfy the $2\,{\rm M_\odot}$ mass constraint associated with neutron stars (NS).


title: Explaining Time Series via Contrastive and Locally Sparse Perturbations

abstract: Explaining multivariate time series is a compound challenge, as it requires identifying important locations in the time series and matching complex temporal patterns. Although previous saliency-based methods addressed the challenges, their perturbation may not alleviate the distribution shift issue, which is inevitable especially in heterogeneous samples. We present ContraLSP, a locally sparse model that introduces counterfactual samples to build uninformative perturbations but keeps distribution using contrastive learning. Furthermore, we incorporate sample-specific sparse gates to generate more binary-skewed and smooth masks, which easily integrate temporal trends and select the salient features parsimoniously. Empirical studies on both synthetic and real-world datasets show that ContraLSP outperforms state-of-the-art models, demonstrating a substantial improvement in explanation quality for time series data. The source code is available at \url{https://github.com/zichuan-liu/ContraLSP}.


title: FMB: a Functional Manipulation Benchmark for Generalizable Robotic Learning

abstract: In this paper, we propose a real-world benchmark for studying robotic learning in the context of functional manipulation: a robot needs to accomplish complex long-horizon behaviors by composing individual manipulation skills in functionally relevant ways. The core design principles of our Functional Manipulation Benchmark (FMB) emphasize a harmonious balance between complexity and accessibility. Tasks are deliberately scoped to be narrow, ensuring that models and datasets of manageable scale can be utilized effectively to track progress. Simultaneously, they are diverse enough to pose a significant generalization challenge. Furthermore, the benchmark is designed to be easily replicable, encompassing all essential hardware and software components. To achieve this goal, FMB consists of a variety of 3D-printed objects designed for easy and accurate replication by other researchers. The objects are procedurally generated, providing a principled framework to study generalization in a controlled fashion. We focus on fundamental manipulation skills, including grasping, repositioning, and a range of assembly behaviors. The FMB can be used to evaluate methods for acquiring individual skills, as well as methods for combining and ordering such skills to solve complex, multi-stage manipulation tasks. We also offer an imitation learning framework that includes a suite of policies trained to solve the proposed tasks. This enables researchers to utilize our tasks as a versatile toolkit for examining various parts of the pipeline. For example, researchers could propose a better design for a grasping controller and evaluate it in combination with our baseline reorientation and assembly policies as part of a pipeline for solving multi-stage tasks. Our dataset, object CAD files, code, and evaluation videos can be found on our project website: https://functional-manipulation-benchmark.github.io


title: Infinitesimal and infinite numbers in applied mathematics

abstract: The need to describe abrupt changes or response of nonlinear systems to impulsive stimuli is ubiquitous in applications. Also the informal use of infinitesimal and infinite quantities is still a method used to construct idealized but tractable models within the famous J. von Neumann reasonably wide area of applicability. We review the theory of generalized smooth functions as a candidate to address both these needs: a rigorous but simple language of infinitesimal and infinite quantities, and the possibility to deal with continuous and generalized function as if they were smooth maps: with pointwise values, free composition and hence nonlinear operations, all the classical theorems of calculus, a good integration theory, and new existence results for differential equations. We exemplify the applications of this theory through several models of singular dynamical systems: deduction of the heat and wave equations extended to generalized functions, a singular variable length pendulum wrapping on a parallelepiped, the oscillation of a pendulum damped by different media, a nonlinear stress-strain model of steel, singular Lagrangians as used in optics, and some examples from quantum mechanics.


title: Infinite Temperature is Not So Infinite: The Many Temperatures of de Sitter Space

abstract: Several distinct concepts of temperature appear in the holographic description of de Sitter space. Conflating these has led to confusion and inconsistent claims. The double-scaled limit of SYK is a concrete model in which we can examine and explain these different concepts of temperature. This note began as an addendum to our paper ``Comments on a Paper by Narovlansky and Verlinde" but in the process of writing it we learned new things -- interesting in their own right -- that we wish to report here.


title: Experimentally implemented dynamic optogenetic optimization of ATPase expression using knowledge-based and Gaussian-process-supported models

abstract: Optogenetic modulation of adenosine triphosphatase (ATPase) expression represents a novel approach to maximize bioprocess efficiency by leveraging enforced adenosine triphosphate (ATP) turnover. In this study, we experimentally implement a model-based open-loop optimization scheme for optogenetic modulation of the expression of ATPase. Increasing the intracellular concentration of ATPase, and thus the level of ATP turnover, in bioprocesses with product synthesis coupled with ATP generation, can lead to increased product formation and substrate uptake. Previous simulation studies formulated optimal control problems using dynamic constraint-based models to find optimal light inputs in fermentations with optogenetically mediated ATPase expression. However, using these models poses challenges due to resulting bilevel optimizations and complex parameterization. Here, we outline a simplified unsegregated and quasi-unstructured kinetic modeling approach that reduces the number of dynamic states and leads to single-level optimizations. The models can be augmented with Gaussian processes to compensate for model uncertainties. We implement optimal control constrained by knowledge-based and hybrid models for optogenetic ATPase expression in $\textit{Escherichia coli}$ with lactate as the main product. To do so, we genetically engineer $\textit{E. coli}$ to obtain optogenetic expression of ATPase using the CcaS/CcaR system. This represents the first experimental implementation of model-based optimization of ATPase expression in bioprocesses.


title: The Brownian Spatial Coalescent

abstract: We introduce the Brownian spatial coalescent, a class of Markov spatial coalescent processes on the $d$-dimensional torus in continuous space, that is axiomatically defined by the following property: conditional on the times and locations of all coalescence events, lineages follow independent Brownian bridges backwards in time along the branches of the coalescence tree. We prove that a Brownian spatial coalescent is characterised by a set of finite "transition measures" on the torus, in analogy to the transition rates that characterise a non-spatial coalescent. We prove that a Brownian spatial coalescent is sampling consistent, in a novel sense, if and only if all transition measures are constant multiples of Lebesgue measure, and the multiples are the transition rates of a $\Xi$-coalescent, or a $\Lambda$-coalescent if simultaneous mergers are not allowed. This defines the "Brownian spatial $\Xi$-coalescent", which we prove describes the genealogies of the $\Xi$-Fleming-Viot process - a generalisation of the well known Fleming-Viot process - at stationarity, and in fact describes its full time reversal if augmented with "resampling" steps at the times of coalescence events. An important consequence of our results is that all spatial population models in which individuals follow independent Brownian motions and the branching mechanism depends non-trivially on the spatial distribution, for example through local regulation, have non-Markovian genealogies. Byproducts of our results include explicit formulas for samples from the stationary distribution of a $\Xi$-Fleming-Viot process, Wright-Malecot type formulas, and a representation of the backward dynamics of lineages in terms of Brownian motions with coupled drift. This includes calculations of the drift that leads to multiple or even simultaneous mergers in any dimension.


title: Safe Mission-Level Path Planning for Exploration of Lunar Shadowed Regions by a Solar-Powered Rover

abstract: Exploration of the lunar south pole with a solar-powered rover is challenging due to the highly dynamic solar illumination conditions and the presence of permanently shadowed regions (PSRs). In turn, careful planning in space and time is essential. Mission-level path planning is a global, spatiotemporal paradigm that addresses this challenge, taking into account rover resources and mission requirements. However, existing approaches do not proactively account for random disturbances, such as recurring faults, that may temporarily delay rover traverse progress. In this paper, we formulate a chance-constrained mission-level planning problem for the exploration of PSRs by a solar-powered rover affected by random faults. The objective is to find a policy that visits as many waypoints of scientific interest as possible while respecting an upper bound on the probability of mission failure. Our approach assumes that faults occur randomly, but at a known, constant average rate. Each fault is resolved within a fixed time, simulating the recovery period of an autonomous system or the time required for a team of human operators to intervene. Unlike solutions based upon dynamic programming alone, our method breaks the chance-constrained optimization problem into smaller offline and online subtasks to make the problem computationally tractable. Specifically, our solution combines existing mission-level path planning techniques with a stochastic reachability analysis component. We find mission plans that remain within reach of safety throughout large state spaces. To empirically validate our algorithm, we simulate mission scenarios using orbital terrain and illumination maps of Cabeus Crater. Results from simulations of multi-day, long-range drives in the LCROSS impact region are also presented.


title: Multi-Track Timeline Control for Text-Driven 3D Human Motion Generation

abstract: Recent advances in generative modeling have led to promising progress on synthesizing 3D human motion from text, with methods that can generate character animations from short prompts and specified durations. However, using a single text prompt as input lacks the fine-grained control needed by animators, such as composing multiple actions and defining precise durations for parts of the motion. To address this, we introduce the new problem of timeline control for text-driven motion synthesis, which provides an intuitive, yet fine-grained, input interface for users. Instead of a single prompt, users can specify a multi-track timeline of multiple prompts organized in temporal intervals that may overlap. This enables specifying the exact timings of each action and composing multiple actions in sequence or at overlapping intervals. To generate composite animations from a multi-track timeline, we propose a new test-time denoising method. This method can be integrated with any pre-trained motion diffusion model to synthesize realistic motions that accurately reflect the timeline. At every step of denoising, our method processes each timeline interval (text prompt) individually, subsequently aggregating the predictions with consideration for the specific body parts engaged in each action. Experimental comparisons and ablations validate that our method produces realistic motions that respect the semantics and timing of given text prompts. Our code and models are publicly available at https://mathis.petrovich.fr/stmc.


title: Insights into the broad-band emission of the TeV blazar Mrk 501 during the first X-ray polarization measurements

abstract: We present the first multi-wavelength study of Mrk 501 including very-high-energy (VHE) gamma-ray observations simultaneous to X-ray polarization measurements from the Imaging X-ray Polarimetry Explorer (IXPE). We use radio-to-VHE data from a multi-wavelength campaign organized between 2022-03-01 and 2022-07-19. The observations were performed by MAGIC, Fermi-LAT, NuSTAR, Swift (XRT and UVOT), and several instruments covering the optical and radio bands. During the IXPE pointings, the VHE state is close to the average behavior with a 0.2-1 TeV flux of 20%-50% the emission of the Crab Nebula. Despite the average VHE activity, an extreme X-ray behavior is measured for the first two IXPE pointings in March 2022 with a synchrotron peak frequency >1 keV. For the third IXPE pointing in July 2022, the synchrotron peak shifts towards lower energies and the optical/X-ray polarization degrees drop. The X-ray polarization is systematically higher than at lower energies, suggesting an energy-stratification of the jet. While during the IXPE epochs the polarization angle in the X-ray, optical and radio bands align well, we find a clear discrepancy in the optical and radio polarization angles in the middle of the campaign. We model the broad-band spectra simultaneous to the IXPE pointings assuming a compact zone dominating in the X-rays and VHE, and an extended zone stretching further downstream the jet dominating the emission at lower energies. NuSTAR data allow us to precisely constrain the synchrotron peak and therefore the underlying electron distribution. The change between the different states observed in the three IXPE pointings can be explained by a change of magnetization and/or emission region size, which directly connects the shift of the synchrotron peak to lower energies with the drop in polarization degree.


title: PlayMyData: a curated dataset of multi-platform video games

abstract: Being predominant in digital entertainment for decades, video games have been recognized as valuable software artifacts by the software engineering (SE) community just recently. Such an acknowledgment has unveiled several research opportunities, spanning from empirical studies to the application of AI techniques for classification tasks. In this respect, several curated game datasets have been disclosed for research purposes even though the collected data are insufficient to support the application of advanced models or to enable interdisciplinary studies. Moreover, the majority of those are limited to PC games, thus excluding notorious gaming platforms, e.g., PlayStation, Xbox, and Nintendo. In this paper, we propose PlayMyData, a curated dataset composed of 99,864 multi-platform games gathered by IGDB website. By exploiting a dedicated API, we collect relevant metadata for each game, e.g., description, genre, rating, gameplay video URLs, and screenshots. Furthermore, we enrich PlayMyData with the timing needed to complete each game by mining the HLTB website. To the best of our knowledge, this is the most comprehensive dataset in the domain that can be used to support different automated tasks in SE. More importantly, PlayMyData can be used to foster cross-domain investigations built on top of the provided multimedia data.


title: Registration of algebraic varieties using Riemannian optimization

abstract: We consider the point cloud registration problem, the task of finding a transformation between two point clouds that represent the same object but are expressed in different coordinate systems. Our approach is not based on a point-to-point correspondence, matching every point in the source point cloud to a point in the target point cloud. Instead, we assume and leverage a low-dimensional nonlinear geometric structure of the data. Firstly, we approximate each point cloud by an algebraic variety (a set defined by finitely many polynomial equations). This is done by solving an optimization problem on the Grassmann manifold, using a connection between algebraic varieties and polynomial bases. Secondly, we solve an optimization problem on the orthogonal group to find the transformation (rotation $+$ translation) which makes the two algebraic varieties overlap. We use second-order Riemannian optimization methods for the solution of both steps. Numerical experiments on real and synthetic data are provided, with encouraging results. Our approach is particularly useful when the two point clouds describe different parts of an objects (which may not even be overlapping), on the condition that the surface of the object may be well approximated by a set of polynomial equations. The first procedure -- the approximation -- is of independent interest, as it can be used for denoising data that belongs to an algebraic variety. We provide statistical guarantees for the estimation error of the denoising using Stein's unbiased estimator.


title: The density of the Milky Way's corona at $z\approx 1.6$ through ram pressure stripping of the Draco dSph galaxy

abstract: Satellite galaxies within the Milky Way's (MW) virial radius $R_{\mathrm{vir}}$ are typically devoid of cold gas due to ram pressure stripping by the MW's corona. The density of this corona is poorly constrained today and essentially unconstrained in the past, but can be estimated using ram pressure stripping. In this paper, we probe the MW corona at $z\approx 1.6$ using the Draco dwarf spheroidal galaxy. We assume that i) Draco's orbit is determined by its interaction with the MW, whose dark matter halo we evolve in time following cosmologically-motivated prescriptions, ii) Draco's star formation was quenched by ram pressure stripping and iii) the MW's corona is approximately smooth, spherical and in hydrostatic equilibrium. We used GAIA proper motions to set the initial conditions and Draco's star formation history to estimate its past gas content. We found indications that Draco was stripped of its gas during the first pericentric passage. Using 3D hydrodynamical simulations at a resolution that enables us to resolve individual supernovae and assuming no tidal stripping, which we estimate to be a minor effect, we find a density of the MW corona $\geq 8\times 10^{-4}$ cm$^{-3}$ at a radius $\approx 0.72R_{\mathrm{vir}}$. This provides evidence that the MW's corona was already in place at $z\approx 1.6$ and with a higher density than today. If isothermal, this corona would have contained all the baryons expected by the cosmological baryon fraction. Extrapolating to today shows good agreement with literature constraints if feedback has removed $\lesssim 30$% of baryons accreted onto the halo.


title: ADVENT: Attack/Anomaly Detection in VANETs

abstract: In the domain of Vehicular Ad hoc Networks (VANETs), where the imperative of having a real-world malicious detector capable of detecting attacks in real-time and unveiling their perpetrators is crucial, our study introduces a system with this goal. This system is designed for real-time detection of malicious behavior, addressing the critical need to first identify the onset of attacks and subsequently the responsible actors. Prior work in this area have never addressed both requirements, which we believe are necessary for real world deployment, simultaneously. By seamlessly integrating statistical and machine learning techniques, the proposed system prioritizes simplicity and efficiency. It excels in swiftly detecting attack onsets with a remarkable F1-score of 99.66%, subsequently identifying malicious vehicles with an average F1-score of approximately 97.85%. Incorporating federated learning in both stages enhances privacy and improves the efficiency of malicious node detection, effectively reducing the false negative rate.


title: Tuning Language Models by Proxy

abstract: Despite the general capabilities of large pretrained language models, they consistently benefit from further adaptation to better achieve desired behaviors. However, tuning these models has become increasingly resource-intensive, or impossible when model weights are private. We introduce proxy-tuning, a lightweight decoding-time algorithm that operates on top of black-box LMs to achieve the same end as direct tuning, but by accessing only its predictions over the output vocabulary, not its parameters. Our method tunes a smaller LM, then applies the difference between the predictions of the small tuned and untuned LMs to shift the original predictions of the larger untuned model in the direction of tuning, while retaining the benefits of larger-scale pretraining. In experiments, when we apply proxy-tuning to Llama2-70B using proxies of only 7B size, we can close 88% of the gap between Llama2-70B and its truly-tuned chat version, when evaluated across knowledge, reasoning, and safety benchmarks. Interestingly, on TruthfulQA, proxy-tuned models are actually more truthful than directly tuned models, possibly because decoding-time guidance better retains the model's factual knowledge. We then demonstrate the generality of proxy-tuning by applying it to domain adaptation on code, and task-specific finetuning on question-answering and math problems. Finally, we show how to proxy-tune a truly black-box LM, GPT-3.5, for temporal adaptation, increasing its knowledge about recent events. Our work demonstrates the promise of using small tuned LMs to efficiently customize large, potentially proprietary LMs through decoding-time guidance.


title: The Baade-Wesselink projection factor of RR Lyrae stars -- Calibration from OHP/SOPHIE spectroscopy and Gaia DR3 parallaxes

abstract: The application of the parallax of pulsation (PoP) technique to determine distances of pulsating stars implies the use of a scaling parameter, the projection factor (p-factor), required to transform disc-integrated radial velocities (RVs) into photospheric expansion velocities. The value of the p-factor is poorly known and debated. Most PoP applications assume a constant p-factor. However, it may actually depend on the physical parameters of each star. We aim to calibrate p-factors for RR Lyrae stars (RRLs) and compare them with classical Cepheids (CCs). Due to their higher surface gravity, RRLs have more compact atmospheres, and provide a valuable comparison with their supergiant siblings. We determined the p-factor of 17 RRLs using the SPIPS code, constrained by Gaia DR3 parallaxes, photometry, and new RVs from the OHP/SOPHIE spectrograph. We carefully examine the different steps of the PoP technique, particularly the method to determine RV from spectra using the classical cross-correlation function (CCF) approach. The method employed for RV extraction from the CCF has a strong impact on the p-factor, of up to 10%. However, this choice of method results in a global scaling of the p-factor, marginally affecting the scatter within the sample for a given method. Over our RRL sample, we find a mean value of $p = 1.248 \pm 0.022$ for RVs derived using a Gaussian fit of the CCF. There is no evidence for a different value of the p-factor of RRLs, although its distribution for RRLs appears significantly less scattered than that for CCs. The p-factor does not appear to depend in a simple way on fundamental stellar parameters. We argue that large-amplitude dynamical phenomena occurring in the atmospheres of RRLs and CCs during their pulsation affect the relative velocity of the spectral line-forming regions compared to the velocity of the photosphere.


title: Connect, Collapse, Corrupt: Learning Cross-Modal Tasks with Uni-Modal Data

abstract: Building cross-modal applications is challenging due to limited paired multi-modal data. Recent works have shown that leveraging a pre-trained multi-modal contrastive representation space enables cross-modal tasks to be learned from uni-modal data. This is based on the assumption that contrastive optimization makes embeddings from different modalities interchangeable. However, this assumption is under-explored due to the poorly understood geometry of the multi-modal contrastive space, where a modality gap exists. In our study, we provide a theoretical explanation of this space's geometry and introduce a three-step method, $C^3$ (Connect, Collapse, Corrupt), to bridge the modality gap, enhancing the interchangeability of embeddings. Our $C^3$ method significantly improves cross-modal learning from uni-modal data, achieving state-of-the-art results on zero-shot image / audio / video captioning and text-to-image generation.


title: Non-Hermitian generalizations of the Yao-Lee model augmented by SO(3)-symmetry-breaking terms

abstract: We investigate non-Hermitian versions of the Yao-Lee model supplemented by various kinds of SO(3)-symmetry-breaking terms, preserving the solvability of the model. The parent model hosts three species of Majorana fermions and serves as an extension of the two-dimensional Kitaev model on the honeycomb lattice. The non-Hermitian couplings represent generic situations when the system is coupled to the environment and undergoes dissipation. The resulting eigenvalue spectrum and the eigenmodes show a rich structure of exceptional points as well as non-Hermitian skin effects. We chart out such exotic behaviour for some representative parameter regimes.

categories: quant-ph cond-mat.mes-hall hep-th physics.optics


title: Resistively controlled primordial magnetic turbulence decay

abstract: Magnetic fields generated in the early Universe undergo turbulent decay during the radiation-dominated era. The decay is governed by a decay exponent and a decay time. It has been argued that the latter is prolonged by magnetic reconnection, which depends on the microphysical resistivity and viscosity. Turbulence, on the other hand, is not usually expected to be sensitive to microphysical dissipation, which affects only very small scales. We want to test and quantify the reconnection hypothesis in decaying hydromagnetic turbulence. We performed high-resolution numerical simulations with zero net magnetic helicity using the Pencil Code with up to $2048^3$ mesh points and relate the decay time to the Alfv\'en time for different resistivities and viscosities. The decay time is found to be longer than the Alfv\'en time by a factor that increases with increasing Lundquist number to the 1/4 power. The decay exponent is as expected from the conservation of the Hosking integral, but a timescale dependence on resistivity is unusual for developed turbulence and not found for hydrodynamic turbulence. In two dimensions, the Lundquist number dependence is shown to be leveling off above values of $\approx25,000$, independently of the value of the viscosity. Our numerical results suggest that resistivity effects have been overestimated in earlier work. Instead of reconnection, it may be the magnetic helicity density in smaller patches that is responsible for the resistively slow decay. The leveling off at large Lundquist number cannot currently be confirmed in three dimensions.


title: RoHM: Robust Human Motion Reconstruction via Diffusion

abstract: We propose RoHM, an approach for robust 3D human motion reconstruction from monocular RGB(-D) videos in the presence of noise and occlusions. Most previous approaches either train neural networks to directly regress motion in 3D or learn data-driven motion priors and combine them with optimization at test time. The former do not recover globally coherent motion and fail under occlusions; the latter are time-consuming, prone to local minima, and require manual tuning. To overcome these shortcomings, we exploit the iterative, denoising nature of diffusion models. RoHM is a novel diffusion-based motion model that, conditioned on noisy and occluded input data, reconstructs complete, plausible motions in consistent global coordinates. Given the complexity of the problem -- requiring one to address different tasks (denoising and infilling) in different solution spaces (local and global motion) -- we decompose it into two sub-tasks and learn two models, one for global trajectory and one for local motion. To capture the correlations between the two, we then introduce a novel conditioning module, combining it with an iterative inference scheme. We apply RoHM to a variety of tasks -- from motion reconstruction and denoising to spatial and temporal infilling. Extensive experiments on three popular datasets show that our method outperforms state-of-the-art approaches qualitatively and quantitatively, while being faster at test time. The code is available at https://sanweiliti.github.io/ROHM/ROHM.html.


title: Generalized volume complexity of AdS rotating black holes

abstract: We explore the generalized volume complexity of odd-dimensional asymptotically Anti-de Sitter (AdS) Myers-Perry black holes with equal angular momenta following the complexity equals anything proposal. Initially, we determine the codimension-one generalized volume complexity by finding the extreme of the generally covariant volume functional. We show that its late-time growth rate aligns with the critical momenta linked to the extremal hypersurface. Consequently, we select the Gauss-Bonnet invariant as the scalar function in the definition of generalized volume complexity to examine the complexity's temporal variation. Interestingly, we note the possibility of numerous pseudo phase behaviors intricately tied to the configurations of the effective potentials related to the codimension-one hypersurface. Nevertheless, the complexity shows a linear growth in the ultimate phase in every scenario. This suggests the consistency of the complexity equals anything proposal with respect to the AdS rotating black holes.


title: The illusion of artificial inclusion

abstract: Human participants play a central role in the development of modern artificial intelligence (AI) technology, in psychological science, and in user research. Recent advances in generative AI have attracted growing interest to the possibility of replacing human participants in these domains with AI surrogates. We survey several such "substitution proposals" to better understand the arguments for and against substituting human participants with modern generative AI. Our scoping review indicates that the recent wave of these proposals is motivated by goals such as reducing the costs of research and development work and increasing the diversity of collected data. However, these proposals ignore and ultimately conflict with foundational values of work with human participants: representation, inclusion, and understanding. This paper critically examines the principles and goals underlying human participation to help chart out paths for future work that truly centers and empowers participants.


title: WAVES: Benchmarking the Robustness of Image Watermarks

abstract: In the burgeoning age of generative AI, watermarks act as identifiers of provenance and artificial content. We present WAVES (Watermark Analysis Via Enhanced Stress-testing), a benchmark for assessing image watermark robustness, overcoming the limitations of current evaluation methods. WAVES integrates detection and identification tasks and establishes a standardized evaluation protocol comprised of a diverse range of stress tests. The attacks in WAVES range from traditional image distortions to advanced, novel variations of diffusive, and adversarial attacks. Our evaluation examines two pivotal dimensions: the degree of image quality degradation and the efficacy of watermark detection after attacks. Our novel, comprehensive evaluation reveals previously undetected vulnerabilities of several modern watermarking algorithms. We envision WAVES as a toolkit for the future development of robust watermarks. The project is available at https://wavesbench.github.io/


title: Deductive Closure Training of Language Models for Coherence, Accuracy, and Updatability

abstract: While language models (LMs) can sometimes generate factually correct text and estimate truth values of individual claims, these generally do not reflect a globally coherent, manipulable model of the world. As a consequence, current LMs also generate incorrect or nonsensical content, and are difficult to edit and bring up to date. We present a method called Deductive Closure Training (DCT) that uses LMs themselves to identify implications of (and contradictions within) the text that they generate, yielding an efficient self-supervised procedure for improving LM factuality. Given a collection of seed documents, DCT prompts LMs to generate additional text implied by these documents, reason globally about the correctness of this generated text, and finally fine-tune on text inferred to be correct. Given seed documents from a trusted source, DCT provides a tool for supervised model updating; if seed documents are sampled from the LM itself, DCT enables fully unsupervised fine-tuning for improved coherence and accuracy. Across the CREAK, MQUaKE, and Reversal Curse datasets, supervised DCT improves LM fact verification and text generation accuracy by 3-26%; on CREAK fully unsupervised DCT improves verification accuracy by 12%. These results show that LMs' reasoning capabilities during inference can be leveraged during training to improve their reliability.


title: COOL-LAMPS. VII. Quantifying Strong-lens Scaling Relations with 177 Cluster-scale Gravitational Lenses in DECaLS

abstract: We compute parametric measurements of the Einstein-radius-enclosed total mass for 177 cluster-scale strong gravitational lenses identified by the ChicagO Optically-selected Lenses Located At the Margins of Public Surveys (COOL-LAMPS) collaboration with lens redshifts ranging from $0.2 \lessapprox z \lessapprox 1.0$ using only two measured parameters in each lensing system: the Einstein radius, and the brightest-cluster-galaxy (BCG) redshift. We then constrain the Einstein-radius-enclosed luminosity and stellar mass by fitting parametric spectral energy distributions (SEDs) with aperture photometry from the Dark Energy Camera Legacy Survey (DECaLS) in the $g$, $r$, and $z$-band Dark Energy Camera (DECam) filters. We find that the BCG redshift, enclosed total mass, and enclosed luminosity are strongly correlated and well described by a planar relationship in 3D space. We also find that the enclosed total mass and stellar mass are correlated with a logarithmic slope of $0.443\pm0.035$, and the enclosed total mass and stellar-to-total mass fraction are correlated with a logarithmic slope of $-0.563\pm0.035$. The correlations described here can be used to validate strong lensing candidates in upcoming imaging surveys -- such as Rubin/Legacy Survey of Space and Time (LSST) -- in which an algorithmic treatment of lensing systems will be needed due to the sheer volume of data these surveys will produce.


title: Showcasing the necessity of the principle of relative motion in physical statistics: Inconsistency of the `segmented Fermi surface'

abstract: The hunt for exotic properties in flowing systems is a popular and active field of study, and has recently gained renewed attention through claims such as a ``segmented Fermi surface'' in a superconducting system that hosts steady superflow of screening current driven by an external field. Apart from this excitement and the promise of hosting Majorana zero modes, claims such as this imply exotic gap-to-gapless quantum phase transitions merely through boost of inertial frames of observation, and challenge the very concept behind the principle of relative motion. Here, we first illustrate an obvious inescapable physical inconsistency of such claims concerning the flow velocity. Taking into account this basic principle from the beginning, we then demonstrate that a proper employment of physical statistics naturally reproduces the experimental observation without causing such a conceptual crisis. This example showcases the importance of strict adherence to the basic principle of relative motion in physical statistics, especially when pushing the frontiers of physics and technology.


title: MultiPLY: A Multisensory Object-Centric Embodied Large Language Model in 3D World

abstract: Human beings possess the capability to multiply a melange of multisensory cues while actively exploring and interacting with the 3D world. Current multi-modal large language models, however, passively absorb sensory data as inputs, lacking the capacity to actively interact with the objects in the 3D environment and dynamically collect their multisensory information. To usher in the study of this area, we propose MultiPLY, a multisensory embodied large language model that could incorporate multisensory interactive data, including visual, audio, tactile, and thermal information into large language models, thereby establishing the correlation among words, actions, and percepts. To this end, we first collect Multisensory Universe, a large-scale multisensory interaction dataset comprising 500k data by deploying an LLM-powered embodied agent to engage with the 3D environment. To perform instruction tuning with pre-trained LLM on such generated data, we first encode the 3D scene as abstracted object-centric representations and then introduce action tokens denoting that the embodied agent takes certain actions within the environment, as well as state tokens that represent the multisensory state observations of the agent at each time step. In the inference time, MultiPLY could generate action tokens, instructing the agent to take the action in the environment and obtain the next multisensory state observation. The observation is then appended back to the LLM via state tokens to generate subsequent text or action tokens. We demonstrate that MultiPLY outperforms baselines by a large margin through a diverse set of embodied tasks involving object retrieval, tool use, multisensory captioning, and task decomposition.


title: Evaluating aliphatic CF, CF2 and CF3 groups as vibrational Stark effect reporters

abstract: Given the extensive use of fluorination in molecular design, it is imperative to understand the solvation properties of fluorinated compounds and the impact of the C-F bond on electrostatic interactions. Vibrational spectroscopy can provide direct insight into these interactions by using the C-F bond stretching (v(C-F)) as an electric field probe through the vibrational Stark effect (VSE). In this work, we explore the VSE of the three basic patterns of aliphatic fluorination, i.e., mono-, di-, and trifluorination in CF, CF2 and CF3 groups, respectively, and compare their response to the well-studied aromatic v(C-F). Magnitudes (i.e. Stark tuning rates) and orientations of the difference dipole vectors of the v(C-F)-containing normal modes were determined using density functional theory and a molecular dynamics (MD)-assisted solvatochromic analysis of model compounds in solvents of varying polarity. We obtain Stark tuning rates of 0.2 - 0.8 cm-1/(MV/cm), with smallest and largest electric field sensitivities for CFaliphatic and CF3,aliphatic, respectively. While average electric fields of solvation were oriented along the main symmetry axis of the CFn, and thus along its static dipole, the Stark tuning rate vectors were tilted by up to 87 deg. potentially enabling to map electrostatics in multiple dimensions. We discuss the influence of conformational heterogeneity on spectral shifts and point out the importance of multipolar and/or polarizable MD force fields to describe the electrostatics of fluorinated molecules. The implications of this work are of direct relevance for studies of fluorinated molecules as found in pharmaceuticals, fluorinated peptides and proteins.


title: Curve-based Neural Style Transfer

abstract: This research presents a new parametric style transfer framework specifically designed for curve-based design sketches. In this research, traditional challenges faced by neural style transfer methods in handling binary sketch transformations are effectively addressed through the utilization of parametric shape-editing rules, efficient curve-to-pixel conversion techniques, and the fine-tuning of VGG19 on ImageNet-Sketch, enhancing its role as a feature pyramid network for precise style extraction. By harmonizing intuitive curve-based imagery with rule-based editing, this study holds the potential to significantly enhance design articulation and elevate the practice of style transfer within the realm of product design.


title: A note on blocks of finite groups with TI Sylow $p$-subgroups

abstract: Let $\mathbb{F}$ be an algebraically closed field of characteristic zero. Recently, we proved that isotypic blocks are functorially equivalent over $\mathbb{F}$. In this article we provide an example of functorially equivalent blocks which are not perfectly isometric.


title: Temporal Embeddings: Scalable Self-Supervised Temporal Representation Learning from Spatiotemporal Data for Multimodal Computer Vision

abstract: There exists a correlation between geospatial activity temporal patterns and type of land use. A novel self-supervised approach is proposed to stratify landscape based on mobility activity time series. First, the time series signal is transformed to the frequency domain and then compressed into task-agnostic temporal embeddings by a contractive autoencoder, which preserves cyclic temporal patterns observed in time series. The pixel-wise embeddings are converted to image-like channels that can be used for task-based, multimodal modeling of downstream geospatial tasks using deep semantic segmentation. Experiments show that temporal embeddings are semantically meaningful representations of time series data and are effective across different tasks such as classifying residential area and commercial areas. Temporal embeddings transform sequential, spatiotemporal motion trajectory data into semantically meaningful image-like tensor representations that can be combined (multimodal fusion) with other data modalities that are or can be transformed into image-like tensor representations (for e.g., RBG imagery, graph embeddings of road networks, passively collected imagery like SAR, etc.) to facilitate multimodal learning in geospatial computer vision. Multimodal computer vision is critical for training machine learning models for geospatial feature detection to keep a geospatial mapping service up-to-date in real-time and can significantly improve user experience and above all, user safety.


title: Generation and Distribution of Prime Numbers Using a Modified Lagrange Polynomial

abstract: A modified Lagrange Polynomial is introduced for polynomial extrapolation, which can be used to estimate the equally spaced values of a polynomial function. As an example of its application, this article presents a prime-generating algorithm based on a 1-degree polynomial that can generate prime numbers from consecutive primes. The algorithm is based on the condition that infinitely many prime numbers exist that satisfy the equation $\Pi_{n} =2\Pi_{n-1} - \Pi_{n-2} \pm 2 \ \ \forall \ \Pi_{n} >7$. where $\Pi_{n-1}$ and $\Pi_{n-2}$ are the consecutive primes.


title: Development of Control Framework for Spine Surgery Robot Using EtherCAT

abstract: As the more sensors and actuators are used in the robotic systems to provide more features, complexity of the system is increasing. When it comes to medical robotics, it becomes harder to ensure safety and determinism in the system. To deal with increasing complexity and ensure precise periodicity and execution timing for a medical robot, in this paper we report development of EtherCAT master as a part of software framework for spine surgery robot. We implemented multi-axis controller using open-source EtherCAT master running in real-time preemptive Linux. We evaluated the real-time performance of the system in terms of periodicity, jitter and execution time in our first prototype of spine surgery robot.


title: Nahid: AI-based Algorithm for operating fully-automatic surgery

abstract: In this paper, for the first time, a method is presented that can provide a fully automated surgery based on software and computer vision techniques. Then, the advantages and challenges of computerization of medical surgery are examined. Finally, the surgery related to isolated ovarian endometriosis disease has been examined, and based on the presented method, a more detailed algorithm is presented that is capable of automatically diagnosing and treating this disease during surgery as proof of our proposed method where a U-net is trained to detect the endometriosis during surgery.


title: From Conceptual Spaces to Quantum Concepts: Formalising and Learning Structured Conceptual Models

abstract: In this article we present a new modelling framework for structured concepts using a category-theoretic generalisation of conceptual spaces, and show how the conceptual representations can be learned automatically from data, using two very different instantiations: one classical and one quantum. A contribution of the work is a thorough category-theoretic formalisation of our framework. We claim that the use of category theory, and in particular the use of string diagrams to describe quantum processes, helps elucidate some of the most important features of our approach. We build upon Gardenfors' classical framework of conceptual spaces, in which cognition is modelled geometrically through the use of convex spaces, which in turn factorise in terms of simpler spaces called domains. We show how concepts from the domains of shape, colour, size and position can be learned from images of simple shapes, where concepts are represented as Gaussians in the classical implementation, and quantum effects in the quantum one. In the classical case we develop a new model which is inspired by the Beta-VAE model of concepts, but is designed to be more closely connected with language, so that the names of concepts form part of the graphical model. In the quantum case, concepts are learned by a hybrid classical-quantum network trained to perform concept classification, where the classical image processing is carried out by a convolutional neural network and the quantum representations are produced by a parameterised quantum circuit. Finally, we consider the question of whether our quantum models of concepts can be considered conceptual spaces in the Gardenfors sense.


title: A GPU accelerated mixed-precision Smoothed Particle Hydrodynamics framework with cell-based relative coordinates

abstract: Smoothed Particle Hydrodynamics (SPH) is essential for modeling complex large-deformation problems across various applications, requiring significant computational power. A major portion of SPH computation time is dedicated to the Nearest Neighboring Particle Search (NNPS) process. While advanced NNPS algorithms have been developed to enhance SPH efficiency, the potential efficiency gains from modern computation hardware remain underexplored. This study investigates the impact of GPU parallel architecture, low-precision computing on GPUs, and GPU memory management on NNPS efficiency. Our approach employs a GPU-accelerated mixed-precision SPH framework, utilizing low-precision float-point 16 (FP16) for NNPS while maintaining high precision for other components. To ensure FP16 accuracy in NNPS, we introduce a Relative Coordinated-based Link List (RCLL) algorithm, storing FP16 relative coordinates of particles within background cells. Our testing results show three significant speedup rounds for CPU-based NNPS algorithms. The first comes from parallel GPU computations, with up to a 1000x efficiency gain. The second is achieved through low-precision GPU computing, where the proposed FP16-based RCLL algorithm offers a 1.5x efficiency improvement over the FP64-based approach on GPUs. By optimizing GPU memory bandwidth utilization, the efficiency of the FP16 RCLL algorithm can be further boosted by 2.7x, as demonstrated in an example with 1 million particles. Our code is released at https://github.com/pnnl/lpNNPS4SPH.


title: Automatic extraction and 3D reconstruction of split wire from point cloud data based on improved DPC algorithm

abstract: In order to solve the problem of point cloud data splitting improved by DPC algorithm, a research on automatic separation and 3D reconstruction of point cloud data split lines is proposed. First, the relative coordinates of each point in the cloud point are calculated. Second, it is planned to develop a relative ensemble-based DPC swarm algorithm for analyzing the number of separation lines to determine all parts in the cloud content. Finally, fit each separator using the least squares method. iron. The cloud point of the resulting split subconductors has a clear demarcation line, and the distance between adjacent split subconductors is 0.45 m, divided by the four vertices of the square.


title: Improved Pothole Detection Using YOLOv7 and ESRGAN

abstract: Potholes are common road hazards that is causing damage to vehicles and posing a safety risk to drivers. The introduction of Convolutional Neural Networks (CNNs) is widely used in the industry for object detection based on Deep Learning methods and has achieved significant progress in hardware improvement and software implementations. In this paper, a unique better algorithm is proposed to warrant the use of low-resolution cameras or low-resolution images and video feed for automatic pothole detection using Super Resolution (SR) through Super Resolution Generative Adversarial Networks (SRGANs). Then we have proceeded to establish a baseline pothole detection performance on low quality and high quality dashcam images using a You Only Look Once (YOLO) network, namely the YOLOv7 network. We then have illustrated and examined the speed and accuracy gained above the benchmark after having upscaling implementation on the low quality images.


title: Quadratic equations in the lamplighter group

abstract: In this paper we study complexity of solving quadratic equations in the lamplighter group. We give a complete classification of cases (depending on genus and other characteristics of a given equation) when the problem is $\mathbf{NP}$-complete or polynomial-time decidable. We notice that the conjugacy problem can be solved in linear time. Finally, we prove that the problem belongs to the class $\mathbf{XP}$.


title: Incremento del precio de los combustibles y su incidencia en los productos de la canasta basica del canton el triunfo, provincia del guayas

abstract: The objective of this research was to analyze the impact of the increase in the price of fuels and its incidence on the products of the basic basket of the El Triunfo, the province of Guayas. In the present study, the non-experimental quantitative method was used. The study population was limited to the families of the town, seeking to determine how their level of consumption was impacted after the increase in fuels. Just 95 people were randomly taken. The study instrument that was used was surveys, with a focus on the purchasing power of families with respect to the basic basket after the increase in fuel prices. The results were processed through Cronbach's Alpha and reflected in pie charts. The independent and dependent variable that make up our study, were related through a simple linear regression, to determine if they correlate with each other. Keywords: Fuels, Basic basket, Linear regression, Subsidies, Inflation