Oliva in Multidisciplinary Research

Updated 7 July 2026

Oliva is a multidisciplinary research marker representing diverse approaches in thermo-hydrodynamics, logic, gravity, algebraic geometry, and neural network verification.
Its contributions include advanced simulation methodologies like LBM–PIBM–DEM, novel interpretations in proof theory and substructural semantics, and innovative black hole models in three-dimensional gravity.
The name also denotes influential benchmarks and algorithmic frameworks in astrophysical disk fragmentation studies and neural network formal verification, highlighting its broad practical impact.

Searching arXiv for the provided ids and topic context to ground the article in current metadata. Oliva is a recurrent research name in the arXiv record, attached to several technically distinct lines of work rather than a single doctrine. In the cited literature it designates, among other things, Assensi Oliva’s work on lattice-Boltzmann-based thermo–hydro–mechanical coupling, Paulo Oliva’s role in selection functions and realizability interpretations of choice, the Lewis-Smith–Oliva–Robinson semantics for intuitionistic Łukasiewicz logic, the Oliva–Tempo–Troncoso black hole in three-dimensional gravity, and the later verification framework named “Oliva” for branch-and-bound ordering in neural-network certification (Zhang et al., 2015, Powell, 2014, Fussner, 2020, Blagojević et al., 2015, Zhang et al., 23 Jul 2025).

Area	Oliva-linked entity	Representative source
Thermofluid computation	Assensi Oliva; LBM–PIBM–DEM coupling	(Zhang et al., 2015)
Proof theory and realizability	Escardó–Oliva program; parametrised bar recursion	(Powell, 2014)
Substructural logic	Lewis-Smith–Oliva–Robinson semantics	(Fussner, 2020)
Three-dimensional gravity	Oliva–Tempo–Troncoso black hole	(Blagojević et al., 2015)
Neural-network verification	“Oliva” BaB-ordering framework	(Zhang et al., 23 Jul 2025)

1. Thermofluid simulation and the Assensi Oliva line

In computational heat transfer and CFD, Assensi Oliva appears in a line centered on efficient particle-resolved simulation of fluid–particle systems with thermal coupling. The most explicit arXiv representation is the extension of the particulate immersed boundary method to heat transfer, where the fluid flow and temperature fields are solved by a dual-distribution lattice Boltzmann method, the particle boundary conditions are enforced by the particulate immersed boundary method, and particle trajectories and collisions are handled by the discrete element method; the resulting scheme is denoted LBM–PIBM–DEM (Zhang et al., 2015).

The methodological architecture is specific. Momentum is represented by $f_\alpha$ , temperature by $g_\alpha$ , and the paper uses single-relaxation-time BGK LBM with D2Q9 in two dimensions and D3Q15 in three dimensions. PIBM interpolates the Eulerian distribution functions to each Lagrangian particle point, imposes non-slip velocity and thermal boundary conditions there, computes momentum exchange, and spreads the resulting force and heat source back to the Eulerian grid. DEM remains the mechanical contact model, with Hertzian normal force and Mindlin–Deresiewicz tangential force. Thermal buoyancy is incorporated in a Boussinesq framework through $Ra$ , $Pr$ , and forcing terms in the momentum equation (Zhang et al., 2015).

The case studies define the scope of this line. Verification is performed on natural convection in a two-dimensional square cavity with an isothermal concentric annulus, where average Nusselt numbers agree closely with earlier LBM, boundary-element, and finite-volume references. The same framework is then applied to sedimentation of two-dimensional and three-dimensional isothermal particles, and finally to three-dimensional thermosensitive particles with time-dependent particle temperatures. Across these examples, the paper emphasizes that thermal buoyancy qualitatively changes sedimentation by delaying settling, altering interface morphology, and modifying the internal flow topology (Zhang et al., 2015).

A second characteristic is computational efficiency. The earlier PIBM idea, recalled in the same paper, treats each Lagrangian point as an independent “small particle,” allowing particle diameters down to or below the lattice spacing and avoiding the many-boundary-point representation used in more traditional IBM variants. The paper states that thousands of three-dimensional particles can be simulated on modest resources, and positions the method for dynamic particulate thermal processes such as fluidization, hydrocyclones, and pneumatic conveying, while also noting a modeling limitation: only convective heat transfer is included, with no solid–solid or solid–wall conduction (Zhang et al., 2015).

2. Proof theory, realizability, and higher-order computation

A separate and mathematically unrelated use of the name is Paulo Oliva’s work in proof theory, higher-type computation, and game-theoretic interpretations of classical reasoning. In this line, selection functions and quantifiers are fundamental objects: $S_R(X)=(X\to R)\to\mathcal P(R)$ and $J_R(X)=(X\to R)\to X$ . Hedges’ generalization of the Escardó–Oliva program extends generalized sequential games to simultaneous-move games, defines generalized Nash equilibrium through unilateral maps and quantifier diagonals, proves a generalized Nash theorem for mixed-strategy equilibria of finite games, and gives a normal-form construction whose soundness identifies optimal strategies of a sequential game with generalized Nash equilibria of its simultaneous normal form (Hedges, 2013).

