Study on existence of balanced metrics on non-Kähler manifolds.
problem Existence of balanced metrics on non-Kähler complex manifolds.
method Analyzes obstructions and constructs examples, focusing on compact quotients of Lie groups.
result Proves non-existence on certain non-Kähler complex parallelizable manifolds and solvmanifolds.
The paper broadens a mathematical correspondence to include more balanced metrics.
problem Extending a mathematical correspondence to a broader class of metrics.
method Using key observations and known theorems to apply results to a new class of metrics.
result The known results can be applied to a larger class of metrics, including those arising from multipolarizations.
New inequalities generalize Li's theorem on mixed Hodge structures.
problem Generalizing Li's theorem on mixed Hodge structures.
method Develop new Hodge-Riemann bilinear relations in mixed settings.
result New Khovanskii-Teissier type inequalities and log-concavity results.
Proves Hodge-Riemann relations for mixed valuations and strengthens geometric inequalities.
problem Geometric inequalities and mixed Hodge-Riemann relations for translation-invariant valuations.
method Proves mixed Hodge-Riemann relations for various convex bodies and their mixed volumes.
result Strengthened geometric inequalities for lower dimensional convex bodies.
Proves hard Lefschetz theorem and Hodge-Riemann relations for convex valuations.
problem Proving properties of convex valuations analogous to Kähler manifolds.
method Elliptic operator theory and perturbation theory applied to unbounded operators on a Hilbert space.
result Establishes hard Lefschetz theorem and Hodge-Riemann relations for convex bodies.
We establish in this note some Cauchy-Schwarz-type inequalities on compact Kähler manifolds, which generalize the classical Khovanskii-Teissier inequalities to higher-dimensional cases. Our proof is to make full use of the mixed Hodge-Riemann bilinear relations due to Dinh and Nguye^n. A proportionality p…
Disproves Fedotov's conjecture on higher-order Shephard inequalities.
problem Fedotov's conjecture on higher-order Shephard inequalities.
method Using Hodge-Riemann relations for simple convex polytopes.
result Fedotov's conjecture is disproved.
Paper refines Alesker-Bernig-Schuster theorem, proving Hodge-Riemann relations for Euclidean balls.
problem Understanding translation-invariant valuations and their geometric implications.
method Explicit construction of highest weight vectors and analysis of natural operations on these vectors.
result Proof of Hodge-Riemann relations for Euclidean balls, extending geometric inequalities.
Proves cohomology theorems for tropical varieties.
problem Cohomology of smooth projective tropical varieties.
method Introduces and proves new results in tropical geometry.
result Establishes tropical analogs of three fundamental theorems.
Proves tropical Hodge theory for smooth projective varieties, conditional on Laplacian regularity.
problem Proving log-concavity of characteristic polynomials of matroids.
method Combinatorial approach, conditional proof of Kähler package.
result Conditional proof of Kähler package for tropical cohomology.
Compactifies moduli spaces of Hermitian-Yang-Mills connections on balanced manifolds.
problem Analyzing Ω-Yang-Mills connections on Riemannian manifolds. method Extending known results on Yang-Mills connections to Ω-Yang-Mills connections, proving weak compactness and removable singularity theorems. result Compactification of moduli spaces of smooth Hermitian-Yang-Mills connections on unitary bundles over balanced manifolds.
The paper uses Tannakian reconstruction to understand hyperbolic log-orbi curves.
problem Understanding the structure of hyperbolic log-orbi curves.
method Formulates hyperbolic uniformization as a Tannakian reconstruction theorem and constructs a canonical maximal parahoric PSL2-Higgs object.
result Reconstructs the absolute Galois group of a one-variable complex function field as the inverse limit of etale fundamental groups of orbifold models.
The paper generalizes Hodge theory to semisimple local systems and proves a geometric Decomposition theorem.
problem Generalizing Hodge theory to semisimple local systems.
method Establishing a canonical isomorphism and proving a global invariant cycle theorem.
result A new geometric proof of the Decomposition theorem for semisimple local systems.
The paper shows that certain geometric structures remain unchanged under specific twists.
problem The rational Beauville-Bogomolov-Fujiki lattices of related fibrations are similar.
method Analytic and étale topologies, Hodge structures, and degenerate twistor deformations.
result Isomorphisms of graded vector spaces and Hodge-similar lattices.
A manifold (M,I,J,K) is called hypercomplex if I,J,K are complex structures satisfying quaternionic relations. A quaternionic Hermitian metric is called HKT (hyperkaehler with torsion) if IdωI=JdωJ=KdωK, where ωI,ωJ,ωK are Hermitian forms associated with I, J, K. A Hermitian metric ω on a complex manifo…
Consider a simplicial complex that allows for an embedding into Rd. How many faces of dimension 2d or higher can it have? How dense can they be? This basic question goes back to Descartes' "Lost Theorem" and Euler's work on polyhedra. Using it and other fundamental combinatorial problems, we intr…
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%.
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.
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…
We analyze Darboux transformations in very general settings for multidimensional linear partial differential operators. We consider all known types of Darboux transformations, and present a new type. We obtain a full classification of all operators that admit Wronskian type Darboux transformations of first order and a …
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.
Despite the great success of deep neural networks, the adversarial attack can cheat some well-trained classifiers by small permutations. In this paper, we propose another type of adversarial attack that can cheat classifiers by significant changes. For example, we can significantly change a face but well-trained neural…
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.
As entity type systems become richer and more fine-grained, we expect the number of types assigned to a given entity to increase. However, most fine-grained typing work has focused on datasets that exhibit a low degree of type multiplicity. In this paper, we consider the high-multiplicity regime inherent in data source…
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.
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…
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 $…
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.
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.
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.
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…
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.
Nearly Kähler and Kähler-Codazzi type manifolds are defined in a very similar way. We prove that nearly Kähler type manifolds have sense just in Hermitian and para-Hermitian contexts, and that Kähler-Codazzi type manifolds reduce to Kähler type manifolds in all the four Hermitian, para-Hermitian, Norden and product Rie…
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.
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…
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.
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.
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.
Study covers of surfaces, showing types and properties.
problem Characterize homeomorphism types of surface covers.
method Analyzing homeomorphism types of covers of surfaces, identifying universal covers and homology covers.
result Identify four possible homeomorphism types for certain covers of surfaces.
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.
Generalized Roter type manifold is a generalization of conformally flat manifold as well as Roter type manifold, which gives rise the form of the curvature tensor in terms of algebraic combinations of the fundamental metric tensor and Ricci tensors upto level 2. The object of the present paper is to investigate the cha…
We study the transfer of adversarial robustness of deep neural networks between different perturbation types. While most work on adversarial examples has focused on L∞ and L2-bounded perturbations, these do not capture all types of perturbations available to an adversary. The present work evaluates 32 attack…
New cylindrical solutions found for Grushin-type problem.
problem Critical Grushin-type problem on CR sphere.
method Local Pohozaev identities for non-degeneracy, Lyapunov-Schmidt reduction for solutions.
result New type of multi-bubbling cylindrical solutions constructed.
The paper estimates curvature for a specific type of equations.
problem Estimating curvature for Hessian type equations.
method Establishing curvature estimates for a class of Hessian type equations.
result Curvature estimates for Hessian type equations have been successfully established.