arXiv research

Study preserves symplectic structure in forced discrete mechanical systems.

In this paper, we make a generalization of Routh's reduction method for Lagrangian systems with symmetry to the case where not any regularity condition is imposed on the Lagrangian. First, we show how implicit Lagrange-Routh equations can be obtained from the Hamilton-Pontryagin principle, by making use of an anholonom…

The paper explores polysymplectic structures and their reductions in field theories.

We make use of a symmetry reduction technique called Routh reduction to show that the solutions of the Euler-Lagrange equations of a strongly convex autonomous Lagrangian which lie on a specific energy level can be thought of as geodesics of an associated Finsler function.

We extend Routh's reduction procedure to an arbitrary Lagrangian system (that is, one whose Lagrangian is not necessarily the difference of kinetic and potential energies) with a symmetry group which is not necessarily Abelian. To do so we analyse the restriction of the Euler-Lagrange field to a level set of momentum i…

The possibility of the global Lagrangian reduction of a mechanical system with symmetry is shown to be connected with the characteristic class of a principal fiber bundle of the configuration space over the factor manifold. It is proved that the reduced system is globally Lagrangian if and only if the product of the mo…

Introduces nonlinear splittings on fibre bundles for generalizing connections.

This paper develops a generalized formulation of Lagrangian mechanics on fibered manifolds, together with a reduction theory for symmetries corresponding to Lie groupoid actions. As special cases, this theory includes not only Lagrangian reduction (including reduction by stages) for Lie group actions, but also classica…

This paper explores vortices and harmonic flows on compact surfaces, using Hodge decomposition.

Typilus predicts types for Python programs using neural networks.

LambdaNet infers TypeScript types using graph neural networks.

Study shows partially-typed NER datasets can match fully-typed ones in model performance.

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.

New spherical curve deformations solve a conjecture.

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.

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.

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.

It is known that all left-invariant pseudo-Riemannian metrics on $H_3$ are algebraic Ricci solitons. We consider generalizations of Riemannian $H$-type, namely pseudo$H$-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.

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.

Crowdsourced labeling recovers task types with minimal 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.

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.

Paper shows certain algebra types are not differentially smooth.

New representations for discrete surfaces derived from dual transforms.

Study covers of surfaces, showing types and properties.

Characterizes monodromies of projective structures on finite-type surfaces.

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_\infty$ and $L_2$-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.

The paper estimates curvature for a specific type of equations.

In this paper, we study the Lorentzian minimal surfaces in the Minkowski space-time with finite type Gauss map. First, we obtain the classification of this type of surfaces with pointwise 1-type Gauss map. Then, we proved that there are no Lorentzian minimal surface in the Minkowski space-time with null 2-type Gauss ma…

We show that every knot type admits a pair of diagrams that cannot be made identical without using Reidemeister Omega_2-moves. We also show that our proof is compatible with known results for the other move types, in the sense that every knot type admits a pair of diagrams that cannot be made identical without using al…

The paper provides gradient estimates for nonlinear heat-type equations on smooth metric measure spaces.

We show that many spin 6-manifolds have the homotopy type but not the homeomorphism type of a Kaehler manifold. Moreover, for given Betti numbers, there are only finitely many deformation types and hence topological types of smooth complex projectve spin threefolds of general type. Finally, on a fixed spin 6-manifold, …

Computes knot types using HOMFLY-PT polynomial.

Artin groups of types $F_4$ and $H_4$ are not commensurable with $D_4$.

We construct a finite dimensional quiver algebra from the non-simply laced type $B$ Dynkin diagram, which we call the type $B$ zigzag algebra. This leads to a faithful categorical action of the type $B$ braid group $\mathcal{A}(B)$, acting on the homotopy category of its projective modules. This categorical action is a…