arXiv research

A key feature of inductive logic programming (ILP) is its ability to learn first-order programs, which are intrinsically more expressive than propositional programs. In this paper, we introduce techniques to learn higher-order programs. Specifically, we extend meta-interpretive learning (MIL) to support learning higher…

For certain classes of knots we define geometric invariants called higher-order genera. Each of these invariants is a refinement of the slice genus of a knot. We find lower bounds for the higher-order genera in terms of certain von Neumann $ρ$-invariants, which we call higher-order signatures. The higher-order genera o…

A fundamental property of complex networks is the tendency for edges to cluster. The extent of the clustering is typically quantified by the clustering coefficient, which is the probability that a length-2 path is closed, i.e., induces a triangle in the network. However, higher-order cliques beyond triangles are crucia…

Stability of capillary hypersurfaces with higher order mean curvature.

We use the Frölicher-Nijenhuis formalism to reformulate the inverse problem of the calculus of variations for a system of differential equations of order 2k in terms of a semi-basic 1-form of order k. Within this general context, we use the homogeneity proposed by Crampin and Saunders in [14] to formulate and discuss t…

Higher order higher spin operators are generalizations of $kth$-powers of the Dirac operator. In this paper, we study higher order higher spin operators defined on some conformally flat manifolds, namely cylinders and Hopf manifolds. We will also construct the kernels of these operators on these manifolds.

The paper improves CR Sobolev inequalities and classifies minimizers.

Higher-order tangent bundles have geometric structures compatible with their iterated bundle structure.

In this paper we develop a geometric approach to higher order mechanics on graded bundles in both, the Lagrangian and Hamiltonian formalism, via the recently discovered weighted algebroids. We present the corresponding Tulczyjew triple for this higher order situation and derive in this framework the phase equations fro…

This paper presents the first use of graph neural networks (GNNs) for higher-order proof search and demonstrates that GNNs can improve upon state-of-the-art results in this domain. Interactive, higher-order theorem provers allow for the formalization of most mathematical theories and have been shown to pose a significa…

The paper glosses different forms of an introducing of higher order tangent-like functors, especially functors derived from higher order nonholonomic tangent functors. A special attention is devoted to higher order osculating bundles: their identification with higher order tangent bundles is demonstrated as the main re…

A new method predicts higher-order interactions in evolving graphs using simplicial complexes.

Novel higher-order group synchronization for noisy local measurements on hypergraphs.

The paper connects higher order risk measures and stochastic dominance, showing their equivalence and integrating them with optimization.

Graph Convolution Network (GCN) has been recognized as one of the most effective graph models for semi-supervised learning, but it extracts merely the first-order or few-order neighborhood information through information propagation, which suffers performance drop-off for deeper structure. Existing approaches that deal…

We construct new examples of algebraic curvature tensors so that the Jordan normal form of the higher order Jacobi operator is constant on the Grassmannian of subspaces of type $(r,s)$ in a vector space of signature $(p,q)$. We then use these examples to establish some results concerning higher order Osserman and highe…

After defining cohomologically higher order BRST and anti-BRST operators for a compact simple algebra {\cal G}, the associated higher order Laplacians are introduced and the corresponding supersymmetry algebra $Σ$ is analysed. These operators act on the states generated by a set of fermionic ghost fields transforming u…

State-of-the-art methods in convex and non-convex optimization employ higher-order derivative information, either implicitly or explicitly. We explore the limitations of higher-order optimization and prove that even for convex optimization, a polynomial dependence on the approximation guarantee and higher-order smoothn…

This work explores higher-order algebroids via vector bundle comorphisms.

Introduce Collapsed Effective Operators for higher-order structures.

Extends Einstein-Hilbert action to higher-order spectral triples.

New estimator stabilizes higher-order influence functions for stable statistical inference.

Given a closed, oriented, connected 3-manifold, M, we define higher-order linking forms on the higher-order Alexander modules of M. These higher-order linking forms generalize similar linking forms for knots previously studied by the author, which were themselves generalizations of the classical Blanchfield linking for…

