arXiv research

Computer-assisted method finds new Einstein metrics on spheres.

We provide a computer-assisted proof of the holomorphy of the quartic and the octic meromorphic differentials arising in the main Theorem 4.11 of our paper 'The Classification of Branched Willmore spheres in the $3$-Sphere and the $4$-Sphere' (arXiv:1706.01405), using the free mathematical software Sage.

Researchers solved the multiple fibration problem for Seifert 3-orbifolds.

New link colorings using quandle rings and idempotents are stronger than existing methods.

Review of automation's role in chemical discoveries.

We prove two conjectures of C. Gordon. We show that the maximal number of exceptional Dehn surgeries on a 1-cusped hyperbolic 3-manifold is 10, and that the maximal intersection number between exceptional slopes is 8. The proof uses a combination of new geometric techniques and a rigorous computer-assisted calculation.

The automatic detection of frauds in banking transactions has been recently studied as a way to help the analysts finding fraudulent operations. Due to the availability of a human feedback, this task has been studied in the framework of active learning: the fraud predictor is allowed to sequentially call on an oracle. …

The paper proves rigidity of surgeries on the figure-eight knot complement.

Quantum computing improves fault diagnosis in industrial processes.

Machine learning experiments show IID assumption is flawed for bathymetry editing.

The Goldman-Parker Conjecture classifies the complex hyperbolic C-reflection ideal triangle groups up to discreteness. We proved the Goldman-Parker Conjecture in [Ann. of Math. 153 (2001) 533--598] using a rigorous computer-assisted proof. In this paper we give a new and improved proof of the Goldman-Parker Conjecture.…

By using computer assistance, we prove that the fundamental group of the complement of a real complexified line arrangement is not determined by its intersection lattice, providing a counter-example for a problem of Falk and Randell. We also deduce that the torsion of the lower central series quotients is not combinato…

We prove the Goldman-Parker Conjecture: A complex hyperbolic ideal triangle group is directly embedded in PU(2,1) if and only if the product of its three standard generators is not elliptic. We also prove that such a group is indiscrete if the product of its three standard generators is elliptic. A novel feature of thi…

We consider the problem of classifying business process instances based on structural features derived from event logs. The main motivation is to provide machine learning based techniques with quick response times for interactive computer assisted root cause analysis. In particular, we create structural features from p…

Paper proves existence of a CMC hypertorus in 4D sphere using numerical methods.

