2021 edition

Department of Mathematics, University of Aveiro

December 4th, 2021

December 4th, 2021

09h00 - 09h15 Opening Session

09h15 - 10h15 Diana Costa (invited speaker and former PDMA student) - "Real life" logic: reasoning with inconsistent and incomplete information

10h15 - 10h35 Cláudio Piedade (PDMA) - Faithful transitive permutation representations of highly symmetric structures

10h35 - 10h55 Fátima Cruz (PDMA) - Optimality Conditions for Variational Problems Involving Distributed Order Fractional Derivatives

10h55 - 11h40 Coffee-Break / Poster Session

11h40 - 12h00 Ana Martins (PDMA) - Spatio-temporal models for time series of counts

12h00 - 12h20 Cláudia Sebastião (PDMat) - Smaller keys for McEliece cryptosystem using convolutional encoders

12h20 - 12h40 Alberto Silva (PDMat) - Time series periodicity detection using area biplots: an application to hydrologic data

12h40 - 13h00 Filipa Santana (PDMat) - Convolutional codes for multi-shot network coding

13h00 - 13h20 Faïçal Ndaïrou (PDMA) - Pontryagin Maximum Principle for Distributed-Order Fractional Systems

Social Lunch

Faithful transitive permutation representations of highly symmetric structures

10h15-10h35

Claudio Alexandre Piedade [claudio.a.piedade@ua.pt]

Scientific guidance: Maria Elisa Fernandes [maria.elisa@ua.pt]

Abstract: Cayley's theorem states that any finite group can be represented as a group of permutations, i.e. a subgroup of a symmetric group of degree n. Moreover, the action of a group on the cosets of a core-free subgroup gives a faithful transitive permutation representation of the group. These permutation representations can be used to characterize the groups of symmetric structures, such as Coxeter groups. Coxeter groups are the automorphism groups of abstract regular polytopes and, more recently, of regular hypertopes. Not many families of proper regular hypertopes are known. In this presentation, we will show how we were able to build families of locally toroidal regular hypertopes from faithful transitive permutation representations of toroidal maps {4,4} and {3,6}.

Optimality Conditions for Variational Problems Involving Distributed Order Fractional Derivatives

10h35-10h55

Fátima Cruz* [fatima.cruz@ua.pt], Ricardo Almeida* [ricardo.almeida@ua.pt] and Natália Martins*[natalia@ua.pt]

*Center for Research and Development in Mathematics and Applications, Department of Mathematics, University of Aveiro, 3810–193 Aveiro, PT

Keywords: Fractional calculus; calculus of variations; Euler-Lagrange equations; natural boundary conditions.

Abstract: In my PhD work we study several problems of the classical calculus of variations, where an integer-order derivative is replaced by a distributed order fractional derivative with arbitrary kernels. This fractional derivative combines two known operators: distributed-order derivatives and derivatives with respect to another function, as introduced in [1]. The main goal of this talk is to present necessary and sufficient optimality conditions for different types of variational problems [1, 2]. Since we are dealing with generalized fractional derivatives, from this work some well-known results can be obtained as particular cases.

References:

[1] F. Cruz, R. Almeida and N. Martins, Optimality conditions for variational problems involving distributed-order fractional derivatives with arbitrary kernels, AIMS Mathematics, 6(5) (2021) 5351-5369.

[2] F. Cruz, R. Almeida and N. Martins, Variational Problems with Time Delay and Higher-order Distributed-order Fractional Derivatives with Arbitrary Kernels, Mathematics 2021, 9, 1665.

Spatio-temporal models for time series of counts

11h40-12h00

Ana Martins [a.r.martins@ua.pt]

Scientific guidance: Sónia Gouveia (UA, Aveiro, Portugal), Manuel Scotto (IST, UL, Lisboa, Portugal), Christian Weiss (Helmut-Schmidt-University, Hamburg, Germany)

