SearcharxivSearch

arXiv subjects

Claudia Correa

Publications and source records attributed to Claudia Correa.

At least 19 recordsLinked to original sources

BiPer: Binary Neural Networks using a Periodic Function

Quantized neural networks employ reduced precision representations for both weights and activations. This quantization process significantly reduces the memory requirements and computational complexity of the network. Binary Neural Networks (BNNs) are the extreme quantization case, representing values with just one bit. Since the sign function is typically used to map real values to binary values, smooth approximations are introduced to mimic the gradients during error backpropagation. Thus, the mismatch between the forward and backward models corrupts the direction of the gradient, causing training inconsistency problems and performance degradation. In contrast to current BNN approaches, we propose to employ a binary periodic (BiPer) function during binarization. Specifically, we use a square wave for the forward pass to obtain the binary values and employ the trigonometric sine function with the same period of the square wave as a differentiable surrogate during the backward pass. We demonstrate that this approach can control the quantization error by using the frequency of the periodic function and improves network performance. Extensive experiments validate the effectiveness of BiPer in benchmark datasets and network architectures, with improvements of up to 1% and 0.69% with respect to state-of-the-art methods in the classification task over CIFAR-10 and ImageNet, respectively. Our code is publicly available at https://github.com/edmav4/BiPer.

cs.CV

GAN-supervised Seismic Data Reconstruction: An Enhanced-Learning for Improved Generalization

Seismic data interpolation of irregularly missing traces plays a crucial role in subsurface imaging, enabling accurate analysis and interpretation throughout the seismic processing workflow. Despite the widespread exploration of deep supervised learning methods for seismic data reconstruction, several challenges still remain open. Particularly, the requirement of extensive training data and poor domain generalization due to the seismic survey's variability poses significant issues. To overcome these limitations, this paper introduces a deep-learning-based seismic data reconstruction approach that leverages data redundancy. This method involves a two-stage training process. First, an adversarial generative network (GAN) is trained using synthetic seismic data, enabling the extraction and learning of their primary and local seismic characteristics. Second, a reconstruction network is trained with synthetic data generated by the GAN, which dynamically adjusts the noise and distortion level at each epoch to promote feature diversity. This approach enhances the generalization capabilities of the reconstruction network by allowing control over the generation of seismic patterns from the latent space of the GAN, thereby reducing the dependency on large seismic databases. Experimental results on field and synthetic seismic datasets both pre-stack and post-stack show that the proposed method outperforms the baseline supervised learning and unsupervised approaches such as deep seismic prior and internal learning, by up to 8 dB of PSNR.

physics.geo-ph

Coordinate-Based Seismic Interpolation in Irregular Land Survey: A Deep Internal Learning Approach

Physical and budget constraints often result in irregular sampling, which complicates accurate subsurface imaging. Pre-processing approaches, such as missing trace or shot interpolation, are typically employed to enhance seismic data in such cases. Recently, deep learning has been used to address the trace interpolation problem at the expense of large amounts of training data to adequately represent typical seismic events. Nonetheless, most research in this area has focused on trace reconstruction, with little attention having been devoted to shot interpolation. Furthermore, existing methods assume regularly spaced receivers/sources failing in approximating seismic data from real (irregular) surveys. This work presents a novel shot gather interpolation approach which uses a continuous coordinate-based representation of the acquired seismic wavefield parameterized by a neural network. The proposed unsupervised approach, which we call coordinate-based seismic interpolation(CoBSI), enables the prediction of specific seismic characteristics in irregular land surveys without using external data during neural network training. Experimental results on real and synthetic 3D data validate the ability of the proposed method to estimate continuous smooth seismic events in the time-space and frequency-wavenumber domains, improving sparsity or low-rank-based interpolation methods.

eess.IV

Characterizations of weakly $\mathcal{K}$-analytic and Vašák spaces using projectional skeletons and separable PRI

We find characterizations of Vašák spaces and weakly $\mathcal{K}$-analytic spaces using the notions of separable projectional resolution of the identity (SPRI) and of projectional skeleton. This in particular addresses a recent challenge suggested by M. Fabian and V. Montesinos in \cite{FM18}. Our method of proof also gives similar characterizations of WCG spaces and their subspaces (some aspects of which were known, some are new). Moreover we show that for countably many projectional skeletons $\{\mathfrak{s}_n: n \in ω\}$ on a Banach space inducing the same set, there exists a projectional skeleton on the space (indexed by ranges of the corresponding projections) which is isomorphic to a subskeleton of each $\mathfrak{s}_n$, $n \in ω$.

