arXiv research

Critiques incorrect fixed point assertions in digital topology.

Corrects incorrect assertions about fixed points in digital topology.

Incorrect fixed point assertions in digital topology are discussed.

The paper addresses flaws in fixed point assertions for digital images.

Fixed point assertions in digital topology are often incorrect or poorly stated.

Incorrect fixed point assertions in digital topology are discussed.

Convolutional neural network improves assertion detection in multi-label clinical text.

We continue the work of [5] and [3], in which are considered papers in the literature that discuss fixed point assertions in digital topology. We discuss published assertions that are incorrect or incorrectly proven; that are severely limited or reduce to triviality under "usual" conditions; or that we improve upon.

The paper [10] incorrectly asserts that the digital image MSS_18, a digital model of the Euclidean 2-sphere S^2, is not 18-contractible. We show this assertion is false.

We continue the work of [4, 2, 3], in which we discuss published assertions that are incorrect or incorrectly proven; that are severely limited or reduce to triviality; or that we improve upon.

The paper highlights issues with fixed point claims in digital images.

The paper highlights issues in fixed point claims in digital topology.

Reliability is a critical consideration to DL-based systems. But the statistical nature of DL makes it quite vulnerable to invalid inputs, i.e., those cases that are not considered in the training phase of a DL model. This paper proposes to perform data sanity check to identify invalid inputs, so as to enhance the reli…

Improved text-to-image alignment using iterative VQA feedback.

We extend two celebrated theorems on closed geodesics of Riemannian 2-spheres to the larger class of reversible Finsler 2-spheres: Lusternik-Schnirelmann's theorem asserting the existence of three simple closed geodesics, and Bangert-Franks-Hingston's theorem asserting the existence of infinitely many closed geodesics.…

State-of-the-art approaches for Knowledge Base Completion (KBC) exploit deep neural networks trained with both false and true assertions: positive assertions are explicitly taken from the knowledge base, whereas negative ones are generated by random sampling of entities. In this paper, we argue that random sampling is …

We present two classical conjectures concerning the characterization of manifolds: the Bing Borsuk Conjecture asserts that every $n$-dimensional homogeneous ANR is a topological $n$-manifold, whereas the Busemann Conjecture asserts that every $n$-dimensional $G$-space is a topological $n$-manifold. The key object in bo…

In this paper we present a statistical analysis about the characteristics that we intend to influence in the performance of the neural networks in terms of assertiveness in the prediction of Brazilian stock returns. We created a population of architectures for analysis and extracted the sample that had the best asserti…

In this paper we show as main results two structure theorems of a compact homogeneous locally conformally Kaehler (or shortly l.c.K.) manifold, a holomorphic structure theorem asserting that it has a structure of holomorphic principal fiber bundle over a flag manifold with fiber a 1-dimensional complex torus, and a met…

The original Smale Conjecture asserted that the inclusion of the group O(4) of isometries of the round 3-sphere S into the full diffeomorphism group Diff(S) is a homotopy equivalence. The (Generalized) Smale Conjecture asserts that the inclusion of Isom(M) into Diff(M) is a homotopy equivalence whenever M is an ellipti…

The Slope Conjecture proposed by Garoufalidis asserts that the degree of the colored Jones polynomial determines a boundary slope, and its refinement, the Strong Slope Conjecture proposed by Kalfagianni and Tran asserts that the linear term in the degree determines the topology of an essential surface that satisfies th…

Generalizes $π_2$-diffeomorphism finiteness to non-zero first homotopy groups.

Our main theorem asserts that every Farey graph embedded in the 1-skeleton of the pants complex of any finite type surface is totally geodesic.

By solving the Cauchy problem for the Hodge-Laplace heat equation for $d$-closed, positive $(1, 1)$-forms, we prove an optimal gap theorem for Kähler manifolds with nonnegative bisectional curvature which asserts that the manifold is flat if the average of the scalar curvature over balls of radius $r$ centered at any f…

New proof found for Khovanov's assertion about Frobenius algebra twists.

Certain solvable extensions of $H$-type groups provide noncompact counterexamples to the so-called Lichnerowicz conjecture, which asserted that ``harmonic'' Riemannian spaces must be rank 1 symmetric spaces.

