相关论文: The Weitzenb\"ock derivations and classical invari…

We look into computational aspects of two classical knot invariants. We look for ways of simplifying the computation of the coloring invariant and of the Alexander module. We support our ideas with explicit computations on pretzel knots.

We develop symbolic methods of asymptotic approximations for solutions of linear ordinary differential equations and use to them stabilize numerical calculations. Our method follows classical analysis for first-order systems and…

In the presence of a variable magnetic field, the Weyl pseudodifferential calculus must be modified. The usual modification, based on ``the minimal coupling principle'' at the level of the classical symbols, does not lead to gauge invariant…

In this work, we define the notions of Wronskian and simplified Wronskian for Stieltjes derivatives and study some of their properties in a similar manner to the context of time scales or the usual derivative. Later, we use these tools to…

The dynamic of a classical system can be expressed by means of Poisson brackets. In this paper we generalize the relation between the usual non covariant Hamiltonian and the Poisson brackets to a covariant Hamiltonian and new brackets in…

We give a detailed account of the classical Van Kampen method for computing presentations of fundamental groups of complements of complex algebraic curves, and of a variant of this method, working with arbitrary projections (even with…

In this paper we construct a geometric analogue of the Weil representation over a finite field. Our construction is principally invariant, not choosing any specific realization. This eliminates most of the unpleasant formulas that appear in…

In this paper, we consider the complexity of propositional proofs of classical and intuitionistic tautologies. In fact, we describe a nondeterministic polynomial-time decision procedure for intuitionistic implicational tautologies. For this…

In the first part of this paper we review several formalisms which give alternative ways for describing the light. They are: the formalism `baroque' and the Majorana-Oppenheimer form of electrodynamics, the Sachs' theory of Elementary…

The Moyal--Weyl description of quantum mechanics provides a comprehensive phase space representation of dynamics. The Weyl symbol image of the Heisenberg picture evolution operator is regular in $\hbar$. Its semiclassical expansion…

Examples are worked out using a new equation proposed in the previous paper to show that it has new physical predictions for mesoscopic systems.

We present a new combinatorial and conjectural algorithm for computing the Mullineux involution for the symmetric group and its Hecke algebra. This algorithm is built on a conjectural property of crystal isomorphisms which can be rephrased…

This paper presents a variational and multisymplectic formulation of both compressible and incompressible models of continuum mechanics on general Riemannian manifolds. A general formalism is developed for non-relativistic first-order…

We introduce a variant of the birational symbols group of Kontsevich, Pestun, and the second author, and use this to define birational invariants of algebraic orbifolds.

In Moyal's formulation of quantum mechanics, a quantum spin s is described in terms of continuous symbols, i.e. by smooth functions on a two-dimensional sphere. Such prescriptions to associate operators with Wigner functions, P- or…

We introduce proper display calculi for basic monotonic modal logic,the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and subformula property. Our…

For classical canonical transformations, one can, using the Wigner transformation, pass from their representation in Hilbert space to a kernel in phase space. In this paper it will be discussed how the time-dependence of the uncertainties…

The formalism of classical and quantum mechanics on phase space leads to symplectic and Heisenberg group representations, respectively. The Wigner functions give a representation of the quantum system using classical variables. The…

In the present paper, we consider in detail the aspects of the Heisenberg's equations of motion, related to their transformation to the representation dependent of external sources. We provide with a closed solution as to the…

We use the theory of the quantum group $U_q(gl(2,\RR))$ in order to develop a quantum theory of invariants and show a decomposition of invariants into a Gordan-Capelli series. Higher binary forms are introduced on the basis of braided…