arXiv research

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

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…

Timely detection of Hardware Trojans (HTs) has become a major challenge for secure integrated circuits. We present a run-time methodology for HT detection that employs a multi-parameter statistical traffic modeling of the communication channel in a given System-on-Chip (SoC), named as SIMCom. The main idea is to model …

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.

Hidden Markov Models detect hand gestures from wearable sEMG signals.

Community detection using both graphs and social networks is the focus of many algorithms. Recent methods aimed at optimizing the so-called modularity function proceed by maximizing relations within communities while minimizing inter-community relations. However, given the NP-completeness of the problem, these algorith…

If a given behavior of a multi-agent system restricts the phase variable to a invariant manifold, then we define a phase transition as change of physical characteristics such as speed, coordination, and structure. We define such a phase transition as splitting an underlying manifold into two sub-manifolds with distinct…

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.

Unsupervised learning can leverage large-scale data sources without the need for annotations. In this context, deep learning-based auto encoders have shown great potential in detecting anomalies in medical images. However, state-of-the-art anomaly scores are still based on the reconstruction error, which lacks in two e…

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.

Paper tackles $L$-space conjecture for knot manifolds, proving equivalence for some properties.

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

Detect slopes in toroidal 3-manifolds to prove properties of fundamental groups.

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.