This line is also tied to realizability interpretations of classical dependent choice. The paper on parametrised bar recursion states that a wide range of realizability interpretations of classical analysis—Spector’s bar recursion, modified bar recursion, the Berardi–Bezem–Coquand functional, and the Escardó–Oliva products of selection functions—can be presented as instances of a single parametrised recursor $\Psi_{(\lhd,\prec,m)}$ . Its main theorem gives a uniform proof that, under structural conditions on $(\lhd,\prec,m)$ , the recursor realizes corresponding parametrised dependent choice principles. The paper explicitly names the soundness of products of selection functions of Escardó and Oliva as one of the corollaries of this framework (Powell, 2014).

A nearby branch replaces higher-type bar recursion by structural coinduction plus classical control. The 2026 work on the Infinite Pigeonhole Principle and Countable Choice situates itself directly next to Escardó–Oliva’s continuation-passing proofs in Agda, but uses coiteration and corecursion combined with callcc. Its claim is that mixing corecursion and control yields a computational interpretation of the Infinite Pigeonhole Principle and of countable choice in which termination is justified by coiteration alone, rather than by external termination arguments for general recursion (Ariola et al., 4 Mar 2026).

Another mathematical use of Oliva occurs in delay equations and stabilization of oscillations. The 2017 study of feedback control by a small resonant delay is written as a complement to earlier Fiedler–Oliva work. It analyzes a scalar delay equation with two delays and a Pyragas-type feedback term, proves that rapidly oscillating periodic branches of arbitrarily large unstable dimension can be stabilized by a delicately narrow interval $\mathcal P_k=(\underline b_k,\overline b_k)$ of negative control amplitudes, and derives explicit asymptotic expansions for those bounds as $k\to\infty$ (Fiedler et al., 2017).

Taken together, these works define an Oliva-associated mathematical cluster concerned with higher-order functionals, choice principles, oscillatory stabilization, and the extraction of computational content from proofs.

3. Substructural logics and the Lewis-Smith–Oliva–Robinson semantics

In mathematical logic, Oliva is also part of the Lewis-Smith–Oliva–Robinson semantics for intuitionistic Łukasiewicz logic. The relevant arXiv paper introduces a relational semantics based on poset products and shows that it unifies and generalizes two existing semantics: Aguzzoli–Bianchi–Marra’s temporal flow semantics for Hájek’s basic logic and the Lewis-Smith–Oliva–Robinson semantics for intuitionistic Łukasiewicz logic (Fussner, 2020).

The framework begins with a poset $g_\alpha$ 0 and a family of bounded commutative integral residuated lattices $g_\alpha$ 1. A conucleus $g_\alpha$ 2 on the direct product $g_\alpha$ 3 yields the poset product $g_\alpha$ 4. Elements of $g_\alpha$ 5 are characterized as ac-labelings: their nontrivial values occur on an antichain, the zeros form a down-set, and the ones form an up-set. A frame is then $g_\alpha$ 6, with $g_\alpha$ 7, and truth is evaluated by $g_\alpha$ 8 iff $g_\alpha$ 9, where implication is interpreted through the conucleus $Ra$ 0 (Fussner, 2020).

The paper identifies Bova–Montagna structures from Lewis-Smith, Oliva, and Robinson exactly with $Ra$ 1-valued frames, where every fiber $Ra$ 2 is isomorphic to the standard MV-algebra $Ra$ 3. Their “sloping functions” become ac-labelings in the poset product, and their forcing clause for implication coincides with the conuclear forcing relation of the general framework. Theorem 5.3(1)(a) states that the class of $Ra$ 4-valued frames is sound and complete for $Ra$ 5, which is presented there as the algebraic semantics of intuitionistic Łukasiewicz logic (Fussner, 2020).

The significance of this result is twofold. First, it reinterprets the earlier Oliva-linked semantics as an instance of a general algebraic construction rather than an isolated model theory. Second, it extends the same pattern to infinitely many further substructural logics, including $Ra$ 6, $Ra$ 7, $Ra$ 8, Heyting algebras, and Gödel algebras, through closure and embedding results for poset products (Fussner, 2020).

4. Three-dimensional gravity, black holes, and conformal structures

In gravitational physics, Oliva is prominently attached to the Oliva–Tempo–Troncoso black hole. A 2015 paper proves that the OTT black hole, originally a solution of Bergshoeff–Hohm–Townsend gravity, is also an exact vacuum solution of three-dimensional Poincaré gauge theory in the Riemannian sector. The central structural result is that a Riemannian solution of PGT is conformally flat iff $Ra$ 9, and any conformally flat solution of BHT gravity is also a Riemannian solution of PGT provided $Pr$ 0 together with $Pr$ 1 (Blagojević et al., 2015).

