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.

168,695 papers · 148 categories

Trend · papers per month

265277103 · Jun 202019922001200920172026
48 results for satisfiability

The AJAJ-conjecture for a knot KS3K \subset S^3 relates the AA-polynomial and the colored Jones polynomial of KK. If a two-bridge knot KK satisfies the AJAJ-conjecture, we give sufficient conditions on KK for the (r,2)(r,2)-cable knot CC to also satisfy the AJAJ-conjecture. If a reduced alternating diagram of KK has …

2014-12-02abs ↗pdf ↗

Perelman's doubling theorem asserts that the metric space obtained by gluing along their boundaries two copies of an Alexandrov space with curvature κ\geq κ is an Alexandrov space with the same dimension and satisfying the same curvature lower bound. We show that this result cannot be extended to metric measure spaces…

2017-11-13abs ↗pdf ↗

For a finite family of 3-dimensional almost contact metric manifolds with closed the structure form ηη is described a construction of an almost contact metric manifold, where the members of the family are building blocks - cells. Obtained manifold share many properties of cells. One of the more important are nullity c…

2012-03-21abs ↗pdf ↗

Paper proves knots satisfy a conjecture using Jones polynomial.

problem Proving infinite families of knots satisfy the Cosmetic Surgery Conjecture.
method Computed Jones polynomial and invariants for two knot families.
result Two infinite families of knots satisfy the Purely Cosmetic Surgery Conjecture.

In this paper we have proved that a compact Riemannian manifold does not admit a metric with positive scalar curvature if there exists a real valued function in this manifold which is strictly positive along a geodesic ray satisfying expanding or steady Yamabe soliton. We have also deduced a relation between scalar cur…

2019-08-01abs ↗pdf ↗

New sampling and identity-testing methods for mixtures of distributions that don't satisfy approximate tensorization of entropy.

problem Sampling and identity-testing for mixtures of distributions that don't satisfy approximate tensorization of entropy.
method Fast mixing of Glauber dynamics and efficient identity-testers in the coordinate-conditional sampling access model.
result Efficient identity-testers for mixtures of ATE distributions in the coordinate-conditional sampling access model.

New examples of sub-Riemannian structures satisfying Minimizing Sard conjecture found.

problem Finding complete sub-Riemannian structures satisfying the Minimizing Sard conjecture.
method Techniques from nonsmooth analysis and geometric measure theory.
result Complete sub-Riemannian structures associated with distributions of co-rank 2 or generic distributions of rank ≥ 2 satisfy the Minimizing Sard conjecture.

We consider ruled and quadric surfaces in the 3-dimensional Euclidean space which are of coordinate finite type with respect to the third fundamental form IIIIII, i.e., their position vector x\boldsymbol{x} satisfies the relation ΔIIIx=ΛxΔ^{III}\boldsymbol{x}=\varLambda \boldsymbol{x} where Λ\varLambda is a square matrix o…

2016-10-14abs ↗pdf ↗

In this paper, we have studied the critical point equation (shortly, CPE) within the frame-work of Kenmotsu and almost Kenmotsu manifold satisfying certain nullity conditions. First, we prove that a complete Kenmotsu metric satisfies the CPE is Einstein and locally isometric to the hyperbolic space H2n+1. In case of Ke…

2018-12-09abs ↗pdf ↗

Let XX be a compact connected Kähler--Einstein manifold with c1(TX)0c_1(TX)\, \geq\, 0. If there is a semistable Higgs vector bundle (E,θ)(E\,,θ) on XX with θ0θ\,\not=\,0, then we show that c1(TX)=0c_1(TX)=0, any XX satisfying this condition is called a Calabi--Yau manifold, and it admits a Ricci--flat Kähler form \cite{Ya}. Let …

2014-12-24abs ↗pdf ↗

Paper proves almost all stabilizer subgroups of Thompson's group satisfy Alexander's theorem.

problem Alexander's theorem for stabilizer subgroups of Thompson's group.
method Defined a method to construct knots and links from Thompson's group F and proved Alexander's theorem for stabilizer subgroups.
result Almost all stabilizer subgroups under the natural action on the unit interval satisfy Alexander's theorem.

The study constructs symplectic solvmanifolds satisfying the hard-Lefschetz condition.

problem Developing an analogue of Hodge theory for symplectic manifolds.
method Analyzing specific Lie algebras and their associated Lie groups, exploiting connections with Kneser graphs.
result Examples of almost-Kähler solvmanifolds satisfying the hard-Lefschetz condition are constructed.

An analysis is made of reality conditions within the context of noncommutative geometry. We show that if a covariant derivative satisfies a given left Leibniz rule then a right Leibniz rule is equivalent to the reality condition. We show also that the matrix which determines the reality condition must satisfy the Yang-…

1998-06-12abs ↗pdf ↗

Conformal prediction is a method of producing prediction sets that can be applied on top of a wide range of prediction algorithms. The method has a guaranteed coverage probability under the standard IID assumption regardless of whether the assumptions (often considerably more restrictive) of the underlying algorithm ar…

2014-04-08abs ↗pdf ↗

New study shows low-degree polynomial algorithms struggle at clause densities close to Fix's.

problem Finding satisfying assignments in random k-SAT formulas at high clause densities.
method Analysis of low-degree polynomial algorithms and a new many-way overlap gap property.
result No efficient algorithms can find satisfying assignments at clause densities close to Fix's.

Matrices satisfying the Restricted Isometry Property (RIP) play an important role in the areas of compressed sensing and statistical learning. RIP matrices with optimal parameters are mainly obtained via probabilistic arguments, as explicit constructions seem hard. It is therefore interesting to ask whether a fixed mat…

2019-04-11abs ↗pdf ↗

In this paper we extend Badzioch's, Dorabiala's, and Williams' definition of cohomological higher smooth torsion to a twisted cohomological higher torsion invariant. Additionally, we show that this still satisfies geometric additivity and transfer, and will also satisfy additivity and transfer for coefficients.

2016-11-18abs ↗pdf ↗

Inspired by the work of Z. Lu and G. Tian \cite{lutian}, in this paper we address the problem of studying those \K\ manifolds satisfying the ΔΔ-property, i.e. such that on a neighborhood of each of its points the kk-th power of the \K Laplacian is a polynomial function of the complex Euclidean Laplacian, for all posi…

2019-12-18abs ↗pdf ↗

We show that most cabled knots over torus knots in S3S^3 satisfy the AJ-conjecture, namely each (r,s)(r,s)-cabled knot over each (p,q)(p,q)-torus knot satisfies the AJAJ-conjecture if rr is not a number between 00 and pqspqs.

2014-03-07abs ↗pdf ↗

The study proves conditions for Hermitian metrics on compact almost complex manifolds.

problem Conditions for Hermitian metrics on compact almost complex manifolds.
method Analyzes compact almost complex manifolds with Hermitian metrics and integral conditions involving \overline \partial-harmonic (0,1)(0,1)-forms.
result The integral condition is automatically satisfied for strongly Gauduchon metrics, and equivalent to being strongly Gauduchon for integrable almost complex structures.

Study constant mean curvature surfaces with integrable boundary conditions.

problem Understanding surfaces with constant mean curvature under specific boundary conditions.
method Used generalized Weierstrass representation to determine potentials.
result Determined potentials for surfaces satisfying integrable boundary conditions.

We formalize the concept of a family of metric spaces satisfying a coarse property uniformly and we generalize finite decomposition complexity of Erik Guentner, Romain Tessera, and Guoliang Yu. Of particular interest are results determining sufficient conditions for a metric space to satisfy Property A of Guoliang Yu.

2016-11-01abs ↗pdf ↗