2,586 research outputs found
Analogue of Newton-Puiseux series for non-holonomic D-modules and factoring
We introduce a concept of a fractional-derivatives series and prove that any
linear partial differential equation in two independent variables has a
fractional-derivatives series solution with coefficients from a differentially
closed field of zero characteristic. The obtained results are extended from a
single equation to -modules having infinite-dimensional space of solutions
(i. e. non-holonomic -modules). As applications we design algorithms for
treating first-order factors of a linear partial differential operator, in
particular for finding all (right or left) first-order factors
Formal Desingularization of Surfaces - The Jung Method Revisited -
In this paper we propose the concept of formal desingularizations as a
substitute for the resolution of algebraic varieties. Though a usual resolution
of algebraic varieties provides more information on the structure of
singularities there is evidence that the weaker concept is enough for many
computational purposes. We give a detailed study of the Jung method and show
how it facilitates an efficient computation of formal desingularizations for
projective surfaces over a field of characteristic zero, not necessarily
algebraically closed. The paper includes a generalization of Duval's Theorem on
rational Puiseux parametrizations to the multivariate case and a detailed
description of a system for multivariate algebraic power series computations.Comment: 33 pages, 2 figure
Large Limits in Tensor Models: Towards More Universality Classes of Colored Triangulations in Dimension
We review an approach which aims at studying discrete (pseudo-)manifolds in
dimension and called random tensor models. More specifically, we
insist on generalizing the two-dimensional notion of -angulations to higher
dimensions. To do so, we consider families of triangulations built out of
simplices with colored faces. Those simplices can be glued to form new building
blocks, called bubbles which are pseudo-manifolds with boundaries. Bubbles can
in turn be glued together to form triangulations. The main challenge is to
classify the triangulations built from a given set of bubbles with respect to
their numbers of bubbles and simplices of codimension two. While the colored
triangulations which maximize the number of simplices of codimension two at
fixed number of simplices are series-parallel objects called melonic
triangulations, this is not always true anymore when restricting attention to
colored triangulations built from specific bubbles. This opens up the
possibility of new universality classes of colored triangulations. We present
three existing strategies to find those universality classes. The first two
strategies consist in building new bubbles from old ones for which the problem
can be solved. The third strategy is a bijection between those colored
triangulations and stuffed, edge-colored maps, which are some sort of hypermaps
whose hyperedges are replaced with edge-colored maps. We then show that the
present approach can lead to enumeration results and identification of
universality classes, by working out the example of quartic tensor models. They
feature a tree-like phase, a planar phase similar to two-dimensional quantum
gravity and a phase transition between them which is interpreted as a
proliferation of baby universes
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
The universal-algebraic approach has proved a powerful tool in the study of
the complexity of CSPs. This approach has previously been applied to the study
of CSPs with finite or (infinite) omega-categorical templates, and relies on
two facts. The first is that in finite or omega-categorical structures A, a
relation is primitive positive definable if and only if it is preserved by the
polymorphisms of A. The second is that every finite or omega-categorical
structure is homomorphically equivalent to a core structure. In this paper, we
present generalizations of these facts to infinite structures that are not
necessarily omega-categorical. (This abstract has been severely curtailed by
the space constraints of arXiv -- please read the full abstract in the
article.) Finally, we present applications of our general results to the
description and analysis of the complexity of CSPs. In particular, we give
general hardness criteria based on the absence of polymorphisms that depend on
more than one argument, and we present a polymorphism-based description of
those CSPs that are first-order definable (and therefore can be solved in
polynomial time).Comment: Extended abstract appeared at 25th Symposium on Logic in Computer
Science (LICS 2010). This version will appear in the LMCS special issue
associated with LICS 201
- …