Research
On-device research index

arXiv research

A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.

169,051 papers · 148 categories

Trend · papers per month

1.6%3.3%4.9%6.6% · May 202619922001200920182026
48 results for Horn rules

Lifted Relational Neural Networks (LRNNs) describe relational domains using weighted first-order rules which act as templates for constructing feed-forward neural networks. While previous work has shown that using LRNNs can lead to state-of-the-art results in various ILP tasks, these results depended on hand-crafted ru…

2017-10-05abs ↗pdf ↗

Study on heat equation and eigenfunctions on RCD spaces, proving unique continuation.

problem Unique continuation for caloric functions and eigenfunctions on RCD spaces.
method Establish weak unique continuation theorem for caloric functions and eigenfunctions on compact RCD(K,2) spaces.
result Existence of non-trivial eigenfunctions and caloric solutions vanishing up to infinite order at one point.

In this paper we discuss the index problem for geometric differential operators (Spin-Dirac operator, Gauß-Bonnet operator, Signature operator) on manifolds with metric horns. On singular manifolds these operators in general do not have unique closed extensions. But there always exist two extremal extensions DminD_{min}

1996-09-24abs ↗pdf ↗

We prove that the indices of fibered-cusp and dd-Dirac operators on a spin manifold with fibered boundary coincide if the associated family of Dirac operators on the fibers of the boundary is invertible. This answers a question raised by Piazza. Under this invertibility assumption, our method yields an index formula f…

2006-10-24abs ↗pdf ↗

Proves positive mass theorem for AF spin manifolds with conical singularities.

problem Proving the positive mass theorem for singular metrics on AF manifolds.
method Analyzes AF spin manifolds with isolated conical singularities, allowing topological singularities.
result Proves the positive mass theorem for AF spin manifolds with conical singularities.

We study Question 7.9 in the paper "Monoids in the mapping class group" by Etnyre and Van Horn-Morris; whether a symmetric mapping class admitting a positive factorization is a lift of a quasi-positive braid. We answer affirmatively for mapping classes satisfying certain cyclic conditions.

2016-10-04abs ↗pdf ↗

