-
Randomized block Krylov method for approximation of truncated tensor SVD
Authors:
Malihe Nobakht Kooshkghazi,
Salman Ahmadi-Asl,
Andre L. F. de Almeida
Abstract:
This paper is devoted to studying the application of the block Krylov subspace method for approximation of the truncated tensor SVD (T-SVD). The theoretical results of the proposed randomized approach are presented. Several experimental experiments using synthetics and real-world data are conducted to verify the efficiency and feasibility of the proposed randomized approach, and the numerical resu…
▽ More
This paper is devoted to studying the application of the block Krylov subspace method for approximation of the truncated tensor SVD (T-SVD). The theoretical results of the proposed randomized approach are presented. Several experimental experiments using synthetics and real-world data are conducted to verify the efficiency and feasibility of the proposed randomized approach, and the numerical results show that the proposed method provides promising results. Applications of the proposed approach to data completion and data compression are presented.
△ Less
Submitted 7 April, 2025;
originally announced April 2025.
-
Randomized algorithms for Kroncecker tensor decomposition and applications
Authors:
Salman Ahmadi-Asl,
Naeim Rezaeian,
Andre L. F. de Almeida,
Yipeng Liu
Abstract:
This paper proposes fast randomized algorithms for computing the Kronecker Tensor Decomposition (KTD). The proposed algorithms can decompose a given tensor into the KTD format much faster than the existing state-of-the-art algorithms. Our principal idea is to use the randomization framework to reduce computational complexity significantly. We provide extensive simulations to verify the effectivene…
▽ More
This paper proposes fast randomized algorithms for computing the Kronecker Tensor Decomposition (KTD). The proposed algorithms can decompose a given tensor into the KTD format much faster than the existing state-of-the-art algorithms. Our principal idea is to use the randomization framework to reduce computational complexity significantly. We provide extensive simulations to verify the effectiveness and performance of the proposed randomized algorithms with several orders of magnitude acceleration compared to the deterministic one. Our simulations use synthetics and real-world datasets with applications to tensor completion, video/image compression, image denoising, and image super-resolution
△ Less
Submitted 21 May, 2025; v1 submitted 3 December, 2024;
originally announced December 2024.
-
On the uniqueness of the optimal control for 2-dimensional second grade fluids
Authors:
Adilson Almeida,
Nikolai V. Chemetov,
Fernanda Cipriano
Abstract:
We study an optimal control problem with a quadratic cost functional for non-Newtonian fluids of differential type.
More precisely, we consider the system governing the evolution of a second grade fluid filling a two-dimensional bounded domain, supplemented with a Navier slip boundary condition, and under certain assumptions on the size of the initial data and parameters of the model, we prove t…
▽ More
We study an optimal control problem with a quadratic cost functional for non-Newtonian fluids of differential type.
More precisely, we consider the system governing the evolution of a second grade fluid filling a two-dimensional bounded domain, supplemented with a Navier slip boundary condition, and under certain assumptions on the size of the initial data and parameters of the model, we prove the second-order sufficient optimality conditions.
Furthermore, we establish a global uniqueness result for the solutions of the first-order optimality system.
△ Less
Submitted 31 August, 2024;
originally announced September 2024.
-
On bisectors in quaternionic hyperbolic space
Authors:
Igor A. R. Almeida,
Jaime L. O. Chamorro,
Nikolay Gusevskii
Abstract:
In this paper, we study a problem related to geometry of bisectors in quaternionic hyperbolic geometry. We develop some of the basic theory of bisectors in quaternionic hyperbolic space $H^n_Q$. In particular, we show that quaternionic bisectors enjoy various decompositions by totally geodesic submanifolds of $H^n_Q$. In contrast to complex hyperbolic geometry, where bisectors admit only two types…
▽ More
In this paper, we study a problem related to geometry of bisectors in quaternionic hyperbolic geometry. We develop some of the basic theory of bisectors in quaternionic hyperbolic space $H^n_Q$. In particular, we show that quaternionic bisectors enjoy various decompositions by totally geodesic submanifolds of $H^n_Q$. In contrast to complex hyperbolic geometry, where bisectors admit only two types of decomposition (described by Mostow and Goldman), we show that in the quaternionic case geometry of bisectors is more rich. The main purpose of the paper is to describe an infinite family of different decompositions of bisectors in $H^n_Q$ by totally geodesic submanifolds of $H^n_Q$ isometric to complex hyperbolic space $H^n_C$ which we call the fan decompositions. Also, we derive a formula for the orthogonal projection onto totally geodesic submanifolds in $H^n_Q$ isometric to $H^n_C$. Using this, we introduce a new class of hypersurfaces in $H^n_Q$, which we call complex hyperbolic packs in $H^n_Q$. We hope that the complex hyperbolic packs will be useful for constructing fundamental polyhedra for discrete groups of isometries of quaternionic hyperbolic space.
△ Less
Submitted 13 September, 2023; v1 submitted 27 December, 2022;
originally announced December 2022.
-
Unpredictability in seasonal infectious diseases spread
Authors:
Enrique C. Gabrick,
Elaheh Sayari,
Paulo R. Protachevicz,
José D. Szezech Jr.,
Kelly C. Iarosz,
Silvio L. T. de Souza,
Alexandre C. L. Almeida,
Ricardo L. Viana,
Iberê L. Caldas,
Antonio M. Batista
Abstract:
In this work, we study the unpredictability of seasonal infectious diseases considering a SEIRS model with seasonal forcing. To investigate the dynamical behaviour, we compute bifurcation diagrams type hysteresis and their respective Lyapunov exponents. Our results from bifurcations and the largest Lyapunov exponent show bistable dynamics for all the parameters of the model. Choosing the inverse o…
▽ More
In this work, we study the unpredictability of seasonal infectious diseases considering a SEIRS model with seasonal forcing. To investigate the dynamical behaviour, we compute bifurcation diagrams type hysteresis and their respective Lyapunov exponents. Our results from bifurcations and the largest Lyapunov exponent show bistable dynamics for all the parameters of the model. Choosing the inverse of latent period as control parameter, over 70% of the interval comprises the coexistence of periodic and chaotic attractors, bistable dynamics. Despite the competition between these attractors, the chaotic ones are preferred. The bistability occurs in two wide regions. One of these regions is limited by periodic attractors, while periodic and chaotic attractors bound the other. As the boundary of the second bistable region is composed of periodic and chaotic attractors, it is possible to interpret these critical points as tipping points. In other words, depending on the latent period, a periodic attractor (predictability) can evolve to a chaotic attractor (unpredictability). Therefore, we show that unpredictability is associated with bistable dynamics preferably chaotic, and, furthermore, there is a tipping point associated with unpredictable dynamics.
△ Less
Submitted 7 December, 2022;
originally announced December 2022.
-
On the invariance of certain vanishing subspaces of Morrey spaces with respect to some classical operators
Authors:
Aysegul Alabalik,
Alexandre Almeida,
Stefan Samko
Abstract:
We consider subspaces of Morrey spaces defined in terms of various vanishing properties of functions. Such subspaces were recently used to describe the closure of $C_0^\infty(\mathbb{R}^n)$ in Morrey norm. We show that these subspaces are invariant with respect to some classical operators of harmonic analysis, such as the Hardy-Littlewood maximal operator, singular type operators and Hardy operato…
▽ More
We consider subspaces of Morrey spaces defined in terms of various vanishing properties of functions. Such subspaces were recently used to describe the closure of $C_0^\infty(\mathbb{R}^n)$ in Morrey norm. We show that these subspaces are invariant with respect to some classical operators of harmonic analysis, such as the Hardy-Littlewood maximal operator, singular type operators and Hardy operators. We also show that the vanishing properties defining those subspaces are preserved under the action of Riesz potential operators and fractional maximal operators.
△ Less
Submitted 15 November, 2019;
originally announced November 2019.
-
Variable exponent Besov-Morrey spaces
Authors:
Alexandre Almeida,
António Caetano
Abstract:
In this paper we introduce Besov-Morrey spaces with all indices variable and study some fundamental properties. This includes a description in terms of Peetre maximal functions and atomic and molecular decompositions. This new scale of non-standard function spaces requires the introduction of variable exponent mixed Morrey-sequence spaces, which in turn are defined within the framework of semimodu…
▽ More
In this paper we introduce Besov-Morrey spaces with all indices variable and study some fundamental properties. This includes a description in terms of Peetre maximal functions and atomic and molecular decompositions. This new scale of non-standard function spaces requires the introduction of variable exponent mixed Morrey-sequence spaces, which in turn are defined within the framework of semimodular spaces. In particular, we obtain a convolution inequality involving special radial kernels, which proves to be a key tool in this work.
△ Less
Submitted 27 October, 2019; v1 submitted 27 July, 2018;
originally announced July 2018.
-
Approximation in Morrey spaces
Authors:
Alexandre Almeida,
Stefan Samko
Abstract:
A new subspace of Morrey spaces whose elements can be approximated by infinitely differentiable compactly supported functions is introduced. Consequently, we give an explicit description of the closure of the set of such functions in Morrey spaces. A generalization of known embeddings of Morrey spaces into weighted Lesbesgue spaces is also obtained.
A new subspace of Morrey spaces whose elements can be approximated by infinitely differentiable compactly supported functions is introduced. Consequently, we give an explicit description of the closure of the set of such functions in Morrey spaces. A generalization of known embeddings of Morrey spaces into weighted Lesbesgue spaces is also obtained.
△ Less
Submitted 3 January, 2017; v1 submitted 15 July, 2016;
originally announced July 2016.
-
Rank-1 Tensor Approximation Methods and Application to Deflation
Authors:
Alex Pereira da Silva,
Pierre Comon,
Andre Lima Ferrer de Almeida
Abstract:
Because of the attractiveness of the canonical polyadic (CP) tensor decomposition in various applications, several algorithms have been designed to compute it, but efficient ones are still lacking. Iterative deflation algorithms based on successive rank-1 approximations can be used to perform this task, since the latter are rather easy to compute. We first present an algebraic rank-1 approximation…
▽ More
Because of the attractiveness of the canonical polyadic (CP) tensor decomposition in various applications, several algorithms have been designed to compute it, but efficient ones are still lacking. Iterative deflation algorithms based on successive rank-1 approximations can be used to perform this task, since the latter are rather easy to compute. We first present an algebraic rank-1 approximation method that performs better than the standard higher-order singular value decomposition (HOSVD) for three-way tensors. Second, we propose a new iterative rank-1 approximation algorithm that improves any other rank-1 approximation method. Third, we describe a probabilistic framework allowing to study the convergence of deflation CP decomposition (DCPD) algorithms based on successive rank-1 approximations. A set of computer experiments then validates theoretical results and demonstrates the efficiency of DCPD algorithms compared to other ones.
△ Less
Submitted 21 August, 2015;
originally announced August 2015.
-
Atomic and molecular decompositions in variable exponent 2-microlocal spaces and applications
Authors:
Alexandre Almeida,
António Caetano
Abstract:
In this article we study atomic and molecular decompositions in $2$-microlocal Besov and Triebel--Lizorkin spaces with variable integrability. We show that, in most cases, the convergence implied in such decompositions holds not only in the distributions sense, but also in the function spaces themselves. As an application, we give a simple proof for the denseness of the Schwartz class in such spac…
▽ More
In this article we study atomic and molecular decompositions in $2$-microlocal Besov and Triebel--Lizorkin spaces with variable integrability. We show that, in most cases, the convergence implied in such decompositions holds not only in the distributions sense, but also in the function spaces themselves. As an application, we give a simple proof for the denseness of the Schwartz class in such spaces. Some other properties, like Sobolev embeddings, are also obtained via atomic representations.
△ Less
Submitted 18 December, 2015; v1 submitted 10 August, 2015;
originally announced August 2015.
-
On 2-microlocal spaces with all exponents variable
Authors:
Alexandre Almeida,
António Caetano
Abstract:
In this paper we study various key properties for $2$-microlocal Besov and Triebel--Lizorkin spaces with all exponents variable, including the lifting property, embeddings and Fourier multipliers. We also clarify and improve some statements recently published.
In this paper we study various key properties for $2$-microlocal Besov and Triebel--Lizorkin spaces with all exponents variable, including the lifting property, embeddings and Fourier multipliers. We also clarify and improve some statements recently published.
△ Less
Submitted 12 February, 2016; v1 submitted 10 August, 2015;
originally announced August 2015.
-
Consensus-based In-Network Computation of the PARAFAC Decomposition
Authors:
Alain Y. Kibangou,
André L. F. de Almeida
Abstract:
In this work, we present a new approach for the distributed computation of the PARAFAC decomposition of a third-order tensor across a network of collaborating nodes. We are interested in the case where the overall data gathered across the network can be modeled as a data tensor admitting an essentially unique PARAFAC decomposition, while each node only observes a sub-tensor with not necessarily en…
▽ More
In this work, we present a new approach for the distributed computation of the PARAFAC decomposition of a third-order tensor across a network of collaborating nodes. We are interested in the case where the overall data gathered across the network can be modeled as a data tensor admitting an essentially unique PARAFAC decomposition, while each node only observes a sub-tensor with not necessarily enough diversity so that identifiability conditions are not locally fulfilled at each node. In this situation, conventional (centralized) tensor based methods cannot be applied individually at each node. By allowing collaboration between neighboring nodes of the network, we propose distributed versions of the alternating least squares (ALS) and Levenberg-Marquardt (LM) algorithms for the in-network estimation of the factor matrices of a third-order tensor. We assume that one of the factor matrices contains parameters that are local to each node, while the two remaining factor matrices contain global parameters that are common to the whole network. The proposed algorithms combine the estimation of the local factors with an in-network computation of the global factors of the PARAFAC decomposition using average consensus over graphs. They emulate their centralized counterparts in the case of ideal data exchange and ideal consensus computations. The performance of the proposed algorithms are evaluated in both ideal and imperfect cases.
△ Less
Submitted 5 June, 2014;
originally announced June 2014.
-
Overview of Constrained PARAFAC Models
Authors:
Gérard Favier,
André L. F. de Almeida
Abstract:
In this paper, we present an overview of constrained PARAFAC models where the constraints model linear dependencies among columns of the factor matrices of the tensor decomposition, or alternatively, the pattern of interactions between different modes of the tensor which are captured by the equivalent core tensor. Some tensor prerequisites with a particular emphasis on mode combination using Krone…
▽ More
In this paper, we present an overview of constrained PARAFAC models where the constraints model linear dependencies among columns of the factor matrices of the tensor decomposition, or alternatively, the pattern of interactions between different modes of the tensor which are captured by the equivalent core tensor. Some tensor prerequisites with a particular emphasis on mode combination using Kronecker products of canonical vectors that makes easier matricization operations, are first introduced. This Kronecker product based approach is also formulated in terms of the index notation, which provides an original and concise formalism for both matricizing tensors and writing tensor models. Then, after a brief reminder of PARAFAC and Tucker models, two families of constrained tensor models, the co-called PARALIND/CONFAC and PARATUCK models, are described in a unified framework, for $N^{th}$ order tensors. New tensor models, called nested Tucker models and block PARALIND/CONFAC models, are also introduced. A link between PARATUCK models and constrained PARAFAC models is then established. Finally, new uniqueness properties of PARATUCK models are deduced from sufficient conditions for essential uniqueness of their associated constrained PARAFAC models.
△ Less
Submitted 29 July, 2014; v1 submitted 28 May, 2014;
originally announced May 2014.
-
Riesz and Wolff potentials and elliptic equations in variable exponent weak Lebesgue spaces
Authors:
Alexandre Almeida,
Petteri Harjulehto,
Peter Hästö,
Teemu Lukkari
Abstract:
We prove optimal integrability results for solutions of the $p(\cdot)$-Laplace equation in the scale of (weak) Lebesgue spaces. To obtain this, we show that variable exponent Riesz and Wolff potentials maps $L^1$ to variable exponent weak Lebesgue spaces.
We prove optimal integrability results for solutions of the $p(\cdot)$-Laplace equation in the scale of (weak) Lebesgue spaces. To obtain this, we show that variable exponent Riesz and Wolff potentials maps $L^1$ to variable exponent weak Lebesgue spaces.
△ Less
Submitted 23 October, 2013; v1 submitted 7 November, 2012;
originally announced November 2012.
-
Semiclassical Evolution of Dissipative Markovian Systems
Authors:
A. M. Ozorio de Almeida,
P. de M. Rios,
O. Brodier
Abstract:
A semiclassical approximation for an evolving density operator, driven by a "closed" hamiltonian operator and "open" markovian Lindblad operators, is obtained. The theory is based on the chord function, i.e. the Fourier transform of the Wigner function. It reduces to an exact solution of the Lindblad master equation if the hamiltonian operator is a quadratic function and the Lindblad operators a…
▽ More
A semiclassical approximation for an evolving density operator, driven by a "closed" hamiltonian operator and "open" markovian Lindblad operators, is obtained. The theory is based on the chord function, i.e. the Fourier transform of the Wigner function. It reduces to an exact solution of the Lindblad master equation if the hamiltonian operator is a quadratic function and the Lindblad operators are linear functions of positions and momenta.
Initially, the semiclassical formulae for the case of hermitian Lindblad operators are reinterpreted in terms of a (real) double phase space, generated by an appropriate classical double Hamiltonian. An extra "open" term is added to the double Hamiltonian by the non-hermitian part of the Lindblad operators in the general case of dissipative markovian evolution. The particular case of generic hamiltonian operators, but linear dissipative Lindblad operators, is studied in more detail. A Liouville-type equivariance still holds for the corresponding classical evolution in double phase, but the centre subspace, which supports the Wigner function, is compressed, along with expansion of its conjugate subspace, which supports the chord function.
Decoherence narrows the relevant region of double phase space to the neighborhood of a caustic for both the Wigner function and the chord function. This difficulty is avoided by a propagator in a mixed representation, so that a further "small-chord" approximation leads to a simple generalization of the quadratic theory for evolving Wigner functions.
△ Less
Submitted 20 December, 2008; v1 submitted 29 August, 2007;
originally announced August 2007.
-
A variational principle for actions on symmetric symplectic spaces
Authors:
Pedro de M. Rios,
A. Ozorio de Almeida
Abstract:
We present a definition of generating functions of canonical relations, which are real functions on symmetric symplectic spaces, discussing some conditions for the presence of caustics. We show how the actions compose by a neat geometrical formula and are connected to the hamiltonians via a geometrically simple variational principle which determines the classical trajectories, discussing the tem…
▽ More
We present a definition of generating functions of canonical relations, which are real functions on symmetric symplectic spaces, discussing some conditions for the presence of caustics. We show how the actions compose by a neat geometrical formula and are connected to the hamiltonians via a geometrically simple variational principle which determines the classical trajectories, discussing the temporal evolution of such ``extended hamiltonians'' in terms of Hamilton-Jacobi-type equations. Simplest spaces are treated explicitly.
△ Less
Submitted 8 March, 2002;
originally announced March 2002.
-
On the propagation of semiclassical Wigner functions
Authors:
Pedro P. de M. Rios,
A. M. Ozorio de Almeida
Abstract:
We establish the difference between the propagation of semiclassical Wigner functions and classical Liouville propagation. First we re-discuss the semiclassical limit for the propagator of Wigner functions, which on its own leads to their classical propagation. Then, via stationary phase evaluation of the full integral evolution equation, using the semiclassical expressions of Wigner functions,…
▽ More
We establish the difference between the propagation of semiclassical Wigner functions and classical Liouville propagation. First we re-discuss the semiclassical limit for the propagator of Wigner functions, which on its own leads to their classical propagation. Then, via stationary phase evaluation of the full integral evolution equation, using the semiclassical expressions of Wigner functions, we provide the correct geometrical prescription for their semiclassical propagation. This is determined by the classical trajectories of the tips of the chords defined by the initial semiclassical Wigner function and centered on their arguments, in contrast to the Liouville propagation which is determined by the classical trajectories of the arguments themselves.
△ Less
Submitted 8 March, 2002; v1 submitted 7 November, 2001;
originally announced November 2001.
