arXiv research

Mining association rules is an important technique for discovering meaningful patterns in transaction databases. Many different measures of interestingness have been proposed for association rules. However, these measures fail to take the probabilistic properties of the mined data into account. In this paper, we start …

Statistical relational models provide compact encodings of probabilistic dependencies in relational domains, but result in highly intractable graphical models. The goal of lifted inference is to carry out probabilistic inference without needing to reason about each individual separately, by instead treating exchangeabl…

SOBER framework optimizes Bayesian optimization tasks efficiently.

We analyze variational inference for highly symmetric graphical models such as those arising from first-order probabilistic models. We first show that for these graphical models, the tree-reweighted variational objective lends itself to a compact lifted formulation which can be solved much more efficiently than the sta…

A variety of lifted inference algorithms, which exploit model symmetry to reduce computational cost, have been proposed to render inference tractable in probabilistic relational models. Most existing lifted inference algorithms operate only over discrete domains or continuous domains with restricted potential functions…

Invariance principle proved for lifted geodesic walks on Riemannian submersions.

Using the theory of group action, we first introduce the concept of the automorphism group of an exponential family or a graphical model, thus formalizing the general notion of symmetry of a probabilistic model. This automorphism group provides a precise mathematical framework for lifted inference in the general expone…

Evaluation often aims to reduce the correctness or error characteristics of a system down to a single number, but that always involves trade-offs. Another way of dealing with this is to quote two numbers, such as Recall and Precision, or Sensitivity and Specificity. But it can also be useful to see more than this, and …

We evaluate the impact of probabilistically-constructed digital identity data collected from Sep. to Dec. 2017 (approx.), in the context of Lookalike-targeted campaigns. The backbone of this study is a large set of probabilistically-constructed "identities", represented as small bags of cookies and mobile ad identifier…

New framework for probabilistic linear solvers reduces manual effort.

Existence and rigidity results for lifts in Carnot groups.

We introduce an algorithm for model-based hierarchical reinforcement learning to acquire self-contained transition and reward models suitable for probabilistic planning at multiple levels of abstraction. We call this framework Planning with Abstract Learned Models (PALM). By representing subtasks symbolically using a n…

Study lift metrics and connections on tangent bundles of Riemannian manifolds.

In this paper, we define a complete lift for semisprays. If $S$ is a semispray on a manifold $M$, its complete lift is a new semispray $S^c$ on $TM$. The motivation for this lift is two-fold: First, geodesics for $S^c$ correspond to the Jacobi fields for $S$, and second, this complete lift generalizes and unifies previ…

Unified approach to constructing integrable systems using Stäckel lifts.

Markov logic networks (MLNs) reconcile two opposing schools in machine learning and artificial intelligence: causal networks, which account for uncertainty extremely well, and first-order logic, which allows for formal deduction. An MLN is essentially a first-order logic template to generate Markov networks. Inference …

Geometric structures are lifted to higher tangent bundles preserving statistical properties.

The article classifies liftings of connections on differential manifolds for geodesic modeling.

Maps can be embedded in higher dimensions if they lift to embeddings in product spaces.

In the present paper, we study complete and vertical lifts of tensor fields from a smooth manifold $M$ to its Weil bundle $T^A M$ defined by a Frobenius Weil algebra $A$. For a Poisson manifold $(M,w)$, we show that the complete lift $w^C$ and the vertical lift $w^V$ of the Poisson tensor $w$ are Poisson tensors on $T^…

In this paper we continue to study equivariant pencil liftings and differential operators on the algebra of densities. We emphasize the role that the geometry of the extended manifold plays. Firstly we consider basic examples. We give a projective line of diff($M$)-equivariant pencil liftings for first order operators,…

Study covers of sphere with homeomorphisms lifting property.

The canonical trace and the Wodzicki residue on classical pseudodifferential operators on a closed manifold are characterised by their locality and shown to be preserved under lifting to the universal covering as a result of their local feature. As a consequence, we lift a class of spectral $ζ$-invariants using lifted …

The paper constructs Sasakian lifts from Kähler manifolds and studies their properties.

New quantum code lacks sparse lift.

Criteria for lifting manifold diffeomorphisms to vector bundle automorphisms.

Simple lifts of non-simple curves on surfaces.

This paper extends braid lifting to coloured braid groupoids for all simple disc covers.

We construct some lift of an almost complex structure to the cotangent bundle, using a connection on the base manifold. This generalizes the complete lift defined by I.Sato and the horizontal lift introduced by K.Yano and S.Ishihara. We study some geometric properties of this lift and its compatibility with symplectic …

Proves harmonicity equivalence on manifold metrics.

In Finsler geometry the complete lift vector fields have distinguished geometric significance. For example a vector field on a Finsler manifold is said to be conformal if its complete lift is conformal in usual sense. In this work we define a new Riemannian or Pseudo-Riemannian metric on TM derived from a Finsler metri…

The Eisenhart lift connects Hamiltonian systems to geodesics in pp-wave spacetimes.

Survey of twistor lifts of surfaces in 4-dimensional spaces.

Study of lifting maps in branched covers of 3-manifolds, showing non-injectivity.

In studies of smooth maps with good differential topological conditions such as immersions, embeddings, Morse functions and their higher dimensional versions including fold maps and application to geometry, especially algebraic and differential topology of manifolds, liftings or desingulizations of maps of appropriate …

Develops a new bidding system to maximize advertiser profit.

We construct a connection and a curving on a bundle gerbe associated with lifting a structure group of a principal bundle to a central extension. The construction is based on certain structures on the bundle, i.e. connections and splittings. The Deligne cohomology class of the lifting bundle gerbe with the connection a…

We show that one can lift locally real analytic curves from the orbit space of a compact Lie group representation, and that one can lift smooth curves even globally, but under an assumption.

Develops a new algebraic framework for differential geometry of infinite dimensional spaces.

Researchers lift knot coloring polynomial to Habiro ring.

We show the total space of the canonical line bundle $\mathbb{L}$ of a Kahler-Einstein manifold $X^n$ supports integrable $SU(n+1)$ structures, or Calabi-Yau structures. The canonical real line bundle $L \subset \mathbb{L}$ over a minimal Lagrangian submanifold $M \subset X$ is calibrated in this setting and hence can …

This paper connects ultrametric overlap gap properties to parametric RDT for symmetric binary perceptrons.

Study proves Hecke lifting conjecture for torus knots and verifies it for any framed knots.

Lie groupoids and their orbit spaces are linked through equivalence classes.

Develops a lifting theory for exponential maps in semi-Riemannian geometry.

We construct counterexamples to lifting properties of Hamiltonian and contact isotopies.

We show that any pseudo-Anosov map that is a lift of pseudo-Anosov homeomorphism of a nonorientable surface has vanishing SAF invariant. We also provide a criterion to certify that a pseudo-Anosov map is not such a lift.

Introduces new construction for Courant algebroids and curved structures.