Showing 1–26 of 26 results for author: Salvatori, M

Diffusion Models for Tabular Data Imputation and Synthetic Data Generation

Authors: Mario Villaizán-Vallelado, Matteo Salvatori, Carlos Segura, Ioannis Arapakis

Abstract: Data imputation and data generation have important applications for many domains, like healthcare and finance, where incomplete or missing data can hinder accurate analysis and decision-making. Diffusion models have emerged as powerful generative models capable of capturing complex data distributions across various data modalities such as image, audio, and time series data. Recently, they have bee… ▽ More Data imputation and data generation have important applications for many domains, like healthcare and finance, where incomplete or missing data can hinder accurate analysis and decision-making. Diffusion models have emerged as powerful generative models capable of capturing complex data distributions across various data modalities such as image, audio, and time series data. Recently, they have been also adapted to generate tabular data. In this paper, we propose a diffusion model for tabular data that introduces three key enhancements: (1) a conditioning attention mechanism, (2) an encoder-decoder transformer as the denoising network, and (3) dynamic masking. The conditioning attention mechanism is designed to improve the model's ability to capture the relationship between the condition and synthetic data. The transformer layers help model interactions within the condition (encoder) or synthetic data (decoder), while dynamic masking enables our model to efficiently handle both missing data imputation and synthetic data generation tasks within a unified framework. We conduct a comprehensive evaluation by comparing the performance of diffusion models with transformer conditioning against state-of-the-art techniques, such as Variational Autoencoders, Generative Adversarial Networks and Diffusion Models, on benchmark datasets. Our evaluation focuses on the assessment of the generated samples with respect to three important criteria, namely: (1) Machine Learning efficiency, (2) statistical similarity, and (3) privacy risk mitigation. For the task of data imputation, we consider the efficiency of the generated samples across different levels of missing features. △ Less

Submitted 2 July, 2024; originally announced July 2024.

Comments: 25 pages, 7 figures, 6 tables

Deep-learning Segmentation of Small Volumes in CT images for Radiotherapy Treatment Planning

Authors: Jianxin Zhou, Kadishe Fejza, Massimiliano Salvatori, Daniele Della Latta, Gregory M. Hermann, Angela Di Fulvio

Abstract: Our understanding of organs at risk is progressing to include physical small tissues such as coronary arteries and the radiosensitivities of many small organs and tissues are high. Therefore, the accurate segmentation of small volumes in external radiotherapy is crucial to protect them from over-irradiation. Moreover, with the development of the particle therapy and on-board imaging, the treatment… ▽ More Our understanding of organs at risk is progressing to include physical small tissues such as coronary arteries and the radiosensitivities of many small organs and tissues are high. Therefore, the accurate segmentation of small volumes in external radiotherapy is crucial to protect them from over-irradiation. Moreover, with the development of the particle therapy and on-board imaging, the treatment becomes more accurate and precise. The purpose of this work is to optimize organ segmentation algorithms for small organs. We used 50 three-dimensional (3-D) computed tomography (CT) head and neck images from StructSeg2019 challenge to develop a general-purpose V-Net model to segment 20 organs in the head and neck region. We applied specific strategies to improve the segmentation accuracy of the small volumes in this anatomical region, i.e., the lens of the eye. Then, we used 17 additional head images from OSF healthcare to validate the robustness of the V Net model optimized for small-volume segmentation. With the study of the StructSeg2019 images, we found that the optimization of the image normalization range and classification threshold yielded a segmentation improvement of the lens of the eye of approximately 50%, compared to the use of the V-Net not optimized for small volumes. We used the optimized model to segment 17 images acquired using heterogeneous protocols. We obtained comparable Dice coefficient values for the clinical and StructSeg2019 images (0.61 plus/minus 0.07 and 0.58 plus/minus 0.10 for the left and right lens of the eye, respectively) △ Less

Submitted 5 April, 2024; originally announced April 2024.

Polyharmonic potential theory on the Poincaré disk

Authors: Massimo A. Picardello, Maura Salvatori, Wolfgang Woess

Abstract: We consider the open unit disk $\mathbb{D}$ equipped with the hyperbolic metric and the associated hyperbolic Laplacian $\mathfrak{L}$. For $λ\in \mathbb{C}$ and $n \in \mathbb{N}$, a $λ$-polyharmonic function of order $n$ is a function $f: \mathbb{D} \to \mathbb{C}$ such that $(\mathfrak{L}- λ\, I)^n f = 0$. If $n =1$, one gets $λ$-harmonic functions. Based on a Theorem of Helgason on the latter… ▽ More We consider the open unit disk $\mathbb{D}$ equipped with the hyperbolic metric and the associated hyperbolic Laplacian $\mathfrak{L}$. For $λ\in \mathbb{C}$ and $n \in \mathbb{N}$, a $λ$-polyharmonic function of order $n$ is a function $f: \mathbb{D} \to \mathbb{C}$ such that $(\mathfrak{L}- λ\, I)^n f = 0$. If $n =1$, one gets $λ$-harmonic functions. Based on a Theorem of Helgason on the latter functions, we prove a boundary integral representation theorem for $λ$-polyharmonic functions. For this purpose, we first determine $n^{\text{th}}$-order $λ$-Poisson kernels. Subsequently, we introduce the $λ$-polyspherical functions and determine their asymptotics at the boundary $\partial \mathbb{D}$, i.e., the unit circle. In particular, this proves that, for eigenvalues not in the interior of the $L^2$-spectrum, the zeroes of these functions do not accumulate at the boundary circle. Hence the polyspherical functions can be used to normalise the $n^{\text{th}}$-order Poisson kernels. By this tool, we extend to this setting several classical results of potential theory: namely, we study the boundary behaviour of $λ$-polyharmonic functions, starting with Dirichlet and Riquier type problems and then proceeding to Fatou type admissible boundary limits. △ Less

