Large-scale SLAM remains challenging due to accumulated trajectory drift and the increasing computational cost of maintaining global consistency. Submap joining alleviates these issues by constructing locally consistent submaps and subsequently fusing them into a global map. However, existing occupancy-based submap joining methods operate on discrete grids, resulting in non-smooth gradients during optimization and neglecting the uncertainty associated with occupancy estimates. We propose the first continuous probabilistic submap joining framework that jointly optimizes submap poses and a global occupancy field in the latent log-odds space. The framework employs an information-preserving sparse Bayesian formulation that compresses raw occupancy observations into sufficient-statistic log-odds tuples while retaining the posterior information of the original observations. This yields closed-form predictive mean and variance estimates for occupancy mapping, which directly enable a submap joining formulation with analytical Jacobians, leading to more accurate submap joining and yielding a closed-form optimal global map upon pose convergence. Experiments on both simulated and large-scale
It is an immediate consequence of the ergodic structure theorem of Host and Kra that every factor of an ergodic $k$-step pro-nilsystem is again an ergodic $k$-step pro-nilsystem. It has remained open whether this fact can be proved independently of the structure theorem itself. In this note, we give such a proof. The key new ingredient is a local rigidity theorem for nilsystems: any ergodic self-joining sufficiently close to the diagonal joining is necessarily the graph joining of an automorphism. This rigidity result may be of independent interest. As an application, our proof of the factor-closure of pro-nilsystems combined with a result of Tao yields a new proof of the ergodic structure theorem of Host and Kra from the combinatorial inverse theorem of Green, Tao, and Ziegler for the Gowers norms on cyclic groups. We can also use our methods to establish an independent proof of the factor-closure property of topological pro-nilsystems, a fact that can also be derived from the topological structure theorem of Host, Kra, and Maass.
Joinings are fundamental global objects in ergodic theory, yet in compact metric models one naturally observes only finite orbit-distance patterns. We bridge this gap by introducing multi-particle distance arrays, which sample finite orbit segments and record their joint metric evolution. In the anchored fixed-model setting, this framework yields a purely finite-observable characterization of Furstenberg disjointness: two systems are disjoint if and only if all their anchored multi-orbit distance-array projections are independent. The structural engine behind this criterion is a marked and colored version of the Gromov--Vershik reconstruction principle for exchangeable arrays; unanchored arrays reconstruct the intrinsic twin-free quotient, while anchors recover the actual joining in a fixed model. To quantify this independence, we introduce Wasserstein dependence coefficients, establishing an all-order zero criterion for disjointness, and show that weak neighborhoods of the product joining always admit finite distance-array certificates. Examples from compact rotations, Bernoulli and reversible Markov shifts, common factors, Kronecker factors, and weak mixing demonstrate the strict
We introduce an optimal transport based approach for comparing undirected graphs with non-negative edge weights and general vertex labels, and we study connections between the resulting linear program and the graph isomorphism problem. Our approach is based on the notion of a joining of two graphs $G$ and $H$, which is a product graph that preserves their marginal structure. Given $G$ and $H$ and a vertex-based cost function $c$, the optimal graph joining (OGJ) problem finds a joining of $G$ and $H$ minimizing degree weighted cost. The OGJ problem can be written as a linear program with a convex polyhedral solution set. We establish several basic properties of the OGJ problem, and present theoretical results connecting the OGJ problem to the graph isomorphism problem. In particular, we examine a variety of conditions on graph families that are sufficient to ensure that for every pair of graphs $G$ and $H$ in the family (i) $G$ and $H$ are isomorphic if and only if their optimal joining cost is zero, and (ii) if $G$ and $H$ are isomorphic, the the extreme points of the solution set of the OGJ problem are deterministic joinings corresponding to the isomorphisms from $G$ to $H$.
Assistive mobility and manipulation platforms have received increasing attention as a means of restoring independence to individuals with disabilities. While effective for many basic activities of daily living (ADLs), a significant percentage of everyday tasks such as opening a jar, pouring a liquid, lifting a tray, or basic meal preparation, is fundamentally bimanual and remains out of reach for any single-arm system. Adding a second arm to a wheelchair is impractical, due to the additional power draw, cost, and the loss of space required for transfers and mobility. We instead propose a heterogeneous, on-demand bimanual system, in which a wheelchair-mounted anchor arm is joined when needed by a summoned mobile manipulator that serves as a complement arm. The central technical problem, which we call bimanual joining, is conditional: the anchor has already committed to a grasp, and the complement arm must choose where to stand and what to grasp to complete the task. We formulate bimanual joining as a three-phase decomposition (plan, drive, grasp) and show that a vision-language model (VLM), coupled with standard geometric tools, provides task-level knowledge sufficient to solve a re
This paper analyzes a two-product make-to-stock queueing system where a single production facility serves two customer classes with independent Poisson arrivals. Customers make strategic join-or-balk decisions without observing current inventory levels. The analysis establishes the existence and uniqueness of Nash equilibria in customer joining strategies for various inventory scenarios. Optimal base-stock levels are characterized from both profit-maximizing and welfare-maximizing perspectives, with closed-form expressions for key performance measures.
The rapid advancement of large language models (LLMs) has enabled significant strides in various fields. This paper introduces a novel approach to evaluate the effectiveness of LLM embeddings in the context of inherent geometric properties. We investigate the structural properties of these embeddings through three complementary metrics $δ$-hyperbolicity, Ultrametricity, and Neighbor Joining. $δ$-hyperbolicity, a measure derived from geometric group theory, quantifies how much a metric space deviates from being a tree-like structure. In contrast, ultrametricity characterizes strictly hierarchical structures where distances obey a strong triangle inequality. While Neighbor Joining quantifies how tree-like the distance relationships are, it does so specifically with respect to the tree reconstructed by the Neighbor Joining algorithm. By analyzing the embeddings generated by LLMs using these metrics, we uncover to what extent the embedding space reflects an underlying hierarchical or tree-like organization. Our findings reveal that LLM embeddings exhibit varying degrees of hyperbolicity and ultrametricity, which correlate with their performance in the underlying machine learning tasks.
The Neighbor Joining Algorithm is among the most fundamental algorithmic results in computational biology. However, its definition and correctness proof are not straightforward. In particular, ''the question ''what does the NJ method seek to do?'' has until recently proved somewhat elusive'' [Gascuel \& Steel, 2006]. While a rigorous mathematical analysis is now available, it is still considered somewhat hard to follow and its proof tedious at best. In this work, we present an alternative interpretation of the goal of the Neighbor Joining algorithm by proving that it chooses to merge the two taxa u and v that maximize the ''leaf-status'', that is, the sum of distances of all leaves to the unique u-v-path.
We study the class $Erg^\perp$ of automorphisms which are disjoint with all ergodic systems. We prove that the identities are the only multipliers of $Erg^\perp,$ that is, each automorphism whose every joining with an element of $Erg^{\perp}$ yields a system which is again an element of $Erg^{\perp}$, must be an identity. Despite this fact, we show that $Erg^\perp$ is closed by taking Cartesian products. Finally, we prove that there are non-identity elements in $Erg^\perp$ whose self-joinings always yield elements in $Erg^\perp$. This shows that there are non-trivial characteristic classes included in $Erg^\perp$.
The main contribution of this paper is a new submap joining based approach for solving large-scale Simultaneous Localization and Mapping (SLAM) problems. Each local submap is independently built using the local information through solving a small-scale SLAM; the joining of submaps mainly involves solving linear least squares and performing nonlinear coordinate transformations. Through approximating the local submap information as the state estimate and its corresponding information matrix, judiciously selecting the submap coordinate frames, and approximating the joining of a large number of submaps by joining only two maps at a time, either sequentially or in a more efficient Divide and Conquer manner, the nonlinear optimization process involved in most of the existing submap joining approaches is avoided. Thus the proposed submap joining algorithm does not require initial guess or iterations since linear least squares problems have closed-form solutions. The proposed Linear SLAM technique is applicable to feature-based SLAM, pose graph SLAM and D-SLAM, in both two and three dimensions, and does not require any assumption on the character of the covariance matrices. Simulations and
In this paper, we consider the dynamics of charge imbalance resolved negativity after a local joining quench in the 1 + 1 dimensional free complex boson CFT. In the first part, we study the local joining quench by applying conformal maps, obtaining analytical universal results. We first calculate the quench dynamics of charged logarithmic negativity. Then using the Fourier transformation, we obtain the charge imbalance resolved negativity. The total negativity can be recovered from the charge-resolved ones. In the second part, we test our CFT predictions against the underlying lattice model numerically. Finally, we explain our results based on the quasi-particle picture.
This text is written based on the author's publications during the period from 1991 to 2001. The work is devoted to the theory of Markov intertwining operators and joinings of measure-preserving group actions, as well as to their applications to study asymptotic properties of dynamical systems. Special attention is paid to Rokhlin's problems on multiple mixing and multiple spectrum. The development of these topics over the past twenty years has not been discussed. In fact many results on joinings have frozen in time, many questions have remained open without losing their relevance, but probably have ceased to excite interest due to difficulties. For example, it is not known whether the minimal self-joinings of order 2 imply all orders? Is there a non-trivial pairwise independent joining for a weakly mixing system of zero entropy? What can be said about such joinings for transformations with small local rank? These questions are ripe for a long time, and the author reminds the reader about them, combining his story with numerous partial and related results.
Since their introduction by Furstenberg in 1967, joinings have proved a very powerful tool in ergodic theory. We present here some aspects of the use of joinings in the study of measurable dynamical systems, emphasizing on - the links between the existence of a non trivial common factor and the existence of a joining which is not the product measure, - how joinings can be employed to provide elegant proofs of classical results, - how joinings are involved in important questions of ergodic theory, such as pointwise convergence or Rohlin's multiple mixing problem.
We compute the pseudo entropy in two-dimensional holographic and free Dirac fermion CFTs for excited states under joining local quenches. Our analysis reveals two of its characteristic properties that are missing in the conventional entanglement entropy. One is that, under time evolution, the pseudo entropy exhibits a dip behavior as the excitations propagate from the joined point to the boundaries of the subsystem. The other is that the excess of pseudo entropy over entanglement entropy can be positive in holographic CFTs, whereas it is always non-positive in free Dirac fermion CFTs. We argue that the entropy excess can serve as a measure of multi-partite entanglement. Its positivity implies that the vacuum state in holographic CFTs possesses multi-partite entanglement, in contrast to free Dirac fermion CFTs.
We show that typical extensions of ergodic systems inherit the triviality of pairwise independent self-joinings. This property (introduced by A. del Junco and D. Rudolph) is related with Rokhlin's famous multiple mixing problem and several questions from joining theory.
Let $G$ be a connected nilpotent Lie group. Given probability-preserving $G$-actions $(X_i,Σ_i,μ_i,u_i)$, $i=0,1,...,k$, and also polynomial maps $φ_i:\mathbb{R}\to G$, $i=1,...,k$, we consider the trajectory of a joining $λ$ of the systems $(X_i,Σ_i,μ_i,u_i)$ under the `off-diagonal' flow \[(t,(x_0,x_1,x_2,...,x_k))\mapsto (x_0,u_1^{φ_1(t)}x_1,u_2^{φ_2(t)}x_2,...,u_k^{φ_k(t)}x_k).\] It is proved that any joining $λ$ is equidistributed under this flow with respect to some limit joining $λ'$. This is deduced from the stronger fact of norm convergence for a system of multiple ergodic averages, related to those arising in Furstenberg's approach to the study of multiple recurrence. It is also shown that the limit joining $λ'$ is invariant under the subgroup of $G^{k+1}$ generated by the image of the off-diagonal flow, in addition to the diagonal subgroup.
The expressiveness of communication primitives has been explored in a common framework based on the pi-calculus by considering four features: synchronism (asynchronous vs synchronous), arity (monadic vs polyadic data), communication medium (shared dataspaces vs channel-based), and pattern-matching (binding to a name vs testing name equality vs intensionality). Here another dimension coordination is considered that accounts for the number of processes required for an interaction to occur. Coordination generalises binary languages such as pi-calculus to joining languages that combine inputs such as the Join Calculus and general rendezvous calculus. By means of possibility/impossibility of encodings, this paper shows coordination is unrelated to the other features. That is, joining languages are more expressive than binary languages, and no combination of the other features can encode a joining language into a binary language. Further, joining is not able to encode any of the other features unless they could be encoded otherwise.
Joinings of C*-dynamical systems are defined in terms of free products of C*-algebras, as an analogue of joinings of classical dynamical systems. We then consider disjointness in this context, in particular for ergodic versus identity systems. Lastly we show how multi-time correlation functions appearing in quantum statistical mechanics naturally fit into this joining framework.
A photonic process named as "quantum state joining" has been recently experimentally demonstrated [C. Vitelli et al., Nature Photon. 7, 521 (2013)] that corresponds to the transfer of the internal two-dimensional quantum states of two input photons, i.e., two photonic qubits, into the four-dimensional quantum state of a single photon, i.e., a photonic ququart. A scheme for the inverse process, namely "quantum state splitting", has also been theoretically proposed. Both processes can be iterated in a cascaded layout, to obtain the joining and/or splitting of more than two qubits, thus leading to a general scheme for varying the number of photons in the system while preserving its total quantum state, or quantum information content. Here, we revisit these processes from a theoretical point of view. After casting the theory of the joining and splitting processes in the more general photon occupation number notation, we introduce some modified schemes that are in principle unitary (not considering the implementation of the CNOT gates) and do not require projection and feed-forward steps. This can be particularly important in the quantum state splitting case, to obtain a scheme that doe
Integrating unstructured data into relational database systems is increasingly important as demand grows for natural language querying and analysis. A semantic join, joining two tables under a natural-language predicate, can be evaluated with a large language model (LLM), but comparing every pair of tuples requires O(M x N) LLM invocations and is cost-prohibitive at scale. Existing systems reduce this cost but typically commit to a single fixed strategy (e.g., embedding similarity or one batched scheme) regardless of the data or the join predicate. We propose an LLM-agent-based decision pipeline that optimizes semantic joins by matching the execution strategy to the characteristics of the underlying tables. An LLM advisor routes each join to one of two strategies: a Cluster Join, which prunes candidates via unsupervised embedding clustering and sample-based filtering, or a Classifier strategy for predicates that reduce to a shared discrete label set. Across three diverse datasets (IMDb reviews, email contradictions, and Stack Overflow tags), the advisor consistently identifies the optimal execution strategy for each workload. This dynamic routing proves decisive: it outperforms ada