math.FA

Small semi-Eberlein compacta and inverse limits

We study properties of semi-Eberlein compacta related to inverse limits. We concentrate our investigation on an interesting subclass of small semi-Eberlein compacta whose elements are obtained as inverse limits whose bonding maps are semi-open retractions.

math.GN

Characterization of (semi-)Eberlein compacta using retractional skeletons

We deeply study retractions associated to suitable models in compact spaces admitting a retractional skeleton and find several interesting consequences. Most importantly, we provide a new characterization of Valdivia compacta using the notion of retractional skeletons, which seems to be helpful when characterizing its subclasses. Further, we characterize Eberlein and semi-Eberlein compacta in terms of retractional skeletons and show that our new characterizations give an alternative proof of the fact that continuous image of an Eberlein compact is Eberlein as well as new stability results for the class of semi-Eberlein compacta, solving in particular an open problem posed by Kubis and Leiderman.

math.GN

On the c_0-extension property

In this work we investigate the c_0-extension property. This property generalizes Sobczyk's theorem in the context of nonseparable Banach spaces. We prove that a sufficient condition for a Banach space to have this property is that its closed dual unit ball is weak-star monolithic. We also present several results about the c_0-extension property in the context of C(K) Banach spaces. An interesting result in the realm of C(K) spaces is that the existence of a Corson compactum K such that C(K) does not have the c_0-extension property is independent from the axioms of ZFC.

math.FA

Cox rings of K3 surfaces of Picard number three

Let $X$ be a projective K3 surface over $\mathbb C$. We prove that its Cox ring $R(X)$ has a generating set whose degrees are either classes of smooth rational curves, sums of at most three elements of the Hilbert basis of the nef cone, or of the form $2(f+f')$, where $f,f'$ are classes of elliptic fibrations with $f\cdot f'=2$. This result and techniques using Koszul's type exact sequences allow to determine a generating set for the Cox ring of all Mori dream K3 surfaces of Picard number three which is minimal in most cases. A presentation for the Cox ring is given in some special cases with few generators.

math.AG

Nontrivial twisted sums for finite height spaces under Martin's Axiom

We show that if we assume Martin's Axiom, then there exists a nontrivial twisted sum of c_0 and C(K), for every compact space K with finite height and weight at least continuum. This result settles the problem of existence of nontrivial twisted sums of c_0 and C(K), for finite height spaces K, under Martin's Axiom.

math.FA

Local extension property for finite height spaces

We introduce a new technique for the study of the local extension property (LEP) for boolean algebras and we use it to show that the clopen algebra of every compact Hausdorff space $K$ of finite height has LEP. This implies, under appropriate additional assumptions on $K$ and Martin's Axiom, that every twisted sum of $c_0$ and $C(K)$ is trivial, generalizing a recent result by Marciszewski and Plebanek.

math.FA

Small Valdivia compacta and trees

We present a characterization of Valdivia compact spaces of small weight in terms of path spaces of trees and we use it to obtain (under $\diamondsuit$) a counterexample to a conjecture related to an open problem concerning twisted sums of $C(K)$ spaces.

math.GN

On the $c_0$-extension property for compact lines

We present a characterization of the continuous increasing surjections $ϕ:K\to L$ between compact lines $K$ and $L$ for which the corresponding subalgebra $ϕ^*C(L)$ has the $c_0$-extension property in $C(K)$. A natural question arising in connection with this characterization is shown to be independent of the axioms of ZFC.

math.FA

Extension property and complementation of isometric copies of continuous functions spaces

In this article we prove that every isometric copy of C(L) in C(K) is complemented if L is compact Hausdorff of finite height and K is a compact Hausdorff space satisfying the extension property, i.e., every closed subset of K admits an extension operator. The space C(L) can be replaced by its subspace C(L|F) consisting of functions that vanish on a closed subset F of L. We also study the class of spaces having the extension property, establishing some closure results for this class and relating it to other classes of compact spaces.

math.FA

A note on the continuous self-maps of the ladder system space

We give a partial characterization of the continuous self-maps of the ladder system space K_S. Our results show that K_S is highly nonrigid. We also discuss reasonable notions of "few operators" for spaces C(K) with scattered K and we show that C(K_S) does not have few operators for such notions.

math.FA