Submitted 10 December, 2023; originally announced December 2023.

MSC Class: 31A30; 43A85; 58J32

Graph Neural Network contextual embedding for Deep Learning on Tabular Data

Authors: Mario Villaizán-Vallelado, Matteo Salvatori, Belén Carro Martinez, Antonio Javier Sanchez Esguevillas

Abstract: All industries are trying to leverage Artificial Intelligence (AI) based on their existing big data which is available in so called tabular form, where each record is composed of a number of heterogeneous continuous and categorical columns also known as features. Deep Learning (DL) has constituted a major breakthrough for AI in fields related to human skills like natural language processing, but i… ▽ More All industries are trying to leverage Artificial Intelligence (AI) based on their existing big data which is available in so called tabular form, where each record is composed of a number of heterogeneous continuous and categorical columns also known as features. Deep Learning (DL) has constituted a major breakthrough for AI in fields related to human skills like natural language processing, but its applicability to tabular data has been more challenging. More classical Machine Learning (ML) models like tree-based ensemble ones usually perform better. This paper presents a novel DL model using Graph Neural Network (GNN) more specifically Interaction Network (IN), for contextual embedding and modelling interactions among tabular features. Its results outperform those of a recently published survey with DL benchmark based on five public datasets, also achieving competitive results when compared to boosted-tree solutions. △ Less

Submitted 4 July, 2023; v1 submitted 11 March, 2023; originally announced March 2023.

Application of Monte Carlo algorithms to cardiac imaging reconstruction

Authors: J. Zhou, A. G. Leja, M. Salvatori, D. Della Latta, A. Di Fulvio

Abstract: Monte Carlo algorithms have a growing impact on nuclear medicine reconstruction processes. One of the main limitations of myocardial perfusion imaging (MPI) is the effective mitigation of the scattering component, which is particularly challenging in Single Photon Emission Computed Tomography (SPECT). In SPECT, no timing information can be retrieved to locate the primary source photons. Monte Carl… ▽ More Monte Carlo algorithms have a growing impact on nuclear medicine reconstruction processes. One of the main limitations of myocardial perfusion imaging (MPI) is the effective mitigation of the scattering component, which is particularly challenging in Single Photon Emission Computed Tomography (SPECT). In SPECT, no timing information can be retrieved to locate the primary source photons. Monte Carlo methods allow an event-by-event simulation of the scattering kinematics, which can be incorporated into a model of the imaging system response. This approach was adopted since the late Nineties by several authors, and recently took advantage of the increased computational power made available by high-performance CPUs and GPUs. These recent developments enable a fast image reconstruction with an improved image quality, compared to deterministic approaches. Deterministic approaches are based on energy-windowing of the detector response, and on the cumulative estimate and subtraction of the scattering component. In this paper, we review the main strategies and algorithms to correct for the scattering effect in SPECT and focus on Monte Carlo developments, which nowadays allow the three-dimensional reconstruction of SPECT cardiac images in a few seconds. △ Less

Submitted 27 May, 2021; originally announced May 2021.

Sampling in spaces of entire functions of exponential type in $\mathbb C^{n+1}$

Authors: Alessandro Monguzzi, Marco M. Peloso, M. Salvatori

Abstract: In this paper we consider the question of sampling for spaces of entire functions of exponential type in several variables. The novelty resides in the growth condition we impose, that is, that their restriction to a hypersurface is square integrable with respect to a natural measure. The hypersurface we consider is the boundary $b\mathcal U$ of the Siegel upper half-space $\mathcal U$ and it is fu… ▽ More In this paper we consider the question of sampling for spaces of entire functions of exponential type in several variables. The novelty resides in the growth condition we impose, that is, that their restriction to a hypersurface is square integrable with respect to a natural measure. The hypersurface we consider is the boundary $b\mathcal U$ of the Siegel upper half-space $\mathcal U$ and it is fundamental that $b\mathcal U$ can be identified with the Heisenberg group $\mathbb H_n$. We consider entire functions in $\mathbb C^{n+1}$ of exponential type with respect to the hypersurface $b\mathcal U$ whose restriction to $b\mathcal U$ are square integrable with respect to the Haar measure on $\mathbb H_n$. For these functions we prove a version of the Whittaker--Kotelnikov--Shannon Theorem. Instrumental in our work are spaces of entire functions in $\mathbb C^{n+1}$ of exponential type with respect to the hypersurface $b\mathcal U$ whose restrictions to $b\mathcal U$ belong to some homogeneous Sobolev space on $\mathbb H_n$. For these spaces, using the group Fourier transform on $\mathbb H_n$, we prove a Paley--Wiener type theorem and a Plancherel--Pólya type inequality. △ Less