We present a geometric approach to the field theory with higher order anisotropic interactions. The concepts of higher order space, or locally anisotropic, space (in brief, h-space, or la-space) are introduced as general ones for various types of higher order extensions of Lagrange and Finsler geometry and higher dimen…

In this paper, we introduce the notion of motif closure and describe higher-order ranking and link prediction methods based on the notion of closing higher-order network motifs. The methods are fast and efficient for real-time ranking and link prediction-based applications such as web search, online advertising, and re…

Combines neural networks and probabilistic graphical models for efficient higher-order inference.

Unified approach to discrete and smooth isoperimetric inequalities of arbitrary order.

Improved GAN performance using higher-order Wasserstein moments.

New estimator stabilizes higher-order influence functions for bilinear forms.

Develops higher-order Euler-Poincaré field equations for principal G-bundles.

The paper introduces boundary operators for Poincaré-Einstein manifolds and proves higher order trace inequalities.

We define the higher-order Alexander modules $A_{n,i}(\mathcal{U})$ and higher-order degrees $δ_{n,i}(\mathcal{U})$ which are invariants of a complex hypersurface complement $\mathcal{U}$. These invariants come from the module structure of the homology of certain solvable covers of the hypersurface complement. Such inv…

Hierarchical probabilistic models are able to use a large number of parameters to create a model with a high representation power. However, it is well known that increasing the number of parameters also increases the complexity of the model which leads to a bias-variance trade-off. Although it is a classical problem, t…

GENIE accelerates DDM synthesis with higher-order solvers.

GUIDE detects anomalies in attributed networks by reconstructing node attributes and higher-order structures.

New symmetry dimensions for higher order ODEs are identified.

In this paper we derive the symplectic framework for field theories defined by higher-order Lagrangians. The construction is based on the symplectic reduction of suitable spaces of iterated jets. The possibility of reducing a higher-order system of PDEs to a constrained first-order one, the symplectic structures natura…

Method provides formal guarantees for decomposing model uncertainty.

Representation learning on networks offers a powerful alternative to the oft painstaking process of manual feature engineering, and as a result, has enjoyed considerable success in recent years. However, all the existing representation learning methods are based on the first-order network (FON), that is, the network th…

This paper describes a general framework for learning Higher-Order Network Embeddings (HONE) from graph data based on network motifs. The HONE framework is highly expressive and flexible with many interchangeable components. The experimental results demonstrate the effectiveness of learning higher-order network represe…

We compare two ways of interpreting higher order connections. The geometric approach lies in the decomposition of higher order tangent space into the horizontal and vertical structures while the jet--like approach considers a higher order connection as the section of a jet prolongation of a fibered manifold. Particular…

Networks provide a powerful formalism for modeling complex systems by using a model of pairwise interactions. But much of the structure within these systems involves interactions that take place among more than two nodes at once; for example, communication within a group rather than person-to person, collaboration amon…

We provide improved convergence rates for various \emph{non-smooth} optimization problems via higher-order accelerated methods. In the case of $\ell_\infty$ regression, we achieves an $O(ε^{-4/5})$ iteration complexity, breaking the $O(ε^{-1})$ barrier so far present for previous methods. We arrive at a similar rate fo…

The main goal of this paper is to develop a concept of approximate differentiability of higher order for subsets of the Euclidean space that allows to characterize higher order rectifiable sets, extending somehow well known facts for functions. We emphasize that for every subset $A$ of the Euclidean space and for eve…

New model estimates higher-order interactions in stochastic processes using lower-dimensional projections.

The paper provides estimates for higher-order Ricci curvature along Kähler-Ricci flows.

Generalizes Carathéodory form for higher-order field theories.

We discuss the higher order stabilization of the coefficients of the colored Jones polynomial. In particular, we find an expression for the second stable sequence of the colored Jones polynomial of a certain class of knots. We also determine which knots have the same higher order stability.