1,525 research outputs found
A computer algebra user interface manifesto
Many computer algebra systems have more than 1000 built-in functions, making
expertise difficult. Using mock dialog boxes, this article describes a proposed
interactive general-purpose wizard for organizing optional transformations and
allowing easy fine grain control over the form of the result even by amateurs.
This wizard integrates ideas including:
* flexible subexpression selection;
* complete control over the ordering of variables and commutative operands,
with well-chosen defaults;
* interleaving the choice of successively less main variables with applicable
function choices to provide detailed control without incurring a combinatorial
number of applicable alternatives at any one level;
* quick applicability tests to reduce the listing of inapplicable
transformations;
* using an organizing principle to order the alternatives in a helpful
manner;
* labeling quickly-computed alternatives in dialog boxes with a preview of
their results,
* using ellipsis elisions if necessary or helpful;
* allowing the user to retreat from a sequence of choices to explore other
branches of the tree of alternatives or to return quickly to branches already
visited;
* allowing the user to accumulate more than one of the alternative forms;
* integrating direct manipulation into the wizard; and
* supporting not only the usual input-result pair mode, but also the useful
alternative derivational and in situ replacement modes in a unified window.Comment: 38 pages, 12 figures, to be published in Communications in Computer
Algebr
On the algebraic structure of rational discrete dynamical systems
We show how singularities shape the evolution of rational discrete dynamical
systems. The stabilisation of the form of the iterates suggests a description
providing among other things generalised Hirota form, exact evaluation of the
algebraic entropy as well as remarkable polynomial factorisation properties. We
illustrate the phenomenon explicitly with examples covering a wide range of
models
On Jordan's measurements
The Jordan measure, the Jordan curve theorem, as well as the other generic
references to Camille Jordan's (1838-1922) achievements highlight that the
latter can hardly be reduced to the "great algebraist" whose masterpiece, the
Trait\'e des substitutions et des equations alg\'ebriques, unfolded the
group-theoretical content of \'Evariste Galois's work. The present paper
appeals to the database of the reviews of the Jahrbuch \"uber die Fortschritte
der Mathematik (1868-1942) for providing an overview of Jordan's works. On the
one hand, we shall especially investigate the collective dimensions in which
Jordan himself inscribed his works (1860-1922). On the other hand, we shall
address the issue of the collectives in which Jordan's works have circulated
(1860-1940). Moreover, the time-period during which Jordan has been publishing
his works, i.e., 1860-1922, provides an opportunity to investigate some
collective organizations of knowledge that pre-existed the development of
object-oriented disciplines such as group theory (Jordan-H\"older theorem),
linear algebra (Jordan's canonical form), topology (Jordan's curve), integral
theory (Jordan's measure), etc. At the time when Jordan was defending his
thesis in 1860, it was common to appeal to transversal organizations of
knowledge, such as what the latter designated as the "theory of order." When
Jordan died in 1922, it was however more and more common to point to
object-oriented disciplines as identifying both a corpus of specialized
knowledge and the institutionalized practices of transmissions of a group of
professional specialists
The Galois Complexity of Graph Drawing: Why Numerical Solutions are Ubiquitous for Force-Directed, Spectral, and Circle Packing Drawings
Many well-known graph drawing techniques, including force directed drawings,
spectral graph layouts, multidimensional scaling, and circle packings, have
algebraic formulations. However, practical methods for producing such drawings
ubiquitously use iterative numerical approximations rather than constructing
and then solving algebraic expressions representing their exact solutions. To
explain this phenomenon, we use Galois theory to show that many variants of
these problems have solutions that cannot be expressed by nested radicals or
nested roots of low-degree polynomials. Hence, such solutions cannot be
computed exactly even in extended computational models that include such
operations.Comment: Graph Drawing 201
The SIC Question: History and State of Play
Recent years have seen significant advances in the study of symmetric
informationally complete (SIC) quantum measurements, also known as maximal sets
of complex equiangular lines. Previously, the published record contained
solutions up to dimension 67, and was with high confidence complete up through
dimension 50. Computer calculations have now furnished solutions in all
dimensions up to 151, and in several cases beyond that, as large as dimension
844. These new solutions exhibit an additional type of symmetry beyond the
basic definition of a SIC, and so verify a conjecture of Zauner in many new
cases. The solutions in dimensions 68 through 121 were obtained by Andrew
Scott, and his catalogue of distinct solutions is, with high confidence,
complete up to dimension 90. Additional results in dimensions 122 through 151
were calculated by the authors using Scott's code. We recap the history of the
problem, outline how the numerical searches were done, and pose some
conjectures on how the search technique could be improved. In order to
facilitate communication across disciplinary boundaries, we also present a
comprehensive bibliography of SIC research.Comment: 16 pages, 1 figure, many references; v3: updating bibliography,
dimension eight hundred forty fou
The notion of dimension in geometry and algebra
This talk reviews some mathematical and physical ideas related to the notion
of dimension. After a brief historical introduction, various modern
constructions from fractal geometry, noncommutative geometry, and theoretical
physics are invoked and compared.Comment: 29 pages, a revie
Bounds for eigenforms on arithmetic hyperbolic 3-manifolds
On a family of arithmetic hyperbolic 3-manifolds of squarefree level, we
prove an upper bound for the sup-norm of Hecke-Maass cusp forms, with a power
saving over the local geometric bound simultaneously in the Laplacian
eigenvalue and the volume. By a novel combination of diophantine and geometric
arguments in a noncommutative setting, we obtain bounds as strong as the best
corresponding results on arithmetic surfaces.Comment: 22 pages, LaTeX2e, to appear in Duke Mathematical Journa
- …