Submitted 24 January, 2022; v1 submitted 18 May, 2021; originally announced May 2021.

MSC Class: 32A15; 32A37; 32A50; 46E22

Journal ref: Journal of Functional Analysis, Vol 282 (6), 2022

The Drury--Arveson space on the Siegel upper half-space and a von Neumann type inequality

Authors: Nicola Arcozzi, Nikolaos Chalmoukis, Alessandro Monguzzi, Marco M. Peloso, M. Salvatori

Abstract: In this work we study what we call Siegel--dissipative vector of commuting operators $(A_1,\ldots, A_{d+1})$ on a Hilbert space $\mathcal H$ and we obtain a von Neumann type inequality which involves the Drury--Arveson space $DA$ on the Siegel upper half-space $\mathcal U$. The operator $A_{d+1}$ is allowed to be unbounded and it is the infinitesimal generator of a contraction semigroup… ▽ More In this work we study what we call Siegel--dissipative vector of commuting operators $(A_1,\ldots, A_{d+1})$ on a Hilbert space $\mathcal H$ and we obtain a von Neumann type inequality which involves the Drury--Arveson space $DA$ on the Siegel upper half-space $\mathcal U$. The operator $A_{d+1}$ is allowed to be unbounded and it is the infinitesimal generator of a contraction semigroup $\{e^{-iτA_{d+1}}\}_{τ<0}$. We then study the operator $e^{-iτA_{d+1}}A^α$ where $A^α=A_1^{α_1}\cdots A^{α_d}_d$ for $α\in\mathbb N^d_0$ and prove that can be studied by means of model operators on a weighted $L^2$ space. To prove our results we obtain a Paley--Wiener type theorem for $DA$ and we investigate some multiplier operators on $DA$ as well. △ Less

Submitted 9 September, 2021; v1 submitted 8 March, 2021; originally announced March 2021.

Comments: 17 pages. Typos were fixed and the references updated

Quantitative Imaging and Automated Fuel Pin Identification for Passive Gamma Emission Tomography

Authors: Ming Fang, Yoann Altmann, Daniele Della Latta, Massimiliano Salvatori, Angela Di Fulvio

Abstract: Compliance of member States to the Treaty on the Non-Proliferation of Nuclear Weapons is monitored through nuclear safeguards. The Passive Gamma Emission Tomography system is a novel instrument developed by the International Atomic Energy Agency (IAEA) for the verification of spent nuclear fuel stored in water pools. Advanced image reconstruction techniques are crucial for obtaining high-quality c… ▽ More Compliance of member States to the Treaty on the Non-Proliferation of Nuclear Weapons is monitored through nuclear safeguards. The Passive Gamma Emission Tomography system is a novel instrument developed by the International Atomic Energy Agency (IAEA) for the verification of spent nuclear fuel stored in water pools. Advanced image reconstruction techniques are crucial for obtaining high-quality cross-sectional images of the spent-fuel bundle to allow inspectors of the IAEA to monitor nuclear material and promptly identify its diversion. In this work, we have developed a software suite to accurately reconstruct the spent-fuel cross sectional image, automatically identify present fuel rods, and estimate their activity. Unique image reconstruction challenges are posed by the measurement of spent fuel, due to its high activity and the self-attenuation. We implemented a linear forward model to model the detector responses to the fuel rods inside the PGET. The image reconstruction is performed by solving a regularized linear inverse problem using the fast-iterative shrinkage-thresholding algorithm. We have also implemented the traditional filtered back projection method for comparison and applied both methods to reconstruct images of simulated mockup fuel assemblies. Higher image resolution and fewer reconstruction artifacts were obtained with the inverse-problem approach, with the mean-square-error reduced by 50%, and the structural-similarity improved by 200%. We then used a convolutional neural network to automatically identify the bundle type and extract the pin locations from the images; the estimated activity levels finally being compared with the ground truth. The proposed computational methods accurately estimated the activity levels of the present pins, with an associated uncertainty of approximately 5%. △ Less

Submitted 27 December, 2020; originally announced December 2020.

Comments: 11 pages, 14 figures, submitted to Scientific Reports

Fractional Paley-Wiener and Bernstein spaces

Authors: Alessandro Monguzzi, Marco M. Peloso, Maura Salvatori

Abstract: We introduce and study a family of spaces of entire functions in one variable that generalise the classical Paley-Wiener and Bernstein spaces. Namely, we consider entire functions of exponential type $a$ whose restriction to the real line belongs to the homogeneous Sobolev space $\dot{W}^{s,p}$ and we call these spaces fractional Paley-Wiener if $p=2$ and fractional Bernstein spaces if… ▽ More We introduce and study a family of spaces of entire functions in one variable that generalise the classical Paley-Wiener and Bernstein spaces. Namely, we consider entire functions of exponential type $a$ whose restriction to the real line belongs to the homogeneous Sobolev space $\dot{W}^{s,p}$ and we call these spaces fractional Paley-Wiener if $p=2$ and fractional Bernstein spaces if $p\in(1,\infty)$, that we denote by $PW^s_a$ and $\mathcal B^{s,p}_a$, respectively. For these spaces we provide a Paley-Wiener type characterization, we remark some facts about the sampling problem in the Hilbert setting and prove generalizations of the classical Bernstein and Plancherel-Pólya inequalities. We conclude by discussing a number of open questions. △ Less

