The article classifies Engel structures up to homotopy.
problem Classifying Engel structures up to homotopy.
method Introduced the notion of a loose family of Engel structures and showed homotopy equivalence conditions.
result Two Engel structures are homotopic if and only if they are formally homotopic.
FCA2VEC embeds formal concept analysis data for large datasets.
problem Embedding formal concept analysis data for large datasets.
method Introducing fca2vec, a family of embedding techniques for formal concept analysis.
result Retrieves cover relation of a concept lattice from a computational feasible embedding.
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. We adapt continuous time random walk (CTRW) formalism to describe asset price evolution and discuss some of the problems that can be treated using this approach. We basically focus on two aspects: (i) the derivation of the price distribution from high-frequency data, and (ii) the inverse problem, obtaining information …
Method learns graph from data clusters using FCA.
problem Learning graph representation from multivariate data.
method Uses formal concept analysis (FCA) to extract hierarchical relationships between clusters.
result Empirically shows superior hierarchical structure extraction compared to baseline.
New biclustering algorithms for microarray data using Formal Concept Analysis.
problem Uncovering patterns in gene expression data matrices.
method Formal Concept Analysis and Association Rules.
result Promising results from proposed biclustering algorithms.
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.
In this paper, we consider formal series associated with events, profiles derived from events, and statistical models that make predictions about events. We prove theorems about realizations for these formal series using the language and tools of Hopf algebras.
This paper contains a generalization of the convex ideal case of the Thurston-Andreev theorem when the genus is greater than 1. The heart of the paper concerns taking formal angle data on a surface and ``conformally flowing'' this formal angle data to uniquely associated uniform angle data. This flow turns out to be th…
There is general consensus that learning representations is useful for a variety of reasons, e.g. efficient use of labeled data (semi-supervised learning), transfer learning and understanding hidden structure of data. Popular techniques for representation learning include clustering, manifold learning, kernel-learning,…
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.
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 apply the formalism of the continuous time random walk to the study of financial data. The entire distribution of prices can be obtained once two auxiliary densities are known. These are the probability densities for the pausing time between successive jumps and the corresponding probability density for the magnitud…
New framework for detecting data drift in continuous time.
problem Drift in data distribution over time.
method Probability theoretical framework for continuous time drift.
result New efficient drift detection method and decomposition of data.
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.
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.
Well-defined formal definitions for sentiment and opinion are extended to incorporate the necessary elements to provide a formal quantitative definition of reputation. This definition takes the form of a time-based index, in which each element is a function of a collection of opinions mined during a given time period. …
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.
Study of Bondi-Sachs formalism for massless scalar field with zero cosmological constant.
problem Analyzing the Bondi-Sachs formalism for Einstein's massless scalar field equations.
method Asymptotic expansions and peeling property for Bondi-Sachs metrics and scalar fields.
result Positivity of Bondi energy-momentum under specific conditions.
The isotropy action on certain symmetric spaces is shown to be equivariantly formal.
problem Understanding the equivariant formality of isotropy actions on symmetric spaces.
method Developed a new approach to prove equivariant formality for (Z2⊕Z2)-symmetric spaces. result Symmetric spaces with (Z2⊕Z2)-symmetry are equivariantly formal and formal in the Sullivan sense. Formalizes learning algorithm invariances using category theory.
problem Understanding and characterizing invariances in learning algorithms.
method Using category theory to define and formalize invariances of learning algorithms.
result Illustrated and contrasted the invariances of linear regression and ridge regression.
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.
In this work we study the properties of deep neural networks (DNN) with random weights. We formally prove that these networks perform a distance-preserving embedding of the data. Based on this we then draw conclusions on the size of the training data and the networks' structure. A longer version of this paper with more…
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.
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.
Paper formalizes analogy between data sets and models using Hoare logic.
problem Lack of formal criteria for transferring machine learning models between data domains.
method Formalization of analogy using first-order logic and Hoare logic, rigorous theorem proving.
result Rigorous formalization of analogy in knowledge transfer between machine learning models.
Solves characteristic problem in general relativity for null data.
problem Characteristic Cauchy problem in Einstein vacuum field equations.
method Abstract data formalism and tangential components of the ambient Ricci tensor.
result Formulates and solves the characteristic problem completely abstractly.
Formalizes concepts as latent variables in hierarchical models for high-dimensional data.
problem Lack of formalization and theoretical insights for learning discrete concepts from high-dimensional data.
method Formalizes concepts as latent causal variables in a hierarchical model, formulates conditions for concept identification.
result Conditions for identifying latent hierarchical models in unsupervised data, handling complex structures and high-dimensional data.
The paper formalizes criteria for non-spurious and disentangled representations using causal methods.
problem Formalizing criteria for non-spurious and disentangled representations in representation learning.
method Causal perspective, counterfactual quantities, observable consequences of causal assertions.
result Computable metrics for assessing representation learning based on observed data.
This work improves neural network robustness to symbol substitutions using formal verification.
problem Neural networks' vulnerability to adversarial attacks, especially under discrete text perturbations.
method Formal verification using Interval Bound Propagation on a simplex model of input perturbations.
result Models show improved verified accuracy under perturbations with formal guarantees.
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.
We formalize and verify double auctions for multiple-quantity trades.
problem Matching multiple-quantity trade requests in double auctions.
method Formalized algorithms, correctness proofs, Coq proof assistant, verified OCaml and Haskell programs.
result Automatic detection of violations in exchange systems.
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…
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.
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.
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.
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.
The paper examines geometric formality on specific surfaces under the Chern-Ricci flow.
problem Understanding geometric formality on class VII surfaces.
method Analysis of Chern-Ricci flow on specific surfaces.
result Evolution of geometric formality under the Chern-Ricci flow.
This paper is a tutorial on Formal Concept Analysis (FCA) and its applications. FCA is an applied branch of Lattice Theory, a mathematical discipline which enables formalisation of concepts as basic units of human thinking and analysing data in the object-attribute form. Originated in early 80s, during the last three d…
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 equivariant formality concepts solve the toral rank conjecture.
problem Toral rank conjecture and equivariant formality of actions.
method Rational homotopy theory, Hirsch-Brown models, A-infinity algebras.
result Actions with new properties satisfy the toral rank conjecture.
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.
New bounds on machine learning data leakage identified.
problem Machine Learning models can leak sensitive information.
method Formalized attack setups, derived universal bounds, studied mutual information.
result Connected attack success rate to generalization gap and mutual information.
We describe a canonical form for linear differential operators that are formally self-adjoint or formally skew-adjoint.
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.
Proves formal self-adjointness of certain differential operators.
problem Verifying conjectures about differential operators.
method Proving formal self-adjointness through mathematical proof.
result Proves two conjectures about differential operators.