Paper simplifies proof of slide-equivalence in crown diagrams.
problem Proving slide-equivalence of crown diagrams.
method Diagrammatic approach to generalized shift moves.
result Slide-equivalence of vanishing cycles in crown diagrams.
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,742 papers · 148 categories
Trend · papers per month
48 results for “crown diagrams”
Paper examines 4-manifold structures using chord assignments.
problem Determining if knot surgery 4-manifolds are diffeomorphic.
method Assigns integers to chords in crown diagrams to compare smooth structures.
result Smooth structures on knot surgery 4-manifolds are not isotopic.
A Morse 2-function is a generic smooth map from a manifold M of arbitrary finite dimension to a surface B. Its critical set maps to an immersed collection of cusped arcs in B. The aim of this paper is to explain exactly when it is possible to move these arcs around in B by a homotopy and to give a library of examples w…
Efficiently verifies neural networks by handling neuron splits, improving speed and accuracy.
problem Handling neuron split constraints in incomplete neural network verification.
method β-CROWN, which optimizes parameters β to encode neuron splits and uses them in bound propagation.
result β-CROWN significantly speeds up verification while maintaining high accuracy.
We consider harmonic diffeomorphisms to a fixed hyperbolic target , from a family of domain Riemann surfaces degenerating along a Teichmüller ray. We use the work of Minsky to show that there is a limiting harmonic map from the conformal limit of the Teichmüller ray, to a crowned hyperbolic surface. The target surfa…
Let be the crown domain associated with a non-compact irreducible hermitian symmetric space . We give an explicit description of the unique -invariant adapted hyper-Kähler structure on ,i.e.compatible with the adapted complex structure and with the -invariant Kähle…
Training neural networks with verifiable robustness guarantees is challenging. Several existing approaches utilize linear relaxation based neural network output bounds under perturbation, but they can slow down training by a factor of hundreds depending on the underlying network architectures. Meanwhile, interval bound…
We use meromorphic quadratic differentials with higher order poles to parametrize the Teichmüller space of crowned hyperbolic surfaces. Such a surface is obtained on uniformizing a compact Riemann surface with marked points on its boundary components, and has non-compact ends with boundary cusps. This extends Wolf's pa…
Generalizes neural network verification by adding arbitrary cutting planes.
problem Handling general cutting plane constraints in neural network verification.
method Generalized bound propagation method (GCP-CROWN) that allows arbitrary cutting plane constraints.
result GCP-CROWN significantly improves neural network verification performance.
Finding minimum distortion of adversarial examples and thus certifying robustness in neural network classifiers for given data points is known to be a challenging problem. Nevertheless, recently it has been shown to be possible to give a non-trivial certified lower bound of minimum adversarial distortion, and some rece…
SLIC-UAV monitors forest recovery using UAVs and machine learning.
problem Challenges in monitoring forest recovery, especially in logged tropical forests.
method Novel pipeline for UAV imagery analysis, combining crown labelling, species classification, and superpixel segmentation.
result SLIC-UAV achieves high accuracy in species mapping, from 79.3% to 90.5%.
This paper studies deformations of hyperbolic surfaces with special structures.
problem Infinitesimal deformations of hyperbolic surfaces with boundary and ideal vertices.
method Description of the admissible cone of deformations in terms of the arc complex.
result Realization of the admissible cone and its faces as arc complexes for specific surface families.
The paper analyzes constrained optimal portfolios in high dimensions using novel statistical learning techniques.
problem Forming optimal portfolios with constraints in high-dimensional asset spaces.
method CROWN method integrating factor models with nodewise regression for estimation in large dimensions.
result Demonstrates estimation consistency and convergence rates for constrained portfolio weights, risk, and Sharpe Ratio.
Mirzakhani volumes of moduli spaces are polylogarithmic.
problem Understanding the volume of moduli spaces of hyperbolic surfaces.
method Expressed as a sum of polylogarithms evaluated at specific points.
result Mirzakhani volumes are polylogarithmic.
We study the profitability of optimal mean reversion trading strategies in the US equity market. Different from regular pair trading practice, we apply maximum likelihood method to construct the optimal static pairs trading portfolio that best fits the Ornstein-Uhlenbeck process, and rigorously estimate the parameters.…
FROWN optimizes neural network robustness, improving safety in deep learning.
problem Ensuring robustness of neural networks against adversarial attacks.
method Optimization-based approach to tighten robustness certificates.
result Deterministic CROWN solutions are optimal under mild constraints.
SAWAR improves SA models by making them more robust to data uncertainties.
problem Improving survival analysis models' robustness to data uncertainties.
method Adversarial robustness through Min-Max optimization with CROWN-IBP.
result SAWAR outperforms baseline methods and SOTA models across various metrics.
Let be a connected, oriented surface with punctures and negative Euler characteristic. We introduce wild globally hyperbolic anti-de Sitter structures on and provide two parameterisations of their deformation space: as a quotient of the product of two copies of the Teichmüller space of crowned …
Verifying robustness of neural network classifiers has attracted great interests and attention due to the success of deep neural networks and their unexpected vulnerability to adversarial perturbations. Although finding minimum adversarial distortion of neural networks (with ReLU activations) has been shown to be an NP…
Ergodic Annealingcs.AI
New method uses reinforcement learning to improve Simulated Annealing.
problem Optimization problems with unknown cost functions.
method Replaces Metropolis engine with Macau Algorithm.
result Effective heuristic for unknown cost functions.
With deep neural networks providing state-of-the-art machine learning models for numerous machine learning tasks, quantifying the robustness of these models has become an important area of research. However, most of the research literature merely focuses on the \textit{worst-case} setting where the input of the neural …
A meromorphic projective structure on a punctured Riemann surface is determined, after fixing a standard projective structure on , by a meromorphic quadratic differential with poles of order three or more at each puncture in . In this article we prove the analogue of Thurston's grafting theorem for…
The paper refines transformations of lattice diagrams and introduces dotted diagrams.
problem Investigating transformations and deformations of lattice diagrams and their associated dotted diagrams.
method Introducing dotted diagrams and investigating deformations of these diagrams, relating them to transformations of lattice diagrams.
result Refined results on the relation between deformations of admissible dotted diagrams and transformations of lattice diagrams.
This note explains how to transform Heegaard diagrams into framed link diagrams.
problem No specific problem stated; transformation of diagrams is the focus.
method Explains a procedure to transform Heegaard diagrams into framed link diagrams.
result Demonstrates a method to transform Heegaard diagrams into framed link diagrams.
New minimal link diagrams found, including torus links and homogeneous ones.
problem Finding minimal link diagrams with new classes.
method Morton-Franks-Williams inequality approach.
result New classes of minimal link diagrams, including previously unproven ones.
Algorithm converts Kirby diagrams to trisection diagrams for 4-manifolds.
problem Creating efficient trisection diagrams for 4-manifolds.
method Algorithm converting Kirby diagrams to trisection diagrams.
result Provides examples of trisection diagrams for 4-manifolds.
Kernelized Taylor diagram visualizes data populations with fewer assumptions.
problem Limitations of Taylor diagram in capturing non-linear relationships and sensitivity to outliers.
method Proposes a kernelized version of the Taylor diagram that uses maximum mean discrepancy and kernel mean embedding.
result Kernelized Taylor diagram visualizes data populations with minimal assumptions of data distributions.
A virtual link diagram is called normal if the associated abstract link diagram is checkerboard colorable, and a virtual link is normal if it has a normal diagram as a representative.In this paper, we introduce a method of converting a virtual link diagram to a normal virtual link diagram by use of the double covering …
Study categorizes knots and links as rigid or shaky based on Reidemeister moves.
problem Classifying knots and links as rigid or shaky based on adaptability to Reidemeister moves.
method Categorization of hard diagrams as rigid or shaky, investigation of rigid and shaky hard diagrams for specific knots and links.
result Every link has a rigid hard diagram, and there is an upper limit for the number of crossings in such diagrams.
Twisted graph diagrams are virtual graph diagrams with bars on edges. A bijection between abstract graph diagrams and twisted graph diagrams is constructed. Then a polynomial invariant of Yamada-type is developed which provides a lower bound for the virtual crossing number of virtual graph diagrams.
A virtual link diagram is called normal if the associated abstract link diagram is checkerboard colorable, and a virtual link is normal if it has a normal diagram as a representative. Normal virtual links have some properties similar to classical links.In this paper, we introduce a method of converting a virtual link d…
Persistence diagrams are important descriptors in Topological Data Analysis. Due to the nonlinearity of the space of persistence diagrams equipped with their {\em diagram distances}, most of the recent attempts at using persistence diagrams in machine learning have been done through kernel methods, i.e., embeddings of …
Problems on region choices for knot and link diagrams solved using Alexander numbering.
problem Existence of solutions for region choice problems on knot and link diagrams.
method Alexander numbering for regions, alternative proofs, necessary and sufficient conditions.
result Existence of solutions for region choice problems on link diagrams.
Table of symmetric diagrams for knots up to 10 crossings.
problem Finding symmetric diagrams for strongly invertible knots.
method Compilation of symmetric diagrams for knots up to 10 crossings.
result Similarity of transversal diagrams to symmetric union diagrams for strongly invertible knots.
The presence of slipknots in configurations of proteins and DNA has been shown to affect their functionality, or alter it entirely. Historically, polymers are modeled as polygonal chains in space. As an alternative to space curves, we provide a framework for working with subknots inside of knot diagrams via knotoid dia…
Proves minimal crossing diagrams for specific spatial graphs.
problem Proving minimal crossing diagrams for spatial graphs.
method Analyzing adequate diagrams and replacing vertices and edges.
result All 1-vertex spatial graphs with adequate diagrams have minimal crossing number.
Rectangular diagrams help analyze foliations in 3-sphere.
problem Analyzing foliations in 3-sphere complements.
method Introduced rectangular diagrams for foliations and links.
result Any co-orientable finite depth foliation can be presented by a compatible rectangular diagram.
Bankwitz characterized an alternating diagram representing the trivial knot. A non-alternating diagram is called almost alternating if one crossing change makes the diagram alternating. We characterize an almost alternaing diagram representing the trivial knot. As a corollary we determine an unknotting number one alter…
The paper explores when specific knot operations simplify diagrams.
problem Understanding when arc crossing changes simplify knot diagrams.
method Examined two types of arc crossing changes on link diagrams and determined when they are unknotting operations.
result Any two crossing points in an alternating knot diagram are arc crossing change admissible.
Gauss diagrams' properties can change with Hamiltonian cycle choice.
problem The impact of Hamiltonian cycle choice on Gauss diagrams.
method Examined realizable and unrealizable Gauss diagrams, and proved preservation of realizability under certain Hamiltonian cycle changes.
result Properties of Gauss diagrams can vary with Hamiltonian cycle choice.
New estimate of semimeander complexity for knots with more than 10 crossings.
problem Estimating the complexity of semimeander diagrams of knots.
method Proved a new upper bound on the number of crossings for semimeander diagrams of knots with more than 10 crossings.
result For knots with more than 10 crossings, semimeander diagrams have no more than crossings.
Paper proves link diagrams can be realized for some but not all types of links.
problem Realizing link diagrams for different types of links.
method Analyzing link diagrams for welded and virtual links.
result Similar results hold for welded links but not for virtual links.
GridPyM handles grid diagrams for knot theory.
problem Handling grid diagrams for knot theory.
method Generates and simplifies grids, models local transformations.
result Models local transformations between grid diagrams.
There is a well-known way to describe a link diagram as a (signed) plane graph, called its Tait graph. This concept was recently extended, providing a way to associate a set of embedded graphs (or ribbon graphs) to a link diagram. While every plane graph arises as a Tait graph of a unique link diagram, not every embedd…
The study improves inequalities for link diagrams and introduces weak rectangular diagrams.
problem Improving inequalities for link diagrams and understanding their properties.
method Introducing weak rectangular diagrams and proving new inequalities.
result Generalizes and subsumes many known inequalities related to multi-crossing numbers.
In this paper, a link diagram is said to be minimal if no Reidemeister move I or II can be applied to it to reduce the number of crossings. We show that for an arbitrary diagram D of a link without a trivial split component, a minimal diagram obtained by applying Reidemeister moves I and II to D is unique. The proof al…
By using the cohomology theory of quandles, quandle cocycle invariants and shadow quandle cocycle invariants are defined for oriented links and surface-links via broken surface diagrams. By using symmetric quandles, symmetric quandle cocycle invariants are also defined for unoriented links and surface-links via broken …
Standard trisection diagrams found for Mazur type 4-manifolds.
problem Finding standard trisection diagrams for Mazur type 4-manifolds.
method Doubling a relative trisection diagram and using an algorithm from Kirby diagrams to trisection diagrams.
result Certain trisection diagrams of Mazur type 4-manifolds are standard.