Submitted 17 March, 2020; v1 submitted 27 February, 2020; originally announced February 2020.

Comments: Typos fixed

MSC Class: 30D15; 26A33

Ahlfors regular spaces have regular subspaces of any dimension

Authors: Nicola Arcozzi, Alessandro Monguzzi, Maura Salvatori

Abstract: We characterize $Q$-dimensional Ahlfors regular spaces among trees' boundaries and show how to construct, for each $0 < α< Q$, an $α$-regular subspace. As an application, we give an alternative simple proof of the existence of $α$-regular subspaces of a $Q$-dimensional complete Ahlfors regular metric space $(X,ρ)$, which was proved in \cite{JJKRRS}. We characterize $Q$-dimensional Ahlfors regular spaces among trees' boundaries and show how to construct, for each $0 < α< Q$, an $α$-regular subspace. As an application, we give an alternative simple proof of the existence of $α$-regular subspaces of a $Q$-dimensional complete Ahlfors regular metric space $(X,ρ)$, which was proved in \cite{JJKRRS}. △ Less

Submitted 27 August, 2021; v1 submitted 4 December, 2019; originally announced December 2019.

Comments: 10 pages, 2 figures

MSC Class: 28A78 30L05

Fractional Laplacian, homogeneous Sobolev spaces and their realizations

Authors: Alessandro Monguzzi, Marco M. Peloso, Maura Salvatori

Abstract: We study the fractional Laplacian and the homogeneous Sobolev spaces on R^d , by considering two definitions that are both considered classical. We compare these different definitions, and show how they are related by providing an explicit correspondence between these two spaces, and show that they admit the same representation. Along the way we also prove some properties of the fractional Laplaci… ▽ More We study the fractional Laplacian and the homogeneous Sobolev spaces on R^d , by considering two definitions that are both considered classical. We compare these different definitions, and show how they are related by providing an explicit correspondence between these two spaces, and show that they admit the same representation. Along the way we also prove some properties of the fractional Laplacian. △ Less

Submitted 3 December, 2019; v1 submitted 14 October, 2019; originally announced October 2019.

Comments: 17 pages - some new references and comments have been added

Pattern Localization in Time Series through Signal-To-Model Alignment in Latent Space

Authors: Steven Van Vaerenbergh, Ignacio Santamaria, Victor Elvira, Matteo Salvatori

Abstract: In this paper, we study the problem of locating a predefined sequence of patterns in a time series. In particular, the studied scenario assumes a theoretical model is available that contains the expected locations of the patterns. This problem is found in several contexts, and it is commonly solved by first synthesizing a time series from the model, and then aligning it to the true time series thr… ▽ More In this paper, we study the problem of locating a predefined sequence of patterns in a time series. In particular, the studied scenario assumes a theoretical model is available that contains the expected locations of the patterns. This problem is found in several contexts, and it is commonly solved by first synthesizing a time series from the model, and then aligning it to the true time series through dynamic time war**. We propose a technique that increases the similarity of both time series before aligning them, by map** them into a latent correlation space. The map** is learned from the data through a machine-learning setup. Experiments on data from non-destructive testing demonstrate that the proposed approach shows significant improvements over the state of the art. △ Less

Submitted 19 February, 2018; v1 submitted 16 February, 2018; originally announced February 2018.

Comments: IEEE ICASSP 2018

Paley--Wiener theorems on the Siegel upper half-space

Authors: Nicola Arcozzi, Alessandro Monguzzi, Marco M. Peloso, Maura Salvatori

Abstract: In this paper we study spaces of holomorphic functions on the Siegel upper half-space $\mathcal U$ and prove Paley-Wiener type theorems for such spaces. The boundary of $\mathcal U$ can be identified with the Heisenberg group $\mathbb H_n$. Using the group Fourier transform on $\mathbb H_n$, Ogden-Vagi proved a Paley-Wiener theorem for the Hardy space $H^2(\mathcal U)$. We consider a scale of Hi… ▽ More In this paper we study spaces of holomorphic functions on the Siegel upper half-space $\mathcal U$ and prove Paley-Wiener type theorems for such spaces. The boundary of $\mathcal U$ can be identified with the Heisenberg group $\mathbb H_n$. Using the group Fourier transform on $\mathbb H_n$, Ogden-Vagi proved a Paley-Wiener theorem for the Hardy space $H^2(\mathcal U)$. We consider a scale of Hilbert spaces on $\mathcal U$ that includes the Hardy space, the weighted Bergman spaces, the weighted Dirichlet spaces, and in particular the Drury-Arveson space, and the Dirichlet space $\mathcal D$. For each of these spaces, we prove a Paley-Wiener theorem, some structure theorems, and provide some applications. In particular we prove that the norm of the Dirichlet space modulo constants $\dot{\mathcal D}$ is the unique Hilbert space norm that is invariant under the action of the group of automorphisms of $\mathcal U$. △ Less

