-
Scattering Networks on Noncommutative Finite Groups
Authors:
Maria Teresa Arias,
Davide Barbieri,
Eugenio Hernández
Abstract:
Scattering Networks were initially designed to elucidate the behavior of early layers in Convolutional Neural Networks (CNNs) over Euclidean spaces and are grounded in wavelets. In this work, we introduce a scattering transform on an arbitrary finite group (not necessarily abelian) within the context of group-equivariant convolutional neural networks (G-CNNs). We present wavelets on finite groups…
▽ More
Scattering Networks were initially designed to elucidate the behavior of early layers in Convolutional Neural Networks (CNNs) over Euclidean spaces and are grounded in wavelets. In this work, we introduce a scattering transform on an arbitrary finite group (not necessarily abelian) within the context of group-equivariant convolutional neural networks (G-CNNs). We present wavelets on finite groups and analyze their similarity to classical wavelets. We demonstrate that, under certain conditions in the wavelet coefficients, the scattering transform is non-expansive, stable under deformations, preserves energy, equivariant with respect to left and right group translations, and, as depth increases, the scattering coefficients are less sensitive to group translations of the signal, all desirable properties of convolutional neural networks. Furthermore, we provide examples illustrating the application of the scattering transform to classify data with domains involving abelian and nonabelian groups.
△ Less
Submitted 27 May, 2025;
originally announced May 2025.
-
Centrally Coordinated Multi-Agent Reinforcement Learning for Power Grid Topology Control
Authors:
Barbera de Mol,
Davide Barbieri,
Jan Viebahn,
Davide Grossi
Abstract:
Power grid operation is becoming more complex due to the increase in generation of renewable energy. The recent series of Learning To Run a Power Network (L2RPN) competitions have encouraged the use of artificial agents to assist human dispatchers in operating power grids. However, the combinatorial nature of the action space poses a challenge to both conventional optimizers and learned controller…
▽ More
Power grid operation is becoming more complex due to the increase in generation of renewable energy. The recent series of Learning To Run a Power Network (L2RPN) competitions have encouraged the use of artificial agents to assist human dispatchers in operating power grids. However, the combinatorial nature of the action space poses a challenge to both conventional optimizers and learned controllers. Action space factorization, which breaks down decision-making into smaller sub-tasks, is one approach to tackle the curse of dimensionality. In this study, we propose a centrally coordinated multi-agent (CCMA) architecture for action space factorization. In this approach, regional agents propose actions and subsequently a coordinating agent selects the final action. We investigate several implementations of the CCMA architecture, and benchmark in different experimental settings against various L2RPN baseline approaches. The CCMA architecture exhibits higher sample efficiency and superior final performance than the baseline approaches. The results suggest high potential of the CCMA approach for further application in higher-dimensional L2RPN as well as real-world power grid settings.
△ Less
Submitted 14 May, 2025; v1 submitted 12 February, 2025;
originally announced February 2025.
-
Multi-Objective Reinforcement Learning for Power Grid Topology Control
Authors:
Thomas Lautenbacher,
Ali Rajaei,
Davide Barbieri,
Jan Viebahn,
Jochen L. Cremer
Abstract:
Transmission grid congestion increases as the electrification of various sectors requires transmitting more power. Topology control, through substation reconfiguration, can reduce congestion but its potential remains under-exploited in operations. A challenge is modeling the topology control problem to align well with the objectives and constraints of operators. Addressing this challenge, this pap…
▽ More
Transmission grid congestion increases as the electrification of various sectors requires transmitting more power. Topology control, through substation reconfiguration, can reduce congestion but its potential remains under-exploited in operations. A challenge is modeling the topology control problem to align well with the objectives and constraints of operators. Addressing this challenge, this paper investigates the application of multi-objective reinforcement learning (MORL) to integrate multiple conflicting objectives for power grid topology control. We develop a MORL approach using deep optimistic linear support (DOL) and multi-objective proximal policy optimization (MOPPO) to generate a set of Pareto-optimal policies that balance objectives such as minimizing line loading, topological deviation, and switching frequency. Initial case studies show that the MORL approach can provide valuable insights into objective trade-offs and improve Pareto front approximation compared to a random search baseline. The generated multi-objective RL policies are 30% more successful in preventing grid failure under contingencies and 20% more effective when training budget is reduced - compared to the common single objective RL policy.
△ Less
Submitted 1 May, 2025; v1 submitted 27 January, 2025;
originally announced February 2025.
-
Towards Efficient Multi-Objective Optimisation for Real-World Power Grid Topology Control
Authors:
Yassine El Manyari,
Anton R. Fuxjager,
Stefan Zahlner,
Joost Van Dijk,
Alberto Castagna,
Davide Barbieri,
Jan Viebahn,
Marcel Wasserer
Abstract:
Power grid operators face increasing difficulties in the control room as the increase in energy demand and the shift to renewable energy introduce new complexities in managing congestion and maintaining a stable supply. Effective grid topology control requires advanced tools capable of handling multi-objective trade-offs. While Reinforcement Learning (RL) offers a promising framework for tackling…
▽ More
Power grid operators face increasing difficulties in the control room as the increase in energy demand and the shift to renewable energy introduce new complexities in managing congestion and maintaining a stable supply. Effective grid topology control requires advanced tools capable of handling multi-objective trade-offs. While Reinforcement Learning (RL) offers a promising framework for tackling such challenges, existing Multi-Objective Reinforcement Learning (MORL) approaches fail to scale to the large state and action spaces inherent in real-world grid operations. Here we present a two-phase, efficient and scalable Multi-Objective Optimisation (MOO) method designed for grid topology control, combining an efficient RL learning phase with a rapid planning phase to generate day-ahead plans for unseen scenarios. We validate our approach using historical data from TenneT, a European Transmission System Operator (TSO), demonstrating minimal deployment time, generating day-ahead plans within 4-7 minutes with strong performance. These results underline the potential of our scalable method to support real-world power grid management, offering a practical, computationally efficient, and time-effective tool for operational planning. Based on current congestion costs and inefficiencies in grid operations, adopting our approach by TSOs could potentially save millions of euros annually, providing a compelling economic incentive for its integration in the control room.
△ Less
Submitted 24 January, 2025;
originally announced February 2025.
-
Is Stochastic Gradient Descent Effective? A PDE Perspective on Machine Learning processes
Authors:
Davide Barbieri,
Matteo Bonforte,
Peio Ibarrondo
Abstract:
In this paper we analyze the behaviour of the stochastic gradient descent (SGD), a widely used method in supervised learning for optimizing neural network weights via a minimization of non-convex loss functions. Since the pioneering work of E, Li and Tai (2017), the underlying structure of such processes can be understood via parabolic PDEs of Fokker-Planck type, which are at the core of our analy…
▽ More
In this paper we analyze the behaviour of the stochastic gradient descent (SGD), a widely used method in supervised learning for optimizing neural network weights via a minimization of non-convex loss functions. Since the pioneering work of E, Li and Tai (2017), the underlying structure of such processes can be understood via parabolic PDEs of Fokker-Planck type, which are at the core of our analysis. Even if Fokker-Planck equations have a long history and a extensive literature, almost nothing is known when the potential is non-convex or when the diffusion matrix is degenerate, and this is the main difficulty that we face in our analysis.
We identify two different regimes: in the initial phase of SGD, the loss function drives the weights to concentrate around the nearest local minimum. We refer to this phase as the drift regime and we provide quantitative estimates on this concentration phenomenon. Next, we introduce the diffusion regime, where stochastic fluctuations help the learning process to escape suboptimal local minima. We analyze the Mean Exit Time (MET) and prove upper and lower bounds of the MET. Finally, we address the asymptotic convergence of SGD, for a non-convex cost function and a degenerate diffusion matrix, that do not allow to use the standard approaches, and require new techniques. For this purpose, we exploit two different methods: duality and entropy methods.
We provide new results about the dynamics and effectiveness of SGD, offering a deep connection between stochastic optimization and PDE theory, and some answers and insights to basic questions in the Machine Learning processes: How long does SGD take to escape from a bad minimum? Do neural network parameters converge using SGD? How do parameters evolve in the first stage of training with SGD?
△ Less
Submitted 11 May, 2025; v1 submitted 14 January, 2025;
originally announced January 2025.
-
Learning optimal smooth invariant subspaces for data approximation
Authors:
Davide Barbieri,
Eugenio Hernández,
Carlos Cabrelli,
Ursula Molter
Abstract:
In this article, we consider the problem of approximating a finite set of data (usually huge in applications) by invariant subspaces generated through a small set of smooth functions. The invariance is either by translations under a full-rank lattice or through the action of crystallographic groups. Smoothness is ensured by stipulating that the generators belong to a Paley-Wiener space, that is se…
▽ More
In this article, we consider the problem of approximating a finite set of data (usually huge in applications) by invariant subspaces generated through a small set of smooth functions. The invariance is either by translations under a full-rank lattice or through the action of crystallographic groups. Smoothness is ensured by stipulating that the generators belong to a Paley-Wiener space, that is selected in an optimal way based on the characteristics of the given data. To complete our investigation, we analyze the fundamental role played by the lattice in the process of approximation.
△ Less
Submitted 21 November, 2023;
originally announced November 2023.
-
Reconstructing group wavelet transform from feature maps with a reproducing kernel iteration
Authors:
Davide Barbieri
Abstract:
In this paper we consider the problem of reconstructing an image that is downsampled in the space of its $SE(2)$ wavelet transform, which is motivated by classical models of simple cells receptive fields and feature preference maps in primary visual cortex. We prove that, whenever the problem is solvable, the reconstruction can be obtained by an elementary project and replace iterative scheme base…
▽ More
In this paper we consider the problem of reconstructing an image that is downsampled in the space of its $SE(2)$ wavelet transform, which is motivated by classical models of simple cells receptive fields and feature preference maps in primary visual cortex. We prove that, whenever the problem is solvable, the reconstruction can be obtained by an elementary project and replace iterative scheme based on the reproducing kernel arising from the group structure, and show numerical results on real images.
△ Less
Submitted 1 October, 2021;
originally announced October 2021.
-
The structure of group preserving operators
Authors:
Davide Barbieri,
Carlos Cabrelli,
Diana Carbajal,
Eugenio Hernández,
Ursula Molter
Abstract:
In this paper, we prove the existence of a particular diagonalization for normal bounded operators defined on subspaces of $L^2(\mathfrak{S})$ where $\mathfrak{S}$ is a second countable LCA group. The subspaces where the operators act are invariant under the action of a group $Γ$ which is a semi-direct product of a uniform lattice of $\mathfrak{S}$ with a discrete group of automorphisms. This clas…
▽ More
In this paper, we prove the existence of a particular diagonalization for normal bounded operators defined on subspaces of $L^2(\mathfrak{S})$ where $\mathfrak{S}$ is a second countable LCA group. The subspaces where the operators act are invariant under the action of a group $Γ$ which is a semi-direct product of a uniform lattice of $\mathfrak{S}$ with a discrete group of automorphisms. This class includes the crystal groups which are important in applications as models for images. The operators are assumed to be $Γ$ preserving. i.e. they commute with the action of $Γ$. In particular we obtain a spectral decomposition for these operators. This generalizes recent results on shift-preserving operators acting on lattice invariant subspaces where $\mathfrak{S}$ is the Euclidean space.
△ Less
Submitted 27 March, 2021; v1 submitted 26 September, 2020;
originally announced September 2020.
-
Data approximation with time-frequency invariant systems
Authors:
D. Barbieri,
C. Cabrelli,
E. Hernández,
U. Molter
Abstract:
In this paper we prove the existence of a time-frequency space that best approximates a given finite set of data. Here best approximation is in the least square sense, among all time-frequency spaces with no more than a prescribed number of generators. We provide a formula to construct the generators from the data and give the exact error of approximation. The setting is in the space of square int…
▽ More
In this paper we prove the existence of a time-frequency space that best approximates a given finite set of data. Here best approximation is in the least square sense, among all time-frequency spaces with no more than a prescribed number of generators. We provide a formula to construct the generators from the data and give the exact error of approximation. The setting is in the space of square integrable functions defined on a second countable LCA group and we use the Zak transform as the main tool.
△ Less
Submitted 23 January, 2020;
originally announced January 2020.
-
Optimal translational-rotational invariant dictionaries for images
Authors:
Davide Barbieri,
Carlos Cabrelli,
Eugenio Hernández,
Ursula Molter
Abstract:
We provide the construction of a set of square matrices whose translates and rotates provide a Parseval frame that is optimal for approximating a given dataset of images. Our approach is based on abstract harmonic analysis techniques. Optimality is considered with respect to the quadratic error of approximation of the images in the dataset with their projection onto a linear subspace that is invar…
▽ More
We provide the construction of a set of square matrices whose translates and rotates provide a Parseval frame that is optimal for approximating a given dataset of images. Our approach is based on abstract harmonic analysis techniques. Optimality is considered with respect to the quadratic error of approximation of the images in the dataset with their projection onto a linear subspace that is invariant under translations and rotations. In addition, we provide an elementary and fully self-contained proof of optimality, and the numerical results from datasets of natural images.
△ Less
Submitted 4 September, 2019;
originally announced September 2019.
-
Approximation by group invariant subspaces
Authors:
Davide Barbieri,
Carlos Cabrelli,
Eugenio Hernández,
Ursula Molter
Abstract:
In this article we study the structure of $Γ$-invariant spaces of $L^2(\bf R)$. Here $\bf R$ is a second countable LCA group. The invariance is with respect to the action of $Γ$, a non commutative group in the form of a semidirect product of a discrete cocompact subgroup of $\bf R$ and a group of automorphisms. This class includes in particular most of the crystallographic groups. We obtain a comp…
▽ More
In this article we study the structure of $Γ$-invariant spaces of $L^2(\bf R)$. Here $\bf R$ is a second countable LCA group. The invariance is with respect to the action of $Γ$, a non commutative group in the form of a semidirect product of a discrete cocompact subgroup of $\bf R$ and a group of automorphisms. This class includes in particular most of the crystallographic groups. We obtain a complete characterization of $Γ$-invariant subspaces in terms of range functions associated to shift-invariant spaces. We also define a new notion of range function adapted to the $Γ$-invariance and construct Parseval frames of orbits of some elements in the subspace, under the group action. These results are then applied to prove the existence and construction of a $Γ$-invariant subspace that best approximates a set of functional data in $L^2(\bf R)$. This is very relevant in applications since in the euclidean case, $Γ$-invariant subspaces are invariant under rigid movements, a very sought feature in models for signal processing.
△ Less
Submitted 12 June, 2020; v1 submitted 18 July, 2019;
originally announced July 2019.
-
Extra invariance of principal shift invariant spaces and the Zak transform
Authors:
Davide Barbieri,
Eugenio Hernandez,
Carolina A. Mosquera
Abstract:
We prove a necessary and sufficient condition for a principal shift invariant space of $L^2(\mathbb{R})$ to be invariant under translations by the subgroup $\frac{1}{N} \mathbb{Z}, N>1$. This condition is given in terms of the Zak transform of the group $\frac{1}{N} \mathbb{Z}.$ This result is extended to principal shift invariant spaces generated by a lattice in a general locally compact abelian…
▽ More
We prove a necessary and sufficient condition for a principal shift invariant space of $L^2(\mathbb{R})$ to be invariant under translations by the subgroup $\frac{1}{N} \mathbb{Z}, N>1$. This condition is given in terms of the Zak transform of the group $\frac{1}{N} \mathbb{Z}.$ This result is extended to principal shift invariant spaces generated by a lattice in a general locally compact abelian (LCA) group.
△ Less
Submitted 23 April, 2019;
originally announced April 2019.
-
Spaces invariant under unitary representations of discrete groups
Authors:
Davide Barbieri,
Eugenio Hernández,
Victoria Paternostro
Abstract:
We investigate the structure of subspaces of a Hilbert space that are invariant under unitary representations of a discrete group. We work with square integrable representations, and we show that they are those for which we can construct an isometry intertwining the representation with the right regular representation, that we call a Helson map. We then characterize invariant subspaces using the H…
▽ More
We investigate the structure of subspaces of a Hilbert space that are invariant under unitary representations of a discrete group. We work with square integrable representations, and we show that they are those for which we can construct an isometry intertwining the representation with the right regular representation, that we call a Helson map. We then characterize invariant subspaces using the Helson map, and provide general characterizations of Riesz and frame sequences of orbits. These results extend to the nonabelian setting several known results for abelian groups. They also extend to countable families of generators previous results obtained for principal subspaces.
△ Less
Submitted 8 July, 2020; v1 submitted 5 November, 2018;
originally announced November 2018.
-
Radiation-Tolerant, High-speed Serial Link Design with SRAM-based FPGAs
Authors:
R. Giordano,
S. Perrella,
D. Barbieri
Abstract:
High-speed serial links implemented in SRAM-based FPGAs have been extensively used in the trigger and data acquisition systems of High Energy Physics experiments. Usually, their application has been restricted to off-detector, mostly due the sensitivity of SRAM-based FPGA to radiation faults (single event upsets). However, the device tolerance to radiation environments can be achieved by adopting…
▽ More
High-speed serial links implemented in SRAM-based FPGAs have been extensively used in the trigger and data acquisition systems of High Energy Physics experiments. Usually, their application has been restricted to off-detector, mostly due the sensitivity of SRAM-based FPGA to radiation faults (single event upsets). However, the device tolerance to radiation environments can be achieved by adopting dedicated mitigation techniques such as information redundancy, hardware redundancy and configuration scrubbing. In this work, we discuss the design of a bi-directional serial link running at 6.25 Gbps based on a Xilinx Kintex-7 FPGA. The link is protected against single event upsets by means of all the above-mentioned methods. A self-synchronizing scrambler is used for DC-balance and data randomization, while the subsequent Reed-Solomon encoder/decoder detects and corrects bursts of errors in the transmitted data. The error correction capability of the line code is further increased by adopting the interleaving technique. Besides, in order to completely take advantage of available bandwidth and to cope with different rates of radiation-induced faults, the link can modulate the protection level of the Reed-Solomon code. The reliability of the link is also improved by means of modular redundancy on the frame alignment block. Besides, on the same FPGA, a scrubber repairs corrupted configuration frames in real-time.
We present the test results carried out using the fault injection method. We show the performance of the link in terms of mean time between failures (MTBF) and fault tolerance to upsets.
△ Less
Submitted 26 June, 2018;
originally announced June 2018.
-
Configuration Redundancy for Enhanced Reliability in SRAM-based FPGAs
Authors:
Raffaele Giordano,
Sabrina Perrella,
Dario Barbieri,
Vincenzo Izzo,
Alberto Aloisio
Abstract:
Digital off-detector electronics in trigger and data acquisition systems of High-Energy Physics experiments is often implemented by means of SRAM-based FPGAs, which make it possible to achieve reconfigurable, real-time processing and multi-gigabit serial data transfers. On-detector usage of such devices is mostly limited by their configuration sensitivity to radiation-induced upsets, which may alt…
▽ More
Digital off-detector electronics in trigger and data acquisition systems of High-Energy Physics experiments is often implemented by means of SRAM-based FPGAs, which make it possible to achieve reconfigurable, real-time processing and multi-gigabit serial data transfers. On-detector usage of such devices is mostly limited by their configuration sensitivity to radiation-induced upsets, which may alter the programmed routing paths and configurable elements. In this work, we show a new technique for enhancing the usage of SRAM-based FPGAs also for on-detector applications. We show a demonstrator of our solution on benchmark designs, including a triple modular redundant design and a serial link (without redundancy) running at 5 Gbps, implemented in a Xilinx Kintex-7 FPGA. We performed irradiation tests at Laboratori Nazionali del Sud (Catania, Italy) with a 62-MeV proton beam. The results show that our scrubbing technique made it possible to detect and correct all the radiation-induced upsets after a total fluence higher than $10^{12}cm^{-2}$. For both the redundant benchmark design and the serial link, the correct functionality was always restored after scrubbing the corrupted configuration bits and resetting the circuit.
△ Less
Submitted 25 June, 2018;
originally announced June 2018.
-
Frames of exponentials and sub-multitiles in LCA groups
Authors:
Davide Barbieri,
Carlos Cabrelli,
Eugenio Hernández,
Peter Luthy,
Ursula Molter,
Carolina Mosquera
Abstract:
In this note we investigate the existence of frames of exponentials for $L^2(Ω)$ in the setting of LCA groups. Our main result shows that sub-multitiling properties of $Ω\subset \widehat{G}$ with respect to a uniform lattice $Γ$ of $\widehat{G}$ guarantee the existence of a frame of exponentials with frequencies in a finite number of translates of the annihilator of $Γ$. We also prove the converse…
▽ More
In this note we investigate the existence of frames of exponentials for $L^2(Ω)$ in the setting of LCA groups. Our main result shows that sub-multitiling properties of $Ω\subset \widehat{G}$ with respect to a uniform lattice $Γ$ of $\widehat{G}$ guarantee the existence of a frame of exponentials with frequencies in a finite number of translates of the annihilator of $Γ$. We also prove the converse of this result and provide conditions for the existence of these frames. These conditions extend recent results on Riesz bases of exponentials and multitilings to frames.
△ Less
Submitted 9 October, 2017;
originally announced October 2017.
-
Calderón-type inequalities for affine frames
Authors:
Davide Barbieri,
Eugenio Hernández,
Azita Mayeli
Abstract:
We prove sharp upper and lower bounds for generalized Calderón's sums associated to frames on LCA groups generated by affine actions of cocompact subgroup translations and general measurable families of automorphisms. The proof makes use of techniques of analysis on metric spaces, and relies on a counting estimate of lattice points inside metric balls. We will deduce as special cases Calderón-type…
▽ More
We prove sharp upper and lower bounds for generalized Calderón's sums associated to frames on LCA groups generated by affine actions of cocompact subgroup translations and general measurable families of automorphisms. The proof makes use of techniques of analysis on metric spaces, and relies on a counting estimate of lattice points inside metric balls. We will deduce as special cases Calderón-type inequalities for families of expanding automorphisms as well as for LCA-Gabor systems.
△ Less
Submitted 31 July, 2019; v1 submitted 20 June, 2017;
originally announced June 2017.
-
Group Riesz and Frame Sequences: The Bracket and the Gramian
Authors:
Davide Barbieri,
Eugenio Hernandez,
Victoria Paternostro
Abstract:
Given a discrete group and a unitary representation on a Hilbert space $\mathcal{H}$, we prove that the notions of operator Bracket map and Gramian coincide on a dense set of $\mathcal{H}$. As a consequence, combining this result with known frame theory, we can recover in a simple way all previous Bracket characterizations of Riesz and frame sequences generated by a single element under a unitary…
▽ More
Given a discrete group and a unitary representation on a Hilbert space $\mathcal{H}$, we prove that the notions of operator Bracket map and Gramian coincide on a dense set of $\mathcal{H}$. As a consequence, combining this result with known frame theory, we can recover in a simple way all previous Bracket characterizations of Riesz and frame sequences generated by a single element under a unitary representation.
△ Less
Submitted 9 August, 2016;
originally announced August 2016.
-
Lattice sub-tilings and frames in LCA groups
Authors:
Davide Barbieri,
Eugenio Hernandez,
Azita Mayeli
Abstract:
Given a lattice $Λ$ in a locally compact abelian group $G$ and a measurable subset $Ω$ with finite and positive measure, then the set of characters associated to the dual lattice form a frame for $L^2(Ω)$ if and only if the distinct translates by $Λ$ of $Ω$ have almost empty intersections. Some consequences of this results are the well-known Fuglede theorem for lattices, as well as a simple charac…
▽ More
Given a lattice $Λ$ in a locally compact abelian group $G$ and a measurable subset $Ω$ with finite and positive measure, then the set of characters associated to the dual lattice form a frame for $L^2(Ω)$ if and only if the distinct translates by $Λ$ of $Ω$ have almost empty intersections. Some consequences of this results are the well-known Fuglede theorem for lattices, as well as a simple characterization for frames of modulates.
△ Less
Submitted 13 December, 2016; v1 submitted 11 May, 2016;
originally announced May 2016.
-
Geometry and dimensionality reduction of feature spaces in primary visual cortex
Authors:
Davide Barbieri
Abstract:
Some geometric properties of the wavelet analysis performed by visual neurons are discussed and compared with experimental data. In particular, several relationships between the cortical morphologies and the parametric dependencies of extracted features are formalized and considered from a harmonic analysis point of view.
Some geometric properties of the wavelet analysis performed by visual neurons are discussed and compared with experimental data. In particular, several relationships between the cortical morphologies and the parametric dependencies of extracted features are formalized and considered from a harmonic analysis point of view.
△ Less
Submitted 13 September, 2015;
originally announced September 2015.
-
Tiling by lattices for locally compact abelian groups
Authors:
Davide Barbieri,
Eugenio Hernández,
Azita Mayeli
Abstract:
For a locally compact abelian group $G$ a simple proof is given for the known fact that a bounded domain $Ω$ tiles $G$ with translations by a lattice $Λ$ if and only if the set of characters of $G$ indexed by the dual lattice of $Λ$ is an orthogonal basis of $L^2(Ω).$ The proof uses simple techniques from Harmonic Analysis.
For a locally compact abelian group $G$ a simple proof is given for the known fact that a bounded domain $Ω$ tiles $G$ with translations by a lattice $Λ$ if and only if the set of characters of $G$ indexed by the dual lattice of $Λ$ is an orthogonal basis of $L^2(Ω).$ The proof uses simple techniques from Harmonic Analysis.
△ Less
Submitted 4 July, 2016; v1 submitted 18 August, 2015;
originally announced August 2015.
-
Noncommutative Shift-Invariant Spaces
Authors:
Davide Barbieri,
Eugenio Hernández,
Victoria Paternostro
Abstract:
The structure of subspaces of a Hilbert space that are invariant under unitary representations of a discrete group is related to a notion of Hilbert modules endowed with inner products taking values in spaces of unbounded operators. A theory of reproducing systems in such modular structures is developed, providing a general framework that includes fundamental results of shift-invariant spaces. In…
▽ More
The structure of subspaces of a Hilbert space that are invariant under unitary representations of a discrete group is related to a notion of Hilbert modules endowed with inner products taking values in spaces of unbounded operators. A theory of reproducing systems in such modular structures is developed, providing a general framework that includes fundamental results of shift-invariant spaces. In particular, general characterizations of Riesz and frame sequences associated to group representations are provided, extending previous results for abelian groups and for cyclic subspaces of unitary representations of noncommutative discrete groups.
△ Less
Submitted 30 June, 2015;
originally announced June 2015.
-
The Zak transform and the structure of spaces invariant by the action of an LCA group
Authors:
Davide Barbieri,
Eugenio Hernández,
Victoria Paternostro
Abstract:
We study closed subspaces of $L^2(X)$, where $(X, μ)$ is a $σ$-finite measure space, that are invariant under the unitary representation associated to a measurable action of a discrete countable LCA group $Γ$ on $X$. We provide a complete description for these spaces in terms of range functions and a suitable generalized Zak transform. As an application of our main result, we prove a characterizat…
▽ More
We study closed subspaces of $L^2(X)$, where $(X, μ)$ is a $σ$-finite measure space, that are invariant under the unitary representation associated to a measurable action of a discrete countable LCA group $Γ$ on $X$. We provide a complete description for these spaces in terms of range functions and a suitable generalized Zak transform. As an application of our main result, we prove a characterization of frames and Riesz sequences in $L^2(X)$ generated by the action of the unitary representation under consideration on a countable set of functions in $L^2(X)$. Finally, closed subspaces of $L^2(G)$, for $G$ being an LCA group, that are invariant under translations by elements on a closed subgroup $Γ$ of $G$ are studied and characterized.
△ Less
Submitted 19 June, 2015; v1 submitted 27 October, 2014;
originally announced October 2014.
-
Cortical spatio-temporal dimensionality reduction for visual grouping
Authors:
Giacomo Cocci,
Davide Barbieri,
Giovanna Citti,
Alessandro Sarti
Abstract:
The visual systems of many mammals, including humans, is able to integrate the geometric information of visual stimuli and to perform cognitive tasks already at the first stages of the cortical processing. This is thought to be the result of a combination of mechanisms, which include feature extraction at single cell level and geometric processing by means of cells connectivity. We present a geome…
▽ More
The visual systems of many mammals, including humans, is able to integrate the geometric information of visual stimuli and to perform cognitive tasks already at the first stages of the cortical processing. This is thought to be the result of a combination of mechanisms, which include feature extraction at single cell level and geometric processing by means of cells connectivity. We present a geometric model of such connectivities in the space of detected features associated to spatio-temporal visual stimuli, and show how they can be used to obtain low-level object segmentation. The main idea is that of defining a spectral clustering procedure with anisotropic affinities over datasets consisting of embeddings of the visual stimuli into higher dimensional spaces. Neural plausibility of the proposed arguments will be discussed.
△ Less
Submitted 3 October, 2014; v1 submitted 2 July, 2014;
originally announced July 2014.
-
Riesz and frame systems generated by unitary actions of discrete groups
Authors:
Davide Barbieri,
Eugenio Hernández,
Javier Parcet
Abstract:
We characterize orthonormal bases, Riesz bases and frames which arise from the action of a countable discrete group $Γ$ on a single element $ψ$ of a given Hilbert space $\mathcal{H}$. As $Γ$ might not be abelian, this is done in terms of a bracket map taking values in the $L^1$-space associated to the group von Neumann algebra of $Γ$. Our result generalizes recent work for LCA groups. In many case…
▽ More
We characterize orthonormal bases, Riesz bases and frames which arise from the action of a countable discrete group $Γ$ on a single element $ψ$ of a given Hilbert space $\mathcal{H}$. As $Γ$ might not be abelian, this is done in terms of a bracket map taking values in the $L^1$-space associated to the group von Neumann algebra of $Γ$. Our result generalizes recent work for LCA groups. In many cases, the bracket map can be computed in terms of a noncommutative form of the Zak transform.
△ Less
Submitted 3 October, 2014; v1 submitted 10 February, 2014;
originally announced February 2014.
-
Bracket map for Heisenberg group and the characterization of cyclic subspaces
Authors:
Davide Barbieri,
Eugenio Hernandez,
Azita Mayeli
Abstract:
The bracket map was originally considered for locally compact abelian groups. In this work we extend the study of bracket maps to the noncommutative setting, providing characterizations of bases and frames for cyclic subspaces of the Heisenberg group. We also indicate how to generalize these results to a class of non-abelian nilpotent Lie groups whose irreducible representations are square integra…
▽ More
The bracket map was originally considered for locally compact abelian groups. In this work we extend the study of bracket maps to the noncommutative setting, providing characterizations of bases and frames for cyclic subspaces of the Heisenberg group. We also indicate how to generalize these results to a class of non-abelian nilpotent Lie groups whose irreducible representations are square integrable modulo the center.
△ Less
Submitted 10 March, 2013;
originally announced March 2013.
-
How Uncertainty bounds the shape index of simple cells
Authors:
Davide Barbieri,
Giovanna Citti,
Alessandro Sarti
Abstract:
We propose a theoretical motivation to quantify actual physiological features, such as the shape index distributions measured by Jones and Palmer in cats and by Ringach in macaque monkeys. We will adopt the Uncertainty Principle associated to the task of detection of position and orientation as the main tool to provide quantitative bounds on the family of simple cells concretely implemented in pri…
▽ More
We propose a theoretical motivation to quantify actual physiological features, such as the shape index distributions measured by Jones and Palmer in cats and by Ringach in macaque monkeys. We will adopt the Uncertainty Principle associated to the task of detection of position and orientation as the main tool to provide quantitative bounds on the family of simple cells concretely implemented in primary visual cortex.
△ Less
Submitted 4 March, 2013;
originally announced March 2013.
-
Reproducing kernel Hilbert spaces of CR functions for the Euclidean Motion group
Authors:
Davide Barbieri,
Giovanna Citti
Abstract:
We study the geometric structure of the reproducing kernel Hilbert space associated to the continuous wavelet transform generated by the irreducible representations of the Euclidean Motion $SE(2)$. A natural Hilbert norm for functions on the group is constructed that makes the wavelet transform an isometry, but since the considered representations are not square integrable the resulting Hilbert sp…
▽ More
We study the geometric structure of the reproducing kernel Hilbert space associated to the continuous wavelet transform generated by the irreducible representations of the Euclidean Motion $SE(2)$. A natural Hilbert norm for functions on the group is constructed that makes the wavelet transform an isometry, but since the considered representations are not square integrable the resulting Hilbert space will not coincide with $L^2(SE(2))$. The reproducing kernel Hilbert subspace generated by the wavelet transform, for the case of a minimal uncertainty mother wavelet, can be characterized in terms of the complex regularity defined by the natural $CR$ structure of the group. Relations with the Bargmann transform are presented.
△ Less
Submitted 30 March, 2014; v1 submitted 16 January, 2013;
originally announced January 2013.
-
A cortical-inspired geometry for contour perception and motion integration
Authors:
Davide Barbieri,
Giovanna Citti,
Giacomo Cocci,
Alessandro Sarti
Abstract:
In this paper we develop a geometrical model of functional architecture for the processing of spatio-temporal visual stimuli. The model arises from the properties of the receptive field linear dynamics of orientation and speed-selective cells in the visual cortex, that can be embedded in the definition of a geometry where the connectivity between points is driven by the contact structure of a 5D m…
▽ More
In this paper we develop a geometrical model of functional architecture for the processing of spatio-temporal visual stimuli. The model arises from the properties of the receptive field linear dynamics of orientation and speed-selective cells in the visual cortex, that can be embedded in the definition of a geometry where the connectivity between points is driven by the contact structure of a 5D manifold. Then, we compute the stochastic kernels that are the approximations of two Fokker Planck operators associated to the geometry, and implement them as facilitation patterns within a neural population activity model, in order to reproduce some psychophysiological findings about the perception of contours in motion and trajectories of points found in the literature.
△ Less
Submitted 3 May, 2013; v1 submitted 15 January, 2013;
originally announced January 2013.
-
Coherent states of the Euclidean group and activation regions of primary visual cortex
Authors:
Davide Barbieri,
Giovanna Citti,
Gonzalo Sanguinetti,
Alessandro Sarti
Abstract:
The uncertainty principle of SE(2) allows to construct a coherent states transform that is strictly related to the Bargmann transform for the second Heisenberg group H2. The corresponding target space is characterized constructively and related to the almost complex structure of SE(2) as a contact manifold. Such a coherent state transform provides a model for neural activity maps in the primary vi…
▽ More
The uncertainty principle of SE(2) allows to construct a coherent states transform that is strictly related to the Bargmann transform for the second Heisenberg group H2. The corresponding target space is characterized constructively and related to the almost complex structure of SE(2) as a contact manifold. Such a coherent state transform provides a model for neural activity maps in the primary visual cortex, that are then described in terms of minimal uncertainty states. The results of the model are compared with the experimental measurements.
△ Less
Submitted 2 November, 2011;
originally announced November 2011.
-
Regularity of minimal intrinsic graphs in 3 dimensional sub-Riemannian structures of step 2
Authors:
Davide Barbieri,
Giovanna Citti
Abstract:
This work provides a characterization of the regularity of noncharacteristic intrinsic minimal graphs for a class of vector fields that includes non nilpotent Lie algebras as the one given by Euclidean motions of the plane. The main result extends a previous one on the Heisenberg group, using similar techniques to deal with nonlinearities. This wider setting provides a better understanding of geom…
▽ More
This work provides a characterization of the regularity of noncharacteristic intrinsic minimal graphs for a class of vector fields that includes non nilpotent Lie algebras as the one given by Euclidean motions of the plane. The main result extends a previous one on the Heisenberg group, using similar techniques to deal with nonlinearities. This wider setting provides a better understanding of geometric constraints, together with an extension of the potentialities of specific tools as the lifting-freezing procedure and interpolation inequalities. As a consequence of the regularity, a foliation result for minimal graphs is obtained.
△ Less
Submitted 2 November, 2011;
originally announced November 2011.
-
On Repetition Protocols and Power Control for Multiple Access Block-Fading Channels
Authors:
Davide Barbieri,
Daniela Tuninetti
Abstract:
In this paper we study the long-term throughput performance of repetition protocols coupled with power control for multiple access block-fading channels. We propose to use the feedback bits to inform the transmitter about the decoding status and the instantaneous channel quality. We determine the throughput of simple and practically inspired protocols; we show remarkable throughput improvements, e…
▽ More
In this paper we study the long-term throughput performance of repetition protocols coupled with power control for multiple access block-fading channels. We propose to use the feedback bits to inform the transmitter about the decoding status and the instantaneous channel quality. We determine the throughput of simple and practically inspired protocols; we show remarkable throughput improvements, especially at low and moderate SNR, when compared to protocols where the feedback bits are used for acknowledgment only or for power control only; we show that the throughput is very close to the ultimate ergodic multi-user water-filling capacity for small number of feedback bits and/or retransmissions. For symmetric Rayleigh fading channels, numerical results show that the throughput improvement is mainly due to the ability to perform a power control, rather than to retransmit.
△ Less
Submitted 22 September, 2010;
originally announced September 2010.
-
An uncertainty principle underlying the pinwheel structure in the primary visual cortex
Authors:
Davide Barbieri,
Giovanna Citti,
Gonzalo Sanguinetti,
Alessandro Sarti
Abstract:
The visual information in V1 is processed by an array of modules called orientation preference columns. In some species including humans, orientation columns are radially arranged around singular points like the spokes of a wheel, that are called pinwheels. The pinwheel structure has been observed first with optical imaging techniques and more recently by in vivo two-photon imaging proving their o…
▽ More
The visual information in V1 is processed by an array of modules called orientation preference columns. In some species including humans, orientation columns are radially arranged around singular points like the spokes of a wheel, that are called pinwheels. The pinwheel structure has been observed first with optical imaging techniques and more recently by in vivo two-photon imaging proving their organization with single cell precision. In this research we provide evidence that pinwheels are de facto optimal distributions for coding at the best angular position and momentum. In the last years many authors have recognized that the functional architecture of V1 is locally invariant with respect to the symmetry group of rotations and translations SE(2). In the present study we show that the orientation cortical maps used to construct pinwheels can be modeled as coherent states, i.e. the configurations best localized both in angular position and angular momentum. The theory we adopt is based on the well known uncertainty principle, introduced by Heisenberg in quantum mechanics and later extended to many other groups of invariance. Here we state a corresponding principle in the cortical geometry with SE(2) symmetry, and by computing its minimizers we obtain a model of orientation activity maps in the cortex. As it is well known the pinwheels configuration is directly constructed from these activity maps, and we will be able to formally reproduce their structure starting from the group symmetries of the functional architecture of the visual cortex. The primary visual cortex is then modeled as an integrated system in which the set of simple cells implements the SE(2) group, the horizontal connectivity implements its Lie algebra and the pinwheels implement its minimal uncertainty states.
△ Less
Submitted 8 July, 2010;
originally announced July 2010.
-
Approximations of Sobolev norms in Carnot groups
Authors:
Davide Barbieri
Abstract:
This paper deals with a notion of Sobolev space $W^{1,p}$ introduced by J.Bourgain, H.Brezis and P.Mironescu by means of a seminorm involving local averages of finite differences. This seminorm was subsequently used by A.Ponce to obtain a Poincaré-type inequality. The main results that we present are a generalization of these two works to a non-Euclidean setting, namely that of Carnot groups. We s…
▽ More
This paper deals with a notion of Sobolev space $W^{1,p}$ introduced by J.Bourgain, H.Brezis and P.Mironescu by means of a seminorm involving local averages of finite differences. This seminorm was subsequently used by A.Ponce to obtain a Poincaré-type inequality. The main results that we present are a generalization of these two works to a non-Euclidean setting, namely that of Carnot groups. We show that the seminorm expressd in terms of the intrinsic distance is equivalent to the $L^p$ norm of the intrinsic gradient, and provide a Poincaré-type inequality on Carnot groups by means of a constructive approach which relies on one-dimensional estimates. Self-improving properties are also studied for some cases of interest.
△ Less
Submitted 29 June, 2010;
originally announced June 2010.