Let V be a compact real analytic surface with isolated singularities embedded in RNR^N, and assume its smooth part is equipped with a Riemannian metric that is induced from some analytic Riemannian metric on RNR^N. We prove: 1. Each point of V has a neighborhood which is quasi-isometric (naturally and 'almost isometric…

1999-01-15abs ↗pdf ↗

It is shown that 3D part of a spherically symmetric solution in conformal Weyl gravity interacting with Maxwell electrodynamics is a Yamabe flow as well. The Yamabe flow describes the transition from a horn of an initial wormhole to a 3D Euclidean space both filled with a radial electric field. It is supposed that such…

2008-04-30abs ↗pdf ↗

In this paper we show that to each planar line arrangement defined over the real numbers, for which no two lines are parallel, one can write down a corresponding relation on Dehn twists that can be read off from the combinatorics and relative locations of intersections. This leads to an alternate proof of Wajnryb's gen…

2011-07-03abs ↗pdf ↗

We propose a conceptual design for a quantum blockchain. Our method involves encoding the blockchain into a temporal GHZ (Greenberger-Horne-Zeilinger) state of photons that do not simultaneously coexist. It is shown that the entanglement in time, as opposed to an entanglement in space, provides the crucial quantum adva…

2018-04-16abs ↗pdf ↗

The bipolar filtration of Cochran, Harvey and Horn presents a framework of the study of deeper structures in the smooth concordance group of topologically slice knots. We show that the graded quotient of the bipolar filtration of topologically slice knots has infinite rank at each stage greater than one. To detect nont…

2017-10-21abs ↗pdf ↗

In the present paper we describe compatible open books for the fibre connected sum along binding components of open books, as well as for the fibre connected sum along multi-sections of open books. As an application the first description provides simple ways of constructing open books supporting all tight contact struc…

2012-07-17abs ↗pdf ↗

By recent results of Baker--Etnyre--Van Horn-Morris, a rational open book decomposition defines a compatible contact structure. We show that the Heegaard Floer contact invariant of such a contact structure can be computed in terms of the knot Floer homology of its (rationally null-homologous) binding. We then use this …

2011-05-04abs ↗pdf ↗

mfEGRA uses active learning to efficiently locate failure boundaries in reliability analysis.

problem Prohibitive cost of reliability analysis using Monte Carlo sampling for high-fidelity models.
method Develops a multifidelity active learning method using data-driven adaptively refined surrogates.
result Significant computational savings (46-48%) compared to single-fidelity EGRA.

We extend the Heegaard Floer homological definition of spectral order for closed contact 3-manifolds due to Kutluhan, Matić, Van Horn-Morris, and Wand to contact 3-manifolds with convex boundary. We show that the order of a codimension zero contact submanifold bounds the order of the ambient manifold from above. As the…

2016-01-21abs ↗pdf ↗

This is a technical paper, which is a continuation of math.DG/0211159. Here we construct Ricci flow with surgeries and verify most of the assertions, made in section 13 of that e-print; the exceptions are (1) the statement that manifolds that can collapse with local lower bound on sectional curvature are graph manifold…

2003-03-10abs ↗pdf ↗

On a compact oriented surface of genus gg with n1n\geq 1 boundary components, δ1,δ2,,δnδ_1, δ_2,\ldots, δ_n, we consider positive factorizations of the boundary multitwist tδ1tδ2tδnt_{δ_1} t_{δ_2} \cdots t_{δ_n}, where tδit_{δ_i} is the positive Dehn twist about the boundary δiδ_i. We prove that for g3g\geq 3, the boundary multitwis…

2013-09-15abs ↗pdf ↗

We study the structure of the exteriors of gropes and Whitney towers in dimension 4, focusing on their fundamental groups. In particular we introduce a notion of unknottedness of gropes and Whitney towers in the 4-sphere. We prove that various modifications of gropes and Whitney towers preserve the unknottedness and do…

2016-12-07abs ↗pdf ↗

Researchers found a canonical form for pairs of Hermitian and antilinear operators.

problem Simultaneous normalization of pairs of Hermitian and antilinear operators in differential geometry.
method Finding a canonical form for pairs of Hermitian and antilinear operators.
result Generalized previous results on simultaneous normalization of such pairs.

Continuing our previous work (arXiv:1509.07981v1), we derive another global gradient estimate for positive functions, particularly for positive solutions to the heat equation on finite or locally finite graphs. In general, the gradient estimate in the present paper is independent of our previous one. As applications, i…

2015-10-24abs ↗pdf ↗

Classification of fillings for a specific type of contact surgery on the Hopf link.

problem Classifying the minimal symplectic fillings of a specific type of contact surgery on the Hopf link.
method Performed contact (-1)-surgery on a Legendrian representative of the Hopf link, classified the minimal symplectic fillings up to homeomorphism.
result Extended the classification of fillings to a broader range of structures, including those not universally tight.

Generalizes cohomology ring result for combinatorial line arrangements.

problem Cohomology ring of boundary manifold for combinatorial line arrangements.
method Introduced boundary manifold, constructed homology cycles, computed cohomology ring.
result Cohomology ring of boundary manifold is isomorphic to double of Orlik-Solomon algebra.

A two-dimensional open book (S,h) determines a closed, oriented three-manifold Y(S,h) and a contact structure C(S,h) on Y(S,h). The contact structure C(S,h) is Stein fillable if h is positive, i.e. h can be written as a product of right-handed Dehn twists. Work of Wendl implies that when S has genus zero the converse s…

2013-04-04abs ↗pdf ↗

We derive a gradient estimate for positive functions, in particular for positive solutions to the heat equation, on finite or locally finite graphs. Unlike the well known Li-Yau estimate, which is based on the maximum principle, our estimate follows from the graph structure of the gradient form and the Laplacian operat…

2015-09-26abs ↗pdf ↗

DeepCTRL integrates rules into deep learning models, allowing flexible control at inference.

problem Lack of flexibility in incorporating rules into deep learning models.
method Integrates rule representations into deep neural networks, enabling flexible control at inference.
result Improves rule verification ratio and accuracy gains at downstream tasks.

New methods prune unpromising rules from KGs, improving scalability and runtime.

problem Scalability issues in walk-based rule learning from KGs.
method Rule Hierarchy Framework (RHF) and Hierarchical Pruning (HPMs).
result Significant reductions in runtime and number of learned rules without compromising predictive performance.

In this study, we give the relationships between the conical curvatures of ruled surfaces drawn by the unit vectors of the ruling, central normal and central tangent of a regular ruled surface in the Euclidean -space. We obtain the differential equations characterizing slant ruled surfaces and if the reference ruled su…

2013-11-27abs ↗pdf ↗

New framework learns interpretable rule ensembles without sacrificing accuracy.

problem Trade-off between accuracy and interpretability in rule ensembles.
method Introduces local interpretability and a regularizer to promote it, using coordinate descent with local search.
result Learns rule ensembles with fewer rules to explain individual predictions, maintaining comparable accuracy.

Paper classifies ruled surfaces in Lorentz-Minkowski space for a specific flow.

problem Classifying ruled surfaces in Lorentz-Minkowski space.
method Examining homothetic self-similar solutions of the inverse mean curvature flow.
result Existence of two classes of non-cylindrical homothetic solitons.

In this study, we define some new types of ruled surfaces called slant ruled surfaces. We give some characterizations for a regular ruled surface to be a slant ruled surface in Euclidean 3- space. We show that if the slant ruled surface is developable then the striction curve is a general helix or a slant helix accordi…

2013-11-04abs ↗pdf ↗