5,377 research outputs found
A Rational Reconstruction and Extension of Recursion Analysis
The focus of this paper is the technique of recur8\on analysis. Recursion analysis is used by the Boyer-Moore Theorem Prover to choose an appropriate induction schema and variable to prove theorems by mathematical induction. A rational reconstruction of recursion analysis is outlined, using the technique of proof plans. This rational reconstruction suggests an extension of recursion analysis which frees the induction suggestion from the forms of recursion found in the conjecture. Preliminary results are reported of the automation of this rational reconstruction and extension using the CLAM-Oyster system
Nijenhuis operator in contact homology and descendant recursion in symplectic field theory
In this paper we investigate the algebraic structure related to a new type of
correlator associated to the moduli spaces of -parametrized curves in
contact homology and rational symplectic field theory. Such correlators are the
natural generalization of the non-equivariant linearized contact homology
differential (after Bourgeois-Oancea) and give rise to an invariant Nijenhuis
(or hereditary) operator (\`a la Magri-Fuchssteiner) in contact homology which
recovers the descendant theory from the primaries. We also sketch how such
structure generalizes to the full SFT Poisson homology algebra to a (graded
symmetric) bivector. The descendant hamiltonians satisfy to recursion
relations, analogous to bihamiltonian recursion, with respect to the pair
formed by the natural Poisson structure in SFT and such bivector. In case the
target manifold is the product stable Hamiltonian structure , with
a symplectic manifold, the recursion coincides with genus topological
recursion relations in the Gromov-Witten theory of .Comment: 30 pages, 3 figure
A Primer on the Tools and Concepts of Computable Economics
Computability theory came into being as a result of Hilbert's attempts to meet Brouwer's challenges, from an intuitionistc and constructive standpoint, to formalism as a foundation for mathematical practice. Viewed this way, constructive mathematics should be one vision of computability theory. However, there are fundamental differences between computability theory and constructive mathematics: the Church-Turing thesis is a disciplining criterion in the former and not in the latter; and classical logic - particularly, the law of the excluded middle - is not accepted in the latter but freely invoked in the former, especially in proving universal negative propositions. In Computable Economic an eclectic approach is adopted where the main criterion is numerical content for economic entities. In this sense both the computable and the constructive traditions are freely and indiscriminately invoked and utilised in the formalization of economic entities. Some of the mathematical methods and concepts of computable economics are surveyed in a pedagogical mode. The context is that of a digital economy embedded in an information society
Perspectives for proof unwinding by programming languages techniques
In this chapter, we propose some future directions of work, potentially
beneficial to Mathematics and its foundations, based on the recent import of
methodology from the theory of programming languages into proof theory. This
scientific essay, written for the audience of proof theorists as well as the
working mathematician, is not a survey of the field, but rather a personal view
of the author who hopes that it may inspire future and fellow researchers
Cyclic LTI systems in digital signal processing
Cyclic signal processing refers to situations where all the time indices are interpreted modulo some integer L. In such cases, the frequency domain is defined as a uniform discrete grid (as in L-point DFT). This offers more freedom in theoretical as well as design aspects. While circular convolution has been the centerpiece of many algorithms in signal processing for decades, such freedom, especially from the viewpoint of linear system theory, has not been studied in the past. In this paper, we introduce the fundamentals of cyclic multirate systems and filter banks, presenting several important differences between the cyclic and noncyclic cases. Cyclic systems with allpass and paraunitary properties are studied. The paraunitary interpolation problem is introduced, and it is shown that the interpolation does not always succeed. State-space descriptions of cyclic LTI systems are introduced, and the notions of reachability and observability of state equations are revisited. It is shown that unlike in traditional linear systems, these two notions are not related to the system minimality in a simple way. Throughout the paper, a number of open problems are pointed out from the perspective of the signal processor as well as the system theorist
How smooth are particle trajectories in a CDM Universe?
It is shown here that in a flat, cold dark matter (CDM) dominated Universe
with positive cosmological constant (), modelled in terms of a
Newtonian and collisionless fluid, particle trajectories are analytical in time
(representable by a convergent Taylor series) until at least a finite time
after decoupling. The time variable used for this statement is the cosmic scale
factor, i.e., the "-time", and not the cosmic time. For this, a
Lagrangian-coordinates formulation of the Euler-Poisson equations is employed,
originally used by Cauchy for 3-D incompressible flow. Temporal analyticity for
CDM is found to be a consequence of novel explicit all-order recursion
relations for the -time Taylor coefficients of the Lagrangian displacement
field, from which we derive the convergence of the -time Taylor series. A
lower bound for the -time where analyticity is guaranteed and shell-crossing
is ruled out is obtained, whose value depends only on and on the
initial spatial smoothness of the density field. The largest time interval is
achieved when vanishes, i.e., for an Einstein-de Sitter universe.
Analyticity holds also if, instead of the -time, one uses the linear
structure growth -time, but no simple recursion relations are then obtained.
The analyticity result also holds when a curvature term is included in the
Friedmann equation for the background, but inclusion of a radiation term
arising from the primordial era spoils analyticity.Comment: 16 pages, 4 figures, published in MNRAS, this paper introduces a
convergent formulation of Lagrangian perturbation theory for LCD
Lattice Green Functions: the seven-dimensional face-centred cubic lattice
We present a recursive method to generate the expansion of the lattice Green
function of the d-dimensional face-centred cubic (fcc) lattice. We produce a
long series for d =7. Then we show (and recall) that, in order to obtain the
linear differential equation annihilating such a long power series, the most
economic way amounts to producing the non-minimal order differential equations.
We use the method to obtain the minimal order linear differential equation of
the lattice Green function of the seven-dimensional face-centred cubic (fcc)
lattice. We give some properties of this irreducible order-eleven differential
equation. We show that the differential Galois group of the corresponding
operator is included in . This order-eleven operator is
non-trivially homomorphic to its adjoint, and we give a "decomposition" of this
order-eleven operator in terms of four order-one self-adjoint operators and one
order-seven self-adjoint operator. Furthermore, using the Landau conditions on
the integral, we forward the regular singularities of the differential equation
of the d-dimensional lattice and show that they are all rational numbers. We
evaluate the return probability in random walks in the seven-dimensional fcc
lattice. We show that the return probability in the d-dimensional fcc lattice
decreases as as the dimension d goes to infinity.Comment: 19 page
- âŠ