Showing 1–50 of 71 results for author: Mejía, A

Slalom numbers

Authors: Miguel A. Cardona, Viera Gavalova, Diego A. Mejia, Miroslav Repicky, Jaroslav Supina

Abstract: The paper is an extensive and systematic study of cardinal invariants we call slalom numbers, describing the combinatorics of sequences of sets of natural numbers. Our general approach, based on relational systems, covers many such cardinal characteristics, including localization and anti-localization cardinals. We show that most of the slalom numbers are connected to topological selection princip… ▽ More The paper is an extensive and systematic study of cardinal invariants we call slalom numbers, describing the combinatorics of sequences of sets of natural numbers. Our general approach, based on relational systems, covers many such cardinal characteristics, including localization and anti-localization cardinals. We show that most of the slalom numbers are connected to topological selection principles, in particular, we obtain the representation of the uniformity of meager and the cofinality of measure. Considering instances of slalom numbers parametrized by ideals on natural numbers, we focus on monotonicity properties with respect to ideal orderings and computational formulas for the disjoint sum of ideals. Hence, we get such formulas for several pseudo-intersection numbers as well as for the bounding and dominating numbers parametrized with ideals. Based on the effect of adding a Cohen real, we get many consistent constellations of different values of slalom numbers. △ Less

Submitted 28 June, 2024; originally announced June 2024.

MSC Class: 03E17; 03E35; 54G15; 54D20; 03E40

A general theory of iterated forcing using finitely additive measures

Authors: Miguel A. Cardona, Diego A. Mejía, Andrés F. Uribe-Zapata

Abstract: Based on the work of Shelah, Kellner, and Tănasie (Fund. Math., 166(1-2):109-136, 2000 and Comment. Math. Univ. Carolin., 60(1):61-95, 2019), and the recent developments in the third author's master's thesis, we develop a general theory of iterated forcing using finitely additive measures. For this purpose, we introduce two new notions: on the one hand, we define a new linkedness property, called… ▽ More Based on the work of Shelah, Kellner, and Tănasie (Fund. Math., 166(1-2):109-136, 2000 and Comment. Math. Univ. Carolin., 60(1):61-95, 2019), and the recent developments in the third author's master's thesis, we develop a general theory of iterated forcing using finitely additive measures. For this purpose, we introduce two new notions: on the one hand, we define a new linkedness property, called $μ$-$\mathrm{FAM}$-linked and, on the other hand, we generalize the notion of intersection number to forcing notions, which justifies the limit steps of our iteration theory. Our theory also generalizes iterations with ultrafilters, which have played an important role in the proof of the consistency of Cichoń's maximum. We further show that any iteration constructed with our general theory preserves strong unbounded families and what we call \emph{anti-Bendixson families}, which play a central role in preserving witnesses of $\mathrm{cov}(\mathcal{N})$ of singular size (even of countable cofinality). Finally, we apply our theory to prove the consistency of a new separation of the left-hand side of Cichoń's diagram where $\mathrm{cov}(\mathcal{N})$ is possibly singular, even with countable cofinality. △ Less

Submitted 14 June, 2024; originally announced June 2024.

Comments: 62 pages, 7 figures

MSC Class: 03E35; 03E17; 03E40; 28A12

M3LEO: A Multi-Modal, Multi-Label Earth Observation Dataset Integrating Interferometric SAR and RGB Data

Authors: Matthew J Allen, Francisco Dorr, Joseph Alejandro Gallego Mejia, Laura Martínez-Ferrer, Anna Jungbluth, Freddie Kalaitzis, Raúl Ramos-Pollán

Abstract: Satellite-based remote sensing has revolutionised the way we address global challenges in a rapidly evolving world. Huge quantities of Earth Observation (EO) data are generated by satellite sensors daily, but processing these large datasets for use in ML pipelines is technically and computationally challenging. Specifically, different types of EO data are often hosted on a variety of platforms, wi… ▽ More Satellite-based remote sensing has revolutionised the way we address global challenges in a rapidly evolving world. Huge quantities of Earth Observation (EO) data are generated by satellite sensors daily, but processing these large datasets for use in ML pipelines is technically and computationally challenging. Specifically, different types of EO data are often hosted on a variety of platforms, with differing availability for Python preprocessing tools. In addition, spatial alignment across data sources and data tiling can present significant technical hurdles for novice users. While some preprocessed EO datasets exist, their content is often limited to optical or near-optical wavelength data, which is ineffective at night or in adverse weather conditions. Synthetic Aperture Radar (SAR), an active sensing technique based on microwave length radiation, offers a viable alternative. However, the application of machine learning to SAR has been limited due to a lack of ML-ready data and pipelines, particularly for the full diversity of SAR data, including polarimetry, coherence and interferometry. We introduce M3LEO, a multi-modal, multi-label EO dataset that includes polarimetric, interferometric, and coherence SAR data derived from Sentinel-1, alongside Sentinel-2 RGB imagery and a suite of labelled tasks for model evaluation. M3LEO spans 17.5TB and contains approximately 10M data chips across six geographic regions. The dataset is complemented by a flexible PyTorch Lightning framework, with configuration management using Hydra. We provide tools to process any dataset available on popular platforms such as Google Earth Engine for integration with our framework. Initial experiments validate the utility of our data and framework, showing that SAR imagery contains information additional to that extractable from RGB data. Data at huggingface.co/M3LEO, and code at github.com/spaceml-org/M3LEO. △ Less

Submitted 6 June, 2024; originally announced June 2024.

Comments: 9 pages, 2 figures

ACM Class: I.4; I.4.6; I.4.8; I.4.9; I.5; I.5.4

Forcing techniques for Cichoń's Maximum: Lecture notes for the mini-course at the University of Vienna

Authors: Diego A. Mejía

Abstract: Cichoń's diagram describes the connections between combinatorial notions related to measure, category, and compactness of sets of irrational numbers. In the second part of the 2010's decade, Goldstern, Kellner and Shelah constructed a forcing model of Cichoń's Maximum (meaning that all non-dependent cardinal characteristics are pairwise different) by using large cardinals. Some years later, we eli… ▽ More Cichoń's diagram describes the connections between combinatorial notions related to measure, category, and compactness of sets of irrational numbers. In the second part of the 2010's decade, Goldstern, Kellner and Shelah constructed a forcing model of Cichoń's Maximum (meaning that all non-dependent cardinal characteristics are pairwise different) by using large cardinals. Some years later, we eliminated this large cardinal assumption. In this mini-course, we explore the forcing techniques to construct the Cichoń's Maximum model and much more. △ Less

Submitted 19 February, 2024; originally announced February 2024.

Comments: Lecture notes corresponding to a mini-course of six sessions at the University of Vienna, from November 30th, 2023 to January 25th, 2024

MSC Class: 03E17; 03E35; 03E40

Anatomy of $\tilde{\mathbb{E}}$

Authors: Diego A. Mejía

Abstract: We present a detailed general framework to describe the forcing $\tilde{\mathbb{E}}$, defined by Kellner, Shelah and Tanăsie to prove the consistency with ZFC of an alternative order of Cichoń's maximum. Our presentation is close to the framework of tree-creature forcing notions from Horowitz and Shelah. We show that the posets in this class have strong FAM limits for intervals (in recent terminol… ▽ More We present a detailed general framework to describe the forcing $\tilde{\mathbb{E}}$, defined by Kellner, Shelah and Tanăsie to prove the consistency with ZFC of an alternative order of Cichoń's maximum. Our presentation is close to the framework of tree-creature forcing notions from Horowitz and Shelah. We show that the posets in this class have strong FAM limits for intervals (in recent terminology, they are $σ$-FAM-linked) and, furthermore, that they also have strong ultrafilter limits for intervals. △ Less

Submitted 7 February, 2024; originally announced February 2024.

Comments: To appear in RIMS Kôkyûroku, Kyoto University

MSC Class: 03E40; 28A12; 28A25

Uniformity numbers of the null-additive and meager-additive ideals

Authors: Miguel A. Cardona, Diego A. Mejía, Ismael E. Rivera-Madrid

Abstract: Denote by $\mathcal{N}\!\mathcal{A}$ and $\mathcal{MA}$ the ideals of null-additive and meager-additive subsets of $2^ω$, respectively. We prove in ZFC that $\mathrm{add}(\mathcal{N}\!\mathcal{A})=\mathrm{non}(\mathcal{N}\!\mathcal{A})$ and introduce a new (Polish) relational system to reformulate Bartoszyński's and Judah's characterization of the uniformity of $\mathcal{MA}$, which is helpful to… ▽ More Denote by $\mathcal{N}\!\mathcal{A}$ and $\mathcal{MA}$ the ideals of null-additive and meager-additive subsets of $2^ω$, respectively. We prove in ZFC that $\mathrm{add}(\mathcal{N}\!\mathcal{A})=\mathrm{non}(\mathcal{N}\!\mathcal{A})$ and introduce a new (Polish) relational system to reformulate Bartoszyński's and Judah's characterization of the uniformity of $\mathcal{MA}$, which is helpful to understand the combinatorics of $\mathcal{MA}$ and to prove consistency results. As for the latter, we prove that $\mathrm{cov}(\mathcal{MA})<\mathfrak{c}$ (even $\mathrm{cov}(\mathcal{MA})<\mathrm{non}(\mathcal{N})$) is consistent with ZFC, as well as several constellations of Cichoń's diagram with $\mathrm{non}(\mathcal{N}\!\mathcal{A})$, $\mathrm{non}(\mathcal{MA})$ and $\mathrm{add}(\mathcal{SN})$, which include $\mathrm{non}(\mathcal{N}\!\mathcal{A})<\mathfrak{b}< \mathrm{non}(\mathcal{MA})$ and $\mathfrak{b}< \mathrm{add}(\mathcal{SN})<\mathrm{cov}(\mathcal{M})<\mathfrak{d}=\mathfrak{c}$. △ Less

Submitted 27 January, 2024; originally announced January 2024.

Comments: 35 pages and 13 figures

MSC Class: 03E05; 03E17; 03E35; 03E40

The measure algebra adding $θ$-many random reals is $θ$-FAM-linked

