Related papers: Parametrization of Formal Norm Compatible Sequence…

In this paper we prove that if we consider the standard real metric on simplicial rooted trees then the category Tower-Set of inverse sequences can be described by means of the bounded coarse geometry of the naturally associated trees.…

For a given Coleman family of modular forms, we construct a formal modeland prove the existence of a family of Galois representations associated to the Colemanfamily. As an application, we study the variations of Iwasawa $\lambda$- and…

We generalize the cohomology theory for linear cycle sets introduced by Lebed and Vendramin. Our cohomology classifies extensions of linear cycle sets by trivial ideals, whereas the cohomology of Lebed and Vendramin only deals with central…

These lecture notes give an introduction to the algebraic renormalization of the Standard Model. We start with the construction of the tree approximation and give the classical action and its defining symmetries in functional form. These…

We study equivariant Iwasawa theory for two-variable abelian extensions of an imaginary quadratic field. One of the main goals of this paper is to describe the Fitting ideals of Iwasawa modules using $p$-adic $L$-functions. We also provide…

A nonlinear generalization of convergence sets of formal power series, in the sense of Abhyankar-Moh, is introduced. Given a family y=\phi_{s}(t,x)=sb_{1}(x)t+b_{2}(x)t^{2}+... of analytic curves in C\timesC^{n} passing through the origin,…

In papers published in 1993 and 2004 Wan establishes a decomposition theory for the generic Newton polygon associated to a family of $L$-functions of $n$-dimensional exponential sums over finite fields. In this work we generalize the star,…

In this article we construct the isomorphism between Lubin-Tate and Drinfeld towers at the level of points. The points we consider are the one of the theory of analytic spaces in the sens of Berkovich.

Regularizing a linear ill-posed operator equation can be achieved by manipulating the spectrum of the operator's pseudo-inverse. Tikhonov regularization and spectral cutoff are well-known techniques within this category. This paper…

We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequences of actions and quantitative temporal operators indexed by…

Multivariate time series naturally exist in many fields, like energy, bioinformatics, signal processing, and finance. Most of these applications need to be able to compare these structured data. In this context, dynamic time warping (DTW)…

We introduce some classical complexity-theoretic techniques to Parameterized Complexity. First, we study relativization for the machine models that were used by Chen, Flum, and Grohe (2005) to characterize a number of parameterized…

We reframe a collection of well-known comparison results in genus zero Gromov-Witten theory in order to relate these to integral transforms between derived categories. This implies that various comparisons among Gromov-Witten theories and…

If a complex $X$ is a subcomplex of a diagrammatically reducible 2-complex $Y$ that has locally indicable fundamental group, then $X$ has locally indicable fundamental group. This is a consequence of the Corson-Trace characterization of…

By applying the recently developed Loop Regularization(LR) with string-mode regulators to supersymmetric field theories, we explicitly verify the supersymmetric Ward identities in several supersymmetric models at one-loop level. It is…

This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other. Notably,…

We give a function field specific, algebraic proof of the main results of class field theory for abelian extensions of degree coprime to the characteristic. By adapting some methods known for number fields and combining them in a new way,…

Let $\mathscr{A}$ be a nonempty set of infinite matrices of linear operators between two topological vector spaces. We show that a sequence is uniformly $\mathscr{A}$-summable if and only if it is $B$-summable for all matrices $B$ of linear…

We propose a method for inferring \emph{parameterized regular types} for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint systems). Such parameterized regular types generalize…

This work provides a complete characterization of the solutions of a linear interpolation problem for vector polynomials. The interpolation problem consists in finding n scalar polynomials such that an equation involving a linear…