Submitted 10 June, 2024; v1 submitted 27 October, 2017; originally announced October 2017.

Comments: We added a small footnote at pag.6 which does not affect the main results of the paper

Journal ref: This is a pre-print of an article published in J. Fourier Anal. Appl. (2019)

On some spaces of holomorphic functions of exponential growth on a half-plane

Authors: Marco M. Peloso, Maura Salvatori

Abstract: In this paper we study spaces of holomorphic functions on the right half-plane $\cal R$, that we denote by $\cal M^p_ω$, whose growth conditions are given in terms of a translation invariant measure $ω$ on the closed half-plane $\overline\cal R$. Such a measure has the form $ω=ν\otimes m$, where $m$ is the Lebesgue measure on $\mathbb R$ and $ν$ is a regular Borel measure on $[0,+\infty)$. We call… ▽ More In this paper we study spaces of holomorphic functions on the right half-plane $\cal R$, that we denote by $\cal M^p_ω$, whose growth conditions are given in terms of a translation invariant measure $ω$ on the closed half-plane $\overline\cal R$. Such a measure has the form $ω=ν\otimes m$, where $m$ is the Lebesgue measure on $\mathbb R$ and $ν$ is a regular Borel measure on $[0,+\infty)$. We call these spaces generalized Hardy-Bergman spaces on the half-plane $\cal R$. We study in particular the case of $ν$ purely atomic, with point masses on an arithmetic progression on $[0,+\infty)$. We obtain a Paley-Wiener theorem for $\cal M^2_ω$, and consequentely the expression for its reproducing kernel. We study the growth of functions in such space and in particular show that $\cal M^p_ω$ contains functions of order 1. Moreover, we prove that the orthogonal projection from $L^p(\cal R,dω)$ into $\cal M^p_ω$ is unbounded for $p\neq2$. Furthermore, we compare the spaces $\cal M^p_ω$ with the classical Hardy and Bergman spaces, and some other Hardy-Bergman-type spaces introduced more recently. △ Less

Submitted 3 December, 2015; originally announced December 2015.

MSC Class: 30H99; 46E22; 30C15; 30C40

Functions of exponential growth in a half-plane, sets of uniqueness and the M"untz--Sz'asz problem for the Bergman space

Authors: Marco M. Peloso, Maura Salvatori

Abstract: We introduce and study some new spaces of holomorphic functions on the right half-plane. In a previous work, S. Krantz, C. Stoppato and the first named author formulated the M"untz--Sz'asz problem for the Bergman space, that is, the problem to characterize the sets of complex powers that form a complete set the unweighted Bergman space of a disc. In this paper, we construct a space of holomorphic… ▽ More We introduce and study some new spaces of holomorphic functions on the right half-plane. In a previous work, S. Krantz, C. Stoppato and the first named author formulated the M"untz--Sz'asz problem for the Bergman space, that is, the problem to characterize the sets of complex powers that form a complete set the unweighted Bergman space of a disc. In this paper, we construct a space of holomorphic functions on the right half-plane, whose sets of uniqueness correspond exactly to the sets of powers that are a complete set in Bergman space. We show that this space is a reproducing kernel Hilbert space and we prove a Paley--Wiener type theorem among several other structural properties. Moreover, we determine a sufficient condition on a set of powers to be a set of uniqueness for this space, thus providing a sufficient condition for the solution of the M"untz--Sz'asz problem for the Bergman space. △ Less

Submitted 18 November, 2015; originally announced November 2015.

MSC Class: 30H99; 46E22; 30C15; 30C40

Brownian motion on treebolic space: positive harmonic functions

Authors: Alexander Bendikov, Laurent Saloff-Coste, Maura Salvatori, Wolfgang Woess

Abstract: Treebolic space HT(q,p) is a key example of a strip complex in the sense of Bendikov, Saloff-Coste, Salvatori, and Woess [Adv. Math. 226 (2011), 992-1055]. It is an analog of the Sol geometry, namely, it is a horocylic product of the hyperbolic upper half plane with a "stretching" parameter q and the homogeneous tree T with vertex degree p+1 < 2, the latter seen as a one-complex. In a previous pap… ▽ More Treebolic space HT(q,p) is a key example of a strip complex in the sense of Bendikov, Saloff-Coste, Salvatori, and Woess [Adv. Math. 226 (2011), 992-1055]. It is an analog of the Sol geometry, namely, it is a horocylic product of the hyperbolic upper half plane with a "stretching" parameter q and the homogeneous tree T with vertex degree p+1 < 2, the latter seen as a one-complex. In a previous paper [arXiv:1212.6151, Rev. Mat. Iberoamericana, in print] we have explored the metric structure and isometry group of that space. Relying on the analysis on strip complexes, a family of natural Laplacians with "vertical drift" and the escape to infinity of the associated Brownian motion were considered. Here, we undertake a potential theoretic study, investigating the positive harmonic functions associated with those Laplacians. The methodological subtleties stem from the singularites of treebolic space at its bifurcation lines. We first study harmonic functions on simply connected sets with "rectangular" shape that are unions of strips. We derive a Poisson representation and obtain a solution of the Dirichlet problem on sets of that type. This provides properties of the density of the induced random walk on the collection of all bifuraction lines. Subsequently, we prove that each positive harmonic function with respect to that random walk has a unique extension which is harmonic with respect to the Laplacian on treebolic space. Finally, we derive a decomposition theorem for positive harmonic functions on the entire space that leads to a characterisation of the weak Liouville property. We determine all minimal harmonic functions in those cases where our Laplacian arises from lifting a (smooth) hyperbolic Laplacian with drift from the hyperbolic plane to treebolic space. △ Less