Authors: Diego A. Mejía, Andrés F. Uribe-Zapata

Abstract: The notion of $θ$-FAM-linkedness, introduced in the second author's master thesis, is a formalization of the notion of strong FAM limits for intervals, whose initial form and applications have appeared in the work of Saharon Shelah, Jakob Kellner, and Anda Tănasie, for controlling cardinals characteristics of the continuum in ccc forcing extensions. This generalization was successful in such a the… ▽ More The notion of $θ$-FAM-linkedness, introduced in the second author's master thesis, is a formalization of the notion of strong FAM limits for intervals, whose initial form and applications have appeared in the work of Saharon Shelah, Jakob Kellner, and Anda Tănasie, for controlling cardinals characteristics of the continuum in ccc forcing extensions. This generalization was successful in such a thesis to establish a general theory of iterated forcing using finitely additive measures. In this paper, using probability theory tools developed in the same thesis, we refine Saharon Shelah's proof of the fact that random forcing is $σ$-FAM-linked and prove that any complete Boolean algebra with a strictly positive probability measure satisfying the $θ$-density property is $θ$-FAM-linked. As a consequence, we get a new collection of examples of $θ$-FAM-linked forcing notions: the measure algebra adding $θ$-many random reals. △ Less

Submitted 9 February, 2024; v1 submitted 20 December, 2023; originally announced December 2023.

Comments: 22 pages, 2 figures, Submitted

MSC Class: 03E40; 28A60; 28A12; 60E05; 06E99

Accurate estimation of functional brain connectivity via Bayesian ICA with population-derived priors

Authors: Amanda Mejia, David Bolin, Daniel Spencer, Ani Eloyan

Abstract: Estimation of brain functional connectivity (FC) is essential for understanding the functional organization in the brain and for identifying changes occurring due to neurological disorders, development, treatment, and other phenomena. Independent component analysis (ICA) is a matrix decomposition method that has been used extensively for estimation of brain functional networks and their FC. Howeve… ▽ More Estimation of brain functional connectivity (FC) is essential for understanding the functional organization in the brain and for identifying changes occurring due to neurological disorders, development, treatment, and other phenomena. Independent component analysis (ICA) is a matrix decomposition method that has been used extensively for estimation of brain functional networks and their FC. However, estimation of FC via ICA is often sub-optimal due to the use of ad-hoc methods or need for temporal dimension reduction prior to traditional ICA methods. Bayesian ICA methods can avoid dimension reduction, produce more accurate estimates, and facilitate inference via posterior distributions on the model parameters. In this paper, we propose a novel, computationally efficient Bayesian ICA method with population-derived priors on both the temporal covariance, representing FC, and the spatial components of the model. We propose two algorithms for parameter estimation: a Bayesian Expectation-Maximization algorithm with a Gibbs sampler at the E-step, and a more computationally efficient variational Bayes algorithm. Through extensive simulation studies using realistic fMRI data generation mechanisms, we evaluate the performance of the proposed methods and compare them with existing approaches. Finally, we perform a comprehensive evaluation of the proposed methods using fMRI data from over 400 healthy adults in the Human Connectome Project. Our analyses demonstrate that the proposed Bayesian ICA methods produce highly accurate measures of functional connectivity and spatial brain features. The proposed framework is computationally efficient and applicable to single-subject analysis, making it potentially clinically viable. △ Less

Submitted 7 November, 2023; originally announced November 2023.

Comments: 33 pages, 12 figures, plus appendix

A linearization map for genuine equivariant algebraic $K$-theory

Authors: Maxine Calle, David Chan, Andres Mejia

Abstract: We introduce a version of algebraic $K$-theory for coefficient systems of rings which is valued in genuine $G$-spectra for a finite group $G$. We use this construction to build a genuine $G$-spectrum $K_G(\underline{\mathbb{Z}[π_1(X)]})$ associated to a $G$-space $X$, which provides a home for equivariant versions of classical invariants like the Wall finiteness obstruction. We provide a compariso… ▽ More We introduce a version of algebraic $K$-theory for coefficient systems of rings which is valued in genuine $G$-spectra for a finite group $G$. We use this construction to build a genuine $G$-spectrum $K_G(\underline{\mathbb{Z}[π_1(X)]})$ associated to a $G$-space $X$, which provides a home for equivariant versions of classical invariants like the Wall finiteness obstruction. We provide a comparison between our $K$-theory spectrum and the equivariant $A$-theory of Malkiewich--Merling via a genuine equivariant linearization map. △ Less

Submitted 14 September, 2023; originally announced September 2023.

Comments: Comments welcome!

MSC Class: 55P91 (Primary) 19D10; 19L47 (Secondary)

Separating cardinal characteristics of the strong measure zero ideal

Authors: Jörg Brendle, Miguel A. Cardona, Diego A. Mejía

Abstract: Let $\mathcal{SN}$ be the $σ$-ideal of the strong measure zero sets of reals. We present general properties of forcing notions that allow to control of the additivity of $\mathcal{SN}$ after finite support iterations. This is applied to force that the four cardinal characteristics associated with $\mathcal{SN}$ are pairwise different: \[\mathrm{add}(\mathcal{SN})<\mathrm{cov}(\mathcal{SN})<\mathrm… ▽ More Let $\mathcal{SN}$ be the $σ$-ideal of the strong measure zero sets of reals. We present general properties of forcing notions that allow to control of the additivity of $\mathcal{SN}$ after finite support iterations. This is applied to force that the four cardinal characteristics associated with $\mathcal{SN}$ are pairwise different: \[\mathrm{add}(\mathcal{SN})<\mathrm{cov}(\mathcal{SN})<\mathrm{non}(\mathcal{SN})<\mathrm{cof}(\mathcal{SN}).\] Furthermore, we construct a forcing extension satisfying the above and Cichoń's maximum (i.e. that the non-dependent values in Cichoń's diagram are pairwise different). △ Less

Submitted 4 September, 2023; originally announced September 2023.

MSC Class: 03E17; 03E35; 03E40

brainlife.io: A decentralized and open source cloud platform to support neuroscience research

Authors: Soichi Hayashi, Bradley A. Caron, Anibal Sólon Heinsfeld, Sophia Vinci-Booher, Brent McPherson, Daniel N. Bullock, Giulia Bertò, Guiomar Niso, Sandra Hanekamp, Daniel Levitas, Kimberly Ray, Anne MacKenzie, Lindsey Kitchell, Josiah K. Leong, Filipi Nascimento-Silva, Serge Koudoro, Hanna Willis, Jasleen K. Jolly, Derek Pisner, Taylor R. Zuidema, Jan W. Kurzawski, Kyriaki Mikellidou, Aurore Bussalb, Christopher Rorden, Conner Victory , et al. (39 additional authors not shown)

Abstract: Neuroscience research has expanded dramatically over the past 30 years by advancing standardization and tool development to support rigor and transparency. Consequently, the complexity of the data pipeline has also increased, hindering access to FAIR (Findable, Accessible, Interoperabile, and Reusable) data analysis to portions of the worldwide research community. brainlife.io was developed to red… ▽ More Neuroscience research has expanded dramatically over the past 30 years by advancing standardization and tool development to support rigor and transparency. Consequently, the complexity of the data pipeline has also increased, hindering access to FAIR (Findable, Accessible, Interoperabile, and Reusable) data analysis to portions of the worldwide research community. brainlife.io was developed to reduce these burdens and democratize modern neuroscience research across institutions and career levels. Using community software and hardware infrastructure, the platform provides open-source data standardization, management, visualization, and processing and simplifies the data pipeline. brainlife.io automatically tracks the provenance history of thousands of data objects, supporting simplicity, efficiency, and transparency in neuroscience research. Here brainlife.io's technology and data services are described and evaluated for validity, reliability, reproducibility, replicability, and scientific utility. Using data from 4 modalities and 3,200 participants, we demonstrate that brainlife.io's services produce outputs that adhere to best practices in modern neuroscience research. △ Less

Submitted 11 August, 2023; v1 submitted 3 June, 2023; originally announced June 2023.

The Generalized Makeev Problem Revisited

Authors: Andres Mejia, Steven Simon, Jialin Zhang

Abstract: Based on a result of Makeev, in 2012 Blagojević and Karasev proposed the following problem: given any positive integers $m$ and $1\leq \ell\leq k$, find the minimum dimension $d=Δ(m;\ell/k)$ such that for any $m$ mass distributions on $\mathbb{R}^d$, there exist $k$ hyperplanes, any $\ell$ of which equipartition each mass. The $\ell=k$ case is a central question in geometric and topological combin… ▽ More Based on a result of Makeev, in 2012 Blagojević and Karasev proposed the following problem: given any positive integers $m$ and $1\leq \ell\leq k$, find the minimum dimension $d=Δ(m;\ell/k)$ such that for any $m$ mass distributions on $\mathbb{R}^d$, there exist $k$ hyperplanes, any $\ell$ of which equipartition each mass. The $\ell=k$ case is a central question in geometric and topological combinatorics which remains open except for few values of $m$ and $k$. For $\ell< k$ and arbitrary $m$, we establish new upper bounds on $Δ(m;\ell/k)$ when (1) $\ell=2$ and $k$ is arbitrary and (2) $\ell=3$ and $k=4$. When $\ell=k-1$ and $m+1$ is a power of two these bounds are nearly optimal and are exponentially smaller than the current best upper bounds when $\ell=k$. Similar remarks apply to our upper bounds when the hyperplanes are prescribed to be pairwise orthogonal. Lastly, we provide transversal extensions of our results along the lines recently established by Frick et al.: given $m$ families of compact convex sets in $\mathbb{R}^d$ such that no $2^\ell$ members of any family are pairwise disjoint, we show that every member of each family is pierced by the union of any $\ell$ of some collection of $k$ hyperplanes. △ Less

Submitted 11 March, 2024; v1 submitted 5 May, 2023; originally announced May 2023.

Comments: 17 pages. Final version, corrects typos

Localization and anti-localization cardinals

Authors: Miguel A. Cardona, Diego Alejandro Mejía

