English
Related papers

Related papers: Extended Fermi coordinates

200 papers

We define the notion of circular words, then consider on such words a constraint derived from the Fibonacci condition. We give several results on the structure of these circular words, then mention possible applications to various…

Formal Languages and Automata Theory · Computer Science 2011-08-19 Benoît Rittaud , Laurent Vivier

A broader definition of generalized truncations of graphs is introduced followed by an exploration of some standard concepts and parameters with regard to generalized truncations.

Combinatorics · Mathematics 2020-07-10 Brian Alspach , Joshua B. Connor

We define a modular function which is a generalization of the elliptic modular lambda function. We show this function and the modular invariant function generate the modular function field with respect to the principal congruence subgroup.…

Number Theory · Mathematics 2015-04-21 Noburo Ishii

Four constructions for Ferrers diagram rank-metric (FDRM) codes are presented. The first one makes use of a characterization on generator matrices of a class of systematic maximum rank distance codes. By introducing restricted Gabidulin…

Combinatorics · Mathematics 2019-10-10 Shuangqing Liu , Yanxun Chang , Tao Feng

We show that a wide class of geometrically defined overdetermined semilinear partial differential equations may be explicitly prolonged to obtain closed systems. As a consequence, in the case of linear equations we extract sharp bounds on…

Differential Geometry · Mathematics 2008-11-26 Thomas Branson , Andreas Cap , Michael Eastwood , Rod Gover

The defect of valued field extensions is a major obstacle in open problems in resolution of singularities and in the model theory of valued fields, whenever positive characteristic is involved. We continue the detailed study of defect…

Commutative Algebra · Mathematics 2017-05-29 Anna Blaszczok , Franz-Viktor Kuhlmann

Abstract convexity generalises classical convexity by considering the suprema of functions taken from an arbitrarily defined set of functions. These are called the abstract linear (abstract affine) functions. The purpose of this paper is to…

Optimization and Control · Mathematics 2025-01-30 Reinier Diàz Millàn , Nadezda Sukhorukova , Julien Ugon

We give a general constructive proof for hierarchical coordinatizations (Lagrange Decompositions) of permutation groups. The generalization originates from the investigation of how the subgroup chains of finite permutation groups yield…

Group Theory · Mathematics 2009-12-01 Attila Egri-Nagy , Chrystopher L. Nehaniv

We develop an alternative view on the concept of connections over a vector bundle map, which consists of a horizontal lift procedure to a prolonged bundle. We further focus on prolongations to an affine bundle and introduce the concept of…

Differential Geometry · Mathematics 2008-02-04 T. Mestdag , W. Sarlet , E. Martinez

We give defining equations for function fields over finite fields with many rational places. They are obtained from composita of quadratic extensions of the rational function field.

Number Theory · Mathematics 2007-05-23 Stephan Semirat

Fermat-holonomic congruences are proposed as a weaker substitute for the too restrictive class of Born-rigid motions. The definition is expressed as a set of differential equations. Integrability conditions and Cauchy data are studied.

General Relativity and Quantum Cosmology · Physics 2007-05-23 J. Llosa , D. Soler

We consider membranes as fluid deformable surface and allow for higher order geometric terms in the bending energy. The evolution equations are derived and numerically solved using surface finite elements. The higher order geometric terms…

Soft Condensed Matter · Physics 2024-12-19 Jan Magnus Sischka , Ingo Nitschke , Axel Voigt

We introduce the notion of an enriched set, as an abstraction of enriched categories, and a category of enriched sets. The set of enriched sets is itself described as a set enriched over the category of enriched sets. We introduce a method…

Category Theory · Mathematics 2019-03-19 Bradley M. Willocks

We discuss various formalisms to describe string-to-string transformations. Many are based on automata and can be seen as operational descriptions, allowing direct implementations when the input scanner is deterministic. Alternatively, one…

Formal Languages and Automata Theory · Computer Science 2019-08-06 Paul Gastin

We develop a theory of higher order structures in compact abelian groups. In the frame of this theory we prove general inverse theorems and regularity lemmas for Gowers's uniformity norms. We put forward an algebraic interpretation of the…

Combinatorics · Mathematics 2012-03-13 Balazs Szegedy

We have generalised the properties with the tensor product, of one 4x4 matrix which is a permutation matrix, and we call a tensor commutation matrix. Tensor commutation matrices can be constructed with or without calculus. A formula allows…

General Mathematics · Mathematics 2007-05-23 Rakotonirina Christian

We define and study symmetrized and antisymmetrized multivariate exponential functions. They are defined as determinants and antideterminants of matrices whose entries are exponential functions of one variable. These functions are…

Classical Analysis and ODEs · Mathematics 2009-11-13 A. Klimyk , J. Patera

We give a combinatorial definition of the second parameter describing Sturmian words, that we call formal intercept, as an infinite Ostrowski expansion. We recall the well-known properties of Sturmian words, study factors graphs and…

Combinatorics · Mathematics 2018-03-07 Caius Wojcik

We consider the set of power functions defined on the set of positive real number, and their linear combinations. After recalling some properties of the gamma function, we give two general definitions of derivatives of positive and negative…

General Mathematics · Mathematics 2015-04-29 Raoelina Andriambololona , Tokiniaina Ranaivoson , Hanitriarivo Rakotoson , Raboanary Roland

Generalized metrics, arising from Lawvere's view of metric spaces as enriched categories, have been widely applied in denotational semantics as a way to measure to which extent two programs behave in a similar, although non equivalent, way.…

Logic in Computer Science · Computer Science 2021-04-28 Paolo Pistone