Proves integrability of dispersionless Hirota type equations in 4D implies symplectic Monge-Ampere property.
problem Proving integrability of dispersionless Hirota type equations in 4D.
method Analyzing the symplectic Monge-Ampere property and deriving relations.
result Complete classification of integrable dispersionless PDEs of Hirota type in 4D.
New insights into hyperelliptic divisors via integrable Hirota equations.
problem Understanding the geometry of hyperelliptic divisors.
method Proving the vanishing of genus 3 theta constants with even characteristics.
result Integrable Hirota equations specify the structure of hyperelliptic divisors.
Study finds metrics that admit Einstein-Weyl structures.
problem Investigating 3D near-horizon metrics for Einstein-Weyl structures.
method Examining 3D near-horizon metrics gNH for compatibility with 1-forms X to form Einstein-Weyl structures. result Explicit examples found, including Einstein-Weyl structures of KP and Hirota types.
We investigate integrable second order equations of the form F(u_{xx}, u_{xy}, u_{yy}, u_{xt}, u_{yt}, u_{tt})=0. Familiar examples include the Boyer-Finley equation, the potential form of the dispersionless Kadomtsev-Petviashvili equation, the dispersionless Hirota equation, etc. The integrability is understood as the…
Paper explores deformations of Hirota equation using geometric constructions.
problem Dispersionless Hirota equation and its deformations.
method Geometric constructions on twistor space.
result Produces new deformations of Hirota equation.
We exploit the correspondence between the three-dimensional Lorentzian Einstein-Weyl geometries of the hyper-CR type, and the Veronese webs to show that the former structures are locally given in terms of solutions to the dispersionless Hirota equation. We also demonstrate how to construct hyper-CR Einstein--Weyl struc…
We study integrable non-degenerate Monge-Ampere equations of Hirota type in 4D and demonstrate that their symmetry algebras have a distinguished graded structure, uniquely determining the equations. This is used to deform these heavenly type equations into new integrable PDE of the second order with large symmetry pseu…
New method to derive integrable systems from existing Lax systems.
problem Deriving new integrable systems from existing ones.
method Systematic method of deriving new integrable systems from a given one.
result Examples of new integrable systems derived, including the dispersionless Hirota equation, the general heavenly equation, and the web equations.
Alexander polynomials relate to KP hierarchy via 1-hook property.
problem Relating knot polynomials to the KP hierarchy.
method Kontsevich construction and linear equations reformulation.
result Solutions of reformulated system induce KP equations in Hirota form.
The paper explores connections between Veronese webs and integrable equations, revealing new symmetries and structures.
problem Understanding the relationships between Veronese webs and integrable equations.
method Established correspondence between Veronese three-dimensional webs and hyper-CR structures, used dispersionless Lax pairs to deform integrable equations, computed contact symmetries and Backlund transformations.
result Found new integrable equations and structures related to Veronese webs, linking finite-dimensional systems to dispersionless integrable PDEs.
Study on hypermaps and KP hierarchy, proving tau function and enumerative meaning.
problem Understanding the partition function of meromorphic functions on the Riemann sphere.
method Analysis of Hurwitz Dubrovin--Frobenius manifold structure and rational reductions of the KP hierarchy.
result The all genera partition function is a tau function of a rational reduction of the Kadomtsev--Petviashvili hierarchy.
Motion of curves and surfaces in R3 lead to nonlinear evolution equations which are often integrable. They are also intimately connected to the dynamics of spin chains in the continuum limit and integrable soliton systems through geometric and gauge symmetric connections/equivalence. Here we point out the fact that…
The paper connects web theory to heavenly PDEs and Einstein metrics.
problem Understanding the correspondence between self-dual metrics and vector fields.
method Using Nijenhuis operators and web theory to construct new heavenly PDEs.
result New integrable heavenly PDEs derived from Nijenhuis operators.
Typilus predicts types for Python programs using neural networks.
problem Type inference in dynamically typed languages is challenging.
method Graph neural network model that predicts types by probabilistically reasoning over program structure, names, and patterns.
result Typilus can predict types for 70% of all annotatable symbols and type checks 95% of the predicted types.
LambdaNet infers TypeScript types using graph neural networks.
problem Automatic inference of TypeScript type annotations.
method Graph Neural Network for type dependency graph analysis.
result LambdaNet outperforms existing methods by 14%.
Classifies different types of Darboux transformations for multidimensional operators.
problem Classifying Darboux transformations for multidimensional operators.
method Analyzes all known types of Darboux transformations and introduces new types.
result Full classification of first-order Darboux transformations and a description of higher-order transformations.
Study shows partially-typed NER datasets can match fully-typed ones in model performance.
problem Leveraging multiple partially-typed NER datasets for training models without fully-typed annotations.
method Systematic analysis and controlled experiments comparing partially-typed and fully-typed datasets.
result Models trained with partially-typed annotations can achieve similar performance to those trained with fully-typed annotations.
New model predicts fine-grained types for high-multiplicity entities.
problem Fine-grained entity typing with high type multiplicity.
method Set-prediction approach to high-multiplicity fine-grained typing.
result Model outperforms baselines on Wikipedia-based corpus.
The generic fiber of a Lagrangian fibration on an irreducible holomorphic symplectic manifold is an abelian variety. Associate a polarization type to such Lagrangian fibrations coming from polarizations on a generic fiber. We prove that this polarization type is constant in families of Lagrangian fibrations. Further, w…
Paper introduces a new adversarial attack type that cheats classifiers with significant changes.
problem Cheating well-trained classifiers with small permutations.
method Supervised variation autoencoder and gradient-based updates to latent variables.
result The proposed attack significantly cheats classifiers with significant changes, reducing Type I error.
Constructs odd Khovanov homotopy types for links, linking them to even types.
problem Understanding and constructing odd Khovanov homotopy types for links.
method Constructs stable homotopy types X^j_o(L) for links L, with cohomology matching odd Khovanov homology.
result Odd Khovanov homotopy types carry a Z/2 action whose fixed points are related to even Khovanov homotopy types.
Study shows infinite real homotopy types for complex nilmanifolds.
problem Understanding real homotopy types of complex nilmanifolds.
method Analyzing 2n-dimensional nilmanifolds with generalized complex structures. result Infinitely many real homotopy types exist for 2n-dimensional nilmanifolds. ptype infers data types robustly in real-world data.
problem Type inference fails with missing data and anomalies.
method Probabilistic robust type inference method.
result Outperforms existing methods.
Category theory generalizes finite type invariants using diagrams systems.
problem Generalizing finite type invariants using category theory.
method Relating generating sets for generalized finite type theories with diagrams systems.
result Demonstrates the correspondence between finite type theories and diagrams systems.
New spherical curve deformations solve a conjecture.
problem Solving the Östlund Conjecture for spherical curves.
method Introducing a new type of deformation (β) and proving equivalence under specific deformations.
result Equivalence of spherical curves under specific deformations.
Finite-type surfaces have a topological Hopf property.
problem Characterizing surfaces with a topological Hopf property.
method Using topological analogs of the Hopf property.
result Infinite-type surfaces do not have the Hopf property.
Study shows transfer of adversarial robustness between different perturbation types is limited.
problem Understanding adversarial robustness across various perturbation types.
method Evaluated 32 attacks of 5 different types on models trained on a subset of ImageNet.
result Adversarial robustness transfer between perturbation types is limited and depends on the specific type of perturbation.
Kähler-Ricci flow singularity type is independent of initial metric.
problem Independence of singularity type for Kähler-Ricci flows.
method Analyzing solutions to the Kähler-Ricci flow on numerically effective manifolds.
result The singularity type of solutions is independent of the initial metric.
The paper defines a new equivalence relation for knot projections and finds an infinite number of distinct classes.
problem Classifying knot projections based on weak homotopy equivalence.
method Defining weak (1, 2, 3) homotopy and using it to find an invariant.
result There are an infinite number of weak (1, 2, 3) homotopy equivalence classes of knot projections.
We describe a bordered version of totally twisted Khovanov homology. We first twist Roberts's type D structure by adding a "vertical" type D structure which generalizes the vertical map in twisted tangle homology. One of the distinct advantages of our type D structure is that it is homotopy equivalent to a type $…
In the theory of finite type submanifolds, null 2-type submanifolds are the most simple ones, besides 1-type submanifolds (cf. e.g., [3, 12]). In particular, the classification problems of null 2-type hypersurfaces are quite interesting and of fundamentally important. In this paper, we prove that every δ(3)-ideal nul…
Extends techniques to show existence of all cusp types in convex projective manifolds.
problem Existence of all cusp types in convex projective manifolds.
method Extension of techniques by Ballas-Marquis.
result Existence of all cusp types in all dimensions except diagonalizable.
Study BF invariants using simple type concepts.
problem Understanding Bauer--Furuta invariants for 4-manifolds.
method Extend simple type concept to BF blowup and BF homogeneous types, prove gluing formulae and adjunction inequality.
result Determine Bauer--Furuta invariant of a specific 4-manifold and give constraints on gluing decompositions.
It is known that all left-invariant pseudo-Riemannian metrics on H3 are algebraic Ricci solitons. We consider generalizations of Riemannian H-type, namely pseudoH-type and pH-type. We study algebraic Ricci solitons of left-invariant Lorentzian metrics on 2-step nilpotent Lie groups of both types.
We study Legendrian knots in a cabled knot type. Specifically, given a topological knot type K, we analyze the Legendrian knots in knot types obtained from K by cabling, in terms of Legendrian knots in the knot type K. As a corollary of this analysis, we show that the (2,3)-cable of the (2,3)-torus knot is not transver…
Classifies special Lie algebras with semisimple types.
problem Classifying Lie algebras of semisimple type.
method Introduced conformal pseudo-subriemannian fundamental graded Lie algebras and provided their classification.
result Classification of conformal pseudo-subriemannian fundamental graded Lie algebras of semisimple type and their prolongations.
Study flip graphs for surfaces of infinite type, finding uncountably many connected components.
problem Understanding relationships between triangulations of infinite type surfaces via flips.
method Associate triangulations to flip graphs and study sequences of simultaneous flips.
result Flip graphs for infinite type surfaces have uncountably many connected components.
Crowdsourced labeling recovers task types with minimal queries.
problem Labeling tasks accurately with minimal queries.
method Worker clustering, skill estimation, weighted majority voting.
result Achieves any targeted recovery accuracy with minimum queries.
New extremal Poincaré type metrics found via blow-up theorem.
problem Finding new extremal Poincaré type metrics.
method Proved Arezzo-Pacard-Singer blow-up theorem for Poincaré type metrics and applied to new examples.
result Found new examples of extremal Poincaré type metrics with an additional obstruction.
We define a notion of finite type invariants for links with a fixed linking matrix. We show that Milnor's triple link homotopy invariant is a finite type invariant, of type 1, in this sense. We also generalize the approach to Milnor's higher order homotopy invariants and show that they are also, in a sense, of finite t…
Constructs two types of Eguchi-Hanson metrics with negative scalar curvature.
problem Creating metrics with negative scalar curvature.
method Constructed two types of Eguchi-Hanson metrics.
result Found metrics with negative scalar curvature.
In this paper, we obtain a Cartan type identity for curvature-adapted isoparametric hypersurfaces in symmetric spaces of compact type or non-compact type. This identity is a generalization of Cartan-D'Atri's identity for curvature-adapted(=amenable) isoparametric hypersurfaces in rank one symmetric spaces. Furthermore,…
Extends A-type coefficient polynomials to B-type setting, introducing new invariants.
problem Tackles the B-type skein relation and introduces new coefficient polynomials.
method Introduces coefficient polynomials associated with the B-type skein relation and proves their invariance under Reidemeister moves.
result Shows that the generating series of these coefficient polynomials recovers the Kauffman polynomial.
Study of Lagrangian mean curvature flow with equivariant symmetry.
problem Understanding singularities in Lagrangian mean curvature flow.
method Structural theorems about blowups of finite-time singularities.
result Classification of singularities in equivariant case.
New representations for discrete surfaces derived from dual transforms.
problem Constructing discrete surfaces in differential geometry.
method Using Ω-dual transform and lightlike Gauss maps in Laguerre geometry. result All discrete linear Weingarten surfaces arise via Weierstrass-type representations.
Geodesic convexity types differ in Riemannian manifolds.
problem Characterizing geodesic convexity types in Riemannian manifolds.
method Reverse engineering to characterize manifolds with coinciding convexity types.
result Characterized complete manifolds with coinciding geodesic convexity types.
Paper shows certain algebra types are not differentially smooth.
problem Characterizing smoothness in double extension regular algebras.
method Analyzing algebra type (14641) for differential smoothness.
result Double extension regular algebras of type (14641) are not differentially smooth.
Characterizes monodromies of projective structures on finite-type surfaces.
problem Understanding monodromies of projective structures on finite-type surfaces.
method Geometrical/topological study of local conical projective structures.
result Any representation can be represented as the holonomy of a branched projective structure.