-
An LLM-Based Approach for Insight Generation in Data Analysis
Authors:
Alberto Sánchez Pérez,
Alaa Boukhary,
Paolo Papotti,
Luis Castejón Lozano,
Adam Elwood
Abstract:
Generating insightful and actionable information from databases is critical in data analysis. This paper introduces a novel approach using Large Language Models (LLMs) to automatically generate textual insights. Given a multi-table database as input, our method leverages LLMs to produce concise, text-based insights that reflect interesting patterns in the tables. Our framework includes a Hypothesi…
▽ More
Generating insightful and actionable information from databases is critical in data analysis. This paper introduces a novel approach using Large Language Models (LLMs) to automatically generate textual insights. Given a multi-table database as input, our method leverages LLMs to produce concise, text-based insights that reflect interesting patterns in the tables. Our framework includes a Hypothesis Generator to formulate domain-relevant questions, a Query Agent to answer such questions by generating SQL queries against a database, and a Summarization module to verbalize the insights. The insights are evaluated for both correctness and subjective insightfulness using a hybrid model of human judgment and automated metrics. Experimental results on public and enterprise databases demonstrate that our approach generates more insightful insights than other approaches while maintaining correctness.
△ Less
Submitted 20 February, 2025;
originally announced March 2025.
-
Detecting Facial Image Manipulations with Multi-Layer CNN Models
Authors:
Alejandro Marco Montejano,
Angela Sanchez Perez,
Javier Barrachina,
David Ortiz-Perez,
Manuel Benavent-Lledo,
Jose Garcia-Rodriguez
Abstract:
The rapid evolution of digital image manipulation techniques poses significant challenges for content verification, with models such as stable diffusion and mid-journey producing highly realistic, yet synthetic, images that can deceive human perception. This research develops and evaluates convolutional neural networks (CNNs) specifically tailored for the detection of these manipulated images. The…
▽ More
The rapid evolution of digital image manipulation techniques poses significant challenges for content verification, with models such as stable diffusion and mid-journey producing highly realistic, yet synthetic, images that can deceive human perception. This research develops and evaluates convolutional neural networks (CNNs) specifically tailored for the detection of these manipulated images. The study implements a comparative analysis of three progressively complex CNN architectures, assessing their ability to classify and localize manipulations across various facial image modifications. Regularization and optimization techniques were systematically incorporated to improve feature extraction and performance. The results indicate that the proposed models achieve an accuracy of up to 76\% in distinguishing manipulated images from genuine ones, surpassing traditional approaches. This research not only highlights the potential of CNNs in enhancing the robustness of digital media verification tools, but also provides insights into effective architectural adaptations and training strategies for low-computation environments. Future work will build on these findings by extending the architectures to handle more diverse manipulation techniques and integrating multi-modal data for improved detection capabilities.
△ Less
Submitted 9 December, 2024;
originally announced December 2024.
-
A Bellman-Ford algorithm for the path-length-weighted distance in graphs
Authors:
R. Arnau,
J. M. Calabuig,
L. M. García Raffi,
E. A. Sánchez Pérez,
S. Sanjuan
Abstract:
Consider a finite directed graph without cycles in which the arrows are weighted. We present an algorithm for the computation of a new distance, called path-length-weighted distance, which has proven useful for graph analysis in the context of fraud detection. The idea is that the new distance explicitly takes into account the size of the paths in the calculations. Thus, although our algorithm is…
▽ More
Consider a finite directed graph without cycles in which the arrows are weighted. We present an algorithm for the computation of a new distance, called path-length-weighted distance, which has proven useful for graph analysis in the context of fraud detection. The idea is that the new distance explicitly takes into account the size of the paths in the calculations. Thus, although our algorithm is based on arguments similar to those at work for the Bellman-Ford and Dijkstra methods, it is in fact essentially different. We lay out the appropriate framework for its computation, showing the constraints and requirements for its use, along with some illustrative examples.
△ Less
Submitted 28 October, 2024;
originally announced November 2024.
-
Eccentric $p-$summing Lipschitz operators and integral inequalities on metric spaces and graphs
Authors:
R. Arnau,
E. A. Sánchez Pérez,
S. Sanjuan
Abstract:
The extension of the concept of $p-$summability for linear operators to the context of Lipschitz operators on metric spaces has been extensively studied in recent years. This research primarily uses the linearization of the metric space $M$ afforded by the associated Arens-Eells space, along with the duality between $M$ and the metric dual space $M^\#$ defined by the real-valued Lipschitz function…
▽ More
The extension of the concept of $p-$summability for linear operators to the context of Lipschitz operators on metric spaces has been extensively studied in recent years. This research primarily uses the linearization of the metric space $M$ afforded by the associated Arens-Eells space, along with the duality between $M$ and the metric dual space $M^\#$ defined by the real-valued Lipschitz functions on $M.$ However, alternative approaches to measuring distances between sequences of elements of metric spaces (essentially involved in the definition of $p-$summability) exist. One approach involves considering specific subsets of the unit ball of $M^\#$ for computing the distances between sequences, such as the real Lipschitz functions derived from evaluating the difference of the values of the metric from two points to a fixed point. We introduce new notions of summability for Lipschitz operators involving such functions, which are characterized by integral dominations for those operators. To show the applicability of our results, we use in the last part of the paper the theoretical tools obtained in the first part to the analysis of metric graphs. In particular, we show new results on the behavior of numerical indices defined on these graphs satisfying certain conditions of summability and symmetry.
△ Less
Submitted 28 October, 2024;
originally announced October 2024.
-
Lattice Lipschitz superposition operators on Banach function spaces
Authors:
Roger Arnau,
Jose M. Calabuig,
Ezgi Erdoğan,
Enrique A. Sánchez Pérez
Abstract:
We analyse and characterise the notion of lattice Lipschitz operator (a class of superposition operators, diagonal Lipschitz maps) when defined between Banach function spaces. After showing some general results, we restrict our attention to the case of those Lipschitz operators which are representable by pointwise composition with a strongly measurable function. Mimicking the classical definition…
▽ More
We analyse and characterise the notion of lattice Lipschitz operator (a class of superposition operators, diagonal Lipschitz maps) when defined between Banach function spaces. After showing some general results, we restrict our attention to the case of those Lipschitz operators which are representable by pointwise composition with a strongly measurable function. Mimicking the classical definition and characterizations of (linear) multiplication operators between Banach function spaces, we show that under certain conditions the requirement for a diagonal Lipschitz operator to be well-defined between two such spaces $X(μ)$ and $Y(μ)$ is that it can be represented by a strongly measurable function which belongs to the Bochner space $\mathcal M(X,Y) \big(μ, Lip_0(\mathbb R) \big). $ Here, $\mathcal M(X,Y) $ is the space of multiplication operators between $X(μ)$ and $Y(μ),$ and $Lip_0(\mathbb R)$ is the space of real-valued Lipschitz maps with real variable that are equal to $0$ in $0. $ This opens the door to a better understanding of these maps, as well as finding the relation of these operators to some normed tensor products and other classes of maps.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
Moduli of Continuity in Metric Models and Extension of Liveability Indices
Authors:
R. Arnau,
J. M. Calabuig,
Álvaro González,
Enrique A. Sánchez Pérez
Abstract:
Index spaces serve as valuable metric models for studying properties relevant to various applications, such as social science or economics. These properties are represented by real Lipschitz functions that describe the degree of association with each element within the underlying metric space. After determining the index value within a given sample subset, the classic McShane and Whitney formulas…
▽ More
Index spaces serve as valuable metric models for studying properties relevant to various applications, such as social science or economics. These properties are represented by real Lipschitz functions that describe the degree of association with each element within the underlying metric space. After determining the index value within a given sample subset, the classic McShane and Whitney formulas allow a Lipschitz regression procedure to be performed to extend the index values over the entire metric space. To improve the adaptability of the metric model to specific scenarios, this paper introduces the concept of a composition metric, which involves composing a metric with an increasing, positive and subadditive function $φ$. The results presented here extend well-established results for Lipschitz indices on metric spaces to composition metrics. In addition, we establish the corresponding approximation properties that facilitate the use of this functional structure. To illustrate the power and simplicity of this mathematical framework, we provide a concrete application involving the modelling of livability indices in North American cities.
△ Less
Submitted 19 February, 2024;
originally announced February 2024.
-
Approximation of almost diagonal non-linear maps by lattice Lipschitz operators
Authors:
Roger Arnau,
Jose M. Calabuig,
Ezgi Erdoğan,
Enrique A. Sánchez Pérez
Abstract:
Lattice Lipschitz operators define a new class of nonlinear Banach-lattice-valued maps that can be written as diagonal functions with respect to a certain basis. In the $n-$dimensional case, such a map can be represented as a vector of size $n$ of real-valued functions of one variable. In this paper we develop a method to approximate almost diagonal maps by means of lattice Lipschitz operators. Th…
▽ More
Lattice Lipschitz operators define a new class of nonlinear Banach-lattice-valued maps that can be written as diagonal functions with respect to a certain basis. In the $n-$dimensional case, such a map can be represented as a vector of size $n$ of real-valued functions of one variable. In this paper we develop a method to approximate almost diagonal maps by means of lattice Lipschitz operators. The proposed technique is based on the approximation properties and error bounds obtained for these operators, together with a pointwise version of the interpolation of McShane and Whitney extension maps that can be applied to almost diagonal functions. In order to get the desired approximation, it is necessary to previously obtain an approximation to the set of eigenvectors of the original function. We focus on the explicit computation of error formulas and on illustrative examples to present our construction.
△ Less
Submitted 3 July, 2023;
originally announced July 2023.
-
Equivalent Norms in a Banach Function Space and the Subsequence Property
Authors:
Jose M. Calabuig,
Maite Fernández Unzueta,
Fernando Galaz-Fontes,
Enrique A. Sánchez Pérez
Abstract:
Given a finite measure space $(Ω,Σ,μ)$, we show that any Banach space $X(μ)$ consisting of (equivalence classes of) real measurable functions defined on $Ω$ such that $f χ_A \in X(μ) $ and $ \|f χ_A \| \leq \|f\|, \, f \in X(μ), \ A \in Σ$, and having the subsequence property, is in fact an ideal of measurable functions and has an equivalent norm under which it is a Banach function space. As an ap…
▽ More
Given a finite measure space $(Ω,Σ,μ)$, we show that any Banach space $X(μ)$ consisting of (equivalence classes of) real measurable functions defined on $Ω$ such that $f χ_A \in X(μ) $ and $ \|f χ_A \| \leq \|f\|, \, f \in X(μ), \ A \in Σ$, and having the subsequence property, is in fact an ideal of measurable functions and has an equivalent norm under which it is a Banach function space. As an application we characterize norms that are equivalent to a Banach function space norm.
△ Less
Submitted 12 October, 2018;
originally announced October 2018.
-
$p$-regularity and weights for operators between $L^p$-spaces
Authors:
Enrique A. Sánchez Pérez,
Pedro Tradacete
Abstract:
We explore the connection between $p$-regular operators on Banach function spaces and weighted $p$-estimates. In particular, our results focus on the following problem. Given finite measure spaces $μ$ and $ν$, let $T$ be an operator defined from a Banach function space $X(ν)$ and taking values on $L^p (v d μ)$ for $v$ in certain family of weights $V\subset L^1(μ)_+$: we analyze the existence of a…
▽ More
We explore the connection between $p$-regular operators on Banach function spaces and weighted $p$-estimates. In particular, our results focus on the following problem. Given finite measure spaces $μ$ and $ν$, let $T$ be an operator defined from a Banach function space $X(ν)$ and taking values on $L^p (v d μ)$ for $v$ in certain family of weights $V\subset L^1(μ)_+$: we analyze the existence of a bounded family of weights $W\subset L^1(ν)_+$ such that for every $v\in V$ there is $w \in W$ in such a way that $T:L^p(w d ν) \to L^p(v d μ)$ is continuous uniformly on $V$. A condition for the existence of such a family is given in terms of $p$-regularity of the integration map associated to a certain vector measure induced by the operator $T$.
△ Less
Submitted 28 March, 2018;
originally announced March 2018.
-
Approximation of integration maps of vector measures and limit representations of Banach function spaces
Authors:
Eduardo Jimenez Fernandez,
Enrique A. Sanchez Perez,
Dirk Werner
Abstract:
We study when the integration maps of vector measures can be computed as pointwise limits of their finite rank Radon-Nikodým derivatives. We will show that this can sometimes be done, but there are also principal cases in which this cannot be done. The positive cases are obtained using the circle of ideas of the approximation property for Banach spaces. The negative ones are given by means of an a…
▽ More
We study when the integration maps of vector measures can be computed as pointwise limits of their finite rank Radon-Nikodým derivatives. We will show that this can sometimes be done, but there are also principal cases in which this cannot be done. The positive cases are obtained using the circle of ideas of the approximation property for Banach spaces. The negative ones are given by means of an adequate use of the Daugavet property. As an application, we analyse when the norm in a space of integrable functions $L^1(m)$ can be computed as a limit of the norms of the spaces of integrable functions with respect to the Radon-Nikodým derivatives of $m$.
△ Less
Submitted 21 April, 2017;
originally announced April 2017.
-
Optimal domain of $q$-concave operators and vector measure representation of $q$-concave Banach lattices
Authors:
O. Delgado,
E. A. Sanchez Perez
Abstract:
Given a Banach space valued $q$-concave linear operator $T$ defined on a $σ$-order continuous quasi-Banach function space, we provide a description of the optimal domain of $T$ preserving $q$-concavity, that is, the largest $σ$-order continuous quasi-Banach function space to which $T$ can be extended as a $q$-concave operator. We show in this way the existence of maximal extensions for $q$-concave…
▽ More
Given a Banach space valued $q$-concave linear operator $T$ defined on a $σ$-order continuous quasi-Banach function space, we provide a description of the optimal domain of $T$ preserving $q$-concavity, that is, the largest $σ$-order continuous quasi-Banach function space to which $T$ can be extended as a $q$-concave operator. We show in this way the existence of maximal extensions for $q$-concave operators. As an application, we show a representation theorem for $q$-concave Banach lattices through spaces of integrable functions with respect to a vector measure. This result culminates a series of representation theorems for Banach lattices using vector measures that have been obtained in the last twenty years.
△ Less
Submitted 7 November, 2015;
originally announced November 2015.
-
Optimal extensions for $p$-th power factorable operators
Authors:
O. Delgado,
E. A. Sanchez Perez
Abstract:
Let $X(μ)$ be a function space related to a measure space $(Ω,Σ,μ)$ with $χ_Ω\in X(μ)$ and let $T\colon X(μ)\to E$ be a Banach space valued operator. It is known that if $T$ is $p$-th power factorable then the largest function space to which $T$ can be extended preserving $p$-th power factorability is given by the space $L^p(m_T)$ of $p$-integrable functions with respect to $m_T$, where…
▽ More
Let $X(μ)$ be a function space related to a measure space $(Ω,Σ,μ)$ with $χ_Ω\in X(μ)$ and let $T\colon X(μ)\to E$ be a Banach space valued operator. It is known that if $T$ is $p$-th power factorable then the largest function space to which $T$ can be extended preserving $p$-th power factorability is given by the space $L^p(m_T)$ of $p$-integrable functions with respect to $m_T$, where $m_T\colonΣ\to E$ is the vector measure associated to $T$ via $m_T(A)=T(χ_A)$. In this paper we extend this result by removing the restriction $χ_Ω\in X(μ)$. In this general case, by considering $m_T$ defined on a certain $δ$-ring, we show that the optimal domain for $T$ is the space $L^p(m_T)\cap L^1(m_T)$. We apply the obtained results to the particular case when $T$ is a map between sequence spaces defined by an infinite matrix.
△ Less
Submitted 7 November, 2015;
originally announced November 2015.
-
The Daugavet equation for bounded vector valued functions
Authors:
Stefan Brach,
Enrique A. Sanchez Perez,
Dirk Werner
Abstract:
Requirements under which the Daugavet equation and the alternative Daugavet equation hold for pairs of nonlinear maps between Banach spaces are analysed. A geometric description is given in terms of nonlinear slices. Some local versions of these properties are also introduced and studied, as well as tests for checking if the required conditions are satisfied in relevant cases.
Requirements under which the Daugavet equation and the alternative Daugavet equation hold for pairs of nonlinear maps between Banach spaces are analysed. A geometric description is given in terms of nonlinear slices. Some local versions of these properties are also introduced and studied, as well as tests for checking if the required conditions are satisfied in relevant cases.
△ Less
Submitted 15 July, 2015;
originally announced July 2015.
-
Strong extensions for $q$-summing operators acting in $p$-convex Banach function spaces for $1 \le p \le q$
Authors:
O. Delgado,
E. A. Sánchez Pérez
Abstract:
Let $1\le p\le q<\infty$ and let $X$ be a $p$-convex Banach function space over a $σ$-finite measure $μ$. We combine the structure of the spaces $L^p(μ)$ and $L^q(ξ)$ for constructing the new space $S_{X_p}^{\,q}(ξ)$, where $ξ$ is a probability Radon measure on a certain compact set associated to $X$. We show some of its properties, and the relevant fact that every $q$-summing operator $T$ defined…
▽ More
Let $1\le p\le q<\infty$ and let $X$ be a $p$-convex Banach function space over a $σ$-finite measure $μ$. We combine the structure of the spaces $L^p(μ)$ and $L^q(ξ)$ for constructing the new space $S_{X_p}^{\,q}(ξ)$, where $ξ$ is a probability Radon measure on a certain compact set associated to $X$. We show some of its properties, and the relevant fact that every $q$-summing operator $T$ defined on $X$ can be continuously (strongly) extended to $S_{X_p}^{\,q}(ξ)$. This result turns out to be a mixture of the Pietsch and Maurey-Rosenthal factorization theorems, which provide (strong) factorizations for $q$-summing operators through $L^q$-spaces when $1 \le q \le p$. Thus, our result completes the picture, showing what happens in the complementary case $1\le p\le q$, opening the door to the study of the multilinear versions of $q$-summing operators also in these cases.
△ Less
Submitted 30 June, 2015;
originally announced June 2015.
-
Domination spaces and factorization of linear and multilinear summing operators
Authors:
E. Dahia,
D. Achour,
P. Rueda,
E. A. Sánchez Pérez
Abstract:
It is well known that not every summability property for non linear operators leads to a factorization theorem. In this paper we undertake a detailed study of factorization schemes for summing linear and nonlinear operators. Our aim is to integrate under the same theory a wide family of classes of mappings for which a Pietsch type factorization theorem holds. We analyze the class of linear operato…
▽ More
It is well known that not every summability property for non linear operators leads to a factorization theorem. In this paper we undertake a detailed study of factorization schemes for summing linear and nonlinear operators. Our aim is to integrate under the same theory a wide family of classes of mappings for which a Pietsch type factorization theorem holds. We analyze the class of linear operators that are defined by a summability inequality involving a homogeneous map. Our construction includes the cases of absolutely $p$-summing linear operators, $(p,σ)$-absolutely continuous linear operators, factorable strongly $p$-summing multilinear operators, $(p_1,\ldots,p_n)$-dominated multilinear operators and dominated $(p_1,\ldots, p_n;σ)$-continuous multilinear operators.
△ Less
Submitted 15 November, 2015; v1 submitted 20 June, 2015;
originally announced June 2015.
-
Slice continuity for operators and the Daugavet property for bilinear maps
Authors:
Enrique A. Sánchez Pérez,
Dirk Werner
Abstract:
We introduce and analyse the notion of slice continuity between operators on Banach spaces in the setting of the Daugavet property.
It is shown that under the slice continuity assumption the Daugavet equation holds for weakly compact operators. As an application we define and characterise the Daugavet property for bilinear maps, and we prove that this allows us to describe some $p$-convexificati…
▽ More
We introduce and analyse the notion of slice continuity between operators on Banach spaces in the setting of the Daugavet property.
It is shown that under the slice continuity assumption the Daugavet equation holds for weakly compact operators. As an application we define and characterise the Daugavet property for bilinear maps, and we prove that this allows us to describe some $p$-convexifications of the Daugavet equation for operators on Banach function spaces that have recently been introduced.
△ Less
Submitted 26 October, 2012;
originally announced October 2012.
-
The $p$-Daugavet property for function spaces
Authors:
Enrique A. Sanchez Perez,
Dirk Werner
Abstract:
A natural extension of the Daugavet property for $p$-convex Banach function spaces and related classes is analysed. As an application, we extend the arguments given in the setting of the Daugavet property to show that no reflexive space falls into this class.
A natural extension of the Daugavet property for $p$-convex Banach function spaces and related classes is analysed. As an application, we extend the arguments given in the setting of the Daugavet property to show that no reflexive space falls into this class.
△ Less
Submitted 7 March, 2011;
originally announced March 2011.
-
The geometry of L^p-spaces over atomless measure spaces and the Daugavet property
Authors:
Enrique A. Sanchez Perez,
Dirk Werner
Abstract:
We show that $L^p$-spaces over atomless measure spaces can be characterized in terms of a $p$-concavity type geometric property that is related with the Daugavet property.
We show that $L^p$-spaces over atomless measure spaces can be characterized in terms of a $p$-concavity type geometric property that is related with the Daugavet property.
△ Less
Submitted 8 January, 2010;
originally announced January 2010.
