-
Data denoising with self consistency, variance maximization, and the Kantorovich dominance
Authors:
Joshua Zoen-Git Hiew,
Tongseok Lim,
Brendan Pass,
Marcelo Cruz de Souza
Abstract:
We introduce a new framework for data denoising, partially inspired by martingale optimal transport. For a given noisy distribution (the data), our approach involves finding the closest distribution to it among all distributions which 1) have a particular prescribed structure (expressed by requiring they lie in a particular domain), and 2) are self-consistent with the data. We show that this amoun…
▽ More
We introduce a new framework for data denoising, partially inspired by martingale optimal transport. For a given noisy distribution (the data), our approach involves finding the closest distribution to it among all distributions which 1) have a particular prescribed structure (expressed by requiring they lie in a particular domain), and 2) are self-consistent with the data. We show that this amounts to maximizing the variance among measures in the domain which are dominated in convex order by the data. For particular choices of the domain, this problem and a relaxed version of it, in which the self-consistency condition is removed, are intimately related to various classical approaches to denoising. We prove that our general problem has certain desirable features: solutions exist under mild assumptions, have certain robustness properties, and, for very simple domains, coincide with solutions to the relaxed problem.
We also introduce a novel relationship between distributions, termed Kantorovich dominance, which retains certain aspects of the convex order while being a weaker, more robust, and easier-to-verify condition. Building on this, we propose and analyze a new denoising problem by substituting the convex order in the previously described framework with Kantorovich dominance. We demonstrate that this revised problem shares some characteristics with the full convex order problem but offers enhanced stability, greater computational efficiency, and, in specific domains, more meaningful solutions. Finally, we present simple numerical examples illustrating solutions for both the full convex order problem and the Kantorovich dominance problem.
△ Less
Submitted 5 February, 2025;
originally announced February 2025.
-
On the Nowicki Conjecture for the free Lie algebra of rank 2
Authors:
Lucio Centrone,
Sehmus Findik,
Manuela da Silva Souza
Abstract:
Let K[X_n]=K[x_1,\ldots,x_n] be the polynomial algebra in n variables over a field K of characteristic zero. A locally nilpotent linear derivation δof K[X_n] is called Weitzenböck due to his well known result from 1932 stating that the algebra \text{\rm ker}(δ)=K[X_n]^δ of constants of $δ$ is finitely generated. The explicit form of a generating set of $K[X_n,Y_n]^δ$ was conjectured by Nowicki in…
▽ More
Let K[X_n]=K[x_1,\ldots,x_n] be the polynomial algebra in n variables over a field K of characteristic zero. A locally nilpotent linear derivation δof K[X_n] is called Weitzenböck due to his well known result from 1932 stating that the algebra \text{\rm ker}(δ)=K[X_n]^δ of constants of $δ$ is finitely generated. The explicit form of a generating set of $K[X_n,Y_n]^δ$ was conjectured by Nowicki in 1994 in the case δwas such that δ(y_{i})=x_{i}$, $δ(x_i)=0, i=1,\ldots,n. Nowicki's conjecture turned out to be true and, recently, has been applied to several relatively free associative algebras. In this paper, we consider the free Lie algebra \mathcal{L}(x,y) of rank 2 generated by x and y over K and we assume the Weitzenböck derivation δsending y to x, and x to zero. We introduce the idea of pseudodeterminants and we present a characterization of Hall monomials that are constants showing they are not so far from being pseudodeterminants. We also give a complete list of generators of the constants of degree less than 7 which are, of course, pseudodeterminants.
△ Less
Submitted 13 March, 2025; v1 submitted 7 January, 2025;
originally announced January 2025.
-
A Nielsen type periodic number for maps over $B$
Authors:
Weslem Liberato Silva,
Rafael Moreira de Souza
Abstract:
Let $Y \to E \stackrel{p}{\to} B$ be a fibration and let $f: E \to E$ be a fiber map over $B$. In this work, we study the geometric and algebraic Reidemeister classes of the iterates of $f$ and introduce a Nielsen-type periodic number over $B$, denoted by $N_B P_n(f)$. When $B$ is a point, then $N_B P_n(f)$ coincides with the classical Nielsen periodic number.
Let $Y \to E \stackrel{p}{\to} B$ be a fibration and let $f: E \to E$ be a fiber map over $B$. In this work, we study the geometric and algebraic Reidemeister classes of the iterates of $f$ and introduce a Nielsen-type periodic number over $B$, denoted by $N_B P_n(f)$. When $B$ is a point, then $N_B P_n(f)$ coincides with the classical Nielsen periodic number.
△ Less
Submitted 20 November, 2024;
originally announced November 2024.
-
Geometry of a Navigation problem: The $λ-$Funk Finsler Metrics
Authors:
Newton Solórzano,
Víctor León,
Alexandre Henrique,
Marcelo Souza
Abstract:
We investigate the travel time in a navigation problem from a geometric perspective. The setting involves an open subset of the Euclidean plane, representing a lake perturbed by a symmetric wind flow proportional to the distance from the origin. The Randers metric derived from this physical problem generalizes the well-known Euclidean metric on the Cartesian plane and the Funk metric on the unit d…
▽ More
We investigate the travel time in a navigation problem from a geometric perspective. The setting involves an open subset of the Euclidean plane, representing a lake perturbed by a symmetric wind flow proportional to the distance from the origin. The Randers metric derived from this physical problem generalizes the well-known Euclidean metric on the Cartesian plane and the Funk metric on the unit disk. We obtain formulas for distances, or travel times, from point to point, from point to line, and vice-versa
△ Less
Submitted 2 November, 2024; v1 submitted 18 September, 2024;
originally announced September 2024.
-
Operator $Δ-aS$ on warped product manifolds
Authors:
Ezequiel Barbosa,
Mateus Souza,
Celso Viana
Abstract:
In this work we studied the stability of the family of operators $L_a=Δ-aS$, $a\in\mathbb R$, in a warped product of an infinite interval or real line by one compact manifold, where $Δ$ is the Laplacian and $S$ is the scalar curvature of the resulting manifold.
In this work we studied the stability of the family of operators $L_a=Δ-aS$, $a\in\mathbb R$, in a warped product of an infinite interval or real line by one compact manifold, where $Δ$ is the Laplacian and $S$ is the scalar curvature of the resulting manifold.
△ Less
Submitted 13 September, 2024;
originally announced September 2024.
-
Groupoid Graded Semisimple Rings
Authors:
Zaqueu Cristiano,
Wellington Marques de Souza,
Javier Sánchez
Abstract:
We develop the theory of groupoid graded semisimple rings. Our rings are neither unital nor one-sided artinian. Instead, they exhibit a strong version of having local units and being locally artinian, and we call them $Γ_0$-artinian. One of our main results is a groupoid graded version of the Wedderburn-Artin Theorem, where we characterize groupoid graded semisimple rings as direct sums of graded…
▽ More
We develop the theory of groupoid graded semisimple rings. Our rings are neither unital nor one-sided artinian. Instead, they exhibit a strong version of having local units and being locally artinian, and we call them $Γ_0$-artinian. One of our main results is a groupoid graded version of the Wedderburn-Artin Theorem, where we characterize groupoid graded semisimple rings as direct sums of graded simple $Γ_0$-artinian rings and we exhibit the structure of this latter class of rings. In this direction, we also prove a groupoid graded version of Jacobson-Chevalley density theorem. We need to define and study properties of groupoid gradings on matrix rings (possibly of infinite size) over groupoid graded rings, and specially over groupoid graded division rings. Because of that, we study groupoid graded division rings and their graded modules. We consider a natural notion of freeness for groupoid graded modules that, when specialized to group graded rings, gives the usual one, and show that for a groupoid graded division ring all graded modules are free (in this sense). Contrary to the group graded case, there are groupoid graded rings for which all graded modules are free according to our definition, but they are not graded division rings. We exhibit an easy example of this kind of rings and characterize such class among groupoid graded semisimple rings. We also relate groupoid graded semisimple rings with the notion of semisimple category defined by B. Mitchell. For that, we show the link between functors from a preadditive category to abelian groups and graded modules over the groupoid graded ring associated to this category, generalizing a result of P. Gabriel. We characterize simple artinian categories and categories for which every functor from them to abelian groups is free in the sense of B. Mitchell.
△ Less
Submitted 6 August, 2024;
originally announced August 2024.
-
Multiplicity results for critical fractional Ambrosetti-Prodi type system with nonlinearities interacting with the spectrum
Authors:
Eduardo. H. Caqui,
Sandra M. de S. Lima,
Fábio R. Pereira
Abstract:
We investigated the existence of solutions for a class of Ambrosetti-Prodi type systems involving the fractional Laplacian operator and with nonlinearities reaching critical growth and interacting, in some sense, with the spectrum of the operator. The resonant case in $λ_{k,s}$ for $k>1$ is also investigated.
We investigated the existence of solutions for a class of Ambrosetti-Prodi type systems involving the fractional Laplacian operator and with nonlinearities reaching critical growth and interacting, in some sense, with the spectrum of the operator. The resonant case in $λ_{k,s}$ for $k>1$ is also investigated.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
Renormalized Solutions for Quasilinear Elliptic Equations with Robin Boundary Conditions, Lower-Order Terms, and $L^1$ Data
Authors:
Juan A. Apaza,
Manassés de Souza
Abstract:
In this paper, we establish the existence of a solution for a class of quasilinear equations characterized by the prototype: \begin{equation} \left\{\begin{aligned} -\operatorname{div}(\vartheta_α|\nabla u|^{p-2} \nabla u)+\vartheta_γb|\nabla u|^{p-1}+\vartheta_γc|u|^{r-1} u & =f \vartheta_α& & \text { in } Ω, \\ \vartheta_α|\nabla u|^{p-2} \nabla u \cdot ν+\vartheta_β|u|^{p-2} u & =g \vartheta_β&…
▽ More
In this paper, we establish the existence of a solution for a class of quasilinear equations characterized by the prototype: \begin{equation} \left\{\begin{aligned} -\operatorname{div}(\vartheta_α|\nabla u|^{p-2} \nabla u)+\vartheta_γb|\nabla u|^{p-1}+\vartheta_γc|u|^{r-1} u & =f \vartheta_α& & \text { in } Ω, \\ \vartheta_α|\nabla u|^{p-2} \nabla u \cdot ν+\vartheta_β|u|^{p-2} u & =g \vartheta_β& & \text { on } \partial Ω. \end{aligned}\right. \end{equation} Here, $Ω$ is an open subset of $\mathbb{R}^N$ with a Lipschitz boundary, where $N\geq 2$ and $1 < p < N$. We define $\vartheta_a(x) = (1 + |x|)^a$ for $a \in (-N, (p-1)N)$, and the constants $α, β, γ, r$ satisfy suitable conditions. Additionally, $f$ and $g$ are measurable functions, while $b$ and $c$ belong to a Lorentz space. Our approach also allows us to establish stability results for renormalized solutions.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
A Comparison of Image and Scalar-Based Approaches in Preconditioner Selection
Authors:
Michael Souza,
Luiz M. Carvalho,
Douglas Augusto,
Jairo Panetta,
Paulo Goldfeld,
José R. P. Rodrigues
Abstract:
Within high-performance computing (HPC), solving large sparse linear systems efficiently remains paramount, with iterative methods being the predominant choice. However, the performance of these methods is tightly coupled to the aptness of the chosen preconditioner. The multifaceted nature of sparse matrices makes the universal prescription of preconditioners elusive. Notably, the key attribute of…
▽ More
Within high-performance computing (HPC), solving large sparse linear systems efficiently remains paramount, with iterative methods being the predominant choice. However, the performance of these methods is tightly coupled to the aptness of the chosen preconditioner. The multifaceted nature of sparse matrices makes the universal prescription of preconditioners elusive. Notably, the key attribute of sparsity is not precisely captured by scalar metrics such as bandwidth or matrix dimensions. Advancing prior methodologies, this research introduces matrix sparsity depiction via RGB images. Utilizing a convolutional neural network (CNN), the task of preconditioner selection turns into a multi-class classification problem. Extensive tests on 126 SuiteSparse matrices emphasize the enhanced prowess of the CNN model, noting a 32% boost in accuracy and a 25% reduction in computational slowdown.
△ Less
Submitted 25 December, 2023;
originally announced December 2023.
-
Geometry of vectorial martingale optimal transport and robust option pricing
Authors:
Joshua Zoen-Git Hiew,
Tongseok Lim,
Brendan Pass,
Marcelo Cruz de Souza
Abstract:
This paper addresses robust finance, which is concerned with the development of models and approaches that account for market uncertainties. Specifically, we investigate the Vectorial Martingale Optimal Transport (VMOT) problem, the geometry of its solutions, and its application with robust option pricing problems in finance. To this end, we consider two-period market models and show that when the…
▽ More
This paper addresses robust finance, which is concerned with the development of models and approaches that account for market uncertainties. Specifically, we investigate the Vectorial Martingale Optimal Transport (VMOT) problem, the geometry of its solutions, and its application with robust option pricing problems in finance. To this end, we consider two-period market models and show that when the spatial dimension $d$ (the number of underlying assets) is 2, the extremal model for the cap option with a sub- or super-modular payout reduces to a single factor model in the first period, but not in general when $d > 2$. The result demonstrates a subtle relationship between spatial dimension, cost function supermodularity, and their effect on the geometry of solutions to the VMOT problem. We investigate applications of the model to financial problems and demonstrate how the dimensional reduction caused by monotonicity can be used to improve existing computational methods.
△ Less
Submitted 18 September, 2023; v1 submitted 10 September, 2023;
originally announced September 2023.
-
Removable singularities in the boundary for quasilinear elliptic equations
Authors:
Juan A. Apaza,
Manassés de Souza
Abstract:
In this work, we are interested in to study removability of a singular set in the boundary for some classes of quasilinear elliptic equations. We will approach this question in two different ways: through an asymptotic behavior at the infinity of the solutions, or through conditions in the Sobolev norm of solutions along the direction of the singular set.
In this work, we are interested in to study removability of a singular set in the boundary for some classes of quasilinear elliptic equations. We will approach this question in two different ways: through an asymptotic behavior at the infinity of the solutions, or through conditions in the Sobolev norm of solutions along the direction of the singular set.
△ Less
Submitted 24 August, 2023;
originally announced August 2023.
-
Infinity increasing steps on the Collatz sequences
Authors:
Eduardo M. K. Souza
Abstract:
We intend to contribute to the Collatz dynamics problem by seeking to analyze the Collatz conjecture from the tree of numbers sequences. First, we show numerically that the distribution of odd numbers has an initial transient, and proceeds to a power law growth to its maximum. Second, using the formulation that uses only odd numbers, we present analytically a set of odd number sequences that is al…
▽ More
We intend to contribute to the Collatz dynamics problem by seeking to analyze the Collatz conjecture from the tree of numbers sequences. First, we show numerically that the distribution of odd numbers has an initial transient, and proceeds to a power law growth to its maximum. Second, using the formulation that uses only odd numbers, we present analytically a set of odd number sequences that is always increasing and can have an infinite number of terms.
△ Less
Submitted 10 May, 2023;
originally announced May 2023.
-
Polynomial identities and images of polynomials on null-filiform Leibniz algebras
Authors:
Thiago Castilho de Mello,
Manuela da Silva Souza
Abstract:
In this paper we study identities and images of polynomials on null-filiform Leibniz algebras. If $L_n$ is an $n$-dimensional null-filiform Leibniz algebra, we exhibit a finite minimal basis for $\mbox{Id}(L_n)$, the polynomial identities of $L_n$, and we explicitly compute the images of multihomogeneous polynomials on $L_n$. We present necessary and sufficient conditions for the image of a multih…
▽ More
In this paper we study identities and images of polynomials on null-filiform Leibniz algebras. If $L_n$ is an $n$-dimensional null-filiform Leibniz algebra, we exhibit a finite minimal basis for $\mbox{Id}(L_n)$, the polynomial identities of $L_n$, and we explicitly compute the images of multihomogeneous polynomials on $L_n$. We present necessary and sufficient conditions for the image of a multihomogeneous polynomial $f$ to be a subspace of $L_n$. For the particular case of multilinear polynomials, we prove that the image is always a vector space, showing that the analogue of the L'vov-Kaplansky conjecture holds for $L_n$. We also prove similar results for an analog of null-filiform Leibniz algebras in the infinite-dimensional case.
△ Less
Submitted 21 April, 2023;
originally announced April 2023.
-
A mathematical framework for dynamical social interactions with dissimulation
Authors:
Yuri Saporito,
Max O. Souza,
Yuri Thamsten
Abstract:
Modeling social interactions is a challenging task that requires flexible frameworks. For instance, dissimulation and externalities are relevant features influencing such systems -- elements that are often neglected in popular models. This paper is devoted to investigating general mathematical frameworks for understanding social situations where agents dissimulate, and may be sensitive to exogenou…
▽ More
Modeling social interactions is a challenging task that requires flexible frameworks. For instance, dissimulation and externalities are relevant features influencing such systems -- elements that are often neglected in popular models. This paper is devoted to investigating general mathematical frameworks for understanding social situations where agents dissimulate, and may be sensitive to exogenous objective information. Our model comprises a population where the participants can be honest, persuasive, or conforming. Firstly, we consider a non-cooperative setting, where we establish existence, uniqueness and some properties of the Nash equilibria of the game. Secondly, we analyze a cooperative setting, identifying optimal strategies within the Pareto front. In both cases, we develop numerical algorithms allowing us to computationally assess the behavior of our models under various settings.
△ Less
Submitted 27 October, 2022;
originally announced October 2022.
-
Continuous approximations for the fixation probability of the Moran processes on star graphs
Authors:
Poly H. da Silva,
Max O. Souza
Abstract:
We consider a generalized version of the birth-death (BD) and death-birth (DB) processes introduced by Kaveh et al (2015), in which two constant fitnesses, one for birth and the other for death, describe the selection mechanism of the population. Rather than constant fitnesses, in this paper we consider more general frequency-dependent fitness functions (allowing any smooth functions) under the we…
▽ More
We consider a generalized version of the birth-death (BD) and death-birth (DB) processes introduced by Kaveh et al (2015), in which two constant fitnesses, one for birth and the other for death, describe the selection mechanism of the population. Rather than constant fitnesses, in this paper we consider more general frequency-dependent fitness functions (allowing any smooth functions) under the weak-selection regime. For a large population structured as a star graph, we provide approximations for the fixation probability which are solutions of certain ODEs (or systems of ODEs). For the DB case, we prove that our approximation has an error of order 1/N, where N is the size of the population. These approximations are obtained in the same spirit of Chalub and Souza (2016) albeit with quite different techniques. The general BD and DB processes contain, as special cases, the BD-* and DB-* (where * can be either B or D) processes described in Hadjichrysanthou et al (2011) -- this class includes many examples of update rules used in the literature.
△ Less
Submitted 9 September, 2022;
originally announced September 2022.
-
Identifiability and observability of the SIR model with quarantine
Authors:
Frédéric Hamelin,
Abderrahman Iggidr,
Alain Rapaport,
Gauthier Sallet,
Max Souza
Abstract:
We analyze the identifiability and observability of the well-known SIR epidemic model with an additional compartment Q of the sub-population of infected individuals that are placed in quarantine (SIQR model), considering that the flow of individuals placed in quarantine and the size of the quarantine population are known at any time. Then, we focus on the problem of identification of the model par…
▽ More
We analyze the identifiability and observability of the well-known SIR epidemic model with an additional compartment Q of the sub-population of infected individuals that are placed in quarantine (SIQR model), considering that the flow of individuals placed in quarantine and the size of the quarantine population are known at any time. Then, we focus on the problem of identification of the model parameters, with the synthesis of an observer.
△ Less
Submitted 8 March, 2021;
originally announced March 2021.
-
On regularized optimal execution problems and their singular limits
Authors:
Max O. Souza,
Yuri Thamsten
Abstract:
We investigate the portfolio execution problem under a framework in which volatility and liquidity are both uncertain. In our model, we assume that a multidimensional Markovian stochastic factor drives both of them. Moreover, we model indirect liquidity costs as temporary price impact, stipulating a power law to relate it to the agent's turnover rate. We first analyze the regularized setting, in w…
▽ More
We investigate the portfolio execution problem under a framework in which volatility and liquidity are both uncertain. In our model, we assume that a multidimensional Markovian stochastic factor drives both of them. Moreover, we model indirect liquidity costs as temporary price impact, stipulating a power law to relate it to the agent's turnover rate. We first analyze the regularized setting, in which the admissible strategies do not ensure complete execution of the initial inventory. We prove the existence and uniqueness of a continuous and bounded viscosity solution of the Hamilton-Jacobi-Bellman equation, whence we obtain a characterization of the optimal trading rate. As a byproduct of our proof, we obtain a numerical algorithm. Then, we analyze the constrained problem, in which admissible strategies must guarantee complete execution to the trader. We solve it through a monotonicity argument, obtaining the optimal strategy as a singular limit of the regularized counterparts.
△ Less
Submitted 6 August, 2023; v1 submitted 7 January, 2021;
originally announced January 2021.
-
On a fractional queueing model with catastrophes
Authors:
Matheus de Oliveira Souza,
Pablo Martin Rodriguez
Abstract:
A $M/M/1$ queue with catastrophes is a modified $M/M/1$ queue model for which, according to the times of a Poisson process, catastrophes occur leaving the system empty. In this work, we study a fractional $M/M/1$ queue with catastrophes, which is formulated by considering fractional derivatives in the Kolmogorov's Forward Equations of the original Markov process. For the resulting fractional proce…
▽ More
A $M/M/1$ queue with catastrophes is a modified $M/M/1$ queue model for which, according to the times of a Poisson process, catastrophes occur leaving the system empty. In this work, we study a fractional $M/M/1$ queue with catastrophes, which is formulated by considering fractional derivatives in the Kolmogorov's Forward Equations of the original Markov process. For the resulting fractional process, we obtain the state probabilities, the mean and the variance for the number of customers at any time. In addition, we discuss the estimation of parameters.
△ Less
Submitted 10 July, 2021; v1 submitted 16 December, 2020;
originally announced December 2020.
-
A new algorithm for the $^K$DMDGP subclass of Distance Geometry Problems
Authors:
Douglas S. Goncalves,
Carlile Lavor,
Leo Liberti,
Michael Souza
Abstract:
The fundamental inverse problem in distance geometry is the one of finding positions from inter-point distances. The Discretizable Molecular Distance Geometry Problem (DMDGP) is a subclass of the Distance Geometry Problem (DGP) whose search space can be discretized and represented by a binary tree, which can be explored by a Branch-and-Prune (BP) algorithm. It turns out that this combinatorial sea…
▽ More
The fundamental inverse problem in distance geometry is the one of finding positions from inter-point distances. The Discretizable Molecular Distance Geometry Problem (DMDGP) is a subclass of the Distance Geometry Problem (DGP) whose search space can be discretized and represented by a binary tree, which can be explored by a Branch-and-Prune (BP) algorithm. It turns out that this combinatorial search space possesses many interesting symmetry properties that were studied in the last decade. In this paper, we present a new algorithm for this subclass of the DGP, which exploits DMDGP symmetries more effectively than its predecessors. Computational results show that the speedup, with respect to the classic BP algorithm, is considerable for sparse DMDGP instances related to protein conformation.
△ Less
Submitted 11 September, 2020;
originally announced September 2020.
-
Predictability and Fairness in Social Sensing
Authors:
Ramen Ghosh,
Jakub Marecek,
Wynita M. Griggs,
Matheus Souza,
Robert N. Shorten
Abstract:
We consider the design of distributed algorithms that govern the manner in which agents contribute to a social sensing platform. Specifically, we are interested in situations where fairness among the agents contributing to the platform is needed. A notable example are platforms operated by public bodies, where fairness is a legal requirement. The design of such distributed systems is challenging d…
▽ More
We consider the design of distributed algorithms that govern the manner in which agents contribute to a social sensing platform. Specifically, we are interested in situations where fairness among the agents contributing to the platform is needed. A notable example are platforms operated by public bodies, where fairness is a legal requirement. The design of such distributed systems is challenging due to the fact that we wish to simultaneously realise an efficient social sensing platform, but also deliver a predefined quality of service to the agents (for example, a fair opportunity to contribute to the platform). In this paper, we introduce iterated function systems (IFS) as a tool for the design and analysis of systems of this kind. We show how the IFS framework can be used to realise systems that deliver a predictable quality of service to agents, can be used to underpin contracts governing the interaction of agents with the social sensing platform, and which are efficient.
To illustrate our design via a use case, we consider a large, high-density network of participating parked vehicles. When awoken by an administrative centre, this network proceeds to search for moving missing entities of interest using RFID-based techniques. We regulate which vehicles are actively searching for the moving entity of interest at any point in time. In doing so, we seek to equalise vehicular energy consumption across the network. This is illustrated through simulations of a search for a missing Alzheimer's patient in Melbourne, Australia. Experimental results are presented to illustrate the efficacy of our system and the predictability of access of agents to the platform independent of initial conditions.
△ Less
Submitted 25 May, 2021; v1 submitted 31 July, 2020;
originally announced July 2020.
-
Infinite Sequences, Series Convergence and the Discrete Time Fourier Transform over Finite Fields
Authors:
R. M. Campello de Souza,
M. M. Campello de Souza,
H. M. de Oliveira,
M. M. Vasconcelos
Abstract:
Digital Transforms have important applications on subjects such as channel coding, cryptography and digital signal processing. In this paper, two Fourier Transforms are considered, the discrete time Fourier transform (DTFT) and the finite field Fourier transform (FFFT). A finite field version of the DTFT is introduced and the FFFT is redefined with a complex kernel, which makes it a more appropria…
▽ More
Digital Transforms have important applications on subjects such as channel coding, cryptography and digital signal processing. In this paper, two Fourier Transforms are considered, the discrete time Fourier transform (DTFT) and the finite field Fourier transform (FFFT). A finite field version of the DTFT is introduced and the FFFT is redefined with a complex kernel, which makes it a more appropriate finite field version of the Discrete Fourier Transform. These transforms can handle FIR and IIR filters defined over finite algebraic structures.
△ Less
Submitted 17 July, 2020;
originally announced July 2020.
-
The Ivanov regularized Gauss-Newton method in Banach space with an a posteriori choice of the regularization radius
Authors:
Barbara Kaltenbacher,
Andrej Klassen,
Mario Luiz Previatti de Souza
Abstract:
In this paper we consider the iteratively regularized Gauss-Newton method, where regularization is achieved by Ivanov regularization, i.e., by imposing a priori constraints on the solution. We propose an a posteriori choice of the regularization radius, based on an inexact Newton / discrepancy principle approach, prove convergence and convergence rates under a variational source condition as the n…
▽ More
In this paper we consider the iteratively regularized Gauss-Newton method, where regularization is achieved by Ivanov regularization, i.e., by imposing a priori constraints on the solution. We propose an a posteriori choice of the regularization radius, based on an inexact Newton / discrepancy principle approach, prove convergence and convergence rates under a variational source condition as the noise level tends to zero, and provide an analysis of the discretization error. Our results are valid in general, possibly nonreflexive Banach spaces, including, e.g., $L^\infty$ as a preimage space. The theoretical findings are illustrated by numerical experiments.
△ Less
Submitted 4 October, 2019;
originally announced October 2019.
-
Gradient flow formulations of discrete and continuous evolutionary models: a unifying perspective
Authors:
Fabio A. C. C. Chalub,
Léonard Monsaingeon,
Ana Margarida Ribeiro,
Max O. Souza
Abstract:
We consider three classical models of biological evolution: (i) the Moran process, an example of a reducible Markov Chain; (ii) the Kimura Equation, a particular case of a degenerated Fokker-Planck Diffusion; (iii) the Replicator Equation, a paradigm in Evolutionary Game Theory. While these approaches are not completely equivalent, they are intimately connected, since (ii) is the diffusion approxi…
▽ More
We consider three classical models of biological evolution: (i) the Moran process, an example of a reducible Markov Chain; (ii) the Kimura Equation, a particular case of a degenerated Fokker-Planck Diffusion; (iii) the Replicator Equation, a paradigm in Evolutionary Game Theory. While these approaches are not completely equivalent, they are intimately connected, since (ii) is the diffusion approximation of (i), and (iii) is obtained from (ii) in an appropriate limit. It is well known that the Replicator Dynamics for two strategies is a gradient flow with respect to the celebrated Shahshahani distance. We reformulate the Moran process and the Kimura Equation as gradient flows and in the sequel we discuss conditions such that the associated gradient structures converge: (i) to (ii) and (ii) to (iii). This provides a geometric characterisation of these evolutionary processes and provides a reformulation of the above examples as time minimization of free energy functionals.
△ Less
Submitted 8 October, 2020; v1 submitted 2 July, 2019;
originally announced July 2019.
-
Multiplicity results for fractional magnetic problems involving exponential growth
Authors:
Pawan Kumar Mishra,
João Marcos do Ó,
Manassés de Souza
Abstract:
We study the following fractional elliptic equations of the type, \begin{equation*} (-Δ)^{\frac12}_A u = λu+f(|u|)u ,\;\textrm{in } \;(-1, 1),\; u=0\;\textrm{in } \;\mathbb R\setminus (-1, 1), \end{equation*} where $λ$ is a positive real parameter and $(-Δ)^{\frac12}_A$ is the fractional magnetic operator with $A:\mathbb R\to \mathbb R$ being a smooth magnetic field. Using a classical critical poi…
▽ More
We study the following fractional elliptic equations of the type, \begin{equation*} (-Δ)^{\frac12}_A u = λu+f(|u|)u ,\;\textrm{in } \;(-1, 1),\; u=0\;\textrm{in } \;\mathbb R\setminus (-1, 1), \end{equation*} where $λ$ is a positive real parameter and $(-Δ)^{\frac12}_A$ is the fractional magnetic operator with $A:\mathbb R\to \mathbb R$ being a smooth magnetic field. Using a classical critical point theorems, we prove the existence of multiple solutions in the non-resonant case when the nonlinear term $f(t)$ has a critical exponential growth in the sense of Trudinger-Moser inequality.
△ Less
Submitted 27 June, 2019;
originally announced June 2019.
-
Existence, multiplicity and regularity for a Schrödinger equation with magnetic potential involving sign-changing weight function
Authors:
Francisco Odair Vieira de Paiva,
Sandra Machado de Souza Lima,
Olimpio Hiroshi Miyagaki
Abstract:
In this paper we consider the following class of elliptic problems $$- Δ_A u + u = a_λ(x) |u|^{q-2}u+b_μ(x) |u|^{p-2}u ,\,\, x\in \mathbb{R}^N$$ where $1<q<2<p<2^*-1= \frac{N+2}{N-2}$, $a_λ(x)$ is a sign-changing weight function, $b_μ(x)$ have some aditional conditions, $u \in H^1_A(\mathbb{R}^N)$ and $A:\mathbb{R}^N \rightarrow\mathbb{R}^N$ is a magnetic potential. Exploring the relationship betw…
▽ More
In this paper we consider the following class of elliptic problems $$- Δ_A u + u = a_λ(x) |u|^{q-2}u+b_μ(x) |u|^{p-2}u ,\,\, x\in \mathbb{R}^N$$ where $1<q<2<p<2^*-1= \frac{N+2}{N-2}$, $a_λ(x)$ is a sign-changing weight function, $b_μ(x)$ have some aditional conditions, $u \in H^1_A(\mathbb{R}^N)$ and $A:\mathbb{R}^N \rightarrow\mathbb{R}^N$ is a magnetic potential. Exploring the relationship between the Nehari manifold and fibering maps, we will discuss the existence, multiplicity and regularity of solutions.
△ Less
Submitted 15 April, 2019;
originally announced April 2019.
-
Existence and multiplicity results for a class of non-linear Schrödinger equations with magnetic potential involving sign-changing non linearity
Authors:
Francisco Odair Vieira de Paiva,
Sandra Machado de Souza Lima,
Olimpio Hiroshi Miyagaki
Abstract:
In this work we consider the following class of elliptic problems $$- Δ_A u + u = a(x) |u|^{q-2}u+b(x) |u|^{p-2}u , \mbox{ in } \mathbb{R}^N, $$ $u\in H^1_A (\mathbb{R}^N)$, with $2<q<p<2^*= \frac{2N}{N-2}$, $a(x)$ and $b(x)$ are functions that can change signal and satisfy some additional conditions; $u \in H^1_A(\mathbb{R}^N)$ and $A:\mathbb{R}^N \rightarrow \mathbb{R}^N$ is a magnetic potential…
▽ More
In this work we consider the following class of elliptic problems $$- Δ_A u + u = a(x) |u|^{q-2}u+b(x) |u|^{p-2}u , \mbox{ in } \mathbb{R}^N, $$ $u\in H^1_A (\mathbb{R}^N)$, with $2<q<p<2^*= \frac{2N}{N-2}$, $a(x)$ and $b(x)$ are functions that can change signal and satisfy some additional conditions; $u \in H^1_A(\mathbb{R}^N)$ and $A:\mathbb{R}^N \rightarrow \mathbb{R}^N$ is a magnetic potential. Also using the Nehari method in combination with other complementary arguments, we discuss the existence of infinite solutions to the problem in question, varying the assumptions about the weight functions.
△ Less
Submitted 12 April, 2019;
originally announced April 2019.
-
Existence at least four solutions for a Schrödinger equation with magnetic potential involving sign-changing weight function
Authors:
Francisco Odair Vieira de Paiva,
Sandra Machado de Souza Lima,
Olimpio Hiroshi Miyagaki
Abstract:
In this paper we consider the following class of elliptic problems $$- Δ_A u + u = a_λ(x) |u|^{q-2}u+b_μ(x) |u|^{p-2}u ,$$ for $x \in \mathbb{R}^N$, $1<q<2<p<2^*-1= \frac{N+2}{N-2}$, $a_λ(x)$ is a sign-changing weight function, $b_μ(x)$ has some aditional conditions, $u \in H^1_A(\mathbb{R}^N)$ and $A:\mathbb{R}^N \rightarrow\mathbb{R}^N$ is a magnetic potential. Exploring the Bahri Li argument an…
▽ More
In this paper we consider the following class of elliptic problems $$- Δ_A u + u = a_λ(x) |u|^{q-2}u+b_μ(x) |u|^{p-2}u ,$$ for $x \in \mathbb{R}^N$, $1<q<2<p<2^*-1= \frac{N+2}{N-2}$, $a_λ(x)$ is a sign-changing weight function, $b_μ(x)$ has some aditional conditions, $u \in H^1_A(\mathbb{R}^N)$ and $A:\mathbb{R}^N \rightarrow\mathbb{R}^N$ is a magnetic potential. Exploring the Bahri Li argument and some preliminar results we will discuss the existence of four solution to the problem in question.
△ Less
Submitted 12 April, 2019;
originally announced April 2019.
-
An alternative method for solving the Gaussian integral
Authors:
Lázaro L. Sales,
Jonatas A. Silva,
Eliângela P. Bento,
Hidalyn T. C. M. Souza,
Antonio D. S. Farias,
Otávio P. Lavor
Abstract:
In this paper, we have proposed a new method for solving the Gaussian integral. Introducing a parameter that depends on a $n$ index, we have found a general solution for this type of integral inspired by Taylor series of a simple function. We have demonstrated that this parameter represents the Taylor series coefficients of this function, a result very newsworthy. We have also introduced some Theo…
▽ More
In this paper, we have proposed a new method for solving the Gaussian integral. Introducing a parameter that depends on a $n$ index, we have found a general solution for this type of integral inspired by Taylor series of a simple function. We have demonstrated that this parameter represents the Taylor series coefficients of this function, a result very newsworthy. We have also introduced some Theorems that are proved by mathematical induction. The proposed method in this work has shown more practical and accessible than some methods found in the literature. As a test for the method, we have investigated a non-extensive version for the particle number density in Tsallis framework, which enabled us to evaluate the functionality of the method. Besides, solutions for a certain class of the gamma and factorial functions are derived. Moreover, we have presented a simple application in fractional calculus. In conclusion, we believe in the relevance of this work because it presents a new form of solving the Gaussian integral having the differential calculus as a tool.
△ Less
Submitted 11 June, 2020; v1 submitted 6 November, 2018;
originally announced November 2018.
-
On the Ergodic Control of Ensembles
Authors:
Andre R. Fioravanti,
Jakub Marecek,
Robert N. Shorten,
Matheus Souza,
Fabian R. Wirth
Abstract:
Across smart-grid and smart-city application domains, there are many problems where an ensemble of agents is to be controlled such that both the aggregate behaviour and individual-level perception of the system's performance are acceptable. In many applications, traditional PI control is used to regulate aggregate ensemble performance. Our principal contribution in this note is to demonstrate that…
▽ More
Across smart-grid and smart-city application domains, there are many problems where an ensemble of agents is to be controlled such that both the aggregate behaviour and individual-level perception of the system's performance are acceptable. In many applications, traditional PI control is used to regulate aggregate ensemble performance. Our principal contribution in this note is to demonstrate that PI control may not be always suitable for this purpose, and in some situations may lead to a loss of ergodicity for closed-loop systems. Building on this observation, a theoretical framework is proposed to both analyse and design control systems for the regulation of large scale ensembles of agents with a probabilistic intent. Examples are given to illustrate our results.
△ Less
Submitted 23 June, 2019; v1 submitted 9 July, 2018;
originally announced July 2018.
-
On Gonality, Scrolls, and Canonical Models of Non-Gorenstein Curves
Authors:
Danielle Nicolau Lara,
Jairo Menezes Souza,
Renato Vidal Martins
Abstract:
Let $C$ be an integral and projective curve; and let $C'$ be its canonical model. We study the relation between the gonality of $C$ and the dimension of a rational normal scroll $S$ where $C'$ can lie on. We are mainly interested in the case where $C$ is singular, or even non-Gorenstein, in which case $C'\not\cong C$. We first analyze some properties of an inclusion $C'\subset S$ when it is induce…
▽ More
Let $C$ be an integral and projective curve; and let $C'$ be its canonical model. We study the relation between the gonality of $C$ and the dimension of a rational normal scroll $S$ where $C'$ can lie on. We are mainly interested in the case where $C$ is singular, or even non-Gorenstein, in which case $C'\not\cong C$. We first analyze some properties of an inclusion $C'\subset S$ when it is induced by a pencil on $C$. Afterwards, in an opposite direction, we assume $C'$ lies on a certain scroll, and check some properties $C$ may satisfy, such as gonality and the kind of its singularities. At the end, we prove that a rational monomial curve $C$ has gonality $d$ if and only if $C'$ lies on a $(d-1)$-fold scroll.
△ Less
Submitted 28 March, 2018;
originally announced March 2018.
-
Convergence and adaptive discretization of the IRGNM Tikhonov and the IRGNM Ivanov method under a tangential cone condition in Banach space
Authors:
Barbara Kaltenbacher,
Mario Luiz Previatti de Souza
Abstract:
In this paper we consider the Iteratively Regularized Gauss-Newton Method (IRGNM) in its classical Tikhonov version and in an Ivanov type version, where regularization is achieved by imposing bounds on the solution. We do so in a general Banach space setting and under a tangential cone condition, while convergence (without source conditions, thus without rates) has so far only been proven under st…
▽ More
In this paper we consider the Iteratively Regularized Gauss-Newton Method (IRGNM) in its classical Tikhonov version and in an Ivanov type version, where regularization is achieved by imposing bounds on the solution. We do so in a general Banach space setting and under a tangential cone condition, while convergence (without source conditions, thus without rates) has so far only been proven under stronger restrictions on the nonlinearity of the operator and/or on the spaces. Moreover, we provide a convergence result for the discretized problem with an appropriate control on the error and show how to provide the required error bounds by goal oriented weighted dual residual estimators. The results are illustrated for an inverse source problem for a nonlinear elliptic boundary value problem, for the cases of a measure valued and of an $L^\infty$ source. For the latter, we also provide numerical results with the Ivanov type IRGNM.
△ Less
Submitted 24 July, 2017;
originally announced July 2017.
-
On Classical Control and Smart Cities
Authors:
Andre R. Fioravanti,
Jakub Marecek,
Robert N. Shorten,
Matheus Souza,
Fabian R. Wirth
Abstract:
We discuss the applicability of classical control theory to problems in smart grids and smart cities. We use tools from iterated function systems to identify controllers with desirable properties. In particular, controllers are identified that can be used to design not only stable closed-loop systems, but also to regulate large-scale populations of agents in a predictable manner. We also illustrat…
▽ More
We discuss the applicability of classical control theory to problems in smart grids and smart cities. We use tools from iterated function systems to identify controllers with desirable properties. In particular, controllers are identified that can be used to design not only stable closed-loop systems, but also to regulate large-scale populations of agents in a predictable manner. We also illustrate by means of an example and associated theory that many classical controllers are not be suitable for deployment in these applications.
△ Less
Submitted 21 March, 2017;
originally announced March 2017.
-
On the study of a class of non-linear differential equations on compact Riemannian Manifolds
Authors:
Carlos Silva,
Romildo Pina,
Marcelo Souza
Abstract:
We study the existence of solutions of the non-linear differential equations on the compact Riemannian manifolds $(M^n,g), n\geq 2$, Δ_p u + a(x)u^{p-1} = λf(u,x), (E2) where $Δ_p$ is the $p-$laplacian, with $1<p<n$. The equation (E2) generalizes a equation considered by Aubin, where he has considered, a compact Riemannian manifold $(M,g)$, the differential equation ($p=2$) Δu + a(x)u = λf(u,x),…
▽ More
We study the existence of solutions of the non-linear differential equations on the compact Riemannian manifolds $(M^n,g), n\geq 2$, Δ_p u + a(x)u^{p-1} = λf(u,x), (E2) where $Δ_p$ is the $p-$laplacian, with $1<p<n$. The equation (E2) generalizes a equation considered by Aubin, where he has considered, a compact Riemannian manifold $(M,g)$, the differential equation ($p=2$) Δu + a(x)u = λf(u,x), (E1) where $a(x)$ is a $C^{\infty}$ function defined on $M$ and $f(u,x)$ is a $C^{\infty}$ function defined on $\mathbb{R}\times M$. We show that the equation (E2) has solution $(λ,u)$, where $λ\in \mathbb{R}$, $u \geq 0$, $u \not\equiv 0$ is a function $C^{1,α}$, $0 < α< 1$, if $f \in C^{\infty}$ satisfies some growth and parity conditions.
△ Less
Submitted 9 November, 2016;
originally announced November 2016.
-
On the study of solutions for a non linear differential equation on compact Riemannian Manifolds
Authors:
Carlos R. Silva,
Marcelo Souza
Abstract:
In this paper we study the existence of solutions for a class of non-linear differential equation on compact Riemannian manifolds. We establish a lower and upper solutions' method to show the existence of a smooth positive solution for the equation (EQ1) \begin{equation}
\label{E4} Δu \ + \ a(x)u \ = \ f(x)F(u) \ + \ h(x)H(u), (EQ1) \end{equation} where \ $a, \ f, \ h$ \ are positive smooth func…
▽ More
In this paper we study the existence of solutions for a class of non-linear differential equation on compact Riemannian manifolds. We establish a lower and upper solutions' method to show the existence of a smooth positive solution for the equation (EQ1) \begin{equation}
\label{E4} Δu \ + \ a(x)u \ = \ f(x)F(u) \ + \ h(x)H(u), (EQ1) \end{equation} where \ $a, \ f, \ h$ \ are positive smooth functions on $M^n$, a $n-$dimensional compact Riemannian manifold, and \ $ F, \ H$ \ are non-decreasing smooth functions on $\mathbb{R}$. In \cite{djadli} the equation (EQ1) was studied when $F(u)=u^{2^{\ast}-1} $ and $H(u)=u^q$ in the Riemannian context, i.e., \begin{equation} \label{E3} Δu \ + \ a(x)u \ = \ f(x)u^{2^{\ast}-1} \ + \ h(x)u^q, (EQ2) \end{equation} \nd where \ $0 \ < \ q \ < 1$. In \cite{correa} Corrêa, Gonçalves and Melo studied an equation of the type equation (EQ2), in the Euclidean context.
△ Less
Submitted 7 November, 2016;
originally announced November 2016.
-
Periodic points on T - fiber bundles over the circle
Authors:
Weslem L. Silva,
Rafael M. Souza
Abstract:
The main purppose this work is to study periodic points of fiber-preserving maps on fiber bundles with base circle and fiber torus.
The main purppose this work is to study periodic points of fiber-preserving maps on fiber bundles with base circle and fiber torus.
△ Less
Submitted 8 July, 2016;
originally announced July 2016.
-
Classes of Weingarten Surfaces in S^2xR
Authors:
Armando V Corro,
Marcelo A. Souza,
Romildo Pina
Abstract:
In this work we study surfaces in radial conformally flat spaces. We characterize surfaces of rotation with constant Gaussian and Extrinsic curvature in these radial 3-spaces. We prove that all the spheres in the conformal 3-space have constant Gaussian curvature $K=1$ if, and only if, the conformal factor is special. In this special case we study geometric properties of this ambient 3-space, an…
▽ More
In this work we study surfaces in radial conformally flat spaces. We characterize surfaces of rotation with constant Gaussian and Extrinsic curvature in these radial 3-spaces. We prove that all the spheres in the conformal 3-space have constant Gaussian curvature $K=1$ if, and only if, the conformal factor is special. In this special case we study geometric properties of this ambient 3-space, and as an application we prove that it is isometric to the space ${\mathbb{S}}^2\times {\mathbb{R}}$, so we consider it as the {\em Radial Model} of ${\mathbb{S}}^2\times {\mathbb{R}}$. We obtain two classes of Weingarten surfaces in the {\em Radial Model}, which satisfy $\tilde{K}_E+\tilde{H}^2-\tilde{K}=0 $ and $2\tilde{K}_E-\tilde{K}=0 $, where $\tilde{K}$ is the Gaussian curvature, $\tilde{H}$ is the mean curvature and $\tilde{K}_E$ is the extrinsic curvature. Moreover, by using the relations between the curvatures of the {\em Radial Model} and the curvatures with respect to the euclidean metric ([CPS]), we prove that first class the Weingarten surfaces in {\em Radial Model} corresponds, up to isometries, to the minimal surfaces in $\mathbb{R}^3$, and second class corresponds to EDSGHW - surfaces in Euclidean space $ \mathbb{R} ^ 3$(\cite{DC}). Consequently these two classes of surfaces have a Weierstrass type representation depending on two holomorphic functions.
△ Less
Submitted 27 June, 2016;
originally announced June 2016.
-
Shock fluctuations for the Hammersley process
Authors:
Leandro P. R. Pimentel,
Marcio W. A. de Souza
Abstract:
We consider the Hammersley interacting particle system starting from a shock initial profile with densities $λ,ρ\in\mathbb{R}$ ($λ> ρ$). The microscopic shock is taken as the position of a second-class particle initially at the origin, and the main results are: a central limit theorem for the shock; the variance of the shock equals $2[λρ(λ- ρ)]^{-1}t + O(t^{2/3})$. By using the same method of proo…
▽ More
We consider the Hammersley interacting particle system starting from a shock initial profile with densities $λ,ρ\in\mathbb{R}$ ($λ> ρ$). The microscopic shock is taken as the position of a second-class particle initially at the origin, and the main results are: a central limit theorem for the shock; the variance of the shock equals $2[λρ(λ- ρ)]^{-1}t + O(t^{2/3})$. By using the same method of proof, we also prove similar results for first-class particles.
△ Less
Submitted 20 December, 2016; v1 submitted 20 May, 2016;
originally announced May 2016.
-
Specht property for the $2$-graded identities of $B_m$
Authors:
Diogo Diniz,
Manuela da Silva Souza
Abstract:
Let $K$ be a field of characteristic zero and $V$ a vector space of dimension $m>1$ with a nondegenerate symmetric bilinear form $f:V\times V \rightarrow K$. The Jordan algebra $B_m=K\oplus V$ of the form $f$ is a superalgebra with this decomposition. We prove that the ideal of all the $2$-graded identities of $B_m$ satisfies the Specht property and we compute the $2$-graded cocharacter sequence o…
▽ More
Let $K$ be a field of characteristic zero and $V$ a vector space of dimension $m>1$ with a nondegenerate symmetric bilinear form $f:V\times V \rightarrow K$. The Jordan algebra $B_m=K\oplus V$ of the form $f$ is a superalgebra with this decomposition. We prove that the ideal of all the $2$-graded identities of $B_m$ satisfies the Specht property and we compute the $2$-graded cocharacter sequence of $B_m$.
△ Less
Submitted 13 January, 2016;
originally announced January 2016.
-
On the growth of graded polynomial identities of sl_n
Authors:
Lucio Centrone,
Manuela da Silva Souza
Abstract:
Let K be a field of characteristic 0 and L be a G-graded Lie PI-algebra, where G is a finite group. We define the graded Gelfand-Kirillov dimension of L. Then we measure the growth of the Z_n-graded polynomial identities of the Lie algebra of n x n traceless matrices sl_n(K) giving an exact value of its Z_n-graded Gelfand-Kirillov dimension.
Let K be a field of characteristic 0 and L be a G-graded Lie PI-algebra, where G is a finite group. We define the graded Gelfand-Kirillov dimension of L. Then we measure the growth of the Z_n-graded polynomial identities of the Lie algebra of n x n traceless matrices sl_n(K) giving an exact value of its Z_n-graded Gelfand-Kirillov dimension.
△ Less
Submitted 1 June, 2015;
originally announced June 2015.
-
Wavelets for Elliptical Waveguide Problems
Authors:
M. M. S. Lira,
H. M. de Oliveira,
R. J. Cintra,
R. M. Campello de Souza
Abstract:
New elliptic cylindrical wavelets are introduced, which exploit the relationship between analysing filters and Floquet's solution of Mathieu differential equations. It is shown that the transfer function of both multiresolution filters is related to the solution of a Mathieu equation of odd characteristic exponent. The number of notches of these analysing filters can be easily designed. Wavelets d…
▽ More
New elliptic cylindrical wavelets are introduced, which exploit the relationship between analysing filters and Floquet's solution of Mathieu differential equations. It is shown that the transfer function of both multiresolution filters is related to the solution of a Mathieu equation of odd characteristic exponent. The number of notches of these analysing filters can be easily designed. Wavelets derived by this method have potential application in the fields of optics, microwaves and electromagnetism.
△ Less
Submitted 23 April, 2015; v1 submitted 20 April, 2015;
originally announced April 2015.
-
Spread-Spectrum Based on Finite Field Fourier Transforms
Authors:
H. M. de Oliveira,
J. P. C. L. Miranda,
R. M. Campello de Souza
Abstract:
Spread-spectrum systems are presented, which are based on Finite Field Fourier Transforms. Orthogonal spreading sequences defined over a finite field are derived. New digital multiplex schemes based on such spread-spectrum systems are also introduced, which are multilevel Coding Division Multiplex. These schemes termed Galois-field Division Multiplex (GDM) offer compact bandwidth requirements beca…
▽ More
Spread-spectrum systems are presented, which are based on Finite Field Fourier Transforms. Orthogonal spreading sequences defined over a finite field are derived. New digital multiplex schemes based on such spread-spectrum systems are also introduced, which are multilevel Coding Division Multiplex. These schemes termed Galois-field Division Multiplex (GDM) offer compact bandwidth requirements because only leaders of cyclotomic cosets are needed to be transmitted.
△ Less
Submitted 12 February, 2015;
originally announced March 2015.
-
A Flexible Implementation of a Matrix Laurent Series-Based 16-Point Fast Fourier and Hartley Transforms
Authors:
R. C. de Oliveira,
H. M. de Oliveira,
R. M. Campello de Souza,
E. J. P. Santos
Abstract:
This paper describes a flexible architecture for implementing a new fast computation of the discrete Fourier and Hartley transforms, which is based on a matrix Laurent series. The device calculates the transforms based on a single bit selection operator. The hardware structure and synthesis are presented, which handled a 16-point fast transform in 65 nsec, with a Xilinx SPARTAN 3E device.
This paper describes a flexible architecture for implementing a new fast computation of the discrete Fourier and Hartley transforms, which is based on a matrix Laurent series. The device calculates the transforms based on a single bit selection operator. The hardware structure and synthesis are presented, which handled a 16-point fast transform in 65 nsec, with a Xilinx SPARTAN 3E device.
△ Less
Submitted 20 February, 2015;
originally announced February 2015.
-
The Hartley Transform in a Finite Field
Authors:
R. M. Campello de Souza,
H. M. de Oliveira,
A. N. Kauffman
Abstract:
The k-trigonometric functions over the Galois Field GF(q) are introduced and their main properties derived. This leads to the definition of the cask(.) function over GF(q), which in turn leads to a finite field Hartley Transform. The main properties of this new discrete transform are presented and areas for possible applications are mentioned.
The k-trigonometric functions over the Galois Field GF(q) are introduced and their main properties derived. This leads to the definition of the cask(.) function over GF(q), which in turn leads to a finite field Hartley Transform. The main properties of this new discrete transform are presented and areas for possible applications are mentioned.
△ Less
Submitted 16 February, 2015;
originally announced February 2015.
-
Fourier Eigenfunctions, Uncertainty Gabor Principle and Isoresolution Wavelets
Authors:
L. R. Soares,
H. M. de Oliveira,
R. J. Cintra,
R. M. Campello de Souza
Abstract:
Shape-invariant signals under Fourier transform are investigated leading to a class of eigenfunctions for the Fourier operator. The classical uncertainty Gabor-Heisenberg principle is revisited and the concept of isoresolution in joint time-frequency analysis is introduced. It is shown that any Fourier eigenfunction achieve isoresolution. It is shown that an isoresolution wavelet can be derived fr…
▽ More
Shape-invariant signals under Fourier transform are investigated leading to a class of eigenfunctions for the Fourier operator. The classical uncertainty Gabor-Heisenberg principle is revisited and the concept of isoresolution in joint time-frequency analysis is introduced. It is shown that any Fourier eigenfunction achieve isoresolution. It is shown that an isoresolution wavelet can be derived from each known wavelet family by a suitable scaling.
△ Less
Submitted 17 February, 2015; v1 submitted 11 February, 2015;
originally announced February 2015.
-
The Z Transform over Finite Fields
Authors:
R. M. Campello de Souza,
H. M. de Oliveira,
D. Silva
Abstract:
Finite field transforms have many applications and, in many cases, can be implemented with a low computational complexity. In this paper, the Z Transform over a finite field is introduced and some of its properties are presented.
Finite field transforms have many applications and, in many cases, can be implemented with a low computational complexity. In this paper, the Z Transform over a finite field is introduced and some of its properties are presented.
△ Less
Submitted 11 February, 2015;
originally announced February 2015.
-
On a Density for Sets of Integers
Authors:
R. J. Cintra,
L. C. Rêgo,
H. M. de Oliveira,
R. M. Campello de Souza
Abstract:
A relationship between the Riemann zeta function and a density on integer sets is explored. Several properties of the examined density are derived.
A relationship between the Riemann zeta function and a density on integer sets is explored. Several properties of the examined density are derived.
△ Less
Submitted 9 February, 2015;
originally announced February 2015.
-
A Factorization Scheme for Some Discrete Hartley Transform Matrices
Authors:
H. M. de Oliveira,
R. J. Cintra,
R. M. Campello de Souza
Abstract:
Discrete transforms such as the discrete Fourier transform (DFT) and the discrete Hartley transform (DHT) are important tools in numerical analysis. The successful application of transform techniques relies on the existence of efficient fast transforms. In this paper some fast algorithms are derived. The theoretical lower bound on the multiplicative complexity for the DFT/DHT are achieved. The app…
▽ More
Discrete transforms such as the discrete Fourier transform (DFT) and the discrete Hartley transform (DHT) are important tools in numerical analysis. The successful application of transform techniques relies on the existence of efficient fast transforms. In this paper some fast algorithms are derived. The theoretical lower bound on the multiplicative complexity for the DFT/DHT are achieved. The approach is based on the factorization of DHT matrices. Algorithms for short blocklengths such as $N \in \{3, 5, 6, 12, 24 \}$ are presented.
△ Less
Submitted 1 February, 2015;
originally announced February 2015.
-
Compactly Supported Wavelets Derived From Legendre Polynomials: Spherical Harmonic Wavelets
Authors:
M. M. S. Lira,
H. M. de Oliveira,
M. A. Carvalho Jr,
R. M. Campello de Souza
Abstract:
A new family of wavelets is introduced, which is associated with Legendre polynomials. These wavelets, termed spherical harmonic or Legendre wavelets, possess compact support. The method for the wavelet construction is derived from the association of ordinary second order differential equations with multiresolution filters. The low-pass filter associated with Legendre multiresolution analysis is a…
▽ More
A new family of wavelets is introduced, which is associated with Legendre polynomials. These wavelets, termed spherical harmonic or Legendre wavelets, possess compact support. The method for the wavelet construction is derived from the association of ordinary second order differential equations with multiresolution filters. The low-pass filter associated with Legendre multiresolution analysis is a linear phase finite impulse response filter (FIR).
△ Less
Submitted 3 February, 2015;
originally announced February 2015.
-
Fragile Watermarking Using Finite Field Trigonometrical Transforms
Authors:
R. J. Cintra,
V. S. Dimitrov,
H. M. de Oliveira,
R. M. Campello de Souza
Abstract:
Fragile digital watermarking has been applied for authentication and alteration detection in images. Utilizing the cosine and Hartley transforms over finite fields, a new transform domain fragile watermarking scheme is introduced. A watermark is embedded into a host image via a blockwise application of two-dimensional finite field cosine or Hartley transforms. Additionally, the considered finite f…
▽ More
Fragile digital watermarking has been applied for authentication and alteration detection in images. Utilizing the cosine and Hartley transforms over finite fields, a new transform domain fragile watermarking scheme is introduced. A watermark is embedded into a host image via a blockwise application of two-dimensional finite field cosine or Hartley transforms. Additionally, the considered finite field transforms are adjusted to be number theoretic transforms, appropriate for error-free calculation. The employed technique can provide invisible fragile watermarking for authentication systems with tamper location capability. It is shown that the choice of the finite field characteristic is pivotal to obtain perceptually invisible watermarked images. It is also shown that the generated watermarked images can be used as publicly available signature data for authentication purposes.
△ Less
Submitted 1 February, 2015;
originally announced February 2015.
-
Fast Finite Field Hartley Transforms Based on Hadamard Decomposition
Authors:
H. M. de Oliveira,
R. G. F. Távora,
R. J. Cintra,
R. M. Campello de Souza
Abstract:
A new transform over finite fields, the finite field Hartley transform (FFHT), was recently introduced and a number of promising applications on the design of efficient multiple access systems and multilevel spread spectrum sequences were proposed. The FFHT exhibits interesting symmetries, which are exploited to derive tailored fast transform algorithms. The proposed fast algorithms are based on s…
▽ More
A new transform over finite fields, the finite field Hartley transform (FFHT), was recently introduced and a number of promising applications on the design of efficient multiple access systems and multilevel spread spectrum sequences were proposed. The FFHT exhibits interesting symmetries, which are exploited to derive tailored fast transform algorithms. The proposed fast algorithms are based on successive decompositions of the FFHT by means of Hadamard-Walsh transforms (HWT). The introduced decompositions meet the lower bound on the multiplicative complexity for all the cases investigated. The complexity of the new algorithms is compared with that of traditional algorithms.
△ Less
Submitted 1 February, 2015;
originally announced February 2015.
