Source author record

Pedro Teixeira

Pedro Teixeira appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AC math.AG math.DS Networking and Internet Architecture

Catalog footprint

What is connected

12works

4topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Aveiro Tech City Living Lab: A Communication, Sensing and Computing Platform for City Environments

This article presents the deployment and experimentation architecture of the Aveiro Tech City Living Lab (ATCLL) in Aveiro, Portugal. This platform comprises a large number of Internet-of-Things devices with communication, sensing and computing capabilities. The communication infrastructure, built on fiber and Millimeter-wave (mmWave) links, integrates a communication network with radio terminals (WiFi, ITS-G5, C-V2X, 5G and LoRa(WAN)), multiprotocol, spread throughout 44 connected points of access in the city. Additionally, public transportation has also been equipped with communication and sensing units. All these points combine and interconnect a set of sensors, such as mobility (Radars, Lidars, video cameras) and environmental sensors. Combining edge computing and cloud management to deploy the services and manage the platform, and a data platform to gather and process the data, the living lab supports a wide range of services and applications: IoT, intelligent transportation systems and assisted driving, environmental monitoring, emergency and safety, among others. This article describes the architecture, implementation and deployment to make the overall platform to work and integrate researchers and citizens. Moreover, it showcases some examples of the performance metrics achieved in the city infrastructure, the data that can be collected, visualized and used to build services and applications to the cities, and, finally, different use cases in the mobility and safety scenarios.

preprint2022arXiv

Bernstein's inequality and holonomicity for certain singular rings

In this manuscript we prove the Bernstein inequality and develop the theory of holonomic D-modules for rings of invariants of finite groups in characteristic zero, and for strongly F-regular finitely generated graded algebras with FFRT in prime characteristic. In each of these cases, the ring itself, its localizations, and its local cohomology modules are holonomic. We also show that holonomic D-modules, in this context, have finite length. We obtain these results using a more general version of Bernstein filtrations.

preprint2021arXiv

Bernstein-Sato functional equations, $V$-filtrations, and multiplier ideals of direct summands

This paper investigates the existence and properties of a Bernstein-Sato functional equation in nonregular settings. In particular, we construct $D$-modules in which such formal equations can be studied. The existence of the Bernstein-Sato polynomial for a direct summand of a polynomial over a field is proved in this context. It is observed that this polynomial can have zero as a root, or even positive roots. Moreover, a theory of $V$-filtrations is introduced for nonregular rings, and the existence of these objects is established for what we call differentially extensible summands. This family of rings includes toric, determinantal, and other invariant rings. This new theory is applied to the study of multiplier ideals and Hodge ideals of singular varieties. Finally, we extend known relations among the objects of interest in the smooth case to the setting of singular direct summands of polynomial rings.

preprint2020arXiv

Merkle-CRDTs: Merkle-DAGs meet CRDTs

We study Merkle-DAGs as a transport and persistence layer for Conflict-Free Replicated Data Types (CRDTs), coining the term Merkle-CRDTs and providing an overview of the different concepts, properties, advantages and limitations involved. We show how Merkle-DAGs can act as logical clocks giving Merkle-CRDTs the potential to greatly simplify the design and implementation of convergent data types in systems with weak messaging layer guarantees and a very large number of replicas. Merkle-CRDTs can leverage highly scalable distributed technologies like DHTs and PubSub algorithms running underneath to take advantage of the security and de-duplication properties of content-addressing. Examples of such content-oriented systems could include peer-to-peer content exchange and synchronisation applications between opportunistically connected mobile devices, IoT devices or user applications running in a web browser.

preprint2019arXiv

The FrobeniusThresholds package for Macaulay2

This article describes the \emph{Macaulay2} package \emph{FrobeniusThresholds}, designed to estimate and calculate $F$-pure thresholds, more general $F$-thresholds, and related numerical invariants arising in the study of singularities in prime characteristic commutative algebra.

preprint2019arXiv

The TestIdeals package for Macaulay2

This note describes a \emph{Macaulay2} package for computations in prime characteristic commutative algebra. This includes Frobenius powers and roots, $p^{-e}$-linear and $p^{e}$-linear maps, singularities defined in terms of these maps, different types of test ideals and modules, and ideals compatible with a given $p^{-e}$-linear map.

preprint2018arXiv

On the conservative pasting lemma

Several perturbation tools are established in the volume preserving setting allowing for the pasting, extension, localized smoothing and local linearization of vector fields. The pasting and local linearization hold in all classes of regularity ranging from $C^{1}$ to $C^{\infty}$ (Hölder included). For diffeomorphisms, a conservative linearized version of Franks lemma is proved in the $C^{r,α}$ ($r\in\mathbb{Z}^+$, $0<α<1$) and $C^{\infty}$ settings, the resulting diffeomorphism having the same regularity as the original one.