According to Courant's theorem, an eigenfunction as\-sociated with the $n$-th eigenvalue $λ\_n$ has at most $n$ nodal domains. A footnote in the book of Courant and Hilbert, states that the same assertion is true for any linear combination of eigenfunctions associated with eigenvalues less than or equal to $λ\_n$. We c…

Two rigidity theorems for manifolds with nonnegative Ricci curvature and specific volume growth.

The main result asserts the existence of continuous solutions of the complex Monge-Ampère equation with the right hand side in $L^p, p>1$, on compact Hermitian manifolds.

Various standard texts on differential topology maintain that the level-preserving map defined by the track of an isotopy of embeddings is itself an embedding. This note describes a simple counterexample to this assertion.

Auto-CEI improves LLM reasoning by balancing assertiveness and conservativeness.

We show that there are infinitely many nonisomorphic quandle structures on any topogical space $X$ of positive dimension. In particular, we disprove the conjecture, asserting that there are no nontrivial quandle structures on the closed unit interval $[0,1]$.

We give a proof of Ilmanen's lemma, which asserts that between a locally semi-convex and a locally semi-concave function it is possible to find a C$^{1,1}$ function.

The success of neural networks across most machine learning tasks and the persistence of adversarial examples have made the verification of such models an important quest. Several techniques have been successfully developed to verify robustness, and are now able to evaluate neural networks with thousands of nodes. The …

The slope conjecture proposed by Garoufalidis asserts that the Jones slopes given by the sequence of degrees of the colored Jones polynomials are boundary slopes. We verify the slope conjecture for graph knots, i.e. knots whose Gromov volume vanish.

We exhibit examples of projective varieties with degenerate Gauss mappings and determine numerical invariants of such varieties. Our examples provide counter-examples to an asserted structure theorem of Griffiths and Harris (Ann. Sci. ENS 1979).

In this paper, we study the Gauss map of a free boundary minimal surface. The main theorem asserts that if components of the Gauss map are eigenfunctions of the Jacobi-Steklov operator, then the surface must be rotationally symmetric.

First geometric proof of the flyping theorem.

We prove a theorem which asserts that the Lie algebra of all holomorphic vector fields on a compact Kähler manifold with a perturbed extremal metric has the structure similar to the case of an unperturbed extremal Kähler metric proved by Calabi.

We prove a conjecture of Przytycki which asserts that the $n$-quandle of a link $L$ in the 3-sphere is finite if and only if the fundamental group of the $n$-fold cyclic branched cover of the 3-sphere, branched over $L$, is finite.

A classical result asserts that the complex projective plane modulo complex conjugation is the 4-dimensional sphere. We generalize this result in two directions by considering the projective planes over the normed real division algebras and by considering the complexifications of these four projective planes.

Totally geodesic sections found in polar actions.

Several recent papers in digital topology have sought to obtain fixed point results by mimicking the use of tools from classical topology, such as complete metric spaces. We show that in many cases, researchers using these tools have derived conclusions that are incorrect, trivial, or limited.

New proof for complex 3D shapes.

Isometries of metric spaces $(X,d)$ preserve all level sets of $d$. We formulate and prove cases of a conjecture asserting if $X$ is a complete Riemannian manifold, then a function $f:X \rightarrow X$ preserving at least one level set $d^{-1}(r)$, with $r>0$ small enough, is an isometry.

Schoen-Webster theorem asserts a pseudoconvex CR manifold whose automorphism group acts non properly is either the standard sphere or the Heisenberg space. The purpose of this paper is to survey successive works around this result and then provide a short geometric proof in the compact case.

In this paper, we show that there is a close relationship between generalized subtangent manifolds and Lie groupoids. We obtain equivalent assertions among the integrability conditions of generalized almost subtangent manifolds, the condition of compatibility of source and target maps of symplectic groupoids with sympl…

In this paper, we investigate a numerical algorithm for the pricing of swing options, relying on the so-called optimal quantization method. The numerical procedure is described in details and numerous simulations are provided to assert its efficiency. In particular, we carry out a comparison with the Longstaff-Schwartz…