Abstract: This paper is intended to survey the basics of localization and anti-localization cardinals on the reals, and its interplay with notions and cardinal characteristics related to measure and category. This paper is intended to survey the basics of localization and anti-localization cardinals on the reals, and its interplay with notions and cardinal characteristics related to measure and category. △ Less

Submitted 4 May, 2023; originally announced May 2023.

Comments: 31 pages, 1 figure, survey paper

MSC Class: 03E17; 03E15;

Journal ref: Kyoto Daigaku Suurikaiseki Kenkyujo Kokyuroku 2023

A robust multivariate, non-parametric outlier identification method for scrubbing in fMRI

Authors: Fatma Parlak, Damon D. Pham, Amanda F. Mejia

Abstract: Functional magnetic resonance imaging (fMRI) data contain high levels of noise and artifacts. To avoid contamination of downstream analyses, fMRI-based studies must identify and remove these noise sources prior to statistical analysis. One common approach is the "scrubbing" of fMRI volumes that are thought to contain high levels of noise. However, existing scrubbing techniques are based on ad hoc… ▽ More Functional magnetic resonance imaging (fMRI) data contain high levels of noise and artifacts. To avoid contamination of downstream analyses, fMRI-based studies must identify and remove these noise sources prior to statistical analysis. One common approach is the "scrubbing" of fMRI volumes that are thought to contain high levels of noise. However, existing scrubbing techniques are based on ad hoc measures of signal change. We consider scrubbing via outlier detection, where volumes containing artifacts are considered multidimensional outliers. Robust multivariate outlier detection methods are proposed using robust distances (RDs), which are related to the Mahalanobis distance. These RDs have a known distribution when the data are i.i.d. normal, and that distribution can be used to determine a threshold for outliers where fMRI data violate these assumptions. Here, we develop a robust multivariate outlier detection method that is applicable to non-normal data. The objective is to obtain threshold values to flag outlying volumes based on their RDs. We propose two threshold candidates that embark on the same two steps, but the choice of which depends on a researcher's purpose. Our main steps are dimension reduction and selection, robust univariate outlier imputation to get rid of the effect of outliers on the distribution, and estimating an outlier threshold based on the upper quantile of the RD distribution without outliers. The first threshold candidate is an upper quantile of the empirical distribution of RDs obtained from the imputed data. The second threshold candidate calculates the upper quantile of the RD distribution that a nonparametric bootstrap uses to account for uncertainty in the empirical quantile. We compare our proposed fMRI scrubbing method to motion scrubbing, data-driven scrubbing, and restrictive parametric multivariate outlier detection methods. △ Less

Submitted 2 May, 2023; v1 submitted 28 April, 2023; originally announced April 2023.

More about the cofinality and the covering of the ideal of strong measure zero sets

Authors: Miguel A. Cardona, Diego A. Mejía