Submitted 22 January, 2016; v1 submitted 6 December, 2014; originally announced December 2014.

MSC Class: 31C05; 60J50; 53C23; 05C05

Journal ref: Ann. Inst. Fourier (Grenoble) 66 (2016), no. 4, 1691-1731

Brownian motion on treebolic space: escape to infinity

Authors: Alexander Bendikov, Laurent Saloff-Coste, Maura Salvatori, Wolfgang Woess

Abstract: Treebolic space is an analog of the Sol geometry, namely, it is the horocylic product of the hyperbolic upper half plane H and the homogeneous tree T with degree p+1 > 2, the latter seen as a one-complex. Let h be the Busemann function of T with respect to a fixed boundary point. Then for real q > 1 and integer p > 1, treebolic space HT(q,p) consists of all pairs (z=x+i y,w) in H x T with h(w) = l… ▽ More Treebolic space is an analog of the Sol geometry, namely, it is the horocylic product of the hyperbolic upper half plane H and the homogeneous tree T with degree p+1 > 2, the latter seen as a one-complex. Let h be the Busemann function of T with respect to a fixed boundary point. Then for real q > 1 and integer p > 1, treebolic space HT(q,p) consists of all pairs (z=x+i y,w) in H x T with h(w) = log_{q} y. It can also be obtained by glueing together horziontal strips of H in a tree-like fashion. We explain the geometry and metric of HT and exhibit a locally compact group of isometries (a horocyclic product of affine groups) that acts with compact quotient. When q=p, that group contains the amenable Baumslag-Solitar group BS(p)$ as a co-compact lattice, while when q and p are distinct, it is amenable, but non-unimodular. HT(q,p) is a key example of a strip complex in the sense of our previous paper in Advances in Mathematics 226 (2011) 992-1055. Relying on the analysis of strip complexes developed in that paper, we consider a family of natural Laplacians with "vertical drift" and describe the associated Brownian motion. The main difficulties come from the singularites which treebolic space (as any strip complex) has along its bifurcation lines. In this first part, we obtain the rate of escape and a central limit theorem, and describe how Brownian motion converges to the natural geometric boundary at infinity. Forthcoming work will be dedicated to positive harmonic functions. △ Less

Submitted 6 December, 2014; v1 submitted 26 December, 2012; originally announced December 2012.

Comments: Revista Matematica Iberoamericana, to appear

MSC Class: 60J25; 60J65; 53C23; 20F65; 05C05

Journal ref: Rev. Mat. Iberoam. 31 (2015), no. 3, 935-976

Brownian motion and Harmonic functions on Sol(p,q)

Authors: Sara Brofferio, Maura Salvatori, Wolfgang Woess

Abstract: The Lie group Sol(p,q) is the semidirect product induced by the action of the real numbers R on the plane R^2 which is given by (x,y) --> (exp{p z} x, exp{-q z} y), where z is in R. Viewing Sol(p,q) as a 3-dimensional manifold, it carries a natural Riemannian metric and Laplace-Beltrami operator. We add a linear drift term in the z-variable to the latter, and study the associated Brownian motion w… ▽ More The Lie group Sol(p,q) is the semidirect product induced by the action of the real numbers R on the plane R^2 which is given by (x,y) --> (exp{p z} x, exp{-q z} y), where z is in R. Viewing Sol(p,q) as a 3-dimensional manifold, it carries a natural Riemannian metric and Laplace-Beltrami operator. We add a linear drift term in the z-variable to the latter, and study the associated Brownian motion with drift. We derive a central limit theorem and compute the rate of escape. Also, we introduce the natural geometric compactification of Sol(p,q) and explain how Brownian motion converges almost surely to the boundary in the resulting topology. We also study all positive harmonic functions for the Laplacian with drift, and determine explicitly all minimal harmonic functions. All this is carried out with a strong emphasis on understanding and using the geometric features of Sol(p,q), and in particular the fact that it can be described as the horocyclic product of two hyperbolic planes with curvatures -p^2 and -q^2, respectively. △ Less

Submitted 23 May, 2011; originally announced May 2011.

MSC Class: 58J65; 31C12; 60J50

Journal ref: Internat. Math. Research Notes (IMRN) 22 (2012) 5182-5218

One-loop effective potential in M4 x T2 with and without 't Hooft flux

Authors: A. F. Faedo, D. Hernandez, S. Rigolin, M. Salvatori

