45,507 research outputs found
Foliations for solving equations in groups: free, virtually free, and hyperbolic groups
We give an algorithm for solving equations and inequations with rational
constraints in virtually free groups. Our algorithm is based on Rips
classification of measured band complexes. Using canonical representatives, we
deduce an algorithm for solving equations and inequations in hyperbolic groups
(maybe with torsion). Additionnally, we can deal with quasi-isometrically
embeddable rational constraints.Comment: 70 pages, 7 figures, revised version. To appear in Journal of
Topolog
A Numerical Unitarity Formalism for Evaluating One-Loop Amplitudes
Recent progress in unitarity techniques for one-loop scattering amplitudes
makes a numerical implementation of this method possible. We present a
4-dimensional unitarity method for calculating the cut-constructible part of
amplitudes and implement the method in a numerical procedure. Our technique can
be applied to any one-loop scattering amplitude and offers the possibility that
one-loop calculations can be performed in an automatic fashion, as tree-level
amplitudes are currently done. Instead of individual Feynman diagrams, the
ingredients for our one-loop evaluation are tree-level amplitudes, which are
often already known. To study the practicality of this method we evaluate the
cut-constructible part of the 4, 5 and 6 gluon one-loop amplitudes numerically,
using the analytically known 4, 5 and 6 gluon tree-level amplitudes.
Comparisons with analytic answers are performed to ascertain the numerical
accuracy of the method.Comment: 29 pages with 8 figures; references updated in rsponse to readers'
suggestion
Computing Bounds on Network Capacity Regions as a Polytope Reconstruction Problem
We define a notion of network capacity region of networks that generalizes
the notion of network capacity defined by Cannons et al. and prove its notable
properties such as closedness, boundedness and convexity when the finite field
is fixed. We show that the network routing capacity region is a computable
rational polytope and provide exact algorithms and approximation heuristics for
computing the region. We define the semi-network linear coding capacity region,
with respect to a fixed finite field, that inner bounds the corresponding
network linear coding capacity region, show that it is a computable rational
polytope, and provide exact algorithms and approximation heuristics. We show
connections between computing these regions and a polytope reconstruction
problem and some combinatorial optimization problems, such as the minimum cost
directed Steiner tree problem. We provide an example to illustrate our results.
The algorithms are not necessarily polynomial-time.Comment: Appeared in the 2011 IEEE International Symposium on Information
Theory, 5 pages, 1 figur
Folding Transformation Rules for Constraint Logic Programs
We consider the folding transformation rule for constraint
logic programs. We propose an algorithm for applying the folding rule in the case where the constraints are linear equations and inequations over the rational or the real numbers. Basically, our algorithm consists in reducing a rule application to the solution of one or more systems
of linear equations and inequations. We also introduce two variants of the folding transformation rule. The first variant combines the folding rule with the clause splitting rule, and the second variant eliminates the existential variables of a clause, that is, those variables which occur in the body of the clause and not in its head. Finally, we present the algorithms for applying these variants of the folding rule
On Network Coding Capacity - Matroidal Networks and Network Capacity Regions
One fundamental problem in the field of network coding is to determine the
network coding capacity of networks under various network coding schemes. In
this thesis, we address the problem with two approaches: matroidal networks and
capacity regions.
In our matroidal approach, we prove the converse of the theorem which states
that, if a network is scalar-linearly solvable then it is a matroidal network
associated with a representable matroid over a finite field. As a consequence,
we obtain a correspondence between scalar-linearly solvable networks and
representable matroids over finite fields in the framework of matroidal
networks. We prove a theorem about the scalar-linear solvability of networks
and field characteristics. We provide a method for generating scalar-linearly
solvable networks that are potentially different from the networks that we
already know are scalar-linearly solvable.
In our capacity region approach, we define a multi-dimensional object, called
the network capacity region, associated with networks that is analogous to the
rate regions in information theory. For the network routing capacity region, we
show that the region is a computable rational polytope and provide exact
algorithms and approximation heuristics for computing the region. For the
network linear coding capacity region, we construct a computable rational
polytope, with respect to a given finite field, that inner bounds the linear
coding capacity region and provide exact algorithms and approximation
heuristics for computing the polytope. The exact algorithms and approximation
heuristics we present are not polynomial time schemes and may depend on the
output size.Comment: Master of Engineering Thesis, MIT, September 2010, 70 pages, 10
figure
- …