Research
On-device research index

arXiv research

A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.

169,051 papers · 148 categories

Trend · papers per month

0111 · Apr 199819922001200920182026
27 results for Isabelle/HOL

We present an original theorem in auction theory: it specifies general conditions under which the sum of the payments of all bidders is necessarily not identically zero, and more generally not constant. Moreover, it explicitly supplies a construction for a finite minimal set of possible bids on which such a sum is not …

2014-11-07abs ↗pdf ↗

The Hitchin flow constructs eight-dimensional Riemannian manifolds (M,g) with holonomy in Spin(7) starting with a cocalibrated G_2-structure on a seven-dimensional manifold. As Sp(2)\subseteq SU(4)\subseteq Spin(7), one may also obtain Calabi-Yau fourfolds or hyperKähler manifolds via the Hitchin flow. In this paper, w…

2016-12-20abs ↗pdf ↗

A holonomic space (V,H,L)(V,H,L) is a normed vector space, VV, a subgroup, HH, of Aut(V,)Aut(V, \|\cdot\|) and a group-norm, LL, with a convexity property. We prove that with the metric dL(u,v)=infaH{L2(a)+uav2}d_L(u,v)=\inf_{a\in H}\{\sqrt{L^2(a)+\|u-av\|^2}\}, VV is a metric space which is locally isometric to a Euclidean ball. Given a Sasaki-ty…

2010-04-09abs ↗pdf ↗

The pseudo-Riemannian manifold M=(M4n,g),n2M=(M^{4n},g), n \geq 2 is para-quaternionic K\" ahler if $hol(M) \subset sp(n, \RR) \oplus sp(1, \RR).$ If $hol(M) \subset sp(n, \RR),$ than the manifold MM is called para-hyperK\" ahler. The other possible definitions of these manifolds use certain parallel para-quaternionic structure…

2003-04-27abs ↗pdf ↗

A locally metric connection on a smooth manifold MM is a torsion-free connection DD on TMTM with compact restricted holonomy group Hol0(D)\mathrm{Hol}_0(D). If the holonomy representation of such a connection is irreducible, then DD preserves a conformal structure on MM. Under some natural geometric assumption on the li…

2009-07-18abs ↗pdf ↗

If the conformal holonomy group Hol(T)Hol(\mathcal{T}) of a simply connected space with conformal structure of signature (2p1,2q1)(2p-1,2q-1) is reduced to $\U(p,q)$ then the conformal holonomy is already contained in the special unitary group $\SU(p,q)$. We present two different proofs of this statement, one using conformal trac…

2006-04-18abs ↗pdf ↗

Study local topological constraints on Berry curvature in spin-orbit coupled Bose-Einstein condensates.

problem Understanding local topological obstructions to flattening Berry curvature in spin-orbit-coupled Bose-Einstein condensates.
method Adapting Pigazzini-Toda lower bound to Kaluza-Klein setting, analyzing harmonic part of torsion 3-form, and using exact pointwise curvature analysis.
result Obstruction kernel vanishes, preventing complete gauging-away of Berry phases even at zero net topological charge.

Study local equivalence of rigid 5D hypersurfaces in C^3, finding necessary and sufficient conditions for rigid biholomorphism.

problem Local equivalence problem for real-analytic rigid hypersurfaces in C^3.
method Cartan-type reduction to an appropriate {e}-structure, finding primary invariants.
result Identify necessary and sufficient condition for rigid biholomorphism using invariants.

There is a sequence of positive numbers δ2nδ_{2n}, such that for any connected 2n2n-dimensional Riemannian manifold MM, there are two mutually exclusive possibilities: 1)1) There is a complex structure on MM making it into a Kähler manifold, or 2)2) For any almost complex structure JJ compatible with the metric, at e…

2018-02-18abs ↗pdf ↗

Asymptotically cylindrical Ricci-flat manifolds play a key role in constructing Topological Quantum Field Theories. It is particularly important to understand their behavior at the cylindrical ends and the natural restrictions on the geometry. In this paper we show that an orientable, connected, asymptotically cylindri…