Abstract: We review the basic notions of compactification in the presence of a background flux. In extra-dimentional models with more than five dimensions, Scherk and Schwarz boundary conditions have to satisfy 't Hooft consistency conditions. Different vacuum configurations can be obtained, depending whether trivial or non-trivial 't Hooft flux is considered. The presence of the "magnetic" background flu… ▽ More We review the basic notions of compactification in the presence of a background flux. In extra-dimentional models with more than five dimensions, Scherk and Schwarz boundary conditions have to satisfy 't Hooft consistency conditions. Different vacuum configurations can be obtained, depending whether trivial or non-trivial 't Hooft flux is considered. The presence of the "magnetic" background flux provide, in addition, a mechanism for producing four-dimensional chiral fermions. Particularizing to the six-dimensional case, we calculate the one-loop effective potential for a U(N) gauge theory on M4 x T2. We firstly review the well known results of the trivial 't Hooft flux case, where one-loop contributions produce the usual Hosotani dynamical symmetry breaking. Finally we applied our result for describing, for the first time, the one-loop contributions in the non-trivial 't Hooft flux case. △ Less

Submitted 5 November, 2009; originally announced November 2009.

Report number: FTUAM 09-30, IFT-UAM/CSIC-09-52, DFPD-09/TH/21

Journal ref: Phys.Rev.D82:025006,2010

The heat semigroup and Brownian motion on strip complexes

Authors: Alexander Bendikov, Laurent Saloff-Coste, Maura Salvatori, Wolfgang Woess

Abstract: We introduce the notion of strip complex. A strip complex is a special type of complex obtained by gluing "strips" along their natural boundaries according to a given graph structure. The most familiar example is the one dimensional complex classically associated with a graph, in which case the strips are simply copies of the unit interval (our setup actually allows for variable edge length). A… ▽ More We introduce the notion of strip complex. A strip complex is a special type of complex obtained by gluing "strips" along their natural boundaries according to a given graph structure. The most familiar example is the one dimensional complex classically associated with a graph, in which case the strips are simply copies of the unit interval (our setup actually allows for variable edge length). A leading key example is treebolic space, a geometric object studied in a number of recent articles, which arises as a horocyclic product of a metric tree with the hyperbolic plane. In this case, the graph is a regular tree, the strips are the closed unit interval times the real line, and each strip is equipped with the hyperbolic geometry of a specific strip in upper half plane. We consider natural families of Dirichlet forms on a general strip complex and show that the associated heat kernels and harmonic functions have very strong smoothness properties. We study questions such as essential selfadjointness of the underlying differential operator acting on a suitable space of smooth functions satisfying a Kirchoff type condition at points where the strip complex bifurcates. Compatibility with projections that arise from proper group actions is also considered. △ Less

Submitted 20 March, 2009; originally announced March 2009.

MSC Class: 60J65; 58J65; 47B25

Journal ref: Advances in Mathematics 226 (2011) 992-1055

Symmetry Breaking in Six Dimensional Flux Compactification Scenarios

Authors: D. Hernandez, S. Rigolin, M. Salvatori

Abstract: Motivated by the electroweak hierarchy problem, we consider theories with two extra dimensions in which the four-dimensional scalar fields are components of gauge boson in full space, namely the Gauge-Higgs unification framework. We briefly explain the basics features of "flux compactification", i.e. compactification in presence of a background (magnetic) flux. In particular we recall how chiral… ▽ More Motivated by the electroweak hierarchy problem, we consider theories with two extra dimensions in which the four-dimensional scalar fields are components of gauge boson in full space, namely the Gauge-Higgs unification framework. We briefly explain the basics features of "flux compactification", i.e. compactification in presence of a background (magnetic) flux. In particular we recall how chirality and symmetry breaking can be obtained in this context. More in details, we find and catalogue all possible degenerate zero-energy stable configurations in the case of trivial or non-trivial 't Hooft flux, for a SU(N) gauge theory on a torus. We describe the residual symmetries of each vacua and the four-dimensional effective spectrum in terms of continuous and discrete parameters, respectively. △ Less

Submitted 12 December, 2007; originally announced December 2007.

Comments: 8 pages, no figures

Symmetry breaking induced by 't Hooft non-abelian flux

Authors: M. Salvatori

Abstract: We analyze a SU(N) gauge theory on $\mathcal{M}_4 \times T^2$. We find and catalogue all possible degenerate zero-energy stable configurations in the case of trivial or non-trivial 't Hooft non abelian flux. We describe the residual symmetries of each vacua and the 4-dimensional effective spectrum in terms of continous and discrete parameters, respectively. We analyze a SU(N) gauge theory on $\mathcal{M}_4 \times T^2$. We find and catalogue all possible degenerate zero-energy stable configurations in the case of trivial or non-trivial 't Hooft non abelian flux. We describe the residual symmetries of each vacua and the 4-dimensional effective spectrum in terms of continous and discrete parameters, respectively. △ Less

Submitted 30 November, 2006; originally announced November 2006.

Comments: 5 pages, Contribution to the proceedings of SUSY06 (Irvine, CA, USA) and IRGAC06 (Barcelona, Spain)

Journal ref: AIPConf.Proc.903:403-406,2007

Symmetry breaking from Scherk-Schwarz compactification

Authors: M. Salvatori

