1,505 research outputs found
Partial Derivative Automaton for Regular Expressions with Shuffle
We generalize the partial derivative automaton to regular expressions with
shuffle and study its size in the worst and in the average case. The number of
states of the partial derivative automata is in the worst case at most 2^m,
where m is the number of letters in the expression, while asymptotically and on
average it is no more than (4/3)^m
Non-abelian -theory: Berends-Giele recursion for the -expansion of disk integrals
We present a recursive method to calculate the -expansion of disk
integrals arising in tree-level scattering of open strings which resembles the
approach of Berends and Giele to gluon amplitudes. Following an earlier
interpretation of disk integrals as doubly partial amplitudes of an effective
theory of scalars dubbed as -theory, we pinpoint the equation of motion of
-theory from the Berends-Giele recursion for its tree amplitudes. A computer
implementation of this method including explicit results for the recursion up
to order is made available on the website
http://repo.or.cz/BGap.gitComment: 58 pages, harvmac TeX, v2: cosmetic changes, published versio
Analytic aspects of the shuffle product
There exist very lucid explanations of the combinatorial origins of rational
and algebraic functions, in particular with respect to regular and context free
languages. In the search to understand how to extend these natural
correspondences, we find that the shuffle product models many key aspects of
D-finite generating functions, a class which contains algebraic. We consider
several different takes on the shuffle product, shuffle closure, and shuffle
grammars, and give explicit generating function consequences. In the process,
we define a grammar class that models D-finite generating functions
Nested sums of symbols and renormalised multiple zeta functions
We define discrete nested sums over integer points for symbols on the real
line, which obey stuffle relations whenever they converge. They relate to Chen
integrals of symbols via the Euler-MacLaurin formula. Using a suitable
holomorphic regularisation followed by a Birkhoff factorisation, we define
renormalised nested sums of symbols which also satisfy stuffle relations. For
appropriate symbols they give rise to renormalised multiple zeta functions
which satisfy stuffle relations at all arguments. The Hurwitz multiple zeta
functions fit into the framework as well. We show the rationality of multiple
zeta values at nonpositive integer arguments, and a higher-dimensional analog
is also investigated.Comment: Two major changes : improved treatment of the Hurwitz multiple zeta
functions, and more conceptual (and shorter) approach of the multidimensional
cas
Reordering Derivatives of Trace Closures of Regular Languages
We provide syntactic derivative-like operations, defined by recursion on regular expressions, in the styles of both Brzozowski and Antimirov, for trace closures of regular languages. Just as the Brzozowski and Antimirov derivative operations for regular languages, these syntactic reordering derivative operations yield deterministic and nondeterministic automata respectively. But trace closures of regular languages are in general not regular, hence these automata cannot generally be finite. Still, as we show, for star-connected expressions, the Antimirov and Brzozowski automata, suitably quotiented, are finite. We also define a refined version of the Antimirov reordering derivative operation where parts-of-derivatives (states of the automaton) are nonempty lists of regular expressions rather than single regular expressions. We define the uniform scattering rank of a language and show that, for a regexp whose language has finite uniform scattering rank, the truncation of the (generally infinite) refined Antimirov automaton, obtained by removing long states, is finite without any quotienting, but still accepts the trace closure. We also show that star-connected languages have finite uniform scattering rank
- …