Search results for "Number"

Cohomologie relative des applications polynomiales

2001

Let F be a polynomial dominating mapping from Cn to Cq with n>q. We study the de Rham cohomology of the fibres of F, and its relative cohomology groups. Let us fix a strictly positive weighted homogeneous degree on C[x1,…,xn]. With the leading terms of the coordinate functions of F, we construct a fibre of F that is said to be “at infinity”. We introduce the cohomology groups of F at infinity. These groups, denoted by Hk(F−1(∞)), enable us to study all the other cohomology groups of F. For instance, if the fibre at infinity has an isolated singularity at the origin, we prove that any quasi-homogeneous basis of Hn−q(F−1(∞)) provides a basis of all groups Hn−q(F−1(y)), as well as a basis of t…

Renormalization and Knot Theory

1997

We investigate to what extent renormalization can be understood as an algebraic manipulation on concatenated one-loop integrals. We find that the resulting algebra indicates a useful connection to knot theory as well as number theory and report on recent results in support of this connection.

Algebraic Results on Quantum Automata

2004

We use tools from the algebraic theory of automata to investigate the class of languages recognized by two models of Quantum Finite Automata (QFA): Brodsky and Pippenger’s end-decisive model, and a new QFA model whose definition is motivated by implementations of quantum computers using nucleo-magnetic resonance (NMR). In particular, we are interested in the new model since nucleo-magnetic resonance was used to construct the most powerful physical quantum machine to date. We give a complete characterization of the languages recognized by the new model and by Boolean combinations of the Brodsky-Pippenger model. Our results show a striking similarity in the class of languages recognized by th…

Double point curves for corank 2 map germs from C2 to C3

2012

Abstract We characterize finite determinacy of map germs f : ( C 2 , 0 ) → ( C 3 , 0 ) in terms of the Milnor number μ ( D ( f ) ) of the double point curve D ( f ) in ( C 2 , 0 ) and we provide an explicit description of the double point scheme in terms of elementary symmetric functions. Also we prove that the Whitney equisingularity of 1-parameter families of map germs f t : ( C 2 , 0 ) → ( C 3 , 0 ) is equivalent to the constancy of both μ ( D ( f t ) ) and μ ( f t ( C 2 ) ∩ H ) with respect to t , where H ⊂ C 3 is a generic plane.

Tsen–Lang Theory for Cpi-fields

1995

On totally permutable products of finite groups

2005

[EN] The behaviour of totally permutable products of finite groups with respect to certain classes of groups is studied in the paper. The results are applied to obtain information about totally permutable products of T, PT, and PST-groups.

Hartmanis-Stearns Conjecture on Real Time and Transcendence

2012

Hartmanis-Stearns conjecture asserts that any number whose decimal expansion can be computed by a multitape Turing machine is either rational or transcendental. After half a century of active research by computer scientists and mathematicians the problem is still open but much more interesting than in 1965.

Equivalence Problem of Composite Class Diagrams

2001

Multiplicity constraints in a UML composite class diagram may be inconsistent. An algorithm is given for eliminating all such inconsistencies. Using this algorithm an algorithm is constructed which for two given composite class diagrams solves the equivalence problem. These algorithms can be embedded in CASE tools for automated detection of multiplicity inconsistencies.

Proper triangular Ga-actions on A^4 are translations

2013

We describe the structure of geometric quotients for proper locally triangulable additve group actions on locally trivial A^3-bundles over a noetherian normal base scheme X defined over a field of characteristic 0. In the case where dim X=1, we show in particular that every such action is a translation with geometric quotient isomorphic to the total space of a vector bundle of rank 2 over X. As a consequence, every proper triangulable Ga-action on the affine four space A^4 over a field of characteristic 0 is a translation with geometric quotient isomorphic to A^3.

ON AUTOMORPHISMS OF GENERALIZED ALGEBRAIC-GEOMETRY CODES.

2007

Abstract We consider a class of generalized algebraic-geometry codes based on places of the same degree of a fixed algebraic function field over a finite field F / F q . We study automorphisms of such codes which are associated with automorphisms of F / F q .