2004-10-04abs ↗pdf ↗

If the holonomy representation of an (n+2)(n+2)--dimensional simply-connected Lorentzian manifold (M,h)(M,h) admits a degenerate invariant subspace its holonomy group is contained in the parabolic group (R×SO(n))Rn(\mathbb{R} \times SO(n))\ltimes \mathbb{R}^n. The main ingredient of such a holonomy group is the SO(n)--projection $G:=…

2003-05-09abs ↗pdf ↗

Lean 4 formalizes Stokes' theorem for smooth singular cubes.

problem Formalizing Stokes' theorem for singular cubes in arbitrary dimensions.
method Using true differential-form pullback via Frechet derivative, bridging to mathlib4's extDeriv.
result d^2=0 for singular cubical chains, chain-level Stokes extended.

The holonomy group of an (n+2)-dimensional simply-connected, indecomposable but non-irreducible Lorentzian manifold (M,h) is contained in the parabolic group (R×SO(n))Rn(\mathbb{R} \times SO(n))\ltimes \mathbb{R}^n. The main ingredient of such a holonomy group is the SO(n)--projection G:=prSO(n)(Holp(M,h))G:=pr_{SO(n)}(Hol_p(M,h)) and one may ask…

2003-09-17abs ↗pdf ↗

For (M,[g])(M,[g]) a conformal manifold of signature (p,q)(p,q) and dimension at least three, the conformal holonomy group Hol(M,[g])O(p+1,q+1)\mathrm{Hol}(M,[g]) \subset O(p+1,q+1) is an invariant induced by the canonical Cartan geometry of (M,[g])(M,[g]). We give a description of all possible connected conformal holonomy groups which act transitiv…

2011-07-04abs ↗pdf ↗

We study Riemannian foliations whose transverse Levi-Civita connection \nabla has special holonomy. In particular, we focus on the case where Hol()Hol(\nabla) is contained either in SU(n) or in Sp(n). We prove a Weitzenbock formula involving complex basic forms on Kähler foliations and we apply this formula for pointing…

2013-06-21abs ↗pdf ↗

Study quantifies geometric complexity of connections on product surfaces.

problem Understanding geometric complexity of connections on product manifolds.
method Establishes a topological lower bound on the holonomy of cohomologically calibrated connections.
result Proves a bound on the dimension of the holonomy that is a topological invariant.

Let MM be a complete Ricci-flat Kahler manifold with one end and assume that this end converges at an exponential rate to [0,)×X[0,\infty) \times X for some compact connected Ricci-flat manifold XX. We begin by proving general structure theorems for MM; in particular we show that there is no loss of generality in assumi…

2012-12-31abs ↗pdf ↗

A classic theorem in the theory of connections on principal fiber bundles states that the evaluation of all holonomy functions gives enough information to characterize the bundle structure (among those sharing the same structure group and base manifold) and the connection up to a bundle equivalence map. This result and…

2011-01-20abs ↗pdf ↗

Let M1M_1 and M2M_2 be special Lagrangian submanifolds of a compact Calabi-Yau manifold XX that intersect transversely at a single point. We can then think of M1M2M_1\cup M_2 as a singular special Lagrangian submanifold of XX with a single isolated singularity. We investigate when we can regularize M1M2M_1\cup M_2 in the…

2003-03-18abs ↗pdf ↗

We give a differential-geometric construction of Calabi-Yau fourfolds by the `doubling' method, which was introduced in \cite{DY14} to construct Calabi-Yau threefolds. We also give examples of Calabi-Yau fourfolds from toric Fano fourfolds. Ingredients in our construction are \emph{admissible pairs}, which were first d…

2015-02-01abs ↗pdf ↗

We give a differential-geometric construction of compact manifolds with holonomy Spin(7)\mathrm{Spin}(7) which is based on Joyce's second construction of compact Spin(7)\mathrm{Spin}(7)-manifolds in \cite{Joyce00} and Kovalev's gluing construction of G2G_2-manifolds in \cite{Kovalev03}. We also give some examples of compact $\ma…

2015-05-19abs ↗pdf ↗