We present a general method to compute a presentation for any cusped arithmetic hyperbolic lattice $Γ$, applying a classical result of Macbeath to a suitable $Γ$-invariant horoball cover of the corresponding symmetric space. As applications we compute presentations for the Picard modular groups ${\rm PU}(2,1,\mathcal{O…

Detects (2,5) torus knot using Khovanov homology and Floer homology.

The recent advances in computer-assisted learning systems and the availability of open educational resources today promise a pathway to providing cost-efficient, high-quality education to large masses of learners. One of the most ambitious use cases of computer-assisted learning is to build a lifelong learning recommen…

Researchers describe a spectral sequence for knots in 3D space.

Verified numerics prove existence of a curvature solution with known symmetries.

New contractible domains on half-sphere with constant boundary Laplacian eigenfunctions.

Articulatory distinctive features, as well as phonetic transcription, play important role in speech-related tasks: computer-assisted pronunciation training, text-to-speech conversion (TTS), studying speech production mechanisms, speech recognition for low-resourced languages. End-to-end approaches to speech-related tas…

Automated surgical workflow analysis and understanding can assist surgeons to standardize procedures and enhance post-surgical assessment and indexing, as well as, interventional monitoring. Computer-assisted interventional (CAI) systems based on video can perform workflow estimation through surgical instruments' recog…

We present a new, far simpler family of counter-examples to Kushnirenko's Conjecture. Along the way, we illustrate a computer-assisted approach to finding sparse polynomial systems with maximally many real roots, thus shedding light on the nature of optimal upper bounds in real fewnomial theory. We use a powerful recen…

We address the problem of combining sequence models of symbolic music with user defined constraints. For typical models this is non-trivial as only the conditional distribution of each symbol given the earlier symbols is available, while the constraints correspond to arbitrary times. Previously this has been addressed …

One of the most ambitious use cases of computer-assisted learning is to build a recommendation system for lifelong learning. Most recommender algorithms exploit similarities between content and users, overseeing the necessity to leverage sensible learning trajectories for the learner. Lifelong learning thus presents un…

Let $Γ$ be the fundamental group of a surface of finite type and Comm$(Γ)$ be its abstract commensurator. Then Comm$(Γ)$ contains the solvable Baumslag--Solitar groups $\langle a ,b : a b a^{-1} = b^n \rangle$ for any $n > 1$. Moreover, the Baumslag--Solitar group $\langle a ,b : a b^2 a^{-1} = b^3 \rangle$ has an imag…

This paper introduces a rigorous computer-assisted procedure for analyzing hyperbolic 3-manifolds. This technique is used to complete the proof of several long-standing rigidity conjectures in 3-manifold theory as well as to provide a new lower bound for the volume of a closed orientable hyperbolic 3-manifold. We prove…

The simplest non-collision solutions of the N-body problem are the "relative equilibria", in which each body follows a circular orbit around the centre of mass and the shape formed by the N bodies is constant. It is easy to see that the moment of inertia of such a solution is constant. In 1970, D. Saari conjectured tha…

We consider the problem of locating a point-source heart arrhythmia using data from a standard diagnostic procedure, where a reference catheter is placed in the heart, and arrival times from a second diagnostic catheter are recorded as the diagnostic catheter moves around within the heart. We model this situation as a …

New Einstein metrics constructed on complex line bundle over CP1.

We study the problem of computer-assisted teaching with explanations. Conventional approaches for machine teaching typically only provide feedback at the instance level e.g., the category or label of the instance. However, it is intuitive that clear explanations from a knowledgeable teacher can significantly improve a …

We prove the existence of a (spectrally) stable self-similar blow-up solution $f_0$ to the heat flow for corotational harmonic maps from $\mathbb R^3$ to the three-sphere. In particular, our result verifies the spectral gap conjecture stated by one of the authors and lays the groundwork for the proof of the nonlinear s…

A general question behind this paper is to explore a good notion for intrinsic curvature in the framework of noncommutative geometry started by Alain Connes in the 80s. It has only recently begun (2014) to be comprehended via the intensive study of modular geometry on the noncommutative two tori. In this paper, we exte…

Hopfield networks improve reaction template prediction for few/zero-shot scenarios.

We study the translation surfaces obtained by considering the unfoldings of the surfaces of Platonic solids. We show that they are all lattice surfaces and we compute the topology of the associated Teichmüller curves. Using an algorithm that can be used generally to compute Teichmüller curves of translation covers of p…

Frequently, knots are enumerated by their crossing number. However, the number of knots with crossing number $c$ grows exponentially with $c$, and to date computer-assisted proofs can only classify diagrams up to around twenty crossings. Instead, we consider diagrams enumerated by bridge number, following the lead of S…

Monitoring the biomedical literature for cases of Adverse Drug Reactions (ADRs) is a critically important and time consuming task in pharmacovigilance. The development of computer assisted approaches to aid this process in different forms has been the subject of many recent works. One particular area that has shown pro…

Computer-assisted synthesis planning aims to help chemists find better reaction pathways faster. Finding viable and short pathways from sugar molecules to value-added chemicals can be modeled as a retrosynthesis planning problem with a catalyst allowed. This is a crucial step in efficient biomass conversion. The tradit…

We consider the optimization problem associated with training simple ReLU neural networks of the form $\mathbf{x}\mapsto \sum_{i=1}^{k}\max\{0,\mathbf{w}_i^\top \mathbf{x}\}$ with respect to the squared loss. We provide a computer-assisted proof that even if the input distribution is standard Gaussian, even if the dime…

Diagnosing basal cell carcinomas (BCC), one of the most common cutaneous malignancies in humans, is a task regularly performed by pathologists and dermato-pathologists. Improving histological diagnosis by providing diagnosis suggestions, i.e. computer-assisted diagnoses is actively researched to improve safety, quality…

With an eye towards studying curve systems on low-complexity surfaces, we introduce and analyze the $k$-Farey graphs $\mathcal{F}_k$ and $\mathcal{F}_{\leqslant k}$, two natural variants of the Farey graph in which we relax the edge condition to indicate intersection number $=k$ or $\le k$, respectively. The former, $\…

Evidence shows that in a significant number of cases the current methods of research do not allow for reproducible and falsifiable procedures of scientific investigation. As a consequence, the majority of critical decisions at all levels, from personal investment choices to overreaching global policies, rely on some va…

Nowadays, organizations collect vast quantities of accounting relevant transactions, referred to as 'journal entries', in 'Enterprise Resource Planning' (ERP) systems. The aggregation of those entries ultimately defines an organization's financial statement. To detect potential misstatements and fraud, international au…

Let $q\in\mathbb{C}$, let \[a=\begin{pmatrix} 1&0\\1&1\end{pmatrix},\quad b_q=\begin{pmatrix} 1&q\\0&1\end{pmatrix},\] and let $G_q<\mathrm{SL}_2(\mathbb{C})$ be the group generated by $a$ and $b_q$. In this paper, we study the problem of determining when the group $G_q$ is not free for $|q|<4$ rational. We give a robu…

Paper proposes an active learning method for surgical workflow recognition using long-range temporal dependency.

Objective: A median of 14.4% of patient undergone at least one adverse event during surgery and a third of them are preventable. The occurrence of adverse events forces surgeons to implement corrective strategies and, thus, deviate from the standard surgical process. Therefore, it is clear that the automatic identifica…

Organ segmentation in CT volumes is an important pre-processing step in many computer assisted intervention and diagnosis methods. In recent years, convolutional neural networks have dominated the state of the art in this task. However, since this problem presents a challenging environment due to high variability in th…