Computer Science for Continuous Data:Survey, Vision, Theory, and Practice of a Computer Analysis System

Building on George Boole's work, Logic provides a rigorous foundation for the powerful tools in Computer Science that underlie nowadays ubiquitous processing of discrete data, such as strings or graphs. Concerning continuous data, already Alan Turing had applied "his" machines to formalize and study the processing of real numbers: an aspect of his oeuvre that we transform from theory to practice.The present essay surveys the state of the art and envisions the future of Computer Science for continuous data: natively, beyond brute-force discretization, based on and guided by and extending classical discrete Computer Science, as bridge between Pure and Applied Mathematics

Integrability, rational solitons and symmetries for nonlinear systems in Biology and Materials Physics

[ES] Los sistemas no lineales constituyen un tema de investigación de creciente interés en las últimas décadas dada su versatilidad en la descripción de fenómenos físicos en diversos campos de estudio. Generalmente, dichos fenómenos vienen modelizados por ecuaciones diferenciales no lineales, cuya estructura matemática ha demostrado ser sumamente rica, aunque de gran complejidad respecto a su análisis. Dentro del conjunto de los sistemas no lineales, cabe destacar un reducido grupo, pero a la vez selecto, que se distingue por las propiedades extraordinarias que presenta: los denominados sistemas integrables. La presente tesis doctoral se centra en el estudio de algunas de las propiedades más relevantes observadas para los sistemas integrables. En esta tesis se pretende proporcionar un marco teórico unificado que permita abordar ecuaciones diferenciales no lineales que potencialmente puedan ser consideradas como integrables. En particular, el análisis de integralidad de dichas ecuaciones se realiza a través de técnicas basadas en la Propiedad de Painlevé, en combinación con la subsiguiente búsqueda de los problemas espectrales asociados y la identificación de soluciones analíticas de naturaleza solitónica. El método de la variedad singular junto con las transformaciones de auto-Bäcklund y de Darboux jugarán un papel fundamental en este estudio. Además, también se lleva a cabo un análisis complementario basado en las simetrías de Lie y reducciones de similaridad, que nos permitirán estudiar desde esta nueva perspectiva los problemas espectrales asociados. Partiendo de la archiconocida ecuación de Schrödinger no lineal, se han investigado diferentes generalizaciones integrables de dicha ecuación con numerosas aplicaciones en diversos campos científicos, como la Física Matemática, Física de Materiales o Biología.[EN] Nonlinear systems emerge as an active research topic of growing interest during the last decades due to their versatility when it comes to describing physical phenomena. Such scenarios are typically modelled by nonlinear differential equations, whose mathematical structure has proved to be incredibly rich, but highly nontrivial to treat. In particular, a narrow but surprisingly special group of this kind stands out: the so-called integrable systems. The present doctoral thesis focuses on the study of some of the extraordinary properties observed for integrable systems. The ultimate purpose of this dissertation lies in providing a unified theoretical framework that allows us to approach nonlinear differential equations that may potentially be considered as integrable. In particular, their integrability characterization is addressed by means of Painlevé analysis, in conjunction with the subsequent quest of the associated spectral problems and the identification of analytical solutions of solitonic nature. The singular manifold method together with auto-Bäckund and Darboux transformations play a critical role in this setting. In addition, a complementary methodology based on Lie symmetries and similarity reductions is proposed so as to analyze integrable systems by studying the symmetry properties of their associated spectral problems. Taking the ubiquitous nonlinear Schrödinger equation as the starting point, we have investigated several integrable generalizations of this equation that possess copious applications in distinct scientific fields, such as Mathematical Physics, Material Sciences and Biology

Geometric Numerical Integration

The subject of this workshop was numerical methods that preserve geometric properties of the flow of an ordinary or partial differential equation. This was complemented by the question as to how structure preservation affects the long-time behaviour of numerical methods

Parameterized macromodeling of passive and active dynamical systems

L'abstract è presente nell'allegato / the abstract is in the attachmen

Automata and finite order elements in the Nottingham group

The Nottingham group at 2 is the group of (formal) power series t+a2t2+a3t3+⋯ in the variable t with coefficients ai from the field with two elements, where the group operation is given by composition of power series. The depth of such a series is the largest d⩾1 for which a2=…=ad=0. Only a handful of power series of finite order (forcedly a power of 2) are explicitly known through a formula for their coefficients. We argue in this paper that it is advantageous to describe such series in closed computational form through automata, based on effective versions of proofs of Christol's theorem identifying algebraic and automatic series. Up to conjugation, there are only finitely many series σ of order 2n with fixed break sequence (i.e. the sequence of depths of σ∘2i). Starting from Witt vector or Carlitz module constructions, we give an explicit automaton-theoretic description of: (a) representatives up to conjugation for all series of order 4 with break sequence (1,m) for m<10; (b) representatives up to conjugation for all series of order 8 with minimal break sequence (1,3,11); and (c) an embedding of the Klein four-group into the Nottingham group at 2. We study the complexity of the new examples from the algebro-geometric properties of the equations they satisfy. For this, we generalise the theory of sparseness of power series to a four-step hierarchy of complexity, for which we give both Galois-theoretic and combinatorial descriptions. We identify where our different series fit into this hierarchy. We construct sparse representatives for the conjugacy class of elements of order two and depth 2μ±1 (μ⩾1). Series with small state complexity can end up high in the hierarchy. This is true, for example, for a new automaton we found, representing a series of order 4 with 5 states (the minimal possible number for such a series)

A Method to Symbolically Compute Convolution Integrals

This thesis presents a method for computing symbolic solutions of a certain class of improper integrals related to convolutions of Mellin transforms. Important integrals that fall into this category are integral transforms such as the Fourier, Laplace, and Hankel transforms. The method originated in a presentation by Salvy, However, many of the details of the method were absent. We present the method of Salvy in full which computes a linear homogeneous differentail equation which is satisfied by the integral in question. A theory of contour integrals is introduced that is related to the contour definition of Meijer G functions. This theory is used to prove the correctness of the method of Salvy and also gives a way to compute regions of validity for the solutions computed. We then extend the method to compute symbolic solutions of the integral along with where the solutions are valid