Results 1 to 10 of about 82,169 (96)

Geometric Representations of Interacting Maps

International Journal of Mathematics and Mathematical Sciences, 2010
Tropical geometry is a kind of dynamical scale transform which connects automata with real rational dynamics. Real rational dynamics are deeply studied from global analytic viewpoints.
Tsuyoshi Kato
doaj   +1 more source

Tropicalization of the moduli space of stable maps [PDF]

, 2015
Let $X$ be an algebraic variety and let $S$ be a tropical variety associated to $X$. We study the tropicalization map from the moduli space of stable maps into $X$ to the moduli space of tropical curves in $S$.
Yu, Tony Yue
core   +1 more source

Rationality of semialgebraic functions [PDF]

, 2017
Let X be an algebraic subset of Rⁿ, and ƒ: X → R a semialgebraic function. We prove that if ƒ is continuous rational on each curve C ⊂ X then: 1) ƒ is arc-analytic, 2) ƒ is continuous rational on X.
Kucharz, Wojciech, Kurdyka, Krzysztof
core   +2 more sources

On the convergence of formal CR maps between hypersurfaces [PDF]

, 2001
Première apparition des identités de réflexion conjuguées. Voir la référence de synthèse http://fr.arxiv.org/abs/math.CV/0404248 (à paraitre aux Annales de la Faculté des Sciences de Toulouse en Juin 2005) pour un historique de la compétition avec ...
Merker, Joel
core   +2 more sources

Exact spin correlators of integrable quantum circuits from algebraic geometry

SciPost Physics
We calculate the correlation functions of strings of spin operators for integrable quantum circuits exactly. These observables can be used for the calibration of quantum simulation platforms.
Arthur Hutsalyuk, Yunfeng Jiang, Balazs Pozsgay, Hefeng Xu, Yang Zhang
doaj   +1 more source

Symmetries of holomorphic geometric structures on tori [PDF]

, 2016
We prove that any holomorphic locally homogeneous geometric structure on a complex torus, modelled on a complex homogeneous surface, is translation invariant. We conjecture that this result is true is any dimension.
Dumitrescu, Sorin, McKay, Benjamin
core   +3 more sources

On Termination of Integer Linear Loops

, 2014
A fundamental problem in program verification concerns the termination of simple linear loops of the form x := u ; while Bx >= b do {x := Ax + a} where x is a vector of variables, u, a, and c are integer vectors, and A and B are integer matrices ...
Ouaknine, Joël, Pinto, João Sousa, Worrell, James   +2 more
core   +1 more source

Noncoherent SIMO Pre-Log via Resolution of Singularities [PDF]

, 2011
We establish a lower bound on the noncoherent capacity pre-log of a temporally correlated Rayleigh block-fading single-input multiple-output (SIMO) channel. Our result holds for arbitrary rank Q of the channel correlation matrix, arbitrary block-length L
Bölcskei, Helmut, Durisi, Giuseppe, Lin, Shaowei, Morgenshtern, Veniamin I., Riegler, Erwin, Sturmfels, Bernd   +5 more
core   +2 more sources

Multivariate Residues and Maximal Unitarity

, 2013
We extend the maximal unitarity method to amplitude contributions whose cuts define multidimensional algebraic varieties. The technique is valid to all orders and is explicitly demonstrated at three loops in gauge theories with any number of fermions and
Sogaard, Mads, Zhang, Yang
core   +1 more source

Etale homotopy types of moduli stacks of algebraic curves with symmetries [PDF]

, 2003
Using the machinery of etale homotopy theory a' la Artin-Mazur we determine the etale homotopy types of moduli stacks over $\bar{\Q}$ parametrizing families of algebraic curves of genus g greater than 1 endowed with an action of a finite group G of ...
Frediani, Paola, Neumann, Frank
core   +2 more sources