Formal methods verify continuous auctions at exchanges.
problem Ensuring fairness and correctness in continuous auctions.
method Formal specification, design, and verification of continuous double auctions.
result A verified algorithm satisfies natural properties of auctions.
Formal manifolds with non-negative Ricci curvature have formal covers.
problem Formality of manifolds with non-negative Ricci curvature.
method Study of universal covers and formal properties.
result Closed non-orientable manifolds with non-negative Ricci curvature are formal.
ViTaX provides formal guarantees for targeted explanations in safety-critical systems.
problem Need trustworthy explanations for safety-critical deep neural networks.
method Formal reachability analysis for targeted, semifactual explanations.
result First method to provide formally guaranteed explanations of model resilience.
Non-formal G2 manifold found with holonomy.
problem Existence of non-formal G2 manifolds.
method Construction method of compact torsion-free G2 manifolds.
result Found a compact, simply connected G2 manifold that is non-formal.
Two cross caps in Euclidean 3-space are said to be formally isometric if their Taylor expansions of the first fundamental forms coincide by taking a suitable local coordinate system. For a given C∞ cross cap f, we give a method to find all cross caps which are formally isometric to f. As an application, w…
This paper explores formal verification for autonomous systems, identifying limitations and proposing improvements.
problem Ensuring safety of autonomous systems like self-driving cars and drones.
method Formal verification techniques based on formal methods, analyzing three assumptions and their limitations.
result Preliminary work to improve the strength of evidence provided by formal verification.
A conjecture of Hirschowitz's predicts that a globally generated vector bundle W on a compact complex manifold A satisfies the formal principle, i.e., the formal neighborhood of its zero section determines the germ of neighborhoods in the underlying complex manifold of the vector bundle W. By applying Cartan's eq…
Paper applies Newman-Penrose formalism to ACM manifolds.
problem Classifying compact ACM manifolds with η-Einstein metrics. method Newman-Penrose formalism applied to ACM manifolds.
result Classification of compact ACM manifolds with η-Einstein metrics. Paper formalizes multi-dimensional FSD using geometric methods.
problem Complex measure theory and calculus barriers to formalization in proof assistants.
method Geometric framework for first-order stochastic dominance in N dimensions.
result Geometric approach bypasses complex integration theory for direct comparison of survival probabilities.
The paper explores connections between braids, links, and cobordisms using algebraic methods.
problem Investigating functions on manifolds and their connections to braids, links, and cobordisms.
method Algebraic methods including group theory, sheaves, and formal groups.
result Constructs Lazard's one-dimensional universal commutative formal group and applies it to cobordism theory.
Study of nonlinear PDEs using derived geometry and BV formalism.
problem Understanding non-linear PDEs via derived geometric methods.
method Derived enhancement of de Rham complex, algebro-geometric techniques, BV formalism.
result Natural derived enhancement of de Rham complex for nonlinear PDEs.
Compact non-formal G2 manifold with b1=1.
problem Constructing a compact manifold with specific properties.
method Developed a method of resolution for orbifolds.
result First Betti number b1=1 for a compact non-formal G2 manifold. We introduce a method to resolve a symplectic orbifold into a smooth symplectic manifold. Then we study how the formality and the Lefschetz property of the symplectic resolution are compared with that of the symplectic orbifold. We also study the formality of the symplectic blow-up of a symplectic orbifold along symple…
The article confirms Joyce's examples of G2-holonomy are formal spaces.
problem Formality of special holonomy manifolds and nearly Kähler manifolds.
method Analyzing rational homotopy theory and cohomology algebra.
result Joyce's examples of G2-holonomy are formal spaces.
Establishes Poincaré's lemma for formal manifolds.
problem Developing smooth relative Lie algebra homologies and cohomologies.
method Theory of formal manifolds and formal Lie groups.
result Poincaré's lemma for de Rham complexes with formal functions and generalized functions.
In this paper we study some properties of almost abelian solvmanifolds using minimal models associated to a fibration. In particular we state a necessary and sufficient condition to formality and a method for finding symplectic strucures of this kind of solvmanifolds.
Survey on finite dimensional Lie groups over real numbers.
problem Lack of rigorous proofs for Lie groups using tangent space formalism.
method Formalism of tangent space via chart and vector methods, curve and derivation methods.
result Rigorous proofs of Lie groups facts with this formalism.
Foundations laid for formal manifolds in differential geometry.
problem No specific problem stated; focuses on formal manifolds.
method Introducing formal manifolds, developing their theory, and proving finite products.
result Established a fully faithful contravariant functor and finite products in the category of formal manifolds.
We investigate some topological properties, in particular formality, of compact Sasakian manifolds. Answering some questions raised by Boyer and Galicki, we prove that all higher (than three) Massey products on any compact Sasakian manifold vanish. Hence, higher Massey products do obstruct Sasakian structures. Using th…
Explores local structure of morphisms and formal submanifolds in formal manifolds theory.
problem Understanding the local structure of morphisms and formal submanifolds in formal manifolds.
method Study of formal manifolds, including local structure of constant rank morphisms and formal submanifolds.
result Developed the local structure of constant rank morphisms and formal submanifolds.
Study non-formal pseudo-differential operators over formal ones.
problem Understanding structure of non-formal pseudo-differential operators.
method Diffeological principal bundles, smoothing connections.
result Structure of diffeological bundle of non-formal pseudo-differential operators over formal ones.
New method learns policies from past data.
problem Learning decision policies from experience.
method Fully Probabilistic Design (FPD) formalism for stochastic policy finding.
result Proposes a new approach for policy learning.
Generalizes embedding formalism for CFTs on curved backgrounds.
problem Capturing CFTs on curved backgrounds and non-trivial states.
method Using ambient metric and geometric invariants of the ambient space.
result Exact agreement with holographic computations and thermal OPEs.
The loop invariants of Dimofte-Garoufalidis is a formal power series with arithmetically interesting coefficients that conjecturally appears in the asymptotics of the Kashaev invariant of a knot to all orders in 1/N. We develop methods implemented in SnapPy that compute the first 6 coefficients of the formal power se…
Strong formal properties for toric and homogeneous Kähler manifolds.
problem Understanding formal properties of Kähler manifolds.
method Analyzing rationally and strongly formal properties of toric and homogeneous Kähler manifolds.
result Toric and homogeneous Kähler manifolds are both rationally and strongly formal.
We present a novel method that can learn a graph representation from multivariate data. In our representation, each node represents a cluster of data points and each edge represents the subset-superset relationship between clusters, which can be mutually overlapped. The key to our method is to use formal concept analys…
In the first part of this paper we study geometric formality for generalized flag manifolds, including full flag manifolds of exceptional Lie groups. In the second part we deal with the problem of the classification of invariant almost complex structures on generalized flag manifolds using topological methods.
A metric is formal if all products of harmonic forms are again harmonic. The existence of a formal metric implies Sullivan formality of the manifold, and hence formal metrics can exist only in presence of a very restricted topology. We show that a warped product metric is formal if and only if the warping function is c…
The study shows strong formality in certain complex manifolds.
problem Investigating strong formality in complex manifolds.
method Adapting s-strong formality from Fernandez and Muñoz to the pluripotential setting. result Compact Kähler manifolds and generalized complete intersections are strongly formal.
Compact symmetric spaces are probably one of the most prominent class of formal spaces, i.e. of spaces where the rational homotopy type is a formal consequence of the rational cohomology algebra. As a generalisation, it is even known that their isotropy action is equivariantly formal. In this article we show that $(\ma…
New hierarchies derived from KP hierarchy using non-formal operators and Yang-Mills action.
problem Formal solutions of KP hierarchy and their non-formal counterparts.
method Developed new hierarchies of non-linear equations on non-formal pseudo-differential operators.
result Expressed one hierarchy as Yang-Mills action minimization.
In the Batalin-Vilkovisky formalism, gauge conditions are expressed as Lagrangian submanifolds in the space of fields and antifields. We discuss a way of patching together gauge conditions over different parts of the space of fields, and apply this method to extend the light-cone gauge for the superparticle to a conic …
New method linearizes Darboux transformations of discrete curves.
problem Linearizing Darboux transformations of discrete curves.
method Expressing Darboux transformations as parallel sections of discrete connections in quaternionic formalism.
result Closed-form discrete parametrisations of all Darboux transforms and bicycle correspondences.
Extended equivariant BV formalism to manifolds with boundaries.
problem Handling manifolds with boundaries in equivariant BV formalism.
method Extension of AKSZ theories to manifolds with boundaries.
result Successfully applied to manifolds with boundaries.
We define the notion of a formal connection for a smooth family of star products with fixed underlying symplectic structure. Such a formal connection allows one to relate star products at different points in the family. This generalizes the formal Hitchin connection introduced by the first author. We establish a necess…
Defines formal exponentials for graded manifolds and linearizes QP-manifolds.
problem Formal exponentials and linearizations of QP-manifolds.
method Definition of formal exponential maps, Grothendieck connections, and connections on tangent bundles.
result Linearizes QP-manifolds at points, giving formal tangent spaces L∞-algebra structures. Formality of Dolbeault DGAs on complex nilmanifolds restricted to tori.
problem Determining when Dolbeault DGAs on complex nilmanifolds are formal.
method Using quasi-isomorphisms and cohomology connections, proving formality conditions.
result Formality of Dolbeault DGAs on complex nilmanifolds is restricted to tori.
Efficiently certifies global robustness of large neural networks with probabilistic guarantees.
problem Certifying robustness of large neural networks in a scalable and efficient manner.
method Sampling an ε-net and invoking a local robustness oracle.
result Certifies a probabilistic relaxation of robustness efficiently and globally.
Study on geometrically formal metrics on complex manifolds.
problem Existence and properties of geometrically formal metrics on complex manifolds.
method Topological and cohomological obstructions, detailed analysis for specific manifolds, and metric constructions.
result Existence and non-existence conditions for geometrically formal metrics on various complex manifolds.
Paper defines XAI concepts using category theory.
problem Lack of precise mathematical definitions for XAI.
method Uses Category theory to define XAI concepts rigorously.
result Establishes a theoretical foundation for XAI.
Research on formality problem for special holonomy manifolds.
problem Formality problem for manifolds with special holonomy.
method Using intersection Massey products to establish formality.
result Recent results on formality of Joyce's G_2-manifolds.
Defines formal vertex laws related to Lie conformal algebras.
problem No specific problem stated; focuses on definitions and proofs.
method Definitions and proofs of vertex/conformal versions of classical Lie theory results.
result Proves vertex/conformal versions of important Lie theory results.
Deform quantization recovers scalar curvature in complex structures.
problem Recovering scalar curvature in complex structures.
method Formal moment map construction on almost complex structures.
result Formal moment map deforms scalar curvature moment map in integrable cases.
New method unifies and formalizes data partitioning using a single vector.
problem Data partitioning and clustering methods.
method Rank-one matrix factorization and denoising of piecewise constant signals.
result Demonstrates robustness of denoising step in partitioning.
We describe a canonical form for linear differential operators that are formally self-adjoint or formally skew-adjoint.
For several classes of second order dispersionless PDEs, we show that the symbols of their formal linearizations define conformal structures which must be Einstein-Weyl in 3D (or self-dual in 4D) if and only if the PDE is integrable by the method of hydrodynamic reductions. This demonstrates that the integrability of t…
There are solved standard problems related to Formal (Holomorphic) Segre preserving Mappings of non-trivial Real-Formal Hypersurfaces in C2.
Derives localization formulas in Batalin-Vilkovisky formalism.
problem Localization in Batalin-Vilkovisky formalism.
method Equivariant localization formulas in Batalin-Vilkovisky formalism.
result Derives localization formulas in Batalin-Vilkovisky formalism.