arXiv research

Extends Fisher's Discriminant Analysis for interval-valued data.

Study finds limit points of bass notes on hyperbolic surfaces.

Paper develops new conformal prediction methods for sum or average of unknown labels.

INNs produce interval-valued uncertainty scores for DNNs.

In 1992, Reid asked whether hyperbolic 3-manifolds with the same geodesic length spectra are necessarily commensurable. While this is known to be true for arithmetic hyperbolic 3-manifolds, the non-arithmetic case is still open. Building towards a negative answer to this question, Futer and Millichap recently construct…

We describe an explicit semi-algebraic partition for the complement of a real hyperplane arrangement such that each piece is contractible and so that the pieces form a basis of Borel-Moore homology. We also give an explicit correspondence between the de Rham cohomology and the Borel-Moore homology.

The aim of this paper is to develop on the 1-jet space J^1(R,M^4) the Finsler-like geometry (in the sense of d-connection, d-torsions and d-curvatures) of the rheonomic Berwald-Moor metric. A natural geometrical gravitational field theory produced by the rheonomic Berwald-Moor metric is also constructed.

Describes the relationship between two spectral sequences and their joint refinement.

Geometrically studies Moore-Penrose inverse and polar decomposition continuity.

Survey and generalization of implosion and contraction in symplectic and hyperkähler geometry.

In this paper we parametrize the symmetry group of the n-dimensional Berwald-Moor metric. Some properties of this Lie group are studied, and its corresponding Lie algebra is computed.

In this paper we construct the differential equations of the stream lines that characterize plasma regarded as a non-isotropic medium geometrized by a jet rheonomic time-invariant Berwald-Moor metric. Section 1 contains historical notes regarding the Plasma Physics and its geometrical description. Section 2 analyzes th…

The paper proves properties of manifolds under certain conditions.

For a given cusped 3-manifold $M$ admitting an ideal triangulation, we describe a method to rigorously prove that either $M$ or a filling of $M$ admits a complete hyperbolic structure via verified computer calculations. Central to our method are an implementation of interval arithmetic and Krawczyk's Test. These techni…

We present an efficient technique, which allows to train classification networks which are verifiably robust against norm-bounded adversarial attacks. This framework is built upon the work of Gowal et al., who applies the interval arithmetic to bound the activations at each layer and keeps the prediction invariant to t…

Constructs hyper-Kähler models using Riemann-Hilbert problems.

Complete description of BNSR invariants for Lodha-Moore groups, proving finiteness properties.

New groups can't be fundamental groups of symplectic Calabi-Yau manifolds.

In this paper we expose on the dual 1-jet space J^{1*}(R,M^4) the distinguished (d-) Riemannian geometry (in the sense of d-connection, d-torsions, d-curvatures and some gravitational-like and electromagnetic-like geometrical models) for the (t,x)-conformal deformed Berwald-Moor Hamiltonian metric of order four.

Space exploration technology advances exponentially, consistent with Moore's and Wright's laws.

Shape-constrained symbolic regression improves model extrapolation with prior knowledge.

The aim of this paper is to develop on the 1-jet space J^1(R, M^n) the Finsler-like geometry (in the sense of distinguished (d-) connection, d-torsions, d-curvatures and some gravitational-like and electromagnetic-like geometrical models) attached to the (t,x)-conformal deformation of the Berwald-Moor metric.

New method certifies neural network function space norms from point evaluations.

The aim of this paper is to develop on the 1-jet space J^1(R,M^3) the Finsler-like geometry (in the sense of distinguished (d-) connection, d-torsions and d-curvatures) of the rheonomic Berwald-Moor metric of order three. Some natural geometrical field theories (gravitational and electromagnetic) produced by the preced…

We give an updated extended survey of results related to the celebrated unsolved generalized R. L. Moore problem. In particular, we address the problem of characterizing codimension one manifold factors, i.e. spaces $X$ having the property that $X \times \mathbb{R}$ is a topological manifold. A main part of the paper i…

We establish basic geometric and topological properties of Thurston's Master Teapot and the Thurston set for superattracting unimodal self-maps of intervals. In particular, the Master Teapot is connected, contains the unit cylinder, and its intersection with a set $\mathbb{D} \times \{c\}$ grows monotonically with $c$.…

Study spectral gaps in hyperbolic rational homology spheres.

The paper determines modular cohomotopy groups up to extensions using classical and unstable homotopy methods.

In this article we show that some of the recent results of Marino, Moore, and Peradze (math.DG/9812042, hep-th/9812055) -- in particular their conjecture that all closed, smooth four-manifolds with b_2^+ > 1 (and Seiberg-Witten simple type) are of `superconformal simple type' -- can be understood using a simple mathema…

We introduce a construction adding low-dimensional cells to a space that satisfies certain low-dimensional conditions; it preserves high-dimensional homology with appropriate coefficients. This includes as special cases Quillen's plus construction, Bousfield's integral homology localization, the existence of Moore spac…

Defines formal vertex laws related to Lie conformal algebras.

We prove that any compact four-manifold admits a Riemannian metric with negative isotropic curvature in the sense of Micallef and Moore.

Faces of quasi-arithmetic Coxeter polytopes are also quasi-arithmetic.

In this article, we investigate when the set of primitive geodesic lengths on a Riemannian manifold have arbitrarily long arithmetic progressions. We prove that in the space of negatively curved metrics, a metric having such arithmetic progressions is quite rare. We introduce almost arithmetic progressions, a coarsific…

Closed-form pricing method for multi-asset options.

Develops arithmetic PDE geometry concepts like curvature and cohomology.

New geometric invariant limits the number of semi-arithmetic groups.

The method and characteristics of several approaches to the pricing of discretely monitored arithmetic Asian options on stocks with discrete, absolute dividends are described. The contrast between method behaviors for options with an Asian tail and those with monitoring throughout their lifespan is emphasized. Rates of…

Course on arithmetic lattices at EPFL.

We show that a Moore space M(Z_m,1) is an absolute extensor for finite dimensional metrizable spaces of cohomological dimension dim_{Z_m} \leq 1.

Extending methods first used by Casson, we show how to verify a hyperbolic structure on a finite triangulation of a closed 3-manifold using interval arithmetic methods. A key ingredient is a new theoretical result (akin to a theorem by Neumann-Zagier and Moser for ideal triangulations upon which HIKMOT is based) showin…

Paper shows non-arithmetic surface with unique geometric property.

New classification of hyperbolic Coxeter prisms.

Arithmetic Dijkgraaf-Witten theory constructs analogues in Chern-Simons TQFT.

For each integer $N\geq 2$, Mariño and Moore defined generalized Donaldson invariants by the methods of quantum field theory, and made predictions about the values of these invariants. Subsequently, Kronheimer gave a rigorous definition of generalized Donaldson invariants using the moduli spaces of anti-self-dual conne…

In this article, we prove that every arithmetic locally symmetric orbifold of classical type without Euclidean or compact factors has arbitrarily long arithmetic progressions in its primitive length spectrum. Moreover, we show the stronger property that every primitive length occurs in arbitrarily long arithmetic progr…

New method constructs non-arithmetic hyperbolic orbifolds from complex arithmetic ball quotients.

We show that the non-arithmetic lattices in PO(n,1) of Belolipetsky and Thomson (2011), obtained as fundamental groups of closed hyperbolic manifolds with short systole, are quasi-arithmetic in the sense of Vinberg, and, by contrast, the well-known non-arithmetic lattices of Gromov and Piatetski-Shapiro are not quasi-a…