Abstract: Thinning-based Integer Autoregressive Moving Average (INARMA) models are a popular approach for modelling time series of counts. These models correspond to the integer-valued counterpart of the well-known conventional ARMA models where the multiplication is replaced by the so-called binomial thinning operator (BTO). Spatio-temporal ARMA extensions have led to the formulation of (conventional) STARMA models, and yet no similar developments have been done for time series of counts. This work proposes a novel class of space-time models for counts, STINARMA, which corresponds to the integer counterpart (BTO-based) of the STARMA class and, simultaneously, to the spatio-temporal extension (STARMA inspired) of the INARMA class. So far, the moving average STINMA subclass of models have been characterized in terms of e.g., its first and second-order moments as well as the space-time autocorrelation function, highlighting existing similarities with the STMA and INMA models. Currently, estimation procedures based on the Method of Moments, Conditional Least Squares and Conditional Maximum Likelihood are being developed to compare the efficiency and consistency between the different procedures. The methods are being implemented in R programming language, to ease the broad dissemination and the awareness of the usefulness of such models.

Smaller keys for McEliece cryptosystem using convolutional encoders

12h00-12h20

Claudia Sebastião

Abstract: The arrival of quantum computing era is a real threat to the confidentiality and integrity of digital communications. So, it is urgent to develop alternatives cryptographic techniques that are resilient to quantum computing. This is the goal of pos-quantum cryptography. The code-based cryptosystem called Classical McEliece Cryptosystem remains one of the most promising post-quantum alternatives. However, the main drawback of this system is that the public key is much larger than other alternatives.

Our work consists of the construction of a new cryptosystem, a variant of the McEliece cryptosystem, which uses a convolutional encoder encoder to mask the so-called Generalized Reed-Solomon Code and two Laurent matrices with specific properties.

We conduct a cryptanalysis of this new variant to show that high levels of security can be achieved using significant smaller keys than in the existing variants of the McEliece scheme.

Time series periodicity detection using area biplots: an application to hydrologic data

12h20-12h40

Alberto Silva

Abstract: Singular Spectral Analysis (SSA) is a powerful technique used in time series (ts) analysis for different purposes such as exploratory inspection and forecasting. The trajectory matrix (X) constructed in the first stage of the method allows the use of multivariate techniques from its singular values decomposition. In this work, an exploratory approach based on biplots is used to visually estimate the dominant periodicities of a ts. From the decomposition of X through the NIPALS algorithm, the method starts identifying pairs of singular values close to each other, which suggests the respective principal components (PCs) are associated with the periodicity of the ts. The selected PCs will constitute the factorial axes of the biplots. Pinning a biplot vector of interest and rotating anticlockwise by 90° the others, triangles are drawn connecting the origin of the factorial axes and the endpoints of the pinned vector and each of the rotated vectors. Depending on the percentage of variability explained by the PCs involved, the area of the triangles provides visual information regarding the magnitude of the autocorrelation between the corresponding lagged vectors (columns of X). In addition, the periodicity will emerge from the appearance of groups of similar triangles because of the strong autocorrelation between groups of lagged vectors. An application to hydrologic data containing many missing values is performed to illustrate the proposed method.

Convolutional codes for multi-shot network coding

12h40-13h00

Filipa Santana

Abstract: In this presentation, we aim to provide a general overview of the area of multi-shot codes for network coding. We will review the approaches and results proposed so far and present , within a new framework, the notion of column rank distance of a rank metric convolutional code. We investigate it properties and derive an upper-bound that allows us to extend the notions of Maximum Distance Profile and Strongly-Maximum Distance Separable convolutional codes to some rank metric codes analogues.

We also focused on the development of channel encoders as a mechanism that allows the recovery of the data lost during the transmission, extending the constructions presented by Napp, Pinto, Rosenthal and Vettori, in order to increase the degree of the code and consequently it error correction capability.

As alternative to rank metric convolutional codes, we present a novel scheme by concatenation of a Hamming metric convolutional code (as outer code) and a rank metric block code (as a inner code). The proposed concatenated code is defined over the base finite field instead of over several extension finite fields and pretend to reduce the complexity of encoding and decoding process and moreover use the more general definition of rank metric code in order to be more natural.

Pontryagin Maximum Principle for Distributed-Order Fractional Systems

13h00-13h20

Faïçal Ndaïrou

Abstract: We consider distributed-order non-local fractional optimal control problems with controls taking values on a closed set and prove a strong necessary optimality condition of Pontryagin type. The possibility that admissible controls are subject to pointwise constraints is new and requires more sophisticated techniques to include a maximality condition. We start by proving results on continuity of solutions due to needle-like control perturbations. Then, we derive a differentiability result on the state solutions with respect to the perturbed trajectories. We end by stating and proving the Pontryagin maximum principle for distributed-order fractional optimal control problems, illustrating its applicability with an example.