Abstract: We improve the previous work of Yorioka and the first author about the combinatorics of the ideal $\mathcal{SN}$ of strong measure zero sets of reals. We refine the notions of dominating systems of the first author and introduce the new combinatorial principle $\mathrm{DS}(δ)$ that helps to find simple conditions to deduce $\mathfrak{d}_κ\leq \mathrm{cof}(\mathcal{SN})$ (where $\mathfrak{d}_κ$ is… ▽ More We improve the previous work of Yorioka and the first author about the combinatorics of the ideal $\mathcal{SN}$ of strong measure zero sets of reals. We refine the notions of dominating systems of the first author and introduce the new combinatorial principle $\mathrm{DS}(δ)$ that helps to find simple conditions to deduce $\mathfrak{d}_κ\leq \mathrm{cof}(\mathcal{SN})$ (where $\mathfrak{d}_κ$ is the dominating number on $κ^κ$). In addition, we find a new upper bound of $\mathrm{cof}(\mathcal{SN})$ by using products of relational systems and cardinal characteristics associated with Yorioka ideals. In addition, we dissect and generalize results from Pawlikowski to force upper bounds of the covering of $\mathcal{SN}$, particularly for finite support iterations of precaliber posets. Finally, as applications of our main theorems, we prove consistency results about the cardinal characteristics associated with $\mathcal{SN}$ and the principle $\mathrm{DS}(δ)$. For example, we show that $\mathrm{cov}(\mathcal{SN})<\mathrm{non}(\mathcal{SN})=\mathfrak{c}<\mathrm{cof}(\mathcal{SN})$ holds in Cohen model, and we refine a result (and the proof) of the first author about the consistency of $\mathrm{cov}(\mathcal{SN})<\mathrm{non}(\mathcal{SN})<\mathrm{cof}(\mathcal{SN})$, with $\mathfrak{c}$ in any desired position with respect to $\mathrm{cof}(\mathcal{SN})$, and the improvement that $\mathrm{non}(\mathcal{SN})$ can be singular here. △ Less

Submitted 26 April, 2023; v1 submitted 25 April, 2023; originally announced April 2023.

Comments: 33 pages, 2 figures

MSC Class: 03E17; 03E10; 03E35; 03E40

Lebesgue measure zero modulo ideals on the natural numbers

Authors: Viera Gavalová, Diego Alejandro Mejía

Abstract: We propose a reformulation of the ideal $\mathcal{N}$ of Lebesgue measure zero sets of reals modulo an ideal $J$ on $ω$, which we denote by $\mathcal{N}_J$. In the same way, we reformulate the ideal $\mathcal{E}$ generated by $F_σ$ measure zero sets of reals modulo $J$, which we denote by $\mathcal{N}^*_J$. We show that these are $σ$-ideals and that $\mathcal{N}_J=\mathcal{N}$ iff $J$ has the Bair… ▽ More We propose a reformulation of the ideal $\mathcal{N}$ of Lebesgue measure zero sets of reals modulo an ideal $J$ on $ω$, which we denote by $\mathcal{N}_J$. In the same way, we reformulate the ideal $\mathcal{E}$ generated by $F_σ$ measure zero sets of reals modulo $J$, which we denote by $\mathcal{N}^*_J$. We show that these are $σ$-ideals and that $\mathcal{N}_J=\mathcal{N}$ iff $J$ has the Baire property, which in turn is equivalent to $\mathcal{N}^*_J=\mathcal{E}$. Moreover, we prove that $\mathcal{N}_J$ does not contain co-meager sets and $\mathcal{N}^*_J$ contains non-meager sets when $J$ does not have the Baire property. We also prove a deep connection between these ideals modulo $J$ and the notion of nearly coherence of filters (or ideals). We also study the cardinal characteristics associated with $\mathcal{N}_J$ and $\mathcal{N}^*_J$. We show their position with respect to Cichoń's diagram and prove consistency results in connection with other very classical cardinal characteristics of the continuum, leaving just very few open questions. To achieve this, we discovered a new characterization of $\mathrm{add}(\mathcal{N})$ and $\mathrm{cof}(\mathcal{N})$. We also show that, in Cohen model, we can obtain many different values to the cardinal characteristics associated with our new ideals. △ Less

Submitted 3 March, 2023; v1 submitted 9 December, 2022; originally announced December 2022.

Comments: 34 pages, 6 figures. In this version we correct the results about sum of ideals, and the dual of the KB order is reversed. Some typos were corrected

MSC Class: 28A05; 03E17; 03E35

Fast Bayesian estimation of brain activation with cortical surface fMRI data using EM

Authors: Daniel A. Spencer, David Bolin, Amanda F. Mejia

Abstract: Task functional magnetic resonance imaging (fMRI) is a type of neuroimaging data used to identify areas of the brain that activate during specific tasks or stimuli. These data are conventionally modeled using a massive univariate approach across all data locations, which ignores spatial dependence at the cost of model power. We previously developed and validated a spatial Bayesian model leveraging… ▽ More Task functional magnetic resonance imaging (fMRI) is a type of neuroimaging data used to identify areas of the brain that activate during specific tasks or stimuli. These data are conventionally modeled using a massive univariate approach across all data locations, which ignores spatial dependence at the cost of model power. We previously developed and validated a spatial Bayesian model leveraging dependencies along the cortical surface of the brain in order to improve accuracy and power. This model utilizes stochastic partial differential equation spatial priors with sparse precision matrices to allow for appropriate modeling of spatially-dependent activations seen in the neuroimaging literature, resulting in substantial increases in model power. Our original implementation relies on the computational efficiencies of the integrated nested Laplace approximation (INLA) to overcome the computational challenges of analyzing high-dimensional fMRI data while avoiding issues associated with variational Bayes implementations. However, this requires significant memory resources, extra software, and software licenses to run. In this article, we develop an exact Bayesian analysis method for the general linear model, employing an efficient expectation-maximization algorithm to find maximum a posteriori estimates of task-based regressors on cortical surface fMRI data. Through an extensive simulation study of cortical surface-based fMRI data, we compare our proposed method to the existing INLA implementation, as well as a conventional massive univariate approach employing ad-hoc spatial smoothing. We also apply the method to task fMRI data from the Human Connectome Project and show that our proposed implementation produces similar results to the validated INLA implementation. Both the INLA and EM-based implementations are available through our open-source BayesfMRI R package. △ Less

Submitted 2 November, 2022; originally announced November 2022.

Comments: 29 pages, 10 figures. arXiv admin note: text overlap with arXiv:2203.00053

Sources of residual autocorrelation in multiband task fMRI and strategies for effective mitigation

Authors: Fatma Parlak, Damon D. Pham, Daniel A. Spencer, Robert C. Welsh, Amanda F. Mejia

Abstract: In task fMRI analysis, OLS is typically used to estimate task-induced activation in the brain. Since task fMRI residuals often exhibit temporal autocorrelation, it is common practice to perform prewhitening prior to OLS to satisfy the assumption of residual independence, equivalent to GLS. While theoretically straightforward, a major challenge in prewhitening in fMRI is accurately estimating the r… ▽ More In task fMRI analysis, OLS is typically used to estimate task-induced activation in the brain. Since task fMRI residuals often exhibit temporal autocorrelation, it is common practice to perform prewhitening prior to OLS to satisfy the assumption of residual independence, equivalent to GLS. While theoretically straightforward, a major challenge in prewhitening in fMRI is accurately estimating the residual autocorrelation at each location of the brain. Assuming a global autocorrelation model, as in several fMRI software programs, may under- or over-whiten particular regions and fail to achieve nominal false positive control across the brain. Faster multiband acquisitions require more sophisticated models to capture autocorrelation, making prewhitening more difficult. These issues are becoming more critical now because of a trend towards subject-level analysis, where prewhitening has a greater impact than in group-average analyses. In this article, we first thoroughly examine the sources of residual autocorrelation in multiband task fMRI. We find that residual autocorrelation varies spatially throughout the cortex and is affected by the task, the acquisition method, modeling choices, and individual differences. Second, we evaluate the ability of different AR-based prewhitening strategies to effectively mitigate autocorrelation and control false positives. We find that allowing the prewhitening filter to vary spatially is the most important factor for successful prewhitening, even more so than increasing AR model order. To overcome the computational challenge associated with spatially variable prewhitening, we developed a computationally efficient R implementation based on parallelization and fast C++ backend code. This implementation is included in the open source R package BayesfMRI. △ Less

Submitted 22 September, 2022; v1 submitted 14 September, 2022; originally announced September 2022.

Comments: 26 pages with 1 page of appendix, 11 figures with 1 figure of supplementary figure

Forcing constellations of Cichoń's diagram by using the Tukey order

Authors: Miguel A. Cardona, Diego A. Mejía

Abstract: We use known finite support iteration techniques to present various examples of models where several cardinal characteristics of Cichoń's diagram are pairwise different. We show some simple examples forcing the left-hand side of Cichoń's diagram, and present the technique of restriction to models to force Cichoń's maximum (original from Goldstern, Kellner, Shelah, and the second author). We focus… ▽ More We use known finite support iteration techniques to present various examples of models where several cardinal characteristics of Cichoń's diagram are pairwise different. We show some simple examples forcing the left-hand side of Cichoń's diagram, and present the technique of restriction to models to force Cichoń's maximum (original from Goldstern, Kellner, Shelah, and the second author). We focus on how the values forced in all the constellations are obtained via the Tukey order. △ Less

Submitted 1 March, 2022; originally announced March 2022.

Comments: 34 pages, 34 figures. To appear in Kyoto Daigaku Surikaiseki Kenkyujo Kokyuroku

MSC Class: 03E17; 03E35; 03E40

Fast Bayesian estimation of brain activation with cortical surface and subcortical fMRI data using EM

Authors: Daniel Spencer, David Bolin, Mary Beth Nebel, Amanda Mejia

Abstract: Analysis of brain imaging scans is critical to understanding the way the human brain functions, which can be leveraged to treat injuries and conditions that affect the quality of life for a significant portion of the human population. In particular, functional magnetic resonance imaging (fMRI) scans give detailed data on a living subject at high spatial and temporal resolutions. Due to the high co… ▽ More Analysis of brain imaging scans is critical to understanding the way the human brain functions, which can be leveraged to treat injuries and conditions that affect the quality of life for a significant portion of the human population. In particular, functional magnetic resonance imaging (fMRI) scans give detailed data on a living subject at high spatial and temporal resolutions. Due to the high cost involved in the collection of these scans, robust methods of analysis are of critical importance in order to produce meaningful inference. Bayesian methods in particular allow for the inclusion of expected behavior from prior study into an analysis, increasing the power of the results while circumventing problems that arise in classical analyses, including the effects of smoothing results and sensitivity to multiple comparison testing corrections. Recent development of a surface-based spatial Bayesian general linear model for cortical surface fMRI (cs-fMRI) data provides the desired power increase in task fMRI data using stochastic partial differential equation (SPDE) priors. This model relies on the computational efficiencies of the integrated nested Laplace approximation (INLA) to perform powerful analyses that have been validated to outperform classical analyses. In this article, we develop an exact Bayesian analysis method for the GLM, employing an expectation-maximization (EM) algorithm to find maximum a posteriori (MAP) estimates of task-based regressors on cs-fMRI and subcortical fMRI data while using minimal computational resources. Our proposed method is compared to the INLA implementation of the Bayesian GLM, as well as a classical GLM on simulated data. A validation of the method on data from the Human Connectome Project is also provided. △ Less

Submitted 28 February, 2022; originally announced March 2022.

Comments: 19 pages, 5 figures

Some notes about power residues modulo prime

Authors: Yuki Kiriu, Diego A. Mejía

Abstract: Let $q$ be a prime. We classify the odd primes $p\neq q$ such that the equation $x^2\equiv q\pmod{p}$ has a solution, concretely, we find a subgroup $\mathbb{L}_{4q}$ of the multiplicative group $\mathbb{U}_{4q}$ of integers relatively prime with $4q$ (modulo $4q$) such that $x^2\equiv q\pmod{p}$ has a solution iff $p\equiv c\pmod{4q}$ for some $c\in\mathbb{L}_{4q}$. Moreover, $\mathbb{L}_{4q}$ is… ▽ More Let $q$ be a prime. We classify the odd primes $p\neq q$ such that the equation $x^2\equiv q\pmod{p}$ has a solution, concretely, we find a subgroup $\mathbb{L}_{4q}$ of the multiplicative group $\mathbb{U}_{4q}$ of integers relatively prime with $4q$ (modulo $4q$) such that $x^2\equiv q\pmod{p}$ has a solution iff $p\equiv c\pmod{4q}$ for some $c\in\mathbb{L}_{4q}$. Moreover, $\mathbb{L}_{4q}$ is the only subgroup of $\mathbb{U}_{4q}$ of half order containing $-1$. Considering the ring $\mathbb{Z}[\sqrt{2}]$, for any odd prime $p$ it is known that the equation $x^2\equiv 2\pmod{p}$ has a solution iff the equation $x^2-2y^2=p$ has a solution in the integers. We ask whether this can be extended in the context of $\mathbb{Z}[\sqrt[n]{2}]$ with $n\geq 2$, namely: for any prime $p\equiv 1\pmod{n}$, is it true that $x^n\equiv 2\pmod{p}$ has a solution iff the equation $D^2_n(x_0,\ldots,x_{n-1})=p$ has a solution in the integers? Here $D^2_n(\bar{x})$ represents the norm of the field extension $\mathbb{Q}(\sqrt[n]{2})$ of $\mathbb{Q}$. We solve some weak versions of this problem, where equality with $p$ is replaced by $0\pmod{p}$ (divisible by $p$), and the "norm" $D^r_n(\bar{x})$ is considered for any $r\in\mathbb{Z}$ in the place of $2$. △ Less

Submitted 17 March, 2022; v1 submitted 7 January, 2022; originally announced January 2022.

Comments: 15 pages

MSC Class: 11A15; 11C20; 11R04

Continuum Many Different Things: Localisation, Anti-Localisation and Yorioka Ideals

Authors: Miguel Antonio Cardona, Lukas Daniel Klausner, Diego Alejandro Mejía

Abstract: Combining creature forcing approaches from arXiv:1003.3425 and arXiv:1402.0367, we show that, under CH, there is a proper $ω^ω$-bounding poset with $\aleph_2$-cc that forces continuum many pairwise different cardinal characteristics, parametrised by reals, for each one of the following six types: uniformity and covering numbers of Yorioka ideals as well as both kinds of localisation and anti-local… ▽ More Combining creature forcing approaches from arXiv:1003.3425 and arXiv:1402.0367, we show that, under CH, there is a proper $ω^ω$-bounding poset with $\aleph_2$-cc that forces continuum many pairwise different cardinal characteristics, parametrised by reals, for each one of the following six types: uniformity and covering numbers of Yorioka ideals as well as both kinds of localisation and anti-localisation cardinals, respectively. This answers several open questions from arXiv:1805.11005. △ Less

Submitted 3 May, 2024; v1 submitted 22 October, 2021; originally announced October 2021.

Comments: 65 pages, 6 figures

MSC Class: 03E17 (Primary) 03E05; 03E35; 03E40 (Secondary)

Journal ref: Ann. Pure Appl. Log. 175 (7), 2024

Longitudinal surface-based spatial Bayesian GLM reveals complex trajectories of motor neurodegeneration in ALS

Authors: Amanda F. Mejia, Vincent Koppelmans, Laura Jelsone-Swain, Sanjay Kalra, Robert C. Welsh

Abstract: Longitudinal fMRI datasets hold great promise for the study of neurodegenerative diseases, but realizing their potential depends on extracting accurate fMRI-based brain measures in individuals over time. This is especially true for rare, heterogeneous and/or rapidly progressing diseases, which often involve small samples whose functional features may vary dramatically across subjects and over time… ▽ More Longitudinal fMRI datasets hold great promise for the study of neurodegenerative diseases, but realizing their potential depends on extracting accurate fMRI-based brain measures in individuals over time. This is especially true for rare, heterogeneous and/or rapidly progressing diseases, which often involve small samples whose functional features may vary dramatically across subjects and over time, making traditional group-difference analyses of limited utility. One such disease is ALS, which results in extreme motor function loss and eventual death. Here, we analyze a rich longitudinal dataset containing 190 motor task fMRI scans from 16 ALS patients and 22 age-matched HCs. We propose a novel longitudinal extension to our cortical surface-based spatial Bayesian GLM, which has high power and precision to detect activations in individuals. Using a series of longitudinal mixed-effects models to subsequently study the relationship between activation and disease progression, we observe an inverted U-shaped trajectory: at relatively mild disability we observe enlarging activations, while at higher disability we observe severely diminished activation, reflecting progression toward complete motor function loss. We observe distinct trajectories depending on clinical progression rate, with faster progressors exhibiting more extreme hyper-activation and subsequent hypo-activation. These differential trajectories suggest that initial hyper-activation is likely attributable to loss of inhibitory neurons. By contrast, earlier studies employing more limited sampling designs and using traditional group-difference analysis approaches were only able to observe the initial hyper-activation, which was assumed to be due to a compensatory process. This study provides a first example of how surface-based spatial Bayesian modeling furthers scientific understanding of neurodegenerative disease. △ Less

Submitted 4 October, 2021; originally announced October 2021.

Less is more: balancing noise reduction and data retention in fMRI with data-driven scrubbing

Authors: Damon Pham, Daniel McDonald, Lei Ding, Mary Beth Nebel, Amanda Mejia

Abstract: Artifacts in functional MRI (fMRI) data cause deviations from common distributional assumptions, introduce spatial and temporal outliers, and reduce the signal-to-noise ratio of the data -- all of which can have negative consequences for downstream statistical analysis. Scrubbing is a technique for excluding fMRI volumes thought to be contaminated by artifacts and generally comes in two flavors. M… ▽ More Artifacts in functional MRI (fMRI) data cause deviations from common distributional assumptions, introduce spatial and temporal outliers, and reduce the signal-to-noise ratio of the data -- all of which can have negative consequences for downstream statistical analysis. Scrubbing is a technique for excluding fMRI volumes thought to be contaminated by artifacts and generally comes in two flavors. Motion scrubbing based on subject head motion-derived measures is popular but suffers from a number of drawbacks, especially high rates of censoring of individual volumes and entire subjects. Alternatively, data-driven scrubbing methods like DVARS are based on observed noise in the processed fMRI timeseries and may avoid some of these issues. Here we propose "projection scrubbing", a novel data-driven scrubbing method based on a statistical outlier detection framework and strategic dimension reduction, including independent component analysis (ICA), to isolate artifactual variation. We undertake a comprehensive comparison of motion scrubbing with data-driven projection scrubbing and DVARS. We argue that an appropriate metric for the success of scrubbing is maximal data retention subject to reasonable performance on typical benchmarks of functional connectivity. We find that stringent motion scrubbing yields worsened validity, worsened reliability, and produced small improvements to fingerprinting. Meanwhile, data-driven scrubbing methods tend to yield greater improvements to fingerprinting while not generally worsening validity or reliability. Importantly, however, data-driven scrubbing excludes a fraction of the number of volumes or entire sessions compared to motion scrubbing. The ability of data-driven fMRI scrubbing to improve data retention without negatively impacting the quality of downstream analysis has major implications for sample sizes in population neuroscience research. △ Less

Submitted 16 February, 2023; v1 submitted 31 July, 2021; originally announced August 2021.

Comments: 74 pages

ciftiTools: A package for reading, writing, visualizing and manipulating CIFTI files in R

Authors: Damon Pham, John Muschelli, Amanda Mejia

Abstract: There is significant interest in adopting surface- and grayordinate-based analysis of MR data for a number of reasons, including improved whole-cortex visualization, the ability to perform surface smoothing to avoid issues associated with volumetric smoothing, improved inter-subject alignment, and reduced dimensionality. The CIFTI grayordinate file format introduced by the Human Connectome Project… ▽ More There is significant interest in adopting surface- and grayordinate-based analysis of MR data for a number of reasons, including improved whole-cortex visualization, the ability to perform surface smoothing to avoid issues associated with volumetric smoothing, improved inter-subject alignment, and reduced dimensionality. The CIFTI grayordinate file format introduced by the Human Connectome Project further advances grayordinate-based analysis by combining gray matter data from the left and right cortical hemispheres with gray matter data from the subcortex and cerebellum into a single file. Analyses performed in grayordinate space are well-suited to leverage information shared across the brain and across subjects through both traditional analysis techniques and more advanced statistical methods, including Bayesian methods. The R statistical environment facilitates use of advanced statistical techniques, yet little support for grayordinates analysis has been previously available in R. Indeed, few comprehensive programmatic tools for working with CIFTI files have been available in any language. Here, we present the ciftiTools R package, which provides a unified environment for reading, writing, visualizing, and manipulating CIFTI files and related data formats. We illustrate ciftiTools' convenient and user-friendly suite of tools for working with grayordinates and surface geometry data in R, and we describe how ciftiTools is being utilized to advance the statistical analysis of grayordinate-based functional MRI data. △ Less

Submitted 18 January, 2022; v1 submitted 21 June, 2021; originally announced June 2021.

Comments: 44 pages, 6 figures

Spatial Bayesian GLM on the cortical surface produces reliable task activations in individuals and groups

Authors: Daniel Spencer, Yu, Yue, David Bolin, Sarah Ryan, Amanda F. Mejia

Abstract: The general linear model (GLM) is a widely popular and convenient tool for estimating the functional brain response and identifying areas of significant activation during a task or stimulus. However, the classical GLM is based on a massive univariate approach that does not explicitly leverage the similarity of activation patterns among neighboring brain locations. As a result, it tends to produce… ▽ More The general linear model (GLM) is a widely popular and convenient tool for estimating the functional brain response and identifying areas of significant activation during a task or stimulus. However, the classical GLM is based on a massive univariate approach that does not explicitly leverage the similarity of activation patterns among neighboring brain locations. As a result, it tends to produce noisy estimates and be underpowered to detect significant activations, particularly in individual subjects and small groups. A recent alternative, a cortical surface-based spatial Bayesian GLM, leverages spatial dependencies among neighboring cortical vertices to produce more accurate estimates and areas of functional activation. The spatial Bayesian GLM can be applied to individual and group-level analysis. In this study, we assess the reliability and power of individual and group-average measures of task activation produced via the surface-based spatial Bayesian GLM. We analyze motor task data from 45 subjects in the Human Connectome Project (HCP) and HCP Retest datasets. We also extend the model to multi-run analysis and employ subject-specific cortical surfaces rather than surfaces inflated to a sphere for more accurate distance-based modeling. Results show that the surface-based spatial Bayesian GLM produces highly reliable activations in individual subjects and is powerful enough to detect trait-like functional topologies. Additionally, spatial Bayesian modeling enhances reliability of group-level analysis even in moderately sized samples (n=45). The power of the spatial Bayesian GLM to detect activations above a scientifically meaningful effect size is nearly invariant to sample size, exhibiting high power even in small samples (n=10). The spatial Bayesian GLM is computationally efficient in individuals and groups and is convenient to implement with the open-source BayesfMRI R package. △ Less

Submitted 27 October, 2021; v1 submitted 11 June, 2021; originally announced June 2021.

Comments: 44 pages, 24 figures

Regional Flood Risk Projections under Climate Change

Authors: Sanjib Sharma, Michael Gomez, Klaus Keller, Robert Nicholas, Alfonso Mejia

Abstract: Flood-related risks to people and property are expected to increase in the future due to environmental and demographic changes. It is important to quantify and effectively communicate flood hazards and exposure to inform the design and implementation of flood risk management strategies. Here we develop an integrated modeling framework to assess projected changes in regional riverine flood inundati… ▽ More Flood-related risks to people and property are expected to increase in the future due to environmental and demographic changes. It is important to quantify and effectively communicate flood hazards and exposure to inform the design and implementation of flood risk management strategies. Here we develop an integrated modeling framework to assess projected changes in regional riverine flood inundation risks. The framework samples climate model outputs to force a hydrologic model and generate streamflow projections. Together with a statistical and hydraulic model, we use the projected streamflow to map the uncertainty of flood inundation projections for extreme flood events. We implement the framework for rivers across the state of Pennsylvania, United States. Our projections suggest that flood hazards and exposure across Pennsylvania are overall increasing with future climate change. Specific regions, including the main stem Susquehanna River, lower portion of the Allegheny basin and central portion of Delaware River basin, demonstrate higher flood inundation risks. In our analysis, the climate uncertainty dominates the overall uncertainty surrounding the flood inundation projection chain. The combined hydrologic and hydraulic uncertainties can account for as much as 37% of the total uncertainty. We discuss how this framework can provide regional and dynamic flood-risk assessments and help to inform the design of risk-management strategies. △ Less

Submitted 9 October, 2020; originally announced October 2020.

A general approach to bridge the reality-gap

Authors: Michael Lomnitz, Zigfried Hampel-Arias, Nina Lopatina, Felipe A. Mejia

Abstract: Employing machine learning models in the real world requires collecting large amounts of data, which is both time consuming and costly to collect. A common approach to circumvent this is to leverage existing, similar data-sets with large amounts of labelled data. However, models trained on these canonical distributions do not readily transfer to real-world ones. Domain adaptation and transfer lear… ▽ More Employing machine learning models in the real world requires collecting large amounts of data, which is both time consuming and costly to collect. A common approach to circumvent this is to leverage existing, similar data-sets with large amounts of labelled data. However, models trained on these canonical distributions do not readily transfer to real-world ones. Domain adaptation and transfer learning are often used to breach this "reality gap", though both require a substantial amount of real-world data. In this paper we discuss a more general approach: we propose learning a general transformation to bring arbitrary images towards a canonical distribution where we can naively apply the trained machine learning models. This transformation is trained in an unsupervised regime, leveraging data augmentation to generate off-canonical examples of images and training a Deep Learning model to recover their original counterpart. We quantify the performance of this transformation using pre-trained ImageNet classifiers, demonstrating that this procedure can recover half of the loss in performance on the distorted data-set. We then validate the effectiveness of this approach on a series of pre-trained ImageNet models on a real world data set collected by printing and photographing images in different lighting conditions. △ Less

Submitted 3 September, 2020; originally announced September 2020.

Comments: 8 pages, 4 figures, 2 tables

Preservation of splitting families and cardinal characteristics of the continuum

Authors: Martin Goldstern, Jakob Kellner, Diego A. Mejía, Saharon Shelah

Abstract: We show how to construct, via forcing, splitting families than are preserved by a certain type of finite support iterations. As an application, we construct a model where 15 classical characteristics of the continuum are pairwise different, concretely: the 10 (non-dependent) entries in Cichoń's diagram, $\mathfrak{m}(2\text{-Knaster})$, $\mathfrak{p}$, $\mathfrak{h}$, the splitting number… ▽ More We show how to construct, via forcing, splitting families than are preserved by a certain type of finite support iterations. As an application, we construct a model where 15 classical characteristics of the continuum are pairwise different, concretely: the 10 (non-dependent) entries in Cichoń's diagram, $\mathfrak{m}(2\text{-Knaster})$, $\mathfrak{p}$, $\mathfrak{h}$, the splitting number $\mathfrak{s}$ and the rea** number $\mathfrak{r}$. △ Less

Submitted 16 April, 2024; v1 submitted 27 July, 2020; originally announced July 2020.

Comments: Section 2 was modified to correct a mistake in the proof of the existence of a suitable bi-graph

Report number: Sh:1199 MSC Class: 03E17; 03E35; 03E40

Journal ref: Israel Journal of Mathematics, volume 246, pages 73-129, 2021

Controlling cardinal characteristics without adding reals

Authors: Martin Goldstern, Jakob Kellner, Diego A. Mejía, Saharon Shelah

Abstract: We investigate the behavior of cardinal characteristics of the reals under extensions that do not add new ${<}κ$-sequences (for some regular $κ$). As an application, we show that consistently the following cardinal characteristics can be different: The ("independent") characteristics in Cichoń's diagram, plus $\aleph_1<\mathfrak m<\mathfrak p<\mathfrak h<\mathrm{add}(\mathcal{N})$. (So we get thir… ▽ More We investigate the behavior of cardinal characteristics of the reals under extensions that do not add new ${<}κ$-sequences (for some regular $κ$). As an application, we show that consistently the following cardinal characteristics can be different: The ("independent") characteristics in Cichoń's diagram, plus $\aleph_1<\mathfrak m<\mathfrak p<\mathfrak h<\mathrm{add}(\mathcal{N})$. (So we get thirteen different values, including $\aleph_1$ and continuum). We also give constructions to alternatively separate other MA-numbers (instead of $\mathfrak m$), namely: MA for $k$-Knaster from MA for $k+1$-Knaster; and MA for the union of all $k$-Knaster forcings from MA for precaliber. △ Less

Submitted 14 May, 2021; v1 submitted 15 May, 2020; originally announced June 2020.

Comments: This is a variant of arXiv:1904.02617 which does not require large cardinals, as it it based on arXiv:1906.06608 instead of arXiv:1708.03691

Report number: Sh:1166 MSC Class: 03E17; 03E35

Journal ref: Journal of Mathematical Logic (online ready), 2021

A spatial template independent component analysis model for subject-level brain network estimation and inference

Authors: Amanda F. Mejia, David Bolin, Yu Ryan Yue, Jiongran Wang, Brian S. Caffo, Mary Beth Nebel

Abstract: Independent component analysis is commonly applied to functional magnetic resonance imaging (fMRI) data to extract independent components (ICs) representing functional brain networks. While ICA produces reliable group-level estimates, single-subject ICA often produces noisy results. Template ICA (tICA) is a hierarchical ICA model using empirical population priors to produce reliable subject-level… ▽ More Independent component analysis is commonly applied to functional magnetic resonance imaging (fMRI) data to extract independent components (ICs) representing functional brain networks. While ICA produces reliable group-level estimates, single-subject ICA often produces noisy results. Template ICA (tICA) is a hierarchical ICA model using empirical population priors to produce reliable subject-level IC estimates. However, this and other hierarchical ICA models assume unrealistically that subject effects are spatially independent. Here, we propose spatial template ICA (stICA), which incorporates spatial process priors into tICA. This results in greater estimation efficiency of ICs and subject effects. Additionally, the joint posterior distribution can be used to identify engaged areas using an excursions set approach. By leveraging spatial dependencies and avoiding massive multiple comparisons, stICA has high power to detect true effects. We derive an efficient expectation-maximization algorithm to obtain maximum likelihood estimates of the model parameters and posterior moments of the latent fields. Based on analysis of simulated data and fMRI data from the Human Connectome Project, we find that stICA produces estimates that are more accurate and reliable than benchmark approaches, and identifies larger and more reliable areas of engagement. The algorithm is quite tractable, achieving convergence within 7 hours in our fMRI analysis. △ Less

Submitted 4 June, 2020; v1 submitted 27 May, 2020; originally announced May 2020.

Comments: 32 pages, 16 figures

Projecting Flood-Inducing Precipitation with a Bayesian Analogue Model

Authors: Gregory P. Bopp, Benjamin A. Shaby, Chris E. Forest, Alfonso Mejía

Abstract: The hazard of pluvial flooding is largely influenced by the spatial and temporal dependence characteristics of precipitation. When extreme precipitation possesses strong spatial dependence, the risk of flooding is amplified due to catchment factors that cause runoff accumulation such as topography. Temporal dependence can also increase flood risk as storm water drainage systems operating at capaci… ▽ More The hazard of pluvial flooding is largely influenced by the spatial and temporal dependence characteristics of precipitation. When extreme precipitation possesses strong spatial dependence, the risk of flooding is amplified due to catchment factors that cause runoff accumulation such as topography. Temporal dependence can also increase flood risk as storm water drainage systems operating at capacity can be overwhelmed by heavy precipitation occurring over multiple days. While transformed Gaussian processes are common choices for modeling precipitation, their weak tail dependence may lead to underestimation of flood risk. Extreme value models such as the generalized Pareto processes for threshold exceedances and max-stable models are attractive alternatives, but are difficult to fit when the number of observation sites is large, and are of little use for modeling the bulk of the distribution, which may also be of interest to water management planners. While the atmospheric dynamics governing precipitation are complex and difficult to fully incorporate into a parsimonious statistical model, non-mechanistic analogue methods that approximate those dynamics have proven to be promising approaches to capturing the temporal dependence of precipitation. In this paper, we present a Bayesian analogue method that leverages large, synoptic-scale atmospheric patterns to make precipitation forecasts. Changing spatial dependence across varying intensities is modeled as a mixture of spatial Student-t processes that can accommodate both strong and weak tail dependence. The proposed model demonstrates improved performance at capturing the distribution of extreme precipitation over Community Atmosphere Model (CAM) 5.2 forecasts. △ Less

Submitted 13 November, 2019; originally announced November 2019.

Reducing audio membership inference attack accuracy to chance: 4 defenses

Authors: Michael Lomnitz, Nina Lopatina, Paul Gamble, Zigfried Hampel-Arias, Lucas Tindall, Felipe A. Mejia, Maria Alejandra Barrios

Abstract: It is critical to understand the privacy and robustness vulnerabilities of machine learning models, as their implementation expands in scope. In membership inference attacks, adversaries can determine whether a particular set of data was used in training, putting the privacy of the data at risk. Existing work has mostly focused on image related tasks; we generalize this type of attack to speaker i… ▽ More It is critical to understand the privacy and robustness vulnerabilities of machine learning models, as their implementation expands in scope. In membership inference attacks, adversaries can determine whether a particular set of data was used in training, putting the privacy of the data at risk. Existing work has mostly focused on image related tasks; we generalize this type of attack to speaker identification on audio samples. We demonstrate attack precision of 85.9\% and recall of 90.8\% for LibriSpeech, and 78.3\% precision and 90.7\% recall for VOiCES (Voices Obscured in Complex Environmental Settings). We find that implementing defenses such as prediction obfuscation, defensive distillation or adversarial training, can reduce attack accuracy to chance. △ Less

Submitted 31 October, 2019; originally announced November 2019.

Comments: 7 pages, 2 figures, 7 tables

Template Independent Component Analysis: Targeted and Reliable Estimation of Subject-level Brain Networks using Big Data Population Priors

Authors: Amanda F. Mejia, Mary Beth Nebel, Yikai Wang, Brian S. Caffo, Ying Guo

Abstract: Large brain imaging databases contain a wealth of information on brain organization in the populations they target, and on individual variability. While such databases have been used to study group-level features of populations directly, they are currently underutilized as a resource to inform single-subject analysis. Here, we propose leveraging the information contained in large functional magnet… ▽ More Large brain imaging databases contain a wealth of information on brain organization in the populations they target, and on individual variability. While such databases have been used to study group-level features of populations directly, they are currently underutilized as a resource to inform single-subject analysis. Here, we propose leveraging the information contained in large functional magnetic resonance imaging (fMRI) databases by establishing population priors to employ in an empirical Bayesian framework. We focus on estimation of brain networks as source signals in independent component analysis (ICA). We formulate a hierarchical "template" ICA model where source signals---including known population brain networks and subject-specific signals---are represented as latent variables. For estimation, we derive an expectation maximization (EM) algorithm having an explicit solution. However, as this solution is computationally intractable, we also consider an approximate subspace algorithm and a faster two-stage approach. Through extensive simulation studies, we assess performance of both methods and compare with dual regression, a popular but ad-hoc method. The two proposed algorithms have similar performance, and both dramatically outperform dual regression. We also conduct a reliability study utilizing the Human Connectome Project and find that template ICA achieves substantially better performance than dual regression, achieving 75-250% higher intra-subject reliability. △ Less

Submitted 17 June, 2019; originally announced June 2019.

Cichoń's maximum without large cardinals

Authors: Martin Goldstern, Jakob Kellner, Diego A. Mejía, Saharon Shelah

Abstract: Cichoń's diagram lists twelve cardinal characteristics (and the provable inequalities between them) associated with the ideals of null sets, meager sets, countable sets, and $σ$-compact subsets of the irrationals. It is consistent that all entries of Cichoń's diagram are pairwise different (apart from $\textrm{add}(\mathcal{M})$ and $\textrm{cof}(\mathcal{M})$, which are provably equal to other… ▽ More Cichoń's diagram lists twelve cardinal characteristics (and the provable inequalities between them) associated with the ideals of null sets, meager sets, countable sets, and $σ$-compact subsets of the irrationals. It is consistent that all entries of Cichoń's diagram are pairwise different (apart from $\textrm{add}(\mathcal{M})$ and $\textrm{cof}(\mathcal{M})$, which are provably equal to other entries). However, the consistency proofs so far required large cardinal assumptions. In this work, we show the consistency without such assumptions. △ Less

Submitted 23 April, 2020; v1 submitted 15 June, 2019; originally announced June 2019.

Comments: Minor corrections. Remove "logical dependency" on arxiv:1904.02617 (Everything claimed about $\aleph_1<\mathfrak m<\mathfrak p<\mathfrak h<\textrm{add}(\mathcal{N})$ in the previous version is correct, but it is better proved in arxiv:1904.02617, bulding on this paper, than the other way round.)

Report number: Sh:1077

Robust or Private? Adversarial Training Makes Models More Vulnerable to Privacy Attacks

Authors: Felipe A. Mejia, Paul Gamble, Zigfried Hampel-Arias, Michael Lomnitz, Nina Lopatina, Lucas Tindall, Maria Alejandra Barrios

Abstract: Adversarial training was introduced as a way to improve the robustness of deep learning models to adversarial attacks. This training method improves robustness against adversarial attacks, but increases the models vulnerability to privacy attacks. In this work we demonstrate how model inversion attacks, extracting training data directly from the model, previously thought to be intractable become f… ▽ More Adversarial training was introduced as a way to improve the robustness of deep learning models to adversarial attacks. This training method improves robustness against adversarial attacks, but increases the models vulnerability to privacy attacks. In this work we demonstrate how model inversion attacks, extracting training data directly from the model, previously thought to be intractable become feasible when attacking a robustly trained model. The input space for a traditionally trained model is dominated by adversarial examples - data points that strongly activate a certain class but lack semantic meaning - this makes it difficult to successfully conduct model inversion attacks. We demonstrate this effect using the CIFAR-10 dataset under three different model inversion attacks, a vanilla gradient descent method, gradient based method at different scales, and a generative adversarial network base attacks. △ Less

Submitted 14 June, 2019; originally announced June 2019.

Comments: 11 pages, 11 figures

Controlling classical cardinal characteristics while collapsing cardinals

Authors: Martin Goldstern, Jakob Kellner, Diego A. Mejía, Saharon Shelah

Abstract: Given a forcing notion $P$ that forces certain values to several classical cardinal characteristics of the reals, we show how we can compose $P$ with a collapse (of a cardinal $λ>κ$ to $κ$) such that the composition still forces the previous values to these characteristics. We also show how to force distinct values to $\mathfrak m$, $\mathfrak p$ and $\mathfrak h$ and also kee** all the values… ▽ More Given a forcing notion $P$ that forces certain values to several classical cardinal characteristics of the reals, we show how we can compose $P$ with a collapse (of a cardinal $λ>κ$ to $κ$) such that the composition still forces the previous values to these characteristics. We also show how to force distinct values to $\mathfrak m$, $\mathfrak p$ and $\mathfrak h$ and also kee** all the values in Cichoń's diagram distint, using the Boolean Ultrapower method of arXiv:1708.03691 . (In arXiv:2006.09826 , the same was done for the newer Cichoń's Maximum construction, which avoids large cardinals.) △ Less

Submitted 18 June, 2020; v1 submitted 4 April, 2019; originally announced April 2019.

Comments: Compared to the previous version arXiv:1904.02617v1 , parts have been removed that are included in arXiv:2006.09826 (a construction for 13 characteristics based on the Cichon's maximum construction without large cardinals, arXiv:1906.06608)

Report number: Sh:E87 MSC Class: 03E17; 03E35; 03E40

A note on "Another ordering of the ten cardinal characteristics in Cichoń's Diagram" and further remarks

Authors: Diego Alejandro Mejía

Abstract: In this note, we relax the hypothesis of the main results in Kellner-Shelah-Tǎnasie's "Another ordering of the ten cardinal characteristics in Cichoń's diagram". In this note, we relax the hypothesis of the main results in Kellner-Shelah-Tǎnasie's "Another ordering of the ten cardinal characteristics in Cichoń's diagram". △ Less

Submitted 30 March, 2019; originally announced April 2019.

Comments: 15 pages, 1 figure. To appear in Kyoto Daigaku Surikaiseki Kenkyujo Kokyuroku

MSC Class: 03E17; 03E35; 03E40

Journal ref: Kyoto Daigaku Suurikaiseki Kenkyuusho Koukyuuroku 2141 (2019) 1-15

The covering number of the strong measure zero ideal can be above almost everything else

Authors: Miguel A. Cardona, Diego A. Mejía, Ismael E. Rivera-Madrid

Abstract: We show that certain type of tree forcings, including Sacks forcing, increases the covering of the strong measure zero ideal $\mathcal{SN}$. As a consequence, in Sacks model, such covering number is equal to the size of the continuum, which indicates that this covering number is consistently larger than any other classical cardinal invariant of the continuum. Even more, Sacks forcing can be used t… ▽ More We show that certain type of tree forcings, including Sacks forcing, increases the covering of the strong measure zero ideal $\mathcal{SN}$. As a consequence, in Sacks model, such covering number is equal to the size of the continuum, which indicates that this covering number is consistently larger than any other classical cardinal invariant of the continuum. Even more, Sacks forcing can be used to force that $\mathrm{non}(\mathcal{SN})<\mathrm{cov}(\mathcal{SN})<\mathrm{cof}(\mathcal{SN})$, which is the first consistency result where more than two cardinal invariants associated with $\mathcal{SN}$ are pairwise different. Another consequence is that $\mathcal{SN}\subseteq s^0$ in ZFC where $s^0$ denotes the Marczewski's ideal. △ Less

Submitted 4 February, 2019; originally announced February 2019.

Comments: 10 pages, 3 figures

MSC Class: 03E17; 03E35; 03E40

Filter-linkedness and its effect on preservation of cardinal characteristics

Authors: Jörg Brendle, Miguel A. Cardona, Diego A. Mejía

Abstract: We introduce the property ``$F$-linked'' of subsets of posets for a given free filter $F$ on the natural numbers, and define the properties ``$μ$-$F$-linked'' and ``$θ$-$F$-Knaster'' for posets in a natural way. We show that $θ$-$F$-Knaster posets preserve strong types of unbounded families and of maximal almost disjoint families. Concerning iterations of such posets, we develop a general techni… ▽ More We introduce the property ``$F$-linked'' of subsets of posets for a given free filter $F$ on the natural numbers, and define the properties ``$μ$-$F$-linked'' and ``$θ$-$F$-Knaster'' for posets in a natural way. We show that $θ$-$F$-Knaster posets preserve strong types of unbounded families and of maximal almost disjoint families. Concerning iterations of such posets, we develop a general technique to construct $θ$-$\mathrm{Fr}$-Knaster posets (where $\mathrm{Fr}$ is the Frechet ideal) via matrix iterations of ${<}θ$-ultrafilter-linked posets (restricted to some level of the matrix). This is applied to prove consistency results about Cichoń's diagram (without using large cardinals) and to prove the consistency of the fact that, for each Yorioka ideal, the four cardinal invariants associated with it are pairwise different. At the end, we show that three strongly compact cardinals are enough to force that Cichoń's diagram can be separated into $10$ different values. △ Less

Submitted 3 July, 2020; v1 submitted 13 September, 2018; originally announced September 2018.

Comments: 30 pages, 7 figures

MSC Class: 03E17; 03E15; 03E35; 03E40

Journal ref: Annals of Pure and Applied Logic 172, no. 1 (2021) 1-30

Many Different Uniformity Numbers of Yorioka Ideals

Authors: Lukas Daniel Klausner, Diego Alejandro Mejía

Abstract: Using a countable support product of creature forcing posets, we show that consistently, for uncountably many different functions the associated Yorioka ideals' uniformity numbers can be pairwise different. In addition we show that, in the same forcing extension, for two other types of simple cardinal characteristics parametrised by reals (localisation and anti-localisation cardinals), for uncount… ▽ More Using a countable support product of creature forcing posets, we show that consistently, for uncountably many different functions the associated Yorioka ideals' uniformity numbers can be pairwise different. In addition we show that, in the same forcing extension, for two other types of simple cardinal characteristics parametrised by reals (localisation and anti-localisation cardinals), for uncountably many parameters the corresponding cardinals are pairwise different. △ Less

Submitted 20 January, 2022; v1 submitted 28 May, 2018; originally announced May 2018.

Comments: 30 pages, 4 figures

MSC Class: 03E17 (Primary) 03E35; 03E40 (Secondary)

Journal ref: Arch. Math. Logic 61 (5-6), 2019, 653-683

Matrix iterations with vertical support restrictions

Authors: Diego A. Mejía

Abstract: We use coherent systems of FS iterations on a power set, which can be seen as matrix iteration that allows restriction on arbitrary subsets of the vertical component, to prove general theorems about preservation of certain type of unbounded families on definable structures and of certain mad families (like those added by Hechler's poset for adding an a.d. family) regardless of the cofinality of th… ▽ More We use coherent systems of FS iterations on a power set, which can be seen as matrix iteration that allows restriction on arbitrary subsets of the vertical component, to prove general theorems about preservation of certain type of unbounded families on definable structures and of certain mad families (like those added by Hechler's poset for adding an a.d. family) regardless of the cofinality of their size. In particular, we define a class of posets called $σ$-Frechet-linked and show that they work well to preserve mad families, and unbounded families on $ω^ω$. As applications of this method, we show that a large class of FS iterations can preserve the mad family added by Hechler's poset (regardless of the cofinality of its size), and the consistency of a constellation of Cichoń's diagram with 7 values where two of these values are singular. △ Less

Submitted 12 July, 2018; v1 submitted 13 March, 2018; originally announced March 2018.

Comments: Accepted in ALC 14 & 15 Proceedings. 28 pages, 6 figures, 1 table

MSC Class: 03E17; 03E15; 03E35; 03E40

Journal ref: Proceedings of the 14th and 15th Asian Logic Conference, pp. 213-248, 2019

Some infinitely generated non projective modules over path algebras and their extensions under Martin's Axiom

Authors: Ayako Itaba, Diego A. Mejia, Teruyuki Yorioka

Abstract: In this paper it is proved that, when $Q$ is a quiver that admits some closure, for any algebraically closed field $K$ and any finite dimensional $K$-linear representation $\mathcal{X}$ of $Q$, if ${\rm Ext}^1_{KQ}(\mathcal{X},KQ)=0$ then $\mathcal{X}$ is projective (Theorem 1.10). In contrast, we show that if $Q$ is a specific quiver of the type above, then there is an infinitely generated non-pr… ▽ More In this paper it is proved that, when $Q$ is a quiver that admits some closure, for any algebraically closed field $K$ and any finite dimensional $K$-linear representation $\mathcal{X}$ of $Q$, if ${\rm Ext}^1_{KQ}(\mathcal{X},KQ)=0$ then $\mathcal{X}$ is projective (Theorem 1.10). In contrast, we show that if $Q$ is a specific quiver of the type above, then there is an infinitely generated non-projective $KQ$-module $M_{ω_1}$ such that, when $K$ is a countable field, $\operatorname{\sf MA}_{\aleph_1}$ (Martin's Axiom for $\aleph_1$ many dense sets, which is a combinatorial axiom in set theory) implies that ${\rm Ext}^1_{KQ}(M_{ω_1},KQ)=0$ (Theorem 2.11). △ Less

Submitted 30 August, 2019; v1 submitted 24 February, 2018; originally announced February 2018.

Comments: 20 pages

Journal ref: J. Math. Soc. Japan 72 (2) 413-433 (2020)

Admissibility and the $C_2$ Spider

Authors: Wade Bloomquist, Andres Mejia

Abstract: A tensor category is multiplicity-free if for any objects $A,B,C$ we have that $\mathrm{Hom}(A\otimes B\otimes C,\mathbb{C})$ is either $0$ or $1$ dimensional. It is known that $Rep^{uni}(U_q(\mathfrak{sp}(4)))$ is not multiplicty-free. We find a full subcategory of $Rep^{uni}(U_q(\mathfrak{sp}(4)))$ which is multiplicty-free. A description of the dimension of these $\mathrm{Hom}$ spaces is given… ▽ More A tensor category is multiplicity-free if for any objects $A,B,C$ we have that $\mathrm{Hom}(A\otimes B\otimes C,\mathbb{C})$ is either $0$ or $1$ dimensional. It is known that $Rep^{uni}(U_q(\mathfrak{sp}(4)))$ is not multiplicty-free. We find a full subcategory of $Rep^{uni}(U_q(\mathfrak{sp}(4)))$ which is multiplicty-free. A description of the dimension of these $\mathrm{Hom}$ spaces is given for this subcategory, including when $q$ is a root of unity. The methods used arise from the description, given by Kuperberg, of $Rep^{uni}(U_q(\mathfrak{sp}(4)))$ as a spider. The main tool is the recursive definition of clasps given by Kim. In particular, we provide an appropriate notion of admissibility when looking at the $\mathrm{Sp}(4)_k$ ribbon graph invariants with restricted edge labels. △ Less

Submitted 3 January, 2018; originally announced January 2018.

Comments: 16 pages

MSC Class: 57R56; 17B37; 81R50

Watt-level widely tunable single-mode emission by injection-locking of a multimode Fabry-Perot quantum cascade laser

Authors: Paul Chevalier, Marco Piccardo, Sajant Anand, Enrique A. Mejia, Yongrui Wang, Tobias S. Mansuripur, Feng Xie, Kevin Lascola, Alexey Belyanin, Federico Capasso

Abstract: Free-running Fabry-Perot lasers normally operate in a single-mode regime until the pum** current is increased beyond the single-mode instability threshold, above which they evolve into a multimode state. As a result of this instability, the single-mode operation of these lasers is typically constrained to few percents of their output power range, this being an undesired limitation in spectroscop… ▽ More Free-running Fabry-Perot lasers normally operate in a single-mode regime until the pum** current is increased beyond the single-mode instability threshold, above which they evolve into a multimode state. As a result of this instability, the single-mode operation of these lasers is typically constrained to few percents of their output power range, this being an undesired limitation in spectroscopy applications. In order to expand the span of single-mode operation, we use an optical injection seed generated by an external-cavity single-mode laser source to force the Fabry-Perot quantum cascade laser into a single-mode state in the high current range, where it would otherwise operate in a multimode regime. Utilizing this approach we achieve single-mode emission at room temperature with a tuning range of $36 \, \mathrm{cm}^-1$ and stable continuous-wave output power exceeding 1 W. Far-field measurements show that a single transverse mode is emitted up to the highest optical power indicating that the beam properties of the seeded Fabry-Perot laser remain unchanged as compared to free-running operation. △ Less

Submitted 19 February, 2018; v1 submitted 8 December, 2017; originally announced December 2017.

Comments: 4 figures, 10 pages

Journal ref: Applied Physics Letters 112(6) (2018) 061109

A Bayesian General Linear Modeling Approach to Cortical Surface fMRI Data Analysis

Authors: Amanda Mejia, Yu Ryan Yue, David Bolin, Finn Lindren, Martin A. Lindquist

Abstract: Cortical surface fMRI (cs-fMRI) has recently grown in popularity versus traditional volumetric fMRI, as it allows for more meaningful spatial smoothing and is more compatible with the common assumptions of isotropy and stationarity in Bayesian spatial models. However, as no Bayesian spatial model has been proposed for cs-fMRI data, most analyses continue to employ the classical, voxel-wise general… ▽ More Cortical surface fMRI (cs-fMRI) has recently grown in popularity versus traditional volumetric fMRI, as it allows for more meaningful spatial smoothing and is more compatible with the common assumptions of isotropy and stationarity in Bayesian spatial models. However, as no Bayesian spatial model has been proposed for cs-fMRI data, most analyses continue to employ the classical, voxel-wise general linear model (GLM) (Worsley and Friston 1995). Here, we propose a Bayesian GLM for cs-fMRI, which employs a class of sophisticated spatial processes to flexibly model latent activation fields. We use integrated nested Laplacian approximation (INLA), a highly accurate and efficient Bayesian computation technique (Rue et al. 2009). To identify regions of activation, we propose an excursions set method based on the joint posterior distribution of the latent fields, which eliminates the need for multiple comparisons correction. Finally, we address a gap in the existing literature by proposing a novel Bayesian approach for multi-subject analysis. The methods are validated and compared to the classical GLM through simulation studies and a motor task fMRI study from the Human Connectome Project. The proposed Bayesian approach results in smoother activation estimates, more accurate false positive control, and increased power to detect truly active regions. △ Less

Submitted 3 June, 2017; originally announced June 2017.

Some models produced by 3D iterations

Authors: Diego Alejandro Mejía

Abstract: We construct models, by three-dimensional arrays of ccc posets, where many classical cardinal characteristics of the continuum are pairwise different. We construct models, by three-dimensional arrays of ccc posets, where many classical cardinal characteristics of the continuum are pairwise different. △ Less

Submitted 8 April, 2017; originally announced April 2017.

Comments: 13 pages, RIMS Set Theory Workshop: Infinite Combinatorics and Forcing Theory. November 28th - December 1st, 2016, Kyoto University, Japan. To appear in Kyoto Daigaku Suurikaiseki Kenkyuusho Koukyuuroku

MSC Class: 03E17; 03E35; 03E40

Journal ref: Kyoto Daigaku Suurikaiseki Kenkyuusho Koukyuuroku 2042 (2017) 75-87

On cardinal characteristics of Yorioka ideals

Authors: Miguel A. Cardona, Diego A. Mejía

Abstract: Yorioka [J. Symbolic Logic 67(4):1373-1384, 2002] introduced a class of ideals (parametrized by reals) on the Cantor space to prove that the relation between the size of the continuum and the cofinality of the strong measure zero ideal on the real line cannot be decided in ZFC. We construct a matrix iteration of ccc posets to force that, for many ideals in that class, their associated cardinal inv… ▽ More Yorioka [J. Symbolic Logic 67(4):1373-1384, 2002] introduced a class of ideals (parametrized by reals) on the Cantor space to prove that the relation between the size of the continuum and the cofinality of the strong measure zero ideal on the real line cannot be decided in ZFC. We construct a matrix iteration of ccc posets to force that, for many ideals in that class, their associated cardinal invariants (i.e. additivity, covering, uniformity and cofinality) are pairwise different. In addition, we show that, consistently, the additivity and cofinality of Yorioka ideals does not coincide with the additivity and cofinality (respectively) of the ideal of Lebesgue measure zero subsets of the real line. △ Less

Submitted 19 May, 2018; v1 submitted 24 March, 2017; originally announced March 2017.

Comments: 35 pages, 3 figures. Submitted

MSC Class: 03E17; 03E15; 03E35; 03E40

Journal ref: MLQ 65 (2) 170-199 (2019)

Coding Polish spaces

Authors: Diego Alejandro Mejía

Abstract: We use countable metric spaces to code Polish metric spaces and evaluate the complexity of some statements about these codes and of some relations that can be determined by the codes. Also, we propose a coding for continuous functions between Polish metric spaces. We use countable metric spaces to code Polish metric spaces and evaluate the complexity of some statements about these codes and of some relations that can be determined by the codes. Also, we propose a coding for continuous functions between Polish metric spaces. △ Less

Submitted 16 March, 2017; originally announced March 2017.

Comments: 9 pages, RIMS Set Theory Workshop: Mathematical Logic and Its Applications . September 26-29, 2016, Kyoto University, Japan. To appear in Kyoto Daigaku Suurikaiseki Kenkyuusho Koukyuuroku

MSC Class: 54H05; 28A05; 03E15

Journal ref: Kyoto Daigaku Suurikaiseki Kenkyuusho Koukyuuroku 2050 (2017) 153-161

Coherent systems of finite support iterations

Authors: Vera Fischer, Sy D. Friedman, Diego A. Mejía, Diana C. Montoya

Abstract: We introduce a forcing technique to construct three-dimensional arrays of generic extensions through FS (finite support) iterations of ccc posets, which we refer to as 3D-coherent systems. We use them to produce models of new constellations in Cichoń's diagram, in particular, a model where the diagram can be separated into 7 different values. Furthermore, we show that this constellation of 7 value… ▽ More We introduce a forcing technique to construct three-dimensional arrays of generic extensions through FS (finite support) iterations of ccc posets, which we refer to as 3D-coherent systems. We use them to produce models of new constellations in Cichoń's diagram, in particular, a model where the diagram can be separated into 7 different values. Furthermore, we show that this constellation of 7 values is consistent with the existence of a $Δ^1_3$ well-order of the reals. △ Less

Submitted 29 March, 2017; v1 submitted 18 September, 2016; originally announced September 2016.

Comments: 27 pages, 3 figures. Accepted in the Journal of Symbolic Logic

MSC Class: 03E17; 03E15; 03E35; 03E40; 03E45