arXiv subjects

Manuel Barros

Publications and source records attributed to Manuel Barros.

7 recordsLinked to original sources

arXiv2026

GitLake: Git-for-data for the agentic lakehouse

We present GitLake, a Git-for-data design for an agent-first lakehouse. The system lifts single-table Iceberg snapshots into lakehouse-wide commits, branches, and merges, letting agents work on isolated branches while humans review and publish changes. Pipelines run on temporary branches and publish through a final merge, so all outputs become visible atomically or none do. Finally, we report production lessons as well as correctness insights from a preliminary Alloy model of our core abstractions.

cs.DB↗

arXiv2026

Reasoning about Transactional Isolation Levels with Isolde

Most databases can be configured to operate under isolation levels weaker than serializability. These enforce fewer restrictions on the concurrent access to data and consequently allow for more performant implementations. While formal frameworks for rigorously specifying isolation levels exist, reasoning about the semantic differences between specifications remains notoriously difficult. This paper proposes a tool -- Isolde -- that can automatically generate examples that are allowed by an isolation level but disallowed by another. This simple primitive unlocks a range of useful reasoning tasks, including checking equivalence between definitions, and verifying (by refutation) subtle semantic properties of isolation levels. For example, Isolde allowed us to easily and automatically reproduce a famously elusive result from the literature and to discover a previously unknown bug in the alternative specification of a standard isolation level used in a state-of-the-art isolation checker.

cs.DB↗

arXiv2026

Building a Correct-by-Design Lakehouse. Data Contracts, Versioning, and Transactional Pipelines for Humans and Agents

Lakehouses are now the default substrate for analytics and AI, but they remain fragile under concurrent, untrusted change: schema mismatches often surface only at runtime, development and production easily diverge, and multi-table pipelines can expose partial results after failure. We present Bauplan, a code-first lakehouse that aims to eliminate a broad class of these failures by construction. Bauplan builds on a storage substrate that already provides atomic single-table snapshot evolution, and adds three pipeline-level correctness mechanisms: typed table contracts to make transformation boundaries checkable, Git-like data versioning to support reproducible collaboration and review, and transactional runs that guarantee atomic publication of an entire pipeline execution. We describe the system design, show how these abstractions fit together into a unified programming model for humans and agents, and report early results from a lightweight Alloy model that both validates key intuitions and exposes subtle counterexamples around transactional branch visibility. Our experience suggests that correctness in the lakehouse is best addressed not by patching failures after the fact, but by restricting the programming model so that many illegal states become unrepresentable.

cs.DC↗

arXiv2008

Rotational Surfaces in $\mathbb{L}^3$ and Solutions in the Nonlinear Sigma Model

The Gauss map of non-degenerate surfaces in the three-dimensional Minkowski space are viewed as dynamical fields of the two-dimensional O(2,1) Nonlinear Sigma Model. In this setting, the moduli space of solutions with rotational symmetry is completely determined. Essentially, the solutions are warped products of orbits of the 1-dimensional groups of isometries and elastic curves in either a de Sitter plane, a hyperbolic plane or an anti de Sitter plane. The main tools are the equivalence of the two-dimensional O(2,1) Nonlinear Sigma Model and the Willmore problem, and the description of the surfaces with rotational symmetry. A complete classification of such surfaces is obtained in this paper. Indeed, a huge new family of Lorentzian rotational surfaces with a space-like axis is presented. The description of this new class of surfaces is based on a technique of surgery and a gluing process, which is illustrated by an algorithm.

math-ph↗

arXiv2004

The Gauss-Landau-Hall problem on Riemannian surfaces

We introduce the notion of Gauss-Landau-Hall magnetic field on a Riemannian surface. The corresponding Landau-Hall problem is shown to be equivalent to the dynamics of a massive boson. This allows one to view that problem as a globally stated, variational one. In this framework, flowlines appear as critical points of an action with density depending on the proper acceleration. Moreover, we can study global stability of flowlines. In this equivalence, the massless particle model correspond with a limit case obtained when the force of the Gauss-Landau-Hall increases arbitrarily. We also obtain new properties related with the completeness of flowlines for a general magnetic fields. The paper also contains new results relative to the Landau-Hall problem associated with a uniform magnetic field. For example, we characterize those revolution surfaces whose parallels are all normal flowlines of a uniform magnetic field.

math-ph↗

arXiv2003

Models of relativistic particle with curvature and torsion revisited

Models, describing relativistic particles, where Lagrangian densities depend linearly on both the curvature and the torsion of the trajectories, are revisited in D=3 space forms. The moduli spaces of trajectories are completely and explicitly determined using the Lancret program. The moduli subspaces of closed solitons in the three sphere are also determined.

hep-th↗

arXiv2002

A Geometric Algorithm to construct new solitons in the O(3) Nonlinear Sigma Model

The O(3) nonlinear sigma model with boundary, in dimension two, is considered. An algorithm to determine all its soliton solutions that preserve a rotational symmetry in the boundary is exhibited. This nonlinear problem is reduced to that of clamped elastica in a hyperbolic plane. These solutions carry topological charges that can be holographically determined from the boundary conditions. As a limiting case, we give a wide family of new soliton solutions in the free O(3) nonlinear sigma model.

hep-th↗