Abstract: We analyze the classical stable configurations of an extra-dimensional gauge theory, in which the extra dimensions are compactified on a torus. Depending on the particular choice of gauge group and the number of extra dimensions, the classical vacua compatible with four-dimensional Poincaré invariance and zero instanton number may have zero energy. For SU(N) on a two-dimensional torus, we find a… ▽ More We analyze the classical stable configurations of an extra-dimensional gauge theory, in which the extra dimensions are compactified on a torus. Depending on the particular choice of gauge group and the number of extra dimensions, the classical vacua compatible with four-dimensional Poincaré invariance and zero instanton number may have zero energy. For SU(N) on a two-dimensional torus, we find and catalogue all possible degenerate zero-energy stable configurations in terms of continuous or discrete parameters, for the case of trivial or non-trivial 't Hooft non-abelian flux, respectively. We then describe the residual symmetries of each vacua. △ Less

Submitted 25 April, 2007; v1 submitted 24 November, 2006; originally announced November 2006.

Comments: 24 pages, 1 figure, Section 4 modified

Report number: FTUAM 06/18, IFT-UAM/CSIC-06-56

Journal ref: JHEP 0706:014,2007

Phenomenology of symmetry breaking from extra dimensions

Authors: J. Alfaro, A. Broncano, M. B. Gavela, S. Rigolin, M. Salvatori

Abstract: Motivated by the electroweak hierarchy problem, we consider theories with two extra dimensions in which the four-dimensional scalar fields are components of gauge boson in full space. We explore the Nielsen-Olesen instability for SU(N) on a torus, in the presence of a magnetic background. A field theory approach is developed, computing explicitly the minimum of the complete effective potential,… ▽ More Motivated by the electroweak hierarchy problem, we consider theories with two extra dimensions in which the four-dimensional scalar fields are components of gauge boson in full space. We explore the Nielsen-Olesen instability for SU(N) on a torus, in the presence of a magnetic background. A field theory approach is developed, computing explicitly the minimum of the complete effective potential, including tri-linear and quartic couplings and determining the symmetries of the stable vacua. We also develop appropriate gauge-fixing terms when both Kaluza-Klein and Landau levels are present and interacting, discussing the interplay between the possible six and four dimensional choices. The equivalence between coordinate dependent and constant Scherk-Schwarz boundary conditions -associated to either continuous or discrete Wilson lines- is analyzed. △ Less

Submitted 30 April, 2007; v1 submitted 7 June, 2006; originally announced June 2006.

Comments: 39 pages and 8 eps figures. Few changes in section2

Report number: FTUAM 06-6, IFT-UAM/CSIC-06-24, MPP-2006-49

Journal ref: JHEP 0701:005,2007

Minimal gauge-Higgs unification with a flavour symmetry

Authors: G. Martinelli, M. Salvatori, C. A. Scrucca, L. Silvestrini

Abstract: We show that a flavour symmetry a la Froggatt-Nielsen can be naturally incorporated in models with gauge-Higgs unification, by exploiting the heavy fermions that are anyhow needed to realize realistic Yukawa couplings. The case of the minimal five-dimensional model, in which the SU(2)_L x U(1)_Y electroweak group is enlarged to an SU(3)_W group, and then broken to U(1)_em by the combination of a… ▽ More We show that a flavour symmetry a la Froggatt-Nielsen can be naturally incorporated in models with gauge-Higgs unification, by exploiting the heavy fermions that are anyhow needed to realize realistic Yukawa couplings. The case of the minimal five-dimensional model, in which the SU(2)_L x U(1)_Y electroweak group is enlarged to an SU(3)_W group, and then broken to U(1)_em by the combination of an orbifold projection and a Scherk-Schwarz twist, is studied in detail. We show that the minimal way of incorporating a U(1)_F flavour symmetry is to enlarge it to an SU(2)_F group, which is then completely broken by the same orbifold projection and Scherk-Schwarz twist. The general features of this construction, where ordinary fermions live on the branes defined by the orbifold fixed-points and messenger fermions live in the bulk, are compared to those of ordinary four-dimensional flavour models, and some explicit examples are constructed. △ Less

Submitted 14 October, 2005; v1 submitted 18 March, 2005; originally announced March 2005.

Comments: LaTex, 37 pages, 2 figures; some clarifying comments and a few references added

Report number: FTUAM-05-3, IFT-UAM/CSIC-05-15, NEIP-05/03, ROMA-1385/04, TUM-HEP-578/05

Journal ref: JHEP 0510:037,2005

On a one-phase Stefan problem in nonlinear conduction

Authors: S. de Lillo, M. C. Salvatori

Abstract: A one phase Stefan problem in nonlinear conduction is considered. The problem is shown to admit a unique solution for small times. An exact solution is obtained which is a travelling front moving with constant speed. A one phase Stefan problem in nonlinear conduction is considered. The problem is shown to admit a unique solution for small times. An exact solution is obtained which is a travelling front moving with constant speed. △ Less

Submitted 12 June, 2003; originally announced June 2003.

Comments: arxiv version is already official

Journal ref: J. Nonlinear Math. Phys., volume 9, no. 4 (2002) 446-454