The paper treats both static and rotating OTT black holes. For the static case it gives the metric

$Pr$ 2

computes the Schouten 1-forms, verifies that the Cotton 2-forms vanish, and shows that the conserved charges derived from the Hamiltonian boundary term satisfy the first law. The energy is

$Pr$ 3

and the analysis yields $Pr$ 4 together with an entropy obtained from Cardy’s formula (Blagojević et al., 2015).

A later paper studies the near-horizon geometry of both static and stationary extremal OTT black holes and interprets the corresponding asymptotic symmetries as soft hair. For the rotating extremal case, the asymptotic symmetry is described by time reparametrization, a chiral Virasoro algebra, and a centrally extended $Pr$ 5 Kac–Moody algebra. In the static configuration the canonical generator is regular; in the rotating configuration the surface term is nontrivial and produces the central extension needed for the soft-hair analysis (Cvetković et al., 2018).

A further scalar–tensor development appears in the 2023 thesis on conformal renormalization. Its abstract states that the construction is guided by the extension of a covariant tensor under Weyl rescalings composed of the metric and the scalar field as proposed in Oliva and Ray (2011). The thesis claims that, although the Einstein–AdS sector breaks conformal symmetry, the entire theory can still be renormalized when the scalar field has appropriate asymptotic decay, and that black-hole-type solutions have finite Euclidean on-shell action in asymptotically anti-de Sitter spaces (Busnego-Barrientos, 2023).

5. Algebraic geometry, mirror symmetry, and Hodge-theoretic antecedents

A different Oliva appears in algebraic geometry as C. Oliva, cited in the paper on double solids, categories, and non-rationality. There the authors introduce Noether–Lefschetz spectra as an interplay between Orlov spectra and Hochschild homology and explicitly connect their discussion to C. Oliva’s work “Algebraic cycles and Hodge theory on generalized Reye congruences.” The connection is mediated by generalized Reye congruences, Enriques surfaces, and the geometry surrounding the Artin–Mumford quartic double solid (Iliev et al., 2011).

The paper’s own agenda is categorical rather than classical Hodge-theoretic. It constructs a sextic double solid with 35 nodes and torsion in $Pr$ 6, and then argues for a broader non-rationality picture using Landau–Ginzburg models, Homological Mirror Symmetry, and refined categorical invariants. In this setting, Noether–Lefschetz spectra are defined by taking graded ideals $Pr$ 7, forming the annihilator subcategory $Pr$ 8, and considering the Orlov spectrum of each such subcategory. The authors present this as a refinement of ordinary Orlov spectra precisely because the latter are too coarse to detect the subtle non-rationality phenomena associated with torsion and Enriques components (Iliev et al., 2011).

Oliva’s role here is therefore historical and conceptual rather than authorial. The paper treats C. Oliva’s Hodge-theoretic study of generalized Reye congruences as part of the classical geometric background from which a categorical and mirror-symmetric non-rationality program is built.

6. Later uses of the name: astrophysical benchmarking and neural-network verification

The name also appears in later literature as either a benchmark reference or an autonomous framework title. In massive-star formation, a 2023 RAMSES–PLUTO comparison takes as its reference the study of Oliva & Kuiper (2020) on disk fragmentation around a massive protostar. The comparison reproduces the same centrally condensed initial core, examines first disk formation, the accretion shock, and the first fragmentation phase, and reports good agreement between RAMSES and PLUTO for many collapse and fragmentation properties when a unique, central, fixed sink particle is used. It also concludes that fragmentation in the innermost region and numerical choices such as sink treatment and grid have a stronger impact on whether the outcome is multiple or centrally condensed than the code choice itself (Mignon-Risse et al., 2023).

In formal verification, “Oliva” is no longer a surname but the name of a framework. The 2025 paper “Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees” proposes Oliva as a framework that changes only the order in which branch-and-bound sub-problems are explored. It introduces an order over sub-problems according to their likelihood of containing counterexamples and defines two variants: $Pr$ 9, a greedy strategy, and $S_R(X)=(X\to R)\to\mathcal P(R)$ 0, a simulated-annealing-inspired strategy. The reported evaluation covers 690 verification problems over 5 models on MNIST and CIFAR10, with speedups of up to $S_R(X)=(X\to R)\to\mathcal P(R)$ 1 on MNIST and up to $S_R(X)=(X\to R)\to\mathcal P(R)$ 2 on CIFAR10 relative to state-of-the-art baselines (Zhang et al., 23 Jul 2025).

These later uses show that “Oliva” can function in at least three ways in technical literature: as an author surname identifying a research line, as part of an eponym such as OTT, and as the title of an algorithmic framework whose semantics is independent of any single person. The commonality is nominal rather than disciplinary; the underlying bodies of work remain separate in methods, objects, and communities.