preprint2016arXiv

F-threshold functions: syzygy gap fractals and the two-variable homogeneous case

In this article we study F-pure thresholds (and, more generally, F-thresholds) of homogeneous polynomials in two variables over a field of characteristic p>0. Passing to a field extension, we factor such a polynomial into a product of powers of pairwise prime linear forms, and to this collection of linear forms we associate a special type of function called a syzygy gap fractal. We use this syzygy gap fractal to study, at once, the collection of all F-pure thresholds of all polynomials constructed with the same fixed linear forms. This allows us to describe the structure of the denominator of such an F-pure threshold, showing in particular that whenever the F-pure threshold differs from its expected value its denominator is a multiple of p. This answers a question of Schwede in the two-variable homogeneous case. In addition, our methods give an algorithm to compute F-pure thresholds of homogenous polynomials in two variables.

preprint2015arXiv

Topological detection of Lyapunov instability

Given an arbitrary continuous flow on a manifold M, let CMin be the set of its compact minimal sets, endowed with the Hausdorff metric, and S the subset of those that are Lyapunov stable. A topological characterization of the interior of S, the set of Lyapunov stable compact minimal sets that are away from Lyapunov unstable ones is given, together with a description of the dynamics around it. In particular, int S is locally a Peano continuum (Peano curve) and each of its countably many connected components admits a complete geodesic metric. This result establishes unexpected connections between the local topology of CMin and the dynamics of the flow, providing criteria for the local detection of Lyapunov instability by merely looking at the topology of CMin. For instance, if CMin is not locally connected at some compact minimal set Q (seen as a "point" of CMin), then every neighbourhood of Q in M contains Lyapunov unstable compact minimal sets (hence, if CMin is nowhere locally connected, then every neighbourhood of each compact minimal set contains infinitely many Lyapunov unstable compact minimal sets).

preprint2012arXiv

Flows near Compact Invariant Sets - Part I

In this paper it is proved that near a compact, invariant, proper subset of a continuous flow on a compact, connected metric space, at least one, out of twenty eight relevant dynamical phenomena, will necessarily occur. This result shows that assuming the connectedness of the phase space implies the existence of a considerably deeper classification of topological flow behaviour, in the vicinity of compact invariant sets, than that described in the classical theorems of Ura-Kimura and Bhatia. The proposed classification brings to light, in a systematic way, the possibility of occurrence of orbits of infinite height arbitrarily near the compact invariant in question, and this under relatively simple conditions. Singularities of smooth vector fields displaying this strange phenomenon occur in every dimension greater than 2 (in this paper, a smooth flow on the 3-dimensional sphere exhibiting such an equilibrium is constructed). Near periodic orbits, the same phenomenon is observable already in dimension 4 (and on every manifold of dimension greater than 4). As a corollary to the main result, an elegant characterization of the topological Hausdorff structure of the set of all compact minimal sets of the flow is obtained (Theorem 2). Keywords: topological behaviour of C0 flows, compact invariant sets, compact minimal sets, topological Hausdorff structure, non-hyperbolic singularities and periodic orbits, orbits of infinite height.

preprint2010arXiv

Syzygy gap fractals--I. Some structural results and an upper bound

k is a field of characteristic p>0, and l_1,...,l_n are linear forms in k[x,y]. Intending applications to Hilbert--Kunz theory, to each triple C=(F,G,H) of nonzero homogeneous elements of k[x,y] we associate a function delta_C that encodes the "syzygy gaps" of F^q, G^q, and H^q*l_1^{a_1}*...*l_n^{a_n}, for all q=p^e and a_i<= q. These are close relatives of functions introduced in "p-Fractals and power series--I" [P. Monsky, P. Teixeira, p-Fractals and power series--I. Some 2 variable results, J. Algebra 280 (2004) 505--536]. Like their relatives, the delta_C exhibit surprising self-similarity related to "magnification by p," and knowledge of their structure allows the explicit computation of various Hilbert--Kunz functions. We show that these "syzygy gap fractals" are determined by their zeros and have a simple behavior near their local maxima, and derive an upper bound for their local maxima which has long been conjectured by Monsky. Our results will allow us, in a sequel to this paper, to determine the structure of the delta_C by studying the vanishing of certain determinants.

preprint2005arXiv

p-Fractals and power series--II. Some applications to Hilbert-Kunz theory

We use the results of our paper "p-Fractals and power series--I" (Journal of Algebra 280, 2004, pp. 505--536) to prove the rationality of the Hilbert-Kunz series of a large family of power series, including those of the form \sum_i f_i(x_i,y_i), where the f_i(x_i,y_i) are power series with coefficients in a finite field. The methods are effective, as we illustrate with examples. In the final section, which can be read independently of the others, we obtain more precise results for the Hilbert-Kunz function of the 3 variable power series z^D-h(x,y).